11.380 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 1.079 * * * [progress]: [2/2] Setting up program. 1.082 * [progress]: [Phase 2 of 3] Improving. 1.082 * [simplify]: Simplifying using # : (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) 1.148 * * [simplify]: iteration 0 : 5044 enodes (cost 14 ) 1.149 * [simplify]: Simplified to: (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) 1.150 * * [progress]: iteration 1 / 4 1.150 * * * [progress]: picking best candidate 1.151 * * * * [pick]: Picked # 1.151 * * * [progress]: localizing error 1.159 * * * [progress]: generating rewritten candidates 1.159 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 1.160 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2) 1.167 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 1.178 * * * [progress]: generating series expansions 1.178 * * * * [progress]: [ 1 / 3 ] generating series at (2) 1.178 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in (v) around 0 1.178 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1.179 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1.180 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 1.180 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.180 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.181 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 1.181 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.181 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.182 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2) 1.182 * [approximate]: Taking taylor expansion of (* 5 (pow v 2)) in (v) around 0 1.182 * [taylor]: Taking taylor expansion of (* 5 (pow v 2)) in v 1.182 * [taylor]: Taking taylor expansion of 5 in v 1.182 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.182 * [taylor]: Taking taylor expansion of v in v 1.182 * [taylor]: Taking taylor expansion of (* 5 (pow v 2)) in v 1.182 * [taylor]: Taking taylor expansion of 5 in v 1.182 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.182 * [taylor]: Taking taylor expansion of v in v 1.183 * [approximate]: Taking taylor expansion of (/ 5 (pow v 2)) in (v) around 0 1.183 * [taylor]: Taking taylor expansion of (/ 5 (pow v 2)) in v 1.183 * [taylor]: Taking taylor expansion of 5 in v 1.183 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.183 * [taylor]: Taking taylor expansion of v in v 1.183 * [taylor]: Taking taylor expansion of (/ 5 (pow v 2)) in v 1.183 * [taylor]: Taking taylor expansion of 5 in v 1.183 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.183 * [taylor]: Taking taylor expansion of v in v 1.184 * [approximate]: Taking taylor expansion of (/ 5 (pow v 2)) in (v) around 0 1.184 * [taylor]: Taking taylor expansion of (/ 5 (pow v 2)) in v 1.184 * [taylor]: Taking taylor expansion of 5 in v 1.184 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.184 * [taylor]: Taking taylor expansion of v in v 1.184 * [taylor]: Taking taylor expansion of (/ 5 (pow v 2)) in v 1.184 * [taylor]: Taking taylor expansion of 5 in v 1.184 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.184 * [taylor]: Taking taylor expansion of v in v 1.185 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 1.185 * [approximate]: Taking taylor expansion of (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)) in (v) around 0 1.185 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)) in v 1.185 * [taylor]: Taking taylor expansion of (- 1 (* 5 (pow v 2))) in v 1.185 * [taylor]: Taking taylor expansion of 1 in v 1.185 * [taylor]: Taking taylor expansion of (* 5 (pow v 2)) in v 1.185 * [taylor]: Taking taylor expansion of 5 in v 1.185 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.185 * [taylor]: Taking taylor expansion of v in v 1.185 * [taylor]: Taking taylor expansion of (- (pow v 2) 1) in v 1.185 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.185 * [taylor]: Taking taylor expansion of v in v 1.185 * [taylor]: Taking taylor expansion of 1 in v 1.185 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)) in v 1.185 * [taylor]: Taking taylor expansion of (- 1 (* 5 (pow v 2))) in v 1.185 * [taylor]: Taking taylor expansion of 1 in v 1.185 * [taylor]: Taking taylor expansion of (* 5 (pow v 2)) in v 1.185 * [taylor]: Taking taylor expansion of 5 in v 1.185 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.185 * [taylor]: Taking taylor expansion of v in v 1.185 * [taylor]: Taking taylor expansion of (- (pow v 2) 1) in v 1.186 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.186 * [taylor]: Taking taylor expansion of v in v 1.186 * [taylor]: Taking taylor expansion of 1 in v 1.187 * [approximate]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)) in (v) around 0 1.187 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)) in v 1.187 * [taylor]: Taking taylor expansion of (- 1 (* 5 (/ 1 (pow v 2)))) in v 1.187 * [taylor]: Taking taylor expansion of 1 in v 1.187 * [taylor]: Taking taylor expansion of (* 5 (/ 1 (pow v 2))) in v 1.187 * [taylor]: Taking taylor expansion of 5 in v 1.187 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.187 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.187 * [taylor]: Taking taylor expansion of v in v 1.187 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1) in v 1.187 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.187 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.187 * [taylor]: Taking taylor expansion of v in v 1.187 * [taylor]: Taking taylor expansion of 1 in v 1.187 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)) in v 1.187 * [taylor]: Taking taylor expansion of (- 1 (* 5 (/ 1 (pow v 2)))) in v 1.187 * [taylor]: Taking taylor expansion of 1 in v 1.187 * [taylor]: Taking taylor expansion of (* 5 (/ 1 (pow v 2))) in v 1.187 * [taylor]: Taking taylor expansion of 5 in v 1.187 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.187 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.187 * [taylor]: Taking taylor expansion of v in v 1.187 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1) in v 1.187 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.187 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.187 * [taylor]: Taking taylor expansion of v in v 1.187 * [taylor]: Taking taylor expansion of 1 in v 1.189 * [approximate]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)) in (v) around 0 1.189 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)) in v 1.189 * [taylor]: Taking taylor expansion of (- 1 (* 5 (/ 1 (pow v 2)))) in v 1.189 * [taylor]: Taking taylor expansion of 1 in v 1.189 * [taylor]: Taking taylor expansion of (* 5 (/ 1 (pow v 2))) in v 1.189 * [taylor]: Taking taylor expansion of 5 in v 1.189 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.189 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.189 * [taylor]: Taking taylor expansion of v in v 1.189 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1) in v 1.189 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.189 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.189 * [taylor]: Taking taylor expansion of v in v 1.189 * [taylor]: Taking taylor expansion of 1 in v 1.189 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)) in v 1.189 * [taylor]: Taking taylor expansion of (- 1 (* 5 (/ 1 (pow v 2)))) in v 1.189 * [taylor]: Taking taylor expansion of 1 in v 1.189 * [taylor]: Taking taylor expansion of (* 5 (/ 1 (pow v 2))) in v 1.189 * [taylor]: Taking taylor expansion of 5 in v 1.189 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.189 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.189 * [taylor]: Taking taylor expansion of v in v 1.189 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1) in v 1.189 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.189 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.189 * [taylor]: Taking taylor expansion of v in v 1.189 * [taylor]: Taking taylor expansion of 1 in v 1.191 * * * [progress]: simplifying candidates 1.192 * [simplify]: Simplifying using # : (/.f64 PI.f64 2) (asin.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (log.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (exp.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (*.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (*.f64 (*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (sqrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (sqrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (*.f64 5 (*.f64 v v)) (*.f64 5 (*.f64 v v)) (+.f64 (log.f64 5) (+.f64 (log.f64 v) (log.f64 v))) (+.f64 (log.f64 5) (log.f64 (*.f64 v v))) (log.f64 (*.f64 5 (*.f64 v v))) (exp.f64 (*.f64 5 (*.f64 v v))) (*.f64 (*.f64 (*.f64 5 5) 5) (*.f64 (*.f64 (*.f64 v v) v) (*.f64 (*.f64 v v) v))) (*.f64 (*.f64 (*.f64 5 5) 5) (*.f64 (*.f64 (*.f64 v v) (*.f64 v v)) (*.f64 v v))) (*.f64 (cbrt.f64 (*.f64 5 (*.f64 v v))) (cbrt.f64 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (*.f64 5 (*.f64 v v))) (*.f64 (*.f64 (*.f64 5 (*.f64 v v)) (*.f64 5 (*.f64 v v))) (*.f64 5 (*.f64 v v))) (sqrt.f64 (*.f64 5 (*.f64 v v))) (sqrt.f64 (*.f64 5 (*.f64 v v))) (*.f64 (sqrt.f64 5) v) (*.f64 (sqrt.f64 5) v) (*.f64 5 v) (*.f64 (cbrt.f64 5) (*.f64 v v)) (*.f64 (sqrt.f64 5) (*.f64 v v)) (*.f64 5 (*.f64 v v)) (-.f64 (log.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (log.f64 (-.f64 (*.f64 v v) 1))) (log.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (exp.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (/.f64 (*.f64 (*.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 1 (*.f64 5 (*.f64 v v)))) (*.f64 (*.f64 (-.f64 (*.f64 v v) 1) (-.f64 (*.f64 v v) 1)) (-.f64 (*.f64 v v) 1))) (*.f64 (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (*.f64 (*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (neg.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (neg.f64 (-.f64 (*.f64 v v) 1)) (/.f64 1 (-.f64 (*.f64 v v) 1)) (/.f64 (*.f64 5 (*.f64 v v)) (-.f64 (*.f64 v v) 1)) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (*.f64 (cbrt.f64 (-.f64 (*.f64 v v) 1)) (cbrt.f64 (-.f64 (*.f64 v v) 1)))) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 (*.f64 v v) 1))) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (sqrt.f64 (-.f64 (*.f64 v v) 1))) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (-.f64 (*.f64 v v) 1))) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) 1) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 (*.f64 v v) 1)) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (+.f64 v (sqrt.f64 1))) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 v (sqrt.f64 1))) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (+.f64 v 1)) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 v 1)) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (+.f64 v 1)) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 v 1)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (*.f64 (cbrt.f64 (-.f64 (*.f64 v v) 1)) (cbrt.f64 (-.f64 (*.f64 v v) 1)))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 (*.f64 v v) 1))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (-.f64 (*.f64 v v) 1))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (-.f64 (*.f64 v v) 1))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) 1) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 (*.f64 v v) 1)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 v (sqrt.f64 1))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 v (sqrt.f64 1))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 v 1)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 v 1)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 v 1)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 v 1)) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 (*.f64 v v) 1)) (cbrt.f64 (-.f64 (*.f64 v v) 1)))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (cbrt.f64 (-.f64 (*.f64 v v) 1))) (/.f64 1 (sqrt.f64 (-.f64 (*.f64 v v) 1))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (-.f64 (*.f64 v v) 1))) (/.f64 1 1) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)) (/.f64 1 (+.f64 v (sqrt.f64 1))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 v (sqrt.f64 1))) (/.f64 1 (+.f64 v 1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 v 1)) (/.f64 1 (+.f64 v 1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 v 1)) (/.f64 1 (-.f64 (*.f64 v v) 1)) (/.f64 (-.f64 (*.f64 v v) 1) (-.f64 1 (*.f64 5 (*.f64 v v)))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (*.f64 (cbrt.f64 (-.f64 (*.f64 v v) 1)) (cbrt.f64 (-.f64 (*.f64 v v) 1)))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (-.f64 (*.f64 v v) 1))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) 1) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 v (sqrt.f64 1))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 v 1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 v 1)) (/.f64 (-.f64 (*.f64 v v) 1) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (/.f64 (-.f64 (*.f64 v v) 1) (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (/.f64 (-.f64 (*.f64 v v) 1) (-.f64 1 (*.f64 5 (*.f64 v v)))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (pow.f64 (*.f64 v v) 3) (pow.f64 1 3))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 (*.f64 v v) (*.f64 v v)) (*.f64 1 1))) (*.f64 (-.f64 (*.f64 v v) 1) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 5 (*.f64 v v)) (*.f64 5 (*.f64 v v))) (*.f64 1 (*.f64 5 (*.f64 v v)))))) (*.f64 (-.f64 (*.f64 v v) 1) (+.f64 1 (*.f64 5 (*.f64 v v)))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1))) (*.f64 5 (pow.f64 v 2)) (*.f64 5 (pow.f64 v 2)) (*.f64 5 (pow.f64 v 2)) (-.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 4 (pow.f64 v 4))) 1) (neg.f64 (+.f64 (*.f64 4 (/.f64 1 (pow.f64 v 2))) (+.f64 (*.f64 4 (/.f64 1 (pow.f64 v 4))) 5))) (neg.f64 (+.f64 (*.f64 4 (/.f64 1 (pow.f64 v 2))) (+.f64 (*.f64 4 (/.f64 1 (pow.f64 v 4))) 5))) 1.228 * * [simplify]: iteration 0 : 4932 enodes (cost 1195 ) 1.229 * * [simplify]: iteration 1 : 4932 enodes (cost 1195 ) 1.236 * [simplify]: Simplified to: (/.f64 PI.f64 2) (asin.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (log.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (exp.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (*.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (pow.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) 3) (sqrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (sqrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (*.f64 5 (*.f64 v v)) (*.f64 5 (*.f64 v v)) (log.f64 (*.f64 5 (*.f64 v v))) (log.f64 (*.f64 5 (*.f64 v v))) (log.f64 (*.f64 5 (*.f64 v v))) (exp.f64 (*.f64 5 (*.f64 v v))) (*.f64 125 (pow.f64 v 6)) (*.f64 125 (pow.f64 v 6)) (*.f64 (cbrt.f64 (*.f64 5 (*.f64 v v))) (cbrt.f64 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (*.f64 5 (*.f64 v v))) (*.f64 125 (pow.f64 v 6)) (sqrt.f64 (*.f64 5 (*.f64 v v))) (sqrt.f64 (*.f64 5 (*.f64 v v))) (*.f64 v (sqrt.f64 5)) (*.f64 v (sqrt.f64 5)) (*.f64 5 v) (*.f64 (*.f64 v v) (cbrt.f64 5)) (*.f64 v (*.f64 v (sqrt.f64 5))) (*.f64 5 (*.f64 v v)) (log.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (log.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (exp.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (pow.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)) 3) (*.f64 (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (pow.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)) 3) (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (-.f64 (*.f64 5 (*.f64 v v)) 1) (-.f64 1 (*.f64 v v)) (/.f64 1 (-.f64 (*.f64 v v) 1)) (/.f64 5 (-.f64 1 (/.f64 1 (*.f64 v v)))) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (*.f64 (cbrt.f64 (-.f64 (*.f64 v v) 1)) (cbrt.f64 (-.f64 (*.f64 v v) 1)))) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 (*.f64 v v) 1))) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (sqrt.f64 (-.f64 (*.f64 v v) 1))) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (-.f64 (*.f64 v v) 1))) (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 (*.f64 v v) 1)) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (+.f64 1 v)) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 v 1)) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (+.f64 1 v)) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 v 1)) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (+.f64 1 v)) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 v 1)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (*.f64 (cbrt.f64 (-.f64 (*.f64 v v) 1)) (cbrt.f64 (-.f64 (*.f64 v v) 1)))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 (*.f64 v v) 1))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (-.f64 (*.f64 v v) 1))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (-.f64 (*.f64 v v) 1))) (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 (*.f64 v v) 1)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 v 1)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 v 1)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 v 1)) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 (*.f64 v v) 1)) (cbrt.f64 (-.f64 (*.f64 v v) 1)))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (cbrt.f64 (-.f64 (*.f64 v v) 1))) (/.f64 1 (sqrt.f64 (-.f64 (*.f64 v v) 1))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (-.f64 (*.f64 v v) 1))) 1 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)) (/.f64 1 (+.f64 1 v)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 v 1)) (/.f64 1 (+.f64 1 v)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 v 1)) (/.f64 1 (+.f64 1 v)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 v 1)) (/.f64 1 (-.f64 (*.f64 v v) 1)) (/.f64 (-.f64 (*.f64 v v) 1) (-.f64 1 (*.f64 5 (*.f64 v v)))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (*.f64 (cbrt.f64 (-.f64 (*.f64 v v) 1)) (cbrt.f64 (-.f64 (*.f64 v v) 1)))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (-.f64 (*.f64 v v) 1))) (-.f64 1 (*.f64 5 (*.f64 v v))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (/.f64 (-.f64 (*.f64 v v) 1) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (/.f64 (-.f64 (*.f64 v v) 1) (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (/.f64 (-.f64 (*.f64 v v) 1) (-.f64 1 (*.f64 5 (*.f64 v v)))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (pow.f64 v 6) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (pow.f64 v 4) -1)) (*.f64 (-.f64 (*.f64 v v) 1) (+.f64 1 (+.f64 (*.f64 5 (*.f64 v v)) (*.f64 25 (pow.f64 v 4))))) (*.f64 (-.f64 (*.f64 v v) 1) (+.f64 1 (*.f64 5 (*.f64 v v)))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (*.f64 5 (*.f64 v v)) (*.f64 5 (*.f64 v v)) (*.f64 5 (*.f64 v v)) (+.f64 (*.f64 v (*.f64 (+.f64 v (pow.f64 v 3)) 4)) -1) (+.f64 (/.f64 -4 (*.f64 v v)) (-.f64 -5 (/.f64 4 (pow.f64 v 4)))) (+.f64 (/.f64 -4 (*.f64 v v)) (-.f64 -5 (/.f64 4 (pow.f64 v 4)))) 1.236 * * * [progress]: adding candidates to table 1.307 * * [progress]: iteration 2 / 4 1.307 * * * [progress]: picking best candidate 1.314 * * * * [pick]: Picked # 1.314 * * * [progress]: localizing error 1.325 * * * [progress]: generating rewritten candidates 1.325 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 1.326 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2) 1.333 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 1.335 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 1.347 * * * [progress]: generating series expansions 1.347 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1.347 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in (v) around 0 1.347 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1.348 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1.348 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 1.348 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.349 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.350 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 1.350 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.350 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.350 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2) 1.351 * [approximate]: Taking taylor expansion of (* 5 (pow v 2)) in (v) around 0 1.351 * [taylor]: Taking taylor expansion of (* 5 (pow v 2)) in v 1.351 * [taylor]: Taking taylor expansion of 5 in v 1.351 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.351 * [taylor]: Taking taylor expansion of v in v 1.351 * [taylor]: Taking taylor expansion of (* 5 (pow v 2)) in v 1.351 * [taylor]: Taking taylor expansion of 5 in v 1.351 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.351 * [taylor]: Taking taylor expansion of v in v 1.352 * [approximate]: Taking taylor expansion of (/ 5 (pow v 2)) in (v) around 0 1.352 * [taylor]: Taking taylor expansion of (/ 5 (pow v 2)) in v 1.352 * [taylor]: Taking taylor expansion of 5 in v 1.352 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.352 * [taylor]: Taking taylor expansion of v in v 1.352 * [taylor]: Taking taylor expansion of (/ 5 (pow v 2)) in v 1.352 * [taylor]: Taking taylor expansion of 5 in v 1.352 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.352 * [taylor]: Taking taylor expansion of v in v 1.353 * [approximate]: Taking taylor expansion of (/ 5 (pow v 2)) in (v) around 0 1.353 * [taylor]: Taking taylor expansion of (/ 5 (pow v 2)) in v 1.353 * [taylor]: Taking taylor expansion of 5 in v 1.353 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.353 * [taylor]: Taking taylor expansion of v in v 1.353 * [taylor]: Taking taylor expansion of (/ 5 (pow v 2)) in v 1.353 * [taylor]: Taking taylor expansion of 5 in v 1.353 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.353 * [taylor]: Taking taylor expansion of v in v 1.354 * * * * [progress]: [ 3 / 4 ] generating series at (2) 1.356 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in (v) around 0 1.356 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1.356 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1.357 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 1.357 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.357 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.358 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 1.358 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.359 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.359 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 1.360 * [approximate]: Taking taylor expansion of (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)) in (v) around 0 1.360 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)) in v 1.360 * [taylor]: Taking taylor expansion of (- 1 (* 5 (pow v 2))) in v 1.360 * [taylor]: Taking taylor expansion of 1 in v 1.360 * [taylor]: Taking taylor expansion of (* 5 (pow v 2)) in v 1.360 * [taylor]: Taking taylor expansion of 5 in v 1.360 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.360 * [taylor]: Taking taylor expansion of v in v 1.360 * [taylor]: Taking taylor expansion of (- (pow v 2) 1) in v 1.360 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.360 * [taylor]: Taking taylor expansion of v in v 1.360 * [taylor]: Taking taylor expansion of 1 in v 1.360 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)) in v 1.360 * [taylor]: Taking taylor expansion of (- 1 (* 5 (pow v 2))) in v 1.360 * [taylor]: Taking taylor expansion of 1 in v 1.360 * [taylor]: Taking taylor expansion of (* 5 (pow v 2)) in v 1.360 * [taylor]: Taking taylor expansion of 5 in v 1.360 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.360 * [taylor]: Taking taylor expansion of v in v 1.360 * [taylor]: Taking taylor expansion of (- (pow v 2) 1) in v 1.360 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.360 * [taylor]: Taking taylor expansion of v in v 1.360 * [taylor]: Taking taylor expansion of 1 in v 1.361 * [approximate]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)) in (v) around 0 1.361 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)) in v 1.361 * [taylor]: Taking taylor expansion of (- 1 (* 5 (/ 1 (pow v 2)))) in v 1.361 * [taylor]: Taking taylor expansion of 1 in v 1.361 * [taylor]: Taking taylor expansion of (* 5 (/ 1 (pow v 2))) in v 1.361 * [taylor]: Taking taylor expansion of 5 in v 1.361 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.361 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.361 * [taylor]: Taking taylor expansion of v in v 1.361 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1) in v 1.361 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.361 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.361 * [taylor]: Taking taylor expansion of v in v 1.361 * [taylor]: Taking taylor expansion of 1 in v 1.361 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)) in v 1.361 * [taylor]: Taking taylor expansion of (- 1 (* 5 (/ 1 (pow v 2)))) in v 1.361 * [taylor]: Taking taylor expansion of 1 in v 1.361 * [taylor]: Taking taylor expansion of (* 5 (/ 1 (pow v 2))) in v 1.361 * [taylor]: Taking taylor expansion of 5 in v 1.361 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.361 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.361 * [taylor]: Taking taylor expansion of v in v 1.361 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1) in v 1.362 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.362 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.362 * [taylor]: Taking taylor expansion of v in v 1.362 * [taylor]: Taking taylor expansion of 1 in v 1.363 * [approximate]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)) in (v) around 0 1.363 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)) in v 1.363 * [taylor]: Taking taylor expansion of (- 1 (* 5 (/ 1 (pow v 2)))) in v 1.363 * [taylor]: Taking taylor expansion of 1 in v 1.363 * [taylor]: Taking taylor expansion of (* 5 (/ 1 (pow v 2))) in v 1.363 * [taylor]: Taking taylor expansion of 5 in v 1.363 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.363 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.363 * [taylor]: Taking taylor expansion of v in v 1.363 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1) in v 1.363 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.363 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.363 * [taylor]: Taking taylor expansion of v in v 1.363 * [taylor]: Taking taylor expansion of 1 in v 1.363 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)) in v 1.364 * [taylor]: Taking taylor expansion of (- 1 (* 5 (/ 1 (pow v 2)))) in v 1.364 * [taylor]: Taking taylor expansion of 1 in v 1.364 * [taylor]: Taking taylor expansion of (* 5 (/ 1 (pow v 2))) in v 1.364 * [taylor]: Taking taylor expansion of 5 in v 1.364 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.364 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.364 * [taylor]: Taking taylor expansion of v in v 1.364 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1) in v 1.364 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.364 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.364 * [taylor]: Taking taylor expansion of v in v 1.364 * [taylor]: Taking taylor expansion of 1 in v 1.365 * * * [progress]: simplifying candidates 1.367 * [simplify]: Simplifying using # : (/.f64 PI.f64 2) (asin.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (log.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (exp.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (*.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (*.f64 (*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (sqrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (sqrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (*.f64 5 (*.f64 v v)) (*.f64 5 (*.f64 v v)) (+.f64 (log.f64 5) (+.f64 (log.f64 v) (log.f64 v))) (+.f64 (log.f64 5) (log.f64 (*.f64 v v))) (log.f64 (*.f64 5 (*.f64 v v))) (exp.f64 (*.f64 5 (*.f64 v v))) (*.f64 (*.f64 (*.f64 5 5) 5) (*.f64 (*.f64 (*.f64 v v) v) (*.f64 (*.f64 v v) v))) (*.f64 (*.f64 (*.f64 5 5) 5) (*.f64 (*.f64 (*.f64 v v) (*.f64 v v)) (*.f64 v v))) (*.f64 (cbrt.f64 (*.f64 5 (*.f64 v v))) (cbrt.f64 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (*.f64 5 (*.f64 v v))) (*.f64 (*.f64 (*.f64 5 (*.f64 v v)) (*.f64 5 (*.f64 v v))) (*.f64 5 (*.f64 v v))) (sqrt.f64 (*.f64 5 (*.f64 v v))) (sqrt.f64 (*.f64 5 (*.f64 v v))) (*.f64 (sqrt.f64 5) v) (*.f64 (sqrt.f64 5) v) (*.f64 5 v) (*.f64 (cbrt.f64 5) (*.f64 v v)) (*.f64 (sqrt.f64 5) (*.f64 v v)) (*.f64 5 (*.f64 v v)) (exp.f64 1) (exp.f64 (*.f64 (cbrt.f64 (log.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (cbrt.f64 (log.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))))) (exp.f64 (sqrt.f64 (log.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))))) (exp.f64 1) (exp.f64 (log.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))))) (exp.f64 (log.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))))) (exp.f64 (log.f64 (sqrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))))) (exp.f64 (log.f64 (sqrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))))) (exp.f64 (log.f64 1)) (exp.f64 (log.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (log.f64 (exp.f64 (log.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))))) (exp.f64 (exp.f64 (log.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))))) (*.f64 (cbrt.f64 (exp.f64 (log.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))))) (cbrt.f64 (exp.f64 (log.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))))) (cbrt.f64 (exp.f64 (log.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))))) (*.f64 (*.f64 (exp.f64 (log.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (exp.f64 (log.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))))) (exp.f64 (log.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))))) (sqrt.f64 (exp.f64 (log.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))))) (sqrt.f64 (exp.f64 (log.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))))) (-.f64 (log.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (log.f64 (-.f64 (*.f64 v v) 1))) (log.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (exp.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (/.f64 (*.f64 (*.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 1 (*.f64 5 (*.f64 v v)))) (*.f64 (*.f64 (-.f64 (*.f64 v v) 1) (-.f64 (*.f64 v v) 1)) (-.f64 (*.f64 v v) 1))) (*.f64 (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (*.f64 (*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (neg.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (neg.f64 (-.f64 (*.f64 v v) 1)) (/.f64 1 (-.f64 (*.f64 v v) 1)) (/.f64 (*.f64 5 (*.f64 v v)) (-.f64 (*.f64 v v) 1)) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (*.f64 (cbrt.f64 (-.f64 (*.f64 v v) 1)) (cbrt.f64 (-.f64 (*.f64 v v) 1)))) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 (*.f64 v v) 1))) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (sqrt.f64 (-.f64 (*.f64 v v) 1))) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (-.f64 (*.f64 v v) 1))) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) 1) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 (*.f64 v v) 1)) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (+.f64 v (sqrt.f64 1))) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 v (sqrt.f64 1))) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (+.f64 v 1)) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 v 1)) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (+.f64 v 1)) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 v 1)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (*.f64 (cbrt.f64 (-.f64 (*.f64 v v) 1)) (cbrt.f64 (-.f64 (*.f64 v v) 1)))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 (*.f64 v v) 1))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (-.f64 (*.f64 v v) 1))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (-.f64 (*.f64 v v) 1))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) 1) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 (*.f64 v v) 1)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 v (sqrt.f64 1))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 v (sqrt.f64 1))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 v 1)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 v 1)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 v 1)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 v 1)) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 (*.f64 v v) 1)) (cbrt.f64 (-.f64 (*.f64 v v) 1)))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (cbrt.f64 (-.f64 (*.f64 v v) 1))) (/.f64 1 (sqrt.f64 (-.f64 (*.f64 v v) 1))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (-.f64 (*.f64 v v) 1))) (/.f64 1 1) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)) (/.f64 1 (+.f64 v (sqrt.f64 1))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 v (sqrt.f64 1))) (/.f64 1 (+.f64 v 1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 v 1)) (/.f64 1 (+.f64 v 1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 v 1)) (/.f64 1 (-.f64 (*.f64 v v) 1)) (/.f64 (-.f64 (*.f64 v v) 1) (-.f64 1 (*.f64 5 (*.f64 v v)))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (*.f64 (cbrt.f64 (-.f64 (*.f64 v v) 1)) (cbrt.f64 (-.f64 (*.f64 v v) 1)))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (-.f64 (*.f64 v v) 1))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) 1) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 v (sqrt.f64 1))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 v 1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 v 1)) (/.f64 (-.f64 (*.f64 v v) 1) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (/.f64 (-.f64 (*.f64 v v) 1) (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (/.f64 (-.f64 (*.f64 v v) 1) (-.f64 1 (*.f64 5 (*.f64 v v)))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (pow.f64 (*.f64 v v) 3) (pow.f64 1 3))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 (*.f64 v v) (*.f64 v v)) (*.f64 1 1))) (*.f64 (-.f64 (*.f64 v v) 1) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 5 (*.f64 v v)) (*.f64 5 (*.f64 v v))) (*.f64 1 (*.f64 5 (*.f64 v v)))))) (*.f64 (-.f64 (*.f64 v v) 1) (+.f64 1 (*.f64 5 (*.f64 v v)))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1))) (*.f64 5 (pow.f64 v 2)) (*.f64 5 (pow.f64 v 2)) (*.f64 5 (pow.f64 v 2)) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1))) (-.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 4 (pow.f64 v 4))) 1) (neg.f64 (+.f64 (*.f64 4 (/.f64 1 (pow.f64 v 2))) (+.f64 (*.f64 4 (/.f64 1 (pow.f64 v 4))) 5))) (neg.f64 (+.f64 (*.f64 4 (/.f64 1 (pow.f64 v 2))) (+.f64 (*.f64 4 (/.f64 1 (pow.f64 v 4))) 5))) 1.403 * * [simplify]: iteration 0 : 4974 enodes (cost 1461 ) 1.403 * * [simplify]: iteration 1 : 4974 enodes (cost 1461 ) 1.408 * [simplify]: Simplified to: (/.f64 PI.f64 2) (asin.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (log.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (exp.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (pow.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) 2) (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (pow.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) 3) (sqrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (sqrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (*.f64 5 (*.f64 v v)) (*.f64 5 (*.f64 v v)) (log.f64 (*.f64 5 (*.f64 v v))) (log.f64 (*.f64 5 (*.f64 v v))) (log.f64 (*.f64 5 (*.f64 v v))) (exp.f64 (*.f64 5 (*.f64 v v))) (*.f64 125 (pow.f64 v 6)) (*.f64 125 (pow.f64 v 6)) (*.f64 (cbrt.f64 (*.f64 5 (*.f64 v v))) (cbrt.f64 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (*.f64 5 (*.f64 v v))) (*.f64 125 (pow.f64 v 6)) (sqrt.f64 (*.f64 5 (*.f64 v v))) (sqrt.f64 (*.f64 5 (*.f64 v v))) (*.f64 v (sqrt.f64 5)) (*.f64 v (sqrt.f64 5)) (*.f64 5 v) (*.f64 (*.f64 v v) (cbrt.f64 5)) (*.f64 v (*.f64 v (sqrt.f64 5))) (*.f64 5 (*.f64 v v)) E.f64 (exp.f64 (*.f64 (cbrt.f64 (log.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (cbrt.f64 (log.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))))) (exp.f64 (sqrt.f64 (log.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))))) E.f64 (pow.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) 2) (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (sqrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (sqrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) 1 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (log.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (exp.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (pow.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) 2) (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (pow.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) 3) (sqrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (sqrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (log.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (log.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (exp.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (pow.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)) 3) (*.f64 (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (pow.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)) 3) (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (-.f64 (*.f64 5 (*.f64 v v)) 1) (-.f64 1 (*.f64 v v)) (/.f64 1 (-.f64 (*.f64 v v) 1)) (/.f64 5 (-.f64 1 (/.f64 1 (*.f64 v v)))) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (*.f64 (cbrt.f64 (-.f64 (*.f64 v v) 1)) (cbrt.f64 (-.f64 (*.f64 v v) 1)))) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 (*.f64 v v) 1))) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (sqrt.f64 (-.f64 (*.f64 v v) 1))) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (-.f64 (*.f64 v v) 1))) (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 (*.f64 v v) 1)) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (+.f64 1 v)) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 v 1)) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (+.f64 1 v)) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 v 1)) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (+.f64 1 v)) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 v 1)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (*.f64 (cbrt.f64 (-.f64 (*.f64 v v) 1)) (cbrt.f64 (-.f64 (*.f64 v v) 1)))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 (*.f64 v v) 1))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (-.f64 (*.f64 v v) 1))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (-.f64 (*.f64 v v) 1))) (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 (*.f64 v v) 1)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 v 1)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 v 1)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 v 1)) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 (*.f64 v v) 1)) (cbrt.f64 (-.f64 (*.f64 v v) 1)))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (cbrt.f64 (-.f64 (*.f64 v v) 1))) (/.f64 1 (sqrt.f64 (-.f64 (*.f64 v v) 1))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (-.f64 (*.f64 v v) 1))) 1 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)) (/.f64 1 (+.f64 1 v)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 v 1)) (/.f64 1 (+.f64 1 v)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 v 1)) (/.f64 1 (+.f64 1 v)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 v 1)) (/.f64 1 (-.f64 (*.f64 v v) 1)) (/.f64 (-.f64 (*.f64 v v) 1) (-.f64 1 (*.f64 5 (*.f64 v v)))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (*.f64 (cbrt.f64 (-.f64 (*.f64 v v) 1)) (cbrt.f64 (-.f64 (*.f64 v v) 1)))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (-.f64 (*.f64 v v) 1))) (-.f64 1 (*.f64 5 (*.f64 v v))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (/.f64 (-.f64 (*.f64 v v) 1) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (/.f64 (-.f64 (*.f64 v v) 1) (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (/.f64 (-.f64 (*.f64 v v) 1) (-.f64 1 (*.f64 5 (*.f64 v v)))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (pow.f64 v 6) -1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (pow.f64 v 4) -1)) (*.f64 (-.f64 (*.f64 v v) 1) (+.f64 1 (+.f64 (*.f64 5 (*.f64 v v)) (*.f64 25 (pow.f64 v 4))))) (*.f64 (-.f64 (*.f64 v v) 1) (+.f64 1 (*.f64 5 (*.f64 v v)))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (*.f64 5 (*.f64 v v)) (*.f64 5 (*.f64 v v)) (*.f64 5 (*.f64 v v)) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (+.f64 (*.f64 v (*.f64 (+.f64 v (pow.f64 v 3)) 4)) -1) (+.f64 (/.f64 -4 (*.f64 v v)) (-.f64 -5 (/.f64 4 (pow.f64 v 4)))) (+.f64 (/.f64 -4 (*.f64 v v)) (-.f64 -5 (/.f64 4 (pow.f64 v 4)))) 1.408 * * * [progress]: adding candidates to table 1.493 * * [progress]: iteration 3 / 4 1.493 * * * [progress]: picking best candidate 1.498 * * * * [pick]: Picked # 1.498 * * * [progress]: localizing error 1.508 * * * [progress]: generating rewritten candidates 1.508 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 1.509 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2) 1.515 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 1.523 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.552 * * * [progress]: generating series expansions 1.552 * * * * [progress]: [ 1 / 4 ] generating series at (2) 1.552 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (* (- v 1) (+ v 1)))) in (v) around 0 1.552 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (* (- v 1) (+ v 1)))) in v 1.553 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (* (- v 1) (+ v 1)))) in v 1.554 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (* (+ (/ 1 v) 1) (- (/ 1 v) 1)))) in (v) around 0 1.554 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (* (+ (/ 1 v) 1) (- (/ 1 v) 1)))) in v 1.554 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (* (+ (/ 1 v) 1) (- (/ 1 v) 1)))) in v 1.555 * [approximate]: Taking taylor expansion of (acos (* -1 (/ (- 1 (* 5 (/ 1 (pow v 2)))) (* (- 1 (/ 1 v)) (+ (/ 1 v) 1))))) in (v) around 0 1.555 * [taylor]: Taking taylor expansion of (acos (* -1 (/ (- 1 (* 5 (/ 1 (pow v 2)))) (* (- 1 (/ 1 v)) (+ (/ 1 v) 1))))) in v 1.555 * [taylor]: Taking taylor expansion of (acos (* -1 (/ (- 1 (* 5 (/ 1 (pow v 2)))) (* (- 1 (/ 1 v)) (+ (/ 1 v) 1))))) in v 1.556 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2) 1.556 * [approximate]: Taking taylor expansion of (* 5 (pow v 2)) in (v) around 0 1.556 * [taylor]: Taking taylor expansion of (* 5 (pow v 2)) in v 1.556 * [taylor]: Taking taylor expansion of 5 in v 1.556 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.556 * [taylor]: Taking taylor expansion of v in v 1.556 * [taylor]: Taking taylor expansion of (* 5 (pow v 2)) in v 1.556 * [taylor]: Taking taylor expansion of 5 in v 1.556 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.556 * [taylor]: Taking taylor expansion of v in v 1.557 * [approximate]: Taking taylor expansion of (/ 5 (pow v 2)) in (v) around 0 1.557 * [taylor]: Taking taylor expansion of (/ 5 (pow v 2)) in v 1.557 * [taylor]: Taking taylor expansion of 5 in v 1.557 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.557 * [taylor]: Taking taylor expansion of v in v 1.557 * [taylor]: Taking taylor expansion of (/ 5 (pow v 2)) in v 1.557 * [taylor]: Taking taylor expansion of 5 in v 1.557 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.557 * [taylor]: Taking taylor expansion of v in v 1.558 * [approximate]: Taking taylor expansion of (/ 5 (pow v 2)) in (v) around 0 1.558 * [taylor]: Taking taylor expansion of (/ 5 (pow v 2)) in v 1.558 * [taylor]: Taking taylor expansion of 5 in v 1.558 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.558 * [taylor]: Taking taylor expansion of v in v 1.558 * [taylor]: Taking taylor expansion of (/ 5 (pow v 2)) in v 1.558 * [taylor]: Taking taylor expansion of 5 in v 1.558 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.558 * [taylor]: Taking taylor expansion of v in v 1.559 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 1.559 * [approximate]: Taking taylor expansion of (/ (- 1 (* 5 (pow v 2))) (+ v 1)) in (v) around 0 1.559 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (pow v 2))) (+ v 1)) in v 1.559 * [taylor]: Taking taylor expansion of (- 1 (* 5 (pow v 2))) in v 1.559 * [taylor]: Taking taylor expansion of 1 in v 1.559 * [taylor]: Taking taylor expansion of (* 5 (pow v 2)) in v 1.559 * [taylor]: Taking taylor expansion of 5 in v 1.559 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.559 * [taylor]: Taking taylor expansion of v in v 1.559 * [taylor]: Taking taylor expansion of (+ v 1) in v 1.559 * [taylor]: Taking taylor expansion of v in v 1.559 * [taylor]: Taking taylor expansion of 1 in v 1.559 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (pow v 2))) (+ v 1)) in v 1.559 * [taylor]: Taking taylor expansion of (- 1 (* 5 (pow v 2))) in v 1.559 * [taylor]: Taking taylor expansion of 1 in v 1.559 * [taylor]: Taking taylor expansion of (* 5 (pow v 2)) in v 1.559 * [taylor]: Taking taylor expansion of 5 in v 1.559 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.559 * [taylor]: Taking taylor expansion of v in v 1.559 * [taylor]: Taking taylor expansion of (+ v 1) in v 1.559 * [taylor]: Taking taylor expansion of v in v 1.559 * [taylor]: Taking taylor expansion of 1 in v 1.560 * [approximate]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (+ (/ 1 v) 1)) in (v) around 0 1.560 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (+ (/ 1 v) 1)) in v 1.560 * [taylor]: Taking taylor expansion of (- 1 (* 5 (/ 1 (pow v 2)))) in v 1.560 * [taylor]: Taking taylor expansion of 1 in v 1.560 * [taylor]: Taking taylor expansion of (* 5 (/ 1 (pow v 2))) in v 1.560 * [taylor]: Taking taylor expansion of 5 in v 1.560 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.560 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.560 * [taylor]: Taking taylor expansion of v in v 1.560 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1) in v 1.560 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.560 * [taylor]: Taking taylor expansion of v in v 1.560 * [taylor]: Taking taylor expansion of 1 in v 1.560 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (+ (/ 1 v) 1)) in v 1.560 * [taylor]: Taking taylor expansion of (- 1 (* 5 (/ 1 (pow v 2)))) in v 1.560 * [taylor]: Taking taylor expansion of 1 in v 1.560 * [taylor]: Taking taylor expansion of (* 5 (/ 1 (pow v 2))) in v 1.560 * [taylor]: Taking taylor expansion of 5 in v 1.560 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.560 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.560 * [taylor]: Taking taylor expansion of v in v 1.560 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1) in v 1.560 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.560 * [taylor]: Taking taylor expansion of v in v 1.560 * [taylor]: Taking taylor expansion of 1 in v 1.561 * [approximate]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- 1 (/ 1 v))) in (v) around 0 1.561 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- 1 (/ 1 v))) in v 1.561 * [taylor]: Taking taylor expansion of (- 1 (* 5 (/ 1 (pow v 2)))) in v 1.561 * [taylor]: Taking taylor expansion of 1 in v 1.561 * [taylor]: Taking taylor expansion of (* 5 (/ 1 (pow v 2))) in v 1.561 * [taylor]: Taking taylor expansion of 5 in v 1.561 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.561 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.561 * [taylor]: Taking taylor expansion of v in v 1.561 * [taylor]: Taking taylor expansion of (- 1 (/ 1 v)) in v 1.561 * [taylor]: Taking taylor expansion of 1 in v 1.561 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.561 * [taylor]: Taking taylor expansion of v in v 1.561 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- 1 (/ 1 v))) in v 1.561 * [taylor]: Taking taylor expansion of (- 1 (* 5 (/ 1 (pow v 2)))) in v 1.561 * [taylor]: Taking taylor expansion of 1 in v 1.561 * [taylor]: Taking taylor expansion of (* 5 (/ 1 (pow v 2))) in v 1.561 * [taylor]: Taking taylor expansion of 5 in v 1.561 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.561 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.561 * [taylor]: Taking taylor expansion of v in v 1.562 * [taylor]: Taking taylor expansion of (- 1 (/ 1 v)) in v 1.562 * [taylor]: Taking taylor expansion of 1 in v 1.562 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.562 * [taylor]: Taking taylor expansion of v in v 1.562 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.562 * [approximate]: Taking taylor expansion of (/ (- 1 (* 5 (pow v 2))) (* (- v 1) (+ v 1))) in (v) around 0 1.562 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (pow v 2))) (* (- v 1) (+ v 1))) in v 1.562 * [taylor]: Taking taylor expansion of (- 1 (* 5 (pow v 2))) in v 1.562 * [taylor]: Taking taylor expansion of 1 in v 1.562 * [taylor]: Taking taylor expansion of (* 5 (pow v 2)) in v 1.562 * [taylor]: Taking taylor expansion of 5 in v 1.562 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.562 * [taylor]: Taking taylor expansion of v in v 1.562 * [taylor]: Taking taylor expansion of (* (- v 1) (+ v 1)) in v 1.562 * [taylor]: Taking taylor expansion of (- v 1) in v 1.562 * [taylor]: Taking taylor expansion of v in v 1.563 * [taylor]: Taking taylor expansion of 1 in v 1.563 * [taylor]: Taking taylor expansion of (+ v 1) in v 1.563 * [taylor]: Taking taylor expansion of v in v 1.563 * [taylor]: Taking taylor expansion of 1 in v 1.563 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (pow v 2))) (* (- v 1) (+ v 1))) in v 1.563 * [taylor]: Taking taylor expansion of (- 1 (* 5 (pow v 2))) in v 1.563 * [taylor]: Taking taylor expansion of 1 in v 1.563 * [taylor]: Taking taylor expansion of (* 5 (pow v 2)) in v 1.563 * [taylor]: Taking taylor expansion of 5 in v 1.563 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.563 * [taylor]: Taking taylor expansion of v in v 1.563 * [taylor]: Taking taylor expansion of (* (- v 1) (+ v 1)) in v 1.563 * [taylor]: Taking taylor expansion of (- v 1) in v 1.563 * [taylor]: Taking taylor expansion of v in v 1.563 * [taylor]: Taking taylor expansion of 1 in v 1.563 * [taylor]: Taking taylor expansion of (+ v 1) in v 1.563 * [taylor]: Taking taylor expansion of v in v 1.563 * [taylor]: Taking taylor expansion of 1 in v 1.564 * [approximate]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (* (+ (/ 1 v) 1) (- (/ 1 v) 1))) in (v) around 0 1.564 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (* (+ (/ 1 v) 1) (- (/ 1 v) 1))) in v 1.564 * [taylor]: Taking taylor expansion of (- 1 (* 5 (/ 1 (pow v 2)))) in v 1.564 * [taylor]: Taking taylor expansion of 1 in v 1.564 * [taylor]: Taking taylor expansion of (* 5 (/ 1 (pow v 2))) in v 1.564 * [taylor]: Taking taylor expansion of 5 in v 1.564 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.564 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.564 * [taylor]: Taking taylor expansion of v in v 1.564 * [taylor]: Taking taylor expansion of (* (+ (/ 1 v) 1) (- (/ 1 v) 1)) in v 1.564 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1) in v 1.564 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.564 * [taylor]: Taking taylor expansion of v in v 1.564 * [taylor]: Taking taylor expansion of 1 in v 1.564 * [taylor]: Taking taylor expansion of (- (/ 1 v) 1) in v 1.564 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.564 * [taylor]: Taking taylor expansion of v in v 1.564 * [taylor]: Taking taylor expansion of 1 in v 1.564 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (* (+ (/ 1 v) 1) (- (/ 1 v) 1))) in v 1.564 * [taylor]: Taking taylor expansion of (- 1 (* 5 (/ 1 (pow v 2)))) in v 1.564 * [taylor]: Taking taylor expansion of 1 in v 1.564 * [taylor]: Taking taylor expansion of (* 5 (/ 1 (pow v 2))) in v 1.564 * [taylor]: Taking taylor expansion of 5 in v 1.564 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.564 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.564 * [taylor]: Taking taylor expansion of v in v 1.565 * [taylor]: Taking taylor expansion of (* (+ (/ 1 v) 1) (- (/ 1 v) 1)) in v 1.565 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1) in v 1.565 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.565 * [taylor]: Taking taylor expansion of v in v 1.565 * [taylor]: Taking taylor expansion of 1 in v 1.565 * [taylor]: Taking taylor expansion of (- (/ 1 v) 1) in v 1.565 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.565 * [taylor]: Taking taylor expansion of v in v 1.565 * [taylor]: Taking taylor expansion of 1 in v 1.566 * [approximate]: Taking taylor expansion of (* -1 (/ (- 1 (* 5 (/ 1 (pow v 2)))) (* (- 1 (/ 1 v)) (+ (/ 1 v) 1)))) in (v) around 0 1.566 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1 (* 5 (/ 1 (pow v 2)))) (* (- 1 (/ 1 v)) (+ (/ 1 v) 1)))) in v 1.567 * [taylor]: Taking taylor expansion of -1 in v 1.567 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (* (- 1 (/ 1 v)) (+ (/ 1 v) 1))) in v 1.567 * [taylor]: Taking taylor expansion of (- 1 (* 5 (/ 1 (pow v 2)))) in v 1.567 * [taylor]: Taking taylor expansion of 1 in v 1.567 * [taylor]: Taking taylor expansion of (* 5 (/ 1 (pow v 2))) in v 1.567 * [taylor]: Taking taylor expansion of 5 in v 1.567 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.567 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.567 * [taylor]: Taking taylor expansion of v in v 1.567 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 v)) (+ (/ 1 v) 1)) in v 1.567 * [taylor]: Taking taylor expansion of (- 1 (/ 1 v)) in v 1.567 * [taylor]: Taking taylor expansion of 1 in v 1.567 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.567 * [taylor]: Taking taylor expansion of v in v 1.567 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1) in v 1.567 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.567 * [taylor]: Taking taylor expansion of v in v 1.567 * [taylor]: Taking taylor expansion of 1 in v 1.567 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1 (* 5 (/ 1 (pow v 2)))) (* (- 1 (/ 1 v)) (+ (/ 1 v) 1)))) in v 1.567 * [taylor]: Taking taylor expansion of -1 in v 1.567 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (* (- 1 (/ 1 v)) (+ (/ 1 v) 1))) in v 1.567 * [taylor]: Taking taylor expansion of (- 1 (* 5 (/ 1 (pow v 2)))) in v 1.567 * [taylor]: Taking taylor expansion of 1 in v 1.567 * [taylor]: Taking taylor expansion of (* 5 (/ 1 (pow v 2))) in v 1.567 * [taylor]: Taking taylor expansion of 5 in v 1.567 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.567 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.567 * [taylor]: Taking taylor expansion of v in v 1.567 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 v)) (+ (/ 1 v) 1)) in v 1.567 * [taylor]: Taking taylor expansion of (- 1 (/ 1 v)) in v 1.567 * [taylor]: Taking taylor expansion of 1 in v 1.567 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.567 * [taylor]: Taking taylor expansion of v in v 1.567 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1) in v 1.567 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.567 * [taylor]: Taking taylor expansion of v in v 1.567 * [taylor]: Taking taylor expansion of 1 in v 1.569 * * * [progress]: simplifying candidates 1.573 * [simplify]: Simplifying using # : (/.f64 PI.f64 2) (asin.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 v 1))) (log.f64 (acos.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 v 1)))) (exp.f64 (acos.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 v 1)))) (*.f64 (cbrt.f64 (acos.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 v 1)))) (cbrt.f64 (acos.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 v 1))))) (cbrt.f64 (acos.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 v 1)))) (*.f64 (*.f64 (acos.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 v 1))) (acos.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 v 1)))) (acos.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 v 1)))) (sqrt.f64 (acos.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 v 1)))) (sqrt.f64 (acos.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 v 1)))) (*.f64 5 (*.f64 v v)) (*.f64 5 (*.f64 v v)) (+.f64 (log.f64 5) (+.f64 (log.f64 v) (log.f64 v))) (+.f64 (log.f64 5) (log.f64 (*.f64 v v))) (log.f64 (*.f64 5 (*.f64 v v))) (exp.f64 (*.f64 5 (*.f64 v v))) (*.f64 (*.f64 (*.f64 5 5) 5) (*.f64 (*.f64 (*.f64 v v) v) (*.f64 (*.f64 v v) v))) (*.f64 (*.f64 (*.f64 5 5) 5) (*.f64 (*.f64 (*.f64 v v) (*.f64 v v)) (*.f64 v v))) (*.f64 (cbrt.f64 (*.f64 5 (*.f64 v v))) (cbrt.f64 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (*.f64 5 (*.f64 v v))) (*.f64 (*.f64 (*.f64 5 (*.f64 v v)) (*.f64 5 (*.f64 v v))) (*.f64 5 (*.f64 v v))) (sqrt.f64 (*.f64 5 (*.f64 v v))) (sqrt.f64 (*.f64 5 (*.f64 v v))) (*.f64 (sqrt.f64 5) v) (*.f64 (sqrt.f64 5) v) (*.f64 5 v) (*.f64 (cbrt.f64 5) (*.f64 v v)) (*.f64 (sqrt.f64 5) (*.f64 v v)) (*.f64 5 (*.f64 v v)) (-.f64 (log.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (log.f64 (+.f64 1 v))) (log.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (exp.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (/.f64 (*.f64 (*.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 1 (*.f64 5 (*.f64 v v)))) (*.f64 (*.f64 (+.f64 1 v) (+.f64 1 v)) (+.f64 1 v))) (*.f64 (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)))) (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (*.f64 (*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (neg.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (neg.f64 (+.f64 1 v)) (/.f64 1 (+.f64 1 v)) (/.f64 (*.f64 5 (*.f64 v v)) (+.f64 1 v)) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (+.f64 1 v))) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (sqrt.f64 (+.f64 1 v))) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) 1) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) 1) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (+.f64 1 v))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) 1) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) 1) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (/.f64 1 (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (cbrt.f64 (+.f64 1 v))) (/.f64 1 (sqrt.f64 (+.f64 1 v))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 1 v))) (/.f64 1 1) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (/.f64 1 1) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (/.f64 1 (+.f64 1 v)) (/.f64 (+.f64 1 v) (-.f64 1 (*.f64 5 (*.f64 v v)))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 1 v))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) 1) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) 1) (/.f64 (+.f64 1 v) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (/.f64 (+.f64 1 v) (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (/.f64 (+.f64 1 v) (-.f64 1 (*.f64 5 (*.f64 v v)))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (pow.f64 1 3) (pow.f64 v 3))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 1 1) (*.f64 v v))) (*.f64 (+.f64 1 v) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 5 (*.f64 v v)) (*.f64 5 (*.f64 v v))) (*.f64 1 (*.f64 5 (*.f64 v v)))))) (*.f64 (+.f64 1 v) (+.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 (-.f64 (log.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (log.f64 (+.f64 1 v))) (log.f64 (-.f64 v 1))) (-.f64 (log.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (log.f64 (-.f64 v 1))) (log.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 v 1))) (exp.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 v 1))) (/.f64 (/.f64 (*.f64 (*.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 1 (*.f64 5 (*.f64 v v)))) (*.f64 (*.f64 (+.f64 1 v) (+.f64 1 v)) (+.f64 1 v))) (*.f64 (*.f64 (-.f64 v 1) (-.f64 v 1)) (-.f64 v 1))) (/.f64 (*.f64 (*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (*.f64 (*.f64 (-.f64 v 1) (-.f64 v 1)) (-.f64 v 1))) (*.f64 (cbrt.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 v 1))) (cbrt.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 v 1)))) (cbrt.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 v 1))) (*.f64 (*.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 v 1)) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 v 1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 v 1))) (sqrt.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 v 1))) (sqrt.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 v 1))) (neg.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (neg.f64 (-.f64 v 1)) (/.f64 (/.f64 1 (+.f64 1 v)) (-.f64 v 1)) (/.f64 (/.f64 (*.f64 5 (*.f64 v v)) (+.f64 1 v)) (-.f64 v 1)) (/.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)))) (*.f64 (cbrt.f64 (-.f64 v 1)) (cbrt.f64 (-.f64 v 1)))) (/.f64 (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (cbrt.f64 (-.f64 v 1))) (/.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)))) (sqrt.f64 (-.f64 v 1))) (/.f64 (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (sqrt.f64 (-.f64 v 1))) (/.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)))) 1) (/.f64 (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (-.f64 v 1)) (/.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)))) (+.f64 (sqrt.f64 v) (sqrt.f64 1))) (/.f64 (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (-.f64 (sqrt.f64 v) (sqrt.f64 1))) (/.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)))) (+.f64 (sqrt.f64 v) 1)) (/.f64 (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (/.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)))) (+.f64 (sqrt.f64 v) 1)) (/.f64 (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (/.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)))) 1) (/.f64 (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (-.f64 v 1)) (/.f64 (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (*.f64 (cbrt.f64 (-.f64 v 1)) (cbrt.f64 (-.f64 v 1)))) (/.f64 (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (cbrt.f64 (-.f64 v 1))) (/.f64 (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (sqrt.f64 (-.f64 v 1))) (/.f64 (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (sqrt.f64 (-.f64 v 1))) (/.f64 (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) 1) (/.f64 (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (-.f64 v 1)) (/.f64 (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (+.f64 (sqrt.f64 v) (sqrt.f64 1))) (/.f64 (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (-.f64 (sqrt.f64 v) (sqrt.f64 1))) (/.f64 (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (+.f64 (sqrt.f64 v) 1)) (/.f64 (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (/.f64 (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (+.f64 (sqrt.f64 v) 1)) (/.f64 (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (/.f64 (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) 1) (/.f64 (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (-.f64 v 1)) (/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (*.f64 (cbrt.f64 (-.f64 v 1)) (cbrt.f64 (-.f64 v 1)))) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (+.f64 1 v))) (cbrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (+.f64 1 v))) (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) 1) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (+.f64 1 v))) (-.f64 v 1)) (/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (+.f64 (sqrt.f64 v) (sqrt.f64 1))) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (+.f64 1 v))) (-.f64 (sqrt.f64 v) (sqrt.f64 1))) (/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (+.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (+.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (+.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (+.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) 1) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (+.f64 1 v))) (-.f64 v 1)) (/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (sqrt.f64 (+.f64 1 v))) (*.f64 (cbrt.f64 (-.f64 v 1)) (cbrt.f64 (-.f64 v 1)))) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (cbrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (sqrt.f64 (+.f64 1 v))) (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (sqrt.f64 (+.f64 1 v))) 1) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (-.f64 v 1)) (/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (sqrt.f64 (+.f64 1 v))) (+.f64 (sqrt.f64 v) (sqrt.f64 1))) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (-.f64 (sqrt.f64 v) (sqrt.f64 1))) (/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (sqrt.f64 (+.f64 1 v))) (+.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (sqrt.f64 (+.f64 1 v))) (+.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (sqrt.f64 (+.f64 1 v))) 1) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (-.f64 v 1)) (/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) 1) (*.f64 (cbrt.f64 (-.f64 v 1)) (cbrt.f64 (-.f64 v 1)))) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (cbrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) 1) (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) 1) 1) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (-.f64 v 1)) (/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) 1) (+.f64 (sqrt.f64 v) (sqrt.f64 1))) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) (sqrt.f64 1))) (/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) 1) (+.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) 1) (+.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) 1) 1) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (-.f64 v 1)) (/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) 1) (*.f64 (cbrt.f64 (-.f64 v 1)) (cbrt.f64 (-.f64 v 1)))) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (cbrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) 1) (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) 1) 1) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (-.f64 v 1)) (/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) 1) (+.f64 (sqrt.f64 v) (sqrt.f64 1))) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) (sqrt.f64 1))) (/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) 1) (+.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) 1) (+.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) 1) 1) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (-.f64 v 1)) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (*.f64 (cbrt.f64 (-.f64 v 1)) (cbrt.f64 (-.f64 v 1)))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (+.f64 1 v))) (cbrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (+.f64 1 v))) (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) 1) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (+.f64 1 v))) (-.f64 v 1)) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (+.f64 (sqrt.f64 v) (sqrt.f64 1))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (+.f64 1 v))) (-.f64 (sqrt.f64 v) (sqrt.f64 1))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (+.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (+.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (+.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (+.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) 1) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (+.f64 1 v))) (-.f64 v 1)) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (*.f64 (cbrt.f64 (-.f64 v 1)) (cbrt.f64 (-.f64 v 1)))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (cbrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) 1) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (-.f64 v 1)) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (+.f64 (sqrt.f64 v) (sqrt.f64 1))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (-.f64 (sqrt.f64 v) (sqrt.f64 1))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (+.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (+.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) 1) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (-.f64 v 1)) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) 1) (*.f64 (cbrt.f64 (-.f64 v 1)) (cbrt.f64 (-.f64 v 1)))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (cbrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) 1) (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) 1) 1) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (-.f64 v 1)) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) 1) (+.f64 (sqrt.f64 v) (sqrt.f64 1))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) (sqrt.f64 1))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) 1) (+.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) 1) (+.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) 1) 1) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (-.f64 v 1)) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) 1) (*.f64 (cbrt.f64 (-.f64 v 1)) (cbrt.f64 (-.f64 v 1)))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (cbrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) 1) (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) 1) 1) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (-.f64 v 1)) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) 1) (+.f64 (sqrt.f64 v) (sqrt.f64 1))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) (sqrt.f64 1))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) 1) (+.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) 1) (+.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) 1) 1) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (-.f64 v 1)) (/.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (*.f64 (cbrt.f64 (-.f64 v 1)) (cbrt.f64 (-.f64 v 1)))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (cbrt.f64 (+.f64 1 v))) (cbrt.f64 (-.f64 v 1))) (/.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (cbrt.f64 (+.f64 1 v))) (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) 1) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (cbrt.f64 (+.f64 1 v))) (-.f64 v 1)) (/.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (+.f64 (sqrt.f64 v) (sqrt.f64 1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (cbrt.f64 (+.f64 1 v))) (-.f64 (sqrt.f64 v) (sqrt.f64 1))) (/.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (+.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (cbrt.f64 (+.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (+.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (cbrt.f64 (+.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) 1) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (cbrt.f64 (+.f64 1 v))) (-.f64 v 1)) (/.f64 (/.f64 1 (sqrt.f64 (+.f64 1 v))) (*.f64 (cbrt.f64 (-.f64 v 1)) (cbrt.f64 (-.f64 v 1)))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 1 v))) (cbrt.f64 (-.f64 v 1))) (/.f64 (/.f64 1 (sqrt.f64 (+.f64 1 v))) (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 1 v))) (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 1 (sqrt.f64 (+.f64 1 v))) 1) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 1 v))) (-.f64 v 1)) (/.f64 (/.f64 1 (sqrt.f64 (+.f64 1 v))) (+.f64 (sqrt.f64 v) (sqrt.f64 1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 1 v))) (-.f64 (sqrt.f64 v) (sqrt.f64 1))) (/.f64 (/.f64 1 (sqrt.f64 (+.f64 1 v))) (+.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 1 (sqrt.f64 (+.f64 1 v))) (+.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 1 (sqrt.f64 (+.f64 1 v))) 1) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 1 v))) (-.f64 v 1)) (/.f64 (/.f64 1 1) (*.f64 (cbrt.f64 (-.f64 v 1)) (cbrt.f64 (-.f64 v 1)))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (cbrt.f64 (-.f64 v 1))) (/.f64 (/.f64 1 1) (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 1 1) 1) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 v 1)) (/.f64 (/.f64 1 1) (+.f64 (sqrt.f64 v) (sqrt.f64 1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) (sqrt.f64 1))) (/.f64 (/.f64 1 1) (+.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 1 1) (+.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 1 1) 1) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 v 1)) (/.f64 (/.f64 1 1) (*.f64 (cbrt.f64 (-.f64 v 1)) (cbrt.f64 (-.f64 v 1)))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (cbrt.f64 (-.f64 v 1))) (/.f64 (/.f64 1 1) (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 1 1) 1) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 v 1)) (/.f64 (/.f64 1 1) (+.f64 (sqrt.f64 v) (sqrt.f64 1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) (sqrt.f64 1))) (/.f64 (/.f64 1 1) (+.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 1 1) (+.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 1 1) 1) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 v 1)) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 v 1)) (cbrt.f64 (-.f64 v 1)))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (cbrt.f64 (-.f64 v 1))) (/.f64 1 (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (sqrt.f64 (-.f64 v 1))) (/.f64 1 1) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 v 1)) (/.f64 1 (+.f64 (sqrt.f64 v) (sqrt.f64 1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) (sqrt.f64 1))) (/.f64 1 (+.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) 1)) (/.f64 1 (+.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) 1)) (/.f64 1 1) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 v 1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (*.f64 (cbrt.f64 (-.f64 v 1)) (cbrt.f64 (-.f64 v 1)))) (/.f64 (/.f64 1 (+.f64 1 v)) (cbrt.f64 (-.f64 v 1))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 1 (+.f64 1 v)) (sqrt.f64 (-.f64 v 1))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) 1) (/.f64 (/.f64 1 (+.f64 1 v)) (-.f64 v 1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (sqrt.f64 v) (sqrt.f64 1))) (/.f64 (/.f64 1 (+.f64 1 v)) (-.f64 (sqrt.f64 v) (sqrt.f64 1))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 1 (+.f64 1 v)) (-.f64 (sqrt.f64 v) 1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 1 (+.f64 1 v)) (-.f64 (sqrt.f64 v) 1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) 1) (/.f64 (/.f64 1 (+.f64 1 v)) (-.f64 v 1)) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (pow.f64 1 3) (pow.f64 v 3))) (*.f64 (cbrt.f64 (-.f64 v 1)) (cbrt.f64 (-.f64 v 1)))) (/.f64 (+.f64 (*.f64 1 1) (-.f64 (*.f64 v v) (*.f64 1 v))) (cbrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (pow.f64 1 3) (pow.f64 v 3))) (sqrt.f64 (-.f64 v 1))) (/.f64 (+.f64 (*.f64 1 1) (-.f64 (*.f64 v v) (*.f64 1 v))) (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (pow.f64 1 3) (pow.f64 v 3))) 1) (/.f64 (+.f64 (*.f64 1 1) (-.f64 (*.f64 v v) (*.f64 1 v))) (-.f64 v 1)) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (pow.f64 1 3) (pow.f64 v 3))) (+.f64 (sqrt.f64 v) (sqrt.f64 1))) (/.f64 (+.f64 (*.f64 1 1) (-.f64 (*.f64 v v) (*.f64 1 v))) (-.f64 (sqrt.f64 v) (sqrt.f64 1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (pow.f64 1 3) (pow.f64 v 3))) (+.f64 (sqrt.f64 v) 1)) (/.f64 (+.f64 (*.f64 1 1) (-.f64 (*.f64 v v) (*.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (pow.f64 1 3) (pow.f64 v 3))) (+.f64 (sqrt.f64 v) 1)) (/.f64 (+.f64 (*.f64 1 1) (-.f64 (*.f64 v v) (*.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (pow.f64 1 3) (pow.f64 v 3))) 1) (/.f64 (+.f64 (*.f64 1 1) (-.f64 (*.f64 v v) (*.f64 1 v))) (-.f64 v 1)) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 1 1) (*.f64 v v))) (*.f64 (cbrt.f64 (-.f64 v 1)) (cbrt.f64 (-.f64 v 1)))) (/.f64 (-.f64 1 v) (cbrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 1 1) (*.f64 v v))) (sqrt.f64 (-.f64 v 1))) (/.f64 (-.f64 1 v) (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 1 1) (*.f64 v v))) 1) (/.f64 (-.f64 1 v) (-.f64 v 1)) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 1 1) (*.f64 v v))) (+.f64 (sqrt.f64 v) (sqrt.f64 1))) (/.f64 (-.f64 1 v) (-.f64 (sqrt.f64 v) (sqrt.f64 1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 1 1) (*.f64 v v))) (+.f64 (sqrt.f64 v) 1)) (/.f64 (-.f64 1 v) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 1 1) (*.f64 v v))) (+.f64 (sqrt.f64 v) 1)) (/.f64 (-.f64 1 v) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 1 1) (*.f64 v v))) 1) (/.f64 (-.f64 1 v) (-.f64 v 1)) (/.f64 1 (-.f64 v 1)) (/.f64 (-.f64 v 1) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (*.f64 (cbrt.f64 (-.f64 v 1)) (cbrt.f64 (-.f64 v 1)))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) 1) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (+.f64 (sqrt.f64 v) (sqrt.f64 1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (+.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (+.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) 1) (/.f64 (-.f64 v 1) (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)))) (/.f64 (-.f64 v 1) (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)))) (/.f64 (-.f64 v 1) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (+.f64 1 v)))) (/.f64 (-.f64 v 1) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v)))) (/.f64 (-.f64 v 1) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v))) (/.f64 (-.f64 v 1) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v))) (/.f64 (-.f64 v 1) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (+.f64 1 v)))) (/.f64 (-.f64 v 1) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v)))) (/.f64 (-.f64 v 1) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v))) (/.f64 (-.f64 v 1) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v))) (/.f64 (-.f64 v 1) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (cbrt.f64 (+.f64 1 v)))) (/.f64 (-.f64 v 1) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 1 v)))) (/.f64 (-.f64 v 1) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (/.f64 (-.f64 v 1) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (/.f64 (-.f64 v 1) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (/.f64 (-.f64 v 1) (/.f64 1 (+.f64 1 v))) (/.f64 (-.f64 v 1) (+.f64 (*.f64 1 1) (-.f64 (*.f64 v v) (*.f64 1 v)))) (/.f64 (-.f64 v 1) (-.f64 1 v)) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 (pow.f64 v 3) (pow.f64 1 3))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 (*.f64 v v) (*.f64 1 1))) (*.f64 (-.f64 v 1) (+.f64 1 v)) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (*.f64 (-.f64 v 1) (+.f64 v 1)))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (*.f64 (-.f64 v 1) (+.f64 v 1)))) (acos.f64 (*.f64 -1 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (*.f64 (-.f64 1 v) (+.f64 v 1))))) (*.f64 5 (pow.f64 v 2)) (*.f64 5 (pow.f64 v 2)) (*.f64 5 (pow.f64 v 2)) (-.f64 1 (+.f64 (*.f64 4 (pow.f64 v 2)) v)) (-.f64 5 (+.f64 (*.f64 4 (/.f64 1 v)) (*.f64 5 v))) (-.f64 5 (+.f64 (*.f64 4 (/.f64 1 v)) (*.f64 5 v))) (-.f64 (+.f64 (*.f64 4 (pow.f64 v 2)) (*.f64 4 (pow.f64 v 4))) 1) (neg.f64 (+.f64 (*.f64 4 (/.f64 1 (pow.f64 v 2))) (+.f64 (*.f64 4 (/.f64 1 (pow.f64 v 4))) 5))) (neg.f64 (+.f64 (*.f64 4 (/.f64 1 (pow.f64 v 2))) (+.f64 (*.f64 4 (/.f64 1 (pow.f64 v 4))) 5))) 1.623 * * [simplify]: iteration 0 : 5830 enodes (cost 5591 ) 1.641 * [simplify]: Simplified to: (/.f64 PI.f64 2) (asin.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (log.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (exp.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (*.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (pow.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) 3) (sqrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (sqrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (*.f64 5 (*.f64 v v)) (*.f64 5 (*.f64 v v)) (log.f64 (*.f64 5 (*.f64 v v))) (log.f64 (*.f64 5 (*.f64 v v))) (log.f64 (*.f64 5 (*.f64 v v))) (exp.f64 (*.f64 5 (*.f64 v v))) (*.f64 125 (pow.f64 v 6)) (*.f64 125 (pow.f64 v 6)) (*.f64 (cbrt.f64 (*.f64 5 (*.f64 v v))) (cbrt.f64 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (*.f64 5 (*.f64 v v))) (*.f64 125 (pow.f64 v 6)) (sqrt.f64 (*.f64 5 (*.f64 v v))) (sqrt.f64 (*.f64 5 (*.f64 v v))) (*.f64 v (sqrt.f64 5)) (*.f64 v (sqrt.f64 5)) (*.f64 5 v) (*.f64 (*.f64 v v) (cbrt.f64 5)) (*.f64 v (*.f64 v (sqrt.f64 5))) (*.f64 5 (*.f64 v v)) (log.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (log.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (exp.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (pow.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) 3) (*.f64 (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)))) (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (pow.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) 3) (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (-.f64 (*.f64 5 (*.f64 v v)) 1) (-.f64 -1 v) (/.f64 1 (+.f64 1 v)) (/.f64 (*.f64 5 (*.f64 v v)) (+.f64 1 v)) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (+.f64 1 v))) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (sqrt.f64 (+.f64 1 v))) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (+.f64 1 v))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (/.f64 1 (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (cbrt.f64 (+.f64 1 v))) (/.f64 1 (sqrt.f64 (+.f64 1 v))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 1 v))) 1 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) 1 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (/.f64 1 (+.f64 1 v)) (/.f64 (+.f64 1 v) (-.f64 1 (*.f64 5 (*.f64 v v)))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 1 v))) (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 1 (*.f64 5 (*.f64 v v))) (/.f64 (+.f64 1 v) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (/.f64 (+.f64 1 v) (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (/.f64 (+.f64 1 v) (-.f64 1 (*.f64 5 (*.f64 v v)))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 (pow.f64 v 3))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 1 (*.f64 v v))) (*.f64 (+.f64 1 v) (+.f64 1 (+.f64 (*.f64 5 (*.f64 v v)) (*.f64 25 (pow.f64 v 4))))) (*.f64 (+.f64 1 v) (+.f64 1 (*.f64 5 (*.f64 v v)))) (log.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (log.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (log.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (exp.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (pow.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)) 3) (pow.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)) 3) (*.f64 (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (pow.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)) 3) (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (/.f64 (-.f64 (*.f64 5 (*.f64 v v)) 1) (+.f64 1 v)) (-.f64 1 v) (/.f64 1 (-.f64 (*.f64 v v) 1)) (/.f64 5 (/.f64 (-.f64 (*.f64 v v) 1) (*.f64 v v))) (/.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)))) (*.f64 (cbrt.f64 (-.f64 v 1)) (cbrt.f64 (-.f64 v 1)))) (/.f64 (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (cbrt.f64 (-.f64 v 1))) (/.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)))) (sqrt.f64 (-.f64 v 1))) (/.f64 (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (sqrt.f64 (-.f64 v 1))) (*.f64 (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)))) (/.f64 (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (-.f64 v 1)) (/.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)))) (+.f64 1 (sqrt.f64 v))) (/.f64 (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (/.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)))) (+.f64 1 (sqrt.f64 v))) (/.f64 (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (/.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)))) (+.f64 1 (sqrt.f64 v))) (/.f64 (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (*.f64 (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)))) (/.f64 (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (-.f64 v 1)) (/.f64 (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (*.f64 (cbrt.f64 (-.f64 v 1)) (cbrt.f64 (-.f64 v 1)))) (/.f64 (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (cbrt.f64 (-.f64 v 1))) (/.f64 (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (sqrt.f64 (-.f64 v 1))) (/.f64 (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (sqrt.f64 (-.f64 v 1))) (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (/.f64 (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (-.f64 v 1)) (/.f64 (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (+.f64 1 (sqrt.f64 v))) (/.f64 (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (/.f64 (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (+.f64 1 (sqrt.f64 v))) (/.f64 (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (/.f64 (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (+.f64 1 (sqrt.f64 v))) (/.f64 (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (/.f64 (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v))) (-.f64 v 1)) (/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (*.f64 (cbrt.f64 (-.f64 v 1)) (cbrt.f64 (-.f64 v 1)))) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (+.f64 1 v))) (cbrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (+.f64 1 v))) (sqrt.f64 (-.f64 v 1))) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (+.f64 1 v))) (-.f64 v 1)) (/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (+.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (+.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (+.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (+.f64 1 v))) (-.f64 v 1)) (/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (sqrt.f64 (+.f64 1 v))) (*.f64 (cbrt.f64 (-.f64 v 1)) (cbrt.f64 (-.f64 v 1)))) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (cbrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (sqrt.f64 (+.f64 1 v))) (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (sqrt.f64 (-.f64 v 1))) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (sqrt.f64 (+.f64 1 v))) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (-.f64 v 1)) (/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (sqrt.f64 (+.f64 1 v))) (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (sqrt.f64 (+.f64 1 v))) (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (sqrt.f64 (+.f64 1 v))) (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (sqrt.f64 (+.f64 1 v))) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (-.f64 v 1)) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (*.f64 (cbrt.f64 (-.f64 v 1)) (cbrt.f64 (-.f64 v 1)))) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (cbrt.f64 (-.f64 v 1))) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (sqrt.f64 (-.f64 v 1))) (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 (*.f64 v v) 1)) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) 1)) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) 1)) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) 1)) (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 (*.f64 v v) 1)) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (*.f64 (cbrt.f64 (-.f64 v 1)) (cbrt.f64 (-.f64 v 1)))) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (cbrt.f64 (-.f64 v 1))) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (sqrt.f64 (-.f64 v 1))) (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 (*.f64 v v) 1)) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) 1)) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) 1)) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) 1)) (*.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 (*.f64 v v) 1)) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (*.f64 (cbrt.f64 (-.f64 v 1)) (cbrt.f64 (-.f64 v 1)))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (+.f64 1 v))) (cbrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (+.f64 1 v))) (sqrt.f64 (-.f64 v 1))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (+.f64 1 v))) (-.f64 v 1)) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (+.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (+.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (+.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (+.f64 1 v))) (-.f64 v 1)) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (*.f64 (cbrt.f64 (-.f64 v 1)) (cbrt.f64 (-.f64 v 1)))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (cbrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (sqrt.f64 (-.f64 v 1))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (-.f64 v 1)) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v))) (-.f64 v 1)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (*.f64 (cbrt.f64 (-.f64 v 1)) (cbrt.f64 (-.f64 v 1)))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (cbrt.f64 (-.f64 v 1))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (sqrt.f64 (-.f64 v 1))) (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 (*.f64 v v) 1)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) 1)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) 1)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) 1)) (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 (*.f64 v v) 1)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (*.f64 (cbrt.f64 (-.f64 v 1)) (cbrt.f64 (-.f64 v 1)))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (cbrt.f64 (-.f64 v 1))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (sqrt.f64 (-.f64 v 1))) (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 (*.f64 v v) 1)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) 1)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) 1)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) 1)) (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 (*.f64 v v) 1)) (/.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (*.f64 (cbrt.f64 (-.f64 v 1)) (cbrt.f64 (-.f64 v 1)))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (cbrt.f64 (+.f64 1 v))) (cbrt.f64 (-.f64 v 1))) (/.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (cbrt.f64 (+.f64 1 v))) (sqrt.f64 (-.f64 v 1))) (/.f64 1 (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (cbrt.f64 (+.f64 1 v))) (-.f64 v 1)) (/.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (cbrt.f64 (+.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (cbrt.f64 (+.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (cbrt.f64 (+.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (/.f64 1 (*.f64 (cbrt.f64 (+.f64 1 v)) (cbrt.f64 (+.f64 1 v)))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (cbrt.f64 (+.f64 1 v))) (-.f64 v 1)) (/.f64 (/.f64 1 (sqrt.f64 (+.f64 1 v))) (*.f64 (cbrt.f64 (-.f64 v 1)) (cbrt.f64 (-.f64 v 1)))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 1 v))) (cbrt.f64 (-.f64 v 1))) (/.f64 (/.f64 1 (sqrt.f64 (+.f64 1 v))) (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 1 v))) (sqrt.f64 (-.f64 v 1))) (/.f64 1 (sqrt.f64 (+.f64 1 v))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 1 v))) (-.f64 v 1)) (/.f64 (/.f64 1 (sqrt.f64 (+.f64 1 v))) (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 1 (sqrt.f64 (+.f64 1 v))) (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 1 (sqrt.f64 (+.f64 1 v))) (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 1 v))) (-.f64 (sqrt.f64 v) 1)) (/.f64 1 (sqrt.f64 (+.f64 1 v))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 1 v))) (-.f64 v 1)) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 v 1)) (cbrt.f64 (-.f64 v 1)))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (cbrt.f64 (-.f64 v 1))) (/.f64 1 (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (sqrt.f64 (-.f64 v 1))) 1 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)) (/.f64 1 (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) 1)) (/.f64 1 (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) 1)) (/.f64 1 (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) 1)) 1 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 v 1)) (cbrt.f64 (-.f64 v 1)))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (cbrt.f64 (-.f64 v 1))) (/.f64 1 (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (sqrt.f64 (-.f64 v 1))) 1 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)) (/.f64 1 (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) 1)) (/.f64 1 (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) 1)) (/.f64 1 (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) 1)) 1 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 v 1)) (cbrt.f64 (-.f64 v 1)))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (cbrt.f64 (-.f64 v 1))) (/.f64 1 (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (sqrt.f64 (-.f64 v 1))) 1 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)) (/.f64 1 (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) 1)) (/.f64 1 (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) 1)) (/.f64 1 (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 (sqrt.f64 v) 1)) 1 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (*.f64 (cbrt.f64 (-.f64 v 1)) (cbrt.f64 (-.f64 v 1)))) (/.f64 (/.f64 1 (+.f64 1 v)) (cbrt.f64 (-.f64 v 1))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (-.f64 v 1))) (/.f64 (/.f64 1 (+.f64 1 v)) (sqrt.f64 (-.f64 v 1))) (-.f64 1 (*.f64 5 (*.f64 v v))) (/.f64 1 (-.f64 (*.f64 v v) 1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 1 (+.f64 1 v)) (-.f64 (sqrt.f64 v) 1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 1 (+.f64 1 v)) (-.f64 (sqrt.f64 v) 1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 1 (+.f64 1 v)) (-.f64 (sqrt.f64 v) 1)) (-.f64 1 (*.f64 5 (*.f64 v v))) (/.f64 1 (-.f64 (*.f64 v v) 1)) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 (pow.f64 v 3))) (*.f64 (cbrt.f64 (-.f64 v 1)) (cbrt.f64 (-.f64 v 1)))) (/.f64 (+.f64 1 (-.f64 (*.f64 v v) v)) (cbrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 (pow.f64 v 3))) (sqrt.f64 (-.f64 v 1))) (/.f64 (+.f64 1 (-.f64 (*.f64 v v) v)) (sqrt.f64 (-.f64 v 1))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 (pow.f64 v 3))) (/.f64 (+.f64 1 (-.f64 (*.f64 v v) v)) (-.f64 v 1)) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 (pow.f64 v 3))) (+.f64 1 (sqrt.f64 v))) (/.f64 (+.f64 1 (-.f64 (*.f64 v v) v)) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 (pow.f64 v 3))) (+.f64 1 (sqrt.f64 v))) (/.f64 (+.f64 1 (-.f64 (*.f64 v v) v)) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 (pow.f64 v 3))) (+.f64 1 (sqrt.f64 v))) (/.f64 (+.f64 1 (-.f64 (*.f64 v v) v)) (-.f64 (sqrt.f64 v) 1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 (pow.f64 v 3))) (/.f64 (+.f64 1 (-.f64 (*.f64 v v) v)) (-.f64 v 1)) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 1 (*.f64 v v))) (*.f64 (cbrt.f64 (-.f64 v 1)) (cbrt.f64 (-.f64 v 1)))) (/.f64 (-.f64 1 v) (cbrt.f64 (-.f64 v 1))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 1 (*.f64 v v))) (sqrt.f64 (-.f64 v 1))) (/.f64 (-.f64 1 v) (sqrt.f64 (-.f64 v 1))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 1 (*.f64 v v))) (/.f64 (-.f64 1 v) (-.f64 v 1)) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 1 (*.f64 v v))) (+.f64 1 (sqrt.f64 v))) (/.f64 (-.f64 1 v) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 1 (*.f64 v v))) (+.f64 1 (sqrt.f64 v))) (/.f64 (-.f64 1 v) (-.f64 (sqrt.f64 v) 1)) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 1 (*.f64 v v))) (+.f64 1 (sqrt.f64 v))) (/.f64 (-.f64 1 v) (-.f64 (sqrt.f64 v) 1)) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 1 (*.f64 v v))) (/.f64 (-.f64 1 v) (-.f64 v 1)) (/.f64 1 (-.f64 v 1)) (/.f64 (-.f64 (*.f64 v v) 1) (-.f64 1 (*.f64 5 (*.f64 v v)))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (*.f64 (cbrt.f64 (-.f64 v 1)) (cbrt.f64 (-.f64 v 1)))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (sqrt.f64 (-.f64 v 1))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (+.f64 1 (sqrt.f64 v))) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (+.f64 1 (sqrt.f64 v))) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (/.f64 (-.f64 v 1) (cbrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)))) (/.f64 (-.f64 v 1) (sqrt.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)))) (/.f64 (-.f64 v 1) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (+.f64 1 v)))) (/.f64 (-.f64 v 1) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v)))) (/.f64 (-.f64 (*.f64 v v) 1) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (/.f64 (-.f64 (*.f64 v v) 1) (cbrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (/.f64 (-.f64 v 1) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (cbrt.f64 (+.f64 1 v)))) (/.f64 (-.f64 v 1) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v)))) (sqrt.f64 (+.f64 1 v)))) (/.f64 (-.f64 (*.f64 v v) 1) (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (/.f64 (-.f64 (*.f64 v v) 1) (sqrt.f64 (-.f64 1 (*.f64 5 (*.f64 v v))))) (/.f64 (-.f64 v 1) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (cbrt.f64 (+.f64 1 v)))) (/.f64 (-.f64 v 1) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (sqrt.f64 (+.f64 1 v)))) (/.f64 (-.f64 (*.f64 v v) 1) (-.f64 1 (*.f64 5 (*.f64 v v)))) (/.f64 (-.f64 (*.f64 v v) 1) (-.f64 1 (*.f64 5 (*.f64 v v)))) (/.f64 (-.f64 (*.f64 v v) 1) (-.f64 1 (*.f64 5 (*.f64 v v)))) (-.f64 (*.f64 v v) 1) (/.f64 (-.f64 v 1) (+.f64 1 (-.f64 (*.f64 v v) v))) (/.f64 (-.f64 v 1) (-.f64 1 v)) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (+.f64 (pow.f64 v 3) -1)) (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 1 v)) (-.f64 (*.f64 v v) 1)) (-.f64 (*.f64 v v) 1) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (acos.f64 (/.f64 (-.f64 (*.f64 5 (*.f64 v v)) 1) (neg.f64 (-.f64 (*.f64 v v) 1)))) (*.f64 5 (*.f64 v v)) (*.f64 5 (*.f64 v v)) (*.f64 5 (*.f64 v v)) (-.f64 1 (+.f64 v (*.f64 (*.f64 v v) 4))) (-.f64 5 (+.f64 (*.f64 5 v) (/.f64 4 v))) (-.f64 5 (+.f64 (*.f64 5 v) (/.f64 4 v))) (+.f64 -1 (*.f64 4 (+.f64 (*.f64 v v) (pow.f64 v 4)))) (+.f64 (/.f64 -4 (*.f64 v v)) (-.f64 -5 (/.f64 4 (pow.f64 v 4)))) (+.f64 (/.f64 -4 (*.f64 v v)) (-.f64 -5 (/.f64 4 (pow.f64 v 4)))) 1.643 * * * [progress]: adding candidates to table 1.854 * * [progress]: iteration 4 / 4 1.854 * * * [progress]: picking best candidate 1.856 * * * * [pick]: Picked # 1.856 * * * [progress]: localizing error 1.868 * * * [progress]: generating rewritten candidates 1.868 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 1.869 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 1.871 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1.873 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 1.876 * * * [progress]: generating series expansions 1.876 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 1.876 * [approximate]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1/3) in (v) around 0 1.876 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1/3) in v 1.876 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))))) in v 1.876 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))))) in v 1.876 * [taylor]: Taking taylor expansion of 1/3 in v 1.876 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) in v 1.876 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1.877 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1/3) in v 1.877 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))))) in v 1.877 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))))) in v 1.877 * [taylor]: Taking taylor expansion of 1/3 in v 1.877 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) in v 1.877 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1.889 * [approximate]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1/3) in (v) around 0 1.889 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1/3) in v 1.889 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) in v 1.889 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))))) in v 1.889 * [taylor]: Taking taylor expansion of 1/3 in v 1.889 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in v 1.889 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.890 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1/3) in v 1.890 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) in v 1.890 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))))) in v 1.890 * [taylor]: Taking taylor expansion of 1/3 in v 1.890 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in v 1.890 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.903 * [approximate]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1/3) in (v) around 0 1.903 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1/3) in v 1.903 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) in v 1.903 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))))) in v 1.903 * [taylor]: Taking taylor expansion of 1/3 in v 1.903 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in v 1.903 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.904 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1/3) in v 1.904 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) in v 1.904 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))))) in v 1.904 * [taylor]: Taking taylor expansion of 1/3 in v 1.904 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in v 1.904 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.918 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 1.919 * [approximate]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1/3) in (v) around 0 1.919 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1/3) in v 1.919 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))))) in v 1.919 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))))) in v 1.919 * [taylor]: Taking taylor expansion of 1/3 in v 1.919 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) in v 1.919 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1.919 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1/3) in v 1.919 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))))) in v 1.920 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))))) in v 1.920 * [taylor]: Taking taylor expansion of 1/3 in v 1.920 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) in v 1.920 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1.932 * [approximate]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1/3) in (v) around 0 1.932 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1/3) in v 1.932 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) in v 1.932 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))))) in v 1.932 * [taylor]: Taking taylor expansion of 1/3 in v 1.932 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in v 1.932 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.932 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1/3) in v 1.932 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) in v 1.932 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))))) in v 1.933 * [taylor]: Taking taylor expansion of 1/3 in v 1.933 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in v 1.933 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.946 * [approximate]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1/3) in (v) around 0 1.946 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1/3) in v 1.946 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) in v 1.946 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))))) in v 1.946 * [taylor]: Taking taylor expansion of 1/3 in v 1.946 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in v 1.946 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.947 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1/3) in v 1.947 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) in v 1.947 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))))) in v 1.947 * [taylor]: Taking taylor expansion of 1/3 in v 1.947 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in v 1.947 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.969 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1.969 * [approximate]: Taking taylor expansion of (pow (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1/3) 2) in (v) around 0 1.970 * [taylor]: Taking taylor expansion of (pow (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1/3) 2) in v 1.970 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1/3) in v 1.970 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))))) in v 1.970 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))))) in v 1.970 * [taylor]: Taking taylor expansion of 1/3 in v 1.970 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) in v 1.970 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1.971 * [taylor]: Taking taylor expansion of (pow (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1/3) 2) in v 1.971 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1/3) in v 1.971 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))))) in v 1.971 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))))) in v 1.971 * [taylor]: Taking taylor expansion of 1/3 in v 1.971 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) in v 1.971 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1.986 * [approximate]: Taking taylor expansion of (pow (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1/3) 2) in (v) around 0 1.986 * [taylor]: Taking taylor expansion of (pow (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1/3) 2) in v 1.986 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1/3) in v 1.986 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) in v 1.986 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))))) in v 1.986 * [taylor]: Taking taylor expansion of 1/3 in v 1.986 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in v 1.986 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.987 * [taylor]: Taking taylor expansion of (pow (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1/3) 2) in v 1.987 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1/3) in v 1.987 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) in v 1.987 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))))) in v 1.987 * [taylor]: Taking taylor expansion of 1/3 in v 1.987 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in v 1.987 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 2.010 * [approximate]: Taking taylor expansion of (pow (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1/3) 2) in (v) around 0 2.011 * [taylor]: Taking taylor expansion of (pow (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1/3) 2) in v 2.011 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1/3) in v 2.011 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) in v 2.011 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))))) in v 2.011 * [taylor]: Taking taylor expansion of 1/3 in v 2.011 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in v 2.011 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 2.012 * [taylor]: Taking taylor expansion of (pow (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1/3) 2) in v 2.012 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1/3) in v 2.012 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) in v 2.012 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))))) in v 2.012 * [taylor]: Taking taylor expansion of 1/3 in v 2.012 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in v 2.012 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 2.039 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 2.039 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in (v) around 0 2.040 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 2.040 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 2.040 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 2.041 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 2.041 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 2.042 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 2.042 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 2.042 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 2.043 * * * [progress]: simplifying candidates 2.045 * [simplify]: Simplifying using # : (log.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (exp.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (cbrt.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))))) (cbrt.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (cbrt.f64 (sqrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (cbrt.f64 (sqrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (cbrt.f64 1) (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (*.f64 (cbrt.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (cbrt.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))))) (cbrt.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (*.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (sqrt.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (sqrt.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (log.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (exp.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (cbrt.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))))) (cbrt.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (cbrt.f64 (sqrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (cbrt.f64 (sqrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (cbrt.f64 1) (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (*.f64 (cbrt.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (cbrt.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))))) (cbrt.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (*.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (sqrt.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (sqrt.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (*.f64 (log.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) 2) (*.f64 (log.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) 2) (*.f64 1/3 2) (*.f64 1 2) (pow.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (*.f64 (cbrt.f64 2) (cbrt.f64 2))) (pow.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (sqrt.f64 2)) (pow.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) 1) (pow.f64 (cbrt.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))))) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) 2) (pow.f64 (cbrt.f64 (sqrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) 2) (pow.f64 (cbrt.f64 (sqrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) 2) (pow.f64 (cbrt.f64 1) 2) (pow.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) 2) (pow.f64 (*.f64 (cbrt.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (cbrt.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))))) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) 2) (pow.f64 (sqrt.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) 2) (pow.f64 (sqrt.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) 2) (pow.f64 1 2) (pow.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) 2) (log.f64 (pow.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) 2)) (exp.f64 (pow.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) 2)) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) 2))) (cbrt.f64 (pow.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) 2)) (*.f64 (*.f64 (pow.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) 2) (pow.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) 2)) (pow.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) 2)) (sqrt.f64 (pow.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) 2)) (sqrt.f64 (pow.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) 2)) (pow.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (/.f64 2 2)) (pow.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (/.f64 2 2)) (/.f64 PI.f64 2) (asin.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (log.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (exp.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (*.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (*.f64 (*.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (sqrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (sqrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (pow.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1))) 1/3) (pow.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1))) 1/3) (pow.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1))) 1/3) (pow.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1))) 1/3) (pow.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1))) 1/3) (pow.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1))) 1/3) (pow.f64 (pow.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1))) 2) 1/3) (pow.f64 (pow.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1))) 2) 1/3) (pow.f64 (pow.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1))) 2) 1/3) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (-.f64 (pow.f64 v 2) 1))) 2.085 * * [simplify]: iteration 0 : 4900 enodes (cost 1106 ) 2.085 * * [simplify]: iteration 1 : 4900 enodes (cost 1106 ) 2.089 * [simplify]: Simplified to: (log.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (exp.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (cbrt.f64 (pow.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) 2/3)) (cbrt.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (cbrt.f64 (sqrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (cbrt.f64 (sqrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (cbrt.f64 1) (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (pow.f64 (cbrt.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) 2) (cbrt.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (sqrt.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (sqrt.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (log.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (exp.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (cbrt.f64 (pow.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) 2/3)) (cbrt.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (cbrt.f64 (sqrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (cbrt.f64 (sqrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (cbrt.f64 1) (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (pow.f64 (cbrt.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) 2) (cbrt.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (sqrt.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (sqrt.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (*.f64 2/3 (log.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (*.f64 2/3 (log.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) 2/3 2 (pow.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (*.f64 (cbrt.f64 2) (cbrt.f64 2))) (pow.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (sqrt.f64 2)) (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (pow.f64 (cbrt.f64 (pow.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) 2/3)) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) 2) (pow.f64 (cbrt.f64 (sqrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) 2) (pow.f64 (cbrt.f64 (sqrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) 2) (pow.f64 (cbrt.f64 1) 2) (pow.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) 2/3) (pow.f64 (cbrt.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) 4) (pow.f64 (cbrt.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) 2) (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) 1 (pow.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) 2/3) (*.f64 2/3 (log.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (exp.f64 (pow.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) 2/3)) (pow.f64 (cbrt.f64 (pow.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) 2/3)) 2) (cbrt.f64 (pow.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) 2/3)) (pow.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) 2) (fabs.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (fabs.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (/.f64 PI.f64 2) (asin.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (log.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (exp.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (pow.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) 2/3) (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (pow.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) 3) (sqrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (sqrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (pow.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) 2/3) (pow.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) 2/3) (pow.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) 2/3) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) 2.089 * * * [progress]: adding candidates to table 2.163 * [progress]: [Phase 3 of 3] Extracting. 2.163 * * [regime]: Finding splitpoints for: (# # # # #) 2.165 * * * [regime-changes]: Trying 4 branch expressions: ((*.f64 v v) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)) (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) v) 2.165 * * * * [regimes]: Trying to branch on (*.f64 v v) from (# # # # #) 2.196 * * * * [regimes]: Trying to branch on (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)) from (# # # # #) 2.222 * * * * [regimes]: Trying to branch on (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) from (# # # # #) 2.248 * * * * [regimes]: Trying to branch on v from (# # # # #) 2.281 * * * [regime]: Found split indices: #