45.109 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.031 * * * [progress]: [2/2] Setting up program. 0.035 * [progress]: [Phase 2 of 3] Improving. 0.035 * [simplify]: Simplifying: (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))) 0.036 * * [simplify]: iteration 0: 11 enodes 0.039 * * [simplify]: iteration 1: 28 enodes 0.054 * * [simplify]: iteration 2: 90 enodes 0.109 * * [simplify]: iteration 3: 307 enodes 0.287 * * [simplify]: iteration 4: 953 enodes 1.148 * * [simplify]: iteration 5: 2372 enodes 4.242 * * [simplify]: iteration complete: 5000 enodes 4.242 * * [simplify]: Extracting #0: cost 1 inf + 0 4.243 * * [simplify]: Extracting #1: cost 144 inf + 0 4.251 * * [simplify]: Extracting #2: cost 351 inf + 1623 4.271 * * [simplify]: Extracting #3: cost 227 inf + 27472 4.322 * * [simplify]: Extracting #4: cost 35 inf + 64237 4.386 * * [simplify]: Extracting #5: cost 0 inf + 71162 4.464 * * [simplify]: Extracting #6: cost 0 inf + 70982 4.516 * [simplify]: Simplified to: (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* (* 2e-16 t) 2.0))) 4.527 * * [progress]: iteration 1 / 4 4.527 * * * [progress]: picking best candidate 4.533 * * * * [pick]: Picked # 4.533 * * * [progress]: localizing error 4.552 * * * [progress]: generating rewritten candidates 4.553 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 4.553 * * * [progress]: generating series expansions 4.553 * * * * [progress]: [ 1 / 1 ] generating series at (2) 4.553 * [backup-simplify]: Simplify (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* (* 2e-16 t) 2.0))) into (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- (+ (* 4e-16 t) 1.0))) 4.554 * [approximate]: Taking taylor expansion of (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- (+ (* 4e-16 t) 1.0))) in (t) around 0 4.554 * [taylor]: Taking taylor expansion of (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- (+ (* 4e-16 t) 1.0))) in t 4.554 * [taylor]: Rewrote expression to (+ (* (fma t 2e-16 1.0) (fma t 2e-16 1.0)) (- (+ (* 4e-16 t) 1.0))) 4.554 * [taylor]: Taking taylor expansion of (* (fma t 2e-16 1.0) (fma t 2e-16 1.0)) in t 4.554 * [taylor]: Taking taylor expansion of (fma t 2e-16 1.0) in t 4.554 * [taylor]: Rewrote expression to (+ (* t 2e-16) 1.0) 4.554 * [taylor]: Taking taylor expansion of (* t 2e-16) in t 4.554 * [taylor]: Taking taylor expansion of t in t 4.554 * [backup-simplify]: Simplify 0 into 0 4.554 * [backup-simplify]: Simplify 1 into 1 4.554 * [taylor]: Taking taylor expansion of 2e-16 in t 4.554 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.554 * [taylor]: Taking taylor expansion of 1.0 in t 4.554 * [backup-simplify]: Simplify 1.0 into 1.0 4.555 * [taylor]: Taking taylor expansion of (fma t 2e-16 1.0) in t 4.555 * [taylor]: Rewrote expression to (+ (* t 2e-16) 1.0) 4.555 * [taylor]: Taking taylor expansion of (* t 2e-16) in t 4.555 * [taylor]: Taking taylor expansion of t in t 4.555 * [backup-simplify]: Simplify 0 into 0 4.555 * [backup-simplify]: Simplify 1 into 1 4.555 * [taylor]: Taking taylor expansion of 2e-16 in t 4.555 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.555 * [taylor]: Taking taylor expansion of 1.0 in t 4.555 * [backup-simplify]: Simplify 1.0 into 1.0 4.555 * [taylor]: Taking taylor expansion of (- (+ (* 4e-16 t) 1.0)) in t 4.555 * [taylor]: Taking taylor expansion of (+ (* 4e-16 t) 1.0) in t 4.555 * [taylor]: Taking taylor expansion of (* 4e-16 t) in t 4.555 * [taylor]: Taking taylor expansion of 4e-16 in t 4.555 * [backup-simplify]: Simplify 4e-16 into 4e-16 4.555 * [taylor]: Taking taylor expansion of t in t 4.555 * [backup-simplify]: Simplify 0 into 0 4.555 * [backup-simplify]: Simplify 1 into 1 4.555 * [taylor]: Taking taylor expansion of 1.0 in t 4.555 * [backup-simplify]: Simplify 1.0 into 1.0 4.555 * [taylor]: Taking taylor expansion of (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- (+ (* 4e-16 t) 1.0))) in t 4.555 * [taylor]: Rewrote expression to (+ (* (fma t 2e-16 1.0) (fma t 2e-16 1.0)) (- (+ (* 4e-16 t) 1.0))) 4.555 * [taylor]: Taking taylor expansion of (* (fma t 2e-16 1.0) (fma t 2e-16 1.0)) in t 4.555 * [taylor]: Taking taylor expansion of (fma t 2e-16 1.0) in t 4.555 * [taylor]: Rewrote expression to (+ (* t 2e-16) 1.0) 4.555 * [taylor]: Taking taylor expansion of (* t 2e-16) in t 4.555 * [taylor]: Taking taylor expansion of t in t 4.555 * [backup-simplify]: Simplify 0 into 0 4.555 * [backup-simplify]: Simplify 1 into 1 4.555 * [taylor]: Taking taylor expansion of 2e-16 in t 4.555 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.555 * [taylor]: Taking taylor expansion of 1.0 in t 4.555 * [backup-simplify]: Simplify 1.0 into 1.0 4.555 * [taylor]: Taking taylor expansion of (fma t 2e-16 1.0) in t 4.555 * [taylor]: Rewrote expression to (+ (* t 2e-16) 1.0) 4.555 * [taylor]: Taking taylor expansion of (* t 2e-16) in t 4.555 * [taylor]: Taking taylor expansion of t in t 4.555 * [backup-simplify]: Simplify 0 into 0 4.555 * [backup-simplify]: Simplify 1 into 1 4.555 * [taylor]: Taking taylor expansion of 2e-16 in t 4.555 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.555 * [taylor]: Taking taylor expansion of 1.0 in t 4.555 * [backup-simplify]: Simplify 1.0 into 1.0 4.555 * [taylor]: Taking taylor expansion of (- (+ (* 4e-16 t) 1.0)) in t 4.555 * [taylor]: Taking taylor expansion of (+ (* 4e-16 t) 1.0) in t 4.555 * [taylor]: Taking taylor expansion of (* 4e-16 t) in t 4.556 * [taylor]: Taking taylor expansion of 4e-16 in t 4.556 * [backup-simplify]: Simplify 4e-16 into 4e-16 4.556 * [taylor]: Taking taylor expansion of t in t 4.556 * [backup-simplify]: Simplify 0 into 0 4.556 * [backup-simplify]: Simplify 1 into 1 4.556 * [taylor]: Taking taylor expansion of 1.0 in t 4.556 * [backup-simplify]: Simplify 1.0 into 1.0 4.556 * [backup-simplify]: Simplify (* 0 2e-16) into 0 4.556 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 4.557 * [backup-simplify]: Simplify (* 0 2e-16) into 0 4.557 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 4.557 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0 4.557 * [backup-simplify]: Simplify (* 4e-16 0) into 0 4.558 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 4.558 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 4.558 * [backup-simplify]: Simplify (+ 1.0 (- 1.0)) into 0 4.558 * [backup-simplify]: Simplify 0 into 0 4.559 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 2e-16)) into 2e-16 4.560 * [backup-simplify]: Simplify (+ 2e-16 0) into 2e-16 4.560 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 2e-16)) into 2e-16 4.561 * [backup-simplify]: Simplify (+ 2e-16 0) into 2e-16 4.562 * [backup-simplify]: Simplify (+ (* 1.0 2e-16) (* 2e-16 1.0)) into 4e-16 4.563 * [backup-simplify]: Simplify (+ (* 4e-16 1) (* 0 0)) into 4e-16 4.563 * [backup-simplify]: Simplify (+ 4e-16 0) into 4e-16 4.564 * [backup-simplify]: Simplify (- 4e-16) into (- 4e-16) 4.565 * [backup-simplify]: Simplify (+ 4e-16 (- 4e-16)) into 0 4.565 * [backup-simplify]: Simplify 0 into 0 4.566 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 2e-16))) into 0 4.566 * [backup-simplify]: Simplify (+ 0 0) into 0 4.567 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 2e-16))) into 0 4.567 * [backup-simplify]: Simplify (+ 0 0) into 0 4.569 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 2e-16) (* 0 1.0))) into 3.9999999999999997e-32 4.570 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 1) (* 0 0))) into 0 4.570 * [backup-simplify]: Simplify (+ 0 0) into 0 4.570 * [backup-simplify]: Simplify (- 0) into 0 4.570 * [backup-simplify]: Simplify (+ 3.9999999999999997e-32 0) into 3.9999999999999997e-32 4.570 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 4.571 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 2e-16)))) into 0 4.571 * [backup-simplify]: Simplify (+ 0 0) into 0 4.572 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 2e-16)))) into 0 4.572 * [backup-simplify]: Simplify (+ 0 0) into 0 4.573 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 2e-16) (* 0 1.0)))) into 0 4.574 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 4.574 * [backup-simplify]: Simplify (+ 0 0) into 0 4.575 * [backup-simplify]: Simplify (- 0) into 0 4.575 * [backup-simplify]: Simplify (+ 0 0) into 0 4.575 * [backup-simplify]: Simplify 0 into 0 4.576 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0 4.577 * [backup-simplify]: Simplify (+ 0 0) into 0 4.578 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0 4.578 * [backup-simplify]: Simplify (+ 0 0) into 0 4.579 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0))))) into 0 4.579 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 4.580 * [backup-simplify]: Simplify (+ 0 0) into 0 4.580 * [backup-simplify]: Simplify (- 0) into 0 4.580 * [backup-simplify]: Simplify (+ 0 0) into 0 4.580 * [backup-simplify]: Simplify 0 into 0 4.581 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0 4.581 * [backup-simplify]: Simplify (+ 0 0) into 0 4.582 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0 4.582 * [backup-simplify]: Simplify (+ 0 0) into 0 4.583 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0)))))) into 0 4.584 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 4.584 * [backup-simplify]: Simplify (+ 0 0) into 0 4.584 * [backup-simplify]: Simplify (- 0) into 0 4.585 * [backup-simplify]: Simplify (+ 0 0) into 0 4.585 * [backup-simplify]: Simplify 0 into 0 4.586 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0 4.586 * [backup-simplify]: Simplify (+ 0 0) into 0 4.587 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0 4.587 * [backup-simplify]: Simplify (+ 0 0) into 0 4.588 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0))))))) into 0 4.589 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 4.589 * [backup-simplify]: Simplify (+ 0 0) into 0 4.589 * [backup-simplify]: Simplify (- 0) into 0 4.590 * [backup-simplify]: Simplify (+ 0 0) into 0 4.590 * [backup-simplify]: Simplify 0 into 0 4.591 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))))) into 0 4.591 * [backup-simplify]: Simplify (+ 0 0) into 0 4.592 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))))) into 0 4.592 * [backup-simplify]: Simplify (+ 0 0) into 0 4.593 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0)))))))) into 0 4.594 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 4.595 * [backup-simplify]: Simplify (+ 0 0) into 0 4.595 * [backup-simplify]: Simplify (- 0) into 0 4.595 * [backup-simplify]: Simplify (+ 0 0) into 0 4.595 * [backup-simplify]: Simplify 0 into 0 4.596 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))))) into 0 4.596 * [backup-simplify]: Simplify (+ 0 0) into 0 4.598 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))))) into 0 4.598 * [backup-simplify]: Simplify (+ 0 0) into 0 4.600 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0))))))))) into 0 4.601 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 4.601 * [backup-simplify]: Simplify (+ 0 0) into 0 4.602 * [backup-simplify]: Simplify (- 0) into 0 4.602 * [backup-simplify]: Simplify (+ 0 0) into 0 4.602 * [backup-simplify]: Simplify 0 into 0 4.602 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 4.602 * [backup-simplify]: Simplify (fma (fma (/ 1 t) 2e-16 1.0) (fma (/ 1 t) 2e-16 1.0) (- -1.0 (* (* 2e-16 (/ 1 t)) 2.0))) into (fma (fma (/ 1 t) 2e-16 1.0) (fma (/ 1 t) 2e-16 1.0) (- (+ (* 4e-16 (/ 1 t)) 1.0))) 4.602 * [approximate]: Taking taylor expansion of (fma (fma (/ 1 t) 2e-16 1.0) (fma (/ 1 t) 2e-16 1.0) (- (+ (* 4e-16 (/ 1 t)) 1.0))) in (t) around 0 4.602 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 t) 2e-16 1.0) (fma (/ 1 t) 2e-16 1.0) (- (+ (* 4e-16 (/ 1 t)) 1.0))) in t 4.602 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 t) 2e-16 1.0) (fma (/ 1 t) 2e-16 1.0)) (- (+ (* 4e-16 (/ 1 t)) 1.0))) 4.603 * [taylor]: Taking taylor expansion of (* (fma (/ 1 t) 2e-16 1.0) (fma (/ 1 t) 2e-16 1.0)) in t 4.603 * [taylor]: Taking taylor expansion of (fma (/ 1 t) 2e-16 1.0) in t 4.603 * [taylor]: Rewrote expression to (+ (* (/ 1 t) 2e-16) 1.0) 4.603 * [taylor]: Taking taylor expansion of (* (/ 1 t) 2e-16) in t 4.603 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.603 * [taylor]: Taking taylor expansion of t in t 4.603 * [backup-simplify]: Simplify 0 into 0 4.603 * [backup-simplify]: Simplify 1 into 1 4.603 * [backup-simplify]: Simplify (/ 1 1) into 1 4.603 * [taylor]: Taking taylor expansion of 2e-16 in t 4.603 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.603 * [taylor]: Taking taylor expansion of 1.0 in t 4.603 * [backup-simplify]: Simplify 1.0 into 1.0 4.603 * [taylor]: Taking taylor expansion of (fma (/ 1 t) 2e-16 1.0) in t 4.603 * [taylor]: Rewrote expression to (+ (* (/ 1 t) 2e-16) 1.0) 4.603 * [taylor]: Taking taylor expansion of (* (/ 1 t) 2e-16) in t 4.603 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.603 * [taylor]: Taking taylor expansion of t in t 4.603 * [backup-simplify]: Simplify 0 into 0 4.603 * [backup-simplify]: Simplify 1 into 1 4.604 * [backup-simplify]: Simplify (/ 1 1) into 1 4.604 * [taylor]: Taking taylor expansion of 2e-16 in t 4.604 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.604 * [taylor]: Taking taylor expansion of 1.0 in t 4.604 * [backup-simplify]: Simplify 1.0 into 1.0 4.604 * [taylor]: Taking taylor expansion of (- (+ (* 4e-16 (/ 1 t)) 1.0)) in t 4.604 * [taylor]: Taking taylor expansion of (+ (* 4e-16 (/ 1 t)) 1.0) in t 4.604 * [taylor]: Taking taylor expansion of (* 4e-16 (/ 1 t)) in t 4.604 * [taylor]: Taking taylor expansion of 4e-16 in t 4.604 * [backup-simplify]: Simplify 4e-16 into 4e-16 4.604 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.604 * [taylor]: Taking taylor expansion of t in t 4.604 * [backup-simplify]: Simplify 0 into 0 4.604 * [backup-simplify]: Simplify 1 into 1 4.604 * [backup-simplify]: Simplify (/ 1 1) into 1 4.604 * [taylor]: Taking taylor expansion of 1.0 in t 4.604 * [backup-simplify]: Simplify 1.0 into 1.0 4.604 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 t) 2e-16 1.0) (fma (/ 1 t) 2e-16 1.0) (- (+ (* 4e-16 (/ 1 t)) 1.0))) in t 4.604 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 t) 2e-16 1.0) (fma (/ 1 t) 2e-16 1.0)) (- (+ (* 4e-16 (/ 1 t)) 1.0))) 4.604 * [taylor]: Taking taylor expansion of (* (fma (/ 1 t) 2e-16 1.0) (fma (/ 1 t) 2e-16 1.0)) in t 4.604 * [taylor]: Taking taylor expansion of (fma (/ 1 t) 2e-16 1.0) in t 4.604 * [taylor]: Rewrote expression to (+ (* (/ 1 t) 2e-16) 1.0) 4.604 * [taylor]: Taking taylor expansion of (* (/ 1 t) 2e-16) in t 4.604 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.604 * [taylor]: Taking taylor expansion of t in t 4.604 * [backup-simplify]: Simplify 0 into 0 4.604 * [backup-simplify]: Simplify 1 into 1 4.605 * [backup-simplify]: Simplify (/ 1 1) into 1 4.605 * [taylor]: Taking taylor expansion of 2e-16 in t 4.605 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.605 * [taylor]: Taking taylor expansion of 1.0 in t 4.605 * [backup-simplify]: Simplify 1.0 into 1.0 4.605 * [taylor]: Taking taylor expansion of (fma (/ 1 t) 2e-16 1.0) in t 4.605 * [taylor]: Rewrote expression to (+ (* (/ 1 t) 2e-16) 1.0) 4.605 * [taylor]: Taking taylor expansion of (* (/ 1 t) 2e-16) in t 4.605 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.605 * [taylor]: Taking taylor expansion of t in t 4.605 * [backup-simplify]: Simplify 0 into 0 4.605 * [backup-simplify]: Simplify 1 into 1 4.605 * [backup-simplify]: Simplify (/ 1 1) into 1 4.605 * [taylor]: Taking taylor expansion of 2e-16 in t 4.605 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.605 * [taylor]: Taking taylor expansion of 1.0 in t 4.605 * [backup-simplify]: Simplify 1.0 into 1.0 4.605 * [taylor]: Taking taylor expansion of (- (+ (* 4e-16 (/ 1 t)) 1.0)) in t 4.605 * [taylor]: Taking taylor expansion of (+ (* 4e-16 (/ 1 t)) 1.0) in t 4.605 * [taylor]: Taking taylor expansion of (* 4e-16 (/ 1 t)) in t 4.606 * [taylor]: Taking taylor expansion of 4e-16 in t 4.606 * [backup-simplify]: Simplify 4e-16 into 4e-16 4.606 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.606 * [taylor]: Taking taylor expansion of t in t 4.606 * [backup-simplify]: Simplify 0 into 0 4.606 * [backup-simplify]: Simplify 1 into 1 4.606 * [backup-simplify]: Simplify (/ 1 1) into 1 4.606 * [taylor]: Taking taylor expansion of 1.0 in t 4.606 * [backup-simplify]: Simplify 1.0 into 1.0 4.606 * [backup-simplify]: Simplify (* 1 2e-16) into 2e-16 4.606 * [backup-simplify]: Simplify (+ 2e-16 0) into 2e-16 4.607 * [backup-simplify]: Simplify (* 1 2e-16) into 2e-16 4.607 * [backup-simplify]: Simplify (+ 2e-16 0) into 2e-16 4.607 * [backup-simplify]: Simplify (* 2e-16 2e-16) into 3.9999999999999997e-32 4.608 * [backup-simplify]: Simplify (+ 3.9999999999999997e-32 0) into 3.9999999999999997e-32 4.608 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 4.608 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.608 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 2e-16)) into 0 4.609 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 4.609 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.610 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 2e-16)) into 0 4.610 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 4.611 * [backup-simplify]: Simplify (+ (* 2e-16 1.0) (* 1.0 2e-16)) into 4e-16 4.611 * [backup-simplify]: Simplify (* 4e-16 1) into 4e-16 4.611 * [backup-simplify]: Simplify (+ 4e-16 0) into 4e-16 4.611 * [backup-simplify]: Simplify (- 4e-16) into (- 4e-16) 4.612 * [backup-simplify]: Simplify (+ 4e-16 (- 4e-16)) into 0 4.612 * [backup-simplify]: Simplify 0 into 0 4.612 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.613 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 2e-16))) into 0 4.613 * [backup-simplify]: Simplify (+ 0 0) into 0 4.614 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.615 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 2e-16))) into 0 4.616 * [backup-simplify]: Simplify (+ 0 0) into 0 4.618 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 1.0) (* 0 2e-16))) into 1.0 4.619 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.620 * [backup-simplify]: Simplify (+ (* 4e-16 0) (* 0 1)) into 0 4.620 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 4.620 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 4.621 * [backup-simplify]: Simplify (+ 1.0 (- 1.0)) into 0 4.621 * [backup-simplify]: Simplify 0 into 0 4.622 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.629 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))) into 0 4.630 * [backup-simplify]: Simplify (+ 0 0) into 0 4.631 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.632 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))) into 0 4.632 * [backup-simplify]: Simplify (+ 0 0) into 0 4.634 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 0) (+ (* 0 1.0) (* 0 2e-16)))) into 0 4.635 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.636 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (* 0 1))) into 0 4.636 * [backup-simplify]: Simplify (+ 0 0) into 0 4.636 * [backup-simplify]: Simplify (- 0) into 0 4.637 * [backup-simplify]: Simplify (+ 0 0) into 0 4.637 * [backup-simplify]: Simplify 0 into 0 4.638 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.639 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0 4.639 * [backup-simplify]: Simplify (+ 0 0) into 0 4.640 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.641 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0 4.641 * [backup-simplify]: Simplify (+ 0 0) into 0 4.642 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 2e-16))))) into 0 4.643 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.643 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.644 * [backup-simplify]: Simplify (+ 0 0) into 0 4.644 * [backup-simplify]: Simplify (- 0) into 0 4.644 * [backup-simplify]: Simplify (+ 0 0) into 0 4.644 * [backup-simplify]: Simplify 0 into 0 4.645 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.645 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0 4.646 * [backup-simplify]: Simplify (+ 0 0) into 0 4.646 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.647 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0 4.647 * [backup-simplify]: Simplify (+ 0 0) into 0 4.648 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 2e-16)))))) into 0 4.649 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.649 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.650 * [backup-simplify]: Simplify (+ 0 0) into 0 4.650 * [backup-simplify]: Simplify (- 0) into 0 4.650 * [backup-simplify]: Simplify (+ 0 0) into 0 4.650 * [backup-simplify]: Simplify 0 into 0 4.651 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.651 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0 4.652 * [backup-simplify]: Simplify (+ 0 0) into 0 4.652 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.653 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0 4.653 * [backup-simplify]: Simplify (+ 0 0) into 0 4.654 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 2e-16))))))) into 0 4.655 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.656 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.656 * [backup-simplify]: Simplify (+ 0 0) into 0 4.656 * [backup-simplify]: Simplify (- 0) into 0 4.656 * [backup-simplify]: Simplify (+ 0 0) into 0 4.656 * [backup-simplify]: Simplify 0 into 0 4.657 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 4.657 * [backup-simplify]: Simplify (fma (fma (/ 1 (- t)) 2e-16 1.0) (fma (/ 1 (- t)) 2e-16 1.0) (- -1.0 (* (* 2e-16 (/ 1 (- t))) 2.0))) into (fma (fma (/ -1 t) 2e-16 1.0) (fma (/ -1 t) 2e-16 1.0) (- (* 4e-16 (/ 1 t)) 1.0)) 4.657 * [approximate]: Taking taylor expansion of (fma (fma (/ -1 t) 2e-16 1.0) (fma (/ -1 t) 2e-16 1.0) (- (* 4e-16 (/ 1 t)) 1.0)) in (t) around 0 4.657 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 t) 2e-16 1.0) (fma (/ -1 t) 2e-16 1.0) (- (* 4e-16 (/ 1 t)) 1.0)) in t 4.657 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 t) 2e-16 1.0) (fma (/ -1 t) 2e-16 1.0)) (- (* 4e-16 (/ 1 t)) 1.0)) 4.657 * [taylor]: Taking taylor expansion of (* (fma (/ -1 t) 2e-16 1.0) (fma (/ -1 t) 2e-16 1.0)) in t 4.657 * [taylor]: Taking taylor expansion of (fma (/ -1 t) 2e-16 1.0) in t 4.657 * [taylor]: Rewrote expression to (+ (* (/ -1 t) 2e-16) 1.0) 4.657 * [taylor]: Taking taylor expansion of (* (/ -1 t) 2e-16) in t 4.657 * [taylor]: Taking taylor expansion of (/ -1 t) in t 4.657 * [taylor]: Taking taylor expansion of -1 in t 4.657 * [backup-simplify]: Simplify -1 into -1 4.657 * [taylor]: Taking taylor expansion of t in t 4.657 * [backup-simplify]: Simplify 0 into 0 4.657 * [backup-simplify]: Simplify 1 into 1 4.658 * [backup-simplify]: Simplify (/ -1 1) into -1 4.658 * [taylor]: Taking taylor expansion of 2e-16 in t 4.658 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.658 * [taylor]: Taking taylor expansion of 1.0 in t 4.658 * [backup-simplify]: Simplify 1.0 into 1.0 4.658 * [taylor]: Taking taylor expansion of (fma (/ -1 t) 2e-16 1.0) in t 4.658 * [taylor]: Rewrote expression to (+ (* (/ -1 t) 2e-16) 1.0) 4.658 * [taylor]: Taking taylor expansion of (* (/ -1 t) 2e-16) in t 4.658 * [taylor]: Taking taylor expansion of (/ -1 t) in t 4.658 * [taylor]: Taking taylor expansion of -1 in t 4.658 * [backup-simplify]: Simplify -1 into -1 4.658 * [taylor]: Taking taylor expansion of t in t 4.658 * [backup-simplify]: Simplify 0 into 0 4.658 * [backup-simplify]: Simplify 1 into 1 4.658 * [backup-simplify]: Simplify (/ -1 1) into -1 4.658 * [taylor]: Taking taylor expansion of 2e-16 in t 4.658 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.658 * [taylor]: Taking taylor expansion of 1.0 in t 4.658 * [backup-simplify]: Simplify 1.0 into 1.0 4.658 * [taylor]: Taking taylor expansion of (- (* 4e-16 (/ 1 t)) 1.0) in t 4.658 * [taylor]: Taking taylor expansion of (* 4e-16 (/ 1 t)) in t 4.658 * [taylor]: Taking taylor expansion of 4e-16 in t 4.658 * [backup-simplify]: Simplify 4e-16 into 4e-16 4.658 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.658 * [taylor]: Taking taylor expansion of t in t 4.658 * [backup-simplify]: Simplify 0 into 0 4.658 * [backup-simplify]: Simplify 1 into 1 4.659 * [backup-simplify]: Simplify (/ 1 1) into 1 4.659 * [taylor]: Taking taylor expansion of 1.0 in t 4.659 * [backup-simplify]: Simplify 1.0 into 1.0 4.659 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 t) 2e-16 1.0) (fma (/ -1 t) 2e-16 1.0) (- (* 4e-16 (/ 1 t)) 1.0)) in t 4.659 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 t) 2e-16 1.0) (fma (/ -1 t) 2e-16 1.0)) (- (* 4e-16 (/ 1 t)) 1.0)) 4.659 * [taylor]: Taking taylor expansion of (* (fma (/ -1 t) 2e-16 1.0) (fma (/ -1 t) 2e-16 1.0)) in t 4.659 * [taylor]: Taking taylor expansion of (fma (/ -1 t) 2e-16 1.0) in t 4.659 * [taylor]: Rewrote expression to (+ (* (/ -1 t) 2e-16) 1.0) 4.659 * [taylor]: Taking taylor expansion of (* (/ -1 t) 2e-16) in t 4.659 * [taylor]: Taking taylor expansion of (/ -1 t) in t 4.659 * [taylor]: Taking taylor expansion of -1 in t 4.659 * [backup-simplify]: Simplify -1 into -1 4.659 * [taylor]: Taking taylor expansion of t in t 4.659 * [backup-simplify]: Simplify 0 into 0 4.659 * [backup-simplify]: Simplify 1 into 1 4.659 * [backup-simplify]: Simplify (/ -1 1) into -1 4.659 * [taylor]: Taking taylor expansion of 2e-16 in t 4.659 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.659 * [taylor]: Taking taylor expansion of 1.0 in t 4.659 * [backup-simplify]: Simplify 1.0 into 1.0 4.659 * [taylor]: Taking taylor expansion of (fma (/ -1 t) 2e-16 1.0) in t 4.659 * [taylor]: Rewrote expression to (+ (* (/ -1 t) 2e-16) 1.0) 4.659 * [taylor]: Taking taylor expansion of (* (/ -1 t) 2e-16) in t 4.659 * [taylor]: Taking taylor expansion of (/ -1 t) in t 4.659 * [taylor]: Taking taylor expansion of -1 in t 4.659 * [backup-simplify]: Simplify -1 into -1 4.660 * [taylor]: Taking taylor expansion of t in t 4.660 * [backup-simplify]: Simplify 0 into 0 4.660 * [backup-simplify]: Simplify 1 into 1 4.660 * [backup-simplify]: Simplify (/ -1 1) into -1 4.660 * [taylor]: Taking taylor expansion of 2e-16 in t 4.660 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.660 * [taylor]: Taking taylor expansion of 1.0 in t 4.660 * [backup-simplify]: Simplify 1.0 into 1.0 4.660 * [taylor]: Taking taylor expansion of (- (* 4e-16 (/ 1 t)) 1.0) in t 4.660 * [taylor]: Taking taylor expansion of (* 4e-16 (/ 1 t)) in t 4.660 * [taylor]: Taking taylor expansion of 4e-16 in t 4.660 * [backup-simplify]: Simplify 4e-16 into 4e-16 4.660 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.660 * [taylor]: Taking taylor expansion of t in t 4.660 * [backup-simplify]: Simplify 0 into 0 4.660 * [backup-simplify]: Simplify 1 into 1 4.660 * [backup-simplify]: Simplify (/ 1 1) into 1 4.660 * [taylor]: Taking taylor expansion of 1.0 in t 4.660 * [backup-simplify]: Simplify 1.0 into 1.0 4.661 * [backup-simplify]: Simplify (* -1 2e-16) into -2e-16 4.661 * [backup-simplify]: Simplify (+ -2e-16 0) into (- 2e-16) 4.661 * [backup-simplify]: Simplify (* -1 2e-16) into -2e-16 4.661 * [backup-simplify]: Simplify (+ -2e-16 0) into (- 2e-16) 4.662 * [backup-simplify]: Simplify (* (- 2e-16) (- 2e-16)) into 3.9999999999999997e-32 4.662 * [backup-simplify]: Simplify (+ 3.9999999999999997e-32 0) into 3.9999999999999997e-32 4.662 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 4.663 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 4.663 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 2e-16)) into 0 4.664 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 4.664 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 4.665 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 2e-16)) into 0 4.665 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 4.666 * [backup-simplify]: Simplify (+ (* (- 2e-16) 1.0) (* 1.0 (- 2e-16))) into (- 4e-16) 4.667 * [backup-simplify]: Simplify (* 4e-16 1) into 4e-16 4.667 * [backup-simplify]: Simplify (+ 4e-16 0) into 4e-16 4.667 * [backup-simplify]: Simplify (+ (- 4e-16) 4e-16) into 0 4.668 * [backup-simplify]: Simplify 0 into 0 4.668 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.669 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 2e-16))) into 0 4.669 * [backup-simplify]: Simplify (+ 0 0) into 0 4.670 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.671 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 2e-16))) into 0 4.671 * [backup-simplify]: Simplify (+ 0 0) into 0 4.674 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 1.0) (* 0 (- 2e-16)))) into 1.0 4.675 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.675 * [backup-simplify]: Simplify (+ (* 4e-16 0) (* 0 1)) into 0 4.676 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 4.676 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 4.677 * [backup-simplify]: Simplify (+ 1.0 (- 1.0)) into 0 4.677 * [backup-simplify]: Simplify 0 into 0 4.678 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.679 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))) into 0 4.680 * [backup-simplify]: Simplify (+ 0 0) into 0 4.680 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.682 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))) into 0 4.682 * [backup-simplify]: Simplify (+ 0 0) into 0 4.683 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 0) (+ (* 0 1.0) (* 0 (- 2e-16))))) into 0 4.684 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.685 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (* 0 1))) into 0 4.685 * [backup-simplify]: Simplify (- 0) into 0 4.686 * [backup-simplify]: Simplify (+ 0 0) into 0 4.686 * [backup-simplify]: Simplify (+ 0 0) into 0 4.686 * [backup-simplify]: Simplify 0 into 0 4.687 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.688 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0 4.689 * [backup-simplify]: Simplify (+ 0 0) into 0 4.690 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.691 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0 4.691 * [backup-simplify]: Simplify (+ 0 0) into 0 4.693 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 (- 2e-16)))))) into 0 4.693 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.694 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.695 * [backup-simplify]: Simplify (- 0) into 0 4.695 * [backup-simplify]: Simplify (+ 0 0) into 0 4.695 * [backup-simplify]: Simplify (+ 0 0) into 0 4.696 * [backup-simplify]: Simplify 0 into 0 4.696 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.698 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0 4.698 * [backup-simplify]: Simplify (+ 0 0) into 0 4.699 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.700 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0 4.701 * [backup-simplify]: Simplify (+ 0 0) into 0 4.703 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 (- 2e-16))))))) into 0 4.703 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.705 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.705 * [backup-simplify]: Simplify (- 0) into 0 4.705 * [backup-simplify]: Simplify (+ 0 0) into 0 4.705 * [backup-simplify]: Simplify (+ 0 0) into 0 4.705 * [backup-simplify]: Simplify 0 into 0 4.706 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.707 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0 4.707 * [backup-simplify]: Simplify (+ 0 0) into 0 4.708 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.709 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0 4.709 * [backup-simplify]: Simplify (+ 0 0) into 0 4.710 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 (- 2e-16)))))))) into 0 4.710 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.711 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.711 * [backup-simplify]: Simplify (- 0) into 0 4.712 * [backup-simplify]: Simplify (+ 0 0) into 0 4.712 * [backup-simplify]: Simplify (+ 0 0) into 0 4.712 * [backup-simplify]: Simplify 0 into 0 4.712 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 4.712 * * * [progress]: simplifying candidates 4.713 * [simplify]: Simplifying: (expm1 (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* (* 2e-16 t) 2.0)))) (log1p (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* (* 2e-16 t) 2.0)))) (* (fma t 2e-16 1.0) (fma t 2e-16 1.0)) (log (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* (* 2e-16 t) 2.0)))) (exp (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* (* 2e-16 t) 2.0)))) (* (cbrt (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* (* 2e-16 t) 2.0)))) (cbrt (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* (* 2e-16 t) 2.0))))) (cbrt (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* (* 2e-16 t) 2.0)))) (* (* (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* (* 2e-16 t) 2.0))) (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* (* 2e-16 t) 2.0)))) (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* (* 2e-16 t) 2.0)))) (sqrt (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* (* 2e-16 t) 2.0)))) (sqrt (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* (* 2e-16 t) 2.0)))) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) 4.713 * * [simplify]: iteration 0: 24 enodes 4.717 * * [simplify]: iteration 1: 39 enodes 4.731 * * [simplify]: iteration 2: 91 enodes 4.765 * * [simplify]: iteration 3: 265 enodes 4.933 * * [simplify]: iteration 4: 1396 enodes 5.512 * * [simplify]: iteration complete: 5001 enodes 5.512 * * [simplify]: Extracting #0: cost 10 inf + 0 5.512 * * [simplify]: Extracting #1: cost 137 inf + 0 5.516 * * [simplify]: Extracting #2: cost 933 inf + 1208 5.541 * * [simplify]: Extracting #3: cost 1305 inf + 82516 5.724 * * [simplify]: Extracting #4: cost 275 inf + 435610 5.928 * * [simplify]: Extracting #5: cost 7 inf + 518827 6.179 * * [simplify]: Extracting #6: cost 0 inf + 519102 6.409 * [simplify]: Simplified to: (expm1 (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) (- -1.0 (* t (* 2.0 2e-16))))) (log1p (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) (- -1.0 (* t (* 2.0 2e-16))))) (* (fma 2e-16 t 1.0) (fma 2e-16 t 1.0)) (log (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) (- -1.0 (* t (* 2.0 2e-16))))) (exp (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) (- -1.0 (* t (* 2.0 2e-16))))) (* (cbrt (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) (- -1.0 (* t (* 2.0 2e-16))))) (cbrt (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) (- -1.0 (* t (* 2.0 2e-16)))))) (cbrt (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) (- -1.0 (* t (* 2.0 2e-16))))) (* (* (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) (- -1.0 (* t (* 2.0 2e-16)))) (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) (- -1.0 (* t (* 2.0 2e-16))))) (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) (- -1.0 (* t (* 2.0 2e-16))))) (sqrt (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) (- -1.0 (* t (* 2.0 2e-16))))) (sqrt (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) (- -1.0 (* t (* 2.0 2e-16))))) (* (* t 3.9999999999999997e-32) t) (* (* t 3.9999999999999997e-32) t) (* (* t 3.9999999999999997e-32) t) 6.410 * * * [progress]: adding candidates to table 6.480 * * [progress]: iteration 2 / 4 6.480 * * * [progress]: picking best candidate 6.482 * * * * [pick]: Picked # 6.482 * * * [progress]: localizing error 6.487 * * * [progress]: generating rewritten candidates 6.487 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 6.503 * * * [progress]: generating series expansions 6.503 * * * * [progress]: [ 1 / 1 ] generating series at (2) 6.503 * [backup-simplify]: Simplify (* (* t 3.9999999999999997e-32) t) into (* 3.9999999999999997e-32 (pow t 2)) 6.503 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 6.503 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 6.503 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.503 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.503 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.503 * [taylor]: Taking taylor expansion of t in t 6.503 * [backup-simplify]: Simplify 0 into 0 6.503 * [backup-simplify]: Simplify 1 into 1 6.503 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 6.503 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.503 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.503 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.503 * [taylor]: Taking taylor expansion of t in t 6.503 * [backup-simplify]: Simplify 0 into 0 6.503 * [backup-simplify]: Simplify 1 into 1 6.504 * [backup-simplify]: Simplify (* 1 1) into 1 6.504 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 6.504 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.505 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.505 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 6.505 * [backup-simplify]: Simplify 0 into 0 6.506 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.507 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 6.507 * [backup-simplify]: Simplify 0 into 0 6.509 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.510 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.510 * [backup-simplify]: Simplify 0 into 0 6.511 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.512 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.513 * [backup-simplify]: Simplify 0 into 0 6.514 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.516 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.516 * [backup-simplify]: Simplify 0 into 0 6.517 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.518 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.519 * [backup-simplify]: Simplify 0 into 0 6.519 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 6.519 * [backup-simplify]: Simplify (* (* (/ 1 t) 3.9999999999999997e-32) (/ 1 t)) into (/ 3.9999999999999997e-32 (pow t 2)) 6.519 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 6.519 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 6.519 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.519 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.519 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.519 * [taylor]: Taking taylor expansion of t in t 6.519 * [backup-simplify]: Simplify 0 into 0 6.519 * [backup-simplify]: Simplify 1 into 1 6.519 * [backup-simplify]: Simplify (* 1 1) into 1 6.519 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 6.520 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 6.520 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.520 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.520 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.520 * [taylor]: Taking taylor expansion of t in t 6.520 * [backup-simplify]: Simplify 0 into 0 6.520 * [backup-simplify]: Simplify 1 into 1 6.520 * [backup-simplify]: Simplify (* 1 1) into 1 6.520 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 6.520 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.521 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.521 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 6.521 * [backup-simplify]: Simplify 0 into 0 6.522 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.522 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.522 * [backup-simplify]: Simplify 0 into 0 6.523 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.523 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.523 * [backup-simplify]: Simplify 0 into 0 6.524 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.525 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.525 * [backup-simplify]: Simplify 0 into 0 6.525 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.526 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.526 * [backup-simplify]: Simplify 0 into 0 6.527 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.528 * [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 6.528 * [backup-simplify]: Simplify 0 into 0 6.528 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 6.528 * [backup-simplify]: Simplify (* (* (/ 1 (- t)) 3.9999999999999997e-32) (/ 1 (- t))) into (/ 3.9999999999999997e-32 (pow t 2)) 6.528 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 6.528 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 6.528 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.528 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.528 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.528 * [taylor]: Taking taylor expansion of t in t 6.528 * [backup-simplify]: Simplify 0 into 0 6.528 * [backup-simplify]: Simplify 1 into 1 6.528 * [backup-simplify]: Simplify (* 1 1) into 1 6.529 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 6.529 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 6.529 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.529 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.529 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.529 * [taylor]: Taking taylor expansion of t in t 6.529 * [backup-simplify]: Simplify 0 into 0 6.529 * [backup-simplify]: Simplify 1 into 1 6.529 * [backup-simplify]: Simplify (* 1 1) into 1 6.529 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 6.529 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.530 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.530 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 6.530 * [backup-simplify]: Simplify 0 into 0 6.531 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.531 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.531 * [backup-simplify]: Simplify 0 into 0 6.532 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.532 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.533 * [backup-simplify]: Simplify 0 into 0 6.533 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.534 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.534 * [backup-simplify]: Simplify 0 into 0 6.535 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.535 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.535 * [backup-simplify]: Simplify 0 into 0 6.536 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.537 * [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 6.537 * [backup-simplify]: Simplify 0 into 0 6.537 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 6.537 * * * [progress]: simplifying candidates 6.537 * [simplify]: Simplifying: (expm1 (* (* t 3.9999999999999997e-32) t)) (log1p (* (* t 3.9999999999999997e-32) t)) (* (* t 3.9999999999999997e-32) t) (* (* t 3.9999999999999997e-32) t) (+ (+ (log t) (log 3.9999999999999997e-32)) (log t)) (+ (log (* t 3.9999999999999997e-32)) (log t)) (log (* (* t 3.9999999999999997e-32) t)) (exp (* (* t 3.9999999999999997e-32) t)) (* (* (* (* t t) t) (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32)) (* (* t t) t)) (* (* (* (* t 3.9999999999999997e-32) (* t 3.9999999999999997e-32)) (* t 3.9999999999999997e-32)) (* (* t t) t)) (* (cbrt (* (* t 3.9999999999999997e-32) t)) (cbrt (* (* t 3.9999999999999997e-32) t))) (cbrt (* (* t 3.9999999999999997e-32) t)) (* (* (* (* t 3.9999999999999997e-32) t) (* (* t 3.9999999999999997e-32) t)) (* (* t 3.9999999999999997e-32) t)) (sqrt (* (* t 3.9999999999999997e-32) t)) (sqrt (* (* t 3.9999999999999997e-32) t)) (* (* t 3.9999999999999997e-32) (* (cbrt t) (cbrt t))) (* (* t 3.9999999999999997e-32) (sqrt t)) (* (* t 3.9999999999999997e-32) 1) (* 3.9999999999999997e-32 t) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) 6.538 * * [simplify]: iteration 0: 39 enodes 6.547 * * [simplify]: iteration 1: 100 enodes 6.598 * * [simplify]: iteration 2: 341 enodes 6.929 * * [simplify]: iteration 3: 1299 enodes 8.003 * * [simplify]: iteration complete: 5009 enodes 8.003 * * [simplify]: Extracting #0: cost 12 inf + 0 8.004 * * [simplify]: Extracting #1: cost 433 inf + 0 8.009 * * [simplify]: Extracting #2: cost 1567 inf + 3254 8.033 * * [simplify]: Extracting #3: cost 1199 inf + 85260 8.118 * * [simplify]: Extracting #4: cost 171 inf + 233647 8.190 * * [simplify]: Extracting #5: cost 2 inf + 263101 8.283 * * [simplify]: Extracting #6: cost 0 inf + 263707 8.369 * [simplify]: Simplified to: (expm1 (* t (* 3.9999999999999997e-32 t))) (log1p (* t (* 3.9999999999999997e-32 t))) (* t (* 3.9999999999999997e-32 t)) (* t (* 3.9999999999999997e-32 t)) (log (* t (* 3.9999999999999997e-32 t))) (log (* t (* 3.9999999999999997e-32 t))) (log (* t (* 3.9999999999999997e-32 t))) (exp (* t (* 3.9999999999999997e-32 t))) (* (* (* t (* 3.9999999999999997e-32 t)) (* t (* 3.9999999999999997e-32 t))) (* t (* 3.9999999999999997e-32 t))) (* (* (* t (* 3.9999999999999997e-32 t)) (* t (* 3.9999999999999997e-32 t))) (* t (* 3.9999999999999997e-32 t))) (* (cbrt (* t (* 3.9999999999999997e-32 t))) (cbrt (* t (* 3.9999999999999997e-32 t)))) (cbrt (* t (* 3.9999999999999997e-32 t))) (* (* (* t (* 3.9999999999999997e-32 t)) (* t (* 3.9999999999999997e-32 t))) (* t (* 3.9999999999999997e-32 t))) (sqrt (* t (* 3.9999999999999997e-32 t))) (sqrt (* t (* 3.9999999999999997e-32 t))) (* (* t 3.9999999999999997e-32) (* (cbrt t) (cbrt t))) (* (* (sqrt t) t) 3.9999999999999997e-32) (* 3.9999999999999997e-32 t) (* 3.9999999999999997e-32 t) (* t (* 3.9999999999999997e-32 t)) (* t (* 3.9999999999999997e-32 t)) (* t (* 3.9999999999999997e-32 t)) 8.370 * * * [progress]: adding candidates to table 8.445 * * [progress]: iteration 3 / 4 8.445 * * * [progress]: picking best candidate 8.476 * * * * [pick]: Picked # 8.476 * * * [progress]: localizing error 8.493 * * * [progress]: generating rewritten candidates 8.493 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 8.576 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 8.590 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 8.614 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 8.644 * * * [progress]: generating series expansions 8.645 * * * * [progress]: [ 1 / 4 ] generating series at (2) 8.645 * [backup-simplify]: Simplify (* (sqrt (* (* t 3.9999999999999997e-32) t)) (sqrt (* (* t 3.9999999999999997e-32) t))) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) 8.645 * [approximate]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) in (t) around 0 8.645 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) in t 8.645 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.645 * [taylor]: Taking taylor expansion of t in t 8.645 * [backup-simplify]: Simplify 0 into 0 8.645 * [backup-simplify]: Simplify 1 into 1 8.645 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t 8.645 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 8.645 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 8.645 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 8.646 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 8.647 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.647 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) in t 8.647 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.647 * [taylor]: Taking taylor expansion of t in t 8.647 * [backup-simplify]: Simplify 0 into 0 8.647 * [backup-simplify]: Simplify 1 into 1 8.647 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t 8.647 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 8.647 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 8.647 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 8.648 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 8.649 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.649 * [backup-simplify]: Simplify (* 1 1) into 1 8.650 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2) 8.652 * [backup-simplify]: Simplify (* 1 (pow (sqrt 3.9999999999999997e-32) 2)) into (pow (sqrt 3.9999999999999997e-32) 2) 8.653 * [backup-simplify]: Simplify (pow (sqrt 3.9999999999999997e-32) 2) into (pow (sqrt 3.9999999999999997e-32) 2) 8.654 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0 8.655 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.656 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2))) into 0 8.656 * [backup-simplify]: Simplify 0 into 0 8.657 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.658 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0 8.658 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.659 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2)))) into 0 8.659 * [backup-simplify]: Simplify 0 into 0 8.660 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.660 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0 8.661 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.662 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2))))) into 0 8.662 * [backup-simplify]: Simplify 0 into 0 8.663 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.663 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0 8.664 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.665 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2)))))) into 0 8.665 * [backup-simplify]: Simplify 0 into 0 8.666 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.667 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0 8.668 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.669 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2))))))) into 0 8.669 * [backup-simplify]: Simplify 0 into 0 8.670 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.670 * [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 8.671 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.672 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2)))))))) into 0 8.672 * [backup-simplify]: Simplify 0 into 0 8.673 * [backup-simplify]: Simplify (* (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) 8.673 * [backup-simplify]: Simplify (* (sqrt (* (* (/ 1 t) 3.9999999999999997e-32) (/ 1 t))) (sqrt (* (* (/ 1 t) 3.9999999999999997e-32) (/ 1 t)))) into (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) 8.673 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in (t) around 0 8.673 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t 8.673 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t 8.673 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 8.674 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 8.674 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 8.674 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 8.674 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.674 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.674 * [taylor]: Taking taylor expansion of t in t 8.674 * [backup-simplify]: Simplify 0 into 0 8.674 * [backup-simplify]: Simplify 1 into 1 8.675 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2) 8.675 * [backup-simplify]: Simplify (* 1 1) into 1 8.676 * [backup-simplify]: Simplify (/ (pow (sqrt 3.9999999999999997e-32) 2) 1) into (pow (sqrt 3.9999999999999997e-32) 2) 8.676 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t 8.676 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t 8.676 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 8.676 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 8.676 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 8.677 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 8.677 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.677 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.677 * [taylor]: Taking taylor expansion of t in t 8.677 * [backup-simplify]: Simplify 0 into 0 8.677 * [backup-simplify]: Simplify 1 into 1 8.678 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2) 8.678 * [backup-simplify]: Simplify (* 1 1) into 1 8.679 * [backup-simplify]: Simplify (/ (pow (sqrt 3.9999999999999997e-32) 2) 1) into (pow (sqrt 3.9999999999999997e-32) 2) 8.680 * [backup-simplify]: Simplify (pow (sqrt 3.9999999999999997e-32) 2) into (pow (sqrt 3.9999999999999997e-32) 2) 8.680 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0 8.681 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.681 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)))) into 0 8.681 * [backup-simplify]: Simplify 0 into 0 8.682 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.683 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0 8.683 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.684 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.684 * [backup-simplify]: Simplify 0 into 0 8.685 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.685 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0 8.686 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.687 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.687 * [backup-simplify]: Simplify 0 into 0 8.687 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.688 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0 8.689 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.690 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.690 * [backup-simplify]: Simplify 0 into 0 8.690 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.691 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0 8.692 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.693 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.693 * [backup-simplify]: Simplify 0 into 0 8.694 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.694 * [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 8.695 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.696 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.696 * [backup-simplify]: Simplify 0 into 0 8.697 * [backup-simplify]: Simplify (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (/ 1 (/ 1 t)) 2)) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) 8.697 * [backup-simplify]: Simplify (* (sqrt (* (* (/ 1 (- t)) 3.9999999999999997e-32) (/ 1 (- t)))) (sqrt (* (* (/ 1 (- t)) 3.9999999999999997e-32) (/ 1 (- t))))) into (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) 8.697 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in (t) around 0 8.697 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t 8.697 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t 8.697 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 8.697 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 8.697 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 8.697 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 8.698 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.698 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.698 * [taylor]: Taking taylor expansion of t in t 8.698 * [backup-simplify]: Simplify 0 into 0 8.698 * [backup-simplify]: Simplify 1 into 1 8.699 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2) 8.699 * [backup-simplify]: Simplify (* 1 1) into 1 8.700 * [backup-simplify]: Simplify (/ (pow (sqrt 3.9999999999999997e-32) 2) 1) into (pow (sqrt 3.9999999999999997e-32) 2) 8.700 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t 8.700 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t 8.700 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 8.700 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 8.700 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 8.700 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 8.701 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.701 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.701 * [taylor]: Taking taylor expansion of t in t 8.701 * [backup-simplify]: Simplify 0 into 0 8.701 * [backup-simplify]: Simplify 1 into 1 8.702 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2) 8.702 * [backup-simplify]: Simplify (* 1 1) into 1 8.703 * [backup-simplify]: Simplify (/ (pow (sqrt 3.9999999999999997e-32) 2) 1) into (pow (sqrt 3.9999999999999997e-32) 2) 8.704 * [backup-simplify]: Simplify (pow (sqrt 3.9999999999999997e-32) 2) into (pow (sqrt 3.9999999999999997e-32) 2) 8.704 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0 8.704 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.705 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)))) into 0 8.705 * [backup-simplify]: Simplify 0 into 0 8.706 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.706 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0 8.707 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.708 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.708 * [backup-simplify]: Simplify 0 into 0 8.708 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.709 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0 8.710 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.711 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.711 * [backup-simplify]: Simplify 0 into 0 8.713 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.714 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0 8.715 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.717 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.717 * [backup-simplify]: Simplify 0 into 0 8.718 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.719 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0 8.721 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.727 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.727 * [backup-simplify]: Simplify 0 into 0 8.729 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.730 * [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 8.732 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.733 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.733 * [backup-simplify]: Simplify 0 into 0 8.735 * [backup-simplify]: Simplify (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (/ 1 (/ 1 (- t))) 2)) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) 8.735 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 8.735 * [backup-simplify]: Simplify (* (* t 3.9999999999999997e-32) t) into (* 3.9999999999999997e-32 (pow t 2)) 8.735 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 8.735 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 8.735 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 8.735 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 8.735 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.735 * [taylor]: Taking taylor expansion of t in t 8.735 * [backup-simplify]: Simplify 0 into 0 8.735 * [backup-simplify]: Simplify 1 into 1 8.735 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 8.735 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 8.735 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 8.735 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.735 * [taylor]: Taking taylor expansion of t in t 8.735 * [backup-simplify]: Simplify 0 into 0 8.735 * [backup-simplify]: Simplify 1 into 1 8.736 * [backup-simplify]: Simplify (* 1 1) into 1 8.736 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 8.736 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 8.737 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.737 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 8.737 * [backup-simplify]: Simplify 0 into 0 8.738 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.739 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 8.739 * [backup-simplify]: Simplify 0 into 0 8.740 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.741 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.741 * [backup-simplify]: Simplify 0 into 0 8.743 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.744 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.744 * [backup-simplify]: Simplify 0 into 0 8.746 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.747 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.747 * [backup-simplify]: Simplify 0 into 0 8.749 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.750 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.750 * [backup-simplify]: Simplify 0 into 0 8.751 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 8.751 * [backup-simplify]: Simplify (* (* (/ 1 t) 3.9999999999999997e-32) (/ 1 t)) into (/ 3.9999999999999997e-32 (pow t 2)) 8.751 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 8.751 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 8.751 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 8.751 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 8.751 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.751 * [taylor]: Taking taylor expansion of t in t 8.751 * [backup-simplify]: Simplify 0 into 0 8.751 * [backup-simplify]: Simplify 1 into 1 8.751 * [backup-simplify]: Simplify (* 1 1) into 1 8.752 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 8.752 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 8.752 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 8.752 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 8.752 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.752 * [taylor]: Taking taylor expansion of t in t 8.752 * [backup-simplify]: Simplify 0 into 0 8.752 * [backup-simplify]: Simplify 1 into 1 8.752 * [backup-simplify]: Simplify (* 1 1) into 1 8.753 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 8.753 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 8.754 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.754 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 8.755 * [backup-simplify]: Simplify 0 into 0 8.755 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.756 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.756 * [backup-simplify]: Simplify 0 into 0 8.757 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.758 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.758 * [backup-simplify]: Simplify 0 into 0 8.760 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.761 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.761 * [backup-simplify]: Simplify 0 into 0 8.762 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.763 * [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.763 * [backup-simplify]: Simplify 0 into 0 8.764 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.766 * [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.766 * [backup-simplify]: Simplify 0 into 0 8.766 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 8.766 * [backup-simplify]: Simplify (* (* (/ 1 (- t)) 3.9999999999999997e-32) (/ 1 (- t))) into (/ 3.9999999999999997e-32 (pow t 2)) 8.766 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 8.766 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 8.766 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 8.766 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 8.766 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.766 * [taylor]: Taking taylor expansion of t in t 8.766 * [backup-simplify]: Simplify 0 into 0 8.766 * [backup-simplify]: Simplify 1 into 1 8.767 * [backup-simplify]: Simplify (* 1 1) into 1 8.767 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 8.767 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 8.767 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 8.767 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 8.767 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.767 * [taylor]: Taking taylor expansion of t in t 8.767 * [backup-simplify]: Simplify 0 into 0 8.767 * [backup-simplify]: Simplify 1 into 1 8.768 * [backup-simplify]: Simplify (* 1 1) into 1 8.768 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 8.768 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 8.769 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.770 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 8.770 * [backup-simplify]: Simplify 0 into 0 8.770 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.771 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.771 * [backup-simplify]: Simplify 0 into 0 8.771 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.772 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.772 * [backup-simplify]: Simplify 0 into 0 8.773 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.773 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.773 * [backup-simplify]: Simplify 0 into 0 8.774 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.775 * [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.775 * [backup-simplify]: Simplify 0 into 0 8.776 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.776 * [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.776 * [backup-simplify]: Simplify 0 into 0 8.776 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 8.776 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 8.776 * [backup-simplify]: Simplify (* (* t 3.9999999999999997e-32) t) into (* 3.9999999999999997e-32 (pow t 2)) 8.777 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 8.777 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 8.777 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 8.777 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 8.777 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.777 * [taylor]: Taking taylor expansion of t in t 8.777 * [backup-simplify]: Simplify 0 into 0 8.777 * [backup-simplify]: Simplify 1 into 1 8.777 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 8.777 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 8.777 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 8.777 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.777 * [taylor]: Taking taylor expansion of t in t 8.777 * [backup-simplify]: Simplify 0 into 0 8.777 * [backup-simplify]: Simplify 1 into 1 8.777 * [backup-simplify]: Simplify (* 1 1) into 1 8.777 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 8.777 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 8.778 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.778 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 8.778 * [backup-simplify]: Simplify 0 into 0 8.779 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.779 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 8.779 * [backup-simplify]: Simplify 0 into 0 8.780 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.781 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.781 * [backup-simplify]: Simplify 0 into 0 8.781 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.782 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.782 * [backup-simplify]: Simplify 0 into 0 8.783 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.784 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.784 * [backup-simplify]: Simplify 0 into 0 8.784 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.785 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.785 * [backup-simplify]: Simplify 0 into 0 8.786 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 8.786 * [backup-simplify]: Simplify (* (* (/ 1 t) 3.9999999999999997e-32) (/ 1 t)) into (/ 3.9999999999999997e-32 (pow t 2)) 8.786 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 8.786 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 8.786 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 8.786 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 8.786 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.786 * [taylor]: Taking taylor expansion of t in t 8.786 * [backup-simplify]: Simplify 0 into 0 8.786 * [backup-simplify]: Simplify 1 into 1 8.786 * [backup-simplify]: Simplify (* 1 1) into 1 8.786 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 8.786 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 8.786 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 8.786 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 8.786 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.786 * [taylor]: Taking taylor expansion of t in t 8.786 * [backup-simplify]: Simplify 0 into 0 8.786 * [backup-simplify]: Simplify 1 into 1 8.787 * [backup-simplify]: Simplify (* 1 1) into 1 8.787 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 8.787 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 8.787 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.788 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 8.788 * [backup-simplify]: Simplify 0 into 0 8.788 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.789 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.789 * [backup-simplify]: Simplify 0 into 0 8.790 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.790 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.790 * [backup-simplify]: Simplify 0 into 0 8.791 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.792 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.792 * [backup-simplify]: Simplify 0 into 0 8.792 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.793 * [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.793 * [backup-simplify]: Simplify 0 into 0 8.794 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.794 * [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.794 * [backup-simplify]: Simplify 0 into 0 8.795 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 8.795 * [backup-simplify]: Simplify (* (* (/ 1 (- t)) 3.9999999999999997e-32) (/ 1 (- t))) into (/ 3.9999999999999997e-32 (pow t 2)) 8.795 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 8.795 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 8.795 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 8.795 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 8.795 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.795 * [taylor]: Taking taylor expansion of t in t 8.795 * [backup-simplify]: Simplify 0 into 0 8.795 * [backup-simplify]: Simplify 1 into 1 8.795 * [backup-simplify]: Simplify (* 1 1) into 1 8.795 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 8.795 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 8.795 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 8.796 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 8.796 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.796 * [taylor]: Taking taylor expansion of t in t 8.796 * [backup-simplify]: Simplify 0 into 0 8.796 * [backup-simplify]: Simplify 1 into 1 8.796 * [backup-simplify]: Simplify (* 1 1) into 1 8.796 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 8.796 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 8.797 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.797 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 8.797 * [backup-simplify]: Simplify 0 into 0 8.798 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.798 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.798 * [backup-simplify]: Simplify 0 into 0 8.799 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.800 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.800 * [backup-simplify]: Simplify 0 into 0 8.800 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.801 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.801 * [backup-simplify]: Simplify 0 into 0 8.802 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.803 * [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.803 * [backup-simplify]: Simplify 0 into 0 8.805 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.806 * [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.806 * [backup-simplify]: Simplify 0 into 0 8.806 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 8.806 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 8.806 * [backup-simplify]: Simplify (sqrt (* (* t 3.9999999999999997e-32) t)) into (* t (sqrt 3.9999999999999997e-32)) 8.806 * [approximate]: Taking taylor expansion of (* t (sqrt 3.9999999999999997e-32)) in (t) around 0 8.806 * [taylor]: Taking taylor expansion of (* t (sqrt 3.9999999999999997e-32)) in t 8.806 * [taylor]: Taking taylor expansion of t in t 8.806 * [backup-simplify]: Simplify 0 into 0 8.806 * [backup-simplify]: Simplify 1 into 1 8.806 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 8.806 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 8.806 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 8.807 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 8.807 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.807 * [taylor]: Taking taylor expansion of (* t (sqrt 3.9999999999999997e-32)) in t 8.808 * [taylor]: Taking taylor expansion of t in t 8.808 * [backup-simplify]: Simplify 0 into 0 8.808 * [backup-simplify]: Simplify 1 into 1 8.808 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 8.808 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 8.808 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 8.808 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 8.809 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.809 * [backup-simplify]: Simplify (* 0 (sqrt 3.9999999999999997e-32)) into 0 8.809 * [backup-simplify]: Simplify 0 into 0 8.811 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt 3.9999999999999997e-32))) into (sqrt 3.9999999999999997e-32) 8.812 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 8.813 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.814 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0 8.814 * [backup-simplify]: Simplify 0 into 0 8.815 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.816 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0 8.816 * [backup-simplify]: Simplify 0 into 0 8.818 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.819 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0 8.819 * [backup-simplify]: Simplify 0 into 0 8.821 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.822 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0 8.822 * [backup-simplify]: Simplify 0 into 0 8.824 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.826 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))))) into 0 8.826 * [backup-simplify]: Simplify 0 into 0 8.827 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.829 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))))) into 0 8.829 * [backup-simplify]: Simplify 0 into 0 8.829 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) t) into (* t (sqrt 3.9999999999999997e-32)) 8.830 * [backup-simplify]: Simplify (sqrt (* (* (/ 1 t) 3.9999999999999997e-32) (/ 1 t))) into (/ (sqrt 3.9999999999999997e-32) t) 8.830 * [approximate]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) t) in (t) around 0 8.830 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) t) in t 8.830 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 8.830 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 8.830 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 8.830 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 8.831 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.831 * [taylor]: Taking taylor expansion of t in t 8.831 * [backup-simplify]: Simplify 0 into 0 8.831 * [backup-simplify]: Simplify 1 into 1 8.832 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32) 8.832 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) t) in t 8.832 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 8.832 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 8.832 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 8.832 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 8.833 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.833 * [taylor]: Taking taylor expansion of t in t 8.833 * [backup-simplify]: Simplify 0 into 0 8.833 * [backup-simplify]: Simplify 1 into 1 8.834 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32) 8.834 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 8.836 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)))) into 0 8.836 * [backup-simplify]: Simplify 0 into 0 8.837 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.838 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.838 * [backup-simplify]: Simplify 0 into 0 8.839 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.841 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.841 * [backup-simplify]: Simplify 0 into 0 8.842 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.843 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.843 * [backup-simplify]: Simplify 0 into 0 8.844 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.846 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.846 * [backup-simplify]: Simplify 0 into 0 8.847 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.854 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.854 * [backup-simplify]: Simplify 0 into 0 8.854 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (/ 1 (/ 1 t))) into (* t (sqrt 3.9999999999999997e-32)) 8.855 * [backup-simplify]: Simplify (sqrt (* (* (/ 1 (- t)) 3.9999999999999997e-32) (/ 1 (- t)))) into (/ (sqrt 3.9999999999999997e-32) t) 8.855 * [approximate]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) t) in (t) around 0 8.855 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) t) in t 8.855 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 8.855 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 8.855 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 8.855 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 8.856 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.856 * [taylor]: Taking taylor expansion of t in t 8.856 * [backup-simplify]: Simplify 0 into 0 8.856 * [backup-simplify]: Simplify 1 into 1 8.857 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32) 8.857 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) t) in t 8.857 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 8.857 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 8.857 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 8.858 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 8.858 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.858 * [taylor]: Taking taylor expansion of t in t 8.858 * [backup-simplify]: Simplify 0 into 0 8.858 * [backup-simplify]: Simplify 1 into 1 8.859 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32) 8.860 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 8.861 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)))) into 0 8.861 * [backup-simplify]: Simplify 0 into 0 8.862 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.862 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.862 * [backup-simplify]: Simplify 0 into 0 8.863 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.864 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.864 * [backup-simplify]: Simplify 0 into 0 8.864 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.865 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.865 * [backup-simplify]: Simplify 0 into 0 8.866 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.866 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.866 * [backup-simplify]: Simplify 0 into 0 8.867 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 8.868 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.868 * [backup-simplify]: Simplify 0 into 0 8.868 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (/ 1 (/ 1 (- t)))) into (* -1 (* t (sqrt 3.9999999999999997e-32))) 8.868 * * * [progress]: simplifying candidates 8.870 * [simplify]: Simplifying: (expm1 (* (sqrt (* (* t 3.9999999999999997e-32) t)) (sqrt (* (* t 3.9999999999999997e-32) t)))) (log1p (* (sqrt (* (* t 3.9999999999999997e-32) t)) (sqrt (* (* t 3.9999999999999997e-32) t)))) (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1/2 (/ 1 2)) (+ 1/2 (/ 1 2)) (+ 1 1) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) (/ 1 2)) (* (* (* t 3.9999999999999997e-32) t) (* (* t 3.9999999999999997e-32) t)) (* (sqrt (* (* t 3.9999999999999997e-32) t)) (sqrt (* (* t 3.9999999999999997e-32) t))) (* (* (* t 3.9999999999999997e-32) t) (* (* t 3.9999999999999997e-32) t)) (* (* (* t 3.9999999999999997e-32) t) (* (* t 3.9999999999999997e-32) t)) (* (* (* t 3.9999999999999997e-32) t) (* (* t 3.9999999999999997e-32) t)) (* (* (* t 3.9999999999999997e-32) t) (* (* t 3.9999999999999997e-32) t)) (* (* (* t 3.9999999999999997e-32) t) (* (* t 3.9999999999999997e-32) t)) (* (* (* t 3.9999999999999997e-32) t) (* (* t 3.9999999999999997e-32) t)) (* (* (* t 3.9999999999999997e-32) t) (* (* t 3.9999999999999997e-32) t)) (* (* (* t 3.9999999999999997e-32) t) (* (* t 3.9999999999999997e-32) t)) (* (* (* t 3.9999999999999997e-32) t) (* (* t 3.9999999999999997e-32) t)) (+ 1 1) (+ (log (sqrt (* (* t 3.9999999999999997e-32) t))) (log (sqrt (* (* t 3.9999999999999997e-32) t)))) (log (* (sqrt (* (* t 3.9999999999999997e-32) t)) (sqrt (* (* t 3.9999999999999997e-32) t)))) (exp (* (sqrt (* (* t 3.9999999999999997e-32) t)) (sqrt (* (* t 3.9999999999999997e-32) t)))) (* (* (* (sqrt (* (* t 3.9999999999999997e-32) t)) (sqrt (* (* t 3.9999999999999997e-32) t))) (sqrt (* (* t 3.9999999999999997e-32) t))) (* (* (sqrt (* (* t 3.9999999999999997e-32) t)) (sqrt (* (* t 3.9999999999999997e-32) t))) (sqrt (* (* t 3.9999999999999997e-32) t)))) (* (cbrt (* (sqrt (* (* t 3.9999999999999997e-32) t)) (sqrt (* (* t 3.9999999999999997e-32) t)))) (cbrt (* (sqrt (* (* t 3.9999999999999997e-32) t)) (sqrt (* (* t 3.9999999999999997e-32) t))))) (cbrt (* (sqrt (* (* t 3.9999999999999997e-32) t)) (sqrt (* (* t 3.9999999999999997e-32) t)))) (* (* (* (sqrt (* (* t 3.9999999999999997e-32) t)) (sqrt (* (* t 3.9999999999999997e-32) t))) (* (sqrt (* (* t 3.9999999999999997e-32) t)) (sqrt (* (* t 3.9999999999999997e-32) t)))) (* (sqrt (* (* t 3.9999999999999997e-32) t)) (sqrt (* (* t 3.9999999999999997e-32) t)))) (* (* (* t 3.9999999999999997e-32) t) (* (* t 3.9999999999999997e-32) t)) (sqrt (* (sqrt (* (* t 3.9999999999999997e-32) t)) (sqrt (* (* t 3.9999999999999997e-32) t)))) (sqrt (* (sqrt (* (* t 3.9999999999999997e-32) t)) (sqrt (* (* t 3.9999999999999997e-32) t)))) (* (* (cbrt (sqrt (* (* t 3.9999999999999997e-32) t))) (cbrt (sqrt (* (* t 3.9999999999999997e-32) t)))) (* (cbrt (sqrt (* (* t 3.9999999999999997e-32) t))) (cbrt (sqrt (* (* t 3.9999999999999997e-32) t))))) (* (cbrt (sqrt (* (* t 3.9999999999999997e-32) t))) (cbrt (sqrt (* (* t 3.9999999999999997e-32) t)))) (* (sqrt (* t 3.9999999999999997e-32)) (sqrt (* t 3.9999999999999997e-32))) (* (sqrt t) (sqrt t)) (* (sqrt (sqrt (* (* t 3.9999999999999997e-32) t))) (sqrt (sqrt (* (* t 3.9999999999999997e-32) t)))) (* (sqrt (sqrt (* (* t 3.9999999999999997e-32) t))) (sqrt (sqrt (* (* t 3.9999999999999997e-32) t)))) (* 1 1) (* (sqrt (* (* t 3.9999999999999997e-32) t)) (sqrt (* (* t 3.9999999999999997e-32) t))) (* (sqrt (sqrt (* (* t 3.9999999999999997e-32) t))) (sqrt (sqrt (* (* t 3.9999999999999997e-32) t)))) (* (sqrt (sqrt (* (* t 3.9999999999999997e-32) t))) (sqrt (sqrt (* (* t 3.9999999999999997e-32) t)))) (* 2 1/2) (* 2 1) (* 2 (/ 1 2)) (* 2 (/ 1 2)) (* 2 (/ 1 2)) (* 2 (/ 1 2)) (* 2 (/ 1 2)) (* 2 (/ 1 2)) (* 2 (/ 1 2)) (* 2 (/ 1 2)) (* 2 (/ 1 2)) (* (sqrt (* (* t 3.9999999999999997e-32) t)) (* (cbrt (sqrt (* (* t 3.9999999999999997e-32) t))) (cbrt (sqrt (* (* t 3.9999999999999997e-32) t))))) (* (sqrt (* (* t 3.9999999999999997e-32) t)) (sqrt (* t 3.9999999999999997e-32))) (* (sqrt (* (* t 3.9999999999999997e-32) t)) (sqrt (sqrt (* (* t 3.9999999999999997e-32) t)))) (* (sqrt (* (* t 3.9999999999999997e-32) t)) 1) (* (cbrt (sqrt (* (* t 3.9999999999999997e-32) t))) (sqrt (* (* t 3.9999999999999997e-32) t))) (* (sqrt t) (sqrt (* (* t 3.9999999999999997e-32) t))) (* (sqrt (sqrt (* (* t 3.9999999999999997e-32) t))) (sqrt (* (* t 3.9999999999999997e-32) t))) (* (sqrt (* (* t 3.9999999999999997e-32) t)) (sqrt (* (* t 3.9999999999999997e-32) t))) (expm1 (* (* t 3.9999999999999997e-32) t)) (log1p (* (* t 3.9999999999999997e-32) t)) (* (* t 3.9999999999999997e-32) t) (* (* t 3.9999999999999997e-32) t) (+ (+ (log t) (log 3.9999999999999997e-32)) (log t)) (+ (log (* t 3.9999999999999997e-32)) (log t)) (log (* (* t 3.9999999999999997e-32) t)) (exp (* (* t 3.9999999999999997e-32) t)) (* (* (* (* t t) t) (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32)) (* (* t t) t)) (* (* (* (* t 3.9999999999999997e-32) (* t 3.9999999999999997e-32)) (* t 3.9999999999999997e-32)) (* (* t t) t)) (* (cbrt (* (* t 3.9999999999999997e-32) t)) (cbrt (* (* t 3.9999999999999997e-32) t))) (cbrt (* (* t 3.9999999999999997e-32) t)) (* (* (* (* t 3.9999999999999997e-32) t) (* (* t 3.9999999999999997e-32) t)) (* (* t 3.9999999999999997e-32) t)) (sqrt (* (* t 3.9999999999999997e-32) t)) (sqrt (* (* t 3.9999999999999997e-32) t)) (* (* t 3.9999999999999997e-32) (* (cbrt t) (cbrt t))) (* (* t 3.9999999999999997e-32) (sqrt t)) (* (* t 3.9999999999999997e-32) 1) (* 3.9999999999999997e-32 t) (expm1 (* (* t 3.9999999999999997e-32) t)) (log1p (* (* t 3.9999999999999997e-32) t)) (* (* t 3.9999999999999997e-32) t) (* (* t 3.9999999999999997e-32) t) (+ (+ (log t) (log 3.9999999999999997e-32)) (log t)) (+ (log (* t 3.9999999999999997e-32)) (log t)) (log (* (* t 3.9999999999999997e-32) t)) (exp (* (* t 3.9999999999999997e-32) t)) (* (* (* (* t t) t) (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32)) (* (* t t) t)) (* (* (* (* t 3.9999999999999997e-32) (* t 3.9999999999999997e-32)) (* t 3.9999999999999997e-32)) (* (* t t) t)) (* (cbrt (* (* t 3.9999999999999997e-32) t)) (cbrt (* (* t 3.9999999999999997e-32) t))) (cbrt (* (* t 3.9999999999999997e-32) t)) (* (* (* (* t 3.9999999999999997e-32) t) (* (* t 3.9999999999999997e-32) t)) (* (* t 3.9999999999999997e-32) t)) (sqrt (* (* t 3.9999999999999997e-32) t)) (sqrt (* (* t 3.9999999999999997e-32) t)) (* (* t 3.9999999999999997e-32) (* (cbrt t) (cbrt t))) (* (* t 3.9999999999999997e-32) (sqrt t)) (* (* t 3.9999999999999997e-32) 1) (* 3.9999999999999997e-32 t) (expm1 (sqrt (* (* t 3.9999999999999997e-32) t))) (log1p (sqrt (* (* t 3.9999999999999997e-32) t))) (log (sqrt (* (* t 3.9999999999999997e-32) t))) (exp (sqrt (* (* t 3.9999999999999997e-32) t))) (* (cbrt (sqrt (* (* t 3.9999999999999997e-32) t))) (cbrt (sqrt (* (* t 3.9999999999999997e-32) t)))) (cbrt (sqrt (* (* t 3.9999999999999997e-32) t))) (* (* (sqrt (* (* t 3.9999999999999997e-32) t)) (sqrt (* (* t 3.9999999999999997e-32) t))) (sqrt (* (* t 3.9999999999999997e-32) t))) (sqrt (* t 3.9999999999999997e-32)) (sqrt t) (/ 1 2) (/ 1 2) (/ 1 2) (sqrt (sqrt (* (* t 3.9999999999999997e-32) t))) (sqrt (sqrt (* (* t 3.9999999999999997e-32) t))) (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 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)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)) (* -1 (* t (sqrt 3.9999999999999997e-32))) 8.871 * * [simplify]: iteration 0: 88 enodes 8.895 * * [simplify]: iteration 1: 214 enodes 9.007 * * [simplify]: iteration 2: 456 enodes 9.338 * * [simplify]: iteration 3: 1467 enodes 10.266 * * [simplify]: iteration complete: 5007 enodes 10.267 * * [simplify]: Extracting #0: cost 35 inf + 0 10.269 * * [simplify]: Extracting #1: cost 635 inf + 45 10.278 * * [simplify]: Extracting #2: cost 1441 inf + 7505 10.306 * * [simplify]: Extracting #3: cost 1321 inf + 58109 10.353 * * [simplify]: Extracting #4: cost 961 inf + 141101 10.437 * * [simplify]: Extracting #5: cost 226 inf + 367619 10.538 * * [simplify]: Extracting #6: cost 0 inf + 442642 10.643 * [simplify]: Simplified to: (expm1 (* t (* t 3.9999999999999997e-32))) (log1p (* t (* t 3.9999999999999997e-32))) 1 1 1 1 2 1 1 1 1 1 1 1 1 1 1 1 1 (* (* (* t 3.9999999999999997e-32) t) (* (* t 3.9999999999999997e-32) t)) (* t (* t 3.9999999999999997e-32)) (* (* (* t 3.9999999999999997e-32) t) (* (* t 3.9999999999999997e-32) t)) (* (* (* t 3.9999999999999997e-32) t) (* (* t 3.9999999999999997e-32) t)) (* (* (* t 3.9999999999999997e-32) t) (* (* t 3.9999999999999997e-32) t)) (* (* (* t 3.9999999999999997e-32) t) (* (* t 3.9999999999999997e-32) t)) (* (* (* t 3.9999999999999997e-32) t) (* (* t 3.9999999999999997e-32) t)) (* (* (* t 3.9999999999999997e-32) t) (* (* t 3.9999999999999997e-32) t)) (* (* (* t 3.9999999999999997e-32) t) (* (* t 3.9999999999999997e-32) t)) (* (* (* t 3.9999999999999997e-32) t) (* (* t 3.9999999999999997e-32) t)) (* (* (* t 3.9999999999999997e-32) t) (* (* t 3.9999999999999997e-32) t)) 2 (log (* t (* t 3.9999999999999997e-32))) (log (* t (* t 3.9999999999999997e-32))) (exp (* t (* t 3.9999999999999997e-32))) (* (* (* (* t 3.9999999999999997e-32) t) (* (* t 3.9999999999999997e-32) t)) (* t (* t 3.9999999999999997e-32))) (* (cbrt (* t (* t 3.9999999999999997e-32))) (cbrt (* t (* t 3.9999999999999997e-32)))) (cbrt (* t (* t 3.9999999999999997e-32))) (* (* (* (* t 3.9999999999999997e-32) t) (* (* t 3.9999999999999997e-32) t)) (* t (* t 3.9999999999999997e-32))) (* (* (* t 3.9999999999999997e-32) t) (* (* t 3.9999999999999997e-32) t)) (sqrt (* t (* t 3.9999999999999997e-32))) (sqrt (* t (* t 3.9999999999999997e-32))) (* (sqrt (* t (* t 3.9999999999999997e-32))) (cbrt (sqrt (* t (* t 3.9999999999999997e-32))))) (* (cbrt (sqrt (* t (* t 3.9999999999999997e-32)))) (cbrt (sqrt (* t (* t 3.9999999999999997e-32))))) (* t 3.9999999999999997e-32) t (sqrt (* t (* t 3.9999999999999997e-32))) (sqrt (* t (* t 3.9999999999999997e-32))) 1 (* t (* t 3.9999999999999997e-32)) (sqrt (* t (* t 3.9999999999999997e-32))) (sqrt (* t (* t 3.9999999999999997e-32))) 1 2 1 1 1 1 1 1 1 1 1 (* (* (cbrt (sqrt (* t (* t 3.9999999999999997e-32)))) (cbrt (sqrt (* t (* t 3.9999999999999997e-32))))) (sqrt (* t (* t 3.9999999999999997e-32)))) (* (sqrt (* t (* t 3.9999999999999997e-32))) (sqrt (* t 3.9999999999999997e-32))) (* (sqrt (* t (* t 3.9999999999999997e-32))) (sqrt (sqrt (* t (* t 3.9999999999999997e-32))))) (sqrt (* t (* t 3.9999999999999997e-32))) (* (sqrt (* t (* t 3.9999999999999997e-32))) (cbrt (sqrt (* t (* t 3.9999999999999997e-32))))) (* (sqrt t) (sqrt (* t (* t 3.9999999999999997e-32)))) (* (sqrt (* t (* t 3.9999999999999997e-32))) (sqrt (sqrt (* t (* t 3.9999999999999997e-32))))) (* t (* t 3.9999999999999997e-32)) (expm1 (* t (* t 3.9999999999999997e-32))) (log1p (* t (* t 3.9999999999999997e-32))) (* t (* t 3.9999999999999997e-32)) (* t (* t 3.9999999999999997e-32)) (log (* t (* t 3.9999999999999997e-32))) (log (* t (* t 3.9999999999999997e-32))) (log (* t (* t 3.9999999999999997e-32))) (exp (* t (* t 3.9999999999999997e-32))) (* (* (* (* t 3.9999999999999997e-32) t) (* (* t 3.9999999999999997e-32) t)) (* t (* t 3.9999999999999997e-32))) (* (* (* (* t 3.9999999999999997e-32) t) (* (* t 3.9999999999999997e-32) t)) (* t (* t 3.9999999999999997e-32))) (* (cbrt (* t (* t 3.9999999999999997e-32))) (cbrt (* t (* t 3.9999999999999997e-32)))) (cbrt (* t (* t 3.9999999999999997e-32))) (* (* (* (* t 3.9999999999999997e-32) t) (* (* t 3.9999999999999997e-32) t)) (* t (* t 3.9999999999999997e-32))) (sqrt (* t (* t 3.9999999999999997e-32))) (sqrt (* t (* t 3.9999999999999997e-32))) (* (* t 3.9999999999999997e-32) (* (cbrt t) (cbrt t))) (* (sqrt t) (* t 3.9999999999999997e-32)) (* t 3.9999999999999997e-32) (* t 3.9999999999999997e-32) (expm1 (* t (* t 3.9999999999999997e-32))) (log1p (* t (* t 3.9999999999999997e-32))) (* t (* t 3.9999999999999997e-32)) (* t (* t 3.9999999999999997e-32)) (log (* t (* t 3.9999999999999997e-32))) (log (* t (* t 3.9999999999999997e-32))) (log (* t (* t 3.9999999999999997e-32))) (exp (* t (* t 3.9999999999999997e-32))) (* (* (* (* t 3.9999999999999997e-32) t) (* (* t 3.9999999999999997e-32) t)) (* t (* t 3.9999999999999997e-32))) (* (* (* (* t 3.9999999999999997e-32) t) (* (* t 3.9999999999999997e-32) t)) (* t (* t 3.9999999999999997e-32))) (* (cbrt (* t (* t 3.9999999999999997e-32))) (cbrt (* t (* t 3.9999999999999997e-32)))) (cbrt (* t (* t 3.9999999999999997e-32))) (* (* (* (* t 3.9999999999999997e-32) t) (* (* t 3.9999999999999997e-32) t)) (* t (* t 3.9999999999999997e-32))) (sqrt (* t (* t 3.9999999999999997e-32))) (sqrt (* t (* t 3.9999999999999997e-32))) (* (* t 3.9999999999999997e-32) (* (cbrt t) (cbrt t))) (* (sqrt t) (* t 3.9999999999999997e-32)) (* t 3.9999999999999997e-32) (* t 3.9999999999999997e-32) (expm1 (sqrt (* t (* t 3.9999999999999997e-32)))) (log1p (sqrt (* t (* t 3.9999999999999997e-32)))) (log (sqrt (* t (* t 3.9999999999999997e-32)))) (exp (sqrt (* t (* t 3.9999999999999997e-32)))) (* (cbrt (sqrt (* t (* t 3.9999999999999997e-32)))) (cbrt (sqrt (* t (* t 3.9999999999999997e-32))))) (cbrt (sqrt (* t (* t 3.9999999999999997e-32)))) (* (sqrt (* t (* t 3.9999999999999997e-32))) (* t (* t 3.9999999999999997e-32))) (sqrt (* t 3.9999999999999997e-32)) (sqrt t) 1/2 1/2 1/2 (sqrt (sqrt (* t (* t 3.9999999999999997e-32)))) (sqrt (sqrt (* t (* t 3.9999999999999997e-32)))) (* 3.9999999999999997e-32 (* t t)) (* 3.9999999999999997e-32 (* t t)) (* 3.9999999999999997e-32 (* t t)) (* 3.9999999999999997e-32 (* t t)) (* 3.9999999999999997e-32 (* t t)) (* 3.9999999999999997e-32 (* t t)) (* 3.9999999999999997e-32 (* t t)) (* 3.9999999999999997e-32 (* t t)) (* 3.9999999999999997e-32 (* t t)) (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (- t)) 10.647 * * * [progress]: adding candidates to table 11.035 * * [progress]: iteration 4 / 4 11.035 * * * [progress]: picking best candidate 11.069 * * * * [pick]: Picked # 11.069 * * * [progress]: localizing error 11.078 * * * [progress]: generating rewritten candidates 11.078 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 11.109 * * * [progress]: generating series expansions 11.109 * * * * [progress]: [ 1 / 1 ] generating series at (2) 11.109 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (* t t)) into (* 3.9999999999999997e-32 (pow t 2)) 11.109 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 11.109 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 11.109 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 11.109 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 11.109 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.109 * [taylor]: Taking taylor expansion of t in t 11.109 * [backup-simplify]: Simplify 0 into 0 11.109 * [backup-simplify]: Simplify 1 into 1 11.109 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 11.109 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 11.109 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 11.109 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.109 * [taylor]: Taking taylor expansion of t in t 11.109 * [backup-simplify]: Simplify 0 into 0 11.109 * [backup-simplify]: Simplify 1 into 1 11.110 * [backup-simplify]: Simplify (* 1 1) into 1 11.111 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 11.111 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 11.111 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.112 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 11.112 * [backup-simplify]: Simplify 0 into 0 11.113 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.114 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 11.114 * [backup-simplify]: Simplify 0 into 0 11.115 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.116 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.116 * [backup-simplify]: Simplify 0 into 0 11.117 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.119 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.119 * [backup-simplify]: Simplify 0 into 0 11.120 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 11.122 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 11.122 * [backup-simplify]: Simplify 0 into 0 11.124 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 11.125 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 11.125 * [backup-simplify]: Simplify 0 into 0 11.125 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 11.126 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (* (/ 1 t) (/ 1 t))) into (/ 3.9999999999999997e-32 (pow t 2)) 11.126 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 11.126 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 11.126 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 11.126 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 11.126 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.126 * [taylor]: Taking taylor expansion of t in t 11.126 * [backup-simplify]: Simplify 0 into 0 11.126 * [backup-simplify]: Simplify 1 into 1 11.126 * [backup-simplify]: Simplify (* 1 1) into 1 11.127 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 11.127 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 11.127 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 11.127 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 11.127 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.127 * [taylor]: Taking taylor expansion of t in t 11.127 * [backup-simplify]: Simplify 0 into 0 11.127 * [backup-simplify]: Simplify 1 into 1 11.127 * [backup-simplify]: Simplify (* 1 1) into 1 11.128 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 11.128 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 11.129 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.129 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 11.130 * [backup-simplify]: Simplify 0 into 0 11.130 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.131 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.132 * [backup-simplify]: Simplify 0 into 0 11.133 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.134 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.134 * [backup-simplify]: Simplify 0 into 0 11.135 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.137 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.137 * [backup-simplify]: Simplify 0 into 0 11.138 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 11.139 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.139 * [backup-simplify]: Simplify 0 into 0 11.141 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 11.142 * [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 11.143 * [backup-simplify]: Simplify 0 into 0 11.143 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 11.143 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (* (/ 1 (- t)) (/ 1 (- t)))) into (/ 3.9999999999999997e-32 (pow t 2)) 11.143 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 11.143 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 11.143 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 11.143 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 11.143 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.143 * [taylor]: Taking taylor expansion of t in t 11.143 * [backup-simplify]: Simplify 0 into 0 11.143 * [backup-simplify]: Simplify 1 into 1 11.144 * [backup-simplify]: Simplify (* 1 1) into 1 11.144 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 11.144 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 11.144 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 11.144 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 11.144 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.144 * [taylor]: Taking taylor expansion of t in t 11.144 * [backup-simplify]: Simplify 0 into 0 11.144 * [backup-simplify]: Simplify 1 into 1 11.145 * [backup-simplify]: Simplify (* 1 1) into 1 11.145 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 11.145 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 11.146 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.147 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 11.147 * [backup-simplify]: Simplify 0 into 0 11.148 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.149 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.149 * [backup-simplify]: Simplify 0 into 0 11.150 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.151 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.151 * [backup-simplify]: Simplify 0 into 0 11.153 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.154 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.154 * [backup-simplify]: Simplify 0 into 0 11.155 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 11.156 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.156 * [backup-simplify]: Simplify 0 into 0 11.158 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 11.159 * [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 11.159 * [backup-simplify]: Simplify 0 into 0 11.159 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 11.159 * * * [progress]: simplifying candidates 11.160 * [simplify]: Simplifying: (expm1 (* 3.9999999999999997e-32 (* t t))) (log1p (* 3.9999999999999997e-32 (* t t))) (* 3.9999999999999997e-32 (* t t)) (* 3.9999999999999997e-32 (* t t)) (+ (log 3.9999999999999997e-32) (+ (log t) (log t))) (+ (log 3.9999999999999997e-32) (log (* t t))) (log (* 3.9999999999999997e-32 (* t t))) (exp (* 3.9999999999999997e-32 (* t t))) (* (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32) (* (* (* t t) t) (* (* t t) t))) (* (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32) (* (* (* t t) (* t t)) (* t t))) (* (cbrt (* 3.9999999999999997e-32 (* t t))) (cbrt (* 3.9999999999999997e-32 (* t t)))) (cbrt (* 3.9999999999999997e-32 (* t t))) (* (* (* 3.9999999999999997e-32 (* t t)) (* 3.9999999999999997e-32 (* t t))) (* 3.9999999999999997e-32 (* t t))) (sqrt (* 3.9999999999999997e-32 (* t t))) (sqrt (* 3.9999999999999997e-32 (* t t))) (* (sqrt 3.9999999999999997e-32) t) (* (sqrt 3.9999999999999997e-32) t) (* 3.9999999999999997e-32 t) (* (cbrt 3.9999999999999997e-32) (* t t)) (* (sqrt 3.9999999999999997e-32) (* t t)) (* 3.9999999999999997e-32 (* t t)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) 11.161 * * [simplify]: iteration 0: 36 enodes 11.178 * * [simplify]: iteration 1: 90 enodes 11.229 * * [simplify]: iteration 2: 261 enodes 11.493 * * [simplify]: iteration 3: 1093 enodes 14.586 * * [simplify]: iteration complete: 5001 enodes 14.586 * * [simplify]: Extracting #0: cost 13 inf + 0 14.587 * * [simplify]: Extracting #1: cost 240 inf + 0 14.592 * * [simplify]: Extracting #2: cost 1062 inf + 7541 14.636 * * [simplify]: Extracting #3: cost 303 inf + 98999 14.710 * * [simplify]: Extracting #4: cost 11 inf + 141897 14.782 * * [simplify]: Extracting #5: cost 0 inf + 144622 14.838 * [simplify]: Simplified to: (expm1 (* (* t t) 3.9999999999999997e-32)) (log1p (* (* t t) 3.9999999999999997e-32)) (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32) (log (* (* t t) 3.9999999999999997e-32)) (log (* (* t t) 3.9999999999999997e-32)) (log (* (* t t) 3.9999999999999997e-32)) (exp (* (* t t) 3.9999999999999997e-32)) (* (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32)) (* (* t t) 3.9999999999999997e-32)) (* (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32)) (* (* t t) 3.9999999999999997e-32)) (* (cbrt (* (* t t) 3.9999999999999997e-32)) (cbrt (* (* t t) 3.9999999999999997e-32))) (cbrt (* (* t t) 3.9999999999999997e-32)) (* (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32)) (* (* t t) 3.9999999999999997e-32)) (sqrt (* (* t t) 3.9999999999999997e-32)) (sqrt (* (* t t) 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)) (* 3.9999999999999997e-32 t) (* (* (cbrt 3.9999999999999997e-32) t) t) (* (* t t) (sqrt 3.9999999999999997e-32)) (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32) 14.840 * * * [progress]: adding candidates to table 14.912 * [progress]: [Phase 3 of 3] Extracting. 14.912 * * [regime]: Finding splitpoints for: (# # # # # # # # # #) 14.914 * * * [regime-changes]: Trying 1 branch expressions: (t) 14.914 * * * * [regimes]: Trying to branch on t from (# # # # # # # # # #) 15.000 * * * [regime]: Found split indices: #