8.388 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.077 * * * [progress]: [2/2] Setting up program.
0.078 * [progress]: [Phase 2 of 3] Improving.
0.079 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
0.080 * * [simplify]: iteration  0 :  9  enodes  (cost  14 )
0.081 * * [simplify]: iteration  1 :  20  enodes  (cost  14 )
0.083 * * [simplify]: iteration  2 :  42  enodes  (cost  14 )
0.089 * * [simplify]: iteration  3 :  88  enodes  (cost  14 )
0.104 * * [simplify]: iteration  4 :  159  enodes  (cost  14 )
0.126 * * [simplify]: iteration  5 :  250  enodes  (cost  14 )
0.179 * * [simplify]: iteration  6 :  339  enodes  (cost  14 )
0.262 * * [simplify]: iteration  7 :  499  enodes  (cost  14 )
0.527 * * [simplify]: iteration  8 :  1238  enodes  (cost  14 )
1.998 * * [simplify]: iteration  done :  5000  enodes  (cost  14 )
1.998 * [simplify]: Simplified to:
   (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
1.998 * * [progress]: iteration 1 / 4
1.998 * * * [progress]: picking best candidate
2.000 * * * * [pick]: Picked  #<alt (λ (v) (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))>
2.000 * * * [progress]: localizing error
2.008 * * * [progress]: generating rewritten candidates
2.008 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
2.008 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2)
2.015 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
2.026 * * * [progress]: generating series expansions
2.026 * * * * [progress]: [ 1 / 3 ] generating series at (2)
2.027 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in (v) around 0
2.027 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
2.027 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
2.028 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in (v) around 0
2.028 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
2.028 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
2.029 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in (v) around 0
2.029 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
2.029 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
2.030 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2)
2.030 * [approximate]: Taking taylor expansion of (* 5.0 (pow v 2)) in (v) around 0
2.030 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
2.030 * [taylor]: Taking taylor expansion of 5.0 in v
2.030 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.030 * [taylor]: Taking taylor expansion of v in v
2.030 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
2.030 * [taylor]: Taking taylor expansion of 5.0 in v
2.030 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.030 * [taylor]: Taking taylor expansion of v in v
2.039 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
2.039 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
2.039 * [taylor]: Taking taylor expansion of 5.0 in v
2.039 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.039 * [taylor]: Taking taylor expansion of v in v
2.040 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
2.040 * [taylor]: Taking taylor expansion of 5.0 in v
2.040 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.040 * [taylor]: Taking taylor expansion of v in v
2.047 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
2.047 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
2.047 * [taylor]: Taking taylor expansion of 5.0 in v
2.047 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.047 * [taylor]: Taking taylor expansion of v in v
2.048 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
2.048 * [taylor]: Taking taylor expansion of 5.0 in v
2.048 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.048 * [taylor]: Taking taylor expansion of v in v
2.056 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
2.056 * [approximate]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)) in (v) around 0
2.056 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)) in v
2.056 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (pow v 2))) in v
2.056 * [taylor]: Taking taylor expansion of 1.0 in v
2.056 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
2.056 * [taylor]: Taking taylor expansion of 5.0 in v
2.056 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.056 * [taylor]: Taking taylor expansion of v in v
2.056 * [taylor]: Taking taylor expansion of (- (pow v 2) 1.0) in v
2.056 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.056 * [taylor]: Taking taylor expansion of v in v
2.056 * [taylor]: Taking taylor expansion of 1.0 in v
2.057 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)) in v
2.058 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (pow v 2))) in v
2.058 * [taylor]: Taking taylor expansion of 1.0 in v
2.058 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
2.058 * [taylor]: Taking taylor expansion of 5.0 in v
2.058 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.058 * [taylor]: Taking taylor expansion of v in v
2.058 * [taylor]: Taking taylor expansion of (- (pow v 2) 1.0) in v
2.058 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.058 * [taylor]: Taking taylor expansion of v in v
2.058 * [taylor]: Taking taylor expansion of 1.0 in v
2.075 * [approximate]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)) in (v) around 0
2.075 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)) in v
2.075 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in v
2.075 * [taylor]: Taking taylor expansion of 1.0 in v
2.075 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in v
2.075 * [taylor]: Taking taylor expansion of 5.0 in v
2.075 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
2.075 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.075 * [taylor]: Taking taylor expansion of v in v
2.076 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1.0) in v
2.076 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
2.076 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.076 * [taylor]: Taking taylor expansion of v in v
2.076 * [taylor]: Taking taylor expansion of 1.0 in v
2.081 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)) in v
2.081 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in v
2.081 * [taylor]: Taking taylor expansion of 1.0 in v
2.081 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in v
2.081 * [taylor]: Taking taylor expansion of 5.0 in v
2.081 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
2.081 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.081 * [taylor]: Taking taylor expansion of v in v
2.082 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1.0) in v
2.082 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
2.082 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.082 * [taylor]: Taking taylor expansion of v in v
2.083 * [taylor]: Taking taylor expansion of 1.0 in v
2.108 * [approximate]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)) in (v) around 0
2.108 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)) in v
2.109 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in v
2.109 * [taylor]: Taking taylor expansion of 1.0 in v
2.109 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in v
2.109 * [taylor]: Taking taylor expansion of 5.0 in v
2.109 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
2.109 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.109 * [taylor]: Taking taylor expansion of v in v
2.109 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1.0) in v
2.109 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
2.109 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.109 * [taylor]: Taking taylor expansion of v in v
2.110 * [taylor]: Taking taylor expansion of 1.0 in v
2.111 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)) in v
2.112 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in v
2.112 * [taylor]: Taking taylor expansion of 1.0 in v
2.112 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in v
2.112 * [taylor]: Taking taylor expansion of 5.0 in v
2.112 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
2.112 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.112 * [taylor]: Taking taylor expansion of v in v
2.112 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1.0) in v
2.112 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
2.112 * [taylor]: Taking taylor expansion of (pow v 2) in v
2.112 * [taylor]: Taking taylor expansion of v in v
2.113 * [taylor]: Taking taylor expansion of 1.0 in v
2.138 * * * [progress]: simplifying candidates
2.139 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (log1p (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (/ 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))))
  (expm1 (* 5.0 (* v v)))
  (log1p (* 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))
  (expm1 (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (log1p (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (- (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)))
2.143 * * [simplify]: iteration  0 :  145  enodes  (cost  1268 )
2.175 * * [simplify]: iteration  1 :  345  enodes  (cost  1223 )
2.276 * * [simplify]: iteration  2 :  1043  enodes  (cost  1120 )
2.892 * * [simplify]: iteration  3 :  3929  enodes  (cost  1118 )
3.888 * * [simplify]: iteration  done :  5000  enodes  (cost  1116 )
3.889 * [simplify]: Simplified to:
   (expm1 (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (log1p (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (/ 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))))
  (expm1 (* 5.0 (* v v)))
  (log1p (* 5.0 (* v v)))
  (* (* v v) 5.0)
  (* (* v v) 5.0)
  (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))
  (* (* v v) 5.0)
  (expm1 (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (log1p (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (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)))
  (- (* (* v v) 5.0) 1.0)
  (- 1.0 (pow v 2))
  (/ 1.0 (- (* v v) 1.0))
  (/ 5.0 (- 1 (/ 1.0 (* v v))))
  (/ (* (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 6) (pow 1.0 3)))
  (/ (- 1.0 (* 5.0 (* v v))) (- (pow v 4) (* 1.0 1.0)))
  (* (- (* v v) 1.0) (fma (* 5.0 (* v v)) (fma (* 5.0 v) v 1.0) (* 1.0 1.0)))
  (* (- (* v v) 1.0) (fma (* 5.0 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)))
  (* (* v v) 5.0)
  (* (* v v) 5.0)
  (* (* v v) 5.0)
  (- (* 4.0 (fma v v (pow v 4))) 1.0)
  (- (- (/ 4.0 (* v v))) (+ (/ 4.0 (pow v 4)) 5.0))
  (- (- (/ 4.0 (* v v))) (+ (/ 4.0 (pow v 4)) 5.0))
3.889 * * * [progress]: adding candidates to table
4.061 * * [progress]: iteration 2 / 4
4.061 * * * [progress]: picking best candidate
4.065 * * * * [pick]: Picked  #<alt (λ (v) (acos (- (* 4.0 (fma v v (pow v 4))) 1.0)))>
4.065 * * * [progress]: localizing error
4.073 * * * [progress]: generating rewritten candidates
4.073 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
4.073 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1)
4.080 * * * [progress]: generating series expansions
4.080 * * * * [progress]: [ 1 / 2 ] generating series at (2)
4.080 * [approximate]: Taking taylor expansion of (acos (- (* 4.0 (fma v v (pow v 4))) 1.0)) in (v) around 0
4.080 * [taylor]: Taking taylor expansion of (acos (- (* 4.0 (fma v v (pow v 4))) 1.0)) in v
4.080 * [taylor]: Taking taylor expansion of (acos (- (* 4.0 (fma v v (pow v 4))) 1.0)) in v
4.081 * [approximate]: Taking taylor expansion of (acos (- (* 4.0 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4))) 1.0)) in (v) around 0
4.081 * [taylor]: Taking taylor expansion of (acos (- (* 4.0 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4))) 1.0)) in v
4.081 * [taylor]: Taking taylor expansion of (acos (- (* 4.0 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4))) 1.0)) in v
4.082 * [approximate]: Taking taylor expansion of (acos (- (* 4.0 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4))) 1.0)) in (v) around 0
4.082 * [taylor]: Taking taylor expansion of (acos (- (* 4.0 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4))) 1.0)) in v
4.082 * [taylor]: Taking taylor expansion of (acos (- (* 4.0 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4))) 1.0)) in v
4.083 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1)
4.083 * [approximate]: Taking taylor expansion of (* 4.0 (fma v v (pow v 4))) in (v) around 0
4.083 * [taylor]: Taking taylor expansion of (* 4.0 (fma v v (pow v 4))) in v
4.083 * [taylor]: Taking taylor expansion of 4.0 in v
4.083 * [taylor]: Taking taylor expansion of (fma v v (pow v 4)) in v
4.083 * [taylor]: Rewrote expression to (+ (* v v) (pow v 4))
4.083 * [taylor]: Taking taylor expansion of (* v v) in v
4.083 * [taylor]: Taking taylor expansion of v in v
4.083 * [taylor]: Taking taylor expansion of v in v
4.083 * [taylor]: Taking taylor expansion of (pow v 4) in v
4.083 * [taylor]: Taking taylor expansion of v in v
4.083 * [taylor]: Taking taylor expansion of (* 4.0 (fma v v (pow v 4))) in v
4.083 * [taylor]: Taking taylor expansion of 4.0 in v
4.083 * [taylor]: Taking taylor expansion of (fma v v (pow v 4)) in v
4.083 * [taylor]: Rewrote expression to (+ (* v v) (pow v 4))
4.083 * [taylor]: Taking taylor expansion of (* v v) in v
4.083 * [taylor]: Taking taylor expansion of v in v
4.083 * [taylor]: Taking taylor expansion of v in v
4.083 * [taylor]: Taking taylor expansion of (pow v 4) in v
4.083 * [taylor]: Taking taylor expansion of v in v
4.111 * [approximate]: Taking taylor expansion of (* 4.0 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4))) in (v) around 0
4.111 * [taylor]: Taking taylor expansion of (* 4.0 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4))) in v
4.111 * [taylor]: Taking taylor expansion of 4.0 in v
4.111 * [taylor]: Taking taylor expansion of (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) in v
4.111 * [taylor]: Rewrote expression to (+ (* (/ 1 v) (/ 1 v)) (pow (/ 1 v) 4))
4.111 * [taylor]: Taking taylor expansion of (* (/ 1 v) (/ 1 v)) in v
4.111 * [taylor]: Taking taylor expansion of (/ 1 v) in v
4.111 * [taylor]: Taking taylor expansion of v in v
4.111 * [taylor]: Taking taylor expansion of (/ 1 v) in v
4.111 * [taylor]: Taking taylor expansion of v in v
4.111 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 4) in v
4.112 * [taylor]: Taking taylor expansion of (/ 1 v) in v
4.112 * [taylor]: Taking taylor expansion of v in v
4.112 * [taylor]: Taking taylor expansion of (* 4.0 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4))) in v
4.112 * [taylor]: Taking taylor expansion of 4.0 in v
4.112 * [taylor]: Taking taylor expansion of (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) in v
4.112 * [taylor]: Rewrote expression to (+ (* (/ 1 v) (/ 1 v)) (pow (/ 1 v) 4))
4.112 * [taylor]: Taking taylor expansion of (* (/ 1 v) (/ 1 v)) in v
4.112 * [taylor]: Taking taylor expansion of (/ 1 v) in v
4.112 * [taylor]: Taking taylor expansion of v in v
4.112 * [taylor]: Taking taylor expansion of (/ 1 v) in v
4.112 * [taylor]: Taking taylor expansion of v in v
4.112 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 4) in v
4.113 * [taylor]: Taking taylor expansion of (/ 1 v) in v
4.113 * [taylor]: Taking taylor expansion of v in v
4.145 * [approximate]: Taking taylor expansion of (* 4.0 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4))) in (v) around 0
4.145 * [taylor]: Taking taylor expansion of (* 4.0 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4))) in v
4.145 * [taylor]: Taking taylor expansion of 4.0 in v
4.145 * [taylor]: Taking taylor expansion of (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) in v
4.145 * [taylor]: Rewrote expression to (+ (* (/ -1 v) (/ -1 v)) (pow (/ -1 v) 4))
4.145 * [taylor]: Taking taylor expansion of (* (/ -1 v) (/ -1 v)) in v
4.145 * [taylor]: Taking taylor expansion of (/ -1 v) in v
4.145 * [taylor]: Taking taylor expansion of -1 in v
4.145 * [taylor]: Taking taylor expansion of v in v
4.145 * [taylor]: Taking taylor expansion of (/ -1 v) in v
4.145 * [taylor]: Taking taylor expansion of -1 in v
4.145 * [taylor]: Taking taylor expansion of v in v
4.145 * [taylor]: Taking taylor expansion of (pow (/ -1 v) 4) in v
4.145 * [taylor]: Taking taylor expansion of (/ -1 v) in v
4.145 * [taylor]: Taking taylor expansion of -1 in v
4.145 * [taylor]: Taking taylor expansion of v in v
4.146 * [taylor]: Taking taylor expansion of (* 4.0 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4))) in v
4.146 * [taylor]: Taking taylor expansion of 4.0 in v
4.146 * [taylor]: Taking taylor expansion of (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) in v
4.146 * [taylor]: Rewrote expression to (+ (* (/ -1 v) (/ -1 v)) (pow (/ -1 v) 4))
4.146 * [taylor]: Taking taylor expansion of (* (/ -1 v) (/ -1 v)) in v
4.146 * [taylor]: Taking taylor expansion of (/ -1 v) in v
4.146 * [taylor]: Taking taylor expansion of -1 in v
4.146 * [taylor]: Taking taylor expansion of v in v
4.146 * [taylor]: Taking taylor expansion of (/ -1 v) in v
4.146 * [taylor]: Taking taylor expansion of -1 in v
4.146 * [taylor]: Taking taylor expansion of v in v
4.147 * [taylor]: Taking taylor expansion of (pow (/ -1 v) 4) in v
4.147 * [taylor]: Taking taylor expansion of (/ -1 v) in v
4.147 * [taylor]: Taking taylor expansion of -1 in v
4.147 * [taylor]: Taking taylor expansion of v in v
4.185 * * * [progress]: simplifying candidates
4.186 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (acos (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (log1p (acos (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (/ PI 2)
  (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))
  (log (acos (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (exp (acos (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (* (cbrt (acos (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (acos (- (* 4.0 (fma v v (pow v 4))) 1.0))))
  (cbrt (acos (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (* (* (acos (- (* 4.0 (fma v v (pow v 4))) 1.0)) (acos (- (* 4.0 (fma v v (pow v 4))) 1.0))) (acos (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (sqrt (acos (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (sqrt (acos (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (expm1 (* 4.0 (fma v v (pow v 4))))
  (log1p (* 4.0 (fma v v (pow v 4))))
  (* 4.0 (fma v v (pow v 4)))
  (+ (log 4.0) (log (fma v v (pow v 4))))
  (log (* 4.0 (fma v v (pow v 4))))
  (exp (* 4.0 (fma v v (pow v 4))))
  (* (* (* 4.0 4.0) 4.0) (* (* (fma v v (pow v 4)) (fma v v (pow v 4))) (fma v v (pow v 4))))
  (* (cbrt (* 4.0 (fma v v (pow v 4)))) (cbrt (* 4.0 (fma v v (pow v 4)))))
  (cbrt (* 4.0 (fma v v (pow v 4))))
  (* (* (* 4.0 (fma v v (pow v 4))) (* 4.0 (fma v v (pow v 4)))) (* 4.0 (fma v v (pow v 4))))
  (sqrt (* 4.0 (fma v v (pow v 4))))
  (sqrt (* 4.0 (fma v v (pow v 4))))
  (* (sqrt 4.0) (sqrt (fma v v (pow v 4))))
  (* (sqrt 4.0) (sqrt (fma v v (pow v 4))))
  (* 4.0 (* v v))
  (* 4.0 (pow v 4))
  (* (* v v) 4.0)
  (* (pow v 4) 4.0)
  (* 4.0 (* (cbrt (fma v v (pow v 4))) (cbrt (fma v v (pow v 4)))))
  (* 4.0 (sqrt (fma v v (pow v 4))))
  (* 4.0 1)
  (* (cbrt 4.0) (fma v v (pow v 4)))
  (* (sqrt 4.0) (fma v v (pow v 4)))
  (* 4.0 (fma v v (pow v 4)))
  (acos (- (* 4.0 (fma v v (pow v 4))) 1.0))
  (acos (- (* 4.0 (fma v v (pow v 4))) 1.0))
  (acos (- (* 4.0 (fma v v (pow v 4))) 1.0))
  (+ (* 4.0 (pow v 2)) (* 4.0 (pow v 4)))
  (+ (* 4.0 (pow v 2)) (* 4.0 (pow v 4)))
  (+ (* 4.0 (pow v 2)) (* 4.0 (pow v 4)))
4.188 * * [simplify]: iteration  0 :  59  enodes  (cost  471 )
4.199 * * [simplify]: iteration  1 :  107  enodes  (cost  459 )
4.216 * * [simplify]: iteration  2 :  273  enodes  (cost  399 )
4.310 * * [simplify]: iteration  3 :  978  enodes  (cost  399 )
5.433 * * [simplify]: iteration  done :  5000  enodes  (cost  399 )
5.434 * [simplify]: Simplified to:
   (expm1 (acos (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (log1p (acos (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (/ PI 2)
  (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))
  (log (acos (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (exp (acos (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (* (cbrt (acos (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (acos (- (* 4.0 (fma v v (pow v 4))) 1.0))))
  (cbrt (acos (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (pow (acos (- (* 4.0 (fma v v (pow v 4))) 1.0)) 3)
  (sqrt (acos (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (sqrt (acos (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (expm1 (* 4.0 (fma v v (pow v 4))))
  (log1p (* 4.0 (fma v v (pow v 4))))
  (* 4.0 (fma v v (pow v 4)))
  (log (* 4.0 (fma v v (pow v 4))))
  (log (* 4.0 (fma v v (pow v 4))))
  (exp (* 4.0 (fma v v (pow v 4))))
  (pow (* 4.0 (fma v v (pow v 4))) 3)
  (* (cbrt (* 4.0 (fma v v (pow v 4)))) (cbrt (* 4.0 (fma v v (pow v 4)))))
  (cbrt (* 4.0 (fma v v (pow v 4))))
  (pow (* 4.0 (fma v v (pow v 4))) 3)
  (sqrt (* 4.0 (fma v v (pow v 4))))
  (sqrt (* 4.0 (fma v v (pow v 4))))
  (* (hypot v (* v v)) (sqrt 4.0))
  (* (hypot v (* v v)) (sqrt 4.0))
  (* 4.0 (* v v))
  (* (pow v 4) 4.0)
  (* 4.0 (* v v))
  (* (pow v 4) 4.0)
  (* 4.0 (* (cbrt (fma v v (pow v 4))) (cbrt (fma v v (pow v 4)))))
  (* (hypot v (* v v)) 4.0)
  4.0
  (* (cbrt 4.0) (fma v v (pow v 4)))
  (* (sqrt 4.0) (fma v v (pow v 4)))
  (* 4.0 (fma v v (pow v 4)))
  (acos (- (* 4.0 (fma v v (pow v 4))) 1.0))
  (acos (- (* 4.0 (fma v v (pow v 4))) 1.0))
  (acos (- (* 4.0 (fma v v (pow v 4))) 1.0))
  (* 4.0 (fma v v (pow v 4)))
  (* 4.0 (fma v v (pow v 4)))
  (* 4.0 (fma v v (pow v 4)))
5.434 * * * [progress]: adding candidates to table
5.517 * * [progress]: iteration 3 / 4
5.517 * * * [progress]: picking best candidate
5.521 * * * * [pick]: Picked  #<alt (λ (v) (- (/ PI 2) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))>
5.521 * * * [progress]: localizing error
5.532 * * * [progress]: generating rewritten candidates
5.532 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
5.533 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1 1)
5.535 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
5.553 * * * [progress]: generating series expansions
5.553 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
5.553 * [approximate]: Taking taylor expansion of (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) in (v) around 0
5.553 * [taylor]: Taking taylor expansion of (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) in v
5.553 * [taylor]: Taking taylor expansion of (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) in v
5.554 * [approximate]: Taking taylor expansion of (asin (- (* 4.0 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4))) 1.0)) in (v) around 0
5.554 * [taylor]: Taking taylor expansion of (asin (- (* 4.0 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4))) 1.0)) in v
5.554 * [taylor]: Taking taylor expansion of (asin (- (* 4.0 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4))) 1.0)) in v
5.555 * [approximate]: Taking taylor expansion of (asin (- (* 4.0 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4))) 1.0)) in (v) around 0
5.555 * [taylor]: Taking taylor expansion of (asin (- (* 4.0 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4))) 1.0)) in v
5.555 * [taylor]: Taking taylor expansion of (asin (- (* 4.0 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4))) 1.0)) in v
5.556 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1 1)
5.556 * [approximate]: Taking taylor expansion of (* 4.0 (fma v v (pow v 4))) in (v) around 0
5.556 * [taylor]: Taking taylor expansion of (* 4.0 (fma v v (pow v 4))) in v
5.556 * [taylor]: Taking taylor expansion of 4.0 in v
5.556 * [taylor]: Taking taylor expansion of (fma v v (pow v 4)) in v
5.556 * [taylor]: Rewrote expression to (+ (* v v) (pow v 4))
5.556 * [taylor]: Taking taylor expansion of (* v v) in v
5.556 * [taylor]: Taking taylor expansion of v in v
5.556 * [taylor]: Taking taylor expansion of v in v
5.556 * [taylor]: Taking taylor expansion of (pow v 4) in v
5.556 * [taylor]: Taking taylor expansion of v in v
5.556 * [taylor]: Taking taylor expansion of (* 4.0 (fma v v (pow v 4))) in v
5.556 * [taylor]: Taking taylor expansion of 4.0 in v
5.556 * [taylor]: Taking taylor expansion of (fma v v (pow v 4)) in v
5.556 * [taylor]: Rewrote expression to (+ (* v v) (pow v 4))
5.556 * [taylor]: Taking taylor expansion of (* v v) in v
5.556 * [taylor]: Taking taylor expansion of v in v
5.556 * [taylor]: Taking taylor expansion of v in v
5.556 * [taylor]: Taking taylor expansion of (pow v 4) in v
5.556 * [taylor]: Taking taylor expansion of v in v
5.588 * [approximate]: Taking taylor expansion of (* 4.0 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4))) in (v) around 0
5.588 * [taylor]: Taking taylor expansion of (* 4.0 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4))) in v
5.588 * [taylor]: Taking taylor expansion of 4.0 in v
5.588 * [taylor]: Taking taylor expansion of (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) in v
5.588 * [taylor]: Rewrote expression to (+ (* (/ 1 v) (/ 1 v)) (pow (/ 1 v) 4))
5.588 * [taylor]: Taking taylor expansion of (* (/ 1 v) (/ 1 v)) in v
5.588 * [taylor]: Taking taylor expansion of (/ 1 v) in v
5.588 * [taylor]: Taking taylor expansion of v in v
5.588 * [taylor]: Taking taylor expansion of (/ 1 v) in v
5.588 * [taylor]: Taking taylor expansion of v in v
5.589 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 4) in v
5.589 * [taylor]: Taking taylor expansion of (/ 1 v) in v
5.589 * [taylor]: Taking taylor expansion of v in v
5.589 * [taylor]: Taking taylor expansion of (* 4.0 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4))) in v
5.589 * [taylor]: Taking taylor expansion of 4.0 in v
5.589 * [taylor]: Taking taylor expansion of (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4)) in v
5.589 * [taylor]: Rewrote expression to (+ (* (/ 1 v) (/ 1 v)) (pow (/ 1 v) 4))
5.589 * [taylor]: Taking taylor expansion of (* (/ 1 v) (/ 1 v)) in v
5.589 * [taylor]: Taking taylor expansion of (/ 1 v) in v
5.589 * [taylor]: Taking taylor expansion of v in v
5.590 * [taylor]: Taking taylor expansion of (/ 1 v) in v
5.590 * [taylor]: Taking taylor expansion of v in v
5.590 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 4) in v
5.590 * [taylor]: Taking taylor expansion of (/ 1 v) in v
5.590 * [taylor]: Taking taylor expansion of v in v
5.623 * [approximate]: Taking taylor expansion of (* 4.0 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4))) in (v) around 0
5.623 * [taylor]: Taking taylor expansion of (* 4.0 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4))) in v
5.623 * [taylor]: Taking taylor expansion of 4.0 in v
5.623 * [taylor]: Taking taylor expansion of (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) in v
5.624 * [taylor]: Rewrote expression to (+ (* (/ -1 v) (/ -1 v)) (pow (/ -1 v) 4))
5.624 * [taylor]: Taking taylor expansion of (* (/ -1 v) (/ -1 v)) in v
5.624 * [taylor]: Taking taylor expansion of (/ -1 v) in v
5.624 * [taylor]: Taking taylor expansion of -1 in v
5.624 * [taylor]: Taking taylor expansion of v in v
5.624 * [taylor]: Taking taylor expansion of (/ -1 v) in v
5.624 * [taylor]: Taking taylor expansion of -1 in v
5.624 * [taylor]: Taking taylor expansion of v in v
5.624 * [taylor]: Taking taylor expansion of (pow (/ -1 v) 4) in v
5.624 * [taylor]: Taking taylor expansion of (/ -1 v) in v
5.624 * [taylor]: Taking taylor expansion of -1 in v
5.624 * [taylor]: Taking taylor expansion of v in v
5.625 * [taylor]: Taking taylor expansion of (* 4.0 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4))) in v
5.625 * [taylor]: Taking taylor expansion of 4.0 in v
5.625 * [taylor]: Taking taylor expansion of (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4)) in v
5.625 * [taylor]: Rewrote expression to (+ (* (/ -1 v) (/ -1 v)) (pow (/ -1 v) 4))
5.625 * [taylor]: Taking taylor expansion of (* (/ -1 v) (/ -1 v)) in v
5.625 * [taylor]: Taking taylor expansion of (/ -1 v) in v
5.625 * [taylor]: Taking taylor expansion of -1 in v
5.625 * [taylor]: Taking taylor expansion of v in v
5.625 * [taylor]: Taking taylor expansion of (/ -1 v) in v
5.625 * [taylor]: Taking taylor expansion of -1 in v
5.625 * [taylor]: Taking taylor expansion of v in v
5.625 * [taylor]: Taking taylor expansion of (pow (/ -1 v) 4) in v
5.626 * [taylor]: Taking taylor expansion of (/ -1 v) in v
5.626 * [taylor]: Taking taylor expansion of -1 in v
5.626 * [taylor]: Taking taylor expansion of v in v
5.665 * * * * [progress]: [ 3 / 3 ] generating series at (2)
5.665 * [approximate]: Taking taylor expansion of (- (* 1/2 PI) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) in (v) around 0
5.665 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) in v
5.665 * [taylor]: Taking taylor expansion of (* 1/2 PI) in v
5.665 * [taylor]: Taking taylor expansion of 1/2 in v
5.665 * [taylor]: Taking taylor expansion of PI in v
5.665 * [taylor]: Taking taylor expansion of (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) in v
5.665 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) in v
5.665 * [taylor]: Taking taylor expansion of (* 1/2 PI) in v
5.665 * [taylor]: Taking taylor expansion of 1/2 in v
5.665 * [taylor]: Taking taylor expansion of PI in v
5.666 * [taylor]: Taking taylor expansion of (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) in v
5.675 * [approximate]: Taking taylor expansion of (- (* 1/2 PI) (asin (- (* 4.0 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4))) 1.0))) in (v) around 0
5.675 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (- (* 4.0 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4))) 1.0))) in v
5.675 * [taylor]: Taking taylor expansion of (* 1/2 PI) in v
5.675 * [taylor]: Taking taylor expansion of 1/2 in v
5.675 * [taylor]: Taking taylor expansion of PI in v
5.675 * [taylor]: Taking taylor expansion of (asin (- (* 4.0 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4))) 1.0)) in v
5.675 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (- (* 4.0 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4))) 1.0))) in v
5.675 * [taylor]: Taking taylor expansion of (* 1/2 PI) in v
5.675 * [taylor]: Taking taylor expansion of 1/2 in v
5.675 * [taylor]: Taking taylor expansion of PI in v
5.675 * [taylor]: Taking taylor expansion of (asin (- (* 4.0 (fma (/ 1 v) (/ 1 v) (pow (/ 1 v) 4))) 1.0)) in v
5.685 * [approximate]: Taking taylor expansion of (- (* 1/2 PI) (asin (- (* 4.0 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4))) 1.0))) in (v) around 0
5.685 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (- (* 4.0 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4))) 1.0))) in v
5.685 * [taylor]: Taking taylor expansion of (* 1/2 PI) in v
5.685 * [taylor]: Taking taylor expansion of 1/2 in v
5.685 * [taylor]: Taking taylor expansion of PI in v
5.685 * [taylor]: Taking taylor expansion of (asin (- (* 4.0 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4))) 1.0)) in v
5.685 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (- (* 4.0 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4))) 1.0))) in v
5.685 * [taylor]: Taking taylor expansion of (* 1/2 PI) in v
5.685 * [taylor]: Taking taylor expansion of 1/2 in v
5.685 * [taylor]: Taking taylor expansion of PI in v
5.685 * [taylor]: Taking taylor expansion of (asin (- (* 4.0 (fma (/ -1 v) (/ -1 v) (pow (/ -1 v) 4))) 1.0)) in v
5.694 * * * [progress]: simplifying candidates
5.696 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (log1p (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (/ PI 2)
  (acos (- (* 4.0 (fma v v (pow v 4))) 1.0))
  (log (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (exp (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))
  (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (* (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (expm1 (* 4.0 (fma v v (pow v 4))))
  (log1p (* 4.0 (fma v v (pow v 4))))
  (* 4.0 (fma v v (pow v 4)))
  (+ (log 4.0) (log (fma v v (pow v 4))))
  (log (* 4.0 (fma v v (pow v 4))))
  (exp (* 4.0 (fma v v (pow v 4))))
  (* (* (* 4.0 4.0) 4.0) (* (* (fma v v (pow v 4)) (fma v v (pow v 4))) (fma v v (pow v 4))))
  (* (cbrt (* 4.0 (fma v v (pow v 4)))) (cbrt (* 4.0 (fma v v (pow v 4)))))
  (cbrt (* 4.0 (fma v v (pow v 4))))
  (* (* (* 4.0 (fma v v (pow v 4))) (* 4.0 (fma v v (pow v 4)))) (* 4.0 (fma v v (pow v 4))))
  (sqrt (* 4.0 (fma v v (pow v 4))))
  (sqrt (* 4.0 (fma v v (pow v 4))))
  (* (sqrt 4.0) (sqrt (fma v v (pow v 4))))
  (* (sqrt 4.0) (sqrt (fma v v (pow v 4))))
  (* 4.0 (* v v))
  (* 4.0 (pow v 4))
  (* (* v v) 4.0)
  (* (pow v 4) 4.0)
  (* 4.0 (* (cbrt (fma v v (pow v 4))) (cbrt (fma v v (pow v 4)))))
  (* 4.0 (sqrt (fma v v (pow v 4))))
  (* 4.0 1)
  (* (cbrt 4.0) (fma v v (pow v 4)))
  (* (sqrt 4.0) (fma v v (pow v 4)))
  (* 4.0 (fma v v (pow v 4)))
  (fma (* (cbrt (/ PI 2)) (cbrt (/ PI 2))) (cbrt (/ PI 2)) (- (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))))))
  (fma (- (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))))
  (fma (* (cbrt (/ PI 2)) (cbrt (/ PI 2))) (cbrt (/ PI 2)) (- (* (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))))
  (fma (- (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))))
  (fma (* (cbrt (/ PI 2)) (cbrt (/ PI 2))) (cbrt (/ PI 2)) (- (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 1)))
  (fma (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) 1 (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 1))
  (fma (sqrt (/ PI 2)) (sqrt (/ PI 2)) (- (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))))))
  (fma (- (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))))
  (fma (sqrt (/ PI 2)) (sqrt (/ PI 2)) (- (* (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))))
  (fma (- (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))))
  (fma (sqrt (/ PI 2)) (sqrt (/ PI 2)) (- (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 1)))
  (fma (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) 1 (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 1))
  (fma (/ (* (cbrt PI) (cbrt PI)) (* (cbrt 2) (cbrt 2))) (/ (cbrt PI) (cbrt 2)) (- (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))))))
  (fma (- (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))))
  (fma (/ (* (cbrt PI) (cbrt PI)) (* (cbrt 2) (cbrt 2))) (/ (cbrt PI) (cbrt 2)) (- (* (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))))
  (fma (- (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))))
  (fma (/ (* (cbrt PI) (cbrt PI)) (* (cbrt 2) (cbrt 2))) (/ (cbrt PI) (cbrt 2)) (- (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 1)))
  (fma (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) 1 (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 1))
  (fma (/ (* (cbrt PI) (cbrt PI)) (sqrt 2)) (/ (cbrt PI) (sqrt 2)) (- (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))))))
  (fma (- (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))))
  (fma (/ (* (cbrt PI) (cbrt PI)) (sqrt 2)) (/ (cbrt PI) (sqrt 2)) (- (* (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))))
  (fma (- (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))))
  (fma (/ (* (cbrt PI) (cbrt PI)) (sqrt 2)) (/ (cbrt PI) (sqrt 2)) (- (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 1)))
  (fma (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) 1 (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 1))
  (fma (/ (* (cbrt PI) (cbrt PI)) 1) (/ (cbrt PI) 2) (- (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))))))
  (fma (- (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))))
  (fma (/ (* (cbrt PI) (cbrt PI)) 1) (/ (cbrt PI) 2) (- (* (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))))
  (fma (- (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))))
  (fma (/ (* (cbrt PI) (cbrt PI)) 1) (/ (cbrt PI) 2) (- (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 1)))
  (fma (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) 1 (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 1))
  (fma (/ (sqrt PI) (* (cbrt 2) (cbrt 2))) (/ (sqrt PI) (cbrt 2)) (- (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))))))
  (fma (- (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))))
  (fma (/ (sqrt PI) (* (cbrt 2) (cbrt 2))) (/ (sqrt PI) (cbrt 2)) (- (* (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))))
  (fma (- (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))))
  (fma (/ (sqrt PI) (* (cbrt 2) (cbrt 2))) (/ (sqrt PI) (cbrt 2)) (- (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 1)))
  (fma (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) 1 (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 1))
  (fma (/ (sqrt PI) (sqrt 2)) (/ (sqrt PI) (sqrt 2)) (- (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))))))
  (fma (- (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))))
  (fma (/ (sqrt PI) (sqrt 2)) (/ (sqrt PI) (sqrt 2)) (- (* (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))))
  (fma (- (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))))
  (fma (/ (sqrt PI) (sqrt 2)) (/ (sqrt PI) (sqrt 2)) (- (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 1)))
  (fma (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) 1 (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 1))
  (fma (/ (sqrt PI) 1) (/ (sqrt PI) 2) (- (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))))))
  (fma (- (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))))
  (fma (/ (sqrt PI) 1) (/ (sqrt PI) 2) (- (* (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))))
  (fma (- (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))))
  (fma (/ (sqrt PI) 1) (/ (sqrt PI) 2) (- (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 1)))
  (fma (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) 1 (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 1))
  (fma (/ 1 (* (cbrt 2) (cbrt 2))) (/ PI (cbrt 2)) (- (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))))))
  (fma (- (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))))
  (fma (/ 1 (* (cbrt 2) (cbrt 2))) (/ PI (cbrt 2)) (- (* (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))))
  (fma (- (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))))
  (fma (/ 1 (* (cbrt 2) (cbrt 2))) (/ PI (cbrt 2)) (- (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 1)))
  (fma (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) 1 (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 1))
  (fma (/ 1 (sqrt 2)) (/ PI (sqrt 2)) (- (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))))))
  (fma (- (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))))
  (fma (/ 1 (sqrt 2)) (/ PI (sqrt 2)) (- (* (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))))
  (fma (- (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))))
  (fma (/ 1 (sqrt 2)) (/ PI (sqrt 2)) (- (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 1)))
  (fma (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) 1 (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 1))
  (fma (/ 1 1) (/ PI 2) (- (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))))))
  (fma (- (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))))
  (fma (/ 1 1) (/ PI 2) (- (* (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))))
  (fma (- (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))))
  (fma (/ 1 1) (/ PI 2) (- (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 1)))
  (fma (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) 1 (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 1))
  (fma 1 (/ PI 2) (- (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))))))
  (fma (- (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))))
  (fma 1 (/ PI 2) (- (* (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))))
  (fma (- (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))))
  (fma 1 (/ PI 2) (- (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 1)))
  (fma (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) 1 (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 1))
  (fma PI (/ 1 2) (- (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))))))
  (fma (- (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))))
  (fma PI (/ 1 2) (- (* (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))))
  (fma (- (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))))
  (fma PI (/ 1 2) (- (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 1)))
  (fma (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) 1 (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 1))
  (expm1 (- (/ PI 2) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))
  (log1p (- (/ PI 2) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))
  (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (/ (exp (/ PI 2)) (exp (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))
  (log (- (/ PI 2) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))
  (exp (- (/ PI 2) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))
  (* (cbrt (- (/ PI 2) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (cbrt (- (/ PI 2) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))))
  (cbrt (- (/ PI 2) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))
  (* (* (- (/ PI 2) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (- (/ PI 2) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (- (/ PI 2) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))
  (sqrt (- (/ PI 2) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))
  (sqrt (- (/ PI 2) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))
  (- (pow (/ PI 2) 3) (pow (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 3))
  (+ (* (/ PI 2) (/ PI 2)) (+ (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (/ PI 2) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))))
  (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (- (* (/ PI 2) (/ PI 2)) (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))
  (+ (/ PI 2) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (+ (sqrt (/ PI 2)) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))
  (- (sqrt (/ PI 2)) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))
  (+ (/ (sqrt PI) (sqrt 2)) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))
  (- (/ (sqrt PI) (sqrt 2)) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))
  (- (/ PI 2) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (- (/ PI 2) (/ PI 2))
  (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))
  (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))
  (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))
  (+ (* 4.0 (pow v 2)) (* 4.0 (pow v 4)))
  (+ (* 4.0 (pow v 2)) (* 4.0 (pow v 4)))
  (+ (* 4.0 (pow v 2)) (* 4.0 (pow v 4)))
  (- (* 1/2 PI) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (- (* 1/2 PI) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (- (* 1/2 PI) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
5.705 * * [simplify]: iteration  0 :  166  enodes  (cost  4565 )
5.738 * * [simplify]: iteration  1 :  322  enodes  (cost  2966 )
5.816 * * [simplify]: iteration  2 :  796  enodes  (cost  2322 )
6.216 * * [simplify]: iteration  3 :  2749  enodes  (cost  2207 )
7.032 * * [simplify]: iteration  done :  5000  enodes  (cost  2207 )
7.034 * [simplify]: Simplified to:
   (expm1 (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (log1p (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (* 1/2 PI)
  (acos (- (* 4.0 (fma v v (pow v 4))) 1.0))
  (log (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (exp (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (* (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))
  (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (pow (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 3)
  (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (expm1 (* 4.0 (fma v v (pow v 4))))
  (log1p (* 4.0 (fma v v (pow v 4))))
  (* (fma v v (pow v 4)) 4.0)
  (log (* 4.0 (fma v v (pow v 4))))
  (log (* 4.0 (fma v v (pow v 4))))
  (exp (* 4.0 (fma v v (pow v 4))))
  (pow (* (fma v v (pow v 4)) 4.0) 3)
  (* (cbrt (* 4.0 (fma v v (pow v 4)))) (cbrt (* 4.0 (fma v v (pow v 4)))))
  (cbrt (* 4.0 (fma v v (pow v 4))))
  (pow (* (fma v v (pow v 4)) 4.0) 3)
  (sqrt (* 4.0 (fma v v (pow v 4))))
  (sqrt (* 4.0 (fma v v (pow v 4))))
  (* (hypot v (* v v)) (sqrt 4.0))
  (* (hypot v (* v v)) (sqrt 4.0))
  (* 4.0 (* v v))
  (* (pow v 4) 4.0)
  (* 4.0 (* v v))
  (* (pow v 4) 4.0)
  (* 4.0 (* (cbrt (fma v v (pow v 4))) (cbrt (fma v v (pow v 4)))))
  (* (hypot v (* v v)) 4.0)
  4.0
  (* (cbrt 4.0) (fma v v (pow v 4)))
  (* (sqrt 4.0) (fma v v (pow v 4)))
  (* (fma v v (pow v 4)) 4.0)
  (- (pow (cbrt (/ PI 2)) 3) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)
  (- (pow (cbrt (/ PI 2)) 3) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)
  (- (pow (cbrt (/ PI 2)) 3) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)
  (- (* 1/2 PI) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)
  (- (* 1/2 PI) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)
  (- (* 1/2 PI) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)
  (- (pow (/ (cbrt PI) (cbrt 2)) 3) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)
  (- (pow (/ (cbrt PI) (cbrt 2)) 3) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)
  (- (pow (/ (cbrt PI) (cbrt 2)) 3) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)
  (fma (/ (* (cbrt PI) (cbrt PI)) (sqrt 2)) (/ (cbrt PI) (sqrt 2)) (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))
  (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)
  (fma (/ (* (cbrt PI) (cbrt PI)) (sqrt 2)) (/ (cbrt PI) (sqrt 2)) (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))
  (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)
  (fma (/ (* (cbrt PI) (cbrt PI)) (sqrt 2)) (/ (cbrt PI) (sqrt 2)) (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))
  (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)
  (fma (* (cbrt PI) (cbrt PI)) (/ (cbrt PI) 2) (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))
  (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)
  (fma (* (cbrt PI) (cbrt PI)) (/ (cbrt PI) 2) (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))
  (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)
  (fma (* (cbrt PI) (cbrt PI)) (/ (cbrt PI) 2) (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))
  (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)
  (- (/ (/ PI (cbrt 2)) (* (cbrt 2) (cbrt 2))) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)
  (- (/ (/ PI (cbrt 2)) (* (cbrt 2) (cbrt 2))) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)
  (- (/ (/ PI (cbrt 2)) (* (cbrt 2) (cbrt 2))) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)
  (- (/ (/ PI (sqrt 2)) (sqrt 2)) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)
  (- (/ (/ PI (sqrt 2)) (sqrt 2)) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)
  (- (/ (/ PI (sqrt 2)) (sqrt 2)) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)
  (- (* 1/2 PI) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)
  (- (* 1/2 PI) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)
  (- (* 1/2 PI) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)
  (- (/ (/ PI (cbrt 2)) (* (cbrt 2) (cbrt 2))) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)
  (- (/ (/ PI (cbrt 2)) (* (cbrt 2) (cbrt 2))) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)
  (- (/ (/ PI (cbrt 2)) (* (cbrt 2) (cbrt 2))) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)
  (- (/ (/ PI (sqrt 2)) (sqrt 2)) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)
  (- (/ (/ PI (sqrt 2)) (sqrt 2)) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)
  (- (/ (/ PI (sqrt 2)) (sqrt 2)) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)
  (- (* 1/2 PI) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)
  (- (* 1/2 PI) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)
  (- (* 1/2 PI) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)
  (- (* 1/2 PI) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)
  (- (* 1/2 PI) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)
  (- (* 1/2 PI) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)
  (- (* 1/2 PI) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)
  (- (* 1/2 PI) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)
  (- (* 1/2 PI) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)
  (expm1 (- (/ PI 2) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))
  (log1p (- (/ PI 2) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))
  (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (exp (- (/ PI 2) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))
  (log (- (/ PI 2) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))
  (exp (- (/ PI 2) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))
  (* (cbrt (- (/ PI 2) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))) (cbrt (- (/ PI 2) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))))
  (cbrt (- (/ PI 2) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))
  (pow (- (/ PI 2) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) 3)
  (sqrt (- (/ PI 2) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))
  (sqrt (- (/ PI 2) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))
  (- (pow (/ PI 2) 3) (pow (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 3))
  (fma (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) (+ (/ PI 2) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (/ (* PI PI) 4))
  (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (- (/ (* PI PI) 4) (pow (cbrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) 6))
  (+ (/ PI 2) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (+ (sqrt (/ PI 2)) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))
  (- (sqrt (/ PI 2)) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))
  (+ (/ (sqrt PI) (sqrt 2)) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))
  (- (/ (sqrt PI) (sqrt 2)) (sqrt (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))
  (- (* 1/2 PI) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  0
  (- (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))
  (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))
  (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))
  (* (fma v v (pow v 4)) 4.0)
  (* (fma v v (pow v 4)) 4.0)
  (* (fma v v (pow v 4)) 4.0)
  (- (* 1/2 PI) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (- (* 1/2 PI) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
  (- (* 1/2 PI) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
7.034 * * * [progress]: adding candidates to table
7.256 * * [progress]: iteration 4 / 4
7.256 * * * [progress]: picking best candidate
7.261 * * * * [pick]: Picked  #<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))))))>
7.261 * * * [progress]: localizing error
7.273 * * * [progress]: generating rewritten candidates
7.273 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
7.274 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
7.274 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
7.275 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
7.283 * * * [progress]: generating series expansions
7.283 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
7.283 * [approximate]: Taking taylor expansion of (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 1/3) in (v) around 0
7.283 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 1/3) in v
7.283 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))))) in v
7.283 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))) in v
7.283 * [taylor]: Taking taylor expansion of 1/3 in v
7.283 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))) in v
7.283 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
7.284 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 1/3) in v
7.284 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))))) in v
7.284 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))) in v
7.284 * [taylor]: Taking taylor expansion of 1/3 in v
7.284 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))) in v
7.284 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
7.327 * [approximate]: Taking taylor expansion of (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1/3) in (v) around 0
7.327 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1/3) in v
7.327 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))))) in v
7.328 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))))) in v
7.328 * [taylor]: Taking taylor expansion of 1/3 in v
7.328 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))) in v
7.328 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
7.328 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1/3) in v
7.328 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))))) in v
7.328 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))))) in v
7.328 * [taylor]: Taking taylor expansion of 1/3 in v
7.329 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))) in v
7.329 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
7.369 * [approximate]: Taking taylor expansion of (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1/3) in (v) around 0
7.369 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1/3) in v
7.369 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))))) in v
7.369 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))))) in v
7.369 * [taylor]: Taking taylor expansion of 1/3 in v
7.369 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))) in v
7.369 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
7.370 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1/3) in v
7.370 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))))) in v
7.370 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))))) in v
7.370 * [taylor]: Taking taylor expansion of 1/3 in v
7.370 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))) in v
7.370 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
7.417 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
7.417 * [approximate]: Taking taylor expansion of (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 1/3) in (v) around 0
7.417 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 1/3) in v
7.417 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))))) in v
7.417 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))) in v
7.417 * [taylor]: Taking taylor expansion of 1/3 in v
7.417 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))) in v
7.417 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
7.418 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 1/3) in v
7.418 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))))) in v
7.418 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))) in v
7.418 * [taylor]: Taking taylor expansion of 1/3 in v
7.418 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))) in v
7.418 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
7.457 * [approximate]: Taking taylor expansion of (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1/3) in (v) around 0
7.457 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1/3) in v
7.457 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))))) in v
7.457 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))))) in v
7.457 * [taylor]: Taking taylor expansion of 1/3 in v
7.457 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))) in v
7.457 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
7.458 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1/3) in v
7.458 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))))) in v
7.458 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))))) in v
7.458 * [taylor]: Taking taylor expansion of 1/3 in v
7.458 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))) in v
7.458 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
7.505 * [approximate]: Taking taylor expansion of (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1/3) in (v) around 0
7.505 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1/3) in v
7.505 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))))) in v
7.505 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))))) in v
7.505 * [taylor]: Taking taylor expansion of 1/3 in v
7.505 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))) in v
7.505 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
7.506 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1/3) in v
7.506 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))))) in v
7.506 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))))) in v
7.506 * [taylor]: Taking taylor expansion of 1/3 in v
7.506 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))) in v
7.506 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
7.547 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
7.547 * [approximate]: Taking taylor expansion of (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 1/3) in (v) around 0
7.547 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 1/3) in v
7.547 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))))) in v
7.547 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))) in v
7.547 * [taylor]: Taking taylor expansion of 1/3 in v
7.547 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))) in v
7.547 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
7.548 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 1/3) in v
7.548 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))))) in v
7.548 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))) in v
7.548 * [taylor]: Taking taylor expansion of 1/3 in v
7.548 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))) in v
7.548 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
7.593 * [approximate]: Taking taylor expansion of (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1/3) in (v) around 0
7.593 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1/3) in v
7.593 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))))) in v
7.593 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))))) in v
7.593 * [taylor]: Taking taylor expansion of 1/3 in v
7.593 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))) in v
7.593 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
7.594 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1/3) in v
7.594 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))))) in v
7.594 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))))) in v
7.594 * [taylor]: Taking taylor expansion of 1/3 in v
7.594 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))) in v
7.594 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
7.635 * [approximate]: Taking taylor expansion of (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1/3) in (v) around 0
7.635 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1/3) in v
7.635 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))))) in v
7.635 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))))) in v
7.635 * [taylor]: Taking taylor expansion of 1/3 in v
7.635 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))) in v
7.635 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
7.636 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1/3) in v
7.636 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))))) in v
7.636 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))))) in v
7.636 * [taylor]: Taking taylor expansion of 1/3 in v
7.636 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))) in v
7.636 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
7.682 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
7.683 * [approximate]: Taking taylor expansion of (pow (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 2) 1/3) in (v) around 0
7.683 * [taylor]: Taking taylor expansion of (pow (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 2) 1/3) in v
7.683 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 2)))) in v
7.683 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 2))) in v
7.683 * [taylor]: Taking taylor expansion of 1/3 in v
7.683 * [taylor]: Taking taylor expansion of (log (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 2)) in v
7.683 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 2) in v
7.683 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
7.684 * [taylor]: Taking taylor expansion of (pow (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 2) 1/3) in v
7.684 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 2)))) in v
7.684 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 2))) in v
7.684 * [taylor]: Taking taylor expansion of 1/3 in v
7.684 * [taylor]: Taking taylor expansion of (log (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 2)) in v
7.684 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 2) in v
7.684 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
7.737 * [approximate]: Taking taylor expansion of (pow (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2) 1/3) in (v) around 0
7.737 * [taylor]: Taking taylor expansion of (pow (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2) 1/3) in v
7.737 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2)))) in v
7.737 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2))) in v
7.737 * [taylor]: Taking taylor expansion of 1/3 in v
7.737 * [taylor]: Taking taylor expansion of (log (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2)) in v
7.737 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2) in v
7.737 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
7.738 * [taylor]: Taking taylor expansion of (pow (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2) 1/3) in v
7.739 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2)))) in v
7.739 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2))) in v
7.739 * [taylor]: Taking taylor expansion of 1/3 in v
7.739 * [taylor]: Taking taylor expansion of (log (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2)) in v
7.739 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2) in v
7.739 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
7.788 * [approximate]: Taking taylor expansion of (pow (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2) 1/3) in (v) around 0
7.788 * [taylor]: Taking taylor expansion of (pow (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2) 1/3) in v
7.788 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2)))) in v
7.788 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2))) in v
7.788 * [taylor]: Taking taylor expansion of 1/3 in v
7.788 * [taylor]: Taking taylor expansion of (log (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2)) in v
7.788 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2) in v
7.788 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
7.789 * [taylor]: Taking taylor expansion of (pow (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2) 1/3) in v
7.789 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2)))) in v
7.789 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2))) in v
7.789 * [taylor]: Taking taylor expansion of 1/3 in v
7.790 * [taylor]: Taking taylor expansion of (log (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2)) in v
7.790 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2) in v
7.790 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
7.843 * * * [progress]: simplifying candidates
7.845 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (log1p (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (log (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (exp (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (cbrt (* (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 (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (cbrt 1)
  (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (* (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (cbrt (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))))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (sqrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (sqrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (expm1 (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (log1p (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (log (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (exp (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (cbrt (* (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 (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (cbrt 1)
  (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (* (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (cbrt (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))))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (sqrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (sqrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (expm1 (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (log1p (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (log (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (exp (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (cbrt (* (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 (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (cbrt 1)
  (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (* (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (cbrt (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))))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (sqrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (sqrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (expm1 (* (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (log1p (* (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) (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)))))
  (+ 1 1)
  (+ (log (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (log (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (log (* (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (exp (* (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))))
  (* (cbrt (* (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 (* (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 (* (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)))) (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)))))) (* (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (sqrt (* (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (sqrt (* (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 (* (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 (* (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 (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (* (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (* (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (* (cbrt 1) (cbrt 1))
  (* (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 (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))) (* (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))))
  (* (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (* (sqrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (sqrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (* (sqrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (sqrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (* 1 1)
  (* (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 (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (* (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (* (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (sqrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (* (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (sqrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (* (sqrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (* (sqrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (* (sqrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (sqrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (* (sqrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (sqrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (cbrt (* (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)))) (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (* (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (cbrt 1))
  (* (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (* (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))))
  (* (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (sqrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (* (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) 1)
  (* (cbrt (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 (sqrt (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)))))
  (* (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (* (sqrt (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)))) (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))) 1/3)
  (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 1/3)
  (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 1/3)
  (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 1/3)
  (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 1/3)
  (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 1/3)
  (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 1/3)
  (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 1/3)
  (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 1/3)
  (pow (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 2) 1/3)
  (pow (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 2) 1/3)
  (pow (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 2) 1/3)
7.850 * * [simplify]: iteration  0 :  65  enodes  (cost  2636 )
7.864 * * [simplify]: iteration  1 :  122  enodes  (cost  2441 )
7.885 * * [simplify]: iteration  2 :  321  enodes  (cost  1957 )
8.047 * * [simplify]: iteration  3 :  1165  enodes  (cost  1887 )
9.197 * * [simplify]: iteration  4 :  3916  enodes  (cost  1867 )
11.181 * * [simplify]: iteration  done :  5000  enodes  (cost  1867 )
11.182 * [simplify]: Simplified to:
   (expm1 (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (log1p (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (log (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (exp (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (cbrt (pow (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) 2/3))
  (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  1
  (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (* (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (sqrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (sqrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (expm1 (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (log1p (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (log (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (exp (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (cbrt (pow (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) 2/3))
  (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  1
  (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (* (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (sqrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (sqrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (expm1 (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (log1p (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (log (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (exp (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (cbrt (pow (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) 2/3))
  (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  1
  (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (* (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (sqrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (sqrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (expm1 (pow (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) 2/3))
  (log1p (pow (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) 2/3))
  2/3
  2
  (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 2)
  (pow (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) 2/3)
  2
  (log (pow (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) 2/3))
  (log (pow (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) 2/3))
  (exp (pow (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) 2/3))
  (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 2)
  (* (cbrt (pow (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) 2/3)) (cbrt (pow (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) 2/3)))
  (cbrt (pow (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) 2/3))
  (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 2)
  (fabs (cbrt (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))))
  (fabs (cbrt (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))))
  (* (cbrt (pow (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) 2/3)) (cbrt (pow (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) 2/3)))
  (* (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (* (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (* (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  1
  (pow (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) 2/3)
  (pow (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) 4)
  (* (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (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))))
  1
  (pow (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) 2/3)
  (* (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (* (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (* (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (sqrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (* (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (sqrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (* (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (sqrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (* (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (sqrt (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))))
  2/3
  2
  (* (cbrt (pow (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) 2/3)) (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 (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (pow (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) 5)
  (pow (sqrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) 3)
  (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (pow (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) 4)
  (* (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (pow (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) 2/3)
  (pow (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) 4)
  (pow (sqrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) 3)
  (pow (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) 2/3)
  (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))))
  (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))))
  (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 (* v v))) (- (* v v) 1.0))) 2/3)
  (pow (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) 2/3)
  (pow (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) 2/3)
11.183 * * * [progress]: adding candidates to table
11.361 * [progress]: [Phase 3 of 3] Extracting.
11.361 * * [regime]: Finding splitpoints for: (#<alt (λ (v) (+ (- (pow (/ (cbrt PI) (cbrt 2)) 3) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)))> #<alt (λ (v) (* (* (* (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))) (pow (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) 4)) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))> #<alt (λ (v) (* (* (pow (sqrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) 3) (sqrt (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) (- (/ PI 2) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))> #<alt (λ (v) (* (* (* (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))) (* (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))>)
11.363 * * * [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)
11.363 * * * * [regimes]: Trying to branch on (* v v) from (#<alt (λ (v) (+ (- (pow (/ (cbrt PI) (cbrt 2)) 3) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)))> #<alt (λ (v) (* (* (* (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))) (pow (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) 4)) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))> #<alt (λ (v) (* (* (pow (sqrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) 3) (sqrt (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) (- (/ PI 2) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))> #<alt (λ (v) (* (* (* (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))) (* (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))>)
11.385 * * * * [regimes]: Trying to branch on (* v v) from (#<alt (λ (v) (* (* (* (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))) (pow (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) 4)) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))> #<alt (λ (v) (* (* (pow (sqrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) 3) (sqrt (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) (* (* (* (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))) (* (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))>)
11.399 * * * * [regimes]: Trying to branch on (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)) from (#<alt (λ (v) (+ (- (pow (/ (cbrt PI) (cbrt 2)) 3) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)))> #<alt (λ (v) (* (* (* (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))) (pow (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) 4)) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))> #<alt (λ (v) (* (* (pow (sqrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) 3) (sqrt (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) (- (/ PI 2) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))> #<alt (λ (v) (* (* (* (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))) (* (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))>)
11.418 * * * * [regimes]: Trying to branch on (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)) from (#<alt (λ (v) (* (* (* (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))) (pow (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) 4)) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))> #<alt (λ (v) (* (* (pow (sqrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) 3) (sqrt (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) (* (* (* (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))) (* (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))>)
11.431 * * * * [regimes]: Trying to branch on (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) from (#<alt (λ (v) (+ (- (pow (/ (cbrt PI) (cbrt 2)) 3) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)))> #<alt (λ (v) (* (* (* (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))) (pow (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) 4)) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))> #<alt (λ (v) (* (* (pow (sqrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) 3) (sqrt (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) (- (/ PI 2) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))> #<alt (λ (v) (* (* (* (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))) (* (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))>)
11.454 * * * * [regimes]: Trying to branch on (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) from (#<alt (λ (v) (* (* (* (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))) (pow (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) 4)) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))> #<alt (λ (v) (* (* (pow (sqrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) 3) (sqrt (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) (* (* (* (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))) (* (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))>)
11.469 * * * * [regimes]: Trying to branch on v from (#<alt (λ (v) (+ (- (pow (/ (cbrt PI) (cbrt 2)) 3) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))) (* (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)) 0)))> #<alt (λ (v) (* (* (* (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))) (pow (cbrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) 4)) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))> #<alt (λ (v) (* (* (pow (sqrt (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) 3) (sqrt (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) (- (/ PI 2) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0))))> #<alt (λ (v) (* (* (* (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))) (* (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))>)
11.494 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
11.494 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (/ PI 2) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
11.495 * * [simplify]: iteration  0 :  13  enodes  (cost  15 )
11.495 * * [simplify]: iteration  1 :  14  enodes  (cost  15 )
11.495 * * [simplify]: iteration  done :  14  enodes  (cost  15 )
11.496 * [simplify]: Simplified to:
   (- (/ PI 2) (asin (- (* 4.0 (fma v v (pow v 4))) 1.0)))
14.163 * [regime-testing]: Baseline error score: 0.7345478904987274
14.164 * [regime-testing]: Oracle error score: 0.5595622500861468
14.165 * [regime-testing]: End program error score: 0.7345478904987274