3.342 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.023 * * * [progress]: [2/2] Setting up program. 0.025 * [progress]: [Phase 2 of 3] Improving. 0.026 * [simplify]: Simplifying: (* (* x 27.0) y) 0.026 * * [simplify]: Extracting # 0 : cost 0 0.026 * * [simplify]: Extracting # 1 : cost 0 0.026 * * [simplify]: Extracting # 2 : cost 0 0.026 * * [simplify]: Extracting # 3 : cost 0 0.026 * * [simplify]: Extracting # 4 : cost 0 0.026 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.027 * * [simplify]: Extracting # 0 : cost 0 0.027 * * [simplify]: Extracting # 1 : cost 0 0.028 * * [simplify]: Extracting # 2 : cost 0 0.028 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 0.030 * * [simplify]: Extracting # 0 : cost 0 0.031 * * [simplify]: Extracting # 1 : cost 0 0.031 * * [simplify]: Extracting # 2 : cost 0 0.031 * * [simplify]: iteration 2 : 16 enodes (cost 5 ) 0.036 * * [simplify]: Extracting # 0 : cost 0 0.036 * * [simplify]: iteration 3 : 18 enodes (cost 5 ) 0.041 * * [simplify]: Extracting # 0 : cost 0 0.041 * * [simplify]: iteration done: 18 enodes (cost 5 ) 0.041 * [simplify]: Simplified to: (* (* x 27.0) y) 0.042 * * [progress]: iteration 1 / 4 0.042 * * * [progress]: picking best candidate 0.044 * * * * [pick]: Picked # 0.044 * * * [progress]: localizing error 0.052 * * * [progress]: generating rewritten candidates 0.052 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.088 * * * [progress]: generating series expansions 0.088 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.088 * [backup-simplify]: Simplify (* (* x 27.0) y) into (* 27.0 (* x y)) 0.088 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0 0.088 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y 0.088 * [taylor]: Taking taylor expansion of 27.0 in y 0.088 * [backup-simplify]: Simplify 27.0 into 27.0 0.088 * [taylor]: Taking taylor expansion of (* x y) in y 0.088 * [taylor]: Taking taylor expansion of x in y 0.088 * [backup-simplify]: Simplify x into x 0.088 * [taylor]: Taking taylor expansion of y in y 0.088 * [backup-simplify]: Simplify 0 into 0 0.088 * [backup-simplify]: Simplify 1 into 1 0.088 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 0.088 * [taylor]: Taking taylor expansion of 27.0 in x 0.088 * [backup-simplify]: Simplify 27.0 into 27.0 0.088 * [taylor]: Taking taylor expansion of (* x y) in x 0.088 * [taylor]: Taking taylor expansion of x in x 0.088 * [backup-simplify]: Simplify 0 into 0 0.088 * [backup-simplify]: Simplify 1 into 1 0.088 * [taylor]: Taking taylor expansion of y in x 0.088 * [backup-simplify]: Simplify y into y 0.088 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 0.088 * [taylor]: Taking taylor expansion of 27.0 in x 0.088 * [backup-simplify]: Simplify 27.0 into 27.0 0.088 * [taylor]: Taking taylor expansion of (* x y) in x 0.088 * [taylor]: Taking taylor expansion of x in x 0.088 * [backup-simplify]: Simplify 0 into 0 0.088 * [backup-simplify]: Simplify 1 into 1 0.088 * [taylor]: Taking taylor expansion of y in x 0.088 * [backup-simplify]: Simplify y into y 0.088 * [backup-simplify]: Simplify (* 0 y) into 0 0.089 * [backup-simplify]: Simplify (* 27.0 0) into 0 0.089 * [taylor]: Taking taylor expansion of 0 in y 0.089 * [backup-simplify]: Simplify 0 into 0 0.089 * [backup-simplify]: Simplify 0 into 0 0.089 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.089 * [backup-simplify]: Simplify (+ (* 27.0 y) (* 0 0)) into (* 27.0 y) 0.089 * [taylor]: Taking taylor expansion of (* 27.0 y) in y 0.090 * [taylor]: Taking taylor expansion of 27.0 in y 0.090 * [backup-simplify]: Simplify 27.0 into 27.0 0.090 * [taylor]: Taking taylor expansion of y in y 0.090 * [backup-simplify]: Simplify 0 into 0 0.090 * [backup-simplify]: Simplify 1 into 1 0.090 * [backup-simplify]: Simplify (* 27.0 0) into 0 0.090 * [backup-simplify]: Simplify 0 into 0 0.090 * [backup-simplify]: Simplify 0 into 0 0.090 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.091 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 y) (* 0 0))) into 0 0.091 * [taylor]: Taking taylor expansion of 0 in y 0.091 * [backup-simplify]: Simplify 0 into 0 0.091 * [backup-simplify]: Simplify 0 into 0 0.092 * [backup-simplify]: Simplify (+ (* 27.0 1) (* 0 0)) into 27.0 0.092 * [backup-simplify]: Simplify 27.0 into 27.0 0.092 * [backup-simplify]: Simplify 0 into 0 0.093 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 0.093 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 0.093 * [taylor]: Taking taylor expansion of 0 in y 0.093 * [backup-simplify]: Simplify 0 into 0 0.093 * [backup-simplify]: Simplify 0 into 0 0.093 * [backup-simplify]: Simplify 0 into 0 0.094 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 1) (* 0 0))) into 0 0.094 * [backup-simplify]: Simplify 0 into 0 0.094 * [backup-simplify]: Simplify 0 into 0 0.095 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.096 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 0.096 * [taylor]: Taking taylor expansion of 0 in y 0.096 * [backup-simplify]: Simplify 0 into 0 0.096 * [backup-simplify]: Simplify 0 into 0 0.096 * [backup-simplify]: Simplify (* 27.0 (* y x)) into (* 27.0 (* x y)) 0.096 * [backup-simplify]: Simplify (* (* (/ 1 x) 27.0) (/ 1 y)) into (/ 27.0 (* x y)) 0.096 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 0.096 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 0.096 * [taylor]: Taking taylor expansion of 27.0 in y 0.096 * [backup-simplify]: Simplify 27.0 into 27.0 0.096 * [taylor]: Taking taylor expansion of (* x y) in y 0.096 * [taylor]: Taking taylor expansion of x in y 0.096 * [backup-simplify]: Simplify x into x 0.096 * [taylor]: Taking taylor expansion of y in y 0.096 * [backup-simplify]: Simplify 0 into 0 0.096 * [backup-simplify]: Simplify 1 into 1 0.096 * [backup-simplify]: Simplify (* x 0) into 0 0.097 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 0.097 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 0.097 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 0.097 * [taylor]: Taking taylor expansion of 27.0 in x 0.097 * [backup-simplify]: Simplify 27.0 into 27.0 0.097 * [taylor]: Taking taylor expansion of (* x y) in x 0.097 * [taylor]: Taking taylor expansion of x in x 0.097 * [backup-simplify]: Simplify 0 into 0 0.097 * [backup-simplify]: Simplify 1 into 1 0.097 * [taylor]: Taking taylor expansion of y in x 0.097 * [backup-simplify]: Simplify y into y 0.097 * [backup-simplify]: Simplify (* 0 y) into 0 0.097 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.097 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 0.097 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 0.097 * [taylor]: Taking taylor expansion of 27.0 in x 0.097 * [backup-simplify]: Simplify 27.0 into 27.0 0.097 * [taylor]: Taking taylor expansion of (* x y) in x 0.097 * [taylor]: Taking taylor expansion of x in x 0.097 * [backup-simplify]: Simplify 0 into 0 0.097 * [backup-simplify]: Simplify 1 into 1 0.097 * [taylor]: Taking taylor expansion of y in x 0.097 * [backup-simplify]: Simplify y into y 0.097 * [backup-simplify]: Simplify (* 0 y) into 0 0.098 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.098 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 0.098 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 0.098 * [taylor]: Taking taylor expansion of 27.0 in y 0.098 * [backup-simplify]: Simplify 27.0 into 27.0 0.098 * [taylor]: Taking taylor expansion of y in y 0.098 * [backup-simplify]: Simplify 0 into 0 0.098 * [backup-simplify]: Simplify 1 into 1 0.098 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 0.098 * [backup-simplify]: Simplify 27.0 into 27.0 0.099 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.099 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 0.099 * [taylor]: Taking taylor expansion of 0 in y 0.099 * [backup-simplify]: Simplify 0 into 0 0.099 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 0.099 * [backup-simplify]: Simplify 0 into 0 0.100 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 0.100 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.100 * [taylor]: Taking taylor expansion of 0 in y 0.100 * [backup-simplify]: Simplify 0 into 0 0.100 * [backup-simplify]: Simplify 0 into 0 0.101 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.101 * [backup-simplify]: Simplify 0 into 0 0.102 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.102 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.102 * [taylor]: Taking taylor expansion of 0 in y 0.102 * [backup-simplify]: Simplify 0 into 0 0.102 * [backup-simplify]: Simplify 0 into 0 0.102 * [backup-simplify]: Simplify 0 into 0 0.103 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.103 * [backup-simplify]: Simplify 0 into 0 0.103 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 27.0 (* x y)) 0.103 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) 27.0) (/ 1 (- y))) into (/ 27.0 (* x y)) 0.103 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 0.103 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 0.103 * [taylor]: Taking taylor expansion of 27.0 in y 0.103 * [backup-simplify]: Simplify 27.0 into 27.0 0.103 * [taylor]: Taking taylor expansion of (* x y) in y 0.103 * [taylor]: Taking taylor expansion of x in y 0.103 * [backup-simplify]: Simplify x into x 0.103 * [taylor]: Taking taylor expansion of y in y 0.103 * [backup-simplify]: Simplify 0 into 0 0.103 * [backup-simplify]: Simplify 1 into 1 0.103 * [backup-simplify]: Simplify (* x 0) into 0 0.104 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 0.104 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 0.104 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 0.104 * [taylor]: Taking taylor expansion of 27.0 in x 0.104 * [backup-simplify]: Simplify 27.0 into 27.0 0.104 * [taylor]: Taking taylor expansion of (* x y) in x 0.104 * [taylor]: Taking taylor expansion of x in x 0.104 * [backup-simplify]: Simplify 0 into 0 0.104 * [backup-simplify]: Simplify 1 into 1 0.104 * [taylor]: Taking taylor expansion of y in x 0.104 * [backup-simplify]: Simplify y into y 0.104 * [backup-simplify]: Simplify (* 0 y) into 0 0.104 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.104 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 0.104 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 0.104 * [taylor]: Taking taylor expansion of 27.0 in x 0.104 * [backup-simplify]: Simplify 27.0 into 27.0 0.104 * [taylor]: Taking taylor expansion of (* x y) in x 0.104 * [taylor]: Taking taylor expansion of x in x 0.104 * [backup-simplify]: Simplify 0 into 0 0.104 * [backup-simplify]: Simplify 1 into 1 0.104 * [taylor]: Taking taylor expansion of y in x 0.104 * [backup-simplify]: Simplify y into y 0.104 * [backup-simplify]: Simplify (* 0 y) into 0 0.104 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.105 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 0.105 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 0.105 * [taylor]: Taking taylor expansion of 27.0 in y 0.105 * [backup-simplify]: Simplify 27.0 into 27.0 0.105 * [taylor]: Taking taylor expansion of y in y 0.105 * [backup-simplify]: Simplify 0 into 0 0.105 * [backup-simplify]: Simplify 1 into 1 0.105 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 0.105 * [backup-simplify]: Simplify 27.0 into 27.0 0.106 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.106 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 0.106 * [taylor]: Taking taylor expansion of 0 in y 0.106 * [backup-simplify]: Simplify 0 into 0 0.106 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 0.106 * [backup-simplify]: Simplify 0 into 0 0.107 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 0.107 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.107 * [taylor]: Taking taylor expansion of 0 in y 0.107 * [backup-simplify]: Simplify 0 into 0 0.107 * [backup-simplify]: Simplify 0 into 0 0.108 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.108 * [backup-simplify]: Simplify 0 into 0 0.109 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.109 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.109 * [taylor]: Taking taylor expansion of 0 in y 0.109 * [backup-simplify]: Simplify 0 into 0 0.109 * [backup-simplify]: Simplify 0 into 0 0.109 * [backup-simplify]: Simplify 0 into 0 0.110 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.110 * [backup-simplify]: Simplify 0 into 0 0.110 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 27.0 (* x y)) 0.110 * * * [progress]: simplifying candidates 0.110 * [simplify]: Simplifying: (* (* x 27.0) y) (* (* x 27.0) y) (+ (+ (log x) (log 27.0)) (log y)) (+ (log (* x 27.0)) (log y)) (log (* (* x 27.0) y)) (exp (* (* x 27.0) y)) (* (* (* (* x x) x) (* (* 27.0 27.0) 27.0)) (* (* y y) y)) (* (* (* (* x 27.0) (* x 27.0)) (* x 27.0)) (* (* y y) y)) (* (cbrt (* (* x 27.0) y)) (cbrt (* (* x 27.0) y))) (cbrt (* (* x 27.0) y)) (* (* (* (* x 27.0) y) (* (* x 27.0) y)) (* (* x 27.0) y)) (sqrt (* (* x 27.0) y)) (sqrt (* (* x 27.0) y)) (* (* x 27.0) (* (cbrt y) (cbrt y))) (* (* x 27.0) (sqrt y)) (* (* x 27.0) 1) (* 27.0 y) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) 0.111 * * [simplify]: Extracting # 0 : cost 0 0.111 * * [simplify]: Extracting # 1 : cost 0 0.111 * * [simplify]: Extracting # 2 : cost 0 0.111 * * [simplify]: Extracting # 3 : cost 0 0.111 * * [simplify]: Extracting # 4 : cost 0 0.111 * * [simplify]: Extracting # 5 : cost 0 0.111 * * [simplify]: Extracting # 6 : cost 0 0.111 * * [simplify]: iteration 0 : 40 enodes (cost 157 ) 0.121 * * [simplify]: Extracting # 0 : cost 0 0.122 * * [simplify]: Extracting # 1 : cost 0 0.122 * * [simplify]: Extracting # 2 : cost 0 0.122 * * [simplify]: iteration 1 : 100 enodes (cost 152 ) 0.172 * * [simplify]: Extracting # 0 : cost 0 0.173 * * [simplify]: Extracting # 1 : cost 0 0.173 * * [simplify]: Extracting # 2 : cost 0 0.173 * * [simplify]: Extracting # 3 : cost 0 0.174 * * [simplify]: Extracting # 4 : cost 0 0.174 * * [simplify]: Extracting # 5 : cost 0 0.175 * * [simplify]: iteration 2 : 404 enodes (cost 122 ) 0.809 * * [simplify]: Extracting # 0 : cost 0 0.813 * * [simplify]: Extracting # 1 : cost 0 0.815 * * [simplify]: Extracting # 2 : cost 0 0.817 * * [simplify]: Extracting # 3 : cost 0 0.819 * * [simplify]: Extracting # 4 : cost 0 0.821 * * [simplify]: iteration 3 : 1399 enodes (cost 122 ) 4.789 * * [simplify]: Extracting # 0 : cost 0 4.799 * * [simplify]: Extracting # 1 : cost 0 4.800 * * [simplify]: Extracting # 2 : cost 0 4.802 * * [simplify]: Extracting # 3 : cost 0 4.803 * * [simplify]: Extracting # 4 : cost 0 4.805 * * [simplify]: Extracting # 5 : cost 0 4.806 * * [simplify]: iteration 4 : 3119 enodes (cost 122 ) 8.115 * * [simplify]: Extracting # 0 : cost 0 8.119 * * [simplify]: Extracting # 1 : cost 0 8.122 * * [simplify]: Extracting # 2 : cost 0 8.126 * * [simplify]: Extracting # 3 : cost 0 8.131 * * [simplify]: Extracting # 4 : cost 0 8.136 * * [simplify]: iteration done: 5000 enodes (cost 122 ) 8.137 * [simplify]: Simplified to: (* 27.0 (* x y)) (* 27.0 (* x y)) (log (* 27.0 (* x y))) (log (* 27.0 (* x y))) (log (* 27.0 (* x y))) (exp (* (* x 27.0) y)) (pow (* 27.0 (* x y)) 3) (pow (* 27.0 (* x y)) 3) (* (cbrt (* (* x 27.0) y)) (cbrt (* (* x 27.0) y))) (cbrt (* (* x 27.0) y)) (pow (* 27.0 (* x y)) 3) (sqrt (* (* x 27.0) y)) (sqrt (* (* x 27.0) y)) (* (* x 27.0) (* (cbrt y) (cbrt y))) (* (* x 27.0) (sqrt y)) (* x 27.0) (* y 27.0) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) 8.137 * * * [progress]: adding candidates to table 8.176 * * [progress]: iteration 2 / 4 8.176 * * * [progress]: picking best candidate 8.183 * * * * [pick]: Picked # 8.183 * * * [progress]: localizing error 8.190 * * * [progress]: generating rewritten candidates 8.191 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 8.213 * * * [progress]: generating series expansions 8.213 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 8.213 * [backup-simplify]: Simplify (* 27.0 (* x y)) into (* 27.0 (* x y)) 8.213 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0 8.213 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y 8.213 * [taylor]: Taking taylor expansion of 27.0 in y 8.213 * [backup-simplify]: Simplify 27.0 into 27.0 8.214 * [taylor]: Taking taylor expansion of (* x y) in y 8.214 * [taylor]: Taking taylor expansion of x in y 8.214 * [backup-simplify]: Simplify x into x 8.214 * [taylor]: Taking taylor expansion of y in y 8.214 * [backup-simplify]: Simplify 0 into 0 8.214 * [backup-simplify]: Simplify 1 into 1 8.214 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 8.214 * [taylor]: Taking taylor expansion of 27.0 in x 8.214 * [backup-simplify]: Simplify 27.0 into 27.0 8.214 * [taylor]: Taking taylor expansion of (* x y) in x 8.214 * [taylor]: Taking taylor expansion of x in x 8.214 * [backup-simplify]: Simplify 0 into 0 8.214 * [backup-simplify]: Simplify 1 into 1 8.214 * [taylor]: Taking taylor expansion of y in x 8.214 * [backup-simplify]: Simplify y into y 8.214 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 8.214 * [taylor]: Taking taylor expansion of 27.0 in x 8.214 * [backup-simplify]: Simplify 27.0 into 27.0 8.214 * [taylor]: Taking taylor expansion of (* x y) in x 8.214 * [taylor]: Taking taylor expansion of x in x 8.214 * [backup-simplify]: Simplify 0 into 0 8.214 * [backup-simplify]: Simplify 1 into 1 8.214 * [taylor]: Taking taylor expansion of y in x 8.214 * [backup-simplify]: Simplify y into y 8.214 * [backup-simplify]: Simplify (* 0 y) into 0 8.215 * [backup-simplify]: Simplify (* 27.0 0) into 0 8.215 * [taylor]: Taking taylor expansion of 0 in y 8.215 * [backup-simplify]: Simplify 0 into 0 8.215 * [backup-simplify]: Simplify 0 into 0 8.215 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 8.215 * [backup-simplify]: Simplify (+ (* 27.0 y) (* 0 0)) into (* 27.0 y) 8.215 * [taylor]: Taking taylor expansion of (* 27.0 y) in y 8.215 * [taylor]: Taking taylor expansion of 27.0 in y 8.215 * [backup-simplify]: Simplify 27.0 into 27.0 8.215 * [taylor]: Taking taylor expansion of y in y 8.215 * [backup-simplify]: Simplify 0 into 0 8.215 * [backup-simplify]: Simplify 1 into 1 8.216 * [backup-simplify]: Simplify (* 27.0 0) into 0 8.216 * [backup-simplify]: Simplify 0 into 0 8.216 * [backup-simplify]: Simplify 0 into 0 8.216 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 8.217 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 y) (* 0 0))) into 0 8.217 * [taylor]: Taking taylor expansion of 0 in y 8.217 * [backup-simplify]: Simplify 0 into 0 8.217 * [backup-simplify]: Simplify 0 into 0 8.217 * [backup-simplify]: Simplify (+ (* 27.0 1) (* 0 0)) into 27.0 8.217 * [backup-simplify]: Simplify 27.0 into 27.0 8.218 * [backup-simplify]: Simplify 0 into 0 8.218 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 8.219 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 8.219 * [taylor]: Taking taylor expansion of 0 in y 8.219 * [backup-simplify]: Simplify 0 into 0 8.219 * [backup-simplify]: Simplify 0 into 0 8.219 * [backup-simplify]: Simplify 0 into 0 8.220 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 1) (* 0 0))) into 0 8.220 * [backup-simplify]: Simplify 0 into 0 8.220 * [backup-simplify]: Simplify 0 into 0 8.221 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 8.221 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 8.221 * [taylor]: Taking taylor expansion of 0 in y 8.221 * [backup-simplify]: Simplify 0 into 0 8.222 * [backup-simplify]: Simplify 0 into 0 8.222 * [backup-simplify]: Simplify (* 27.0 (* y x)) into (* 27.0 (* x y)) 8.222 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 x) (/ 1 y))) into (/ 27.0 (* x y)) 8.222 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 8.222 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 8.222 * [taylor]: Taking taylor expansion of 27.0 in y 8.222 * [backup-simplify]: Simplify 27.0 into 27.0 8.222 * [taylor]: Taking taylor expansion of (* x y) in y 8.222 * [taylor]: Taking taylor expansion of x in y 8.222 * [backup-simplify]: Simplify x into x 8.222 * [taylor]: Taking taylor expansion of y in y 8.222 * [backup-simplify]: Simplify 0 into 0 8.222 * [backup-simplify]: Simplify 1 into 1 8.222 * [backup-simplify]: Simplify (* x 0) into 0 8.222 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 8.222 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 8.222 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 8.222 * [taylor]: Taking taylor expansion of 27.0 in x 8.222 * [backup-simplify]: Simplify 27.0 into 27.0 8.222 * [taylor]: Taking taylor expansion of (* x y) in x 8.222 * [taylor]: Taking taylor expansion of x in x 8.222 * [backup-simplify]: Simplify 0 into 0 8.222 * [backup-simplify]: Simplify 1 into 1 8.222 * [taylor]: Taking taylor expansion of y in x 8.222 * [backup-simplify]: Simplify y into y 8.222 * [backup-simplify]: Simplify (* 0 y) into 0 8.223 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 8.223 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 8.223 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 8.223 * [taylor]: Taking taylor expansion of 27.0 in x 8.223 * [backup-simplify]: Simplify 27.0 into 27.0 8.223 * [taylor]: Taking taylor expansion of (* x y) in x 8.223 * [taylor]: Taking taylor expansion of x in x 8.223 * [backup-simplify]: Simplify 0 into 0 8.223 * [backup-simplify]: Simplify 1 into 1 8.223 * [taylor]: Taking taylor expansion of y in x 8.223 * [backup-simplify]: Simplify y into y 8.223 * [backup-simplify]: Simplify (* 0 y) into 0 8.223 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 8.223 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 8.223 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 8.223 * [taylor]: Taking taylor expansion of 27.0 in y 8.223 * [backup-simplify]: Simplify 27.0 into 27.0 8.223 * [taylor]: Taking taylor expansion of y in y 8.223 * [backup-simplify]: Simplify 0 into 0 8.223 * [backup-simplify]: Simplify 1 into 1 8.224 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 8.224 * [backup-simplify]: Simplify 27.0 into 27.0 8.224 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 8.224 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 8.224 * [taylor]: Taking taylor expansion of 0 in y 8.224 * [backup-simplify]: Simplify 0 into 0 8.225 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 8.225 * [backup-simplify]: Simplify 0 into 0 8.226 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 8.226 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.226 * [taylor]: Taking taylor expansion of 0 in y 8.226 * [backup-simplify]: Simplify 0 into 0 8.226 * [backup-simplify]: Simplify 0 into 0 8.227 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.227 * [backup-simplify]: Simplify 0 into 0 8.229 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 8.229 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.229 * [taylor]: Taking taylor expansion of 0 in y 8.229 * [backup-simplify]: Simplify 0 into 0 8.229 * [backup-simplify]: Simplify 0 into 0 8.229 * [backup-simplify]: Simplify 0 into 0 8.230 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.230 * [backup-simplify]: Simplify 0 into 0 8.230 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 27.0 (* x y)) 8.231 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (- x)) (/ 1 (- y)))) into (/ 27.0 (* x y)) 8.231 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 8.231 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 8.231 * [taylor]: Taking taylor expansion of 27.0 in y 8.231 * [backup-simplify]: Simplify 27.0 into 27.0 8.231 * [taylor]: Taking taylor expansion of (* x y) in y 8.231 * [taylor]: Taking taylor expansion of x in y 8.231 * [backup-simplify]: Simplify x into x 8.231 * [taylor]: Taking taylor expansion of y in y 8.231 * [backup-simplify]: Simplify 0 into 0 8.231 * [backup-simplify]: Simplify 1 into 1 8.231 * [backup-simplify]: Simplify (* x 0) into 0 8.231 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 8.231 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 8.231 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 8.232 * [taylor]: Taking taylor expansion of 27.0 in x 8.232 * [backup-simplify]: Simplify 27.0 into 27.0 8.232 * [taylor]: Taking taylor expansion of (* x y) in x 8.232 * [taylor]: Taking taylor expansion of x in x 8.232 * [backup-simplify]: Simplify 0 into 0 8.232 * [backup-simplify]: Simplify 1 into 1 8.232 * [taylor]: Taking taylor expansion of y in x 8.232 * [backup-simplify]: Simplify y into y 8.232 * [backup-simplify]: Simplify (* 0 y) into 0 8.232 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 8.232 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 8.232 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 8.232 * [taylor]: Taking taylor expansion of 27.0 in x 8.232 * [backup-simplify]: Simplify 27.0 into 27.0 8.232 * [taylor]: Taking taylor expansion of (* x y) in x 8.232 * [taylor]: Taking taylor expansion of x in x 8.232 * [backup-simplify]: Simplify 0 into 0 8.232 * [backup-simplify]: Simplify 1 into 1 8.233 * [taylor]: Taking taylor expansion of y in x 8.233 * [backup-simplify]: Simplify y into y 8.233 * [backup-simplify]: Simplify (* 0 y) into 0 8.233 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 8.233 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 8.233 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 8.233 * [taylor]: Taking taylor expansion of 27.0 in y 8.233 * [backup-simplify]: Simplify 27.0 into 27.0 8.233 * [taylor]: Taking taylor expansion of y in y 8.233 * [backup-simplify]: Simplify 0 into 0 8.233 * [backup-simplify]: Simplify 1 into 1 8.234 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 8.234 * [backup-simplify]: Simplify 27.0 into 27.0 8.235 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 8.235 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 8.235 * [taylor]: Taking taylor expansion of 0 in y 8.235 * [backup-simplify]: Simplify 0 into 0 8.236 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 8.236 * [backup-simplify]: Simplify 0 into 0 8.237 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 8.238 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.238 * [taylor]: Taking taylor expansion of 0 in y 8.238 * [backup-simplify]: Simplify 0 into 0 8.238 * [backup-simplify]: Simplify 0 into 0 8.239 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.239 * [backup-simplify]: Simplify 0 into 0 8.240 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 8.241 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.241 * [taylor]: Taking taylor expansion of 0 in y 8.241 * [backup-simplify]: Simplify 0 into 0 8.241 * [backup-simplify]: Simplify 0 into 0 8.241 * [backup-simplify]: Simplify 0 into 0 8.242 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.242 * [backup-simplify]: Simplify 0 into 0 8.242 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 27.0 (* x y)) 8.242 * * * [progress]: simplifying candidates 8.243 * [simplify]: Simplifying: (* 27.0 (* x y)) (* 27.0 (* x y)) (+ (log 27.0) (+ (log x) (log y))) (+ (log 27.0) (log (* x y))) (log (* 27.0 (* x y))) (exp (* 27.0 (* x y))) (* (* (* 27.0 27.0) 27.0) (* (* (* x x) x) (* (* y y) y))) (* (* (* 27.0 27.0) 27.0) (* (* (* x y) (* x y)) (* x y))) (* (cbrt (* 27.0 (* x y))) (cbrt (* 27.0 (* x y)))) (cbrt (* 27.0 (* x y))) (* (* (* 27.0 (* x y)) (* 27.0 (* x y))) (* 27.0 (* x y))) (sqrt (* 27.0 (* x y))) (sqrt (* 27.0 (* x y))) (* 27.0 x) (* (cbrt 27.0) (* x y)) (* (sqrt 27.0) (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) 8.243 * * [simplify]: Extracting # 0 : cost 0 8.243 * * [simplify]: Extracting # 1 : cost 0 8.243 * * [simplify]: Extracting # 2 : cost 0 8.244 * * [simplify]: Extracting # 3 : cost 0 8.244 * * [simplify]: Extracting # 4 : cost 0 8.244 * * [simplify]: Extracting # 5 : cost 0 8.244 * * [simplify]: Extracting # 6 : cost 0 8.244 * * [simplify]: iteration 0 : 35 enodes (cost 154 ) 8.260 * * [simplify]: Extracting # 0 : cost 0 8.260 * * [simplify]: Extracting # 1 : cost 0 8.261 * * [simplify]: Extracting # 2 : cost 0 8.261 * * [simplify]: iteration 1 : 85 enodes (cost 151 ) 8.291 * * [simplify]: Extracting # 0 : cost 0 8.292 * * [simplify]: Extracting # 1 : cost 0 8.292 * * [simplify]: Extracting # 2 : cost 0 8.292 * * [simplify]: Extracting # 3 : cost 0 8.293 * * [simplify]: Extracting # 4 : cost 0 8.293 * * [simplify]: Extracting # 5 : cost 0 8.293 * * [simplify]: iteration 2 : 298 enodes (cost 121 ) 8.600 * * [simplify]: Extracting # 0 : cost 0 8.601 * * [simplify]: Extracting # 1 : cost 0 8.602 * * [simplify]: Extracting # 2 : cost 0 8.604 * * [simplify]: Extracting # 3 : cost 0 8.605 * * [simplify]: Extracting # 4 : cost 0 8.607 * * [simplify]: iteration 3 : 980 enodes (cost 121 ) 10.459 * * [simplify]: Extracting # 0 : cost 0 10.464 * * [simplify]: Extracting # 1 : cost 0 10.467 * * [simplify]: Extracting # 2 : cost 0 10.469 * * [simplify]: Extracting # 3 : cost 0 10.472 * * [simplify]: Extracting # 4 : cost 0 10.474 * * [simplify]: iteration 4 : 2143 enodes (cost 121 ) 15.801 * * [simplify]: Extracting # 0 : cost 0 15.808 * * [simplify]: Extracting # 1 : cost 0 15.814 * * [simplify]: Extracting # 2 : cost 0 15.820 * * [simplify]: Extracting # 3 : cost 0 15.826 * * [simplify]: Extracting # 4 : cost 0 15.832 * * [simplify]: iteration 5 : 4393 enodes (cost 121 ) 17.252 * * [simplify]: Extracting # 0 : cost 0 17.256 * * [simplify]: Extracting # 1 : cost 0 17.260 * * [simplify]: Extracting # 2 : cost 0 17.264 * * [simplify]: iteration done: 5001 enodes (cost 121 ) 17.264 * [simplify]: Simplified to: (* 27.0 (* x y)) (* 27.0 (* x y)) (log (* 27.0 (* x y))) (log (* 27.0 (* x y))) (log (* 27.0 (* x y))) (exp (* 27.0 (* x y))) (pow (* 27.0 (* x y)) 3) (pow (* 27.0 (* x y)) 3) (* (cbrt (* 27.0 (* x y))) (cbrt (* 27.0 (* x y)))) (cbrt (* 27.0 (* x y))) (pow (* 27.0 (* x y)) 3) (sqrt (* 27.0 (* x y))) (sqrt (* 27.0 (* x y))) (* 27.0 x) (* (cbrt 27.0) (* x y)) (* (sqrt 27.0) (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) 17.264 * * * [progress]: adding candidates to table 17.308 * * [progress]: iteration 3 / 4 17.308 * * * [progress]: picking best candidate 17.315 * * * * [pick]: Picked # 17.315 * * * [progress]: localizing error 17.336 * * * [progress]: generating rewritten candidates 17.336 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 2) 17.371 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 17.465 * * * [progress]: generating series expansions 17.465 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 2) 17.466 * [backup-simplify]: Simplify (* (sqrt 27.0) (* x y)) into (* (sqrt 27.0) (* x y)) 17.466 * [approximate]: Taking taylor expansion of (* (sqrt 27.0) (* x y)) in (x y) around 0 17.466 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* x y)) in y 17.466 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 17.466 * [taylor]: Taking taylor expansion of 27.0 in y 17.466 * [backup-simplify]: Simplify 27.0 into 27.0 17.466 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 17.467 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 17.467 * [taylor]: Taking taylor expansion of (* x y) in y 17.467 * [taylor]: Taking taylor expansion of x in y 17.467 * [backup-simplify]: Simplify x into x 17.467 * [taylor]: Taking taylor expansion of y in y 17.467 * [backup-simplify]: Simplify 0 into 0 17.467 * [backup-simplify]: Simplify 1 into 1 17.467 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* x y)) in x 17.467 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 17.467 * [taylor]: Taking taylor expansion of 27.0 in x 17.467 * [backup-simplify]: Simplify 27.0 into 27.0 17.468 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 17.469 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 17.469 * [taylor]: Taking taylor expansion of (* x y) in x 17.469 * [taylor]: Taking taylor expansion of x in x 17.469 * [backup-simplify]: Simplify 0 into 0 17.469 * [backup-simplify]: Simplify 1 into 1 17.469 * [taylor]: Taking taylor expansion of y in x 17.469 * [backup-simplify]: Simplify y into y 17.469 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* x y)) in x 17.469 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 17.469 * [taylor]: Taking taylor expansion of 27.0 in x 17.469 * [backup-simplify]: Simplify 27.0 into 27.0 17.469 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 17.470 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 17.470 * [taylor]: Taking taylor expansion of (* x y) in x 17.470 * [taylor]: Taking taylor expansion of x in x 17.470 * [backup-simplify]: Simplify 0 into 0 17.470 * [backup-simplify]: Simplify 1 into 1 17.470 * [taylor]: Taking taylor expansion of y in x 17.470 * [backup-simplify]: Simplify y into y 17.470 * [backup-simplify]: Simplify (* 0 y) into 0 17.470 * [backup-simplify]: Simplify (* (sqrt 27.0) 0) into 0 17.470 * [taylor]: Taking taylor expansion of 0 in y 17.470 * [backup-simplify]: Simplify 0 into 0 17.470 * [backup-simplify]: Simplify 0 into 0 17.471 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.471 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) y) (* 0 0)) into (* (sqrt 27.0) y) 17.471 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) y) in y 17.471 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 17.471 * [taylor]: Taking taylor expansion of 27.0 in y 17.471 * [backup-simplify]: Simplify 27.0 into 27.0 17.472 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 17.472 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 17.472 * [taylor]: Taking taylor expansion of y in y 17.472 * [backup-simplify]: Simplify 0 into 0 17.472 * [backup-simplify]: Simplify 1 into 1 17.472 * [backup-simplify]: Simplify (* (sqrt 27.0) 0) into 0 17.472 * [backup-simplify]: Simplify 0 into 0 17.472 * [backup-simplify]: Simplify 0 into 0 17.473 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 17.474 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 17.474 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 y) (* 0 0))) into 0 17.474 * [taylor]: Taking taylor expansion of 0 in y 17.474 * [backup-simplify]: Simplify 0 into 0 17.474 * [backup-simplify]: Simplify 0 into 0 17.475 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 1) (* 0 0)) into (sqrt 27.0) 17.476 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 17.476 * [backup-simplify]: Simplify 0 into 0 17.476 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 17.477 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 17.478 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 17.478 * [taylor]: Taking taylor expansion of 0 in y 17.478 * [backup-simplify]: Simplify 0 into 0 17.478 * [backup-simplify]: Simplify 0 into 0 17.478 * [backup-simplify]: Simplify 0 into 0 17.479 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 17.479 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 1) (* 0 0))) into 0 17.479 * [backup-simplify]: Simplify 0 into 0 17.479 * [backup-simplify]: Simplify 0 into 0 17.480 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 17.481 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 17.482 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 17.482 * [taylor]: Taking taylor expansion of 0 in y 17.482 * [backup-simplify]: Simplify 0 into 0 17.482 * [backup-simplify]: Simplify 0 into 0 17.482 * [backup-simplify]: Simplify (* (sqrt 27.0) (* y x)) into (* (sqrt 27.0) (* x y)) 17.483 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 x) (/ 1 y))) into (/ (sqrt 27.0) (* x y)) 17.483 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in (x y) around 0 17.483 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in y 17.483 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 17.483 * [taylor]: Taking taylor expansion of 27.0 in y 17.483 * [backup-simplify]: Simplify 27.0 into 27.0 17.483 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 17.483 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 17.483 * [taylor]: Taking taylor expansion of (* x y) in y 17.484 * [taylor]: Taking taylor expansion of x in y 17.484 * [backup-simplify]: Simplify x into x 17.484 * [taylor]: Taking taylor expansion of y in y 17.484 * [backup-simplify]: Simplify 0 into 0 17.484 * [backup-simplify]: Simplify 1 into 1 17.484 * [backup-simplify]: Simplify (* x 0) into 0 17.484 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 17.484 * [backup-simplify]: Simplify (/ (sqrt 27.0) x) into (/ (sqrt 27.0) x) 17.484 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 17.484 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 17.484 * [taylor]: Taking taylor expansion of 27.0 in x 17.484 * [backup-simplify]: Simplify 27.0 into 27.0 17.484 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 17.485 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 17.485 * [taylor]: Taking taylor expansion of (* x y) in x 17.485 * [taylor]: Taking taylor expansion of x in x 17.485 * [backup-simplify]: Simplify 0 into 0 17.485 * [backup-simplify]: Simplify 1 into 1 17.485 * [taylor]: Taking taylor expansion of y in x 17.485 * [backup-simplify]: Simplify y into y 17.485 * [backup-simplify]: Simplify (* 0 y) into 0 17.485 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.486 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 17.486 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 17.486 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 17.486 * [taylor]: Taking taylor expansion of 27.0 in x 17.486 * [backup-simplify]: Simplify 27.0 into 27.0 17.486 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 17.486 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 17.486 * [taylor]: Taking taylor expansion of (* x y) in x 17.486 * [taylor]: Taking taylor expansion of x in x 17.486 * [backup-simplify]: Simplify 0 into 0 17.486 * [backup-simplify]: Simplify 1 into 1 17.486 * [taylor]: Taking taylor expansion of y in x 17.486 * [backup-simplify]: Simplify y into y 17.486 * [backup-simplify]: Simplify (* 0 y) into 0 17.487 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.487 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 17.487 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y 17.487 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 17.487 * [taylor]: Taking taylor expansion of 27.0 in y 17.487 * [backup-simplify]: Simplify 27.0 into 27.0 17.487 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 17.488 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 17.488 * [taylor]: Taking taylor expansion of y in y 17.488 * [backup-simplify]: Simplify 0 into 0 17.488 * [backup-simplify]: Simplify 1 into 1 17.489 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0) 17.489 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 17.490 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 17.490 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)))) into 0 17.491 * [taylor]: Taking taylor expansion of 0 in y 17.491 * [backup-simplify]: Simplify 0 into 0 17.491 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)))) into 0 17.491 * [backup-simplify]: Simplify 0 into 0 17.492 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 17.493 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 17.494 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.494 * [taylor]: Taking taylor expansion of 0 in y 17.494 * [backup-simplify]: Simplify 0 into 0 17.494 * [backup-simplify]: Simplify 0 into 0 17.495 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 17.496 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.496 * [backup-simplify]: Simplify 0 into 0 17.497 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 17.498 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 17.499 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.499 * [taylor]: Taking taylor expansion of 0 in y 17.499 * [backup-simplify]: Simplify 0 into 0 17.499 * [backup-simplify]: Simplify 0 into 0 17.499 * [backup-simplify]: Simplify 0 into 0 17.500 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 17.501 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.501 * [backup-simplify]: Simplify 0 into 0 17.502 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* (sqrt 27.0) (* x y)) 17.503 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (- x)) (/ 1 (- y)))) into (/ (sqrt 27.0) (* x y)) 17.503 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in (x y) around 0 17.503 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in y 17.503 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 17.503 * [taylor]: Taking taylor expansion of 27.0 in y 17.503 * [backup-simplify]: Simplify 27.0 into 27.0 17.503 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 17.504 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 17.504 * [taylor]: Taking taylor expansion of (* x y) in y 17.504 * [taylor]: Taking taylor expansion of x in y 17.504 * [backup-simplify]: Simplify x into x 17.504 * [taylor]: Taking taylor expansion of y in y 17.504 * [backup-simplify]: Simplify 0 into 0 17.504 * [backup-simplify]: Simplify 1 into 1 17.504 * [backup-simplify]: Simplify (* x 0) into 0 17.504 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 17.505 * [backup-simplify]: Simplify (/ (sqrt 27.0) x) into (/ (sqrt 27.0) x) 17.505 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 17.505 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 17.505 * [taylor]: Taking taylor expansion of 27.0 in x 17.505 * [backup-simplify]: Simplify 27.0 into 27.0 17.505 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 17.506 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 17.506 * [taylor]: Taking taylor expansion of (* x y) in x 17.506 * [taylor]: Taking taylor expansion of x in x 17.506 * [backup-simplify]: Simplify 0 into 0 17.506 * [backup-simplify]: Simplify 1 into 1 17.506 * [taylor]: Taking taylor expansion of y in x 17.506 * [backup-simplify]: Simplify y into y 17.506 * [backup-simplify]: Simplify (* 0 y) into 0 17.506 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.507 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 17.507 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 17.507 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 17.507 * [taylor]: Taking taylor expansion of 27.0 in x 17.507 * [backup-simplify]: Simplify 27.0 into 27.0 17.507 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 17.508 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 17.508 * [taylor]: Taking taylor expansion of (* x y) in x 17.508 * [taylor]: Taking taylor expansion of x in x 17.508 * [backup-simplify]: Simplify 0 into 0 17.508 * [backup-simplify]: Simplify 1 into 1 17.508 * [taylor]: Taking taylor expansion of y in x 17.508 * [backup-simplify]: Simplify y into y 17.508 * [backup-simplify]: Simplify (* 0 y) into 0 17.509 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.509 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 17.509 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y 17.509 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 17.509 * [taylor]: Taking taylor expansion of 27.0 in y 17.509 * [backup-simplify]: Simplify 27.0 into 27.0 17.510 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 17.510 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 17.510 * [taylor]: Taking taylor expansion of y in y 17.510 * [backup-simplify]: Simplify 0 into 0 17.510 * [backup-simplify]: Simplify 1 into 1 17.511 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0) 17.512 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 17.512 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 17.513 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)))) into 0 17.513 * [taylor]: Taking taylor expansion of 0 in y 17.513 * [backup-simplify]: Simplify 0 into 0 17.514 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)))) into 0 17.514 * [backup-simplify]: Simplify 0 into 0 17.515 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 17.516 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 17.516 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.517 * [taylor]: Taking taylor expansion of 0 in y 17.517 * [backup-simplify]: Simplify 0 into 0 17.517 * [backup-simplify]: Simplify 0 into 0 17.518 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 17.519 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.519 * [backup-simplify]: Simplify 0 into 0 17.520 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 17.521 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 17.522 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.522 * [taylor]: Taking taylor expansion of 0 in y 17.522 * [backup-simplify]: Simplify 0 into 0 17.522 * [backup-simplify]: Simplify 0 into 0 17.522 * [backup-simplify]: Simplify 0 into 0 17.523 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 17.524 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.524 * [backup-simplify]: Simplify 0 into 0 17.525 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* (sqrt 27.0) (* x y)) 17.525 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 17.526 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) into (* (pow (sqrt 27.0) 2) (* x y)) 17.526 * [approximate]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0 17.526 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* x y)) in y 17.526 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 17.526 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 17.526 * [taylor]: Taking taylor expansion of 27.0 in y 17.526 * [backup-simplify]: Simplify 27.0 into 27.0 17.526 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 17.527 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 17.527 * [taylor]: Taking taylor expansion of (* x y) in y 17.527 * [taylor]: Taking taylor expansion of x in y 17.527 * [backup-simplify]: Simplify x into x 17.527 * [taylor]: Taking taylor expansion of y in y 17.527 * [backup-simplify]: Simplify 0 into 0 17.527 * [backup-simplify]: Simplify 1 into 1 17.527 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* x y)) in x 17.527 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 17.527 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 17.527 * [taylor]: Taking taylor expansion of 27.0 in x 17.527 * [backup-simplify]: Simplify 27.0 into 27.0 17.528 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 17.528 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 17.528 * [taylor]: Taking taylor expansion of (* x y) in x 17.528 * [taylor]: Taking taylor expansion of x in x 17.528 * [backup-simplify]: Simplify 0 into 0 17.528 * [backup-simplify]: Simplify 1 into 1 17.528 * [taylor]: Taking taylor expansion of y in x 17.528 * [backup-simplify]: Simplify y into y 17.528 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* x y)) in x 17.528 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 17.528 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 17.528 * [taylor]: Taking taylor expansion of 27.0 in x 17.528 * [backup-simplify]: Simplify 27.0 into 27.0 17.529 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 17.529 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 17.530 * [taylor]: Taking taylor expansion of (* x y) in x 17.530 * [taylor]: Taking taylor expansion of x in x 17.530 * [backup-simplify]: Simplify 0 into 0 17.530 * [backup-simplify]: Simplify 1 into 1 17.530 * [taylor]: Taking taylor expansion of y in x 17.530 * [backup-simplify]: Simplify y into y 17.531 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 17.531 * [backup-simplify]: Simplify (* 0 y) into 0 17.532 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) 0) into 0 17.532 * [taylor]: Taking taylor expansion of 0 in y 17.532 * [backup-simplify]: Simplify 0 into 0 17.532 * [backup-simplify]: Simplify 0 into 0 17.532 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.533 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 17.534 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) y) (* 0 0)) into (* (pow (sqrt 27.0) 2) y) 17.534 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) y) in y 17.534 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 17.534 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 17.534 * [taylor]: Taking taylor expansion of 27.0 in y 17.534 * [backup-simplify]: Simplify 27.0 into 27.0 17.535 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 17.535 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 17.535 * [taylor]: Taking taylor expansion of y in y 17.535 * [backup-simplify]: Simplify 0 into 0 17.535 * [backup-simplify]: Simplify 1 into 1 17.536 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 17.537 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) 0) into 0 17.537 * [backup-simplify]: Simplify 0 into 0 17.537 * [backup-simplify]: Simplify 0 into 0 17.538 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 17.539 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 17.540 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 17.540 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 0) (+ (* 0 y) (* 0 0))) into 0 17.540 * [taylor]: Taking taylor expansion of 0 in y 17.541 * [backup-simplify]: Simplify 0 into 0 17.541 * [backup-simplify]: Simplify 0 into 0 17.541 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 17.544 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 1) (* 0 0)) into (pow (sqrt 27.0) 2) 17.545 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2) 17.545 * [backup-simplify]: Simplify 0 into 0 17.546 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 17.547 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 17.548 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 17.549 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 17.549 * [taylor]: Taking taylor expansion of 0 in y 17.549 * [backup-simplify]: Simplify 0 into 0 17.549 * [backup-simplify]: Simplify 0 into 0 17.549 * [backup-simplify]: Simplify 0 into 0 17.550 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 17.551 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 17.552 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 0) (+ (* 0 1) (* 0 0))) into 0 17.552 * [backup-simplify]: Simplify 0 into 0 17.552 * [backup-simplify]: Simplify 0 into 0 17.554 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 17.555 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 17.560 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0)))))) into 0 17.562 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 17.562 * [taylor]: Taking taylor expansion of 0 in y 17.562 * [backup-simplify]: Simplify 0 into 0 17.562 * [backup-simplify]: Simplify 0 into 0 17.563 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* y x)) into (* (pow (sqrt 27.0) 2) (* x y)) 17.564 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (sqrt 27.0) (* (/ 1 x) (/ 1 y)))) into (/ (pow (sqrt 27.0) 2) (* x y)) 17.564 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0 17.564 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in y 17.564 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 17.564 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 17.564 * [taylor]: Taking taylor expansion of 27.0 in y 17.564 * [backup-simplify]: Simplify 27.0 into 27.0 17.564 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 17.565 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 17.565 * [taylor]: Taking taylor expansion of (* x y) in y 17.565 * [taylor]: Taking taylor expansion of x in y 17.565 * [backup-simplify]: Simplify x into x 17.565 * [taylor]: Taking taylor expansion of y in y 17.565 * [backup-simplify]: Simplify 0 into 0 17.565 * [backup-simplify]: Simplify 1 into 1 17.566 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 17.566 * [backup-simplify]: Simplify (* x 0) into 0 17.566 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 17.567 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) x) into (/ (pow (sqrt 27.0) 2) x) 17.567 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 17.567 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 17.567 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 17.567 * [taylor]: Taking taylor expansion of 27.0 in x 17.567 * [backup-simplify]: Simplify 27.0 into 27.0 17.567 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 17.567 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 17.567 * [taylor]: Taking taylor expansion of (* x y) in x 17.567 * [taylor]: Taking taylor expansion of x in x 17.567 * [backup-simplify]: Simplify 0 into 0 17.567 * [backup-simplify]: Simplify 1 into 1 17.567 * [taylor]: Taking taylor expansion of y in x 17.567 * [backup-simplify]: Simplify y into y 17.568 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 17.569 * [backup-simplify]: Simplify (* 0 y) into 0 17.569 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.569 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 17.569 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 17.569 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 17.569 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 17.569 * [taylor]: Taking taylor expansion of 27.0 in x 17.569 * [backup-simplify]: Simplify 27.0 into 27.0 17.570 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 17.570 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 17.570 * [taylor]: Taking taylor expansion of (* x y) in x 17.570 * [taylor]: Taking taylor expansion of x in x 17.570 * [backup-simplify]: Simplify 0 into 0 17.570 * [backup-simplify]: Simplify 1 into 1 17.570 * [taylor]: Taking taylor expansion of y in x 17.570 * [backup-simplify]: Simplify y into y 17.571 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 17.571 * [backup-simplify]: Simplify (* 0 y) into 0 17.571 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.572 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 17.572 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) y) in y 17.572 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 17.572 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 17.572 * [taylor]: Taking taylor expansion of 27.0 in y 17.572 * [backup-simplify]: Simplify 27.0 into 27.0 17.573 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 17.573 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 17.573 * [taylor]: Taking taylor expansion of y in y 17.573 * [backup-simplify]: Simplify 0 into 0 17.573 * [backup-simplify]: Simplify 1 into 1 17.574 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 17.576 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) 1) into (pow (sqrt 27.0) 2) 17.577 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2) 17.578 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 17.578 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 17.579 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)))) into 0 17.579 * [taylor]: Taking taylor expansion of 0 in y 17.579 * [backup-simplify]: Simplify 0 into 0 17.580 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 17.581 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)))) into 0 17.581 * [backup-simplify]: Simplify 0 into 0 17.582 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 17.583 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 17.584 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 17.585 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.585 * [taylor]: Taking taylor expansion of 0 in y 17.585 * [backup-simplify]: Simplify 0 into 0 17.585 * [backup-simplify]: Simplify 0 into 0 17.586 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 17.587 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 17.588 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.589 * [backup-simplify]: Simplify 0 into 0 17.590 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 17.591 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 17.592 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 17.593 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.593 * [taylor]: Taking taylor expansion of 0 in y 17.593 * [backup-simplify]: Simplify 0 into 0 17.593 * [backup-simplify]: Simplify 0 into 0 17.593 * [backup-simplify]: Simplify 0 into 0 17.595 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 17.596 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 17.597 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.597 * [backup-simplify]: Simplify 0 into 0 17.598 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* (pow (sqrt 27.0) 2) (* x y)) 17.599 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (sqrt 27.0) (* (/ 1 (- x)) (/ 1 (- y))))) into (/ (pow (sqrt 27.0) 2) (* x y)) 17.599 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0 17.599 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in y 17.599 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 17.599 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 17.599 * [taylor]: Taking taylor expansion of 27.0 in y 17.599 * [backup-simplify]: Simplify 27.0 into 27.0 17.599 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 17.600 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 17.600 * [taylor]: Taking taylor expansion of (* x y) in y 17.600 * [taylor]: Taking taylor expansion of x in y 17.600 * [backup-simplify]: Simplify x into x 17.600 * [taylor]: Taking taylor expansion of y in y 17.600 * [backup-simplify]: Simplify 0 into 0 17.600 * [backup-simplify]: Simplify 1 into 1 17.601 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 17.601 * [backup-simplify]: Simplify (* x 0) into 0 17.601 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 17.601 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) x) into (/ (pow (sqrt 27.0) 2) x) 17.601 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 17.601 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 17.602 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 17.602 * [taylor]: Taking taylor expansion of 27.0 in x 17.602 * [backup-simplify]: Simplify 27.0 into 27.0 17.602 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 17.602 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 17.602 * [taylor]: Taking taylor expansion of (* x y) in x 17.602 * [taylor]: Taking taylor expansion of x in x 17.602 * [backup-simplify]: Simplify 0 into 0 17.602 * [backup-simplify]: Simplify 1 into 1 17.602 * [taylor]: Taking taylor expansion of y in x 17.602 * [backup-simplify]: Simplify y into y 17.603 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 17.603 * [backup-simplify]: Simplify (* 0 y) into 0 17.603 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.604 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 17.604 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 17.604 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 17.604 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 17.604 * [taylor]: Taking taylor expansion of 27.0 in x 17.604 * [backup-simplify]: Simplify 27.0 into 27.0 17.604 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 17.605 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 17.605 * [taylor]: Taking taylor expansion of (* x y) in x 17.605 * [taylor]: Taking taylor expansion of x in x 17.605 * [backup-simplify]: Simplify 0 into 0 17.605 * [backup-simplify]: Simplify 1 into 1 17.605 * [taylor]: Taking taylor expansion of y in x 17.605 * [backup-simplify]: Simplify y into y 17.606 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 17.606 * [backup-simplify]: Simplify (* 0 y) into 0 17.606 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.607 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 17.607 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) y) in y 17.607 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 17.607 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 17.607 * [taylor]: Taking taylor expansion of 27.0 in y 17.607 * [backup-simplify]: Simplify 27.0 into 27.0 17.607 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 17.607 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 17.607 * [taylor]: Taking taylor expansion of y in y 17.607 * [backup-simplify]: Simplify 0 into 0 17.607 * [backup-simplify]: Simplify 1 into 1 17.608 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 17.610 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) 1) into (pow (sqrt 27.0) 2) 17.611 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2) 17.611 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 17.612 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 17.613 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)))) into 0 17.613 * [taylor]: Taking taylor expansion of 0 in y 17.613 * [backup-simplify]: Simplify 0 into 0 17.614 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 17.615 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)))) into 0 17.615 * [backup-simplify]: Simplify 0 into 0 17.615 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 17.616 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 17.617 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 17.617 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.617 * [taylor]: Taking taylor expansion of 0 in y 17.618 * [backup-simplify]: Simplify 0 into 0 17.618 * [backup-simplify]: Simplify 0 into 0 17.619 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 17.620 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 17.621 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.621 * [backup-simplify]: Simplify 0 into 0 17.622 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 17.623 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 17.624 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 17.625 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.625 * [taylor]: Taking taylor expansion of 0 in y 17.625 * [backup-simplify]: Simplify 0 into 0 17.625 * [backup-simplify]: Simplify 0 into 0 17.626 * [backup-simplify]: Simplify 0 into 0 17.627 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 17.628 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 17.629 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.629 * [backup-simplify]: Simplify 0 into 0 17.630 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* (pow (sqrt 27.0) 2) (* x y)) 17.630 * * * [progress]: simplifying candidates 17.631 * [simplify]: Simplifying: (* (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)) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) (+ (log (sqrt 27.0)) (+ (log (sqrt 27.0)) (+ (log x) (log y)))) (+ (log (sqrt 27.0)) (+ (log (sqrt 27.0)) (log (* x y)))) (+ (log (sqrt 27.0)) (log (* (sqrt 27.0) (* x y)))) (log (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (exp (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* x x) x) (* (* y y) y)))) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* x y) (* x y)) (* x y)))) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* x y)))) (* (cbrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (cbrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))) (cbrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (* (* (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (sqrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (sqrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (* (sqrt 27.0) (sqrt 27.0)) (* (cbrt (sqrt 27.0)) (* (sqrt 27.0) (* x y))) (* (sqrt (cbrt 27.0)) (* (sqrt 27.0) (* x y))) (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y)) (* (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)) 17.633 * * [simplify]: Extracting # 0 : cost 0 17.633 * * [simplify]: Extracting # 1 : cost 0 17.633 * * [simplify]: Extracting # 2 : cost 0 17.633 * * [simplify]: Extracting # 3 : cost 0 17.633 * * [simplify]: Extracting # 4 : cost 0 17.633 * * [simplify]: Extracting # 5 : cost 0 17.634 * * [simplify]: Extracting # 6 : cost 0 17.634 * * [simplify]: iteration 0 : 59 enodes (cost 538 ) 17.657 * * [simplify]: Extracting # 0 : cost 0 17.657 * * [simplify]: Extracting # 1 : cost 0 17.657 * * [simplify]: Extracting # 2 : cost 0 17.658 * * [simplify]: Extracting # 3 : cost 0 17.658 * * [simplify]: iteration 1 : 154 enodes (cost 408 ) 17.764 * * [simplify]: Extracting # 0 : cost 0 17.765 * * [simplify]: Extracting # 1 : cost 0 17.766 * * [simplify]: Extracting # 2 : cost 0 17.767 * * [simplify]: Extracting # 3 : cost 0 17.768 * * [simplify]: Extracting # 4 : cost 0 17.769 * * [simplify]: iteration 2 : 583 enodes (cost 332 ) 18.780 * * [simplify]: Extracting # 0 : cost 0 18.785 * * [simplify]: Extracting # 1 : cost 0 18.789 * * [simplify]: Extracting # 2 : cost 0 18.799 * * [simplify]: Extracting # 3 : cost 0 18.802 * * [simplify]: Extracting # 4 : cost 0 18.806 * * [simplify]: iteration 3 : 2411 enodes (cost 332 ) 21.310 * * [simplify]: Extracting # 0 : cost 0 21.320 * * [simplify]: Extracting # 1 : cost 0 21.325 * * [simplify]: Extracting # 2 : cost 0 21.330 * * [simplify]: Extracting # 3 : cost 0 21.339 * * [simplify]: Extracting # 4 : cost 0 21.343 * * [simplify]: iteration done: 5000 enodes (cost 330 ) 21.344 * [simplify]: Simplified to: (* (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) (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) (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y)) (* (* x y) 27.0) (* (* x y) 27.0) (* (* x y) 27.0) 21.344 * * * [progress]: adding candidates to table 21.434 * * [progress]: iteration 4 / 4 21.434 * * * [progress]: picking best candidate 21.441 * * * * [pick]: Picked # 21.441 * * * [progress]: localizing error 21.446 * * * [progress]: generating rewritten candidates 21.446 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 21.463 * * * [progress]: generating series expansions 21.463 * * * * [progress]: [ 1 / 1 ] generating series at (2) 21.463 * [backup-simplify]: Simplify (* x (* y 27.0)) into (* 27.0 (* x y)) 21.464 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0 21.464 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y 21.464 * [taylor]: Taking taylor expansion of 27.0 in y 21.464 * [backup-simplify]: Simplify 27.0 into 27.0 21.464 * [taylor]: Taking taylor expansion of (* x y) in y 21.464 * [taylor]: Taking taylor expansion of x in y 21.464 * [backup-simplify]: Simplify x into x 21.464 * [taylor]: Taking taylor expansion of y in y 21.464 * [backup-simplify]: Simplify 0 into 0 21.464 * [backup-simplify]: Simplify 1 into 1 21.464 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 21.464 * [taylor]: Taking taylor expansion of 27.0 in x 21.464 * [backup-simplify]: Simplify 27.0 into 27.0 21.464 * [taylor]: Taking taylor expansion of (* x y) in x 21.464 * [taylor]: Taking taylor expansion of x in x 21.464 * [backup-simplify]: Simplify 0 into 0 21.464 * [backup-simplify]: Simplify 1 into 1 21.464 * [taylor]: Taking taylor expansion of y in x 21.464 * [backup-simplify]: Simplify y into y 21.464 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 21.464 * [taylor]: Taking taylor expansion of 27.0 in x 21.464 * [backup-simplify]: Simplify 27.0 into 27.0 21.464 * [taylor]: Taking taylor expansion of (* x y) in x 21.464 * [taylor]: Taking taylor expansion of x in x 21.464 * [backup-simplify]: Simplify 0 into 0 21.464 * [backup-simplify]: Simplify 1 into 1 21.464 * [taylor]: Taking taylor expansion of y in x 21.464 * [backup-simplify]: Simplify y into y 21.464 * [backup-simplify]: Simplify (* 0 y) into 0 21.465 * [backup-simplify]: Simplify (* 27.0 0) into 0 21.465 * [taylor]: Taking taylor expansion of 0 in y 21.465 * [backup-simplify]: Simplify 0 into 0 21.465 * [backup-simplify]: Simplify 0 into 0 21.465 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 21.465 * [backup-simplify]: Simplify (+ (* 27.0 y) (* 0 0)) into (* 27.0 y) 21.465 * [taylor]: Taking taylor expansion of (* 27.0 y) in y 21.465 * [taylor]: Taking taylor expansion of 27.0 in y 21.465 * [backup-simplify]: Simplify 27.0 into 27.0 21.465 * [taylor]: Taking taylor expansion of y in y 21.465 * [backup-simplify]: Simplify 0 into 0 21.465 * [backup-simplify]: Simplify 1 into 1 21.466 * [backup-simplify]: Simplify (* 27.0 0) into 0 21.466 * [backup-simplify]: Simplify 0 into 0 21.466 * [backup-simplify]: Simplify 0 into 0 21.466 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 21.467 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 y) (* 0 0))) into 0 21.467 * [taylor]: Taking taylor expansion of 0 in y 21.467 * [backup-simplify]: Simplify 0 into 0 21.467 * [backup-simplify]: Simplify 0 into 0 21.471 * [backup-simplify]: Simplify (+ (* 27.0 1) (* 0 0)) into 27.0 21.471 * [backup-simplify]: Simplify 27.0 into 27.0 21.471 * [backup-simplify]: Simplify 0 into 0 21.472 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 21.473 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 21.473 * [taylor]: Taking taylor expansion of 0 in y 21.473 * [backup-simplify]: Simplify 0 into 0 21.473 * [backup-simplify]: Simplify 0 into 0 21.473 * [backup-simplify]: Simplify 0 into 0 21.473 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 1) (* 0 0))) into 0 21.473 * [backup-simplify]: Simplify 0 into 0 21.473 * [backup-simplify]: Simplify 0 into 0 21.474 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 21.475 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 21.475 * [taylor]: Taking taylor expansion of 0 in y 21.475 * [backup-simplify]: Simplify 0 into 0 21.475 * [backup-simplify]: Simplify 0 into 0 21.475 * [backup-simplify]: Simplify (* 27.0 (* y x)) into (* 27.0 (* x y)) 21.475 * [backup-simplify]: Simplify (* (/ 1 x) (* (/ 1 y) 27.0)) into (/ 27.0 (* x y)) 21.475 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 21.475 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 21.475 * [taylor]: Taking taylor expansion of 27.0 in y 21.475 * [backup-simplify]: Simplify 27.0 into 27.0 21.475 * [taylor]: Taking taylor expansion of (* x y) in y 21.476 * [taylor]: Taking taylor expansion of x in y 21.476 * [backup-simplify]: Simplify x into x 21.476 * [taylor]: Taking taylor expansion of y in y 21.476 * [backup-simplify]: Simplify 0 into 0 21.476 * [backup-simplify]: Simplify 1 into 1 21.476 * [backup-simplify]: Simplify (* x 0) into 0 21.476 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 21.476 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 21.476 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 21.476 * [taylor]: Taking taylor expansion of 27.0 in x 21.476 * [backup-simplify]: Simplify 27.0 into 27.0 21.476 * [taylor]: Taking taylor expansion of (* x y) in x 21.476 * [taylor]: Taking taylor expansion of x in x 21.476 * [backup-simplify]: Simplify 0 into 0 21.476 * [backup-simplify]: Simplify 1 into 1 21.476 * [taylor]: Taking taylor expansion of y in x 21.476 * [backup-simplify]: Simplify y into y 21.476 * [backup-simplify]: Simplify (* 0 y) into 0 21.476 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 21.476 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 21.476 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 21.476 * [taylor]: Taking taylor expansion of 27.0 in x 21.476 * [backup-simplify]: Simplify 27.0 into 27.0 21.476 * [taylor]: Taking taylor expansion of (* x y) in x 21.476 * [taylor]: Taking taylor expansion of x in x 21.477 * [backup-simplify]: Simplify 0 into 0 21.477 * [backup-simplify]: Simplify 1 into 1 21.477 * [taylor]: Taking taylor expansion of y in x 21.477 * [backup-simplify]: Simplify y into y 21.477 * [backup-simplify]: Simplify (* 0 y) into 0 21.477 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 21.477 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 21.477 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 21.477 * [taylor]: Taking taylor expansion of 27.0 in y 21.477 * [backup-simplify]: Simplify 27.0 into 27.0 21.477 * [taylor]: Taking taylor expansion of y in y 21.477 * [backup-simplify]: Simplify 0 into 0 21.477 * [backup-simplify]: Simplify 1 into 1 21.477 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 21.477 * [backup-simplify]: Simplify 27.0 into 27.0 21.478 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 21.478 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 21.478 * [taylor]: Taking taylor expansion of 0 in y 21.478 * [backup-simplify]: Simplify 0 into 0 21.478 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 21.479 * [backup-simplify]: Simplify 0 into 0 21.479 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 21.479 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 21.479 * [taylor]: Taking taylor expansion of 0 in y 21.479 * [backup-simplify]: Simplify 0 into 0 21.479 * [backup-simplify]: Simplify 0 into 0 21.480 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 21.480 * [backup-simplify]: Simplify 0 into 0 21.481 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 21.481 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 21.481 * [taylor]: Taking taylor expansion of 0 in y 21.481 * [backup-simplify]: Simplify 0 into 0 21.481 * [backup-simplify]: Simplify 0 into 0 21.481 * [backup-simplify]: Simplify 0 into 0 21.482 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 21.482 * [backup-simplify]: Simplify 0 into 0 21.482 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 27.0 (* x y)) 21.482 * [backup-simplify]: Simplify (* (/ 1 (- x)) (* (/ 1 (- y)) 27.0)) into (/ 27.0 (* x y)) 21.482 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 21.482 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 21.482 * [taylor]: Taking taylor expansion of 27.0 in y 21.482 * [backup-simplify]: Simplify 27.0 into 27.0 21.482 * [taylor]: Taking taylor expansion of (* x y) in y 21.482 * [taylor]: Taking taylor expansion of x in y 21.482 * [backup-simplify]: Simplify x into x 21.482 * [taylor]: Taking taylor expansion of y in y 21.482 * [backup-simplify]: Simplify 0 into 0 21.482 * [backup-simplify]: Simplify 1 into 1 21.482 * [backup-simplify]: Simplify (* x 0) into 0 21.482 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 21.482 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 21.483 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 21.483 * [taylor]: Taking taylor expansion of 27.0 in x 21.483 * [backup-simplify]: Simplify 27.0 into 27.0 21.483 * [taylor]: Taking taylor expansion of (* x y) in x 21.483 * [taylor]: Taking taylor expansion of x in x 21.483 * [backup-simplify]: Simplify 0 into 0 21.483 * [backup-simplify]: Simplify 1 into 1 21.483 * [taylor]: Taking taylor expansion of y in x 21.483 * [backup-simplify]: Simplify y into y 21.483 * [backup-simplify]: Simplify (* 0 y) into 0 21.483 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 21.483 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 21.483 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 21.483 * [taylor]: Taking taylor expansion of 27.0 in x 21.483 * [backup-simplify]: Simplify 27.0 into 27.0 21.483 * [taylor]: Taking taylor expansion of (* x y) in x 21.483 * [taylor]: Taking taylor expansion of x in x 21.483 * [backup-simplify]: Simplify 0 into 0 21.483 * [backup-simplify]: Simplify 1 into 1 21.483 * [taylor]: Taking taylor expansion of y in x 21.483 * [backup-simplify]: Simplify y into y 21.483 * [backup-simplify]: Simplify (* 0 y) into 0 21.483 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 21.483 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 21.484 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 21.484 * [taylor]: Taking taylor expansion of 27.0 in y 21.484 * [backup-simplify]: Simplify 27.0 into 27.0 21.484 * [taylor]: Taking taylor expansion of y in y 21.484 * [backup-simplify]: Simplify 0 into 0 21.484 * [backup-simplify]: Simplify 1 into 1 21.484 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 21.484 * [backup-simplify]: Simplify 27.0 into 27.0 21.484 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 21.485 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 21.485 * [taylor]: Taking taylor expansion of 0 in y 21.485 * [backup-simplify]: Simplify 0 into 0 21.485 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 21.485 * [backup-simplify]: Simplify 0 into 0 21.486 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 21.486 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 21.486 * [taylor]: Taking taylor expansion of 0 in y 21.486 * [backup-simplify]: Simplify 0 into 0 21.486 * [backup-simplify]: Simplify 0 into 0 21.487 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 21.487 * [backup-simplify]: Simplify 0 into 0 21.487 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 21.488 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 21.488 * [taylor]: Taking taylor expansion of 0 in y 21.488 * [backup-simplify]: Simplify 0 into 0 21.488 * [backup-simplify]: Simplify 0 into 0 21.488 * [backup-simplify]: Simplify 0 into 0 21.488 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 21.488 * [backup-simplify]: Simplify 0 into 0 21.488 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 27.0 (* x y)) 21.489 * * * [progress]: simplifying candidates 21.489 * [simplify]: Simplifying: (* x (* y 27.0)) (* x (* y 27.0)) (+ (log x) (+ (log y) (log 27.0))) (+ (log x) (log (* y 27.0))) (log (* x (* y 27.0))) (exp (* x (* y 27.0))) (* (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0))) (* (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* y 27.0))) (* (cbrt (* x (* y 27.0))) (cbrt (* x (* y 27.0)))) (cbrt (* x (* y 27.0))) (* (* (* x (* y 27.0)) (* x (* y 27.0))) (* x (* y 27.0))) (sqrt (* x (* y 27.0))) (sqrt (* x (* y 27.0))) (* x y) (* (cbrt x) (* y 27.0)) (* (sqrt x) (* y 27.0)) (* x (* y 27.0)) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) 21.489 * * [simplify]: Extracting # 0 : cost 0 21.489 * * [simplify]: Extracting # 1 : cost 0 21.489 * * [simplify]: Extracting # 2 : cost 0 21.489 * * [simplify]: Extracting # 3 : cost 0 21.490 * * [simplify]: Extracting # 4 : cost 0 21.490 * * [simplify]: Extracting # 5 : cost 0 21.490 * * [simplify]: Extracting # 6 : cost 0 21.490 * * [simplify]: iteration 0 : 36 enodes (cost 154 ) 21.498 * * [simplify]: Extracting # 0 : cost 0 21.498 * * [simplify]: Extracting # 1 : cost 0 21.498 * * [simplify]: Extracting # 2 : cost 0 21.498 * * [simplify]: iteration 1 : 88 enodes (cost 151 ) 21.529 * * [simplify]: Extracting # 0 : cost 0 21.530 * * [simplify]: Extracting # 1 : cost 0 21.530 * * [simplify]: Extracting # 2 : cost 0 21.530 * * [simplify]: Extracting # 3 : cost 0 21.530 * * [simplify]: Extracting # 4 : cost 0 21.531 * * [simplify]: Extracting # 5 : cost 0 21.531 * * [simplify]: iteration 2 : 328 enodes (cost 127 ) 21.835 * * [simplify]: Extracting # 0 : cost 0 21.836 * * [simplify]: Extracting # 1 : cost 0 21.837 * * [simplify]: Extracting # 2 : cost 0 21.839 * * [simplify]: Extracting # 3 : cost 0 21.840 * * [simplify]: Extracting # 4 : cost 0 21.842 * * [simplify]: iteration 3 : 1092 enodes (cost 121 ) 23.888 * * [simplify]: Extracting # 0 : cost 0 23.902 * * [simplify]: Extracting # 1 : cost 0 23.905 * * [simplify]: Extracting # 2 : cost 0 23.908 * * [simplify]: Extracting # 3 : cost 0 23.910 * * [simplify]: Extracting # 4 : cost 0 23.913 * * [simplify]: iteration 4 : 1989 enodes (cost 121 ) 29.067 * * [simplify]: Extracting # 0 : cost 0 29.074 * * [simplify]: Extracting # 1 : cost 0 29.080 * * [simplify]: Extracting # 2 : cost 0 29.092 * * [simplify]: Extracting # 3 : cost 0 29.095 * * [simplify]: Extracting # 4 : cost 0 29.098 * * [simplify]: iteration 5 : 4238 enodes (cost 121 ) 30.855 * * [simplify]: Extracting # 0 : cost 0 30.862 * * [simplify]: Extracting # 1 : cost 0 30.866 * * [simplify]: Extracting # 2 : cost 0 30.871 * * [simplify]: iteration done: 5001 enodes (cost 121 ) 30.871 * [simplify]: Simplified to: (* x (* y 27.0)) (* x (* y 27.0)) (log (* x (* y 27.0))) (log (* x (* y 27.0))) (log (* x (* y 27.0))) (exp (* x (* y 27.0))) (pow (* x (* y 27.0)) 3) (pow (* x (* y 27.0)) 3) (* (cbrt (* x (* y 27.0))) (cbrt (* x (* y 27.0)))) (cbrt (* x (* y 27.0))) (pow (* x (* y 27.0)) 3) (sqrt (* x (* y 27.0))) (sqrt (* x (* y 27.0))) (* x y) (* (cbrt x) (* y 27.0)) (* (sqrt x) (* y 27.0)) (* x (* y 27.0)) (* x (* y 27.0)) (* x (* y 27.0)) (* x (* y 27.0)) 30.871 * * * [progress]: adding candidates to table 30.920 * [progress]: [Phase 3 of 3] Extracting. 30.920 * * [regime]: Finding splitpoints for: (# # # # #) 30.922 * * * [regime-changes]: Trying 2 branch expressions: ((* x 27.0) (* (* x 27.0) y)) 30.922 * * * * [regimes]: Trying to branch on (* x 27.0) from (# # # # #) 30.947 * * * * [regimes]: Trying to branch on (* (* x 27.0) y) from (# # # # #) 30.966 * * * [regime]: Found split indices: #