12.340 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.009 * * * [progress]: [2/2] Setting up program. 0.011 * [progress]: [Phase 2 of 3] Improving. 0.011 * [simplify]: Simplifying using # : (- x (/ y 200.0)) 0.014 * * [simplify]: iteration 0 : 7 enodes (cost 2 ) 0.015 * * [simplify]: iteration 1 : 10 enodes (cost 2 ) 0.016 * * [simplify]: iteration 2 : 10 enodes (cost 2 ) 0.016 * [simplify]: Simplified to: (- x (/ y 200.0)) 0.017 * * [progress]: iteration 1 / 4 0.017 * * * [progress]: picking best candidate 0.018 * * * * [pick]: Picked # 0.018 * * * [progress]: localizing error 0.021 * * * [progress]: generating rewritten candidates 0.021 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.032 * * * [progress]: generating series expansions 0.032 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.032 * [approximate]: Taking taylor expansion of (- x (* 0.005 y)) in (x y) around 0 0.032 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in y 0.032 * [taylor]: Taking taylor expansion of x in y 0.032 * [taylor]: Taking taylor expansion of (* 0.005 y) in y 0.032 * [taylor]: Taking taylor expansion of 0.005 in y 0.032 * [taylor]: Taking taylor expansion of y in y 0.032 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in x 0.032 * [taylor]: Taking taylor expansion of x in x 0.032 * [taylor]: Taking taylor expansion of (* 0.005 y) in x 0.032 * [taylor]: Taking taylor expansion of 0.005 in x 0.032 * [taylor]: Taking taylor expansion of y in x 0.032 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in x 0.032 * [taylor]: Taking taylor expansion of x in x 0.032 * [taylor]: Taking taylor expansion of (* 0.005 y) in x 0.032 * [taylor]: Taking taylor expansion of 0.005 in x 0.032 * [taylor]: Taking taylor expansion of y in x 0.032 * [taylor]: Taking taylor expansion of (- (* 0.005 y)) in y 0.032 * [taylor]: Taking taylor expansion of (* 0.005 y) in y 0.032 * [taylor]: Taking taylor expansion of 0.005 in y 0.032 * [taylor]: Taking taylor expansion of y in y 0.034 * [taylor]: Taking taylor expansion of 1 in y 0.036 * [taylor]: Taking taylor expansion of 0 in y 0.038 * [taylor]: Taking taylor expansion of 0 in y 0.038 * [approximate]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in (x y) around 0 0.038 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in y 0.039 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.039 * [taylor]: Taking taylor expansion of x in y 0.039 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 0.039 * [taylor]: Taking taylor expansion of 0.005 in y 0.039 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.039 * [taylor]: Taking taylor expansion of y in y 0.039 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in x 0.039 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.039 * [taylor]: Taking taylor expansion of x in x 0.039 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 0.039 * [taylor]: Taking taylor expansion of 0.005 in x 0.039 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.039 * [taylor]: Taking taylor expansion of y in x 0.039 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in x 0.039 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.039 * [taylor]: Taking taylor expansion of x in x 0.040 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 0.040 * [taylor]: Taking taylor expansion of 0.005 in x 0.040 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.040 * [taylor]: Taking taylor expansion of y in x 0.040 * [taylor]: Taking taylor expansion of 1 in y 0.041 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y))) in y 0.041 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 0.041 * [taylor]: Taking taylor expansion of 0.005 in y 0.041 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.041 * [taylor]: Taking taylor expansion of y in y 0.043 * [taylor]: Taking taylor expansion of 0 in y 0.045 * [taylor]: Taking taylor expansion of 0 in y 0.048 * [taylor]: Taking taylor expansion of 0 in y 0.049 * [approximate]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in (x y) around 0 0.049 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in y 0.049 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 0.049 * [taylor]: Taking taylor expansion of 0.005 in y 0.049 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.049 * [taylor]: Taking taylor expansion of y in y 0.049 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.049 * [taylor]: Taking taylor expansion of x in y 0.049 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in x 0.049 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 0.049 * [taylor]: Taking taylor expansion of 0.005 in x 0.049 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.050 * [taylor]: Taking taylor expansion of y in x 0.050 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.050 * [taylor]: Taking taylor expansion of x in x 0.050 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in x 0.050 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 0.050 * [taylor]: Taking taylor expansion of 0.005 in x 0.050 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.050 * [taylor]: Taking taylor expansion of y in x 0.050 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.050 * [taylor]: Taking taylor expansion of x in x 0.051 * [taylor]: Taking taylor expansion of -1 in y 0.051 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 0.051 * [taylor]: Taking taylor expansion of 0.005 in y 0.051 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.051 * [taylor]: Taking taylor expansion of y in y 0.053 * [taylor]: Taking taylor expansion of 0 in y 0.055 * [taylor]: Taking taylor expansion of 0 in y 0.058 * [taylor]: Taking taylor expansion of 0 in y 0.058 * * * [progress]: simplifying candidates 0.060 * [simplify]: Simplifying using # : (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt (/ y 200.0)) (* (cbrt (/ y 200.0)) (cbrt (/ y 200.0)))))) (fma (- (cbrt (/ y 200.0))) (* (cbrt (/ y 200.0)) (cbrt (/ y 200.0))) (* (cbrt (/ y 200.0)) (* (cbrt (/ y 200.0)) (cbrt (/ y 200.0))))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt (/ y 200.0)) (sqrt (/ y 200.0))))) (fma (- (sqrt (/ y 200.0))) (sqrt (/ y 200.0)) (* (sqrt (/ y 200.0)) (sqrt (/ y 200.0)))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ (cbrt y) (cbrt 200.0)) (/ (* (cbrt y) (cbrt y)) (* (cbrt 200.0) (cbrt 200.0)))))) (fma (- (/ (cbrt y) (cbrt 200.0))) (/ (* (cbrt y) (cbrt y)) (* (cbrt 200.0) (cbrt 200.0))) (* (/ (cbrt y) (cbrt 200.0)) (/ (* (cbrt y) (cbrt y)) (* (cbrt 200.0) (cbrt 200.0))))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ (cbrt y) (sqrt 200.0)) (/ (* (cbrt y) (cbrt y)) (sqrt 200.0))))) (fma (- (/ (cbrt y) (sqrt 200.0))) (/ (* (cbrt y) (cbrt y)) (sqrt 200.0)) (* (/ (cbrt y) (sqrt 200.0)) (/ (* (cbrt y) (cbrt y)) (sqrt 200.0)))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ (cbrt y) 200.0) (/ (* (cbrt y) (cbrt y)) 1)))) (fma (- (/ (cbrt y) 200.0)) (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) 200.0) (/ (* (cbrt y) (cbrt y)) 1))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ (sqrt y) (cbrt 200.0)) (/ (sqrt y) (* (cbrt 200.0) (cbrt 200.0)))))) (fma (- (/ (sqrt y) (cbrt 200.0))) (/ (sqrt y) (* (cbrt 200.0) (cbrt 200.0))) (* (/ (sqrt y) (cbrt 200.0)) (/ (sqrt y) (* (cbrt 200.0) (cbrt 200.0))))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ (sqrt y) (sqrt 200.0)) (/ (sqrt y) (sqrt 200.0))))) (fma (- (/ (sqrt y) (sqrt 200.0))) (/ (sqrt y) (sqrt 200.0)) (* (/ (sqrt y) (sqrt 200.0)) (/ (sqrt y) (sqrt 200.0)))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ (sqrt y) 200.0) (/ (sqrt y) 1)))) (fma (- (/ (sqrt y) 200.0)) (/ (sqrt y) 1) (* (/ (sqrt y) 200.0) (/ (sqrt y) 1))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ y (cbrt 200.0)) (/ 1 (* (cbrt 200.0) (cbrt 200.0)))))) (fma (- (/ y (cbrt 200.0))) (/ 1 (* (cbrt 200.0) (cbrt 200.0))) (* (/ y (cbrt 200.0)) (/ 1 (* (cbrt 200.0) (cbrt 200.0))))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0))))) (fma (- (/ y (sqrt 200.0))) (/ 1 (sqrt 200.0)) (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0)))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ y 200.0) (/ 1 1)))) (fma (- (/ y 200.0)) (/ 1 1) (* (/ y 200.0) (/ 1 1))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ y 200.0) 1))) (fma (- (/ y 200.0)) 1 (* (/ y 200.0) 1)) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ 1 200.0) y))) (fma (- (/ 1 200.0)) y (* (/ 1 200.0) y)) (fma (sqrt x) (sqrt x) (- (* (cbrt (/ y 200.0)) (* (cbrt (/ y 200.0)) (cbrt (/ y 200.0)))))) (fma (- (cbrt (/ y 200.0))) (* (cbrt (/ y 200.0)) (cbrt (/ y 200.0))) (* (cbrt (/ y 200.0)) (* (cbrt (/ y 200.0)) (cbrt (/ y 200.0))))) (fma (sqrt x) (sqrt x) (- (* (sqrt (/ y 200.0)) (sqrt (/ y 200.0))))) (fma (- (sqrt (/ y 200.0))) (sqrt (/ y 200.0)) (* (sqrt (/ y 200.0)) (sqrt (/ y 200.0)))) (fma (sqrt x) (sqrt x) (- (* (/ (cbrt y) (cbrt 200.0)) (/ (* (cbrt y) (cbrt y)) (* (cbrt 200.0) (cbrt 200.0)))))) (fma (- (/ (cbrt y) (cbrt 200.0))) (/ (* (cbrt y) (cbrt y)) (* (cbrt 200.0) (cbrt 200.0))) (* (/ (cbrt y) (cbrt 200.0)) (/ (* (cbrt y) (cbrt y)) (* (cbrt 200.0) (cbrt 200.0))))) (fma (sqrt x) (sqrt x) (- (* (/ (cbrt y) (sqrt 200.0)) (/ (* (cbrt y) (cbrt y)) (sqrt 200.0))))) (fma (- (/ (cbrt y) (sqrt 200.0))) (/ (* (cbrt y) (cbrt y)) (sqrt 200.0)) (* (/ (cbrt y) (sqrt 200.0)) (/ (* (cbrt y) (cbrt y)) (sqrt 200.0)))) (fma (sqrt x) (sqrt x) (- (* (/ (cbrt y) 200.0) (/ (* (cbrt y) (cbrt y)) 1)))) (fma (- (/ (cbrt y) 200.0)) (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) 200.0) (/ (* (cbrt y) (cbrt y)) 1))) (fma (sqrt x) (sqrt x) (- (* (/ (sqrt y) (cbrt 200.0)) (/ (sqrt y) (* (cbrt 200.0) (cbrt 200.0)))))) (fma (- (/ (sqrt y) (cbrt 200.0))) (/ (sqrt y) (* (cbrt 200.0) (cbrt 200.0))) (* (/ (sqrt y) (cbrt 200.0)) (/ (sqrt y) (* (cbrt 200.0) (cbrt 200.0))))) (fma (sqrt x) (sqrt x) (- (* (/ (sqrt y) (sqrt 200.0)) (/ (sqrt y) (sqrt 200.0))))) (fma (- (/ (sqrt y) (sqrt 200.0))) (/ (sqrt y) (sqrt 200.0)) (* (/ (sqrt y) (sqrt 200.0)) (/ (sqrt y) (sqrt 200.0)))) (fma (sqrt x) (sqrt x) (- (* (/ (sqrt y) 200.0) (/ (sqrt y) 1)))) (fma (- (/ (sqrt y) 200.0)) (/ (sqrt y) 1) (* (/ (sqrt y) 200.0) (/ (sqrt y) 1))) (fma (sqrt x) (sqrt x) (- (* (/ y (cbrt 200.0)) (/ 1 (* (cbrt 200.0) (cbrt 200.0)))))) (fma (- (/ y (cbrt 200.0))) (/ 1 (* (cbrt 200.0) (cbrt 200.0))) (* (/ y (cbrt 200.0)) (/ 1 (* (cbrt 200.0) (cbrt 200.0))))) (fma (sqrt x) (sqrt x) (- (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0))))) (fma (- (/ y (sqrt 200.0))) (/ 1 (sqrt 200.0)) (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0)))) (fma (sqrt x) (sqrt x) (- (* (/ y 200.0) (/ 1 1)))) (fma (- (/ y 200.0)) (/ 1 1) (* (/ y 200.0) (/ 1 1))) (fma (sqrt x) (sqrt x) (- (* (/ y 200.0) 1))) (fma (- (/ y 200.0)) 1 (* (/ y 200.0) 1)) (fma (sqrt x) (sqrt x) (- (* (/ 1 200.0) y))) (fma (- (/ 1 200.0)) y (* (/ 1 200.0) y)) (fma 1 x (- (* (cbrt (/ y 200.0)) (* (cbrt (/ y 200.0)) (cbrt (/ y 200.0)))))) (fma (- (cbrt (/ y 200.0))) (* (cbrt (/ y 200.0)) (cbrt (/ y 200.0))) (* (cbrt (/ y 200.0)) (* (cbrt (/ y 200.0)) (cbrt (/ y 200.0))))) (fma 1 x (- (* (sqrt (/ y 200.0)) (sqrt (/ y 200.0))))) (fma (- (sqrt (/ y 200.0))) (sqrt (/ y 200.0)) (* (sqrt (/ y 200.0)) (sqrt (/ y 200.0)))) (fma 1 x (- (* (/ (cbrt y) (cbrt 200.0)) (/ (* (cbrt y) (cbrt y)) (* (cbrt 200.0) (cbrt 200.0)))))) (fma (- (/ (cbrt y) (cbrt 200.0))) (/ (* (cbrt y) (cbrt y)) (* (cbrt 200.0) (cbrt 200.0))) (* (/ (cbrt y) (cbrt 200.0)) (/ (* (cbrt y) (cbrt y)) (* (cbrt 200.0) (cbrt 200.0))))) (fma 1 x (- (* (/ (cbrt y) (sqrt 200.0)) (/ (* (cbrt y) (cbrt y)) (sqrt 200.0))))) (fma (- (/ (cbrt y) (sqrt 200.0))) (/ (* (cbrt y) (cbrt y)) (sqrt 200.0)) (* (/ (cbrt y) (sqrt 200.0)) (/ (* (cbrt y) (cbrt y)) (sqrt 200.0)))) (fma 1 x (- (* (/ (cbrt y) 200.0) (/ (* (cbrt y) (cbrt y)) 1)))) (fma (- (/ (cbrt y) 200.0)) (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) 200.0) (/ (* (cbrt y) (cbrt y)) 1))) (fma 1 x (- (* (/ (sqrt y) (cbrt 200.0)) (/ (sqrt y) (* (cbrt 200.0) (cbrt 200.0)))))) (fma (- (/ (sqrt y) (cbrt 200.0))) (/ (sqrt y) (* (cbrt 200.0) (cbrt 200.0))) (* (/ (sqrt y) (cbrt 200.0)) (/ (sqrt y) (* (cbrt 200.0) (cbrt 200.0))))) (fma 1 x (- (* (/ (sqrt y) (sqrt 200.0)) (/ (sqrt y) (sqrt 200.0))))) (fma (- (/ (sqrt y) (sqrt 200.0))) (/ (sqrt y) (sqrt 200.0)) (* (/ (sqrt y) (sqrt 200.0)) (/ (sqrt y) (sqrt 200.0)))) (fma 1 x (- (* (/ (sqrt y) 200.0) (/ (sqrt y) 1)))) (fma (- (/ (sqrt y) 200.0)) (/ (sqrt y) 1) (* (/ (sqrt y) 200.0) (/ (sqrt y) 1))) (fma 1 x (- (* (/ y (cbrt 200.0)) (/ 1 (* (cbrt 200.0) (cbrt 200.0)))))) (fma (- (/ y (cbrt 200.0))) (/ 1 (* (cbrt 200.0) (cbrt 200.0))) (* (/ y (cbrt 200.0)) (/ 1 (* (cbrt 200.0) (cbrt 200.0))))) (fma 1 x (- (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0))))) (fma (- (/ y (sqrt 200.0))) (/ 1 (sqrt 200.0)) (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0)))) (fma 1 x (- (* (/ y 200.0) (/ 1 1)))) (fma (- (/ y 200.0)) (/ 1 1) (* (/ y 200.0) (/ 1 1))) (fma 1 x (- (* (/ y 200.0) 1))) (fma (- (/ y 200.0)) 1 (* (/ y 200.0) 1)) (fma 1 x (- (* (/ 1 200.0) y))) (fma (- (/ 1 200.0)) y (* (/ 1 200.0) y)) (expm1 (- x (/ y 200.0))) (log1p (- x (/ y 200.0))) (- (/ y 200.0)) (- (/ y 200.0)) (- (/ y 200.0)) (/ (exp x) (exp (/ y 200.0))) (log (- x (/ y 200.0))) (exp (- x (/ y 200.0))) (* (cbrt (- x (/ y 200.0))) (cbrt (- x (/ y 200.0)))) (cbrt (- x (/ y 200.0))) (* (* (- x (/ y 200.0)) (- x (/ y 200.0))) (- x (/ y 200.0))) (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0))) (- (pow x 3) (pow (/ y 200.0) 3)) (+ (* x x) (+ (* (/ y 200.0) (/ y 200.0)) (* x (/ y 200.0)))) (- (/ y 200.0)) (- (* x x) (* (/ y 200.0) (/ y 200.0))) (+ x (/ y 200.0)) (+ (sqrt x) (sqrt (/ y 200.0))) (- (sqrt x) (sqrt (/ y 200.0))) (+ (sqrt x) (/ (sqrt y) (sqrt 200.0))) (- (sqrt x) (/ (sqrt y) (sqrt 200.0))) (- x (/ y 200.0)) (- (/ y 200.0)) (- x (* 0.005 y)) (- x (* 0.005 y)) (- x (* 0.005 y)) 0.066 * * [simplify]: iteration 0 : 367 enodes (cost 971 ) 0.072 * * [simplify]: iteration 1 : 1124 enodes (cost 634 ) 0.094 * * [simplify]: iteration 2 : 4964 enodes (cost 514 ) 0.215 * * [simplify]: iteration 3 : 5001 enodes (cost 514 ) 0.218 * [simplify]: Simplified to: (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (/ y 200.0)) (- (/ y 200.0) (/ y 200.0)) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (/ y 200.0)) (- (/ y 200.0) (/ y 200.0)) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (pow (/ (cbrt y) (cbrt 200.0)) 3)) (- (pow (/ (cbrt y) (cbrt 200.0)) 3) (pow (/ (cbrt y) (cbrt 200.0)) 3)) (fma (cbrt x) (* (cbrt x) (cbrt x)) (/ (- (/ y (sqrt 200.0))) (sqrt 200.0))) (* (/ y (sqrt 200.0)) (+ (- (/ 1 (sqrt 200.0))) (/ 1 (sqrt 200.0)))) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (/ y 200.0)) (- (/ y 200.0) (/ y 200.0)) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (pow (/ (cbrt y) (cbrt 200.0)) 3)) (- (pow (/ (cbrt y) (cbrt 200.0)) 3) (pow (/ (cbrt y) (cbrt 200.0)) 3)) (fma (cbrt x) (* (cbrt x) (cbrt x)) (/ (- (/ y (sqrt 200.0))) (sqrt 200.0))) (* (/ y (sqrt 200.0)) (+ (- (/ 1 (sqrt 200.0))) (/ 1 (sqrt 200.0)))) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (/ y 200.0)) (- (/ y 200.0) (/ y 200.0)) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (pow (/ (cbrt y) (cbrt 200.0)) 3)) (- (pow (/ (cbrt y) (cbrt 200.0)) 3) (pow (/ (cbrt y) (cbrt 200.0)) 3)) (fma (cbrt x) (* (cbrt x) (cbrt x)) (/ (- (/ y (sqrt 200.0))) (sqrt 200.0))) (* (/ y (sqrt 200.0)) (+ (- (/ 1 (sqrt 200.0))) (/ 1 (sqrt 200.0)))) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (/ y 200.0)) (- (/ y 200.0) (/ y 200.0)) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (/ y 200.0)) (- (/ y 200.0) (/ y 200.0)) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (/ y 200.0)) (- (/ y 200.0) (/ y 200.0)) (- x (/ y 200.0)) (- (/ y 200.0) (/ y 200.0)) (- x (/ y 200.0)) (- (/ y 200.0) (/ y 200.0)) (- x (pow (/ (cbrt y) (cbrt 200.0)) 3)) (- (pow (/ (cbrt y) (cbrt 200.0)) 3) (pow (/ (cbrt y) (cbrt 200.0)) 3)) (- x (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0)))) (* (/ y (sqrt 200.0)) (+ (- (/ 1 (sqrt 200.0))) (/ 1 (sqrt 200.0)))) (- x (/ y 200.0)) (- (/ y 200.0) (/ y 200.0)) (- x (pow (/ (cbrt y) (cbrt 200.0)) 3)) (- (pow (/ (cbrt y) (cbrt 200.0)) 3) (pow (/ (cbrt y) (cbrt 200.0)) 3)) (- x (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0)))) (* (/ y (sqrt 200.0)) (+ (- (/ 1 (sqrt 200.0))) (/ 1 (sqrt 200.0)))) (- x (/ y 200.0)) (- (/ y 200.0) (/ y 200.0)) (- x (pow (/ (cbrt y) (cbrt 200.0)) 3)) (- (pow (/ (cbrt y) (cbrt 200.0)) 3) (pow (/ (cbrt y) (cbrt 200.0)) 3)) (- x (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0)))) (* (/ y (sqrt 200.0)) (+ (- (/ 1 (sqrt 200.0))) (/ 1 (sqrt 200.0)))) (- x (/ y 200.0)) (- (/ y 200.0) (/ y 200.0)) (- x (/ y 200.0)) (- (/ y 200.0) (/ y 200.0)) (- x (/ y 200.0)) (- (/ y 200.0) (/ y 200.0)) (- x (/ y 200.0)) (- (/ y 200.0) (/ y 200.0)) (- x (/ y 200.0)) (- (/ y 200.0) (/ y 200.0)) (- x (pow (/ (cbrt y) (cbrt 200.0)) 3)) (- (pow (/ (cbrt y) (cbrt 200.0)) 3) (pow (/ (cbrt y) (cbrt 200.0)) 3)) (- x (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0)))) (* (/ y (sqrt 200.0)) (+ (- (/ 1 (sqrt 200.0))) (/ 1 (sqrt 200.0)))) (- x (/ y 200.0)) (- (/ y 200.0) (/ y 200.0)) (- x (pow (/ (cbrt y) (cbrt 200.0)) 3)) (- (pow (/ (cbrt y) (cbrt 200.0)) 3) (pow (/ (cbrt y) (cbrt 200.0)) 3)) (- x (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0)))) (* (/ y (sqrt 200.0)) (+ (- (/ 1 (sqrt 200.0))) (/ 1 (sqrt 200.0)))) (- x (/ y 200.0)) (- (/ y 200.0) (/ y 200.0)) (- x (pow (/ (cbrt y) (cbrt 200.0)) 3)) (- (pow (/ (cbrt y) (cbrt 200.0)) 3) (pow (/ (cbrt y) (cbrt 200.0)) 3)) (- x (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0)))) (* (/ y (sqrt 200.0)) (+ (- (/ 1 (sqrt 200.0))) (/ 1 (sqrt 200.0)))) (- x (/ y 200.0)) (- (/ y 200.0) (/ y 200.0)) (- x (/ y 200.0)) (- (/ y 200.0) (/ y 200.0)) (- x (/ y 200.0)) (- (/ y 200.0) (/ y 200.0)) (expm1 (- x (/ y 200.0))) (log1p (- x (/ y 200.0))) (- (/ y 200.0)) (- (/ y 200.0)) (- (/ y 200.0)) (exp (- x (/ y 200.0))) (log (- x (/ y 200.0))) (exp (- x (/ y 200.0))) (* (cbrt (- x (/ y 200.0))) (cbrt (- x (/ y 200.0)))) (cbrt (- x (/ y 200.0))) (pow (- x (/ y 200.0)) 3) (sqrt (- x (/ y 200.0))) (sqrt (- x (/ y 200.0))) (- (pow x 3) (pow (/ y 200.0) 3)) (fma (/ y 200.0) (+ x (/ y 200.0)) (* x x)) (- (/ y 200.0)) (- (* x x) (* (/ y 200.0) (/ y 200.0))) (+ x (/ y 200.0)) (+ (sqrt x) (sqrt (/ y 200.0))) (- (sqrt x) (sqrt (/ y 200.0))) (+ (sqrt x) (/ (sqrt y) (sqrt 200.0))) (- (sqrt x) (/ (sqrt y) (sqrt 200.0))) (- x (/ y 200.0)) (- (/ y 200.0)) (- x (* 0.005 y)) (- x (* 0.005 y)) (- x (* 0.005 y)) 0.219 * * * [progress]: adding candidates to table 0.278 * * [progress]: iteration 2 / 4 0.278 * * * [progress]: picking best candidate 0.286 * * * * [pick]: Picked # 0.286 * * * [progress]: localizing error 0.290 * * * [progress]: generating rewritten candidates 0.290 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.294 * * * [progress]: generating series expansions 0.294 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.294 * [approximate]: Taking taylor expansion of (- x (* 0.005 y)) in (x y) around 0 0.294 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in y 0.294 * [taylor]: Taking taylor expansion of x in y 0.294 * [taylor]: Taking taylor expansion of (* 0.005 y) in y 0.294 * [taylor]: Taking taylor expansion of 0.005 in y 0.294 * [taylor]: Taking taylor expansion of y in y 0.294 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in x 0.294 * [taylor]: Taking taylor expansion of x in x 0.294 * [taylor]: Taking taylor expansion of (* 0.005 y) in x 0.294 * [taylor]: Taking taylor expansion of 0.005 in x 0.294 * [taylor]: Taking taylor expansion of y in x 0.294 * [taylor]: Taking taylor expansion of (- x (* 0.005 y)) in x 0.294 * [taylor]: Taking taylor expansion of x in x 0.294 * [taylor]: Taking taylor expansion of (* 0.005 y) in x 0.294 * [taylor]: Taking taylor expansion of 0.005 in x 0.294 * [taylor]: Taking taylor expansion of y in x 0.294 * [taylor]: Taking taylor expansion of (- (* 0.005 y)) in y 0.294 * [taylor]: Taking taylor expansion of (* 0.005 y) in y 0.294 * [taylor]: Taking taylor expansion of 0.005 in y 0.294 * [taylor]: Taking taylor expansion of y in y 0.296 * [taylor]: Taking taylor expansion of 1 in y 0.298 * [taylor]: Taking taylor expansion of 0 in y 0.300 * [taylor]: Taking taylor expansion of 0 in y 0.301 * [approximate]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in (x y) around 0 0.301 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in y 0.301 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.301 * [taylor]: Taking taylor expansion of x in y 0.301 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 0.301 * [taylor]: Taking taylor expansion of 0.005 in y 0.301 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.301 * [taylor]: Taking taylor expansion of y in y 0.301 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in x 0.301 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.301 * [taylor]: Taking taylor expansion of x in x 0.301 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 0.301 * [taylor]: Taking taylor expansion of 0.005 in x 0.301 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.301 * [taylor]: Taking taylor expansion of y in x 0.302 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.005 (/ 1 y))) in x 0.302 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.302 * [taylor]: Taking taylor expansion of x in x 0.302 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 0.302 * [taylor]: Taking taylor expansion of 0.005 in x 0.302 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.302 * [taylor]: Taking taylor expansion of y in x 0.302 * [taylor]: Taking taylor expansion of 1 in y 0.303 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y))) in y 0.303 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 0.303 * [taylor]: Taking taylor expansion of 0.005 in y 0.303 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.303 * [taylor]: Taking taylor expansion of y in y 0.305 * [taylor]: Taking taylor expansion of 0 in y 0.308 * [taylor]: Taking taylor expansion of 0 in y 0.311 * [taylor]: Taking taylor expansion of 0 in y 0.311 * [approximate]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in (x y) around 0 0.311 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in y 0.311 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 0.311 * [taylor]: Taking taylor expansion of 0.005 in y 0.311 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.311 * [taylor]: Taking taylor expansion of y in y 0.312 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.312 * [taylor]: Taking taylor expansion of x in y 0.312 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in x 0.312 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 0.312 * [taylor]: Taking taylor expansion of 0.005 in x 0.312 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.312 * [taylor]: Taking taylor expansion of y in x 0.312 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.312 * [taylor]: Taking taylor expansion of x in x 0.312 * [taylor]: Taking taylor expansion of (- (* 0.005 (/ 1 y)) (/ 1 x)) in x 0.312 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in x 0.312 * [taylor]: Taking taylor expansion of 0.005 in x 0.312 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.312 * [taylor]: Taking taylor expansion of y in x 0.312 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.312 * [taylor]: Taking taylor expansion of x in x 0.313 * [taylor]: Taking taylor expansion of -1 in y 0.314 * [taylor]: Taking taylor expansion of (* 0.005 (/ 1 y)) in y 0.314 * [taylor]: Taking taylor expansion of 0.005 in y 0.314 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.314 * [taylor]: Taking taylor expansion of y in y 0.316 * [taylor]: Taking taylor expansion of 0 in y 0.318 * [taylor]: Taking taylor expansion of 0 in y 0.321 * [taylor]: Taking taylor expansion of 0 in y 0.321 * * * [progress]: simplifying candidates 0.322 * [simplify]: Simplifying using # : (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 0.005))) (fma (- y) 0.005 (* y 0.005)) (fma (sqrt x) (sqrt x) (- (* y 0.005))) (fma (- y) 0.005 (* y 0.005)) (fma 1 x (- (* y 0.005))) (fma (- y) 0.005 (* y 0.005)) (expm1 (- x (* 0.005 y))) (log1p (- x (* 0.005 y))) (- (* 0.005 y)) (- (* 0.005 y)) (- (* 0.005 y)) (/ (exp x) (exp (* 0.005 y))) (log (- x (* 0.005 y))) (exp (- x (* 0.005 y))) (* (cbrt (- x (* 0.005 y))) (cbrt (- x (* 0.005 y)))) (cbrt (- x (* 0.005 y))) (* (* (- x (* 0.005 y)) (- x (* 0.005 y))) (- x (* 0.005 y))) (sqrt (- x (* 0.005 y))) (sqrt (- x (* 0.005 y))) (- (pow x 3) (pow (* 0.005 y) 3)) (+ (* x x) (+ (* (* 0.005 y) (* 0.005 y)) (* x (* 0.005 y)))) (- (* 0.005 y)) (- (* x x) (* (* 0.005 y) (* 0.005 y))) (+ x (* 0.005 y)) (- (* 0.005 y)) (- x (* 0.005 y)) (- x (* 0.005 y)) (- x (* 0.005 y)) 0.325 * * [simplify]: iteration 0 : 95 enodes (cost 96 ) 0.328 * * [simplify]: iteration 1 : 287 enodes (cost 84 ) 0.334 * * [simplify]: iteration 2 : 1018 enodes (cost 83 ) 0.353 * * [simplify]: iteration 3 : 2776 enodes (cost 69 ) 0.405 * * [simplify]: iteration 4 : 5002 enodes (cost 69 ) 0.406 * [simplify]: Simplified to: (- x (* y 0.005)) 0 (- x (* y 0.005)) 0 (- x (* y 0.005)) 0 (expm1 (- x (* 0.005 y))) (log1p (- x (* 0.005 y))) (- (* 0.005 y)) (- (* 0.005 y)) (- (* 0.005 y)) (exp (- x (* 0.005 y))) (log (- x (* 0.005 y))) (exp (- x (* 0.005 y))) (* (cbrt (- x (* 0.005 y))) (cbrt (- x (* 0.005 y)))) (cbrt (- x (* 0.005 y))) (pow (- x (* 0.005 y)) 3) (sqrt (- x (* 0.005 y))) (sqrt (- x (* 0.005 y))) (- (pow x 3) (pow (* 0.005 y) 3)) (fma x x (* 0.005 (* y (fma 0.005 y x)))) (- (* 0.005 y)) (* (- x (* 0.005 y)) (fma 0.005 y x)) (fma 0.005 y x) (- (* 0.005 y)) (- x (* y 0.005)) (- x (* y 0.005)) (- x (* y 0.005)) 0.406 * * * [progress]: adding candidates to table 0.447 * * [progress]: iteration 3 / 4 0.447 * * * [progress]: picking best candidate 0.451 * * * * [pick]: Picked # 0.451 * * * [progress]: localizing error 0.461 * * * [progress]: generating rewritten candidates 0.461 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 0.466 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 0.470 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 0.488 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 0.498 * * * [progress]: generating series expansions 0.498 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 0.499 * [approximate]: Taking taylor expansion of (/ y (sqrt 200.0)) in (y) around 0 0.499 * [taylor]: Taking taylor expansion of (/ y (sqrt 200.0)) in y 0.499 * [taylor]: Taking taylor expansion of y in y 0.499 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 0.499 * [taylor]: Taking taylor expansion of 200.0 in y 0.500 * [taylor]: Taking taylor expansion of (/ y (sqrt 200.0)) in y 0.500 * [taylor]: Taking taylor expansion of y in y 0.500 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 0.500 * [taylor]: Taking taylor expansion of 200.0 in y 0.516 * [approximate]: Taking taylor expansion of (/ 1 (* (sqrt 200.0) y)) in (y) around 0 0.516 * [taylor]: Taking taylor expansion of (/ 1 (* (sqrt 200.0) y)) in y 0.516 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) y) in y 0.516 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 0.516 * [taylor]: Taking taylor expansion of 200.0 in y 0.517 * [taylor]: Taking taylor expansion of y in y 0.519 * [taylor]: Taking taylor expansion of (/ 1 (* (sqrt 200.0) y)) in y 0.519 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) y) in y 0.519 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 0.519 * [taylor]: Taking taylor expansion of 200.0 in y 0.520 * [taylor]: Taking taylor expansion of y in y 0.536 * [approximate]: Taking taylor expansion of (/ -1 (* (sqrt 200.0) y)) in (y) around 0 0.536 * [taylor]: Taking taylor expansion of (/ -1 (* (sqrt 200.0) y)) in y 0.536 * [taylor]: Taking taylor expansion of -1 in y 0.536 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) y) in y 0.536 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 0.536 * [taylor]: Taking taylor expansion of 200.0 in y 0.537 * [taylor]: Taking taylor expansion of y in y 0.539 * [taylor]: Taking taylor expansion of (/ -1 (* (sqrt 200.0) y)) in y 0.539 * [taylor]: Taking taylor expansion of -1 in y 0.539 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) y) in y 0.539 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 0.539 * [taylor]: Taking taylor expansion of 200.0 in y 0.539 * [taylor]: Taking taylor expansion of y in y 0.555 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 0.556 * [approximate]: Taking taylor expansion of (/ y (sqrt 200.0)) in (y) around 0 0.556 * [taylor]: Taking taylor expansion of (/ y (sqrt 200.0)) in y 0.556 * [taylor]: Taking taylor expansion of y in y 0.556 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 0.556 * [taylor]: Taking taylor expansion of 200.0 in y 0.557 * [taylor]: Taking taylor expansion of (/ y (sqrt 200.0)) in y 0.557 * [taylor]: Taking taylor expansion of y in y 0.557 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 0.557 * [taylor]: Taking taylor expansion of 200.0 in y 0.567 * [approximate]: Taking taylor expansion of (/ 1 (* (sqrt 200.0) y)) in (y) around 0 0.567 * [taylor]: Taking taylor expansion of (/ 1 (* (sqrt 200.0) y)) in y 0.567 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) y) in y 0.567 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 0.567 * [taylor]: Taking taylor expansion of 200.0 in y 0.568 * [taylor]: Taking taylor expansion of y in y 0.570 * [taylor]: Taking taylor expansion of (/ 1 (* (sqrt 200.0) y)) in y 0.570 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) y) in y 0.570 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 0.570 * [taylor]: Taking taylor expansion of 200.0 in y 0.571 * [taylor]: Taking taylor expansion of y in y 0.593 * [approximate]: Taking taylor expansion of (/ -1 (* (sqrt 200.0) y)) in (y) around 0 0.593 * [taylor]: Taking taylor expansion of (/ -1 (* (sqrt 200.0) y)) in y 0.593 * [taylor]: Taking taylor expansion of -1 in y 0.593 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) y) in y 0.593 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 0.593 * [taylor]: Taking taylor expansion of 200.0 in y 0.593 * [taylor]: Taking taylor expansion of y in y 0.595 * [taylor]: Taking taylor expansion of (/ -1 (* (sqrt 200.0) y)) in y 0.596 * [taylor]: Taking taylor expansion of -1 in y 0.596 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) y) in y 0.596 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 0.596 * [taylor]: Taking taylor expansion of 200.0 in y 0.596 * [taylor]: Taking taylor expansion of y in y 0.613 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 0.613 * [approximate]: Taking taylor expansion of (/ y (pow (sqrt 200.0) 2)) in (y) around 0 0.614 * [taylor]: Taking taylor expansion of (/ y (pow (sqrt 200.0) 2)) in y 0.614 * [taylor]: Taking taylor expansion of y in y 0.614 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y 0.614 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 0.614 * [taylor]: Taking taylor expansion of 200.0 in y 0.616 * [taylor]: Taking taylor expansion of (/ y (pow (sqrt 200.0) 2)) in y 0.616 * [taylor]: Taking taylor expansion of y in y 0.616 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y 0.616 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 0.616 * [taylor]: Taking taylor expansion of 200.0 in y 0.634 * [approximate]: Taking taylor expansion of (/ 1 (* (pow (sqrt 200.0) 2) y)) in (y) around 0 0.634 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt 200.0) 2) y)) in y 0.634 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) y) in y 0.634 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y 0.634 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 0.634 * [taylor]: Taking taylor expansion of 200.0 in y 0.635 * [taylor]: Taking taylor expansion of y in y 0.640 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt 200.0) 2) y)) in y 0.640 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) y) in y 0.640 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y 0.640 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 0.640 * [taylor]: Taking taylor expansion of 200.0 in y 0.640 * [taylor]: Taking taylor expansion of y in y 0.673 * [approximate]: Taking taylor expansion of (/ -1 (* (pow (sqrt 200.0) 2) y)) in (y) around 0 0.674 * [taylor]: Taking taylor expansion of (/ -1 (* (pow (sqrt 200.0) 2) y)) in y 0.674 * [taylor]: Taking taylor expansion of -1 in y 0.674 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) y) in y 0.674 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y 0.674 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 0.674 * [taylor]: Taking taylor expansion of 200.0 in y 0.674 * [taylor]: Taking taylor expansion of y in y 0.679 * [taylor]: Taking taylor expansion of (/ -1 (* (pow (sqrt 200.0) 2) y)) in y 0.679 * [taylor]: Taking taylor expansion of -1 in y 0.679 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) y) in y 0.679 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y 0.679 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 0.679 * [taylor]: Taking taylor expansion of 200.0 in y 0.680 * [taylor]: Taking taylor expansion of y in y 0.706 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 0.707 * [approximate]: Taking taylor expansion of (- x (/ y (pow (sqrt 200.0) 2))) in (x y) around 0 0.707 * [taylor]: Taking taylor expansion of (- x (/ y (pow (sqrt 200.0) 2))) in y 0.707 * [taylor]: Taking taylor expansion of x in y 0.707 * [taylor]: Taking taylor expansion of (/ y (pow (sqrt 200.0) 2)) in y 0.707 * [taylor]: Taking taylor expansion of y in y 0.707 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y 0.707 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 0.707 * [taylor]: Taking taylor expansion of 200.0 in y 0.709 * [taylor]: Taking taylor expansion of (- x (/ y (pow (sqrt 200.0) 2))) in x 0.709 * [taylor]: Taking taylor expansion of x in x 0.709 * [taylor]: Taking taylor expansion of (/ y (pow (sqrt 200.0) 2)) in x 0.709 * [taylor]: Taking taylor expansion of y in x 0.709 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x 0.709 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x 0.709 * [taylor]: Taking taylor expansion of 200.0 in x 0.711 * [taylor]: Taking taylor expansion of (- x (/ y (pow (sqrt 200.0) 2))) in x 0.711 * [taylor]: Taking taylor expansion of x in x 0.711 * [taylor]: Taking taylor expansion of (/ y (pow (sqrt 200.0) 2)) in x 0.711 * [taylor]: Taking taylor expansion of y in x 0.711 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x 0.711 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x 0.711 * [taylor]: Taking taylor expansion of 200.0 in x 0.715 * [taylor]: Taking taylor expansion of (- (/ y (pow (sqrt 200.0) 2))) in y 0.715 * [taylor]: Taking taylor expansion of (/ y (pow (sqrt 200.0) 2)) in y 0.715 * [taylor]: Taking taylor expansion of y in y 0.715 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y 0.715 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 0.715 * [taylor]: Taking taylor expansion of 200.0 in y 0.720 * [taylor]: Taking taylor expansion of 1 in y 0.727 * [taylor]: Taking taylor expansion of 0 in y 0.733 * [taylor]: Taking taylor expansion of 0 in y 0.736 * [approximate]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* (pow (sqrt 200.0) 2) y))) in (x y) around 0 0.736 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* (pow (sqrt 200.0) 2) y))) in y 0.736 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.736 * [taylor]: Taking taylor expansion of x in y 0.736 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt 200.0) 2) y)) in y 0.736 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) y) in y 0.736 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y 0.736 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 0.736 * [taylor]: Taking taylor expansion of 200.0 in y 0.736 * [taylor]: Taking taylor expansion of y in y 0.742 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* (pow (sqrt 200.0) 2) y))) in x 0.742 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.742 * [taylor]: Taking taylor expansion of x in x 0.742 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt 200.0) 2) y)) in x 0.742 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) y) in x 0.742 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x 0.742 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x 0.742 * [taylor]: Taking taylor expansion of 200.0 in x 0.743 * [taylor]: Taking taylor expansion of y in x 0.745 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* (pow (sqrt 200.0) 2) y))) in x 0.745 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.745 * [taylor]: Taking taylor expansion of x in x 0.745 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt 200.0) 2) y)) in x 0.745 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) y) in x 0.745 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x 0.745 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x 0.745 * [taylor]: Taking taylor expansion of 200.0 in x 0.746 * [taylor]: Taking taylor expansion of y in x 0.748 * [taylor]: Taking taylor expansion of 1 in y 0.750 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow (sqrt 200.0) 2) y))) in y 0.750 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt 200.0) 2) y)) in y 0.750 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) y) in y 0.750 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y 0.750 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 0.750 * [taylor]: Taking taylor expansion of 200.0 in y 0.751 * [taylor]: Taking taylor expansion of y in y 0.768 * [taylor]: Taking taylor expansion of 0 in y 0.775 * [taylor]: Taking taylor expansion of 0 in y 0.785 * [taylor]: Taking taylor expansion of 0 in y 0.788 * [approximate]: Taking taylor expansion of (- (/ 1 (* (pow (sqrt 200.0) 2) y)) (/ 1 x)) in (x y) around 0 0.788 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow (sqrt 200.0) 2) y)) (/ 1 x)) in y 0.788 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt 200.0) 2) y)) in y 0.788 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) y) in y 0.788 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y 0.788 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 0.788 * [taylor]: Taking taylor expansion of 200.0 in y 0.789 * [taylor]: Taking taylor expansion of y in y 0.793 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.793 * [taylor]: Taking taylor expansion of x in y 0.793 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow (sqrt 200.0) 2) y)) (/ 1 x)) in x 0.793 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt 200.0) 2) y)) in x 0.793 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) y) in x 0.793 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x 0.793 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x 0.793 * [taylor]: Taking taylor expansion of 200.0 in x 0.794 * [taylor]: Taking taylor expansion of y in x 0.796 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.796 * [taylor]: Taking taylor expansion of x in x 0.796 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow (sqrt 200.0) 2) y)) (/ 1 x)) in x 0.796 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt 200.0) 2) y)) in x 0.796 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) y) in x 0.796 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x 0.796 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x 0.796 * [taylor]: Taking taylor expansion of 200.0 in x 0.797 * [taylor]: Taking taylor expansion of y in x 0.799 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.799 * [taylor]: Taking taylor expansion of x in x 0.800 * [taylor]: Taking taylor expansion of -1 in y 0.801 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt 200.0) 2) y)) in y 0.801 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) y) in y 0.801 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y 0.801 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 0.801 * [taylor]: Taking taylor expansion of 200.0 in y 0.802 * [taylor]: Taking taylor expansion of y in y 0.811 * [taylor]: Taking taylor expansion of 0 in y 0.818 * [taylor]: Taking taylor expansion of 0 in y 0.827 * [taylor]: Taking taylor expansion of 0 in y 0.829 * * * [progress]: simplifying candidates 0.831 * [simplify]: Simplifying using # : (expm1 (/ y (sqrt 200.0))) (log1p (/ y (sqrt 200.0))) (- (log y) (log (sqrt 200.0))) (log (/ y (sqrt 200.0))) (exp (/ y (sqrt 200.0))) (/ (* (* y y) y) (* (* (sqrt 200.0) (sqrt 200.0)) (sqrt 200.0))) (* (cbrt (/ y (sqrt 200.0))) (cbrt (/ y (sqrt 200.0)))) (cbrt (/ y (sqrt 200.0))) (* (* (/ y (sqrt 200.0)) (/ y (sqrt 200.0))) (/ y (sqrt 200.0))) (sqrt (/ y (sqrt 200.0))) (sqrt (/ y (sqrt 200.0))) (- y) (- (sqrt 200.0)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))) (/ (cbrt y) (cbrt (sqrt 200.0))) (/ (* (cbrt y) (cbrt y)) (sqrt (* (cbrt 200.0) (cbrt 200.0)))) (/ (cbrt y) (sqrt (cbrt 200.0))) (/ (* (cbrt y) (cbrt y)) (sqrt (sqrt 200.0))) (/ (cbrt y) (sqrt (sqrt 200.0))) (/ (* (cbrt y) (cbrt y)) (sqrt 1)) (/ (cbrt y) (sqrt 200.0)) (/ (* (cbrt y) (cbrt y)) (sqrt (sqrt 200.0))) (/ (cbrt y) (sqrt (sqrt 200.0))) (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) (sqrt 200.0)) (/ (sqrt y) (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))) (/ (sqrt y) (cbrt (sqrt 200.0))) (/ (sqrt y) (sqrt (* (cbrt 200.0) (cbrt 200.0)))) (/ (sqrt y) (sqrt (cbrt 200.0))) (/ (sqrt y) (sqrt (sqrt 200.0))) (/ (sqrt y) (sqrt (sqrt 200.0))) (/ (sqrt y) (sqrt 1)) (/ (sqrt y) (sqrt 200.0)) (/ (sqrt y) (sqrt (sqrt 200.0))) (/ (sqrt y) (sqrt (sqrt 200.0))) (/ (sqrt y) 1) (/ (sqrt y) (sqrt 200.0)) (/ 1 (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))) (/ y (cbrt (sqrt 200.0))) (/ 1 (sqrt (* (cbrt 200.0) (cbrt 200.0)))) (/ y (sqrt (cbrt 200.0))) (/ 1 (sqrt (sqrt 200.0))) (/ y (sqrt (sqrt 200.0))) (/ 1 (sqrt 1)) (/ y (sqrt 200.0)) (/ 1 (sqrt (sqrt 200.0))) (/ y (sqrt (sqrt 200.0))) (/ 1 1) (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0)) (/ (sqrt 200.0) y) (/ y (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))) (/ y (sqrt (* (cbrt 200.0) (cbrt 200.0)))) (/ y (sqrt (sqrt 200.0))) (/ y (sqrt 1)) (/ y (sqrt (sqrt 200.0))) (/ y 1) (/ (sqrt 200.0) (cbrt y)) (/ (sqrt 200.0) (sqrt y)) (/ (sqrt 200.0) y) (expm1 (/ y (sqrt 200.0))) (log1p (/ y (sqrt 200.0))) (- (log y) (log (sqrt 200.0))) (log (/ y (sqrt 200.0))) (exp (/ y (sqrt 200.0))) (/ (* (* y y) y) (* (* (sqrt 200.0) (sqrt 200.0)) (sqrt 200.0))) (* (cbrt (/ y (sqrt 200.0))) (cbrt (/ y (sqrt 200.0)))) (cbrt (/ y (sqrt 200.0))) (* (* (/ y (sqrt 200.0)) (/ y (sqrt 200.0))) (/ y (sqrt 200.0))) (sqrt (/ y (sqrt 200.0))) (sqrt (/ y (sqrt 200.0))) (- y) (- (sqrt 200.0)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))) (/ (cbrt y) (cbrt (sqrt 200.0))) (/ (* (cbrt y) (cbrt y)) (sqrt (* (cbrt 200.0) (cbrt 200.0)))) (/ (cbrt y) (sqrt (cbrt 200.0))) (/ (* (cbrt y) (cbrt y)) (sqrt (sqrt 200.0))) (/ (cbrt y) (sqrt (sqrt 200.0))) (/ (* (cbrt y) (cbrt y)) (sqrt 1)) (/ (cbrt y) (sqrt 200.0)) (/ (* (cbrt y) (cbrt y)) (sqrt (sqrt 200.0))) (/ (cbrt y) (sqrt (sqrt 200.0))) (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) (sqrt 200.0)) (/ (sqrt y) (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))) (/ (sqrt y) (cbrt (sqrt 200.0))) (/ (sqrt y) (sqrt (* (cbrt 200.0) (cbrt 200.0)))) (/ (sqrt y) (sqrt (cbrt 200.0))) (/ (sqrt y) (sqrt (sqrt 200.0))) (/ (sqrt y) (sqrt (sqrt 200.0))) (/ (sqrt y) (sqrt 1)) (/ (sqrt y) (sqrt 200.0)) (/ (sqrt y) (sqrt (sqrt 200.0))) (/ (sqrt y) (sqrt (sqrt 200.0))) (/ (sqrt y) 1) (/ (sqrt y) (sqrt 200.0)) (/ 1 (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))) (/ y (cbrt (sqrt 200.0))) (/ 1 (sqrt (* (cbrt 200.0) (cbrt 200.0)))) (/ y (sqrt (cbrt 200.0))) (/ 1 (sqrt (sqrt 200.0))) (/ y (sqrt (sqrt 200.0))) (/ 1 (sqrt 1)) (/ y (sqrt 200.0)) (/ 1 (sqrt (sqrt 200.0))) (/ y (sqrt (sqrt 200.0))) (/ 1 1) (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0)) (/ (sqrt 200.0) y) (/ y (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))) (/ y (sqrt (* (cbrt 200.0) (cbrt 200.0)))) (/ y (sqrt (sqrt 200.0))) (/ y (sqrt 1)) (/ y (sqrt (sqrt 200.0))) (/ y 1) (/ (sqrt 200.0) (cbrt y)) (/ (sqrt 200.0) (sqrt y)) (/ (sqrt 200.0) y) (expm1 (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0)))) (log1p (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0)))) (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0))) (+ (- (log y) (log (sqrt 200.0))) (- (log (sqrt 200.0)))) (+ (- (log y) (log (sqrt 200.0))) (- 0 (log (sqrt 200.0)))) (+ (- (log y) (log (sqrt 200.0))) (- (log 1) (log (sqrt 200.0)))) (+ (- (log y) (log (sqrt 200.0))) (log (/ 1 (sqrt 200.0)))) (+ (log (/ y (sqrt 200.0))) (- (log (sqrt 200.0)))) (+ (log (/ y (sqrt 200.0))) (- 0 (log (sqrt 200.0)))) (+ (log (/ y (sqrt 200.0))) (- (log 1) (log (sqrt 200.0)))) (+ (log (/ y (sqrt 200.0))) (log (/ 1 (sqrt 200.0)))) (log (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0)))) (exp (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0)))) (* (/ (* (* y y) y) (* (* (sqrt 200.0) (sqrt 200.0)) (sqrt 200.0))) (/ (* (* 1 1) 1) (* (* (sqrt 200.0) (sqrt 200.0)) (sqrt 200.0)))) (* (/ (* (* y y) y) (* (* (sqrt 200.0) (sqrt 200.0)) (sqrt 200.0))) (* (* (/ 1 (sqrt 200.0)) (/ 1 (sqrt 200.0))) (/ 1 (sqrt 200.0)))) (* (* (* (/ y (sqrt 200.0)) (/ y (sqrt 200.0))) (/ y (sqrt 200.0))) (/ (* (* 1 1) 1) (* (* (sqrt 200.0) (sqrt 200.0)) (sqrt 200.0)))) (* (* (* (/ y (sqrt 200.0)) (/ y (sqrt 200.0))) (/ y (sqrt 200.0))) (* (* (/ 1 (sqrt 200.0)) (/ 1 (sqrt 200.0))) (/ 1 (sqrt 200.0)))) (* (cbrt (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0)))) (cbrt (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0))))) (cbrt (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0)))) (* (* (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0))) (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0)))) (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0)))) (sqrt (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0)))) (sqrt (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0)))) (* y 1) (* (sqrt 200.0) (sqrt 200.0)) (* (sqrt (/ y (sqrt 200.0))) (sqrt (/ 1 (sqrt 200.0)))) (* (sqrt (/ y (sqrt 200.0))) (sqrt (/ 1 (sqrt 200.0)))) (* (sqrt (/ y (sqrt 200.0))) (/ (sqrt 1) (sqrt (sqrt 200.0)))) (* (sqrt (/ y (sqrt 200.0))) (/ (sqrt 1) (sqrt (sqrt 200.0)))) (* (sqrt (/ y (sqrt 200.0))) (/ (sqrt 1) (sqrt (sqrt 200.0)))) (* (sqrt (/ y (sqrt 200.0))) (/ (sqrt 1) (sqrt (sqrt 200.0)))) (* (sqrt (/ y (sqrt 200.0))) (/ 1 (sqrt (sqrt 200.0)))) (* (sqrt (/ y (sqrt 200.0))) (/ 1 (sqrt (sqrt 200.0)))) (* (sqrt (/ y (sqrt 200.0))) (/ 1 (sqrt (sqrt 200.0)))) (* (sqrt (/ y (sqrt 200.0))) (/ 1 (sqrt (sqrt 200.0)))) (* (/ (sqrt y) (sqrt (sqrt 200.0))) (sqrt (/ 1 (sqrt 200.0)))) (* (/ (sqrt y) (sqrt (sqrt 200.0))) (sqrt (/ 1 (sqrt 200.0)))) (* (/ (sqrt y) (sqrt (sqrt 200.0))) (/ (sqrt 1) (sqrt (sqrt 200.0)))) (* (/ (sqrt y) (sqrt (sqrt 200.0))) (/ (sqrt 1) (sqrt (sqrt 200.0)))) (* (/ (sqrt y) (sqrt (sqrt 200.0))) (/ (sqrt 1) (sqrt (sqrt 200.0)))) (* (/ (sqrt y) (sqrt (sqrt 200.0))) (/ (sqrt 1) (sqrt (sqrt 200.0)))) (* (/ (sqrt y) (sqrt (sqrt 200.0))) (/ 1 (sqrt (sqrt 200.0)))) (* (/ (sqrt y) (sqrt (sqrt 200.0))) (/ 1 (sqrt (sqrt 200.0)))) (* (/ (sqrt y) (sqrt (sqrt 200.0))) (/ 1 (sqrt (sqrt 200.0)))) (* (/ (sqrt y) (sqrt (sqrt 200.0))) (/ 1 (sqrt (sqrt 200.0)))) (* (/ (sqrt y) (sqrt (sqrt 200.0))) (sqrt (/ 1 (sqrt 200.0)))) (* (/ (sqrt y) (sqrt (sqrt 200.0))) (sqrt (/ 1 (sqrt 200.0)))) (* (/ (sqrt y) (sqrt (sqrt 200.0))) (/ (sqrt 1) (sqrt (sqrt 200.0)))) (* (/ (sqrt y) (sqrt (sqrt 200.0))) (/ (sqrt 1) (sqrt (sqrt 200.0)))) (* (/ (sqrt y) (sqrt (sqrt 200.0))) (/ (sqrt 1) (sqrt (sqrt 200.0)))) (* (/ (sqrt y) (sqrt (sqrt 200.0))) (/ (sqrt 1) (sqrt (sqrt 200.0)))) (* (/ (sqrt y) (sqrt (sqrt 200.0))) (/ 1 (sqrt (sqrt 200.0)))) (* (/ (sqrt y) (sqrt (sqrt 200.0))) (/ 1 (sqrt (sqrt 200.0)))) (* (/ (sqrt y) (sqrt (sqrt 200.0))) (/ 1 (sqrt (sqrt 200.0)))) (* (/ (sqrt y) (sqrt (sqrt 200.0))) (/ 1 (sqrt (sqrt 200.0)))) (* (/ y (sqrt 200.0)) (* (cbrt (/ 1 (sqrt 200.0))) (cbrt (/ 1 (sqrt 200.0))))) (* (/ y (sqrt 200.0)) (sqrt (/ 1 (sqrt 200.0)))) (* (/ y (sqrt 200.0)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))))) (* (/ y (sqrt 200.0)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (* (cbrt 200.0) (cbrt 200.0))))) (* (/ y (sqrt 200.0)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt 200.0)))) (* (/ y (sqrt 200.0)) (/ (* (cbrt 1) (cbrt 1)) (sqrt 1))) (* (/ y (sqrt 200.0)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt 200.0)))) (* (/ y (sqrt 200.0)) (/ (* (cbrt 1) (cbrt 1)) 1)) (* (/ y (sqrt 200.0)) (/ (sqrt 1) (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))))) (* (/ y (sqrt 200.0)) (/ (sqrt 1) (sqrt (* (cbrt 200.0) (cbrt 200.0))))) (* (/ y (sqrt 200.0)) (/ (sqrt 1) (sqrt (sqrt 200.0)))) (* (/ y (sqrt 200.0)) (/ (sqrt 1) (sqrt 1))) (* (/ y (sqrt 200.0)) (/ (sqrt 1) (sqrt (sqrt 200.0)))) (* (/ y (sqrt 200.0)) (/ (sqrt 1) 1)) (* (/ y (sqrt 200.0)) (/ 1 (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))))) (* (/ y (sqrt 200.0)) (/ 1 (sqrt (* (cbrt 200.0) (cbrt 200.0))))) (* (/ y (sqrt 200.0)) (/ 1 (sqrt (sqrt 200.0)))) (* (/ y (sqrt 200.0)) (/ 1 (sqrt 1))) (* (/ y (sqrt 200.0)) (/ 1 (sqrt (sqrt 200.0)))) (* (/ y (sqrt 200.0)) (/ 1 1)) (* (/ y (sqrt 200.0)) 1) (* (/ y (sqrt 200.0)) 1) (* (cbrt (/ y (sqrt 200.0))) (/ 1 (sqrt 200.0))) (* (sqrt (/ y (sqrt 200.0))) (/ 1 (sqrt 200.0))) (* (/ (cbrt y) (cbrt (sqrt 200.0))) (/ 1 (sqrt 200.0))) (* (/ (cbrt y) (sqrt (cbrt 200.0))) (/ 1 (sqrt 200.0))) (* (/ (cbrt y) (sqrt (sqrt 200.0))) (/ 1 (sqrt 200.0))) (* (/ (cbrt y) (sqrt 200.0)) (/ 1 (sqrt 200.0))) (* (/ (cbrt y) (sqrt (sqrt 200.0))) (/ 1 (sqrt 200.0))) (* (/ (cbrt y) (sqrt 200.0)) (/ 1 (sqrt 200.0))) (* (/ (sqrt y) (cbrt (sqrt 200.0))) (/ 1 (sqrt 200.0))) (* (/ (sqrt y) (sqrt (cbrt 200.0))) (/ 1 (sqrt 200.0))) (* (/ (sqrt y) (sqrt (sqrt 200.0))) (/ 1 (sqrt 200.0))) (* (/ (sqrt y) (sqrt 200.0)) (/ 1 (sqrt 200.0))) (* (/ (sqrt y) (sqrt (sqrt 200.0))) (/ 1 (sqrt 200.0))) (* (/ (sqrt y) (sqrt 200.0)) (/ 1 (sqrt 200.0))) (* (/ y (cbrt (sqrt 200.0))) (/ 1 (sqrt 200.0))) (* (/ y (sqrt (cbrt 200.0))) (/ 1 (sqrt 200.0))) (* (/ y (sqrt (sqrt 200.0))) (/ 1 (sqrt 200.0))) (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0))) (* (/ y (sqrt (sqrt 200.0))) (/ 1 (sqrt 200.0))) (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0))) (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0))) (* (/ 1 (sqrt 200.0)) (/ 1 (sqrt 200.0))) (* (/ y (sqrt 200.0)) 1) (* y (/ 1 (sqrt 200.0))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ 1 (sqrt 200.0)) (/ y (sqrt 200.0))))) (fma (- (/ 1 (sqrt 200.0))) (/ y (sqrt 200.0)) (* (/ 1 (sqrt 200.0)) (/ y (sqrt 200.0)))) (fma (sqrt x) (sqrt x) (- (* (/ 1 (sqrt 200.0)) (/ y (sqrt 200.0))))) (fma (- (/ 1 (sqrt 200.0))) (/ y (sqrt 200.0)) (* (/ 1 (sqrt 200.0)) (/ y (sqrt 200.0)))) (fma 1 x (- (* (/ 1 (sqrt 200.0)) (/ y (sqrt 200.0))))) (fma (- (/ 1 (sqrt 200.0))) (/ y (sqrt 200.0)) (* (/ 1 (sqrt 200.0)) (/ y (sqrt 200.0)))) (expm1 (- x (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0))))) (log1p (- x (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0))))) (- (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0)))) (- (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0)))) (- (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0)))) (/ (exp x) (exp (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0))))) (log (- x (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0))))) (exp (- x (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0))))) (* (cbrt (- x (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0))))) (cbrt (- x (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0)))))) (cbrt (- x (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0))))) (* (* (- x (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0)))) (- x (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0))))) (- x (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0))))) (sqrt (- x (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0))))) (sqrt (- x (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0))))) (- (pow x 3) (pow (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0))) 3)) (+ (* x x) (+ (* (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0))) (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0)))) (* x (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0)))))) (- (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0)))) (- (* x x) (* (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0))) (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0))))) (+ x (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0)))) (- (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0)))) (/ y (sqrt 200.0)) (/ y (sqrt 200.0)) (/ y (sqrt 200.0)) (/ y (sqrt 200.0)) (/ y (sqrt 200.0)) (/ y (sqrt 200.0)) (/ y (pow (sqrt 200.0) 2)) (/ y (pow (sqrt 200.0) 2)) (/ y (pow (sqrt 200.0) 2)) (- x (/ y (pow (sqrt 200.0) 2))) (- x (/ y (pow (sqrt 200.0) 2))) (- x (/ y (pow (sqrt 200.0) 2))) 0.839 * * [simplify]: iteration 0 : 511 enodes (cost 1368 ) 0.850 * * [simplify]: iteration 1 : 2538 enodes (cost 1165 ) 0.891 * * [simplify]: iteration 2 : 5001 enodes (cost 979 ) 0.903 * [simplify]: Simplified to: (expm1 (/ y (sqrt 200.0))) (log1p (/ y (sqrt 200.0))) (log (/ y (sqrt 200.0))) (log (/ y (sqrt 200.0))) (exp (/ y (sqrt 200.0))) (pow (/ y (sqrt 200.0)) 3) (* (cbrt (/ y (sqrt 200.0))) (cbrt (/ y (sqrt 200.0)))) (cbrt (/ y (sqrt 200.0))) (pow (/ y (sqrt 200.0)) 3) (sqrt (/ y (sqrt 200.0))) (sqrt (/ y (sqrt 200.0))) (- y) (- (sqrt 200.0)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))) (/ (cbrt y) (cbrt (sqrt 200.0))) (/ (cbrt y) (/ (fabs (cbrt 200.0)) (cbrt y))) (/ (cbrt y) (sqrt (cbrt 200.0))) (/ (* (cbrt y) (cbrt y)) (sqrt (sqrt 200.0))) (/ (cbrt y) (sqrt (sqrt 200.0))) (* (cbrt y) (cbrt y)) (/ (cbrt y) (sqrt 200.0)) (/ (* (cbrt y) (cbrt y)) (sqrt (sqrt 200.0))) (/ (cbrt y) (sqrt (sqrt 200.0))) (* (cbrt y) (cbrt y)) (/ (cbrt y) (sqrt 200.0)) (/ (sqrt y) (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))) (/ (sqrt y) (cbrt (sqrt 200.0))) (/ (sqrt y) (fabs (cbrt 200.0))) (/ (sqrt y) (sqrt (cbrt 200.0))) (/ (sqrt y) (sqrt (sqrt 200.0))) (/ (sqrt y) (sqrt (sqrt 200.0))) (sqrt y) (/ (sqrt y) (sqrt 200.0)) (/ (sqrt y) (sqrt (sqrt 200.0))) (/ (sqrt y) (sqrt (sqrt 200.0))) (sqrt y) (/ (sqrt y) (sqrt 200.0)) (/ 1 (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))) (/ y (cbrt (sqrt 200.0))) (/ 1 (/ (fabs (cbrt 200.0)) 1)) (/ y (sqrt (cbrt 200.0))) (/ 1 (sqrt (sqrt 200.0))) (/ y (sqrt (sqrt 200.0))) 1 (/ y (sqrt 200.0)) (/ 1 (sqrt (sqrt 200.0))) (/ y (sqrt (sqrt 200.0))) 1 (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0)) (/ (sqrt 200.0) y) (/ y (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))) (/ y (fabs (cbrt 200.0))) (/ y (sqrt (sqrt 200.0))) y (/ y (sqrt (sqrt 200.0))) y (/ (sqrt 200.0) (cbrt y)) (/ (sqrt 200.0) (sqrt y)) (/ (sqrt 200.0) y) (expm1 (/ y (sqrt 200.0))) (log1p (/ y (sqrt 200.0))) (log (/ y (sqrt 200.0))) (log (/ y (sqrt 200.0))) (exp (/ y (sqrt 200.0))) (pow (/ y (sqrt 200.0)) 3) (* (cbrt (/ y (sqrt 200.0))) (cbrt (/ y (sqrt 200.0)))) (cbrt (/ y (sqrt 200.0))) (pow (/ y (sqrt 200.0)) 3) (sqrt (/ y (sqrt 200.0))) (sqrt (/ y (sqrt 200.0))) (- y) (- (sqrt 200.0)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))) (/ (cbrt y) (cbrt (sqrt 200.0))) (/ (cbrt y) (/ (fabs (cbrt 200.0)) (cbrt y))) (/ (cbrt y) (sqrt (cbrt 200.0))) (/ (* (cbrt y) (cbrt y)) (sqrt (sqrt 200.0))) (/ (cbrt y) (sqrt (sqrt 200.0))) (* (cbrt y) (cbrt y)) (/ (cbrt y) (sqrt 200.0)) (/ (* (cbrt y) (cbrt y)) (sqrt (sqrt 200.0))) (/ (cbrt y) (sqrt (sqrt 200.0))) (* (cbrt y) (cbrt y)) (/ (cbrt y) (sqrt 200.0)) (/ (sqrt y) (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))) (/ (sqrt y) (cbrt (sqrt 200.0))) (/ (sqrt y) (fabs (cbrt 200.0))) (/ (sqrt y) (sqrt (cbrt 200.0))) (/ (sqrt y) (sqrt (sqrt 200.0))) (/ (sqrt y) (sqrt (sqrt 200.0))) (sqrt y) (/ (sqrt y) (sqrt 200.0)) (/ (sqrt y) (sqrt (sqrt 200.0))) (/ (sqrt y) (sqrt (sqrt 200.0))) (sqrt y) (/ (sqrt y) (sqrt 200.0)) (/ 1 (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))) (/ y (cbrt (sqrt 200.0))) (/ 1 (/ (fabs (cbrt 200.0)) 1)) (/ y (sqrt (cbrt 200.0))) (/ 1 (sqrt (sqrt 200.0))) (/ y (sqrt (sqrt 200.0))) 1 (/ y (sqrt 200.0)) (/ 1 (sqrt (sqrt 200.0))) (/ y (sqrt (sqrt 200.0))) 1 (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0)) (/ (sqrt 200.0) y) (/ y (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))) (/ y (fabs (cbrt 200.0))) (/ y (sqrt (sqrt 200.0))) y (/ y (sqrt (sqrt 200.0))) y (/ (sqrt 200.0) (cbrt y)) (/ (sqrt 200.0) (sqrt y)) (/ (sqrt 200.0) y) (expm1 (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0)))) (log1p (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0)))) (/ y 200.0) (- (log y) (log 200.0)) (- (log y) (log 200.0)) (- (log y) (log 200.0)) (- (log y) (log 200.0)) (- (log y) (log 200.0)) (- (log y) (log 200.0)) (- (log y) (log 200.0)) (- (log y) (log 200.0)) (- (log y) (log 200.0)) (pow (exp (/ 1 200.0)) y) (pow (/ y 200.0) 3) (pow (/ y 200.0) 3) (pow (/ y 200.0) 3) (pow (/ y 200.0) 3) (* (cbrt (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0)))) (cbrt (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0))))) (cbrt (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0)))) (pow (/ y 200.0) 3) (sqrt (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0)))) (sqrt (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0)))) y 200.0 (* (sqrt (/ y (sqrt 200.0))) (sqrt (/ 1 (sqrt 200.0)))) (* (sqrt (/ y (sqrt 200.0))) (sqrt (/ 1 (sqrt 200.0)))) (/ (sqrt (/ y (sqrt 200.0))) (pow (sqrt 200.0) 1/2)) (/ (sqrt (/ y (sqrt 200.0))) (pow (sqrt 200.0) 1/2)) (/ (sqrt (/ y (sqrt 200.0))) (pow (sqrt 200.0) 1/2)) (/ (sqrt (/ y (sqrt 200.0))) (pow (sqrt 200.0) 1/2)) (/ (sqrt (/ y (sqrt 200.0))) (pow (sqrt 200.0) 1/2)) (/ (sqrt (/ y (sqrt 200.0))) (pow (sqrt 200.0) 1/2)) (/ (sqrt (/ y (sqrt 200.0))) (pow (sqrt 200.0) 1/2)) (/ (sqrt (/ y (sqrt 200.0))) (pow (sqrt 200.0) 1/2)) (* (/ (sqrt y) (sqrt (sqrt 200.0))) (sqrt (/ 1 (sqrt 200.0)))) (* (/ (sqrt y) (sqrt (sqrt 200.0))) (sqrt (/ 1 (sqrt 200.0)))) (/ (sqrt y) (sqrt 200.0)) (/ (sqrt y) (sqrt 200.0)) (/ (sqrt y) (sqrt 200.0)) (/ (sqrt y) (sqrt 200.0)) (/ (sqrt y) (sqrt 200.0)) (/ (sqrt y) (sqrt 200.0)) (/ (sqrt y) (sqrt 200.0)) (/ (sqrt y) (sqrt 200.0)) (* (/ (sqrt y) (sqrt (sqrt 200.0))) (sqrt (/ 1 (sqrt 200.0)))) (* (/ (sqrt y) (sqrt (sqrt 200.0))) (sqrt (/ 1 (sqrt 200.0)))) (/ (sqrt y) (sqrt 200.0)) (/ (sqrt y) (sqrt 200.0)) (/ (sqrt y) (sqrt 200.0)) (/ (sqrt y) (sqrt 200.0)) (/ (sqrt y) (sqrt 200.0)) (/ (sqrt y) (sqrt 200.0)) (/ (sqrt y) (sqrt 200.0)) (/ (sqrt y) (sqrt 200.0)) (* (/ y (sqrt 200.0)) (* (cbrt (/ 1 (sqrt 200.0))) (cbrt (/ 1 (sqrt 200.0))))) (* (/ y (sqrt 200.0)) (sqrt (/ 1 (sqrt 200.0)))) (/ (/ y (sqrt 200.0)) (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))) (/ (/ y (sqrt 200.0)) (fabs (cbrt 200.0))) (/ (/ y (sqrt 200.0)) (sqrt (sqrt 200.0))) (/ y (sqrt 200.0)) (/ (/ y (sqrt 200.0)) (sqrt (sqrt 200.0))) (/ y (sqrt 200.0)) (/ (/ y (sqrt 200.0)) (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))) (/ (/ y (sqrt 200.0)) (fabs (cbrt 200.0))) (/ (/ y (sqrt 200.0)) (sqrt (sqrt 200.0))) (/ y (sqrt 200.0)) (/ (/ y (sqrt 200.0)) (sqrt (sqrt 200.0))) (/ y (sqrt 200.0)) (/ (/ y (sqrt 200.0)) (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))) (/ (/ y (sqrt 200.0)) (fabs (cbrt 200.0))) (/ (/ y (sqrt 200.0)) (sqrt (sqrt 200.0))) (/ y (sqrt 200.0)) (/ (/ y (sqrt 200.0)) (sqrt (sqrt 200.0))) (/ y (sqrt 200.0)) (/ y (sqrt 200.0)) (/ y (sqrt 200.0)) (* (cbrt (/ y (sqrt 200.0))) (/ 1 (sqrt 200.0))) (* (sqrt (/ y (sqrt 200.0))) (/ 1 (sqrt 200.0))) (* (/ (cbrt y) (cbrt (sqrt 200.0))) (/ 1 (sqrt 200.0))) (* (/ (cbrt y) (sqrt (cbrt 200.0))) (/ 1 (sqrt 200.0))) (/ (/ (cbrt y) (sqrt 200.0)) (pow (sqrt 200.0) 1/2)) (* (/ (cbrt y) (sqrt 200.0)) (/ 1 (sqrt 200.0))) (/ (/ (cbrt y) (sqrt 200.0)) (pow (sqrt 200.0) 1/2)) (* (/ (cbrt y) (sqrt 200.0)) (/ 1 (sqrt 200.0))) (* (/ (sqrt y) (cbrt (sqrt 200.0))) (/ 1 (sqrt 200.0))) (* (/ (sqrt y) (sqrt (cbrt 200.0))) (/ 1 (sqrt 200.0))) (/ (/ (sqrt y) (sqrt 200.0)) (pow (sqrt 200.0) 1/2)) (* (/ (sqrt y) (sqrt 200.0)) (/ 1 (sqrt 200.0))) (/ (/ (sqrt y) (sqrt 200.0)) (pow (sqrt 200.0) 1/2)) (* (/ (sqrt y) (sqrt 200.0)) (/ 1 (sqrt 200.0))) (/ (/ y (sqrt 200.0)) (cbrt (sqrt 200.0))) (/ (/ y (sqrt 200.0)) (sqrt (cbrt 200.0))) (/ (/ y (sqrt 200.0)) (sqrt (sqrt 200.0))) (/ y 200.0) (/ (/ y (sqrt 200.0)) (sqrt (sqrt 200.0))) (/ y 200.0) (/ y 200.0) (/ 1 200.0) (/ y (sqrt 200.0)) (/ y (sqrt 200.0)) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (/ y 200.0)) (+ (/ y 200.0) (/ (- y) 200.0)) (- x (/ y 200.0)) (+ (/ y 200.0) (/ (- y) 200.0)) (- x (/ y 200.0)) (+ (/ y 200.0) (/ (- y) 200.0)) (expm1 (- x (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0))))) (log1p (- x (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0))))) (/ (- y) 200.0) (/ (- y) 200.0) (/ (- y) 200.0) (exp (- x (/ y 200.0))) (log (- x (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0))))) (exp (- x (/ y 200.0))) (* (cbrt (- x (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0))))) (cbrt (- x (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0)))))) (cbrt (- x (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0))))) (pow (- x (/ y 200.0)) 3) (sqrt (- x (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0))))) (sqrt (- x (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0))))) (- (pow x 3) (pow (* (/ y (sqrt 200.0)) (/ 1 (sqrt 200.0))) 3)) (fma x x (fma x (/ y 200.0) (* (/ 1 200.0) (/ (* y y) 200.0)))) (/ (- y) 200.0) (fma (/ (- y) 200.0) (/ y 200.0) (* x x)) (fma (/ y 200.0) 1 x) (/ (- y) 200.0) (/ y (sqrt 200.0)) (/ y (sqrt 200.0)) (/ y (sqrt 200.0)) (/ y (sqrt 200.0)) (/ y (sqrt 200.0)) (/ y (sqrt 200.0)) (/ y 200.0) (/ y 200.0) (/ y 200.0) (- x (/ y 200.0)) (- x (/ y 200.0)) (- x (/ y 200.0)) 0.904 * * * [progress]: adding candidates to table 1.305 * * [progress]: iteration 4 / 4 1.305 * * * [progress]: picking best candidate 1.312 * * * * [pick]: Picked # 1.312 * * * [progress]: localizing error 1.329 * * * [progress]: generating rewritten candidates 1.329 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 2 2) 1.331 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 2) 1.333 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 1) 1.335 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 2) 1.340 * * * [progress]: generating series expansions 1.340 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 2 2) 1.340 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2) 1.340 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 1) 1.340 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 1.340 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 1.340 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 1.340 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 1.340 * [taylor]: Taking taylor expansion of 1/3 in y 1.340 * [taylor]: Taking taylor expansion of (log y) in y 1.340 * [taylor]: Taking taylor expansion of y in y 1.342 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 1.342 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 1.342 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 1.342 * [taylor]: Taking taylor expansion of 1/3 in y 1.342 * [taylor]: Taking taylor expansion of (log y) in y 1.342 * [taylor]: Taking taylor expansion of y in y 1.617 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 1.617 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.617 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.617 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.617 * [taylor]: Taking taylor expansion of 1/3 in y 1.617 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.617 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.617 * [taylor]: Taking taylor expansion of y in y 1.618 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.618 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.618 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.618 * [taylor]: Taking taylor expansion of 1/3 in y 1.618 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.618 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.618 * [taylor]: Taking taylor expansion of y in y 1.670 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 1.670 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 1.670 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.670 * [taylor]: Taking taylor expansion of -1 in y 1.671 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.671 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.671 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.671 * [taylor]: Taking taylor expansion of 1/3 in y 1.671 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.671 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.671 * [taylor]: Taking taylor expansion of y in y 1.672 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 1.672 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.672 * [taylor]: Taking taylor expansion of -1 in y 1.673 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.673 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.673 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.673 * [taylor]: Taking taylor expansion of 1/3 in y 1.673 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.673 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.673 * [taylor]: Taking taylor expansion of y in y 1.740 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 2) 1.740 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 1.740 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 1.740 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 1.740 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 1.740 * [taylor]: Taking taylor expansion of 1/3 in y 1.740 * [taylor]: Taking taylor expansion of (log y) in y 1.740 * [taylor]: Taking taylor expansion of y in y 1.741 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 1.741 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 1.741 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 1.741 * [taylor]: Taking taylor expansion of 1/3 in y 1.741 * [taylor]: Taking taylor expansion of (log y) in y 1.741 * [taylor]: Taking taylor expansion of y in y 1.794 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 1.794 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.794 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.794 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.794 * [taylor]: Taking taylor expansion of 1/3 in y 1.794 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.794 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.794 * [taylor]: Taking taylor expansion of y in y 1.795 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.795 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.795 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.795 * [taylor]: Taking taylor expansion of 1/3 in y 1.795 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.795 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.795 * [taylor]: Taking taylor expansion of y in y 1.851 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 1.851 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 1.851 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.851 * [taylor]: Taking taylor expansion of -1 in y 1.852 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.852 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.852 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.852 * [taylor]: Taking taylor expansion of 1/3 in y 1.852 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.852 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.852 * [taylor]: Taking taylor expansion of y in y 1.852 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 1.852 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.853 * [taylor]: Taking taylor expansion of -1 in y 1.853 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.853 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.853 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.853 * [taylor]: Taking taylor expansion of 1/3 in y 1.853 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.853 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.853 * [taylor]: Taking taylor expansion of y in y 1.919 * * * [progress]: simplifying candidates 1.920 * [simplify]: Simplifying using # : (expm1 (sqrt (sqrt 200.0))) (log1p (sqrt (sqrt 200.0))) (log (sqrt (sqrt 200.0))) (exp (sqrt (sqrt 200.0))) (* (cbrt (sqrt (sqrt 200.0))) (cbrt (sqrt (sqrt 200.0)))) (cbrt (sqrt (sqrt 200.0))) (* (* (sqrt (sqrt 200.0)) (sqrt (sqrt 200.0))) (sqrt (sqrt 200.0))) (sqrt (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))) (sqrt (cbrt (sqrt 200.0))) (sqrt (sqrt (* (cbrt 200.0) (cbrt 200.0)))) (sqrt (sqrt (cbrt 200.0))) (sqrt (sqrt (sqrt 200.0))) (sqrt (sqrt (sqrt 200.0))) (sqrt (sqrt 1)) (sqrt (sqrt 200.0)) (sqrt (sqrt (sqrt 200.0))) (sqrt (sqrt (sqrt 200.0))) (sqrt 1) (sqrt (sqrt 200.0)) (/ 1/2 2) (/ 1 2) (/ (/ 1 2) 2) (sqrt (sqrt (sqrt 200.0))) (sqrt (sqrt (sqrt 200.0))) (expm1 (sqrt (sqrt 200.0))) (log1p (sqrt (sqrt 200.0))) (log (sqrt (sqrt 200.0))) (exp (sqrt (sqrt 200.0))) (* (cbrt (sqrt (sqrt 200.0))) (cbrt (sqrt (sqrt 200.0)))) (cbrt (sqrt (sqrt 200.0))) (* (* (sqrt (sqrt 200.0)) (sqrt (sqrt 200.0))) (sqrt (sqrt 200.0))) (sqrt (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))) (sqrt (cbrt (sqrt 200.0))) (sqrt (sqrt (* (cbrt 200.0) (cbrt 200.0)))) (sqrt (sqrt (cbrt 200.0))) (sqrt (sqrt (sqrt 200.0))) (sqrt (sqrt (sqrt 200.0))) (sqrt (sqrt 1)) (sqrt (sqrt 200.0)) (sqrt (sqrt (sqrt 200.0))) (sqrt (sqrt (sqrt 200.0))) (sqrt 1) (sqrt (sqrt 200.0)) (/ 1/2 2) (/ 1 2) (/ (/ 1 2) 2) (sqrt (sqrt (sqrt 200.0))) (sqrt (sqrt (sqrt 200.0))) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (/ (* (cbrt y) (cbrt y)) (sqrt (sqrt 200.0))) (/ (cbrt y) (sqrt (sqrt 200.0))) (/ (* (cbrt y) (cbrt y)) (sqrt (sqrt 200.0))) (/ (cbrt y) (sqrt (sqrt 200.0))) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) 1.924 * * [simplify]: iteration 0 : 79 enodes (cost 240 ) 1.925 * * [simplify]: iteration 1 : 131 enodes (cost 232 ) 1.928 * * [simplify]: iteration 2 : 269 enodes (cost 228 ) 1.933 * * [simplify]: iteration 3 : 873 enodes (cost 228 ) 1.956 * * [simplify]: iteration 4 : 4799 enodes (cost 224 ) 2.058 * * [simplify]: iteration 5 : 5001 enodes (cost 224 ) 2.060 * [simplify]: Simplified to: (expm1 (sqrt (sqrt 200.0))) (log1p (sqrt (sqrt 200.0))) (log (sqrt (sqrt 200.0))) (exp (sqrt (sqrt 200.0))) (* (cbrt (sqrt (sqrt 200.0))) (cbrt (sqrt (sqrt 200.0)))) (cbrt (sqrt (sqrt 200.0))) (pow (sqrt (sqrt 200.0)) 3) (fabs (cbrt (sqrt 200.0))) (sqrt (cbrt (sqrt 200.0))) (sqrt (sqrt (* (cbrt 200.0) (cbrt 200.0)))) (sqrt (sqrt (cbrt 200.0))) (sqrt (sqrt (sqrt 200.0))) (sqrt (sqrt (sqrt 200.0))) (sqrt (sqrt 1)) (sqrt (sqrt 200.0)) (sqrt (sqrt (sqrt 200.0))) (sqrt (sqrt (sqrt 200.0))) (sqrt 1) (sqrt (sqrt 200.0)) 1/4 1/2 1/4 (sqrt (sqrt (sqrt 200.0))) (sqrt (sqrt (sqrt 200.0))) (expm1 (sqrt (sqrt 200.0))) (log1p (sqrt (sqrt 200.0))) (log (sqrt (sqrt 200.0))) (exp (sqrt (sqrt 200.0))) (* (cbrt (sqrt (sqrt 200.0))) (cbrt (sqrt (sqrt 200.0)))) (cbrt (sqrt (sqrt 200.0))) (pow (sqrt (sqrt 200.0)) 3) (fabs (cbrt (sqrt 200.0))) (sqrt (cbrt (sqrt 200.0))) (sqrt (sqrt (* (cbrt 200.0) (cbrt 200.0)))) (sqrt (sqrt (cbrt 200.0))) (sqrt (sqrt (sqrt 200.0))) (sqrt (sqrt (sqrt 200.0))) (sqrt (sqrt 1)) (sqrt (sqrt 200.0)) (sqrt (sqrt (sqrt 200.0))) (sqrt (sqrt (sqrt 200.0))) (sqrt 1) (sqrt (sqrt 200.0)) 1/4 1/2 1/4 (sqrt (sqrt (sqrt 200.0))) (sqrt (sqrt (sqrt 200.0))) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (pow y 1/3) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (pow y 1/3) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (/ (* (cbrt y) (cbrt y)) (sqrt (sqrt 200.0))) (/ (cbrt y) (sqrt (sqrt 200.0))) (/ (* (cbrt y) (cbrt y)) (sqrt (sqrt 200.0))) (/ (cbrt y) (sqrt (sqrt 200.0))) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) 2.060 * * * [progress]: adding candidates to table 2.303 * [progress]: [Phase 3 of 3] Extracting. 2.303 * * [regime]: Finding splitpoints for: (# # # #) 2.303 * * * [regime-changes]: Trying 4 branch expressions: ((/ y 200.0) (- x (/ y 200.0)) y x) 2.304 * * * * [regimes]: Trying to branch on (/ y 200.0) from (# # # #) 2.322 * * * * [regimes]: Trying to branch on (- x (/ y 200.0)) from (# # # #) 2.346 * * * * [regimes]: Trying to branch on y from (# # # #) 2.376 * * * * [regimes]: Trying to branch on x from (# # # #) 2.403 * * * [regime]: Found split indices: #