3.859 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.079 * * * [progress]: [2/2] Setting up program.
0.081 * [progress]: [Phase 2 of 3] Improving.
0.081 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
0.084 * * [simplify]: iteration  0 :  19  enodes  (cost  7 )
0.085 * * [simplify]: iteration  1 :  42  enodes  (cost  7 )
0.087 * * [simplify]: iteration  2 :  77  enodes  (cost  7 )
0.089 * * [simplify]: iteration  3 :  146  enodes  (cost  7 )
0.091 * * [simplify]: iteration  4 :  242  enodes  (cost  7 )
0.095 * * [simplify]: iteration  5 :  417  enodes  (cost  7 )
0.105 * * [simplify]: iteration  6 :  2789  enodes  (cost  7 )
0.176 * * [simplify]: iteration  7 :  5001  enodes  (cost  7 )
0.176 * [simplify]: Simplified to:
   (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
0.176 * * [progress]: iteration 1 / 4
0.177 * * * [progress]: picking best candidate
0.178 * * * * [pick]: Picked  #<alt (λ (v) (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))>
0.178 * * * [progress]: localizing error
0.186 * * * [progress]: generating rewritten candidates
0.186 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.186 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2)
0.193 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
0.205 * * * [progress]: generating series expansions
0.206 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.206 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in (v) around 0
0.206 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
0.206 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
0.207 * [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.207 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
0.207 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
0.208 * [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.208 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
0.208 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
0.209 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2)
0.209 * [approximate]: Taking taylor expansion of (* 5.0 (pow v 2)) in (v) around 0
0.209 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
0.209 * [taylor]: Taking taylor expansion of 5.0 in v
0.209 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.209 * [taylor]: Taking taylor expansion of v in v
0.209 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
0.209 * [taylor]: Taking taylor expansion of 5.0 in v
0.209 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.209 * [taylor]: Taking taylor expansion of v in v
0.217 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
0.217 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
0.217 * [taylor]: Taking taylor expansion of 5.0 in v
0.217 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.217 * [taylor]: Taking taylor expansion of v in v
0.218 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
0.218 * [taylor]: Taking taylor expansion of 5.0 in v
0.218 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.218 * [taylor]: Taking taylor expansion of v in v
0.225 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
0.225 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
0.225 * [taylor]: Taking taylor expansion of 5.0 in v
0.225 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.225 * [taylor]: Taking taylor expansion of v in v
0.226 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
0.226 * [taylor]: Taking taylor expansion of 5.0 in v
0.226 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.226 * [taylor]: Taking taylor expansion of v in v
0.233 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
0.233 * [approximate]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)) in (v) around 0
0.233 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)) in v
0.233 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (pow v 2))) in v
0.233 * [taylor]: Taking taylor expansion of 1.0 in v
0.233 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
0.233 * [taylor]: Taking taylor expansion of 5.0 in v
0.234 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.234 * [taylor]: Taking taylor expansion of v in v
0.234 * [taylor]: Taking taylor expansion of (- (pow v 2) 1.0) in v
0.234 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.234 * [taylor]: Taking taylor expansion of v in v
0.234 * [taylor]: Taking taylor expansion of 1.0 in v
0.235 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)) in v
0.235 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (pow v 2))) in v
0.235 * [taylor]: Taking taylor expansion of 1.0 in v
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 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.235 * [taylor]: Taking taylor expansion of v in v
0.235 * [taylor]: Taking taylor expansion of (- (pow v 2) 1.0) in v
0.235 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.235 * [taylor]: Taking taylor expansion of v in v
0.235 * [taylor]: Taking taylor expansion of 1.0 in v
0.258 * [approximate]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)) in (v) around 0
0.258 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)) in v
0.258 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in v
0.258 * [taylor]: Taking taylor expansion of 1.0 in v
0.258 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in v
0.258 * [taylor]: Taking taylor expansion of 5.0 in v
0.258 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.258 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.258 * [taylor]: Taking taylor expansion of v in v
0.258 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1.0) in v
0.258 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.258 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.258 * [taylor]: Taking taylor expansion of v in v
0.259 * [taylor]: Taking taylor expansion of 1.0 in v
0.261 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)) in v
0.261 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in v
0.261 * [taylor]: Taking taylor expansion of 1.0 in v
0.261 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in v
0.261 * [taylor]: Taking taylor expansion of 5.0 in v
0.261 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) 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 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1.0) in v
0.261 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) 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.262 * [taylor]: Taking taylor expansion of 1.0 in v
0.288 * [approximate]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)) in (v) around 0
0.288 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)) in v
0.288 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in v
0.288 * [taylor]: Taking taylor expansion of 1.0 in v
0.288 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in v
0.288 * [taylor]: Taking taylor expansion of 5.0 in v
0.288 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.288 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.289 * [taylor]: Taking taylor expansion of v in v
0.289 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1.0) in v
0.289 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.289 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.289 * [taylor]: Taking taylor expansion of v in v
0.290 * [taylor]: Taking taylor expansion of 1.0 in v
0.291 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)) in v
0.291 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in v
0.291 * [taylor]: Taking taylor expansion of 1.0 in v
0.291 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in v
0.291 * [taylor]: Taking taylor expansion of 5.0 in v
0.291 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.291 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.291 * [taylor]: Taking taylor expansion of v in v
0.292 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1.0) in v
0.292 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.292 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.292 * [taylor]: Taking taylor expansion of v in v
0.292 * [taylor]: Taking taylor expansion of 1.0 in v
0.317 * * * [progress]: simplifying candidates
0.318 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ 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.323 * * [simplify]: iteration  0 :  336  enodes  (cost  587 )
0.330 * * [simplify]: iteration  1 :  1261  enodes  (cost  535 )
0.353 * * [simplify]: iteration  2 :  5002  enodes  (cost  531 )
0.356 * [simplify]: Simplified to:
   (/ 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))))
  (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 3)
  (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 (* v v)))
  (log (* 5.0 (* v v)))
  (log (* 5.0 (* v v)))
  (exp (* 5.0 (* v v)))
  (* (pow 5.0 3) (pow v 6))
  (* (pow 5.0 3) (pow v 6))
  (* (cbrt (* 5.0 (* v v))) (cbrt (* 5.0 (* v v))))
  (cbrt (* 5.0 (* v v)))
  (* (pow 5.0 3) (pow v 6))
  (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))) (- (* 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)))
  (pow (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)) 3)
  (* (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)))
  (pow (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)) 3)
  (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 (- (pow v 2) 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)))))
  (/ (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))))
  (/ (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.0 (* 5.0 (pow v 2))) (- (pow v 2) 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.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))) (+ (- (* 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) (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.357 * * * [progress]: adding candidates to table
0.517 * * [progress]: iteration 2 / 4
0.517 * * * [progress]: picking best candidate
0.523 * * * * [pick]: Picked  #<alt (λ (v) (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))>
0.523 * * * [progress]: localizing error
0.532 * * * [progress]: generating rewritten candidates
0.532 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.533 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 2)
0.540 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2)
0.547 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.585 * * * [progress]: generating series expansions
0.585 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.585 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in (v) around 0
0.585 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
0.586 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
0.587 * [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.587 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
0.587 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
0.588 * [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.588 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
0.588 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
0.589 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2)
0.589 * [approximate]: Taking taylor expansion of (* 5.0 (pow v 2)) in (v) around 0
0.589 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
0.589 * [taylor]: Taking taylor expansion of 5.0 in v
0.589 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.589 * [taylor]: Taking taylor expansion of v in v
0.589 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
0.589 * [taylor]: Taking taylor expansion of 5.0 in v
0.589 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.589 * [taylor]: Taking taylor expansion of v in v
0.602 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
0.602 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
0.602 * [taylor]: Taking taylor expansion of 5.0 in v
0.602 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.602 * [taylor]: Taking taylor expansion of v in v
0.602 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
0.602 * [taylor]: Taking taylor expansion of 5.0 in v
0.602 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.602 * [taylor]: Taking taylor expansion of v in v
0.610 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
0.610 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
0.610 * [taylor]: Taking taylor expansion of 5.0 in v
0.610 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.610 * [taylor]: Taking taylor expansion of v in v
0.611 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
0.611 * [taylor]: Taking taylor expansion of 5.0 in v
0.611 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.611 * [taylor]: Taking taylor expansion of v in v
0.618 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2)
0.618 * [approximate]: Taking taylor expansion of (* 5.0 (pow v 2)) in (v) around 0
0.618 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
0.618 * [taylor]: Taking taylor expansion of 5.0 in v
0.618 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.618 * [taylor]: Taking taylor expansion of v in v
0.618 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
0.618 * [taylor]: Taking taylor expansion of 5.0 in v
0.619 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.619 * [taylor]: Taking taylor expansion of v in v
0.627 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
0.627 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
0.627 * [taylor]: Taking taylor expansion of 5.0 in v
0.627 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.627 * [taylor]: Taking taylor expansion of v in v
0.627 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
0.627 * [taylor]: Taking taylor expansion of 5.0 in v
0.628 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.628 * [taylor]: Taking taylor expansion of v in v
0.635 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
0.635 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
0.635 * [taylor]: Taking taylor expansion of 5.0 in v
0.635 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.635 * [taylor]: Taking taylor expansion of v in v
0.636 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
0.636 * [taylor]: Taking taylor expansion of 5.0 in v
0.636 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.636 * [taylor]: Taking taylor expansion of v in v
0.643 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
0.643 * [approximate]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)) in (v) around 0
0.643 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)) in v
0.644 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (pow v 2))) in v
0.644 * [taylor]: Taking taylor expansion of 1.0 in v
0.644 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
0.644 * [taylor]: Taking taylor expansion of 5.0 in v
0.644 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.644 * [taylor]: Taking taylor expansion of v in v
0.644 * [taylor]: Taking taylor expansion of (- (pow v 2) 1.0) in v
0.644 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.644 * [taylor]: Taking taylor expansion of v in v
0.644 * [taylor]: Taking taylor expansion of 1.0 in v
0.645 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)) in v
0.645 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (pow v 2))) in v
0.645 * [taylor]: Taking taylor expansion of 1.0 in v
0.645 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
0.645 * [taylor]: Taking taylor expansion of 5.0 in v
0.645 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.645 * [taylor]: Taking taylor expansion of v in v
0.645 * [taylor]: Taking taylor expansion of (- (pow v 2) 1.0) in v
0.645 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.645 * [taylor]: Taking taylor expansion of v in v
0.645 * [taylor]: Taking taylor expansion of 1.0 in v
0.663 * [approximate]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)) in (v) around 0
0.663 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)) in v
0.663 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in v
0.663 * [taylor]: Taking taylor expansion of 1.0 in v
0.663 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in v
0.663 * [taylor]: Taking taylor expansion of 5.0 in v
0.663 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) 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.664 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1.0) in v
0.664 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.664 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.664 * [taylor]: Taking taylor expansion of v in v
0.664 * [taylor]: Taking taylor expansion of 1.0 in v
0.666 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)) in v
0.666 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in v
0.666 * [taylor]: Taking taylor expansion of 1.0 in v
0.666 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in v
0.666 * [taylor]: Taking taylor expansion of 5.0 in v
0.666 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.666 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.666 * [taylor]: Taking taylor expansion of v in v
0.667 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1.0) in v
0.667 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.667 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.667 * [taylor]: Taking taylor expansion of v in v
0.667 * [taylor]: Taking taylor expansion of 1.0 in v
0.698 * [approximate]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)) in (v) around 0
0.698 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)) in v
0.698 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in v
0.698 * [taylor]: Taking taylor expansion of 1.0 in v
0.698 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in v
0.698 * [taylor]: Taking taylor expansion of 5.0 in v
0.698 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.698 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.699 * [taylor]: Taking taylor expansion of v in v
0.699 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1.0) in v
0.699 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.699 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.699 * [taylor]: Taking taylor expansion of v in v
0.700 * [taylor]: Taking taylor expansion of 1.0 in v
0.701 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)) in v
0.701 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in v
0.701 * [taylor]: Taking taylor expansion of 1.0 in v
0.701 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in v
0.701 * [taylor]: Taking taylor expansion of 5.0 in v
0.701 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.701 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.701 * [taylor]: Taking taylor expansion of v in v
0.702 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1.0) in v
0.702 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.702 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.702 * [taylor]: Taking taylor expansion of v in v
0.702 * [taylor]: Taking taylor expansion of 1.0 in v
0.727 * * * [progress]: simplifying candidates
0.729 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ PI 2)
  (asin (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))
  (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (exp (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (* (cbrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))) (cbrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))
  (cbrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (* (* (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))) (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))) (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (sqrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (sqrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 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))
  (* 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))
  (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))
  (+ (log (sqrt (- 1.0 (* 5.0 (* v v))))) (- (log (sqrt (- 1.0 (* 5.0 (* v v))))) (log (- (* v v) 1.0))))
  (+ (log (sqrt (- 1.0 (* 5.0 (* v v))))) (log (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))
  (log (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))
  (exp (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))
  (* (* (* (sqrt (- 1.0 (* 5.0 (* v v)))) (sqrt (- 1.0 (* 5.0 (* v v))))) (sqrt (- 1.0 (* 5.0 (* v v))))) (/ (* (* (sqrt (- 1.0 (* 5.0 (* v v)))) (sqrt (- 1.0 (* 5.0 (* v v))))) (sqrt (- 1.0 (* 5.0 (* v v))))) (* (* (- (* v v) 1.0) (- (* v v) 1.0)) (- (* v v) 1.0))))
  (* (* (* (sqrt (- 1.0 (* 5.0 (* v v)))) (sqrt (- 1.0 (* 5.0 (* v v))))) (sqrt (- 1.0 (* 5.0 (* v v))))) (* (* (/ (sqrt (- 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))))
  (* (cbrt (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))) (cbrt (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (cbrt (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))
  (* (* (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))) (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))) (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))
  (sqrt (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))
  (sqrt (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))
  (* (sqrt (- (pow 1.0 3) (pow (* 5.0 (* v v)) 3))) (sqrt (- 1.0 (* 5.0 (* v v)))))
  (* (sqrt (+ (* 1.0 1.0) (+ (* (* 5.0 (* v v)) (* 5.0 (* v v))) (* 1.0 (* 5.0 (* v v)))))) (- (* v v) 1.0))
  (* (sqrt (- (* 1.0 1.0) (* (* 5.0 (* v v)) (* 5.0 (* v v))))) (sqrt (- 1.0 (* 5.0 (* v v)))))
  (* (sqrt (+ 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))
  (* (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) (sqrt (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))
  (* (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) (sqrt (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))
  (* (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) (/ (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) (sqrt (- (* v v) 1.0))))
  (* (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) (/ (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) (sqrt (- (* v v) 1.0))))
  (* (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) (/ (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) (sqrt (- (* v v) 1.0))))
  (* (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) (/ (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) (sqrt (- (* v v) 1.0))))
  (* (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) (sqrt (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))
  (* (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) (sqrt (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))
  (* (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) (/ (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) (sqrt (- (* v v) 1.0))))
  (* (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) (/ (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) (sqrt (- (* v v) 1.0))))
  (* (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) (/ (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) (sqrt (- (* v v) 1.0))))
  (* (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) (/ (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) (sqrt (- (* v v) 1.0))))
  (* (sqrt (- 1.0 (* 5.0 (* v v)))) (* (cbrt (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))) (cbrt (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (* (sqrt (- 1.0 (* 5.0 (* v v)))) (sqrt (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))
  (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (* (cbrt (sqrt (- 1.0 (* 5.0 (* v v))))) (cbrt (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 (sqrt (- 1.0 (* 5.0 (* v v))))) (cbrt (sqrt (- 1.0 (* 5.0 (* v v)))))) (sqrt (- (* v v) 1.0))))
  (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (* (cbrt (sqrt (- 1.0 (* 5.0 (* v v))))) (cbrt (sqrt (- 1.0 (* 5.0 (* v v)))))) 1))
  (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (* (cbrt (sqrt (- 1.0 (* 5.0 (* v v))))) (cbrt (sqrt (- 1.0 (* 5.0 (* v v)))))) (+ v (sqrt 1.0))))
  (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (* (cbrt (- 1.0 (* 5.0 (* v v)))) (cbrt (- 1.0 (* 5.0 (* v v)))))) (* (cbrt (- (* v v) 1.0)) (cbrt (- (* v v) 1.0)))))
  (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (* (cbrt (- 1.0 (* 5.0 (* v v)))) (cbrt (- 1.0 (* 5.0 (* v v)))))) (sqrt (- (* v v) 1.0))))
  (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (* (cbrt (- 1.0 (* 5.0 (* v v)))) (cbrt (- 1.0 (* 5.0 (* v v)))))) 1))
  (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (* (cbrt (- 1.0 (* 5.0 (* v v)))) (cbrt (- 1.0 (* 5.0 (* v v)))))) (+ v (sqrt 1.0))))
  (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) (* (cbrt (- (* v v) 1.0)) (cbrt (- (* v v) 1.0)))))
  (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) (sqrt (- (* v v) 1.0))))
  (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) 1))
  (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) (+ v (sqrt 1.0))))
  (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt 1) (* (cbrt (- (* v v) 1.0)) (cbrt (- (* v v) 1.0)))))
  (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt 1) (sqrt (- (* v v) 1.0))))
  (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt 1) 1))
  (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt 1) (+ v (sqrt 1.0))))
  (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) (* (cbrt (- (* v v) 1.0)) (cbrt (- (* v v) 1.0)))))
  (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) (sqrt (- (* v v) 1.0))))
  (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) 1))
  (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) (+ v (sqrt 1.0))))
  (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ 1 (* (cbrt (- (* v v) 1.0)) (cbrt (- (* v v) 1.0)))))
  (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ 1 (sqrt (- (* v v) 1.0))))
  (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ 1 1))
  (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ 1 (+ v (sqrt 1.0))))
  (* (sqrt (- 1.0 (* 5.0 (* v v)))) 1)
  (* (sqrt (- 1.0 (* 5.0 (* v v)))) (sqrt (- 1.0 (* 5.0 (* v v)))))
  (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (pow (* v v) 3) (pow 1.0 3))))
  (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* (* v v) (* v v)) (* 1.0 1.0))))
  (* (cbrt (sqrt (- 1.0 (* 5.0 (* v v))))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))
  (* (sqrt (cbrt (- 1.0 (* 5.0 (* v v))))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))
  (* (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))
  (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))
  (* (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))
  (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))
  (* (sqrt (- 1.0 (* 5.0 (* v v)))) (sqrt (- 1.0 (* 5.0 (* v v)))))
  (* (sqrt (- (pow 1.0 3) (pow (* 5.0 (* v v)) 3))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))
  (* (sqrt (- (* 1.0 1.0) (* (* 5.0 (* v v)) (* 5.0 (* v v))))) (/ (sqrt (- 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))
  (* 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.737 * * [simplify]: iteration  0 :  441  enodes  (cost  1233 )
0.745 * * [simplify]: iteration  1 :  1917  enodes  (cost  1048 )
0.777 * * [simplify]: iteration  2 :  5001  enodes  (cost  1003 )
0.782 * [simplify]: Simplified to:
   (/ PI 2)
  (asin (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))
  (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (exp (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (* (cbrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))) (cbrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))
  (cbrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 3)
  (sqrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (sqrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (* 5.0 (* v v))
  (* 5.0 (* v v))
  (log (* 5.0 (* v v)))
  (log (* 5.0 (* v v)))
  (log (* 5.0 (* v v)))
  (exp (* 5.0 (* v v)))
  (pow (* 5.0 (* v v)) 3)
  (pow (* 5.0 (* v v)) 3)
  (* (cbrt (* 5.0 (* v v))) (cbrt (* 5.0 (* v v))))
  (cbrt (* 5.0 (* v v)))
  (pow (* 5.0 (* v v)) 3)
  (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))
  (* 5.0 (* v v))
  (* 5.0 (* v v))
  (log (* 5.0 (* v v)))
  (log (* 5.0 (* v v)))
  (log (* 5.0 (* v v)))
  (exp (* 5.0 (* v v)))
  (pow (* 5.0 (* v v)) 3)
  (pow (* 5.0 (* v v)) 3)
  (* (cbrt (* 5.0 (* v v))) (cbrt (* 5.0 (* v v))))
  (cbrt (* 5.0 (* v v)))
  (pow (* 5.0 (* v v)) 3)
  (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))
  (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))
  (- (log (- 1.0 (* 5.0 (* v v)))) (log (- (pow v 2) 1.0)))
  (- (log (- 1.0 (* 5.0 (* v v)))) (log (- (pow v 2) 1.0)))
  (- (log (- 1.0 (* 5.0 (* v v)))) (log (- (pow v 2) 1.0)))
  (pow (exp 1) (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (pow (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)) 3)
  (pow (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)) 3)
  (* (cbrt (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))) (cbrt (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (cbrt (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))
  (pow (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)) 3)
  (sqrt (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))
  (sqrt (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))
  (* (sqrt (- (pow 1.0 3) (pow (* 5.0 (* v v)) 3))) (sqrt (- 1.0 (* 5.0 (* v v)))))
  (* (sqrt (+ (* 1.0 1.0) (+ (* (* 5.0 (* v v)) (* 5.0 (* v v))) (* 1.0 (* 5.0 (* v v)))))) (- (* v v) 1.0))
  (* (sqrt (- (* 1.0 1.0) (* (* 5.0 (* v v)) (* 5.0 (* v v))))) (sqrt (- 1.0 (* 5.0 (* v v)))))
  (* (sqrt (+ 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))
  (* (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) (sqrt (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))
  (* (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) (sqrt (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* 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)))) (sqrt (- (* v v) 1.0)))
  (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (sqrt (- (* v v) 1.0)))
  (* (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) (sqrt (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))
  (* (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) (sqrt (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* 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)))) (sqrt (- (* v v) 1.0)))
  (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (sqrt (- (* v v) 1.0)))
  (* (sqrt (- 1.0 (* 5.0 (* v v)))) (* (cbrt (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))) (cbrt (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (* (sqrt (- 1.0 (* 5.0 (* v v)))) (sqrt (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))
  (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (* (cbrt (sqrt (- 1.0 (* 5.0 (* v v))))) (cbrt (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 (sqrt (- 1.0 (* 5.0 (* v v))))) (cbrt (sqrt (- 1.0 (* 5.0 (* v v)))))) (sqrt (- (* v v) 1.0))))
  (* (* (cbrt (sqrt (- 1.0 (* 5.0 (* v v))))) (cbrt (sqrt (- 1.0 (* 5.0 (* v v)))))) (sqrt (- 1.0 (* 5.0 (* v v)))))
  (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (* (cbrt (sqrt (- 1.0 (* 5.0 (* v v))))) (cbrt (sqrt (- 1.0 (* 5.0 (* v v)))))) (+ v (sqrt 1.0))))
  (/ (* (sqrt (- 1.0 (* 5.0 (* v v)))) (fabs (cbrt (- 1.0 (* 5.0 (* v v)))))) (* (cbrt (- (* v v) 1.0)) (cbrt (- (* v v) 1.0))))
  (/ (* (sqrt (- 1.0 (* 5.0 (* v v)))) (fabs (cbrt (- 1.0 (* 5.0 (* v v)))))) (sqrt (- (* v v) 1.0)))
  (* (fabs (cbrt (- 1.0 (* 5.0 (* v v))))) (sqrt (- 1.0 (* 5.0 (* v v)))))
  (/ (* (sqrt (- 1.0 (* 5.0 (* v v)))) (fabs (cbrt (- 1.0 (* 5.0 (* v v)))))) (+ v (sqrt 1.0)))
  (/ (pow (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) 3) (* (cbrt (- (* v v) 1.0)) (cbrt (- (* v v) 1.0))))
  (/ (pow (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) 3) (sqrt (- (* v v) 1.0)))
  (pow (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) 3)
  (/ (pow (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) 3) (+ v (sqrt 1.0)))
  (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt 1) (* (cbrt (- (* v v) 1.0)) (cbrt (- (* v v) 1.0)))))
  (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt 1) (sqrt (- (* v v) 1.0))))
  (* (sqrt 1) (sqrt (- 1.0 (* 5.0 (* v v)))))
  (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt 1) (+ v (sqrt 1.0))))
  (/ (pow (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) 3) (* (cbrt (- (* v v) 1.0)) (cbrt (- (* v v) 1.0))))
  (/ (pow (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) 3) (sqrt (- (* v v) 1.0)))
  (pow (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) 3)
  (/ (pow (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) 3) (+ 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)))) (sqrt (- (* v v) 1.0)))
  (sqrt (- 1.0 (* 5.0 (* v v))))
  (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (+ v (sqrt 1.0)))
  (sqrt (- 1.0 (* 5.0 (* v v))))
  (- 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)))
  (* (cbrt (sqrt (- 1.0 (* 5.0 (* v v))))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))
  (* (sqrt (cbrt (- 1.0 (* 5.0 (* v v))))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))
  (/ (pow (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) 3) (- (pow v 2) 1.0))
  (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))
  (/ (pow (sqrt (sqrt (- 1.0 (* 5.0 (* v v))))) 3) (- (pow v 2) 1.0))
  (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))
  (- 1.0 (* 5.0 (* v v)))
  (* (sqrt (- (pow 1.0 3) (pow (* 5.0 (* v v)) 3))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))
  (* (sqrt (- (* 1.0 1.0) (* (* 5.0 (* v v)) (* 5.0 (* v v))))) (/ (sqrt (- 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 (* v v))
  (* 5.0 (* v v))
  (* 5.0 (* v v))
  (* 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.783 * * * [progress]: adding candidates to table
1.045 * * [progress]: iteration 3 / 4
1.045 * * * [progress]: picking best candidate
1.055 * * * * [pick]: Picked  #<alt (λ (v) (exp (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))))>
1.055 * * * [progress]: localizing error
1.068 * * * [progress]: generating rewritten candidates
1.068 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1.069 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 1 1 2)
1.076 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 2)
1.082 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1.086 * * * [progress]: generating series expansions
1.086 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1.086 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in (v) around 0
1.086 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
1.086 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
1.087 * [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.087 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
1.087 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
1.088 * [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.088 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
1.089 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
1.089 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 1 1 2)
1.090 * [approximate]: Taking taylor expansion of (* 5.0 (pow v 2)) in (v) around 0
1.090 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
1.090 * [taylor]: Taking taylor expansion of 5.0 in v
1.090 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.090 * [taylor]: Taking taylor expansion of v in v
1.090 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
1.090 * [taylor]: Taking taylor expansion of 5.0 in v
1.090 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.090 * [taylor]: Taking taylor expansion of v in v
1.098 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
1.098 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
1.098 * [taylor]: Taking taylor expansion of 5.0 in v
1.098 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.098 * [taylor]: Taking taylor expansion of v in v
1.098 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
1.098 * [taylor]: Taking taylor expansion of 5.0 in v
1.098 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.098 * [taylor]: Taking taylor expansion of v in v
1.106 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
1.106 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
1.106 * [taylor]: Taking taylor expansion of 5.0 in v
1.106 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.106 * [taylor]: Taking taylor expansion of v in v
1.106 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
1.106 * [taylor]: Taking taylor expansion of 5.0 in v
1.106 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.106 * [taylor]: Taking taylor expansion of v in v
1.114 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 2)
1.114 * [approximate]: Taking taylor expansion of (* 5.0 (pow v 2)) in (v) around 0
1.114 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
1.114 * [taylor]: Taking taylor expansion of 5.0 in v
1.114 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.114 * [taylor]: Taking taylor expansion of v in v
1.114 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
1.114 * [taylor]: Taking taylor expansion of 5.0 in v
1.114 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.114 * [taylor]: Taking taylor expansion of v in v
1.122 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
1.122 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
1.122 * [taylor]: Taking taylor expansion of 5.0 in v
1.122 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.122 * [taylor]: Taking taylor expansion of v in v
1.123 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
1.123 * [taylor]: Taking taylor expansion of 5.0 in v
1.123 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.123 * [taylor]: Taking taylor expansion of v in v
1.130 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
1.130 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
1.130 * [taylor]: Taking taylor expansion of 5.0 in v
1.130 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.130 * [taylor]: Taking taylor expansion of v in v
1.131 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
1.131 * [taylor]: Taking taylor expansion of 5.0 in v
1.131 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.131 * [taylor]: Taking taylor expansion of v in v
1.143 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1.143 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in (v) around 0
1.143 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
1.143 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
1.144 * [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.144 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
1.145 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
1.146 * [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.146 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
1.146 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
1.147 * * * [progress]: simplifying candidates
1.148 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ PI 2)
  (asin (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))
  (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (exp (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (* (cbrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))) (cbrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))
  (cbrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (* (* (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))) (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))) (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (sqrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (sqrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 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))
  (* 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 (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))) (cbrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))))
  (exp (sqrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))))
  (exp 1)
  (exp (log (* (cbrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))) (cbrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))))
  (exp (log (cbrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))))
  (exp (log (sqrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))))
  (exp (log (sqrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))))
  (exp (log 1))
  (exp (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))
  (log (exp (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))))
  (exp (exp (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))))
  (* (cbrt (exp (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))) (cbrt (exp (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))))
  (cbrt (exp (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))))
  (* (* (exp (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))) (exp (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))) (exp (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))))
  (sqrt (exp (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))))
  (sqrt (exp (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 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))
  (* 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.152 * * [simplify]: iteration  0 :  153  enodes  (cost  618 )
1.155 * * [simplify]: iteration  1 :  400  enodes  (cost  528 )
1.161 * * [simplify]: iteration  2 :  1033  enodes  (cost  492 )
1.179 * * [simplify]: iteration  3 :  3488  enodes  (cost  474 )
1.258 * * [simplify]: iteration  4 :  5003  enodes  (cost  474 )
1.261 * [simplify]: Simplified to:
   (/ PI 2)
  (asin (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))
  (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (exp (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (pow (cbrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))) 2)
  (cbrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 3)
  (sqrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (sqrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (* 5.0 (* v v))
  (* 5.0 (* v v))
  (log (* 5.0 (* v v)))
  (log (* 5.0 (* v v)))
  (log (* 5.0 (* v v)))
  (exp (* 5.0 (* v v)))
  (pow (* 5.0 (* v v)) 3)
  (pow (* 5.0 (* v v)) 3)
  (* (cbrt (* 5.0 (* v v))) (cbrt (* 5.0 (* v v))))
  (cbrt (* 5.0 (* v v)))
  (pow (* 5.0 (* v v)) 3)
  (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))
  (* 5.0 (* v v))
  (* 5.0 (* v v))
  (log (* 5.0 (* v v)))
  (log (* 5.0 (* v v)))
  (log (* 5.0 (* v v)))
  (exp (* 5.0 (* v v)))
  (pow (* 5.0 (* v v)) 3)
  (pow (* 5.0 (* v v)) 3)
  (* (cbrt (* 5.0 (* v v))) (cbrt (* 5.0 (* v v))))
  (cbrt (* 5.0 (* v v)))
  (pow (* 5.0 (* v v)) 3)
  (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))
  E
  (exp (* (cbrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))) (cbrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))))
  (exp (sqrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))))
  E
  (pow (cbrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))) 2)
  (cbrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (sqrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (sqrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  1
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (exp (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (pow (cbrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))) 2)
  (cbrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 3)
  (sqrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (sqrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 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 (* v v))
  (* 5.0 (* v v))
  (* 5.0 (* v v))
  (* 5.0 (* v v))
  (* 5.0 (* v v))
  (* 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)))
1.261 * * * [progress]: adding candidates to table
1.430 * * [progress]: iteration 4 / 4
1.431 * * * [progress]: picking best candidate
1.440 * * * * [pick]: Picked  #<alt (λ (v) (pow (exp (sqrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))) (sqrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))))>
1.440 * * * [progress]: localizing error
1.460 * * * [progress]: generating rewritten candidates
1.460 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
1.460 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
1.461 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 2 1 1 2)
1.468 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1 1 1 2)
1.479 * * * [progress]: generating series expansions
1.479 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1)
1.479 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in (v) around 0
1.480 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
1.480 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
1.481 * [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.481 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
1.481 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
1.482 * [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.482 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
1.482 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
1.483 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
1.483 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in (v) around 0
1.483 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
1.483 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
1.484 * [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.484 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
1.485 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
1.486 * [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.486 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
1.486 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
1.487 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 2 1 1 2)
1.487 * [approximate]: Taking taylor expansion of (* 5.0 (pow v 2)) in (v) around 0
1.487 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
1.487 * [taylor]: Taking taylor expansion of 5.0 in v
1.487 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.487 * [taylor]: Taking taylor expansion of v in v
1.487 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
1.487 * [taylor]: Taking taylor expansion of 5.0 in v
1.487 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.487 * [taylor]: Taking taylor expansion of v in v
1.495 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
1.495 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
1.495 * [taylor]: Taking taylor expansion of 5.0 in v
1.495 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.495 * [taylor]: Taking taylor expansion of v in v
1.495 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
1.495 * [taylor]: Taking taylor expansion of 5.0 in v
1.495 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.496 * [taylor]: Taking taylor expansion of v in v
1.503 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
1.503 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
1.503 * [taylor]: Taking taylor expansion of 5.0 in v
1.503 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.503 * [taylor]: Taking taylor expansion of v in v
1.503 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
1.503 * [taylor]: Taking taylor expansion of 5.0 in v
1.503 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.503 * [taylor]: Taking taylor expansion of v in v
1.511 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1 1 1 2)
1.511 * [approximate]: Taking taylor expansion of (* 5.0 (pow v 2)) in (v) around 0
1.511 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
1.511 * [taylor]: Taking taylor expansion of 5.0 in v
1.511 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.511 * [taylor]: Taking taylor expansion of v in v
1.511 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
1.511 * [taylor]: Taking taylor expansion of 5.0 in v
1.511 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.511 * [taylor]: Taking taylor expansion of v in v
1.519 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
1.519 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
1.519 * [taylor]: Taking taylor expansion of 5.0 in v
1.519 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.519 * [taylor]: Taking taylor expansion of v in v
1.519 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
1.519 * [taylor]: Taking taylor expansion of 5.0 in v
1.519 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.519 * [taylor]: Taking taylor expansion of v in v
1.526 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
1.526 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
1.526 * [taylor]: Taking taylor expansion of 5.0 in v
1.526 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.527 * [taylor]: Taking taylor expansion of v in v
1.527 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
1.527 * [taylor]: Taking taylor expansion of 5.0 in v
1.527 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.527 * [taylor]: Taking taylor expansion of v in v
1.534 * * * [progress]: simplifying candidates
1.535 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ PI 2)
  (asin (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))
  (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (exp (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (* (cbrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))) (cbrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))
  (cbrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (* (* (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))) (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))) (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (sqrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (sqrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (/ PI 2)
  (asin (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))
  (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (exp (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (* (cbrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))) (cbrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))
  (cbrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (* (* (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))) (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))) (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (sqrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (sqrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 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))
  (* 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))
  (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)))
  (* 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))
1.539 * * [simplify]: iteration  0 :  121  enodes  (cost  500 )
1.542 * * [simplify]: iteration  1 :  349  enodes  (cost  416 )
1.547 * * [simplify]: iteration  2 :  956  enodes  (cost  404 )
1.565 * * [simplify]: iteration  3 :  3263  enodes  (cost  404 )
1.642 * * [simplify]: iteration  4 :  5001  enodes  (cost  404 )
1.644 * [simplify]: Simplified to:
   (/ PI 2)
  (asin (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))
  (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (exp (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (* (cbrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))) (cbrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))
  (cbrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 3)
  (sqrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (sqrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (/ PI 2)
  (asin (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))
  (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (exp (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (* (cbrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))) (cbrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))
  (cbrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 3)
  (sqrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (sqrt (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))
  (* 5.0 (* v v))
  (* 5.0 (* v v))
  (log (* 5.0 (* v v)))
  (log (* 5.0 (* v v)))
  (log (* 5.0 (* v v)))
  (exp (* 5.0 (* v v)))
  (pow (* 5.0 (* v v)) 3)
  (pow (* 5.0 (* v v)) 3)
  (* (cbrt (* 5.0 (* v v))) (cbrt (* 5.0 (* v v))))
  (cbrt (* 5.0 (* v v)))
  (pow (* 5.0 (* v v)) 3)
  (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))
  (* 5.0 (* v v))
  (* 5.0 (* v v))
  (log (* 5.0 (* v v)))
  (log (* 5.0 (* v v)))
  (log (* 5.0 (* v v)))
  (exp (* 5.0 (* v v)))
  (pow (* 5.0 (* v v)) 3)
  (pow (* 5.0 (* v v)) 3)
  (* (cbrt (* 5.0 (* v v))) (cbrt (* 5.0 (* v v))))
  (cbrt (* 5.0 (* v v)))
  (pow (* 5.0 (* v v)) 3)
  (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))
  (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)))
  (* 5.0 (* v v))
  (* 5.0 (* v v))
  (* 5.0 (* v v))
  (* 5.0 (* v v))
  (* 5.0 (* v v))
  (* 5.0 (* v v))
1.644 * * * [progress]: adding candidates to table
1.890 * [progress]: [Phase 3 of 3] Extracting.
1.890 * * [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) (pow (exp (sqrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))) (sqrt (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))))))> #<alt (λ (v) (pow (exp (* (cbrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))) (cbrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))))) (cbrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))))> #<alt (λ (v) (* (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))> #<alt (λ (v) (pow (exp (sqrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))) (sqrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))))>)
1.893 * * * [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.893 * * * * [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) (pow (exp (sqrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))) (sqrt (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))))))> #<alt (λ (v) (pow (exp (* (cbrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))) (cbrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))))) (cbrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))))> #<alt (λ (v) (* (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))> #<alt (λ (v) (pow (exp (sqrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))) (sqrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))))>)
1.915 * * * * [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) (pow (exp (* (cbrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))) (cbrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))))) (cbrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))))> #<alt (λ (v) (* (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))> #<alt (λ (v) (pow (exp (sqrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))) (sqrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))))>)
1.931 * * * * [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) (pow (exp (sqrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))) (sqrt (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))))))> #<alt (λ (v) (pow (exp (* (cbrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))) (cbrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))))) (cbrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))))> #<alt (λ (v) (* (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))> #<alt (λ (v) (pow (exp (sqrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))) (sqrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))))>)
1.956 * * * * [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) (* (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))>)
1.966 * * * * [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) (pow (exp (sqrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))) (sqrt (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))))))> #<alt (λ (v) (pow (exp (* (cbrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))) (cbrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))))) (cbrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))))> #<alt (λ (v) (* (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))> #<alt (λ (v) (pow (exp (sqrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))) (sqrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))))>)
1.992 * * * * [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) (* (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))>)
2.003 * * * * [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) (pow (exp (sqrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))) (sqrt (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))))))> #<alt (λ (v) (pow (exp (* (cbrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))) (cbrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0)))))))) (cbrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))))> #<alt (λ (v) (* (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))> #<alt (λ (v) (pow (exp (sqrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))) (sqrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))))>)
2.027 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
2.027 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (pow (exp (sqrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))) (sqrt (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))))
2.028 * * [simplify]: iteration  0 :  27  enodes  (cost  26 )
2.028 * * [simplify]: iteration  1 :  27  enodes  (cost  26 )
2.028 * [simplify]: Simplified to:
   (pow (exp (sqrt (log (acos (* (sqrt (- 1.0 (* 5.0 (* v v)))) (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))))))) (sqrt (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))))
4.756 * [regime-testing]: Baseline error score: 0.5276171176311155
4.756 * [regime-testing]: Oracle error score: 0.4917510894600451
4.757 * [regime-testing]: End program error score: 0.5276171176311155