63.435 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.013 * * * [progress]: [2/2] Setting up program. 0.015 * [progress]: [Phase 2 of 3] Improving. 0.015 * [simplify]: Simplifying: (* (* x 27.0) y) 0.015 * * [simplify]: Extracting # 0 : cost 0 0.015 * * [simplify]: Extracting # 1 : cost 0 0.015 * * [simplify]: Extracting # 2 : cost 0 0.015 * * [simplify]: Extracting # 3 : cost 0 0.015 * * [simplify]: Extracting # 4 : cost 0 0.015 * * [simplify]: iteration 0 : 5 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 1 : 9 enodes (cost 5 ) 0.017 * * [simplify]: Extracting # 0 : cost 0 0.017 * * [simplify]: Extracting # 1 : cost 0 0.017 * * [simplify]: Extracting # 2 : cost 0 0.017 * * [simplify]: iteration 2 : 16 enodes (cost 5 ) 0.020 * * [simplify]: Extracting # 0 : cost 0 0.020 * * [simplify]: iteration 3 : 18 enodes (cost 5 ) 0.022 * * [simplify]: Extracting # 0 : cost 0 0.022 * * [simplify]: iteration done: 18 enodes (cost 5 ) 0.022 * [simplify]: Simplified to: (* (* x 27.0) y) 0.023 * * [progress]: iteration 1 / 4 0.023 * * * [progress]: picking best candidate 0.028 * * * * [pick]: Picked # 0.028 * * * [progress]: localizing error 0.033 * * * [progress]: generating rewritten candidates 0.033 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.052 * * * [progress]: generating series expansions 0.052 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.052 * [backup-simplify]: Simplify (* (* x 27.0) y) into (* 27.0 (* x y)) 0.052 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0 0.052 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y 0.052 * [taylor]: Taking taylor expansion of 27.0 in y 0.052 * [backup-simplify]: Simplify 27.0 into 27.0 0.052 * [taylor]: Taking taylor expansion of (* x y) in y 0.052 * [taylor]: Taking taylor expansion of x in y 0.052 * [backup-simplify]: Simplify x into x 0.052 * [taylor]: Taking taylor expansion of y in y 0.052 * [backup-simplify]: Simplify 0 into 0 0.052 * [backup-simplify]: Simplify 1 into 1 0.052 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 0.053 * [taylor]: Taking taylor expansion of 27.0 in x 0.053 * [backup-simplify]: Simplify 27.0 into 27.0 0.053 * [taylor]: Taking taylor expansion of (* x y) in x 0.053 * [taylor]: Taking taylor expansion of x in x 0.053 * [backup-simplify]: Simplify 0 into 0 0.053 * [backup-simplify]: Simplify 1 into 1 0.053 * [taylor]: Taking taylor expansion of y in x 0.053 * [backup-simplify]: Simplify y into y 0.053 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 0.053 * [taylor]: Taking taylor expansion of 27.0 in x 0.053 * [backup-simplify]: Simplify 27.0 into 27.0 0.053 * [taylor]: Taking taylor expansion of (* x y) in x 0.053 * [taylor]: Taking taylor expansion of x in x 0.053 * [backup-simplify]: Simplify 0 into 0 0.053 * [backup-simplify]: Simplify 1 into 1 0.053 * [taylor]: Taking taylor expansion of y in x 0.053 * [backup-simplify]: Simplify y into y 0.053 * [backup-simplify]: Simplify (* 0 y) into 0 0.053 * [backup-simplify]: Simplify (* 27.0 0) into 0 0.053 * [taylor]: Taking taylor expansion of 0 in y 0.053 * [backup-simplify]: Simplify 0 into 0 0.054 * [backup-simplify]: Simplify 0 into 0 0.054 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.054 * [backup-simplify]: Simplify (+ (* 27.0 y) (* 0 0)) into (* 27.0 y) 0.054 * [taylor]: Taking taylor expansion of (* 27.0 y) in y 0.054 * [taylor]: Taking taylor expansion of 27.0 in y 0.054 * [backup-simplify]: Simplify 27.0 into 27.0 0.054 * [taylor]: Taking taylor expansion of y in y 0.054 * [backup-simplify]: Simplify 0 into 0 0.054 * [backup-simplify]: Simplify 1 into 1 0.055 * [backup-simplify]: Simplify (* 27.0 0) into 0 0.055 * [backup-simplify]: Simplify 0 into 0 0.055 * [backup-simplify]: Simplify 0 into 0 0.055 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.056 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 y) (* 0 0))) into 0 0.056 * [taylor]: Taking taylor expansion of 0 in y 0.056 * [backup-simplify]: Simplify 0 into 0 0.056 * [backup-simplify]: Simplify 0 into 0 0.058 * [backup-simplify]: Simplify (+ (* 27.0 1) (* 0 0)) into 27.0 0.058 * [backup-simplify]: Simplify 27.0 into 27.0 0.058 * [backup-simplify]: Simplify 0 into 0 0.059 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 0.060 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 0.060 * [taylor]: Taking taylor expansion of 0 in y 0.060 * [backup-simplify]: Simplify 0 into 0 0.060 * [backup-simplify]: Simplify 0 into 0 0.060 * [backup-simplify]: Simplify 0 into 0 0.062 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 1) (* 0 0))) into 0 0.062 * [backup-simplify]: Simplify 0 into 0 0.062 * [backup-simplify]: Simplify 0 into 0 0.063 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.065 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 0.065 * [taylor]: Taking taylor expansion of 0 in y 0.065 * [backup-simplify]: Simplify 0 into 0 0.065 * [backup-simplify]: Simplify 0 into 0 0.065 * [backup-simplify]: Simplify (* 27.0 (* y x)) into (* 27.0 (* x y)) 0.065 * [backup-simplify]: Simplify (* (* (/ 1 x) 27.0) (/ 1 y)) into (/ 27.0 (* x y)) 0.065 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 0.065 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 0.065 * [taylor]: Taking taylor expansion of 27.0 in y 0.065 * [backup-simplify]: Simplify 27.0 into 27.0 0.065 * [taylor]: Taking taylor expansion of (* x y) in y 0.065 * [taylor]: Taking taylor expansion of x in y 0.065 * [backup-simplify]: Simplify x into x 0.065 * [taylor]: Taking taylor expansion of y in y 0.065 * [backup-simplify]: Simplify 0 into 0 0.065 * [backup-simplify]: Simplify 1 into 1 0.065 * [backup-simplify]: Simplify (* x 0) into 0 0.066 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 0.066 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 0.066 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 0.066 * [taylor]: Taking taylor expansion of 27.0 in x 0.066 * [backup-simplify]: Simplify 27.0 into 27.0 0.066 * [taylor]: Taking taylor expansion of (* x y) in x 0.066 * [taylor]: Taking taylor expansion of x in x 0.066 * [backup-simplify]: Simplify 0 into 0 0.066 * [backup-simplify]: Simplify 1 into 1 0.066 * [taylor]: Taking taylor expansion of y in x 0.066 * [backup-simplify]: Simplify y into y 0.066 * [backup-simplify]: Simplify (* 0 y) into 0 0.067 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.067 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 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.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 * [backup-simplify]: Simplify (* 0 y) into 0 0.067 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.067 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 0.068 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 0.068 * [taylor]: Taking taylor expansion of 27.0 in y 0.068 * [backup-simplify]: Simplify 27.0 into 27.0 0.068 * [taylor]: Taking taylor expansion of y in y 0.068 * [backup-simplify]: Simplify 0 into 0 0.068 * [backup-simplify]: Simplify 1 into 1 0.068 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 0.068 * [backup-simplify]: Simplify 27.0 into 27.0 0.069 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.069 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 0.069 * [taylor]: Taking taylor expansion of 0 in y 0.069 * [backup-simplify]: Simplify 0 into 0 0.070 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 0.070 * [backup-simplify]: Simplify 0 into 0 0.071 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 0.072 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.072 * [taylor]: Taking taylor expansion of 0 in y 0.072 * [backup-simplify]: Simplify 0 into 0 0.072 * [backup-simplify]: Simplify 0 into 0 0.073 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.073 * [backup-simplify]: Simplify 0 into 0 0.074 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.074 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.074 * [taylor]: Taking taylor expansion of 0 in y 0.074 * [backup-simplify]: Simplify 0 into 0 0.075 * [backup-simplify]: Simplify 0 into 0 0.075 * [backup-simplify]: Simplify 0 into 0 0.075 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.075 * [backup-simplify]: Simplify 0 into 0 0.075 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 27.0 (* x y)) 0.076 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) 27.0) (/ 1 (- y))) into (/ 27.0 (* x y)) 0.076 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 0.076 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 0.076 * [taylor]: Taking taylor expansion of 27.0 in y 0.076 * [backup-simplify]: Simplify 27.0 into 27.0 0.076 * [taylor]: Taking taylor expansion of (* x y) in y 0.076 * [taylor]: Taking taylor expansion of x in y 0.076 * [backup-simplify]: Simplify x into x 0.076 * [taylor]: Taking taylor expansion of y in y 0.076 * [backup-simplify]: Simplify 0 into 0 0.076 * [backup-simplify]: Simplify 1 into 1 0.076 * [backup-simplify]: Simplify (* x 0) into 0 0.076 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 0.076 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 0.076 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 0.076 * [taylor]: Taking taylor expansion of 27.0 in x 0.076 * [backup-simplify]: Simplify 27.0 into 27.0 0.076 * [taylor]: Taking taylor expansion of (* x y) in x 0.076 * [taylor]: Taking taylor expansion of x in x 0.076 * [backup-simplify]: Simplify 0 into 0 0.076 * [backup-simplify]: Simplify 1 into 1 0.076 * [taylor]: Taking taylor expansion of y in x 0.076 * [backup-simplify]: Simplify y into y 0.076 * [backup-simplify]: Simplify (* 0 y) into 0 0.076 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.077 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 0.077 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 0.077 * [taylor]: Taking taylor expansion of 27.0 in x 0.077 * [backup-simplify]: Simplify 27.0 into 27.0 0.077 * [taylor]: Taking taylor expansion of (* x y) in x 0.077 * [taylor]: Taking taylor expansion of x in x 0.077 * [backup-simplify]: Simplify 0 into 0 0.077 * [backup-simplify]: Simplify 1 into 1 0.077 * [taylor]: Taking taylor expansion of y in x 0.077 * [backup-simplify]: Simplify y into y 0.077 * [backup-simplify]: Simplify (* 0 y) into 0 0.077 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.077 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 0.077 * [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 1) into 27.0 0.078 * [backup-simplify]: Simplify 27.0 into 27.0 0.078 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.078 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 0.078 * [taylor]: Taking taylor expansion of 0 in y 0.078 * [backup-simplify]: Simplify 0 into 0 0.079 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 0.079 * [backup-simplify]: Simplify 0 into 0 0.080 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 0.080 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.080 * [taylor]: Taking taylor expansion of 0 in y 0.080 * [backup-simplify]: Simplify 0 into 0 0.080 * [backup-simplify]: Simplify 0 into 0 0.081 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.081 * [backup-simplify]: Simplify 0 into 0 0.082 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.083 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.083 * [taylor]: Taking taylor expansion of 0 in y 0.083 * [backup-simplify]: Simplify 0 into 0 0.083 * [backup-simplify]: Simplify 0 into 0 0.083 * [backup-simplify]: Simplify 0 into 0 0.084 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.084 * [backup-simplify]: Simplify 0 into 0 0.084 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 27.0 (* x y)) 0.084 * * * [progress]: simplifying candidates 0.085 * [simplify]: Simplifying: (expm1 (* (* x 27.0) y)) (log1p (* (* x 27.0) y)) (* (* 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.086 * * [simplify]: Extracting # 0 : cost 0 0.086 * * [simplify]: Extracting # 1 : cost 0 0.086 * * [simplify]: Extracting # 2 : cost 0 0.086 * * [simplify]: Extracting # 3 : cost 0 0.086 * * [simplify]: Extracting # 4 : cost 0 0.086 * * [simplify]: Extracting # 5 : cost 0 0.086 * * [simplify]: Extracting # 6 : cost 0 0.086 * * [simplify]: iteration 0 : 42 enodes (cost 169 ) 0.102 * * [simplify]: Extracting # 0 : cost 0 0.103 * * [simplify]: Extracting # 1 : cost 0 0.103 * * [simplify]: Extracting # 2 : cost 0 0.103 * * [simplify]: iteration 1 : 102 enodes (cost 164 ) 0.178 * * [simplify]: Extracting # 0 : cost 0 0.178 * * [simplify]: Extracting # 1 : cost 0 0.179 * * [simplify]: Extracting # 2 : cost 0 0.179 * * [simplify]: Extracting # 3 : cost 0 0.179 * * [simplify]: Extracting # 4 : cost 0 0.180 * * [simplify]: Extracting # 5 : cost 0 0.180 * * [simplify]: iteration 2 : 406 enodes (cost 134 ) 0.634 * * [simplify]: Extracting # 0 : cost 0 0.636 * * [simplify]: Extracting # 1 : cost 0 0.637 * * [simplify]: Extracting # 2 : cost 0 0.638 * * [simplify]: Extracting # 3 : cost 0 0.639 * * [simplify]: Extracting # 4 : cost 0 0.641 * * [simplify]: iteration 3 : 1360 enodes (cost 134 ) 3.986 * * [simplify]: Extracting # 0 : cost 0 3.992 * * [simplify]: Extracting # 1 : cost 0 3.994 * * [simplify]: Extracting # 2 : cost 0 3.995 * * [simplify]: Extracting # 3 : cost 0 3.997 * * [simplify]: Extracting # 4 : cost 0 3.998 * * [simplify]: iteration 4 : 2741 enodes (cost 134 ) 9.515 * * [simplify]: Extracting # 0 : cost 0 9.519 * * [simplify]: Extracting # 1 : cost 0 9.523 * * [simplify]: Extracting # 2 : cost 0 9.527 * * [simplify]: Extracting # 3 : cost 0 9.532 * * [simplify]: Extracting # 4 : cost 0 9.538 * * [simplify]: iteration done: 5000 enodes (cost 134 ) 9.539 * [simplify]: Simplified to: (expm1 (* (* x 27.0) y)) (log1p (* (* x 27.0) y)) (* 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)) 9.539 * * * [progress]: adding candidates to table 9.592 * * [progress]: iteration 2 / 4 9.592 * * * [progress]: picking best candidate 9.605 * * * * [pick]: Picked # 9.605 * * * [progress]: localizing error 9.615 * * * [progress]: generating rewritten candidates 9.615 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 9.645 * * * [progress]: generating series expansions 9.645 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 9.646 * [backup-simplify]: Simplify (* 27.0 (* x y)) into (* 27.0 (* x y)) 9.646 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0 9.646 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y 9.646 * [taylor]: Taking taylor expansion of 27.0 in y 9.646 * [backup-simplify]: Simplify 27.0 into 27.0 9.646 * [taylor]: Taking taylor expansion of (* x y) in y 9.646 * [taylor]: Taking taylor expansion of x in y 9.646 * [backup-simplify]: Simplify x into x 9.646 * [taylor]: Taking taylor expansion of y in y 9.646 * [backup-simplify]: Simplify 0 into 0 9.646 * [backup-simplify]: Simplify 1 into 1 9.646 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 9.646 * [taylor]: Taking taylor expansion of 27.0 in x 9.646 * [backup-simplify]: Simplify 27.0 into 27.0 9.646 * [taylor]: Taking taylor expansion of (* x y) in x 9.646 * [taylor]: Taking taylor expansion of x in x 9.646 * [backup-simplify]: Simplify 0 into 0 9.646 * [backup-simplify]: Simplify 1 into 1 9.646 * [taylor]: Taking taylor expansion of y in x 9.646 * [backup-simplify]: Simplify y into y 9.646 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 9.646 * [taylor]: Taking taylor expansion of 27.0 in x 9.646 * [backup-simplify]: Simplify 27.0 into 27.0 9.646 * [taylor]: Taking taylor expansion of (* x y) in x 9.646 * [taylor]: Taking taylor expansion of x in x 9.646 * [backup-simplify]: Simplify 0 into 0 9.646 * [backup-simplify]: Simplify 1 into 1 9.646 * [taylor]: Taking taylor expansion of y in x 9.646 * [backup-simplify]: Simplify y into y 9.646 * [backup-simplify]: Simplify (* 0 y) into 0 9.647 * [backup-simplify]: Simplify (* 27.0 0) into 0 9.647 * [taylor]: Taking taylor expansion of 0 in y 9.647 * [backup-simplify]: Simplify 0 into 0 9.647 * [backup-simplify]: Simplify 0 into 0 9.647 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 9.648 * [backup-simplify]: Simplify (+ (* 27.0 y) (* 0 0)) into (* 27.0 y) 9.648 * [taylor]: Taking taylor expansion of (* 27.0 y) in y 9.648 * [taylor]: Taking taylor expansion of 27.0 in y 9.648 * [backup-simplify]: Simplify 27.0 into 27.0 9.648 * [taylor]: Taking taylor expansion of y in y 9.648 * [backup-simplify]: Simplify 0 into 0 9.648 * [backup-simplify]: Simplify 1 into 1 9.648 * [backup-simplify]: Simplify (* 27.0 0) into 0 9.648 * [backup-simplify]: Simplify 0 into 0 9.649 * [backup-simplify]: Simplify 0 into 0 9.649 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 9.650 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 y) (* 0 0))) into 0 9.650 * [taylor]: Taking taylor expansion of 0 in y 9.650 * [backup-simplify]: Simplify 0 into 0 9.650 * [backup-simplify]: Simplify 0 into 0 9.652 * [backup-simplify]: Simplify (+ (* 27.0 1) (* 0 0)) into 27.0 9.652 * [backup-simplify]: Simplify 27.0 into 27.0 9.652 * [backup-simplify]: Simplify 0 into 0 9.653 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 9.659 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 9.659 * [taylor]: Taking taylor expansion of 0 in y 9.659 * [backup-simplify]: Simplify 0 into 0 9.659 * [backup-simplify]: Simplify 0 into 0 9.659 * [backup-simplify]: Simplify 0 into 0 9.660 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 1) (* 0 0))) into 0 9.660 * [backup-simplify]: Simplify 0 into 0 9.660 * [backup-simplify]: Simplify 0 into 0 9.662 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 9.663 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 9.663 * [taylor]: Taking taylor expansion of 0 in y 9.663 * [backup-simplify]: Simplify 0 into 0 9.663 * [backup-simplify]: Simplify 0 into 0 9.663 * [backup-simplify]: Simplify (* 27.0 (* y x)) into (* 27.0 (* x y)) 9.664 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 x) (/ 1 y))) into (/ 27.0 (* x y)) 9.664 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 9.664 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 9.664 * [taylor]: Taking taylor expansion of 27.0 in y 9.664 * [backup-simplify]: Simplify 27.0 into 27.0 9.664 * [taylor]: Taking taylor expansion of (* x y) in y 9.664 * [taylor]: Taking taylor expansion of x in y 9.664 * [backup-simplify]: Simplify x into x 9.664 * [taylor]: Taking taylor expansion of y in y 9.664 * [backup-simplify]: Simplify 0 into 0 9.664 * [backup-simplify]: Simplify 1 into 1 9.664 * [backup-simplify]: Simplify (* x 0) into 0 9.664 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 9.664 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 9.664 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 9.664 * [taylor]: Taking taylor expansion of 27.0 in x 9.664 * [backup-simplify]: Simplify 27.0 into 27.0 9.664 * [taylor]: Taking taylor expansion of (* x y) in x 9.664 * [taylor]: Taking taylor expansion of x in x 9.664 * [backup-simplify]: Simplify 0 into 0 9.665 * [backup-simplify]: Simplify 1 into 1 9.665 * [taylor]: Taking taylor expansion of y in x 9.665 * [backup-simplify]: Simplify y into y 9.665 * [backup-simplify]: Simplify (* 0 y) into 0 9.665 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 9.665 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 9.665 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 9.665 * [taylor]: Taking taylor expansion of 27.0 in x 9.665 * [backup-simplify]: Simplify 27.0 into 27.0 9.665 * [taylor]: Taking taylor expansion of (* x y) in x 9.665 * [taylor]: Taking taylor expansion of x in x 9.665 * [backup-simplify]: Simplify 0 into 0 9.665 * [backup-simplify]: Simplify 1 into 1 9.665 * [taylor]: Taking taylor expansion of y in x 9.665 * [backup-simplify]: Simplify y into y 9.665 * [backup-simplify]: Simplify (* 0 y) into 0 9.666 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 9.666 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 9.666 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 9.666 * [taylor]: Taking taylor expansion of 27.0 in y 9.666 * [backup-simplify]: Simplify 27.0 into 27.0 9.666 * [taylor]: Taking taylor expansion of y in y 9.666 * [backup-simplify]: Simplify 0 into 0 9.666 * [backup-simplify]: Simplify 1 into 1 9.667 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 9.667 * [backup-simplify]: Simplify 27.0 into 27.0 9.667 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 9.667 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 9.668 * [taylor]: Taking taylor expansion of 0 in y 9.668 * [backup-simplify]: Simplify 0 into 0 9.669 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 9.669 * [backup-simplify]: Simplify 0 into 0 9.670 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 9.670 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.670 * [taylor]: Taking taylor expansion of 0 in y 9.670 * [backup-simplify]: Simplify 0 into 0 9.670 * [backup-simplify]: Simplify 0 into 0 9.671 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.671 * [backup-simplify]: Simplify 0 into 0 9.672 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 9.672 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.672 * [taylor]: Taking taylor expansion of 0 in y 9.673 * [backup-simplify]: Simplify 0 into 0 9.673 * [backup-simplify]: Simplify 0 into 0 9.673 * [backup-simplify]: Simplify 0 into 0 9.674 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.674 * [backup-simplify]: Simplify 0 into 0 9.674 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 27.0 (* x y)) 9.674 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (- x)) (/ 1 (- y)))) into (/ 27.0 (* x y)) 9.674 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 9.674 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 9.674 * [taylor]: Taking taylor expansion of 27.0 in y 9.674 * [backup-simplify]: Simplify 27.0 into 27.0 9.674 * [taylor]: Taking taylor expansion of (* x y) in y 9.674 * [taylor]: Taking taylor expansion of x in y 9.674 * [backup-simplify]: Simplify x into x 9.674 * [taylor]: Taking taylor expansion of y in y 9.674 * [backup-simplify]: Simplify 0 into 0 9.674 * [backup-simplify]: Simplify 1 into 1 9.674 * [backup-simplify]: Simplify (* x 0) into 0 9.675 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 9.675 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 9.675 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 9.675 * [taylor]: Taking taylor expansion of 27.0 in x 9.675 * [backup-simplify]: Simplify 27.0 into 27.0 9.675 * [taylor]: Taking taylor expansion of (* x y) in x 9.675 * [taylor]: Taking taylor expansion of x in x 9.675 * [backup-simplify]: Simplify 0 into 0 9.675 * [backup-simplify]: Simplify 1 into 1 9.675 * [taylor]: Taking taylor expansion of y in x 9.675 * [backup-simplify]: Simplify y into y 9.675 * [backup-simplify]: Simplify (* 0 y) into 0 9.675 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 9.676 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 9.676 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 9.676 * [taylor]: Taking taylor expansion of 27.0 in x 9.676 * [backup-simplify]: Simplify 27.0 into 27.0 9.676 * [taylor]: Taking taylor expansion of (* x y) in x 9.676 * [taylor]: Taking taylor expansion of x in x 9.676 * [backup-simplify]: Simplify 0 into 0 9.676 * [backup-simplify]: Simplify 1 into 1 9.676 * [taylor]: Taking taylor expansion of y in x 9.676 * [backup-simplify]: Simplify y into y 9.676 * [backup-simplify]: Simplify (* 0 y) into 0 9.676 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 9.676 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 9.676 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 9.676 * [taylor]: Taking taylor expansion of 27.0 in y 9.676 * [backup-simplify]: Simplify 27.0 into 27.0 9.676 * [taylor]: Taking taylor expansion of y in y 9.676 * [backup-simplify]: Simplify 0 into 0 9.677 * [backup-simplify]: Simplify 1 into 1 9.677 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 9.677 * [backup-simplify]: Simplify 27.0 into 27.0 9.678 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 9.678 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 9.678 * [taylor]: Taking taylor expansion of 0 in y 9.678 * [backup-simplify]: Simplify 0 into 0 9.679 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 9.679 * [backup-simplify]: Simplify 0 into 0 9.680 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 9.680 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.680 * [taylor]: Taking taylor expansion of 0 in y 9.680 * [backup-simplify]: Simplify 0 into 0 9.680 * [backup-simplify]: Simplify 0 into 0 9.681 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.681 * [backup-simplify]: Simplify 0 into 0 9.682 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 9.683 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.683 * [taylor]: Taking taylor expansion of 0 in y 9.683 * [backup-simplify]: Simplify 0 into 0 9.683 * [backup-simplify]: Simplify 0 into 0 9.683 * [backup-simplify]: Simplify 0 into 0 9.684 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.684 * [backup-simplify]: Simplify 0 into 0 9.684 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 27.0 (* x y)) 9.684 * * * [progress]: simplifying candidates 9.685 * [simplify]: Simplifying: (expm1 (* 27.0 (* x y))) (log1p (* 27.0 (* x y))) (* 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)) 9.685 * * [simplify]: Extracting # 0 : cost 0 9.685 * * [simplify]: Extracting # 1 : cost 0 9.686 * * [simplify]: Extracting # 2 : cost 0 9.686 * * [simplify]: Extracting # 3 : cost 0 9.686 * * [simplify]: Extracting # 4 : cost 0 9.686 * * [simplify]: Extracting # 5 : cost 0 9.686 * * [simplify]: Extracting # 6 : cost 0 9.686 * * [simplify]: Extracting # 7 : cost 0 9.686 * * [simplify]: iteration 0 : 37 enodes (cost 166 ) 9.700 * * [simplify]: Extracting # 0 : cost 0 9.700 * * [simplify]: Extracting # 1 : cost 0 9.700 * * [simplify]: Extracting # 2 : cost 0 9.700 * * [simplify]: iteration 1 : 87 enodes (cost 163 ) 9.738 * * [simplify]: Extracting # 0 : cost 0 9.739 * * [simplify]: Extracting # 1 : cost 0 9.739 * * [simplify]: Extracting # 2 : cost 0 9.739 * * [simplify]: Extracting # 3 : cost 0 9.739 * * [simplify]: Extracting # 4 : cost 0 9.740 * * [simplify]: Extracting # 5 : cost 0 9.740 * * [simplify]: iteration 2 : 300 enodes (cost 133 ) 10.021 * * [simplify]: Extracting # 0 : cost 0 10.022 * * [simplify]: Extracting # 1 : cost 0 10.023 * * [simplify]: Extracting # 2 : cost 0 10.024 * * [simplify]: Extracting # 3 : cost 0 10.025 * * [simplify]: Extracting # 4 : cost 0 10.025 * * [simplify]: iteration 3 : 1003 enodes (cost 133 ) 11.867 * * [simplify]: Extracting # 0 : cost 0 11.870 * * [simplify]: Extracting # 1 : cost 0 11.872 * * [simplify]: Extracting # 2 : cost 0 11.877 * * [simplify]: Extracting # 3 : cost 0 11.878 * * [simplify]: Extracting # 4 : cost 0 11.879 * * [simplify]: iteration 4 : 2173 enodes (cost 133 ) 16.436 * * [simplify]: Extracting # 0 : cost 0 16.439 * * [simplify]: Extracting # 1 : cost 0 16.442 * * [simplify]: Extracting # 2 : cost 0 16.445 * * [simplify]: Extracting # 3 : cost 0 16.448 * * [simplify]: Extracting # 4 : cost 0 16.451 * * [simplify]: Extracting # 5 : cost 0 16.460 * * [simplify]: iteration 5 : 4443 enodes (cost 133 ) 17.831 * * [simplify]: Extracting # 0 : cost 0 17.842 * * [simplify]: Extracting # 1 : cost 0 17.846 * * [simplify]: Extracting # 2 : cost 0 17.850 * * [simplify]: iteration done: 5001 enodes (cost 133 ) 17.851 * [simplify]: Simplified to: (expm1 (* 27.0 (* x y))) (log1p (* 27.0 (* x y))) (* 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)) 17.851 * * * [progress]: adding candidates to table 17.887 * * [progress]: iteration 3 / 4 17.887 * * * [progress]: picking best candidate 17.899 * * * * [pick]: Picked # 17.899 * * * [progress]: localizing error 17.908 * * * [progress]: generating rewritten candidates 17.908 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 17.984 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2) 18.026 * * * [progress]: generating series expansions 18.026 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 18.028 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) into (* (pow (sqrt 27.0) 2) (* x y)) 18.028 * [approximate]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0 18.028 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* x y)) in y 18.028 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 18.028 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 18.028 * [taylor]: Taking taylor expansion of 27.0 in y 18.028 * [backup-simplify]: Simplify 27.0 into 27.0 18.028 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 18.029 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 18.029 * [taylor]: Taking taylor expansion of (* x y) in y 18.029 * [taylor]: Taking taylor expansion of x in y 18.029 * [backup-simplify]: Simplify x into x 18.029 * [taylor]: Taking taylor expansion of y in y 18.029 * [backup-simplify]: Simplify 0 into 0 18.029 * [backup-simplify]: Simplify 1 into 1 18.029 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* x y)) in x 18.029 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 18.029 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 18.029 * [taylor]: Taking taylor expansion of 27.0 in x 18.030 * [backup-simplify]: Simplify 27.0 into 27.0 18.030 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 18.031 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 18.031 * [taylor]: Taking taylor expansion of (* x y) in x 18.031 * [taylor]: Taking taylor expansion of x in x 18.031 * [backup-simplify]: Simplify 0 into 0 18.031 * [backup-simplify]: Simplify 1 into 1 18.031 * [taylor]: Taking taylor expansion of y in x 18.031 * [backup-simplify]: Simplify y into y 18.031 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* x y)) in x 18.031 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 18.031 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 18.031 * [taylor]: Taking taylor expansion of 27.0 in x 18.031 * [backup-simplify]: Simplify 27.0 into 27.0 18.031 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 18.032 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 18.032 * [taylor]: Taking taylor expansion of (* x y) in x 18.032 * [taylor]: Taking taylor expansion of x in x 18.032 * [backup-simplify]: Simplify 0 into 0 18.032 * [backup-simplify]: Simplify 1 into 1 18.032 * [taylor]: Taking taylor expansion of y in x 18.032 * [backup-simplify]: Simplify y into y 18.033 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 18.034 * [backup-simplify]: Simplify (* 0 y) into 0 18.034 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) 0) into 0 18.034 * [taylor]: Taking taylor expansion of 0 in y 18.034 * [backup-simplify]: Simplify 0 into 0 18.034 * [backup-simplify]: Simplify 0 into 0 18.035 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 18.036 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 18.037 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) y) (* 0 0)) into (* (pow (sqrt 27.0) 2) y) 18.037 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) y) in y 18.037 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 18.037 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 18.037 * [taylor]: Taking taylor expansion of 27.0 in y 18.037 * [backup-simplify]: Simplify 27.0 into 27.0 18.038 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 18.038 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 18.038 * [taylor]: Taking taylor expansion of y in y 18.038 * [backup-simplify]: Simplify 0 into 0 18.038 * [backup-simplify]: Simplify 1 into 1 18.039 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 18.040 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) 0) into 0 18.040 * [backup-simplify]: Simplify 0 into 0 18.040 * [backup-simplify]: Simplify 0 into 0 18.041 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 18.041 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 18.042 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 18.043 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 0) (+ (* 0 y) (* 0 0))) into 0 18.043 * [taylor]: Taking taylor expansion of 0 in y 18.043 * [backup-simplify]: Simplify 0 into 0 18.043 * [backup-simplify]: Simplify 0 into 0 18.043 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 18.045 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 1) (* 0 0)) into (pow (sqrt 27.0) 2) 18.046 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2) 18.046 * [backup-simplify]: Simplify 0 into 0 18.047 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 18.048 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 18.049 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 18.050 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 18.050 * [taylor]: Taking taylor expansion of 0 in y 18.050 * [backup-simplify]: Simplify 0 into 0 18.050 * [backup-simplify]: Simplify 0 into 0 18.050 * [backup-simplify]: Simplify 0 into 0 18.051 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 18.052 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 18.053 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 0) (+ (* 0 1) (* 0 0))) into 0 18.053 * [backup-simplify]: Simplify 0 into 0 18.053 * [backup-simplify]: Simplify 0 into 0 18.055 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 18.056 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 18.057 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0)))))) into 0 18.059 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 18.059 * [taylor]: Taking taylor expansion of 0 in y 18.059 * [backup-simplify]: Simplify 0 into 0 18.059 * [backup-simplify]: Simplify 0 into 0 18.060 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* y x)) into (* (pow (sqrt 27.0) 2) (* x y)) 18.061 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (sqrt 27.0) (* (/ 1 x) (/ 1 y)))) into (/ (pow (sqrt 27.0) 2) (* x y)) 18.061 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0 18.061 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in y 18.061 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 18.061 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 18.061 * [taylor]: Taking taylor expansion of 27.0 in y 18.061 * [backup-simplify]: Simplify 27.0 into 27.0 18.061 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 18.062 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 18.062 * [taylor]: Taking taylor expansion of (* x y) in y 18.062 * [taylor]: Taking taylor expansion of x in y 18.062 * [backup-simplify]: Simplify x into x 18.062 * [taylor]: Taking taylor expansion of y in y 18.062 * [backup-simplify]: Simplify 0 into 0 18.062 * [backup-simplify]: Simplify 1 into 1 18.063 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 18.063 * [backup-simplify]: Simplify (* x 0) into 0 18.063 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 18.064 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) x) into (/ (pow (sqrt 27.0) 2) x) 18.064 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 18.064 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 18.064 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 18.064 * [taylor]: Taking taylor expansion of 27.0 in x 18.064 * [backup-simplify]: Simplify 27.0 into 27.0 18.065 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 18.065 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 18.066 * [taylor]: Taking taylor expansion of (* x y) in x 18.066 * [taylor]: Taking taylor expansion of x in x 18.066 * [backup-simplify]: Simplify 0 into 0 18.066 * [backup-simplify]: Simplify 1 into 1 18.066 * [taylor]: Taking taylor expansion of y in x 18.066 * [backup-simplify]: Simplify y into y 18.067 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 18.067 * [backup-simplify]: Simplify (* 0 y) into 0 18.067 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 18.068 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 18.068 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 18.068 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 18.068 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 18.068 * [taylor]: Taking taylor expansion of 27.0 in x 18.069 * [backup-simplify]: Simplify 27.0 into 27.0 18.069 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 18.069 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 18.069 * [taylor]: Taking taylor expansion of (* x y) in x 18.070 * [taylor]: Taking taylor expansion of x in x 18.070 * [backup-simplify]: Simplify 0 into 0 18.070 * [backup-simplify]: Simplify 1 into 1 18.070 * [taylor]: Taking taylor expansion of y in x 18.070 * [backup-simplify]: Simplify y into y 18.071 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 18.071 * [backup-simplify]: Simplify (* 0 y) into 0 18.071 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 18.072 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 18.072 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) y) in y 18.072 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 18.072 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 18.072 * [taylor]: Taking taylor expansion of 27.0 in y 18.072 * [backup-simplify]: Simplify 27.0 into 27.0 18.073 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 18.073 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 18.073 * [taylor]: Taking taylor expansion of y in y 18.073 * [backup-simplify]: Simplify 0 into 0 18.073 * [backup-simplify]: Simplify 1 into 1 18.074 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 18.076 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) 1) into (pow (sqrt 27.0) 2) 18.077 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2) 18.077 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 18.078 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 18.079 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)))) into 0 18.079 * [taylor]: Taking taylor expansion of 0 in y 18.079 * [backup-simplify]: Simplify 0 into 0 18.080 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 18.081 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)))) into 0 18.081 * [backup-simplify]: Simplify 0 into 0 18.082 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 18.082 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 18.083 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 18.084 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 18.084 * [taylor]: Taking taylor expansion of 0 in y 18.084 * [backup-simplify]: Simplify 0 into 0 18.084 * [backup-simplify]: Simplify 0 into 0 18.085 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 18.085 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 18.086 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.086 * [backup-simplify]: Simplify 0 into 0 18.087 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 18.088 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 18.088 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 18.089 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 18.089 * [taylor]: Taking taylor expansion of 0 in y 18.089 * [backup-simplify]: Simplify 0 into 0 18.089 * [backup-simplify]: Simplify 0 into 0 18.089 * [backup-simplify]: Simplify 0 into 0 18.090 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 18.091 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 18.092 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.092 * [backup-simplify]: Simplify 0 into 0 18.092 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* (pow (sqrt 27.0) 2) (* x y)) 18.093 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (sqrt 27.0) (* (/ 1 (- x)) (/ 1 (- y))))) into (/ (pow (sqrt 27.0) 2) (* x y)) 18.093 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0 18.093 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in y 18.093 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 18.093 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 18.093 * [taylor]: Taking taylor expansion of 27.0 in y 18.093 * [backup-simplify]: Simplify 27.0 into 27.0 18.093 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 18.094 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 18.094 * [taylor]: Taking taylor expansion of (* x y) in y 18.094 * [taylor]: Taking taylor expansion of x in y 18.094 * [backup-simplify]: Simplify x into x 18.094 * [taylor]: Taking taylor expansion of y in y 18.094 * [backup-simplify]: Simplify 0 into 0 18.094 * [backup-simplify]: Simplify 1 into 1 18.095 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 18.095 * [backup-simplify]: Simplify (* x 0) into 0 18.095 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 18.096 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) x) into (/ (pow (sqrt 27.0) 2) x) 18.096 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 18.096 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 18.096 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 18.096 * [taylor]: Taking taylor expansion of 27.0 in x 18.096 * [backup-simplify]: Simplify 27.0 into 27.0 18.096 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 18.097 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 18.097 * [taylor]: Taking taylor expansion of (* x y) in x 18.097 * [taylor]: Taking taylor expansion of x in x 18.097 * [backup-simplify]: Simplify 0 into 0 18.097 * [backup-simplify]: Simplify 1 into 1 18.097 * [taylor]: Taking taylor expansion of y in x 18.097 * [backup-simplify]: Simplify y into y 18.097 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 18.097 * [backup-simplify]: Simplify (* 0 y) into 0 18.098 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 18.098 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 18.099 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 18.099 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 18.099 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 18.099 * [taylor]: Taking taylor expansion of 27.0 in x 18.099 * [backup-simplify]: Simplify 27.0 into 27.0 18.099 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 18.099 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 18.099 * [taylor]: Taking taylor expansion of (* x y) in x 18.099 * [taylor]: Taking taylor expansion of x in x 18.099 * [backup-simplify]: Simplify 0 into 0 18.099 * [backup-simplify]: Simplify 1 into 1 18.099 * [taylor]: Taking taylor expansion of y in x 18.099 * [backup-simplify]: Simplify y into y 18.100 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 18.100 * [backup-simplify]: Simplify (* 0 y) into 0 18.101 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 18.102 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 18.102 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) y) in y 18.102 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 18.102 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 18.102 * [taylor]: Taking taylor expansion of 27.0 in y 18.102 * [backup-simplify]: Simplify 27.0 into 27.0 18.102 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 18.103 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 18.103 * [taylor]: Taking taylor expansion of y in y 18.103 * [backup-simplify]: Simplify 0 into 0 18.103 * [backup-simplify]: Simplify 1 into 1 18.104 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 18.106 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) 1) into (pow (sqrt 27.0) 2) 18.107 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2) 18.111 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 18.112 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 18.112 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)))) into 0 18.112 * [taylor]: Taking taylor expansion of 0 in y 18.112 * [backup-simplify]: Simplify 0 into 0 18.113 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 18.114 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)))) into 0 18.114 * [backup-simplify]: Simplify 0 into 0 18.114 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 18.115 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 18.116 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 18.117 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 18.117 * [taylor]: Taking taylor expansion of 0 in y 18.117 * [backup-simplify]: Simplify 0 into 0 18.117 * [backup-simplify]: Simplify 0 into 0 18.118 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 18.118 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 18.119 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.119 * [backup-simplify]: Simplify 0 into 0 18.120 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 18.120 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 18.121 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 18.122 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 18.122 * [taylor]: Taking taylor expansion of 0 in y 18.122 * [backup-simplify]: Simplify 0 into 0 18.122 * [backup-simplify]: Simplify 0 into 0 18.122 * [backup-simplify]: Simplify 0 into 0 18.123 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 18.124 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 18.126 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.126 * [backup-simplify]: Simplify 0 into 0 18.127 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* (pow (sqrt 27.0) 2) (* x y)) 18.127 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2) 18.127 * [backup-simplify]: Simplify (* (sqrt 27.0) (* x y)) into (* (sqrt 27.0) (* x y)) 18.127 * [approximate]: Taking taylor expansion of (* (sqrt 27.0) (* x y)) in (x y) around 0 18.127 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* x y)) in y 18.128 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 18.128 * [taylor]: Taking taylor expansion of 27.0 in y 18.128 * [backup-simplify]: Simplify 27.0 into 27.0 18.128 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 18.128 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 18.128 * [taylor]: Taking taylor expansion of (* x y) in y 18.128 * [taylor]: Taking taylor expansion of x in y 18.128 * [backup-simplify]: Simplify x into x 18.128 * [taylor]: Taking taylor expansion of y in y 18.128 * [backup-simplify]: Simplify 0 into 0 18.128 * [backup-simplify]: Simplify 1 into 1 18.128 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* x y)) in x 18.128 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 18.128 * [taylor]: Taking taylor expansion of 27.0 in x 18.128 * [backup-simplify]: Simplify 27.0 into 27.0 18.129 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 18.129 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 18.129 * [taylor]: Taking taylor expansion of (* x y) in x 18.129 * [taylor]: Taking taylor expansion of x in x 18.129 * [backup-simplify]: Simplify 0 into 0 18.129 * [backup-simplify]: Simplify 1 into 1 18.129 * [taylor]: Taking taylor expansion of y in x 18.129 * [backup-simplify]: Simplify y into y 18.129 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* x y)) in x 18.129 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 18.129 * [taylor]: Taking taylor expansion of 27.0 in x 18.129 * [backup-simplify]: Simplify 27.0 into 27.0 18.130 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 18.130 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 18.130 * [taylor]: Taking taylor expansion of (* x y) in x 18.130 * [taylor]: Taking taylor expansion of x in x 18.130 * [backup-simplify]: Simplify 0 into 0 18.130 * [backup-simplify]: Simplify 1 into 1 18.130 * [taylor]: Taking taylor expansion of y in x 18.130 * [backup-simplify]: Simplify y into y 18.130 * [backup-simplify]: Simplify (* 0 y) into 0 18.131 * [backup-simplify]: Simplify (* (sqrt 27.0) 0) into 0 18.131 * [taylor]: Taking taylor expansion of 0 in y 18.131 * [backup-simplify]: Simplify 0 into 0 18.131 * [backup-simplify]: Simplify 0 into 0 18.131 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 18.131 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) y) (* 0 0)) into (* (sqrt 27.0) y) 18.131 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) y) in y 18.131 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 18.131 * [taylor]: Taking taylor expansion of 27.0 in y 18.132 * [backup-simplify]: Simplify 27.0 into 27.0 18.132 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 18.132 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 18.132 * [taylor]: Taking taylor expansion of y in y 18.132 * [backup-simplify]: Simplify 0 into 0 18.132 * [backup-simplify]: Simplify 1 into 1 18.133 * [backup-simplify]: Simplify (* (sqrt 27.0) 0) into 0 18.133 * [backup-simplify]: Simplify 0 into 0 18.133 * [backup-simplify]: Simplify 0 into 0 18.133 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 18.134 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 18.134 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 y) (* 0 0))) into 0 18.134 * [taylor]: Taking taylor expansion of 0 in y 18.134 * [backup-simplify]: Simplify 0 into 0 18.134 * [backup-simplify]: Simplify 0 into 0 18.136 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 1) (* 0 0)) into (sqrt 27.0) 18.136 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 18.136 * [backup-simplify]: Simplify 0 into 0 18.137 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 18.138 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 18.139 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 18.139 * [taylor]: Taking taylor expansion of 0 in y 18.139 * [backup-simplify]: Simplify 0 into 0 18.139 * [backup-simplify]: Simplify 0 into 0 18.139 * [backup-simplify]: Simplify 0 into 0 18.140 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 18.140 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 1) (* 0 0))) into 0 18.140 * [backup-simplify]: Simplify 0 into 0 18.140 * [backup-simplify]: Simplify 0 into 0 18.141 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 18.142 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 18.143 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 18.143 * [taylor]: Taking taylor expansion of 0 in y 18.143 * [backup-simplify]: Simplify 0 into 0 18.143 * [backup-simplify]: Simplify 0 into 0 18.143 * [backup-simplify]: Simplify (* (sqrt 27.0) (* y x)) into (* (sqrt 27.0) (* x y)) 18.144 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 x) (/ 1 y))) into (/ (sqrt 27.0) (* x y)) 18.144 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in (x y) around 0 18.144 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in y 18.144 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 18.144 * [taylor]: Taking taylor expansion of 27.0 in y 18.144 * [backup-simplify]: Simplify 27.0 into 27.0 18.144 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 18.145 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 18.145 * [taylor]: Taking taylor expansion of (* x y) in y 18.145 * [taylor]: Taking taylor expansion of x in y 18.145 * [backup-simplify]: Simplify x into x 18.145 * [taylor]: Taking taylor expansion of y in y 18.145 * [backup-simplify]: Simplify 0 into 0 18.145 * [backup-simplify]: Simplify 1 into 1 18.145 * [backup-simplify]: Simplify (* x 0) into 0 18.145 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 18.145 * [backup-simplify]: Simplify (/ (sqrt 27.0) x) into (/ (sqrt 27.0) x) 18.145 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 18.145 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 18.145 * [taylor]: Taking taylor expansion of 27.0 in x 18.145 * [backup-simplify]: Simplify 27.0 into 27.0 18.146 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 18.146 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 18.146 * [taylor]: Taking taylor expansion of (* x y) in x 18.146 * [taylor]: Taking taylor expansion of x in x 18.146 * [backup-simplify]: Simplify 0 into 0 18.146 * [backup-simplify]: Simplify 1 into 1 18.146 * [taylor]: Taking taylor expansion of y in x 18.146 * [backup-simplify]: Simplify y into y 18.146 * [backup-simplify]: Simplify (* 0 y) into 0 18.147 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 18.147 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 18.147 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 18.147 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 18.147 * [taylor]: Taking taylor expansion of 27.0 in x 18.147 * [backup-simplify]: Simplify 27.0 into 27.0 18.147 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 18.148 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 18.148 * [taylor]: Taking taylor expansion of (* x y) in x 18.148 * [taylor]: Taking taylor expansion of x in x 18.148 * [backup-simplify]: Simplify 0 into 0 18.148 * [backup-simplify]: Simplify 1 into 1 18.148 * [taylor]: Taking taylor expansion of y in x 18.148 * [backup-simplify]: Simplify y into y 18.148 * [backup-simplify]: Simplify (* 0 y) into 0 18.148 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 18.148 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 18.148 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y 18.148 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 18.148 * [taylor]: Taking taylor expansion of 27.0 in y 18.148 * [backup-simplify]: Simplify 27.0 into 27.0 18.149 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 18.149 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 18.149 * [taylor]: Taking taylor expansion of y in y 18.149 * [backup-simplify]: Simplify 0 into 0 18.149 * [backup-simplify]: Simplify 1 into 1 18.150 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0) 18.150 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 18.151 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 18.151 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)))) into 0 18.151 * [taylor]: Taking taylor expansion of 0 in y 18.151 * [backup-simplify]: Simplify 0 into 0 18.152 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)))) into 0 18.152 * [backup-simplify]: Simplify 0 into 0 18.152 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 18.153 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 18.153 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 18.153 * [taylor]: Taking taylor expansion of 0 in y 18.153 * [backup-simplify]: Simplify 0 into 0 18.154 * [backup-simplify]: Simplify 0 into 0 18.154 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 18.155 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.155 * [backup-simplify]: Simplify 0 into 0 18.156 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 18.157 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 18.157 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 18.157 * [taylor]: Taking taylor expansion of 0 in y 18.157 * [backup-simplify]: Simplify 0 into 0 18.157 * [backup-simplify]: Simplify 0 into 0 18.157 * [backup-simplify]: Simplify 0 into 0 18.158 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 18.159 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.159 * [backup-simplify]: Simplify 0 into 0 18.159 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* (sqrt 27.0) (* x y)) 18.159 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (- x)) (/ 1 (- y)))) into (/ (sqrt 27.0) (* x y)) 18.159 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in (x y) around 0 18.159 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in y 18.159 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 18.159 * [taylor]: Taking taylor expansion of 27.0 in y 18.159 * [backup-simplify]: Simplify 27.0 into 27.0 18.160 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 18.160 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 18.160 * [taylor]: Taking taylor expansion of (* x y) in y 18.160 * [taylor]: Taking taylor expansion of x in y 18.160 * [backup-simplify]: Simplify x into x 18.160 * [taylor]: Taking taylor expansion of y in y 18.160 * [backup-simplify]: Simplify 0 into 0 18.160 * [backup-simplify]: Simplify 1 into 1 18.160 * [backup-simplify]: Simplify (* x 0) into 0 18.161 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 18.161 * [backup-simplify]: Simplify (/ (sqrt 27.0) x) into (/ (sqrt 27.0) x) 18.161 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 18.161 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 18.161 * [taylor]: Taking taylor expansion of 27.0 in x 18.161 * [backup-simplify]: Simplify 27.0 into 27.0 18.161 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 18.162 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 18.162 * [taylor]: Taking taylor expansion of (* x y) in x 18.162 * [taylor]: Taking taylor expansion of x in x 18.162 * [backup-simplify]: Simplify 0 into 0 18.162 * [backup-simplify]: Simplify 1 into 1 18.162 * [taylor]: Taking taylor expansion of y in x 18.162 * [backup-simplify]: Simplify y into y 18.162 * [backup-simplify]: Simplify (* 0 y) into 0 18.162 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 18.162 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 18.162 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 18.163 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 18.163 * [taylor]: Taking taylor expansion of 27.0 in x 18.163 * [backup-simplify]: Simplify 27.0 into 27.0 18.163 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 18.163 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 18.163 * [taylor]: Taking taylor expansion of (* x y) in x 18.163 * [taylor]: Taking taylor expansion of x in x 18.163 * [backup-simplify]: Simplify 0 into 0 18.163 * [backup-simplify]: Simplify 1 into 1 18.163 * [taylor]: Taking taylor expansion of y in x 18.163 * [backup-simplify]: Simplify y into y 18.163 * [backup-simplify]: Simplify (* 0 y) into 0 18.164 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 18.164 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 18.164 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y 18.164 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 18.164 * [taylor]: Taking taylor expansion of 27.0 in y 18.164 * [backup-simplify]: Simplify 27.0 into 27.0 18.164 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 18.165 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 18.165 * [taylor]: Taking taylor expansion of y in y 18.165 * [backup-simplify]: Simplify 0 into 0 18.165 * [backup-simplify]: Simplify 1 into 1 18.166 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0) 18.166 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 18.166 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 18.167 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)))) into 0 18.167 * [taylor]: Taking taylor expansion of 0 in y 18.167 * [backup-simplify]: Simplify 0 into 0 18.168 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)))) into 0 18.168 * [backup-simplify]: Simplify 0 into 0 18.169 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 18.170 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 18.171 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 18.171 * [taylor]: Taking taylor expansion of 0 in y 18.171 * [backup-simplify]: Simplify 0 into 0 18.171 * [backup-simplify]: Simplify 0 into 0 18.172 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 18.172 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.172 * [backup-simplify]: Simplify 0 into 0 18.173 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 18.174 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 18.175 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 18.175 * [taylor]: Taking taylor expansion of 0 in y 18.175 * [backup-simplify]: Simplify 0 into 0 18.175 * [backup-simplify]: Simplify 0 into 0 18.175 * [backup-simplify]: Simplify 0 into 0 18.175 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 18.176 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.176 * [backup-simplify]: Simplify 0 into 0 18.177 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* (sqrt 27.0) (* x y)) 18.178 * * * [progress]: simplifying candidates 18.179 * [simplify]: Simplifying: (expm1 (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (log1p (* (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))) (+ (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))) (expm1 (* (sqrt 27.0) (* x y))) (log1p (* (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)) 18.180 * * [simplify]: Extracting # 0 : cost 0 18.180 * * [simplify]: Extracting # 1 : cost 0 18.180 * * [simplify]: Extracting # 2 : cost 0 18.180 * * [simplify]: Extracting # 3 : cost 0 18.180 * * [simplify]: Extracting # 4 : cost 0 18.180 * * [simplify]: Extracting # 5 : cost 0 18.180 * * [simplify]: Extracting # 6 : cost 0 18.180 * * [simplify]: Extracting # 7 : cost 0 18.180 * * [simplify]: iteration 0 : 63 enodes (cost 572 ) 18.194 * * [simplify]: Extracting # 0 : cost 0 18.194 * * [simplify]: Extracting # 1 : cost 0 18.194 * * [simplify]: Extracting # 2 : cost 0 18.194 * * [simplify]: Extracting # 3 : cost 0 18.195 * * [simplify]: iteration 1 : 158 enodes (cost 434 ) 18.298 * * [simplify]: Extracting # 0 : cost 0 18.299 * * [simplify]: Extracting # 1 : cost 0 18.300 * * [simplify]: Extracting # 2 : cost 0 18.301 * * [simplify]: Extracting # 3 : cost 0 18.302 * * [simplify]: Extracting # 4 : cost 0 18.303 * * [simplify]: iteration 2 : 591 enodes (cost 358 ) 19.251 * * [simplify]: Extracting # 0 : cost 0 19.262 * * [simplify]: Extracting # 1 : cost 0 19.266 * * [simplify]: Extracting # 2 : cost 0 19.269 * * [simplify]: Extracting # 3 : cost 0 19.272 * * [simplify]: Extracting # 4 : cost 0 19.275 * * [simplify]: iteration 3 : 2458 enodes (cost 358 ) 21.346 * * [simplify]: Extracting # 0 : cost 0 21.353 * * [simplify]: Extracting # 1 : cost 0 21.359 * * [simplify]: Extracting # 2 : cost 0 21.364 * * [simplify]: Extracting # 3 : cost 0 21.369 * * [simplify]: Extracting # 4 : cost 0 21.374 * * [simplify]: iteration done: 5001 enodes (cost 356 ) 21.374 * [simplify]: Simplified to: (expm1 (* (* x y) 27.0)) (log1p (* (* x y) 27.0)) (* (* 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 (* (pow (sqrt (sqrt 27.0)) 3) y)) (* (* x y) 27.0) (* x (* (pow (sqrt (sqrt 27.0)) 3) y)) (* (* x y) 27.0) (expm1 (* (sqrt 27.0) (* x y))) (log1p (* (sqrt 27.0) (* x y))) (* (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)) 21.374 * * * [progress]: adding candidates to table 21.472 * * [progress]: iteration 4 / 4 21.472 * * * [progress]: picking best candidate 21.476 * * * * [pick]: Picked # 21.476 * * * [progress]: localizing error 21.485 * * * [progress]: generating rewritten candidates 21.485 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 21.585 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2) 21.621 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2 1) 21.634 * * * [progress]: generating series expansions 21.634 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 21.635 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (* (sqrt 27.0) x) y)) into (* (pow (sqrt 27.0) 2) (* x y)) 21.635 * [approximate]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0 21.635 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* x y)) in y 21.635 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 21.635 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 21.635 * [taylor]: Taking taylor expansion of 27.0 in y 21.635 * [backup-simplify]: Simplify 27.0 into 27.0 21.636 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 21.636 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 21.636 * [taylor]: Taking taylor expansion of (* x y) in y 21.636 * [taylor]: Taking taylor expansion of x in y 21.636 * [backup-simplify]: Simplify x into x 21.636 * [taylor]: Taking taylor expansion of y in y 21.636 * [backup-simplify]: Simplify 0 into 0 21.636 * [backup-simplify]: Simplify 1 into 1 21.636 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* x y)) in x 21.636 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 21.636 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 21.636 * [taylor]: Taking taylor expansion of 27.0 in x 21.636 * [backup-simplify]: Simplify 27.0 into 27.0 21.637 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 21.637 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 21.637 * [taylor]: Taking taylor expansion of (* x y) in x 21.637 * [taylor]: Taking taylor expansion of x in x 21.637 * [backup-simplify]: Simplify 0 into 0 21.637 * [backup-simplify]: Simplify 1 into 1 21.637 * [taylor]: Taking taylor expansion of y in x 21.637 * [backup-simplify]: Simplify y into y 21.637 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* x y)) in x 21.637 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 21.637 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 21.637 * [taylor]: Taking taylor expansion of 27.0 in x 21.637 * [backup-simplify]: Simplify 27.0 into 27.0 21.638 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 21.638 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 21.638 * [taylor]: Taking taylor expansion of (* x y) in x 21.638 * [taylor]: Taking taylor expansion of x in x 21.638 * [backup-simplify]: Simplify 0 into 0 21.638 * [backup-simplify]: Simplify 1 into 1 21.638 * [taylor]: Taking taylor expansion of y in x 21.638 * [backup-simplify]: Simplify y into y 21.639 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 21.639 * [backup-simplify]: Simplify (* 0 y) into 0 21.640 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) 0) into 0 21.640 * [taylor]: Taking taylor expansion of 0 in y 21.640 * [backup-simplify]: Simplify 0 into 0 21.640 * [backup-simplify]: Simplify 0 into 0 21.640 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 21.641 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 21.642 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) y) (* 0 0)) into (* (pow (sqrt 27.0) 2) y) 21.642 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) y) in y 21.642 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 21.642 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 21.642 * [taylor]: Taking taylor expansion of 27.0 in y 21.642 * [backup-simplify]: Simplify 27.0 into 27.0 21.642 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 21.643 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 21.643 * [taylor]: Taking taylor expansion of y in y 21.643 * [backup-simplify]: Simplify 0 into 0 21.643 * [backup-simplify]: Simplify 1 into 1 21.644 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 21.644 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) 0) into 0 21.644 * [backup-simplify]: Simplify 0 into 0 21.644 * [backup-simplify]: Simplify 0 into 0 21.645 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 21.645 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 21.646 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 21.647 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 0) (+ (* 0 y) (* 0 0))) into 0 21.647 * [taylor]: Taking taylor expansion of 0 in y 21.647 * [backup-simplify]: Simplify 0 into 0 21.647 * [backup-simplify]: Simplify 0 into 0 21.647 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 21.649 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 1) (* 0 0)) into (pow (sqrt 27.0) 2) 21.650 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2) 21.650 * [backup-simplify]: Simplify 0 into 0 21.651 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 21.652 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 21.652 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 21.653 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 21.653 * [taylor]: Taking taylor expansion of 0 in y 21.653 * [backup-simplify]: Simplify 0 into 0 21.653 * [backup-simplify]: Simplify 0 into 0 21.653 * [backup-simplify]: Simplify 0 into 0 21.654 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 21.655 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 21.656 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 0) (+ (* 0 1) (* 0 0))) into 0 21.656 * [backup-simplify]: Simplify 0 into 0 21.656 * [backup-simplify]: Simplify 0 into 0 21.657 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 21.658 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 21.658 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0)))))) into 0 21.660 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 21.660 * [taylor]: Taking taylor expansion of 0 in y 21.660 * [backup-simplify]: Simplify 0 into 0 21.660 * [backup-simplify]: Simplify 0 into 0 21.660 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* y x)) into (* (pow (sqrt 27.0) 2) (* x y)) 21.661 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (* (sqrt 27.0) (/ 1 x)) (/ 1 y))) into (/ (pow (sqrt 27.0) 2) (* x y)) 21.661 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0 21.661 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in y 21.661 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 21.661 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 21.661 * [taylor]: Taking taylor expansion of 27.0 in y 21.661 * [backup-simplify]: Simplify 27.0 into 27.0 21.662 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 21.662 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 21.662 * [taylor]: Taking taylor expansion of (* x y) in y 21.662 * [taylor]: Taking taylor expansion of x in y 21.663 * [backup-simplify]: Simplify x into x 21.663 * [taylor]: Taking taylor expansion of y in y 21.663 * [backup-simplify]: Simplify 0 into 0 21.663 * [backup-simplify]: Simplify 1 into 1 21.663 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 21.663 * [backup-simplify]: Simplify (* x 0) into 0 21.664 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 21.665 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) x) into (/ (pow (sqrt 27.0) 2) x) 21.665 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 21.665 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 21.665 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 21.665 * [taylor]: Taking taylor expansion of 27.0 in x 21.665 * [backup-simplify]: Simplify 27.0 into 27.0 21.665 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 21.666 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 21.666 * [taylor]: Taking taylor expansion of (* x y) in x 21.666 * [taylor]: Taking taylor expansion of x in x 21.666 * [backup-simplify]: Simplify 0 into 0 21.666 * [backup-simplify]: Simplify 1 into 1 21.666 * [taylor]: Taking taylor expansion of y in x 21.666 * [backup-simplify]: Simplify y into y 21.666 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 21.666 * [backup-simplify]: Simplify (* 0 y) into 0 21.667 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 21.667 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 21.667 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 21.667 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 21.667 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 21.667 * [taylor]: Taking taylor expansion of 27.0 in x 21.668 * [backup-simplify]: Simplify 27.0 into 27.0 21.668 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 21.668 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 21.668 * [taylor]: Taking taylor expansion of (* x y) in x 21.668 * [taylor]: Taking taylor expansion of x in x 21.668 * [backup-simplify]: Simplify 0 into 0 21.668 * [backup-simplify]: Simplify 1 into 1 21.668 * [taylor]: Taking taylor expansion of y in x 21.668 * [backup-simplify]: Simplify y into y 21.669 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 21.669 * [backup-simplify]: Simplify (* 0 y) into 0 21.669 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 21.670 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 21.670 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) y) in y 21.670 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 21.670 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 21.670 * [taylor]: Taking taylor expansion of 27.0 in y 21.670 * [backup-simplify]: Simplify 27.0 into 27.0 21.670 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 21.671 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 21.671 * [taylor]: Taking taylor expansion of y in y 21.671 * [backup-simplify]: Simplify 0 into 0 21.671 * [backup-simplify]: Simplify 1 into 1 21.672 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 21.673 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) 1) into (pow (sqrt 27.0) 2) 21.673 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2) 21.674 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 21.674 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 21.675 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)))) into 0 21.675 * [taylor]: Taking taylor expansion of 0 in y 21.675 * [backup-simplify]: Simplify 0 into 0 21.676 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 21.676 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)))) into 0 21.676 * [backup-simplify]: Simplify 0 into 0 21.677 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 21.678 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 21.679 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 21.679 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 21.679 * [taylor]: Taking taylor expansion of 0 in y 21.679 * [backup-simplify]: Simplify 0 into 0 21.679 * [backup-simplify]: Simplify 0 into 0 21.680 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 21.681 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 21.682 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 21.682 * [backup-simplify]: Simplify 0 into 0 21.682 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 21.683 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 21.684 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 21.685 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 21.685 * [taylor]: Taking taylor expansion of 0 in y 21.685 * [backup-simplify]: Simplify 0 into 0 21.685 * [backup-simplify]: Simplify 0 into 0 21.685 * [backup-simplify]: Simplify 0 into 0 21.686 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 21.686 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 21.687 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 21.687 * [backup-simplify]: Simplify 0 into 0 21.688 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* (pow (sqrt 27.0) 2) (* x y)) 21.689 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (* (sqrt 27.0) (/ 1 (- x))) (/ 1 (- y)))) into (/ (pow (sqrt 27.0) 2) (* x y)) 21.689 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0 21.689 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in y 21.689 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 21.689 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 21.689 * [taylor]: Taking taylor expansion of 27.0 in y 21.689 * [backup-simplify]: Simplify 27.0 into 27.0 21.689 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 21.689 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 21.689 * [taylor]: Taking taylor expansion of (* x y) in y 21.689 * [taylor]: Taking taylor expansion of x in y 21.689 * [backup-simplify]: Simplify x into x 21.689 * [taylor]: Taking taylor expansion of y in y 21.689 * [backup-simplify]: Simplify 0 into 0 21.689 * [backup-simplify]: Simplify 1 into 1 21.690 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 21.690 * [backup-simplify]: Simplify (* x 0) into 0 21.691 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 21.691 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) x) into (/ (pow (sqrt 27.0) 2) x) 21.691 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 21.691 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 21.691 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 21.691 * [taylor]: Taking taylor expansion of 27.0 in x 21.691 * [backup-simplify]: Simplify 27.0 into 27.0 21.692 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 21.692 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 21.692 * [taylor]: Taking taylor expansion of (* x y) in x 21.692 * [taylor]: Taking taylor expansion of x in x 21.692 * [backup-simplify]: Simplify 0 into 0 21.692 * [backup-simplify]: Simplify 1 into 1 21.692 * [taylor]: Taking taylor expansion of y in x 21.692 * [backup-simplify]: Simplify y into y 21.693 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 21.693 * [backup-simplify]: Simplify (* 0 y) into 0 21.693 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 21.697 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 21.697 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 21.697 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 21.697 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 21.697 * [taylor]: Taking taylor expansion of 27.0 in x 21.697 * [backup-simplify]: Simplify 27.0 into 27.0 21.698 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 21.698 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 21.698 * [taylor]: Taking taylor expansion of (* x y) in x 21.698 * [taylor]: Taking taylor expansion of x in x 21.698 * [backup-simplify]: Simplify 0 into 0 21.698 * [backup-simplify]: Simplify 1 into 1 21.698 * [taylor]: Taking taylor expansion of y in x 21.698 * [backup-simplify]: Simplify y into y 21.699 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 21.699 * [backup-simplify]: Simplify (* 0 y) into 0 21.699 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 21.700 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 21.700 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) y) in y 21.700 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 21.700 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 21.700 * [taylor]: Taking taylor expansion of 27.0 in y 21.700 * [backup-simplify]: Simplify 27.0 into 27.0 21.700 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 21.701 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 21.701 * [taylor]: Taking taylor expansion of y in y 21.701 * [backup-simplify]: Simplify 0 into 0 21.701 * [backup-simplify]: Simplify 1 into 1 21.702 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 21.703 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) 1) into (pow (sqrt 27.0) 2) 21.703 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2) 21.704 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 21.704 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 21.705 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)))) into 0 21.705 * [taylor]: Taking taylor expansion of 0 in y 21.705 * [backup-simplify]: Simplify 0 into 0 21.705 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 21.706 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)))) into 0 21.706 * [backup-simplify]: Simplify 0 into 0 21.707 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 21.708 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 21.708 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 21.709 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 21.709 * [taylor]: Taking taylor expansion of 0 in y 21.709 * [backup-simplify]: Simplify 0 into 0 21.709 * [backup-simplify]: Simplify 0 into 0 21.710 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 21.711 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 21.712 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 21.712 * [backup-simplify]: Simplify 0 into 0 21.712 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 21.713 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 21.714 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 21.715 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 21.715 * [taylor]: Taking taylor expansion of 0 in y 21.715 * [backup-simplify]: Simplify 0 into 0 21.715 * [backup-simplify]: Simplify 0 into 0 21.715 * [backup-simplify]: Simplify 0 into 0 21.716 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 21.716 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 21.717 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 21.717 * [backup-simplify]: Simplify 0 into 0 21.718 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* (pow (sqrt 27.0) 2) (* x y)) 21.718 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2) 21.718 * [backup-simplify]: Simplify (* (* (sqrt 27.0) x) y) into (* (sqrt 27.0) (* x y)) 21.718 * [approximate]: Taking taylor expansion of (* (sqrt 27.0) (* x y)) in (x y) around 0 21.718 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* x y)) in y 21.719 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 21.719 * [taylor]: Taking taylor expansion of 27.0 in y 21.719 * [backup-simplify]: Simplify 27.0 into 27.0 21.719 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 21.719 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 21.719 * [taylor]: Taking taylor expansion of (* x y) in y 21.719 * [taylor]: Taking taylor expansion of x in y 21.719 * [backup-simplify]: Simplify x into x 21.719 * [taylor]: Taking taylor expansion of y in y 21.719 * [backup-simplify]: Simplify 0 into 0 21.719 * [backup-simplify]: Simplify 1 into 1 21.719 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* x y)) in x 21.719 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 21.719 * [taylor]: Taking taylor expansion of 27.0 in x 21.719 * [backup-simplify]: Simplify 27.0 into 27.0 21.720 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 21.720 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 21.720 * [taylor]: Taking taylor expansion of (* x y) in x 21.720 * [taylor]: Taking taylor expansion of x in x 21.720 * [backup-simplify]: Simplify 0 into 0 21.720 * [backup-simplify]: Simplify 1 into 1 21.720 * [taylor]: Taking taylor expansion of y in x 21.720 * [backup-simplify]: Simplify y into y 21.720 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* x y)) in x 21.720 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 21.720 * [taylor]: Taking taylor expansion of 27.0 in x 21.720 * [backup-simplify]: Simplify 27.0 into 27.0 21.721 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 21.721 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 21.721 * [taylor]: Taking taylor expansion of (* x y) in x 21.721 * [taylor]: Taking taylor expansion of x in x 21.721 * [backup-simplify]: Simplify 0 into 0 21.721 * [backup-simplify]: Simplify 1 into 1 21.721 * [taylor]: Taking taylor expansion of y in x 21.721 * [backup-simplify]: Simplify y into y 21.721 * [backup-simplify]: Simplify (* 0 y) into 0 21.722 * [backup-simplify]: Simplify (* (sqrt 27.0) 0) into 0 21.722 * [taylor]: Taking taylor expansion of 0 in y 21.722 * [backup-simplify]: Simplify 0 into 0 21.722 * [backup-simplify]: Simplify 0 into 0 21.722 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 21.722 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) y) (* 0 0)) into (* (sqrt 27.0) y) 21.722 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) y) in y 21.722 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 21.722 * [taylor]: Taking taylor expansion of 27.0 in y 21.722 * [backup-simplify]: Simplify 27.0 into 27.0 21.723 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 21.723 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 21.723 * [taylor]: Taking taylor expansion of y in y 21.723 * [backup-simplify]: Simplify 0 into 0 21.723 * [backup-simplify]: Simplify 1 into 1 21.724 * [backup-simplify]: Simplify (* (sqrt 27.0) 0) into 0 21.724 * [backup-simplify]: Simplify 0 into 0 21.724 * [backup-simplify]: Simplify 0 into 0 21.724 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 21.725 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 21.725 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 y) (* 0 0))) into 0 21.725 * [taylor]: Taking taylor expansion of 0 in y 21.725 * [backup-simplify]: Simplify 0 into 0 21.725 * [backup-simplify]: Simplify 0 into 0 21.727 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 1) (* 0 0)) into (sqrt 27.0) 21.727 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 21.727 * [backup-simplify]: Simplify 0 into 0 21.728 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 21.729 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 21.730 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 21.730 * [taylor]: Taking taylor expansion of 0 in y 21.730 * [backup-simplify]: Simplify 0 into 0 21.730 * [backup-simplify]: Simplify 0 into 0 21.730 * [backup-simplify]: Simplify 0 into 0 21.730 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 21.731 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 1) (* 0 0))) into 0 21.731 * [backup-simplify]: Simplify 0 into 0 21.731 * [backup-simplify]: Simplify 0 into 0 21.732 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 21.733 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 21.734 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 21.734 * [taylor]: Taking taylor expansion of 0 in y 21.734 * [backup-simplify]: Simplify 0 into 0 21.734 * [backup-simplify]: Simplify 0 into 0 21.734 * [backup-simplify]: Simplify (* (sqrt 27.0) (* y x)) into (* (sqrt 27.0) (* x y)) 21.735 * [backup-simplify]: Simplify (* (* (sqrt 27.0) (/ 1 x)) (/ 1 y)) into (/ (sqrt 27.0) (* x y)) 21.735 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in (x y) around 0 21.735 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in y 21.735 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 21.735 * [taylor]: Taking taylor expansion of 27.0 in y 21.735 * [backup-simplify]: Simplify 27.0 into 27.0 21.735 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 21.735 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 21.735 * [taylor]: Taking taylor expansion of (* x y) in y 21.735 * [taylor]: Taking taylor expansion of x in y 21.735 * [backup-simplify]: Simplify x into x 21.735 * [taylor]: Taking taylor expansion of y in y 21.735 * [backup-simplify]: Simplify 0 into 0 21.735 * [backup-simplify]: Simplify 1 into 1 21.735 * [backup-simplify]: Simplify (* x 0) into 0 21.736 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 21.736 * [backup-simplify]: Simplify (/ (sqrt 27.0) x) into (/ (sqrt 27.0) x) 21.736 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 21.736 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 21.736 * [taylor]: Taking taylor expansion of 27.0 in x 21.736 * [backup-simplify]: Simplify 27.0 into 27.0 21.736 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 21.737 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 21.737 * [taylor]: Taking taylor expansion of (* x y) in x 21.737 * [taylor]: Taking taylor expansion of x in x 21.737 * [backup-simplify]: Simplify 0 into 0 21.737 * [backup-simplify]: Simplify 1 into 1 21.737 * [taylor]: Taking taylor expansion of y in x 21.737 * [backup-simplify]: Simplify y into y 21.737 * [backup-simplify]: Simplify (* 0 y) into 0 21.737 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 21.738 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 21.738 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 21.738 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 21.738 * [taylor]: Taking taylor expansion of 27.0 in x 21.738 * [backup-simplify]: Simplify 27.0 into 27.0 21.738 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 21.738 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 21.738 * [taylor]: Taking taylor expansion of (* x y) in x 21.738 * [taylor]: Taking taylor expansion of x in x 21.738 * [backup-simplify]: Simplify 0 into 0 21.738 * [backup-simplify]: Simplify 1 into 1 21.738 * [taylor]: Taking taylor expansion of y in x 21.738 * [backup-simplify]: Simplify y into y 21.738 * [backup-simplify]: Simplify (* 0 y) into 0 21.739 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 21.739 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 21.739 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y 21.739 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 21.739 * [taylor]: Taking taylor expansion of 27.0 in y 21.739 * [backup-simplify]: Simplify 27.0 into 27.0 21.739 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 21.740 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 21.740 * [taylor]: Taking taylor expansion of y in y 21.740 * [backup-simplify]: Simplify 0 into 0 21.740 * [backup-simplify]: Simplify 1 into 1 21.740 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0) 21.741 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 21.741 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 21.742 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)))) into 0 21.742 * [taylor]: Taking taylor expansion of 0 in y 21.742 * [backup-simplify]: Simplify 0 into 0 21.742 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)))) into 0 21.742 * [backup-simplify]: Simplify 0 into 0 21.743 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 21.744 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 21.744 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 21.744 * [taylor]: Taking taylor expansion of 0 in y 21.744 * [backup-simplify]: Simplify 0 into 0 21.744 * [backup-simplify]: Simplify 0 into 0 21.745 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 21.745 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 21.745 * [backup-simplify]: Simplify 0 into 0 21.746 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 21.747 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 21.747 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 21.747 * [taylor]: Taking taylor expansion of 0 in y 21.748 * [backup-simplify]: Simplify 0 into 0 21.748 * [backup-simplify]: Simplify 0 into 0 21.748 * [backup-simplify]: Simplify 0 into 0 21.748 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 21.749 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 21.749 * [backup-simplify]: Simplify 0 into 0 21.749 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* (sqrt 27.0) (* x y)) 21.750 * [backup-simplify]: Simplify (* (* (sqrt 27.0) (/ 1 (- x))) (/ 1 (- y))) into (/ (sqrt 27.0) (* x y)) 21.750 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in (x y) around 0 21.750 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in y 21.750 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 21.750 * [taylor]: Taking taylor expansion of 27.0 in y 21.750 * [backup-simplify]: Simplify 27.0 into 27.0 21.750 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 21.751 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 21.751 * [taylor]: Taking taylor expansion of (* x y) in y 21.751 * [taylor]: Taking taylor expansion of x in y 21.751 * [backup-simplify]: Simplify x into x 21.751 * [taylor]: Taking taylor expansion of y in y 21.751 * [backup-simplify]: Simplify 0 into 0 21.751 * [backup-simplify]: Simplify 1 into 1 21.751 * [backup-simplify]: Simplify (* x 0) into 0 21.751 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 21.751 * [backup-simplify]: Simplify (/ (sqrt 27.0) x) into (/ (sqrt 27.0) x) 21.751 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 21.751 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 21.751 * [taylor]: Taking taylor expansion of 27.0 in x 21.751 * [backup-simplify]: Simplify 27.0 into 27.0 21.752 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 21.752 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 21.752 * [taylor]: Taking taylor expansion of (* x y) in x 21.752 * [taylor]: Taking taylor expansion of x in x 21.752 * [backup-simplify]: Simplify 0 into 0 21.752 * [backup-simplify]: Simplify 1 into 1 21.752 * [taylor]: Taking taylor expansion of y in x 21.752 * [backup-simplify]: Simplify y into y 21.752 * [backup-simplify]: Simplify (* 0 y) into 0 21.752 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 21.753 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 21.753 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 21.753 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 21.753 * [taylor]: Taking taylor expansion of 27.0 in x 21.753 * [backup-simplify]: Simplify 27.0 into 27.0 21.753 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 21.754 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 21.754 * [taylor]: Taking taylor expansion of (* x y) in x 21.754 * [taylor]: Taking taylor expansion of x in x 21.754 * [backup-simplify]: Simplify 0 into 0 21.754 * [backup-simplify]: Simplify 1 into 1 21.754 * [taylor]: Taking taylor expansion of y in x 21.754 * [backup-simplify]: Simplify y into y 21.754 * [backup-simplify]: Simplify (* 0 y) into 0 21.754 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 21.754 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 21.754 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y 21.754 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 21.754 * [taylor]: Taking taylor expansion of 27.0 in y 21.754 * [backup-simplify]: Simplify 27.0 into 27.0 21.755 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 21.755 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 21.755 * [taylor]: Taking taylor expansion of y in y 21.755 * [backup-simplify]: Simplify 0 into 0 21.755 * [backup-simplify]: Simplify 1 into 1 21.756 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0) 21.756 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 21.756 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 21.757 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)))) into 0 21.757 * [taylor]: Taking taylor expansion of 0 in y 21.757 * [backup-simplify]: Simplify 0 into 0 21.757 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)))) into 0 21.757 * [backup-simplify]: Simplify 0 into 0 21.758 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 21.759 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 21.759 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 21.759 * [taylor]: Taking taylor expansion of 0 in y 21.759 * [backup-simplify]: Simplify 0 into 0 21.759 * [backup-simplify]: Simplify 0 into 0 21.760 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 21.761 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 21.761 * [backup-simplify]: Simplify 0 into 0 21.761 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 21.762 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 21.763 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 21.763 * [taylor]: Taking taylor expansion of 0 in y 21.763 * [backup-simplify]: Simplify 0 into 0 21.763 * [backup-simplify]: Simplify 0 into 0 21.763 * [backup-simplify]: Simplify 0 into 0 21.764 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 21.764 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 21.764 * [backup-simplify]: Simplify 0 into 0 21.765 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* (sqrt 27.0) (* x y)) 21.765 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2 1) 21.765 * [backup-simplify]: Simplify (* (sqrt 27.0) x) into (* (sqrt 27.0) x) 21.765 * [approximate]: Taking taylor expansion of (* (sqrt 27.0) x) in (x) around 0 21.765 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) x) in x 21.765 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 21.765 * [taylor]: Taking taylor expansion of 27.0 in x 21.765 * [backup-simplify]: Simplify 27.0 into 27.0 21.765 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 21.766 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 21.766 * [taylor]: Taking taylor expansion of x in x 21.766 * [backup-simplify]: Simplify 0 into 0 21.766 * [backup-simplify]: Simplify 1 into 1 21.766 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) x) in x 21.766 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 21.766 * [taylor]: Taking taylor expansion of 27.0 in x 21.766 * [backup-simplify]: Simplify 27.0 into 27.0 21.766 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 21.767 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 21.767 * [taylor]: Taking taylor expansion of x in x 21.767 * [backup-simplify]: Simplify 0 into 0 21.767 * [backup-simplify]: Simplify 1 into 1 21.767 * [backup-simplify]: Simplify (* (sqrt 27.0) 0) into 0 21.767 * [backup-simplify]: Simplify 0 into 0 21.768 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 1) (* 0 0)) into (sqrt 27.0) 21.769 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 21.769 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 21.770 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 1) (* 0 0))) into 0 21.770 * [backup-simplify]: Simplify 0 into 0 21.771 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 21.771 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 21.772 * [backup-simplify]: Simplify 0 into 0 21.772 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 21.773 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 21.773 * [backup-simplify]: Simplify 0 into 0 21.774 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 21.775 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 21.775 * [backup-simplify]: Simplify 0 into 0 21.776 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 21.777 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 21.777 * [backup-simplify]: Simplify 0 into 0 21.778 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 21.779 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 21.779 * [backup-simplify]: Simplify 0 into 0 21.779 * [backup-simplify]: Simplify (* (sqrt 27.0) x) into (* (sqrt 27.0) x) 21.780 * [backup-simplify]: Simplify (* (sqrt 27.0) (/ 1 x)) into (/ (sqrt 27.0) x) 21.780 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) x) in (x) around 0 21.780 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) x) in x 21.780 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 21.780 * [taylor]: Taking taylor expansion of 27.0 in x 21.780 * [backup-simplify]: Simplify 27.0 into 27.0 21.780 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 21.780 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 21.780 * [taylor]: Taking taylor expansion of x in x 21.780 * [backup-simplify]: Simplify 0 into 0 21.781 * [backup-simplify]: Simplify 1 into 1 21.781 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0) 21.781 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) x) in x 21.781 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 21.781 * [taylor]: Taking taylor expansion of 27.0 in x 21.781 * [backup-simplify]: Simplify 27.0 into 27.0 21.781 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 21.782 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 21.782 * [taylor]: Taking taylor expansion of x in x 21.782 * [backup-simplify]: Simplify 0 into 0 21.782 * [backup-simplify]: Simplify 1 into 1 21.782 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0) 21.783 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 21.783 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)))) into 0 21.783 * [backup-simplify]: Simplify 0 into 0 21.784 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 21.785 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 21.785 * [backup-simplify]: Simplify 0 into 0 21.789 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 21.790 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 21.790 * [backup-simplify]: Simplify 0 into 0 21.791 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 21.793 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 21.793 * [backup-simplify]: Simplify 0 into 0 21.793 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 21.794 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 21.794 * [backup-simplify]: Simplify 0 into 0 21.796 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 21.797 * [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 21.797 * [backup-simplify]: Simplify 0 into 0 21.797 * [backup-simplify]: Simplify (* (sqrt 27.0) (/ 1 (/ 1 x))) into (* (sqrt 27.0) x) 21.798 * [backup-simplify]: Simplify (* (sqrt 27.0) (/ 1 (- x))) into (* -1 (/ (sqrt 27.0) x)) 21.798 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt 27.0) x)) in (x) around 0 21.798 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 27.0) x)) in x 21.798 * [taylor]: Taking taylor expansion of -1 in x 21.798 * [backup-simplify]: Simplify -1 into -1 21.798 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) x) in x 21.798 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 21.798 * [taylor]: Taking taylor expansion of 27.0 in x 21.798 * [backup-simplify]: Simplify 27.0 into 27.0 21.798 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 21.799 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 21.799 * [taylor]: Taking taylor expansion of x in x 21.799 * [backup-simplify]: Simplify 0 into 0 21.799 * [backup-simplify]: Simplify 1 into 1 21.799 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0) 21.799 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 27.0) x)) in x 21.799 * [taylor]: Taking taylor expansion of -1 in x 21.799 * [backup-simplify]: Simplify -1 into -1 21.799 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) x) in x 21.800 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 21.800 * [taylor]: Taking taylor expansion of 27.0 in x 21.800 * [backup-simplify]: Simplify 27.0 into 27.0 21.800 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 21.800 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 21.800 * [taylor]: Taking taylor expansion of x in x 21.800 * [backup-simplify]: Simplify 0 into 0 21.800 * [backup-simplify]: Simplify 1 into 1 21.801 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0) 21.802 * [backup-simplify]: Simplify (* -1 (sqrt 27.0)) into (* -1 (sqrt 27.0)) 21.802 * [backup-simplify]: Simplify (* -1 (sqrt 27.0)) into (* -1 (sqrt 27.0)) 21.803 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)))) into 0 21.803 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (sqrt 27.0))) into 0 21.803 * [backup-simplify]: Simplify 0 into 0 21.804 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 21.805 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 21.805 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 21.805 * [backup-simplify]: Simplify 0 into 0 21.806 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 21.807 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 21.808 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 21.808 * [backup-simplify]: Simplify 0 into 0 21.808 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 21.809 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 21.810 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0)))))) into 0 21.810 * [backup-simplify]: Simplify 0 into 0 21.811 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 21.811 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 21.812 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))))) into 0 21.812 * [backup-simplify]: Simplify 0 into 0 21.813 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 21.814 * [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 21.815 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0)))))))) into 0 21.815 * [backup-simplify]: Simplify 0 into 0 21.816 * [backup-simplify]: Simplify (* (* -1 (sqrt 27.0)) (/ 1 (/ 1 (- x)))) into (* (sqrt 27.0) x) 21.816 * * * [progress]: simplifying candidates 21.817 * [simplify]: Simplifying: (expm1 (* (sqrt 27.0) (* (* (sqrt 27.0) x) y))) (log1p (* (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)) (+ (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)) (expm1 (* (* (sqrt 27.0) x) y)) (log1p (* (* (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) (expm1 (* (sqrt 27.0) x)) (log1p (* (sqrt 27.0) x)) (* (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) 21.818 * * [simplify]: Extracting # 0 : cost 0 21.818 * * [simplify]: Extracting # 1 : cost 0 21.818 * * [simplify]: Extracting # 2 : cost 0 21.818 * * [simplify]: Extracting # 3 : cost 0 21.819 * * [simplify]: Extracting # 4 : cost 0 21.819 * * [simplify]: Extracting # 5 : cost 0 21.819 * * [simplify]: Extracting # 6 : cost 0 21.819 * * [simplify]: iteration 0 : 85 enodes (cost 721 ) 21.837 * * [simplify]: Extracting # 0 : cost 0 21.838 * * [simplify]: Extracting # 1 : cost 0 21.838 * * [simplify]: Extracting # 2 : cost 0 21.838 * * [simplify]: Extracting # 3 : cost 0 21.838 * * [simplify]: iteration 1 : 196 enodes (cost 570 ) 21.959 * * [simplify]: Extracting # 0 : cost 0 21.961 * * [simplify]: Extracting # 1 : cost 0 21.963 * * [simplify]: Extracting # 2 : cost 0 21.964 * * [simplify]: Extracting # 3 : cost 0 21.966 * * [simplify]: Extracting # 4 : cost 0 21.967 * * [simplify]: iteration 2 : 812 enodes (cost 486 ) 23.664 * * [simplify]: Extracting # 0 : cost 0 23.671 * * [simplify]: Extracting # 1 : cost 0 23.675 * * [simplify]: Extracting # 2 : cost 0 23.680 * * [simplify]: Extracting # 3 : cost 0 23.688 * * [simplify]: Extracting # 4 : cost 0 23.692 * * [simplify]: iteration 3 : 3420 enodes (cost 486 ) 25.843 * * [simplify]: Extracting # 0 : cost 0 25.853 * * [simplify]: Extracting # 1 : cost 0 25.860 * * [simplify]: Extracting # 2 : cost 0 25.866 * * [simplify]: Extracting # 3 : cost 0 25.873 * * [simplify]: Extracting # 4 : cost 0 25.880 * * [simplify]: iteration done: 5000 enodes (cost 484 ) 25.881 * [simplify]: Simplified to: (expm1 (* 27.0 (* x y))) (log1p (* 27.0 (* x y))) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) (log (* 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) (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 (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)) (* 27.0 (* x y)) (* (* y x) (pow (sqrt (sqrt 27.0)) 3)) (* 27.0 (* x y)) (expm1 (* (* (sqrt 27.0) x) y)) (log1p (* (* (sqrt 27.0) x) y)) (* (* (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) (expm1 (* (sqrt 27.0) x)) (log1p (* (sqrt 27.0) 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) (* (cbrt (sqrt 27.0)) x) (* (sqrt (cbrt 27.0)) x) (* x (sqrt (sqrt 27.0))) (* (sqrt 27.0) x) (* x (sqrt (sqrt 27.0))) (* (sqrt 27.0) x) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* 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) 25.881 * * * [progress]: adding candidates to table 26.073 * [progress]: [Phase 3 of 3] Extracting. 26.074 * * [regime]: Finding splitpoints for: (# # # # #) 26.074 * * * [regime-changes]: Trying 4 branch expressions: ((* x 27.0) (* (* x 27.0) y) y x) 26.074 * * * * [regimes]: Trying to branch on (* x 27.0) from (# # # # #) 26.091 * * * * [regimes]: Trying to branch on (* (* x 27.0) y) from (# # # # #) 26.111 * * * * [regimes]: Trying to branch on y from (# # # # #) 26.128 * * * * [regimes]: Trying to branch on x from (# # # # #) 26.148 * * * [regime]: Found split indices: #