10.485 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 1.005 * * * [progress]: [2/2] Setting up program. 1.008 * [progress]: [Phase 2 of 3] Improving. 1.008 * [simplify]: Simplifying using # : (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) 1.067 * * [simplify]: iteration 0 : 5044 enodes (cost 14 ) 1.068 * [simplify]: Simplified to: (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) 1.068 * * [progress]: iteration 1 / 4 1.068 * * * [progress]: picking best candidate 1.070 * * * * [pick]: Picked # 1.070 * * * [progress]: localizing error 1.078 * * * [progress]: generating rewritten candidates 1.078 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 1.079 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2) 1.085 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 1.096 * * * [progress]: generating series expansions 1.096 * * * * [progress]: [ 1 / 3 ] generating series at (2) 1.096 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in (v) around 0 1.096 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1.096 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1.097 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 1.097 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.097 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.098 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 1.098 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.098 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.099 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2) 1.099 * [approximate]: Taking taylor expansion of (* 5 (pow v 2)) in (v) around 0 1.099 * [taylor]: Taking taylor expansion of (* 5 (pow v 2)) in v 1.099 * [taylor]: Taking taylor expansion of 5 in v 1.099 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.099 * [taylor]: Taking taylor expansion of v in v 1.099 * [taylor]: Taking taylor expansion of (* 5 (pow v 2)) in v 1.099 * [taylor]: Taking taylor expansion of 5 in v 1.099 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.099 * [taylor]: Taking taylor expansion of v in v 1.100 * [approximate]: Taking taylor expansion of (/ 5 (pow v 2)) in (v) around 0 1.100 * [taylor]: Taking taylor expansion of (/ 5 (pow v 2)) in v 1.100 * [taylor]: Taking taylor expansion of 5 in v 1.100 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.100 * [taylor]: Taking taylor expansion of v in v 1.100 * [taylor]: Taking taylor expansion of (/ 5 (pow v 2)) in v 1.100 * [taylor]: Taking taylor expansion of 5 in v 1.100 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.100 * [taylor]: Taking taylor expansion of v in v 1.101 * [approximate]: Taking taylor expansion of (/ 5 (pow v 2)) in (v) around 0 1.101 * [taylor]: Taking taylor expansion of (/ 5 (pow v 2)) in v 1.101 * [taylor]: Taking taylor expansion of 5 in v 1.101 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.101 * [taylor]: Taking taylor expansion of v in v 1.101 * [taylor]: Taking taylor expansion of (/ 5 (pow v 2)) in v 1.101 * [taylor]: Taking taylor expansion of 5 in v 1.101 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.101 * [taylor]: Taking taylor expansion of v in v 1.102 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 1.103 * [approximate]: Taking taylor expansion of (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)) in (v) around 0 1.103 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)) in v 1.103 * [taylor]: Taking taylor expansion of (- 1 (* 5 (pow v 2))) in v 1.103 * [taylor]: Taking taylor expansion of 1 in v 1.103 * [taylor]: Taking taylor expansion of (* 5 (pow v 2)) in v 1.103 * [taylor]: Taking taylor expansion of 5 in v 1.103 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.103 * [taylor]: Taking taylor expansion of v in v 1.103 * [taylor]: Taking taylor expansion of (- (pow v 2) 1) in v 1.103 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.103 * [taylor]: Taking taylor expansion of v in v 1.103 * [taylor]: Taking taylor expansion of 1 in v 1.103 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)) in v 1.103 * [taylor]: Taking taylor expansion of (- 1 (* 5 (pow v 2))) in v 1.103 * [taylor]: Taking taylor expansion of 1 in v 1.103 * [taylor]: Taking taylor expansion of (* 5 (pow v 2)) in v 1.103 * [taylor]: Taking taylor expansion of 5 in v 1.103 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.103 * [taylor]: Taking taylor expansion of v in v 1.103 * [taylor]: Taking taylor expansion of (- (pow v 2) 1) in v 1.103 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.103 * [taylor]: Taking taylor expansion of v in v 1.103 * [taylor]: Taking taylor expansion of 1 in v 1.104 * [approximate]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)) in (v) around 0 1.104 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)) in v 1.104 * [taylor]: Taking taylor expansion of (- 1 (* 5 (/ 1 (pow v 2)))) in v 1.104 * [taylor]: Taking taylor expansion of 1 in v 1.104 * [taylor]: Taking taylor expansion of (* 5 (/ 1 (pow v 2))) in v 1.104 * [taylor]: Taking taylor expansion of 5 in v 1.104 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.104 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.104 * [taylor]: Taking taylor expansion of v in v 1.104 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1) in v 1.104 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.104 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.104 * [taylor]: Taking taylor expansion of v in v 1.104 * [taylor]: Taking taylor expansion of 1 in v 1.104 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)) in v 1.104 * [taylor]: Taking taylor expansion of (- 1 (* 5 (/ 1 (pow v 2)))) in v 1.104 * [taylor]: Taking taylor expansion of 1 in v 1.104 * [taylor]: Taking taylor expansion of (* 5 (/ 1 (pow v 2))) in v 1.104 * [taylor]: Taking taylor expansion of 5 in v 1.104 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.104 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.104 * [taylor]: Taking taylor expansion of v in v 1.104 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1) in v 1.104 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.104 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.104 * [taylor]: Taking taylor expansion of v in v 1.104 * [taylor]: Taking taylor expansion of 1 in v 1.106 * [approximate]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)) in (v) around 0 1.106 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)) in v 1.106 * [taylor]: Taking taylor expansion of (- 1 (* 5 (/ 1 (pow v 2)))) in v 1.106 * [taylor]: Taking taylor expansion of 1 in v 1.106 * [taylor]: Taking taylor expansion of (* 5 (/ 1 (pow v 2))) in v 1.106 * [taylor]: Taking taylor expansion of 5 in v 1.106 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.106 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.106 * [taylor]: Taking taylor expansion of v in v 1.106 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1) in v 1.106 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.106 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.106 * [taylor]: Taking taylor expansion of v in v 1.106 * [taylor]: Taking taylor expansion of 1 in v 1.106 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)) in v 1.106 * [taylor]: Taking taylor expansion of (- 1 (* 5 (/ 1 (pow v 2)))) in v 1.106 * [taylor]: Taking taylor expansion of 1 in v 1.106 * [taylor]: Taking taylor expansion of (* 5 (/ 1 (pow v 2))) in v 1.106 * [taylor]: Taking taylor expansion of 5 in v 1.106 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.106 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.106 * [taylor]: Taking taylor expansion of v in v 1.107 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1) in v 1.107 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.107 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.107 * [taylor]: Taking taylor expansion of v in v 1.107 * [taylor]: Taking taylor expansion of 1 in v 1.108 * * * [progress]: simplifying candidates 1.109 * [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.146 * * [simplify]: iteration 0 : 4932 enodes (cost 1195 ) 1.146 * * [simplify]: iteration 1 : 4932 enodes (cost 1195 ) 1.153 * [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.153 * * * [progress]: adding candidates to table 1.225 * * [progress]: iteration 2 / 4 1.226 * * * [progress]: picking best candidate 1.233 * * * * [pick]: Picked # 1.233 * * * [progress]: localizing error 1.245 * * * [progress]: generating rewritten candidates 1.245 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 1.246 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2) 1.252 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 1.254 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 1.266 * * * [progress]: generating series expansions 1.266 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1.266 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in (v) around 0 1.266 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1.266 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1.267 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 1.267 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.267 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.268 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 1.268 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.268 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.269 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2) 1.269 * [approximate]: Taking taylor expansion of (* 5 (pow v 2)) in (v) around 0 1.269 * [taylor]: Taking taylor expansion of (* 5 (pow v 2)) in v 1.269 * [taylor]: Taking taylor expansion of 5 in v 1.269 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.269 * [taylor]: Taking taylor expansion of v in v 1.269 * [taylor]: Taking taylor expansion of (* 5 (pow v 2)) in v 1.269 * [taylor]: Taking taylor expansion of 5 in v 1.269 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.269 * [taylor]: Taking taylor expansion of v in v 1.270 * [approximate]: Taking taylor expansion of (/ 5 (pow v 2)) in (v) around 0 1.270 * [taylor]: Taking taylor expansion of (/ 5 (pow v 2)) in v 1.270 * [taylor]: Taking taylor expansion of 5 in v 1.270 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.270 * [taylor]: Taking taylor expansion of v in v 1.270 * [taylor]: Taking taylor expansion of (/ 5 (pow v 2)) in v 1.270 * [taylor]: Taking taylor expansion of 5 in v 1.270 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.270 * [taylor]: Taking taylor expansion of v in v 1.271 * [approximate]: Taking taylor expansion of (/ 5 (pow v 2)) in (v) around 0 1.271 * [taylor]: Taking taylor expansion of (/ 5 (pow v 2)) in v 1.271 * [taylor]: Taking taylor expansion of 5 in v 1.271 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.271 * [taylor]: Taking taylor expansion of v in v 1.271 * [taylor]: Taking taylor expansion of (/ 5 (pow v 2)) in v 1.271 * [taylor]: Taking taylor expansion of 5 in v 1.271 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.271 * [taylor]: Taking taylor expansion of v in v 1.273 * * * * [progress]: [ 3 / 4 ] generating series at (2) 1.273 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in (v) around 0 1.275 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1.275 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1.276 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 1.276 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.276 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.277 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 1.277 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.277 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.278 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 1.278 * [approximate]: Taking taylor expansion of (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)) in (v) around 0 1.278 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)) in v 1.278 * [taylor]: Taking taylor expansion of (- 1 (* 5 (pow v 2))) in v 1.278 * [taylor]: Taking taylor expansion of 1 in v 1.278 * [taylor]: Taking taylor expansion of (* 5 (pow v 2)) in v 1.278 * [taylor]: Taking taylor expansion of 5 in v 1.278 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.278 * [taylor]: Taking taylor expansion of v in v 1.279 * [taylor]: Taking taylor expansion of (- (pow v 2) 1) in v 1.279 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.279 * [taylor]: Taking taylor expansion of v in v 1.279 * [taylor]: Taking taylor expansion of 1 in v 1.279 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)) in v 1.279 * [taylor]: Taking taylor expansion of (- 1 (* 5 (pow v 2))) in v 1.279 * [taylor]: Taking taylor expansion of 1 in v 1.279 * [taylor]: Taking taylor expansion of (* 5 (pow v 2)) in v 1.279 * [taylor]: Taking taylor expansion of 5 in v 1.279 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.279 * [taylor]: Taking taylor expansion of v in v 1.279 * [taylor]: Taking taylor expansion of (- (pow v 2) 1) in v 1.279 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.279 * [taylor]: Taking taylor expansion of v in v 1.279 * [taylor]: Taking taylor expansion of 1 in v 1.280 * [approximate]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)) in (v) around 0 1.280 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)) in v 1.280 * [taylor]: Taking taylor expansion of (- 1 (* 5 (/ 1 (pow v 2)))) in v 1.280 * [taylor]: Taking taylor expansion of 1 in v 1.280 * [taylor]: Taking taylor expansion of (* 5 (/ 1 (pow v 2))) in v 1.280 * [taylor]: Taking taylor expansion of 5 in v 1.280 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.280 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.280 * [taylor]: Taking taylor expansion of v in v 1.280 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1) in v 1.280 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.280 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.280 * [taylor]: Taking taylor expansion of v in v 1.280 * [taylor]: Taking taylor expansion of 1 in v 1.280 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)) in v 1.280 * [taylor]: Taking taylor expansion of (- 1 (* 5 (/ 1 (pow v 2)))) in v 1.280 * [taylor]: Taking taylor expansion of 1 in v 1.280 * [taylor]: Taking taylor expansion of (* 5 (/ 1 (pow v 2))) in v 1.280 * [taylor]: Taking taylor expansion of 5 in v 1.280 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.280 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.280 * [taylor]: Taking taylor expansion of v in v 1.280 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1) in v 1.280 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.280 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.280 * [taylor]: Taking taylor expansion of v in v 1.280 * [taylor]: Taking taylor expansion of 1 in v 1.282 * [approximate]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)) in (v) around 0 1.282 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)) in v 1.282 * [taylor]: Taking taylor expansion of (- 1 (* 5 (/ 1 (pow v 2)))) in v 1.282 * [taylor]: Taking taylor expansion of 1 in v 1.282 * [taylor]: Taking taylor expansion of (* 5 (/ 1 (pow v 2))) in v 1.282 * [taylor]: Taking taylor expansion of 5 in v 1.282 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.282 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.282 * [taylor]: Taking taylor expansion of v in v 1.282 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1) in v 1.282 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.282 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.282 * [taylor]: Taking taylor expansion of v in v 1.282 * [taylor]: Taking taylor expansion of 1 in v 1.282 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)) in v 1.282 * [taylor]: Taking taylor expansion of (- 1 (* 5 (/ 1 (pow v 2)))) in v 1.282 * [taylor]: Taking taylor expansion of 1 in v 1.282 * [taylor]: Taking taylor expansion of (* 5 (/ 1 (pow v 2))) in v 1.282 * [taylor]: Taking taylor expansion of 5 in v 1.282 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.282 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.282 * [taylor]: Taking taylor expansion of v in v 1.283 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1) in v 1.283 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.283 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.283 * [taylor]: Taking taylor expansion of v in v 1.283 * [taylor]: Taking taylor expansion of 1 in v 1.284 * * * [progress]: simplifying candidates 1.286 * [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.323 * * [simplify]: iteration 0 : 4974 enodes (cost 1461 ) 1.324 * * [simplify]: iteration 1 : 4974 enodes (cost 1461 ) 1.330 * [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.330 * * * [progress]: adding candidates to table 1.420 * * [progress]: iteration 3 / 4 1.420 * * * [progress]: picking best candidate 1.426 * * * * [pick]: Picked # 1.426 * * * [progress]: localizing error 1.436 * * * [progress]: generating rewritten candidates 1.436 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 1.437 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2) 1.443 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 1.450 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.478 * * * [progress]: generating series expansions 1.478 * * * * [progress]: [ 1 / 4 ] generating series at (2) 1.478 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (* (- v 1) (+ v 1)))) in (v) around 0 1.478 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (* (- v 1) (+ v 1)))) in v 1.478 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (* (- v 1) (+ v 1)))) in v 1.479 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (* (+ (/ 1 v) 1) (- (/ 1 v) 1)))) in (v) around 0 1.479 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (* (+ (/ 1 v) 1) (- (/ 1 v) 1)))) in v 1.479 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (* (+ (/ 1 v) 1) (- (/ 1 v) 1)))) in v 1.480 * [approximate]: Taking taylor expansion of (acos (* -1 (/ (- 1 (* 5 (/ 1 (pow v 2)))) (* (- 1 (/ 1 v)) (+ (/ 1 v) 1))))) in (v) around 0 1.480 * [taylor]: Taking taylor expansion of (acos (* -1 (/ (- 1 (* 5 (/ 1 (pow v 2)))) (* (- 1 (/ 1 v)) (+ (/ 1 v) 1))))) in v 1.481 * [taylor]: Taking taylor expansion of (acos (* -1 (/ (- 1 (* 5 (/ 1 (pow v 2)))) (* (- 1 (/ 1 v)) (+ (/ 1 v) 1))))) in v 1.481 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2) 1.481 * [approximate]: Taking taylor expansion of (* 5 (pow v 2)) in (v) around 0 1.481 * [taylor]: Taking taylor expansion of (* 5 (pow v 2)) in v 1.481 * [taylor]: Taking taylor expansion of 5 in v 1.481 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.481 * [taylor]: Taking taylor expansion of v in v 1.481 * [taylor]: Taking taylor expansion of (* 5 (pow v 2)) in v 1.482 * [taylor]: Taking taylor expansion of 5 in v 1.482 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.482 * [taylor]: Taking taylor expansion of v in v 1.483 * [approximate]: Taking taylor expansion of (/ 5 (pow v 2)) in (v) around 0 1.483 * [taylor]: Taking taylor expansion of (/ 5 (pow v 2)) in v 1.483 * [taylor]: Taking taylor expansion of 5 in v 1.483 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.483 * [taylor]: Taking taylor expansion of v in v 1.483 * [taylor]: Taking taylor expansion of (/ 5 (pow v 2)) in v 1.483 * [taylor]: Taking taylor expansion of 5 in v 1.483 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.483 * [taylor]: Taking taylor expansion of v in v 1.484 * [approximate]: Taking taylor expansion of (/ 5 (pow v 2)) in (v) around 0 1.484 * [taylor]: Taking taylor expansion of (/ 5 (pow v 2)) in v 1.484 * [taylor]: Taking taylor expansion of 5 in v 1.484 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.484 * [taylor]: Taking taylor expansion of v in v 1.484 * [taylor]: Taking taylor expansion of (/ 5 (pow v 2)) in v 1.484 * [taylor]: Taking taylor expansion of 5 in v 1.484 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.484 * [taylor]: Taking taylor expansion of v in v 1.485 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 1.485 * [approximate]: Taking taylor expansion of (/ (- 1 (* 5 (pow v 2))) (+ v 1)) in (v) around 0 1.485 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (pow v 2))) (+ v 1)) in v 1.485 * [taylor]: Taking taylor expansion of (- 1 (* 5 (pow v 2))) in v 1.485 * [taylor]: Taking taylor expansion of 1 in v 1.485 * [taylor]: Taking taylor expansion of (* 5 (pow v 2)) in v 1.485 * [taylor]: Taking taylor expansion of 5 in v 1.485 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.485 * [taylor]: Taking taylor expansion of v in v 1.485 * [taylor]: Taking taylor expansion of (+ v 1) in v 1.485 * [taylor]: Taking taylor expansion of v in v 1.485 * [taylor]: Taking taylor expansion of 1 in v 1.485 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (pow v 2))) (+ v 1)) in v 1.485 * [taylor]: Taking taylor expansion of (- 1 (* 5 (pow v 2))) in v 1.485 * [taylor]: Taking taylor expansion of 1 in v 1.485 * [taylor]: Taking taylor expansion of (* 5 (pow v 2)) in v 1.485 * [taylor]: Taking taylor expansion of 5 in v 1.485 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.485 * [taylor]: Taking taylor expansion of v in v 1.485 * [taylor]: Taking taylor expansion of (+ v 1) in v 1.485 * [taylor]: Taking taylor expansion of v in v 1.485 * [taylor]: Taking taylor expansion of 1 in v 1.486 * [approximate]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (+ (/ 1 v) 1)) in (v) around 0 1.486 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (+ (/ 1 v) 1)) in v 1.486 * [taylor]: Taking taylor expansion of (- 1 (* 5 (/ 1 (pow v 2)))) in v 1.486 * [taylor]: Taking taylor expansion of 1 in v 1.486 * [taylor]: Taking taylor expansion of (* 5 (/ 1 (pow v 2))) in v 1.486 * [taylor]: Taking taylor expansion of 5 in v 1.486 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.486 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.486 * [taylor]: Taking taylor expansion of v in v 1.486 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1) in v 1.486 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.486 * [taylor]: Taking taylor expansion of v in v 1.486 * [taylor]: Taking taylor expansion of 1 in v 1.486 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (+ (/ 1 v) 1)) in v 1.486 * [taylor]: Taking taylor expansion of (- 1 (* 5 (/ 1 (pow v 2)))) in v 1.486 * [taylor]: Taking taylor expansion of 1 in v 1.486 * [taylor]: Taking taylor expansion of (* 5 (/ 1 (pow v 2))) in v 1.486 * [taylor]: Taking taylor expansion of 5 in v 1.486 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.486 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.486 * [taylor]: Taking taylor expansion of v in v 1.486 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1) in v 1.486 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.486 * [taylor]: Taking taylor expansion of v in v 1.486 * [taylor]: Taking taylor expansion of 1 in v 1.487 * [approximate]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- 1 (/ 1 v))) in (v) around 0 1.487 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- 1 (/ 1 v))) in v 1.487 * [taylor]: Taking taylor expansion of (- 1 (* 5 (/ 1 (pow v 2)))) in v 1.487 * [taylor]: Taking taylor expansion of 1 in v 1.487 * [taylor]: Taking taylor expansion of (* 5 (/ 1 (pow v 2))) in v 1.487 * [taylor]: Taking taylor expansion of 5 in v 1.487 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.487 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.487 * [taylor]: Taking taylor expansion of v in v 1.487 * [taylor]: Taking taylor expansion of (- 1 (/ 1 v)) in v 1.487 * [taylor]: Taking taylor expansion of 1 in v 1.487 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.487 * [taylor]: Taking taylor expansion of v in v 1.487 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- 1 (/ 1 v))) in v 1.488 * [taylor]: Taking taylor expansion of (- 1 (* 5 (/ 1 (pow v 2)))) in v 1.488 * [taylor]: Taking taylor expansion of 1 in v 1.488 * [taylor]: Taking taylor expansion of (* 5 (/ 1 (pow v 2))) in v 1.488 * [taylor]: Taking taylor expansion of 5 in v 1.488 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.488 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.488 * [taylor]: Taking taylor expansion of v in v 1.488 * [taylor]: Taking taylor expansion of (- 1 (/ 1 v)) in v 1.488 * [taylor]: Taking taylor expansion of 1 in v 1.488 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.488 * [taylor]: Taking taylor expansion of v in v 1.488 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.488 * [approximate]: Taking taylor expansion of (/ (- 1 (* 5 (pow v 2))) (* (- v 1) (+ v 1))) in (v) around 0 1.488 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (pow v 2))) (* (- v 1) (+ v 1))) in v 1.488 * [taylor]: Taking taylor expansion of (- 1 (* 5 (pow v 2))) in v 1.489 * [taylor]: Taking taylor expansion of 1 in v 1.489 * [taylor]: Taking taylor expansion of (* 5 (pow v 2)) in v 1.489 * [taylor]: Taking taylor expansion of 5 in v 1.489 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.489 * [taylor]: Taking taylor expansion of v in v 1.489 * [taylor]: Taking taylor expansion of (* (- v 1) (+ v 1)) in v 1.489 * [taylor]: Taking taylor expansion of (- v 1) in v 1.489 * [taylor]: Taking taylor expansion of v in v 1.489 * [taylor]: Taking taylor expansion of 1 in v 1.489 * [taylor]: Taking taylor expansion of (+ v 1) in v 1.489 * [taylor]: Taking taylor expansion of v in v 1.489 * [taylor]: Taking taylor expansion of 1 in v 1.489 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (pow v 2))) (* (- v 1) (+ v 1))) in v 1.489 * [taylor]: Taking taylor expansion of (- 1 (* 5 (pow v 2))) in v 1.489 * [taylor]: Taking taylor expansion of 1 in v 1.489 * [taylor]: Taking taylor expansion of (* 5 (pow v 2)) in v 1.489 * [taylor]: Taking taylor expansion of 5 in v 1.489 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.489 * [taylor]: Taking taylor expansion of v in v 1.489 * [taylor]: Taking taylor expansion of (* (- v 1) (+ v 1)) in v 1.489 * [taylor]: Taking taylor expansion of (- v 1) in v 1.489 * [taylor]: Taking taylor expansion of v in v 1.489 * [taylor]: Taking taylor expansion of 1 in v 1.489 * [taylor]: Taking taylor expansion of (+ v 1) in v 1.489 * [taylor]: Taking taylor expansion of v in v 1.489 * [taylor]: Taking taylor expansion of 1 in v 1.490 * [approximate]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (* (+ (/ 1 v) 1) (- (/ 1 v) 1))) in (v) around 0 1.490 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (* (+ (/ 1 v) 1) (- (/ 1 v) 1))) in v 1.490 * [taylor]: Taking taylor expansion of (- 1 (* 5 (/ 1 (pow v 2)))) in v 1.490 * [taylor]: Taking taylor expansion of 1 in v 1.490 * [taylor]: Taking taylor expansion of (* 5 (/ 1 (pow v 2))) in v 1.490 * [taylor]: Taking taylor expansion of 5 in v 1.490 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.490 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.490 * [taylor]: Taking taylor expansion of v in v 1.490 * [taylor]: Taking taylor expansion of (* (+ (/ 1 v) 1) (- (/ 1 v) 1)) in v 1.490 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1) in v 1.490 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.490 * [taylor]: Taking taylor expansion of v in v 1.490 * [taylor]: Taking taylor expansion of 1 in v 1.490 * [taylor]: Taking taylor expansion of (- (/ 1 v) 1) in v 1.490 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.490 * [taylor]: Taking taylor expansion of v in v 1.490 * [taylor]: Taking taylor expansion of 1 in v 1.490 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (* (+ (/ 1 v) 1) (- (/ 1 v) 1))) in v 1.491 * [taylor]: Taking taylor expansion of (- 1 (* 5 (/ 1 (pow v 2)))) in v 1.491 * [taylor]: Taking taylor expansion of 1 in v 1.491 * [taylor]: Taking taylor expansion of (* 5 (/ 1 (pow v 2))) in v 1.491 * [taylor]: Taking taylor expansion of 5 in v 1.491 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.491 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.491 * [taylor]: Taking taylor expansion of v in v 1.491 * [taylor]: Taking taylor expansion of (* (+ (/ 1 v) 1) (- (/ 1 v) 1)) in v 1.491 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1) in v 1.491 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.491 * [taylor]: Taking taylor expansion of v in v 1.491 * [taylor]: Taking taylor expansion of 1 in v 1.491 * [taylor]: Taking taylor expansion of (- (/ 1 v) 1) in v 1.491 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.491 * [taylor]: Taking taylor expansion of v in v 1.491 * [taylor]: Taking taylor expansion of 1 in v 1.493 * [approximate]: Taking taylor expansion of (* -1 (/ (- 1 (* 5 (/ 1 (pow v 2)))) (* (- 1 (/ 1 v)) (+ (/ 1 v) 1)))) in (v) around 0 1.493 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1 (* 5 (/ 1 (pow v 2)))) (* (- 1 (/ 1 v)) (+ (/ 1 v) 1)))) in v 1.493 * [taylor]: Taking taylor expansion of -1 in v 1.493 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (* (- 1 (/ 1 v)) (+ (/ 1 v) 1))) in v 1.493 * [taylor]: Taking taylor expansion of (- 1 (* 5 (/ 1 (pow v 2)))) in v 1.493 * [taylor]: Taking taylor expansion of 1 in v 1.493 * [taylor]: Taking taylor expansion of (* 5 (/ 1 (pow v 2))) in v 1.493 * [taylor]: Taking taylor expansion of 5 in v 1.493 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.493 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.493 * [taylor]: Taking taylor expansion of v in v 1.493 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 v)) (+ (/ 1 v) 1)) in v 1.493 * [taylor]: Taking taylor expansion of (- 1 (/ 1 v)) in v 1.493 * [taylor]: Taking taylor expansion of 1 in v 1.493 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.493 * [taylor]: Taking taylor expansion of v in v 1.493 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1) in v 1.493 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.493 * [taylor]: Taking taylor expansion of v in v 1.493 * [taylor]: Taking taylor expansion of 1 in v 1.493 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1 (* 5 (/ 1 (pow v 2)))) (* (- 1 (/ 1 v)) (+ (/ 1 v) 1)))) in v 1.493 * [taylor]: Taking taylor expansion of -1 in v 1.493 * [taylor]: Taking taylor expansion of (/ (- 1 (* 5 (/ 1 (pow v 2)))) (* (- 1 (/ 1 v)) (+ (/ 1 v) 1))) in v 1.493 * [taylor]: Taking taylor expansion of (- 1 (* 5 (/ 1 (pow v 2)))) in v 1.493 * [taylor]: Taking taylor expansion of 1 in v 1.493 * [taylor]: Taking taylor expansion of (* 5 (/ 1 (pow v 2))) in v 1.493 * [taylor]: Taking taylor expansion of 5 in v 1.493 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v 1.493 * [taylor]: Taking taylor expansion of (pow v 2) in v 1.493 * [taylor]: Taking taylor expansion of v in v 1.493 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 v)) (+ (/ 1 v) 1)) in v 1.493 * [taylor]: Taking taylor expansion of (- 1 (/ 1 v)) in v 1.493 * [taylor]: Taking taylor expansion of 1 in v 1.493 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.493 * [taylor]: Taking taylor expansion of v in v 1.493 * [taylor]: Taking taylor expansion of (+ (/ 1 v) 1) in v 1.493 * [taylor]: Taking taylor expansion of (/ 1 v) in v 1.493 * [taylor]: Taking taylor expansion of v in v 1.493 * [taylor]: Taking taylor expansion of 1 in v 1.495 * * * [progress]: simplifying candidates 1.499 * [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.551 * * [simplify]: iteration 0 : 5830 enodes (cost 5591 ) 1.569 * [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.572 * * * [progress]: adding candidates to table 1.792 * * [progress]: iteration 4 / 4 1.792 * * * [progress]: picking best candidate 1.795 * * * * [pick]: Picked # 1.795 * * * [progress]: localizing error 1.807 * * * [progress]: generating rewritten candidates 1.808 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 1.809 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 1.810 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1.813 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 1.815 * * * [progress]: generating series expansions 1.815 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 1.815 * [approximate]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1/3) in (v) around 0 1.815 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1/3) in v 1.815 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))))) in v 1.815 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))))) in v 1.815 * [taylor]: Taking taylor expansion of 1/3 in v 1.815 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) in v 1.815 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1.816 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1/3) in v 1.816 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))))) in v 1.816 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))))) in v 1.816 * [taylor]: Taking taylor expansion of 1/3 in v 1.816 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) in v 1.816 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1.828 * [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.828 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1/3) in v 1.828 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) in v 1.828 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))))) in v 1.828 * [taylor]: Taking taylor expansion of 1/3 in v 1.828 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in v 1.828 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.829 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1/3) in v 1.829 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) in v 1.829 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))))) in v 1.829 * [taylor]: Taking taylor expansion of 1/3 in v 1.829 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in v 1.829 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.841 * [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.841 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1/3) in v 1.841 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) in v 1.841 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))))) in v 1.841 * [taylor]: Taking taylor expansion of 1/3 in v 1.841 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in v 1.841 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.842 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1/3) in v 1.842 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) in v 1.842 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))))) in v 1.842 * [taylor]: Taking taylor expansion of 1/3 in v 1.842 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in v 1.842 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.857 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 1.857 * [approximate]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1/3) in (v) around 0 1.857 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1/3) in v 1.857 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))))) in v 1.857 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))))) in v 1.857 * [taylor]: Taking taylor expansion of 1/3 in v 1.857 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) in v 1.857 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1.858 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1/3) in v 1.858 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))))) in v 1.858 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))))) in v 1.858 * [taylor]: Taking taylor expansion of 1/3 in v 1.858 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) in v 1.858 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1.870 * [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.870 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1/3) in v 1.870 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) in v 1.870 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))))) in v 1.870 * [taylor]: Taking taylor expansion of 1/3 in v 1.870 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in v 1.870 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.871 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1/3) in v 1.871 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) in v 1.871 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))))) in v 1.871 * [taylor]: Taking taylor expansion of 1/3 in v 1.871 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in v 1.871 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.884 * [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.884 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1/3) in v 1.884 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) in v 1.884 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))))) in v 1.884 * [taylor]: Taking taylor expansion of 1/3 in v 1.884 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in v 1.884 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.885 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1/3) in v 1.885 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) in v 1.885 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))))) in v 1.885 * [taylor]: Taking taylor expansion of 1/3 in v 1.885 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in v 1.885 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.897 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1.898 * [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.898 * [taylor]: Taking taylor expansion of (pow (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1/3) 2) in v 1.898 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1/3) in v 1.898 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))))) in v 1.898 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))))) in v 1.898 * [taylor]: Taking taylor expansion of 1/3 in v 1.898 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) in v 1.898 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1.899 * [taylor]: Taking taylor expansion of (pow (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1/3) 2) in v 1.899 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1/3) in v 1.899 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))))) in v 1.899 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))))) in v 1.899 * [taylor]: Taking taylor expansion of 1/3 in v 1.899 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))) in v 1.899 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1.914 * [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.914 * [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.914 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1/3) in v 1.914 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) in v 1.914 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))))) in v 1.914 * [taylor]: Taking taylor expansion of 1/3 in v 1.914 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in v 1.914 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.915 * [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.915 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1/3) in v 1.915 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) in v 1.915 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))))) in v 1.915 * [taylor]: Taking taylor expansion of 1/3 in v 1.915 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in v 1.915 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.931 * [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.931 * [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.931 * [taylor]: Taking taylor expansion of (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1/3) in v 1.931 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))))) in v 1.931 * [taylor]: Taking taylor expansion of (* 1/3 (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))))) in v 1.931 * [taylor]: Taking taylor expansion of 1/3 in v 1.931 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1)))) in v 1.931 * [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 (pow (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) 1/3) 2) 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.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.948 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 1.948 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in (v) around 0 1.948 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1.948 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) in v 1.949 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 1.949 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.949 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.950 * [approximate]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in (v) around 0 1.950 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.950 * [taylor]: Taking taylor expansion of (acos (/ (- 1 (* 5 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1))) in v 1.951 * * * [progress]: simplifying candidates 1.954 * [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))) 1.993 * * [simplify]: iteration 0 : 4900 enodes (cost 1106 ) 1.993 * * [simplify]: iteration 1 : 4900 enodes (cost 1106 ) 1.997 * [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))) 1.998 * * * [progress]: adding candidates to table 2.075 * [progress]: [Phase 3 of 3] Extracting. 2.075 * * [regime]: Finding splitpoints for: (# # # # #) 2.076 * * * [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.076 * * * * [regimes]: Trying to branch on (*.f64 v v) from (# # # # #) 2.111 * * * * [regimes]: Trying to branch on (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)) from (# # # # #) 2.142 * * * * [regimes]: Trying to branch on (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) from (# # # # #) 2.170 * * * * [regimes]: Trying to branch on v from (# # # # #) 2.207 * * * [regime]: Found split indices: #