18.341 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.021 * * * [progress]: [2/2] Setting up program. 0.023 * [progress]: [Phase 2 of 3] Improving. 0.024 * [simplify]: Simplifying: (* (* x 27.0) y) 0.024 * * [simplify]: Extracting # 0 : cost 0 0.024 * * [simplify]: Extracting # 1 : cost 0 0.024 * * [simplify]: Extracting # 2 : cost 0 0.024 * * [simplify]: Extracting # 3 : cost 0 0.024 * * [simplify]: Extracting # 4 : cost 0 0.024 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 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 1 : 9 enodes (cost 5 ) 0.026 * * [simplify]: Extracting # 0 : cost 0 0.026 * * [simplify]: Extracting # 1 : cost 0 0.026 * * [simplify]: Extracting # 2 : cost 0 0.026 * * [simplify]: iteration 2 : 16 enodes (cost 5 ) 0.028 * * [simplify]: Extracting # 0 : cost 0 0.028 * * [simplify]: iteration 3 : 18 enodes (cost 5 ) 0.031 * * [simplify]: Extracting # 0 : cost 0 0.031 * * [simplify]: iteration done: 18 enodes (cost 5 ) 0.031 * [simplify]: Simplified to: (* (* x 27.0) y) 0.031 * * [progress]: iteration 1 / 4 0.031 * * * [progress]: picking best candidate 0.033 * * * * [pick]: Picked # 0.033 * * * [progress]: localizing error 0.037 * * * [progress]: generating rewritten candidates 0.037 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.069 * * * [progress]: generating series expansions 0.069 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.069 * [backup-simplify]: Simplify (* (* x 27.0) y) into (* 27.0 (* x y)) 0.069 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0 0.069 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y 0.069 * [taylor]: Taking taylor expansion of 27.0 in y 0.069 * [backup-simplify]: Simplify 27.0 into 27.0 0.069 * [taylor]: Taking taylor expansion of (* x y) in y 0.069 * [taylor]: Taking taylor expansion of x in y 0.069 * [backup-simplify]: Simplify x into x 0.069 * [taylor]: Taking taylor expansion of y in y 0.069 * [backup-simplify]: Simplify 0 into 0 0.069 * [backup-simplify]: Simplify 1 into 1 0.069 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 0.069 * [taylor]: Taking taylor expansion of 27.0 in x 0.069 * [backup-simplify]: Simplify 27.0 into 27.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 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 0.069 * [taylor]: Taking taylor expansion of 27.0 in x 0.069 * [backup-simplify]: Simplify 27.0 into 27.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.070 * [backup-simplify]: Simplify (* 27.0 0) 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.070 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.071 * [backup-simplify]: Simplify (+ (* 27.0 y) (* 0 0)) into (* 27.0 y) 0.071 * [taylor]: Taking taylor expansion of (* 27.0 y) in y 0.071 * [taylor]: Taking taylor expansion of 27.0 in y 0.071 * [backup-simplify]: Simplify 27.0 into 27.0 0.071 * [taylor]: Taking taylor expansion of y in y 0.071 * [backup-simplify]: Simplify 0 into 0 0.071 * [backup-simplify]: Simplify 1 into 1 0.071 * [backup-simplify]: Simplify (* 27.0 0) into 0 0.071 * [backup-simplify]: Simplify 0 into 0 0.071 * [backup-simplify]: Simplify 0 into 0 0.072 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.072 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 y) (* 0 0))) 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 (+ (* 27.0 1) (* 0 0)) into 27.0 0.073 * [backup-simplify]: Simplify 27.0 into 27.0 0.073 * [backup-simplify]: Simplify 0 into 0 0.074 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 0.075 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 0.075 * [taylor]: Taking taylor expansion of 0 in y 0.075 * [backup-simplify]: Simplify 0 into 0 0.075 * [backup-simplify]: Simplify 0 into 0 0.075 * [backup-simplify]: Simplify 0 into 0 0.076 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 1) (* 0 0))) into 0 0.076 * [backup-simplify]: Simplify 0 into 0 0.076 * [backup-simplify]: Simplify 0 into 0 0.077 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.078 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 0.078 * [taylor]: Taking taylor expansion of 0 in y 0.078 * [backup-simplify]: Simplify 0 into 0 0.078 * [backup-simplify]: Simplify 0 into 0 0.078 * [backup-simplify]: Simplify (* 27.0 (* y x)) into (* 27.0 (* x y)) 0.078 * [backup-simplify]: Simplify (* (* (/ 1 x) 27.0) (/ 1 y)) into (/ 27.0 (* x y)) 0.078 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 0.078 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 0.078 * [taylor]: Taking taylor expansion of 27.0 in y 0.078 * [backup-simplify]: Simplify 27.0 into 27.0 0.078 * [taylor]: Taking taylor expansion of (* x y) in y 0.078 * [taylor]: Taking taylor expansion of x in y 0.078 * [backup-simplify]: Simplify x into x 0.078 * [taylor]: Taking taylor expansion of y in y 0.078 * [backup-simplify]: Simplify 0 into 0 0.078 * [backup-simplify]: Simplify 1 into 1 0.078 * [backup-simplify]: Simplify (* x 0) into 0 0.078 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 0.078 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 0.078 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 0.078 * [taylor]: Taking taylor expansion of 27.0 in x 0.078 * [backup-simplify]: Simplify 27.0 into 27.0 0.078 * [taylor]: Taking taylor expansion of (* x y) in x 0.078 * [taylor]: Taking taylor expansion of x in x 0.078 * [backup-simplify]: Simplify 0 into 0 0.078 * [backup-simplify]: Simplify 1 into 1 0.078 * [taylor]: Taking taylor expansion of y in x 0.078 * [backup-simplify]: Simplify y into y 0.078 * [backup-simplify]: Simplify (* 0 y) into 0 0.079 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.079 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 0.079 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 0.079 * [taylor]: Taking taylor expansion of 27.0 in x 0.079 * [backup-simplify]: Simplify 27.0 into 27.0 0.079 * [taylor]: Taking taylor expansion of (* x y) in x 0.079 * [taylor]: Taking taylor expansion of x in x 0.079 * [backup-simplify]: Simplify 0 into 0 0.079 * [backup-simplify]: Simplify 1 into 1 0.079 * [taylor]: Taking taylor expansion of y in x 0.079 * [backup-simplify]: Simplify y into y 0.079 * [backup-simplify]: Simplify (* 0 y) into 0 0.079 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.079 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 0.079 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 0.079 * [taylor]: Taking taylor expansion of 27.0 in y 0.079 * [backup-simplify]: Simplify 27.0 into 27.0 0.079 * [taylor]: Taking taylor expansion of y in y 0.079 * [backup-simplify]: Simplify 0 into 0 0.079 * [backup-simplify]: Simplify 1 into 1 0.080 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 0.080 * [backup-simplify]: Simplify 27.0 into 27.0 0.080 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.080 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 0.080 * [taylor]: Taking taylor expansion of 0 in y 0.080 * [backup-simplify]: Simplify 0 into 0 0.081 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 0.081 * [backup-simplify]: Simplify 0 into 0 0.082 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 0.082 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.082 * [taylor]: Taking taylor expansion of 0 in y 0.082 * [backup-simplify]: Simplify 0 into 0 0.082 * [backup-simplify]: Simplify 0 into 0 0.083 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.083 * [backup-simplify]: Simplify 0 into 0 0.084 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.084 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 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 into 0 0.084 * [backup-simplify]: Simplify 0 into 0 0.084 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.084 * [backup-simplify]: Simplify 0 into 0 0.084 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 27.0 (* x y)) 0.085 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) 27.0) (/ 1 (- y))) into (/ 27.0 (* x y)) 0.085 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 0.085 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 0.085 * [taylor]: Taking taylor expansion of 27.0 in y 0.085 * [backup-simplify]: Simplify 27.0 into 27.0 0.085 * [taylor]: Taking taylor expansion of (* x y) in y 0.085 * [taylor]: Taking taylor expansion of x in y 0.085 * [backup-simplify]: Simplify x into x 0.085 * [taylor]: Taking taylor expansion of y in y 0.085 * [backup-simplify]: Simplify 0 into 0 0.085 * [backup-simplify]: Simplify 1 into 1 0.085 * [backup-simplify]: Simplify (* x 0) into 0 0.085 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 0.085 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 0.085 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 0.085 * [taylor]: Taking taylor expansion of 27.0 in x 0.085 * [backup-simplify]: Simplify 27.0 into 27.0 0.085 * [taylor]: Taking taylor expansion of (* x y) in x 0.085 * [taylor]: Taking taylor expansion of x in x 0.085 * [backup-simplify]: Simplify 0 into 0 0.085 * [backup-simplify]: Simplify 1 into 1 0.085 * [taylor]: Taking taylor expansion of y in x 0.085 * [backup-simplify]: Simplify y into y 0.085 * [backup-simplify]: Simplify (* 0 y) into 0 0.086 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.086 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 0.086 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 0.086 * [taylor]: Taking taylor expansion of 27.0 in x 0.086 * [backup-simplify]: Simplify 27.0 into 27.0 0.086 * [taylor]: Taking taylor expansion of (* x y) in x 0.086 * [taylor]: Taking taylor expansion of x in x 0.086 * [backup-simplify]: Simplify 0 into 0 0.086 * [backup-simplify]: Simplify 1 into 1 0.086 * [taylor]: Taking taylor expansion of y in x 0.086 * [backup-simplify]: Simplify y into y 0.086 * [backup-simplify]: Simplify (* 0 y) into 0 0.086 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.086 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 0.086 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 0.086 * [taylor]: Taking taylor expansion of 27.0 in y 0.086 * [backup-simplify]: Simplify 27.0 into 27.0 0.086 * [taylor]: Taking taylor expansion of y in y 0.086 * [backup-simplify]: Simplify 0 into 0 0.086 * [backup-simplify]: Simplify 1 into 1 0.087 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 0.087 * [backup-simplify]: Simplify 27.0 into 27.0 0.087 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.087 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 0.087 * [taylor]: Taking taylor expansion of 0 in y 0.087 * [backup-simplify]: Simplify 0 into 0 0.088 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 0.088 * [backup-simplify]: Simplify 0 into 0 0.089 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 0.089 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.089 * [taylor]: Taking taylor expansion of 0 in y 0.089 * [backup-simplify]: Simplify 0 into 0 0.089 * [backup-simplify]: Simplify 0 into 0 0.089 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.089 * [backup-simplify]: Simplify 0 into 0 0.090 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.091 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.091 * [taylor]: Taking taylor expansion of 0 in y 0.091 * [backup-simplify]: Simplify 0 into 0 0.091 * [backup-simplify]: Simplify 0 into 0 0.091 * [backup-simplify]: Simplify 0 into 0 0.091 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.091 * [backup-simplify]: Simplify 0 into 0 0.091 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 27.0 (* x y)) 0.091 * * * [progress]: simplifying candidates 0.092 * [simplify]: Simplifying: (* (* x 27.0) y) (* (* x 27.0) y) (+ (+ (log x) (log 27.0)) (log y)) (+ (log (* x 27.0)) (log y)) (log (* (* x 27.0) y)) (exp (* (* x 27.0) y)) (* (* (* (* x x) x) (* (* 27.0 27.0) 27.0)) (* (* y y) y)) (* (* (* (* x 27.0) (* x 27.0)) (* x 27.0)) (* (* y y) y)) (* (cbrt (* (* x 27.0) y)) (cbrt (* (* x 27.0) y))) (cbrt (* (* x 27.0) y)) (* (* (* (* x 27.0) y) (* (* x 27.0) y)) (* (* x 27.0) y)) (sqrt (* (* x 27.0) y)) (sqrt (* (* x 27.0) y)) (* (* x 27.0) (* (cbrt y) (cbrt y))) (* (* x 27.0) (sqrt y)) (* (* x 27.0) 1) (* 27.0 y) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) 0.092 * * [simplify]: Extracting # 0 : cost 0 0.092 * * [simplify]: Extracting # 1 : cost 0 0.092 * * [simplify]: Extracting # 2 : cost 0 0.093 * * [simplify]: Extracting # 3 : cost 0 0.093 * * [simplify]: Extracting # 4 : cost 0 0.093 * * [simplify]: Extracting # 5 : cost 0 0.093 * * [simplify]: Extracting # 6 : cost 0 0.093 * * [simplify]: iteration 0 : 40 enodes (cost 157 ) 0.109 * * [simplify]: Extracting # 0 : cost 0 0.109 * * [simplify]: Extracting # 1 : cost 0 0.109 * * [simplify]: Extracting # 2 : cost 0 0.109 * * [simplify]: iteration 1 : 100 enodes (cost 152 ) 0.158 * * [simplify]: Extracting # 0 : cost 0 0.159 * * [simplify]: Extracting # 1 : cost 0 0.159 * * [simplify]: Extracting # 2 : cost 0 0.160 * * [simplify]: Extracting # 3 : cost 0 0.160 * * [simplify]: Extracting # 4 : cost 0 0.161 * * [simplify]: Extracting # 5 : cost 0 0.161 * * [simplify]: iteration 2 : 404 enodes (cost 122 ) 0.761 * * [simplify]: Extracting # 0 : cost 0 0.765 * * [simplify]: Extracting # 1 : cost 0 0.767 * * [simplify]: Extracting # 2 : cost 0 0.770 * * [simplify]: Extracting # 3 : cost 0 0.772 * * [simplify]: Extracting # 4 : cost 0 0.774 * * [simplify]: iteration 3 : 1399 enodes (cost 122 ) 4.587 * * [simplify]: Extracting # 0 : cost 0 4.603 * * [simplify]: Extracting # 1 : cost 0 4.606 * * [simplify]: Extracting # 2 : cost 0 4.609 * * [simplify]: Extracting # 3 : cost 0 4.612 * * [simplify]: Extracting # 4 : cost 0 4.615 * * [simplify]: Extracting # 5 : cost 0 4.618 * * [simplify]: iteration 4 : 3119 enodes (cost 122 ) 8.085 * * [simplify]: Extracting # 0 : cost 0 8.089 * * [simplify]: Extracting # 1 : cost 0 8.093 * * [simplify]: Extracting # 2 : cost 0 8.101 * * [simplify]: Extracting # 3 : cost 0 8.108 * * [simplify]: Extracting # 4 : cost 0 8.115 * * [simplify]: iteration done: 5000 enodes (cost 122 ) 8.115 * [simplify]: Simplified to: (* 27.0 (* x y)) (* 27.0 (* x y)) (log (* 27.0 (* x y))) (log (* 27.0 (* x y))) (log (* 27.0 (* x y))) (exp (* (* x 27.0) y)) (pow (* 27.0 (* x y)) 3) (pow (* 27.0 (* x y)) 3) (* (cbrt (* (* x 27.0) y)) (cbrt (* (* x 27.0) y))) (cbrt (* (* x 27.0) y)) (pow (* 27.0 (* x y)) 3) (sqrt (* (* x 27.0) y)) (sqrt (* (* x 27.0) y)) (* (* x 27.0) (* (cbrt y) (cbrt y))) (* (* x 27.0) (sqrt y)) (* x 27.0) (* y 27.0) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) 8.115 * * * [progress]: adding candidates to table 8.168 * * [progress]: iteration 2 / 4 8.168 * * * [progress]: picking best candidate 8.181 * * * * [pick]: Picked # 8.182 * * * [progress]: localizing error 8.190 * * * [progress]: generating rewritten candidates 8.190 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 8.229 * * * [progress]: generating series expansions 8.229 * * * * [progress]: [ 1 / 1 ] generating series at (2) 8.229 * [backup-simplify]: Simplify (* x (* y 27.0)) into (* 27.0 (* x y)) 8.229 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0 8.229 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y 8.229 * [taylor]: Taking taylor expansion of 27.0 in y 8.229 * [backup-simplify]: Simplify 27.0 into 27.0 8.229 * [taylor]: Taking taylor expansion of (* x y) in y 8.229 * [taylor]: Taking taylor expansion of x in y 8.229 * [backup-simplify]: Simplify x into x 8.229 * [taylor]: Taking taylor expansion of y in y 8.229 * [backup-simplify]: Simplify 0 into 0 8.229 * [backup-simplify]: Simplify 1 into 1 8.229 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 8.229 * [taylor]: Taking taylor expansion of 27.0 in x 8.229 * [backup-simplify]: Simplify 27.0 into 27.0 8.229 * [taylor]: Taking taylor expansion of (* x y) in x 8.229 * [taylor]: Taking taylor expansion of x in x 8.229 * [backup-simplify]: Simplify 0 into 0 8.229 * [backup-simplify]: Simplify 1 into 1 8.229 * [taylor]: Taking taylor expansion of y in x 8.229 * [backup-simplify]: Simplify y into y 8.229 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 8.229 * [taylor]: Taking taylor expansion of 27.0 in x 8.230 * [backup-simplify]: Simplify 27.0 into 27.0 8.230 * [taylor]: Taking taylor expansion of (* x y) in x 8.230 * [taylor]: Taking taylor expansion of x in x 8.230 * [backup-simplify]: Simplify 0 into 0 8.230 * [backup-simplify]: Simplify 1 into 1 8.230 * [taylor]: Taking taylor expansion of y in x 8.230 * [backup-simplify]: Simplify y into y 8.230 * [backup-simplify]: Simplify (* 0 y) into 0 8.231 * [backup-simplify]: Simplify (* 27.0 0) into 0 8.231 * [taylor]: Taking taylor expansion of 0 in y 8.231 * [backup-simplify]: Simplify 0 into 0 8.231 * [backup-simplify]: Simplify 0 into 0 8.231 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 8.232 * [backup-simplify]: Simplify (+ (* 27.0 y) (* 0 0)) into (* 27.0 y) 8.232 * [taylor]: Taking taylor expansion of (* 27.0 y) in y 8.232 * [taylor]: Taking taylor expansion of 27.0 in y 8.232 * [backup-simplify]: Simplify 27.0 into 27.0 8.232 * [taylor]: Taking taylor expansion of y in y 8.232 * [backup-simplify]: Simplify 0 into 0 8.232 * [backup-simplify]: Simplify 1 into 1 8.233 * [backup-simplify]: Simplify (* 27.0 0) into 0 8.233 * [backup-simplify]: Simplify 0 into 0 8.233 * [backup-simplify]: Simplify 0 into 0 8.234 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 8.235 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 y) (* 0 0))) into 0 8.235 * [taylor]: Taking taylor expansion of 0 in y 8.235 * [backup-simplify]: Simplify 0 into 0 8.235 * [backup-simplify]: Simplify 0 into 0 8.236 * [backup-simplify]: Simplify (+ (* 27.0 1) (* 0 0)) into 27.0 8.236 * [backup-simplify]: Simplify 27.0 into 27.0 8.236 * [backup-simplify]: Simplify 0 into 0 8.237 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 8.239 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 8.239 * [taylor]: Taking taylor expansion of 0 in y 8.239 * [backup-simplify]: Simplify 0 into 0 8.239 * [backup-simplify]: Simplify 0 into 0 8.239 * [backup-simplify]: Simplify 0 into 0 8.240 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 1) (* 0 0))) into 0 8.240 * [backup-simplify]: Simplify 0 into 0 8.240 * [backup-simplify]: Simplify 0 into 0 8.242 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 8.243 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 8.243 * [taylor]: Taking taylor expansion of 0 in y 8.243 * [backup-simplify]: Simplify 0 into 0 8.243 * [backup-simplify]: Simplify 0 into 0 8.243 * [backup-simplify]: Simplify (* 27.0 (* y x)) into (* 27.0 (* x y)) 8.244 * [backup-simplify]: Simplify (* (/ 1 x) (* (/ 1 y) 27.0)) into (/ 27.0 (* x y)) 8.244 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 8.244 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 8.244 * [taylor]: Taking taylor expansion of 27.0 in y 8.244 * [backup-simplify]: Simplify 27.0 into 27.0 8.244 * [taylor]: Taking taylor expansion of (* x y) in y 8.244 * [taylor]: Taking taylor expansion of x in y 8.244 * [backup-simplify]: Simplify x into x 8.244 * [taylor]: Taking taylor expansion of y in y 8.244 * [backup-simplify]: Simplify 0 into 0 8.244 * [backup-simplify]: Simplify 1 into 1 8.244 * [backup-simplify]: Simplify (* x 0) into 0 8.244 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 8.244 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 8.244 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 8.244 * [taylor]: Taking taylor expansion of 27.0 in x 8.244 * [backup-simplify]: Simplify 27.0 into 27.0 8.244 * [taylor]: Taking taylor expansion of (* x y) in x 8.245 * [taylor]: Taking taylor expansion of x in x 8.245 * [backup-simplify]: Simplify 0 into 0 8.245 * [backup-simplify]: Simplify 1 into 1 8.245 * [taylor]: Taking taylor expansion of y in x 8.245 * [backup-simplify]: Simplify y into y 8.245 * [backup-simplify]: Simplify (* 0 y) into 0 8.245 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 8.245 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 8.245 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 8.245 * [taylor]: Taking taylor expansion of 27.0 in x 8.245 * [backup-simplify]: Simplify 27.0 into 27.0 8.245 * [taylor]: Taking taylor expansion of (* x y) in x 8.245 * [taylor]: Taking taylor expansion of x in x 8.245 * [backup-simplify]: Simplify 0 into 0 8.245 * [backup-simplify]: Simplify 1 into 1 8.245 * [taylor]: Taking taylor expansion of y in x 8.245 * [backup-simplify]: Simplify y into y 8.245 * [backup-simplify]: Simplify (* 0 y) into 0 8.246 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 8.246 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 8.246 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 8.246 * [taylor]: Taking taylor expansion of 27.0 in y 8.246 * [backup-simplify]: Simplify 27.0 into 27.0 8.246 * [taylor]: Taking taylor expansion of y in y 8.246 * [backup-simplify]: Simplify 0 into 0 8.246 * [backup-simplify]: Simplify 1 into 1 8.247 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 8.247 * [backup-simplify]: Simplify 27.0 into 27.0 8.247 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 8.248 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 8.248 * [taylor]: Taking taylor expansion of 0 in y 8.248 * [backup-simplify]: Simplify 0 into 0 8.248 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 8.248 * [backup-simplify]: Simplify 0 into 0 8.250 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 8.250 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.250 * [taylor]: Taking taylor expansion of 0 in y 8.250 * [backup-simplify]: Simplify 0 into 0 8.250 * [backup-simplify]: Simplify 0 into 0 8.251 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.251 * [backup-simplify]: Simplify 0 into 0 8.253 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 8.253 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.253 * [taylor]: Taking taylor expansion of 0 in y 8.253 * [backup-simplify]: Simplify 0 into 0 8.253 * [backup-simplify]: Simplify 0 into 0 8.253 * [backup-simplify]: Simplify 0 into 0 8.254 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.254 * [backup-simplify]: Simplify 0 into 0 8.254 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 27.0 (* x y)) 8.254 * [backup-simplify]: Simplify (* (/ 1 (- x)) (* (/ 1 (- y)) 27.0)) into (/ 27.0 (* x y)) 8.254 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 8.254 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 8.255 * [taylor]: Taking taylor expansion of 27.0 in y 8.255 * [backup-simplify]: Simplify 27.0 into 27.0 8.255 * [taylor]: Taking taylor expansion of (* x y) in y 8.255 * [taylor]: Taking taylor expansion of x in y 8.255 * [backup-simplify]: Simplify x into x 8.255 * [taylor]: Taking taylor expansion of y in y 8.255 * [backup-simplify]: Simplify 0 into 0 8.255 * [backup-simplify]: Simplify 1 into 1 8.255 * [backup-simplify]: Simplify (* x 0) into 0 8.255 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 8.255 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 8.255 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 8.255 * [taylor]: Taking taylor expansion of 27.0 in x 8.255 * [backup-simplify]: Simplify 27.0 into 27.0 8.255 * [taylor]: Taking taylor expansion of (* x y) in x 8.255 * [taylor]: Taking taylor expansion of x in x 8.255 * [backup-simplify]: Simplify 0 into 0 8.255 * [backup-simplify]: Simplify 1 into 1 8.255 * [taylor]: Taking taylor expansion of y in x 8.255 * [backup-simplify]: Simplify y into y 8.256 * [backup-simplify]: Simplify (* 0 y) into 0 8.256 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 8.256 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 8.256 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 8.256 * [taylor]: Taking taylor expansion of 27.0 in x 8.256 * [backup-simplify]: Simplify 27.0 into 27.0 8.256 * [taylor]: Taking taylor expansion of (* x y) in x 8.256 * [taylor]: Taking taylor expansion of x in x 8.256 * [backup-simplify]: Simplify 0 into 0 8.256 * [backup-simplify]: Simplify 1 into 1 8.256 * [taylor]: Taking taylor expansion of y in x 8.256 * [backup-simplify]: Simplify y into y 8.256 * [backup-simplify]: Simplify (* 0 y) into 0 8.257 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 8.257 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 8.257 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 8.257 * [taylor]: Taking taylor expansion of 27.0 in y 8.257 * [backup-simplify]: Simplify 27.0 into 27.0 8.257 * [taylor]: Taking taylor expansion of y in y 8.257 * [backup-simplify]: Simplify 0 into 0 8.257 * [backup-simplify]: Simplify 1 into 1 8.257 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 8.257 * [backup-simplify]: Simplify 27.0 into 27.0 8.258 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 8.258 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 8.258 * [taylor]: Taking taylor expansion of 0 in y 8.258 * [backup-simplify]: Simplify 0 into 0 8.259 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 8.259 * [backup-simplify]: Simplify 0 into 0 8.260 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 8.261 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.261 * [taylor]: Taking taylor expansion of 0 in y 8.261 * [backup-simplify]: Simplify 0 into 0 8.261 * [backup-simplify]: Simplify 0 into 0 8.262 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.262 * [backup-simplify]: Simplify 0 into 0 8.263 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 8.264 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.264 * [taylor]: Taking taylor expansion of 0 in y 8.264 * [backup-simplify]: Simplify 0 into 0 8.264 * [backup-simplify]: Simplify 0 into 0 8.264 * [backup-simplify]: Simplify 0 into 0 8.265 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.265 * [backup-simplify]: Simplify 0 into 0 8.265 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 27.0 (* x y)) 8.265 * * * [progress]: simplifying candidates 8.266 * [simplify]: Simplifying: (* x (* y 27.0)) (* x (* y 27.0)) (+ (log x) (+ (log y) (log 27.0))) (+ (log x) (log (* y 27.0))) (log (* x (* y 27.0))) (exp (* x (* y 27.0))) (* (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0))) (* (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* y 27.0))) (* (cbrt (* x (* y 27.0))) (cbrt (* x (* y 27.0)))) (cbrt (* x (* y 27.0))) (* (* (* x (* y 27.0)) (* x (* y 27.0))) (* x (* y 27.0))) (sqrt (* x (* y 27.0))) (sqrt (* x (* y 27.0))) (* x y) (* (cbrt x) (* y 27.0)) (* (sqrt x) (* y 27.0)) (* x (* y 27.0)) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) 8.266 * * [simplify]: Extracting # 0 : cost 0 8.266 * * [simplify]: Extracting # 1 : cost 0 8.267 * * [simplify]: Extracting # 2 : cost 0 8.267 * * [simplify]: Extracting # 3 : cost 0 8.267 * * [simplify]: Extracting # 4 : cost 0 8.267 * * [simplify]: Extracting # 5 : cost 0 8.267 * * [simplify]: Extracting # 6 : cost 0 8.267 * * [simplify]: iteration 0 : 36 enodes (cost 154 ) 8.284 * * [simplify]: Extracting # 0 : cost 0 8.284 * * [simplify]: Extracting # 1 : cost 0 8.284 * * [simplify]: Extracting # 2 : cost 0 8.284 * * [simplify]: iteration 1 : 88 enodes (cost 151 ) 8.352 * * [simplify]: Extracting # 0 : cost 0 8.352 * * [simplify]: Extracting # 1 : cost 0 8.353 * * [simplify]: Extracting # 2 : cost 0 8.354 * * [simplify]: Extracting # 3 : cost 0 8.354 * * [simplify]: Extracting # 4 : cost 0 8.355 * * [simplify]: Extracting # 5 : cost 0 8.355 * * [simplify]: iteration 2 : 328 enodes (cost 127 ) 8.733 * * [simplify]: Extracting # 0 : cost 0 9.150 * * [simplify]: Extracting # 1 : cost 0 9.152 * * [simplify]: Extracting # 2 : cost 0 9.154 * * [simplify]: Extracting # 3 : cost 0 9.156 * * [simplify]: Extracting # 4 : cost 0 9.157 * * [simplify]: iteration 3 : 1092 enodes (cost 121 ) 11.275 * * [simplify]: Extracting # 0 : cost 0 11.279 * * [simplify]: Extracting # 1 : cost 0 11.280 * * [simplify]: Extracting # 2 : cost 0 11.281 * * [simplify]: Extracting # 3 : cost 0 11.283 * * [simplify]: Extracting # 4 : cost 0 11.284 * * [simplify]: iteration 4 : 1989 enodes (cost 121 ) 16.843 * * [simplify]: Extracting # 0 : cost 0 16.847 * * [simplify]: Extracting # 1 : cost 0 16.850 * * [simplify]: Extracting # 2 : cost 0 16.854 * * [simplify]: Extracting # 3 : cost 0 16.858 * * [simplify]: Extracting # 4 : cost 0 16.861 * * [simplify]: iteration 5 : 4238 enodes (cost 121 ) 18.429 * * [simplify]: Extracting # 0 : cost 0 18.434 * * [simplify]: Extracting # 1 : cost 0 18.445 * * [simplify]: Extracting # 2 : cost 0 18.449 * * [simplify]: iteration done: 5001 enodes (cost 121 ) 18.449 * [simplify]: Simplified to: (* x (* y 27.0)) (* x (* y 27.0)) (log (* x (* y 27.0))) (log (* x (* y 27.0))) (log (* x (* y 27.0))) (exp (* x (* y 27.0))) (pow (* x (* y 27.0)) 3) (pow (* x (* y 27.0)) 3) (* (cbrt (* x (* y 27.0))) (cbrt (* x (* y 27.0)))) (cbrt (* x (* y 27.0))) (pow (* x (* y 27.0)) 3) (sqrt (* x (* y 27.0))) (sqrt (* x (* y 27.0))) (* x y) (* (cbrt x) (* y 27.0)) (* (sqrt x) (* y 27.0)) (* x (* y 27.0)) (* x (* y 27.0)) (* x (* y 27.0)) (* x (* y 27.0)) 18.449 * * * [progress]: adding candidates to table 18.473 * * [progress]: iteration 3 / 4 18.473 * * * [progress]: picking best candidate 18.479 * * * * [pick]: Picked # 18.479 * * * [progress]: localizing error 18.483 * * * [progress]: generating rewritten candidates 18.483 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 18.507 * * * [progress]: generating series expansions 18.507 * * * * [progress]: [ 1 / 1 ] generating series at (2) 18.507 * [backup-simplify]: Simplify (* (* x y) 27.0) into (* 27.0 (* x y)) 18.507 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0 18.507 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y 18.507 * [taylor]: Taking taylor expansion of 27.0 in y 18.507 * [backup-simplify]: Simplify 27.0 into 27.0 18.507 * [taylor]: Taking taylor expansion of (* x y) in y 18.507 * [taylor]: Taking taylor expansion of x in y 18.507 * [backup-simplify]: Simplify x into x 18.507 * [taylor]: Taking taylor expansion of y in y 18.507 * [backup-simplify]: Simplify 0 into 0 18.507 * [backup-simplify]: Simplify 1 into 1 18.507 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 18.507 * [taylor]: Taking taylor expansion of 27.0 in x 18.507 * [backup-simplify]: Simplify 27.0 into 27.0 18.507 * [taylor]: Taking taylor expansion of (* x y) in x 18.507 * [taylor]: Taking taylor expansion of x in x 18.507 * [backup-simplify]: Simplify 0 into 0 18.508 * [backup-simplify]: Simplify 1 into 1 18.508 * [taylor]: Taking taylor expansion of y in x 18.508 * [backup-simplify]: Simplify y into y 18.508 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 18.508 * [taylor]: Taking taylor expansion of 27.0 in x 18.508 * [backup-simplify]: Simplify 27.0 into 27.0 18.508 * [taylor]: Taking taylor expansion of (* x y) in x 18.508 * [taylor]: Taking taylor expansion of x in x 18.508 * [backup-simplify]: Simplify 0 into 0 18.508 * [backup-simplify]: Simplify 1 into 1 18.508 * [taylor]: Taking taylor expansion of y in x 18.508 * [backup-simplify]: Simplify y into y 18.508 * [backup-simplify]: Simplify (* 0 y) into 0 18.509 * [backup-simplify]: Simplify (* 27.0 0) into 0 18.509 * [taylor]: Taking taylor expansion of 0 in y 18.509 * [backup-simplify]: Simplify 0 into 0 18.509 * [backup-simplify]: Simplify 0 into 0 18.510 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 18.510 * [backup-simplify]: Simplify (+ (* 27.0 y) (* 0 0)) into (* 27.0 y) 18.510 * [taylor]: Taking taylor expansion of (* 27.0 y) in y 18.510 * [taylor]: Taking taylor expansion of 27.0 in y 18.510 * [backup-simplify]: Simplify 27.0 into 27.0 18.510 * [taylor]: Taking taylor expansion of y in y 18.510 * [backup-simplify]: Simplify 0 into 0 18.510 * [backup-simplify]: Simplify 1 into 1 18.511 * [backup-simplify]: Simplify (* 27.0 0) into 0 18.511 * [backup-simplify]: Simplify 0 into 0 18.511 * [backup-simplify]: Simplify 0 into 0 18.512 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 18.512 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 y) (* 0 0))) into 0 18.513 * [taylor]: Taking taylor expansion of 0 in y 18.513 * [backup-simplify]: Simplify 0 into 0 18.513 * [backup-simplify]: Simplify 0 into 0 18.514 * [backup-simplify]: Simplify (+ (* 27.0 1) (* 0 0)) into 27.0 18.514 * [backup-simplify]: Simplify 27.0 into 27.0 18.514 * [backup-simplify]: Simplify 0 into 0 18.515 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 18.517 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 18.517 * [taylor]: Taking taylor expansion of 0 in y 18.517 * [backup-simplify]: Simplify 0 into 0 18.517 * [backup-simplify]: Simplify 0 into 0 18.517 * [backup-simplify]: Simplify 0 into 0 18.518 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 1) (* 0 0))) into 0 18.518 * [backup-simplify]: Simplify 0 into 0 18.518 * [backup-simplify]: Simplify 0 into 0 18.519 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 18.521 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 18.521 * [taylor]: Taking taylor expansion of 0 in y 18.521 * [backup-simplify]: Simplify 0 into 0 18.521 * [backup-simplify]: Simplify 0 into 0 18.521 * [backup-simplify]: Simplify (* 27.0 (* y x)) into (* 27.0 (* x y)) 18.521 * [backup-simplify]: Simplify (* (* (/ 1 x) (/ 1 y)) 27.0) into (/ 27.0 (* x y)) 18.521 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 18.522 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 18.522 * [taylor]: Taking taylor expansion of 27.0 in y 18.522 * [backup-simplify]: Simplify 27.0 into 27.0 18.522 * [taylor]: Taking taylor expansion of (* x y) in y 18.522 * [taylor]: Taking taylor expansion of x in y 18.522 * [backup-simplify]: Simplify x into x 18.522 * [taylor]: Taking taylor expansion of y in y 18.522 * [backup-simplify]: Simplify 0 into 0 18.522 * [backup-simplify]: Simplify 1 into 1 18.522 * [backup-simplify]: Simplify (* x 0) into 0 18.522 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 18.522 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 18.522 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 18.522 * [taylor]: Taking taylor expansion of 27.0 in x 18.522 * [backup-simplify]: Simplify 27.0 into 27.0 18.522 * [taylor]: Taking taylor expansion of (* x y) in x 18.523 * [taylor]: Taking taylor expansion of x in x 18.523 * [backup-simplify]: Simplify 0 into 0 18.523 * [backup-simplify]: Simplify 1 into 1 18.523 * [taylor]: Taking taylor expansion of y in x 18.523 * [backup-simplify]: Simplify y into y 18.523 * [backup-simplify]: Simplify (* 0 y) into 0 18.523 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 18.523 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 18.523 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 18.523 * [taylor]: Taking taylor expansion of 27.0 in x 18.523 * [backup-simplify]: Simplify 27.0 into 27.0 18.523 * [taylor]: Taking taylor expansion of (* x y) in x 18.523 * [taylor]: Taking taylor expansion of x in x 18.523 * [backup-simplify]: Simplify 0 into 0 18.523 * [backup-simplify]: Simplify 1 into 1 18.523 * [taylor]: Taking taylor expansion of y in x 18.523 * [backup-simplify]: Simplify y into y 18.524 * [backup-simplify]: Simplify (* 0 y) into 0 18.524 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 18.524 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 18.524 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 18.524 * [taylor]: Taking taylor expansion of 27.0 in y 18.524 * [backup-simplify]: Simplify 27.0 into 27.0 18.524 * [taylor]: Taking taylor expansion of y in y 18.524 * [backup-simplify]: Simplify 0 into 0 18.524 * [backup-simplify]: Simplify 1 into 1 18.525 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 18.525 * [backup-simplify]: Simplify 27.0 into 27.0 18.526 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 18.526 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 18.526 * [taylor]: Taking taylor expansion of 0 in y 18.526 * [backup-simplify]: Simplify 0 into 0 18.527 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 18.527 * [backup-simplify]: Simplify 0 into 0 18.528 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 18.529 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 18.529 * [taylor]: Taking taylor expansion of 0 in y 18.529 * [backup-simplify]: Simplify 0 into 0 18.529 * [backup-simplify]: Simplify 0 into 0 18.530 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.530 * [backup-simplify]: Simplify 0 into 0 18.532 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 18.532 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 18.532 * [taylor]: Taking taylor expansion of 0 in y 18.532 * [backup-simplify]: Simplify 0 into 0 18.532 * [backup-simplify]: Simplify 0 into 0 18.532 * [backup-simplify]: Simplify 0 into 0 18.533 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.533 * [backup-simplify]: Simplify 0 into 0 18.534 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 27.0 (* x y)) 18.534 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) (/ 1 (- y))) 27.0) into (/ 27.0 (* x y)) 18.534 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 18.534 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 18.534 * [taylor]: Taking taylor expansion of 27.0 in y 18.534 * [backup-simplify]: Simplify 27.0 into 27.0 18.534 * [taylor]: Taking taylor expansion of (* x y) in y 18.534 * [taylor]: Taking taylor expansion of x in y 18.534 * [backup-simplify]: Simplify x into x 18.534 * [taylor]: Taking taylor expansion of y in y 18.534 * [backup-simplify]: Simplify 0 into 0 18.534 * [backup-simplify]: Simplify 1 into 1 18.534 * [backup-simplify]: Simplify (* x 0) into 0 18.535 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 18.535 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 18.535 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 18.535 * [taylor]: Taking taylor expansion of 27.0 in x 18.535 * [backup-simplify]: Simplify 27.0 into 27.0 18.535 * [taylor]: Taking taylor expansion of (* x y) in x 18.535 * [taylor]: Taking taylor expansion of x in x 18.535 * [backup-simplify]: Simplify 0 into 0 18.535 * [backup-simplify]: Simplify 1 into 1 18.535 * [taylor]: Taking taylor expansion of y in x 18.535 * [backup-simplify]: Simplify y into y 18.535 * [backup-simplify]: Simplify (* 0 y) into 0 18.536 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 18.536 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 18.536 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 18.536 * [taylor]: Taking taylor expansion of 27.0 in x 18.536 * [backup-simplify]: Simplify 27.0 into 27.0 18.536 * [taylor]: Taking taylor expansion of (* x y) in x 18.536 * [taylor]: Taking taylor expansion of x in x 18.536 * [backup-simplify]: Simplify 0 into 0 18.536 * [backup-simplify]: Simplify 1 into 1 18.536 * [taylor]: Taking taylor expansion of y in x 18.536 * [backup-simplify]: Simplify y into y 18.536 * [backup-simplify]: Simplify (* 0 y) into 0 18.536 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 18.536 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 18.537 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 18.537 * [taylor]: Taking taylor expansion of 27.0 in y 18.537 * [backup-simplify]: Simplify 27.0 into 27.0 18.537 * [taylor]: Taking taylor expansion of y in y 18.537 * [backup-simplify]: Simplify 0 into 0 18.537 * [backup-simplify]: Simplify 1 into 1 18.537 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 18.537 * [backup-simplify]: Simplify 27.0 into 27.0 18.538 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 18.538 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 18.538 * [taylor]: Taking taylor expansion of 0 in y 18.538 * [backup-simplify]: Simplify 0 into 0 18.539 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 18.539 * [backup-simplify]: Simplify 0 into 0 18.540 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 18.541 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 18.541 * [taylor]: Taking taylor expansion of 0 in y 18.541 * [backup-simplify]: Simplify 0 into 0 18.541 * [backup-simplify]: Simplify 0 into 0 18.542 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.542 * [backup-simplify]: Simplify 0 into 0 18.543 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 18.544 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 18.544 * [taylor]: Taking taylor expansion of 0 in y 18.544 * [backup-simplify]: Simplify 0 into 0 18.544 * [backup-simplify]: Simplify 0 into 0 18.544 * [backup-simplify]: Simplify 0 into 0 18.545 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.545 * [backup-simplify]: Simplify 0 into 0 18.545 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 27.0 (* x y)) 18.545 * * * [progress]: simplifying candidates 18.546 * [simplify]: Simplifying: (* (* x y) 27.0) (* (* x y) 27.0) (+ (+ (log x) (log y)) (log 27.0)) (+ (log (* x y)) (log 27.0)) (log (* (* x y) 27.0)) (exp (* (* x y) 27.0)) (* (* (* (* x x) x) (* (* y y) y)) (* (* 27.0 27.0) 27.0)) (* (* (* (* x y) (* x y)) (* x y)) (* (* 27.0 27.0) 27.0)) (* (cbrt (* (* x y) 27.0)) (cbrt (* (* x y) 27.0))) (cbrt (* (* x y) 27.0)) (* (* (* (* x y) 27.0) (* (* x y) 27.0)) (* (* x y) 27.0)) (sqrt (* (* x y) 27.0)) (sqrt (* (* x y) 27.0)) (* (* x y) (* (cbrt 27.0) (cbrt 27.0))) (* (* x y) (sqrt 27.0)) (* (* x y) 1) (* y 27.0) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) 18.547 * * [simplify]: Extracting # 0 : cost 0 18.547 * * [simplify]: Extracting # 1 : cost 0 18.547 * * [simplify]: Extracting # 2 : cost 0 18.547 * * [simplify]: Extracting # 3 : cost 0 18.547 * * [simplify]: Extracting # 4 : cost 0 18.547 * * [simplify]: Extracting # 5 : cost 0 18.547 * * [simplify]: Extracting # 6 : cost 0 18.548 * * [simplify]: iteration 0 : 39 enodes (cost 157 ) 18.562 * * [simplify]: Extracting # 0 : cost 0 18.562 * * [simplify]: Extracting # 1 : cost 0 18.562 * * [simplify]: Extracting # 2 : cost 0 18.562 * * [simplify]: iteration 1 : 97 enodes (cost 152 ) 18.617 * * [simplify]: Extracting # 0 : cost 0 18.618 * * [simplify]: Extracting # 1 : cost 0 18.619 * * [simplify]: Extracting # 2 : cost 0 18.619 * * [simplify]: Extracting # 3 : cost 0 18.620 * * [simplify]: Extracting # 4 : cost 0 18.621 * * [simplify]: iteration 2 : 390 enodes (cost 122 ) 19.222 * * [simplify]: Extracting # 0 : cost 0 19.224 * * [simplify]: Extracting # 1 : cost 0 19.225 * * [simplify]: Extracting # 2 : cost 0 19.227 * * [simplify]: Extracting # 3 : cost 0 19.228 * * [simplify]: Extracting # 4 : cost 0 19.229 * * [simplify]: iteration 3 : 1315 enodes (cost 122 ) 22.428 * * [simplify]: Extracting # 0 : cost 0 22.432 * * [simplify]: Extracting # 1 : cost 0 22.433 * * [simplify]: Extracting # 2 : cost 0 22.435 * * [simplify]: Extracting # 3 : cost 0 22.436 * * [simplify]: Extracting # 4 : cost 0 22.437 * * [simplify]: iteration 4 : 2533 enodes (cost 122 ) 29.323 * * [simplify]: Extracting # 0 : cost 0 29.327 * * [simplify]: Extracting # 1 : cost 0 29.331 * * [simplify]: Extracting # 2 : cost 0 29.335 * * [simplify]: Extracting # 3 : cost 0 29.346 * * [simplify]: Extracting # 4 : cost 0 29.352 * * [simplify]: iteration done: 5001 enodes (cost 122 ) 29.353 * [simplify]: Simplified to: (* 27.0 (* x y)) (* 27.0 (* x y)) (log (* 27.0 (* x y))) (log (* 27.0 (* x y))) (log (* 27.0 (* x y))) (exp (* (* x y) 27.0)) (pow (* 27.0 (* x y)) 3) (pow (* 27.0 (* x y)) 3) (* (cbrt (* (* x y) 27.0)) (cbrt (* (* x y) 27.0))) (cbrt (* (* x y) 27.0)) (pow (* 27.0 (* x y)) 3) (sqrt (* (* x y) 27.0)) (sqrt (* (* x y) 27.0)) (* (* x y) (* (cbrt 27.0) (cbrt 27.0))) (* (* x y) (sqrt 27.0)) (* x y) (* 27.0 y) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) 29.353 * * * [progress]: adding candidates to table 29.378 * * [progress]: iteration 4 / 4 29.378 * * * [progress]: picking best candidate 29.382 * * * * [pick]: Picked # 29.382 * * * [progress]: localizing error 29.395 * * * [progress]: generating rewritten candidates 29.395 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 29.492 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 29.520 * * * [progress]: generating series expansions 29.520 * * * * [progress]: [ 1 / 2 ] generating series at (2) 29.521 * [backup-simplify]: Simplify (* (* (* x y) (sqrt 27.0)) (sqrt 27.0)) into (* (pow (sqrt 27.0) 2) (* x y)) 29.521 * [approximate]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0 29.521 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* x y)) in y 29.521 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 29.522 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 29.522 * [taylor]: Taking taylor expansion of 27.0 in y 29.522 * [backup-simplify]: Simplify 27.0 into 27.0 29.522 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 29.523 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 29.523 * [taylor]: Taking taylor expansion of (* x y) in y 29.523 * [taylor]: Taking taylor expansion of x in y 29.523 * [backup-simplify]: Simplify x into x 29.523 * [taylor]: Taking taylor expansion of y in y 29.523 * [backup-simplify]: Simplify 0 into 0 29.523 * [backup-simplify]: Simplify 1 into 1 29.523 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* x y)) in x 29.523 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 29.523 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 29.523 * [taylor]: Taking taylor expansion of 27.0 in x 29.523 * [backup-simplify]: Simplify 27.0 into 27.0 29.524 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 29.524 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 29.524 * [taylor]: Taking taylor expansion of (* x y) in x 29.524 * [taylor]: Taking taylor expansion of x in x 29.524 * [backup-simplify]: Simplify 0 into 0 29.524 * [backup-simplify]: Simplify 1 into 1 29.524 * [taylor]: Taking taylor expansion of y in x 29.524 * [backup-simplify]: Simplify y into y 29.525 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* x y)) in x 29.525 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 29.525 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 29.525 * [taylor]: Taking taylor expansion of 27.0 in x 29.525 * [backup-simplify]: Simplify 27.0 into 27.0 29.525 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 29.526 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 29.526 * [taylor]: Taking taylor expansion of (* x y) in x 29.526 * [taylor]: Taking taylor expansion of x in x 29.526 * [backup-simplify]: Simplify 0 into 0 29.526 * [backup-simplify]: Simplify 1 into 1 29.526 * [taylor]: Taking taylor expansion of y in x 29.526 * [backup-simplify]: Simplify y into y 29.527 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 29.527 * [backup-simplify]: Simplify (* 0 y) into 0 29.528 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) 0) into 0 29.528 * [taylor]: Taking taylor expansion of 0 in y 29.528 * [backup-simplify]: Simplify 0 into 0 29.529 * [backup-simplify]: Simplify 0 into 0 29.529 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 29.530 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 29.531 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) y) (* 0 0)) into (* (pow (sqrt 27.0) 2) y) 29.531 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) y) in y 29.531 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 29.531 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 29.532 * [taylor]: Taking taylor expansion of 27.0 in y 29.532 * [backup-simplify]: Simplify 27.0 into 27.0 29.532 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 29.533 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 29.533 * [taylor]: Taking taylor expansion of y in y 29.533 * [backup-simplify]: Simplify 0 into 0 29.533 * [backup-simplify]: Simplify 1 into 1 29.534 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 29.535 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) 0) into 0 29.535 * [backup-simplify]: Simplify 0 into 0 29.535 * [backup-simplify]: Simplify 0 into 0 29.536 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 29.537 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 29.538 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 29.540 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 0) (+ (* 0 y) (* 0 0))) into 0 29.540 * [taylor]: Taking taylor expansion of 0 in y 29.540 * [backup-simplify]: Simplify 0 into 0 29.540 * [backup-simplify]: Simplify 0 into 0 29.541 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 29.544 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 1) (* 0 0)) into (pow (sqrt 27.0) 2) 29.545 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2) 29.545 * [backup-simplify]: Simplify 0 into 0 29.546 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 29.548 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 29.549 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 29.550 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 29.550 * [taylor]: Taking taylor expansion of 0 in y 29.550 * [backup-simplify]: Simplify 0 into 0 29.550 * [backup-simplify]: Simplify 0 into 0 29.550 * [backup-simplify]: Simplify 0 into 0 29.552 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 29.553 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 29.554 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 0) (+ (* 0 1) (* 0 0))) into 0 29.554 * [backup-simplify]: Simplify 0 into 0 29.554 * [backup-simplify]: Simplify 0 into 0 29.556 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 29.556 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 29.557 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0)))))) into 0 29.558 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 29.558 * [taylor]: Taking taylor expansion of 0 in y 29.558 * [backup-simplify]: Simplify 0 into 0 29.558 * [backup-simplify]: Simplify 0 into 0 29.559 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* y x)) into (* (pow (sqrt 27.0) 2) (* x y)) 29.560 * [backup-simplify]: Simplify (* (* (* (/ 1 x) (/ 1 y)) (sqrt 27.0)) (sqrt 27.0)) into (/ (pow (sqrt 27.0) 2) (* x y)) 29.560 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0 29.560 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in y 29.560 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 29.560 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 29.560 * [taylor]: Taking taylor expansion of 27.0 in y 29.560 * [backup-simplify]: Simplify 27.0 into 27.0 29.560 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 29.560 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 29.560 * [taylor]: Taking taylor expansion of (* x y) in y 29.561 * [taylor]: Taking taylor expansion of x in y 29.561 * [backup-simplify]: Simplify x into x 29.561 * [taylor]: Taking taylor expansion of y in y 29.561 * [backup-simplify]: Simplify 0 into 0 29.561 * [backup-simplify]: Simplify 1 into 1 29.561 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 29.561 * [backup-simplify]: Simplify (* x 0) into 0 29.562 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 29.562 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) x) into (/ (pow (sqrt 27.0) 2) x) 29.562 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 29.562 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 29.562 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 29.562 * [taylor]: Taking taylor expansion of 27.0 in x 29.562 * [backup-simplify]: Simplify 27.0 into 27.0 29.563 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 29.563 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 29.563 * [taylor]: Taking taylor expansion of (* x y) in x 29.563 * [taylor]: Taking taylor expansion of x in x 29.563 * [backup-simplify]: Simplify 0 into 0 29.563 * [backup-simplify]: Simplify 1 into 1 29.563 * [taylor]: Taking taylor expansion of y in x 29.563 * [backup-simplify]: Simplify y into y 29.564 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 29.564 * [backup-simplify]: Simplify (* 0 y) into 0 29.564 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 29.565 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 29.565 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 29.565 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 29.565 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 29.565 * [taylor]: Taking taylor expansion of 27.0 in x 29.565 * [backup-simplify]: Simplify 27.0 into 27.0 29.565 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 29.566 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 29.566 * [taylor]: Taking taylor expansion of (* x y) in x 29.566 * [taylor]: Taking taylor expansion of x in x 29.566 * [backup-simplify]: Simplify 0 into 0 29.566 * [backup-simplify]: Simplify 1 into 1 29.566 * [taylor]: Taking taylor expansion of y in x 29.566 * [backup-simplify]: Simplify y into y 29.567 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 29.567 * [backup-simplify]: Simplify (* 0 y) into 0 29.567 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 29.567 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 29.568 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) y) in y 29.568 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 29.568 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 29.568 * [taylor]: Taking taylor expansion of 27.0 in y 29.568 * [backup-simplify]: Simplify 27.0 into 27.0 29.568 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 29.568 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 29.568 * [taylor]: Taking taylor expansion of y in y 29.568 * [backup-simplify]: Simplify 0 into 0 29.568 * [backup-simplify]: Simplify 1 into 1 29.569 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 29.570 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) 1) into (pow (sqrt 27.0) 2) 29.571 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2) 29.571 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 29.572 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 29.572 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)))) into 0 29.572 * [taylor]: Taking taylor expansion of 0 in y 29.572 * [backup-simplify]: Simplify 0 into 0 29.573 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 29.574 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)))) into 0 29.574 * [backup-simplify]: Simplify 0 into 0 29.574 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 29.575 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 29.576 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 29.576 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 29.576 * [taylor]: Taking taylor expansion of 0 in y 29.576 * [backup-simplify]: Simplify 0 into 0 29.577 * [backup-simplify]: Simplify 0 into 0 29.577 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 29.578 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 29.579 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 29.579 * [backup-simplify]: Simplify 0 into 0 29.579 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 29.580 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 29.581 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 29.582 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 29.582 * [taylor]: Taking taylor expansion of 0 in y 29.582 * [backup-simplify]: Simplify 0 into 0 29.582 * [backup-simplify]: Simplify 0 into 0 29.582 * [backup-simplify]: Simplify 0 into 0 29.583 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 29.583 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 29.585 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 29.585 * [backup-simplify]: Simplify 0 into 0 29.586 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* (pow (sqrt 27.0) 2) (* x y)) 29.587 * [backup-simplify]: Simplify (* (* (* (/ 1 (- x)) (/ 1 (- y))) (sqrt 27.0)) (sqrt 27.0)) into (/ (pow (sqrt 27.0) 2) (* x y)) 29.587 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0 29.587 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in y 29.587 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 29.587 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 29.587 * [taylor]: Taking taylor expansion of 27.0 in y 29.587 * [backup-simplify]: Simplify 27.0 into 27.0 29.588 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 29.589 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 29.589 * [taylor]: Taking taylor expansion of (* x y) in y 29.589 * [taylor]: Taking taylor expansion of x in y 29.589 * [backup-simplify]: Simplify x into x 29.589 * [taylor]: Taking taylor expansion of y in y 29.589 * [backup-simplify]: Simplify 0 into 0 29.589 * [backup-simplify]: Simplify 1 into 1 29.590 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 29.590 * [backup-simplify]: Simplify (* x 0) into 0 29.591 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 29.592 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) x) into (/ (pow (sqrt 27.0) 2) x) 29.592 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 29.592 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 29.592 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 29.592 * [taylor]: Taking taylor expansion of 27.0 in x 29.592 * [backup-simplify]: Simplify 27.0 into 27.0 29.592 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 29.593 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 29.593 * [taylor]: Taking taylor expansion of (* x y) in x 29.593 * [taylor]: Taking taylor expansion of x in x 29.593 * [backup-simplify]: Simplify 0 into 0 29.593 * [backup-simplify]: Simplify 1 into 1 29.593 * [taylor]: Taking taylor expansion of y in x 29.593 * [backup-simplify]: Simplify y into y 29.594 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 29.594 * [backup-simplify]: Simplify (* 0 y) into 0 29.595 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 29.596 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 29.596 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 29.596 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 29.596 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 29.596 * [taylor]: Taking taylor expansion of 27.0 in x 29.596 * [backup-simplify]: Simplify 27.0 into 27.0 29.596 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 29.597 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 29.597 * [taylor]: Taking taylor expansion of (* x y) in x 29.597 * [taylor]: Taking taylor expansion of x in x 29.597 * [backup-simplify]: Simplify 0 into 0 29.597 * [backup-simplify]: Simplify 1 into 1 29.597 * [taylor]: Taking taylor expansion of y in x 29.597 * [backup-simplify]: Simplify y into y 29.598 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 29.598 * [backup-simplify]: Simplify (* 0 y) into 0 29.599 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 29.600 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 29.600 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) y) in y 29.600 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 29.600 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 29.600 * [taylor]: Taking taylor expansion of 27.0 in y 29.600 * [backup-simplify]: Simplify 27.0 into 27.0 29.601 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 29.601 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 29.601 * [taylor]: Taking taylor expansion of y in y 29.601 * [backup-simplify]: Simplify 0 into 0 29.601 * [backup-simplify]: Simplify 1 into 1 29.603 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 29.605 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) 1) into (pow (sqrt 27.0) 2) 29.606 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2) 29.607 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 29.608 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 29.608 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)))) into 0 29.609 * [taylor]: Taking taylor expansion of 0 in y 29.609 * [backup-simplify]: Simplify 0 into 0 29.609 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 29.610 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)))) into 0 29.610 * [backup-simplify]: Simplify 0 into 0 29.610 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 29.611 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 29.612 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 29.613 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 29.613 * [taylor]: Taking taylor expansion of 0 in y 29.613 * [backup-simplify]: Simplify 0 into 0 29.613 * [backup-simplify]: Simplify 0 into 0 29.617 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 29.618 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 29.619 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 29.619 * [backup-simplify]: Simplify 0 into 0 29.620 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 29.620 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 29.621 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 29.622 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 29.622 * [taylor]: Taking taylor expansion of 0 in y 29.622 * [backup-simplify]: Simplify 0 into 0 29.622 * [backup-simplify]: Simplify 0 into 0 29.622 * [backup-simplify]: Simplify 0 into 0 29.623 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 29.624 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 29.624 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 29.624 * [backup-simplify]: Simplify 0 into 0 29.625 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* (pow (sqrt 27.0) 2) (* x y)) 29.625 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 29.626 * [backup-simplify]: Simplify (* (* x y) (sqrt 27.0)) into (* (sqrt 27.0) (* x y)) 29.626 * [approximate]: Taking taylor expansion of (* (sqrt 27.0) (* x y)) in (x y) around 0 29.626 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* x y)) in y 29.626 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 29.626 * [taylor]: Taking taylor expansion of 27.0 in y 29.626 * [backup-simplify]: Simplify 27.0 into 27.0 29.626 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 29.626 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 29.626 * [taylor]: Taking taylor expansion of (* x y) in y 29.626 * [taylor]: Taking taylor expansion of x in y 29.626 * [backup-simplify]: Simplify x into x 29.626 * [taylor]: Taking taylor expansion of y in y 29.626 * [backup-simplify]: Simplify 0 into 0 29.626 * [backup-simplify]: Simplify 1 into 1 29.627 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* x y)) in x 29.627 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 29.627 * [taylor]: Taking taylor expansion of 27.0 in x 29.627 * [backup-simplify]: Simplify 27.0 into 27.0 29.627 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 29.627 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 29.627 * [taylor]: Taking taylor expansion of (* x y) in x 29.627 * [taylor]: Taking taylor expansion of x in x 29.627 * [backup-simplify]: Simplify 0 into 0 29.627 * [backup-simplify]: Simplify 1 into 1 29.627 * [taylor]: Taking taylor expansion of y in x 29.627 * [backup-simplify]: Simplify y into y 29.627 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* x y)) in x 29.627 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 29.627 * [taylor]: Taking taylor expansion of 27.0 in x 29.627 * [backup-simplify]: Simplify 27.0 into 27.0 29.628 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 29.628 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 29.628 * [taylor]: Taking taylor expansion of (* x y) in x 29.628 * [taylor]: Taking taylor expansion of x in x 29.628 * [backup-simplify]: Simplify 0 into 0 29.628 * [backup-simplify]: Simplify 1 into 1 29.628 * [taylor]: Taking taylor expansion of y in x 29.628 * [backup-simplify]: Simplify y into y 29.628 * [backup-simplify]: Simplify (* 0 y) into 0 29.629 * [backup-simplify]: Simplify (* (sqrt 27.0) 0) into 0 29.629 * [taylor]: Taking taylor expansion of 0 in y 29.629 * [backup-simplify]: Simplify 0 into 0 29.629 * [backup-simplify]: Simplify 0 into 0 29.629 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 29.630 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) y) (* 0 0)) into (* (sqrt 27.0) y) 29.630 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) y) in y 29.630 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 29.630 * [taylor]: Taking taylor expansion of 27.0 in y 29.630 * [backup-simplify]: Simplify 27.0 into 27.0 29.630 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 29.630 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 29.630 * [taylor]: Taking taylor expansion of y in y 29.630 * [backup-simplify]: Simplify 0 into 0 29.630 * [backup-simplify]: Simplify 1 into 1 29.631 * [backup-simplify]: Simplify (* (sqrt 27.0) 0) into 0 29.631 * [backup-simplify]: Simplify 0 into 0 29.631 * [backup-simplify]: Simplify 0 into 0 29.631 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 29.632 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 29.632 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 y) (* 0 0))) into 0 29.632 * [taylor]: Taking taylor expansion of 0 in y 29.633 * [backup-simplify]: Simplify 0 into 0 29.633 * [backup-simplify]: Simplify 0 into 0 29.634 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 1) (* 0 0)) into (sqrt 27.0) 29.634 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 29.634 * [backup-simplify]: Simplify 0 into 0 29.635 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 29.636 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 29.637 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 29.637 * [taylor]: Taking taylor expansion of 0 in y 29.637 * [backup-simplify]: Simplify 0 into 0 29.637 * [backup-simplify]: Simplify 0 into 0 29.637 * [backup-simplify]: Simplify 0 into 0 29.639 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 29.640 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 1) (* 0 0))) into 0 29.640 * [backup-simplify]: Simplify 0 into 0 29.640 * [backup-simplify]: Simplify 0 into 0 29.641 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 29.643 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 29.644 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 29.645 * [taylor]: Taking taylor expansion of 0 in y 29.645 * [backup-simplify]: Simplify 0 into 0 29.645 * [backup-simplify]: Simplify 0 into 0 29.645 * [backup-simplify]: Simplify (* (sqrt 27.0) (* y x)) into (* (sqrt 27.0) (* x y)) 29.646 * [backup-simplify]: Simplify (* (* (/ 1 x) (/ 1 y)) (sqrt 27.0)) into (/ (sqrt 27.0) (* x y)) 29.646 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in (x y) around 0 29.646 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in y 29.646 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 29.646 * [taylor]: Taking taylor expansion of 27.0 in y 29.646 * [backup-simplify]: Simplify 27.0 into 27.0 29.646 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 29.647 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 29.647 * [taylor]: Taking taylor expansion of (* x y) in y 29.647 * [taylor]: Taking taylor expansion of x in y 29.647 * [backup-simplify]: Simplify x into x 29.647 * [taylor]: Taking taylor expansion of y in y 29.647 * [backup-simplify]: Simplify 0 into 0 29.647 * [backup-simplify]: Simplify 1 into 1 29.647 * [backup-simplify]: Simplify (* x 0) into 0 29.647 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 29.648 * [backup-simplify]: Simplify (/ (sqrt 27.0) x) into (/ (sqrt 27.0) x) 29.648 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 29.648 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 29.648 * [taylor]: Taking taylor expansion of 27.0 in x 29.648 * [backup-simplify]: Simplify 27.0 into 27.0 29.648 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 29.649 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 29.649 * [taylor]: Taking taylor expansion of (* x y) in x 29.649 * [taylor]: Taking taylor expansion of x in x 29.649 * [backup-simplify]: Simplify 0 into 0 29.649 * [backup-simplify]: Simplify 1 into 1 29.649 * [taylor]: Taking taylor expansion of y in x 29.649 * [backup-simplify]: Simplify y into y 29.649 * [backup-simplify]: Simplify (* 0 y) into 0 29.650 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 29.650 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 29.650 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 29.650 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 29.650 * [taylor]: Taking taylor expansion of 27.0 in x 29.650 * [backup-simplify]: Simplify 27.0 into 27.0 29.651 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 29.651 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 29.651 * [taylor]: Taking taylor expansion of (* x y) in x 29.651 * [taylor]: Taking taylor expansion of x in x 29.651 * [backup-simplify]: Simplify 0 into 0 29.652 * [backup-simplify]: Simplify 1 into 1 29.652 * [taylor]: Taking taylor expansion of y in x 29.652 * [backup-simplify]: Simplify y into y 29.652 * [backup-simplify]: Simplify (* 0 y) into 0 29.652 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 29.652 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 29.653 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y 29.653 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 29.653 * [taylor]: Taking taylor expansion of 27.0 in y 29.653 * [backup-simplify]: Simplify 27.0 into 27.0 29.653 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 29.654 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 29.654 * [taylor]: Taking taylor expansion of y in y 29.654 * [backup-simplify]: Simplify 0 into 0 29.654 * [backup-simplify]: Simplify 1 into 1 29.655 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0) 29.655 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 29.656 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 29.656 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)))) into 0 29.656 * [taylor]: Taking taylor expansion of 0 in y 29.656 * [backup-simplify]: Simplify 0 into 0 29.657 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)))) into 0 29.657 * [backup-simplify]: Simplify 0 into 0 29.657 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 29.658 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 29.659 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 29.659 * [taylor]: Taking taylor expansion of 0 in y 29.659 * [backup-simplify]: Simplify 0 into 0 29.659 * [backup-simplify]: Simplify 0 into 0 29.659 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 29.660 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 29.660 * [backup-simplify]: Simplify 0 into 0 29.661 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 29.662 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 29.662 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 29.662 * [taylor]: Taking taylor expansion of 0 in y 29.662 * [backup-simplify]: Simplify 0 into 0 29.662 * [backup-simplify]: Simplify 0 into 0 29.662 * [backup-simplify]: Simplify 0 into 0 29.663 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 29.664 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 29.664 * [backup-simplify]: Simplify 0 into 0 29.664 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* (sqrt 27.0) (* x y)) 29.664 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) (/ 1 (- y))) (sqrt 27.0)) into (/ (sqrt 27.0) (* x y)) 29.664 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in (x y) around 0 29.664 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in y 29.664 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 29.664 * [taylor]: Taking taylor expansion of 27.0 in y 29.664 * [backup-simplify]: Simplify 27.0 into 27.0 29.665 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 29.665 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 29.665 * [taylor]: Taking taylor expansion of (* x y) in y 29.665 * [taylor]: Taking taylor expansion of x in y 29.665 * [backup-simplify]: Simplify x into x 29.665 * [taylor]: Taking taylor expansion of y in y 29.665 * [backup-simplify]: Simplify 0 into 0 29.665 * [backup-simplify]: Simplify 1 into 1 29.665 * [backup-simplify]: Simplify (* x 0) into 0 29.666 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 29.666 * [backup-simplify]: Simplify (/ (sqrt 27.0) x) into (/ (sqrt 27.0) x) 29.666 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 29.666 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 29.666 * [taylor]: Taking taylor expansion of 27.0 in x 29.666 * [backup-simplify]: Simplify 27.0 into 27.0 29.666 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 29.667 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 29.667 * [taylor]: Taking taylor expansion of (* x y) in x 29.667 * [taylor]: Taking taylor expansion of x in x 29.667 * [backup-simplify]: Simplify 0 into 0 29.667 * [backup-simplify]: Simplify 1 into 1 29.667 * [taylor]: Taking taylor expansion of y in x 29.667 * [backup-simplify]: Simplify y into y 29.667 * [backup-simplify]: Simplify (* 0 y) into 0 29.667 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 29.668 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 29.668 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 29.668 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 29.668 * [taylor]: Taking taylor expansion of 27.0 in x 29.668 * [backup-simplify]: Simplify 27.0 into 27.0 29.668 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 29.668 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 29.669 * [taylor]: Taking taylor expansion of (* x y) in x 29.669 * [taylor]: Taking taylor expansion of x in x 29.669 * [backup-simplify]: Simplify 0 into 0 29.669 * [backup-simplify]: Simplify 1 into 1 29.669 * [taylor]: Taking taylor expansion of y in x 29.669 * [backup-simplify]: Simplify y into y 29.669 * [backup-simplify]: Simplify (* 0 y) into 0 29.669 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 29.669 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 29.669 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y 29.669 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 29.669 * [taylor]: Taking taylor expansion of 27.0 in y 29.669 * [backup-simplify]: Simplify 27.0 into 27.0 29.670 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 29.670 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 29.670 * [taylor]: Taking taylor expansion of y in y 29.670 * [backup-simplify]: Simplify 0 into 0 29.670 * [backup-simplify]: Simplify 1 into 1 29.671 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0) 29.671 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 29.671 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 29.672 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)))) into 0 29.672 * [taylor]: Taking taylor expansion of 0 in y 29.672 * [backup-simplify]: Simplify 0 into 0 29.672 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)))) into 0 29.672 * [backup-simplify]: Simplify 0 into 0 29.673 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 29.674 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 29.674 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 29.674 * [taylor]: Taking taylor expansion of 0 in y 29.674 * [backup-simplify]: Simplify 0 into 0 29.674 * [backup-simplify]: Simplify 0 into 0 29.675 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 29.676 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 29.676 * [backup-simplify]: Simplify 0 into 0 29.676 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 29.677 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 29.678 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 29.678 * [taylor]: Taking taylor expansion of 0 in y 29.678 * [backup-simplify]: Simplify 0 into 0 29.678 * [backup-simplify]: Simplify 0 into 0 29.678 * [backup-simplify]: Simplify 0 into 0 29.679 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 29.679 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 29.679 * [backup-simplify]: Simplify 0 into 0 29.680 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* (sqrt 27.0) (* x y)) 29.680 * * * [progress]: simplifying candidates 29.681 * [simplify]: Simplifying: (* (* (* x y) (sqrt 27.0)) (sqrt 27.0)) (* (* (* x y) (sqrt 27.0)) (sqrt 27.0)) (* (* (* x y) (sqrt 27.0)) (sqrt 27.0)) (+ (+ (+ (log x) (log y)) (log (sqrt 27.0))) (log (sqrt 27.0))) (+ (+ (log (* x y)) (log (sqrt 27.0))) (log (sqrt 27.0))) (+ (log (* (* x y) (sqrt 27.0))) (log (sqrt 27.0))) (log (* (* (* x y) (sqrt 27.0)) (sqrt 27.0))) (exp (* (* (* x y) (sqrt 27.0)) (sqrt 27.0))) (* (* (* (* (* x x) x) (* (* y y) y)) (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0))) (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0))) (* (* (* (* (* x y) (* x y)) (* x y)) (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0))) (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0))) (* (* (* (* (* x y) (sqrt 27.0)) (* (* x y) (sqrt 27.0))) (* (* x y) (sqrt 27.0))) (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0))) (* (cbrt (* (* (* x y) (sqrt 27.0)) (sqrt 27.0))) (cbrt (* (* (* x y) (sqrt 27.0)) (sqrt 27.0)))) (cbrt (* (* (* x y) (sqrt 27.0)) (sqrt 27.0))) (* (* (* (* (* x y) (sqrt 27.0)) (sqrt 27.0)) (* (* (* x y) (sqrt 27.0)) (sqrt 27.0))) (* (* (* x y) (sqrt 27.0)) (sqrt 27.0))) (sqrt (* (* (* x y) (sqrt 27.0)) (sqrt 27.0))) (sqrt (* (* (* x y) (sqrt 27.0)) (sqrt 27.0))) (* (* (* x y) (sqrt 27.0)) (* (cbrt (sqrt 27.0)) (cbrt (sqrt 27.0)))) (* (* (* x y) (sqrt 27.0)) (sqrt (* (cbrt 27.0) (cbrt 27.0)))) (* (* (* x y) (sqrt 27.0)) (sqrt (sqrt 27.0))) (* (* (* x y) (sqrt 27.0)) (sqrt 1)) (* (* (* x y) (sqrt 27.0)) (sqrt (sqrt 27.0))) (* (* (* x y) (sqrt 27.0)) 1) (* (sqrt 27.0) (sqrt 27.0)) (* (* x y) (sqrt 27.0)) (* (* x y) (sqrt 27.0)) (+ (+ (log x) (log y)) (log (sqrt 27.0))) (+ (log (* x y)) (log (sqrt 27.0))) (log (* (* x y) (sqrt 27.0))) (exp (* (* x y) (sqrt 27.0))) (* (* (* (* x x) x) (* (* y y) y)) (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0))) (* (* (* (* x y) (* x y)) (* x y)) (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0))) (* (cbrt (* (* x y) (sqrt 27.0))) (cbrt (* (* x y) (sqrt 27.0)))) (cbrt (* (* x y) (sqrt 27.0))) (* (* (* (* x y) (sqrt 27.0)) (* (* x y) (sqrt 27.0))) (* (* x y) (sqrt 27.0))) (sqrt (* (* x y) (sqrt 27.0))) (sqrt (* (* x y) (sqrt 27.0))) (* (* x y) (* (cbrt (sqrt 27.0)) (cbrt (sqrt 27.0)))) (* (* x y) (sqrt (* (cbrt 27.0) (cbrt 27.0)))) (* (* x y) (sqrt (sqrt 27.0))) (* (* x y) (sqrt 1)) (* (* x y) (sqrt (sqrt 27.0))) (* (* x y) 1) (* y (sqrt 27.0)) (* (pow (sqrt 27.0) 2) (* x y)) (* (pow (sqrt 27.0) 2) (* x y)) (* (pow (sqrt 27.0) 2) (* x y)) (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y)) 29.681 * * [simplify]: Extracting # 0 : cost 0 29.682 * * [simplify]: Extracting # 1 : cost 0 29.682 * * [simplify]: Extracting # 2 : cost 0 29.682 * * [simplify]: Extracting # 3 : cost 0 29.682 * * [simplify]: Extracting # 4 : cost 0 29.682 * * [simplify]: Extracting # 5 : cost 0 29.682 * * [simplify]: Extracting # 6 : cost 0 29.682 * * [simplify]: iteration 0 : 68 enodes (cost 550 ) 29.714 * * [simplify]: Extracting # 0 : cost 0 29.714 * * [simplify]: Extracting # 1 : cost 0 29.714 * * [simplify]: Extracting # 2 : cost 0 29.715 * * [simplify]: iteration 1 : 182 enodes (cost 412 ) 29.828 * * [simplify]: Extracting # 0 : cost 0 29.829 * * [simplify]: Extracting # 1 : cost 0 29.830 * * [simplify]: Extracting # 2 : cost 0 29.830 * * [simplify]: Extracting # 3 : cost 0 29.831 * * [simplify]: Extracting # 4 : cost 0 29.832 * * [simplify]: iteration 2 : 758 enodes (cost 336 ) 31.602 * * [simplify]: Extracting # 0 : cost 0 31.606 * * [simplify]: Extracting # 1 : cost 0 31.609 * * [simplify]: Extracting # 2 : cost 0 31.611 * * [simplify]: Extracting # 3 : cost 0 31.614 * * [simplify]: Extracting # 4 : cost 0 31.616 * * [simplify]: iteration 3 : 2941 enodes (cost 336 ) 34.069 * * [simplify]: Extracting # 0 : cost 0 34.089 * * [simplify]: Extracting # 1 : cost 0 34.105 * * [simplify]: Extracting # 2 : cost 0 34.114 * * [simplify]: Extracting # 3 : cost 0 34.123 * * [simplify]: Extracting # 4 : cost 0 34.133 * * [simplify]: iteration done: 5000 enodes (cost 334 ) 34.134 * [simplify]: Simplified to: (* 27.0 (* y x)) (* 27.0 (* y x)) (* 27.0 (* y x)) (log (* 27.0 (* y x))) (log (* 27.0 (* y x))) (log (* 27.0 (* y x))) (log (* 27.0 (* y x))) (exp (* 27.0 (* y x))) (pow (* 27.0 (* y x)) 3) (pow (* 27.0 (* y x)) 3) (pow (* 27.0 (* y x)) 3) (* (cbrt (* 27.0 (* y x))) (cbrt (* 27.0 (* y x)))) (cbrt (* 27.0 (* y x))) (pow (* 27.0 (* y x)) 3) (sqrt (* 27.0 (* y x))) (sqrt (* 27.0 (* y x))) (* (* (* x y) (sqrt 27.0)) (* (cbrt (sqrt 27.0)) (cbrt (sqrt 27.0)))) (* (* (* x y) (sqrt 27.0)) (fabs (cbrt 27.0))) (* (* x y) (pow (sqrt (sqrt 27.0)) 3)) (* x (* y (sqrt 27.0))) (* (* x y) (pow (sqrt (sqrt 27.0)) 3)) (* x (* y (sqrt 27.0))) 27.0 (* x (* y (sqrt 27.0))) (* x (* y (sqrt 27.0))) (log (* (* x y) (sqrt 27.0))) (log (* (* x y) (sqrt 27.0))) (log (* (* x y) (sqrt 27.0))) (exp (* (* x y) (sqrt 27.0))) (pow (* x (* y (sqrt 27.0))) 3) (pow (* x (* y (sqrt 27.0))) 3) (* (cbrt (* (* x y) (sqrt 27.0))) (cbrt (* (* x y) (sqrt 27.0)))) (cbrt (* (* x y) (sqrt 27.0))) (pow (* x (* y (sqrt 27.0))) 3) (sqrt (* (* x y) (sqrt 27.0))) (sqrt (* (* x y) (sqrt 27.0))) (* (* x y) (* (cbrt (sqrt 27.0)) (cbrt (sqrt 27.0)))) (* (fabs (cbrt 27.0)) (* y x)) (* (* x y) (sqrt (sqrt 27.0))) (* x y) (* (* x y) (sqrt (sqrt 27.0))) (* x y) (* (sqrt 27.0) y) (* 27.0 (* y x)) (* 27.0 (* y x)) (* 27.0 (* y x)) (* x (* y (sqrt 27.0))) (* x (* y (sqrt 27.0))) (* x (* y (sqrt 27.0))) 34.134 * * * [progress]: adding candidates to table 34.248 * [progress]: [Phase 3 of 3] Extracting. 34.248 * * [regime]: Finding splitpoints for: (# # # # # #)