4.389 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.080 * * * [progress]: [2/2] Setting up program.
0.082 * [progress]: [Phase 2 of 3] Improving.
0.082 * [simplify]: Simplifying:
  (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
0.082 * [simplify]: Sending expressions to egg_math:
 (acos (/ (- h0 (* h2 (* h1 h1))) (- (* h1 h1) h0)))
0.084 * * [simplify]: iteration  0 :  19  enodes  (cost  7 )
0.085 * * [simplify]: iteration  1 :  42  enodes  (cost  7 )
0.086 * * [simplify]: iteration  2 :  77  enodes  (cost  7 )
0.088 * * [simplify]: iteration  3 :  146  enodes  (cost  7 )
0.091 * * [simplify]: iteration  4 :  242  enodes  (cost  7 )
0.094 * * [simplify]: iteration  5 :  417  enodes  (cost  7 )
0.104 * * [simplify]: iteration  6 :  2789  enodes  (cost  7 )
0.175 * * [simplify]: iteration  7 :  5001  enodes  (cost  7 )
0.175 * * [progress]: iteration 1 / 4
0.175 * * * [progress]: picking best candidate
0.177 * * * * [pick]: Picked  #<alt (λ (v) (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))>
0.177 * * * [progress]: localizing error
0.184 * * * [progress]: generating rewritten candidates
0.184 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.185 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2)
0.202 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
0.230 * * * [progress]: generating series expansions
0.230 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.231 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
0.231 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in (v) around 0
0.231 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
0.231 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
0.231 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
0.231 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
0.231 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
0.231 * [backup-simplify]: Simplify 0 into 0
0.232 * [backup-simplify]: Simplify 0 into 0
0.232 * [backup-simplify]: Simplify 0 into 0
0.232 * [backup-simplify]: Simplify 0 into 0
0.232 * [backup-simplify]: Simplify 0 into 0
0.232 * [backup-simplify]: Simplify 0 into 0
0.232 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
0.232 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (* (/ 1 v) (/ 1 v)))) (- (* (/ 1 v) (/ 1 v)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
0.232 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in (v) around 0
0.232 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
0.232 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
0.232 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
0.233 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
0.233 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
0.233 * [backup-simplify]: Simplify 0 into 0
0.233 * [backup-simplify]: Simplify 0 into 0
0.233 * [backup-simplify]: Simplify 0 into 0
0.233 * [backup-simplify]: Simplify 0 into 0
0.233 * [backup-simplify]: Simplify 0 into 0
0.233 * [backup-simplify]: Simplify 0 into 0
0.233 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow (/ 1 v) 2)))) (- (/ 1 (pow (/ 1 v) 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
0.233 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (* (/ 1 (- v)) (/ 1 (- v))))) (- (* (/ 1 (- v)) (/ 1 (- v))) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
0.233 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in (v) around 0
0.233 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
0.234 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
0.234 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
0.234 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
0.234 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
0.234 * [backup-simplify]: Simplify 0 into 0
0.234 * [backup-simplify]: Simplify 0 into 0
0.234 * [backup-simplify]: Simplify 0 into 0
0.234 * [backup-simplify]: Simplify 0 into 0
0.234 * [backup-simplify]: Simplify 0 into 0
0.234 * [backup-simplify]: Simplify 0 into 0
0.235 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow (/ 1 (- v)) 2)))) (- (/ 1 (pow (/ 1 (- v)) 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
0.235 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2)
0.235 * [backup-simplify]: Simplify (* 5.0 (* v v)) into (* 5.0 (pow v 2))
0.235 * [approximate]: Taking taylor expansion of (* 5.0 (pow v 2)) in (v) around 0
0.235 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
0.235 * [taylor]: Taking taylor expansion of 5.0 in v
0.235 * [backup-simplify]: Simplify 5.0 into 5.0
0.235 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.235 * [taylor]: Taking taylor expansion of v in v
0.235 * [backup-simplify]: Simplify 0 into 0
0.235 * [backup-simplify]: Simplify 1 into 1
0.235 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
0.235 * [taylor]: Taking taylor expansion of 5.0 in v
0.235 * [backup-simplify]: Simplify 5.0 into 5.0
0.235 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.235 * [taylor]: Taking taylor expansion of v in v
0.235 * [backup-simplify]: Simplify 0 into 0
0.235 * [backup-simplify]: Simplify 1 into 1
0.235 * [backup-simplify]: Simplify (* 1 1) into 1
0.236 * [backup-simplify]: Simplify (* 5.0 1) into 5.0
0.236 * [backup-simplify]: Simplify 5.0 into 5.0
0.236 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.236 * [backup-simplify]: Simplify (+ (* 5.0 0) (* 0 1)) into 0
0.236 * [backup-simplify]: Simplify 0 into 0
0.237 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.237 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (* 0 1))) into 0
0.237 * [backup-simplify]: Simplify 0 into 0
0.238 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.239 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.239 * [backup-simplify]: Simplify 0 into 0
0.239 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.240 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.240 * [backup-simplify]: Simplify 0 into 0
0.240 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.241 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.241 * [backup-simplify]: Simplify 0 into 0
0.242 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.243 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.243 * [backup-simplify]: Simplify 0 into 0
0.243 * [backup-simplify]: Simplify (* 5.0 (pow v 2)) into (* 5.0 (pow v 2))
0.243 * [backup-simplify]: Simplify (* 5.0 (* (/ 1 v) (/ 1 v))) into (/ 5.0 (pow v 2))
0.243 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
0.243 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
0.243 * [taylor]: Taking taylor expansion of 5.0 in v
0.243 * [backup-simplify]: Simplify 5.0 into 5.0
0.243 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.243 * [taylor]: Taking taylor expansion of v in v
0.243 * [backup-simplify]: Simplify 0 into 0
0.243 * [backup-simplify]: Simplify 1 into 1
0.243 * [backup-simplify]: Simplify (* 1 1) into 1
0.244 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
0.244 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
0.244 * [taylor]: Taking taylor expansion of 5.0 in v
0.244 * [backup-simplify]: Simplify 5.0 into 5.0
0.244 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.244 * [taylor]: Taking taylor expansion of v in v
0.244 * [backup-simplify]: Simplify 0 into 0
0.244 * [backup-simplify]: Simplify 1 into 1
0.244 * [backup-simplify]: Simplify (* 1 1) into 1
0.244 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
0.244 * [backup-simplify]: Simplify 5.0 into 5.0
0.245 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.245 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)))) into 0
0.245 * [backup-simplify]: Simplify 0 into 0
0.246 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.246 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.246 * [backup-simplify]: Simplify 0 into 0
0.247 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.247 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.247 * [backup-simplify]: Simplify 0 into 0
0.248 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.248 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.248 * [backup-simplify]: Simplify 0 into 0
0.249 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.249 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.249 * [backup-simplify]: Simplify 0 into 0
0.250 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.251 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.251 * [backup-simplify]: Simplify 0 into 0
0.251 * [backup-simplify]: Simplify (* 5.0 (pow (/ 1 (/ 1 v)) 2)) into (* 5.0 (pow v 2))
0.251 * [backup-simplify]: Simplify (* 5.0 (* (/ 1 (- v)) (/ 1 (- v)))) into (/ 5.0 (pow v 2))
0.251 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
0.251 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
0.251 * [taylor]: Taking taylor expansion of 5.0 in v
0.251 * [backup-simplify]: Simplify 5.0 into 5.0
0.251 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.251 * [taylor]: Taking taylor expansion of v in v
0.251 * [backup-simplify]: Simplify 0 into 0
0.251 * [backup-simplify]: Simplify 1 into 1
0.251 * [backup-simplify]: Simplify (* 1 1) into 1
0.252 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
0.252 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
0.252 * [taylor]: Taking taylor expansion of 5.0 in v
0.252 * [backup-simplify]: Simplify 5.0 into 5.0
0.252 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.252 * [taylor]: Taking taylor expansion of v in v
0.252 * [backup-simplify]: Simplify 0 into 0
0.252 * [backup-simplify]: Simplify 1 into 1
0.252 * [backup-simplify]: Simplify (* 1 1) into 1
0.252 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
0.252 * [backup-simplify]: Simplify 5.0 into 5.0
0.253 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.253 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)))) into 0
0.253 * [backup-simplify]: Simplify 0 into 0
0.254 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.254 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.254 * [backup-simplify]: Simplify 0 into 0
0.255 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.255 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.255 * [backup-simplify]: Simplify 0 into 0
0.256 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.256 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.256 * [backup-simplify]: Simplify 0 into 0
0.257 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.257 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.258 * [backup-simplify]: Simplify 0 into 0
0.258 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.259 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.259 * [backup-simplify]: Simplify 0 into 0
0.259 * [backup-simplify]: Simplify (* 5.0 (pow (/ 1 (/ 1 (- v))) 2)) into (* 5.0 (pow v 2))
0.259 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
0.259 * [backup-simplify]: Simplify (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)) into (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))
0.259 * [approximate]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)) in (v) around 0
0.259 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)) in v
0.259 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (pow v 2))) in v
0.259 * [taylor]: Taking taylor expansion of 1.0 in v
0.259 * [backup-simplify]: Simplify 1.0 into 1.0
0.259 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
0.259 * [taylor]: Taking taylor expansion of 5.0 in v
0.259 * [backup-simplify]: Simplify 5.0 into 5.0
0.259 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.259 * [taylor]: Taking taylor expansion of v in v
0.259 * [backup-simplify]: Simplify 0 into 0
0.259 * [backup-simplify]: Simplify 1 into 1
0.259 * [taylor]: Taking taylor expansion of (- (pow v 2) 1.0) in v
0.260 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.260 * [taylor]: Taking taylor expansion of v in v
0.260 * [backup-simplify]: Simplify 0 into 0
0.260 * [backup-simplify]: Simplify 1 into 1
0.260 * [taylor]: Taking taylor expansion of 1.0 in v
0.260 * [backup-simplify]: Simplify 1.0 into 1.0
0.260 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
0.260 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.261 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
0.261 * [backup-simplify]: Simplify (/ 1.0 (- 1.0)) into -1.0
0.261 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)) in v
0.261 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (pow v 2))) in v
0.261 * [taylor]: Taking taylor expansion of 1.0 in v
0.261 * [backup-simplify]: Simplify 1.0 into 1.0
0.261 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
0.261 * [taylor]: Taking taylor expansion of 5.0 in v
0.261 * [backup-simplify]: Simplify 5.0 into 5.0
0.261 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.261 * [taylor]: Taking taylor expansion of v in v
0.261 * [backup-simplify]: Simplify 0 into 0
0.261 * [backup-simplify]: Simplify 1 into 1
0.261 * [taylor]: Taking taylor expansion of (- (pow v 2) 1.0) in v
0.261 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.261 * [taylor]: Taking taylor expansion of v in v
0.261 * [backup-simplify]: Simplify 0 into 0
0.261 * [backup-simplify]: Simplify 1 into 1
0.261 * [taylor]: Taking taylor expansion of 1.0 in v
0.261 * [backup-simplify]: Simplify 1.0 into 1.0
0.262 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
0.262 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.262 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
0.263 * [backup-simplify]: Simplify (/ 1.0 (- 1.0)) into -1.0
0.263 * [backup-simplify]: Simplify -1.0 into -1.0
0.263 * [backup-simplify]: Simplify (+ 0 0) into 0
0.263 * [backup-simplify]: Simplify (- 0) into 0
0.263 * [backup-simplify]: Simplify (+ 0 0) into 0
0.264 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))))) into 0
0.264 * [backup-simplify]: Simplify 0 into 0
0.264 * [backup-simplify]: Simplify (* 1 1) into 1
0.264 * [backup-simplify]: Simplify (* 5.0 1) into 5.0
0.265 * [backup-simplify]: Simplify (- 5.0) into (- 5.0)
0.265 * [backup-simplify]: Simplify (+ 0 (- 5.0)) into (- 5.0)
0.265 * [backup-simplify]: Simplify (* 1 1) into 1
0.266 * [backup-simplify]: Simplify (- 0) into 0
0.266 * [backup-simplify]: Simplify (+ 1 0) into 1
0.269 * [backup-simplify]: Simplify (- (/ (- 5.0) (- 1.0)) (+ (* -1.0 (/ 1 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into 4.0
0.269 * [backup-simplify]: Simplify 4.0 into 4.0
0.269 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.270 * [backup-simplify]: Simplify (+ (* 5.0 0) (* 0 1)) into 0
0.270 * [backup-simplify]: Simplify (- 0) into 0
0.270 * [backup-simplify]: Simplify (+ 0 0) into 0
0.271 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.271 * [backup-simplify]: Simplify (- 0) into 0
0.271 * [backup-simplify]: Simplify (+ 0 0) into 0
0.272 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))) (* 0 (/ 1 (- 1.0))) (* 4.0 (/ 0 (- 1.0))))) into 0
0.272 * [backup-simplify]: Simplify 0 into 0
0.272 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.273 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (* 0 1))) into 0
0.273 * [backup-simplify]: Simplify (- 0) into 0
0.273 * [backup-simplify]: Simplify (+ 0 0) into 0
0.274 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.274 * [backup-simplify]: Simplify (- 0) into 0
0.274 * [backup-simplify]: Simplify (+ 0 0) into 0
0.278 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))) (* 0 (/ 0 (- 1.0))) (* 4.0 (/ 1 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into 4.0
0.278 * [backup-simplify]: Simplify 4.0 into 4.0
0.278 * [backup-simplify]: Simplify (+ (* 4.0 (pow v 4)) (+ (* 4.0 (pow v 2)) -1.0)) into (- (+ (* 4.0 (pow v 2)) (* 4.0 (pow v 4))) 1.0)
0.278 * [backup-simplify]: Simplify (/ (- 1.0 (* 5.0 (* (/ 1 v) (/ 1 v)))) (- (* (/ 1 v) (/ 1 v)) 1.0)) into (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))
0.278 * [approximate]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)) in (v) around 0
0.278 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)) in v
0.278 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in v
0.278 * [taylor]: Taking taylor expansion of 1.0 in v
0.278 * [backup-simplify]: Simplify 1.0 into 1.0
0.278 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in v
0.278 * [taylor]: Taking taylor expansion of 5.0 in v
0.278 * [backup-simplify]: Simplify 5.0 into 5.0
0.278 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.278 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.278 * [taylor]: Taking taylor expansion of v in v
0.278 * [backup-simplify]: Simplify 0 into 0
0.278 * [backup-simplify]: Simplify 1 into 1
0.279 * [backup-simplify]: Simplify (* 1 1) into 1
0.279 * [backup-simplify]: Simplify (/ 1 1) into 1
0.279 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1.0) in v
0.279 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.279 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.279 * [taylor]: Taking taylor expansion of v in v
0.279 * [backup-simplify]: Simplify 0 into 0
0.279 * [backup-simplify]: Simplify 1 into 1
0.279 * [backup-simplify]: Simplify (* 1 1) into 1
0.279 * [backup-simplify]: Simplify (/ 1 1) into 1
0.279 * [taylor]: Taking taylor expansion of 1.0 in v
0.279 * [backup-simplify]: Simplify 1.0 into 1.0
0.280 * [backup-simplify]: Simplify (* 5.0 1) into 5.0
0.280 * [backup-simplify]: Simplify (- 5.0) into (- 5.0)
0.280 * [backup-simplify]: Simplify (+ 0 (- 5.0)) into (- 5.0)
0.281 * [backup-simplify]: Simplify (+ 1 0) into 1
0.281 * [backup-simplify]: Simplify (/ (- 5.0) 1) into -5.0
0.281 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)) in v
0.281 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in v
0.281 * [taylor]: Taking taylor expansion of 1.0 in v
0.281 * [backup-simplify]: Simplify 1.0 into 1.0
0.281 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in v
0.281 * [taylor]: Taking taylor expansion of 5.0 in v
0.281 * [backup-simplify]: Simplify 5.0 into 5.0
0.281 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.281 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.281 * [taylor]: Taking taylor expansion of v in v
0.281 * [backup-simplify]: Simplify 0 into 0
0.281 * [backup-simplify]: Simplify 1 into 1
0.282 * [backup-simplify]: Simplify (* 1 1) into 1
0.282 * [backup-simplify]: Simplify (/ 1 1) into 1
0.282 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1.0) in v
0.282 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.282 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.282 * [taylor]: Taking taylor expansion of v in v
0.282 * [backup-simplify]: Simplify 0 into 0
0.282 * [backup-simplify]: Simplify 1 into 1
0.282 * [backup-simplify]: Simplify (* 1 1) into 1
0.283 * [backup-simplify]: Simplify (/ 1 1) into 1
0.283 * [taylor]: Taking taylor expansion of 1.0 in v
0.283 * [backup-simplify]: Simplify 1.0 into 1.0
0.283 * [backup-simplify]: Simplify (* 5.0 1) into 5.0
0.283 * [backup-simplify]: Simplify (- 5.0) into (- 5.0)
0.284 * [backup-simplify]: Simplify (+ 0 (- 5.0)) into (- 5.0)
0.284 * [backup-simplify]: Simplify (+ 1 0) into 1
0.284 * [backup-simplify]: Simplify (/ (- 5.0) 1) into -5.0
0.284 * [backup-simplify]: Simplify -5.0 into -5.0
0.285 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.285 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.286 * [backup-simplify]: Simplify (+ (* 5.0 0) (* 0 1)) into 0
0.286 * [backup-simplify]: Simplify (- 0) into 0
0.286 * [backup-simplify]: Simplify (+ 0 0) into 0
0.286 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.287 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.287 * [backup-simplify]: Simplify (+ 0 0) into 0
0.287 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -5.0 (/ 0 1)))) into 0
0.287 * [backup-simplify]: Simplify 0 into 0
0.288 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.288 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.289 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (* 0 1))) into 0
0.289 * [backup-simplify]: Simplify (- 0) into 0
0.289 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
0.290 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.290 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.290 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.291 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
0.293 * [backup-simplify]: Simplify (- (/ 1.0 1) (+ (* -5.0 (/ (- 1.0) 1)) (* 0 (/ 0 1)))) into (- 4.0)
0.294 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
0.294 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.295 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.295 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.295 * [backup-simplify]: Simplify (- 0) into 0
0.296 * [backup-simplify]: Simplify (+ 0 0) into 0
0.296 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.297 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.297 * [backup-simplify]: Simplify (- 0) into 0
0.297 * [backup-simplify]: Simplify (+ 0 0) into 0
0.298 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -5.0 (/ 0 1)) (* 0 (/ (- 1.0) 1)) (* (- 4.0) (/ 0 1)))) into 0
0.298 * [backup-simplify]: Simplify 0 into 0
0.299 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.299 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.302 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.302 * [backup-simplify]: Simplify (- 0) into 0
0.302 * [backup-simplify]: Simplify (+ 0 0) into 0
0.303 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.304 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.304 * [backup-simplify]: Simplify (- 0) into 0
0.304 * [backup-simplify]: Simplify (+ 0 0) into 0
0.308 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -5.0 (/ 0 1)) (* 0 (/ 0 1)) (* (- 4.0) (/ (- 1.0) 1)) (* 0 (/ 0 1)))) into (- 4.0)
0.308 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
0.309 * [backup-simplify]: Simplify (+ (* (- 4.0) (pow (/ 1 v) 4)) (+ (* (- 4.0) (pow (/ 1 v) 2)) -5.0)) into (- (+ (* 4.0 (/ 1 (pow v 2))) (+ (* 4.0 (/ 1 (pow v 4))) 5.0)))
0.309 * [backup-simplify]: Simplify (/ (- 1.0 (* 5.0 (* (/ 1 (- v)) (/ 1 (- v))))) (- (* (/ 1 (- v)) (/ 1 (- v))) 1.0)) into (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))
0.309 * [approximate]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)) in (v) around 0
0.309 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)) in v
0.309 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in v
0.309 * [taylor]: Taking taylor expansion of 1.0 in v
0.309 * [backup-simplify]: Simplify 1.0 into 1.0
0.309 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in v
0.309 * [taylor]: Taking taylor expansion of 5.0 in v
0.309 * [backup-simplify]: Simplify 5.0 into 5.0
0.309 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.309 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.309 * [taylor]: Taking taylor expansion of v in v
0.309 * [backup-simplify]: Simplify 0 into 0
0.309 * [backup-simplify]: Simplify 1 into 1
0.309 * [backup-simplify]: Simplify (* 1 1) into 1
0.309 * [backup-simplify]: Simplify (/ 1 1) into 1
0.310 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1.0) in v
0.310 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.310 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.310 * [taylor]: Taking taylor expansion of v in v
0.310 * [backup-simplify]: Simplify 0 into 0
0.310 * [backup-simplify]: Simplify 1 into 1
0.310 * [backup-simplify]: Simplify (* 1 1) into 1
0.310 * [backup-simplify]: Simplify (/ 1 1) into 1
0.310 * [taylor]: Taking taylor expansion of 1.0 in v
0.310 * [backup-simplify]: Simplify 1.0 into 1.0
0.310 * [backup-simplify]: Simplify (* 5.0 1) into 5.0
0.311 * [backup-simplify]: Simplify (- 5.0) into (- 5.0)
0.311 * [backup-simplify]: Simplify (+ 0 (- 5.0)) into (- 5.0)
0.311 * [backup-simplify]: Simplify (+ 1 0) into 1
0.312 * [backup-simplify]: Simplify (/ (- 5.0) 1) into -5.0
0.312 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)) in v
0.312 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in v
0.312 * [taylor]: Taking taylor expansion of 1.0 in v
0.312 * [backup-simplify]: Simplify 1.0 into 1.0
0.312 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in v
0.312 * [taylor]: Taking taylor expansion of 5.0 in v
0.312 * [backup-simplify]: Simplify 5.0 into 5.0
0.312 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.312 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.312 * [taylor]: Taking taylor expansion of v in v
0.312 * [backup-simplify]: Simplify 0 into 0
0.312 * [backup-simplify]: Simplify 1 into 1
0.312 * [backup-simplify]: Simplify (* 1 1) into 1
0.312 * [backup-simplify]: Simplify (/ 1 1) into 1
0.312 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1.0) in v
0.312 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.312 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.312 * [taylor]: Taking taylor expansion of v in v
0.312 * [backup-simplify]: Simplify 0 into 0
0.312 * [backup-simplify]: Simplify 1 into 1
0.313 * [backup-simplify]: Simplify (* 1 1) into 1
0.313 * [backup-simplify]: Simplify (/ 1 1) into 1
0.313 * [taylor]: Taking taylor expansion of 1.0 in v
0.313 * [backup-simplify]: Simplify 1.0 into 1.0
0.313 * [backup-simplify]: Simplify (* 5.0 1) into 5.0
0.313 * [backup-simplify]: Simplify (- 5.0) into (- 5.0)
0.314 * [backup-simplify]: Simplify (+ 0 (- 5.0)) into (- 5.0)
0.314 * [backup-simplify]: Simplify (+ 1 0) into 1
0.315 * [backup-simplify]: Simplify (/ (- 5.0) 1) into -5.0
0.315 * [backup-simplify]: Simplify -5.0 into -5.0
0.315 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.315 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.316 * [backup-simplify]: Simplify (+ (* 5.0 0) (* 0 1)) into 0
0.316 * [backup-simplify]: Simplify (- 0) into 0
0.316 * [backup-simplify]: Simplify (+ 0 0) into 0
0.317 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.317 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.317 * [backup-simplify]: Simplify (+ 0 0) into 0
0.318 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -5.0 (/ 0 1)))) into 0
0.318 * [backup-simplify]: Simplify 0 into 0
0.318 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.319 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.319 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (* 0 1))) into 0
0.319 * [backup-simplify]: Simplify (- 0) into 0
0.319 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
0.320 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.320 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.321 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.321 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
0.324 * [backup-simplify]: Simplify (- (/ 1.0 1) (+ (* -5.0 (/ (- 1.0) 1)) (* 0 (/ 0 1)))) into (- 4.0)
0.324 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
0.324 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.325 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.326 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.326 * [backup-simplify]: Simplify (- 0) into 0
0.326 * [backup-simplify]: Simplify (+ 0 0) into 0
0.327 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.327 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.327 * [backup-simplify]: Simplify (- 0) into 0
0.327 * [backup-simplify]: Simplify (+ 0 0) into 0
0.328 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -5.0 (/ 0 1)) (* 0 (/ (- 1.0) 1)) (* (- 4.0) (/ 0 1)))) into 0
0.328 * [backup-simplify]: Simplify 0 into 0
0.329 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.329 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.330 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.330 * [backup-simplify]: Simplify (- 0) into 0
0.330 * [backup-simplify]: Simplify (+ 0 0) into 0
0.331 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.332 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.332 * [backup-simplify]: Simplify (- 0) into 0
0.332 * [backup-simplify]: Simplify (+ 0 0) into 0
0.336 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -5.0 (/ 0 1)) (* 0 (/ 0 1)) (* (- 4.0) (/ (- 1.0) 1)) (* 0 (/ 0 1)))) into (- 4.0)
0.336 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
0.337 * [backup-simplify]: Simplify (+ (* (- 4.0) (pow (/ 1 (- v)) 4)) (+ (* (- 4.0) (pow (/ 1 (- v)) 2)) -5.0)) into (- (+ (* 4.0 (/ 1 (pow v 2))) (+ (* 4.0 (/ 1 (pow v 4))) 5.0)))
0.337 * * * [progress]: simplifying candidates
0.338 * [simplify]: Simplifying:
  (/ PI 2)
  (asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (exp (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (* (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (* (* (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (* 5.0 (* v v))
  (* 5.0 (* v v))
  (+ (log 5.0) (+ (log v) (log v)))
  (+ (log 5.0) (log (* v v)))
  (log (* 5.0 (* v v)))
  (exp (* 5.0 (* v v)))
  (* (* (* 5.0 5.0) 5.0) (* (* (* v v) v) (* (* v v) v)))
  (* (* (* 5.0 5.0) 5.0) (* (* (* v v) (* v v)) (* v v)))
  (* (cbrt (* 5.0 (* v v))) (cbrt (* 5.0 (* v v))))
  (cbrt (* 5.0 (* v v)))
  (* (* (* 5.0 (* v v)) (* 5.0 (* v v))) (* 5.0 (* v v)))
  (sqrt (* 5.0 (* v v)))
  (sqrt (* 5.0 (* v v)))
  (* (sqrt 5.0) v)
  (* (sqrt 5.0) v)
  (* 5.0 v)
  (* (cbrt 5.0) (* v v))
  (* (sqrt 5.0) (* v v))
  (* 5.0 (* v v))
  (- (log (- 1.0 (* 5.0 (* v v)))) (log (- (* v v) 1.0)))
  (log (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (exp (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (/ (* (* (- 1.0 (* 5.0 (* v v))) (- 1.0 (* 5.0 (* v v)))) (- 1.0 (* 5.0 (* v v)))) (* (* (- (* v v) 1.0) (- (* v v) 1.0)) (- (* v v) 1.0)))
  (* (cbrt (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) (cbrt (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (cbrt (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (* (* (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)) (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (sqrt (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (sqrt (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (- (- 1.0 (* 5.0 (* v v))))
  (- (- (* v v) 1.0))
  (/ 1.0 (- (* v v) 1.0))
  (/ (* 5.0 (* v v)) (- (* v v) 1.0))
  (/ (* (cbrt (- 1.0 (* 5.0 (* v v)))) (cbrt (- 1.0 (* 5.0 (* v v))))) (* (cbrt (- (* v v) 1.0)) (cbrt (- (* v v) 1.0))))
  (/ (cbrt (- 1.0 (* 5.0 (* v v)))) (cbrt (- (* v v) 1.0)))
  (/ (* (cbrt (- 1.0 (* 5.0 (* v v)))) (cbrt (- 1.0 (* 5.0 (* v v))))) (sqrt (- (* v v) 1.0)))
  (/ (cbrt (- 1.0 (* 5.0 (* v v)))) (sqrt (- (* v v) 1.0)))
  (/ (* (cbrt (- 1.0 (* 5.0 (* v v)))) (cbrt (- 1.0 (* 5.0 (* v v))))) 1)
  (/ (cbrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))
  (/ (* (cbrt (- 1.0 (* 5.0 (* v v)))) (cbrt (- 1.0 (* 5.0 (* v v))))) (+ v (sqrt 1.0)))
  (/ (cbrt (- 1.0 (* 5.0 (* v v)))) (- v (sqrt 1.0)))
  (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (* (cbrt (- (* v v) 1.0)) (cbrt (- (* v v) 1.0))))
  (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (cbrt (- (* v v) 1.0)))
  (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (sqrt (- (* v v) 1.0)))
  (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (sqrt (- (* v v) 1.0)))
  (/ (sqrt (- 1.0 (* 5.0 (* v v)))) 1)
  (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))
  (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (+ v (sqrt 1.0)))
  (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- v (sqrt 1.0)))
  (/ 1 (* (cbrt (- (* v v) 1.0)) (cbrt (- (* v v) 1.0))))
  (/ (- 1.0 (* 5.0 (* v v))) (cbrt (- (* v v) 1.0)))
  (/ 1 (sqrt (- (* v v) 1.0)))
  (/ (- 1.0 (* 5.0 (* v v))) (sqrt (- (* v v) 1.0)))
  (/ 1 1)
  (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))
  (/ 1 (+ v (sqrt 1.0)))
  (/ (- 1.0 (* 5.0 (* v v))) (- v (sqrt 1.0)))
  (/ 1 (- (* v v) 1.0))
  (/ (- (* v v) 1.0) (- 1.0 (* 5.0 (* v v))))
  (/ (- 1.0 (* 5.0 (* v v))) (* (cbrt (- (* v v) 1.0)) (cbrt (- (* v v) 1.0))))
  (/ (- 1.0 (* 5.0 (* v v))) (sqrt (- (* v v) 1.0)))
  (/ (- 1.0 (* 5.0 (* v v))) 1)
  (/ (- 1.0 (* 5.0 (* v v))) (+ v (sqrt 1.0)))
  (/ (- (* v v) 1.0) (cbrt (- 1.0 (* 5.0 (* v v)))))
  (/ (- (* v v) 1.0) (sqrt (- 1.0 (* 5.0 (* v v)))))
  (/ (- (* v v) 1.0) (- 1.0 (* 5.0 (* v v))))
  (/ (- 1.0 (* 5.0 (* v v))) (- (pow (* v v) 3) (pow 1.0 3)))
  (/ (- 1.0 (* 5.0 (* v v))) (- (* (* v v) (* v v)) (* 1.0 1.0)))
  (* (- (* v v) 1.0) (+ (* 1.0 1.0) (+ (* (* 5.0 (* v v)) (* 5.0 (* v v))) (* 1.0 (* 5.0 (* v v))))))
  (* (- (* v v) 1.0) (+ 1.0 (* 5.0 (* v v))))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (* 5.0 (pow v 2))
  (* 5.0 (pow v 2))
  (* 5.0 (pow v 2))
  (- (+ (* 4.0 (pow v 2)) (* 4.0 (pow v 4))) 1.0)
  (- (+ (* 4.0 (/ 1 (pow v 2))) (+ (* 4.0 (/ 1 (pow v 4))) 5.0)))
  (- (+ (* 4.0 (/ 1 (pow v 2))) (+ (* 4.0 (/ 1 (pow v 4))) 5.0)))
0.338 * [simplify]: Sending expressions to egg_math:
 (/ h0 2)
 (asin (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1)))
 (log (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1))))
 (exp (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1))))
 (* (cbrt (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1)))) (cbrt (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1)))))
 (cbrt (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1))))
 (* (* (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1))) (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1)))) (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1))))
 (sqrt (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1))))
 (sqrt (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1))))
 (* h3 (* h2 h2))
 (* h3 (* h2 h2))
 (+ (log h3) (+ (log h2) (log h2)))
 (+ (log h3) (log (* h2 h2)))
 (log (* h3 (* h2 h2)))
 (exp (* h3 (* h2 h2)))
 (* (* (* h3 h3) h3) (* (* (* h2 h2) h2) (* (* h2 h2) h2)))
 (* (* (* h3 h3) h3) (* (* (* h2 h2) (* h2 h2)) (* h2 h2)))
 (* (cbrt (* h3 (* h2 h2))) (cbrt (* h3 (* h2 h2))))
 (cbrt (* h3 (* h2 h2)))
 (* (* (* h3 (* h2 h2)) (* h3 (* h2 h2))) (* h3 (* h2 h2)))
 (sqrt (* h3 (* h2 h2)))
 (sqrt (* h3 (* h2 h2)))
 (* (sqrt h3) h2)
 (* (sqrt h3) h2)
 (* h3 h2)
 (* (cbrt h3) (* h2 h2))
 (* (sqrt h3) (* h2 h2))
 (* h3 (* h2 h2))
 (- (log (- h1 (* h3 (* h2 h2)))) (log (- (* h2 h2) h1)))
 (log (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1)))
 (exp (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1)))
 (/ (* (* (- h1 (* h3 (* h2 h2))) (- h1 (* h3 (* h2 h2)))) (- h1 (* h3 (* h2 h2)))) (* (* (- (* h2 h2) h1) (- (* h2 h2) h1)) (- (* h2 h2) h1)))
 (* (cbrt (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1))) (cbrt (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1))))
 (cbrt (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1)))
 (* (* (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1)) (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1))) (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1)))
 (sqrt (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1)))
 (sqrt (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1)))
 (- (- h1 (* h3 (* h2 h2))))
 (- (- (* h2 h2) h1))
 (/ h1 (- (* h2 h2) h1))
 (/ (* h3 (* h2 h2)) (- (* h2 h2) h1))
 (/ (* (cbrt (- h1 (* h3 (* h2 h2)))) (cbrt (- h1 (* h3 (* h2 h2))))) (* (cbrt (- (* h2 h2) h1)) (cbrt (- (* h2 h2) h1))))
 (/ (cbrt (- h1 (* h3 (* h2 h2)))) (cbrt (- (* h2 h2) h1)))
 (/ (* (cbrt (- h1 (* h3 (* h2 h2)))) (cbrt (- h1 (* h3 (* h2 h2))))) (sqrt (- (* h2 h2) h1)))
 (/ (cbrt (- h1 (* h3 (* h2 h2)))) (sqrt (- (* h2 h2) h1)))
 (/ (* (cbrt (- h1 (* h3 (* h2 h2)))) (cbrt (- h1 (* h3 (* h2 h2))))) 1)
 (/ (cbrt (- h1 (* h3 (* h2 h2)))) (- (* h2 h2) h1))
 (/ (* (cbrt (- h1 (* h3 (* h2 h2)))) (cbrt (- h1 (* h3 (* h2 h2))))) (+ h2 (sqrt h1)))
 (/ (cbrt (- h1 (* h3 (* h2 h2)))) (- h2 (sqrt h1)))
 (/ (sqrt (- h1 (* h3 (* h2 h2)))) (* (cbrt (- (* h2 h2) h1)) (cbrt (- (* h2 h2) h1))))
 (/ (sqrt (- h1 (* h3 (* h2 h2)))) (cbrt (- (* h2 h2) h1)))
 (/ (sqrt (- h1 (* h3 (* h2 h2)))) (sqrt (- (* h2 h2) h1)))
 (/ (sqrt (- h1 (* h3 (* h2 h2)))) (sqrt (- (* h2 h2) h1)))
 (/ (sqrt (- h1 (* h3 (* h2 h2)))) 1)
 (/ (sqrt (- h1 (* h3 (* h2 h2)))) (- (* h2 h2) h1))
 (/ (sqrt (- h1 (* h3 (* h2 h2)))) (+ h2 (sqrt h1)))
 (/ (sqrt (- h1 (* h3 (* h2 h2)))) (- h2 (sqrt h1)))
 (/ 1 (* (cbrt (- (* h2 h2) h1)) (cbrt (- (* h2 h2) h1))))
 (/ (- h1 (* h3 (* h2 h2))) (cbrt (- (* h2 h2) h1)))
 (/ 1 (sqrt (- (* h2 h2) h1)))
 (/ (- h1 (* h3 (* h2 h2))) (sqrt (- (* h2 h2) h1)))
 (/ 1 1)
 (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1))
 (/ 1 (+ h2 (sqrt h1)))
 (/ (- h1 (* h3 (* h2 h2))) (- h2 (sqrt h1)))
 (/ 1 (- (* h2 h2) h1))
 (/ (- (* h2 h2) h1) (- h1 (* h3 (* h2 h2))))
 (/ (- h1 (* h3 (* h2 h2))) (* (cbrt (- (* h2 h2) h1)) (cbrt (- (* h2 h2) h1))))
 (/ (- h1 (* h3 (* h2 h2))) (sqrt (- (* h2 h2) h1)))
 (/ (- h1 (* h3 (* h2 h2))) 1)
 (/ (- h1 (* h3 (* h2 h2))) (+ h2 (sqrt h1)))
 (/ (- (* h2 h2) h1) (cbrt (- h1 (* h3 (* h2 h2)))))
 (/ (- (* h2 h2) h1) (sqrt (- h1 (* h3 (* h2 h2)))))
 (/ (- (* h2 h2) h1) (- h1 (* h3 (* h2 h2))))
 (/ (- h1 (* h3 (* h2 h2))) (- (pow (* h2 h2) 3) (pow h1 3)))
 (/ (- h1 (* h3 (* h2 h2))) (- (* (* h2 h2) (* h2 h2)) (* h1 h1)))
 (* (- (* h2 h2) h1) (+ (* h1 h1) (+ (* (* h3 (* h2 h2)) (* h3 (* h2 h2))) (* h1 (* h3 (* h2 h2))))))
 (* (- (* h2 h2) h1) (+ h1 (* h3 (* h2 h2))))
 (acos (/ (- h1 (* h3 (pow h2 2))) (- (pow h2 2) h1)))
 (acos (/ (- h1 (* h3 (pow h2 2))) (- (pow h2 2) h1)))
 (acos (/ (- h1 (* h3 (pow h2 2))) (- (pow h2 2) h1)))
 (* h3 (pow h2 2))
 (* h3 (pow h2 2))
 (* h3 (pow h2 2))
 (- (+ (* h4 (pow h2 2)) (* h4 (pow h2 4))) h1)
 (- (+ (* h4 (/ 1 (pow h2 2))) (+ (* h4 (/ 1 (pow h2 4))) h3)))
 (- (+ (* h4 (/ 1 (pow h2 2))) (+ (* h4 (/ 1 (pow h2 4))) h3)))
0.342 * * [simplify]: iteration  0 :  336  enodes  (cost  587 )
0.348 * * [simplify]: iteration  1 :  1261  enodes  (cost  535 )
0.370 * * [simplify]: iteration  2 :  5002  enodes  (cost  531 )
0.373 * * * [progress]: adding candidates to table
0.516 * * [progress]: iteration 2 / 4
0.516 * * * [progress]: picking best candidate
0.523 * * * * [pick]: Picked  #<alt (λ (v) (exp (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))>
0.523 * * * [progress]: localizing error
0.535 * * * [progress]: generating rewritten candidates
0.535 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
0.536 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2)
0.555 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
0.558 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.561 * * * [progress]: generating series expansions
0.561 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
0.561 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
0.561 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in (v) around 0
0.561 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
0.561 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
0.561 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
0.561 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
0.562 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
0.562 * [backup-simplify]: Simplify 0 into 0
0.562 * [backup-simplify]: Simplify 0 into 0
0.562 * [backup-simplify]: Simplify 0 into 0
0.562 * [backup-simplify]: Simplify 0 into 0
0.562 * [backup-simplify]: Simplify 0 into 0
0.562 * [backup-simplify]: Simplify 0 into 0
0.562 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
0.562 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (* (/ 1 v) (/ 1 v)))) (- (* (/ 1 v) (/ 1 v)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
0.562 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in (v) around 0
0.562 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
0.562 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
0.562 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
0.563 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
0.563 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
0.563 * [backup-simplify]: Simplify 0 into 0
0.563 * [backup-simplify]: Simplify 0 into 0
0.563 * [backup-simplify]: Simplify 0 into 0
0.563 * [backup-simplify]: Simplify 0 into 0
0.563 * [backup-simplify]: Simplify 0 into 0
0.563 * [backup-simplify]: Simplify 0 into 0
0.563 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow (/ 1 v) 2)))) (- (/ 1 (pow (/ 1 v) 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
0.564 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (* (/ 1 (- v)) (/ 1 (- v))))) (- (* (/ 1 (- v)) (/ 1 (- v))) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
0.564 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in (v) around 0
0.564 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
0.564 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
0.564 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
0.564 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
0.564 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
0.564 * [backup-simplify]: Simplify 0 into 0
0.564 * [backup-simplify]: Simplify 0 into 0
0.564 * [backup-simplify]: Simplify 0 into 0
0.564 * [backup-simplify]: Simplify 0 into 0
0.564 * [backup-simplify]: Simplify 0 into 0
0.564 * [backup-simplify]: Simplify 0 into 0
0.565 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow (/ 1 (- v)) 2)))) (- (/ 1 (pow (/ 1 (- v)) 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
0.565 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2)
0.565 * [backup-simplify]: Simplify (* 5.0 (* v v)) into (* 5.0 (pow v 2))
0.565 * [approximate]: Taking taylor expansion of (* 5.0 (pow v 2)) in (v) around 0
0.565 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
0.565 * [taylor]: Taking taylor expansion of 5.0 in v
0.565 * [backup-simplify]: Simplify 5.0 into 5.0
0.565 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.565 * [taylor]: Taking taylor expansion of v in v
0.565 * [backup-simplify]: Simplify 0 into 0
0.565 * [backup-simplify]: Simplify 1 into 1
0.565 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
0.565 * [taylor]: Taking taylor expansion of 5.0 in v
0.565 * [backup-simplify]: Simplify 5.0 into 5.0
0.565 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.565 * [taylor]: Taking taylor expansion of v in v
0.565 * [backup-simplify]: Simplify 0 into 0
0.565 * [backup-simplify]: Simplify 1 into 1
0.566 * [backup-simplify]: Simplify (* 1 1) into 1
0.566 * [backup-simplify]: Simplify (* 5.0 1) into 5.0
0.566 * [backup-simplify]: Simplify 5.0 into 5.0
0.566 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.567 * [backup-simplify]: Simplify (+ (* 5.0 0) (* 0 1)) into 0
0.567 * [backup-simplify]: Simplify 0 into 0
0.567 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.568 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (* 0 1))) into 0
0.568 * [backup-simplify]: Simplify 0 into 0
0.568 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.569 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.569 * [backup-simplify]: Simplify 0 into 0
0.569 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.570 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.570 * [backup-simplify]: Simplify 0 into 0
0.571 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.571 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 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 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.573 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.573 * [backup-simplify]: Simplify 0 into 0
0.573 * [backup-simplify]: Simplify (* 5.0 (pow v 2)) into (* 5.0 (pow v 2))
0.573 * [backup-simplify]: Simplify (* 5.0 (* (/ 1 v) (/ 1 v))) into (/ 5.0 (pow v 2))
0.573 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
0.573 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
0.573 * [taylor]: Taking taylor expansion of 5.0 in v
0.573 * [backup-simplify]: Simplify 5.0 into 5.0
0.573 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.573 * [taylor]: Taking taylor expansion of v in v
0.573 * [backup-simplify]: Simplify 0 into 0
0.573 * [backup-simplify]: Simplify 1 into 1
0.573 * [backup-simplify]: Simplify (* 1 1) into 1
0.574 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
0.574 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
0.574 * [taylor]: Taking taylor expansion of 5.0 in v
0.574 * [backup-simplify]: Simplify 5.0 into 5.0
0.574 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.574 * [taylor]: Taking taylor expansion of v in v
0.574 * [backup-simplify]: Simplify 0 into 0
0.574 * [backup-simplify]: Simplify 1 into 1
0.574 * [backup-simplify]: Simplify (* 1 1) into 1
0.574 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
0.574 * [backup-simplify]: Simplify 5.0 into 5.0
0.575 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.575 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)))) into 0
0.575 * [backup-simplify]: Simplify 0 into 0
0.576 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.576 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.576 * [backup-simplify]: Simplify 0 into 0
0.577 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.577 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.577 * [backup-simplify]: Simplify 0 into 0
0.578 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.578 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.578 * [backup-simplify]: Simplify 0 into 0
0.579 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.580 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.580 * [backup-simplify]: Simplify 0 into 0
0.580 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.581 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.581 * [backup-simplify]: Simplify 0 into 0
0.581 * [backup-simplify]: Simplify (* 5.0 (pow (/ 1 (/ 1 v)) 2)) into (* 5.0 (pow v 2))
0.581 * [backup-simplify]: Simplify (* 5.0 (* (/ 1 (- v)) (/ 1 (- v)))) into (/ 5.0 (pow v 2))
0.581 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
0.581 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
0.581 * [taylor]: Taking taylor expansion of 5.0 in v
0.581 * [backup-simplify]: Simplify 5.0 into 5.0
0.581 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.581 * [taylor]: Taking taylor expansion of v in v
0.582 * [backup-simplify]: Simplify 0 into 0
0.582 * [backup-simplify]: Simplify 1 into 1
0.582 * [backup-simplify]: Simplify (* 1 1) into 1
0.582 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
0.582 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
0.582 * [taylor]: Taking taylor expansion of 5.0 in v
0.582 * [backup-simplify]: Simplify 5.0 into 5.0
0.582 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.582 * [taylor]: Taking taylor expansion of v in v
0.582 * [backup-simplify]: Simplify 0 into 0
0.582 * [backup-simplify]: Simplify 1 into 1
0.582 * [backup-simplify]: Simplify (* 1 1) into 1
0.583 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
0.583 * [backup-simplify]: Simplify 5.0 into 5.0
0.583 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.583 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)))) into 0
0.584 * [backup-simplify]: Simplify 0 into 0
0.584 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.584 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.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 1)))) into 0
0.586 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.586 * [backup-simplify]: Simplify 0 into 0
0.586 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.587 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.587 * [backup-simplify]: Simplify 0 into 0
0.587 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.588 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.588 * [backup-simplify]: Simplify 0 into 0
0.589 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.589 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.589 * [backup-simplify]: Simplify 0 into 0
0.589 * [backup-simplify]: Simplify (* 5.0 (pow (/ 1 (/ 1 (- v))) 2)) into (* 5.0 (pow v 2))
0.589 * * * * [progress]: [ 3 / 4 ] generating series at (2)
0.590 * [backup-simplify]: Simplify (exp (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
0.590 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in (v) around 0
0.590 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
0.590 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
0.590 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
0.590 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
0.590 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
0.590 * [backup-simplify]: Simplify 0 into 0
0.590 * [backup-simplify]: Simplify 0 into 0
0.590 * [backup-simplify]: Simplify 0 into 0
0.590 * [backup-simplify]: Simplify 0 into 0
0.590 * [backup-simplify]: Simplify 0 into 0
0.590 * [backup-simplify]: Simplify 0 into 0
0.591 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
0.591 * [backup-simplify]: Simplify (exp (log (acos (/ (- 1.0 (* 5.0 (* (/ 1 v) (/ 1 v)))) (- (* (/ 1 v) (/ 1 v)) 1.0))))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
0.591 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in (v) around 0
0.591 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
0.591 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
0.591 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
0.591 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
0.592 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
0.592 * [backup-simplify]: Simplify 0 into 0
0.592 * [backup-simplify]: Simplify 0 into 0
0.592 * [backup-simplify]: Simplify 0 into 0
0.592 * [backup-simplify]: Simplify 0 into 0
0.592 * [backup-simplify]: Simplify 0 into 0
0.592 * [backup-simplify]: Simplify 0 into 0
0.592 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow (/ 1 v) 2)))) (- (/ 1 (pow (/ 1 v) 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
0.592 * [backup-simplify]: Simplify (exp (log (acos (/ (- 1.0 (* 5.0 (* (/ 1 (- v)) (/ 1 (- v))))) (- (* (/ 1 (- v)) (/ 1 (- v))) 1.0))))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
0.592 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in (v) around 0
0.592 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
0.593 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
0.593 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
0.593 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
0.593 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
0.593 * [backup-simplify]: Simplify 0 into 0
0.593 * [backup-simplify]: Simplify 0 into 0
0.593 * [backup-simplify]: Simplify 0 into 0
0.593 * [backup-simplify]: Simplify 0 into 0
0.593 * [backup-simplify]: Simplify 0 into 0
0.593 * [backup-simplify]: Simplify 0 into 0
0.594 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow (/ 1 (- v)) 2)))) (- (/ 1 (pow (/ 1 (- v)) 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
0.594 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
0.594 * [backup-simplify]: Simplify (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) into (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))
0.594 * [approximate]: Taking taylor expansion of (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))) in (v) around 0
0.594 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))) in v
0.594 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
0.594 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
0.594 * [backup-simplify]: Simplify (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))) into (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))
0.594 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))) in v
0.594 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
0.595 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
0.595 * [backup-simplify]: Simplify (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))) into (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))
0.595 * [backup-simplify]: Simplify (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))) into (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))
0.596 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 1)))) 1) into 0
0.596 * [backup-simplify]: Simplify 0 into 0
0.597 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 1)))) 2) into 0
0.597 * [backup-simplify]: Simplify 0 into 0
0.600 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 1)))) 6) into 0
0.600 * [backup-simplify]: Simplify 0 into 0
0.603 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 1)))) 24) into 0
0.603 * [backup-simplify]: Simplify 0 into 0
0.609 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 1)))) 120) into 0
0.609 * [backup-simplify]: Simplify 0 into 0
0.618 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 1)))) 720) into 0
0.618 * [backup-simplify]: Simplify 0 into 0
0.618 * [backup-simplify]: Simplify (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))) into (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))
0.618 * [backup-simplify]: Simplify (log (acos (/ (- 1.0 (* 5.0 (* (/ 1 v) (/ 1 v)))) (- (* (/ 1 v) (/ 1 v)) 1.0)))) into (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))))
0.618 * [approximate]: Taking taylor expansion of (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))) in (v) around 0
0.618 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))) in v
0.618 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
0.618 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
0.619 * [backup-simplify]: Simplify (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))) into (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))))
0.619 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))) in v
0.619 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
0.619 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
0.619 * [backup-simplify]: Simplify (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))) into (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))))
0.619 * [backup-simplify]: Simplify (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))) into (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))))
0.620 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1)))) 1) into 0
0.620 * [backup-simplify]: Simplify 0 into 0
0.622 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1)))) 2) into 0
0.622 * [backup-simplify]: Simplify 0 into 0
0.624 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1)))) 6) into 0
0.624 * [backup-simplify]: Simplify 0 into 0
0.628 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1)))) 24) into 0
0.628 * [backup-simplify]: Simplify 0 into 0
0.637 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1)))) 120) into 0
0.637 * [backup-simplify]: Simplify 0 into 0
0.646 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1)))) 720) into 0
0.646 * [backup-simplify]: Simplify 0 into 0
0.646 * [backup-simplify]: Simplify (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow (/ 1 v) 2)))) (- (/ 1 (pow (/ 1 v) 2)) 1.0)))) into (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))
0.646 * [backup-simplify]: Simplify (log (acos (/ (- 1.0 (* 5.0 (* (/ 1 (- v)) (/ 1 (- v))))) (- (* (/ 1 (- v)) (/ 1 (- v))) 1.0)))) into (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))))
0.646 * [approximate]: Taking taylor expansion of (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))) in (v) around 0
0.646 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))) in v
0.646 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
0.647 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
0.647 * [backup-simplify]: Simplify (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))) into (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))))
0.647 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))) in v
0.647 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
0.647 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
0.647 * [backup-simplify]: Simplify (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))) into (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))))
0.648 * [backup-simplify]: Simplify (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))) into (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))))
0.648 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1)))) 1) into 0
0.648 * [backup-simplify]: Simplify 0 into 0
0.650 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1)))) 2) into 0
0.650 * [backup-simplify]: Simplify 0 into 0
0.652 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1)))) 6) into 0
0.652 * [backup-simplify]: Simplify 0 into 0
0.656 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1)))) 24) into 0
0.656 * [backup-simplify]: Simplify 0 into 0
0.662 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1)))) 120) into 0
0.662 * [backup-simplify]: Simplify 0 into 0
0.670 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1)))) 720) into 0
0.670 * [backup-simplify]: Simplify 0 into 0
0.671 * [backup-simplify]: Simplify (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow (/ 1 (- v)) 2)))) (- (/ 1 (pow (/ 1 (- v)) 2)) 1.0)))) into (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))
0.671 * * * [progress]: simplifying candidates
0.672 * [simplify]: Simplifying:
  (/ PI 2)
  (asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (exp (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (* (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (* (* (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (* 5.0 (* v v))
  (* 5.0 (* v v))
  (+ (log 5.0) (+ (log v) (log v)))
  (+ (log 5.0) (log (* v v)))
  (log (* 5.0 (* v v)))
  (exp (* 5.0 (* v v)))
  (* (* (* 5.0 5.0) 5.0) (* (* (* v v) v) (* (* v v) v)))
  (* (* (* 5.0 5.0) 5.0) (* (* (* v v) (* v v)) (* v v)))
  (* (cbrt (* 5.0 (* v v))) (cbrt (* 5.0 (* v v))))
  (cbrt (* 5.0 (* v v)))
  (* (* (* 5.0 (* v v)) (* 5.0 (* v v))) (* 5.0 (* v v)))
  (sqrt (* 5.0 (* v v)))
  (sqrt (* 5.0 (* v v)))
  (* (sqrt 5.0) v)
  (* (sqrt 5.0) v)
  (* 5.0 v)
  (* (cbrt 5.0) (* v v))
  (* (sqrt 5.0) (* v v))
  (* 5.0 (* v v))
  (exp 1)
  (exp (* (cbrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))))
  (exp (sqrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (exp 1)
  (exp (log (* (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))))
  (exp (log (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (exp (log (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (exp (log (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (exp (log 1))
  (exp (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (log (exp (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (exp (exp (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (* (cbrt (exp (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))) (cbrt (exp (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))))
  (cbrt (exp (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (* (* (exp (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (exp (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))) (exp (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (sqrt (exp (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (sqrt (exp (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (log (* (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (log (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (log (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (log (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (log 1)
  (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (log (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (exp (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (* (cbrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (cbrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (* (* (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (sqrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (sqrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (* 5.0 (pow v 2))
  (* 5.0 (pow v 2))
  (* 5.0 (pow v 2))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))
  (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))
  (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))
0.672 * [simplify]: Sending expressions to egg_math:
 (/ h0 2)
 (asin (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1)))
 (log (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1))))
 (exp (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1))))
 (* (cbrt (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1)))) (cbrt (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1)))))
 (cbrt (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1))))
 (* (* (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1))) (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1)))) (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1))))
 (sqrt (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1))))
 (sqrt (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1))))
 (* h3 (* h2 h2))
 (* h3 (* h2 h2))
 (+ (log h3) (+ (log h2) (log h2)))
 (+ (log h3) (log (* h2 h2)))
 (log (* h3 (* h2 h2)))
 (exp (* h3 (* h2 h2)))
 (* (* (* h3 h3) h3) (* (* (* h2 h2) h2) (* (* h2 h2) h2)))
 (* (* (* h3 h3) h3) (* (* (* h2 h2) (* h2 h2)) (* h2 h2)))
 (* (cbrt (* h3 (* h2 h2))) (cbrt (* h3 (* h2 h2))))
 (cbrt (* h3 (* h2 h2)))
 (* (* (* h3 (* h2 h2)) (* h3 (* h2 h2))) (* h3 (* h2 h2)))
 (sqrt (* h3 (* h2 h2)))
 (sqrt (* h3 (* h2 h2)))
 (* (sqrt h3) h2)
 (* (sqrt h3) h2)
 (* h3 h2)
 (* (cbrt h3) (* h2 h2))
 (* (sqrt h3) (* h2 h2))
 (* h3 (* h2 h2))
 (exp 1)
 (exp (* (cbrt (log (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1))))) (cbrt (log (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1)))))))
 (exp (sqrt (log (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1))))))
 (exp 1)
 (exp (log (* (cbrt (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1)))) (cbrt (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1)))))))
 (exp (log (cbrt (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1))))))
 (exp (log (sqrt (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1))))))
 (exp (log (sqrt (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1))))))
 (exp (log 1))
 (exp (log (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1)))))
 (log (exp (log (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1))))))
 (exp (exp (log (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1))))))
 (* (cbrt (exp (log (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1)))))) (cbrt (exp (log (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1)))))))
 (cbrt (exp (log (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1))))))
 (* (* (exp (log (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1))))) (exp (log (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1)))))) (exp (log (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1))))))
 (sqrt (exp (log (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1))))))
 (sqrt (exp (log (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1))))))
 (log (* (cbrt (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1)))) (cbrt (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1))))))
 (log (cbrt (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1)))))
 (log (sqrt (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1)))))
 (log (sqrt (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1)))))
 (log 1)
 (log (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1))))
 (log (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1))))
 (log (log (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1)))))
 (exp (log (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1)))))
 (* (cbrt (log (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1))))) (cbrt (log (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1))))))
 (cbrt (log (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1)))))
 (* (* (log (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1)))) (log (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1))))) (log (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1)))))
 (sqrt (log (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1)))))
 (sqrt (log (acos (/ (- h1 (* h3 (* h2 h2))) (- (* h2 h2) h1)))))
 (acos (/ (- h1 (* h3 (pow h2 2))) (- (pow h2 2) h1)))
 (acos (/ (- h1 (* h3 (pow h2 2))) (- (pow h2 2) h1)))
 (acos (/ (- h1 (* h3 (pow h2 2))) (- (pow h2 2) h1)))
 (* h3 (pow h2 2))
 (* h3 (pow h2 2))
 (* h3 (pow h2 2))
 (acos (/ (- h1 (* h3 (pow h2 2))) (- (pow h2 2) h1)))
 (acos (/ (- h1 (* h3 (pow h2 2))) (- (pow h2 2) h1)))
 (acos (/ (- h1 (* h3 (pow h2 2))) (- (pow h2 2) h1)))
 (log (acos (/ (- h1 (* h3 (pow h2 2))) (- (pow h2 2) h1))))
 (log (acos (/ (- h1 (* h3 (pow h2 2))) (- (pow h2 2) h1))))
 (log (acos (/ (- h1 (* h3 (pow h2 2))) (- (pow h2 2) h1))))
0.676 * * [simplify]: iteration  0 :  156  enodes  (cost  537 )
0.678 * * [simplify]: iteration  1 :  407  enodes  (cost  466 )
0.684 * * [simplify]: iteration  2 :  1036  enodes  (cost  448 )
0.702 * * [simplify]: iteration  3 :  3485  enodes  (cost  442 )
0.783 * * [simplify]: iteration  4 :  5001  enodes  (cost  442 )
0.785 * * * [progress]: adding candidates to table
0.905 * * [progress]: iteration 3 / 4
0.905 * * * [progress]: picking best candidate
0.912 * * * * [pick]: Picked  #<alt (λ (v) (exp (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))))>
0.912 * * * [progress]: localizing error
0.929 * * * [progress]: generating rewritten candidates
0.929 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1 2)
0.933 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
0.935 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2 1 1)
0.951 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.956 * * * [progress]: generating series expansions
0.956 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1 2)
0.956 * [backup-simplify]: Simplify (log (exp (* 5.0 (* v v)))) into (* 5.0 (pow v 2))
0.956 * [approximate]: Taking taylor expansion of (* 5.0 (pow v 2)) in (v) around 0
0.956 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
0.956 * [taylor]: Taking taylor expansion of 5.0 in v
0.956 * [backup-simplify]: Simplify 5.0 into 5.0
0.956 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.956 * [taylor]: Taking taylor expansion of v in v
0.956 * [backup-simplify]: Simplify 0 into 0
0.956 * [backup-simplify]: Simplify 1 into 1
0.956 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
0.956 * [taylor]: Taking taylor expansion of 5.0 in v
0.956 * [backup-simplify]: Simplify 5.0 into 5.0
0.956 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.956 * [taylor]: Taking taylor expansion of v in v
0.956 * [backup-simplify]: Simplify 0 into 0
0.956 * [backup-simplify]: Simplify 1 into 1
0.957 * [backup-simplify]: Simplify (* 1 1) into 1
0.957 * [backup-simplify]: Simplify (* 5.0 1) into 5.0
0.957 * [backup-simplify]: Simplify 5.0 into 5.0
0.957 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.958 * [backup-simplify]: Simplify (+ (* 5.0 0) (* 0 1)) into 0
0.958 * [backup-simplify]: Simplify 0 into 0
0.958 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.959 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (* 0 1))) into 0
0.959 * [backup-simplify]: Simplify 0 into 0
0.959 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.960 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.960 * [backup-simplify]: Simplify 0 into 0
0.960 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.961 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.961 * [backup-simplify]: Simplify 0 into 0
0.962 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.962 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.962 * [backup-simplify]: Simplify 0 into 0
0.963 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.964 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.964 * [backup-simplify]: Simplify 0 into 0
0.964 * [backup-simplify]: Simplify (* 5.0 (pow v 2)) into (* 5.0 (pow v 2))
0.964 * [backup-simplify]: Simplify (log (exp (* 5.0 (* (/ 1 v) (/ 1 v))))) into (/ 5.0 (pow v 2))
0.964 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
0.964 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
0.964 * [taylor]: Taking taylor expansion of 5.0 in v
0.964 * [backup-simplify]: Simplify 5.0 into 5.0
0.964 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.964 * [taylor]: Taking taylor expansion of v in v
0.964 * [backup-simplify]: Simplify 0 into 0
0.964 * [backup-simplify]: Simplify 1 into 1
0.965 * [backup-simplify]: Simplify (* 1 1) into 1
0.965 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
0.965 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
0.965 * [taylor]: Taking taylor expansion of 5.0 in v
0.965 * [backup-simplify]: Simplify 5.0 into 5.0
0.965 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.965 * [taylor]: Taking taylor expansion of v in v
0.965 * [backup-simplify]: Simplify 0 into 0
0.965 * [backup-simplify]: Simplify 1 into 1
0.965 * [backup-simplify]: Simplify (* 1 1) into 1
0.965 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
0.966 * [backup-simplify]: Simplify 5.0 into 5.0
0.966 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.966 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)))) into 0
0.966 * [backup-simplify]: Simplify 0 into 0
0.967 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.967 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.967 * [backup-simplify]: Simplify 0 into 0
0.968 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.968 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.968 * [backup-simplify]: Simplify 0 into 0
0.969 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.969 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.970 * [backup-simplify]: Simplify 0 into 0
0.970 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.971 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.971 * [backup-simplify]: Simplify 0 into 0
0.971 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.972 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.972 * [backup-simplify]: Simplify 0 into 0
0.972 * [backup-simplify]: Simplify (* 5.0 (pow (/ 1 (/ 1 v)) 2)) into (* 5.0 (pow v 2))
0.972 * [backup-simplify]: Simplify (log (exp (* 5.0 (* (/ 1 (- v)) (/ 1 (- v)))))) into (/ 5.0 (pow v 2))
0.972 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
0.972 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
0.972 * [taylor]: Taking taylor expansion of 5.0 in v
0.972 * [backup-simplify]: Simplify 5.0 into 5.0
0.972 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.972 * [taylor]: Taking taylor expansion of v in v
0.972 * [backup-simplify]: Simplify 0 into 0
0.973 * [backup-simplify]: Simplify 1 into 1
0.973 * [backup-simplify]: Simplify (* 1 1) into 1
0.973 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
0.973 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
0.973 * [taylor]: Taking taylor expansion of 5.0 in v
0.973 * [backup-simplify]: Simplify 5.0 into 5.0
0.973 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.973 * [taylor]: Taking taylor expansion of v in v
0.973 * [backup-simplify]: Simplify 0 into 0
0.973 * [backup-simplify]: Simplify 1 into 1
0.973 * [backup-simplify]: Simplify (* 1 1) into 1
0.974 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
0.974 * [backup-simplify]: Simplify 5.0 into 5.0
0.974 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.974 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)))) into 0
0.974 * [backup-simplify]: Simplify 0 into 0
0.975 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.975 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.975 * [backup-simplify]: Simplify 0 into 0
0.976 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.977 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.977 * [backup-simplify]: Simplify 0 into 0
0.977 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.978 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.978 * [backup-simplify]: Simplify 0 into 0
0.979 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.979 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.979 * [backup-simplify]: Simplify 0 into 0
0.980 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.980 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.980 * [backup-simplify]: Simplify 0 into 0
0.981 * [backup-simplify]: Simplify (* 5.0 (pow (/ 1 (/ 1 (- v))) 2)) into (* 5.0 (pow v 2))
0.981 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
0.981 * [backup-simplify]: Simplify (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
0.981 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in (v) around 0
0.981 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
0.981 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
0.981 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
0.981 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
0.982 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
0.982 * [backup-simplify]: Simplify 0 into 0
0.982 * [backup-simplify]: Simplify 0 into 0
0.982 * [backup-simplify]: Simplify 0 into 0
0.982 * [backup-simplify]: Simplify 0 into 0
0.982 * [backup-simplify]: Simplify 0 into 0
0.982 * [backup-simplify]: Simplify 0 into 0
0.982 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
0.982 * [backup-simplify]: Simplify (acos (/ (- 1.0 (log (exp (* 5.0 (* (/ 1 v) (/ 1 v)))))) (- (* (/ 1 v) (/ 1 v)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
0.982 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in (v) around 0
0.982 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
0.983 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
0.983 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
0.983 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
0.983 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
0.983 * [backup-simplify]: Simplify 0 into 0
0.983 * [backup-simplify]: Simplify 0 into 0
0.983 * [backup-simplify]: Simplify 0 into 0
0.983 * [backup-simplify]: Simplify 0 into 0
0.983 * [backup-simplify]: Simplify 0 into 0
0.983 * [backup-simplify]: Simplify 0 into 0
0.983 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow (/ 1 v) 2)))) (- (/ 1 (pow (/ 1 v) 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
0.984 * [backup-simplify]: Simplify (acos (/ (- 1.0 (log (exp (* 5.0 (* (/ 1 (- v)) (/ 1 (- v))))))) (- (* (/ 1 (- v)) (/ 1 (- v))) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
0.984 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in (v) around 0
0.984 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
0.984 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
0.984 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
0.984 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
0.985 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
0.985 * [backup-simplify]: Simplify 0 into 0
0.985 * [backup-simplify]: Simplify 0 into 0
0.985 * [backup-simplify]: Simplify 0 into 0
0.985 * [backup-simplify]: Simplify 0 into 0
0.985 * [backup-simplify]: Simplify 0 into 0
0.985 * [backup-simplify]: Simplify 0 into 0
0.985 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow (/ 1 (- v)) 2)))) (- (/ 1 (pow (/ 1 (- v)) 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
0.985 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2 1 1)
0.985 * [backup-simplify]: Simplify (* 5.0 (* v v)) into (* 5.0 (pow v 2))
0.985 * [approximate]: Taking taylor expansion of (* 5.0 (pow v 2)) in (v) around 0
0.985 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
0.985 * [taylor]: Taking taylor expansion of 5.0 in v
0.985 * [backup-simplify]: Simplify 5.0 into 5.0
0.985 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.985 * [taylor]: Taking taylor expansion of v in v
0.985 * [backup-simplify]: Simplify 0 into 0
0.985 * [backup-simplify]: Simplify 1 into 1
0.985 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
0.985 * [taylor]: Taking taylor expansion of 5.0 in v
0.985 * [backup-simplify]: Simplify 5.0 into 5.0
0.985 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.985 * [taylor]: Taking taylor expansion of v in v
0.985 * [backup-simplify]: Simplify 0 into 0
0.985 * [backup-simplify]: Simplify 1 into 1
0.986 * [backup-simplify]: Simplify (* 1 1) into 1
0.986 * [backup-simplify]: Simplify (* 5.0 1) into 5.0
0.986 * [backup-simplify]: Simplify 5.0 into 5.0
0.986 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.987 * [backup-simplify]: Simplify (+ (* 5.0 0) (* 0 1)) into 0
0.987 * [backup-simplify]: Simplify 0 into 0
0.987 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.988 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (* 0 1))) into 0
0.988 * [backup-simplify]: Simplify 0 into 0
0.988 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.989 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.989 * [backup-simplify]: Simplify 0 into 0
0.990 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.993 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.993 * [backup-simplify]: Simplify 0 into 0
0.994 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.995 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.995 * [backup-simplify]: Simplify 0 into 0
0.995 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.996 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.996 * [backup-simplify]: Simplify 0 into 0
0.996 * [backup-simplify]: Simplify (* 5.0 (pow v 2)) into (* 5.0 (pow v 2))
0.997 * [backup-simplify]: Simplify (* 5.0 (* (/ 1 v) (/ 1 v))) into (/ 5.0 (pow v 2))
0.997 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
0.997 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
0.997 * [taylor]: Taking taylor expansion of 5.0 in v
0.997 * [backup-simplify]: Simplify 5.0 into 5.0
0.997 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.997 * [taylor]: Taking taylor expansion of v in v
0.997 * [backup-simplify]: Simplify 0 into 0
0.997 * [backup-simplify]: Simplify 1 into 1
0.997 * [backup-simplify]: Simplify (* 1 1) into 1
0.997 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
0.997 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
0.997 * [taylor]: Taking taylor expansion of 5.0 in v
0.997 * [backup-simplify]: Simplify 5.0 into 5.0
0.997 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.997 * [taylor]: Taking taylor expansion of v in v
0.997 * [backup-simplify]: Simplify 0 into 0
0.997 * [backup-simplify]: Simplify 1 into 1
0.998 * [backup-simplify]: Simplify (* 1 1) into 1
0.998 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
0.998 * [backup-simplify]: Simplify 5.0 into 5.0
0.998 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.999 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)))) into 0
0.999 * [backup-simplify]: Simplify 0 into 0
0.999 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.000 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.000 * [backup-simplify]: Simplify 0 into 0
1.000 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.001 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.001 * [backup-simplify]: Simplify 0 into 0
1.001 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.002 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.002 * [backup-simplify]: Simplify 0 into 0
1.003 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.003 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.003 * [backup-simplify]: Simplify 0 into 0
1.004 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.004 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.004 * [backup-simplify]: Simplify 0 into 0
1.005 * [backup-simplify]: Simplify (* 5.0 (pow (/ 1 (/ 1 v)) 2)) into (* 5.0 (pow v 2))
1.005 * [backup-simplify]: Simplify (* 5.0 (* (/ 1 (- v)) (/ 1 (- v)))) into (/ 5.0 (pow v 2))
1.005 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
1.005 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
1.005 * [taylor]: Taking taylor expansion of 5.0 in v
1.005 * [backup-simplify]: Simplify 5.0 into 5.0
1.005 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.005 * [taylor]: Taking taylor expansion of v in v
1.005 * [backup-simplify]: Simplify 0 into 0
1.005 * [backup-simplify]: Simplify 1 into 1
1.005 * [backup-simplify]: Simplify (* 1 1) into 1
1.005 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
1.005 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
1.005 * [taylor]: Taking taylor expansion of 5.0 in v
1.005 * [backup-simplify]: Simplify 5.0 into 5.0
1.005 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.005 * [taylor]: Taking taylor expansion of v in v
1.005 * [backup-simplify]: Simplify 0 into 0
1.005 * [backup-simplify]: Simplify 1 into 1
1.006 * [backup-simplify]: Simplify (* 1 1) into 1
1.006 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
1.006 * [backup-simplify]: Simplify 5.0 into 5.0
1.006 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.007 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)))) into 0
1.007 * [backup-simplify]: Simplify 0 into 0
1.007 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.008 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.008 * [backup-simplify]: Simplify 0 into 0
1.008 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.009 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.009 * [backup-simplify]: Simplify 0 into 0
1.009 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.010 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.010 * [backup-simplify]: Simplify 0 into 0
1.011 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.011 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.011 * [backup-simplify]: Simplify 0 into 0
1.012 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.012 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.012 * [backup-simplify]: Simplify 0 into 0
1.013 * [backup-simplify]: Simplify (* 5.0 (pow (/ 1 (/ 1 (- v))) 2)) into (* 5.0 (pow v 2))
1.013 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1.013 * [backup-simplify]: Simplify (exp (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
1.013 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in (v) around 0
1.013 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
1.013 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
1.013 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
1.014 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
1.014 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
1.014 * [backup-simplify]: Simplify 0 into 0
1.014 * [backup-simplify]: Simplify 0 into 0
1.014 * [backup-simplify]: Simplify 0 into 0
1.014 * [backup-simplify]: Simplify 0 into 0
1.014 * [backup-simplify]: Simplify 0 into 0
1.014 * [backup-simplify]: Simplify 0 into 0
1.014 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
1.014 * [backup-simplify]: Simplify (exp (log (acos (/ (- 1.0 (log (exp (* 5.0 (* (/ 1 v) (/ 1 v)))))) (- (* (/ 1 v) (/ 1 v)) 1.0))))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
1.014 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in (v) around 0
1.014 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
1.015 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
1.015 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
1.015 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
1.015 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
1.015 * [backup-simplify]: Simplify 0 into 0
1.015 * [backup-simplify]: Simplify 0 into 0
1.015 * [backup-simplify]: Simplify 0 into 0
1.015 * [backup-simplify]: Simplify 0 into 0
1.015 * [backup-simplify]: Simplify 0 into 0
1.015 * [backup-simplify]: Simplify 0 into 0
1.016 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow (/ 1 v) 2)))) (- (/ 1 (pow (/ 1 v) 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
1.016 * [backup-simplify]: Simplify (exp (log (acos (/ (- 1.0 (log (exp (* 5.0 (* (/ 1 (- v)) (/ 1 (- v))))))) (- (* (/ 1 (- v)) (/ 1 (- v))) 1.0))))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
1.016 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in (v) around 0
1.016 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
1.016 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
1.016 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
1.016 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
1.017 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
1.017 * [backup-simplify]: Simplify 0 into 0
1.017 * [backup-simplify]: Simplify 0 into 0
1.017 * [backup-simplify]: Simplify 0 into 0
1.017 * [backup-simplify]: Simplify 0 into 0
1.017 * [backup-simplify]: Simplify 0 into 0
1.017 * [backup-simplify]: Simplify 0 into 0
1.017 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow (/ 1 (- v)) 2)))) (- (/ 1 (pow (/ 1 (- v)) 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
1.017 * * * [progress]: simplifying candidates
1.018 * [simplify]: Simplifying:
  (log (* (cbrt (exp (* 5.0 (* v v)))) (cbrt (exp (* 5.0 (* v v))))))
  (log (cbrt (exp (* 5.0 (* v v)))))
  (log (sqrt (exp (* 5.0 (* v v)))))
  (log (sqrt (exp (* 5.0 (* v v)))))
  (log 1)
  (log (exp (* 5.0 (* v v))))
  (log (exp 5.0))
  (log (exp (* 5.0 (* v v))))
  (log (exp 5.0))
  (log (log (exp (* 5.0 (* v v)))))
  (exp (log (exp (* 5.0 (* v v)))))
  (* (cbrt (log (exp (* 5.0 (* v v))))) (cbrt (log (exp (* 5.0 (* v v))))))
  (cbrt (log (exp (* 5.0 (* v v)))))
  (* (* (log (exp (* 5.0 (* v v)))) (log (exp (* 5.0 (* v v))))) (log (exp (* 5.0 (* v v)))))
  (sqrt (log (exp (* 5.0 (* v v)))))
  (sqrt (log (exp (* 5.0 (* v v)))))
  (/ PI 2)
  (asin (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0)))
  (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))
  (exp (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))
  (* (cbrt (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0)))) (cbrt (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0)))))
  (cbrt (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))
  (* (* (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))) (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0)))) (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))
  (sqrt (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))
  (sqrt (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))
  (* 5.0 (* v v))
  (* 5.0 (* v v))
  (+ (log 5.0) (+ (log v) (log v)))
  (+ (log 5.0) (log (* v v)))
  (log (* 5.0 (* v v)))
  (exp (* 5.0 (* v v)))
  (* (* (* 5.0 5.0) 5.0) (* (* (* v v) v) (* (* v v) v)))
  (* (* (* 5.0 5.0) 5.0) (* (* (* v v) (* v v)) (* v v)))
  (* (cbrt (* 5.0 (* v v))) (cbrt (* 5.0 (* v v))))
  (cbrt (* 5.0 (* v v)))
  (* (* (* 5.0 (* v v)) (* 5.0 (* v v))) (* 5.0 (* v v)))
  (sqrt (* 5.0 (* v v)))
  (sqrt (* 5.0 (* v v)))
  (* (sqrt 5.0) v)
  (* (sqrt 5.0) v)
  (* 5.0 v)
  (* (cbrt 5.0) (* v v))
  (* (sqrt 5.0) (* v v))
  (* 5.0 (* v v))
  (exp 1)
  (exp (* (cbrt (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))) (cbrt (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0)))))))
  (exp (sqrt (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))))
  (exp 1)
  (exp (log (* (cbrt (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0)))) (cbrt (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0)))))))
  (exp (log (cbrt (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))))
  (exp (log (sqrt (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))))
  (exp (log (sqrt (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))))
  (exp (log 1))
  (exp (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0)))))
  (log (exp (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))))
  (exp (exp (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))))
  (* (cbrt (exp (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0)))))) (cbrt (exp (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0)))))))
  (cbrt (exp (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))))
  (* (* (exp (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))) (exp (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0)))))) (exp (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))))
  (sqrt (exp (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))))
  (sqrt (exp (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))))
  (* 5.0 (pow v 2))
  (* 5.0 (pow v 2))
  (* 5.0 (pow v 2))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (* 5.0 (pow v 2))
  (* 5.0 (pow v 2))
  (* 5.0 (pow v 2))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
1.019 * [simplify]: Sending expressions to egg_math:
 (log (* (cbrt (exp (* h1 (* h0 h0)))) (cbrt (exp (* h1 (* h0 h0))))))
 (log (cbrt (exp (* h1 (* h0 h0)))))
 (log (sqrt (exp (* h1 (* h0 h0)))))
 (log (sqrt (exp (* h1 (* h0 h0)))))
 (log 1)
 (log (exp (* h1 (* h0 h0))))
 (log (exp h1))
 (log (exp (* h1 (* h0 h0))))
 (log (exp h1))
 (log (log (exp (* h1 (* h0 h0)))))
 (exp (log (exp (* h1 (* h0 h0)))))
 (* (cbrt (log (exp (* h1 (* h0 h0))))) (cbrt (log (exp (* h1 (* h0 h0))))))
 (cbrt (log (exp (* h1 (* h0 h0)))))
 (* (* (log (exp (* h1 (* h0 h0)))) (log (exp (* h1 (* h0 h0))))) (log (exp (* h1 (* h0 h0)))))
 (sqrt (log (exp (* h1 (* h0 h0)))))
 (sqrt (log (exp (* h1 (* h0 h0)))))
 (/ h2 2)
 (asin (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3)))
 (log (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3))))
 (exp (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3))))
 (* (cbrt (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3)))) (cbrt (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3)))))
 (cbrt (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3))))
 (* (* (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3))) (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3)))) (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3))))
 (sqrt (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3))))
 (sqrt (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3))))
 (* h1 (* h0 h0))
 (* h1 (* h0 h0))
 (+ (log h1) (+ (log h0) (log h0)))
 (+ (log h1) (log (* h0 h0)))
 (log (* h1 (* h0 h0)))
 (exp (* h1 (* h0 h0)))
 (* (* (* h1 h1) h1) (* (* (* h0 h0) h0) (* (* h0 h0) h0)))
 (* (* (* h1 h1) h1) (* (* (* h0 h0) (* h0 h0)) (* h0 h0)))
 (* (cbrt (* h1 (* h0 h0))) (cbrt (* h1 (* h0 h0))))
 (cbrt (* h1 (* h0 h0)))
 (* (* (* h1 (* h0 h0)) (* h1 (* h0 h0))) (* h1 (* h0 h0)))
 (sqrt (* h1 (* h0 h0)))
 (sqrt (* h1 (* h0 h0)))
 (* (sqrt h1) h0)
 (* (sqrt h1) h0)
 (* h1 h0)
 (* (cbrt h1) (* h0 h0))
 (* (sqrt h1) (* h0 h0))
 (* h1 (* h0 h0))
 (exp 1)
 (exp (* (cbrt (log (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3))))) (cbrt (log (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3)))))))
 (exp (sqrt (log (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3))))))
 (exp 1)
 (exp (log (* (cbrt (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3)))) (cbrt (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3)))))))
 (exp (log (cbrt (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3))))))
 (exp (log (sqrt (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3))))))
 (exp (log (sqrt (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3))))))
 (exp (log 1))
 (exp (log (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3)))))
 (log (exp (log (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3))))))
 (exp (exp (log (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3))))))
 (* (cbrt (exp (log (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3)))))) (cbrt (exp (log (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3)))))))
 (cbrt (exp (log (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3))))))
 (* (* (exp (log (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3))))) (exp (log (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3)))))) (exp (log (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3))))))
 (sqrt (exp (log (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3))))))
 (sqrt (exp (log (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3))))))
 (* h1 (pow h0 2))
 (* h1 (pow h0 2))
 (* h1 (pow h0 2))
 (acos (/ (- h3 (* h1 (pow h0 2))) (- (pow h0 2) h3)))
 (acos (/ (- h3 (* h1 (pow h0 2))) (- (pow h0 2) h3)))
 (acos (/ (- h3 (* h1 (pow h0 2))) (- (pow h0 2) h3)))
 (* h1 (pow h0 2))
 (* h1 (pow h0 2))
 (* h1 (pow h0 2))
 (acos (/ (- h3 (* h1 (pow h0 2))) (- (pow h0 2) h3)))
 (acos (/ (- h3 (* h1 (pow h0 2))) (- (pow h0 2) h3)))
 (acos (/ (- h3 (* h1 (pow h0 2))) (- (pow h0 2) h3)))
1.022 * * [simplify]: iteration  0 :  168  enodes  (cost  487 )
1.025 * * [simplify]: iteration  1 :  442  enodes  (cost  420 )
1.031 * * [simplify]: iteration  2 :  1093  enodes  (cost  396 )
1.051 * * [simplify]: iteration  3 :  3738  enodes  (cost  390 )
1.135 * * [simplify]: iteration  4 :  5001  enodes  (cost  390 )
1.137 * * * [progress]: adding candidates to table
1.291 * * [progress]: iteration 4 / 4
1.291 * * * [progress]: picking best candidate
1.299 * * * * [pick]: Picked  #<alt (λ (v) (pow (exp (sqrt (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0)))))) (sqrt (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0)))))))>
1.299 * * * [progress]: localizing error
1.318 * * * [progress]: generating rewritten candidates
1.318 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 1 2)
1.323 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1 1 2)
1.327 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
1.328 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1)
1.330 * * * [progress]: generating series expansions
1.330 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 1 2)
1.330 * [backup-simplify]: Simplify (log (exp (* 5.0 (* v v)))) into (* 5.0 (pow v 2))
1.330 * [approximate]: Taking taylor expansion of (* 5.0 (pow v 2)) in (v) around 0
1.331 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
1.331 * [taylor]: Taking taylor expansion of 5.0 in v
1.331 * [backup-simplify]: Simplify 5.0 into 5.0
1.331 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.331 * [taylor]: Taking taylor expansion of v in v
1.331 * [backup-simplify]: Simplify 0 into 0
1.331 * [backup-simplify]: Simplify 1 into 1
1.331 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
1.331 * [taylor]: Taking taylor expansion of 5.0 in v
1.331 * [backup-simplify]: Simplify 5.0 into 5.0
1.331 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.331 * [taylor]: Taking taylor expansion of v in v
1.331 * [backup-simplify]: Simplify 0 into 0
1.331 * [backup-simplify]: Simplify 1 into 1
1.331 * [backup-simplify]: Simplify (* 1 1) into 1
1.331 * [backup-simplify]: Simplify (* 5.0 1) into 5.0
1.331 * [backup-simplify]: Simplify 5.0 into 5.0
1.332 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.332 * [backup-simplify]: Simplify (+ (* 5.0 0) (* 0 1)) into 0
1.332 * [backup-simplify]: Simplify 0 into 0
1.333 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.333 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (* 0 1))) into 0
1.333 * [backup-simplify]: Simplify 0 into 0
1.336 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.337 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.337 * [backup-simplify]: Simplify 0 into 0
1.338 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.338 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.338 * [backup-simplify]: Simplify 0 into 0
1.339 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.340 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.340 * [backup-simplify]: Simplify 0 into 0
1.340 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.341 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.341 * [backup-simplify]: Simplify 0 into 0
1.341 * [backup-simplify]: Simplify (* 5.0 (pow v 2)) into (* 5.0 (pow v 2))
1.342 * [backup-simplify]: Simplify (log (exp (* 5.0 (* (/ 1 v) (/ 1 v))))) into (/ 5.0 (pow v 2))
1.342 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
1.342 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
1.342 * [taylor]: Taking taylor expansion of 5.0 in v
1.342 * [backup-simplify]: Simplify 5.0 into 5.0
1.342 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.342 * [taylor]: Taking taylor expansion of v in v
1.342 * [backup-simplify]: Simplify 0 into 0
1.342 * [backup-simplify]: Simplify 1 into 1
1.342 * [backup-simplify]: Simplify (* 1 1) into 1
1.342 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
1.342 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
1.342 * [taylor]: Taking taylor expansion of 5.0 in v
1.342 * [backup-simplify]: Simplify 5.0 into 5.0
1.342 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.342 * [taylor]: Taking taylor expansion of v in v
1.342 * [backup-simplify]: Simplify 0 into 0
1.342 * [backup-simplify]: Simplify 1 into 1
1.343 * [backup-simplify]: Simplify (* 1 1) into 1
1.343 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
1.343 * [backup-simplify]: Simplify 5.0 into 5.0
1.343 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.344 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)))) into 0
1.344 * [backup-simplify]: Simplify 0 into 0
1.344 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.345 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.345 * [backup-simplify]: Simplify 0 into 0
1.345 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.346 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.346 * [backup-simplify]: Simplify 0 into 0
1.346 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.347 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.347 * [backup-simplify]: Simplify 0 into 0
1.348 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.348 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.348 * [backup-simplify]: Simplify 0 into 0
1.349 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.349 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.349 * [backup-simplify]: Simplify 0 into 0
1.350 * [backup-simplify]: Simplify (* 5.0 (pow (/ 1 (/ 1 v)) 2)) into (* 5.0 (pow v 2))
1.350 * [backup-simplify]: Simplify (log (exp (* 5.0 (* (/ 1 (- v)) (/ 1 (- v)))))) into (/ 5.0 (pow v 2))
1.350 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
1.350 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
1.350 * [taylor]: Taking taylor expansion of 5.0 in v
1.350 * [backup-simplify]: Simplify 5.0 into 5.0
1.350 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.350 * [taylor]: Taking taylor expansion of v in v
1.350 * [backup-simplify]: Simplify 0 into 0
1.350 * [backup-simplify]: Simplify 1 into 1
1.350 * [backup-simplify]: Simplify (* 1 1) into 1
1.350 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
1.350 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
1.350 * [taylor]: Taking taylor expansion of 5.0 in v
1.350 * [backup-simplify]: Simplify 5.0 into 5.0
1.350 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.350 * [taylor]: Taking taylor expansion of v in v
1.350 * [backup-simplify]: Simplify 0 into 0
1.351 * [backup-simplify]: Simplify 1 into 1
1.351 * [backup-simplify]: Simplify (* 1 1) into 1
1.351 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
1.351 * [backup-simplify]: Simplify 5.0 into 5.0
1.351 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.352 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)))) into 0
1.352 * [backup-simplify]: Simplify 0 into 0
1.352 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.353 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.353 * [backup-simplify]: Simplify 0 into 0
1.353 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.354 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.354 * [backup-simplify]: Simplify 0 into 0
1.354 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.355 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.355 * [backup-simplify]: Simplify 0 into 0
1.356 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.356 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.356 * [backup-simplify]: Simplify 0 into 0
1.357 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.358 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.358 * [backup-simplify]: Simplify 0 into 0
1.358 * [backup-simplify]: Simplify (* 5.0 (pow (/ 1 (/ 1 (- v))) 2)) into (* 5.0 (pow v 2))
1.358 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1 1 2)
1.358 * [backup-simplify]: Simplify (log (exp (* 5.0 (* v v)))) into (* 5.0 (pow v 2))
1.358 * [approximate]: Taking taylor expansion of (* 5.0 (pow v 2)) in (v) around 0
1.358 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
1.358 * [taylor]: Taking taylor expansion of 5.0 in v
1.358 * [backup-simplify]: Simplify 5.0 into 5.0
1.358 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.358 * [taylor]: Taking taylor expansion of v in v
1.358 * [backup-simplify]: Simplify 0 into 0
1.358 * [backup-simplify]: Simplify 1 into 1
1.358 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
1.358 * [taylor]: Taking taylor expansion of 5.0 in v
1.358 * [backup-simplify]: Simplify 5.0 into 5.0
1.358 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.358 * [taylor]: Taking taylor expansion of v in v
1.358 * [backup-simplify]: Simplify 0 into 0
1.358 * [backup-simplify]: Simplify 1 into 1
1.359 * [backup-simplify]: Simplify (* 1 1) into 1
1.359 * [backup-simplify]: Simplify (* 5.0 1) into 5.0
1.359 * [backup-simplify]: Simplify 5.0 into 5.0
1.359 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.360 * [backup-simplify]: Simplify (+ (* 5.0 0) (* 0 1)) into 0
1.360 * [backup-simplify]: Simplify 0 into 0
1.360 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.361 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (* 0 1))) into 0
1.361 * [backup-simplify]: Simplify 0 into 0
1.361 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.362 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.362 * [backup-simplify]: Simplify 0 into 0
1.362 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.363 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.363 * [backup-simplify]: Simplify 0 into 0
1.364 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.364 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.364 * [backup-simplify]: Simplify 0 into 0
1.365 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.366 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.366 * [backup-simplify]: Simplify 0 into 0
1.366 * [backup-simplify]: Simplify (* 5.0 (pow v 2)) into (* 5.0 (pow v 2))
1.366 * [backup-simplify]: Simplify (log (exp (* 5.0 (* (/ 1 v) (/ 1 v))))) into (/ 5.0 (pow v 2))
1.366 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
1.366 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
1.366 * [taylor]: Taking taylor expansion of 5.0 in v
1.366 * [backup-simplify]: Simplify 5.0 into 5.0
1.366 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.366 * [taylor]: Taking taylor expansion of v in v
1.366 * [backup-simplify]: Simplify 0 into 0
1.366 * [backup-simplify]: Simplify 1 into 1
1.367 * [backup-simplify]: Simplify (* 1 1) into 1
1.367 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
1.367 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
1.367 * [taylor]: Taking taylor expansion of 5.0 in v
1.367 * [backup-simplify]: Simplify 5.0 into 5.0
1.367 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.367 * [taylor]: Taking taylor expansion of v in v
1.367 * [backup-simplify]: Simplify 0 into 0
1.367 * [backup-simplify]: Simplify 1 into 1
1.367 * [backup-simplify]: Simplify (* 1 1) into 1
1.367 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
1.367 * [backup-simplify]: Simplify 5.0 into 5.0
1.368 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.368 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)))) into 0
1.368 * [backup-simplify]: Simplify 0 into 0
1.369 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.369 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.369 * [backup-simplify]: Simplify 0 into 0
1.370 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.370 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.370 * [backup-simplify]: Simplify 0 into 0
1.371 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.371 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.371 * [backup-simplify]: Simplify 0 into 0
1.372 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.373 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.373 * [backup-simplify]: Simplify 0 into 0
1.373 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.374 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.374 * [backup-simplify]: Simplify 0 into 0
1.374 * [backup-simplify]: Simplify (* 5.0 (pow (/ 1 (/ 1 v)) 2)) into (* 5.0 (pow v 2))
1.374 * [backup-simplify]: Simplify (log (exp (* 5.0 (* (/ 1 (- v)) (/ 1 (- v)))))) into (/ 5.0 (pow v 2))
1.374 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
1.374 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
1.374 * [taylor]: Taking taylor expansion of 5.0 in v
1.374 * [backup-simplify]: Simplify 5.0 into 5.0
1.374 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.374 * [taylor]: Taking taylor expansion of v in v
1.375 * [backup-simplify]: Simplify 0 into 0
1.375 * [backup-simplify]: Simplify 1 into 1
1.375 * [backup-simplify]: Simplify (* 1 1) into 1
1.375 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
1.375 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
1.375 * [taylor]: Taking taylor expansion of 5.0 in v
1.375 * [backup-simplify]: Simplify 5.0 into 5.0
1.375 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.375 * [taylor]: Taking taylor expansion of v in v
1.375 * [backup-simplify]: Simplify 0 into 0
1.375 * [backup-simplify]: Simplify 1 into 1
1.375 * [backup-simplify]: Simplify (* 1 1) into 1
1.376 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
1.376 * [backup-simplify]: Simplify 5.0 into 5.0
1.376 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.376 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)))) into 0
1.376 * [backup-simplify]: Simplify 0 into 0
1.377 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.377 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.377 * [backup-simplify]: Simplify 0 into 0
1.378 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.378 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.378 * [backup-simplify]: Simplify 0 into 0
1.379 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.380 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.380 * [backup-simplify]: Simplify 0 into 0
1.380 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.381 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.381 * [backup-simplify]: Simplify 0 into 0
1.382 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.382 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.382 * [backup-simplify]: Simplify 0 into 0
1.382 * [backup-simplify]: Simplify (* 5.0 (pow (/ 1 (/ 1 (- v))) 2)) into (* 5.0 (pow v 2))
1.382 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
1.383 * [backup-simplify]: Simplify (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
1.383 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in (v) around 0
1.383 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
1.383 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
1.383 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
1.383 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
1.383 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
1.383 * [backup-simplify]: Simplify 0 into 0
1.383 * [backup-simplify]: Simplify 0 into 0
1.383 * [backup-simplify]: Simplify 0 into 0
1.383 * [backup-simplify]: Simplify 0 into 0
1.383 * [backup-simplify]: Simplify 0 into 0
1.383 * [backup-simplify]: Simplify 0 into 0
1.384 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
1.384 * [backup-simplify]: Simplify (acos (/ (- 1.0 (log (exp (* 5.0 (* (/ 1 v) (/ 1 v)))))) (- (* (/ 1 v) (/ 1 v)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
1.384 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in (v) around 0
1.384 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
1.384 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
1.384 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
1.384 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
1.385 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
1.385 * [backup-simplify]: Simplify 0 into 0
1.385 * [backup-simplify]: Simplify 0 into 0
1.385 * [backup-simplify]: Simplify 0 into 0
1.385 * [backup-simplify]: Simplify 0 into 0
1.385 * [backup-simplify]: Simplify 0 into 0
1.385 * [backup-simplify]: Simplify 0 into 0
1.385 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow (/ 1 v) 2)))) (- (/ 1 (pow (/ 1 v) 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
1.385 * [backup-simplify]: Simplify (acos (/ (- 1.0 (log (exp (* 5.0 (* (/ 1 (- v)) (/ 1 (- v))))))) (- (* (/ 1 (- v)) (/ 1 (- v))) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
1.385 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in (v) around 0
1.385 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
1.386 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
1.386 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
1.386 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
1.386 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
1.386 * [backup-simplify]: Simplify 0 into 0
1.386 * [backup-simplify]: Simplify 0 into 0
1.386 * [backup-simplify]: Simplify 0 into 0
1.386 * [backup-simplify]: Simplify 0 into 0
1.386 * [backup-simplify]: Simplify 0 into 0
1.386 * [backup-simplify]: Simplify 0 into 0
1.387 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow (/ 1 (- v)) 2)))) (- (/ 1 (pow (/ 1 (- v)) 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
1.387 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1)
1.387 * [backup-simplify]: Simplify (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
1.387 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in (v) around 0
1.387 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
1.387 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
1.387 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
1.388 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
1.388 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
1.388 * [backup-simplify]: Simplify 0 into 0
1.388 * [backup-simplify]: Simplify 0 into 0
1.388 * [backup-simplify]: Simplify 0 into 0
1.388 * [backup-simplify]: Simplify 0 into 0
1.388 * [backup-simplify]: Simplify 0 into 0
1.388 * [backup-simplify]: Simplify 0 into 0
1.388 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
1.388 * [backup-simplify]: Simplify (acos (/ (- 1.0 (log (exp (* 5.0 (* (/ 1 v) (/ 1 v)))))) (- (* (/ 1 v) (/ 1 v)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
1.388 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in (v) around 0
1.388 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
1.389 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
1.389 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
1.389 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
1.389 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
1.389 * [backup-simplify]: Simplify 0 into 0
1.389 * [backup-simplify]: Simplify 0 into 0
1.389 * [backup-simplify]: Simplify 0 into 0
1.389 * [backup-simplify]: Simplify 0 into 0
1.389 * [backup-simplify]: Simplify 0 into 0
1.389 * [backup-simplify]: Simplify 0 into 0
1.390 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow (/ 1 v) 2)))) (- (/ 1 (pow (/ 1 v) 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
1.390 * [backup-simplify]: Simplify (acos (/ (- 1.0 (log (exp (* 5.0 (* (/ 1 (- v)) (/ 1 (- v))))))) (- (* (/ 1 (- v)) (/ 1 (- v))) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
1.390 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in (v) around 0
1.390 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
1.390 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
1.390 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
1.390 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
1.391 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
1.391 * [backup-simplify]: Simplify 0 into 0
1.391 * [backup-simplify]: Simplify 0 into 0
1.391 * [backup-simplify]: Simplify 0 into 0
1.391 * [backup-simplify]: Simplify 0 into 0
1.391 * [backup-simplify]: Simplify 0 into 0
1.391 * [backup-simplify]: Simplify 0 into 0
1.391 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow (/ 1 (- v)) 2)))) (- (/ 1 (pow (/ 1 (- v)) 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
1.391 * * * [progress]: simplifying candidates
1.392 * [simplify]: Simplifying:
  (log (* (cbrt (exp (* 5.0 (* v v)))) (cbrt (exp (* 5.0 (* v v))))))
  (log (cbrt (exp (* 5.0 (* v v)))))
  (log (sqrt (exp (* 5.0 (* v v)))))
  (log (sqrt (exp (* 5.0 (* v v)))))
  (log 1)
  (log (exp (* 5.0 (* v v))))
  (log (exp 5.0))
  (log (exp (* 5.0 (* v v))))
  (log (exp 5.0))
  (log (log (exp (* 5.0 (* v v)))))
  (exp (log (exp (* 5.0 (* v v)))))
  (* (cbrt (log (exp (* 5.0 (* v v))))) (cbrt (log (exp (* 5.0 (* v v))))))
  (cbrt (log (exp (* 5.0 (* v v)))))
  (* (* (log (exp (* 5.0 (* v v)))) (log (exp (* 5.0 (* v v))))) (log (exp (* 5.0 (* v v)))))
  (sqrt (log (exp (* 5.0 (* v v)))))
  (sqrt (log (exp (* 5.0 (* v v)))))
  (log (* (cbrt (exp (* 5.0 (* v v)))) (cbrt (exp (* 5.0 (* v v))))))
  (log (cbrt (exp (* 5.0 (* v v)))))
  (log (sqrt (exp (* 5.0 (* v v)))))
  (log (sqrt (exp (* 5.0 (* v v)))))
  (log 1)
  (log (exp (* 5.0 (* v v))))
  (log (exp 5.0))
  (log (exp (* 5.0 (* v v))))
  (log (exp 5.0))
  (log (log (exp (* 5.0 (* v v)))))
  (exp (log (exp (* 5.0 (* v v)))))
  (* (cbrt (log (exp (* 5.0 (* v v))))) (cbrt (log (exp (* 5.0 (* v v))))))
  (cbrt (log (exp (* 5.0 (* v v)))))
  (* (* (log (exp (* 5.0 (* v v)))) (log (exp (* 5.0 (* v v))))) (log (exp (* 5.0 (* v v)))))
  (sqrt (log (exp (* 5.0 (* v v)))))
  (sqrt (log (exp (* 5.0 (* v v)))))
  (/ PI 2)
  (asin (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0)))
  (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))
  (exp (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))
  (* (cbrt (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0)))) (cbrt (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0)))))
  (cbrt (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))
  (* (* (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))) (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0)))) (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))
  (sqrt (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))
  (sqrt (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))
  (/ PI 2)
  (asin (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0)))
  (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))
  (exp (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))
  (* (cbrt (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0)))) (cbrt (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0)))))
  (cbrt (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))
  (* (* (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))) (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0)))) (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))
  (sqrt (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))
  (sqrt (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))
  (* 5.0 (pow v 2))
  (* 5.0 (pow v 2))
  (* 5.0 (pow v 2))
  (* 5.0 (pow v 2))
  (* 5.0 (pow v 2))
  (* 5.0 (pow v 2))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
1.392 * [simplify]: Sending expressions to egg_math:
 (log (* (cbrt (exp (* h1 (* h0 h0)))) (cbrt (exp (* h1 (* h0 h0))))))
 (log (cbrt (exp (* h1 (* h0 h0)))))
 (log (sqrt (exp (* h1 (* h0 h0)))))
 (log (sqrt (exp (* h1 (* h0 h0)))))
 (log 1)
 (log (exp (* h1 (* h0 h0))))
 (log (exp h1))
 (log (exp (* h1 (* h0 h0))))
 (log (exp h1))
 (log (log (exp (* h1 (* h0 h0)))))
 (exp (log (exp (* h1 (* h0 h0)))))
 (* (cbrt (log (exp (* h1 (* h0 h0))))) (cbrt (log (exp (* h1 (* h0 h0))))))
 (cbrt (log (exp (* h1 (* h0 h0)))))
 (* (* (log (exp (* h1 (* h0 h0)))) (log (exp (* h1 (* h0 h0))))) (log (exp (* h1 (* h0 h0)))))
 (sqrt (log (exp (* h1 (* h0 h0)))))
 (sqrt (log (exp (* h1 (* h0 h0)))))
 (log (* (cbrt (exp (* h1 (* h0 h0)))) (cbrt (exp (* h1 (* h0 h0))))))
 (log (cbrt (exp (* h1 (* h0 h0)))))
 (log (sqrt (exp (* h1 (* h0 h0)))))
 (log (sqrt (exp (* h1 (* h0 h0)))))
 (log 1)
 (log (exp (* h1 (* h0 h0))))
 (log (exp h1))
 (log (exp (* h1 (* h0 h0))))
 (log (exp h1))
 (log (log (exp (* h1 (* h0 h0)))))
 (exp (log (exp (* h1 (* h0 h0)))))
 (* (cbrt (log (exp (* h1 (* h0 h0))))) (cbrt (log (exp (* h1 (* h0 h0))))))
 (cbrt (log (exp (* h1 (* h0 h0)))))
 (* (* (log (exp (* h1 (* h0 h0)))) (log (exp (* h1 (* h0 h0))))) (log (exp (* h1 (* h0 h0)))))
 (sqrt (log (exp (* h1 (* h0 h0)))))
 (sqrt (log (exp (* h1 (* h0 h0)))))
 (/ h2 2)
 (asin (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3)))
 (log (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3))))
 (exp (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3))))
 (* (cbrt (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3)))) (cbrt (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3)))))
 (cbrt (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3))))
 (* (* (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3))) (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3)))) (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3))))
 (sqrt (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3))))
 (sqrt (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3))))
 (/ h2 2)
 (asin (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3)))
 (log (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3))))
 (exp (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3))))
 (* (cbrt (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3)))) (cbrt (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3)))))
 (cbrt (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3))))
 (* (* (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3))) (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3)))) (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3))))
 (sqrt (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3))))
 (sqrt (acos (/ (- h3 (log (exp (* h1 (* h0 h0))))) (- (* h0 h0) h3))))
 (* h1 (pow h0 2))
 (* h1 (pow h0 2))
 (* h1 (pow h0 2))
 (* h1 (pow h0 2))
 (* h1 (pow h0 2))
 (* h1 (pow h0 2))
 (acos (/ (- h3 (* h1 (pow h0 2))) (- (pow h0 2) h3)))
 (acos (/ (- h3 (* h1 (pow h0 2))) (- (pow h0 2) h3)))
 (acos (/ (- h3 (* h1 (pow h0 2))) (- (pow h0 2) h3)))
 (acos (/ (- h3 (* h1 (pow h0 2))) (- (pow h0 2) h3)))
 (acos (/ (- h3 (* h1 (pow h0 2))) (- (pow h0 2) h3)))
 (acos (/ (- h3 (* h1 (pow h0 2))) (- (pow h0 2) h3)))
1.395 * * [simplify]: iteration  0 :  71  enodes  (cost  426 )
1.397 * * [simplify]: iteration  1 :  169  enodes  (cost  354 )
1.400 * * [simplify]: iteration  2 :  530  enodes  (cost  354 )
1.410 * * [simplify]: iteration  3 :  2077  enodes  (cost  354 )
1.463 * * [simplify]: iteration  4 :  5001  enodes  (cost  354 )
1.465 * * * [progress]: adding candidates to table
1.694 * [progress]: [Phase 3 of 3] Extracting.
1.694 * * [regime]: Finding splitpoints for: (#<alt (λ (v) (* (* (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))> #<alt (λ (v) (exp (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))))> #<alt (λ (v) (exp (log (* (pow (cbrt (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0)))) 2) (cbrt (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))))))> #<alt (λ (v) (pow (exp (sqrt (log (acos (/ (- 1.0 (* 1 (* 5.0 (* v v)))) (- (* v v) 1.0)))))) (sqrt (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0)))))))>)
1.696 * * * [regime-changes]: Trying 4 branch expressions: ((* v v) (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)) (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) v)
1.696 * * * * [regimes]: Trying to branch on (* v v) from (#<alt (λ (v) (* (* (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))> #<alt (λ (v) (exp (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))))> #<alt (λ (v) (exp (log (* (pow (cbrt (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0)))) 2) (cbrt (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))))))> #<alt (λ (v) (pow (exp (sqrt (log (acos (/ (- 1.0 (* 1 (* 5.0 (* v v)))) (- (* v v) 1.0)))))) (sqrt (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0)))))))>)
1.716 * * * * [regimes]: Trying to branch on (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)) from (#<alt (λ (v) (* (* (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))> #<alt (λ (v) (exp (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))))> #<alt (λ (v) (exp (log (* (pow (cbrt (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0)))) 2) (cbrt (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))))))> #<alt (λ (v) (pow (exp (sqrt (log (acos (/ (- 1.0 (* 1 (* 5.0 (* v v)))) (- (* v v) 1.0)))))) (sqrt (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0)))))))>)
1.733 * * * * [regimes]: Trying to branch on (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) from (#<alt (λ (v) (* (* (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))> #<alt (λ (v) (exp (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))))> #<alt (λ (v) (exp (log (* (pow (cbrt (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0)))) 2) (cbrt (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))))))> #<alt (λ (v) (pow (exp (sqrt (log (acos (/ (- 1.0 (* 1 (* 5.0 (* v v)))) (- (* v v) 1.0)))))) (sqrt (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0)))))))>)
1.755 * * * * [regimes]: Trying to branch on v from (#<alt (λ (v) (* (* (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))> #<alt (λ (v) (exp (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))))> #<alt (λ (v) (exp (log (* (pow (cbrt (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0)))) 2) (cbrt (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))))))> #<alt (λ (v) (pow (exp (sqrt (log (acos (/ (- 1.0 (* 1 (* 5.0 (* v v)))) (- (* v v) 1.0)))))) (sqrt (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0)))))))>)
1.775 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
1.775 * [simplify]: Simplifying:
  (pow (exp (sqrt (log (acos (/ (- 1.0 (* 1 (* 5.0 (* v v)))) (- (* v v) 1.0)))))) (sqrt (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))))
1.775 * [simplify]: Sending expressions to egg_math:
 (pow (exp (sqrt (log (acos (/ (- h0 (* 1 (* h2 (* h1 h1)))) (- (* h1 h1) h0)))))) (sqrt (log (acos (/ (- h0 (log (exp (* h2 (* h1 h1))))) (- (* h1 h1) h0))))))
1.776 * * [simplify]: iteration  0 :  26  enodes  (cost  23 )
1.776 * * [simplify]: iteration  1 :  28  enodes  (cost  23 )
1.776 * * [simplify]: iteration  2 :  28  enodes  (cost  23 )
4.513 * [regime-testing]: Baseline error score: 0.5680963192910669
4.514 * [regime-testing]: Oracle error score: 0.5458649968480144
4.515 * [regime-testing]: End program error score: 0.5680963192910669