4.505 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.009 * * * [progress]: [2/2] Setting up program. 0.010 * [progress]: [Phase 2 of 3] Improving. 0.011 * [simplify]: Simplifying using # : (/ x (+ (* x x) 1.0)) 0.012 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 0.012 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 0.013 * * [simplify]: iteration done : 7 enodes (cost 6 ) 0.013 * [simplify]: Simplified to: (/ x (fma x x 1.0)) 0.015 * * [progress]: iteration 1 / 4 0.016 * * * [progress]: picking best candidate 0.017 * * * * [pick]: Picked # 0.017 * * * [progress]: localizing error 0.020 * * * [progress]: generating rewritten candidates 0.020 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.023 * * * [progress]: generating series expansions 0.023 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.024 * [approximate]: Taking taylor expansion of (/ x (fma x x 1.0)) in (x) around 0 0.024 * [taylor]: Taking taylor expansion of (/ x (fma x x 1.0)) in x 0.024 * [taylor]: Taking taylor expansion of x in x 0.024 * [taylor]: Taking taylor expansion of (fma x x 1.0) in x 0.024 * [taylor]: Rewrote expression to (+ (* x x) 1.0) 0.024 * [taylor]: Taking taylor expansion of (* x x) in x 0.024 * [taylor]: Taking taylor expansion of x in x 0.024 * [taylor]: Taking taylor expansion of x in x 0.024 * [taylor]: Taking taylor expansion of 1.0 in x 0.028 * [taylor]: Taking taylor expansion of (/ x (fma x x 1.0)) in x 0.028 * [taylor]: Taking taylor expansion of x in x 0.028 * [taylor]: Taking taylor expansion of (fma x x 1.0) in x 0.028 * [taylor]: Rewrote expression to (+ (* x x) 1.0) 0.028 * [taylor]: Taking taylor expansion of (* x x) in x 0.028 * [taylor]: Taking taylor expansion of x in x 0.028 * [taylor]: Taking taylor expansion of x in x 0.028 * [taylor]: Taking taylor expansion of 1.0 in x 0.040 * [approximate]: Taking taylor expansion of (/ 1 (* x (fma (/ 1 x) (/ 1 x) 1.0))) in (x) around 0 0.040 * [taylor]: Taking taylor expansion of (/ 1 (* x (fma (/ 1 x) (/ 1 x) 1.0))) in x 0.040 * [taylor]: Taking taylor expansion of (* x (fma (/ 1 x) (/ 1 x) 1.0)) in x 0.040 * [taylor]: Taking taylor expansion of x in x 0.040 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) 1.0) in x 0.040 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) 1.0) 0.040 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 0.040 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.040 * [taylor]: Taking taylor expansion of x in x 0.040 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.040 * [taylor]: Taking taylor expansion of x in x 0.041 * [taylor]: Taking taylor expansion of 1.0 in x 0.043 * [taylor]: Taking taylor expansion of (/ 1 (* x (fma (/ 1 x) (/ 1 x) 1.0))) in x 0.043 * [taylor]: Taking taylor expansion of (* x (fma (/ 1 x) (/ 1 x) 1.0)) in x 0.043 * [taylor]: Taking taylor expansion of x in x 0.043 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) 1.0) in x 0.044 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) 1.0) 0.044 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 0.044 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.044 * [taylor]: Taking taylor expansion of x in x 0.044 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.044 * [taylor]: Taking taylor expansion of x in x 0.044 * [taylor]: Taking taylor expansion of 1.0 in x 0.065 * [approximate]: Taking taylor expansion of (/ -1 (* x (fma (/ -1 x) (/ -1 x) 1.0))) in (x) around 0 0.066 * [taylor]: Taking taylor expansion of (/ -1 (* x (fma (/ -1 x) (/ -1 x) 1.0))) in x 0.066 * [taylor]: Taking taylor expansion of -1 in x 0.066 * [taylor]: Taking taylor expansion of (* x (fma (/ -1 x) (/ -1 x) 1.0)) in x 0.066 * [taylor]: Taking taylor expansion of x in x 0.066 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) 1.0) in x 0.066 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) 1.0) 0.066 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 0.066 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.066 * [taylor]: Taking taylor expansion of -1 in x 0.066 * [taylor]: Taking taylor expansion of x in x 0.066 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.066 * [taylor]: Taking taylor expansion of -1 in x 0.066 * [taylor]: Taking taylor expansion of x in x 0.066 * [taylor]: Taking taylor expansion of 1.0 in x 0.069 * [taylor]: Taking taylor expansion of (/ -1 (* x (fma (/ -1 x) (/ -1 x) 1.0))) in x 0.069 * [taylor]: Taking taylor expansion of -1 in x 0.069 * [taylor]: Taking taylor expansion of (* x (fma (/ -1 x) (/ -1 x) 1.0)) in x 0.069 * [taylor]: Taking taylor expansion of x in x 0.069 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) 1.0) in x 0.069 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) 1.0) 0.069 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 0.070 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.070 * [taylor]: Taking taylor expansion of -1 in x 0.070 * [taylor]: Taking taylor expansion of x in x 0.070 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.070 * [taylor]: Taking taylor expansion of -1 in x 0.070 * [taylor]: Taking taylor expansion of x in x 0.070 * [taylor]: Taking taylor expansion of 1.0 in x 0.092 * * * [progress]: simplifying candidates 0.093 * [simplify]: Simplifying using # : (expm1 (/ x (fma x x 1.0))) (log1p (/ x (fma x x 1.0))) (- (log x) (log (fma x x 1.0))) (log (/ x (fma x x 1.0))) (exp (/ x (fma x x 1.0))) (/ (* (* x x) x) (* (* (fma x x 1.0) (fma x x 1.0)) (fma x x 1.0))) (* (cbrt (/ x (fma x x 1.0))) (cbrt (/ x (fma x x 1.0)))) (cbrt (/ x (fma x x 1.0))) (* (* (/ x (fma x x 1.0)) (/ x (fma x x 1.0))) (/ x (fma x x 1.0))) (sqrt (/ x (fma x x 1.0))) (sqrt (/ x (fma x x 1.0))) (- x) (- (fma x x 1.0)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ (cbrt x) (cbrt (fma x x 1.0))) (/ (* (cbrt x) (cbrt x)) (sqrt (fma x x 1.0))) (/ (cbrt x) (sqrt (fma x x 1.0))) (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) (fma x x 1.0)) (/ (sqrt x) (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ (sqrt x) (cbrt (fma x x 1.0))) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) 1) (/ (sqrt x) (fma x x 1.0)) (/ 1 (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ x (cbrt (fma x x 1.0))) (/ 1 (sqrt (fma x x 1.0))) (/ x (sqrt (fma x x 1.0))) (/ 1 1) (/ x (fma x x 1.0)) (/ 1 (fma x x 1.0)) (/ (fma x x 1.0) x) (/ x (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ x (sqrt (fma x x 1.0))) (/ x 1) (/ (fma x x 1.0) (cbrt x)) (/ (fma x x 1.0) (sqrt x)) (/ (fma x x 1.0) x) (- (+ (* 1.0 x) (* 1.0 (pow x 5))) (* 1.0 (pow x 3))) (- (+ (* 1.0 (/ 1 (pow x 5))) (/ 1 x)) (* 1.0 (/ 1 (pow x 3)))) (- (+ (* 1.0 (/ 1 (pow x 5))) (/ 1 x)) (* 1.0 (/ 1 (pow x 3)))) 0.095 * * [simplify]: iteration 0 : 68 enodes (cost 377 ) 0.108 * * [simplify]: iteration 1 : 138 enodes (cost 362 ) 0.135 * * [simplify]: iteration 2 : 432 enodes (cost 332 ) 0.252 * * [simplify]: iteration 3 : 1395 enodes (cost 332 ) 0.935 * * [simplify]: iteration done : 5000 enodes (cost 332 ) 0.936 * [simplify]: Simplified to: (expm1 (/ x (fma x x 1.0))) (log1p (/ x (fma x x 1.0))) (log (/ x (fma x x 1.0))) (log (/ x (fma x x 1.0))) (exp (/ x (fma x x 1.0))) (pow (/ x (fma x x 1.0)) 3) (* (cbrt (/ x (fma x x 1.0))) (cbrt (/ x (fma x x 1.0)))) (cbrt (/ x (fma x x 1.0))) (pow (/ x (fma x x 1.0)) 3) (sqrt (/ x (fma x x 1.0))) (sqrt (/ x (fma x x 1.0))) (- x) (- (fma x x 1.0)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ (cbrt x) (cbrt (fma x x 1.0))) (/ (* (cbrt x) (cbrt x)) (sqrt (fma x x 1.0))) (/ (cbrt x) (sqrt (fma x x 1.0))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (fma x x 1.0)) (/ (sqrt x) (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ (sqrt x) (cbrt (fma x x 1.0))) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (fma x x 1.0))) (sqrt x) (/ (sqrt x) (fma x x 1.0)) (/ 1 (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ x (cbrt (fma x x 1.0))) (/ 1 (sqrt (fma x x 1.0))) (/ x (sqrt (fma x x 1.0))) 1 (/ x (fma x x 1.0)) (/ 1 (fma x x 1.0)) (/ (fma x x 1.0) x) (/ x (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ x (sqrt (fma x x 1.0))) x (/ (fma x x 1.0) (cbrt x)) (/ (fma x x 1.0) (sqrt x)) (/ (fma x x 1.0) x) (* 1.0 (- (+ x (pow x 5)) (pow x 3))) (+ (/ 1.0 (pow x 5)) (- (/ 1 x) (/ 1.0 (pow x 3)))) (+ (/ 1.0 (pow x 5)) (- (/ 1 x) (/ 1.0 (pow x 3)))) 0.936 * * * [progress]: adding candidates to table 1.001 * * [progress]: iteration 2 / 4 1.001 * * * [progress]: picking best candidate 1.008 * * * * [pick]: Picked # 1.008 * * * [progress]: localizing error 1.014 * * * [progress]: generating rewritten candidates 1.014 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 1.015 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 1.016 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1.019 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 1.046 * * * [progress]: generating series expansions 1.047 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 1.047 * [approximate]: Taking taylor expansion of (sqrt (fma x x 1.0)) in (x) around 0 1.047 * [taylor]: Taking taylor expansion of (sqrt (fma x x 1.0)) in x 1.047 * [taylor]: Taking taylor expansion of (fma x x 1.0) in x 1.047 * [taylor]: Rewrote expression to (+ (* x x) 1.0) 1.047 * [taylor]: Taking taylor expansion of (* x x) in x 1.047 * [taylor]: Taking taylor expansion of x in x 1.047 * [taylor]: Taking taylor expansion of x in x 1.047 * [taylor]: Taking taylor expansion of 1.0 in x 1.049 * [taylor]: Taking taylor expansion of (sqrt (fma x x 1.0)) in x 1.049 * [taylor]: Taking taylor expansion of (fma x x 1.0) in x 1.049 * [taylor]: Rewrote expression to (+ (* x x) 1.0) 1.050 * [taylor]: Taking taylor expansion of (* x x) in x 1.050 * [taylor]: Taking taylor expansion of x in x 1.050 * [taylor]: Taking taylor expansion of x in x 1.050 * [taylor]: Taking taylor expansion of 1.0 in x 1.064 * [approximate]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 x) 1.0)) in (x) around 0 1.064 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 x) 1.0)) in x 1.064 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) 1.0) in x 1.064 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) 1.0) 1.064 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1.064 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.064 * [taylor]: Taking taylor expansion of x in x 1.065 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.065 * [taylor]: Taking taylor expansion of x in x 1.065 * [taylor]: Taking taylor expansion of 1.0 in x 1.067 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 x) 1.0)) in x 1.067 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) 1.0) in x 1.067 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) 1.0) 1.067 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1.067 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.068 * [taylor]: Taking taylor expansion of x in x 1.068 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.068 * [taylor]: Taking taylor expansion of x in x 1.068 * [taylor]: Taking taylor expansion of 1.0 in x 1.081 * [approximate]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 x) 1.0)) in (x) around 0 1.081 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 x) 1.0)) in x 1.081 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) 1.0) in x 1.082 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) 1.0) 1.082 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1.082 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.082 * [taylor]: Taking taylor expansion of -1 in x 1.082 * [taylor]: Taking taylor expansion of x in x 1.082 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.082 * [taylor]: Taking taylor expansion of -1 in x 1.082 * [taylor]: Taking taylor expansion of x in x 1.082 * [taylor]: Taking taylor expansion of 1.0 in x 1.085 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 x) 1.0)) in x 1.085 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) 1.0) in x 1.085 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) 1.0) 1.085 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1.085 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.085 * [taylor]: Taking taylor expansion of -1 in x 1.085 * [taylor]: Taking taylor expansion of x in x 1.086 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.086 * [taylor]: Taking taylor expansion of -1 in x 1.086 * [taylor]: Taking taylor expansion of x in x 1.086 * [taylor]: Taking taylor expansion of 1.0 in x 1.099 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 1.099 * [approximate]: Taking taylor expansion of (sqrt (fma x x 1.0)) in (x) around 0 1.099 * [taylor]: Taking taylor expansion of (sqrt (fma x x 1.0)) in x 1.099 * [taylor]: Taking taylor expansion of (fma x x 1.0) in x 1.099 * [taylor]: Rewrote expression to (+ (* x x) 1.0) 1.099 * [taylor]: Taking taylor expansion of (* x x) in x 1.099 * [taylor]: Taking taylor expansion of x in x 1.099 * [taylor]: Taking taylor expansion of x in x 1.099 * [taylor]: Taking taylor expansion of 1.0 in x 1.101 * [taylor]: Taking taylor expansion of (sqrt (fma x x 1.0)) in x 1.101 * [taylor]: Taking taylor expansion of (fma x x 1.0) in x 1.101 * [taylor]: Rewrote expression to (+ (* x x) 1.0) 1.101 * [taylor]: Taking taylor expansion of (* x x) in x 1.101 * [taylor]: Taking taylor expansion of x in x 1.101 * [taylor]: Taking taylor expansion of x in x 1.101 * [taylor]: Taking taylor expansion of 1.0 in x 1.116 * [approximate]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 x) 1.0)) in (x) around 0 1.116 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 x) 1.0)) in x 1.116 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) 1.0) in x 1.116 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) 1.0) 1.116 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1.116 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.116 * [taylor]: Taking taylor expansion of x in x 1.116 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.116 * [taylor]: Taking taylor expansion of x in x 1.116 * [taylor]: Taking taylor expansion of 1.0 in x 1.119 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 x) 1.0)) in x 1.119 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) 1.0) in x 1.119 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) 1.0) 1.119 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1.119 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.119 * [taylor]: Taking taylor expansion of x in x 1.120 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.120 * [taylor]: Taking taylor expansion of x in x 1.120 * [taylor]: Taking taylor expansion of 1.0 in x 1.137 * [approximate]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 x) 1.0)) in (x) around 0 1.137 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 x) 1.0)) in x 1.137 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) 1.0) in x 1.137 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) 1.0) 1.137 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1.137 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.137 * [taylor]: Taking taylor expansion of -1 in x 1.137 * [taylor]: Taking taylor expansion of x in x 1.138 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.138 * [taylor]: Taking taylor expansion of -1 in x 1.138 * [taylor]: Taking taylor expansion of x in x 1.138 * [taylor]: Taking taylor expansion of 1.0 in x 1.141 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 x) 1.0)) in x 1.141 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) 1.0) in x 1.141 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) 1.0) 1.141 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1.141 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.141 * [taylor]: Taking taylor expansion of -1 in x 1.141 * [taylor]: Taking taylor expansion of x in x 1.141 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.141 * [taylor]: Taking taylor expansion of -1 in x 1.141 * [taylor]: Taking taylor expansion of x in x 1.142 * [taylor]: Taking taylor expansion of 1.0 in x 1.154 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1.155 * [approximate]: Taking taylor expansion of (* x (sqrt (/ 1 (fma x x 1.0)))) in (x) around 0 1.155 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (fma x x 1.0)))) in x 1.155 * [taylor]: Taking taylor expansion of x in x 1.155 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (fma x x 1.0))) in x 1.155 * [taylor]: Taking taylor expansion of (/ 1 (fma x x 1.0)) in x 1.155 * [taylor]: Taking taylor expansion of (fma x x 1.0) in x 1.155 * [taylor]: Rewrote expression to (+ (* x x) 1.0) 1.155 * [taylor]: Taking taylor expansion of (* x x) in x 1.155 * [taylor]: Taking taylor expansion of x in x 1.155 * [taylor]: Taking taylor expansion of x in x 1.155 * [taylor]: Taking taylor expansion of 1.0 in x 1.158 * [taylor]: Taking taylor expansion of (* x (sqrt (/ 1 (fma x x 1.0)))) in x 1.158 * [taylor]: Taking taylor expansion of x in x 1.158 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (fma x x 1.0))) in x 1.158 * [taylor]: Taking taylor expansion of (/ 1 (fma x x 1.0)) in x 1.158 * [taylor]: Taking taylor expansion of (fma x x 1.0) in x 1.158 * [taylor]: Rewrote expression to (+ (* x x) 1.0) 1.158 * [taylor]: Taking taylor expansion of (* x x) in x 1.158 * [taylor]: Taking taylor expansion of x in x 1.158 * [taylor]: Taking taylor expansion of x in x 1.158 * [taylor]: Taking taylor expansion of 1.0 in x 1.210 * [approximate]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (fma (/ 1 x) (/ 1 x) 1.0)))) in (x) around 0 1.210 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (fma (/ 1 x) (/ 1 x) 1.0)))) in x 1.210 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.210 * [taylor]: Taking taylor expansion of x in x 1.210 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (fma (/ 1 x) (/ 1 x) 1.0))) in x 1.210 * [taylor]: Taking taylor expansion of (/ 1 (fma (/ 1 x) (/ 1 x) 1.0)) in x 1.210 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) 1.0) in x 1.211 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) 1.0) 1.211 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1.211 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.211 * [taylor]: Taking taylor expansion of x in x 1.211 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.211 * [taylor]: Taking taylor expansion of x in x 1.211 * [taylor]: Taking taylor expansion of 1.0 in x 1.214 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (fma (/ 1 x) (/ 1 x) 1.0)))) in x 1.214 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.214 * [taylor]: Taking taylor expansion of x in x 1.215 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (fma (/ 1 x) (/ 1 x) 1.0))) in x 1.215 * [taylor]: Taking taylor expansion of (/ 1 (fma (/ 1 x) (/ 1 x) 1.0)) in x 1.215 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) 1.0) in x 1.215 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) 1.0) 1.215 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1.215 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.215 * [taylor]: Taking taylor expansion of x in x 1.215 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.215 * [taylor]: Taking taylor expansion of x in x 1.215 * [taylor]: Taking taylor expansion of 1.0 in x 1.242 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (/ 1 (fma (/ -1 x) (/ -1 x) 1.0))))) in (x) around 0 1.242 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (/ 1 (fma (/ -1 x) (/ -1 x) 1.0))))) in x 1.242 * [taylor]: Taking taylor expansion of -1 in x 1.242 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (fma (/ -1 x) (/ -1 x) 1.0)))) in x 1.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.242 * [taylor]: Taking taylor expansion of x in x 1.242 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (fma (/ -1 x) (/ -1 x) 1.0))) in x 1.242 * [taylor]: Taking taylor expansion of (/ 1 (fma (/ -1 x) (/ -1 x) 1.0)) in x 1.242 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) 1.0) in x 1.242 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) 1.0) 1.242 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1.242 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.242 * [taylor]: Taking taylor expansion of -1 in x 1.242 * [taylor]: Taking taylor expansion of x in x 1.242 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.243 * [taylor]: Taking taylor expansion of -1 in x 1.243 * [taylor]: Taking taylor expansion of x in x 1.243 * [taylor]: Taking taylor expansion of 1.0 in x 1.246 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (/ 1 (fma (/ -1 x) (/ -1 x) 1.0))))) in x 1.246 * [taylor]: Taking taylor expansion of -1 in x 1.246 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (fma (/ -1 x) (/ -1 x) 1.0)))) in x 1.246 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.246 * [taylor]: Taking taylor expansion of x in x 1.246 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (fma (/ -1 x) (/ -1 x) 1.0))) in x 1.247 * [taylor]: Taking taylor expansion of (/ 1 (fma (/ -1 x) (/ -1 x) 1.0)) in x 1.247 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) 1.0) in x 1.247 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) 1.0) 1.247 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1.247 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.247 * [taylor]: Taking taylor expansion of -1 in x 1.247 * [taylor]: Taking taylor expansion of x in x 1.247 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.247 * [taylor]: Taking taylor expansion of -1 in x 1.247 * [taylor]: Taking taylor expansion of x in x 1.247 * [taylor]: Taking taylor expansion of 1.0 in x 1.278 * * * * [progress]: [ 4 / 4 ] generating series at (2) 1.279 * [approximate]: Taking taylor expansion of (/ x (fma x x 1.0)) in (x) around 0 1.279 * [taylor]: Taking taylor expansion of (/ x (fma x x 1.0)) in x 1.279 * [taylor]: Taking taylor expansion of x in x 1.279 * [taylor]: Taking taylor expansion of (fma x x 1.0) in x 1.279 * [taylor]: Rewrote expression to (+ (* x x) 1.0) 1.279 * [taylor]: Taking taylor expansion of (* x x) in x 1.279 * [taylor]: Taking taylor expansion of x in x 1.279 * [taylor]: Taking taylor expansion of x in x 1.279 * [taylor]: Taking taylor expansion of 1.0 in x 1.280 * [taylor]: Taking taylor expansion of (/ x (fma x x 1.0)) in x 1.280 * [taylor]: Taking taylor expansion of x in x 1.280 * [taylor]: Taking taylor expansion of (fma x x 1.0) in x 1.280 * [taylor]: Rewrote expression to (+ (* x x) 1.0) 1.280 * [taylor]: Taking taylor expansion of (* x x) in x 1.280 * [taylor]: Taking taylor expansion of x in x 1.280 * [taylor]: Taking taylor expansion of x in x 1.280 * [taylor]: Taking taylor expansion of 1.0 in x 1.294 * [approximate]: Taking taylor expansion of (/ 1 (* x (fma (/ 1 x) (/ 1 x) 1.0))) in (x) around 0 1.294 * [taylor]: Taking taylor expansion of (/ 1 (* x (fma (/ 1 x) (/ 1 x) 1.0))) in x 1.294 * [taylor]: Taking taylor expansion of (* x (fma (/ 1 x) (/ 1 x) 1.0)) in x 1.294 * [taylor]: Taking taylor expansion of x in x 1.294 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) 1.0) in x 1.294 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) 1.0) 1.294 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1.294 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.294 * [taylor]: Taking taylor expansion of x in x 1.295 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.295 * [taylor]: Taking taylor expansion of x in x 1.295 * [taylor]: Taking taylor expansion of 1.0 in x 1.297 * [taylor]: Taking taylor expansion of (/ 1 (* x (fma (/ 1 x) (/ 1 x) 1.0))) in x 1.298 * [taylor]: Taking taylor expansion of (* x (fma (/ 1 x) (/ 1 x) 1.0)) in x 1.298 * [taylor]: Taking taylor expansion of x in x 1.298 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) 1.0) in x 1.298 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) 1.0) 1.298 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1.298 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.298 * [taylor]: Taking taylor expansion of x in x 1.298 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.298 * [taylor]: Taking taylor expansion of x in x 1.298 * [taylor]: Taking taylor expansion of 1.0 in x 1.319 * [approximate]: Taking taylor expansion of (/ -1 (* x (fma (/ -1 x) (/ -1 x) 1.0))) in (x) around 0 1.319 * [taylor]: Taking taylor expansion of (/ -1 (* x (fma (/ -1 x) (/ -1 x) 1.0))) in x 1.319 * [taylor]: Taking taylor expansion of -1 in x 1.319 * [taylor]: Taking taylor expansion of (* x (fma (/ -1 x) (/ -1 x) 1.0)) in x 1.319 * [taylor]: Taking taylor expansion of x in x 1.319 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) 1.0) in x 1.319 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) 1.0) 1.319 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1.319 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.319 * [taylor]: Taking taylor expansion of -1 in x 1.319 * [taylor]: Taking taylor expansion of x in x 1.320 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.320 * [taylor]: Taking taylor expansion of -1 in x 1.320 * [taylor]: Taking taylor expansion of x in x 1.320 * [taylor]: Taking taylor expansion of 1.0 in x 1.323 * [taylor]: Taking taylor expansion of (/ -1 (* x (fma (/ -1 x) (/ -1 x) 1.0))) in x 1.323 * [taylor]: Taking taylor expansion of -1 in x 1.323 * [taylor]: Taking taylor expansion of (* x (fma (/ -1 x) (/ -1 x) 1.0)) in x 1.323 * [taylor]: Taking taylor expansion of x in x 1.323 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) 1.0) in x 1.323 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) 1.0) 1.323 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1.323 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.323 * [taylor]: Taking taylor expansion of -1 in x 1.323 * [taylor]: Taking taylor expansion of x in x 1.324 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.324 * [taylor]: Taking taylor expansion of -1 in x 1.324 * [taylor]: Taking taylor expansion of x in x 1.324 * [taylor]: Taking taylor expansion of 1.0 in x 1.346 * * * [progress]: simplifying candidates 1.350 * [simplify]: Simplifying using # : (expm1 (sqrt (fma x x 1.0))) (log1p (sqrt (fma x x 1.0))) (log (sqrt (fma x x 1.0))) (exp (sqrt (fma x x 1.0))) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0)))) (cbrt (sqrt (fma x x 1.0))) (* (* (sqrt (fma x x 1.0)) (sqrt (fma x x 1.0))) (sqrt (fma x x 1.0))) (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (sqrt (cbrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0))) (sqrt 1) (sqrt (fma x x 1.0)) (/ 1 2) (sqrt (sqrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0))) (expm1 (sqrt (fma x x 1.0))) (log1p (sqrt (fma x x 1.0))) (log (sqrt (fma x x 1.0))) (exp (sqrt (fma x x 1.0))) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0)))) (cbrt (sqrt (fma x x 1.0))) (* (* (sqrt (fma x x 1.0)) (sqrt (fma x x 1.0))) (sqrt (fma x x 1.0))) (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (sqrt (cbrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0))) (sqrt 1) (sqrt (fma x x 1.0)) (/ 1 2) (sqrt (sqrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0))) (expm1 (/ x (sqrt (fma x x 1.0)))) (log1p (/ x (sqrt (fma x x 1.0)))) (- (log x) (log (sqrt (fma x x 1.0)))) (log (/ x (sqrt (fma x x 1.0)))) (exp (/ x (sqrt (fma x x 1.0)))) (/ (* (* x x) x) (* (* (sqrt (fma x x 1.0)) (sqrt (fma x x 1.0))) (sqrt (fma x x 1.0)))) (* (cbrt (/ x (sqrt (fma x x 1.0)))) (cbrt (/ x (sqrt (fma x x 1.0))))) (cbrt (/ x (sqrt (fma x x 1.0)))) (* (* (/ x (sqrt (fma x x 1.0))) (/ x (sqrt (fma x x 1.0)))) (/ x (sqrt (fma x x 1.0)))) (sqrt (/ x (sqrt (fma x x 1.0)))) (sqrt (/ x (sqrt (fma x x 1.0)))) (- x) (- (sqrt (fma x x 1.0))) (/ (* (cbrt x) (cbrt x)) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (cbrt x) (cbrt (sqrt (fma x x 1.0)))) (/ (* (cbrt x) (cbrt x)) (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (/ (cbrt x) (sqrt (cbrt (fma x x 1.0)))) (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt (fma x x 1.0)))) (/ (cbrt x) (sqrt (sqrt (fma x x 1.0)))) (/ (* (cbrt x) (cbrt x)) (sqrt 1)) (/ (cbrt x) (sqrt (fma x x 1.0))) (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt (fma x x 1.0)))) (/ (cbrt x) (sqrt (sqrt (fma x x 1.0)))) (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (sqrt x) (cbrt (sqrt (fma x x 1.0)))) (/ (sqrt x) (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (/ (sqrt x) (sqrt (cbrt (fma x x 1.0)))) (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (/ (sqrt x) (sqrt 1)) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (/ (sqrt x) 1) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ 1 (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ x (cbrt (sqrt (fma x x 1.0)))) (/ 1 (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (/ x (sqrt (cbrt (fma x x 1.0)))) (/ 1 (sqrt (sqrt (fma x x 1.0)))) (/ x (sqrt (sqrt (fma x x 1.0)))) (/ 1 (sqrt 1)) (/ x (sqrt (fma x x 1.0))) (/ 1 (sqrt (sqrt (fma x x 1.0)))) (/ x (sqrt (sqrt (fma x x 1.0)))) (/ 1 1) (/ x (sqrt (fma x x 1.0))) (/ 1 (sqrt (fma x x 1.0))) (/ (sqrt (fma x x 1.0)) x) (/ x (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ x (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (/ x (sqrt (sqrt (fma x x 1.0)))) (/ x (sqrt 1)) (/ x (sqrt (sqrt (fma x x 1.0)))) (/ x 1) (/ (sqrt (fma x x 1.0)) (cbrt x)) (/ (sqrt (fma x x 1.0)) (sqrt x)) (/ (sqrt (fma x x 1.0)) x) (expm1 (/ (/ x (sqrt (fma x x 1.0))) (sqrt (fma x x 1.0)))) (log1p (/ (/ x (sqrt (fma x x 1.0))) (sqrt (fma x x 1.0)))) (- (- (log x) (log (sqrt (fma x x 1.0)))) (log (sqrt (fma x x 1.0)))) (- (log (/ x (sqrt (fma x x 1.0)))) (log (sqrt (fma x x 1.0)))) (log (/ (/ x (sqrt (fma x x 1.0))) (sqrt (fma x x 1.0)))) (exp (/ (/ x (sqrt (fma x x 1.0))) (sqrt (fma x x 1.0)))) (/ (/ (* (* x x) x) (* (* (sqrt (fma x x 1.0)) (sqrt (fma x x 1.0))) (sqrt (fma x x 1.0)))) (* (* (sqrt (fma x x 1.0)) (sqrt (fma x x 1.0))) (sqrt (fma x x 1.0)))) (/ (* (* (/ x (sqrt (fma x x 1.0))) (/ x (sqrt (fma x x 1.0)))) (/ x (sqrt (fma x x 1.0)))) (* (* (sqrt (fma x x 1.0)) (sqrt (fma x x 1.0))) (sqrt (fma x x 1.0)))) (* (cbrt (/ (/ x (sqrt (fma x x 1.0))) (sqrt (fma x x 1.0)))) (cbrt (/ (/ x (sqrt (fma x x 1.0))) (sqrt (fma x x 1.0))))) (cbrt (/ (/ x (sqrt (fma x x 1.0))) (sqrt (fma x x 1.0)))) (* (* (/ (/ x (sqrt (fma x x 1.0))) (sqrt (fma x x 1.0))) (/ (/ x (sqrt (fma x x 1.0))) (sqrt (fma x x 1.0)))) (/ (/ x (sqrt (fma x x 1.0))) (sqrt (fma x x 1.0)))) (sqrt (/ (/ x (sqrt (fma x x 1.0))) (sqrt (fma x x 1.0)))) (sqrt (/ (/ x (sqrt (fma x x 1.0))) (sqrt (fma x x 1.0)))) (- (/ x (sqrt (fma x x 1.0)))) (- (sqrt (fma x x 1.0))) (/ (* (cbrt (/ x (sqrt (fma x x 1.0)))) (cbrt (/ x (sqrt (fma x x 1.0))))) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (cbrt (/ x (sqrt (fma x x 1.0)))) (cbrt (sqrt (fma x x 1.0)))) (/ (* (cbrt (/ x (sqrt (fma x x 1.0)))) (cbrt (/ x (sqrt (fma x x 1.0))))) (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (/ (cbrt (/ x (sqrt (fma x x 1.0)))) (sqrt (cbrt (fma x x 1.0)))) (/ (* (cbrt (/ x (sqrt (fma x x 1.0)))) (cbrt (/ x (sqrt (fma x x 1.0))))) (sqrt (sqrt (fma x x 1.0)))) (/ (cbrt (/ x (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (* (cbrt (/ x (sqrt (fma x x 1.0)))) (cbrt (/ x (sqrt (fma x x 1.0))))) (sqrt 1)) (/ (cbrt (/ x (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (* (cbrt (/ x (sqrt (fma x x 1.0)))) (cbrt (/ x (sqrt (fma x x 1.0))))) (sqrt (sqrt (fma x x 1.0)))) (/ (cbrt (/ x (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (* (cbrt (/ x (sqrt (fma x x 1.0)))) (cbrt (/ x (sqrt (fma x x 1.0))))) 1) (/ (cbrt (/ x (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (sqrt (/ x (sqrt (fma x x 1.0)))) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (sqrt (/ x (sqrt (fma x x 1.0)))) (cbrt (sqrt (fma x x 1.0)))) (/ (sqrt (/ x (sqrt (fma x x 1.0)))) (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (/ (sqrt (/ x (sqrt (fma x x 1.0)))) (sqrt (cbrt (fma x x 1.0)))) (/ (sqrt (/ x (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (sqrt (/ x (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (sqrt (/ x (sqrt (fma x x 1.0)))) (sqrt 1)) (/ (sqrt (/ x (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (sqrt (/ x (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (sqrt (/ x (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (sqrt (/ x (sqrt (fma x x 1.0)))) 1) (/ (sqrt (/ x (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (/ (* (cbrt x) (cbrt x)) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (/ (cbrt x) (cbrt (sqrt (fma x x 1.0)))) (cbrt (sqrt (fma x x 1.0)))) (/ (/ (* (cbrt x) (cbrt x)) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (/ (/ (cbrt x) (cbrt (sqrt (fma x x 1.0)))) (sqrt (cbrt (fma x x 1.0)))) (/ (/ (* (cbrt x) (cbrt x)) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (cbrt x) (cbrt (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (* (cbrt x) (cbrt x)) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (sqrt 1)) (/ (/ (cbrt x) (cbrt (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (/ (* (cbrt x) (cbrt x)) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (cbrt x) (cbrt (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (* (cbrt x) (cbrt x)) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) 1) (/ (/ (cbrt x) (cbrt (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (/ (* (cbrt x) (cbrt x)) (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (/ (cbrt x) (sqrt (cbrt (fma x x 1.0)))) (cbrt (sqrt (fma x x 1.0)))) (/ (/ (* (cbrt x) (cbrt x)) (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (/ (/ (cbrt x) (sqrt (cbrt (fma x x 1.0)))) (sqrt (cbrt (fma x x 1.0)))) (/ (/ (* (cbrt x) (cbrt x)) (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (cbrt x) (sqrt (cbrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (* (cbrt x) (cbrt x)) (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (sqrt 1)) (/ (/ (cbrt x) (sqrt (cbrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (/ (* (cbrt x) (cbrt x)) (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (cbrt x) (sqrt (cbrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (* (cbrt x) (cbrt x)) (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) 1) (/ (/ (cbrt x) (sqrt (cbrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt (fma x x 1.0)))) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (/ (cbrt x) (sqrt (sqrt (fma x x 1.0)))) (cbrt (sqrt (fma x x 1.0)))) (/ (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt (fma x x 1.0)))) (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (/ (/ (cbrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt (cbrt (fma x x 1.0)))) (/ (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (cbrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt (fma x x 1.0)))) (sqrt 1)) (/ (/ (cbrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (cbrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt (fma x x 1.0)))) 1) (/ (/ (cbrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (/ (* (cbrt x) (cbrt x)) (sqrt 1)) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (/ (cbrt x) (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0)))) (/ (/ (* (cbrt x) (cbrt x)) (sqrt 1)) (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (/ (/ (cbrt x) (sqrt (fma x x 1.0))) (sqrt (cbrt (fma x x 1.0)))) (/ (/ (* (cbrt x) (cbrt x)) (sqrt 1)) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (cbrt x) (sqrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (* (cbrt x) (cbrt x)) (sqrt 1)) (sqrt 1)) (/ (/ (cbrt x) (sqrt (fma x x 1.0))) (sqrt (fma x x 1.0))) (/ (/ (* (cbrt x) (cbrt x)) (sqrt 1)) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (cbrt x) (sqrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (* (cbrt x) (cbrt x)) (sqrt 1)) 1) (/ (/ (cbrt x) (sqrt (fma x x 1.0))) (sqrt (fma x x 1.0))) (/ (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt (fma x x 1.0)))) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (/ (cbrt x) (sqrt (sqrt (fma x x 1.0)))) (cbrt (sqrt (fma x x 1.0)))) (/ (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt (fma x x 1.0)))) (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (/ (/ (cbrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt (cbrt (fma x x 1.0)))) (/ (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (cbrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt (fma x x 1.0)))) (sqrt 1)) (/ (/ (cbrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (cbrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt (fma x x 1.0)))) 1) (/ (/ (cbrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (/ (* (cbrt x) (cbrt x)) 1) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (/ (cbrt x) (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0)))) (/ (/ (* (cbrt x) (cbrt x)) 1) (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (/ (/ (cbrt x) (sqrt (fma x x 1.0))) (sqrt (cbrt (fma x x 1.0)))) (/ (/ (* (cbrt x) (cbrt x)) 1) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (cbrt x) (sqrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (* (cbrt x) (cbrt x)) 1) (sqrt 1)) (/ (/ (cbrt x) (sqrt (fma x x 1.0))) (sqrt (fma x x 1.0))) (/ (/ (* (cbrt x) (cbrt x)) 1) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (cbrt x) (sqrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (* (cbrt x) (cbrt x)) 1) 1) (/ (/ (cbrt x) (sqrt (fma x x 1.0))) (sqrt (fma x x 1.0))) (/ (/ (sqrt x) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (/ (sqrt x) (cbrt (sqrt (fma x x 1.0)))) (cbrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (/ (/ (sqrt x) (cbrt (sqrt (fma x x 1.0)))) (sqrt (cbrt (fma x x 1.0)))) (/ (/ (sqrt x) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) (cbrt (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (sqrt 1)) (/ (/ (sqrt x) (cbrt (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (/ (sqrt x) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) (cbrt (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) 1) (/ (/ (sqrt x) (cbrt (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (/ (sqrt x) (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (/ (sqrt x) (sqrt (cbrt (fma x x 1.0)))) (cbrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (/ (/ (sqrt x) (sqrt (cbrt (fma x x 1.0)))) (sqrt (cbrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (cbrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (sqrt 1)) (/ (/ (sqrt x) (sqrt (cbrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (/ (sqrt x) (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (cbrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) 1) (/ (/ (sqrt x) (sqrt (cbrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (cbrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (/ (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt (cbrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt 1)) (/ (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) 1) (/ (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (/ (sqrt x) (sqrt 1)) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (/ (sqrt x) (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt 1)) (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (/ (/ (sqrt x) (sqrt (fma x x 1.0))) (sqrt (cbrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt 1)) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt 1)) (sqrt 1)) (/ (/ (sqrt x) (sqrt (fma x x 1.0))) (sqrt (fma x x 1.0))) (/ (/ (sqrt x) (sqrt 1)) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt 1)) 1) (/ (/ (sqrt x) (sqrt (fma x x 1.0))) (sqrt (fma x x 1.0))) (/ (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (cbrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (/ (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt (cbrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt 1)) (/ (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) 1) (/ (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (/ (sqrt x) 1) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (/ (sqrt x) (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) 1) (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (/ (/ (sqrt x) (sqrt (fma x x 1.0))) (sqrt (cbrt (fma x x 1.0)))) (/ (/ (sqrt x) 1) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) 1) (sqrt 1)) (/ (/ (sqrt x) (sqrt (fma x x 1.0))) (sqrt (fma x x 1.0))) (/ (/ (sqrt x) 1) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) 1) 1) (/ (/ (sqrt x) (sqrt (fma x x 1.0))) (sqrt (fma x x 1.0))) (/ (/ 1 (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (/ x (cbrt (sqrt (fma x x 1.0)))) (cbrt (sqrt (fma x x 1.0)))) (/ (/ 1 (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (/ (/ x (cbrt (sqrt (fma x x 1.0)))) (sqrt (cbrt (fma x x 1.0)))) (/ (/ 1 (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ x (cbrt (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ 1 (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (sqrt 1)) (/ (/ x (cbrt (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (/ 1 (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ x (cbrt (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ 1 (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) 1) (/ (/ x (cbrt (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (/ 1 (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (/ x (sqrt (cbrt (fma x x 1.0)))) (cbrt (sqrt (fma x x 1.0)))) (/ (/ 1 (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (/ (/ x (sqrt (cbrt (fma x x 1.0)))) (sqrt (cbrt (fma x x 1.0)))) (/ (/ 1 (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ x (sqrt (cbrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ 1 (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (sqrt 1)) (/ (/ x (sqrt (cbrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (/ 1 (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ x (sqrt (cbrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ 1 (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) 1) (/ (/ x (sqrt (cbrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (/ 1 (sqrt (sqrt (fma x x 1.0)))) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (/ x (sqrt (sqrt (fma x x 1.0)))) (cbrt (sqrt (fma x x 1.0)))) (/ (/ 1 (sqrt (sqrt (fma x x 1.0)))) (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (/ (/ x (sqrt (sqrt (fma x x 1.0)))) (sqrt (cbrt (fma x x 1.0)))) (/ (/ 1 (sqrt (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ x (sqrt (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ 1 (sqrt (sqrt (fma x x 1.0)))) (sqrt 1)) (/ (/ x (sqrt (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (/ 1 (sqrt (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ x (sqrt (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ 1 (sqrt (sqrt (fma x x 1.0)))) 1) (/ (/ x (sqrt (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (/ 1 (sqrt 1)) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (/ x (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0)))) (/ (/ 1 (sqrt 1)) (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (/ (/ x (sqrt (fma x x 1.0))) (sqrt (cbrt (fma x x 1.0)))) (/ (/ 1 (sqrt 1)) (sqrt (sqrt (fma x x 1.0)))) (/ (/ x (sqrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ 1 (sqrt 1)) (sqrt 1)) (/ (/ x (sqrt (fma x x 1.0))) (sqrt (fma x x 1.0))) (/ (/ 1 (sqrt 1)) (sqrt (sqrt (fma x x 1.0)))) (/ (/ x (sqrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ 1 (sqrt 1)) 1) (/ (/ x (sqrt (fma x x 1.0))) (sqrt (fma x x 1.0))) (/ (/ 1 (sqrt (sqrt (fma x x 1.0)))) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (/ x (sqrt (sqrt (fma x x 1.0)))) (cbrt (sqrt (fma x x 1.0)))) (/ (/ 1 (sqrt (sqrt (fma x x 1.0)))) (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (/ (/ x (sqrt (sqrt (fma x x 1.0)))) (sqrt (cbrt (fma x x 1.0)))) (/ (/ 1 (sqrt (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ x (sqrt (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ 1 (sqrt (sqrt (fma x x 1.0)))) (sqrt 1)) (/ (/ x (sqrt (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (/ 1 (sqrt (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ x (sqrt (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ 1 (sqrt (sqrt (fma x x 1.0)))) 1) (/ (/ x (sqrt (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (/ 1 1) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (/ x (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0)))) (/ (/ 1 1) (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (/ (/ x (sqrt (fma x x 1.0))) (sqrt (cbrt (fma x x 1.0)))) (/ (/ 1 1) (sqrt (sqrt (fma x x 1.0)))) (/ (/ x (sqrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ 1 1) (sqrt 1)) (/ (/ x (sqrt (fma x x 1.0))) (sqrt (fma x x 1.0))) (/ (/ 1 1) (sqrt (sqrt (fma x x 1.0)))) (/ (/ x (sqrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ 1 1) 1) (/ (/ x (sqrt (fma x x 1.0))) (sqrt (fma x x 1.0))) (/ 1 (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (/ x (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0)))) (/ 1 (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (/ (/ x (sqrt (fma x x 1.0))) (sqrt (cbrt (fma x x 1.0)))) (/ 1 (sqrt (sqrt (fma x x 1.0)))) (/ (/ x (sqrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0)))) (/ 1 (sqrt 1)) (/ (/ x (sqrt (fma x x 1.0))) (sqrt (fma x x 1.0))) (/ 1 (sqrt (sqrt (fma x x 1.0)))) (/ (/ x (sqrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0)))) (/ 1 1) (/ (/ x (sqrt (fma x x 1.0))) (sqrt (fma x x 1.0))) (/ x (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (/ 1 (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0)))) (/ x (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (/ (/ 1 (sqrt (fma x x 1.0))) (sqrt (cbrt (fma x x 1.0)))) (/ x (sqrt (sqrt (fma x x 1.0)))) (/ (/ 1 (sqrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0)))) (/ x (sqrt 1)) (/ (/ 1 (sqrt (fma x x 1.0))) (sqrt (fma x x 1.0))) (/ x (sqrt (sqrt (fma x x 1.0)))) (/ (/ 1 (sqrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0)))) (/ x 1) (/ (/ 1 (sqrt (fma x x 1.0))) (sqrt (fma x x 1.0))) (/ 1 (sqrt (fma x x 1.0))) (/ (sqrt (fma x x 1.0)) (/ x (sqrt (fma x x 1.0)))) (/ (/ x (sqrt (fma x x 1.0))) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (/ x (sqrt (fma x x 1.0))) (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))))) (/ (/ x (sqrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ x (sqrt (fma x x 1.0))) (sqrt 1)) (/ (/ x (sqrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ x (sqrt (fma x x 1.0))) 1) (/ (sqrt (fma x x 1.0)) (cbrt (/ x (sqrt (fma x x 1.0))))) (/ (sqrt (fma x x 1.0)) (sqrt (/ x (sqrt (fma x x 1.0))))) (/ (sqrt (fma x x 1.0)) (/ (cbrt x) (cbrt (sqrt (fma x x 1.0))))) (/ (sqrt (fma x x 1.0)) (/ (cbrt x) (sqrt (cbrt (fma x x 1.0))))) (/ (sqrt (fma x x 1.0)) (/ (cbrt x) (sqrt (sqrt (fma x x 1.0))))) (/ (sqrt (fma x x 1.0)) (/ (cbrt x) (sqrt (fma x x 1.0)))) (/ (sqrt (fma x x 1.0)) (/ (cbrt x) (sqrt (sqrt (fma x x 1.0))))) (/ (sqrt (fma x x 1.0)) (/ (cbrt x) (sqrt (fma x x 1.0)))) (/ (sqrt (fma x x 1.0)) (/ (sqrt x) (cbrt (sqrt (fma x x 1.0))))) (/ (sqrt (fma x x 1.0)) (/ (sqrt x) (sqrt (cbrt (fma x x 1.0))))) (/ (sqrt (fma x x 1.0)) (/ (sqrt x) (sqrt (sqrt (fma x x 1.0))))) (/ (sqrt (fma x x 1.0)) (/ (sqrt x) (sqrt (fma x x 1.0)))) (/ (sqrt (fma x x 1.0)) (/ (sqrt x) (sqrt (sqrt (fma x x 1.0))))) (/ (sqrt (fma x x 1.0)) (/ (sqrt x) (sqrt (fma x x 1.0)))) (/ (sqrt (fma x x 1.0)) (/ x (cbrt (sqrt (fma x x 1.0))))) (/ (sqrt (fma x x 1.0)) (/ x (sqrt (cbrt (fma x x 1.0))))) (/ (sqrt (fma x x 1.0)) (/ x (sqrt (sqrt (fma x x 1.0))))) (/ (sqrt (fma x x 1.0)) (/ x (sqrt (fma x x 1.0)))) (/ (sqrt (fma x x 1.0)) (/ x (sqrt (sqrt (fma x x 1.0))))) (/ (sqrt (fma x x 1.0)) (/ x (sqrt (fma x x 1.0)))) (/ (sqrt (fma x x 1.0)) (/ x (sqrt (fma x x 1.0)))) (/ (sqrt (fma x x 1.0)) (/ 1 (sqrt (fma x x 1.0)))) (* (sqrt (fma x x 1.0)) (sqrt (fma x x 1.0))) (- (+ (sqrt 1.0) (* 1/2 (/ (pow x 2) (sqrt 1.0)))) (* 1/8 (/ (pow x 4) (pow (sqrt 1.0) 3)))) (- (+ x (* 0.5 (/ 1 x))) (* 0.125 (/ 1 (pow x 3)))) (- (* 0.125 (/ 1 (pow x 3))) (+ x (* 0.5 (/ 1 x)))) (- (+ (sqrt 1.0) (* 1/2 (/ (pow x 2) (sqrt 1.0)))) (* 1/8 (/ (pow x 4) (pow (sqrt 1.0) 3)))) (- (+ x (* 0.5 (/ 1 x))) (* 0.125 (/ 1 (pow x 3)))) (- (* 0.125 (/ 1 (pow x 3))) (+ x (* 0.5 (/ 1 x)))) (- (+ (* x (sqrt 1.0)) (* 0.5 (/ (pow x 5) (sqrt 1.0)))) (+ (* 0.125 (/ (pow x 5) (pow (sqrt 1.0) 3))) (* 0.5 (/ (pow x 3) (sqrt 1.0))))) (- (+ (* 0.375 (/ 1 (pow x 4))) 1) (* 0.5 (/ 1 (pow x 2)))) (- (* 0.5 (/ 1 (pow x 2))) (+ (* 0.375 (/ 1 (pow x 4))) 1)) (- (+ (* 1.0 x) (* 1.0 (pow x 5))) (* 1.0 (pow x 3))) (- (+ (* 1.0 (/ 1 (pow x 5))) (/ 1 x)) (* 1.0 (/ 1 (pow x 3)))) (- (+ (* 1.0 (/ 1 (pow x 5))) (/ 1 x)) (* 1.0 (/ 1 (pow x 3)))) 1.366 * * [simplify]: iteration 0 : 304 enodes (cost 5985 ) 1.418 * * [simplify]: iteration 1 : 703 enodes (cost 5280 ) 1.583 * * [simplify]: iteration 2 : 2593 enodes (cost 4798 ) 2.695 * * [simplify]: iteration done : 5000 enodes (cost 4798 ) 2.698 * [simplify]: Simplified to: (expm1 (sqrt (fma x x 1.0))) (log1p (sqrt (fma x x 1.0))) (log (sqrt (fma x x 1.0))) (exp (sqrt (fma x x 1.0))) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0)))) (cbrt (sqrt (fma x x 1.0))) (pow (sqrt (fma x x 1.0)) 3) (fabs (cbrt (fma x x 1.0))) (sqrt (cbrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0))) 1 (sqrt (fma x x 1.0)) 1/2 (sqrt (sqrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0))) (expm1 (sqrt (fma x x 1.0))) (log1p (sqrt (fma x x 1.0))) (log (sqrt (fma x x 1.0))) (exp (sqrt (fma x x 1.0))) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0)))) (cbrt (sqrt (fma x x 1.0))) (pow (sqrt (fma x x 1.0)) 3) (fabs (cbrt (fma x x 1.0))) (sqrt (cbrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0))) 1 (sqrt (fma x x 1.0)) 1/2 (sqrt (sqrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0))) (expm1 (/ x (sqrt (fma x x 1.0)))) (log1p (/ x (sqrt (fma x x 1.0)))) (log (/ x (sqrt (fma x x 1.0)))) (log (/ x (sqrt (fma x x 1.0)))) (exp (/ x (sqrt (fma x x 1.0)))) (pow (/ x (sqrt (fma x x 1.0))) 3) (* (cbrt (/ x (sqrt (fma x x 1.0)))) (cbrt (/ x (sqrt (fma x x 1.0))))) (cbrt (/ x (sqrt (fma x x 1.0)))) (pow (/ x (sqrt (fma x x 1.0))) 3) (sqrt (/ x (sqrt (fma x x 1.0)))) (sqrt (/ x (sqrt (fma x x 1.0)))) (- x) (- (sqrt (fma x x 1.0))) (/ (/ (* (cbrt x) (cbrt x)) (cbrt (sqrt (fma x x 1.0)))) (cbrt (sqrt (fma x x 1.0)))) (/ (cbrt x) (cbrt (sqrt (fma x x 1.0)))) (/ (cbrt x) (/ (fabs (cbrt (fma x x 1.0))) (cbrt x))) (/ (cbrt x) (sqrt (cbrt (fma x x 1.0)))) (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt (fma x x 1.0)))) (/ (cbrt x) (sqrt (sqrt (fma x x 1.0)))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (sqrt (fma x x 1.0))) (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt (fma x x 1.0)))) (/ (cbrt x) (sqrt (sqrt (fma x x 1.0)))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (sqrt x) (cbrt (sqrt (fma x x 1.0)))) (/ (sqrt x) (fabs (cbrt (fma x x 1.0)))) (/ (sqrt x) (sqrt (cbrt (fma x x 1.0)))) (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt x) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt x) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ 1 (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ x (cbrt (sqrt (fma x x 1.0)))) (/ 1 (fabs (cbrt (fma x x 1.0)))) (/ x (sqrt (cbrt (fma x x 1.0)))) (/ 1 (sqrt (sqrt (fma x x 1.0)))) (/ x (sqrt (sqrt (fma x x 1.0)))) 1 (/ x (sqrt (fma x x 1.0))) (/ 1 (sqrt (sqrt (fma x x 1.0)))) (/ x (sqrt (sqrt (fma x x 1.0)))) 1 (/ x (sqrt (fma x x 1.0))) (/ 1 (sqrt (fma x x 1.0))) (/ (sqrt (fma x x 1.0)) x) (/ x (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ x (fabs (cbrt (fma x x 1.0)))) (/ x (sqrt (sqrt (fma x x 1.0)))) x (/ x (sqrt (sqrt (fma x x 1.0)))) x (/ (sqrt (fma x x 1.0)) (cbrt x)) (/ (sqrt (fma x x 1.0)) (sqrt x)) (/ (sqrt (fma x x 1.0)) x) (expm1 (/ x (fma x x 1.0))) (log1p (/ x (fma x x 1.0))) (log (/ x (fma x x 1.0))) (log (/ x (fma x x 1.0))) (log (/ x (fma x x 1.0))) (exp (/ x (fma x x 1.0))) (pow (/ x (fma x x 1.0)) 3) (pow (/ x (fma x x 1.0)) 3) (* (cbrt (/ x (fma x x 1.0))) (cbrt (/ x (fma x x 1.0)))) (cbrt (/ x (fma x x 1.0))) (pow (/ x (fma x x 1.0)) 3) (sqrt (/ x (fma x x 1.0))) (sqrt (/ x (fma x x 1.0))) (- (/ x (sqrt (fma x x 1.0)))) (- (sqrt (fma x x 1.0))) (/ (* (cbrt (/ x (sqrt (fma x x 1.0)))) (cbrt (/ x (sqrt (fma x x 1.0))))) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (cbrt (/ x (sqrt (fma x x 1.0)))) (cbrt (sqrt (fma x x 1.0)))) (/ (* (cbrt (/ x (sqrt (fma x x 1.0)))) (cbrt (/ x (sqrt (fma x x 1.0))))) (fabs (cbrt (fma x x 1.0)))) (/ (cbrt (/ x (sqrt (fma x x 1.0)))) (sqrt (cbrt (fma x x 1.0)))) (/ (* (cbrt (/ x (sqrt (fma x x 1.0)))) (cbrt (/ x (sqrt (fma x x 1.0))))) (sqrt (sqrt (fma x x 1.0)))) (/ (cbrt (/ x (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (* (cbrt (/ x (sqrt (fma x x 1.0)))) (cbrt (/ x (sqrt (fma x x 1.0))))) (/ (cbrt (/ x (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (* (cbrt (/ x (sqrt (fma x x 1.0)))) (cbrt (/ x (sqrt (fma x x 1.0))))) (sqrt (sqrt (fma x x 1.0)))) (/ (cbrt (/ x (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (* (cbrt (/ x (sqrt (fma x x 1.0)))) (cbrt (/ x (sqrt (fma x x 1.0))))) (/ (cbrt (/ x (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (sqrt (/ x (sqrt (fma x x 1.0)))) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (sqrt (/ x (sqrt (fma x x 1.0)))) (cbrt (sqrt (fma x x 1.0)))) (/ (sqrt (/ x (sqrt (fma x x 1.0)))) (fabs (cbrt (fma x x 1.0)))) (/ (sqrt (/ x (sqrt (fma x x 1.0)))) (sqrt (cbrt (fma x x 1.0)))) (/ (sqrt (/ x (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (sqrt (/ x (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (sqrt (/ x (sqrt (fma x x 1.0)))) (/ (sqrt (/ x (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (sqrt (/ x (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (sqrt (/ x (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (sqrt (/ x (sqrt (fma x x 1.0)))) (/ (sqrt (/ x (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (/ (* (cbrt x) (cbrt x)) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (/ (cbrt x) (cbrt (sqrt (fma x x 1.0)))) (cbrt (sqrt (fma x x 1.0)))) (/ (/ (* (cbrt x) (cbrt x)) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (fabs (cbrt (fma x x 1.0)))) (/ (/ (cbrt x) (sqrt (cbrt (fma x x 1.0)))) (cbrt (sqrt (fma x x 1.0)))) (/ (/ (* (cbrt x) (cbrt x)) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (cbrt x) (cbrt (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (* (cbrt x) (cbrt x)) (cbrt (sqrt (fma x x 1.0)))) (cbrt (sqrt (fma x x 1.0)))) (/ (/ (cbrt x) (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0)))) (/ (/ (* (cbrt x) (cbrt x)) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (cbrt x) (cbrt (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (* (cbrt x) (cbrt x)) (cbrt (sqrt (fma x x 1.0)))) (cbrt (sqrt (fma x x 1.0)))) (/ (/ (cbrt x) (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0)))) (/ (/ (* (cbrt x) (cbrt x)) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (fabs (cbrt (fma x x 1.0)))) (/ (/ (cbrt x) (sqrt (cbrt (fma x x 1.0)))) (cbrt (sqrt (fma x x 1.0)))) (/ (* (cbrt x) (cbrt x)) (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ (cbrt x) (cbrt (fma x x 1.0))) (/ (* (cbrt x) (cbrt x)) (* (sqrt (sqrt (fma x x 1.0))) (fabs (cbrt (fma x x 1.0))))) (/ (/ (cbrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt (cbrt (fma x x 1.0)))) (/ (cbrt x) (/ (fabs (cbrt (fma x x 1.0))) (cbrt x))) (/ (/ (cbrt x) (sqrt (cbrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (* (cbrt x) (cbrt x)) (* (sqrt (sqrt (fma x x 1.0))) (fabs (cbrt (fma x x 1.0))))) (/ (/ (cbrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt (cbrt (fma x x 1.0)))) (/ (cbrt x) (/ (fabs (cbrt (fma x x 1.0))) (cbrt x))) (/ (/ (cbrt x) (sqrt (cbrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (/ (* (cbrt x) (cbrt x)) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (cbrt x) (cbrt (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (* (cbrt x) (cbrt x)) (* (sqrt (sqrt (fma x x 1.0))) (fabs (cbrt (fma x x 1.0))))) (/ (/ (cbrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt (cbrt (fma x x 1.0)))) (/ (* (cbrt x) (cbrt x)) (sqrt (fma x x 1.0))) (/ (cbrt x) (sqrt (fma x x 1.0))) (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (cbrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (* (cbrt x) (cbrt x)) (sqrt (fma x x 1.0))) (/ (cbrt x) (sqrt (fma x x 1.0))) (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (cbrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (/ (* (cbrt x) (cbrt x)) (cbrt (sqrt (fma x x 1.0)))) (cbrt (sqrt (fma x x 1.0)))) (/ (/ (cbrt x) (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0)))) (/ (cbrt x) (/ (fabs (cbrt (fma x x 1.0))) (cbrt x))) (/ (/ (cbrt x) (sqrt (cbrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (cbrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (fma x x 1.0)) (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (cbrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (fma x x 1.0)) (/ (/ (* (cbrt x) (cbrt x)) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (cbrt x) (cbrt (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (* (cbrt x) (cbrt x)) (* (sqrt (sqrt (fma x x 1.0))) (fabs (cbrt (fma x x 1.0))))) (/ (/ (cbrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt (cbrt (fma x x 1.0)))) (/ (* (cbrt x) (cbrt x)) (sqrt (fma x x 1.0))) (/ (cbrt x) (sqrt (fma x x 1.0))) (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (cbrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (* (cbrt x) (cbrt x)) (sqrt (fma x x 1.0))) (/ (cbrt x) (sqrt (fma x x 1.0))) (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (cbrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (/ (* (cbrt x) (cbrt x)) (cbrt (sqrt (fma x x 1.0)))) (cbrt (sqrt (fma x x 1.0)))) (/ (/ (cbrt x) (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0)))) (/ (cbrt x) (/ (fabs (cbrt (fma x x 1.0))) (cbrt x))) (/ (/ (cbrt x) (sqrt (cbrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (cbrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (fma x x 1.0)) (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (cbrt x) (sqrt (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (fma x x 1.0)) (/ (/ (sqrt x) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (sqrt x) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (/ (sqrt x) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (fabs (cbrt (fma x x 1.0)))) (/ (/ (sqrt x) (cbrt (sqrt (fma x x 1.0)))) (sqrt (cbrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (cbrt (sqrt (fma x x 1.0)))) (/ (sqrt x) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (/ (sqrt x) (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (cbrt (sqrt (fma x x 1.0)))) (/ (sqrt x) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (/ (sqrt x) (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (fabs (cbrt (fma x x 1.0)))) (/ (/ (sqrt x) (cbrt (sqrt (fma x x 1.0)))) (sqrt (cbrt (fma x x 1.0)))) (/ (sqrt x) (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ (sqrt x) (cbrt (fma x x 1.0))) (/ (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (fabs (cbrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (cbrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (sqrt x) (fabs (cbrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (cbrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (fabs (cbrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (cbrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (sqrt x) (fabs (cbrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (cbrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (cbrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (fabs (cbrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (cbrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0)))) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0)))) (/ (sqrt x) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (/ (sqrt x) (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0)))) (/ (sqrt x) (fabs (cbrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (cbrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0)))) (sqrt x) (/ (sqrt x) (fma x x 1.0)) (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0)))) (sqrt x) (/ (sqrt x) (fma x x 1.0)) (/ (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (cbrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (fabs (cbrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (cbrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0)))) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0)))) (/ (sqrt x) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (/ (sqrt x) (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0)))) (/ (sqrt x) (fabs (cbrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (cbrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0)))) (sqrt x) (/ (sqrt x) (fma x x 1.0)) (/ (sqrt x) (sqrt (sqrt (fma x x 1.0)))) (/ (/ (sqrt x) (sqrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0)))) (sqrt x) (/ (sqrt x) (fma x x 1.0)) (/ (/ 1 (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ x (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (/ 1 (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (fabs (cbrt (fma x x 1.0)))) (/ (/ x (cbrt (sqrt (fma x x 1.0)))) (sqrt (cbrt (fma x x 1.0)))) (/ (/ 1 (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ x (cbrt (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ 1 (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (/ x (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0)))) (/ (/ 1 (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ x (cbrt (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ 1 (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (/ x (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0)))) (/ (/ 1 (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (fabs (cbrt (fma x x 1.0)))) (/ (/ x (cbrt (sqrt (fma x x 1.0)))) (sqrt (cbrt (fma x x 1.0)))) (/ 1 (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ x (cbrt (fma x x 1.0))) (/ (/ 1 (fabs (cbrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ x (sqrt (sqrt (fma x x 1.0)))) (sqrt (cbrt (fma x x 1.0)))) (/ 1 (fabs (cbrt (fma x x 1.0)))) (/ (/ x (sqrt (fma x x 1.0))) (sqrt (cbrt (fma x x 1.0)))) (/ (/ 1 (fabs (cbrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ x (sqrt (sqrt (fma x x 1.0)))) (sqrt (cbrt (fma x x 1.0)))) (/ 1 (fabs (cbrt (fma x x 1.0)))) (/ (/ x (sqrt (fma x x 1.0))) (sqrt (cbrt (fma x x 1.0)))) (/ (/ 1 (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ x (cbrt (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ 1 (fabs (cbrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ x (sqrt (sqrt (fma x x 1.0)))) (sqrt (cbrt (fma x x 1.0)))) (/ 1 (sqrt (fma x x 1.0))) (/ x (sqrt (fma x x 1.0))) (/ 1 (sqrt (sqrt (fma x x 1.0)))) (/ (/ x (sqrt (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ 1 (sqrt (fma x x 1.0))) (/ x (sqrt (fma x x 1.0))) (/ 1 (sqrt (sqrt (fma x x 1.0)))) (/ (/ x (sqrt (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ 1 (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (/ x (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0)))) (/ 1 (fabs (cbrt (fma x x 1.0)))) (/ (/ x (sqrt (fma x x 1.0))) (sqrt (cbrt (fma x x 1.0)))) (/ 1 (sqrt (sqrt (fma x x 1.0)))) (/ (/ x (sqrt (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) 1 (/ x (fma x x 1.0)) (/ 1 (sqrt (sqrt (fma x x 1.0)))) (/ (/ x (sqrt (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) 1 (/ x (fma x x 1.0)) (/ (/ 1 (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ x (cbrt (sqrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ 1 (fabs (cbrt (fma x x 1.0)))) (sqrt (sqrt (fma x x 1.0)))) (/ (/ x (sqrt (sqrt (fma x x 1.0)))) (sqrt (cbrt (fma x x 1.0)))) (/ 1 (sqrt (fma x x 1.0))) (/ x (sqrt (fma x x 1.0))) (/ 1 (sqrt (sqrt (fma x x 1.0)))) (/ (/ x (sqrt (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ 1 (sqrt (fma x x 1.0))) (/ x (sqrt (fma x x 1.0))) (/ 1 (sqrt (sqrt (fma x x 1.0)))) (/ (/ x (sqrt (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ 1 (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (/ x (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0)))) (/ 1 (fabs (cbrt (fma x x 1.0)))) (/ (/ x (sqrt (fma x x 1.0))) (sqrt (cbrt (fma x x 1.0)))) (/ 1 (sqrt (sqrt (fma x x 1.0)))) (/ (/ x (sqrt (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) 1 (/ x (fma x x 1.0)) (/ 1 (sqrt (sqrt (fma x x 1.0)))) (/ (/ x (sqrt (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) 1 (/ x (fma x x 1.0)) (/ 1 (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (/ x (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0)))) (/ 1 (fabs (cbrt (fma x x 1.0)))) (/ (/ x (sqrt (fma x x 1.0))) (sqrt (cbrt (fma x x 1.0)))) (/ 1 (sqrt (sqrt (fma x x 1.0)))) (/ (/ x (sqrt (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) 1 (/ x (fma x x 1.0)) (/ 1 (sqrt (sqrt (fma x x 1.0)))) (/ (/ x (sqrt (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) 1 (/ x (fma x x 1.0)) (/ x (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (/ 1 (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0)))) (/ x (fabs (cbrt (fma x x 1.0)))) (/ (/ 1 (sqrt (fma x x 1.0))) (sqrt (cbrt (fma x x 1.0)))) (/ x (sqrt (sqrt (fma x x 1.0)))) (/ (/ 1 (sqrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0)))) x (/ 1 (fma x x 1.0)) (/ x (sqrt (sqrt (fma x x 1.0)))) (/ (/ 1 (sqrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0)))) x (/ 1 (fma x x 1.0)) (/ 1 (sqrt (fma x x 1.0))) (/ (fma x x 1.0) x) (/ (/ x (sqrt (fma x x 1.0))) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0))))) (/ (/ x (sqrt (fma x x 1.0))) (fabs (cbrt (fma x x 1.0)))) (/ (/ x (sqrt (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ x (sqrt (fma x x 1.0))) (/ (/ x (sqrt (sqrt (fma x x 1.0)))) (sqrt (fma x x 1.0))) (/ x (sqrt (fma x x 1.0))) (/ (sqrt (fma x x 1.0)) (cbrt (/ x (sqrt (fma x x 1.0))))) (/ (sqrt (fma x x 1.0)) (sqrt (/ x (sqrt (fma x x 1.0))))) (/ (sqrt (fma x x 1.0)) (/ (cbrt x) (cbrt (sqrt (fma x x 1.0))))) (/ (sqrt (fma x x 1.0)) (/ (cbrt x) (sqrt (cbrt (fma x x 1.0))))) (/ (sqrt (fma x x 1.0)) (/ (cbrt x) (sqrt (sqrt (fma x x 1.0))))) (/ (fma x x 1.0) (cbrt x)) (/ (sqrt (fma x x 1.0)) (/ (cbrt x) (sqrt (sqrt (fma x x 1.0))))) (/ (fma x x 1.0) (cbrt x)) (/ (sqrt (fma x x 1.0)) (/ (sqrt x) (cbrt (sqrt (fma x x 1.0))))) (/ (sqrt (fma x x 1.0)) (/ (sqrt x) (sqrt (cbrt (fma x x 1.0))))) (/ (sqrt (fma x x 1.0)) (/ (sqrt x) (sqrt (sqrt (fma x x 1.0))))) (/ (fma x x 1.0) (sqrt x)) (/ (sqrt (fma x x 1.0)) (/ (sqrt x) (sqrt (sqrt (fma x x 1.0))))) (/ (fma x x 1.0) (sqrt x)) (/ (sqrt (fma x x 1.0)) (/ x (cbrt (sqrt (fma x x 1.0))))) (/ (sqrt (fma x x 1.0)) (/ x (sqrt (cbrt (fma x x 1.0))))) (/ (sqrt (fma x x 1.0)) (/ x (sqrt (sqrt (fma x x 1.0))))) (/ (fma x x 1.0) x) (/ (sqrt (fma x x 1.0)) (/ x (sqrt (sqrt (fma x x 1.0))))) (/ (fma x x 1.0) x) (/ (fma x x 1.0) x) (fma x x 1.0) (fma x x 1.0) (- (fma (/ (pow x 2) (sqrt 1.0)) 1/2 (sqrt 1.0)) (* 1/8 (/ (pow x 4) (pow (sqrt 1.0) 3)))) (- (+ (/ 0.5 x) x) (/ 0.125 (pow x 3))) (- (/ 0.125 (pow x 3)) (+ (/ 0.5 x) x)) (- (fma (/ (pow x 2) (sqrt 1.0)) 1/2 (sqrt 1.0)) (* 1/8 (/ (pow x 4) (pow (sqrt 1.0) 3)))) (- (+ (/ 0.5 x) x) (/ 0.125 (pow x 3))) (- (/ 0.125 (pow x 3)) (+ (/ 0.5 x) x)) (- (fma x (sqrt 1.0) (* 0.5 (/ (pow x 5) (sqrt 1.0)))) (fma 0.125 (/ (pow x 5) (pow (sqrt 1.0) 3)) (* 0.5 (/ (pow x 3) (sqrt 1.0))))) (- (+ (/ 0.375 (pow x 4)) 1) (/ 0.5 (* x x))) (- (/ 0.5 (* x x)) (+ (/ 0.375 (pow x 4)) 1)) (* 1.0 (- (+ x (pow x 5)) (pow x 3))) (- (+ (/ 1.0 (pow x 5)) (/ 1 x)) (/ 1.0 (pow x 3))) (- (+ (/ 1.0 (pow x 5)) (/ 1 x)) (/ 1.0 (pow x 3))) 2.700 * * * [progress]: adding candidates to table 3.105 * * [progress]: iteration 3 / 4 3.105 * * * [progress]: picking best candidate 3.110 * * * * [pick]: Picked # 3.110 * * * [progress]: localizing error 3.116 * * * [progress]: generating rewritten candidates 3.116 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 3.118 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 3.149 * * * [progress]: generating series expansions 3.149 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 3.149 * [approximate]: Taking taylor expansion of (/ (fma x x 1.0) x) in (x) around 0 3.149 * [taylor]: Taking taylor expansion of (/ (fma x x 1.0) x) in x 3.149 * [taylor]: Taking taylor expansion of (fma x x 1.0) in x 3.150 * [taylor]: Rewrote expression to (+ (* x x) 1.0) 3.150 * [taylor]: Taking taylor expansion of (* x x) in x 3.150 * [taylor]: Taking taylor expansion of x in x 3.150 * [taylor]: Taking taylor expansion of x in x 3.150 * [taylor]: Taking taylor expansion of 1.0 in x 3.150 * [taylor]: Taking taylor expansion of x in x 3.151 * [taylor]: Taking taylor expansion of (/ (fma x x 1.0) x) in x 3.151 * [taylor]: Taking taylor expansion of (fma x x 1.0) in x 3.151 * [taylor]: Rewrote expression to (+ (* x x) 1.0) 3.151 * [taylor]: Taking taylor expansion of (* x x) in x 3.151 * [taylor]: Taking taylor expansion of x in x 3.151 * [taylor]: Taking taylor expansion of x in x 3.151 * [taylor]: Taking taylor expansion of 1.0 in x 3.151 * [taylor]: Taking taylor expansion of x in x 3.164 * [approximate]: Taking taylor expansion of (* x (fma (/ 1 x) (/ 1 x) 1.0)) in (x) around 0 3.164 * [taylor]: Taking taylor expansion of (* x (fma (/ 1 x) (/ 1 x) 1.0)) in x 3.164 * [taylor]: Taking taylor expansion of x in x 3.164 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) 1.0) in x 3.164 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) 1.0) 3.164 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 3.164 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.164 * [taylor]: Taking taylor expansion of x in x 3.164 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.165 * [taylor]: Taking taylor expansion of x in x 3.165 * [taylor]: Taking taylor expansion of 1.0 in x 3.165 * [taylor]: Taking taylor expansion of (* x (fma (/ 1 x) (/ 1 x) 1.0)) in x 3.165 * [taylor]: Taking taylor expansion of x in x 3.165 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) 1.0) in x 3.165 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) 1.0) 3.165 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 3.165 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.165 * [taylor]: Taking taylor expansion of x in x 3.165 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.165 * [taylor]: Taking taylor expansion of x in x 3.166 * [taylor]: Taking taylor expansion of 1.0 in x 3.192 * [approximate]: Taking taylor expansion of (* -1 (* x (fma (/ -1 x) (/ -1 x) 1.0))) in (x) around 0 3.192 * [taylor]: Taking taylor expansion of (* -1 (* x (fma (/ -1 x) (/ -1 x) 1.0))) in x 3.192 * [taylor]: Taking taylor expansion of -1 in x 3.192 * [taylor]: Taking taylor expansion of (* x (fma (/ -1 x) (/ -1 x) 1.0)) in x 3.192 * [taylor]: Taking taylor expansion of x in x 3.192 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) 1.0) in x 3.193 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) 1.0) 3.193 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 3.193 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.193 * [taylor]: Taking taylor expansion of -1 in x 3.193 * [taylor]: Taking taylor expansion of x in x 3.193 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.193 * [taylor]: Taking taylor expansion of -1 in x 3.193 * [taylor]: Taking taylor expansion of x in x 3.193 * [taylor]: Taking taylor expansion of 1.0 in x 3.193 * [taylor]: Taking taylor expansion of (* -1 (* x (fma (/ -1 x) (/ -1 x) 1.0))) in x 3.193 * [taylor]: Taking taylor expansion of -1 in x 3.193 * [taylor]: Taking taylor expansion of (* x (fma (/ -1 x) (/ -1 x) 1.0)) in x 3.193 * [taylor]: Taking taylor expansion of x in x 3.193 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) 1.0) in x 3.194 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) 1.0) 3.194 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 3.194 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.194 * [taylor]: Taking taylor expansion of -1 in x 3.194 * [taylor]: Taking taylor expansion of x in x 3.194 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.194 * [taylor]: Taking taylor expansion of -1 in x 3.194 * [taylor]: Taking taylor expansion of x in x 3.194 * [taylor]: Taking taylor expansion of 1.0 in x 3.235 * * * * [progress]: [ 2 / 2 ] generating series at (2) 3.236 * [approximate]: Taking taylor expansion of (/ x (fma x x 1.0)) in (x) around 0 3.236 * [taylor]: Taking taylor expansion of (/ x (fma x x 1.0)) in x 3.236 * [taylor]: Taking taylor expansion of x in x 3.236 * [taylor]: Taking taylor expansion of (fma x x 1.0) in x 3.236 * [taylor]: Rewrote expression to (+ (* x x) 1.0) 3.236 * [taylor]: Taking taylor expansion of (* x x) in x 3.236 * [taylor]: Taking taylor expansion of x in x 3.236 * [taylor]: Taking taylor expansion of x in x 3.236 * [taylor]: Taking taylor expansion of 1.0 in x 3.237 * [taylor]: Taking taylor expansion of (/ x (fma x x 1.0)) in x 3.237 * [taylor]: Taking taylor expansion of x in x 3.237 * [taylor]: Taking taylor expansion of (fma x x 1.0) in x 3.237 * [taylor]: Rewrote expression to (+ (* x x) 1.0) 3.237 * [taylor]: Taking taylor expansion of (* x x) in x 3.237 * [taylor]: Taking taylor expansion of x in x 3.237 * [taylor]: Taking taylor expansion of x in x 3.237 * [taylor]: Taking taylor expansion of 1.0 in x 3.249 * [approximate]: Taking taylor expansion of (/ 1 (* x (fma (/ 1 x) (/ 1 x) 1.0))) in (x) around 0 3.249 * [taylor]: Taking taylor expansion of (/ 1 (* x (fma (/ 1 x) (/ 1 x) 1.0))) in x 3.249 * [taylor]: Taking taylor expansion of (* x (fma (/ 1 x) (/ 1 x) 1.0)) in x 3.249 * [taylor]: Taking taylor expansion of x in x 3.249 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) 1.0) in x 3.249 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) 1.0) 3.249 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 3.249 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.249 * [taylor]: Taking taylor expansion of x in x 3.249 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.249 * [taylor]: Taking taylor expansion of x in x 3.250 * [taylor]: Taking taylor expansion of 1.0 in x 3.252 * [taylor]: Taking taylor expansion of (/ 1 (* x (fma (/ 1 x) (/ 1 x) 1.0))) in x 3.252 * [taylor]: Taking taylor expansion of (* x (fma (/ 1 x) (/ 1 x) 1.0)) in x 3.252 * [taylor]: Taking taylor expansion of x in x 3.252 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) 1.0) in x 3.252 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) 1.0) 3.252 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 3.252 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.252 * [taylor]: Taking taylor expansion of x in x 3.253 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.253 * [taylor]: Taking taylor expansion of x in x 3.253 * [taylor]: Taking taylor expansion of 1.0 in x 3.275 * [approximate]: Taking taylor expansion of (/ -1 (* x (fma (/ -1 x) (/ -1 x) 1.0))) in (x) around 0 3.275 * [taylor]: Taking taylor expansion of (/ -1 (* x (fma (/ -1 x) (/ -1 x) 1.0))) in x 3.275 * [taylor]: Taking taylor expansion of -1 in x 3.275 * [taylor]: Taking taylor expansion of (* x (fma (/ -1 x) (/ -1 x) 1.0)) in x 3.275 * [taylor]: Taking taylor expansion of x in x 3.275 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) 1.0) in x 3.275 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) 1.0) 3.275 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 3.275 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.275 * [taylor]: Taking taylor expansion of -1 in x 3.275 * [taylor]: Taking taylor expansion of x in x 3.275 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.275 * [taylor]: Taking taylor expansion of -1 in x 3.275 * [taylor]: Taking taylor expansion of x in x 3.276 * [taylor]: Taking taylor expansion of 1.0 in x 3.278 * [taylor]: Taking taylor expansion of (/ -1 (* x (fma (/ -1 x) (/ -1 x) 1.0))) in x 3.278 * [taylor]: Taking taylor expansion of -1 in x 3.278 * [taylor]: Taking taylor expansion of (* x (fma (/ -1 x) (/ -1 x) 1.0)) in x 3.278 * [taylor]: Taking taylor expansion of x in x 3.278 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) 1.0) in x 3.279 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) 1.0) 3.279 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 3.279 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.279 * [taylor]: Taking taylor expansion of -1 in x 3.279 * [taylor]: Taking taylor expansion of x in x 3.279 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.279 * [taylor]: Taking taylor expansion of -1 in x 3.279 * [taylor]: Taking taylor expansion of x in x 3.279 * [taylor]: Taking taylor expansion of 1.0 in x 3.303 * * * [progress]: simplifying candidates 3.308 * [simplify]: Simplifying using # : (expm1 (/ (fma x x 1.0) x)) (log1p (/ (fma x x 1.0) x)) (- (log (fma x x 1.0)) (log x)) (log (/ (fma x x 1.0) x)) (exp (/ (fma x x 1.0) x)) (/ (* (* (fma x x 1.0) (fma x x 1.0)) (fma x x 1.0)) (* (* x x) x)) (* (cbrt (/ (fma x x 1.0) x)) (cbrt (/ (fma x x 1.0) x))) (cbrt (/ (fma x x 1.0) x)) (* (* (/ (fma x x 1.0) x) (/ (fma x x 1.0) x)) (/ (fma x x 1.0) x)) (sqrt (/ (fma x x 1.0) x)) (sqrt (/ (fma x x 1.0) x)) (- (fma x x 1.0)) (- x) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) (* (cbrt x) (cbrt x))) (/ (cbrt (fma x x 1.0)) (cbrt x)) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) (sqrt x)) (/ (cbrt (fma x x 1.0)) (sqrt x)) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) 1) (/ (cbrt (fma x x 1.0)) x) (/ (sqrt (fma x x 1.0)) (* (cbrt x) (cbrt x))) (/ (sqrt (fma x x 1.0)) (cbrt x)) (/ (sqrt (fma x x 1.0)) (sqrt x)) (/ (sqrt (fma x x 1.0)) (sqrt x)) (/ (sqrt (fma x x 1.0)) 1) (/ (sqrt (fma x x 1.0)) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (fma x x 1.0) (cbrt x)) (/ 1 (sqrt x)) (/ (fma x x 1.0) (sqrt x)) (/ 1 1) (/ (fma x x 1.0) x) (/ 1 x) (/ x (fma x x 1.0)) (/ (fma x x 1.0) (* (cbrt x) (cbrt x))) (/ (fma x x 1.0) (sqrt x)) (/ (fma x x 1.0) 1) (/ x (cbrt (fma x x 1.0))) (/ x (sqrt (fma x x 1.0))) (/ x (fma x x 1.0)) (expm1 (/ (/ 1 1) (/ (fma x x 1.0) x))) (log1p (/ (/ 1 1) (/ (fma x x 1.0) x))) (- (- 0) (- (log (fma x x 1.0)) (log x))) (- (- 0) (log (/ (fma x x 1.0) x))) (- (- (log 1)) (- (log (fma x x 1.0)) (log x))) (- (- (log 1)) (log (/ (fma x x 1.0) x))) (- (- 0 0) (- (log (fma x x 1.0)) (log x))) (- (- 0 0) (log (/ (fma x x 1.0) x))) (- (- 0 (log 1)) (- (log (fma x x 1.0)) (log x))) (- (- 0 (log 1)) (log (/ (fma x x 1.0) x))) (- (- (log 1) 0) (- (log (fma x x 1.0)) (log x))) (- (- (log 1) 0) (log (/ (fma x x 1.0) x))) (- (- (log 1) (log 1)) (- (log (fma x x 1.0)) (log x))) (- (- (log 1) (log 1)) (log (/ (fma x x 1.0) x))) (- (log (/ 1 1)) (- (log (fma x x 1.0)) (log x))) (- (log (/ 1 1)) (log (/ (fma x x 1.0) x))) (log (/ (/ 1 1) (/ (fma x x 1.0) x))) (exp (/ (/ 1 1) (/ (fma x x 1.0) x))) (/ (/ (* (* 1 1) 1) (* (* 1 1) 1)) (/ (* (* (fma x x 1.0) (fma x x 1.0)) (fma x x 1.0)) (* (* x x) x))) (/ (/ (* (* 1 1) 1) (* (* 1 1) 1)) (* (* (/ (fma x x 1.0) x) (/ (fma x x 1.0) x)) (/ (fma x x 1.0) x))) (/ (* (* (/ 1 1) (/ 1 1)) (/ 1 1)) (/ (* (* (fma x x 1.0) (fma x x 1.0)) (fma x x 1.0)) (* (* x x) x))) (/ (* (* (/ 1 1) (/ 1 1)) (/ 1 1)) (* (* (/ (fma x x 1.0) x) (/ (fma x x 1.0) x)) (/ (fma x x 1.0) x))) (* (cbrt (/ (/ 1 1) (/ (fma x x 1.0) x))) (cbrt (/ (/ 1 1) (/ (fma x x 1.0) x)))) (cbrt (/ (/ 1 1) (/ (fma x x 1.0) x))) (* (* (/ (/ 1 1) (/ (fma x x 1.0) x)) (/ (/ 1 1) (/ (fma x x 1.0) x))) (/ (/ 1 1) (/ (fma x x 1.0) x))) (sqrt (/ (/ 1 1) (/ (fma x x 1.0) x))) (sqrt (/ (/ 1 1) (/ (fma x x 1.0) x))) (- (/ 1 1)) (- (/ (fma x x 1.0) x)) (/ (* (cbrt (/ 1 1)) (cbrt (/ 1 1))) (* (cbrt (/ (fma x x 1.0) x)) (cbrt (/ (fma x x 1.0) x)))) (/ (cbrt (/ 1 1)) (cbrt (/ (fma x x 1.0) x))) (/ (* (cbrt (/ 1 1)) (cbrt (/ 1 1))) (sqrt (/ (fma x x 1.0) x))) (/ (cbrt (/ 1 1)) (sqrt (/ (fma x x 1.0) x))) (/ (* (cbrt (/ 1 1)) (cbrt (/ 1 1))) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) (* (cbrt x) (cbrt x)))) (/ (cbrt (/ 1 1)) (/ (cbrt (fma x x 1.0)) (cbrt x))) (/ (* (cbrt (/ 1 1)) (cbrt (/ 1 1))) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) (sqrt x))) (/ (cbrt (/ 1 1)) (/ (cbrt (fma x x 1.0)) (sqrt x))) (/ (* (cbrt (/ 1 1)) (cbrt (/ 1 1))) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) 1)) (/ (cbrt (/ 1 1)) (/ (cbrt (fma x x 1.0)) x)) (/ (* (cbrt (/ 1 1)) (cbrt (/ 1 1))) (/ (sqrt (fma x x 1.0)) (* (cbrt x) (cbrt x)))) (/ (cbrt (/ 1 1)) (/ (sqrt (fma x x 1.0)) (cbrt x))) (/ (* (cbrt (/ 1 1)) (cbrt (/ 1 1))) (/ (sqrt (fma x x 1.0)) (sqrt x))) (/ (cbrt (/ 1 1)) (/ (sqrt (fma x x 1.0)) (sqrt x))) (/ (* (cbrt (/ 1 1)) (cbrt (/ 1 1))) (/ (sqrt (fma x x 1.0)) 1)) (/ (cbrt (/ 1 1)) (/ (sqrt (fma x x 1.0)) x)) (/ (* (cbrt (/ 1 1)) (cbrt (/ 1 1))) (/ 1 (* (cbrt x) (cbrt x)))) (/ (cbrt (/ 1 1)) (/ (fma x x 1.0) (cbrt x))) (/ (* (cbrt (/ 1 1)) (cbrt (/ 1 1))) (/ 1 (sqrt x))) (/ (cbrt (/ 1 1)) (/ (fma x x 1.0) (sqrt x))) (/ (* (cbrt (/ 1 1)) (cbrt (/ 1 1))) (/ 1 1)) (/ (cbrt (/ 1 1)) (/ (fma x x 1.0) x)) (/ (* (cbrt (/ 1 1)) (cbrt (/ 1 1))) 1) (/ (cbrt (/ 1 1)) (/ (fma x x 1.0) x)) (/ (* (cbrt (/ 1 1)) (cbrt (/ 1 1))) (fma x x 1.0)) (/ (cbrt (/ 1 1)) (/ 1 x)) (/ (sqrt (/ 1 1)) (* (cbrt (/ (fma x x 1.0) x)) (cbrt (/ (fma x x 1.0) x)))) (/ (sqrt (/ 1 1)) (cbrt (/ (fma x x 1.0) x))) (/ (sqrt (/ 1 1)) (sqrt (/ (fma x x 1.0) x))) (/ (sqrt (/ 1 1)) (sqrt (/ (fma x x 1.0) x))) (/ (sqrt (/ 1 1)) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) (* (cbrt x) (cbrt x)))) (/ (sqrt (/ 1 1)) (/ (cbrt (fma x x 1.0)) (cbrt x))) (/ (sqrt (/ 1 1)) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) (sqrt x))) (/ (sqrt (/ 1 1)) (/ (cbrt (fma x x 1.0)) (sqrt x))) (/ (sqrt (/ 1 1)) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) 1)) (/ (sqrt (/ 1 1)) (/ (cbrt (fma x x 1.0)) x)) (/ (sqrt (/ 1 1)) (/ (sqrt (fma x x 1.0)) (* (cbrt x) (cbrt x)))) (/ (sqrt (/ 1 1)) (/ (sqrt (fma x x 1.0)) (cbrt x))) (/ (sqrt (/ 1 1)) (/ (sqrt (fma x x 1.0)) (sqrt x))) (/ (sqrt (/ 1 1)) (/ (sqrt (fma x x 1.0)) (sqrt x))) (/ (sqrt (/ 1 1)) (/ (sqrt (fma x x 1.0)) 1)) (/ (sqrt (/ 1 1)) (/ (sqrt (fma x x 1.0)) x)) (/ (sqrt (/ 1 1)) (/ 1 (* (cbrt x) (cbrt x)))) (/ (sqrt (/ 1 1)) (/ (fma x x 1.0) (cbrt x))) (/ (sqrt (/ 1 1)) (/ 1 (sqrt x))) (/ (sqrt (/ 1 1)) (/ (fma x x 1.0) (sqrt x))) (/ (sqrt (/ 1 1)) (/ 1 1)) (/ (sqrt (/ 1 1)) (/ (fma x x 1.0) x)) (/ (sqrt (/ 1 1)) 1) (/ (sqrt (/ 1 1)) (/ (fma x x 1.0) x)) (/ (sqrt (/ 1 1)) (fma x x 1.0)) (/ (sqrt (/ 1 1)) (/ 1 x)) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (cbrt 1))) (* (cbrt (/ (fma x x 1.0) x)) (cbrt (/ (fma x x 1.0) x)))) (/ (/ (cbrt 1) (cbrt 1)) (cbrt (/ (fma x x 1.0) x))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (cbrt 1))) (sqrt (/ (fma x x 1.0) x))) (/ (/ (cbrt 1) (cbrt 1)) (sqrt (/ (fma x x 1.0) x))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (cbrt 1))) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) (* (cbrt x) (cbrt x)))) (/ (/ (cbrt 1) (cbrt 1)) (/ (cbrt (fma x x 1.0)) (cbrt x))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (cbrt 1))) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) (sqrt x))) (/ (/ (cbrt 1) (cbrt 1)) (/ (cbrt (fma x x 1.0)) (sqrt x))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (cbrt 1))) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) 1)) (/ (/ (cbrt 1) (cbrt 1)) (/ (cbrt (fma x x 1.0)) x)) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (cbrt 1))) (/ (sqrt (fma x x 1.0)) (* (cbrt x) (cbrt x)))) (/ (/ (cbrt 1) (cbrt 1)) (/ (sqrt (fma x x 1.0)) (cbrt x))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (cbrt 1))) (/ (sqrt (fma x x 1.0)) (sqrt x))) (/ (/ (cbrt 1) (cbrt 1)) (/ (sqrt (fma x x 1.0)) (sqrt x))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (cbrt 1))) (/ (sqrt (fma x x 1.0)) 1)) (/ (/ (cbrt 1) (cbrt 1)) (/ (sqrt (fma x x 1.0)) x)) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (cbrt 1))) (/ 1 (* (cbrt x) (cbrt x)))) (/ (/ (cbrt 1) (cbrt 1)) (/ (fma x x 1.0) (cbrt x))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (cbrt 1))) (/ 1 (sqrt x))) (/ (/ (cbrt 1) (cbrt 1)) (/ (fma x x 1.0) (sqrt x))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (cbrt 1))) (/ 1 1)) (/ (/ (cbrt 1) (cbrt 1)) (/ (fma x x 1.0) x)) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (cbrt 1))) 1) (/ (/ (cbrt 1) (cbrt 1)) (/ (fma x x 1.0) x)) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (cbrt 1))) (fma x x 1.0)) (/ (/ (cbrt 1) (cbrt 1)) (/ 1 x)) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt 1)) (* (cbrt (/ (fma x x 1.0) x)) (cbrt (/ (fma x x 1.0) x)))) (/ (/ (cbrt 1) (sqrt 1)) (cbrt (/ (fma x x 1.0) x))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt 1)) (sqrt (/ (fma x x 1.0) x))) (/ (/ (cbrt 1) (sqrt 1)) (sqrt (/ (fma x x 1.0) x))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt 1)) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) (* (cbrt x) (cbrt x)))) (/ (/ (cbrt 1) (sqrt 1)) (/ (cbrt (fma x x 1.0)) (cbrt x))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt 1)) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) (sqrt x))) (/ (/ (cbrt 1) (sqrt 1)) (/ (cbrt (fma x x 1.0)) (sqrt x))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt 1)) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) 1)) (/ (/ (cbrt 1) (sqrt 1)) (/ (cbrt (fma x x 1.0)) x)) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt 1)) (/ (sqrt (fma x x 1.0)) (* (cbrt x) (cbrt x)))) (/ (/ (cbrt 1) (sqrt 1)) (/ (sqrt (fma x x 1.0)) (cbrt x))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt 1)) (/ (sqrt (fma x x 1.0)) (sqrt x))) (/ (/ (cbrt 1) (sqrt 1)) (/ (sqrt (fma x x 1.0)) (sqrt x))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt 1)) (/ (sqrt (fma x x 1.0)) 1)) (/ (/ (cbrt 1) (sqrt 1)) (/ (sqrt (fma x x 1.0)) x)) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt 1)) (/ 1 (* (cbrt x) (cbrt x)))) (/ (/ (cbrt 1) (sqrt 1)) (/ (fma x x 1.0) (cbrt x))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt 1)) (/ 1 (sqrt x))) (/ (/ (cbrt 1) (sqrt 1)) (/ (fma x x 1.0) (sqrt x))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt 1)) (/ 1 1)) (/ (/ (cbrt 1) (sqrt 1)) (/ (fma x x 1.0) x)) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt 1)) 1) (/ (/ (cbrt 1) (sqrt 1)) (/ (fma x x 1.0) x)) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt 1)) (fma x x 1.0)) (/ (/ (cbrt 1) (sqrt 1)) (/ 1 x)) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (* (cbrt (/ (fma x x 1.0) x)) (cbrt (/ (fma x x 1.0) x)))) (/ (/ (cbrt 1) 1) (cbrt (/ (fma x x 1.0) x))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (sqrt (/ (fma x x 1.0) x))) (/ (/ (cbrt 1) 1) (sqrt (/ (fma x x 1.0) x))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) (* (cbrt x) (cbrt x)))) (/ (/ (cbrt 1) 1) (/ (cbrt (fma x x 1.0)) (cbrt x))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) (sqrt x))) (/ (/ (cbrt 1) 1) (/ (cbrt (fma x x 1.0)) (sqrt x))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) 1)) (/ (/ (cbrt 1) 1) (/ (cbrt (fma x x 1.0)) x)) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (sqrt (fma x x 1.0)) (* (cbrt x) (cbrt x)))) (/ (/ (cbrt 1) 1) (/ (sqrt (fma x x 1.0)) (cbrt x))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (sqrt (fma x x 1.0)) (sqrt x))) (/ (/ (cbrt 1) 1) (/ (sqrt (fma x x 1.0)) (sqrt x))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (sqrt (fma x x 1.0)) 1)) (/ (/ (cbrt 1) 1) (/ (sqrt (fma x x 1.0)) x)) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ 1 (* (cbrt x) (cbrt x)))) (/ (/ (cbrt 1) 1) (/ (fma x x 1.0) (cbrt x))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ 1 (sqrt x))) (/ (/ (cbrt 1) 1) (/ (fma x x 1.0) (sqrt x))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ 1 1)) (/ (/ (cbrt 1) 1) (/ (fma x x 1.0) x)) (/ (/ (* (cbrt 1) (cbrt 1)) 1) 1) (/ (/ (cbrt 1) 1) (/ (fma x x 1.0) x)) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (fma x x 1.0)) (/ (/ (cbrt 1) 1) (/ 1 x)) (/ (/ (sqrt 1) (* (cbrt 1) (cbrt 1))) (* (cbrt (/ (fma x x 1.0) x)) (cbrt (/ (fma x x 1.0) x)))) (/ (/ (sqrt 1) (cbrt 1)) (cbrt (/ (fma x x 1.0) x))) (/ (/ (sqrt 1) (* (cbrt 1) (cbrt 1))) (sqrt (/ (fma x x 1.0) x))) (/ (/ (sqrt 1) (cbrt 1)) (sqrt (/ (fma x x 1.0) x))) (/ (/ (sqrt 1) (* (cbrt 1) (cbrt 1))) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) (* (cbrt x) (cbrt x)))) (/ (/ (sqrt 1) (cbrt 1)) (/ (cbrt (fma x x 1.0)) (cbrt x))) (/ (/ (sqrt 1) (* (cbrt 1) (cbrt 1))) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) (sqrt x))) (/ (/ (sqrt 1) (cbrt 1)) (/ (cbrt (fma x x 1.0)) (sqrt x))) (/ (/ (sqrt 1) (* (cbrt 1) (cbrt 1))) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) 1)) (/ (/ (sqrt 1) (cbrt 1)) (/ (cbrt (fma x x 1.0)) x)) (/ (/ (sqrt 1) (* (cbrt 1) (cbrt 1))) (/ (sqrt (fma x x 1.0)) (* (cbrt x) (cbrt x)))) (/ (/ (sqrt 1) (cbrt 1)) (/ (sqrt (fma x x 1.0)) (cbrt x))) (/ (/ (sqrt 1) (* (cbrt 1) (cbrt 1))) (/ (sqrt (fma x x 1.0)) (sqrt x))) (/ (/ (sqrt 1) (cbrt 1)) (/ (sqrt (fma x x 1.0)) (sqrt x))) (/ (/ (sqrt 1) (* (cbrt 1) (cbrt 1))) (/ (sqrt (fma x x 1.0)) 1)) (/ (/ (sqrt 1) (cbrt 1)) (/ (sqrt (fma x x 1.0)) x)) (/ (/ (sqrt 1) (* (cbrt 1) (cbrt 1))) (/ 1 (* (cbrt x) (cbrt x)))) (/ (/ (sqrt 1) (cbrt 1)) (/ (fma x x 1.0) (cbrt x))) (/ (/ (sqrt 1) (* (cbrt 1) (cbrt 1))) (/ 1 (sqrt x))) (/ (/ (sqrt 1) (cbrt 1)) (/ (fma x x 1.0) (sqrt x))) (/ (/ (sqrt 1) (* (cbrt 1) (cbrt 1))) (/ 1 1)) (/ (/ (sqrt 1) (cbrt 1)) (/ (fma x x 1.0) x)) (/ (/ (sqrt 1) (* (cbrt 1) (cbrt 1))) 1) (/ (/ (sqrt 1) (cbrt 1)) (/ (fma x x 1.0) x)) (/ (/ (sqrt 1) (* (cbrt 1) (cbrt 1))) (fma x x 1.0)) (/ (/ (sqrt 1) (cbrt 1)) (/ 1 x)) (/ (/ (sqrt 1) (sqrt 1)) (* (cbrt (/ (fma x x 1.0) x)) (cbrt (/ (fma x x 1.0) x)))) (/ (/ (sqrt 1) (sqrt 1)) (cbrt (/ (fma x x 1.0) x))) (/ (/ (sqrt 1) (sqrt 1)) (sqrt (/ (fma x x 1.0) x))) (/ (/ (sqrt 1) (sqrt 1)) (sqrt (/ (fma x x 1.0) x))) (/ (/ (sqrt 1) (sqrt 1)) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) (* (cbrt x) (cbrt x)))) (/ (/ (sqrt 1) (sqrt 1)) (/ (cbrt (fma x x 1.0)) (cbrt x))) (/ (/ (sqrt 1) (sqrt 1)) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) (sqrt x))) (/ (/ (sqrt 1) (sqrt 1)) (/ (cbrt (fma x x 1.0)) (sqrt x))) (/ (/ (sqrt 1) (sqrt 1)) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) 1)) (/ (/ (sqrt 1) (sqrt 1)) (/ (cbrt (fma x x 1.0)) x)) (/ (/ (sqrt 1) (sqrt 1)) (/ (sqrt (fma x x 1.0)) (* (cbrt x) (cbrt x)))) (/ (/ (sqrt 1) (sqrt 1)) (/ (sqrt (fma x x 1.0)) (cbrt x))) (/ (/ (sqrt 1) (sqrt 1)) (/ (sqrt (fma x x 1.0)) (sqrt x))) (/ (/ (sqrt 1) (sqrt 1)) (/ (sqrt (fma x x 1.0)) (sqrt x))) (/ (/ (sqrt 1) (sqrt 1)) (/ (sqrt (fma x x 1.0)) 1)) (/ (/ (sqrt 1) (sqrt 1)) (/ (sqrt (fma x x 1.0)) x)) (/ (/ (sqrt 1) (sqrt 1)) (/ 1 (* (cbrt x) (cbrt x)))) (/ (/ (sqrt 1) (sqrt 1)) (/ (fma x x 1.0) (cbrt x))) (/ (/ (sqrt 1) (sqrt 1)) (/ 1 (sqrt x))) (/ (/ (sqrt 1) (sqrt 1)) (/ (fma x x 1.0) (sqrt x))) (/ (/ (sqrt 1) (sqrt 1)) (/ 1 1)) (/ (/ (sqrt 1) (sqrt 1)) (/ (fma x x 1.0) x)) (/ (/ (sqrt 1) (sqrt 1)) 1) (/ (/ (sqrt 1) (sqrt 1)) (/ (fma x x 1.0) x)) (/ (/ (sqrt 1) (sqrt 1)) (fma x x 1.0)) (/ (/ (sqrt 1) (sqrt 1)) (/ 1 x)) (/ (/ (sqrt 1) 1) (* (cbrt (/ (fma x x 1.0) x)) (cbrt (/ (fma x x 1.0) x)))) (/ (/ (sqrt 1) 1) (cbrt (/ (fma x x 1.0) x))) (/ (/ (sqrt 1) 1) (sqrt (/ (fma x x 1.0) x))) (/ (/ (sqrt 1) 1) (sqrt (/ (fma x x 1.0) x))) (/ (/ (sqrt 1) 1) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) (* (cbrt x) (cbrt x)))) (/ (/ (sqrt 1) 1) (/ (cbrt (fma x x 1.0)) (cbrt x))) (/ (/ (sqrt 1) 1) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) (sqrt x))) (/ (/ (sqrt 1) 1) (/ (cbrt (fma x x 1.0)) (sqrt x))) (/ (/ (sqrt 1) 1) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) 1)) (/ (/ (sqrt 1) 1) (/ (cbrt (fma x x 1.0)) x)) (/ (/ (sqrt 1) 1) (/ (sqrt (fma x x 1.0)) (* (cbrt x) (cbrt x)))) (/ (/ (sqrt 1) 1) (/ (sqrt (fma x x 1.0)) (cbrt x))) (/ (/ (sqrt 1) 1) (/ (sqrt (fma x x 1.0)) (sqrt x))) (/ (/ (sqrt 1) 1) (/ (sqrt (fma x x 1.0)) (sqrt x))) (/ (/ (sqrt 1) 1) (/ (sqrt (fma x x 1.0)) 1)) (/ (/ (sqrt 1) 1) (/ (sqrt (fma x x 1.0)) x)) (/ (/ (sqrt 1) 1) (/ 1 (* (cbrt x) (cbrt x)))) (/ (/ (sqrt 1) 1) (/ (fma x x 1.0) (cbrt x))) (/ (/ (sqrt 1) 1) (/ 1 (sqrt x))) (/ (/ (sqrt 1) 1) (/ (fma x x 1.0) (sqrt x))) (/ (/ (sqrt 1) 1) (/ 1 1)) (/ (/ (sqrt 1) 1) (/ (fma x x 1.0) x)) (/ (/ (sqrt 1) 1) 1) (/ (/ (sqrt 1) 1) (/ (fma x x 1.0) x)) (/ (/ (sqrt 1) 1) (fma x x 1.0)) (/ (/ (sqrt 1) 1) (/ 1 x)) (/ (/ 1 (* (cbrt 1) (cbrt 1))) (* (cbrt (/ (fma x x 1.0) x)) (cbrt (/ (fma x x 1.0) x)))) (/ (/ 1 (cbrt 1)) (cbrt (/ (fma x x 1.0) x))) (/ (/ 1 (* (cbrt 1) (cbrt 1))) (sqrt (/ (fma x x 1.0) x))) (/ (/ 1 (cbrt 1)) (sqrt (/ (fma x x 1.0) x))) (/ (/ 1 (* (cbrt 1) (cbrt 1))) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) (* (cbrt x) (cbrt x)))) (/ (/ 1 (cbrt 1)) (/ (cbrt (fma x x 1.0)) (cbrt x))) (/ (/ 1 (* (cbrt 1) (cbrt 1))) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) (sqrt x))) (/ (/ 1 (cbrt 1)) (/ (cbrt (fma x x 1.0)) (sqrt x))) (/ (/ 1 (* (cbrt 1) (cbrt 1))) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) 1)) (/ (/ 1 (cbrt 1)) (/ (cbrt (fma x x 1.0)) x)) (/ (/ 1 (* (cbrt 1) (cbrt 1))) (/ (sqrt (fma x x 1.0)) (* (cbrt x) (cbrt x)))) (/ (/ 1 (cbrt 1)) (/ (sqrt (fma x x 1.0)) (cbrt x))) (/ (/ 1 (* (cbrt 1) (cbrt 1))) (/ (sqrt (fma x x 1.0)) (sqrt x))) (/ (/ 1 (cbrt 1)) (/ (sqrt (fma x x 1.0)) (sqrt x))) (/ (/ 1 (* (cbrt 1) (cbrt 1))) (/ (sqrt (fma x x 1.0)) 1)) (/ (/ 1 (cbrt 1)) (/ (sqrt (fma x x 1.0)) x)) (/ (/ 1 (* (cbrt 1) (cbrt 1))) (/ 1 (* (cbrt x) (cbrt x)))) (/ (/ 1 (cbrt 1)) (/ (fma x x 1.0) (cbrt x))) (/ (/ 1 (* (cbrt 1) (cbrt 1))) (/ 1 (sqrt x))) (/ (/ 1 (cbrt 1)) (/ (fma x x 1.0) (sqrt x))) (/ (/ 1 (* (cbrt 1) (cbrt 1))) (/ 1 1)) (/ (/ 1 (cbrt 1)) (/ (fma x x 1.0) x)) (/ (/ 1 (* (cbrt 1) (cbrt 1))) 1) (/ (/ 1 (cbrt 1)) (/ (fma x x 1.0) x)) (/ (/ 1 (* (cbrt 1) (cbrt 1))) (fma x x 1.0)) (/ (/ 1 (cbrt 1)) (/ 1 x)) (/ (/ 1 (sqrt 1)) (* (cbrt (/ (fma x x 1.0) x)) (cbrt (/ (fma x x 1.0) x)))) (/ (/ 1 (sqrt 1)) (cbrt (/ (fma x x 1.0) x))) (/ (/ 1 (sqrt 1)) (sqrt (/ (fma x x 1.0) x))) (/ (/ 1 (sqrt 1)) (sqrt (/ (fma x x 1.0) x))) (/ (/ 1 (sqrt 1)) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) (* (cbrt x) (cbrt x)))) (/ (/ 1 (sqrt 1)) (/ (cbrt (fma x x 1.0)) (cbrt x))) (/ (/ 1 (sqrt 1)) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) (sqrt x))) (/ (/ 1 (sqrt 1)) (/ (cbrt (fma x x 1.0)) (sqrt x))) (/ (/ 1 (sqrt 1)) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) 1)) (/ (/ 1 (sqrt 1)) (/ (cbrt (fma x x 1.0)) x)) (/ (/ 1 (sqrt 1)) (/ (sqrt (fma x x 1.0)) (* (cbrt x) (cbrt x)))) (/ (/ 1 (sqrt 1)) (/ (sqrt (fma x x 1.0)) (cbrt x))) (/ (/ 1 (sqrt 1)) (/ (sqrt (fma x x 1.0)) (sqrt x))) (/ (/ 1 (sqrt 1)) (/ (sqrt (fma x x 1.0)) (sqrt x))) (/ (/ 1 (sqrt 1)) (/ (sqrt (fma x x 1.0)) 1)) (/ (/ 1 (sqrt 1)) (/ (sqrt (fma x x 1.0)) x)) (/ (/ 1 (sqrt 1)) (/ 1 (* (cbrt x) (cbrt x)))) (/ (/ 1 (sqrt 1)) (/ (fma x x 1.0) (cbrt x))) (/ (/ 1 (sqrt 1)) (/ 1 (sqrt x))) (/ (/ 1 (sqrt 1)) (/ (fma x x 1.0) (sqrt x))) (/ (/ 1 (sqrt 1)) (/ 1 1)) (/ (/ 1 (sqrt 1)) (/ (fma x x 1.0) x)) (/ (/ 1 (sqrt 1)) 1) (/ (/ 1 (sqrt 1)) (/ (fma x x 1.0) x)) (/ (/ 1 (sqrt 1)) (fma x x 1.0)) (/ (/ 1 (sqrt 1)) (/ 1 x)) (/ (/ 1 1) (* (cbrt (/ (fma x x 1.0) x)) (cbrt (/ (fma x x 1.0) x)))) (/ (/ 1 1) (cbrt (/ (fma x x 1.0) x))) (/ (/ 1 1) (sqrt (/ (fma x x 1.0) x))) (/ (/ 1 1) (sqrt (/ (fma x x 1.0) x))) (/ (/ 1 1) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) (* (cbrt x) (cbrt x)))) (/ (/ 1 1) (/ (cbrt (fma x x 1.0)) (cbrt x))) (/ (/ 1 1) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) (sqrt x))) (/ (/ 1 1) (/ (cbrt (fma x x 1.0)) (sqrt x))) (/ (/ 1 1) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) 1)) (/ (/ 1 1) (/ (cbrt (fma x x 1.0)) x)) (/ (/ 1 1) (/ (sqrt (fma x x 1.0)) (* (cbrt x) (cbrt x)))) (/ (/ 1 1) (/ (sqrt (fma x x 1.0)) (cbrt x))) (/ (/ 1 1) (/ (sqrt (fma x x 1.0)) (sqrt x))) (/ (/ 1 1) (/ (sqrt (fma x x 1.0)) (sqrt x))) (/ (/ 1 1) (/ (sqrt (fma x x 1.0)) 1)) (/ (/ 1 1) (/ (sqrt (fma x x 1.0)) x)) (/ (/ 1 1) (/ 1 (* (cbrt x) (cbrt x)))) (/ (/ 1 1) (/ (fma x x 1.0) (cbrt x))) (/ (/ 1 1) (/ 1 (sqrt x))) (/ (/ 1 1) (/ (fma x x 1.0) (sqrt x))) (/ (/ 1 1) (/ 1 1)) (/ (/ 1 1) (/ (fma x x 1.0) x)) (/ (/ 1 1) 1) (/ (/ 1 1) (/ (fma x x 1.0) x)) (/ (/ 1 1) (fma x x 1.0)) (/ (/ 1 1) (/ 1 x)) (/ 1 (* (cbrt (/ (fma x x 1.0) x)) (cbrt (/ (fma x x 1.0) x)))) (/ (/ 1 1) (cbrt (/ (fma x x 1.0) x))) (/ 1 (sqrt (/ (fma x x 1.0) x))) (/ (/ 1 1) (sqrt (/ (fma x x 1.0) x))) (/ 1 (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) (* (cbrt x) (cbrt x)))) (/ (/ 1 1) (/ (cbrt (fma x x 1.0)) (cbrt x))) (/ 1 (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) (sqrt x))) (/ (/ 1 1) (/ (cbrt (fma x x 1.0)) (sqrt x))) (/ 1 (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) 1)) (/ (/ 1 1) (/ (cbrt (fma x x 1.0)) x)) (/ 1 (/ (sqrt (fma x x 1.0)) (* (cbrt x) (cbrt x)))) (/ (/ 1 1) (/ (sqrt (fma x x 1.0)) (cbrt x))) (/ 1 (/ (sqrt (fma x x 1.0)) (sqrt x))) (/ (/ 1 1) (/ (sqrt (fma x x 1.0)) (sqrt x))) (/ 1 (/ (sqrt (fma x x 1.0)) 1)) (/ (/ 1 1) (/ (sqrt (fma x x 1.0)) x)) (/ 1 (/ 1 (* (cbrt x) (cbrt x)))) (/ (/ 1 1) (/ (fma x x 1.0) (cbrt x))) (/ 1 (/ 1 (sqrt x))) (/ (/ 1 1) (/ (fma x x 1.0) (sqrt x))) (/ 1 (/ 1 1)) (/ (/ 1 1) (/ (fma x x 1.0) x)) (/ 1 1) (/ (/ 1 1) (/ (fma x x 1.0) x)) (/ 1 (fma x x 1.0)) (/ (/ 1 1) (/ 1 x)) (/ 1 (* (cbrt (/ (fma x x 1.0) x)) (cbrt (/ (fma x x 1.0) x)))) (/ (/ 1 1) (cbrt (/ (fma x x 1.0) x))) (/ 1 (sqrt (/ (fma x x 1.0) x))) (/ (/ 1 1) (sqrt (/ (fma x x 1.0) x))) (/ 1 (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) (* (cbrt x) (cbrt x)))) (/ (/ 1 1) (/ (cbrt (fma x x 1.0)) (cbrt x))) (/ 1 (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) (sqrt x))) (/ (/ 1 1) (/ (cbrt (fma x x 1.0)) (sqrt x))) (/ 1 (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) 1)) (/ (/ 1 1) (/ (cbrt (fma x x 1.0)) x)) (/ 1 (/ (sqrt (fma x x 1.0)) (* (cbrt x) (cbrt x)))) (/ (/ 1 1) (/ (sqrt (fma x x 1.0)) (cbrt x))) (/ 1 (/ (sqrt (fma x x 1.0)) (sqrt x))) (/ (/ 1 1) (/ (sqrt (fma x x 1.0)) (sqrt x))) (/ 1 (/ (sqrt (fma x x 1.0)) 1)) (/ (/ 1 1) (/ (sqrt (fma x x 1.0)) x)) (/ 1 (/ 1 (* (cbrt x) (cbrt x)))) (/ (/ 1 1) (/ (fma x x 1.0) (cbrt x))) (/ 1 (/ 1 (sqrt x))) (/ (/ 1 1) (/ (fma x x 1.0) (sqrt x))) (/ 1 (/ 1 1)) (/ (/ 1 1) (/ (fma x x 1.0) x)) (/ 1 1) (/ (/ 1 1) (/ (fma x x 1.0) x)) (/ 1 (fma x x 1.0)) (/ (/ 1 1) (/ 1 x)) (/ 1 (/ (fma x x 1.0) x)) (/ (/ (fma x x 1.0) x) (/ 1 1)) (/ (/ 1 1) (* (cbrt (/ (fma x x 1.0) x)) (cbrt (/ (fma x x 1.0) x)))) (/ (/ 1 1) (sqrt (/ (fma x x 1.0) x))) (/ (/ 1 1) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) (* (cbrt x) (cbrt x)))) (/ (/ 1 1) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) (sqrt x))) (/ (/ 1 1) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) 1)) (/ (/ 1 1) (/ (sqrt (fma x x 1.0)) (* (cbrt x) (cbrt x)))) (/ (/ 1 1) (/ (sqrt (fma x x 1.0)) (sqrt x))) (/ (/ 1 1) (/ (sqrt (fma x x 1.0)) 1)) (/ (/ 1 1) (/ 1 (* (cbrt x) (cbrt x)))) (/ (/ 1 1) (/ 1 (sqrt x))) (/ (/ 1 1) (/ 1 1)) (/ (/ 1 1) 1) (/ (/ 1 1) (fma x x 1.0)) (/ (/ (fma x x 1.0) x) (cbrt (/ 1 1))) (/ (/ (fma x x 1.0) x) (sqrt (/ 1 1))) (/ (/ (fma x x 1.0) x) (/ (cbrt 1) (cbrt 1))) (/ (/ (fma x x 1.0) x) (/ (cbrt 1) (sqrt 1))) (/ (/ (fma x x 1.0) x) (/ (cbrt 1) 1)) (/ (/ (fma x x 1.0) x) (/ (sqrt 1) (cbrt 1))) (/ (/ (fma x x 1.0) x) (/ (sqrt 1) (sqrt 1))) (/ (/ (fma x x 1.0) x) (/ (sqrt 1) 1)) (/ (/ (fma x x 1.0) x) (/ 1 (cbrt 1))) (/ (/ (fma x x 1.0) x) (/ 1 (sqrt 1))) (/ (/ (fma x x 1.0) x) (/ 1 1)) (/ (/ (fma x x 1.0) x) (/ 1 1)) (/ (/ (fma x x 1.0) x) (/ 1 1)) (/ (/ 1 1) (fma x x 1.0)) (* (/ (fma x x 1.0) x) 1) (+ x (* 1.0 (/ 1 x))) (+ x (* 1.0 (/ 1 x))) (+ x (* 1.0 (/ 1 x))) (- (+ (* 1.0 x) (* 1.0 (pow x 5))) (* 1.0 (pow x 3))) (- (+ (* 1.0 (/ 1 (pow x 5))) (/ 1 x)) (* 1.0 (/ 1 (pow x 3)))) (- (+ (* 1.0 (/ 1 (pow x 5))) (/ 1 x)) (* 1.0 (/ 1 (pow x 3)))) 3.324 * * [simplify]: iteration 0 : 421 enodes (cost 5739 ) 3.414 * * [simplify]: iteration 1 : 1228 enodes (cost 4357 ) 4.523 * * [simplify]: iteration 2 : 3126 enodes (cost 3644 ) 14.112 * * [simplify]: iteration done : 5000 enodes (cost 3471 ) 14.114 * [simplify]: Simplified to: (expm1 (/ (fma x x 1.0) x)) (log1p (/ (fma x x 1.0) x)) (log (/ (fma x x 1.0) x)) (log (/ (fma x x 1.0) x)) (exp (/ (fma x x 1.0) x)) (pow (/ (fma x x 1.0) x) 3) (* (cbrt (/ (fma x x 1.0) x)) (cbrt (/ (fma x x 1.0) x))) (cbrt (/ (fma x x 1.0) x)) (pow (/ (fma x x 1.0) x) 3) (sqrt (/ (fma x x 1.0) x)) (sqrt (/ (fma x x 1.0) x)) (- (fma x x 1.0)) (- x) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) (* (cbrt x) (cbrt x))) (/ (cbrt (fma x x 1.0)) (cbrt x)) (/ (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) (sqrt x)) (/ (cbrt (fma x x 1.0)) (sqrt x)) (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0))) (/ (cbrt (fma x x 1.0)) x) (/ (/ (sqrt (fma x x 1.0)) (cbrt x)) (cbrt x)) (/ (sqrt (fma x x 1.0)) (cbrt x)) (/ (sqrt (fma x x 1.0)) (sqrt x)) (/ (sqrt (fma x x 1.0)) (sqrt x)) (sqrt (fma x x 1.0)) (/ (sqrt (fma x x 1.0)) x) (/ (/ 1 (cbrt x)) (cbrt x)) (/ (fma x x 1.0) (cbrt x)) (/ 1 (sqrt x)) (/ (fma x x 1.0) (sqrt x)) 1 (/ (fma x x 1.0) x) (/ 1 x) (/ x (fma x x 1.0)) (/ (fma x x 1.0) (* (cbrt x) (cbrt x))) (/ (fma x x 1.0) (sqrt x)) (fma x x 1.0) (/ x (cbrt (fma x x 1.0))) (/ x (sqrt (fma x x 1.0))) (/ x (fma x x 1.0)) (expm1 (/ x (fma x x 1.0))) (log1p (/ x (fma x x 1.0))) (log (/ x (fma x x 1.0))) (log (/ x (fma x x 1.0))) (log (/ x (fma x x 1.0))) (log (/ x (fma x x 1.0))) (log (/ x (fma x x 1.0))) (log (/ x (fma x x 1.0))) (log (/ x (fma x x 1.0))) (log (/ x (fma x x 1.0))) (log (/ x (fma x x 1.0))) (log (/ x (fma x x 1.0))) (log (/ x (fma x x 1.0))) (log (/ x (fma x x 1.0))) (log (/ x (fma x x 1.0))) (log (/ x (fma x x 1.0))) (log (/ x (fma x x 1.0))) (exp (/ x (fma x x 1.0))) (pow (/ x (fma x x 1.0)) 3) (pow (/ x (fma x x 1.0)) 3) (pow (/ x (fma x x 1.0)) 3) (pow (/ x (fma x x 1.0)) 3) (* (cbrt (/ x (fma x x 1.0))) (cbrt (/ x (fma x x 1.0)))) (cbrt (/ x (fma x x 1.0))) (pow (/ x (fma x x 1.0)) 3) (sqrt (/ x (fma x x 1.0))) (sqrt (/ x (fma x x 1.0))) -1 (- (/ (fma x x 1.0) x)) (/ (/ 1 (cbrt (/ (fma x x 1.0) x))) (cbrt (/ (fma x x 1.0) x))) (/ 1 (cbrt (/ (fma x x 1.0) x))) (/ 1 (sqrt (/ (fma x x 1.0) x))) (/ 1 (sqrt (/ (fma x x 1.0) x))) (/ (* (cbrt x) (cbrt x)) (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ 1 (/ (cbrt (fma x x 1.0)) (cbrt x))) (/ (sqrt x) (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ (sqrt x) (cbrt (fma x x 1.0))) (/ 1 (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ (* 1 x) (cbrt (fma x x 1.0))) (/ (* (cbrt x) (cbrt x)) (sqrt (fma x x 1.0))) (/ (cbrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ 1 (sqrt (fma x x 1.0))) (/ x (sqrt (fma x x 1.0))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (fma x x 1.0)) (sqrt x) (/ (sqrt x) (fma x x 1.0)) 1 (/ x (fma x x 1.0)) 1 (/ x (fma x x 1.0)) (/ 1 (fma x x 1.0)) (/ x 1) (/ (/ 1 (cbrt (/ (fma x x 1.0) x))) (cbrt (/ (fma x x 1.0) x))) (/ 1 (cbrt (/ (fma x x 1.0) x))) (/ 1 (sqrt (/ (fma x x 1.0) x))) (/ 1 (sqrt (/ (fma x x 1.0) x))) (/ (* (cbrt x) (cbrt x)) (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ 1 (/ (cbrt (fma x x 1.0)) (cbrt x))) (/ (sqrt x) (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ (sqrt x) (cbrt (fma x x 1.0))) (/ 1 (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ (* 1 x) (cbrt (fma x x 1.0))) (/ (* (cbrt x) (cbrt x)) (sqrt (fma x x 1.0))) (/ (cbrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ 1 (sqrt (fma x x 1.0))) (/ x (sqrt (fma x x 1.0))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (fma x x 1.0)) (sqrt x) (/ (sqrt x) (fma x x 1.0)) 1 (/ x (fma x x 1.0)) 1 (/ x (fma x x 1.0)) (/ 1 (fma x x 1.0)) (/ x 1) (/ (/ 1 (cbrt (/ (fma x x 1.0) x))) (cbrt (/ (fma x x 1.0) x))) (/ 1 (cbrt (/ (fma x x 1.0) x))) (/ 1 (sqrt (/ (fma x x 1.0) x))) (/ 1 (sqrt (/ (fma x x 1.0) x))) (/ (* (cbrt x) (cbrt x)) (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ 1 (/ (cbrt (fma x x 1.0)) (cbrt x))) (/ (sqrt x) (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ (sqrt x) (cbrt (fma x x 1.0))) (/ 1 (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ (* 1 x) (cbrt (fma x x 1.0))) (/ (* (cbrt x) (cbrt x)) (sqrt (fma x x 1.0))) (/ (cbrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ 1 (sqrt (fma x x 1.0))) (/ x (sqrt (fma x x 1.0))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (fma x x 1.0)) (sqrt x) (/ (sqrt x) (fma x x 1.0)) 1 (/ x (fma x x 1.0)) 1 (/ x (fma x x 1.0)) (/ 1 (fma x x 1.0)) (/ x 1) (/ (/ 1 (cbrt (/ (fma x x 1.0) x))) (cbrt (/ (fma x x 1.0) x))) (/ 1 (cbrt (/ (fma x x 1.0) x))) (/ 1 (sqrt (/ (fma x x 1.0) x))) (/ 1 (sqrt (/ (fma x x 1.0) x))) (/ (* (cbrt x) (cbrt x)) (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ 1 (/ (cbrt (fma x x 1.0)) (cbrt x))) (/ (sqrt x) (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ (sqrt x) (cbrt (fma x x 1.0))) (/ 1 (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ (* 1 x) (cbrt (fma x x 1.0))) (/ (* (cbrt x) (cbrt x)) (sqrt (fma x x 1.0))) (/ (cbrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ 1 (sqrt (fma x x 1.0))) (/ x (sqrt (fma x x 1.0))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (fma x x 1.0)) (sqrt x) (/ (sqrt x) (fma x x 1.0)) 1 (/ x (fma x x 1.0)) 1 (/ x (fma x x 1.0)) (/ 1 (fma x x 1.0)) (/ x 1) (/ (/ 1 (cbrt (/ (fma x x 1.0) x))) (cbrt (/ (fma x x 1.0) x))) (/ 1 (cbrt (/ (fma x x 1.0) x))) (/ 1 (sqrt (/ (fma x x 1.0) x))) (/ 1 (sqrt (/ (fma x x 1.0) x))) (/ (* (cbrt x) (cbrt x)) (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ 1 (/ (cbrt (fma x x 1.0)) (cbrt x))) (/ (sqrt x) (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ (sqrt x) (cbrt (fma x x 1.0))) (/ 1 (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ (* 1 x) (cbrt (fma x x 1.0))) (/ (* (cbrt x) (cbrt x)) (sqrt (fma x x 1.0))) (/ (cbrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ 1 (sqrt (fma x x 1.0))) (/ x (sqrt (fma x x 1.0))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (fma x x 1.0)) (sqrt x) (/ (sqrt x) (fma x x 1.0)) 1 (/ x (fma x x 1.0)) 1 (/ x (fma x x 1.0)) (/ 1 (fma x x 1.0)) (/ x 1) (/ (/ 1 (cbrt (/ (fma x x 1.0) x))) (cbrt (/ (fma x x 1.0) x))) (/ 1 (cbrt (/ (fma x x 1.0) x))) (/ 1 (sqrt (/ (fma x x 1.0) x))) (/ 1 (sqrt (/ (fma x x 1.0) x))) (/ (* (cbrt x) (cbrt x)) (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ 1 (/ (cbrt (fma x x 1.0)) (cbrt x))) (/ (sqrt x) (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ (sqrt x) (cbrt (fma x x 1.0))) (/ 1 (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ (* 1 x) (cbrt (fma x x 1.0))) (/ (* (cbrt x) (cbrt x)) (sqrt (fma x x 1.0))) (/ (cbrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ 1 (sqrt (fma x x 1.0))) (/ x (sqrt (fma x x 1.0))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (fma x x 1.0)) (sqrt x) (/ (sqrt x) (fma x x 1.0)) 1 (/ x (fma x x 1.0)) 1 (/ x (fma x x 1.0)) (/ 1 (fma x x 1.0)) (/ x 1) (/ (/ 1 (cbrt (/ (fma x x 1.0) x))) (cbrt (/ (fma x x 1.0) x))) (/ 1 (cbrt (/ (fma x x 1.0) x))) (/ 1 (sqrt (/ (fma x x 1.0) x))) (/ 1 (sqrt (/ (fma x x 1.0) x))) (/ (* (cbrt x) (cbrt x)) (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ 1 (/ (cbrt (fma x x 1.0)) (cbrt x))) (/ (sqrt x) (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ (sqrt x) (cbrt (fma x x 1.0))) (/ 1 (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ (* 1 x) (cbrt (fma x x 1.0))) (/ (* (cbrt x) (cbrt x)) (sqrt (fma x x 1.0))) (/ (cbrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ 1 (sqrt (fma x x 1.0))) (/ x (sqrt (fma x x 1.0))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (fma x x 1.0)) (sqrt x) (/ (sqrt x) (fma x x 1.0)) 1 (/ x (fma x x 1.0)) 1 (/ x (fma x x 1.0)) (/ 1 (fma x x 1.0)) (/ x 1) (/ (/ 1 (cbrt (/ (fma x x 1.0) x))) (cbrt (/ (fma x x 1.0) x))) (/ 1 (cbrt (/ (fma x x 1.0) x))) (/ 1 (sqrt (/ (fma x x 1.0) x))) (/ 1 (sqrt (/ (fma x x 1.0) x))) (/ (* (cbrt x) (cbrt x)) (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ 1 (/ (cbrt (fma x x 1.0)) (cbrt x))) (/ (sqrt x) (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ (sqrt x) (cbrt (fma x x 1.0))) (/ 1 (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ (* 1 x) (cbrt (fma x x 1.0))) (/ (* (cbrt x) (cbrt x)) (sqrt (fma x x 1.0))) (/ (cbrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ 1 (sqrt (fma x x 1.0))) (/ x (sqrt (fma x x 1.0))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (fma x x 1.0)) (sqrt x) (/ (sqrt x) (fma x x 1.0)) 1 (/ x (fma x x 1.0)) 1 (/ x (fma x x 1.0)) (/ 1 (fma x x 1.0)) (/ x 1) (/ (/ 1 (cbrt (/ (fma x x 1.0) x))) (cbrt (/ (fma x x 1.0) x))) (/ 1 (cbrt (/ (fma x x 1.0) x))) (/ 1 (sqrt (/ (fma x x 1.0) x))) (/ 1 (sqrt (/ (fma x x 1.0) x))) (/ (* (cbrt x) (cbrt x)) (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ 1 (/ (cbrt (fma x x 1.0)) (cbrt x))) (/ (sqrt x) (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ (sqrt x) (cbrt (fma x x 1.0))) (/ 1 (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ (* 1 x) (cbrt (fma x x 1.0))) (/ (* (cbrt x) (cbrt x)) (sqrt (fma x x 1.0))) (/ (cbrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ 1 (sqrt (fma x x 1.0))) (/ x (sqrt (fma x x 1.0))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (fma x x 1.0)) (sqrt x) (/ (sqrt x) (fma x x 1.0)) 1 (/ x (fma x x 1.0)) 1 (/ x (fma x x 1.0)) (/ 1 (fma x x 1.0)) (/ x 1) (/ (/ 1 (cbrt (/ (fma x x 1.0) x))) (cbrt (/ (fma x x 1.0) x))) (/ 1 (cbrt (/ (fma x x 1.0) x))) (/ 1 (sqrt (/ (fma x x 1.0) x))) (/ 1 (sqrt (/ (fma x x 1.0) x))) (/ (* (cbrt x) (cbrt x)) (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ 1 (/ (cbrt (fma x x 1.0)) (cbrt x))) (/ (sqrt x) (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ (sqrt x) (cbrt (fma x x 1.0))) (/ 1 (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ (* 1 x) (cbrt (fma x x 1.0))) (/ (* (cbrt x) (cbrt x)) (sqrt (fma x x 1.0))) (/ (cbrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ 1 (sqrt (fma x x 1.0))) (/ x (sqrt (fma x x 1.0))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (fma x x 1.0)) (sqrt x) (/ (sqrt x) (fma x x 1.0)) 1 (/ x (fma x x 1.0)) 1 (/ x (fma x x 1.0)) (/ 1 (fma x x 1.0)) (/ x 1) (/ (/ 1 (cbrt (/ (fma x x 1.0) x))) (cbrt (/ (fma x x 1.0) x))) (/ 1 (cbrt (/ (fma x x 1.0) x))) (/ 1 (sqrt (/ (fma x x 1.0) x))) (/ 1 (sqrt (/ (fma x x 1.0) x))) (/ (* (cbrt x) (cbrt x)) (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ 1 (/ (cbrt (fma x x 1.0)) (cbrt x))) (/ (sqrt x) (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ (sqrt x) (cbrt (fma x x 1.0))) (/ 1 (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ (* 1 x) (cbrt (fma x x 1.0))) (/ (* (cbrt x) (cbrt x)) (sqrt (fma x x 1.0))) (/ (cbrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ 1 (sqrt (fma x x 1.0))) (/ x (sqrt (fma x x 1.0))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (fma x x 1.0)) (sqrt x) (/ (sqrt x) (fma x x 1.0)) 1 (/ x (fma x x 1.0)) 1 (/ x (fma x x 1.0)) (/ 1 (fma x x 1.0)) (/ x 1) (/ (/ 1 (cbrt (/ (fma x x 1.0) x))) (cbrt (/ (fma x x 1.0) x))) (/ 1 (cbrt (/ (fma x x 1.0) x))) (/ 1 (sqrt (/ (fma x x 1.0) x))) (/ 1 (sqrt (/ (fma x x 1.0) x))) (/ (* (cbrt x) (cbrt x)) (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ 1 (/ (cbrt (fma x x 1.0)) (cbrt x))) (/ (sqrt x) (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ (sqrt x) (cbrt (fma x x 1.0))) (/ 1 (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ (* 1 x) (cbrt (fma x x 1.0))) (/ (* (cbrt x) (cbrt x)) (sqrt (fma x x 1.0))) (/ (cbrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ 1 (sqrt (fma x x 1.0))) (/ x (sqrt (fma x x 1.0))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (fma x x 1.0)) (sqrt x) (/ (sqrt x) (fma x x 1.0)) 1 (/ x (fma x x 1.0)) 1 (/ x (fma x x 1.0)) (/ 1 (fma x x 1.0)) (/ x 1) (/ (/ 1 (cbrt (/ (fma x x 1.0) x))) (cbrt (/ (fma x x 1.0) x))) (/ 1 (cbrt (/ (fma x x 1.0) x))) (/ 1 (sqrt (/ (fma x x 1.0) x))) (/ 1 (sqrt (/ (fma x x 1.0) x))) (/ (* (cbrt x) (cbrt x)) (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ 1 (/ (cbrt (fma x x 1.0)) (cbrt x))) (/ (sqrt x) (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ (sqrt x) (cbrt (fma x x 1.0))) (/ 1 (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ (* 1 x) (cbrt (fma x x 1.0))) (/ (* (cbrt x) (cbrt x)) (sqrt (fma x x 1.0))) (/ (cbrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ 1 (sqrt (fma x x 1.0))) (/ x (sqrt (fma x x 1.0))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (fma x x 1.0)) (sqrt x) (/ (sqrt x) (fma x x 1.0)) 1 (/ x (fma x x 1.0)) 1 (/ x (fma x x 1.0)) (/ 1 (fma x x 1.0)) (/ x 1) (/ x (fma x x 1.0)) (/ (fma x x 1.0) x) (/ (/ 1 (cbrt (/ (fma x x 1.0) x))) (cbrt (/ (fma x x 1.0) x))) (/ 1 (sqrt (/ (fma x x 1.0) x))) (/ (* (cbrt x) (cbrt x)) (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ (sqrt x) (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ 1 (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (/ (* (cbrt x) (cbrt x)) (sqrt (fma x x 1.0))) (/ (sqrt x) (sqrt (fma x x 1.0))) (/ 1 (sqrt (fma x x 1.0))) (* (cbrt x) (cbrt x)) (sqrt x) 1 1 (/ 1 (fma x x 1.0)) (/ (fma x x 1.0) x) (/ (fma x x 1.0) x) (/ (fma x x 1.0) x) (/ (fma x x 1.0) x) (/ (fma x x 1.0) x) (/ (fma x x 1.0) x) (/ (fma x x 1.0) x) (/ (fma x x 1.0) x) (/ (fma x x 1.0) x) (/ (fma x x 1.0) x) (/ (fma x x 1.0) x) (/ (fma x x 1.0) x) (/ (fma x x 1.0) x) (/ 1 (fma x x 1.0)) (/ (fma x x 1.0) x) (+ (/ 1.0 x) x) (+ (/ 1.0 x) x) (+ (/ 1.0 x) x) (* 1.0 (- (+ x (pow x 5)) (pow x 3))) (+ (/ 1 x) (- (/ 1.0 (pow x 5)) (/ 1.0 (pow x 3)))) (+ (/ 1 x) (- (/ 1.0 (pow x 5)) (/ 1.0 (pow x 3)))) 14.116 * * * [progress]: adding candidates to table 14.292 * * [progress]: iteration 4 / 4 14.292 * * * [progress]: picking best candidate 14.293 * * * * [pick]: Picked # 14.293 * * * [progress]: localizing error 14.298 * * * [progress]: generating rewritten candidates 14.298 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 14.322 * * * [progress]: generating series expansions 14.323 * * * * [progress]: [ 1 / 1 ] generating series at (2) 14.323 * [approximate]: Taking taylor expansion of (/ 1 (+ x (* 1.0 (/ 1 x)))) in (x) around 0 14.323 * [taylor]: Taking taylor expansion of (/ 1 (+ x (* 1.0 (/ 1 x)))) in x 14.323 * [taylor]: Taking taylor expansion of (+ x (* 1.0 (/ 1 x))) in x 14.323 * [taylor]: Taking taylor expansion of x in x 14.323 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 14.323 * [taylor]: Taking taylor expansion of 1.0 in x 14.323 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.323 * [taylor]: Taking taylor expansion of x in x 14.324 * [taylor]: Taking taylor expansion of (/ 1 (+ x (* 1.0 (/ 1 x)))) in x 14.324 * [taylor]: Taking taylor expansion of (+ x (* 1.0 (/ 1 x))) in x 14.324 * [taylor]: Taking taylor expansion of x in x 14.324 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 14.325 * [taylor]: Taking taylor expansion of 1.0 in x 14.325 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.325 * [taylor]: Taking taylor expansion of x in x 14.338 * [approximate]: Taking taylor expansion of (/ 1 (+ (* 1.0 x) (/ 1 x))) in (x) around 0 14.338 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 x) (/ 1 x))) in x 14.338 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (/ 1 x)) in x 14.338 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 14.338 * [taylor]: Taking taylor expansion of 1.0 in x 14.338 * [taylor]: Taking taylor expansion of x in x 14.338 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.338 * [taylor]: Taking taylor expansion of x in x 14.338 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 x) (/ 1 x))) in x 14.339 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (/ 1 x)) in x 14.339 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 14.339 * [taylor]: Taking taylor expansion of 1.0 in x 14.339 * [taylor]: Taking taylor expansion of x in x 14.339 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.339 * [taylor]: Taking taylor expansion of x in x 14.351 * [approximate]: Taking taylor expansion of (/ -1 (+ (* 1.0 x) (/ 1 x))) in (x) around 0 14.351 * [taylor]: Taking taylor expansion of (/ -1 (+ (* 1.0 x) (/ 1 x))) in x 14.352 * [taylor]: Taking taylor expansion of -1 in x 14.352 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (/ 1 x)) in x 14.352 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 14.352 * [taylor]: Taking taylor expansion of 1.0 in x 14.352 * [taylor]: Taking taylor expansion of x in x 14.352 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.352 * [taylor]: Taking taylor expansion of x in x 14.352 * [taylor]: Taking taylor expansion of (/ -1 (+ (* 1.0 x) (/ 1 x))) in x 14.352 * [taylor]: Taking taylor expansion of -1 in x 14.352 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (/ 1 x)) in x 14.352 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 14.352 * [taylor]: Taking taylor expansion of 1.0 in x 14.352 * [taylor]: Taking taylor expansion of x in x 14.353 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.353 * [taylor]: Taking taylor expansion of x in x 14.369 * * * [progress]: simplifying candidates 14.370 * [simplify]: Simplifying using # : (expm1 (/ (/ 1 1) (+ (/ 1.0 x) x))) (log1p (/ (/ 1 1) (+ (/ 1.0 x) x))) (- (- 0) (log (+ (/ 1.0 x) x))) (- (- (log 1)) (log (+ (/ 1.0 x) x))) (- (- 0 0) (log (+ (/ 1.0 x) x))) (- (- 0 (log 1)) (log (+ (/ 1.0 x) x))) (- (- (log 1) 0) (log (+ (/ 1.0 x) x))) (- (- (log 1) (log 1)) (log (+ (/ 1.0 x) x))) (- (log (/ 1 1)) (log (+ (/ 1.0 x) x))) (log (/ (/ 1 1) (+ (/ 1.0 x) x))) (exp (/ (/ 1 1) (+ (/ 1.0 x) x))) (/ (/ (* (* 1 1) 1) (* (* 1 1) 1)) (* (* (+ (/ 1.0 x) x) (+ (/ 1.0 x) x)) (+ (/ 1.0 x) x))) (/ (* (* (/ 1 1) (/ 1 1)) (/ 1 1)) (* (* (+ (/ 1.0 x) x) (+ (/ 1.0 x) x)) (+ (/ 1.0 x) x))) (* (cbrt (/ (/ 1 1) (+ (/ 1.0 x) x))) (cbrt (/ (/ 1 1) (+ (/ 1.0 x) x)))) (cbrt (/ (/ 1 1) (+ (/ 1.0 x) x))) (* (* (/ (/ 1 1) (+ (/ 1.0 x) x)) (/ (/ 1 1) (+ (/ 1.0 x) x))) (/ (/ 1 1) (+ (/ 1.0 x) x))) (sqrt (/ (/ 1 1) (+ (/ 1.0 x) x))) (sqrt (/ (/ 1 1) (+ (/ 1.0 x) x))) (- (/ 1 1)) (- (+ (/ 1.0 x) x)) (/ (* (cbrt (/ 1 1)) (cbrt (/ 1 1))) (* (cbrt (+ (/ 1.0 x) x)) (cbrt (+ (/ 1.0 x) x)))) (/ (cbrt (/ 1 1)) (cbrt (+ (/ 1.0 x) x))) (/ (* (cbrt (/ 1 1)) (cbrt (/ 1 1))) (sqrt (+ (/ 1.0 x) x))) (/ (cbrt (/ 1 1)) (sqrt (+ (/ 1.0 x) x))) (/ (* (cbrt (/ 1 1)) (cbrt (/ 1 1))) 1) (/ (cbrt (/ 1 1)) (+ (/ 1.0 x) x)) (/ (* (cbrt (/ 1 1)) (cbrt (/ 1 1))) 1) (/ (cbrt (/ 1 1)) (+ (/ 1.0 x) x)) (/ (sqrt (/ 1 1)) (* (cbrt (+ (/ 1.0 x) x)) (cbrt (+ (/ 1.0 x) x)))) (/ (sqrt (/ 1 1)) (cbrt (+ (/ 1.0 x) x))) (/ (sqrt (/ 1 1)) (sqrt (+ (/ 1.0 x) x))) (/ (sqrt (/ 1 1)) (sqrt (+ (/ 1.0 x) x))) (/ (sqrt (/ 1 1)) 1) (/ (sqrt (/ 1 1)) (+ (/ 1.0 x) x)) (/ (sqrt (/ 1 1)) 1) (/ (sqrt (/ 1 1)) (+ (/ 1.0 x) x)) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (cbrt 1))) (* (cbrt (+ (/ 1.0 x) x)) (cbrt (+ (/ 1.0 x) x)))) (/ (/ (cbrt 1) (cbrt 1)) (cbrt (+ (/ 1.0 x) x))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (cbrt 1))) (sqrt (+ (/ 1.0 x) x))) (/ (/ (cbrt 1) (cbrt 1)) (sqrt (+ (/ 1.0 x) x))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (cbrt 1))) 1) (/ (/ (cbrt 1) (cbrt 1)) (+ (/ 1.0 x) x)) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (cbrt 1))) 1) (/ (/ (cbrt 1) (cbrt 1)) (+ (/ 1.0 x) x)) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt 1)) (* (cbrt (+ (/ 1.0 x) x)) (cbrt (+ (/ 1.0 x) x)))) (/ (/ (cbrt 1) (sqrt 1)) (cbrt (+ (/ 1.0 x) x))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt 1)) (sqrt (+ (/ 1.0 x) x))) (/ (/ (cbrt 1) (sqrt 1)) (sqrt (+ (/ 1.0 x) x))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt 1)) 1) (/ (/ (cbrt 1) (sqrt 1)) (+ (/ 1.0 x) x)) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt 1)) 1) (/ (/ (cbrt 1) (sqrt 1)) (+ (/ 1.0 x) x)) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (* (cbrt (+ (/ 1.0 x) x)) (cbrt (+ (/ 1.0 x) x)))) (/ (/ (cbrt 1) 1) (cbrt (+ (/ 1.0 x) x))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (sqrt (+ (/ 1.0 x) x))) (/ (/ (cbrt 1) 1) (sqrt (+ (/ 1.0 x) x))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) 1) (/ (/ (cbrt 1) 1) (+ (/ 1.0 x) x)) (/ (/ (* (cbrt 1) (cbrt 1)) 1) 1) (/ (/ (cbrt 1) 1) (+ (/ 1.0 x) x)) (/ (/ (sqrt 1) (* (cbrt 1) (cbrt 1))) (* (cbrt (+ (/ 1.0 x) x)) (cbrt (+ (/ 1.0 x) x)))) (/ (/ (sqrt 1) (cbrt 1)) (cbrt (+ (/ 1.0 x) x))) (/ (/ (sqrt 1) (* (cbrt 1) (cbrt 1))) (sqrt (+ (/ 1.0 x) x))) (/ (/ (sqrt 1) (cbrt 1)) (sqrt (+ (/ 1.0 x) x))) (/ (/ (sqrt 1) (* (cbrt 1) (cbrt 1))) 1) (/ (/ (sqrt 1) (cbrt 1)) (+ (/ 1.0 x) x)) (/ (/ (sqrt 1) (* (cbrt 1) (cbrt 1))) 1) (/ (/ (sqrt 1) (cbrt 1)) (+ (/ 1.0 x) x)) (/ (/ (sqrt 1) (sqrt 1)) (* (cbrt (+ (/ 1.0 x) x)) (cbrt (+ (/ 1.0 x) x)))) (/ (/ (sqrt 1) (sqrt 1)) (cbrt (+ (/ 1.0 x) x))) (/ (/ (sqrt 1) (sqrt 1)) (sqrt (+ (/ 1.0 x) x))) (/ (/ (sqrt 1) (sqrt 1)) (sqrt (+ (/ 1.0 x) x))) (/ (/ (sqrt 1) (sqrt 1)) 1) (/ (/ (sqrt 1) (sqrt 1)) (+ (/ 1.0 x) x)) (/ (/ (sqrt 1) (sqrt 1)) 1) (/ (/ (sqrt 1) (sqrt 1)) (+ (/ 1.0 x) x)) (/ (/ (sqrt 1) 1) (* (cbrt (+ (/ 1.0 x) x)) (cbrt (+ (/ 1.0 x) x)))) (/ (/ (sqrt 1) 1) (cbrt (+ (/ 1.0 x) x))) (/ (/ (sqrt 1) 1) (sqrt (+ (/ 1.0 x) x))) (/ (/ (sqrt 1) 1) (sqrt (+ (/ 1.0 x) x))) (/ (/ (sqrt 1) 1) 1) (/ (/ (sqrt 1) 1) (+ (/ 1.0 x) x)) (/ (/ (sqrt 1) 1) 1) (/ (/ (sqrt 1) 1) (+ (/ 1.0 x) x)) (/ (/ 1 (* (cbrt 1) (cbrt 1))) (* (cbrt (+ (/ 1.0 x) x)) (cbrt (+ (/ 1.0 x) x)))) (/ (/ 1 (cbrt 1)) (cbrt (+ (/ 1.0 x) x))) (/ (/ 1 (* (cbrt 1) (cbrt 1))) (sqrt (+ (/ 1.0 x) x))) (/ (/ 1 (cbrt 1)) (sqrt (+ (/ 1.0 x) x))) (/ (/ 1 (* (cbrt 1) (cbrt 1))) 1) (/ (/ 1 (cbrt 1)) (+ (/ 1.0 x) x)) (/ (/ 1 (* (cbrt 1) (cbrt 1))) 1) (/ (/ 1 (cbrt 1)) (+ (/ 1.0 x) x)) (/ (/ 1 (sqrt 1)) (* (cbrt (+ (/ 1.0 x) x)) (cbrt (+ (/ 1.0 x) x)))) (/ (/ 1 (sqrt 1)) (cbrt (+ (/ 1.0 x) x))) (/ (/ 1 (sqrt 1)) (sqrt (+ (/ 1.0 x) x))) (/ (/ 1 (sqrt 1)) (sqrt (+ (/ 1.0 x) x))) (/ (/ 1 (sqrt 1)) 1) (/ (/ 1 (sqrt 1)) (+ (/ 1.0 x) x)) (/ (/ 1 (sqrt 1)) 1) (/ (/ 1 (sqrt 1)) (+ (/ 1.0 x) x)) (/ (/ 1 1) (* (cbrt (+ (/ 1.0 x) x)) (cbrt (+ (/ 1.0 x) x)))) (/ (/ 1 1) (cbrt (+ (/ 1.0 x) x))) (/ (/ 1 1) (sqrt (+ (/ 1.0 x) x))) (/ (/ 1 1) (sqrt (+ (/ 1.0 x) x))) (/ (/ 1 1) 1) (/ (/ 1 1) (+ (/ 1.0 x) x)) (/ (/ 1 1) 1) (/ (/ 1 1) (+ (/ 1.0 x) x)) (/ 1 (* (cbrt (+ (/ 1.0 x) x)) (cbrt (+ (/ 1.0 x) x)))) (/ (/ 1 1) (cbrt (+ (/ 1.0 x) x))) (/ 1 (sqrt (+ (/ 1.0 x) x))) (/ (/ 1 1) (sqrt (+ (/ 1.0 x) x))) (/ 1 1) (/ (/ 1 1) (+ (/ 1.0 x) x)) (/ 1 1) (/ (/ 1 1) (+ (/ 1.0 x) x)) (/ 1 (* (cbrt (+ (/ 1.0 x) x)) (cbrt (+ (/ 1.0 x) x)))) (/ (/ 1 1) (cbrt (+ (/ 1.0 x) x))) (/ 1 (sqrt (+ (/ 1.0 x) x))) (/ (/ 1 1) (sqrt (+ (/ 1.0 x) x))) (/ 1 1) (/ (/ 1 1) (+ (/ 1.0 x) x)) (/ 1 1) (/ (/ 1 1) (+ (/ 1.0 x) x)) (/ 1 (+ (/ 1.0 x) x)) (/ (+ (/ 1.0 x) x) (/ 1 1)) (/ (/ 1 1) (* (cbrt (+ (/ 1.0 x) x)) (cbrt (+ (/ 1.0 x) x)))) (/ (/ 1 1) (sqrt (+ (/ 1.0 x) x))) (/ (/ 1 1) 1) (/ (/ 1 1) 1) (/ (+ (/ 1.0 x) x) (cbrt (/ 1 1))) (/ (+ (/ 1.0 x) x) (sqrt (/ 1 1))) (/ (+ (/ 1.0 x) x) (/ (cbrt 1) (cbrt 1))) (/ (+ (/ 1.0 x) x) (/ (cbrt 1) (sqrt 1))) (/ (+ (/ 1.0 x) x) (/ (cbrt 1) 1)) (/ (+ (/ 1.0 x) x) (/ (sqrt 1) (cbrt 1))) (/ (+ (/ 1.0 x) x) (/ (sqrt 1) (sqrt 1))) (/ (+ (/ 1.0 x) x) (/ (sqrt 1) 1)) (/ (+ (/ 1.0 x) x) (/ 1 (cbrt 1))) (/ (+ (/ 1.0 x) x) (/ 1 (sqrt 1))) (/ (+ (/ 1.0 x) x) (/ 1 1)) (/ (+ (/ 1.0 x) x) (/ 1 1)) (/ (+ (/ 1.0 x) x) (/ 1 1)) (/ (/ 1 1) (+ (pow (/ 1.0 x) 3) (pow x 3))) (/ (/ 1 1) (- (* (/ 1.0 x) (/ 1.0 x)) (* x x))) (* (+ (/ 1.0 x) x) 1) (- (+ (* 1.0 x) (* 1.0 (pow x 5))) (* 1.0 (pow x 3))) (- (+ (* 1.0 (/ 1 (pow x 5))) (/ 1 x)) (* 1.0 (/ 1 (pow x 3)))) (- (+ (* 1.0 (/ 1 (pow x 5))) (/ 1 x)) (* 1.0 (/ 1 (pow x 3)))) 14.375 * * [simplify]: iteration 0 : 164 enodes (cost 1697 ) 14.404 * * [simplify]: iteration 1 : 406 enodes (cost 1232 ) 14.678 * * [simplify]: iteration 2 : 1093 enodes (cost 1042 ) 19.602 * * [simplify]: iteration 3 : 2283 enodes (cost 1042 ) 22.866 * * [simplify]: iteration done : 5000 enodes (cost 1042 ) 22.867 * [simplify]: Simplified to: (expm1 (/ 1 (+ (/ 1.0 x) x))) (log1p (/ 1 (+ (/ 1.0 x) x))) (- (log (+ (/ 1.0 x) x))) (- (log (+ (/ 1.0 x) x))) (- (log (+ (/ 1.0 x) x))) (- (log (+ (/ 1.0 x) x))) (- (log (+ (/ 1.0 x) x))) (- (log (+ (/ 1.0 x) x))) (- (log (+ (/ 1.0 x) x))) (- (log (+ (/ 1.0 x) x))) (exp (/ 1 (+ (/ 1.0 x) x))) (/ 1 (pow (+ (/ 1.0 x) x) 3)) (/ 1 (pow (+ (/ 1.0 x) x) 3)) (* (cbrt (/ 1 (+ (/ 1.0 x) x))) (cbrt (/ 1 (+ (/ 1.0 x) x)))) (cbrt (/ 1 (+ (/ 1.0 x) x))) (/ 1 (pow (+ (/ 1.0 x) x) 3)) (sqrt (/ 1 (+ (/ 1.0 x) x))) (sqrt (/ 1 (+ (/ 1.0 x) x))) -1 (- (+ (/ 1.0 x) x)) (/ 1 (* (cbrt (+ (/ 1.0 x) x)) (cbrt (+ (/ 1.0 x) x)))) (/ 1 (cbrt (+ (/ 1.0 x) x))) (/ 1 (sqrt (+ (/ 1.0 x) x))) (/ 1 (sqrt (+ (/ 1.0 x) x))) 1 (/ 1 (+ (/ 1.0 x) x)) 1 (/ 1 (+ (/ 1.0 x) x)) (/ 1 (* (cbrt (+ (/ 1.0 x) x)) (cbrt (+ (/ 1.0 x) x)))) (/ 1 (cbrt (+ (/ 1.0 x) x))) (/ 1 (sqrt (+ (/ 1.0 x) x))) (/ 1 (sqrt (+ (/ 1.0 x) x))) 1 (/ 1 (+ (/ 1.0 x) x)) 1 (/ 1 (+ (/ 1.0 x) x)) (/ 1 (* (cbrt (+ (/ 1.0 x) x)) (cbrt (+ (/ 1.0 x) x)))) (/ 1 (cbrt (+ (/ 1.0 x) x))) (/ 1 (sqrt (+ (/ 1.0 x) x))) (/ 1 (sqrt (+ (/ 1.0 x) x))) 1 (/ 1 (+ (/ 1.0 x) x)) 1 (/ 1 (+ (/ 1.0 x) x)) (/ 1 (* (cbrt (+ (/ 1.0 x) x)) (cbrt (+ (/ 1.0 x) x)))) (/ 1 (cbrt (+ (/ 1.0 x) x))) (/ 1 (sqrt (+ (/ 1.0 x) x))) (/ 1 (sqrt (+ (/ 1.0 x) x))) 1 (/ 1 (+ (/ 1.0 x) x)) 1 (/ 1 (+ (/ 1.0 x) x)) (/ 1 (* (cbrt (+ (/ 1.0 x) x)) (cbrt (+ (/ 1.0 x) x)))) (/ 1 (cbrt (+ (/ 1.0 x) x))) (/ 1 (sqrt (+ (/ 1.0 x) x))) (/ 1 (sqrt (+ (/ 1.0 x) x))) 1 (/ 1 (+ (/ 1.0 x) x)) 1 (/ 1 (+ (/ 1.0 x) x)) (/ 1 (* (cbrt (+ (/ 1.0 x) x)) (cbrt (+ (/ 1.0 x) x)))) (/ 1 (cbrt (+ (/ 1.0 x) x))) (/ 1 (sqrt (+ (/ 1.0 x) x))) (/ 1 (sqrt (+ (/ 1.0 x) x))) 1 (/ 1 (+ (/ 1.0 x) x)) 1 (/ 1 (+ (/ 1.0 x) x)) (/ 1 (* (cbrt (+ (/ 1.0 x) x)) (cbrt (+ (/ 1.0 x) x)))) (/ 1 (cbrt (+ (/ 1.0 x) x))) (/ 1 (sqrt (+ (/ 1.0 x) x))) (/ 1 (sqrt (+ (/ 1.0 x) x))) 1 (/ 1 (+ (/ 1.0 x) x)) 1 (/ 1 (+ (/ 1.0 x) x)) (/ 1 (* (cbrt (+ (/ 1.0 x) x)) (cbrt (+ (/ 1.0 x) x)))) (/ 1 (cbrt (+ (/ 1.0 x) x))) (/ 1 (sqrt (+ (/ 1.0 x) x))) (/ 1 (sqrt (+ (/ 1.0 x) x))) 1 (/ 1 (+ (/ 1.0 x) x)) 1 (/ 1 (+ (/ 1.0 x) x)) (/ 1 (* (cbrt (+ (/ 1.0 x) x)) (cbrt (+ (/ 1.0 x) x)))) (/ 1 (cbrt (+ (/ 1.0 x) x))) (/ 1 (sqrt (+ (/ 1.0 x) x))) (/ 1 (sqrt (+ (/ 1.0 x) x))) 1 (/ 1 (+ (/ 1.0 x) x)) 1 (/ 1 (+ (/ 1.0 x) x)) (/ 1 (* (cbrt (+ (/ 1.0 x) x)) (cbrt (+ (/ 1.0 x) x)))) (/ 1 (cbrt (+ (/ 1.0 x) x))) (/ 1 (sqrt (+ (/ 1.0 x) x))) (/ 1 (sqrt (+ (/ 1.0 x) x))) 1 (/ 1 (+ (/ 1.0 x) x)) 1 (/ 1 (+ (/ 1.0 x) x)) (/ 1 (* (cbrt (+ (/ 1.0 x) x)) (cbrt (+ (/ 1.0 x) x)))) (/ 1 (cbrt (+ (/ 1.0 x) x))) (/ 1 (sqrt (+ (/ 1.0 x) x))) (/ 1 (sqrt (+ (/ 1.0 x) x))) 1 (/ 1 (+ (/ 1.0 x) x)) 1 (/ 1 (+ (/ 1.0 x) x)) (/ 1 (* (cbrt (+ (/ 1.0 x) x)) (cbrt (+ (/ 1.0 x) x)))) (/ 1 (cbrt (+ (/ 1.0 x) x))) (/ 1 (sqrt (+ (/ 1.0 x) x))) (/ 1 (sqrt (+ (/ 1.0 x) x))) 1 (/ 1 (+ (/ 1.0 x) x)) 1 (/ 1 (+ (/ 1.0 x) x)) (/ 1 (* (cbrt (+ (/ 1.0 x) x)) (cbrt (+ (/ 1.0 x) x)))) (/ 1 (cbrt (+ (/ 1.0 x) x))) (/ 1 (sqrt (+ (/ 1.0 x) x))) (/ 1 (sqrt (+ (/ 1.0 x) x))) 1 (/ 1 (+ (/ 1.0 x) x)) 1 (/ 1 (+ (/ 1.0 x) x)) (/ 1 (+ (/ 1.0 x) x)) (+ (/ 1.0 x) x) (/ 1 (* (cbrt (+ (/ 1.0 x) x)) (cbrt (+ (/ 1.0 x) x)))) (/ 1 (sqrt (+ (/ 1.0 x) x))) 1 1 (+ (/ 1.0 x) x) (+ (/ 1.0 x) x) (+ (/ 1.0 x) x) (+ (/ 1.0 x) x) (+ (/ 1.0 x) x) (+ (/ 1.0 x) x) (+ (/ 1.0 x) x) (+ (/ 1.0 x) x) (+ (/ 1.0 x) x) (+ (/ 1.0 x) x) (+ (/ 1.0 x) x) (+ (/ 1.0 x) x) (+ (/ 1.0 x) x) (/ 1 (+ (pow (/ 1.0 x) 3) (pow x 3))) (/ 1 (- (* (/ 1.0 x) (/ 1.0 x)) (* x x))) (+ (/ 1.0 x) x) (* 1.0 (- (+ x (pow x 5)) (pow x 3))) (+ (- (/ 1 x) (/ 1.0 (pow x 3))) (/ 1.0 (pow x 5))) (+ (- (/ 1 x) (/ 1.0 (pow x 3))) (/ 1.0 (pow x 5))) 22.867 * * * [progress]: adding candidates to table 22.935 * [progress]: [Phase 3 of 3] Extracting. 22.935 * * [regime]: Finding splitpoints for: (# #) 22.935 * * * [regime-changes]: Trying 1 branch expressions: (x) 22.935 * * * * [regimes]: Trying to branch on x from (# #) 22.944 * * * [regime]: Found split indices: #