45.721 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.014 * * * [progress]: [2/2] Setting up program. 0.016 * [progress]: [Phase 2 of 3] Improving. 0.016 * [simplify]: Simplifying: (* (* x 27.0) y) 0.016 * * [simplify]: Extracting # 0 : cost 0 0.016 * * [simplify]: Extracting # 1 : cost 0 0.016 * * [simplify]: Extracting # 2 : cost 0 0.016 * * [simplify]: Extracting # 3 : cost 0 0.016 * * [simplify]: Extracting # 4 : cost 0 0.016 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.017 * * [simplify]: Extracting # 0 : cost 0 0.017 * * [simplify]: Extracting # 1 : cost 0 0.017 * * [simplify]: Extracting # 2 : cost 0 0.017 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 0.018 * * [simplify]: Extracting # 0 : cost 0 0.018 * * [simplify]: Extracting # 1 : cost 0 0.019 * * [simplify]: Extracting # 2 : cost 0 0.019 * * [simplify]: iteration 2 : 16 enodes (cost 5 ) 0.021 * * [simplify]: Extracting # 0 : cost 0 0.021 * * [simplify]: iteration 3 : 18 enodes (cost 5 ) 0.023 * * [simplify]: Extracting # 0 : cost 0 0.023 * * [simplify]: iteration done: 18 enodes (cost 5 ) 0.023 * [simplify]: Simplified to: (* (* x 27.0) y) 0.024 * * [progress]: iteration 1 / 4 0.024 * * * [progress]: picking best candidate 0.029 * * * * [pick]: Picked # 0.029 * * * [progress]: localizing error 0.033 * * * [progress]: generating rewritten candidates 0.033 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.051 * * * [progress]: generating series expansions 0.051 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.051 * [backup-simplify]: Simplify (* (* x 27.0) y) into (* 27.0 (* x y)) 0.051 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0 0.051 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y 0.051 * [taylor]: Taking taylor expansion of 27.0 in y 0.051 * [backup-simplify]: Simplify 27.0 into 27.0 0.051 * [taylor]: Taking taylor expansion of (* x y) in y 0.051 * [taylor]: Taking taylor expansion of x in y 0.051 * [backup-simplify]: Simplify x into x 0.051 * [taylor]: Taking taylor expansion of y in y 0.051 * [backup-simplify]: Simplify 0 into 0 0.051 * [backup-simplify]: Simplify 1 into 1 0.051 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 0.051 * [taylor]: Taking taylor expansion of 27.0 in x 0.051 * [backup-simplify]: Simplify 27.0 into 27.0 0.051 * [taylor]: Taking taylor expansion of (* x y) in x 0.051 * [taylor]: Taking taylor expansion of x in x 0.051 * [backup-simplify]: Simplify 0 into 0 0.051 * [backup-simplify]: Simplify 1 into 1 0.051 * [taylor]: Taking taylor expansion of y in x 0.051 * [backup-simplify]: Simplify y into y 0.051 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 0.051 * [taylor]: Taking taylor expansion of 27.0 in x 0.051 * [backup-simplify]: Simplify 27.0 into 27.0 0.051 * [taylor]: Taking taylor expansion of (* x y) in x 0.051 * [taylor]: Taking taylor expansion of x in x 0.051 * [backup-simplify]: Simplify 0 into 0 0.051 * [backup-simplify]: Simplify 1 into 1 0.052 * [taylor]: Taking taylor expansion of y in x 0.052 * [backup-simplify]: Simplify y into y 0.052 * [backup-simplify]: Simplify (* 0 y) into 0 0.052 * [backup-simplify]: Simplify (* 27.0 0) into 0 0.052 * [taylor]: Taking taylor expansion of 0 in y 0.052 * [backup-simplify]: Simplify 0 into 0 0.052 * [backup-simplify]: Simplify 0 into 0 0.053 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.053 * [backup-simplify]: Simplify (+ (* 27.0 y) (* 0 0)) into (* 27.0 y) 0.053 * [taylor]: Taking taylor expansion of (* 27.0 y) in y 0.053 * [taylor]: Taking taylor expansion of 27.0 in y 0.053 * [backup-simplify]: Simplify 27.0 into 27.0 0.053 * [taylor]: Taking taylor expansion of y in y 0.053 * [backup-simplify]: Simplify 0 into 0 0.053 * [backup-simplify]: Simplify 1 into 1 0.053 * [backup-simplify]: Simplify (* 27.0 0) into 0 0.053 * [backup-simplify]: Simplify 0 into 0 0.053 * [backup-simplify]: Simplify 0 into 0 0.054 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.054 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 y) (* 0 0))) into 0 0.054 * [taylor]: Taking taylor expansion of 0 in y 0.054 * [backup-simplify]: Simplify 0 into 0 0.054 * [backup-simplify]: Simplify 0 into 0 0.055 * [backup-simplify]: Simplify (+ (* 27.0 1) (* 0 0)) into 27.0 0.055 * [backup-simplify]: Simplify 27.0 into 27.0 0.055 * [backup-simplify]: Simplify 0 into 0 0.056 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 0.057 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 0.057 * [taylor]: Taking taylor expansion of 0 in y 0.057 * [backup-simplify]: Simplify 0 into 0 0.057 * [backup-simplify]: Simplify 0 into 0 0.057 * [backup-simplify]: Simplify 0 into 0 0.058 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 1) (* 0 0))) into 0 0.058 * [backup-simplify]: Simplify 0 into 0 0.058 * [backup-simplify]: Simplify 0 into 0 0.059 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.060 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 0.060 * [taylor]: Taking taylor expansion of 0 in y 0.060 * [backup-simplify]: Simplify 0 into 0 0.060 * [backup-simplify]: Simplify 0 into 0 0.060 * [backup-simplify]: Simplify (* 27.0 (* y x)) into (* 27.0 (* x y)) 0.060 * [backup-simplify]: Simplify (* (* (/ 1 x) 27.0) (/ 1 y)) into (/ 27.0 (* x y)) 0.060 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 0.060 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 0.060 * [taylor]: Taking taylor expansion of 27.0 in y 0.060 * [backup-simplify]: Simplify 27.0 into 27.0 0.060 * [taylor]: Taking taylor expansion of (* x y) in y 0.060 * [taylor]: Taking taylor expansion of x in y 0.060 * [backup-simplify]: Simplify x into x 0.060 * [taylor]: Taking taylor expansion of y in y 0.060 * [backup-simplify]: Simplify 0 into 0 0.060 * [backup-simplify]: Simplify 1 into 1 0.060 * [backup-simplify]: Simplify (* x 0) into 0 0.060 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 0.060 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 0.060 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 0.060 * [taylor]: Taking taylor expansion of 27.0 in x 0.061 * [backup-simplify]: Simplify 27.0 into 27.0 0.061 * [taylor]: Taking taylor expansion of (* x y) in x 0.061 * [taylor]: Taking taylor expansion of x in x 0.061 * [backup-simplify]: Simplify 0 into 0 0.061 * [backup-simplify]: Simplify 1 into 1 0.061 * [taylor]: Taking taylor expansion of y in x 0.061 * [backup-simplify]: Simplify y into y 0.061 * [backup-simplify]: Simplify (* 0 y) into 0 0.061 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.061 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 0.061 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 0.061 * [taylor]: Taking taylor expansion of 27.0 in x 0.061 * [backup-simplify]: Simplify 27.0 into 27.0 0.061 * [taylor]: Taking taylor expansion of (* x y) in x 0.061 * [taylor]: Taking taylor expansion of x in x 0.061 * [backup-simplify]: Simplify 0 into 0 0.061 * [backup-simplify]: Simplify 1 into 1 0.061 * [taylor]: Taking taylor expansion of y in x 0.061 * [backup-simplify]: Simplify y into y 0.061 * [backup-simplify]: Simplify (* 0 y) into 0 0.061 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.061 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 0.062 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 0.062 * [taylor]: Taking taylor expansion of 27.0 in y 0.062 * [backup-simplify]: Simplify 27.0 into 27.0 0.062 * [taylor]: Taking taylor expansion of y in y 0.062 * [backup-simplify]: Simplify 0 into 0 0.062 * [backup-simplify]: Simplify 1 into 1 0.062 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 0.062 * [backup-simplify]: Simplify 27.0 into 27.0 0.063 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.063 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 0.063 * [taylor]: Taking taylor expansion of 0 in y 0.063 * [backup-simplify]: Simplify 0 into 0 0.063 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 0.063 * [backup-simplify]: Simplify 0 into 0 0.064 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 0.064 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.064 * [taylor]: Taking taylor expansion of 0 in y 0.064 * [backup-simplify]: Simplify 0 into 0 0.064 * [backup-simplify]: Simplify 0 into 0 0.065 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.065 * [backup-simplify]: Simplify 0 into 0 0.066 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.066 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.066 * [taylor]: Taking taylor expansion of 0 in y 0.066 * [backup-simplify]: Simplify 0 into 0 0.066 * [backup-simplify]: Simplify 0 into 0 0.066 * [backup-simplify]: Simplify 0 into 0 0.067 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.067 * [backup-simplify]: Simplify 0 into 0 0.067 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 27.0 (* x y)) 0.067 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) 27.0) (/ 1 (- y))) into (/ 27.0 (* x y)) 0.067 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 0.067 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 0.067 * [taylor]: Taking taylor expansion of 27.0 in y 0.067 * [backup-simplify]: Simplify 27.0 into 27.0 0.067 * [taylor]: Taking taylor expansion of (* x y) in y 0.067 * [taylor]: Taking taylor expansion of x in y 0.067 * [backup-simplify]: Simplify x into x 0.067 * [taylor]: Taking taylor expansion of y in y 0.067 * [backup-simplify]: Simplify 0 into 0 0.067 * [backup-simplify]: Simplify 1 into 1 0.067 * [backup-simplify]: Simplify (* x 0) into 0 0.067 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 0.067 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 0.067 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 0.067 * [taylor]: Taking taylor expansion of 27.0 in x 0.068 * [backup-simplify]: Simplify 27.0 into 27.0 0.068 * [taylor]: Taking taylor expansion of (* x y) in x 0.068 * [taylor]: Taking taylor expansion of x in x 0.068 * [backup-simplify]: Simplify 0 into 0 0.068 * [backup-simplify]: Simplify 1 into 1 0.068 * [taylor]: Taking taylor expansion of y in x 0.068 * [backup-simplify]: Simplify y into y 0.068 * [backup-simplify]: Simplify (* 0 y) into 0 0.068 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.068 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 0.068 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 0.068 * [taylor]: Taking taylor expansion of 27.0 in x 0.068 * [backup-simplify]: Simplify 27.0 into 27.0 0.068 * [taylor]: Taking taylor expansion of (* x y) in x 0.068 * [taylor]: Taking taylor expansion of x in x 0.068 * [backup-simplify]: Simplify 0 into 0 0.068 * [backup-simplify]: Simplify 1 into 1 0.068 * [taylor]: Taking taylor expansion of y in x 0.068 * [backup-simplify]: Simplify y into y 0.068 * [backup-simplify]: Simplify (* 0 y) into 0 0.068 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.068 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 0.069 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 0.069 * [taylor]: Taking taylor expansion of 27.0 in y 0.069 * [backup-simplify]: Simplify 27.0 into 27.0 0.069 * [taylor]: Taking taylor expansion of y in y 0.069 * [backup-simplify]: Simplify 0 into 0 0.069 * [backup-simplify]: Simplify 1 into 1 0.069 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 0.069 * [backup-simplify]: Simplify 27.0 into 27.0 0.070 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.070 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 0.070 * [taylor]: Taking taylor expansion of 0 in y 0.070 * [backup-simplify]: Simplify 0 into 0 0.070 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 0.070 * [backup-simplify]: Simplify 0 into 0 0.071 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 0.071 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.071 * [taylor]: Taking taylor expansion of 0 in y 0.071 * [backup-simplify]: Simplify 0 into 0 0.071 * [backup-simplify]: Simplify 0 into 0 0.072 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.072 * [backup-simplify]: Simplify 0 into 0 0.073 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.073 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.073 * [taylor]: Taking taylor expansion of 0 in y 0.073 * [backup-simplify]: Simplify 0 into 0 0.073 * [backup-simplify]: Simplify 0 into 0 0.073 * [backup-simplify]: Simplify 0 into 0 0.074 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.074 * [backup-simplify]: Simplify 0 into 0 0.074 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 27.0 (* x y)) 0.074 * * * [progress]: simplifying candidates 0.074 * [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.075 * * [simplify]: Extracting # 0 : cost 0 0.075 * * [simplify]: Extracting # 1 : cost 0 0.075 * * [simplify]: Extracting # 2 : cost 0 0.075 * * [simplify]: Extracting # 3 : cost 0 0.075 * * [simplify]: Extracting # 4 : cost 0 0.075 * * [simplify]: Extracting # 5 : cost 0 0.075 * * [simplify]: Extracting # 6 : cost 0 0.075 * * [simplify]: iteration 0 : 42 enodes (cost 169 ) 0.085 * * [simplify]: Extracting # 0 : cost 0 0.085 * * [simplify]: Extracting # 1 : cost 0 0.085 * * [simplify]: Extracting # 2 : cost 0 0.085 * * [simplify]: iteration 1 : 102 enodes (cost 164 ) 0.133 * * [simplify]: Extracting # 0 : cost 0 0.133 * * [simplify]: Extracting # 1 : cost 0 0.134 * * [simplify]: Extracting # 2 : cost 0 0.134 * * [simplify]: Extracting # 3 : cost 0 0.135 * * [simplify]: Extracting # 4 : cost 0 0.135 * * [simplify]: Extracting # 5 : cost 0 0.136 * * [simplify]: iteration 2 : 406 enodes (cost 134 ) 0.609 * * [simplify]: Extracting # 0 : cost 0 0.612 * * [simplify]: Extracting # 1 : cost 0 0.613 * * [simplify]: Extracting # 2 : cost 0 0.615 * * [simplify]: Extracting # 3 : cost 0 0.617 * * [simplify]: Extracting # 4 : cost 0 0.619 * * [simplify]: iteration 3 : 1360 enodes (cost 134 ) 4.251 * * [simplify]: Extracting # 0 : cost 0 4.258 * * [simplify]: Extracting # 1 : cost 0 4.261 * * [simplify]: Extracting # 2 : cost 0 4.264 * * [simplify]: Extracting # 3 : cost 0 4.267 * * [simplify]: Extracting # 4 : cost 0 4.270 * * [simplify]: iteration 4 : 2741 enodes (cost 134 ) 9.138 * * [simplify]: Extracting # 0 : cost 0 9.143 * * [simplify]: Extracting # 1 : cost 0 9.151 * * [simplify]: Extracting # 2 : cost 0 9.157 * * [simplify]: Extracting # 3 : cost 0 9.164 * * [simplify]: Extracting # 4 : cost 0 9.171 * * [simplify]: iteration done: 5000 enodes (cost 134 ) 9.171 * [simplify]: Simplified to: (expm1 (* (* x 27.0) y)) (log1p (* (* x 27.0) y)) (* 27.0 (* x y)) (* 27.0 (* x y)) (log (* 27.0 (* x y))) (log (* 27.0 (* x y))) (log (* 27.0 (* x y))) (exp (* (* x 27.0) y)) (pow (* 27.0 (* x y)) 3) (pow (* 27.0 (* x y)) 3) (* (cbrt (* (* x 27.0) y)) (cbrt (* (* x 27.0) y))) (cbrt (* (* x 27.0) y)) (pow (* 27.0 (* x y)) 3) (sqrt (* (* x 27.0) y)) (sqrt (* (* x 27.0) y)) (* (* x 27.0) (* (cbrt y) (cbrt y))) (* (* x 27.0) (sqrt y)) (* x 27.0) (* y 27.0) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) 9.171 * * * [progress]: adding candidates to table 9.215 * * [progress]: iteration 2 / 4 9.216 * * * [progress]: picking best candidate 9.224 * * * * [pick]: Picked # 9.224 * * * [progress]: localizing error 9.231 * * * [progress]: generating rewritten candidates 9.231 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 9.261 * * * [progress]: generating series expansions 9.261 * * * * [progress]: [ 1 / 1 ] generating series at (2) 9.261 * [backup-simplify]: Simplify (* 27.0 (* x y)) into (* 27.0 (* x y)) 9.261 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0 9.261 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y 9.261 * [taylor]: Taking taylor expansion of 27.0 in y 9.261 * [backup-simplify]: Simplify 27.0 into 27.0 9.261 * [taylor]: Taking taylor expansion of (* x y) in y 9.261 * [taylor]: Taking taylor expansion of x in y 9.261 * [backup-simplify]: Simplify x into x 9.261 * [taylor]: Taking taylor expansion of y in y 9.261 * [backup-simplify]: Simplify 0 into 0 9.261 * [backup-simplify]: Simplify 1 into 1 9.261 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 9.261 * [taylor]: Taking taylor expansion of 27.0 in x 9.261 * [backup-simplify]: Simplify 27.0 into 27.0 9.262 * [taylor]: Taking taylor expansion of (* x y) in x 9.262 * [taylor]: Taking taylor expansion of x in x 9.262 * [backup-simplify]: Simplify 0 into 0 9.262 * [backup-simplify]: Simplify 1 into 1 9.262 * [taylor]: Taking taylor expansion of y in x 9.262 * [backup-simplify]: Simplify y into y 9.262 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 9.262 * [taylor]: Taking taylor expansion of 27.0 in x 9.262 * [backup-simplify]: Simplify 27.0 into 27.0 9.262 * [taylor]: Taking taylor expansion of (* x y) in x 9.262 * [taylor]: Taking taylor expansion of x in x 9.262 * [backup-simplify]: Simplify 0 into 0 9.262 * [backup-simplify]: Simplify 1 into 1 9.262 * [taylor]: Taking taylor expansion of y in x 9.262 * [backup-simplify]: Simplify y into y 9.262 * [backup-simplify]: Simplify (* 0 y) into 0 9.263 * [backup-simplify]: Simplify (* 27.0 0) into 0 9.263 * [taylor]: Taking taylor expansion of 0 in y 9.263 * [backup-simplify]: Simplify 0 into 0 9.263 * [backup-simplify]: Simplify 0 into 0 9.263 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 9.264 * [backup-simplify]: Simplify (+ (* 27.0 y) (* 0 0)) into (* 27.0 y) 9.264 * [taylor]: Taking taylor expansion of (* 27.0 y) in y 9.264 * [taylor]: Taking taylor expansion of 27.0 in y 9.264 * [backup-simplify]: Simplify 27.0 into 27.0 9.264 * [taylor]: Taking taylor expansion of y in y 9.264 * [backup-simplify]: Simplify 0 into 0 9.264 * [backup-simplify]: Simplify 1 into 1 9.264 * [backup-simplify]: Simplify (* 27.0 0) into 0 9.264 * [backup-simplify]: Simplify 0 into 0 9.264 * [backup-simplify]: Simplify 0 into 0 9.265 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 9.266 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 y) (* 0 0))) into 0 9.266 * [taylor]: Taking taylor expansion of 0 in y 9.266 * [backup-simplify]: Simplify 0 into 0 9.266 * [backup-simplify]: Simplify 0 into 0 9.268 * [backup-simplify]: Simplify (+ (* 27.0 1) (* 0 0)) into 27.0 9.268 * [backup-simplify]: Simplify 27.0 into 27.0 9.268 * [backup-simplify]: Simplify 0 into 0 9.269 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 9.271 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 9.271 * [taylor]: Taking taylor expansion of 0 in y 9.271 * [backup-simplify]: Simplify 0 into 0 9.271 * [backup-simplify]: Simplify 0 into 0 9.271 * [backup-simplify]: Simplify 0 into 0 9.272 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 1) (* 0 0))) into 0 9.272 * [backup-simplify]: Simplify 0 into 0 9.272 * [backup-simplify]: Simplify 0 into 0 9.273 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 9.275 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 9.275 * [taylor]: Taking taylor expansion of 0 in y 9.275 * [backup-simplify]: Simplify 0 into 0 9.275 * [backup-simplify]: Simplify 0 into 0 9.275 * [backup-simplify]: Simplify (* 27.0 (* y x)) into (* 27.0 (* x y)) 9.275 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 x) (/ 1 y))) into (/ 27.0 (* x y)) 9.275 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 9.275 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 9.275 * [taylor]: Taking taylor expansion of 27.0 in y 9.275 * [backup-simplify]: Simplify 27.0 into 27.0 9.275 * [taylor]: Taking taylor expansion of (* x y) in y 9.275 * [taylor]: Taking taylor expansion of x in y 9.275 * [backup-simplify]: Simplify x into x 9.275 * [taylor]: Taking taylor expansion of y in y 9.275 * [backup-simplify]: Simplify 0 into 0 9.275 * [backup-simplify]: Simplify 1 into 1 9.275 * [backup-simplify]: Simplify (* x 0) into 0 9.276 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 9.276 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 9.276 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 9.276 * [taylor]: Taking taylor expansion of 27.0 in x 9.276 * [backup-simplify]: Simplify 27.0 into 27.0 9.276 * [taylor]: Taking taylor expansion of (* x y) in x 9.276 * [taylor]: Taking taylor expansion of x in x 9.276 * [backup-simplify]: Simplify 0 into 0 9.276 * [backup-simplify]: Simplify 1 into 1 9.276 * [taylor]: Taking taylor expansion of y in x 9.276 * [backup-simplify]: Simplify y into y 9.276 * [backup-simplify]: Simplify (* 0 y) into 0 9.277 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 9.277 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 9.277 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 9.277 * [taylor]: Taking taylor expansion of 27.0 in x 9.277 * [backup-simplify]: Simplify 27.0 into 27.0 9.277 * [taylor]: Taking taylor expansion of (* x y) in x 9.277 * [taylor]: Taking taylor expansion of x in x 9.277 * [backup-simplify]: Simplify 0 into 0 9.277 * [backup-simplify]: Simplify 1 into 1 9.277 * [taylor]: Taking taylor expansion of y in x 9.277 * [backup-simplify]: Simplify y into y 9.277 * [backup-simplify]: Simplify (* 0 y) into 0 9.282 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 9.282 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 9.282 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 9.282 * [taylor]: Taking taylor expansion of 27.0 in y 9.282 * [backup-simplify]: Simplify 27.0 into 27.0 9.282 * [taylor]: Taking taylor expansion of y in y 9.282 * [backup-simplify]: Simplify 0 into 0 9.282 * [backup-simplify]: Simplify 1 into 1 9.283 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 9.283 * [backup-simplify]: Simplify 27.0 into 27.0 9.284 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 9.284 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 9.284 * [taylor]: Taking taylor expansion of 0 in y 9.284 * [backup-simplify]: Simplify 0 into 0 9.285 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 9.285 * [backup-simplify]: Simplify 0 into 0 9.286 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 9.286 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.286 * [taylor]: Taking taylor expansion of 0 in y 9.286 * [backup-simplify]: Simplify 0 into 0 9.286 * [backup-simplify]: Simplify 0 into 0 9.287 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.287 * [backup-simplify]: Simplify 0 into 0 9.289 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 9.289 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.289 * [taylor]: Taking taylor expansion of 0 in y 9.289 * [backup-simplify]: Simplify 0 into 0 9.289 * [backup-simplify]: Simplify 0 into 0 9.289 * [backup-simplify]: Simplify 0 into 0 9.290 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.290 * [backup-simplify]: Simplify 0 into 0 9.290 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 27.0 (* x y)) 9.291 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (- x)) (/ 1 (- y)))) into (/ 27.0 (* x y)) 9.291 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 9.291 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 9.291 * [taylor]: Taking taylor expansion of 27.0 in y 9.291 * [backup-simplify]: Simplify 27.0 into 27.0 9.291 * [taylor]: Taking taylor expansion of (* x y) in y 9.291 * [taylor]: Taking taylor expansion of x in y 9.291 * [backup-simplify]: Simplify x into x 9.291 * [taylor]: Taking taylor expansion of y in y 9.291 * [backup-simplify]: Simplify 0 into 0 9.291 * [backup-simplify]: Simplify 1 into 1 9.291 * [backup-simplify]: Simplify (* x 0) into 0 9.291 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 9.291 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 9.291 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 9.291 * [taylor]: Taking taylor expansion of 27.0 in x 9.292 * [backup-simplify]: Simplify 27.0 into 27.0 9.292 * [taylor]: Taking taylor expansion of (* x y) in x 9.292 * [taylor]: Taking taylor expansion of x in x 9.292 * [backup-simplify]: Simplify 0 into 0 9.292 * [backup-simplify]: Simplify 1 into 1 9.292 * [taylor]: Taking taylor expansion of y in x 9.292 * [backup-simplify]: Simplify y into y 9.292 * [backup-simplify]: Simplify (* 0 y) into 0 9.292 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 9.292 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 9.292 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 9.292 * [taylor]: Taking taylor expansion of 27.0 in x 9.292 * [backup-simplify]: Simplify 27.0 into 27.0 9.292 * [taylor]: Taking taylor expansion of (* x y) in x 9.292 * [taylor]: Taking taylor expansion of x in x 9.292 * [backup-simplify]: Simplify 0 into 0 9.292 * [backup-simplify]: Simplify 1 into 1 9.292 * [taylor]: Taking taylor expansion of y in x 9.292 * [backup-simplify]: Simplify y into y 9.292 * [backup-simplify]: Simplify (* 0 y) into 0 9.293 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 9.293 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 9.293 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 9.293 * [taylor]: Taking taylor expansion of 27.0 in y 9.293 * [backup-simplify]: Simplify 27.0 into 27.0 9.293 * [taylor]: Taking taylor expansion of y in y 9.293 * [backup-simplify]: Simplify 0 into 0 9.293 * [backup-simplify]: Simplify 1 into 1 9.294 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 9.294 * [backup-simplify]: Simplify 27.0 into 27.0 9.295 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 9.295 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 9.295 * [taylor]: Taking taylor expansion of 0 in y 9.295 * [backup-simplify]: Simplify 0 into 0 9.296 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 9.296 * [backup-simplify]: Simplify 0 into 0 9.297 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 9.297 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.297 * [taylor]: Taking taylor expansion of 0 in y 9.297 * [backup-simplify]: Simplify 0 into 0 9.297 * [backup-simplify]: Simplify 0 into 0 9.298 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.298 * [backup-simplify]: Simplify 0 into 0 9.300 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 9.300 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.300 * [taylor]: Taking taylor expansion of 0 in y 9.300 * [backup-simplify]: Simplify 0 into 0 9.300 * [backup-simplify]: Simplify 0 into 0 9.300 * [backup-simplify]: Simplify 0 into 0 9.301 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.301 * [backup-simplify]: Simplify 0 into 0 9.302 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 27.0 (* x y)) 9.302 * * * [progress]: simplifying candidates 9.302 * [simplify]: Simplifying: (expm1 (* 27.0 (* x y))) (log1p (* 27.0 (* x y))) (* 27.0 (* x y)) (* 27.0 (* x y)) (+ (log 27.0) (+ (log x) (log y))) (+ (log 27.0) (log (* x y))) (log (* 27.0 (* x y))) (exp (* 27.0 (* x y))) (* (* (* 27.0 27.0) 27.0) (* (* (* x x) x) (* (* y y) y))) (* (* (* 27.0 27.0) 27.0) (* (* (* x y) (* x y)) (* x y))) (* (cbrt (* 27.0 (* x y))) (cbrt (* 27.0 (* x y)))) (cbrt (* 27.0 (* x y))) (* (* (* 27.0 (* x y)) (* 27.0 (* x y))) (* 27.0 (* x y))) (sqrt (* 27.0 (* x y))) (sqrt (* 27.0 (* x y))) (* 27.0 x) (* (cbrt 27.0) (* x y)) (* (sqrt 27.0) (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) 9.303 * * [simplify]: Extracting # 0 : cost 0 9.303 * * [simplify]: Extracting # 1 : cost 0 9.303 * * [simplify]: Extracting # 2 : cost 0 9.303 * * [simplify]: Extracting # 3 : cost 0 9.303 * * [simplify]: Extracting # 4 : cost 0 9.304 * * [simplify]: Extracting # 5 : cost 0 9.304 * * [simplify]: Extracting # 6 : cost 0 9.304 * * [simplify]: Extracting # 7 : cost 0 9.304 * * [simplify]: iteration 0 : 37 enodes (cost 166 ) 9.320 * * [simplify]: Extracting # 0 : cost 0 9.321 * * [simplify]: Extracting # 1 : cost 0 9.321 * * [simplify]: Extracting # 2 : cost 0 9.321 * * [simplify]: iteration 1 : 87 enodes (cost 163 ) 9.374 * * [simplify]: Extracting # 0 : cost 0 9.374 * * [simplify]: Extracting # 1 : cost 0 9.375 * * [simplify]: Extracting # 2 : cost 0 9.375 * * [simplify]: Extracting # 3 : cost 0 9.376 * * [simplify]: Extracting # 4 : cost 0 9.376 * * [simplify]: Extracting # 5 : cost 0 9.377 * * [simplify]: iteration 2 : 300 enodes (cost 133 ) 9.668 * * [simplify]: Extracting # 0 : cost 0 9.669 * * [simplify]: Extracting # 1 : cost 0 9.670 * * [simplify]: Extracting # 2 : cost 0 9.671 * * [simplify]: Extracting # 3 : cost 0 9.672 * * [simplify]: Extracting # 4 : cost 0 9.672 * * [simplify]: iteration 3 : 1003 enodes (cost 133 ) 11.455 * * [simplify]: Extracting # 0 : cost 0 11.460 * * [simplify]: Extracting # 1 : cost 0 11.462 * * [simplify]: Extracting # 2 : cost 0 11.464 * * [simplify]: Extracting # 3 : cost 0 11.471 * * [simplify]: Extracting # 4 : cost 0 11.473 * * [simplify]: iteration 4 : 2173 enodes (cost 133 ) 15.774 * * [simplify]: Extracting # 0 : cost 0 15.779 * * [simplify]: Extracting # 1 : cost 0 15.783 * * [simplify]: Extracting # 2 : cost 0 15.788 * * [simplify]: Extracting # 3 : cost 0 15.792 * * [simplify]: Extracting # 4 : cost 0 15.796 * * [simplify]: Extracting # 5 : cost 0 15.801 * * [simplify]: iteration 5 : 4443 enodes (cost 133 ) 17.196 * * [simplify]: Extracting # 0 : cost 0 17.206 * * [simplify]: Extracting # 1 : cost 0 17.211 * * [simplify]: Extracting # 2 : cost 0 17.216 * * [simplify]: iteration done: 5001 enodes (cost 133 ) 17.216 * [simplify]: Simplified to: (expm1 (* 27.0 (* x y))) (log1p (* 27.0 (* x y))) (* 27.0 (* x y)) (* 27.0 (* x y)) (log (* 27.0 (* x y))) (log (* 27.0 (* x y))) (log (* 27.0 (* x y))) (exp (* 27.0 (* x y))) (pow (* 27.0 (* x y)) 3) (pow (* 27.0 (* x y)) 3) (* (cbrt (* 27.0 (* x y))) (cbrt (* 27.0 (* x y)))) (cbrt (* 27.0 (* x y))) (pow (* 27.0 (* x y)) 3) (sqrt (* 27.0 (* x y))) (sqrt (* 27.0 (* x y))) (* 27.0 x) (* (cbrt 27.0) (* x y)) (* (sqrt 27.0) (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) 17.217 * * * [progress]: adding candidates to table 17.246 * * [progress]: iteration 3 / 4 17.246 * * * [progress]: picking best candidate 17.256 * * * * [pick]: Picked # 17.256 * * * [progress]: localizing error 17.264 * * * [progress]: generating rewritten candidates 17.264 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 17.304 * * * [progress]: generating series expansions 17.304 * * * * [progress]: [ 1 / 1 ] generating series at (2) 17.304 * [backup-simplify]: Simplify (* x (* y 27.0)) into (* 27.0 (* x y)) 17.304 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0 17.304 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y 17.304 * [taylor]: Taking taylor expansion of 27.0 in y 17.304 * [backup-simplify]: Simplify 27.0 into 27.0 17.304 * [taylor]: Taking taylor expansion of (* x y) in y 17.304 * [taylor]: Taking taylor expansion of x in y 17.304 * [backup-simplify]: Simplify x into x 17.304 * [taylor]: Taking taylor expansion of y in y 17.304 * [backup-simplify]: Simplify 0 into 0 17.304 * [backup-simplify]: Simplify 1 into 1 17.305 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 17.305 * [taylor]: Taking taylor expansion of 27.0 in x 17.305 * [backup-simplify]: Simplify 27.0 into 27.0 17.305 * [taylor]: Taking taylor expansion of (* x y) in x 17.305 * [taylor]: Taking taylor expansion of x in x 17.305 * [backup-simplify]: Simplify 0 into 0 17.305 * [backup-simplify]: Simplify 1 into 1 17.305 * [taylor]: Taking taylor expansion of y in x 17.305 * [backup-simplify]: Simplify y into y 17.305 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 17.305 * [taylor]: Taking taylor expansion of 27.0 in x 17.305 * [backup-simplify]: Simplify 27.0 into 27.0 17.305 * [taylor]: Taking taylor expansion of (* x y) in x 17.305 * [taylor]: Taking taylor expansion of x in x 17.305 * [backup-simplify]: Simplify 0 into 0 17.305 * [backup-simplify]: Simplify 1 into 1 17.305 * [taylor]: Taking taylor expansion of y in x 17.305 * [backup-simplify]: Simplify y into y 17.305 * [backup-simplify]: Simplify (* 0 y) into 0 17.306 * [backup-simplify]: Simplify (* 27.0 0) into 0 17.306 * [taylor]: Taking taylor expansion of 0 in y 17.306 * [backup-simplify]: Simplify 0 into 0 17.306 * [backup-simplify]: Simplify 0 into 0 17.307 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.307 * [backup-simplify]: Simplify (+ (* 27.0 y) (* 0 0)) into (* 27.0 y) 17.307 * [taylor]: Taking taylor expansion of (* 27.0 y) in y 17.307 * [taylor]: Taking taylor expansion of 27.0 in y 17.307 * [backup-simplify]: Simplify 27.0 into 27.0 17.307 * [taylor]: Taking taylor expansion of y in y 17.307 * [backup-simplify]: Simplify 0 into 0 17.307 * [backup-simplify]: Simplify 1 into 1 17.308 * [backup-simplify]: Simplify (* 27.0 0) into 0 17.308 * [backup-simplify]: Simplify 0 into 0 17.308 * [backup-simplify]: Simplify 0 into 0 17.309 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 17.310 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 y) (* 0 0))) into 0 17.310 * [taylor]: Taking taylor expansion of 0 in y 17.310 * [backup-simplify]: Simplify 0 into 0 17.310 * [backup-simplify]: Simplify 0 into 0 17.311 * [backup-simplify]: Simplify (+ (* 27.0 1) (* 0 0)) into 27.0 17.311 * [backup-simplify]: Simplify 27.0 into 27.0 17.311 * [backup-simplify]: Simplify 0 into 0 17.313 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 17.314 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 17.314 * [taylor]: Taking taylor expansion of 0 in y 17.314 * [backup-simplify]: Simplify 0 into 0 17.314 * [backup-simplify]: Simplify 0 into 0 17.314 * [backup-simplify]: Simplify 0 into 0 17.315 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 1) (* 0 0))) into 0 17.315 * [backup-simplify]: Simplify 0 into 0 17.315 * [backup-simplify]: Simplify 0 into 0 17.317 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 17.318 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 17.318 * [taylor]: Taking taylor expansion of 0 in y 17.318 * [backup-simplify]: Simplify 0 into 0 17.318 * [backup-simplify]: Simplify 0 into 0 17.318 * [backup-simplify]: Simplify (* 27.0 (* y x)) into (* 27.0 (* x y)) 17.319 * [backup-simplify]: Simplify (* (/ 1 x) (* (/ 1 y) 27.0)) into (/ 27.0 (* x y)) 17.319 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 17.319 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 17.319 * [taylor]: Taking taylor expansion of 27.0 in y 17.319 * [backup-simplify]: Simplify 27.0 into 27.0 17.319 * [taylor]: Taking taylor expansion of (* x y) in y 17.319 * [taylor]: Taking taylor expansion of x in y 17.319 * [backup-simplify]: Simplify x into x 17.319 * [taylor]: Taking taylor expansion of y in y 17.319 * [backup-simplify]: Simplify 0 into 0 17.319 * [backup-simplify]: Simplify 1 into 1 17.319 * [backup-simplify]: Simplify (* x 0) into 0 17.319 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 17.320 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 17.320 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 17.320 * [taylor]: Taking taylor expansion of 27.0 in x 17.320 * [backup-simplify]: Simplify 27.0 into 27.0 17.320 * [taylor]: Taking taylor expansion of (* x y) in x 17.320 * [taylor]: Taking taylor expansion of x in x 17.320 * [backup-simplify]: Simplify 0 into 0 17.320 * [backup-simplify]: Simplify 1 into 1 17.320 * [taylor]: Taking taylor expansion of y in x 17.320 * [backup-simplify]: Simplify y into y 17.320 * [backup-simplify]: Simplify (* 0 y) into 0 17.321 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.321 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 17.321 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 17.321 * [taylor]: Taking taylor expansion of 27.0 in x 17.321 * [backup-simplify]: Simplify 27.0 into 27.0 17.321 * [taylor]: Taking taylor expansion of (* x y) in x 17.321 * [taylor]: Taking taylor expansion of x in x 17.321 * [backup-simplify]: Simplify 0 into 0 17.321 * [backup-simplify]: Simplify 1 into 1 17.321 * [taylor]: Taking taylor expansion of y in x 17.321 * [backup-simplify]: Simplify y into y 17.321 * [backup-simplify]: Simplify (* 0 y) into 0 17.322 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.322 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 17.322 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 17.322 * [taylor]: Taking taylor expansion of 27.0 in y 17.322 * [backup-simplify]: Simplify 27.0 into 27.0 17.322 * [taylor]: Taking taylor expansion of y in y 17.322 * [backup-simplify]: Simplify 0 into 0 17.322 * [backup-simplify]: Simplify 1 into 1 17.322 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 17.322 * [backup-simplify]: Simplify 27.0 into 27.0 17.323 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 17.323 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 17.323 * [taylor]: Taking taylor expansion of 0 in y 17.324 * [backup-simplify]: Simplify 0 into 0 17.324 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 17.324 * [backup-simplify]: Simplify 0 into 0 17.326 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 17.326 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.326 * [taylor]: Taking taylor expansion of 0 in y 17.326 * [backup-simplify]: Simplify 0 into 0 17.326 * [backup-simplify]: Simplify 0 into 0 17.327 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.327 * [backup-simplify]: Simplify 0 into 0 17.329 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 17.329 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.329 * [taylor]: Taking taylor expansion of 0 in y 17.329 * [backup-simplify]: Simplify 0 into 0 17.329 * [backup-simplify]: Simplify 0 into 0 17.329 * [backup-simplify]: Simplify 0 into 0 17.330 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.330 * [backup-simplify]: Simplify 0 into 0 17.331 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 27.0 (* x y)) 17.331 * [backup-simplify]: Simplify (* (/ 1 (- x)) (* (/ 1 (- y)) 27.0)) into (/ 27.0 (* x y)) 17.331 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 17.331 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 17.331 * [taylor]: Taking taylor expansion of 27.0 in y 17.331 * [backup-simplify]: Simplify 27.0 into 27.0 17.331 * [taylor]: Taking taylor expansion of (* x y) in y 17.331 * [taylor]: Taking taylor expansion of x in y 17.331 * [backup-simplify]: Simplify x into x 17.331 * [taylor]: Taking taylor expansion of y in y 17.331 * [backup-simplify]: Simplify 0 into 0 17.331 * [backup-simplify]: Simplify 1 into 1 17.331 * [backup-simplify]: Simplify (* x 0) into 0 17.332 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 17.332 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 17.332 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 17.332 * [taylor]: Taking taylor expansion of 27.0 in x 17.332 * [backup-simplify]: Simplify 27.0 into 27.0 17.332 * [taylor]: Taking taylor expansion of (* x y) in x 17.332 * [taylor]: Taking taylor expansion of x in x 17.332 * [backup-simplify]: Simplify 0 into 0 17.332 * [backup-simplify]: Simplify 1 into 1 17.332 * [taylor]: Taking taylor expansion of y in x 17.332 * [backup-simplify]: Simplify y into y 17.332 * [backup-simplify]: Simplify (* 0 y) into 0 17.332 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.332 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 17.333 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 17.333 * [taylor]: Taking taylor expansion of 27.0 in x 17.333 * [backup-simplify]: Simplify 27.0 into 27.0 17.333 * [taylor]: Taking taylor expansion of (* x y) in x 17.333 * [taylor]: Taking taylor expansion of x in x 17.333 * [backup-simplify]: Simplify 0 into 0 17.333 * [backup-simplify]: Simplify 1 into 1 17.333 * [taylor]: Taking taylor expansion of y in x 17.333 * [backup-simplify]: Simplify y into y 17.333 * [backup-simplify]: Simplify (* 0 y) into 0 17.333 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.333 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 17.333 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 17.333 * [taylor]: Taking taylor expansion of 27.0 in y 17.334 * [backup-simplify]: Simplify 27.0 into 27.0 17.334 * [taylor]: Taking taylor expansion of y in y 17.334 * [backup-simplify]: Simplify 0 into 0 17.334 * [backup-simplify]: Simplify 1 into 1 17.334 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 17.334 * [backup-simplify]: Simplify 27.0 into 27.0 17.335 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 17.335 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 17.335 * [taylor]: Taking taylor expansion of 0 in y 17.335 * [backup-simplify]: Simplify 0 into 0 17.335 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 17.335 * [backup-simplify]: Simplify 0 into 0 17.336 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 17.336 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.336 * [taylor]: Taking taylor expansion of 0 in y 17.336 * [backup-simplify]: Simplify 0 into 0 17.336 * [backup-simplify]: Simplify 0 into 0 17.337 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.337 * [backup-simplify]: Simplify 0 into 0 17.338 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 17.338 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.338 * [taylor]: Taking taylor expansion of 0 in y 17.338 * [backup-simplify]: Simplify 0 into 0 17.338 * [backup-simplify]: Simplify 0 into 0 17.338 * [backup-simplify]: Simplify 0 into 0 17.339 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.339 * [backup-simplify]: Simplify 0 into 0 17.339 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 27.0 (* x y)) 17.339 * * * [progress]: simplifying candidates 17.339 * [simplify]: Simplifying: (expm1 (* x (* y 27.0))) (log1p (* x (* y 27.0))) (* x (* y 27.0)) (* x (* y 27.0)) (+ (log x) (+ (log y) (log 27.0))) (+ (log x) (log (* y 27.0))) (log (* x (* y 27.0))) (exp (* x (* y 27.0))) (* (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0))) (* (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* y 27.0))) (* (cbrt (* x (* y 27.0))) (cbrt (* x (* y 27.0)))) (cbrt (* x (* y 27.0))) (* (* (* x (* y 27.0)) (* x (* y 27.0))) (* x (* y 27.0))) (sqrt (* x (* y 27.0))) (sqrt (* x (* y 27.0))) (* x y) (* (cbrt x) (* y 27.0)) (* (sqrt x) (* y 27.0)) (* x (* y 27.0)) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) 17.340 * * [simplify]: Extracting # 0 : cost 0 17.340 * * [simplify]: Extracting # 1 : cost 0 17.340 * * [simplify]: Extracting # 2 : cost 0 17.340 * * [simplify]: Extracting # 3 : cost 0 17.340 * * [simplify]: Extracting # 4 : cost 0 17.340 * * [simplify]: Extracting # 5 : cost 0 17.340 * * [simplify]: Extracting # 6 : cost 0 17.340 * * [simplify]: Extracting # 7 : cost 0 17.340 * * [simplify]: iteration 0 : 38 enodes (cost 166 ) 17.348 * * [simplify]: Extracting # 0 : cost 0 17.348 * * [simplify]: Extracting # 1 : cost 0 17.349 * * [simplify]: Extracting # 2 : cost 0 17.349 * * [simplify]: iteration 1 : 90 enodes (cost 163 ) 17.382 * * [simplify]: Extracting # 0 : cost 0 17.383 * * [simplify]: Extracting # 1 : cost 0 17.383 * * [simplify]: Extracting # 2 : cost 0 17.384 * * [simplify]: Extracting # 3 : cost 0 17.384 * * [simplify]: Extracting # 4 : cost 0 17.384 * * [simplify]: Extracting # 5 : cost 0 17.384 * * [simplify]: Extracting # 6 : cost 0 17.385 * * [simplify]: iteration 2 : 337 enodes (cost 133 ) 17.770 * * [simplify]: Extracting # 0 : cost 0 17.771 * * [simplify]: Extracting # 1 : cost 0 17.776 * * [simplify]: Extracting # 2 : cost 0 17.777 * * [simplify]: Extracting # 3 : cost 0 17.778 * * [simplify]: Extracting # 4 : cost 0 17.779 * * [simplify]: iteration 3 : 1158 enodes (cost 133 ) 19.801 * * [simplify]: Extracting # 0 : cost 0 19.805 * * [simplify]: Extracting # 1 : cost 0 19.806 * * [simplify]: Extracting # 2 : cost 0 19.808 * * [simplify]: Extracting # 3 : cost 0 19.809 * * [simplify]: Extracting # 4 : cost 0 19.810 * * [simplify]: Extracting # 5 : cost 0 19.812 * * [simplify]: iteration 4 : 2099 enodes (cost 133 ) 25.093 * * [simplify]: Extracting # 0 : cost 0 25.097 * * [simplify]: Extracting # 1 : cost 0 25.100 * * [simplify]: Extracting # 2 : cost 0 25.104 * * [simplify]: Extracting # 3 : cost 0 25.107 * * [simplify]: Extracting # 4 : cost 0 25.111 * * [simplify]: iteration 5 : 4398 enodes (cost 133 ) 26.688 * * [simplify]: Extracting # 0 : cost 0 26.692 * * [simplify]: Extracting # 1 : cost 0 26.696 * * [simplify]: Extracting # 2 : cost 0 26.703 * * [simplify]: iteration done: 5000 enodes (cost 133 ) 26.704 * [simplify]: Simplified to: (expm1 (* x (* y 27.0))) (log1p (* x (* y 27.0))) (* x (* y 27.0)) (* x (* y 27.0)) (log (* x (* y 27.0))) (log (* x (* y 27.0))) (log (* x (* y 27.0))) (exp (* x (* y 27.0))) (pow (* x (* y 27.0)) 3) (pow (* x (* y 27.0)) 3) (* (cbrt (* x (* y 27.0))) (cbrt (* x (* y 27.0)))) (cbrt (* x (* y 27.0))) (pow (* x (* y 27.0)) 3) (sqrt (* x (* y 27.0))) (sqrt (* x (* y 27.0))) (* x y) (* (cbrt x) (* y 27.0)) (* (sqrt x) (* y 27.0)) (* x (* y 27.0)) (* x (* y 27.0)) (* x (* y 27.0)) (* x (* y 27.0)) 26.704 * * * [progress]: adding candidates to table 26.761 * * [progress]: iteration 4 / 4 26.761 * * * [progress]: picking best candidate 26.766 * * * * [pick]: Picked # 26.766 * * * [progress]: localizing error 26.773 * * * [progress]: generating rewritten candidates 26.773 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 26.859 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 26.884 * * * [progress]: generating series expansions 26.884 * * * * [progress]: [ 1 / 2 ] generating series at (2) 26.885 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) into (* (pow (sqrt 27.0) 2) (* x y)) 26.886 * [approximate]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0 26.886 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* x y)) in y 26.886 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 26.886 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 26.886 * [taylor]: Taking taylor expansion of 27.0 in y 26.886 * [backup-simplify]: Simplify 27.0 into 27.0 26.886 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 26.886 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 26.886 * [taylor]: Taking taylor expansion of (* x y) in y 26.887 * [taylor]: Taking taylor expansion of x in y 26.887 * [backup-simplify]: Simplify x into x 26.887 * [taylor]: Taking taylor expansion of y in y 26.887 * [backup-simplify]: Simplify 0 into 0 26.887 * [backup-simplify]: Simplify 1 into 1 26.887 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* x y)) in x 26.887 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 26.887 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 26.887 * [taylor]: Taking taylor expansion of 27.0 in x 26.887 * [backup-simplify]: Simplify 27.0 into 27.0 26.887 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 26.887 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 26.887 * [taylor]: Taking taylor expansion of (* x y) in x 26.887 * [taylor]: Taking taylor expansion of x in x 26.887 * [backup-simplify]: Simplify 0 into 0 26.888 * [backup-simplify]: Simplify 1 into 1 26.888 * [taylor]: Taking taylor expansion of y in x 26.888 * [backup-simplify]: Simplify y into y 26.888 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* x y)) in x 26.888 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 26.888 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 26.888 * [taylor]: Taking taylor expansion of 27.0 in x 26.888 * [backup-simplify]: Simplify 27.0 into 27.0 26.888 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 26.888 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 26.888 * [taylor]: Taking taylor expansion of (* x y) in x 26.888 * [taylor]: Taking taylor expansion of x in x 26.888 * [backup-simplify]: Simplify 0 into 0 26.888 * [backup-simplify]: Simplify 1 into 1 26.889 * [taylor]: Taking taylor expansion of y in x 26.889 * [backup-simplify]: Simplify y into y 26.889 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 26.889 * [backup-simplify]: Simplify (* 0 y) into 0 26.890 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) 0) into 0 26.890 * [taylor]: Taking taylor expansion of 0 in y 26.890 * [backup-simplify]: Simplify 0 into 0 26.890 * [backup-simplify]: Simplify 0 into 0 26.890 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 26.891 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 26.892 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) y) (* 0 0)) into (* (pow (sqrt 27.0) 2) y) 26.892 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) y) in y 26.892 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 26.892 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 26.892 * [taylor]: Taking taylor expansion of 27.0 in y 26.892 * [backup-simplify]: Simplify 27.0 into 27.0 26.892 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 26.893 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 26.893 * [taylor]: Taking taylor expansion of y in y 26.893 * [backup-simplify]: Simplify 0 into 0 26.893 * [backup-simplify]: Simplify 1 into 1 26.893 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 26.894 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) 0) into 0 26.894 * [backup-simplify]: Simplify 0 into 0 26.894 * [backup-simplify]: Simplify 0 into 0 26.894 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 26.895 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 26.896 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 26.896 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 0) (+ (* 0 y) (* 0 0))) into 0 26.897 * [taylor]: Taking taylor expansion of 0 in y 26.897 * [backup-simplify]: Simplify 0 into 0 26.897 * [backup-simplify]: Simplify 0 into 0 26.897 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 26.899 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 1) (* 0 0)) into (pow (sqrt 27.0) 2) 26.900 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2) 26.900 * [backup-simplify]: Simplify 0 into 0 26.900 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 26.901 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 26.902 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 26.903 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 26.903 * [taylor]: Taking taylor expansion of 0 in y 26.903 * [backup-simplify]: Simplify 0 into 0 26.903 * [backup-simplify]: Simplify 0 into 0 26.903 * [backup-simplify]: Simplify 0 into 0 26.904 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 26.904 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 26.905 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 0) (+ (* 0 1) (* 0 0))) into 0 26.905 * [backup-simplify]: Simplify 0 into 0 26.905 * [backup-simplify]: Simplify 0 into 0 26.906 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 26.908 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 26.909 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0)))))) into 0 26.911 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 26.911 * [taylor]: Taking taylor expansion of 0 in y 26.911 * [backup-simplify]: Simplify 0 into 0 26.911 * [backup-simplify]: Simplify 0 into 0 26.913 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* y x)) into (* (pow (sqrt 27.0) 2) (* x y)) 26.914 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (sqrt 27.0) (* (/ 1 x) (/ 1 y)))) into (/ (pow (sqrt 27.0) 2) (* x y)) 26.914 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0 26.914 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in y 26.914 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 26.914 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 26.914 * [taylor]: Taking taylor expansion of 27.0 in y 26.914 * [backup-simplify]: Simplify 27.0 into 27.0 26.914 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 26.915 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 26.915 * [taylor]: Taking taylor expansion of (* x y) in y 26.915 * [taylor]: Taking taylor expansion of x in y 26.915 * [backup-simplify]: Simplify x into x 26.915 * [taylor]: Taking taylor expansion of y in y 26.915 * [backup-simplify]: Simplify 0 into 0 26.915 * [backup-simplify]: Simplify 1 into 1 26.916 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 26.917 * [backup-simplify]: Simplify (* x 0) into 0 26.917 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 26.918 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) x) into (/ (pow (sqrt 27.0) 2) x) 26.919 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 26.919 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 26.919 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 26.919 * [taylor]: Taking taylor expansion of 27.0 in x 26.919 * [backup-simplify]: Simplify 27.0 into 27.0 26.919 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 26.920 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 26.920 * [taylor]: Taking taylor expansion of (* x y) in x 26.920 * [taylor]: Taking taylor expansion of x in x 26.920 * [backup-simplify]: Simplify 0 into 0 26.920 * [backup-simplify]: Simplify 1 into 1 26.920 * [taylor]: Taking taylor expansion of y in x 26.920 * [backup-simplify]: Simplify y into y 26.921 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 26.922 * [backup-simplify]: Simplify (* 0 y) into 0 26.922 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 26.923 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 26.923 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 26.923 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 26.923 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 26.923 * [taylor]: Taking taylor expansion of 27.0 in x 26.923 * [backup-simplify]: Simplify 27.0 into 27.0 26.924 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 26.925 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 26.925 * [taylor]: Taking taylor expansion of (* x y) in x 26.925 * [taylor]: Taking taylor expansion of x in x 26.925 * [backup-simplify]: Simplify 0 into 0 26.925 * [backup-simplify]: Simplify 1 into 1 26.925 * [taylor]: Taking taylor expansion of y in x 26.925 * [backup-simplify]: Simplify y into y 26.926 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 26.926 * [backup-simplify]: Simplify (* 0 y) into 0 26.927 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 26.928 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 26.928 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) y) in y 26.928 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 26.928 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 26.928 * [taylor]: Taking taylor expansion of 27.0 in y 26.928 * [backup-simplify]: Simplify 27.0 into 27.0 26.928 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 26.929 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 26.929 * [taylor]: Taking taylor expansion of y in y 26.929 * [backup-simplify]: Simplify 0 into 0 26.929 * [backup-simplify]: Simplify 1 into 1 26.931 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 26.933 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) 1) into (pow (sqrt 27.0) 2) 26.934 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2) 26.935 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 26.936 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 26.937 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)))) into 0 26.937 * [taylor]: Taking taylor expansion of 0 in y 26.937 * [backup-simplify]: Simplify 0 into 0 26.938 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 26.939 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)))) into 0 26.939 * [backup-simplify]: Simplify 0 into 0 26.941 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 26.942 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 26.943 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 26.950 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 26.950 * [taylor]: Taking taylor expansion of 0 in y 26.950 * [backup-simplify]: Simplify 0 into 0 26.950 * [backup-simplify]: Simplify 0 into 0 26.951 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 26.952 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 26.954 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 26.954 * [backup-simplify]: Simplify 0 into 0 26.955 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 26.956 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 26.958 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 26.959 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 26.959 * [taylor]: Taking taylor expansion of 0 in y 26.959 * [backup-simplify]: Simplify 0 into 0 26.959 * [backup-simplify]: Simplify 0 into 0 26.959 * [backup-simplify]: Simplify 0 into 0 26.961 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 26.962 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 26.963 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 26.963 * [backup-simplify]: Simplify 0 into 0 26.964 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* (pow (sqrt 27.0) 2) (* x y)) 26.965 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (sqrt 27.0) (* (/ 1 (- x)) (/ 1 (- y))))) into (/ (pow (sqrt 27.0) 2) (* x y)) 26.965 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0 26.965 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in y 26.965 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 26.966 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 26.966 * [taylor]: Taking taylor expansion of 27.0 in y 26.966 * [backup-simplify]: Simplify 27.0 into 27.0 26.966 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 26.967 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 26.967 * [taylor]: Taking taylor expansion of (* x y) in y 26.967 * [taylor]: Taking taylor expansion of x in y 26.967 * [backup-simplify]: Simplify x into x 26.967 * [taylor]: Taking taylor expansion of y in y 26.967 * [backup-simplify]: Simplify 0 into 0 26.967 * [backup-simplify]: Simplify 1 into 1 26.968 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 26.968 * [backup-simplify]: Simplify (* x 0) into 0 26.968 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 26.969 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) x) into (/ (pow (sqrt 27.0) 2) x) 26.970 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 26.970 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 26.970 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 26.970 * [taylor]: Taking taylor expansion of 27.0 in x 26.970 * [backup-simplify]: Simplify 27.0 into 27.0 26.970 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 26.971 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 26.971 * [taylor]: Taking taylor expansion of (* x y) in x 26.971 * [taylor]: Taking taylor expansion of x in x 26.971 * [backup-simplify]: Simplify 0 into 0 26.971 * [backup-simplify]: Simplify 1 into 1 26.971 * [taylor]: Taking taylor expansion of y in x 26.971 * [backup-simplify]: Simplify y into y 26.972 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 26.972 * [backup-simplify]: Simplify (* 0 y) into 0 26.972 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 26.973 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 26.973 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 26.973 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 26.974 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 26.974 * [taylor]: Taking taylor expansion of 27.0 in x 26.974 * [backup-simplify]: Simplify 27.0 into 27.0 26.974 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 26.975 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 26.975 * [taylor]: Taking taylor expansion of (* x y) in x 26.975 * [taylor]: Taking taylor expansion of x in x 26.975 * [backup-simplify]: Simplify 0 into 0 26.975 * [backup-simplify]: Simplify 1 into 1 26.975 * [taylor]: Taking taylor expansion of y in x 26.975 * [backup-simplify]: Simplify y into y 26.976 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 26.976 * [backup-simplify]: Simplify (* 0 y) into 0 26.976 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 26.978 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 26.978 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) y) in y 26.978 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 26.978 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 26.978 * [taylor]: Taking taylor expansion of 27.0 in y 26.978 * [backup-simplify]: Simplify 27.0 into 27.0 26.978 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 26.979 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 26.979 * [taylor]: Taking taylor expansion of y in y 26.979 * [backup-simplify]: Simplify 0 into 0 26.979 * [backup-simplify]: Simplify 1 into 1 26.980 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 26.982 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) 1) into (pow (sqrt 27.0) 2) 26.982 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2) 26.983 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 26.984 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 26.985 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)))) into 0 26.985 * [taylor]: Taking taylor expansion of 0 in y 26.985 * [backup-simplify]: Simplify 0 into 0 26.986 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 26.987 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)))) into 0 26.987 * [backup-simplify]: Simplify 0 into 0 26.988 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 26.989 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 26.990 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 26.991 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 26.991 * [taylor]: Taking taylor expansion of 0 in y 26.991 * [backup-simplify]: Simplify 0 into 0 26.991 * [backup-simplify]: Simplify 0 into 0 26.993 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 26.994 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 26.995 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 26.995 * [backup-simplify]: Simplify 0 into 0 26.996 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 26.998 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 26.999 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 27.000 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 27.000 * [taylor]: Taking taylor expansion of 0 in y 27.001 * [backup-simplify]: Simplify 0 into 0 27.001 * [backup-simplify]: Simplify 0 into 0 27.001 * [backup-simplify]: Simplify 0 into 0 27.002 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 27.003 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 27.005 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 27.005 * [backup-simplify]: Simplify 0 into 0 27.006 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* (pow (sqrt 27.0) 2) (* x y)) 27.006 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 27.007 * [backup-simplify]: Simplify (* (sqrt 27.0) (* x y)) into (* (sqrt 27.0) (* x y)) 27.007 * [approximate]: Taking taylor expansion of (* (sqrt 27.0) (* x y)) in (x y) around 0 27.007 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* x y)) in y 27.007 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 27.007 * [taylor]: Taking taylor expansion of 27.0 in y 27.007 * [backup-simplify]: Simplify 27.0 into 27.0 27.007 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 27.008 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 27.008 * [taylor]: Taking taylor expansion of (* x y) in y 27.008 * [taylor]: Taking taylor expansion of x in y 27.008 * [backup-simplify]: Simplify x into x 27.008 * [taylor]: Taking taylor expansion of y in y 27.008 * [backup-simplify]: Simplify 0 into 0 27.008 * [backup-simplify]: Simplify 1 into 1 27.008 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* x y)) in x 27.008 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 27.008 * [taylor]: Taking taylor expansion of 27.0 in x 27.008 * [backup-simplify]: Simplify 27.0 into 27.0 27.009 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 27.010 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 27.010 * [taylor]: Taking taylor expansion of (* x y) in x 27.010 * [taylor]: Taking taylor expansion of x in x 27.010 * [backup-simplify]: Simplify 0 into 0 27.010 * [backup-simplify]: Simplify 1 into 1 27.010 * [taylor]: Taking taylor expansion of y in x 27.010 * [backup-simplify]: Simplify y into y 27.010 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* x y)) in x 27.010 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 27.010 * [taylor]: Taking taylor expansion of 27.0 in x 27.010 * [backup-simplify]: Simplify 27.0 into 27.0 27.010 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 27.011 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 27.011 * [taylor]: Taking taylor expansion of (* x y) in x 27.011 * [taylor]: Taking taylor expansion of x in x 27.011 * [backup-simplify]: Simplify 0 into 0 27.011 * [backup-simplify]: Simplify 1 into 1 27.011 * [taylor]: Taking taylor expansion of y in x 27.011 * [backup-simplify]: Simplify y into y 27.011 * [backup-simplify]: Simplify (* 0 y) into 0 27.012 * [backup-simplify]: Simplify (* (sqrt 27.0) 0) into 0 27.012 * [taylor]: Taking taylor expansion of 0 in y 27.012 * [backup-simplify]: Simplify 0 into 0 27.012 * [backup-simplify]: Simplify 0 into 0 27.012 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 27.013 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) y) (* 0 0)) into (* (sqrt 27.0) y) 27.013 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) y) in y 27.013 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 27.013 * [taylor]: Taking taylor expansion of 27.0 in y 27.013 * [backup-simplify]: Simplify 27.0 into 27.0 27.014 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 27.014 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 27.014 * [taylor]: Taking taylor expansion of y in y 27.015 * [backup-simplify]: Simplify 0 into 0 27.015 * [backup-simplify]: Simplify 1 into 1 27.015 * [backup-simplify]: Simplify (* (sqrt 27.0) 0) into 0 27.015 * [backup-simplify]: Simplify 0 into 0 27.015 * [backup-simplify]: Simplify 0 into 0 27.016 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 27.017 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 27.018 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 y) (* 0 0))) into 0 27.018 * [taylor]: Taking taylor expansion of 0 in y 27.018 * [backup-simplify]: Simplify 0 into 0 27.018 * [backup-simplify]: Simplify 0 into 0 27.021 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 1) (* 0 0)) into (sqrt 27.0) 27.021 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 27.021 * [backup-simplify]: Simplify 0 into 0 27.022 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 27.024 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 27.025 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 27.025 * [taylor]: Taking taylor expansion of 0 in y 27.025 * [backup-simplify]: Simplify 0 into 0 27.025 * [backup-simplify]: Simplify 0 into 0 27.025 * [backup-simplify]: Simplify 0 into 0 27.026 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 27.027 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 1) (* 0 0))) into 0 27.027 * [backup-simplify]: Simplify 0 into 0 27.027 * [backup-simplify]: Simplify 0 into 0 27.029 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 27.030 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 27.032 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 27.032 * [taylor]: Taking taylor expansion of 0 in y 27.032 * [backup-simplify]: Simplify 0 into 0 27.032 * [backup-simplify]: Simplify 0 into 0 27.032 * [backup-simplify]: Simplify (* (sqrt 27.0) (* y x)) into (* (sqrt 27.0) (* x y)) 27.033 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 x) (/ 1 y))) into (/ (sqrt 27.0) (* x y)) 27.033 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in (x y) around 0 27.033 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in y 27.033 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 27.033 * [taylor]: Taking taylor expansion of 27.0 in y 27.033 * [backup-simplify]: Simplify 27.0 into 27.0 27.033 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 27.034 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 27.034 * [taylor]: Taking taylor expansion of (* x y) in y 27.034 * [taylor]: Taking taylor expansion of x in y 27.034 * [backup-simplify]: Simplify x into x 27.034 * [taylor]: Taking taylor expansion of y in y 27.034 * [backup-simplify]: Simplify 0 into 0 27.034 * [backup-simplify]: Simplify 1 into 1 27.034 * [backup-simplify]: Simplify (* x 0) into 0 27.035 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 27.035 * [backup-simplify]: Simplify (/ (sqrt 27.0) x) into (/ (sqrt 27.0) x) 27.035 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 27.035 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 27.035 * [taylor]: Taking taylor expansion of 27.0 in x 27.035 * [backup-simplify]: Simplify 27.0 into 27.0 27.036 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 27.036 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 27.036 * [taylor]: Taking taylor expansion of (* x y) in x 27.036 * [taylor]: Taking taylor expansion of x in x 27.036 * [backup-simplify]: Simplify 0 into 0 27.037 * [backup-simplify]: Simplify 1 into 1 27.037 * [taylor]: Taking taylor expansion of y in x 27.037 * [backup-simplify]: Simplify y into y 27.037 * [backup-simplify]: Simplify (* 0 y) into 0 27.037 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 27.037 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 27.037 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 27.037 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 27.038 * [taylor]: Taking taylor expansion of 27.0 in x 27.038 * [backup-simplify]: Simplify 27.0 into 27.0 27.038 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 27.039 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 27.039 * [taylor]: Taking taylor expansion of (* x y) in x 27.039 * [taylor]: Taking taylor expansion of x in x 27.039 * [backup-simplify]: Simplify 0 into 0 27.039 * [backup-simplify]: Simplify 1 into 1 27.039 * [taylor]: Taking taylor expansion of y in x 27.039 * [backup-simplify]: Simplify y into y 27.039 * [backup-simplify]: Simplify (* 0 y) into 0 27.039 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 27.040 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 27.040 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y 27.040 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 27.040 * [taylor]: Taking taylor expansion of 27.0 in y 27.040 * [backup-simplify]: Simplify 27.0 into 27.0 27.040 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 27.041 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 27.041 * [taylor]: Taking taylor expansion of y in y 27.041 * [backup-simplify]: Simplify 0 into 0 27.041 * [backup-simplify]: Simplify 1 into 1 27.042 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0) 27.042 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 27.043 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 27.043 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)))) into 0 27.043 * [taylor]: Taking taylor expansion of 0 in y 27.043 * [backup-simplify]: Simplify 0 into 0 27.044 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)))) into 0 27.044 * [backup-simplify]: Simplify 0 into 0 27.046 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 27.047 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 27.047 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 27.047 * [taylor]: Taking taylor expansion of 0 in y 27.047 * [backup-simplify]: Simplify 0 into 0 27.048 * [backup-simplify]: Simplify 0 into 0 27.049 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 27.050 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 27.050 * [backup-simplify]: Simplify 0 into 0 27.051 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 27.053 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 27.053 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 27.053 * [taylor]: Taking taylor expansion of 0 in y 27.054 * [backup-simplify]: Simplify 0 into 0 27.054 * [backup-simplify]: Simplify 0 into 0 27.054 * [backup-simplify]: Simplify 0 into 0 27.055 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 27.056 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 27.056 * [backup-simplify]: Simplify 0 into 0 27.056 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* (sqrt 27.0) (* x y)) 27.057 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (- x)) (/ 1 (- y)))) into (/ (sqrt 27.0) (* x y)) 27.057 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in (x y) around 0 27.057 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in y 27.057 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 27.057 * [taylor]: Taking taylor expansion of 27.0 in y 27.057 * [backup-simplify]: Simplify 27.0 into 27.0 27.058 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 27.058 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 27.058 * [taylor]: Taking taylor expansion of (* x y) in y 27.058 * [taylor]: Taking taylor expansion of x in y 27.058 * [backup-simplify]: Simplify x into x 27.058 * [taylor]: Taking taylor expansion of y in y 27.058 * [backup-simplify]: Simplify 0 into 0 27.058 * [backup-simplify]: Simplify 1 into 1 27.059 * [backup-simplify]: Simplify (* x 0) into 0 27.059 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 27.059 * [backup-simplify]: Simplify (/ (sqrt 27.0) x) into (/ (sqrt 27.0) x) 27.059 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 27.059 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 27.059 * [taylor]: Taking taylor expansion of 27.0 in x 27.059 * [backup-simplify]: Simplify 27.0 into 27.0 27.060 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 27.060 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 27.060 * [taylor]: Taking taylor expansion of (* x y) in x 27.060 * [taylor]: Taking taylor expansion of x in x 27.061 * [backup-simplify]: Simplify 0 into 0 27.061 * [backup-simplify]: Simplify 1 into 1 27.061 * [taylor]: Taking taylor expansion of y in x 27.061 * [backup-simplify]: Simplify y into y 27.061 * [backup-simplify]: Simplify (* 0 y) into 0 27.061 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 27.061 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 27.061 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 27.061 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 27.062 * [taylor]: Taking taylor expansion of 27.0 in x 27.062 * [backup-simplify]: Simplify 27.0 into 27.0 27.062 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 27.063 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 27.063 * [taylor]: Taking taylor expansion of (* x y) in x 27.063 * [taylor]: Taking taylor expansion of x in x 27.063 * [backup-simplify]: Simplify 0 into 0 27.063 * [backup-simplify]: Simplify 1 into 1 27.063 * [taylor]: Taking taylor expansion of y in x 27.063 * [backup-simplify]: Simplify y into y 27.063 * [backup-simplify]: Simplify (* 0 y) into 0 27.063 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 27.064 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 27.064 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y 27.064 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 27.064 * [taylor]: Taking taylor expansion of 27.0 in y 27.064 * [backup-simplify]: Simplify 27.0 into 27.0 27.064 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 27.065 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 27.065 * [taylor]: Taking taylor expansion of y in y 27.065 * [backup-simplify]: Simplify 0 into 0 27.065 * [backup-simplify]: Simplify 1 into 1 27.066 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0) 27.066 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 27.067 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 27.068 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)))) into 0 27.068 * [taylor]: Taking taylor expansion of 0 in y 27.068 * [backup-simplify]: Simplify 0 into 0 27.069 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)))) into 0 27.069 * [backup-simplify]: Simplify 0 into 0 27.070 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 27.071 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 27.071 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 27.071 * [taylor]: Taking taylor expansion of 0 in y 27.071 * [backup-simplify]: Simplify 0 into 0 27.072 * [backup-simplify]: Simplify 0 into 0 27.073 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 27.074 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 27.074 * [backup-simplify]: Simplify 0 into 0 27.075 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 27.076 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 27.077 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 27.077 * [taylor]: Taking taylor expansion of 0 in y 27.077 * [backup-simplify]: Simplify 0 into 0 27.077 * [backup-simplify]: Simplify 0 into 0 27.077 * [backup-simplify]: Simplify 0 into 0 27.079 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 27.080 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 27.080 * [backup-simplify]: Simplify 0 into 0 27.080 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* (sqrt 27.0) (* x y)) 27.080 * * * [progress]: simplifying candidates 27.082 * [simplify]: Simplifying: (expm1 (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (log1p (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) (+ (log (sqrt 27.0)) (+ (log (sqrt 27.0)) (+ (log x) (log y)))) (+ (log (sqrt 27.0)) (+ (log (sqrt 27.0)) (log (* x y)))) (+ (log (sqrt 27.0)) (log (* (sqrt 27.0) (* x y)))) (log (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (exp (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* x x) x) (* (* y y) y)))) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* x y) (* x y)) (* x y)))) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* x y)))) (* (cbrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (cbrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))) (cbrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (* (* (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (sqrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (sqrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (* (sqrt 27.0) (sqrt 27.0)) (* (cbrt (sqrt 27.0)) (* (sqrt 27.0) (* x y))) (* (sqrt (cbrt 27.0)) (* (sqrt 27.0) (* x y))) (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) (expm1 (* (sqrt 27.0) (* x y))) (log1p (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y)) (+ (log (sqrt 27.0)) (+ (log x) (log y))) (+ (log (sqrt 27.0)) (log (* x y))) (log (* (sqrt 27.0) (* x y))) (exp (* (sqrt 27.0) (* x y))) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* x x) x) (* (* y y) y))) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* x y) (* x y)) (* x y))) (* (cbrt (* (sqrt 27.0) (* x y))) (cbrt (* (sqrt 27.0) (* x y)))) (cbrt (* (sqrt 27.0) (* x y))) (* (* (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* x y))) (sqrt (* (sqrt 27.0) (* x y))) (sqrt (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) x) (* (cbrt (sqrt 27.0)) (* x y)) (* (sqrt (cbrt 27.0)) (* x y)) (* (sqrt (sqrt 27.0)) (* x y)) (* (sqrt 27.0) (* x y)) (* (sqrt (sqrt 27.0)) (* x y)) (* (sqrt 27.0) (* x y)) (* (pow (sqrt 27.0) 2) (* x y)) (* (pow (sqrt 27.0) 2) (* x y)) (* (pow (sqrt 27.0) 2) (* x y)) (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y)) 27.084 * * [simplify]: Extracting # 0 : cost 0 27.084 * * [simplify]: Extracting # 1 : cost 0 27.084 * * [simplify]: Extracting # 2 : cost 0 27.084 * * [simplify]: Extracting # 3 : cost 0 27.084 * * [simplify]: Extracting # 4 : cost 0 27.084 * * [simplify]: Extracting # 5 : cost 0 27.084 * * [simplify]: Extracting # 6 : cost 0 27.085 * * [simplify]: Extracting # 7 : cost 0 27.085 * * [simplify]: iteration 0 : 63 enodes (cost 572 ) 27.117 * * [simplify]: Extracting # 0 : cost 0 27.118 * * [simplify]: Extracting # 1 : cost 0 27.118 * * [simplify]: Extracting # 2 : cost 0 27.118 * * [simplify]: Extracting # 3 : cost 0 27.119 * * [simplify]: iteration 1 : 158 enodes (cost 434 ) 27.199 * * [simplify]: Extracting # 0 : cost 0 27.199 * * [simplify]: Extracting # 1 : cost 0 27.200 * * [simplify]: Extracting # 2 : cost 0 27.200 * * [simplify]: Extracting # 3 : cost 0 27.201 * * [simplify]: Extracting # 4 : cost 0 27.202 * * [simplify]: iteration 2 : 591 enodes (cost 358 ) 28.152 * * [simplify]: Extracting # 0 : cost 0 28.156 * * [simplify]: Extracting # 1 : cost 0 28.158 * * [simplify]: Extracting # 2 : cost 0 28.160 * * [simplify]: Extracting # 3 : cost 0 28.163 * * [simplify]: Extracting # 4 : cost 0 28.166 * * [simplify]: iteration 3 : 2458 enodes (cost 358 ) 30.282 * * [simplify]: Extracting # 0 : cost 0 30.289 * * [simplify]: Extracting # 1 : cost 0 30.295 * * [simplify]: Extracting # 2 : cost 0 30.300 * * [simplify]: Extracting # 3 : cost 0 30.305 * * [simplify]: Extracting # 4 : cost 0 30.313 * * [simplify]: iteration done: 5001 enodes (cost 356 ) 30.313 * [simplify]: Simplified to: (expm1 (* (* x y) 27.0)) (log1p (* (* x y) 27.0)) (* (* x y) 27.0) (* (* x y) 27.0) (* (* x y) 27.0) (log (* (* x y) 27.0)) (log (* (* x y) 27.0)) (log (* (* x y) 27.0)) (log (* (* x y) 27.0)) (exp (* (* x y) 27.0)) (pow (* (* x y) 27.0) 3) (pow (* (* x y) 27.0) 3) (pow (* (* x y) 27.0) 3) (* (cbrt (* (* x y) 27.0)) (cbrt (* (* x y) 27.0))) (cbrt (* (* x y) 27.0)) (pow (* (* x y) 27.0) 3) (sqrt (* (* x y) 27.0)) (sqrt (* (* x y) 27.0)) 27.0 (* (cbrt (sqrt 27.0)) (* (sqrt 27.0) (* x y))) (* (sqrt (cbrt 27.0)) (* (sqrt 27.0) (* x y))) (* x (* (pow (sqrt (sqrt 27.0)) 3) y)) (* (* x y) 27.0) (* x (* (pow (sqrt (sqrt 27.0)) 3) y)) (* (* x y) 27.0) (expm1 (* (sqrt 27.0) (* x y))) (log1p (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y)) (log (* (sqrt 27.0) (* x y))) (log (* (sqrt 27.0) (* x y))) (log (* (sqrt 27.0) (* x y))) (exp (* (sqrt 27.0) (* x y))) (pow (* (sqrt 27.0) (* x y)) 3) (pow (* (sqrt 27.0) (* x y)) 3) (* (cbrt (* (sqrt 27.0) (* x y))) (cbrt (* (sqrt 27.0) (* x y)))) (cbrt (* (sqrt 27.0) (* x y))) (pow (* (sqrt 27.0) (* x y)) 3) (sqrt (* (sqrt 27.0) (* x y))) (sqrt (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) x) (* (cbrt (sqrt 27.0)) (* x y)) (* (sqrt (cbrt 27.0)) (* x y)) (* (sqrt (sqrt 27.0)) (* x y)) (* (sqrt 27.0) (* x y)) (* (sqrt (sqrt 27.0)) (* x y)) (* (sqrt 27.0) (* x y)) (* (* x y) 27.0) (* (* x y) 27.0) (* (* x y) 27.0) (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y)) 30.313 * * * [progress]: adding candidates to table 30.400 * [progress]: [Phase 3 of 3] Extracting. 30.400 * * [regime]: Finding splitpoints for: (# # # # # #) 30.401 * * * [regime-changes]: Trying 4 branch expressions: ((* x 27.0) (* (* x 27.0) y) y x) 30.401 * * * * [regimes]: Trying to branch on (* x 27.0) from (# # # # # #) 30.424 * * * * [regimes]: Trying to branch on (* x 27.0) from (# # #) 30.449 * * * * [regimes]: Trying to branch on (* (* x 27.0) y) from (# # # # # #) 30.474 * * * * [regimes]: Trying to branch on (* (* x 27.0) y) from (# #) 30.488 * * * * [regimes]: Trying to branch on y from (# # # # # #) 30.506 * * * * [regimes]: Trying to branch on x from (# # # # # #) 30.527 * * * [regime]: Found split indices: #