SQLite format 3@ ]- h'%tableDbgInfoDbgInfoCREATE TABLE DbgInfo ( id INTEGER PRIMARY KEY, resid INTEGER NOT NULL, dbgComments TEXT, modName TEXT, functionName TEXT, functionType TEXT)b1'{indexHerbieResultsIndexHerbieResultsCREATE INDEX HerbieResultsIndex ON HerbieResults(cmdin)r''#tableHerbieResultsHerbieResultsCREATE TABLE HerbieResults ( id INTEGER PRIMARY KEY, cmdin TEXT NOT NULL, cmdout TEXT NOT NULL, opts TEXT NOT NULL, errin DOUBLE , errout DOUBLE , UNIQUE (cmdin, opts))9M'indexsqlite_autoindex_HerbieResults_1HerbieResults$LT~ytoje`[VQL1197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@C?IqY?(sqrt (+ (* herbie0 herbie0) (* herbie1 herbie1)))(sqrt (+ (sqr herbie0) (sqr herbie1)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimes@=x@=xς q#(sqrt (+ (* herbie0 herbie0) (* herbie1 herbie1)))(if (< herbie0 -1.1236950826599826e+145) (- herbie0) (if (< herbie0 1.116557621183362e+93) (sqrt (+ (sqr herbie0) (sqr herbie1))) herbie0))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621)@=x@1 :q;?(sqrt (+ (* herbie0 herbie0) (* herbie1 herbie1)))(hypot herbie0 herbie1)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numeriRrPoMlKhHdGaE_C[>X=V;U:T9Q7N6L2J/F.C+?(;&8%5$3#0-($    Av$i ({c(/ (+ (* herbie0 herbie1) (* herbie2 herbie3)) herbie4)-o rules:numerics -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimesq?(sqrt (+ (* herbie0 herbie0) (* herbie1 herbie1)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimesr3?(log (+ herbie0 1))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics69?(/ (sqrt (+ (+ (* herbie0 herbie0) (* herbie1 herbie1)) (* herbie2 herbie2))) herbie3)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics W?(- (log herbie0) (sin (+ herbie0 1)))-r #(14 c?(exp (+" c?(/ (- (sin herbie0) (tan herbie0)) herbie0)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics6!W?(- (/ 1 herbie0) (/ 1 (+ herbie0 1)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsHU'UG2 po8[;{(/ (+ (* herbie0 herbie1) (* herbie2 herbie3)) herbie4)`C(/ (+ (* herbie0 herbie1) (* herbie2 herbie3)) (+ (* herbie1 herbie1) (* herbie3 herbie3)))[9(/ (sqrt (+ (+ (* herbie0 herbie0) (* herbie1 herbie1)) (* herbie2 herbie2))) her`C(- (log (+ (* herbie0 (exp herbie1)) (* herbie2 (exp herbie3)))) (log (+ herbie0 herbie2)))LS7s(- (sqrt (+ (/ 1 herbie0) 1)) (sqrt (/ 1 herbie0))))L(+ (* (* (* herbie0 1.75) herbie1) herbie1) (sqrt (/ herbie0 herbie1)))%?9w(/ (+ 1 (sqrt (- herbie0 1))) (expt (- herbie0 1) 2))8[9(/ herbie0 (sqrt (+ (+ (* herbie0 herbie0) (* herbie1 herbie1)) (* herbie2 herbie2))))3H(/ (@;6q/c(+ herbie0 (* herbie1 (+ herbie2 herbie0)))r0gQ(sqrt (+ (* (- herbie0 herbie1) (- herbie0 herbie1)) (* (- herbie2 herbie3) (- herbie2 herbie3)))) I+[(/ (* 100 (- herbie0 herbie1)) herbie0)D.)W(- (log herbie0) (sin (+ herbie0 1)))]`2, A Maintest1aDouble -> Double -> Double, A Maintest1aDouble -> Double -> Double, A Maintest1aDouble -> Double -> Double, A Maintest1aDouble -> Double -> Double, A Maintest1aDouble -> Double -> Double, A Maintest1aDouble -> Double -> Double2 QMaintest4forall a. Real a => a -> a -> Yo aB g Mainexample10forall r. ExpField r => r -> r -> r -> r -> r7  SMainexample1forall r. ExpField r => r -> r -> r!  -Maintest3Double -> Double+  AMaintest1Double -> Double -> Double!  -Maintest2Double -> Double!  -Maintest3Double -> Double! -Maintest3Double -> Double! -Maintest2Double -> Double! -Maintest2Double -> Double4 SMaintest1forall a. Floating a => a -> a -> a4 SMaintest1forall a. Floating a => a -> a -> a4 SMaintest1forall a. Floating a => a -> a -> a2 QMaintest4for\[pZ`YPX>W-VN Dz3i)XG6 &  ^3+?(log (+ herbie0 1))(log1p herbie0)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@C?IqY?(sqrt (+ (* herbie0 herbie0) (* herbie1 herbie1)))(sqrt (+ (sqr herbie0) (sqr herbie1)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimes@=x@=xς q#(sqrt (+ (* herbie0 herbie0) (* herbie1 herbie1)))(if (< herbie0 -1.1236950826599826e+145) (- herbie0) (if (< herbie0 1.116557621183362e+93) (sqrt (+ (sqr herbie0) (sqr herbie1))) herbie0))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621)@=x@1 :q;?(sqrt (+ (* herbie0 herbie0) (* herbie1 herbie1)))(hypot herbie0 herbie1)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@=x?KK?(* (* herbie0 herbie0) herbie1)(* (* herbie0 herbie0) herbie1)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics jopj Qk?(sqrt (+ (* (- herbie0 herbie1) (- herbie0 herbie1)) (* (- herbie2 herbie3) (- herbie2 herbie3))))(hypot (- herbie0 herbie1) (- herbie2 herbie3))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@D?| 3(- (exp herbie0) 1)(if (< herbie0 -3.117345318005618e-08) (- (exp herbie0) 1) (+ (* 1/6 (* herbie0 (* herbie0 herbie0))) (+ herbie0 (* 1/2 (sqr herbie0)))))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621)@D#/5]?m΀ށ3+?(- (exp herbie0) 1)(expm1 herbie0)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@D#/5]?x 3(log (+ herbie0 1))(if (< herbie0 1.7634409685515176) (- herbie0 (- (* (sqr herbie0) 1/2) (* 1/3 (* herbie0 (* herbie0 herbie0))))) (log (+ herbie0 1)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621)@C?l#}&r %CpqY?Y?(* (* herbie0 (sqrt herbie1)) herbie0)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rulesY?(* (* herbie0 (sqrt herbie1)) herbie0)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics# ?(* (* herbie0 herbie0) (cos (- (/ herbie0 2) (sqrt herbie0))))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics0}K? (* (* herbie0 herbie0) herbie1)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics c?(* (+ (/ herbie0 herbie1) herbie2) herbie1)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics/ ?(* (/ (exp herbie0) (sqrt (- (exp herbie0) 1))) (sqrt herbie0))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericslk?(* (/ 1 (expt herbie0 100)) (expt herbie0 100))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics] dIwSs?(+ (+ herbie0 he#55c(* herbie0 (- (- (/ herbie1 herbie0) 1) (log (/ herbie1 herbie0))))-o rules:numerics -r #(1461197085 2376054483 1553562171 1611329376 2497620867 230812 i?(* (/ 6 (expt herbie0 99)) (expt herbie0 101))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics[]?(* (cos (+ herbie0 1)) (expt herbie0 2))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsU5c(* herbie0 (- (- (/ herbie1 herbie0) 1) (log (/ herbie1 herbie0))))-o rules:numerics -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimesZ#?(* herbie0 (- (- (/ herbie1 herbie0) 1) (log (/ herbie1 herbie0))))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsY5c(* herbie0 (- (/ herbie1 herbie0) (log (+ 1 (/ herbie1 herbie0)))))-o rules:numerics -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimesW 2X5 ??c(- (sin herbie0) herbie0)(- (sin herbie0) herbie0)-o rules:numerics -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimes@#bg@#bgW ?%?(- (sin herbie0) herbie0)(if (< herbie0 -0.0006441301579083509) (- (sin herbie0) herbie0) (if (< herbie0 1.7634409685515176) (- (* 1/120 (* herbie0 (* herbie0 (* herbie0 (* herbie0 herbie0))))) (+ (* 1/5040 (* herbie0 (* herbie0 (* herbie0 (* herbie0 (* herbie0 (* herbie0 herbie0))))))) (* 1/6 (* herbie0 (* herbie0 herbie0))))) (- (sin herbie0) herbie0)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@#bg?9ցK ww?(- (/ (* (* herbie0 2) herbie1) (- herbie0 herbie1)))(- (/ (* (* herbie0 2) herbie1) (- herbie0 herbie1)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics 2b,jGzF`2, A Maintest1aDouble -> Double -> Double, A Maintest1aDouble -> Double -> Double, A Maintest1aDouble -> Double -> Double, A Maintest1aDouble -> Double -> Double, A Maintest1aDouble -> Double -> Double, A Maintest1aDouble -> Double -> Double2 QMaintest4forall a. Real a => a -> a -> Yo aB g Mainexample10forall r. ExpField r => r -> r -> r -> r -> r7  SMainexample1forall r. ExpField r => r -> r -> r!  -Maintest3Double -> Double+  AMaintest1Double -> Double -> Double!  -Maintest2Double -> Double!  -Maintest3Double -> Double! -Maintest3Double -> Double! -Maintest2Double -> Double! -Maintest2Double -> Double4 SMaintest1forall a. Floating a => a -> a -> a4 SMaintest1forall a. Floating a => a -> a -> a4 SMaintest1forall a. Floating a => a -> a -> a2 QMaintest4forall a. Real a => a -> a -> Yo a2 QMaintest4forall a. Real a => a -> a -> Yo a +R!w3f4`+3& IMainexample22forall r. ExpField r => r -> r3% IMainexample21forall r. ExpField r => r -> r8$ SMainexample20forall r. ExpField r => r -> r -> r2# IMainexample2forall r. ExpField r => r -> r/" AMainexample19forall g. Real g => g -> g0! CMainexample18forall g. Field g => g -> gD  kMainexample17forall r. Field r => r -> r -> r -> r -> r -> rD kMainexample17forall r. Field r => r -> r -> r -> r -> r -> r? aMainexample16forall r. Field r => r -> r -> r -> r -> rB gMainexample15forall r. ExpField r => r -> r -> r -> r -> r= ]Mainexample14forall r. ExpField r => r -> r -> r -> r8 SMainexample13forall r. ExpField r => r -> r -> r/ A Mainexample12forall g. Real g => g -> g/ A Mainexample11forall g. Real g => g -> g/ A Mainexample11forall g. Real g => g -> gB g Mainexample10forall r. ExpField r => r -> r -> r -> r -> r7 SMainexample1forall r. ExpField r => r -> r -> r F{ 9s?(/ (sqrt (+ (+ (* herbie0 herbie0) (* herbie1 herbie1)) (* herbie2 herbie2))) herbie3)(/ (hypot herbie0 (hypot herbie1 herbie2)) herbie3)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@>΋?pc ![?(sqrt (+ (+ (* herbie0 herbie0) (* herbie1 herbie1)) (* herbie2 herbie2)))(hypot herbie0 (hypot herbie1 herbie2))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@BPP?p6q3?(sqrt (* (- herbie0 herbie1) (- herbie0 herbie1)))(- herbie0 herbie1)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@=xqL@@ r7 3s?(- 1 (cos herbie0))(/ (sqr (sin herbie0)) (exp (log1p (cos herbie0))))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@-?g @@RC9c(+ (* (* (* herbie0 1]?(* herbie0 (expt (- herbie1 herbie2) 2))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericse]?(* herbie0 (expt (- herbie1 herbie2) 3))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsX e?(* herbie0 (sqrt (+ (* herbie1 herbie1) 1)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsQ9c(+ (* (* (* herbie0 1.75) herbie1) herbie1) (sqrt (/ herbie0 herbie1)))-o rules:numerics -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimes&'?(+ (* (* (* herbie0 1.75) herbie1) herbie1) (sqrt (/ herbie0 herbie1)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics%;C?(+ (+ (* (* herbie0 herbie0) herbie1) (* herbie0 (+ herbie1 herbie2))) (* herbie0 herbie2))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsc " {c(/ (+ (* herbie0 herbie1) (* herbie2 herbie3)) herbie4)(+ (/ (* herbie1 herbie0) herbie4) (/ 1 (/ (/ herbie4 herbie2) herbie3)))-o rules:numerics -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimes@wBq@{ǃ? {9?(/ (+ (* herbie0 herbie1) (* herbie2 herbie3)) herbie4)(if (< herbie4 -3.704120056878942e+74) (+ (/ herbie1 (/ herbie4 herbie0)) (/ herbie3 (/ herbie4 herbie2))) (if (< herbie4 1.0269134001255702e+115) (* (+ (* herbie0 herbie1) (* herbie2 herbie3)) (/ 1 herbie4)) (+ (* (/ herbie1 herbie4) herbie0) (* (/ herbie3 herbie4) herbie2))))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@wBq?C CC?(/ (+ (* herbie0 herbie1) (* herbie2 herbie3)) (+ (* herbie1 herbie1) (* herbie3 herbie3)))(/ (+ (* herbie0 herbie1) (* herbie2 herbie3)) (+ (* herbie1 herbie1) (* herbie3 herbie3)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics E$Q,u*Y(*,](*Y(* (* herbie0 (sqrt herbie1)) herbie0)#C (* (* herbie0 herbie0) (cos (*Y(* (* herbie0 (sqrt herbie1)) herbie0)#C (* (* herbie0 herbie0) (cos (- (/ herbie0 2) (sqrt herbie0))))0"K (* (* herbie0 herbie0) herbie1)/c(* (+ (/ herbie0 herbie1) herbie2) herbie1)/D (* (/ (exp herbie0) (sqrt (- (exp herbie0) 1))) (sqrt herbie0))l3k(* (/ 1 (expt herbie0 100)) (expt herbie0 100))]2i(* (/ 1 (expt herbie0 99)) (expt herbie0 101))\2i(* (/ 6 (expt herbie0 99)) (expt herbie0 101))[,](* (cos (+ herbie0 1)) (expt herbie0 2))UH(* herbie0 (- (- (/ herbie1 herbie0) 1) (log (/ herbie1 herbie0))))YH(* herbie0 (- (- (/ herbie1 herbie0) 1) (log (/ herbie1 herbie0))))ZH(* herbie0 (- (/ herbie1 herbie0) (log (+ 1 (/ herbie1 herbie0)))))VH(* herbie0 (- (/ herbie1 herbie0) (log (+ 1 (/ herbie1 herbie0)))))W,](* herbie0 (expt (- herbie1 herbie2) 2))e,](* herbie0 (expt (- herbie1 herbie2) 3))X0e(* herbie0 (sqrt (+ (* herbie1 herbie1) 1)))Q 5P5>0u~~[y H(+ (+ herbie0 herbie0) (* (* (* herbie0 herbie0) herbie0) herbie0))v#K(+ herbie0 (* herbie0 herbie0))sL(+ (* (* (* herbie0 1.75) herbie1) herbie1) (sqrt (/ herbie0 herbie1)))&`C(+ (+ (* (* herbie0 herbie0) herbie1) (* herbie0 (+ herbie1 herbie2))) (* herbie0 herbie2))c;{(+ (+ (+ (+ herbie0 herbie0) herbie0) herbie0) herbie0)q0c(+ (+ (+ (- (sqrt (+ herbie0 1)) (sqrt herbie0)) (- (sqrt (+ herbie1 1)) (sqrt herbie1))) (- (sqrt (+ herbie2 1)) (sqrt herbie2))) (- (sqrt (+ herbie3 1)) (sqrt herbie3)))pxs(+ (+ herbie0 herbie1) (/ (* (* (* (- herbie2 herbie3) (- herbie2 herbie3)) herbie4) herbie5) (+ herbie4 herbie5)))xs(+ (+ herbie0 herbie1) (/ (* (* (* (- herbie2 herbie3) (- herbie2 herbie3)) herbie4) herbie5) (+ herbie4 herbie5)))D (+ (- (sqrt (+ herbie0 1)) (sqrt herbie0)) (sin (- herbie0 1)))k*Y(+ (- (sqrt (+ herbie0 1)) 1) herbie0)=_A(+ (- herbie0) (/ (sqrt (- (* herbie0 herbie0) (* (* herbie1 4) herbie2))) (* herbie1 2)))J Cp1Ck w?(/ (+ 1 (sqrt (- herbie0 1))) (expt (- herbie0 1) 2))(* (/ 1 (- herbie0 1)) (/ (+ 1 (sqrt (- herbie0 1))) (- herbie0 1)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@( *ȗ?'V;cK?(exp (+ (+ 1 (log herbie0)) (log herbie1)))(* (* herbie1 (exp 1)) herbie0)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@!?%p~?3?(exp (+ 8 (log herbie0)))(* herbie0 (exp 8))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@c*?^ W+?(- (log herbie0) (sin (+ herbie0 1)))(log (/ herbie0 (exp (+ (* (sin herbie0) (cos 1)) (* (cos herbie0) (sin 1))))))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@4!HjS C?(- (+ herbie0 0.1) herbie0)(- 0.1 0)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@>(!j; 66;\~_c(sqrt (+ (+ 4 (expt her ?c(- (sin herbie0) herbie0)-o rules:numerics -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimes x??(- (sin herbie0) herbie0)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics ?(- (sqrt (* herbie0 herbie0)) (sqrt (* herbie1 herbie1)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics,Y?(- (sqrt (+ (* herbie0 herbie0) 1)) 1)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics$s?(- (sqrt (+ (/ 1 herbie0) 1)) (sqrt (/ 1 herbie0)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics) g?(- (sqrt (+ herbie0 1)) (sqrt (- herbie0 1)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsTO?(- (sqrt (+ herbie0 1)) (sqrt 1))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsf % sm?(+ (+ herbie0 herbie1) (/ (* (* (* (- herbie2 herbie3) (- herbie2 herbie3)) herbie4) herbie5) (+ herbie4 herbie5)))(if (< herbie4 -9.203154444037708e+23) (+ (/ (- herbie2 herbie3) (/ (/ (/ (+ herbie4 herbie5) herbie4) herbie5) (- herbie2 herbie3))) (+ herbie1 herbie0)) (if (< herbie4 2.374404837314372e+43) (+ (* (/ (- herbie2 herbie3) (/ 1 herbie4)) (/ (- herbie2 herbie3) (/ (+ herbie4 herbie5) herbie5))) (+ herbie1 herbie0)) (+ (/ (- herbie2 herbie3) (/ (/ (/ (+ herbie4 herbie5) herbie4) herbie5) (- herbie2 herbie3))) (+ herbie1 herbie0))))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@7LRp?Xk}?(/ (+ 1 (sqrt herbie0)) (expt (- herbie0 1) 2))(/ (/ (+ 1 (sqrt herbie0)) (- herbie0 1)) (- herbie0 1))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@:8S?  :b{?(/ (+ (* herbie0 herbie1) (* herbie2 ~K?(/ (- (exp herbie0) 1) herbie0)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsm{?(/ (+ (* herbie0 herbie1) (* herbie2 herbie3)) herbie4)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsw?(/ (+ 1 (sqrt (- herbie0 1))) (expt (- herbie0 1) 2))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsk?(/ (+ 1 (sqrt herbie0)) (expt (- herbie0 1) 2))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics{?(/ (- (* herbie0 herbie0) (* herbie1 herbie1)) herbie2)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics>cc(/ (- (sin herbie0) (tan herbie0)) herbie0)-o rules:numerics -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimes7 Tj5Uf2T36 I(Mainexample32forall r. ExpField r => r -> r35 I'Mainexample31forall r. ExpField r => r -> r84 S%Mainexample30forall g. ExpField g => g -> g -> g83 S%Mainexample30forall g. ExpField g => g -> g -> g22 I$Mainexample3forall g. ExpField g => g -> g=1 ]Mainexample29forall r. ExpField r => r -> r -> r -> r80 S#Mainexample28forall r. ExpField r => r -> r -> r3/ I"Mainexample27forall r. ExpField r => r -> r?. a Mainexample26forall r. Field r => r -> r -> r -> r -> r?- a Mainexample26forall r. Field r => r -> r -> r -> r -> r3, IMainexample25forall r. ExpField r => r -> r3+ IMainexample25forall r. ExpField r => r -> r3* IMainexample24forall r. ExpField r => r -> r3) IMainexample24forall r. ExpField r => r -> rI( uMainexample23forall g. Field g => g -> g -> g -> g -> g -> g -> gI' uMainexample23forall g. Field g => g -> g -> g -> g -> g -> g -> g HCMMc(sqrt (* herbie0 (- herbie0 1)))(sqrt (- (sqr herbie0) herbie0))-o rules:numerics -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimes@1-ĉ R@1-ĉ RG Mw?(sqrt (* herbie0 (- herbie0 1)))(if (< herbie0 -4.7086979558689744e+147) (- (/ 1/8 herbie0) (- herbie0 1/2)) (if (< herbie0 1305830679.054376) (sqrt (- (sqr herbie0) herbie0)) (- (- herbie0 1/2) (/ 1/8 herbie0))))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@1-ĉ R?k ssc(+ (+ herbie0 herbie1) (/ (* (* (* (- herbie2 herbie3) (- herbie2 herbie3)) herbie4) herbie5) (+ herbie4 herbie5)))(+ (/ (- herbie2 herbie3) (/ (/ (/ (+ herbie4 herbie5) herbie4) herbie5) (- herbie2 herbie3))) (+ herbie1 herbie0))-o rules:numerics -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimes@7LRp@%* a c?(/ (+ (* herbie0 herbie1) (* herbie2 herbie3)) (+ herbie0 herbie2))(if (< herbie2 -1.5346024234769991e+206) herbie3 (if (< herbie2 3.516290613555987e+106) (/ 1 (/ (+ herbie0 herbie2) (+ (* herbie0 herbie1) (* herbie2 herbie3)))) herbie3))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@/P/0 `@'X(S :GAc(sqrt (- (expt herbie0 2) 1))(sqrt (- (sqr herbie0) 1))-o rules:numerics -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimes@<E@<EB Gs?(sqrt (- (expt herbie0 2) 1))(if (< herbie0 1.7634409685515176) (+ (- (/ 1/2 herbie0) herbie0) (/ 1/8 (* herbie0 (* herbie0 herbie0)))) (- (- herbie0 (/ 1/2 herbie0)) (/ 1/8 (* herbie0 (* herbie0 herbie0)))))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@<E?̡t/. 7#7mx??(sin (- herbie0 herbie1))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsor3?(exp (log herbie0))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsjx??(exp (+ 8 (log herbie0)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsQ?(expt (log (+ herbie0 1)) herbie0)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics.`3(log (+ herbie0 1))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621)r3?(log (+ herbie0 1))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsyA?(sin (sqrt (+ herbie0 1)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics4q?(sqrt (* (- herbie0 herbie1) (- herbie0 herbie1)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics \.$Y;?(- (sqrt (+ (* herbie0 herbie0) 1)) 1)(- (hypot 1 herbie0) 1)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@;g@,L=#YY?(* (* herbie0 (sqrt herbie1)) herbie0)(* (* (sqrt herbie1) herbie0) herbie0)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics?? ";'?(sqrt (expt herbie0 2))(abs herbie0)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@<Z! c(/ (+ (* herbie0 herbie1) (* herbie2 herbie3)) (+ herbie0 herbie2))(/ 1 (/ (+ herbie0 herbie2) (+ (* herbie0 herbie1) (* herbie2 herbie3))))-o rules:numerics -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimes@/P/0 `@/{dX m(?'?(exp (* 2 (log herbie0)))(sqr herbie0)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@ ̍(;'Kc?(exp (+ (* 3 (log herbie0)) 2))(* (exp 2) (* herbie0 (* herbie0 herbie0)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@¾>? & c(+ (* (* (* herbie0 1.75) herbie1) herbie1) (sqrt (/ herbie0 herbie1)))(+ (* (* herbie1 1.75) (* herbie1 herbie0)) (sqrt (/ herbie0 herbie1)))-o rules:numerics -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimes@8{f@8{fz%  ?(+ (* (* (* herbie0 1.75) herbie1) herbie1) (sqrt (/ herbie0 herbie1)))(if (< herbie0 25577453700.219013) (+ (* (* herbie1 1.75) (* herbie1 herbie0)) (sqrt (/ herbie0 herbie1))) (+ (* (* (* herbie0 1.75) herbie1) herbie1) (* (sqrt herbie0) (sqrt (/ 1 herbie1)))))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@8{f@vp_ [7 AaNf~[y(- (sqrt (+ herbie0 1)) (sqrt (- herbiC(- (+ herbie0 0.1) herbie0)?(- (+ herbie0 1) herbie0)g:y(- (- herbie0) (sqrt (- (* herbie0 herbie0) herbie1)))b9w(- (/ (* (* herbie0 2) herbie1) (- herbie0 herbie1))) )W(- (/ 1 herbie0) 3(+ herbie0 herbie0)u#K(+ herbie0 (* herbie1 herbie2))t;{(+ herbie0 (* herbie1 (/ (- herbie0 herbie2) herbie1)))+;{(+ herbie0 (* herbie1 (/ (- herbie0 herbie2) herbie3)))*6q(+ herbie0 (sqrt (- (* herbie0 herbie0) herbie1)))`6q(+ herbie0 (sqrt (- (* herbie0 herbie0) herbie1)))aC(- (+ herbie0 0.1) herbie0)?(- (+ herbie0 1) herbie0)g:y(- (- herbie0) (sqrt (- (* herbie0 herbie0) herbie1)))b9w(- (/ (* (* herbie0 2) herbie1) (- herbie0 herbie1))) )W(- (/ 1 herbie0) (/ 1 (+ herbie0 1)))H/c(- (abs (expt herbie0 3)) (expt herbie0 3))E3(- (exp herbie0) 1)3(- (exp herbie0) 1) E(- (expt (+ herbie0 1) 2) 1)@`C(- (log (+ (* herbie0 (exp herbie1)) (* herbie2 (exp herbie3)))) (log (+ herbie0 herbie2)))K Zr3?(log (+ herbie0 1))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621M?(sqrt (+M?(sqrt (* herbie0 (- herbie0 1)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsBQ?(sqrt (+ (* (- herbie0 herbie1) (- herbie0 herbie1)) (* (- herbie2 herbie3) (- herbie2 herbie3))))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics q(sqrt (+ (* herbie0 herbie0) (* herbie1 herbie1)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621)q?(sqrt (+ (* herbie0 herbie0) (* herbie1 herbie1)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimesq?(sqrt (+ (* herbie0 herbie0) (* herbie1 herbie1)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsM?(sqrt (+ (* herbie0 herbie0) 1))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsR  >+-W7?(- (log (+ herbie0 1)) (log herbie0))(log1p (/ 1 herbie0))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@=;B2k?=,3?(- (sqrt (* herbie0 herbie0)) (sqrt (* herbie1 herbie1)))(- herbie0 herbie1)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@=,?@>!9+{??(+ herbie0 (* herbie1 (/ (- herbie0 herbie2) herbie1)))(- (* 2 herbie0) herbie2)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@0!C_*{{?(+ herbie0 (* herbie1 (/ (- herbie0 herbie2) herbie3)))(+ herbie0 (* (/ herbie1 herbie3) (- herbie0 herbie2)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@x"@Yz3])s?(- (sqrt (+ (/ 1 herbie0) 1)) (sqrt (/ 1 herbie0)))(/ 1 (+ (sqrt (+ (/ 1 herbie0) 1)) (/ 1 (sqrt herbie0))))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@>8,?J  ^Nn: `/^8G S8Mainexample46forall r. ExpField r => r -> r -> r/F A6Mainexample45forall r. Real r => r -> r/E A6Mainexample45forall r. Real r => r -> r3D I5Mainexample44forall g. ExpField g => g -> g/C A4Mainexample43forall r. Real r => r -> r=B ]3Mainexample42forall r. ExpField r => r -> r -> r -> r3A I1Mainexample41forall r. ExpField r => r -> r3@ I1Mainexample41forall r. ExpField r => r -> r/? A0Mainexample40forall r. Real r => r -> r2> IMainexample4forall g. ExpField g => g -> g:= W/Mainexample39forall r. Field r => r -> r -> r -> r3< I.Mainexample38forall r. ExpField r => r -> r3; I-Mainexample37forall g. ExpField g => g -> g8: S,Mainexample36forall g. ExpField g => g -> g -> g:9 W+Mainexample35forall g. Field g => g -> g -> g -> g?8 a*Mainexample34forall g. Field g => g -> g -> g -> g -> g37 I)Mainexample33forall g. ExpField g => g -> g JJ\zx{?(- (sin (+ herbie0 herbie1)) MCc(- (log (+ (* herbie0 (exp herbie1)) (* herbie2 (exp herbie3)))) (log (+ herbie0 herbie2)))-o rules:numerics -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimesL;C?(- (log (+ (* herbie0 (exp herbie1)) (* herbie2 (exp herbie3)))) (log (+ herbie0 herbie2)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsKW?(- (log (+ herbie0 1)) (log herbie0))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics-Wc(- (log herbie0) (log (+ herbie0 1)))-o rules:numerics -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimesGW?(- (log herbie0) (log (+ herbie0 1)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsFW?(- (log herbie0) (sin (+ herbie0 1)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsPOP(iUq?(+ herbie0 (sqrt (- (* herbie0 herb i?(* (/ 1 (expt herbie0 99)) (expt herbie0 101))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics\ #?(* herbie0 (- (/ herbie1 herbie0) (log (+ 1 (/ herbie1 herbie0)))))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsV{?(+ (+ (+ (+ herbie0 herbie0) herbie0) herbie0) herbie0)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsq@ ?(+ (- (sqrt (+ herbie0 1)) (sqrt herbie0)) (sin (- herbie0 1)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericskJ{?(+ herbie0 (* herbie1 (/ (- herbie0 herbie2) herbie1)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics+Uq?(+ herbie0 (sqrt (- (* herbie0 herbie0) herbie1)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics`YYuR4;C?(/ (+ (* herbie0 <{E?(- (expt (+ herbie0 1) 2) 1)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@ {?(- (sin (+ herbie0 herbie1)) (cos (+ herbie0 herbie1)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics?[?(- (sqrt (+ herbie0 1)) (sqrt herbie0))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsA, ?c(- herbie0 (sin herbie0))-o rules:numerics -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimes<4;C?(/ (+ (* herbie0 herbie1) (* herbie2 herbie3)) (+ (* herbie1 herbie1) (* herbie3 herbie3)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsL({c(/ (+ (* herbie0 herbie1) (* herbie2 herbie3)) herbie4)-o rules:numerics -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimes ILIB0 /?(* (* herbie0 herbie0) (cos (- (/ herbie0 2) (sqrt herbie0))))(+ (* (* (cos (/ herbie0 2)) (log1p (expm1 (cos (sqrt herbie0))))) (sqr herbie0)) (* (* (sin (/ herbie0 2)) (sin (sqrt herbie0))) (sqr herbie0)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@2Fm@1%|;/cK?(* (+ (/ herbie0 herbie1) herbie2) herbie1)(+ (* herbie2 herbie1) herbie0)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@?Nf+?1.QI?(expt (log (+ herbie0 1)) herbie0)(expt (log1p herbie0) herbie0)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@L}.?P#7 {3 9s?(/ herbie0 (sqrt (+ (+ (* herbie0 herbie0) (* herbie1 herbie1)) (* herbie2 herbie2))))(/ herbie0 (hypot (hypot herbie1 herbie2) herbie0))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@:P?pR2_Yc(sqrt (+ (+ 4 (expt herbie0 2)) herbie0))(sqrt (+ (+ herbie0 4) (sqr herbie0)))-o rules:numerics -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimes@)RG\o@)RG\oX1 _?(sqrt (+ (+ 4 (expt herbie0 2)) herbie0))(if (< herbie0 -4.7086979558689744e+147) (+ (/ 15/8 herbie0) (+ herbie0 1/2)) (if (< herbie0 1305830679.054376) (sqrt (+ (+ herbie0 4) (sqr herbie0))) (+ (+ 1/2 herbie0) (/ 15/8 herbie0))))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@)RG\o@>עb  5 M?(- (sqrt (- herbie0 2)) (sqrt (- (* herbie0 herbie0) 3)))(+ (- (sqrt (- herbie0 2)) herbie0) (+ (/ 3/2 herbie0) (/ 9/8 (* herbie0 (* herbie0 herbie0)))))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@==%?؁Ձy4 Ag?(sin (sqrt (+ herbie0 1)))(- (* (sin (exp (log1p (sqrt (+ herbie0 1))))) (cos 1)) (* (cos (exp (log1p (sqrt (+ herbie0 1))))) (sin 1)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@1;B.@1U`o  +8 qw?(/ 1 (sqrt (- (expt herbie0 2) (expt herbie1 2))))(if (< herbie0 1.74594263175777e-252) (/ -1 herbie0) (/ 1 (* (sqrt (+ herbie0 herbie1)) (sqrt (- herbie0 herbie1)))))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@<ȶA?㪶#_7coc(/ (- (sin herbie0) (tan herbie0)) herbie0)(/ 1 (/ herbie0 (- (sin herbie0) (tan herbie0))))-o rules:numerics -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimes@- g -> g3W IFMainexample58forall g. ExpField g => g -> g3V IFMainexample58forall g. ExpField g => g -> gtU IEMainexample57forall g. (Ord_ g, Normed g, ExpRing g, (g >< g) ~ g, Scalar g ~ g, Logic g ~ Bool) => g -> g5T MDMainexample56forall r. Field r => r -> r -> r3S ICMainexample55forall r. ExpField r => r -> r3R IBMainexample54forall r. ExpField r => r -> r3Q IAMainexample53forall g. ExpField g => g -> g2P G@Mainexample52forall g. ExpRing g => g -> g4O K?Mainexample51forall g. Real g => g -> g -> g:N W>Mainexample50forall r. Field r => r -> r -> r -> r2M IMainexample5forall r. ExpField r => r -> r3L I=Mainexample49forall g. ExpField g => g -> g/K A;Mainexample48forall g. Real g => g -> g/J A;Mainexample48forall g. Real g => g -> g8I S:Mainexample47forall r. ExpField r => r -> r -> r8H S8Mainexample46forall r. ExpField r => r -> r -> r Xp_c(sqrt (+ (+ 4 (expt herbie0 2)) herbie0))-o rules:numerics -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimes2_?(sqrt (+ (+ 4 (expt herbie0 2)) herbie0))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics1 g?(sqrt (+ 1 (sqrt (+ (* herbie0 herbie0) 1))))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics_Gc(sqrt (- (expt herbie0 2) 1))-o rules:numerics -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimes Hv? {[?(- (sin (+ herbie0 herbie1)) (cos (+ herbie0 herbie1)))(- (* (sin herbie1) (+ (sin herbie0) (cos herbie0))) (* (- (cos herbie0) (sin herbie0)) (cos herbie1)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@)1N'?u>,T_>{{?(/ (- (* herbie0 herbie0) (* herbie1 herbie1)) herbie2)(/ (+ herbie0 herbie1) (/ herbie2 (- herbie0 herbie1)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@'C:?̀O=Y}?(+ (- (sqrt (+ herbie0 1)) 1) herbie0)(+ (/ 1 (/ (+ (sqrt (+ herbie0 1)) 1) herbie0)) herbie0)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@@[x?Ā5<??c(- herbie0 (sin herbie0))(- herbie0 (sin herbie0))-o rules:numerics -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimes@#bg@#bg 11Ck__?(- (sqrt (+ herbie0 100)) (sqrt herbie0))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsh[?(- (sqrt (+ herbie0 2)) (sqrt herbie0))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsn g?(- (sqrt (+ herbie0 herbie1)) (sqrt herbie1))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsI?(- (sqrt (- herbie0 2)) (sqrt (- (* herbie0 herbie0) 3)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics5[c(- (sqrt (sin herbie0)) (sqrt herbie0))-o rules:numerics -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimesN[?(- (sqrt (sin herbie0)) (sqrt herbie0))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsMr3?(- 1 (cos herbie0))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics sss5?(sqrt (- herbie0 1))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsw ?(sqrt (- (sqrt (+ (expt herbie0 2) (expt herbie1 2))) herbie0))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsi|G?(sqrt (/ (expt herbie0 2) 3))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsCS?(sqrt (expt (- herbie0 herbie1) 2))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics:v;?(sqrt (expt herbie0 2))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics" E} C G?(sqrt (/ (expt herbie0 2) 3))(if (< herbie0 3.130907040512308e-302) (log1p (+ (/ herbie0 (sqrt 3)) (* herbie0 (* herbie0 1/6)))) (* herbie0 (sqrt 1/3)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@<5Mƅ@=HŰIBee?(/ (sqrt (+ herbie0 1)) (* herbie0 herbie0))(/ (/ (sqrt (+ 1 herbie0)) herbie0) herbie0)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@Yd?@EA[g?(- (sqrt (+ herbie0 1)) (sqrt herbie0))(/ 1 (+ (sqrt (+ herbie0 1)) (sqrt herbie0)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@=}ȫ?8@Es?(- (expt (+ herbie0 1) 2) 1)(+ (* (* herbie0 1/2) (* herbie0 2)) (* herbie0 2))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@C > N-F W9?(- (log herbie0) (log (+ herbie0 1)))(if (< herbie0 1305830679.054376) (log (/ herbie0 (+ 1 herbie0))) (- (- (/ 1/2 (sqr herbie0)) (/ 1/3 (* herbie0 (* herbie0 herbie0)))) (/ 1 herbie0)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@=;B2k?Y!lWE c?(- (abs (expt herbie0 3)) (expt herbie0 3))(if (< herbie0 2.2386212442101493e+105) (- (abs (* herbie0 (* herbie0 herbie0))) (* herbie0 (* herbie0 herbie0))) (- (* (/ 1 herbie0) (* (/ 1 herbie0) (/ 1 herbie0))) (expt herbie0 -3)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@&%C?/D[[?(/ (* 100 (- herbie0 herbie1)) herbie0)(/ (* 100 (- herbie0 herbie1)) herbie0)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics #y  0H`?(sin (- herbie0 herbie1))o3(exp (log herbie0))jU-(cos (sqrt (+ (+ (* herbie0 herbie0) (* herbie1 herbie1)) (* herbie2 herbie2))))^?(exp (* 2 (log herbie0)))(#K(exp (+ (* 3 (log herbie0)) 2))'/c(exp (+ (+ 1 (log herbie0)) (log herbie1)))?(exp (+ 8 (log herbie0)))&Q(expt (log (+ herbie0 1)) herbie0).3(log (+ herbie0 1))3(log (+ herbie0 1))A(sin (sqrt (+ herbie0 1)))46q(sqrt (* (- herbie0 herbie1) (- herbie0 herbie1)))$M(sqrt (* herbie0 (- herbie0 1)))$M(sqrt (* herbie0 (- herbie0 1))) ;m/c(/ (* herbie0 herbie1) (+ (- 1 herbie1) (* herbie0 herbie1)))-o rules:numerics -r #(1461197]?(/ (expt (+ herbie0 herbie0) 3) herbie0)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsd69?(/ (sqrt (+ (+ (* herbie0 herbie0) (* herbie1 herbie1)) (* herbie2 herbie2))) herbie3)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics e?(/ (sqrt (+ herbie0 1)) (* herbie0 herbie0))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsB#qc(/ 1 (sqrt (- (expt herbie0 2) (expt herbie1 2))))-o rules:numerics -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimes9q?(/ 1 (sqrt (- (expt herbie0 2) (expt herbie1 2))))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics8 6+J AI?(+ (- herbie0) (/ (sqrt (- (* herbie0 herbie0) (* (* herbie1 4) herbie2))) (* herbie1 2)))(if (< herbie1 -3693.8482788297247) (/ (- (* (/ (sqrt (- (sqr herbie0) (* (5WIg?(- (sqrt (+ herbie0 herbie1)) (sqrt herbie1))(/ herbie0 (+ (sqrt (+ herbie0 herbie1)) (sqrt herbie1)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@Bu?+HWW?(- (/ 1 herbie0) (/ 1 (+ herbie0 1)))(- (/ 1 herbie0) (/ 1 (+ herbie0 1)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsGGWKc(- (log herbie0) (log (+ herbie0 1)))(log (/ herbie0 (+ 1 herbie0)))-o rules:numerics -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimes@=;B2k@= q >Di2U {>;i [XMainexample7forall r. ExpRing r => r -> r -> r -> r8h SVMainexample69forall r. ExpField r => r -> r -> r8g SVMainexample69forall r. ExpField r => r -> r -> r/f AUMainexample68forall r. Real r => r -> r3e ITMainexample67forall g. ExpField g => g -> g4d KSMainexample66forall r. Real r => r -> r -> r4c !IRMainexample65'forall r. ExpField r => r -> r8b SQMainexample65forall r. ExpField r => r -> r -> r5a MOMainexample64forall r. Field r => r -> r -> r5` MOMainexample64forall r. Field r => r -> r -> r3_ IMainexample63forall r. ExpField r => r -> r/^ AMMainexample62forall g. Real g => g -> g/] AMMainexample62forall g. Real g => g -> gB\ gKMainexample61forall g. ExpField g => g -> g -> g -> g -> gB[ gKMainexample61forall g. ExpField g => g -> g -> g -> g -> g=Z ]JMainexample60forall g. ExpField g => g -> g -> g -> g7Y SIMainexample6forall g. ExpField g => g -> g -> g (ah?(- (sqrt (- herbie0 2)) (sqrt (- (* herbie0 herbie0) 3)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics5[c(- (sqrt (sin herbie0)) (sqrt herbie0))-o rules:numerics -r #(1461x??(- herbie0 (sin herbie0))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics;{?(/ (* (* (* herbie0 herbie1) herbie0) herbie2) herbie1)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsS[?(/ (* 100 (- herbie0 herbie1)) herbie0)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsD/c(/ (* herbie0 herbie1) (+ (- 1 herbie1) (* herbie0 herbie1)))-o rules:numerics -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimesP?(/ (* herbie0 herbie1) (+ (- 1 herbie1) (* herbie0 herbie1)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsO* herbie2 4) herbie1))) (* herbie1 2)) (* (/ (sqrt (- (sqr herbie0) (* (* herbie2 4) herbie1))) (* herbie1 2)) (/ (sqrt (- (sqr herbie0) (* (* herbie2 4) herbie1))) (* herbie1 2)))) (* herbie0 (* herbie0 herbie0))) (- (- (* 1/4 (sqr (/ herbie0 herbie1))) (- (/ herbie2 herbie1) (sqr herbie0))) (/ (sqrt (- (sqr herbie0) (* (* herbie2 4) herbie1))) (* 2 (/ herbie1 herbie0))))) (if (< herbie1 249.6182814532307) (+ (/ 1 (/ (* 2 herbie1) (sqrt (- (sqr herbie0) (* (* 4 herbie2) herbie1))))) herbie0) (/ (- (* (/ (sqrt (- (sqr herbie0) (* (* herbie2 4) herbie1))) (* herbie1 2)) (* (/ (sqrt (- (sqr herbie0) (* (* herbie2 4) herbie1))) (* herbie1 2)) (/ (sqrt (- (sqr herbie0) (* (* herbie2 4) herbie1))) (* herbie1 2)))) (* herbie0 (* herbie0 herbie0))) (- (- (* 1/4 (sqr (/ herbie0 herbie1))) (- (/ herbie2 herbie1) (sqr herbie0))) (/ (sqrt (- (sqr herbie0) (* (* herbie2 4) herbie1))) (* 2 (/ herbie1 herbie0)))))))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@2/@93C'H fL Cc(- (log (+ (* herbie0 (exp herbie1)) (* herbie2 (exp herbie3)))) (log (+ herbie0 herbie2)))herbie3-o rules:numerics -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimes@I/}@Dhc][%K C;?(- (log (+ (* herbie0 (exp herbie1)) (* herbie2 (exp herbie3)))) (log (+ herbie0 herbie2)))(if (< (- (log (+ (* herbie0 (exp herbie1)) (* herbie2 (exp herbie3)))) (log (+ herbie0 herbie2))) -6.465938895416912e-13) (/ (- (exp (log (sqr (log (+ (* herbie0 (exp herbie1)) (* herbie2 (exp herbie3))))))) (sqr (log (+ herbie0 herbie2)))) (+ (log (+ (* herbie0 (exp herbie1)) (* herbie2 (exp herbie3)))) (log (+ herbie0 herbie2)))) herbie3)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@I/}@@>}   rN [c(- (sqrt (sin herbie0)) (sqrt herbie0))(- (expm1 (expm1 (log1p (log1p (sqrt (sin herbie0)))))) (sqrt herbie0))-o rules:numerics -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimes@,Z:@,S@Su_}M [U?(- (sqrt (sin herbie0)) (sqrt herbie0))(if (< herbie0 1.7634409685515176) (/ (- (- (* 1/120 (* herbie0 (* herbie0 (* herbie0 (* herbie0 herbie0))))) (* 1/5040 (* herbie0 (* herbie0 (* herbie0 (* herbie0 (* herbie0 (* herbie0 herbie0)))))))) (* (* herbie0 (* herbie0 herbie0)) 1/6)) (+ (sqrt herbie0) (sqrt (sin herbie0)))) (- (expm1 (expm1 (log1p (log1p (sqrt (sin herbie0)))))) (sqrt herbie0)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@,Z:?8 5ia#K(/ (- (exp herbie0) 1) herbie0)m,](/ (expt (+ herbie0 herbie0) 3) herbie0)d3k(/ (+ 1 (sqrt herbie0)) (expt (- herbie0 1) 2));{(/ (- (* herbie0 herbie0) (* herbie1 herbie1)) herbie2)>/c(/ (- (sin herbie0) (tan herbie0)) herbie0)6/c(/ (- (sin herbie0) (tan herbie0)) herbie0)7[9(/ (sqrt (+ (+ (* herbie0 herbie0) (* herbie1 herbie1)) (* herbie2 herbie2))) herbie3)0e(/ (sqrt (+ herbie0 1)) (* herbie0 herbie0))B6q(/ 1 (sqrt (- (expt herbie0 2) (expt herbie1 2))))86q(/ 1 (sqrt (- (expt herbie0 2) (expt herbie1 2))))9 `^:QeG?(* herbie0 (sqrt (+ (* herbie1 herbie1) 1)))(* herbie0 (hypot 1 herbie1))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@(a"?P c(/ (* herbie0 herbie1) (+ (- 1 herbie1) (* herbie0 herbie1)))(/ (* herbie0 herbie1) (+ (- 1 herbie1) (* herbie0 herbie1)))-o rules:numerics -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimes@hx@hxO g?(/ (* herbie0 herbie1) (+ (- 1 herbie1) (* herbie0 herbie1)))(if (< herbie0 -3.2230225784416125e+100) (+ (/ 1 (sqr herbie0)) (+ (/ 1 herbie0) 1)) (if (< herbie0 7.448338919394617e+200) (* (/ herbie0 1) (/ herbie1 (+ (- 1 herbie1) (* herbie0 herbie1)))) (+ (/ 1 (sqr herbie0)) (+ (/ 1 herbie0) 1))))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@hx@#+( c;Tgg?(- (sqrt (+ herbie0 1)) (sqrt (- herbie0 1)))(- (sqrt (+ herbie0 1)) (sqrt (- herbie0 1)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsMS{W?(/ (* (* (* herbie0 herbie1) herbie0) herbie2) herbie1)(* (* herbie2 herbie0) (/ herbie0 1))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@0R)?ÀRM/?(sqrt (+ (* herbie0 herbie0) 1))(hypot 1 herbie0)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@)RG\o eU ]#?(* (cos (+ herbie0 1)) (expt herbie0 2))(* herbie0 (/ (* herbie0 (- (* (* (cos 1) (cos herbie0)) (* (* (cos 1) (cos herbie0)) (* (cos 1) (cos herbie0)))) (* (* (sin 1) (sin herbie0)) (* (* (sin 1) (sin herbie0)) (* (sin 1) (sin herbie0)))))) (+ (sqr (* (cos 1) (cos herbie0))) (+ (sqr (* (sin 1) (sin herbie0))) (* (* (cos 1) (cos herbie0)) (* (sin 1) (sin herbie0)))))))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@0mzV?BM , c?(- (abs (expt herbie0 3)) (expt herbie0 3))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsE`3(- (exp herbie0) 1)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621)r3?(- (exp herbie0) 1)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics bV e?(* herbie0 (- (/ herbie1 herbie0) (log (+ 1 (/ herbie1 herbie0)))))(if (< herbie0 -3.5869021409434946e+199) (* (* herbie0 (+ (sqrt (/ herbie1 herbie0)) (sqrt (log1p (/ herbie1 herbie0))))) (- (sqrt (/ herbie1 herbie0)) (sqr (sqrt (sqrt (log1p (/ herbie1 herbie0))))))) (if (< herbie0 -1.7973603887314236e-119) (- herbie1 (* herbie0 (log1p (/ herbie1 herbie0)))) (if (< herbie0 6.134002603894154e-120) (- herbie1 (* (log1p (/ herbie0 herbie1)) herbie0)) (if (< herbie0 6.117296177923676e+84) (- herbie1 (* herbie0 (log1p (/ herbie1 herbie0)))) (* herbie0 (- (/ herbie1 herbie0) (sqr (sqrt (log1p (/ herbie1 herbie0))))))))))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@A-,̳,@7A\ JX ]m?(* herbie0 (expt (- herbie1 herbie2) 3))(if (< herbie2 -3.9917866316376987e+89) (exp (+ (log herbie0) (* (log (- herbie1 herbie2)) 3))) (* herbie0 (* (- herbie1 herbie2) (* (- herbie1 herbie2) (- herbie1 herbie2)))))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@&ݚ Xk@$ƋӂW %c(* herbie0 (- (/ herbie1 herbie0) (log (+ 1 (/ herbie1 herbie0)))))(* herbie0 (- (/ herbie1 herbie0) (sqr (sqrt (log1p (/ herbie1 herbie0))))))-o rules:numerics -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimes@A-,̳,@@W7D: R?B(/ (* herbie0 herbie1) (+ (- 1 herbie1) (* herbie0 herbie1)))OB(/ (* herbie0 herbie1) (+ (- 1 herbie1) (* herbie0 herbie1)))P`C(/ (+ (* herbie0 herbie1) (* herbie2 herbie3)) (+ (* herbie1 herbie1) (* herbie3 herbie3)))H(/ (+ (* herbie0 herbie1) (* herbie2 herbie3)) (+ herbie0 herbie2)) H(/ (+ (* herbie0 herbie1) (* herbie2 herbie3)) (+ herbie0 herbie2))!;{(/ (+ (* herbie0 herbie1) (* herbie2 herbie3)) herbie4);{(/ (+ (* herbie0 herbie1) (* herbie2 herbie3)) herbie4) 22D+y{?(+ (+ (+ (+ herbie0 herbie0) herbie0) herbie0) herbie0)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsq c?(+ (+ (+ (- (sqrt (+ herbie0 1)) (sqrt herbie0)) (- (sqrt (+ herbie1 1)) (sqrt herbie1))) (- (sqrQesc(+ (+ herbie0 c?(+ (+ (+ (- (sqrt (+ herbie0 1)) (sqrt herbie0)) (- (sqrt (+ herbie1 1)) (sqrt herbie1))) (- (sqrQ#?(+ (+ herbie0 herbie0) (* (* (* herbie0 herbie0) herbie0) herbie0))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsvesc(+ (+ herbie0 herbie1) (/ (* (* (* (- herbie2 herbie3) (- herbie2 herbie3)) herbie4) herbie5) (+ herbie4 herbie5)))-o rules:numerics -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimesSs?(+ (+ herbie0 herbie1) (/ (* (* (* (- herbie2 herbie3) (- herbie2 herbie3)) herbie4) herbie5) (+ herbie4 herbie5)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics-8169?(/ herbie0 (sqrt (+ (+ (* herbie0 herbie0) (* herbie1 herbie1)) (* herbie2 herbie2))))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics3F c?(exp (+ (+ 1 (log herbie0)) (log herbie1)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsMc(sqrt (* herbie0 (- herbie0 1)))-o rules:numerics -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimes*!?(sqrt (+ (+ (* herbie0 herbie0) (* herbie1 herbie1)) (* herbie2 herbie2)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics*|G?(sqrt (- (expt herbie0 2) 1))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics(* 2 (log herbie0)) 1) (sqr (log herbie1))) (sqr (log herbie0))) (* 2 (+ (log herbie1) (* (log herbie0) (log herbie1)))))) (/ (* (* 2 (log herbie1)) (log herbie0)) (- (log herbie1) (+ 1 (log herbie0)))))) (+ (/ (/ herbie1 (- (+ (+ (+ (* 2 (log herbie0)) 1) (sqr (log herbie1))) (sqr (log herbie0))) (* 2 (+ (log herbie1) (* (log herbie0) (log herbie1)))))) herbie0) (+ (+ (+ (/ (* (/ herbie1 herbie0) 2) (- (log herbie1) (+ 1 (log herbie0)))) (/ (sqr (log herbie0)) (- (log herbie1) (+ 1 (log herbie0))))) (/ (* 2 (/ (* (log herbie0) (log herbie1)) (/ herbie0 herbie1))) (- (+ (+ (* 2 (log herbie0)) 1) (+ (sqr (log herbie0)) (sqr (log herbie1)))) (* 2 (+ (log herbie1) (* (log herbie0) (log herbie1))))))) (/ (sqr (log herbie1)) (- (log herbie1) (+ 1 (log herbie0)))))))) (if (< (/ herbie1 herbie0) 1.442847112874633e+305) (+ (+ (- herbie0) (/ herbie1 1)) (* (- (log (/ herbie1 herbie0))) herbie0)) (* 1 herbie1)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@,=(鰂@ _Lʒ sD.s8[i??(* (/ 6 (expt herbie0 99)) (expt herbie0 101))(* (* 6 herbie0) herbie0)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@NHn3?Z #c(* herbie0 (- (- (/ herbie1 herbie0) 1) (log (/ herbie1 herbie0))))(+ (+ (- herbie0) (/ herbie1 1)) (* (- (log (/ herbie1 herbie0))) herbie0))-o rules:numerics -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimes@,=(鰂@,Ko1Y ?(* herbie0 (- (- (/ herbie1 herbie0) 1) (log (/ herbie1 herbie0))))(if (< (/ herbie1 herbie0) 5.076897394578579e-301) (* herbie0 (- (+ (+ (/ (/ (* herbie1 (sqr (log herbie0))) (- (+ (+ (* 2 (log herbie0)) 1) (+ (sqr (log herbie0)) (sqr (log herbie1)))) (* 2 (+ (log herbie1) (* (log herbie0) (log herbie1)))))) herbie0) (/ 1 (- (log herbie1) (+ 1 (log herbie0))))) (+ (/ (/ (* (sqr (log herbie1)) herbie1) herbie0) (- (+ (+ (+ B 0M_%x9a0/z A Mainexample83forall g. Real g => g -> g3y IhMainexample82forall g. ExpField g => g -> g/x AgMainexample81forall g. Ring g => g -> g3w IfMainexample80forall g. ExpField g => g -> g;v [eMainexample8forall r. ExpRing r => r -> r -> r -> r=u ]dMainexample79forall r. (Field r, ExpRing r) => r -> r7t QcMainexample78forall g. Rg g => g -> g -> g -> g8s SbMainexample77forall g. ExpField g => g -> g -> g8r S`Mainexample76forall g. ExpField g => g -> g -> g8q S`Mainexample76forall g. ExpField g => g -> g -> g3p I_Mainexample75forall r. ExpField r => r -> r9o U^Mainexample74forall r. Real r => r -> r -> r -> r=n ]]Mainexample73forall r. (Field r, ExpRing r) => r -> r=m ]\Mainexample72forall r. (Field r, ExpRing r) => r -> r=l ][Mainexample71forall r. (Field r, ExpRing r) => r -> r8k SYMainexample70forall r. ExpField r => r -> r -> r8j SYMainexample70forall r. ExpField r => r -> r -> r Y4_gI?(sqrt (+ 1 (sqrt (+ (* herbie0 herbie0) 1))))(sqrt (+ 1 (hypot 1 herbie0)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@*VGy]o^ -g?(cos (sqrt (+ (+ (* herbie0 herbie0) (* herbie1 herbie1)) (* herbie2 herbie2))))(cos (hypot (hypot herbie1 herbie2) herbie0))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@CN @,se]k?(* (/ 1 (expt herbie0 100)) (expt herbie0 100))1-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@NΚ$\i'?(* (/ 1 (expt herbie0 99)) (expt herbie0 101))(sqr herbie0)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@Njs VV0-?(cos (sqrt (+ (+ (* herbie0 herbie0) (* herbie1 herbie1)) (* herbie2 herbie2))))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics^x??(exp (* 2 (log herbie0)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics(~K?(exp (+ (* 3 (log herbie0)) 2))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics' 9)9maq}c(+ herbie0 (sqrt (- (* herbie0 herbie0) herbie1)))(/ herbie1 (- herbie0 (sqrt (- (sqr herbie0) herbie1))))-o rules:numerics -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimes@: CR@9yGT` qm?(+ herbie0 (sqrt (- (* herbie0 herbie0) herbie1)))(if (< herbie0 -1.5097698010472593e+153) (* 1/2 (/ herbie1 herbie0)) (if (< herbie0 -3.5050271037152363e-118) (/ herbie1 (- herbie0 (sqrt (- (sqr herbie0) herbie1)))) (if (< herbie0 1.116557621183362e+93) (+ herbie0 (sqrt (- (sqr herbie0) herbie1))) (+ herbie0 (- herbie0 (* 1/2 (/ herbie1 herbie0)))))))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@: CR? ,d]3?(/ (expt (+ herbie0 herbie0) 3) herbie0)(* 8 (sqr herbie0))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@&rG!?c C+?(+ (+ (* (* herbie0 herbie0) herbie1) (* herbie0 (+ herbie1 herbie2))) (* herbie0 herbie2))(+ (* (+ (+ herbie2 herbie1) herbie2) herbie0) (* (* herbie0 herbie1) herbie0))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@z 1?Eb yG?(- (- herbie0) (sqrt (- (* herbie0 herbie0) herbie1)))(if (< herbie0 -2.3377326502434188e+76) (- (/ 1/8 (* herbie0 (* herbie0 herbie0))) (* (/ herbie1 herbie0) 1/2)) (- herbie0 (sqrt (- (sqr herbie0) herbie1))))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@: CR@;TdH J$|Dp+[(- (sqrt (+ herbie0 2)) (sqrt herbie0))n-_(- (sqrt (+ herbie0 100)) (sqrt herbie0))h%O(- (sqrt (+ herbie0 1)) (sqrt 1))f1g(- (sqrt (+ herbie0 1)) (sqrt (- herbie0 1)))T+[(- (sqrt (+ herbie0 1)) (sqrt herbie0))A1g(- (sqrt (+ herbie0 herbie1)) (sqrt herbie1))I=(- (sqrt (- herbie0 2)) (sqrt (- (* herbie0 herbie0) 3)))5+[(- (sqrt (sin herbie0)) (sqrt herbie0))M+[(- (sqrt (sin herbie0)) (sqrt herbie0))N3(- 1 (cos herbie0)) ?(- herbie0 (sin herbie0));?(- herbie0 (sin herbie0))<;{(/ (* (* (* herbie0 herbie1) herbie0) herbie2) herbie1)S 9t[~K?(+ herbie0 (* herbie1 herbie2))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericst~K?(+ herbie0 (* herbie0 herbie0))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericss c?(+ herbie0 (Y?(+ (- (sqrt (+ herbie0 1)) 1) herbie0)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics=:A?(+ (- herbie0) (/ (sqrt (- (* herbie0 herbie0) (* (* herbie1 4) herbie2))) (* herbie1 2)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsJ~K?(+ herbie0 (* herbie0 herbie0))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericss c?(+ herbie0 (* herbie1 (+ herbie2 herbie0)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsr Kh_o?(- (sqrt (+ herbie0 100)) (sqrt herbie0))(/ 100 (+ (sqrt (+ herbie0 100)) (sqrt herbie0)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@=Di0?Àg??(- (+ herbie0 1) herbie0)1-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@=Pjix8fOY?(- (sqrt (+ herbie0 1)) (sqrt 1))(/ herbie0 (+ (sqrt (+ 1 herbie0)) 1))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@Ci?%e ]#?(* herbie0 (expt (- herbie1 herbie2) 2))(if (< herbie0 8.02321162197245e-307) (* herbie0 (* (- herbie1 herbie2) (- herbie1 herbie2))) (sqr (* (sqrt herbie0) (- herbie1 herbie2))))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@+y@D [5c(/ (+ (* herbie0 herbie1) (* herbie2 herbie3)) (+ herbie0 herbie2))-o rules:numerics -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimes!#?(/ (+ (* herbie0 herbie1) (* herbie2 herbie3)) (+ herbie0 herbie2))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics ~"n~ml ?(* (/ (exp herbie0) (sqrt (- (exp herbie0) 1))) (sqrt herbie0))(/ (* (exp herbie0) (sqrt herbie0)) (sqrt (expm1 herbie0)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@M[a{?+k ?(+ (- (sqrt (+ herbie0 1)) (sqrt herbie0)) (sin (- herbie0 1)))(+ (/ 1 (+ (sqrt (+ herbie0 1)) (sqrt herbie0))) (- (expm1 (log1p (* (sin herbie0) (cos 1)))) (* (cos herbie0) (sin 1))))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@:mc^2?( ij3?(exp (log herbie0))herbie0-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@:b&[i a?(sqrt (- (sqrt (+ (expt herbie0 2) (expt herbie1 2))) herbie0))(sqrt (- (hypot herbie0 herbie1) herbie0))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@C::;5@+Q>: M`+ZTtM$  -AMainherbie10String -> String  )vMainnoannFloat -> Float#  )uMaintoosmall1Float -> Float5  MtMaintoosmall2Float -> Float -> Float -> Float$ !)sMainbigenough1Float -> Float6 !MrMainbigenough2Float -> Float -> Float -> FloatF sAMainherbie5forall a. (Show a, Real a) => String -> a -> StringF sAMainherbie6forall a. (Show a, Real a) => a -> String -> String2 KqMainherbie7forall a. Semigroup a => a -> a< _pMainherbie2forall a. Real a => a -> a -> a -> a -> a- AAMainherbie1forall a. Real a => a -> a3 KoMainexample9forall r. Real r => r -> r -> r3 InMainexample89forall g. ExpField g => g -> g3 ImMainexample88forall r. ExpField r => r -> r3~ IlMainexample87forall r. ExpField r => r -> r/} AkMainexample86forall g. Real g => g -> g3| IjMainexample85forall r. ExpField r => r -> r8{ SiMainexample84forall r. ExpField r => r -> r -> r llZj{?(+ (+ (+ (+ herbie0 herbie0) herbie0) r3?(+ herbie0 herbie0)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsuzC?(- (+ herbie0 0.1) herbie0)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsx??(- (+ herbie0 1) herbie0)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsgy?(- (- herbie0) (sqrt (- (* herbie0 herbie0) herbie1)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsbw?(- (/ (* (* herbie0 2) herbie1) (- herbie0 herbie1)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics nROn^o ?3?(sin (- herbie0 herbie1))(expm1 (log1p (- (* (sin herbie0) (cos herbie1)) (* (cos herbie0) (sin herbie1)))))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@)bV?T*n [[?(- (sqrt (+ herbie0 2)) (sqrt herbie0))(/ (/ 2 (sqrt (+ (sqrt (+ herbie0 2)) (sqrt herbie0)))) (sqrt (+ (sqrt (+ herbie0 2)) (sqrt herbie0))))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@=zh ?4s+mKC?(/ (- (exp herbie0) 1) herbie0)(/ (expm1 herbie0) herbie0)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@DnP?WhZt (+ herbie2 1)) (sqrt herbie2))) (- (sqrt (+ herbie3 1)) (sqrt herbie3)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsp "P7rcc?(+ herbie0 (* herbie1 (+ herbie2 herbie0)))(+ herbie0 (* herbie1 (+ herbie2 herbie0)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsOq{{?(+ (+ (+ (+ herbie0 herbie0) herbie0) herbie0) herbie0)(+ (+ (+ (+ herbie0 herbie0) herbie0) herbie0) herbie0)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics[p c?(+ (+ (+ (- (sqrt (+ herbie0 1)) (sqrt herbie0)) (- (sqrt (+ herbie1 1)) (sqrt herbie1))) (- (sqrt (+ herbie2 1)) (sqrt herbie2))) (- (sqrt (+ herbie3 1)) (sqrt herbie3)))(+ (+ (+ (/ 1 (+ (sqrt (+ herbie0 1)) (sqrt herbie0))) (/ 1 (+ (sqrt (+ herbie1 1)) (sqrt herbie1)))) (/ 1 (+ (sqrt (+ herbie2 1)) (sqrt herbie2)))) (- (sqrt (+ herbie3 1)) (sqrt herbie3)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics@Yy?얃E"P ww[y)W(- (log (+ herbie0 1)) (log herbie0))-)W(- (log herbie0) (log (+ herbie0 1)))F)W(- (log herbie0) (log (+ herbie0 1)))G)W(- (log herbie0) (sin (+ herbie0 1)));{(- (sin (+ herbie0 herbie1)) (cos (+ herbie0 herbie1)))??(- (sin herbie0) herbie0) ?(- (sin herbie0) herbie0) =(- (sqrt (* herbie0 herbie0)) (sqrt (* herbie1 herbie1))),*Y(- (sqrt (+ (* herbie0 herbie0) 1)) 1)$ T w55?(sqrt (- herbie0 1))(sqrt (- herbie0 1))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericsyv ?(+ (+ herbie0 herbie0) (* (* (* herbie0 herbie0) herbie0) herbie0))(+ (+ herbie0 herbie0) (* herbie0 (* herbie0 (* herbie0 herbie0))))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics??u33?(+ herbie0 herbie0)(+ herbie0 herbie0)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics/tKK?(+ herbie0 (* herbie1 herbie2))(+ herbie0 (* herbie1 herbie2))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics??)sK??(+ herbie0 (* herbie0 herbie0))(+ (sqr herbie0) herbie0)-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics?p?p DD[{?(+ herbie0 (* herbie1 (/ (- herbie0 herbie2) herbie3)))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numerics*~K?(+ herbie0 (* herbie1 herbie2))-r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o rules:numericst#qc(+ herbie0 (sqrt (- (* herbie0 herbie0) herbie1)))-o rules:numerics -r #(1461197085 2376054483 1553562171 1611329376 2497620867 2308122621) -o reduce:regimesa ]n5R `]0 CMainexample18forall g. Field g => g -> gD kMainexample17forall r. Field r => r -> r -> r -> r -> r -> rD kMainexample17forall r. Field r => r -> r -> r -> r -> r -> r? aMainexample16forall r. Field r => r -> r -> r -> r -> rB gMainexample15forall r. ExpField r => r -> r -> r -> r -> r= ]Mainexample14forall r. ExpField r => r -> r -> r -> r8 SMainexample13forall r. ExpField r => r -> r -> r/ A Mainexample12forall g. Real g => g -> g/ A Mainexample11forall g. Real g => g -> g/ A Mainexample11forall g. Real g => g -> gB g Mainexample10forall r. ExpField r => r -> r -> r -> r -> r7 SMainexample1forall r. ExpField r => r -> r -> r6 !MAMainbigenough3Float -> Float -> Float -> Float! )AMainherbie3Float -> Float# -AMainherbie4String -> String! )AMainherbie8Float -> Float!  )wMainherbie9Float -> Float M^(Z$@M=- ]Mainexample29forall r. ExpField r => r -> r -> r -> r8, S#Mainexample28forall r. ExpField r => r -> r -> r3+ I"Mainexample27forall r. ExpField r => r -> r?* a Mainexample26forall r. Field r => r -> r -> r -> r -> r?) a Mainexample26forall r. Field r => r -> r -> r -> r -> r3( IMainexample25forall r. ExpField r => r -> r3' IMainexample25forall r. ExpField r => r -> r3& IMainexample24forall r. ExpField r => r -> r3% IMainexample24forall r. ExpField r => r -> rI$ uMainexample23forall g. Field g => g -> g -> g -> g -> g -> g -> gI# uMainexample23forall g. Field g => g -> g -> g -> g -> g -> g -> g3" IMainexample22forall r. ExpField r => r -> r3! IMainexample21forall r. ExpField r => r -> r8  SMainexample20forall r. ExpField r => r -> r -> r2 IMainexample2forall r. ExpField r => r -> r/ AMainexample19forall g. Real g => g -> g =Uq4P}==> ]3Mainexample42forall r. ExpField r => r -> r -> r -> r3= I1Mainexample41forall r. ExpField r => r -> r3< I1Mainexample41forall r. ExpField r => r -> r/; A0Mainexample40forall r. Real r => r -> r2: IMainexample4forall g. ExpField g => g -> g:9 W/Mainexample39forall r. Field r => r -> r -> r -> r38 I.Mainexample38forall r. ExpField r => r -> r37 I-Mainexample37forall g. ExpField g => g -> g86 S,Mainexample36forall g. ExpField g => g -> g -> g:5 W+Mainexample35forall g. Field g => g -> g -> g -> g?4 a*Mainexample34forall g. Field g => g -> g -> g -> g -> g33 I)Mainexample33forall g. ExpField g => g -> g32 I(Mainexample32forall r. ExpField r => r -> r31 I'Mainexample31forall r. ExpField r => r -> r80 S%Mainexample30forall g. ExpField g => g -> g -> g8/ S%Mainexample30forall g. ExpField g => g -> g -> g2. I$Mainexample3forall g. ExpField g => g -> g 1f4Qw@ i15P MDMainexample56forall r. Field r => r -> r -> r3O ICMainexample55forall r. ExpField r => r -> r3N IBMainexample54forall r. ExpField r => r -> r3M IAMainexample53forall g. ExpField g => g -> g2L G@Mainexample52forall g. ExpRing g => g -> g4K K?Mainexample51forall g. Real g => g -> g -> g:J W>Mainexample50forall r. Field r => r -> r -> r -> r2I IMainexample5forall r. ExpField r => r -> r3H I=Mainexample49forall g. ExpField g => g -> g/G A;Mainexample48forall g. Real g => g -> g/F A;Mainexample48forall g. Real g => g -> g8E S:Mainexample47forall r. ExpField r => r -> r -> r8D S8Mainexample46forall r. ExpField r => r -> r -> r8C S8Mainexample46forall r. ExpField r => r -> r -> r/B A6Mainexample45forall r. Real r => r -> r/A A6Mainexample45forall r. Real r => r -> r3@ I5Mainexample44forall g. ExpField g => g -> g/? A4Mainexample43forall r. Real r => r -> r 3Sp+Lj34` KSMainexample66forall r. Real r => r -> r -> r4_ !IRMainexample65'forall r. ExpField r => r -> r8^ SQMainexample65forall r. ExpField r => r -> r -> r5] MOMainexample64forall r. Field r => r -> r -> r5\ MOMainexample64forall r. Field r => r -> r -> r3[ IMainexample63forall r. ExpField r => r -> r/Z AMMainexample62forall g. Real g => g -> g/Y AMMainexample62forall g. Real g => g -> gBX gKMainexample61forall g. ExpField g => g -> g -> g -> g -> gBW gKMainexample61forall g. ExpField g => g -> g -> g -> g -> g=V ]JMainexample60forall g. ExpField g => g -> g -> g -> g7U SIMainexample6forall g. ExpField g => g -> g -> g0T CHMainexample59forall g. Field g => g -> g3S IFMainexample58forall g. ExpField g => g -> g3R IFMainexample58forall g. ExpField g => g -> gtQ IEMainexample57forall g. (Ord_ g, ExpRing g, Normed g, (g >< g) ~ g, Scalar g ~ g, Logic g ~ Bool) => g -> g Q]"n.r<Q7p QcMainexample78forall g. Rg g => g -> g -> g -> g8o SbMainexample77forall g. ExpField g => g -> g -> g8n S`Mainexample76forall g. ExpField g => g -> g -> g8m S`Mainexample76forall g. ExpField g => g -> g -> g3l I_Mainexample75forall r. ExpField r => r -> r9k U^Mainexample74forall r. Real r => r -> r -> r -> r=j ]]Mainexample73forall r. (ExpRing r, Field r) => r -> r=i ]\Mainexample72forall r. (ExpRing r, Field r) => r -> r=h ][Mainexample71forall r. (ExpRing r, Field r) => r -> r8g SYMainexample70forall r. ExpField r => r -> r -> r8f SYMainexample70forall r. ExpField r => r -> r -> r;e [XMainexample7forall r. ExpRing r => r -> r -> r -> r8d SVMainexample69forall r. ExpField r => r -> r -> r8c SVMainexample69forall r. ExpField r => r -> r -> r/b AUMainexample68forall r. Real r => r -> r3a ITMainexample67forall g. ExpField g => g -> g JLwAm7JF sAMainherbie6forall a. (Show a, Real a) => a -> String -> String2 KqMainherbie7forall a. Semigroup a => a -> a< _pMainherbie2forall a. Real a => a -> a -> a -> a -> a-~ AAMainherbie1forall a. Real a => a -> a3} KoMainexample9forall r. Real r => r -> r -> r3| InMainexample89forall g. ExpField g => g -> g3{ ImMainexample88forall r. ExpField r => r -> r3z IlMainexample87forall r. ExpField r => r -> r/y AkMainexample86forall g. Real g => g -> g3x IjMainexample85forall r. ExpField r => r -> r8w SiMainexample84forall r. ExpField r => r -> r -> r/v A Mainexample83forall g. Real g => g -> g3u IhMainexample82forall g. ExpField g => g -> g/t AgMainexample81forall g. Ring g => g -> g3s IfMainexample80forall g. ExpField g => g -> g;r [eMainexample8forall r. ExpRing r => r -> r -> r -> r=q ]dMainexample79forall r. (ExpRing r, Field r) => r -> r ~WhBoK, A Maintest1aDouble -> Double -> Double, A Maintest1aDouble -> Double -> Double! -Maintest3Double -> Double+ AMaintest1Double -> Double -> Double! -Maintest2Double -> Double! -Maintest3Double -> Double+ AMaintest1Double -> Double -> Double! -Maintest2Double -> Double6  !MAMainbigenough3Float -> Float -> Float -> Float!  )AMainherbie3Float -> Float#  -AMainherbie4String -> String!  )AMainherbie8Float -> Float!  )wMainherbie9Float -> Float$ -AMainherbie10String -> String )vMainnoannFloat -> Float# )uMaintoosmall1Float -> Float5 MtMaintoosmall2Float -> Float -> Float -> Float$ !)sMainbigenough1Float -> Float6 !MrMainbigenough2Float -> Float -> Float -> FloatF sAMainherbie5forall a. (Show a, Real a) => String -> a -> String