4.170 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.038 * * * [progress]: [2/2] Setting up program. 0.041 * [progress]: [Phase 2 of 3] Improving. 0.041 * [simplify]: Simplifying using # : (- (pow x 4.0) (pow y 4.0)) 0.043 * * [simplify]: iteration 0 : 14 enodes (cost 3 ) 0.044 * * [simplify]: iteration 1 : 30 enodes (cost 3 ) 0.046 * * [simplify]: iteration 2 : 73 enodes (cost 3 ) 0.048 * * [simplify]: iteration 3 : 217 enodes (cost 3 ) 0.053 * * [simplify]: iteration 4 : 819 enodes (cost 3 ) 0.072 * * [simplify]: iteration 5 : 4243 enodes (cost 3 ) 0.177 * * [simplify]: iteration 6 : 5001 enodes (cost 3 ) 0.177 * [simplify]: Simplified to: (- (pow x 4.0) (pow y 4.0)) 0.177 * * [progress]: iteration 1 / 4 0.177 * * * [progress]: picking best candidate 0.179 * * * * [pick]: Picked # 0.179 * * * [progress]: localizing error 0.185 * * * [progress]: generating rewritten candidates 0.185 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.203 * * * [progress]: generating series expansions 0.203 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.203 * [approximate]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in (x y) around 0 0.203 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in y 0.203 * [taylor]: Taking taylor expansion of (pow x 4) in y 0.203 * [taylor]: Taking taylor expansion of x in y 0.203 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.203 * [taylor]: Taking taylor expansion of y in y 0.203 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x 0.203 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.203 * [taylor]: Taking taylor expansion of x in x 0.203 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.203 * [taylor]: Taking taylor expansion of y in x 0.203 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x 0.203 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.203 * [taylor]: Taking taylor expansion of x in x 0.203 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.203 * [taylor]: Taking taylor expansion of y in x 0.204 * [taylor]: Taking taylor expansion of (- (pow y 4)) in y 0.204 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.204 * [taylor]: Taking taylor expansion of y in y 0.205 * [taylor]: Taking taylor expansion of 0 in y 0.206 * [taylor]: Taking taylor expansion of 0 in y 0.208 * [taylor]: Taking taylor expansion of 0 in y 0.208 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0 0.208 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y 0.208 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y 0.208 * [taylor]: Taking taylor expansion of (pow x 4) in y 0.208 * [taylor]: Taking taylor expansion of x in y 0.208 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 0.208 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.208 * [taylor]: Taking taylor expansion of y in y 0.209 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 0.209 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.209 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.209 * [taylor]: Taking taylor expansion of x in x 0.210 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 0.210 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.210 * [taylor]: Taking taylor expansion of y in x 0.210 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 0.210 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.210 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.210 * [taylor]: Taking taylor expansion of x in x 0.211 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 0.211 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.211 * [taylor]: Taking taylor expansion of y in x 0.211 * [taylor]: Taking taylor expansion of 1 in y 0.213 * [taylor]: Taking taylor expansion of 0 in y 0.214 * [taylor]: Taking taylor expansion of 0 in y 0.216 * [taylor]: Taking taylor expansion of 0 in y 0.218 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in y 0.218 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 0.218 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.218 * [taylor]: Taking taylor expansion of y in y 0.222 * [taylor]: Taking taylor expansion of 0 in y 0.226 * [taylor]: Taking taylor expansion of 0 in y 0.229 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0 0.229 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y 0.229 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y 0.229 * [taylor]: Taking taylor expansion of (pow x 4) in y 0.229 * [taylor]: Taking taylor expansion of x in y 0.229 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 0.229 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.229 * [taylor]: Taking taylor expansion of y in y 0.230 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 0.230 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.230 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.230 * [taylor]: Taking taylor expansion of x in x 0.231 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 0.231 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.231 * [taylor]: Taking taylor expansion of y in x 0.231 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 0.231 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.231 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.231 * [taylor]: Taking taylor expansion of x in x 0.232 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 0.232 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.232 * [taylor]: Taking taylor expansion of y in x 0.232 * [taylor]: Taking taylor expansion of 1 in y 0.234 * [taylor]: Taking taylor expansion of 0 in y 0.235 * [taylor]: Taking taylor expansion of 0 in y 0.237 * [taylor]: Taking taylor expansion of 0 in y 0.239 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in y 0.239 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 0.239 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.239 * [taylor]: Taking taylor expansion of y in y 0.243 * [taylor]: Taking taylor expansion of 0 in y 0.252 * [taylor]: Taking taylor expansion of 0 in y 0.254 * * * [progress]: simplifying candidates 0.256 * [simplify]: Simplifying using # : (fma (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0) (- (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))) (fma (- (pow (cbrt y) 4.0)) (pow (* (cbrt y) (cbrt y)) 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0))) (fma (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0) (- (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0)))) (fma (- (pow (sqrt y) 4.0)) (pow (sqrt y) 4.0) (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0))) (fma (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0) (- (* (pow y 4.0) (pow 1 4.0)))) (fma (- (pow y 4.0)) (pow 1 4.0) (* (pow y 4.0) (pow 1 4.0))) (fma (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0) (- (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0)))))) (fma (- (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))))) (fma (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0) (- (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0))))) (fma (- (sqrt (pow y 4.0))) (sqrt (pow y 4.0)) (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0)))) (fma (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0) (- (* (pow y 4.0) 1))) (fma (- (pow y 4.0)) 1 (* (pow y 4.0) 1)) (fma (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0) (- (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2))))) (fma (- (pow y (/ 4.0 2))) (pow y (/ 4.0 2)) (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2)))) (fma (pow (sqrt x) 4.0) (pow (sqrt x) 4.0) (- (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))) (fma (- (pow (cbrt y) 4.0)) (pow (* (cbrt y) (cbrt y)) 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0))) (fma (pow (sqrt x) 4.0) (pow (sqrt x) 4.0) (- (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0)))) (fma (- (pow (sqrt y) 4.0)) (pow (sqrt y) 4.0) (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0))) (fma (pow (sqrt x) 4.0) (pow (sqrt x) 4.0) (- (* (pow y 4.0) (pow 1 4.0)))) (fma (- (pow y 4.0)) (pow 1 4.0) (* (pow y 4.0) (pow 1 4.0))) (fma (pow (sqrt x) 4.0) (pow (sqrt x) 4.0) (- (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0)))))) (fma (- (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))))) (fma (pow (sqrt x) 4.0) (pow (sqrt x) 4.0) (- (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0))))) (fma (- (sqrt (pow y 4.0))) (sqrt (pow y 4.0)) (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0)))) (fma (pow (sqrt x) 4.0) (pow (sqrt x) 4.0) (- (* (pow y 4.0) 1))) (fma (- (pow y 4.0)) 1 (* (pow y 4.0) 1)) (fma (pow (sqrt x) 4.0) (pow (sqrt x) 4.0) (- (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2))))) (fma (- (pow y (/ 4.0 2))) (pow y (/ 4.0 2)) (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2)))) (fma (pow 1 4.0) (pow x 4.0) (- (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))) (fma (- (pow (cbrt y) 4.0)) (pow (* (cbrt y) (cbrt y)) 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0))) (fma (pow 1 4.0) (pow x 4.0) (- (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0)))) (fma (- (pow (sqrt y) 4.0)) (pow (sqrt y) 4.0) (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0))) (fma (pow 1 4.0) (pow x 4.0) (- (* (pow y 4.0) (pow 1 4.0)))) (fma (- (pow y 4.0)) (pow 1 4.0) (* (pow y 4.0) (pow 1 4.0))) (fma (pow 1 4.0) (pow x 4.0) (- (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0)))))) (fma (- (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))))) (fma (pow 1 4.0) (pow x 4.0) (- (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0))))) (fma (- (sqrt (pow y 4.0))) (sqrt (pow y 4.0)) (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0)))) (fma (pow 1 4.0) (pow x 4.0) (- (* (pow y 4.0) 1))) (fma (- (pow y 4.0)) 1 (* (pow y 4.0) 1)) (fma (pow 1 4.0) (pow x 4.0) (- (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2))))) (fma (- (pow y (/ 4.0 2))) (pow y (/ 4.0 2)) (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2)))) (fma (* (cbrt (pow x 4.0)) (cbrt (pow x 4.0))) (cbrt (pow x 4.0)) (- (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))) (fma (- (pow (cbrt y) 4.0)) (pow (* (cbrt y) (cbrt y)) 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0))) (fma (* (cbrt (pow x 4.0)) (cbrt (pow x 4.0))) (cbrt (pow x 4.0)) (- (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0)))) (fma (- (pow (sqrt y) 4.0)) (pow (sqrt y) 4.0) (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0))) (fma (* (cbrt (pow x 4.0)) (cbrt (pow x 4.0))) (cbrt (pow x 4.0)) (- (* (pow y 4.0) (pow 1 4.0)))) (fma (- (pow y 4.0)) (pow 1 4.0) (* (pow y 4.0) (pow 1 4.0))) (fma (* (cbrt (pow x 4.0)) (cbrt (pow x 4.0))) (cbrt (pow x 4.0)) (- (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0)))))) (fma (- (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))))) (fma (* (cbrt (pow x 4.0)) (cbrt (pow x 4.0))) (cbrt (pow x 4.0)) (- (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0))))) (fma (- (sqrt (pow y 4.0))) (sqrt (pow y 4.0)) (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0)))) (fma (* (cbrt (pow x 4.0)) (cbrt (pow x 4.0))) (cbrt (pow x 4.0)) (- (* (pow y 4.0) 1))) (fma (- (pow y 4.0)) 1 (* (pow y 4.0) 1)) (fma (* (cbrt (pow x 4.0)) (cbrt (pow x 4.0))) (cbrt (pow x 4.0)) (- (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2))))) (fma (- (pow y (/ 4.0 2))) (pow y (/ 4.0 2)) (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2)))) (fma (sqrt (pow x 4.0)) (sqrt (pow x 4.0)) (- (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))) (fma (- (pow (cbrt y) 4.0)) (pow (* (cbrt y) (cbrt y)) 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0))) (fma (sqrt (pow x 4.0)) (sqrt (pow x 4.0)) (- (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0)))) (fma (- (pow (sqrt y) 4.0)) (pow (sqrt y) 4.0) (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0))) (fma (sqrt (pow x 4.0)) (sqrt (pow x 4.0)) (- (* (pow y 4.0) (pow 1 4.0)))) (fma (- (pow y 4.0)) (pow 1 4.0) (* (pow y 4.0) (pow 1 4.0))) (fma (sqrt (pow x 4.0)) (sqrt (pow x 4.0)) (- (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0)))))) (fma (- (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))))) (fma (sqrt (pow x 4.0)) (sqrt (pow x 4.0)) (- (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0))))) (fma (- (sqrt (pow y 4.0))) (sqrt (pow y 4.0)) (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0)))) (fma (sqrt (pow x 4.0)) (sqrt (pow x 4.0)) (- (* (pow y 4.0) 1))) (fma (- (pow y 4.0)) 1 (* (pow y 4.0) 1)) (fma (sqrt (pow x 4.0)) (sqrt (pow x 4.0)) (- (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2))))) (fma (- (pow y (/ 4.0 2))) (pow y (/ 4.0 2)) (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2)))) (fma 1 (pow x 4.0) (- (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))) (fma (- (pow (cbrt y) 4.0)) (pow (* (cbrt y) (cbrt y)) 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0))) (fma 1 (pow x 4.0) (- (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0)))) (fma (- (pow (sqrt y) 4.0)) (pow (sqrt y) 4.0) (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0))) (fma 1 (pow x 4.0) (- (* (pow y 4.0) (pow 1 4.0)))) (fma (- (pow y 4.0)) (pow 1 4.0) (* (pow y 4.0) (pow 1 4.0))) (fma 1 (pow x 4.0) (- (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0)))))) (fma (- (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))))) (fma 1 (pow x 4.0) (- (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0))))) (fma (- (sqrt (pow y 4.0))) (sqrt (pow y 4.0)) (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0)))) (fma 1 (pow x 4.0) (- (* (pow y 4.0) 1))) (fma (- (pow y 4.0)) 1 (* (pow y 4.0) 1)) (fma 1 (pow x 4.0) (- (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2))))) (fma (- (pow y (/ 4.0 2))) (pow y (/ 4.0 2)) (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2)))) (fma (pow x (/ 4.0 2)) (pow x (/ 4.0 2)) (- (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))) (fma (- (pow (cbrt y) 4.0)) (pow (* (cbrt y) (cbrt y)) 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0))) (fma (pow x (/ 4.0 2)) (pow x (/ 4.0 2)) (- (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0)))) (fma (- (pow (sqrt y) 4.0)) (pow (sqrt y) 4.0) (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0))) (fma (pow x (/ 4.0 2)) (pow x (/ 4.0 2)) (- (* (pow y 4.0) (pow 1 4.0)))) (fma (- (pow y 4.0)) (pow 1 4.0) (* (pow y 4.0) (pow 1 4.0))) (fma (pow x (/ 4.0 2)) (pow x (/ 4.0 2)) (- (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0)))))) (fma (- (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))))) (fma (pow x (/ 4.0 2)) (pow x (/ 4.0 2)) (- (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0))))) (fma (- (sqrt (pow y 4.0))) (sqrt (pow y 4.0)) (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0)))) (fma (pow x (/ 4.0 2)) (pow x (/ 4.0 2)) (- (* (pow y 4.0) 1))) (fma (- (pow y 4.0)) 1 (* (pow y 4.0) 1)) (fma (pow x (/ 4.0 2)) (pow x (/ 4.0 2)) (- (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2))))) (fma (- (pow y (/ 4.0 2))) (pow y (/ 4.0 2)) (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2)))) (expm1 (- (pow x 4.0) (pow y 4.0))) (log1p (- (pow x 4.0) (pow y 4.0))) (- (pow y 4.0)) (- (pow y 4.0)) (- (pow y 4.0)) (- (pow y 4.0)) (- (pow y 4.0)) (- (pow y 4.0)) (- (pow y 4.0)) (/ (exp (pow x 4.0)) (exp (pow y 4.0))) (log (- (pow x 4.0) (pow y 4.0))) (exp (- (pow x 4.0) (pow y 4.0))) (* (cbrt (- (pow x 4.0) (pow y 4.0))) (cbrt (- (pow x 4.0) (pow y 4.0)))) (cbrt (- (pow x 4.0) (pow y 4.0))) (* (* (- (pow x 4.0) (pow y 4.0)) (- (pow x 4.0) (pow y 4.0))) (- (pow x 4.0) (pow y 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0))) (- (pow (pow x 4.0) 3) (pow (pow y 4.0) 3)) (+ (* (pow x 4.0) (pow x 4.0)) (+ (* (pow y 4.0) (pow y 4.0)) (* (pow x 4.0) (pow y 4.0)))) (- (pow y 4.0)) (- (* (pow x 4.0) (pow x 4.0)) (* (pow y 4.0) (pow y 4.0))) (+ (pow x 4.0) (pow y 4.0)) (+ (pow (sqrt x) 4.0) (pow (sqrt y) 4.0)) (- (pow (sqrt x) 4.0) (pow (sqrt y) 4.0)) (+ (pow (sqrt x) 4.0) (sqrt (pow y 4.0))) (- (pow (sqrt x) 4.0) (sqrt (pow y 4.0))) (+ (pow (sqrt x) 4.0) (pow y (/ 4.0 2))) (- (pow (sqrt x) 4.0) (pow y (/ 4.0 2))) (+ (sqrt (pow x 4.0)) (pow (sqrt y) 4.0)) (- (sqrt (pow x 4.0)) (pow (sqrt y) 4.0)) (+ (sqrt (pow x 4.0)) (sqrt (pow y 4.0))) (- (sqrt (pow x 4.0)) (sqrt (pow y 4.0))) (+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2))) (- (sqrt (pow x 4.0)) (pow y (/ 4.0 2))) (+ (pow x (/ 4.0 2)) (pow (sqrt y) 4.0)) (- (pow x (/ 4.0 2)) (pow (sqrt y) 4.0)) (+ (pow x (/ 4.0 2)) (sqrt (pow y 4.0))) (- (pow x (/ 4.0 2)) (sqrt (pow y 4.0))) (+ (pow x (/ 4.0 2)) (pow y (/ 4.0 2))) (- (pow x (/ 4.0 2)) (pow y (/ 4.0 2))) (- (pow x 4.0) (pow y 4.0)) (- (pow x 4.0) (pow y 4.0)) (- (pow y 4.0)) 0 (- (pow x 4) (pow y 4)) (- (pow x 4) (pow y 4)) 0.262 * * [simplify]: iteration 0 : 315 enodes (cost 1099 ) 0.266 * * [simplify]: iteration 1 : 873 enodes (cost 775 ) 0.286 * * [simplify]: iteration 2 : 4757 enodes (cost 725 ) 0.387 * * [simplify]: iteration 3 : 5001 enodes (cost 720 ) 0.391 * [simplify]: Simplified to: (fma (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0) (- (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))) (* (pow (* (cbrt y) (cbrt y)) 4.0) (+ (- (pow (cbrt y) 4.0)) (pow (cbrt y) 4.0))) (- (* (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0)) (pow (sqrt y) (* 2 4.0))) (- (pow (sqrt y) (* 2 4.0)) (pow (sqrt y) (* 2 4.0))) (- (* (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0)) (pow y 4.0)) (- (pow y 4.0) (pow y 4.0)) (- (* (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0)) (pow y 4.0)) (- (pow y 4.0) (pow y 4.0)) (- (* (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0)) (pow y 4.0)) (- (pow y 4.0) (pow y 4.0)) (- (* (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0)) (pow y 4.0)) (- (pow y 4.0) (pow y 4.0)) (- (* (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0)) (pow y 4.0)) (- (pow y 4.0) (pow y 4.0)) (- (pow (sqrt x) (* 2 4.0)) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0))) (* (pow (* (cbrt y) (cbrt y)) 4.0) (+ (- (pow (cbrt y) 4.0)) (pow (cbrt y) 4.0))) (- (pow (sqrt x) (* 2 4.0)) (pow (sqrt y) (* 2 4.0))) (- (pow (sqrt y) (* 2 4.0)) (pow (sqrt y) (* 2 4.0))) (- (pow (sqrt x) (* 2 4.0)) (pow y 4.0)) (- (pow y 4.0) (pow y 4.0)) (- (pow (sqrt x) (* 2 4.0)) (pow y 4.0)) (- (pow y 4.0) (pow y 4.0)) (- (pow (sqrt x) (* 2 4.0)) (pow y 4.0)) (- (pow y 4.0) (pow y 4.0)) (- (pow (sqrt x) (* 2 4.0)) (pow y 4.0)) (- (pow y 4.0) (pow y 4.0)) (- (pow (sqrt x) (* 2 4.0)) (pow y 4.0)) (- (pow y 4.0) (pow y 4.0)) (- (pow x 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0))) (* (pow (* (cbrt y) (cbrt y)) 4.0) (+ (- (pow (cbrt y) 4.0)) (pow (cbrt y) 4.0))) (- (pow x 4.0) (pow (sqrt y) (* 2 4.0))) (- (pow (sqrt y) (* 2 4.0)) (pow (sqrt y) (* 2 4.0))) (- (pow x 4.0) (pow y 4.0)) (- (pow y 4.0) (pow y 4.0)) (- (pow x 4.0) (pow y 4.0)) (- (pow y 4.0) (pow y 4.0)) (- (pow x 4.0) (pow y 4.0)) (- (pow y 4.0) (pow y 4.0)) (- (pow x 4.0) (pow y 4.0)) (- (pow y 4.0) (pow y 4.0)) (- (pow x 4.0) (pow y 4.0)) (- (pow y 4.0) (pow y 4.0)) (fma (* (cbrt (pow x 4.0)) (cbrt (pow x 4.0))) (cbrt (pow x 4.0)) (- (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))) (* (pow (* (cbrt y) (cbrt y)) 4.0) (+ (- (pow (cbrt y) 4.0)) (pow (cbrt y) 4.0))) (- (* (* (cbrt (pow x 4.0)) (cbrt (pow x 4.0))) (cbrt (pow x 4.0))) (pow (sqrt y) (* 2 4.0))) (- (pow (sqrt y) (* 2 4.0)) (pow (sqrt y) (* 2 4.0))) (fma (- (sqrt (pow y 4.0))) (sqrt (pow y 4.0)) (pow (cbrt (pow x 4.0)) 3)) (- (pow y 4.0) (pow y 4.0)) (fma (- (sqrt (pow y 4.0))) (sqrt (pow y 4.0)) (pow (cbrt (pow x 4.0)) 3)) (- (pow y 4.0) (pow y 4.0)) (fma (- (sqrt (pow y 4.0))) (sqrt (pow y 4.0)) (pow (cbrt (pow x 4.0)) 3)) (- (pow y 4.0) (pow y 4.0)) (fma (- (sqrt (pow y 4.0))) (sqrt (pow y 4.0)) (pow (cbrt (pow x 4.0)) 3)) (- (pow y 4.0) (pow y 4.0)) (fma (- (sqrt (pow y 4.0))) (sqrt (pow y 4.0)) (pow (cbrt (pow x 4.0)) 3)) (- (pow y 4.0) (pow y 4.0)) (- (pow x 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0))) (* (pow (* (cbrt y) (cbrt y)) 4.0) (+ (- (pow (cbrt y) 4.0)) (pow (cbrt y) 4.0))) (- (pow x 4.0) (pow (sqrt y) (* 2 4.0))) (- (pow (sqrt y) (* 2 4.0)) (pow (sqrt y) (* 2 4.0))) (- (pow x 4.0) (pow y 4.0)) (- (pow y 4.0) (pow y 4.0)) (- (pow x 4.0) (pow y 4.0)) (- (pow y 4.0) (pow y 4.0)) (- (pow x 4.0) (pow y 4.0)) (- (pow y 4.0) (pow y 4.0)) (- (pow x 4.0) (pow y 4.0)) (- (pow y 4.0) (pow y 4.0)) (- (pow x 4.0) (pow y 4.0)) (- (pow y 4.0) (pow y 4.0)) (- (pow x 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0))) (* (pow (* (cbrt y) (cbrt y)) 4.0) (+ (- (pow (cbrt y) 4.0)) (pow (cbrt y) 4.0))) (- (pow x 4.0) (pow (sqrt y) (* 2 4.0))) (- (pow (sqrt y) (* 2 4.0)) (pow (sqrt y) (* 2 4.0))) (- (pow x 4.0) (pow y 4.0)) (- (pow y 4.0) (pow y 4.0)) (- (pow x 4.0) (pow y 4.0)) (- (pow y 4.0) (pow y 4.0)) (- (pow x 4.0) (pow y 4.0)) (- (pow y 4.0) (pow y 4.0)) (- (pow x 4.0) (pow y 4.0)) (- (pow y 4.0) (pow y 4.0)) (- (pow x 4.0) (pow y 4.0)) (- (pow y 4.0) (pow y 4.0)) (- (pow x 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0))) (* (pow (* (cbrt y) (cbrt y)) 4.0) (+ (- (pow (cbrt y) 4.0)) (pow (cbrt y) 4.0))) (- (pow x 4.0) (pow (sqrt y) (* 2 4.0))) (- (pow (sqrt y) (* 2 4.0)) (pow (sqrt y) (* 2 4.0))) (- (pow x 4.0) (pow y 4.0)) (- (pow y 4.0) (pow y 4.0)) (- (pow x 4.0) (pow y 4.0)) (- (pow y 4.0) (pow y 4.0)) (- (pow x 4.0) (pow y 4.0)) (- (pow y 4.0) (pow y 4.0)) (- (pow x 4.0) (pow y 4.0)) (- (pow y 4.0) (pow y 4.0)) (- (pow x 4.0) (pow y 4.0)) (- (pow y 4.0) (pow y 4.0)) (expm1 (- (pow x 4.0) (pow y 4.0))) (log1p (- (pow x 4.0) (pow y 4.0))) (- (pow y 4.0)) (- (pow y 4.0)) (- (pow y 4.0)) (- (pow y 4.0)) (- (pow y 4.0)) (- (pow y 4.0)) (- (pow y 4.0)) (exp (- (pow x 4.0) (pow y 4.0))) (log (- (pow x 4.0) (pow y 4.0))) (exp (- (pow x 4.0) (pow y 4.0))) (* (cbrt (- (pow x 4.0) (pow y 4.0))) (cbrt (- (pow x 4.0) (pow y 4.0)))) (cbrt (- (pow x 4.0) (pow y 4.0))) (pow (- (pow x 4.0) (pow y 4.0)) 3) (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0))) (- (pow (pow x 4.0) 3) (pow (pow y 4.0) 3)) (fma (pow y 4.0) (+ (pow x 4.0) (pow y 4.0)) (pow x (* 2 4.0))) (- (pow y 4.0)) (fma (- (pow y 4.0)) (pow y 4.0) (pow x (* 2 4.0))) (+ (pow x 4.0) (pow y 4.0)) (+ (pow (sqrt x) 4.0) (pow (sqrt y) 4.0)) (- (pow (sqrt x) 4.0) (pow (sqrt y) 4.0)) (+ (pow (sqrt x) 4.0) (sqrt (pow y 4.0))) (- (pow (sqrt x) 4.0) (sqrt (pow y 4.0))) (+ (pow (sqrt x) 4.0) (pow y (/ 4.0 2))) (- (pow (sqrt x) 4.0) (pow y (/ 4.0 2))) (+ (sqrt (pow x 4.0)) (pow (sqrt y) 4.0)) (- (sqrt (pow x 4.0)) (pow (sqrt y) 4.0)) (+ (sqrt (pow x 4.0)) (sqrt (pow y 4.0))) (- (sqrt (pow x 4.0)) (sqrt (pow y 4.0))) (+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2))) (- (sqrt (pow x 4.0)) (pow y (/ 4.0 2))) (+ (pow x (/ 4.0 2)) (pow (sqrt y) 4.0)) (- (pow x (/ 4.0 2)) (pow (sqrt y) 4.0)) (+ (pow x (/ 4.0 2)) (sqrt (pow y 4.0))) (- (pow x (/ 4.0 2)) (sqrt (pow y 4.0))) (+ (pow x (/ 4.0 2)) (pow y (/ 4.0 2))) (- (pow x (/ 4.0 2)) (pow y (/ 4.0 2))) (- (pow x 4.0) (pow y 4.0)) (- (pow x 4.0) (pow y 4.0)) (- (pow y 4.0)) 0 (- (pow x 4) (pow y 4)) (- (pow x 4) (pow y 4)) 0.392 * * * [progress]: adding candidates to table 0.522 * * [progress]: iteration 2 / 4 0.522 * * * [progress]: picking best candidate 0.524 * * * * [pick]: Picked # 0.525 * * * [progress]: localizing error 0.534 * * * [progress]: generating rewritten candidates 0.534 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 0.536 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 0.538 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 0.540 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 0.547 * * * [progress]: generating series expansions 0.547 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 0.547 * [approximate]: Taking taylor expansion of (pow (pow y 2.0) 1.0) in (y) around 0 0.547 * [taylor]: Taking taylor expansion of (pow (pow y 2.0) 1.0) in y 0.547 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow y 2.0)))) in y 0.547 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow y 2.0))) in y 0.547 * [taylor]: Taking taylor expansion of 1.0 in y 0.547 * [taylor]: Taking taylor expansion of (log (pow y 2.0)) in y 0.547 * [taylor]: Taking taylor expansion of (pow y 2.0) in y 0.547 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log y))) in y 0.547 * [taylor]: Taking taylor expansion of (* 2.0 (log y)) in y 0.547 * [taylor]: Taking taylor expansion of 2.0 in y 0.547 * [taylor]: Taking taylor expansion of (log y) in y 0.547 * [taylor]: Taking taylor expansion of y in y 0.548 * [taylor]: Taking taylor expansion of (pow (pow y 2.0) 1.0) in y 0.548 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow y 2.0)))) in y 0.548 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow y 2.0))) in y 0.548 * [taylor]: Taking taylor expansion of 1.0 in y 0.548 * [taylor]: Taking taylor expansion of (log (pow y 2.0)) in y 0.548 * [taylor]: Taking taylor expansion of (pow y 2.0) in y 0.548 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log y))) in y 0.549 * [taylor]: Taking taylor expansion of (* 2.0 (log y)) in y 0.549 * [taylor]: Taking taylor expansion of 2.0 in y 0.549 * [taylor]: Taking taylor expansion of (log y) in y 0.549 * [taylor]: Taking taylor expansion of y in y 0.636 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow y 2.0)) 1.0) in (y) around 0 0.636 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2.0)) 1.0) in y 0.636 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 2.0))))) in y 0.636 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 2.0)))) in y 0.636 * [taylor]: Taking taylor expansion of 1.0 in y 0.636 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2.0))) in y 0.636 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2.0)) in y 0.636 * [taylor]: Taking taylor expansion of (pow y 2.0) in y 0.636 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log y))) in y 0.636 * [taylor]: Taking taylor expansion of (* 2.0 (log y)) in y 0.636 * [taylor]: Taking taylor expansion of 2.0 in y 0.636 * [taylor]: Taking taylor expansion of (log y) in y 0.636 * [taylor]: Taking taylor expansion of y in y 0.637 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2.0)) 1.0) in y 0.637 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 2.0))))) in y 0.637 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 2.0)))) in y 0.637 * [taylor]: Taking taylor expansion of 1.0 in y 0.637 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2.0))) in y 0.637 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2.0)) in y 0.637 * [taylor]: Taking taylor expansion of (pow y 2.0) in y 0.638 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log y))) in y 0.638 * [taylor]: Taking taylor expansion of (* 2.0 (log y)) in y 0.638 * [taylor]: Taking taylor expansion of 2.0 in y 0.638 * [taylor]: Taking taylor expansion of (log y) in y 0.638 * [taylor]: Taking taylor expansion of y in y 0.733 * [approximate]: Taking taylor expansion of (pow (/ (pow -1 2.0) (pow y 2.0)) 1.0) in (y) around 0 0.733 * [taylor]: Taking taylor expansion of (pow (/ (pow -1 2.0) (pow y 2.0)) 1.0) in y 0.733 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ (pow -1 2.0) (pow y 2.0))))) in y 0.733 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ (pow -1 2.0) (pow y 2.0)))) in y 0.733 * [taylor]: Taking taylor expansion of 1.0 in y 0.733 * [taylor]: Taking taylor expansion of (log (/ (pow -1 2.0) (pow y 2.0))) in y 0.733 * [taylor]: Taking taylor expansion of (/ (pow -1 2.0) (pow y 2.0)) in y 0.733 * [taylor]: Taking taylor expansion of (pow -1 2.0) in y 0.733 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log -1))) in y 0.733 * [taylor]: Taking taylor expansion of (* 2.0 (log -1)) in y 0.733 * [taylor]: Taking taylor expansion of 2.0 in y 0.733 * [taylor]: Taking taylor expansion of (log -1) in y 0.733 * [taylor]: Taking taylor expansion of -1 in y 0.735 * [taylor]: Taking taylor expansion of (pow y 2.0) in y 0.735 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log y))) in y 0.735 * [taylor]: Taking taylor expansion of (* 2.0 (log y)) in y 0.735 * [taylor]: Taking taylor expansion of 2.0 in y 0.735 * [taylor]: Taking taylor expansion of (log y) in y 0.735 * [taylor]: Taking taylor expansion of y in y 0.738 * [taylor]: Taking taylor expansion of (pow (/ (pow -1 2.0) (pow y 2.0)) 1.0) in y 0.738 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ (pow -1 2.0) (pow y 2.0))))) in y 0.738 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ (pow -1 2.0) (pow y 2.0)))) in y 0.738 * [taylor]: Taking taylor expansion of 1.0 in y 0.738 * [taylor]: Taking taylor expansion of (log (/ (pow -1 2.0) (pow y 2.0))) in y 0.738 * [taylor]: Taking taylor expansion of (/ (pow -1 2.0) (pow y 2.0)) in y 0.738 * [taylor]: Taking taylor expansion of (pow -1 2.0) in y 0.738 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log -1))) in y 0.738 * [taylor]: Taking taylor expansion of (* 2.0 (log -1)) in y 0.738 * [taylor]: Taking taylor expansion of 2.0 in y 0.738 * [taylor]: Taking taylor expansion of (log -1) in y 0.738 * [taylor]: Taking taylor expansion of -1 in y 0.740 * [taylor]: Taking taylor expansion of (pow y 2.0) in y 0.740 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log y))) in y 0.740 * [taylor]: Taking taylor expansion of (* 2.0 (log y)) in y 0.740 * [taylor]: Taking taylor expansion of 2.0 in y 0.740 * [taylor]: Taking taylor expansion of (log y) in y 0.740 * [taylor]: Taking taylor expansion of y in y 0.906 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 0.906 * [approximate]: Taking taylor expansion of (pow (pow y 2.0) 1.0) in (y) around 0 0.906 * [taylor]: Taking taylor expansion of (pow (pow y 2.0) 1.0) in y 0.906 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow y 2.0)))) in y 0.906 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow y 2.0))) in y 0.906 * [taylor]: Taking taylor expansion of 1.0 in y 0.906 * [taylor]: Taking taylor expansion of (log (pow y 2.0)) in y 0.906 * [taylor]: Taking taylor expansion of (pow y 2.0) in y 0.906 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log y))) in y 0.906 * [taylor]: Taking taylor expansion of (* 2.0 (log y)) in y 0.906 * [taylor]: Taking taylor expansion of 2.0 in y 0.906 * [taylor]: Taking taylor expansion of (log y) in y 0.906 * [taylor]: Taking taylor expansion of y in y 0.907 * [taylor]: Taking taylor expansion of (pow (pow y 2.0) 1.0) in y 0.907 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow y 2.0)))) in y 0.907 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow y 2.0))) in y 0.907 * [taylor]: Taking taylor expansion of 1.0 in y 0.907 * [taylor]: Taking taylor expansion of (log (pow y 2.0)) in y 0.907 * [taylor]: Taking taylor expansion of (pow y 2.0) in y 0.907 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log y))) in y 0.907 * [taylor]: Taking taylor expansion of (* 2.0 (log y)) in y 0.907 * [taylor]: Taking taylor expansion of 2.0 in y 0.907 * [taylor]: Taking taylor expansion of (log y) in y 0.907 * [taylor]: Taking taylor expansion of y in y 0.996 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow y 2.0)) 1.0) in (y) around 0 0.996 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2.0)) 1.0) in y 0.996 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 2.0))))) in y 0.996 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 2.0)))) in y 0.996 * [taylor]: Taking taylor expansion of 1.0 in y 0.996 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2.0))) in y 0.996 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2.0)) in y 0.996 * [taylor]: Taking taylor expansion of (pow y 2.0) in y 0.996 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log y))) in y 0.996 * [taylor]: Taking taylor expansion of (* 2.0 (log y)) in y 0.996 * [taylor]: Taking taylor expansion of 2.0 in y 0.996 * [taylor]: Taking taylor expansion of (log y) in y 0.996 * [taylor]: Taking taylor expansion of y in y 0.997 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2.0)) 1.0) in y 0.997 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 2.0))))) in y 0.997 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 2.0)))) in y 0.997 * [taylor]: Taking taylor expansion of 1.0 in y 0.997 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2.0))) in y 0.997 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2.0)) in y 0.997 * [taylor]: Taking taylor expansion of (pow y 2.0) in y 0.997 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log y))) in y 0.997 * [taylor]: Taking taylor expansion of (* 2.0 (log y)) in y 0.997 * [taylor]: Taking taylor expansion of 2.0 in y 0.997 * [taylor]: Taking taylor expansion of (log y) in y 0.998 * [taylor]: Taking taylor expansion of y in y 1.094 * [approximate]: Taking taylor expansion of (pow (/ (pow -1 2.0) (pow y 2.0)) 1.0) in (y) around 0 1.094 * [taylor]: Taking taylor expansion of (pow (/ (pow -1 2.0) (pow y 2.0)) 1.0) in y 1.094 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ (pow -1 2.0) (pow y 2.0))))) in y 1.094 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ (pow -1 2.0) (pow y 2.0)))) in y 1.094 * [taylor]: Taking taylor expansion of 1.0 in y 1.094 * [taylor]: Taking taylor expansion of (log (/ (pow -1 2.0) (pow y 2.0))) in y 1.094 * [taylor]: Taking taylor expansion of (/ (pow -1 2.0) (pow y 2.0)) in y 1.094 * [taylor]: Taking taylor expansion of (pow -1 2.0) in y 1.094 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log -1))) in y 1.094 * [taylor]: Taking taylor expansion of (* 2.0 (log -1)) in y 1.094 * [taylor]: Taking taylor expansion of 2.0 in y 1.094 * [taylor]: Taking taylor expansion of (log -1) in y 1.094 * [taylor]: Taking taylor expansion of -1 in y 1.096 * [taylor]: Taking taylor expansion of (pow y 2.0) in y 1.096 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log y))) in y 1.096 * [taylor]: Taking taylor expansion of (* 2.0 (log y)) in y 1.096 * [taylor]: Taking taylor expansion of 2.0 in y 1.096 * [taylor]: Taking taylor expansion of (log y) in y 1.096 * [taylor]: Taking taylor expansion of y in y 1.099 * [taylor]: Taking taylor expansion of (pow (/ (pow -1 2.0) (pow y 2.0)) 1.0) in y 1.099 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ (pow -1 2.0) (pow y 2.0))))) in y 1.099 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ (pow -1 2.0) (pow y 2.0)))) in y 1.099 * [taylor]: Taking taylor expansion of 1.0 in y 1.099 * [taylor]: Taking taylor expansion of (log (/ (pow -1 2.0) (pow y 2.0))) in y 1.099 * [taylor]: Taking taylor expansion of (/ (pow -1 2.0) (pow y 2.0)) in y 1.099 * [taylor]: Taking taylor expansion of (pow -1 2.0) in y 1.099 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log -1))) in y 1.099 * [taylor]: Taking taylor expansion of (* 2.0 (log -1)) in y 1.099 * [taylor]: Taking taylor expansion of 2.0 in y 1.099 * [taylor]: Taking taylor expansion of (log -1) in y 1.099 * [taylor]: Taking taylor expansion of -1 in y 1.101 * [taylor]: Taking taylor expansion of (pow y 2.0) in y 1.101 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log y))) in y 1.101 * [taylor]: Taking taylor expansion of (* 2.0 (log y)) in y 1.101 * [taylor]: Taking taylor expansion of 2.0 in y 1.101 * [taylor]: Taking taylor expansion of (log y) in y 1.101 * [taylor]: Taking taylor expansion of y in y 1.266 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 1.266 * [approximate]: Taking taylor expansion of (pow (sqrt x) 4.0) in (x) around 0 1.266 * [taylor]: Taking taylor expansion of (pow (sqrt x) 4.0) in x 1.266 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (sqrt x)))) in x 1.266 * [taylor]: Taking taylor expansion of (* 4.0 (log (sqrt x))) in x 1.266 * [taylor]: Taking taylor expansion of 4.0 in x 1.266 * [taylor]: Taking taylor expansion of (log (sqrt x)) in x 1.266 * [taylor]: Taking taylor expansion of (sqrt x) in x 1.266 * [taylor]: Taking taylor expansion of x in x 1.268 * [taylor]: Taking taylor expansion of (pow (sqrt x) 4.0) in x 1.268 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (sqrt x)))) in x 1.268 * [taylor]: Taking taylor expansion of (* 4.0 (log (sqrt x))) in x 1.268 * [taylor]: Taking taylor expansion of 4.0 in x 1.268 * [taylor]: Taking taylor expansion of (log (sqrt x)) in x 1.269 * [taylor]: Taking taylor expansion of (sqrt x) in x 1.269 * [taylor]: Taking taylor expansion of x in x 1.303 * [approximate]: Taking taylor expansion of (pow (sqrt (/ 1 x)) 4.0) in (x) around 0 1.303 * [taylor]: Taking taylor expansion of (pow (sqrt (/ 1 x)) 4.0) in x 1.303 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (sqrt (/ 1 x))))) in x 1.303 * [taylor]: Taking taylor expansion of (* 4.0 (log (sqrt (/ 1 x)))) in x 1.303 * [taylor]: Taking taylor expansion of 4.0 in x 1.303 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 x))) in x 1.303 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 1.303 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.303 * [taylor]: Taking taylor expansion of x in x 1.306 * [taylor]: Taking taylor expansion of (pow (sqrt (/ 1 x)) 4.0) in x 1.306 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (sqrt (/ 1 x))))) in x 1.306 * [taylor]: Taking taylor expansion of (* 4.0 (log (sqrt (/ 1 x)))) in x 1.307 * [taylor]: Taking taylor expansion of 4.0 in x 1.307 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 x))) in x 1.307 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 1.307 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.307 * [taylor]: Taking taylor expansion of x in x 1.344 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 4.0) in (x) around 0 1.344 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 4.0) in x 1.344 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (sqrt (/ -1 x))))) in x 1.344 * [taylor]: Taking taylor expansion of (* 4.0 (log (sqrt (/ -1 x)))) in x 1.344 * [taylor]: Taking taylor expansion of 4.0 in x 1.344 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 1.344 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.344 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.344 * [taylor]: Taking taylor expansion of -1 in x 1.344 * [taylor]: Taking taylor expansion of x in x 1.347 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 4.0) in x 1.347 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (sqrt (/ -1 x))))) in x 1.347 * [taylor]: Taking taylor expansion of (* 4.0 (log (sqrt (/ -1 x)))) in x 1.347 * [taylor]: Taking taylor expansion of 4.0 in x 1.347 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 1.347 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.347 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.347 * [taylor]: Taking taylor expansion of -1 in x 1.347 * [taylor]: Taking taylor expansion of x in x 1.391 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 1.391 * [approximate]: Taking taylor expansion of (pow (sqrt x) 4.0) in (x) around 0 1.391 * [taylor]: Taking taylor expansion of (pow (sqrt x) 4.0) in x 1.391 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (sqrt x)))) in x 1.391 * [taylor]: Taking taylor expansion of (* 4.0 (log (sqrt x))) in x 1.391 * [taylor]: Taking taylor expansion of 4.0 in x 1.391 * [taylor]: Taking taylor expansion of (log (sqrt x)) in x 1.391 * [taylor]: Taking taylor expansion of (sqrt x) in x 1.391 * [taylor]: Taking taylor expansion of x in x 1.393 * [taylor]: Taking taylor expansion of (pow (sqrt x) 4.0) in x 1.393 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (sqrt x)))) in x 1.394 * [taylor]: Taking taylor expansion of (* 4.0 (log (sqrt x))) in x 1.394 * [taylor]: Taking taylor expansion of 4.0 in x 1.394 * [taylor]: Taking taylor expansion of (log (sqrt x)) in x 1.394 * [taylor]: Taking taylor expansion of (sqrt x) in x 1.394 * [taylor]: Taking taylor expansion of x in x 1.422 * [approximate]: Taking taylor expansion of (pow (sqrt (/ 1 x)) 4.0) in (x) around 0 1.422 * [taylor]: Taking taylor expansion of (pow (sqrt (/ 1 x)) 4.0) in x 1.422 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (sqrt (/ 1 x))))) in x 1.422 * [taylor]: Taking taylor expansion of (* 4.0 (log (sqrt (/ 1 x)))) in x 1.422 * [taylor]: Taking taylor expansion of 4.0 in x 1.422 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 x))) in x 1.422 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 1.422 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.422 * [taylor]: Taking taylor expansion of x in x 1.426 * [taylor]: Taking taylor expansion of (pow (sqrt (/ 1 x)) 4.0) in x 1.426 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (sqrt (/ 1 x))))) in x 1.426 * [taylor]: Taking taylor expansion of (* 4.0 (log (sqrt (/ 1 x)))) in x 1.426 * [taylor]: Taking taylor expansion of 4.0 in x 1.426 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 x))) in x 1.426 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 1.426 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.426 * [taylor]: Taking taylor expansion of x in x 1.469 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 4.0) in (x) around 0 1.469 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 4.0) in x 1.469 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (sqrt (/ -1 x))))) in x 1.469 * [taylor]: Taking taylor expansion of (* 4.0 (log (sqrt (/ -1 x)))) in x 1.469 * [taylor]: Taking taylor expansion of 4.0 in x 1.469 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 1.469 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.469 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.469 * [taylor]: Taking taylor expansion of -1 in x 1.469 * [taylor]: Taking taylor expansion of x in x 1.472 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 4.0) in x 1.472 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (sqrt (/ -1 x))))) in x 1.472 * [taylor]: Taking taylor expansion of (* 4.0 (log (sqrt (/ -1 x)))) in x 1.472 * [taylor]: Taking taylor expansion of 4.0 in x 1.472 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 1.472 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.472 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.472 * [taylor]: Taking taylor expansion of -1 in x 1.472 * [taylor]: Taking taylor expansion of x in x 1.509 * * * [progress]: simplifying candidates 1.510 * [simplify]: Simplifying using # : (expm1 (sqrt (pow y 4.0))) (log1p (sqrt (pow y 4.0))) (log (sqrt (pow y 4.0))) (exp (sqrt (pow y 4.0))) (* (cbrt (sqrt (pow y 4.0))) (cbrt (sqrt (pow y 4.0)))) (cbrt (sqrt (pow y 4.0))) (* (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0))) (sqrt (pow y 4.0))) (sqrt (pow (* (cbrt y) (cbrt y)) 4.0)) (sqrt (pow (cbrt y) 4.0)) (sqrt (pow (sqrt y) 4.0)) (sqrt (pow (sqrt y) 4.0)) (sqrt (pow 1 4.0)) (sqrt (pow y 4.0)) (sqrt (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0)))) (sqrt (cbrt (pow y 4.0))) (sqrt (sqrt (pow y 4.0))) (sqrt (sqrt (pow y 4.0))) (sqrt 1) (sqrt (pow y 4.0)) (sqrt (pow y (/ 4.0 2))) (sqrt (pow y (/ 4.0 2))) (/ 4.0 2) (sqrt (sqrt (pow y 4.0))) (sqrt (sqrt (pow y 4.0))) (expm1 (sqrt (pow y 4.0))) (log1p (sqrt (pow y 4.0))) (log (sqrt (pow y 4.0))) (exp (sqrt (pow y 4.0))) (* (cbrt (sqrt (pow y 4.0))) (cbrt (sqrt (pow y 4.0)))) (cbrt (sqrt (pow y 4.0))) (* (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0))) (sqrt (pow y 4.0))) (sqrt (pow (* (cbrt y) (cbrt y)) 4.0)) (sqrt (pow (cbrt y) 4.0)) (sqrt (pow (sqrt y) 4.0)) (sqrt (pow (sqrt y) 4.0)) (sqrt (pow 1 4.0)) (sqrt (pow y 4.0)) (sqrt (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0)))) (sqrt (cbrt (pow y 4.0))) (sqrt (sqrt (pow y 4.0))) (sqrt (sqrt (pow y 4.0))) (sqrt 1) (sqrt (pow y 4.0)) (sqrt (pow y (/ 4.0 2))) (sqrt (pow y (/ 4.0 2))) (/ 4.0 2) (sqrt (sqrt (pow y 4.0))) (sqrt (sqrt (pow y 4.0))) (expm1 (pow (sqrt x) 4.0)) (log1p (pow (sqrt x) 4.0)) (* (log (sqrt x)) 4.0) (* (log (sqrt x)) 4.0) (* 1/2 4.0) (* 1 4.0) (* (/ 1 2) 4.0) (pow (sqrt x) (* (cbrt 4.0) (cbrt 4.0))) (pow (sqrt x) (sqrt 4.0)) (pow (sqrt x) 1) (pow (* (cbrt (sqrt x)) (cbrt (sqrt x))) 4.0) (pow (cbrt (sqrt x)) 4.0) (pow (sqrt (* (cbrt x) (cbrt x))) 4.0) (pow (sqrt (cbrt x)) 4.0) (pow (sqrt (sqrt x)) 4.0) (pow (sqrt (sqrt x)) 4.0) (pow (sqrt 1) 4.0) (pow (sqrt x) 4.0) (pow (sqrt (sqrt x)) 4.0) (pow (sqrt (sqrt x)) 4.0) (pow 1 4.0) (pow (sqrt x) 4.0) (log (pow (sqrt x) 4.0)) (exp (pow (sqrt x) 4.0)) (* (cbrt (pow (sqrt x) 4.0)) (cbrt (pow (sqrt x) 4.0))) (cbrt (pow (sqrt x) 4.0)) (* (* (pow (sqrt x) 4.0) (pow (sqrt x) 4.0)) (pow (sqrt x) 4.0)) (/ 4.0 2) (sqrt (pow (sqrt x) 4.0)) (sqrt (pow (sqrt x) 4.0)) (pow (sqrt x) (/ 4.0 2)) (pow (sqrt x) (/ 4.0 2)) (expm1 (pow (sqrt x) 4.0)) (log1p (pow (sqrt x) 4.0)) (* (log (sqrt x)) 4.0) (* (log (sqrt x)) 4.0) (* 1/2 4.0) (* 1 4.0) (* (/ 1 2) 4.0) (pow (sqrt x) (* (cbrt 4.0) (cbrt 4.0))) (pow (sqrt x) (sqrt 4.0)) (pow (sqrt x) 1) (pow (* (cbrt (sqrt x)) (cbrt (sqrt x))) 4.0) (pow (cbrt (sqrt x)) 4.0) (pow (sqrt (* (cbrt x) (cbrt x))) 4.0) (pow (sqrt (cbrt x)) 4.0) (pow (sqrt (sqrt x)) 4.0) (pow (sqrt (sqrt x)) 4.0) (pow (sqrt 1) 4.0) (pow (sqrt x) 4.0) (pow (sqrt (sqrt x)) 4.0) (pow (sqrt (sqrt x)) 4.0) (pow 1 4.0) (pow (sqrt x) 4.0) (log (pow (sqrt x) 4.0)) (exp (pow (sqrt x) 4.0)) (* (cbrt (pow (sqrt x) 4.0)) (cbrt (pow (sqrt x) 4.0))) (cbrt (pow (sqrt x) 4.0)) (* (* (pow (sqrt x) 4.0) (pow (sqrt x) 4.0)) (pow (sqrt x) 4.0)) (/ 4.0 2) (sqrt (pow (sqrt x) 4.0)) (sqrt (pow (sqrt x) 4.0)) (pow (sqrt x) (/ 4.0 2)) (pow (sqrt x) (/ 4.0 2)) (pow (pow y 2.0) 1.0) (pow (pow (pow (pow (pow (pow (pow (pow y 2.0) 1.0) 1.0) 1.0) 1.0) 1.0) 1.0) 1.0) (pow (pow (pow (pow (pow (pow (pow (pow y 2.0) 1.0) 1.0) 1.0) 1.0) 1.0) 1.0) 1.0) (pow (pow y 2.0) 1.0) (pow (pow (pow (pow (pow (pow (pow (pow y 2.0) 1.0) 1.0) 1.0) 1.0) 1.0) 1.0) 1.0) (pow (pow (pow (pow (pow (pow (pow (pow y 2.0) 1.0) 1.0) 1.0) 1.0) 1.0) 1.0) 1.0) (- (exp (* 4.0 (+ (log x) (log +nan.0)))) (+ (* +nan.0 (* (pow x 2) (exp (* 4.0 (+ (log x) (log +nan.0)))))) (- (* +nan.0 (* x (exp (* 4.0 (+ (log x) (log +nan.0))))))))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) (- (exp (* 4.0 (+ (log x) (log +nan.0)))) (+ (* +nan.0 (* (pow x 2) (exp (* 4.0 (+ (log x) (log +nan.0)))))) (- (* +nan.0 (* x (exp (* 4.0 (+ (log x) (log +nan.0))))))))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1.515 * * [simplify]: iteration 0 : 221 enodes (cost 450 ) 1.518 * * [simplify]: iteration 1 : 620 enodes (cost 420 ) 1.529 * * [simplify]: iteration 2 : 2435 enodes (cost 404 ) 1.577 * * [simplify]: iteration 3 : 5001 enodes (cost 390 ) 1.580 * [simplify]: Simplified to: (expm1 (sqrt (pow y 4.0))) (log1p (sqrt (pow y 4.0))) (log (sqrt (pow y 4.0))) (exp (sqrt (pow y 4.0))) (* (cbrt (sqrt (pow y 4.0))) (cbrt (sqrt (pow y 4.0)))) (cbrt (sqrt (pow y 4.0))) (pow (sqrt (pow y 4.0)) 3) (sqrt (pow (* (cbrt y) (cbrt y)) 4.0)) (sqrt (pow (cbrt y) 4.0)) (sqrt (pow (sqrt y) 4.0)) (sqrt (pow (sqrt y) 4.0)) 1 (sqrt (pow y 4.0)) (fabs (cbrt (pow y 4.0))) (sqrt (cbrt (pow y 4.0))) (sqrt (sqrt (pow y 4.0))) (sqrt (sqrt (pow y 4.0))) 1 (sqrt (pow y 4.0)) (sqrt (pow y (/ 4.0 2))) (sqrt (pow y (/ 4.0 2))) (* 1/2 4.0) (sqrt (sqrt (pow y 4.0))) (sqrt (sqrt (pow y 4.0))) (expm1 (sqrt (pow y 4.0))) (log1p (sqrt (pow y 4.0))) (log (sqrt (pow y 4.0))) (exp (sqrt (pow y 4.0))) (* (cbrt (sqrt (pow y 4.0))) (cbrt (sqrt (pow y 4.0)))) (cbrt (sqrt (pow y 4.0))) (pow (sqrt (pow y 4.0)) 3) (sqrt (pow (* (cbrt y) (cbrt y)) 4.0)) (sqrt (pow (cbrt y) 4.0)) (sqrt (pow (sqrt y) 4.0)) (sqrt (pow (sqrt y) 4.0)) 1 (sqrt (pow y 4.0)) (fabs (cbrt (pow y 4.0))) (sqrt (cbrt (pow y 4.0))) (sqrt (sqrt (pow y 4.0))) (sqrt (sqrt (pow y 4.0))) 1 (sqrt (pow y 4.0)) (sqrt (pow y (/ 4.0 2))) (sqrt (pow y (/ 4.0 2))) (* 1/2 4.0) (sqrt (sqrt (pow y 4.0))) (sqrt (sqrt (pow y 4.0))) (expm1 (pow (sqrt x) 4.0)) (log1p (pow (sqrt x) 4.0)) (log (pow (sqrt x) 4.0)) (log (pow (sqrt x) 4.0)) (* 1/2 4.0) 4.0 (* 1/2 4.0) (pow (sqrt x) (* (cbrt 4.0) (cbrt 4.0))) (pow (sqrt x) (sqrt 4.0)) (sqrt x) (pow (* (cbrt (sqrt x)) (cbrt (sqrt x))) 4.0) (pow (cbrt (sqrt x)) 4.0) (pow (sqrt (* (cbrt x) (cbrt x))) 4.0) (pow (sqrt (cbrt x)) 4.0) (pow (sqrt (sqrt x)) 4.0) (pow (sqrt (sqrt x)) 4.0) 1 (pow (sqrt x) 4.0) (pow (sqrt (sqrt x)) 4.0) (pow (sqrt (sqrt x)) 4.0) 1 (pow (sqrt x) 4.0) (log (pow (sqrt x) 4.0)) (exp (pow (sqrt x) 4.0)) (* (cbrt (pow (sqrt x) 4.0)) (cbrt (pow (sqrt x) 4.0))) (cbrt (pow (sqrt x) 4.0)) (pow (pow (sqrt x) 4.0) 3) (* 1/2 4.0) (sqrt (pow (sqrt x) 4.0)) (sqrt (pow (sqrt x) 4.0)) (pow (sqrt x) (/ 4.0 2)) (pow (sqrt x) (/ 4.0 2)) (expm1 (pow (sqrt x) 4.0)) (log1p (pow (sqrt x) 4.0)) (log (pow (sqrt x) 4.0)) (log (pow (sqrt x) 4.0)) (* 1/2 4.0) 4.0 (* 1/2 4.0) (pow (sqrt x) (* (cbrt 4.0) (cbrt 4.0))) (pow (sqrt x) (sqrt 4.0)) (sqrt x) (pow (* (cbrt (sqrt x)) (cbrt (sqrt x))) 4.0) (pow (cbrt (sqrt x)) 4.0) (pow (sqrt (* (cbrt x) (cbrt x))) 4.0) (pow (sqrt (cbrt x)) 4.0) (pow (sqrt (sqrt x)) 4.0) (pow (sqrt (sqrt x)) 4.0) 1 (pow (sqrt x) 4.0) (pow (sqrt (sqrt x)) 4.0) (pow (sqrt (sqrt x)) 4.0) 1 (pow (sqrt x) 4.0) (log (pow (sqrt x) 4.0)) (exp (pow (sqrt x) 4.0)) (* (cbrt (pow (sqrt x) 4.0)) (cbrt (pow (sqrt x) 4.0))) (cbrt (pow (sqrt x) 4.0)) (pow (pow (sqrt x) 4.0) 3) (* 1/2 4.0) (sqrt (pow (sqrt x) 4.0)) (sqrt (pow (sqrt x) 4.0)) (pow (sqrt x) (/ 4.0 2)) (pow (sqrt x) (/ 4.0 2)) (pow (pow y 2.0) 1.0) (pow (pow (pow (pow (pow (pow (pow (pow y 2.0) 1.0) 1.0) 1.0) 1.0) 1.0) 1.0) 1.0) (pow (pow (pow (pow (pow (pow (pow (pow y 2.0) 1.0) 1.0) 1.0) 1.0) 1.0) 1.0) 1.0) (pow (pow y 2.0) 1.0) (pow (pow (pow (pow (pow (pow (pow (pow y 2.0) 1.0) 1.0) 1.0) 1.0) 1.0) 1.0) 1.0) (pow (pow (pow (pow (pow (pow (pow (pow y 2.0) 1.0) 1.0) 1.0) 1.0) 1.0) 1.0) 1.0) (fma (- +nan.0) (* (* (pow +nan.0 4.0) (pow x 4.0)) (- (pow x 2) x)) (* (pow +nan.0 4.0) (pow x 4.0))) (- (- (/ +nan.0 x) +nan.0) (/ (/ +nan.0 x) x)) (- (- (/ +nan.0 x) +nan.0) (/ (/ +nan.0 x) x)) (fma (- +nan.0) (* (* (pow +nan.0 4.0) (pow x 4.0)) (- (pow x 2) x)) (* (pow +nan.0 4.0) (pow x 4.0))) (- (- (/ +nan.0 x) +nan.0) (/ (/ +nan.0 x) x)) (- (- (/ +nan.0 x) +nan.0) (/ (/ +nan.0 x) x)) 1.581 * * * [progress]: adding candidates to table 1.889 * [progress]: [Phase 3 of 3] Extracting. 1.889 * * [regime]: Finding splitpoints for: (# #) 1.890 * * * [regime-changes]: Trying 5 branch expressions: ((pow y 4.0) (pow x 4.0) (- (pow x 4.0) (pow y 4.0)) y x) 1.890 * * * * [regimes]: Trying to branch on (pow y 4.0) from (# #) 1.905 * * * * [regimes]: Trying to branch on (pow x 4.0) from (# #) 1.924 * * * * [regimes]: Trying to branch on (- (pow x 4.0) (pow y 4.0)) from (# #) 1.945 * * * * [regimes]: Trying to branch on y from (# #) 1.958 * * * * [regimes]: Trying to branch on x from (# #) 1.974 * * * [regime]: Found split indices: #