1.792 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.020 * * * [progress]: [2/2] Setting up program.
0.022 * [progress]: [Phase 2 of 3] Improving.
0.022 * [simplify]: Simplifying:
  (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))
0.022 * [simplify]: Sending expressions to egg_math:
 (+ (* (+ h0 (* h1 h2)) (+ h0 (* h1 h2))) (- h3 (* h4 (* h1 h2))))
0.024 * * [simplify]: iteration  0 :  28  enodes  (cost  8 )
0.026 * * [simplify]: iteration  1 :  91  enodes  (cost  7 )
0.028 * * [simplify]: iteration  2 :  306  enodes  (cost  7 )
0.034 * * [simplify]: iteration  3 :  996  enodes  (cost  6 )
0.050 * * [simplify]: iteration  4 :  2722  enodes  (cost  6 )
0.084 * * [simplify]: iteration  5 :  5001  enodes  (cost  6 )
0.091 * * [progress]: iteration 1 / 4
0.091 * * * [progress]: picking best candidate
0.093 * * * * [pick]: Picked  #<alt (λ (t) (fma (- (* 2.0 t)) 2e-16 (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0)))>
0.093 * * * [progress]: localizing error
0.101 * * * [progress]: generating rewritten candidates
0.101 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.102 * * * * [progress]: [ 2 / 2 ] rewriting at (2 3)
0.102 * * * [progress]: generating series expansions
0.102 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.102 * [backup-simplify]: Simplify (fma (- (* 2.0 t)) 2e-16 (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0)) into (fma (- (* 2.0 t)) 2e-16 (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0))
0.102 * [approximate]: Taking taylor expansion of (fma (- (* 2.0 t)) 2e-16 (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0)) in (t) around 0
0.102 * [taylor]: Taking taylor expansion of (fma (- (* 2.0 t)) 2e-16 (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0)) in t
0.103 * [taylor]: Rewrote expression to (+ (* (- (* 2.0 t)) 2e-16) (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0))
0.103 * [taylor]: Taking taylor expansion of (* (- (* 2.0 t)) 2e-16) in t
0.103 * [taylor]: Taking taylor expansion of (- (* 2.0 t)) in t
0.103 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
0.103 * [taylor]: Taking taylor expansion of 2.0 in t
0.103 * [backup-simplify]: Simplify 2.0 into 2.0
0.103 * [taylor]: Taking taylor expansion of t in t
0.103 * [backup-simplify]: Simplify 0 into 0
0.103 * [backup-simplify]: Simplify 1 into 1
0.103 * [taylor]: Taking taylor expansion of 2e-16 in t
0.103 * [backup-simplify]: Simplify 2e-16 into 2e-16
0.103 * [taylor]: Taking taylor expansion of (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0) in t
0.103 * [taylor]: Rewrote expression to (+ (* (fma 2e-16 t 1.0) (fma 2e-16 t 1.0)) -1.0)
0.103 * [taylor]: Taking taylor expansion of (* (fma 2e-16 t 1.0) (fma 2e-16 t 1.0)) in t
0.103 * [taylor]: Taking taylor expansion of (fma 2e-16 t 1.0) in t
0.103 * [taylor]: Rewrote expression to (+ (* 2e-16 t) 1.0)
0.103 * [taylor]: Taking taylor expansion of (* 2e-16 t) in t
0.103 * [taylor]: Taking taylor expansion of 2e-16 in t
0.103 * [backup-simplify]: Simplify 2e-16 into 2e-16
0.103 * [taylor]: Taking taylor expansion of t in t
0.103 * [backup-simplify]: Simplify 0 into 0
0.103 * [backup-simplify]: Simplify 1 into 1
0.103 * [taylor]: Taking taylor expansion of 1.0 in t
0.103 * [backup-simplify]: Simplify 1.0 into 1.0
0.103 * [taylor]: Taking taylor expansion of (fma 2e-16 t 1.0) in t
0.103 * [taylor]: Rewrote expression to (+ (* 2e-16 t) 1.0)
0.103 * [taylor]: Taking taylor expansion of (* 2e-16 t) in t
0.103 * [taylor]: Taking taylor expansion of 2e-16 in t
0.103 * [backup-simplify]: Simplify 2e-16 into 2e-16
0.103 * [taylor]: Taking taylor expansion of t in t
0.103 * [backup-simplify]: Simplify 0 into 0
0.103 * [backup-simplify]: Simplify 1 into 1
0.103 * [taylor]: Taking taylor expansion of 1.0 in t
0.103 * [backup-simplify]: Simplify 1.0 into 1.0
0.103 * [taylor]: Taking taylor expansion of -1.0 in t
0.103 * [backup-simplify]: Simplify -1.0 into -1.0
0.103 * [taylor]: Taking taylor expansion of (fma (- (* 2.0 t)) 2e-16 (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0)) in t
0.103 * [taylor]: Rewrote expression to (+ (* (- (* 2.0 t)) 2e-16) (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0))
0.103 * [taylor]: Taking taylor expansion of (* (- (* 2.0 t)) 2e-16) in t
0.103 * [taylor]: Taking taylor expansion of (- (* 2.0 t)) in t
0.103 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
0.104 * [taylor]: Taking taylor expansion of 2.0 in t
0.104 * [backup-simplify]: Simplify 2.0 into 2.0
0.104 * [taylor]: Taking taylor expansion of t in t
0.104 * [backup-simplify]: Simplify 0 into 0
0.104 * [backup-simplify]: Simplify 1 into 1
0.104 * [taylor]: Taking taylor expansion of 2e-16 in t
0.104 * [backup-simplify]: Simplify 2e-16 into 2e-16
0.104 * [taylor]: Taking taylor expansion of (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0) in t
0.104 * [taylor]: Rewrote expression to (+ (* (fma 2e-16 t 1.0) (fma 2e-16 t 1.0)) -1.0)
0.104 * [taylor]: Taking taylor expansion of (* (fma 2e-16 t 1.0) (fma 2e-16 t 1.0)) in t
0.104 * [taylor]: Taking taylor expansion of (fma 2e-16 t 1.0) in t
0.104 * [taylor]: Rewrote expression to (+ (* 2e-16 t) 1.0)
0.104 * [taylor]: Taking taylor expansion of (* 2e-16 t) in t
0.104 * [taylor]: Taking taylor expansion of 2e-16 in t
0.104 * [backup-simplify]: Simplify 2e-16 into 2e-16
0.104 * [taylor]: Taking taylor expansion of t in t
0.104 * [backup-simplify]: Simplify 0 into 0
0.104 * [backup-simplify]: Simplify 1 into 1
0.104 * [taylor]: Taking taylor expansion of 1.0 in t
0.104 * [backup-simplify]: Simplify 1.0 into 1.0
0.104 * [taylor]: Taking taylor expansion of (fma 2e-16 t 1.0) in t
0.104 * [taylor]: Rewrote expression to (+ (* 2e-16 t) 1.0)
0.104 * [taylor]: Taking taylor expansion of (* 2e-16 t) in t
0.104 * [taylor]: Taking taylor expansion of 2e-16 in t
0.104 * [backup-simplify]: Simplify 2e-16 into 2e-16
0.104 * [taylor]: Taking taylor expansion of t in t
0.104 * [backup-simplify]: Simplify 0 into 0
0.104 * [backup-simplify]: Simplify 1 into 1
0.104 * [taylor]: Taking taylor expansion of 1.0 in t
0.104 * [backup-simplify]: Simplify 1.0 into 1.0
0.104 * [taylor]: Taking taylor expansion of -1.0 in t
0.104 * [backup-simplify]: Simplify -1.0 into -1.0
0.105 * [backup-simplify]: Simplify (* 2.0 0) into 0
0.105 * [backup-simplify]: Simplify (- 0) into 0
0.105 * [backup-simplify]: Simplify (* 0 2e-16) into 0
0.105 * [backup-simplify]: Simplify (* 2e-16 0) into 0
0.106 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.106 * [backup-simplify]: Simplify (* 2e-16 0) into 0
0.106 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.106 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
0.107 * [backup-simplify]: Simplify (+ 1.0 -1.0) into 0
0.107 * [backup-simplify]: Simplify (+ 0 0) into 0
0.107 * [backup-simplify]: Simplify 0 into 0
0.107 * [backup-simplify]: Simplify (- 0) into 0
0.108 * [backup-simplify]: Simplify (+ (* 2.0 1) (* 0 0)) into 2.0
0.108 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
0.109 * [backup-simplify]: Simplify (+ (* 0 0) (* (- 2.0) 2e-16)) into (- 4e-16)
0.110 * [backup-simplify]: Simplify (+ (* 2e-16 1) (* 0 0)) into 2e-16
0.111 * [backup-simplify]: Simplify (+ 2e-16 0) into 2e-16
0.111 * [backup-simplify]: Simplify (+ (* 2e-16 1) (* 0 0)) into 2e-16
0.112 * [backup-simplify]: Simplify (+ 2e-16 0) into 2e-16
0.112 * [backup-simplify]: Simplify (+ (* 1.0 2e-16) (* 2e-16 1.0)) into 4e-16
0.113 * [backup-simplify]: Simplify (+ 4e-16 0) into 4e-16
0.113 * [backup-simplify]: Simplify (+ (- 4e-16) 4e-16) into 0
0.113 * [backup-simplify]: Simplify 0 into 0
0.113 * [backup-simplify]: Simplify (- 0) into 0
0.114 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
0.114 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 1) (* 0 0))) into 0
0.114 * [backup-simplify]: Simplify (- 0) into 0
0.115 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* (- 2.0) 0) (* 0 2e-16))) into 0
0.116 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 1) (* 0 0))) into 0
0.116 * [backup-simplify]: Simplify (+ 0 0) into 0
0.116 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 1) (* 0 0))) into 0
0.117 * [backup-simplify]: Simplify (+ 0 0) into 0
0.118 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 2e-16) (* 0 1.0))) into 3.9999999999999997e-32
0.118 * [backup-simplify]: Simplify (+ 3.9999999999999997e-32 0) into 3.9999999999999997e-32
0.119 * [backup-simplify]: Simplify (+ 0 3.9999999999999997e-32) into 3.9999999999999997e-32
0.119 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
0.119 * [backup-simplify]: Simplify (- 0) into 0
0.119 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
0.119 * [backup-simplify]: Simplify (- 0) into 0
0.120 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
0.120 * [backup-simplify]: Simplify (- 0) into 0
0.121 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* (- 2.0) 0) (+ (* 0 0) (* 0 2e-16)))) into 0
0.121 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
0.122 * [backup-simplify]: Simplify (+ 0 0) into 0
0.122 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
0.123 * [backup-simplify]: Simplify (+ 0 0) into 0
0.123 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 2e-16) (* 0 1.0)))) into 0
0.123 * [backup-simplify]: Simplify (+ 0 0) into 0
0.124 * [backup-simplify]: Simplify (+ 0 0) into 0
0.124 * [backup-simplify]: Simplify 0 into 0
0.124 * [backup-simplify]: Simplify (- 0) into 0
0.124 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
0.124 * [backup-simplify]: Simplify (- 0) into 0
0.125 * [backup-simplify]: Simplify (- 0) into 0
0.125 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
0.125 * [backup-simplify]: Simplify (- 0) into 0
0.126 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* (- 2.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0
0.127 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
0.127 * [backup-simplify]: Simplify (+ 0 0) into 0
0.128 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
0.128 * [backup-simplify]: Simplify (+ 0 0) into 0
0.129 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0))))) into 0
0.129 * [backup-simplify]: Simplify (+ 0 0) into 0
0.129 * [backup-simplify]: Simplify (+ 0 0) into 0
0.129 * [backup-simplify]: Simplify 0 into 0
0.130 * [backup-simplify]: Simplify (- 0) into 0
0.130 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
0.130 * [backup-simplify]: Simplify (- 0) into 0
0.130 * [backup-simplify]: Simplify (- 0) into 0
0.130 * [backup-simplify]: Simplify (- 0) into 0
0.131 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
0.131 * [backup-simplify]: Simplify (- 0) into 0
0.132 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* (- 2.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0
0.133 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
0.133 * [backup-simplify]: Simplify (+ 0 0) into 0
0.134 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
0.134 * [backup-simplify]: Simplify (+ 0 0) into 0
0.135 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0)))))) into 0
0.136 * [backup-simplify]: Simplify (+ 0 0) into 0
0.136 * [backup-simplify]: Simplify (+ 0 0) into 0
0.136 * [backup-simplify]: Simplify 0 into 0
0.136 * [backup-simplify]: Simplify (- 0) into 0
0.136 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
0.137 * [backup-simplify]: Simplify (- 0) into 0
0.137 * [backup-simplify]: Simplify (- 0) into 0
0.137 * [backup-simplify]: Simplify (- 0) into 0
0.137 * [backup-simplify]: Simplify (- 0) into 0
0.138 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
0.138 * [backup-simplify]: Simplify (- 0) into 0
0.139 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* (- 2.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0
0.140 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
0.140 * [backup-simplify]: Simplify (+ 0 0) into 0
0.141 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
0.141 * [backup-simplify]: Simplify (+ 0 0) into 0
0.142 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0))))))) into 0
0.143 * [backup-simplify]: Simplify (+ 0 0) into 0
0.143 * [backup-simplify]: Simplify (+ 0 0) into 0
0.143 * [backup-simplify]: Simplify 0 into 0
0.143 * [backup-simplify]: Simplify (- 0) into 0
0.143 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
0.143 * [backup-simplify]: Simplify (- 0) into 0
0.144 * [backup-simplify]: Simplify (- 0) into 0
0.144 * [backup-simplify]: Simplify (- 0) into 0
0.144 * [backup-simplify]: Simplify (- 0) into 0
0.144 * [backup-simplify]: Simplify (- 0) into 0
0.145 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
0.146 * [backup-simplify]: Simplify (- 0) into 0
0.146 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* (- 2.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))))) into 0
0.147 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
0.148 * [backup-simplify]: Simplify (+ 0 0) into 0
0.149 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
0.149 * [backup-simplify]: Simplify (+ 0 0) into 0
0.150 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0)))))))) into 0
0.150 * [backup-simplify]: Simplify (+ 0 0) into 0
0.150 * [backup-simplify]: Simplify (+ 0 0) into 0
0.150 * [backup-simplify]: Simplify 0 into 0
0.151 * [backup-simplify]: Simplify (- 0) into 0
0.151 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
0.151 * [backup-simplify]: Simplify (- 0) into 0
0.151 * [backup-simplify]: Simplify (- 0) into 0
0.151 * [backup-simplify]: Simplify (- 0) into 0
0.152 * [backup-simplify]: Simplify (- 0) into 0
0.152 * [backup-simplify]: Simplify (- 0) into 0
0.152 * [backup-simplify]: Simplify (- 0) into 0
0.153 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
0.153 * [backup-simplify]: Simplify (- 0) into 0
0.154 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* (- 2.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))))) into 0
0.155 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
0.156 * [backup-simplify]: Simplify (+ 0 0) into 0
0.157 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
0.157 * [backup-simplify]: Simplify (+ 0 0) into 0
0.158 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0))))))))) into 0
0.158 * [backup-simplify]: Simplify (+ 0 0) into 0
0.159 * [backup-simplify]: Simplify (+ 0 0) into 0
0.159 * [backup-simplify]: Simplify 0 into 0
0.159 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
0.159 * [backup-simplify]: Simplify (fma (- (* 2.0 (/ 1 t))) 2e-16 (fma (fma 2e-16 (/ 1 t) 1.0) (fma 2e-16 (/ 1 t) 1.0) -1.0)) into (fma (- (* 2.0 (/ 1 t))) 2e-16 (fma (fma 2e-16 (/ 1 t) 1.0) (fma 2e-16 (/ 1 t) 1.0) -1.0))
0.159 * [approximate]: Taking taylor expansion of (fma (- (* 2.0 (/ 1 t))) 2e-16 (fma (fma 2e-16 (/ 1 t) 1.0) (fma 2e-16 (/ 1 t) 1.0) -1.0)) in (t) around 0
0.159 * [taylor]: Taking taylor expansion of (fma (- (* 2.0 (/ 1 t))) 2e-16 (fma (fma 2e-16 (/ 1 t) 1.0) (fma 2e-16 (/ 1 t) 1.0) -1.0)) in t
0.159 * [taylor]: Rewrote expression to (+ (* (- (* 2.0 (/ 1 t))) 2e-16) (fma (fma 2e-16 (/ 1 t) 1.0) (fma 2e-16 (/ 1 t) 1.0) -1.0))
0.159 * [taylor]: Taking taylor expansion of (* (- (* 2.0 (/ 1 t))) 2e-16) in t
0.159 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 t))) in t
0.159 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
0.159 * [taylor]: Taking taylor expansion of 2.0 in t
0.159 * [backup-simplify]: Simplify 2.0 into 2.0
0.159 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.159 * [taylor]: Taking taylor expansion of t in t
0.159 * [backup-simplify]: Simplify 0 into 0
0.159 * [backup-simplify]: Simplify 1 into 1
0.160 * [backup-simplify]: Simplify (/ 1 1) into 1
0.160 * [taylor]: Taking taylor expansion of 2e-16 in t
0.160 * [backup-simplify]: Simplify 2e-16 into 2e-16
0.160 * [taylor]: Taking taylor expansion of (fma (fma 2e-16 (/ 1 t) 1.0) (fma 2e-16 (/ 1 t) 1.0) -1.0) in t
0.160 * [taylor]: Rewrote expression to (+ (* (fma 2e-16 (/ 1 t) 1.0) (fma 2e-16 (/ 1 t) 1.0)) -1.0)
0.160 * [taylor]: Taking taylor expansion of (* (fma 2e-16 (/ 1 t) 1.0) (fma 2e-16 (/ 1 t) 1.0)) in t
0.160 * [taylor]: Taking taylor expansion of (fma 2e-16 (/ 1 t) 1.0) in t
0.160 * [taylor]: Rewrote expression to (+ (* 2e-16 (/ 1 t)) 1.0)
0.160 * [taylor]: Taking taylor expansion of (* 2e-16 (/ 1 t)) in t
0.160 * [taylor]: Taking taylor expansion of 2e-16 in t
0.160 * [backup-simplify]: Simplify 2e-16 into 2e-16
0.160 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.160 * [taylor]: Taking taylor expansion of t in t
0.160 * [backup-simplify]: Simplify 0 into 0
0.160 * [backup-simplify]: Simplify 1 into 1
0.160 * [backup-simplify]: Simplify (/ 1 1) into 1
0.160 * [taylor]: Taking taylor expansion of 1.0 in t
0.160 * [backup-simplify]: Simplify 1.0 into 1.0
0.160 * [taylor]: Taking taylor expansion of (fma 2e-16 (/ 1 t) 1.0) in t
0.160 * [taylor]: Rewrote expression to (+ (* 2e-16 (/ 1 t)) 1.0)
0.160 * [taylor]: Taking taylor expansion of (* 2e-16 (/ 1 t)) in t
0.160 * [taylor]: Taking taylor expansion of 2e-16 in t
0.160 * [backup-simplify]: Simplify 2e-16 into 2e-16
0.160 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.160 * [taylor]: Taking taylor expansion of t in t
0.160 * [backup-simplify]: Simplify 0 into 0
0.160 * [backup-simplify]: Simplify 1 into 1
0.161 * [backup-simplify]: Simplify (/ 1 1) into 1
0.161 * [taylor]: Taking taylor expansion of 1.0 in t
0.161 * [backup-simplify]: Simplify 1.0 into 1.0
0.161 * [taylor]: Taking taylor expansion of -1.0 in t
0.161 * [backup-simplify]: Simplify -1.0 into -1.0
0.161 * [taylor]: Taking taylor expansion of (fma (- (* 2.0 (/ 1 t))) 2e-16 (fma (fma 2e-16 (/ 1 t) 1.0) (fma 2e-16 (/ 1 t) 1.0) -1.0)) in t
0.161 * [taylor]: Rewrote expression to (+ (* (- (* 2.0 (/ 1 t))) 2e-16) (fma (fma 2e-16 (/ 1 t) 1.0) (fma 2e-16 (/ 1 t) 1.0) -1.0))
0.161 * [taylor]: Taking taylor expansion of (* (- (* 2.0 (/ 1 t))) 2e-16) in t
0.161 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 t))) in t
0.161 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
0.161 * [taylor]: Taking taylor expansion of 2.0 in t
0.161 * [backup-simplify]: Simplify 2.0 into 2.0
0.161 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.161 * [taylor]: Taking taylor expansion of t in t
0.161 * [backup-simplify]: Simplify 0 into 0
0.161 * [backup-simplify]: Simplify 1 into 1
0.161 * [backup-simplify]: Simplify (/ 1 1) into 1
0.161 * [taylor]: Taking taylor expansion of 2e-16 in t
0.161 * [backup-simplify]: Simplify 2e-16 into 2e-16
0.161 * [taylor]: Taking taylor expansion of (fma (fma 2e-16 (/ 1 t) 1.0) (fma 2e-16 (/ 1 t) 1.0) -1.0) in t
0.161 * [taylor]: Rewrote expression to (+ (* (fma 2e-16 (/ 1 t) 1.0) (fma 2e-16 (/ 1 t) 1.0)) -1.0)
0.161 * [taylor]: Taking taylor expansion of (* (fma 2e-16 (/ 1 t) 1.0) (fma 2e-16 (/ 1 t) 1.0)) in t
0.161 * [taylor]: Taking taylor expansion of (fma 2e-16 (/ 1 t) 1.0) in t
0.162 * [taylor]: Rewrote expression to (+ (* 2e-16 (/ 1 t)) 1.0)
0.162 * [taylor]: Taking taylor expansion of (* 2e-16 (/ 1 t)) in t
0.162 * [taylor]: Taking taylor expansion of 2e-16 in t
0.162 * [backup-simplify]: Simplify 2e-16 into 2e-16
0.162 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.162 * [taylor]: Taking taylor expansion of t in t
0.162 * [backup-simplify]: Simplify 0 into 0
0.162 * [backup-simplify]: Simplify 1 into 1
0.162 * [backup-simplify]: Simplify (/ 1 1) into 1
0.162 * [taylor]: Taking taylor expansion of 1.0 in t
0.162 * [backup-simplify]: Simplify 1.0 into 1.0
0.162 * [taylor]: Taking taylor expansion of (fma 2e-16 (/ 1 t) 1.0) in t
0.162 * [taylor]: Rewrote expression to (+ (* 2e-16 (/ 1 t)) 1.0)
0.162 * [taylor]: Taking taylor expansion of (* 2e-16 (/ 1 t)) in t
0.162 * [taylor]: Taking taylor expansion of 2e-16 in t
0.162 * [backup-simplify]: Simplify 2e-16 into 2e-16
0.162 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.162 * [taylor]: Taking taylor expansion of t in t
0.162 * [backup-simplify]: Simplify 0 into 0
0.162 * [backup-simplify]: Simplify 1 into 1
0.162 * [backup-simplify]: Simplify (/ 1 1) into 1
0.162 * [taylor]: Taking taylor expansion of 1.0 in t
0.162 * [backup-simplify]: Simplify 1.0 into 1.0
0.162 * [taylor]: Taking taylor expansion of -1.0 in t
0.162 * [backup-simplify]: Simplify -1.0 into -1.0
0.163 * [backup-simplify]: Simplify (* 2e-16 1) into 2e-16
0.163 * [backup-simplify]: Simplify (+ 2e-16 0) into 2e-16
0.163 * [backup-simplify]: Simplify (* 2e-16 1) into 2e-16
0.164 * [backup-simplify]: Simplify (+ 2e-16 0) into 2e-16
0.164 * [backup-simplify]: Simplify (* 2e-16 2e-16) into 3.9999999999999997e-32
0.164 * [backup-simplify]: Simplify (+ 3.9999999999999997e-32 0) into 3.9999999999999997e-32
0.164 * [backup-simplify]: Simplify (+ 0 3.9999999999999997e-32) into 3.9999999999999997e-32
0.164 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
0.165 * [backup-simplify]: Simplify (* 2.0 1) into 2.0
0.165 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
0.165 * [backup-simplify]: Simplify (* (- 2.0) 2e-16) into -4e-16
0.166 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.166 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 1)) into 0
0.166 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.167 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.167 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 1)) into 0
0.168 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.168 * [backup-simplify]: Simplify (+ (* 2e-16 1.0) (* 1.0 2e-16)) into 4e-16
0.169 * [backup-simplify]: Simplify (+ 4e-16 0) into 4e-16
0.169 * [backup-simplify]: Simplify (+ -4e-16 4e-16) into 0
0.169 * [backup-simplify]: Simplify 0 into 0
0.169 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
0.170 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.170 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 1)) into 0
0.170 * [backup-simplify]: Simplify (- 0) into 0
0.171 * [backup-simplify]: Simplify (+ (* (- 2.0) 0) (* 0 2e-16)) into 0
0.171 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.172 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 1))) into 0
0.172 * [backup-simplify]: Simplify (+ 0 0) into 0
0.173 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.173 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 1))) into 0
0.177 * [backup-simplify]: Simplify (+ 0 0) into 0
0.179 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 1.0) (* 0 2e-16))) into 1.0
0.179 * [backup-simplify]: Simplify (+ 1.0 -1.0) into 0
0.180 * [backup-simplify]: Simplify (+ 0 0) into 0
0.180 * [backup-simplify]: Simplify 0 into 0
0.180 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
0.180 * [backup-simplify]: Simplify (- 0) into 0
0.181 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.181 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0
0.181 * [backup-simplify]: Simplify (- 0) into 0
0.182 * [backup-simplify]: Simplify (+ (* (- 2.0) 0) (+ (* 0 0) (* 0 2e-16))) into 0
0.183 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.183 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.183 * [backup-simplify]: Simplify (+ 0 0) into 0
0.184 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.185 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.185 * [backup-simplify]: Simplify (+ 0 0) into 0
0.186 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 0) (+ (* 0 1.0) (* 0 2e-16)))) into 0
0.186 * [backup-simplify]: Simplify (+ 0 0) into 0
0.186 * [backup-simplify]: Simplify (+ 0 0) into 0
0.186 * [backup-simplify]: Simplify 0 into 0
0.186 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
0.187 * [backup-simplify]: Simplify (- 0) into 0
0.187 * [backup-simplify]: Simplify (- 0) into 0
0.187 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.188 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.188 * [backup-simplify]: Simplify (- 0) into 0
0.189 * [backup-simplify]: Simplify (+ (* (- 2.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))) into 0
0.190 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.190 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.190 * [backup-simplify]: Simplify (+ 0 0) into 0
0.191 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.192 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.192 * [backup-simplify]: Simplify (+ 0 0) into 0
0.193 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 2e-16))))) into 0
0.193 * [backup-simplify]: Simplify (+ 0 0) into 0
0.193 * [backup-simplify]: Simplify (+ 0 0) into 0
0.193 * [backup-simplify]: Simplify 0 into 0
0.193 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
0.194 * [backup-simplify]: Simplify (- 0) into 0
0.194 * [backup-simplify]: Simplify (- 0) into 0
0.194 * [backup-simplify]: Simplify (- 0) into 0
0.195 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.195 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.195 * [backup-simplify]: Simplify (- 0) into 0
0.196 * [backup-simplify]: Simplify (+ (* (- 2.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0
0.197 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.198 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.198 * [backup-simplify]: Simplify (+ 0 0) into 0
0.198 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.199 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.199 * [backup-simplify]: Simplify (+ 0 0) into 0
0.200 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 2e-16)))))) into 0
0.200 * [backup-simplify]: Simplify (+ 0 0) into 0
0.201 * [backup-simplify]: Simplify (+ 0 0) into 0
0.201 * [backup-simplify]: Simplify 0 into 0
0.201 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
0.201 * [backup-simplify]: Simplify (- 0) into 0
0.201 * [backup-simplify]: Simplify (- 0) into 0
0.202 * [backup-simplify]: Simplify (- 0) into 0
0.202 * [backup-simplify]: Simplify (- 0) into 0
0.202 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.203 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.203 * [backup-simplify]: Simplify (- 0) into 0
0.204 * [backup-simplify]: Simplify (+ (* (- 2.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0
0.205 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.206 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.206 * [backup-simplify]: Simplify (+ 0 0) into 0
0.206 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.207 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.207 * [backup-simplify]: Simplify (+ 0 0) into 0
0.208 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 2e-16))))))) into 0
0.209 * [backup-simplify]: Simplify (+ 0 0) into 0
0.209 * [backup-simplify]: Simplify (+ 0 0) into 0
0.209 * [backup-simplify]: Simplify 0 into 0
0.209 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
0.209 * [backup-simplify]: Simplify (fma (- (* 2.0 (/ 1 (- t)))) 2e-16 (fma (fma 2e-16 (/ 1 (- t)) 1.0) (fma 2e-16 (/ 1 (- t)) 1.0) -1.0)) into (fma (* 2.0 (/ 1 t)) 2e-16 (fma (fma 2e-16 (/ -1 t) 1.0) (fma 2e-16 (/ -1 t) 1.0) -1.0))
0.209 * [approximate]: Taking taylor expansion of (fma (* 2.0 (/ 1 t)) 2e-16 (fma (fma 2e-16 (/ -1 t) 1.0) (fma 2e-16 (/ -1 t) 1.0) -1.0)) in (t) around 0
0.209 * [taylor]: Taking taylor expansion of (fma (* 2.0 (/ 1 t)) 2e-16 (fma (fma 2e-16 (/ -1 t) 1.0) (fma 2e-16 (/ -1 t) 1.0) -1.0)) in t
0.209 * [taylor]: Rewrote expression to (+ (* (* 2.0 (/ 1 t)) 2e-16) (fma (fma 2e-16 (/ -1 t) 1.0) (fma 2e-16 (/ -1 t) 1.0) -1.0))
0.210 * [taylor]: Taking taylor expansion of (* (* 2.0 (/ 1 t)) 2e-16) in t
0.210 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
0.210 * [taylor]: Taking taylor expansion of 2.0 in t
0.210 * [backup-simplify]: Simplify 2.0 into 2.0
0.210 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.210 * [taylor]: Taking taylor expansion of t in t
0.210 * [backup-simplify]: Simplify 0 into 0
0.210 * [backup-simplify]: Simplify 1 into 1
0.210 * [backup-simplify]: Simplify (/ 1 1) into 1
0.210 * [taylor]: Taking taylor expansion of 2e-16 in t
0.210 * [backup-simplify]: Simplify 2e-16 into 2e-16
0.210 * [taylor]: Taking taylor expansion of (fma (fma 2e-16 (/ -1 t) 1.0) (fma 2e-16 (/ -1 t) 1.0) -1.0) in t
0.210 * [taylor]: Rewrote expression to (+ (* (fma 2e-16 (/ -1 t) 1.0) (fma 2e-16 (/ -1 t) 1.0)) -1.0)
0.210 * [taylor]: Taking taylor expansion of (* (fma 2e-16 (/ -1 t) 1.0) (fma 2e-16 (/ -1 t) 1.0)) in t
0.210 * [taylor]: Taking taylor expansion of (fma 2e-16 (/ -1 t) 1.0) in t
0.210 * [taylor]: Rewrote expression to (+ (* 2e-16 (/ -1 t)) 1.0)
0.210 * [taylor]: Taking taylor expansion of (* 2e-16 (/ -1 t)) in t
0.210 * [taylor]: Taking taylor expansion of 2e-16 in t
0.210 * [backup-simplify]: Simplify 2e-16 into 2e-16
0.210 * [taylor]: Taking taylor expansion of (/ -1 t) in t
0.210 * [taylor]: Taking taylor expansion of -1 in t
0.210 * [backup-simplify]: Simplify -1 into -1
0.210 * [taylor]: Taking taylor expansion of t in t
0.210 * [backup-simplify]: Simplify 0 into 0
0.210 * [backup-simplify]: Simplify 1 into 1
0.211 * [backup-simplify]: Simplify (/ -1 1) into -1
0.211 * [taylor]: Taking taylor expansion of 1.0 in t
0.211 * [backup-simplify]: Simplify 1.0 into 1.0
0.211 * [taylor]: Taking taylor expansion of (fma 2e-16 (/ -1 t) 1.0) in t
0.211 * [taylor]: Rewrote expression to (+ (* 2e-16 (/ -1 t)) 1.0)
0.211 * [taylor]: Taking taylor expansion of (* 2e-16 (/ -1 t)) in t
0.211 * [taylor]: Taking taylor expansion of 2e-16 in t
0.211 * [backup-simplify]: Simplify 2e-16 into 2e-16
0.211 * [taylor]: Taking taylor expansion of (/ -1 t) in t
0.211 * [taylor]: Taking taylor expansion of -1 in t
0.211 * [backup-simplify]: Simplify -1 into -1
0.211 * [taylor]: Taking taylor expansion of t in t
0.211 * [backup-simplify]: Simplify 0 into 0
0.211 * [backup-simplify]: Simplify 1 into 1
0.211 * [backup-simplify]: Simplify (/ -1 1) into -1
0.211 * [taylor]: Taking taylor expansion of 1.0 in t
0.211 * [backup-simplify]: Simplify 1.0 into 1.0
0.211 * [taylor]: Taking taylor expansion of -1.0 in t
0.211 * [backup-simplify]: Simplify -1.0 into -1.0
0.211 * [taylor]: Taking taylor expansion of (fma (* 2.0 (/ 1 t)) 2e-16 (fma (fma 2e-16 (/ -1 t) 1.0) (fma 2e-16 (/ -1 t) 1.0) -1.0)) in t
0.211 * [taylor]: Rewrote expression to (+ (* (* 2.0 (/ 1 t)) 2e-16) (fma (fma 2e-16 (/ -1 t) 1.0) (fma 2e-16 (/ -1 t) 1.0) -1.0))
0.211 * [taylor]: Taking taylor expansion of (* (* 2.0 (/ 1 t)) 2e-16) in t
0.211 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
0.211 * [taylor]: Taking taylor expansion of 2.0 in t
0.211 * [backup-simplify]: Simplify 2.0 into 2.0
0.211 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.211 * [taylor]: Taking taylor expansion of t in t
0.211 * [backup-simplify]: Simplify 0 into 0
0.211 * [backup-simplify]: Simplify 1 into 1
0.212 * [backup-simplify]: Simplify (/ 1 1) into 1
0.212 * [taylor]: Taking taylor expansion of 2e-16 in t
0.212 * [backup-simplify]: Simplify 2e-16 into 2e-16
0.212 * [taylor]: Taking taylor expansion of (fma (fma 2e-16 (/ -1 t) 1.0) (fma 2e-16 (/ -1 t) 1.0) -1.0) in t
0.212 * [taylor]: Rewrote expression to (+ (* (fma 2e-16 (/ -1 t) 1.0) (fma 2e-16 (/ -1 t) 1.0)) -1.0)
0.212 * [taylor]: Taking taylor expansion of (* (fma 2e-16 (/ -1 t) 1.0) (fma 2e-16 (/ -1 t) 1.0)) in t
0.212 * [taylor]: Taking taylor expansion of (fma 2e-16 (/ -1 t) 1.0) in t
0.212 * [taylor]: Rewrote expression to (+ (* 2e-16 (/ -1 t)) 1.0)
0.212 * [taylor]: Taking taylor expansion of (* 2e-16 (/ -1 t)) in t
0.212 * [taylor]: Taking taylor expansion of 2e-16 in t
0.212 * [backup-simplify]: Simplify 2e-16 into 2e-16
0.212 * [taylor]: Taking taylor expansion of (/ -1 t) in t
0.212 * [taylor]: Taking taylor expansion of -1 in t
0.212 * [backup-simplify]: Simplify -1 into -1
0.212 * [taylor]: Taking taylor expansion of t in t
0.212 * [backup-simplify]: Simplify 0 into 0
0.212 * [backup-simplify]: Simplify 1 into 1
0.212 * [backup-simplify]: Simplify (/ -1 1) into -1
0.212 * [taylor]: Taking taylor expansion of 1.0 in t
0.212 * [backup-simplify]: Simplify 1.0 into 1.0
0.212 * [taylor]: Taking taylor expansion of (fma 2e-16 (/ -1 t) 1.0) in t
0.213 * [taylor]: Rewrote expression to (+ (* 2e-16 (/ -1 t)) 1.0)
0.213 * [taylor]: Taking taylor expansion of (* 2e-16 (/ -1 t)) in t
0.213 * [taylor]: Taking taylor expansion of 2e-16 in t
0.213 * [backup-simplify]: Simplify 2e-16 into 2e-16
0.213 * [taylor]: Taking taylor expansion of (/ -1 t) in t
0.213 * [taylor]: Taking taylor expansion of -1 in t
0.213 * [backup-simplify]: Simplify -1 into -1
0.213 * [taylor]: Taking taylor expansion of t in t
0.213 * [backup-simplify]: Simplify 0 into 0
0.213 * [backup-simplify]: Simplify 1 into 1
0.213 * [backup-simplify]: Simplify (/ -1 1) into -1
0.213 * [taylor]: Taking taylor expansion of 1.0 in t
0.213 * [backup-simplify]: Simplify 1.0 into 1.0
0.213 * [taylor]: Taking taylor expansion of -1.0 in t
0.213 * [backup-simplify]: Simplify -1.0 into -1.0
0.213 * [backup-simplify]: Simplify (* 2e-16 -1) into -2e-16
0.214 * [backup-simplify]: Simplify (+ -2e-16 0) into (- 2e-16)
0.214 * [backup-simplify]: Simplify (* 2e-16 -1) into -2e-16
0.214 * [backup-simplify]: Simplify (+ -2e-16 0) into (- 2e-16)
0.215 * [backup-simplify]: Simplify (* (- 2e-16) (- 2e-16)) into 3.9999999999999997e-32
0.215 * [backup-simplify]: Simplify (+ 3.9999999999999997e-32 0) into 3.9999999999999997e-32
0.215 * [backup-simplify]: Simplify (+ 0 3.9999999999999997e-32) into 3.9999999999999997e-32
0.215 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
0.216 * [backup-simplify]: Simplify (* 2.0 1) into 2.0
0.216 * [backup-simplify]: Simplify (* 2.0 2e-16) into 4e-16
0.216 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
0.217 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 -1)) into 0
0.217 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.218 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
0.218 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 -1)) into 0
0.218 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.220 * [backup-simplify]: Simplify (+ (* (- 2e-16) 1.0) (* 1.0 (- 2e-16))) into (- 4e-16)
0.220 * [backup-simplify]: Simplify (+ (- 4e-16) 0) into (- 4e-16)
0.221 * [backup-simplify]: Simplify (+ 4e-16 (- 4e-16)) into 0
0.221 * [backup-simplify]: Simplify 0 into 0
0.221 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.222 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 1)) into 0
0.222 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 2e-16)) into 0
0.223 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.223 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 -1))) into 0
0.223 * [backup-simplify]: Simplify (+ 0 0) into 0
0.224 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.225 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 -1))) into 0
0.225 * [backup-simplify]: Simplify (+ 0 0) into 0
0.227 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 1.0) (* 0 (- 2e-16)))) into 1.0
0.227 * [backup-simplify]: Simplify (+ 1.0 -1.0) into 0
0.227 * [backup-simplify]: Simplify (+ 0 0) into 0
0.227 * [backup-simplify]: Simplify 0 into 0
0.228 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.228 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0
0.229 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 2e-16))) into 0
0.229 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.230 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
0.230 * [backup-simplify]: Simplify (+ 0 0) into 0
0.231 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.231 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
0.232 * [backup-simplify]: Simplify (+ 0 0) into 0
0.232 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 0) (+ (* 0 1.0) (* 0 (- 2e-16))))) into 0
0.233 * [backup-simplify]: Simplify (+ 0 0) into 0
0.233 * [backup-simplify]: Simplify (+ 0 0) into 0
0.233 * [backup-simplify]: Simplify 0 into 0
0.233 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.234 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.234 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))) into 0
0.235 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.236 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0
0.236 * [backup-simplify]: Simplify (+ 0 0) into 0
0.237 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.237 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0
0.238 * [backup-simplify]: Simplify (+ 0 0) into 0
0.239 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 (- 2e-16)))))) into 0
0.239 * [backup-simplify]: Simplify (+ 0 0) into 0
0.239 * [backup-simplify]: Simplify (+ 0 0) into 0
0.239 * [backup-simplify]: Simplify 0 into 0
0.240 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.240 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.241 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0
0.241 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.242 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))) into 0
0.242 * [backup-simplify]: Simplify (+ 0 0) into 0
0.243 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.244 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))) into 0
0.244 * [backup-simplify]: Simplify (+ 0 0) into 0
0.245 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 (- 2e-16))))))) into 0
0.245 * [backup-simplify]: Simplify (+ 0 0) into 0
0.246 * [backup-simplify]: Simplify (+ 0 0) into 0
0.246 * [backup-simplify]: Simplify 0 into 0
0.246 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.247 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.248 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0
0.248 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.249 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))) into 0
0.249 * [backup-simplify]: Simplify (+ 0 0) into 0
0.250 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.251 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))) into 0
0.251 * [backup-simplify]: Simplify (+ 0 0) into 0
0.252 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 (- 2e-16)))))))) into 0
0.252 * [backup-simplify]: Simplify (+ 0 0) into 0
0.253 * [backup-simplify]: Simplify (+ 0 0) into 0
0.253 * [backup-simplify]: Simplify 0 into 0
0.253 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
0.253 * * * * [progress]: [ 2 / 2 ] generating series at (2 3)
0.253 * [backup-simplify]: Simplify (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0) into (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0)
0.253 * [approximate]: Taking taylor expansion of (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0) in (t) around 0
0.253 * [taylor]: Taking taylor expansion of (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0) in t
0.253 * [taylor]: Rewrote expression to (+ (* (fma 2e-16 t 1.0) (fma 2e-16 t 1.0)) -1.0)
0.253 * [taylor]: Taking taylor expansion of (* (fma 2e-16 t 1.0) (fma 2e-16 t 1.0)) in t
0.253 * [taylor]: Taking taylor expansion of (fma 2e-16 t 1.0) in t
0.253 * [taylor]: Rewrote expression to (+ (* 2e-16 t) 1.0)
0.253 * [taylor]: Taking taylor expansion of (* 2e-16 t) in t
0.253 * [taylor]: Taking taylor expansion of 2e-16 in t
0.253 * [backup-simplify]: Simplify 2e-16 into 2e-16
0.253 * [taylor]: Taking taylor expansion of t in t
0.253 * [backup-simplify]: Simplify 0 into 0
0.253 * [backup-simplify]: Simplify 1 into 1
0.253 * [taylor]: Taking taylor expansion of 1.0 in t
0.253 * [backup-simplify]: Simplify 1.0 into 1.0
0.253 * [taylor]: Taking taylor expansion of (fma 2e-16 t 1.0) in t
0.253 * [taylor]: Rewrote expression to (+ (* 2e-16 t) 1.0)
0.253 * [taylor]: Taking taylor expansion of (* 2e-16 t) in t
0.253 * [taylor]: Taking taylor expansion of 2e-16 in t
0.253 * [backup-simplify]: Simplify 2e-16 into 2e-16
0.253 * [taylor]: Taking taylor expansion of t in t
0.253 * [backup-simplify]: Simplify 0 into 0
0.253 * [backup-simplify]: Simplify 1 into 1
0.253 * [taylor]: Taking taylor expansion of 1.0 in t
0.254 * [backup-simplify]: Simplify 1.0 into 1.0
0.254 * [taylor]: Taking taylor expansion of -1.0 in t
0.254 * [backup-simplify]: Simplify -1.0 into -1.0
0.254 * [taylor]: Taking taylor expansion of (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0) in t
0.254 * [taylor]: Rewrote expression to (+ (* (fma 2e-16 t 1.0) (fma 2e-16 t 1.0)) -1.0)
0.254 * [taylor]: Taking taylor expansion of (* (fma 2e-16 t 1.0) (fma 2e-16 t 1.0)) in t
0.254 * [taylor]: Taking taylor expansion of (fma 2e-16 t 1.0) in t
0.254 * [taylor]: Rewrote expression to (+ (* 2e-16 t) 1.0)
0.254 * [taylor]: Taking taylor expansion of (* 2e-16 t) in t
0.254 * [taylor]: Taking taylor expansion of 2e-16 in t
0.254 * [backup-simplify]: Simplify 2e-16 into 2e-16
0.254 * [taylor]: Taking taylor expansion of t in t
0.254 * [backup-simplify]: Simplify 0 into 0
0.254 * [backup-simplify]: Simplify 1 into 1
0.254 * [taylor]: Taking taylor expansion of 1.0 in t
0.254 * [backup-simplify]: Simplify 1.0 into 1.0
0.254 * [taylor]: Taking taylor expansion of (fma 2e-16 t 1.0) in t
0.254 * [taylor]: Rewrote expression to (+ (* 2e-16 t) 1.0)
0.254 * [taylor]: Taking taylor expansion of (* 2e-16 t) in t
0.254 * [taylor]: Taking taylor expansion of 2e-16 in t
0.254 * [backup-simplify]: Simplify 2e-16 into 2e-16
0.254 * [taylor]: Taking taylor expansion of t in t
0.254 * [backup-simplify]: Simplify 0 into 0
0.254 * [backup-simplify]: Simplify 1 into 1
0.254 * [taylor]: Taking taylor expansion of 1.0 in t
0.254 * [backup-simplify]: Simplify 1.0 into 1.0
0.254 * [taylor]: Taking taylor expansion of -1.0 in t
0.254 * [backup-simplify]: Simplify -1.0 into -1.0
0.254 * [backup-simplify]: Simplify (* 2e-16 0) into 0
0.255 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.255 * [backup-simplify]: Simplify (* 2e-16 0) into 0
0.255 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.255 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
0.256 * [backup-simplify]: Simplify (+ 1.0 -1.0) into 0
0.256 * [backup-simplify]: Simplify 0 into 0
0.257 * [backup-simplify]: Simplify (+ (* 2e-16 1) (* 0 0)) into 2e-16
0.257 * [backup-simplify]: Simplify (+ 2e-16 0) into 2e-16
0.258 * [backup-simplify]: Simplify (+ (* 2e-16 1) (* 0 0)) into 2e-16
0.258 * [backup-simplify]: Simplify (+ 2e-16 0) into 2e-16
0.259 * [backup-simplify]: Simplify (+ (* 1.0 2e-16) (* 2e-16 1.0)) into 4e-16
0.259 * [backup-simplify]: Simplify (+ 4e-16 0) into 4e-16
0.259 * [backup-simplify]: Simplify 4e-16 into 4e-16
0.260 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 1) (* 0 0))) into 0
0.260 * [backup-simplify]: Simplify (+ 0 0) into 0
0.260 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 1) (* 0 0))) into 0
0.261 * [backup-simplify]: Simplify (+ 0 0) into 0
0.262 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 2e-16) (* 0 1.0))) into 3.9999999999999997e-32
0.262 * [backup-simplify]: Simplify (+ 3.9999999999999997e-32 0) into 3.9999999999999997e-32
0.262 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
0.263 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
0.267 * [backup-simplify]: Simplify (+ 0 0) into 0
0.268 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
0.268 * [backup-simplify]: Simplify (+ 0 0) into 0
0.269 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 2e-16) (* 0 1.0)))) into 0
0.269 * [backup-simplify]: Simplify (+ 0 0) into 0
0.269 * [backup-simplify]: Simplify 0 into 0
0.270 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
0.270 * [backup-simplify]: Simplify (+ 0 0) into 0
0.271 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
0.271 * [backup-simplify]: Simplify (+ 0 0) into 0
0.272 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0))))) into 0
0.272 * [backup-simplify]: Simplify (+ 0 0) into 0
0.272 * [backup-simplify]: Simplify 0 into 0
0.273 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
0.273 * [backup-simplify]: Simplify (+ 0 0) into 0
0.274 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
0.274 * [backup-simplify]: Simplify (+ 0 0) into 0
0.275 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0)))))) into 0
0.275 * [backup-simplify]: Simplify (+ 0 0) into 0
0.275 * [backup-simplify]: Simplify 0 into 0
0.276 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
0.276 * [backup-simplify]: Simplify (+ 0 0) into 0
0.277 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
0.278 * [backup-simplify]: Simplify (+ 0 0) into 0
0.279 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0))))))) into 0
0.279 * [backup-simplify]: Simplify (+ 0 0) into 0
0.279 * [backup-simplify]: Simplify 0 into 0
0.280 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
0.280 * [backup-simplify]: Simplify (+ 0 0) into 0
0.281 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
0.281 * [backup-simplify]: Simplify (+ 0 0) into 0
0.282 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0)))))))) into 0
0.282 * [backup-simplify]: Simplify (+ 0 0) into 0
0.282 * [backup-simplify]: Simplify 0 into 0
0.283 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
0.284 * [backup-simplify]: Simplify (+ 0 0) into 0
0.285 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
0.285 * [backup-simplify]: Simplify (+ 0 0) into 0
0.286 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0))))))))) into 0
0.287 * [backup-simplify]: Simplify (+ 0 0) into 0
0.287 * [backup-simplify]: Simplify 0 into 0
0.287 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 (pow t 2)) (* 4e-16 t)) into (+ (* 4e-16 t) (* 3.9999999999999997e-32 (pow t 2)))
0.287 * [backup-simplify]: Simplify (fma (fma 2e-16 (/ 1 t) 1.0) (fma 2e-16 (/ 1 t) 1.0) -1.0) into (fma (fma 2e-16 (/ 1 t) 1.0) (fma 2e-16 (/ 1 t) 1.0) -1.0)
0.287 * [approximate]: Taking taylor expansion of (fma (fma 2e-16 (/ 1 t) 1.0) (fma 2e-16 (/ 1 t) 1.0) -1.0) in (t) around 0
0.287 * [taylor]: Taking taylor expansion of (fma (fma 2e-16 (/ 1 t) 1.0) (fma 2e-16 (/ 1 t) 1.0) -1.0) in t
0.287 * [taylor]: Rewrote expression to (+ (* (fma 2e-16 (/ 1 t) 1.0) (fma 2e-16 (/ 1 t) 1.0)) -1.0)
0.287 * [taylor]: Taking taylor expansion of (* (fma 2e-16 (/ 1 t) 1.0) (fma 2e-16 (/ 1 t) 1.0)) in t
0.287 * [taylor]: Taking taylor expansion of (fma 2e-16 (/ 1 t) 1.0) in t
0.287 * [taylor]: Rewrote expression to (+ (* 2e-16 (/ 1 t)) 1.0)
0.287 * [taylor]: Taking taylor expansion of (* 2e-16 (/ 1 t)) in t
0.287 * [taylor]: Taking taylor expansion of 2e-16 in t
0.287 * [backup-simplify]: Simplify 2e-16 into 2e-16
0.287 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.287 * [taylor]: Taking taylor expansion of t in t
0.287 * [backup-simplify]: Simplify 0 into 0
0.287 * [backup-simplify]: Simplify 1 into 1
0.288 * [backup-simplify]: Simplify (/ 1 1) into 1
0.288 * [taylor]: Taking taylor expansion of 1.0 in t
0.288 * [backup-simplify]: Simplify 1.0 into 1.0
0.288 * [taylor]: Taking taylor expansion of (fma 2e-16 (/ 1 t) 1.0) in t
0.288 * [taylor]: Rewrote expression to (+ (* 2e-16 (/ 1 t)) 1.0)
0.288 * [taylor]: Taking taylor expansion of (* 2e-16 (/ 1 t)) in t
0.288 * [taylor]: Taking taylor expansion of 2e-16 in t
0.288 * [backup-simplify]: Simplify 2e-16 into 2e-16
0.288 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.288 * [taylor]: Taking taylor expansion of t in t
0.288 * [backup-simplify]: Simplify 0 into 0
0.288 * [backup-simplify]: Simplify 1 into 1
0.288 * [backup-simplify]: Simplify (/ 1 1) into 1
0.288 * [taylor]: Taking taylor expansion of 1.0 in t
0.288 * [backup-simplify]: Simplify 1.0 into 1.0
0.288 * [taylor]: Taking taylor expansion of -1.0 in t
0.288 * [backup-simplify]: Simplify -1.0 into -1.0
0.288 * [taylor]: Taking taylor expansion of (fma (fma 2e-16 (/ 1 t) 1.0) (fma 2e-16 (/ 1 t) 1.0) -1.0) in t
0.288 * [taylor]: Rewrote expression to (+ (* (fma 2e-16 (/ 1 t) 1.0) (fma 2e-16 (/ 1 t) 1.0)) -1.0)
0.288 * [taylor]: Taking taylor expansion of (* (fma 2e-16 (/ 1 t) 1.0) (fma 2e-16 (/ 1 t) 1.0)) in t
0.288 * [taylor]: Taking taylor expansion of (fma 2e-16 (/ 1 t) 1.0) in t
0.288 * [taylor]: Rewrote expression to (+ (* 2e-16 (/ 1 t)) 1.0)
0.289 * [taylor]: Taking taylor expansion of (* 2e-16 (/ 1 t)) in t
0.289 * [taylor]: Taking taylor expansion of 2e-16 in t
0.289 * [backup-simplify]: Simplify 2e-16 into 2e-16
0.289 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.289 * [taylor]: Taking taylor expansion of t in t
0.289 * [backup-simplify]: Simplify 0 into 0
0.289 * [backup-simplify]: Simplify 1 into 1
0.289 * [backup-simplify]: Simplify (/ 1 1) into 1
0.289 * [taylor]: Taking taylor expansion of 1.0 in t
0.289 * [backup-simplify]: Simplify 1.0 into 1.0
0.289 * [taylor]: Taking taylor expansion of (fma 2e-16 (/ 1 t) 1.0) in t
0.289 * [taylor]: Rewrote expression to (+ (* 2e-16 (/ 1 t)) 1.0)
0.289 * [taylor]: Taking taylor expansion of (* 2e-16 (/ 1 t)) in t
0.289 * [taylor]: Taking taylor expansion of 2e-16 in t
0.289 * [backup-simplify]: Simplify 2e-16 into 2e-16
0.289 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.289 * [taylor]: Taking taylor expansion of t in t
0.289 * [backup-simplify]: Simplify 0 into 0
0.289 * [backup-simplify]: Simplify 1 into 1
0.289 * [backup-simplify]: Simplify (/ 1 1) into 1
0.289 * [taylor]: Taking taylor expansion of 1.0 in t
0.289 * [backup-simplify]: Simplify 1.0 into 1.0
0.289 * [taylor]: Taking taylor expansion of -1.0 in t
0.289 * [backup-simplify]: Simplify -1.0 into -1.0
0.290 * [backup-simplify]: Simplify (* 2e-16 1) into 2e-16
0.290 * [backup-simplify]: Simplify (+ 2e-16 0) into 2e-16
0.290 * [backup-simplify]: Simplify (* 2e-16 1) into 2e-16
0.290 * [backup-simplify]: Simplify (+ 2e-16 0) into 2e-16
0.291 * [backup-simplify]: Simplify (* 2e-16 2e-16) into 3.9999999999999997e-32
0.291 * [backup-simplify]: Simplify (+ 3.9999999999999997e-32 0) into 3.9999999999999997e-32
0.291 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
0.291 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.292 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 1)) into 0
0.292 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.293 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.293 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 1)) into 0
0.293 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.294 * [backup-simplify]: Simplify (+ (* 2e-16 1.0) (* 1.0 2e-16)) into 4e-16
0.294 * [backup-simplify]: Simplify (+ 4e-16 0) into 4e-16
0.294 * [backup-simplify]: Simplify 4e-16 into 4e-16
0.295 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.295 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 1))) into 0
0.296 * [backup-simplify]: Simplify (+ 0 0) into 0
0.296 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.297 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 1))) into 0
0.297 * [backup-simplify]: Simplify (+ 0 0) into 0
0.298 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 1.0) (* 0 2e-16))) into 1.0
0.299 * [backup-simplify]: Simplify (+ 1.0 -1.0) into 0
0.299 * [backup-simplify]: Simplify 0 into 0
0.299 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.300 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.300 * [backup-simplify]: Simplify (+ 0 0) into 0
0.301 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.301 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.301 * [backup-simplify]: Simplify (+ 0 0) into 0
0.302 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 0) (+ (* 0 1.0) (* 0 2e-16)))) into 0
0.302 * [backup-simplify]: Simplify (+ 0 0) into 0
0.302 * [backup-simplify]: Simplify 0 into 0
0.303 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.303 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.304 * [backup-simplify]: Simplify (+ 0 0) into 0
0.304 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.305 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.305 * [backup-simplify]: Simplify (+ 0 0) into 0
0.306 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 2e-16))))) into 0
0.306 * [backup-simplify]: Simplify (+ 0 0) into 0
0.306 * [backup-simplify]: Simplify 0 into 0
0.307 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.307 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.308 * [backup-simplify]: Simplify (+ 0 0) into 0
0.308 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.309 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.309 * [backup-simplify]: Simplify (+ 0 0) into 0
0.310 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 2e-16)))))) into 0
0.310 * [backup-simplify]: Simplify (+ 0 0) into 0
0.310 * [backup-simplify]: Simplify 0 into 0
0.311 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.312 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.312 * [backup-simplify]: Simplify (+ 0 0) into 0
0.313 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.313 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.314 * [backup-simplify]: Simplify (+ 0 0) into 0
0.315 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 2e-16))))))) into 0
0.315 * [backup-simplify]: Simplify (+ 0 0) into 0
0.315 * [backup-simplify]: Simplify 0 into 0
0.315 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.316 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
0.317 * [backup-simplify]: Simplify (+ 0 0) into 0
0.317 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.318 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
0.318 * [backup-simplify]: Simplify (+ 0 0) into 0
0.319 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 2e-16)))))))) into 0
0.320 * [backup-simplify]: Simplify (+ 0 0) into 0
0.320 * [backup-simplify]: Simplify 0 into 0
0.320 * [backup-simplify]: Simplify (+ (* 4e-16 (/ 1 (/ 1 t))) (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2))) into (+ (* 4e-16 t) (* 3.9999999999999997e-32 (pow t 2)))
0.320 * [backup-simplify]: Simplify (fma (fma 2e-16 (/ 1 (- t)) 1.0) (fma 2e-16 (/ 1 (- t)) 1.0) -1.0) into (fma (fma 2e-16 (/ -1 t) 1.0) (fma 2e-16 (/ -1 t) 1.0) -1.0)
0.320 * [approximate]: Taking taylor expansion of (fma (fma 2e-16 (/ -1 t) 1.0) (fma 2e-16 (/ -1 t) 1.0) -1.0) in (t) around 0
0.320 * [taylor]: Taking taylor expansion of (fma (fma 2e-16 (/ -1 t) 1.0) (fma 2e-16 (/ -1 t) 1.0) -1.0) in t
0.320 * [taylor]: Rewrote expression to (+ (* (fma 2e-16 (/ -1 t) 1.0) (fma 2e-16 (/ -1 t) 1.0)) -1.0)
0.320 * [taylor]: Taking taylor expansion of (* (fma 2e-16 (/ -1 t) 1.0) (fma 2e-16 (/ -1 t) 1.0)) in t
0.320 * [taylor]: Taking taylor expansion of (fma 2e-16 (/ -1 t) 1.0) in t
0.320 * [taylor]: Rewrote expression to (+ (* 2e-16 (/ -1 t)) 1.0)
0.320 * [taylor]: Taking taylor expansion of (* 2e-16 (/ -1 t)) in t
0.320 * [taylor]: Taking taylor expansion of 2e-16 in t
0.320 * [backup-simplify]: Simplify 2e-16 into 2e-16
0.320 * [taylor]: Taking taylor expansion of (/ -1 t) in t
0.320 * [taylor]: Taking taylor expansion of -1 in t
0.320 * [backup-simplify]: Simplify -1 into -1
0.320 * [taylor]: Taking taylor expansion of t in t
0.320 * [backup-simplify]: Simplify 0 into 0
0.320 * [backup-simplify]: Simplify 1 into 1
0.321 * [backup-simplify]: Simplify (/ -1 1) into -1
0.321 * [taylor]: Taking taylor expansion of 1.0 in t
0.321 * [backup-simplify]: Simplify 1.0 into 1.0
0.321 * [taylor]: Taking taylor expansion of (fma 2e-16 (/ -1 t) 1.0) in t
0.321 * [taylor]: Rewrote expression to (+ (* 2e-16 (/ -1 t)) 1.0)
0.321 * [taylor]: Taking taylor expansion of (* 2e-16 (/ -1 t)) in t
0.321 * [taylor]: Taking taylor expansion of 2e-16 in t
0.321 * [backup-simplify]: Simplify 2e-16 into 2e-16
0.321 * [taylor]: Taking taylor expansion of (/ -1 t) in t
0.321 * [taylor]: Taking taylor expansion of -1 in t
0.321 * [backup-simplify]: Simplify -1 into -1
0.321 * [taylor]: Taking taylor expansion of t in t
0.321 * [backup-simplify]: Simplify 0 into 0
0.321 * [backup-simplify]: Simplify 1 into 1
0.321 * [backup-simplify]: Simplify (/ -1 1) into -1
0.321 * [taylor]: Taking taylor expansion of 1.0 in t
0.321 * [backup-simplify]: Simplify 1.0 into 1.0
0.321 * [taylor]: Taking taylor expansion of -1.0 in t
0.321 * [backup-simplify]: Simplify -1.0 into -1.0
0.321 * [taylor]: Taking taylor expansion of (fma (fma 2e-16 (/ -1 t) 1.0) (fma 2e-16 (/ -1 t) 1.0) -1.0) in t
0.321 * [taylor]: Rewrote expression to (+ (* (fma 2e-16 (/ -1 t) 1.0) (fma 2e-16 (/ -1 t) 1.0)) -1.0)
0.321 * [taylor]: Taking taylor expansion of (* (fma 2e-16 (/ -1 t) 1.0) (fma 2e-16 (/ -1 t) 1.0)) in t
0.321 * [taylor]: Taking taylor expansion of (fma 2e-16 (/ -1 t) 1.0) in t
0.322 * [taylor]: Rewrote expression to (+ (* 2e-16 (/ -1 t)) 1.0)
0.322 * [taylor]: Taking taylor expansion of (* 2e-16 (/ -1 t)) in t
0.322 * [taylor]: Taking taylor expansion of 2e-16 in t
0.322 * [backup-simplify]: Simplify 2e-16 into 2e-16
0.322 * [taylor]: Taking taylor expansion of (/ -1 t) in t
0.322 * [taylor]: Taking taylor expansion of -1 in t
0.322 * [backup-simplify]: Simplify -1 into -1
0.322 * [taylor]: Taking taylor expansion of t in t
0.322 * [backup-simplify]: Simplify 0 into 0
0.322 * [backup-simplify]: Simplify 1 into 1
0.322 * [backup-simplify]: Simplify (/ -1 1) into -1
0.322 * [taylor]: Taking taylor expansion of 1.0 in t
0.322 * [backup-simplify]: Simplify 1.0 into 1.0
0.322 * [taylor]: Taking taylor expansion of (fma 2e-16 (/ -1 t) 1.0) in t
0.322 * [taylor]: Rewrote expression to (+ (* 2e-16 (/ -1 t)) 1.0)
0.322 * [taylor]: Taking taylor expansion of (* 2e-16 (/ -1 t)) in t
0.322 * [taylor]: Taking taylor expansion of 2e-16 in t
0.322 * [backup-simplify]: Simplify 2e-16 into 2e-16
0.322 * [taylor]: Taking taylor expansion of (/ -1 t) in t
0.322 * [taylor]: Taking taylor expansion of -1 in t
0.322 * [backup-simplify]: Simplify -1 into -1
0.322 * [taylor]: Taking taylor expansion of t in t
0.322 * [backup-simplify]: Simplify 0 into 0
0.322 * [backup-simplify]: Simplify 1 into 1
0.323 * [backup-simplify]: Simplify (/ -1 1) into -1
0.323 * [taylor]: Taking taylor expansion of 1.0 in t
0.323 * [backup-simplify]: Simplify 1.0 into 1.0
0.323 * [taylor]: Taking taylor expansion of -1.0 in t
0.323 * [backup-simplify]: Simplify -1.0 into -1.0
0.323 * [backup-simplify]: Simplify (* 2e-16 -1) into -2e-16
0.323 * [backup-simplify]: Simplify (+ -2e-16 0) into (- 2e-16)
0.323 * [backup-simplify]: Simplify (* 2e-16 -1) into -2e-16
0.324 * [backup-simplify]: Simplify (+ -2e-16 0) into (- 2e-16)
0.324 * [backup-simplify]: Simplify (* (- 2e-16) (- 2e-16)) into 3.9999999999999997e-32
0.325 * [backup-simplify]: Simplify (+ 3.9999999999999997e-32 0) into 3.9999999999999997e-32
0.325 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
0.325 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
0.326 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 -1)) into 0
0.326 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.326 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
0.327 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 -1)) into 0
0.327 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.328 * [backup-simplify]: Simplify (+ (* (- 2e-16) 1.0) (* 1.0 (- 2e-16))) into (- 4e-16)
0.329 * [backup-simplify]: Simplify (+ (- 4e-16) 0) into (- 4e-16)
0.329 * [backup-simplify]: Simplify (- 4e-16) into (- 4e-16)
0.330 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.330 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 -1))) into 0
0.330 * [backup-simplify]: Simplify (+ 0 0) into 0
0.331 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.332 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 -1))) into 0
0.332 * [backup-simplify]: Simplify (+ 0 0) into 0
0.334 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 1.0) (* 0 (- 2e-16)))) into 1.0
0.334 * [backup-simplify]: Simplify (+ 1.0 -1.0) into 0
0.334 * [backup-simplify]: Simplify 0 into 0
0.334 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.335 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
0.335 * [backup-simplify]: Simplify (+ 0 0) into 0
0.336 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.337 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
0.337 * [backup-simplify]: Simplify (+ 0 0) into 0
0.338 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 0) (+ (* 0 1.0) (* 0 (- 2e-16))))) into 0
0.338 * [backup-simplify]: Simplify (+ 0 0) into 0
0.338 * [backup-simplify]: Simplify 0 into 0
0.338 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.339 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0
0.339 * [backup-simplify]: Simplify (+ 0 0) into 0
0.340 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.341 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0
0.341 * [backup-simplify]: Simplify (+ 0 0) into 0
0.342 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 (- 2e-16)))))) into 0
0.342 * [backup-simplify]: Simplify (+ 0 0) into 0
0.342 * [backup-simplify]: Simplify 0 into 0
0.342 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.343 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))) into 0
0.343 * [backup-simplify]: Simplify (+ 0 0) into 0
0.344 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.345 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))) into 0
0.345 * [backup-simplify]: Simplify (+ 0 0) into 0
0.346 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 (- 2e-16))))))) into 0
0.346 * [backup-simplify]: Simplify (+ 0 0) into 0
0.346 * [backup-simplify]: Simplify 0 into 0
0.347 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.348 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))) into 0
0.348 * [backup-simplify]: Simplify (+ 0 0) into 0
0.348 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.349 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))) into 0
0.350 * [backup-simplify]: Simplify (+ 0 0) into 0
0.351 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 (- 2e-16)))))))) into 0
0.355 * [backup-simplify]: Simplify (+ 0 0) into 0
0.355 * [backup-simplify]: Simplify 0 into 0
0.356 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.357 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))))) into 0
0.357 * [backup-simplify]: Simplify (+ 0 0) into 0
0.358 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.359 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))))) into 0
0.359 * [backup-simplify]: Simplify (+ 0 0) into 0
0.360 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 (- 2e-16))))))))) into 0
0.360 * [backup-simplify]: Simplify (+ 0 0) into 0
0.360 * [backup-simplify]: Simplify 0 into 0
0.361 * [backup-simplify]: Simplify (+ (* (- 4e-16) (/ 1 (/ 1 (- t)))) (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2))) into (+ (* 4e-16 t) (* 3.9999999999999997e-32 (pow t 2)))
0.361 * * * [progress]: simplifying candidates
0.362 * [simplify]: Simplifying:
  (expm1 (fma (- (* 2.0 t)) 2e-16 (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0)))
  (log1p (fma (- (* 2.0 t)) 2e-16 (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0)))
  (* (- (* 2.0 t)) 2e-16)
  (log (fma (- (* 2.0 t)) 2e-16 (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0)))
  (exp (fma (- (* 2.0 t)) 2e-16 (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0)))
  (* (cbrt (fma (- (* 2.0 t)) 2e-16 (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0))) (cbrt (fma (- (* 2.0 t)) 2e-16 (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0))))
  (cbrt (fma (- (* 2.0 t)) 2e-16 (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0)))
  (* (* (fma (- (* 2.0 t)) 2e-16 (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0)) (fma (- (* 2.0 t)) 2e-16 (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0))) (fma (- (* 2.0 t)) 2e-16 (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0)))
  (sqrt (fma (- (* 2.0 t)) 2e-16 (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0)))
  (sqrt (fma (- (* 2.0 t)) 2e-16 (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0)))
  (expm1 (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0))
  (log1p (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0))
  (* (fma 2e-16 t 1.0) (fma 2e-16 t 1.0))
  (log (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0))
  (exp (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0))
  (* (cbrt (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0)) (cbrt (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0)))
  (cbrt (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0))
  (* (* (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0) (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0)) (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0))
  (sqrt (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0))
  (sqrt (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (+ (* 4e-16 t) (* 3.9999999999999997e-32 (pow t 2)))
  (+ (* 4e-16 t) (* 3.9999999999999997e-32 (pow t 2)))
  (+ (* 4e-16 t) (* 3.9999999999999997e-32 (pow t 2)))
0.362 * [simplify]: Sending expressions to egg_math:
 (expm1 (fma (- (* h0 h1)) h2 (fma (fma h2 h1 h3) (fma h2 h1 h3) h4)))
 (log1p (fma (- (* h0 h1)) h2 (fma (fma h2 h1 h3) (fma h2 h1 h3) h4)))
 (* (- (* h0 h1)) h2)
 (log (fma (- (* h0 h1)) h2 (fma (fma h2 h1 h3) (fma h2 h1 h3) h4)))
 (exp (fma (- (* h0 h1)) h2 (fma (fma h2 h1 h3) (fma h2 h1 h3) h4)))
 (* (cbrt (fma (- (* h0 h1)) h2 (fma (fma h2 h1 h3) (fma h2 h1 h3) h4))) (cbrt (fma (- (* h0 h1)) h2 (fma (fma h2 h1 h3) (fma h2 h1 h3) h4))))
 (cbrt (fma (- (* h0 h1)) h2 (fma (fma h2 h1 h3) (fma h2 h1 h3) h4)))
 (* (* (fma (- (* h0 h1)) h2 (fma (fma h2 h1 h3) (fma h2 h1 h3) h4)) (fma (- (* h0 h1)) h2 (fma (fma h2 h1 h3) (fma h2 h1 h3) h4))) (fma (- (* h0 h1)) h2 (fma (fma h2 h1 h3) (fma h2 h1 h3) h4)))
 (sqrt (fma (- (* h0 h1)) h2 (fma (fma h2 h1 h3) (fma h2 h1 h3) h4)))
 (sqrt (fma (- (* h0 h1)) h2 (fma (fma h2 h1 h3) (fma h2 h1 h3) h4)))
 (expm1 (fma (fma h2 h1 h3) (fma h2 h1 h3) h4))
 (log1p (fma (fma h2 h1 h3) (fma h2 h1 h3) h4))
 (* (fma h2 h1 h3) (fma h2 h1 h3))
 (log (fma (fma h2 h1 h3) (fma h2 h1 h3) h4))
 (exp (fma (fma h2 h1 h3) (fma h2 h1 h3) h4))
 (* (cbrt (fma (fma h2 h1 h3) (fma h2 h1 h3) h4)) (cbrt (fma (fma h2 h1 h3) (fma h2 h1 h3) h4)))
 (cbrt (fma (fma h2 h1 h3) (fma h2 h1 h3) h4))
 (* (* (fma (fma h2 h1 h3) (fma h2 h1 h3) h4) (fma (fma h2 h1 h3) (fma h2 h1 h3) h4)) (fma (fma h2 h1 h3) (fma h2 h1 h3) h4))
 (sqrt (fma (fma h2 h1 h3) (fma h2 h1 h3) h4))
 (sqrt (fma (fma h2 h1 h3) (fma h2 h1 h3) h4))
 (* h5 (pow h1 2))
 (* h5 (pow h1 2))
 (* h5 (pow h1 2))
 (+ (* h6 h1) (* h5 (pow h1 2)))
 (+ (* h6 h1) (* h5 (pow h1 2)))
 (+ (* h6 h1) (* h5 (pow h1 2)))
0.364 * * [simplify]: iteration  0 :  59  enodes  (cost  153 )
0.366 * * [simplify]: iteration  1 :  139  enodes  (cost  133 )
0.369 * * [simplify]: iteration  2 :  605  enodes  (cost  133 )
0.382 * * [simplify]: iteration  3 :  3621  enodes  (cost  130 )
0.478 * * [simplify]: iteration  4 :  5001  enodes  (cost  130 )
0.479 * * * [progress]: adding candidates to table
0.542 * * [progress]: iteration 2 / 4
0.542 * * * [progress]: picking best candidate
0.543 * * * * [pick]: Picked  #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
0.543 * * * [progress]: localizing error
0.547 * * * [progress]: generating rewritten candidates
0.547 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.559 * * * [progress]: generating series expansions
0.559 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.559 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
0.559 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
0.559 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
0.559 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
0.559 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
0.559 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.559 * [taylor]: Taking taylor expansion of t in t
0.559 * [backup-simplify]: Simplify 0 into 0
0.559 * [backup-simplify]: Simplify 1 into 1
0.559 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
0.559 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
0.559 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
0.559 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.559 * [taylor]: Taking taylor expansion of t in t
0.559 * [backup-simplify]: Simplify 0 into 0
0.559 * [backup-simplify]: Simplify 1 into 1
0.560 * [backup-simplify]: Simplify (* 1 1) into 1
0.560 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
0.560 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
0.560 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.561 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
0.561 * [backup-simplify]: Simplify 0 into 0
0.561 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.562 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
0.562 * [backup-simplify]: Simplify 0 into 0
0.562 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.563 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.563 * [backup-simplify]: Simplify 0 into 0
0.564 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.564 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.564 * [backup-simplify]: Simplify 0 into 0
0.565 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.566 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.566 * [backup-simplify]: Simplify 0 into 0
0.567 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.567 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.567 * [backup-simplify]: Simplify 0 into 0
0.568 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
0.568 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 t) 2)) into (/ 3.9999999999999997e-32 (pow t 2))
0.568 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
0.568 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
0.568 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
0.568 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
0.568 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.568 * [taylor]: Taking taylor expansion of t in t
0.568 * [backup-simplify]: Simplify 0 into 0
0.568 * [backup-simplify]: Simplify 1 into 1
0.568 * [backup-simplify]: Simplify (* 1 1) into 1
0.568 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
0.568 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
0.568 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
0.568 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
0.568 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.568 * [taylor]: Taking taylor expansion of t in t
0.568 * [backup-simplify]: Simplify 0 into 0
0.569 * [backup-simplify]: Simplify 1 into 1
0.569 * [backup-simplify]: Simplify (* 1 1) into 1
0.569 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
0.569 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
0.569 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.570 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
0.570 * [backup-simplify]: Simplify 0 into 0
0.570 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.571 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.571 * [backup-simplify]: Simplify 0 into 0
0.572 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.572 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.572 * [backup-simplify]: Simplify 0 into 0
0.573 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.573 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.573 * [backup-simplify]: Simplify 0 into 0
0.574 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.575 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.575 * [backup-simplify]: Simplify 0 into 0
0.576 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.576 * [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
0.576 * [backup-simplify]: Simplify 0 into 0
0.576 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
0.576 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (- t)) 2)) into (/ 3.9999999999999997e-32 (pow t 2))
0.576 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
0.576 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
0.577 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
0.577 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
0.577 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.577 * [taylor]: Taking taylor expansion of t in t
0.577 * [backup-simplify]: Simplify 0 into 0
0.577 * [backup-simplify]: Simplify 1 into 1
0.577 * [backup-simplify]: Simplify (* 1 1) into 1
0.577 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
0.577 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
0.577 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
0.577 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
0.577 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.577 * [taylor]: Taking taylor expansion of t in t
0.577 * [backup-simplify]: Simplify 0 into 0
0.577 * [backup-simplify]: Simplify 1 into 1
0.577 * [backup-simplify]: Simplify (* 1 1) into 1
0.578 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
0.578 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
0.578 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.579 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
0.579 * [backup-simplify]: Simplify 0 into 0
0.579 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.580 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.580 * [backup-simplify]: Simplify 0 into 0
0.581 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.581 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.581 * [backup-simplify]: Simplify 0 into 0
0.582 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.582 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.582 * [backup-simplify]: Simplify 0 into 0
0.583 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.584 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.584 * [backup-simplify]: Simplify 0 into 0
0.585 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.585 * [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
0.585 * [backup-simplify]: Simplify 0 into 0
0.585 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
0.585 * * * [progress]: simplifying candidates
0.586 * [simplify]: Simplifying:
  (expm1 (* 3.9999999999999997e-32 (pow t 2)))
  (log1p (* 3.9999999999999997e-32 (pow t 2)))
  (+ (log 3.9999999999999997e-32) (* (log t) 2))
  (+ (log 3.9999999999999997e-32) (* (log t) 2))
  (+ (log 3.9999999999999997e-32) (log (pow t 2)))
  (log (* 3.9999999999999997e-32 (pow t 2)))
  (exp (* 3.9999999999999997e-32 (pow t 2)))
  (* (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32) (* (* (pow t 2) (pow t 2)) (pow t 2)))
  (* (cbrt (* 3.9999999999999997e-32 (pow t 2))) (cbrt (* 3.9999999999999997e-32 (pow t 2))))
  (cbrt (* 3.9999999999999997e-32 (pow t 2)))
  (* (* (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2))) (* 3.9999999999999997e-32 (pow t 2)))
  (sqrt (* 3.9999999999999997e-32 (pow t 2)))
  (sqrt (* 3.9999999999999997e-32 (pow t 2)))
  (* (sqrt 3.9999999999999997e-32) (pow (sqrt t) 2))
  (* (sqrt 3.9999999999999997e-32) (pow (sqrt t) 2))
  (* (sqrt 3.9999999999999997e-32) t)
  (* (sqrt 3.9999999999999997e-32) t)
  (* (sqrt 3.9999999999999997e-32) (sqrt (pow t 2)))
  (* (sqrt 3.9999999999999997e-32) (sqrt (pow t 2)))
  (* (sqrt 3.9999999999999997e-32) (pow t (/ 2 2)))
  (* (sqrt 3.9999999999999997e-32) (pow t (/ 2 2)))
  (* 3.9999999999999997e-32 (pow (* (cbrt t) (cbrt t)) 2))
  (* 3.9999999999999997e-32 (pow (sqrt t) 2))
  (* 3.9999999999999997e-32 (pow 1 2))
  (* 3.9999999999999997e-32 t)
  (* 3.9999999999999997e-32 (* (cbrt (pow t 2)) (cbrt (pow t 2))))
  (* 3.9999999999999997e-32 (sqrt (pow t 2)))
  (* 3.9999999999999997e-32 1)
  (* 3.9999999999999997e-32 (pow t (/ 2 2)))
  (* (cbrt 3.9999999999999997e-32) (pow t 2))
  (* (sqrt 3.9999999999999997e-32) (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
0.586 * [simplify]: Sending expressions to egg_math:
 (expm1 (* h0 (pow h1 2)))
 (log1p (* h0 (pow h1 2)))
 (+ (log h0) (* (log h1) 2))
 (+ (log h0) (* (log h1) 2))
 (+ (log h0) (log (pow h1 2)))
 (log (* h0 (pow h1 2)))
 (exp (* h0 (pow h1 2)))
 (* (* (* h0 h0) h0) (* (* (pow h1 2) (pow h1 2)) (pow h1 2)))
 (* (cbrt (* h0 (pow h1 2))) (cbrt (* h0 (pow h1 2))))
 (cbrt (* h0 (pow h1 2)))
 (* (* (* h0 (pow h1 2)) (* h0 (pow h1 2))) (* h0 (pow h1 2)))
 (sqrt (* h0 (pow h1 2)))
 (sqrt (* h0 (pow h1 2)))
 (* (sqrt h0) (pow (sqrt h1) 2))
 (* (sqrt h0) (pow (sqrt h1) 2))
 (* (sqrt h0) h1)
 (* (sqrt h0) h1)
 (* (sqrt h0) (sqrt (pow h1 2)))
 (* (sqrt h0) (sqrt (pow h1 2)))
 (* (sqrt h0) (pow h1 (/ 2 2)))
 (* (sqrt h0) (pow h1 (/ 2 2)))
 (* h0 (pow (* (cbrt h1) (cbrt h1)) 2))
 (* h0 (pow (sqrt h1) 2))
 (* h0 (pow 1 2))
 (* h0 h1)
 (* h0 (* (cbrt (pow h1 2)) (cbrt (pow h1 2))))
 (* h0 (sqrt (pow h1 2)))
 (* h0 1)
 (* h0 (pow h1 (/ 2 2)))
 (* (cbrt h0) (pow h1 2))
 (* (sqrt h0) (pow h1 2))
 (* h0 (pow h1 2))
 (* h0 (pow h1 2))
 (* h0 (pow h1 2))
 (* h0 (pow h1 2))
0.589 * * [simplify]: iteration  0 :  109  enodes  (cost  108 )
0.592 * * [simplify]: iteration  1 :  408  enodes  (cost  93 )
0.601 * * [simplify]: iteration  2 :  2002  enodes  (cost  93 )
0.656 * * [simplify]: iteration  3 :  5001  enodes  (cost  92 )
0.657 * * * [progress]: adding candidates to table
0.699 * * [progress]: iteration 3 / 4
0.699 * * * [progress]: picking best candidate
0.706 * * * * [pick]: Picked  #<alt (λ (t) (* (* t 3.9999999999999997e-32) (pow t (/ 2 2))))>
0.706 * * * [progress]: localizing error
0.711 * * * [progress]: generating rewritten candidates
0.711 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.735 * * * [progress]: generating series expansions
0.735 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.736 * [backup-simplify]: Simplify (* (* t 3.9999999999999997e-32) (pow t (/ 2 2))) into (* 3.9999999999999997e-32 (pow t 2))
0.736 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
0.736 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
0.736 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
0.736 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
0.736 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.736 * [taylor]: Taking taylor expansion of t in t
0.736 * [backup-simplify]: Simplify 0 into 0
0.736 * [backup-simplify]: Simplify 1 into 1
0.736 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
0.736 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
0.736 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
0.736 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.736 * [taylor]: Taking taylor expansion of t in t
0.736 * [backup-simplify]: Simplify 0 into 0
0.736 * [backup-simplify]: Simplify 1 into 1
0.737 * [backup-simplify]: Simplify (* 1 1) into 1
0.737 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
0.737 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
0.737 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.738 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
0.738 * [backup-simplify]: Simplify 0 into 0
0.738 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.739 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
0.739 * [backup-simplify]: Simplify 0 into 0
0.740 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.740 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.740 * [backup-simplify]: Simplify 0 into 0
0.741 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.741 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.742 * [backup-simplify]: Simplify 0 into 0
0.742 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.743 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.743 * [backup-simplify]: Simplify 0 into 0
0.744 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.745 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.745 * [backup-simplify]: Simplify 0 into 0
0.745 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
0.745 * [backup-simplify]: Simplify (* (* (/ 1 t) 3.9999999999999997e-32) (pow (/ 1 t) (/ 2 2))) into (/ 3.9999999999999997e-32 (pow t 2))
0.745 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
0.745 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
0.745 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
0.745 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
0.745 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.745 * [taylor]: Taking taylor expansion of t in t
0.745 * [backup-simplify]: Simplify 0 into 0
0.745 * [backup-simplify]: Simplify 1 into 1
0.746 * [backup-simplify]: Simplify (* 1 1) into 1
0.746 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
0.746 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
0.746 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
0.746 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
0.746 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.746 * [taylor]: Taking taylor expansion of t in t
0.746 * [backup-simplify]: Simplify 0 into 0
0.746 * [backup-simplify]: Simplify 1 into 1
0.746 * [backup-simplify]: Simplify (* 1 1) into 1
0.746 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
0.747 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
0.747 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.747 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
0.747 * [backup-simplify]: Simplify 0 into 0
0.748 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.748 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.749 * [backup-simplify]: Simplify 0 into 0
0.749 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.750 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.750 * [backup-simplify]: Simplify 0 into 0
0.750 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.751 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.751 * [backup-simplify]: Simplify 0 into 0
0.752 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.752 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.752 * [backup-simplify]: Simplify 0 into 0
0.753 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.754 * [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
0.754 * [backup-simplify]: Simplify 0 into 0
0.754 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
0.754 * [backup-simplify]: Simplify (* (* (/ 1 (- t)) 3.9999999999999997e-32) (pow (/ 1 (- t)) (/ 2 2))) into (/ 3.9999999999999997e-32 (pow t 2))
0.754 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
0.754 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
0.754 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
0.754 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
0.754 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.754 * [taylor]: Taking taylor expansion of t in t
0.754 * [backup-simplify]: Simplify 0 into 0
0.754 * [backup-simplify]: Simplify 1 into 1
0.755 * [backup-simplify]: Simplify (* 1 1) into 1
0.755 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
0.755 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
0.755 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
0.755 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
0.755 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.755 * [taylor]: Taking taylor expansion of t in t
0.755 * [backup-simplify]: Simplify 0 into 0
0.755 * [backup-simplify]: Simplify 1 into 1
0.755 * [backup-simplify]: Simplify (* 1 1) into 1
0.755 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
0.756 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
0.756 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.757 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
0.757 * [backup-simplify]: Simplify 0 into 0
0.757 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.758 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.758 * [backup-simplify]: Simplify 0 into 0
0.758 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.759 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.759 * [backup-simplify]: Simplify 0 into 0
0.760 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.760 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.760 * [backup-simplify]: Simplify 0 into 0
0.761 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.761 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.761 * [backup-simplify]: Simplify 0 into 0
0.762 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.763 * [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
0.763 * [backup-simplify]: Simplify 0 into 0
0.763 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
0.763 * * * [progress]: simplifying candidates
0.764 * [simplify]: Simplifying:
  (expm1 (* (* t 3.9999999999999997e-32) (pow t (/ 2 2))))
  (log1p (* (* t 3.9999999999999997e-32) (pow t (/ 2 2))))
  (+ (+ (log t) (log 3.9999999999999997e-32)) (* (log t) (/ 2 2)))
  (+ (+ (log t) (log 3.9999999999999997e-32)) (* (log t) (/ 2 2)))
  (+ (+ (log t) (log 3.9999999999999997e-32)) (log (pow t (/ 2 2))))
  (+ (log (* t 3.9999999999999997e-32)) (* (log t) (/ 2 2)))
  (+ (log (* t 3.9999999999999997e-32)) (* (log t) (/ 2 2)))
  (+ (log (* t 3.9999999999999997e-32)) (log (pow t (/ 2 2))))
  (log (* (* t 3.9999999999999997e-32) (pow t (/ 2 2))))
  (exp (* (* t 3.9999999999999997e-32) (pow t (/ 2 2))))
  (* (* (* (* t t) t) (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32)) (* (* (pow t (/ 2 2)) (pow t (/ 2 2))) (pow t (/ 2 2))))
  (* (* (* (* t 3.9999999999999997e-32) (* t 3.9999999999999997e-32)) (* t 3.9999999999999997e-32)) (* (* (pow t (/ 2 2)) (pow t (/ 2 2))) (pow t (/ 2 2))))
  (* (cbrt (* (* t 3.9999999999999997e-32) (pow t (/ 2 2)))) (cbrt (* (* t 3.9999999999999997e-32) (pow t (/ 2 2)))))
  (cbrt (* (* t 3.9999999999999997e-32) (pow t (/ 2 2))))
  (* (* (* (* t 3.9999999999999997e-32) (pow t (/ 2 2))) (* (* t 3.9999999999999997e-32) (pow t (/ 2 2)))) (* (* t 3.9999999999999997e-32) (pow t (/ 2 2))))
  (sqrt (* (* t 3.9999999999999997e-32) (pow t (/ 2 2))))
  (sqrt (* (* t 3.9999999999999997e-32) (pow t (/ 2 2))))
  (* (* t 3.9999999999999997e-32) (pow (* (cbrt t) (cbrt t)) (/ 2 2)))
  (* (* t 3.9999999999999997e-32) (pow (sqrt t) (/ 2 2)))
  (* (* t 3.9999999999999997e-32) (pow 1 (/ 2 2)))
  (* (* t 3.9999999999999997e-32) (* (cbrt (pow t (/ 2 2))) (cbrt (pow t (/ 2 2)))))
  (* (* t 3.9999999999999997e-32) (sqrt (pow t (/ 2 2))))
  (* (* t 3.9999999999999997e-32) 1)
  (* (* t 3.9999999999999997e-32) (pow t (/ (/ 2 2) 2)))
  (* 3.9999999999999997e-32 (pow t (/ 2 2)))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
0.764 * [simplify]: Sending expressions to egg_math:
 (expm1 (* (* h0 h1) (pow h0 (/ 2 2))))
 (log1p (* (* h0 h1) (pow h0 (/ 2 2))))
 (+ (+ (log h0) (log h1)) (* (log h0) (/ 2 2)))
 (+ (+ (log h0) (log h1)) (* (log h0) (/ 2 2)))
 (+ (+ (log h0) (log h1)) (log (pow h0 (/ 2 2))))
 (+ (log (* h0 h1)) (* (log h0) (/ 2 2)))
 (+ (log (* h0 h1)) (* (log h0) (/ 2 2)))
 (+ (log (* h0 h1)) (log (pow h0 (/ 2 2))))
 (log (* (* h0 h1) (pow h0 (/ 2 2))))
 (exp (* (* h0 h1) (pow h0 (/ 2 2))))
 (* (* (* (* h0 h0) h0) (* (* h1 h1) h1)) (* (* (pow h0 (/ 2 2)) (pow h0 (/ 2 2))) (pow h0 (/ 2 2))))
 (* (* (* (* h0 h1) (* h0 h1)) (* h0 h1)) (* (* (pow h0 (/ 2 2)) (pow h0 (/ 2 2))) (pow h0 (/ 2 2))))
 (* (cbrt (* (* h0 h1) (pow h0 (/ 2 2)))) (cbrt (* (* h0 h1) (pow h0 (/ 2 2)))))
 (cbrt (* (* h0 h1) (pow h0 (/ 2 2))))
 (* (* (* (* h0 h1) (pow h0 (/ 2 2))) (* (* h0 h1) (pow h0 (/ 2 2)))) (* (* h0 h1) (pow h0 (/ 2 2))))
 (sqrt (* (* h0 h1) (pow h0 (/ 2 2))))
 (sqrt (* (* h0 h1) (pow h0 (/ 2 2))))
 (* (* h0 h1) (pow (* (cbrt h0) (cbrt h0)) (/ 2 2)))
 (* (* h0 h1) (pow (sqrt h0) (/ 2 2)))
 (* (* h0 h1) (pow 1 (/ 2 2)))
 (* (* h0 h1) (* (cbrt (pow h0 (/ 2 2))) (cbrt (pow h0 (/ 2 2)))))
 (* (* h0 h1) (sqrt (pow h0 (/ 2 2))))
 (* (* h0 h1) 1)
 (* (* h0 h1) (pow h0 (/ (/ 2 2) 2)))
 (* h1 (pow h0 (/ 2 2)))
 (* h1 (pow h0 2))
 (* h1 (pow h0 2))
 (* h1 (pow h0 2))
0.767 * * [simplify]: iteration  0 :  154  enodes  (cost  113 )
0.770 * * [simplify]: iteration  1 :  654  enodes  (cost  97 )
0.788 * * [simplify]: iteration  2 :  4393  enodes  (cost  94 )
0.973 * * [simplify]: iteration  3 :  5002  enodes  (cost  87 )
0.974 * * * [progress]: adding candidates to table
1.011 * * [progress]: iteration 4 / 4
1.011 * * * [progress]: picking best candidate
1.017 * * * * [pick]: Picked  #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))))>
1.017 * * * [progress]: localizing error
1.022 * * * [progress]: generating rewritten candidates
1.022 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
1.049 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
1.068 * * * [progress]: generating series expansions
1.068 * * * * [progress]: [ 1 / 2 ] generating series at (2)
1.069 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2))
1.069 * [approximate]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) in (t) around 0
1.069 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) in t
1.069 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.069 * [taylor]: Taking taylor expansion of t in t
1.069 * [backup-simplify]: Simplify 0 into 0
1.069 * [backup-simplify]: Simplify 1 into 1
1.069 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
1.069 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
1.069 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
1.069 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
1.070 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
1.070 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.070 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) in t
1.070 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.070 * [taylor]: Taking taylor expansion of t in t
1.070 * [backup-simplify]: Simplify 0 into 0
1.070 * [backup-simplify]: Simplify 1 into 1
1.070 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
1.070 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
1.070 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
1.070 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
1.070 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
1.071 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.071 * [backup-simplify]: Simplify (* 1 1) into 1
1.072 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2)
1.073 * [backup-simplify]: Simplify (* 1 (pow (sqrt 3.9999999999999997e-32) 2)) into (pow (sqrt 3.9999999999999997e-32) 2)
1.074 * [backup-simplify]: Simplify (pow (sqrt 3.9999999999999997e-32) 2) into (pow (sqrt 3.9999999999999997e-32) 2)
1.074 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0
1.075 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.075 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2))) into 0
1.075 * [backup-simplify]: Simplify 0 into 0
1.076 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.077 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0
1.077 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.078 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2)))) into 0
1.078 * [backup-simplify]: Simplify 0 into 0
1.079 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.079 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0
1.080 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.081 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2))))) into 0
1.081 * [backup-simplify]: Simplify 0 into 0
1.082 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.082 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0
1.083 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.084 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2)))))) into 0
1.084 * [backup-simplify]: Simplify 0 into 0
1.085 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.085 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0
1.086 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.087 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2))))))) into 0
1.087 * [backup-simplify]: Simplify 0 into 0
1.088 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.089 * [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
1.090 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.091 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2)))))))) into 0
1.091 * [backup-simplify]: Simplify 0 into 0
1.092 * [backup-simplify]: Simplify (* (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2))
1.092 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow (/ 1 t) 2))) into (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2))
1.092 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in (t) around 0
1.092 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t
1.092 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
1.092 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
1.092 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
1.092 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
1.093 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
1.093 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.093 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.093 * [taylor]: Taking taylor expansion of t in t
1.093 * [backup-simplify]: Simplify 0 into 0
1.093 * [backup-simplify]: Simplify 1 into 1
1.094 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2)
1.094 * [backup-simplify]: Simplify (* 1 1) into 1
1.095 * [backup-simplify]: Simplify (/ (pow (sqrt 3.9999999999999997e-32) 2) 1) into (pow (sqrt 3.9999999999999997e-32) 2)
1.095 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t
1.095 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
1.095 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
1.095 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
1.095 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
1.095 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
1.096 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.096 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.096 * [taylor]: Taking taylor expansion of t in t
1.096 * [backup-simplify]: Simplify 0 into 0
1.096 * [backup-simplify]: Simplify 1 into 1
1.097 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2)
1.097 * [backup-simplify]: Simplify (* 1 1) into 1
1.098 * [backup-simplify]: Simplify (/ (pow (sqrt 3.9999999999999997e-32) 2) 1) into (pow (sqrt 3.9999999999999997e-32) 2)
1.098 * [backup-simplify]: Simplify (pow (sqrt 3.9999999999999997e-32) 2) into (pow (sqrt 3.9999999999999997e-32) 2)
1.099 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0
1.099 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.100 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)))) into 0
1.100 * [backup-simplify]: Simplify 0 into 0
1.101 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.101 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0
1.102 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.102 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.102 * [backup-simplify]: Simplify 0 into 0
1.103 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.104 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0
1.104 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.105 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.105 * [backup-simplify]: Simplify 0 into 0
1.106 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.107 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0
1.107 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.108 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.108 * [backup-simplify]: Simplify 0 into 0
1.109 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.110 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0
1.110 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.111 * [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
1.111 * [backup-simplify]: Simplify 0 into 0
1.112 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.113 * [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
1.114 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.115 * [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
1.115 * [backup-simplify]: Simplify 0 into 0
1.115 * [backup-simplify]: Simplify (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (/ 1 (/ 1 t)) 2)) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2))
1.116 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow (/ 1 (- t)) 2))) into (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2))
1.116 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in (t) around 0
1.116 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t
1.116 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
1.116 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
1.116 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
1.116 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
1.116 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
1.117 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.117 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.117 * [taylor]: Taking taylor expansion of t in t
1.117 * [backup-simplify]: Simplify 0 into 0
1.117 * [backup-simplify]: Simplify 1 into 1
1.118 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2)
1.118 * [backup-simplify]: Simplify (* 1 1) into 1
1.119 * [backup-simplify]: Simplify (/ (pow (sqrt 3.9999999999999997e-32) 2) 1) into (pow (sqrt 3.9999999999999997e-32) 2)
1.119 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t
1.119 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
1.119 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
1.119 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
1.119 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
1.119 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
1.120 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.120 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.120 * [taylor]: Taking taylor expansion of t in t
1.120 * [backup-simplify]: Simplify 0 into 0
1.120 * [backup-simplify]: Simplify 1 into 1
1.120 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2)
1.121 * [backup-simplify]: Simplify (* 1 1) into 1
1.122 * [backup-simplify]: Simplify (/ (pow (sqrt 3.9999999999999997e-32) 2) 1) into (pow (sqrt 3.9999999999999997e-32) 2)
1.122 * [backup-simplify]: Simplify (pow (sqrt 3.9999999999999997e-32) 2) into (pow (sqrt 3.9999999999999997e-32) 2)
1.123 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0
1.123 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.124 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)))) into 0
1.124 * [backup-simplify]: Simplify 0 into 0
1.125 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.125 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0
1.126 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.126 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.126 * [backup-simplify]: Simplify 0 into 0
1.127 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.128 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0
1.128 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.129 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.129 * [backup-simplify]: Simplify 0 into 0
1.130 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.131 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0
1.131 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.132 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.132 * [backup-simplify]: Simplify 0 into 0
1.133 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.134 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0
1.134 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.135 * [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
1.135 * [backup-simplify]: Simplify 0 into 0
1.136 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.137 * [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
1.138 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.139 * [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
1.139 * [backup-simplify]: Simplify 0 into 0
1.139 * [backup-simplify]: Simplify (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (/ 1 (/ 1 (- t))) 2)) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2))
1.139 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
1.140 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow t 2)) into (* (pow t 2) (sqrt 3.9999999999999997e-32))
1.140 * [approximate]: Taking taylor expansion of (* (pow t 2) (sqrt 3.9999999999999997e-32)) in (t) around 0
1.140 * [taylor]: Taking taylor expansion of (* (pow t 2) (sqrt 3.9999999999999997e-32)) in t
1.140 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.140 * [taylor]: Taking taylor expansion of t in t
1.140 * [backup-simplify]: Simplify 0 into 0
1.140 * [backup-simplify]: Simplify 1 into 1
1.140 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
1.140 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
1.140 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
1.140 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
1.141 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.141 * [taylor]: Taking taylor expansion of (* (pow t 2) (sqrt 3.9999999999999997e-32)) in t
1.141 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.141 * [taylor]: Taking taylor expansion of t in t
1.141 * [backup-simplify]: Simplify 0 into 0
1.141 * [backup-simplify]: Simplify 1 into 1
1.141 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
1.141 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
1.141 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
1.141 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
1.141 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.142 * [backup-simplify]: Simplify (* 1 1) into 1
1.142 * [backup-simplify]: Simplify (* 1 (sqrt 3.9999999999999997e-32)) into (sqrt 3.9999999999999997e-32)
1.142 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
1.148 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.149 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0
1.149 * [backup-simplify]: Simplify 0 into 0
1.150 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.150 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.151 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0
1.151 * [backup-simplify]: Simplify 0 into 0
1.151 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.152 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.153 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0
1.153 * [backup-simplify]: Simplify 0 into 0
1.154 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.154 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.155 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0
1.155 * [backup-simplify]: Simplify 0 into 0
1.156 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.156 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.157 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0
1.157 * [backup-simplify]: Simplify 0 into 0
1.158 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.159 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.160 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))))) into 0
1.160 * [backup-simplify]: Simplify 0 into 0
1.160 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow t 2)) into (* (pow t 2) (sqrt 3.9999999999999997e-32))
1.161 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow (/ 1 t) 2)) into (/ (sqrt 3.9999999999999997e-32) (pow t 2))
1.161 * [approximate]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in (t) around 0
1.161 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in t
1.161 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
1.161 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
1.161 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
1.161 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
1.162 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.162 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.162 * [taylor]: Taking taylor expansion of t in t
1.162 * [backup-simplify]: Simplify 0 into 0
1.162 * [backup-simplify]: Simplify 1 into 1
1.162 * [backup-simplify]: Simplify (* 1 1) into 1
1.162 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32)
1.162 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in t
1.162 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
1.162 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
1.162 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
1.163 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
1.163 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.163 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.163 * [taylor]: Taking taylor expansion of t in t
1.163 * [backup-simplify]: Simplify 0 into 0
1.163 * [backup-simplify]: Simplify 1 into 1
1.163 * [backup-simplify]: Simplify (* 1 1) into 1
1.164 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32)
1.164 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
1.165 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.165 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)))) into 0
1.165 * [backup-simplify]: Simplify 0 into 0
1.166 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.166 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.167 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.167 * [backup-simplify]: Simplify 0 into 0
1.168 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.168 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.169 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.169 * [backup-simplify]: Simplify 0 into 0
1.170 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.170 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.171 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.171 * [backup-simplify]: Simplify 0 into 0
1.172 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.173 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.173 * [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
1.173 * [backup-simplify]: Simplify 0 into 0
1.174 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.175 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.176 * [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
1.176 * [backup-simplify]: Simplify 0 into 0
1.176 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow (/ 1 (/ 1 t)) 2)) into (* (pow t 2) (sqrt 3.9999999999999997e-32))
1.177 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow (/ 1 (- t)) 2)) into (/ (sqrt 3.9999999999999997e-32) (pow t 2))
1.177 * [approximate]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in (t) around 0
1.177 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in t
1.177 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
1.177 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
1.177 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
1.177 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
1.177 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.177 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.177 * [taylor]: Taking taylor expansion of t in t
1.177 * [backup-simplify]: Simplify 0 into 0
1.177 * [backup-simplify]: Simplify 1 into 1
1.178 * [backup-simplify]: Simplify (* 1 1) into 1
1.178 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32)
1.178 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in t
1.178 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
1.178 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
1.178 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
1.178 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
1.179 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.179 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.179 * [taylor]: Taking taylor expansion of t in t
1.179 * [backup-simplify]: Simplify 0 into 0
1.179 * [backup-simplify]: Simplify 1 into 1
1.179 * [backup-simplify]: Simplify (* 1 1) into 1
1.180 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32)
1.180 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
1.180 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.181 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)))) into 0
1.181 * [backup-simplify]: Simplify 0 into 0
1.182 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.182 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.183 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.183 * [backup-simplify]: Simplify 0 into 0
1.183 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.184 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.185 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.185 * [backup-simplify]: Simplify 0 into 0
1.186 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.186 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.187 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.187 * [backup-simplify]: Simplify 0 into 0
1.188 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.188 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.189 * [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
1.189 * [backup-simplify]: Simplify 0 into 0
1.190 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
1.191 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.191 * [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
1.191 * [backup-simplify]: Simplify 0 into 0
1.192 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow (/ 1 (/ 1 (- t))) 2)) into (* (pow t 2) (sqrt 3.9999999999999997e-32))
1.192 * * * [progress]: simplifying candidates
1.193 * [simplify]: Simplifying:
  (expm1 (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))))
  (log1p (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))))
  (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (+ (log (sqrt 3.9999999999999997e-32)) (+ (log (sqrt 3.9999999999999997e-32)) (* (log t) 2)))
  (+ (log (sqrt 3.9999999999999997e-32)) (+ (log (sqrt 3.9999999999999997e-32)) (* (log t) 2)))
  (+ (log (sqrt 3.9999999999999997e-32)) (+ (log (sqrt 3.9999999999999997e-32)) (log (pow t 2))))
  (+ (log (sqrt 3.9999999999999997e-32)) (log (* (sqrt 3.9999999999999997e-32) (pow t 2))))
  (log (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))))
  (exp (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))))
  (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (pow t 2) (pow t 2)) (pow t 2))))
  (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (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))))
  (* (cbrt (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))) (cbrt (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))))
  (cbrt (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))))
  (* (* (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))) (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))) (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))))
  (sqrt (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))))
  (sqrt (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))))
  (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32))
  (* (cbrt (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (* (sqrt (cbrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (expm1 (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (log1p (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (+ (log (sqrt 3.9999999999999997e-32)) (* (log t) 2))
  (+ (log (sqrt 3.9999999999999997e-32)) (* (log t) 2))
  (+ (log (sqrt 3.9999999999999997e-32)) (log (pow t 2)))
  (log (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (exp (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (pow t 2) (pow t 2)) (pow t 2)))
  (* (cbrt (* (sqrt 3.9999999999999997e-32) (pow t 2))) (cbrt (* (sqrt 3.9999999999999997e-32) (pow t 2))))
  (cbrt (* (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)))
  (sqrt (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (sqrt (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (pow (sqrt t) 2))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (pow (sqrt t) 2))
  (* (sqrt (sqrt 3.9999999999999997e-32)) t)
  (* (sqrt (sqrt 3.9999999999999997e-32)) t)
  (* (sqrt (sqrt 3.9999999999999997e-32)) (sqrt (pow t 2)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (sqrt (pow t 2)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (pow t (/ 2 2)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (pow t (/ 2 2)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (pow (sqrt t) 2))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (pow (sqrt t) 2))
  (* (sqrt (sqrt 3.9999999999999997e-32)) t)
  (* (sqrt (sqrt 3.9999999999999997e-32)) t)
  (* (sqrt (sqrt 3.9999999999999997e-32)) (sqrt (pow t 2)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (sqrt (pow t 2)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (pow t (/ 2 2)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (pow t (/ 2 2)))
  (* (sqrt 3.9999999999999997e-32) (pow (* (cbrt t) (cbrt t)) 2))
  (* (sqrt 3.9999999999999997e-32) (pow (sqrt t) 2))
  (* (sqrt 3.9999999999999997e-32) (pow 1 2))
  (* (sqrt 3.9999999999999997e-32) t)
  (* (sqrt 3.9999999999999997e-32) (* (cbrt (pow t 2)) (cbrt (pow t 2))))
  (* (sqrt 3.9999999999999997e-32) (sqrt (pow t 2)))
  (* (sqrt 3.9999999999999997e-32) 1)
  (* (sqrt 3.9999999999999997e-32) (pow t (/ 2 2)))
  (* (cbrt (sqrt 3.9999999999999997e-32)) (pow t 2))
  (* (sqrt (cbrt 3.9999999999999997e-32)) (pow t 2))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (pow t 2))
  (* (sqrt 3.9999999999999997e-32) (pow t 2))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (pow t 2))
  (* (sqrt 3.9999999999999997e-32) (pow t 2))
  (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2))
  (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2))
  (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2))
  (* (pow t 2) (sqrt 3.9999999999999997e-32))
  (* (pow t 2) (sqrt 3.9999999999999997e-32))
  (* (pow t 2) (sqrt 3.9999999999999997e-32))
1.193 * [simplify]: Sending expressions to egg_math:
 (expm1 (* (sqrt h0) (* (sqrt h0) (pow h1 2))))
 (log1p (* (sqrt h0) (* (sqrt h0) (pow h1 2))))
 (* (sqrt h0) (* (sqrt h0) (pow h1 2)))
 (+ (log (sqrt h0)) (+ (log (sqrt h0)) (* (log h1) 2)))
 (+ (log (sqrt h0)) (+ (log (sqrt h0)) (* (log h1) 2)))
 (+ (log (sqrt h0)) (+ (log (sqrt h0)) (log (pow h1 2))))
 (+ (log (sqrt h0)) (log (* (sqrt h0) (pow h1 2))))
 (log (* (sqrt h0) (* (sqrt h0) (pow h1 2))))
 (exp (* (sqrt h0) (* (sqrt h0) (pow h1 2))))
 (* (* (* (sqrt h0) (sqrt h0)) (sqrt h0)) (* (* (* (sqrt h0) (sqrt h0)) (sqrt h0)) (* (* (pow h1 2) (pow h1 2)) (pow h1 2))))
 (* (* (* (sqrt h0) (sqrt h0)) (sqrt h0)) (* (* (* (sqrt h0) (pow h1 2)) (* (sqrt h0) (pow h1 2))) (* (sqrt h0) (pow h1 2))))
 (* (cbrt (* (sqrt h0) (* (sqrt h0) (pow h1 2)))) (cbrt (* (sqrt h0) (* (sqrt h0) (pow h1 2)))))
 (cbrt (* (sqrt h0) (* (sqrt h0) (pow h1 2))))
 (* (* (* (sqrt h0) (* (sqrt h0) (pow h1 2))) (* (sqrt h0) (* (sqrt h0) (pow h1 2)))) (* (sqrt h0) (* (sqrt h0) (pow h1 2))))
 (sqrt (* (sqrt h0) (* (sqrt h0) (pow h1 2))))
 (sqrt (* (sqrt h0) (* (sqrt h0) (pow h1 2))))
 (* (sqrt h0) (sqrt h0))
 (* (cbrt (sqrt h0)) (* (sqrt h0) (pow h1 2)))
 (* (sqrt (cbrt h0)) (* (sqrt h0) (pow h1 2)))
 (* (sqrt (sqrt h0)) (* (sqrt h0) (pow h1 2)))
 (* (sqrt h0) (* (sqrt h0) (pow h1 2)))
 (* (sqrt (sqrt h0)) (* (sqrt h0) (pow h1 2)))
 (* (sqrt h0) (* (sqrt h0) (pow h1 2)))
 (expm1 (* (sqrt h0) (pow h1 2)))
 (log1p (* (sqrt h0) (pow h1 2)))
 (+ (log (sqrt h0)) (* (log h1) 2))
 (+ (log (sqrt h0)) (* (log h1) 2))
 (+ (log (sqrt h0)) (log (pow h1 2)))
 (log (* (sqrt h0) (pow h1 2)))
 (exp (* (sqrt h0) (pow h1 2)))
 (* (* (* (sqrt h0) (sqrt h0)) (sqrt h0)) (* (* (pow h1 2) (pow h1 2)) (pow h1 2)))
 (* (cbrt (* (sqrt h0) (pow h1 2))) (cbrt (* (sqrt h0) (pow h1 2))))
 (cbrt (* (sqrt h0) (pow h1 2)))
 (* (* (* (sqrt h0) (pow h1 2)) (* (sqrt h0) (pow h1 2))) (* (sqrt h0) (pow h1 2)))
 (sqrt (* (sqrt h0) (pow h1 2)))
 (sqrt (* (sqrt h0) (pow h1 2)))
 (* (sqrt (sqrt h0)) (pow (sqrt h1) 2))
 (* (sqrt (sqrt h0)) (pow (sqrt h1) 2))
 (* (sqrt (sqrt h0)) h1)
 (* (sqrt (sqrt h0)) h1)
 (* (sqrt (sqrt h0)) (sqrt (pow h1 2)))
 (* (sqrt (sqrt h0)) (sqrt (pow h1 2)))
 (* (sqrt (sqrt h0)) (pow h1 (/ 2 2)))
 (* (sqrt (sqrt h0)) (pow h1 (/ 2 2)))
 (* (sqrt (sqrt h0)) (pow (sqrt h1) 2))
 (* (sqrt (sqrt h0)) (pow (sqrt h1) 2))
 (* (sqrt (sqrt h0)) h1)
 (* (sqrt (sqrt h0)) h1)
 (* (sqrt (sqrt h0)) (sqrt (pow h1 2)))
 (* (sqrt (sqrt h0)) (sqrt (pow h1 2)))
 (* (sqrt (sqrt h0)) (pow h1 (/ 2 2)))
 (* (sqrt (sqrt h0)) (pow h1 (/ 2 2)))
 (* (sqrt h0) (pow (* (cbrt h1) (cbrt h1)) 2))
 (* (sqrt h0) (pow (sqrt h1) 2))
 (* (sqrt h0) (pow 1 2))
 (* (sqrt h0) h1)
 (* (sqrt h0) (* (cbrt (pow h1 2)) (cbrt (pow h1 2))))
 (* (sqrt h0) (sqrt (pow h1 2)))
 (* (sqrt h0) 1)
 (* (sqrt h0) (pow h1 (/ 2 2)))
 (* (cbrt (sqrt h0)) (pow h1 2))
 (* (sqrt (cbrt h0)) (pow h1 2))
 (* (sqrt (sqrt h0)) (pow h1 2))
 (* (sqrt h0) (pow h1 2))
 (* (sqrt (sqrt h0)) (pow h1 2))
 (* (sqrt h0) (pow h1 2))
 (* (pow h1 2) (pow (sqrt h0) 2))
 (* (pow h1 2) (pow (sqrt h0) 2))
 (* (pow h1 2) (pow (sqrt h0) 2))
 (* (pow h1 2) (sqrt h0))
 (* (pow h1 2) (sqrt h0))
 (* (pow h1 2) (sqrt h0))
1.197 * * [simplify]: iteration  0 :  172  enodes  (cost  328 )
1.201 * * [simplify]: iteration  1 :  723  enodes  (cost  279 )
1.219 * * [simplify]: iteration  2 :  3929  enodes  (cost  264 )
1.338 * * [simplify]: iteration  3 :  5001  enodes  (cost  264 )
1.340 * * * [progress]: adding candidates to table
1.431 * [progress]: [Phase 3 of 3] Extracting.
1.431 * * [regime]: Finding splitpoints for: (#<alt (λ (t) (* (* t 3.9999999999999997e-32) (pow (sqrt t) 2)))> #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (* t (sqrt (sqrt 3.9999999999999997e-32))) (* t (sqrt (sqrt 3.9999999999999997e-32))))))> #<alt (λ (t) (* (* t 3.9999999999999997e-32) (pow t (/ 2 2))))> #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))> #<alt (λ (t) (* (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32))))> #<alt (λ (t) (* (* 3.9999999999999997e-32 (pow t 3/2)) (sqrt (pow t (/ 2 2)))))>)
1.432 * * * [regime-changes]: Trying 1 branch expressions: (t)
1.432 * * * * [regimes]: Trying to branch on t from (#<alt (λ (t) (* (* t 3.9999999999999997e-32) (pow (sqrt t) 2)))> #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (* t (sqrt (sqrt 3.9999999999999997e-32))) (* t (sqrt (sqrt 3.9999999999999997e-32))))))> #<alt (λ (t) (* (* t 3.9999999999999997e-32) (pow t (/ 2 2))))> #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))> #<alt (λ (t) (* (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32))))> #<alt (λ (t) (* (* 3.9999999999999997e-32 (pow t 3/2)) (sqrt (pow t (/ 2 2)))))>)
1.448 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
1.448 * [simplify]: Simplifying:
  (* (* t 3.9999999999999997e-32) (pow t (/ 2 2)))
1.449 * [simplify]: Sending expressions to egg_math:
 (* (* h0 h1) (pow h0 (/ 2 2)))
1.449 * * [simplify]: iteration  0 :  11  enodes  (cost  2 )
1.449 * * [simplify]: iteration  1 :  14  enodes  (cost  2 )
1.450 * * [simplify]: iteration  2 :  14  enodes  (cost  2 )
2.149 * [regime-testing]: Baseline error score: 0.3229153644205526
2.149 * [regime-testing]: Oracle error score: 0.02062757844730591
2.150 * [regime-testing]: End program error score: 0.3229153644205526
2.173 * [regime-testing]: Target error score: 50.57066044743424