25.938 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.081 * * * [progress]: [2/2] Setting up program.
0.083 * [progress]: [Phase 2 of 3] Improving.
0.083 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
0.085 * * [simplify]: iteration  0 :  19  enodes  (cost  7 )
0.087 * * [simplify]: iteration  1 :  42  enodes  (cost  7 )
0.088 * * [simplify]: iteration  2 :  77  enodes  (cost  7 )
0.090 * * [simplify]: iteration  3 :  146  enodes  (cost  7 )
0.093 * * [simplify]: iteration  4 :  242  enodes  (cost  7 )
0.097 * * [simplify]: iteration  5 :  417  enodes  (cost  7 )
0.107 * * [simplify]: iteration  6 :  2776  enodes  (cost  7 )
0.183 * * [simplify]: iteration  7 :  5002  enodes  (cost  7 )
0.183 * [simplify]: Simplified to:
   (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
0.183 * * [progress]: iteration 1 / 4
0.183 * * * [progress]: picking best candidate
0.185 * * * * [pick]: Picked  #<alt (λ (v) (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))>
0.185 * * * [progress]: localizing error
0.193 * * * [progress]: generating rewritten candidates
0.193 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.194 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2)
0.197 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
0.202 * * * [progress]: generating series expansions
0.202 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.202 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in (v) around 0
0.202 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
0.203 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
0.204 * [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.204 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
0.204 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
0.205 * [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.205 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
0.205 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
0.206 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2)
0.206 * [approximate]: Taking taylor expansion of (* 5.0 (pow v 2)) in (v) around 0
0.206 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
0.206 * [taylor]: Taking taylor expansion of 5.0 in v
0.206 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.206 * [taylor]: Taking taylor expansion of v in v
0.206 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
0.206 * [taylor]: Taking taylor expansion of 5.0 in v
0.206 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.206 * [taylor]: Taking taylor expansion of v in v
0.214 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
0.214 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
0.214 * [taylor]: Taking taylor expansion of 5.0 in v
0.214 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.214 * [taylor]: Taking taylor expansion of v in v
0.214 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
0.214 * [taylor]: Taking taylor expansion of 5.0 in v
0.214 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.214 * [taylor]: Taking taylor expansion of v in v
0.222 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
0.222 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
0.222 * [taylor]: Taking taylor expansion of 5.0 in v
0.222 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.222 * [taylor]: Taking taylor expansion of v in v
0.222 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
0.222 * [taylor]: Taking taylor expansion of 5.0 in v
0.222 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.222 * [taylor]: Taking taylor expansion of v in v
0.229 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
0.230 * [approximate]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)) in (v) around 0
0.230 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)) in v
0.230 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (pow v 2))) in v
0.230 * [taylor]: Taking taylor expansion of 1.0 in v
0.230 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
0.230 * [taylor]: Taking taylor expansion of 5.0 in v
0.230 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.230 * [taylor]: Taking taylor expansion of v in v
0.230 * [taylor]: Taking taylor expansion of (- (pow v 2) 1.0) in v
0.230 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.230 * [taylor]: Taking taylor expansion of v in v
0.230 * [taylor]: Taking taylor expansion of 1.0 in v
0.231 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)) in v
0.231 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (pow v 2))) in v
0.231 * [taylor]: Taking taylor expansion of 1.0 in v
0.231 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
0.231 * [taylor]: Taking taylor expansion of 5.0 in v
0.231 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.231 * [taylor]: Taking taylor expansion of v in v
0.231 * [taylor]: Taking taylor expansion of (- (pow v 2) 1.0) in v
0.232 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.232 * [taylor]: Taking taylor expansion of v in v
0.232 * [taylor]: Taking taylor expansion of 1.0 in v
0.249 * [approximate]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)) in (v) around 0
0.249 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)) in v
0.249 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in v
0.249 * [taylor]: Taking taylor expansion of 1.0 in v
0.249 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in v
0.249 * [taylor]: Taking taylor expansion of 5.0 in v
0.249 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.249 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.249 * [taylor]: Taking taylor expansion of v in v
0.250 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1.0) in v
0.250 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.250 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.250 * [taylor]: Taking taylor expansion of v in v
0.250 * [taylor]: Taking taylor expansion of 1.0 in v
0.256 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)) in v
0.256 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in v
0.256 * [taylor]: Taking taylor expansion of 1.0 in v
0.256 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in v
0.256 * [taylor]: Taking taylor expansion of 5.0 in v
0.256 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.256 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.256 * [taylor]: Taking taylor expansion of v in v
0.257 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1.0) in v
0.257 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.257 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.257 * [taylor]: Taking taylor expansion of v in v
0.257 * [taylor]: Taking taylor expansion of 1.0 in v
0.282 * [approximate]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)) in (v) around 0
0.282 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)) in v
0.282 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in v
0.282 * [taylor]: Taking taylor expansion of 1.0 in v
0.282 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in v
0.282 * [taylor]: Taking taylor expansion of 5.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.283 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1.0) in v
0.283 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.283 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.283 * [taylor]: Taking taylor expansion of v in v
0.283 * [taylor]: Taking taylor expansion of 1.0 in v
0.285 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)) in v
0.285 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in v
0.285 * [taylor]: Taking taylor expansion of 1.0 in v
0.285 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in v
0.285 * [taylor]: Taking taylor expansion of 5.0 in v
0.285 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.285 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.285 * [taylor]: Taking taylor expansion of v in v
0.286 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1.0) in v
0.286 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.286 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.286 * [taylor]: Taking taylor expansion of v in v
0.286 * [taylor]: Taking taylor expansion of 1.0 in v
0.310 * * * [progress]: simplifying candidates
0.311 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ PI 2)
  (asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (* 5.0 v)
  (* 5.0 v)
  (- (- 1.0 (* 5.0 (* v v))))
  (- (- (* v v) 1.0))
  (/ 1.0 (- (* v v) 1.0))
  (/ (* 5.0 (* v v)) (- (* v v) 1.0))
  (/ 1 (- (* v v) 1.0))
  (/ (- (* 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.314 * * [simplify]: iteration  0 :  157  enodes  (cost  119 )
0.317 * * [simplify]: iteration  1 :  578  enodes  (cost  117 )
0.328 * * [simplify]: iteration  2 :  2156  enodes  (cost  114 )
0.378 * * [simplify]: iteration  3 :  5001  enodes  (cost  114 )
0.379 * [simplify]: Simplified to:
   (/ PI 2)
  (asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (* 5.0 v)
  (* 5.0 v)
  (- (- 1.0 (* 5.0 (* v v))))
  (- (- (* v v) 1.0))
  (/ 1.0 (- (pow v 2) 1.0))
  (/ (* 5.0 (* v v)) (- (* v v) 1.0))
  (/ 1 (- (* v v) 1.0))
  (/ (- (* 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 (pow v 2))) (+ (- (* 1.0 1.0)) (pow v 4)))
  (* (+ (* (* 5.0 (* v v)) (+ (* 5.0 (* v v)) 1.0)) (* 1.0 1.0)) (- (* v v) 1.0))
  (* (- (* 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 (* v v))
  (* 5.0 (* v v))
  (* 5.0 (* v v))
  (- (+ (* 4.0 (pow v 2)) (* 4.0 (pow v 4))) 1.0)
  (- (- (/ (- 4.0) (pow v 2)) 5.0) (/ 4.0 (pow v 4)))
  (- (- (/ (- 4.0) (pow v 2)) 5.0) (/ 4.0 (pow v 4)))
0.379 * * * [progress]: adding candidates to table
0.419 * * [progress]: iteration 2 / 4
0.419 * * * [progress]: picking best candidate
0.421 * * * * [pick]: Picked  #<alt (λ (v) (acos (* (/ (- 1.0 (* 5.0 (pow v 2))) (+ (- (* 1.0 1.0)) (pow v 4))) (+ (* v v) 1.0))))>
0.421 * * * [progress]: localizing error
0.436 * * * [progress]: generating rewritten candidates
0.436 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.438 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
0.441 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
0.447 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.647 * * * [progress]: generating series expansions
0.647 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.648 * [approximate]: Taking taylor expansion of (acos (/ (* (- 1.0 (* 5.0 (pow v 2))) (+ (pow v 2) 1.0)) (- (pow v 4) 1.0))) in (v) around 0
0.648 * [taylor]: Taking taylor expansion of (acos (/ (* (- 1.0 (* 5.0 (pow v 2))) (+ (pow v 2) 1.0)) (- (pow v 4) 1.0))) in v
0.648 * [taylor]: Taking taylor expansion of (acos (/ (* (- 1.0 (* 5.0 (pow v 2))) (+ (pow v 2) 1.0)) (- (pow v 4) 1.0))) in v
0.650 * [approximate]: Taking taylor expansion of (acos (/ (* (+ 1.0 (/ 1 (pow v 2))) (- 1.0 (* 5.0 (/ 1 (pow v 2))))) (- (/ 1 (pow v 4)) 1.0))) in (v) around 0
0.650 * [taylor]: Taking taylor expansion of (acos (/ (* (+ 1.0 (/ 1 (pow v 2))) (- 1.0 (* 5.0 (/ 1 (pow v 2))))) (- (/ 1 (pow v 4)) 1.0))) in v
0.650 * [taylor]: Taking taylor expansion of (acos (/ (* (+ 1.0 (/ 1 (pow v 2))) (- 1.0 (* 5.0 (/ 1 (pow v 2))))) (- (/ 1 (pow v 4)) 1.0))) in v
0.652 * [approximate]: Taking taylor expansion of (acos (/ (* (+ 1.0 (/ 1 (pow v 2))) (- 1.0 (* 5.0 (/ 1 (pow v 2))))) (- (/ 1 (pow v 4)) 1.0))) in (v) around 0
0.652 * [taylor]: Taking taylor expansion of (acos (/ (* (+ 1.0 (/ 1 (pow v 2))) (- 1.0 (* 5.0 (/ 1 (pow v 2))))) (- (/ 1 (pow v 4)) 1.0))) in v
0.653 * [taylor]: Taking taylor expansion of (acos (/ (* (+ 1.0 (/ 1 (pow v 2))) (- 1.0 (* 5.0 (/ 1 (pow v 2))))) (- (/ 1 (pow v 4)) 1.0))) in v
0.654 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
0.654 * [approximate]: Taking taylor expansion of (* 5.0 (pow v 2)) in (v) around 0
0.654 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
0.654 * [taylor]: Taking taylor expansion of 5.0 in v
0.654 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.654 * [taylor]: Taking taylor expansion of v in v
0.654 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
0.654 * [taylor]: Taking taylor expansion of 5.0 in v
0.654 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.654 * [taylor]: Taking taylor expansion of v in v
0.662 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
0.662 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
0.662 * [taylor]: Taking taylor expansion of 5.0 in v
0.662 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.662 * [taylor]: Taking taylor expansion of v in v
0.663 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
0.663 * [taylor]: Taking taylor expansion of 5.0 in v
0.663 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.663 * [taylor]: Taking taylor expansion of v in v
0.670 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
0.670 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
0.670 * [taylor]: Taking taylor expansion of 5.0 in v
0.670 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.670 * [taylor]: Taking taylor expansion of v in v
0.671 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
0.671 * [taylor]: Taking taylor expansion of 5.0 in v
0.671 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.671 * [taylor]: Taking taylor expansion of v in v
0.678 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
0.679 * [approximate]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 4) 1.0)) in (v) around 0
0.679 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 4) 1.0)) in v
0.679 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (pow v 2))) in v
0.679 * [taylor]: Taking taylor expansion of 1.0 in v
0.679 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
0.679 * [taylor]: Taking taylor expansion of 5.0 in v
0.679 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.679 * [taylor]: Taking taylor expansion of v in v
0.679 * [taylor]: Taking taylor expansion of (- (pow v 4) 1.0) in v
0.679 * [taylor]: Taking taylor expansion of (pow v 4) in v
0.679 * [taylor]: Taking taylor expansion of v in v
0.679 * [taylor]: Taking taylor expansion of 1.0 in v
0.681 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 4) 1.0)) in v
0.681 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (pow v 2))) in v
0.681 * [taylor]: Taking taylor expansion of 1.0 in v
0.681 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
0.681 * [taylor]: Taking taylor expansion of 5.0 in v
0.681 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.681 * [taylor]: Taking taylor expansion of v in v
0.681 * [taylor]: Taking taylor expansion of (- (pow v 4) 1.0) in v
0.681 * [taylor]: Taking taylor expansion of (pow v 4) in v
0.681 * [taylor]: Taking taylor expansion of v in v
0.681 * [taylor]: Taking taylor expansion of 1.0 in v
0.697 * [approximate]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 4)) 1.0)) in (v) around 0
0.697 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 4)) 1.0)) in v
0.697 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in v
0.697 * [taylor]: Taking taylor expansion of 1.0 in v
0.697 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in v
0.697 * [taylor]: Taking taylor expansion of 5.0 in v
0.697 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.697 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.697 * [taylor]: Taking taylor expansion of v in v
0.698 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 4)) 1.0) in v
0.698 * [taylor]: Taking taylor expansion of (/ 1 (pow v 4)) in v
0.698 * [taylor]: Taking taylor expansion of (pow v 4) in v
0.698 * [taylor]: Taking taylor expansion of v in v
0.698 * [taylor]: Taking taylor expansion of 1.0 in v
0.700 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 4)) 1.0)) in v
0.700 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in v
0.700 * [taylor]: Taking taylor expansion of 1.0 in v
0.700 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in v
0.700 * [taylor]: Taking taylor expansion of 5.0 in v
0.700 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.700 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.700 * [taylor]: Taking taylor expansion of v in v
0.701 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 4)) 1.0) in v
0.701 * [taylor]: Taking taylor expansion of (/ 1 (pow v 4)) in v
0.701 * [taylor]: Taking taylor expansion of (pow v 4) in v
0.701 * [taylor]: Taking taylor expansion of v in v
0.701 * [taylor]: Taking taylor expansion of 1.0 in v
0.729 * [approximate]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 4)) 1.0)) in (v) around 0
0.729 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 4)) 1.0)) in v
0.729 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in v
0.729 * [taylor]: Taking taylor expansion of 1.0 in v
0.729 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in v
0.729 * [taylor]: Taking taylor expansion of 5.0 in v
0.729 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.729 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.729 * [taylor]: Taking taylor expansion of v in v
0.729 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 4)) 1.0) in v
0.729 * [taylor]: Taking taylor expansion of (/ 1 (pow v 4)) in v
0.729 * [taylor]: Taking taylor expansion of (pow v 4) in v
0.729 * [taylor]: Taking taylor expansion of v in v
0.730 * [taylor]: Taking taylor expansion of 1.0 in v
0.732 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 4)) 1.0)) in v
0.732 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in v
0.732 * [taylor]: Taking taylor expansion of 1.0 in v
0.732 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in v
0.732 * [taylor]: Taking taylor expansion of 5.0 in v
0.732 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.732 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.732 * [taylor]: Taking taylor expansion of v in v
0.732 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 4)) 1.0) in v
0.732 * [taylor]: Taking taylor expansion of (/ 1 (pow v 4)) in v
0.732 * [taylor]: Taking taylor expansion of (pow v 4) in v
0.732 * [taylor]: Taking taylor expansion of v in v
0.733 * [taylor]: Taking taylor expansion of 1.0 in v
0.756 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
0.757 * [approximate]: Taking taylor expansion of (/ (* (- 1.0 (* 5.0 (pow v 2))) (+ (pow v 2) 1.0)) (- (pow v 4) 1.0)) in (v) around 0
0.757 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (* 5.0 (pow v 2))) (+ (pow v 2) 1.0)) (- (pow v 4) 1.0)) in v
0.757 * [taylor]: Taking taylor expansion of (* (- 1.0 (* 5.0 (pow v 2))) (+ (pow v 2) 1.0)) in v
0.757 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (pow v 2))) in v
0.757 * [taylor]: Taking taylor expansion of 1.0 in v
0.757 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
0.757 * [taylor]: Taking taylor expansion of 5.0 in v
0.757 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.757 * [taylor]: Taking taylor expansion of v in v
0.757 * [taylor]: Taking taylor expansion of (+ (pow v 2) 1.0) in v
0.757 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.757 * [taylor]: Taking taylor expansion of v in v
0.757 * [taylor]: Taking taylor expansion of 1.0 in v
0.757 * [taylor]: Taking taylor expansion of (- (pow v 4) 1.0) in v
0.757 * [taylor]: Taking taylor expansion of (pow v 4) in v
0.757 * [taylor]: Taking taylor expansion of v in v
0.757 * [taylor]: Taking taylor expansion of 1.0 in v
0.759 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (* 5.0 (pow v 2))) (+ (pow v 2) 1.0)) (- (pow v 4) 1.0)) in v
0.759 * [taylor]: Taking taylor expansion of (* (- 1.0 (* 5.0 (pow v 2))) (+ (pow v 2) 1.0)) in v
0.759 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (pow v 2))) in v
0.759 * [taylor]: Taking taylor expansion of 1.0 in v
0.759 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
0.759 * [taylor]: Taking taylor expansion of 5.0 in v
0.759 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.759 * [taylor]: Taking taylor expansion of v in v
0.759 * [taylor]: Taking taylor expansion of (+ (pow v 2) 1.0) in v
0.759 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.759 * [taylor]: Taking taylor expansion of v in v
0.759 * [taylor]: Taking taylor expansion of 1.0 in v
0.759 * [taylor]: Taking taylor expansion of (- (pow v 4) 1.0) in v
0.759 * [taylor]: Taking taylor expansion of (pow v 4) in v
0.760 * [taylor]: Taking taylor expansion of v in v
0.760 * [taylor]: Taking taylor expansion of 1.0 in v
0.784 * [approximate]: Taking taylor expansion of (/ (* (+ 1.0 (/ 1 (pow v 2))) (- 1.0 (* 5.0 (/ 1 (pow v 2))))) (- (/ 1 (pow v 4)) 1.0)) in (v) around 0
0.784 * [taylor]: Taking taylor expansion of (/ (* (+ 1.0 (/ 1 (pow v 2))) (- 1.0 (* 5.0 (/ 1 (pow v 2))))) (- (/ 1 (pow v 4)) 1.0)) in v
0.784 * [taylor]: Taking taylor expansion of (* (+ 1.0 (/ 1 (pow v 2))) (- 1.0 (* 5.0 (/ 1 (pow v 2))))) in v
0.784 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (pow v 2))) in v
0.784 * [taylor]: Taking taylor expansion of 1.0 in v
0.785 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.785 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.785 * [taylor]: Taking taylor expansion of v in v
0.785 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in v
0.785 * [taylor]: Taking taylor expansion of 1.0 in v
0.785 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in v
0.785 * [taylor]: Taking taylor expansion of 5.0 in v
0.785 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.785 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.785 * [taylor]: Taking taylor expansion of v in v
0.786 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 4)) 1.0) in v
0.786 * [taylor]: Taking taylor expansion of (/ 1 (pow v 4)) in v
0.786 * [taylor]: Taking taylor expansion of (pow v 4) in v
0.786 * [taylor]: Taking taylor expansion of v in v
0.786 * [taylor]: Taking taylor expansion of 1.0 in v
0.789 * [taylor]: Taking taylor expansion of (/ (* (+ 1.0 (/ 1 (pow v 2))) (- 1.0 (* 5.0 (/ 1 (pow v 2))))) (- (/ 1 (pow v 4)) 1.0)) in v
0.789 * [taylor]: Taking taylor expansion of (* (+ 1.0 (/ 1 (pow v 2))) (- 1.0 (* 5.0 (/ 1 (pow v 2))))) in v
0.789 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (pow v 2))) in v
0.789 * [taylor]: Taking taylor expansion of 1.0 in v
0.789 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.789 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.789 * [taylor]: Taking taylor expansion of v in v
0.789 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in v
0.789 * [taylor]: Taking taylor expansion of 1.0 in v
0.789 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in v
0.789 * [taylor]: Taking taylor expansion of 5.0 in v
0.789 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.789 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.789 * [taylor]: Taking taylor expansion of v in v
0.790 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 4)) 1.0) in v
0.790 * [taylor]: Taking taylor expansion of (/ 1 (pow v 4)) in v
0.790 * [taylor]: Taking taylor expansion of (pow v 4) in v
0.790 * [taylor]: Taking taylor expansion of v in v
0.790 * [taylor]: Taking taylor expansion of 1.0 in v
0.829 * [approximate]: Taking taylor expansion of (/ (* (+ 1.0 (/ 1 (pow v 2))) (- 1.0 (* 5.0 (/ 1 (pow v 2))))) (- (/ 1 (pow v 4)) 1.0)) in (v) around 0
0.829 * [taylor]: Taking taylor expansion of (/ (* (+ 1.0 (/ 1 (pow v 2))) (- 1.0 (* 5.0 (/ 1 (pow v 2))))) (- (/ 1 (pow v 4)) 1.0)) in v
0.829 * [taylor]: Taking taylor expansion of (* (+ 1.0 (/ 1 (pow v 2))) (- 1.0 (* 5.0 (/ 1 (pow v 2))))) in v
0.829 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (pow v 2))) in v
0.829 * [taylor]: Taking taylor expansion of 1.0 in v
0.829 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.829 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.829 * [taylor]: Taking taylor expansion of v in v
0.830 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in v
0.830 * [taylor]: Taking taylor expansion of 1.0 in v
0.830 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in v
0.830 * [taylor]: Taking taylor expansion of 5.0 in v
0.830 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.830 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.830 * [taylor]: Taking taylor expansion of v in v
0.830 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 4)) 1.0) in v
0.830 * [taylor]: Taking taylor expansion of (/ 1 (pow v 4)) in v
0.830 * [taylor]: Taking taylor expansion of (pow v 4) in v
0.830 * [taylor]: Taking taylor expansion of v in v
0.831 * [taylor]: Taking taylor expansion of 1.0 in v
0.833 * [taylor]: Taking taylor expansion of (/ (* (+ 1.0 (/ 1 (pow v 2))) (- 1.0 (* 5.0 (/ 1 (pow v 2))))) (- (/ 1 (pow v 4)) 1.0)) in v
0.833 * [taylor]: Taking taylor expansion of (* (+ 1.0 (/ 1 (pow v 2))) (- 1.0 (* 5.0 (/ 1 (pow v 2))))) in v
0.833 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (pow v 2))) in v
0.833 * [taylor]: Taking taylor expansion of 1.0 in v
0.833 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.833 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.833 * [taylor]: Taking taylor expansion of v in v
0.834 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in v
0.834 * [taylor]: Taking taylor expansion of 1.0 in v
0.834 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in v
0.834 * [taylor]: Taking taylor expansion of 5.0 in v
0.834 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.834 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.834 * [taylor]: Taking taylor expansion of v in v
0.835 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 4)) 1.0) in v
0.835 * [taylor]: Taking taylor expansion of (/ 1 (pow v 4)) in v
0.835 * [taylor]: Taking taylor expansion of (pow v 4) in v
0.835 * [taylor]: Taking taylor expansion of v in v
0.835 * [taylor]: Taking taylor expansion of 1.0 in v
0.871 * * * [progress]: simplifying candidates
0.872 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ PI 2)
  (asin (* (/ (- 1.0 (* 5.0 (pow v 2))) (+ (- (* 1.0 1.0)) (pow v 4))) (+ (* v v) 1.0)))
  (* 5.0 v)
  (* 5.0 (pow v (/ 2 2)))
  (- (- 1.0 (* 5.0 (pow v 2))))
  (- (+ (- (* 1.0 1.0)) (pow v 4)))
  (/ 1.0 (+ (- (* 1.0 1.0)) (pow v 4)))
  (/ (* 5.0 (pow v 2)) (+ (- (* 1.0 1.0)) (pow v 4)))
  (/ 1 (+ (- (* 1.0 1.0)) (pow v 4)))
  (/ (+ (- (* 1.0 1.0)) (pow v 4)) (- 1.0 (* 5.0 (pow v 2))))
  (/ (- 1.0 (* 5.0 (pow v 2))) (+ (pow (- (* 1.0 1.0)) 3) (pow (pow v 4) 3)))
  (/ (- 1.0 (* 5.0 (pow v 2))) (- (* (- (* 1.0 1.0)) (- (* 1.0 1.0))) (* (pow v 4) (pow v 4))))
  (* (+ (- (* 1.0 1.0)) (pow v 4)) (+ (* 1.0 1.0) (+ (* (* 5.0 (pow v 2)) (* 5.0 (pow v 2))) (* 1.0 (* 5.0 (pow v 2))))))
  (* (+ (- (* 1.0 1.0)) (pow v 4)) (+ 1.0 (* 5.0 (pow v 2))))
  (* (- 1.0 (* 5.0 (pow v 2))) (+ (pow (* v v) 3) (pow 1.0 3)))
  (* (+ (- (* 1.0 1.0)) (pow v 4)) (+ (* (* v v) (* v v)) (- (* 1.0 1.0) (* (* v v) 1.0))))
  (* (- 1.0 (* 5.0 (pow v 2))) (- (* (* v v) (* v v)) (* 1.0 1.0)))
  (* (+ (- (* 1.0 1.0)) (pow v 4)) (- (* v v) 1.0))
  (* (- (- 1.0 (* 5.0 (pow v 2)))) (+ (pow (* v v) 3) (pow 1.0 3)))
  (* (- (+ (- (* 1.0 1.0)) (pow v 4))) (+ (* (* v v) (* v v)) (- (* 1.0 1.0) (* (* v v) 1.0))))
  (* (- (- 1.0 (* 5.0 (pow v 2)))) (- (* (* v v) (* v v)) (* 1.0 1.0)))
  (* (- (+ (- (* 1.0 1.0)) (pow v 4))) (- (* v v) 1.0))
  (* 1 (+ (pow (* v v) 3) (pow 1.0 3)))
  (* (/ (+ (- (* 1.0 1.0)) (pow v 4)) (- 1.0 (* 5.0 (pow v 2)))) (+ (* (* v v) (* v v)) (- (* 1.0 1.0) (* (* v v) 1.0))))
  (* 1 (- (* (* v v) (* v v)) (* 1.0 1.0)))
  (* (/ (+ (- (* 1.0 1.0)) (pow v 4)) (- 1.0 (* 5.0 (pow v 2)))) (- (* v v) 1.0))
  (* (- (pow 1.0 3) (pow (* 5.0 (pow v 2)) 3)) (+ (pow (* v v) 3) (pow 1.0 3)))
  (* (* (+ (- (* 1.0 1.0)) (pow v 4)) (+ (* 1.0 1.0) (+ (* (* 5.0 (pow v 2)) (* 5.0 (pow v 2))) (* 1.0 (* 5.0 (pow v 2)))))) (+ (* (* v v) (* v v)) (- (* 1.0 1.0) (* (* v v) 1.0))))
  (* (- (pow 1.0 3) (pow (* 5.0 (pow v 2)) 3)) (- (* (* v v) (* v v)) (* 1.0 1.0)))
  (* (* (+ (- (* 1.0 1.0)) (pow v 4)) (+ (* 1.0 1.0) (+ (* (* 5.0 (pow v 2)) (* 5.0 (pow v 2))) (* 1.0 (* 5.0 (pow v 2)))))) (- (* v v) 1.0))
  (* (- (* 1.0 1.0) (* (* 5.0 (pow v 2)) (* 5.0 (pow v 2)))) (+ (pow (* v v) 3) (pow 1.0 3)))
  (* (* (+ (- (* 1.0 1.0)) (pow v 4)) (+ 1.0 (* 5.0 (pow v 2)))) (+ (* (* v v) (* v v)) (- (* 1.0 1.0) (* (* v v) 1.0))))
  (* (- (* 1.0 1.0) (* (* 5.0 (pow v 2)) (* 5.0 (pow v 2)))) (- (* (* v v) (* v v)) (* 1.0 1.0)))
  (* (* (+ (- (* 1.0 1.0)) (pow v 4)) (+ 1.0 (* 5.0 (pow v 2)))) (- (* v v) 1.0))
  (* (/ (- 1.0 (* 5.0 (pow v 2))) (+ (- (* 1.0 1.0)) (pow v 4))) (* v v))
  (* (/ (- 1.0 (* 5.0 (pow v 2))) (+ (- (* 1.0 1.0)) (pow v 4))) 1.0)
  (* (/ (- 1.0 (* 5.0 (pow v 2))) (+ (- (* 1.0 1.0)) (pow v 4))) 1.0)
  (* (/ (- 1.0 (* 5.0 (pow v 2))) (+ (- (* 1.0 1.0)) (pow v 4))) (* v v))
  (* (* v v) (/ (- 1.0 (* 5.0 (pow v 2))) (+ (- (* 1.0 1.0)) (pow v 4))))
  (* 1.0 (/ (- 1.0 (* 5.0 (pow v 2))) (+ (- (* 1.0 1.0)) (pow v 4))))
  (* 1.0 (/ (- 1.0 (* 5.0 (pow v 2))) (+ (- (* 1.0 1.0)) (pow v 4))))
  (* (* v v) (/ (- 1.0 (* 5.0 (pow v 2))) (+ (- (* 1.0 1.0)) (pow v 4))))
  (* (/ 1 (+ (- (* 1.0 1.0)) (pow v 4))) (+ (* v v) 1.0))
  (* (+ (* (- (* 1.0 1.0)) (- (* 1.0 1.0))) (- (* (pow v 4) (pow v 4)) (* (- (* 1.0 1.0)) (pow v 4)))) (+ (* v v) 1.0))
  (* (- (- (* 1.0 1.0)) (pow v 4)) (+ (* v v) 1.0))
  (* (/ (- 1.0 (* 5.0 (pow v 2))) (+ (- (* 1.0 1.0)) (pow v 4))) (+ (pow (* v v) 3) (pow 1.0 3)))
  (* (/ (- 1.0 (* 5.0 (pow v 2))) (+ (- (* 1.0 1.0)) (pow v 4))) (- (* (* v v) (* v v)) (* 1.0 1.0)))
  (* (- 1.0 (* 5.0 (pow v 2))) (+ (* v v) 1.0))
  (* (- (- 1.0 (* 5.0 (pow v 2)))) (+ (* v v) 1.0))
  (* 1 (+ (* v v) 1.0))
  (* (- (pow 1.0 3) (pow (* 5.0 (pow v 2)) 3)) (+ (* v v) 1.0))
  (* (- (* 1.0 1.0) (* (* 5.0 (pow v 2)) (* 5.0 (pow v 2)))) (+ (* v v) 1.0))
  (acos (/ (* (- 1.0 (* 5.0 (pow v 2))) (+ (pow v 2) 1.0)) (- (pow v 4) 1.0)))
  (acos (/ (* (- 1.0 (* 5.0 (pow v 2))) (+ (pow v 2) 1.0)) (- (pow v 4) 1.0)))
  (acos (/ (* (- 1.0 (* 5.0 (pow v 2))) (+ (pow v 2) 1.0)) (- (pow v 4) 1.0)))
  (* 5.0 (pow v 2))
  (* 5.0 (pow v 2))
  (* 5.0 (pow v 2))
  (- (* 5.0 (pow v 2)) (+ (* 1.0 (pow v 4)) 1.0))
  (- (* 1.0 (/ 1 (pow v 4))) (+ (* 5.0 (/ 1 (pow v 6))) (* 5.0 (/ 1 (pow v 2)))))
  (- (* 1.0 (/ 1 (pow v 4))) (+ (* 5.0 (/ 1 (pow v 6))) (* 5.0 (/ 1 (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.878 * * [simplify]: iteration  0 :  474  enodes  (cost  565 )
0.889 * * [simplify]: iteration  1 :  2689  enodes  (cost  551 )
0.951 * * [simplify]: iteration  2 :  5001  enodes  (cost  551 )
0.957 * [simplify]: Simplified to:
   (/ PI 2)
  (asin (* (/ (- 1.0 (* 5.0 (pow v 2))) (+ (- (* 1.0 1.0)) (pow v 4))) (+ (* v v) 1.0)))
  (* v 5.0)
  (* v 5.0)
  (- (- 1.0 (* 5.0 (pow v 2))))
  (- (* 1.0 1.0) (pow v 4))
  (/ 1.0 (+ (- (* 1.0 1.0)) (pow v 4)))
  (/ (* 5.0 (pow v 2)) (+ (- (* 1.0 1.0)) (pow v 4)))
  (/ 1 (+ (- (* 1.0 1.0)) (pow v 4)))
  (/ (+ (- (* 1.0 1.0)) (pow v 4)) (- 1.0 (* 5.0 (pow v 2))))
  (/ (- 1.0 (* 5.0 (pow v 2))) (+ (pow (- (* 1.0 1.0)) 3) (pow (pow v 4) 3)))
  (/ (- 1.0 (* 5.0 (pow v 2))) (- (* (- (* 1.0 1.0)) (- (* 1.0 1.0))) (* (pow v 4) (pow v 4))))
  (* (+ (* (* 5.0 (pow v 2)) (+ (* 5.0 (pow v 2)) 1.0)) (* 1.0 1.0)) (+ (- (* 1.0 1.0)) (pow v 4)))
  (* (+ (- (* 1.0 1.0)) (pow v 4)) (+ 1.0 (* 5.0 (pow v 2))))
  (* (/ (- 1.0 (* 5.0 (pow v 2))) 1) (+ (pow 1.0 3) (pow v 6)))
  (* (+ (* 1.0 (- 1.0 (pow v 2))) (* (* v v) (* v v))) (+ (- (* 1.0 1.0)) (pow v 4)))
  (* (- 1.0 (* 5.0 (pow v 2))) (+ (- (* 1.0 1.0)) (pow v 4)))
  (* (+ (- (* 1.0 1.0)) (pow v 4)) (- (* v v) 1.0))
  (* (- (- 1.0 (* 5.0 (pow v 2)))) (+ (pow (* v v) 3) (pow 1.0 3)))
  (* (+ (* 1.0 (- 1.0 (pow v 2))) (* (* v v) (* v v))) (- (+ (- (* 1.0 1.0)) (pow v 4))))
  (* (- (+ (- (* 1.0 1.0)) (pow v 4))) (- 1.0 (* 5.0 (pow v 2))))
  (* (- (+ (- (* 1.0 1.0)) (pow v 4))) (- (* v v) 1.0))
  (+ (pow 1.0 3) (pow v 6))
  (/ (+ (- (* 1.0 1.0)) (pow v 4)) (/ (- 1.0 (* 5.0 (pow v 2))) (- (* 1.0 1.0) (- (* (* v v) 1.0) (pow v 4)))))
  (+ (- (* 1.0 1.0)) (pow v 4))
  (* (/ (+ (- (* 1.0 1.0)) (pow v 4)) (- 1.0 (* 5.0 (pow v 2)))) (- (* v v) 1.0))
  (* (- (pow 1.0 3) (pow (* 5.0 (pow v 2)) 3)) (+ (pow (* v v) 3) (pow 1.0 3)))
  (* (* (- (* 1.0 1.0) (- (* (* v v) 1.0) (pow v 4))) (+ (* (* 5.0 (pow v 2)) (+ (* 5.0 (pow v 2)) 1.0)) (* 1.0 1.0))) (+ (- (* 1.0 1.0)) (pow v 4)))
  (* (- (pow 1.0 3) (pow (* 5.0 (pow v 2)) 3)) (+ (- (* 1.0 1.0)) (pow v 4)))
  (* (- (* v v) 1.0) (* (+ (* (* 5.0 (pow v 2)) (+ (* 5.0 (pow v 2)) 1.0)) (* 1.0 1.0)) (+ (- (* 1.0 1.0)) (pow v 4))))
  (* (- (* 1.0 1.0) (* (* 5.0 (pow v 2)) (* 5.0 (pow v 2)))) (+ (pow (* v v) 3) (pow 1.0 3)))
  (* (* (- (* 1.0 1.0) (- (* (* v v) 1.0) (pow v 4))) (+ 1.0 (* 5.0 (pow v 2)))) (+ (- (* 1.0 1.0)) (pow v 4)))
  (* (* (+ (- (* 1.0 1.0)) (pow v 4)) (+ 1.0 (* 5.0 (pow v 2)))) (- 1.0 (* 5.0 (pow v 2))))
  (* (* (+ (- (* 1.0 1.0)) (pow v 4)) (+ 1.0 (* 5.0 (pow v 2)))) (- (* v v) 1.0))
  (* (/ (- 1.0 (* 5.0 (pow v 2))) (+ (- (* 1.0 1.0)) (pow v 4))) (* v v))
  (* (/ (- 1.0 (* 5.0 (pow v 2))) (+ (- (* 1.0 1.0)) (pow v 4))) 1.0)
  (* (/ (- 1.0 (* 5.0 (pow v 2))) (+ (- (* 1.0 1.0)) (pow v 4))) 1.0)
  (* (/ (- 1.0 (* 5.0 (pow v 2))) (+ (- (* 1.0 1.0)) (pow v 4))) (* v v))
  (* (/ (- 1.0 (* 5.0 (pow v 2))) (+ (- (* 1.0 1.0)) (pow v 4))) (* v v))
  (* (/ (- 1.0 (* 5.0 (pow v 2))) (+ (- (* 1.0 1.0)) (pow v 4))) 1.0)
  (* (/ (- 1.0 (* 5.0 (pow v 2))) (+ (- (* 1.0 1.0)) (pow v 4))) 1.0)
  (* (/ (- 1.0 (* 5.0 (pow v 2))) (+ (- (* 1.0 1.0)) (pow v 4))) (* v v))
  (/ (+ (* v v) 1.0) (+ (- (* 1.0 1.0)) (pow v 4)))
  (* (+ (* v v) 1.0) (+ (+ (* (* 1.0 1.0) (* 1.0 1.0)) (pow v 8)) (* (* 1.0 1.0) (pow v 4))))
  (* (- (- (* 1.0 1.0)) (pow v 4)) (+ (* v v) 1.0))
  (* (/ (- 1.0 (* 5.0 (pow v 2))) (+ (- (* 1.0 1.0)) (pow v 4))) (+ (pow (* v v) 3) (pow 1.0 3)))
  (/ (* (+ (- (* 1.0 1.0)) (pow v 4)) (- 1.0 (* 5.0 (pow v 2)))) (+ (- (* 1.0 1.0)) (pow v 4)))
  (* (- 1.0 (* 5.0 (pow v 2))) (+ (pow v 2) 1.0))
  (* (- (- 1.0 (* 5.0 (pow v 2)))) (+ (* v v) 1.0))
  (+ (* v v) 1.0)
  (* (- (pow 1.0 3) (pow (* 5.0 (pow v 2)) 3)) (+ (* v v) 1.0))
  (* (- (* 1.0 1.0) (* (* 5.0 (pow v 2)) (* 5.0 (pow v 2)))) (+ (* v v) 1.0))
  (acos (/ (* (- 1.0 (* 5.0 (pow v 2))) (+ (pow v 2) 1.0)) (- (pow v 4) 1.0)))
  (acos (/ (* (- 1.0 (* 5.0 (pow v 2))) (+ (pow v 2) 1.0)) (- (pow v 4) 1.0)))
  (acos (/ (* (- 1.0 (* 5.0 (pow v 2))) (+ (pow v 2) 1.0)) (- (pow v 4) 1.0)))
  (* 5.0 (pow v 2))
  (* 5.0 (pow v 2))
  (* 5.0 (pow v 2))
  (- (* 5.0 (pow v 2)) (+ (* 1.0 (pow v 4)) 1.0))
  (- (* 1.0 (/ 1 (pow v 4))) (+ (* 5.0 (/ 1 (pow v 6))) (* 5.0 (/ 1 (pow v 2)))))
  (- (* 1.0 (/ 1 (pow v 4))) (+ (* 5.0 (/ 1 (pow v 6))) (* 5.0 (/ 1 (pow v 2)))))
  (- (+ (* 4.0 (pow v 2)) (* 4.0 (pow v 4))) 1.0)
  (- (/ (- 4.0) (pow v 2)) (+ (* 4.0 (/ 1 (pow v 4))) 5.0))
  (- (/ (- 4.0) (pow v 2)) (+ (* 4.0 (/ 1 (pow v 4))) 5.0))
0.957 * * * [progress]: adding candidates to table
1.114 * [progress]: [Phase 3 of 3] Extracting.
1.114 * * [regime]: Finding splitpoints for: (#<alt (λ (v) (acos (* (/ (- 1.0 (* 5.0 (pow v 2))) (+ (- (* 1.0 1.0)) (pow v 4))) (+ (* v v) 1.0))))> #<alt (λ (v) (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))>)
1.114 * * * [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.114 * * * * [regimes]: Trying to branch on (* v v) from (#<alt (λ (v) (acos (* (/ (- 1.0 (* 5.0 (pow v 2))) (+ (- (* 1.0 1.0)) (pow v 4))) (+ (* v v) 1.0))))> #<alt (λ (v) (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))>)
1.124 * * * * [regimes]: Trying to branch on (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)) from (#<alt (λ (v) (acos (* (/ (- 1.0 (* 5.0 (pow v 2))) (+ (- (* 1.0 1.0)) (pow v 4))) (+ (* v v) 1.0))))> #<alt (λ (v) (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))>)
1.134 * * * * [regimes]: Trying to branch on (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) from (#<alt (λ (v) (acos (* (/ (- 1.0 (* 5.0 (pow v 2))) (+ (- (* 1.0 1.0)) (pow v 4))) (+ (* v v) 1.0))))> #<alt (λ (v) (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))>)
1.145 * * * * [regimes]: Trying to branch on v from (#<alt (λ (v) (acos (* (/ (- 1.0 (* 5.0 (pow v 2))) (+ (- (* 1.0 1.0)) (pow v 4))) (+ (* v v) 1.0))))> #<alt (λ (v) (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))>)
1.159 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
1.159 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
1.159 * * [simplify]: iteration  0 :  10  enodes  (cost  7 )
1.160 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
1.160 * [simplify]: Simplified to:
   (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
3.615 * [regime-testing]: Baseline error score: 0.5886298971957964
3.615 * [regime-testing]: Oracle error score: 0.5864998801687767
3.616 * [regime-testing]: End program error score: 0.5886298971957964