10.032 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.024 * * * [progress]: [2/2] Setting up program. 0.030 * [progress]: [Phase 2 of 3] Improving. 0.030 * [simplify]: Simplifying: (* (* x 27.0) y) 0.031 * * [simplify]: iteration 0: 5 enodes 0.033 * * [simplify]: iteration 1: 9 enodes 0.036 * * [simplify]: iteration 2: 15 enodes 0.042 * * [simplify]: iteration 3: 17 enodes 0.047 * * [simplify]: iteration complete: 17 enodes 0.048 * * [simplify]: Extracting #0: cost 1 inf + 0 0.048 * * [simplify]: Extracting #1: cost 7 inf + 0 0.048 * * [simplify]: Extracting #2: cost 3 inf + 45 0.048 * * [simplify]: Extracting #3: cost 0 inf + 212 0.048 * [simplify]: Simplified to: (* (* 27.0 x) y) 0.049 * * [progress]: iteration 1 / 4 0.049 * * * [progress]: picking best candidate 0.055 * * * * [pick]: Picked # 0.055 * * * [progress]: localizing error 0.067 * * * [progress]: generating rewritten candidates 0.067 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.105 * * * [progress]: generating series expansions 0.105 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.105 * [backup-simplify]: Simplify (* (* x 27.0) y) into (* 27.0 (* x y)) 0.105 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0 0.105 * [taylor]: Taking taylor expansion of (* 27.0 (* x 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 (* x y) in y 0.105 * [taylor]: Taking taylor expansion of x in y 0.105 * [backup-simplify]: Simplify x into x 0.105 * [taylor]: Taking taylor expansion of y in y 0.105 * [backup-simplify]: Simplify 0 into 0 0.105 * [backup-simplify]: Simplify 1 into 1 0.105 * [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.106 * [backup-simplify]: Simplify 0 into 0 0.106 * [backup-simplify]: Simplify 1 into 1 0.106 * [taylor]: Taking taylor expansion of y in x 0.106 * [backup-simplify]: Simplify y into y 0.106 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 0.106 * [taylor]: Taking taylor expansion of 27.0 in x 0.106 * [backup-simplify]: Simplify 27.0 into 27.0 0.106 * [taylor]: Taking taylor expansion of (* x y) in x 0.106 * [taylor]: Taking taylor expansion of x in x 0.106 * [backup-simplify]: Simplify 0 into 0 0.106 * [backup-simplify]: Simplify 1 into 1 0.106 * [taylor]: Taking taylor expansion of y in x 0.106 * [backup-simplify]: Simplify y into y 0.106 * [backup-simplify]: Simplify (* 0 y) into 0 0.107 * [backup-simplify]: Simplify (* 27.0 0) into 0 0.107 * [taylor]: Taking taylor expansion of 0 in y 0.107 * [backup-simplify]: Simplify 0 into 0 0.107 * [backup-simplify]: Simplify 0 into 0 0.108 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.108 * [backup-simplify]: Simplify (+ (* 27.0 y) (* 0 0)) into (* 27.0 y) 0.108 * [taylor]: Taking taylor expansion of (* 27.0 y) in y 0.108 * [taylor]: Taking taylor expansion of 27.0 in y 0.109 * [backup-simplify]: Simplify 27.0 into 27.0 0.109 * [taylor]: Taking taylor expansion of y in y 0.109 * [backup-simplify]: Simplify 0 into 0 0.109 * [backup-simplify]: Simplify 1 into 1 0.109 * [backup-simplify]: Simplify (* 27.0 0) into 0 0.109 * [backup-simplify]: Simplify 0 into 0 0.109 * [backup-simplify]: Simplify 0 into 0 0.110 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.111 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 y) (* 0 0))) into 0 0.111 * [taylor]: Taking taylor expansion of 0 in y 0.111 * [backup-simplify]: Simplify 0 into 0 0.112 * [backup-simplify]: Simplify 0 into 0 0.113 * [backup-simplify]: Simplify (+ (* 27.0 1) (* 0 0)) into 27.0 0.113 * [backup-simplify]: Simplify 27.0 into 27.0 0.113 * [backup-simplify]: Simplify 0 into 0 0.123 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 0.125 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 0.125 * [taylor]: Taking taylor expansion of 0 in y 0.125 * [backup-simplify]: Simplify 0 into 0 0.125 * [backup-simplify]: Simplify 0 into 0 0.125 * [backup-simplify]: Simplify 0 into 0 0.126 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 1) (* 0 0))) into 0 0.126 * [backup-simplify]: Simplify 0 into 0 0.126 * [backup-simplify]: Simplify 0 into 0 0.128 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.129 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 0.129 * [taylor]: Taking taylor expansion of 0 in y 0.129 * [backup-simplify]: Simplify 0 into 0 0.129 * [backup-simplify]: Simplify 0 into 0 0.129 * [backup-simplify]: Simplify (* 27.0 (* y x)) into (* 27.0 (* x y)) 0.129 * [backup-simplify]: Simplify (* (* (/ 1 x) 27.0) (/ 1 y)) into (/ 27.0 (* x y)) 0.129 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 0.129 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 0.130 * [taylor]: Taking taylor expansion of 27.0 in y 0.130 * [backup-simplify]: Simplify 27.0 into 27.0 0.130 * [taylor]: Taking taylor expansion of (* x y) in y 0.130 * [taylor]: Taking taylor expansion of x in y 0.130 * [backup-simplify]: Simplify x into x 0.130 * [taylor]: Taking taylor expansion of y in y 0.130 * [backup-simplify]: Simplify 0 into 0 0.130 * [backup-simplify]: Simplify 1 into 1 0.130 * [backup-simplify]: Simplify (* x 0) into 0 0.131 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 0.131 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 0.131 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 0.131 * [taylor]: Taking taylor expansion of 27.0 in x 0.131 * [backup-simplify]: Simplify 27.0 into 27.0 0.131 * [taylor]: Taking taylor expansion of (* x y) in x 0.131 * [taylor]: Taking taylor expansion of x in x 0.131 * [backup-simplify]: Simplify 0 into 0 0.131 * [backup-simplify]: Simplify 1 into 1 0.131 * [taylor]: Taking taylor expansion of y in x 0.131 * [backup-simplify]: Simplify y into y 0.131 * [backup-simplify]: Simplify (* 0 y) into 0 0.131 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.132 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 0.132 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 0.132 * [taylor]: Taking taylor expansion of 27.0 in x 0.132 * [backup-simplify]: Simplify 27.0 into 27.0 0.132 * [taylor]: Taking taylor expansion of (* x y) in x 0.132 * [taylor]: Taking taylor expansion of x in x 0.132 * [backup-simplify]: Simplify 0 into 0 0.132 * [backup-simplify]: Simplify 1 into 1 0.132 * [taylor]: Taking taylor expansion of y in x 0.132 * [backup-simplify]: Simplify y into y 0.132 * [backup-simplify]: Simplify (* 0 y) into 0 0.132 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.132 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 0.132 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 0.132 * [taylor]: Taking taylor expansion of 27.0 in y 0.132 * [backup-simplify]: Simplify 27.0 into 27.0 0.132 * [taylor]: Taking taylor expansion of y in y 0.132 * [backup-simplify]: Simplify 0 into 0 0.132 * [backup-simplify]: Simplify 1 into 1 0.133 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 0.133 * [backup-simplify]: Simplify 27.0 into 27.0 0.134 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.134 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 0.134 * [taylor]: Taking taylor expansion of 0 in y 0.134 * [backup-simplify]: Simplify 0 into 0 0.135 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 0.135 * [backup-simplify]: Simplify 0 into 0 0.136 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 0.136 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.136 * [taylor]: Taking taylor expansion of 0 in y 0.136 * [backup-simplify]: Simplify 0 into 0 0.136 * [backup-simplify]: Simplify 0 into 0 0.137 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.138 * [backup-simplify]: Simplify 0 into 0 0.139 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.139 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.139 * [taylor]: Taking taylor expansion of 0 in y 0.139 * [backup-simplify]: Simplify 0 into 0 0.140 * [backup-simplify]: Simplify 0 into 0 0.140 * [backup-simplify]: Simplify 0 into 0 0.141 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.141 * [backup-simplify]: Simplify 0 into 0 0.141 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 27.0 (* x y)) 0.141 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) 27.0) (/ 1 (- y))) into (/ 27.0 (* x y)) 0.141 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 0.141 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 0.141 * [taylor]: Taking taylor expansion of 27.0 in y 0.141 * [backup-simplify]: Simplify 27.0 into 27.0 0.141 * [taylor]: Taking taylor expansion of (* x y) in y 0.141 * [taylor]: Taking taylor expansion of x in y 0.141 * [backup-simplify]: Simplify x into x 0.141 * [taylor]: Taking taylor expansion of y in y 0.141 * [backup-simplify]: Simplify 0 into 0 0.141 * [backup-simplify]: Simplify 1 into 1 0.141 * [backup-simplify]: Simplify (* x 0) into 0 0.142 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 0.142 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 0.142 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 0.142 * [taylor]: Taking taylor expansion of 27.0 in x 0.142 * [backup-simplify]: Simplify 27.0 into 27.0 0.142 * [taylor]: Taking taylor expansion of (* x y) in x 0.142 * [taylor]: Taking taylor expansion of x in x 0.142 * [backup-simplify]: Simplify 0 into 0 0.143 * [backup-simplify]: Simplify 1 into 1 0.143 * [taylor]: Taking taylor expansion of y in x 0.143 * [backup-simplify]: Simplify y into y 0.143 * [backup-simplify]: Simplify (* 0 y) into 0 0.143 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.143 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 0.143 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 0.143 * [taylor]: Taking taylor expansion of 27.0 in x 0.143 * [backup-simplify]: Simplify 27.0 into 27.0 0.143 * [taylor]: Taking taylor expansion of (* x y) in x 0.143 * [taylor]: Taking taylor expansion of x in x 0.143 * [backup-simplify]: Simplify 0 into 0 0.143 * [backup-simplify]: Simplify 1 into 1 0.143 * [taylor]: Taking taylor expansion of y in x 0.143 * [backup-simplify]: Simplify y into y 0.143 * [backup-simplify]: Simplify (* 0 y) into 0 0.144 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.144 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 0.144 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 0.144 * [taylor]: Taking taylor expansion of 27.0 in y 0.144 * [backup-simplify]: Simplify 27.0 into 27.0 0.144 * [taylor]: Taking taylor expansion of y in y 0.144 * [backup-simplify]: Simplify 0 into 0 0.144 * [backup-simplify]: Simplify 1 into 1 0.145 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 0.145 * [backup-simplify]: Simplify 27.0 into 27.0 0.146 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.146 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 0.146 * [taylor]: Taking taylor expansion of 0 in y 0.146 * [backup-simplify]: Simplify 0 into 0 0.147 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 0.147 * [backup-simplify]: Simplify 0 into 0 0.148 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 0.148 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.148 * [taylor]: Taking taylor expansion of 0 in y 0.148 * [backup-simplify]: Simplify 0 into 0 0.148 * [backup-simplify]: Simplify 0 into 0 0.149 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.149 * [backup-simplify]: Simplify 0 into 0 0.151 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.151 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.151 * [taylor]: Taking taylor expansion of 0 in y 0.151 * [backup-simplify]: Simplify 0 into 0 0.151 * [backup-simplify]: Simplify 0 into 0 0.151 * [backup-simplify]: Simplify 0 into 0 0.153 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.153 * [backup-simplify]: Simplify 0 into 0 0.153 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 27.0 (* x y)) 0.153 * * * [progress]: simplifying candidates 0.154 * [simplify]: Simplifying: (* (* x 27.0) y) (* (* x 27.0) y) (+ (+ (log x) (log 27.0)) (log y)) (+ (log (* x 27.0)) (log y)) (log (* (* x 27.0) y)) (exp (* (* x 27.0) y)) (* (* (* (* x x) x) (* (* 27.0 27.0) 27.0)) (* (* y y) y)) (* (* (* (* x 27.0) (* x 27.0)) (* x 27.0)) (* (* y y) y)) (* (cbrt (* (* x 27.0) y)) (cbrt (* (* x 27.0) y))) (cbrt (* (* x 27.0) y)) (* (* (* (* x 27.0) y) (* (* x 27.0) y)) (* (* x 27.0) y)) (sqrt (* (* x 27.0) y)) (sqrt (* (* x 27.0) y)) (* (* x 27.0) (* (cbrt y) (cbrt y))) (* (* x 27.0) (sqrt y)) (* (* x 27.0) 1) (* 27.0 y) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) 0.155 * * [simplify]: iteration 0: 40 enodes 0.189 * * [simplify]: iteration 1: 105 enodes 0.309 * * [simplify]: iteration 2: 365 enodes 1.494 * * [simplify]: iteration 3: 1489 enodes 4.152 * * [simplify]: iteration complete: 5010 enodes 4.153 * * [simplify]: Extracting #0: cost 11 inf + 0 4.155 * * [simplify]: Extracting #1: cost 560 inf + 0 4.166 * * [simplify]: Extracting #2: cost 1724 inf + 10483 4.349 * * [simplify]: Extracting #3: cost 973 inf + 145873 4.445 * * [simplify]: Extracting #4: cost 73 inf + 284147 4.549 * * [simplify]: Extracting #5: cost 3 inf + 291403 4.702 * * [simplify]: Extracting #6: cost 0 inf + 289602 4.967 * * [simplify]: Extracting #7: cost 0 inf + 289482 5.336 * [simplify]: Simplified to: (* (* x y) 27.0) (* (* x y) 27.0) (log (* (* x y) 27.0)) (log (* (* x y) 27.0)) (log (* (* x y) 27.0)) (exp (* (* x y) 27.0)) (* (* (* y x) 27.0) (* (* (* y x) 27.0) (* (* y x) 27.0))) (* (* (* y x) 27.0) (* (* (* y x) 27.0) (* (* y x) 27.0))) (* (cbrt (* (* x y) 27.0)) (cbrt (* (* x y) 27.0))) (cbrt (* (* x y) 27.0)) (* (* (* y x) 27.0) (* (* (* y x) 27.0) (* (* y x) 27.0))) (sqrt (* (* x y) 27.0)) (sqrt (* (* x y) 27.0)) (* (* 27.0 x) (* (cbrt y) (cbrt y))) (* (* 27.0 x) (sqrt y)) (* 27.0 x) (* y 27.0) (* (* x y) 27.0) (* (* x y) 27.0) (* (* x y) 27.0) 5.337 * * * [progress]: adding candidates to table 5.768 * * [progress]: iteration 2 / 4 5.770 * * * [progress]: picking best candidate 5.800 * * * * [pick]: Picked # 5.808 * * * [progress]: localizing error 5.823 * * * [progress]: generating rewritten candidates 5.823 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 5.864 * * * [progress]: generating series expansions 5.864 * * * * [progress]: [ 1 / 1 ] generating series at (2) 5.864 * [backup-simplify]: Simplify (* x (* 27.0 y)) into (* 27.0 (* x y)) 5.864 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0 5.864 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y 5.864 * [taylor]: Taking taylor expansion of 27.0 in y 5.864 * [backup-simplify]: Simplify 27.0 into 27.0 5.864 * [taylor]: Taking taylor expansion of (* x y) in y 5.864 * [taylor]: Taking taylor expansion of x in y 5.864 * [backup-simplify]: Simplify x into x 5.864 * [taylor]: Taking taylor expansion of y in y 5.864 * [backup-simplify]: Simplify 0 into 0 5.864 * [backup-simplify]: Simplify 1 into 1 5.864 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 5.864 * [taylor]: Taking taylor expansion of 27.0 in x 5.864 * [backup-simplify]: Simplify 27.0 into 27.0 5.864 * [taylor]: Taking taylor expansion of (* x y) in x 5.864 * [taylor]: Taking taylor expansion of x in x 5.864 * [backup-simplify]: Simplify 0 into 0 5.864 * [backup-simplify]: Simplify 1 into 1 5.864 * [taylor]: Taking taylor expansion of y in x 5.864 * [backup-simplify]: Simplify y into y 5.865 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 5.865 * [taylor]: Taking taylor expansion of 27.0 in x 5.865 * [backup-simplify]: Simplify 27.0 into 27.0 5.865 * [taylor]: Taking taylor expansion of (* x y) in x 5.865 * [taylor]: Taking taylor expansion of x in x 5.865 * [backup-simplify]: Simplify 0 into 0 5.865 * [backup-simplify]: Simplify 1 into 1 5.865 * [taylor]: Taking taylor expansion of y in x 5.865 * [backup-simplify]: Simplify y into y 5.865 * [backup-simplify]: Simplify (* 0 y) into 0 5.866 * [backup-simplify]: Simplify (* 27.0 0) into 0 5.866 * [taylor]: Taking taylor expansion of 0 in y 5.866 * [backup-simplify]: Simplify 0 into 0 5.866 * [backup-simplify]: Simplify 0 into 0 5.867 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.867 * [backup-simplify]: Simplify (+ (* 27.0 y) (* 0 0)) into (* 27.0 y) 5.867 * [taylor]: Taking taylor expansion of (* 27.0 y) in y 5.867 * [taylor]: Taking taylor expansion of 27.0 in y 5.867 * [backup-simplify]: Simplify 27.0 into 27.0 5.867 * [taylor]: Taking taylor expansion of y in y 5.867 * [backup-simplify]: Simplify 0 into 0 5.867 * [backup-simplify]: Simplify 1 into 1 5.868 * [backup-simplify]: Simplify (* 27.0 0) into 0 5.868 * [backup-simplify]: Simplify 0 into 0 5.868 * [backup-simplify]: Simplify 0 into 0 5.869 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 5.870 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 y) (* 0 0))) into 0 5.870 * [taylor]: Taking taylor expansion of 0 in y 5.870 * [backup-simplify]: Simplify 0 into 0 5.870 * [backup-simplify]: Simplify 0 into 0 5.876 * [backup-simplify]: Simplify (+ (* 27.0 1) (* 0 0)) into 27.0 5.876 * [backup-simplify]: Simplify 27.0 into 27.0 5.876 * [backup-simplify]: Simplify 0 into 0 5.877 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 5.878 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 5.878 * [taylor]: Taking taylor expansion of 0 in y 5.878 * [backup-simplify]: Simplify 0 into 0 5.878 * [backup-simplify]: Simplify 0 into 0 5.878 * [backup-simplify]: Simplify 0 into 0 5.879 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 1) (* 0 0))) into 0 5.879 * [backup-simplify]: Simplify 0 into 0 5.880 * [backup-simplify]: Simplify 0 into 0 5.881 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 5.883 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 5.883 * [taylor]: Taking taylor expansion of 0 in y 5.883 * [backup-simplify]: Simplify 0 into 0 5.883 * [backup-simplify]: Simplify 0 into 0 5.883 * [backup-simplify]: Simplify (* 27.0 (* y x)) into (* 27.0 (* x y)) 5.884 * [backup-simplify]: Simplify (* (/ 1 x) (* 27.0 (/ 1 y))) into (/ 27.0 (* x y)) 5.884 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 5.884 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 5.884 * [taylor]: Taking taylor expansion of 27.0 in y 5.884 * [backup-simplify]: Simplify 27.0 into 27.0 5.884 * [taylor]: Taking taylor expansion of (* x y) in y 5.884 * [taylor]: Taking taylor expansion of x in y 5.884 * [backup-simplify]: Simplify x into x 5.884 * [taylor]: Taking taylor expansion of y in y 5.884 * [backup-simplify]: Simplify 0 into 0 5.884 * [backup-simplify]: Simplify 1 into 1 5.888 * [backup-simplify]: Simplify (* x 0) into 0 5.888 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.888 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 5.888 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 5.888 * [taylor]: Taking taylor expansion of 27.0 in x 5.888 * [backup-simplify]: Simplify 27.0 into 27.0 5.889 * [taylor]: Taking taylor expansion of (* x y) in x 5.889 * [taylor]: Taking taylor expansion of x in x 5.889 * [backup-simplify]: Simplify 0 into 0 5.889 * [backup-simplify]: Simplify 1 into 1 5.889 * [taylor]: Taking taylor expansion of y in x 5.889 * [backup-simplify]: Simplify y into y 5.889 * [backup-simplify]: Simplify (* 0 y) into 0 5.889 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.889 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 5.889 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 5.889 * [taylor]: Taking taylor expansion of 27.0 in x 5.889 * [backup-simplify]: Simplify 27.0 into 27.0 5.889 * [taylor]: Taking taylor expansion of (* x y) in x 5.889 * [taylor]: Taking taylor expansion of x in x 5.889 * [backup-simplify]: Simplify 0 into 0 5.889 * [backup-simplify]: Simplify 1 into 1 5.889 * [taylor]: Taking taylor expansion of y in x 5.890 * [backup-simplify]: Simplify y into y 5.890 * [backup-simplify]: Simplify (* 0 y) into 0 5.890 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.890 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 5.890 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 5.890 * [taylor]: Taking taylor expansion of 27.0 in y 5.890 * [backup-simplify]: Simplify 27.0 into 27.0 5.890 * [taylor]: Taking taylor expansion of y in y 5.890 * [backup-simplify]: Simplify 0 into 0 5.890 * [backup-simplify]: Simplify 1 into 1 5.891 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 5.891 * [backup-simplify]: Simplify 27.0 into 27.0 5.892 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 5.892 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 5.892 * [taylor]: Taking taylor expansion of 0 in y 5.892 * [backup-simplify]: Simplify 0 into 0 5.893 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 5.893 * [backup-simplify]: Simplify 0 into 0 5.894 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 5.894 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.894 * [taylor]: Taking taylor expansion of 0 in y 5.894 * [backup-simplify]: Simplify 0 into 0 5.894 * [backup-simplify]: Simplify 0 into 0 5.895 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.895 * [backup-simplify]: Simplify 0 into 0 5.897 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 5.897 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.897 * [taylor]: Taking taylor expansion of 0 in y 5.897 * [backup-simplify]: Simplify 0 into 0 5.897 * [backup-simplify]: Simplify 0 into 0 5.897 * [backup-simplify]: Simplify 0 into 0 5.897 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.898 * [backup-simplify]: Simplify 0 into 0 5.898 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 27.0 (* x y)) 5.898 * [backup-simplify]: Simplify (* (/ 1 (- x)) (* 27.0 (/ 1 (- y)))) into (/ 27.0 (* x y)) 5.898 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 5.898 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 5.898 * [taylor]: Taking taylor expansion of 27.0 in y 5.898 * [backup-simplify]: Simplify 27.0 into 27.0 5.898 * [taylor]: Taking taylor expansion of (* x y) in y 5.898 * [taylor]: Taking taylor expansion of x in y 5.898 * [backup-simplify]: Simplify x into x 5.898 * [taylor]: Taking taylor expansion of y in y 5.898 * [backup-simplify]: Simplify 0 into 0 5.898 * [backup-simplify]: Simplify 1 into 1 5.898 * [backup-simplify]: Simplify (* x 0) into 0 5.899 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.899 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 5.899 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 5.899 * [taylor]: Taking taylor expansion of 27.0 in x 5.899 * [backup-simplify]: Simplify 27.0 into 27.0 5.899 * [taylor]: Taking taylor expansion of (* x y) in x 5.899 * [taylor]: Taking taylor expansion of x in x 5.899 * [backup-simplify]: Simplify 0 into 0 5.899 * [backup-simplify]: Simplify 1 into 1 5.899 * [taylor]: Taking taylor expansion of y in x 5.899 * [backup-simplify]: Simplify y into y 5.899 * [backup-simplify]: Simplify (* 0 y) into 0 5.900 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.900 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 5.900 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 5.900 * [taylor]: Taking taylor expansion of 27.0 in x 5.900 * [backup-simplify]: Simplify 27.0 into 27.0 5.900 * [taylor]: Taking taylor expansion of (* x y) in x 5.900 * [taylor]: Taking taylor expansion of x in x 5.900 * [backup-simplify]: Simplify 0 into 0 5.900 * [backup-simplify]: Simplify 1 into 1 5.900 * [taylor]: Taking taylor expansion of y in x 5.900 * [backup-simplify]: Simplify y into y 5.900 * [backup-simplify]: Simplify (* 0 y) into 0 5.900 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.901 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 5.901 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 5.901 * [taylor]: Taking taylor expansion of 27.0 in y 5.901 * [backup-simplify]: Simplify 27.0 into 27.0 5.901 * [taylor]: Taking taylor expansion of y in y 5.901 * [backup-simplify]: Simplify 0 into 0 5.901 * [backup-simplify]: Simplify 1 into 1 5.901 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 5.901 * [backup-simplify]: Simplify 27.0 into 27.0 5.902 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 5.902 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 5.902 * [taylor]: Taking taylor expansion of 0 in y 5.902 * [backup-simplify]: Simplify 0 into 0 5.903 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 5.903 * [backup-simplify]: Simplify 0 into 0 5.905 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 5.905 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.905 * [taylor]: Taking taylor expansion of 0 in y 5.905 * [backup-simplify]: Simplify 0 into 0 5.905 * [backup-simplify]: Simplify 0 into 0 5.906 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.906 * [backup-simplify]: Simplify 0 into 0 5.912 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 5.913 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.913 * [taylor]: Taking taylor expansion of 0 in y 5.913 * [backup-simplify]: Simplify 0 into 0 5.913 * [backup-simplify]: Simplify 0 into 0 5.913 * [backup-simplify]: Simplify 0 into 0 5.914 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.914 * [backup-simplify]: Simplify 0 into 0 5.916 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 27.0 (* x y)) 5.916 * * * [progress]: simplifying candidates 5.917 * [simplify]: Simplifying: (* 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)) 5.917 * * [simplify]: iteration 0: 37 enodes 5.938 * * [simplify]: iteration 1: 91 enodes 5.996 * * [simplify]: iteration 2: 297 enodes 6.773 * * [simplify]: iteration 3: 869 enodes 10.799 * * [simplify]: iteration 4: 1824 enodes 19.385 * * [simplify]: iteration 5: 3690 enodes 24.478 * * [simplify]: iteration complete: 5001 enodes 24.479 * * [simplify]: Extracting #0: cost 10 inf + 0 24.480 * * [simplify]: Extracting #1: cost 210 inf + 0 24.523 * * [simplify]: Extracting #2: cost 727 inf + 6314 24.770 * * [simplify]: Extracting #3: cost 773 inf + 30324 24.903 * * [simplify]: Extracting #4: cost 389 inf + 194878 24.983 * * [simplify]: Extracting #5: cost 52 inf + 325198 25.077 * * [simplify]: Extracting #6: cost 4 inf + 346977 25.276 * * [simplify]: Extracting #7: cost 0 inf + 350259 25.423 * [simplify]: Simplified to: (* y (* 27.0 x)) (* y (* 27.0 x)) (log (* y (* 27.0 x))) (log (* y (* 27.0 x))) (log (* y (* 27.0 x))) (exp (* 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)))) (* (cbrt (* y (* 27.0 x))) (cbrt (* y (* 27.0 x)))) (cbrt (* y (* 27.0 x))) (* (* y (* 27.0 x)) (* (* y (* 27.0 x)) (* y (* 27.0 x)))) (sqrt (* y (* 27.0 x))) (sqrt (* y (* 27.0 x))) (* 27.0 x) (* (* y (cbrt x)) 27.0) (* y (* 27.0 (sqrt x))) (* y (* 27.0 x)) (* y (* 27.0 x)) (* y (* 27.0 x)) (* y (* 27.0 x)) 25.424 * * * [progress]: adding candidates to table 25.513 * * [progress]: iteration 3 / 4 25.513 * * * [progress]: picking best candidate 25.563 * * * * [pick]: Picked # 25.563 * * * [progress]: localizing error 25.576 * * * [progress]: generating rewritten candidates 25.576 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 25.611 * * * [progress]: generating series expansions 25.611 * * * * [progress]: [ 1 / 1 ] generating series at (2) 25.611 * [backup-simplify]: Simplify (* 27.0 (* x y)) into (* 27.0 (* x y)) 25.611 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0 25.611 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y 25.611 * [taylor]: Taking taylor expansion of 27.0 in y 25.611 * [backup-simplify]: Simplify 27.0 into 27.0 25.611 * [taylor]: Taking taylor expansion of (* x y) in y 25.611 * [taylor]: Taking taylor expansion of x in y 25.611 * [backup-simplify]: Simplify x into x 25.611 * [taylor]: Taking taylor expansion of y in y 25.611 * [backup-simplify]: Simplify 0 into 0 25.611 * [backup-simplify]: Simplify 1 into 1 25.612 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 25.612 * [taylor]: Taking taylor expansion of 27.0 in x 25.612 * [backup-simplify]: Simplify 27.0 into 27.0 25.612 * [taylor]: Taking taylor expansion of (* x y) in x 25.612 * [taylor]: Taking taylor expansion of x in x 25.612 * [backup-simplify]: Simplify 0 into 0 25.612 * [backup-simplify]: Simplify 1 into 1 25.612 * [taylor]: Taking taylor expansion of y in x 25.612 * [backup-simplify]: Simplify y into y 25.612 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 25.612 * [taylor]: Taking taylor expansion of 27.0 in x 25.612 * [backup-simplify]: Simplify 27.0 into 27.0 25.612 * [taylor]: Taking taylor expansion of (* x y) in x 25.612 * [taylor]: Taking taylor expansion of x in x 25.612 * [backup-simplify]: Simplify 0 into 0 25.612 * [backup-simplify]: Simplify 1 into 1 25.612 * [taylor]: Taking taylor expansion of y in x 25.612 * [backup-simplify]: Simplify y into y 25.612 * [backup-simplify]: Simplify (* 0 y) into 0 25.613 * [backup-simplify]: Simplify (* 27.0 0) into 0 25.613 * [taylor]: Taking taylor expansion of 0 in y 25.613 * [backup-simplify]: Simplify 0 into 0 25.613 * [backup-simplify]: Simplify 0 into 0 25.613 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 25.614 * [backup-simplify]: Simplify (+ (* 27.0 y) (* 0 0)) into (* 27.0 y) 25.614 * [taylor]: Taking taylor expansion of (* 27.0 y) in y 25.614 * [taylor]: Taking taylor expansion of 27.0 in y 25.614 * [backup-simplify]: Simplify 27.0 into 27.0 25.614 * [taylor]: Taking taylor expansion of y in y 25.614 * [backup-simplify]: Simplify 0 into 0 25.614 * [backup-simplify]: Simplify 1 into 1 25.615 * [backup-simplify]: Simplify (* 27.0 0) into 0 25.615 * [backup-simplify]: Simplify 0 into 0 25.615 * [backup-simplify]: Simplify 0 into 0 25.615 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 25.616 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 y) (* 0 0))) into 0 25.616 * [taylor]: Taking taylor expansion of 0 in y 25.616 * [backup-simplify]: Simplify 0 into 0 25.616 * [backup-simplify]: Simplify 0 into 0 25.618 * [backup-simplify]: Simplify (+ (* 27.0 1) (* 0 0)) into 27.0 25.618 * [backup-simplify]: Simplify 27.0 into 27.0 25.618 * [backup-simplify]: Simplify 0 into 0 25.619 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 25.620 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 25.620 * [taylor]: Taking taylor expansion of 0 in y 25.620 * [backup-simplify]: Simplify 0 into 0 25.620 * [backup-simplify]: Simplify 0 into 0 25.621 * [backup-simplify]: Simplify 0 into 0 25.621 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 1) (* 0 0))) into 0 25.621 * [backup-simplify]: Simplify 0 into 0 25.622 * [backup-simplify]: Simplify 0 into 0 25.623 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 25.625 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 25.625 * [taylor]: Taking taylor expansion of 0 in y 25.625 * [backup-simplify]: Simplify 0 into 0 25.625 * [backup-simplify]: Simplify 0 into 0 25.625 * [backup-simplify]: Simplify (* 27.0 (* y x)) into (* 27.0 (* x y)) 25.625 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 x) (/ 1 y))) into (/ 27.0 (* x y)) 25.625 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 25.625 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 25.625 * [taylor]: Taking taylor expansion of 27.0 in y 25.625 * [backup-simplify]: Simplify 27.0 into 27.0 25.625 * [taylor]: Taking taylor expansion of (* x y) in y 25.625 * [taylor]: Taking taylor expansion of x in y 25.625 * [backup-simplify]: Simplify x into x 25.625 * [taylor]: Taking taylor expansion of y in y 25.625 * [backup-simplify]: Simplify 0 into 0 25.625 * [backup-simplify]: Simplify 1 into 1 25.625 * [backup-simplify]: Simplify (* x 0) into 0 25.626 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 25.626 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 25.626 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 25.626 * [taylor]: Taking taylor expansion of 27.0 in x 25.626 * [backup-simplify]: Simplify 27.0 into 27.0 25.626 * [taylor]: Taking taylor expansion of (* x y) in x 25.626 * [taylor]: Taking taylor expansion of x in x 25.626 * [backup-simplify]: Simplify 0 into 0 25.626 * [backup-simplify]: Simplify 1 into 1 25.626 * [taylor]: Taking taylor expansion of y in x 25.626 * [backup-simplify]: Simplify y into y 25.626 * [backup-simplify]: Simplify (* 0 y) into 0 25.627 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 25.627 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 25.627 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 25.627 * [taylor]: Taking taylor expansion of 27.0 in x 25.627 * [backup-simplify]: Simplify 27.0 into 27.0 25.627 * [taylor]: Taking taylor expansion of (* x y) in x 25.627 * [taylor]: Taking taylor expansion of x in x 25.627 * [backup-simplify]: Simplify 0 into 0 25.627 * [backup-simplify]: Simplify 1 into 1 25.627 * [taylor]: Taking taylor expansion of y in x 25.627 * [backup-simplify]: Simplify y into y 25.627 * [backup-simplify]: Simplify (* 0 y) into 0 25.628 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 25.628 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 25.628 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 25.628 * [taylor]: Taking taylor expansion of 27.0 in y 25.628 * [backup-simplify]: Simplify 27.0 into 27.0 25.628 * [taylor]: Taking taylor expansion of y in y 25.628 * [backup-simplify]: Simplify 0 into 0 25.628 * [backup-simplify]: Simplify 1 into 1 25.629 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 25.629 * [backup-simplify]: Simplify 27.0 into 27.0 25.629 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 25.630 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 25.630 * [taylor]: Taking taylor expansion of 0 in y 25.630 * [backup-simplify]: Simplify 0 into 0 25.630 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 25.631 * [backup-simplify]: Simplify 0 into 0 25.632 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 25.632 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 25.632 * [taylor]: Taking taylor expansion of 0 in y 25.632 * [backup-simplify]: Simplify 0 into 0 25.632 * [backup-simplify]: Simplify 0 into 0 25.633 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.633 * [backup-simplify]: Simplify 0 into 0 25.634 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 25.635 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 25.635 * [taylor]: Taking taylor expansion of 0 in y 25.635 * [backup-simplify]: Simplify 0 into 0 25.635 * [backup-simplify]: Simplify 0 into 0 25.635 * [backup-simplify]: Simplify 0 into 0 25.636 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.636 * [backup-simplify]: Simplify 0 into 0 25.636 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 27.0 (* x y)) 25.636 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (- x)) (/ 1 (- y)))) into (/ 27.0 (* x y)) 25.636 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 25.637 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 25.637 * [taylor]: Taking taylor expansion of 27.0 in y 25.637 * [backup-simplify]: Simplify 27.0 into 27.0 25.637 * [taylor]: Taking taylor expansion of (* x y) in y 25.637 * [taylor]: Taking taylor expansion of x in y 25.637 * [backup-simplify]: Simplify x into x 25.637 * [taylor]: Taking taylor expansion of y in y 25.637 * [backup-simplify]: Simplify 0 into 0 25.637 * [backup-simplify]: Simplify 1 into 1 25.637 * [backup-simplify]: Simplify (* x 0) into 0 25.637 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 25.637 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 25.637 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 25.637 * [taylor]: Taking taylor expansion of 27.0 in x 25.637 * [backup-simplify]: Simplify 27.0 into 27.0 25.637 * [taylor]: Taking taylor expansion of (* x y) in x 25.637 * [taylor]: Taking taylor expansion of x in x 25.638 * [backup-simplify]: Simplify 0 into 0 25.638 * [backup-simplify]: Simplify 1 into 1 25.638 * [taylor]: Taking taylor expansion of y in x 25.638 * [backup-simplify]: Simplify y into y 25.638 * [backup-simplify]: Simplify (* 0 y) into 0 25.638 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 25.638 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 25.638 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 25.638 * [taylor]: Taking taylor expansion of 27.0 in x 25.638 * [backup-simplify]: Simplify 27.0 into 27.0 25.638 * [taylor]: Taking taylor expansion of (* x y) in x 25.638 * [taylor]: Taking taylor expansion of x in x 25.638 * [backup-simplify]: Simplify 0 into 0 25.638 * [backup-simplify]: Simplify 1 into 1 25.638 * [taylor]: Taking taylor expansion of y in x 25.638 * [backup-simplify]: Simplify y into y 25.638 * [backup-simplify]: Simplify (* 0 y) into 0 25.639 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 25.639 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 25.639 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 25.639 * [taylor]: Taking taylor expansion of 27.0 in y 25.639 * [backup-simplify]: Simplify 27.0 into 27.0 25.639 * [taylor]: Taking taylor expansion of y in y 25.639 * [backup-simplify]: Simplify 0 into 0 25.639 * [backup-simplify]: Simplify 1 into 1 25.640 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 25.640 * [backup-simplify]: Simplify 27.0 into 27.0 25.641 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 25.641 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 25.641 * [taylor]: Taking taylor expansion of 0 in y 25.641 * [backup-simplify]: Simplify 0 into 0 25.642 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 25.642 * [backup-simplify]: Simplify 0 into 0 25.643 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 25.643 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 25.643 * [taylor]: Taking taylor expansion of 0 in y 25.643 * [backup-simplify]: Simplify 0 into 0 25.643 * [backup-simplify]: Simplify 0 into 0 25.644 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.644 * [backup-simplify]: Simplify 0 into 0 25.646 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 25.646 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 25.646 * [taylor]: Taking taylor expansion of 0 in y 25.646 * [backup-simplify]: Simplify 0 into 0 25.646 * [backup-simplify]: Simplify 0 into 0 25.646 * [backup-simplify]: Simplify 0 into 0 25.647 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.647 * [backup-simplify]: Simplify 0 into 0 25.648 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 27.0 (* x y)) 25.648 * * * [progress]: simplifying candidates 25.648 * [simplify]: Simplifying: (* 27.0 (* x y)) (* 27.0 (* x y)) (+ (log 27.0) (+ (log x) (log y))) (+ (log 27.0) (log (* x y))) (log (* 27.0 (* x y))) (exp (* 27.0 (* x y))) (* (* (* 27.0 27.0) 27.0) (* (* (* x x) x) (* (* y y) y))) (* (* (* 27.0 27.0) 27.0) (* (* (* x y) (* x y)) (* x y))) (* (cbrt (* 27.0 (* x y))) (cbrt (* 27.0 (* x y)))) (cbrt (* 27.0 (* x y))) (* (* (* 27.0 (* x y)) (* 27.0 (* x y))) (* 27.0 (* x y))) (sqrt (* 27.0 (* x y))) (sqrt (* 27.0 (* x y))) (* 27.0 x) (* (cbrt 27.0) (* x y)) (* (sqrt 27.0) (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) 25.649 * * [simplify]: iteration 0: 35 enodes 25.670 * * [simplify]: iteration 1: 86 enodes 25.731 * * [simplify]: iteration 2: 272 enodes 26.064 * * [simplify]: iteration 3: 820 enodes 28.508 * * [simplify]: iteration 4: 2096 enodes 40.906 * * [simplify]: iteration 5: 4595 enodes 43.330 * * [simplify]: iteration complete: 5001 enodes 43.330 * * [simplify]: Extracting #0: cost 10 inf + 0 43.331 * * [simplify]: Extracting #1: cost 206 inf + 0 43.360 * * [simplify]: Extracting #2: cost 524 inf + 6930 43.381 * * [simplify]: Extracting #3: cost 510 inf + 34248 43.436 * * [simplify]: Extracting #4: cost 152 inf + 172478 43.499 * * [simplify]: Extracting #5: cost 31 inf + 223297 43.566 * * [simplify]: Extracting #6: cost 4 inf + 236702 43.633 * * [simplify]: Extracting #7: cost 0 inf + 240024 43.698 * [simplify]: Simplified to: (* (* y x) 27.0) (* (* y x) 27.0) (log (* (* y x) 27.0)) (log (* (* y x) 27.0)) (log (* (* y x) 27.0)) (exp (* (* 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 x) 27.0))) (* (cbrt (* (* y x) 27.0)) (cbrt (* (* y x) 27.0))) (cbrt (* (* y x) 27.0)) (* (* (* y x) 27.0) (* (* (* y x) 27.0) (* (* y x) 27.0))) (sqrt (* (* y x) 27.0)) (sqrt (* (* y x) 27.0)) (* x 27.0) (* (cbrt 27.0) (* y x)) (* y (* x (sqrt 27.0))) (* (* y x) 27.0) (* (* y x) 27.0) (* (* y x) 27.0) (* (* y x) 27.0) 43.699 * * * [progress]: adding candidates to table 43.795 * * [progress]: iteration 4 / 4 43.795 * * * [progress]: picking best candidate 43.845 * * * * [pick]: Picked # 43.845 * * * [progress]: localizing error 43.868 * * * [progress]: generating rewritten candidates 43.869 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 43.918 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 44.027 * * * [progress]: generating series expansions 44.027 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 44.028 * [backup-simplify]: Simplify (* (sqrt 27.0) (* x y)) into (* (sqrt 27.0) (* x y)) 44.028 * [approximate]: Taking taylor expansion of (* (sqrt 27.0) (* x y)) in (x y) around 0 44.028 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* x y)) in y 44.028 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 44.028 * [taylor]: Taking taylor expansion of 27.0 in y 44.028 * [backup-simplify]: Simplify 27.0 into 27.0 44.029 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 44.030 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 44.030 * [taylor]: Taking taylor expansion of (* x y) in y 44.030 * [taylor]: Taking taylor expansion of x in y 44.030 * [backup-simplify]: Simplify x into x 44.030 * [taylor]: Taking taylor expansion of y in y 44.030 * [backup-simplify]: Simplify 0 into 0 44.030 * [backup-simplify]: Simplify 1 into 1 44.030 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* x y)) in x 44.030 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 44.030 * [taylor]: Taking taylor expansion of 27.0 in x 44.030 * [backup-simplify]: Simplify 27.0 into 27.0 44.031 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 44.032 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 44.032 * [taylor]: Taking taylor expansion of (* x y) in x 44.032 * [taylor]: Taking taylor expansion of x in x 44.032 * [backup-simplify]: Simplify 0 into 0 44.032 * [backup-simplify]: Simplify 1 into 1 44.032 * [taylor]: Taking taylor expansion of y in x 44.032 * [backup-simplify]: Simplify y into y 44.032 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* x y)) in x 44.032 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 44.032 * [taylor]: Taking taylor expansion of 27.0 in x 44.032 * [backup-simplify]: Simplify 27.0 into 27.0 44.032 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 44.033 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 44.033 * [taylor]: Taking taylor expansion of (* x y) in x 44.033 * [taylor]: Taking taylor expansion of x in x 44.033 * [backup-simplify]: Simplify 0 into 0 44.033 * [backup-simplify]: Simplify 1 into 1 44.033 * [taylor]: Taking taylor expansion of y in x 44.033 * [backup-simplify]: Simplify y into y 44.033 * [backup-simplify]: Simplify (* 0 y) into 0 44.034 * [backup-simplify]: Simplify (* (sqrt 27.0) 0) into 0 44.034 * [taylor]: Taking taylor expansion of 0 in y 44.034 * [backup-simplify]: Simplify 0 into 0 44.034 * [backup-simplify]: Simplify 0 into 0 44.034 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 44.035 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) y) (* 0 0)) into (* (sqrt 27.0) y) 44.035 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) y) in y 44.035 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 44.035 * [taylor]: Taking taylor expansion of 27.0 in y 44.035 * [backup-simplify]: Simplify 27.0 into 27.0 44.036 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 44.037 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 44.037 * [taylor]: Taking taylor expansion of y in y 44.037 * [backup-simplify]: Simplify 0 into 0 44.037 * [backup-simplify]: Simplify 1 into 1 44.038 * [backup-simplify]: Simplify (* (sqrt 27.0) 0) into 0 44.038 * [backup-simplify]: Simplify 0 into 0 44.042 * [backup-simplify]: Simplify 0 into 0 44.043 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 44.044 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 44.046 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 y) (* 0 0))) into 0 44.046 * [taylor]: Taking taylor expansion of 0 in y 44.046 * [backup-simplify]: Simplify 0 into 0 44.047 * [backup-simplify]: Simplify 0 into 0 44.049 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 1) (* 0 0)) into (sqrt 27.0) 44.050 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 44.050 * [backup-simplify]: Simplify 0 into 0 44.051 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 44.052 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 44.054 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 44.054 * [taylor]: Taking taylor expansion of 0 in y 44.054 * [backup-simplify]: Simplify 0 into 0 44.054 * [backup-simplify]: Simplify 0 into 0 44.054 * [backup-simplify]: Simplify 0 into 0 44.055 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 44.057 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 1) (* 0 0))) into 0 44.057 * [backup-simplify]: Simplify 0 into 0 44.057 * [backup-simplify]: Simplify 0 into 0 44.059 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 44.061 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 44.063 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 44.063 * [taylor]: Taking taylor expansion of 0 in y 44.063 * [backup-simplify]: Simplify 0 into 0 44.063 * [backup-simplify]: Simplify 0 into 0 44.063 * [backup-simplify]: Simplify (* (sqrt 27.0) (* y x)) into (* (sqrt 27.0) (* x y)) 44.064 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 x) (/ 1 y))) into (/ (sqrt 27.0) (* x y)) 44.064 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in (x y) around 0 44.064 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in y 44.064 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 44.064 * [taylor]: Taking taylor expansion of 27.0 in y 44.064 * [backup-simplify]: Simplify 27.0 into 27.0 44.064 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 44.065 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 44.065 * [taylor]: Taking taylor expansion of (* x y) in y 44.065 * [taylor]: Taking taylor expansion of x in y 44.065 * [backup-simplify]: Simplify x into x 44.065 * [taylor]: Taking taylor expansion of y in y 44.065 * [backup-simplify]: Simplify 0 into 0 44.065 * [backup-simplify]: Simplify 1 into 1 44.065 * [backup-simplify]: Simplify (* x 0) into 0 44.066 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 44.066 * [backup-simplify]: Simplify (/ (sqrt 27.0) x) into (/ (sqrt 27.0) x) 44.066 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 44.066 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 44.066 * [taylor]: Taking taylor expansion of 27.0 in x 44.066 * [backup-simplify]: Simplify 27.0 into 27.0 44.067 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 44.067 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 44.067 * [taylor]: Taking taylor expansion of (* x y) in x 44.067 * [taylor]: Taking taylor expansion of x in x 44.068 * [backup-simplify]: Simplify 0 into 0 44.068 * [backup-simplify]: Simplify 1 into 1 44.068 * [taylor]: Taking taylor expansion of y in x 44.068 * [backup-simplify]: Simplify y into y 44.068 * [backup-simplify]: Simplify (* 0 y) into 0 44.068 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 44.069 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 44.069 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 44.069 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 44.069 * [taylor]: Taking taylor expansion of 27.0 in x 44.069 * [backup-simplify]: Simplify 27.0 into 27.0 44.069 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 44.070 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 44.070 * [taylor]: Taking taylor expansion of (* x y) in x 44.070 * [taylor]: Taking taylor expansion of x in x 44.070 * [backup-simplify]: Simplify 0 into 0 44.070 * [backup-simplify]: Simplify 1 into 1 44.070 * [taylor]: Taking taylor expansion of y in x 44.070 * [backup-simplify]: Simplify y into y 44.070 * [backup-simplify]: Simplify (* 0 y) into 0 44.070 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 44.071 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 44.071 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y 44.071 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 44.071 * [taylor]: Taking taylor expansion of 27.0 in y 44.071 * [backup-simplify]: Simplify 27.0 into 27.0 44.072 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 44.072 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 44.072 * [taylor]: Taking taylor expansion of y in y 44.072 * [backup-simplify]: Simplify 0 into 0 44.072 * [backup-simplify]: Simplify 1 into 1 44.073 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0) 44.074 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 44.075 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 44.075 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)))) into 0 44.075 * [taylor]: Taking taylor expansion of 0 in y 44.075 * [backup-simplify]: Simplify 0 into 0 44.077 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)))) into 0 44.077 * [backup-simplify]: Simplify 0 into 0 44.078 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 44.083 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 44.083 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 44.083 * [taylor]: Taking taylor expansion of 0 in y 44.083 * [backup-simplify]: Simplify 0 into 0 44.083 * [backup-simplify]: Simplify 0 into 0 44.085 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 44.086 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 44.086 * [backup-simplify]: Simplify 0 into 0 44.087 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 44.089 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 44.090 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 44.090 * [taylor]: Taking taylor expansion of 0 in y 44.090 * [backup-simplify]: Simplify 0 into 0 44.090 * [backup-simplify]: Simplify 0 into 0 44.090 * [backup-simplify]: Simplify 0 into 0 44.092 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 44.093 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 44.093 * [backup-simplify]: Simplify 0 into 0 44.094 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* (sqrt 27.0) (* x y)) 44.094 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (- x)) (/ 1 (- y)))) into (/ (sqrt 27.0) (* x y)) 44.094 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in (x y) around 0 44.094 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in y 44.094 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 44.094 * [taylor]: Taking taylor expansion of 27.0 in y 44.095 * [backup-simplify]: Simplify 27.0 into 27.0 44.095 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 44.095 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 44.095 * [taylor]: Taking taylor expansion of (* x y) in y 44.095 * [taylor]: Taking taylor expansion of x in y 44.095 * [backup-simplify]: Simplify x into x 44.095 * [taylor]: Taking taylor expansion of y in y 44.095 * [backup-simplify]: Simplify 0 into 0 44.095 * [backup-simplify]: Simplify 1 into 1 44.095 * [backup-simplify]: Simplify (* x 0) into 0 44.096 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 44.096 * [backup-simplify]: Simplify (/ (sqrt 27.0) x) into (/ (sqrt 27.0) x) 44.096 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 44.096 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 44.096 * [taylor]: Taking taylor expansion of 27.0 in x 44.096 * [backup-simplify]: Simplify 27.0 into 27.0 44.096 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 44.097 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 44.097 * [taylor]: Taking taylor expansion of (* x y) in x 44.097 * [taylor]: Taking taylor expansion of x in x 44.097 * [backup-simplify]: Simplify 0 into 0 44.097 * [backup-simplify]: Simplify 1 into 1 44.097 * [taylor]: Taking taylor expansion of y in x 44.097 * [backup-simplify]: Simplify y into y 44.097 * [backup-simplify]: Simplify (* 0 y) into 0 44.098 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 44.098 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 44.098 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 44.098 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 44.098 * [taylor]: Taking taylor expansion of 27.0 in x 44.098 * [backup-simplify]: Simplify 27.0 into 27.0 44.099 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 44.099 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 44.099 * [taylor]: Taking taylor expansion of (* x y) in x 44.099 * [taylor]: Taking taylor expansion of x in x 44.099 * [backup-simplify]: Simplify 0 into 0 44.099 * [backup-simplify]: Simplify 1 into 1 44.099 * [taylor]: Taking taylor expansion of y in x 44.099 * [backup-simplify]: Simplify y into y 44.099 * [backup-simplify]: Simplify (* 0 y) into 0 44.100 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 44.100 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 44.100 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y 44.101 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 44.101 * [taylor]: Taking taylor expansion of 27.0 in y 44.101 * [backup-simplify]: Simplify 27.0 into 27.0 44.101 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 44.102 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 44.102 * [taylor]: Taking taylor expansion of y in y 44.102 * [backup-simplify]: Simplify 0 into 0 44.102 * [backup-simplify]: Simplify 1 into 1 44.103 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0) 44.103 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 44.104 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 44.105 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)))) into 0 44.105 * [taylor]: Taking taylor expansion of 0 in y 44.105 * [backup-simplify]: Simplify 0 into 0 44.106 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)))) into 0 44.106 * [backup-simplify]: Simplify 0 into 0 44.107 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 44.108 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 44.108 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 44.108 * [taylor]: Taking taylor expansion of 0 in y 44.108 * [backup-simplify]: Simplify 0 into 0 44.108 * [backup-simplify]: Simplify 0 into 0 44.110 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 44.112 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 44.113 * [backup-simplify]: Simplify 0 into 0 44.114 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 44.116 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 44.117 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 44.117 * [taylor]: Taking taylor expansion of 0 in y 44.117 * [backup-simplify]: Simplify 0 into 0 44.117 * [backup-simplify]: Simplify 0 into 0 44.117 * [backup-simplify]: Simplify 0 into 0 44.118 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 44.119 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 44.120 * [backup-simplify]: Simplify 0 into 0 44.120 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* (sqrt 27.0) (* x y)) 44.120 * * * * [progress]: [ 2 / 2 ] generating series at (2) 44.121 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) into (* (pow (sqrt 27.0) 2) (* x y)) 44.121 * [approximate]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0 44.121 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* x y)) in y 44.121 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 44.121 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 44.121 * [taylor]: Taking taylor expansion of 27.0 in y 44.121 * [backup-simplify]: Simplify 27.0 into 27.0 44.122 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 44.123 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 44.123 * [taylor]: Taking taylor expansion of (* x y) in y 44.123 * [taylor]: Taking taylor expansion of x in y 44.123 * [backup-simplify]: Simplify x into x 44.123 * [taylor]: Taking taylor expansion of y in y 44.123 * [backup-simplify]: Simplify 0 into 0 44.123 * [backup-simplify]: Simplify 1 into 1 44.123 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* x y)) in x 44.123 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 44.123 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 44.123 * [taylor]: Taking taylor expansion of 27.0 in x 44.123 * [backup-simplify]: Simplify 27.0 into 27.0 44.123 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 44.124 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 44.124 * [taylor]: Taking taylor expansion of (* x y) in x 44.124 * [taylor]: Taking taylor expansion of x in x 44.124 * [backup-simplify]: Simplify 0 into 0 44.124 * [backup-simplify]: Simplify 1 into 1 44.124 * [taylor]: Taking taylor expansion of y in x 44.124 * [backup-simplify]: Simplify y into y 44.124 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* x y)) in x 44.124 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 44.124 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 44.124 * [taylor]: Taking taylor expansion of 27.0 in x 44.124 * [backup-simplify]: Simplify 27.0 into 27.0 44.125 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 44.125 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 44.126 * [taylor]: Taking taylor expansion of (* x y) in x 44.126 * [taylor]: Taking taylor expansion of x in x 44.126 * [backup-simplify]: Simplify 0 into 0 44.126 * [backup-simplify]: Simplify 1 into 1 44.126 * [taylor]: Taking taylor expansion of y in x 44.126 * [backup-simplify]: Simplify y into y 44.127 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 44.127 * [backup-simplify]: Simplify (* 0 y) into 0 44.128 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) 0) into 0 44.128 * [taylor]: Taking taylor expansion of 0 in y 44.128 * [backup-simplify]: Simplify 0 into 0 44.128 * [backup-simplify]: Simplify 0 into 0 44.128 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 44.129 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 44.130 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) y) (* 0 0)) into (* (pow (sqrt 27.0) 2) y) 44.131 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) y) in y 44.131 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 44.131 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 44.131 * [taylor]: Taking taylor expansion of 27.0 in y 44.131 * [backup-simplify]: Simplify 27.0 into 27.0 44.131 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 44.132 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 44.132 * [taylor]: Taking taylor expansion of y in y 44.132 * [backup-simplify]: Simplify 0 into 0 44.132 * [backup-simplify]: Simplify 1 into 1 44.133 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 44.134 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) 0) into 0 44.134 * [backup-simplify]: Simplify 0 into 0 44.134 * [backup-simplify]: Simplify 0 into 0 44.135 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 44.137 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 44.138 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 44.139 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 0) (+ (* 0 y) (* 0 0))) into 0 44.139 * [taylor]: Taking taylor expansion of 0 in y 44.139 * [backup-simplify]: Simplify 0 into 0 44.139 * [backup-simplify]: Simplify 0 into 0 44.140 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 44.143 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 1) (* 0 0)) into (pow (sqrt 27.0) 2) 44.145 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2) 44.145 * [backup-simplify]: Simplify 0 into 0 44.146 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 44.148 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 44.150 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 44.151 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 44.151 * [taylor]: Taking taylor expansion of 0 in y 44.152 * [backup-simplify]: Simplify 0 into 0 44.152 * [backup-simplify]: Simplify 0 into 0 44.152 * [backup-simplify]: Simplify 0 into 0 44.153 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 44.154 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 44.156 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 0) (+ (* 0 1) (* 0 0))) into 0 44.156 * [backup-simplify]: Simplify 0 into 0 44.156 * [backup-simplify]: Simplify 0 into 0 44.158 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 44.160 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 44.161 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0)))))) into 0 44.169 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 44.174 * [taylor]: Taking taylor expansion of 0 in y 44.174 * [backup-simplify]: Simplify 0 into 0 44.174 * [backup-simplify]: Simplify 0 into 0 44.179 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* y x)) into (* (pow (sqrt 27.0) 2) (* x y)) 44.181 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (sqrt 27.0) (* (/ 1 x) (/ 1 y)))) into (/ (pow (sqrt 27.0) 2) (* x y)) 44.181 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0 44.181 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in y 44.181 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 44.181 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 44.181 * [taylor]: Taking taylor expansion of 27.0 in y 44.181 * [backup-simplify]: Simplify 27.0 into 27.0 44.182 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 44.182 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 44.182 * [taylor]: Taking taylor expansion of (* x y) in y 44.182 * [taylor]: Taking taylor expansion of x in y 44.182 * [backup-simplify]: Simplify x into x 44.182 * [taylor]: Taking taylor expansion of y in y 44.182 * [backup-simplify]: Simplify 0 into 0 44.182 * [backup-simplify]: Simplify 1 into 1 44.194 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 44.194 * [backup-simplify]: Simplify (* x 0) into 0 44.198 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 44.214 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) x) into (/ (pow (sqrt 27.0) 2) x) 44.215 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 44.215 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 44.215 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 44.215 * [taylor]: Taking taylor expansion of 27.0 in x 44.215 * [backup-simplify]: Simplify 27.0 into 27.0 44.228 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 44.234 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 44.234 * [taylor]: Taking taylor expansion of (* x y) in x 44.234 * [taylor]: Taking taylor expansion of x in x 44.234 * [backup-simplify]: Simplify 0 into 0 44.234 * [backup-simplify]: Simplify 1 into 1 44.234 * [taylor]: Taking taylor expansion of y in x 44.234 * [backup-simplify]: Simplify y into y 44.242 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 44.242 * [backup-simplify]: Simplify (* 0 y) into 0 44.246 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 44.256 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 44.256 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 44.256 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 44.256 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 44.256 * [taylor]: Taking taylor expansion of 27.0 in x 44.256 * [backup-simplify]: Simplify 27.0 into 27.0 44.264 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 44.270 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 44.270 * [taylor]: Taking taylor expansion of (* x y) in x 44.270 * [taylor]: Taking taylor expansion of x in x 44.270 * [backup-simplify]: Simplify 0 into 0 44.270 * [backup-simplify]: Simplify 1 into 1 44.270 * [taylor]: Taking taylor expansion of y in x 44.270 * [backup-simplify]: Simplify y into y 44.275 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 44.275 * [backup-simplify]: Simplify (* 0 y) into 0 44.276 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 44.277 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 44.277 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) y) in y 44.277 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 44.277 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 44.277 * [taylor]: Taking taylor expansion of 27.0 in y 44.277 * [backup-simplify]: Simplify 27.0 into 27.0 44.289 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 44.294 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 44.294 * [taylor]: Taking taylor expansion of y in y 44.295 * [backup-simplify]: Simplify 0 into 0 44.295 * [backup-simplify]: Simplify 1 into 1 44.296 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 44.298 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) 1) into (pow (sqrt 27.0) 2) 44.299 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2) 44.301 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 44.304 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 44.306 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)))) into 0 44.306 * [taylor]: Taking taylor expansion of 0 in y 44.306 * [backup-simplify]: Simplify 0 into 0 44.307 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 44.308 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)))) into 0 44.308 * [backup-simplify]: Simplify 0 into 0 44.309 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 44.311 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 44.320 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 44.322 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 44.322 * [taylor]: Taking taylor expansion of 0 in y 44.322 * [backup-simplify]: Simplify 0 into 0 44.322 * [backup-simplify]: Simplify 0 into 0 44.323 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 44.324 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 44.326 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 44.326 * [backup-simplify]: Simplify 0 into 0 44.330 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 44.331 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 44.343 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 44.348 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 44.348 * [taylor]: Taking taylor expansion of 0 in y 44.348 * [backup-simplify]: Simplify 0 into 0 44.348 * [backup-simplify]: Simplify 0 into 0 44.348 * [backup-simplify]: Simplify 0 into 0 44.386 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 44.388 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 44.389 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 44.389 * [backup-simplify]: Simplify 0 into 0 44.391 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* (pow (sqrt 27.0) 2) (* x y)) 44.392 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (sqrt 27.0) (* (/ 1 (- x)) (/ 1 (- y))))) into (/ (pow (sqrt 27.0) 2) (* x y)) 44.392 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0 44.392 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in y 44.392 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 44.392 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 44.392 * [taylor]: Taking taylor expansion of 27.0 in y 44.392 * [backup-simplify]: Simplify 27.0 into 27.0 44.392 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 44.393 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 44.393 * [taylor]: Taking taylor expansion of (* x y) in y 44.393 * [taylor]: Taking taylor expansion of x in y 44.393 * [backup-simplify]: Simplify x into x 44.393 * [taylor]: Taking taylor expansion of y in y 44.393 * [backup-simplify]: Simplify 0 into 0 44.393 * [backup-simplify]: Simplify 1 into 1 44.395 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 44.395 * [backup-simplify]: Simplify (* x 0) into 0 44.395 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 44.396 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) x) into (/ (pow (sqrt 27.0) 2) x) 44.396 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 44.396 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 44.396 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 44.396 * [taylor]: Taking taylor expansion of 27.0 in x 44.396 * [backup-simplify]: Simplify 27.0 into 27.0 44.397 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 44.398 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 44.398 * [taylor]: Taking taylor expansion of (* x y) in x 44.398 * [taylor]: Taking taylor expansion of x in x 44.398 * [backup-simplify]: Simplify 0 into 0 44.398 * [backup-simplify]: Simplify 1 into 1 44.398 * [taylor]: Taking taylor expansion of y in x 44.398 * [backup-simplify]: Simplify y into y 44.400 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 44.400 * [backup-simplify]: Simplify (* 0 y) into 0 44.400 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 44.401 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 44.401 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 44.401 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 44.401 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 44.401 * [taylor]: Taking taylor expansion of 27.0 in x 44.401 * [backup-simplify]: Simplify 27.0 into 27.0 44.402 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 44.403 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 44.403 * [taylor]: Taking taylor expansion of (* x y) in x 44.403 * [taylor]: Taking taylor expansion of x in x 44.403 * [backup-simplify]: Simplify 0 into 0 44.403 * [backup-simplify]: Simplify 1 into 1 44.403 * [taylor]: Taking taylor expansion of y in x 44.403 * [backup-simplify]: Simplify y into y 44.404 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 44.404 * [backup-simplify]: Simplify (* 0 y) into 0 44.404 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 44.405 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 44.406 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) y) in y 44.406 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 44.406 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 44.406 * [taylor]: Taking taylor expansion of 27.0 in y 44.406 * [backup-simplify]: Simplify 27.0 into 27.0 44.406 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 44.407 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 44.407 * [taylor]: Taking taylor expansion of y in y 44.407 * [backup-simplify]: Simplify 0 into 0 44.407 * [backup-simplify]: Simplify 1 into 1 44.408 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 44.410 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) 1) into (pow (sqrt 27.0) 2) 44.411 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2) 44.412 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 44.413 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 44.414 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)))) into 0 44.414 * [taylor]: Taking taylor expansion of 0 in y 44.414 * [backup-simplify]: Simplify 0 into 0 44.415 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 44.416 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)))) into 0 44.416 * [backup-simplify]: Simplify 0 into 0 44.417 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 44.418 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 44.420 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 44.421 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 44.421 * [taylor]: Taking taylor expansion of 0 in y 44.421 * [backup-simplify]: Simplify 0 into 0 44.421 * [backup-simplify]: Simplify 0 into 0 44.422 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 44.423 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 44.425 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 44.425 * [backup-simplify]: Simplify 0 into 0 44.426 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 44.427 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 44.429 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 44.430 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 44.430 * [taylor]: Taking taylor expansion of 0 in y 44.430 * [backup-simplify]: Simplify 0 into 0 44.430 * [backup-simplify]: Simplify 0 into 0 44.430 * [backup-simplify]: Simplify 0 into 0 44.432 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 44.433 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 44.435 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 44.435 * [backup-simplify]: Simplify 0 into 0 44.436 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* (pow (sqrt 27.0) 2) (* x y)) 44.436 * * * [progress]: simplifying candidates 44.438 * [simplify]: Simplifying: (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y)) (+ (log (sqrt 27.0)) (+ (log x) (log y))) (+ (log (sqrt 27.0)) (log (* x y))) (log (* (sqrt 27.0) (* x y))) (exp (* (sqrt 27.0) (* x y))) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* x x) x) (* (* y y) y))) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* x y) (* x y)) (* x y))) (* (cbrt (* (sqrt 27.0) (* x y))) (cbrt (* (sqrt 27.0) (* x y)))) (cbrt (* (sqrt 27.0) (* x y))) (* (* (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* x y))) (sqrt (* (sqrt 27.0) (* x y))) (sqrt (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) x) (* (cbrt (sqrt 27.0)) (* x y)) (* (sqrt (cbrt 27.0)) (* x y)) (* (sqrt (sqrt 27.0)) (* x y)) (* (sqrt 27.0) (* x y)) (* (sqrt (sqrt 27.0)) (* x y)) (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) (+ (log (sqrt 27.0)) (+ (log (sqrt 27.0)) (+ (log x) (log y)))) (+ (log (sqrt 27.0)) (+ (log (sqrt 27.0)) (log (* x y)))) (+ (log (sqrt 27.0)) (log (* (sqrt 27.0) (* x y)))) (log (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (exp (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* x x) x) (* (* y y) y)))) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* x y) (* x y)) (* x y)))) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* x y)))) (* (cbrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (cbrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))) (cbrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (* (* (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (sqrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (sqrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (* (sqrt 27.0) (sqrt 27.0)) (* (cbrt (sqrt 27.0)) (* (sqrt 27.0) (* x y))) (* (sqrt (cbrt 27.0)) (* (sqrt 27.0) (* x y))) (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y)) (* (pow (sqrt 27.0) 2) (* x y)) (* (pow (sqrt 27.0) 2) (* x y)) (* (pow (sqrt 27.0) 2) (* x y)) 44.440 * * [simplify]: iteration 0: 59 enodes 44.470 * * [simplify]: iteration 1: 154 enodes 44.598 * * [simplify]: iteration 2: 667 enodes 46.630 * * [simplify]: iteration 3: 3280 enodes 50.784 * * [simplify]: iteration complete: 5003 enodes 50.784 * * [simplify]: Extracting #0: cost 22 inf + 0 50.786 * * [simplify]: Extracting #1: cost 255 inf + 1 50.795 * * [simplify]: Extracting #2: cost 951 inf + 11676 50.838 * * [simplify]: Extracting #3: cost 524 inf + 109680 50.928 * * [simplify]: Extracting #4: cost 46 inf + 203920 51.016 * * [simplify]: Extracting #5: cost 7 inf + 213797 51.108 * * [simplify]: Extracting #6: cost 0 inf + 216421 51.211 * [simplify]: Simplified to: (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y)) (log (* (sqrt 27.0) (* x y))) (log (* (sqrt 27.0) (* x y))) (log (* (sqrt 27.0) (* x y))) (exp (* (sqrt 27.0) (* x y))) (* (* (* x y) (* (* (sqrt 27.0) (* x y)) 27.0)) (* x y)) (* (* (* x y) (* (* (sqrt 27.0) (* x y)) 27.0)) (* x y)) (* (cbrt (* (sqrt 27.0) (* x y))) (cbrt (* (sqrt 27.0) (* x y)))) (cbrt (* (sqrt 27.0) (* x y))) (* (* (* x y) (* (* (sqrt 27.0) (* x y)) 27.0)) (* x y)) (sqrt (* (sqrt 27.0) (* x y))) (sqrt (* (sqrt 27.0) (* x y))) (* x (sqrt 27.0)) (* (* x (cbrt (sqrt 27.0))) y) (* x (* (sqrt (cbrt 27.0)) y)) (* (* (sqrt (sqrt 27.0)) x) y) (* (sqrt 27.0) (* x y)) (* (* (sqrt (sqrt 27.0)) x) y) (* (sqrt 27.0) (* x y)) (* x (* y 27.0)) (* x (* y 27.0)) (* x (* y 27.0)) (log (* x (* y 27.0))) (log (* x (* y 27.0))) (log (* x (* y 27.0))) (log (* x (* y 27.0))) (exp (* x (* y 27.0))) (* (* (* 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))) (* (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))) 27.0 (* (* (cbrt (sqrt 27.0)) y) (* x (sqrt 27.0))) (* (* (sqrt (cbrt 27.0)) y) (* x (sqrt 27.0))) (* (* (* x y) (sqrt 27.0)) (sqrt (sqrt 27.0))) (* x (* y 27.0)) (* (* (* x y) (sqrt 27.0)) (sqrt (sqrt 27.0))) (* x (* y 27.0)) (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y)) (* x (* y 27.0)) (* x (* y 27.0)) (* x (* y 27.0)) 51.213 * * * [progress]: adding candidates to table 51.532 * [progress]: [Phase 3 of 3] Extracting. 51.532 * * [regime]: Finding splitpoints for: (# # # # # # #) 51.533 * * * [regime-changes]: Trying 3 branch expressions: ((* x 27.0) y x) 51.533 * * * * [regimes]: Trying to branch on (* x 27.0) from (# # # # # # #) 51.670 * * * * [regimes]: Trying to branch on (* x 27.0) from (# #) 51.729 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 52.089 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 52.498 * * * [regime]: Found split indices: #