5.508 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.020 * * * [progress]: [2/2] Setting up program. 0.022 * [progress]: [Phase 2 of 3] Improving. 0.022 * [simplify]: Simplifying using # : (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))) 0.024 * * [simplify]: iteration 0 : 27 enodes (cost 9 ) 0.026 * * [simplify]: iteration 1 : 85 enodes (cost 9 ) 0.028 * * [simplify]: iteration 2 : 251 enodes (cost 9 ) 0.033 * * [simplify]: iteration 3 : 663 enodes (cost 9 ) 0.045 * * [simplify]: iteration 4 : 1805 enodes (cost 9 ) 0.075 * * [simplify]: iteration 5 : 3909 enodes (cost 9 ) 0.147 * * [simplify]: iteration 6 : 5001 enodes (cost 9 ) 0.148 * [simplify]: Simplified to: (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))) 0.148 * * [progress]: iteration 1 / 4 0.148 * * * [progress]: picking best candidate 0.149 * * * * [pick]: Picked # 0.149 * * * [progress]: localizing error 0.156 * * * [progress]: generating rewritten candidates 0.156 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.167 * * * [progress]: generating series expansions 0.167 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.167 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 0.167 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 0.167 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.167 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.167 * [taylor]: Taking taylor expansion of t in t 0.167 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 0.167 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.167 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.168 * [taylor]: Taking taylor expansion of t in t 0.175 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in (t) around 0 0.176 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in t 0.176 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.176 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 0.176 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.176 * [taylor]: Taking taylor expansion of t in t 0.176 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in t 0.176 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.176 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 0.176 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.176 * [taylor]: Taking taylor expansion of t in t 0.187 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in (t) around 0 0.187 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in t 0.187 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.187 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 0.187 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.187 * [taylor]: Taking taylor expansion of t in t 0.188 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in t 0.188 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.188 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 0.188 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.188 * [taylor]: Taking taylor expansion of t in t 0.198 * * * [progress]: simplifying candidates 0.203 * [simplify]: Simplifying using # : (+ (* (* (+ (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)) (+ 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)))) (+ (* (* t 2e-16) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))) (+ (* 1.0 (+ 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.210 * * [simplify]: iteration 0 : 545 enodes (cost 866 ) 0.219 * * [simplify]: iteration 1 : 2618 enodes (cost 846 ) 0.266 * * [simplify]: iteration 2 : 5002 enodes (cost 846 ) 0.271 * [simplify]: Simplified to: (+ (* (* (+ (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)))) (* (* (+ (* (* 2.0 (* t 2e-16)) (+ (* 2.0 (* 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))) (+ (* (* (+ (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 (* 2.0 (* t 2e-16))) (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0))) (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0))) (+ (* (* (- (* 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)))) (* (* (+ (* (* 2.0 (* t 2e-16)) (+ (* 2.0 (* t 2e-16)) -1.0)) (* -1.0 -1.0)) (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0))) (- 1.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 (* 2.0 (* t 2e-16))) (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0))) (- 1.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)))) (* (* (+ (* (* 2.0 (* t 2e-16)) (+ (* 2.0 (* t 2e-16)) -1.0)) (* -1.0 -1.0)) (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0))) (- 1.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 (* 2.0 (* t 2e-16))) (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0))) (- 1.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)))) (* (+ (* (* 2.0 (* t 2e-16)) (+ (* 2.0 (* t 2e-16)) -1.0)) (* -1.0 -1.0)) (* (- 1.0 (* t 2e-16)) (- 1.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)))) (+ (* (* (+ (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)))) (* (+ (* (* 2.0 (* t 2e-16)) (+ (* 2.0 (* t 2e-16)) -1.0)) (* -1.0 -1.0)) (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0))) (+ (* (* (+ (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 (* 2.0 (* t 2e-16))) (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0))) (+ (* (* (- (* 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)))) (* (+ (* (* 2.0 (* t 2e-16)) (+ (* 2.0 (* t 2e-16)) -1.0)) (* -1.0 -1.0)) (- 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 (* 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)))) (* (+ (* (* 2.0 (* t 2e-16)) (+ (* 2.0 (* t 2e-16)) -1.0)) (* -1.0 -1.0)) (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0))) (+ (* (* (+ (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 (* 2.0 (* t 2e-16))) (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0))) (+ (* (* (- (* 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)))) (* (+ (* (* 2.0 (* t 2e-16)) (+ (* 2.0 (* t 2e-16)) -1.0)) (* -1.0 -1.0)) (- 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 (* 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 (* 2.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 (* 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)) (pow (+ 1.0 (* t 2e-16)) 3))) (- (* (+ 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)) (+ 1.0 (* 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))) (- -1.0 (* 2.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))) (- -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.271 * * * [progress]: adding candidates to table 0.345 * * [progress]: iteration 2 / 4 0.345 * * * [progress]: picking best candidate 0.346 * * * * [pick]: Picked # 0.346 * * * [progress]: localizing error 0.350 * * * [progress]: generating rewritten candidates 0.350 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.353 * * * [progress]: generating series expansions 0.353 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.353 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 0.353 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 0.353 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.353 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.353 * [taylor]: Taking taylor expansion of t in t 0.353 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 0.353 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.353 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.353 * [taylor]: Taking taylor expansion of t in t 0.361 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 0.361 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 0.361 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.361 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.361 * [taylor]: Taking taylor expansion of t in t 0.362 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 0.362 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.362 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.362 * [taylor]: Taking taylor expansion of t in t 0.369 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 0.369 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 0.369 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.369 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.369 * [taylor]: Taking taylor expansion of t in t 0.370 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 0.370 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.370 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.370 * [taylor]: Taking taylor expansion of t in t 0.377 * * * [progress]: simplifying candidates 0.377 * [simplify]: Simplifying using # : (* 3.9999999999999997e-32 t) (* 3.9999999999999997e-32 (pow t (/ 2 2))) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) 0.380 * * [simplify]: iteration 0 : 20 enodes (cost 8 ) 0.381 * * [simplify]: iteration 1 : 46 enodes (cost 8 ) 0.383 * * [simplify]: iteration 2 : 144 enodes (cost 8 ) 0.387 * * [simplify]: iteration 3 : 513 enodes (cost 8 ) 0.405 * * [simplify]: iteration 4 : 2434 enodes (cost 8 ) 0.492 * * [simplify]: iteration 5 : 5001 enodes (cost 8 ) 0.493 * [simplify]: Simplified to: (* t 3.9999999999999997e-32) (* t 3.9999999999999997e-32) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) 0.493 * * * [progress]: adding candidates to table 0.502 * * [progress]: iteration 3 / 4 0.502 * * * [progress]: picking best candidate 0.503 * * * * [pick]: Picked # 0.503 * * * [progress]: localizing error 0.509 * * * [progress]: generating rewritten candidates 0.509 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.513 * * * [progress]: generating series expansions 0.513 * * * * [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.522 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 0.522 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 0.522 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.522 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.522 * [taylor]: Taking taylor expansion of t in t 0.522 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 0.522 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.522 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.523 * [taylor]: Taking taylor expansion of t in t 0.530 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 0.530 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 0.530 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.530 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.530 * [taylor]: Taking taylor expansion of t in t 0.531 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 0.531 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.531 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.531 * [taylor]: Taking taylor expansion of t in t 0.538 * * * [progress]: simplifying candidates 0.538 * [simplify]: Simplifying using # : (* (* t 3.9999999999999997e-32) (pow t (/ (/ 2 2) 2))) (* 3.9999999999999997e-32 (pow t (/ 2 2))) (* t (pow t (/ 2 2))) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) 0.541 * * [simplify]: iteration 0 : 32 enodes (cost 11 ) 0.542 * * [simplify]: iteration 1 : 82 enodes (cost 11 ) 0.545 * * [simplify]: iteration 2 : 269 enodes (cost 10 ) 0.553 * * [simplify]: iteration 3 : 1157 enodes (cost 10 ) 0.610 * * [simplify]: iteration 4 : 5001 enodes (cost 10 ) 0.610 * [simplify]: Simplified to: (* 3.9999999999999997e-32 (pow t 3/2)) (* t 3.9999999999999997e-32) (pow t 2) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) 0.610 * * * [progress]: adding candidates to table 0.617 * * [progress]: iteration 4 / 4 0.617 * * * [progress]: picking best candidate 0.618 * * * * [pick]: Picked # 0.618 * * * [progress]: localizing error 0.633 * * * [progress]: generating rewritten candidates 0.633 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.637 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.641 * * * [progress]: generating series expansions 0.641 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.641 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 0.642 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 0.642 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.642 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.642 * [taylor]: Taking taylor expansion of t in t 0.642 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 0.642 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.642 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.642 * [taylor]: Taking taylor expansion of t in t 0.650 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 0.650 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 0.650 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.650 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.650 * [taylor]: Taking taylor expansion of t in t 0.651 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 0.651 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.651 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.651 * [taylor]: Taking taylor expansion of t in t 0.663 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (* (sqrt (/ (pow -1 3) (pow t 3))) (sqrt (/ -1 t)))) in (t) around 0 0.663 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (* (sqrt (/ (pow -1 3) (pow t 3))) (sqrt (/ -1 t)))) in t 0.663 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.663 * [taylor]: Taking taylor expansion of (* (sqrt (/ (pow -1 3) (pow t 3))) (sqrt (/ -1 t))) in t 0.663 * [taylor]: Taking taylor expansion of (sqrt (/ (pow -1 3) (pow t 3))) in t 0.663 * [taylor]: Taking taylor expansion of (/ (pow -1 3) (pow t 3)) in t 0.664 * [taylor]: Taking taylor expansion of (pow -1 3) in t 0.664 * [taylor]: Taking taylor expansion of -1 in t 0.664 * [taylor]: Taking taylor expansion of (pow t 3) in t 0.664 * [taylor]: Taking taylor expansion of t in t 0.666 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t 0.666 * [taylor]: Taking taylor expansion of (/ -1 t) in t 0.666 * [taylor]: Taking taylor expansion of -1 in t 0.666 * [taylor]: Taking taylor expansion of t in t 0.668 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (* (sqrt (/ (pow -1 3) (pow t 3))) (sqrt (/ -1 t)))) in t 0.668 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.668 * [taylor]: Taking taylor expansion of (* (sqrt (/ (pow -1 3) (pow t 3))) (sqrt (/ -1 t))) in t 0.668 * [taylor]: Taking taylor expansion of (sqrt (/ (pow -1 3) (pow t 3))) in t 0.668 * [taylor]: Taking taylor expansion of (/ (pow -1 3) (pow t 3)) in t 0.668 * [taylor]: Taking taylor expansion of (pow -1 3) in t 0.668 * [taylor]: Taking taylor expansion of -1 in t 0.668 * [taylor]: Taking taylor expansion of (pow t 3) in t 0.668 * [taylor]: Taking taylor expansion of t in t 0.670 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t 0.670 * [taylor]: Taking taylor expansion of (/ -1 t) in t 0.670 * [taylor]: Taking taylor expansion of -1 in t 0.670 * [taylor]: Taking taylor expansion of t in t 0.709 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.709 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (sqrt (pow t 3))) in (t) around 0 0.709 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (sqrt (pow t 3))) in t 0.709 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.709 * [taylor]: Taking taylor expansion of (sqrt (pow t 3)) in t 0.709 * [taylor]: Taking taylor expansion of (pow t 3) in t 0.709 * [taylor]: Taking taylor expansion of t in t 0.710 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (sqrt (pow t 3))) in t 0.711 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.711 * [taylor]: Taking taylor expansion of (sqrt (pow t 3)) in t 0.711 * [taylor]: Taking taylor expansion of (pow t 3) in t 0.711 * [taylor]: Taking taylor expansion of t in t 0.723 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (sqrt (/ 1 (pow t 3)))) in (t) around 0 0.724 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (sqrt (/ 1 (pow t 3)))) in t 0.724 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.724 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow t 3))) in t 0.724 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t 0.724 * [taylor]: Taking taylor expansion of (pow t 3) in t 0.724 * [taylor]: Taking taylor expansion of t in t 0.726 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (sqrt (/ 1 (pow t 3)))) in t 0.726 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.726 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow t 3))) in t 0.726 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t 0.726 * [taylor]: Taking taylor expansion of (pow t 3) in t 0.726 * [taylor]: Taking taylor expansion of t in t 0.745 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (sqrt (/ (pow -1 3) (pow t 3)))) in (t) around 0 0.745 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (sqrt (/ (pow -1 3) (pow t 3)))) in t 0.745 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.745 * [taylor]: Taking taylor expansion of (sqrt (/ (pow -1 3) (pow t 3))) in t 0.745 * [taylor]: Taking taylor expansion of (/ (pow -1 3) (pow t 3)) in t 0.745 * [taylor]: Taking taylor expansion of (pow -1 3) in t 0.745 * [taylor]: Taking taylor expansion of -1 in t 0.745 * [taylor]: Taking taylor expansion of (pow t 3) in t 0.745 * [taylor]: Taking taylor expansion of t in t 0.748 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (sqrt (/ (pow -1 3) (pow t 3)))) in t 0.748 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.748 * [taylor]: Taking taylor expansion of (sqrt (/ (pow -1 3) (pow t 3))) in t 0.748 * [taylor]: Taking taylor expansion of (/ (pow -1 3) (pow t 3)) in t 0.748 * [taylor]: Taking taylor expansion of (pow -1 3) in t 0.748 * [taylor]: Taking taylor expansion of -1 in t 0.748 * [taylor]: Taking taylor expansion of (pow t 3) in t 0.748 * [taylor]: Taking taylor expansion of t in t 0.764 * * * [progress]: simplifying candidates 0.764 * [simplify]: Simplifying using # : (* (* 3.9999999999999997e-32 (pow t 3/2)) (pow t (/ (/ (/ 2 2) 2) 2))) (* (pow t 3/2) (pow t (/ (/ 2 2) 2))) (* (pow t (/ 3/2 2)) (pow t (/ (/ 2 2) 2))) (* 3.9999999999999997e-32 (pow t (/ (/ 2 2) 2))) (* 3.9999999999999997e-32 (pow t (/ 3/2 2))) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (- (+ (* +nan.0 t) (- (+ (* +nan.0 (/ 1 t)) (- +nan.0))))) (- (+ (* +nan.0 (pow t 3)) (- (+ (* +nan.0 (pow t 2)) (- (* +nan.0 (pow t 4))))))) (- (+ (* +nan.0 t) (- (+ (* +nan.0 (/ 1 t)) (- +nan.0))))) (- (+ (* +nan.0 t) (- (+ (* +nan.0 (/ 1 t)) (- +nan.0))))) 0.767 * * [simplify]: iteration 0 : 105 enodes (cost 53 ) 0.770 * * [simplify]: iteration 1 : 358 enodes (cost 44 ) 0.778 * * [simplify]: iteration 2 : 1575 enodes (cost 37 ) 0.831 * * [simplify]: iteration 3 : 5002 enodes (cost 35 ) 0.831 * [simplify]: Simplified to: (* (* 3.9999999999999997e-32 (pow t 3/2)) (pow t 1/4)) (pow t 2) (* (pow t 3/4) (pow t 1/2)) (* 3.9999999999999997e-32 (pow t 1/2)) (* 3.9999999999999997e-32 (pow t 3/4)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (- (- (/ +nan.0 t) +nan.0) (* +nan.0 t)) (* +nan.0 (+ (- (pow t 3)) (- (pow t 2) (pow t 4)))) (- (- (/ +nan.0 t) +nan.0) (* +nan.0 t)) (- (- (/ +nan.0 t) +nan.0) (* +nan.0 t)) 0.832 * * * [progress]: adding candidates to table 0.852 * [progress]: [Phase 3 of 3] Extracting. 0.852 * * [regime]: Finding splitpoints for: (# # # # # #) 0.852 * * * [regime-changes]: Trying 1 branch expressions: (t) 0.852 * * * * [regimes]: Trying to branch on t from (# # # # # #) 0.874 * * * [regime]: Found split indices: #