452.302 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.022 * * * [progress]: [2/2] Setting up program. 0.028 * [progress]: [Phase 2 of 3] Improving. 0.029 * [simplify]: Simplifying: (* (* x 27.0) y) 0.029 * * [simplify]: iteration 0: 5 enodes 0.031 * * [simplify]: iteration 1: 9 enodes 0.034 * * [simplify]: iteration 2: 15 enodes 0.040 * * [simplify]: iteration 3: 17 enodes 0.046 * * [simplify]: iteration complete: 17 enodes 0.046 * * [simplify]: Extracting #0: cost 1 inf + 0 0.046 * * [simplify]: Extracting #1: cost 7 inf + 0 0.046 * * [simplify]: Extracting #2: cost 3 inf + 45 0.046 * * [simplify]: Extracting #3: cost 0 inf + 212 0.046 * [simplify]: Simplified to: (* (* 27.0 x) y) 0.047 * * [progress]: iteration 1 / 4 0.047 * * * [progress]: picking best candidate 0.054 * * * * [pick]: Picked # 0.054 * * * [progress]: localizing error 0.066 * * * [progress]: generating rewritten candidates 0.066 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.129 * * * [progress]: generating series expansions 0.129 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.129 * [backup-simplify]: Simplify (* (* x 27.0) 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.129 * [taylor]: Taking taylor expansion of 27.0 in y 0.129 * [backup-simplify]: Simplify 27.0 into 27.0 0.129 * [taylor]: Taking taylor expansion of (* x y) in y 0.129 * [taylor]: Taking taylor expansion of x in y 0.129 * [backup-simplify]: Simplify x into x 0.129 * [taylor]: Taking taylor expansion of y in y 0.129 * [backup-simplify]: Simplify 0 into 0 0.129 * [backup-simplify]: Simplify 1 into 1 0.129 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 0.129 * [taylor]: Taking taylor expansion of 27.0 in x 0.129 * [backup-simplify]: Simplify 27.0 into 27.0 0.129 * [taylor]: Taking taylor expansion of (* x y) in x 0.129 * [taylor]: Taking taylor expansion of x in x 0.129 * [backup-simplify]: Simplify 0 into 0 0.129 * [backup-simplify]: Simplify 1 into 1 0.129 * [taylor]: Taking taylor expansion of y in x 0.129 * [backup-simplify]: Simplify y into y 0.129 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 0.130 * [taylor]: Taking taylor expansion of 27.0 in x 0.130 * [backup-simplify]: Simplify 27.0 into 27.0 0.130 * [taylor]: Taking taylor expansion of (* x y) in x 0.130 * [taylor]: Taking taylor expansion of x in x 0.130 * [backup-simplify]: Simplify 0 into 0 0.130 * [backup-simplify]: Simplify 1 into 1 0.130 * [taylor]: Taking taylor expansion of y in x 0.130 * [backup-simplify]: Simplify y into y 0.130 * [backup-simplify]: Simplify (* 0 y) into 0 0.130 * [backup-simplify]: Simplify (* 27.0 0) into 0 0.130 * [taylor]: Taking taylor expansion of 0 in y 0.130 * [backup-simplify]: Simplify 0 into 0 0.130 * [backup-simplify]: Simplify 0 into 0 0.130 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.131 * [backup-simplify]: Simplify (+ (* 27.0 y) (* 0 0)) into (* 27.0 y) 0.131 * [taylor]: Taking taylor expansion of (* 27.0 y) in y 0.131 * [taylor]: Taking taylor expansion of 27.0 in y 0.131 * [backup-simplify]: Simplify 27.0 into 27.0 0.131 * [taylor]: Taking taylor expansion of y in y 0.131 * [backup-simplify]: Simplify 0 into 0 0.131 * [backup-simplify]: Simplify 1 into 1 0.131 * [backup-simplify]: Simplify (* 27.0 0) into 0 0.131 * [backup-simplify]: Simplify 0 into 0 0.131 * [backup-simplify]: Simplify 0 into 0 0.132 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.132 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 y) (* 0 0))) into 0 0.132 * [taylor]: Taking taylor expansion of 0 in y 0.132 * [backup-simplify]: Simplify 0 into 0 0.132 * [backup-simplify]: Simplify 0 into 0 0.134 * [backup-simplify]: Simplify (+ (* 27.0 1) (* 0 0)) into 27.0 0.134 * [backup-simplify]: Simplify 27.0 into 27.0 0.134 * [backup-simplify]: Simplify 0 into 0 0.134 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 0.135 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 0.135 * [taylor]: Taking taylor expansion of 0 in y 0.135 * [backup-simplify]: Simplify 0 into 0 0.135 * [backup-simplify]: Simplify 0 into 0 0.135 * [backup-simplify]: Simplify 0 into 0 0.136 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 1) (* 0 0))) into 0 0.136 * [backup-simplify]: Simplify 0 into 0 0.136 * [backup-simplify]: Simplify 0 into 0 0.138 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.139 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 0.140 * [taylor]: Taking taylor expansion of 0 in y 0.140 * [backup-simplify]: Simplify 0 into 0 0.140 * [backup-simplify]: Simplify 0 into 0 0.140 * [backup-simplify]: Simplify (* 27.0 (* y x)) into (* 27.0 (* x y)) 0.140 * [backup-simplify]: Simplify (* (* (/ 1 x) 27.0) (/ 1 y)) into (/ 27.0 (* x y)) 0.140 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 0.140 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 0.140 * [taylor]: Taking taylor expansion of 27.0 in y 0.140 * [backup-simplify]: Simplify 27.0 into 27.0 0.140 * [taylor]: Taking taylor expansion of (* x y) in y 0.140 * [taylor]: Taking taylor expansion of x in y 0.140 * [backup-simplify]: Simplify x into x 0.140 * [taylor]: Taking taylor expansion of y in y 0.140 * [backup-simplify]: Simplify 0 into 0 0.140 * [backup-simplify]: Simplify 1 into 1 0.140 * [backup-simplify]: Simplify (* x 0) into 0 0.141 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 0.141 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 0.141 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 0.141 * [taylor]: Taking taylor expansion of 27.0 in x 0.141 * [backup-simplify]: Simplify 27.0 into 27.0 0.141 * [taylor]: Taking taylor expansion of (* x y) in x 0.141 * [taylor]: Taking taylor expansion of x in x 0.141 * [backup-simplify]: Simplify 0 into 0 0.141 * [backup-simplify]: Simplify 1 into 1 0.141 * [taylor]: Taking taylor expansion of y in x 0.141 * [backup-simplify]: Simplify y into y 0.141 * [backup-simplify]: Simplify (* 0 y) into 0 0.142 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.142 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 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.142 * [backup-simplify]: Simplify 1 into 1 0.142 * [taylor]: Taking taylor expansion of y in x 0.142 * [backup-simplify]: Simplify y into y 0.142 * [backup-simplify]: Simplify (* 0 y) into 0 0.142 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.142 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 0.143 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 0.143 * [taylor]: Taking taylor expansion of 27.0 in y 0.143 * [backup-simplify]: Simplify 27.0 into 27.0 0.143 * [taylor]: Taking taylor expansion of y in y 0.143 * [backup-simplify]: Simplify 0 into 0 0.143 * [backup-simplify]: Simplify 1 into 1 0.144 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 0.144 * [backup-simplify]: Simplify 27.0 into 27.0 0.145 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.145 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 0.145 * [taylor]: Taking taylor expansion of 0 in y 0.145 * [backup-simplify]: Simplify 0 into 0 0.146 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 0.146 * [backup-simplify]: Simplify 0 into 0 0.147 * [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.150 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.150 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.150 * [taylor]: Taking taylor expansion of 0 in y 0.150 * [backup-simplify]: Simplify 0 into 0 0.150 * [backup-simplify]: Simplify 0 into 0 0.150 * [backup-simplify]: Simplify 0 into 0 0.151 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.151 * [backup-simplify]: Simplify 0 into 0 0.152 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 27.0 (* x y)) 0.152 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) 27.0) (/ 1 (- y))) into (/ 27.0 (* x y)) 0.152 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 0.152 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 0.152 * [taylor]: Taking taylor expansion of 27.0 in y 0.152 * [backup-simplify]: Simplify 27.0 into 27.0 0.152 * [taylor]: Taking taylor expansion of (* x y) in y 0.152 * [taylor]: Taking taylor expansion of x in y 0.152 * [backup-simplify]: Simplify x into x 0.152 * [taylor]: Taking taylor expansion of y in y 0.152 * [backup-simplify]: Simplify 0 into 0 0.152 * [backup-simplify]: Simplify 1 into 1 0.152 * [backup-simplify]: Simplify (* x 0) into 0 0.153 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 0.153 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 0.153 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 0.153 * [taylor]: Taking taylor expansion of 27.0 in x 0.153 * [backup-simplify]: Simplify 27.0 into 27.0 0.153 * [taylor]: Taking taylor expansion of (* x y) in x 0.153 * [taylor]: Taking taylor expansion of x in x 0.153 * [backup-simplify]: Simplify 0 into 0 0.153 * [backup-simplify]: Simplify 1 into 1 0.153 * [taylor]: Taking taylor expansion of y in x 0.153 * [backup-simplify]: Simplify y into y 0.153 * [backup-simplify]: Simplify (* 0 y) into 0 0.154 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.154 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 0.154 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 0.154 * [taylor]: Taking taylor expansion of 27.0 in x 0.154 * [backup-simplify]: Simplify 27.0 into 27.0 0.154 * [taylor]: Taking taylor expansion of (* x y) in x 0.154 * [taylor]: Taking taylor expansion of x in x 0.154 * [backup-simplify]: Simplify 0 into 0 0.154 * [backup-simplify]: Simplify 1 into 1 0.154 * [taylor]: Taking taylor expansion of y in x 0.154 * [backup-simplify]: Simplify y into y 0.154 * [backup-simplify]: Simplify (* 0 y) into 0 0.155 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.155 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 0.155 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 0.155 * [taylor]: Taking taylor expansion of 27.0 in y 0.155 * [backup-simplify]: Simplify 27.0 into 27.0 0.155 * [taylor]: Taking taylor expansion of y in y 0.156 * [backup-simplify]: Simplify 0 into 0 0.156 * [backup-simplify]: Simplify 1 into 1 0.156 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 0.156 * [backup-simplify]: Simplify 27.0 into 27.0 0.157 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.157 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 0.157 * [taylor]: Taking taylor expansion of 0 in y 0.157 * [backup-simplify]: Simplify 0 into 0 0.158 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 0.158 * [backup-simplify]: Simplify 0 into 0 0.160 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 0.160 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.160 * [taylor]: Taking taylor expansion of 0 in y 0.160 * [backup-simplify]: Simplify 0 into 0 0.161 * [backup-simplify]: Simplify 0 into 0 0.162 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.162 * [backup-simplify]: Simplify 0 into 0 0.163 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.164 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.164 * [taylor]: Taking taylor expansion of 0 in y 0.164 * [backup-simplify]: Simplify 0 into 0 0.164 * [backup-simplify]: Simplify 0 into 0 0.164 * [backup-simplify]: Simplify 0 into 0 0.165 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.165 * [backup-simplify]: Simplify 0 into 0 0.165 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 27.0 (* x y)) 0.165 * * * [progress]: simplifying candidates 0.166 * [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.167 * * [simplify]: iteration 0: 42 enodes 0.188 * * [simplify]: iteration 1: 106 enodes 0.277 * * [simplify]: iteration 2: 365 enodes 1.026 * * [simplify]: iteration 3: 1499 enodes 2.735 * * [simplify]: iteration complete: 5002 enodes 2.736 * * [simplify]: Extracting #0: cost 13 inf + 0 2.738 * * [simplify]: Extracting #1: cost 590 inf + 0 2.748 * * [simplify]: Extracting #2: cost 1801 inf + 1457 2.774 * * [simplify]: Extracting #3: cost 1454 inf + 73488 2.855 * * [simplify]: Extracting #4: cost 237 inf + 253707 2.954 * * [simplify]: Extracting #5: cost 5 inf + 291584 3.053 * * [simplify]: Extracting #6: cost 0 inf + 291069 3.170 * [simplify]: Simplified to: (expm1 (* x (* 27.0 y))) (log1p (* x (* 27.0 y))) (* x (* 27.0 y)) (* x (* 27.0 y)) (log (* x (* 27.0 y))) (log (* x (* 27.0 y))) (log (* x (* 27.0 y))) (exp (* x (* 27.0 y))) (* (* x (* 27.0 y)) (* (* x (* 27.0 y)) (* x (* 27.0 y)))) (* (* x (* 27.0 y)) (* (* x (* 27.0 y)) (* x (* 27.0 y)))) (* (cbrt (* x (* 27.0 y))) (cbrt (* x (* 27.0 y)))) (cbrt (* x (* 27.0 y))) (* (* x (* 27.0 y)) (* (* x (* 27.0 y)) (* x (* 27.0 y)))) (sqrt (* x (* 27.0 y))) (sqrt (* x (* 27.0 y))) (* x (* (* 27.0 (cbrt y)) (cbrt y))) (* (sqrt y) (* 27.0 x)) (* 27.0 x) (* y 27.0) (* x (* 27.0 y)) (* x (* 27.0 y)) (* x (* 27.0 y)) 3.171 * * * [progress]: adding candidates to table 3.302 * * [progress]: iteration 2 / 4 3.302 * * * [progress]: picking best candidate 3.339 * * * * [pick]: Picked # 3.339 * * * [progress]: localizing error 3.352 * * * [progress]: generating rewritten candidates 3.352 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 3.383 * * * [progress]: generating series expansions 3.383 * * * * [progress]: [ 1 / 1 ] generating series at (2) 3.383 * [backup-simplify]: Simplify (* x (* 27.0 y)) into (* 27.0 (* x y)) 3.383 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0 3.383 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y 3.383 * [taylor]: Taking taylor expansion of 27.0 in y 3.383 * [backup-simplify]: Simplify 27.0 into 27.0 3.383 * [taylor]: Taking taylor expansion of (* x y) in y 3.383 * [taylor]: Taking taylor expansion of x in y 3.384 * [backup-simplify]: Simplify x into x 3.384 * [taylor]: Taking taylor expansion of y in y 3.384 * [backup-simplify]: Simplify 0 into 0 3.384 * [backup-simplify]: Simplify 1 into 1 3.384 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 3.384 * [taylor]: Taking taylor expansion of 27.0 in x 3.384 * [backup-simplify]: Simplify 27.0 into 27.0 3.384 * [taylor]: Taking taylor expansion of (* x y) in x 3.384 * [taylor]: Taking taylor expansion of x in x 3.384 * [backup-simplify]: Simplify 0 into 0 3.384 * [backup-simplify]: Simplify 1 into 1 3.384 * [taylor]: Taking taylor expansion of y in x 3.384 * [backup-simplify]: Simplify y into y 3.384 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 3.384 * [taylor]: Taking taylor expansion of 27.0 in x 3.384 * [backup-simplify]: Simplify 27.0 into 27.0 3.384 * [taylor]: Taking taylor expansion of (* x y) in x 3.384 * [taylor]: Taking taylor expansion of x in x 3.384 * [backup-simplify]: Simplify 0 into 0 3.384 * [backup-simplify]: Simplify 1 into 1 3.384 * [taylor]: Taking taylor expansion of y in x 3.384 * [backup-simplify]: Simplify y into y 3.384 * [backup-simplify]: Simplify (* 0 y) into 0 3.385 * [backup-simplify]: Simplify (* 27.0 0) into 0 3.385 * [taylor]: Taking taylor expansion of 0 in y 3.385 * [backup-simplify]: Simplify 0 into 0 3.385 * [backup-simplify]: Simplify 0 into 0 3.386 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.386 * [backup-simplify]: Simplify (+ (* 27.0 y) (* 0 0)) into (* 27.0 y) 3.386 * [taylor]: Taking taylor expansion of (* 27.0 y) in y 3.386 * [taylor]: Taking taylor expansion of 27.0 in y 3.386 * [backup-simplify]: Simplify 27.0 into 27.0 3.386 * [taylor]: Taking taylor expansion of y in y 3.386 * [backup-simplify]: Simplify 0 into 0 3.386 * [backup-simplify]: Simplify 1 into 1 3.387 * [backup-simplify]: Simplify (* 27.0 0) into 0 3.387 * [backup-simplify]: Simplify 0 into 0 3.387 * [backup-simplify]: Simplify 0 into 0 3.388 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 3.389 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 y) (* 0 0))) into 0 3.389 * [taylor]: Taking taylor expansion of 0 in y 3.389 * [backup-simplify]: Simplify 0 into 0 3.389 * [backup-simplify]: Simplify 0 into 0 3.390 * [backup-simplify]: Simplify (+ (* 27.0 1) (* 0 0)) into 27.0 3.390 * [backup-simplify]: Simplify 27.0 into 27.0 3.390 * [backup-simplify]: Simplify 0 into 0 3.391 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 3.393 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 3.393 * [taylor]: Taking taylor expansion of 0 in y 3.393 * [backup-simplify]: Simplify 0 into 0 3.393 * [backup-simplify]: Simplify 0 into 0 3.393 * [backup-simplify]: Simplify 0 into 0 3.394 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 1) (* 0 0))) into 0 3.394 * [backup-simplify]: Simplify 0 into 0 3.394 * [backup-simplify]: Simplify 0 into 0 3.396 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 3.397 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 3.397 * [taylor]: Taking taylor expansion of 0 in y 3.398 * [backup-simplify]: Simplify 0 into 0 3.398 * [backup-simplify]: Simplify 0 into 0 3.398 * [backup-simplify]: Simplify (* 27.0 (* y x)) into (* 27.0 (* x y)) 3.398 * [backup-simplify]: Simplify (* (/ 1 x) (* 27.0 (/ 1 y))) into (/ 27.0 (* x y)) 3.398 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 3.398 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 3.398 * [taylor]: Taking taylor expansion of 27.0 in y 3.398 * [backup-simplify]: Simplify 27.0 into 27.0 3.398 * [taylor]: Taking taylor expansion of (* x y) in y 3.398 * [taylor]: Taking taylor expansion of x in y 3.398 * [backup-simplify]: Simplify x into x 3.398 * [taylor]: Taking taylor expansion of y in y 3.398 * [backup-simplify]: Simplify 0 into 0 3.398 * [backup-simplify]: Simplify 1 into 1 3.398 * [backup-simplify]: Simplify (* x 0) into 0 3.399 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.399 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 3.399 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 3.399 * [taylor]: Taking taylor expansion of 27.0 in x 3.399 * [backup-simplify]: Simplify 27.0 into 27.0 3.399 * [taylor]: Taking taylor expansion of (* x y) in x 3.399 * [taylor]: Taking taylor expansion of x in x 3.399 * [backup-simplify]: Simplify 0 into 0 3.399 * [backup-simplify]: Simplify 1 into 1 3.399 * [taylor]: Taking taylor expansion of y in x 3.399 * [backup-simplify]: Simplify y into y 3.399 * [backup-simplify]: Simplify (* 0 y) into 0 3.400 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.400 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 3.400 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 3.400 * [taylor]: Taking taylor expansion of 27.0 in x 3.400 * [backup-simplify]: Simplify 27.0 into 27.0 3.400 * [taylor]: Taking taylor expansion of (* x y) in x 3.400 * [taylor]: Taking taylor expansion of x in x 3.400 * [backup-simplify]: Simplify 0 into 0 3.400 * [backup-simplify]: Simplify 1 into 1 3.400 * [taylor]: Taking taylor expansion of y in x 3.400 * [backup-simplify]: Simplify y into y 3.400 * [backup-simplify]: Simplify (* 0 y) into 0 3.401 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.401 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 3.401 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 3.401 * [taylor]: Taking taylor expansion of 27.0 in y 3.401 * [backup-simplify]: Simplify 27.0 into 27.0 3.401 * [taylor]: Taking taylor expansion of y in y 3.401 * [backup-simplify]: Simplify 0 into 0 3.401 * [backup-simplify]: Simplify 1 into 1 3.402 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 3.402 * [backup-simplify]: Simplify 27.0 into 27.0 3.403 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 3.403 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 3.403 * [taylor]: Taking taylor expansion of 0 in y 3.403 * [backup-simplify]: Simplify 0 into 0 3.404 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 3.404 * [backup-simplify]: Simplify 0 into 0 3.405 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 3.405 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.405 * [taylor]: Taking taylor expansion of 0 in y 3.405 * [backup-simplify]: Simplify 0 into 0 3.406 * [backup-simplify]: Simplify 0 into 0 3.407 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.407 * [backup-simplify]: Simplify 0 into 0 3.408 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 3.409 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.409 * [taylor]: Taking taylor expansion of 0 in y 3.409 * [backup-simplify]: Simplify 0 into 0 3.409 * [backup-simplify]: Simplify 0 into 0 3.409 * [backup-simplify]: Simplify 0 into 0 3.410 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.410 * [backup-simplify]: Simplify 0 into 0 3.410 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 27.0 (* x y)) 3.410 * [backup-simplify]: Simplify (* (/ 1 (- x)) (* 27.0 (/ 1 (- y)))) into (/ 27.0 (* x y)) 3.410 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 3.410 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 3.411 * [taylor]: Taking taylor expansion of 27.0 in y 3.411 * [backup-simplify]: Simplify 27.0 into 27.0 3.411 * [taylor]: Taking taylor expansion of (* x y) in y 3.411 * [taylor]: Taking taylor expansion of x in y 3.411 * [backup-simplify]: Simplify x into x 3.411 * [taylor]: Taking taylor expansion of y in y 3.411 * [backup-simplify]: Simplify 0 into 0 3.411 * [backup-simplify]: Simplify 1 into 1 3.411 * [backup-simplify]: Simplify (* x 0) into 0 3.411 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.411 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 3.411 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 3.411 * [taylor]: Taking taylor expansion of 27.0 in x 3.412 * [backup-simplify]: Simplify 27.0 into 27.0 3.412 * [taylor]: Taking taylor expansion of (* x y) in x 3.412 * [taylor]: Taking taylor expansion of x in x 3.412 * [backup-simplify]: Simplify 0 into 0 3.412 * [backup-simplify]: Simplify 1 into 1 3.412 * [taylor]: Taking taylor expansion of y in x 3.412 * [backup-simplify]: Simplify y into y 3.412 * [backup-simplify]: Simplify (* 0 y) into 0 3.412 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.412 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 3.412 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 3.412 * [taylor]: Taking taylor expansion of 27.0 in x 3.412 * [backup-simplify]: Simplify 27.0 into 27.0 3.412 * [taylor]: Taking taylor expansion of (* x y) in x 3.412 * [taylor]: Taking taylor expansion of x in x 3.413 * [backup-simplify]: Simplify 0 into 0 3.413 * [backup-simplify]: Simplify 1 into 1 3.413 * [taylor]: Taking taylor expansion of y in x 3.413 * [backup-simplify]: Simplify y into y 3.413 * [backup-simplify]: Simplify (* 0 y) into 0 3.413 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.413 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 3.413 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 3.413 * [taylor]: Taking taylor expansion of 27.0 in y 3.413 * [backup-simplify]: Simplify 27.0 into 27.0 3.413 * [taylor]: Taking taylor expansion of y in y 3.413 * [backup-simplify]: Simplify 0 into 0 3.413 * [backup-simplify]: Simplify 1 into 1 3.414 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 3.414 * [backup-simplify]: Simplify 27.0 into 27.0 3.415 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 3.415 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 3.415 * [taylor]: Taking taylor expansion of 0 in y 3.415 * [backup-simplify]: Simplify 0 into 0 3.416 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 3.416 * [backup-simplify]: Simplify 0 into 0 3.417 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 3.418 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.418 * [taylor]: Taking taylor expansion of 0 in y 3.418 * [backup-simplify]: Simplify 0 into 0 3.418 * [backup-simplify]: Simplify 0 into 0 3.419 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.419 * [backup-simplify]: Simplify 0 into 0 3.420 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 3.421 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.421 * [taylor]: Taking taylor expansion of 0 in y 3.421 * [backup-simplify]: Simplify 0 into 0 3.421 * [backup-simplify]: Simplify 0 into 0 3.421 * [backup-simplify]: Simplify 0 into 0 3.422 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.422 * [backup-simplify]: Simplify 0 into 0 3.422 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 27.0 (* x y)) 3.422 * * * [progress]: simplifying candidates 3.423 * [simplify]: Simplifying: (expm1 (* x (* 27.0 y))) (log1p (* x (* 27.0 y))) (* x (* 27.0 y)) (* x (* 27.0 y)) (+ (log x) (+ (log 27.0) (log y))) (+ (log x) (log (* 27.0 y))) (log (* x (* 27.0 y))) (exp (* x (* 27.0 y))) (* (* (* x x) x) (* (* (* 27.0 27.0) 27.0) (* (* y y) y))) (* (* (* x x) x) (* (* (* 27.0 y) (* 27.0 y)) (* 27.0 y))) (* (cbrt (* x (* 27.0 y))) (cbrt (* x (* 27.0 y)))) (cbrt (* x (* 27.0 y))) (* (* (* x (* 27.0 y)) (* x (* 27.0 y))) (* x (* 27.0 y))) (sqrt (* x (* 27.0 y))) (sqrt (* x (* 27.0 y))) (* x 27.0) (* (cbrt x) (* 27.0 y)) (* (sqrt x) (* 27.0 y)) (* x (* 27.0 y)) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) 3.424 * * [simplify]: iteration 0: 39 enodes 3.440 * * [simplify]: iteration 1: 92 enodes 3.498 * * [simplify]: iteration 2: 297 enodes 3.973 * * [simplify]: iteration 3: 971 enodes 7.982 * * [simplify]: iteration 4: 1923 enodes 18.532 * * [simplify]: iteration 5: 3677 enodes 27.172 * * [simplify]: iteration complete: 5001 enodes 27.172 * * [simplify]: Extracting #0: cost 12 inf + 0 27.173 * * [simplify]: Extracting #1: cost 212 inf + 0 27.183 * * [simplify]: Extracting #2: cost 707 inf + 6616 27.324 * * [simplify]: Extracting #3: cost 701 inf + 54230 27.391 * * [simplify]: Extracting #4: cost 262 inf + 257808 27.475 * * [simplify]: Extracting #5: cost 41 inf + 340727 27.561 * * [simplify]: Extracting #6: cost 0 inf + 358184 27.708 * [simplify]: Simplified to: (expm1 (* y (* 27.0 x))) (log1p (* y (* 27.0 x))) (* 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) (* (* 27.0 (cbrt x)) y) (* (sqrt x) (* y 27.0)) (* y (* 27.0 x)) (* y (* 27.0 x)) (* y (* 27.0 x)) (* y (* 27.0 x)) 27.709 * * * [progress]: adding candidates to table 27.889 * * [progress]: iteration 3 / 4 27.889 * * * [progress]: picking best candidate 27.940 * * * * [pick]: Picked # 27.951 * * * [progress]: localizing error 27.969 * * * [progress]: generating rewritten candidates 27.969 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 28.009 * * * [progress]: generating series expansions 28.009 * * * * [progress]: [ 1 / 1 ] generating series at (2) 28.009 * [backup-simplify]: Simplify (* 27.0 (* x y)) into (* 27.0 (* x y)) 28.009 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0 28.010 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y 28.010 * [taylor]: Taking taylor expansion of 27.0 in y 28.010 * [backup-simplify]: Simplify 27.0 into 27.0 28.010 * [taylor]: Taking taylor expansion of (* x y) in y 28.010 * [taylor]: Taking taylor expansion of x in y 28.010 * [backup-simplify]: Simplify x into x 28.010 * [taylor]: Taking taylor expansion of y in y 28.010 * [backup-simplify]: Simplify 0 into 0 28.010 * [backup-simplify]: Simplify 1 into 1 28.010 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 28.010 * [taylor]: Taking taylor expansion of 27.0 in x 28.010 * [backup-simplify]: Simplify 27.0 into 27.0 28.010 * [taylor]: Taking taylor expansion of (* x y) in x 28.010 * [taylor]: Taking taylor expansion of x in x 28.010 * [backup-simplify]: Simplify 0 into 0 28.010 * [backup-simplify]: Simplify 1 into 1 28.010 * [taylor]: Taking taylor expansion of y in x 28.010 * [backup-simplify]: Simplify y into y 28.010 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 28.010 * [taylor]: Taking taylor expansion of 27.0 in x 28.010 * [backup-simplify]: Simplify 27.0 into 27.0 28.010 * [taylor]: Taking taylor expansion of (* x y) in x 28.010 * [taylor]: Taking taylor expansion of x in x 28.010 * [backup-simplify]: Simplify 0 into 0 28.010 * [backup-simplify]: Simplify 1 into 1 28.010 * [taylor]: Taking taylor expansion of y in x 28.010 * [backup-simplify]: Simplify y into y 28.010 * [backup-simplify]: Simplify (* 0 y) into 0 28.011 * [backup-simplify]: Simplify (* 27.0 0) into 0 28.011 * [taylor]: Taking taylor expansion of 0 in y 28.011 * [backup-simplify]: Simplify 0 into 0 28.011 * [backup-simplify]: Simplify 0 into 0 28.012 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 28.012 * [backup-simplify]: Simplify (+ (* 27.0 y) (* 0 0)) into (* 27.0 y) 28.012 * [taylor]: Taking taylor expansion of (* 27.0 y) in y 28.012 * [taylor]: Taking taylor expansion of 27.0 in y 28.012 * [backup-simplify]: Simplify 27.0 into 27.0 28.012 * [taylor]: Taking taylor expansion of y in y 28.012 * [backup-simplify]: Simplify 0 into 0 28.012 * [backup-simplify]: Simplify 1 into 1 28.013 * [backup-simplify]: Simplify (* 27.0 0) into 0 28.013 * [backup-simplify]: Simplify 0 into 0 28.013 * [backup-simplify]: Simplify 0 into 0 28.014 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 28.015 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 y) (* 0 0))) into 0 28.015 * [taylor]: Taking taylor expansion of 0 in y 28.015 * [backup-simplify]: Simplify 0 into 0 28.015 * [backup-simplify]: Simplify 0 into 0 28.016 * [backup-simplify]: Simplify (+ (* 27.0 1) (* 0 0)) into 27.0 28.016 * [backup-simplify]: Simplify 27.0 into 27.0 28.017 * [backup-simplify]: Simplify 0 into 0 28.018 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 28.019 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 28.024 * [taylor]: Taking taylor expansion of 0 in y 28.024 * [backup-simplify]: Simplify 0 into 0 28.024 * [backup-simplify]: Simplify 0 into 0 28.024 * [backup-simplify]: Simplify 0 into 0 28.026 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 1) (* 0 0))) into 0 28.026 * [backup-simplify]: Simplify 0 into 0 28.026 * [backup-simplify]: Simplify 0 into 0 28.027 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 28.029 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 28.029 * [taylor]: Taking taylor expansion of 0 in y 28.029 * [backup-simplify]: Simplify 0 into 0 28.029 * [backup-simplify]: Simplify 0 into 0 28.029 * [backup-simplify]: Simplify (* 27.0 (* y x)) into (* 27.0 (* x y)) 28.029 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 x) (/ 1 y))) into (/ 27.0 (* x y)) 28.029 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 28.029 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 28.029 * [taylor]: Taking taylor expansion of 27.0 in y 28.029 * [backup-simplify]: Simplify 27.0 into 27.0 28.029 * [taylor]: Taking taylor expansion of (* x y) in y 28.029 * [taylor]: Taking taylor expansion of x in y 28.029 * [backup-simplify]: Simplify x into x 28.029 * [taylor]: Taking taylor expansion of y in y 28.029 * [backup-simplify]: Simplify 0 into 0 28.029 * [backup-simplify]: Simplify 1 into 1 28.030 * [backup-simplify]: Simplify (* x 0) into 0 28.030 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 28.030 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 28.030 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 28.030 * [taylor]: Taking taylor expansion of 27.0 in x 28.030 * [backup-simplify]: Simplify 27.0 into 27.0 28.030 * [taylor]: Taking taylor expansion of (* x y) in x 28.030 * [taylor]: Taking taylor expansion of x in x 28.030 * [backup-simplify]: Simplify 0 into 0 28.030 * [backup-simplify]: Simplify 1 into 1 28.030 * [taylor]: Taking taylor expansion of y in x 28.030 * [backup-simplify]: Simplify y into y 28.030 * [backup-simplify]: Simplify (* 0 y) into 0 28.031 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 28.031 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 28.031 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 28.031 * [taylor]: Taking taylor expansion of 27.0 in x 28.031 * [backup-simplify]: Simplify 27.0 into 27.0 28.031 * [taylor]: Taking taylor expansion of (* x y) in x 28.031 * [taylor]: Taking taylor expansion of x in x 28.031 * [backup-simplify]: Simplify 0 into 0 28.031 * [backup-simplify]: Simplify 1 into 1 28.031 * [taylor]: Taking taylor expansion of y in x 28.031 * [backup-simplify]: Simplify y into y 28.031 * [backup-simplify]: Simplify (* 0 y) into 0 28.032 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 28.032 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 28.032 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 28.032 * [taylor]: Taking taylor expansion of 27.0 in y 28.032 * [backup-simplify]: Simplify 27.0 into 27.0 28.032 * [taylor]: Taking taylor expansion of y in y 28.032 * [backup-simplify]: Simplify 0 into 0 28.032 * [backup-simplify]: Simplify 1 into 1 28.033 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 28.033 * [backup-simplify]: Simplify 27.0 into 27.0 28.033 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 28.034 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 28.034 * [taylor]: Taking taylor expansion of 0 in y 28.034 * [backup-simplify]: Simplify 0 into 0 28.035 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 28.035 * [backup-simplify]: Simplify 0 into 0 28.036 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 28.036 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 28.036 * [taylor]: Taking taylor expansion of 0 in y 28.036 * [backup-simplify]: Simplify 0 into 0 28.036 * [backup-simplify]: Simplify 0 into 0 28.037 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 28.037 * [backup-simplify]: Simplify 0 into 0 28.039 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 28.039 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 28.039 * [taylor]: Taking taylor expansion of 0 in y 28.039 * [backup-simplify]: Simplify 0 into 0 28.039 * [backup-simplify]: Simplify 0 into 0 28.039 * [backup-simplify]: Simplify 0 into 0 28.040 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 28.041 * [backup-simplify]: Simplify 0 into 0 28.041 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 27.0 (* x y)) 28.041 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (- x)) (/ 1 (- y)))) into (/ 27.0 (* x y)) 28.041 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 28.041 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 28.041 * [taylor]: Taking taylor expansion of 27.0 in y 28.041 * [backup-simplify]: Simplify 27.0 into 27.0 28.041 * [taylor]: Taking taylor expansion of (* x y) in y 28.041 * [taylor]: Taking taylor expansion of x in y 28.041 * [backup-simplify]: Simplify x into x 28.041 * [taylor]: Taking taylor expansion of y in y 28.041 * [backup-simplify]: Simplify 0 into 0 28.041 * [backup-simplify]: Simplify 1 into 1 28.041 * [backup-simplify]: Simplify (* x 0) into 0 28.042 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 28.042 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 28.042 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 28.042 * [taylor]: Taking taylor expansion of 27.0 in x 28.042 * [backup-simplify]: Simplify 27.0 into 27.0 28.042 * [taylor]: Taking taylor expansion of (* x y) in x 28.042 * [taylor]: Taking taylor expansion of x in x 28.042 * [backup-simplify]: Simplify 0 into 0 28.042 * [backup-simplify]: Simplify 1 into 1 28.042 * [taylor]: Taking taylor expansion of y in x 28.042 * [backup-simplify]: Simplify y into y 28.042 * [backup-simplify]: Simplify (* 0 y) into 0 28.043 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 28.043 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 28.043 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 28.043 * [taylor]: Taking taylor expansion of 27.0 in x 28.043 * [backup-simplify]: Simplify 27.0 into 27.0 28.043 * [taylor]: Taking taylor expansion of (* x y) in x 28.043 * [taylor]: Taking taylor expansion of x in x 28.043 * [backup-simplify]: Simplify 0 into 0 28.043 * [backup-simplify]: Simplify 1 into 1 28.043 * [taylor]: Taking taylor expansion of y in x 28.043 * [backup-simplify]: Simplify y into y 28.043 * [backup-simplify]: Simplify (* 0 y) into 0 28.044 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 28.044 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 28.044 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 28.044 * [taylor]: Taking taylor expansion of 27.0 in y 28.044 * [backup-simplify]: Simplify 27.0 into 27.0 28.044 * [taylor]: Taking taylor expansion of y in y 28.044 * [backup-simplify]: Simplify 0 into 0 28.044 * [backup-simplify]: Simplify 1 into 1 28.044 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 28.044 * [backup-simplify]: Simplify 27.0 into 27.0 28.045 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 28.045 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 28.046 * [taylor]: Taking taylor expansion of 0 in y 28.046 * [backup-simplify]: Simplify 0 into 0 28.047 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 28.047 * [backup-simplify]: Simplify 0 into 0 28.048 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 28.049 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 28.049 * [taylor]: Taking taylor expansion of 0 in y 28.049 * [backup-simplify]: Simplify 0 into 0 28.049 * [backup-simplify]: Simplify 0 into 0 28.050 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 28.050 * [backup-simplify]: Simplify 0 into 0 28.052 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 28.052 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 28.052 * [taylor]: Taking taylor expansion of 0 in y 28.052 * [backup-simplify]: Simplify 0 into 0 28.052 * [backup-simplify]: Simplify 0 into 0 28.052 * [backup-simplify]: Simplify 0 into 0 28.053 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 28.053 * [backup-simplify]: Simplify 0 into 0 28.053 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 27.0 (* x y)) 28.054 * * * [progress]: simplifying candidates 28.054 * [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)) 28.055 * * [simplify]: iteration 0: 37 enodes 28.077 * * [simplify]: iteration 1: 87 enodes 28.153 * * [simplify]: iteration 2: 272 enodes 28.857 * * [simplify]: iteration 3: 835 enodes 33.617 * * [simplify]: iteration 4: 2027 enodes 43.828 * * [simplify]: iteration 5: 4545 enodes 47.092 * * [simplify]: iteration complete: 5012 enodes 47.093 * * [simplify]: Extracting #0: cost 12 inf + 0 47.094 * * [simplify]: Extracting #1: cost 208 inf + 0 47.103 * * [simplify]: Extracting #2: cost 522 inf + 6512 47.126 * * [simplify]: Extracting #3: cost 519 inf + 40755 47.177 * * [simplify]: Extracting #4: cost 186 inf + 179878 47.250 * * [simplify]: Extracting #5: cost 32 inf + 236752 47.411 * * [simplify]: Extracting #6: cost 7 inf + 247835 47.485 * * [simplify]: Extracting #7: cost 1 inf + 252456 47.556 * * [simplify]: Extracting #8: cost 0 inf + 253151 47.633 * [simplify]: Simplified to: (expm1 (* y (* x 27.0))) (log1p (* y (* x 27.0))) (* 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) (* y (* x (cbrt 27.0))) (* (sqrt 27.0) (* y x)) (* y (* x 27.0)) (* y (* x 27.0)) (* y (* x 27.0)) (* y (* x 27.0)) 47.634 * * * [progress]: adding candidates to table 47.745 * * [progress]: iteration 4 / 4 47.746 * * * [progress]: picking best candidate 47.777 * * * * [pick]: Picked # 47.777 * * * [progress]: localizing error 47.797 * * * [progress]: generating rewritten candidates 47.797 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 47.836 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 47.945 * * * [progress]: generating series expansions 47.945 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 47.946 * [backup-simplify]: Simplify (* (sqrt 27.0) (* x y)) into (* (sqrt 27.0) (* x y)) 47.946 * [approximate]: Taking taylor expansion of (* (sqrt 27.0) (* x y)) in (x y) around 0 47.946 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* x y)) in y 47.946 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 47.946 * [taylor]: Taking taylor expansion of 27.0 in y 47.946 * [backup-simplify]: Simplify 27.0 into 27.0 47.947 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 47.947 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 47.947 * [taylor]: Taking taylor expansion of (* x y) in y 47.947 * [taylor]: Taking taylor expansion of x in y 47.947 * [backup-simplify]: Simplify x into x 47.947 * [taylor]: Taking taylor expansion of y in y 47.947 * [backup-simplify]: Simplify 0 into 0 47.947 * [backup-simplify]: Simplify 1 into 1 47.948 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* x y)) in x 47.948 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 47.948 * [taylor]: Taking taylor expansion of 27.0 in x 47.948 * [backup-simplify]: Simplify 27.0 into 27.0 47.948 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 47.949 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 47.949 * [taylor]: Taking taylor expansion of (* x y) in x 47.949 * [taylor]: Taking taylor expansion of x in x 47.949 * [backup-simplify]: Simplify 0 into 0 47.949 * [backup-simplify]: Simplify 1 into 1 47.949 * [taylor]: Taking taylor expansion of y in x 47.949 * [backup-simplify]: Simplify y into y 47.949 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* x y)) in x 47.949 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 47.949 * [taylor]: Taking taylor expansion of 27.0 in x 47.949 * [backup-simplify]: Simplify 27.0 into 27.0 47.949 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 47.950 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 47.950 * [taylor]: Taking taylor expansion of (* x y) in x 47.950 * [taylor]: Taking taylor expansion of x in x 47.950 * [backup-simplify]: Simplify 0 into 0 47.950 * [backup-simplify]: Simplify 1 into 1 47.950 * [taylor]: Taking taylor expansion of y in x 47.950 * [backup-simplify]: Simplify y into y 47.950 * [backup-simplify]: Simplify (* 0 y) into 0 47.951 * [backup-simplify]: Simplify (* (sqrt 27.0) 0) into 0 47.951 * [taylor]: Taking taylor expansion of 0 in y 47.951 * [backup-simplify]: Simplify 0 into 0 47.951 * [backup-simplify]: Simplify 0 into 0 47.952 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 47.952 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) y) (* 0 0)) into (* (sqrt 27.0) y) 47.952 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) y) in y 47.952 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 47.952 * [taylor]: Taking taylor expansion of 27.0 in y 47.952 * [backup-simplify]: Simplify 27.0 into 27.0 47.953 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 47.954 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 47.954 * [taylor]: Taking taylor expansion of y in y 47.954 * [backup-simplify]: Simplify 0 into 0 47.954 * [backup-simplify]: Simplify 1 into 1 47.954 * [backup-simplify]: Simplify (* (sqrt 27.0) 0) into 0 47.954 * [backup-simplify]: Simplify 0 into 0 47.954 * [backup-simplify]: Simplify 0 into 0 47.955 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 47.956 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 47.957 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 y) (* 0 0))) into 0 47.957 * [taylor]: Taking taylor expansion of 0 in y 47.957 * [backup-simplify]: Simplify 0 into 0 47.957 * [backup-simplify]: Simplify 0 into 0 47.959 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 1) (* 0 0)) into (sqrt 27.0) 47.960 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 47.960 * [backup-simplify]: Simplify 0 into 0 47.961 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 47.962 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 47.963 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 47.963 * [taylor]: Taking taylor expansion of 0 in y 47.963 * [backup-simplify]: Simplify 0 into 0 47.963 * [backup-simplify]: Simplify 0 into 0 47.964 * [backup-simplify]: Simplify 0 into 0 47.965 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 47.966 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 1) (* 0 0))) into 0 47.966 * [backup-simplify]: Simplify 0 into 0 47.966 * [backup-simplify]: Simplify 0 into 0 47.967 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 47.969 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 47.974 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 47.974 * [taylor]: Taking taylor expansion of 0 in y 47.974 * [backup-simplify]: Simplify 0 into 0 47.974 * [backup-simplify]: Simplify 0 into 0 47.975 * [backup-simplify]: Simplify (* (sqrt 27.0) (* y x)) into (* (sqrt 27.0) (* x y)) 47.975 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 x) (/ 1 y))) into (/ (sqrt 27.0) (* x y)) 47.975 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in (x y) around 0 47.975 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in y 47.976 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 47.976 * [taylor]: Taking taylor expansion of 27.0 in y 47.976 * [backup-simplify]: Simplify 27.0 into 27.0 47.976 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 47.977 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 47.977 * [taylor]: Taking taylor expansion of (* x y) in y 47.977 * [taylor]: Taking taylor expansion of x in y 47.977 * [backup-simplify]: Simplify x into x 47.977 * [taylor]: Taking taylor expansion of y in y 47.977 * [backup-simplify]: Simplify 0 into 0 47.977 * [backup-simplify]: Simplify 1 into 1 47.977 * [backup-simplify]: Simplify (* x 0) into 0 47.977 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 47.978 * [backup-simplify]: Simplify (/ (sqrt 27.0) x) into (/ (sqrt 27.0) x) 47.978 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 47.978 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 47.978 * [taylor]: Taking taylor expansion of 27.0 in x 47.978 * [backup-simplify]: Simplify 27.0 into 27.0 47.978 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 47.979 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 47.979 * [taylor]: Taking taylor expansion of (* x y) in x 47.979 * [taylor]: Taking taylor expansion of x in x 47.979 * [backup-simplify]: Simplify 0 into 0 47.979 * [backup-simplify]: Simplify 1 into 1 47.979 * [taylor]: Taking taylor expansion of y in x 47.979 * [backup-simplify]: Simplify y into y 47.979 * [backup-simplify]: Simplify (* 0 y) into 0 47.980 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 47.980 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 47.980 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 47.980 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 47.980 * [taylor]: Taking taylor expansion of 27.0 in x 47.980 * [backup-simplify]: Simplify 27.0 into 27.0 47.981 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 47.981 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 47.981 * [taylor]: Taking taylor expansion of (* x y) in x 47.981 * [taylor]: Taking taylor expansion of x in x 47.981 * [backup-simplify]: Simplify 0 into 0 47.982 * [backup-simplify]: Simplify 1 into 1 47.982 * [taylor]: Taking taylor expansion of y in x 47.982 * [backup-simplify]: Simplify y into y 47.982 * [backup-simplify]: Simplify (* 0 y) into 0 47.982 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 47.982 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 47.983 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y 47.983 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 47.983 * [taylor]: Taking taylor expansion of 27.0 in y 47.983 * [backup-simplify]: Simplify 27.0 into 27.0 47.983 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 47.984 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 47.984 * [taylor]: Taking taylor expansion of y in y 47.984 * [backup-simplify]: Simplify 0 into 0 47.984 * [backup-simplify]: Simplify 1 into 1 47.985 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0) 47.985 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 47.986 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 47.987 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)))) into 0 47.987 * [taylor]: Taking taylor expansion of 0 in y 47.987 * [backup-simplify]: Simplify 0 into 0 47.988 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)))) into 0 47.988 * [backup-simplify]: Simplify 0 into 0 47.989 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 47.991 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 47.991 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 47.991 * [taylor]: Taking taylor expansion of 0 in y 47.992 * [backup-simplify]: Simplify 0 into 0 47.992 * [backup-simplify]: Simplify 0 into 0 47.993 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 47.994 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 47.994 * [backup-simplify]: Simplify 0 into 0 47.996 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 47.998 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 47.998 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 47.998 * [taylor]: Taking taylor expansion of 0 in y 47.999 * [backup-simplify]: Simplify 0 into 0 47.999 * [backup-simplify]: Simplify 0 into 0 47.999 * [backup-simplify]: Simplify 0 into 0 48.000 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 48.001 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.001 * [backup-simplify]: Simplify 0 into 0 48.002 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* (sqrt 27.0) (* x y)) 48.003 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (- x)) (/ 1 (- y)))) into (/ (sqrt 27.0) (* x y)) 48.003 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in (x y) around 0 48.003 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in y 48.003 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 48.003 * [taylor]: Taking taylor expansion of 27.0 in y 48.003 * [backup-simplify]: Simplify 27.0 into 27.0 48.003 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 48.004 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 48.004 * [taylor]: Taking taylor expansion of (* x y) in y 48.004 * [taylor]: Taking taylor expansion of x in y 48.004 * [backup-simplify]: Simplify x into x 48.004 * [taylor]: Taking taylor expansion of y in y 48.004 * [backup-simplify]: Simplify 0 into 0 48.004 * [backup-simplify]: Simplify 1 into 1 48.004 * [backup-simplify]: Simplify (* x 0) into 0 48.005 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 48.005 * [backup-simplify]: Simplify (/ (sqrt 27.0) x) into (/ (sqrt 27.0) x) 48.005 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 48.005 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 48.005 * [taylor]: Taking taylor expansion of 27.0 in x 48.005 * [backup-simplify]: Simplify 27.0 into 27.0 48.006 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 48.006 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 48.006 * [taylor]: Taking taylor expansion of (* x y) in x 48.006 * [taylor]: Taking taylor expansion of x in x 48.006 * [backup-simplify]: Simplify 0 into 0 48.006 * [backup-simplify]: Simplify 1 into 1 48.006 * [taylor]: Taking taylor expansion of y in x 48.006 * [backup-simplify]: Simplify y into y 48.006 * [backup-simplify]: Simplify (* 0 y) into 0 48.007 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 48.007 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 48.007 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 48.007 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 48.007 * [taylor]: Taking taylor expansion of 27.0 in x 48.007 * [backup-simplify]: Simplify 27.0 into 27.0 48.008 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 48.008 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 48.008 * [taylor]: Taking taylor expansion of (* x y) in x 48.008 * [taylor]: Taking taylor expansion of x in x 48.008 * [backup-simplify]: Simplify 0 into 0 48.008 * [backup-simplify]: Simplify 1 into 1 48.009 * [taylor]: Taking taylor expansion of y in x 48.009 * [backup-simplify]: Simplify y into y 48.009 * [backup-simplify]: Simplify (* 0 y) into 0 48.009 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 48.009 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 48.009 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y 48.010 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 48.010 * [taylor]: Taking taylor expansion of 27.0 in y 48.010 * [backup-simplify]: Simplify 27.0 into 27.0 48.010 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 48.011 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 48.011 * [taylor]: Taking taylor expansion of y in y 48.011 * [backup-simplify]: Simplify 0 into 0 48.011 * [backup-simplify]: Simplify 1 into 1 48.011 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0) 48.012 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 48.013 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 48.013 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)))) into 0 48.013 * [taylor]: Taking taylor expansion of 0 in y 48.013 * [backup-simplify]: Simplify 0 into 0 48.014 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)))) into 0 48.014 * [backup-simplify]: Simplify 0 into 0 48.015 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 48.017 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 48.017 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 48.017 * [taylor]: Taking taylor expansion of 0 in y 48.017 * [backup-simplify]: Simplify 0 into 0 48.017 * [backup-simplify]: Simplify 0 into 0 48.018 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 48.019 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.019 * [backup-simplify]: Simplify 0 into 0 48.021 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 48.022 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 48.023 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 48.023 * [taylor]: Taking taylor expansion of 0 in y 48.023 * [backup-simplify]: Simplify 0 into 0 48.023 * [backup-simplify]: Simplify 0 into 0 48.023 * [backup-simplify]: Simplify 0 into 0 48.024 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 48.025 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.025 * [backup-simplify]: Simplify 0 into 0 48.026 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* (sqrt 27.0) (* x y)) 48.026 * * * * [progress]: [ 2 / 2 ] generating series at (2) 48.027 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) into (* (pow (sqrt 27.0) 2) (* x y)) 48.027 * [approximate]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0 48.027 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* x y)) in y 48.027 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 48.027 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 48.027 * [taylor]: Taking taylor expansion of 27.0 in y 48.027 * [backup-simplify]: Simplify 27.0 into 27.0 48.027 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 48.028 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 48.028 * [taylor]: Taking taylor expansion of (* x y) in y 48.028 * [taylor]: Taking taylor expansion of x in y 48.028 * [backup-simplify]: Simplify x into x 48.028 * [taylor]: Taking taylor expansion of y in y 48.028 * [backup-simplify]: Simplify 0 into 0 48.028 * [backup-simplify]: Simplify 1 into 1 48.028 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* x y)) in x 48.028 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 48.028 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 48.029 * [taylor]: Taking taylor expansion of 27.0 in x 48.029 * [backup-simplify]: Simplify 27.0 into 27.0 48.029 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 48.030 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 48.030 * [taylor]: Taking taylor expansion of (* x y) in x 48.030 * [taylor]: Taking taylor expansion of x in x 48.030 * [backup-simplify]: Simplify 0 into 0 48.030 * [backup-simplify]: Simplify 1 into 1 48.030 * [taylor]: Taking taylor expansion of y in x 48.030 * [backup-simplify]: Simplify y into y 48.030 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* x y)) in x 48.030 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 48.030 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 48.030 * [taylor]: Taking taylor expansion of 27.0 in x 48.030 * [backup-simplify]: Simplify 27.0 into 27.0 48.030 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 48.031 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 48.031 * [taylor]: Taking taylor expansion of (* x y) in x 48.031 * [taylor]: Taking taylor expansion of x in x 48.031 * [backup-simplify]: Simplify 0 into 0 48.031 * [backup-simplify]: Simplify 1 into 1 48.031 * [taylor]: Taking taylor expansion of y in x 48.031 * [backup-simplify]: Simplify y into y 48.033 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 48.033 * [backup-simplify]: Simplify (* 0 y) into 0 48.033 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) 0) into 0 48.033 * [taylor]: Taking taylor expansion of 0 in y 48.033 * [backup-simplify]: Simplify 0 into 0 48.033 * [backup-simplify]: Simplify 0 into 0 48.034 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 48.035 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 48.036 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) y) (* 0 0)) into (* (pow (sqrt 27.0) 2) y) 48.036 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) y) in y 48.036 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 48.036 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 48.036 * [taylor]: Taking taylor expansion of 27.0 in y 48.036 * [backup-simplify]: Simplify 27.0 into 27.0 48.037 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 48.037 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 48.037 * [taylor]: Taking taylor expansion of y in y 48.037 * [backup-simplify]: Simplify 0 into 0 48.038 * [backup-simplify]: Simplify 1 into 1 48.039 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 48.039 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) 0) into 0 48.039 * [backup-simplify]: Simplify 0 into 0 48.040 * [backup-simplify]: Simplify 0 into 0 48.040 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 48.042 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 48.043 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 48.044 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 0) (+ (* 0 y) (* 0 0))) into 0 48.044 * [taylor]: Taking taylor expansion of 0 in y 48.044 * [backup-simplify]: Simplify 0 into 0 48.045 * [backup-simplify]: Simplify 0 into 0 48.045 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 48.048 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 1) (* 0 0)) into (pow (sqrt 27.0) 2) 48.049 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2) 48.049 * [backup-simplify]: Simplify 0 into 0 48.051 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 48.052 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 48.053 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 48.055 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 48.055 * [taylor]: Taking taylor expansion of 0 in y 48.055 * [backup-simplify]: Simplify 0 into 0 48.055 * [backup-simplify]: Simplify 0 into 0 48.055 * [backup-simplify]: Simplify 0 into 0 48.056 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 48.057 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 48.059 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 0) (+ (* 0 1) (* 0 0))) into 0 48.059 * [backup-simplify]: Simplify 0 into 0 48.059 * [backup-simplify]: Simplify 0 into 0 48.060 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 48.062 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 48.063 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0)))))) into 0 48.065 * [backup-simplify]: Simplify (+ (* (pow (sqrt 27.0) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 48.065 * [taylor]: Taking taylor expansion of 0 in y 48.065 * [backup-simplify]: Simplify 0 into 0 48.065 * [backup-simplify]: Simplify 0 into 0 48.066 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* y x)) into (* (pow (sqrt 27.0) 2) (* x y)) 48.067 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (sqrt 27.0) (* (/ 1 x) (/ 1 y)))) into (/ (pow (sqrt 27.0) 2) (* x y)) 48.067 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0 48.067 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in y 48.067 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 48.067 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 48.067 * [taylor]: Taking taylor expansion of 27.0 in y 48.067 * [backup-simplify]: Simplify 27.0 into 27.0 48.068 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 48.068 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 48.069 * [taylor]: Taking taylor expansion of (* x y) in y 48.069 * [taylor]: Taking taylor expansion of x in y 48.069 * [backup-simplify]: Simplify x into x 48.069 * [taylor]: Taking taylor expansion of y in y 48.069 * [backup-simplify]: Simplify 0 into 0 48.069 * [backup-simplify]: Simplify 1 into 1 48.070 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 48.070 * [backup-simplify]: Simplify (* x 0) into 0 48.070 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 48.071 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) x) into (/ (pow (sqrt 27.0) 2) x) 48.071 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 48.071 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 48.071 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 48.071 * [taylor]: Taking taylor expansion of 27.0 in x 48.071 * [backup-simplify]: Simplify 27.0 into 27.0 48.072 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 48.073 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 48.073 * [taylor]: Taking taylor expansion of (* x y) in x 48.073 * [taylor]: Taking taylor expansion of x in x 48.073 * [backup-simplify]: Simplify 0 into 0 48.073 * [backup-simplify]: Simplify 1 into 1 48.073 * [taylor]: Taking taylor expansion of y in x 48.073 * [backup-simplify]: Simplify y into y 48.074 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 48.074 * [backup-simplify]: Simplify (* 0 y) into 0 48.074 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 48.075 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 48.076 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 48.076 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 48.076 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 48.076 * [taylor]: Taking taylor expansion of 27.0 in x 48.076 * [backup-simplify]: Simplify 27.0 into 27.0 48.076 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 48.077 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 48.077 * [taylor]: Taking taylor expansion of (* x y) in x 48.077 * [taylor]: Taking taylor expansion of x in x 48.077 * [backup-simplify]: Simplify 0 into 0 48.077 * [backup-simplify]: Simplify 1 into 1 48.077 * [taylor]: Taking taylor expansion of y in x 48.077 * [backup-simplify]: Simplify y into y 48.078 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 48.078 * [backup-simplify]: Simplify (* 0 y) into 0 48.079 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 48.080 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 48.080 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) y) in y 48.080 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 48.080 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 48.080 * [taylor]: Taking taylor expansion of 27.0 in y 48.080 * [backup-simplify]: Simplify 27.0 into 27.0 48.080 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 48.081 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 48.081 * [taylor]: Taking taylor expansion of y in y 48.081 * [backup-simplify]: Simplify 0 into 0 48.081 * [backup-simplify]: Simplify 1 into 1 48.082 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 48.084 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) 1) into (pow (sqrt 27.0) 2) 48.085 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2) 48.086 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 48.087 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 48.089 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)))) into 0 48.089 * [taylor]: Taking taylor expansion of 0 in y 48.089 * [backup-simplify]: Simplify 0 into 0 48.090 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 48.092 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)))) into 0 48.092 * [backup-simplify]: Simplify 0 into 0 48.093 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 48.095 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 48.097 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 48.098 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 48.098 * [taylor]: Taking taylor expansion of 0 in y 48.098 * [backup-simplify]: Simplify 0 into 0 48.098 * [backup-simplify]: Simplify 0 into 0 48.099 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 48.100 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 48.101 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.102 * [backup-simplify]: Simplify 0 into 0 48.103 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 48.104 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 48.106 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 48.107 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 48.107 * [taylor]: Taking taylor expansion of 0 in y 48.107 * [backup-simplify]: Simplify 0 into 0 48.108 * [backup-simplify]: Simplify 0 into 0 48.108 * [backup-simplify]: Simplify 0 into 0 48.109 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 48.111 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 48.112 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.112 * [backup-simplify]: Simplify 0 into 0 48.113 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* (pow (sqrt 27.0) 2) (* x y)) 48.114 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (sqrt 27.0) (* (/ 1 (- x)) (/ 1 (- y))))) into (/ (pow (sqrt 27.0) 2) (* x y)) 48.114 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0 48.114 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in y 48.114 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 48.114 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 48.114 * [taylor]: Taking taylor expansion of 27.0 in y 48.115 * [backup-simplify]: Simplify 27.0 into 27.0 48.115 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 48.116 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 48.116 * [taylor]: Taking taylor expansion of (* x y) in y 48.116 * [taylor]: Taking taylor expansion of x in y 48.116 * [backup-simplify]: Simplify x into x 48.116 * [taylor]: Taking taylor expansion of y in y 48.116 * [backup-simplify]: Simplify 0 into 0 48.116 * [backup-simplify]: Simplify 1 into 1 48.117 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 48.117 * [backup-simplify]: Simplify (* x 0) into 0 48.117 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 48.119 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) x) into (/ (pow (sqrt 27.0) 2) x) 48.119 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 48.119 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 48.119 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 48.119 * [taylor]: Taking taylor expansion of 27.0 in x 48.119 * [backup-simplify]: Simplify 27.0 into 27.0 48.120 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 48.121 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 48.121 * [taylor]: Taking taylor expansion of (* x y) in x 48.121 * [taylor]: Taking taylor expansion of x in x 48.121 * [backup-simplify]: Simplify 0 into 0 48.121 * [backup-simplify]: Simplify 1 into 1 48.121 * [taylor]: Taking taylor expansion of y in x 48.121 * [backup-simplify]: Simplify y into y 48.122 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 48.122 * [backup-simplify]: Simplify (* 0 y) into 0 48.123 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 48.124 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 48.124 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 48.124 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 48.124 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 48.124 * [taylor]: Taking taylor expansion of 27.0 in x 48.124 * [backup-simplify]: Simplify 27.0 into 27.0 48.124 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 48.125 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 48.125 * [taylor]: Taking taylor expansion of (* x y) in x 48.125 * [taylor]: Taking taylor expansion of x in x 48.125 * [backup-simplify]: Simplify 0 into 0 48.125 * [backup-simplify]: Simplify 1 into 1 48.125 * [taylor]: Taking taylor expansion of y in x 48.125 * [backup-simplify]: Simplify y into y 48.141 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 48.141 * [backup-simplify]: Simplify (* 0 y) into 0 48.142 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 48.143 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 48.143 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) y) in y 48.143 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 48.143 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 48.143 * [taylor]: Taking taylor expansion of 27.0 in y 48.143 * [backup-simplify]: Simplify 27.0 into 27.0 48.144 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 48.144 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 48.144 * [taylor]: Taking taylor expansion of y in y 48.144 * [backup-simplify]: Simplify 0 into 0 48.144 * [backup-simplify]: Simplify 1 into 1 48.146 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 48.147 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) 1) into (pow (sqrt 27.0) 2) 48.148 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2) 48.149 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 48.150 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 48.151 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)))) into 0 48.151 * [taylor]: Taking taylor expansion of 0 in y 48.151 * [backup-simplify]: Simplify 0 into 0 48.152 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 48.153 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)))) into 0 48.153 * [backup-simplify]: Simplify 0 into 0 48.154 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 48.156 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 48.157 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 48.158 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 48.158 * [taylor]: Taking taylor expansion of 0 in y 48.158 * [backup-simplify]: Simplify 0 into 0 48.158 * [backup-simplify]: Simplify 0 into 0 48.159 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 48.160 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 48.162 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.162 * [backup-simplify]: Simplify 0 into 0 48.163 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 48.164 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 48.165 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 48.166 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 48.166 * [taylor]: Taking taylor expansion of 0 in y 48.166 * [backup-simplify]: Simplify 0 into 0 48.166 * [backup-simplify]: Simplify 0 into 0 48.167 * [backup-simplify]: Simplify 0 into 0 48.168 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 48.169 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 48.171 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.171 * [backup-simplify]: Simplify 0 into 0 48.172 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* (pow (sqrt 27.0) 2) (* x y)) 48.175 * * * [progress]: simplifying candidates 48.176 * [simplify]: Simplifying: (expm1 (* (sqrt 27.0) (* x y))) (log1p (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y)) (+ (log (sqrt 27.0)) (+ (log x) (log y))) (+ (log (sqrt 27.0)) (log (* x y))) (log (* (sqrt 27.0) (* x y))) (exp (* (sqrt 27.0) (* x y))) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* x x) x) (* (* y y) y))) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* x y) (* x y)) (* x y))) (* (cbrt (* (sqrt 27.0) (* x y))) (cbrt (* (sqrt 27.0) (* x y)))) (cbrt (* (sqrt 27.0) (* x y))) (* (* (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* x y))) (sqrt (* (sqrt 27.0) (* x y))) (sqrt (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) x) (* (cbrt (sqrt 27.0)) (* x y)) (* (sqrt (cbrt 27.0)) (* x y)) (* (sqrt (sqrt 27.0)) (* x y)) (* (sqrt 27.0) (* x y)) (* (sqrt (sqrt 27.0)) (* x y)) (* (sqrt 27.0) (* x y)) (expm1 (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (log1p (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) (+ (log (sqrt 27.0)) (+ (log (sqrt 27.0)) (+ (log x) (log y)))) (+ (log (sqrt 27.0)) (+ (log (sqrt 27.0)) (log (* x y)))) (+ (log (sqrt 27.0)) (log (* (sqrt 27.0) (* x y)))) (log (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (exp (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* x x) x) (* (* y y) y)))) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* x y) (* x y)) (* x y)))) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* x y)))) (* (cbrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (cbrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))) (cbrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (* (* (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (sqrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (sqrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (* (sqrt 27.0) (sqrt 27.0)) (* (cbrt (sqrt 27.0)) (* (sqrt 27.0) (* x y))) (* (sqrt (cbrt 27.0)) (* (sqrt 27.0) (* x y))) (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) (* (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)) 48.178 * * [simplify]: iteration 0: 63 enodes 48.243 * * [simplify]: iteration 1: 158 enodes 48.457 * * [simplify]: iteration 2: 665 enodes 51.151 * * [simplify]: iteration 3: 3206 enodes 56.283 * * [simplify]: iteration complete: 5000 enodes 56.287 * * [simplify]: Extracting #0: cost 26 inf + 0 56.291 * * [simplify]: Extracting #1: cost 484 inf + 1 56.310 * * [simplify]: Extracting #2: cost 987 inf + 24497 56.411 * * [simplify]: Extracting #3: cost 332 inf + 148123 56.509 * * [simplify]: Extracting #4: cost 32 inf + 210765 56.607 * * [simplify]: Extracting #5: cost 3 inf + 219210 56.692 * * [simplify]: Extracting #6: cost 0 inf + 220320 56.781 * [simplify]: Simplified to: (expm1 (* (* (sqrt 27.0) y) x)) (log1p (* (* (sqrt 27.0) y) x)) (* (* (sqrt 27.0) y) x) (* (* (sqrt 27.0) y) x) (log (* (* (sqrt 27.0) y) x)) (log (* (* (sqrt 27.0) y) x)) (log (* (* (sqrt 27.0) y) x)) (exp (* (* (sqrt 27.0) y) x)) (* (* (* (* x y) (* x y)) (sqrt 27.0)) (* (* x y) 27.0)) (* (* (* (* x y) (* x y)) (sqrt 27.0)) (* (* x y) 27.0)) (* (cbrt (* (* (sqrt 27.0) y) x)) (cbrt (* (* (sqrt 27.0) y) x))) (cbrt (* (* (sqrt 27.0) y) x)) (* (* (* (* x y) (* x y)) (sqrt 27.0)) (* (* x y) 27.0)) (sqrt (* (* (sqrt 27.0) y) x)) (sqrt (* (* (sqrt 27.0) y) x)) (* x (sqrt 27.0)) (* (cbrt (sqrt 27.0)) (* x y)) (* (* x y) (sqrt (cbrt 27.0))) (* x (* y (sqrt (sqrt 27.0)))) (* (* (sqrt 27.0) y) x) (* x (* y (sqrt (sqrt 27.0)))) (* (* (sqrt 27.0) y) x) (expm1 (* y (* x 27.0))) (log1p (* y (* x 27.0))) (* y (* x 27.0)) (* y (* x 27.0)) (* y (* x 27.0)) (log (* 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))) (* (* (* 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))) 27.0 (* (* (cbrt (sqrt 27.0)) (sqrt 27.0)) (* x y)) (* (* (sqrt (cbrt 27.0)) (* x (sqrt 27.0))) y) (* (* (* (sqrt 27.0) y) x) (sqrt (sqrt 27.0))) (* y (* x 27.0)) (* (* (* (sqrt 27.0) y) x) (sqrt (sqrt 27.0))) (* y (* x 27.0)) (* (* (sqrt 27.0) y) x) (* (* (sqrt 27.0) y) x) (* (* (sqrt 27.0) y) x) (* y (* x 27.0)) (* y (* x 27.0)) (* y (* x 27.0)) 56.785 * * * [progress]: adding candidates to table 57.064 * [progress]: [Phase 3 of 3] Extracting. 57.064 * * [regime]: Finding splitpoints for: (# # # # # # #) 57.065 * * * [regime-changes]: Trying 3 branch expressions: ((* x 27.0) y x) 57.065 * * * * [regimes]: Trying to branch on (* x 27.0) from (# # # # # # #) 57.162 * * * * [regimes]: Trying to branch on (* x 27.0) from (# #) 57.218 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 57.369 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 57.527 * * * [regime]: Found split indices: #