18.066 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.046 * * * [progress]: [2/2] Setting up program. 0.047 * [progress]: [Phase 2 of 3] Improving. 0.048 * [simplify]: Simplifying: (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))) 0.048 * * [simplify]: Extracting # 0 : cost 0 0.048 * * [simplify]: Extracting # 1 : cost 0 0.048 * * [simplify]: Extracting # 2 : cost 0 0.048 * * [simplify]: Extracting # 3 : cost 0 0.048 * * [simplify]: Extracting # 4 : cost 0 0.048 * * [simplify]: Extracting # 5 : cost 0 0.048 * * [simplify]: Extracting # 6 : cost 0 0.048 * * [simplify]: iteration 0 : 11 enodes (cost 19 ) 0.050 * * [simplify]: Extracting # 0 : cost 0 0.050 * * [simplify]: Extracting # 1 : cost 0 0.050 * * [simplify]: Extracting # 2 : cost 0 0.050 * * [simplify]: iteration 1 : 27 enodes (cost 19 ) 0.058 * * [simplify]: Extracting # 0 : cost 0 0.058 * * [simplify]: Extracting # 1 : cost 0 0.058 * * [simplify]: Extracting # 2 : cost 0 0.058 * * [simplify]: iteration 2 : 84 enodes (cost 19 ) 0.085 * * [simplify]: Extracting # 0 : cost 0 0.085 * * [simplify]: Extracting # 1 : cost 0 0.085 * * [simplify]: Extracting # 2 : cost 0 0.086 * * [simplify]: iteration 3 : 245 enodes (cost 19 ) 0.214 * * [simplify]: Extracting # 0 : cost 0 0.214 * * [simplify]: Extracting # 1 : cost 0 0.215 * * [simplify]: Extracting # 2 : cost 0 0.215 * * [simplify]: Extracting # 3 : cost 0 0.216 * * [simplify]: Extracting # 4 : cost 0 0.216 * * [simplify]: iteration 4 : 625 enodes (cost 19 ) 0.807 * * [simplify]: Extracting # 0 : cost 0 0.810 * * [simplify]: Extracting # 1 : cost 0 0.812 * * [simplify]: Extracting # 2 : cost 0 0.814 * * [simplify]: Extracting # 3 : cost 0 0.816 * * [simplify]: Extracting # 4 : cost 0 0.818 * * [simplify]: iteration 5 : 1546 enodes (cost 19 ) 2.796 * * [simplify]: Extracting # 0 : cost 0 2.799 * * [simplify]: Extracting # 1 : cost 0 2.801 * * [simplify]: Extracting # 2 : cost 0 2.803 * * [simplify]: Extracting # 3 : cost 0 2.805 * * [simplify]: iteration 6 : 3017 enodes (cost 19 ) 6.320 * * [simplify]: Extracting # 0 : cost 0 6.325 * * [simplify]: Extracting # 1 : cost 0 6.334 * * [simplify]: Extracting # 2 : cost 0 6.337 * * [simplify]: Extracting # 3 : cost 0 6.343 * * [simplify]: Extracting # 4 : cost 0 6.349 * * [simplify]: iteration done: 5000 enodes (cost 19 ) 6.349 * [simplify]: Simplified to: (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))) 6.350 * * [progress]: iteration 1 / 4 6.350 * * * [progress]: picking best candidate 6.353 * * * * [pick]: Picked # 6.353 * * * [progress]: localizing error 6.369 * * * [progress]: generating rewritten candidates 6.369 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 6.410 * * * [progress]: generating series expansions 6.411 * * * * [progress]: [ 1 / 1 ] generating series at (2) 6.411 * [backup-simplify]: Simplify (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))) into (* 3.9999999999999997e-32 (pow t 2)) 6.411 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 6.411 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 6.411 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.411 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.411 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.411 * [taylor]: Taking taylor expansion of t in t 6.411 * [backup-simplify]: Simplify 0 into 0 6.411 * [backup-simplify]: Simplify 1 into 1 6.411 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 6.411 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.411 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.411 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.411 * [taylor]: Taking taylor expansion of t in t 6.412 * [backup-simplify]: Simplify 0 into 0 6.412 * [backup-simplify]: Simplify 1 into 1 6.412 * [backup-simplify]: Simplify (* 1 1) into 1 6.413 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 6.413 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.414 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.414 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 6.414 * [backup-simplify]: Simplify 0 into 0 6.415 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.416 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 6.416 * [backup-simplify]: Simplify 0 into 0 6.417 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.418 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.418 * [backup-simplify]: Simplify 0 into 0 6.419 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.420 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.420 * [backup-simplify]: Simplify 0 into 0 6.421 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.423 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.423 * [backup-simplify]: Simplify 0 into 0 6.425 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.426 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.426 * [backup-simplify]: Simplify 0 into 0 6.427 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 6.427 * [backup-simplify]: Simplify (+ (* (+ 1.0 (* (/ 1 t) 2e-16)) (+ 1.0 (* (/ 1 t) 2e-16))) (- -1.0 (* 2.0 (* (/ 1 t) 2e-16)))) into (* 3.9999999999999997e-32 (/ 1 (pow t 2))) 6.427 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in (t) around 0 6.428 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in t 6.428 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.428 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.428 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 6.428 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.428 * [taylor]: Taking taylor expansion of t in t 6.428 * [backup-simplify]: Simplify 0 into 0 6.428 * [backup-simplify]: Simplify 1 into 1 6.428 * [backup-simplify]: Simplify (* 1 1) into 1 6.429 * [backup-simplify]: Simplify (/ 1 1) into 1 6.429 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in t 6.429 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.429 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.429 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 6.429 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.429 * [taylor]: Taking taylor expansion of t in t 6.429 * [backup-simplify]: Simplify 0 into 0 6.429 * [backup-simplify]: Simplify 1 into 1 6.429 * [backup-simplify]: Simplify (* 1 1) into 1 6.430 * [backup-simplify]: Simplify (/ 1 1) into 1 6.430 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 6.430 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.431 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.432 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.432 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 6.432 * [backup-simplify]: Simplify 0 into 0 6.433 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.434 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.435 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 6.435 * [backup-simplify]: Simplify 0 into 0 6.446 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.448 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.449 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.449 * [backup-simplify]: Simplify 0 into 0 6.451 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.452 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.453 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.453 * [backup-simplify]: Simplify 0 into 0 6.454 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.455 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.457 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.457 * [backup-simplify]: Simplify 0 into 0 6.458 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.459 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.461 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.461 * [backup-simplify]: Simplify 0 into 0 6.462 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 6.462 * [backup-simplify]: Simplify (+ (* (+ 1.0 (* (/ 1 (- t)) 2e-16)) (+ 1.0 (* (/ 1 (- t)) 2e-16))) (- -1.0 (* 2.0 (* (/ 1 (- t)) 2e-16)))) into (* 3.9999999999999997e-32 (/ 1 (pow t 2))) 6.462 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in (t) around 0 6.462 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in t 6.462 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.462 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.462 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 6.462 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.462 * [taylor]: Taking taylor expansion of t in t 6.462 * [backup-simplify]: Simplify 0 into 0 6.463 * [backup-simplify]: Simplify 1 into 1 6.463 * [backup-simplify]: Simplify (* 1 1) into 1 6.463 * [backup-simplify]: Simplify (/ 1 1) into 1 6.463 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in t 6.463 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.463 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.463 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 6.463 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.463 * [taylor]: Taking taylor expansion of t in t 6.464 * [backup-simplify]: Simplify 0 into 0 6.464 * [backup-simplify]: Simplify 1 into 1 6.464 * [backup-simplify]: Simplify (* 1 1) into 1 6.464 * [backup-simplify]: Simplify (/ 1 1) into 1 6.465 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 6.465 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.466 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.466 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.467 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 6.467 * [backup-simplify]: Simplify 0 into 0 6.468 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.469 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.470 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 6.470 * [backup-simplify]: Simplify 0 into 0 6.471 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.472 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.474 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.474 * [backup-simplify]: Simplify 0 into 0 6.475 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.476 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.478 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.478 * [backup-simplify]: Simplify 0 into 0 6.479 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.480 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.482 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.482 * [backup-simplify]: Simplify 0 into 0 6.484 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.485 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.487 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.487 * [backup-simplify]: Simplify 0 into 0 6.487 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 6.487 * * * [progress]: simplifying candidates 6.489 * [simplify]: Simplifying: (* (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)) (+ 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)) 6.495 * * [simplify]: Extracting # 0 : cost 0 6.495 * * [simplify]: Extracting # 1 : cost 0 6.495 * * [simplify]: Extracting # 2 : cost 0 6.496 * * [simplify]: Extracting # 3 : cost 0 6.496 * * [simplify]: Extracting # 4 : cost 0 6.496 * * [simplify]: Extracting # 5 : cost 0 6.497 * * [simplify]: Extracting # 6 : cost 0 6.497 * * [simplify]: Extracting # 7 : cost 0 6.497 * * [simplify]: Extracting # 8 : cost 0 6.498 * * [simplify]: iteration 0 : 133 enodes (cost 2063 ) 6.581 * * [simplify]: Extracting # 0 : cost 0 6.583 * * [simplify]: Extracting # 1 : cost 0 6.584 * * [simplify]: Extracting # 2 : cost 0 6.585 * * [simplify]: Extracting # 3 : cost 0 6.586 * * [simplify]: Extracting # 4 : cost 0 6.588 * * [simplify]: iteration 1 : 578 enodes (cost 1860 ) 6.960 * * [simplify]: Extracting # 0 : cost 0 6.966 * * [simplify]: Extracting # 1 : cost 0 6.973 * * [simplify]: Extracting # 2 : cost 0 6.980 * * [simplify]: Extracting # 3 : cost 0 6.995 * * [simplify]: Extracting # 4 : cost 0 6.999 * * [simplify]: iteration 2 : 2836 enodes (cost 1796 ) 8.053 * * [simplify]: Extracting # 0 : cost 0 8.063 * * [simplify]: Extracting # 1 : cost 0 8.081 * * [simplify]: Extracting # 2 : cost 0 8.087 * * [simplify]: Extracting # 3 : cost 0 8.093 * * [simplify]: Extracting # 4 : cost 0 8.100 * * [simplify]: Extracting # 5 : cost 0 8.106 * * [simplify]: iteration done: 5000 enodes (cost 1788 ) 8.107 * [simplify]: Simplified to: (exp (+ (* (+ 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))))) (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))))) (pow (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))) 3) (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 (* 2.0 (* t 2e-16)) 3)) (* (+ (* 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) (* (* 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 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) (* (* 2.0 (* t 2e-16)) (+ -1.0 (* 2.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))) (+ (* 1.0 1.0) (* (* t 2e-16) (- (* t 2e-16) 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 (* 2.0 (* t 2e-16))) (* (+ (* 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))) (* (+ (pow 1.0 3) (pow (* t 2e-16) 3)) (+ (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (+ -1.0 (* 2.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)))))) (* (* (- 1.0 (* t 2e-16)) (+ (* 1.0 1.0) (* (* t 2e-16) (- (* t 2e-16) 1.0)))) (+ (* -1.0 -1.0) (* (* 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))) (* (- 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))) (* (- 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)) (+ -1.0 (* 2.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)))))) (* (* (- 1.0 (* t 2e-16)) (+ (* 1.0 1.0) (* (* t 2e-16) (- (* t 2e-16) 1.0)))) (+ (* -1.0 -1.0) (* (* 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))) (* (- 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))) (* (- 1.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 -1.0) (* (* 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 -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 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)) (+ -1.0 (* 2.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))))) (* (+ (* -1.0 -1.0) (* (* 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)) (+ (pow 1.0 3) (pow (* t 2e-16) 3))) (+ -1.0 (* 2.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))))) (* (+ (* 1.0 1.0) (* (* t 2e-16) (- (* t 2e-16) 1.0))) (+ -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) (* (* t 2e-16) (* t 2e-16))) (+ (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (+ -1.0 (* 2.0 (* t 2e-16)))))))) (* (+ (* -1.0 -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 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)))) (+ (* (* (+ 1.0 (* t 2e-16)) (+ (pow 1.0 3) (pow (* t 2e-16) 3))) (+ (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (+ -1.0 (* 2.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))))) (* (+ (* -1.0 -1.0) (* (* 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)) (+ (pow 1.0 3) (pow (* t 2e-16) 3))) (+ -1.0 (* 2.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))))) (* (+ (* 1.0 1.0) (* (* t 2e-16) (- (* t 2e-16) 1.0))) (+ -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) (* (* t 2e-16) (* t 2e-16))) (+ (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (+ -1.0 (* 2.0 (* t 2e-16)))))))) (* (+ (* -1.0 -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 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 (* 2.0 (* t 2e-16))) 3) (pow (+ 1.0 (* t 2e-16)) 6)) (+ (pow (+ 1.0 (* t 2e-16)) (+ 3 1)) (* (- -1.0 (* 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 (* t 2e-16)) (+ 3 1)) (* (- -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) (+ (* (* t 2e-16) (+ 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 (* 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)) 8.108 * * * [progress]: adding candidates to table 8.254 * * [progress]: iteration 2 / 4 8.254 * * * [progress]: picking best candidate 8.256 * * * * [pick]: Picked # 8.256 * * * [progress]: localizing error 8.260 * * * [progress]: generating rewritten candidates 8.260 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 8.274 * * * [progress]: generating series expansions 8.274 * * * * [progress]: [ 1 / 1 ] generating series at (2) 8.275 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 8.275 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 8.275 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 8.275 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 8.275 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 8.275 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.275 * [taylor]: Taking taylor expansion of t in t 8.275 * [backup-simplify]: Simplify 0 into 0 8.275 * [backup-simplify]: Simplify 1 into 1 8.275 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 8.275 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 8.275 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 8.275 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.275 * [taylor]: Taking taylor expansion of t in t 8.275 * [backup-simplify]: Simplify 0 into 0 8.275 * [backup-simplify]: Simplify 1 into 1 8.276 * [backup-simplify]: Simplify (* 1 1) into 1 8.276 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 8.276 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 8.277 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.278 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 8.278 * [backup-simplify]: Simplify 0 into 0 8.279 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.280 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 8.280 * [backup-simplify]: Simplify 0 into 0 8.281 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.282 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.282 * [backup-simplify]: Simplify 0 into 0 8.284 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.285 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.285 * [backup-simplify]: Simplify 0 into 0 8.286 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.288 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.288 * [backup-simplify]: Simplify 0 into 0 8.290 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.292 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.292 * [backup-simplify]: Simplify 0 into 0 8.292 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 8.292 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 t) 2)) into (/ 3.9999999999999997e-32 (pow t 2)) 8.292 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 8.292 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 8.293 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 8.293 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 8.293 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.293 * [taylor]: Taking taylor expansion of t in t 8.293 * [backup-simplify]: Simplify 0 into 0 8.293 * [backup-simplify]: Simplify 1 into 1 8.293 * [backup-simplify]: Simplify (* 1 1) into 1 8.294 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 8.294 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 8.294 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 8.294 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 8.294 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.294 * [taylor]: Taking taylor expansion of t in t 8.294 * [backup-simplify]: Simplify 0 into 0 8.294 * [backup-simplify]: Simplify 1 into 1 8.294 * [backup-simplify]: Simplify (* 1 1) into 1 8.295 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 8.295 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 8.296 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.297 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 8.297 * [backup-simplify]: Simplify 0 into 0 8.298 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.299 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.299 * [backup-simplify]: Simplify 0 into 0 8.300 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.301 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.301 * [backup-simplify]: Simplify 0 into 0 8.302 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.303 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.303 * [backup-simplify]: Simplify 0 into 0 8.305 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.306 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.306 * [backup-simplify]: Simplify 0 into 0 8.307 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.308 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.308 * [backup-simplify]: Simplify 0 into 0 8.309 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 8.309 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (- t)) 2)) into (/ 3.9999999999999997e-32 (pow t 2)) 8.309 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 8.309 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 8.309 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 8.309 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 8.309 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.309 * [taylor]: Taking taylor expansion of t in t 8.309 * [backup-simplify]: Simplify 0 into 0 8.309 * [backup-simplify]: Simplify 1 into 1 8.310 * [backup-simplify]: Simplify (* 1 1) into 1 8.310 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 8.310 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 8.310 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 8.310 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 8.310 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.310 * [taylor]: Taking taylor expansion of t in t 8.310 * [backup-simplify]: Simplify 0 into 0 8.310 * [backup-simplify]: Simplify 1 into 1 8.311 * [backup-simplify]: Simplify (* 1 1) into 1 8.312 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 8.312 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 8.313 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.314 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 8.314 * [backup-simplify]: Simplify 0 into 0 8.315 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.316 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.316 * [backup-simplify]: Simplify 0 into 0 8.317 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.318 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.318 * [backup-simplify]: Simplify 0 into 0 8.319 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.321 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.321 * [backup-simplify]: Simplify 0 into 0 8.322 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.323 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.323 * [backup-simplify]: Simplify 0 into 0 8.325 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.326 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.326 * [backup-simplify]: Simplify 0 into 0 8.326 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 8.326 * * * [progress]: simplifying candidates 8.327 * [simplify]: Simplifying: (+ (log 3.9999999999999997e-32) (* (log t) 2)) (+ (log 3.9999999999999997e-32) (* (log t) 2)) (+ (log 3.9999999999999997e-32) (log (pow t 2))) (log (* 3.9999999999999997e-32 (pow t 2))) (exp (* 3.9999999999999997e-32 (pow t 2))) (* (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32) (* (* (pow t 2) (pow t 2)) (pow t 2))) (* (cbrt (* 3.9999999999999997e-32 (pow t 2))) (cbrt (* 3.9999999999999997e-32 (pow t 2)))) (cbrt (* 3.9999999999999997e-32 (pow t 2))) (* (* (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2))) (* 3.9999999999999997e-32 (pow t 2))) (sqrt (* 3.9999999999999997e-32 (pow t 2))) (sqrt (* 3.9999999999999997e-32 (pow t 2))) (* (sqrt 3.9999999999999997e-32) (pow (sqrt t) 2)) (* (sqrt 3.9999999999999997e-32) (pow (sqrt t) 2)) (* (sqrt 3.9999999999999997e-32) t) (* (sqrt 3.9999999999999997e-32) t) (* (sqrt 3.9999999999999997e-32) (sqrt (pow t 2))) (* (sqrt 3.9999999999999997e-32) (sqrt (pow t 2))) (* (sqrt 3.9999999999999997e-32) (pow t (/ 2 2))) (* (sqrt 3.9999999999999997e-32) (pow t (/ 2 2))) (* 3.9999999999999997e-32 (pow (* (cbrt t) (cbrt t)) 2)) (* 3.9999999999999997e-32 (pow (sqrt t) 2)) (* 3.9999999999999997e-32 (pow 1 2)) (* 3.9999999999999997e-32 t) (* 3.9999999999999997e-32 (* (cbrt (pow t 2)) (cbrt (pow t 2)))) (* 3.9999999999999997e-32 (sqrt (pow t 2))) (* 3.9999999999999997e-32 1) (* 3.9999999999999997e-32 (pow t (/ 2 2))) (* (cbrt 3.9999999999999997e-32) (pow t 2)) (* (sqrt 3.9999999999999997e-32) (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) 8.328 * * [simplify]: Extracting # 0 : cost 0 8.328 * * [simplify]: Extracting # 1 : cost 0 8.329 * * [simplify]: Extracting # 2 : cost 0 8.329 * * [simplify]: Extracting # 3 : cost 0 8.329 * * [simplify]: Extracting # 4 : cost 0 8.329 * * [simplify]: Extracting # 5 : cost 0 8.329 * * [simplify]: iteration 0 : 51 enodes (cost 232 ) 8.362 * * [simplify]: Extracting # 0 : cost 0 8.362 * * [simplify]: Extracting # 1 : cost 0 8.363 * * [simplify]: Extracting # 2 : cost 0 8.363 * * [simplify]: Extracting # 3 : cost 0 8.363 * * [simplify]: Extracting # 4 : cost 0 8.363 * * [simplify]: iteration 1 : 107 enodes (cost 209 ) 8.415 * * [simplify]: Extracting # 0 : cost 0 8.415 * * [simplify]: Extracting # 1 : cost 0 8.415 * * [simplify]: Extracting # 2 : cost 0 8.415 * * [simplify]: Extracting # 3 : cost 0 8.416 * * [simplify]: Extracting # 4 : cost 0 8.416 * * [simplify]: iteration 2 : 233 enodes (cost 176 ) 8.512 * * [simplify]: Extracting # 0 : cost 0 8.513 * * [simplify]: Extracting # 1 : cost 0 8.514 * * [simplify]: Extracting # 2 : cost 0 8.515 * * [simplify]: Extracting # 3 : cost 0 8.515 * * [simplify]: Extracting # 4 : cost 0 8.516 * * [simplify]: iteration 3 : 678 enodes (cost 176 ) 10.028 * * [simplify]: Extracting # 0 : cost 0 10.037 * * [simplify]: Extracting # 1 : cost 0 10.044 * * [simplify]: Extracting # 2 : cost 0 10.050 * * [simplify]: Extracting # 3 : cost 0 10.056 * * [simplify]: Extracting # 4 : cost 0 10.062 * * [simplify]: iteration 4 : 3313 enodes (cost 173 ) 12.342 * * [simplify]: Extracting # 0 : cost 0 12.347 * * [simplify]: Extracting # 1 : cost 0 12.352 * * [simplify]: Extracting # 2 : cost 0 12.363 * * [simplify]: Extracting # 3 : cost 0 12.368 * * [simplify]: iteration done: 5001 enodes (cost 173 ) 12.368 * [simplify]: Simplified to: (log (* 3.9999999999999997e-32 (pow t 2))) (log (* 3.9999999999999997e-32 (pow t 2))) (log (* 3.9999999999999997e-32 (pow t 2))) (log (* 3.9999999999999997e-32 (pow t 2))) (exp (* 3.9999999999999997e-32 (pow t 2))) (pow (* 3.9999999999999997e-32 (pow t 2)) 3) (* (cbrt (* 3.9999999999999997e-32 (pow t 2))) (cbrt (* 3.9999999999999997e-32 (pow t 2)))) (cbrt (* 3.9999999999999997e-32 (pow t 2))) (pow (* 3.9999999999999997e-32 (pow t 2)) 3) (sqrt (* 3.9999999999999997e-32 (pow t 2))) (sqrt (* 3.9999999999999997e-32 (pow t 2))) (* (sqrt 3.9999999999999997e-32) t) (* (sqrt 3.9999999999999997e-32) t) (* (sqrt 3.9999999999999997e-32) t) (* (sqrt 3.9999999999999997e-32) t) (* (fabs t) (sqrt 3.9999999999999997e-32)) (* (fabs t) (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) t) (* (sqrt 3.9999999999999997e-32) t) (* (cbrt t) (* 3.9999999999999997e-32 t)) (* 3.9999999999999997e-32 t) 3.9999999999999997e-32 (* 3.9999999999999997e-32 t) (* 3.9999999999999997e-32 (* (cbrt (pow t 2)) (cbrt (pow t 2)))) (* 3.9999999999999997e-32 (fabs t)) 3.9999999999999997e-32 (* 3.9999999999999997e-32 t) (* (cbrt 3.9999999999999997e-32) (pow t 2)) (* (sqrt 3.9999999999999997e-32) (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) 12.368 * * * [progress]: adding candidates to table 12.421 * * [progress]: iteration 3 / 4 12.421 * * * [progress]: picking best candidate 12.436 * * * * [pick]: Picked # 12.437 * * * [progress]: localizing error 12.450 * * * [progress]: generating rewritten candidates 12.450 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 12.493 * * * [progress]: generating series expansions 12.493 * * * * [progress]: [ 1 / 1 ] generating series at (2) 12.494 * [backup-simplify]: Simplify (* (* 3.9999999999999997e-32 t) (pow t (/ 2 2))) into (* 3.9999999999999997e-32 (pow t 2)) 12.494 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 12.494 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 12.494 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 12.494 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 12.494 * [taylor]: Taking taylor expansion of (pow t 2) in t 12.494 * [taylor]: Taking taylor expansion of t in t 12.494 * [backup-simplify]: Simplify 0 into 0 12.494 * [backup-simplify]: Simplify 1 into 1 12.494 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 12.494 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 12.494 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 12.494 * [taylor]: Taking taylor expansion of (pow t 2) in t 12.494 * [taylor]: Taking taylor expansion of t in t 12.494 * [backup-simplify]: Simplify 0 into 0 12.494 * [backup-simplify]: Simplify 1 into 1 12.495 * [backup-simplify]: Simplify (* 1 1) into 1 12.495 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 12.495 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 12.495 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.496 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 12.496 * [backup-simplify]: Simplify 0 into 0 12.496 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.497 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 12.497 * [backup-simplify]: Simplify 0 into 0 12.497 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.498 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.498 * [backup-simplify]: Simplify 0 into 0 12.499 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.499 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.499 * [backup-simplify]: Simplify 0 into 0 12.500 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.501 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.501 * [backup-simplify]: Simplify 0 into 0 12.502 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.503 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.503 * [backup-simplify]: Simplify 0 into 0 12.503 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 12.503 * [backup-simplify]: Simplify (* (* 3.9999999999999997e-32 (/ 1 t)) (pow (/ 1 t) (/ 2 2))) into (/ 3.9999999999999997e-32 (pow t 2)) 12.503 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 12.503 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 12.503 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 12.503 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 12.503 * [taylor]: Taking taylor expansion of (pow t 2) in t 12.503 * [taylor]: Taking taylor expansion of t in t 12.503 * [backup-simplify]: Simplify 0 into 0 12.503 * [backup-simplify]: Simplify 1 into 1 12.504 * [backup-simplify]: Simplify (* 1 1) into 1 12.504 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 12.504 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 12.504 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 12.504 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 12.504 * [taylor]: Taking taylor expansion of (pow t 2) in t 12.504 * [taylor]: Taking taylor expansion of t in t 12.504 * [backup-simplify]: Simplify 0 into 0 12.504 * [backup-simplify]: Simplify 1 into 1 12.504 * [backup-simplify]: Simplify (* 1 1) into 1 12.505 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 12.505 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 12.505 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.506 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 12.506 * [backup-simplify]: Simplify 0 into 0 12.506 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.507 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.507 * [backup-simplify]: Simplify 0 into 0 12.508 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.508 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.508 * [backup-simplify]: Simplify 0 into 0 12.509 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.510 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.510 * [backup-simplify]: Simplify 0 into 0 12.511 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.512 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.512 * [backup-simplify]: Simplify 0 into 0 12.514 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.515 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.515 * [backup-simplify]: Simplify 0 into 0 12.515 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 12.516 * [backup-simplify]: Simplify (* (* 3.9999999999999997e-32 (/ 1 (- t))) (pow (/ 1 (- t)) (/ 2 2))) into (/ 3.9999999999999997e-32 (pow t 2)) 12.516 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 12.516 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 12.516 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 12.516 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 12.516 * [taylor]: Taking taylor expansion of (pow t 2) in t 12.516 * [taylor]: Taking taylor expansion of t in t 12.516 * [backup-simplify]: Simplify 0 into 0 12.516 * [backup-simplify]: Simplify 1 into 1 12.517 * [backup-simplify]: Simplify (* 1 1) into 1 12.517 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 12.517 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 12.517 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 12.517 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 12.517 * [taylor]: Taking taylor expansion of (pow t 2) in t 12.517 * [taylor]: Taking taylor expansion of t in t 12.517 * [backup-simplify]: Simplify 0 into 0 12.517 * [backup-simplify]: Simplify 1 into 1 12.518 * [backup-simplify]: Simplify (* 1 1) into 1 12.518 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 12.518 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 12.519 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.520 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 12.520 * [backup-simplify]: Simplify 0 into 0 12.521 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.522 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.522 * [backup-simplify]: Simplify 0 into 0 12.523 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.524 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.524 * [backup-simplify]: Simplify 0 into 0 12.525 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.526 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.526 * [backup-simplify]: Simplify 0 into 0 12.528 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.529 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.529 * [backup-simplify]: Simplify 0 into 0 12.530 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.531 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.531 * [backup-simplify]: Simplify 0 into 0 12.532 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 12.532 * * * [progress]: simplifying candidates 12.533 * [simplify]: Simplifying: (+ (+ (log 3.9999999999999997e-32) (log t)) (* (log t) (/ 2 2))) (+ (+ (log 3.9999999999999997e-32) (log t)) (* (log t) (/ 2 2))) (+ (+ (log 3.9999999999999997e-32) (log t)) (log (pow t (/ 2 2)))) (+ (log (* 3.9999999999999997e-32 t)) (* (log t) (/ 2 2))) (+ (log (* 3.9999999999999997e-32 t)) (* (log t) (/ 2 2))) (+ (log (* 3.9999999999999997e-32 t)) (log (pow t (/ 2 2)))) (log (* (* 3.9999999999999997e-32 t) (pow t (/ 2 2)))) (exp (* (* 3.9999999999999997e-32 t) (pow t (/ 2 2)))) (* (* (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32) (* (* t t) t)) (* (* (pow t (/ 2 2)) (pow t (/ 2 2))) (pow t (/ 2 2)))) (* (* (* (* 3.9999999999999997e-32 t) (* 3.9999999999999997e-32 t)) (* 3.9999999999999997e-32 t)) (* (* (pow t (/ 2 2)) (pow t (/ 2 2))) (pow t (/ 2 2)))) (* (cbrt (* (* 3.9999999999999997e-32 t) (pow t (/ 2 2)))) (cbrt (* (* 3.9999999999999997e-32 t) (pow t (/ 2 2))))) (cbrt (* (* 3.9999999999999997e-32 t) (pow t (/ 2 2)))) (* (* (* (* 3.9999999999999997e-32 t) (pow t (/ 2 2))) (* (* 3.9999999999999997e-32 t) (pow t (/ 2 2)))) (* (* 3.9999999999999997e-32 t) (pow t (/ 2 2)))) (sqrt (* (* 3.9999999999999997e-32 t) (pow t (/ 2 2)))) (sqrt (* (* 3.9999999999999997e-32 t) (pow t (/ 2 2)))) (* (* 3.9999999999999997e-32 t) (pow (* (cbrt t) (cbrt t)) (/ 2 2))) (* (* 3.9999999999999997e-32 t) (pow (sqrt t) (/ 2 2))) (* (* 3.9999999999999997e-32 t) (pow 1 (/ 2 2))) (* (* 3.9999999999999997e-32 t) (* (cbrt (pow t (/ 2 2))) (cbrt (pow t (/ 2 2))))) (* (* 3.9999999999999997e-32 t) (sqrt (pow t (/ 2 2)))) (* (* 3.9999999999999997e-32 t) 1) (* (* 3.9999999999999997e-32 t) (pow t (/ (/ 2 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)) 12.534 * * [simplify]: Extracting # 0 : cost 0 12.534 * * [simplify]: Extracting # 1 : cost 0 12.534 * * [simplify]: Extracting # 2 : cost 0 12.534 * * [simplify]: Extracting # 3 : cost 0 12.534 * * [simplify]: Extracting # 4 : cost 0 12.535 * * [simplify]: Extracting # 5 : cost 0 12.535 * * [simplify]: Extracting # 6 : cost 0 12.535 * * [simplify]: iteration 0 : 57 enodes (cost 324 ) 12.571 * * [simplify]: Extracting # 0 : cost 0 12.571 * * [simplify]: Extracting # 1 : cost 0 12.571 * * [simplify]: Extracting # 2 : cost 0 12.572 * * [simplify]: Extracting # 3 : cost 0 12.572 * * [simplify]: Extracting # 4 : cost 0 12.572 * * [simplify]: iteration 1 : 147 enodes (cost 235 ) 12.691 * * [simplify]: Extracting # 0 : cost 0 12.692 * * [simplify]: Extracting # 1 : cost 0 12.692 * * [simplify]: Extracting # 2 : cost 0 12.693 * * [simplify]: Extracting # 3 : cost 0 12.693 * * [simplify]: Extracting # 4 : cost 0 12.693 * * [simplify]: iteration 2 : 436 enodes (cost 160 ) 13.191 * * [simplify]: Extracting # 0 : cost 0 13.193 * * [simplify]: Extracting # 1 : cost 0 13.194 * * [simplify]: Extracting # 2 : cost 0 13.195 * * [simplify]: Extracting # 3 : cost 0 13.197 * * [simplify]: Extracting # 4 : cost 0 13.198 * * [simplify]: iteration 3 : 1416 enodes (cost 157 ) 15.191 * * [simplify]: Extracting # 0 : cost 0 15.208 * * [simplify]: Extracting # 1 : cost 0 15.213 * * [simplify]: Extracting # 2 : cost 0 15.218 * * [simplify]: Extracting # 3 : cost 0 15.223 * * [simplify]: Extracting # 4 : cost 0 15.228 * * [simplify]: iteration done: 5001 enodes (cost 157 ) 15.229 * [simplify]: Simplified to: (log (* t (* 3.9999999999999997e-32 t))) (log (* t (* 3.9999999999999997e-32 t))) (log (* t (* 3.9999999999999997e-32 t))) (log (* t (* 3.9999999999999997e-32 t))) (log (* t (* 3.9999999999999997e-32 t))) (log (* t (* 3.9999999999999997e-32 t))) (log (* t (* 3.9999999999999997e-32 t))) (pow (exp (* 3.9999999999999997e-32 t)) t) (pow (* (pow t 2) 3.9999999999999997e-32) 3) (pow (* (pow t 2) 3.9999999999999997e-32) 3) (* (cbrt (* t (* 3.9999999999999997e-32 t))) (cbrt (* t (* 3.9999999999999997e-32 t)))) (cbrt (* t (* 3.9999999999999997e-32 t))) (pow (* (pow t 2) 3.9999999999999997e-32) 3) (sqrt (* t (* 3.9999999999999997e-32 t))) (sqrt (* t (* 3.9999999999999997e-32 t))) (* (* (cbrt t) (cbrt t)) (* 3.9999999999999997e-32 t)) (* 3.9999999999999997e-32 (pow t 3/2)) (* 3.9999999999999997e-32 t) (* (* (cbrt t) (cbrt t)) (* 3.9999999999999997e-32 t)) (* 3.9999999999999997e-32 (pow t 3/2)) (* 3.9999999999999997e-32 t) (* 3.9999999999999997e-32 (pow t 3/2)) (pow t 2) (* (pow t 2) 3.9999999999999997e-32) (* (pow t 2) 3.9999999999999997e-32) (* (pow t 2) 3.9999999999999997e-32) 15.229 * * * [progress]: adding candidates to table 15.267 * * [progress]: iteration 4 / 4 15.267 * * * [progress]: picking best candidate 15.274 * * * * [pick]: Picked # 15.274 * * * [progress]: localizing error 15.280 * * * [progress]: generating rewritten candidates 15.281 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 15.340 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 15.364 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 15.388 * * * [progress]: generating series expansions 15.388 * * * * [progress]: [ 1 / 3 ] generating series at (2) 15.390 * [backup-simplify]: Simplify (* (* (fabs t) (sqrt 3.9999999999999997e-32)) (* (fabs t) (sqrt 3.9999999999999997e-32))) into (* (pow (fabs t) 2) (pow (sqrt 3.9999999999999997e-32) 2)) 15.390 * [approximate]: Taking taylor expansion of (* (pow (fabs t) 2) (pow (sqrt 3.9999999999999997e-32) 2)) in (t) around 0 15.390 * [taylor]: Taking taylor expansion of (* (pow (fabs t) 2) (pow (sqrt 3.9999999999999997e-32) 2)) in t 15.390 * [taylor]: Taking taylor expansion of (pow (fabs t) 2) in t 15.390 * [taylor]: Taking taylor expansion of (fabs t) in t 15.392 * [backup-simplify]: Simplify (fabs t) into (fabs t) 15.392 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t 15.393 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 15.393 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 15.393 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 15.394 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 15.395 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.395 * [taylor]: Taking taylor expansion of (* (pow (fabs t) 2) (pow (sqrt 3.9999999999999997e-32) 2)) in t 15.395 * [taylor]: Taking taylor expansion of (pow (fabs t) 2) in t 15.395 * [taylor]: Taking taylor expansion of (fabs t) in t 15.395 * [backup-simplify]: Simplify (fabs t) into (fabs t) 15.395 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t 15.395 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 15.395 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 15.395 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 15.396 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 15.397 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.397 * [backup-simplify]: Simplify (* (fabs t) (fabs t)) into (pow (fabs t) 2) 15.399 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2) 15.401 * [backup-simplify]: Simplify (* (pow (fabs t) 2) (pow (sqrt 3.9999999999999997e-32) 2)) into (* (pow (fabs t) 2) (pow (sqrt 3.9999999999999997e-32) 2)) 15.402 * [backup-simplify]: Simplify (* (pow (fabs t) 2) (pow (sqrt 3.9999999999999997e-32) 2)) into (* (pow (fabs t) 2) (pow (sqrt 3.9999999999999997e-32) 2)) 15.403 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0 15.403 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (* 0 (fabs t))) into 0 15.404 * [backup-simplify]: Simplify (+ (* (pow (fabs t) 2) 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2))) into 0 15.405 * [backup-simplify]: Simplify 0 into 0 15.406 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.407 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0 15.408 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 0) (* 0 (fabs t)))) into 0 15.409 * [backup-simplify]: Simplify (+ (* (pow (fabs t) 2) 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2)))) into 0 15.409 * [backup-simplify]: Simplify 0 into 0 15.410 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.412 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0 15.413 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs t))))) into 0 15.414 * [backup-simplify]: Simplify (+ (* (pow (fabs t) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2))))) into 0 15.414 * [backup-simplify]: Simplify 0 into 0 15.415 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.417 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0 15.418 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs t)))))) into 0 15.420 * [backup-simplify]: Simplify (+ (* (pow (fabs t) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2)))))) into 0 15.420 * [backup-simplify]: Simplify 0 into 0 15.422 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.423 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0 15.425 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs t))))))) into 0 15.427 * [backup-simplify]: Simplify (+ (* (pow (fabs t) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2))))))) into 0 15.427 * [backup-simplify]: Simplify 0 into 0 15.428 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.430 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))))) into 0 15.432 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs t)))))))) into 0 15.434 * [backup-simplify]: Simplify (+ (* (pow (fabs t) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2)))))))) into 0 15.434 * [backup-simplify]: Simplify 0 into 0 15.435 * [backup-simplify]: Simplify (* (pow (fabs t) 2) (pow (sqrt 3.9999999999999997e-32) 2)) into (* (pow (fabs t) 2) (pow (sqrt 3.9999999999999997e-32) 2)) 15.436 * [backup-simplify]: Simplify (* (* (fabs (/ 1 t)) (sqrt 3.9999999999999997e-32)) (* (fabs (/ 1 t)) (sqrt 3.9999999999999997e-32))) into (* (pow (fabs (/ 1 t)) 2) (pow (sqrt 3.9999999999999997e-32) 2)) 15.437 * [approximate]: Taking taylor expansion of (* (pow (fabs (/ 1 t)) 2) (pow (sqrt 3.9999999999999997e-32) 2)) in (t) around 0 15.437 * [taylor]: Taking taylor expansion of (* (pow (fabs (/ 1 t)) 2) (pow (sqrt 3.9999999999999997e-32) 2)) in t 15.437 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 t)) 2) in t 15.437 * [taylor]: Taking taylor expansion of (fabs (/ 1 t)) in t 15.437 * [backup-simplify]: Simplify (fabs (/ 1 t)) into (fabs (/ 1 t)) 15.437 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t 15.437 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 15.437 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 15.437 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 15.437 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 15.438 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.438 * [taylor]: Taking taylor expansion of (* (pow (fabs (/ 1 t)) 2) (pow (sqrt 3.9999999999999997e-32) 2)) in t 15.438 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 t)) 2) in t 15.438 * [taylor]: Taking taylor expansion of (fabs (/ 1 t)) in t 15.438 * [backup-simplify]: Simplify (fabs (/ 1 t)) into (fabs (/ 1 t)) 15.438 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t 15.438 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 15.438 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 15.438 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 15.439 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 15.440 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.440 * [backup-simplify]: Simplify (* (fabs (/ 1 t)) (fabs (/ 1 t))) into (pow (fabs (/ 1 t)) 2) 15.441 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2) 15.442 * [backup-simplify]: Simplify (* (pow (fabs (/ 1 t)) 2) (pow (sqrt 3.9999999999999997e-32) 2)) into (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (fabs (/ 1 t)) 2)) 15.443 * [backup-simplify]: Simplify (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (fabs (/ 1 t)) 2)) into (* (pow (fabs (/ 1 t)) 2) (pow (sqrt 3.9999999999999997e-32) 2)) 15.444 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0 15.445 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 t)) 0) (* 0 (fabs (/ 1 t)))) into 0 15.446 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 t)) 2) 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2))) into 0 15.446 * [backup-simplify]: Simplify 0 into 0 15.447 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.448 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0 15.449 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 t)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 t))))) into 0 15.450 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 t)) 2) 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2)))) into 0 15.450 * [backup-simplify]: Simplify 0 into 0 15.452 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.454 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0 15.455 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 t)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 t)))))) into 0 15.457 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 t)) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2))))) into 0 15.457 * [backup-simplify]: Simplify 0 into 0 15.459 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.461 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0 15.463 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 t)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 t))))))) into 0 15.465 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 t)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2)))))) into 0 15.465 * [backup-simplify]: Simplify 0 into 0 15.467 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.469 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0 15.471 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 t)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 t)))))))) into 0 15.474 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 t)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2))))))) into 0 15.474 * [backup-simplify]: Simplify 0 into 0 15.476 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.478 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))))) into 0 15.480 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 t)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 t))))))))) into 0 15.482 * [backup-simplify]: Simplify (+ (* (pow (fabs (/ 1 t)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2)))))))) into 0 15.482 * [backup-simplify]: Simplify 0 into 0 15.483 * [backup-simplify]: Simplify (* (pow (fabs (/ 1 (/ 1 t))) 2) (pow (sqrt 3.9999999999999997e-32) 2)) into (* (pow (fabs t) 2) (pow (sqrt 3.9999999999999997e-32) 2)) 15.484 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- t))) (sqrt 3.9999999999999997e-32)) (* (fabs (/ 1 (- t))) (sqrt 3.9999999999999997e-32))) into (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (fabs (/ -1 t)) 2)) 15.484 * [approximate]: Taking taylor expansion of (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (fabs (/ -1 t)) 2)) in (t) around 0 15.484 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (fabs (/ -1 t)) 2)) in t 15.484 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t 15.484 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 15.484 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 15.484 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 15.485 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 15.486 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.486 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 t)) 2) in t 15.486 * [taylor]: Taking taylor expansion of (fabs (/ -1 t)) in t 15.486 * [backup-simplify]: Simplify (fabs (/ -1 t)) into (fabs (/ -1 t)) 15.486 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (fabs (/ -1 t)) 2)) in t 15.486 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t 15.486 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 15.486 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 15.486 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 15.486 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 15.487 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.487 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 t)) 2) in t 15.487 * [taylor]: Taking taylor expansion of (fabs (/ -1 t)) in t 15.487 * [backup-simplify]: Simplify (fabs (/ -1 t)) into (fabs (/ -1 t)) 15.489 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2) 15.489 * [backup-simplify]: Simplify (* (fabs (/ -1 t)) (fabs (/ -1 t))) into (pow (fabs (/ -1 t)) 2) 15.490 * [backup-simplify]: Simplify (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (fabs (/ -1 t)) 2)) into (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (fabs (/ -1 t)) 2)) 15.491 * [backup-simplify]: Simplify (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (fabs (/ -1 t)) 2)) into (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (fabs (/ -1 t)) 2)) 15.491 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 t)) 0) (* 0 (fabs (/ -1 t)))) into 0 15.492 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0 15.493 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3.9999999999999997e-32) 2) 0) (* 0 (pow (fabs (/ -1 t)) 2))) into 0 15.493 * [backup-simplify]: Simplify 0 into 0 15.494 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 t)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 t))))) into 0 15.495 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.496 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0 15.498 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3.9999999999999997e-32) 2) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 t)) 2)))) into 0 15.498 * [backup-simplify]: Simplify 0 into 0 15.499 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 t)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 t)))))) into 0 15.500 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.501 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0 15.503 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3.9999999999999997e-32) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 t)) 2))))) into 0 15.503 * [backup-simplify]: Simplify 0 into 0 15.504 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 t)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 t))))))) into 0 15.506 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.513 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0 15.516 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3.9999999999999997e-32) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 t)) 2)))))) into 0 15.516 * [backup-simplify]: Simplify 0 into 0 15.517 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 t)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 t)))))))) into 0 15.519 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.521 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0 15.523 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3.9999999999999997e-32) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 t)) 2))))))) into 0 15.524 * [backup-simplify]: Simplify 0 into 0 15.526 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 t)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 t))))))))) into 0 15.527 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.529 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))))) into 0 15.532 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3.9999999999999997e-32) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 t)) 2)))))))) into 0 15.532 * [backup-simplify]: Simplify 0 into 0 15.533 * [backup-simplify]: Simplify (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (fabs (/ -1 (/ 1 (- t)))) 2)) into (* (pow (fabs t) 2) (pow (sqrt 3.9999999999999997e-32) 2)) 15.534 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 15.534 * [backup-simplify]: Simplify (* (fabs t) (sqrt 3.9999999999999997e-32)) into (* (fabs t) (sqrt 3.9999999999999997e-32)) 15.534 * [approximate]: Taking taylor expansion of (* (fabs t) (sqrt 3.9999999999999997e-32)) in (t) around 0 15.534 * [taylor]: Taking taylor expansion of (* (fabs t) (sqrt 3.9999999999999997e-32)) in t 15.534 * [taylor]: Taking taylor expansion of (fabs t) in t 15.534 * [backup-simplify]: Simplify (fabs t) into (fabs t) 15.534 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 15.534 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 15.534 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 15.535 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 15.536 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.536 * [taylor]: Taking taylor expansion of (* (fabs t) (sqrt 3.9999999999999997e-32)) in t 15.536 * [taylor]: Taking taylor expansion of (fabs t) in t 15.536 * [backup-simplify]: Simplify (fabs t) into (fabs t) 15.536 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 15.536 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 15.536 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 15.536 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 15.537 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.537 * [backup-simplify]: Simplify (* (fabs t) (sqrt 3.9999999999999997e-32)) into (* (fabs t) (sqrt 3.9999999999999997e-32)) 15.538 * [backup-simplify]: Simplify (* (fabs t) (sqrt 3.9999999999999997e-32)) into (* (fabs t) (sqrt 3.9999999999999997e-32)) 15.539 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0 15.539 * [backup-simplify]: Simplify 0 into 0 15.540 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.541 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0 15.541 * [backup-simplify]: Simplify 0 into 0 15.542 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.543 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0 15.543 * [backup-simplify]: Simplify 0 into 0 15.544 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.546 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0 15.546 * [backup-simplify]: Simplify 0 into 0 15.547 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.548 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0 15.548 * [backup-simplify]: Simplify 0 into 0 15.550 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.551 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))))) into 0 15.551 * [backup-simplify]: Simplify 0 into 0 15.552 * [backup-simplify]: Simplify (* (fabs t) (sqrt 3.9999999999999997e-32)) into (* (fabs t) (sqrt 3.9999999999999997e-32)) 15.552 * [backup-simplify]: Simplify (* (fabs (/ 1 t)) (sqrt 3.9999999999999997e-32)) into (* (sqrt 3.9999999999999997e-32) (fabs (/ 1 t))) 15.552 * [approximate]: Taking taylor expansion of (* (sqrt 3.9999999999999997e-32) (fabs (/ 1 t))) in (t) around 0 15.552 * [taylor]: Taking taylor expansion of (* (sqrt 3.9999999999999997e-32) (fabs (/ 1 t))) in t 15.552 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 15.552 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 15.552 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 15.553 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 15.553 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.553 * [taylor]: Taking taylor expansion of (fabs (/ 1 t)) in t 15.554 * [backup-simplify]: Simplify (fabs (/ 1 t)) into (fabs (/ 1 t)) 15.554 * [taylor]: Taking taylor expansion of (* (sqrt 3.9999999999999997e-32) (fabs (/ 1 t))) in t 15.554 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 15.554 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 15.554 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 15.554 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 15.555 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.555 * [taylor]: Taking taylor expansion of (fabs (/ 1 t)) in t 15.555 * [backup-simplify]: Simplify (fabs (/ 1 t)) into (fabs (/ 1 t)) 15.555 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (fabs (/ 1 t))) into (* (fabs (/ 1 t)) (sqrt 3.9999999999999997e-32)) 15.556 * [backup-simplify]: Simplify (* (fabs (/ 1 t)) (sqrt 3.9999999999999997e-32)) into (* (sqrt 3.9999999999999997e-32) (fabs (/ 1 t))) 15.557 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (fabs (/ 1 t)))) into 0 15.557 * [backup-simplify]: Simplify 0 into 0 15.558 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.559 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (fabs (/ 1 t))))) into 0 15.559 * [backup-simplify]: Simplify 0 into 0 15.560 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.561 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 t)))))) into 0 15.561 * [backup-simplify]: Simplify 0 into 0 15.562 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.563 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 t))))))) into 0 15.563 * [backup-simplify]: Simplify 0 into 0 15.564 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.565 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 t)))))))) into 0 15.565 * [backup-simplify]: Simplify 0 into 0 15.566 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.568 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 t))))))))) into 0 15.568 * [backup-simplify]: Simplify 0 into 0 15.568 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (fabs (/ 1 (/ 1 t)))) into (* (fabs t) (sqrt 3.9999999999999997e-32)) 15.568 * [backup-simplify]: Simplify (* (fabs (/ 1 (- t))) (sqrt 3.9999999999999997e-32)) into (* (sqrt 3.9999999999999997e-32) (fabs (/ -1 t))) 15.568 * [approximate]: Taking taylor expansion of (* (sqrt 3.9999999999999997e-32) (fabs (/ -1 t))) in (t) around 0 15.568 * [taylor]: Taking taylor expansion of (* (sqrt 3.9999999999999997e-32) (fabs (/ -1 t))) in t 15.568 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 15.568 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 15.568 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 15.569 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 15.569 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.569 * [taylor]: Taking taylor expansion of (fabs (/ -1 t)) in t 15.569 * [backup-simplify]: Simplify (fabs (/ -1 t)) into (fabs (/ -1 t)) 15.569 * [taylor]: Taking taylor expansion of (* (sqrt 3.9999999999999997e-32) (fabs (/ -1 t))) in t 15.569 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 15.569 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 15.569 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 15.570 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 15.570 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.570 * [taylor]: Taking taylor expansion of (fabs (/ -1 t)) in t 15.570 * [backup-simplify]: Simplify (fabs (/ -1 t)) into (fabs (/ -1 t)) 15.570 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (fabs (/ -1 t))) into (* (sqrt 3.9999999999999997e-32) (fabs (/ -1 t))) 15.571 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (fabs (/ -1 t))) into (* (sqrt 3.9999999999999997e-32) (fabs (/ -1 t))) 15.571 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (fabs (/ -1 t)))) into 0 15.571 * [backup-simplify]: Simplify 0 into 0 15.572 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.572 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (fabs (/ -1 t))))) into 0 15.572 * [backup-simplify]: Simplify 0 into 0 15.573 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.574 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 t)))))) into 0 15.574 * [backup-simplify]: Simplify 0 into 0 15.575 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.576 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 t))))))) into 0 15.576 * [backup-simplify]: Simplify 0 into 0 15.577 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.578 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 t)))))))) into 0 15.578 * [backup-simplify]: Simplify 0 into 0 15.579 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.580 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 t))))))))) into 0 15.580 * [backup-simplify]: Simplify 0 into 0 15.580 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (fabs (/ -1 (/ 1 (- t))))) into (* (fabs t) (sqrt 3.9999999999999997e-32)) 15.580 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 15.581 * [backup-simplify]: Simplify (* (fabs t) (sqrt 3.9999999999999997e-32)) into (* (fabs t) (sqrt 3.9999999999999997e-32)) 15.581 * [approximate]: Taking taylor expansion of (* (fabs t) (sqrt 3.9999999999999997e-32)) in (t) around 0 15.581 * [taylor]: Taking taylor expansion of (* (fabs t) (sqrt 3.9999999999999997e-32)) in t 15.581 * [taylor]: Taking taylor expansion of (fabs t) in t 15.581 * [backup-simplify]: Simplify (fabs t) into (fabs t) 15.581 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 15.581 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 15.581 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 15.581 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 15.582 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.582 * [taylor]: Taking taylor expansion of (* (fabs t) (sqrt 3.9999999999999997e-32)) in t 15.582 * [taylor]: Taking taylor expansion of (fabs t) in t 15.582 * [backup-simplify]: Simplify (fabs t) into (fabs t) 15.582 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 15.582 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 15.583 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 15.583 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 15.584 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.584 * [backup-simplify]: Simplify (* (fabs t) (sqrt 3.9999999999999997e-32)) into (* (fabs t) (sqrt 3.9999999999999997e-32)) 15.585 * [backup-simplify]: Simplify (* (fabs t) (sqrt 3.9999999999999997e-32)) into (* (fabs t) (sqrt 3.9999999999999997e-32)) 15.585 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0 15.585 * [backup-simplify]: Simplify 0 into 0 15.587 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.588 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0 15.588 * [backup-simplify]: Simplify 0 into 0 15.589 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.590 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0 15.590 * [backup-simplify]: Simplify 0 into 0 15.592 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.593 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0 15.593 * [backup-simplify]: Simplify 0 into 0 15.594 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.596 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0 15.596 * [backup-simplify]: Simplify 0 into 0 15.597 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.599 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))))) into 0 15.599 * [backup-simplify]: Simplify 0 into 0 15.599 * [backup-simplify]: Simplify (* (fabs t) (sqrt 3.9999999999999997e-32)) into (* (fabs t) (sqrt 3.9999999999999997e-32)) 15.600 * [backup-simplify]: Simplify (* (fabs (/ 1 t)) (sqrt 3.9999999999999997e-32)) into (* (sqrt 3.9999999999999997e-32) (fabs (/ 1 t))) 15.600 * [approximate]: Taking taylor expansion of (* (sqrt 3.9999999999999997e-32) (fabs (/ 1 t))) in (t) around 0 15.600 * [taylor]: Taking taylor expansion of (* (sqrt 3.9999999999999997e-32) (fabs (/ 1 t))) in t 15.600 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 15.600 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 15.600 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 15.600 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 15.601 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.601 * [taylor]: Taking taylor expansion of (fabs (/ 1 t)) in t 15.601 * [backup-simplify]: Simplify (fabs (/ 1 t)) into (fabs (/ 1 t)) 15.601 * [taylor]: Taking taylor expansion of (* (sqrt 3.9999999999999997e-32) (fabs (/ 1 t))) in t 15.601 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 15.601 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 15.601 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 15.602 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 15.603 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.603 * [taylor]: Taking taylor expansion of (fabs (/ 1 t)) in t 15.603 * [backup-simplify]: Simplify (fabs (/ 1 t)) into (fabs (/ 1 t)) 15.603 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (fabs (/ 1 t))) into (* (fabs (/ 1 t)) (sqrt 3.9999999999999997e-32)) 15.604 * [backup-simplify]: Simplify (* (fabs (/ 1 t)) (sqrt 3.9999999999999997e-32)) into (* (sqrt 3.9999999999999997e-32) (fabs (/ 1 t))) 15.604 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (fabs (/ 1 t)))) into 0 15.604 * [backup-simplify]: Simplify 0 into 0 15.606 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.607 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (fabs (/ 1 t))))) into 0 15.607 * [backup-simplify]: Simplify 0 into 0 15.608 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.610 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 t)))))) into 0 15.610 * [backup-simplify]: Simplify 0 into 0 15.611 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.613 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 t))))))) into 0 15.613 * [backup-simplify]: Simplify 0 into 0 15.614 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.616 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 t)))))))) into 0 15.616 * [backup-simplify]: Simplify 0 into 0 15.618 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.621 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 t))))))))) into 0 15.621 * [backup-simplify]: Simplify 0 into 0 15.621 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (fabs (/ 1 (/ 1 t)))) into (* (fabs t) (sqrt 3.9999999999999997e-32)) 15.622 * [backup-simplify]: Simplify (* (fabs (/ 1 (- t))) (sqrt 3.9999999999999997e-32)) into (* (sqrt 3.9999999999999997e-32) (fabs (/ -1 t))) 15.622 * [approximate]: Taking taylor expansion of (* (sqrt 3.9999999999999997e-32) (fabs (/ -1 t))) in (t) around 0 15.622 * [taylor]: Taking taylor expansion of (* (sqrt 3.9999999999999997e-32) (fabs (/ -1 t))) in t 15.622 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 15.622 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 15.622 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 15.622 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 15.623 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.623 * [taylor]: Taking taylor expansion of (fabs (/ -1 t)) in t 15.623 * [backup-simplify]: Simplify (fabs (/ -1 t)) into (fabs (/ -1 t)) 15.623 * [taylor]: Taking taylor expansion of (* (sqrt 3.9999999999999997e-32) (fabs (/ -1 t))) in t 15.623 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 15.623 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 15.623 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 15.624 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 15.625 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.625 * [taylor]: Taking taylor expansion of (fabs (/ -1 t)) in t 15.625 * [backup-simplify]: Simplify (fabs (/ -1 t)) into (fabs (/ -1 t)) 15.625 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (fabs (/ -1 t))) into (* (sqrt 3.9999999999999997e-32) (fabs (/ -1 t))) 15.626 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (fabs (/ -1 t))) into (* (sqrt 3.9999999999999997e-32) (fabs (/ -1 t))) 15.627 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (fabs (/ -1 t)))) into 0 15.627 * [backup-simplify]: Simplify 0 into 0 15.628 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.629 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (fabs (/ -1 t))))) into 0 15.629 * [backup-simplify]: Simplify 0 into 0 15.630 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.631 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 t)))))) into 0 15.631 * [backup-simplify]: Simplify 0 into 0 15.633 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.635 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 t))))))) into 0 15.635 * [backup-simplify]: Simplify 0 into 0 15.636 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.638 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 t)))))))) into 0 15.639 * [backup-simplify]: Simplify 0 into 0 15.640 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.643 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 t))))))))) into 0 15.643 * [backup-simplify]: Simplify 0 into 0 15.643 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (fabs (/ -1 (/ 1 (- t))))) into (* (fabs t) (sqrt 3.9999999999999997e-32)) 15.643 * * * [progress]: simplifying candidates 15.646 * [simplify]: Simplifying: (+ 1 1) (+ 1 1) (+ 1 1) (+ 1 1) (* (* (fabs t) (sqrt 3.9999999999999997e-32)) (* (fabs t) (sqrt 3.9999999999999997e-32))) (* (* (fabs t) (sqrt 3.9999999999999997e-32)) (* (fabs t) (sqrt 3.9999999999999997e-32))) (* (* (fabs t) (sqrt 3.9999999999999997e-32)) (* (fabs t) (sqrt 3.9999999999999997e-32))) (* (* (fabs t) (sqrt 3.9999999999999997e-32)) (* (fabs t) (sqrt 3.9999999999999997e-32))) (+ 1 1) (+ 1 1) (+ (+ (log (fabs t)) (log (sqrt 3.9999999999999997e-32))) (+ (log (fabs t)) (log (sqrt 3.9999999999999997e-32)))) (+ (+ (log (fabs t)) (log (sqrt 3.9999999999999997e-32))) (log (* (fabs t) (sqrt 3.9999999999999997e-32)))) (+ (log (* (fabs t) (sqrt 3.9999999999999997e-32))) (+ (log (fabs t)) (log (sqrt 3.9999999999999997e-32)))) (+ (log (* (fabs t) (sqrt 3.9999999999999997e-32))) (log (* (fabs t) (sqrt 3.9999999999999997e-32)))) (log (* (* (fabs t) (sqrt 3.9999999999999997e-32)) (* (fabs t) (sqrt 3.9999999999999997e-32)))) (exp (* (* (fabs t) (sqrt 3.9999999999999997e-32)) (* (fabs t) (sqrt 3.9999999999999997e-32)))) (* (* (* (* (fabs t) (fabs t)) (fabs t)) (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32))) (* (* (* (fabs t) (fabs t)) (fabs t)) (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)))) (* (* (* (* (fabs t) (fabs t)) (fabs t)) (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32))) (* (* (* (fabs t) (sqrt 3.9999999999999997e-32)) (* (fabs t) (sqrt 3.9999999999999997e-32))) (* (fabs t) (sqrt 3.9999999999999997e-32)))) (* (* (* (* (fabs t) (sqrt 3.9999999999999997e-32)) (* (fabs t) (sqrt 3.9999999999999997e-32))) (* (fabs t) (sqrt 3.9999999999999997e-32))) (* (* (* (fabs t) (fabs t)) (fabs t)) (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)))) (* (* (* (* (fabs t) (sqrt 3.9999999999999997e-32)) (* (fabs t) (sqrt 3.9999999999999997e-32))) (* (fabs t) (sqrt 3.9999999999999997e-32))) (* (* (* (fabs t) (sqrt 3.9999999999999997e-32)) (* (fabs t) (sqrt 3.9999999999999997e-32))) (* (fabs t) (sqrt 3.9999999999999997e-32)))) (* (cbrt (* (* (fabs t) (sqrt 3.9999999999999997e-32)) (* (fabs t) (sqrt 3.9999999999999997e-32)))) (cbrt (* (* (fabs t) (sqrt 3.9999999999999997e-32)) (* (fabs t) (sqrt 3.9999999999999997e-32))))) (cbrt (* (* (fabs t) (sqrt 3.9999999999999997e-32)) (* (fabs t) (sqrt 3.9999999999999997e-32)))) (* (* (* (* (fabs t) (sqrt 3.9999999999999997e-32)) (* (fabs t) (sqrt 3.9999999999999997e-32))) (* (* (fabs t) (sqrt 3.9999999999999997e-32)) (* (fabs t) (sqrt 3.9999999999999997e-32)))) (* (* (fabs t) (sqrt 3.9999999999999997e-32)) (* (fabs t) (sqrt 3.9999999999999997e-32)))) (sqrt (* (* (fabs t) (sqrt 3.9999999999999997e-32)) (* (fabs t) (sqrt 3.9999999999999997e-32)))) (sqrt (* (* (fabs t) (sqrt 3.9999999999999997e-32)) (* (fabs t) (sqrt 3.9999999999999997e-32)))) (* (fabs t) (fabs t)) (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (* 2 1) (* 2 1) (* 2 1) (* 2 1) (* (* (fabs t) (sqrt 3.9999999999999997e-32)) (fabs t)) (* (sqrt 3.9999999999999997e-32) (* (fabs t) (sqrt 3.9999999999999997e-32))) (* (fabs t) (sqrt 3.9999999999999997e-32)) (+ (log (fabs t)) (log (sqrt 3.9999999999999997e-32))) (log (* (fabs t) (sqrt 3.9999999999999997e-32))) (exp (* (fabs t) (sqrt 3.9999999999999997e-32))) (* (* (* (fabs t) (fabs t)) (fabs t)) (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32))) (* (cbrt (* (fabs t) (sqrt 3.9999999999999997e-32))) (cbrt (* (fabs t) (sqrt 3.9999999999999997e-32)))) (cbrt (* (fabs t) (sqrt 3.9999999999999997e-32))) (* (* (* (fabs t) (sqrt 3.9999999999999997e-32)) (* (fabs t) (sqrt 3.9999999999999997e-32))) (* (fabs t) (sqrt 3.9999999999999997e-32))) (sqrt (* (fabs t) (sqrt 3.9999999999999997e-32))) (sqrt (* (fabs t) (sqrt 3.9999999999999997e-32))) (* (sqrt (fabs t)) (sqrt (sqrt 3.9999999999999997e-32))) (* (sqrt (fabs t)) (sqrt (sqrt 3.9999999999999997e-32))) (* (sqrt (fabs t)) (sqrt (sqrt 3.9999999999999997e-32))) (* (sqrt (fabs t)) (sqrt (sqrt 3.9999999999999997e-32))) (* (fabs t) (* (cbrt (sqrt 3.9999999999999997e-32)) (cbrt (sqrt 3.9999999999999997e-32)))) (* (fabs t) (sqrt (* (cbrt 3.9999999999999997e-32) (cbrt 3.9999999999999997e-32)))) (* (fabs t) (sqrt (sqrt 3.9999999999999997e-32))) (* (fabs t) (sqrt 1)) (* (fabs t) (sqrt (sqrt 3.9999999999999997e-32))) (* (fabs t) 1) (* (cbrt (fabs t)) (sqrt 3.9999999999999997e-32)) (* (sqrt (fabs t)) (sqrt 3.9999999999999997e-32)) (* (fabs t) (sqrt 3.9999999999999997e-32)) (* (fabs t) (sqrt 3.9999999999999997e-32)) (+ (log (fabs t)) (log (sqrt 3.9999999999999997e-32))) (log (* (fabs t) (sqrt 3.9999999999999997e-32))) (exp (* (fabs t) (sqrt 3.9999999999999997e-32))) (* (* (* (fabs t) (fabs t)) (fabs t)) (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32))) (* (cbrt (* (fabs t) (sqrt 3.9999999999999997e-32))) (cbrt (* (fabs t) (sqrt 3.9999999999999997e-32)))) (cbrt (* (fabs t) (sqrt 3.9999999999999997e-32))) (* (* (* (fabs t) (sqrt 3.9999999999999997e-32)) (* (fabs t) (sqrt 3.9999999999999997e-32))) (* (fabs t) (sqrt 3.9999999999999997e-32))) (sqrt (* (fabs t) (sqrt 3.9999999999999997e-32))) (sqrt (* (fabs t) (sqrt 3.9999999999999997e-32))) (* (sqrt (fabs t)) (sqrt (sqrt 3.9999999999999997e-32))) (* (sqrt (fabs t)) (sqrt (sqrt 3.9999999999999997e-32))) (* (sqrt (fabs t)) (sqrt (sqrt 3.9999999999999997e-32))) (* (sqrt (fabs t)) (sqrt (sqrt 3.9999999999999997e-32))) (* (fabs t) (* (cbrt (sqrt 3.9999999999999997e-32)) (cbrt (sqrt 3.9999999999999997e-32)))) (* (fabs t) (sqrt (* (cbrt 3.9999999999999997e-32) (cbrt 3.9999999999999997e-32)))) (* (fabs t) (sqrt (sqrt 3.9999999999999997e-32))) (* (fabs t) (sqrt 1)) (* (fabs t) (sqrt (sqrt 3.9999999999999997e-32))) (* (fabs t) 1) (* (cbrt (fabs t)) (sqrt 3.9999999999999997e-32)) (* (sqrt (fabs t)) (sqrt 3.9999999999999997e-32)) (* (fabs t) (sqrt 3.9999999999999997e-32)) (* (pow (fabs t) 2) (pow (sqrt 3.9999999999999997e-32) 2)) (* (pow (fabs t) 2) (pow (sqrt 3.9999999999999997e-32) 2)) (* (pow (fabs t) 2) (pow (sqrt 3.9999999999999997e-32) 2)) (* (fabs t) (sqrt 3.9999999999999997e-32)) (* (fabs t) (sqrt 3.9999999999999997e-32)) (* (fabs t) (sqrt 3.9999999999999997e-32)) (* (fabs t) (sqrt 3.9999999999999997e-32)) (* (fabs t) (sqrt 3.9999999999999997e-32)) (* (fabs t) (sqrt 3.9999999999999997e-32)) 15.649 * * [simplify]: Extracting # 0 : cost 0 15.649 * * [simplify]: Extracting # 1 : cost 0 15.649 * * [simplify]: Extracting # 2 : cost 0 15.649 * * [simplify]: Extracting # 3 : cost 0 15.649 * * [simplify]: Extracting # 4 : cost 0 15.649 * * [simplify]: Extracting # 5 : cost 0 15.650 * * [simplify]: Extracting # 6 : cost 0 15.650 * * [simplify]: Extracting # 7 : cost 0 15.650 * * [simplify]: iteration 0 : 61 enodes (cost 821 ) 15.669 * * [simplify]: Extracting # 0 : cost 0 15.669 * * [simplify]: Extracting # 1 : cost 0 15.670 * * [simplify]: Extracting # 2 : cost 0 15.670 * * [simplify]: Extracting # 3 : cost 0 15.670 * * [simplify]: Extracting # 4 : cost 0 15.670 * * [simplify]: iteration 1 : 131 enodes (cost 604 ) 15.719 * * [simplify]: Extracting # 0 : cost 0 15.719 * * [simplify]: Extracting # 1 : cost 0 15.720 * * [simplify]: Extracting # 2 : cost 0 15.720 * * [simplify]: Extracting # 3 : cost 0 15.724 * * [simplify]: Extracting # 4 : cost 0 15.725 * * [simplify]: Extracting # 5 : cost 0 15.725 * * [simplify]: iteration 2 : 502 enodes (cost 504 ) 16.474 * * [simplify]: Extracting # 0 : cost 0 16.479 * * [simplify]: Extracting # 1 : cost 0 16.481 * * [simplify]: Extracting # 2 : cost 0 16.484 * * [simplify]: Extracting # 3 : cost 0 16.486 * * [simplify]: Extracting # 4 : cost 0 16.488 * * [simplify]: iteration 3 : 1715 enodes (cost 499 ) 19.346 * * [simplify]: Extracting # 0 : cost 0 19.359 * * [simplify]: Extracting # 1 : cost 0 19.369 * * [simplify]: Extracting # 2 : cost 0 19.376 * * [simplify]: Extracting # 3 : cost 0 19.380 * * [simplify]: Extracting # 4 : cost 0 19.385 * * [simplify]: Extracting # 5 : cost 0 19.389 * * [simplify]: iteration done: 5000 enodes (cost 499 ) 19.390 * [simplify]: Simplified to: 2 2 2 2 (* (pow (fabs t) 2) 3.9999999999999997e-32) (* (pow (fabs t) 2) 3.9999999999999997e-32) (* (pow (fabs t) 2) 3.9999999999999997e-32) (* (pow (fabs t) 2) 3.9999999999999997e-32) 2 2 (log (* 3.9999999999999997e-32 (pow (fabs t) 2))) (log (* 3.9999999999999997e-32 (pow (fabs t) 2))) (log (* 3.9999999999999997e-32 (pow (fabs t) 2))) (log (* 3.9999999999999997e-32 (pow (fabs t) 2))) (log (* 3.9999999999999997e-32 (pow (fabs t) 2))) (exp (* 3.9999999999999997e-32 (pow (fabs t) 2))) (pow (* (fabs t) (sqrt 3.9999999999999997e-32)) 6) (pow (* (fabs t) (sqrt 3.9999999999999997e-32)) 6) (pow (* (fabs t) (sqrt 3.9999999999999997e-32)) 6) (pow (* (fabs t) (sqrt 3.9999999999999997e-32)) 6) (* (cbrt (* 3.9999999999999997e-32 (pow (fabs t) 2))) (cbrt (* 3.9999999999999997e-32 (pow (fabs t) 2)))) (cbrt (* 3.9999999999999997e-32 (pow (fabs t) 2))) (pow (* (fabs t) (sqrt 3.9999999999999997e-32)) 6) (fabs (* (fabs t) (sqrt 3.9999999999999997e-32))) (fabs (* (fabs t) (sqrt 3.9999999999999997e-32))) (pow (fabs t) 2) 3.9999999999999997e-32 2 2 2 2 (* (pow (fabs t) 2) (sqrt 3.9999999999999997e-32)) (* 3.9999999999999997e-32 (fabs t)) (* (fabs t) (sqrt 3.9999999999999997e-32)) (log (* (fabs t) (sqrt 3.9999999999999997e-32))) (log (* (fabs t) (sqrt 3.9999999999999997e-32))) (exp (* (fabs t) (sqrt 3.9999999999999997e-32))) (pow (* (fabs t) (sqrt 3.9999999999999997e-32)) 3) (* (cbrt (* (fabs t) (sqrt 3.9999999999999997e-32))) (cbrt (* (fabs t) (sqrt 3.9999999999999997e-32)))) (cbrt (* (fabs t) (sqrt 3.9999999999999997e-32))) (pow (* (fabs t) (sqrt 3.9999999999999997e-32)) 3) (sqrt (* (fabs t) (sqrt 3.9999999999999997e-32))) (sqrt (* (fabs t) (sqrt 3.9999999999999997e-32))) (* (sqrt (fabs t)) (sqrt (sqrt 3.9999999999999997e-32))) (* (sqrt (fabs t)) (sqrt (sqrt 3.9999999999999997e-32))) (* (sqrt (fabs t)) (sqrt (sqrt 3.9999999999999997e-32))) (* (sqrt (fabs t)) (sqrt (sqrt 3.9999999999999997e-32))) (* (fabs t) (* (cbrt (sqrt 3.9999999999999997e-32)) (cbrt (sqrt 3.9999999999999997e-32)))) (* (fabs t) (fabs (cbrt 3.9999999999999997e-32))) (* (fabs t) (sqrt (sqrt 3.9999999999999997e-32))) (fabs t) (* (fabs t) (sqrt (sqrt 3.9999999999999997e-32))) (fabs t) (* (cbrt (fabs t)) (sqrt 3.9999999999999997e-32)) (* (sqrt (fabs t)) (sqrt 3.9999999999999997e-32)) (* (fabs t) (sqrt 3.9999999999999997e-32)) (* (fabs t) (sqrt 3.9999999999999997e-32)) (log (* (fabs t) (sqrt 3.9999999999999997e-32))) (log (* (fabs t) (sqrt 3.9999999999999997e-32))) (exp (* (fabs t) (sqrt 3.9999999999999997e-32))) (pow (* (fabs t) (sqrt 3.9999999999999997e-32)) 3) (* (cbrt (* (fabs t) (sqrt 3.9999999999999997e-32))) (cbrt (* (fabs t) (sqrt 3.9999999999999997e-32)))) (cbrt (* (fabs t) (sqrt 3.9999999999999997e-32))) (pow (* (fabs t) (sqrt 3.9999999999999997e-32)) 3) (sqrt (* (fabs t) (sqrt 3.9999999999999997e-32))) (sqrt (* (fabs t) (sqrt 3.9999999999999997e-32))) (* (sqrt (fabs t)) (sqrt (sqrt 3.9999999999999997e-32))) (* (sqrt (fabs t)) (sqrt (sqrt 3.9999999999999997e-32))) (* (sqrt (fabs t)) (sqrt (sqrt 3.9999999999999997e-32))) (* (sqrt (fabs t)) (sqrt (sqrt 3.9999999999999997e-32))) (* (fabs t) (* (cbrt (sqrt 3.9999999999999997e-32)) (cbrt (sqrt 3.9999999999999997e-32)))) (* (fabs t) (fabs (cbrt 3.9999999999999997e-32))) (* (fabs t) (sqrt (sqrt 3.9999999999999997e-32))) (fabs t) (* (fabs t) (sqrt (sqrt 3.9999999999999997e-32))) (fabs t) (* (cbrt (fabs t)) (sqrt 3.9999999999999997e-32)) (* (sqrt (fabs t)) (sqrt 3.9999999999999997e-32)) (* (fabs t) (sqrt 3.9999999999999997e-32)) (* (pow (fabs t) 2) 3.9999999999999997e-32) (* (pow (fabs t) 2) 3.9999999999999997e-32) (* (pow (fabs t) 2) 3.9999999999999997e-32) (* (fabs t) (sqrt 3.9999999999999997e-32)) (* (fabs t) (sqrt 3.9999999999999997e-32)) (* (fabs t) (sqrt 3.9999999999999997e-32)) (* (fabs t) (sqrt 3.9999999999999997e-32)) (* (fabs t) (sqrt 3.9999999999999997e-32)) (* (fabs t) (sqrt 3.9999999999999997e-32)) 19.391 * * * [progress]: adding candidates to table 19.588 * [progress]: [Phase 3 of 3] Extracting. 19.588 * * [regime]: Finding splitpoints for: (# # # # # #) 19.589 * * * [regime-changes]: Trying 1 branch expressions: (t) 19.589 * * * * [regimes]: Trying to branch on t from (# # # # # #) 19.635 * * * [regime]: Found split indices: #