5.372 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.014 * * * [progress]: [2/2] Setting up program. 0.016 * [progress]: [Phase 2 of 3] Improving. 0.016 * [simplify]: Simplifying using # : (* x (+ 1.0 (* y y))) 0.017 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.018 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 0.020 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 0.023 * * [simplify]: iteration 3 : 26 enodes (cost 6 ) 0.026 * * [simplify]: iteration done : 26 enodes (cost 6 ) 0.026 * [simplify]: Simplified to: (* (fma y y 1.0) x) 0.029 * * [progress]: iteration 1 / 4 0.029 * * * [progress]: picking best candidate 0.031 * * * * [pick]: Picked # 0.031 * * * [progress]: localizing error 0.038 * * * [progress]: generating rewritten candidates 0.038 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.042 * * * [progress]: generating series expansions 0.042 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.042 * [approximate]: Taking taylor expansion of (* (fma y y 1.0) x) in (y x) around 0 0.042 * [taylor]: Taking taylor expansion of (* (fma y y 1.0) x) in x 0.042 * [taylor]: Taking taylor expansion of (fma y y 1.0) in x 0.042 * [taylor]: Rewrote expression to (+ (* y y) 1.0) 0.042 * [taylor]: Taking taylor expansion of (* y y) in x 0.042 * [taylor]: Taking taylor expansion of y in x 0.042 * [taylor]: Taking taylor expansion of y in x 0.042 * [taylor]: Taking taylor expansion of 1.0 in x 0.042 * [taylor]: Taking taylor expansion of x in x 0.042 * [taylor]: Taking taylor expansion of (* (fma y y 1.0) x) in y 0.042 * [taylor]: Taking taylor expansion of (fma y y 1.0) in y 0.042 * [taylor]: Rewrote expression to (+ (* y y) 1.0) 0.042 * [taylor]: Taking taylor expansion of (* y y) in y 0.043 * [taylor]: Taking taylor expansion of y in y 0.043 * [taylor]: Taking taylor expansion of y in y 0.043 * [taylor]: Taking taylor expansion of 1.0 in y 0.043 * [taylor]: Taking taylor expansion of x in y 0.043 * [taylor]: Taking taylor expansion of (* (fma y y 1.0) x) in y 0.043 * [taylor]: Taking taylor expansion of (fma y y 1.0) in y 0.043 * [taylor]: Rewrote expression to (+ (* y y) 1.0) 0.043 * [taylor]: Taking taylor expansion of (* y y) in y 0.043 * [taylor]: Taking taylor expansion of y in y 0.043 * [taylor]: Taking taylor expansion of y in y 0.043 * [taylor]: Taking taylor expansion of 1.0 in y 0.043 * [taylor]: Taking taylor expansion of x in y 0.044 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.044 * [taylor]: Taking taylor expansion of 1.0 in x 0.044 * [taylor]: Taking taylor expansion of x in x 0.045 * [taylor]: Taking taylor expansion of 0 in x 0.047 * [taylor]: Taking taylor expansion of x in x 0.050 * [taylor]: Taking taylor expansion of 0 in x 0.052 * [taylor]: Taking taylor expansion of 0 in x 0.053 * [approximate]: Taking taylor expansion of (/ (fma (/ 1 y) (/ 1 y) 1.0) x) in (y x) around 0 0.053 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) (/ 1 y) 1.0) x) in x 0.053 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) 1.0) in x 0.053 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) 1.0) 0.053 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in x 0.053 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.053 * [taylor]: Taking taylor expansion of y in x 0.053 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.053 * [taylor]: Taking taylor expansion of y in x 0.053 * [taylor]: Taking taylor expansion of 1.0 in x 0.053 * [taylor]: Taking taylor expansion of x in x 0.053 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) (/ 1 y) 1.0) x) in y 0.053 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) 1.0) in y 0.053 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) 1.0) 0.053 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y 0.053 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.053 * [taylor]: Taking taylor expansion of y in y 0.054 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.054 * [taylor]: Taking taylor expansion of y in y 0.054 * [taylor]: Taking taylor expansion of 1.0 in y 0.054 * [taylor]: Taking taylor expansion of x in y 0.055 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) (/ 1 y) 1.0) x) in y 0.055 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) 1.0) in y 0.055 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) 1.0) 0.055 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y 0.055 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.055 * [taylor]: Taking taylor expansion of y in y 0.055 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.055 * [taylor]: Taking taylor expansion of y in y 0.056 * [taylor]: Taking taylor expansion of 1.0 in y 0.056 * [taylor]: Taking taylor expansion of x in y 0.056 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.056 * [taylor]: Taking taylor expansion of x in x 0.058 * [taylor]: Taking taylor expansion of 0 in x 0.061 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.061 * [taylor]: Taking taylor expansion of 1.0 in x 0.061 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.061 * [taylor]: Taking taylor expansion of x in x 0.064 * [taylor]: Taking taylor expansion of 0 in x 0.068 * [taylor]: Taking taylor expansion of 0 in x 0.068 * [approximate]: Taking taylor expansion of (* -1 (/ (fma (/ -1 y) (/ -1 y) 1.0) x)) in (y x) around 0 0.068 * [taylor]: Taking taylor expansion of (* -1 (/ (fma (/ -1 y) (/ -1 y) 1.0) x)) in x 0.069 * [taylor]: Taking taylor expansion of -1 in x 0.069 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) (/ -1 y) 1.0) x) in x 0.069 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) 1.0) in x 0.069 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) 1.0) 0.069 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in x 0.069 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.069 * [taylor]: Taking taylor expansion of -1 in x 0.069 * [taylor]: Taking taylor expansion of y in x 0.069 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.069 * [taylor]: Taking taylor expansion of -1 in x 0.069 * [taylor]: Taking taylor expansion of y in x 0.069 * [taylor]: Taking taylor expansion of 1.0 in x 0.069 * [taylor]: Taking taylor expansion of x in x 0.069 * [taylor]: Taking taylor expansion of (* -1 (/ (fma (/ -1 y) (/ -1 y) 1.0) x)) in y 0.069 * [taylor]: Taking taylor expansion of -1 in y 0.069 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) (/ -1 y) 1.0) x) in y 0.069 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) 1.0) in y 0.069 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) 1.0) 0.069 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y 0.069 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.069 * [taylor]: Taking taylor expansion of -1 in y 0.069 * [taylor]: Taking taylor expansion of y in y 0.070 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.070 * [taylor]: Taking taylor expansion of -1 in y 0.070 * [taylor]: Taking taylor expansion of y in y 0.070 * [taylor]: Taking taylor expansion of 1.0 in y 0.070 * [taylor]: Taking taylor expansion of x in y 0.071 * [taylor]: Taking taylor expansion of (* -1 (/ (fma (/ -1 y) (/ -1 y) 1.0) x)) in y 0.071 * [taylor]: Taking taylor expansion of -1 in y 0.071 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) (/ -1 y) 1.0) x) in y 0.071 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) 1.0) in y 0.071 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) 1.0) 0.071 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y 0.071 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.071 * [taylor]: Taking taylor expansion of -1 in y 0.071 * [taylor]: Taking taylor expansion of y in y 0.071 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.071 * [taylor]: Taking taylor expansion of -1 in y 0.071 * [taylor]: Taking taylor expansion of y in y 0.072 * [taylor]: Taking taylor expansion of 1.0 in y 0.072 * [taylor]: Taking taylor expansion of x in y 0.072 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.073 * [taylor]: Taking taylor expansion of -1 in x 0.073 * [taylor]: Taking taylor expansion of x in x 0.075 * [taylor]: Taking taylor expansion of 0 in x 0.078 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x))) in x 0.078 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.078 * [taylor]: Taking taylor expansion of 1.0 in x 0.078 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.078 * [taylor]: Taking taylor expansion of x in x 0.082 * [taylor]: Taking taylor expansion of 0 in x 0.087 * [taylor]: Taking taylor expansion of 0 in x 0.088 * * * [progress]: simplifying candidates 0.088 * [simplify]: Simplifying using # : (expm1 (* (fma y y 1.0) x)) (log1p (* (fma y y 1.0) x)) (* (fma y y 1.0) x) (+ (log (fma y y 1.0)) (log x)) (log (* (fma y y 1.0) x)) (exp (* (fma y y 1.0) x)) (* (* (* (fma y y 1.0) (fma y y 1.0)) (fma y y 1.0)) (* (* x x) x)) (* (cbrt (* (fma y y 1.0) x)) (cbrt (* (fma y y 1.0) x))) (cbrt (* (fma y y 1.0) x)) (* (* (* (fma y y 1.0) x) (* (fma y y 1.0) x)) (* (fma y y 1.0) x)) (sqrt (* (fma y y 1.0) x)) (sqrt (* (fma y y 1.0) x)) (* (sqrt (fma y y 1.0)) (sqrt x)) (* (sqrt (fma y y 1.0)) (sqrt x)) (* (fma y y 1.0) (* (cbrt x) (cbrt x))) (* (fma y y 1.0) (sqrt x)) (* (fma y y 1.0) 1) (* (cbrt (fma y y 1.0)) x) (* (sqrt (fma y y 1.0)) x) (* (fma y y 1.0) x) (+ (* x (pow y 2)) (* 1.0 x)) (+ (* x (pow y 2)) (* 1.0 x)) (+ (* x (pow y 2)) (* 1.0 x)) 0.090 * * [simplify]: iteration 0 : 39 enodes (cost 204 ) 0.096 * * [simplify]: iteration 1 : 77 enodes (cost 198 ) 0.116 * * [simplify]: iteration 2 : 245 enodes (cost 168 ) 0.260 * * [simplify]: iteration 3 : 926 enodes (cost 168 ) 1.580 * * [simplify]: iteration 4 : 2889 enodes (cost 168 ) 3.017 * * [simplify]: iteration done : 5000 enodes (cost 168 ) 3.017 * [simplify]: Simplified to: (expm1 (* (fma y y 1.0) x)) (log1p (* (fma y y 1.0) x)) (* (fma y y 1.0) x) (log (* (fma y y 1.0) x)) (log (* (fma y y 1.0) x)) (exp (* (fma y y 1.0) x)) (pow (* (fma y y 1.0) x) 3) (* (cbrt (* (fma y y 1.0) x)) (cbrt (* (fma y y 1.0) x))) (cbrt (* (fma y y 1.0) x)) (pow (* (fma y y 1.0) x) 3) (sqrt (* (fma y y 1.0) x)) (sqrt (* (fma y y 1.0) x)) (* (sqrt (fma y y 1.0)) (sqrt x)) (* (sqrt (fma y y 1.0)) (sqrt x)) (* (fma y y 1.0) (* (cbrt x) (cbrt x))) (* (fma y y 1.0) (sqrt x)) (fma y y 1.0) (* (cbrt (fma y y 1.0)) x) (* (sqrt (fma y y 1.0)) x) (* (fma y y 1.0) x) (* (fma y y 1.0) x) (* (fma y y 1.0) x) (* (fma y y 1.0) x) 3.017 * * * [progress]: adding candidates to table 3.060 * * [progress]: iteration 2 / 4 3.060 * * * [progress]: picking best candidate 3.070 * * * * [pick]: Picked # 3.070 * * * [progress]: localizing error 3.077 * * * [progress]: generating rewritten candidates 3.077 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 3.078 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 3.079 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 3.092 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 3.098 * * * [progress]: generating series expansions 3.098 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 3.099 * [approximate]: Taking taylor expansion of (sqrt (fma y y 1.0)) in (y) around 0 3.099 * [taylor]: Taking taylor expansion of (sqrt (fma y y 1.0)) in y 3.099 * [taylor]: Taking taylor expansion of (fma y y 1.0) in y 3.099 * [taylor]: Rewrote expression to (+ (* y y) 1.0) 3.099 * [taylor]: Taking taylor expansion of (* y y) in y 3.099 * [taylor]: Taking taylor expansion of y in y 3.099 * [taylor]: Taking taylor expansion of y in y 3.099 * [taylor]: Taking taylor expansion of 1.0 in y 3.101 * [taylor]: Taking taylor expansion of (sqrt (fma y y 1.0)) in y 3.101 * [taylor]: Taking taylor expansion of (fma y y 1.0) in y 3.101 * [taylor]: Rewrote expression to (+ (* y y) 1.0) 3.101 * [taylor]: Taking taylor expansion of (* y y) in y 3.101 * [taylor]: Taking taylor expansion of y in y 3.101 * [taylor]: Taking taylor expansion of y in y 3.101 * [taylor]: Taking taylor expansion of 1.0 in y 3.117 * [approximate]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 y) 1.0)) in (y) around 0 3.117 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 y) 1.0)) in y 3.117 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) 1.0) in y 3.117 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) 1.0) 3.117 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y 3.117 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.117 * [taylor]: Taking taylor expansion of y in y 3.117 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.117 * [taylor]: Taking taylor expansion of y in y 3.118 * [taylor]: Taking taylor expansion of 1.0 in y 3.120 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 y) 1.0)) in y 3.120 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) 1.0) in y 3.120 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) 1.0) 3.120 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y 3.120 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.120 * [taylor]: Taking taylor expansion of y in y 3.121 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.121 * [taylor]: Taking taylor expansion of y in y 3.121 * [taylor]: Taking taylor expansion of 1.0 in y 3.134 * [approximate]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 y) 1.0)) in (y) around 0 3.134 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 y) 1.0)) in y 3.134 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) 1.0) in y 3.135 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) 1.0) 3.135 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y 3.135 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.135 * [taylor]: Taking taylor expansion of -1 in y 3.135 * [taylor]: Taking taylor expansion of y in y 3.135 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.135 * [taylor]: Taking taylor expansion of -1 in y 3.135 * [taylor]: Taking taylor expansion of y in y 3.135 * [taylor]: Taking taylor expansion of 1.0 in y 3.138 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 y) 1.0)) in y 3.139 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) 1.0) in y 3.139 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) 1.0) 3.139 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y 3.139 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.139 * [taylor]: Taking taylor expansion of -1 in y 3.139 * [taylor]: Taking taylor expansion of y in y 3.139 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.139 * [taylor]: Taking taylor expansion of -1 in y 3.139 * [taylor]: Taking taylor expansion of y in y 3.139 * [taylor]: Taking taylor expansion of 1.0 in y 3.154 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 3.154 * [approximate]: Taking taylor expansion of (sqrt (fma y y 1.0)) in (y) around 0 3.154 * [taylor]: Taking taylor expansion of (sqrt (fma y y 1.0)) in y 3.154 * [taylor]: Taking taylor expansion of (fma y y 1.0) in y 3.154 * [taylor]: Rewrote expression to (+ (* y y) 1.0) 3.154 * [taylor]: Taking taylor expansion of (* y y) in y 3.154 * [taylor]: Taking taylor expansion of y in y 3.154 * [taylor]: Taking taylor expansion of y in y 3.154 * [taylor]: Taking taylor expansion of 1.0 in y 3.156 * [taylor]: Taking taylor expansion of (sqrt (fma y y 1.0)) in y 3.156 * [taylor]: Taking taylor expansion of (fma y y 1.0) in y 3.156 * [taylor]: Rewrote expression to (+ (* y y) 1.0) 3.156 * [taylor]: Taking taylor expansion of (* y y) in y 3.156 * [taylor]: Taking taylor expansion of y in y 3.156 * [taylor]: Taking taylor expansion of y in y 3.156 * [taylor]: Taking taylor expansion of 1.0 in y 3.172 * [approximate]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 y) 1.0)) in (y) around 0 3.172 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 y) 1.0)) in y 3.172 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) 1.0) in y 3.172 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) 1.0) 3.172 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y 3.172 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.172 * [taylor]: Taking taylor expansion of y in y 3.172 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.172 * [taylor]: Taking taylor expansion of y in y 3.173 * [taylor]: Taking taylor expansion of 1.0 in y 3.175 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 y) 1.0)) in y 3.175 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) 1.0) in y 3.176 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) 1.0) 3.176 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y 3.176 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.176 * [taylor]: Taking taylor expansion of y in y 3.179 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.179 * [taylor]: Taking taylor expansion of y in y 3.179 * [taylor]: Taking taylor expansion of 1.0 in y 3.193 * [approximate]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 y) 1.0)) in (y) around 0 3.193 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 y) 1.0)) in y 3.193 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) 1.0) in y 3.193 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) 1.0) 3.193 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y 3.193 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.193 * [taylor]: Taking taylor expansion of -1 in y 3.193 * [taylor]: Taking taylor expansion of y in y 3.194 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.194 * [taylor]: Taking taylor expansion of -1 in y 3.194 * [taylor]: Taking taylor expansion of y in y 3.194 * [taylor]: Taking taylor expansion of 1.0 in y 3.197 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 y) 1.0)) in y 3.197 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) 1.0) in y 3.197 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) 1.0) 3.197 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y 3.197 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.197 * [taylor]: Taking taylor expansion of -1 in y 3.197 * [taylor]: Taking taylor expansion of y in y 3.198 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.198 * [taylor]: Taking taylor expansion of -1 in y 3.198 * [taylor]: Taking taylor expansion of y in y 3.198 * [taylor]: Taking taylor expansion of 1.0 in y 3.212 * * * * [progress]: [ 3 / 4 ] generating series at (2) 3.212 * [approximate]: Taking taylor expansion of (* (fma y y 1.0) x) in (y x) around 0 3.212 * [taylor]: Taking taylor expansion of (* (fma y y 1.0) x) in x 3.212 * [taylor]: Taking taylor expansion of (fma y y 1.0) in x 3.212 * [taylor]: Rewrote expression to (+ (* y y) 1.0) 3.212 * [taylor]: Taking taylor expansion of (* y y) in x 3.212 * [taylor]: Taking taylor expansion of y in x 3.212 * [taylor]: Taking taylor expansion of y in x 3.212 * [taylor]: Taking taylor expansion of 1.0 in x 3.212 * [taylor]: Taking taylor expansion of x in x 3.212 * [taylor]: Taking taylor expansion of (* (fma y y 1.0) x) in y 3.212 * [taylor]: Taking taylor expansion of (fma y y 1.0) in y 3.212 * [taylor]: Rewrote expression to (+ (* y y) 1.0) 3.212 * [taylor]: Taking taylor expansion of (* y y) in y 3.212 * [taylor]: Taking taylor expansion of y in y 3.212 * [taylor]: Taking taylor expansion of y in y 3.213 * [taylor]: Taking taylor expansion of 1.0 in y 3.213 * [taylor]: Taking taylor expansion of x in y 3.213 * [taylor]: Taking taylor expansion of (* (fma y y 1.0) x) in y 3.213 * [taylor]: Taking taylor expansion of (fma y y 1.0) in y 3.213 * [taylor]: Rewrote expression to (+ (* y y) 1.0) 3.213 * [taylor]: Taking taylor expansion of (* y y) in y 3.213 * [taylor]: Taking taylor expansion of y in y 3.213 * [taylor]: Taking taylor expansion of y in y 3.213 * [taylor]: Taking taylor expansion of 1.0 in y 3.213 * [taylor]: Taking taylor expansion of x in y 3.214 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 3.214 * [taylor]: Taking taylor expansion of 1.0 in x 3.214 * [taylor]: Taking taylor expansion of x in x 3.215 * [taylor]: Taking taylor expansion of 0 in x 3.217 * [taylor]: Taking taylor expansion of x in x 3.220 * [taylor]: Taking taylor expansion of 0 in x 3.222 * [taylor]: Taking taylor expansion of 0 in x 3.223 * [approximate]: Taking taylor expansion of (/ (fma (/ 1 y) (/ 1 y) 1.0) x) in (y x) around 0 3.223 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) (/ 1 y) 1.0) x) in x 3.223 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) 1.0) in x 3.223 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) 1.0) 3.223 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in x 3.223 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.223 * [taylor]: Taking taylor expansion of y in x 3.223 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.223 * [taylor]: Taking taylor expansion of y in x 3.223 * [taylor]: Taking taylor expansion of 1.0 in x 3.223 * [taylor]: Taking taylor expansion of x in x 3.223 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) (/ 1 y) 1.0) x) in y 3.224 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) 1.0) in y 3.224 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) 1.0) 3.224 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y 3.224 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.224 * [taylor]: Taking taylor expansion of y in y 3.224 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.224 * [taylor]: Taking taylor expansion of y in y 3.224 * [taylor]: Taking taylor expansion of 1.0 in y 3.224 * [taylor]: Taking taylor expansion of x in y 3.225 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) (/ 1 y) 1.0) x) in y 3.225 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) 1.0) in y 3.225 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) 1.0) 3.225 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y 3.225 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.225 * [taylor]: Taking taylor expansion of y in y 3.226 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.226 * [taylor]: Taking taylor expansion of y in y 3.226 * [taylor]: Taking taylor expansion of 1.0 in y 3.226 * [taylor]: Taking taylor expansion of x in y 3.226 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.227 * [taylor]: Taking taylor expansion of x in x 3.228 * [taylor]: Taking taylor expansion of 0 in x 3.231 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 3.231 * [taylor]: Taking taylor expansion of 1.0 in x 3.231 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.231 * [taylor]: Taking taylor expansion of x in x 3.234 * [taylor]: Taking taylor expansion of 0 in x 3.238 * [taylor]: Taking taylor expansion of 0 in x 3.238 * [approximate]: Taking taylor expansion of (* -1 (/ (fma (/ -1 y) (/ -1 y) 1.0) x)) in (y x) around 0 3.238 * [taylor]: Taking taylor expansion of (* -1 (/ (fma (/ -1 y) (/ -1 y) 1.0) x)) in x 3.238 * [taylor]: Taking taylor expansion of -1 in x 3.238 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) (/ -1 y) 1.0) x) in x 3.238 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) 1.0) in x 3.239 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) 1.0) 3.239 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in x 3.239 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.239 * [taylor]: Taking taylor expansion of -1 in x 3.239 * [taylor]: Taking taylor expansion of y in x 3.239 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.239 * [taylor]: Taking taylor expansion of -1 in x 3.239 * [taylor]: Taking taylor expansion of y in x 3.239 * [taylor]: Taking taylor expansion of 1.0 in x 3.239 * [taylor]: Taking taylor expansion of x in x 3.239 * [taylor]: Taking taylor expansion of (* -1 (/ (fma (/ -1 y) (/ -1 y) 1.0) x)) in y 3.239 * [taylor]: Taking taylor expansion of -1 in y 3.239 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) (/ -1 y) 1.0) x) in y 3.239 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) 1.0) in y 3.239 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) 1.0) 3.239 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y 3.239 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.239 * [taylor]: Taking taylor expansion of -1 in y 3.239 * [taylor]: Taking taylor expansion of y in y 3.240 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.240 * [taylor]: Taking taylor expansion of -1 in y 3.240 * [taylor]: Taking taylor expansion of y in y 3.240 * [taylor]: Taking taylor expansion of 1.0 in y 3.240 * [taylor]: Taking taylor expansion of x in y 3.241 * [taylor]: Taking taylor expansion of (* -1 (/ (fma (/ -1 y) (/ -1 y) 1.0) x)) in y 3.241 * [taylor]: Taking taylor expansion of -1 in y 3.241 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) (/ -1 y) 1.0) x) in y 3.241 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) 1.0) in y 3.241 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) 1.0) 3.241 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y 3.241 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.241 * [taylor]: Taking taylor expansion of -1 in y 3.241 * [taylor]: Taking taylor expansion of y in y 3.241 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.241 * [taylor]: Taking taylor expansion of -1 in y 3.241 * [taylor]: Taking taylor expansion of y in y 3.242 * [taylor]: Taking taylor expansion of 1.0 in y 3.242 * [taylor]: Taking taylor expansion of x in y 3.242 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.242 * [taylor]: Taking taylor expansion of -1 in x 3.242 * [taylor]: Taking taylor expansion of x in x 3.245 * [taylor]: Taking taylor expansion of 0 in x 3.248 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x))) in x 3.248 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 3.248 * [taylor]: Taking taylor expansion of 1.0 in x 3.248 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.248 * [taylor]: Taking taylor expansion of x in x 3.253 * [taylor]: Taking taylor expansion of 0 in x 3.258 * [taylor]: Taking taylor expansion of 0 in x 3.259 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 3.259 * [approximate]: Taking taylor expansion of (* (sqrt (fma y y 1.0)) x) in (y x) around 0 3.259 * [taylor]: Taking taylor expansion of (* (sqrt (fma y y 1.0)) x) in x 3.259 * [taylor]: Taking taylor expansion of (sqrt (fma y y 1.0)) in x 3.259 * [taylor]: Taking taylor expansion of (fma y y 1.0) in x 3.259 * [taylor]: Rewrote expression to (+ (* y y) 1.0) 3.259 * [taylor]: Taking taylor expansion of (* y y) in x 3.259 * [taylor]: Taking taylor expansion of y in x 3.259 * [taylor]: Taking taylor expansion of y in x 3.259 * [taylor]: Taking taylor expansion of 1.0 in x 3.260 * [taylor]: Taking taylor expansion of x in x 3.260 * [taylor]: Taking taylor expansion of (* (sqrt (fma y y 1.0)) x) in y 3.260 * [taylor]: Taking taylor expansion of (sqrt (fma y y 1.0)) in y 3.260 * [taylor]: Taking taylor expansion of (fma y y 1.0) in y 3.260 * [taylor]: Rewrote expression to (+ (* y y) 1.0) 3.260 * [taylor]: Taking taylor expansion of (* y y) in y 3.260 * [taylor]: Taking taylor expansion of y in y 3.260 * [taylor]: Taking taylor expansion of y in y 3.260 * [taylor]: Taking taylor expansion of 1.0 in y 3.263 * [taylor]: Taking taylor expansion of x in y 3.263 * [taylor]: Taking taylor expansion of (* (sqrt (fma y y 1.0)) x) in y 3.263 * [taylor]: Taking taylor expansion of (sqrt (fma y y 1.0)) in y 3.263 * [taylor]: Taking taylor expansion of (fma y y 1.0) in y 3.263 * [taylor]: Rewrote expression to (+ (* y y) 1.0) 3.263 * [taylor]: Taking taylor expansion of (* y y) in y 3.263 * [taylor]: Taking taylor expansion of y in y 3.263 * [taylor]: Taking taylor expansion of y in y 3.263 * [taylor]: Taking taylor expansion of 1.0 in y 3.265 * [taylor]: Taking taylor expansion of x in y 3.265 * [taylor]: Taking taylor expansion of (* x (sqrt 1.0)) in x 3.265 * [taylor]: Taking taylor expansion of x in x 3.265 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 3.265 * [taylor]: Taking taylor expansion of 1.0 in x 3.267 * [taylor]: Taking taylor expansion of 0 in x 3.276 * [taylor]: Taking taylor expansion of (* 1/2 (/ x (sqrt 1.0))) in x 3.276 * [taylor]: Taking taylor expansion of 1/2 in x 3.276 * [taylor]: Taking taylor expansion of (/ x (sqrt 1.0)) in x 3.276 * [taylor]: Taking taylor expansion of x in x 3.276 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 3.276 * [taylor]: Taking taylor expansion of 1.0 in x 3.282 * [taylor]: Taking taylor expansion of 0 in x 3.294 * [taylor]: Taking taylor expansion of (- (* 1/8 (/ x (pow (sqrt 1.0) 3)))) in x 3.294 * [taylor]: Taking taylor expansion of (* 1/8 (/ x (pow (sqrt 1.0) 3))) in x 3.295 * [taylor]: Taking taylor expansion of 1/8 in x 3.295 * [taylor]: Taking taylor expansion of (/ x (pow (sqrt 1.0) 3)) in x 3.295 * [taylor]: Taking taylor expansion of x in x 3.295 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 3) in x 3.295 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 3.295 * [taylor]: Taking taylor expansion of 1.0 in x 3.304 * [approximate]: Taking taylor expansion of (* (/ 1 x) (sqrt (fma (/ 1 y) (/ 1 y) 1.0))) in (y x) around 0 3.304 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (fma (/ 1 y) (/ 1 y) 1.0))) in x 3.304 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.304 * [taylor]: Taking taylor expansion of x in x 3.304 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 y) 1.0)) in x 3.305 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) 1.0) in x 3.305 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) 1.0) 3.305 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in x 3.305 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.305 * [taylor]: Taking taylor expansion of y in x 3.305 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.305 * [taylor]: Taking taylor expansion of y in x 3.305 * [taylor]: Taking taylor expansion of 1.0 in x 3.306 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (fma (/ 1 y) (/ 1 y) 1.0))) in y 3.306 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.306 * [taylor]: Taking taylor expansion of x in y 3.306 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 y) 1.0)) in y 3.306 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) 1.0) in y 3.306 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) 1.0) 3.306 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y 3.306 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.306 * [taylor]: Taking taylor expansion of y in y 3.307 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.307 * [taylor]: Taking taylor expansion of y in y 3.307 * [taylor]: Taking taylor expansion of 1.0 in y 3.310 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (fma (/ 1 y) (/ 1 y) 1.0))) in y 3.310 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.310 * [taylor]: Taking taylor expansion of x in y 3.310 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 y) 1.0)) in y 3.310 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) 1.0) in y 3.310 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) 1.0) 3.310 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y 3.310 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.311 * [taylor]: Taking taylor expansion of y in y 3.311 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.311 * [taylor]: Taking taylor expansion of y in y 3.311 * [taylor]: Taking taylor expansion of 1.0 in y 3.314 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.314 * [taylor]: Taking taylor expansion of x in x 3.315 * [taylor]: Taking taylor expansion of 0 in x 3.320 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 3.320 * [taylor]: Taking taylor expansion of 0.5 in x 3.320 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.321 * [taylor]: Taking taylor expansion of x in x 3.325 * [taylor]: Taking taylor expansion of 0 in x 3.333 * [taylor]: Taking taylor expansion of (- (* 0.125 (/ 1 x))) in x 3.333 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in x 3.333 * [taylor]: Taking taylor expansion of 0.125 in x 3.333 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.333 * [taylor]: Taking taylor expansion of x in x 3.335 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (fma (/ -1 y) (/ -1 y) 1.0)))) in (y x) around 0 3.335 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (fma (/ -1 y) (/ -1 y) 1.0)))) in x 3.335 * [taylor]: Taking taylor expansion of -1 in x 3.335 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (fma (/ -1 y) (/ -1 y) 1.0))) in x 3.335 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.335 * [taylor]: Taking taylor expansion of x in x 3.336 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 y) 1.0)) in x 3.336 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) 1.0) in x 3.336 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) 1.0) 3.336 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in x 3.336 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.336 * [taylor]: Taking taylor expansion of -1 in x 3.336 * [taylor]: Taking taylor expansion of y in x 3.336 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.336 * [taylor]: Taking taylor expansion of -1 in x 3.336 * [taylor]: Taking taylor expansion of y in x 3.336 * [taylor]: Taking taylor expansion of 1.0 in x 3.337 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (fma (/ -1 y) (/ -1 y) 1.0)))) in y 3.337 * [taylor]: Taking taylor expansion of -1 in y 3.337 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (fma (/ -1 y) (/ -1 y) 1.0))) in y 3.337 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.337 * [taylor]: Taking taylor expansion of x in y 3.337 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 y) 1.0)) in y 3.337 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) 1.0) in y 3.337 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) 1.0) 3.337 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y 3.337 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.337 * [taylor]: Taking taylor expansion of -1 in y 3.337 * [taylor]: Taking taylor expansion of y in y 3.338 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.338 * [taylor]: Taking taylor expansion of -1 in y 3.338 * [taylor]: Taking taylor expansion of y in y 3.338 * [taylor]: Taking taylor expansion of 1.0 in y 3.342 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (fma (/ -1 y) (/ -1 y) 1.0)))) in y 3.342 * [taylor]: Taking taylor expansion of -1 in y 3.342 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (fma (/ -1 y) (/ -1 y) 1.0))) in y 3.342 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.342 * [taylor]: Taking taylor expansion of x in y 3.342 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 y) 1.0)) in y 3.342 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) 1.0) in y 3.342 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) 1.0) 3.342 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y 3.342 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.342 * [taylor]: Taking taylor expansion of -1 in y 3.342 * [taylor]: Taking taylor expansion of y in y 3.343 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.343 * [taylor]: Taking taylor expansion of -1 in y 3.343 * [taylor]: Taking taylor expansion of y in y 3.343 * [taylor]: Taking taylor expansion of 1.0 in y 3.346 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.346 * [taylor]: Taking taylor expansion of -1 in x 3.346 * [taylor]: Taking taylor expansion of x in x 3.348 * [taylor]: Taking taylor expansion of 0 in x 3.353 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x))) in x 3.353 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 3.353 * [taylor]: Taking taylor expansion of 0.5 in x 3.353 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.353 * [taylor]: Taking taylor expansion of x in x 3.360 * [taylor]: Taking taylor expansion of 0 in x 3.368 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in x 3.368 * [taylor]: Taking taylor expansion of 0.125 in x 3.368 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.368 * [taylor]: Taking taylor expansion of x in x 3.374 * * * [progress]: simplifying candidates 3.375 * [simplify]: Simplifying using # : (expm1 (sqrt (fma y y 1.0))) (log1p (sqrt (fma y y 1.0))) (log (sqrt (fma y y 1.0))) (exp (sqrt (fma y y 1.0))) (* (cbrt (sqrt (fma y y 1.0))) (cbrt (sqrt (fma y y 1.0)))) (cbrt (sqrt (fma y y 1.0))) (* (* (sqrt (fma y y 1.0)) (sqrt (fma y y 1.0))) (sqrt (fma y y 1.0))) (sqrt (* (cbrt (fma y y 1.0)) (cbrt (fma y y 1.0)))) (sqrt (cbrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) (sqrt 1) (sqrt (fma y y 1.0)) (/ 1 2) (sqrt (sqrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) (expm1 (sqrt (fma y y 1.0))) (log1p (sqrt (fma y y 1.0))) (log (sqrt (fma y y 1.0))) (exp (sqrt (fma y y 1.0))) (* (cbrt (sqrt (fma y y 1.0))) (cbrt (sqrt (fma y y 1.0)))) (cbrt (sqrt (fma y y 1.0))) (* (* (sqrt (fma y y 1.0)) (sqrt (fma y y 1.0))) (sqrt (fma y y 1.0))) (sqrt (* (cbrt (fma y y 1.0)) (cbrt (fma y y 1.0)))) (sqrt (cbrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) (sqrt 1) (sqrt (fma y y 1.0)) (/ 1 2) (sqrt (sqrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) (expm1 (* (sqrt (fma y y 1.0)) (* (sqrt (fma y y 1.0)) x))) (log1p (* (sqrt (fma y y 1.0)) (* (sqrt (fma y y 1.0)) x))) (* (sqrt (fma y y 1.0)) (* (sqrt (fma y y 1.0)) x)) (* (sqrt (fma y y 1.0)) (* (sqrt (fma y y 1.0)) x)) (+ (log (sqrt (fma y y 1.0))) (+ (log (sqrt (fma y y 1.0))) (log x))) (+ (log (sqrt (fma y y 1.0))) (log (* (sqrt (fma y y 1.0)) x))) (log (* (sqrt (fma y y 1.0)) (* (sqrt (fma y y 1.0)) x))) (exp (* (sqrt (fma y y 1.0)) (* (sqrt (fma y y 1.0)) x))) (* (* (* (sqrt (fma y y 1.0)) (sqrt (fma y y 1.0))) (sqrt (fma y y 1.0))) (* (* (* (sqrt (fma y y 1.0)) (sqrt (fma y y 1.0))) (sqrt (fma y y 1.0))) (* (* x x) x))) (* (* (* (sqrt (fma y y 1.0)) (sqrt (fma y y 1.0))) (sqrt (fma y y 1.0))) (* (* (* (sqrt (fma y y 1.0)) x) (* (sqrt (fma y y 1.0)) x)) (* (sqrt (fma y y 1.0)) x))) (* (cbrt (* (sqrt (fma y y 1.0)) (* (sqrt (fma y y 1.0)) x))) (cbrt (* (sqrt (fma y y 1.0)) (* (sqrt (fma y y 1.0)) x)))) (cbrt (* (sqrt (fma y y 1.0)) (* (sqrt (fma y y 1.0)) x))) (* (* (* (sqrt (fma y y 1.0)) (* (sqrt (fma y y 1.0)) x)) (* (sqrt (fma y y 1.0)) (* (sqrt (fma y y 1.0)) x))) (* (sqrt (fma y y 1.0)) (* (sqrt (fma y y 1.0)) x))) (sqrt (* (sqrt (fma y y 1.0)) (* (sqrt (fma y y 1.0)) x))) (sqrt (* (sqrt (fma y y 1.0)) (* (sqrt (fma y y 1.0)) x))) (* (sqrt (fma y y 1.0)) (sqrt (fma y y 1.0))) (* (cbrt (sqrt (fma y y 1.0))) (* (sqrt (fma y y 1.0)) x)) (* (sqrt (cbrt (fma y y 1.0))) (* (sqrt (fma y y 1.0)) x)) (* (sqrt (sqrt (fma y y 1.0))) (* (sqrt (fma y y 1.0)) x)) (* (sqrt (fma y y 1.0)) (* (sqrt (fma y y 1.0)) x)) (* (sqrt (sqrt (fma y y 1.0))) (* (sqrt (fma y y 1.0)) x)) (* (sqrt (fma y y 1.0)) (* (sqrt (fma y y 1.0)) x)) (expm1 (* (sqrt (fma y y 1.0)) x)) (log1p (* (sqrt (fma y y 1.0)) x)) (* (sqrt (fma y y 1.0)) x) (+ (log (sqrt (fma y y 1.0))) (log x)) (log (* (sqrt (fma y y 1.0)) x)) (exp (* (sqrt (fma y y 1.0)) x)) (* (* (* (sqrt (fma y y 1.0)) (sqrt (fma y y 1.0))) (sqrt (fma y y 1.0))) (* (* x x) x)) (* (cbrt (* (sqrt (fma y y 1.0)) x)) (cbrt (* (sqrt (fma y y 1.0)) x))) (cbrt (* (sqrt (fma y y 1.0)) x)) (* (* (* (sqrt (fma y y 1.0)) x) (* (sqrt (fma y y 1.0)) x)) (* (sqrt (fma y y 1.0)) x)) (sqrt (* (sqrt (fma y y 1.0)) x)) (sqrt (* (sqrt (fma y y 1.0)) x)) (* (sqrt (sqrt (fma y y 1.0))) (sqrt x)) (* (sqrt (sqrt (fma y y 1.0))) (sqrt x)) (* (sqrt (sqrt (fma y y 1.0))) (sqrt x)) (* (sqrt (sqrt (fma y y 1.0))) (sqrt x)) (* (sqrt (fma y y 1.0)) (* (cbrt x) (cbrt x))) (* (sqrt (fma y y 1.0)) (sqrt x)) (* (sqrt (fma y y 1.0)) 1) (* (cbrt (sqrt (fma y y 1.0))) x) (* (sqrt (cbrt (fma y y 1.0))) x) (* (sqrt (sqrt (fma y y 1.0))) x) (* (sqrt (fma y y 1.0)) x) (* (sqrt (sqrt (fma y y 1.0))) x) (* (sqrt (fma y y 1.0)) x) (- (+ (sqrt 1.0) (* 1/2 (/ (pow y 2) (sqrt 1.0)))) (* 1/8 (/ (pow y 4) (pow (sqrt 1.0) 3)))) (- (+ y (* 0.5 (/ 1 y))) (* 0.125 (/ 1 (pow y 3)))) (- (* 0.125 (/ 1 (pow y 3))) (+ y (* 0.5 (/ 1 y)))) (- (+ (sqrt 1.0) (* 1/2 (/ (pow y 2) (sqrt 1.0)))) (* 1/8 (/ (pow y 4) (pow (sqrt 1.0) 3)))) (- (+ y (* 0.5 (/ 1 y))) (* 0.125 (/ 1 (pow y 3)))) (- (* 0.125 (/ 1 (pow y 3))) (+ y (* 0.5 (/ 1 y)))) (+ (* x (pow y 2)) (* 1.0 x)) (+ (* x (pow y 2)) (* 1.0 x)) (+ (* x (pow y 2)) (* 1.0 x)) (+ (* x (sqrt 1.0)) (* 1/2 (/ (* x (pow y 2)) (sqrt 1.0)))) (- (+ (* 0.5 (/ x y)) (* x y)) (* 0.125 (/ x (pow y 3)))) (- (* 0.125 (/ x (pow y 3))) (+ (* 0.5 (/ x y)) (* x y))) 3.378 * * [simplify]: iteration 0 : 103 enodes (cost 1047 ) 3.397 * * [simplify]: iteration 1 : 242 enodes (cost 828 ) 3.459 * * [simplify]: iteration 2 : 696 enodes (cost 734 ) 3.884 * * [simplify]: iteration 3 : 2144 enodes (cost 729 ) 4.753 * * [simplify]: iteration done : 5000 enodes (cost 729 ) 4.754 * [simplify]: Simplified to: (expm1 (sqrt (fma y y 1.0))) (log1p (sqrt (fma y y 1.0))) (log (sqrt (fma y y 1.0))) (exp (sqrt (fma y y 1.0))) (* (cbrt (sqrt (fma y y 1.0))) (cbrt (sqrt (fma y y 1.0)))) (cbrt (sqrt (fma y y 1.0))) (pow (sqrt (fma y y 1.0)) 3) (fabs (cbrt (fma y y 1.0))) (sqrt (cbrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) 1 (sqrt (fma y y 1.0)) 1/2 (sqrt (sqrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) (expm1 (sqrt (fma y y 1.0))) (log1p (sqrt (fma y y 1.0))) (log (sqrt (fma y y 1.0))) (exp (sqrt (fma y y 1.0))) (* (cbrt (sqrt (fma y y 1.0))) (cbrt (sqrt (fma y y 1.0)))) (cbrt (sqrt (fma y y 1.0))) (pow (sqrt (fma y y 1.0)) 3) (fabs (cbrt (fma y y 1.0))) (sqrt (cbrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) 1 (sqrt (fma y y 1.0)) 1/2 (sqrt (sqrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) (expm1 (* (fma y y 1.0) x)) (log1p (* (fma y y 1.0) x)) (* (fma y y 1.0) x) (* (fma y y 1.0) x) (log (* (fma y y 1.0) x)) (log (* (fma y y 1.0) x)) (log (* (fma y y 1.0) x)) (exp (* (fma y y 1.0) x)) (pow (* (fma y y 1.0) x) 3) (pow (* (fma y y 1.0) x) 3) (* (cbrt (* (fma y y 1.0) x)) (cbrt (* (fma y y 1.0) x))) (cbrt (* (fma y y 1.0) x)) (pow (* (fma y y 1.0) x) 3) (sqrt (* (fma y y 1.0) x)) (sqrt (* (fma y y 1.0) x)) (fma y y 1.0) (* (cbrt (sqrt (fma y y 1.0))) (* (sqrt (fma y y 1.0)) x)) (* (sqrt (cbrt (fma y y 1.0))) (* (sqrt (fma y y 1.0)) x)) (* (sqrt (sqrt (fma y y 1.0))) (* (sqrt (fma y y 1.0)) x)) (* (fma y y 1.0) x) (* (sqrt (sqrt (fma y y 1.0))) (* (sqrt (fma y y 1.0)) x)) (* (fma y y 1.0) x) (expm1 (* (sqrt (fma y y 1.0)) x)) (log1p (* (sqrt (fma y y 1.0)) x)) (* (sqrt (fma y y 1.0)) x) (log (* (sqrt (fma y y 1.0)) x)) (log (* (sqrt (fma y y 1.0)) x)) (exp (* (sqrt (fma y y 1.0)) x)) (pow (* (sqrt (fma y y 1.0)) x) 3) (* (cbrt (* (sqrt (fma y y 1.0)) x)) (cbrt (* (sqrt (fma y y 1.0)) x))) (cbrt (* (sqrt (fma y y 1.0)) x)) (pow (* (sqrt (fma y y 1.0)) x) 3) (sqrt (* (sqrt (fma y y 1.0)) x)) (sqrt (* (sqrt (fma y y 1.0)) x)) (* (sqrt (sqrt (fma y y 1.0))) (sqrt x)) (* (sqrt (sqrt (fma y y 1.0))) (sqrt x)) (* (sqrt (sqrt (fma y y 1.0))) (sqrt x)) (* (sqrt (sqrt (fma y y 1.0))) (sqrt x)) (* (sqrt (fma y y 1.0)) (* (cbrt x) (cbrt x))) (* (sqrt (fma y y 1.0)) (sqrt x)) (sqrt (fma y y 1.0)) (* (cbrt (sqrt (fma y y 1.0))) x) (* (sqrt (cbrt (fma y y 1.0))) x) (* (sqrt (sqrt (fma y y 1.0))) x) (* (sqrt (fma y y 1.0)) x) (* (sqrt (sqrt (fma y y 1.0))) x) (* (sqrt (fma y y 1.0)) x) (fma -1/8 (/ (pow y 4) (pow (sqrt 1.0) 3)) (fma 1/2 (/ (pow y 2) (sqrt 1.0)) (sqrt 1.0))) (+ (/ 0.5 y) (- y (/ 0.125 (pow y 3)))) (- (- (/ 0.125 (pow y 3)) (/ 0.5 y)) y) (fma -1/8 (/ (pow y 4) (pow (sqrt 1.0) 3)) (fma 1/2 (/ (pow y 2) (sqrt 1.0)) (sqrt 1.0))) (+ (/ 0.5 y) (- y (/ 0.125 (pow y 3)))) (- (- (/ 0.125 (pow y 3)) (/ 0.5 y)) y) (* (fma y y 1.0) x) (* (fma y y 1.0) x) (* (fma y y 1.0) x) (fma x (sqrt 1.0) (* 1/2 (/ (* x (pow y 2)) (sqrt 1.0)))) (fma y x (* (/ x y) (- 0.5 (/ 0.125 (pow y 2))))) (- (* (/ x y) (- (/ 0.125 (pow y 2)) 0.5)) (* x y)) 4.754 * * * [progress]: adding candidates to table 4.971 * * [progress]: iteration 3 / 4 4.971 * * * [progress]: picking best candidate 4.980 * * * * [pick]: Picked # 4.981 * * * [progress]: localizing error 4.991 * * * [progress]: generating rewritten candidates 4.991 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1) 4.992 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1) 4.993 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 4.994 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 5.012 * * * [progress]: generating series expansions 5.012 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1) 5.012 * [approximate]: Taking taylor expansion of (sqrt (fma y y 1.0)) in (y) around 0 5.012 * [taylor]: Taking taylor expansion of (sqrt (fma y y 1.0)) in y 5.012 * [taylor]: Taking taylor expansion of (fma y y 1.0) in y 5.012 * [taylor]: Rewrote expression to (+ (* y y) 1.0) 5.012 * [taylor]: Taking taylor expansion of (* y y) in y 5.012 * [taylor]: Taking taylor expansion of y in y 5.012 * [taylor]: Taking taylor expansion of y in y 5.012 * [taylor]: Taking taylor expansion of 1.0 in y 5.014 * [taylor]: Taking taylor expansion of (sqrt (fma y y 1.0)) in y 5.015 * [taylor]: Taking taylor expansion of (fma y y 1.0) in y 5.015 * [taylor]: Rewrote expression to (+ (* y y) 1.0) 5.015 * [taylor]: Taking taylor expansion of (* y y) in y 5.015 * [taylor]: Taking taylor expansion of y in y 5.015 * [taylor]: Taking taylor expansion of y in y 5.015 * [taylor]: Taking taylor expansion of 1.0 in y 5.036 * [approximate]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 y) 1.0)) in (y) around 0 5.036 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 y) 1.0)) in y 5.036 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) 1.0) in y 5.037 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) 1.0) 5.037 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y 5.037 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.037 * [taylor]: Taking taylor expansion of y in y 5.037 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.037 * [taylor]: Taking taylor expansion of y in y 5.037 * [taylor]: Taking taylor expansion of 1.0 in y 5.040 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 y) 1.0)) in y 5.041 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) 1.0) in y 5.041 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) 1.0) 5.041 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y 5.041 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.041 * [taylor]: Taking taylor expansion of y in y 5.041 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.041 * [taylor]: Taking taylor expansion of y in y 5.042 * [taylor]: Taking taylor expansion of 1.0 in y 5.057 * [approximate]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 y) 1.0)) in (y) around 0 5.057 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 y) 1.0)) in y 5.057 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) 1.0) in y 5.057 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) 1.0) 5.057 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y 5.057 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.057 * [taylor]: Taking taylor expansion of -1 in y 5.057 * [taylor]: Taking taylor expansion of y in y 5.057 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.058 * [taylor]: Taking taylor expansion of -1 in y 5.058 * [taylor]: Taking taylor expansion of y in y 5.058 * [taylor]: Taking taylor expansion of 1.0 in y 5.061 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 y) 1.0)) in y 5.062 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) 1.0) in y 5.062 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) 1.0) 5.062 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y 5.062 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.062 * [taylor]: Taking taylor expansion of -1 in y 5.062 * [taylor]: Taking taylor expansion of y in y 5.062 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.062 * [taylor]: Taking taylor expansion of -1 in y 5.062 * [taylor]: Taking taylor expansion of y in y 5.063 * [taylor]: Taking taylor expansion of 1.0 in y 5.078 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1) 5.078 * [approximate]: Taking taylor expansion of (sqrt (fma y y 1.0)) in (y) around 0 5.078 * [taylor]: Taking taylor expansion of (sqrt (fma y y 1.0)) in y 5.078 * [taylor]: Taking taylor expansion of (fma y y 1.0) in y 5.078 * [taylor]: Rewrote expression to (+ (* y y) 1.0) 5.078 * [taylor]: Taking taylor expansion of (* y y) in y 5.078 * [taylor]: Taking taylor expansion of y in y 5.078 * [taylor]: Taking taylor expansion of y in y 5.078 * [taylor]: Taking taylor expansion of 1.0 in y 5.081 * [taylor]: Taking taylor expansion of (sqrt (fma y y 1.0)) in y 5.081 * [taylor]: Taking taylor expansion of (fma y y 1.0) in y 5.081 * [taylor]: Rewrote expression to (+ (* y y) 1.0) 5.081 * [taylor]: Taking taylor expansion of (* y y) in y 5.081 * [taylor]: Taking taylor expansion of y in y 5.081 * [taylor]: Taking taylor expansion of y in y 5.081 * [taylor]: Taking taylor expansion of 1.0 in y 5.099 * [approximate]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 y) 1.0)) in (y) around 0 5.099 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 y) 1.0)) in y 5.099 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) 1.0) in y 5.099 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) 1.0) 5.099 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y 5.099 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.099 * [taylor]: Taking taylor expansion of y in y 5.100 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.100 * [taylor]: Taking taylor expansion of y in y 5.100 * [taylor]: Taking taylor expansion of 1.0 in y 5.103 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 y) 1.0)) in y 5.103 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) 1.0) in y 5.103 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) 1.0) 5.103 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y 5.103 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.104 * [taylor]: Taking taylor expansion of y in y 5.104 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.104 * [taylor]: Taking taylor expansion of y in y 5.104 * [taylor]: Taking taylor expansion of 1.0 in y 5.119 * [approximate]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 y) 1.0)) in (y) around 0 5.119 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 y) 1.0)) in y 5.119 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) 1.0) in y 5.120 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) 1.0) 5.120 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y 5.120 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.120 * [taylor]: Taking taylor expansion of -1 in y 5.120 * [taylor]: Taking taylor expansion of y in y 5.120 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.120 * [taylor]: Taking taylor expansion of -1 in y 5.120 * [taylor]: Taking taylor expansion of y in y 5.121 * [taylor]: Taking taylor expansion of 1.0 in y 5.124 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 y) 1.0)) in y 5.124 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) 1.0) in y 5.124 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) 1.0) 5.124 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y 5.124 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.124 * [taylor]: Taking taylor expansion of -1 in y 5.124 * [taylor]: Taking taylor expansion of y in y 5.125 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.125 * [taylor]: Taking taylor expansion of -1 in y 5.125 * [taylor]: Taking taylor expansion of y in y 5.125 * [taylor]: Taking taylor expansion of 1.0 in y 5.147 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 5.148 * [approximate]: Taking taylor expansion of (sqrt (fma y y 1.0)) in (y) around 0 5.148 * [taylor]: Taking taylor expansion of (sqrt (fma y y 1.0)) in y 5.148 * [taylor]: Taking taylor expansion of (fma y y 1.0) in y 5.148 * [taylor]: Rewrote expression to (+ (* y y) 1.0) 5.148 * [taylor]: Taking taylor expansion of (* y y) in y 5.148 * [taylor]: Taking taylor expansion of y in y 5.148 * [taylor]: Taking taylor expansion of y in y 5.148 * [taylor]: Taking taylor expansion of 1.0 in y 5.150 * [taylor]: Taking taylor expansion of (sqrt (fma y y 1.0)) in y 5.150 * [taylor]: Taking taylor expansion of (fma y y 1.0) in y 5.150 * [taylor]: Rewrote expression to (+ (* y y) 1.0) 5.150 * [taylor]: Taking taylor expansion of (* y y) in y 5.150 * [taylor]: Taking taylor expansion of y in y 5.151 * [taylor]: Taking taylor expansion of y in y 5.151 * [taylor]: Taking taylor expansion of 1.0 in y 5.168 * [approximate]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 y) 1.0)) in (y) around 0 5.168 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 y) 1.0)) in y 5.168 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) 1.0) in y 5.168 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) 1.0) 5.168 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y 5.168 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.168 * [taylor]: Taking taylor expansion of y in y 5.169 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.169 * [taylor]: Taking taylor expansion of y in y 5.169 * [taylor]: Taking taylor expansion of 1.0 in y 5.172 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 y) 1.0)) in y 5.172 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) 1.0) in y 5.172 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) 1.0) 5.172 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y 5.172 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.173 * [taylor]: Taking taylor expansion of y in y 5.173 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.173 * [taylor]: Taking taylor expansion of y in y 5.173 * [taylor]: Taking taylor expansion of 1.0 in y 5.188 * [approximate]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 y) 1.0)) in (y) around 0 5.189 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 y) 1.0)) in y 5.189 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) 1.0) in y 5.189 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) 1.0) 5.189 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y 5.189 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.189 * [taylor]: Taking taylor expansion of -1 in y 5.189 * [taylor]: Taking taylor expansion of y in y 5.189 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.189 * [taylor]: Taking taylor expansion of -1 in y 5.189 * [taylor]: Taking taylor expansion of y in y 5.190 * [taylor]: Taking taylor expansion of 1.0 in y 5.193 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 y) 1.0)) in y 5.193 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) 1.0) in y 5.193 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) 1.0) 5.193 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y 5.193 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.193 * [taylor]: Taking taylor expansion of -1 in y 5.193 * [taylor]: Taking taylor expansion of y in y 5.194 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.194 * [taylor]: Taking taylor expansion of -1 in y 5.194 * [taylor]: Taking taylor expansion of y in y 5.194 * [taylor]: Taking taylor expansion of 1.0 in y 5.209 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 5.210 * [approximate]: Taking taylor expansion of (* (sqrt (fma y y 1.0)) x) in (y x) around 0 5.210 * [taylor]: Taking taylor expansion of (* (sqrt (fma y y 1.0)) x) in x 5.210 * [taylor]: Taking taylor expansion of (sqrt (fma y y 1.0)) in x 5.210 * [taylor]: Taking taylor expansion of (fma y y 1.0) in x 5.210 * [taylor]: Rewrote expression to (+ (* y y) 1.0) 5.210 * [taylor]: Taking taylor expansion of (* y y) in x 5.210 * [taylor]: Taking taylor expansion of y in x 5.210 * [taylor]: Taking taylor expansion of y in x 5.210 * [taylor]: Taking taylor expansion of 1.0 in x 5.211 * [taylor]: Taking taylor expansion of x in x 5.211 * [taylor]: Taking taylor expansion of (* (sqrt (fma y y 1.0)) x) in y 5.211 * [taylor]: Taking taylor expansion of (sqrt (fma y y 1.0)) in y 5.211 * [taylor]: Taking taylor expansion of (fma y y 1.0) in y 5.211 * [taylor]: Rewrote expression to (+ (* y y) 1.0) 5.211 * [taylor]: Taking taylor expansion of (* y y) in y 5.211 * [taylor]: Taking taylor expansion of y in y 5.211 * [taylor]: Taking taylor expansion of y in y 5.211 * [taylor]: Taking taylor expansion of 1.0 in y 5.214 * [taylor]: Taking taylor expansion of x in y 5.214 * [taylor]: Taking taylor expansion of (* (sqrt (fma y y 1.0)) x) in y 5.214 * [taylor]: Taking taylor expansion of (sqrt (fma y y 1.0)) in y 5.214 * [taylor]: Taking taylor expansion of (fma y y 1.0) in y 5.214 * [taylor]: Rewrote expression to (+ (* y y) 1.0) 5.214 * [taylor]: Taking taylor expansion of (* y y) in y 5.214 * [taylor]: Taking taylor expansion of y in y 5.214 * [taylor]: Taking taylor expansion of y in y 5.214 * [taylor]: Taking taylor expansion of 1.0 in y 5.216 * [taylor]: Taking taylor expansion of x in y 5.217 * [taylor]: Taking taylor expansion of (* x (sqrt 1.0)) in x 5.217 * [taylor]: Taking taylor expansion of x in x 5.217 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.217 * [taylor]: Taking taylor expansion of 1.0 in x 5.218 * [taylor]: Taking taylor expansion of 0 in x 5.224 * [taylor]: Taking taylor expansion of (* 1/2 (/ x (sqrt 1.0))) in x 5.224 * [taylor]: Taking taylor expansion of 1/2 in x 5.224 * [taylor]: Taking taylor expansion of (/ x (sqrt 1.0)) in x 5.225 * [taylor]: Taking taylor expansion of x in x 5.225 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.225 * [taylor]: Taking taylor expansion of 1.0 in x 5.238 * [taylor]: Taking taylor expansion of 0 in x 5.249 * [taylor]: Taking taylor expansion of (- (* 1/8 (/ x (pow (sqrt 1.0) 3)))) in x 5.250 * [taylor]: Taking taylor expansion of (* 1/8 (/ x (pow (sqrt 1.0) 3))) in x 5.250 * [taylor]: Taking taylor expansion of 1/8 in x 5.250 * [taylor]: Taking taylor expansion of (/ x (pow (sqrt 1.0) 3)) in x 5.250 * [taylor]: Taking taylor expansion of x in x 5.250 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 3) in x 5.250 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.250 * [taylor]: Taking taylor expansion of 1.0 in x 5.259 * [approximate]: Taking taylor expansion of (* (/ 1 x) (sqrt (fma (/ 1 y) (/ 1 y) 1.0))) in (y x) around 0 5.259 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (fma (/ 1 y) (/ 1 y) 1.0))) in x 5.259 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.259 * [taylor]: Taking taylor expansion of x in x 5.260 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 y) 1.0)) in x 5.260 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) 1.0) in x 5.260 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) 1.0) 5.260 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in x 5.260 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.260 * [taylor]: Taking taylor expansion of y in x 5.260 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.260 * [taylor]: Taking taylor expansion of y in x 5.260 * [taylor]: Taking taylor expansion of 1.0 in x 5.261 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (fma (/ 1 y) (/ 1 y) 1.0))) in y 5.261 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.261 * [taylor]: Taking taylor expansion of x in y 5.261 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 y) 1.0)) in y 5.261 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) 1.0) in y 5.262 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) 1.0) 5.262 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y 5.262 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.262 * [taylor]: Taking taylor expansion of y in y 5.262 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.262 * [taylor]: Taking taylor expansion of y in y 5.263 * [taylor]: Taking taylor expansion of 1.0 in y 5.266 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (fma (/ 1 y) (/ 1 y) 1.0))) in y 5.266 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.266 * [taylor]: Taking taylor expansion of x in y 5.266 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 y) 1.0)) in y 5.266 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) 1.0) in y 5.266 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) 1.0) 5.266 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y 5.266 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.266 * [taylor]: Taking taylor expansion of y in y 5.266 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.266 * [taylor]: Taking taylor expansion of y in y 5.267 * [taylor]: Taking taylor expansion of 1.0 in y 5.270 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.270 * [taylor]: Taking taylor expansion of x in x 5.271 * [taylor]: Taking taylor expansion of 0 in x 5.276 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 5.276 * [taylor]: Taking taylor expansion of 0.5 in x 5.276 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.276 * [taylor]: Taking taylor expansion of x in x 5.281 * [taylor]: Taking taylor expansion of 0 in x 5.289 * [taylor]: Taking taylor expansion of (- (* 0.125 (/ 1 x))) in x 5.289 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in x 5.289 * [taylor]: Taking taylor expansion of 0.125 in x 5.289 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.289 * [taylor]: Taking taylor expansion of x in x 5.291 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (fma (/ -1 y) (/ -1 y) 1.0)))) in (y x) around 0 5.291 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (fma (/ -1 y) (/ -1 y) 1.0)))) in x 5.291 * [taylor]: Taking taylor expansion of -1 in x 5.291 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (fma (/ -1 y) (/ -1 y) 1.0))) in x 5.291 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.291 * [taylor]: Taking taylor expansion of x in x 5.292 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 y) 1.0)) in x 5.292 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) 1.0) in x 5.292 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) 1.0) 5.292 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in x 5.292 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.292 * [taylor]: Taking taylor expansion of -1 in x 5.292 * [taylor]: Taking taylor expansion of y in x 5.292 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.292 * [taylor]: Taking taylor expansion of -1 in x 5.292 * [taylor]: Taking taylor expansion of y in x 5.292 * [taylor]: Taking taylor expansion of 1.0 in x 5.293 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (fma (/ -1 y) (/ -1 y) 1.0)))) in y 5.293 * [taylor]: Taking taylor expansion of -1 in y 5.293 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (fma (/ -1 y) (/ -1 y) 1.0))) in y 5.293 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.293 * [taylor]: Taking taylor expansion of x in y 5.293 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 y) 1.0)) in y 5.293 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) 1.0) in y 5.293 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) 1.0) 5.293 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y 5.293 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.293 * [taylor]: Taking taylor expansion of -1 in y 5.293 * [taylor]: Taking taylor expansion of y in y 5.294 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.294 * [taylor]: Taking taylor expansion of -1 in y 5.294 * [taylor]: Taking taylor expansion of y in y 5.294 * [taylor]: Taking taylor expansion of 1.0 in y 5.297 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (fma (/ -1 y) (/ -1 y) 1.0)))) in y 5.297 * [taylor]: Taking taylor expansion of -1 in y 5.297 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (fma (/ -1 y) (/ -1 y) 1.0))) in y 5.297 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.297 * [taylor]: Taking taylor expansion of x in y 5.297 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 y) 1.0)) in y 5.297 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) 1.0) in y 5.297 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) 1.0) 5.297 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y 5.297 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.298 * [taylor]: Taking taylor expansion of -1 in y 5.298 * [taylor]: Taking taylor expansion of y in y 5.298 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.298 * [taylor]: Taking taylor expansion of -1 in y 5.298 * [taylor]: Taking taylor expansion of y in y 5.298 * [taylor]: Taking taylor expansion of 1.0 in y 5.301 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.301 * [taylor]: Taking taylor expansion of -1 in x 5.301 * [taylor]: Taking taylor expansion of x in x 5.302 * [taylor]: Taking taylor expansion of 0 in x 5.308 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x))) in x 5.308 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 5.308 * [taylor]: Taking taylor expansion of 0.5 in x 5.308 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.308 * [taylor]: Taking taylor expansion of x in x 5.314 * [taylor]: Taking taylor expansion of 0 in x 5.322 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in x 5.323 * [taylor]: Taking taylor expansion of 0.125 in x 5.323 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.323 * [taylor]: Taking taylor expansion of x in x 5.325 * * * [progress]: simplifying candidates 5.326 * [simplify]: Simplifying using # : (expm1 (sqrt (fma y y 1.0))) (log1p (sqrt (fma y y 1.0))) (log (sqrt (fma y y 1.0))) (exp (sqrt (fma y y 1.0))) (* (cbrt (sqrt (fma y y 1.0))) (cbrt (sqrt (fma y y 1.0)))) (cbrt (sqrt (fma y y 1.0))) (* (* (sqrt (fma y y 1.0)) (sqrt (fma y y 1.0))) (sqrt (fma y y 1.0))) (sqrt (* (cbrt (fma y y 1.0)) (cbrt (fma y y 1.0)))) (sqrt (cbrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) (sqrt 1) (sqrt (fma y y 1.0)) (/ 1 2) (sqrt (sqrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) (expm1 (sqrt (fma y y 1.0))) (log1p (sqrt (fma y y 1.0))) (log (sqrt (fma y y 1.0))) (exp (sqrt (fma y y 1.0))) (* (cbrt (sqrt (fma y y 1.0))) (cbrt (sqrt (fma y y 1.0)))) (cbrt (sqrt (fma y y 1.0))) (* (* (sqrt (fma y y 1.0)) (sqrt (fma y y 1.0))) (sqrt (fma y y 1.0))) (sqrt (* (cbrt (fma y y 1.0)) (cbrt (fma y y 1.0)))) (sqrt (cbrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) (sqrt 1) (sqrt (fma y y 1.0)) (/ 1 2) (sqrt (sqrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) (expm1 (sqrt (fma y y 1.0))) (log1p (sqrt (fma y y 1.0))) (log (sqrt (fma y y 1.0))) (exp (sqrt (fma y y 1.0))) (* (cbrt (sqrt (fma y y 1.0))) (cbrt (sqrt (fma y y 1.0)))) (cbrt (sqrt (fma y y 1.0))) (* (* (sqrt (fma y y 1.0)) (sqrt (fma y y 1.0))) (sqrt (fma y y 1.0))) (sqrt (* (cbrt (fma y y 1.0)) (cbrt (fma y y 1.0)))) (sqrt (cbrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) (sqrt 1) (sqrt (fma y y 1.0)) (/ 1 2) (sqrt (sqrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) (expm1 (* (sqrt (sqrt (fma y y 1.0))) (* (sqrt (sqrt (fma y y 1.0))) x))) (log1p (* (sqrt (sqrt (fma y y 1.0))) (* (sqrt (sqrt (fma y y 1.0))) x))) (* (sqrt (sqrt (fma y y 1.0))) (* (sqrt (sqrt (fma y y 1.0))) x)) (* (sqrt (sqrt (fma y y 1.0))) (* (sqrt (sqrt (fma y y 1.0))) x)) (+ (log (sqrt (sqrt (fma y y 1.0)))) (+ (log (sqrt (sqrt (fma y y 1.0)))) (log x))) (+ (log (sqrt (sqrt (fma y y 1.0)))) (log (* (sqrt (sqrt (fma y y 1.0))) x))) (log (* (sqrt (sqrt (fma y y 1.0))) (* (sqrt (sqrt (fma y y 1.0))) x))) (exp (* (sqrt (sqrt (fma y y 1.0))) (* (sqrt (sqrt (fma y y 1.0))) x))) (* (* (* (sqrt (sqrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0)))) (sqrt (sqrt (fma y y 1.0)))) (* (* (* (sqrt (sqrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0)))) (sqrt (sqrt (fma y y 1.0)))) (* (* x x) x))) (* (* (* (sqrt (sqrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0)))) (sqrt (sqrt (fma y y 1.0)))) (* (* (* (sqrt (sqrt (fma y y 1.0))) x) (* (sqrt (sqrt (fma y y 1.0))) x)) (* (sqrt (sqrt (fma y y 1.0))) x))) (* (cbrt (* (sqrt (sqrt (fma y y 1.0))) (* (sqrt (sqrt (fma y y 1.0))) x))) (cbrt (* (sqrt (sqrt (fma y y 1.0))) (* (sqrt (sqrt (fma y y 1.0))) x)))) (cbrt (* (sqrt (sqrt (fma y y 1.0))) (* (sqrt (sqrt (fma y y 1.0))) x))) (* (* (* (sqrt (sqrt (fma y y 1.0))) (* (sqrt (sqrt (fma y y 1.0))) x)) (* (sqrt (sqrt (fma y y 1.0))) (* (sqrt (sqrt (fma y y 1.0))) x))) (* (sqrt (sqrt (fma y y 1.0))) (* (sqrt (sqrt (fma y y 1.0))) x))) (sqrt (* (sqrt (sqrt (fma y y 1.0))) (* (sqrt (sqrt (fma y y 1.0))) x))) (sqrt (* (sqrt (sqrt (fma y y 1.0))) (* (sqrt (sqrt (fma y y 1.0))) x))) (* (sqrt (sqrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0)))) (* (cbrt (sqrt (sqrt (fma y y 1.0)))) (* (sqrt (sqrt (fma y y 1.0))) x)) (* (sqrt (cbrt (sqrt (fma y y 1.0)))) (* (sqrt (sqrt (fma y y 1.0))) x)) (* (sqrt (sqrt (cbrt (fma y y 1.0)))) (* (sqrt (sqrt (fma y y 1.0))) x)) (* (sqrt (sqrt (sqrt (fma y y 1.0)))) (* (sqrt (sqrt (fma y y 1.0))) x)) (* (sqrt (sqrt (fma y y 1.0))) (* (sqrt (sqrt (fma y y 1.0))) x)) (* (sqrt (sqrt (sqrt (fma y y 1.0)))) (* (sqrt (sqrt (fma y y 1.0))) x)) (* (sqrt (sqrt (fma y y 1.0))) (* (sqrt (sqrt (fma y y 1.0))) x)) (* (sqrt (sqrt (sqrt (fma y y 1.0)))) (* (sqrt (sqrt (fma y y 1.0))) x)) (* (sqrt (sqrt (fma y y 1.0))) (* (sqrt (sqrt (fma y y 1.0))) x)) (- (+ (sqrt 1.0) (* 1/2 (/ (pow y 2) (sqrt 1.0)))) (* 1/8 (/ (pow y 4) (pow (sqrt 1.0) 3)))) (- (+ y (* 0.5 (/ 1 y))) (* 0.125 (/ 1 (pow y 3)))) (- (* 0.125 (/ 1 (pow y 3))) (+ y (* 0.5 (/ 1 y)))) (- (+ (sqrt 1.0) (* 1/2 (/ (pow y 2) (sqrt 1.0)))) (* 1/8 (/ (pow y 4) (pow (sqrt 1.0) 3)))) (- (+ y (* 0.5 (/ 1 y))) (* 0.125 (/ 1 (pow y 3)))) (- (* 0.125 (/ 1 (pow y 3))) (+ y (* 0.5 (/ 1 y)))) (- (+ (sqrt 1.0) (* 1/2 (/ (pow y 2) (sqrt 1.0)))) (* 1/8 (/ (pow y 4) (pow (sqrt 1.0) 3)))) (- (+ y (* 0.5 (/ 1 y))) (* 0.125 (/ 1 (pow y 3)))) (- (* 0.125 (/ 1 (pow y 3))) (+ y (* 0.5 (/ 1 y)))) (+ (* x (sqrt 1.0)) (* 1/2 (/ (* x (pow y 2)) (sqrt 1.0)))) (- (+ (* 0.5 (/ x y)) (* x y)) (* 0.125 (/ x (pow y 3)))) (- (* 0.125 (/ x (pow y 3))) (+ (* 0.5 (/ x y)) (* x y))) 5.329 * * [simplify]: iteration 0 : 93 enodes (cost 1046 ) 5.352 * * [simplify]: iteration 1 : 224 enodes (cost 800 ) 5.405 * * [simplify]: iteration 2 : 614 enodes (cost 706 ) 5.655 * * [simplify]: iteration 3 : 1526 enodes (cost 700 ) 6.561 * * [simplify]: iteration done : 5000 enodes (cost 697 ) 6.562 * [simplify]: Simplified to: (expm1 (sqrt (fma y y 1.0))) (log1p (sqrt (fma y y 1.0))) (log (sqrt (fma y y 1.0))) (exp (sqrt (fma y y 1.0))) (* (cbrt (sqrt (fma y y 1.0))) (cbrt (sqrt (fma y y 1.0)))) (cbrt (sqrt (fma y y 1.0))) (pow (sqrt (fma y y 1.0)) 3) (fabs (cbrt (fma y y 1.0))) (sqrt (cbrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) 1 (sqrt (fma y y 1.0)) 1/2 (sqrt (sqrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) (expm1 (sqrt (fma y y 1.0))) (log1p (sqrt (fma y y 1.0))) (log (sqrt (fma y y 1.0))) (exp (sqrt (fma y y 1.0))) (* (cbrt (sqrt (fma y y 1.0))) (cbrt (sqrt (fma y y 1.0)))) (cbrt (sqrt (fma y y 1.0))) (pow (sqrt (fma y y 1.0)) 3) (fabs (cbrt (fma y y 1.0))) (sqrt (cbrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) 1 (sqrt (fma y y 1.0)) 1/2 (sqrt (sqrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) (expm1 (sqrt (fma y y 1.0))) (log1p (sqrt (fma y y 1.0))) (log (sqrt (fma y y 1.0))) (exp (sqrt (fma y y 1.0))) (* (cbrt (sqrt (fma y y 1.0))) (cbrt (sqrt (fma y y 1.0)))) (cbrt (sqrt (fma y y 1.0))) (pow (sqrt (fma y y 1.0)) 3) (fabs (cbrt (fma y y 1.0))) (sqrt (cbrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) 1 (sqrt (fma y y 1.0)) 1/2 (sqrt (sqrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) (expm1 (* (sqrt (fma y y 1.0)) x)) (log1p (* (sqrt (fma y y 1.0)) x)) (* (sqrt (fma y y 1.0)) x) (* (sqrt (fma y y 1.0)) x) (log (* (sqrt (fma y y 1.0)) x)) (log (* (sqrt (fma y y 1.0)) x)) (log (* (sqrt (fma y y 1.0)) x)) (exp (* (sqrt (fma y y 1.0)) x)) (pow (* (sqrt (fma y y 1.0)) x) 3) (pow (* (sqrt (fma y y 1.0)) x) 3) (* (cbrt (* (sqrt (fma y y 1.0)) x)) (cbrt (* (sqrt (fma y y 1.0)) x))) (cbrt (* (sqrt (fma y y 1.0)) x)) (pow (* (sqrt (fma y y 1.0)) x) 3) (sqrt (* (sqrt (fma y y 1.0)) x)) (sqrt (* (sqrt (fma y y 1.0)) x)) (sqrt (fma y y 1.0)) (* (cbrt (sqrt (sqrt (fma y y 1.0)))) (* (sqrt (sqrt (fma y y 1.0))) x)) (* (sqrt (cbrt (sqrt (fma y y 1.0)))) (* (sqrt (sqrt (fma y y 1.0))) x)) (* (sqrt (sqrt (cbrt (fma y y 1.0)))) (* (sqrt (sqrt (fma y y 1.0))) x)) (* (sqrt (sqrt (sqrt (fma y y 1.0)))) (* (sqrt (sqrt (fma y y 1.0))) x)) (* (sqrt (fma y y 1.0)) x) (* (sqrt (sqrt (sqrt (fma y y 1.0)))) (* (sqrt (sqrt (fma y y 1.0))) x)) (* (sqrt (fma y y 1.0)) x) (* (sqrt (sqrt (sqrt (fma y y 1.0)))) (* (sqrt (sqrt (fma y y 1.0))) x)) (* (sqrt (fma y y 1.0)) x) (+ (* (/ (pow y 2) (sqrt 1.0)) (- 1/2 (* (/ (pow y 2) 1.0) 1/8))) (sqrt 1.0)) (- (+ y (/ 0.5 y)) (/ 0.125 (pow y 3))) (- (/ 0.125 (pow y 3)) (+ y (/ 0.5 y))) (+ (* (/ (pow y 2) (sqrt 1.0)) (- 1/2 (* (/ (pow y 2) 1.0) 1/8))) (sqrt 1.0)) (- (+ y (/ 0.5 y)) (/ 0.125 (pow y 3))) (- (/ 0.125 (pow y 3)) (+ y (/ 0.5 y))) (+ (* (/ (pow y 2) (sqrt 1.0)) (- 1/2 (* (/ (pow y 2) 1.0) 1/8))) (sqrt 1.0)) (- (+ y (/ 0.5 y)) (/ 0.125 (pow y 3))) (- (/ 0.125 (pow y 3)) (+ y (/ 0.5 y))) (fma x (sqrt 1.0) (* 1/2 (/ (* x (pow y 2)) (sqrt 1.0)))) (fma x y (* (/ x y) (- 0.5 (/ 0.125 (pow y 2))))) (- (* (/ x y) (- (/ 0.125 (pow y 2)) 0.5)) (* x y)) 6.563 * * * [progress]: adding candidates to table 6.821 * * [progress]: iteration 4 / 4 6.821 * * * [progress]: picking best candidate 6.828 * * * * [pick]: Picked # 6.828 * * * [progress]: localizing error 6.838 * * * [progress]: generating rewritten candidates 6.838 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 6.839 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1) 6.840 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 6.841 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 6.860 * * * [progress]: generating series expansions 6.860 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 6.860 * [approximate]: Taking taylor expansion of (sqrt (fma y y 1.0)) in (y) around 0 6.860 * [taylor]: Taking taylor expansion of (sqrt (fma y y 1.0)) in y 6.860 * [taylor]: Taking taylor expansion of (fma y y 1.0) in y 6.860 * [taylor]: Rewrote expression to (+ (* y y) 1.0) 6.860 * [taylor]: Taking taylor expansion of (* y y) in y 6.861 * [taylor]: Taking taylor expansion of y in y 6.861 * [taylor]: Taking taylor expansion of y in y 6.861 * [taylor]: Taking taylor expansion of 1.0 in y 6.864 * [taylor]: Taking taylor expansion of (sqrt (fma y y 1.0)) in y 6.864 * [taylor]: Taking taylor expansion of (fma y y 1.0) in y 6.864 * [taylor]: Rewrote expression to (+ (* y y) 1.0) 6.864 * [taylor]: Taking taylor expansion of (* y y) in y 6.864 * [taylor]: Taking taylor expansion of y in y 6.864 * [taylor]: Taking taylor expansion of y in y 6.864 * [taylor]: Taking taylor expansion of 1.0 in y 6.882 * [approximate]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 y) 1.0)) in (y) around 0 6.882 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 y) 1.0)) in y 6.882 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) 1.0) in y 6.882 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) 1.0) 6.882 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y 6.882 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.882 * [taylor]: Taking taylor expansion of y in y 6.883 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.883 * [taylor]: Taking taylor expansion of y in y 6.883 * [taylor]: Taking taylor expansion of 1.0 in y 6.886 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 y) 1.0)) in y 6.886 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) 1.0) in y 6.886 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) 1.0) 6.886 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y 6.887 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.887 * [taylor]: Taking taylor expansion of y in y 6.887 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.887 * [taylor]: Taking taylor expansion of y in y 6.887 * [taylor]: Taking taylor expansion of 1.0 in y 6.903 * [approximate]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 y) 1.0)) in (y) around 0 6.903 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 y) 1.0)) in y 6.903 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) 1.0) in y 6.903 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) 1.0) 6.903 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y 6.903 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.903 * [taylor]: Taking taylor expansion of -1 in y 6.903 * [taylor]: Taking taylor expansion of y in y 6.903 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.903 * [taylor]: Taking taylor expansion of -1 in y 6.903 * [taylor]: Taking taylor expansion of y in y 6.904 * [taylor]: Taking taylor expansion of 1.0 in y 6.907 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 y) 1.0)) in y 6.907 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) 1.0) in y 6.907 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) 1.0) 6.907 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y 6.907 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.907 * [taylor]: Taking taylor expansion of -1 in y 6.907 * [taylor]: Taking taylor expansion of y in y 6.908 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.908 * [taylor]: Taking taylor expansion of -1 in y 6.908 * [taylor]: Taking taylor expansion of y in y 6.908 * [taylor]: Taking taylor expansion of 1.0 in y 6.924 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1) 6.924 * [approximate]: Taking taylor expansion of (sqrt (fma y y 1.0)) in (y) around 0 6.924 * [taylor]: Taking taylor expansion of (sqrt (fma y y 1.0)) in y 6.924 * [taylor]: Taking taylor expansion of (fma y y 1.0) in y 6.924 * [taylor]: Rewrote expression to (+ (* y y) 1.0) 6.924 * [taylor]: Taking taylor expansion of (* y y) in y 6.924 * [taylor]: Taking taylor expansion of y in y 6.924 * [taylor]: Taking taylor expansion of y in y 6.924 * [taylor]: Taking taylor expansion of 1.0 in y 6.926 * [taylor]: Taking taylor expansion of (sqrt (fma y y 1.0)) in y 6.927 * [taylor]: Taking taylor expansion of (fma y y 1.0) in y 6.927 * [taylor]: Rewrote expression to (+ (* y y) 1.0) 6.927 * [taylor]: Taking taylor expansion of (* y y) in y 6.927 * [taylor]: Taking taylor expansion of y in y 6.927 * [taylor]: Taking taylor expansion of y in y 6.927 * [taylor]: Taking taylor expansion of 1.0 in y 6.950 * [approximate]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 y) 1.0)) in (y) around 0 6.951 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 y) 1.0)) in y 6.951 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) 1.0) in y 6.951 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) 1.0) 6.951 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y 6.951 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.951 * [taylor]: Taking taylor expansion of y in y 6.951 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.951 * [taylor]: Taking taylor expansion of y in y 6.952 * [taylor]: Taking taylor expansion of 1.0 in y 6.955 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 y) 1.0)) in y 6.955 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) 1.0) in y 6.955 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) 1.0) 6.955 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y 6.955 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.955 * [taylor]: Taking taylor expansion of y in y 6.956 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.956 * [taylor]: Taking taylor expansion of y in y 6.956 * [taylor]: Taking taylor expansion of 1.0 in y 6.972 * [approximate]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 y) 1.0)) in (y) around 0 6.972 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 y) 1.0)) in y 6.972 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) 1.0) in y 6.972 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) 1.0) 6.972 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y 6.972 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.972 * [taylor]: Taking taylor expansion of -1 in y 6.972 * [taylor]: Taking taylor expansion of y in y 6.972 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.973 * [taylor]: Taking taylor expansion of -1 in y 6.973 * [taylor]: Taking taylor expansion of y in y 6.973 * [taylor]: Taking taylor expansion of 1.0 in y 6.976 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 y) 1.0)) in y 6.976 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) 1.0) in y 6.976 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) 1.0) 6.976 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y 6.976 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.976 * [taylor]: Taking taylor expansion of -1 in y 6.976 * [taylor]: Taking taylor expansion of y in y 6.977 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.977 * [taylor]: Taking taylor expansion of -1 in y 6.977 * [taylor]: Taking taylor expansion of y in y 6.977 * [taylor]: Taking taylor expansion of 1.0 in y 6.992 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 6.992 * [approximate]: Taking taylor expansion of (sqrt (fma y y 1.0)) in (y) around 0 6.992 * [taylor]: Taking taylor expansion of (sqrt (fma y y 1.0)) in y 6.992 * [taylor]: Taking taylor expansion of (fma y y 1.0) in y 6.992 * [taylor]: Rewrote expression to (+ (* y y) 1.0) 6.992 * [taylor]: Taking taylor expansion of (* y y) in y 6.992 * [taylor]: Taking taylor expansion of y in y 6.992 * [taylor]: Taking taylor expansion of y in y 6.992 * [taylor]: Taking taylor expansion of 1.0 in y 6.994 * [taylor]: Taking taylor expansion of (sqrt (fma y y 1.0)) in y 6.994 * [taylor]: Taking taylor expansion of (fma y y 1.0) in y 6.995 * [taylor]: Rewrote expression to (+ (* y y) 1.0) 6.995 * [taylor]: Taking taylor expansion of (* y y) in y 6.995 * [taylor]: Taking taylor expansion of y in y 6.995 * [taylor]: Taking taylor expansion of y in y 6.995 * [taylor]: Taking taylor expansion of 1.0 in y 7.011 * [approximate]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 y) 1.0)) in (y) around 0 7.011 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 y) 1.0)) in y 7.011 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) 1.0) in y 7.011 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) 1.0) 7.011 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y 7.011 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.011 * [taylor]: Taking taylor expansion of y in y 7.012 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.012 * [taylor]: Taking taylor expansion of y in y 7.012 * [taylor]: Taking taylor expansion of 1.0 in y 7.015 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 y) 1.0)) in y 7.015 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) 1.0) in y 7.015 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) 1.0) 7.016 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y 7.016 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.016 * [taylor]: Taking taylor expansion of y in y 7.016 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.016 * [taylor]: Taking taylor expansion of y in y 7.016 * [taylor]: Taking taylor expansion of 1.0 in y 7.032 * [approximate]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 y) 1.0)) in (y) around 0 7.032 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 y) 1.0)) in y 7.032 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) 1.0) in y 7.032 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) 1.0) 7.032 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y 7.032 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.032 * [taylor]: Taking taylor expansion of -1 in y 7.032 * [taylor]: Taking taylor expansion of y in y 7.033 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.033 * [taylor]: Taking taylor expansion of -1 in y 7.033 * [taylor]: Taking taylor expansion of y in y 7.033 * [taylor]: Taking taylor expansion of 1.0 in y 7.036 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 y) 1.0)) in y 7.036 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) 1.0) in y 7.036 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) 1.0) 7.036 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y 7.036 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.036 * [taylor]: Taking taylor expansion of -1 in y 7.036 * [taylor]: Taking taylor expansion of y in y 7.037 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.037 * [taylor]: Taking taylor expansion of -1 in y 7.037 * [taylor]: Taking taylor expansion of y in y 7.037 * [taylor]: Taking taylor expansion of 1.0 in y 7.060 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 7.060 * [approximate]: Taking taylor expansion of (* (pow (pow (fma y y 1.0) 3) 1/4) x) in (y x) around 0 7.060 * [taylor]: Taking taylor expansion of (* (pow (pow (fma y y 1.0) 3) 1/4) x) in x 7.060 * [taylor]: Taking taylor expansion of (pow (pow (fma y y 1.0) 3) 1/4) in x 7.060 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fma y y 1.0) 3)))) in x 7.060 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fma y y 1.0) 3))) in x 7.060 * [taylor]: Taking taylor expansion of 1/4 in x 7.060 * [taylor]: Taking taylor expansion of (log (pow (fma y y 1.0) 3)) in x 7.060 * [taylor]: Taking taylor expansion of (pow (fma y y 1.0) 3) in x 7.060 * [taylor]: Taking taylor expansion of (fma y y 1.0) in x 7.060 * [taylor]: Rewrote expression to (+ (* y y) 1.0) 7.060 * [taylor]: Taking taylor expansion of (* y y) in x 7.060 * [taylor]: Taking taylor expansion of y in x 7.060 * [taylor]: Taking taylor expansion of y in x 7.061 * [taylor]: Taking taylor expansion of 1.0 in x 7.061 * [taylor]: Taking taylor expansion of x in x 7.061 * [taylor]: Taking taylor expansion of (* (pow (pow (fma y y 1.0) 3) 1/4) x) in y 7.061 * [taylor]: Taking taylor expansion of (pow (pow (fma y y 1.0) 3) 1/4) in y 7.061 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fma y y 1.0) 3)))) in y 7.061 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fma y y 1.0) 3))) in y 7.061 * [taylor]: Taking taylor expansion of 1/4 in y 7.061 * [taylor]: Taking taylor expansion of (log (pow (fma y y 1.0) 3)) in y 7.061 * [taylor]: Taking taylor expansion of (pow (fma y y 1.0) 3) in y 7.061 * [taylor]: Taking taylor expansion of (fma y y 1.0) in y 7.062 * [taylor]: Rewrote expression to (+ (* y y) 1.0) 7.062 * [taylor]: Taking taylor expansion of (* y y) in y 7.062 * [taylor]: Taking taylor expansion of y in y 7.062 * [taylor]: Taking taylor expansion of y in y 7.062 * [taylor]: Taking taylor expansion of 1.0 in y 7.066 * [taylor]: Taking taylor expansion of x in y 7.066 * [taylor]: Taking taylor expansion of (* (pow (pow (fma y y 1.0) 3) 1/4) x) in y 7.066 * [taylor]: Taking taylor expansion of (pow (pow (fma y y 1.0) 3) 1/4) in y 7.066 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fma y y 1.0) 3)))) in y 7.066 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fma y y 1.0) 3))) in y 7.066 * [taylor]: Taking taylor expansion of 1/4 in y 7.066 * [taylor]: Taking taylor expansion of (log (pow (fma y y 1.0) 3)) in y 7.066 * [taylor]: Taking taylor expansion of (pow (fma y y 1.0) 3) in y 7.066 * [taylor]: Taking taylor expansion of (fma y y 1.0) in y 7.066 * [taylor]: Rewrote expression to (+ (* y y) 1.0) 7.066 * [taylor]: Taking taylor expansion of (* y y) in y 7.066 * [taylor]: Taking taylor expansion of y in y 7.066 * [taylor]: Taking taylor expansion of y in y 7.066 * [taylor]: Taking taylor expansion of 1.0 in y 7.070 * [taylor]: Taking taylor expansion of x in y 7.070 * [taylor]: Taking taylor expansion of (* x (pow 1.0 1/4)) in x 7.070 * [taylor]: Taking taylor expansion of x in x 7.071 * [taylor]: Taking taylor expansion of (pow 1.0 1/4) in x 7.071 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log 1.0))) in x 7.071 * [taylor]: Taking taylor expansion of (* 1/4 (log 1.0)) in x 7.071 * [taylor]: Taking taylor expansion of 1/4 in x 7.071 * [taylor]: Taking taylor expansion of (log 1.0) in x 7.071 * [taylor]: Taking taylor expansion of 1.0 in x 7.078 * [taylor]: Taking taylor expansion of 0 in x 7.104 * [taylor]: Taking taylor expansion of (* 0.75 (* x (pow 1.0 1/4))) in x 7.104 * [taylor]: Taking taylor expansion of 0.75 in x 7.104 * [taylor]: Taking taylor expansion of (* x (pow 1.0 1/4)) in x 7.104 * [taylor]: Taking taylor expansion of x in x 7.104 * [taylor]: Taking taylor expansion of (pow 1.0 1/4) in x 7.104 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log 1.0))) in x 7.104 * [taylor]: Taking taylor expansion of (* 1/4 (log 1.0)) in x 7.104 * [taylor]: Taking taylor expansion of 1/4 in x 7.104 * [taylor]: Taking taylor expansion of (log 1.0) in x 7.104 * [taylor]: Taking taylor expansion of 1.0 in x 7.123 * [taylor]: Taking taylor expansion of 0 in x 7.202 * [taylor]: Taking taylor expansion of (- (* 1.03125 (* x (pow 1.0 1/4))) (* 1.125 (* x (pow (/ 1 (pow 1.0 7)) 1/4)))) in x 7.202 * [taylor]: Taking taylor expansion of (* 1.03125 (* x (pow 1.0 1/4))) in x 7.202 * [taylor]: Taking taylor expansion of 1.03125 in x 7.202 * [taylor]: Taking taylor expansion of (* x (pow 1.0 1/4)) in x 7.202 * [taylor]: Taking taylor expansion of x in x 7.202 * [taylor]: Taking taylor expansion of (pow 1.0 1/4) in x 7.202 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log 1.0))) in x 7.202 * [taylor]: Taking taylor expansion of (* 1/4 (log 1.0)) in x 7.202 * [taylor]: Taking taylor expansion of 1/4 in x 7.202 * [taylor]: Taking taylor expansion of (log 1.0) in x 7.202 * [taylor]: Taking taylor expansion of 1.0 in x 7.204 * [taylor]: Taking taylor expansion of (* 1.125 (* x (pow (/ 1 (pow 1.0 7)) 1/4))) in x 7.204 * [taylor]: Taking taylor expansion of 1.125 in x 7.204 * [taylor]: Taking taylor expansion of (* x (pow (/ 1 (pow 1.0 7)) 1/4)) in x 7.205 * [taylor]: Taking taylor expansion of x in x 7.205 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow 1.0 7)) 1/4) in x 7.205 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (pow 1.0 7))))) in x 7.205 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (pow 1.0 7)))) in x 7.205 * [taylor]: Taking taylor expansion of 1/4 in x 7.205 * [taylor]: Taking taylor expansion of (log (/ 1 (pow 1.0 7))) in x 7.205 * [taylor]: Taking taylor expansion of (/ 1 (pow 1.0 7)) in x 7.205 * [taylor]: Taking taylor expansion of (pow 1.0 7) in x 7.205 * [taylor]: Taking taylor expansion of 1.0 in x 7.218 * [approximate]: Taking taylor expansion of (* (/ 1 x) (pow (pow (fma (/ 1 y) (/ 1 y) 1.0) 3) 1/4)) in (y x) around 0 7.218 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (pow (fma (/ 1 y) (/ 1 y) 1.0) 3) 1/4)) in x 7.218 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.218 * [taylor]: Taking taylor expansion of x in x 7.219 * [taylor]: Taking taylor expansion of (pow (pow (fma (/ 1 y) (/ 1 y) 1.0) 3) 1/4) in x 7.219 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fma (/ 1 y) (/ 1 y) 1.0) 3)))) in x 7.219 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fma (/ 1 y) (/ 1 y) 1.0) 3))) in x 7.219 * [taylor]: Taking taylor expansion of 1/4 in x 7.219 * [taylor]: Taking taylor expansion of (log (pow (fma (/ 1 y) (/ 1 y) 1.0) 3)) in x 7.219 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 y) (/ 1 y) 1.0) 3) in x 7.219 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) 1.0) in x 7.219 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) 1.0) 7.219 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in x 7.219 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.219 * [taylor]: Taking taylor expansion of y in x 7.219 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.219 * [taylor]: Taking taylor expansion of y in x 7.219 * [taylor]: Taking taylor expansion of 1.0 in x 7.220 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (pow (fma (/ 1 y) (/ 1 y) 1.0) 3) 1/4)) in y 7.220 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.220 * [taylor]: Taking taylor expansion of x in y 7.220 * [taylor]: Taking taylor expansion of (pow (pow (fma (/ 1 y) (/ 1 y) 1.0) 3) 1/4) in y 7.220 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fma (/ 1 y) (/ 1 y) 1.0) 3)))) in y 7.220 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fma (/ 1 y) (/ 1 y) 1.0) 3))) in y 7.220 * [taylor]: Taking taylor expansion of 1/4 in y 7.220 * [taylor]: Taking taylor expansion of (log (pow (fma (/ 1 y) (/ 1 y) 1.0) 3)) in y 7.220 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 y) (/ 1 y) 1.0) 3) in y 7.220 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) 1.0) in y 7.221 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) 1.0) 7.221 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y 7.221 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.221 * [taylor]: Taking taylor expansion of y in y 7.221 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.221 * [taylor]: Taking taylor expansion of y in y 7.222 * [taylor]: Taking taylor expansion of 1.0 in y 7.223 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (pow (fma (/ 1 y) (/ 1 y) 1.0) 3) 1/4)) in y 7.224 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.224 * [taylor]: Taking taylor expansion of x in y 7.224 * [taylor]: Taking taylor expansion of (pow (pow (fma (/ 1 y) (/ 1 y) 1.0) 3) 1/4) in y 7.224 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fma (/ 1 y) (/ 1 y) 1.0) 3)))) in y 7.224 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fma (/ 1 y) (/ 1 y) 1.0) 3))) in y 7.224 * [taylor]: Taking taylor expansion of 1/4 in y 7.224 * [taylor]: Taking taylor expansion of (log (pow (fma (/ 1 y) (/ 1 y) 1.0) 3)) in y 7.224 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 y) (/ 1 y) 1.0) 3) in y 7.224 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) 1.0) in y 7.224 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) 1.0) 7.224 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y 7.224 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.224 * [taylor]: Taking taylor expansion of y in y 7.224 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.224 * [taylor]: Taking taylor expansion of y in y 7.225 * [taylor]: Taking taylor expansion of 1.0 in y 7.227 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (pow y 3)))) in x 7.227 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.227 * [taylor]: Taking taylor expansion of x in x 7.227 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow y 3))) in x 7.227 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x 7.227 * [taylor]: Taking taylor expansion of (pow y 3) in x 7.227 * [taylor]: Taking taylor expansion of y in x 7.233 * [taylor]: Taking taylor expansion of 0 in x 7.260 * [taylor]: Taking taylor expansion of (* 0.75 (* (/ 1 x) (sqrt (/ 1 (pow y 3))))) in x 7.260 * [taylor]: Taking taylor expansion of 0.75 in x 7.260 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (pow y 3)))) in x 7.260 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.260 * [taylor]: Taking taylor expansion of x in x 7.261 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow y 3))) in x 7.261 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x 7.261 * [taylor]: Taking taylor expansion of (pow y 3) in x 7.261 * [taylor]: Taking taylor expansion of y in x 7.276 * [taylor]: Taking taylor expansion of 0 in x 7.322 * [taylor]: Taking taylor expansion of (- (* 0.09375 (* (/ 1 x) (sqrt (/ 1 (pow y 3)))))) in x 7.322 * [taylor]: Taking taylor expansion of (* 0.09375 (* (/ 1 x) (sqrt (/ 1 (pow y 3))))) in x 7.322 * [taylor]: Taking taylor expansion of 0.09375 in x 7.322 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (pow y 3)))) in x 7.322 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.322 * [taylor]: Taking taylor expansion of x in x 7.322 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow y 3))) in x 7.323 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x 7.323 * [taylor]: Taking taylor expansion of (pow y 3) in x 7.323 * [taylor]: Taking taylor expansion of y in x 7.325 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (pow (fma (/ -1 y) (/ -1 y) 1.0) 3) 1/4))) in (y x) around 0 7.325 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (pow (fma (/ -1 y) (/ -1 y) 1.0) 3) 1/4))) in x 7.325 * [taylor]: Taking taylor expansion of -1 in x 7.325 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (pow (fma (/ -1 y) (/ -1 y) 1.0) 3) 1/4)) in x 7.325 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.325 * [taylor]: Taking taylor expansion of x in x 7.325 * [taylor]: Taking taylor expansion of (pow (pow (fma (/ -1 y) (/ -1 y) 1.0) 3) 1/4) in x 7.325 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fma (/ -1 y) (/ -1 y) 1.0) 3)))) in x 7.325 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fma (/ -1 y) (/ -1 y) 1.0) 3))) in x 7.325 * [taylor]: Taking taylor expansion of 1/4 in x 7.326 * [taylor]: Taking taylor expansion of (log (pow (fma (/ -1 y) (/ -1 y) 1.0) 3)) in x 7.326 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 y) (/ -1 y) 1.0) 3) in x 7.326 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) 1.0) in x 7.326 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) 1.0) 7.326 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in x 7.326 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.326 * [taylor]: Taking taylor expansion of -1 in x 7.326 * [taylor]: Taking taylor expansion of y in x 7.326 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.326 * [taylor]: Taking taylor expansion of -1 in x 7.326 * [taylor]: Taking taylor expansion of y in x 7.326 * [taylor]: Taking taylor expansion of 1.0 in x 7.327 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (pow (fma (/ -1 y) (/ -1 y) 1.0) 3) 1/4))) in y 7.327 * [taylor]: Taking taylor expansion of -1 in y 7.327 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (pow (fma (/ -1 y) (/ -1 y) 1.0) 3) 1/4)) in y 7.327 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.327 * [taylor]: Taking taylor expansion of x in y 7.327 * [taylor]: Taking taylor expansion of (pow (pow (fma (/ -1 y) (/ -1 y) 1.0) 3) 1/4) in y 7.327 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fma (/ -1 y) (/ -1 y) 1.0) 3)))) in y 7.327 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fma (/ -1 y) (/ -1 y) 1.0) 3))) in y 7.327 * [taylor]: Taking taylor expansion of 1/4 in y 7.327 * [taylor]: Taking taylor expansion of (log (pow (fma (/ -1 y) (/ -1 y) 1.0) 3)) in y 7.327 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 y) (/ -1 y) 1.0) 3) in y 7.327 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) 1.0) in y 7.328 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) 1.0) 7.328 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y 7.328 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.328 * [taylor]: Taking taylor expansion of -1 in y 7.328 * [taylor]: Taking taylor expansion of y in y 7.328 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.328 * [taylor]: Taking taylor expansion of -1 in y 7.328 * [taylor]: Taking taylor expansion of y in y 7.329 * [taylor]: Taking taylor expansion of 1.0 in y 7.331 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (pow (fma (/ -1 y) (/ -1 y) 1.0) 3) 1/4))) in y 7.331 * [taylor]: Taking taylor expansion of -1 in y 7.331 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (pow (fma (/ -1 y) (/ -1 y) 1.0) 3) 1/4)) in y 7.331 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.331 * [taylor]: Taking taylor expansion of x in y 7.331 * [taylor]: Taking taylor expansion of (pow (pow (fma (/ -1 y) (/ -1 y) 1.0) 3) 1/4) in y 7.331 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fma (/ -1 y) (/ -1 y) 1.0) 3)))) in y 7.331 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fma (/ -1 y) (/ -1 y) 1.0) 3))) in y 7.331 * [taylor]: Taking taylor expansion of 1/4 in y 7.331 * [taylor]: Taking taylor expansion of (log (pow (fma (/ -1 y) (/ -1 y) 1.0) 3)) in y 7.331 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 y) (/ -1 y) 1.0) 3) in y 7.331 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) 1.0) in y 7.331 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) 1.0) 7.331 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y 7.331 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.331 * [taylor]: Taking taylor expansion of -1 in y 7.331 * [taylor]: Taking taylor expansion of y in y 7.332 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.332 * [taylor]: Taking taylor expansion of -1 in y 7.332 * [taylor]: Taking taylor expansion of y in y 7.332 * [taylor]: Taking taylor expansion of 1.0 in y 7.334 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (/ 1 (pow y 3))))) in x 7.335 * [taylor]: Taking taylor expansion of -1 in x 7.335 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (pow y 3)))) in x 7.335 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.335 * [taylor]: Taking taylor expansion of x in x 7.335 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow y 3))) in x 7.335 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x 7.335 * [taylor]: Taking taylor expansion of (pow y 3) in x 7.335 * [taylor]: Taking taylor expansion of y in x 7.342 * [taylor]: Taking taylor expansion of 0 in x 7.370 * [taylor]: Taking taylor expansion of (- (* 0.75 (* (/ 1 x) (sqrt (/ 1 (pow y 3)))))) in x 7.370 * [taylor]: Taking taylor expansion of (* 0.75 (* (/ 1 x) (sqrt (/ 1 (pow y 3))))) in x 7.370 * [taylor]: Taking taylor expansion of 0.75 in x 7.370 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (pow y 3)))) in x 7.370 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.370 * [taylor]: Taking taylor expansion of x in x 7.371 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow y 3))) in x 7.371 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x 7.371 * [taylor]: Taking taylor expansion of (pow y 3) in x 7.371 * [taylor]: Taking taylor expansion of y in x 7.388 * [taylor]: Taking taylor expansion of 0 in x 7.438 * [taylor]: Taking taylor expansion of (* 0.09375 (* (/ 1 x) (sqrt (/ 1 (pow y 3))))) in x 7.438 * [taylor]: Taking taylor expansion of 0.09375 in x 7.438 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 (pow y 3)))) in x 7.438 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.438 * [taylor]: Taking taylor expansion of x in x 7.439 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow y 3))) in x 7.439 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x 7.439 * [taylor]: Taking taylor expansion of (pow y 3) in x 7.439 * [taylor]: Taking taylor expansion of y in x 7.440 * * * [progress]: simplifying candidates 7.442 * [simplify]: Simplifying using # : (expm1 (sqrt (fma y y 1.0))) (log1p (sqrt (fma y y 1.0))) (log (sqrt (fma y y 1.0))) (exp (sqrt (fma y y 1.0))) (* (cbrt (sqrt (fma y y 1.0))) (cbrt (sqrt (fma y y 1.0)))) (cbrt (sqrt (fma y y 1.0))) (* (* (sqrt (fma y y 1.0)) (sqrt (fma y y 1.0))) (sqrt (fma y y 1.0))) (sqrt (* (cbrt (fma y y 1.0)) (cbrt (fma y y 1.0)))) (sqrt (cbrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) (sqrt 1) (sqrt (fma y y 1.0)) (/ 1 2) (sqrt (sqrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) (expm1 (sqrt (fma y y 1.0))) (log1p (sqrt (fma y y 1.0))) (log (sqrt (fma y y 1.0))) (exp (sqrt (fma y y 1.0))) (* (cbrt (sqrt (fma y y 1.0))) (cbrt (sqrt (fma y y 1.0)))) (cbrt (sqrt (fma y y 1.0))) (* (* (sqrt (fma y y 1.0)) (sqrt (fma y y 1.0))) (sqrt (fma y y 1.0))) (sqrt (* (cbrt (fma y y 1.0)) (cbrt (fma y y 1.0)))) (sqrt (cbrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) (sqrt 1) (sqrt (fma y y 1.0)) (/ 1 2) (sqrt (sqrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) (expm1 (sqrt (fma y y 1.0))) (log1p (sqrt (fma y y 1.0))) (log (sqrt (fma y y 1.0))) (exp (sqrt (fma y y 1.0))) (* (cbrt (sqrt (fma y y 1.0))) (cbrt (sqrt (fma y y 1.0)))) (cbrt (sqrt (fma y y 1.0))) (* (* (sqrt (fma y y 1.0)) (sqrt (fma y y 1.0))) (sqrt (fma y y 1.0))) (sqrt (* (cbrt (fma y y 1.0)) (cbrt (fma y y 1.0)))) (sqrt (cbrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) (sqrt 1) (sqrt (fma y y 1.0)) (/ 1 2) (sqrt (sqrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) (expm1 (* (sqrt (sqrt (fma y y 1.0))) (* (sqrt (fma y y 1.0)) x))) (log1p (* (sqrt (sqrt (fma y y 1.0))) (* (sqrt (fma y y 1.0)) x))) (* (sqrt (sqrt (fma y y 1.0))) (* (sqrt (fma y y 1.0)) x)) (* (sqrt (sqrt (fma y y 1.0))) (* (sqrt (fma y y 1.0)) x)) (+ (log (sqrt (sqrt (fma y y 1.0)))) (+ (log (sqrt (fma y y 1.0))) (log x))) (+ (log (sqrt (sqrt (fma y y 1.0)))) (log (* (sqrt (fma y y 1.0)) x))) (log (* (sqrt (sqrt (fma y y 1.0))) (* (sqrt (fma y y 1.0)) x))) (exp (* (sqrt (sqrt (fma y y 1.0))) (* (sqrt (fma y y 1.0)) x))) (* (* (* (sqrt (sqrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0)))) (sqrt (sqrt (fma y y 1.0)))) (* (* (* (sqrt (fma y y 1.0)) (sqrt (fma y y 1.0))) (sqrt (fma y y 1.0))) (* (* x x) x))) (* (* (* (sqrt (sqrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0)))) (sqrt (sqrt (fma y y 1.0)))) (* (* (* (sqrt (fma y y 1.0)) x) (* (sqrt (fma y y 1.0)) x)) (* (sqrt (fma y y 1.0)) x))) (* (cbrt (* (sqrt (sqrt (fma y y 1.0))) (* (sqrt (fma y y 1.0)) x))) (cbrt (* (sqrt (sqrt (fma y y 1.0))) (* (sqrt (fma y y 1.0)) x)))) (cbrt (* (sqrt (sqrt (fma y y 1.0))) (* (sqrt (fma y y 1.0)) x))) (* (* (* (sqrt (sqrt (fma y y 1.0))) (* (sqrt (fma y y 1.0)) x)) (* (sqrt (sqrt (fma y y 1.0))) (* (sqrt (fma y y 1.0)) x))) (* (sqrt (sqrt (fma y y 1.0))) (* (sqrt (fma y y 1.0)) x))) (sqrt (* (sqrt (sqrt (fma y y 1.0))) (* (sqrt (fma y y 1.0)) x))) (sqrt (* (sqrt (sqrt (fma y y 1.0))) (* (sqrt (fma y y 1.0)) x))) (* (sqrt (sqrt (fma y y 1.0))) (sqrt (fma y y 1.0))) (* (cbrt (sqrt (sqrt (fma y y 1.0)))) (* (sqrt (fma y y 1.0)) x)) (* (sqrt (cbrt (sqrt (fma y y 1.0)))) (* (sqrt (fma y y 1.0)) x)) (* (sqrt (sqrt (cbrt (fma y y 1.0)))) (* (sqrt (fma y y 1.0)) x)) (* (sqrt (sqrt (sqrt (fma y y 1.0)))) (* (sqrt (fma y y 1.0)) x)) (* (sqrt (sqrt (fma y y 1.0))) (* (sqrt (fma y y 1.0)) x)) (* (sqrt (sqrt (sqrt (fma y y 1.0)))) (* (sqrt (fma y y 1.0)) x)) (* (sqrt (sqrt (fma y y 1.0))) (* (sqrt (fma y y 1.0)) x)) (* (sqrt (sqrt (sqrt (fma y y 1.0)))) (* (sqrt (fma y y 1.0)) x)) (* (sqrt (sqrt (fma y y 1.0))) (* (sqrt (fma y y 1.0)) x)) (- (+ (sqrt 1.0) (* 1/2 (/ (pow y 2) (sqrt 1.0)))) (* 1/8 (/ (pow y 4) (pow (sqrt 1.0) 3)))) (- (+ y (* 0.5 (/ 1 y))) (* 0.125 (/ 1 (pow y 3)))) (- (* 0.125 (/ 1 (pow y 3))) (+ y (* 0.5 (/ 1 y)))) (- (+ (sqrt 1.0) (* 1/2 (/ (pow y 2) (sqrt 1.0)))) (* 1/8 (/ (pow y 4) (pow (sqrt 1.0) 3)))) (- (+ y (* 0.5 (/ 1 y))) (* 0.125 (/ 1 (pow y 3)))) (- (* 0.125 (/ 1 (pow y 3))) (+ y (* 0.5 (/ 1 y)))) (- (+ (sqrt 1.0) (* 1/2 (/ (pow y 2) (sqrt 1.0)))) (* 1/8 (/ (pow y 4) (pow (sqrt 1.0) 3)))) (- (+ y (* 0.5 (/ 1 y))) (* 0.125 (/ 1 (pow y 3)))) (- (* 0.125 (/ 1 (pow y 3))) (+ y (* 0.5 (/ 1 y)))) (+ (* x (pow 1.0 1/4)) (* 0.75 (* (* x (pow y 2)) (pow 1.0 1/4)))) (- (+ (* 0.75 (* x (sqrt (/ 1 y)))) (* x (sqrt (pow y 3)))) (* 0.09375 (* x (sqrt (/ 1 (pow y 5)))))) (- (+ (* x (sqrt (* -1 (pow y 3)))) (* 0.75 (/ (* x (sqrt (* -1 (pow y 3)))) (pow y 2)))) (* 0.09375 (/ (* x (sqrt (* -1 (pow y 3)))) (pow y 4)))) 7.446 * * [simplify]: iteration 0 : 113 enodes (cost 1046 ) 7.473 * * [simplify]: iteration 1 : 270 enodes (cost 944 ) 7.540 * * [simplify]: iteration 2 : 824 enodes (cost 786 ) 7.945 * * [simplify]: iteration 3 : 2645 enodes (cost 780 ) 8.776 * * [simplify]: iteration done : 5000 enodes (cost 780 ) 8.777 * [simplify]: Simplified to: (expm1 (sqrt (fma y y 1.0))) (log1p (sqrt (fma y y 1.0))) (log (sqrt (fma y y 1.0))) (exp (sqrt (fma y y 1.0))) (* (cbrt (sqrt (fma y y 1.0))) (cbrt (sqrt (fma y y 1.0)))) (cbrt (sqrt (fma y y 1.0))) (pow (sqrt (fma y y 1.0)) 3) (fabs (cbrt (fma y y 1.0))) (sqrt (cbrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) 1 (sqrt (fma y y 1.0)) 1/2 (sqrt (sqrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) (expm1 (sqrt (fma y y 1.0))) (log1p (sqrt (fma y y 1.0))) (log (sqrt (fma y y 1.0))) (exp (sqrt (fma y y 1.0))) (* (cbrt (sqrt (fma y y 1.0))) (cbrt (sqrt (fma y y 1.0)))) (cbrt (sqrt (fma y y 1.0))) (pow (sqrt (fma y y 1.0)) 3) (fabs (cbrt (fma y y 1.0))) (sqrt (cbrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) 1 (sqrt (fma y y 1.0)) 1/2 (sqrt (sqrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) (expm1 (sqrt (fma y y 1.0))) (log1p (sqrt (fma y y 1.0))) (log (sqrt (fma y y 1.0))) (exp (sqrt (fma y y 1.0))) (* (cbrt (sqrt (fma y y 1.0))) (cbrt (sqrt (fma y y 1.0)))) (cbrt (sqrt (fma y y 1.0))) (pow (sqrt (fma y y 1.0)) 3) (fabs (cbrt (fma y y 1.0))) (sqrt (cbrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) 1 (sqrt (fma y y 1.0)) 1/2 (sqrt (sqrt (fma y y 1.0))) (sqrt (sqrt (fma y y 1.0))) (expm1 (* (pow (sqrt (sqrt (fma y y 1.0))) 3) x)) (log1p (* (pow (sqrt (sqrt (fma y y 1.0))) 3) x)) (* (pow (sqrt (sqrt (fma y y 1.0))) 3) x) (* (pow (sqrt (sqrt (fma y y 1.0))) 3) x) (log (* (pow (sqrt (sqrt (fma y y 1.0))) 3) x)) (log (* (pow (sqrt (sqrt (fma y y 1.0))) 3) x)) (log (* (pow (sqrt (sqrt (fma y y 1.0))) 3) x)) (exp (* (pow (sqrt (sqrt (fma y y 1.0))) 3) x)) (pow (* (pow (sqrt (sqrt (fma y y 1.0))) 3) x) 3) (pow (* (pow (sqrt (sqrt (fma y y 1.0))) 3) x) 3) (* (cbrt (* (pow (sqrt (sqrt (fma y y 1.0))) 3) x)) (cbrt (* (pow (sqrt (sqrt (fma y y 1.0))) 3) x))) (cbrt (* (pow (sqrt (sqrt (fma y y 1.0))) 3) x)) (pow (* (pow (sqrt (sqrt (fma y y 1.0))) 3) x) 3) (sqrt (* (pow (sqrt (sqrt (fma y y 1.0))) 3) x)) (sqrt (* (pow (sqrt (sqrt (fma y y 1.0))) 3) x)) (pow (sqrt (sqrt (fma y y 1.0))) 3) (* (cbrt (sqrt (sqrt (fma y y 1.0)))) (* (sqrt (fma y y 1.0)) x)) (* (sqrt (cbrt (sqrt (fma y y 1.0)))) (* (sqrt (fma y y 1.0)) x)) (* (sqrt (sqrt (cbrt (fma y y 1.0)))) (* (sqrt (fma y y 1.0)) x)) (* (sqrt (sqrt (sqrt (fma y y 1.0)))) (* (sqrt (fma y y 1.0)) x)) (* (pow (sqrt (sqrt (fma y y 1.0))) 3) x) (* (sqrt (sqrt (sqrt (fma y y 1.0)))) (* (sqrt (fma y y 1.0)) x)) (* (pow (sqrt (sqrt (fma y y 1.0))) 3) x) (* (sqrt (sqrt (sqrt (fma y y 1.0)))) (* (sqrt (fma y y 1.0)) x)) (* (pow (sqrt (sqrt (fma y y 1.0))) 3) x) (fma -1/8 (/ (pow y 4) (pow (sqrt 1.0) 3)) (fma (/ (pow y 2) (sqrt 1.0)) 1/2 (sqrt 1.0))) (- (+ (/ 0.5 y) y) (/ 0.125 (pow y 3))) (- (/ 0.125 (pow y 3)) (+ (/ 0.5 y) y)) (fma -1/8 (/ (pow y 4) (pow (sqrt 1.0) 3)) (fma (/ (pow y 2) (sqrt 1.0)) 1/2 (sqrt 1.0))) (- (+ (/ 0.5 y) y) (/ 0.125 (pow y 3))) (- (/ 0.125 (pow y 3)) (+ (/ 0.5 y) y)) (fma -1/8 (/ (pow y 4) (pow (sqrt 1.0) 3)) (fma (/ (pow y 2) (sqrt 1.0)) 1/2 (sqrt 1.0))) (- (+ (/ 0.5 y) y) (/ 0.125 (pow y 3))) (- (/ 0.125 (pow y 3)) (+ (/ 0.5 y) y)) (* (pow 1.0 1/4) (fma (* 0.75 x) (pow y 2) x)) (fma (* x (sqrt (/ 1 y))) 0.75 (* x (- (sqrt (pow y 3)) (* (sqrt (/ 1 (pow y 5))) 0.09375)))) (- (fma x (sqrt (- (pow y 3))) (* (/ (* (sqrt (- (pow y 3))) x) (pow y 2)) 0.75)) (* (/ (* (sqrt (- (pow y 3))) x) (pow y 4)) 0.09375)) 8.778 * * * [progress]: adding candidates to table 9.055 * [progress]: [Phase 3 of 3] Extracting. 9.055 * * [regime]: Finding splitpoints for: (# # # # # #) 9.056 * * * [regime-changes]: Trying 2 branch expressions: (y x) 9.056 * * * * [regimes]: Trying to branch on y from (# # # # # #) 9.085 * * * * [regimes]: Trying to branch on x from (# # # # # #) 9.109 * * * [regime]: Found split indices: #