6.534 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.016 * * * [progress]: [2/2] Setting up program. 0.017 * [progress]: [Phase 2 of 3] Improving. 0.018 * [simplify]: Simplifying: (* 500.0 (- x y)) 0.018 * * [simplify]: Extracting # 0 : cost 0 0.018 * * [simplify]: Extracting # 1 : cost 0 0.018 * * [simplify]: Extracting # 2 : cost 0 0.018 * * [simplify]: Extracting # 3 : cost 0 0.018 * * [simplify]: Extracting # 4 : cost 0 0.018 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.019 * * [simplify]: Extracting # 0 : cost 0 0.019 * * [simplify]: Extracting # 1 : cost 0 0.019 * * [simplify]: Extracting # 2 : cost 0 0.019 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 0.020 * * [simplify]: Extracting # 0 : cost 0 0.020 * * [simplify]: Extracting # 1 : cost 0 0.020 * * [simplify]: Extracting # 2 : cost 0 0.020 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 0.023 * * [simplify]: Extracting # 0 : cost 0 0.023 * * [simplify]: Extracting # 1 : cost 0 0.023 * * [simplify]: Extracting # 2 : cost 0 0.023 * * [simplify]: iteration 3 : 23 enodes (cost 5 ) 0.027 * * [simplify]: Extracting # 0 : cost 0 0.027 * * [simplify]: Extracting # 1 : cost 0 0.027 * * [simplify]: Extracting # 2 : cost 0 0.027 * * [simplify]: iteration 4 : 30 enodes (cost 5 ) 0.036 * * [simplify]: Extracting # 0 : cost 0 0.036 * * [simplify]: iteration 5 : 32 enodes (cost 5 ) 0.041 * * [simplify]: Extracting # 0 : cost 0 0.041 * * [simplify]: iteration done: 32 enodes (cost 5 ) 0.041 * [simplify]: Simplified to: (* 500.0 (- x y)) 0.041 * * [progress]: iteration 1 / 4 0.041 * * * [progress]: picking best candidate 0.043 * * * * [pick]: Picked # 0.043 * * * [progress]: localizing error 0.047 * * * [progress]: generating rewritten candidates 0.047 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.074 * * * [progress]: generating series expansions 0.074 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.074 * [backup-simplify]: Simplify (* 500.0 (- x y)) into (* 500.0 (- x y)) 0.074 * [approximate]: Taking taylor expansion of (* 500.0 (- x y)) in (x y) around 0 0.074 * [taylor]: Taking taylor expansion of (* 500.0 (- x y)) in y 0.074 * [taylor]: Taking taylor expansion of 500.0 in y 0.074 * [backup-simplify]: Simplify 500.0 into 500.0 0.074 * [taylor]: Taking taylor expansion of (- x y) in y 0.074 * [taylor]: Taking taylor expansion of x in y 0.074 * [backup-simplify]: Simplify x into x 0.074 * [taylor]: Taking taylor expansion of y in y 0.074 * [backup-simplify]: Simplify 0 into 0 0.074 * [backup-simplify]: Simplify 1 into 1 0.074 * [taylor]: Taking taylor expansion of (* 500.0 (- x y)) in x 0.074 * [taylor]: Taking taylor expansion of 500.0 in x 0.074 * [backup-simplify]: Simplify 500.0 into 500.0 0.074 * [taylor]: Taking taylor expansion of (- x y) in x 0.074 * [taylor]: Taking taylor expansion of x in x 0.074 * [backup-simplify]: Simplify 0 into 0 0.074 * [backup-simplify]: Simplify 1 into 1 0.074 * [taylor]: Taking taylor expansion of y in x 0.074 * [backup-simplify]: Simplify y into y 0.074 * [taylor]: Taking taylor expansion of (* 500.0 (- x y)) in x 0.074 * [taylor]: Taking taylor expansion of 500.0 in x 0.074 * [backup-simplify]: Simplify 500.0 into 500.0 0.074 * [taylor]: Taking taylor expansion of (- x y) in x 0.074 * [taylor]: Taking taylor expansion of x in x 0.074 * [backup-simplify]: Simplify 0 into 0 0.074 * [backup-simplify]: Simplify 1 into 1 0.074 * [taylor]: Taking taylor expansion of y in x 0.074 * [backup-simplify]: Simplify y into y 0.075 * [backup-simplify]: Simplify (- y) into (- y) 0.075 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 0.075 * [backup-simplify]: Simplify (* 500.0 (- y)) into (* -500.0 y) 0.075 * [taylor]: Taking taylor expansion of (* -500.0 y) in y 0.075 * [taylor]: Taking taylor expansion of -500.0 in y 0.075 * [backup-simplify]: Simplify -500.0 into -500.0 0.075 * [taylor]: Taking taylor expansion of y in y 0.075 * [backup-simplify]: Simplify 0 into 0 0.075 * [backup-simplify]: Simplify 1 into 1 0.075 * [backup-simplify]: Simplify (* -500.0 0) into 0 0.075 * [backup-simplify]: Simplify 0 into 0 0.075 * [backup-simplify]: Simplify (- 0) into 0 0.076 * [backup-simplify]: Simplify (+ 1 0) into 1 0.076 * [backup-simplify]: Simplify (+ (* 500.0 1) (* 0 (- y))) into 500.0 0.076 * [taylor]: Taking taylor expansion of 500.0 in y 0.076 * [backup-simplify]: Simplify 500.0 into 500.0 0.076 * [backup-simplify]: Simplify 500.0 into 500.0 0.077 * [backup-simplify]: Simplify (+ (* -500.0 1) (* 0 0)) into (- 500.0) 0.077 * [backup-simplify]: Simplify (- 500.0) into (- 500.0) 0.078 * [backup-simplify]: Simplify (- 0) into 0 0.078 * [backup-simplify]: Simplify (+ 0 0) into 0 0.078 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 1) (* 0 (- y)))) into 0 0.078 * [taylor]: Taking taylor expansion of 0 in y 0.078 * [backup-simplify]: Simplify 0 into 0 0.078 * [backup-simplify]: Simplify 0 into 0 0.078 * [backup-simplify]: Simplify 0 into 0 0.079 * [backup-simplify]: Simplify (+ (* -500.0 0) (+ (* 0 1) (* 0 0))) into 0 0.079 * [backup-simplify]: Simplify 0 into 0 0.079 * [backup-simplify]: Simplify (- 0) into 0 0.080 * [backup-simplify]: Simplify (+ 0 0) into 0 0.080 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- y))))) into 0 0.080 * [taylor]: Taking taylor expansion of 0 in y 0.080 * [backup-simplify]: Simplify 0 into 0 0.081 * [backup-simplify]: Simplify 0 into 0 0.081 * [backup-simplify]: Simplify 0 into 0 0.081 * [backup-simplify]: Simplify 0 into 0 0.081 * [backup-simplify]: Simplify (+ (* (- 500.0) (* y 1)) (* 500.0 (* 1 x))) into (- (* 500.0 x) (* 500.0 y)) 0.081 * [backup-simplify]: Simplify (* 500.0 (- (/ 1 x) (/ 1 y))) into (* 500.0 (- (/ 1 x) (/ 1 y))) 0.081 * [approximate]: Taking taylor expansion of (* 500.0 (- (/ 1 x) (/ 1 y))) in (x y) around 0 0.081 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 x) (/ 1 y))) in y 0.081 * [taylor]: Taking taylor expansion of 500.0 in y 0.081 * [backup-simplify]: Simplify 500.0 into 500.0 0.081 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.081 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.081 * [taylor]: Taking taylor expansion of x in y 0.081 * [backup-simplify]: Simplify x into x 0.081 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.081 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.081 * [taylor]: Taking taylor expansion of y in y 0.081 * [backup-simplify]: Simplify 0 into 0 0.081 * [backup-simplify]: Simplify 1 into 1 0.082 * [backup-simplify]: Simplify (/ 1 1) into 1 0.082 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 x) (/ 1 y))) in x 0.082 * [taylor]: Taking taylor expansion of 500.0 in x 0.082 * [backup-simplify]: Simplify 500.0 into 500.0 0.082 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.082 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.082 * [taylor]: Taking taylor expansion of x in x 0.082 * [backup-simplify]: Simplify 0 into 0 0.082 * [backup-simplify]: Simplify 1 into 1 0.082 * [backup-simplify]: Simplify (/ 1 1) into 1 0.082 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.082 * [taylor]: Taking taylor expansion of y in x 0.082 * [backup-simplify]: Simplify y into y 0.082 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.082 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 x) (/ 1 y))) in x 0.082 * [taylor]: Taking taylor expansion of 500.0 in x 0.082 * [backup-simplify]: Simplify 500.0 into 500.0 0.082 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.082 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.082 * [taylor]: Taking taylor expansion of x in x 0.082 * [backup-simplify]: Simplify 0 into 0 0.082 * [backup-simplify]: Simplify 1 into 1 0.082 * [backup-simplify]: Simplify (/ 1 1) into 1 0.082 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.082 * [taylor]: Taking taylor expansion of y in x 0.082 * [backup-simplify]: Simplify y into y 0.082 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.083 * [backup-simplify]: Simplify (+ 1 0) into 1 0.083 * [backup-simplify]: Simplify (* 500.0 1) into 500.0 0.083 * [taylor]: Taking taylor expansion of 500.0 in y 0.083 * [backup-simplify]: Simplify 500.0 into 500.0 0.084 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.084 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 0.084 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 0.084 * [backup-simplify]: Simplify (+ (* 500.0 (- (/ 1 y))) (* 0 1)) into (- (* 500.0 (/ 1 y))) 0.084 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 y))) in y 0.084 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y 0.084 * [taylor]: Taking taylor expansion of 500.0 in y 0.084 * [backup-simplify]: Simplify 500.0 into 500.0 0.084 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.084 * [taylor]: Taking taylor expansion of y in y 0.084 * [backup-simplify]: Simplify 0 into 0 0.084 * [backup-simplify]: Simplify 1 into 1 0.084 * [backup-simplify]: Simplify (/ 1 1) into 1 0.085 * [backup-simplify]: Simplify (* 500.0 1) into 500.0 0.085 * [backup-simplify]: Simplify (- 500.0) into (- 500.0) 0.085 * [backup-simplify]: Simplify (- 500.0) into (- 500.0) 0.085 * [backup-simplify]: Simplify 500.0 into 500.0 0.086 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.086 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.086 * [backup-simplify]: Simplify (- 0) into 0 0.086 * [backup-simplify]: Simplify (+ 0 0) into 0 0.087 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 (- (/ 1 y))) (* 0 1))) into 0 0.087 * [taylor]: Taking taylor expansion of 0 in y 0.087 * [backup-simplify]: Simplify 0 into 0 0.087 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.088 * [backup-simplify]: Simplify (+ (* 500.0 0) (* 0 1)) into 0 0.088 * [backup-simplify]: Simplify (- 0) into 0 0.088 * [backup-simplify]: Simplify 0 into 0 0.088 * [backup-simplify]: Simplify 0 into 0 0.089 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.089 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.089 * [backup-simplify]: Simplify (- 0) into 0 0.089 * [backup-simplify]: Simplify (+ 0 0) into 0 0.090 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1)))) into 0 0.090 * [taylor]: Taking taylor expansion of 0 in y 0.090 * [backup-simplify]: Simplify 0 into 0 0.090 * [backup-simplify]: Simplify 0 into 0 0.091 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.091 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (* 0 1))) into 0 0.092 * [backup-simplify]: Simplify (- 0) into 0 0.092 * [backup-simplify]: Simplify 0 into 0 0.092 * [backup-simplify]: Simplify 0 into 0 0.092 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.092 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.093 * [backup-simplify]: Simplify (- 0) into 0 0.093 * [backup-simplify]: Simplify (+ 0 0) into 0 0.094 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1))))) into 0 0.094 * [taylor]: Taking taylor expansion of 0 in y 0.094 * [backup-simplify]: Simplify 0 into 0 0.094 * [backup-simplify]: Simplify 0 into 0 0.094 * [backup-simplify]: Simplify (+ (* 500.0 (* 1 (/ 1 (/ 1 x)))) (* (- 500.0) (* (/ 1 (/ 1 y)) 1))) into (- (* 500.0 x) (* 500.0 y)) 0.094 * [backup-simplify]: Simplify (* 500.0 (- (/ 1 (- x)) (/ 1 (- y)))) into (* 500.0 (- (/ 1 y) (/ 1 x))) 0.094 * [approximate]: Taking taylor expansion of (* 500.0 (- (/ 1 y) (/ 1 x))) in (x y) around 0 0.094 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 y) (/ 1 x))) in y 0.094 * [taylor]: Taking taylor expansion of 500.0 in y 0.094 * [backup-simplify]: Simplify 500.0 into 500.0 0.094 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.095 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.095 * [taylor]: Taking taylor expansion of y in y 0.095 * [backup-simplify]: Simplify 0 into 0 0.095 * [backup-simplify]: Simplify 1 into 1 0.095 * [backup-simplify]: Simplify (/ 1 1) into 1 0.095 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.095 * [taylor]: Taking taylor expansion of x in y 0.095 * [backup-simplify]: Simplify x into x 0.095 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.095 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 y) (/ 1 x))) in x 0.095 * [taylor]: Taking taylor expansion of 500.0 in x 0.095 * [backup-simplify]: Simplify 500.0 into 500.0 0.095 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.095 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.095 * [taylor]: Taking taylor expansion of y in x 0.095 * [backup-simplify]: Simplify y into y 0.095 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.095 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.095 * [taylor]: Taking taylor expansion of x in x 0.095 * [backup-simplify]: Simplify 0 into 0 0.095 * [backup-simplify]: Simplify 1 into 1 0.095 * [backup-simplify]: Simplify (/ 1 1) into 1 0.095 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 y) (/ 1 x))) in x 0.095 * [taylor]: Taking taylor expansion of 500.0 in x 0.095 * [backup-simplify]: Simplify 500.0 into 500.0 0.095 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.095 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.095 * [taylor]: Taking taylor expansion of y in x 0.096 * [backup-simplify]: Simplify y into y 0.096 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.096 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.096 * [taylor]: Taking taylor expansion of x in x 0.096 * [backup-simplify]: Simplify 0 into 0 0.096 * [backup-simplify]: Simplify 1 into 1 0.096 * [backup-simplify]: Simplify (/ 1 1) into 1 0.096 * [backup-simplify]: Simplify (- 1) into -1 0.096 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.097 * [backup-simplify]: Simplify (* 500.0 -1) into -500.0 0.097 * [taylor]: Taking taylor expansion of -500.0 in y 0.097 * [backup-simplify]: Simplify -500.0 into -500.0 0.097 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.097 * [backup-simplify]: Simplify (- 0) into 0 0.097 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 0.098 * [backup-simplify]: Simplify (+ (* 500.0 (/ 1 y)) (* 0 -1)) into (* 500.0 (/ 1 y)) 0.098 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y 0.098 * [taylor]: Taking taylor expansion of 500.0 in y 0.098 * [backup-simplify]: Simplify 500.0 into 500.0 0.098 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.098 * [taylor]: Taking taylor expansion of y in y 0.098 * [backup-simplify]: Simplify 0 into 0 0.098 * [backup-simplify]: Simplify 1 into 1 0.098 * [backup-simplify]: Simplify (/ 1 1) into 1 0.098 * [backup-simplify]: Simplify (* 500.0 1) into 500.0 0.098 * [backup-simplify]: Simplify 500.0 into 500.0 0.098 * [backup-simplify]: Simplify -500.0 into -500.0 0.099 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.099 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.100 * [backup-simplify]: Simplify (- 0) into 0 0.100 * [backup-simplify]: Simplify (+ 0 0) into 0 0.100 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 (/ 1 y)) (* 0 -1))) into 0 0.100 * [taylor]: Taking taylor expansion of 0 in y 0.100 * [backup-simplify]: Simplify 0 into 0 0.101 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.101 * [backup-simplify]: Simplify (+ (* 500.0 0) (* 0 1)) into 0 0.101 * [backup-simplify]: Simplify 0 into 0 0.101 * [backup-simplify]: Simplify 0 into 0 0.102 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.102 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.102 * [backup-simplify]: Simplify (- 0) into 0 0.103 * [backup-simplify]: Simplify (+ 0 0) into 0 0.103 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1)))) into 0 0.103 * [taylor]: Taking taylor expansion of 0 in y 0.103 * [backup-simplify]: Simplify 0 into 0 0.103 * [backup-simplify]: Simplify 0 into 0 0.104 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.104 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (* 0 1))) into 0 0.104 * [backup-simplify]: Simplify 0 into 0 0.104 * [backup-simplify]: Simplify 0 into 0 0.105 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.105 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.105 * [backup-simplify]: Simplify (- 0) into 0 0.106 * [backup-simplify]: Simplify (+ 0 0) into 0 0.107 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1))))) into 0 0.107 * [taylor]: Taking taylor expansion of 0 in y 0.107 * [backup-simplify]: Simplify 0 into 0 0.107 * [backup-simplify]: Simplify 0 into 0 0.107 * [backup-simplify]: Simplify (+ (* -500.0 (* 1 (/ 1 (/ 1 (- x))))) (* 500.0 (* (/ 1 (/ 1 (- y))) 1))) into (- (* 500.0 x) (* 500.0 y)) 0.107 * * * [progress]: simplifying candidates 0.108 * [simplify]: Simplifying: (expm1 (* 500.0 (- x y))) (log1p (* 500.0 (- x y))) (* 500.0 (- x y)) (+ (log 500.0) (log (- x y))) (log (* 500.0 (- x y))) (exp (* 500.0 (- x y))) (* (* (* 500.0 500.0) 500.0) (* (* (- x y) (- x y)) (- x y))) (* (cbrt (* 500.0 (- x y))) (cbrt (* 500.0 (- x y)))) (cbrt (* 500.0 (- x y))) (* (* (* 500.0 (- x y)) (* 500.0 (- x y))) (* 500.0 (- x y))) (sqrt (* 500.0 (- x y))) (sqrt (* 500.0 (- x y))) (* (sqrt 500.0) (sqrt (- x y))) (* (sqrt 500.0) (sqrt (- x y))) (* 500.0 (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* 500.0 (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (* 500.0 (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt y) (sqrt y))))) (* 500.0 (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (* 500.0 (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1)))) (* 500.0 (fma (- y) 1 (* y 1))) (* 500.0 (fma (sqrt x) (sqrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* 500.0 (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (* 500.0 (fma (sqrt x) (sqrt x) (- (* (sqrt y) (sqrt y))))) (* 500.0 (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (* 500.0 (fma (sqrt x) (sqrt x) (- (* y 1)))) (* 500.0 (fma (- y) 1 (* y 1))) (* 500.0 (fma 1 x (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* 500.0 (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (* 500.0 (fma 1 x (- (* (sqrt y) (sqrt y))))) (* 500.0 (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (* 500.0 (fma 1 x (- (* y 1)))) (* 500.0 (fma (- y) 1 (* y 1))) (* 500.0 x) (* 500.0 (- y)) (* 500.0 x) (* 500.0 (- y)) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) 500.0) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) 500.0) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt y) (sqrt y)))) 500.0) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) 500.0) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1))) 500.0) (* (fma (- y) 1 (* y 1)) 500.0) (* (fma (sqrt x) (sqrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) 500.0) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) 500.0) (* (fma (sqrt x) (sqrt x) (- (* (sqrt y) (sqrt y)))) 500.0) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) 500.0) (* (fma (sqrt x) (sqrt x) (- (* y 1))) 500.0) (* (fma (- y) 1 (* y 1)) 500.0) (* (fma 1 x (- (* (cbrt y) (* (cbrt y) (cbrt y))))) 500.0) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) 500.0) (* (fma 1 x (- (* (sqrt y) (sqrt y)))) 500.0) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) 500.0) (* (fma 1 x (- (* y 1))) 500.0) (* (fma (- y) 1 (* y 1)) 500.0) (* x 500.0) (* (- y) 500.0) (* x 500.0) (* (- y) 500.0) (* 500.0 (* (cbrt (- x y)) (cbrt (- x y)))) (* 500.0 (sqrt (- x y))) (* 500.0 1) (* 500.0 (+ (sqrt x) (sqrt y))) (* 500.0 1) (* (cbrt 500.0) (- x y)) (* (sqrt 500.0) (- x y)) (* 500.0 (- x y)) (* 500.0 (- (pow x 3) (pow y 3))) (* 500.0 (- (* x x) (* y y))) (- (* 500.0 x) (* 500.0 y)) (- (* 500.0 x) (* 500.0 y)) (- (* 500.0 x) (* 500.0 y)) 0.109 * * [simplify]: Extracting # 0 : cost 0 0.109 * * [simplify]: Extracting # 1 : cost 0 0.109 * * [simplify]: Extracting # 2 : cost 0 0.110 * * [simplify]: Extracting # 3 : cost 0 0.110 * * [simplify]: Extracting # 4 : cost 0 0.110 * * [simplify]: Extracting # 5 : cost 0 0.110 * * [simplify]: Extracting # 6 : cost 0 0.110 * * [simplify]: iteration 0 : 102 enodes (cost 721 ) 0.142 * * [simplify]: Extracting # 0 : cost 0 0.142 * * [simplify]: Extracting # 1 : cost 0 0.142 * * [simplify]: Extracting # 2 : cost 0 0.142 * * [simplify]: Extracting # 3 : cost 0 0.142 * * [simplify]: Extracting # 4 : cost 0 0.143 * * [simplify]: iteration 1 : 192 enodes (cost 548 ) 0.201 * * [simplify]: Extracting # 0 : cost 0 0.201 * * [simplify]: Extracting # 1 : cost 0 0.202 * * [simplify]: Extracting # 2 : cost 0 0.203 * * [simplify]: Extracting # 3 : cost 0 0.204 * * [simplify]: Extracting # 4 : cost 0 0.205 * * [simplify]: Extracting # 5 : cost 0 0.205 * * [simplify]: iteration 2 : 415 enodes (cost 438 ) 0.558 * * [simplify]: Extracting # 0 : cost 0 0.563 * * [simplify]: Extracting # 1 : cost 0 0.566 * * [simplify]: Extracting # 2 : cost 0 0.577 * * [simplify]: Extracting # 3 : cost 0 0.581 * * [simplify]: Extracting # 4 : cost 0 0.584 * * [simplify]: iteration 3 : 1732 enodes (cost 396 ) 1.599 * * [simplify]: Extracting # 0 : cost 0 1.605 * * [simplify]: Extracting # 1 : cost 0 1.612 * * [simplify]: Extracting # 2 : cost 0 1.617 * * [simplify]: Extracting # 3 : cost 0 1.638 * * [simplify]: Extracting # 4 : cost 0 1.645 * * [simplify]: iteration done: 5001 enodes (cost 342 ) 1.645 * [simplify]: Simplified to: (expm1 (* 500.0 (- x y))) (log1p (* 500.0 (- x y))) (* (- x y) 500.0) (log (* 500.0 (- x y))) (log (* 500.0 (- x y))) (exp (* 500.0 (- x y))) (pow (* 500.0 (- x y)) 3) (* (cbrt (* 500.0 (- x y))) (cbrt (* 500.0 (- x y)))) (cbrt (* 500.0 (- x y))) (pow (* 500.0 (- x y)) 3) (sqrt (* 500.0 (- x y))) (sqrt (* 500.0 (- x y))) (* (sqrt 500.0) (sqrt (- x y))) (* (sqrt 500.0) (sqrt (- x y))) (* (- x y) 500.0) (* 500.0 0) (* (- x y) 500.0) (* 500.0 0) (* (- x y) 500.0) (* 500.0 0) (* (- x y) 500.0) (* 500.0 0) (* (- x y) 500.0) (* 500.0 0) (* (- x y) 500.0) (* 500.0 0) (* (- x y) 500.0) (* 500.0 0) (* (- x y) 500.0) (* 500.0 0) (* (- x y) 500.0) (* 500.0 0) (* 500.0 x) (* (- y) 500.0) (* 500.0 x) (* (- y) 500.0) (* (- x y) 500.0) (* 500.0 0) (* (- x y) 500.0) (* 500.0 0) (* (- x y) 500.0) (* 500.0 0) (* (- x y) 500.0) (* 500.0 0) (* (- x y) 500.0) (* 500.0 0) (* (- x y) 500.0) (* 500.0 0) (* (- x y) 500.0) (* 500.0 0) (* (- x y) 500.0) (* 500.0 0) (* (- x y) 500.0) (* 500.0 0) (* 500.0 x) (* (- y) 500.0) (* 500.0 x) (* (- y) 500.0) (* 500.0 (* (cbrt (- x y)) (cbrt (- x y)))) (* 500.0 (sqrt (- x y))) 500.0 (* 500.0 (+ (sqrt x) (sqrt y))) 500.0 (* (cbrt 500.0) (- x y)) (* (sqrt 500.0) (- x y)) (* (- x y) 500.0) (* 500.0 (- (pow x 3) (pow y 3))) (* 500.0 (- (* x x) (* y y))) (* (- x y) 500.0) (* (- x y) 500.0) (* (- x y) 500.0) 1.646 * * * [progress]: adding candidates to table 1.717 * * [progress]: iteration 2 / 4 1.717 * * * [progress]: picking best candidate 1.721 * * * * [pick]: Picked # 1.721 * * * [progress]: localizing error 1.732 * * * [progress]: generating rewritten candidates 1.732 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1.747 * * * [progress]: generating series expansions 1.747 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1.748 * [backup-simplify]: Simplify (+ (* 500.0 x) (* (- y) 500.0)) into (- (* 500.0 x) (* 500.0 y)) 1.748 * [approximate]: Taking taylor expansion of (- (* 500.0 x) (* 500.0 y)) in (x y) around 0 1.748 * [taylor]: Taking taylor expansion of (- (* 500.0 x) (* 500.0 y)) in y 1.748 * [taylor]: Taking taylor expansion of (* 500.0 x) in y 1.748 * [taylor]: Taking taylor expansion of 500.0 in y 1.748 * [backup-simplify]: Simplify 500.0 into 500.0 1.748 * [taylor]: Taking taylor expansion of x in y 1.748 * [backup-simplify]: Simplify x into x 1.748 * [taylor]: Taking taylor expansion of (* 500.0 y) in y 1.748 * [taylor]: Taking taylor expansion of 500.0 in y 1.748 * [backup-simplify]: Simplify 500.0 into 500.0 1.748 * [taylor]: Taking taylor expansion of y in y 1.748 * [backup-simplify]: Simplify 0 into 0 1.748 * [backup-simplify]: Simplify 1 into 1 1.748 * [taylor]: Taking taylor expansion of (- (* 500.0 x) (* 500.0 y)) in x 1.748 * [taylor]: Taking taylor expansion of (* 500.0 x) in x 1.748 * [taylor]: Taking taylor expansion of 500.0 in x 1.748 * [backup-simplify]: Simplify 500.0 into 500.0 1.748 * [taylor]: Taking taylor expansion of x in x 1.748 * [backup-simplify]: Simplify 0 into 0 1.748 * [backup-simplify]: Simplify 1 into 1 1.748 * [taylor]: Taking taylor expansion of (* 500.0 y) in x 1.748 * [taylor]: Taking taylor expansion of 500.0 in x 1.748 * [backup-simplify]: Simplify 500.0 into 500.0 1.748 * [taylor]: Taking taylor expansion of y in x 1.748 * [backup-simplify]: Simplify y into y 1.748 * [taylor]: Taking taylor expansion of (- (* 500.0 x) (* 500.0 y)) in x 1.748 * [taylor]: Taking taylor expansion of (* 500.0 x) in x 1.748 * [taylor]: Taking taylor expansion of 500.0 in x 1.748 * [backup-simplify]: Simplify 500.0 into 500.0 1.748 * [taylor]: Taking taylor expansion of x in x 1.748 * [backup-simplify]: Simplify 0 into 0 1.749 * [backup-simplify]: Simplify 1 into 1 1.749 * [taylor]: Taking taylor expansion of (* 500.0 y) in x 1.749 * [taylor]: Taking taylor expansion of 500.0 in x 1.749 * [backup-simplify]: Simplify 500.0 into 500.0 1.749 * [taylor]: Taking taylor expansion of y in x 1.749 * [backup-simplify]: Simplify y into y 1.749 * [backup-simplify]: Simplify (* 500.0 0) into 0 1.749 * [backup-simplify]: Simplify (* 500.0 y) into (* 500.0 y) 1.750 * [backup-simplify]: Simplify (- (* 500.0 y)) into (- (* 500.0 y)) 1.750 * [backup-simplify]: Simplify (+ 0 (- (* 500.0 y))) into (- (* 500.0 y)) 1.750 * [taylor]: Taking taylor expansion of (- (* 500.0 y)) in y 1.750 * [taylor]: Taking taylor expansion of (* 500.0 y) in y 1.750 * [taylor]: Taking taylor expansion of 500.0 in y 1.750 * [backup-simplify]: Simplify 500.0 into 500.0 1.750 * [taylor]: Taking taylor expansion of y in y 1.750 * [backup-simplify]: Simplify 0 into 0 1.750 * [backup-simplify]: Simplify 1 into 1 1.750 * [backup-simplify]: Simplify (* 500.0 0) into 0 1.751 * [backup-simplify]: Simplify (- 0) into 0 1.751 * [backup-simplify]: Simplify 0 into 0 1.752 * [backup-simplify]: Simplify (+ (* 500.0 1) (* 0 0)) into 500.0 1.753 * [backup-simplify]: Simplify (+ (* 500.0 0) (* 0 y)) into 0 1.753 * [backup-simplify]: Simplify (- 0) into 0 1.753 * [backup-simplify]: Simplify (+ 500.0 0) into 500.0 1.753 * [taylor]: Taking taylor expansion of 500.0 in y 1.753 * [backup-simplify]: Simplify 500.0 into 500.0 1.753 * [backup-simplify]: Simplify 500.0 into 500.0 1.755 * [backup-simplify]: Simplify (+ (* 500.0 1) (* 0 0)) into 500.0 1.755 * [backup-simplify]: Simplify (- 500.0) into (- 500.0) 1.756 * [backup-simplify]: Simplify (- 500.0) into (- 500.0) 1.757 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 1) (* 0 0))) into 0 1.757 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (* 0 y))) into 0 1.758 * [backup-simplify]: Simplify (- 0) into 0 1.758 * [backup-simplify]: Simplify (+ 0 0) into 0 1.758 * [taylor]: Taking taylor expansion of 0 in y 1.758 * [backup-simplify]: Simplify 0 into 0 1.758 * [backup-simplify]: Simplify 0 into 0 1.758 * [backup-simplify]: Simplify 0 into 0 1.759 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 1) (* 0 0))) into 0 1.759 * [backup-simplify]: Simplify (- 0) into 0 1.759 * [backup-simplify]: Simplify 0 into 0 1.761 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1.762 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 1.762 * [backup-simplify]: Simplify (- 0) into 0 1.762 * [backup-simplify]: Simplify (+ 0 0) into 0 1.762 * [taylor]: Taking taylor expansion of 0 in y 1.762 * [backup-simplify]: Simplify 0 into 0 1.762 * [backup-simplify]: Simplify 0 into 0 1.762 * [backup-simplify]: Simplify 0 into 0 1.763 * [backup-simplify]: Simplify 0 into 0 1.763 * [backup-simplify]: Simplify (+ (* (- 500.0) (* y 1)) (* 500.0 (* 1 x))) into (- (* 500.0 x) (* 500.0 y)) 1.763 * [backup-simplify]: Simplify (+ (* 500.0 (/ 1 x)) (* (- (/ 1 y)) 500.0)) into (- (* 500.0 (/ 1 x)) (* 500.0 (/ 1 y))) 1.763 * [approximate]: Taking taylor expansion of (- (* 500.0 (/ 1 x)) (* 500.0 (/ 1 y))) in (x y) around 0 1.763 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 x)) (* 500.0 (/ 1 y))) in y 1.763 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 x)) in y 1.763 * [taylor]: Taking taylor expansion of 500.0 in y 1.763 * [backup-simplify]: Simplify 500.0 into 500.0 1.763 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.763 * [taylor]: Taking taylor expansion of x in y 1.763 * [backup-simplify]: Simplify x into x 1.764 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.764 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y 1.764 * [taylor]: Taking taylor expansion of 500.0 in y 1.764 * [backup-simplify]: Simplify 500.0 into 500.0 1.764 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.764 * [taylor]: Taking taylor expansion of y in y 1.764 * [backup-simplify]: Simplify 0 into 0 1.764 * [backup-simplify]: Simplify 1 into 1 1.764 * [backup-simplify]: Simplify (/ 1 1) into 1 1.764 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 x)) (* 500.0 (/ 1 y))) in x 1.764 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 x)) in x 1.764 * [taylor]: Taking taylor expansion of 500.0 in x 1.764 * [backup-simplify]: Simplify 500.0 into 500.0 1.764 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.764 * [taylor]: Taking taylor expansion of x in x 1.764 * [backup-simplify]: Simplify 0 into 0 1.764 * [backup-simplify]: Simplify 1 into 1 1.765 * [backup-simplify]: Simplify (/ 1 1) into 1 1.765 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in x 1.765 * [taylor]: Taking taylor expansion of 500.0 in x 1.765 * [backup-simplify]: Simplify 500.0 into 500.0 1.765 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.765 * [taylor]: Taking taylor expansion of y in x 1.765 * [backup-simplify]: Simplify y into y 1.765 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.765 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 x)) (* 500.0 (/ 1 y))) in x 1.765 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 x)) in x 1.765 * [taylor]: Taking taylor expansion of 500.0 in x 1.765 * [backup-simplify]: Simplify 500.0 into 500.0 1.765 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.765 * [taylor]: Taking taylor expansion of x in x 1.765 * [backup-simplify]: Simplify 0 into 0 1.765 * [backup-simplify]: Simplify 1 into 1 1.766 * [backup-simplify]: Simplify (/ 1 1) into 1 1.766 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in x 1.766 * [taylor]: Taking taylor expansion of 500.0 in x 1.766 * [backup-simplify]: Simplify 500.0 into 500.0 1.766 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.766 * [taylor]: Taking taylor expansion of y in x 1.766 * [backup-simplify]: Simplify y into y 1.766 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.766 * [backup-simplify]: Simplify (* 500.0 1) into 500.0 1.767 * [backup-simplify]: Simplify (+ 500.0 0) into 500.0 1.767 * [taylor]: Taking taylor expansion of 500.0 in y 1.767 * [backup-simplify]: Simplify 500.0 into 500.0 1.767 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.768 * [backup-simplify]: Simplify (+ (* 500.0 0) (* 0 1)) into 0 1.768 * [backup-simplify]: Simplify (* 500.0 (/ 1 y)) into (/ 500.0 y) 1.768 * [backup-simplify]: Simplify (- (/ 500.0 y)) into (- (* 500.0 (/ 1 y))) 1.768 * [backup-simplify]: Simplify (+ 0 (- (* 500.0 (/ 1 y)))) into (- (* 500.0 (/ 1 y))) 1.768 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 y))) in y 1.768 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y 1.769 * [taylor]: Taking taylor expansion of 500.0 in y 1.769 * [backup-simplify]: Simplify 500.0 into 500.0 1.769 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.769 * [taylor]: Taking taylor expansion of y in y 1.769 * [backup-simplify]: Simplify 0 into 0 1.769 * [backup-simplify]: Simplify 1 into 1 1.769 * [backup-simplify]: Simplify (/ 1 1) into 1 1.770 * [backup-simplify]: Simplify (* 500.0 1) into 500.0 1.770 * [backup-simplify]: Simplify (- 500.0) into (- 500.0) 1.770 * [backup-simplify]: Simplify (- 500.0) into (- 500.0) 1.771 * [backup-simplify]: Simplify 500.0 into 500.0 1.771 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.772 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (* 0 1))) into 0 1.772 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 1.773 * [backup-simplify]: Simplify (+ (* 500.0 0) (* 0 (/ 1 y))) into 0 1.773 * [backup-simplify]: Simplify (- 0) into 0 1.774 * [backup-simplify]: Simplify (+ 0 0) into 0 1.774 * [taylor]: Taking taylor expansion of 0 in y 1.774 * [backup-simplify]: Simplify 0 into 0 1.774 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.775 * [backup-simplify]: Simplify (+ (* 500.0 0) (* 0 1)) into 0 1.775 * [backup-simplify]: Simplify (- 0) into 0 1.775 * [backup-simplify]: Simplify 0 into 0 1.775 * [backup-simplify]: Simplify 0 into 0 1.776 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.777 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.777 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1.778 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 1.779 * [backup-simplify]: Simplify (- 0) into 0 1.779 * [backup-simplify]: Simplify (+ 0 0) into 0 1.779 * [taylor]: Taking taylor expansion of 0 in y 1.779 * [backup-simplify]: Simplify 0 into 0 1.779 * [backup-simplify]: Simplify 0 into 0 1.780 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.781 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (* 0 1))) into 0 1.781 * [backup-simplify]: Simplify (- 0) into 0 1.781 * [backup-simplify]: Simplify 0 into 0 1.781 * [backup-simplify]: Simplify 0 into 0 1.782 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.783 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.784 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 1.785 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 1.785 * [backup-simplify]: Simplify (- 0) into 0 1.785 * [backup-simplify]: Simplify (+ 0 0) into 0 1.785 * [taylor]: Taking taylor expansion of 0 in y 1.786 * [backup-simplify]: Simplify 0 into 0 1.786 * [backup-simplify]: Simplify 0 into 0 1.786 * [backup-simplify]: Simplify (+ (* 500.0 (* 1 (/ 1 (/ 1 x)))) (* (- 500.0) (* (/ 1 (/ 1 y)) 1))) into (- (* 500.0 x) (* 500.0 y)) 1.787 * [backup-simplify]: Simplify (+ (* 500.0 (/ 1 (- x))) (* (- (/ 1 (- y))) 500.0)) into (- (* 500.0 (/ 1 y)) (* 500.0 (/ 1 x))) 1.787 * [approximate]: Taking taylor expansion of (- (* 500.0 (/ 1 y)) (* 500.0 (/ 1 x))) in (x y) around 0 1.787 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 y)) (* 500.0 (/ 1 x))) in y 1.787 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y 1.787 * [taylor]: Taking taylor expansion of 500.0 in y 1.787 * [backup-simplify]: Simplify 500.0 into 500.0 1.787 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.787 * [taylor]: Taking taylor expansion of y in y 1.787 * [backup-simplify]: Simplify 0 into 0 1.787 * [backup-simplify]: Simplify 1 into 1 1.787 * [backup-simplify]: Simplify (/ 1 1) into 1 1.787 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 x)) in y 1.787 * [taylor]: Taking taylor expansion of 500.0 in y 1.787 * [backup-simplify]: Simplify 500.0 into 500.0 1.787 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.787 * [taylor]: Taking taylor expansion of x in y 1.787 * [backup-simplify]: Simplify x into x 1.788 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.788 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 y)) (* 500.0 (/ 1 x))) in x 1.788 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in x 1.788 * [taylor]: Taking taylor expansion of 500.0 in x 1.788 * [backup-simplify]: Simplify 500.0 into 500.0 1.788 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.788 * [taylor]: Taking taylor expansion of y in x 1.788 * [backup-simplify]: Simplify y into y 1.788 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.788 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 x)) in x 1.788 * [taylor]: Taking taylor expansion of 500.0 in x 1.788 * [backup-simplify]: Simplify 500.0 into 500.0 1.788 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.788 * [taylor]: Taking taylor expansion of x in x 1.788 * [backup-simplify]: Simplify 0 into 0 1.788 * [backup-simplify]: Simplify 1 into 1 1.788 * [backup-simplify]: Simplify (/ 1 1) into 1 1.788 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 y)) (* 500.0 (/ 1 x))) in x 1.788 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in x 1.788 * [taylor]: Taking taylor expansion of 500.0 in x 1.788 * [backup-simplify]: Simplify 500.0 into 500.0 1.788 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.789 * [taylor]: Taking taylor expansion of y in x 1.789 * [backup-simplify]: Simplify y into y 1.789 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.789 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 x)) in x 1.789 * [taylor]: Taking taylor expansion of 500.0 in x 1.789 * [backup-simplify]: Simplify 500.0 into 500.0 1.789 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.789 * [taylor]: Taking taylor expansion of x in x 1.789 * [backup-simplify]: Simplify 0 into 0 1.789 * [backup-simplify]: Simplify 1 into 1 1.789 * [backup-simplify]: Simplify (/ 1 1) into 1 1.790 * [backup-simplify]: Simplify (* 500.0 1) into 500.0 1.790 * [backup-simplify]: Simplify (- 500.0) into (- 500.0) 1.791 * [backup-simplify]: Simplify (+ 0 (- 500.0)) into (- 500.0) 1.791 * [taylor]: Taking taylor expansion of (- 500.0) in y 1.791 * [taylor]: Taking taylor expansion of 500.0 in y 1.791 * [backup-simplify]: Simplify 500.0 into 500.0 1.791 * [backup-simplify]: Simplify (* 500.0 (/ 1 y)) into (/ 500.0 y) 1.792 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.792 * [backup-simplify]: Simplify (+ (* 500.0 0) (* 0 1)) into 0 1.792 * [backup-simplify]: Simplify (- 0) into 0 1.792 * [backup-simplify]: Simplify (+ (/ 500.0 y) 0) into (* 500.0 (/ 1 y)) 1.792 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y 1.792 * [taylor]: Taking taylor expansion of 500.0 in y 1.792 * [backup-simplify]: Simplify 500.0 into 500.0 1.792 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.792 * [taylor]: Taking taylor expansion of y in y 1.792 * [backup-simplify]: Simplify 0 into 0 1.792 * [backup-simplify]: Simplify 1 into 1 1.793 * [backup-simplify]: Simplify (/ 1 1) into 1 1.793 * [backup-simplify]: Simplify (* 500.0 1) into 500.0 1.793 * [backup-simplify]: Simplify 500.0 into 500.0 1.793 * [backup-simplify]: Simplify (- 500.0) into (- 500.0) 1.793 * [backup-simplify]: Simplify (- 500.0) into (- 500.0) 1.794 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 1.794 * [backup-simplify]: Simplify (+ (* 500.0 0) (* 0 (/ 1 y))) into 0 1.794 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.795 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (* 0 1))) into 0 1.795 * [backup-simplify]: Simplify (- 0) into 0 1.795 * [backup-simplify]: Simplify (+ 0 0) into 0 1.795 * [taylor]: Taking taylor expansion of 0 in y 1.795 * [backup-simplify]: Simplify 0 into 0 1.796 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.796 * [backup-simplify]: Simplify (+ (* 500.0 0) (* 0 1)) into 0 1.796 * [backup-simplify]: Simplify 0 into 0 1.797 * [backup-simplify]: Simplify (- 0) into 0 1.797 * [backup-simplify]: Simplify 0 into 0 1.797 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1.797 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 1.798 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.798 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.799 * [backup-simplify]: Simplify (- 0) into 0 1.799 * [backup-simplify]: Simplify (+ 0 0) into 0 1.799 * [taylor]: Taking taylor expansion of 0 in y 1.799 * [backup-simplify]: Simplify 0 into 0 1.799 * [backup-simplify]: Simplify 0 into 0 1.799 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.800 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (* 0 1))) into 0 1.800 * [backup-simplify]: Simplify 0 into 0 1.800 * [backup-simplify]: Simplify (- 0) into 0 1.800 * [backup-simplify]: Simplify 0 into 0 1.800 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 1.801 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 1.802 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.802 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.803 * [backup-simplify]: Simplify (- 0) into 0 1.803 * [backup-simplify]: Simplify (+ 0 0) into 0 1.803 * [taylor]: Taking taylor expansion of 0 in y 1.803 * [backup-simplify]: Simplify 0 into 0 1.803 * [backup-simplify]: Simplify 0 into 0 1.803 * [backup-simplify]: Simplify (+ (* (- 500.0) (* 1 (/ 1 (/ 1 (- x))))) (* 500.0 (* (/ 1 (/ 1 (- y))) 1))) into (- (* 500.0 x) (* 500.0 y)) 1.803 * * * [progress]: simplifying candidates 1.804 * [simplify]: Simplifying: (expm1 (+ (* 500.0 x) (* (- y) 500.0))) (log1p (+ (* 500.0 x) (* (- y) 500.0))) (* (exp (* 500.0 x)) (exp (* (- y) 500.0))) (log (+ (* 500.0 x) (* (- y) 500.0))) (exp (+ (* 500.0 x) (* (- y) 500.0))) (* (cbrt (+ (* 500.0 x) (* (- y) 500.0))) (cbrt (+ (* 500.0 x) (* (- y) 500.0)))) (cbrt (+ (* 500.0 x) (* (- y) 500.0))) (* (* (+ (* 500.0 x) (* (- y) 500.0)) (+ (* 500.0 x) (* (- y) 500.0))) (+ (* 500.0 x) (* (- y) 500.0))) (sqrt (+ (* 500.0 x) (* (- y) 500.0))) (sqrt (+ (* 500.0 x) (* (- y) 500.0))) (+ (pow (* 500.0 x) 3) (pow (* (- y) 500.0) 3)) (+ (* (* 500.0 x) (* 500.0 x)) (- (* (* (- y) 500.0) (* (- y) 500.0)) (* (* 500.0 x) (* (- y) 500.0)))) (- (* (* 500.0 x) (* 500.0 x)) (* (* (- y) 500.0) (* (- y) 500.0))) (- (* 500.0 x) (* (- y) 500.0)) (- (* 500.0 x) (* 500.0 y)) (- (* 500.0 x) (* 500.0 y)) (- (* 500.0 x) (* 500.0 y)) 1.804 * * [simplify]: Extracting # 0 : cost 0 1.804 * * [simplify]: Extracting # 1 : cost 0 1.804 * * [simplify]: Extracting # 2 : cost 0 1.804 * * [simplify]: Extracting # 3 : cost 0 1.804 * * [simplify]: Extracting # 4 : cost 0 1.804 * * [simplify]: Extracting # 5 : cost 0 1.805 * * [simplify]: Extracting # 6 : cost 0 1.805 * * [simplify]: iteration 0 : 32 enodes (cost 202 ) 1.828 * * [simplify]: Extracting # 0 : cost 0 1.828 * * [simplify]: Extracting # 1 : cost 0 1.828 * * [simplify]: Extracting # 2 : cost 0 1.828 * * [simplify]: Extracting # 3 : cost 0 1.829 * * [simplify]: Extracting # 4 : cost 0 1.829 * * [simplify]: iteration 1 : 112 enodes (cost 147 ) 1.871 * * [simplify]: Extracting # 0 : cost 0 1.872 * * [simplify]: Extracting # 1 : cost 0 1.872 * * [simplify]: Extracting # 2 : cost 0 1.873 * * [simplify]: Extracting # 3 : cost 0 1.873 * * [simplify]: Extracting # 4 : cost 0 1.874 * * [simplify]: Extracting # 5 : cost 0 1.874 * * [simplify]: iteration 2 : 440 enodes (cost 131 ) 2.392 * * [simplify]: Extracting # 0 : cost 0 2.396 * * [simplify]: Extracting # 1 : cost 0 2.397 * * [simplify]: Extracting # 2 : cost 0 2.399 * * [simplify]: Extracting # 3 : cost 0 2.401 * * [simplify]: Extracting # 4 : cost 0 2.402 * * [simplify]: iteration 3 : 1770 enodes (cost 126 ) 4.618 * * [simplify]: Extracting # 0 : cost 0 4.624 * * [simplify]: Extracting # 1 : cost 0 4.629 * * [simplify]: Extracting # 2 : cost 0 4.639 * * [simplify]: Extracting # 3 : cost 0 4.644 * * [simplify]: Extracting # 4 : cost 0 4.650 * * [simplify]: iteration done: 5000 enodes (cost 124 ) 4.650 * [simplify]: Simplified to: (expm1 (* 500.0 (- x y))) (log1p (* 500.0 (- x y))) (exp (* 500.0 (- x y))) (log (* 500.0 (- x y))) (exp (* 500.0 (- x y))) (* (cbrt (* 500.0 (- x y))) (cbrt (* 500.0 (- x y)))) (cbrt (* 500.0 (- x y))) (pow (* 500.0 (- x y)) 3) (sqrt (* 500.0 (- x y))) (sqrt (* 500.0 (- x y))) (- (pow (* 500.0 x) 3) (pow (* y 500.0) 3)) (* 500.0 (fma 500.0 (* x x) (* y (* (+ x y) 500.0)))) (* (* 500.0 (- x y)) (* (+ x y) 500.0)) (* 500.0 (+ y x)) (* 500.0 (- x y)) (* 500.0 (- x y)) (* 500.0 (- x y)) 4.650 * * * [progress]: adding candidates to table 4.694 * * [progress]: iteration 3 / 4 4.694 * * * [progress]: picking best candidate 4.697 * * * * [pick]: Picked # 4.697 * * * [progress]: localizing error 4.706 * * * [progress]: generating rewritten candidates 4.707 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 4.723 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 4.769 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 4.839 * * * [progress]: generating series expansions 4.839 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 4.839 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 4.840 * [backup-simplify]: Simplify (* (cbrt 500.0) (- x y)) into (* (- x y) (cbrt 500.0)) 4.840 * [approximate]: Taking taylor expansion of (* (- x y) (cbrt 500.0)) in (x y) around 0 4.840 * [taylor]: Taking taylor expansion of (* (- x y) (cbrt 500.0)) in y 4.840 * [taylor]: Taking taylor expansion of (- x y) in y 4.840 * [taylor]: Taking taylor expansion of x in y 4.840 * [backup-simplify]: Simplify x into x 4.840 * [taylor]: Taking taylor expansion of y in y 4.840 * [backup-simplify]: Simplify 0 into 0 4.840 * [backup-simplify]: Simplify 1 into 1 4.840 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 4.840 * [taylor]: Taking taylor expansion of 500.0 in y 4.840 * [backup-simplify]: Simplify 500.0 into 500.0 4.840 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 4.841 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 4.841 * [taylor]: Taking taylor expansion of (* (- x y) (cbrt 500.0)) in x 4.841 * [taylor]: Taking taylor expansion of (- x y) in x 4.841 * [taylor]: Taking taylor expansion of x in x 4.841 * [backup-simplify]: Simplify 0 into 0 4.841 * [backup-simplify]: Simplify 1 into 1 4.841 * [taylor]: Taking taylor expansion of y in x 4.841 * [backup-simplify]: Simplify y into y 4.841 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 4.841 * [taylor]: Taking taylor expansion of 500.0 in x 4.841 * [backup-simplify]: Simplify 500.0 into 500.0 4.841 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 4.842 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 4.842 * [taylor]: Taking taylor expansion of (* (- x y) (cbrt 500.0)) in x 4.842 * [taylor]: Taking taylor expansion of (- x y) in x 4.842 * [taylor]: Taking taylor expansion of x in x 4.842 * [backup-simplify]: Simplify 0 into 0 4.842 * [backup-simplify]: Simplify 1 into 1 4.842 * [taylor]: Taking taylor expansion of y in x 4.842 * [backup-simplify]: Simplify y into y 4.842 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 4.842 * [taylor]: Taking taylor expansion of 500.0 in x 4.842 * [backup-simplify]: Simplify 500.0 into 500.0 4.842 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 4.843 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 4.843 * [backup-simplify]: Simplify (- y) into (- y) 4.843 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 4.843 * [backup-simplify]: Simplify (* (- y) (cbrt 500.0)) into (* -1 (* y (cbrt 500.0))) 4.843 * [taylor]: Taking taylor expansion of (* -1 (* y (cbrt 500.0))) in y 4.843 * [taylor]: Taking taylor expansion of -1 in y 4.843 * [backup-simplify]: Simplify -1 into -1 4.843 * [taylor]: Taking taylor expansion of (* y (cbrt 500.0)) in y 4.843 * [taylor]: Taking taylor expansion of y in y 4.843 * [backup-simplify]: Simplify 0 into 0 4.843 * [backup-simplify]: Simplify 1 into 1 4.843 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 4.843 * [taylor]: Taking taylor expansion of 500.0 in y 4.843 * [backup-simplify]: Simplify 500.0 into 500.0 4.843 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 4.844 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 4.844 * [backup-simplify]: Simplify (* 0 (cbrt 500.0)) into 0 4.845 * [backup-simplify]: Simplify (* -1 0) into 0 4.845 * [backup-simplify]: Simplify 0 into 0 4.845 * [backup-simplify]: Simplify (- 0) into 0 4.845 * [backup-simplify]: Simplify (+ 1 0) into 1 4.846 * [backup-simplify]: Simplify (+ (* (- y) 0) (* 1 (cbrt 500.0))) into (cbrt 500.0) 4.846 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 4.846 * [taylor]: Taking taylor expansion of 500.0 in y 4.846 * [backup-simplify]: Simplify 500.0 into 500.0 4.846 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 4.847 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 4.847 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 4.848 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (cbrt 500.0))) into (cbrt 500.0) 4.849 * [backup-simplify]: Simplify (+ (* -1 (cbrt 500.0)) (* 0 0)) into (- (cbrt 500.0)) 4.850 * [backup-simplify]: Simplify (- (cbrt 500.0)) into (- (cbrt 500.0)) 4.855 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 4.855 * [backup-simplify]: Simplify (- 0) into 0 4.855 * [backup-simplify]: Simplify (+ 0 0) into 0 4.856 * [backup-simplify]: Simplify (+ (* (- y) 0) (+ (* 1 0) (* 0 (cbrt 500.0)))) into 0 4.856 * [taylor]: Taking taylor expansion of 0 in y 4.856 * [backup-simplify]: Simplify 0 into 0 4.856 * [backup-simplify]: Simplify 0 into 0 4.856 * [backup-simplify]: Simplify 0 into 0 4.857 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 4.858 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (cbrt 500.0)))) into 0 4.858 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (cbrt 500.0)) (* 0 0))) into 0 4.858 * [backup-simplify]: Simplify 0 into 0 4.859 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 500.0))) into 0 4.859 * [backup-simplify]: Simplify (- 0) into 0 4.860 * [backup-simplify]: Simplify (+ 0 0) into 0 4.860 * [backup-simplify]: Simplify (+ (* (- y) 0) (+ (* 1 0) (+ (* 0 0) (* 0 (cbrt 500.0))))) into 0 4.860 * [taylor]: Taking taylor expansion of 0 in y 4.860 * [backup-simplify]: Simplify 0 into 0 4.860 * [backup-simplify]: Simplify 0 into 0 4.860 * [backup-simplify]: Simplify 0 into 0 4.861 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 4.861 * [backup-simplify]: Simplify 0 into 0 4.863 * [backup-simplify]: Simplify (+ (* (- (cbrt 500.0)) (* y 1)) (* (cbrt 500.0) (* 1 x))) into (- (* x (cbrt 500.0)) (* y (cbrt 500.0))) 4.863 * [backup-simplify]: Simplify (* (cbrt 500.0) (- (/ 1 x) (/ 1 y))) into (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) 4.864 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in (x y) around 0 4.864 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in y 4.864 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 4.864 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.864 * [taylor]: Taking taylor expansion of x in y 4.864 * [backup-simplify]: Simplify x into x 4.864 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.864 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.864 * [taylor]: Taking taylor expansion of y in y 4.864 * [backup-simplify]: Simplify 0 into 0 4.864 * [backup-simplify]: Simplify 1 into 1 4.864 * [backup-simplify]: Simplify (/ 1 1) into 1 4.864 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 4.864 * [taylor]: Taking taylor expansion of 500.0 in y 4.864 * [backup-simplify]: Simplify 500.0 into 500.0 4.865 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 4.865 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 4.866 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in x 4.866 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 4.866 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.866 * [taylor]: Taking taylor expansion of x in x 4.866 * [backup-simplify]: Simplify 0 into 0 4.866 * [backup-simplify]: Simplify 1 into 1 4.866 * [backup-simplify]: Simplify (/ 1 1) into 1 4.866 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.866 * [taylor]: Taking taylor expansion of y in x 4.866 * [backup-simplify]: Simplify y into y 4.866 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.866 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 4.866 * [taylor]: Taking taylor expansion of 500.0 in x 4.866 * [backup-simplify]: Simplify 500.0 into 500.0 4.867 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 4.867 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 4.867 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in x 4.868 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 4.868 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.868 * [taylor]: Taking taylor expansion of x in x 4.868 * [backup-simplify]: Simplify 0 into 0 4.868 * [backup-simplify]: Simplify 1 into 1 4.868 * [backup-simplify]: Simplify (/ 1 1) into 1 4.868 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.868 * [taylor]: Taking taylor expansion of y in x 4.868 * [backup-simplify]: Simplify y into y 4.868 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.868 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 4.868 * [taylor]: Taking taylor expansion of 500.0 in x 4.868 * [backup-simplify]: Simplify 500.0 into 500.0 4.869 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 4.869 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 4.870 * [backup-simplify]: Simplify (+ 1 0) into 1 4.871 * [backup-simplify]: Simplify (* 1 (cbrt 500.0)) into (cbrt 500.0) 4.871 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 4.871 * [taylor]: Taking taylor expansion of 500.0 in y 4.871 * [backup-simplify]: Simplify 500.0 into 500.0 4.871 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 4.872 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 4.873 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.873 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 4.873 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 4.874 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 y)) (cbrt 500.0))) into (- (/ (cbrt 500.0) y)) 4.874 * [taylor]: Taking taylor expansion of (- (/ (cbrt 500.0) y)) in y 4.874 * [taylor]: Taking taylor expansion of (/ (cbrt 500.0) y) in y 4.874 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 4.874 * [taylor]: Taking taylor expansion of 500.0 in y 4.874 * [backup-simplify]: Simplify 500.0 into 500.0 4.875 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 4.875 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 4.875 * [taylor]: Taking taylor expansion of y in y 4.875 * [backup-simplify]: Simplify 0 into 0 4.875 * [backup-simplify]: Simplify 1 into 1 4.876 * [backup-simplify]: Simplify (/ (cbrt 500.0) 1) into (cbrt 500.0) 4.877 * [backup-simplify]: Simplify (- (cbrt 500.0)) into (- (cbrt 500.0)) 4.878 * [backup-simplify]: Simplify (- (cbrt 500.0)) into (- (cbrt 500.0)) 4.879 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 4.880 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 4.881 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.881 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.882 * [backup-simplify]: Simplify (- 0) into 0 4.882 * [backup-simplify]: Simplify (+ 0 0) into 0 4.883 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (* 0 (cbrt 500.0)))) into 0 4.883 * [taylor]: Taking taylor expansion of 0 in y 4.883 * [backup-simplify]: Simplify 0 into 0 4.884 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 500.0) (/ 0 1)))) into 0 4.884 * [backup-simplify]: Simplify (- 0) into 0 4.884 * [backup-simplify]: Simplify 0 into 0 4.884 * [backup-simplify]: Simplify 0 into 0 4.886 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 500.0))) into 0 4.887 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.887 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.887 * [backup-simplify]: Simplify (- 0) into 0 4.888 * [backup-simplify]: Simplify (+ 0 0) into 0 4.889 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 0) (* 0 (cbrt 500.0))))) into 0 4.889 * [taylor]: Taking taylor expansion of 0 in y 4.889 * [backup-simplify]: Simplify 0 into 0 4.889 * [backup-simplify]: Simplify 0 into 0 4.891 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 4.892 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 500.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.892 * [backup-simplify]: Simplify (- 0) into 0 4.893 * [backup-simplify]: Simplify 0 into 0 4.894 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 4.894 * [backup-simplify]: Simplify 0 into 0 4.896 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 4.897 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.898 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.898 * [backup-simplify]: Simplify (- 0) into 0 4.898 * [backup-simplify]: Simplify (+ 0 0) into 0 4.900 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0)))))) into 0 4.900 * [taylor]: Taking taylor expansion of 0 in y 4.900 * [backup-simplify]: Simplify 0 into 0 4.900 * [backup-simplify]: Simplify 0 into 0 4.901 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) (* 1 (/ 1 (/ 1 x)))) (* (- (cbrt 500.0)) (* (/ 1 (/ 1 y)) 1))) into (- (* x (cbrt 500.0)) (* y (cbrt 500.0))) 4.902 * [backup-simplify]: Simplify (* (cbrt 500.0) (- (/ 1 (- x)) (/ 1 (- y)))) into (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0)) 4.902 * [approximate]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0)) in (x y) around 0 4.902 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0)) in y 4.902 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 4.902 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.902 * [taylor]: Taking taylor expansion of y in y 4.902 * [backup-simplify]: Simplify 0 into 0 4.902 * [backup-simplify]: Simplify 1 into 1 4.903 * [backup-simplify]: Simplify (/ 1 1) into 1 4.903 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.903 * [taylor]: Taking taylor expansion of x in y 4.903 * [backup-simplify]: Simplify x into x 4.903 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.903 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 4.903 * [taylor]: Taking taylor expansion of 500.0 in y 4.903 * [backup-simplify]: Simplify 500.0 into 500.0 4.903 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 4.904 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 4.904 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0)) in x 4.904 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 4.904 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.904 * [taylor]: Taking taylor expansion of y in x 4.904 * [backup-simplify]: Simplify y into y 4.904 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.904 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.904 * [taylor]: Taking taylor expansion of x in x 4.904 * [backup-simplify]: Simplify 0 into 0 4.904 * [backup-simplify]: Simplify 1 into 1 4.905 * [backup-simplify]: Simplify (/ 1 1) into 1 4.905 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 4.905 * [taylor]: Taking taylor expansion of 500.0 in x 4.905 * [backup-simplify]: Simplify 500.0 into 500.0 4.905 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 4.906 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 4.906 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0)) in x 4.906 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 4.906 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.906 * [taylor]: Taking taylor expansion of y in x 4.906 * [backup-simplify]: Simplify y into y 4.906 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.906 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.906 * [taylor]: Taking taylor expansion of x in x 4.906 * [backup-simplify]: Simplify 0 into 0 4.906 * [backup-simplify]: Simplify 1 into 1 4.907 * [backup-simplify]: Simplify (/ 1 1) into 1 4.907 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 4.907 * [taylor]: Taking taylor expansion of 500.0 in x 4.907 * [backup-simplify]: Simplify 500.0 into 500.0 4.907 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 4.908 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 4.908 * [backup-simplify]: Simplify (- 1) into -1 4.909 * [backup-simplify]: Simplify (+ 0 -1) into -1 4.910 * [backup-simplify]: Simplify (* -1 (cbrt 500.0)) into (* -1 (cbrt 500.0)) 4.910 * [taylor]: Taking taylor expansion of (* -1 (cbrt 500.0)) in y 4.910 * [taylor]: Taking taylor expansion of -1 in y 4.910 * [backup-simplify]: Simplify -1 into -1 4.910 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 4.910 * [taylor]: Taking taylor expansion of 500.0 in y 4.910 * [backup-simplify]: Simplify 500.0 into 500.0 4.910 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 4.911 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 4.912 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.912 * [backup-simplify]: Simplify (- 0) into 0 4.912 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 4.913 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 y) (cbrt 500.0))) into (/ (cbrt 500.0) y) 4.913 * [taylor]: Taking taylor expansion of (/ (cbrt 500.0) y) in y 4.913 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 4.913 * [taylor]: Taking taylor expansion of 500.0 in y 4.913 * [backup-simplify]: Simplify 500.0 into 500.0 4.913 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 4.914 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 4.914 * [taylor]: Taking taylor expansion of y in y 4.914 * [backup-simplify]: Simplify 0 into 0 4.914 * [backup-simplify]: Simplify 1 into 1 4.914 * [backup-simplify]: Simplify (/ (cbrt 500.0) 1) into (cbrt 500.0) 4.915 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 4.915 * [backup-simplify]: Simplify (* -1 (cbrt 500.0)) into (* -1 (cbrt 500.0)) 4.916 * [backup-simplify]: Simplify (* -1 (cbrt 500.0)) into (* -1 (cbrt 500.0)) 4.917 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 4.917 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.917 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.918 * [backup-simplify]: Simplify (- 0) into 0 4.918 * [backup-simplify]: Simplify (+ 0 0) into 0 4.918 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (* 0 (cbrt 500.0)))) into 0 4.918 * [taylor]: Taking taylor expansion of 0 in y 4.918 * [backup-simplify]: Simplify 0 into 0 4.919 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 500.0) (/ 0 1)))) into 0 4.919 * [backup-simplify]: Simplify 0 into 0 4.920 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (cbrt 500.0))) into 0 4.920 * [backup-simplify]: Simplify 0 into 0 4.920 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 500.0))) into 0 4.920 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.921 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.921 * [backup-simplify]: Simplify (- 0) into 0 4.922 * [backup-simplify]: Simplify (+ 0 0) into 0 4.922 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (* 0 (cbrt 500.0))))) into 0 4.922 * [taylor]: Taking taylor expansion of 0 in y 4.922 * [backup-simplify]: Simplify 0 into 0 4.922 * [backup-simplify]: Simplify 0 into 0 4.923 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 4.924 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 500.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.924 * [backup-simplify]: Simplify 0 into 0 4.925 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 4.925 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (cbrt 500.0)))) into 0 4.925 * [backup-simplify]: Simplify 0 into 0 4.926 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 4.926 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.927 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.927 * [backup-simplify]: Simplify (- 0) into 0 4.927 * [backup-simplify]: Simplify (+ 0 0) into 0 4.928 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0)))))) into 0 4.928 * [taylor]: Taking taylor expansion of 0 in y 4.928 * [backup-simplify]: Simplify 0 into 0 4.928 * [backup-simplify]: Simplify 0 into 0 4.929 * [backup-simplify]: Simplify (+ (* (* -1 (cbrt 500.0)) (* 1 (/ 1 (/ 1 (- x))))) (* (cbrt 500.0) (* (/ 1 (/ 1 (- y))) 1))) into (- (* x (cbrt 500.0)) (* y (cbrt 500.0))) 4.929 * * * * [progress]: [ 3 / 3 ] generating series at (2) 4.931 * [backup-simplify]: Simplify (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y))) into (* (- x y) (pow (cbrt 500.0) 3)) 4.931 * [approximate]: Taking taylor expansion of (* (- x y) (pow (cbrt 500.0) 3)) in (x y) around 0 4.931 * [taylor]: Taking taylor expansion of (* (- x y) (pow (cbrt 500.0) 3)) in y 4.931 * [taylor]: Taking taylor expansion of (- x y) in y 4.931 * [taylor]: Taking taylor expansion of x in y 4.931 * [backup-simplify]: Simplify x into x 4.931 * [taylor]: Taking taylor expansion of y in y 4.931 * [backup-simplify]: Simplify 0 into 0 4.931 * [backup-simplify]: Simplify 1 into 1 4.931 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in y 4.931 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 4.931 * [taylor]: Taking taylor expansion of 500.0 in y 4.931 * [backup-simplify]: Simplify 500.0 into 500.0 4.931 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 4.931 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 4.931 * [taylor]: Taking taylor expansion of (* (- x y) (pow (cbrt 500.0) 3)) in x 4.932 * [taylor]: Taking taylor expansion of (- x y) in x 4.932 * [taylor]: Taking taylor expansion of x in x 4.932 * [backup-simplify]: Simplify 0 into 0 4.932 * [backup-simplify]: Simplify 1 into 1 4.932 * [taylor]: Taking taylor expansion of y in x 4.932 * [backup-simplify]: Simplify y into y 4.932 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 4.932 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 4.932 * [taylor]: Taking taylor expansion of 500.0 in x 4.932 * [backup-simplify]: Simplify 500.0 into 500.0 4.932 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 4.932 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 4.932 * [taylor]: Taking taylor expansion of (* (- x y) (pow (cbrt 500.0) 3)) in x 4.932 * [taylor]: Taking taylor expansion of (- x y) in x 4.932 * [taylor]: Taking taylor expansion of x in x 4.932 * [backup-simplify]: Simplify 0 into 0 4.932 * [backup-simplify]: Simplify 1 into 1 4.932 * [taylor]: Taking taylor expansion of y in x 4.932 * [backup-simplify]: Simplify y into y 4.932 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 4.933 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 4.933 * [taylor]: Taking taylor expansion of 500.0 in x 4.933 * [backup-simplify]: Simplify 500.0 into 500.0 4.933 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 4.933 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 4.933 * [backup-simplify]: Simplify (- y) into (- y) 4.933 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 4.934 * [backup-simplify]: Simplify (* (cbrt 500.0) (cbrt 500.0)) into (pow (cbrt 500.0) 2) 4.935 * [backup-simplify]: Simplify (* (cbrt 500.0) (pow (cbrt 500.0) 2)) into (pow (cbrt 500.0) 3) 4.936 * [backup-simplify]: Simplify (* (- y) (pow (cbrt 500.0) 3)) into (* -500.0 y) 4.936 * [taylor]: Taking taylor expansion of (* -500.0 y) in y 4.936 * [taylor]: Taking taylor expansion of -500.0 in y 4.936 * [backup-simplify]: Simplify -500.0 into -500.0 4.936 * [taylor]: Taking taylor expansion of y in y 4.936 * [backup-simplify]: Simplify 0 into 0 4.936 * [backup-simplify]: Simplify 1 into 1 4.936 * [backup-simplify]: Simplify (* -500.0 0) into 0 4.936 * [backup-simplify]: Simplify 0 into 0 4.937 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (* 0 (cbrt 500.0))) into 0 4.938 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (* 0 (pow (cbrt 500.0) 2))) into 0 4.938 * [backup-simplify]: Simplify (- 0) into 0 4.938 * [backup-simplify]: Simplify (+ 1 0) into 1 4.939 * [backup-simplify]: Simplify (+ (* (- y) 0) (* 1 (pow (cbrt 500.0) 3))) into 500.0 4.939 * [taylor]: Taking taylor expansion of 500.0 in y 4.939 * [backup-simplify]: Simplify 500.0 into 500.0 4.939 * [backup-simplify]: Simplify 500.0 into 500.0 4.940 * [backup-simplify]: Simplify (+ (* -500.0 1) (* 0 0)) into (- 500.0) 4.940 * [backup-simplify]: Simplify (- 500.0) into (- 500.0) 4.941 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 4.942 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (* 0 (cbrt 500.0)))) into 0 4.942 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2)))) into 0 4.943 * [backup-simplify]: Simplify (- 0) into 0 4.943 * [backup-simplify]: Simplify (+ 0 0) into 0 4.944 * [backup-simplify]: Simplify (+ (* (- y) 0) (+ (* 1 0) (* 0 (pow (cbrt 500.0) 3)))) into 0 4.944 * [taylor]: Taking taylor expansion of 0 in y 4.944 * [backup-simplify]: Simplify 0 into 0 4.944 * [backup-simplify]: Simplify 0 into 0 4.944 * [backup-simplify]: Simplify 0 into 0 4.944 * [backup-simplify]: Simplify (+ (* -500.0 0) (+ (* 0 1) (* 0 0))) into 0 4.944 * [backup-simplify]: Simplify 0 into 0 4.945 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 500.0))) into 0 4.946 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0))))) into 0 4.947 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2))))) into 0 4.947 * [backup-simplify]: Simplify (- 0) into 0 4.947 * [backup-simplify]: Simplify (+ 0 0) into 0 4.948 * [backup-simplify]: Simplify (+ (* (- y) 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 3))))) into 0 4.948 * [taylor]: Taking taylor expansion of 0 in y 4.948 * [backup-simplify]: Simplify 0 into 0 4.948 * [backup-simplify]: Simplify 0 into 0 4.948 * [backup-simplify]: Simplify 0 into 0 4.948 * [backup-simplify]: Simplify 0 into 0 4.949 * [backup-simplify]: Simplify (+ (* (- 500.0) (* y 1)) (* 500.0 (* 1 x))) into (- (* 500.0 x) (* 500.0 y)) 4.950 * [backup-simplify]: Simplify (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- (/ 1 x) (/ 1 y)))) into (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) 4.950 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in (x y) around 0 4.950 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in y 4.950 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 4.950 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.950 * [taylor]: Taking taylor expansion of x in y 4.950 * [backup-simplify]: Simplify x into x 4.950 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.950 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.950 * [taylor]: Taking taylor expansion of y in y 4.950 * [backup-simplify]: Simplify 0 into 0 4.950 * [backup-simplify]: Simplify 1 into 1 4.950 * [backup-simplify]: Simplify (/ 1 1) into 1 4.950 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in y 4.950 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 4.950 * [taylor]: Taking taylor expansion of 500.0 in y 4.950 * [backup-simplify]: Simplify 500.0 into 500.0 4.951 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 4.951 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 4.951 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in x 4.951 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 4.951 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.951 * [taylor]: Taking taylor expansion of x in x 4.951 * [backup-simplify]: Simplify 0 into 0 4.951 * [backup-simplify]: Simplify 1 into 1 4.951 * [backup-simplify]: Simplify (/ 1 1) into 1 4.951 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.951 * [taylor]: Taking taylor expansion of y in x 4.951 * [backup-simplify]: Simplify y into y 4.951 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.951 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 4.952 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 4.952 * [taylor]: Taking taylor expansion of 500.0 in x 4.952 * [backup-simplify]: Simplify 500.0 into 500.0 4.952 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 4.952 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 4.952 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in x 4.952 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 4.952 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.952 * [taylor]: Taking taylor expansion of x in x 4.952 * [backup-simplify]: Simplify 0 into 0 4.952 * [backup-simplify]: Simplify 1 into 1 4.953 * [backup-simplify]: Simplify (/ 1 1) into 1 4.953 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.953 * [taylor]: Taking taylor expansion of y in x 4.953 * [backup-simplify]: Simplify y into y 4.953 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.953 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 4.953 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 4.953 * [taylor]: Taking taylor expansion of 500.0 in x 4.953 * [backup-simplify]: Simplify 500.0 into 500.0 4.953 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 4.953 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 4.954 * [backup-simplify]: Simplify (+ 1 0) into 1 4.955 * [backup-simplify]: Simplify (* (cbrt 500.0) (cbrt 500.0)) into (pow (cbrt 500.0) 2) 4.956 * [backup-simplify]: Simplify (* (cbrt 500.0) (pow (cbrt 500.0) 2)) into (pow (cbrt 500.0) 3) 4.957 * [backup-simplify]: Simplify (* 1 (pow (cbrt 500.0) 3)) into 500.0 4.957 * [taylor]: Taking taylor expansion of 500.0 in y 4.957 * [backup-simplify]: Simplify 500.0 into 500.0 4.957 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (* 0 (cbrt 500.0))) into 0 4.958 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (* 0 (pow (cbrt 500.0) 2))) into 0 4.958 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.958 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 4.959 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 4.959 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 y)) (pow (cbrt 500.0) 3))) into (- (* 500.0 (/ 1 y))) 4.959 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 y))) in y 4.960 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y 4.960 * [taylor]: Taking taylor expansion of 500.0 in y 4.960 * [backup-simplify]: Simplify 500.0 into 500.0 4.960 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.960 * [taylor]: Taking taylor expansion of y in y 4.960 * [backup-simplify]: Simplify 0 into 0 4.960 * [backup-simplify]: Simplify 1 into 1 4.960 * [backup-simplify]: Simplify (/ 1 1) into 1 4.960 * [backup-simplify]: Simplify (* 500.0 1) into 500.0 4.960 * [backup-simplify]: Simplify (- 500.0) into (- 500.0) 4.961 * [backup-simplify]: Simplify (- 500.0) into (- 500.0) 4.961 * [backup-simplify]: Simplify 500.0 into 500.0 4.962 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 4.962 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (* 0 (cbrt 500.0)))) into 0 4.963 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2)))) into 0 4.963 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.964 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.969 * [backup-simplify]: Simplify (- 0) into 0 4.970 * [backup-simplify]: Simplify (+ 0 0) into 0 4.971 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (* 0 (pow (cbrt 500.0) 3)))) into 0 4.971 * [taylor]: Taking taylor expansion of 0 in y 4.971 * [backup-simplify]: Simplify 0 into 0 4.971 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.972 * [backup-simplify]: Simplify (+ (* 500.0 0) (* 0 1)) into 0 4.972 * [backup-simplify]: Simplify (- 0) into 0 4.972 * [backup-simplify]: Simplify 0 into 0 4.972 * [backup-simplify]: Simplify 0 into 0 4.973 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 500.0))) into 0 4.974 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0))))) into 0 4.976 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2))))) into 0 4.977 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.977 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.977 * [backup-simplify]: Simplify (- 0) into 0 4.978 * [backup-simplify]: Simplify (+ 0 0) into 0 4.979 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 3))))) into 0 4.979 * [taylor]: Taking taylor expansion of 0 in y 4.979 * [backup-simplify]: Simplify 0 into 0 4.979 * [backup-simplify]: Simplify 0 into 0 4.980 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.981 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (* 0 1))) into 0 4.982 * [backup-simplify]: Simplify (- 0) into 0 4.982 * [backup-simplify]: Simplify 0 into 0 4.982 * [backup-simplify]: Simplify 0 into 0 4.984 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 4.985 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0)))))) into 0 4.987 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2)))))) into 0 4.988 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.988 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.988 * [backup-simplify]: Simplify (- 0) into 0 4.989 * [backup-simplify]: Simplify (+ 0 0) into 0 4.990 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 3)))))) into 0 4.990 * [taylor]: Taking taylor expansion of 0 in y 4.991 * [backup-simplify]: Simplify 0 into 0 4.991 * [backup-simplify]: Simplify 0 into 0 4.991 * [backup-simplify]: Simplify (+ (* 500.0 (* 1 (/ 1 (/ 1 x)))) (* (- 500.0) (* (/ 1 (/ 1 y)) 1))) into (- (* 500.0 x) (* 500.0 y)) 4.993 * [backup-simplify]: Simplify (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- (/ 1 (- x)) (/ 1 (- y))))) into (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) 4.993 * [approximate]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in (x y) around 0 4.993 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in y 4.993 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 4.993 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.993 * [taylor]: Taking taylor expansion of y in y 4.993 * [backup-simplify]: Simplify 0 into 0 4.993 * [backup-simplify]: Simplify 1 into 1 4.994 * [backup-simplify]: Simplify (/ 1 1) into 1 4.994 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.994 * [taylor]: Taking taylor expansion of x in y 4.994 * [backup-simplify]: Simplify x into x 4.994 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.994 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in y 4.994 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 4.994 * [taylor]: Taking taylor expansion of 500.0 in y 4.994 * [backup-simplify]: Simplify 500.0 into 500.0 4.994 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 4.995 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 4.995 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in x 4.995 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 4.995 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.995 * [taylor]: Taking taylor expansion of y in x 4.995 * [backup-simplify]: Simplify y into y 4.995 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.995 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.995 * [taylor]: Taking taylor expansion of x in x 4.995 * [backup-simplify]: Simplify 0 into 0 4.995 * [backup-simplify]: Simplify 1 into 1 4.996 * [backup-simplify]: Simplify (/ 1 1) into 1 4.996 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 4.996 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 4.996 * [taylor]: Taking taylor expansion of 500.0 in x 4.996 * [backup-simplify]: Simplify 500.0 into 500.0 4.996 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 4.997 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 4.997 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in x 4.997 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 4.997 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.998 * [taylor]: Taking taylor expansion of y in x 4.998 * [backup-simplify]: Simplify y into y 4.998 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.998 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.998 * [taylor]: Taking taylor expansion of x in x 4.998 * [backup-simplify]: Simplify 0 into 0 4.998 * [backup-simplify]: Simplify 1 into 1 4.998 * [backup-simplify]: Simplify (/ 1 1) into 1 4.998 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 4.998 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 4.998 * [taylor]: Taking taylor expansion of 500.0 in x 4.998 * [backup-simplify]: Simplify 500.0 into 500.0 4.999 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 4.999 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 5.000 * [backup-simplify]: Simplify (- 1) into -1 5.000 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.001 * [backup-simplify]: Simplify (* (cbrt 500.0) (cbrt 500.0)) into (pow (cbrt 500.0) 2) 5.003 * [backup-simplify]: Simplify (* (cbrt 500.0) (pow (cbrt 500.0) 2)) into (pow (cbrt 500.0) 3) 5.005 * [backup-simplify]: Simplify (* -1 (pow (cbrt 500.0) 3)) into -500.0 5.005 * [taylor]: Taking taylor expansion of -500.0 in y 5.005 * [backup-simplify]: Simplify -500.0 into -500.0 5.006 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (* 0 (cbrt 500.0))) into 0 5.007 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (* 0 (pow (cbrt 500.0) 2))) into 0 5.008 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.008 * [backup-simplify]: Simplify (- 0) into 0 5.008 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 5.010 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 y) (pow (cbrt 500.0) 3))) into (* 500.0 (/ 1 y)) 5.010 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y 5.010 * [taylor]: Taking taylor expansion of 500.0 in y 5.010 * [backup-simplify]: Simplify 500.0 into 500.0 5.010 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.010 * [taylor]: Taking taylor expansion of y in y 5.010 * [backup-simplify]: Simplify 0 into 0 5.010 * [backup-simplify]: Simplify 1 into 1 5.011 * [backup-simplify]: Simplify (/ 1 1) into 1 5.011 * [backup-simplify]: Simplify (* 500.0 1) into 500.0 5.011 * [backup-simplify]: Simplify 500.0 into 500.0 5.011 * [backup-simplify]: Simplify -500.0 into -500.0 5.013 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 5.014 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (* 0 (cbrt 500.0)))) into 0 5.015 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2)))) into 0 5.015 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.016 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.016 * [backup-simplify]: Simplify (- 0) into 0 5.017 * [backup-simplify]: Simplify (+ 0 0) into 0 5.018 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (* 0 (pow (cbrt 500.0) 3)))) into 0 5.018 * [taylor]: Taking taylor expansion of 0 in y 5.018 * [backup-simplify]: Simplify 0 into 0 5.019 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.020 * [backup-simplify]: Simplify (+ (* 500.0 0) (* 0 1)) into 0 5.020 * [backup-simplify]: Simplify 0 into 0 5.020 * [backup-simplify]: Simplify 0 into 0 5.021 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 500.0))) into 0 5.022 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0))))) into 0 5.024 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2))))) into 0 5.024 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.025 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.025 * [backup-simplify]: Simplify (- 0) into 0 5.025 * [backup-simplify]: Simplify (+ 0 0) into 0 5.026 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 3))))) into 0 5.026 * [taylor]: Taking taylor expansion of 0 in y 5.026 * [backup-simplify]: Simplify 0 into 0 5.026 * [backup-simplify]: Simplify 0 into 0 5.027 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.027 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (* 0 1))) into 0 5.027 * [backup-simplify]: Simplify 0 into 0 5.027 * [backup-simplify]: Simplify 0 into 0 5.028 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 5.029 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0)))))) into 0 5.030 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2)))))) into 0 5.030 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.031 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.031 * [backup-simplify]: Simplify (- 0) into 0 5.031 * [backup-simplify]: Simplify (+ 0 0) into 0 5.032 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 3)))))) into 0 5.032 * [taylor]: Taking taylor expansion of 0 in y 5.032 * [backup-simplify]: Simplify 0 into 0 5.032 * [backup-simplify]: Simplify 0 into 0 5.032 * [backup-simplify]: Simplify (+ (* -500.0 (* 1 (/ 1 (/ 1 (- x))))) (* 500.0 (* (/ 1 (/ 1 (- y))) 1))) into (- (* 500.0 x) (* 500.0 y)) 5.032 * * * [progress]: simplifying candidates 5.036 * [simplify]: Simplifying: (expm1 (* (cbrt 500.0) (cbrt 500.0))) (log1p (* (cbrt 500.0) (cbrt 500.0))) (+ 1/3 1/3) (+ 1 1) (* 500.0 500.0) (* (cbrt 500.0) (cbrt 500.0)) (+ 1 1) (+ (log (cbrt 500.0)) (log (cbrt 500.0))) (log (* (cbrt 500.0) (cbrt 500.0))) (exp (* (cbrt 500.0) (cbrt 500.0))) (* 500.0 500.0) (* (cbrt (* (cbrt 500.0) (cbrt 500.0))) (cbrt (* (cbrt 500.0) (cbrt 500.0)))) (cbrt (* (cbrt 500.0) (cbrt 500.0))) (* (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (cbrt 500.0) (cbrt 500.0))) (sqrt (* (cbrt 500.0) (cbrt 500.0))) (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (cbrt (* (cbrt 500.0) (cbrt 500.0))) (cbrt (* (cbrt 500.0) (cbrt 500.0)))) (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0))) (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0))) (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0))) (* (cbrt 1) (cbrt 1)) (* (cbrt 500.0) (cbrt 500.0)) (* (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0))) (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0)))) (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0))) (* 1 1) (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0))) (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0))) (* (cbrt (sqrt 500.0)) (sqrt (cbrt 500.0))) (* (cbrt (sqrt 500.0)) (sqrt (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (cbrt (sqrt 500.0))) (* (sqrt (cbrt 500.0)) (cbrt (sqrt 500.0))) (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0))) (* 2 1/3) (* 2 1) (* (cbrt 500.0) (cbrt (* (cbrt 500.0) (cbrt 500.0)))) (* (cbrt 500.0) (cbrt (sqrt 500.0))) (* (cbrt 500.0) (cbrt 1)) (* (cbrt 500.0) (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0)))) (* (cbrt 500.0) (sqrt (cbrt 500.0))) (* (cbrt 500.0) 1) (* (cbrt (cbrt 500.0)) (cbrt 500.0)) (* (cbrt (sqrt 500.0)) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt (cbrt 500.0)) (cbrt 500.0)) (* (sqrt (cbrt 500.0)) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0)) (expm1 (* (cbrt 500.0) (- x y))) (log1p (* (cbrt 500.0) (- x y))) (* (cbrt 500.0) (- x y)) (+ (log (cbrt 500.0)) (log (- x y))) (log (* (cbrt 500.0) (- x y))) (exp (* (cbrt 500.0) (- x y))) (* 500.0 (* (* (- x y) (- x y)) (- x y))) (* (cbrt (* (cbrt 500.0) (- x y))) (cbrt (* (cbrt 500.0) (- x y)))) (cbrt (* (cbrt 500.0) (- x y))) (* (* (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- x y))) (* (cbrt 500.0) (- x y))) (sqrt (* (cbrt 500.0) (- x y))) (sqrt (* (cbrt 500.0) (- x y))) (* (cbrt (sqrt 500.0)) (sqrt (- x y))) (* (cbrt (sqrt 500.0)) (sqrt (- x y))) (* (sqrt (cbrt 500.0)) (sqrt (- x y))) (* (sqrt (cbrt 500.0)) (sqrt (- x y))) (* (cbrt 500.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* (cbrt 500.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (* (cbrt 500.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt y) (sqrt y))))) (* (cbrt 500.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (* (cbrt 500.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1)))) (* (cbrt 500.0) (fma (- y) 1 (* y 1))) (* (cbrt 500.0) (fma (sqrt x) (sqrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* (cbrt 500.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (* (cbrt 500.0) (fma (sqrt x) (sqrt x) (- (* (sqrt y) (sqrt y))))) (* (cbrt 500.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (* (cbrt 500.0) (fma (sqrt x) (sqrt x) (- (* y 1)))) (* (cbrt 500.0) (fma (- y) 1 (* y 1))) (* (cbrt 500.0) (fma 1 x (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* (cbrt 500.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (* (cbrt 500.0) (fma 1 x (- (* (sqrt y) (sqrt y))))) (* (cbrt 500.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (* (cbrt 500.0) (fma 1 x (- (* y 1)))) (* (cbrt 500.0) (fma (- y) 1 (* y 1))) (* (cbrt 500.0) x) (* (cbrt 500.0) (- y)) (* (cbrt 500.0) x) (* (cbrt 500.0) (- y)) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (cbrt 500.0)) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (cbrt 500.0)) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt y) (sqrt y)))) (cbrt 500.0)) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (cbrt 500.0)) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1))) (cbrt 500.0)) (* (fma (- y) 1 (* y 1)) (cbrt 500.0)) (* (fma (sqrt x) (sqrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (cbrt 500.0)) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (cbrt 500.0)) (* (fma (sqrt x) (sqrt x) (- (* (sqrt y) (sqrt y)))) (cbrt 500.0)) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (cbrt 500.0)) (* (fma (sqrt x) (sqrt x) (- (* y 1))) (cbrt 500.0)) (* (fma (- y) 1 (* y 1)) (cbrt 500.0)) (* (fma 1 x (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (cbrt 500.0)) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (cbrt 500.0)) (* (fma 1 x (- (* (sqrt y) (sqrt y)))) (cbrt 500.0)) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (cbrt 500.0)) (* (fma 1 x (- (* y 1))) (cbrt 500.0)) (* (fma (- y) 1 (* y 1)) (cbrt 500.0)) (* x (cbrt 500.0)) (* (- y) (cbrt 500.0)) (* x (cbrt 500.0)) (* (- y) (cbrt 500.0)) (* (cbrt 500.0) (* (cbrt (- x y)) (cbrt (- x y)))) (* (cbrt 500.0) (sqrt (- x y))) (* (cbrt 500.0) 1) (* (cbrt 500.0) (+ (sqrt x) (sqrt y))) (* (cbrt 500.0) 1) (* (cbrt (cbrt 500.0)) (- x y)) (* (cbrt (sqrt 500.0)) (- x y)) (* (cbrt 500.0) (- x y)) (* (cbrt (cbrt 500.0)) (- x y)) (* (sqrt (cbrt 500.0)) (- x y)) (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- (pow x 3) (pow y 3))) (* (cbrt 500.0) (- (* x x) (* y y))) (expm1 (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)))) (log1p (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y))) (+ (+ (log (cbrt 500.0)) (log (cbrt 500.0))) (+ (log (cbrt 500.0)) (log (- x y)))) (+ (+ (log (cbrt 500.0)) (log (cbrt 500.0))) (log (* (cbrt 500.0) (- x y)))) (+ (log (* (cbrt 500.0) (cbrt 500.0))) (+ (log (cbrt 500.0)) (log (- x y)))) (+ (log (* (cbrt 500.0) (cbrt 500.0))) (log (* (cbrt 500.0) (- x y)))) (log (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)))) (exp (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)))) (* (* 500.0 500.0) (* 500.0 (* (* (- x y) (- x y)) (- x y)))) (* (* 500.0 500.0) (* (* (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- x y))) (* (cbrt 500.0) (- x y)))) (* (* (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (cbrt 500.0) (cbrt 500.0))) (* 500.0 (* (* (- x y) (- x y)) (- x y)))) (* (* (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (cbrt 500.0) (cbrt 500.0))) (* (* (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- x y))) (* (cbrt 500.0) (- x y)))) (* (cbrt (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)))) (cbrt (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y))))) (cbrt (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)))) (* (* (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)))) (sqrt (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)))) (sqrt (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt y) (sqrt y)))))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1))))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (fma (- y) 1 (* y 1)))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (fma (sqrt x) (sqrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (fma (sqrt x) (sqrt x) (- (* (sqrt y) (sqrt y)))))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (fma (sqrt x) (sqrt x) (- (* y 1))))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (fma (- y) 1 (* y 1)))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (fma 1 x (- (* (cbrt y) (* (cbrt y) (cbrt y))))))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (fma 1 x (- (* (sqrt y) (sqrt y)))))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (fma 1 x (- (* y 1))))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (fma (- y) 1 (* y 1)))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) x)) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- y))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) x)) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- y))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (cbrt 500.0))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (cbrt 500.0))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt y) (sqrt y)))) (cbrt 500.0))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (cbrt 500.0))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1))) (cbrt 500.0))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (fma (- y) 1 (* y 1)) (cbrt 500.0))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (fma (sqrt x) (sqrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (cbrt 500.0))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (cbrt 500.0))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (fma (sqrt x) (sqrt x) (- (* (sqrt y) (sqrt y)))) (cbrt 500.0))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (cbrt 500.0))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (fma (sqrt x) (sqrt x) (- (* y 1))) (cbrt 500.0))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (fma (- y) 1 (* y 1)) (cbrt 500.0))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (fma 1 x (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (cbrt 500.0))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (cbrt 500.0))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (fma 1 x (- (* (sqrt y) (sqrt y)))) (cbrt 500.0))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (cbrt 500.0))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (fma 1 x (- (* y 1))) (cbrt 500.0))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (fma (- y) 1 (* y 1)) (cbrt 500.0))) (* (* (cbrt 500.0) (cbrt 500.0)) (* x (cbrt 500.0))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (- y) (cbrt 500.0))) (* (* (cbrt 500.0) (cbrt 500.0)) (* x (cbrt 500.0))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (- y) (cbrt 500.0))) (* (* (cbrt 500.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* (cbrt 500.0) (cbrt 500.0))) (* (* (cbrt 500.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (* (cbrt 500.0) (cbrt 500.0))) (* (* (cbrt 500.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt y) (sqrt y))))) (* (cbrt 500.0) (cbrt 500.0))) (* (* (cbrt 500.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (* (cbrt 500.0) (cbrt 500.0))) (* (* (cbrt 500.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1)))) (* (cbrt 500.0) (cbrt 500.0))) (* (* (cbrt 500.0) (fma (- y) 1 (* y 1))) (* (cbrt 500.0) (cbrt 500.0))) (* (* (cbrt 500.0) (fma (sqrt x) (sqrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* (cbrt 500.0) (cbrt 500.0))) (* (* (cbrt 500.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (* (cbrt 500.0) (cbrt 500.0))) (* (* (cbrt 500.0) (fma (sqrt x) (sqrt x) (- (* (sqrt y) (sqrt y))))) (* (cbrt 500.0) (cbrt 500.0))) (* (* (cbrt 500.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (* (cbrt 500.0) (cbrt 500.0))) (* (* (cbrt 500.0) (fma (sqrt x) (sqrt x) (- (* y 1)))) (* (cbrt 500.0) (cbrt 500.0))) (* (* (cbrt 500.0) (fma (- y) 1 (* y 1))) (* (cbrt 500.0) (cbrt 500.0))) (* (* (cbrt 500.0) (fma 1 x (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* (cbrt 500.0) (cbrt 500.0))) (* (* (cbrt 500.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (* (cbrt 500.0) (cbrt 500.0))) (* (* (cbrt 500.0) (fma 1 x (- (* (sqrt y) (sqrt y))))) (* (cbrt 500.0) (cbrt 500.0))) (* (* (cbrt 500.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (* (cbrt 500.0) (cbrt 500.0))) (* (* (cbrt 500.0) (fma 1 x (- (* y 1)))) (* (cbrt 500.0) (cbrt 500.0))) (* (* (cbrt 500.0) (fma (- y) 1 (* y 1))) (* (cbrt 500.0) (cbrt 500.0))) (* (* (cbrt 500.0) x) (* (cbrt 500.0) (cbrt 500.0))) (* (* (cbrt 500.0) (- y)) (* (cbrt 500.0) (cbrt 500.0))) (* (* (cbrt 500.0) x) (* (cbrt 500.0) (cbrt 500.0))) (* (* (cbrt 500.0) (- y)) (* (cbrt 500.0) (cbrt 500.0))) (* (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt y) (sqrt y)))) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1))) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (* (fma (- y) 1 (* y 1)) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (* (fma (sqrt x) (sqrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (* (fma (sqrt x) (sqrt x) (- (* (sqrt y) (sqrt y)))) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (* (fma (sqrt x) (sqrt x) (- (* y 1))) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (* (fma (- y) 1 (* y 1)) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (* (fma 1 x (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (* (fma 1 x (- (* (sqrt y) (sqrt y)))) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (* (fma 1 x (- (* y 1))) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (* (fma (- y) 1 (* y 1)) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (* x (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (* (- y) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (* x (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (* (- y) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (* (cbrt 500.0) (cbrt 500.0)) (cbrt 500.0)) (* (cbrt 500.0) (* (cbrt 500.0) (- x y))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- (pow x 3) (pow y 3)))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- (* x x) (* y y)))) (* (cbrt 500.0) (- x y)) (- (* x (cbrt 500.0)) (* y (cbrt 500.0))) (- (* x (cbrt 500.0)) (* y (cbrt 500.0))) (- (* x (cbrt 500.0)) (* y (cbrt 500.0))) (- (* 500.0 x) (* 500.0 y)) (- (* 500.0 x) (* 500.0 y)) (- (* 500.0 x) (* 500.0 y)) 5.040 * * [simplify]: Extracting # 0 : cost 0 5.040 * * [simplify]: Extracting # 1 : cost 0 5.040 * * [simplify]: Extracting # 2 : cost 0 5.041 * * [simplify]: Extracting # 3 : cost 0 5.041 * * [simplify]: Extracting # 4 : cost 0 5.041 * * [simplify]: Extracting # 5 : cost 0 5.042 * * [simplify]: Extracting # 6 : cost 0 5.042 * * [simplify]: Extracting # 7 : cost 0 5.042 * * [simplify]: iteration 0 : 221 enodes (cost 3258 ) 5.134 * * [simplify]: Extracting # 0 : cost 0 5.136 * * [simplify]: Extracting # 1 : cost 0 5.137 * * [simplify]: Extracting # 2 : cost 0 5.138 * * [simplify]: Extracting # 3 : cost 0 5.139 * * [simplify]: Extracting # 4 : cost 0 5.140 * * [simplify]: iteration 1 : 523 enodes (cost 2694 ) 5.436 * * [simplify]: Extracting # 0 : cost 0 5.439 * * [simplify]: Extracting # 1 : cost 0 5.442 * * [simplify]: Extracting # 2 : cost 0 5.445 * * [simplify]: Extracting # 3 : cost 0 5.454 * * [simplify]: Extracting # 4 : cost 0 5.456 * * [simplify]: iteration 2 : 1425 enodes (cost 1866 ) 6.487 * * [simplify]: Extracting # 0 : cost 0 6.505 * * [simplify]: Extracting # 1 : cost 0 6.511 * * [simplify]: Extracting # 2 : cost 0 6.517 * * [simplify]: Extracting # 3 : cost 0 6.523 * * [simplify]: Extracting # 4 : cost 0 6.529 * * [simplify]: Extracting # 5 : cost 0 6.537 * * [simplify]: iteration done: 5001 enodes (cost 1439 ) 6.539 * [simplify]: Simplified to: (expm1 (* (cbrt 500.0) (cbrt 500.0))) (log1p (* (cbrt 500.0) (cbrt 500.0))) 2/3 2 (* 500.0 500.0) (* (cbrt 500.0) (cbrt 500.0)) 2 (* 2 (log (cbrt 500.0))) (* 2 (log (cbrt 500.0))) (exp (* (cbrt 500.0) (cbrt 500.0))) (* 500.0 500.0) (* (cbrt (* (cbrt 500.0) (cbrt 500.0))) (cbrt (* (cbrt 500.0) (cbrt 500.0)))) (cbrt (* (cbrt 500.0) (cbrt 500.0))) (* 500.0 500.0) (fabs (cbrt 500.0)) (fabs (cbrt 500.0)) (* (cbrt (* (cbrt 500.0) (cbrt 500.0))) (cbrt (* (cbrt 500.0) (cbrt 500.0)))) (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0))) (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0))) (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0))) 1 (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (cbrt (cbrt 500.0))) (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0))) (cbrt 500.0) (cbrt 500.0) 1 (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0))) (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0))) (* (cbrt (sqrt 500.0)) (sqrt (cbrt 500.0))) (* (cbrt (sqrt 500.0)) (sqrt (cbrt 500.0))) (* (cbrt (sqrt 500.0)) (sqrt (cbrt 500.0))) (* (cbrt (sqrt 500.0)) (sqrt (cbrt 500.0))) (cbrt 500.0) (cbrt 500.0) 2/3 2 (* (cbrt 500.0) (cbrt (* (cbrt 500.0) (cbrt 500.0)))) (* (cbrt (sqrt 500.0)) (cbrt 500.0)) (cbrt 500.0) (* (cbrt 500.0) (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0)))) (pow (sqrt (cbrt 500.0)) 3) (cbrt 500.0) (* (cbrt 500.0) (cbrt (cbrt 500.0))) (* (cbrt (sqrt 500.0)) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (cbrt (cbrt 500.0))) (pow (sqrt (cbrt 500.0)) 3) (* (cbrt 500.0) (cbrt 500.0)) (expm1 (* (cbrt 500.0) (- x y))) (log1p (* (cbrt 500.0) (- x y))) (* (cbrt 500.0) (- x y)) (log (* (cbrt 500.0) (- x y))) (log (* (cbrt 500.0) (- x y))) (exp (* (cbrt 500.0) (- x y))) (* (pow (- x y) 3) 500.0) (* (cbrt (* (cbrt 500.0) (- x y))) (cbrt (* (cbrt 500.0) (- x y)))) (cbrt (* (cbrt 500.0) (- x y))) (* (pow (- x y) 3) 500.0) (sqrt (* (cbrt 500.0) (- x y))) (sqrt (* (cbrt 500.0) (- x y))) (* (cbrt (sqrt 500.0)) (sqrt (- x y))) (* (cbrt (sqrt 500.0)) (sqrt (- x y))) (* (sqrt (cbrt 500.0)) (sqrt (- x y))) (* (sqrt (cbrt 500.0)) (sqrt (- x y))) (* (- (pow (cbrt x) 3) y) (cbrt 500.0)) (* (+ (- y) y) (cbrt 500.0)) (* (- (pow (cbrt x) 3) y) (cbrt 500.0)) (* (+ (- y) y) (cbrt 500.0)) (* (- (pow (cbrt x) 3) y) (cbrt 500.0)) (* (+ (- y) y) (cbrt 500.0)) (* (cbrt 500.0) (- x y)) (* (+ (- y) y) (cbrt 500.0)) (* (cbrt 500.0) (- x y)) (* (+ (- y) y) (cbrt 500.0)) (* (cbrt 500.0) (- x y)) (* (+ (- y) y) (cbrt 500.0)) (* (cbrt 500.0) (- x y)) (* (+ (- y) y) (cbrt 500.0)) (* (cbrt 500.0) (- x y)) (* (+ (- y) y) (cbrt 500.0)) (* (cbrt 500.0) (- x y)) (* (+ (- y) y) (cbrt 500.0)) (* x (cbrt 500.0)) (* (- y) (cbrt 500.0)) (* x (cbrt 500.0)) (* (- y) (cbrt 500.0)) (* (- (pow (cbrt x) 3) y) (cbrt 500.0)) (* (+ (- y) y) (cbrt 500.0)) (* (- (pow (cbrt x) 3) y) (cbrt 500.0)) (* (+ (- y) y) (cbrt 500.0)) (* (- (pow (cbrt x) 3) y) (cbrt 500.0)) (* (+ (- y) y) (cbrt 500.0)) (* (cbrt 500.0) (- x y)) (* (+ (- y) y) (cbrt 500.0)) (* (cbrt 500.0) (- x y)) (* (+ (- y) y) (cbrt 500.0)) (* (cbrt 500.0) (- x y)) (* (+ (- y) y) (cbrt 500.0)) (* (cbrt 500.0) (- x y)) (* (+ (- y) y) (cbrt 500.0)) (* (cbrt 500.0) (- x y)) (* (+ (- y) y) (cbrt 500.0)) (* (cbrt 500.0) (- x y)) (* (+ (- y) y) (cbrt 500.0)) (* x (cbrt 500.0)) (* (- y) (cbrt 500.0)) (* x (cbrt 500.0)) (* (- y) (cbrt 500.0)) (* (cbrt 500.0) (* (cbrt (- x y)) (cbrt (- x y)))) (* (cbrt 500.0) (sqrt (- x y))) (cbrt 500.0) (* (cbrt 500.0) (+ (sqrt x) (sqrt y))) (cbrt 500.0) (* (cbrt (cbrt 500.0)) (- x y)) (* (cbrt (sqrt 500.0)) (- x y)) (* (cbrt 500.0) (- x y)) (* (cbrt (cbrt 500.0)) (- x y)) (* (sqrt (cbrt 500.0)) (- x y)) (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- (pow x 3) (pow y 3))) (* (cbrt 500.0) (- (* x x) (* y y))) (expm1 (* 500.0 (- x y))) (log1p (* 500.0 (- x y))) (* 500.0 (- x y)) (* 500.0 (- x y)) (* 500.0 (- x y)) (* 500.0 (- x y)) (log (* 500.0 (- x y))) (log (* 500.0 (- x y))) (log (* 500.0 (- x y))) (log (* 500.0 (- x y))) (log (* 500.0 (- x y))) (pow (exp (- x y)) 500.0) (pow (* 500.0 (- x y)) 3) (pow (* 500.0 (- x y)) 3) (pow (* 500.0 (- x y)) 3) (pow (* 500.0 (- x y)) 3) (* (cbrt (* 500.0 (- x y))) (cbrt (* 500.0 (- x y)))) (cbrt (* 500.0 (- x y))) (pow (* 500.0 (- x y)) 3) (sqrt (* 500.0 (- x y))) (sqrt (* 500.0 (- x y))) (* 500.0 (- (pow (cbrt x) 3) y)) (* (+ (- y) y) 500.0) (* 500.0 (- (pow (cbrt x) 3) y)) (* (+ (- y) y) 500.0) (* 500.0 (- (pow (cbrt x) 3) y)) (* (+ (- y) y) 500.0) (* 500.0 (- x y)) (* (+ (- y) y) 500.0) (* 500.0 (- x y)) (* (+ (- y) y) 500.0) (* 500.0 (- x y)) (* (+ (- y) y) 500.0) (* 500.0 (- x y)) (* (+ (- y) y) 500.0) (* 500.0 (- x y)) (* (+ (- y) y) 500.0) (* 500.0 (- x y)) (* (+ (- y) y) 500.0) (* 500.0 x) (- (* 500.0 y)) (* 500.0 x) (- (* 500.0 y)) (* 500.0 (- (pow (cbrt x) 3) y)) (* (+ (- y) y) 500.0) (* 500.0 (- (pow (cbrt x) 3) y)) (* (+ (- y) y) 500.0) (* 500.0 (- (pow (cbrt x) 3) y)) (* (+ (- y) y) 500.0) (* 500.0 (- x y)) (* (+ (- y) y) 500.0) (* 500.0 (- x y)) (* (+ (- y) y) 500.0) (* 500.0 (- x y)) (* (+ (- y) y) 500.0) (* 500.0 (- x y)) (* (+ (- y) y) 500.0) (* 500.0 (- x y)) (* (+ (- y) y) 500.0) (* 500.0 (- x y)) (* (+ (- y) y) 500.0) (* 500.0 x) (- (* 500.0 y)) (* 500.0 x) (- (* 500.0 y)) (* 500.0 (- (pow (cbrt x) 3) y)) (* (+ (- y) y) 500.0) (* 500.0 (- (pow (cbrt x) 3) y)) (* (+ (- y) y) 500.0) (* 500.0 (- (pow (cbrt x) 3) y)) (* (+ (- y) y) 500.0) (* 500.0 (- x y)) (* (+ (- y) y) 500.0) (* 500.0 (- x y)) (* (+ (- y) y) 500.0) (* 500.0 (- x y)) (* (+ (- y) y) 500.0) (* 500.0 (- x y)) (* (+ (- y) y) 500.0) (* 500.0 (- x y)) (* (+ (- y) y) 500.0) (* 500.0 (- x y)) (* (+ (- y) y) 500.0) (* 500.0 x) (- (* 500.0 y)) (* 500.0 x) (- (* 500.0 y)) (* 500.0 (- (pow (cbrt x) 3) y)) (* (+ (- y) y) 500.0) (* 500.0 (- (pow (cbrt x) 3) y)) (* (+ (- y) y) 500.0) (* 500.0 (- (pow (cbrt x) 3) y)) (* (+ (- y) y) 500.0) (* 500.0 (- x y)) (* (+ (- y) y) 500.0) (* 500.0 (- x y)) (* (+ (- y) y) 500.0) (* 500.0 (- x y)) (* (+ (- y) y) 500.0) (* 500.0 (- x y)) (* (+ (- y) y) 500.0) (* 500.0 (- x y)) (* (+ (- y) y) 500.0) (* 500.0 (- x y)) (* (+ (- y) y) 500.0) (* 500.0 x) (- (* 500.0 y)) (* 500.0 x) (- (* 500.0 y)) 500.0 (* (* (cbrt 500.0) (cbrt 500.0)) (- x y)) (* (- (pow x 3) (pow y 3)) 500.0) (* (* 500.0 (- x y)) (+ x y)) (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- x y)) (* 500.0 (- x y)) (* 500.0 (- x y)) (* 500.0 (- x y)) 6.542 * * * [progress]: adding candidates to table 6.865 * * [progress]: iteration 4 / 4 6.865 * * * [progress]: picking best candidate 6.869 * * * * [pick]: Picked # 6.869 * * * [progress]: localizing error 6.895 * * * [progress]: generating rewritten candidates 6.895 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 6.905 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 6.946 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 7.066 * * * [progress]: generating series expansions 7.066 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 7.066 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 7.067 * [backup-simplify]: Simplify (* (cbrt 500.0) (- x y)) into (* (- x y) (cbrt 500.0)) 7.067 * [approximate]: Taking taylor expansion of (* (- x y) (cbrt 500.0)) in (x y) around 0 7.067 * [taylor]: Taking taylor expansion of (* (- x y) (cbrt 500.0)) in y 7.067 * [taylor]: Taking taylor expansion of (- x y) in y 7.067 * [taylor]: Taking taylor expansion of x in y 7.067 * [backup-simplify]: Simplify x into x 7.067 * [taylor]: Taking taylor expansion of y in y 7.067 * [backup-simplify]: Simplify 0 into 0 7.067 * [backup-simplify]: Simplify 1 into 1 7.067 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 7.067 * [taylor]: Taking taylor expansion of 500.0 in y 7.067 * [backup-simplify]: Simplify 500.0 into 500.0 7.068 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 7.069 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 7.069 * [taylor]: Taking taylor expansion of (* (- x y) (cbrt 500.0)) in x 7.069 * [taylor]: Taking taylor expansion of (- x y) in x 7.069 * [taylor]: Taking taylor expansion of x in x 7.069 * [backup-simplify]: Simplify 0 into 0 7.069 * [backup-simplify]: Simplify 1 into 1 7.069 * [taylor]: Taking taylor expansion of y in x 7.069 * [backup-simplify]: Simplify y into y 7.069 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 7.069 * [taylor]: Taking taylor expansion of 500.0 in x 7.069 * [backup-simplify]: Simplify 500.0 into 500.0 7.070 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 7.070 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 7.070 * [taylor]: Taking taylor expansion of (* (- x y) (cbrt 500.0)) in x 7.070 * [taylor]: Taking taylor expansion of (- x y) in x 7.070 * [taylor]: Taking taylor expansion of x in x 7.071 * [backup-simplify]: Simplify 0 into 0 7.071 * [backup-simplify]: Simplify 1 into 1 7.071 * [taylor]: Taking taylor expansion of y in x 7.071 * [backup-simplify]: Simplify y into y 7.071 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 7.071 * [taylor]: Taking taylor expansion of 500.0 in x 7.071 * [backup-simplify]: Simplify 500.0 into 500.0 7.071 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 7.072 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 7.072 * [backup-simplify]: Simplify (- y) into (- y) 7.072 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 7.073 * [backup-simplify]: Simplify (* (- y) (cbrt 500.0)) into (* -1 (* y (cbrt 500.0))) 7.073 * [taylor]: Taking taylor expansion of (* -1 (* y (cbrt 500.0))) in y 7.073 * [taylor]: Taking taylor expansion of -1 in y 7.073 * [backup-simplify]: Simplify -1 into -1 7.073 * [taylor]: Taking taylor expansion of (* y (cbrt 500.0)) in y 7.073 * [taylor]: Taking taylor expansion of y in y 7.073 * [backup-simplify]: Simplify 0 into 0 7.073 * [backup-simplify]: Simplify 1 into 1 7.073 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 7.073 * [taylor]: Taking taylor expansion of 500.0 in y 7.073 * [backup-simplify]: Simplify 500.0 into 500.0 7.073 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 7.074 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 7.075 * [backup-simplify]: Simplify (* 0 (cbrt 500.0)) into 0 7.075 * [backup-simplify]: Simplify (* -1 0) into 0 7.075 * [backup-simplify]: Simplify 0 into 0 7.076 * [backup-simplify]: Simplify (- 0) into 0 7.077 * [backup-simplify]: Simplify (+ 1 0) into 1 7.078 * [backup-simplify]: Simplify (+ (* (- y) 0) (* 1 (cbrt 500.0))) into (cbrt 500.0) 7.078 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 7.078 * [taylor]: Taking taylor expansion of 500.0 in y 7.078 * [backup-simplify]: Simplify 500.0 into 500.0 7.078 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 7.079 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 7.079 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 7.082 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (cbrt 500.0))) into (cbrt 500.0) 7.084 * [backup-simplify]: Simplify (+ (* -1 (cbrt 500.0)) (* 0 0)) into (- (cbrt 500.0)) 7.085 * [backup-simplify]: Simplify (- (cbrt 500.0)) into (- (cbrt 500.0)) 7.086 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 7.087 * [backup-simplify]: Simplify (- 0) into 0 7.087 * [backup-simplify]: Simplify (+ 0 0) into 0 7.088 * [backup-simplify]: Simplify (+ (* (- y) 0) (+ (* 1 0) (* 0 (cbrt 500.0)))) into 0 7.088 * [taylor]: Taking taylor expansion of 0 in y 7.088 * [backup-simplify]: Simplify 0 into 0 7.088 * [backup-simplify]: Simplify 0 into 0 7.088 * [backup-simplify]: Simplify 0 into 0 7.090 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 7.091 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (cbrt 500.0)))) into 0 7.092 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (cbrt 500.0)) (* 0 0))) into 0 7.092 * [backup-simplify]: Simplify 0 into 0 7.094 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 500.0))) into 0 7.094 * [backup-simplify]: Simplify (- 0) into 0 7.094 * [backup-simplify]: Simplify (+ 0 0) into 0 7.096 * [backup-simplify]: Simplify (+ (* (- y) 0) (+ (* 1 0) (+ (* 0 0) (* 0 (cbrt 500.0))))) into 0 7.096 * [taylor]: Taking taylor expansion of 0 in y 7.096 * [backup-simplify]: Simplify 0 into 0 7.096 * [backup-simplify]: Simplify 0 into 0 7.096 * [backup-simplify]: Simplify 0 into 0 7.097 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 7.097 * [backup-simplify]: Simplify 0 into 0 7.099 * [backup-simplify]: Simplify (+ (* (- (cbrt 500.0)) (* y 1)) (* (cbrt 500.0) (* 1 x))) into (- (* x (cbrt 500.0)) (* y (cbrt 500.0))) 7.100 * [backup-simplify]: Simplify (* (cbrt 500.0) (- (/ 1 x) (/ 1 y))) into (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) 7.100 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in (x y) around 0 7.100 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in y 7.100 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 7.100 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.100 * [taylor]: Taking taylor expansion of x in y 7.100 * [backup-simplify]: Simplify x into x 7.100 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.100 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.100 * [taylor]: Taking taylor expansion of y in y 7.100 * [backup-simplify]: Simplify 0 into 0 7.100 * [backup-simplify]: Simplify 1 into 1 7.100 * [backup-simplify]: Simplify (/ 1 1) into 1 7.100 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 7.100 * [taylor]: Taking taylor expansion of 500.0 in y 7.100 * [backup-simplify]: Simplify 500.0 into 500.0 7.101 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 7.102 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 7.102 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in x 7.102 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 7.102 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.102 * [taylor]: Taking taylor expansion of x in x 7.102 * [backup-simplify]: Simplify 0 into 0 7.102 * [backup-simplify]: Simplify 1 into 1 7.102 * [backup-simplify]: Simplify (/ 1 1) into 1 7.102 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.102 * [taylor]: Taking taylor expansion of y in x 7.102 * [backup-simplify]: Simplify y into y 7.102 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.102 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 7.102 * [taylor]: Taking taylor expansion of 500.0 in x 7.102 * [backup-simplify]: Simplify 500.0 into 500.0 7.103 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 7.103 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 7.103 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in x 7.103 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 7.103 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.103 * [taylor]: Taking taylor expansion of x in x 7.103 * [backup-simplify]: Simplify 0 into 0 7.104 * [backup-simplify]: Simplify 1 into 1 7.104 * [backup-simplify]: Simplify (/ 1 1) into 1 7.104 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.104 * [taylor]: Taking taylor expansion of y in x 7.104 * [backup-simplify]: Simplify y into y 7.104 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.104 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 7.104 * [taylor]: Taking taylor expansion of 500.0 in x 7.104 * [backup-simplify]: Simplify 500.0 into 500.0 7.104 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 7.105 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 7.106 * [backup-simplify]: Simplify (+ 1 0) into 1 7.106 * [backup-simplify]: Simplify (* 1 (cbrt 500.0)) into (cbrt 500.0) 7.106 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 7.106 * [taylor]: Taking taylor expansion of 500.0 in y 7.107 * [backup-simplify]: Simplify 500.0 into 500.0 7.107 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 7.108 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 7.108 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.108 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 7.109 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 7.110 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 y)) (cbrt 500.0))) into (- (/ (cbrt 500.0) y)) 7.110 * [taylor]: Taking taylor expansion of (- (/ (cbrt 500.0) y)) in y 7.110 * [taylor]: Taking taylor expansion of (/ (cbrt 500.0) y) in y 7.110 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 7.110 * [taylor]: Taking taylor expansion of 500.0 in y 7.110 * [backup-simplify]: Simplify 500.0 into 500.0 7.111 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 7.111 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 7.111 * [taylor]: Taking taylor expansion of y in y 7.111 * [backup-simplify]: Simplify 0 into 0 7.111 * [backup-simplify]: Simplify 1 into 1 7.112 * [backup-simplify]: Simplify (/ (cbrt 500.0) 1) into (cbrt 500.0) 7.113 * [backup-simplify]: Simplify (- (cbrt 500.0)) into (- (cbrt 500.0)) 7.114 * [backup-simplify]: Simplify (- (cbrt 500.0)) into (- (cbrt 500.0)) 7.124 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 7.126 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 7.127 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.127 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 7.128 * [backup-simplify]: Simplify (- 0) into 0 7.128 * [backup-simplify]: Simplify (+ 0 0) into 0 7.129 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (* 0 (cbrt 500.0)))) into 0 7.129 * [taylor]: Taking taylor expansion of 0 in y 7.129 * [backup-simplify]: Simplify 0 into 0 7.130 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 500.0) (/ 0 1)))) into 0 7.131 * [backup-simplify]: Simplify (- 0) into 0 7.131 * [backup-simplify]: Simplify 0 into 0 7.131 * [backup-simplify]: Simplify 0 into 0 7.132 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 500.0))) into 0 7.133 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.133 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.133 * [backup-simplify]: Simplify (- 0) into 0 7.134 * [backup-simplify]: Simplify (+ 0 0) into 0 7.134 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 0) (* 0 (cbrt 500.0))))) into 0 7.134 * [taylor]: Taking taylor expansion of 0 in y 7.134 * [backup-simplify]: Simplify 0 into 0 7.134 * [backup-simplify]: Simplify 0 into 0 7.135 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 7.136 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 500.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.136 * [backup-simplify]: Simplify (- 0) into 0 7.136 * [backup-simplify]: Simplify 0 into 0 7.137 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 7.137 * [backup-simplify]: Simplify 0 into 0 7.138 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 7.139 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.139 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.139 * [backup-simplify]: Simplify (- 0) into 0 7.139 * [backup-simplify]: Simplify (+ 0 0) into 0 7.140 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0)))))) into 0 7.140 * [taylor]: Taking taylor expansion of 0 in y 7.140 * [backup-simplify]: Simplify 0 into 0 7.140 * [backup-simplify]: Simplify 0 into 0 7.141 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) (* 1 (/ 1 (/ 1 x)))) (* (- (cbrt 500.0)) (* (/ 1 (/ 1 y)) 1))) into (- (* x (cbrt 500.0)) (* y (cbrt 500.0))) 7.142 * [backup-simplify]: Simplify (* (cbrt 500.0) (- (/ 1 (- x)) (/ 1 (- y)))) into (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0)) 7.142 * [approximate]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0)) in (x y) around 0 7.142 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0)) in y 7.142 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 7.142 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.142 * [taylor]: Taking taylor expansion of y in y 7.142 * [backup-simplify]: Simplify 0 into 0 7.142 * [backup-simplify]: Simplify 1 into 1 7.142 * [backup-simplify]: Simplify (/ 1 1) into 1 7.142 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.142 * [taylor]: Taking taylor expansion of x in y 7.142 * [backup-simplify]: Simplify x into x 7.142 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.142 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 7.142 * [taylor]: Taking taylor expansion of 500.0 in y 7.142 * [backup-simplify]: Simplify 500.0 into 500.0 7.142 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 7.143 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 7.143 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0)) in x 7.143 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 7.143 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.143 * [taylor]: Taking taylor expansion of y in x 7.143 * [backup-simplify]: Simplify y into y 7.143 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.143 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.143 * [taylor]: Taking taylor expansion of x in x 7.143 * [backup-simplify]: Simplify 0 into 0 7.143 * [backup-simplify]: Simplify 1 into 1 7.143 * [backup-simplify]: Simplify (/ 1 1) into 1 7.143 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 7.143 * [taylor]: Taking taylor expansion of 500.0 in x 7.143 * [backup-simplify]: Simplify 500.0 into 500.0 7.144 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 7.144 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 7.144 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0)) in x 7.144 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 7.144 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.144 * [taylor]: Taking taylor expansion of y in x 7.144 * [backup-simplify]: Simplify y into y 7.144 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.144 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.144 * [taylor]: Taking taylor expansion of x in x 7.144 * [backup-simplify]: Simplify 0 into 0 7.144 * [backup-simplify]: Simplify 1 into 1 7.145 * [backup-simplify]: Simplify (/ 1 1) into 1 7.145 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 7.145 * [taylor]: Taking taylor expansion of 500.0 in x 7.145 * [backup-simplify]: Simplify 500.0 into 500.0 7.145 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 7.145 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 7.146 * [backup-simplify]: Simplify (- 1) into -1 7.146 * [backup-simplify]: Simplify (+ 0 -1) into -1 7.147 * [backup-simplify]: Simplify (* -1 (cbrt 500.0)) into (* -1 (cbrt 500.0)) 7.147 * [taylor]: Taking taylor expansion of (* -1 (cbrt 500.0)) in y 7.147 * [taylor]: Taking taylor expansion of -1 in y 7.147 * [backup-simplify]: Simplify -1 into -1 7.147 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 7.147 * [taylor]: Taking taylor expansion of 500.0 in y 7.147 * [backup-simplify]: Simplify 500.0 into 500.0 7.147 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 7.147 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 7.148 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.148 * [backup-simplify]: Simplify (- 0) into 0 7.148 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 7.149 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 y) (cbrt 500.0))) into (/ (cbrt 500.0) y) 7.149 * [taylor]: Taking taylor expansion of (/ (cbrt 500.0) y) in y 7.149 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 7.149 * [taylor]: Taking taylor expansion of 500.0 in y 7.149 * [backup-simplify]: Simplify 500.0 into 500.0 7.149 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 7.150 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 7.150 * [taylor]: Taking taylor expansion of y in y 7.150 * [backup-simplify]: Simplify 0 into 0 7.150 * [backup-simplify]: Simplify 1 into 1 7.150 * [backup-simplify]: Simplify (/ (cbrt 500.0) 1) into (cbrt 500.0) 7.151 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 7.151 * [backup-simplify]: Simplify (* -1 (cbrt 500.0)) into (* -1 (cbrt 500.0)) 7.152 * [backup-simplify]: Simplify (* -1 (cbrt 500.0)) into (* -1 (cbrt 500.0)) 7.153 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 7.153 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 7.153 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.154 * [backup-simplify]: Simplify (- 0) into 0 7.154 * [backup-simplify]: Simplify (+ 0 0) into 0 7.155 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (* 0 (cbrt 500.0)))) into 0 7.155 * [taylor]: Taking taylor expansion of 0 in y 7.155 * [backup-simplify]: Simplify 0 into 0 7.155 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 500.0) (/ 0 1)))) into 0 7.155 * [backup-simplify]: Simplify 0 into 0 7.156 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (cbrt 500.0))) into 0 7.156 * [backup-simplify]: Simplify 0 into 0 7.157 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 500.0))) into 0 7.157 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.157 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.157 * [backup-simplify]: Simplify (- 0) into 0 7.158 * [backup-simplify]: Simplify (+ 0 0) into 0 7.158 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (* 0 (cbrt 500.0))))) into 0 7.159 * [taylor]: Taking taylor expansion of 0 in y 7.159 * [backup-simplify]: Simplify 0 into 0 7.159 * [backup-simplify]: Simplify 0 into 0 7.159 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 7.160 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 500.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.160 * [backup-simplify]: Simplify 0 into 0 7.161 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 7.162 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (cbrt 500.0)))) into 0 7.162 * [backup-simplify]: Simplify 0 into 0 7.163 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 7.163 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.163 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.164 * [backup-simplify]: Simplify (- 0) into 0 7.164 * [backup-simplify]: Simplify (+ 0 0) into 0 7.165 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0)))))) into 0 7.165 * [taylor]: Taking taylor expansion of 0 in y 7.165 * [backup-simplify]: Simplify 0 into 0 7.165 * [backup-simplify]: Simplify 0 into 0 7.166 * [backup-simplify]: Simplify (+ (* (* -1 (cbrt 500.0)) (* 1 (/ 1 (/ 1 (- x))))) (* (cbrt 500.0) (* (/ 1 (/ 1 (- y))) 1))) into (- (* x (cbrt 500.0)) (* y (cbrt 500.0))) 7.166 * * * * [progress]: [ 3 / 3 ] generating series at (2) 7.168 * [backup-simplify]: Simplify (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- x y))) into (* (- x y) (pow (cbrt 500.0) 3)) 7.168 * [approximate]: Taking taylor expansion of (* (- x y) (pow (cbrt 500.0) 3)) in (x y) around 0 7.168 * [taylor]: Taking taylor expansion of (* (- x y) (pow (cbrt 500.0) 3)) in y 7.168 * [taylor]: Taking taylor expansion of (- x y) in y 7.168 * [taylor]: Taking taylor expansion of x in y 7.168 * [backup-simplify]: Simplify x into x 7.168 * [taylor]: Taking taylor expansion of y in y 7.168 * [backup-simplify]: Simplify 0 into 0 7.168 * [backup-simplify]: Simplify 1 into 1 7.168 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in y 7.168 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 7.168 * [taylor]: Taking taylor expansion of 500.0 in y 7.168 * [backup-simplify]: Simplify 500.0 into 500.0 7.169 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 7.169 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 7.169 * [taylor]: Taking taylor expansion of (* (- x y) (pow (cbrt 500.0) 3)) in x 7.169 * [taylor]: Taking taylor expansion of (- x y) in x 7.169 * [taylor]: Taking taylor expansion of x in x 7.169 * [backup-simplify]: Simplify 0 into 0 7.169 * [backup-simplify]: Simplify 1 into 1 7.169 * [taylor]: Taking taylor expansion of y in x 7.169 * [backup-simplify]: Simplify y into y 7.169 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 7.169 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 7.169 * [taylor]: Taking taylor expansion of 500.0 in x 7.169 * [backup-simplify]: Simplify 500.0 into 500.0 7.170 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 7.170 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 7.170 * [taylor]: Taking taylor expansion of (* (- x y) (pow (cbrt 500.0) 3)) in x 7.170 * [taylor]: Taking taylor expansion of (- x y) in x 7.170 * [taylor]: Taking taylor expansion of x in x 7.170 * [backup-simplify]: Simplify 0 into 0 7.170 * [backup-simplify]: Simplify 1 into 1 7.170 * [taylor]: Taking taylor expansion of y in x 7.170 * [backup-simplify]: Simplify y into y 7.170 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 7.170 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 7.170 * [taylor]: Taking taylor expansion of 500.0 in x 7.170 * [backup-simplify]: Simplify 500.0 into 500.0 7.170 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 7.171 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 7.171 * [backup-simplify]: Simplify (- y) into (- y) 7.171 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 7.172 * [backup-simplify]: Simplify (* (cbrt 500.0) (cbrt 500.0)) into (pow (cbrt 500.0) 2) 7.173 * [backup-simplify]: Simplify (* (cbrt 500.0) (pow (cbrt 500.0) 2)) into (pow (cbrt 500.0) 3) 7.174 * [backup-simplify]: Simplify (* (- y) (pow (cbrt 500.0) 3)) into (* -500.0 y) 7.174 * [taylor]: Taking taylor expansion of (* -500.0 y) in y 7.174 * [taylor]: Taking taylor expansion of -500.0 in y 7.174 * [backup-simplify]: Simplify -500.0 into -500.0 7.174 * [taylor]: Taking taylor expansion of y in y 7.174 * [backup-simplify]: Simplify 0 into 0 7.174 * [backup-simplify]: Simplify 1 into 1 7.174 * [backup-simplify]: Simplify (* -500.0 0) into 0 7.174 * [backup-simplify]: Simplify 0 into 0 7.175 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (* 0 (cbrt 500.0))) into 0 7.176 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (* 0 (pow (cbrt 500.0) 2))) into 0 7.176 * [backup-simplify]: Simplify (- 0) into 0 7.176 * [backup-simplify]: Simplify (+ 1 0) into 1 7.178 * [backup-simplify]: Simplify (+ (* (- y) 0) (* 1 (pow (cbrt 500.0) 3))) into 500.0 7.178 * [taylor]: Taking taylor expansion of 500.0 in y 7.178 * [backup-simplify]: Simplify 500.0 into 500.0 7.178 * [backup-simplify]: Simplify 500.0 into 500.0 7.179 * [backup-simplify]: Simplify (+ (* -500.0 1) (* 0 0)) into (- 500.0) 7.179 * [backup-simplify]: Simplify (- 500.0) into (- 500.0) 7.180 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 7.180 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (* 0 (cbrt 500.0)))) into 0 7.182 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2)))) into 0 7.182 * [backup-simplify]: Simplify (- 0) into 0 7.182 * [backup-simplify]: Simplify (+ 0 0) into 0 7.183 * [backup-simplify]: Simplify (+ (* (- y) 0) (+ (* 1 0) (* 0 (pow (cbrt 500.0) 3)))) into 0 7.183 * [taylor]: Taking taylor expansion of 0 in y 7.183 * [backup-simplify]: Simplify 0 into 0 7.183 * [backup-simplify]: Simplify 0 into 0 7.183 * [backup-simplify]: Simplify 0 into 0 7.184 * [backup-simplify]: Simplify (+ (* -500.0 0) (+ (* 0 1) (* 0 0))) into 0 7.184 * [backup-simplify]: Simplify 0 into 0 7.185 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 500.0))) into 0 7.185 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0))))) into 0 7.186 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2))))) into 0 7.186 * [backup-simplify]: Simplify (- 0) into 0 7.187 * [backup-simplify]: Simplify (+ 0 0) into 0 7.188 * [backup-simplify]: Simplify (+ (* (- y) 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 3))))) into 0 7.188 * [taylor]: Taking taylor expansion of 0 in y 7.188 * [backup-simplify]: Simplify 0 into 0 7.188 * [backup-simplify]: Simplify 0 into 0 7.188 * [backup-simplify]: Simplify 0 into 0 7.188 * [backup-simplify]: Simplify 0 into 0 7.188 * [backup-simplify]: Simplify (+ (* (- 500.0) (* y 1)) (* 500.0 (* 1 x))) into (- (* 500.0 x) (* 500.0 y)) 7.191 * [backup-simplify]: Simplify (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- (/ 1 x) (/ 1 y)))) into (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) 7.191 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in (x y) around 0 7.191 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in y 7.191 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 7.191 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.191 * [taylor]: Taking taylor expansion of x in y 7.191 * [backup-simplify]: Simplify x into x 7.191 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.191 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.191 * [taylor]: Taking taylor expansion of y in y 7.191 * [backup-simplify]: Simplify 0 into 0 7.191 * [backup-simplify]: Simplify 1 into 1 7.192 * [backup-simplify]: Simplify (/ 1 1) into 1 7.192 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in y 7.192 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 7.192 * [taylor]: Taking taylor expansion of 500.0 in y 7.192 * [backup-simplify]: Simplify 500.0 into 500.0 7.192 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 7.193 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 7.193 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in x 7.193 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 7.193 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.193 * [taylor]: Taking taylor expansion of x in x 7.193 * [backup-simplify]: Simplify 0 into 0 7.193 * [backup-simplify]: Simplify 1 into 1 7.194 * [backup-simplify]: Simplify (/ 1 1) into 1 7.194 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.194 * [taylor]: Taking taylor expansion of y in x 7.194 * [backup-simplify]: Simplify y into y 7.194 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.194 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 7.194 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 7.194 * [taylor]: Taking taylor expansion of 500.0 in x 7.194 * [backup-simplify]: Simplify 500.0 into 500.0 7.194 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 7.195 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 7.195 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in x 7.195 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 7.195 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.195 * [taylor]: Taking taylor expansion of x in x 7.195 * [backup-simplify]: Simplify 0 into 0 7.195 * [backup-simplify]: Simplify 1 into 1 7.196 * [backup-simplify]: Simplify (/ 1 1) into 1 7.196 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.196 * [taylor]: Taking taylor expansion of y in x 7.196 * [backup-simplify]: Simplify y into y 7.196 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.196 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 7.196 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 7.196 * [taylor]: Taking taylor expansion of 500.0 in x 7.196 * [backup-simplify]: Simplify 500.0 into 500.0 7.196 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 7.197 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 7.198 * [backup-simplify]: Simplify (+ 1 0) into 1 7.199 * [backup-simplify]: Simplify (* (cbrt 500.0) (cbrt 500.0)) into (pow (cbrt 500.0) 2) 7.201 * [backup-simplify]: Simplify (* (cbrt 500.0) (pow (cbrt 500.0) 2)) into (pow (cbrt 500.0) 3) 7.203 * [backup-simplify]: Simplify (* 1 (pow (cbrt 500.0) 3)) into 500.0 7.203 * [taylor]: Taking taylor expansion of 500.0 in y 7.203 * [backup-simplify]: Simplify 500.0 into 500.0 7.204 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (* 0 (cbrt 500.0))) into 0 7.205 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (* 0 (pow (cbrt 500.0) 2))) into 0 7.206 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.206 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 7.206 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 7.208 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 y)) (pow (cbrt 500.0) 3))) into (- (* 500.0 (/ 1 y))) 7.208 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 y))) in y 7.208 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y 7.208 * [taylor]: Taking taylor expansion of 500.0 in y 7.208 * [backup-simplify]: Simplify 500.0 into 500.0 7.208 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.208 * [taylor]: Taking taylor expansion of y in y 7.208 * [backup-simplify]: Simplify 0 into 0 7.208 * [backup-simplify]: Simplify 1 into 1 7.208 * [backup-simplify]: Simplify (/ 1 1) into 1 7.209 * [backup-simplify]: Simplify (* 500.0 1) into 500.0 7.209 * [backup-simplify]: Simplify (- 500.0) into (- 500.0) 7.209 * [backup-simplify]: Simplify (- 500.0) into (- 500.0) 7.209 * [backup-simplify]: Simplify 500.0 into 500.0 7.211 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 7.212 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (* 0 (cbrt 500.0)))) into 0 7.213 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2)))) into 0 7.214 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.215 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 7.215 * [backup-simplify]: Simplify (- 0) into 0 7.215 * [backup-simplify]: Simplify (+ 0 0) into 0 7.217 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (* 0 (pow (cbrt 500.0) 3)))) into 0 7.217 * [taylor]: Taking taylor expansion of 0 in y 7.217 * [backup-simplify]: Simplify 0 into 0 7.217 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.218 * [backup-simplify]: Simplify (+ (* 500.0 0) (* 0 1)) into 0 7.218 * [backup-simplify]: Simplify (- 0) into 0 7.218 * [backup-simplify]: Simplify 0 into 0 7.218 * [backup-simplify]: Simplify 0 into 0 7.219 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 500.0))) into 0 7.219 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0))))) into 0 7.220 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2))))) into 0 7.221 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.221 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.221 * [backup-simplify]: Simplify (- 0) into 0 7.221 * [backup-simplify]: Simplify (+ 0 0) into 0 7.222 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 3))))) into 0 7.222 * [taylor]: Taking taylor expansion of 0 in y 7.222 * [backup-simplify]: Simplify 0 into 0 7.222 * [backup-simplify]: Simplify 0 into 0 7.223 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.223 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (* 0 1))) into 0 7.224 * [backup-simplify]: Simplify (- 0) into 0 7.224 * [backup-simplify]: Simplify 0 into 0 7.224 * [backup-simplify]: Simplify 0 into 0 7.225 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 7.226 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0)))))) into 0 7.227 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2)))))) into 0 7.227 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.228 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.228 * [backup-simplify]: Simplify (- 0) into 0 7.228 * [backup-simplify]: Simplify (+ 0 0) into 0 7.229 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 3)))))) into 0 7.229 * [taylor]: Taking taylor expansion of 0 in y 7.229 * [backup-simplify]: Simplify 0 into 0 7.229 * [backup-simplify]: Simplify 0 into 0 7.235 * [backup-simplify]: Simplify (+ (* 500.0 (* 1 (/ 1 (/ 1 x)))) (* (- 500.0) (* (/ 1 (/ 1 y)) 1))) into (- (* 500.0 x) (* 500.0 y)) 7.238 * [backup-simplify]: Simplify (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- (/ 1 (- x)) (/ 1 (- y))))) into (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) 7.238 * [approximate]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in (x y) around 0 7.238 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in y 7.238 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 7.238 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.238 * [taylor]: Taking taylor expansion of y in y 7.238 * [backup-simplify]: Simplify 0 into 0 7.238 * [backup-simplify]: Simplify 1 into 1 7.239 * [backup-simplify]: Simplify (/ 1 1) into 1 7.239 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.239 * [taylor]: Taking taylor expansion of x in y 7.239 * [backup-simplify]: Simplify x into x 7.239 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.239 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in y 7.239 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 7.239 * [taylor]: Taking taylor expansion of 500.0 in y 7.239 * [backup-simplify]: Simplify 500.0 into 500.0 7.239 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 7.240 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 7.240 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in x 7.240 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 7.240 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.240 * [taylor]: Taking taylor expansion of y in x 7.240 * [backup-simplify]: Simplify y into y 7.240 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.240 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.240 * [taylor]: Taking taylor expansion of x in x 7.240 * [backup-simplify]: Simplify 0 into 0 7.240 * [backup-simplify]: Simplify 1 into 1 7.240 * [backup-simplify]: Simplify (/ 1 1) into 1 7.240 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 7.240 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 7.240 * [taylor]: Taking taylor expansion of 500.0 in x 7.240 * [backup-simplify]: Simplify 500.0 into 500.0 7.240 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 7.241 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 7.241 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in x 7.241 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 7.241 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.241 * [taylor]: Taking taylor expansion of y in x 7.241 * [backup-simplify]: Simplify y into y 7.241 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.241 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.241 * [taylor]: Taking taylor expansion of x in x 7.241 * [backup-simplify]: Simplify 0 into 0 7.241 * [backup-simplify]: Simplify 1 into 1 7.241 * [backup-simplify]: Simplify (/ 1 1) into 1 7.241 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 7.241 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 7.241 * [taylor]: Taking taylor expansion of 500.0 in x 7.241 * [backup-simplify]: Simplify 500.0 into 500.0 7.242 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 7.242 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 7.242 * [backup-simplify]: Simplify (- 1) into -1 7.243 * [backup-simplify]: Simplify (+ 0 -1) into -1 7.244 * [backup-simplify]: Simplify (* (cbrt 500.0) (cbrt 500.0)) into (pow (cbrt 500.0) 2) 7.245 * [backup-simplify]: Simplify (* (cbrt 500.0) (pow (cbrt 500.0) 2)) into (pow (cbrt 500.0) 3) 7.246 * [backup-simplify]: Simplify (* -1 (pow (cbrt 500.0) 3)) into -500.0 7.246 * [taylor]: Taking taylor expansion of -500.0 in y 7.246 * [backup-simplify]: Simplify -500.0 into -500.0 7.246 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (* 0 (cbrt 500.0))) into 0 7.247 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (* 0 (pow (cbrt 500.0) 2))) into 0 7.247 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.248 * [backup-simplify]: Simplify (- 0) into 0 7.248 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 7.249 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 y) (pow (cbrt 500.0) 3))) into (* 500.0 (/ 1 y)) 7.249 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y 7.249 * [taylor]: Taking taylor expansion of 500.0 in y 7.249 * [backup-simplify]: Simplify 500.0 into 500.0 7.249 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.249 * [taylor]: Taking taylor expansion of y in y 7.249 * [backup-simplify]: Simplify 0 into 0 7.249 * [backup-simplify]: Simplify 1 into 1 7.249 * [backup-simplify]: Simplify (/ 1 1) into 1 7.249 * [backup-simplify]: Simplify (* 500.0 1) into 500.0 7.249 * [backup-simplify]: Simplify 500.0 into 500.0 7.249 * [backup-simplify]: Simplify -500.0 into -500.0 7.251 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 7.251 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (* 0 (cbrt 500.0)))) into 0 7.252 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2)))) into 0 7.252 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 7.253 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.253 * [backup-simplify]: Simplify (- 0) into 0 7.253 * [backup-simplify]: Simplify (+ 0 0) into 0 7.254 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (* 0 (pow (cbrt 500.0) 3)))) into 0 7.254 * [taylor]: Taking taylor expansion of 0 in y 7.254 * [backup-simplify]: Simplify 0 into 0 7.254 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.255 * [backup-simplify]: Simplify (+ (* 500.0 0) (* 0 1)) into 0 7.255 * [backup-simplify]: Simplify 0 into 0 7.255 * [backup-simplify]: Simplify 0 into 0 7.256 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 500.0))) into 0 7.256 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0))))) into 0 7.257 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2))))) into 0 7.258 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.259 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.259 * [backup-simplify]: Simplify (- 0) into 0 7.259 * [backup-simplify]: Simplify (+ 0 0) into 0 7.261 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 3))))) into 0 7.261 * [taylor]: Taking taylor expansion of 0 in y 7.261 * [backup-simplify]: Simplify 0 into 0 7.261 * [backup-simplify]: Simplify 0 into 0 7.262 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.263 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (* 0 1))) into 0 7.263 * [backup-simplify]: Simplify 0 into 0 7.263 * [backup-simplify]: Simplify 0 into 0 7.265 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 7.266 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0)))))) into 0 7.268 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2)))))) into 0 7.268 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.269 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.270 * [backup-simplify]: Simplify (- 0) into 0 7.270 * [backup-simplify]: Simplify (+ 0 0) into 0 7.272 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 3)))))) into 0 7.272 * [taylor]: Taking taylor expansion of 0 in y 7.272 * [backup-simplify]: Simplify 0 into 0 7.272 * [backup-simplify]: Simplify 0 into 0 7.272 * [backup-simplify]: Simplify (+ (* -500.0 (* 1 (/ 1 (/ 1 (- x))))) (* 500.0 (* (/ 1 (/ 1 (- y))) 1))) into (- (* 500.0 x) (* 500.0 y)) 7.272 * * * [progress]: simplifying candidates 7.278 * [simplify]: Simplifying: (expm1 (pow (sqrt (cbrt 500.0)) 3)) (log1p (pow (sqrt (cbrt 500.0)) 3)) (* (log (sqrt (cbrt 500.0))) 3) (* (log (sqrt (cbrt 500.0))) 3) (* 1/2 3) (* 1 3) (* (/ 1/3 2) 3) (* (/ 1 2) 3) (pow (sqrt (cbrt 500.0)) (* (cbrt 3) (cbrt 3))) (pow (sqrt (cbrt 500.0)) (sqrt 3)) (pow (sqrt (cbrt 500.0)) 1) (pow (* (cbrt (sqrt (cbrt 500.0))) (cbrt (sqrt (cbrt 500.0)))) 3) (pow (cbrt (sqrt (cbrt 500.0))) 3) (pow (sqrt (cbrt (* (cbrt 500.0) (cbrt 500.0)))) 3) (pow (sqrt (cbrt (cbrt 500.0))) 3) (pow (sqrt (cbrt (sqrt 500.0))) 3) (pow (sqrt (cbrt (sqrt 500.0))) 3) (pow (sqrt (cbrt 1)) 3) (pow (sqrt (cbrt 500.0)) 3) (pow (sqrt (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0)))) 3) (pow (sqrt (cbrt (cbrt 500.0))) 3) (pow (sqrt (sqrt (cbrt 500.0))) 3) (pow (sqrt (sqrt (cbrt 500.0))) 3) (pow (sqrt 1) 3) (pow (sqrt (cbrt 500.0)) 3) (pow (sqrt (sqrt (cbrt 500.0))) 3) (pow (sqrt (sqrt (cbrt 500.0))) 3) (pow 1 3) (pow (sqrt (cbrt 500.0)) 3) (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0))) (log (pow (sqrt (cbrt 500.0)) 3)) (exp (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt (pow (sqrt (cbrt 500.0)) 3)) (cbrt (pow (sqrt (cbrt 500.0)) 3))) (cbrt (pow (sqrt (cbrt 500.0)) 3)) (* (* (pow (sqrt (cbrt 500.0)) 3) (pow (sqrt (cbrt 500.0)) 3)) (pow (sqrt (cbrt 500.0)) 3)) (pow (* (cbrt (sqrt (cbrt 500.0))) (cbrt (sqrt (cbrt 500.0)))) 3) (pow (cbrt (sqrt (cbrt 500.0))) 3) (pow (sqrt (cbrt (* (cbrt 500.0) (cbrt 500.0)))) 3) (pow (sqrt (cbrt (cbrt 500.0))) 3) (pow (sqrt (cbrt (sqrt 500.0))) 3) (pow (sqrt (cbrt (sqrt 500.0))) 3) (pow (sqrt (cbrt 1)) 3) (pow (sqrt (cbrt 500.0)) 3) (pow (sqrt (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0)))) 3) (pow (sqrt (cbrt (cbrt 500.0))) 3) (pow (sqrt (sqrt (cbrt 500.0))) 3) (pow (sqrt (sqrt (cbrt 500.0))) 3) (pow (sqrt 1) 3) (pow (sqrt (cbrt 500.0)) 3) (pow (sqrt (sqrt (cbrt 500.0))) 3) (pow (sqrt (sqrt (cbrt 500.0))) 3) (pow 1 3) (pow (sqrt (cbrt 500.0)) 3) (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0))) (/ 3 2) (sqrt (pow (sqrt (cbrt 500.0)) 3)) (sqrt (pow (sqrt (cbrt 500.0)) 3)) (pow (sqrt (cbrt 500.0)) (/ 3 2)) (pow (sqrt (cbrt 500.0)) (/ 3 2)) (expm1 (* (cbrt 500.0) (- x y))) (log1p (* (cbrt 500.0) (- x y))) (* (cbrt 500.0) (- x y)) (+ (log (cbrt 500.0)) (log (- x y))) (log (* (cbrt 500.0) (- x y))) (exp (* (cbrt 500.0) (- x y))) (* 500.0 (* (* (- x y) (- x y)) (- x y))) (* (cbrt (* (cbrt 500.0) (- x y))) (cbrt (* (cbrt 500.0) (- x y)))) (cbrt (* (cbrt 500.0) (- x y))) (* (* (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- x y))) (* (cbrt 500.0) (- x y))) (sqrt (* (cbrt 500.0) (- x y))) (sqrt (* (cbrt 500.0) (- x y))) (* (cbrt (sqrt 500.0)) (sqrt (- x y))) (* (cbrt (sqrt 500.0)) (sqrt (- x y))) (* (sqrt (cbrt 500.0)) (sqrt (- x y))) (* (sqrt (cbrt 500.0)) (sqrt (- x y))) (* (cbrt 500.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* (cbrt 500.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (* (cbrt 500.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt y) (sqrt y))))) (* (cbrt 500.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (* (cbrt 500.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1)))) (* (cbrt 500.0) (fma (- y) 1 (* y 1))) (* (cbrt 500.0) (fma (sqrt x) (sqrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* (cbrt 500.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (* (cbrt 500.0) (fma (sqrt x) (sqrt x) (- (* (sqrt y) (sqrt y))))) (* (cbrt 500.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (* (cbrt 500.0) (fma (sqrt x) (sqrt x) (- (* y 1)))) (* (cbrt 500.0) (fma (- y) 1 (* y 1))) (* (cbrt 500.0) (fma 1 x (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* (cbrt 500.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (* (cbrt 500.0) (fma 1 x (- (* (sqrt y) (sqrt y))))) (* (cbrt 500.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (* (cbrt 500.0) (fma 1 x (- (* y 1)))) (* (cbrt 500.0) (fma (- y) 1 (* y 1))) (* (cbrt 500.0) x) (* (cbrt 500.0) (- y)) (* (cbrt 500.0) x) (* (cbrt 500.0) (- y)) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (cbrt 500.0)) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (cbrt 500.0)) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt y) (sqrt y)))) (cbrt 500.0)) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (cbrt 500.0)) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1))) (cbrt 500.0)) (* (fma (- y) 1 (* y 1)) (cbrt 500.0)) (* (fma (sqrt x) (sqrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (cbrt 500.0)) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (cbrt 500.0)) (* (fma (sqrt x) (sqrt x) (- (* (sqrt y) (sqrt y)))) (cbrt 500.0)) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (cbrt 500.0)) (* (fma (sqrt x) (sqrt x) (- (* y 1))) (cbrt 500.0)) (* (fma (- y) 1 (* y 1)) (cbrt 500.0)) (* (fma 1 x (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (cbrt 500.0)) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (cbrt 500.0)) (* (fma 1 x (- (* (sqrt y) (sqrt y)))) (cbrt 500.0)) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (cbrt 500.0)) (* (fma 1 x (- (* y 1))) (cbrt 500.0)) (* (fma (- y) 1 (* y 1)) (cbrt 500.0)) (* x (cbrt 500.0)) (* (- y) (cbrt 500.0)) (* x (cbrt 500.0)) (* (- y) (cbrt 500.0)) (* (cbrt 500.0) (* (cbrt (- x y)) (cbrt (- x y)))) (* (cbrt 500.0) (sqrt (- x y))) (* (cbrt 500.0) 1) (* (cbrt 500.0) (+ (sqrt x) (sqrt y))) (* (cbrt 500.0) 1) (* (cbrt (cbrt 500.0)) (- x y)) (* (cbrt (sqrt 500.0)) (- x y)) (* (cbrt 500.0) (- x y)) (* (cbrt (cbrt 500.0)) (- x y)) (* (sqrt (cbrt 500.0)) (- x y)) (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- (pow x 3) (pow y 3))) (* (cbrt 500.0) (- (* x x) (* y y))) (expm1 (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- x y)))) (log1p (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- x y)))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- x y))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- x y))) (+ (+ (* (log (sqrt (cbrt 500.0))) 3) (log (sqrt (cbrt 500.0)))) (+ (log (cbrt 500.0)) (log (- x y)))) (+ (+ (* (log (sqrt (cbrt 500.0))) 3) (log (sqrt (cbrt 500.0)))) (log (* (cbrt 500.0) (- x y)))) (+ (+ (* (log (sqrt (cbrt 500.0))) 3) (log (sqrt (cbrt 500.0)))) (+ (log (cbrt 500.0)) (log (- x y)))) (+ (+ (* (log (sqrt (cbrt 500.0))) 3) (log (sqrt (cbrt 500.0)))) (log (* (cbrt 500.0) (- x y)))) (+ (+ (log (pow (sqrt (cbrt 500.0)) 3)) (log (sqrt (cbrt 500.0)))) (+ (log (cbrt 500.0)) (log (- x y)))) (+ (+ (log (pow (sqrt (cbrt 500.0)) 3)) (log (sqrt (cbrt 500.0)))) (log (* (cbrt 500.0) (- x y)))) (+ (log (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (+ (log (cbrt 500.0)) (log (- x y)))) (+ (log (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (log (* (cbrt 500.0) (- x y)))) (log (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- x y)))) (exp (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- x y)))) (* (* (* (* (pow (sqrt (cbrt 500.0)) 3) (pow (sqrt (cbrt 500.0)) 3)) (pow (sqrt (cbrt 500.0)) 3)) (* (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0))) (sqrt (cbrt 500.0)))) (* 500.0 (* (* (- x y) (- x y)) (- x y)))) (* (* (* (* (pow (sqrt (cbrt 500.0)) 3) (pow (sqrt (cbrt 500.0)) 3)) (pow (sqrt (cbrt 500.0)) 3)) (* (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0))) (sqrt (cbrt 500.0)))) (* (* (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- x y))) (* (cbrt 500.0) (- x y)))) (* (* (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* 500.0 (* (* (- x y) (- x y)) (- x y)))) (* (* (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- x y))) (* (cbrt 500.0) (- x y)))) (* (cbrt (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- x y)))) (cbrt (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- x y))))) (cbrt (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- x y)))) (* (* (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- x y))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- x y)))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- x y)))) (sqrt (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- x y)))) (sqrt (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- x y)))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt y) (sqrt y)))))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1))))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (fma (- y) 1 (* y 1)))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (fma (sqrt x) (sqrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (fma (sqrt x) (sqrt x) (- (* (sqrt y) (sqrt y)))))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (fma (sqrt x) (sqrt x) (- (* y 1))))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (fma (- y) 1 (* y 1)))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (fma 1 x (- (* (cbrt y) (* (cbrt y) (cbrt y))))))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (fma 1 x (- (* (sqrt y) (sqrt y)))))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (fma 1 x (- (* y 1))))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (fma (- y) 1 (* y 1)))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) x)) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- y))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) x)) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- y))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (cbrt 500.0))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (cbrt 500.0))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt y) (sqrt y)))) (cbrt 500.0))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (cbrt 500.0))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1))) (cbrt 500.0))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (fma (- y) 1 (* y 1)) (cbrt 500.0))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (fma (sqrt x) (sqrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (cbrt 500.0))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (cbrt 500.0))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (fma (sqrt x) (sqrt x) (- (* (sqrt y) (sqrt y)))) (cbrt 500.0))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (cbrt 500.0))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (fma (sqrt x) (sqrt x) (- (* y 1))) (cbrt 500.0))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (fma (- y) 1 (* y 1)) (cbrt 500.0))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (fma 1 x (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (cbrt 500.0))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (cbrt 500.0))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (fma 1 x (- (* (sqrt y) (sqrt y)))) (cbrt 500.0))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (cbrt 500.0))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (fma 1 x (- (* y 1))) (cbrt 500.0))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (fma (- y) 1 (* y 1)) (cbrt 500.0))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* x (cbrt 500.0))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (- y) (cbrt 500.0))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* x (cbrt 500.0))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (- y) (cbrt 500.0))) (* (* (cbrt 500.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (cbrt 500.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (cbrt 500.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt y) (sqrt y))))) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (cbrt 500.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (cbrt 500.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1)))) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (cbrt 500.0) (fma (- y) 1 (* y 1))) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (cbrt 500.0) (fma (sqrt x) (sqrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (cbrt 500.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (cbrt 500.0) (fma (sqrt x) (sqrt x) (- (* (sqrt y) (sqrt y))))) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (cbrt 500.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (cbrt 500.0) (fma (sqrt x) (sqrt x) (- (* y 1)))) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (cbrt 500.0) (fma (- y) 1 (* y 1))) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (cbrt 500.0) (fma 1 x (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (cbrt 500.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (cbrt 500.0) (fma 1 x (- (* (sqrt y) (sqrt y))))) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (cbrt 500.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (cbrt 500.0) (fma 1 x (- (* y 1)))) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (cbrt 500.0) (fma (- y) 1 (* y 1))) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (cbrt 500.0) x) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (cbrt 500.0) (- y)) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (cbrt 500.0) x) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (cbrt 500.0) (- y)) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (cbrt 500.0)) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (cbrt 500.0)) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt y) (sqrt y)))) (cbrt 500.0)) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (cbrt 500.0)) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1))) (cbrt 500.0)) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (fma (- y) 1 (* y 1)) (cbrt 500.0)) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (fma (sqrt x) (sqrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (cbrt 500.0)) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (cbrt 500.0)) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (fma (sqrt x) (sqrt x) (- (* (sqrt y) (sqrt y)))) (cbrt 500.0)) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (cbrt 500.0)) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (fma (sqrt x) (sqrt x) (- (* y 1))) (cbrt 500.0)) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (fma (- y) 1 (* y 1)) (cbrt 500.0)) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (fma 1 x (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (cbrt 500.0)) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (cbrt 500.0)) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (fma 1 x (- (* (sqrt y) (sqrt y)))) (cbrt 500.0)) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (cbrt 500.0)) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (fma 1 x (- (* y 1))) (cbrt 500.0)) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (fma (- y) 1 (* y 1)) (cbrt 500.0)) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* x (cbrt 500.0)) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (- y) (cbrt 500.0)) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* x (cbrt 500.0)) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (- y) (cbrt 500.0)) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (cbrt 500.0)) (* (sqrt (cbrt 500.0)) (* (cbrt 500.0) (- x y))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- (pow x 3) (pow y 3)))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- (* x x) (* y y)))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- x y))) (- (* x (cbrt 500.0)) (* y (cbrt 500.0))) (- (* x (cbrt 500.0)) (* y (cbrt 500.0))) (- (* x (cbrt 500.0)) (* y (cbrt 500.0))) (- (* 500.0 x) (* 500.0 y)) (- (* 500.0 x) (* 500.0 y)) (- (* 500.0 x) (* 500.0 y)) 7.287 * * [simplify]: Extracting # 0 : cost 0 7.287 * * [simplify]: Extracting # 1 : cost 0 7.287 * * [simplify]: Extracting # 2 : cost 0 7.288 * * [simplify]: Extracting # 3 : cost 0 7.288 * * [simplify]: Extracting # 4 : cost 0 7.288 * * [simplify]: Extracting # 5 : cost 0 7.289 * * [simplify]: Extracting # 6 : cost 0 7.289 * * [simplify]: Extracting # 7 : cost 0 7.289 * * [simplify]: Extracting # 8 : cost 0 7.290 * * [simplify]: iteration 0 : 249 enodes (cost 3885 ) 7.379 * * [simplify]: Extracting # 0 : cost 0 7.381 * * [simplify]: Extracting # 1 : cost 0 7.383 * * [simplify]: Extracting # 2 : cost 0 7.384 * * [simplify]: Extracting # 3 : cost 0 7.385 * * [simplify]: Extracting # 4 : cost 0 7.386 * * [simplify]: Extracting # 5 : cost 0 7.388 * * [simplify]: iteration 1 : 631 enodes (cost 2396 ) 7.928 * * [simplify]: Extracting # 0 : cost 0 7.933 * * [simplify]: Extracting # 1 : cost 0 7.939 * * [simplify]: Extracting # 2 : cost 0 7.944 * * [simplify]: Extracting # 3 : cost 0 7.949 * * [simplify]: Extracting # 4 : cost 0 7.954 * * [simplify]: iteration 2 : 2315 enodes (cost 2014 ) 9.617 * * [simplify]: Extracting # 0 : cost 0 9.628 * * [simplify]: Extracting # 1 : cost 0 9.640 * * [simplify]: Extracting # 2 : cost 0 9.651 * * [simplify]: Extracting # 3 : cost 0 9.662 * * [simplify]: Extracting # 4 : cost 0 9.669 * * [simplify]: iteration done: 5001 enodes (cost 1828 ) 9.671 * [simplify]: Simplified to: (expm1 (pow (sqrt (cbrt 500.0)) 3)) (log1p (pow (sqrt (cbrt 500.0)) 3)) (* (log (sqrt (cbrt 500.0))) 3) (* (log (sqrt (cbrt 500.0))) 3) 3/2 3 1/2 3/2 (pow (sqrt (cbrt 500.0)) (* (cbrt 3) (cbrt 3))) (pow (sqrt (cbrt 500.0)) (sqrt 3)) (sqrt (cbrt 500.0)) (cbrt 500.0) (sqrt (cbrt 500.0)) (pow (sqrt (cbrt (* (cbrt 500.0) (cbrt 500.0)))) 3) (pow (sqrt (cbrt (cbrt 500.0))) 3) (pow (sqrt (cbrt (sqrt 500.0))) 3) (pow (sqrt (cbrt (sqrt 500.0))) 3) 1 (pow (sqrt (cbrt 500.0)) 3) (pow (fabs (cbrt (cbrt 500.0))) 3) (pow (sqrt (cbrt (cbrt 500.0))) 3) (pow (sqrt (sqrt (cbrt 500.0))) 3) (pow (sqrt (sqrt (cbrt 500.0))) 3) 1 (pow (sqrt (cbrt 500.0)) 3) (pow (sqrt (sqrt (cbrt 500.0))) 3) (pow (sqrt (sqrt (cbrt 500.0))) 3) 1 (pow (sqrt (cbrt 500.0)) 3) (cbrt 500.0) (* (log (sqrt (cbrt 500.0))) 3) (exp (pow (sqrt (cbrt 500.0)) 3)) (cbrt 500.0) (sqrt (cbrt 500.0)) (pow (pow (sqrt (cbrt 500.0)) 3) 3) (cbrt 500.0) (sqrt (cbrt 500.0)) (pow (sqrt (cbrt (* (cbrt 500.0) (cbrt 500.0)))) 3) (pow (sqrt (cbrt (cbrt 500.0))) 3) (pow (sqrt (cbrt (sqrt 500.0))) 3) (pow (sqrt (cbrt (sqrt 500.0))) 3) 1 (pow (sqrt (cbrt 500.0)) 3) (pow (fabs (cbrt (cbrt 500.0))) 3) (pow (sqrt (cbrt (cbrt 500.0))) 3) (pow (sqrt (sqrt (cbrt 500.0))) 3) (pow (sqrt (sqrt (cbrt 500.0))) 3) 1 (pow (sqrt (cbrt 500.0)) 3) (pow (sqrt (sqrt (cbrt 500.0))) 3) (pow (sqrt (sqrt (cbrt 500.0))) 3) 1 (pow (sqrt (cbrt 500.0)) 3) (cbrt 500.0) 3/2 (sqrt (pow (sqrt (cbrt 500.0)) 3)) (sqrt (pow (sqrt (cbrt 500.0)) 3)) (pow (sqrt (cbrt 500.0)) 3/2) (pow (sqrt (cbrt 500.0)) 3/2) (expm1 (* (cbrt 500.0) (- x y))) (log1p (* (cbrt 500.0) (- x y))) (* (- x y) (cbrt 500.0)) (log (* (cbrt 500.0) (- x y))) (log (* (cbrt 500.0) (- x y))) (exp (* (cbrt 500.0) (- x y))) (* (pow (- x y) 3) 500.0) (* (cbrt (* (cbrt 500.0) (- x y))) (cbrt (* (cbrt 500.0) (- x y)))) (cbrt (* (cbrt 500.0) (- x y))) (pow (* (- x y) (cbrt 500.0)) 3) (sqrt (* (cbrt 500.0) (- x y))) (sqrt (* (cbrt 500.0) (- x y))) (* (cbrt (sqrt 500.0)) (sqrt (- x y))) (* (cbrt (sqrt 500.0)) (sqrt (- x y))) (* (sqrt (cbrt 500.0)) (sqrt (- x y))) (* (sqrt (cbrt 500.0)) (sqrt (- x y))) (* (cbrt 500.0) (- (pow (cbrt x) 3) y)) (* (cbrt 500.0) (+ (- y) y)) (* (cbrt 500.0) (- (pow (cbrt x) 3) y)) (* (cbrt 500.0) (+ (- y) y)) (* (cbrt 500.0) (- (pow (cbrt x) 3) y)) (* (cbrt 500.0) (+ (- y) y)) (* (- x y) (cbrt 500.0)) (* (cbrt 500.0) (+ (- y) y)) (* (- x y) (cbrt 500.0)) (* (cbrt 500.0) (+ (- y) y)) (* (- x y) (cbrt 500.0)) (* (cbrt 500.0) (+ (- y) y)) (* (- x y) (cbrt 500.0)) (* (cbrt 500.0) (+ (- y) y)) (* (- x y) (cbrt 500.0)) (* (cbrt 500.0) (+ (- y) y)) (* (- x y) (cbrt 500.0)) (* (cbrt 500.0) (+ (- y) y)) (* x (cbrt 500.0)) (* (cbrt 500.0) (- y)) (* x (cbrt 500.0)) (* (cbrt 500.0) (- y)) (* (cbrt 500.0) (- (pow (cbrt x) 3) y)) (* (cbrt 500.0) (+ (- y) y)) (* (cbrt 500.0) (- (pow (cbrt x) 3) y)) (* (cbrt 500.0) (+ (- y) y)) (* (cbrt 500.0) (- (pow (cbrt x) 3) y)) (* (cbrt 500.0) (+ (- y) y)) (* (- x y) (cbrt 500.0)) (* (cbrt 500.0) (+ (- y) y)) (* (- x y) (cbrt 500.0)) (* (cbrt 500.0) (+ (- y) y)) (* (- x y) (cbrt 500.0)) (* (cbrt 500.0) (+ (- y) y)) (* (- x y) (cbrt 500.0)) (* (cbrt 500.0) (+ (- y) y)) (* (- x y) (cbrt 500.0)) (* (cbrt 500.0) (+ (- y) y)) (* (- x y) (cbrt 500.0)) (* (cbrt 500.0) (+ (- y) y)) (* x (cbrt 500.0)) (* (cbrt 500.0) (- y)) (* x (cbrt 500.0)) (* (cbrt 500.0) (- y)) (* (cbrt 500.0) (* (cbrt (- x y)) (cbrt (- x y)))) (* (cbrt 500.0) (sqrt (- x y))) (cbrt 500.0) (* (cbrt 500.0) (+ (sqrt x) (sqrt y))) (cbrt 500.0) (* (cbrt (cbrt 500.0)) (- x y)) (* (cbrt (sqrt 500.0)) (- x y)) (* (- x y) (cbrt 500.0)) (* (cbrt (cbrt 500.0)) (- x y)) (* (sqrt (cbrt 500.0)) (- x y)) (* (- x y) (cbrt 500.0)) (* (cbrt 500.0) (- (pow x 3) (pow y 3))) (* (cbrt 500.0) (- (* x x) (* y y))) (expm1 (* (pow (cbrt 500.0) 3) (- x y))) (log1p (* (pow (cbrt 500.0) 3) (- x y))) (* (pow (cbrt 500.0) 3) (- x y)) (* (pow (cbrt 500.0) 3) (- x y)) (log (* (pow (cbrt 500.0) 3) (- x y))) (log (* (pow (cbrt 500.0) 3) (- x y))) (log (* (pow (cbrt 500.0) 3) (- x y))) (log (* (pow (cbrt 500.0) 3) (- x y))) (log (* (pow (cbrt 500.0) 3) (- x y))) (log (* (pow (cbrt 500.0) 3) (- x y))) (log (* (pow (cbrt 500.0) 3) (- x y))) (log (* (pow (cbrt 500.0) 3) (- x y))) (log (* (pow (cbrt 500.0) 3) (- x y))) (pow (exp (- x y)) (pow (cbrt 500.0) 3)) (* (pow (sqrt (cbrt 500.0)) 12) (* (pow (- x y) 3) 500.0)) (pow (* (pow (cbrt 500.0) 3) (- x y)) 3) (* (pow (sqrt (cbrt 500.0)) 12) (* (pow (- x y) 3) 500.0)) (pow (* (pow (cbrt 500.0) 3) (- x y)) 3) (* (cbrt (* (pow (cbrt 500.0) 3) (- x y))) (cbrt (* (pow (cbrt 500.0) 3) (- x y)))) (cbrt (* (pow (cbrt 500.0) 3) (- x y))) (pow (* (pow (cbrt 500.0) 3) (- x y)) 3) (sqrt (* (pow (cbrt 500.0) 3) (- x y))) (sqrt (* (pow (cbrt 500.0) 3) (- x y))) (* (pow (cbrt 500.0) 3) (- (pow (cbrt x) 3) y)) (* (pow (cbrt 500.0) 3) (+ (- y) y)) (* (pow (cbrt 500.0) 3) (- (pow (cbrt x) 3) y)) (* (pow (cbrt 500.0) 3) (+ (- y) y)) (* (pow (cbrt 500.0) 3) (- (pow (cbrt x) 3) y)) (* (pow (cbrt 500.0) 3) (+ (- y) y)) (* (pow (cbrt 500.0) 3) (- x y)) (* (pow (cbrt 500.0) 3) (+ (- y) y)) (* (pow (cbrt 500.0) 3) (- x y)) (* (pow (cbrt 500.0) 3) (+ (- y) y)) (* (pow (cbrt 500.0) 3) (- x y)) (* (pow (cbrt 500.0) 3) (+ (- y) y)) (* (pow (cbrt 500.0) 3) (- x y)) (* (pow (cbrt 500.0) 3) (+ (- y) y)) (* (pow (cbrt 500.0) 3) (- x y)) (* (pow (cbrt 500.0) 3) (+ (- y) y)) (* (pow (cbrt 500.0) 3) (- x y)) (* (pow (cbrt 500.0) 3) (+ (- y) y)) (* x (pow (cbrt 500.0) 3)) (* (pow (cbrt 500.0) 3) (- y)) (* x (pow (cbrt 500.0) 3)) (* (pow (cbrt 500.0) 3) (- y)) (* (pow (cbrt 500.0) 3) (- (pow (cbrt x) 3) y)) (* (pow (cbrt 500.0) 3) (+ (- y) y)) (* (pow (cbrt 500.0) 3) (- (pow (cbrt x) 3) y)) (* (pow (cbrt 500.0) 3) (+ (- y) y)) (* (pow (cbrt 500.0) 3) (- (pow (cbrt x) 3) y)) (* (pow (cbrt 500.0) 3) (+ (- y) y)) (* (pow (cbrt 500.0) 3) (- x y)) (* (pow (cbrt 500.0) 3) (+ (- y) y)) (* (pow (cbrt 500.0) 3) (- x y)) (* (pow (cbrt 500.0) 3) (+ (- y) y)) (* (pow (cbrt 500.0) 3) (- x y)) (* (pow (cbrt 500.0) 3) (+ (- y) y)) (* (pow (cbrt 500.0) 3) (- x y)) (* (pow (cbrt 500.0) 3) (+ (- y) y)) (* (pow (cbrt 500.0) 3) (- x y)) (* (pow (cbrt 500.0) 3) (+ (- y) y)) (* (pow (cbrt 500.0) 3) (- x y)) (* (pow (cbrt 500.0) 3) (+ (- y) y)) (* x (pow (cbrt 500.0) 3)) (* (pow (cbrt 500.0) 3) (- y)) (* x (pow (cbrt 500.0) 3)) (* (pow (cbrt 500.0) 3) (- y)) (* (pow (cbrt 500.0) 3) (- (pow (cbrt x) 3) y)) (* (pow (cbrt 500.0) 3) (+ (- y) y)) (* (pow (cbrt 500.0) 3) (- (pow (cbrt x) 3) y)) (* (pow (cbrt 500.0) 3) (+ (- y) y)) (* (pow (cbrt 500.0) 3) (- (pow (cbrt x) 3) y)) (* (pow (cbrt 500.0) 3) (+ (- y) y)) (* (pow (cbrt 500.0) 3) (- x y)) (* (pow (cbrt 500.0) 3) (+ (- y) y)) (* (pow (cbrt 500.0) 3) (- x y)) (* (pow (cbrt 500.0) 3) (+ (- y) y)) (* (pow (cbrt 500.0) 3) (- x y)) (* (pow (cbrt 500.0) 3) (+ (- y) y)) (* (pow (cbrt 500.0) 3) (- x y)) (* (pow (cbrt 500.0) 3) (+ (- y) y)) (* (pow (cbrt 500.0) 3) (- x y)) (* (pow (cbrt 500.0) 3) (+ (- y) y)) (* (pow (cbrt 500.0) 3) (- x y)) (* (pow (cbrt 500.0) 3) (+ (- y) y)) (* x (pow (cbrt 500.0) 3)) (* (pow (cbrt 500.0) 3) (- y)) (* x (pow (cbrt 500.0) 3)) (* (pow (cbrt 500.0) 3) (- y)) (* (pow (cbrt 500.0) 3) (- (pow (cbrt x) 3) y)) (* (pow (cbrt 500.0) 3) (+ (- y) y)) (* (pow (cbrt 500.0) 3) (- (pow (cbrt x) 3) y)) (* (pow (cbrt 500.0) 3) (+ (- y) y)) (* (pow (cbrt 500.0) 3) (- (pow (cbrt x) 3) y)) (* (pow (cbrt 500.0) 3) (+ (- y) y)) (* (pow (cbrt 500.0) 3) (- x y)) (* (pow (cbrt 500.0) 3) (+ (- y) y)) (* (pow (cbrt 500.0) 3) (- x y)) (* (pow (cbrt 500.0) 3) (+ (- y) y)) (* (pow (cbrt 500.0) 3) (- x y)) (* (pow (cbrt 500.0) 3) (+ (- y) y)) (* (pow (cbrt 500.0) 3) (- x y)) (* (pow (cbrt 500.0) 3) (+ (- y) y)) (* (pow (cbrt 500.0) 3) (- x y)) (* (pow (cbrt 500.0) 3) (+ (- y) y)) (* (pow (cbrt 500.0) 3) (- x y)) (* (pow (cbrt 500.0) 3) (+ (- y) y)) (* x (pow (cbrt 500.0) 3)) (* (pow (cbrt 500.0) 3) (- y)) (* x (pow (cbrt 500.0) 3)) (* (pow (cbrt 500.0) 3) (- y)) (pow (cbrt 500.0) 3) (* (pow (sqrt (cbrt 500.0)) 3) (- x y)) (* (- (pow x 3) (pow y 3)) (pow (cbrt 500.0) 3)) (* (pow (cbrt 500.0) 3) (fma (- y) y (* x x))) (* (pow (cbrt 500.0) 3) (- x y)) (* (- x y) (cbrt 500.0)) (* (- x y) (cbrt 500.0)) (* (- x y) (cbrt 500.0)) (* 500.0 (- x y)) (* 500.0 (- x y)) (* 500.0 (- x y)) 9.672 * * * [progress]: adding candidates to table 10.026 * [progress]: [Phase 3 of 3] Extracting. 10.026 * * [regime]: Finding splitpoints for: (# # #) 10.026 * * * [regime-changes]: Trying 4 branch expressions: ((- x y) (* 500.0 (- x y)) y x) 10.026 * * * * [regimes]: Trying to branch on (- x y) from (# # #) 10.055 * * * * [regimes]: Trying to branch on (* 500.0 (- x y)) from (# # #) 10.087 * * * * [regimes]: Trying to branch on y from (# # #) 10.115 * * * * [regimes]: Trying to branch on x from (# # #) 10.142 * * * [regime]: Found split indices: #