51.843 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.012 * * * [progress]: [2/2] Setting up program. 0.014 * [progress]: [Phase 2 of 3] Improving. 0.014 * [simplify]: Simplifying: (* (* x 27.0) y) 0.014 * * [simplify]: Extracting # 0 : cost 0 0.014 * * [simplify]: Extracting # 1 : cost 0 0.014 * * [simplify]: Extracting # 2 : cost 0 0.014 * * [simplify]: Extracting # 3 : cost 0 0.014 * * [simplify]: Extracting # 4 : cost 0 0.014 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.015 * * [simplify]: Extracting # 0 : cost 0 0.015 * * [simplify]: Extracting # 1 : cost 0 0.015 * * [simplify]: Extracting # 2 : cost 0 0.015 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 0.016 * * [simplify]: Extracting # 0 : cost 0 0.016 * * [simplify]: Extracting # 1 : cost 0 0.016 * * [simplify]: Extracting # 2 : cost 0 0.016 * * [simplify]: iteration 2 : 16 enodes (cost 5 ) 0.021 * * [simplify]: Extracting # 0 : cost 0 0.021 * * [simplify]: iteration 3 : 18 enodes (cost 5 ) 0.025 * * [simplify]: Extracting # 0 : cost 0 0.025 * * [simplify]: iteration done: 18 enodes (cost 5 ) 0.026 * [simplify]: Simplified to: (* (* x 27.0) y) 0.026 * * [progress]: iteration 1 / 4 0.026 * * * [progress]: picking best candidate 0.028 * * * * [pick]: Picked # 0.028 * * * [progress]: localizing error 0.034 * * * [progress]: generating rewritten candidates 0.035 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.067 * * * [progress]: generating series expansions 0.067 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.067 * [backup-simplify]: Simplify (* (* x 27.0) y) into (* 27.0 (* x y)) 0.067 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0 0.067 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y 0.067 * [taylor]: Taking taylor expansion of 27.0 in y 0.067 * [backup-simplify]: Simplify 27.0 into 27.0 0.067 * [taylor]: Taking taylor expansion of (* x y) in y 0.067 * [taylor]: Taking taylor expansion of x in y 0.067 * [backup-simplify]: Simplify x into x 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 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 0.067 * [taylor]: Taking taylor expansion of 27.0 in x 0.067 * [backup-simplify]: Simplify 27.0 into 27.0 0.067 * [taylor]: Taking taylor expansion of (* x y) in x 0.067 * [taylor]: Taking taylor expansion of x in x 0.067 * [backup-simplify]: Simplify 0 into 0 0.067 * [backup-simplify]: Simplify 1 into 1 0.067 * [taylor]: Taking taylor expansion of y in x 0.067 * [backup-simplify]: Simplify y into y 0.067 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 0.067 * [taylor]: Taking taylor expansion of 27.0 in x 0.067 * [backup-simplify]: Simplify 27.0 into 27.0 0.068 * [taylor]: Taking taylor expansion of (* x y) in x 0.068 * [taylor]: Taking taylor expansion of x in x 0.068 * [backup-simplify]: Simplify 0 into 0 0.068 * [backup-simplify]: Simplify 1 into 1 0.068 * [taylor]: Taking taylor expansion of y in x 0.068 * [backup-simplify]: Simplify y into y 0.068 * [backup-simplify]: Simplify (* 0 y) into 0 0.075 * [backup-simplify]: Simplify (* 27.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.076 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.076 * [backup-simplify]: Simplify (+ (* 27.0 y) (* 0 0)) into (* 27.0 y) 0.076 * [taylor]: Taking taylor expansion of (* 27.0 y) in y 0.077 * [taylor]: Taking taylor expansion of 27.0 in y 0.077 * [backup-simplify]: Simplify 27.0 into 27.0 0.077 * [taylor]: Taking taylor expansion of y in y 0.077 * [backup-simplify]: Simplify 0 into 0 0.077 * [backup-simplify]: Simplify 1 into 1 0.077 * [backup-simplify]: Simplify (* 27.0 0) into 0 0.077 * [backup-simplify]: Simplify 0 into 0 0.077 * [backup-simplify]: Simplify 0 into 0 0.078 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.079 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 y) (* 0 0))) into 0 0.079 * [taylor]: Taking taylor expansion of 0 in y 0.079 * [backup-simplify]: Simplify 0 into 0 0.079 * [backup-simplify]: Simplify 0 into 0 0.081 * [backup-simplify]: Simplify (+ (* 27.0 1) (* 0 0)) into 27.0 0.081 * [backup-simplify]: Simplify 27.0 into 27.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.083 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 0.083 * [taylor]: Taking taylor expansion of 0 in y 0.083 * [backup-simplify]: Simplify 0 into 0 0.083 * [backup-simplify]: Simplify 0 into 0 0.083 * [backup-simplify]: Simplify 0 into 0 0.084 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 1) (* 0 0))) into 0 0.084 * [backup-simplify]: Simplify 0 into 0 0.084 * [backup-simplify]: Simplify 0 into 0 0.085 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.086 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) 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 (* 27.0 (* y x)) into (* 27.0 (* x y)) 0.086 * [backup-simplify]: Simplify (* (* (/ 1 x) 27.0) (/ 1 y)) into (/ 27.0 (* x y)) 0.086 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 0.086 * [taylor]: Taking taylor expansion of (/ 27.0 (* x 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 (* x y) in y 0.086 * [taylor]: Taking taylor expansion of x in y 0.086 * [backup-simplify]: Simplify x into x 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.086 * [backup-simplify]: Simplify (* x 0) into 0 0.087 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 0.087 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 0.087 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 0.087 * [taylor]: Taking taylor expansion of 27.0 in x 0.087 * [backup-simplify]: Simplify 27.0 into 27.0 0.087 * [taylor]: Taking taylor expansion of (* x y) in x 0.087 * [taylor]: Taking taylor expansion of x in x 0.087 * [backup-simplify]: Simplify 0 into 0 0.087 * [backup-simplify]: Simplify 1 into 1 0.087 * [taylor]: Taking taylor expansion of y in x 0.087 * [backup-simplify]: Simplify y into y 0.087 * [backup-simplify]: Simplify (* 0 y) into 0 0.087 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.087 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 0.087 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 0.087 * [taylor]: Taking taylor expansion of 27.0 in x 0.087 * [backup-simplify]: Simplify 27.0 into 27.0 0.087 * [taylor]: Taking taylor expansion of (* x y) in x 0.087 * [taylor]: Taking taylor expansion of x in x 0.087 * [backup-simplify]: Simplify 0 into 0 0.087 * [backup-simplify]: Simplify 1 into 1 0.087 * [taylor]: Taking taylor expansion of y in x 0.087 * [backup-simplify]: Simplify y into y 0.087 * [backup-simplify]: Simplify (* 0 y) into 0 0.088 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.088 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 0.088 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 0.088 * [taylor]: Taking taylor expansion of 27.0 in y 0.088 * [backup-simplify]: Simplify 27.0 into 27.0 0.088 * [taylor]: Taking taylor expansion of y in y 0.088 * [backup-simplify]: Simplify 0 into 0 0.088 * [backup-simplify]: Simplify 1 into 1 0.088 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 0.088 * [backup-simplify]: Simplify 27.0 into 27.0 0.089 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.089 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 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 1) (+ (* 27.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 y)))) into 0 0.090 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.090 * [taylor]: Taking taylor expansion of 0 in y 0.090 * [backup-simplify]: Simplify 0 into 0 0.090 * [backup-simplify]: Simplify 0 into 0 0.091 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.091 * [backup-simplify]: Simplify 0 into 0 0.092 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.092 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.092 * [taylor]: Taking taylor expansion of 0 in y 0.092 * [backup-simplify]: Simplify 0 into 0 0.092 * [backup-simplify]: Simplify 0 into 0 0.092 * [backup-simplify]: Simplify 0 into 0 0.092 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.092 * [backup-simplify]: Simplify 0 into 0 0.093 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 27.0 (* x y)) 0.093 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) 27.0) (/ 1 (- y))) into (/ 27.0 (* x y)) 0.093 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 0.093 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 0.093 * [taylor]: Taking taylor expansion of 27.0 in y 0.093 * [backup-simplify]: Simplify 27.0 into 27.0 0.093 * [taylor]: Taking taylor expansion of (* x y) in y 0.093 * [taylor]: Taking taylor expansion of x in y 0.093 * [backup-simplify]: Simplify x into x 0.093 * [taylor]: Taking taylor expansion of y in y 0.093 * [backup-simplify]: Simplify 0 into 0 0.093 * [backup-simplify]: Simplify 1 into 1 0.093 * [backup-simplify]: Simplify (* x 0) into 0 0.093 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 0.093 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 0.093 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 0.093 * [taylor]: Taking taylor expansion of 27.0 in x 0.093 * [backup-simplify]: Simplify 27.0 into 27.0 0.093 * [taylor]: Taking taylor expansion of (* x y) in x 0.093 * [taylor]: Taking taylor expansion of x in x 0.093 * [backup-simplify]: Simplify 0 into 0 0.093 * [backup-simplify]: Simplify 1 into 1 0.093 * [taylor]: Taking taylor expansion of y in x 0.093 * [backup-simplify]: Simplify y into y 0.093 * [backup-simplify]: Simplify (* 0 y) into 0 0.094 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.094 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 0.094 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 0.094 * [taylor]: Taking taylor expansion of 27.0 in x 0.094 * [backup-simplify]: Simplify 27.0 into 27.0 0.094 * [taylor]: Taking taylor expansion of (* x y) in x 0.094 * [taylor]: Taking taylor expansion of x in x 0.094 * [backup-simplify]: Simplify 0 into 0 0.094 * [backup-simplify]: Simplify 1 into 1 0.094 * [taylor]: Taking taylor expansion of y in x 0.094 * [backup-simplify]: Simplify y into y 0.094 * [backup-simplify]: Simplify (* 0 y) into 0 0.094 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.094 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 0.094 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 0.094 * [taylor]: Taking taylor expansion of 27.0 in y 0.094 * [backup-simplify]: Simplify 27.0 into 27.0 0.094 * [taylor]: Taking taylor expansion of y in y 0.094 * [backup-simplify]: Simplify 0 into 0 0.094 * [backup-simplify]: Simplify 1 into 1 0.095 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 0.095 * [backup-simplify]: Simplify 27.0 into 27.0 0.095 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.095 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 0.095 * [taylor]: Taking taylor expansion of 0 in y 0.095 * [backup-simplify]: Simplify 0 into 0 0.096 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 0.096 * [backup-simplify]: Simplify 0 into 0 0.097 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 0.097 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.097 * [taylor]: Taking taylor expansion of 0 in y 0.097 * [backup-simplify]: Simplify 0 into 0 0.097 * [backup-simplify]: Simplify 0 into 0 0.097 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.097 * [backup-simplify]: Simplify 0 into 0 0.098 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.098 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.098 * [taylor]: Taking taylor expansion of 0 in y 0.098 * [backup-simplify]: Simplify 0 into 0 0.098 * [backup-simplify]: Simplify 0 into 0 0.099 * [backup-simplify]: Simplify 0 into 0 0.099 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.099 * [backup-simplify]: Simplify 0 into 0 0.099 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 27.0 (* x y)) 0.099 * * * [progress]: simplifying candidates 0.100 * [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.100 * * [simplify]: Extracting # 0 : cost 0 0.100 * * [simplify]: Extracting # 1 : cost 0 0.100 * * [simplify]: Extracting # 2 : cost 0 0.100 * * [simplify]: Extracting # 3 : cost 0 0.100 * * [simplify]: Extracting # 4 : cost 0 0.100 * * [simplify]: Extracting # 5 : cost 0 0.100 * * [simplify]: Extracting # 6 : cost 0 0.100 * * [simplify]: iteration 0 : 40 enodes (cost 157 ) 0.109 * * [simplify]: Extracting # 0 : cost 0 0.109 * * [simplify]: Extracting # 1 : cost 0 0.110 * * [simplify]: Extracting # 2 : cost 0 0.110 * * [simplify]: iteration 1 : 100 enodes (cost 152 ) 0.170 * * [simplify]: Extracting # 0 : cost 0 0.170 * * [simplify]: Extracting # 1 : cost 0 0.171 * * [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.727 * * [simplify]: Extracting # 0 : cost 0 0.729 * * [simplify]: Extracting # 1 : cost 0 0.730 * * [simplify]: Extracting # 2 : cost 0 0.731 * * [simplify]: Extracting # 3 : cost 0 0.732 * * [simplify]: Extracting # 4 : cost 0 0.733 * * [simplify]: iteration 3 : 1399 enodes (cost 122 ) 4.445 * * [simplify]: Extracting # 0 : cost 0 4.453 * * [simplify]: Extracting # 1 : cost 0 4.456 * * [simplify]: Extracting # 2 : cost 0 4.459 * * [simplify]: Extracting # 3 : cost 0 4.462 * * [simplify]: Extracting # 4 : cost 0 4.475 * * [simplify]: Extracting # 5 : cost 0 4.478 * * [simplify]: iteration 4 : 3119 enodes (cost 122 ) 7.657 * * [simplify]: Extracting # 0 : cost 0 7.660 * * [simplify]: Extracting # 1 : cost 0 7.664 * * [simplify]: Extracting # 2 : cost 0 7.670 * * [simplify]: Extracting # 3 : cost 0 7.675 * * [simplify]: Extracting # 4 : cost 0 7.678 * * [simplify]: iteration done: 5000 enodes (cost 122 ) 7.678 * [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)) 7.678 * * * [progress]: adding candidates to table 7.726 * * [progress]: iteration 2 / 4 7.726 * * * [progress]: picking best candidate 7.735 * * * * [pick]: Picked # 7.735 * * * [progress]: localizing error 7.740 * * * [progress]: generating rewritten candidates 7.741 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 7.761 * * * [progress]: generating series expansions 7.761 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 7.761 * [backup-simplify]: Simplify (* 27.0 (* x y)) into (* 27.0 (* x y)) 7.761 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0 7.761 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y 7.762 * [taylor]: Taking taylor expansion of 27.0 in y 7.762 * [backup-simplify]: Simplify 27.0 into 27.0 7.762 * [taylor]: Taking taylor expansion of (* x y) in y 7.762 * [taylor]: Taking taylor expansion of x in y 7.762 * [backup-simplify]: Simplify x into x 7.762 * [taylor]: Taking taylor expansion of y in y 7.762 * [backup-simplify]: Simplify 0 into 0 7.762 * [backup-simplify]: Simplify 1 into 1 7.762 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 7.762 * [taylor]: Taking taylor expansion of 27.0 in x 7.762 * [backup-simplify]: Simplify 27.0 into 27.0 7.762 * [taylor]: Taking taylor expansion of (* x y) in x 7.762 * [taylor]: Taking taylor expansion of x in x 7.762 * [backup-simplify]: Simplify 0 into 0 7.762 * [backup-simplify]: Simplify 1 into 1 7.762 * [taylor]: Taking taylor expansion of y in x 7.762 * [backup-simplify]: Simplify y into y 7.762 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 7.762 * [taylor]: Taking taylor expansion of 27.0 in x 7.762 * [backup-simplify]: Simplify 27.0 into 27.0 7.762 * [taylor]: Taking taylor expansion of (* x y) in x 7.762 * [taylor]: Taking taylor expansion of x in x 7.762 * [backup-simplify]: Simplify 0 into 0 7.762 * [backup-simplify]: Simplify 1 into 1 7.762 * [taylor]: Taking taylor expansion of y in x 7.762 * [backup-simplify]: Simplify y into y 7.762 * [backup-simplify]: Simplify (* 0 y) into 0 7.762 * [backup-simplify]: Simplify (* 27.0 0) into 0 7.762 * [taylor]: Taking taylor expansion of 0 in y 7.762 * [backup-simplify]: Simplify 0 into 0 7.763 * [backup-simplify]: Simplify 0 into 0 7.763 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.763 * [backup-simplify]: Simplify (+ (* 27.0 y) (* 0 0)) into (* 27.0 y) 7.763 * [taylor]: Taking taylor expansion of (* 27.0 y) in y 7.763 * [taylor]: Taking taylor expansion of 27.0 in y 7.763 * [backup-simplify]: Simplify 27.0 into 27.0 7.763 * [taylor]: Taking taylor expansion of y in y 7.763 * [backup-simplify]: Simplify 0 into 0 7.763 * [backup-simplify]: Simplify 1 into 1 7.763 * [backup-simplify]: Simplify (* 27.0 0) into 0 7.763 * [backup-simplify]: Simplify 0 into 0 7.763 * [backup-simplify]: Simplify 0 into 0 7.764 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 7.764 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 y) (* 0 0))) into 0 7.765 * [taylor]: Taking taylor expansion of 0 in y 7.765 * [backup-simplify]: Simplify 0 into 0 7.765 * [backup-simplify]: Simplify 0 into 0 7.765 * [backup-simplify]: Simplify (+ (* 27.0 1) (* 0 0)) into 27.0 7.765 * [backup-simplify]: Simplify 27.0 into 27.0 7.765 * [backup-simplify]: Simplify 0 into 0 7.770 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 7.770 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 7.770 * [taylor]: Taking taylor expansion of 0 in y 7.771 * [backup-simplify]: Simplify 0 into 0 7.771 * [backup-simplify]: Simplify 0 into 0 7.771 * [backup-simplify]: Simplify 0 into 0 7.771 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 1) (* 0 0))) into 0 7.771 * [backup-simplify]: Simplify 0 into 0 7.771 * [backup-simplify]: Simplify 0 into 0 7.772 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 7.773 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 7.773 * [taylor]: Taking taylor expansion of 0 in y 7.773 * [backup-simplify]: Simplify 0 into 0 7.773 * [backup-simplify]: Simplify 0 into 0 7.773 * [backup-simplify]: Simplify (* 27.0 (* y x)) into (* 27.0 (* x y)) 7.773 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 x) (/ 1 y))) into (/ 27.0 (* x y)) 7.773 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 7.773 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 7.773 * [taylor]: Taking taylor expansion of 27.0 in y 7.774 * [backup-simplify]: Simplify 27.0 into 27.0 7.774 * [taylor]: Taking taylor expansion of (* x y) in y 7.774 * [taylor]: Taking taylor expansion of x in y 7.774 * [backup-simplify]: Simplify x into x 7.774 * [taylor]: Taking taylor expansion of y in y 7.774 * [backup-simplify]: Simplify 0 into 0 7.774 * [backup-simplify]: Simplify 1 into 1 7.774 * [backup-simplify]: Simplify (* x 0) into 0 7.774 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 7.774 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 7.774 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 7.774 * [taylor]: Taking taylor expansion of 27.0 in x 7.774 * [backup-simplify]: Simplify 27.0 into 27.0 7.774 * [taylor]: Taking taylor expansion of (* x y) in x 7.774 * [taylor]: Taking taylor expansion of x in x 7.774 * [backup-simplify]: Simplify 0 into 0 7.774 * [backup-simplify]: Simplify 1 into 1 7.774 * [taylor]: Taking taylor expansion of y in x 7.774 * [backup-simplify]: Simplify y into y 7.774 * [backup-simplify]: Simplify (* 0 y) into 0 7.774 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.774 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 7.774 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 7.774 * [taylor]: Taking taylor expansion of 27.0 in x 7.774 * [backup-simplify]: Simplify 27.0 into 27.0 7.775 * [taylor]: Taking taylor expansion of (* x y) in x 7.775 * [taylor]: Taking taylor expansion of x in x 7.775 * [backup-simplify]: Simplify 0 into 0 7.775 * [backup-simplify]: Simplify 1 into 1 7.775 * [taylor]: Taking taylor expansion of y in x 7.775 * [backup-simplify]: Simplify y into y 7.775 * [backup-simplify]: Simplify (* 0 y) into 0 7.775 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.775 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 7.775 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 7.775 * [taylor]: Taking taylor expansion of 27.0 in y 7.775 * [backup-simplify]: Simplify 27.0 into 27.0 7.775 * [taylor]: Taking taylor expansion of y in y 7.775 * [backup-simplify]: Simplify 0 into 0 7.775 * [backup-simplify]: Simplify 1 into 1 7.775 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 7.775 * [backup-simplify]: Simplify 27.0 into 27.0 7.776 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 7.776 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 7.776 * [taylor]: Taking taylor expansion of 0 in y 7.776 * [backup-simplify]: Simplify 0 into 0 7.777 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 7.777 * [backup-simplify]: Simplify 0 into 0 7.777 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 7.777 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.777 * [taylor]: Taking taylor expansion of 0 in y 7.777 * [backup-simplify]: Simplify 0 into 0 7.777 * [backup-simplify]: Simplify 0 into 0 7.778 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.778 * [backup-simplify]: Simplify 0 into 0 7.779 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 7.779 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.779 * [taylor]: Taking taylor expansion of 0 in y 7.779 * [backup-simplify]: Simplify 0 into 0 7.779 * [backup-simplify]: Simplify 0 into 0 7.779 * [backup-simplify]: Simplify 0 into 0 7.780 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.780 * [backup-simplify]: Simplify 0 into 0 7.780 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 27.0 (* x y)) 7.780 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (- x)) (/ 1 (- y)))) into (/ 27.0 (* x y)) 7.780 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 7.780 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 7.780 * [taylor]: Taking taylor expansion of 27.0 in y 7.780 * [backup-simplify]: Simplify 27.0 into 27.0 7.780 * [taylor]: Taking taylor expansion of (* x y) in y 7.780 * [taylor]: Taking taylor expansion of x in y 7.780 * [backup-simplify]: Simplify x into x 7.780 * [taylor]: Taking taylor expansion of y in y 7.780 * [backup-simplify]: Simplify 0 into 0 7.780 * [backup-simplify]: Simplify 1 into 1 7.780 * [backup-simplify]: Simplify (* x 0) into 0 7.781 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 7.781 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 7.781 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 7.781 * [taylor]: Taking taylor expansion of 27.0 in x 7.781 * [backup-simplify]: Simplify 27.0 into 27.0 7.781 * [taylor]: Taking taylor expansion of (* x y) in x 7.781 * [taylor]: Taking taylor expansion of x in x 7.781 * [backup-simplify]: Simplify 0 into 0 7.781 * [backup-simplify]: Simplify 1 into 1 7.781 * [taylor]: Taking taylor expansion of y in x 7.781 * [backup-simplify]: Simplify y into y 7.781 * [backup-simplify]: Simplify (* 0 y) into 0 7.781 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.781 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 7.781 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 7.781 * [taylor]: Taking taylor expansion of 27.0 in x 7.781 * [backup-simplify]: Simplify 27.0 into 27.0 7.781 * [taylor]: Taking taylor expansion of (* x y) in x 7.781 * [taylor]: Taking taylor expansion of x in x 7.781 * [backup-simplify]: Simplify 0 into 0 7.781 * [backup-simplify]: Simplify 1 into 1 7.781 * [taylor]: Taking taylor expansion of y in x 7.781 * [backup-simplify]: Simplify y into y 7.781 * [backup-simplify]: Simplify (* 0 y) into 0 7.782 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.782 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 7.782 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 7.782 * [taylor]: Taking taylor expansion of 27.0 in y 7.782 * [backup-simplify]: Simplify 27.0 into 27.0 7.782 * [taylor]: Taking taylor expansion of y in y 7.782 * [backup-simplify]: Simplify 0 into 0 7.782 * [backup-simplify]: Simplify 1 into 1 7.782 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 7.782 * [backup-simplify]: Simplify 27.0 into 27.0 7.783 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 7.783 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 7.783 * [taylor]: Taking taylor expansion of 0 in y 7.783 * [backup-simplify]: Simplify 0 into 0 7.783 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 7.783 * [backup-simplify]: Simplify 0 into 0 7.784 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 7.785 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.785 * [taylor]: Taking taylor expansion of 0 in y 7.785 * [backup-simplify]: Simplify 0 into 0 7.785 * [backup-simplify]: Simplify 0 into 0 7.786 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.786 * [backup-simplify]: Simplify 0 into 0 7.787 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 7.788 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.788 * [taylor]: Taking taylor expansion of 0 in y 7.788 * [backup-simplify]: Simplify 0 into 0 7.788 * [backup-simplify]: Simplify 0 into 0 7.788 * [backup-simplify]: Simplify 0 into 0 7.789 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.789 * [backup-simplify]: Simplify 0 into 0 7.789 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 27.0 (* x y)) 7.789 * * * [progress]: simplifying candidates 7.790 * [simplify]: Simplifying: (* 27.0 (* x y)) (* 27.0 (* x y)) (+ (log 27.0) (+ (log x) (log y))) (+ (log 27.0) (log (* x y))) (log (* 27.0 (* x y))) (exp (* 27.0 (* x y))) (* (* (* 27.0 27.0) 27.0) (* (* (* x x) x) (* (* y y) y))) (* (* (* 27.0 27.0) 27.0) (* (* (* x y) (* x y)) (* x y))) (* (cbrt (* 27.0 (* x y))) (cbrt (* 27.0 (* x y)))) (cbrt (* 27.0 (* x y))) (* (* (* 27.0 (* x y)) (* 27.0 (* x y))) (* 27.0 (* x y))) (sqrt (* 27.0 (* x y))) (sqrt (* 27.0 (* x y))) (* 27.0 x) (* (cbrt 27.0) (* x y)) (* (sqrt 27.0) (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) 7.790 * * [simplify]: Extracting # 0 : cost 0 7.790 * * [simplify]: Extracting # 1 : cost 0 7.790 * * [simplify]: Extracting # 2 : cost 0 7.790 * * [simplify]: Extracting # 3 : cost 0 7.791 * * [simplify]: Extracting # 4 : cost 0 7.791 * * [simplify]: Extracting # 5 : cost 0 7.791 * * [simplify]: Extracting # 6 : cost 0 7.791 * * [simplify]: iteration 0 : 35 enodes (cost 154 ) 7.804 * * [simplify]: Extracting # 0 : cost 0 7.805 * * [simplify]: Extracting # 1 : cost 0 7.805 * * [simplify]: Extracting # 2 : cost 0 7.805 * * [simplify]: iteration 1 : 85 enodes (cost 151 ) 7.851 * * [simplify]: Extracting # 0 : cost 0 7.852 * * [simplify]: Extracting # 1 : cost 0 7.852 * * [simplify]: Extracting # 2 : cost 0 7.853 * * [simplify]: Extracting # 3 : cost 0 7.854 * * [simplify]: Extracting # 4 : cost 0 7.854 * * [simplify]: Extracting # 5 : cost 0 7.855 * * [simplify]: iteration 2 : 298 enodes (cost 121 ) 8.196 * * [simplify]: Extracting # 0 : cost 0 8.197 * * [simplify]: Extracting # 1 : cost 0 8.198 * * [simplify]: Extracting # 2 : cost 0 8.199 * * [simplify]: Extracting # 3 : cost 0 8.200 * * [simplify]: Extracting # 4 : cost 0 8.201 * * [simplify]: iteration 3 : 980 enodes (cost 121 ) 9.711 * * [simplify]: Extracting # 0 : cost 0 9.714 * * [simplify]: Extracting # 1 : cost 0 9.716 * * [simplify]: Extracting # 2 : cost 0 9.717 * * [simplify]: Extracting # 3 : cost 0 9.718 * * [simplify]: Extracting # 4 : cost 0 9.720 * * [simplify]: iteration 4 : 2143 enodes (cost 121 ) 14.099 * * [simplify]: Extracting # 0 : cost 0 14.102 * * [simplify]: Extracting # 1 : cost 0 14.106 * * [simplify]: Extracting # 2 : cost 0 14.109 * * [simplify]: Extracting # 3 : cost 0 14.112 * * [simplify]: Extracting # 4 : cost 0 14.115 * * [simplify]: iteration 5 : 4393 enodes (cost 121 ) 15.342 * * [simplify]: Extracting # 0 : cost 0 15.346 * * [simplify]: Extracting # 1 : cost 0 15.357 * * [simplify]: Extracting # 2 : cost 0 15.361 * * [simplify]: iteration done: 5001 enodes (cost 121 ) 15.361 * [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 (* 27.0 (* x y))) (pow (* 27.0 (* x y)) 3) (pow (* 27.0 (* x y)) 3) (* (cbrt (* 27.0 (* x y))) (cbrt (* 27.0 (* x y)))) (cbrt (* 27.0 (* x y))) (pow (* 27.0 (* x y)) 3) (sqrt (* 27.0 (* x y))) (sqrt (* 27.0 (* x y))) (* 27.0 x) (* (cbrt 27.0) (* x y)) (* (sqrt 27.0) (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) 15.361 * * * [progress]: adding candidates to table 15.399 * * [progress]: iteration 3 / 4 15.399 * * * [progress]: picking best candidate 15.416 * * * * [pick]: Picked # 15.416 * * * [progress]: localizing error 15.428 * * * [progress]: generating rewritten candidates 15.428 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 15.508 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2) 15.531 * * * [progress]: generating series expansions 15.531 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 15.532 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) into (* (pow (sqrt 27.0) 2) (* x y)) 15.532 * [approximate]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0 15.532 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* x y)) in y 15.532 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 15.532 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 15.532 * [taylor]: Taking taylor expansion of 27.0 in y 15.532 * [backup-simplify]: Simplify 27.0 into 27.0 15.532 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 15.533 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 15.533 * [taylor]: Taking taylor expansion of (* x y) in y 15.533 * [taylor]: Taking taylor expansion of x in y 15.533 * [backup-simplify]: Simplify x into x 15.533 * [taylor]: Taking taylor expansion of y in y 15.533 * [backup-simplify]: Simplify 0 into 0 15.533 * [backup-simplify]: Simplify 1 into 1 15.533 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* x y)) in x 15.533 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 15.533 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 15.533 * [taylor]: Taking taylor expansion of 27.0 in x 15.533 * [backup-simplify]: Simplify 27.0 into 27.0 15.533 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 15.534 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 15.534 * [taylor]: Taking taylor expansion of (* x y) in x 15.534 * [taylor]: Taking taylor expansion of x in x 15.534 * [backup-simplify]: Simplify 0 into 0 15.534 * [backup-simplify]: Simplify 1 into 1 15.534 * [taylor]: Taking taylor expansion of y in x 15.534 * [backup-simplify]: Simplify y into y 15.534 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* x y)) in x 15.534 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 15.534 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 15.534 * [taylor]: Taking taylor expansion of 27.0 in x 15.534 * [backup-simplify]: Simplify 27.0 into 27.0 15.534 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 15.535 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 15.535 * [taylor]: Taking taylor expansion of (* x y) in x 15.535 * [taylor]: Taking taylor expansion of x in x 15.535 * [backup-simplify]: Simplify 0 into 0 15.535 * [backup-simplify]: Simplify 1 into 1 15.535 * [taylor]: Taking taylor expansion of y in x 15.535 * [backup-simplify]: Simplify y into y 15.536 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 15.536 * [backup-simplify]: Simplify (* 0 y) into 0 15.536 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) 0) into 0 15.536 * [taylor]: Taking taylor expansion of 0 in y 15.536 * [backup-simplify]: Simplify 0 into 0 15.536 * [backup-simplify]: Simplify 0 into 0 15.537 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 15.537 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 15.538 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) y) (* 0 0)) into (* (pow (sqrt 27.0) 2) y) 15.538 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) y) in y 15.538 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 15.538 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 15.538 * [taylor]: Taking taylor expansion of 27.0 in y 15.538 * [backup-simplify]: Simplify 27.0 into 27.0 15.538 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 15.539 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 15.539 * [taylor]: Taking taylor expansion of y in y 15.539 * [backup-simplify]: Simplify 0 into 0 15.539 * [backup-simplify]: Simplify 1 into 1 15.540 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 15.540 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) 0) into 0 15.540 * [backup-simplify]: Simplify 0 into 0 15.540 * [backup-simplify]: Simplify 0 into 0 15.541 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 15.541 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 15.542 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 15.542 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 0) (+ (* 0 y) (* 0 0))) into 0 15.543 * [taylor]: Taking taylor expansion of 0 in y 15.543 * [backup-simplify]: Simplify 0 into 0 15.543 * [backup-simplify]: Simplify 0 into 0 15.543 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 15.545 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 1) (* 0 0)) into (pow (sqrt 27.0) 2) 15.545 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2) 15.545 * [backup-simplify]: Simplify 0 into 0 15.546 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 15.547 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 15.548 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 15.549 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 15.549 * [taylor]: Taking taylor expansion of 0 in y 15.549 * [backup-simplify]: Simplify 0 into 0 15.549 * [backup-simplify]: Simplify 0 into 0 15.549 * [backup-simplify]: Simplify 0 into 0 15.549 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 15.550 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 15.551 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 0) (+ (* 0 1) (* 0 0))) into 0 15.551 * [backup-simplify]: Simplify 0 into 0 15.551 * [backup-simplify]: Simplify 0 into 0 15.552 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 15.553 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 15.553 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0)))))) into 0 15.554 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 15.554 * [taylor]: Taking taylor expansion of 0 in y 15.554 * [backup-simplify]: Simplify 0 into 0 15.555 * [backup-simplify]: Simplify 0 into 0 15.555 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* y x)) into (* (pow (sqrt 27.0) 2) (* x y)) 15.556 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (sqrt 27.0) (* (/ 1 x) (/ 1 y)))) into (/ (pow (sqrt 27.0) 2) (* x y)) 15.556 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0 15.556 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in y 15.556 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 15.556 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 15.556 * [taylor]: Taking taylor expansion of 27.0 in y 15.556 * [backup-simplify]: Simplify 27.0 into 27.0 15.556 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 15.557 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 15.557 * [taylor]: Taking taylor expansion of (* x y) in y 15.557 * [taylor]: Taking taylor expansion of x in y 15.557 * [backup-simplify]: Simplify x into x 15.557 * [taylor]: Taking taylor expansion of y in y 15.557 * [backup-simplify]: Simplify 0 into 0 15.557 * [backup-simplify]: Simplify 1 into 1 15.557 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 15.558 * [backup-simplify]: Simplify (* x 0) into 0 15.558 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 15.558 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) x) into (/ (pow (sqrt 27.0) 2) x) 15.558 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 15.558 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 15.558 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 15.559 * [taylor]: Taking taylor expansion of 27.0 in x 15.559 * [backup-simplify]: Simplify 27.0 into 27.0 15.559 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 15.559 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 15.559 * [taylor]: Taking taylor expansion of (* x y) in x 15.559 * [taylor]: Taking taylor expansion of x in x 15.559 * [backup-simplify]: Simplify 0 into 0 15.559 * [backup-simplify]: Simplify 1 into 1 15.559 * [taylor]: Taking taylor expansion of y in x 15.559 * [backup-simplify]: Simplify y into y 15.560 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 15.560 * [backup-simplify]: Simplify (* 0 y) into 0 15.560 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 15.561 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 15.561 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 15.561 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 15.561 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 15.561 * [taylor]: Taking taylor expansion of 27.0 in x 15.561 * [backup-simplify]: Simplify 27.0 into 27.0 15.561 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 15.562 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 15.562 * [taylor]: Taking taylor expansion of (* x y) in x 15.562 * [taylor]: Taking taylor expansion of x in x 15.562 * [backup-simplify]: Simplify 0 into 0 15.562 * [backup-simplify]: Simplify 1 into 1 15.562 * [taylor]: Taking taylor expansion of y in x 15.562 * [backup-simplify]: Simplify y into y 15.563 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 15.563 * [backup-simplify]: Simplify (* 0 y) into 0 15.563 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 15.564 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 15.564 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) y) in y 15.564 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 15.564 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 15.564 * [taylor]: Taking taylor expansion of 27.0 in y 15.564 * [backup-simplify]: Simplify 27.0 into 27.0 15.564 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 15.565 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 15.565 * [taylor]: Taking taylor expansion of y in y 15.565 * [backup-simplify]: Simplify 0 into 0 15.565 * [backup-simplify]: Simplify 1 into 1 15.566 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 15.567 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) 1) into (pow (sqrt 27.0) 2) 15.567 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2) 15.568 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 15.568 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 15.569 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)))) into 0 15.569 * [taylor]: Taking taylor expansion of 0 in y 15.569 * [backup-simplify]: Simplify 0 into 0 15.570 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 15.570 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)))) into 0 15.570 * [backup-simplify]: Simplify 0 into 0 15.571 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 15.572 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 15.572 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 15.574 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.574 * [taylor]: Taking taylor expansion of 0 in y 15.574 * [backup-simplify]: Simplify 0 into 0 15.574 * [backup-simplify]: Simplify 0 into 0 15.575 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 15.576 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 15.577 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.577 * [backup-simplify]: Simplify 0 into 0 15.578 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 15.580 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 15.581 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 15.583 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.583 * [taylor]: Taking taylor expansion of 0 in y 15.583 * [backup-simplify]: Simplify 0 into 0 15.583 * [backup-simplify]: Simplify 0 into 0 15.583 * [backup-simplify]: Simplify 0 into 0 15.584 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 15.585 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 15.587 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.587 * [backup-simplify]: Simplify 0 into 0 15.588 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* (pow (sqrt 27.0) 2) (* x y)) 15.589 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (sqrt 27.0) (* (/ 1 (- x)) (/ 1 (- y))))) into (/ (pow (sqrt 27.0) 2) (* x y)) 15.589 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0 15.589 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in y 15.589 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 15.589 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 15.589 * [taylor]: Taking taylor expansion of 27.0 in y 15.589 * [backup-simplify]: Simplify 27.0 into 27.0 15.590 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 15.590 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 15.590 * [taylor]: Taking taylor expansion of (* x y) in y 15.590 * [taylor]: Taking taylor expansion of x in y 15.590 * [backup-simplify]: Simplify x into x 15.590 * [taylor]: Taking taylor expansion of y in y 15.590 * [backup-simplify]: Simplify 0 into 0 15.591 * [backup-simplify]: Simplify 1 into 1 15.592 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 15.592 * [backup-simplify]: Simplify (* x 0) into 0 15.592 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 15.593 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) x) into (/ (pow (sqrt 27.0) 2) x) 15.593 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 15.593 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 15.593 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 15.593 * [taylor]: Taking taylor expansion of 27.0 in x 15.593 * [backup-simplify]: Simplify 27.0 into 27.0 15.594 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 15.595 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 15.595 * [taylor]: Taking taylor expansion of (* x y) in x 15.595 * [taylor]: Taking taylor expansion of x in x 15.595 * [backup-simplify]: Simplify 0 into 0 15.595 * [backup-simplify]: Simplify 1 into 1 15.595 * [taylor]: Taking taylor expansion of y in x 15.595 * [backup-simplify]: Simplify y into y 15.596 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 15.596 * [backup-simplify]: Simplify (* 0 y) into 0 15.597 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 15.598 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 15.598 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 15.598 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 15.598 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 15.598 * [taylor]: Taking taylor expansion of 27.0 in x 15.598 * [backup-simplify]: Simplify 27.0 into 27.0 15.598 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 15.599 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 15.599 * [taylor]: Taking taylor expansion of (* x y) in x 15.599 * [taylor]: Taking taylor expansion of x in x 15.599 * [backup-simplify]: Simplify 0 into 0 15.599 * [backup-simplify]: Simplify 1 into 1 15.599 * [taylor]: Taking taylor expansion of y in x 15.599 * [backup-simplify]: Simplify y into y 15.600 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 15.600 * [backup-simplify]: Simplify (* 0 y) into 0 15.601 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 15.601 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 15.601 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) y) in y 15.601 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 15.601 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 15.601 * [taylor]: Taking taylor expansion of 27.0 in y 15.601 * [backup-simplify]: Simplify 27.0 into 27.0 15.602 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 15.602 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 15.602 * [taylor]: Taking taylor expansion of y in y 15.602 * [backup-simplify]: Simplify 0 into 0 15.602 * [backup-simplify]: Simplify 1 into 1 15.603 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 15.604 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) 1) into (pow (sqrt 27.0) 2) 15.605 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2) 15.605 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 15.606 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 15.606 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)))) into 0 15.606 * [taylor]: Taking taylor expansion of 0 in y 15.606 * [backup-simplify]: Simplify 0 into 0 15.607 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 15.607 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)))) into 0 15.607 * [backup-simplify]: Simplify 0 into 0 15.608 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 15.609 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 15.609 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 15.610 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.610 * [taylor]: Taking taylor expansion of 0 in y 15.610 * [backup-simplify]: Simplify 0 into 0 15.610 * [backup-simplify]: Simplify 0 into 0 15.611 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 15.611 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 15.612 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.612 * [backup-simplify]: Simplify 0 into 0 15.613 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 15.614 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 15.615 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 15.615 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.615 * [taylor]: Taking taylor expansion of 0 in y 15.615 * [backup-simplify]: Simplify 0 into 0 15.615 * [backup-simplify]: Simplify 0 into 0 15.615 * [backup-simplify]: Simplify 0 into 0 15.616 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 15.617 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 15.618 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.618 * [backup-simplify]: Simplify 0 into 0 15.618 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* (pow (sqrt 27.0) 2) (* x y)) 15.619 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2) 15.619 * [backup-simplify]: Simplify (* (sqrt 27.0) (* x y)) into (* (sqrt 27.0) (* x y)) 15.619 * [approximate]: Taking taylor expansion of (* (sqrt 27.0) (* x y)) in (x y) around 0 15.619 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* x y)) in y 15.619 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 15.619 * [taylor]: Taking taylor expansion of 27.0 in y 15.619 * [backup-simplify]: Simplify 27.0 into 27.0 15.619 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 15.620 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 15.620 * [taylor]: Taking taylor expansion of (* x y) in y 15.620 * [taylor]: Taking taylor expansion of x in y 15.620 * [backup-simplify]: Simplify x into x 15.620 * [taylor]: Taking taylor expansion of y in y 15.620 * [backup-simplify]: Simplify 0 into 0 15.620 * [backup-simplify]: Simplify 1 into 1 15.620 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* x y)) in x 15.620 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 15.620 * [taylor]: Taking taylor expansion of 27.0 in x 15.620 * [backup-simplify]: Simplify 27.0 into 27.0 15.624 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 15.624 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 15.624 * [taylor]: Taking taylor expansion of (* x y) in x 15.624 * [taylor]: Taking taylor expansion of x in x 15.624 * [backup-simplify]: Simplify 0 into 0 15.624 * [backup-simplify]: Simplify 1 into 1 15.625 * [taylor]: Taking taylor expansion of y in x 15.625 * [backup-simplify]: Simplify y into y 15.625 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* x y)) in x 15.625 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 15.625 * [taylor]: Taking taylor expansion of 27.0 in x 15.625 * [backup-simplify]: Simplify 27.0 into 27.0 15.625 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 15.625 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 15.625 * [taylor]: Taking taylor expansion of (* x y) in x 15.625 * [taylor]: Taking taylor expansion of x in x 15.625 * [backup-simplify]: Simplify 0 into 0 15.625 * [backup-simplify]: Simplify 1 into 1 15.625 * [taylor]: Taking taylor expansion of y in x 15.625 * [backup-simplify]: Simplify y into y 15.626 * [backup-simplify]: Simplify (* 0 y) into 0 15.626 * [backup-simplify]: Simplify (* (sqrt 27.0) 0) into 0 15.626 * [taylor]: Taking taylor expansion of 0 in y 15.626 * [backup-simplify]: Simplify 0 into 0 15.626 * [backup-simplify]: Simplify 0 into 0 15.626 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 15.627 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) y) (* 0 0)) into (* (sqrt 27.0) y) 15.627 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) y) in y 15.627 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 15.627 * [taylor]: Taking taylor expansion of 27.0 in y 15.627 * [backup-simplify]: Simplify 27.0 into 27.0 15.627 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 15.627 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 15.627 * [taylor]: Taking taylor expansion of y in y 15.628 * [backup-simplify]: Simplify 0 into 0 15.628 * [backup-simplify]: Simplify 1 into 1 15.628 * [backup-simplify]: Simplify (* (sqrt 27.0) 0) into 0 15.628 * [backup-simplify]: Simplify 0 into 0 15.628 * [backup-simplify]: Simplify 0 into 0 15.629 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 15.630 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 15.631 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 y) (* 0 0))) into 0 15.631 * [taylor]: Taking taylor expansion of 0 in y 15.631 * [backup-simplify]: Simplify 0 into 0 15.631 * [backup-simplify]: Simplify 0 into 0 15.633 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 1) (* 0 0)) into (sqrt 27.0) 15.633 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 15.633 * [backup-simplify]: Simplify 0 into 0 15.634 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 15.634 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 15.635 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 15.635 * [taylor]: Taking taylor expansion of 0 in y 15.635 * [backup-simplify]: Simplify 0 into 0 15.635 * [backup-simplify]: Simplify 0 into 0 15.635 * [backup-simplify]: Simplify 0 into 0 15.636 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 15.636 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 1) (* 0 0))) into 0 15.636 * [backup-simplify]: Simplify 0 into 0 15.636 * [backup-simplify]: Simplify 0 into 0 15.637 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 15.638 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 15.639 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 15.639 * [taylor]: Taking taylor expansion of 0 in y 15.639 * [backup-simplify]: Simplify 0 into 0 15.639 * [backup-simplify]: Simplify 0 into 0 15.639 * [backup-simplify]: Simplify (* (sqrt 27.0) (* y x)) into (* (sqrt 27.0) (* x y)) 15.640 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 x) (/ 1 y))) into (/ (sqrt 27.0) (* x y)) 15.640 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in (x y) around 0 15.640 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in y 15.640 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 15.640 * [taylor]: Taking taylor expansion of 27.0 in y 15.640 * [backup-simplify]: Simplify 27.0 into 27.0 15.640 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 15.641 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 15.641 * [taylor]: Taking taylor expansion of (* x y) in y 15.641 * [taylor]: Taking taylor expansion of x in y 15.641 * [backup-simplify]: Simplify x into x 15.641 * [taylor]: Taking taylor expansion of y in y 15.641 * [backup-simplify]: Simplify 0 into 0 15.641 * [backup-simplify]: Simplify 1 into 1 15.641 * [backup-simplify]: Simplify (* x 0) into 0 15.641 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 15.641 * [backup-simplify]: Simplify (/ (sqrt 27.0) x) into (/ (sqrt 27.0) x) 15.641 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 15.641 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 15.641 * [taylor]: Taking taylor expansion of 27.0 in x 15.641 * [backup-simplify]: Simplify 27.0 into 27.0 15.642 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 15.642 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 15.642 * [taylor]: Taking taylor expansion of (* x y) in x 15.642 * [taylor]: Taking taylor expansion of x in x 15.642 * [backup-simplify]: Simplify 0 into 0 15.642 * [backup-simplify]: Simplify 1 into 1 15.642 * [taylor]: Taking taylor expansion of y in x 15.642 * [backup-simplify]: Simplify y into y 15.642 * [backup-simplify]: Simplify (* 0 y) into 0 15.643 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 15.643 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 15.643 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 15.643 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 15.643 * [taylor]: Taking taylor expansion of 27.0 in x 15.643 * [backup-simplify]: Simplify 27.0 into 27.0 15.643 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 15.644 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 15.644 * [taylor]: Taking taylor expansion of (* x y) in x 15.644 * [taylor]: Taking taylor expansion of x in x 15.644 * [backup-simplify]: Simplify 0 into 0 15.644 * [backup-simplify]: Simplify 1 into 1 15.644 * [taylor]: Taking taylor expansion of y in x 15.644 * [backup-simplify]: Simplify y into y 15.644 * [backup-simplify]: Simplify (* 0 y) into 0 15.644 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 15.645 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 15.645 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y 15.645 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 15.645 * [taylor]: Taking taylor expansion of 27.0 in y 15.645 * [backup-simplify]: Simplify 27.0 into 27.0 15.645 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 15.645 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 15.645 * [taylor]: Taking taylor expansion of y in y 15.645 * [backup-simplify]: Simplify 0 into 0 15.645 * [backup-simplify]: Simplify 1 into 1 15.646 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0) 15.646 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 15.647 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 15.647 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)))) into 0 15.647 * [taylor]: Taking taylor expansion of 0 in y 15.647 * [backup-simplify]: Simplify 0 into 0 15.648 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)))) into 0 15.648 * [backup-simplify]: Simplify 0 into 0 15.649 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 15.649 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 15.650 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.650 * [taylor]: Taking taylor expansion of 0 in y 15.650 * [backup-simplify]: Simplify 0 into 0 15.650 * [backup-simplify]: Simplify 0 into 0 15.651 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 15.651 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.651 * [backup-simplify]: Simplify 0 into 0 15.652 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 15.653 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 15.653 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.653 * [taylor]: Taking taylor expansion of 0 in y 15.654 * [backup-simplify]: Simplify 0 into 0 15.654 * [backup-simplify]: Simplify 0 into 0 15.654 * [backup-simplify]: Simplify 0 into 0 15.654 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 15.655 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.655 * [backup-simplify]: Simplify 0 into 0 15.655 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* (sqrt 27.0) (* x y)) 15.656 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (- x)) (/ 1 (- y)))) into (/ (sqrt 27.0) (* x y)) 15.656 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in (x y) around 0 15.656 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in y 15.656 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 15.656 * [taylor]: Taking taylor expansion of 27.0 in y 15.656 * [backup-simplify]: Simplify 27.0 into 27.0 15.656 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 15.657 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 15.657 * [taylor]: Taking taylor expansion of (* x y) in y 15.657 * [taylor]: Taking taylor expansion of x in y 15.657 * [backup-simplify]: Simplify x into x 15.657 * [taylor]: Taking taylor expansion of y in y 15.657 * [backup-simplify]: Simplify 0 into 0 15.657 * [backup-simplify]: Simplify 1 into 1 15.657 * [backup-simplify]: Simplify (* x 0) into 0 15.657 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 15.657 * [backup-simplify]: Simplify (/ (sqrt 27.0) x) into (/ (sqrt 27.0) x) 15.657 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 15.657 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 15.657 * [taylor]: Taking taylor expansion of 27.0 in x 15.657 * [backup-simplify]: Simplify 27.0 into 27.0 15.658 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 15.658 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 15.658 * [taylor]: Taking taylor expansion of (* x y) in x 15.658 * [taylor]: Taking taylor expansion of x in x 15.658 * [backup-simplify]: Simplify 0 into 0 15.658 * [backup-simplify]: Simplify 1 into 1 15.658 * [taylor]: Taking taylor expansion of y in x 15.658 * [backup-simplify]: Simplify y into y 15.658 * [backup-simplify]: Simplify (* 0 y) into 0 15.658 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 15.659 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 15.659 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 15.659 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 15.659 * [taylor]: Taking taylor expansion of 27.0 in x 15.659 * [backup-simplify]: Simplify 27.0 into 27.0 15.659 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 15.659 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 15.659 * [taylor]: Taking taylor expansion of (* x y) in x 15.660 * [taylor]: Taking taylor expansion of x in x 15.660 * [backup-simplify]: Simplify 0 into 0 15.660 * [backup-simplify]: Simplify 1 into 1 15.660 * [taylor]: Taking taylor expansion of y in x 15.660 * [backup-simplify]: Simplify y into y 15.660 * [backup-simplify]: Simplify (* 0 y) into 0 15.660 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 15.660 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 15.660 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y 15.660 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 15.660 * [taylor]: Taking taylor expansion of 27.0 in y 15.660 * [backup-simplify]: Simplify 27.0 into 27.0 15.661 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 15.661 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 15.661 * [taylor]: Taking taylor expansion of y in y 15.661 * [backup-simplify]: Simplify 0 into 0 15.661 * [backup-simplify]: Simplify 1 into 1 15.662 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0) 15.662 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 15.663 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 15.663 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)))) into 0 15.663 * [taylor]: Taking taylor expansion of 0 in y 15.663 * [backup-simplify]: Simplify 0 into 0 15.664 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)))) into 0 15.664 * [backup-simplify]: Simplify 0 into 0 15.665 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 15.665 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 15.666 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.666 * [taylor]: Taking taylor expansion of 0 in y 15.666 * [backup-simplify]: Simplify 0 into 0 15.666 * [backup-simplify]: Simplify 0 into 0 15.667 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 15.667 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.667 * [backup-simplify]: Simplify 0 into 0 15.668 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 15.669 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 15.670 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.670 * [taylor]: Taking taylor expansion of 0 in y 15.670 * [backup-simplify]: Simplify 0 into 0 15.670 * [backup-simplify]: Simplify 0 into 0 15.670 * [backup-simplify]: Simplify 0 into 0 15.670 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 15.671 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.671 * [backup-simplify]: Simplify 0 into 0 15.672 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* (sqrt 27.0) (* x y)) 15.672 * * * [progress]: simplifying candidates 15.673 * [simplify]: Simplifying: (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) (+ (log (sqrt 27.0)) (+ (log (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) (* x y)))) (log (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (exp (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* (sqrt 27.0) (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) (* x y)) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* x y)))) (* (cbrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (cbrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))) (cbrt (* (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) (* x y)))) (sqrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (sqrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (* (sqrt 27.0) (sqrt 27.0)) (* (cbrt (sqrt 27.0)) (* (sqrt 27.0) (* x y))) (* (sqrt (cbrt 27.0)) (* (sqrt 27.0) (* x y))) (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y)) (+ (log (sqrt 27.0)) (+ (log x) (log y))) (+ (log (sqrt 27.0)) (log (* x y))) (log (* (sqrt 27.0) (* x y))) (exp (* (sqrt 27.0) (* x y))) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* x x) x) (* (* y y) y))) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* x y) (* x y)) (* x y))) (* (cbrt (* (sqrt 27.0) (* x y))) (cbrt (* (sqrt 27.0) (* x y)))) (cbrt (* (sqrt 27.0) (* x y))) (* (* (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* x y))) (sqrt (* (sqrt 27.0) (* x y))) (sqrt (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) x) (* (cbrt (sqrt 27.0)) (* x y)) (* (sqrt (cbrt 27.0)) (* x y)) (* (sqrt (sqrt 27.0)) (* x y)) (* (sqrt 27.0) (* x y)) (* (sqrt (sqrt 27.0)) (* x y)) (* (sqrt 27.0) (* x y)) (* (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)) 15.674 * * [simplify]: Extracting # 0 : cost 0 15.674 * * [simplify]: Extracting # 1 : cost 0 15.675 * * [simplify]: Extracting # 2 : cost 0 15.675 * * [simplify]: Extracting # 3 : cost 0 15.675 * * [simplify]: Extracting # 4 : cost 0 15.675 * * [simplify]: Extracting # 5 : cost 0 15.675 * * [simplify]: Extracting # 6 : cost 0 15.675 * * [simplify]: Extracting # 7 : cost 0 15.676 * * [simplify]: iteration 0 : 59 enodes (cost 538 ) 15.703 * * [simplify]: Extracting # 0 : cost 0 15.704 * * [simplify]: Extracting # 1 : cost 0 15.704 * * [simplify]: Extracting # 2 : cost 0 15.704 * * [simplify]: iteration 1 : 154 enodes (cost 408 ) 15.827 * * [simplify]: Extracting # 0 : cost 0 15.828 * * [simplify]: Extracting # 1 : cost 0 15.830 * * [simplify]: Extracting # 2 : cost 0 15.831 * * [simplify]: Extracting # 3 : cost 0 15.832 * * [simplify]: Extracting # 4 : cost 0 15.833 * * [simplify]: iteration 2 : 595 enodes (cost 332 ) 16.879 * * [simplify]: Extracting # 0 : cost 0 16.889 * * [simplify]: Extracting # 1 : cost 0 16.893 * * [simplify]: Extracting # 2 : cost 0 16.896 * * [simplify]: Extracting # 3 : cost 0 16.898 * * [simplify]: Extracting # 4 : cost 0 16.900 * * [simplify]: iteration 3 : 2557 enodes (cost 332 ) 18.956 * * [simplify]: Extracting # 0 : cost 0 18.965 * * [simplify]: Extracting # 1 : cost 0 18.969 * * [simplify]: Extracting # 2 : cost 0 18.974 * * [simplify]: Extracting # 3 : cost 0 18.978 * * [simplify]: Extracting # 4 : cost 0 18.983 * * [simplify]: iteration done: 5001 enodes (cost 330 ) 18.983 * [simplify]: Simplified to: (* (* x y) 27.0) (* (* x y) 27.0) (* (* x y) 27.0) (log (* (* 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) (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)) 27.0 (* (cbrt (sqrt 27.0)) (* (sqrt 27.0) (* x y))) (* (sqrt (cbrt 27.0)) (* (sqrt 27.0) (* x y))) (* (* x y) (pow (sqrt (sqrt 27.0)) 3)) (* (* x y) 27.0) (* (* x y) (pow (sqrt (sqrt 27.0)) 3)) (* (* x y) 27.0) (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y)) (log (* (sqrt 27.0) (* x y))) (log (* (sqrt 27.0) (* x y))) (log (* (sqrt 27.0) (* x y))) (exp (* (sqrt 27.0) (* x y))) (pow (* (sqrt 27.0) (* x y)) 3) (pow (* (sqrt 27.0) (* x y)) 3) (* (cbrt (* (sqrt 27.0) (* x y))) (cbrt (* (sqrt 27.0) (* x y)))) (cbrt (* (sqrt 27.0) (* x y))) (pow (* (sqrt 27.0) (* x y)) 3) (sqrt (* (sqrt 27.0) (* x y))) (sqrt (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) x) (* (cbrt (sqrt 27.0)) (* x y)) (* (sqrt (cbrt 27.0)) (* x y)) (* (sqrt (sqrt 27.0)) (* x y)) (* (sqrt 27.0) (* x y)) (* (sqrt (sqrt 27.0)) (* x y)) (* (sqrt 27.0) (* x y)) (* (* x y) 27.0) (* (* x y) 27.0) (* (* x y) 27.0) (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y)) 18.983 * * * [progress]: adding candidates to table 19.122 * * [progress]: iteration 4 / 4 19.122 * * * [progress]: picking best candidate 19.127 * * * * [pick]: Picked # 19.127 * * * [progress]: localizing error 19.136 * * * [progress]: generating rewritten candidates 19.136 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 19.209 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2) 19.235 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2 1) 19.259 * * * [progress]: generating series expansions 19.259 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 19.260 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (* (sqrt 27.0) x) y)) into (* (pow (sqrt 27.0) 2) (* x y)) 19.260 * [approximate]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0 19.260 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* x y)) in y 19.260 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 19.260 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 19.260 * [taylor]: Taking taylor expansion of 27.0 in y 19.260 * [backup-simplify]: Simplify 27.0 into 27.0 19.261 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 19.262 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 19.262 * [taylor]: Taking taylor expansion of (* x y) in y 19.262 * [taylor]: Taking taylor expansion of x in y 19.262 * [backup-simplify]: Simplify x into x 19.262 * [taylor]: Taking taylor expansion of y in y 19.262 * [backup-simplify]: Simplify 0 into 0 19.262 * [backup-simplify]: Simplify 1 into 1 19.262 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* x y)) in x 19.262 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 19.262 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 19.262 * [taylor]: Taking taylor expansion of 27.0 in x 19.262 * [backup-simplify]: Simplify 27.0 into 27.0 19.262 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 19.263 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 19.263 * [taylor]: Taking taylor expansion of (* x y) in x 19.263 * [taylor]: Taking taylor expansion of x in x 19.263 * [backup-simplify]: Simplify 0 into 0 19.263 * [backup-simplify]: Simplify 1 into 1 19.263 * [taylor]: Taking taylor expansion of y in x 19.263 * [backup-simplify]: Simplify y into y 19.263 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* x y)) in x 19.263 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 19.263 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 19.263 * [taylor]: Taking taylor expansion of 27.0 in x 19.263 * [backup-simplify]: Simplify 27.0 into 27.0 19.264 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 19.265 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 19.265 * [taylor]: Taking taylor expansion of (* x y) in x 19.265 * [taylor]: Taking taylor expansion of x in x 19.265 * [backup-simplify]: Simplify 0 into 0 19.265 * [backup-simplify]: Simplify 1 into 1 19.265 * [taylor]: Taking taylor expansion of y in x 19.265 * [backup-simplify]: Simplify y into y 19.266 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 19.266 * [backup-simplify]: Simplify (* 0 y) into 0 19.267 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) 0) into 0 19.267 * [taylor]: Taking taylor expansion of 0 in y 19.267 * [backup-simplify]: Simplify 0 into 0 19.267 * [backup-simplify]: Simplify 0 into 0 19.268 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 19.269 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 19.270 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) y) (* 0 0)) into (* (pow (sqrt 27.0) 2) y) 19.270 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) y) in y 19.270 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 19.270 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 19.270 * [taylor]: Taking taylor expansion of 27.0 in y 19.270 * [backup-simplify]: Simplify 27.0 into 27.0 19.271 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 19.272 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 19.272 * [taylor]: Taking taylor expansion of y in y 19.272 * [backup-simplify]: Simplify 0 into 0 19.272 * [backup-simplify]: Simplify 1 into 1 19.273 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 19.274 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) 0) into 0 19.274 * [backup-simplify]: Simplify 0 into 0 19.274 * [backup-simplify]: Simplify 0 into 0 19.275 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 19.276 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 19.277 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 19.278 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 0) (+ (* 0 y) (* 0 0))) into 0 19.278 * [taylor]: Taking taylor expansion of 0 in y 19.278 * [backup-simplify]: Simplify 0 into 0 19.278 * [backup-simplify]: Simplify 0 into 0 19.279 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 19.281 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 1) (* 0 0)) into (pow (sqrt 27.0) 2) 19.282 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2) 19.283 * [backup-simplify]: Simplify 0 into 0 19.284 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 19.285 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 19.286 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 19.288 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 19.288 * [taylor]: Taking taylor expansion of 0 in y 19.288 * [backup-simplify]: Simplify 0 into 0 19.288 * [backup-simplify]: Simplify 0 into 0 19.288 * [backup-simplify]: Simplify 0 into 0 19.289 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 19.290 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 19.292 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 0) (+ (* 0 1) (* 0 0))) into 0 19.292 * [backup-simplify]: Simplify 0 into 0 19.292 * [backup-simplify]: Simplify 0 into 0 19.293 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 19.295 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 19.296 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0)))))) into 0 19.298 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 19.298 * [taylor]: Taking taylor expansion of 0 in y 19.298 * [backup-simplify]: Simplify 0 into 0 19.298 * [backup-simplify]: Simplify 0 into 0 19.299 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* y x)) into (* (pow (sqrt 27.0) 2) (* x y)) 19.300 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (* (sqrt 27.0) (/ 1 x)) (/ 1 y))) into (/ (pow (sqrt 27.0) 2) (* x y)) 19.300 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0 19.300 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in y 19.300 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 19.300 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 19.300 * [taylor]: Taking taylor expansion of 27.0 in y 19.300 * [backup-simplify]: Simplify 27.0 into 27.0 19.300 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 19.301 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 19.301 * [taylor]: Taking taylor expansion of (* x y) in y 19.301 * [taylor]: Taking taylor expansion of x in y 19.301 * [backup-simplify]: Simplify x into x 19.301 * [taylor]: Taking taylor expansion of y in y 19.301 * [backup-simplify]: Simplify 0 into 0 19.301 * [backup-simplify]: Simplify 1 into 1 19.303 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 19.303 * [backup-simplify]: Simplify (* x 0) into 0 19.303 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 19.304 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) x) into (/ (pow (sqrt 27.0) 2) x) 19.304 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 19.304 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 19.304 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 19.304 * [taylor]: Taking taylor expansion of 27.0 in x 19.304 * [backup-simplify]: Simplify 27.0 into 27.0 19.305 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 19.305 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 19.305 * [taylor]: Taking taylor expansion of (* x y) in x 19.305 * [taylor]: Taking taylor expansion of x in x 19.305 * [backup-simplify]: Simplify 0 into 0 19.305 * [backup-simplify]: Simplify 1 into 1 19.305 * [taylor]: Taking taylor expansion of y in x 19.305 * [backup-simplify]: Simplify y into y 19.307 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 19.307 * [backup-simplify]: Simplify (* 0 y) into 0 19.307 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 19.308 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 19.308 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 19.308 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 19.309 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 19.309 * [taylor]: Taking taylor expansion of 27.0 in x 19.309 * [backup-simplify]: Simplify 27.0 into 27.0 19.309 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 19.310 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 19.310 * [taylor]: Taking taylor expansion of (* x y) in x 19.310 * [taylor]: Taking taylor expansion of x in x 19.310 * [backup-simplify]: Simplify 0 into 0 19.310 * [backup-simplify]: Simplify 1 into 1 19.310 * [taylor]: Taking taylor expansion of y in x 19.310 * [backup-simplify]: Simplify y into y 19.311 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 19.311 * [backup-simplify]: Simplify (* 0 y) into 0 19.312 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 19.313 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 19.313 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) y) in y 19.313 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 19.313 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 19.313 * [taylor]: Taking taylor expansion of 27.0 in y 19.313 * [backup-simplify]: Simplify 27.0 into 27.0 19.313 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 19.314 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 19.314 * [taylor]: Taking taylor expansion of y in y 19.314 * [backup-simplify]: Simplify 0 into 0 19.314 * [backup-simplify]: Simplify 1 into 1 19.315 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 19.317 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) 1) into (pow (sqrt 27.0) 2) 19.318 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2) 19.319 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 19.320 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 19.321 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)))) into 0 19.321 * [taylor]: Taking taylor expansion of 0 in y 19.321 * [backup-simplify]: Simplify 0 into 0 19.322 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 19.323 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)))) into 0 19.323 * [backup-simplify]: Simplify 0 into 0 19.325 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 19.326 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 19.327 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 19.328 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 19.328 * [taylor]: Taking taylor expansion of 0 in y 19.328 * [backup-simplify]: Simplify 0 into 0 19.328 * [backup-simplify]: Simplify 0 into 0 19.329 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 19.330 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 19.332 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 19.332 * [backup-simplify]: Simplify 0 into 0 19.333 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 19.334 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 19.336 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 19.337 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 19.337 * [taylor]: Taking taylor expansion of 0 in y 19.337 * [backup-simplify]: Simplify 0 into 0 19.337 * [backup-simplify]: Simplify 0 into 0 19.337 * [backup-simplify]: Simplify 0 into 0 19.339 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 19.340 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 19.341 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 19.341 * [backup-simplify]: Simplify 0 into 0 19.343 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* (pow (sqrt 27.0) 2) (* x y)) 19.344 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (* (sqrt 27.0) (/ 1 (- x))) (/ 1 (- y)))) into (/ (pow (sqrt 27.0) 2) (* x y)) 19.344 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0 19.344 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in y 19.344 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 19.344 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 19.344 * [taylor]: Taking taylor expansion of 27.0 in y 19.344 * [backup-simplify]: Simplify 27.0 into 27.0 19.344 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 19.345 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 19.345 * [taylor]: Taking taylor expansion of (* x y) in y 19.345 * [taylor]: Taking taylor expansion of x in y 19.345 * [backup-simplify]: Simplify x into x 19.345 * [taylor]: Taking taylor expansion of y in y 19.345 * [backup-simplify]: Simplify 0 into 0 19.345 * [backup-simplify]: Simplify 1 into 1 19.347 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 19.347 * [backup-simplify]: Simplify (* x 0) into 0 19.347 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 19.348 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) x) into (/ (pow (sqrt 27.0) 2) x) 19.348 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 19.348 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 19.348 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 19.348 * [taylor]: Taking taylor expansion of 27.0 in x 19.348 * [backup-simplify]: Simplify 27.0 into 27.0 19.349 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 19.349 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 19.349 * [taylor]: Taking taylor expansion of (* x y) in x 19.350 * [taylor]: Taking taylor expansion of x in x 19.350 * [backup-simplify]: Simplify 0 into 0 19.350 * [backup-simplify]: Simplify 1 into 1 19.350 * [taylor]: Taking taylor expansion of y in x 19.350 * [backup-simplify]: Simplify y into y 19.351 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 19.351 * [backup-simplify]: Simplify (* 0 y) into 0 19.351 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 19.352 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 19.352 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 19.353 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 19.353 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 19.353 * [taylor]: Taking taylor expansion of 27.0 in x 19.353 * [backup-simplify]: Simplify 27.0 into 27.0 19.353 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 19.354 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 19.354 * [taylor]: Taking taylor expansion of (* x y) in x 19.354 * [taylor]: Taking taylor expansion of x in x 19.354 * [backup-simplify]: Simplify 0 into 0 19.354 * [backup-simplify]: Simplify 1 into 1 19.354 * [taylor]: Taking taylor expansion of y in x 19.354 * [backup-simplify]: Simplify y into y 19.355 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 19.355 * [backup-simplify]: Simplify (* 0 y) into 0 19.356 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 19.357 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 19.357 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) y) in y 19.357 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 19.357 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 19.357 * [taylor]: Taking taylor expansion of 27.0 in y 19.357 * [backup-simplify]: Simplify 27.0 into 27.0 19.357 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 19.358 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 19.358 * [taylor]: Taking taylor expansion of y in y 19.358 * [backup-simplify]: Simplify 0 into 0 19.358 * [backup-simplify]: Simplify 1 into 1 19.360 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 19.361 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) 1) into (pow (sqrt 27.0) 2) 19.362 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2) 19.363 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 19.364 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 19.365 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)))) into 0 19.365 * [taylor]: Taking taylor expansion of 0 in y 19.365 * [backup-simplify]: Simplify 0 into 0 19.366 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 19.367 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)))) into 0 19.367 * [backup-simplify]: Simplify 0 into 0 19.368 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 19.369 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 19.371 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 19.372 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 19.372 * [taylor]: Taking taylor expansion of 0 in y 19.372 * [backup-simplify]: Simplify 0 into 0 19.372 * [backup-simplify]: Simplify 0 into 0 19.373 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 19.374 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 19.375 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 19.375 * [backup-simplify]: Simplify 0 into 0 19.377 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 19.382 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 19.384 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 19.385 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 19.385 * [taylor]: Taking taylor expansion of 0 in y 19.385 * [backup-simplify]: Simplify 0 into 0 19.385 * [backup-simplify]: Simplify 0 into 0 19.385 * [backup-simplify]: Simplify 0 into 0 19.386 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 19.387 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 19.389 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 19.389 * [backup-simplify]: Simplify 0 into 0 19.390 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* (pow (sqrt 27.0) 2) (* x y)) 19.390 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2) 19.390 * [backup-simplify]: Simplify (* (* (sqrt 27.0) x) y) into (* (sqrt 27.0) (* x y)) 19.390 * [approximate]: Taking taylor expansion of (* (sqrt 27.0) (* x y)) in (x y) around 0 19.390 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* x y)) in y 19.390 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 19.390 * [taylor]: Taking taylor expansion of 27.0 in y 19.390 * [backup-simplify]: Simplify 27.0 into 27.0 19.391 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 19.391 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 19.392 * [taylor]: Taking taylor expansion of (* x y) in y 19.392 * [taylor]: Taking taylor expansion of x in y 19.392 * [backup-simplify]: Simplify x into x 19.392 * [taylor]: Taking taylor expansion of y in y 19.392 * [backup-simplify]: Simplify 0 into 0 19.392 * [backup-simplify]: Simplify 1 into 1 19.392 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* x y)) in x 19.392 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 19.392 * [taylor]: Taking taylor expansion of 27.0 in x 19.392 * [backup-simplify]: Simplify 27.0 into 27.0 19.392 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 19.393 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 19.393 * [taylor]: Taking taylor expansion of (* x y) in x 19.393 * [taylor]: Taking taylor expansion of x in x 19.393 * [backup-simplify]: Simplify 0 into 0 19.393 * [backup-simplify]: Simplify 1 into 1 19.393 * [taylor]: Taking taylor expansion of y in x 19.393 * [backup-simplify]: Simplify y into y 19.393 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* x y)) in x 19.393 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 19.393 * [taylor]: Taking taylor expansion of 27.0 in x 19.393 * [backup-simplify]: Simplify 27.0 into 27.0 19.393 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 19.393 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 19.394 * [taylor]: Taking taylor expansion of (* x y) in x 19.394 * [taylor]: Taking taylor expansion of x in x 19.394 * [backup-simplify]: Simplify 0 into 0 19.394 * [backup-simplify]: Simplify 1 into 1 19.394 * [taylor]: Taking taylor expansion of y in x 19.394 * [backup-simplify]: Simplify y into y 19.394 * [backup-simplify]: Simplify (* 0 y) into 0 19.394 * [backup-simplify]: Simplify (* (sqrt 27.0) 0) into 0 19.394 * [taylor]: Taking taylor expansion of 0 in y 19.394 * [backup-simplify]: Simplify 0 into 0 19.394 * [backup-simplify]: Simplify 0 into 0 19.394 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 19.395 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) y) (* 0 0)) into (* (sqrt 27.0) y) 19.395 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) y) in y 19.395 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 19.395 * [taylor]: Taking taylor expansion of 27.0 in y 19.395 * [backup-simplify]: Simplify 27.0 into 27.0 19.395 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 19.396 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 19.396 * [taylor]: Taking taylor expansion of y in y 19.396 * [backup-simplify]: Simplify 0 into 0 19.396 * [backup-simplify]: Simplify 1 into 1 19.396 * [backup-simplify]: Simplify (* (sqrt 27.0) 0) into 0 19.396 * [backup-simplify]: Simplify 0 into 0 19.396 * [backup-simplify]: Simplify 0 into 0 19.397 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 19.397 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 19.398 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 y) (* 0 0))) into 0 19.398 * [taylor]: Taking taylor expansion of 0 in y 19.398 * [backup-simplify]: Simplify 0 into 0 19.398 * [backup-simplify]: Simplify 0 into 0 19.399 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 1) (* 0 0)) into (sqrt 27.0) 19.399 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 19.399 * [backup-simplify]: Simplify 0 into 0 19.400 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 19.401 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 19.401 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 19.401 * [taylor]: Taking taylor expansion of 0 in y 19.402 * [backup-simplify]: Simplify 0 into 0 19.402 * [backup-simplify]: Simplify 0 into 0 19.402 * [backup-simplify]: Simplify 0 into 0 19.402 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 19.403 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 1) (* 0 0))) into 0 19.403 * [backup-simplify]: Simplify 0 into 0 19.403 * [backup-simplify]: Simplify 0 into 0 19.404 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 19.405 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 19.406 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 19.406 * [taylor]: Taking taylor expansion of 0 in y 19.406 * [backup-simplify]: Simplify 0 into 0 19.406 * [backup-simplify]: Simplify 0 into 0 19.406 * [backup-simplify]: Simplify (* (sqrt 27.0) (* y x)) into (* (sqrt 27.0) (* x y)) 19.406 * [backup-simplify]: Simplify (* (* (sqrt 27.0) (/ 1 x)) (/ 1 y)) into (/ (sqrt 27.0) (* x y)) 19.406 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in (x y) around 0 19.406 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in y 19.406 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 19.406 * [taylor]: Taking taylor expansion of 27.0 in y 19.406 * [backup-simplify]: Simplify 27.0 into 27.0 19.407 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 19.407 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 19.407 * [taylor]: Taking taylor expansion of (* x y) in y 19.407 * [taylor]: Taking taylor expansion of x in y 19.407 * [backup-simplify]: Simplify x into x 19.407 * [taylor]: Taking taylor expansion of y in y 19.407 * [backup-simplify]: Simplify 0 into 0 19.407 * [backup-simplify]: Simplify 1 into 1 19.407 * [backup-simplify]: Simplify (* x 0) into 0 19.407 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 19.408 * [backup-simplify]: Simplify (/ (sqrt 27.0) x) into (/ (sqrt 27.0) x) 19.408 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 19.408 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 19.408 * [taylor]: Taking taylor expansion of 27.0 in x 19.408 * [backup-simplify]: Simplify 27.0 into 27.0 19.408 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 19.408 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 19.409 * [taylor]: Taking taylor expansion of (* x y) in x 19.409 * [taylor]: Taking taylor expansion of x in x 19.409 * [backup-simplify]: Simplify 0 into 0 19.409 * [backup-simplify]: Simplify 1 into 1 19.409 * [taylor]: Taking taylor expansion of y in x 19.409 * [backup-simplify]: Simplify y into y 19.409 * [backup-simplify]: Simplify (* 0 y) into 0 19.409 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 19.409 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 19.409 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 19.409 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 19.409 * [taylor]: Taking taylor expansion of 27.0 in x 19.409 * [backup-simplify]: Simplify 27.0 into 27.0 19.410 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 19.410 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 19.410 * [taylor]: Taking taylor expansion of (* x y) in x 19.410 * [taylor]: Taking taylor expansion of x in x 19.410 * [backup-simplify]: Simplify 0 into 0 19.410 * [backup-simplify]: Simplify 1 into 1 19.410 * [taylor]: Taking taylor expansion of y in x 19.410 * [backup-simplify]: Simplify y into y 19.410 * [backup-simplify]: Simplify (* 0 y) into 0 19.411 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 19.411 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 19.411 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y 19.411 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 19.411 * [taylor]: Taking taylor expansion of 27.0 in y 19.411 * [backup-simplify]: Simplify 27.0 into 27.0 19.411 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 19.412 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 19.412 * [taylor]: Taking taylor expansion of y in y 19.412 * [backup-simplify]: Simplify 0 into 0 19.412 * [backup-simplify]: Simplify 1 into 1 19.412 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0) 19.412 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 19.413 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 19.413 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)))) into 0 19.413 * [taylor]: Taking taylor expansion of 0 in y 19.413 * [backup-simplify]: Simplify 0 into 0 19.414 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)))) into 0 19.414 * [backup-simplify]: Simplify 0 into 0 19.415 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 19.415 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 19.416 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 19.416 * [taylor]: Taking taylor expansion of 0 in y 19.416 * [backup-simplify]: Simplify 0 into 0 19.416 * [backup-simplify]: Simplify 0 into 0 19.416 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 19.417 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 19.417 * [backup-simplify]: Simplify 0 into 0 19.418 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 19.419 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 19.419 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 19.419 * [taylor]: Taking taylor expansion of 0 in y 19.419 * [backup-simplify]: Simplify 0 into 0 19.419 * [backup-simplify]: Simplify 0 into 0 19.419 * [backup-simplify]: Simplify 0 into 0 19.420 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 19.421 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 19.421 * [backup-simplify]: Simplify 0 into 0 19.421 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* (sqrt 27.0) (* x y)) 19.421 * [backup-simplify]: Simplify (* (* (sqrt 27.0) (/ 1 (- x))) (/ 1 (- y))) into (/ (sqrt 27.0) (* x y)) 19.421 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in (x y) around 0 19.421 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in y 19.421 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 19.421 * [taylor]: Taking taylor expansion of 27.0 in y 19.421 * [backup-simplify]: Simplify 27.0 into 27.0 19.422 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 19.422 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 19.422 * [taylor]: Taking taylor expansion of (* x y) in y 19.422 * [taylor]: Taking taylor expansion of x in y 19.422 * [backup-simplify]: Simplify x into x 19.422 * [taylor]: Taking taylor expansion of y in y 19.422 * [backup-simplify]: Simplify 0 into 0 19.422 * [backup-simplify]: Simplify 1 into 1 19.422 * [backup-simplify]: Simplify (* x 0) into 0 19.422 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 19.423 * [backup-simplify]: Simplify (/ (sqrt 27.0) x) into (/ (sqrt 27.0) x) 19.423 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 19.423 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 19.423 * [taylor]: Taking taylor expansion of 27.0 in x 19.423 * [backup-simplify]: Simplify 27.0 into 27.0 19.423 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 19.424 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 19.424 * [taylor]: Taking taylor expansion of (* x y) in x 19.424 * [taylor]: Taking taylor expansion of x in x 19.424 * [backup-simplify]: Simplify 0 into 0 19.424 * [backup-simplify]: Simplify 1 into 1 19.424 * [taylor]: Taking taylor expansion of y in x 19.424 * [backup-simplify]: Simplify y into y 19.424 * [backup-simplify]: Simplify (* 0 y) into 0 19.424 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 19.424 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 19.424 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 19.424 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 19.424 * [taylor]: Taking taylor expansion of 27.0 in x 19.424 * [backup-simplify]: Simplify 27.0 into 27.0 19.425 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 19.425 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 19.425 * [taylor]: Taking taylor expansion of (* x y) in x 19.425 * [taylor]: Taking taylor expansion of x in x 19.425 * [backup-simplify]: Simplify 0 into 0 19.425 * [backup-simplify]: Simplify 1 into 1 19.425 * [taylor]: Taking taylor expansion of y in x 19.425 * [backup-simplify]: Simplify y into y 19.425 * [backup-simplify]: Simplify (* 0 y) into 0 19.425 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 19.426 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 19.426 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y 19.426 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 19.426 * [taylor]: Taking taylor expansion of 27.0 in y 19.426 * [backup-simplify]: Simplify 27.0 into 27.0 19.426 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 19.426 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 19.427 * [taylor]: Taking taylor expansion of y in y 19.427 * [backup-simplify]: Simplify 0 into 0 19.427 * [backup-simplify]: Simplify 1 into 1 19.427 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0) 19.427 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 19.428 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 19.428 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)))) into 0 19.428 * [taylor]: Taking taylor expansion of 0 in y 19.428 * [backup-simplify]: Simplify 0 into 0 19.429 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)))) into 0 19.429 * [backup-simplify]: Simplify 0 into 0 19.430 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 19.430 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 19.431 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 19.431 * [taylor]: Taking taylor expansion of 0 in y 19.431 * [backup-simplify]: Simplify 0 into 0 19.431 * [backup-simplify]: Simplify 0 into 0 19.431 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 19.432 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 19.432 * [backup-simplify]: Simplify 0 into 0 19.433 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 19.434 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 19.434 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 19.434 * [taylor]: Taking taylor expansion of 0 in y 19.434 * [backup-simplify]: Simplify 0 into 0 19.434 * [backup-simplify]: Simplify 0 into 0 19.434 * [backup-simplify]: Simplify 0 into 0 19.435 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 19.436 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 19.436 * [backup-simplify]: Simplify 0 into 0 19.436 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* (sqrt 27.0) (* x y)) 19.436 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2 1) 19.436 * [backup-simplify]: Simplify (* (sqrt 27.0) x) into (* (sqrt 27.0) x) 19.436 * [approximate]: Taking taylor expansion of (* (sqrt 27.0) x) in (x) around 0 19.436 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) x) in x 19.436 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 19.436 * [taylor]: Taking taylor expansion of 27.0 in x 19.436 * [backup-simplify]: Simplify 27.0 into 27.0 19.437 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 19.437 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 19.437 * [taylor]: Taking taylor expansion of x in x 19.437 * [backup-simplify]: Simplify 0 into 0 19.437 * [backup-simplify]: Simplify 1 into 1 19.437 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) x) in x 19.437 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 19.437 * [taylor]: Taking taylor expansion of 27.0 in x 19.437 * [backup-simplify]: Simplify 27.0 into 27.0 19.437 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 19.438 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 19.438 * [taylor]: Taking taylor expansion of x in x 19.438 * [backup-simplify]: Simplify 0 into 0 19.438 * [backup-simplify]: Simplify 1 into 1 19.438 * [backup-simplify]: Simplify (* (sqrt 27.0) 0) into 0 19.438 * [backup-simplify]: Simplify 0 into 0 19.439 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 1) (* 0 0)) into (sqrt 27.0) 19.440 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 19.440 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 19.441 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 1) (* 0 0))) into 0 19.441 * [backup-simplify]: Simplify 0 into 0 19.442 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 19.442 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 19.442 * [backup-simplify]: Simplify 0 into 0 19.443 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 19.444 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 19.444 * [backup-simplify]: Simplify 0 into 0 19.445 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 19.446 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 19.446 * [backup-simplify]: Simplify 0 into 0 19.446 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 19.447 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 19.447 * [backup-simplify]: Simplify 0 into 0 19.448 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 19.449 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 19.449 * [backup-simplify]: Simplify 0 into 0 19.450 * [backup-simplify]: Simplify (* (sqrt 27.0) x) into (* (sqrt 27.0) x) 19.450 * [backup-simplify]: Simplify (* (sqrt 27.0) (/ 1 x)) into (/ (sqrt 27.0) x) 19.450 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) x) in (x) around 0 19.450 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) x) in x 19.450 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 19.450 * [taylor]: Taking taylor expansion of 27.0 in x 19.450 * [backup-simplify]: Simplify 27.0 into 27.0 19.450 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 19.451 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 19.451 * [taylor]: Taking taylor expansion of x in x 19.451 * [backup-simplify]: Simplify 0 into 0 19.451 * [backup-simplify]: Simplify 1 into 1 19.451 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0) 19.451 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) x) in x 19.451 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 19.451 * [taylor]: Taking taylor expansion of 27.0 in x 19.451 * [backup-simplify]: Simplify 27.0 into 27.0 19.452 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 19.452 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 19.452 * [taylor]: Taking taylor expansion of x in x 19.452 * [backup-simplify]: Simplify 0 into 0 19.452 * [backup-simplify]: Simplify 1 into 1 19.453 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0) 19.453 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 19.454 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)))) into 0 19.454 * [backup-simplify]: Simplify 0 into 0 19.454 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 19.455 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 19.455 * [backup-simplify]: Simplify 0 into 0 19.456 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 19.456 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 19.456 * [backup-simplify]: Simplify 0 into 0 19.457 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 19.458 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 19.458 * [backup-simplify]: Simplify 0 into 0 19.459 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 19.459 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 19.459 * [backup-simplify]: Simplify 0 into 0 19.460 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 19.461 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 19.461 * [backup-simplify]: Simplify 0 into 0 19.461 * [backup-simplify]: Simplify (* (sqrt 27.0) (/ 1 (/ 1 x))) into (* (sqrt 27.0) x) 19.462 * [backup-simplify]: Simplify (* (sqrt 27.0) (/ 1 (- x))) into (* -1 (/ (sqrt 27.0) x)) 19.462 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt 27.0) x)) in (x) around 0 19.462 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 27.0) x)) in x 19.462 * [taylor]: Taking taylor expansion of -1 in x 19.462 * [backup-simplify]: Simplify -1 into -1 19.462 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) x) in x 19.462 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 19.462 * [taylor]: Taking taylor expansion of 27.0 in x 19.462 * [backup-simplify]: Simplify 27.0 into 27.0 19.462 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 19.463 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 19.463 * [taylor]: Taking taylor expansion of x in x 19.463 * [backup-simplify]: Simplify 0 into 0 19.463 * [backup-simplify]: Simplify 1 into 1 19.463 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0) 19.463 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 27.0) x)) in x 19.463 * [taylor]: Taking taylor expansion of -1 in x 19.463 * [backup-simplify]: Simplify -1 into -1 19.463 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) x) in x 19.463 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 19.463 * [taylor]: Taking taylor expansion of 27.0 in x 19.463 * [backup-simplify]: Simplify 27.0 into 27.0 19.464 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 19.464 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 19.464 * [taylor]: Taking taylor expansion of x in x 19.464 * [backup-simplify]: Simplify 0 into 0 19.464 * [backup-simplify]: Simplify 1 into 1 19.465 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0) 19.465 * [backup-simplify]: Simplify (* -1 (sqrt 27.0)) into (* -1 (sqrt 27.0)) 19.466 * [backup-simplify]: Simplify (* -1 (sqrt 27.0)) into (* -1 (sqrt 27.0)) 19.466 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)))) into 0 19.467 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (sqrt 27.0))) into 0 19.467 * [backup-simplify]: Simplify 0 into 0 19.468 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 19.468 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 19.469 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 19.469 * [backup-simplify]: Simplify 0 into 0 19.470 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 19.470 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 19.474 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 19.474 * [backup-simplify]: Simplify 0 into 0 19.475 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 19.476 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 19.477 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0)))))) into 0 19.477 * [backup-simplify]: Simplify 0 into 0 19.478 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 19.478 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 19.479 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))))) into 0 19.479 * [backup-simplify]: Simplify 0 into 0 19.480 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 19.481 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 19.482 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0)))))))) into 0 19.482 * [backup-simplify]: Simplify 0 into 0 19.482 * [backup-simplify]: Simplify (* (* -1 (sqrt 27.0)) (/ 1 (/ 1 (- x)))) into (* (sqrt 27.0) x) 19.482 * * * [progress]: simplifying candidates 19.483 * [simplify]: Simplifying: (* (sqrt 27.0) (* (* (sqrt 27.0) x) y)) (* (sqrt 27.0) (* (* (sqrt 27.0) x) y)) (* (sqrt 27.0) (* (* (sqrt 27.0) x) y)) (+ (log (sqrt 27.0)) (+ (+ (log (sqrt 27.0)) (log x)) (log y))) (+ (log (sqrt 27.0)) (+ (log (* (sqrt 27.0) x)) (log y))) (+ (log (sqrt 27.0)) (log (* (* (sqrt 27.0) x) y))) (log (* (sqrt 27.0) (* (* (sqrt 27.0) x) y))) (exp (* (sqrt 27.0) (* (* (sqrt 27.0) x) y))) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* x x) x)) (* (* y y) y))) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* (* (sqrt 27.0) x) (* (sqrt 27.0) x)) (* (sqrt 27.0) x)) (* (* y y) y))) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* (* (sqrt 27.0) x) y) (* (* (sqrt 27.0) x) y)) (* (* (sqrt 27.0) x) y))) (* (cbrt (* (sqrt 27.0) (* (* (sqrt 27.0) x) y))) (cbrt (* (sqrt 27.0) (* (* (sqrt 27.0) x) y)))) (cbrt (* (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) x) y))) (sqrt (* (sqrt 27.0) (* (* (sqrt 27.0) x) y))) (sqrt (* (sqrt 27.0) (* (* (sqrt 27.0) x) y))) (* (sqrt 27.0) (* (sqrt 27.0) x)) (* (cbrt (sqrt 27.0)) (* (* (sqrt 27.0) x) y)) (* (sqrt (cbrt 27.0)) (* (* (sqrt 27.0) x) y)) (* (sqrt (sqrt 27.0)) (* (* (sqrt 27.0) x) y)) (* (sqrt 27.0) (* (* (sqrt 27.0) x) y)) (* (sqrt (sqrt 27.0)) (* (* (sqrt 27.0) x) y)) (* (sqrt 27.0) (* (* (sqrt 27.0) x) y)) (* (* (sqrt 27.0) x) y) (* (* (sqrt 27.0) x) y) (+ (+ (log (sqrt 27.0)) (log x)) (log y)) (+ (log (* (sqrt 27.0) x)) (log y)) (log (* (* (sqrt 27.0) x) y)) (exp (* (* (sqrt 27.0) x) y)) (* (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* x x) x)) (* (* y y) y)) (* (* (* (* (sqrt 27.0) x) (* (sqrt 27.0) x)) (* (sqrt 27.0) x)) (* (* y y) y)) (* (cbrt (* (* (sqrt 27.0) x) y)) (cbrt (* (* (sqrt 27.0) x) y))) (cbrt (* (* (sqrt 27.0) x) y)) (* (* (* (* (sqrt 27.0) x) y) (* (* (sqrt 27.0) x) y)) (* (* (sqrt 27.0) x) y)) (sqrt (* (* (sqrt 27.0) x) y)) (sqrt (* (* (sqrt 27.0) x) y)) (* (* (sqrt 27.0) x) (* (cbrt y) (cbrt y))) (* (* (sqrt 27.0) x) (sqrt y)) (* (* (sqrt 27.0) x) 1) (* x y) (* (sqrt 27.0) x) (+ (log (sqrt 27.0)) (log x)) (log (* (sqrt 27.0) x)) (exp (* (sqrt 27.0) x)) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* x x) x)) (* (cbrt (* (sqrt 27.0) x)) (cbrt (* (sqrt 27.0) x))) (cbrt (* (sqrt 27.0) x)) (* (* (* (sqrt 27.0) x) (* (sqrt 27.0) x)) (* (sqrt 27.0) x)) (sqrt (* (sqrt 27.0) x)) (sqrt (* (sqrt 27.0) x)) (* (sqrt (sqrt 27.0)) (sqrt x)) (* (sqrt (sqrt 27.0)) (sqrt x)) (* (sqrt (sqrt 27.0)) (sqrt x)) (* (sqrt (sqrt 27.0)) (sqrt x)) (* (sqrt 27.0) (* (cbrt x) (cbrt x))) (* (sqrt 27.0) (sqrt x)) (* (sqrt 27.0) 1) (* (cbrt (sqrt 27.0)) x) (* (sqrt (cbrt 27.0)) x) (* (sqrt (sqrt 27.0)) x) (* (sqrt 27.0) x) (* (sqrt (sqrt 27.0)) x) (* (sqrt 27.0) x) (* (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)) (* (sqrt 27.0) x) (* (sqrt 27.0) x) (* (sqrt 27.0) x) 19.484 * * [simplify]: Extracting # 0 : cost 0 19.484 * * [simplify]: Extracting # 1 : cost 0 19.485 * * [simplify]: Extracting # 2 : cost 0 19.485 * * [simplify]: Extracting # 3 : cost 0 19.485 * * [simplify]: Extracting # 4 : cost 0 19.485 * * [simplify]: Extracting # 5 : cost 0 19.485 * * [simplify]: Extracting # 6 : cost 0 19.485 * * [simplify]: iteration 0 : 79 enodes (cost 677 ) 19.501 * * [simplify]: Extracting # 0 : cost 0 19.502 * * [simplify]: Extracting # 1 : cost 0 19.502 * * [simplify]: Extracting # 2 : cost 0 19.502 * * [simplify]: Extracting # 3 : cost 0 19.502 * * [simplify]: iteration 1 : 189 enodes (cost 534 ) 19.616 * * [simplify]: Extracting # 0 : cost 0 19.618 * * [simplify]: Extracting # 1 : cost 0 19.619 * * [simplify]: Extracting # 2 : cost 0 19.620 * * [simplify]: Extracting # 3 : cost 0 19.622 * * [simplify]: Extracting # 4 : cost 0 19.623 * * [simplify]: iteration 2 : 808 enodes (cost 450 ) 21.405 * * [simplify]: Extracting # 0 : cost 0 21.412 * * [simplify]: Extracting # 1 : cost 0 21.418 * * [simplify]: Extracting # 2 : cost 0 21.423 * * [simplify]: Extracting # 3 : cost 0 21.428 * * [simplify]: Extracting # 4 : cost 0 21.433 * * [simplify]: iteration 3 : 3445 enodes (cost 450 ) 23.519 * * [simplify]: Extracting # 0 : cost 0 23.536 * * [simplify]: Extracting # 1 : cost 0 23.541 * * [simplify]: Extracting # 2 : cost 0 23.546 * * [simplify]: Extracting # 3 : cost 0 23.551 * * [simplify]: Extracting # 4 : cost 0 23.555 * * [simplify]: iteration done: 5000 enodes (cost 448 ) 23.556 * [simplify]: Simplified to: (* (* x y) 27.0) (* (* x y) 27.0) (* (* x y) 27.0) (log (* (* 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) (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)) (* 27.0 x) (* (cbrt (sqrt 27.0)) (* (* (sqrt 27.0) x) y)) (* (sqrt (cbrt 27.0)) (* (* (sqrt 27.0) x) y)) (* y (* x (pow (sqrt (sqrt 27.0)) 3))) (* (* x y) 27.0) (* y (* x (pow (sqrt (sqrt 27.0)) 3))) (* (* x y) 27.0) (* (* (sqrt 27.0) x) y) (* (* (sqrt 27.0) x) y) (log (* (* (sqrt 27.0) x) y)) (log (* (* (sqrt 27.0) x) y)) (log (* (* (sqrt 27.0) x) y)) (exp (* (* (sqrt 27.0) x) y)) (pow (* (* (sqrt 27.0) x) y) 3) (pow (* (* (sqrt 27.0) x) y) 3) (* (cbrt (* (* (sqrt 27.0) x) y)) (cbrt (* (* (sqrt 27.0) x) y))) (cbrt (* (* (sqrt 27.0) x) y)) (pow (* (* (sqrt 27.0) x) y) 3) (sqrt (* (* (sqrt 27.0) x) y)) (sqrt (* (* (sqrt 27.0) x) y)) (* (* (sqrt 27.0) x) (* (cbrt y) (cbrt y))) (* (* (sqrt 27.0) x) (sqrt y)) (* (sqrt 27.0) x) (* y x) (* (sqrt 27.0) x) (log (* (sqrt 27.0) x)) (log (* (sqrt 27.0) x)) (exp (* (sqrt 27.0) x)) (pow (* (sqrt 27.0) x) 3) (* (cbrt (* (sqrt 27.0) x)) (cbrt (* (sqrt 27.0) x))) (cbrt (* (sqrt 27.0) x)) (pow (* (sqrt 27.0) x) 3) (sqrt (* (sqrt 27.0) x)) (sqrt (* (sqrt 27.0) x)) (* (sqrt (sqrt 27.0)) (sqrt x)) (* (sqrt (sqrt 27.0)) (sqrt x)) (* (sqrt (sqrt 27.0)) (sqrt x)) (* (sqrt (sqrt 27.0)) (sqrt x)) (* (sqrt 27.0) (* (cbrt x) (cbrt x))) (* (sqrt 27.0) (sqrt x)) (sqrt 27.0) (* x (cbrt (sqrt 27.0))) (* (sqrt (cbrt 27.0)) x) (* x (sqrt (sqrt 27.0))) (* (sqrt 27.0) x) (* x (sqrt (sqrt 27.0))) (* (sqrt 27.0) x) (* (* x y) 27.0) (* (* x y) 27.0) (* (* x y) 27.0) (* (* (sqrt 27.0) x) y) (* (* (sqrt 27.0) x) y) (* (* (sqrt 27.0) x) y) (* (sqrt 27.0) x) (* (sqrt 27.0) x) (* (sqrt 27.0) x) 23.556 * * * [progress]: adding candidates to table 23.720 * [progress]: [Phase 3 of 3] Extracting. 23.720 * * [regime]: Finding splitpoints for: (# # # # #) 23.722 * * * [regime-changes]: Trying 4 branch expressions: ((* x 27.0) (* (* x 27.0) y) y x) 23.722 * * * * [regimes]: Trying to branch on (* x 27.0) from (# # # # #) 23.743 * * * * [regimes]: Trying to branch on (* (* x 27.0) y) from (# # # # #) 23.762 * * * * [regimes]: Trying to branch on y from (# # # # #) 23.783 * * * * [regimes]: Trying to branch on x from (# # # # #) 23.818 * * * [regime]: Found split indices: #