24.403 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.062 * * * [progress]: [2/2] Setting up program.
0.067 * [progress]: [Phase 2 of 3] Improving.
0.068 * [simplify]: Simplifying:
  (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))
0.068 * * [simplify]: iteration 0: 11 enodes
0.075 * * [simplify]: iteration 1: 27 enodes
0.093 * * [simplify]: iteration 2: 84 enodes
0.178 * * [simplify]: iteration 3: 250 enodes
0.459 * * [simplify]: iteration 4: 652 enodes
1.390 * * [simplify]: iteration 5: 1650 enodes
4.500 * * [simplify]: iteration 6: 4178 enodes
6.288 * * [simplify]: iteration complete: 5000 enodes
6.289 * * [simplify]: Extracting #0: cost 1 inf + 0
6.289 * * [simplify]: Extracting #1: cost 114 inf + 0
6.293 * * [simplify]: Extracting #2: cost 497 inf + 1
6.302 * * [simplify]: Extracting #3: cost 511 inf + 6294
6.339 * * [simplify]: Extracting #4: cost 163 inf + 58079
6.409 * * [simplify]: Extracting #5: cost 8 inf + 91684
6.482 * * [simplify]: Extracting #6: cost 0 inf + 93877
6.558 * [simplify]: Simplified to:
  (+ -1.0 (- (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0)) (* 2.0 (* 2e-16 t))))
6.559 * * [progress]: iteration 1 / 4
6.559 * * * [progress]: picking best candidate
6.565 * * * * [pick]: Picked  #<alt (λ (t) (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))))>
6.566 * * * [progress]: localizing error
6.592 * * * [progress]: generating rewritten candidates
6.592 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
6.643 * * * [progress]: generating series expansions
6.643 * * * * [progress]: [ 1 / 1 ] generating series at (2)
6.643 * [backup-simplify]: Simplify (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))) into (* 3.9999999999999997e-32 (pow t 2))
6.643 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
6.644 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
6.644 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
6.644 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
6.644 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.644 * [taylor]: Taking taylor expansion of t in t
6.644 * [backup-simplify]: Simplify 0 into 0
6.644 * [backup-simplify]: Simplify 1 into 1
6.644 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
6.644 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
6.644 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
6.644 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.644 * [taylor]: Taking taylor expansion of t in t
6.644 * [backup-simplify]: Simplify 0 into 0
6.644 * [backup-simplify]: Simplify 1 into 1
6.645 * [backup-simplify]: Simplify (* 1 1) into 1
6.645 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
6.645 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
6.646 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.646 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
6.647 * [backup-simplify]: Simplify 0 into 0
6.647 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.648 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
6.648 * [backup-simplify]: Simplify 0 into 0
6.649 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.651 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.651 * [backup-simplify]: Simplify 0 into 0
6.652 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.653 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.654 * [backup-simplify]: Simplify 0 into 0
6.655 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.657 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.657 * [backup-simplify]: Simplify 0 into 0
6.659 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.660 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.660 * [backup-simplify]: Simplify 0 into 0
6.661 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
6.662 * [backup-simplify]: Simplify (+ (* (+ 1.0 (* (/ 1 t) 2e-16)) (+ 1.0 (* (/ 1 t) 2e-16))) (- -1.0 (* 2.0 (* (/ 1 t) 2e-16)))) into (* 3.9999999999999997e-32 (/ 1 (pow t 2)))
6.662 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in (t) around 0
6.662 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in t
6.662 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
6.662 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
6.662 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
6.662 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.662 * [taylor]: Taking taylor expansion of t in t
6.662 * [backup-simplify]: Simplify 0 into 0
6.662 * [backup-simplify]: Simplify 1 into 1
6.662 * [backup-simplify]: Simplify (* 1 1) into 1
6.663 * [backup-simplify]: Simplify (/ 1 1) into 1
6.663 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in t
6.663 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
6.663 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
6.663 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
6.663 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.663 * [taylor]: Taking taylor expansion of t in t
6.663 * [backup-simplify]: Simplify 0 into 0
6.663 * [backup-simplify]: Simplify 1 into 1
6.663 * [backup-simplify]: Simplify (* 1 1) into 1
6.664 * [backup-simplify]: Simplify (/ 1 1) into 1
6.664 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
6.664 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
6.665 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.666 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.667 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
6.667 * [backup-simplify]: Simplify 0 into 0
6.667 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.668 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.669 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
6.669 * [backup-simplify]: Simplify 0 into 0
6.670 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.671 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.672 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.672 * [backup-simplify]: Simplify 0 into 0
6.674 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.674 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.676 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.676 * [backup-simplify]: Simplify 0 into 0
6.677 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.678 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.680 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.680 * [backup-simplify]: Simplify 0 into 0
6.681 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.689 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.690 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.690 * [backup-simplify]: Simplify 0 into 0
6.691 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
6.691 * [backup-simplify]: Simplify (+ (* (+ 1.0 (* (/ 1 (- t)) 2e-16)) (+ 1.0 (* (/ 1 (- t)) 2e-16))) (- -1.0 (* 2.0 (* (/ 1 (- t)) 2e-16)))) into (* 3.9999999999999997e-32 (/ 1 (pow t 2)))
6.691 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in (t) around 0
6.691 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in t
6.692 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
6.692 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
6.692 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
6.692 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.692 * [taylor]: Taking taylor expansion of t in t
6.692 * [backup-simplify]: Simplify 0 into 0
6.692 * [backup-simplify]: Simplify 1 into 1
6.692 * [backup-simplify]: Simplify (* 1 1) into 1
6.692 * [backup-simplify]: Simplify (/ 1 1) into 1
6.693 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in t
6.693 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
6.693 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
6.693 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
6.693 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.693 * [taylor]: Taking taylor expansion of t in t
6.693 * [backup-simplify]: Simplify 0 into 0
6.693 * [backup-simplify]: Simplify 1 into 1
6.693 * [backup-simplify]: Simplify (* 1 1) into 1
6.694 * [backup-simplify]: Simplify (/ 1 1) into 1
6.694 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
6.694 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
6.695 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.696 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.696 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
6.696 * [backup-simplify]: Simplify 0 into 0
6.697 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.698 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.700 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
6.700 * [backup-simplify]: Simplify 0 into 0
6.701 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.702 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.703 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.703 * [backup-simplify]: Simplify 0 into 0
6.704 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.705 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.706 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.706 * [backup-simplify]: Simplify 0 into 0
6.708 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.709 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.710 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.710 * [backup-simplify]: Simplify 0 into 0
6.712 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.713 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.715 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.715 * [backup-simplify]: Simplify 0 into 0
6.716 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
6.716 * * * [progress]: simplifying candidates
6.718 * [simplify]: Simplifying:
  (* (exp (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16)))) (/ (exp -1.0) (exp (* 2.0 (* t 2e-16)))))
  (* (exp (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16)))) (exp (- -1.0 (* 2.0 (* t 2e-16)))))
  (log (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))))
  (exp (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))))
  (* (cbrt (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (cbrt (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))))
  (cbrt (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))))
  (* (* (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))) (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))))
  (sqrt (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))))
  (sqrt (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))))
  (+ (* (* (+ (pow 1.0 3) (pow (* t 2e-16) 3)) (+ (pow 1.0 3) (pow (* t 2e-16) 3))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (* (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16))))) (- (pow -1.0 3) (pow (* 2.0 (* t 2e-16)) 3))))
  (* (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16))))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16))))))
  (+ (* (* (+ (pow 1.0 3) (pow (* t 2e-16) 3)) (+ (pow 1.0 3) (pow (* t 2e-16) 3))) (+ -1.0 (* 2.0 (* t 2e-16)))) (* (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16))))) (- (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))))))
  (* (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16))))) (+ -1.0 (* 2.0 (* t 2e-16))))
  (+ (* (* (+ (pow 1.0 3) (pow (* t 2e-16) 3)) (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16)))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (* (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (- 1.0 (* t 2e-16))) (- (pow -1.0 3) (pow (* 2.0 (* t 2e-16)) 3))))
  (* (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (- 1.0 (* t 2e-16))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16))))))
  (+ (* (* (+ (pow 1.0 3) (pow (* t 2e-16) 3)) (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16)))) (+ -1.0 (* 2.0 (* t 2e-16)))) (* (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (- 1.0 (* t 2e-16))) (- (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))))))
  (* (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (- 1.0 (* t 2e-16))) (+ -1.0 (* 2.0 (* t 2e-16))))
  (+ (* (* (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16))) (+ (pow 1.0 3) (pow (* t 2e-16) 3))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (* (* (- 1.0 (* t 2e-16)) (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16))))) (- (pow -1.0 3) (pow (* 2.0 (* t 2e-16)) 3))))
  (* (* (- 1.0 (* t 2e-16)) (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16))))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16))))))
  (+ (* (* (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16))) (+ (pow 1.0 3) (pow (* t 2e-16) 3))) (+ -1.0 (* 2.0 (* t 2e-16)))) (* (* (- 1.0 (* t 2e-16)) (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16))))) (- (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))))))
  (* (* (- 1.0 (* t 2e-16)) (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16))))) (+ -1.0 (* 2.0 (* t 2e-16))))
  (+ (* (* (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16))) (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16)))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (* (* (- 1.0 (* t 2e-16)) (- 1.0 (* t 2e-16))) (- (pow -1.0 3) (pow (* 2.0 (* t 2e-16)) 3))))
  (* (* (- 1.0 (* t 2e-16)) (- 1.0 (* t 2e-16))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16))))))
  (+ (* (* (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16))) (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16)))) (+ -1.0 (* 2.0 (* t 2e-16)))) (* (* (- 1.0 (* t 2e-16)) (- 1.0 (* t 2e-16))) (- (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))))))
  (* (* (- 1.0 (* t 2e-16)) (- 1.0 (* t 2e-16))) (+ -1.0 (* 2.0 (* t 2e-16))))
  (+ (* (* (+ 1.0 (* t 2e-16)) (+ (pow 1.0 3) (pow (* t 2e-16) 3))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (- (pow -1.0 3) (pow (* 2.0 (* t 2e-16)) 3))))
  (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16))))))
  (+ (* (* (+ 1.0 (* t 2e-16)) (+ (pow 1.0 3) (pow (* t 2e-16) 3))) (+ -1.0 (* 2.0 (* t 2e-16)))) (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (- (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))))))
  (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (+ -1.0 (* 2.0 (* t 2e-16))))
  (+ (* (* (+ 1.0 (* t 2e-16)) (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16)))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (* (- 1.0 (* t 2e-16)) (- (pow -1.0 3) (pow (* 2.0 (* t 2e-16)) 3))))
  (* (- 1.0 (* t 2e-16)) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16))))))
  (+ (* (* (+ 1.0 (* t 2e-16)) (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16)))) (+ -1.0 (* 2.0 (* t 2e-16)))) (* (- 1.0 (* t 2e-16)) (- (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))))))
  (* (- 1.0 (* t 2e-16)) (+ -1.0 (* 2.0 (* t 2e-16))))
  (+ (* (* (+ (pow 1.0 3) (pow (* t 2e-16) 3)) (+ 1.0 (* t 2e-16))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (- (pow -1.0 3) (pow (* 2.0 (* t 2e-16)) 3))))
  (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16))))))
  (+ (* (* (+ (pow 1.0 3) (pow (* t 2e-16) 3)) (+ 1.0 (* t 2e-16))) (+ -1.0 (* 2.0 (* t 2e-16)))) (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (- (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))))))
  (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (+ -1.0 (* 2.0 (* t 2e-16))))
  (+ (* (* (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16))) (+ 1.0 (* t 2e-16))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (* (- 1.0 (* t 2e-16)) (- (pow -1.0 3) (pow (* 2.0 (* t 2e-16)) 3))))
  (* (- 1.0 (* t 2e-16)) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16))))))
  (+ (* (* (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16))) (+ 1.0 (* t 2e-16))) (+ -1.0 (* 2.0 (* t 2e-16)))) (* (- 1.0 (* t 2e-16)) (- (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))))))
  (* (- 1.0 (* t 2e-16)) (+ -1.0 (* 2.0 (* t 2e-16))))
  (+ (pow (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) 3) (pow (- -1.0 (* 2.0 (* t 2e-16))) 3))
  (+ (* (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16)))) (- (* (- -1.0 (* 2.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))) (* (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))))
  (- (* (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16)))) (* (- -1.0 (* 2.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))))
  (- (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))
  (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) -1.0)
  (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) -1.0)
  (+ (* (+ 1.0 (* t 2e-16)) (* t 2e-16)) (- -1.0 (* 2.0 (* t 2e-16))))
  (+ (* (* t 2e-16) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))
  (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) -1.0)
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
6.723 * * [simplify]: iteration 0: 133 enodes
6.820 * * [simplify]: iteration 1: 579 enodes
7.424 * * [simplify]: iteration 2: 2886 enodes
9.003 * * [simplify]: iteration complete: 5001 enodes
9.003 * * [simplify]: Extracting #0: cost 33 inf + 0
9.004 * * [simplify]: Extracting #1: cost 284 inf + 0
9.010 * * [simplify]: Extracting #2: cost 1215 inf + 282
9.022 * * [simplify]: Extracting #3: cost 1682 inf + 3409
9.047 * * [simplify]: Extracting #4: cost 1649 inf + 44949
9.174 * * [simplify]: Extracting #5: cost 731 inf + 338959
9.409 * * [simplify]: Extracting #6: cost 47 inf + 589575
9.671 * * [simplify]: Extracting #7: cost 30 inf + 600270
9.933 * * [simplify]: Extracting #8: cost 2 inf + 604558
10.202 * * [simplify]: Extracting #9: cost 0 inf + 605105
10.518 * [simplify]: Simplified to:
  (exp (+ (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0)) (- -1.0 (* 2.0 (* 2e-16 t)))))
  (exp (+ (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0)) (- -1.0 (* 2.0 (* 2e-16 t)))))
  (log (+ (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0)) (- -1.0 (* 2.0 (* 2e-16 t)))))
  (exp (+ (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0)) (- -1.0 (* 2.0 (* 2e-16 t)))))
  (* (cbrt (+ (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0)) (- -1.0 (* 2.0 (* 2e-16 t))))) (cbrt (+ (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0)) (- -1.0 (* 2.0 (* 2e-16 t))))))
  (cbrt (+ (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0)) (- -1.0 (* 2.0 (* 2e-16 t)))))
  (* (* (+ (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0)) (- -1.0 (* 2.0 (* 2e-16 t)))) (+ (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0)) (- -1.0 (* 2.0 (* 2e-16 t))))) (+ (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0)) (- -1.0 (* 2.0 (* 2e-16 t)))))
  (sqrt (+ (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0)) (- -1.0 (* 2.0 (* 2e-16 t)))))
  (sqrt (+ (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0)) (- -1.0 (* 2.0 (* 2e-16 t)))))
  (+ (* (- (* -1.0 (* -1.0 -1.0)) (* (* 2.0 (* 2e-16 t)) (* (* 2.0 (* 2e-16 t)) (* 2.0 (* 2e-16 t))))) (* (+ (* 1.0 1.0) (* (- (* 2e-16 t) 1.0) (* 2e-16 t))) (+ (* 1.0 1.0) (* (- (* 2e-16 t) 1.0) (* 2e-16 t))))) (* (+ (* -1.0 -1.0) (* (* 2.0 (* 2e-16 t)) (+ -1.0 (* 2.0 (* 2e-16 t))))) (* (+ (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* 1.0 1.0) 1.0)) (+ (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* 1.0 1.0) 1.0)))))
  (* (* (+ (* 1.0 1.0) (* (- (* 2e-16 t) 1.0) (* 2e-16 t))) (+ (* 1.0 1.0) (* (- (* 2e-16 t) 1.0) (* 2e-16 t)))) (+ (* -1.0 -1.0) (* (* 2.0 (* 2e-16 t)) (+ -1.0 (* 2.0 (* 2e-16 t))))))
  (+ (* (* (- -1.0 (* 2.0 (* 2e-16 t))) (+ -1.0 (* 2.0 (* 2e-16 t)))) (* (+ (* 1.0 1.0) (* (- (* 2e-16 t) 1.0) (* 2e-16 t))) (+ (* 1.0 1.0) (* (- (* 2e-16 t) 1.0) (* 2e-16 t))))) (* (* (+ (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* 1.0 1.0) 1.0)) (+ (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* 1.0 1.0) 1.0))) (+ -1.0 (* 2.0 (* 2e-16 t)))))
  (* (+ -1.0 (* 2.0 (* 2e-16 t))) (* (+ (* 1.0 1.0) (* (- (* 2e-16 t) 1.0) (* 2e-16 t))) (+ (* 1.0 1.0) (* (- (* 2e-16 t) 1.0) (* 2e-16 t)))))
  (+ (* (* (+ (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* 1.0 1.0) 1.0)) (+ (* -1.0 -1.0) (* (* 2.0 (* 2e-16 t)) (+ -1.0 (* 2.0 (* 2e-16 t)))))) (* (+ (* 2e-16 t) 1.0) (- 1.0 (* 2e-16 t)))) (* (- (* -1.0 (* -1.0 -1.0)) (* (* 2.0 (* 2e-16 t)) (* (* 2.0 (* 2e-16 t)) (* 2.0 (* 2e-16 t))))) (* (- 1.0 (* 2e-16 t)) (+ (* 1.0 1.0) (* (- (* 2e-16 t) 1.0) (* 2e-16 t))))))
  (* (* (- 1.0 (* 2e-16 t)) (+ (* 1.0 1.0) (* (- (* 2e-16 t) 1.0) (* 2e-16 t)))) (+ (* -1.0 -1.0) (* (* 2.0 (* 2e-16 t)) (+ -1.0 (* 2.0 (* 2e-16 t))))))
  (+ (* (* (+ (* 2e-16 t) 1.0) (- 1.0 (* 2e-16 t))) (* (+ -1.0 (* 2.0 (* 2e-16 t))) (+ (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* 1.0 1.0) 1.0)))) (* (+ -1.0 (* 2.0 (* 2e-16 t))) (* (- -1.0 (* 2.0 (* 2e-16 t))) (* (- 1.0 (* 2e-16 t)) (+ (* 1.0 1.0) (* (- (* 2e-16 t) 1.0) (* 2e-16 t)))))))
  (* (* (- 1.0 (* 2e-16 t)) (+ (* 1.0 1.0) (* (- (* 2e-16 t) 1.0) (* 2e-16 t)))) (+ -1.0 (* 2.0 (* 2e-16 t))))
  (+ (* (* (+ (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* 1.0 1.0) 1.0)) (+ (* -1.0 -1.0) (* (* 2.0 (* 2e-16 t)) (+ -1.0 (* 2.0 (* 2e-16 t)))))) (* (+ (* 2e-16 t) 1.0) (- 1.0 (* 2e-16 t)))) (* (- (* -1.0 (* -1.0 -1.0)) (* (* 2.0 (* 2e-16 t)) (* (* 2.0 (* 2e-16 t)) (* 2.0 (* 2e-16 t))))) (* (- 1.0 (* 2e-16 t)) (+ (* 1.0 1.0) (* (- (* 2e-16 t) 1.0) (* 2e-16 t))))))
  (* (* (- 1.0 (* 2e-16 t)) (+ (* 1.0 1.0) (* (- (* 2e-16 t) 1.0) (* 2e-16 t)))) (+ (* -1.0 -1.0) (* (* 2.0 (* 2e-16 t)) (+ -1.0 (* 2.0 (* 2e-16 t))))))
  (+ (* (* (+ (* 2e-16 t) 1.0) (- 1.0 (* 2e-16 t))) (* (+ -1.0 (* 2.0 (* 2e-16 t))) (+ (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* 1.0 1.0) 1.0)))) (* (+ -1.0 (* 2.0 (* 2e-16 t))) (* (- -1.0 (* 2.0 (* 2e-16 t))) (* (- 1.0 (* 2e-16 t)) (+ (* 1.0 1.0) (* (- (* 2e-16 t) 1.0) (* 2e-16 t)))))))
  (* (* (- 1.0 (* 2e-16 t)) (+ (* 1.0 1.0) (* (- (* 2e-16 t) 1.0) (* 2e-16 t)))) (+ -1.0 (* 2.0 (* 2e-16 t))))
  (+ (* (* (- 1.0 (* 2e-16 t)) (- 1.0 (* 2e-16 t))) (- (* -1.0 (* -1.0 -1.0)) (* (* 2.0 (* 2e-16 t)) (* (* 2.0 (* 2e-16 t)) (* 2.0 (* 2e-16 t)))))) (* (+ (* -1.0 -1.0) (* (* 2.0 (* 2e-16 t)) (+ -1.0 (* 2.0 (* 2e-16 t))))) (* (* (+ (* 2e-16 t) 1.0) (- 1.0 (* 2e-16 t))) (* (+ (* 2e-16 t) 1.0) (- 1.0 (* 2e-16 t))))))
  (* (+ (* -1.0 -1.0) (* (* 2.0 (* 2e-16 t)) (+ -1.0 (* 2.0 (* 2e-16 t))))) (* (- 1.0 (* 2e-16 t)) (- 1.0 (* 2e-16 t))))
  (+ (* (+ -1.0 (* 2.0 (* 2e-16 t))) (* (- -1.0 (* 2.0 (* 2e-16 t))) (* (- 1.0 (* 2e-16 t)) (- 1.0 (* 2e-16 t))))) (* (* (* (+ (* 2e-16 t) 1.0) (- 1.0 (* 2e-16 t))) (* (+ (* 2e-16 t) 1.0) (- 1.0 (* 2e-16 t)))) (+ -1.0 (* 2.0 (* 2e-16 t)))))
  (* (* (+ -1.0 (* 2.0 (* 2e-16 t))) (- 1.0 (* 2e-16 t))) (- 1.0 (* 2e-16 t)))
  (+ (* (* (+ (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* 1.0 1.0) 1.0)) (+ (* 2e-16 t) 1.0)) (+ (* -1.0 -1.0) (* (* 2.0 (* 2e-16 t)) (+ -1.0 (* 2.0 (* 2e-16 t)))))) (* (- (* -1.0 (* -1.0 -1.0)) (* (* 2.0 (* 2e-16 t)) (* (* 2.0 (* 2e-16 t)) (* 2.0 (* 2e-16 t))))) (+ (* 1.0 1.0) (* (- (* 2e-16 t) 1.0) (* 2e-16 t)))))
  (* (+ (* -1.0 -1.0) (* (* 2.0 (* 2e-16 t)) (+ -1.0 (* 2.0 (* 2e-16 t))))) (+ (* 1.0 1.0) (* (- (* 2e-16 t) 1.0) (* 2e-16 t))))
  (+ (* (* (+ (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* 1.0 1.0) 1.0)) (+ (* 2e-16 t) 1.0)) (+ -1.0 (* 2.0 (* 2e-16 t)))) (* (+ -1.0 (* 2.0 (* 2e-16 t))) (* (- -1.0 (* 2.0 (* 2e-16 t))) (+ (* 1.0 1.0) (* (- (* 2e-16 t) 1.0) (* 2e-16 t))))))
  (* (+ (* 1.0 1.0) (* (- (* 2e-16 t) 1.0) (* 2e-16 t))) (+ -1.0 (* 2.0 (* 2e-16 t))))
  (+ (* (- 1.0 (* 2e-16 t)) (- (* -1.0 (* -1.0 -1.0)) (* (* 2.0 (* 2e-16 t)) (* (* 2.0 (* 2e-16 t)) (* 2.0 (* 2e-16 t)))))) (* (+ (* -1.0 -1.0) (* (* 2.0 (* 2e-16 t)) (+ -1.0 (* 2.0 (* 2e-16 t))))) (* (+ (* 2e-16 t) 1.0) (* (+ (* 2e-16 t) 1.0) (- 1.0 (* 2e-16 t))))))
  (* (+ (* -1.0 -1.0) (* (* 2.0 (* 2e-16 t)) (+ -1.0 (* 2.0 (* 2e-16 t))))) (- 1.0 (* 2e-16 t)))
  (+ (* (* (+ -1.0 (* 2.0 (* 2e-16 t))) (- 1.0 (* 2e-16 t))) (- -1.0 (* 2.0 (* 2e-16 t)))) (* (* (+ (* 2e-16 t) 1.0) (* (+ (* 2e-16 t) 1.0) (- 1.0 (* 2e-16 t)))) (+ -1.0 (* 2.0 (* 2e-16 t)))))
  (* (+ -1.0 (* 2.0 (* 2e-16 t))) (- 1.0 (* 2e-16 t)))
  (+ (* (* (+ (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* 1.0 1.0) 1.0)) (+ (* 2e-16 t) 1.0)) (+ (* -1.0 -1.0) (* (* 2.0 (* 2e-16 t)) (+ -1.0 (* 2.0 (* 2e-16 t)))))) (* (- (* -1.0 (* -1.0 -1.0)) (* (* 2.0 (* 2e-16 t)) (* (* 2.0 (* 2e-16 t)) (* 2.0 (* 2e-16 t))))) (+ (* 1.0 1.0) (* (- (* 2e-16 t) 1.0) (* 2e-16 t)))))
  (* (+ (* -1.0 -1.0) (* (* 2.0 (* 2e-16 t)) (+ -1.0 (* 2.0 (* 2e-16 t))))) (+ (* 1.0 1.0) (* (- (* 2e-16 t) 1.0) (* 2e-16 t))))
  (+ (* (* (+ (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* 1.0 1.0) 1.0)) (+ (* 2e-16 t) 1.0)) (+ -1.0 (* 2.0 (* 2e-16 t)))) (* (+ -1.0 (* 2.0 (* 2e-16 t))) (* (- -1.0 (* 2.0 (* 2e-16 t))) (+ (* 1.0 1.0) (* (- (* 2e-16 t) 1.0) (* 2e-16 t))))))
  (* (+ (* 1.0 1.0) (* (- (* 2e-16 t) 1.0) (* 2e-16 t))) (+ -1.0 (* 2.0 (* 2e-16 t))))
  (+ (* (- 1.0 (* 2e-16 t)) (- (* -1.0 (* -1.0 -1.0)) (* (* 2.0 (* 2e-16 t)) (* (* 2.0 (* 2e-16 t)) (* 2.0 (* 2e-16 t)))))) (* (+ (* -1.0 -1.0) (* (* 2.0 (* 2e-16 t)) (+ -1.0 (* 2.0 (* 2e-16 t))))) (* (+ (* 2e-16 t) 1.0) (* (+ (* 2e-16 t) 1.0) (- 1.0 (* 2e-16 t))))))
  (* (+ (* -1.0 -1.0) (* (* 2.0 (* 2e-16 t)) (+ -1.0 (* 2.0 (* 2e-16 t))))) (- 1.0 (* 2e-16 t)))
  (+ (* (* (+ -1.0 (* 2.0 (* 2e-16 t))) (- 1.0 (* 2e-16 t))) (- -1.0 (* 2.0 (* 2e-16 t)))) (* (* (+ (* 2e-16 t) 1.0) (* (+ (* 2e-16 t) 1.0) (- 1.0 (* 2e-16 t)))) (+ -1.0 (* 2.0 (* 2e-16 t)))))
  (* (+ -1.0 (* 2.0 (* 2e-16 t))) (- 1.0 (* 2e-16 t)))
  (+ (* (* (- -1.0 (* 2.0 (* 2e-16 t))) (- -1.0 (* 2.0 (* 2e-16 t)))) (- -1.0 (* 2.0 (* 2e-16 t)))) (* (* (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0)) (+ (* 2e-16 t) 1.0)) (* (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0)) (+ (* 2e-16 t) 1.0))))
  (+ (* (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0)) (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0))) (* (- (- -1.0 (* 2.0 (* 2e-16 t))) (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0))) (- -1.0 (* 2.0 (* 2e-16 t)))))
  (* (+ (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0)) (- -1.0 (* 2.0 (* 2e-16 t)))) (- (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0)) (- -1.0 (* 2.0 (* 2e-16 t)))))
  (- (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0)) (- -1.0 (* 2.0 (* 2e-16 t))))
  (+ -1.0 (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0)))
  (+ -1.0 (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0)))
  (+ (* (+ (* 2e-16 t) 1.0) (* 2e-16 t)) (- -1.0 (* 2.0 (* 2e-16 t))))
  (+ (* (+ (* 2e-16 t) 1.0) (* 2e-16 t)) (- -1.0 (* 2.0 (* 2e-16 t))))
  (+ -1.0 (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0)))
  (* 3.9999999999999997e-32 (* t t))
  (* 3.9999999999999997e-32 (* t t))
  (* 3.9999999999999997e-32 (* t t))
10.532 * * * [progress]: adding candidates to table
10.812 * * [progress]: iteration 2 / 4
10.812 * * * [progress]: picking best candidate
10.817 * * * * [pick]: Picked  #<alt (λ (t) (* 3.9999999999999997e-32 (* t t)))>
10.817 * * * [progress]: localizing error
10.827 * * * [progress]: generating rewritten candidates
10.828 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
10.865 * * * [progress]: generating series expansions
10.865 * * * * [progress]: [ 1 / 1 ] generating series at (2)
10.865 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (* t t)) into (* 3.9999999999999997e-32 (pow t 2))
10.865 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
10.865 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
10.865 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
10.865 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.865 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.865 * [taylor]: Taking taylor expansion of t in t
10.865 * [backup-simplify]: Simplify 0 into 0
10.865 * [backup-simplify]: Simplify 1 into 1
10.866 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
10.866 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
10.866 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.866 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.866 * [taylor]: Taking taylor expansion of t in t
10.866 * [backup-simplify]: Simplify 0 into 0
10.866 * [backup-simplify]: Simplify 1 into 1
10.866 * [backup-simplify]: Simplify (* 1 1) into 1
10.867 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
10.867 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.868 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.869 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
10.869 * [backup-simplify]: Simplify 0 into 0
10.870 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.871 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
10.871 * [backup-simplify]: Simplify 0 into 0
10.872 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.873 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.873 * [backup-simplify]: Simplify 0 into 0
10.874 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.876 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.876 * [backup-simplify]: Simplify 0 into 0
10.877 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.879 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.879 * [backup-simplify]: Simplify 0 into 0
10.880 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.882 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.882 * [backup-simplify]: Simplify 0 into 0
10.882 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
10.882 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (* (/ 1 t) (/ 1 t))) into (/ 3.9999999999999997e-32 (pow t 2))
10.882 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
10.882 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
10.882 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
10.882 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.882 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.882 * [taylor]: Taking taylor expansion of t in t
10.882 * [backup-simplify]: Simplify 0 into 0
10.882 * [backup-simplify]: Simplify 1 into 1
10.883 * [backup-simplify]: Simplify (* 1 1) into 1
10.883 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
10.884 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
10.884 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
10.884 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.884 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.884 * [taylor]: Taking taylor expansion of t in t
10.884 * [backup-simplify]: Simplify 0 into 0
10.884 * [backup-simplify]: Simplify 1 into 1
10.884 * [backup-simplify]: Simplify (* 1 1) into 1
10.885 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
10.885 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.886 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.887 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
10.887 * [backup-simplify]: Simplify 0 into 0
10.888 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.889 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.889 * [backup-simplify]: Simplify 0 into 0
10.890 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.891 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.892 * [backup-simplify]: Simplify 0 into 0
10.893 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.894 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.894 * [backup-simplify]: Simplify 0 into 0
10.895 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.896 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.896 * [backup-simplify]: Simplify 0 into 0
10.898 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.899 * [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
10.900 * [backup-simplify]: Simplify 0 into 0
10.900 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
10.900 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (* (/ 1 (- t)) (/ 1 (- t)))) into (/ 3.9999999999999997e-32 (pow t 2))
10.900 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
10.900 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
10.900 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
10.901 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.901 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.901 * [taylor]: Taking taylor expansion of t in t
10.901 * [backup-simplify]: Simplify 0 into 0
10.901 * [backup-simplify]: Simplify 1 into 1
10.901 * [backup-simplify]: Simplify (* 1 1) into 1
10.902 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
10.902 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
10.902 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
10.902 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.902 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.902 * [taylor]: Taking taylor expansion of t in t
10.902 * [backup-simplify]: Simplify 0 into 0
10.902 * [backup-simplify]: Simplify 1 into 1
10.902 * [backup-simplify]: Simplify (* 1 1) into 1
10.903 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
10.903 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.904 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.905 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
10.905 * [backup-simplify]: Simplify 0 into 0
10.906 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.907 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.907 * [backup-simplify]: Simplify 0 into 0
10.910 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.912 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.912 * [backup-simplify]: Simplify 0 into 0
10.914 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.915 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.915 * [backup-simplify]: Simplify 0 into 0
10.917 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.918 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.918 * [backup-simplify]: Simplify 0 into 0
10.920 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.921 * [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
10.921 * [backup-simplify]: Simplify 0 into 0
10.921 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
10.921 * * * [progress]: simplifying candidates
10.922 * [simplify]: Simplifying:
  (* 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))
10.923 * * [simplify]: iteration 0: 34 enodes
10.951 * * [simplify]: iteration 1: 88 enodes
11.017 * * [simplify]: iteration 2: 277 enodes
11.555 * * [simplify]: iteration 3: 1226 enodes
14.737 * * [simplify]: iteration complete: 5000 enodes
14.737 * * [simplify]: Extracting #0: cost 11 inf + 0
14.738 * * [simplify]: Extracting #1: cost 279 inf + 0
14.749 * * [simplify]: Extracting #2: cost 1215 inf + 7235
14.794 * * [simplify]: Extracting #3: cost 496 inf + 90965
14.869 * * [simplify]: Extracting #4: cost 18 inf + 163362
14.946 * * [simplify]: Extracting #5: cost 0 inf + 167021
15.026 * [simplify]: Simplified to:
  (* 3.9999999999999997e-32 (* t t))
  (* 3.9999999999999997e-32 (* t t))
  (log (* 3.9999999999999997e-32 (* t t)))
  (log (* 3.9999999999999997e-32 (* t t)))
  (log (* 3.9999999999999997e-32 (* t t)))
  (exp (* 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)))
  (* (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)))
  (* t (sqrt 3.9999999999999997e-32))
  (* t (sqrt 3.9999999999999997e-32))
  (* t 3.9999999999999997e-32)
  (* (* (cbrt 3.9999999999999997e-32) 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 (* t t))
15.027 * * * [progress]: adding candidates to table
15.110 * * [progress]: iteration 3 / 4
15.110 * * * [progress]: picking best candidate
15.136 * * * * [pick]: Picked  #<alt (λ (t) (* (* 3.9999999999999997e-32 t) t))>
15.136 * * * [progress]: localizing error
15.147 * * * [progress]: generating rewritten candidates
15.147 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
15.184 * * * [progress]: generating series expansions
15.184 * * * * [progress]: [ 1 / 1 ] generating series at (2)
15.184 * [backup-simplify]: Simplify (* (* 3.9999999999999997e-32 t) t) into (* 3.9999999999999997e-32 (pow t 2))
15.184 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
15.184 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
15.184 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
15.184 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
15.184 * [taylor]: Taking taylor expansion of (pow t 2) in t
15.184 * [taylor]: Taking taylor expansion of t in t
15.184 * [backup-simplify]: Simplify 0 into 0
15.184 * [backup-simplify]: Simplify 1 into 1
15.184 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
15.184 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
15.184 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
15.184 * [taylor]: Taking taylor expansion of (pow t 2) in t
15.184 * [taylor]: Taking taylor expansion of t in t
15.184 * [backup-simplify]: Simplify 0 into 0
15.184 * [backup-simplify]: Simplify 1 into 1
15.185 * [backup-simplify]: Simplify (* 1 1) into 1
15.186 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
15.186 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
15.186 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
15.191 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
15.191 * [backup-simplify]: Simplify 0 into 0
15.192 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
15.193 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
15.193 * [backup-simplify]: Simplify 0 into 0
15.194 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
15.195 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
15.195 * [backup-simplify]: Simplify 0 into 0
15.196 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
15.198 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
15.198 * [backup-simplify]: Simplify 0 into 0
15.199 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
15.200 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
15.200 * [backup-simplify]: Simplify 0 into 0
15.202 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
15.203 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
15.203 * [backup-simplify]: Simplify 0 into 0
15.204 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
15.204 * [backup-simplify]: Simplify (* (* 3.9999999999999997e-32 (/ 1 t)) (/ 1 t)) into (/ 3.9999999999999997e-32 (pow t 2))
15.204 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
15.204 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
15.204 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
15.204 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
15.204 * [taylor]: Taking taylor expansion of (pow t 2) in t
15.204 * [taylor]: Taking taylor expansion of t in t
15.204 * [backup-simplify]: Simplify 0 into 0
15.204 * [backup-simplify]: Simplify 1 into 1
15.205 * [backup-simplify]: Simplify (* 1 1) into 1
15.205 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
15.205 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
15.205 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
15.205 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
15.205 * [taylor]: Taking taylor expansion of (pow t 2) in t
15.205 * [taylor]: Taking taylor expansion of t in t
15.205 * [backup-simplify]: Simplify 0 into 0
15.205 * [backup-simplify]: Simplify 1 into 1
15.206 * [backup-simplify]: Simplify (* 1 1) into 1
15.206 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
15.207 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
15.207 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
15.208 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
15.208 * [backup-simplify]: Simplify 0 into 0
15.209 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
15.210 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.210 * [backup-simplify]: Simplify 0 into 0
15.211 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
15.212 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.212 * [backup-simplify]: Simplify 0 into 0
15.213 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
15.214 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.214 * [backup-simplify]: Simplify 0 into 0
15.215 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
15.217 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.217 * [backup-simplify]: Simplify 0 into 0
15.218 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
15.219 * [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
15.219 * [backup-simplify]: Simplify 0 into 0
15.220 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
15.220 * [backup-simplify]: Simplify (* (* 3.9999999999999997e-32 (/ 1 (- t))) (/ 1 (- t))) into (/ 3.9999999999999997e-32 (pow t 2))
15.220 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
15.220 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
15.220 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
15.220 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
15.220 * [taylor]: Taking taylor expansion of (pow t 2) in t
15.220 * [taylor]: Taking taylor expansion of t in t
15.220 * [backup-simplify]: Simplify 0 into 0
15.220 * [backup-simplify]: Simplify 1 into 1
15.220 * [backup-simplify]: Simplify (* 1 1) into 1
15.221 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
15.221 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
15.221 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
15.221 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
15.221 * [taylor]: Taking taylor expansion of (pow t 2) in t
15.221 * [taylor]: Taking taylor expansion of t in t
15.221 * [backup-simplify]: Simplify 0 into 0
15.221 * [backup-simplify]: Simplify 1 into 1
15.222 * [backup-simplify]: Simplify (* 1 1) into 1
15.222 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
15.222 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
15.223 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
15.223 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
15.224 * [backup-simplify]: Simplify 0 into 0
15.224 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
15.225 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.225 * [backup-simplify]: Simplify 0 into 0
15.226 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
15.227 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.227 * [backup-simplify]: Simplify 0 into 0
15.228 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
15.229 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.229 * [backup-simplify]: Simplify 0 into 0
15.231 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
15.232 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.232 * [backup-simplify]: Simplify 0 into 0
15.233 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
15.234 * [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
15.234 * [backup-simplify]: Simplify 0 into 0
15.235 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
15.235 * * * [progress]: simplifying candidates
15.236 * [simplify]: Simplifying:
  (* (* 3.9999999999999997e-32 t) t)
  (* (* 3.9999999999999997e-32 t) t)
  (+ (+ (log 3.9999999999999997e-32) (log t)) (log t))
  (+ (log (* 3.9999999999999997e-32 t)) (log 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 t) (* 3.9999999999999997e-32 t)) (* 3.9999999999999997e-32 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))
  (* (* 3.9999999999999997e-32 t) (* (cbrt t) (cbrt t)))
  (* (* 3.9999999999999997e-32 t) (sqrt t))
  (* (* 3.9999999999999997e-32 t) 1)
  (* t t)
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
15.236 * * [simplify]: iteration 0: 36 enodes
15.256 * * [simplify]: iteration 1: 99 enodes
15.327 * * [simplify]: iteration 2: 316 enodes
15.973 * * [simplify]: iteration 3: 1260 enodes
19.220 * * [simplify]: iteration 4: 4493 enodes
23.162 * * [simplify]: iteration complete: 5000 enodes
23.162 * * [simplify]: Extracting #0: cost 11 inf + 0
23.164 * * [simplify]: Extracting #1: cost 353 inf + 0
23.174 * * [simplify]: Extracting #2: cost 1131 inf + 10111
23.217 * * [simplify]: Extracting #3: cost 391 inf + 119191
23.280 * * [simplify]: Extracting #4: cost 25 inf + 174560
23.343 * * [simplify]: Extracting #5: cost 0 inf + 177236
23.424 * * [simplify]: Extracting #6: cost 0 inf + 177104
23.500 * [simplify]: Simplified to:
  (* 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)))
  (* (* (cbrt t) (cbrt t)) (* t 3.9999999999999997e-32))
  (* (* 3.9999999999999997e-32 t) (sqrt t))
  (* 3.9999999999999997e-32 t)
  (* t t)
  (* t (* 3.9999999999999997e-32 t))
  (* t (* 3.9999999999999997e-32 t))
  (* t (* 3.9999999999999997e-32 t))
23.501 * * * [progress]: adding candidates to table
23.585 * * [progress]: iteration 4 / 4
23.585 * * * [progress]: picking best candidate
23.609 * * * * [pick]: Picked  #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))))>
23.609 * * * [progress]: localizing error
23.629 * * * [progress]: generating rewritten candidates
23.629 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
23.743 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
23.793 * * * [progress]: generating series expansions
23.793 * * * * [progress]: [ 1 / 2 ] generating series at (2)
23.794 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2))
23.794 * [approximate]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) in (t) around 0
23.795 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) in t
23.795 * [taylor]: Taking taylor expansion of (pow t 2) in t
23.795 * [taylor]: Taking taylor expansion of t in t
23.795 * [backup-simplify]: Simplify 0 into 0
23.795 * [backup-simplify]: Simplify 1 into 1
23.795 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
23.795 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
23.795 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
23.795 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
23.795 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
23.796 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
23.797 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) in t
23.797 * [taylor]: Taking taylor expansion of (pow t 2) in t
23.797 * [taylor]: Taking taylor expansion of t in t
23.797 * [backup-simplify]: Simplify 0 into 0
23.797 * [backup-simplify]: Simplify 1 into 1
23.797 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
23.797 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
23.797 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
23.797 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
23.797 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
23.798 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
23.799 * [backup-simplify]: Simplify (* 1 1) into 1
23.800 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2)
23.802 * [backup-simplify]: Simplify (* 1 (pow (sqrt 3.9999999999999997e-32) 2)) into (pow (sqrt 3.9999999999999997e-32) 2)
23.804 * [backup-simplify]: Simplify (pow (sqrt 3.9999999999999997e-32) 2) into (pow (sqrt 3.9999999999999997e-32) 2)
23.804 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0
23.805 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
23.806 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2))) into 0
23.807 * [backup-simplify]: Simplify 0 into 0
23.809 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
23.810 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0
23.811 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
23.812 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2)))) into 0
23.812 * [backup-simplify]: Simplify 0 into 0
23.814 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
23.815 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0
23.816 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
23.818 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2))))) into 0
23.818 * [backup-simplify]: Simplify 0 into 0
23.820 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
23.821 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0
23.822 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
23.824 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2)))))) into 0
23.824 * [backup-simplify]: Simplify 0 into 0
23.826 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
23.827 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0
23.829 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
23.831 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2))))))) into 0
23.831 * [backup-simplify]: Simplify 0 into 0
23.833 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
23.835 * [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
23.837 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
23.840 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2)))))))) into 0
23.840 * [backup-simplify]: Simplify 0 into 0
23.841 * [backup-simplify]: Simplify (* (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2))
23.842 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* (/ 1 t) (/ 1 t)))) into (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2))
23.842 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in (t) around 0
23.842 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t
23.842 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
23.842 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
23.842 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
23.842 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
23.843 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
23.844 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
23.844 * [taylor]: Taking taylor expansion of (pow t 2) in t
23.844 * [taylor]: Taking taylor expansion of t in t
23.844 * [backup-simplify]: Simplify 0 into 0
23.844 * [backup-simplify]: Simplify 1 into 1
23.846 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2)
23.846 * [backup-simplify]: Simplify (* 1 1) into 1
23.848 * [backup-simplify]: Simplify (/ (pow (sqrt 3.9999999999999997e-32) 2) 1) into (pow (sqrt 3.9999999999999997e-32) 2)
23.848 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t
23.848 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
23.848 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
23.848 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
23.848 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
23.849 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
23.850 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
23.850 * [taylor]: Taking taylor expansion of (pow t 2) in t
23.850 * [taylor]: Taking taylor expansion of t in t
23.850 * [backup-simplify]: Simplify 0 into 0
23.850 * [backup-simplify]: Simplify 1 into 1
23.851 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2)
23.851 * [backup-simplify]: Simplify (* 1 1) into 1
23.853 * [backup-simplify]: Simplify (/ (pow (sqrt 3.9999999999999997e-32) 2) 1) into (pow (sqrt 3.9999999999999997e-32) 2)
23.854 * [backup-simplify]: Simplify (pow (sqrt 3.9999999999999997e-32) 2) into (pow (sqrt 3.9999999999999997e-32) 2)
23.855 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0
23.856 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
23.857 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)))) into 0
23.857 * [backup-simplify]: Simplify 0 into 0
23.859 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
23.860 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0
23.861 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
23.863 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.863 * [backup-simplify]: Simplify 0 into 0
23.864 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
23.866 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0
23.867 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
23.868 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.868 * [backup-simplify]: Simplify 0 into 0
23.870 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
23.872 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0
23.873 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
23.875 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.875 * [backup-simplify]: Simplify 0 into 0
23.876 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
23.878 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0
23.879 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
23.881 * [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
23.881 * [backup-simplify]: Simplify 0 into 0
23.883 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
23.885 * [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
23.886 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
23.888 * [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
23.888 * [backup-simplify]: Simplify 0 into 0
23.889 * [backup-simplify]: Simplify (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (/ 1 (/ 1 t)) 2)) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2))
23.890 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* (/ 1 (- t)) (/ 1 (- t))))) into (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2))
23.890 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in (t) around 0
23.890 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t
23.890 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
23.890 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
23.890 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
23.891 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
23.891 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
23.892 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
23.892 * [taylor]: Taking taylor expansion of (pow t 2) in t
23.892 * [taylor]: Taking taylor expansion of t in t
23.892 * [backup-simplify]: Simplify 0 into 0
23.892 * [backup-simplify]: Simplify 1 into 1
23.893 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2)
23.893 * [backup-simplify]: Simplify (* 1 1) into 1
23.895 * [backup-simplify]: Simplify (/ (pow (sqrt 3.9999999999999997e-32) 2) 1) into (pow (sqrt 3.9999999999999997e-32) 2)
23.895 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t
23.895 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
23.895 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
23.895 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
23.895 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
23.896 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
23.896 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
23.896 * [taylor]: Taking taylor expansion of (pow t 2) in t
23.896 * [taylor]: Taking taylor expansion of t in t
23.896 * [backup-simplify]: Simplify 0 into 0
23.896 * [backup-simplify]: Simplify 1 into 1
23.897 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2)
23.898 * [backup-simplify]: Simplify (* 1 1) into 1
23.899 * [backup-simplify]: Simplify (/ (pow (sqrt 3.9999999999999997e-32) 2) 1) into (pow (sqrt 3.9999999999999997e-32) 2)
23.900 * [backup-simplify]: Simplify (pow (sqrt 3.9999999999999997e-32) 2) into (pow (sqrt 3.9999999999999997e-32) 2)
23.901 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0
23.902 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
23.903 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)))) into 0
23.903 * [backup-simplify]: Simplify 0 into 0
23.904 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
23.905 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0
23.906 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
23.907 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.907 * [backup-simplify]: Simplify 0 into 0
23.908 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
23.909 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0
23.910 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
23.912 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.912 * [backup-simplify]: Simplify 0 into 0
23.913 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
23.915 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0
23.916 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
23.918 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.918 * [backup-simplify]: Simplify 0 into 0
23.919 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
23.920 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0
23.922 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
23.924 * [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
23.924 * [backup-simplify]: Simplify 0 into 0
23.925 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
23.927 * [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
23.928 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
23.930 * [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
23.930 * [backup-simplify]: Simplify 0 into 0
23.932 * [backup-simplify]: Simplify (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (/ 1 (/ 1 (- t))) 2)) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2))
23.932 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
23.932 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (* t t)) into (* (pow t 2) (sqrt 3.9999999999999997e-32))
23.932 * [approximate]: Taking taylor expansion of (* (pow t 2) (sqrt 3.9999999999999997e-32)) in (t) around 0
23.932 * [taylor]: Taking taylor expansion of (* (pow t 2) (sqrt 3.9999999999999997e-32)) in t
23.932 * [taylor]: Taking taylor expansion of (pow t 2) in t
23.932 * [taylor]: Taking taylor expansion of t in t
23.932 * [backup-simplify]: Simplify 0 into 0
23.933 * [backup-simplify]: Simplify 1 into 1
23.933 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
23.933 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
23.933 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
23.933 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
23.934 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
23.934 * [taylor]: Taking taylor expansion of (* (pow t 2) (sqrt 3.9999999999999997e-32)) in t
23.934 * [taylor]: Taking taylor expansion of (pow t 2) in t
23.934 * [taylor]: Taking taylor expansion of t in t
23.934 * [backup-simplify]: Simplify 0 into 0
23.934 * [backup-simplify]: Simplify 1 into 1
23.934 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
23.934 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
23.934 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
23.934 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
23.935 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
23.935 * [backup-simplify]: Simplify (* 1 1) into 1
23.936 * [backup-simplify]: Simplify (* 1 (sqrt 3.9999999999999997e-32)) into (sqrt 3.9999999999999997e-32)
23.937 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
23.937 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
23.938 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0
23.938 * [backup-simplify]: Simplify 0 into 0
23.939 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
23.940 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
23.941 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0
23.941 * [backup-simplify]: Simplify 0 into 0
23.942 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
23.943 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
23.944 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0
23.945 * [backup-simplify]: Simplify 0 into 0
23.946 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
23.953 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
23.955 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0
23.955 * [backup-simplify]: Simplify 0 into 0
23.957 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
23.958 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
23.960 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0
23.960 * [backup-simplify]: Simplify 0 into 0
23.961 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
23.963 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
23.965 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))))) into 0
23.965 * [backup-simplify]: Simplify 0 into 0
23.966 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow t 2)) into (* (pow t 2) (sqrt 3.9999999999999997e-32))
23.966 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (* (/ 1 t) (/ 1 t))) into (/ (sqrt 3.9999999999999997e-32) (pow t 2))
23.967 * [approximate]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in (t) around 0
23.967 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in t
23.967 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
23.967 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
23.967 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
23.967 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
23.968 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
23.968 * [taylor]: Taking taylor expansion of (pow t 2) in t
23.968 * [taylor]: Taking taylor expansion of t in t
23.968 * [backup-simplify]: Simplify 0 into 0
23.968 * [backup-simplify]: Simplify 1 into 1
23.968 * [backup-simplify]: Simplify (* 1 1) into 1
23.969 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32)
23.969 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in t
23.969 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
23.969 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
23.969 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
23.970 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
23.971 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
23.971 * [taylor]: Taking taylor expansion of (pow t 2) in t
23.971 * [taylor]: Taking taylor expansion of t in t
23.971 * [backup-simplify]: Simplify 0 into 0
23.971 * [backup-simplify]: Simplify 1 into 1
23.971 * [backup-simplify]: Simplify (* 1 1) into 1
23.972 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32)
23.972 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
23.973 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
23.974 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)))) into 0
23.974 * [backup-simplify]: Simplify 0 into 0
23.975 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
23.976 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
23.978 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.978 * [backup-simplify]: Simplify 0 into 0
23.979 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
23.980 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
23.981 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.981 * [backup-simplify]: Simplify 0 into 0
23.983 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
23.984 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
23.985 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.985 * [backup-simplify]: Simplify 0 into 0
23.986 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
23.988 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
23.989 * [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
23.989 * [backup-simplify]: Simplify 0 into 0
23.990 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
23.992 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
23.993 * [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
23.993 * [backup-simplify]: Simplify 0 into 0
23.994 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow (/ 1 (/ 1 t)) 2)) into (* (pow t 2) (sqrt 3.9999999999999997e-32))
23.994 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (* (/ 1 (- t)) (/ 1 (- t)))) into (/ (sqrt 3.9999999999999997e-32) (pow t 2))
23.994 * [approximate]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in (t) around 0
23.994 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in t
23.994 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
23.994 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
23.994 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
23.995 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
23.995 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
23.995 * [taylor]: Taking taylor expansion of (pow t 2) in t
23.995 * [taylor]: Taking taylor expansion of t in t
23.995 * [backup-simplify]: Simplify 0 into 0
23.995 * [backup-simplify]: Simplify 1 into 1
23.996 * [backup-simplify]: Simplify (* 1 1) into 1
23.997 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32)
23.997 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in t
23.997 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
23.997 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
23.997 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
23.997 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
23.998 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
23.998 * [taylor]: Taking taylor expansion of (pow t 2) in t
23.998 * [taylor]: Taking taylor expansion of t in t
23.998 * [backup-simplify]: Simplify 0 into 0
23.998 * [backup-simplify]: Simplify 1 into 1
23.998 * [backup-simplify]: Simplify (* 1 1) into 1
23.999 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32)
24.000 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
24.000 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
24.001 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)))) into 0
24.001 * [backup-simplify]: Simplify 0 into 0
24.002 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
24.003 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
24.004 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.004 * [backup-simplify]: Simplify 0 into 0
24.005 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
24.006 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
24.007 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.007 * [backup-simplify]: Simplify 0 into 0
24.009 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
24.010 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
24.011 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.011 * [backup-simplify]: Simplify 0 into 0
24.012 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
24.013 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
24.015 * [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
24.015 * [backup-simplify]: Simplify 0 into 0
24.016 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
24.017 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
24.019 * [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
24.019 * [backup-simplify]: Simplify 0 into 0
24.019 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow (/ 1 (/ 1 (- t))) 2)) into (* (pow t 2) (sqrt 3.9999999999999997e-32))
24.019 * * * [progress]: simplifying candidates
24.021 * [simplify]: Simplifying:
  (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t)))
  (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t)))
  (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t)))
  (+ (log (sqrt 3.9999999999999997e-32)) (+ (log (sqrt 3.9999999999999997e-32)) (+ (log t) (log t))))
  (+ (log (sqrt 3.9999999999999997e-32)) (+ (log (sqrt 3.9999999999999997e-32)) (log (* t t))))
  (+ (log (sqrt 3.9999999999999997e-32)) (log (* (sqrt 3.9999999999999997e-32) (* t t))))
  (log (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))))
  (exp (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))))
  (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (* t t) t) (* (* t t) t))))
  (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (* t t) (* t t)) (* t t))))
  (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (* (sqrt 3.9999999999999997e-32) (* t t)) (* (sqrt 3.9999999999999997e-32) (* t t))) (* (sqrt 3.9999999999999997e-32) (* t t))))
  (* (cbrt (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t)))) (cbrt (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t)))))
  (cbrt (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))))
  (* (* (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))) (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t)))) (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))))
  (sqrt (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))))
  (sqrt (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))))
  (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32))
  (* (cbrt (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (* t t)))
  (* (sqrt (cbrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (* t t)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (* t t)))
  (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (* t t)))
  (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t)))
  (* (sqrt 3.9999999999999997e-32) (* t t))
  (* (sqrt 3.9999999999999997e-32) (* t t))
  (+ (log (sqrt 3.9999999999999997e-32)) (+ (log t) (log t)))
  (+ (log (sqrt 3.9999999999999997e-32)) (log (* t t)))
  (log (* (sqrt 3.9999999999999997e-32) (* t t)))
  (exp (* (sqrt 3.9999999999999997e-32) (* t t)))
  (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (* t t) t) (* (* t t) t)))
  (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (* t t) (* t t)) (* t t)))
  (* (cbrt (* (sqrt 3.9999999999999997e-32) (* t t))) (cbrt (* (sqrt 3.9999999999999997e-32) (* t t))))
  (cbrt (* (sqrt 3.9999999999999997e-32) (* t t)))
  (* (* (* (sqrt 3.9999999999999997e-32) (* t t)) (* (sqrt 3.9999999999999997e-32) (* t t))) (* (sqrt 3.9999999999999997e-32) (* t t)))
  (sqrt (* (sqrt 3.9999999999999997e-32) (* t t)))
  (sqrt (* (sqrt 3.9999999999999997e-32) (* t t)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) t)
  (* (sqrt (sqrt 3.9999999999999997e-32)) t)
  (* (sqrt (sqrt 3.9999999999999997e-32)) t)
  (* (sqrt (sqrt 3.9999999999999997e-32)) t)
  (* (sqrt 3.9999999999999997e-32) t)
  (* (cbrt (sqrt 3.9999999999999997e-32)) (* t t))
  (* (sqrt (cbrt 3.9999999999999997e-32)) (* t t))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (* t t))
  (* (sqrt 3.9999999999999997e-32) (* t t))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (* t t))
  (* (sqrt 3.9999999999999997e-32) (* t 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))
  (* (pow t 2) (sqrt 3.9999999999999997e-32))
  (* (pow t 2) (sqrt 3.9999999999999997e-32))
  (* (pow t 2) (sqrt 3.9999999999999997e-32))
24.023 * * [simplify]: iteration 0: 57 enodes
24.054 * * [simplify]: iteration 1: 153 enodes
24.172 * * [simplify]: iteration 2: 599 enodes
25.966 * * [simplify]: iteration 3: 3162 enodes
29.889 * * [simplify]: iteration complete: 5005 enodes
29.890 * * [simplify]: Extracting #0: cost 23 inf + 0
29.892 * * [simplify]: Extracting #1: cost 413 inf + 1
29.903 * * [simplify]: Extracting #2: cost 900 inf + 17722
29.956 * * [simplify]: Extracting #3: cost 369 inf + 114853
30.033 * * [simplify]: Extracting #4: cost 39 inf + 163718
30.108 * * [simplify]: Extracting #5: cost 3 inf + 172701
30.184 * * [simplify]: Extracting #6: cost 0 inf + 174000
30.268 * [simplify]: Simplified to:
  (* (* 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))
  (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)))
  (* (* (* 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))
  3.9999999999999997e-32
  (* (* t (cbrt (sqrt 3.9999999999999997e-32))) (* (sqrt 3.9999999999999997e-32) t))
  (* (* (sqrt (cbrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) t)) t)
  (* (* t (* (sqrt 3.9999999999999997e-32) t)) (sqrt (sqrt 3.9999999999999997e-32)))
  (* (* t t) 3.9999999999999997e-32)
  (* (* t (* (sqrt 3.9999999999999997e-32) t)) (sqrt (sqrt 3.9999999999999997e-32)))
  (* (* t t) 3.9999999999999997e-32)
  (* t (* (sqrt 3.9999999999999997e-32) t))
  (* t (* (sqrt 3.9999999999999997e-32) t))
  (log (* t (* (sqrt 3.9999999999999997e-32) t)))
  (log (* t (* (sqrt 3.9999999999999997e-32) t)))
  (log (* t (* (sqrt 3.9999999999999997e-32) t)))
  (exp (* t (* (sqrt 3.9999999999999997e-32) t)))
  (* (* (* t (* t t)) (* t (* t t))) (* (sqrt 3.9999999999999997e-32) 3.9999999999999997e-32))
  (* (* (* t (* t t)) (* t (* t t))) (* (sqrt 3.9999999999999997e-32) 3.9999999999999997e-32))
  (* (cbrt (* t (* (sqrt 3.9999999999999997e-32) t))) (cbrt (* t (* (sqrt 3.9999999999999997e-32) t))))
  (cbrt (* t (* (sqrt 3.9999999999999997e-32) t)))
  (* (* (* t (* t t)) (* t (* t t))) (* (sqrt 3.9999999999999997e-32) 3.9999999999999997e-32))
  (sqrt (* t (* (sqrt 3.9999999999999997e-32) t)))
  (sqrt (* t (* (sqrt 3.9999999999999997e-32) t)))
  (* t (sqrt (sqrt 3.9999999999999997e-32)))
  (* t (sqrt (sqrt 3.9999999999999997e-32)))
  (* t (sqrt (sqrt 3.9999999999999997e-32)))
  (* t (sqrt (sqrt 3.9999999999999997e-32)))
  (* t (sqrt 3.9999999999999997e-32))
  (* (* t (cbrt (sqrt 3.9999999999999997e-32))) t)
  (* t (* t (sqrt (cbrt 3.9999999999999997e-32))))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (* t t))
  (* t (* (sqrt 3.9999999999999997e-32) t))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (* t t))
  (* t (* (sqrt 3.9999999999999997e-32) t))
  (* (* t t) 3.9999999999999997e-32)
  (* (* t t) 3.9999999999999997e-32)
  (* (* t t) 3.9999999999999997e-32)
  (* t (* (sqrt 3.9999999999999997e-32) t))
  (* t (* (sqrt 3.9999999999999997e-32) t))
  (* t (* (sqrt 3.9999999999999997e-32) t))
30.269 * * * [progress]: adding candidates to table
30.513 * [progress]: [Phase 3 of 3] Extracting.
30.514 * * [regime]: Finding splitpoints for: (#<alt (λ (t) (* (* (sqrt 3.9999999999999997e-32) t) (* (sqrt 3.9999999999999997e-32) t)))> #<alt (λ (t) (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (* t t)))))> #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt (sqrt 3.9999999999999997e-32)) (* t t)))))> #<alt (λ (t) (* 3.9999999999999997e-32 (* t t)))> #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (cbrt (* (* (* (sqrt 3.9999999999999997e-32) (* t t)) (* (sqrt 3.9999999999999997e-32) (* t t))) (* (sqrt 3.9999999999999997e-32) (* t t))))))> #<alt (λ (t) (* (* (* 3.9999999999999997e-32 t) (* (cbrt t) (cbrt t))) (cbrt t)))> #<alt (λ (t) (* (* (* 3.9999999999999997e-32 t) (sqrt t)) (sqrt t)))>)
30.515 * * * [regime-changes]: Trying 1 branch expressions: (t)
30.515 * * * * [regimes]: Trying to branch on t from (#<alt (λ (t) (* (* (sqrt 3.9999999999999997e-32) t) (* (sqrt 3.9999999999999997e-32) t)))> #<alt (λ (t) (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (* t t)))))> #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt (sqrt 3.9999999999999997e-32)) (* t t)))))> #<alt (λ (t) (* 3.9999999999999997e-32 (* t t)))> #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (cbrt (* (* (* (sqrt 3.9999999999999997e-32) (* t t)) (* (sqrt 3.9999999999999997e-32) (* t t))) (* (sqrt 3.9999999999999997e-32) (* t t))))))> #<alt (λ (t) (* (* (* 3.9999999999999997e-32 t) (* (cbrt t) (cbrt t))) (cbrt t)))> #<alt (λ (t) (* (* (* 3.9999999999999997e-32 t) (sqrt t)) (sqrt t)))>)
30.594 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
30.595 * [simplify]: Simplifying:
  (* 3.9999999999999997e-32 (* t t))
30.595 * * [simplify]: iteration 0: 4 enodes
30.595 * * [simplify]: iteration 1: 5 enodes
30.596 * * [simplify]: iteration complete: 5 enodes
30.596 * * [simplify]: Extracting #0: cost 1 inf + 0
30.596 * * [simplify]: Extracting #1: cost 3 inf + 0
30.596 * * [simplify]: Extracting #2: cost 3 inf + 1
30.596 * * [simplify]: Extracting #3: cost 1 inf + 43
30.596 * * [simplify]: Extracting #4: cost 0 inf + 125
30.596 * [simplify]: Simplified to:
  (* 3.9999999999999997e-32 (* t t))
34.295 * [regime-testing]: Baseline error score: 0.34020060788929746
34.314 * [regime-testing]: Oracle error score: 0.02725340667583448
34.352 * [regime-testing]: End program error score: 0.34020060788929746
34.518 * [regime-testing]: Target error score: 50.571388478921065