61.033 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.018 * * * [progress]: [2/2] Setting up program. 0.020 * [progress]: [Phase 2 of 3] Improving. 0.020 * [simplify]: Simplifying: (- (* (* x 3.0) y) z) 0.020 * * [simplify]: Extracting # 0 : cost 0 0.020 * * [simplify]: Extracting # 1 : cost 0 0.020 * * [simplify]: Extracting # 2 : cost 0 0.020 * * [simplify]: Extracting # 3 : cost 0 0.020 * * [simplify]: Extracting # 4 : cost 0 0.020 * * [simplify]: Extracting # 5 : cost 0 0.020 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 0.021 * * [simplify]: Extracting # 0 : cost 0 0.021 * * [simplify]: Extracting # 1 : cost 0 0.021 * * [simplify]: Extracting # 2 : cost 0 0.021 * * [simplify]: iteration 1 : 13 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 2 : 21 enodes (cost 7 ) 0.027 * * [simplify]: Extracting # 0 : cost 0 0.027 * * [simplify]: iteration 3 : 23 enodes (cost 7 ) 0.030 * * [simplify]: Extracting # 0 : cost 0 0.030 * * [simplify]: iteration done: 23 enodes (cost 7 ) 0.030 * [simplify]: Simplified to: (- (* (* x 3.0) y) z) 0.031 * * [progress]: iteration 1 / 4 0.031 * * * [progress]: picking best candidate 0.032 * * * * [pick]: Picked # 0.032 * * * [progress]: localizing error 0.038 * * * [progress]: generating rewritten candidates 0.038 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 0.056 * * * [progress]: generating series expansions 0.056 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 0.056 * [backup-simplify]: Simplify (* (* x 3.0) y) into (* 3.0 (* x y)) 0.056 * [approximate]: Taking taylor expansion of (* 3.0 (* x y)) in (x y) around 0 0.056 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in y 0.056 * [taylor]: Taking taylor expansion of 3.0 in y 0.056 * [backup-simplify]: Simplify 3.0 into 3.0 0.056 * [taylor]: Taking taylor expansion of (* x y) in y 0.056 * [taylor]: Taking taylor expansion of x in y 0.056 * [backup-simplify]: Simplify x into x 0.056 * [taylor]: Taking taylor expansion of y in y 0.056 * [backup-simplify]: Simplify 0 into 0 0.056 * [backup-simplify]: Simplify 1 into 1 0.056 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x 0.056 * [taylor]: Taking taylor expansion of 3.0 in x 0.056 * [backup-simplify]: Simplify 3.0 into 3.0 0.056 * [taylor]: Taking taylor expansion of (* x y) in x 0.056 * [taylor]: Taking taylor expansion of x in x 0.056 * [backup-simplify]: Simplify 0 into 0 0.056 * [backup-simplify]: Simplify 1 into 1 0.056 * [taylor]: Taking taylor expansion of y in x 0.056 * [backup-simplify]: Simplify y into y 0.056 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x 0.056 * [taylor]: Taking taylor expansion of 3.0 in x 0.056 * [backup-simplify]: Simplify 3.0 into 3.0 0.056 * [taylor]: Taking taylor expansion of (* x y) in x 0.056 * [taylor]: Taking taylor expansion of x in x 0.056 * [backup-simplify]: Simplify 0 into 0 0.056 * [backup-simplify]: Simplify 1 into 1 0.056 * [taylor]: Taking taylor expansion of y in x 0.056 * [backup-simplify]: Simplify y into y 0.056 * [backup-simplify]: Simplify (* 0 y) into 0 0.057 * [backup-simplify]: Simplify (* 3.0 0) into 0 0.057 * [taylor]: Taking taylor expansion of 0 in y 0.057 * [backup-simplify]: Simplify 0 into 0 0.057 * [backup-simplify]: Simplify 0 into 0 0.057 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.058 * [backup-simplify]: Simplify (+ (* 3.0 y) (* 0 0)) into (* 3.0 y) 0.058 * [taylor]: Taking taylor expansion of (* 3.0 y) in y 0.058 * [taylor]: Taking taylor expansion of 3.0 in y 0.058 * [backup-simplify]: Simplify 3.0 into 3.0 0.058 * [taylor]: Taking taylor expansion of y in y 0.058 * [backup-simplify]: Simplify 0 into 0 0.058 * [backup-simplify]: Simplify 1 into 1 0.058 * [backup-simplify]: Simplify (* 3.0 0) into 0 0.058 * [backup-simplify]: Simplify 0 into 0 0.058 * [backup-simplify]: Simplify 0 into 0 0.058 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.059 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 y) (* 0 0))) into 0 0.059 * [taylor]: Taking taylor expansion of 0 in y 0.059 * [backup-simplify]: Simplify 0 into 0 0.059 * [backup-simplify]: Simplify 0 into 0 0.060 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0 0.060 * [backup-simplify]: Simplify 3.0 into 3.0 0.060 * [backup-simplify]: Simplify 0 into 0 0.061 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 0.061 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 0.061 * [taylor]: Taking taylor expansion of 0 in y 0.061 * [backup-simplify]: Simplify 0 into 0 0.061 * [backup-simplify]: Simplify 0 into 0 0.061 * [backup-simplify]: Simplify 0 into 0 0.062 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0 0.062 * [backup-simplify]: Simplify 0 into 0 0.062 * [backup-simplify]: Simplify 0 into 0 0.063 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.064 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 0.064 * [taylor]: Taking taylor expansion of 0 in y 0.064 * [backup-simplify]: Simplify 0 into 0 0.064 * [backup-simplify]: Simplify 0 into 0 0.064 * [backup-simplify]: Simplify (* 3.0 (* y x)) into (* 3.0 (* x y)) 0.064 * [backup-simplify]: Simplify (* (* (/ 1 x) 3.0) (/ 1 y)) into (/ 3.0 (* x y)) 0.064 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0 0.064 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y 0.064 * [taylor]: Taking taylor expansion of 3.0 in y 0.064 * [backup-simplify]: Simplify 3.0 into 3.0 0.064 * [taylor]: Taking taylor expansion of (* x y) in y 0.064 * [taylor]: Taking taylor expansion of x in y 0.064 * [backup-simplify]: Simplify x into x 0.064 * [taylor]: Taking taylor expansion of y in y 0.065 * [backup-simplify]: Simplify 0 into 0 0.065 * [backup-simplify]: Simplify 1 into 1 0.065 * [backup-simplify]: Simplify (* x 0) into 0 0.065 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 0.065 * [backup-simplify]: Simplify (/ 3.0 x) into (/ 3.0 x) 0.065 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 0.065 * [taylor]: Taking taylor expansion of 3.0 in x 0.065 * [backup-simplify]: Simplify 3.0 into 3.0 0.065 * [taylor]: Taking taylor expansion of (* x y) in x 0.065 * [taylor]: Taking taylor expansion of x in x 0.065 * [backup-simplify]: Simplify 0 into 0 0.065 * [backup-simplify]: Simplify 1 into 1 0.065 * [taylor]: Taking taylor expansion of y in x 0.065 * [backup-simplify]: Simplify y into y 0.066 * [backup-simplify]: Simplify (* 0 y) into 0 0.066 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.066 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y) 0.066 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 0.066 * [taylor]: Taking taylor expansion of 3.0 in x 0.066 * [backup-simplify]: Simplify 3.0 into 3.0 0.066 * [taylor]: Taking taylor expansion of (* x y) in x 0.066 * [taylor]: Taking taylor expansion of x in x 0.066 * [backup-simplify]: Simplify 0 into 0 0.066 * [backup-simplify]: Simplify 1 into 1 0.066 * [taylor]: Taking taylor expansion of y in x 0.066 * [backup-simplify]: Simplify y into y 0.066 * [backup-simplify]: Simplify (* 0 y) into 0 0.067 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.067 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y) 0.067 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 0.067 * [taylor]: Taking taylor expansion of 3.0 in y 0.067 * [backup-simplify]: Simplify 3.0 into 3.0 0.067 * [taylor]: Taking taylor expansion of y in y 0.067 * [backup-simplify]: Simplify 0 into 0 0.067 * [backup-simplify]: Simplify 1 into 1 0.067 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0 0.067 * [backup-simplify]: Simplify 3.0 into 3.0 0.068 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.068 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)))) into 0 0.068 * [taylor]: Taking taylor expansion of 0 in y 0.068 * [backup-simplify]: Simplify 0 into 0 0.069 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0 0.069 * [backup-simplify]: Simplify 0 into 0 0.070 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 0.070 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.070 * [taylor]: Taking taylor expansion of 0 in y 0.070 * [backup-simplify]: Simplify 0 into 0 0.070 * [backup-simplify]: Simplify 0 into 0 0.071 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 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 0) (* 0 y))))) into 0 0.073 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.073 * [taylor]: Taking taylor expansion of 0 in y 0.073 * [backup-simplify]: Simplify 0 into 0 0.073 * [backup-simplify]: Simplify 0 into 0 0.073 * [backup-simplify]: Simplify 0 into 0 0.074 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.074 * [backup-simplify]: Simplify 0 into 0 0.074 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 3.0 (* x y)) 0.074 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) 3.0) (/ 1 (- y))) into (/ 3.0 (* x y)) 0.074 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0 0.074 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y 0.074 * [taylor]: Taking taylor expansion of 3.0 in y 0.074 * [backup-simplify]: Simplify 3.0 into 3.0 0.074 * [taylor]: Taking taylor expansion of (* x y) in y 0.074 * [taylor]: Taking taylor expansion of x in y 0.074 * [backup-simplify]: Simplify x into x 0.074 * [taylor]: Taking taylor expansion of y in y 0.074 * [backup-simplify]: Simplify 0 into 0 0.074 * [backup-simplify]: Simplify 1 into 1 0.074 * [backup-simplify]: Simplify (* x 0) into 0 0.074 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 0.074 * [backup-simplify]: Simplify (/ 3.0 x) into (/ 3.0 x) 0.074 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 0.074 * [taylor]: Taking taylor expansion of 3.0 in x 0.074 * [backup-simplify]: Simplify 3.0 into 3.0 0.074 * [taylor]: Taking taylor expansion of (* x y) in x 0.074 * [taylor]: Taking taylor expansion of x in x 0.074 * [backup-simplify]: Simplify 0 into 0 0.075 * [backup-simplify]: Simplify 1 into 1 0.075 * [taylor]: Taking taylor expansion of y in x 0.075 * [backup-simplify]: Simplify y into y 0.075 * [backup-simplify]: Simplify (* 0 y) into 0 0.075 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.075 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y) 0.075 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 0.075 * [taylor]: Taking taylor expansion of 3.0 in x 0.075 * [backup-simplify]: Simplify 3.0 into 3.0 0.075 * [taylor]: Taking taylor expansion of (* x y) in x 0.075 * [taylor]: Taking taylor expansion of x in x 0.075 * [backup-simplify]: Simplify 0 into 0 0.075 * [backup-simplify]: Simplify 1 into 1 0.075 * [taylor]: Taking taylor expansion of y in x 0.075 * [backup-simplify]: Simplify y into y 0.075 * [backup-simplify]: Simplify (* 0 y) into 0 0.075 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.075 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y) 0.075 * [taylor]: Taking taylor expansion of (/ 3.0 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 y in y 0.075 * [backup-simplify]: Simplify 0 into 0 0.076 * [backup-simplify]: Simplify 1 into 1 0.076 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0 0.076 * [backup-simplify]: Simplify 3.0 into 3.0 0.083 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.084 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)))) into 0 0.084 * [taylor]: Taking taylor expansion of 0 in y 0.084 * [backup-simplify]: Simplify 0 into 0 0.084 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0 0.084 * [backup-simplify]: Simplify 0 into 0 0.085 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 0.086 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.086 * [taylor]: Taking taylor expansion of 0 in y 0.086 * [backup-simplify]: Simplify 0 into 0 0.086 * [backup-simplify]: Simplify 0 into 0 0.086 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.086 * [backup-simplify]: Simplify 0 into 0 0.088 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.088 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.088 * [taylor]: Taking taylor expansion of 0 in y 0.088 * [backup-simplify]: Simplify 0 into 0 0.088 * [backup-simplify]: Simplify 0 into 0 0.088 * [backup-simplify]: Simplify 0 into 0 0.089 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.089 * [backup-simplify]: Simplify 0 into 0 0.089 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 3.0 (* x y)) 0.089 * * * [progress]: simplifying candidates 0.090 * [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.090 * * [simplify]: Extracting # 0 : cost 0 0.090 * * [simplify]: Extracting # 1 : cost 0 0.091 * * [simplify]: Extracting # 2 : cost 0 0.091 * * [simplify]: Extracting # 3 : cost 0 0.091 * * [simplify]: Extracting # 4 : cost 0 0.091 * * [simplify]: Extracting # 5 : cost 0 0.091 * * [simplify]: Extracting # 6 : cost 0 0.091 * * [simplify]: iteration 0 : 40 enodes (cost 157 ) 0.106 * * [simplify]: Extracting # 0 : cost 0 0.106 * * [simplify]: Extracting # 1 : cost 0 0.106 * * [simplify]: Extracting # 2 : cost 0 0.106 * * [simplify]: iteration 1 : 100 enodes (cost 152 ) 0.169 * * [simplify]: Extracting # 0 : cost 0 0.169 * * [simplify]: Extracting # 1 : cost 0 0.170 * * [simplify]: Extracting # 2 : cost 0 0.171 * * [simplify]: Extracting # 3 : cost 0 0.171 * * [simplify]: Extracting # 4 : cost 0 0.172 * * [simplify]: Extracting # 5 : cost 0 0.172 * * [simplify]: iteration 2 : 404 enodes (cost 122 ) 0.679 * * [simplify]: Extracting # 0 : cost 0 0.681 * * [simplify]: Extracting # 1 : cost 0 0.682 * * [simplify]: Extracting # 2 : cost 0 0.683 * * [simplify]: Extracting # 3 : cost 0 0.685 * * [simplify]: Extracting # 4 : cost 0 0.686 * * [simplify]: iteration 3 : 1399 enodes (cost 122 ) 4.228 * * [simplify]: Extracting # 0 : cost 0 4.234 * * [simplify]: Extracting # 1 : cost 0 4.236 * * [simplify]: Extracting # 2 : cost 0 4.239 * * [simplify]: Extracting # 3 : cost 0 4.241 * * [simplify]: Extracting # 4 : cost 0 4.243 * * [simplify]: Extracting # 5 : cost 0 4.245 * * [simplify]: iteration 4 : 3119 enodes (cost 122 ) 7.357 * * [simplify]: Extracting # 0 : cost 0 7.362 * * [simplify]: Extracting # 1 : cost 0 7.368 * * [simplify]: Extracting # 2 : cost 0 7.373 * * [simplify]: Extracting # 3 : cost 0 7.379 * * [simplify]: Extracting # 4 : cost 0 7.385 * * [simplify]: iteration done: 5000 enodes (cost 122 ) 7.385 * [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.385 * * * [progress]: adding candidates to table 7.438 * * [progress]: iteration 2 / 4 7.438 * * * [progress]: picking best candidate 7.446 * * * * [pick]: Picked # 7.446 * * * [progress]: localizing error 7.456 * * * [progress]: generating rewritten candidates 7.456 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 7.484 * * * [progress]: generating series expansions 7.484 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 7.484 * [backup-simplify]: Simplify (* x (* y 3.0)) into (* 3.0 (* x y)) 7.484 * [approximate]: Taking taylor expansion of (* 3.0 (* x y)) in (x y) around 0 7.484 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in y 7.484 * [taylor]: Taking taylor expansion of 3.0 in y 7.484 * [backup-simplify]: Simplify 3.0 into 3.0 7.484 * [taylor]: Taking taylor expansion of (* x y) in y 7.484 * [taylor]: Taking taylor expansion of x in y 7.484 * [backup-simplify]: Simplify x into x 7.484 * [taylor]: Taking taylor expansion of y in y 7.484 * [backup-simplify]: Simplify 0 into 0 7.484 * [backup-simplify]: Simplify 1 into 1 7.484 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x 7.484 * [taylor]: Taking taylor expansion of 3.0 in x 7.484 * [backup-simplify]: Simplify 3.0 into 3.0 7.484 * [taylor]: Taking taylor expansion of (* x y) in x 7.484 * [taylor]: Taking taylor expansion of x in x 7.484 * [backup-simplify]: Simplify 0 into 0 7.484 * [backup-simplify]: Simplify 1 into 1 7.484 * [taylor]: Taking taylor expansion of y in x 7.484 * [backup-simplify]: Simplify y into y 7.484 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x 7.484 * [taylor]: Taking taylor expansion of 3.0 in x 7.485 * [backup-simplify]: Simplify 3.0 into 3.0 7.485 * [taylor]: Taking taylor expansion of (* x y) in x 7.485 * [taylor]: Taking taylor expansion of x in x 7.485 * [backup-simplify]: Simplify 0 into 0 7.485 * [backup-simplify]: Simplify 1 into 1 7.485 * [taylor]: Taking taylor expansion of y in x 7.485 * [backup-simplify]: Simplify y into y 7.485 * [backup-simplify]: Simplify (* 0 y) into 0 7.485 * [backup-simplify]: Simplify (* 3.0 0) into 0 7.485 * [taylor]: Taking taylor expansion of 0 in y 7.485 * [backup-simplify]: Simplify 0 into 0 7.485 * [backup-simplify]: Simplify 0 into 0 7.486 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.486 * [backup-simplify]: Simplify (+ (* 3.0 y) (* 0 0)) into (* 3.0 y) 7.486 * [taylor]: Taking taylor expansion of (* 3.0 y) in y 7.486 * [taylor]: Taking taylor expansion of 3.0 in y 7.486 * [backup-simplify]: Simplify 3.0 into 3.0 7.486 * [taylor]: Taking taylor expansion of y in y 7.486 * [backup-simplify]: Simplify 0 into 0 7.486 * [backup-simplify]: Simplify 1 into 1 7.487 * [backup-simplify]: Simplify (* 3.0 0) into 0 7.487 * [backup-simplify]: Simplify 0 into 0 7.487 * [backup-simplify]: Simplify 0 into 0 7.488 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 7.488 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 y) (* 0 0))) into 0 7.488 * [taylor]: Taking taylor expansion of 0 in y 7.488 * [backup-simplify]: Simplify 0 into 0 7.488 * [backup-simplify]: Simplify 0 into 0 7.490 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0 7.490 * [backup-simplify]: Simplify 3.0 into 3.0 7.490 * [backup-simplify]: Simplify 0 into 0 7.491 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 7.492 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 7.492 * [taylor]: Taking taylor expansion of 0 in y 7.492 * [backup-simplify]: Simplify 0 into 0 7.492 * [backup-simplify]: Simplify 0 into 0 7.492 * [backup-simplify]: Simplify 0 into 0 7.493 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0 7.493 * [backup-simplify]: Simplify 0 into 0 7.493 * [backup-simplify]: Simplify 0 into 0 7.494 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 7.495 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 7.496 * [taylor]: Taking taylor expansion of 0 in y 7.496 * [backup-simplify]: Simplify 0 into 0 7.496 * [backup-simplify]: Simplify 0 into 0 7.496 * [backup-simplify]: Simplify (* 3.0 (* y x)) into (* 3.0 (* x y)) 7.496 * [backup-simplify]: Simplify (* (/ 1 x) (* (/ 1 y) 3.0)) into (/ 3.0 (* x y)) 7.496 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0 7.496 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y 7.496 * [taylor]: Taking taylor expansion of 3.0 in y 7.496 * [backup-simplify]: Simplify 3.0 into 3.0 7.496 * [taylor]: Taking taylor expansion of (* x y) in y 7.496 * [taylor]: Taking taylor expansion of x in y 7.496 * [backup-simplify]: Simplify x into x 7.496 * [taylor]: Taking taylor expansion of y in y 7.496 * [backup-simplify]: Simplify 0 into 0 7.496 * [backup-simplify]: Simplify 1 into 1 7.496 * [backup-simplify]: Simplify (* x 0) into 0 7.497 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 7.497 * [backup-simplify]: Simplify (/ 3.0 x) into (/ 3.0 x) 7.497 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 7.497 * [taylor]: Taking taylor expansion of 3.0 in x 7.497 * [backup-simplify]: Simplify 3.0 into 3.0 7.497 * [taylor]: Taking taylor expansion of (* x y) in x 7.497 * [taylor]: Taking taylor expansion of x in x 7.497 * [backup-simplify]: Simplify 0 into 0 7.497 * [backup-simplify]: Simplify 1 into 1 7.497 * [taylor]: Taking taylor expansion of y in x 7.497 * [backup-simplify]: Simplify y into y 7.497 * [backup-simplify]: Simplify (* 0 y) into 0 7.497 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.497 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y) 7.497 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 7.497 * [taylor]: Taking taylor expansion of 3.0 in x 7.497 * [backup-simplify]: Simplify 3.0 into 3.0 7.497 * [taylor]: Taking taylor expansion of (* x y) in x 7.497 * [taylor]: Taking taylor expansion of x in x 7.497 * [backup-simplify]: Simplify 0 into 0 7.498 * [backup-simplify]: Simplify 1 into 1 7.498 * [taylor]: Taking taylor expansion of y in x 7.498 * [backup-simplify]: Simplify y into y 7.498 * [backup-simplify]: Simplify (* 0 y) into 0 7.498 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.498 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y) 7.498 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 7.498 * [taylor]: Taking taylor expansion of 3.0 in y 7.498 * [backup-simplify]: Simplify 3.0 into 3.0 7.498 * [taylor]: Taking taylor expansion of y in y 7.498 * [backup-simplify]: Simplify 0 into 0 7.498 * [backup-simplify]: Simplify 1 into 1 7.499 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0 7.499 * [backup-simplify]: Simplify 3.0 into 3.0 7.499 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 7.500 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)))) into 0 7.500 * [taylor]: Taking taylor expansion of 0 in y 7.500 * [backup-simplify]: Simplify 0 into 0 7.505 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0 7.505 * [backup-simplify]: Simplify 0 into 0 7.506 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 7.506 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.506 * [taylor]: Taking taylor expansion of 0 in y 7.507 * [backup-simplify]: Simplify 0 into 0 7.507 * [backup-simplify]: Simplify 0 into 0 7.507 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.507 * [backup-simplify]: Simplify 0 into 0 7.508 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 7.508 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.508 * [taylor]: Taking taylor expansion of 0 in y 7.508 * [backup-simplify]: Simplify 0 into 0 7.508 * [backup-simplify]: Simplify 0 into 0 7.508 * [backup-simplify]: Simplify 0 into 0 7.509 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.509 * [backup-simplify]: Simplify 0 into 0 7.509 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 3.0 (* x y)) 7.509 * [backup-simplify]: Simplify (* (/ 1 (- x)) (* (/ 1 (- y)) 3.0)) into (/ 3.0 (* x y)) 7.509 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0 7.509 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y 7.509 * [taylor]: Taking taylor expansion of 3.0 in y 7.509 * [backup-simplify]: Simplify 3.0 into 3.0 7.509 * [taylor]: Taking taylor expansion of (* x y) in y 7.509 * [taylor]: Taking taylor expansion of x in y 7.509 * [backup-simplify]: Simplify x into x 7.509 * [taylor]: Taking taylor expansion of y in y 7.509 * [backup-simplify]: Simplify 0 into 0 7.509 * [backup-simplify]: Simplify 1 into 1 7.509 * [backup-simplify]: Simplify (* x 0) into 0 7.510 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 7.510 * [backup-simplify]: Simplify (/ 3.0 x) into (/ 3.0 x) 7.510 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 7.510 * [taylor]: Taking taylor expansion of 3.0 in x 7.510 * [backup-simplify]: Simplify 3.0 into 3.0 7.510 * [taylor]: Taking taylor expansion of (* x y) in x 7.510 * [taylor]: Taking taylor expansion of x in x 7.510 * [backup-simplify]: Simplify 0 into 0 7.510 * [backup-simplify]: Simplify 1 into 1 7.510 * [taylor]: Taking taylor expansion of y in x 7.510 * [backup-simplify]: Simplify y into y 7.510 * [backup-simplify]: Simplify (* 0 y) into 0 7.510 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.510 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y) 7.510 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 7.510 * [taylor]: Taking taylor expansion of 3.0 in x 7.510 * [backup-simplify]: Simplify 3.0 into 3.0 7.510 * [taylor]: Taking taylor expansion of (* x y) in x 7.510 * [taylor]: Taking taylor expansion of x in x 7.510 * [backup-simplify]: Simplify 0 into 0 7.510 * [backup-simplify]: Simplify 1 into 1 7.510 * [taylor]: Taking taylor expansion of y in x 7.510 * [backup-simplify]: Simplify y into y 7.510 * [backup-simplify]: Simplify (* 0 y) into 0 7.511 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.511 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y) 7.511 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 7.511 * [taylor]: Taking taylor expansion of 3.0 in y 7.511 * [backup-simplify]: Simplify 3.0 into 3.0 7.511 * [taylor]: Taking taylor expansion of y in y 7.511 * [backup-simplify]: Simplify 0 into 0 7.511 * [backup-simplify]: Simplify 1 into 1 7.511 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0 7.511 * [backup-simplify]: Simplify 3.0 into 3.0 7.512 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 7.512 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)))) into 0 7.512 * [taylor]: Taking taylor expansion of 0 in y 7.512 * [backup-simplify]: Simplify 0 into 0 7.512 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0 7.512 * [backup-simplify]: Simplify 0 into 0 7.513 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 7.513 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.513 * [taylor]: Taking taylor expansion of 0 in y 7.513 * [backup-simplify]: Simplify 0 into 0 7.513 * [backup-simplify]: Simplify 0 into 0 7.514 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.514 * [backup-simplify]: Simplify 0 into 0 7.515 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 7.515 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.515 * [taylor]: Taking taylor expansion of 0 in y 7.515 * [backup-simplify]: Simplify 0 into 0 7.515 * [backup-simplify]: Simplify 0 into 0 7.515 * [backup-simplify]: Simplify 0 into 0 7.515 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.516 * [backup-simplify]: Simplify 0 into 0 7.516 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 3.0 (* x y)) 7.516 * * * [progress]: simplifying candidates 7.516 * [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.516 * * [simplify]: Extracting # 0 : cost 0 7.517 * * [simplify]: Extracting # 1 : cost 0 7.517 * * [simplify]: Extracting # 2 : cost 0 7.517 * * [simplify]: Extracting # 3 : cost 0 7.517 * * [simplify]: Extracting # 4 : cost 0 7.517 * * [simplify]: Extracting # 5 : cost 0 7.517 * * [simplify]: Extracting # 6 : cost 0 7.517 * * [simplify]: iteration 0 : 36 enodes (cost 154 ) 7.524 * * [simplify]: Extracting # 0 : cost 0 7.524 * * [simplify]: Extracting # 1 : cost 0 7.524 * * [simplify]: Extracting # 2 : cost 0 7.525 * * [simplify]: iteration 1 : 88 enodes (cost 151 ) 7.565 * * [simplify]: Extracting # 0 : cost 0 7.566 * * [simplify]: Extracting # 1 : cost 0 7.566 * * [simplify]: Extracting # 2 : cost 0 7.567 * * [simplify]: Extracting # 3 : cost 0 7.567 * * [simplify]: Extracting # 4 : cost 0 7.568 * * [simplify]: Extracting # 5 : cost 0 7.569 * * [simplify]: iteration 2 : 328 enodes (cost 127 ) 7.881 * * [simplify]: Extracting # 0 : cost 0 7.882 * * [simplify]: Extracting # 1 : cost 0 7.883 * * [simplify]: Extracting # 2 : cost 0 7.884 * * [simplify]: Extracting # 3 : cost 0 7.885 * * [simplify]: Extracting # 4 : cost 0 7.886 * * [simplify]: iteration 3 : 1092 enodes (cost 121 ) 9.828 * * [simplify]: Extracting # 0 : cost 0 9.833 * * [simplify]: Extracting # 1 : cost 0 9.834 * * [simplify]: Extracting # 2 : cost 0 9.841 * * [simplify]: Extracting # 3 : cost 0 9.843 * * [simplify]: Extracting # 4 : cost 0 9.846 * * [simplify]: iteration 4 : 1989 enodes (cost 121 ) 14.404 * * [simplify]: Extracting # 0 : cost 0 14.408 * * [simplify]: Extracting # 1 : cost 0 14.411 * * [simplify]: Extracting # 2 : cost 0 14.413 * * [simplify]: Extracting # 3 : cost 0 14.423 * * [simplify]: Extracting # 4 : cost 0 14.426 * * [simplify]: iteration 5 : 4238 enodes (cost 121 ) 15.780 * * [simplify]: Extracting # 0 : cost 0 15.786 * * [simplify]: Extracting # 1 : cost 0 15.792 * * [simplify]: Extracting # 2 : cost 0 15.798 * * [simplify]: iteration done: 5001 enodes (cost 121 ) 15.798 * [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.798 * * * [progress]: adding candidates to table 15.833 * * [progress]: iteration 3 / 4 15.833 * * * [progress]: picking best candidate 15.839 * * * * [pick]: Picked # 15.839 * * * [progress]: localizing error 15.847 * * * [progress]: generating rewritten candidates 15.847 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 1) 15.866 * * * [progress]: generating series expansions 15.866 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 1) 15.867 * [backup-simplify]: Simplify (* 3.0 (* x y)) into (* 3.0 (* x y)) 15.867 * [approximate]: Taking taylor expansion of (* 3.0 (* x y)) in (x y) around 0 15.867 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in y 15.867 * [taylor]: Taking taylor expansion of 3.0 in y 15.867 * [backup-simplify]: Simplify 3.0 into 3.0 15.867 * [taylor]: Taking taylor expansion of (* x y) in y 15.867 * [taylor]: Taking taylor expansion of x in y 15.867 * [backup-simplify]: Simplify x into x 15.867 * [taylor]: Taking taylor expansion of y in y 15.867 * [backup-simplify]: Simplify 0 into 0 15.867 * [backup-simplify]: Simplify 1 into 1 15.867 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x 15.867 * [taylor]: Taking taylor expansion of 3.0 in x 15.867 * [backup-simplify]: Simplify 3.0 into 3.0 15.867 * [taylor]: Taking taylor expansion of (* x y) in x 15.867 * [taylor]: Taking taylor expansion of x in x 15.867 * [backup-simplify]: Simplify 0 into 0 15.867 * [backup-simplify]: Simplify 1 into 1 15.867 * [taylor]: Taking taylor expansion of y in x 15.867 * [backup-simplify]: Simplify y into y 15.867 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x 15.867 * [taylor]: Taking taylor expansion of 3.0 in x 15.867 * [backup-simplify]: Simplify 3.0 into 3.0 15.867 * [taylor]: Taking taylor expansion of (* x y) in x 15.867 * [taylor]: Taking taylor expansion of x in x 15.867 * [backup-simplify]: Simplify 0 into 0 15.867 * [backup-simplify]: Simplify 1 into 1 15.867 * [taylor]: Taking taylor expansion of y in x 15.867 * [backup-simplify]: Simplify y into y 15.867 * [backup-simplify]: Simplify (* 0 y) into 0 15.868 * [backup-simplify]: Simplify (* 3.0 0) into 0 15.868 * [taylor]: Taking taylor expansion of 0 in y 15.868 * [backup-simplify]: Simplify 0 into 0 15.868 * [backup-simplify]: Simplify 0 into 0 15.868 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 15.868 * [backup-simplify]: Simplify (+ (* 3.0 y) (* 0 0)) into (* 3.0 y) 15.869 * [taylor]: Taking taylor expansion of (* 3.0 y) in y 15.869 * [taylor]: Taking taylor expansion of 3.0 in y 15.869 * [backup-simplify]: Simplify 3.0 into 3.0 15.869 * [taylor]: Taking taylor expansion of y in y 15.869 * [backup-simplify]: Simplify 0 into 0 15.869 * [backup-simplify]: Simplify 1 into 1 15.869 * [backup-simplify]: Simplify (* 3.0 0) into 0 15.869 * [backup-simplify]: Simplify 0 into 0 15.869 * [backup-simplify]: Simplify 0 into 0 15.869 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 15.870 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 y) (* 0 0))) into 0 15.870 * [taylor]: Taking taylor expansion of 0 in y 15.870 * [backup-simplify]: Simplify 0 into 0 15.870 * [backup-simplify]: Simplify 0 into 0 15.871 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0 15.872 * [backup-simplify]: Simplify 3.0 into 3.0 15.872 * [backup-simplify]: Simplify 0 into 0 15.873 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 15.873 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 15.873 * [taylor]: Taking taylor expansion of 0 in y 15.874 * [backup-simplify]: Simplify 0 into 0 15.874 * [backup-simplify]: Simplify 0 into 0 15.874 * [backup-simplify]: Simplify 0 into 0 15.874 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0 15.874 * [backup-simplify]: Simplify 0 into 0 15.874 * [backup-simplify]: Simplify 0 into 0 15.876 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 15.877 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 15.877 * [taylor]: Taking taylor expansion of 0 in y 15.877 * [backup-simplify]: Simplify 0 into 0 15.877 * [backup-simplify]: Simplify 0 into 0 15.877 * [backup-simplify]: Simplify (* 3.0 (* y x)) into (* 3.0 (* x y)) 15.877 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 x) (/ 1 y))) into (/ 3.0 (* x y)) 15.877 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0 15.877 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y 15.877 * [taylor]: Taking taylor expansion of 3.0 in y 15.877 * [backup-simplify]: Simplify 3.0 into 3.0 15.877 * [taylor]: Taking taylor expansion of (* x y) in y 15.877 * [taylor]: Taking taylor expansion of x in y 15.877 * [backup-simplify]: Simplify x into x 15.877 * [taylor]: Taking taylor expansion of y in y 15.878 * [backup-simplify]: Simplify 0 into 0 15.878 * [backup-simplify]: Simplify 1 into 1 15.878 * [backup-simplify]: Simplify (* x 0) into 0 15.878 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 15.878 * [backup-simplify]: Simplify (/ 3.0 x) into (/ 3.0 x) 15.878 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 15.878 * [taylor]: Taking taylor expansion of 3.0 in x 15.878 * [backup-simplify]: Simplify 3.0 into 3.0 15.878 * [taylor]: Taking taylor expansion of (* x y) in x 15.878 * [taylor]: Taking taylor expansion of x in x 15.878 * [backup-simplify]: Simplify 0 into 0 15.878 * [backup-simplify]: Simplify 1 into 1 15.878 * [taylor]: Taking taylor expansion of y in x 15.878 * [backup-simplify]: Simplify y into y 15.878 * [backup-simplify]: Simplify (* 0 y) into 0 15.879 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 15.879 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y) 15.879 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 15.879 * [taylor]: Taking taylor expansion of 3.0 in x 15.879 * [backup-simplify]: Simplify 3.0 into 3.0 15.879 * [taylor]: Taking taylor expansion of (* x y) in x 15.879 * [taylor]: Taking taylor expansion of x in x 15.879 * [backup-simplify]: Simplify 0 into 0 15.879 * [backup-simplify]: Simplify 1 into 1 15.879 * [taylor]: Taking taylor expansion of y in x 15.879 * [backup-simplify]: Simplify y into y 15.879 * [backup-simplify]: Simplify (* 0 y) into 0 15.879 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 15.879 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y) 15.879 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 15.879 * [taylor]: Taking taylor expansion of 3.0 in y 15.880 * [backup-simplify]: Simplify 3.0 into 3.0 15.880 * [taylor]: Taking taylor expansion of y in y 15.880 * [backup-simplify]: Simplify 0 into 0 15.880 * [backup-simplify]: Simplify 1 into 1 15.880 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0 15.880 * [backup-simplify]: Simplify 3.0 into 3.0 15.881 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 15.881 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)))) into 0 15.881 * [taylor]: Taking taylor expansion of 0 in y 15.881 * [backup-simplify]: Simplify 0 into 0 15.882 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0 15.882 * [backup-simplify]: Simplify 0 into 0 15.888 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 15.889 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.889 * [taylor]: Taking taylor expansion of 0 in y 15.889 * [backup-simplify]: Simplify 0 into 0 15.889 * [backup-simplify]: Simplify 0 into 0 15.890 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.890 * [backup-simplify]: Simplify 0 into 0 15.891 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 15.891 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.891 * [taylor]: Taking taylor expansion of 0 in y 15.891 * [backup-simplify]: Simplify 0 into 0 15.891 * [backup-simplify]: Simplify 0 into 0 15.891 * [backup-simplify]: Simplify 0 into 0 15.892 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.892 * [backup-simplify]: Simplify 0 into 0 15.892 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 3.0 (* x y)) 15.892 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (- x)) (/ 1 (- y)))) into (/ 3.0 (* x y)) 15.892 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0 15.892 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y 15.893 * [taylor]: Taking taylor expansion of 3.0 in y 15.893 * [backup-simplify]: Simplify 3.0 into 3.0 15.893 * [taylor]: Taking taylor expansion of (* x y) in y 15.893 * [taylor]: Taking taylor expansion of x in y 15.893 * [backup-simplify]: Simplify x into x 15.893 * [taylor]: Taking taylor expansion of y in y 15.893 * [backup-simplify]: Simplify 0 into 0 15.893 * [backup-simplify]: Simplify 1 into 1 15.893 * [backup-simplify]: Simplify (* x 0) into 0 15.893 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 15.893 * [backup-simplify]: Simplify (/ 3.0 x) into (/ 3.0 x) 15.893 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 15.893 * [taylor]: Taking taylor expansion of 3.0 in x 15.893 * [backup-simplify]: Simplify 3.0 into 3.0 15.893 * [taylor]: Taking taylor expansion of (* x y) in x 15.893 * [taylor]: Taking taylor expansion of x in x 15.893 * [backup-simplify]: Simplify 0 into 0 15.893 * [backup-simplify]: Simplify 1 into 1 15.893 * [taylor]: Taking taylor expansion of y in x 15.893 * [backup-simplify]: Simplify y into y 15.893 * [backup-simplify]: Simplify (* 0 y) into 0 15.894 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 15.894 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y) 15.894 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 15.894 * [taylor]: Taking taylor expansion of 3.0 in x 15.894 * [backup-simplify]: Simplify 3.0 into 3.0 15.894 * [taylor]: Taking taylor expansion of (* x y) in x 15.894 * [taylor]: Taking taylor expansion of x in x 15.894 * [backup-simplify]: Simplify 0 into 0 15.894 * [backup-simplify]: Simplify 1 into 1 15.894 * [taylor]: Taking taylor expansion of y in x 15.894 * [backup-simplify]: Simplify y into y 15.894 * [backup-simplify]: Simplify (* 0 y) into 0 15.894 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 15.895 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y) 15.895 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 15.895 * [taylor]: Taking taylor expansion of 3.0 in y 15.895 * [backup-simplify]: Simplify 3.0 into 3.0 15.895 * [taylor]: Taking taylor expansion of y in y 15.895 * [backup-simplify]: Simplify 0 into 0 15.895 * [backup-simplify]: Simplify 1 into 1 15.895 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0 15.895 * [backup-simplify]: Simplify 3.0 into 3.0 15.896 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 15.896 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)))) into 0 15.896 * [taylor]: Taking taylor expansion of 0 in y 15.896 * [backup-simplify]: Simplify 0 into 0 15.897 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0 15.897 * [backup-simplify]: Simplify 0 into 0 15.898 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 15.898 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.898 * [taylor]: Taking taylor expansion of 0 in y 15.898 * [backup-simplify]: Simplify 0 into 0 15.898 * [backup-simplify]: Simplify 0 into 0 15.899 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.899 * [backup-simplify]: Simplify 0 into 0 15.900 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 15.900 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.900 * [taylor]: Taking taylor expansion of 0 in y 15.900 * [backup-simplify]: Simplify 0 into 0 15.900 * [backup-simplify]: Simplify 0 into 0 15.900 * [backup-simplify]: Simplify 0 into 0 15.901 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.901 * [backup-simplify]: Simplify 0 into 0 15.901 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 3.0 (* x y)) 15.902 * * * [progress]: simplifying candidates 15.902 * [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.903 * * [simplify]: Extracting # 0 : cost 0 15.903 * * [simplify]: Extracting # 1 : cost 0 15.903 * * [simplify]: Extracting # 2 : cost 0 15.903 * * [simplify]: Extracting # 3 : cost 0 15.903 * * [simplify]: Extracting # 4 : cost 0 15.903 * * [simplify]: Extracting # 5 : cost 0 15.903 * * [simplify]: Extracting # 6 : cost 0 15.903 * * [simplify]: iteration 0 : 35 enodes (cost 154 ) 15.915 * * [simplify]: Extracting # 0 : cost 0 15.915 * * [simplify]: Extracting # 1 : cost 0 15.915 * * [simplify]: Extracting # 2 : cost 0 15.915 * * [simplify]: iteration 1 : 85 enodes (cost 151 ) 15.955 * * [simplify]: Extracting # 0 : cost 0 15.956 * * [simplify]: Extracting # 1 : cost 0 15.956 * * [simplify]: Extracting # 2 : cost 0 15.957 * * [simplify]: Extracting # 3 : cost 0 15.957 * * [simplify]: Extracting # 4 : cost 0 15.958 * * [simplify]: Extracting # 5 : cost 0 15.958 * * [simplify]: iteration 2 : 298 enodes (cost 121 ) 16.255 * * [simplify]: Extracting # 0 : cost 0 16.261 * * [simplify]: Extracting # 1 : cost 0 16.262 * * [simplify]: Extracting # 2 : cost 0 16.263 * * [simplify]: Extracting # 3 : cost 0 16.264 * * [simplify]: Extracting # 4 : cost 0 16.265 * * [simplify]: iteration 3 : 980 enodes (cost 121 ) 17.922 * * [simplify]: Extracting # 0 : cost 0 17.925 * * [simplify]: Extracting # 1 : cost 0 17.926 * * [simplify]: Extracting # 2 : cost 0 17.927 * * [simplify]: Extracting # 3 : cost 0 17.928 * * [simplify]: Extracting # 4 : cost 0 17.929 * * [simplify]: iteration 4 : 2143 enodes (cost 121 ) 22.382 * * [simplify]: Extracting # 0 : cost 0 22.389 * * [simplify]: Extracting # 1 : cost 0 22.395 * * [simplify]: Extracting # 2 : cost 0 22.399 * * [simplify]: Extracting # 3 : cost 0 22.402 * * [simplify]: Extracting # 4 : cost 0 22.405 * * [simplify]: iteration 5 : 4393 enodes (cost 121 ) 23.712 * * [simplify]: Extracting # 0 : cost 0 23.717 * * [simplify]: Extracting # 1 : cost 0 23.729 * * [simplify]: Extracting # 2 : cost 0 23.734 * * [simplify]: iteration done: 5001 enodes (cost 121 ) 23.735 * [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.735 * * * [progress]: adding candidates to table 23.778 * * [progress]: iteration 4 / 4 23.778 * * * [progress]: picking best candidate 23.783 * * * * [pick]: Picked # 23.783 * * * [progress]: localizing error 23.800 * * * [progress]: generating rewritten candidates 23.800 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1 2) 23.832 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1) 23.923 * * * [progress]: generating series expansions 23.923 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1 2) 23.924 * [backup-simplify]: Simplify (* (cbrt 3.0) (* x y)) into (* (cbrt 3.0) (* x y)) 23.924 * [approximate]: Taking taylor expansion of (* (cbrt 3.0) (* x y)) in (x y) around 0 23.924 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) (* x y)) in y 23.924 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 23.924 * [taylor]: Taking taylor expansion of 3.0 in y 23.924 * [backup-simplify]: Simplify 3.0 into 3.0 23.924 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.925 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 23.925 * [taylor]: Taking taylor expansion of (* x y) in y 23.925 * [taylor]: Taking taylor expansion of x in y 23.925 * [backup-simplify]: Simplify x into x 23.925 * [taylor]: Taking taylor expansion of y in y 23.925 * [backup-simplify]: Simplify 0 into 0 23.925 * [backup-simplify]: Simplify 1 into 1 23.925 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) (* x y)) in x 23.925 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 23.925 * [taylor]: Taking taylor expansion of 3.0 in x 23.925 * [backup-simplify]: Simplify 3.0 into 3.0 23.926 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.926 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 23.926 * [taylor]: Taking taylor expansion of (* x y) in x 23.926 * [taylor]: Taking taylor expansion of x in x 23.926 * [backup-simplify]: Simplify 0 into 0 23.926 * [backup-simplify]: Simplify 1 into 1 23.926 * [taylor]: Taking taylor expansion of y in x 23.926 * [backup-simplify]: Simplify y into y 23.926 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) (* x y)) in x 23.926 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 23.926 * [taylor]: Taking taylor expansion of 3.0 in x 23.927 * [backup-simplify]: Simplify 3.0 into 3.0 23.927 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.927 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 23.927 * [taylor]: Taking taylor expansion of (* x y) in x 23.927 * [taylor]: Taking taylor expansion of x in x 23.927 * [backup-simplify]: Simplify 0 into 0 23.927 * [backup-simplify]: Simplify 1 into 1 23.927 * [taylor]: Taking taylor expansion of y in x 23.928 * [backup-simplify]: Simplify y into y 23.928 * [backup-simplify]: Simplify (* 0 y) into 0 23.928 * [backup-simplify]: Simplify (* (cbrt 3.0) 0) into 0 23.928 * [taylor]: Taking taylor expansion of 0 in y 23.928 * [backup-simplify]: Simplify 0 into 0 23.928 * [backup-simplify]: Simplify 0 into 0 23.929 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 23.929 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) y) (* 0 0)) into (* (cbrt 3.0) y) 23.929 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) y) in y 23.929 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 23.929 * [taylor]: Taking taylor expansion of 3.0 in y 23.929 * [backup-simplify]: Simplify 3.0 into 3.0 23.930 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.930 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 23.930 * [taylor]: Taking taylor expansion of y in y 23.930 * [backup-simplify]: Simplify 0 into 0 23.930 * [backup-simplify]: Simplify 1 into 1 23.931 * [backup-simplify]: Simplify (* (cbrt 3.0) 0) into 0 23.931 * [backup-simplify]: Simplify 0 into 0 23.931 * [backup-simplify]: Simplify 0 into 0 23.931 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 23.933 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0 23.933 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 y) (* 0 0))) into 0 23.933 * [taylor]: Taking taylor expansion of 0 in y 23.933 * [backup-simplify]: Simplify 0 into 0 23.933 * [backup-simplify]: Simplify 0 into 0 23.935 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 1) (* 0 0)) into (cbrt 3.0) 23.935 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.935 * [backup-simplify]: Simplify 0 into 0 23.936 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 23.937 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0 23.938 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 23.938 * [taylor]: Taking taylor expansion of 0 in y 23.938 * [backup-simplify]: Simplify 0 into 0 23.938 * [backup-simplify]: Simplify 0 into 0 23.938 * [backup-simplify]: Simplify 0 into 0 23.939 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0 23.940 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 1) (* 0 0))) into 0 23.940 * [backup-simplify]: Simplify 0 into 0 23.940 * [backup-simplify]: Simplify 0 into 0 23.942 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 23.943 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0 23.944 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 23.944 * [taylor]: Taking taylor expansion of 0 in y 23.944 * [backup-simplify]: Simplify 0 into 0 23.944 * [backup-simplify]: Simplify 0 into 0 23.945 * [backup-simplify]: Simplify (* (cbrt 3.0) (* y x)) into (* (cbrt 3.0) (* x y)) 23.945 * [backup-simplify]: Simplify (* (cbrt 3.0) (* (/ 1 x) (/ 1 y))) into (/ (cbrt 3.0) (* x y)) 23.945 * [approximate]: Taking taylor expansion of (/ (cbrt 3.0) (* x y)) in (x y) around 0 23.945 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (* x y)) in y 23.945 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 23.945 * [taylor]: Taking taylor expansion of 3.0 in y 23.945 * [backup-simplify]: Simplify 3.0 into 3.0 23.946 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.946 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 23.946 * [taylor]: Taking taylor expansion of (* x y) in y 23.946 * [taylor]: Taking taylor expansion of x in y 23.946 * [backup-simplify]: Simplify x into x 23.946 * [taylor]: Taking taylor expansion of y in y 23.946 * [backup-simplify]: Simplify 0 into 0 23.946 * [backup-simplify]: Simplify 1 into 1 23.946 * [backup-simplify]: Simplify (* x 0) into 0 23.947 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 23.947 * [backup-simplify]: Simplify (/ (cbrt 3.0) x) into (/ (cbrt 3.0) x) 23.947 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (* x y)) in x 23.947 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 23.947 * [taylor]: Taking taylor expansion of 3.0 in x 23.947 * [backup-simplify]: Simplify 3.0 into 3.0 23.947 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.948 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 23.948 * [taylor]: Taking taylor expansion of (* x y) in x 23.948 * [taylor]: Taking taylor expansion of x in x 23.948 * [backup-simplify]: Simplify 0 into 0 23.948 * [backup-simplify]: Simplify 1 into 1 23.948 * [taylor]: Taking taylor expansion of y in x 23.948 * [backup-simplify]: Simplify y into y 23.948 * [backup-simplify]: Simplify (* 0 y) into 0 23.949 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 23.949 * [backup-simplify]: Simplify (/ (cbrt 3.0) y) into (/ (cbrt 3.0) y) 23.949 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (* x y)) in x 23.949 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 23.949 * [taylor]: Taking taylor expansion of 3.0 in x 23.949 * [backup-simplify]: Simplify 3.0 into 3.0 23.949 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.950 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 23.950 * [taylor]: Taking taylor expansion of (* x y) in x 23.950 * [taylor]: Taking taylor expansion of x in x 23.950 * [backup-simplify]: Simplify 0 into 0 23.950 * [backup-simplify]: Simplify 1 into 1 23.950 * [taylor]: Taking taylor expansion of y in x 23.950 * [backup-simplify]: Simplify y into y 23.950 * [backup-simplify]: Simplify (* 0 y) into 0 23.950 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 23.951 * [backup-simplify]: Simplify (/ (cbrt 3.0) y) into (/ (cbrt 3.0) y) 23.951 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) y) in y 23.951 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 23.951 * [taylor]: Taking taylor expansion of 3.0 in y 23.951 * [backup-simplify]: Simplify 3.0 into 3.0 23.951 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.952 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 23.952 * [taylor]: Taking taylor expansion of y in y 23.952 * [backup-simplify]: Simplify 0 into 0 23.952 * [backup-simplify]: Simplify 1 into 1 23.953 * [backup-simplify]: Simplify (/ (cbrt 3.0) 1) into (cbrt 3.0) 23.953 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.954 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 23.954 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (cbrt 3.0) y) (/ 0 y)))) into 0 23.954 * [taylor]: Taking taylor expansion of 0 in y 23.954 * [backup-simplify]: Simplify 0 into 0 23.955 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)))) into 0 23.955 * [backup-simplify]: Simplify 0 into 0 23.956 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0 23.957 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 23.957 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (cbrt 3.0) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 23.957 * [taylor]: Taking taylor expansion of 0 in y 23.957 * [backup-simplify]: Simplify 0 into 0 23.957 * [backup-simplify]: Simplify 0 into 0 23.959 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0 23.959 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 23.959 * [backup-simplify]: Simplify 0 into 0 23.961 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0 23.962 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 23.962 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (cbrt 3.0) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 23.962 * [taylor]: Taking taylor expansion of 0 in y 23.962 * [backup-simplify]: Simplify 0 into 0 23.962 * [backup-simplify]: Simplify 0 into 0 23.962 * [backup-simplify]: Simplify 0 into 0 23.963 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0 23.964 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 23.964 * [backup-simplify]: Simplify 0 into 0 23.965 * [backup-simplify]: Simplify (* (cbrt 3.0) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* (cbrt 3.0) (* x y)) 23.965 * [backup-simplify]: Simplify (* (cbrt 3.0) (* (/ 1 (- x)) (/ 1 (- y)))) into (/ (cbrt 3.0) (* x y)) 23.965 * [approximate]: Taking taylor expansion of (/ (cbrt 3.0) (* x y)) in (x y) around 0 23.965 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (* x y)) in y 23.965 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 23.965 * [taylor]: Taking taylor expansion of 3.0 in y 23.965 * [backup-simplify]: Simplify 3.0 into 3.0 23.966 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.966 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 23.966 * [taylor]: Taking taylor expansion of (* x y) in y 23.966 * [taylor]: Taking taylor expansion of x in y 23.966 * [backup-simplify]: Simplify x into x 23.966 * [taylor]: Taking taylor expansion of y in y 23.966 * [backup-simplify]: Simplify 0 into 0 23.966 * [backup-simplify]: Simplify 1 into 1 23.966 * [backup-simplify]: Simplify (* x 0) into 0 23.967 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 23.967 * [backup-simplify]: Simplify (/ (cbrt 3.0) x) into (/ (cbrt 3.0) x) 23.967 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (* x y)) in x 23.967 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 23.967 * [taylor]: Taking taylor expansion of 3.0 in x 23.967 * [backup-simplify]: Simplify 3.0 into 3.0 23.967 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.968 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 23.968 * [taylor]: Taking taylor expansion of (* x y) in x 23.968 * [taylor]: Taking taylor expansion of x in x 23.968 * [backup-simplify]: Simplify 0 into 0 23.968 * [backup-simplify]: Simplify 1 into 1 23.968 * [taylor]: Taking taylor expansion of y in x 23.968 * [backup-simplify]: Simplify y into y 23.968 * [backup-simplify]: Simplify (* 0 y) into 0 23.969 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 23.969 * [backup-simplify]: Simplify (/ (cbrt 3.0) y) into (/ (cbrt 3.0) y) 23.969 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (* x y)) in x 23.969 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 23.969 * [taylor]: Taking taylor expansion of 3.0 in x 23.969 * [backup-simplify]: Simplify 3.0 into 3.0 23.969 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.970 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 23.970 * [taylor]: Taking taylor expansion of (* x y) in x 23.970 * [taylor]: Taking taylor expansion of x in x 23.970 * [backup-simplify]: Simplify 0 into 0 23.970 * [backup-simplify]: Simplify 1 into 1 23.970 * [taylor]: Taking taylor expansion of y in x 23.970 * [backup-simplify]: Simplify y into y 23.970 * [backup-simplify]: Simplify (* 0 y) into 0 23.970 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 23.971 * [backup-simplify]: Simplify (/ (cbrt 3.0) y) into (/ (cbrt 3.0) y) 23.971 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) y) in y 23.971 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 23.971 * [taylor]: Taking taylor expansion of 3.0 in y 23.971 * [backup-simplify]: Simplify 3.0 into 3.0 23.971 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.972 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 23.972 * [taylor]: Taking taylor expansion of y in y 23.972 * [backup-simplify]: Simplify 0 into 0 23.972 * [backup-simplify]: Simplify 1 into 1 23.973 * [backup-simplify]: Simplify (/ (cbrt 3.0) 1) into (cbrt 3.0) 23.973 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.974 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 23.974 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (cbrt 3.0) y) (/ 0 y)))) into 0 23.974 * [taylor]: Taking taylor expansion of 0 in y 23.974 * [backup-simplify]: Simplify 0 into 0 23.975 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)))) into 0 23.975 * [backup-simplify]: Simplify 0 into 0 23.976 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0 23.977 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 23.978 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (cbrt 3.0) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 23.978 * [taylor]: Taking taylor expansion of 0 in y 23.978 * [backup-simplify]: Simplify 0 into 0 23.978 * [backup-simplify]: Simplify 0 into 0 23.979 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0 23.980 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 23.980 * [backup-simplify]: Simplify 0 into 0 23.981 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0 23.982 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 23.982 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (cbrt 3.0) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 23.982 * [taylor]: Taking taylor expansion of 0 in y 23.982 * [backup-simplify]: Simplify 0 into 0 23.982 * [backup-simplify]: Simplify 0 into 0 23.982 * [backup-simplify]: Simplify 0 into 0 23.983 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0 23.984 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 23.984 * [backup-simplify]: Simplify 0 into 0 23.985 * [backup-simplify]: Simplify (* (cbrt 3.0) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* (cbrt 3.0) (* x y)) 23.985 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1) 23.986 * [backup-simplify]: Simplify (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) into (* (pow (cbrt 3.0) 3) (* x y)) 23.986 * [approximate]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (* x y)) in (x y) around 0 23.986 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (* x y)) in y 23.986 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in y 23.986 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 23.986 * [taylor]: Taking taylor expansion of 3.0 in y 23.986 * [backup-simplify]: Simplify 3.0 into 3.0 23.987 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.987 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 23.987 * [taylor]: Taking taylor expansion of (* x y) in y 23.987 * [taylor]: Taking taylor expansion of x in y 23.987 * [backup-simplify]: Simplify x into x 23.987 * [taylor]: Taking taylor expansion of y in y 23.987 * [backup-simplify]: Simplify 0 into 0 23.987 * [backup-simplify]: Simplify 1 into 1 23.987 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (* x y)) in x 23.988 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 23.988 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 23.988 * [taylor]: Taking taylor expansion of 3.0 in x 23.988 * [backup-simplify]: Simplify 3.0 into 3.0 23.988 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.989 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 23.989 * [taylor]: Taking taylor expansion of (* x y) in x 23.989 * [taylor]: Taking taylor expansion of x in x 23.989 * [backup-simplify]: Simplify 0 into 0 23.989 * [backup-simplify]: Simplify 1 into 1 23.989 * [taylor]: Taking taylor expansion of y in x 23.989 * [backup-simplify]: Simplify y into y 23.989 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (* x y)) in x 23.989 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 23.989 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 23.989 * [taylor]: Taking taylor expansion of 3.0 in x 23.989 * [backup-simplify]: Simplify 3.0 into 3.0 23.989 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 23.990 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 23.990 * [taylor]: Taking taylor expansion of (* x y) in x 23.990 * [taylor]: Taking taylor expansion of x in x 23.990 * [backup-simplify]: Simplify 0 into 0 23.990 * [backup-simplify]: Simplify 1 into 1 23.990 * [taylor]: Taking taylor expansion of y in x 23.990 * [backup-simplify]: Simplify y into y 23.991 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2) 23.992 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 3) 23.992 * [backup-simplify]: Simplify (* 0 y) into 0 23.993 * [backup-simplify]: Simplify (* (pow (cbrt 3.0) 3) 0) into 0 23.993 * [taylor]: Taking taylor expansion of 0 in y 23.993 * [backup-simplify]: Simplify 0 into 0 23.993 * [backup-simplify]: Simplify 0 into 0 23.993 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 23.994 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (cbrt 3.0))) into 0 23.994 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (pow (cbrt 3.0) 2))) into 0 23.995 * [backup-simplify]: Simplify (+ (* (pow (cbrt 3.0) 3) y) (* 0 0)) into (* 3.0 y) 23.995 * [taylor]: Taking taylor expansion of (* 3.0 y) in y 23.995 * [taylor]: Taking taylor expansion of 3.0 in y 23.995 * [backup-simplify]: Simplify 3.0 into 3.0 23.995 * [taylor]: Taking taylor expansion of y in y 23.995 * [backup-simplify]: Simplify 0 into 0 23.995 * [backup-simplify]: Simplify 1 into 1 23.995 * [backup-simplify]: Simplify (* 3.0 0) into 0 23.995 * [backup-simplify]: Simplify 0 into 0 23.995 * [backup-simplify]: Simplify 0 into 0 23.996 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 24.000 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0 24.000 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (cbrt 3.0)))) into 0 24.001 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))) into 0 24.002 * [backup-simplify]: Simplify (+ (* (pow (cbrt 3.0) 3) 0) (+ (* 0 y) (* 0 0))) into 0 24.002 * [taylor]: Taking taylor expansion of 0 in y 24.002 * [backup-simplify]: Simplify 0 into 0 24.002 * [backup-simplify]: Simplify 0 into 0 24.003 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0 24.003 * [backup-simplify]: Simplify 3.0 into 3.0 24.004 * [backup-simplify]: Simplify 0 into 0 24.004 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 24.005 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0 24.006 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))) into 0 24.007 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))) into 0 24.009 * [backup-simplify]: Simplify (+ (* (pow (cbrt 3.0) 3) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 24.009 * [taylor]: Taking taylor expansion of 0 in y 24.009 * [backup-simplify]: Simplify 0 into 0 24.009 * [backup-simplify]: Simplify 0 into 0 24.009 * [backup-simplify]: Simplify 0 into 0 24.009 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0 24.009 * [backup-simplify]: Simplify 0 into 0 24.009 * [backup-simplify]: Simplify 0 into 0 24.011 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 24.012 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0 24.013 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))) into 0 24.014 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))))) into 0 24.016 * [backup-simplify]: Simplify (+ (* (pow (cbrt 3.0) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 24.016 * [taylor]: Taking taylor expansion of 0 in y 24.016 * [backup-simplify]: Simplify 0 into 0 24.016 * [backup-simplify]: Simplify 0 into 0 24.016 * [backup-simplify]: Simplify (* 3.0 (* y x)) into (* 3.0 (* x y)) 24.017 * [backup-simplify]: Simplify (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (/ 1 x) (/ 1 y)))) into (/ (pow (cbrt 3.0) 3) (* x y)) 24.017 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in (x y) around 0 24.017 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in y 24.017 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in y 24.017 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 24.017 * [taylor]: Taking taylor expansion of 3.0 in y 24.017 * [backup-simplify]: Simplify 3.0 into 3.0 24.018 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 24.018 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 24.018 * [taylor]: Taking taylor expansion of (* x y) in y 24.018 * [taylor]: Taking taylor expansion of x in y 24.018 * [backup-simplify]: Simplify x into x 24.018 * [taylor]: Taking taylor expansion of y in y 24.019 * [backup-simplify]: Simplify 0 into 0 24.019 * [backup-simplify]: Simplify 1 into 1 24.019 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2) 24.021 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 3) 24.021 * [backup-simplify]: Simplify (* x 0) into 0 24.021 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 24.022 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 3) x) into (/ 3.0 x) 24.022 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in x 24.022 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 24.022 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 24.022 * [taylor]: Taking taylor expansion of 3.0 in x 24.022 * [backup-simplify]: Simplify 3.0 into 3.0 24.023 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 24.023 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 24.023 * [taylor]: Taking taylor expansion of (* x y) in x 24.023 * [taylor]: Taking taylor expansion of x in x 24.023 * [backup-simplify]: Simplify 0 into 0 24.023 * [backup-simplify]: Simplify 1 into 1 24.023 * [taylor]: Taking taylor expansion of y in x 24.023 * [backup-simplify]: Simplify y into y 24.025 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2) 24.026 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 3) 24.026 * [backup-simplify]: Simplify (* 0 y) into 0 24.027 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 24.028 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 3) y) into (/ 3.0 y) 24.028 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in x 24.028 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 24.028 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 24.028 * [taylor]: Taking taylor expansion of 3.0 in x 24.028 * [backup-simplify]: Simplify 3.0 into 3.0 24.028 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 24.029 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 24.029 * [taylor]: Taking taylor expansion of (* x y) in x 24.029 * [taylor]: Taking taylor expansion of x in x 24.029 * [backup-simplify]: Simplify 0 into 0 24.029 * [backup-simplify]: Simplify 1 into 1 24.029 * [taylor]: Taking taylor expansion of y in x 24.029 * [backup-simplify]: Simplify y into y 24.030 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2) 24.031 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 3) 24.031 * [backup-simplify]: Simplify (* 0 y) into 0 24.032 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 24.033 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 3) y) into (/ 3.0 y) 24.033 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 24.033 * [taylor]: Taking taylor expansion of 3.0 in y 24.033 * [backup-simplify]: Simplify 3.0 into 3.0 24.033 * [taylor]: Taking taylor expansion of y in y 24.033 * [backup-simplify]: Simplify 0 into 0 24.033 * [backup-simplify]: Simplify 1 into 1 24.033 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0 24.033 * [backup-simplify]: Simplify 3.0 into 3.0 24.034 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (cbrt 3.0))) into 0 24.035 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (pow (cbrt 3.0) 2))) into 0 24.035 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 24.035 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)))) into 0 24.035 * [taylor]: Taking taylor expansion of 0 in y 24.035 * [backup-simplify]: Simplify 0 into 0 24.036 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0 24.036 * [backup-simplify]: Simplify 0 into 0 24.037 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0 24.038 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (cbrt 3.0)))) into 0 24.039 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))) into 0 24.040 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 24.040 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 24.040 * [taylor]: Taking taylor expansion of 0 in y 24.040 * [backup-simplify]: Simplify 0 into 0 24.040 * [backup-simplify]: Simplify 0 into 0 24.041 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 24.041 * [backup-simplify]: Simplify 0 into 0 24.042 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0 24.043 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))) into 0 24.044 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))) into 0 24.045 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 24.045 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 24.045 * [taylor]: Taking taylor expansion of 0 in y 24.045 * [backup-simplify]: Simplify 0 into 0 24.045 * [backup-simplify]: Simplify 0 into 0 24.046 * [backup-simplify]: Simplify 0 into 0 24.046 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 24.046 * [backup-simplify]: Simplify 0 into 0 24.046 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 3.0 (* x y)) 24.048 * [backup-simplify]: Simplify (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (/ 1 (- x)) (/ 1 (- y))))) into (/ (pow (cbrt 3.0) 3) (* x y)) 24.048 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in (x y) around 0 24.048 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in y 24.048 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in y 24.048 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 24.048 * [taylor]: Taking taylor expansion of 3.0 in y 24.048 * [backup-simplify]: Simplify 3.0 into 3.0 24.048 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 24.049 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 24.049 * [taylor]: Taking taylor expansion of (* x y) in y 24.049 * [taylor]: Taking taylor expansion of x in y 24.049 * [backup-simplify]: Simplify x into x 24.049 * [taylor]: Taking taylor expansion of y in y 24.049 * [backup-simplify]: Simplify 0 into 0 24.049 * [backup-simplify]: Simplify 1 into 1 24.050 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2) 24.052 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 3) 24.052 * [backup-simplify]: Simplify (* x 0) into 0 24.052 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 24.053 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 3) x) into (/ 3.0 x) 24.053 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in x 24.053 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 24.053 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 24.053 * [taylor]: Taking taylor expansion of 3.0 in x 24.053 * [backup-simplify]: Simplify 3.0 into 3.0 24.053 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 24.054 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 24.054 * [taylor]: Taking taylor expansion of (* x y) in x 24.054 * [taylor]: Taking taylor expansion of x in x 24.054 * [backup-simplify]: Simplify 0 into 0 24.054 * [backup-simplify]: Simplify 1 into 1 24.054 * [taylor]: Taking taylor expansion of y in x 24.054 * [backup-simplify]: Simplify y into y 24.055 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2) 24.057 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 3) 24.057 * [backup-simplify]: Simplify (* 0 y) into 0 24.057 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 24.058 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 3) y) into (/ 3.0 y) 24.058 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in x 24.058 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 24.058 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 24.058 * [taylor]: Taking taylor expansion of 3.0 in x 24.058 * [backup-simplify]: Simplify 3.0 into 3.0 24.058 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0) 24.059 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0 24.059 * [taylor]: Taking taylor expansion of (* x y) in x 24.059 * [taylor]: Taking taylor expansion of x in x 24.059 * [backup-simplify]: Simplify 0 into 0 24.059 * [backup-simplify]: Simplify 1 into 1 24.059 * [taylor]: Taking taylor expansion of y in x 24.059 * [backup-simplify]: Simplify y into y 24.060 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2) 24.062 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 3) 24.062 * [backup-simplify]: Simplify (* 0 y) into 0 24.062 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 24.063 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 3) y) into (/ 3.0 y) 24.063 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 24.063 * [taylor]: Taking taylor expansion of 3.0 in y 24.063 * [backup-simplify]: Simplify 3.0 into 3.0 24.063 * [taylor]: Taking taylor expansion of y in y 24.063 * [backup-simplify]: Simplify 0 into 0 24.063 * [backup-simplify]: Simplify 1 into 1 24.063 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0 24.064 * [backup-simplify]: Simplify 3.0 into 3.0 24.064 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (cbrt 3.0))) into 0 24.065 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (pow (cbrt 3.0) 2))) into 0 24.066 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 24.066 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)))) into 0 24.066 * [taylor]: Taking taylor expansion of 0 in y 24.066 * [backup-simplify]: Simplify 0 into 0 24.066 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0 24.066 * [backup-simplify]: Simplify 0 into 0 24.068 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0 24.068 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (cbrt 3.0)))) into 0 24.069 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))) into 0 24.070 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 24.070 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 24.070 * [taylor]: Taking taylor expansion of 0 in y 24.070 * [backup-simplify]: Simplify 0 into 0 24.071 * [backup-simplify]: Simplify 0 into 0 24.071 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 24.071 * [backup-simplify]: Simplify 0 into 0 24.072 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0 24.073 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))) into 0 24.075 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))) into 0 24.076 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 24.076 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 24.076 * [taylor]: Taking taylor expansion of 0 in y 24.076 * [backup-simplify]: Simplify 0 into 0 24.076 * [backup-simplify]: Simplify 0 into 0 24.076 * [backup-simplify]: Simplify 0 into 0 24.077 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 24.077 * [backup-simplify]: Simplify 0 into 0 24.077 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 3.0 (* x y)) 24.077 * * * [progress]: simplifying candidates 24.078 * [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)) 24.080 * * [simplify]: Extracting # 0 : cost 0 24.080 * * [simplify]: Extracting # 1 : cost 0 24.080 * * [simplify]: Extracting # 2 : cost 0 24.080 * * [simplify]: Extracting # 3 : cost 0 24.080 * * [simplify]: Extracting # 4 : cost 0 24.080 * * [simplify]: Extracting # 5 : cost 0 24.080 * * [simplify]: Extracting # 6 : cost 0 24.080 * * [simplify]: Extracting # 7 : cost 0 24.080 * * [simplify]: iteration 0 : 66 enodes (cost 672 ) 24.093 * * [simplify]: Extracting # 0 : cost 0 24.094 * * [simplify]: Extracting # 1 : cost 0 24.094 * * [simplify]: Extracting # 2 : cost 0 24.094 * * [simplify]: Extracting # 3 : cost 0 24.094 * * [simplify]: iteration 1 : 173 enodes (cost 654 ) 24.173 * * [simplify]: Extracting # 0 : cost 0 24.174 * * [simplify]: Extracting # 1 : cost 0 24.176 * * [simplify]: Extracting # 2 : cost 0 24.177 * * [simplify]: Extracting # 3 : cost 0 24.178 * * [simplify]: Extracting # 4 : cost 0 24.179 * * [simplify]: Extracting # 5 : cost 0 24.184 * * [simplify]: iteration 2 : 718 enodes (cost 438 ) 25.699 * * [simplify]: Extracting # 0 : cost 0 25.709 * * [simplify]: Extracting # 1 : cost 0 25.712 * * [simplify]: Extracting # 2 : cost 0 25.716 * * [simplify]: Extracting # 3 : cost 0 25.719 * * [simplify]: Extracting # 4 : cost 0 25.722 * * [simplify]: iteration 3 : 2927 enodes (cost 342 ) 27.582 * * [simplify]: Extracting # 0 : cost 0 27.591 * * [simplify]: Extracting # 1 : cost 0 27.595 * * [simplify]: Extracting # 2 : cost 0 27.599 * * [simplify]: Extracting # 3 : cost 0 27.604 * * [simplify]: Extracting # 4 : cost 0 27.615 * * [simplify]: Extracting # 5 : cost 0 27.621 * * [simplify]: Extracting # 6 : cost 0 27.626 * * [simplify]: Extracting # 7 : cost 0 27.631 * * [simplify]: iteration done: 5000 enodes (cost 342 ) 27.632 * [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.632 * * * [progress]: adding candidates to table 27.740 * [progress]: [Phase 3 of 3] Extracting. 27.740 * * [regime]: Finding splitpoints for: (# # # #) 27.741 * * * [regime-changes]: Trying 6 branch expressions: ((* x 3.0) (* (* x 3.0) y) (- (* (* x 3.0) y) z) z y x) 27.741 * * * * [regimes]: Trying to branch on (* x 3.0) from (# # # #) 27.768 * * * * [regimes]: Trying to branch on (* (* x 3.0) y) from (# # # #) 27.792 * * * * [regimes]: Trying to branch on (- (* (* x 3.0) y) z) from (# # # #) 27.820 * * * * [regimes]: Trying to branch on z from (# # # #) 27.844 * * * * [regimes]: Trying to branch on y from (# # # #) 27.871 * * * * [regimes]: Trying to branch on x from (# # # #) 27.891 * * * [regime]: Found split indices: #