19.453 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.020 * * * [progress]: [2/2] Setting up program. 0.022 * [progress]: [Phase 2 of 3] Improving. 0.023 * [simplify]: Simplifying: (* 500.0 (- x y)) 0.023 * * [simplify]: Extracting # 0 : cost 0 0.023 * * [simplify]: Extracting # 1 : cost 0 0.023 * * [simplify]: Extracting # 2 : cost 0 0.023 * * [simplify]: Extracting # 3 : cost 0 0.023 * * [simplify]: Extracting # 4 : cost 0 0.023 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.024 * * [simplify]: Extracting # 0 : cost 0 0.024 * * [simplify]: Extracting # 1 : cost 0 0.024 * * [simplify]: Extracting # 2 : cost 0 0.024 * * [simplify]: iteration 1 : 8 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 2 : 15 enodes (cost 5 ) 0.032 * * [simplify]: Extracting # 0 : cost 0 0.032 * * [simplify]: Extracting # 1 : cost 0 0.032 * * [simplify]: Extracting # 2 : cost 0 0.032 * * [simplify]: iteration 3 : 21 enodes (cost 5 ) 0.045 * * [simplify]: Extracting # 0 : cost 0 0.045 * * [simplify]: Extracting # 1 : cost 0 0.045 * * [simplify]: Extracting # 2 : cost 0 0.045 * * [simplify]: iteration 4 : 26 enodes (cost 5 ) 0.053 * * [simplify]: Extracting # 0 : cost 0 0.053 * * [simplify]: iteration done: 26 enodes (cost 5 ) 0.053 * [simplify]: Simplified to: (* 500.0 (- x y)) 0.054 * * [progress]: iteration 1 / 4 0.054 * * * [progress]: picking best candidate 0.056 * * * * [pick]: Picked # 0.056 * * * [progress]: localizing error 0.060 * * * [progress]: generating rewritten candidates 0.060 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.083 * * * [progress]: generating series expansions 0.083 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.084 * [backup-simplify]: Simplify (* 500.0 (- x y)) into (* 500.0 (- x y)) 0.084 * [approximate]: Taking taylor expansion of (* 500.0 (- x y)) in (x y) around 0 0.084 * [taylor]: Taking taylor expansion of (* 500.0 (- x 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 (- x y) in y 0.084 * [taylor]: Taking taylor expansion of x in y 0.084 * [backup-simplify]: Simplify x into x 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 * [taylor]: Taking taylor expansion of (* 500.0 (- x y)) in x 0.084 * [taylor]: Taking taylor expansion of 500.0 in x 0.084 * [backup-simplify]: Simplify 500.0 into 500.0 0.084 * [taylor]: Taking taylor expansion of (- x y) in x 0.084 * [taylor]: Taking taylor expansion of x in x 0.084 * [backup-simplify]: Simplify 0 into 0 0.084 * [backup-simplify]: Simplify 1 into 1 0.084 * [taylor]: Taking taylor expansion of y in x 0.084 * [backup-simplify]: Simplify y into y 0.084 * [taylor]: Taking taylor expansion of (* 500.0 (- x y)) in x 0.084 * [taylor]: Taking taylor expansion of 500.0 in x 0.084 * [backup-simplify]: Simplify 500.0 into 500.0 0.084 * [taylor]: Taking taylor expansion of (- x y) in x 0.084 * [taylor]: Taking taylor expansion of x in x 0.084 * [backup-simplify]: Simplify 0 into 0 0.084 * [backup-simplify]: Simplify 1 into 1 0.084 * [taylor]: Taking taylor expansion of y in x 0.084 * [backup-simplify]: Simplify y into y 0.084 * [backup-simplify]: Simplify (- y) into (- y) 0.084 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 0.084 * [backup-simplify]: Simplify (* 500.0 (- y)) into (* -500.0 y) 0.084 * [taylor]: Taking taylor expansion of (* -500.0 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 y in y 0.085 * [backup-simplify]: Simplify 0 into 0 0.085 * [backup-simplify]: Simplify 1 into 1 0.085 * [backup-simplify]: Simplify (* -500.0 0) into 0 0.085 * [backup-simplify]: Simplify 0 into 0 0.086 * [backup-simplify]: Simplify (- 0) into 0 0.086 * [backup-simplify]: Simplify (+ 1 0) into 1 0.086 * [backup-simplify]: Simplify (+ (* 500.0 1) (* 0 (- y))) into 500.0 0.086 * [taylor]: Taking taylor expansion of 500.0 in y 0.086 * [backup-simplify]: Simplify 500.0 into 500.0 0.086 * [backup-simplify]: Simplify 500.0 into 500.0 0.088 * [backup-simplify]: Simplify (+ (* -500.0 1) (* 0 0)) into (- 500.0) 0.088 * [backup-simplify]: Simplify (- 500.0) into (- 500.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 1) (* 0 (- y)))) 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.090 * [backup-simplify]: Simplify 0 into 0 0.091 * [backup-simplify]: Simplify (+ (* -500.0 0) (+ (* 0 1) (* 0 0))) into 0 0.091 * [backup-simplify]: Simplify 0 into 0 0.091 * [backup-simplify]: Simplify (- 0) into 0 0.091 * [backup-simplify]: Simplify (+ 0 0) into 0 0.093 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- y))))) into 0 0.093 * [taylor]: Taking taylor expansion of 0 in y 0.093 * [backup-simplify]: Simplify 0 into 0 0.093 * [backup-simplify]: Simplify 0 into 0 0.093 * [backup-simplify]: Simplify 0 into 0 0.093 * [backup-simplify]: Simplify 0 into 0 0.093 * [backup-simplify]: Simplify (+ (* (- 500.0) (* y 1)) (* 500.0 (* 1 x))) into (- (* 500.0 x) (* 500.0 y)) 0.093 * [backup-simplify]: Simplify (* 500.0 (- (/ 1 x) (/ 1 y))) into (* 500.0 (- (/ 1 x) (/ 1 y))) 0.093 * [approximate]: Taking taylor expansion of (* 500.0 (- (/ 1 x) (/ 1 y))) in (x y) around 0 0.094 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 x) (/ 1 y))) 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 x) (/ 1 y)) in y 0.094 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.094 * [taylor]: Taking taylor expansion of x in y 0.094 * [backup-simplify]: Simplify x into x 0.094 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.094 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.094 * [taylor]: Taking taylor expansion of y in y 0.094 * [backup-simplify]: Simplify 0 into 0 0.094 * [backup-simplify]: Simplify 1 into 1 0.094 * [backup-simplify]: Simplify (/ 1 1) into 1 0.094 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 x) (/ 1 y))) in x 0.094 * [taylor]: Taking taylor expansion of 500.0 in x 0.094 * [backup-simplify]: Simplify 500.0 into 500.0 0.094 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.094 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.094 * [taylor]: Taking taylor expansion of x in x 0.094 * [backup-simplify]: Simplify 0 into 0 0.094 * [backup-simplify]: Simplify 1 into 1 0.095 * [backup-simplify]: Simplify (/ 1 1) into 1 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 (* 500.0 (- (/ 1 x) (/ 1 y))) 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 x) (/ 1 y)) in x 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 (/ 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.096 * [backup-simplify]: Simplify (+ 1 0) into 1 0.096 * [backup-simplify]: Simplify (* 500.0 1) into 500.0 0.096 * [taylor]: Taking taylor expansion of 500.0 in y 0.096 * [backup-simplify]: Simplify 500.0 into 500.0 0.097 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.097 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 0.097 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) 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 (/ 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.099 * [backup-simplify]: Simplify (* 500.0 1) into 500.0 0.099 * [backup-simplify]: Simplify (- 500.0) into (- 500.0) 0.099 * [backup-simplify]: Simplify (- 500.0) into (- 500.0) 0.099 * [backup-simplify]: Simplify 500.0 into 500.0 0.100 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.100 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.101 * [backup-simplify]: Simplify (- 0) into 0 0.101 * [backup-simplify]: Simplify (+ 0 0) into 0 0.102 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 (- (/ 1 y))) (* 0 1))) into 0 0.102 * [taylor]: Taking taylor expansion of 0 in y 0.102 * [backup-simplify]: Simplify 0 into 0 0.103 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.104 * [backup-simplify]: Simplify (+ (* 500.0 0) (* 0 1)) into 0 0.104 * [backup-simplify]: Simplify (- 0) into 0 0.104 * [backup-simplify]: Simplify 0 into 0 0.104 * [backup-simplify]: Simplify 0 into 0 0.105 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.105 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.106 * [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 (- (/ 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.108 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.109 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (* 0 1))) into 0 0.109 * [backup-simplify]: Simplify (- 0) into 0 0.109 * [backup-simplify]: Simplify 0 into 0 0.110 * [backup-simplify]: Simplify 0 into 0 0.110 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.111 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.111 * [backup-simplify]: Simplify (- 0) into 0 0.111 * [backup-simplify]: Simplify (+ 0 0) into 0 0.113 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1))))) into 0 0.113 * [taylor]: Taking taylor expansion of 0 in y 0.113 * [backup-simplify]: Simplify 0 into 0 0.113 * [backup-simplify]: Simplify 0 into 0 0.114 * [backup-simplify]: Simplify (+ (* 500.0 (* 1 (/ 1 (/ 1 x)))) (* (- 500.0) (* (/ 1 (/ 1 y)) 1))) into (- (* 500.0 x) (* 500.0 y)) 0.114 * [backup-simplify]: Simplify (* 500.0 (- (/ 1 (- x)) (/ 1 (- y)))) into (* 500.0 (- (/ 1 y) (/ 1 x))) 0.114 * [approximate]: Taking taylor expansion of (* 500.0 (- (/ 1 y) (/ 1 x))) in (x y) around 0 0.114 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 y) (/ 1 x))) in y 0.114 * [taylor]: Taking taylor expansion of 500.0 in y 0.114 * [backup-simplify]: Simplify 500.0 into 500.0 0.114 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.114 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.114 * [taylor]: Taking taylor expansion of y in y 0.114 * [backup-simplify]: Simplify 0 into 0 0.114 * [backup-simplify]: Simplify 1 into 1 0.114 * [backup-simplify]: Simplify (/ 1 1) into 1 0.114 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.115 * [taylor]: Taking taylor expansion of x in y 0.115 * [backup-simplify]: Simplify x into x 0.115 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.115 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 y) (/ 1 x))) in x 0.115 * [taylor]: Taking taylor expansion of 500.0 in x 0.115 * [backup-simplify]: Simplify 500.0 into 500.0 0.115 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.115 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.115 * [taylor]: Taking taylor expansion of y in x 0.115 * [backup-simplify]: Simplify y into y 0.115 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.115 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.115 * [taylor]: Taking taylor expansion of x in x 0.115 * [backup-simplify]: Simplify 0 into 0 0.115 * [backup-simplify]: Simplify 1 into 1 0.116 * [backup-simplify]: Simplify (/ 1 1) into 1 0.116 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 y) (/ 1 x))) in x 0.116 * [taylor]: Taking taylor expansion of 500.0 in x 0.116 * [backup-simplify]: Simplify 500.0 into 500.0 0.116 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.116 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.116 * [taylor]: Taking taylor expansion of y in x 0.116 * [backup-simplify]: Simplify y into y 0.116 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.116 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.116 * [taylor]: Taking taylor expansion of x in x 0.116 * [backup-simplify]: Simplify 0 into 0 0.116 * [backup-simplify]: Simplify 1 into 1 0.116 * [backup-simplify]: Simplify (/ 1 1) into 1 0.117 * [backup-simplify]: Simplify (- 1) into -1 0.117 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.118 * [backup-simplify]: Simplify (* 500.0 -1) into -500.0 0.118 * [taylor]: Taking taylor expansion of -500.0 in y 0.118 * [backup-simplify]: Simplify -500.0 into -500.0 0.118 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.119 * [backup-simplify]: Simplify (- 0) into 0 0.119 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 0.119 * [backup-simplify]: Simplify (+ (* 500.0 (/ 1 y)) (* 0 -1)) into (* 500.0 (/ 1 y)) 0.119 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y 0.119 * [taylor]: Taking taylor expansion of 500.0 in y 0.119 * [backup-simplify]: Simplify 500.0 into 500.0 0.119 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.119 * [taylor]: Taking taylor expansion of y in y 0.119 * [backup-simplify]: Simplify 0 into 0 0.119 * [backup-simplify]: Simplify 1 into 1 0.120 * [backup-simplify]: Simplify (/ 1 1) into 1 0.120 * [backup-simplify]: Simplify (* 500.0 1) into 500.0 0.120 * [backup-simplify]: Simplify 500.0 into 500.0 0.120 * [backup-simplify]: Simplify -500.0 into -500.0 0.121 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.121 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.122 * [backup-simplify]: Simplify (- 0) into 0 0.122 * [backup-simplify]: Simplify (+ 0 0) into 0 0.123 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 (/ 1 y)) (* 0 -1))) into 0 0.123 * [taylor]: Taking taylor expansion of 0 in y 0.123 * [backup-simplify]: Simplify 0 into 0 0.124 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.124 * [backup-simplify]: Simplify (+ (* 500.0 0) (* 0 1)) into 0 0.124 * [backup-simplify]: Simplify 0 into 0 0.124 * [backup-simplify]: Simplify 0 into 0 0.125 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.126 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.126 * [backup-simplify]: Simplify (- 0) into 0 0.126 * [backup-simplify]: Simplify (+ 0 0) into 0 0.127 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1)))) into 0 0.128 * [taylor]: Taking taylor expansion of 0 in y 0.128 * [backup-simplify]: Simplify 0 into 0 0.128 * [backup-simplify]: Simplify 0 into 0 0.128 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.129 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (* 0 1))) into 0 0.129 * [backup-simplify]: Simplify 0 into 0 0.129 * [backup-simplify]: Simplify 0 into 0 0.130 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.131 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.131 * [backup-simplify]: Simplify (- 0) into 0 0.131 * [backup-simplify]: Simplify (+ 0 0) into 0 0.133 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1))))) into 0 0.133 * [taylor]: Taking taylor expansion of 0 in y 0.133 * [backup-simplify]: Simplify 0 into 0 0.133 * [backup-simplify]: Simplify 0 into 0 0.133 * [backup-simplify]: Simplify (+ (* -500.0 (* 1 (/ 1 (/ 1 (- x))))) (* 500.0 (* (/ 1 (/ 1 (- y))) 1))) into (- (* 500.0 x) (* 500.0 y)) 0.133 * * * [progress]: simplifying candidates 0.134 * [simplify]: Simplifying: (* 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 x) (* 500.0 (- y)) (* 500.0 x) (* 500.0 (- y)) (* 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.135 * * [simplify]: Extracting # 0 : cost 0 0.135 * * [simplify]: Extracting # 1 : cost 0 0.135 * * [simplify]: Extracting # 2 : cost 0 0.136 * * [simplify]: Extracting # 3 : cost 0 0.136 * * [simplify]: Extracting # 4 : cost 0 0.136 * * [simplify]: Extracting # 5 : cost 0 0.136 * * [simplify]: iteration 0 : 52 enodes (cost 217 ) 0.168 * * [simplify]: Extracting # 0 : cost 0 0.169 * * [simplify]: Extracting # 1 : cost 0 0.169 * * [simplify]: Extracting # 2 : cost 0 0.169 * * [simplify]: Extracting # 3 : cost 0 0.169 * * [simplify]: Extracting # 4 : cost 0 0.170 * * [simplify]: iteration 1 : 113 enodes (cost 206 ) 0.223 * * [simplify]: Extracting # 0 : cost 0 0.223 * * [simplify]: Extracting # 1 : cost 0 0.224 * * [simplify]: Extracting # 2 : cost 0 0.224 * * [simplify]: Extracting # 3 : cost 0 0.225 * * [simplify]: Extracting # 4 : cost 0 0.225 * * [simplify]: Extracting # 5 : cost 0 0.226 * * [simplify]: iteration 2 : 288 enodes (cost 186 ) 0.475 * * [simplify]: Extracting # 0 : cost 0 0.479 * * [simplify]: Extracting # 1 : cost 0 0.480 * * [simplify]: Extracting # 2 : cost 0 0.481 * * [simplify]: Extracting # 3 : cost 0 0.482 * * [simplify]: Extracting # 4 : cost 0 0.483 * * [simplify]: iteration 3 : 1040 enodes (cost 186 ) 1.970 * * [simplify]: Extracting # 0 : cost 0 1.979 * * [simplify]: Extracting # 1 : cost 0 1.984 * * [simplify]: Extracting # 2 : cost 0 1.988 * * [simplify]: Extracting # 3 : cost 0 1.992 * * [simplify]: Extracting # 4 : cost 0 1.996 * * [simplify]: iteration 4 : 3890 enodes (cost 186 ) 3.148 * * [simplify]: Extracting # 0 : cost 0 3.165 * * [simplify]: Extracting # 1 : cost 0 3.173 * * [simplify]: Extracting # 2 : cost 0 3.180 * * [simplify]: Extracting # 3 : cost 0 3.187 * * [simplify]: Extracting # 4 : cost 0 3.194 * * [simplify]: iteration done: 5001 enodes (cost 186 ) 3.195 * [simplify]: Simplified to: (* 500.0 (- x y)) (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))) (* 500.0 x) (* 500.0 (- y)) (* 500.0 x) (* 500.0 (- y)) (* 500.0 x) (* 500.0 (- y)) (* 500.0 x) (* 500.0 (- y)) (* 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)) (* 500.0 (- x y)) (* 500.0 (- (pow x 3) (pow y 3))) (* 500.0 (- (* x x) (* y y))) (* 500.0 (- x y)) (* 500.0 (- x y)) (* 500.0 (- x y)) 3.195 * * * [progress]: adding candidates to table 3.272 * * [progress]: iteration 2 / 4 3.272 * * * [progress]: picking best candidate 3.280 * * * * [pick]: Picked # 3.281 * * * [progress]: localizing error 3.294 * * * [progress]: generating rewritten candidates 3.294 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 3.306 * * * [progress]: generating series expansions 3.306 * * * * [progress]: [ 1 / 1 ] generating series at (2) 3.306 * [backup-simplify]: Simplify (+ (* 500.0 x) (* 500.0 (- y))) into (- (* 500.0 x) (* 500.0 y)) 3.306 * [approximate]: Taking taylor expansion of (- (* 500.0 x) (* 500.0 y)) in (x y) around 0 3.306 * [taylor]: Taking taylor expansion of (- (* 500.0 x) (* 500.0 y)) in y 3.306 * [taylor]: Taking taylor expansion of (* 500.0 x) in y 3.306 * [taylor]: Taking taylor expansion of 500.0 in y 3.306 * [backup-simplify]: Simplify 500.0 into 500.0 3.306 * [taylor]: Taking taylor expansion of x in y 3.306 * [backup-simplify]: Simplify x into x 3.306 * [taylor]: Taking taylor expansion of (* 500.0 y) in y 3.306 * [taylor]: Taking taylor expansion of 500.0 in y 3.306 * [backup-simplify]: Simplify 500.0 into 500.0 3.306 * [taylor]: Taking taylor expansion of y in y 3.306 * [backup-simplify]: Simplify 0 into 0 3.306 * [backup-simplify]: Simplify 1 into 1 3.306 * [taylor]: Taking taylor expansion of (- (* 500.0 x) (* 500.0 y)) in x 3.306 * [taylor]: Taking taylor expansion of (* 500.0 x) in x 3.306 * [taylor]: Taking taylor expansion of 500.0 in x 3.306 * [backup-simplify]: Simplify 500.0 into 500.0 3.306 * [taylor]: Taking taylor expansion of x in x 3.306 * [backup-simplify]: Simplify 0 into 0 3.306 * [backup-simplify]: Simplify 1 into 1 3.306 * [taylor]: Taking taylor expansion of (* 500.0 y) in x 3.306 * [taylor]: Taking taylor expansion of 500.0 in x 3.306 * [backup-simplify]: Simplify 500.0 into 500.0 3.306 * [taylor]: Taking taylor expansion of y in x 3.306 * [backup-simplify]: Simplify y into y 3.306 * [taylor]: Taking taylor expansion of (- (* 500.0 x) (* 500.0 y)) in x 3.306 * [taylor]: Taking taylor expansion of (* 500.0 x) in x 3.306 * [taylor]: Taking taylor expansion of 500.0 in x 3.306 * [backup-simplify]: Simplify 500.0 into 500.0 3.306 * [taylor]: Taking taylor expansion of x in x 3.307 * [backup-simplify]: Simplify 0 into 0 3.307 * [backup-simplify]: Simplify 1 into 1 3.307 * [taylor]: Taking taylor expansion of (* 500.0 y) in x 3.307 * [taylor]: Taking taylor expansion of 500.0 in x 3.307 * [backup-simplify]: Simplify 500.0 into 500.0 3.307 * [taylor]: Taking taylor expansion of y in x 3.307 * [backup-simplify]: Simplify y into y 3.307 * [backup-simplify]: Simplify (* 500.0 0) into 0 3.307 * [backup-simplify]: Simplify (* 500.0 y) into (* 500.0 y) 3.307 * [backup-simplify]: Simplify (- (* 500.0 y)) into (- (* 500.0 y)) 3.307 * [backup-simplify]: Simplify (+ 0 (- (* 500.0 y))) into (- (* 500.0 y)) 3.307 * [taylor]: Taking taylor expansion of (- (* 500.0 y)) in y 3.307 * [taylor]: Taking taylor expansion of (* 500.0 y) in y 3.308 * [taylor]: Taking taylor expansion of 500.0 in y 3.308 * [backup-simplify]: Simplify 500.0 into 500.0 3.308 * [taylor]: Taking taylor expansion of y in y 3.308 * [backup-simplify]: Simplify 0 into 0 3.308 * [backup-simplify]: Simplify 1 into 1 3.308 * [backup-simplify]: Simplify (* 500.0 0) into 0 3.308 * [backup-simplify]: Simplify (- 0) into 0 3.308 * [backup-simplify]: Simplify 0 into 0 3.309 * [backup-simplify]: Simplify (+ (* 500.0 1) (* 0 0)) into 500.0 3.309 * [backup-simplify]: Simplify (+ (* 500.0 0) (* 0 y)) into 0 3.309 * [backup-simplify]: Simplify (- 0) into 0 3.310 * [backup-simplify]: Simplify (+ 500.0 0) into 500.0 3.310 * [taylor]: Taking taylor expansion of 500.0 in y 3.310 * [backup-simplify]: Simplify 500.0 into 500.0 3.310 * [backup-simplify]: Simplify 500.0 into 500.0 3.311 * [backup-simplify]: Simplify (+ (* 500.0 1) (* 0 0)) into 500.0 3.311 * [backup-simplify]: Simplify (- 500.0) into (- 500.0) 3.311 * [backup-simplify]: Simplify (- 500.0) into (- 500.0) 3.312 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 1) (* 0 0))) into 0 3.312 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (* 0 y))) into 0 3.312 * [backup-simplify]: Simplify (- 0) into 0 3.313 * [backup-simplify]: Simplify (+ 0 0) into 0 3.313 * [taylor]: Taking taylor expansion of 0 in y 3.313 * [backup-simplify]: Simplify 0 into 0 3.313 * [backup-simplify]: Simplify 0 into 0 3.313 * [backup-simplify]: Simplify 0 into 0 3.313 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 1) (* 0 0))) into 0 3.314 * [backup-simplify]: Simplify (- 0) into 0 3.314 * [backup-simplify]: Simplify 0 into 0 3.314 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 3.315 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 3.315 * [backup-simplify]: Simplify (- 0) into 0 3.315 * [backup-simplify]: Simplify (+ 0 0) into 0 3.315 * [taylor]: Taking taylor expansion of 0 in y 3.315 * [backup-simplify]: Simplify 0 into 0 3.315 * [backup-simplify]: Simplify 0 into 0 3.315 * [backup-simplify]: Simplify 0 into 0 3.316 * [backup-simplify]: Simplify 0 into 0 3.316 * [backup-simplify]: Simplify (+ (* (- 500.0) (* y 1)) (* 500.0 (* 1 x))) into (- (* 500.0 x) (* 500.0 y)) 3.316 * [backup-simplify]: Simplify (+ (* 500.0 (/ 1 x)) (* 500.0 (- (/ 1 y)))) into (- (* 500.0 (/ 1 x)) (* 500.0 (/ 1 y))) 3.316 * [approximate]: Taking taylor expansion of (- (* 500.0 (/ 1 x)) (* 500.0 (/ 1 y))) in (x y) around 0 3.316 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 x)) (* 500.0 (/ 1 y))) in y 3.316 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 x)) in y 3.316 * [taylor]: Taking taylor expansion of 500.0 in y 3.316 * [backup-simplify]: Simplify 500.0 into 500.0 3.316 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.316 * [taylor]: Taking taylor expansion of x in y 3.316 * [backup-simplify]: Simplify x into x 3.316 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.316 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y 3.316 * [taylor]: Taking taylor expansion of 500.0 in y 3.316 * [backup-simplify]: Simplify 500.0 into 500.0 3.316 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.316 * [taylor]: Taking taylor expansion of y in y 3.316 * [backup-simplify]: Simplify 0 into 0 3.316 * [backup-simplify]: Simplify 1 into 1 3.317 * [backup-simplify]: Simplify (/ 1 1) into 1 3.317 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 x)) (* 500.0 (/ 1 y))) in x 3.317 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 x)) in x 3.317 * [taylor]: Taking taylor expansion of 500.0 in x 3.317 * [backup-simplify]: Simplify 500.0 into 500.0 3.317 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.317 * [taylor]: Taking taylor expansion of x in x 3.317 * [backup-simplify]: Simplify 0 into 0 3.317 * [backup-simplify]: Simplify 1 into 1 3.317 * [backup-simplify]: Simplify (/ 1 1) into 1 3.317 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in x 3.317 * [taylor]: Taking taylor expansion of 500.0 in x 3.317 * [backup-simplify]: Simplify 500.0 into 500.0 3.317 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.317 * [taylor]: Taking taylor expansion of y in x 3.317 * [backup-simplify]: Simplify y into y 3.317 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.317 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 x)) (* 500.0 (/ 1 y))) in x 3.317 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 x)) in x 3.317 * [taylor]: Taking taylor expansion of 500.0 in x 3.317 * [backup-simplify]: Simplify 500.0 into 500.0 3.317 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.317 * [taylor]: Taking taylor expansion of x in x 3.317 * [backup-simplify]: Simplify 0 into 0 3.317 * [backup-simplify]: Simplify 1 into 1 3.317 * [backup-simplify]: Simplify (/ 1 1) into 1 3.317 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in x 3.317 * [taylor]: Taking taylor expansion of 500.0 in x 3.317 * [backup-simplify]: Simplify 500.0 into 500.0 3.318 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.318 * [taylor]: Taking taylor expansion of y in x 3.318 * [backup-simplify]: Simplify y into y 3.318 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.318 * [backup-simplify]: Simplify (* 500.0 1) into 500.0 3.318 * [backup-simplify]: Simplify (+ 500.0 0) into 500.0 3.318 * [taylor]: Taking taylor expansion of 500.0 in y 3.318 * [backup-simplify]: Simplify 500.0 into 500.0 3.319 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.319 * [backup-simplify]: Simplify (+ (* 500.0 0) (* 0 1)) into 0 3.319 * [backup-simplify]: Simplify (* 500.0 (/ 1 y)) into (/ 500.0 y) 3.319 * [backup-simplify]: Simplify (- (/ 500.0 y)) into (- (* 500.0 (/ 1 y))) 3.319 * [backup-simplify]: Simplify (+ 0 (- (* 500.0 (/ 1 y)))) into (- (* 500.0 (/ 1 y))) 3.319 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 y))) in y 3.319 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y 3.319 * [taylor]: Taking taylor expansion of 500.0 in y 3.319 * [backup-simplify]: Simplify 500.0 into 500.0 3.319 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.319 * [taylor]: Taking taylor expansion of y in y 3.319 * [backup-simplify]: Simplify 0 into 0 3.319 * [backup-simplify]: Simplify 1 into 1 3.320 * [backup-simplify]: Simplify (/ 1 1) into 1 3.320 * [backup-simplify]: Simplify (* 500.0 1) into 500.0 3.320 * [backup-simplify]: Simplify (- 500.0) into (- 500.0) 3.320 * [backup-simplify]: Simplify (- 500.0) into (- 500.0) 3.320 * [backup-simplify]: Simplify 500.0 into 500.0 3.321 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.321 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (* 0 1))) into 0 3.322 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 3.322 * [backup-simplify]: Simplify (+ (* 500.0 0) (* 0 (/ 1 y))) into 0 3.322 * [backup-simplify]: Simplify (- 0) into 0 3.322 * [backup-simplify]: Simplify (+ 0 0) into 0 3.322 * [taylor]: Taking taylor expansion of 0 in y 3.322 * [backup-simplify]: Simplify 0 into 0 3.323 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.323 * [backup-simplify]: Simplify (+ (* 500.0 0) (* 0 1)) into 0 3.323 * [backup-simplify]: Simplify (- 0) into 0 3.323 * [backup-simplify]: Simplify 0 into 0 3.324 * [backup-simplify]: Simplify 0 into 0 3.324 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.325 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.325 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.325 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 3.326 * [backup-simplify]: Simplify (- 0) into 0 3.326 * [backup-simplify]: Simplify (+ 0 0) into 0 3.326 * [taylor]: Taking taylor expansion of 0 in y 3.326 * [backup-simplify]: Simplify 0 into 0 3.326 * [backup-simplify]: Simplify 0 into 0 3.326 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.327 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (* 0 1))) into 0 3.327 * [backup-simplify]: Simplify (- 0) into 0 3.327 * [backup-simplify]: Simplify 0 into 0 3.327 * [backup-simplify]: Simplify 0 into 0 3.328 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.328 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.329 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.329 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 3.329 * [backup-simplify]: Simplify (- 0) into 0 3.330 * [backup-simplify]: Simplify (+ 0 0) into 0 3.330 * [taylor]: Taking taylor expansion of 0 in y 3.330 * [backup-simplify]: Simplify 0 into 0 3.330 * [backup-simplify]: Simplify 0 into 0 3.330 * [backup-simplify]: Simplify (+ (* 500.0 (* 1 (/ 1 (/ 1 x)))) (* (- 500.0) (* (/ 1 (/ 1 y)) 1))) into (- (* 500.0 x) (* 500.0 y)) 3.330 * [backup-simplify]: Simplify (+ (* 500.0 (/ 1 (- x))) (* 500.0 (- (/ 1 (- y))))) into (- (* 500.0 (/ 1 y)) (* 500.0 (/ 1 x))) 3.330 * [approximate]: Taking taylor expansion of (- (* 500.0 (/ 1 y)) (* 500.0 (/ 1 x))) in (x y) around 0 3.330 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 y)) (* 500.0 (/ 1 x))) in y 3.330 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y 3.330 * [taylor]: Taking taylor expansion of 500.0 in y 3.330 * [backup-simplify]: Simplify 500.0 into 500.0 3.330 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.330 * [taylor]: Taking taylor expansion of y in y 3.331 * [backup-simplify]: Simplify 0 into 0 3.331 * [backup-simplify]: Simplify 1 into 1 3.331 * [backup-simplify]: Simplify (/ 1 1) into 1 3.331 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 x)) in y 3.331 * [taylor]: Taking taylor expansion of 500.0 in y 3.331 * [backup-simplify]: Simplify 500.0 into 500.0 3.331 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.331 * [taylor]: Taking taylor expansion of x in y 3.331 * [backup-simplify]: Simplify x into x 3.331 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.331 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 y)) (* 500.0 (/ 1 x))) in x 3.331 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in x 3.331 * [taylor]: Taking taylor expansion of 500.0 in x 3.331 * [backup-simplify]: Simplify 500.0 into 500.0 3.331 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.331 * [taylor]: Taking taylor expansion of y in x 3.331 * [backup-simplify]: Simplify y into y 3.331 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.331 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 x)) in x 3.331 * [taylor]: Taking taylor expansion of 500.0 in x 3.331 * [backup-simplify]: Simplify 500.0 into 500.0 3.331 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.331 * [taylor]: Taking taylor expansion of x in x 3.331 * [backup-simplify]: Simplify 0 into 0 3.331 * [backup-simplify]: Simplify 1 into 1 3.331 * [backup-simplify]: Simplify (/ 1 1) into 1 3.331 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 y)) (* 500.0 (/ 1 x))) in x 3.332 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in x 3.332 * [taylor]: Taking taylor expansion of 500.0 in x 3.332 * [backup-simplify]: Simplify 500.0 into 500.0 3.332 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.332 * [taylor]: Taking taylor expansion of y in x 3.332 * [backup-simplify]: Simplify y into y 3.332 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.332 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 x)) in x 3.332 * [taylor]: Taking taylor expansion of 500.0 in x 3.332 * [backup-simplify]: Simplify 500.0 into 500.0 3.332 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.332 * [taylor]: Taking taylor expansion of x in x 3.332 * [backup-simplify]: Simplify 0 into 0 3.332 * [backup-simplify]: Simplify 1 into 1 3.332 * [backup-simplify]: Simplify (/ 1 1) into 1 3.333 * [backup-simplify]: Simplify (* 500.0 1) into 500.0 3.333 * [backup-simplify]: Simplify (- 500.0) into (- 500.0) 3.334 * [backup-simplify]: Simplify (+ 0 (- 500.0)) into (- 500.0) 3.334 * [taylor]: Taking taylor expansion of (- 500.0) in y 3.334 * [taylor]: Taking taylor expansion of 500.0 in y 3.334 * [backup-simplify]: Simplify 500.0 into 500.0 3.334 * [backup-simplify]: Simplify (* 500.0 (/ 1 y)) into (/ 500.0 y) 3.335 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.336 * [backup-simplify]: Simplify (+ (* 500.0 0) (* 0 1)) into 0 3.336 * [backup-simplify]: Simplify (- 0) into 0 3.336 * [backup-simplify]: Simplify (+ (/ 500.0 y) 0) into (* 500.0 (/ 1 y)) 3.336 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y 3.336 * [taylor]: Taking taylor expansion of 500.0 in y 3.336 * [backup-simplify]: Simplify 500.0 into 500.0 3.336 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.336 * [taylor]: Taking taylor expansion of y in y 3.336 * [backup-simplify]: Simplify 0 into 0 3.336 * [backup-simplify]: Simplify 1 into 1 3.337 * [backup-simplify]: Simplify (/ 1 1) into 1 3.337 * [backup-simplify]: Simplify (* 500.0 1) into 500.0 3.337 * [backup-simplify]: Simplify 500.0 into 500.0 3.338 * [backup-simplify]: Simplify (- 500.0) into (- 500.0) 3.338 * [backup-simplify]: Simplify (- 500.0) into (- 500.0) 3.338 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 3.339 * [backup-simplify]: Simplify (+ (* 500.0 0) (* 0 (/ 1 y))) into 0 3.340 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.341 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (* 0 1))) into 0 3.341 * [backup-simplify]: Simplify (- 0) into 0 3.342 * [backup-simplify]: Simplify (+ 0 0) into 0 3.342 * [taylor]: Taking taylor expansion of 0 in y 3.342 * [backup-simplify]: Simplify 0 into 0 3.342 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.343 * [backup-simplify]: Simplify (+ (* 500.0 0) (* 0 1)) into 0 3.343 * [backup-simplify]: Simplify 0 into 0 3.343 * [backup-simplify]: Simplify (- 0) into 0 3.343 * [backup-simplify]: Simplify 0 into 0 3.344 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.345 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 3.346 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.347 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.347 * [backup-simplify]: Simplify (- 0) into 0 3.347 * [backup-simplify]: Simplify (+ 0 0) into 0 3.347 * [taylor]: Taking taylor expansion of 0 in y 3.347 * [backup-simplify]: Simplify 0 into 0 3.347 * [backup-simplify]: Simplify 0 into 0 3.348 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.349 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (* 0 1))) into 0 3.349 * [backup-simplify]: Simplify 0 into 0 3.349 * [backup-simplify]: Simplify (- 0) into 0 3.349 * [backup-simplify]: Simplify 0 into 0 3.349 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.350 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 3.350 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.351 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.351 * [backup-simplify]: Simplify (- 0) into 0 3.351 * [backup-simplify]: Simplify (+ 0 0) into 0 3.351 * [taylor]: Taking taylor expansion of 0 in y 3.351 * [backup-simplify]: Simplify 0 into 0 3.352 * [backup-simplify]: Simplify 0 into 0 3.352 * [backup-simplify]: Simplify (+ (* (- 500.0) (* 1 (/ 1 (/ 1 (- x))))) (* 500.0 (* (/ 1 (/ 1 (- y))) 1))) into (- (* 500.0 x) (* 500.0 y)) 3.352 * * * [progress]: simplifying candidates 3.352 * [simplify]: Simplifying: (* (exp (* 500.0 x)) (exp (* 500.0 (- y)))) (log (+ (* 500.0 x) (* 500.0 (- y)))) (exp (+ (* 500.0 x) (* 500.0 (- y)))) (* (cbrt (+ (* 500.0 x) (* 500.0 (- y)))) (cbrt (+ (* 500.0 x) (* 500.0 (- y))))) (cbrt (+ (* 500.0 x) (* 500.0 (- y)))) (* (* (+ (* 500.0 x) (* 500.0 (- y))) (+ (* 500.0 x) (* 500.0 (- y)))) (+ (* 500.0 x) (* 500.0 (- y)))) (sqrt (+ (* 500.0 x) (* 500.0 (- y)))) (sqrt (+ (* 500.0 x) (* 500.0 (- y)))) (+ (pow (* 500.0 x) 3) (pow (* 500.0 (- y)) 3)) (+ (* (* 500.0 x) (* 500.0 x)) (- (* (* 500.0 (- y)) (* 500.0 (- y))) (* (* 500.0 x) (* 500.0 (- y))))) (- (* (* 500.0 x) (* 500.0 x)) (* (* 500.0 (- y)) (* 500.0 (- y)))) (- (* 500.0 x) (* 500.0 (- y))) (+ x (- y)) (- (* 500.0 x) (* 500.0 y)) (- (* 500.0 x) (* 500.0 y)) (- (* 500.0 x) (* 500.0 y)) 3.353 * * [simplify]: Extracting # 0 : cost 0 3.353 * * [simplify]: Extracting # 1 : cost 0 3.353 * * [simplify]: Extracting # 2 : cost 0 3.353 * * [simplify]: Extracting # 3 : cost 0 3.353 * * [simplify]: Extracting # 4 : cost 0 3.353 * * [simplify]: Extracting # 5 : cost 0 3.353 * * [simplify]: iteration 0 : 31 enodes (cost 188 ) 3.362 * * [simplify]: Extracting # 0 : cost 0 3.362 * * [simplify]: Extracting # 1 : cost 0 3.362 * * [simplify]: Extracting # 2 : cost 0 3.362 * * [simplify]: Extracting # 3 : cost 0 3.362 * * [simplify]: Extracting # 4 : cost 0 3.363 * * [simplify]: iteration 1 : 105 enodes (cost 135 ) 3.403 * * [simplify]: Extracting # 0 : cost 0 3.403 * * [simplify]: Extracting # 1 : cost 0 3.404 * * [simplify]: Extracting # 2 : cost 0 3.405 * * [simplify]: Extracting # 3 : cost 0 3.405 * * [simplify]: Extracting # 4 : cost 0 3.406 * * [simplify]: Extracting # 5 : cost 0 3.406 * * [simplify]: Extracting # 6 : cost 0 3.407 * * [simplify]: iteration 2 : 411 enodes (cost 122 ) 3.841 * * [simplify]: Extracting # 0 : cost 0 3.843 * * [simplify]: Extracting # 1 : cost 0 3.845 * * [simplify]: Extracting # 2 : cost 0 3.846 * * [simplify]: Extracting # 3 : cost 0 3.848 * * [simplify]: Extracting # 4 : cost 0 3.854 * * [simplify]: iteration 3 : 1584 enodes (cost 118 ) 6.118 * * [simplify]: Extracting # 0 : cost 0 6.130 * * [simplify]: Extracting # 1 : cost 0 6.138 * * [simplify]: Extracting # 2 : cost 0 6.147 * * [simplify]: Extracting # 3 : cost 0 6.151 * * [simplify]: Extracting # 4 : cost 0 6.155 * * [simplify]: iteration done: 5001 enodes (cost 116 ) 6.156 * [simplify]: Simplified to: (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 x 3) (pow y 3)) (pow 500.0 3)) (* 500.0 (+ (* y (* (+ y x) 500.0)) (* 500.0 (* x x)))) (* (* 500.0 500.0) (- (* x x) (* y y))) (* (+ y x) 500.0) (- x y) (* 500.0 (- x y)) (* 500.0 (- x y)) (* 500.0 (- x y)) 6.156 * * * [progress]: adding candidates to table 6.187 * * [progress]: iteration 3 / 4 6.187 * * * [progress]: picking best candidate 6.193 * * * * [pick]: Picked # 6.193 * * * [progress]: localizing error 6.207 * * * [progress]: generating rewritten candidates 6.207 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 6.225 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 6.256 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 6.336 * * * [progress]: generating series expansions 6.336 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 6.336 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 6.337 * [backup-simplify]: Simplify (* (cbrt 500.0) (- x y)) into (* (- x y) (cbrt 500.0)) 6.337 * [approximate]: Taking taylor expansion of (* (- x y) (cbrt 500.0)) in (x y) around 0 6.337 * [taylor]: Taking taylor expansion of (* (- x y) (cbrt 500.0)) in y 6.337 * [taylor]: Taking taylor expansion of (- x y) in y 6.337 * [taylor]: Taking taylor expansion of x in y 6.337 * [backup-simplify]: Simplify x into x 6.337 * [taylor]: Taking taylor expansion of y in y 6.337 * [backup-simplify]: Simplify 0 into 0 6.337 * [backup-simplify]: Simplify 1 into 1 6.337 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 6.338 * [taylor]: Taking taylor expansion of 500.0 in y 6.338 * [backup-simplify]: Simplify 500.0 into 500.0 6.338 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 6.339 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 6.339 * [taylor]: Taking taylor expansion of (* (- x y) (cbrt 500.0)) in x 6.339 * [taylor]: Taking taylor expansion of (- x y) in x 6.339 * [taylor]: Taking taylor expansion of x in x 6.339 * [backup-simplify]: Simplify 0 into 0 6.339 * [backup-simplify]: Simplify 1 into 1 6.339 * [taylor]: Taking taylor expansion of y in x 6.339 * [backup-simplify]: Simplify y into y 6.339 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 6.339 * [taylor]: Taking taylor expansion of 500.0 in x 6.339 * [backup-simplify]: Simplify 500.0 into 500.0 6.339 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 6.340 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 6.340 * [taylor]: Taking taylor expansion of (* (- x y) (cbrt 500.0)) in x 6.340 * [taylor]: Taking taylor expansion of (- x y) in x 6.340 * [taylor]: Taking taylor expansion of x in x 6.340 * [backup-simplify]: Simplify 0 into 0 6.340 * [backup-simplify]: Simplify 1 into 1 6.340 * [taylor]: Taking taylor expansion of y in x 6.340 * [backup-simplify]: Simplify y into y 6.340 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 6.340 * [taylor]: Taking taylor expansion of 500.0 in x 6.341 * [backup-simplify]: Simplify 500.0 into 500.0 6.341 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 6.342 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 6.342 * [backup-simplify]: Simplify (- y) into (- y) 6.342 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 6.342 * [backup-simplify]: Simplify (* (- y) (cbrt 500.0)) into (* -1 (* y (cbrt 500.0))) 6.342 * [taylor]: Taking taylor expansion of (* -1 (* y (cbrt 500.0))) in y 6.342 * [taylor]: Taking taylor expansion of -1 in y 6.342 * [backup-simplify]: Simplify -1 into -1 6.342 * [taylor]: Taking taylor expansion of (* y (cbrt 500.0)) in y 6.342 * [taylor]: Taking taylor expansion of y in y 6.343 * [backup-simplify]: Simplify 0 into 0 6.343 * [backup-simplify]: Simplify 1 into 1 6.343 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 6.343 * [taylor]: Taking taylor expansion of 500.0 in y 6.343 * [backup-simplify]: Simplify 500.0 into 500.0 6.343 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 6.344 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 6.344 * [backup-simplify]: Simplify (* 0 (cbrt 500.0)) into 0 6.345 * [backup-simplify]: Simplify (* -1 0) into 0 6.345 * [backup-simplify]: Simplify 0 into 0 6.345 * [backup-simplify]: Simplify (- 0) into 0 6.346 * [backup-simplify]: Simplify (+ 1 0) into 1 6.347 * [backup-simplify]: Simplify (+ (* (- y) 0) (* 1 (cbrt 500.0))) into (cbrt 500.0) 6.347 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 6.347 * [taylor]: Taking taylor expansion of 500.0 in y 6.347 * [backup-simplify]: Simplify 500.0 into 500.0 6.347 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 6.348 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 6.348 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 6.350 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (cbrt 500.0))) into (cbrt 500.0) 6.352 * [backup-simplify]: Simplify (+ (* -1 (cbrt 500.0)) (* 0 0)) into (- (cbrt 500.0)) 6.353 * [backup-simplify]: Simplify (- (cbrt 500.0)) into (- (cbrt 500.0)) 6.354 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 6.354 * [backup-simplify]: Simplify (- 0) into 0 6.354 * [backup-simplify]: Simplify (+ 0 0) into 0 6.355 * [backup-simplify]: Simplify (+ (* (- y) 0) (+ (* 1 0) (* 0 (cbrt 500.0)))) into 0 6.355 * [taylor]: Taking taylor expansion of 0 in y 6.355 * [backup-simplify]: Simplify 0 into 0 6.355 * [backup-simplify]: Simplify 0 into 0 6.355 * [backup-simplify]: Simplify 0 into 0 6.356 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 6.356 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (cbrt 500.0)))) into 0 6.357 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (cbrt 500.0)) (* 0 0))) into 0 6.357 * [backup-simplify]: Simplify 0 into 0 6.358 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 500.0))) into 0 6.358 * [backup-simplify]: Simplify (- 0) into 0 6.358 * [backup-simplify]: Simplify (+ 0 0) into 0 6.359 * [backup-simplify]: Simplify (+ (* (- y) 0) (+ (* 1 0) (+ (* 0 0) (* 0 (cbrt 500.0))))) into 0 6.359 * [taylor]: Taking taylor expansion of 0 in y 6.359 * [backup-simplify]: Simplify 0 into 0 6.359 * [backup-simplify]: Simplify 0 into 0 6.359 * [backup-simplify]: Simplify 0 into 0 6.360 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 6.360 * [backup-simplify]: Simplify 0 into 0 6.361 * [backup-simplify]: Simplify (+ (* (- (cbrt 500.0)) (* y 1)) (* (cbrt 500.0) (* 1 x))) into (- (* x (cbrt 500.0)) (* y (cbrt 500.0))) 6.361 * [backup-simplify]: Simplify (* (cbrt 500.0) (- (/ 1 x) (/ 1 y))) into (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) 6.361 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in (x y) around 0 6.361 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in y 6.361 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 6.361 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.361 * [taylor]: Taking taylor expansion of x in y 6.361 * [backup-simplify]: Simplify x into x 6.361 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.361 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.361 * [taylor]: Taking taylor expansion of y in y 6.361 * [backup-simplify]: Simplify 0 into 0 6.361 * [backup-simplify]: Simplify 1 into 1 6.361 * [backup-simplify]: Simplify (/ 1 1) into 1 6.361 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 6.361 * [taylor]: Taking taylor expansion of 500.0 in y 6.361 * [backup-simplify]: Simplify 500.0 into 500.0 6.362 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 6.362 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 6.362 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in x 6.362 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 6.362 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.362 * [taylor]: Taking taylor expansion of x in x 6.362 * [backup-simplify]: Simplify 0 into 0 6.362 * [backup-simplify]: Simplify 1 into 1 6.362 * [backup-simplify]: Simplify (/ 1 1) into 1 6.363 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.363 * [taylor]: Taking taylor expansion of y in x 6.363 * [backup-simplify]: Simplify y into y 6.363 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.363 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 6.363 * [taylor]: Taking taylor expansion of 500.0 in x 6.363 * [backup-simplify]: Simplify 500.0 into 500.0 6.363 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 6.363 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 6.363 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in x 6.363 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 6.363 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.363 * [taylor]: Taking taylor expansion of x in x 6.363 * [backup-simplify]: Simplify 0 into 0 6.363 * [backup-simplify]: Simplify 1 into 1 6.364 * [backup-simplify]: Simplify (/ 1 1) into 1 6.364 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.364 * [taylor]: Taking taylor expansion of y in x 6.364 * [backup-simplify]: Simplify y into y 6.364 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.364 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 6.364 * [taylor]: Taking taylor expansion of 500.0 in x 6.364 * [backup-simplify]: Simplify 500.0 into 500.0 6.364 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 6.365 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 6.365 * [backup-simplify]: Simplify (+ 1 0) into 1 6.365 * [backup-simplify]: Simplify (* 1 (cbrt 500.0)) into (cbrt 500.0) 6.365 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 6.365 * [taylor]: Taking taylor expansion of 500.0 in y 6.365 * [backup-simplify]: Simplify 500.0 into 500.0 6.366 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 6.366 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 6.367 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.367 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 6.367 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 6.367 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 y)) (cbrt 500.0))) into (- (/ (cbrt 500.0) y)) 6.367 * [taylor]: Taking taylor expansion of (- (/ (cbrt 500.0) y)) in y 6.367 * [taylor]: Taking taylor expansion of (/ (cbrt 500.0) y) in y 6.367 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 6.367 * [taylor]: Taking taylor expansion of 500.0 in y 6.367 * [backup-simplify]: Simplify 500.0 into 500.0 6.368 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 6.368 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 6.368 * [taylor]: Taking taylor expansion of y in y 6.368 * [backup-simplify]: Simplify 0 into 0 6.368 * [backup-simplify]: Simplify 1 into 1 6.369 * [backup-simplify]: Simplify (/ (cbrt 500.0) 1) into (cbrt 500.0) 6.369 * [backup-simplify]: Simplify (- (cbrt 500.0)) into (- (cbrt 500.0)) 6.370 * [backup-simplify]: Simplify (- (cbrt 500.0)) into (- (cbrt 500.0)) 6.370 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 6.371 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 6.371 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.371 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 6.372 * [backup-simplify]: Simplify (- 0) into 0 6.372 * [backup-simplify]: Simplify (+ 0 0) into 0 6.373 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (* 0 (cbrt 500.0)))) into 0 6.373 * [taylor]: Taking taylor expansion of 0 in y 6.373 * [backup-simplify]: Simplify 0 into 0 6.373 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 500.0) (/ 0 1)))) into 0 6.373 * [backup-simplify]: Simplify (- 0) into 0 6.373 * [backup-simplify]: Simplify 0 into 0 6.374 * [backup-simplify]: Simplify 0 into 0 6.374 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 500.0))) into 0 6.375 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.375 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.375 * [backup-simplify]: Simplify (- 0) into 0 6.376 * [backup-simplify]: Simplify (+ 0 0) into 0 6.376 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 0) (* 0 (cbrt 500.0))))) into 0 6.376 * [taylor]: Taking taylor expansion of 0 in y 6.376 * [backup-simplify]: Simplify 0 into 0 6.376 * [backup-simplify]: Simplify 0 into 0 6.377 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 6.378 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 500.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.378 * [backup-simplify]: Simplify (- 0) into 0 6.378 * [backup-simplify]: Simplify 0 into 0 6.379 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 6.379 * [backup-simplify]: Simplify 0 into 0 6.380 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 6.381 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.381 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.382 * [backup-simplify]: Simplify (- 0) into 0 6.382 * [backup-simplify]: Simplify (+ 0 0) into 0 6.384 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0)))))) into 0 6.384 * [taylor]: Taking taylor expansion of 0 in y 6.384 * [backup-simplify]: Simplify 0 into 0 6.384 * [backup-simplify]: Simplify 0 into 0 6.385 * [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))) 6.386 * [backup-simplify]: Simplify (* (cbrt 500.0) (- (/ 1 (- x)) (/ 1 (- y)))) into (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0)) 6.386 * [approximate]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0)) in (x y) around 0 6.386 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0)) in y 6.386 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 6.386 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.386 * [taylor]: Taking taylor expansion of y in y 6.386 * [backup-simplify]: Simplify 0 into 0 6.386 * [backup-simplify]: Simplify 1 into 1 6.387 * [backup-simplify]: Simplify (/ 1 1) into 1 6.387 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.387 * [taylor]: Taking taylor expansion of x in y 6.387 * [backup-simplify]: Simplify x into x 6.387 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.387 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 6.387 * [taylor]: Taking taylor expansion of 500.0 in y 6.387 * [backup-simplify]: Simplify 500.0 into 500.0 6.387 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 6.388 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 6.388 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0)) in x 6.388 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 6.388 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.388 * [taylor]: Taking taylor expansion of y in x 6.388 * [backup-simplify]: Simplify y into y 6.388 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.388 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.388 * [taylor]: Taking taylor expansion of x in x 6.388 * [backup-simplify]: Simplify 0 into 0 6.388 * [backup-simplify]: Simplify 1 into 1 6.389 * [backup-simplify]: Simplify (/ 1 1) into 1 6.389 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 6.389 * [taylor]: Taking taylor expansion of 500.0 in x 6.389 * [backup-simplify]: Simplify 500.0 into 500.0 6.389 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 6.390 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 6.390 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0)) in x 6.390 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 6.390 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.390 * [taylor]: Taking taylor expansion of y in x 6.390 * [backup-simplify]: Simplify y into y 6.390 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.390 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.390 * [taylor]: Taking taylor expansion of x in x 6.390 * [backup-simplify]: Simplify 0 into 0 6.390 * [backup-simplify]: Simplify 1 into 1 6.391 * [backup-simplify]: Simplify (/ 1 1) into 1 6.391 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 6.391 * [taylor]: Taking taylor expansion of 500.0 in x 6.391 * [backup-simplify]: Simplify 500.0 into 500.0 6.391 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 6.392 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 6.392 * [backup-simplify]: Simplify (- 1) into -1 6.393 * [backup-simplify]: Simplify (+ 0 -1) into -1 6.394 * [backup-simplify]: Simplify (* -1 (cbrt 500.0)) into (* -1 (cbrt 500.0)) 6.394 * [taylor]: Taking taylor expansion of (* -1 (cbrt 500.0)) in y 6.394 * [taylor]: Taking taylor expansion of -1 in y 6.394 * [backup-simplify]: Simplify -1 into -1 6.394 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 6.394 * [taylor]: Taking taylor expansion of 500.0 in y 6.394 * [backup-simplify]: Simplify 500.0 into 500.0 6.394 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 6.395 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 6.396 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.396 * [backup-simplify]: Simplify (- 0) into 0 6.396 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 6.397 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 y) (cbrt 500.0))) into (/ (cbrt 500.0) y) 6.397 * [taylor]: Taking taylor expansion of (/ (cbrt 500.0) y) in y 6.397 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 6.397 * [taylor]: Taking taylor expansion of 500.0 in y 6.397 * [backup-simplify]: Simplify 500.0 into 500.0 6.398 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 6.399 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 6.399 * [taylor]: Taking taylor expansion of y in y 6.399 * [backup-simplify]: Simplify 0 into 0 6.399 * [backup-simplify]: Simplify 1 into 1 6.400 * [backup-simplify]: Simplify (/ (cbrt 500.0) 1) into (cbrt 500.0) 6.400 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 6.401 * [backup-simplify]: Simplify (* -1 (cbrt 500.0)) into (* -1 (cbrt 500.0)) 6.402 * [backup-simplify]: Simplify (* -1 (cbrt 500.0)) into (* -1 (cbrt 500.0)) 6.404 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 6.404 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 6.405 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.405 * [backup-simplify]: Simplify (- 0) into 0 6.406 * [backup-simplify]: Simplify (+ 0 0) into 0 6.407 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (* 0 (cbrt 500.0)))) into 0 6.407 * [taylor]: Taking taylor expansion of 0 in y 6.407 * [backup-simplify]: Simplify 0 into 0 6.408 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 500.0) (/ 0 1)))) into 0 6.408 * [backup-simplify]: Simplify 0 into 0 6.409 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (cbrt 500.0))) into 0 6.409 * [backup-simplify]: Simplify 0 into 0 6.410 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 500.0))) into 0 6.411 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.412 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.412 * [backup-simplify]: Simplify (- 0) into 0 6.412 * [backup-simplify]: Simplify (+ 0 0) into 0 6.419 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (* 0 (cbrt 500.0))))) into 0 6.419 * [taylor]: Taking taylor expansion of 0 in y 6.419 * [backup-simplify]: Simplify 0 into 0 6.419 * [backup-simplify]: Simplify 0 into 0 6.421 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 6.422 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 500.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.422 * [backup-simplify]: Simplify 0 into 0 6.423 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 6.424 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (cbrt 500.0)))) into 0 6.424 * [backup-simplify]: Simplify 0 into 0 6.426 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 6.427 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.427 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.428 * [backup-simplify]: Simplify (- 0) into 0 6.428 * [backup-simplify]: Simplify (+ 0 0) into 0 6.429 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0)))))) into 0 6.429 * [taylor]: Taking taylor expansion of 0 in y 6.429 * [backup-simplify]: Simplify 0 into 0 6.430 * [backup-simplify]: Simplify 0 into 0 6.431 * [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))) 6.431 * * * * [progress]: [ 3 / 3 ] generating series at (2) 6.433 * [backup-simplify]: Simplify (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y))) into (* (- x y) (pow (cbrt 500.0) 3)) 6.433 * [approximate]: Taking taylor expansion of (* (- x y) (pow (cbrt 500.0) 3)) in (x y) around 0 6.433 * [taylor]: Taking taylor expansion of (* (- x y) (pow (cbrt 500.0) 3)) in y 6.433 * [taylor]: Taking taylor expansion of (- x y) in y 6.433 * [taylor]: Taking taylor expansion of x in y 6.433 * [backup-simplify]: Simplify x into x 6.433 * [taylor]: Taking taylor expansion of y in y 6.433 * [backup-simplify]: Simplify 0 into 0 6.433 * [backup-simplify]: Simplify 1 into 1 6.433 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in y 6.433 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 6.433 * [taylor]: Taking taylor expansion of 500.0 in y 6.433 * [backup-simplify]: Simplify 500.0 into 500.0 6.434 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 6.434 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 6.434 * [taylor]: Taking taylor expansion of (* (- x y) (pow (cbrt 500.0) 3)) in x 6.434 * [taylor]: Taking taylor expansion of (- x y) in x 6.434 * [taylor]: Taking taylor expansion of x in x 6.434 * [backup-simplify]: Simplify 0 into 0 6.434 * [backup-simplify]: Simplify 1 into 1 6.434 * [taylor]: Taking taylor expansion of y in x 6.434 * [backup-simplify]: Simplify y into y 6.435 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 6.435 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 6.435 * [taylor]: Taking taylor expansion of 500.0 in x 6.435 * [backup-simplify]: Simplify 500.0 into 500.0 6.435 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 6.436 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 6.436 * [taylor]: Taking taylor expansion of (* (- x y) (pow (cbrt 500.0) 3)) in x 6.436 * [taylor]: Taking taylor expansion of (- x y) in x 6.436 * [taylor]: Taking taylor expansion of x in x 6.436 * [backup-simplify]: Simplify 0 into 0 6.436 * [backup-simplify]: Simplify 1 into 1 6.436 * [taylor]: Taking taylor expansion of y in x 6.436 * [backup-simplify]: Simplify y into y 6.436 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 6.436 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 6.436 * [taylor]: Taking taylor expansion of 500.0 in x 6.436 * [backup-simplify]: Simplify 500.0 into 500.0 6.437 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 6.437 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 6.437 * [backup-simplify]: Simplify (- y) into (- y) 6.437 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 6.439 * [backup-simplify]: Simplify (* (cbrt 500.0) (cbrt 500.0)) into (pow (cbrt 500.0) 2) 6.441 * [backup-simplify]: Simplify (* (cbrt 500.0) (pow (cbrt 500.0) 2)) into (pow (cbrt 500.0) 3) 6.442 * [backup-simplify]: Simplify (* (- y) (pow (cbrt 500.0) 3)) into (* -500.0 y) 6.442 * [taylor]: Taking taylor expansion of (* -500.0 y) in y 6.442 * [taylor]: Taking taylor expansion of -500.0 in y 6.442 * [backup-simplify]: Simplify -500.0 into -500.0 6.442 * [taylor]: Taking taylor expansion of y in y 6.442 * [backup-simplify]: Simplify 0 into 0 6.442 * [backup-simplify]: Simplify 1 into 1 6.442 * [backup-simplify]: Simplify (* -500.0 0) into 0 6.443 * [backup-simplify]: Simplify 0 into 0 6.443 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (* 0 (cbrt 500.0))) into 0 6.444 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (* 0 (pow (cbrt 500.0) 2))) into 0 6.445 * [backup-simplify]: Simplify (- 0) into 0 6.445 * [backup-simplify]: Simplify (+ 1 0) into 1 6.447 * [backup-simplify]: Simplify (+ (* (- y) 0) (* 1 (pow (cbrt 500.0) 3))) into 500.0 6.447 * [taylor]: Taking taylor expansion of 500.0 in y 6.447 * [backup-simplify]: Simplify 500.0 into 500.0 6.447 * [backup-simplify]: Simplify 500.0 into 500.0 6.448 * [backup-simplify]: Simplify (+ (* -500.0 1) (* 0 0)) into (- 500.0) 6.449 * [backup-simplify]: Simplify (- 500.0) into (- 500.0) 6.450 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 6.451 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (* 0 (cbrt 500.0)))) into 0 6.453 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2)))) into 0 6.453 * [backup-simplify]: Simplify (- 0) into 0 6.453 * [backup-simplify]: Simplify (+ 0 0) into 0 6.455 * [backup-simplify]: Simplify (+ (* (- y) 0) (+ (* 1 0) (* 0 (pow (cbrt 500.0) 3)))) into 0 6.455 * [taylor]: Taking taylor expansion of 0 in y 6.455 * [backup-simplify]: Simplify 0 into 0 6.455 * [backup-simplify]: Simplify 0 into 0 6.455 * [backup-simplify]: Simplify 0 into 0 6.456 * [backup-simplify]: Simplify (+ (* -500.0 0) (+ (* 0 1) (* 0 0))) into 0 6.456 * [backup-simplify]: Simplify 0 into 0 6.457 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 500.0))) into 0 6.458 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0))))) into 0 6.460 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2))))) into 0 6.460 * [backup-simplify]: Simplify (- 0) into 0 6.460 * [backup-simplify]: Simplify (+ 0 0) into 0 6.461 * [backup-simplify]: Simplify (+ (* (- y) 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 3))))) into 0 6.461 * [taylor]: Taking taylor expansion of 0 in y 6.461 * [backup-simplify]: Simplify 0 into 0 6.461 * [backup-simplify]: Simplify 0 into 0 6.461 * [backup-simplify]: Simplify 0 into 0 6.461 * [backup-simplify]: Simplify 0 into 0 6.462 * [backup-simplify]: Simplify (+ (* (- 500.0) (* y 1)) (* 500.0 (* 1 x))) into (- (* 500.0 x) (* 500.0 y)) 6.463 * [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)) 6.463 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in (x y) around 0 6.463 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in y 6.463 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 6.463 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.463 * [taylor]: Taking taylor expansion of x in y 6.463 * [backup-simplify]: Simplify x into x 6.463 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.463 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.463 * [taylor]: Taking taylor expansion of y in y 6.463 * [backup-simplify]: Simplify 0 into 0 6.463 * [backup-simplify]: Simplify 1 into 1 6.463 * [backup-simplify]: Simplify (/ 1 1) into 1 6.463 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in y 6.463 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 6.463 * [taylor]: Taking taylor expansion of 500.0 in y 6.463 * [backup-simplify]: Simplify 500.0 into 500.0 6.464 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 6.464 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 6.464 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in x 6.464 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 6.464 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.464 * [taylor]: Taking taylor expansion of x in x 6.464 * [backup-simplify]: Simplify 0 into 0 6.464 * [backup-simplify]: Simplify 1 into 1 6.464 * [backup-simplify]: Simplify (/ 1 1) into 1 6.464 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.464 * [taylor]: Taking taylor expansion of y in x 6.464 * [backup-simplify]: Simplify y into y 6.464 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.464 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 6.464 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 6.464 * [taylor]: Taking taylor expansion of 500.0 in x 6.465 * [backup-simplify]: Simplify 500.0 into 500.0 6.465 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 6.465 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 6.465 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in x 6.465 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 6.465 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.465 * [taylor]: Taking taylor expansion of x in x 6.465 * [backup-simplify]: Simplify 0 into 0 6.465 * [backup-simplify]: Simplify 1 into 1 6.466 * [backup-simplify]: Simplify (/ 1 1) into 1 6.466 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.466 * [taylor]: Taking taylor expansion of y in x 6.466 * [backup-simplify]: Simplify y into y 6.466 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.466 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 6.466 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 6.466 * [taylor]: Taking taylor expansion of 500.0 in x 6.466 * [backup-simplify]: Simplify 500.0 into 500.0 6.466 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 6.466 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 6.467 * [backup-simplify]: Simplify (+ 1 0) into 1 6.467 * [backup-simplify]: Simplify (* (cbrt 500.0) (cbrt 500.0)) into (pow (cbrt 500.0) 2) 6.469 * [backup-simplify]: Simplify (* (cbrt 500.0) (pow (cbrt 500.0) 2)) into (pow (cbrt 500.0) 3) 6.470 * [backup-simplify]: Simplify (* 1 (pow (cbrt 500.0) 3)) into 500.0 6.470 * [taylor]: Taking taylor expansion of 500.0 in y 6.470 * [backup-simplify]: Simplify 500.0 into 500.0 6.470 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (* 0 (cbrt 500.0))) into 0 6.471 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (* 0 (pow (cbrt 500.0) 2))) into 0 6.471 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.471 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 6.471 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 6.472 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 y)) (pow (cbrt 500.0) 3))) into (- (* 500.0 (/ 1 y))) 6.473 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 y))) in y 6.473 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y 6.473 * [taylor]: Taking taylor expansion of 500.0 in y 6.473 * [backup-simplify]: Simplify 500.0 into 500.0 6.473 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.473 * [taylor]: Taking taylor expansion of y in y 6.473 * [backup-simplify]: Simplify 0 into 0 6.473 * [backup-simplify]: Simplify 1 into 1 6.473 * [backup-simplify]: Simplify (/ 1 1) into 1 6.473 * [backup-simplify]: Simplify (* 500.0 1) into 500.0 6.473 * [backup-simplify]: Simplify (- 500.0) into (- 500.0) 6.474 * [backup-simplify]: Simplify (- 500.0) into (- 500.0) 6.474 * [backup-simplify]: Simplify 500.0 into 500.0 6.475 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 6.475 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (* 0 (cbrt 500.0)))) into 0 6.476 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2)))) into 0 6.477 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.477 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 6.477 * [backup-simplify]: Simplify (- 0) into 0 6.477 * [backup-simplify]: Simplify (+ 0 0) into 0 6.478 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (* 0 (pow (cbrt 500.0) 3)))) into 0 6.478 * [taylor]: Taking taylor expansion of 0 in y 6.478 * [backup-simplify]: Simplify 0 into 0 6.478 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.479 * [backup-simplify]: Simplify (+ (* 500.0 0) (* 0 1)) into 0 6.479 * [backup-simplify]: Simplify (- 0) into 0 6.479 * [backup-simplify]: Simplify 0 into 0 6.479 * [backup-simplify]: Simplify 0 into 0 6.480 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 500.0))) into 0 6.481 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0))))) into 0 6.481 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2))))) into 0 6.482 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.482 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.482 * [backup-simplify]: Simplify (- 0) into 0 6.483 * [backup-simplify]: Simplify (+ 0 0) into 0 6.484 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 3))))) into 0 6.484 * [taylor]: Taking taylor expansion of 0 in y 6.484 * [backup-simplify]: Simplify 0 into 0 6.484 * [backup-simplify]: Simplify 0 into 0 6.484 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.485 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (* 0 1))) into 0 6.485 * [backup-simplify]: Simplify (- 0) into 0 6.485 * [backup-simplify]: Simplify 0 into 0 6.485 * [backup-simplify]: Simplify 0 into 0 6.486 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 6.487 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0)))))) into 0 6.488 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2)))))) into 0 6.488 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.488 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.489 * [backup-simplify]: Simplify (- 0) into 0 6.489 * [backup-simplify]: Simplify (+ 0 0) into 0 6.490 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 3)))))) into 0 6.490 * [taylor]: Taking taylor expansion of 0 in y 6.490 * [backup-simplify]: Simplify 0 into 0 6.490 * [backup-simplify]: Simplify 0 into 0 6.490 * [backup-simplify]: Simplify (+ (* 500.0 (* 1 (/ 1 (/ 1 x)))) (* (- 500.0) (* (/ 1 (/ 1 y)) 1))) into (- (* 500.0 x) (* 500.0 y)) 6.491 * [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)) 6.491 * [approximate]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in (x y) around 0 6.491 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in y 6.491 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 6.492 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.492 * [taylor]: Taking taylor expansion of y in y 6.492 * [backup-simplify]: Simplify 0 into 0 6.492 * [backup-simplify]: Simplify 1 into 1 6.492 * [backup-simplify]: Simplify (/ 1 1) into 1 6.492 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.492 * [taylor]: Taking taylor expansion of x in y 6.492 * [backup-simplify]: Simplify x into x 6.492 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.492 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in y 6.492 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 6.492 * [taylor]: Taking taylor expansion of 500.0 in y 6.492 * [backup-simplify]: Simplify 500.0 into 500.0 6.492 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 6.493 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 6.493 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in x 6.493 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 6.493 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.493 * [taylor]: Taking taylor expansion of y in x 6.493 * [backup-simplify]: Simplify y into y 6.493 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.493 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.493 * [taylor]: Taking taylor expansion of x in x 6.493 * [backup-simplify]: Simplify 0 into 0 6.493 * [backup-simplify]: Simplify 1 into 1 6.493 * [backup-simplify]: Simplify (/ 1 1) into 1 6.493 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 6.493 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 6.493 * [taylor]: Taking taylor expansion of 500.0 in x 6.493 * [backup-simplify]: Simplify 500.0 into 500.0 6.493 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 6.494 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 6.494 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in x 6.494 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 6.494 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.494 * [taylor]: Taking taylor expansion of y in x 6.494 * [backup-simplify]: Simplify y into y 6.494 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.494 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.494 * [taylor]: Taking taylor expansion of x in x 6.494 * [backup-simplify]: Simplify 0 into 0 6.494 * [backup-simplify]: Simplify 1 into 1 6.494 * [backup-simplify]: Simplify (/ 1 1) into 1 6.494 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 6.494 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 6.494 * [taylor]: Taking taylor expansion of 500.0 in x 6.494 * [backup-simplify]: Simplify 500.0 into 500.0 6.495 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 6.495 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 6.496 * [backup-simplify]: Simplify (- 1) into -1 6.496 * [backup-simplify]: Simplify (+ 0 -1) into -1 6.497 * [backup-simplify]: Simplify (* (cbrt 500.0) (cbrt 500.0)) into (pow (cbrt 500.0) 2) 6.498 * [backup-simplify]: Simplify (* (cbrt 500.0) (pow (cbrt 500.0) 2)) into (pow (cbrt 500.0) 3) 6.499 * [backup-simplify]: Simplify (* -1 (pow (cbrt 500.0) 3)) into -500.0 6.499 * [taylor]: Taking taylor expansion of -500.0 in y 6.499 * [backup-simplify]: Simplify -500.0 into -500.0 6.499 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (* 0 (cbrt 500.0))) into 0 6.500 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (* 0 (pow (cbrt 500.0) 2))) into 0 6.501 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.501 * [backup-simplify]: Simplify (- 0) into 0 6.501 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 6.503 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 y) (pow (cbrt 500.0) 3))) into (* 500.0 (/ 1 y)) 6.503 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y 6.503 * [taylor]: Taking taylor expansion of 500.0 in y 6.503 * [backup-simplify]: Simplify 500.0 into 500.0 6.503 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.503 * [taylor]: Taking taylor expansion of y in y 6.503 * [backup-simplify]: Simplify 0 into 0 6.503 * [backup-simplify]: Simplify 1 into 1 6.503 * [backup-simplify]: Simplify (/ 1 1) into 1 6.504 * [backup-simplify]: Simplify (* 500.0 1) into 500.0 6.504 * [backup-simplify]: Simplify 500.0 into 500.0 6.504 * [backup-simplify]: Simplify -500.0 into -500.0 6.505 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 6.506 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (* 0 (cbrt 500.0)))) into 0 6.508 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2)))) into 0 6.508 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 6.509 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.509 * [backup-simplify]: Simplify (- 0) into 0 6.509 * [backup-simplify]: Simplify (+ 0 0) into 0 6.511 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (* 0 (pow (cbrt 500.0) 3)))) into 0 6.511 * [taylor]: Taking taylor expansion of 0 in y 6.511 * [backup-simplify]: Simplify 0 into 0 6.512 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.512 * [backup-simplify]: Simplify (+ (* 500.0 0) (* 0 1)) into 0 6.512 * [backup-simplify]: Simplify 0 into 0 6.512 * [backup-simplify]: Simplify 0 into 0 6.514 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 500.0))) into 0 6.515 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0))))) into 0 6.517 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2))))) into 0 6.517 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.518 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.518 * [backup-simplify]: Simplify (- 0) into 0 6.518 * [backup-simplify]: Simplify (+ 0 0) into 0 6.520 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 3))))) into 0 6.520 * [taylor]: Taking taylor expansion of 0 in y 6.520 * [backup-simplify]: Simplify 0 into 0 6.520 * [backup-simplify]: Simplify 0 into 0 6.521 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.522 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (* 0 1))) into 0 6.522 * [backup-simplify]: Simplify 0 into 0 6.522 * [backup-simplify]: Simplify 0 into 0 6.524 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 6.525 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0)))))) into 0 6.527 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2)))))) into 0 6.527 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.528 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.529 * [backup-simplify]: Simplify (- 0) into 0 6.529 * [backup-simplify]: Simplify (+ 0 0) into 0 6.531 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 3)))))) into 0 6.531 * [taylor]: Taking taylor expansion of 0 in y 6.531 * [backup-simplify]: Simplify 0 into 0 6.531 * [backup-simplify]: Simplify 0 into 0 6.531 * [backup-simplify]: Simplify (+ (* -500.0 (* 1 (/ 1 (/ 1 (- x))))) (* 500.0 (* (/ 1 (/ 1 (- y))) 1))) into (- (* 500.0 x) (* 500.0 y)) 6.531 * * * [progress]: simplifying candidates 6.539 * [simplify]: Simplifying: (+ 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)) (* (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) x) (* (cbrt 500.0) (- y)) (* (cbrt 500.0) x) (* (cbrt 500.0) (- y)) (* 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))) (* (* (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) 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)) (* 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) 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))) (* (* 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)) 6.543 * * [simplify]: Extracting # 0 : cost 0 6.544 * * [simplify]: Extracting # 1 : cost 0 6.544 * * [simplify]: Extracting # 2 : cost 0 6.544 * * [simplify]: Extracting # 3 : cost 0 6.545 * * [simplify]: Extracting # 4 : cost 0 6.545 * * [simplify]: Extracting # 5 : cost 0 6.545 * * [simplify]: Extracting # 6 : cost 0 6.546 * * [simplify]: iteration 0 : 119 enodes (cost 1190 ) 6.607 * * [simplify]: Extracting # 0 : cost 0 6.608 * * [simplify]: Extracting # 1 : cost 0 6.609 * * [simplify]: Extracting # 2 : cost 0 6.609 * * [simplify]: Extracting # 3 : cost 0 6.610 * * [simplify]: Extracting # 4 : cost 0 6.610 * * [simplify]: iteration 1 : 279 enodes (cost 1112 ) 6.740 * * [simplify]: Extracting # 0 : cost 0 6.742 * * [simplify]: Extracting # 1 : cost 0 6.743 * * [simplify]: Extracting # 2 : cost 0 6.744 * * [simplify]: Extracting # 3 : cost 0 6.746 * * [simplify]: Extracting # 4 : cost 0 6.747 * * [simplify]: iteration 2 : 1048 enodes (cost 850 ) 8.635 * * [simplify]: Extracting # 0 : cost 0 8.654 * * [simplify]: Extracting # 1 : cost 0 8.665 * * [simplify]: Extracting # 2 : cost 0 8.676 * * [simplify]: Extracting # 3 : cost 0 8.695 * * [simplify]: Extracting # 4 : cost 0 8.706 * * [simplify]: iteration done: 5000 enodes (cost 717 ) 8.707 * [simplify]: Simplified to: 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 (cbrt 500.0)) (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 500.0) (cbrt (sqrt 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 (cbrt 500.0)) (cbrt 500.0)) (* (cbrt 500.0) (cbrt (sqrt 500.0))) (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt (cbrt 500.0)) (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3) (* (cbrt 500.0) (cbrt 500.0)) (* (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))) (* x (cbrt 500.0)) (* (- y) (cbrt 500.0)) (* x (cbrt 500.0)) (* (- 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))) (* 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 x) (- (* 500.0 y)) (* 500.0 x) (- (* 500.0 y)) (* 500.0 x) (- (* 500.0 y)) (* 500.0 x) (- (* 500.0 y)) (* 500.0 x) (- (* 500.0 y)) (* 500.0 x) (- (* 500.0 y)) (* 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)) 8.708 * * * [progress]: adding candidates to table 8.934 * * [progress]: iteration 4 / 4 8.934 * * * [progress]: picking best candidate 8.936 * * * * [pick]: Picked # 8.936 * * * [progress]: localizing error 8.949 * * * [progress]: generating rewritten candidates 8.949 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 8.955 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 8.999 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 9.123 * * * [progress]: generating series expansions 9.124 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 9.124 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 9.125 * [backup-simplify]: Simplify (* (cbrt 500.0) (- x y)) into (* (- x y) (cbrt 500.0)) 9.125 * [approximate]: Taking taylor expansion of (* (- x y) (cbrt 500.0)) in (x y) around 0 9.125 * [taylor]: Taking taylor expansion of (* (- x y) (cbrt 500.0)) in y 9.125 * [taylor]: Taking taylor expansion of (- x y) in y 9.125 * [taylor]: Taking taylor expansion of x in y 9.125 * [backup-simplify]: Simplify x into x 9.125 * [taylor]: Taking taylor expansion of y in y 9.125 * [backup-simplify]: Simplify 0 into 0 9.125 * [backup-simplify]: Simplify 1 into 1 9.125 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 9.125 * [taylor]: Taking taylor expansion of 500.0 in y 9.125 * [backup-simplify]: Simplify 500.0 into 500.0 9.125 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 9.126 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 9.126 * [taylor]: Taking taylor expansion of (* (- x y) (cbrt 500.0)) in x 9.126 * [taylor]: Taking taylor expansion of (- x y) in x 9.126 * [taylor]: Taking taylor expansion of x in x 9.126 * [backup-simplify]: Simplify 0 into 0 9.126 * [backup-simplify]: Simplify 1 into 1 9.126 * [taylor]: Taking taylor expansion of y in x 9.126 * [backup-simplify]: Simplify y into y 9.126 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 9.126 * [taylor]: Taking taylor expansion of 500.0 in x 9.126 * [backup-simplify]: Simplify 500.0 into 500.0 9.127 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 9.128 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 9.128 * [taylor]: Taking taylor expansion of (* (- x y) (cbrt 500.0)) in x 9.128 * [taylor]: Taking taylor expansion of (- x y) in x 9.128 * [taylor]: Taking taylor expansion of x in x 9.128 * [backup-simplify]: Simplify 0 into 0 9.128 * [backup-simplify]: Simplify 1 into 1 9.128 * [taylor]: Taking taylor expansion of y in x 9.128 * [backup-simplify]: Simplify y into y 9.128 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 9.128 * [taylor]: Taking taylor expansion of 500.0 in x 9.128 * [backup-simplify]: Simplify 500.0 into 500.0 9.128 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 9.129 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 9.129 * [backup-simplify]: Simplify (- y) into (- y) 9.129 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 9.130 * [backup-simplify]: Simplify (* (- y) (cbrt 500.0)) into (* -1 (* y (cbrt 500.0))) 9.130 * [taylor]: Taking taylor expansion of (* -1 (* y (cbrt 500.0))) in y 9.130 * [taylor]: Taking taylor expansion of -1 in y 9.130 * [backup-simplify]: Simplify -1 into -1 9.130 * [taylor]: Taking taylor expansion of (* y (cbrt 500.0)) in y 9.130 * [taylor]: Taking taylor expansion of y in y 9.130 * [backup-simplify]: Simplify 0 into 0 9.130 * [backup-simplify]: Simplify 1 into 1 9.130 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 9.130 * [taylor]: Taking taylor expansion of 500.0 in y 9.130 * [backup-simplify]: Simplify 500.0 into 500.0 9.131 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 9.131 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 9.132 * [backup-simplify]: Simplify (* 0 (cbrt 500.0)) into 0 9.133 * [backup-simplify]: Simplify (* -1 0) into 0 9.133 * [backup-simplify]: Simplify 0 into 0 9.133 * [backup-simplify]: Simplify (- 0) into 0 9.134 * [backup-simplify]: Simplify (+ 1 0) into 1 9.135 * [backup-simplify]: Simplify (+ (* (- y) 0) (* 1 (cbrt 500.0))) into (cbrt 500.0) 9.135 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 9.135 * [taylor]: Taking taylor expansion of 500.0 in y 9.135 * [backup-simplify]: Simplify 500.0 into 500.0 9.135 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 9.136 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 9.136 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 9.139 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (cbrt 500.0))) into (cbrt 500.0) 9.141 * [backup-simplify]: Simplify (+ (* -1 (cbrt 500.0)) (* 0 0)) into (- (cbrt 500.0)) 9.142 * [backup-simplify]: Simplify (- (cbrt 500.0)) into (- (cbrt 500.0)) 9.143 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 9.144 * [backup-simplify]: Simplify (- 0) into 0 9.144 * [backup-simplify]: Simplify (+ 0 0) into 0 9.145 * [backup-simplify]: Simplify (+ (* (- y) 0) (+ (* 1 0) (* 0 (cbrt 500.0)))) into 0 9.145 * [taylor]: Taking taylor expansion of 0 in y 9.145 * [backup-simplify]: Simplify 0 into 0 9.145 * [backup-simplify]: Simplify 0 into 0 9.145 * [backup-simplify]: Simplify 0 into 0 9.147 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 9.148 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (cbrt 500.0)))) into 0 9.150 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (cbrt 500.0)) (* 0 0))) into 0 9.150 * [backup-simplify]: Simplify 0 into 0 9.151 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 500.0))) into 0 9.152 * [backup-simplify]: Simplify (- 0) into 0 9.152 * [backup-simplify]: Simplify (+ 0 0) into 0 9.153 * [backup-simplify]: Simplify (+ (* (- y) 0) (+ (* 1 0) (+ (* 0 0) (* 0 (cbrt 500.0))))) into 0 9.154 * [taylor]: Taking taylor expansion of 0 in y 9.154 * [backup-simplify]: Simplify 0 into 0 9.154 * [backup-simplify]: Simplify 0 into 0 9.154 * [backup-simplify]: Simplify 0 into 0 9.155 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 9.155 * [backup-simplify]: Simplify 0 into 0 9.157 * [backup-simplify]: Simplify (+ (* (- (cbrt 500.0)) (* y 1)) (* (cbrt 500.0) (* 1 x))) into (- (* x (cbrt 500.0)) (* y (cbrt 500.0))) 9.157 * [backup-simplify]: Simplify (* (cbrt 500.0) (- (/ 1 x) (/ 1 y))) into (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) 9.157 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in (x y) around 0 9.157 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in y 9.157 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 9.157 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.158 * [taylor]: Taking taylor expansion of x in y 9.158 * [backup-simplify]: Simplify x into x 9.158 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.158 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.158 * [taylor]: Taking taylor expansion of y in y 9.158 * [backup-simplify]: Simplify 0 into 0 9.158 * [backup-simplify]: Simplify 1 into 1 9.158 * [backup-simplify]: Simplify (/ 1 1) into 1 9.158 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 9.158 * [taylor]: Taking taylor expansion of 500.0 in y 9.158 * [backup-simplify]: Simplify 500.0 into 500.0 9.159 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 9.159 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 9.159 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in x 9.159 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 9.159 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.159 * [taylor]: Taking taylor expansion of x in x 9.159 * [backup-simplify]: Simplify 0 into 0 9.160 * [backup-simplify]: Simplify 1 into 1 9.160 * [backup-simplify]: Simplify (/ 1 1) into 1 9.160 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.160 * [taylor]: Taking taylor expansion of y in x 9.160 * [backup-simplify]: Simplify y into y 9.160 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.160 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 9.160 * [taylor]: Taking taylor expansion of 500.0 in x 9.160 * [backup-simplify]: Simplify 500.0 into 500.0 9.161 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 9.161 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 9.161 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in x 9.161 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 9.161 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.161 * [taylor]: Taking taylor expansion of x in x 9.161 * [backup-simplify]: Simplify 0 into 0 9.162 * [backup-simplify]: Simplify 1 into 1 9.162 * [backup-simplify]: Simplify (/ 1 1) into 1 9.162 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.162 * [taylor]: Taking taylor expansion of y in x 9.162 * [backup-simplify]: Simplify y into y 9.162 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.162 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 9.162 * [taylor]: Taking taylor expansion of 500.0 in x 9.162 * [backup-simplify]: Simplify 500.0 into 500.0 9.163 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 9.163 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 9.164 * [backup-simplify]: Simplify (+ 1 0) into 1 9.165 * [backup-simplify]: Simplify (* 1 (cbrt 500.0)) into (cbrt 500.0) 9.165 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 9.165 * [taylor]: Taking taylor expansion of 500.0 in y 9.165 * [backup-simplify]: Simplify 500.0 into 500.0 9.165 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 9.166 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 9.167 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.167 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 9.167 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 9.168 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 y)) (cbrt 500.0))) into (- (/ (cbrt 500.0) y)) 9.168 * [taylor]: Taking taylor expansion of (- (/ (cbrt 500.0) y)) in y 9.168 * [taylor]: Taking taylor expansion of (/ (cbrt 500.0) y) in y 9.168 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 9.168 * [taylor]: Taking taylor expansion of 500.0 in y 9.168 * [backup-simplify]: Simplify 500.0 into 500.0 9.169 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 9.170 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 9.170 * [taylor]: Taking taylor expansion of y in y 9.170 * [backup-simplify]: Simplify 0 into 0 9.170 * [backup-simplify]: Simplify 1 into 1 9.171 * [backup-simplify]: Simplify (/ (cbrt 500.0) 1) into (cbrt 500.0) 9.171 * [backup-simplify]: Simplify (- (cbrt 500.0)) into (- (cbrt 500.0)) 9.172 * [backup-simplify]: Simplify (- (cbrt 500.0)) into (- (cbrt 500.0)) 9.173 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 9.174 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 9.175 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.175 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 9.176 * [backup-simplify]: Simplify (- 0) into 0 9.176 * [backup-simplify]: Simplify (+ 0 0) into 0 9.177 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (* 0 (cbrt 500.0)))) into 0 9.177 * [taylor]: Taking taylor expansion of 0 in y 9.177 * [backup-simplify]: Simplify 0 into 0 9.178 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 500.0) (/ 0 1)))) into 0 9.179 * [backup-simplify]: Simplify (- 0) into 0 9.179 * [backup-simplify]: Simplify 0 into 0 9.179 * [backup-simplify]: Simplify 0 into 0 9.180 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 500.0))) into 0 9.181 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.181 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.182 * [backup-simplify]: Simplify (- 0) into 0 9.182 * [backup-simplify]: Simplify (+ 0 0) into 0 9.183 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 0) (* 0 (cbrt 500.0))))) into 0 9.183 * [taylor]: Taking taylor expansion of 0 in y 9.183 * [backup-simplify]: Simplify 0 into 0 9.183 * [backup-simplify]: Simplify 0 into 0 9.185 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 9.186 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 500.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.187 * [backup-simplify]: Simplify (- 0) into 0 9.187 * [backup-simplify]: Simplify 0 into 0 9.188 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 9.188 * [backup-simplify]: Simplify 0 into 0 9.190 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 9.191 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.191 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.192 * [backup-simplify]: Simplify (- 0) into 0 9.192 * [backup-simplify]: Simplify (+ 0 0) into 0 9.193 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0)))))) into 0 9.193 * [taylor]: Taking taylor expansion of 0 in y 9.193 * [backup-simplify]: Simplify 0 into 0 9.194 * [backup-simplify]: Simplify 0 into 0 9.195 * [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))) 9.196 * [backup-simplify]: Simplify (* (cbrt 500.0) (- (/ 1 (- x)) (/ 1 (- y)))) into (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0)) 9.196 * [approximate]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0)) in (x y) around 0 9.196 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0)) in y 9.196 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 9.196 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.196 * [taylor]: Taking taylor expansion of y in y 9.196 * [backup-simplify]: Simplify 0 into 0 9.196 * [backup-simplify]: Simplify 1 into 1 9.196 * [backup-simplify]: Simplify (/ 1 1) into 1 9.196 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.196 * [taylor]: Taking taylor expansion of x in y 9.196 * [backup-simplify]: Simplify x into x 9.196 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.196 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 9.196 * [taylor]: Taking taylor expansion of 500.0 in y 9.197 * [backup-simplify]: Simplify 500.0 into 500.0 9.197 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 9.198 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 9.198 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0)) in x 9.198 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 9.198 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.198 * [taylor]: Taking taylor expansion of y in x 9.198 * [backup-simplify]: Simplify y into y 9.198 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.198 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.198 * [taylor]: Taking taylor expansion of x in x 9.198 * [backup-simplify]: Simplify 0 into 0 9.198 * [backup-simplify]: Simplify 1 into 1 9.198 * [backup-simplify]: Simplify (/ 1 1) into 1 9.198 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 9.198 * [taylor]: Taking taylor expansion of 500.0 in x 9.198 * [backup-simplify]: Simplify 500.0 into 500.0 9.199 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 9.200 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 9.200 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0)) in x 9.200 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 9.200 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.200 * [taylor]: Taking taylor expansion of y in x 9.200 * [backup-simplify]: Simplify y into y 9.200 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.200 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.200 * [taylor]: Taking taylor expansion of x in x 9.200 * [backup-simplify]: Simplify 0 into 0 9.200 * [backup-simplify]: Simplify 1 into 1 9.200 * [backup-simplify]: Simplify (/ 1 1) into 1 9.200 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 9.201 * [taylor]: Taking taylor expansion of 500.0 in x 9.201 * [backup-simplify]: Simplify 500.0 into 500.0 9.201 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 9.202 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 9.202 * [backup-simplify]: Simplify (- 1) into -1 9.208 * [backup-simplify]: Simplify (+ 0 -1) into -1 9.209 * [backup-simplify]: Simplify (* -1 (cbrt 500.0)) into (* -1 (cbrt 500.0)) 9.209 * [taylor]: Taking taylor expansion of (* -1 (cbrt 500.0)) in y 9.209 * [taylor]: Taking taylor expansion of -1 in y 9.209 * [backup-simplify]: Simplify -1 into -1 9.209 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 9.209 * [taylor]: Taking taylor expansion of 500.0 in y 9.210 * [backup-simplify]: Simplify 500.0 into 500.0 9.210 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 9.211 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 9.211 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.212 * [backup-simplify]: Simplify (- 0) into 0 9.212 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 9.213 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 y) (cbrt 500.0))) into (/ (cbrt 500.0) y) 9.213 * [taylor]: Taking taylor expansion of (/ (cbrt 500.0) y) in y 9.213 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 9.213 * [taylor]: Taking taylor expansion of 500.0 in y 9.213 * [backup-simplify]: Simplify 500.0 into 500.0 9.213 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 9.213 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 9.213 * [taylor]: Taking taylor expansion of y in y 9.213 * [backup-simplify]: Simplify 0 into 0 9.213 * [backup-simplify]: Simplify 1 into 1 9.214 * [backup-simplify]: Simplify (/ (cbrt 500.0) 1) into (cbrt 500.0) 9.214 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 9.215 * [backup-simplify]: Simplify (* -1 (cbrt 500.0)) into (* -1 (cbrt 500.0)) 9.216 * [backup-simplify]: Simplify (* -1 (cbrt 500.0)) into (* -1 (cbrt 500.0)) 9.217 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 9.217 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 9.217 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.217 * [backup-simplify]: Simplify (- 0) into 0 9.218 * [backup-simplify]: Simplify (+ 0 0) into 0 9.218 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (* 0 (cbrt 500.0)))) into 0 9.218 * [taylor]: Taking taylor expansion of 0 in y 9.218 * [backup-simplify]: Simplify 0 into 0 9.219 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 500.0) (/ 0 1)))) into 0 9.219 * [backup-simplify]: Simplify 0 into 0 9.219 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (cbrt 500.0))) into 0 9.219 * [backup-simplify]: Simplify 0 into 0 9.220 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 500.0))) into 0 9.220 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.221 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.221 * [backup-simplify]: Simplify (- 0) into 0 9.221 * [backup-simplify]: Simplify (+ 0 0) into 0 9.222 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (* 0 (cbrt 500.0))))) into 0 9.222 * [taylor]: Taking taylor expansion of 0 in y 9.222 * [backup-simplify]: Simplify 0 into 0 9.222 * [backup-simplify]: Simplify 0 into 0 9.223 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 9.224 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 500.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.224 * [backup-simplify]: Simplify 0 into 0 9.224 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 9.225 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (cbrt 500.0)))) into 0 9.225 * [backup-simplify]: Simplify 0 into 0 9.226 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 9.226 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.227 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.227 * [backup-simplify]: Simplify (- 0) into 0 9.227 * [backup-simplify]: Simplify (+ 0 0) into 0 9.228 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0)))))) into 0 9.228 * [taylor]: Taking taylor expansion of 0 in y 9.228 * [backup-simplify]: Simplify 0 into 0 9.228 * [backup-simplify]: Simplify 0 into 0 9.229 * [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))) 9.230 * * * * [progress]: [ 3 / 3 ] generating series at (2) 9.232 * [backup-simplify]: Simplify (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- x y))) into (* (- x y) (pow (cbrt 500.0) 3)) 9.232 * [approximate]: Taking taylor expansion of (* (- x y) (pow (cbrt 500.0) 3)) in (x y) around 0 9.232 * [taylor]: Taking taylor expansion of (* (- x y) (pow (cbrt 500.0) 3)) in y 9.232 * [taylor]: Taking taylor expansion of (- x y) in y 9.232 * [taylor]: Taking taylor expansion of x in y 9.232 * [backup-simplify]: Simplify x into x 9.232 * [taylor]: Taking taylor expansion of y in y 9.232 * [backup-simplify]: Simplify 0 into 0 9.232 * [backup-simplify]: Simplify 1 into 1 9.232 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in y 9.232 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 9.232 * [taylor]: Taking taylor expansion of 500.0 in y 9.232 * [backup-simplify]: Simplify 500.0 into 500.0 9.232 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 9.233 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 9.233 * [taylor]: Taking taylor expansion of (* (- x y) (pow (cbrt 500.0) 3)) in x 9.233 * [taylor]: Taking taylor expansion of (- x y) in x 9.233 * [taylor]: Taking taylor expansion of x in x 9.233 * [backup-simplify]: Simplify 0 into 0 9.233 * [backup-simplify]: Simplify 1 into 1 9.233 * [taylor]: Taking taylor expansion of y in x 9.233 * [backup-simplify]: Simplify y into y 9.233 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 9.233 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 9.233 * [taylor]: Taking taylor expansion of 500.0 in x 9.233 * [backup-simplify]: Simplify 500.0 into 500.0 9.233 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 9.234 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 9.234 * [taylor]: Taking taylor expansion of (* (- x y) (pow (cbrt 500.0) 3)) in x 9.234 * [taylor]: Taking taylor expansion of (- x y) in x 9.234 * [taylor]: Taking taylor expansion of x in x 9.234 * [backup-simplify]: Simplify 0 into 0 9.234 * [backup-simplify]: Simplify 1 into 1 9.234 * [taylor]: Taking taylor expansion of y in x 9.234 * [backup-simplify]: Simplify y into y 9.234 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 9.234 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 9.234 * [taylor]: Taking taylor expansion of 500.0 in x 9.234 * [backup-simplify]: Simplify 500.0 into 500.0 9.234 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 9.234 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 9.235 * [backup-simplify]: Simplify (- y) into (- y) 9.235 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 9.235 * [backup-simplify]: Simplify (* (cbrt 500.0) (cbrt 500.0)) into (pow (cbrt 500.0) 2) 9.237 * [backup-simplify]: Simplify (* (cbrt 500.0) (pow (cbrt 500.0) 2)) into (pow (cbrt 500.0) 3) 9.237 * [backup-simplify]: Simplify (* (- y) (pow (cbrt 500.0) 3)) into (* -500.0 y) 9.237 * [taylor]: Taking taylor expansion of (* -500.0 y) in y 9.237 * [taylor]: Taking taylor expansion of -500.0 in y 9.237 * [backup-simplify]: Simplify -500.0 into -500.0 9.237 * [taylor]: Taking taylor expansion of y in y 9.237 * [backup-simplify]: Simplify 0 into 0 9.237 * [backup-simplify]: Simplify 1 into 1 9.238 * [backup-simplify]: Simplify (* -500.0 0) into 0 9.238 * [backup-simplify]: Simplify 0 into 0 9.238 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (* 0 (cbrt 500.0))) into 0 9.239 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (* 0 (pow (cbrt 500.0) 2))) into 0 9.239 * [backup-simplify]: Simplify (- 0) into 0 9.239 * [backup-simplify]: Simplify (+ 1 0) into 1 9.241 * [backup-simplify]: Simplify (+ (* (- y) 0) (* 1 (pow (cbrt 500.0) 3))) into 500.0 9.241 * [taylor]: Taking taylor expansion of 500.0 in y 9.241 * [backup-simplify]: Simplify 500.0 into 500.0 9.241 * [backup-simplify]: Simplify 500.0 into 500.0 9.242 * [backup-simplify]: Simplify (+ (* -500.0 1) (* 0 0)) into (- 500.0) 9.243 * [backup-simplify]: Simplify (- 500.0) into (- 500.0) 9.245 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 9.246 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (* 0 (cbrt 500.0)))) into 0 9.248 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2)))) into 0 9.248 * [backup-simplify]: Simplify (- 0) into 0 9.248 * [backup-simplify]: Simplify (+ 0 0) into 0 9.250 * [backup-simplify]: Simplify (+ (* (- y) 0) (+ (* 1 0) (* 0 (pow (cbrt 500.0) 3)))) into 0 9.250 * [taylor]: Taking taylor expansion of 0 in y 9.250 * [backup-simplify]: Simplify 0 into 0 9.250 * [backup-simplify]: Simplify 0 into 0 9.250 * [backup-simplify]: Simplify 0 into 0 9.251 * [backup-simplify]: Simplify (+ (* -500.0 0) (+ (* 0 1) (* 0 0))) into 0 9.251 * [backup-simplify]: Simplify 0 into 0 9.252 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 500.0))) into 0 9.253 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0))))) into 0 9.255 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2))))) into 0 9.255 * [backup-simplify]: Simplify (- 0) into 0 9.256 * [backup-simplify]: Simplify (+ 0 0) into 0 9.257 * [backup-simplify]: Simplify (+ (* (- y) 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 3))))) into 0 9.257 * [taylor]: Taking taylor expansion of 0 in y 9.257 * [backup-simplify]: Simplify 0 into 0 9.257 * [backup-simplify]: Simplify 0 into 0 9.257 * [backup-simplify]: Simplify 0 into 0 9.257 * [backup-simplify]: Simplify 0 into 0 9.258 * [backup-simplify]: Simplify (+ (* (- 500.0) (* y 1)) (* 500.0 (* 1 x))) into (- (* 500.0 x) (* 500.0 y)) 9.262 * [backup-simplify]: Simplify (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- (/ 1 x) (/ 1 y)))) into (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) 9.262 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in (x y) around 0 9.262 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in y 9.262 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 9.262 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.262 * [taylor]: Taking taylor expansion of x in y 9.262 * [backup-simplify]: Simplify x into x 9.262 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.262 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.262 * [taylor]: Taking taylor expansion of y in y 9.262 * [backup-simplify]: Simplify 0 into 0 9.262 * [backup-simplify]: Simplify 1 into 1 9.262 * [backup-simplify]: Simplify (/ 1 1) into 1 9.263 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in y 9.263 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 9.263 * [taylor]: Taking taylor expansion of 500.0 in y 9.263 * [backup-simplify]: Simplify 500.0 into 500.0 9.263 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 9.264 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 9.264 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in x 9.264 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 9.264 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.264 * [taylor]: Taking taylor expansion of x in x 9.264 * [backup-simplify]: Simplify 0 into 0 9.264 * [backup-simplify]: Simplify 1 into 1 9.264 * [backup-simplify]: Simplify (/ 1 1) into 1 9.264 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.264 * [taylor]: Taking taylor expansion of y in x 9.264 * [backup-simplify]: Simplify y into y 9.264 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.265 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 9.265 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 9.265 * [taylor]: Taking taylor expansion of 500.0 in x 9.265 * [backup-simplify]: Simplify 500.0 into 500.0 9.265 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 9.266 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 9.266 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in x 9.266 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 9.266 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.266 * [taylor]: Taking taylor expansion of x in x 9.266 * [backup-simplify]: Simplify 0 into 0 9.266 * [backup-simplify]: Simplify 1 into 1 9.266 * [backup-simplify]: Simplify (/ 1 1) into 1 9.266 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.266 * [taylor]: Taking taylor expansion of y in x 9.266 * [backup-simplify]: Simplify y into y 9.266 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.266 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 9.266 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 9.267 * [taylor]: Taking taylor expansion of 500.0 in x 9.267 * [backup-simplify]: Simplify 500.0 into 500.0 9.267 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 9.268 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 9.268 * [backup-simplify]: Simplify (+ 1 0) into 1 9.269 * [backup-simplify]: Simplify (* (cbrt 500.0) (cbrt 500.0)) into (pow (cbrt 500.0) 2) 9.271 * [backup-simplify]: Simplify (* (cbrt 500.0) (pow (cbrt 500.0) 2)) into (pow (cbrt 500.0) 3) 9.273 * [backup-simplify]: Simplify (* 1 (pow (cbrt 500.0) 3)) into 500.0 9.273 * [taylor]: Taking taylor expansion of 500.0 in y 9.273 * [backup-simplify]: Simplify 500.0 into 500.0 9.274 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (* 0 (cbrt 500.0))) into 0 9.275 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (* 0 (pow (cbrt 500.0) 2))) into 0 9.276 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.276 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 9.276 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 9.278 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 y)) (pow (cbrt 500.0) 3))) into (- (* 500.0 (/ 1 y))) 9.278 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 y))) in y 9.278 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y 9.278 * [taylor]: Taking taylor expansion of 500.0 in y 9.278 * [backup-simplify]: Simplify 500.0 into 500.0 9.278 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.278 * [taylor]: Taking taylor expansion of y in y 9.278 * [backup-simplify]: Simplify 0 into 0 9.278 * [backup-simplify]: Simplify 1 into 1 9.279 * [backup-simplify]: Simplify (/ 1 1) into 1 9.279 * [backup-simplify]: Simplify (* 500.0 1) into 500.0 9.279 * [backup-simplify]: Simplify (- 500.0) into (- 500.0) 9.280 * [backup-simplify]: Simplify (- 500.0) into (- 500.0) 9.280 * [backup-simplify]: Simplify 500.0 into 500.0 9.281 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 9.282 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (* 0 (cbrt 500.0)))) into 0 9.284 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2)))) into 0 9.285 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.285 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 9.285 * [backup-simplify]: Simplify (- 0) into 0 9.286 * [backup-simplify]: Simplify (+ 0 0) into 0 9.287 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (* 0 (pow (cbrt 500.0) 3)))) into 0 9.287 * [taylor]: Taking taylor expansion of 0 in y 9.287 * [backup-simplify]: Simplify 0 into 0 9.288 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.289 * [backup-simplify]: Simplify (+ (* 500.0 0) (* 0 1)) into 0 9.289 * [backup-simplify]: Simplify (- 0) into 0 9.289 * [backup-simplify]: Simplify 0 into 0 9.289 * [backup-simplify]: Simplify 0 into 0 9.290 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 500.0))) into 0 9.292 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0))))) into 0 9.293 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2))))) into 0 9.294 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.295 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.295 * [backup-simplify]: Simplify (- 0) into 0 9.295 * [backup-simplify]: Simplify (+ 0 0) into 0 9.297 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 3))))) into 0 9.297 * [taylor]: Taking taylor expansion of 0 in y 9.297 * [backup-simplify]: Simplify 0 into 0 9.297 * [backup-simplify]: Simplify 0 into 0 9.298 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.299 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (* 0 1))) into 0 9.299 * [backup-simplify]: Simplify (- 0) into 0 9.299 * [backup-simplify]: Simplify 0 into 0 9.299 * [backup-simplify]: Simplify 0 into 0 9.301 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 9.301 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0)))))) into 0 9.302 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2)))))) into 0 9.303 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.303 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.303 * [backup-simplify]: Simplify (- 0) into 0 9.304 * [backup-simplify]: Simplify (+ 0 0) into 0 9.304 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 3)))))) into 0 9.305 * [taylor]: Taking taylor expansion of 0 in y 9.305 * [backup-simplify]: Simplify 0 into 0 9.305 * [backup-simplify]: Simplify 0 into 0 9.305 * [backup-simplify]: Simplify (+ (* 500.0 (* 1 (/ 1 (/ 1 x)))) (* (- 500.0) (* (/ 1 (/ 1 y)) 1))) into (- (* 500.0 x) (* 500.0 y)) 9.307 * [backup-simplify]: Simplify (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- (/ 1 (- x)) (/ 1 (- y))))) into (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) 9.307 * [approximate]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in (x y) around 0 9.307 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in y 9.307 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 9.307 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.307 * [taylor]: Taking taylor expansion of y in y 9.307 * [backup-simplify]: Simplify 0 into 0 9.307 * [backup-simplify]: Simplify 1 into 1 9.308 * [backup-simplify]: Simplify (/ 1 1) into 1 9.308 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.308 * [taylor]: Taking taylor expansion of x in y 9.308 * [backup-simplify]: Simplify x into x 9.308 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.308 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in y 9.308 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 9.308 * [taylor]: Taking taylor expansion of 500.0 in y 9.308 * [backup-simplify]: Simplify 500.0 into 500.0 9.308 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 9.308 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 9.308 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in x 9.308 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 9.309 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.309 * [taylor]: Taking taylor expansion of y in x 9.309 * [backup-simplify]: Simplify y into y 9.309 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.309 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.309 * [taylor]: Taking taylor expansion of x in x 9.309 * [backup-simplify]: Simplify 0 into 0 9.309 * [backup-simplify]: Simplify 1 into 1 9.309 * [backup-simplify]: Simplify (/ 1 1) into 1 9.309 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 9.309 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 9.309 * [taylor]: Taking taylor expansion of 500.0 in x 9.309 * [backup-simplify]: Simplify 500.0 into 500.0 9.309 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 9.310 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 9.310 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in x 9.310 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 9.310 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.310 * [taylor]: Taking taylor expansion of y in x 9.310 * [backup-simplify]: Simplify y into y 9.310 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.310 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.310 * [taylor]: Taking taylor expansion of x in x 9.310 * [backup-simplify]: Simplify 0 into 0 9.310 * [backup-simplify]: Simplify 1 into 1 9.310 * [backup-simplify]: Simplify (/ 1 1) into 1 9.310 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 9.310 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 9.310 * [taylor]: Taking taylor expansion of 500.0 in x 9.310 * [backup-simplify]: Simplify 500.0 into 500.0 9.310 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0) 9.311 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0 9.311 * [backup-simplify]: Simplify (- 1) into -1 9.311 * [backup-simplify]: Simplify (+ 0 -1) into -1 9.312 * [backup-simplify]: Simplify (* (cbrt 500.0) (cbrt 500.0)) into (pow (cbrt 500.0) 2) 9.314 * [backup-simplify]: Simplify (* (cbrt 500.0) (pow (cbrt 500.0) 2)) into (pow (cbrt 500.0) 3) 9.315 * [backup-simplify]: Simplify (* -1 (pow (cbrt 500.0) 3)) into -500.0 9.315 * [taylor]: Taking taylor expansion of -500.0 in y 9.315 * [backup-simplify]: Simplify -500.0 into -500.0 9.315 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (* 0 (cbrt 500.0))) into 0 9.316 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (* 0 (pow (cbrt 500.0) 2))) into 0 9.316 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.317 * [backup-simplify]: Simplify (- 0) into 0 9.317 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 9.318 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 y) (pow (cbrt 500.0) 3))) into (* 500.0 (/ 1 y)) 9.318 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y 9.318 * [taylor]: Taking taylor expansion of 500.0 in y 9.318 * [backup-simplify]: Simplify 500.0 into 500.0 9.318 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.318 * [taylor]: Taking taylor expansion of y in y 9.318 * [backup-simplify]: Simplify 0 into 0 9.318 * [backup-simplify]: Simplify 1 into 1 9.319 * [backup-simplify]: Simplify (/ 1 1) into 1 9.319 * [backup-simplify]: Simplify (* 500.0 1) into 500.0 9.319 * [backup-simplify]: Simplify 500.0 into 500.0 9.319 * [backup-simplify]: Simplify -500.0 into -500.0 9.320 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 9.321 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (* 0 (cbrt 500.0)))) into 0 9.321 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2)))) into 0 9.321 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 9.322 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.322 * [backup-simplify]: Simplify (- 0) into 0 9.322 * [backup-simplify]: Simplify (+ 0 0) into 0 9.323 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (* 0 (pow (cbrt 500.0) 3)))) into 0 9.323 * [taylor]: Taking taylor expansion of 0 in y 9.323 * [backup-simplify]: Simplify 0 into 0 9.324 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.327 * [backup-simplify]: Simplify (+ (* 500.0 0) (* 0 1)) into 0 9.327 * [backup-simplify]: Simplify 0 into 0 9.328 * [backup-simplify]: Simplify 0 into 0 9.330 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 500.0))) into 0 9.331 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0))))) into 0 9.333 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2))))) into 0 9.333 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.334 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.334 * [backup-simplify]: Simplify (- 0) into 0 9.335 * [backup-simplify]: Simplify (+ 0 0) into 0 9.336 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 3))))) into 0 9.336 * [taylor]: Taking taylor expansion of 0 in y 9.336 * [backup-simplify]: Simplify 0 into 0 9.336 * [backup-simplify]: Simplify 0 into 0 9.337 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.338 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (* 0 1))) into 0 9.338 * [backup-simplify]: Simplify 0 into 0 9.338 * [backup-simplify]: Simplify 0 into 0 9.340 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0 9.342 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0)))))) into 0 9.344 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2)))))) into 0 9.344 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.345 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.346 * [backup-simplify]: Simplify (- 0) into 0 9.346 * [backup-simplify]: Simplify (+ 0 0) into 0 9.348 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 3)))))) into 0 9.348 * [taylor]: Taking taylor expansion of 0 in y 9.348 * [backup-simplify]: Simplify 0 into 0 9.348 * [backup-simplify]: Simplify 0 into 0 9.348 * [backup-simplify]: Simplify (+ (* -500.0 (* 1 (/ 1 (/ 1 (- x))))) (* 500.0 (* (/ 1 (/ 1 (- y))) 1))) into (- (* 500.0 x) (* 500.0 y)) 9.349 * * * [progress]: simplifying candidates 9.352 * [simplify]: Simplifying: (* (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)) (* (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) x) (* (cbrt 500.0) (- y)) (* (cbrt 500.0) x) (* (cbrt 500.0) (- y)) (* 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))) (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- x y))) (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- x y))) (+ (+ (log (sqrt (cbrt 500.0))) (* (log (sqrt (cbrt 500.0))) 3)) (+ (log (cbrt 500.0)) (log (- x y)))) (+ (+ (log (sqrt (cbrt 500.0))) (* (log (sqrt (cbrt 500.0))) 3)) (log (* (cbrt 500.0) (- x y)))) (+ (+ (log (sqrt (cbrt 500.0))) (* (log (sqrt (cbrt 500.0))) 3)) (+ (log (cbrt 500.0)) (log (- x y)))) (+ (+ (log (sqrt (cbrt 500.0))) (* (log (sqrt (cbrt 500.0))) 3)) (log (* (cbrt 500.0) (- x y)))) (+ (+ (log (sqrt (cbrt 500.0))) (log (pow (sqrt (cbrt 500.0)) 3))) (+ (log (cbrt 500.0)) (log (- x y)))) (+ (+ (log (sqrt (cbrt 500.0))) (log (pow (sqrt (cbrt 500.0)) 3))) (log (* (cbrt 500.0) (- x y)))) (+ (log (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3))) (+ (log (cbrt 500.0)) (log (- x y)))) (+ (log (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3))) (log (* (cbrt 500.0) (- x y)))) (log (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- x y)))) (exp (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- x y)))) (* (* (* (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0))) (sqrt (cbrt 500.0))) (* (* (pow (sqrt (cbrt 500.0)) 3) (pow (sqrt (cbrt 500.0)) 3)) (pow (sqrt (cbrt 500.0)) 3))) (* 500.0 (* (* (- x y) (- x y)) (- x y)))) (* (* (* (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0))) (sqrt (cbrt 500.0))) (* (* (pow (sqrt (cbrt 500.0)) 3) (pow (sqrt (cbrt 500.0)) 3)) (pow (sqrt (cbrt 500.0)) 3))) (* (* (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- x y))) (* (cbrt 500.0) (- x y)))) (* (* (* (* (sqrt (cbrt 500.0)) (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))) (* 500.0 (* (* (- x y) (- x y)) (- x y)))) (* (* (* (* (sqrt (cbrt 500.0)) (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))) (* (* (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- x y))) (* (cbrt 500.0) (- x y)))) (* (cbrt (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- x y)))) (cbrt (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- x y))))) (cbrt (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- x y)))) (* (* (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- x y))) (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- x y)))) (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- x y)))) (sqrt (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- x y)))) (sqrt (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- x y)))) (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) x)) (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- y))) (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) x)) (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- y))) (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* x (cbrt 500.0))) (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (- y) (cbrt 500.0))) (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* x (cbrt 500.0))) (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (- y) (cbrt 500.0))) (* (* (cbrt 500.0) x) (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3))) (* (* (cbrt 500.0) (- y)) (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3))) (* (* (cbrt 500.0) x) (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3))) (* (* (cbrt 500.0) (- y)) (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3))) (* (* x (cbrt 500.0)) (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3))) (* (* (- y) (cbrt 500.0)) (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3))) (* (* x (cbrt 500.0)) (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3))) (* (* (- y) (cbrt 500.0)) (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3))) (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (cbrt 500.0)) (* (pow (sqrt (cbrt 500.0)) 3) (* (cbrt 500.0) (- x y))) (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- (pow x 3) (pow y 3)))) (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- (* x x) (* y y)))) (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (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)) 9.356 * * [simplify]: Extracting # 0 : cost 0 9.357 * * [simplify]: Extracting # 1 : cost 0 9.357 * * [simplify]: Extracting # 2 : cost 0 9.358 * * [simplify]: Extracting # 3 : cost 0 9.358 * * [simplify]: Extracting # 4 : cost 0 9.359 * * [simplify]: Extracting # 5 : cost 0 9.359 * * [simplify]: Extracting # 6 : cost 0 9.359 * * [simplify]: Extracting # 7 : cost 0 9.360 * * [simplify]: iteration 0 : 147 enodes (cost 1523 ) 9.434 * * [simplify]: Extracting # 0 : cost 0 9.435 * * [simplify]: Extracting # 1 : cost 0 9.435 * * [simplify]: Extracting # 2 : cost 0 9.435 * * [simplify]: Extracting # 3 : cost 0 9.436 * * [simplify]: Extracting # 4 : cost 0 9.436 * * [simplify]: Extracting # 5 : cost 0 9.437 * * [simplify]: iteration 1 : 384 enodes (cost 1328 ) 9.695 * * [simplify]: Extracting # 0 : cost 0 9.699 * * [simplify]: Extracting # 1 : cost 0 9.704 * * [simplify]: Extracting # 2 : cost 0 9.709 * * [simplify]: Extracting # 3 : cost 0 9.714 * * [simplify]: Extracting # 4 : cost 0 9.718 * * [simplify]: iteration 2 : 1813 enodes (cost 931 ) 11.076 * * [simplify]: Extracting # 0 : cost 0 11.082 * * [simplify]: Extracting # 1 : cost 0 11.089 * * [simplify]: Extracting # 2 : cost 0 11.097 * * [simplify]: Extracting # 3 : cost 0 11.104 * * [simplify]: Extracting # 4 : cost 0 11.117 * * [simplify]: Extracting # 5 : cost 0 11.127 * * [simplify]: iteration done: 5000 enodes (cost 890 ) 11.129 * [simplify]: Simplified to: (* (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) (* (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 (* (cbrt 500.0) (- x y)) 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))) (* x (cbrt 500.0)) (* (- y) (cbrt 500.0)) (* x (cbrt 500.0)) (* (- 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))) (* (- x y) (pow (cbrt 500.0) 3)) (* (- x y) (pow (cbrt 500.0) 3)) (log (* (- x y) (pow (cbrt 500.0) 3))) (log (* (- x y) (pow (cbrt 500.0) 3))) (log (* (- x y) (pow (cbrt 500.0) 3))) (log (* (- x y) (pow (cbrt 500.0) 3))) (log (* (- x y) (pow (cbrt 500.0) 3))) (log (* (- x y) (pow (cbrt 500.0) 3))) (log (* (- x y) (pow (cbrt 500.0) 3))) (log (* (- x y) (pow (cbrt 500.0) 3))) (log (* (- x y) (pow (cbrt 500.0) 3))) (exp (* (- x y) (pow (cbrt 500.0) 3))) (* (pow (* (cbrt 500.0) (cbrt 500.0)) 3) (* (pow (- x y) 3) 500.0)) (pow (* (- x y) (pow (cbrt 500.0) 3)) 3) (* (pow (* (cbrt 500.0) (cbrt 500.0)) 3) (* (pow (- x y) 3) 500.0)) (pow (* (- x y) (pow (cbrt 500.0) 3)) 3) (* (cbrt (* (- x y) (pow (cbrt 500.0) 3))) (cbrt (* (- x y) (pow (cbrt 500.0) 3)))) (cbrt (* (- x y) (pow (cbrt 500.0) 3))) (pow (* (- x y) (pow (cbrt 500.0) 3)) 3) (sqrt (* (- x y) (pow (cbrt 500.0) 3))) (sqrt (* (- x y) (pow (cbrt 500.0) 3))) (* (pow (cbrt 500.0) 3) x) (* (- y) (pow (cbrt 500.0) 3)) (* (pow (cbrt 500.0) 3) x) (* (- y) (pow (cbrt 500.0) 3)) (* (pow (cbrt 500.0) 3) x) (* (- y) (pow (cbrt 500.0) 3)) (* (pow (cbrt 500.0) 3) x) (* (- y) (pow (cbrt 500.0) 3)) (* (pow (cbrt 500.0) 3) x) (* (- y) (pow (cbrt 500.0) 3)) (* (pow (cbrt 500.0) 3) x) (* (- y) (pow (cbrt 500.0) 3)) (* (pow (cbrt 500.0) 3) x) (* (- y) (pow (cbrt 500.0) 3)) (* (pow (cbrt 500.0) 3) x) (* (- y) (pow (cbrt 500.0) 3)) (pow (cbrt 500.0) 3) (* (pow (sqrt (cbrt 500.0)) (+ 4 1)) (- x y)) (* (- (pow x 3) (pow y 3)) (pow (cbrt 500.0) 3)) (* (* (pow (cbrt 500.0) 3) (+ x y)) (- x y)) (* (- x y) (pow (cbrt 500.0) 3)) (* (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)) 11.130 * * * [progress]: adding candidates to table 11.403 * [progress]: [Phase 3 of 3] Extracting. 11.403 * * [regime]: Finding splitpoints for: (# # #) 11.403 * * * [regime-changes]: Trying 4 branch expressions: ((- x y) (* 500.0 (- x y)) y x) 11.403 * * * * [regimes]: Trying to branch on (- x y) from (# # #) 11.419 * * * * [regimes]: Trying to branch on (* 500.0 (- x y)) from (# # #) 11.447 * * * * [regimes]: Trying to branch on y from (# # #) 11.480 * * * * [regimes]: Trying to branch on x from (# # #) 11.509 * * * [regime]: Found split indices: #