5.041 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.033 * * * [progress]: [2/2] Setting up program. 0.035 * [progress]: [Phase 2 of 3] Improving. 0.035 * [simplify]: Simplifying using # : (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))) 0.276 * * [simplify]: iteration 0 : 4961 enodes (cost 19 ) 0.276 * * [simplify]: iteration 1 : 4961 enodes (cost 19 ) 0.277 * [simplify]: Simplified to: (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* t (* 2e-16 2.0)))) 0.279 * * [progress]: iteration 1 / 4 0.279 * * * [progress]: picking best candidate 0.281 * * * * [pick]: Picked # 0.281 * * * [progress]: localizing error 0.288 * * * [progress]: generating rewritten candidates 0.288 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.300 * * * [progress]: generating series expansions 0.300 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.300 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 0.300 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 0.300 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.300 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.300 * [taylor]: Taking taylor expansion of t in t 0.300 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 0.300 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.301 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.301 * [taylor]: Taking taylor expansion of t in t 0.301 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in (t) around 0 0.301 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in t 0.301 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.301 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 0.301 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.302 * [taylor]: Taking taylor expansion of t in t 0.302 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in t 0.302 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.302 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 0.302 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.302 * [taylor]: Taking taylor expansion of t in t 0.303 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in (t) around 0 0.303 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in t 0.303 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.303 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 0.303 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.303 * [taylor]: Taking taylor expansion of t in t 0.303 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in t 0.303 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.303 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 0.303 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.303 * [taylor]: Taking taylor expansion of t in t 0.304 * * * [progress]: simplifying candidates 0.305 * [simplify]: Simplifying using # : (* (exp (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16)))) (/ (exp -1.0) (exp (* 2.0 (* t 2e-16))))) (* (exp (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16)))) (exp (- -1.0 (* 2.0 (* t 2e-16))))) (log (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (exp (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (* (cbrt (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (cbrt (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))))) (cbrt (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (* (* (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))) (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (sqrt (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (sqrt (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (+ (* (* (+ (pow 1.0 3) (pow (* t 2e-16) 3)) (+ (pow 1.0 3) (pow (* t 2e-16) 3))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (* (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16))))) (- (pow -1.0 3) (pow (* 2.0 (* t 2e-16)) 3)))) (* (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16))))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (+ (* (* (+ (pow 1.0 3) (pow (* t 2e-16) 3)) (+ (pow 1.0 3) (pow (* t 2e-16) 3))) (+ -1.0 (* 2.0 (* t 2e-16)))) (* (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16))))) (- (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16)))))) (* (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16))))) (+ -1.0 (* 2.0 (* t 2e-16)))) (+ (* (* (+ (pow 1.0 3) (pow (* t 2e-16) 3)) (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16)))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (* (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (- 1.0 (* t 2e-16))) (- (pow -1.0 3) (pow (* 2.0 (* t 2e-16)) 3)))) (* (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (- 1.0 (* t 2e-16))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (+ (* (* (+ (pow 1.0 3) (pow (* t 2e-16) 3)) (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16)))) (+ -1.0 (* 2.0 (* t 2e-16)))) (* (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (- 1.0 (* t 2e-16))) (- (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16)))))) (* (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (- 1.0 (* t 2e-16))) (+ -1.0 (* 2.0 (* t 2e-16)))) (+ (* (* (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16))) (+ (pow 1.0 3) (pow (* t 2e-16) 3))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (* (* (- 1.0 (* t 2e-16)) (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16))))) (- (pow -1.0 3) (pow (* 2.0 (* t 2e-16)) 3)))) (* (* (- 1.0 (* t 2e-16)) (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16))))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (+ (* (* (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16))) (+ (pow 1.0 3) (pow (* t 2e-16) 3))) (+ -1.0 (* 2.0 (* t 2e-16)))) (* (* (- 1.0 (* t 2e-16)) (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16))))) (- (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16)))))) (* (* (- 1.0 (* t 2e-16)) (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16))))) (+ -1.0 (* 2.0 (* t 2e-16)))) (+ (* (* (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16))) (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16)))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (* (* (- 1.0 (* t 2e-16)) (- 1.0 (* t 2e-16))) (- (pow -1.0 3) (pow (* 2.0 (* t 2e-16)) 3)))) (* (* (- 1.0 (* t 2e-16)) (- 1.0 (* t 2e-16))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (+ (* (* (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16))) (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16)))) (+ -1.0 (* 2.0 (* t 2e-16)))) (* (* (- 1.0 (* t 2e-16)) (- 1.0 (* t 2e-16))) (- (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16)))))) (* (* (- 1.0 (* t 2e-16)) (- 1.0 (* t 2e-16))) (+ -1.0 (* 2.0 (* t 2e-16)))) (+ (* (* (+ 1.0 (* t 2e-16)) (+ (pow 1.0 3) (pow (* t 2e-16) 3))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (- (pow -1.0 3) (pow (* 2.0 (* t 2e-16)) 3)))) (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (+ (* (* (+ 1.0 (* t 2e-16)) (+ (pow 1.0 3) (pow (* t 2e-16) 3))) (+ -1.0 (* 2.0 (* t 2e-16)))) (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (- (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16)))))) (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (+ -1.0 (* 2.0 (* t 2e-16)))) (+ (* (* (+ 1.0 (* t 2e-16)) (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16)))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (* (- 1.0 (* t 2e-16)) (- (pow -1.0 3) (pow (* 2.0 (* t 2e-16)) 3)))) (* (- 1.0 (* t 2e-16)) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (+ (* (* (+ 1.0 (* t 2e-16)) (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16)))) (+ -1.0 (* 2.0 (* t 2e-16)))) (* (- 1.0 (* t 2e-16)) (- (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16)))))) (* (- 1.0 (* t 2e-16)) (+ -1.0 (* 2.0 (* t 2e-16)))) (+ (* (* (+ (pow 1.0 3) (pow (* t 2e-16) 3)) (+ 1.0 (* t 2e-16))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (- (pow -1.0 3) (pow (* 2.0 (* t 2e-16)) 3)))) (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (+ (* (* (+ (pow 1.0 3) (pow (* t 2e-16) 3)) (+ 1.0 (* t 2e-16))) (+ -1.0 (* 2.0 (* t 2e-16)))) (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (- (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16)))))) (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (+ -1.0 (* 2.0 (* t 2e-16)))) (+ (* (* (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16))) (+ 1.0 (* t 2e-16))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (* (- 1.0 (* t 2e-16)) (- (pow -1.0 3) (pow (* 2.0 (* t 2e-16)) 3)))) (* (- 1.0 (* t 2e-16)) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (+ (* (* (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16))) (+ 1.0 (* t 2e-16))) (+ -1.0 (* 2.0 (* t 2e-16)))) (* (- 1.0 (* t 2e-16)) (- (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16)))))) (* (- 1.0 (* t 2e-16)) (+ -1.0 (* 2.0 (* t 2e-16)))) (+ (pow (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) 3) (pow (- -1.0 (* 2.0 (* t 2e-16))) 3)) (+ (* (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16)))) (- (* (- -1.0 (* 2.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))) (* (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))))) (- (* (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16)))) (* (- -1.0 (* 2.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (- (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))) (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) -1.0) (+ (* (+ 1.0 (* t 2e-16)) (* t 2e-16)) (- -1.0 (* 2.0 (* t 2e-16)))) (+ (* (* t 2e-16) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))) (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) -1.0) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) 0.340 * * [simplify]: iteration 0 : 5024 enodes (cost 1699 ) 0.345 * [simplify]: Simplified to: (exp (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* t (* 2e-16 2.0))))) (exp (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* t (* 2e-16 2.0))))) (log (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* t (* 2e-16 2.0))))) (exp (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* t (* 2e-16 2.0))))) (* (cbrt (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* t (* 2e-16 2.0))))) (cbrt (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* t (* 2e-16 2.0)))))) (cbrt (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* t (* 2e-16 2.0))))) (pow (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* t (* 2e-16 2.0)))) 3) (sqrt (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* t (* 2e-16 2.0))))) (sqrt (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* t (* 2e-16 2.0))))) (+ (* (+ (pow 1.0 3) (pow (* t 2e-16) 3)) (* (+ (pow 1.0 3) (pow (* t 2e-16) 3)) (+ (* -1.0 -1.0) (* (* t 2e-16) (* 2.0 (+ -1.0 (* t (* 2e-16 2.0)))))))) (* (+ (* 1.0 1.0) (* t (* 2e-16 (- (* t 2e-16) 1.0)))) (* (+ (* 1.0 1.0) (* t (* 2e-16 (- (* t 2e-16) 1.0)))) (- (pow -1.0 3) (pow (* t (* 2e-16 2.0)) 3))))) (* (+ (* -1.0 -1.0) (* (* t 2e-16) (* 2.0 (+ -1.0 (* t (* 2e-16 2.0)))))) (* (+ (* 1.0 1.0) (* t (* 2e-16 (- (* t 2e-16) 1.0)))) (+ (* 1.0 1.0) (* t (* 2e-16 (- (* t 2e-16) 1.0)))))) (* (+ -1.0 (* t (* 2e-16 2.0))) (+ (* (+ (pow 1.0 3) (pow (* t 2e-16) 3)) (+ (pow 1.0 3) (pow (* t 2e-16) 3))) (* (- -1.0 (* t (* 2e-16 2.0))) (* (+ (* 1.0 1.0) (* t (* 2e-16 (- (* t 2e-16) 1.0)))) (+ (* 1.0 1.0) (* t (* 2e-16 (- (* t 2e-16) 1.0)))))))) (* (+ (* 1.0 1.0) (* t (* 2e-16 (- (* t 2e-16) 1.0)))) (* (+ (* 1.0 1.0) (* t (* 2e-16 (- (* t 2e-16) 1.0)))) (+ -1.0 (* t (* 2e-16 2.0))))) (+ (* (+ 1.0 (* t 2e-16)) (* (- 1.0 (* t 2e-16)) (* (+ (pow 1.0 3) (pow (* t 2e-16) 3)) (+ (* -1.0 -1.0) (* (* t 2e-16) (* 2.0 (+ -1.0 (* t (* 2e-16 2.0))))))))) (* (+ (* 1.0 1.0) (* t (* 2e-16 (- (* t 2e-16) 1.0)))) (* (- (pow -1.0 3) (pow (* t (* 2e-16 2.0)) 3)) (- 1.0 (* t 2e-16))))) (* (+ (* -1.0 -1.0) (* (* t 2e-16) (* 2.0 (+ -1.0 (* t (* 2e-16 2.0)))))) (* (+ (* 1.0 1.0) (* t (* 2e-16 (- (* t 2e-16) 1.0)))) (- 1.0 (* t 2e-16)))) (* (+ -1.0 (* t (* 2e-16 2.0))) (+ (* (+ 1.0 (* t 2e-16)) (* (- 1.0 (* t 2e-16)) (+ (pow 1.0 3) (pow (* t 2e-16) 3)))) (* (- -1.0 (* t (* 2e-16 2.0))) (* (+ (* 1.0 1.0) (* t (* 2e-16 (- (* t 2e-16) 1.0)))) (- 1.0 (* t 2e-16)))))) (* (+ (* 1.0 1.0) (* t (* 2e-16 (- (* t 2e-16) 1.0)))) (* (+ -1.0 (* t (* 2e-16 2.0))) (- 1.0 (* t 2e-16)))) (+ (* (+ 1.0 (* t 2e-16)) (* (- 1.0 (* t 2e-16)) (* (+ (pow 1.0 3) (pow (* t 2e-16) 3)) (+ (* -1.0 -1.0) (* (* t 2e-16) (* 2.0 (+ -1.0 (* t (* 2e-16 2.0))))))))) (* (+ (* 1.0 1.0) (* t (* 2e-16 (- (* t 2e-16) 1.0)))) (* (- (pow -1.0 3) (pow (* t (* 2e-16 2.0)) 3)) (- 1.0 (* t 2e-16))))) (* (+ (* -1.0 -1.0) (* (* t 2e-16) (* 2.0 (+ -1.0 (* t (* 2e-16 2.0)))))) (* (+ (* 1.0 1.0) (* t (* 2e-16 (- (* t 2e-16) 1.0)))) (- 1.0 (* t 2e-16)))) (* (+ -1.0 (* t (* 2e-16 2.0))) (+ (* (+ 1.0 (* t 2e-16)) (* (- 1.0 (* t 2e-16)) (+ (pow 1.0 3) (pow (* t 2e-16) 3)))) (* (- -1.0 (* t (* 2e-16 2.0))) (* (+ (* 1.0 1.0) (* t (* 2e-16 (- (* t 2e-16) 1.0)))) (- 1.0 (* t 2e-16)))))) (* (+ (* 1.0 1.0) (* t (* 2e-16 (- (* t 2e-16) 1.0)))) (* (+ -1.0 (* t (* 2e-16 2.0))) (- 1.0 (* t 2e-16)))) (+ (* (+ 1.0 (* t 2e-16)) (* (- 1.0 (* t 2e-16)) (* (+ 1.0 (* t 2e-16)) (* (+ (* -1.0 -1.0) (* (* t 2e-16) (* 2.0 (+ -1.0 (* t (* 2e-16 2.0)))))) (- 1.0 (* t 2e-16)))))) (* (- (pow -1.0 3) (pow (* t (* 2e-16 2.0)) 3)) (* (- 1.0 (* t 2e-16)) (- 1.0 (* t 2e-16))))) (* (+ (* -1.0 -1.0) (* (* t 2e-16) (* 2.0 (+ -1.0 (* t (* 2e-16 2.0)))))) (* (- 1.0 (* t 2e-16)) (- 1.0 (* t 2e-16)))) (* (+ -1.0 (* t (* 2e-16 2.0))) (+ (* (+ 1.0 (* t 2e-16)) (* (- 1.0 (* t 2e-16)) (- (* 1.0 1.0) (* t (* 2e-16 (* t 2e-16)))))) (* (- -1.0 (* t (* 2e-16 2.0))) (* (- 1.0 (* t 2e-16)) (- 1.0 (* t 2e-16)))))) (* (+ -1.0 (* t (* 2e-16 2.0))) (* (- 1.0 (* t 2e-16)) (- 1.0 (* t 2e-16)))) (+ (* (+ 1.0 (* t 2e-16)) (* (+ (pow 1.0 3) (pow (* t 2e-16) 3)) (+ (* -1.0 -1.0) (* (* t 2e-16) (* 2.0 (+ -1.0 (* t (* 2e-16 2.0)))))))) (* (+ (* 1.0 1.0) (* t (* 2e-16 (- (* t 2e-16) 1.0)))) (- (pow -1.0 3) (pow (* t (* 2e-16 2.0)) 3)))) (* (+ (* -1.0 -1.0) (* (* t 2e-16) (* 2.0 (+ -1.0 (* t (* 2e-16 2.0)))))) (+ (* 1.0 1.0) (* t (* 2e-16 (- (* t 2e-16) 1.0))))) (* (+ -1.0 (* t (* 2e-16 2.0))) (+ (* (+ 1.0 (* t 2e-16)) (+ (pow 1.0 3) (pow (* t 2e-16) 3))) (* (- -1.0 (* t (* 2e-16 2.0))) (+ (* 1.0 1.0) (* t (* 2e-16 (- (* t 2e-16) 1.0))))))) (* (+ (* 1.0 1.0) (* t (* 2e-16 (- (* t 2e-16) 1.0)))) (+ -1.0 (* t (* 2e-16 2.0)))) (+ (* (+ 1.0 (* t 2e-16)) (* (+ 1.0 (* t 2e-16)) (* (+ (* -1.0 -1.0) (* (* t 2e-16) (* 2.0 (+ -1.0 (* t (* 2e-16 2.0)))))) (- 1.0 (* t 2e-16))))) (* (- (pow -1.0 3) (pow (* t (* 2e-16 2.0)) 3)) (- 1.0 (* t 2e-16)))) (* (+ (* -1.0 -1.0) (* (* t 2e-16) (* 2.0 (+ -1.0 (* t (* 2e-16 2.0)))))) (- 1.0 (* t 2e-16))) (* (+ -1.0 (* t (* 2e-16 2.0))) (+ (* (+ 1.0 (* t 2e-16)) (- (* 1.0 1.0) (* t (* 2e-16 (* t 2e-16))))) (* (- -1.0 (* t (* 2e-16 2.0))) (- 1.0 (* t 2e-16))))) (* (+ -1.0 (* t (* 2e-16 2.0))) (- 1.0 (* t 2e-16))) (+ (* (+ 1.0 (* t 2e-16)) (* (+ (pow 1.0 3) (pow (* t 2e-16) 3)) (+ (* -1.0 -1.0) (* (* t 2e-16) (* 2.0 (+ -1.0 (* t (* 2e-16 2.0)))))))) (* (+ (* 1.0 1.0) (* t (* 2e-16 (- (* t 2e-16) 1.0)))) (- (pow -1.0 3) (pow (* t (* 2e-16 2.0)) 3)))) (* (+ (* -1.0 -1.0) (* (* t 2e-16) (* 2.0 (+ -1.0 (* t (* 2e-16 2.0)))))) (+ (* 1.0 1.0) (* t (* 2e-16 (- (* t 2e-16) 1.0))))) (* (+ -1.0 (* t (* 2e-16 2.0))) (+ (* (+ 1.0 (* t 2e-16)) (+ (pow 1.0 3) (pow (* t 2e-16) 3))) (* (- -1.0 (* t (* 2e-16 2.0))) (+ (* 1.0 1.0) (* t (* 2e-16 (- (* t 2e-16) 1.0))))))) (* (+ (* 1.0 1.0) (* t (* 2e-16 (- (* t 2e-16) 1.0)))) (+ -1.0 (* t (* 2e-16 2.0)))) (+ (* (+ 1.0 (* t 2e-16)) (* (+ 1.0 (* t 2e-16)) (* (+ (* -1.0 -1.0) (* (* t 2e-16) (* 2.0 (+ -1.0 (* t (* 2e-16 2.0)))))) (- 1.0 (* t 2e-16))))) (* (- (pow -1.0 3) (pow (* t (* 2e-16 2.0)) 3)) (- 1.0 (* t 2e-16)))) (* (+ (* -1.0 -1.0) (* (* t 2e-16) (* 2.0 (+ -1.0 (* t (* 2e-16 2.0)))))) (- 1.0 (* t 2e-16))) (* (+ -1.0 (* t (* 2e-16 2.0))) (+ (* (+ 1.0 (* t 2e-16)) (- (* 1.0 1.0) (* t (* 2e-16 (* t 2e-16))))) (* (- -1.0 (* t (* 2e-16 2.0))) (- 1.0 (* t 2e-16))))) (* (+ -1.0 (* t (* 2e-16 2.0))) (- 1.0 (* t 2e-16))) (+ (pow (+ 1.0 (* t 2e-16)) 6) (pow (- -1.0 (* t (* 2e-16 2.0))) 3)) (+ (pow (+ 1.0 (* t 2e-16)) 4) (* (- -1.0 (* t (* 2e-16 2.0))) (- -1.0 (+ (* t (* 2e-16 2.0)) (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))))))) (+ (pow (+ 1.0 (* t 2e-16)) 4) (* (- -1.0 (* t (* 2e-16 2.0))) (- (* t (* 2e-16 2.0)) -1.0))) (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- (* t (* 2e-16 2.0)) -1.0)) (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) -1.0) (- -1.0 (* (* t 2e-16) (- 2.0 (+ 1.0 (* t 2e-16))))) (- -1.0 (* (* t 2e-16) (- 2.0 (+ 1.0 (* t 2e-16))))) (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) -1.0) (* t (* t 3.9999999999999997e-32)) (* t (* t 3.9999999999999997e-32)) (* t (* t 3.9999999999999997e-32)) 0.345 * * * [progress]: adding candidates to table 0.417 * * [progress]: iteration 2 / 4 0.417 * * * [progress]: picking best candidate 0.418 * * * * [pick]: Picked # 0.418 * * * [progress]: localizing error 0.421 * * * [progress]: generating rewritten candidates 0.421 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.426 * * * [progress]: generating series expansions 0.426 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.426 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 0.426 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 0.426 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.426 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.426 * [taylor]: Taking taylor expansion of t in t 0.426 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 0.426 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.426 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.426 * [taylor]: Taking taylor expansion of t in t 0.427 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 0.427 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 0.427 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.427 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.427 * [taylor]: Taking taylor expansion of t in t 0.427 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 0.427 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.427 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.427 * [taylor]: Taking taylor expansion of t in t 0.428 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 0.428 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 0.428 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.428 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.428 * [taylor]: Taking taylor expansion of t in t 0.428 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 0.428 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.428 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.428 * [taylor]: Taking taylor expansion of t in t 0.429 * * * [progress]: simplifying candidates 0.429 * [simplify]: Simplifying using # : (* t (* t 3.9999999999999997e-32)) (* t (* t 3.9999999999999997e-32)) (+ (log t) (+ (log t) (log 3.9999999999999997e-32))) (+ (log t) (log (* t 3.9999999999999997e-32))) (log (* t (* t 3.9999999999999997e-32))) (exp (* t (* t 3.9999999999999997e-32))) (* (* (* t t) t) (* (* (* t t) t) (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32))) (* (* (* t t) t) (* (* (* t 3.9999999999999997e-32) (* t 3.9999999999999997e-32)) (* t 3.9999999999999997e-32))) (* (cbrt (* t (* t 3.9999999999999997e-32))) (cbrt (* t (* t 3.9999999999999997e-32)))) (cbrt (* t (* t 3.9999999999999997e-32))) (* (* (* t (* t 3.9999999999999997e-32)) (* t (* t 3.9999999999999997e-32))) (* t (* t 3.9999999999999997e-32))) (sqrt (* t (* t 3.9999999999999997e-32))) (sqrt (* t (* t 3.9999999999999997e-32))) (* t t) (* (cbrt t) (* t 3.9999999999999997e-32)) (* (sqrt t) (* t 3.9999999999999997e-32)) (* t (* t 3.9999999999999997e-32)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) 0.477 * * [simplify]: iteration 0 : 5077 enodes (cost 120 ) 0.479 * [simplify]: Simplified to: (* t (* t 3.9999999999999997e-32)) (* t (* t 3.9999999999999997e-32)) (log (* t (* t 3.9999999999999997e-32))) (log (* t (* t 3.9999999999999997e-32))) (log (* t (* t 3.9999999999999997e-32))) (pow (exp t) (* t 3.9999999999999997e-32)) (* (pow 3.9999999999999997e-32 3) (pow t 6)) (* (pow 3.9999999999999997e-32 3) (pow t 6)) (* (cbrt (* t (* t 3.9999999999999997e-32))) (cbrt (* t (* t 3.9999999999999997e-32)))) (cbrt (* t (* t 3.9999999999999997e-32))) (* (pow 3.9999999999999997e-32 3) (pow t 6)) (sqrt (* t (* t 3.9999999999999997e-32))) (sqrt (* t (* t 3.9999999999999997e-32))) (* t t) (* t (* 3.9999999999999997e-32 (cbrt t))) (* 3.9999999999999997e-32 (pow t 3/2)) (* t (* t 3.9999999999999997e-32)) (* t (* t 3.9999999999999997e-32)) (* t (* t 3.9999999999999997e-32)) (* t (* t 3.9999999999999997e-32)) 0.479 * * * [progress]: adding candidates to table 0.496 * * [progress]: iteration 3 / 4 0.496 * * * [progress]: picking best candidate 0.506 * * * * [pick]: Picked # 0.506 * * * [progress]: localizing error 0.508 * * * [progress]: generating rewritten candidates 0.508 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.514 * * * [progress]: generating series expansions 0.514 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.514 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 0.514 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 0.514 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.514 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.514 * [taylor]: Taking taylor expansion of t in t 0.514 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 0.514 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.514 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.514 * [taylor]: Taking taylor expansion of t in t 0.515 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 0.515 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 0.515 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.515 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.515 * [taylor]: Taking taylor expansion of t in t 0.515 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 0.515 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.515 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.515 * [taylor]: Taking taylor expansion of t in t 0.518 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 0.518 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 0.518 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.518 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.518 * [taylor]: Taking taylor expansion of t in t 0.518 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 0.518 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.518 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.518 * [taylor]: Taking taylor expansion of t in t 0.519 * * * [progress]: simplifying candidates 0.519 * [simplify]: Simplifying using # : (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32) (+ (+ (log t) (log t)) (log 3.9999999999999997e-32)) (+ (log (* t t)) (log 3.9999999999999997e-32)) (log (* (* t t) 3.9999999999999997e-32)) (exp (* (* t t) 3.9999999999999997e-32)) (* (* (* (* t t) t) (* (* t t) t)) (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32)) (* (* (* (* t t) (* t t)) (* t t)) (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32)) (* (cbrt (* (* t t) 3.9999999999999997e-32)) (cbrt (* (* t t) 3.9999999999999997e-32))) (cbrt (* (* t t) 3.9999999999999997e-32)) (* (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32)) (* (* t t) 3.9999999999999997e-32)) (sqrt (* (* t t) 3.9999999999999997e-32)) (sqrt (* (* t t) 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)) (* (* t t) (* (cbrt 3.9999999999999997e-32) (cbrt 3.9999999999999997e-32))) (* (* t t) (sqrt 3.9999999999999997e-32)) (* (* t t) 1) (* t 3.9999999999999997e-32) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) 0.560 * * [simplify]: iteration 0 : 5269 enodes (cost 130 ) 0.561 * [simplify]: Simplified to: (* t (* t 3.9999999999999997e-32)) (* t (* t 3.9999999999999997e-32)) (log (* t (* t 3.9999999999999997e-32))) (log (* t (* t 3.9999999999999997e-32))) (log (* t (* t 3.9999999999999997e-32))) (pow (pow (exp t) t) 3.9999999999999997e-32) (* (pow t 6) (pow 3.9999999999999997e-32 3)) (* (pow t 6) (pow 3.9999999999999997e-32 3)) (* (cbrt (* t (* t 3.9999999999999997e-32))) (cbrt (* t (* t 3.9999999999999997e-32)))) (cbrt (* t (* t 3.9999999999999997e-32))) (* (pow t 6) (pow 3.9999999999999997e-32 3)) (sqrt (* t (* t 3.9999999999999997e-32))) (sqrt (* t (* t 3.9999999999999997e-32))) (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)) (* t (* t (* (cbrt 3.9999999999999997e-32) (cbrt 3.9999999999999997e-32)))) (* t (* t (sqrt 3.9999999999999997e-32))) (* t t) (* t 3.9999999999999997e-32) (* t (* t 3.9999999999999997e-32)) (* t (* t 3.9999999999999997e-32)) (* t (* t 3.9999999999999997e-32)) 0.561 * * * [progress]: adding candidates to table 0.577 * * [progress]: iteration 4 / 4 0.578 * * * [progress]: picking best candidate 0.586 * * * * [pick]: Picked # 0.586 * * * [progress]: localizing error 0.594 * * * [progress]: generating rewritten candidates 0.594 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.601 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.607 * * * [progress]: generating series expansions 0.607 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.607 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 0.607 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 0.607 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.607 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.607 * [taylor]: Taking taylor expansion of t in t 0.607 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 0.607 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.607 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.607 * [taylor]: Taking taylor expansion of t in t 0.608 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 0.608 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 0.608 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.608 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.608 * [taylor]: Taking taylor expansion of t in t 0.608 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 0.608 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.608 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.608 * [taylor]: Taking taylor expansion of t in t 0.609 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (* (sqrt (/ (pow -1 3) (pow t 3))) (sqrt (/ -1 t)))) in (t) around 0 0.609 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (* (sqrt (/ (pow -1 3) (pow t 3))) (sqrt (/ -1 t)))) in t 0.609 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.609 * [taylor]: Taking taylor expansion of (* (sqrt (/ (pow -1 3) (pow t 3))) (sqrt (/ -1 t))) in t 0.609 * [taylor]: Taking taylor expansion of (sqrt (/ (pow -1 3) (pow t 3))) in t 0.609 * [taylor]: Taking taylor expansion of (/ (pow -1 3) (pow t 3)) in t 0.609 * [taylor]: Taking taylor expansion of (pow -1 3) in t 0.609 * [taylor]: Taking taylor expansion of -1 in t 0.609 * [taylor]: Taking taylor expansion of (pow t 3) in t 0.609 * [taylor]: Taking taylor expansion of t in t 0.610 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t 0.610 * [taylor]: Taking taylor expansion of (/ -1 t) in t 0.610 * [taylor]: Taking taylor expansion of -1 in t 0.610 * [taylor]: Taking taylor expansion of t in t 0.610 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (* (sqrt (/ (pow -1 3) (pow t 3))) (sqrt (/ -1 t)))) in t 0.610 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.610 * [taylor]: Taking taylor expansion of (* (sqrt (/ (pow -1 3) (pow t 3))) (sqrt (/ -1 t))) in t 0.610 * [taylor]: Taking taylor expansion of (sqrt (/ (pow -1 3) (pow t 3))) in t 0.610 * [taylor]: Taking taylor expansion of (/ (pow -1 3) (pow t 3)) in t 0.610 * [taylor]: Taking taylor expansion of (pow -1 3) in t 0.610 * [taylor]: Taking taylor expansion of -1 in t 0.610 * [taylor]: Taking taylor expansion of (pow t 3) in t 0.610 * [taylor]: Taking taylor expansion of t in t 0.610 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t 0.610 * [taylor]: Taking taylor expansion of (/ -1 t) in t 0.610 * [taylor]: Taking taylor expansion of -1 in t 0.610 * [taylor]: Taking taylor expansion of t in t 0.613 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.613 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (sqrt (pow t 3))) in (t) around 0 0.613 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (sqrt (pow t 3))) in t 0.613 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.613 * [taylor]: Taking taylor expansion of (sqrt (pow t 3)) in t 0.613 * [taylor]: Taking taylor expansion of (pow t 3) in t 0.613 * [taylor]: Taking taylor expansion of t in t 0.613 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (sqrt (pow t 3))) in t 0.613 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.613 * [taylor]: Taking taylor expansion of (sqrt (pow t 3)) in t 0.613 * [taylor]: Taking taylor expansion of (pow t 3) in t 0.613 * [taylor]: Taking taylor expansion of t in t 0.615 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (sqrt (/ 1 (pow t 3)))) in (t) around 0 0.615 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (sqrt (/ 1 (pow t 3)))) in t 0.615 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.615 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow t 3))) in t 0.615 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t 0.615 * [taylor]: Taking taylor expansion of (pow t 3) in t 0.615 * [taylor]: Taking taylor expansion of t in t 0.615 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (sqrt (/ 1 (pow t 3)))) in t 0.615 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.615 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow t 3))) in t 0.615 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t 0.615 * [taylor]: Taking taylor expansion of (pow t 3) in t 0.615 * [taylor]: Taking taylor expansion of t in t 0.616 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (sqrt (/ (pow -1 3) (pow t 3)))) in (t) around 0 0.616 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (sqrt (/ (pow -1 3) (pow t 3)))) in t 0.616 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.616 * [taylor]: Taking taylor expansion of (sqrt (/ (pow -1 3) (pow t 3))) in t 0.616 * [taylor]: Taking taylor expansion of (/ (pow -1 3) (pow t 3)) in t 0.616 * [taylor]: Taking taylor expansion of (pow -1 3) in t 0.616 * [taylor]: Taking taylor expansion of -1 in t 0.616 * [taylor]: Taking taylor expansion of (pow t 3) in t 0.616 * [taylor]: Taking taylor expansion of t in t 0.616 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (sqrt (/ (pow -1 3) (pow t 3)))) in t 0.616 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.616 * [taylor]: Taking taylor expansion of (sqrt (/ (pow -1 3) (pow t 3))) in t 0.616 * [taylor]: Taking taylor expansion of (/ (pow -1 3) (pow t 3)) in t 0.616 * [taylor]: Taking taylor expansion of (pow -1 3) in t 0.616 * [taylor]: Taking taylor expansion of -1 in t 0.616 * [taylor]: Taking taylor expansion of (pow t 3) in t 0.616 * [taylor]: Taking taylor expansion of t in t 0.617 * * * [progress]: simplifying candidates 0.618 * [simplify]: Simplifying using # : (* (sqrt t) (* 3.9999999999999997e-32 (pow t 3/2))) (+ (log (sqrt t)) (+ (log 3.9999999999999997e-32) (* (log t) 3/2))) (+ (log (sqrt t)) (+ (log 3.9999999999999997e-32) (* (log t) 3/2))) (+ (log (sqrt t)) (+ (log 3.9999999999999997e-32) (log (pow t 3/2)))) (+ (log (sqrt t)) (log (* 3.9999999999999997e-32 (pow t 3/2)))) (log (* (sqrt t) (* 3.9999999999999997e-32 (pow t 3/2)))) (exp (* (sqrt t) (* 3.9999999999999997e-32 (pow t 3/2)))) (* (* (* (sqrt t) (sqrt t)) (sqrt t)) (* (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32) (* (* (pow t 3/2) (pow t 3/2)) (pow t 3/2)))) (* (* (* (sqrt t) (sqrt t)) (sqrt t)) (* (* (* 3.9999999999999997e-32 (pow t 3/2)) (* 3.9999999999999997e-32 (pow t 3/2))) (* 3.9999999999999997e-32 (pow t 3/2)))) (* (cbrt (* (sqrt t) (* 3.9999999999999997e-32 (pow t 3/2)))) (cbrt (* (sqrt t) (* 3.9999999999999997e-32 (pow t 3/2))))) (cbrt (* (sqrt t) (* 3.9999999999999997e-32 (pow t 3/2)))) (* (* (* (sqrt t) (* 3.9999999999999997e-32 (pow t 3/2))) (* (sqrt t) (* 3.9999999999999997e-32 (pow t 3/2)))) (* (sqrt t) (* 3.9999999999999997e-32 (pow t 3/2)))) (sqrt (* (sqrt t) (* 3.9999999999999997e-32 (pow t 3/2)))) (sqrt (* (sqrt t) (* 3.9999999999999997e-32 (pow t 3/2)))) (* (sqrt t) 3.9999999999999997e-32) (* (cbrt (sqrt t)) (* 3.9999999999999997e-32 (pow t 3/2))) (* (sqrt (cbrt t)) (* 3.9999999999999997e-32 (pow t 3/2))) (* (sqrt (sqrt t)) (* 3.9999999999999997e-32 (pow t 3/2))) (* (sqrt t) (* 3.9999999999999997e-32 (pow t 3/2))) (* (sqrt (sqrt t)) (* 3.9999999999999997e-32 (pow t 3/2))) (* (sqrt t) (* 3.9999999999999997e-32 (pow t 3/2))) (+ (log 3.9999999999999997e-32) (* (log t) 3/2)) (+ (log 3.9999999999999997e-32) (* (log t) 3/2)) (+ (log 3.9999999999999997e-32) (log (pow t 3/2))) (log (* 3.9999999999999997e-32 (pow t 3/2))) (exp (* 3.9999999999999997e-32 (pow t 3/2))) (* (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32) (* (* (pow t 3/2) (pow t 3/2)) (pow t 3/2))) (* (cbrt (* 3.9999999999999997e-32 (pow t 3/2))) (cbrt (* 3.9999999999999997e-32 (pow t 3/2)))) (cbrt (* 3.9999999999999997e-32 (pow t 3/2))) (* (* (* 3.9999999999999997e-32 (pow t 3/2)) (* 3.9999999999999997e-32 (pow t 3/2))) (* 3.9999999999999997e-32 (pow t 3/2))) (sqrt (* 3.9999999999999997e-32 (pow t 3/2))) (sqrt (* 3.9999999999999997e-32 (pow t 3/2))) (* (sqrt 3.9999999999999997e-32) (pow (sqrt t) 3/2)) (* (sqrt 3.9999999999999997e-32) (pow (sqrt t) 3/2)) (* (sqrt 3.9999999999999997e-32) (sqrt (pow t 3/2))) (* (sqrt 3.9999999999999997e-32) (sqrt (pow t 3/2))) (* (sqrt 3.9999999999999997e-32) (pow t (/ 3/2 2))) (* (sqrt 3.9999999999999997e-32) (pow t (/ 3/2 2))) (* 3.9999999999999997e-32 (pow (* (cbrt t) (cbrt t)) 3/2)) (* 3.9999999999999997e-32 (pow (sqrt t) 3/2)) (* 3.9999999999999997e-32 (pow 1 3/2)) (* 3.9999999999999997e-32 (* (cbrt (pow t 3/2)) (cbrt (pow t 3/2)))) (* 3.9999999999999997e-32 (sqrt (pow t 3/2))) (* 3.9999999999999997e-32 1) (* 3.9999999999999997e-32 (pow t (/ 3/2 2))) (* (cbrt 3.9999999999999997e-32) (pow t 3/2)) (* (sqrt 3.9999999999999997e-32) (pow t 3/2)) (* 3.9999999999999997e-32 (pow t 3/2)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (- (* 7.999999999999999e-32 (pow NAN 4)) (+ (* 1.2e-31 (/ (pow NAN 6) t)) (* 3.9999999999999997e-32 (* t (pow NAN 2))))) (+ (* 3.9999999999999997e-32 (* (pow t 4) (pow NAN 5))) (+ (* 3.9999999999999997e-32 (* (pow t 2) NAN)) (* 3.9999999999999997e-32 (* (pow t 3) (pow NAN 3))))) (+ (* 3.9999999999999997e-32 (/ (pow NAN 5) t)) (+ (* 3.9999999999999997e-32 (* t NAN)) (* 3.9999999999999997e-32 (pow NAN 3)))) (- (* 3.9999999999999997e-32 (pow NAN 3)) (+ (* 3.9999999999999997e-32 (/ (pow NAN 5) t)) (* 3.9999999999999997e-32 (* t NAN)))) 0.663 * * [simplify]: iteration 0 : 4950 enodes (cost 388 ) 0.664 * * [simplify]: iteration 1 : 4950 enodes (cost 388 ) 0.666 * [simplify]: Simplified to: (* t (* t 3.9999999999999997e-32)) (log (* t (* t 3.9999999999999997e-32))) (log (* t (* t 3.9999999999999997e-32))) (log (* t (* t 3.9999999999999997e-32))) (log (* t (* t 3.9999999999999997e-32))) (log (* t (* t 3.9999999999999997e-32))) (pow (exp 3.9999999999999997e-32) (* t t)) (pow (* t (* t 3.9999999999999997e-32)) 3) (pow (* t (* t 3.9999999999999997e-32)) 3) (* (cbrt (* t (* t 3.9999999999999997e-32))) (cbrt (* t (* t 3.9999999999999997e-32)))) (cbrt (* t (* t 3.9999999999999997e-32))) (pow (* t (* t 3.9999999999999997e-32)) 3) (sqrt (* t (* t 3.9999999999999997e-32))) (sqrt (* t (* t 3.9999999999999997e-32))) (* (sqrt t) 3.9999999999999997e-32) (* 3.9999999999999997e-32 (* (pow t 3/2) (cbrt (sqrt t)))) (* 3.9999999999999997e-32 (* (pow t 3/2) (sqrt (cbrt t)))) (* 3.9999999999999997e-32 (* (pow t 3/2) (sqrt (sqrt t)))) (* t (* t 3.9999999999999997e-32)) (* 3.9999999999999997e-32 (* (pow t 3/2) (sqrt (sqrt t)))) (* t (* t 3.9999999999999997e-32)) (log (* 3.9999999999999997e-32 (pow t 3/2))) (log (* 3.9999999999999997e-32 (pow t 3/2))) (log (* 3.9999999999999997e-32 (pow t 3/2))) (log (* 3.9999999999999997e-32 (pow t 3/2))) (pow (exp 3.9999999999999997e-32) (pow t 3/2)) (* (pow 3.9999999999999997e-32 3) (pow t 9/2)) (* (cbrt (* 3.9999999999999997e-32 (pow t 3/2))) (cbrt (* 3.9999999999999997e-32 (pow t 3/2)))) (cbrt (* 3.9999999999999997e-32 (pow t 3/2))) (* (pow 3.9999999999999997e-32 3) (pow t 9/2)) (sqrt (* 3.9999999999999997e-32 (pow t 3/2))) (sqrt (* 3.9999999999999997e-32 (pow t 3/2))) (* (sqrt 3.9999999999999997e-32) (pow (sqrt t) 3/2)) (* (sqrt 3.9999999999999997e-32) (pow (sqrt t) 3/2)) (* (sqrt 3.9999999999999997e-32) (sqrt (pow t 3/2))) (* (sqrt 3.9999999999999997e-32) (sqrt (pow t 3/2))) (* (sqrt 3.9999999999999997e-32) (pow t 3/4)) (* (sqrt 3.9999999999999997e-32) (pow t 3/4)) (* 3.9999999999999997e-32 (pow (* (cbrt t) (cbrt t)) 3/2)) (* 3.9999999999999997e-32 (pow (sqrt t) 3/2)) 3.9999999999999997e-32 (* t 3.9999999999999997e-32) (* 3.9999999999999997e-32 (sqrt (pow t 3/2))) 3.9999999999999997e-32 (* 3.9999999999999997e-32 (pow t 3/4)) (* (pow t 3/2) (cbrt 3.9999999999999997e-32)) (* (pow t 3/2) (sqrt 3.9999999999999997e-32)) (* 3.9999999999999997e-32 (pow t 3/2)) (* t (* t 3.9999999999999997e-32)) (* t (* t 3.9999999999999997e-32)) (- (* 7.999999999999999e-32 (pow NAN 4)) (+ (* 1.2e-31 (/ (pow NAN 6) t)) (* t (* 3.9999999999999997e-32 (* NAN NAN))))) (* 3.9999999999999997e-32 (+ (* (pow t 4) (pow NAN 5)) (* (* t t) (+ NAN (* t (pow NAN 3)))))) (* 3.9999999999999997e-32 (+ (pow NAN 3) (+ (/ (pow NAN 5) t) (* t NAN)))) (* 3.9999999999999997e-32 (- (pow NAN 3) (+ (/ (pow NAN 5) t) (* t NAN)))) 0.666 * * * [progress]: adding candidates to table 0.724 * [progress]: [Phase 3 of 3] Extracting. 0.724 * * [regime]: Finding splitpoints for: (# # # # # # #) 0.725 * * * [regime-changes]: Trying 1 branch expressions: (t) 0.725 * * * * [regimes]: Trying to branch on t from (# # # # # # #) 0.761 * * * [regime]: Found split indices: #