51.750 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.019 * * * [progress]: [2/2] Setting up program. 0.021 * [progress]: [Phase 2 of 3] Improving. 0.021 * [simplify]: Simplifying: (- (* (* x 3.0) y) z) 0.021 * * [simplify]: Extracting # 0 : cost 0 0.021 * * [simplify]: Extracting # 1 : cost 0 0.021 * * [simplify]: Extracting # 2 : cost 0 0.021 * * [simplify]: Extracting # 3 : cost 0 0.021 * * [simplify]: Extracting # 4 : cost 0 0.021 * * [simplify]: Extracting # 5 : cost 0 0.021 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 0.023 * * [simplify]: Extracting # 0 : cost 0 0.023 * * [simplify]: Extracting # 1 : cost 0 0.023 * * [simplify]: Extracting # 2 : cost 0 0.023 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 0.025 * * [simplify]: Extracting # 0 : cost 0 0.025 * * [simplify]: Extracting # 1 : cost 0 0.025 * * [simplify]: Extracting # 2 : cost 0 0.025 * * [simplify]: iteration 2 : 21 enodes (cost 7 ) 0.028 * * [simplify]: Extracting # 0 : cost 0 0.028 * * [simplify]: iteration 3 : 23 enodes (cost 7 ) 0.032 * * [simplify]: Extracting # 0 : cost 0 0.032 * * [simplify]: iteration done: 23 enodes (cost 7 ) 0.032 * [simplify]: Simplified to: (- (* (* x 3.0) y) z) 0.032 * * [progress]: iteration 1 / 4 0.032 * * * [progress]: picking best candidate 0.034 * * * * [pick]: Picked # 0.034 * * * [progress]: localizing error 0.040 * * * [progress]: generating rewritten candidates 0.040 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 0.059 * * * [progress]: generating series expansions 0.059 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 0.059 * [backup-simplify]: Simplify (* (* x 3.0) y) into (* 3.0 (* x y)) 0.059 * [approximate]: Taking taylor expansion of (* 3.0 (* x y)) in (x y) around 0 0.059 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in y 0.059 * [taylor]: Taking taylor expansion of 3.0 in y 0.059 * [backup-simplify]: Simplify 3.0 into 3.0 0.059 * [taylor]: Taking taylor expansion of (* x y) in y 0.059 * [taylor]: Taking taylor expansion of x in y 0.059 * [backup-simplify]: Simplify x into x 0.059 * [taylor]: Taking taylor expansion of y in y 0.059 * [backup-simplify]: Simplify 0 into 0 0.059 * [backup-simplify]: Simplify 1 into 1 0.059 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x 0.059 * [taylor]: Taking taylor expansion of 3.0 in x 0.059 * [backup-simplify]: Simplify 3.0 into 3.0 0.059 * [taylor]: Taking taylor expansion of (* x y) in x 0.059 * [taylor]: Taking taylor expansion of x in x 0.059 * [backup-simplify]: Simplify 0 into 0 0.059 * [backup-simplify]: Simplify 1 into 1 0.059 * [taylor]: Taking taylor expansion of y in x 0.059 * [backup-simplify]: Simplify y into y 0.059 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x 0.059 * [taylor]: Taking taylor expansion of 3.0 in x 0.059 * [backup-simplify]: Simplify 3.0 into 3.0 0.059 * [taylor]: Taking taylor expansion of (* x y) in x 0.059 * [taylor]: Taking taylor expansion of x in x 0.059 * [backup-simplify]: Simplify 0 into 0 0.060 * [backup-simplify]: Simplify 1 into 1 0.060 * [taylor]: Taking taylor expansion of y in x 0.060 * [backup-simplify]: Simplify y into y 0.060 * [backup-simplify]: Simplify (* 0 y) into 0 0.060 * [backup-simplify]: Simplify (* 3.0 0) into 0 0.060 * [taylor]: Taking taylor expansion of 0 in y 0.060 * [backup-simplify]: Simplify 0 into 0 0.060 * [backup-simplify]: Simplify 0 into 0 0.060 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.061 * [backup-simplify]: Simplify (+ (* 3.0 y) (* 0 0)) into (* 3.0 y) 0.061 * [taylor]: Taking taylor expansion of (* 3.0 y) in y 0.061 * [taylor]: Taking taylor expansion of 3.0 in y 0.061 * [backup-simplify]: Simplify 3.0 into 3.0 0.061 * [taylor]: Taking taylor expansion of y in y 0.061 * [backup-simplify]: Simplify 0 into 0 0.061 * [backup-simplify]: Simplify 1 into 1 0.061 * [backup-simplify]: Simplify (* 3.0 0) into 0 0.061 * [backup-simplify]: Simplify 0 into 0 0.061 * [backup-simplify]: Simplify 0 into 0 0.062 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.062 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 y) (* 0 0))) into 0 0.062 * [taylor]: Taking taylor expansion of 0 in y 0.062 * [backup-simplify]: Simplify 0 into 0 0.062 * [backup-simplify]: Simplify 0 into 0 0.063 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0 0.063 * [backup-simplify]: Simplify 3.0 into 3.0 0.063 * [backup-simplify]: Simplify 0 into 0 0.064 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 0.065 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 0.065 * [taylor]: Taking taylor expansion of 0 in y 0.065 * [backup-simplify]: Simplify 0 into 0 0.065 * [backup-simplify]: Simplify 0 into 0 0.065 * [backup-simplify]: Simplify 0 into 0 0.066 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0 0.066 * [backup-simplify]: Simplify 0 into 0 0.066 * [backup-simplify]: Simplify 0 into 0 0.067 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.068 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 0.068 * [taylor]: Taking taylor expansion of 0 in y 0.068 * [backup-simplify]: Simplify 0 into 0 0.068 * [backup-simplify]: Simplify 0 into 0 0.068 * [backup-simplify]: Simplify (* 3.0 (* y x)) into (* 3.0 (* x y)) 0.068 * [backup-simplify]: Simplify (* (* (/ 1 x) 3.0) (/ 1 y)) into (/ 3.0 (* x y)) 0.068 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0 0.068 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y 0.068 * [taylor]: Taking taylor expansion of 3.0 in y 0.068 * [backup-simplify]: Simplify 3.0 into 3.0 0.068 * [taylor]: Taking taylor expansion of (* x y) in y 0.068 * [taylor]: Taking taylor expansion of x in y 0.068 * [backup-simplify]: Simplify x into x 0.068 * [taylor]: Taking taylor expansion of y in y 0.068 * [backup-simplify]: Simplify 0 into 0 0.068 * [backup-simplify]: Simplify 1 into 1 0.068 * [backup-simplify]: Simplify (* x 0) into 0 0.068 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 0.068 * [backup-simplify]: Simplify (/ 3.0 x) into (/ 3.0 x) 0.068 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 0.068 * [taylor]: Taking taylor expansion of 3.0 in x 0.068 * [backup-simplify]: Simplify 3.0 into 3.0 0.068 * [taylor]: Taking taylor expansion of (* x y) in x 0.068 * [taylor]: Taking taylor expansion of x in x 0.068 * [backup-simplify]: Simplify 0 into 0 0.068 * [backup-simplify]: Simplify 1 into 1 0.068 * [taylor]: Taking taylor expansion of y in x 0.068 * [backup-simplify]: Simplify y into y 0.068 * [backup-simplify]: Simplify (* 0 y) into 0 0.069 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.069 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y) 0.069 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 0.069 * [taylor]: Taking taylor expansion of 3.0 in x 0.069 * [backup-simplify]: Simplify 3.0 into 3.0 0.069 * [taylor]: Taking taylor expansion of (* x y) in x 0.069 * [taylor]: Taking taylor expansion of x in x 0.069 * [backup-simplify]: Simplify 0 into 0 0.069 * [backup-simplify]: Simplify 1 into 1 0.069 * [taylor]: Taking taylor expansion of y in x 0.069 * [backup-simplify]: Simplify y into y 0.069 * [backup-simplify]: Simplify (* 0 y) into 0 0.069 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.069 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y) 0.070 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 0.070 * [taylor]: Taking taylor expansion of 3.0 in y 0.070 * [backup-simplify]: Simplify 3.0 into 3.0 0.070 * [taylor]: Taking taylor expansion of y in y 0.070 * [backup-simplify]: Simplify 0 into 0 0.070 * [backup-simplify]: Simplify 1 into 1 0.070 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0 0.070 * [backup-simplify]: Simplify 3.0 into 3.0 0.070 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.071 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)))) into 0 0.071 * [taylor]: Taking taylor expansion of 0 in y 0.071 * [backup-simplify]: Simplify 0 into 0 0.071 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0 0.071 * [backup-simplify]: Simplify 0 into 0 0.072 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 0.072 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.072 * [taylor]: Taking taylor expansion of 0 in y 0.072 * [backup-simplify]: Simplify 0 into 0 0.072 * [backup-simplify]: Simplify 0 into 0 0.073 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.073 * [backup-simplify]: Simplify 0 into 0 0.074 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.074 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.074 * [taylor]: Taking taylor expansion of 0 in y 0.074 * [backup-simplify]: Simplify 0 into 0 0.074 * [backup-simplify]: Simplify 0 into 0 0.074 * [backup-simplify]: Simplify 0 into 0 0.075 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.075 * [backup-simplify]: Simplify 0 into 0 0.075 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 3.0 (* x y)) 0.075 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) 3.0) (/ 1 (- y))) into (/ 3.0 (* x y)) 0.075 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0 0.075 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y 0.075 * [taylor]: Taking taylor expansion of 3.0 in y 0.075 * [backup-simplify]: Simplify 3.0 into 3.0 0.075 * [taylor]: Taking taylor expansion of (* x y) in y 0.075 * [taylor]: Taking taylor expansion of x in y 0.075 * [backup-simplify]: Simplify x into x 0.075 * [taylor]: Taking taylor expansion of y in y 0.075 * [backup-simplify]: Simplify 0 into 0 0.075 * [backup-simplify]: Simplify 1 into 1 0.075 * [backup-simplify]: Simplify (* x 0) into 0 0.075 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 0.075 * [backup-simplify]: Simplify (/ 3.0 x) into (/ 3.0 x) 0.076 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 0.076 * [taylor]: Taking taylor expansion of 3.0 in x 0.076 * [backup-simplify]: Simplify 3.0 into 3.0 0.076 * [taylor]: Taking taylor expansion of (* x y) in x 0.076 * [taylor]: Taking taylor expansion of x in x 0.076 * [backup-simplify]: Simplify 0 into 0 0.076 * [backup-simplify]: Simplify 1 into 1 0.076 * [taylor]: Taking taylor expansion of y in x 0.076 * [backup-simplify]: Simplify y into y 0.076 * [backup-simplify]: Simplify (* 0 y) into 0 0.076 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.076 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y) 0.076 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 0.076 * [taylor]: Taking taylor expansion of 3.0 in x 0.076 * [backup-simplify]: Simplify 3.0 into 3.0 0.076 * [taylor]: Taking taylor expansion of (* x y) in x 0.076 * [taylor]: Taking taylor expansion of x in x 0.076 * [backup-simplify]: Simplify 0 into 0 0.076 * [backup-simplify]: Simplify 1 into 1 0.076 * [taylor]: Taking taylor expansion of y in x 0.076 * [backup-simplify]: Simplify y into y 0.076 * [backup-simplify]: Simplify (* 0 y) into 0 0.077 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.077 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y) 0.077 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 0.077 * [taylor]: Taking taylor expansion of 3.0 in y 0.077 * [backup-simplify]: Simplify 3.0 into 3.0 0.077 * [taylor]: Taking taylor expansion of y in y 0.077 * [backup-simplify]: Simplify 0 into 0 0.077 * [backup-simplify]: Simplify 1 into 1 0.077 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0 0.077 * [backup-simplify]: Simplify 3.0 into 3.0 0.078 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.078 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)))) into 0 0.078 * [taylor]: Taking taylor expansion of 0 in y 0.078 * [backup-simplify]: Simplify 0 into 0 0.079 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0 0.079 * [backup-simplify]: Simplify 0 into 0 0.080 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 0.080 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.080 * [taylor]: Taking taylor expansion of 0 in y 0.080 * [backup-simplify]: Simplify 0 into 0 0.080 * [backup-simplify]: Simplify 0 into 0 0.081 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.081 * [backup-simplify]: Simplify 0 into 0 0.083 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.083 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.083 * [taylor]: Taking taylor expansion of 0 in y 0.083 * [backup-simplify]: Simplify 0 into 0 0.083 * [backup-simplify]: Simplify 0 into 0 0.083 * [backup-simplify]: Simplify 0 into 0 0.092 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.092 * [backup-simplify]: Simplify 0 into 0 0.093 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 3.0 (* x y)) 0.093 * * * [progress]: simplifying candidates 0.093 * [simplify]: Simplifying: (* (* x 3.0) y) (* (* x 3.0) y) (+ (+ (log x) (log 3.0)) (log y)) (+ (log (* x 3.0)) (log y)) (log (* (* x 3.0) y)) (exp (* (* x 3.0) y)) (* (* (* (* x x) x) (* (* 3.0 3.0) 3.0)) (* (* y y) y)) (* (* (* (* x 3.0) (* x 3.0)) (* x 3.0)) (* (* y y) y)) (* (cbrt (* (* x 3.0) y)) (cbrt (* (* x 3.0) y))) (cbrt (* (* x 3.0) y)) (* (* (* (* x 3.0) y) (* (* x 3.0) y)) (* (* x 3.0) y)) (sqrt (* (* x 3.0) y)) (sqrt (* (* x 3.0) y)) (* (* x 3.0) (* (cbrt y) (cbrt y))) (* (* x 3.0) (sqrt y)) (* (* x 3.0) 1) (* 3.0 y) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) 0.093 * * [simplify]: Extracting # 0 : cost 0 0.093 * * [simplify]: Extracting # 1 : cost 0 0.093 * * [simplify]: Extracting # 2 : cost 0 0.094 * * [simplify]: Extracting # 3 : cost 0 0.094 * * [simplify]: Extracting # 4 : cost 0 0.094 * * [simplify]: Extracting # 5 : cost 0 0.094 * * [simplify]: Extracting # 6 : cost 0 0.094 * * [simplify]: iteration 0 : 40 enodes (cost 157 ) 0.107 * * [simplify]: Extracting # 0 : cost 0 0.107 * * [simplify]: Extracting # 1 : cost 0 0.108 * * [simplify]: Extracting # 2 : cost 0 0.108 * * [simplify]: iteration 1 : 100 enodes (cost 152 ) 0.163 * * [simplify]: Extracting # 0 : cost 0 0.164 * * [simplify]: Extracting # 1 : cost 0 0.164 * * [simplify]: Extracting # 2 : cost 0 0.165 * * [simplify]: Extracting # 3 : cost 0 0.165 * * [simplify]: Extracting # 4 : cost 0 0.165 * * [simplify]: Extracting # 5 : cost 0 0.166 * * [simplify]: iteration 2 : 404 enodes (cost 122 ) 0.698 * * [simplify]: Extracting # 0 : cost 0 0.700 * * [simplify]: Extracting # 1 : cost 0 0.701 * * [simplify]: Extracting # 2 : cost 0 0.702 * * [simplify]: Extracting # 3 : cost 0 0.703 * * [simplify]: Extracting # 4 : cost 0 0.705 * * [simplify]: iteration 3 : 1399 enodes (cost 122 ) 4.273 * * [simplify]: Extracting # 0 : cost 0 4.277 * * [simplify]: Extracting # 1 : cost 0 4.279 * * [simplify]: Extracting # 2 : cost 0 4.280 * * [simplify]: Extracting # 3 : cost 0 4.281 * * [simplify]: Extracting # 4 : cost 0 4.283 * * [simplify]: Extracting # 5 : cost 0 4.284 * * [simplify]: iteration 4 : 3119 enodes (cost 122 ) 7.188 * * [simplify]: Extracting # 0 : cost 0 7.192 * * [simplify]: Extracting # 1 : cost 0 7.196 * * [simplify]: Extracting # 2 : cost 0 7.199 * * [simplify]: Extracting # 3 : cost 0 7.202 * * [simplify]: Extracting # 4 : cost 0 7.206 * * [simplify]: iteration done: 5000 enodes (cost 122 ) 7.206 * [simplify]: Simplified to: (* 3.0 (* x y)) (* 3.0 (* x y)) (log (* 3.0 (* x y))) (log (* 3.0 (* x y))) (log (* 3.0 (* x y))) (exp (* (* x 3.0) y)) (pow (* 3.0 (* x y)) 3) (pow (* 3.0 (* x y)) 3) (* (cbrt (* (* x 3.0) y)) (cbrt (* (* x 3.0) y))) (cbrt (* (* x 3.0) y)) (pow (* 3.0 (* x y)) 3) (sqrt (* (* x 3.0) y)) (sqrt (* (* x 3.0) y)) (* (* x 3.0) (* (cbrt y) (cbrt y))) (* (* x 3.0) (sqrt y)) (* x 3.0) (* y 3.0) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) 7.206 * * * [progress]: adding candidates to table 7.244 * * [progress]: iteration 2 / 4 7.244 * * * [progress]: picking best candidate 7.249 * * * * [pick]: Picked # 7.249 * * * [progress]: localizing error 7.255 * * * [progress]: generating rewritten candidates 7.255 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 7.273 * * * [progress]: generating series expansions 7.273 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 7.273 * [backup-simplify]: Simplify (* x (* y 3.0)) into (* 3.0 (* x y)) 7.273 * [approximate]: Taking taylor expansion of (* 3.0 (* x y)) in (x y) around 0 7.273 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in y 7.273 * [taylor]: Taking taylor expansion of 3.0 in y 7.273 * [backup-simplify]: Simplify 3.0 into 3.0 7.273 * [taylor]: Taking taylor expansion of (* x y) in y 7.273 * [taylor]: Taking taylor expansion of x in y 7.273 * [backup-simplify]: Simplify x into x 7.273 * [taylor]: Taking taylor expansion of y in y 7.273 * [backup-simplify]: Simplify 0 into 0 7.273 * [backup-simplify]: Simplify 1 into 1 7.273 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x 7.273 * [taylor]: Taking taylor expansion of 3.0 in x 7.273 * [backup-simplify]: Simplify 3.0 into 3.0 7.273 * [taylor]: Taking taylor expansion of (* x y) in x 7.273 * [taylor]: Taking taylor expansion of x in x 7.273 * [backup-simplify]: Simplify 0 into 0 7.273 * [backup-simplify]: Simplify 1 into 1 7.273 * [taylor]: Taking taylor expansion of y in x 7.273 * [backup-simplify]: Simplify y into y 7.273 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x 7.273 * [taylor]: Taking taylor expansion of 3.0 in x 7.273 * [backup-simplify]: Simplify 3.0 into 3.0 7.273 * [taylor]: Taking taylor expansion of (* x y) in x 7.273 * [taylor]: Taking taylor expansion of x in x 7.273 * [backup-simplify]: Simplify 0 into 0 7.273 * [backup-simplify]: Simplify 1 into 1 7.273 * [taylor]: Taking taylor expansion of y in x 7.273 * [backup-simplify]: Simplify y into y 7.273 * [backup-simplify]: Simplify (* 0 y) into 0 7.274 * [backup-simplify]: Simplify (* 3.0 0) into 0 7.274 * [taylor]: Taking taylor expansion of 0 in y 7.274 * [backup-simplify]: Simplify 0 into 0 7.274 * [backup-simplify]: Simplify 0 into 0 7.274 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.275 * [backup-simplify]: Simplify (+ (* 3.0 y) (* 0 0)) into (* 3.0 y) 7.275 * [taylor]: Taking taylor expansion of (* 3.0 y) in y 7.275 * [taylor]: Taking taylor expansion of 3.0 in y 7.275 * [backup-simplify]: Simplify 3.0 into 3.0 7.275 * [taylor]: Taking taylor expansion of y in y 7.275 * [backup-simplify]: Simplify 0 into 0 7.275 * [backup-simplify]: Simplify 1 into 1 7.275 * [backup-simplify]: Simplify (* 3.0 0) into 0 7.275 * [backup-simplify]: Simplify 0 into 0 7.275 * [backup-simplify]: Simplify 0 into 0 7.276 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 7.276 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 y) (* 0 0))) into 0 7.276 * [taylor]: Taking taylor expansion of 0 in y 7.276 * [backup-simplify]: Simplify 0 into 0 7.276 * [backup-simplify]: Simplify 0 into 0 7.277 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0 7.277 * [backup-simplify]: Simplify 3.0 into 3.0 7.277 * [backup-simplify]: Simplify 0 into 0 7.278 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 7.279 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 7.279 * [taylor]: Taking taylor expansion of 0 in y 7.279 * [backup-simplify]: Simplify 0 into 0 7.279 * [backup-simplify]: Simplify 0 into 0 7.279 * [backup-simplify]: Simplify 0 into 0 7.279 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0 7.279 * [backup-simplify]: Simplify 0 into 0 7.279 * [backup-simplify]: Simplify 0 into 0 7.281 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 7.281 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 7.282 * [taylor]: Taking taylor expansion of 0 in y 7.282 * [backup-simplify]: Simplify 0 into 0 7.282 * [backup-simplify]: Simplify 0 into 0 7.282 * [backup-simplify]: Simplify (* 3.0 (* y x)) into (* 3.0 (* x y)) 7.282 * [backup-simplify]: Simplify (* (/ 1 x) (* (/ 1 y) 3.0)) into (/ 3.0 (* x y)) 7.282 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0 7.282 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y 7.282 * [taylor]: Taking taylor expansion of 3.0 in y 7.282 * [backup-simplify]: Simplify 3.0 into 3.0 7.282 * [taylor]: Taking taylor expansion of (* x y) in y 7.282 * [taylor]: Taking taylor expansion of x in y 7.282 * [backup-simplify]: Simplify x into x 7.282 * [taylor]: Taking taylor expansion of y in y 7.282 * [backup-simplify]: Simplify 0 into 0 7.282 * [backup-simplify]: Simplify 1 into 1 7.282 * [backup-simplify]: Simplify (* x 0) into 0 7.282 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 7.282 * [backup-simplify]: Simplify (/ 3.0 x) into (/ 3.0 x) 7.282 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 7.282 * [taylor]: Taking taylor expansion of 3.0 in x 7.282 * [backup-simplify]: Simplify 3.0 into 3.0 7.282 * [taylor]: Taking taylor expansion of (* x y) in x 7.282 * [taylor]: Taking taylor expansion of x in x 7.282 * [backup-simplify]: Simplify 0 into 0 7.282 * [backup-simplify]: Simplify 1 into 1 7.282 * [taylor]: Taking taylor expansion of y in x 7.282 * [backup-simplify]: Simplify y into y 7.282 * [backup-simplify]: Simplify (* 0 y) into 0 7.283 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.283 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y) 7.283 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 7.283 * [taylor]: Taking taylor expansion of 3.0 in x 7.283 * [backup-simplify]: Simplify 3.0 into 3.0 7.283 * [taylor]: Taking taylor expansion of (* x y) in x 7.283 * [taylor]: Taking taylor expansion of x in x 7.283 * [backup-simplify]: Simplify 0 into 0 7.283 * [backup-simplify]: Simplify 1 into 1 7.283 * [taylor]: Taking taylor expansion of y in x 7.283 * [backup-simplify]: Simplify y into y 7.283 * [backup-simplify]: Simplify (* 0 y) into 0 7.283 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.283 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y) 7.283 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 7.283 * [taylor]: Taking taylor expansion of 3.0 in y 7.283 * [backup-simplify]: Simplify 3.0 into 3.0 7.283 * [taylor]: Taking taylor expansion of y in y 7.283 * [backup-simplify]: Simplify 0 into 0 7.283 * [backup-simplify]: Simplify 1 into 1 7.284 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0 7.284 * [backup-simplify]: Simplify 3.0 into 3.0 7.284 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 7.284 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)))) into 0 7.284 * [taylor]: Taking taylor expansion of 0 in y 7.284 * [backup-simplify]: Simplify 0 into 0 7.285 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0 7.285 * [backup-simplify]: Simplify 0 into 0 7.286 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 7.286 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.286 * [taylor]: Taking taylor expansion of 0 in y 7.286 * [backup-simplify]: Simplify 0 into 0 7.286 * [backup-simplify]: Simplify 0 into 0 7.286 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.286 * [backup-simplify]: Simplify 0 into 0 7.287 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 7.288 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.288 * [taylor]: Taking taylor expansion of 0 in y 7.288 * [backup-simplify]: Simplify 0 into 0 7.288 * [backup-simplify]: Simplify 0 into 0 7.288 * [backup-simplify]: Simplify 0 into 0 7.288 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.288 * [backup-simplify]: Simplify 0 into 0 7.288 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 3.0 (* x y)) 7.289 * [backup-simplify]: Simplify (* (/ 1 (- x)) (* (/ 1 (- y)) 3.0)) into (/ 3.0 (* x y)) 7.289 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0 7.289 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y 7.289 * [taylor]: Taking taylor expansion of 3.0 in y 7.289 * [backup-simplify]: Simplify 3.0 into 3.0 7.289 * [taylor]: Taking taylor expansion of (* x y) in y 7.289 * [taylor]: Taking taylor expansion of x in y 7.289 * [backup-simplify]: Simplify x into x 7.289 * [taylor]: Taking taylor expansion of y in y 7.289 * [backup-simplify]: Simplify 0 into 0 7.289 * [backup-simplify]: Simplify 1 into 1 7.289 * [backup-simplify]: Simplify (* x 0) into 0 7.289 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 7.289 * [backup-simplify]: Simplify (/ 3.0 x) into (/ 3.0 x) 7.289 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 7.289 * [taylor]: Taking taylor expansion of 3.0 in x 7.289 * [backup-simplify]: Simplify 3.0 into 3.0 7.289 * [taylor]: Taking taylor expansion of (* x y) in x 7.289 * [taylor]: Taking taylor expansion of x in x 7.289 * [backup-simplify]: Simplify 0 into 0 7.289 * [backup-simplify]: Simplify 1 into 1 7.289 * [taylor]: Taking taylor expansion of y in x 7.289 * [backup-simplify]: Simplify y into y 7.289 * [backup-simplify]: Simplify (* 0 y) into 0 7.289 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.290 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y) 7.290 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 7.290 * [taylor]: Taking taylor expansion of 3.0 in x 7.290 * [backup-simplify]: Simplify 3.0 into 3.0 7.290 * [taylor]: Taking taylor expansion of (* x y) in x 7.290 * [taylor]: Taking taylor expansion of x in x 7.290 * [backup-simplify]: Simplify 0 into 0 7.290 * [backup-simplify]: Simplify 1 into 1 7.290 * [taylor]: Taking taylor expansion of y in x 7.290 * [backup-simplify]: Simplify y into y 7.290 * [backup-simplify]: Simplify (* 0 y) into 0 7.294 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.294 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y) 7.294 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 7.294 * [taylor]: Taking taylor expansion of 3.0 in y 7.294 * [backup-simplify]: Simplify 3.0 into 3.0 7.294 * [taylor]: Taking taylor expansion of y in y 7.294 * [backup-simplify]: Simplify 0 into 0 7.295 * [backup-simplify]: Simplify 1 into 1 7.295 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0 7.295 * [backup-simplify]: Simplify 3.0 into 3.0 7.296 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 7.296 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)))) into 0 7.296 * [taylor]: Taking taylor expansion of 0 in y 7.296 * [backup-simplify]: Simplify 0 into 0 7.297 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0 7.297 * [backup-simplify]: Simplify 0 into 0 7.298 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 7.298 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.298 * [taylor]: Taking taylor expansion of 0 in y 7.298 * [backup-simplify]: Simplify 0 into 0 7.298 * [backup-simplify]: Simplify 0 into 0 7.299 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.299 * [backup-simplify]: Simplify 0 into 0 7.301 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 7.301 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.301 * [taylor]: Taking taylor expansion of 0 in y 7.301 * [backup-simplify]: Simplify 0 into 0 7.301 * [backup-simplify]: Simplify 0 into 0 7.301 * [backup-simplify]: Simplify 0 into 0 7.302 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.302 * [backup-simplify]: Simplify 0 into 0 7.302 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 3.0 (* x y)) 7.302 * * * [progress]: simplifying candidates 7.302 * [simplify]: Simplifying: (* x (* y 3.0)) (* x (* y 3.0)) (+ (log x) (+ (log y) (log 3.0))) (+ (log x) (log (* y 3.0))) (log (* x (* y 3.0))) (exp (* x (* y 3.0))) (* (* (* x x) x) (* (* (* y y) y) (* (* 3.0 3.0) 3.0))) (* (* (* x x) x) (* (* (* y 3.0) (* y 3.0)) (* y 3.0))) (* (cbrt (* x (* y 3.0))) (cbrt (* x (* y 3.0)))) (cbrt (* x (* y 3.0))) (* (* (* x (* y 3.0)) (* x (* y 3.0))) (* x (* y 3.0))) (sqrt (* x (* y 3.0))) (sqrt (* x (* y 3.0))) (* x y) (* (cbrt x) (* y 3.0)) (* (sqrt x) (* y 3.0)) (* x (* y 3.0)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) 7.303 * * [simplify]: Extracting # 0 : cost 0 7.303 * * [simplify]: Extracting # 1 : cost 0 7.303 * * [simplify]: Extracting # 2 : cost 0 7.303 * * [simplify]: Extracting # 3 : cost 0 7.303 * * [simplify]: Extracting # 4 : cost 0 7.303 * * [simplify]: Extracting # 5 : cost 0 7.304 * * [simplify]: Extracting # 6 : cost 0 7.304 * * [simplify]: iteration 0 : 36 enodes (cost 154 ) 7.316 * * [simplify]: Extracting # 0 : cost 0 7.317 * * [simplify]: Extracting # 1 : cost 0 7.317 * * [simplify]: Extracting # 2 : cost 0 7.317 * * [simplify]: iteration 1 : 88 enodes (cost 151 ) 7.365 * * [simplify]: Extracting # 0 : cost 0 7.365 * * [simplify]: Extracting # 1 : cost 0 7.366 * * [simplify]: Extracting # 2 : cost 0 7.366 * * [simplify]: Extracting # 3 : cost 0 7.367 * * [simplify]: Extracting # 4 : cost 0 7.367 * * [simplify]: Extracting # 5 : cost 0 7.367 * * [simplify]: iteration 2 : 328 enodes (cost 127 ) 7.719 * * [simplify]: Extracting # 0 : cost 0 7.721 * * [simplify]: Extracting # 1 : cost 0 7.722 * * [simplify]: Extracting # 2 : cost 0 7.723 * * [simplify]: Extracting # 3 : cost 0 7.725 * * [simplify]: Extracting # 4 : cost 0 7.726 * * [simplify]: iteration 3 : 1092 enodes (cost 121 ) 9.628 * * [simplify]: Extracting # 0 : cost 0 9.633 * * [simplify]: Extracting # 1 : cost 0 9.635 * * [simplify]: Extracting # 2 : cost 0 9.637 * * [simplify]: Extracting # 3 : cost 0 9.639 * * [simplify]: Extracting # 4 : cost 0 9.646 * * [simplify]: iteration 4 : 1989 enodes (cost 121 ) 14.080 * * [simplify]: Extracting # 0 : cost 0 14.083 * * [simplify]: Extracting # 1 : cost 0 14.085 * * [simplify]: Extracting # 2 : cost 0 14.088 * * [simplify]: Extracting # 3 : cost 0 14.097 * * [simplify]: Extracting # 4 : cost 0 14.099 * * [simplify]: iteration 5 : 4238 enodes (cost 121 ) 15.373 * * [simplify]: Extracting # 0 : cost 0 15.377 * * [simplify]: Extracting # 1 : cost 0 15.383 * * [simplify]: Extracting # 2 : cost 0 15.387 * * [simplify]: iteration done: 5001 enodes (cost 121 ) 15.387 * [simplify]: Simplified to: (* x (* y 3.0)) (* x (* y 3.0)) (log (* x (* y 3.0))) (log (* x (* y 3.0))) (log (* x (* y 3.0))) (exp (* x (* y 3.0))) (pow (* x (* y 3.0)) 3) (pow (* x (* y 3.0)) 3) (* (cbrt (* x (* y 3.0))) (cbrt (* x (* y 3.0)))) (cbrt (* x (* y 3.0))) (pow (* x (* y 3.0)) 3) (sqrt (* x (* y 3.0))) (sqrt (* x (* y 3.0))) (* x y) (* (cbrt x) (* y 3.0)) (* (sqrt x) (* y 3.0)) (* x (* y 3.0)) (* x (* y 3.0)) (* x (* y 3.0)) (* x (* y 3.0)) 15.387 * * * [progress]: adding candidates to table 15.420 * * [progress]: iteration 3 / 4 15.421 * * * [progress]: picking best candidate 15.427 * * * * [pick]: Picked # 15.427 * * * [progress]: localizing error 15.433 * * * [progress]: generating rewritten candidates 15.433 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 15.455 * * * [progress]: generating series expansions 15.455 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 15.455 * [backup-simplify]: Simplify (* 3.0 (* x y)) into (* 3.0 (* x y)) 15.455 * [approximate]: Taking taylor expansion of (* 3.0 (* x y)) in (x y) around 0 15.455 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in y 15.455 * [taylor]: Taking taylor expansion of 3.0 in y 15.455 * [backup-simplify]: Simplify 3.0 into 3.0 15.455 * [taylor]: Taking taylor expansion of (* x y) in y 15.455 * [taylor]: Taking taylor expansion of x in y 15.455 * [backup-simplify]: Simplify x into x 15.455 * [taylor]: Taking taylor expansion of y in y 15.455 * [backup-simplify]: Simplify 0 into 0 15.455 * [backup-simplify]: Simplify 1 into 1 15.455 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x 15.456 * [taylor]: Taking taylor expansion of 3.0 in x 15.456 * [backup-simplify]: Simplify 3.0 into 3.0 15.456 * [taylor]: Taking taylor expansion of (* x y) in x 15.456 * [taylor]: Taking taylor expansion of x in x 15.456 * [backup-simplify]: Simplify 0 into 0 15.456 * [backup-simplify]: Simplify 1 into 1 15.456 * [taylor]: Taking taylor expansion of y in x 15.456 * [backup-simplify]: Simplify y into y 15.456 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x 15.456 * [taylor]: Taking taylor expansion of 3.0 in x 15.456 * [backup-simplify]: Simplify 3.0 into 3.0 15.456 * [taylor]: Taking taylor expansion of (* x y) in x 15.456 * [taylor]: Taking taylor expansion of x in x 15.456 * [backup-simplify]: Simplify 0 into 0 15.456 * [backup-simplify]: Simplify 1 into 1 15.456 * [taylor]: Taking taylor expansion of y in x 15.456 * [backup-simplify]: Simplify y into y 15.456 * [backup-simplify]: Simplify (* 0 y) into 0 15.457 * [backup-simplify]: Simplify (* 3.0 0) into 0 15.457 * [taylor]: Taking taylor expansion of 0 in y 15.457 * [backup-simplify]: Simplify 0 into 0 15.457 * [backup-simplify]: Simplify 0 into 0 15.457 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 15.458 * [backup-simplify]: Simplify (+ (* 3.0 y) (* 0 0)) into (* 3.0 y) 15.458 * [taylor]: Taking taylor expansion of (* 3.0 y) in y 15.458 * [taylor]: Taking taylor expansion of 3.0 in y 15.458 * [backup-simplify]: Simplify 3.0 into 3.0 15.458 * [taylor]: Taking taylor expansion of y in y 15.458 * [backup-simplify]: Simplify 0 into 0 15.458 * [backup-simplify]: Simplify 1 into 1 15.458 * [backup-simplify]: Simplify (* 3.0 0) into 0 15.458 * [backup-simplify]: Simplify 0 into 0 15.458 * [backup-simplify]: Simplify 0 into 0 15.459 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 15.459 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 y) (* 0 0))) into 0 15.459 * [taylor]: Taking taylor expansion of 0 in y 15.459 * [backup-simplify]: Simplify 0 into 0 15.459 * [backup-simplify]: Simplify 0 into 0 15.460 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0 15.460 * [backup-simplify]: Simplify 3.0 into 3.0 15.460 * [backup-simplify]: Simplify 0 into 0 15.461 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 15.462 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 15.462 * [taylor]: Taking taylor expansion of 0 in y 15.462 * [backup-simplify]: Simplify 0 into 0 15.462 * [backup-simplify]: Simplify 0 into 0 15.462 * [backup-simplify]: Simplify 0 into 0 15.463 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0 15.463 * [backup-simplify]: Simplify 0 into 0 15.463 * [backup-simplify]: Simplify 0 into 0 15.464 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 15.465 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 15.466 * [taylor]: Taking taylor expansion of 0 in y 15.466 * [backup-simplify]: Simplify 0 into 0 15.466 * [backup-simplify]: Simplify 0 into 0 15.466 * [backup-simplify]: Simplify (* 3.0 (* y x)) into (* 3.0 (* x y)) 15.466 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 x) (/ 1 y))) into (/ 3.0 (* x y)) 15.466 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0 15.466 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y 15.466 * [taylor]: Taking taylor expansion of 3.0 in y 15.466 * [backup-simplify]: Simplify 3.0 into 3.0 15.466 * [taylor]: Taking taylor expansion of (* x y) in y 15.466 * [taylor]: Taking taylor expansion of x in y 15.466 * [backup-simplify]: Simplify x into x 15.466 * [taylor]: Taking taylor expansion of y in y 15.466 * [backup-simplify]: Simplify 0 into 0 15.466 * [backup-simplify]: Simplify 1 into 1 15.466 * [backup-simplify]: Simplify (* x 0) into 0 15.466 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 15.466 * [backup-simplify]: Simplify (/ 3.0 x) into (/ 3.0 x) 15.467 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 15.467 * [taylor]: Taking taylor expansion of 3.0 in x 15.467 * [backup-simplify]: Simplify 3.0 into 3.0 15.467 * [taylor]: Taking taylor expansion of (* x y) in x 15.467 * [taylor]: Taking taylor expansion of x in x 15.467 * [backup-simplify]: Simplify 0 into 0 15.467 * [backup-simplify]: Simplify 1 into 1 15.467 * [taylor]: Taking taylor expansion of y in x 15.467 * [backup-simplify]: Simplify y into y 15.467 * [backup-simplify]: Simplify (* 0 y) into 0 15.467 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 15.467 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y) 15.467 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 15.467 * [taylor]: Taking taylor expansion of 3.0 in x 15.467 * [backup-simplify]: Simplify 3.0 into 3.0 15.467 * [taylor]: Taking taylor expansion of (* x y) in x 15.467 * [taylor]: Taking taylor expansion of x in x 15.467 * [backup-simplify]: Simplify 0 into 0 15.467 * [backup-simplify]: Simplify 1 into 1 15.467 * [taylor]: Taking taylor expansion of y in x 15.467 * [backup-simplify]: Simplify y into y 15.467 * [backup-simplify]: Simplify (* 0 y) into 0 15.468 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 15.468 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y) 15.468 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 15.468 * [taylor]: Taking taylor expansion of 3.0 in y 15.468 * [backup-simplify]: Simplify 3.0 into 3.0 15.468 * [taylor]: Taking taylor expansion of y in y 15.468 * [backup-simplify]: Simplify 0 into 0 15.468 * [backup-simplify]: Simplify 1 into 1 15.468 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0 15.468 * [backup-simplify]: Simplify 3.0 into 3.0 15.469 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 15.469 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)))) into 0 15.469 * [taylor]: Taking taylor expansion of 0 in y 15.469 * [backup-simplify]: Simplify 0 into 0 15.470 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0 15.470 * [backup-simplify]: Simplify 0 into 0 15.471 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 15.471 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.471 * [taylor]: Taking taylor expansion of 0 in y 15.471 * [backup-simplify]: Simplify 0 into 0 15.471 * [backup-simplify]: Simplify 0 into 0 15.472 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.472 * [backup-simplify]: Simplify 0 into 0 15.473 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 15.474 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.474 * [taylor]: Taking taylor expansion of 0 in y 15.474 * [backup-simplify]: Simplify 0 into 0 15.474 * [backup-simplify]: Simplify 0 into 0 15.474 * [backup-simplify]: Simplify 0 into 0 15.475 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.475 * [backup-simplify]: Simplify 0 into 0 15.475 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 3.0 (* x y)) 15.475 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (- x)) (/ 1 (- y)))) into (/ 3.0 (* x y)) 15.475 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0 15.475 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y 15.475 * [taylor]: Taking taylor expansion of 3.0 in y 15.475 * [backup-simplify]: Simplify 3.0 into 3.0 15.475 * [taylor]: Taking taylor expansion of (* x y) in y 15.475 * [taylor]: Taking taylor expansion of x in y 15.475 * [backup-simplify]: Simplify x into x 15.475 * [taylor]: Taking taylor expansion of y in y 15.475 * [backup-simplify]: Simplify 0 into 0 15.475 * [backup-simplify]: Simplify 1 into 1 15.475 * [backup-simplify]: Simplify (* x 0) into 0 15.476 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 15.476 * [backup-simplify]: Simplify (/ 3.0 x) into (/ 3.0 x) 15.476 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 15.476 * [taylor]: Taking taylor expansion of 3.0 in x 15.476 * [backup-simplify]: Simplify 3.0 into 3.0 15.476 * [taylor]: Taking taylor expansion of (* x y) in x 15.476 * [taylor]: Taking taylor expansion of x in x 15.476 * [backup-simplify]: Simplify 0 into 0 15.476 * [backup-simplify]: Simplify 1 into 1 15.476 * [taylor]: Taking taylor expansion of y in x 15.476 * [backup-simplify]: Simplify y into y 15.476 * [backup-simplify]: Simplify (* 0 y) into 0 15.476 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 15.476 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y) 15.476 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 15.476 * [taylor]: Taking taylor expansion of 3.0 in x 15.476 * [backup-simplify]: Simplify 3.0 into 3.0 15.476 * [taylor]: Taking taylor expansion of (* x y) in x 15.476 * [taylor]: Taking taylor expansion of x in x 15.476 * [backup-simplify]: Simplify 0 into 0 15.476 * [backup-simplify]: Simplify 1 into 1 15.476 * [taylor]: Taking taylor expansion of y in x 15.476 * [backup-simplify]: Simplify y into y 15.477 * [backup-simplify]: Simplify (* 0 y) into 0 15.477 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 15.477 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y) 15.477 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 15.477 * [taylor]: Taking taylor expansion of 3.0 in y 15.477 * [backup-simplify]: Simplify 3.0 into 3.0 15.477 * [taylor]: Taking taylor expansion of y in y 15.477 * [backup-simplify]: Simplify 0 into 0 15.477 * [backup-simplify]: Simplify 1 into 1 15.482 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0 15.482 * [backup-simplify]: Simplify 3.0 into 3.0 15.483 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 15.483 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)))) into 0 15.483 * [taylor]: Taking taylor expansion of 0 in y 15.483 * [backup-simplify]: Simplify 0 into 0 15.484 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0 15.484 * [backup-simplify]: Simplify 0 into 0 15.485 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 15.485 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.485 * [taylor]: Taking taylor expansion of 0 in y 15.485 * [backup-simplify]: Simplify 0 into 0 15.485 * [backup-simplify]: Simplify 0 into 0 15.486 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.486 * [backup-simplify]: Simplify 0 into 0 15.487 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 15.488 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.488 * [taylor]: Taking taylor expansion of 0 in y 15.488 * [backup-simplify]: Simplify 0 into 0 15.488 * [backup-simplify]: Simplify 0 into 0 15.488 * [backup-simplify]: Simplify 0 into 0 15.489 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.489 * [backup-simplify]: Simplify 0 into 0 15.489 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 3.0 (* x y)) 15.489 * * * [progress]: simplifying candidates 15.489 * [simplify]: Simplifying: (* 3.0 (* x y)) (* 3.0 (* x y)) (+ (log 3.0) (+ (log x) (log y))) (+ (log 3.0) (log (* x y))) (log (* 3.0 (* x y))) (exp (* 3.0 (* x y))) (* (* (* 3.0 3.0) 3.0) (* (* (* x x) x) (* (* y y) y))) (* (* (* 3.0 3.0) 3.0) (* (* (* x y) (* x y)) (* x y))) (* (cbrt (* 3.0 (* x y))) (cbrt (* 3.0 (* x y)))) (cbrt (* 3.0 (* x y))) (* (* (* 3.0 (* x y)) (* 3.0 (* x y))) (* 3.0 (* x y))) (sqrt (* 3.0 (* x y))) (sqrt (* 3.0 (* x y))) (* 3.0 x) (* (cbrt 3.0) (* x y)) (* (sqrt 3.0) (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) 15.490 * * [simplify]: Extracting # 0 : cost 0 15.490 * * [simplify]: Extracting # 1 : cost 0 15.490 * * [simplify]: Extracting # 2 : cost 0 15.490 * * [simplify]: Extracting # 3 : cost 0 15.490 * * [simplify]: Extracting # 4 : cost 0 15.490 * * [simplify]: Extracting # 5 : cost 0 15.490 * * [simplify]: Extracting # 6 : cost 0 15.491 * * [simplify]: iteration 0 : 35 enodes (cost 154 ) 15.502 * * [simplify]: Extracting # 0 : cost 0 15.502 * * [simplify]: Extracting # 1 : cost 0 15.502 * * [simplify]: Extracting # 2 : cost 0 15.502 * * [simplify]: iteration 1 : 85 enodes (cost 151 ) 15.531 * * [simplify]: Extracting # 0 : cost 0 15.531 * * [simplify]: Extracting # 1 : cost 0 15.531 * * [simplify]: Extracting # 2 : cost 0 15.531 * * [simplify]: Extracting # 3 : cost 0 15.532 * * [simplify]: Extracting # 4 : cost 0 15.532 * * [simplify]: Extracting # 5 : cost 0 15.532 * * [simplify]: iteration 2 : 298 enodes (cost 121 ) 15.829 * * [simplify]: Extracting # 0 : cost 0 15.831 * * [simplify]: Extracting # 1 : cost 0 15.832 * * [simplify]: Extracting # 2 : cost 0 15.833 * * [simplify]: Extracting # 3 : cost 0 15.838 * * [simplify]: Extracting # 4 : cost 0 15.840 * * [simplify]: iteration 3 : 980 enodes (cost 121 ) 17.797 * * [simplify]: Extracting # 0 : cost 0 17.801 * * [simplify]: Extracting # 1 : cost 0 17.803 * * [simplify]: Extracting # 2 : cost 0 17.805 * * [simplify]: Extracting # 3 : cost 0 17.806 * * [simplify]: Extracting # 4 : cost 0 17.807 * * [simplify]: iteration 4 : 2143 enodes (cost 121 ) 22.065 * * [simplify]: Extracting # 0 : cost 0 22.070 * * [simplify]: Extracting # 1 : cost 0 22.075 * * [simplify]: Extracting # 2 : cost 0 22.080 * * [simplify]: Extracting # 3 : cost 0 22.085 * * [simplify]: Extracting # 4 : cost 0 22.090 * * [simplify]: iteration 5 : 4393 enodes (cost 121 ) 23.323 * * [simplify]: Extracting # 0 : cost 0 23.327 * * [simplify]: Extracting # 1 : cost 0 23.331 * * [simplify]: Extracting # 2 : cost 0 23.341 * * [simplify]: iteration done: 5001 enodes (cost 121 ) 23.341 * [simplify]: Simplified to: (* 3.0 (* x y)) (* 3.0 (* x y)) (log (* 3.0 (* x y))) (log (* 3.0 (* x y))) (log (* 3.0 (* x y))) (exp (* 3.0 (* x y))) (pow (* 3.0 (* x y)) 3) (pow (* 3.0 (* x y)) 3) (* (cbrt (* 3.0 (* x y))) (cbrt (* 3.0 (* x y)))) (cbrt (* 3.0 (* x y))) (pow (* 3.0 (* x y)) 3) (sqrt (* 3.0 (* x y))) (sqrt (* 3.0 (* x y))) (* 3.0 x) (* (cbrt 3.0) (* x y)) (* (sqrt 3.0) (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) 23.342 * * * [progress]: adding candidates to table 23.373 * * [progress]: iteration 4 / 4 23.373 * * * [progress]: picking best candidate 23.377 * * * * [pick]: Picked # 23.377 * * * [progress]: localizing error 23.387 * * * [progress]: generating rewritten candidates 23.388 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 2) 23.412 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 23.507 * * * [progress]: generating series expansions 23.507 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 2) 23.508 * [backup-simplify]: Simplify (* (cbrt 3.0) (* x y)) into (* (cbrt 3.0) (* x y)) 23.508 * [approximate]: Taking taylor expansion of (* (cbrt 3.0) (* x y)) in (x y) around 0 23.508 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) (* x y)) in y 23.508 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 23.508 * [taylor]: Taking taylor expansion of 3.0 in y 23.508 * [backup-simplify]: Simplify 3.0 into 3.0 23.509 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.509 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 23.509 * [taylor]: Taking taylor expansion of (* x y) in y 23.509 * [taylor]: Taking taylor expansion of x in y 23.509 * [backup-simplify]: Simplify x into x 23.509 * [taylor]: Taking taylor expansion of y in y 23.509 * [backup-simplify]: Simplify 0 into 0 23.509 * [backup-simplify]: Simplify 1 into 1 23.509 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) (* x y)) in x 23.510 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 23.510 * [taylor]: Taking taylor expansion of 3.0 in x 23.510 * [backup-simplify]: Simplify 3.0 into 3.0 23.510 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.511 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 23.511 * [taylor]: Taking taylor expansion of (* x y) in x 23.511 * [taylor]: Taking taylor expansion of x in x 23.511 * [backup-simplify]: Simplify 0 into 0 23.511 * [backup-simplify]: Simplify 1 into 1 23.511 * [taylor]: Taking taylor expansion of y in x 23.511 * [backup-simplify]: Simplify y into y 23.511 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) (* x y)) in x 23.511 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 23.511 * [taylor]: Taking taylor expansion of 3.0 in x 23.511 * [backup-simplify]: Simplify 3.0 into 3.0 23.511 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.512 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 23.512 * [taylor]: Taking taylor expansion of (* x y) in x 23.512 * [taylor]: Taking taylor expansion of x in x 23.512 * [backup-simplify]: Simplify 0 into 0 23.512 * [backup-simplify]: Simplify 1 into 1 23.512 * [taylor]: Taking taylor expansion of y in x 23.512 * [backup-simplify]: Simplify y into y 23.512 * [backup-simplify]: Simplify (* 0 y) into 0 23.512 * [backup-simplify]: Simplify (* (cbrt 3.0) 0) into 0 23.512 * [taylor]: Taking taylor expansion of 0 in y 23.512 * [backup-simplify]: Simplify 0 into 0 23.512 * [backup-simplify]: Simplify 0 into 0 23.513 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 23.513 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) y) (* 0 0)) into (* (cbrt 3.0) y) 23.513 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) y) in y 23.513 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 23.513 * [taylor]: Taking taylor expansion of 3.0 in y 23.513 * [backup-simplify]: Simplify 3.0 into 3.0 23.514 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.514 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 23.514 * [taylor]: Taking taylor expansion of y in y 23.514 * [backup-simplify]: Simplify 0 into 0 23.514 * [backup-simplify]: Simplify 1 into 1 23.514 * [backup-simplify]: Simplify (* (cbrt 3.0) 0) into 0 23.514 * [backup-simplify]: Simplify 0 into 0 23.515 * [backup-simplify]: Simplify 0 into 0 23.515 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 23.516 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0 23.516 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 y) (* 0 0))) into 0 23.517 * [taylor]: Taking taylor expansion of 0 in y 23.517 * [backup-simplify]: Simplify 0 into 0 23.517 * [backup-simplify]: Simplify 0 into 0 23.518 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 1) (* 0 0)) into (cbrt 3.0) 23.518 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.518 * [backup-simplify]: Simplify 0 into 0 23.519 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 23.520 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0 23.521 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 23.521 * [taylor]: Taking taylor expansion of 0 in y 23.521 * [backup-simplify]: Simplify 0 into 0 23.521 * [backup-simplify]: Simplify 0 into 0 23.521 * [backup-simplify]: Simplify 0 into 0 23.521 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0 23.522 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 1) (* 0 0))) into 0 23.522 * [backup-simplify]: Simplify 0 into 0 23.522 * [backup-simplify]: Simplify 0 into 0 23.523 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 23.524 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0 23.525 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 23.526 * [taylor]: Taking taylor expansion of 0 in y 23.526 * [backup-simplify]: Simplify 0 into 0 23.526 * [backup-simplify]: Simplify 0 into 0 23.526 * [backup-simplify]: Simplify (* (cbrt 3.0) (* y x)) into (* (cbrt 3.0) (* x y)) 23.526 * [backup-simplify]: Simplify (* (cbrt 3.0) (* (/ 1 x) (/ 1 y))) into (/ (cbrt 3.0) (* x y)) 23.526 * [approximate]: Taking taylor expansion of (/ (cbrt 3.0) (* x y)) in (x y) around 0 23.526 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (* x y)) in y 23.526 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 23.527 * [taylor]: Taking taylor expansion of 3.0 in y 23.527 * [backup-simplify]: Simplify 3.0 into 3.0 23.527 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.527 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 23.527 * [taylor]: Taking taylor expansion of (* x y) in y 23.527 * [taylor]: Taking taylor expansion of x in y 23.527 * [backup-simplify]: Simplify x into x 23.527 * [taylor]: Taking taylor expansion of y in y 23.527 * [backup-simplify]: Simplify 0 into 0 23.527 * [backup-simplify]: Simplify 1 into 1 23.527 * [backup-simplify]: Simplify (* x 0) into 0 23.528 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 23.528 * [backup-simplify]: Simplify (/ (cbrt 3.0) x) into (/ (cbrt 3.0) x) 23.528 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (* x y)) in x 23.528 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 23.528 * [taylor]: Taking taylor expansion of 3.0 in x 23.528 * [backup-simplify]: Simplify 3.0 into 3.0 23.528 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.529 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 23.529 * [taylor]: Taking taylor expansion of (* x y) in x 23.529 * [taylor]: Taking taylor expansion of x in x 23.529 * [backup-simplify]: Simplify 0 into 0 23.529 * [backup-simplify]: Simplify 1 into 1 23.529 * [taylor]: Taking taylor expansion of y in x 23.529 * [backup-simplify]: Simplify y into y 23.529 * [backup-simplify]: Simplify (* 0 y) into 0 23.529 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 23.529 * [backup-simplify]: Simplify (/ (cbrt 3.0) y) into (/ (cbrt 3.0) y) 23.529 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (* x y)) in x 23.529 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 23.529 * [taylor]: Taking taylor expansion of 3.0 in x 23.530 * [backup-simplify]: Simplify 3.0 into 3.0 23.530 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.530 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 23.530 * [taylor]: Taking taylor expansion of (* x y) in x 23.530 * [taylor]: Taking taylor expansion of x in x 23.530 * [backup-simplify]: Simplify 0 into 0 23.530 * [backup-simplify]: Simplify 1 into 1 23.530 * [taylor]: Taking taylor expansion of y in x 23.530 * [backup-simplify]: Simplify y into y 23.530 * [backup-simplify]: Simplify (* 0 y) into 0 23.531 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 23.531 * [backup-simplify]: Simplify (/ (cbrt 3.0) y) into (/ (cbrt 3.0) y) 23.531 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) y) in y 23.531 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 23.531 * [taylor]: Taking taylor expansion of 3.0 in y 23.531 * [backup-simplify]: Simplify 3.0 into 3.0 23.531 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.532 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 23.532 * [taylor]: Taking taylor expansion of y in y 23.532 * [backup-simplify]: Simplify 0 into 0 23.532 * [backup-simplify]: Simplify 1 into 1 23.533 * [backup-simplify]: Simplify (/ (cbrt 3.0) 1) into (cbrt 3.0) 23.533 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.534 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 23.534 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (cbrt 3.0) y) (/ 0 y)))) into 0 23.534 * [taylor]: Taking taylor expansion of 0 in y 23.534 * [backup-simplify]: Simplify 0 into 0 23.535 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)))) into 0 23.535 * [backup-simplify]: Simplify 0 into 0 23.537 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0 23.538 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 23.538 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (cbrt 3.0) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 23.538 * [taylor]: Taking taylor expansion of 0 in y 23.538 * [backup-simplify]: Simplify 0 into 0 23.538 * [backup-simplify]: Simplify 0 into 0 23.540 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0 23.541 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 23.541 * [backup-simplify]: Simplify 0 into 0 23.542 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0 23.543 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 23.544 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (cbrt 3.0) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 23.544 * [taylor]: Taking taylor expansion of 0 in y 23.544 * [backup-simplify]: Simplify 0 into 0 23.544 * [backup-simplify]: Simplify 0 into 0 23.544 * [backup-simplify]: Simplify 0 into 0 23.545 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0 23.546 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 23.546 * [backup-simplify]: Simplify 0 into 0 23.547 * [backup-simplify]: Simplify (* (cbrt 3.0) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* (cbrt 3.0) (* x y)) 23.547 * [backup-simplify]: Simplify (* (cbrt 3.0) (* (/ 1 (- x)) (/ 1 (- y)))) into (/ (cbrt 3.0) (* x y)) 23.547 * [approximate]: Taking taylor expansion of (/ (cbrt 3.0) (* x y)) in (x y) around 0 23.547 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (* x y)) in y 23.547 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 23.547 * [taylor]: Taking taylor expansion of 3.0 in y 23.547 * [backup-simplify]: Simplify 3.0 into 3.0 23.548 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.548 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 23.548 * [taylor]: Taking taylor expansion of (* x y) in y 23.549 * [taylor]: Taking taylor expansion of x in y 23.549 * [backup-simplify]: Simplify x into x 23.549 * [taylor]: Taking taylor expansion of y in y 23.549 * [backup-simplify]: Simplify 0 into 0 23.549 * [backup-simplify]: Simplify 1 into 1 23.549 * [backup-simplify]: Simplify (* x 0) into 0 23.549 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 23.549 * [backup-simplify]: Simplify (/ (cbrt 3.0) x) into (/ (cbrt 3.0) x) 23.549 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (* x y)) in x 23.549 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 23.550 * [taylor]: Taking taylor expansion of 3.0 in x 23.550 * [backup-simplify]: Simplify 3.0 into 3.0 23.550 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.551 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 23.551 * [taylor]: Taking taylor expansion of (* x y) in x 23.551 * [taylor]: Taking taylor expansion of x in x 23.551 * [backup-simplify]: Simplify 0 into 0 23.551 * [backup-simplify]: Simplify 1 into 1 23.551 * [taylor]: Taking taylor expansion of y in x 23.551 * [backup-simplify]: Simplify y into y 23.551 * [backup-simplify]: Simplify (* 0 y) into 0 23.551 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 23.552 * [backup-simplify]: Simplify (/ (cbrt 3.0) y) into (/ (cbrt 3.0) y) 23.552 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (* x y)) in x 23.552 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 23.552 * [taylor]: Taking taylor expansion of 3.0 in x 23.552 * [backup-simplify]: Simplify 3.0 into 3.0 23.552 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.553 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 23.553 * [taylor]: Taking taylor expansion of (* x y) in x 23.553 * [taylor]: Taking taylor expansion of x in x 23.553 * [backup-simplify]: Simplify 0 into 0 23.553 * [backup-simplify]: Simplify 1 into 1 23.553 * [taylor]: Taking taylor expansion of y in x 23.553 * [backup-simplify]: Simplify y into y 23.553 * [backup-simplify]: Simplify (* 0 y) into 0 23.553 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 23.554 * [backup-simplify]: Simplify (/ (cbrt 3.0) y) into (/ (cbrt 3.0) y) 23.554 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) y) in y 23.554 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 23.554 * [taylor]: Taking taylor expansion of 3.0 in y 23.554 * [backup-simplify]: Simplify 3.0 into 3.0 23.554 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.555 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 23.555 * [taylor]: Taking taylor expansion of y in y 23.555 * [backup-simplify]: Simplify 0 into 0 23.555 * [backup-simplify]: Simplify 1 into 1 23.556 * [backup-simplify]: Simplify (/ (cbrt 3.0) 1) into (cbrt 3.0) 23.556 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.557 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 23.558 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (cbrt 3.0) y) (/ 0 y)))) into 0 23.558 * [taylor]: Taking taylor expansion of 0 in y 23.558 * [backup-simplify]: Simplify 0 into 0 23.558 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)))) into 0 23.559 * [backup-simplify]: Simplify 0 into 0 23.560 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0 23.561 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 23.562 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (cbrt 3.0) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 23.562 * [taylor]: Taking taylor expansion of 0 in y 23.562 * [backup-simplify]: Simplify 0 into 0 23.562 * [backup-simplify]: Simplify 0 into 0 23.563 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0 23.565 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 23.565 * [backup-simplify]: Simplify 0 into 0 23.566 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0 23.567 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 23.567 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (cbrt 3.0) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 23.567 * [taylor]: Taking taylor expansion of 0 in y 23.567 * [backup-simplify]: Simplify 0 into 0 23.567 * [backup-simplify]: Simplify 0 into 0 23.567 * [backup-simplify]: Simplify 0 into 0 23.568 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0 23.569 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 23.569 * [backup-simplify]: Simplify 0 into 0 23.569 * [backup-simplify]: Simplify (* (cbrt 3.0) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* (cbrt 3.0) (* x y)) 23.569 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 23.570 * [backup-simplify]: Simplify (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) into (* (pow (cbrt 3.0) 3) (* x y)) 23.570 * [approximate]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (* x y)) in (x y) around 0 23.571 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (* x y)) in y 23.571 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in y 23.571 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 23.571 * [taylor]: Taking taylor expansion of 3.0 in y 23.571 * [backup-simplify]: Simplify 3.0 into 3.0 23.571 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.571 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 23.571 * [taylor]: Taking taylor expansion of (* x y) in y 23.571 * [taylor]: Taking taylor expansion of x in y 23.571 * [backup-simplify]: Simplify x into x 23.571 * [taylor]: Taking taylor expansion of y in y 23.571 * [backup-simplify]: Simplify 0 into 0 23.571 * [backup-simplify]: Simplify 1 into 1 23.571 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (* x y)) in x 23.571 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 23.571 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 23.572 * [taylor]: Taking taylor expansion of 3.0 in x 23.572 * [backup-simplify]: Simplify 3.0 into 3.0 23.572 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.572 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 23.572 * [taylor]: Taking taylor expansion of (* x y) in x 23.572 * [taylor]: Taking taylor expansion of x in x 23.572 * [backup-simplify]: Simplify 0 into 0 23.572 * [backup-simplify]: Simplify 1 into 1 23.572 * [taylor]: Taking taylor expansion of y in x 23.572 * [backup-simplify]: Simplify y into y 23.572 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (* x y)) in x 23.572 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 23.572 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 23.572 * [taylor]: Taking taylor expansion of 3.0 in x 23.572 * [backup-simplify]: Simplify 3.0 into 3.0 23.573 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.573 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 23.573 * [taylor]: Taking taylor expansion of (* x y) in x 23.573 * [taylor]: Taking taylor expansion of x in x 23.573 * [backup-simplify]: Simplify 0 into 0 23.573 * [backup-simplify]: Simplify 1 into 1 23.573 * [taylor]: Taking taylor expansion of y in x 23.573 * [backup-simplify]: Simplify y into y 23.574 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2) 23.576 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 3) 23.576 * [backup-simplify]: Simplify (* 0 y) into 0 23.576 * [backup-simplify]: Simplify (* (pow (cbrt 3.0) 3) 0) into 0 23.576 * [taylor]: Taking taylor expansion of 0 in y 23.577 * [backup-simplify]: Simplify 0 into 0 23.577 * [backup-simplify]: Simplify 0 into 0 23.577 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 23.578 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (cbrt 3.0))) into 0 23.579 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (pow (cbrt 3.0) 2))) into 0 23.580 * [backup-simplify]: Simplify (+ (* (pow (cbrt 3.0) 3) y) (* 0 0)) into (* 3.0 y) 23.580 * [taylor]: Taking taylor expansion of (* 3.0 y) in y 23.580 * [taylor]: Taking taylor expansion of 3.0 in y 23.580 * [backup-simplify]: Simplify 3.0 into 3.0 23.580 * [taylor]: Taking taylor expansion of y in y 23.580 * [backup-simplify]: Simplify 0 into 0 23.580 * [backup-simplify]: Simplify 1 into 1 23.581 * [backup-simplify]: Simplify (* 3.0 0) into 0 23.581 * [backup-simplify]: Simplify 0 into 0 23.581 * [backup-simplify]: Simplify 0 into 0 23.581 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 23.583 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0 23.583 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (cbrt 3.0)))) into 0 23.584 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))) into 0 23.585 * [backup-simplify]: Simplify (+ (* (pow (cbrt 3.0) 3) 0) (+ (* 0 y) (* 0 0))) into 0 23.585 * [taylor]: Taking taylor expansion of 0 in y 23.585 * [backup-simplify]: Simplify 0 into 0 23.585 * [backup-simplify]: Simplify 0 into 0 23.586 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0 23.586 * [backup-simplify]: Simplify 3.0 into 3.0 23.586 * [backup-simplify]: Simplify 0 into 0 23.587 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 23.589 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0 23.590 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))) into 0 23.591 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))) into 0 23.592 * [backup-simplify]: Simplify (+ (* (pow (cbrt 3.0) 3) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 23.592 * [taylor]: Taking taylor expansion of 0 in y 23.592 * [backup-simplify]: Simplify 0 into 0 23.592 * [backup-simplify]: Simplify 0 into 0 23.593 * [backup-simplify]: Simplify 0 into 0 23.593 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0 23.593 * [backup-simplify]: Simplify 0 into 0 23.593 * [backup-simplify]: Simplify 0 into 0 23.595 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 23.596 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0 23.596 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))) into 0 23.600 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))))) into 0 23.602 * [backup-simplify]: Simplify (+ (* (pow (cbrt 3.0) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 23.602 * [taylor]: Taking taylor expansion of 0 in y 23.602 * [backup-simplify]: Simplify 0 into 0 23.602 * [backup-simplify]: Simplify 0 into 0 23.602 * [backup-simplify]: Simplify (* 3.0 (* y x)) into (* 3.0 (* x y)) 23.603 * [backup-simplify]: Simplify (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (/ 1 x) (/ 1 y)))) into (/ (pow (cbrt 3.0) 3) (* x y)) 23.603 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in (x y) around 0 23.603 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in y 23.603 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in y 23.603 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 23.603 * [taylor]: Taking taylor expansion of 3.0 in y 23.603 * [backup-simplify]: Simplify 3.0 into 3.0 23.603 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.604 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 23.604 * [taylor]: Taking taylor expansion of (* x y) in y 23.604 * [taylor]: Taking taylor expansion of x in y 23.604 * [backup-simplify]: Simplify x into x 23.604 * [taylor]: Taking taylor expansion of y in y 23.604 * [backup-simplify]: Simplify 0 into 0 23.604 * [backup-simplify]: Simplify 1 into 1 23.605 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2) 23.606 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 3) 23.606 * [backup-simplify]: Simplify (* x 0) into 0 23.606 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 23.607 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 3) x) into (/ 3.0 x) 23.607 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in x 23.607 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 23.607 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 23.607 * [taylor]: Taking taylor expansion of 3.0 in x 23.607 * [backup-simplify]: Simplify 3.0 into 3.0 23.607 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.608 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 23.608 * [taylor]: Taking taylor expansion of (* x y) in x 23.608 * [taylor]: Taking taylor expansion of x in x 23.608 * [backup-simplify]: Simplify 0 into 0 23.608 * [backup-simplify]: Simplify 1 into 1 23.608 * [taylor]: Taking taylor expansion of y in x 23.608 * [backup-simplify]: Simplify y into y 23.609 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2) 23.610 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 3) 23.610 * [backup-simplify]: Simplify (* 0 y) into 0 23.610 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 23.611 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 3) y) into (/ 3.0 y) 23.611 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in x 23.611 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 23.611 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 23.611 * [taylor]: Taking taylor expansion of 3.0 in x 23.611 * [backup-simplify]: Simplify 3.0 into 3.0 23.611 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.612 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 23.612 * [taylor]: Taking taylor expansion of (* x y) in x 23.612 * [taylor]: Taking taylor expansion of x in x 23.612 * [backup-simplify]: Simplify 0 into 0 23.612 * [backup-simplify]: Simplify 1 into 1 23.612 * [taylor]: Taking taylor expansion of y in x 23.612 * [backup-simplify]: Simplify y into y 23.613 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2) 23.614 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 3) 23.614 * [backup-simplify]: Simplify (* 0 y) into 0 23.614 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 23.615 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 3) y) into (/ 3.0 y) 23.615 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 23.615 * [taylor]: Taking taylor expansion of 3.0 in y 23.615 * [backup-simplify]: Simplify 3.0 into 3.0 23.615 * [taylor]: Taking taylor expansion of y in y 23.615 * [backup-simplify]: Simplify 0 into 0 23.615 * [backup-simplify]: Simplify 1 into 1 23.615 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0 23.615 * [backup-simplify]: Simplify 3.0 into 3.0 23.616 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (cbrt 3.0))) into 0 23.617 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (pow (cbrt 3.0) 2))) into 0 23.617 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 23.617 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)))) into 0 23.617 * [taylor]: Taking taylor expansion of 0 in y 23.617 * [backup-simplify]: Simplify 0 into 0 23.618 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0 23.618 * [backup-simplify]: Simplify 0 into 0 23.619 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0 23.619 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (cbrt 3.0)))) into 0 23.620 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))) into 0 23.621 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 23.621 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 23.621 * [taylor]: Taking taylor expansion of 0 in y 23.621 * [backup-simplify]: Simplify 0 into 0 23.621 * [backup-simplify]: Simplify 0 into 0 23.622 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 23.622 * [backup-simplify]: Simplify 0 into 0 23.622 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0 23.623 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))) into 0 23.624 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))) into 0 23.625 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 23.625 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 23.625 * [taylor]: Taking taylor expansion of 0 in y 23.625 * [backup-simplify]: Simplify 0 into 0 23.625 * [backup-simplify]: Simplify 0 into 0 23.625 * [backup-simplify]: Simplify 0 into 0 23.626 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 23.626 * [backup-simplify]: Simplify 0 into 0 23.626 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 3.0 (* x y)) 23.628 * [backup-simplify]: Simplify (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (/ 1 (- x)) (/ 1 (- y))))) into (/ (pow (cbrt 3.0) 3) (* x y)) 23.628 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in (x y) around 0 23.628 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in y 23.628 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in y 23.628 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 23.628 * [taylor]: Taking taylor expansion of 3.0 in y 23.628 * [backup-simplify]: Simplify 3.0 into 3.0 23.629 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.629 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 23.629 * [taylor]: Taking taylor expansion of (* x y) in y 23.630 * [taylor]: Taking taylor expansion of x in y 23.630 * [backup-simplify]: Simplify x into x 23.630 * [taylor]: Taking taylor expansion of y in y 23.630 * [backup-simplify]: Simplify 0 into 0 23.630 * [backup-simplify]: Simplify 1 into 1 23.631 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2) 23.633 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 3) 23.633 * [backup-simplify]: Simplify (* x 0) into 0 23.633 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 23.634 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 3) x) into (/ 3.0 x) 23.634 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in x 23.634 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 23.634 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 23.634 * [taylor]: Taking taylor expansion of 3.0 in x 23.634 * [backup-simplify]: Simplify 3.0 into 3.0 23.635 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.635 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 23.635 * [taylor]: Taking taylor expansion of (* x y) in x 23.635 * [taylor]: Taking taylor expansion of x in x 23.635 * [backup-simplify]: Simplify 0 into 0 23.635 * [backup-simplify]: Simplify 1 into 1 23.635 * [taylor]: Taking taylor expansion of y in x 23.635 * [backup-simplify]: Simplify y into y 23.637 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2) 23.638 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 3) 23.638 * [backup-simplify]: Simplify (* 0 y) into 0 23.638 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 23.639 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 3) y) into (/ 3.0 y) 23.639 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in x 23.639 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 23.639 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 23.639 * [taylor]: Taking taylor expansion of 3.0 in x 23.639 * [backup-simplify]: Simplify 3.0 into 3.0 23.639 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.640 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 23.640 * [taylor]: Taking taylor expansion of (* x y) in x 23.640 * [taylor]: Taking taylor expansion of x in x 23.640 * [backup-simplify]: Simplify 0 into 0 23.640 * [backup-simplify]: Simplify 1 into 1 23.640 * [taylor]: Taking taylor expansion of y in x 23.640 * [backup-simplify]: Simplify y into y 23.641 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2) 23.642 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 3) 23.642 * [backup-simplify]: Simplify (* 0 y) into 0 23.642 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 23.643 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 3) y) into (/ 3.0 y) 23.643 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 23.643 * [taylor]: Taking taylor expansion of 3.0 in y 23.643 * [backup-simplify]: Simplify 3.0 into 3.0 23.643 * [taylor]: Taking taylor expansion of y in y 23.643 * [backup-simplify]: Simplify 0 into 0 23.643 * [backup-simplify]: Simplify 1 into 1 23.644 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0 23.644 * [backup-simplify]: Simplify 3.0 into 3.0 23.644 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (cbrt 3.0))) into 0 23.645 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (pow (cbrt 3.0) 2))) into 0 23.646 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 23.646 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)))) into 0 23.646 * [taylor]: Taking taylor expansion of 0 in y 23.646 * [backup-simplify]: Simplify 0 into 0 23.646 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0 23.646 * [backup-simplify]: Simplify 0 into 0 23.647 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0 23.648 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (cbrt 3.0)))) into 0 23.649 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))) into 0 23.649 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 23.650 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 23.650 * [taylor]: Taking taylor expansion of 0 in y 23.650 * [backup-simplify]: Simplify 0 into 0 23.650 * [backup-simplify]: Simplify 0 into 0 23.650 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 23.650 * [backup-simplify]: Simplify 0 into 0 23.651 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0 23.652 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))) into 0 23.653 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))) into 0 23.654 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 23.654 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 23.654 * [taylor]: Taking taylor expansion of 0 in y 23.654 * [backup-simplify]: Simplify 0 into 0 23.654 * [backup-simplify]: Simplify 0 into 0 23.654 * [backup-simplify]: Simplify 0 into 0 23.654 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 23.655 * [backup-simplify]: Simplify 0 into 0 23.655 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 3.0 (* x y)) 23.655 * * * [progress]: simplifying candidates 23.656 * [simplify]: Simplifying: (* (cbrt 3.0) (* x y)) (* (cbrt 3.0) (* x y)) (+ (log (cbrt 3.0)) (+ (log x) (log y))) (+ (log (cbrt 3.0)) (log (* x y))) (log (* (cbrt 3.0) (* x y))) (exp (* (cbrt 3.0) (* x y))) (* 3.0 (* (* (* x x) x) (* (* y y) y))) (* 3.0 (* (* (* x y) (* x y)) (* x y))) (* (cbrt (* (cbrt 3.0) (* x y))) (cbrt (* (cbrt 3.0) (* x y)))) (cbrt (* (cbrt 3.0) (* x y))) (* (* (* (cbrt 3.0) (* x y)) (* (cbrt 3.0) (* x y))) (* (cbrt 3.0) (* x y))) (sqrt (* (cbrt 3.0) (* x y))) (sqrt (* (cbrt 3.0) (* x y))) (* (cbrt 3.0) x) (* (cbrt (cbrt 3.0)) (* x y)) (* (cbrt (sqrt 3.0)) (* x y)) (* (cbrt 3.0) (* x y)) (* (cbrt (cbrt 3.0)) (* x y)) (* (sqrt (cbrt 3.0)) (* x y)) (* (cbrt 3.0) (* x y)) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) (+ (+ (log (cbrt 3.0)) (log (cbrt 3.0))) (+ (log (cbrt 3.0)) (+ (log x) (log y)))) (+ (+ (log (cbrt 3.0)) (log (cbrt 3.0))) (+ (log (cbrt 3.0)) (log (* x y)))) (+ (+ (log (cbrt 3.0)) (log (cbrt 3.0))) (log (* (cbrt 3.0) (* x y)))) (+ (log (* (cbrt 3.0) (cbrt 3.0))) (+ (log (cbrt 3.0)) (+ (log x) (log y)))) (+ (log (* (cbrt 3.0) (cbrt 3.0))) (+ (log (cbrt 3.0)) (log (* x y)))) (+ (log (* (cbrt 3.0) (cbrt 3.0))) (log (* (cbrt 3.0) (* x y)))) (log (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y)))) (exp (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y)))) (* (* 3.0 3.0) (* 3.0 (* (* (* x x) x) (* (* y y) y)))) (* (* 3.0 3.0) (* 3.0 (* (* (* x y) (* x y)) (* x y)))) (* (* 3.0 3.0) (* (* (* (cbrt 3.0) (* x y)) (* (cbrt 3.0) (* x y))) (* (cbrt 3.0) (* x y)))) (* (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt 3.0) (cbrt 3.0))) (* 3.0 (* (* (* x x) x) (* (* y y) y)))) (* (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt 3.0) (cbrt 3.0))) (* 3.0 (* (* (* x y) (* x y)) (* x y)))) (* (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt 3.0) (cbrt 3.0))) (* (* (* (cbrt 3.0) (* x y)) (* (cbrt 3.0) (* x y))) (* (cbrt 3.0) (* x y)))) (* (cbrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y)))) (cbrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))))) (cbrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y)))) (* (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y)))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y)))) (sqrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y)))) (sqrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y)))) (* (* (cbrt 3.0) (cbrt 3.0)) (cbrt 3.0)) (* (cbrt 3.0) (* (cbrt 3.0) (* x y))) (* (cbrt 3.0) (* x y)) (* (cbrt 3.0) (* x y)) (* (cbrt 3.0) (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) 23.658 * * [simplify]: Extracting # 0 : cost 0 23.658 * * [simplify]: Extracting # 1 : cost 0 23.658 * * [simplify]: Extracting # 2 : cost 0 23.658 * * [simplify]: Extracting # 3 : cost 0 23.658 * * [simplify]: Extracting # 4 : cost 0 23.659 * * [simplify]: Extracting # 5 : cost 0 23.659 * * [simplify]: Extracting # 6 : cost 0 23.659 * * [simplify]: Extracting # 7 : cost 0 23.659 * * [simplify]: iteration 0 : 66 enodes (cost 672 ) 23.683 * * [simplify]: Extracting # 0 : cost 0 23.683 * * [simplify]: Extracting # 1 : cost 0 23.684 * * [simplify]: Extracting # 2 : cost 0 23.684 * * [simplify]: Extracting # 3 : cost 0 23.684 * * [simplify]: iteration 1 : 173 enodes (cost 654 ) 23.761 * * [simplify]: Extracting # 0 : cost 0 23.762 * * [simplify]: Extracting # 1 : cost 0 23.763 * * [simplify]: Extracting # 2 : cost 0 23.764 * * [simplify]: Extracting # 3 : cost 0 23.766 * * [simplify]: Extracting # 4 : cost 0 23.767 * * [simplify]: Extracting # 5 : cost 0 23.768 * * [simplify]: iteration 2 : 718 enodes (cost 438 ) 25.371 * * [simplify]: Extracting # 0 : cost 0 25.382 * * [simplify]: Extracting # 1 : cost 0 25.387 * * [simplify]: Extracting # 2 : cost 0 25.391 * * [simplify]: Extracting # 3 : cost 0 25.396 * * [simplify]: Extracting # 4 : cost 0 25.400 * * [simplify]: iteration 3 : 2927 enodes (cost 342 ) 27.249 * * [simplify]: Extracting # 0 : cost 0 27.260 * * [simplify]: Extracting # 1 : cost 0 27.266 * * [simplify]: Extracting # 2 : cost 0 27.272 * * [simplify]: Extracting # 3 : cost 0 27.276 * * [simplify]: Extracting # 4 : cost 0 27.280 * * [simplify]: Extracting # 5 : cost 0 27.288 * * [simplify]: Extracting # 6 : cost 0 27.294 * * [simplify]: Extracting # 7 : cost 0 27.300 * * [simplify]: iteration done: 5000 enodes (cost 342 ) 27.300 * [simplify]: Simplified to: (* (cbrt 3.0) (* x y)) (* (cbrt 3.0) (* x y)) (log (* (cbrt 3.0) (* x y))) (log (* (cbrt 3.0) (* x y))) (log (* (cbrt 3.0) (* x y))) (exp (* (cbrt 3.0) (* x y))) (* 3.0 (pow (* x y) 3)) (* 3.0 (pow (* x y) 3)) (* (cbrt (* (cbrt 3.0) (* x y))) (cbrt (* (cbrt 3.0) (* x y)))) (cbrt (* (cbrt 3.0) (* x y))) (* 3.0 (pow (* x y) 3)) (sqrt (* (cbrt 3.0) (* x y))) (sqrt (* (cbrt 3.0) (* x y))) (* (cbrt 3.0) x) (* (cbrt (cbrt 3.0)) (* x y)) (* (cbrt (sqrt 3.0)) (* x y)) (* (cbrt 3.0) (* x y)) (* (cbrt (cbrt 3.0)) (* x y)) (* (sqrt (cbrt 3.0)) (* x y)) (* (cbrt 3.0) (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (log (* 3.0 (* x y))) (log (* 3.0 (* x y))) (log (* 3.0 (* x y))) (log (* 3.0 (* x y))) (log (* 3.0 (* x y))) (log (* 3.0 (* x y))) (log (* 3.0 (* x y))) (pow (exp (* x y)) 3.0) (pow (* 3.0 (* x y)) 3) (pow (* 3.0 (* x y)) 3) (pow (* 3.0 (* x y)) 3) (pow (* 3.0 (* x y)) 3) (pow (* 3.0 (* x y)) 3) (pow (* 3.0 (* x y)) 3) (* (cbrt (* 3.0 (* x y))) (cbrt (* 3.0 (* x y)))) (cbrt (* 3.0 (* x y))) (pow (* 3.0 (* x y)) 3) (sqrt (* 3.0 (* x y))) (sqrt (* 3.0 (* x y))) 3.0 (* (cbrt 3.0) (* (cbrt 3.0) (* x y))) (* (cbrt 3.0) (* x y)) (* (cbrt 3.0) (* x y)) (* (cbrt 3.0) (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) 27.301 * * * [progress]: adding candidates to table 27.401 * [progress]: [Phase 3 of 3] Extracting. 27.401 * * [regime]: Finding splitpoints for: (# # # #) 27.402 * * * [regime-changes]: Trying 6 branch expressions: ((* x 3.0) (* (* x 3.0) y) (- (* (* x 3.0) y) z) z y x) 27.402 * * * * [regimes]: Trying to branch on (* x 3.0) from (# # # #) 27.422 * * * * [regimes]: Trying to branch on (* (* x 3.0) y) from (# # # #) 27.439 * * * * [regimes]: Trying to branch on (- (* (* x 3.0) y) z) from (# # # #) 27.459 * * * * [regimes]: Trying to branch on z from (# # # #) 27.476 * * * * [regimes]: Trying to branch on y from (# # # #) 27.495 * * * * [regimes]: Trying to branch on x from (# # # #) 27.515 * * * [regime]: Found split indices: #