7.728 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.023 * * * [progress]: [2/2] Setting up program. 0.029 * [progress]: [Phase 2 of 3] Improving. 0.029 * [simplify]: Simplifying: (* (* x 27.0) y) 0.029 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.029 * * [simplify]: Extracting # 1 : cost 3 inf + 0 0.029 * * [simplify]: Extracting # 2 : cost 4 inf + 1 0.029 * * [simplify]: Extracting # 3 : cost 2 inf + 3 0.029 * * [simplify]: Extracting # 4 : cost 0 inf + 128 0.029 * * [simplify]: iteration 0 : 5 enodes (cost 83 ) 0.031 * * [simplify]: Extracting # 0 : cost 0 inf + 128 0.031 * * [simplify]: Extracting # 1 : cost 1 inf + 128 0.031 * * [simplify]: Extracting # 2 : cost 0 inf + 170 0.031 * * [simplify]: iteration 1 : 9 enodes (cost 83 ) 0.034 * * [simplify]: Extracting # 0 : cost 0 inf + 170 0.034 * * [simplify]: Extracting # 1 : cost 2 inf + 170 0.034 * * [simplify]: Extracting # 2 : cost 0 inf + 254 0.034 * * [simplify]: iteration 2 : 15 enodes (cost 83 ) 0.038 * * [simplify]: Extracting # 0 : cost 0 inf + 254 0.039 * * [simplify]: iteration 3 : 17 enodes (cost 83 ) 0.043 * * [simplify]: Extracting # 0 : cost 0 inf + 254 0.043 * * [simplify]: iteration complete: 17 enodes (cost 83 ) 0.043 * [simplify]: Simplified to: (* (* x 27.0) y) 0.044 * * [progress]: iteration 1 / 4 0.044 * * * [progress]: picking best candidate 0.055 * * * * [pick]: Picked # 0.055 * * * [progress]: localizing error 0.068 * * * [progress]: generating rewritten candidates 0.068 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.086 * * * [progress]: generating series expansions 0.086 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.086 * [backup-simplify]: Simplify (* (* x 27.0) y) into (* 27.0 (* x y)) 0.086 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0 0.086 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y 0.086 * [taylor]: Taking taylor expansion of 27.0 in y 0.087 * [backup-simplify]: Simplify 27.0 into 27.0 0.087 * [taylor]: Taking taylor expansion of (* x y) in y 0.087 * [taylor]: Taking taylor expansion of x in y 0.087 * [backup-simplify]: Simplify x into x 0.087 * [taylor]: Taking taylor expansion of y in y 0.087 * [backup-simplify]: Simplify 0 into 0 0.087 * [backup-simplify]: Simplify 1 into 1 0.087 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 0.087 * [taylor]: Taking taylor expansion of 27.0 in x 0.087 * [backup-simplify]: Simplify 27.0 into 27.0 0.087 * [taylor]: Taking taylor expansion of (* x y) in x 0.087 * [taylor]: Taking taylor expansion of x in x 0.087 * [backup-simplify]: Simplify 0 into 0 0.087 * [backup-simplify]: Simplify 1 into 1 0.087 * [taylor]: Taking taylor expansion of y in x 0.087 * [backup-simplify]: Simplify y into y 0.087 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 0.087 * [taylor]: Taking taylor expansion of 27.0 in x 0.087 * [backup-simplify]: Simplify 27.0 into 27.0 0.087 * [taylor]: Taking taylor expansion of (* x y) in x 0.087 * [taylor]: Taking taylor expansion of x in x 0.087 * [backup-simplify]: Simplify 0 into 0 0.087 * [backup-simplify]: Simplify 1 into 1 0.087 * [taylor]: Taking taylor expansion of y in x 0.087 * [backup-simplify]: Simplify y into y 0.087 * [backup-simplify]: Simplify (* 0 y) into 0 0.087 * [backup-simplify]: Simplify (* 27.0 0) into 0 0.088 * [taylor]: Taking taylor expansion of 0 in y 0.088 * [backup-simplify]: Simplify 0 into 0 0.088 * [backup-simplify]: Simplify 0 into 0 0.088 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.088 * [backup-simplify]: Simplify (+ (* 27.0 y) (* 0 0)) into (* 27.0 y) 0.088 * [taylor]: Taking taylor expansion of (* 27.0 y) in y 0.088 * [taylor]: Taking taylor expansion of 27.0 in y 0.088 * [backup-simplify]: Simplify 27.0 into 27.0 0.088 * [taylor]: Taking taylor expansion of y in y 0.088 * [backup-simplify]: Simplify 0 into 0 0.088 * [backup-simplify]: Simplify 1 into 1 0.089 * [backup-simplify]: Simplify (* 27.0 0) into 0 0.089 * [backup-simplify]: Simplify 0 into 0 0.089 * [backup-simplify]: Simplify 0 into 0 0.089 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.090 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 y) (* 0 0))) into 0 0.090 * [taylor]: Taking taylor expansion of 0 in y 0.090 * [backup-simplify]: Simplify 0 into 0 0.090 * [backup-simplify]: Simplify 0 into 0 0.091 * [backup-simplify]: Simplify (+ (* 27.0 1) (* 0 0)) into 27.0 0.091 * [backup-simplify]: Simplify 27.0 into 27.0 0.091 * [backup-simplify]: Simplify 0 into 0 0.091 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 0.092 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 0.092 * [taylor]: Taking taylor expansion of 0 in y 0.092 * [backup-simplify]: Simplify 0 into 0 0.092 * [backup-simplify]: Simplify 0 into 0 0.092 * [backup-simplify]: Simplify 0 into 0 0.093 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 1) (* 0 0))) into 0 0.093 * [backup-simplify]: Simplify 0 into 0 0.093 * [backup-simplify]: Simplify 0 into 0 0.094 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.095 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 0.095 * [taylor]: Taking taylor expansion of 0 in y 0.095 * [backup-simplify]: Simplify 0 into 0 0.095 * [backup-simplify]: Simplify 0 into 0 0.095 * [backup-simplify]: Simplify (* 27.0 (* y x)) into (* 27.0 (* x y)) 0.095 * [backup-simplify]: Simplify (* (* (/ 1 x) 27.0) (/ 1 y)) into (/ 27.0 (* x y)) 0.095 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 0.095 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 0.095 * [taylor]: Taking taylor expansion of 27.0 in y 0.095 * [backup-simplify]: Simplify 27.0 into 27.0 0.095 * [taylor]: Taking taylor expansion of (* x y) in y 0.095 * [taylor]: Taking taylor expansion of x in y 0.095 * [backup-simplify]: Simplify x into x 0.095 * [taylor]: Taking taylor expansion of y in y 0.095 * [backup-simplify]: Simplify 0 into 0 0.095 * [backup-simplify]: Simplify 1 into 1 0.095 * [backup-simplify]: Simplify (* x 0) into 0 0.095 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 0.095 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 0.096 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 0.096 * [taylor]: Taking taylor expansion of 27.0 in x 0.096 * [backup-simplify]: Simplify 27.0 into 27.0 0.096 * [taylor]: Taking taylor expansion of (* x y) in x 0.096 * [taylor]: Taking taylor expansion of x in x 0.096 * [backup-simplify]: Simplify 0 into 0 0.096 * [backup-simplify]: Simplify 1 into 1 0.096 * [taylor]: Taking taylor expansion of y in x 0.096 * [backup-simplify]: Simplify y into y 0.096 * [backup-simplify]: Simplify (* 0 y) into 0 0.096 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.096 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 0.096 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 0.096 * [taylor]: Taking taylor expansion of 27.0 in x 0.096 * [backup-simplify]: Simplify 27.0 into 27.0 0.096 * [taylor]: Taking taylor expansion of (* x y) in x 0.096 * [taylor]: Taking taylor expansion of x in x 0.096 * [backup-simplify]: Simplify 0 into 0 0.096 * [backup-simplify]: Simplify 1 into 1 0.096 * [taylor]: Taking taylor expansion of y in x 0.096 * [backup-simplify]: Simplify y into y 0.096 * [backup-simplify]: Simplify (* 0 y) into 0 0.096 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.096 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 0.097 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 0.097 * [taylor]: Taking taylor expansion of 27.0 in y 0.097 * [backup-simplify]: Simplify 27.0 into 27.0 0.097 * [taylor]: Taking taylor expansion of y in y 0.097 * [backup-simplify]: Simplify 0 into 0 0.097 * [backup-simplify]: Simplify 1 into 1 0.097 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 0.097 * [backup-simplify]: Simplify 27.0 into 27.0 0.097 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.098 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 0.098 * [taylor]: Taking taylor expansion of 0 in y 0.098 * [backup-simplify]: Simplify 0 into 0 0.098 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 0.098 * [backup-simplify]: Simplify 0 into 0 0.099 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 0.099 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 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 into 0 0.100 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.100 * [backup-simplify]: Simplify 0 into 0 0.101 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.101 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.101 * [taylor]: Taking taylor expansion of 0 in y 0.101 * [backup-simplify]: Simplify 0 into 0 0.101 * [backup-simplify]: Simplify 0 into 0 0.101 * [backup-simplify]: Simplify 0 into 0 0.102 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.102 * [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.105 * [taylor]: Taking taylor expansion of 27.0 in x 0.105 * [backup-simplify]: Simplify 27.0 into 27.0 0.105 * [taylor]: Taking taylor expansion of (* x y) in x 0.105 * [taylor]: Taking taylor expansion of x in x 0.105 * [backup-simplify]: Simplify 0 into 0 0.105 * [backup-simplify]: Simplify 1 into 1 0.105 * [taylor]: Taking taylor expansion of y in x 0.105 * [backup-simplify]: Simplify y into y 0.105 * [backup-simplify]: Simplify (* 0 y) into 0 0.105 * [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.106 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 0.106 * [backup-simplify]: Simplify 27.0 into 27.0 0.107 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.107 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 0.107 * [taylor]: Taking taylor expansion of 0 in y 0.107 * [backup-simplify]: Simplify 0 into 0 0.108 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.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 y)))) into 0 0.109 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 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.110 * [backup-simplify]: Simplify 0 into 0 0.111 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.111 * [backup-simplify]: Simplify 0 into 0 0.112 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.112 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.112 * [taylor]: Taking taylor expansion of 0 in y 0.112 * [backup-simplify]: Simplify 0 into 0 0.112 * [backup-simplify]: Simplify 0 into 0 0.113 * [backup-simplify]: Simplify 0 into 0 0.114 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.114 * [backup-simplify]: Simplify 0 into 0 0.114 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 27.0 (* x y)) 0.114 * * * [progress]: simplifying candidates 0.115 * [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.115 * * [simplify]: Extracting # 0 : cost 18 inf + 0 0.115 * * [simplify]: Extracting # 1 : cost 32 inf + 0 0.116 * * [simplify]: Extracting # 2 : cost 35 inf + 86 0.116 * * [simplify]: Extracting # 3 : cost 32 inf + 351 0.116 * * [simplify]: Extracting # 4 : cost 14 inf + 2240 0.117 * * [simplify]: Extracting # 5 : cost 2 inf + 4150 0.118 * * [simplify]: Extracting # 6 : cost 0 inf + 4716 0.119 * * [simplify]: iteration 0 : 42 enodes (cost 3355 ) 0.133 * * [simplify]: Extracting # 0 : cost 0 inf + 4716 0.134 * * [simplify]: Extracting # 1 : cost 20 inf + 4395 0.135 * * [simplify]: Extracting # 2 : cost 0 inf + 7132 0.136 * * [simplify]: iteration 1 : 106 enodes (cost 3104 ) 0.177 * * [simplify]: Extracting # 0 : cost 0 inf + 7132 0.180 * * [simplify]: Extracting # 1 : cost 92 inf + 6571 0.184 * * [simplify]: Extracting # 2 : cost 3 inf + 17074 0.189 * * [simplify]: Extracting # 3 : cost 3 inf + 17256 0.194 * * [simplify]: Extracting # 4 : cost 2 inf + 17257 0.200 * * [simplify]: Extracting # 5 : cost 0 inf + 17663 0.205 * * [simplify]: iteration 2 : 365 enodes (cost 2864 ) 0.479 * * [simplify]: Extracting # 0 : cost 0 inf + 17663 0.496 * * [simplify]: Extracting # 1 : cost 432 inf + 17025 0.518 * * [simplify]: Extracting # 2 : cost 11 inf + 65890 0.553 * * [simplify]: Extracting # 3 : cost 0 inf + 68196 0.582 * * [simplify]: iteration 3 : 1496 enodes (cost 2864 ) 1.383 * * [simplify]: Extracting # 0 : cost 0 inf + 68196 1.436 * * [simplify]: Extracting # 1 : cost 1642 inf + 66378 1.550 * * [simplify]: Extracting # 2 : cost 49 inf + 294728 1.706 * * [simplify]: Extracting # 3 : cost 13 inf + 294827 1.860 * * [simplify]: Extracting # 4 : cost 0 inf + 295962 2.022 * * [simplify]: Extracting # 5 : cost 0 inf + 295802 2.155 * * [simplify]: iteration complete: 5002 enodes (cost 2864 ) 2.155 * [simplify]: Simplified to: (expm1 (* (* x 27.0) y)) (log1p (* (* x 27.0) y)) (* (* x 27.0) y) (* (* x 27.0) y) (log (* (* x 27.0) y)) (log (* (* x 27.0) y)) (log (* (* x 27.0) y)) (exp (* (* x 27.0) y)) (* (* (* (* x 27.0) y) (* (* x 27.0) y)) (* (* x 27.0) y)) (* (* (* (* x 27.0) y) (* (* x 27.0) y)) (* (* x 27.0) 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) (* 27.0 y) (* (* x 27.0) y) (* (* x 27.0) y) (* (* x 27.0) y) 2.157 * * * [progress]: adding candidates to table 2.258 * * [progress]: iteration 2 / 4 2.258 * * * [progress]: picking best candidate 2.274 * * * * [pick]: Picked # 2.274 * * * [progress]: localizing error 2.280 * * * [progress]: generating rewritten candidates 2.280 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 2.308 * * * [progress]: generating series expansions 2.308 * * * * [progress]: [ 1 / 1 ] generating series at (2) 2.308 * [backup-simplify]: Simplify (* x (* 27.0 y)) into (* 27.0 (* x y)) 2.308 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0 2.308 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y 2.308 * [taylor]: Taking taylor expansion of 27.0 in y 2.308 * [backup-simplify]: Simplify 27.0 into 27.0 2.308 * [taylor]: Taking taylor expansion of (* x y) in y 2.308 * [taylor]: Taking taylor expansion of x in y 2.308 * [backup-simplify]: Simplify x into x 2.308 * [taylor]: Taking taylor expansion of y in y 2.308 * [backup-simplify]: Simplify 0 into 0 2.308 * [backup-simplify]: Simplify 1 into 1 2.308 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 2.308 * [taylor]: Taking taylor expansion of 27.0 in x 2.308 * [backup-simplify]: Simplify 27.0 into 27.0 2.308 * [taylor]: Taking taylor expansion of (* x y) in x 2.308 * [taylor]: Taking taylor expansion of x in x 2.308 * [backup-simplify]: Simplify 0 into 0 2.308 * [backup-simplify]: Simplify 1 into 1 2.308 * [taylor]: Taking taylor expansion of y in x 2.308 * [backup-simplify]: Simplify y into y 2.308 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 2.308 * [taylor]: Taking taylor expansion of 27.0 in x 2.308 * [backup-simplify]: Simplify 27.0 into 27.0 2.308 * [taylor]: Taking taylor expansion of (* x y) in x 2.308 * [taylor]: Taking taylor expansion of x in x 2.308 * [backup-simplify]: Simplify 0 into 0 2.308 * [backup-simplify]: Simplify 1 into 1 2.308 * [taylor]: Taking taylor expansion of y in x 2.308 * [backup-simplify]: Simplify y into y 2.309 * [backup-simplify]: Simplify (* 0 y) into 0 2.309 * [backup-simplify]: Simplify (* 27.0 0) into 0 2.309 * [taylor]: Taking taylor expansion of 0 in y 2.309 * [backup-simplify]: Simplify 0 into 0 2.309 * [backup-simplify]: Simplify 0 into 0 2.310 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 2.310 * [backup-simplify]: Simplify (+ (* 27.0 y) (* 0 0)) into (* 27.0 y) 2.310 * [taylor]: Taking taylor expansion of (* 27.0 y) in y 2.310 * [taylor]: Taking taylor expansion of 27.0 in y 2.310 * [backup-simplify]: Simplify 27.0 into 27.0 2.310 * [taylor]: Taking taylor expansion of y in y 2.310 * [backup-simplify]: Simplify 0 into 0 2.310 * [backup-simplify]: Simplify 1 into 1 2.311 * [backup-simplify]: Simplify (* 27.0 0) into 0 2.311 * [backup-simplify]: Simplify 0 into 0 2.311 * [backup-simplify]: Simplify 0 into 0 2.312 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 2.313 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 y) (* 0 0))) into 0 2.313 * [taylor]: Taking taylor expansion of 0 in y 2.313 * [backup-simplify]: Simplify 0 into 0 2.313 * [backup-simplify]: Simplify 0 into 0 2.314 * [backup-simplify]: Simplify (+ (* 27.0 1) (* 0 0)) into 27.0 2.314 * [backup-simplify]: Simplify 27.0 into 27.0 2.314 * [backup-simplify]: Simplify 0 into 0 2.315 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 2.316 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 2.316 * [taylor]: Taking taylor expansion of 0 in y 2.317 * [backup-simplify]: Simplify 0 into 0 2.317 * [backup-simplify]: Simplify 0 into 0 2.317 * [backup-simplify]: Simplify 0 into 0 2.317 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 1) (* 0 0))) into 0 2.318 * [backup-simplify]: Simplify 0 into 0 2.318 * [backup-simplify]: Simplify 0 into 0 2.319 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 2.320 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 2.320 * [taylor]: Taking taylor expansion of 0 in y 2.320 * [backup-simplify]: Simplify 0 into 0 2.320 * [backup-simplify]: Simplify 0 into 0 2.320 * [backup-simplify]: Simplify (* 27.0 (* y x)) into (* 27.0 (* x y)) 2.321 * [backup-simplify]: Simplify (* (/ 1 x) (* 27.0 (/ 1 y))) into (/ 27.0 (* x y)) 2.321 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 2.321 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 2.321 * [taylor]: Taking taylor expansion of 27.0 in y 2.321 * [backup-simplify]: Simplify 27.0 into 27.0 2.321 * [taylor]: Taking taylor expansion of (* x y) in y 2.321 * [taylor]: Taking taylor expansion of x in y 2.321 * [backup-simplify]: Simplify x into x 2.321 * [taylor]: Taking taylor expansion of y in y 2.321 * [backup-simplify]: Simplify 0 into 0 2.321 * [backup-simplify]: Simplify 1 into 1 2.321 * [backup-simplify]: Simplify (* x 0) into 0 2.321 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 2.321 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 2.321 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 2.321 * [taylor]: Taking taylor expansion of 27.0 in x 2.321 * [backup-simplify]: Simplify 27.0 into 27.0 2.321 * [taylor]: Taking taylor expansion of (* x y) in x 2.321 * [taylor]: Taking taylor expansion of x in x 2.321 * [backup-simplify]: Simplify 0 into 0 2.321 * [backup-simplify]: Simplify 1 into 1 2.321 * [taylor]: Taking taylor expansion of y in x 2.321 * [backup-simplify]: Simplify y into y 2.321 * [backup-simplify]: Simplify (* 0 y) into 0 2.321 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 2.322 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 2.322 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 2.322 * [taylor]: Taking taylor expansion of 27.0 in x 2.322 * [backup-simplify]: Simplify 27.0 into 27.0 2.322 * [taylor]: Taking taylor expansion of (* x y) in x 2.322 * [taylor]: Taking taylor expansion of x in x 2.322 * [backup-simplify]: Simplify 0 into 0 2.322 * [backup-simplify]: Simplify 1 into 1 2.322 * [taylor]: Taking taylor expansion of y in x 2.322 * [backup-simplify]: Simplify y into y 2.322 * [backup-simplify]: Simplify (* 0 y) into 0 2.322 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 2.322 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 2.322 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 2.322 * [taylor]: Taking taylor expansion of 27.0 in y 2.322 * [backup-simplify]: Simplify 27.0 into 27.0 2.322 * [taylor]: Taking taylor expansion of y in y 2.322 * [backup-simplify]: Simplify 0 into 0 2.322 * [backup-simplify]: Simplify 1 into 1 2.322 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 2.323 * [backup-simplify]: Simplify 27.0 into 27.0 2.323 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 2.323 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 2.323 * [taylor]: Taking taylor expansion of 0 in y 2.323 * [backup-simplify]: Simplify 0 into 0 2.324 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 2.324 * [backup-simplify]: Simplify 0 into 0 2.325 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 2.325 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.325 * [taylor]: Taking taylor expansion of 0 in y 2.325 * [backup-simplify]: Simplify 0 into 0 2.325 * [backup-simplify]: Simplify 0 into 0 2.326 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.326 * [backup-simplify]: Simplify 0 into 0 2.327 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 2.327 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.327 * [taylor]: Taking taylor expansion of 0 in y 2.327 * [backup-simplify]: Simplify 0 into 0 2.327 * [backup-simplify]: Simplify 0 into 0 2.327 * [backup-simplify]: Simplify 0 into 0 2.328 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.328 * [backup-simplify]: Simplify 0 into 0 2.328 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 27.0 (* x y)) 2.328 * [backup-simplify]: Simplify (* (/ 1 (- x)) (* 27.0 (/ 1 (- y)))) into (/ 27.0 (* x y)) 2.328 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 2.328 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 2.328 * [taylor]: Taking taylor expansion of 27.0 in y 2.328 * [backup-simplify]: Simplify 27.0 into 27.0 2.328 * [taylor]: Taking taylor expansion of (* x y) in y 2.328 * [taylor]: Taking taylor expansion of x in y 2.328 * [backup-simplify]: Simplify x into x 2.328 * [taylor]: Taking taylor expansion of y in y 2.328 * [backup-simplify]: Simplify 0 into 0 2.328 * [backup-simplify]: Simplify 1 into 1 2.328 * [backup-simplify]: Simplify (* x 0) into 0 2.328 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 2.328 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 2.328 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 2.328 * [taylor]: Taking taylor expansion of 27.0 in x 2.328 * [backup-simplify]: Simplify 27.0 into 27.0 2.328 * [taylor]: Taking taylor expansion of (* x y) in x 2.329 * [taylor]: Taking taylor expansion of x in x 2.329 * [backup-simplify]: Simplify 0 into 0 2.329 * [backup-simplify]: Simplify 1 into 1 2.329 * [taylor]: Taking taylor expansion of y in x 2.329 * [backup-simplify]: Simplify y into y 2.329 * [backup-simplify]: Simplify (* 0 y) into 0 2.329 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 2.329 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 2.329 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 2.329 * [taylor]: Taking taylor expansion of 27.0 in x 2.329 * [backup-simplify]: Simplify 27.0 into 27.0 2.329 * [taylor]: Taking taylor expansion of (* x y) in x 2.329 * [taylor]: Taking taylor expansion of x in x 2.329 * [backup-simplify]: Simplify 0 into 0 2.329 * [backup-simplify]: Simplify 1 into 1 2.329 * [taylor]: Taking taylor expansion of y in x 2.329 * [backup-simplify]: Simplify y into y 2.329 * [backup-simplify]: Simplify (* 0 y) into 0 2.330 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 2.330 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 2.330 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 2.330 * [taylor]: Taking taylor expansion of 27.0 in y 2.330 * [backup-simplify]: Simplify 27.0 into 27.0 2.330 * [taylor]: Taking taylor expansion of y in y 2.330 * [backup-simplify]: Simplify 0 into 0 2.330 * [backup-simplify]: Simplify 1 into 1 2.330 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 2.330 * [backup-simplify]: Simplify 27.0 into 27.0 2.331 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 2.331 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 2.331 * [taylor]: Taking taylor expansion of 0 in y 2.331 * [backup-simplify]: Simplify 0 into 0 2.331 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 2.331 * [backup-simplify]: Simplify 0 into 0 2.332 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 2.332 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.332 * [taylor]: Taking taylor expansion of 0 in y 2.332 * [backup-simplify]: Simplify 0 into 0 2.332 * [backup-simplify]: Simplify 0 into 0 2.333 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.333 * [backup-simplify]: Simplify 0 into 0 2.334 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 2.334 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.334 * [taylor]: Taking taylor expansion of 0 in y 2.334 * [backup-simplify]: Simplify 0 into 0 2.334 * [backup-simplify]: Simplify 0 into 0 2.334 * [backup-simplify]: Simplify 0 into 0 2.335 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.335 * [backup-simplify]: Simplify 0 into 0 2.335 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 27.0 (* x y)) 2.335 * * * [progress]: simplifying candidates 2.335 * [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) (log (* 27.0 y))) (log (* x (* 27.0 y))) (exp (* x (* 27.0 y))) (* (* (* x x) x) (* (* (* 27.0 27.0) 27.0) (* (* y y) y))) (* (* (* x x) x) (* (* (* 27.0 y) (* 27.0 y)) (* 27.0 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 x) (* 27.0 y)) (* (sqrt x) (* 27.0 y)) (* x (* 27.0 y)) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) 2.335 * * [simplify]: Extracting # 0 : cost 17 inf + 0 2.335 * * [simplify]: Extracting # 1 : cost 30 inf + 0 2.336 * * [simplify]: Extracting # 2 : cost 33 inf + 85 2.336 * * [simplify]: Extracting # 3 : cost 19 inf + 1527 2.336 * * [simplify]: Extracting # 4 : cost 5 inf + 3541 2.336 * * [simplify]: Extracting # 5 : cost 2 inf + 3946 2.337 * * [simplify]: Extracting # 6 : cost 1 inf + 4148 2.337 * * [simplify]: Extracting # 7 : cost 0 inf + 4471 2.338 * * [simplify]: iteration 0 : 39 enodes (cost 3315 ) 2.346 * * [simplify]: Extracting # 0 : cost 0 inf + 4471 2.347 * * [simplify]: Extracting # 1 : cost 16 inf + 4191 2.348 * * [simplify]: Extracting # 2 : cost 0 inf + 6438 2.349 * * [simplify]: iteration 1 : 92 enodes (cost 3105 ) 2.371 * * [simplify]: Extracting # 0 : cost 0 inf + 6438 2.373 * * [simplify]: Extracting # 1 : cost 65 inf + 5958 2.378 * * [simplify]: Extracting # 2 : cost 2 inf + 15325 2.387 * * [simplify]: Extracting # 3 : cost 3 inf + 15325 2.398 * * [simplify]: Extracting # 4 : cost 2 inf + 15326 2.406 * * [simplify]: Extracting # 5 : cost 0 inf + 15773 2.415 * * [simplify]: iteration 2 : 301 enodes (cost 2865 ) 2.640 * * [simplify]: Extracting # 0 : cost 0 inf + 15773 2.661 * * [simplify]: Extracting # 1 : cost 107 inf + 14803 2.688 * * [simplify]: Extracting # 2 : cost 8 inf + 31686 2.721 * * [simplify]: Extracting # 3 : cost 1 inf + 32993 2.756 * * [simplify]: Extracting # 4 : cost 0 inf + 33397 2.788 * * [simplify]: iteration 3 : 957 enodes (cost 2865 ) 4.104 * * [simplify]: Extracting # 0 : cost 0 inf + 33397 4.178 * * [simplify]: Extracting # 1 : cost 130 inf + 30655 4.270 * * [simplify]: Extracting # 2 : cost 18 inf + 64864 4.331 * * [simplify]: Extracting # 3 : cost 3 inf + 67959 4.395 * * [simplify]: Extracting # 4 : cost 0 inf + 69172 4.443 * * [simplify]: iteration 4 : 1956 enodes (cost 2865 ) 7.895 * * [simplify]: Extracting # 0 : cost 0 inf + 69172 7.995 * * [simplify]: Extracting # 1 : cost 305 inf + 68293 8.141 * * [simplify]: Extracting # 2 : cost 20 inf + 184563 8.242 * * [simplify]: Extracting # 3 : cost 6 inf + 187538 8.384 * * [simplify]: Extracting # 4 : cost 0 inf + 189358 8.550 * * [simplify]: iteration 5 : 3937 enodes (cost 2865 ) 9.846 * * [simplify]: Extracting # 0 : cost 0 inf + 189358 9.968 * * [simplify]: Extracting # 1 : cost 379 inf + 188316 10.089 * * [simplify]: Extracting # 2 : cost 92 inf + 338330 10.272 * * [simplify]: Extracting # 3 : cost 20 inf + 349514 10.414 * * [simplify]: Extracting # 4 : cost 0 inf + 356062 10.596 * * [simplify]: iteration complete: 5001 enodes (cost 2865 ) 10.596 * [simplify]: Simplified to: (expm1 (* x (* 27.0 y))) (log1p (* x (* 27.0 y))) (* x (* 27.0 y)) (* x (* 27.0 y)) (log (* x (* 27.0 y))) (log (* x (* 27.0 y))) (log (* x (* 27.0 y))) (exp (* x (* 27.0 y))) (* (* (* x (* 27.0 y)) (* x (* 27.0 y))) (* x (* 27.0 y))) (* (* (* x (* 27.0 y)) (* x (* 27.0 y))) (* x (* 27.0 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 x) (* 27.0 y)) (* (sqrt x) (* 27.0 y)) (* x (* 27.0 y)) (* x (* 27.0 y)) (* x (* 27.0 y)) (* x (* 27.0 y)) 10.597 * * * [progress]: adding candidates to table 10.647 * * [progress]: iteration 3 / 4 10.647 * * * [progress]: picking best candidate 10.660 * * * * [pick]: Picked # 10.660 * * * [progress]: localizing error 10.666 * * * [progress]: generating rewritten candidates 10.666 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 10.682 * * * [progress]: generating series expansions 10.682 * * * * [progress]: [ 1 / 1 ] generating series at (2) 10.682 * [backup-simplify]: Simplify (* 27.0 (* x y)) into (* 27.0 (* x y)) 10.682 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0 10.682 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y 10.683 * [taylor]: Taking taylor expansion of 27.0 in y 10.683 * [backup-simplify]: Simplify 27.0 into 27.0 10.683 * [taylor]: Taking taylor expansion of (* x y) in y 10.683 * [taylor]: Taking taylor expansion of x in y 10.683 * [backup-simplify]: Simplify x into x 10.683 * [taylor]: Taking taylor expansion of y in y 10.683 * [backup-simplify]: Simplify 0 into 0 10.683 * [backup-simplify]: Simplify 1 into 1 10.683 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 10.683 * [taylor]: Taking taylor expansion of 27.0 in x 10.683 * [backup-simplify]: Simplify 27.0 into 27.0 10.683 * [taylor]: Taking taylor expansion of (* x y) in x 10.683 * [taylor]: Taking taylor expansion of x in x 10.683 * [backup-simplify]: Simplify 0 into 0 10.683 * [backup-simplify]: Simplify 1 into 1 10.683 * [taylor]: Taking taylor expansion of y in x 10.683 * [backup-simplify]: Simplify y into y 10.683 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 10.683 * [taylor]: Taking taylor expansion of 27.0 in x 10.683 * [backup-simplify]: Simplify 27.0 into 27.0 10.683 * [taylor]: Taking taylor expansion of (* x y) in x 10.683 * [taylor]: Taking taylor expansion of x in x 10.683 * [backup-simplify]: Simplify 0 into 0 10.683 * [backup-simplify]: Simplify 1 into 1 10.683 * [taylor]: Taking taylor expansion of y in x 10.683 * [backup-simplify]: Simplify y into y 10.683 * [backup-simplify]: Simplify (* 0 y) into 0 10.684 * [backup-simplify]: Simplify (* 27.0 0) into 0 10.684 * [taylor]: Taking taylor expansion of 0 in y 10.684 * [backup-simplify]: Simplify 0 into 0 10.684 * [backup-simplify]: Simplify 0 into 0 10.684 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 10.685 * [backup-simplify]: Simplify (+ (* 27.0 y) (* 0 0)) into (* 27.0 y) 10.685 * [taylor]: Taking taylor expansion of (* 27.0 y) in y 10.685 * [taylor]: Taking taylor expansion of 27.0 in y 10.685 * [backup-simplify]: Simplify 27.0 into 27.0 10.685 * [taylor]: Taking taylor expansion of y in y 10.685 * [backup-simplify]: Simplify 0 into 0 10.685 * [backup-simplify]: Simplify 1 into 1 10.686 * [backup-simplify]: Simplify (* 27.0 0) into 0 10.686 * [backup-simplify]: Simplify 0 into 0 10.686 * [backup-simplify]: Simplify 0 into 0 10.686 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 10.687 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 y) (* 0 0))) into 0 10.687 * [taylor]: Taking taylor expansion of 0 in y 10.687 * [backup-simplify]: Simplify 0 into 0 10.687 * [backup-simplify]: Simplify 0 into 0 10.689 * [backup-simplify]: Simplify (+ (* 27.0 1) (* 0 0)) into 27.0 10.689 * [backup-simplify]: Simplify 27.0 into 27.0 10.689 * [backup-simplify]: Simplify 0 into 0 10.690 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 10.691 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 10.691 * [taylor]: Taking taylor expansion of 0 in y 10.691 * [backup-simplify]: Simplify 0 into 0 10.691 * [backup-simplify]: Simplify 0 into 0 10.691 * [backup-simplify]: Simplify 0 into 0 10.692 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 1) (* 0 0))) into 0 10.693 * [backup-simplify]: Simplify 0 into 0 10.693 * [backup-simplify]: Simplify 0 into 0 10.694 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 10.696 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 10.696 * [taylor]: Taking taylor expansion of 0 in y 10.696 * [backup-simplify]: Simplify 0 into 0 10.696 * [backup-simplify]: Simplify 0 into 0 10.696 * [backup-simplify]: Simplify (* 27.0 (* y x)) into (* 27.0 (* x y)) 10.696 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 x) (/ 1 y))) into (/ 27.0 (* x y)) 10.696 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 10.696 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 10.696 * [taylor]: Taking taylor expansion of 27.0 in y 10.696 * [backup-simplify]: Simplify 27.0 into 27.0 10.696 * [taylor]: Taking taylor expansion of (* x y) in y 10.696 * [taylor]: Taking taylor expansion of x in y 10.696 * [backup-simplify]: Simplify x into x 10.696 * [taylor]: Taking taylor expansion of y in y 10.696 * [backup-simplify]: Simplify 0 into 0 10.696 * [backup-simplify]: Simplify 1 into 1 10.696 * [backup-simplify]: Simplify (* x 0) into 0 10.697 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 10.697 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 10.697 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 10.697 * [taylor]: Taking taylor expansion of 27.0 in x 10.697 * [backup-simplify]: Simplify 27.0 into 27.0 10.697 * [taylor]: Taking taylor expansion of (* x y) in x 10.697 * [taylor]: Taking taylor expansion of x in x 10.697 * [backup-simplify]: Simplify 0 into 0 10.697 * [backup-simplify]: Simplify 1 into 1 10.697 * [taylor]: Taking taylor expansion of y in x 10.697 * [backup-simplify]: Simplify y into y 10.697 * [backup-simplify]: Simplify (* 0 y) into 0 10.698 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 10.698 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 10.698 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 10.698 * [taylor]: Taking taylor expansion of 27.0 in x 10.698 * [backup-simplify]: Simplify 27.0 into 27.0 10.698 * [taylor]: Taking taylor expansion of (* x y) in x 10.698 * [taylor]: Taking taylor expansion of x in x 10.698 * [backup-simplify]: Simplify 0 into 0 10.698 * [backup-simplify]: Simplify 1 into 1 10.698 * [taylor]: Taking taylor expansion of y in x 10.698 * [backup-simplify]: Simplify y into y 10.698 * [backup-simplify]: Simplify (* 0 y) into 0 10.699 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 10.699 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 10.699 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 10.699 * [taylor]: Taking taylor expansion of 27.0 in y 10.699 * [backup-simplify]: Simplify 27.0 into 27.0 10.699 * [taylor]: Taking taylor expansion of y in y 10.699 * [backup-simplify]: Simplify 0 into 0 10.699 * [backup-simplify]: Simplify 1 into 1 10.699 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 10.699 * [backup-simplify]: Simplify 27.0 into 27.0 10.700 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 10.700 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 10.700 * [taylor]: Taking taylor expansion of 0 in y 10.700 * [backup-simplify]: Simplify 0 into 0 10.701 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 10.701 * [backup-simplify]: Simplify 0 into 0 10.702 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 10.703 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.703 * [taylor]: Taking taylor expansion of 0 in y 10.703 * [backup-simplify]: Simplify 0 into 0 10.703 * [backup-simplify]: Simplify 0 into 0 10.704 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.704 * [backup-simplify]: Simplify 0 into 0 10.705 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 10.705 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.705 * [taylor]: Taking taylor expansion of 0 in y 10.705 * [backup-simplify]: Simplify 0 into 0 10.705 * [backup-simplify]: Simplify 0 into 0 10.705 * [backup-simplify]: Simplify 0 into 0 10.706 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.706 * [backup-simplify]: Simplify 0 into 0 10.706 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 27.0 (* x y)) 10.706 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (- x)) (/ 1 (- y)))) into (/ 27.0 (* x y)) 10.706 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 10.706 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 10.706 * [taylor]: Taking taylor expansion of 27.0 in y 10.706 * [backup-simplify]: Simplify 27.0 into 27.0 10.706 * [taylor]: Taking taylor expansion of (* x y) in y 10.706 * [taylor]: Taking taylor expansion of x in y 10.706 * [backup-simplify]: Simplify x into x 10.706 * [taylor]: Taking taylor expansion of y in y 10.706 * [backup-simplify]: Simplify 0 into 0 10.706 * [backup-simplify]: Simplify 1 into 1 10.706 * [backup-simplify]: Simplify (* x 0) into 0 10.706 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 10.706 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 10.706 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 10.706 * [taylor]: Taking taylor expansion of 27.0 in x 10.706 * [backup-simplify]: Simplify 27.0 into 27.0 10.706 * [taylor]: Taking taylor expansion of (* x y) in x 10.706 * [taylor]: Taking taylor expansion of x in x 10.706 * [backup-simplify]: Simplify 0 into 0 10.706 * [backup-simplify]: Simplify 1 into 1 10.707 * [taylor]: Taking taylor expansion of y in x 10.707 * [backup-simplify]: Simplify y into y 10.707 * [backup-simplify]: Simplify (* 0 y) into 0 10.707 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 10.707 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 10.707 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 10.707 * [taylor]: Taking taylor expansion of 27.0 in x 10.707 * [backup-simplify]: Simplify 27.0 into 27.0 10.707 * [taylor]: Taking taylor expansion of (* x y) in x 10.707 * [taylor]: Taking taylor expansion of x in x 10.707 * [backup-simplify]: Simplify 0 into 0 10.707 * [backup-simplify]: Simplify 1 into 1 10.707 * [taylor]: Taking taylor expansion of y in x 10.707 * [backup-simplify]: Simplify y into y 10.707 * [backup-simplify]: Simplify (* 0 y) into 0 10.707 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 10.707 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 10.707 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 10.707 * [taylor]: Taking taylor expansion of 27.0 in y 10.707 * [backup-simplify]: Simplify 27.0 into 27.0 10.707 * [taylor]: Taking taylor expansion of y in y 10.707 * [backup-simplify]: Simplify 0 into 0 10.708 * [backup-simplify]: Simplify 1 into 1 10.708 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 10.708 * [backup-simplify]: Simplify 27.0 into 27.0 10.708 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 10.708 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 10.708 * [taylor]: Taking taylor expansion of 0 in y 10.708 * [backup-simplify]: Simplify 0 into 0 10.709 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 10.709 * [backup-simplify]: Simplify 0 into 0 10.710 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 10.710 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.710 * [taylor]: Taking taylor expansion of 0 in y 10.710 * [backup-simplify]: Simplify 0 into 0 10.710 * [backup-simplify]: Simplify 0 into 0 10.710 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.711 * [backup-simplify]: Simplify 0 into 0 10.711 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 10.712 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.712 * [taylor]: Taking taylor expansion of 0 in y 10.712 * [backup-simplify]: Simplify 0 into 0 10.712 * [backup-simplify]: Simplify 0 into 0 10.712 * [backup-simplify]: Simplify 0 into 0 10.712 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.712 * [backup-simplify]: Simplify 0 into 0 10.712 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 27.0 (* x y)) 10.712 * * * [progress]: simplifying candidates 10.713 * [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)) 10.713 * * [simplify]: Extracting # 0 : cost 16 inf + 0 10.713 * * [simplify]: Extracting # 1 : cost 28 inf + 0 10.713 * * [simplify]: Extracting # 2 : cost 31 inf + 85 10.714 * * [simplify]: Extracting # 3 : cost 19 inf + 1402 10.714 * * [simplify]: Extracting # 4 : cost 5 inf + 3416 10.714 * * [simplify]: Extracting # 5 : cost 2 inf + 3821 10.715 * * [simplify]: Extracting # 6 : cost 1 inf + 4023 10.715 * * [simplify]: Extracting # 7 : cost 0 inf + 4346 10.715 * * [simplify]: iteration 0 : 37 enodes (cost 3315 ) 10.726 * * [simplify]: Extracting # 0 : cost 0 inf + 4346 10.726 * * [simplify]: Extracting # 1 : cost 16 inf + 4066 10.727 * * [simplify]: Extracting # 2 : cost 0 inf + 6313 10.728 * * [simplify]: iteration 1 : 87 enodes (cost 3105 ) 10.754 * * [simplify]: Extracting # 0 : cost 0 inf + 6313 10.756 * * [simplify]: Extracting # 1 : cost 57 inf + 5833 10.759 * * [simplify]: Extracting # 2 : cost 2 inf + 14039 10.763 * * [simplify]: Extracting # 3 : cost 3 inf + 14039 10.768 * * [simplify]: Extracting # 4 : cost 2 inf + 14040 10.772 * * [simplify]: Extracting # 5 : cost 0 inf + 14487 10.781 * * [simplify]: iteration 2 : 272 enodes (cost 2865 ) 10.973 * * [simplify]: Extracting # 0 : cost 0 inf + 14487 10.982 * * [simplify]: Extracting # 1 : cost 98 inf + 13697 10.995 * * [simplify]: Extracting # 2 : cost 8 inf + 29024 11.010 * * [simplify]: Extracting # 3 : cost 5 inf + 29552 11.039 * * [simplify]: Extracting # 4 : cost 0 inf + 30735 11.061 * * [simplify]: iteration 3 : 832 enodes (cost 2865 ) 12.148 * * [simplify]: Extracting # 0 : cost 0 inf + 30735 12.192 * * [simplify]: Extracting # 1 : cost 143 inf + 27933 12.240 * * [simplify]: Extracting # 2 : cost 16 inf + 64003 12.318 * * [simplify]: Extracting # 3 : cost 1 inf + 67140 12.370 * * [simplify]: Extracting # 4 : cost 0 inf + 67504 12.418 * * [simplify]: iteration 4 : 1934 enodes (cost 2865 ) 17.322 * * [simplify]: Extracting # 0 : cost 0 inf + 67504 17.439 * * [simplify]: Extracting # 1 : cost 348 inf + 66745 17.557 * * [simplify]: Extracting # 2 : cost 20 inf + 204923 17.680 * * [simplify]: Extracting # 3 : cost 7 inf + 207311 17.773 * * [simplify]: Extracting # 4 : cost 0 inf + 209837 17.922 * * [simplify]: iteration 5 : 4394 enodes (cost 2865 ) 19.016 * * [simplify]: Extracting # 0 : cost 0 inf + 209837 19.145 * * [simplify]: Extracting # 1 : cost 228 inf + 209234 19.330 * * [simplify]: Extracting # 2 : cost 96 inf + 282661 19.508 * * [simplify]: Extracting # 3 : cost 19 inf + 295388 19.659 * * [simplify]: Extracting # 4 : cost 0 inf + 301154 19.806 * * [simplify]: iteration complete: 5001 enodes (cost 2865 ) 19.806 * [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))) (* (* (* 27.0 (* x y)) (* 27.0 (* x y))) (* 27.0 (* x y))) (* (* (* 27.0 (* x y)) (* 27.0 (* x y))) (* 27.0 (* 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)) 19.807 * * * [progress]: adding candidates to table 19.884 * * [progress]: iteration 4 / 4 19.884 * * * [progress]: picking best candidate 19.898 * * * * [pick]: Picked # 19.898 * * * [progress]: localizing error 19.908 * * * [progress]: generating rewritten candidates 19.908 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 19.928 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 19.998 * * * [progress]: generating series expansions 19.998 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 19.999 * [backup-simplify]: Simplify (* (sqrt 27.0) (* x y)) into (* x (* y (sqrt 27.0))) 19.999 * [approximate]: Taking taylor expansion of (* x (* y (sqrt 27.0))) in (x y) around 0 19.999 * [taylor]: Taking taylor expansion of (* x (* y (sqrt 27.0))) in y 19.999 * [taylor]: Taking taylor expansion of x in y 19.999 * [backup-simplify]: Simplify x into x 19.999 * [taylor]: Taking taylor expansion of (* y (sqrt 27.0)) in y 19.999 * [taylor]: Taking taylor expansion of y in y 19.999 * [backup-simplify]: Simplify 0 into 0 19.999 * [backup-simplify]: Simplify 1 into 1 19.999 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 19.999 * [taylor]: Taking taylor expansion of 27.0 in y 19.999 * [backup-simplify]: Simplify 27.0 into 27.0 19.999 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 20.000 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 20.000 * [taylor]: Taking taylor expansion of (* x (* y (sqrt 27.0))) in x 20.000 * [taylor]: Taking taylor expansion of x in x 20.000 * [backup-simplify]: Simplify 0 into 0 20.000 * [backup-simplify]: Simplify 1 into 1 20.000 * [taylor]: Taking taylor expansion of (* y (sqrt 27.0)) in x 20.000 * [taylor]: Taking taylor expansion of y in x 20.000 * [backup-simplify]: Simplify y into y 20.000 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 20.000 * [taylor]: Taking taylor expansion of 27.0 in x 20.000 * [backup-simplify]: Simplify 27.0 into 27.0 20.000 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 20.001 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 20.001 * [taylor]: Taking taylor expansion of (* x (* y (sqrt 27.0))) in x 20.001 * [taylor]: Taking taylor expansion of x in x 20.001 * [backup-simplify]: Simplify 0 into 0 20.001 * [backup-simplify]: Simplify 1 into 1 20.001 * [taylor]: Taking taylor expansion of (* y (sqrt 27.0)) in x 20.001 * [taylor]: Taking taylor expansion of y in x 20.001 * [backup-simplify]: Simplify y into y 20.001 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 20.001 * [taylor]: Taking taylor expansion of 27.0 in x 20.001 * [backup-simplify]: Simplify 27.0 into 27.0 20.001 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 20.002 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 20.002 * [backup-simplify]: Simplify (* y (sqrt 27.0)) into (* y (sqrt 27.0)) 20.002 * [backup-simplify]: Simplify (* 0 (* y (sqrt 27.0))) into 0 20.002 * [taylor]: Taking taylor expansion of 0 in y 20.002 * [backup-simplify]: Simplify 0 into 0 20.002 * [backup-simplify]: Simplify 0 into 0 20.003 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (sqrt 27.0))) into 0 20.003 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (* y (sqrt 27.0)))) into (* y (sqrt 27.0)) 20.003 * [taylor]: Taking taylor expansion of (* y (sqrt 27.0)) in y 20.003 * [taylor]: Taking taylor expansion of y in y 20.003 * [backup-simplify]: Simplify 0 into 0 20.003 * [backup-simplify]: Simplify 1 into 1 20.003 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 20.003 * [taylor]: Taking taylor expansion of 27.0 in y 20.003 * [backup-simplify]: Simplify 27.0 into 27.0 20.003 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 20.004 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 20.004 * [backup-simplify]: Simplify (* 0 (sqrt 27.0)) into 0 20.004 * [backup-simplify]: Simplify 0 into 0 20.004 * [backup-simplify]: Simplify 0 into 0 20.005 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 20.005 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 20.006 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (* y (sqrt 27.0))))) into 0 20.006 * [taylor]: Taking taylor expansion of 0 in y 20.006 * [backup-simplify]: Simplify 0 into 0 20.006 * [backup-simplify]: Simplify 0 into 0 20.007 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt 27.0))) into (sqrt 27.0) 20.008 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 20.008 * [backup-simplify]: Simplify 0 into 0 20.009 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 20.009 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 20.010 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (* y (sqrt 27.0)))))) into 0 20.010 * [taylor]: Taking taylor expansion of 0 in y 20.010 * [backup-simplify]: Simplify 0 into 0 20.010 * [backup-simplify]: Simplify 0 into 0 20.010 * [backup-simplify]: Simplify 0 into 0 20.011 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 20.012 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt 27.0)))) into 0 20.012 * [backup-simplify]: Simplify 0 into 0 20.012 * [backup-simplify]: Simplify 0 into 0 20.013 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 20.013 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0)))))) into 0 20.014 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* y (sqrt 27.0))))))) into 0 20.015 * [taylor]: Taking taylor expansion of 0 in y 20.015 * [backup-simplify]: Simplify 0 into 0 20.015 * [backup-simplify]: Simplify 0 into 0 20.015 * [backup-simplify]: Simplify (* (sqrt 27.0) (* y x)) into (* x (* y (sqrt 27.0))) 20.017 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 x) (/ 1 y))) into (/ (sqrt 27.0) (* x y)) 20.017 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in (x y) around 0 20.017 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in y 20.017 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 20.017 * [taylor]: Taking taylor expansion of 27.0 in y 20.017 * [backup-simplify]: Simplify 27.0 into 27.0 20.017 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 20.018 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 20.018 * [taylor]: Taking taylor expansion of (* x y) in y 20.018 * [taylor]: Taking taylor expansion of x in y 20.018 * [backup-simplify]: Simplify x into x 20.018 * [taylor]: Taking taylor expansion of y in y 20.018 * [backup-simplify]: Simplify 0 into 0 20.018 * [backup-simplify]: Simplify 1 into 1 20.018 * [backup-simplify]: Simplify (* x 0) into 0 20.018 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 20.018 * [backup-simplify]: Simplify (/ (sqrt 27.0) x) into (/ (sqrt 27.0) x) 20.018 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 20.018 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 20.018 * [taylor]: Taking taylor expansion of 27.0 in x 20.018 * [backup-simplify]: Simplify 27.0 into 27.0 20.019 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 20.019 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 20.019 * [taylor]: Taking taylor expansion of (* x y) in x 20.019 * [taylor]: Taking taylor expansion of x in x 20.019 * [backup-simplify]: Simplify 0 into 0 20.019 * [backup-simplify]: Simplify 1 into 1 20.019 * [taylor]: Taking taylor expansion of y in x 20.019 * [backup-simplify]: Simplify y into y 20.019 * [backup-simplify]: Simplify (* 0 y) into 0 20.020 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 20.020 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 20.020 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 20.020 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 20.020 * [taylor]: Taking taylor expansion of 27.0 in x 20.020 * [backup-simplify]: Simplify 27.0 into 27.0 20.020 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 20.021 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 20.021 * [taylor]: Taking taylor expansion of (* x y) in x 20.021 * [taylor]: Taking taylor expansion of x in x 20.021 * [backup-simplify]: Simplify 0 into 0 20.021 * [backup-simplify]: Simplify 1 into 1 20.021 * [taylor]: Taking taylor expansion of y in x 20.021 * [backup-simplify]: Simplify y into y 20.021 * [backup-simplify]: Simplify (* 0 y) into 0 20.021 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 20.021 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 20.021 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y 20.021 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 20.021 * [taylor]: Taking taylor expansion of 27.0 in y 20.021 * [backup-simplify]: Simplify 27.0 into 27.0 20.022 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 20.022 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 20.022 * [taylor]: Taking taylor expansion of y in y 20.022 * [backup-simplify]: Simplify 0 into 0 20.022 * [backup-simplify]: Simplify 1 into 1 20.023 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0) 20.023 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 20.024 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 20.024 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)))) into 0 20.024 * [taylor]: Taking taylor expansion of 0 in y 20.024 * [backup-simplify]: Simplify 0 into 0 20.025 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)))) into 0 20.025 * [backup-simplify]: Simplify 0 into 0 20.026 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 20.028 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 20.028 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 20.028 * [taylor]: Taking taylor expansion of 0 in y 20.028 * [backup-simplify]: Simplify 0 into 0 20.028 * [backup-simplify]: Simplify 0 into 0 20.029 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 20.031 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.031 * [backup-simplify]: Simplify 0 into 0 20.032 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 20.034 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 20.034 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 20.034 * [taylor]: Taking taylor expansion of 0 in y 20.034 * [backup-simplify]: Simplify 0 into 0 20.034 * [backup-simplify]: Simplify 0 into 0 20.034 * [backup-simplify]: Simplify 0 into 0 20.036 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 20.037 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.037 * [backup-simplify]: Simplify 0 into 0 20.037 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* x (* y (sqrt 27.0))) 20.038 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (- x)) (/ 1 (- y)))) into (/ (sqrt 27.0) (* x y)) 20.038 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in (x y) around 0 20.038 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in y 20.038 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 20.038 * [taylor]: Taking taylor expansion of 27.0 in y 20.038 * [backup-simplify]: Simplify 27.0 into 27.0 20.039 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 20.039 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 20.039 * [taylor]: Taking taylor expansion of (* x y) in y 20.039 * [taylor]: Taking taylor expansion of x in y 20.039 * [backup-simplify]: Simplify x into x 20.039 * [taylor]: Taking taylor expansion of y in y 20.039 * [backup-simplify]: Simplify 0 into 0 20.039 * [backup-simplify]: Simplify 1 into 1 20.040 * [backup-simplify]: Simplify (* x 0) into 0 20.040 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 20.040 * [backup-simplify]: Simplify (/ (sqrt 27.0) x) into (/ (sqrt 27.0) x) 20.040 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 20.040 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 20.040 * [taylor]: Taking taylor expansion of 27.0 in x 20.041 * [backup-simplify]: Simplify 27.0 into 27.0 20.041 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 20.042 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 20.042 * [taylor]: Taking taylor expansion of (* x y) in x 20.042 * [taylor]: Taking taylor expansion of x in x 20.042 * [backup-simplify]: Simplify 0 into 0 20.042 * [backup-simplify]: Simplify 1 into 1 20.042 * [taylor]: Taking taylor expansion of y in x 20.042 * [backup-simplify]: Simplify y into y 20.042 * [backup-simplify]: Simplify (* 0 y) into 0 20.042 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 20.043 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 20.043 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 20.043 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 20.043 * [taylor]: Taking taylor expansion of 27.0 in x 20.043 * [backup-simplify]: Simplify 27.0 into 27.0 20.043 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 20.044 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 20.044 * [taylor]: Taking taylor expansion of (* x y) in x 20.044 * [taylor]: Taking taylor expansion of x in x 20.044 * [backup-simplify]: Simplify 0 into 0 20.044 * [backup-simplify]: Simplify 1 into 1 20.044 * [taylor]: Taking taylor expansion of y in x 20.044 * [backup-simplify]: Simplify y into y 20.044 * [backup-simplify]: Simplify (* 0 y) into 0 20.045 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 20.045 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 20.045 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y 20.045 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 20.045 * [taylor]: Taking taylor expansion of 27.0 in y 20.045 * [backup-simplify]: Simplify 27.0 into 27.0 20.046 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 20.047 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 20.047 * [taylor]: Taking taylor expansion of y in y 20.047 * [backup-simplify]: Simplify 0 into 0 20.047 * [backup-simplify]: Simplify 1 into 1 20.048 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0) 20.048 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 20.049 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 20.049 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)))) into 0 20.049 * [taylor]: Taking taylor expansion of 0 in y 20.049 * [backup-simplify]: Simplify 0 into 0 20.050 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)))) into 0 20.051 * [backup-simplify]: Simplify 0 into 0 20.052 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 20.053 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 20.053 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 20.053 * [taylor]: Taking taylor expansion of 0 in y 20.054 * [backup-simplify]: Simplify 0 into 0 20.054 * [backup-simplify]: Simplify 0 into 0 20.055 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 20.056 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.056 * [backup-simplify]: Simplify 0 into 0 20.057 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 20.059 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 20.060 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 20.060 * [taylor]: Taking taylor expansion of 0 in y 20.060 * [backup-simplify]: Simplify 0 into 0 20.060 * [backup-simplify]: Simplify 0 into 0 20.060 * [backup-simplify]: Simplify 0 into 0 20.061 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 20.062 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.062 * [backup-simplify]: Simplify 0 into 0 20.063 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* x (* y (sqrt 27.0))) 20.063 * * * * [progress]: [ 2 / 2 ] generating series at (2) 20.064 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) into (* x (* y (pow (sqrt 27.0) 2))) 20.064 * [approximate]: Taking taylor expansion of (* x (* y (pow (sqrt 27.0) 2))) in (x y) around 0 20.064 * [taylor]: Taking taylor expansion of (* x (* y (pow (sqrt 27.0) 2))) in y 20.064 * [taylor]: Taking taylor expansion of x in y 20.064 * [backup-simplify]: Simplify x into x 20.064 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 27.0) 2)) in y 20.064 * [taylor]: Taking taylor expansion of y in y 20.064 * [backup-simplify]: Simplify 0 into 0 20.064 * [backup-simplify]: Simplify 1 into 1 20.064 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 20.064 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 20.064 * [taylor]: Taking taylor expansion of 27.0 in y 20.064 * [backup-simplify]: Simplify 27.0 into 27.0 20.065 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 20.065 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 20.065 * [taylor]: Taking taylor expansion of (* x (* y (pow (sqrt 27.0) 2))) in x 20.065 * [taylor]: Taking taylor expansion of x in x 20.066 * [backup-simplify]: Simplify 0 into 0 20.066 * [backup-simplify]: Simplify 1 into 1 20.066 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 27.0) 2)) in x 20.066 * [taylor]: Taking taylor expansion of y in x 20.066 * [backup-simplify]: Simplify y into y 20.066 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 20.066 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 20.066 * [taylor]: Taking taylor expansion of 27.0 in x 20.066 * [backup-simplify]: Simplify 27.0 into 27.0 20.066 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 20.067 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 20.067 * [taylor]: Taking taylor expansion of (* x (* y (pow (sqrt 27.0) 2))) in x 20.067 * [taylor]: Taking taylor expansion of x in x 20.067 * [backup-simplify]: Simplify 0 into 0 20.067 * [backup-simplify]: Simplify 1 into 1 20.067 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 27.0) 2)) in x 20.067 * [taylor]: Taking taylor expansion of y in x 20.067 * [backup-simplify]: Simplify y into y 20.067 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 20.067 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 20.067 * [taylor]: Taking taylor expansion of 27.0 in x 20.067 * [backup-simplify]: Simplify 27.0 into 27.0 20.068 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 20.068 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 20.070 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 20.071 * [backup-simplify]: Simplify (* y (pow (sqrt 27.0) 2)) into (* y (pow (sqrt 27.0) 2)) 20.072 * [backup-simplify]: Simplify (* 0 (* y (pow (sqrt 27.0) 2))) into 0 20.072 * [taylor]: Taking taylor expansion of 0 in y 20.072 * [backup-simplify]: Simplify 0 into 0 20.072 * [backup-simplify]: Simplify 0 into 0 20.073 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 20.073 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (pow (sqrt 27.0) 2))) into 0 20.075 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (* y (pow (sqrt 27.0) 2)))) into (* y (pow (sqrt 27.0) 2)) 20.075 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 27.0) 2)) in y 20.075 * [taylor]: Taking taylor expansion of y in y 20.075 * [backup-simplify]: Simplify 0 into 0 20.075 * [backup-simplify]: Simplify 1 into 1 20.075 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 20.075 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 20.075 * [taylor]: Taking taylor expansion of 27.0 in y 20.075 * [backup-simplify]: Simplify 27.0 into 27.0 20.076 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 20.077 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 20.078 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 20.079 * [backup-simplify]: Simplify (* 0 (pow (sqrt 27.0) 2)) into 0 20.079 * [backup-simplify]: Simplify 0 into 0 20.079 * [backup-simplify]: Simplify 0 into 0 20.080 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 20.081 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 20.082 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (pow (sqrt 27.0) 2)))) into 0 20.084 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (* y (pow (sqrt 27.0) 2))))) into 0 20.084 * [taylor]: Taking taylor expansion of 0 in y 20.084 * [backup-simplify]: Simplify 0 into 0 20.084 * [backup-simplify]: Simplify 0 into 0 20.085 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 20.088 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow (sqrt 27.0) 2))) into (pow (sqrt 27.0) 2) 20.089 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2) 20.089 * [backup-simplify]: Simplify 0 into 0 20.090 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 20.092 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 20.093 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 27.0) 2))))) into 0 20.095 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (* y (pow (sqrt 27.0) 2)))))) into 0 20.095 * [taylor]: Taking taylor expansion of 0 in y 20.095 * [backup-simplify]: Simplify 0 into 0 20.095 * [backup-simplify]: Simplify 0 into 0 20.095 * [backup-simplify]: Simplify 0 into 0 20.096 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 20.098 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 20.099 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow (sqrt 27.0) 2)))) into 0 20.099 * [backup-simplify]: Simplify 0 into 0 20.099 * [backup-simplify]: Simplify 0 into 0 20.101 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 20.102 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0)))))) into 0 20.103 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 27.0) 2)))))) into 0 20.106 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* y (pow (sqrt 27.0) 2))))))) into 0 20.106 * [taylor]: Taking taylor expansion of 0 in y 20.106 * [backup-simplify]: Simplify 0 into 0 20.106 * [backup-simplify]: Simplify 0 into 0 20.107 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* y x)) into (* x (* y (pow (sqrt 27.0) 2))) 20.108 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (sqrt 27.0) (* (/ 1 x) (/ 1 y)))) into (/ (pow (sqrt 27.0) 2) (* x y)) 20.108 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0 20.108 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in y 20.108 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 20.108 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 20.108 * [taylor]: Taking taylor expansion of 27.0 in y 20.109 * [backup-simplify]: Simplify 27.0 into 27.0 20.109 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 20.110 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 20.110 * [taylor]: Taking taylor expansion of (* x y) in y 20.110 * [taylor]: Taking taylor expansion of x in y 20.110 * [backup-simplify]: Simplify x into x 20.110 * [taylor]: Taking taylor expansion of y in y 20.110 * [backup-simplify]: Simplify 0 into 0 20.110 * [backup-simplify]: Simplify 1 into 1 20.111 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 20.111 * [backup-simplify]: Simplify (* x 0) into 0 20.112 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 20.113 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) x) into (/ (pow (sqrt 27.0) 2) x) 20.113 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 20.113 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 20.113 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 20.113 * [taylor]: Taking taylor expansion of 27.0 in x 20.113 * [backup-simplify]: Simplify 27.0 into 27.0 20.113 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 20.114 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 20.114 * [taylor]: Taking taylor expansion of (* x y) in x 20.114 * [taylor]: Taking taylor expansion of x in x 20.114 * [backup-simplify]: Simplify 0 into 0 20.114 * [backup-simplify]: Simplify 1 into 1 20.114 * [taylor]: Taking taylor expansion of y in x 20.114 * [backup-simplify]: Simplify y into y 20.115 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 20.115 * [backup-simplify]: Simplify (* 0 y) into 0 20.116 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 20.117 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 20.117 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 20.117 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 20.117 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 20.117 * [taylor]: Taking taylor expansion of 27.0 in x 20.117 * [backup-simplify]: Simplify 27.0 into 27.0 20.117 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 20.118 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 20.118 * [taylor]: Taking taylor expansion of (* x y) in x 20.118 * [taylor]: Taking taylor expansion of x in x 20.118 * [backup-simplify]: Simplify 0 into 0 20.118 * [backup-simplify]: Simplify 1 into 1 20.118 * [taylor]: Taking taylor expansion of y in x 20.118 * [backup-simplify]: Simplify y into y 20.120 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 20.120 * [backup-simplify]: Simplify (* 0 y) into 0 20.120 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 20.121 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 20.121 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) y) in y 20.121 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 20.121 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 20.121 * [taylor]: Taking taylor expansion of 27.0 in y 20.121 * [backup-simplify]: Simplify 27.0 into 27.0 20.122 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 20.122 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 20.122 * [taylor]: Taking taylor expansion of y in y 20.122 * [backup-simplify]: Simplify 0 into 0 20.122 * [backup-simplify]: Simplify 1 into 1 20.124 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 20.125 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) 1) into (pow (sqrt 27.0) 2) 20.126 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2) 20.127 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 20.128 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 20.129 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)))) into 0 20.129 * [taylor]: Taking taylor expansion of 0 in y 20.129 * [backup-simplify]: Simplify 0 into 0 20.130 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 20.131 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)))) into 0 20.131 * [backup-simplify]: Simplify 0 into 0 20.133 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 20.134 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 20.135 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 20.136 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 20.136 * [taylor]: Taking taylor expansion of 0 in y 20.136 * [backup-simplify]: Simplify 0 into 0 20.136 * [backup-simplify]: Simplify 0 into 0 20.138 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 20.139 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 20.140 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.140 * [backup-simplify]: Simplify 0 into 0 20.142 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 20.143 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 20.144 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 20.146 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 20.146 * [taylor]: Taking taylor expansion of 0 in y 20.146 * [backup-simplify]: Simplify 0 into 0 20.146 * [backup-simplify]: Simplify 0 into 0 20.146 * [backup-simplify]: Simplify 0 into 0 20.147 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 20.149 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 20.150 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.150 * [backup-simplify]: Simplify 0 into 0 20.151 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* x (* y (pow (sqrt 27.0) 2))) 20.152 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (sqrt 27.0) (* (/ 1 (- x)) (/ 1 (- y))))) into (/ (pow (sqrt 27.0) 2) (* x y)) 20.152 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0 20.152 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in y 20.152 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 20.152 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 20.152 * [taylor]: Taking taylor expansion of 27.0 in y 20.152 * [backup-simplify]: Simplify 27.0 into 27.0 20.153 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 20.154 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 20.154 * [taylor]: Taking taylor expansion of (* x y) in y 20.154 * [taylor]: Taking taylor expansion of x in y 20.154 * [backup-simplify]: Simplify x into x 20.154 * [taylor]: Taking taylor expansion of y in y 20.154 * [backup-simplify]: Simplify 0 into 0 20.154 * [backup-simplify]: Simplify 1 into 1 20.155 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 20.155 * [backup-simplify]: Simplify (* x 0) into 0 20.155 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 20.156 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) x) into (/ (pow (sqrt 27.0) 2) x) 20.157 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 20.157 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 20.157 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 20.157 * [taylor]: Taking taylor expansion of 27.0 in x 20.157 * [backup-simplify]: Simplify 27.0 into 27.0 20.157 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 20.158 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 20.158 * [taylor]: Taking taylor expansion of (* x y) in x 20.158 * [taylor]: Taking taylor expansion of x in x 20.158 * [backup-simplify]: Simplify 0 into 0 20.158 * [backup-simplify]: Simplify 1 into 1 20.158 * [taylor]: Taking taylor expansion of y in x 20.158 * [backup-simplify]: Simplify y into y 20.159 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 20.159 * [backup-simplify]: Simplify (* 0 y) into 0 20.161 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 20.163 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 20.163 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 20.163 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 20.163 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 20.163 * [taylor]: Taking taylor expansion of 27.0 in x 20.163 * [backup-simplify]: Simplify 27.0 into 27.0 20.163 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 20.164 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 20.164 * [taylor]: Taking taylor expansion of (* x y) in x 20.164 * [taylor]: Taking taylor expansion of x in x 20.164 * [backup-simplify]: Simplify 0 into 0 20.164 * [backup-simplify]: Simplify 1 into 1 20.164 * [taylor]: Taking taylor expansion of y in x 20.164 * [backup-simplify]: Simplify y into y 20.165 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 20.165 * [backup-simplify]: Simplify (* 0 y) into 0 20.166 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 20.167 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 20.167 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) y) in y 20.167 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 20.167 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 20.167 * [taylor]: Taking taylor expansion of 27.0 in y 20.167 * [backup-simplify]: Simplify 27.0 into 27.0 20.168 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 20.168 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 20.168 * [taylor]: Taking taylor expansion of y in y 20.168 * [backup-simplify]: Simplify 0 into 0 20.168 * [backup-simplify]: Simplify 1 into 1 20.170 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 20.171 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) 1) into (pow (sqrt 27.0) 2) 20.172 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2) 20.173 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 20.174 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 20.175 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)))) into 0 20.175 * [taylor]: Taking taylor expansion of 0 in y 20.175 * [backup-simplify]: Simplify 0 into 0 20.176 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 20.177 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)))) into 0 20.177 * [backup-simplify]: Simplify 0 into 0 20.178 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 20.180 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 20.181 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 20.182 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 20.182 * [taylor]: Taking taylor expansion of 0 in y 20.182 * [backup-simplify]: Simplify 0 into 0 20.182 * [backup-simplify]: Simplify 0 into 0 20.183 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 20.184 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 20.186 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.186 * [backup-simplify]: Simplify 0 into 0 20.187 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 20.189 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 20.190 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 20.192 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 20.192 * [taylor]: Taking taylor expansion of 0 in y 20.192 * [backup-simplify]: Simplify 0 into 0 20.192 * [backup-simplify]: Simplify 0 into 0 20.192 * [backup-simplify]: Simplify 0 into 0 20.193 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 20.194 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 20.196 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.196 * [backup-simplify]: Simplify 0 into 0 20.197 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* x (* y (pow (sqrt 27.0) 2))) 20.198 * * * [progress]: simplifying candidates 20.199 * [simplify]: Simplifying: (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)) (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))) (* 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))) 20.200 * * [simplify]: Extracting # 0 : cost 38 inf + 0 20.200 * * [simplify]: Extracting # 1 : cost 54 inf + 0 20.200 * * [simplify]: Extracting # 2 : cost 62 inf + 1 20.200 * * [simplify]: Extracting # 3 : cost 58 inf + 351 20.201 * * [simplify]: Extracting # 4 : cost 31 inf + 3864 20.202 * * [simplify]: Extracting # 5 : cost 9 inf + 9206 20.203 * * [simplify]: Extracting # 6 : cost 0 inf + 11804 20.204 * * [simplify]: iteration 0 : 66 enodes (cost 11669 ) 20.217 * * [simplify]: Extracting # 0 : cost 0 inf + 11804 20.219 * * [simplify]: Extracting # 1 : cost 28 inf + 9531 20.221 * * [simplify]: Extracting # 2 : cost 0 inf + 14153 20.223 * * [simplify]: iteration 1 : 164 enodes (cost 8786 ) 20.308 * * [simplify]: Extracting # 0 : cost 0 inf + 14153 20.314 * * [simplify]: Extracting # 1 : cost 214 inf + 13913 20.330 * * [simplify]: Extracting # 2 : cost 58 inf + 41801 20.352 * * [simplify]: Extracting # 3 : cost 2 inf + 49449 20.376 * * [simplify]: Extracting # 4 : cost 0 inf + 50145 20.398 * * [simplify]: iteration 2 : 717 enodes (cost 8626 ) 21.551 * * [simplify]: Extracting # 0 : cost 0 inf + 50145 21.609 * * [simplify]: Extracting # 1 : cost 791 inf + 45542 21.739 * * [simplify]: Extracting # 2 : cost 12 inf + 178405 21.913 * * [simplify]: Extracting # 3 : cost 2 inf + 180131 22.038 * * [simplify]: Extracting # 4 : cost 0 inf + 181059 22.193 * * [simplify]: iteration 3 : 3744 enodes (cost 8306 ) 24.043 * * [simplify]: Extracting # 0 : cost 0 inf + 181059 24.316 * * [simplify]: Extracting # 1 : cost 472 inf + 170598 24.545 * * [simplify]: Extracting # 2 : cost 65 inf + 245323 24.808 * * [simplify]: Extracting # 3 : cost 17 inf + 253915 25.111 * * [simplify]: Extracting # 4 : cost 0 inf + 260059 25.391 * * [simplify]: iteration complete: 5015 enodes (cost 8306 ) 25.391 * [simplify]: Simplified to: (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))) (* (* x y) (* (* 27.0 (sqrt 27.0)) (* (* x y) (* x y)))) (* (* x y) (* (* 27.0 (sqrt 27.0)) (* (* x y) (* x y)))) (* (cbrt (* (sqrt 27.0) (* x y))) (cbrt (* (sqrt 27.0) (* x y)))) (cbrt (* (sqrt 27.0) (* x y))) (* (* x y) (* (* 27.0 (sqrt 27.0)) (* (* x y) (* 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)) (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))) (* (* (* 27.0 (* x y)) (* 27.0 (* x y))) (* 27.0 (* x y))) (* (* (* 27.0 (* x y)) (* 27.0 (* x y))) (* 27.0 (* x y))) (* (* (* 27.0 (* x y)) (* 27.0 (* x y))) (* 27.0 (* 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 (* (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))) (* 27.0 (* x y)) (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* x y))) (* 27.0 (* x y)) (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) 25.393 * * * [progress]: adding candidates to table 25.609 * [progress]: [Phase 3 of 3] Extracting. 25.609 * * [regime]: Finding splitpoints for: (# # # # # # # #) 25.610 * * * [regime-changes]: Trying 4 branch expressions: ((* x 27.0) (* (* x 27.0) y) y x) 25.610 * * * * [regimes]: Trying to branch on (* x 27.0) from (# # # # # # # #) 25.681 * * * * [regimes]: Trying to branch on (* x 27.0) from (# # #) 25.726 * * * * [regimes]: Trying to branch on (* (* x 27.0) y) from (# # # # # # # #) 25.781 * * * * [regimes]: Trying to branch on (* (* x 27.0) y) from (# #) 25.837 * * * * [regimes]: Trying to branch on y from (# # # # # # # #) 25.916 * * * * [regimes]: Trying to branch on x from (# # # # # # # #) 25.995 * * * [regime]: Found split indices: #