18.078 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.028 * * * [progress]: [2/2] Setting up program.
0.031 * [progress]: [Phase 2 of 3] Improving.
0.031 * [simplify]: Simplifying:
  (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))
0.031 * * [simplify]: iteration 0: 11 enodes
0.033 * * [simplify]: iteration 1: 27 enodes
0.040 * * [simplify]: iteration 2: 84 enodes
0.062 * * [simplify]: iteration 3: 252 enodes
0.151 * * [simplify]: iteration 4: 663 enodes
0.579 * * [simplify]: iteration 5: 1689 enodes
2.458 * * [simplify]: iteration 6: 4204 enodes
3.224 * * [simplify]: iteration complete: 5001 enodes
3.224 * * [simplify]: Extracting #0: cost 1 inf + 0
3.225 * * [simplify]: Extracting #1: cost 115 inf + 0
3.227 * * [simplify]: Extracting #2: cost 454 inf + 1
3.231 * * [simplify]: Extracting #3: cost 517 inf + 5494
3.262 * * [simplify]: Extracting #4: cost 167 inf + 53670
3.327 * * [simplify]: Extracting #5: cost 11 inf + 86181
3.363 * * [simplify]: Extracting #6: cost 0 inf + 88825
3.413 * [simplify]: Simplified to:
  (+ (- -1.0 (* (* 2e-16 t) 2.0)) (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0)))
3.414 * * [progress]: iteration 1 / 4
3.414 * * * [progress]: picking best candidate
3.420 * * * * [pick]: Picked  #<alt (λ (t) (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))))>
3.421 * * * [progress]: localizing error
3.443 * * * [progress]: generating rewritten candidates
3.443 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
3.481 * * * [progress]: generating series expansions
3.481 * * * * [progress]: [ 1 / 1 ] generating series at (2)
3.482 * [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))
3.482 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
3.482 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
3.482 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
3.482 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
3.482 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.482 * [taylor]: Taking taylor expansion of t in t
3.482 * [backup-simplify]: Simplify 0 into 0
3.482 * [backup-simplify]: Simplify 1 into 1
3.482 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
3.482 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
3.482 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
3.482 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.482 * [taylor]: Taking taylor expansion of t in t
3.482 * [backup-simplify]: Simplify 0 into 0
3.482 * [backup-simplify]: Simplify 1 into 1
3.482 * [backup-simplify]: Simplify (* 1 1) into 1
3.483 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
3.483 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
3.483 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.484 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
3.484 * [backup-simplify]: Simplify 0 into 0
3.484 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.485 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
3.485 * [backup-simplify]: Simplify 0 into 0
3.485 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.486 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.486 * [backup-simplify]: Simplify 0 into 0
3.487 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.487 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.488 * [backup-simplify]: Simplify 0 into 0
3.488 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.489 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.489 * [backup-simplify]: Simplify 0 into 0
3.490 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.491 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.491 * [backup-simplify]: Simplify 0 into 0
3.491 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
3.491 * [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)))
3.491 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in (t) around 0
3.491 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in t
3.491 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
3.492 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
3.492 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
3.492 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.492 * [taylor]: Taking taylor expansion of t in t
3.492 * [backup-simplify]: Simplify 0 into 0
3.492 * [backup-simplify]: Simplify 1 into 1
3.492 * [backup-simplify]: Simplify (* 1 1) into 1
3.492 * [backup-simplify]: Simplify (/ 1 1) into 1
3.492 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in t
3.492 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
3.492 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
3.492 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
3.492 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.492 * [taylor]: Taking taylor expansion of t in t
3.492 * [backup-simplify]: Simplify 0 into 0
3.492 * [backup-simplify]: Simplify 1 into 1
3.492 * [backup-simplify]: Simplify (* 1 1) into 1
3.493 * [backup-simplify]: Simplify (/ 1 1) into 1
3.493 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
3.493 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
3.493 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.494 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.494 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
3.494 * [backup-simplify]: Simplify 0 into 0
3.495 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.495 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.496 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
3.496 * [backup-simplify]: Simplify 0 into 0
3.497 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.497 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.498 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.498 * [backup-simplify]: Simplify 0 into 0
3.499 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.499 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.500 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.500 * [backup-simplify]: Simplify 0 into 0
3.501 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.502 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.502 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.502 * [backup-simplify]: Simplify 0 into 0
3.503 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.504 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.505 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.505 * [backup-simplify]: Simplify 0 into 0
3.505 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
3.505 * [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)))
3.505 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in (t) around 0
3.505 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in t
3.505 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
3.505 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
3.505 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
3.505 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.505 * [taylor]: Taking taylor expansion of t in t
3.505 * [backup-simplify]: Simplify 0 into 0
3.505 * [backup-simplify]: Simplify 1 into 1
3.506 * [backup-simplify]: Simplify (* 1 1) into 1
3.506 * [backup-simplify]: Simplify (/ 1 1) into 1
3.506 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in t
3.506 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
3.506 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
3.506 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
3.506 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.506 * [taylor]: Taking taylor expansion of t in t
3.506 * [backup-simplify]: Simplify 0 into 0
3.506 * [backup-simplify]: Simplify 1 into 1
3.507 * [backup-simplify]: Simplify (* 1 1) into 1
3.507 * [backup-simplify]: Simplify (/ 1 1) into 1
3.508 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
3.508 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
3.508 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.509 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.510 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
3.510 * [backup-simplify]: Simplify 0 into 0
3.511 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.512 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.513 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
3.513 * [backup-simplify]: Simplify 0 into 0
3.514 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.515 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.516 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.516 * [backup-simplify]: Simplify 0 into 0
3.517 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.518 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.520 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.520 * [backup-simplify]: Simplify 0 into 0
3.521 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.522 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.523 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.523 * [backup-simplify]: Simplify 0 into 0
3.524 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.524 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.525 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.525 * [backup-simplify]: Simplify 0 into 0
3.525 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
3.525 * * * [progress]: simplifying candidates
3.527 * [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))
3.528 * * [simplify]: iteration 0: 133 enodes
3.580 * * [simplify]: iteration 1: 579 enodes
3.926 * * [simplify]: iteration 2: 2915 enodes
4.692 * * [simplify]: iteration complete: 5006 enodes
4.693 * * [simplify]: Extracting #0: cost 33 inf + 0
4.693 * * [simplify]: Extracting #1: cost 282 inf + 0
4.699 * * [simplify]: Extracting #2: cost 1236 inf + 198
4.710 * * [simplify]: Extracting #3: cost 1700 inf + 4915
4.740 * * [simplify]: Extracting #4: cost 1607 inf + 65534
4.831 * * [simplify]: Extracting #5: cost 631 inf + 396426
5.015 * * [simplify]: Extracting #6: cost 44 inf + 606126
5.187 * * [simplify]: Extracting #7: cost 29 inf + 614430
5.425 * * [simplify]: Extracting #8: cost 8 inf + 616793
5.621 * * [simplify]: Extracting #9: cost 0 inf + 619104
5.818 * [simplify]: Simplified to:
  (exp (+ (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0)) (- -1.0 (* (* 2e-16 t) 2.0))))
  (exp (+ (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0)) (- -1.0 (* (* 2e-16 t) 2.0))))
  (log (+ (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0)) (- -1.0 (* (* 2e-16 t) 2.0))))
  (exp (+ (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0)) (- -1.0 (* (* 2e-16 t) 2.0))))
  (* (cbrt (+ (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0)) (- -1.0 (* (* 2e-16 t) 2.0)))) (cbrt (+ (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0)) (- -1.0 (* (* 2e-16 t) 2.0)))))
  (cbrt (+ (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0)) (- -1.0 (* (* 2e-16 t) 2.0))))
  (* (+ (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0)) (- -1.0 (* (* 2e-16 t) 2.0))) (* (+ (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0)) (- -1.0 (* (* 2e-16 t) 2.0))) (+ (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0)) (- -1.0 (* (* 2e-16 t) 2.0)))))
  (sqrt (+ (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0)) (- -1.0 (* (* 2e-16 t) 2.0))))
  (sqrt (+ (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0)) (- -1.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 1.0)) (- (* (* -1.0 -1.0) -1.0) (* (* (* 2e-16 t) 2.0) (* (* (* 2e-16 t) 2.0) (* (* 2e-16 t) 2.0)))))) (* (+ (* -1.0 -1.0) (* (* (* 2e-16 t) 2.0) (+ -1.0 (* (* 2e-16 t) 2.0)))) (* (+ (* (* 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)))))
  (* (* (+ (* (- (* 2e-16 t) 1.0) (* 2e-16 t)) (* 1.0 1.0)) (+ (* (- (* 2e-16 t) 1.0) (* 2e-16 t)) (* 1.0 1.0))) (+ (* -1.0 -1.0) (* (* (* 2e-16 t) 2.0) (+ -1.0 (* (* 2e-16 t) 2.0)))))
  (+ (* (+ (* (- (* 2e-16 t) 1.0) (* 2e-16 t)) (* 1.0 1.0)) (* (+ -1.0 (* (* 2e-16 t) 2.0)) (* (- -1.0 (* (* 2e-16 t) 2.0)) (+ (* (- (* 2e-16 t) 1.0) (* 2e-16 t)) (* 1.0 1.0))))) (* (+ -1.0 (* (* 2e-16 t) 2.0)) (* (+ (* (* 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 (* (* 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 1.0))))
  (+ (* (* (+ (* (- (* 2e-16 t) 1.0) (* 2e-16 t)) (* 1.0 1.0)) (- (* (* -1.0 -1.0) -1.0) (* (* (* 2e-16 t) 2.0) (* (* (* 2e-16 t) 2.0) (* (* 2e-16 t) 2.0))))) (- 1.0 (* 2e-16 t))) (* (* (+ (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 1.0 1.0) 1.0)) (+ (* -1.0 -1.0) (* (* (* 2e-16 t) 2.0) (+ -1.0 (* (* 2e-16 t) 2.0))))) (* (- 1.0 (* 2e-16 t)) (+ (* 2e-16 t) 1.0))))
  (* (* (+ (* -1.0 -1.0) (* (* (* 2e-16 t) 2.0) (+ -1.0 (* (* 2e-16 t) 2.0)))) (+ (* (- (* 2e-16 t) 1.0) (* 2e-16 t)) (* 1.0 1.0))) (- 1.0 (* 2e-16 t)))
  (+ (* (* (+ -1.0 (* (* 2e-16 t) 2.0)) (* (- -1.0 (* (* 2e-16 t) 2.0)) (+ (* (- (* 2e-16 t) 1.0) (* 2e-16 t)) (* 1.0 1.0)))) (- 1.0 (* 2e-16 t))) (* (+ -1.0 (* (* 2e-16 t) 2.0)) (+ (* (* 1.0 1.0) (+ (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 1.0 1.0) 1.0))) (- (* (* (* 2e-16 t) (* 2e-16 t)) (+ (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 1.0 1.0) 1.0)))))))
  (* (* (+ (* (- (* 2e-16 t) 1.0) (* 2e-16 t)) (* 1.0 1.0)) (- 1.0 (* 2e-16 t))) (+ -1.0 (* (* 2e-16 t) 2.0)))
  (+ (* (* (+ (* (- (* 2e-16 t) 1.0) (* 2e-16 t)) (* 1.0 1.0)) (- (* (* -1.0 -1.0) -1.0) (* (* (* 2e-16 t) 2.0) (* (* (* 2e-16 t) 2.0) (* (* 2e-16 t) 2.0))))) (- 1.0 (* 2e-16 t))) (* (* (+ (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 1.0 1.0) 1.0)) (+ (* -1.0 -1.0) (* (* (* 2e-16 t) 2.0) (+ -1.0 (* (* 2e-16 t) 2.0))))) (* (- 1.0 (* 2e-16 t)) (+ (* 2e-16 t) 1.0))))
  (* (* (+ (* -1.0 -1.0) (* (* (* 2e-16 t) 2.0) (+ -1.0 (* (* 2e-16 t) 2.0)))) (+ (* (- (* 2e-16 t) 1.0) (* 2e-16 t)) (* 1.0 1.0))) (- 1.0 (* 2e-16 t)))
  (+ (* (* (+ -1.0 (* (* 2e-16 t) 2.0)) (* (- -1.0 (* (* 2e-16 t) 2.0)) (+ (* (- (* 2e-16 t) 1.0) (* 2e-16 t)) (* 1.0 1.0)))) (- 1.0 (* 2e-16 t))) (* (+ -1.0 (* (* 2e-16 t) 2.0)) (+ (* (* 1.0 1.0) (+ (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 1.0 1.0) 1.0))) (- (* (* (* 2e-16 t) (* 2e-16 t)) (+ (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 1.0 1.0) 1.0)))))))
  (* (* (+ (* (- (* 2e-16 t) 1.0) (* 2e-16 t)) (* 1.0 1.0)) (- 1.0 (* 2e-16 t))) (+ -1.0 (* (* 2e-16 t) 2.0)))
  (+ (* (- (* (* -1.0 -1.0) -1.0) (* (* (* 2e-16 t) 2.0) (* (* (* 2e-16 t) 2.0) (* (* 2e-16 t) 2.0)))) (* (- 1.0 (* 2e-16 t)) (- 1.0 (* 2e-16 t)))) (* (+ (* -1.0 -1.0) (* (* (* 2e-16 t) 2.0) (+ -1.0 (* (* 2e-16 t) 2.0)))) (* (* (- 1.0 (* 2e-16 t)) (+ (* 2e-16 t) 1.0)) (* (- 1.0 (* 2e-16 t)) (+ (* 2e-16 t) 1.0)))))
  (* (+ (* -1.0 -1.0) (* (* (* 2e-16 t) 2.0) (+ -1.0 (* (* 2e-16 t) 2.0)))) (* (- 1.0 (* 2e-16 t)) (- 1.0 (* 2e-16 t))))
  (+ (* (+ -1.0 (* (* 2e-16 t) 2.0)) (* (- -1.0 (* (* 2e-16 t) 2.0)) (* (- 1.0 (* 2e-16 t)) (- 1.0 (* 2e-16 t))))) (* (+ -1.0 (* (* 2e-16 t) 2.0)) (* (* (- 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) 2.0)) (* (- 1.0 (* 2e-16 t)) (- 1.0 (* 2e-16 t))))
  (+ (* (+ (* (- (* 2e-16 t) 1.0) (* 2e-16 t)) (* 1.0 1.0)) (- (* (* -1.0 -1.0) -1.0) (* (* (* 2e-16 t) 2.0) (* (* (* 2e-16 t) 2.0) (* (* 2e-16 t) 2.0))))) (* (+ (* -1.0 -1.0) (* (* (* 2e-16 t) 2.0) (+ -1.0 (* (* 2e-16 t) 2.0)))) (* (+ (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 1.0 1.0) 1.0)) (+ (* 2e-16 t) 1.0))))
  (* (+ (* -1.0 -1.0) (* (* (* 2e-16 t) 2.0) (+ -1.0 (* (* 2e-16 t) 2.0)))) (+ (* (- (* 2e-16 t) 1.0) (* 2e-16 t)) (* 1.0 1.0)))
  (+ (* (+ -1.0 (* (* 2e-16 t) 2.0)) (* (- -1.0 (* (* 2e-16 t) 2.0)) (+ (* (- (* 2e-16 t) 1.0) (* 2e-16 t)) (* 1.0 1.0)))) (* (* (+ (* 2e-16 t) 1.0) (+ -1.0 (* (* 2e-16 t) 2.0))) (+ (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 1.0 1.0) 1.0))))
  (* (+ (* (- (* 2e-16 t) 1.0) (* 2e-16 t)) (* 1.0 1.0)) (+ -1.0 (* (* 2e-16 t) 2.0)))
  (+ (* (* (* (- 1.0 (* 2e-16 t)) (+ (* 2e-16 t) 1.0)) (+ (* 2e-16 t) 1.0)) (+ (* -1.0 -1.0) (* (* (* 2e-16 t) 2.0) (+ -1.0 (* (* 2e-16 t) 2.0))))) (* (- 1.0 (* 2e-16 t)) (- (* (* -1.0 -1.0) -1.0) (* (* (* 2e-16 t) 2.0) (* (* (* 2e-16 t) 2.0) (* (* 2e-16 t) 2.0))))))
  (* (+ (* -1.0 -1.0) (* (* (* 2e-16 t) 2.0) (+ -1.0 (* (* 2e-16 t) 2.0)))) (- 1.0 (* 2e-16 t)))
  (+ (* (* (+ -1.0 (* (* 2e-16 t) 2.0)) (- 1.0 (* 2e-16 t))) (- -1.0 (* (* 2e-16 t) 2.0))) (* (+ -1.0 (* (* 2e-16 t) 2.0)) (* (* (- 1.0 (* 2e-16 t)) (+ (* 2e-16 t) 1.0)) (+ (* 2e-16 t) 1.0))))
  (* (+ -1.0 (* (* 2e-16 t) 2.0)) (- 1.0 (* 2e-16 t)))
  (+ (* (+ (* (- (* 2e-16 t) 1.0) (* 2e-16 t)) (* 1.0 1.0)) (- (* (* -1.0 -1.0) -1.0) (* (* (* 2e-16 t) 2.0) (* (* (* 2e-16 t) 2.0) (* (* 2e-16 t) 2.0))))) (* (+ (* -1.0 -1.0) (* (* (* 2e-16 t) 2.0) (+ -1.0 (* (* 2e-16 t) 2.0)))) (* (+ (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 1.0 1.0) 1.0)) (+ (* 2e-16 t) 1.0))))
  (* (+ (* -1.0 -1.0) (* (* (* 2e-16 t) 2.0) (+ -1.0 (* (* 2e-16 t) 2.0)))) (+ (* (- (* 2e-16 t) 1.0) (* 2e-16 t)) (* 1.0 1.0)))
  (+ (* (+ -1.0 (* (* 2e-16 t) 2.0)) (* (- -1.0 (* (* 2e-16 t) 2.0)) (+ (* (- (* 2e-16 t) 1.0) (* 2e-16 t)) (* 1.0 1.0)))) (* (* (+ (* 2e-16 t) 1.0) (+ -1.0 (* (* 2e-16 t) 2.0))) (+ (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 1.0 1.0) 1.0))))
  (* (+ (* (- (* 2e-16 t) 1.0) (* 2e-16 t)) (* 1.0 1.0)) (+ -1.0 (* (* 2e-16 t) 2.0)))
  (+ (* (* (* (- 1.0 (* 2e-16 t)) (+ (* 2e-16 t) 1.0)) (+ (* 2e-16 t) 1.0)) (+ (* -1.0 -1.0) (* (* (* 2e-16 t) 2.0) (+ -1.0 (* (* 2e-16 t) 2.0))))) (* (- 1.0 (* 2e-16 t)) (- (* (* -1.0 -1.0) -1.0) (* (* (* 2e-16 t) 2.0) (* (* (* 2e-16 t) 2.0) (* (* 2e-16 t) 2.0))))))
  (* (+ (* -1.0 -1.0) (* (* (* 2e-16 t) 2.0) (+ -1.0 (* (* 2e-16 t) 2.0)))) (- 1.0 (* 2e-16 t)))
  (+ (* (* (+ -1.0 (* (* 2e-16 t) 2.0)) (- 1.0 (* 2e-16 t))) (- -1.0 (* (* 2e-16 t) 2.0))) (* (+ -1.0 (* (* 2e-16 t) 2.0)) (* (* (- 1.0 (* 2e-16 t)) (+ (* 2e-16 t) 1.0)) (+ (* 2e-16 t) 1.0))))
  (* (+ -1.0 (* (* 2e-16 t) 2.0)) (- 1.0 (* 2e-16 t)))
  (+ (* (- -1.0 (* (* 2e-16 t) 2.0)) (* (- -1.0 (* (* 2e-16 t) 2.0)) (- -1.0 (* (* 2e-16 t) 2.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) (+ (* 2e-16 t) 1.0))) (* (- (- -1.0 (* (* 2e-16 t) 2.0)) (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0))) (- -1.0 (* (* 2e-16 t) 2.0))))
  (* (- (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0)) (- -1.0 (* (* 2e-16 t) 2.0))) (+ (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0)) (- -1.0 (* (* 2e-16 t) 2.0))))
  (- (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0)) (- -1.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)) -1.0)
  (- (+ (* (* 2e-16 t) (+ (* 2e-16 t) 1.0)) -1.0) (* (* 2e-16 t) 2.0))
  (- (+ (* (* 2e-16 t) (+ (* 2e-16 t) 1.0)) -1.0) (* (* 2e-16 t) 2.0))
  (+ (* (+ (* 2e-16 t) 1.0) (+ (* 2e-16 t) 1.0)) -1.0)
  (* (* t t) 3.9999999999999997e-32)
  (* (* t t) 3.9999999999999997e-32)
  (* (* t t) 3.9999999999999997e-32)
5.825 * * * [progress]: adding candidates to table
6.031 * * [progress]: iteration 2 / 4
6.031 * * * [progress]: picking best candidate
6.036 * * * * [pick]: Picked  #<alt (λ (t) (* (* t t) 3.9999999999999997e-32))>
6.036 * * * [progress]: localizing error
6.046 * * * [progress]: generating rewritten candidates
6.046 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
6.075 * * * [progress]: generating series expansions
6.075 * * * * [progress]: [ 1 / 1 ] generating series at (2)
6.075 * [backup-simplify]: Simplify (* (* t t) 3.9999999999999997e-32) into (* 3.9999999999999997e-32 (pow t 2))
6.076 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
6.076 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
6.076 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
6.076 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
6.076 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.076 * [taylor]: Taking taylor expansion of t in t
6.076 * [backup-simplify]: Simplify 0 into 0
6.076 * [backup-simplify]: Simplify 1 into 1
6.076 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
6.076 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
6.076 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
6.076 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.076 * [taylor]: Taking taylor expansion of t in t
6.076 * [backup-simplify]: Simplify 0 into 0
6.076 * [backup-simplify]: Simplify 1 into 1
6.077 * [backup-simplify]: Simplify (* 1 1) into 1
6.077 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
6.077 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
6.078 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.079 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
6.079 * [backup-simplify]: Simplify 0 into 0
6.080 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.081 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
6.081 * [backup-simplify]: Simplify 0 into 0
6.082 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.083 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.083 * [backup-simplify]: Simplify 0 into 0
6.084 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.086 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.086 * [backup-simplify]: Simplify 0 into 0
6.088 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.089 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.089 * [backup-simplify]: Simplify 0 into 0
6.091 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.093 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.093 * [backup-simplify]: Simplify 0 into 0
6.093 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
6.093 * [backup-simplify]: Simplify (* (* (/ 1 t) (/ 1 t)) 3.9999999999999997e-32) into (/ 3.9999999999999997e-32 (pow t 2))
6.093 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
6.093 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
6.093 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
6.093 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
6.093 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.093 * [taylor]: Taking taylor expansion of t in t
6.093 * [backup-simplify]: Simplify 0 into 0
6.093 * [backup-simplify]: Simplify 1 into 1
6.094 * [backup-simplify]: Simplify (* 1 1) into 1
6.094 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
6.094 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
6.094 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
6.094 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
6.094 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.094 * [taylor]: Taking taylor expansion of t in t
6.095 * [backup-simplify]: Simplify 0 into 0
6.095 * [backup-simplify]: Simplify 1 into 1
6.095 * [backup-simplify]: Simplify (* 1 1) into 1
6.095 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
6.096 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
6.096 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.097 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
6.097 * [backup-simplify]: Simplify 0 into 0
6.098 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.099 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.099 * [backup-simplify]: Simplify 0 into 0
6.100 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.101 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.101 * [backup-simplify]: Simplify 0 into 0
6.103 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.104 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.104 * [backup-simplify]: Simplify 0 into 0
6.105 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.106 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.106 * [backup-simplify]: Simplify 0 into 0
6.108 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.109 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.109 * [backup-simplify]: Simplify 0 into 0
6.109 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
6.110 * [backup-simplify]: Simplify (* (* (/ 1 (- t)) (/ 1 (- t))) 3.9999999999999997e-32) into (/ 3.9999999999999997e-32 (pow t 2))
6.110 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
6.110 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
6.110 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
6.110 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
6.110 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.110 * [taylor]: Taking taylor expansion of t in t
6.110 * [backup-simplify]: Simplify 0 into 0
6.110 * [backup-simplify]: Simplify 1 into 1
6.110 * [backup-simplify]: Simplify (* 1 1) into 1
6.111 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
6.111 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
6.111 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
6.111 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
6.111 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.111 * [taylor]: Taking taylor expansion of t in t
6.111 * [backup-simplify]: Simplify 0 into 0
6.111 * [backup-simplify]: Simplify 1 into 1
6.111 * [backup-simplify]: Simplify (* 1 1) into 1
6.112 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
6.112 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
6.113 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.114 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
6.114 * [backup-simplify]: Simplify 0 into 0
6.115 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.116 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.116 * [backup-simplify]: Simplify 0 into 0
6.117 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.118 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.118 * [backup-simplify]: Simplify 0 into 0
6.119 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.120 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.121 * [backup-simplify]: Simplify 0 into 0
6.122 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.123 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.123 * [backup-simplify]: Simplify 0 into 0
6.125 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.126 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.126 * [backup-simplify]: Simplify 0 into 0
6.126 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
6.126 * * * [progress]: simplifying candidates
6.127 * [simplify]: Simplifying:
  (* (* t t) 3.9999999999999997e-32)
  (* (* t t) 3.9999999999999997e-32)
  (+ (+ (log t) (log t)) (log 3.9999999999999997e-32))
  (+ (log (* t t)) (log 3.9999999999999997e-32))
  (log (* (* t t) 3.9999999999999997e-32))
  (exp (* (* t t) 3.9999999999999997e-32))
  (* (* (* (* t t) t) (* (* t t) t)) (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32))
  (* (* (* (* t t) (* t t)) (* t t)) (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32))
  (* (cbrt (* (* t t) 3.9999999999999997e-32)) (cbrt (* (* t t) 3.9999999999999997e-32)))
  (cbrt (* (* t t) 3.9999999999999997e-32))
  (* (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32)) (* (* t t) 3.9999999999999997e-32))
  (sqrt (* (* t t) 3.9999999999999997e-32))
  (sqrt (* (* t t) 3.9999999999999997e-32))
  (* t (sqrt 3.9999999999999997e-32))
  (* t (sqrt 3.9999999999999997e-32))
  (* (* t t) (* (cbrt 3.9999999999999997e-32) (cbrt 3.9999999999999997e-32)))
  (* (* t t) (sqrt 3.9999999999999997e-32))
  (* (* t t) 1)
  (* t 3.9999999999999997e-32)
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
6.128 * * [simplify]: iteration 0: 37 enodes
6.147 * * [simplify]: iteration 1: 102 enodes
6.190 * * [simplify]: iteration 2: 334 enodes
6.512 * * [simplify]: iteration 3: 1296 enodes
7.433 * * [simplify]: iteration complete: 5003 enodes
7.433 * * [simplify]: Extracting #0: cost 12 inf + 0
7.433 * * [simplify]: Extracting #1: cost 374 inf + 0
7.438 * * [simplify]: Extracting #2: cost 1562 inf + 5745
7.457 * * [simplify]: Extracting #3: cost 943 inf + 110961
7.509 * * [simplify]: Extracting #4: cost 32 inf + 225095
7.554 * * [simplify]: Extracting #5: cost 2 inf + 230480
7.626 * * [simplify]: Extracting #6: cost 0 inf + 231256
7.717 * [simplify]: Simplified to:
  (* (* t t) 3.9999999999999997e-32)
  (* (* t t) 3.9999999999999997e-32)
  (log (* (* t t) 3.9999999999999997e-32))
  (log (* (* t t) 3.9999999999999997e-32))
  (log (* (* t t) 3.9999999999999997e-32))
  (exp (* (* t t) 3.9999999999999997e-32))
  (* (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32)) (* (* t t) 3.9999999999999997e-32))
  (* (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32)) (* (* t t) 3.9999999999999997e-32))
  (* (cbrt (* (* t t) 3.9999999999999997e-32)) (cbrt (* (* t t) 3.9999999999999997e-32)))
  (cbrt (* (* t t) 3.9999999999999997e-32))
  (* (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32)) (* (* t t) 3.9999999999999997e-32))
  (sqrt (* (* t t) 3.9999999999999997e-32))
  (sqrt (* (* t t) 3.9999999999999997e-32))
  (* t (sqrt 3.9999999999999997e-32))
  (* t (sqrt 3.9999999999999997e-32))
  (* (* (cbrt 3.9999999999999997e-32) t) (* (cbrt 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 t) 3.9999999999999997e-32)
7.718 * * * [progress]: adding candidates to table
7.768 * * [progress]: iteration 3 / 4
7.768 * * * [progress]: picking best candidate
7.790 * * * * [pick]: Picked  #<alt (λ (t) (* t (* t 3.9999999999999997e-32)))>
7.790 * * * [progress]: localizing error
7.799 * * * [progress]: generating rewritten candidates
7.799 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
7.823 * * * [progress]: generating series expansions
7.823 * * * * [progress]: [ 1 / 1 ] generating series at (2)
7.824 * [backup-simplify]: Simplify (* t (* t 3.9999999999999997e-32)) into (* 3.9999999999999997e-32 (pow t 2))
7.824 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
7.824 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
7.824 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
7.824 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
7.824 * [taylor]: Taking taylor expansion of (pow t 2) in t
7.824 * [taylor]: Taking taylor expansion of t in t
7.824 * [backup-simplify]: Simplify 0 into 0
7.824 * [backup-simplify]: Simplify 1 into 1
7.824 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
7.824 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
7.824 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
7.824 * [taylor]: Taking taylor expansion of (pow t 2) in t
7.824 * [taylor]: Taking taylor expansion of t in t
7.824 * [backup-simplify]: Simplify 0 into 0
7.824 * [backup-simplify]: Simplify 1 into 1
7.825 * [backup-simplify]: Simplify (* 1 1) into 1
7.825 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
7.825 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
7.826 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.827 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
7.827 * [backup-simplify]: Simplify 0 into 0
7.828 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.829 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
7.829 * [backup-simplify]: Simplify 0 into 0
7.830 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.831 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.831 * [backup-simplify]: Simplify 0 into 0
7.832 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.833 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.833 * [backup-simplify]: Simplify 0 into 0
7.835 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.836 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.836 * [backup-simplify]: Simplify 0 into 0
7.838 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.840 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.840 * [backup-simplify]: Simplify 0 into 0
7.840 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
7.840 * [backup-simplify]: Simplify (* (/ 1 t) (* (/ 1 t) 3.9999999999999997e-32)) into (/ 3.9999999999999997e-32 (pow t 2))
7.840 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
7.840 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
7.840 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
7.840 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
7.840 * [taylor]: Taking taylor expansion of (pow t 2) in t
7.840 * [taylor]: Taking taylor expansion of t in t
7.840 * [backup-simplify]: Simplify 0 into 0
7.840 * [backup-simplify]: Simplify 1 into 1
7.841 * [backup-simplify]: Simplify (* 1 1) into 1
7.841 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
7.841 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
7.841 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
7.841 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
7.841 * [taylor]: Taking taylor expansion of (pow t 2) in t
7.841 * [taylor]: Taking taylor expansion of t in t
7.841 * [backup-simplify]: Simplify 0 into 0
7.841 * [backup-simplify]: Simplify 1 into 1
7.842 * [backup-simplify]: Simplify (* 1 1) into 1
7.842 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
7.842 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
7.843 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.844 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
7.844 * [backup-simplify]: Simplify 0 into 0
7.845 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.846 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.846 * [backup-simplify]: Simplify 0 into 0
7.847 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.848 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.848 * [backup-simplify]: Simplify 0 into 0
7.850 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.851 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.851 * [backup-simplify]: Simplify 0 into 0
7.852 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.853 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.853 * [backup-simplify]: Simplify 0 into 0
7.855 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.856 * [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
7.856 * [backup-simplify]: Simplify 0 into 0
7.856 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
7.857 * [backup-simplify]: Simplify (* (/ 1 (- t)) (* (/ 1 (- t)) 3.9999999999999997e-32)) into (/ 3.9999999999999997e-32 (pow t 2))
7.857 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
7.857 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
7.857 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
7.857 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
7.857 * [taylor]: Taking taylor expansion of (pow t 2) in t
7.857 * [taylor]: Taking taylor expansion of t in t
7.857 * [backup-simplify]: Simplify 0 into 0
7.857 * [backup-simplify]: Simplify 1 into 1
7.857 * [backup-simplify]: Simplify (* 1 1) into 1
7.858 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
7.858 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
7.858 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
7.858 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
7.858 * [taylor]: Taking taylor expansion of (pow t 2) in t
7.858 * [taylor]: Taking taylor expansion of t in t
7.858 * [backup-simplify]: Simplify 0 into 0
7.858 * [backup-simplify]: Simplify 1 into 1
7.858 * [backup-simplify]: Simplify (* 1 1) into 1
7.859 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
7.859 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
7.860 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.860 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
7.860 * [backup-simplify]: Simplify 0 into 0
7.861 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.862 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.862 * [backup-simplify]: Simplify 0 into 0
7.864 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.865 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.865 * [backup-simplify]: Simplify 0 into 0
7.866 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.867 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.867 * [backup-simplify]: Simplify 0 into 0
7.868 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.869 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.869 * [backup-simplify]: Simplify 0 into 0
7.871 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.872 * [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
7.872 * [backup-simplify]: Simplify 0 into 0
7.872 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
7.872 * * * [progress]: simplifying candidates
7.873 * [simplify]: Simplifying:
  (* t (* t 3.9999999999999997e-32))
  (* t (* t 3.9999999999999997e-32))
  (+ (log t) (+ (log t) (log 3.9999999999999997e-32)))
  (+ (log t) (log (* t 3.9999999999999997e-32)))
  (log (* t (* t 3.9999999999999997e-32)))
  (exp (* t (* t 3.9999999999999997e-32)))
  (* (* (* t t) t) (* (* (* t t) t) (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32)))
  (* (* (* t t) t) (* (* (* t 3.9999999999999997e-32) (* t 3.9999999999999997e-32)) (* t 3.9999999999999997e-32)))
  (* (cbrt (* t (* t 3.9999999999999997e-32))) (cbrt (* t (* t 3.9999999999999997e-32))))
  (cbrt (* t (* t 3.9999999999999997e-32)))
  (* (* (* t (* t 3.9999999999999997e-32)) (* t (* t 3.9999999999999997e-32))) (* t (* t 3.9999999999999997e-32)))
  (sqrt (* t (* t 3.9999999999999997e-32)))
  (sqrt (* t (* t 3.9999999999999997e-32)))
  (* t t)
  (* (cbrt t) (* t 3.9999999999999997e-32))
  (* (sqrt t) (* t 3.9999999999999997e-32))
  (* t (* t 3.9999999999999997e-32))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
7.873 * * [simplify]: iteration 0: 33 enodes
7.888 * * [simplify]: iteration 1: 85 enodes
7.942 * * [simplify]: iteration 2: 278 enodes
8.312 * * [simplify]: iteration 3: 1104 enodes
11.346 * * [simplify]: iteration complete: 5000 enodes
11.346 * * [simplify]: Extracting #0: cost 10 inf + 0
11.347 * * [simplify]: Extracting #1: cost 257 inf + 0
11.354 * * [simplify]: Extracting #2: cost 1064 inf + 7405
11.376 * * [simplify]: Extracting #3: cost 382 inf + 94326
11.444 * * [simplify]: Extracting #4: cost 39 inf + 143493
11.509 * * [simplify]: Extracting #5: cost 0 inf + 150838
11.562 * * [simplify]: Extracting #6: cost 0 inf + 150478
11.602 * * [simplify]: Extracting #7: cost 0 inf + 150358
11.667 * [simplify]: Simplified to:
  (* t (* t 3.9999999999999997e-32))
  (* t (* t 3.9999999999999997e-32))
  (log (* t (* t 3.9999999999999997e-32)))
  (log (* t (* t 3.9999999999999997e-32)))
  (log (* t (* t 3.9999999999999997e-32)))
  (exp (* t (* t 3.9999999999999997e-32)))
  (* (* t (* t 3.9999999999999997e-32)) (* (* t (* t 3.9999999999999997e-32)) (* t (* t 3.9999999999999997e-32))))
  (* (* t (* t 3.9999999999999997e-32)) (* (* t (* t 3.9999999999999997e-32)) (* t (* t 3.9999999999999997e-32))))
  (* (cbrt (* t (* t 3.9999999999999997e-32))) (cbrt (* t (* t 3.9999999999999997e-32))))
  (cbrt (* t (* t 3.9999999999999997e-32)))
  (* (* t (* t 3.9999999999999997e-32)) (* (* t (* t 3.9999999999999997e-32)) (* t (* t 3.9999999999999997e-32))))
  (sqrt (* t (* t 3.9999999999999997e-32)))
  (sqrt (* t (* t 3.9999999999999997e-32)))
  (* t t)
  (* (cbrt t) (* t 3.9999999999999997e-32))
  (* (* t 3.9999999999999997e-32) (sqrt t))
  (* t (* t 3.9999999999999997e-32))
  (* t (* t 3.9999999999999997e-32))
  (* t (* t 3.9999999999999997e-32))
  (* t (* t 3.9999999999999997e-32))
11.668 * * * [progress]: adding candidates to table
11.720 * * [progress]: iteration 4 / 4
11.720 * * * [progress]: picking best candidate
11.733 * * * * [pick]: Picked  #<alt (λ (t) (* (* (* t t) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)))>
11.734 * * * [progress]: localizing error
11.742 * * * [progress]: generating rewritten candidates
11.743 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
11.761 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
11.820 * * * [progress]: generating series expansions
11.820 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
11.821 * [backup-simplify]: Simplify (* (* t t) (sqrt 3.9999999999999997e-32)) into (* (pow t 2) (sqrt 3.9999999999999997e-32))
11.821 * [approximate]: Taking taylor expansion of (* (pow t 2) (sqrt 3.9999999999999997e-32)) in (t) around 0
11.821 * [taylor]: Taking taylor expansion of (* (pow t 2) (sqrt 3.9999999999999997e-32)) in t
11.821 * [taylor]: Taking taylor expansion of (pow t 2) in t
11.821 * [taylor]: Taking taylor expansion of t in t
11.821 * [backup-simplify]: Simplify 0 into 0
11.821 * [backup-simplify]: Simplify 1 into 1
11.821 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
11.821 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
11.821 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
11.822 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
11.822 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
11.822 * [taylor]: Taking taylor expansion of (* (pow t 2) (sqrt 3.9999999999999997e-32)) in t
11.823 * [taylor]: Taking taylor expansion of (pow t 2) in t
11.823 * [taylor]: Taking taylor expansion of t in t
11.823 * [backup-simplify]: Simplify 0 into 0
11.823 * [backup-simplify]: Simplify 1 into 1
11.823 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
11.823 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
11.823 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
11.823 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
11.824 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
11.824 * [backup-simplify]: Simplify (* 1 1) into 1
11.825 * [backup-simplify]: Simplify (* 1 (sqrt 3.9999999999999997e-32)) into (sqrt 3.9999999999999997e-32)
11.826 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
11.826 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.827 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0
11.827 * [backup-simplify]: Simplify 0 into 0
11.828 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
11.829 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.830 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0
11.830 * [backup-simplify]: Simplify 0 into 0
11.832 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
11.833 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.834 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0
11.834 * [backup-simplify]: Simplify 0 into 0
11.835 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
11.837 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.838 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0
11.838 * [backup-simplify]: Simplify 0 into 0
11.839 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
11.841 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.842 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0
11.842 * [backup-simplify]: Simplify 0 into 0
11.844 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
11.845 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.847 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))))) into 0
11.847 * [backup-simplify]: Simplify 0 into 0
11.848 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow t 2)) into (* (pow t 2) (sqrt 3.9999999999999997e-32))
11.849 * [backup-simplify]: Simplify (* (* (/ 1 t) (/ 1 t)) (sqrt 3.9999999999999997e-32)) into (/ (sqrt 3.9999999999999997e-32) (pow t 2))
11.849 * [approximate]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in (t) around 0
11.849 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in t
11.849 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
11.849 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
11.849 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
11.849 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
11.850 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
11.850 * [taylor]: Taking taylor expansion of (pow t 2) in t
11.850 * [taylor]: Taking taylor expansion of t in t
11.850 * [backup-simplify]: Simplify 0 into 0
11.850 * [backup-simplify]: Simplify 1 into 1
11.851 * [backup-simplify]: Simplify (* 1 1) into 1
11.852 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32)
11.852 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in t
11.852 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
11.852 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
11.852 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
11.852 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
11.853 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
11.853 * [taylor]: Taking taylor expansion of (pow t 2) in t
11.853 * [taylor]: Taking taylor expansion of t in t
11.853 * [backup-simplify]: Simplify 0 into 0
11.853 * [backup-simplify]: Simplify 1 into 1
11.853 * [backup-simplify]: Simplify (* 1 1) into 1
11.854 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32)
11.855 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
11.856 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.856 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)))) into 0
11.857 * [backup-simplify]: Simplify 0 into 0
11.858 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
11.859 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.860 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.861 * [backup-simplify]: Simplify 0 into 0
11.862 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
11.863 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.864 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.864 * [backup-simplify]: Simplify 0 into 0
11.866 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
11.867 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.868 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.868 * [backup-simplify]: Simplify 0 into 0
11.870 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
11.871 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.872 * [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
11.872 * [backup-simplify]: Simplify 0 into 0
11.874 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
11.875 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.877 * [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
11.877 * [backup-simplify]: Simplify 0 into 0
11.877 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow (/ 1 (/ 1 t)) 2)) into (* (pow t 2) (sqrt 3.9999999999999997e-32))
11.878 * [backup-simplify]: Simplify (* (* (/ 1 (- t)) (/ 1 (- t))) (sqrt 3.9999999999999997e-32)) into (/ (sqrt 3.9999999999999997e-32) (pow t 2))
11.878 * [approximate]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in (t) around 0
11.878 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in t
11.878 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
11.878 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
11.878 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
11.878 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
11.879 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
11.879 * [taylor]: Taking taylor expansion of (pow t 2) in t
11.879 * [taylor]: Taking taylor expansion of t in t
11.879 * [backup-simplify]: Simplify 0 into 0
11.879 * [backup-simplify]: Simplify 1 into 1
11.880 * [backup-simplify]: Simplify (* 1 1) into 1
11.880 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32)
11.881 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in t
11.881 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
11.881 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
11.881 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
11.881 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
11.882 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
11.882 * [taylor]: Taking taylor expansion of (pow t 2) in t
11.882 * [taylor]: Taking taylor expansion of t in t
11.882 * [backup-simplify]: Simplify 0 into 0
11.882 * [backup-simplify]: Simplify 1 into 1
11.882 * [backup-simplify]: Simplify (* 1 1) into 1
11.883 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32)
11.883 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
11.884 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.885 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)))) into 0
11.885 * [backup-simplify]: Simplify 0 into 0
11.886 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
11.887 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.888 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.888 * [backup-simplify]: Simplify 0 into 0
11.890 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
11.890 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.891 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.891 * [backup-simplify]: Simplify 0 into 0
11.892 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
11.893 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.893 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.893 * [backup-simplify]: Simplify 0 into 0
11.894 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
11.896 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.897 * [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
11.897 * [backup-simplify]: Simplify 0 into 0
11.898 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
11.899 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.900 * [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
11.900 * [backup-simplify]: Simplify 0 into 0
11.900 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow (/ 1 (/ 1 (- t))) 2)) into (* (pow t 2) (sqrt 3.9999999999999997e-32))
11.900 * * * * [progress]: [ 2 / 2 ] generating series at (2)
11.901 * [backup-simplify]: Simplify (* (* (* t t) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2))
11.901 * [approximate]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) in (t) around 0
11.901 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) in t
11.901 * [taylor]: Taking taylor expansion of (pow t 2) in t
11.901 * [taylor]: Taking taylor expansion of t in t
11.901 * [backup-simplify]: Simplify 0 into 0
11.901 * [backup-simplify]: Simplify 1 into 1
11.901 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
11.901 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
11.901 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
11.901 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
11.901 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
11.902 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
11.902 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) in t
11.902 * [taylor]: Taking taylor expansion of (pow t 2) in t
11.902 * [taylor]: Taking taylor expansion of t in t
11.902 * [backup-simplify]: Simplify 0 into 0
11.902 * [backup-simplify]: Simplify 1 into 1
11.902 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
11.902 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
11.902 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
11.902 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
11.902 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
11.902 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
11.903 * [backup-simplify]: Simplify (* 1 1) into 1
11.903 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2)
11.904 * [backup-simplify]: Simplify (* 1 (pow (sqrt 3.9999999999999997e-32) 2)) into (pow (sqrt 3.9999999999999997e-32) 2)
11.905 * [backup-simplify]: Simplify (pow (sqrt 3.9999999999999997e-32) 2) into (pow (sqrt 3.9999999999999997e-32) 2)
11.905 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0
11.906 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.906 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2))) into 0
11.907 * [backup-simplify]: Simplify 0 into 0
11.907 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
11.908 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0
11.908 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.909 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2)))) into 0
11.909 * [backup-simplify]: Simplify 0 into 0
11.910 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
11.910 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0
11.911 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.912 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2))))) into 0
11.912 * [backup-simplify]: Simplify 0 into 0
11.913 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
11.914 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0
11.914 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.915 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2)))))) into 0
11.915 * [backup-simplify]: Simplify 0 into 0
11.916 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
11.917 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0
11.918 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.920 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2))))))) into 0
11.920 * [backup-simplify]: Simplify 0 into 0
11.921 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
11.923 * [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
11.925 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.927 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2)))))))) into 0
11.928 * [backup-simplify]: Simplify 0 into 0
11.929 * [backup-simplify]: Simplify (* (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2))
11.930 * [backup-simplify]: Simplify (* (* (* (/ 1 t) (/ 1 t)) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) into (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2))
11.930 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in (t) around 0
11.930 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t
11.930 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
11.930 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
11.930 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
11.930 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
11.931 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
11.931 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
11.931 * [taylor]: Taking taylor expansion of (pow t 2) in t
11.931 * [taylor]: Taking taylor expansion of t in t
11.931 * [backup-simplify]: Simplify 0 into 0
11.932 * [backup-simplify]: Simplify 1 into 1
11.933 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2)
11.933 * [backup-simplify]: Simplify (* 1 1) into 1
11.935 * [backup-simplify]: Simplify (/ (pow (sqrt 3.9999999999999997e-32) 2) 1) into (pow (sqrt 3.9999999999999997e-32) 2)
11.935 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t
11.935 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
11.935 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
11.935 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
11.935 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
11.936 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
11.937 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
11.937 * [taylor]: Taking taylor expansion of (pow t 2) in t
11.937 * [taylor]: Taking taylor expansion of t in t
11.937 * [backup-simplify]: Simplify 0 into 0
11.937 * [backup-simplify]: Simplify 1 into 1
11.938 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2)
11.938 * [backup-simplify]: Simplify (* 1 1) into 1
11.940 * [backup-simplify]: Simplify (/ (pow (sqrt 3.9999999999999997e-32) 2) 1) into (pow (sqrt 3.9999999999999997e-32) 2)
11.941 * [backup-simplify]: Simplify (pow (sqrt 3.9999999999999997e-32) 2) into (pow (sqrt 3.9999999999999997e-32) 2)
11.942 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0
11.943 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.944 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)))) into 0
11.944 * [backup-simplify]: Simplify 0 into 0
11.945 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
11.946 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0
11.947 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.949 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.949 * [backup-simplify]: Simplify 0 into 0
11.950 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
11.951 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0
11.952 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.954 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.954 * [backup-simplify]: Simplify 0 into 0
11.956 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
11.957 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0
11.958 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.960 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.960 * [backup-simplify]: Simplify 0 into 0
11.961 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
11.963 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0
11.964 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.966 * [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
11.966 * [backup-simplify]: Simplify 0 into 0
11.968 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
11.970 * [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
11.972 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.974 * [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
11.974 * [backup-simplify]: Simplify 0 into 0
11.975 * [backup-simplify]: Simplify (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (/ 1 (/ 1 t)) 2)) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2))
11.976 * [backup-simplify]: Simplify (* (* (* (/ 1 (- t)) (/ 1 (- t))) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) into (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2))
11.976 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in (t) around 0
11.976 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t
11.976 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
11.976 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
11.976 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
11.976 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
11.977 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
11.977 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
11.977 * [taylor]: Taking taylor expansion of (pow t 2) in t
11.977 * [taylor]: Taking taylor expansion of t in t
11.977 * [backup-simplify]: Simplify 0 into 0
11.977 * [backup-simplify]: Simplify 1 into 1
11.979 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2)
11.979 * [backup-simplify]: Simplify (* 1 1) into 1
11.981 * [backup-simplify]: Simplify (/ (pow (sqrt 3.9999999999999997e-32) 2) 1) into (pow (sqrt 3.9999999999999997e-32) 2)
11.981 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t
11.981 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
11.981 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
11.981 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
11.981 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
11.981 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
11.982 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
11.982 * [taylor]: Taking taylor expansion of (pow t 2) in t
11.982 * [taylor]: Taking taylor expansion of t in t
11.982 * [backup-simplify]: Simplify 0 into 0
11.982 * [backup-simplify]: Simplify 1 into 1
11.983 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2)
11.984 * [backup-simplify]: Simplify (* 1 1) into 1
11.985 * [backup-simplify]: Simplify (/ (pow (sqrt 3.9999999999999997e-32) 2) 1) into (pow (sqrt 3.9999999999999997e-32) 2)
11.986 * [backup-simplify]: Simplify (pow (sqrt 3.9999999999999997e-32) 2) into (pow (sqrt 3.9999999999999997e-32) 2)
11.987 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0
11.988 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.989 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)))) into 0
11.989 * [backup-simplify]: Simplify 0 into 0
11.990 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
11.991 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0
11.992 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.993 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.993 * [backup-simplify]: Simplify 0 into 0
11.994 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
11.996 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0
11.997 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.998 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.998 * [backup-simplify]: Simplify 0 into 0
11.999 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
12.001 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0
12.002 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.003 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.003 * [backup-simplify]: Simplify 0 into 0
12.005 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
12.006 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0
12.007 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.009 * [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
12.009 * [backup-simplify]: Simplify 0 into 0
12.010 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
12.012 * [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
12.013 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.015 * [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
12.015 * [backup-simplify]: Simplify 0 into 0
12.016 * [backup-simplify]: Simplify (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (/ 1 (/ 1 (- t))) 2)) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2))
12.016 * * * [progress]: simplifying candidates
12.018 * [simplify]: Simplifying:
  (* (* t t) (sqrt 3.9999999999999997e-32))
  (* (* t t) (sqrt 3.9999999999999997e-32))
  (+ (+ (log t) (log t)) (log (sqrt 3.9999999999999997e-32)))
  (+ (log (* t t)) (log (sqrt 3.9999999999999997e-32)))
  (log (* (* t t) (sqrt 3.9999999999999997e-32)))
  (exp (* (* t t) (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)) (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)))
  (* (cbrt (* (* t t) (sqrt 3.9999999999999997e-32))) (cbrt (* (* t t) (sqrt 3.9999999999999997e-32))))
  (cbrt (* (* t t) (sqrt 3.9999999999999997e-32)))
  (* (* (* (* t t) (sqrt 3.9999999999999997e-32)) (* (* t t) (sqrt 3.9999999999999997e-32))) (* (* t t) (sqrt 3.9999999999999997e-32)))
  (sqrt (* (* t t) (sqrt 3.9999999999999997e-32)))
  (sqrt (* (* t t) (sqrt 3.9999999999999997e-32)))
  (* 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 t) (* (cbrt (sqrt 3.9999999999999997e-32)) (cbrt (sqrt 3.9999999999999997e-32))))
  (* (* t t) (sqrt (* (cbrt 3.9999999999999997e-32) (cbrt 3.9999999999999997e-32))))
  (* (* t t) (sqrt (sqrt 3.9999999999999997e-32)))
  (* (* t t) (sqrt 1))
  (* (* t t) (sqrt (sqrt 3.9999999999999997e-32)))
  (* (* t t) 1)
  (* t (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))
  (+ (+ (+ (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)))
  (+ (log (* (* t t) (sqrt 3.9999999999999997e-32))) (log (sqrt 3.9999999999999997e-32)))
  (log (* (* (* t t) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)))
  (exp (* (* (* t t) (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) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)))
  (* (* (* (* (* t t) (sqrt 3.9999999999999997e-32)) (* (* t t) (sqrt 3.9999999999999997e-32))) (* (* t t) (sqrt 3.9999999999999997e-32))) (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)))
  (* (cbrt (* (* (* t t) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32))) (cbrt (* (* (* t t) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32))))
  (cbrt (* (* (* 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 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)))
  (sqrt (* (* (* t t) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)))
  (sqrt (* (* (* t t) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)))
  (* (* (* t t) (sqrt 3.9999999999999997e-32)) (* (cbrt (sqrt 3.9999999999999997e-32)) (cbrt (sqrt 3.9999999999999997e-32))))
  (* (* (* t t) (sqrt 3.9999999999999997e-32)) (sqrt (* (cbrt 3.9999999999999997e-32) (cbrt 3.9999999999999997e-32))))
  (* (* (* t t) (sqrt 3.9999999999999997e-32)) (sqrt (sqrt 3.9999999999999997e-32)))
  (* (* (* t t) (sqrt 3.9999999999999997e-32)) (sqrt 1))
  (* (* (* t t) (sqrt 3.9999999999999997e-32)) (sqrt (sqrt 3.9999999999999997e-32)))
  (* (* (* t t) (sqrt 3.9999999999999997e-32)) 1)
  (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32))
  (* (pow t 2) (sqrt 3.9999999999999997e-32))
  (* (pow t 2) (sqrt 3.9999999999999997e-32))
  (* (pow t 2) (sqrt 3.9999999999999997e-32))
  (* (pow 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))
12.019 * * [simplify]: iteration 0: 65 enodes
12.053 * * [simplify]: iteration 1: 180 enodes
12.167 * * [simplify]: iteration 2: 647 enodes
12.826 * * [simplify]: iteration 3: 2147 enodes
14.157 * * [simplify]: iteration complete: 5001 enodes
14.157 * * [simplify]: Extracting #0: cost 24 inf + 0
14.159 * * [simplify]: Extracting #1: cost 516 inf + 1
14.167 * * [simplify]: Extracting #2: cost 1267 inf + 4880
14.205 * * [simplify]: Extracting #3: cost 725 inf + 109683
14.278 * * [simplify]: Extracting #4: cost 64 inf + 238572
14.357 * * [simplify]: Extracting #5: cost 1 inf + 254943
14.428 * * [simplify]: Extracting #6: cost 0 inf + 255466
14.500 * [simplify]: Simplified to:
  (* (* t t) (sqrt 3.9999999999999997e-32))
  (* (* t t) (sqrt 3.9999999999999997e-32))
  (log (* (* t t) (sqrt 3.9999999999999997e-32)))
  (log (* (* t t) (sqrt 3.9999999999999997e-32)))
  (log (* (* t t) (sqrt 3.9999999999999997e-32)))
  (exp (* (* t t) (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 3.9999999999999997e-32)) (* (* t t) (sqrt 3.9999999999999997e-32))) (* (* t t) (sqrt 3.9999999999999997e-32)))
  (* (cbrt (* (* t t) (sqrt 3.9999999999999997e-32))) (cbrt (* (* t t) (sqrt 3.9999999999999997e-32))))
  (cbrt (* (* t t) (sqrt 3.9999999999999997e-32)))
  (* (* (* (* t t) (sqrt 3.9999999999999997e-32)) (* (* t t) (sqrt 3.9999999999999997e-32))) (* (* t t) (sqrt 3.9999999999999997e-32)))
  (sqrt (* (* t t) (sqrt 3.9999999999999997e-32)))
  (sqrt (* (* t t) (sqrt 3.9999999999999997e-32)))
  (* 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 (cbrt (sqrt 3.9999999999999997e-32))) (* t (cbrt (sqrt 3.9999999999999997e-32))))
  (* (fabs (cbrt 3.9999999999999997e-32)) (* t t))
  (* (* t t) (sqrt (sqrt 3.9999999999999997e-32)))
  (* t t)
  (* (* t t) (sqrt (sqrt 3.9999999999999997e-32)))
  (* t t)
  (* (sqrt 3.9999999999999997e-32) t)
  (* (* t t) 3.9999999999999997e-32)
  (* (* t t) 3.9999999999999997e-32)
  (* (* t t) 3.9999999999999997e-32)
  (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))
  (fabs (* (sqrt 3.9999999999999997e-32) t))
  (fabs (* (sqrt 3.9999999999999997e-32) t))
  (* (* t (cbrt (sqrt 3.9999999999999997e-32))) (* (* t (cbrt (sqrt 3.9999999999999997e-32))) (sqrt 3.9999999999999997e-32)))
  (* (* (fabs (cbrt 3.9999999999999997e-32)) (* t t)) (sqrt 3.9999999999999997e-32))
  (* (* (sqrt (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* t t))
  (* (* t t) (sqrt 3.9999999999999997e-32))
  (* (* (sqrt (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* t t))
  (* (* t t) (sqrt 3.9999999999999997e-32))
  3.9999999999999997e-32
  (* (* t t) (sqrt 3.9999999999999997e-32))
  (* (* t t) (sqrt 3.9999999999999997e-32))
  (* (* t t) (sqrt 3.9999999999999997e-32))
  (* (* t t) 3.9999999999999997e-32)
  (* (* t t) 3.9999999999999997e-32)
  (* (* t t) 3.9999999999999997e-32)
14.503 * * * [progress]: adding candidates to table
14.658 * [progress]: [Phase 3 of 3] Extracting.
14.658 * * [regime]: Finding splitpoints for: (#<alt (λ (t) (* t (* t 3.9999999999999997e-32)))> #<alt (λ (t) (* (* (* t t) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)))> #<alt (λ (t) (* (cbrt (* (* (* (* t t) (sqrt 3.9999999999999997e-32)) (* (* t t) (sqrt 3.9999999999999997e-32))) (* (* t t) (sqrt 3.9999999999999997e-32)))) (sqrt 3.9999999999999997e-32)))> #<alt (λ (t) (* (sqrt t) (* (sqrt t) (* t 3.9999999999999997e-32))))> #<alt (λ (t) (cbrt (* (* (* t (* t 3.9999999999999997e-32)) (* t (* t 3.9999999999999997e-32))) (* t (* t 3.9999999999999997e-32)))))> #<alt (λ (t) (* (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32))))> #<alt (λ (t) (* (* (* (* t t) (sqrt 3.9999999999999997e-32)) (sqrt (sqrt 3.9999999999999997e-32))) (sqrt (sqrt 3.9999999999999997e-32))))> #<alt (λ (t) (* (* (* t (sqrt (sqrt 3.9999999999999997e-32))) (* t (sqrt (sqrt 3.9999999999999997e-32)))) (sqrt 3.9999999999999997e-32)))>)
14.659 * * * [regime-changes]: Trying 1 branch expressions: (t)
14.659 * * * * [regimes]: Trying to branch on t from (#<alt (λ (t) (* t (* t 3.9999999999999997e-32)))> #<alt (λ (t) (* (* (* t t) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)))> #<alt (λ (t) (* (cbrt (* (* (* (* t t) (sqrt 3.9999999999999997e-32)) (* (* t t) (sqrt 3.9999999999999997e-32))) (* (* t t) (sqrt 3.9999999999999997e-32)))) (sqrt 3.9999999999999997e-32)))> #<alt (λ (t) (* (sqrt t) (* (sqrt t) (* t 3.9999999999999997e-32))))> #<alt (λ (t) (cbrt (* (* (* t (* t 3.9999999999999997e-32)) (* t (* t 3.9999999999999997e-32))) (* t (* t 3.9999999999999997e-32)))))> #<alt (λ (t) (* (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32))))> #<alt (λ (t) (* (* (* (* t t) (sqrt 3.9999999999999997e-32)) (sqrt (sqrt 3.9999999999999997e-32))) (sqrt (sqrt 3.9999999999999997e-32))))> #<alt (λ (t) (* (* (* t (sqrt (sqrt 3.9999999999999997e-32))) (* t (sqrt (sqrt 3.9999999999999997e-32)))) (sqrt 3.9999999999999997e-32)))>)
14.721 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
14.721 * [simplify]: Simplifying:
  (* t (* t 3.9999999999999997e-32))
14.721 * * [simplify]: iteration 0: 4 enodes
14.721 * * [simplify]: iteration 1: 6 enodes
14.722 * * [simplify]: iteration complete: 6 enodes
14.722 * * [simplify]: Extracting #0: cost 1 inf + 0
14.722 * * [simplify]: Extracting #1: cost 3 inf + 0
14.722 * * [simplify]: Extracting #2: cost 3 inf + 1
14.722 * * [simplify]: Extracting #3: cost 0 inf + 126
14.722 * [simplify]: Simplified to:
  (* t (* t 3.9999999999999997e-32))
16.881 * [regime-testing]: Baseline error score: 0.3249156144518065
16.889 * [regime-testing]: Oracle error score: 0.013126640830103764
16.907 * [regime-testing]: End program error score: 0.3249156144518065
17.016 * [regime-testing]: Target error score: 50.57661191552293