21.015 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.022 * * * [progress]: [2/2] Setting up program. 0.026 * [progress]: [Phase 2 of 3] Improving. 0.026 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.027 * [simplify]: Simplifying: (* (* x 27.0) y) 0.027 * * [simplify]: iteration 0: 5 enodes 0.028 * * [simplify]: iteration 1: 9 enodes 0.031 * * [simplify]: iteration 2: 15 enodes 0.036 * * [simplify]: iteration 3: 17 enodes 0.041 * * [simplify]: iteration complete: 17 enodes 0.041 * * [simplify]: Extracting #0: cost 1 inf + 0 0.041 * * [simplify]: Extracting #1: cost 7 inf + 0 0.041 * * [simplify]: Extracting #2: cost 3 inf + 45 0.041 * * [simplify]: Extracting #3: cost 0 inf + 212 0.041 * [simplify]: Simplified to: (* (* x 27.0) y) 0.042 * * [progress]: iteration 1 / 4 0.042 * * * [progress]: picking best candidate 0.046 * * * * [pick]: Picked # 0.046 * * * [progress]: localizing error 0.058 * * * [progress]: generating rewritten candidates 0.059 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.100 * * * [progress]: generating series expansions 0.100 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.100 * [backup-simplify]: Simplify (* (* x 27.0) y) into (* 27.0 (* x y)) 0.100 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0 0.100 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y 0.100 * [taylor]: Taking taylor expansion of 27.0 in y 0.100 * [backup-simplify]: Simplify 27.0 into 27.0 0.100 * [taylor]: Taking taylor expansion of (* x y) in y 0.100 * [taylor]: Taking taylor expansion of x in y 0.100 * [backup-simplify]: Simplify x into x 0.100 * [taylor]: Taking taylor expansion of y in y 0.100 * [backup-simplify]: Simplify 0 into 0 0.100 * [backup-simplify]: Simplify 1 into 1 0.100 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 0.100 * [taylor]: Taking taylor expansion of 27.0 in x 0.100 * [backup-simplify]: Simplify 27.0 into 27.0 0.100 * [taylor]: Taking taylor expansion of (* x y) in x 0.100 * [taylor]: Taking taylor expansion of x in x 0.100 * [backup-simplify]: Simplify 0 into 0 0.100 * [backup-simplify]: Simplify 1 into 1 0.101 * [taylor]: Taking taylor expansion of y in x 0.101 * [backup-simplify]: Simplify y into y 0.101 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 0.101 * [taylor]: Taking taylor expansion of 27.0 in x 0.101 * [backup-simplify]: Simplify 27.0 into 27.0 0.101 * [taylor]: Taking taylor expansion of (* x y) in x 0.101 * [taylor]: Taking taylor expansion of x in x 0.101 * [backup-simplify]: Simplify 0 into 0 0.101 * [backup-simplify]: Simplify 1 into 1 0.101 * [taylor]: Taking taylor expansion of y in x 0.101 * [backup-simplify]: Simplify y into y 0.101 * [backup-simplify]: Simplify (* 0 y) into 0 0.102 * [backup-simplify]: Simplify (* 27.0 0) into 0 0.102 * [taylor]: Taking taylor expansion of 0 in y 0.102 * [backup-simplify]: Simplify 0 into 0 0.102 * [backup-simplify]: Simplify 0 into 0 0.102 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.103 * [backup-simplify]: Simplify (+ (* 27.0 y) (* 0 0)) into (* 27.0 y) 0.103 * [taylor]: Taking taylor expansion of (* 27.0 y) in y 0.103 * [taylor]: Taking taylor expansion of 27.0 in y 0.103 * [backup-simplify]: Simplify 27.0 into 27.0 0.103 * [taylor]: Taking taylor expansion of y in y 0.103 * [backup-simplify]: Simplify 0 into 0 0.103 * [backup-simplify]: Simplify 1 into 1 0.103 * [backup-simplify]: Simplify (* 27.0 0) into 0 0.103 * [backup-simplify]: Simplify 0 into 0 0.103 * [backup-simplify]: Simplify 0 into 0 0.104 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.105 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 y) (* 0 0))) into 0 0.105 * [taylor]: Taking taylor expansion of 0 in y 0.105 * [backup-simplify]: Simplify 0 into 0 0.105 * [backup-simplify]: Simplify 0 into 0 0.107 * [backup-simplify]: Simplify (+ (* 27.0 1) (* 0 0)) into 27.0 0.107 * [backup-simplify]: Simplify 27.0 into 27.0 0.107 * [backup-simplify]: Simplify 0 into 0 0.108 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 0.109 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 0.109 * [taylor]: Taking taylor expansion of 0 in y 0.109 * [backup-simplify]: Simplify 0 into 0 0.110 * [backup-simplify]: Simplify 0 into 0 0.110 * [backup-simplify]: Simplify 0 into 0 0.111 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 1) (* 0 0))) into 0 0.111 * [backup-simplify]: Simplify 0 into 0 0.111 * [backup-simplify]: Simplify 0 into 0 0.112 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.114 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 0.114 * [taylor]: Taking taylor expansion of 0 in y 0.114 * [backup-simplify]: Simplify 0 into 0 0.114 * [backup-simplify]: Simplify 0 into 0 0.114 * [backup-simplify]: Simplify (* 27.0 (* y x)) into (* 27.0 (* x y)) 0.115 * [backup-simplify]: Simplify (* (* (/ 1 x) 27.0) (/ 1 y)) into (/ 27.0 (* x y)) 0.115 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 0.115 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 0.115 * [taylor]: Taking taylor expansion of 27.0 in y 0.115 * [backup-simplify]: Simplify 27.0 into 27.0 0.115 * [taylor]: Taking taylor expansion of (* x y) in y 0.115 * [taylor]: Taking taylor expansion of x in y 0.115 * [backup-simplify]: Simplify x into x 0.115 * [taylor]: Taking taylor expansion of y in y 0.115 * [backup-simplify]: Simplify 0 into 0 0.115 * [backup-simplify]: Simplify 1 into 1 0.115 * [backup-simplify]: Simplify (* x 0) into 0 0.115 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 0.115 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 0.115 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 0.115 * [taylor]: Taking taylor expansion of 27.0 in x 0.115 * [backup-simplify]: Simplify 27.0 into 27.0 0.115 * [taylor]: Taking taylor expansion of (* x y) in x 0.115 * [taylor]: Taking taylor expansion of x in x 0.116 * [backup-simplify]: Simplify 0 into 0 0.116 * [backup-simplify]: Simplify 1 into 1 0.116 * [taylor]: Taking taylor expansion of y in x 0.116 * [backup-simplify]: Simplify y into y 0.116 * [backup-simplify]: Simplify (* 0 y) into 0 0.116 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.116 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 0.116 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 0.116 * [taylor]: Taking taylor expansion of 27.0 in x 0.116 * [backup-simplify]: Simplify 27.0 into 27.0 0.117 * [taylor]: Taking taylor expansion of (* x y) in x 0.117 * [taylor]: Taking taylor expansion of x in x 0.117 * [backup-simplify]: Simplify 0 into 0 0.117 * [backup-simplify]: Simplify 1 into 1 0.117 * [taylor]: Taking taylor expansion of y in x 0.117 * [backup-simplify]: Simplify y into y 0.117 * [backup-simplify]: Simplify (* 0 y) into 0 0.117 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.117 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 0.117 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 0.117 * [taylor]: Taking taylor expansion of 27.0 in y 0.117 * [backup-simplify]: Simplify 27.0 into 27.0 0.117 * [taylor]: Taking taylor expansion of y in y 0.117 * [backup-simplify]: Simplify 0 into 0 0.117 * [backup-simplify]: Simplify 1 into 1 0.118 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 0.118 * [backup-simplify]: Simplify 27.0 into 27.0 0.119 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.119 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 0.119 * [taylor]: Taking taylor expansion of 0 in y 0.119 * [backup-simplify]: Simplify 0 into 0 0.120 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 0.120 * [backup-simplify]: Simplify 0 into 0 0.121 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 0.122 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.122 * [taylor]: Taking taylor expansion of 0 in y 0.122 * [backup-simplify]: Simplify 0 into 0 0.122 * [backup-simplify]: Simplify 0 into 0 0.123 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.123 * [backup-simplify]: Simplify 0 into 0 0.125 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.125 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) 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 (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.126 * [backup-simplify]: Simplify 0 into 0 0.126 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 27.0 (* x y)) 0.127 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) 27.0) (/ 1 (- y))) into (/ 27.0 (* x y)) 0.127 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 0.127 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 0.127 * [taylor]: Taking taylor expansion of 27.0 in y 0.127 * [backup-simplify]: Simplify 27.0 into 27.0 0.127 * [taylor]: Taking taylor expansion of (* x y) in y 0.127 * [taylor]: Taking taylor expansion of x in y 0.127 * [backup-simplify]: Simplify x into x 0.127 * [taylor]: Taking taylor expansion of y in y 0.127 * [backup-simplify]: Simplify 0 into 0 0.127 * [backup-simplify]: Simplify 1 into 1 0.127 * [backup-simplify]: Simplify (* x 0) into 0 0.127 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 0.127 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 0.127 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 0.127 * [taylor]: Taking taylor expansion of 27.0 in x 0.127 * [backup-simplify]: Simplify 27.0 into 27.0 0.128 * [taylor]: Taking taylor expansion of (* x y) in x 0.128 * [taylor]: Taking taylor expansion of x in x 0.128 * [backup-simplify]: Simplify 0 into 0 0.128 * [backup-simplify]: Simplify 1 into 1 0.128 * [taylor]: Taking taylor expansion of y in x 0.128 * [backup-simplify]: Simplify y into y 0.128 * [backup-simplify]: Simplify (* 0 y) into 0 0.128 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.128 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 0.128 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 0.128 * [taylor]: Taking taylor expansion of 27.0 in x 0.128 * [backup-simplify]: Simplify 27.0 into 27.0 0.128 * [taylor]: Taking taylor expansion of (* x y) in x 0.128 * [taylor]: Taking taylor expansion of x in x 0.128 * [backup-simplify]: Simplify 0 into 0 0.128 * [backup-simplify]: Simplify 1 into 1 0.128 * [taylor]: Taking taylor expansion of y in x 0.128 * [backup-simplify]: Simplify y into y 0.128 * [backup-simplify]: Simplify (* 0 y) into 0 0.129 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.129 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 0.129 * [taylor]: Taking taylor expansion of (/ 27.0 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 y in y 0.129 * [backup-simplify]: Simplify 0 into 0 0.129 * [backup-simplify]: Simplify 1 into 1 0.130 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 0.130 * [backup-simplify]: Simplify 27.0 into 27.0 0.131 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.131 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 0.131 * [taylor]: Taking taylor expansion of 0 in y 0.131 * [backup-simplify]: Simplify 0 into 0 0.132 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 0.132 * [backup-simplify]: Simplify 0 into 0 0.133 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 0.133 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.133 * [taylor]: Taking taylor expansion of 0 in y 0.133 * [backup-simplify]: Simplify 0 into 0 0.133 * [backup-simplify]: Simplify 0 into 0 0.134 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.134 * [backup-simplify]: Simplify 0 into 0 0.136 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.136 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 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.136 * [backup-simplify]: Simplify 0 into 0 0.137 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.137 * [backup-simplify]: Simplify 0 into 0 0.137 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 27.0 (* x y)) 0.137 * * * [progress]: simplifying candidates 0.138 * * * * [progress]: [ 1 / 24 ] simplifiying candidate # 0.138 * * * * [progress]: [ 2 / 24 ] simplifiying candidate # 0.138 * * * * [progress]: [ 3 / 24 ] simplifiying candidate # 0.138 * * * * [progress]: [ 4 / 24 ] simplifiying candidate # 0.138 * * * * [progress]: [ 5 / 24 ] simplifiying candidate # 0.138 * * * * [progress]: [ 6 / 24 ] simplifiying candidate # 0.138 * * * * [progress]: [ 7 / 24 ] simplifiying candidate # 0.138 * * * * [progress]: [ 8 / 24 ] simplifiying candidate # 0.138 * * * * [progress]: [ 9 / 24 ] simplifiying candidate # 0.138 * * * * [progress]: [ 10 / 24 ] simplifiying candidate # 0.138 * * * * [progress]: [ 11 / 24 ] simplifiying candidate # 0.138 * * * * [progress]: [ 12 / 24 ] simplifiying candidate # 0.138 * * * * [progress]: [ 13 / 24 ] simplifiying candidate # 0.138 * * * * [progress]: [ 14 / 24 ] simplifiying candidate # 0.138 * * * * [progress]: [ 15 / 24 ] simplifiying candidate # 0.138 * * * * [progress]: [ 16 / 24 ] simplifiying candidate # 0.138 * * * * [progress]: [ 17 / 24 ] simplifiying candidate # 0.139 * * * * [progress]: [ 18 / 24 ] simplifiying candidate # 0.139 * * * * [progress]: [ 19 / 24 ] simplifiying candidate # 0.139 * * * * [progress]: [ 20 / 24 ] simplifiying candidate #real (real->posit16 (* (* x 27.0) y))))> 0.139 * * * * [progress]: [ 21 / 24 ] simplifiying candidate # 0.139 * * * * [progress]: [ 22 / 24 ] simplifiying candidate # 0.139 * * * * [progress]: [ 23 / 24 ] simplifiying candidate # 0.139 * * * * [progress]: [ 24 / 24 ] simplifiying candidate # 0.139 * [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) (real->posit16 (* (* x 27.0) y)) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) 0.140 * * [simplify]: iteration 0: 43 enodes 0.159 * * [simplify]: iteration 1: 107 enodes 0.226 * * [simplify]: iteration 2: 366 enodes 0.568 * * [simplify]: iteration 3: 1408 enodes 1.371 * * [simplify]: iteration complete: 5006 enodes 1.371 * * [simplify]: Extracting #0: cost 14 inf + 0 1.372 * * [simplify]: Extracting #1: cost 516 inf + 0 1.381 * * [simplify]: Extracting #2: cost 1681 inf + 5903 1.415 * * [simplify]: Extracting #3: cost 1086 inf + 132247 1.466 * * [simplify]: Extracting #4: cost 116 inf + 268477 1.535 * * [simplify]: Extracting #5: cost 4 inf + 285219 1.589 * * [simplify]: Extracting #6: cost 0 inf + 284071 1.649 * * [simplify]: Extracting #7: cost 0 inf + 283911 1.726 * [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 (* (* (cbrt y) (cbrt y)) 27.0)) (* (* (sqrt y) x) 27.0) (* x 27.0) (* y 27.0) (real->posit16 (* (* x 27.0) y)) (* (* x 27.0) y) (* (* x 27.0) y) (* (* x 27.0) y) 1.727 * * * [progress]: adding candidates to table 1.775 * * [progress]: iteration 2 / 4 1.775 * * * [progress]: picking best candidate 1.783 * * * * [pick]: Picked # 1.783 * * * [progress]: localizing error 1.789 * * * [progress]: generating rewritten candidates 1.789 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1.818 * * * [progress]: generating series expansions 1.818 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1.819 * [backup-simplify]: Simplify (* 27.0 (* x y)) into (* 27.0 (* x y)) 1.819 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0 1.819 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y 1.819 * [taylor]: Taking taylor expansion of 27.0 in y 1.819 * [backup-simplify]: Simplify 27.0 into 27.0 1.819 * [taylor]: Taking taylor expansion of (* x y) in y 1.819 * [taylor]: Taking taylor expansion of x in y 1.819 * [backup-simplify]: Simplify x into x 1.819 * [taylor]: Taking taylor expansion of y in y 1.819 * [backup-simplify]: Simplify 0 into 0 1.819 * [backup-simplify]: Simplify 1 into 1 1.819 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 1.819 * [taylor]: Taking taylor expansion of 27.0 in x 1.819 * [backup-simplify]: Simplify 27.0 into 27.0 1.819 * [taylor]: Taking taylor expansion of (* x y) in x 1.819 * [taylor]: Taking taylor expansion of x in x 1.819 * [backup-simplify]: Simplify 0 into 0 1.819 * [backup-simplify]: Simplify 1 into 1 1.819 * [taylor]: Taking taylor expansion of y in x 1.819 * [backup-simplify]: Simplify y into y 1.819 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 1.819 * [taylor]: Taking taylor expansion of 27.0 in x 1.819 * [backup-simplify]: Simplify 27.0 into 27.0 1.819 * [taylor]: Taking taylor expansion of (* x y) in x 1.819 * [taylor]: Taking taylor expansion of x in x 1.819 * [backup-simplify]: Simplify 0 into 0 1.819 * [backup-simplify]: Simplify 1 into 1 1.819 * [taylor]: Taking taylor expansion of y in x 1.819 * [backup-simplify]: Simplify y into y 1.819 * [backup-simplify]: Simplify (* 0 y) into 0 1.820 * [backup-simplify]: Simplify (* 27.0 0) into 0 1.820 * [taylor]: Taking taylor expansion of 0 in y 1.820 * [backup-simplify]: Simplify 0 into 0 1.820 * [backup-simplify]: Simplify 0 into 0 1.820 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 1.820 * [backup-simplify]: Simplify (+ (* 27.0 y) (* 0 0)) into (* 27.0 y) 1.820 * [taylor]: Taking taylor expansion of (* 27.0 y) in y 1.820 * [taylor]: Taking taylor expansion of 27.0 in y 1.820 * [backup-simplify]: Simplify 27.0 into 27.0 1.820 * [taylor]: Taking taylor expansion of y in y 1.820 * [backup-simplify]: Simplify 0 into 0 1.821 * [backup-simplify]: Simplify 1 into 1 1.821 * [backup-simplify]: Simplify (* 27.0 0) into 0 1.821 * [backup-simplify]: Simplify 0 into 0 1.821 * [backup-simplify]: Simplify 0 into 0 1.822 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 1.822 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 y) (* 0 0))) into 0 1.822 * [taylor]: Taking taylor expansion of 0 in y 1.822 * [backup-simplify]: Simplify 0 into 0 1.822 * [backup-simplify]: Simplify 0 into 0 1.823 * [backup-simplify]: Simplify (+ (* 27.0 1) (* 0 0)) into 27.0 1.823 * [backup-simplify]: Simplify 27.0 into 27.0 1.823 * [backup-simplify]: Simplify 0 into 0 1.824 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 1.825 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 1.825 * [taylor]: Taking taylor expansion of 0 in y 1.825 * [backup-simplify]: Simplify 0 into 0 1.825 * [backup-simplify]: Simplify 0 into 0 1.825 * [backup-simplify]: Simplify 0 into 0 1.825 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 1) (* 0 0))) into 0 1.825 * [backup-simplify]: Simplify 0 into 0 1.825 * [backup-simplify]: Simplify 0 into 0 1.826 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 1.827 * [backup-simplify]: Simplify (+ (* 27.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 1.827 * [taylor]: Taking taylor expansion of 0 in y 1.827 * [backup-simplify]: Simplify 0 into 0 1.827 * [backup-simplify]: Simplify 0 into 0 1.827 * [backup-simplify]: Simplify (* 27.0 (* y x)) into (* 27.0 (* x y)) 1.828 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 x) (/ 1 y))) into (/ 27.0 (* x y)) 1.828 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 1.828 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 1.828 * [taylor]: Taking taylor expansion of 27.0 in y 1.828 * [backup-simplify]: Simplify 27.0 into 27.0 1.828 * [taylor]: Taking taylor expansion of (* x y) in y 1.828 * [taylor]: Taking taylor expansion of x in y 1.828 * [backup-simplify]: Simplify x into x 1.828 * [taylor]: Taking taylor expansion of y in y 1.828 * [backup-simplify]: Simplify 0 into 0 1.828 * [backup-simplify]: Simplify 1 into 1 1.828 * [backup-simplify]: Simplify (* x 0) into 0 1.828 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 1.828 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 1.828 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 1.828 * [taylor]: Taking taylor expansion of 27.0 in x 1.828 * [backup-simplify]: Simplify 27.0 into 27.0 1.828 * [taylor]: Taking taylor expansion of (* x y) in x 1.828 * [taylor]: Taking taylor expansion of x in x 1.828 * [backup-simplify]: Simplify 0 into 0 1.828 * [backup-simplify]: Simplify 1 into 1 1.828 * [taylor]: Taking taylor expansion of y in x 1.828 * [backup-simplify]: Simplify y into y 1.828 * [backup-simplify]: Simplify (* 0 y) into 0 1.829 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 1.829 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 1.829 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 1.829 * [taylor]: Taking taylor expansion of 27.0 in x 1.829 * [backup-simplify]: Simplify 27.0 into 27.0 1.829 * [taylor]: Taking taylor expansion of (* x y) in x 1.829 * [taylor]: Taking taylor expansion of x in x 1.829 * [backup-simplify]: Simplify 0 into 0 1.829 * [backup-simplify]: Simplify 1 into 1 1.829 * [taylor]: Taking taylor expansion of y in x 1.829 * [backup-simplify]: Simplify y into y 1.829 * [backup-simplify]: Simplify (* 0 y) into 0 1.829 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 1.829 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 1.829 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 1.829 * [taylor]: Taking taylor expansion of 27.0 in y 1.829 * [backup-simplify]: Simplify 27.0 into 27.0 1.829 * [taylor]: Taking taylor expansion of y in y 1.829 * [backup-simplify]: Simplify 0 into 0 1.829 * [backup-simplify]: Simplify 1 into 1 1.830 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 1.830 * [backup-simplify]: Simplify 27.0 into 27.0 1.830 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 1.830 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 1.830 * [taylor]: Taking taylor expansion of 0 in y 1.830 * [backup-simplify]: Simplify 0 into 0 1.831 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 1.831 * [backup-simplify]: Simplify 0 into 0 1.832 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 1.832 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1.832 * [taylor]: Taking taylor expansion of 0 in y 1.832 * [backup-simplify]: Simplify 0 into 0 1.832 * [backup-simplify]: Simplify 0 into 0 1.832 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.832 * [backup-simplify]: Simplify 0 into 0 1.833 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 1.833 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 1.834 * [taylor]: Taking taylor expansion of 0 in y 1.834 * [backup-simplify]: Simplify 0 into 0 1.834 * [backup-simplify]: Simplify 0 into 0 1.834 * [backup-simplify]: Simplify 0 into 0 1.834 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.834 * [backup-simplify]: Simplify 0 into 0 1.834 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 27.0 (* x y)) 1.834 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (- x)) (/ 1 (- y)))) into (/ 27.0 (* x y)) 1.834 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 1.834 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 1.835 * [taylor]: Taking taylor expansion of 27.0 in y 1.835 * [backup-simplify]: Simplify 27.0 into 27.0 1.835 * [taylor]: Taking taylor expansion of (* x y) in y 1.835 * [taylor]: Taking taylor expansion of x in y 1.835 * [backup-simplify]: Simplify x into x 1.835 * [taylor]: Taking taylor expansion of y in y 1.835 * [backup-simplify]: Simplify 0 into 0 1.835 * [backup-simplify]: Simplify 1 into 1 1.835 * [backup-simplify]: Simplify (* x 0) into 0 1.835 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 1.835 * [backup-simplify]: Simplify (/ 27.0 x) into (/ 27.0 x) 1.835 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 1.835 * [taylor]: Taking taylor expansion of 27.0 in x 1.835 * [backup-simplify]: Simplify 27.0 into 27.0 1.835 * [taylor]: Taking taylor expansion of (* x y) in x 1.835 * [taylor]: Taking taylor expansion of x in x 1.835 * [backup-simplify]: Simplify 0 into 0 1.835 * [backup-simplify]: Simplify 1 into 1 1.835 * [taylor]: Taking taylor expansion of y in x 1.835 * [backup-simplify]: Simplify y into y 1.835 * [backup-simplify]: Simplify (* 0 y) into 0 1.835 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 1.835 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 1.835 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 1.836 * [taylor]: Taking taylor expansion of 27.0 in x 1.836 * [backup-simplify]: Simplify 27.0 into 27.0 1.836 * [taylor]: Taking taylor expansion of (* x y) in x 1.836 * [taylor]: Taking taylor expansion of x in x 1.836 * [backup-simplify]: Simplify 0 into 0 1.836 * [backup-simplify]: Simplify 1 into 1 1.836 * [taylor]: Taking taylor expansion of y in x 1.836 * [backup-simplify]: Simplify y into y 1.836 * [backup-simplify]: Simplify (* 0 y) into 0 1.836 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 1.836 * [backup-simplify]: Simplify (/ 27.0 y) into (/ 27.0 y) 1.836 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 1.836 * [taylor]: Taking taylor expansion of 27.0 in y 1.836 * [backup-simplify]: Simplify 27.0 into 27.0 1.836 * [taylor]: Taking taylor expansion of y in y 1.836 * [backup-simplify]: Simplify 0 into 0 1.836 * [backup-simplify]: Simplify 1 into 1 1.836 * [backup-simplify]: Simplify (/ 27.0 1) into 27.0 1.836 * [backup-simplify]: Simplify 27.0 into 27.0 1.837 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 1.837 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)))) into 0 1.837 * [taylor]: Taking taylor expansion of 0 in y 1.837 * [backup-simplify]: Simplify 0 into 0 1.838 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)))) into 0 1.838 * [backup-simplify]: Simplify 0 into 0 1.838 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 1.839 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1.839 * [taylor]: Taking taylor expansion of 0 in y 1.839 * [backup-simplify]: Simplify 0 into 0 1.839 * [backup-simplify]: Simplify 0 into 0 1.839 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.839 * [backup-simplify]: Simplify 0 into 0 1.840 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 1.840 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 27.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 1.840 * [taylor]: Taking taylor expansion of 0 in y 1.840 * [backup-simplify]: Simplify 0 into 0 1.840 * [backup-simplify]: Simplify 0 into 0 1.840 * [backup-simplify]: Simplify 0 into 0 1.841 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 27.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.841 * [backup-simplify]: Simplify 0 into 0 1.841 * [backup-simplify]: Simplify (* 27.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 27.0 (* x y)) 1.841 * * * [progress]: simplifying candidates 1.841 * * * * [progress]: [ 1 / 24 ] simplifiying candidate # 1.841 * * * * [progress]: [ 2 / 24 ] simplifiying candidate # 1.841 * * * * [progress]: [ 3 / 24 ] simplifiying candidate # 1.841 * * * * [progress]: [ 4 / 24 ] simplifiying candidate # 1.841 * * * * [progress]: [ 5 / 24 ] simplifiying candidate # 1.841 * * * * [progress]: [ 6 / 24 ] simplifiying candidate # 1.841 * * * * [progress]: [ 7 / 24 ] simplifiying candidate # 1.842 * * * * [progress]: [ 8 / 24 ] simplifiying candidate # 1.842 * * * * [progress]: [ 9 / 24 ] simplifiying candidate # 1.842 * * * * [progress]: [ 10 / 24 ] simplifiying candidate # 1.842 * * * * [progress]: [ 11 / 24 ] simplifiying candidate # 1.842 * * * * [progress]: [ 12 / 24 ] simplifiying candidate # 1.842 * * * * [progress]: [ 13 / 24 ] simplifiying candidate # 1.842 * * * * [progress]: [ 14 / 24 ] simplifiying candidate # 1.842 * * * * [progress]: [ 15 / 24 ] simplifiying candidate # 1.842 * * * * [progress]: [ 16 / 24 ] simplifiying candidate # 1.842 * * * * [progress]: [ 17 / 24 ] simplifiying candidate # 1.842 * * * * [progress]: [ 18 / 24 ] simplifiying candidate # 1.842 * * * * [progress]: [ 19 / 24 ] simplifiying candidate # 1.842 * * * * [progress]: [ 20 / 24 ] simplifiying candidate #real (real->posit16 (* 27.0 (* x y)))))> 1.842 * * * * [progress]: [ 21 / 24 ] simplifiying candidate # 1.842 * * * * [progress]: [ 22 / 24 ] simplifiying candidate # 1.842 * * * * [progress]: [ 23 / 24 ] simplifiying candidate # 1.842 * * * * [progress]: [ 24 / 24 ] simplifiying candidate # 1.842 * [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)) (real->posit16 (* 27.0 (* x y))) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) 1.843 * * [simplify]: iteration 0: 38 enodes 1.851 * * [simplify]: iteration 1: 88 enodes 1.898 * * [simplify]: iteration 2: 273 enodes 2.047 * * [simplify]: iteration 3: 836 enodes 3.140 * * [simplify]: iteration 4: 2001 enodes 7.561 * * [simplify]: iteration 5: 4682 enodes 8.170 * * [simplify]: iteration complete: 5002 enodes 8.170 * * [simplify]: Extracting #0: cost 13 inf + 0 8.170 * * [simplify]: Extracting #1: cost 208 inf + 0 8.174 * * [simplify]: Extracting #2: cost 505 inf + 6968 8.185 * * [simplify]: Extracting #3: cost 469 inf + 31789 8.221 * * [simplify]: Extracting #4: cost 139 inf + 160372 8.269 * * [simplify]: Extracting #5: cost 24 inf + 204474 8.325 * * [simplify]: Extracting #6: cost 4 inf + 212314 8.381 * * [simplify]: Extracting #7: cost 0 inf + 214884 8.432 * [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)) (* 27.0 x) (* x (* (cbrt 27.0) y)) (* (* (sqrt 27.0) y) x) (* (* y x) 27.0) (real->posit16 (* (* y x) 27.0)) (* (* y x) 27.0) (* (* y x) 27.0) (* (* y x) 27.0) 8.432 * * * [progress]: adding candidates to table 8.487 * * [progress]: iteration 3 / 4 8.487 * * * [progress]: picking best candidate 8.491 * * * * [pick]: Picked # 8.491 * * * [progress]: localizing error 8.504 * * * [progress]: generating rewritten candidates 8.504 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 8.537 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 8.608 * * * [progress]: generating series expansions 8.608 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 8.609 * [backup-simplify]: Simplify (* (sqrt 27.0) (* x y)) into (* x (* y (sqrt 27.0))) 8.609 * [approximate]: Taking taylor expansion of (* x (* y (sqrt 27.0))) in (x y) around 0 8.609 * [taylor]: Taking taylor expansion of (* x (* y (sqrt 27.0))) in y 8.609 * [taylor]: Taking taylor expansion of x in y 8.609 * [backup-simplify]: Simplify x into x 8.609 * [taylor]: Taking taylor expansion of (* y (sqrt 27.0)) in y 8.609 * [taylor]: Taking taylor expansion of y in y 8.609 * [backup-simplify]: Simplify 0 into 0 8.609 * [backup-simplify]: Simplify 1 into 1 8.609 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 8.609 * [taylor]: Taking taylor expansion of 27.0 in y 8.609 * [backup-simplify]: Simplify 27.0 into 27.0 8.609 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 8.610 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 8.610 * [taylor]: Taking taylor expansion of (* x (* y (sqrt 27.0))) in x 8.610 * [taylor]: Taking taylor expansion of x in x 8.610 * [backup-simplify]: Simplify 0 into 0 8.610 * [backup-simplify]: Simplify 1 into 1 8.610 * [taylor]: Taking taylor expansion of (* y (sqrt 27.0)) in x 8.610 * [taylor]: Taking taylor expansion of y in x 8.610 * [backup-simplify]: Simplify y into y 8.610 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 8.610 * [taylor]: Taking taylor expansion of 27.0 in x 8.610 * [backup-simplify]: Simplify 27.0 into 27.0 8.610 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 8.611 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 8.611 * [taylor]: Taking taylor expansion of (* x (* y (sqrt 27.0))) in x 8.611 * [taylor]: Taking taylor expansion of x in x 8.611 * [backup-simplify]: Simplify 0 into 0 8.611 * [backup-simplify]: Simplify 1 into 1 8.611 * [taylor]: Taking taylor expansion of (* y (sqrt 27.0)) in x 8.611 * [taylor]: Taking taylor expansion of y in x 8.611 * [backup-simplify]: Simplify y into y 8.611 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 8.611 * [taylor]: Taking taylor expansion of 27.0 in x 8.611 * [backup-simplify]: Simplify 27.0 into 27.0 8.611 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 8.612 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 8.612 * [backup-simplify]: Simplify (* y (sqrt 27.0)) into (* y (sqrt 27.0)) 8.612 * [backup-simplify]: Simplify (* 0 (* y (sqrt 27.0))) into 0 8.612 * [taylor]: Taking taylor expansion of 0 in y 8.612 * [backup-simplify]: Simplify 0 into 0 8.612 * [backup-simplify]: Simplify 0 into 0 8.613 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (sqrt 27.0))) into 0 8.613 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (* y (sqrt 27.0)))) into (* y (sqrt 27.0)) 8.613 * [taylor]: Taking taylor expansion of (* y (sqrt 27.0)) in y 8.613 * [taylor]: Taking taylor expansion of y in y 8.613 * [backup-simplify]: Simplify 0 into 0 8.613 * [backup-simplify]: Simplify 1 into 1 8.613 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 8.613 * [taylor]: Taking taylor expansion of 27.0 in y 8.613 * [backup-simplify]: Simplify 27.0 into 27.0 8.614 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 8.614 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 8.615 * [backup-simplify]: Simplify (* 0 (sqrt 27.0)) into 0 8.615 * [backup-simplify]: Simplify 0 into 0 8.615 * [backup-simplify]: Simplify 0 into 0 8.615 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 8.616 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 8.617 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (* y (sqrt 27.0))))) into 0 8.617 * [taylor]: Taking taylor expansion of 0 in y 8.617 * [backup-simplify]: Simplify 0 into 0 8.617 * [backup-simplify]: Simplify 0 into 0 8.618 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt 27.0))) into (sqrt 27.0) 8.618 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 8.618 * [backup-simplify]: Simplify 0 into 0 8.619 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 8.620 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 8.621 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (* y (sqrt 27.0)))))) into 0 8.621 * [taylor]: Taking taylor expansion of 0 in y 8.621 * [backup-simplify]: Simplify 0 into 0 8.621 * [backup-simplify]: Simplify 0 into 0 8.621 * [backup-simplify]: Simplify 0 into 0 8.621 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 8.622 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt 27.0)))) into 0 8.622 * [backup-simplify]: Simplify 0 into 0 8.622 * [backup-simplify]: Simplify 0 into 0 8.623 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 8.624 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0)))))) into 0 8.625 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* y (sqrt 27.0))))))) into 0 8.625 * [taylor]: Taking taylor expansion of 0 in y 8.625 * [backup-simplify]: Simplify 0 into 0 8.625 * [backup-simplify]: Simplify 0 into 0 8.625 * [backup-simplify]: Simplify (* (sqrt 27.0) (* y x)) into (* x (* y (sqrt 27.0))) 8.626 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 x) (/ 1 y))) into (/ (sqrt 27.0) (* x y)) 8.626 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in (x y) around 0 8.626 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in y 8.626 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 8.626 * [taylor]: Taking taylor expansion of 27.0 in y 8.626 * [backup-simplify]: Simplify 27.0 into 27.0 8.626 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 8.626 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 8.626 * [taylor]: Taking taylor expansion of (* x y) in y 8.626 * [taylor]: Taking taylor expansion of x in y 8.626 * [backup-simplify]: Simplify x into x 8.626 * [taylor]: Taking taylor expansion of y in y 8.626 * [backup-simplify]: Simplify 0 into 0 8.626 * [backup-simplify]: Simplify 1 into 1 8.627 * [backup-simplify]: Simplify (* x 0) into 0 8.627 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 8.627 * [backup-simplify]: Simplify (/ (sqrt 27.0) x) into (/ (sqrt 27.0) x) 8.627 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 8.627 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 8.627 * [taylor]: Taking taylor expansion of 27.0 in x 8.627 * [backup-simplify]: Simplify 27.0 into 27.0 8.628 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 8.629 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 8.629 * [taylor]: Taking taylor expansion of (* x y) in x 8.629 * [taylor]: Taking taylor expansion of x in x 8.629 * [backup-simplify]: Simplify 0 into 0 8.629 * [backup-simplify]: Simplify 1 into 1 8.629 * [taylor]: Taking taylor expansion of y in x 8.629 * [backup-simplify]: Simplify y into y 8.629 * [backup-simplify]: Simplify (* 0 y) into 0 8.629 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 8.630 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 8.630 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 8.630 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 8.630 * [taylor]: Taking taylor expansion of 27.0 in x 8.630 * [backup-simplify]: Simplify 27.0 into 27.0 8.630 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 8.631 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 8.631 * [taylor]: Taking taylor expansion of (* x y) in x 8.631 * [taylor]: Taking taylor expansion of x in x 8.631 * [backup-simplify]: Simplify 0 into 0 8.631 * [backup-simplify]: Simplify 1 into 1 8.631 * [taylor]: Taking taylor expansion of y in x 8.631 * [backup-simplify]: Simplify y into y 8.631 * [backup-simplify]: Simplify (* 0 y) into 0 8.631 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 8.632 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 8.632 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y 8.632 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 8.632 * [taylor]: Taking taylor expansion of 27.0 in y 8.632 * [backup-simplify]: Simplify 27.0 into 27.0 8.632 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 8.633 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 8.633 * [taylor]: Taking taylor expansion of y in y 8.633 * [backup-simplify]: Simplify 0 into 0 8.633 * [backup-simplify]: Simplify 1 into 1 8.634 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0) 8.634 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 8.635 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 8.636 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)))) into 0 8.636 * [taylor]: Taking taylor expansion of 0 in y 8.636 * [backup-simplify]: Simplify 0 into 0 8.637 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)))) into 0 8.637 * [backup-simplify]: Simplify 0 into 0 8.638 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 8.639 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 8.640 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.640 * [taylor]: Taking taylor expansion of 0 in y 8.640 * [backup-simplify]: Simplify 0 into 0 8.640 * [backup-simplify]: Simplify 0 into 0 8.641 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 8.642 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.642 * [backup-simplify]: Simplify 0 into 0 8.644 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 8.645 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 8.646 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.646 * [taylor]: Taking taylor expansion of 0 in y 8.646 * [backup-simplify]: Simplify 0 into 0 8.646 * [backup-simplify]: Simplify 0 into 0 8.647 * [backup-simplify]: Simplify 0 into 0 8.648 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 8.649 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.649 * [backup-simplify]: Simplify 0 into 0 8.650 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* x (* y (sqrt 27.0))) 8.650 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (- x)) (/ 1 (- y)))) into (/ (sqrt 27.0) (* x y)) 8.650 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in (x y) around 0 8.650 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in y 8.650 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 8.650 * [taylor]: Taking taylor expansion of 27.0 in y 8.650 * [backup-simplify]: Simplify 27.0 into 27.0 8.651 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 8.652 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 8.652 * [taylor]: Taking taylor expansion of (* x y) in y 8.652 * [taylor]: Taking taylor expansion of x in y 8.652 * [backup-simplify]: Simplify x into x 8.652 * [taylor]: Taking taylor expansion of y in y 8.652 * [backup-simplify]: Simplify 0 into 0 8.652 * [backup-simplify]: Simplify 1 into 1 8.652 * [backup-simplify]: Simplify (* x 0) into 0 8.652 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 8.653 * [backup-simplify]: Simplify (/ (sqrt 27.0) x) into (/ (sqrt 27.0) x) 8.653 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 8.653 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 8.653 * [taylor]: Taking taylor expansion of 27.0 in x 8.653 * [backup-simplify]: Simplify 27.0 into 27.0 8.653 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 8.654 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 8.654 * [taylor]: Taking taylor expansion of (* x y) in x 8.654 * [taylor]: Taking taylor expansion of x in x 8.654 * [backup-simplify]: Simplify 0 into 0 8.654 * [backup-simplify]: Simplify 1 into 1 8.654 * [taylor]: Taking taylor expansion of y in x 8.654 * [backup-simplify]: Simplify y into y 8.654 * [backup-simplify]: Simplify (* 0 y) into 0 8.655 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 8.655 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 8.655 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 8.655 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 8.655 * [taylor]: Taking taylor expansion of 27.0 in x 8.655 * [backup-simplify]: Simplify 27.0 into 27.0 8.656 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 8.657 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 8.657 * [taylor]: Taking taylor expansion of (* x y) in x 8.657 * [taylor]: Taking taylor expansion of x in x 8.657 * [backup-simplify]: Simplify 0 into 0 8.657 * [backup-simplify]: Simplify 1 into 1 8.657 * [taylor]: Taking taylor expansion of y in x 8.657 * [backup-simplify]: Simplify y into y 8.657 * [backup-simplify]: Simplify (* 0 y) into 0 8.657 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 8.658 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 8.658 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y 8.658 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 8.658 * [taylor]: Taking taylor expansion of 27.0 in y 8.658 * [backup-simplify]: Simplify 27.0 into 27.0 8.658 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 8.659 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 8.659 * [taylor]: Taking taylor expansion of y in y 8.659 * [backup-simplify]: Simplify 0 into 0 8.659 * [backup-simplify]: Simplify 1 into 1 8.660 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0) 8.663 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 8.664 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 8.664 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)))) into 0 8.664 * [taylor]: Taking taylor expansion of 0 in y 8.664 * [backup-simplify]: Simplify 0 into 0 8.665 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)))) into 0 8.665 * [backup-simplify]: Simplify 0 into 0 8.666 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 8.667 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 8.667 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.667 * [taylor]: Taking taylor expansion of 0 in y 8.668 * [backup-simplify]: Simplify 0 into 0 8.668 * [backup-simplify]: Simplify 0 into 0 8.668 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 8.669 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.669 * [backup-simplify]: Simplify 0 into 0 8.670 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 8.671 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 8.671 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.671 * [taylor]: Taking taylor expansion of 0 in y 8.671 * [backup-simplify]: Simplify 0 into 0 8.671 * [backup-simplify]: Simplify 0 into 0 8.671 * [backup-simplify]: Simplify 0 into 0 8.672 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 8.672 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.672 * [backup-simplify]: Simplify 0 into 0 8.673 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* x (* y (sqrt 27.0))) 8.673 * * * * [progress]: [ 2 / 2 ] generating series at (2) 8.673 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) into (* x (* y (pow (sqrt 27.0) 2))) 8.673 * [approximate]: Taking taylor expansion of (* x (* y (pow (sqrt 27.0) 2))) in (x y) around 0 8.673 * [taylor]: Taking taylor expansion of (* x (* y (pow (sqrt 27.0) 2))) in y 8.673 * [taylor]: Taking taylor expansion of x in y 8.673 * [backup-simplify]: Simplify x into x 8.674 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 27.0) 2)) in y 8.674 * [taylor]: Taking taylor expansion of y in y 8.674 * [backup-simplify]: Simplify 0 into 0 8.674 * [backup-simplify]: Simplify 1 into 1 8.674 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 8.674 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 8.674 * [taylor]: Taking taylor expansion of 27.0 in y 8.674 * [backup-simplify]: Simplify 27.0 into 27.0 8.674 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 8.674 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 8.674 * [taylor]: Taking taylor expansion of (* x (* y (pow (sqrt 27.0) 2))) in x 8.674 * [taylor]: Taking taylor expansion of x in x 8.674 * [backup-simplify]: Simplify 0 into 0 8.674 * [backup-simplify]: Simplify 1 into 1 8.674 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 27.0) 2)) in x 8.674 * [taylor]: Taking taylor expansion of y in x 8.674 * [backup-simplify]: Simplify y into y 8.674 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 8.674 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 8.675 * [taylor]: Taking taylor expansion of 27.0 in x 8.675 * [backup-simplify]: Simplify 27.0 into 27.0 8.675 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 8.675 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 8.675 * [taylor]: Taking taylor expansion of (* x (* y (pow (sqrt 27.0) 2))) in x 8.675 * [taylor]: Taking taylor expansion of x in x 8.675 * [backup-simplify]: Simplify 0 into 0 8.675 * [backup-simplify]: Simplify 1 into 1 8.675 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 27.0) 2)) in x 8.675 * [taylor]: Taking taylor expansion of y in x 8.675 * [backup-simplify]: Simplify y into y 8.675 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 8.675 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 8.675 * [taylor]: Taking taylor expansion of 27.0 in x 8.675 * [backup-simplify]: Simplify 27.0 into 27.0 8.676 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 8.676 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 8.677 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 8.677 * [backup-simplify]: Simplify (* y (pow (sqrt 27.0) 2)) into (* y (pow (sqrt 27.0) 2)) 8.678 * [backup-simplify]: Simplify (* 0 (* y (pow (sqrt 27.0) 2))) into 0 8.678 * [taylor]: Taking taylor expansion of 0 in y 8.678 * [backup-simplify]: Simplify 0 into 0 8.678 * [backup-simplify]: Simplify 0 into 0 8.679 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 8.679 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (pow (sqrt 27.0) 2))) into 0 8.680 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (* y (pow (sqrt 27.0) 2)))) into (* y (pow (sqrt 27.0) 2)) 8.680 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 27.0) 2)) in y 8.680 * [taylor]: Taking taylor expansion of y in y 8.680 * [backup-simplify]: Simplify 0 into 0 8.680 * [backup-simplify]: Simplify 1 into 1 8.680 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 8.680 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 8.680 * [taylor]: Taking taylor expansion of 27.0 in y 8.680 * [backup-simplify]: Simplify 27.0 into 27.0 8.680 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 8.681 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 8.682 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 8.682 * [backup-simplify]: Simplify (* 0 (pow (sqrt 27.0) 2)) into 0 8.682 * [backup-simplify]: Simplify 0 into 0 8.682 * [backup-simplify]: Simplify 0 into 0 8.683 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 8.683 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 8.684 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (pow (sqrt 27.0) 2)))) into 0 8.685 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (* y (pow (sqrt 27.0) 2))))) into 0 8.685 * [taylor]: Taking taylor expansion of 0 in y 8.685 * [backup-simplify]: Simplify 0 into 0 8.685 * [backup-simplify]: Simplify 0 into 0 8.686 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 8.687 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow (sqrt 27.0) 2))) into (pow (sqrt 27.0) 2) 8.688 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2) 8.688 * [backup-simplify]: Simplify 0 into 0 8.689 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 8.690 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 8.690 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 27.0) 2))))) into 0 8.692 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (* y (pow (sqrt 27.0) 2)))))) into 0 8.692 * [taylor]: Taking taylor expansion of 0 in y 8.692 * [backup-simplify]: Simplify 0 into 0 8.692 * [backup-simplify]: Simplify 0 into 0 8.692 * [backup-simplify]: Simplify 0 into 0 8.692 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 8.693 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 8.694 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow (sqrt 27.0) 2)))) into 0 8.694 * [backup-simplify]: Simplify 0 into 0 8.694 * [backup-simplify]: Simplify 0 into 0 8.695 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 8.696 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0)))))) into 0 8.698 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 27.0) 2)))))) into 0 8.700 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* y (pow (sqrt 27.0) 2))))))) into 0 8.700 * [taylor]: Taking taylor expansion of 0 in y 8.700 * [backup-simplify]: Simplify 0 into 0 8.700 * [backup-simplify]: Simplify 0 into 0 8.701 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* y x)) into (* x (* y (pow (sqrt 27.0) 2))) 8.702 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (sqrt 27.0) (* (/ 1 x) (/ 1 y)))) into (/ (pow (sqrt 27.0) 2) (* x y)) 8.702 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0 8.702 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in y 8.702 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 8.702 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 8.702 * [taylor]: Taking taylor expansion of 27.0 in y 8.702 * [backup-simplify]: Simplify 27.0 into 27.0 8.703 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 8.703 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 8.704 * [taylor]: Taking taylor expansion of (* x y) in y 8.704 * [taylor]: Taking taylor expansion of x in y 8.704 * [backup-simplify]: Simplify x into x 8.704 * [taylor]: Taking taylor expansion of y in y 8.704 * [backup-simplify]: Simplify 0 into 0 8.704 * [backup-simplify]: Simplify 1 into 1 8.705 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 8.705 * [backup-simplify]: Simplify (* x 0) into 0 8.705 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 8.706 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) x) into (/ (pow (sqrt 27.0) 2) x) 8.706 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 8.706 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 8.706 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 8.706 * [taylor]: Taking taylor expansion of 27.0 in x 8.706 * [backup-simplify]: Simplify 27.0 into 27.0 8.707 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 8.707 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 8.708 * [taylor]: Taking taylor expansion of (* x y) in x 8.708 * [taylor]: Taking taylor expansion of x in x 8.708 * [backup-simplify]: Simplify 0 into 0 8.708 * [backup-simplify]: Simplify 1 into 1 8.708 * [taylor]: Taking taylor expansion of y in x 8.708 * [backup-simplify]: Simplify y into y 8.709 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 8.709 * [backup-simplify]: Simplify (* 0 y) into 0 8.709 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 8.710 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 8.710 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 8.710 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 8.710 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 8.710 * [taylor]: Taking taylor expansion of 27.0 in x 8.710 * [backup-simplify]: Simplify 27.0 into 27.0 8.711 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 8.711 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 8.712 * [taylor]: Taking taylor expansion of (* x y) in x 8.712 * [taylor]: Taking taylor expansion of x in x 8.712 * [backup-simplify]: Simplify 0 into 0 8.712 * [backup-simplify]: Simplify 1 into 1 8.712 * [taylor]: Taking taylor expansion of y in x 8.712 * [backup-simplify]: Simplify y into y 8.713 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 8.713 * [backup-simplify]: Simplify (* 0 y) into 0 8.713 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 8.714 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 8.714 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) y) in y 8.714 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 8.714 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 8.714 * [taylor]: Taking taylor expansion of 27.0 in y 8.714 * [backup-simplify]: Simplify 27.0 into 27.0 8.715 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 8.716 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 8.716 * [taylor]: Taking taylor expansion of y in y 8.716 * [backup-simplify]: Simplify 0 into 0 8.716 * [backup-simplify]: Simplify 1 into 1 8.717 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 8.718 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) 1) into (pow (sqrt 27.0) 2) 8.719 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2) 8.720 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 8.721 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 8.722 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)))) into 0 8.722 * [taylor]: Taking taylor expansion of 0 in y 8.722 * [backup-simplify]: Simplify 0 into 0 8.723 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 8.724 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)))) into 0 8.724 * [backup-simplify]: Simplify 0 into 0 8.725 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 8.726 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 8.727 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 8.729 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.729 * [taylor]: Taking taylor expansion of 0 in y 8.729 * [backup-simplify]: Simplify 0 into 0 8.729 * [backup-simplify]: Simplify 0 into 0 8.730 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 8.730 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 8.731 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.731 * [backup-simplify]: Simplify 0 into 0 8.732 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 8.733 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 8.734 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 8.735 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.735 * [taylor]: Taking taylor expansion of 0 in y 8.735 * [backup-simplify]: Simplify 0 into 0 8.735 * [backup-simplify]: Simplify 0 into 0 8.735 * [backup-simplify]: Simplify 0 into 0 8.736 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 8.736 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 8.737 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.737 * [backup-simplify]: Simplify 0 into 0 8.738 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* x (* y (pow (sqrt 27.0) 2))) 8.739 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (sqrt 27.0) (* (/ 1 (- x)) (/ 1 (- y))))) into (/ (pow (sqrt 27.0) 2) (* x y)) 8.739 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0 8.739 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in y 8.739 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 8.739 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 8.739 * [taylor]: Taking taylor expansion of 27.0 in y 8.739 * [backup-simplify]: Simplify 27.0 into 27.0 8.739 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 8.739 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 8.740 * [taylor]: Taking taylor expansion of (* x y) in y 8.740 * [taylor]: Taking taylor expansion of x in y 8.740 * [backup-simplify]: Simplify x into x 8.740 * [taylor]: Taking taylor expansion of y in y 8.740 * [backup-simplify]: Simplify 0 into 0 8.740 * [backup-simplify]: Simplify 1 into 1 8.740 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 8.740 * [backup-simplify]: Simplify (* x 0) into 0 8.741 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 8.741 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) x) into (/ (pow (sqrt 27.0) 2) x) 8.741 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 8.741 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 8.742 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 8.742 * [taylor]: Taking taylor expansion of 27.0 in x 8.742 * [backup-simplify]: Simplify 27.0 into 27.0 8.742 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 8.742 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 8.742 * [taylor]: Taking taylor expansion of (* x y) in x 8.742 * [taylor]: Taking taylor expansion of x in x 8.742 * [backup-simplify]: Simplify 0 into 0 8.742 * [backup-simplify]: Simplify 1 into 1 8.742 * [taylor]: Taking taylor expansion of y in x 8.742 * [backup-simplify]: Simplify y into y 8.743 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 8.743 * [backup-simplify]: Simplify (* 0 y) into 0 8.744 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 8.744 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 8.744 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 8.744 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 8.744 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 8.744 * [taylor]: Taking taylor expansion of 27.0 in x 8.744 * [backup-simplify]: Simplify 27.0 into 27.0 8.745 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 8.745 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 8.745 * [taylor]: Taking taylor expansion of (* x y) in x 8.745 * [taylor]: Taking taylor expansion of x in x 8.745 * [backup-simplify]: Simplify 0 into 0 8.745 * [backup-simplify]: Simplify 1 into 1 8.745 * [taylor]: Taking taylor expansion of y in x 8.745 * [backup-simplify]: Simplify y into y 8.746 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 8.746 * [backup-simplify]: Simplify (* 0 y) into 0 8.746 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 8.747 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 8.747 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) y) in y 8.747 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 8.747 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 8.747 * [taylor]: Taking taylor expansion of 27.0 in y 8.747 * [backup-simplify]: Simplify 27.0 into 27.0 8.747 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 8.748 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 8.748 * [taylor]: Taking taylor expansion of y in y 8.748 * [backup-simplify]: Simplify 0 into 0 8.748 * [backup-simplify]: Simplify 1 into 1 8.749 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 8.750 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) 1) into (pow (sqrt 27.0) 2) 8.750 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2) 8.751 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 8.752 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 8.752 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)))) into 0 8.752 * [taylor]: Taking taylor expansion of 0 in y 8.753 * [backup-simplify]: Simplify 0 into 0 8.753 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 8.754 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)))) into 0 8.754 * [backup-simplify]: Simplify 0 into 0 8.755 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 8.756 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 8.758 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 8.759 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.759 * [taylor]: Taking taylor expansion of 0 in y 8.759 * [backup-simplify]: Simplify 0 into 0 8.759 * [backup-simplify]: Simplify 0 into 0 8.760 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 8.761 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 8.763 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.763 * [backup-simplify]: Simplify 0 into 0 8.764 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 8.766 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 8.767 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 8.768 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.768 * [taylor]: Taking taylor expansion of 0 in y 8.768 * [backup-simplify]: Simplify 0 into 0 8.768 * [backup-simplify]: Simplify 0 into 0 8.769 * [backup-simplify]: Simplify 0 into 0 8.770 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 8.772 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 8.773 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.773 * [backup-simplify]: Simplify 0 into 0 8.774 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* x (* y (pow (sqrt 27.0) 2))) 8.774 * * * [progress]: simplifying candidates 8.774 * * * * [progress]: [ 1 / 57 ] simplifiying candidate # 8.774 * * * * [progress]: [ 2 / 57 ] simplifiying candidate # 8.774 * * * * [progress]: [ 3 / 57 ] simplifiying candidate # 8.774 * * * * [progress]: [ 4 / 57 ] simplifiying candidate # 8.774 * * * * [progress]: [ 5 / 57 ] simplifiying candidate # 8.774 * * * * [progress]: [ 6 / 57 ] simplifiying candidate # 8.774 * * * * [progress]: [ 7 / 57 ] simplifiying candidate # 8.774 * * * * [progress]: [ 8 / 57 ] simplifiying candidate # 8.774 * * * * [progress]: [ 9 / 57 ] simplifiying candidate # 8.774 * * * * [progress]: [ 10 / 57 ] simplifiying candidate # 8.774 * * * * [progress]: [ 11 / 57 ] simplifiying candidate # 8.775 * * * * [progress]: [ 12 / 57 ] simplifiying candidate # 8.775 * * * * [progress]: [ 13 / 57 ] simplifiying candidate # 8.775 * * * * [progress]: [ 14 / 57 ] simplifiying candidate # 8.775 * * * * [progress]: [ 15 / 57 ] simplifiying candidate # 8.775 * * * * [progress]: [ 16 / 57 ] simplifiying candidate # 8.775 * * * * [progress]: [ 17 / 57 ] simplifiying candidate # 8.775 * * * * [progress]: [ 18 / 57 ] simplifiying candidate # 8.775 * * * * [progress]: [ 19 / 57 ] simplifiying candidate # 8.775 * * * * [progress]: [ 20 / 57 ] simplifiying candidate # 8.775 * * * * [progress]: [ 21 / 57 ] simplifiying candidate # 8.775 * * * * [progress]: [ 22 / 57 ] simplifiying candidate # 8.775 * * * * [progress]: [ 23 / 57 ] simplifiying candidate #real (real->posit16 (* (sqrt 27.0) (* x y))))))> 8.775 * * * * [progress]: [ 24 / 57 ] simplifiying candidate # 8.775 * * * * [progress]: [ 25 / 57 ] simplifiying candidate # 8.775 * * * * [progress]: [ 26 / 57 ] simplifiying candidate # 8.775 * * * * [progress]: [ 27 / 57 ] simplifiying candidate # 8.775 * * * * [progress]: [ 28 / 57 ] simplifiying candidate # 8.775 * * * * [progress]: [ 29 / 57 ] simplifiying candidate # 8.775 * * * * [progress]: [ 30 / 57 ] simplifiying candidate # 8.775 * * * * [progress]: [ 31 / 57 ] simplifiying candidate # 8.775 * * * * [progress]: [ 32 / 57 ] simplifiying candidate # 8.775 * * * * [progress]: [ 33 / 57 ] simplifiying candidate # 8.775 * * * * [progress]: [ 34 / 57 ] simplifiying candidate # 8.775 * * * * [progress]: [ 35 / 57 ] simplifiying candidate # 8.776 * * * * [progress]: [ 36 / 57 ] simplifiying candidate # 8.776 * * * * [progress]: [ 37 / 57 ] simplifiying candidate # 8.776 * * * * [progress]: [ 38 / 57 ] simplifiying candidate # 8.776 * * * * [progress]: [ 39 / 57 ] simplifiying candidate # 8.776 * * * * [progress]: [ 40 / 57 ] simplifiying candidate # 8.776 * * * * [progress]: [ 41 / 57 ] simplifiying candidate # 8.776 * * * * [progress]: [ 42 / 57 ] simplifiying candidate # 8.776 * * * * [progress]: [ 43 / 57 ] simplifiying candidate # 8.776 * * * * [progress]: [ 44 / 57 ] simplifiying candidate # 8.776 * * * * [progress]: [ 45 / 57 ] simplifiying candidate # 8.776 * * * * [progress]: [ 46 / 57 ] simplifiying candidate # 8.776 * * * * [progress]: [ 47 / 57 ] simplifiying candidate # 8.776 * * * * [progress]: [ 48 / 57 ] simplifiying candidate # 8.776 * * * * [progress]: [ 49 / 57 ] simplifiying candidate # 8.776 * * * * [progress]: [ 50 / 57 ] simplifiying candidate #real (real->posit16 (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))))> 8.776 * * * * [progress]: [ 51 / 57 ] simplifiying candidate # 8.776 * * * * [progress]: [ 52 / 57 ] simplifiying candidate # 8.776 * * * * [progress]: [ 53 / 57 ] simplifiying candidate # 8.776 * * * * [progress]: [ 54 / 57 ] simplifiying candidate # 8.776 * * * * [progress]: [ 55 / 57 ] simplifiying candidate # 8.776 * * * * [progress]: [ 56 / 57 ] simplifiying candidate # 8.776 * * * * [progress]: [ 57 / 57 ] simplifiying candidate # 8.777 * [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)) (real->posit16 (* (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))) (real->posit16 (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (* x (* y (sqrt 27.0))) (* x (* y (sqrt 27.0))) (* x (* y (sqrt 27.0))) (* x (* y (pow (sqrt 27.0) 2))) (* x (* y (pow (sqrt 27.0) 2))) (* x (* y (pow (sqrt 27.0) 2))) 8.777 * * [simplify]: iteration 0: 68 enodes 8.791 * * [simplify]: iteration 1: 169 enodes 8.863 * * [simplify]: iteration 2: 705 enodes 9.688 * * [simplify]: iteration 3: 3564 enodes 11.035 * * [simplify]: iteration complete: 5000 enodes 11.035 * * [simplify]: Extracting #0: cost 28 inf + 0 11.036 * * [simplify]: Extracting #1: cost 319 inf + 1 11.040 * * [simplify]: Extracting #2: cost 914 inf + 6854 11.059 * * [simplify]: Extracting #3: cost 528 inf + 92526 11.101 * * [simplify]: Extracting #4: cost 68 inf + 179119 11.158 * * [simplify]: Extracting #5: cost 6 inf + 195422 11.217 * * [simplify]: Extracting #6: cost 0 inf + 197293 11.269 * [simplify]: Simplified to: (expm1 (* (* (sqrt 27.0) x) y)) (log1p (* (* (sqrt 27.0) x) y)) (* (* (sqrt 27.0) x) y) (* (* (sqrt 27.0) x) y) (log (* (* (sqrt 27.0) x) y)) (log (* (* (sqrt 27.0) x) y)) (log (* (* (sqrt 27.0) x) y)) (exp (* (* (sqrt 27.0) x) y)) (* (* (* x y) (* (* x y) (* x y))) (* (sqrt 27.0) 27.0)) (* (* (* x y) (* (* x y) (* x y))) (* (sqrt 27.0) 27.0)) (* (cbrt (* (* (sqrt 27.0) x) y)) (cbrt (* (* (sqrt 27.0) x) y))) (cbrt (* (* (sqrt 27.0) x) y)) (* (* (* x y) (* (* x y) (* x y))) (* (sqrt 27.0) 27.0)) (sqrt (* (* (sqrt 27.0) x) y)) (sqrt (* (* (sqrt 27.0) x) y)) (* x (sqrt 27.0)) (* y (* (cbrt (sqrt 27.0)) x)) (* (* y (sqrt (cbrt 27.0))) x) (* (* (sqrt (sqrt 27.0)) y) x) (* (* (sqrt 27.0) x) y) (* (* (sqrt (sqrt 27.0)) y) x) (* (* (sqrt 27.0) x) y) (real->posit16 (* (* (sqrt 27.0) x) y)) (expm1 (* y (* 27.0 x))) (log1p (* y (* 27.0 x))) (* 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))) (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))) (* (* (* 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 (* (* (cbrt (sqrt 27.0)) (sqrt 27.0)) (* x y)) (* (* (* x y) (sqrt 27.0)) (sqrt (cbrt 27.0))) (* (* (* (sqrt (sqrt 27.0)) y) x) (sqrt 27.0)) (* y (* 27.0 x)) (* (* (* (sqrt (sqrt 27.0)) y) x) (sqrt 27.0)) (* y (* 27.0 x)) (real->posit16 (* y (* 27.0 x))) (* (* (sqrt 27.0) x) y) (* (* (sqrt 27.0) x) y) (* (* (sqrt 27.0) x) y) (* y (* 27.0 x)) (* y (* 27.0 x)) (* y (* 27.0 x)) 11.272 * * * [progress]: adding candidates to table 11.503 * * [progress]: iteration 4 / 4 11.503 * * * [progress]: picking best candidate 11.509 * * * * [pick]: Picked # 11.509 * * * [progress]: localizing error 11.526 * * * [progress]: generating rewritten candidates 11.526 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 11.622 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 11.657 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2) 11.675 * * * [progress]: generating series expansions 11.675 * * * * [progress]: [ 1 / 3 ] generating series at (2) 11.676 * [backup-simplify]: Simplify (* (sqrt 27.0) (* x (* y (sqrt 27.0)))) into (* x (* y (pow (sqrt 27.0) 2))) 11.676 * [approximate]: Taking taylor expansion of (* x (* y (pow (sqrt 27.0) 2))) in (x y) around 0 11.676 * [taylor]: Taking taylor expansion of (* x (* y (pow (sqrt 27.0) 2))) in y 11.676 * [taylor]: Taking taylor expansion of x in y 11.676 * [backup-simplify]: Simplify x into x 11.676 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 27.0) 2)) in y 11.676 * [taylor]: Taking taylor expansion of y in y 11.676 * [backup-simplify]: Simplify 0 into 0 11.676 * [backup-simplify]: Simplify 1 into 1 11.677 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 11.677 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 11.677 * [taylor]: Taking taylor expansion of 27.0 in y 11.677 * [backup-simplify]: Simplify 27.0 into 27.0 11.677 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 11.678 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 11.678 * [taylor]: Taking taylor expansion of (* x (* y (pow (sqrt 27.0) 2))) in x 11.678 * [taylor]: Taking taylor expansion of x in x 11.678 * [backup-simplify]: Simplify 0 into 0 11.678 * [backup-simplify]: Simplify 1 into 1 11.678 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 27.0) 2)) in x 11.678 * [taylor]: Taking taylor expansion of y in x 11.678 * [backup-simplify]: Simplify y into y 11.678 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 11.678 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 11.678 * [taylor]: Taking taylor expansion of 27.0 in x 11.678 * [backup-simplify]: Simplify 27.0 into 27.0 11.678 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 11.679 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 11.679 * [taylor]: Taking taylor expansion of (* x (* y (pow (sqrt 27.0) 2))) in x 11.679 * [taylor]: Taking taylor expansion of x in x 11.679 * [backup-simplify]: Simplify 0 into 0 11.679 * [backup-simplify]: Simplify 1 into 1 11.679 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 27.0) 2)) in x 11.679 * [taylor]: Taking taylor expansion of y in x 11.679 * [backup-simplify]: Simplify y into y 11.679 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 11.679 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 11.679 * [taylor]: Taking taylor expansion of 27.0 in x 11.679 * [backup-simplify]: Simplify 27.0 into 27.0 11.679 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 11.680 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 11.680 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 11.681 * [backup-simplify]: Simplify (* y (pow (sqrt 27.0) 2)) into (* y (pow (sqrt 27.0) 2)) 11.682 * [backup-simplify]: Simplify (* 0 (* y (pow (sqrt 27.0) 2))) into 0 11.682 * [taylor]: Taking taylor expansion of 0 in y 11.682 * [backup-simplify]: Simplify 0 into 0 11.682 * [backup-simplify]: Simplify 0 into 0 11.682 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 11.683 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (pow (sqrt 27.0) 2))) into 0 11.684 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (* y (pow (sqrt 27.0) 2)))) into (* y (pow (sqrt 27.0) 2)) 11.684 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 27.0) 2)) in y 11.684 * [taylor]: Taking taylor expansion of y in y 11.684 * [backup-simplify]: Simplify 0 into 0 11.684 * [backup-simplify]: Simplify 1 into 1 11.684 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 11.684 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 11.684 * [taylor]: Taking taylor expansion of 27.0 in y 11.684 * [backup-simplify]: Simplify 27.0 into 27.0 11.684 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 11.684 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 11.685 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 11.686 * [backup-simplify]: Simplify (* 0 (pow (sqrt 27.0) 2)) into 0 11.686 * [backup-simplify]: Simplify 0 into 0 11.686 * [backup-simplify]: Simplify 0 into 0 11.686 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 11.687 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 11.688 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (pow (sqrt 27.0) 2)))) into 0 11.689 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (* y (pow (sqrt 27.0) 2))))) into 0 11.689 * [taylor]: Taking taylor expansion of 0 in y 11.689 * [backup-simplify]: Simplify 0 into 0 11.689 * [backup-simplify]: Simplify 0 into 0 11.689 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 11.691 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow (sqrt 27.0) 2))) into (pow (sqrt 27.0) 2) 11.692 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2) 11.692 * [backup-simplify]: Simplify 0 into 0 11.692 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 11.693 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 11.694 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 27.0) 2))))) into 0 11.695 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (* y (pow (sqrt 27.0) 2)))))) into 0 11.695 * [taylor]: Taking taylor expansion of 0 in y 11.695 * [backup-simplify]: Simplify 0 into 0 11.695 * [backup-simplify]: Simplify 0 into 0 11.695 * [backup-simplify]: Simplify 0 into 0 11.696 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 11.697 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 11.697 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow (sqrt 27.0) 2)))) into 0 11.697 * [backup-simplify]: Simplify 0 into 0 11.697 * [backup-simplify]: Simplify 0 into 0 11.698 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 11.699 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0)))))) into 0 11.700 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 27.0) 2)))))) into 0 11.701 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* y (pow (sqrt 27.0) 2))))))) into 0 11.701 * [taylor]: Taking taylor expansion of 0 in y 11.701 * [backup-simplify]: Simplify 0 into 0 11.701 * [backup-simplify]: Simplify 0 into 0 11.702 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* y x)) into (* x (* y (pow (sqrt 27.0) 2))) 11.703 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 x) (* (/ 1 y) (sqrt 27.0)))) into (/ (pow (sqrt 27.0) 2) (* x y)) 11.703 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0 11.703 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in y 11.703 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 11.703 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 11.703 * [taylor]: Taking taylor expansion of 27.0 in y 11.703 * [backup-simplify]: Simplify 27.0 into 27.0 11.703 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 11.703 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 11.703 * [taylor]: Taking taylor expansion of (* x y) in y 11.703 * [taylor]: Taking taylor expansion of x in y 11.704 * [backup-simplify]: Simplify x into x 11.704 * [taylor]: Taking taylor expansion of y in y 11.704 * [backup-simplify]: Simplify 0 into 0 11.704 * [backup-simplify]: Simplify 1 into 1 11.704 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 11.704 * [backup-simplify]: Simplify (* x 0) into 0 11.705 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 11.705 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) x) into (/ (pow (sqrt 27.0) 2) x) 11.705 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 11.705 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 11.705 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 11.705 * [taylor]: Taking taylor expansion of 27.0 in x 11.705 * [backup-simplify]: Simplify 27.0 into 27.0 11.706 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 11.706 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 11.706 * [taylor]: Taking taylor expansion of (* x y) in x 11.706 * [taylor]: Taking taylor expansion of x in x 11.706 * [backup-simplify]: Simplify 0 into 0 11.706 * [backup-simplify]: Simplify 1 into 1 11.706 * [taylor]: Taking taylor expansion of y in x 11.706 * [backup-simplify]: Simplify y into y 11.707 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 11.707 * [backup-simplify]: Simplify (* 0 y) into 0 11.707 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 11.708 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 11.708 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 11.708 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 11.708 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 11.708 * [taylor]: Taking taylor expansion of 27.0 in x 11.708 * [backup-simplify]: Simplify 27.0 into 27.0 11.708 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 11.709 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 11.709 * [taylor]: Taking taylor expansion of (* x y) in x 11.709 * [taylor]: Taking taylor expansion of x in x 11.709 * [backup-simplify]: Simplify 0 into 0 11.709 * [backup-simplify]: Simplify 1 into 1 11.709 * [taylor]: Taking taylor expansion of y in x 11.709 * [backup-simplify]: Simplify y into y 11.709 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 11.709 * [backup-simplify]: Simplify (* 0 y) into 0 11.710 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 11.710 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 11.710 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) y) in y 11.710 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 11.710 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 11.711 * [taylor]: Taking taylor expansion of 27.0 in y 11.711 * [backup-simplify]: Simplify 27.0 into 27.0 11.711 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 11.711 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 11.711 * [taylor]: Taking taylor expansion of y in y 11.711 * [backup-simplify]: Simplify 0 into 0 11.711 * [backup-simplify]: Simplify 1 into 1 11.712 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 11.713 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) 1) into (pow (sqrt 27.0) 2) 11.714 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2) 11.714 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 11.715 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 11.715 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)))) into 0 11.715 * [taylor]: Taking taylor expansion of 0 in y 11.715 * [backup-simplify]: Simplify 0 into 0 11.716 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 11.716 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)))) into 0 11.716 * [backup-simplify]: Simplify 0 into 0 11.717 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 11.718 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 11.718 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 11.719 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.719 * [taylor]: Taking taylor expansion of 0 in y 11.719 * [backup-simplify]: Simplify 0 into 0 11.719 * [backup-simplify]: Simplify 0 into 0 11.720 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 11.720 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 11.721 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.721 * [backup-simplify]: Simplify 0 into 0 11.722 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 11.723 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 11.724 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 11.724 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.724 * [taylor]: Taking taylor expansion of 0 in y 11.724 * [backup-simplify]: Simplify 0 into 0 11.724 * [backup-simplify]: Simplify 0 into 0 11.725 * [backup-simplify]: Simplify 0 into 0 11.725 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 11.726 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 11.727 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.727 * [backup-simplify]: Simplify 0 into 0 11.727 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* x (* y (pow (sqrt 27.0) 2))) 11.728 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (- x)) (* (/ 1 (- y)) (sqrt 27.0)))) into (/ (pow (sqrt 27.0) 2) (* x y)) 11.728 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0 11.728 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in y 11.728 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 11.728 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 11.728 * [taylor]: Taking taylor expansion of 27.0 in y 11.728 * [backup-simplify]: Simplify 27.0 into 27.0 11.728 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 11.729 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 11.729 * [taylor]: Taking taylor expansion of (* x y) in y 11.729 * [taylor]: Taking taylor expansion of x in y 11.729 * [backup-simplify]: Simplify x into x 11.729 * [taylor]: Taking taylor expansion of y in y 11.729 * [backup-simplify]: Simplify 0 into 0 11.729 * [backup-simplify]: Simplify 1 into 1 11.730 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 11.730 * [backup-simplify]: Simplify (* x 0) into 0 11.730 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 11.731 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) x) into (/ (pow (sqrt 27.0) 2) x) 11.731 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 11.731 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 11.731 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 11.731 * [taylor]: Taking taylor expansion of 27.0 in x 11.731 * [backup-simplify]: Simplify 27.0 into 27.0 11.731 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 11.731 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 11.731 * [taylor]: Taking taylor expansion of (* x y) in x 11.731 * [taylor]: Taking taylor expansion of x in x 11.731 * [backup-simplify]: Simplify 0 into 0 11.731 * [backup-simplify]: Simplify 1 into 1 11.731 * [taylor]: Taking taylor expansion of y in x 11.731 * [backup-simplify]: Simplify y into y 11.732 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 11.732 * [backup-simplify]: Simplify (* 0 y) into 0 11.732 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 11.733 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 11.733 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 11.733 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 11.733 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 11.733 * [taylor]: Taking taylor expansion of 27.0 in x 11.733 * [backup-simplify]: Simplify 27.0 into 27.0 11.733 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 11.734 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 11.734 * [taylor]: Taking taylor expansion of (* x y) in x 11.734 * [taylor]: Taking taylor expansion of x in x 11.734 * [backup-simplify]: Simplify 0 into 0 11.734 * [backup-simplify]: Simplify 1 into 1 11.734 * [taylor]: Taking taylor expansion of y in x 11.734 * [backup-simplify]: Simplify y into y 11.735 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 11.735 * [backup-simplify]: Simplify (* 0 y) into 0 11.735 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 11.736 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) y) into (/ (pow (sqrt 27.0) 2) y) 11.736 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) y) in y 11.736 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 11.736 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 11.736 * [taylor]: Taking taylor expansion of 27.0 in y 11.736 * [backup-simplify]: Simplify 27.0 into 27.0 11.736 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 11.737 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 11.737 * [taylor]: Taking taylor expansion of y in y 11.737 * [backup-simplify]: Simplify 0 into 0 11.737 * [backup-simplify]: Simplify 1 into 1 11.737 * [backup-simplify]: Simplify (* (sqrt 27.0) (sqrt 27.0)) into (pow (sqrt 27.0) 2) 11.738 * [backup-simplify]: Simplify (/ (pow (sqrt 27.0) 2) 1) into (pow (sqrt 27.0) 2) 11.739 * [backup-simplify]: Simplify (pow (sqrt 27.0) 2) into (pow (sqrt 27.0) 2) 11.739 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 11.741 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 11.742 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)))) into 0 11.742 * [taylor]: Taking taylor expansion of 0 in y 11.742 * [backup-simplify]: Simplify 0 into 0 11.743 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (* 0 (sqrt 27.0))) into 0 11.744 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)))) into 0 11.744 * [backup-simplify]: Simplify 0 into 0 11.744 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 11.745 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 11.746 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 11.746 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.746 * [taylor]: Taking taylor expansion of 0 in y 11.746 * [backup-simplify]: Simplify 0 into 0 11.747 * [backup-simplify]: Simplify 0 into 0 11.747 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 11.748 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 11.749 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.749 * [backup-simplify]: Simplify 0 into 0 11.749 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 11.750 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 11.751 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 11.752 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (pow (sqrt 27.0) 2) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.752 * [taylor]: Taking taylor expansion of 0 in y 11.752 * [backup-simplify]: Simplify 0 into 0 11.752 * [backup-simplify]: Simplify 0 into 0 11.752 * [backup-simplify]: Simplify 0 into 0 11.753 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 11.753 * [backup-simplify]: Simplify (+ (* (sqrt 27.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 11.754 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 27.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.754 * [backup-simplify]: Simplify 0 into 0 11.755 * [backup-simplify]: Simplify (* (pow (sqrt 27.0) 2) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* x (* y (pow (sqrt 27.0) 2))) 11.755 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 11.755 * [backup-simplify]: Simplify (* x (* y (sqrt 27.0))) into (* x (* y (sqrt 27.0))) 11.755 * [approximate]: Taking taylor expansion of (* x (* y (sqrt 27.0))) in (x y) around 0 11.755 * [taylor]: Taking taylor expansion of (* x (* y (sqrt 27.0))) in y 11.755 * [taylor]: Taking taylor expansion of x in y 11.755 * [backup-simplify]: Simplify x into x 11.755 * [taylor]: Taking taylor expansion of (* y (sqrt 27.0)) in y 11.755 * [taylor]: Taking taylor expansion of y in y 11.755 * [backup-simplify]: Simplify 0 into 0 11.755 * [backup-simplify]: Simplify 1 into 1 11.755 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 11.755 * [taylor]: Taking taylor expansion of 27.0 in y 11.755 * [backup-simplify]: Simplify 27.0 into 27.0 11.756 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 11.756 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 11.756 * [taylor]: Taking taylor expansion of (* x (* y (sqrt 27.0))) in x 11.756 * [taylor]: Taking taylor expansion of x in x 11.756 * [backup-simplify]: Simplify 0 into 0 11.756 * [backup-simplify]: Simplify 1 into 1 11.756 * [taylor]: Taking taylor expansion of (* y (sqrt 27.0)) in x 11.756 * [taylor]: Taking taylor expansion of y in x 11.756 * [backup-simplify]: Simplify y into y 11.756 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 11.756 * [taylor]: Taking taylor expansion of 27.0 in x 11.756 * [backup-simplify]: Simplify 27.0 into 27.0 11.756 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 11.757 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 11.757 * [taylor]: Taking taylor expansion of (* x (* y (sqrt 27.0))) in x 11.757 * [taylor]: Taking taylor expansion of x in x 11.757 * [backup-simplify]: Simplify 0 into 0 11.757 * [backup-simplify]: Simplify 1 into 1 11.757 * [taylor]: Taking taylor expansion of (* y (sqrt 27.0)) in x 11.757 * [taylor]: Taking taylor expansion of y in x 11.757 * [backup-simplify]: Simplify y into y 11.757 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 11.757 * [taylor]: Taking taylor expansion of 27.0 in x 11.757 * [backup-simplify]: Simplify 27.0 into 27.0 11.757 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 11.758 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 11.758 * [backup-simplify]: Simplify (* y (sqrt 27.0)) into (* y (sqrt 27.0)) 11.758 * [backup-simplify]: Simplify (* 0 (* y (sqrt 27.0))) into 0 11.758 * [taylor]: Taking taylor expansion of 0 in y 11.758 * [backup-simplify]: Simplify 0 into 0 11.758 * [backup-simplify]: Simplify 0 into 0 11.759 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (sqrt 27.0))) into 0 11.759 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (* y (sqrt 27.0)))) into (* y (sqrt 27.0)) 11.759 * [taylor]: Taking taylor expansion of (* y (sqrt 27.0)) in y 11.759 * [taylor]: Taking taylor expansion of y in y 11.759 * [backup-simplify]: Simplify 0 into 0 11.759 * [backup-simplify]: Simplify 1 into 1 11.759 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 11.759 * [taylor]: Taking taylor expansion of 27.0 in y 11.759 * [backup-simplify]: Simplify 27.0 into 27.0 11.760 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 11.760 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 11.760 * [backup-simplify]: Simplify (* 0 (sqrt 27.0)) into 0 11.760 * [backup-simplify]: Simplify 0 into 0 11.760 * [backup-simplify]: Simplify 0 into 0 11.761 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 11.762 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 11.762 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (* y (sqrt 27.0))))) into 0 11.762 * [taylor]: Taking taylor expansion of 0 in y 11.762 * [backup-simplify]: Simplify 0 into 0 11.762 * [backup-simplify]: Simplify 0 into 0 11.764 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt 27.0))) into (sqrt 27.0) 11.764 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 11.764 * [backup-simplify]: Simplify 0 into 0 11.765 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 11.765 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 11.766 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (* y (sqrt 27.0)))))) into 0 11.766 * [taylor]: Taking taylor expansion of 0 in y 11.766 * [backup-simplify]: Simplify 0 into 0 11.766 * [backup-simplify]: Simplify 0 into 0 11.766 * [backup-simplify]: Simplify 0 into 0 11.767 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 11.768 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt 27.0)))) into 0 11.768 * [backup-simplify]: Simplify 0 into 0 11.768 * [backup-simplify]: Simplify 0 into 0 11.768 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 11.769 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0)))))) into 0 11.770 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* y (sqrt 27.0))))))) into 0 11.770 * [taylor]: Taking taylor expansion of 0 in y 11.770 * [backup-simplify]: Simplify 0 into 0 11.770 * [backup-simplify]: Simplify 0 into 0 11.771 * [backup-simplify]: Simplify (* (sqrt 27.0) (* y x)) into (* x (* y (sqrt 27.0))) 11.771 * [backup-simplify]: Simplify (* (/ 1 x) (* (/ 1 y) (sqrt 27.0))) into (/ (sqrt 27.0) (* x y)) 11.771 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in (x y) around 0 11.771 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in y 11.771 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 11.771 * [taylor]: Taking taylor expansion of 27.0 in y 11.771 * [backup-simplify]: Simplify 27.0 into 27.0 11.771 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 11.772 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 11.772 * [taylor]: Taking taylor expansion of (* x y) in y 11.772 * [taylor]: Taking taylor expansion of x in y 11.772 * [backup-simplify]: Simplify x into x 11.772 * [taylor]: Taking taylor expansion of y in y 11.772 * [backup-simplify]: Simplify 0 into 0 11.772 * [backup-simplify]: Simplify 1 into 1 11.772 * [backup-simplify]: Simplify (* x 0) into 0 11.772 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 11.772 * [backup-simplify]: Simplify (/ (sqrt 27.0) x) into (/ (sqrt 27.0) x) 11.772 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 11.772 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 11.772 * [taylor]: Taking taylor expansion of 27.0 in x 11.772 * [backup-simplify]: Simplify 27.0 into 27.0 11.773 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 11.773 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 11.773 * [taylor]: Taking taylor expansion of (* x y) in x 11.773 * [taylor]: Taking taylor expansion of x in x 11.773 * [backup-simplify]: Simplify 0 into 0 11.773 * [backup-simplify]: Simplify 1 into 1 11.773 * [taylor]: Taking taylor expansion of y in x 11.773 * [backup-simplify]: Simplify y into y 11.773 * [backup-simplify]: Simplify (* 0 y) into 0 11.774 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 11.774 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 11.774 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 11.774 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 11.774 * [taylor]: Taking taylor expansion of 27.0 in x 11.774 * [backup-simplify]: Simplify 27.0 into 27.0 11.774 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 11.775 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 11.775 * [taylor]: Taking taylor expansion of (* x y) in x 11.775 * [taylor]: Taking taylor expansion of x in x 11.775 * [backup-simplify]: Simplify 0 into 0 11.775 * [backup-simplify]: Simplify 1 into 1 11.775 * [taylor]: Taking taylor expansion of y in x 11.775 * [backup-simplify]: Simplify y into y 11.775 * [backup-simplify]: Simplify (* 0 y) into 0 11.775 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 11.775 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 11.775 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y 11.775 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 11.775 * [taylor]: Taking taylor expansion of 27.0 in y 11.775 * [backup-simplify]: Simplify 27.0 into 27.0 11.776 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 11.776 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 11.776 * [taylor]: Taking taylor expansion of y in y 11.776 * [backup-simplify]: Simplify 0 into 0 11.776 * [backup-simplify]: Simplify 1 into 1 11.777 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0) 11.777 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 11.777 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 11.778 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)))) into 0 11.778 * [taylor]: Taking taylor expansion of 0 in y 11.778 * [backup-simplify]: Simplify 0 into 0 11.778 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)))) into 0 11.778 * [backup-simplify]: Simplify 0 into 0 11.779 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 11.780 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 11.780 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.780 * [taylor]: Taking taylor expansion of 0 in y 11.780 * [backup-simplify]: Simplify 0 into 0 11.780 * [backup-simplify]: Simplify 0 into 0 11.781 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 11.782 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.782 * [backup-simplify]: Simplify 0 into 0 11.782 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 11.783 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 11.784 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.784 * [taylor]: Taking taylor expansion of 0 in y 11.784 * [backup-simplify]: Simplify 0 into 0 11.784 * [backup-simplify]: Simplify 0 into 0 11.784 * [backup-simplify]: Simplify 0 into 0 11.784 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 11.785 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.785 * [backup-simplify]: Simplify 0 into 0 11.786 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* x (* y (sqrt 27.0))) 11.786 * [backup-simplify]: Simplify (* (/ 1 (- x)) (* (/ 1 (- y)) (sqrt 27.0))) into (/ (sqrt 27.0) (* x y)) 11.786 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in (x y) around 0 11.786 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in y 11.786 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 11.786 * [taylor]: Taking taylor expansion of 27.0 in y 11.786 * [backup-simplify]: Simplify 27.0 into 27.0 11.786 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 11.787 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 11.787 * [taylor]: Taking taylor expansion of (* x y) in y 11.787 * [taylor]: Taking taylor expansion of x in y 11.787 * [backup-simplify]: Simplify x into x 11.787 * [taylor]: Taking taylor expansion of y in y 11.787 * [backup-simplify]: Simplify 0 into 0 11.787 * [backup-simplify]: Simplify 1 into 1 11.787 * [backup-simplify]: Simplify (* x 0) into 0 11.787 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 11.787 * [backup-simplify]: Simplify (/ (sqrt 27.0) x) into (/ (sqrt 27.0) x) 11.787 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 11.787 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 11.787 * [taylor]: Taking taylor expansion of 27.0 in x 11.787 * [backup-simplify]: Simplify 27.0 into 27.0 11.788 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 11.788 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 11.788 * [taylor]: Taking taylor expansion of (* x y) in x 11.788 * [taylor]: Taking taylor expansion of x in x 11.788 * [backup-simplify]: Simplify 0 into 0 11.788 * [backup-simplify]: Simplify 1 into 1 11.788 * [taylor]: Taking taylor expansion of y in x 11.788 * [backup-simplify]: Simplify y into y 11.788 * [backup-simplify]: Simplify (* 0 y) into 0 11.788 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 11.789 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 11.789 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 11.789 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 11.789 * [taylor]: Taking taylor expansion of 27.0 in x 11.789 * [backup-simplify]: Simplify 27.0 into 27.0 11.789 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 11.790 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 11.790 * [taylor]: Taking taylor expansion of (* x y) in x 11.790 * [taylor]: Taking taylor expansion of x in x 11.790 * [backup-simplify]: Simplify 0 into 0 11.790 * [backup-simplify]: Simplify 1 into 1 11.790 * [taylor]: Taking taylor expansion of y in x 11.790 * [backup-simplify]: Simplify y into y 11.790 * [backup-simplify]: Simplify (* 0 y) into 0 11.790 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 11.790 * [backup-simplify]: Simplify (/ (sqrt 27.0) y) into (/ (sqrt 27.0) y) 11.790 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y 11.790 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 11.790 * [taylor]: Taking taylor expansion of 27.0 in y 11.790 * [backup-simplify]: Simplify 27.0 into 27.0 11.791 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 11.791 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 11.791 * [taylor]: Taking taylor expansion of y in y 11.791 * [backup-simplify]: Simplify 0 into 0 11.791 * [backup-simplify]: Simplify 1 into 1 11.792 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0) 11.792 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 11.792 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 11.793 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)))) into 0 11.793 * [taylor]: Taking taylor expansion of 0 in y 11.793 * [backup-simplify]: Simplify 0 into 0 11.793 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)))) into 0 11.793 * [backup-simplify]: Simplify 0 into 0 11.794 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 11.795 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 11.795 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.795 * [taylor]: Taking taylor expansion of 0 in y 11.795 * [backup-simplify]: Simplify 0 into 0 11.795 * [backup-simplify]: Simplify 0 into 0 11.796 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 11.797 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.797 * [backup-simplify]: Simplify 0 into 0 11.797 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 11.798 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 11.799 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 27.0) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.799 * [taylor]: Taking taylor expansion of 0 in y 11.799 * [backup-simplify]: Simplify 0 into 0 11.799 * [backup-simplify]: Simplify 0 into 0 11.799 * [backup-simplify]: Simplify 0 into 0 11.800 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 11.800 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.800 * [backup-simplify]: Simplify 0 into 0 11.801 * [backup-simplify]: Simplify (* (sqrt 27.0) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* x (* y (sqrt 27.0))) 11.801 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2) 11.801 * [backup-simplify]: Simplify (* y (sqrt 27.0)) into (* y (sqrt 27.0)) 11.801 * [approximate]: Taking taylor expansion of (* y (sqrt 27.0)) in (y) around 0 11.801 * [taylor]: Taking taylor expansion of (* y (sqrt 27.0)) in y 11.801 * [taylor]: Taking taylor expansion of y in y 11.801 * [backup-simplify]: Simplify 0 into 0 11.801 * [backup-simplify]: Simplify 1 into 1 11.801 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 11.801 * [taylor]: Taking taylor expansion of 27.0 in y 11.801 * [backup-simplify]: Simplify 27.0 into 27.0 11.801 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 11.802 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 11.802 * [taylor]: Taking taylor expansion of (* y (sqrt 27.0)) in y 11.802 * [taylor]: Taking taylor expansion of y in y 11.802 * [backup-simplify]: Simplify 0 into 0 11.802 * [backup-simplify]: Simplify 1 into 1 11.802 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 11.802 * [taylor]: Taking taylor expansion of 27.0 in y 11.802 * [backup-simplify]: Simplify 27.0 into 27.0 11.802 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 11.803 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 11.803 * [backup-simplify]: Simplify (* 0 (sqrt 27.0)) into 0 11.803 * [backup-simplify]: Simplify 0 into 0 11.804 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt 27.0))) into (sqrt 27.0) 11.804 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 11.805 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 11.806 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt 27.0)))) into 0 11.806 * [backup-simplify]: Simplify 0 into 0 11.806 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 11.807 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 11.807 * [backup-simplify]: Simplify 0 into 0 11.808 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 11.809 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0)))))) into 0 11.809 * [backup-simplify]: Simplify 0 into 0 11.810 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 11.811 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))))) into 0 11.811 * [backup-simplify]: Simplify 0 into 0 11.812 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 11.814 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0)))))))) into 0 11.814 * [backup-simplify]: Simplify 0 into 0 11.815 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 11.817 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))))))) into 0 11.817 * [backup-simplify]: Simplify 0 into 0 11.817 * [backup-simplify]: Simplify (* (sqrt 27.0) y) into (* y (sqrt 27.0)) 11.818 * [backup-simplify]: Simplify (* (/ 1 y) (sqrt 27.0)) into (/ (sqrt 27.0) y) 11.818 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) y) in (y) around 0 11.818 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y 11.818 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 11.818 * [taylor]: Taking taylor expansion of 27.0 in y 11.818 * [backup-simplify]: Simplify 27.0 into 27.0 11.818 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 11.819 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 11.819 * [taylor]: Taking taylor expansion of y in y 11.819 * [backup-simplify]: Simplify 0 into 0 11.819 * [backup-simplify]: Simplify 1 into 1 11.820 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0) 11.820 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y 11.820 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 11.820 * [taylor]: Taking taylor expansion of 27.0 in y 11.820 * [backup-simplify]: Simplify 27.0 into 27.0 11.820 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 11.821 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 11.821 * [taylor]: Taking taylor expansion of y in y 11.821 * [backup-simplify]: Simplify 0 into 0 11.821 * [backup-simplify]: Simplify 1 into 1 11.821 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0) 11.822 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 11.823 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)))) into 0 11.823 * [backup-simplify]: Simplify 0 into 0 11.824 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 11.825 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.825 * [backup-simplify]: Simplify 0 into 0 11.826 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 11.827 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.827 * [backup-simplify]: Simplify 0 into 0 11.828 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 11.829 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.829 * [backup-simplify]: Simplify 0 into 0 11.830 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 11.831 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.831 * [backup-simplify]: Simplify 0 into 0 11.832 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 11.835 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.835 * [backup-simplify]: Simplify 0 into 0 11.835 * [backup-simplify]: Simplify (* (sqrt 27.0) (/ 1 (/ 1 y))) into (* y (sqrt 27.0)) 11.836 * [backup-simplify]: Simplify (* (/ 1 (- y)) (sqrt 27.0)) into (* -1 (/ (sqrt 27.0) y)) 11.836 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt 27.0) y)) in (y) around 0 11.836 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 27.0) y)) in y 11.836 * [taylor]: Taking taylor expansion of -1 in y 11.836 * [backup-simplify]: Simplify -1 into -1 11.836 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y 11.836 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 11.836 * [taylor]: Taking taylor expansion of 27.0 in y 11.836 * [backup-simplify]: Simplify 27.0 into 27.0 11.836 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 11.837 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 11.837 * [taylor]: Taking taylor expansion of y in y 11.837 * [backup-simplify]: Simplify 0 into 0 11.837 * [backup-simplify]: Simplify 1 into 1 11.837 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0) 11.838 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 27.0) y)) in y 11.838 * [taylor]: Taking taylor expansion of -1 in y 11.838 * [backup-simplify]: Simplify -1 into -1 11.838 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y 11.838 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 11.838 * [taylor]: Taking taylor expansion of 27.0 in y 11.838 * [backup-simplify]: Simplify 27.0 into 27.0 11.838 * [backup-simplify]: Simplify (sqrt 27.0) into (sqrt 27.0) 11.839 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 27.0))) into 0 11.839 * [taylor]: Taking taylor expansion of y in y 11.839 * [backup-simplify]: Simplify 0 into 0 11.839 * [backup-simplify]: Simplify 1 into 1 11.839 * [backup-simplify]: Simplify (/ (sqrt 27.0) 1) into (sqrt 27.0) 11.840 * [backup-simplify]: Simplify (* -1 (sqrt 27.0)) into (* -1 (sqrt 27.0)) 11.841 * [backup-simplify]: Simplify (* -1 (sqrt 27.0)) into (* -1 (sqrt 27.0)) 11.842 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)))) into 0 11.843 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (sqrt 27.0))) into 0 11.843 * [backup-simplify]: Simplify 0 into 0 11.844 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 27.0))) into 0 11.845 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.846 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (sqrt 27.0)))) into 0 11.846 * [backup-simplify]: Simplify 0 into 0 11.847 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 11.848 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.849 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))) into 0 11.849 * [backup-simplify]: Simplify 0 into 0 11.850 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 11.851 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.852 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0)))))) into 0 11.852 * [backup-simplify]: Simplify 0 into 0 11.853 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 11.854 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.855 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0))))))) into 0 11.855 * [backup-simplify]: Simplify 0 into 0 11.857 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 27.0))) into 0 11.858 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 27.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.859 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 27.0)))))))) into 0 11.859 * [backup-simplify]: Simplify 0 into 0 11.860 * [backup-simplify]: Simplify (* (* -1 (sqrt 27.0)) (/ 1 (/ 1 (- y)))) into (* y (sqrt 27.0)) 11.860 * * * [progress]: simplifying candidates 11.860 * * * * [progress]: [ 1 / 82 ] simplifiying candidate # 11.860 * * * * [progress]: [ 2 / 82 ] simplifiying candidate # 11.860 * * * * [progress]: [ 3 / 82 ] simplifiying candidate # 11.860 * * * * [progress]: [ 4 / 82 ] simplifiying candidate # 11.860 * * * * [progress]: [ 5 / 82 ] simplifiying candidate # 11.860 * * * * [progress]: [ 6 / 82 ] simplifiying candidate # 11.860 * * * * [progress]: [ 7 / 82 ] simplifiying candidate # 11.861 * * * * [progress]: [ 8 / 82 ] simplifiying candidate # 11.861 * * * * [progress]: [ 9 / 82 ] simplifiying candidate # 11.861 * * * * [progress]: [ 10 / 82 ] simplifiying candidate # 11.861 * * * * [progress]: [ 11 / 82 ] simplifiying candidate # 11.861 * * * * [progress]: [ 12 / 82 ] simplifiying candidate # 11.861 * * * * [progress]: [ 13 / 82 ] simplifiying candidate # 11.861 * * * * [progress]: [ 14 / 82 ] simplifiying candidate # 11.861 * * * * [progress]: [ 15 / 82 ] simplifiying candidate # 11.861 * * * * [progress]: [ 16 / 82 ] simplifiying candidate # 11.861 * * * * [progress]: [ 17 / 82 ] simplifiying candidate # 11.861 * * * * [progress]: [ 18 / 82 ] simplifiying candidate # 11.861 * * * * [progress]: [ 19 / 82 ] simplifiying candidate # 11.861 * * * * [progress]: [ 20 / 82 ] simplifiying candidate # 11.861 * * * * [progress]: [ 21 / 82 ] simplifiying candidate # 11.861 * * * * [progress]: [ 22 / 82 ] simplifiying candidate # 11.861 * * * * [progress]: [ 23 / 82 ] simplifiying candidate # 11.861 * * * * [progress]: [ 24 / 82 ] simplifiying candidate # 11.861 * * * * [progress]: [ 25 / 82 ] simplifiying candidate # 11.862 * * * * [progress]: [ 26 / 82 ] simplifiying candidate #real (real->posit16 (* (sqrt 27.0) (* x (* y (sqrt 27.0)))))))> 11.862 * * * * [progress]: [ 27 / 82 ] simplifiying candidate # 11.862 * * * * [progress]: [ 28 / 82 ] simplifiying candidate # 11.862 * * * * [progress]: [ 29 / 82 ] simplifiying candidate # 11.862 * * * * [progress]: [ 30 / 82 ] simplifiying candidate # 11.862 * * * * [progress]: [ 31 / 82 ] simplifiying candidate # 11.862 * * * * [progress]: [ 32 / 82 ] simplifiying candidate # 11.862 * * * * [progress]: [ 33 / 82 ] simplifiying candidate # 11.862 * * * * [progress]: [ 34 / 82 ] simplifiying candidate # 11.862 * * * * [progress]: [ 35 / 82 ] simplifiying candidate # 11.862 * * * * [progress]: [ 36 / 82 ] simplifiying candidate # 11.862 * * * * [progress]: [ 37 / 82 ] simplifiying candidate # 11.862 * * * * [progress]: [ 38 / 82 ] simplifiying candidate # 11.862 * * * * [progress]: [ 39 / 82 ] simplifiying candidate # 11.862 * * * * [progress]: [ 40 / 82 ] simplifiying candidate # 11.862 * * * * [progress]: [ 41 / 82 ] simplifiying candidate # 11.862 * * * * [progress]: [ 42 / 82 ] simplifiying candidate # 11.862 * * * * [progress]: [ 43 / 82 ] simplifiying candidate # 11.863 * * * * [progress]: [ 44 / 82 ] simplifiying candidate # 11.863 * * * * [progress]: [ 45 / 82 ] simplifiying candidate # 11.863 * * * * [progress]: [ 46 / 82 ] simplifiying candidate # 11.863 * * * * [progress]: [ 47 / 82 ] simplifiying candidate #real (real->posit16 (* x (* y (sqrt 27.0)))))))> 11.863 * * * * [progress]: [ 48 / 82 ] simplifiying candidate # 11.863 * * * * [progress]: [ 49 / 82 ] simplifiying candidate # 11.863 * * * * [progress]: [ 50 / 82 ] simplifiying candidate # 11.863 * * * * [progress]: [ 51 / 82 ] simplifiying candidate # 11.863 * * * * [progress]: [ 52 / 82 ] simplifiying candidate # 11.863 * * * * [progress]: [ 53 / 82 ] simplifiying candidate # 11.863 * * * * [progress]: [ 54 / 82 ] simplifiying candidate # 11.863 * * * * [progress]: [ 55 / 82 ] simplifiying candidate # 11.863 * * * * [progress]: [ 56 / 82 ] simplifiying candidate # 11.863 * * * * [progress]: [ 57 / 82 ] simplifiying candidate # 11.863 * * * * [progress]: [ 58 / 82 ] simplifiying candidate # 11.863 * * * * [progress]: [ 59 / 82 ] simplifiying candidate # 11.863 * * * * [progress]: [ 60 / 82 ] simplifiying candidate # 11.863 * * * * [progress]: [ 61 / 82 ] simplifiying candidate # 11.864 * * * * [progress]: [ 62 / 82 ] simplifiying candidate # 11.864 * * * * [progress]: [ 63 / 82 ] simplifiying candidate # 11.864 * * * * [progress]: [ 64 / 82 ] simplifiying candidate # 11.864 * * * * [progress]: [ 65 / 82 ] simplifiying candidate # 11.864 * * * * [progress]: [ 66 / 82 ] simplifiying candidate # 11.864 * * * * [progress]: [ 67 / 82 ] simplifiying candidate # 11.864 * * * * [progress]: [ 68 / 82 ] simplifiying candidate # 11.864 * * * * [progress]: [ 69 / 82 ] simplifiying candidate # 11.864 * * * * [progress]: [ 70 / 82 ] simplifiying candidate # 11.864 * * * * [progress]: [ 71 / 82 ] simplifiying candidate # 11.864 * * * * [progress]: [ 72 / 82 ] simplifiying candidate #real (real->posit16 (* y (sqrt 27.0)))))))> 11.864 * * * * [progress]: [ 73 / 82 ] simplifiying candidate # 11.864 * * * * [progress]: [ 74 / 82 ] simplifiying candidate # 11.864 * * * * [progress]: [ 75 / 82 ] simplifiying candidate # 11.864 * * * * [progress]: [ 76 / 82 ] simplifiying candidate # 11.864 * * * * [progress]: [ 77 / 82 ] simplifiying candidate # 11.864 * * * * [progress]: [ 78 / 82 ] simplifiying candidate # 11.864 * * * * [progress]: [ 79 / 82 ] simplifiying candidate # 11.864 * * * * [progress]: [ 80 / 82 ] simplifiying candidate # 11.864 * * * * [progress]: [ 81 / 82 ] simplifiying candidate # 11.865 * * * * [progress]: [ 82 / 82 ] simplifiying candidate # 11.866 * [simplify]: Simplifying: (expm1 (* (sqrt 27.0) (* x (* y (sqrt 27.0))))) (log1p (* (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 27.0)))) (+ (log (sqrt 27.0)) (+ (log x) (+ (log y) (log (sqrt 27.0))))) (+ (log (sqrt 27.0)) (+ (log x) (log (* y (sqrt 27.0))))) (+ (log (sqrt 27.0)) (log (* x (* y (sqrt 27.0))))) (log (* (sqrt 27.0) (* x (* y (sqrt 27.0))))) (exp (* (sqrt 27.0) (* x (* y (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 x) x) (* (* (* y (sqrt 27.0)) (* y (sqrt 27.0))) (* 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 (sqrt 27.0))))) (* (cbrt (* (sqrt 27.0) (* x (* y (sqrt 27.0))))) (cbrt (* (sqrt 27.0) (* x (* y (sqrt 27.0)))))) (cbrt (* (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 27.0))))) (sqrt (* (sqrt 27.0) (* x (* y (sqrt 27.0))))) (sqrt (* (sqrt 27.0) (* x (* y (sqrt 27.0))))) (* (sqrt 27.0) x) (* (cbrt (sqrt 27.0)) (* x (* y (sqrt 27.0)))) (* (sqrt (cbrt 27.0)) (* x (* y (sqrt 27.0)))) (* (sqrt (sqrt 27.0)) (* x (* y (sqrt 27.0)))) (* (sqrt 27.0) (* x (* y (sqrt 27.0)))) (* (sqrt (sqrt 27.0)) (* x (* y (sqrt 27.0)))) (* (sqrt 27.0) (* x (* y (sqrt 27.0)))) (real->posit16 (* (sqrt 27.0) (* x (* y (sqrt 27.0))))) (expm1 (* x (* y (sqrt 27.0)))) (log1p (* x (* y (sqrt 27.0)))) (* x (* y (sqrt 27.0))) (* x (* y (sqrt 27.0))) (+ (log x) (+ (log y) (log (sqrt 27.0)))) (+ (log x) (log (* y (sqrt 27.0)))) (log (* x (* y (sqrt 27.0)))) (exp (* x (* y (sqrt 27.0)))) (* (* (* x x) x) (* (* (* y y) y) (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)))) (* (* (* x x) x) (* (* (* y (sqrt 27.0)) (* y (sqrt 27.0))) (* y (sqrt 27.0)))) (* (cbrt (* x (* y (sqrt 27.0)))) (cbrt (* x (* y (sqrt 27.0))))) (cbrt (* x (* y (sqrt 27.0)))) (* (* (* x (* y (sqrt 27.0))) (* x (* y (sqrt 27.0)))) (* x (* y (sqrt 27.0)))) (sqrt (* x (* y (sqrt 27.0)))) (sqrt (* x (* y (sqrt 27.0)))) (* x y) (* (cbrt x) (* y (sqrt 27.0))) (* (sqrt x) (* y (sqrt 27.0))) (* x (* y (sqrt 27.0))) (real->posit16 (* x (* y (sqrt 27.0)))) (expm1 (* y (sqrt 27.0))) (log1p (* y (sqrt 27.0))) (* y (sqrt 27.0)) (+ (log y) (log (sqrt 27.0))) (log (* y (sqrt 27.0))) (exp (* y (sqrt 27.0))) (* (* (* y y) y) (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0))) (* (cbrt (* y (sqrt 27.0))) (cbrt (* y (sqrt 27.0)))) (cbrt (* y (sqrt 27.0))) (* (* (* y (sqrt 27.0)) (* y (sqrt 27.0))) (* y (sqrt 27.0))) (sqrt (* y (sqrt 27.0))) (sqrt (* y (sqrt 27.0))) (* (sqrt y) (sqrt (sqrt 27.0))) (* (sqrt y) (sqrt (sqrt 27.0))) (* (sqrt y) (sqrt (sqrt 27.0))) (* (sqrt y) (sqrt (sqrt 27.0))) (* y (* (cbrt (sqrt 27.0)) (cbrt (sqrt 27.0)))) (* y (sqrt (* (cbrt 27.0) (cbrt 27.0)))) (* y (sqrt (sqrt 27.0))) (* y (sqrt 1)) (* y (sqrt (sqrt 27.0))) (* y 1) (* (cbrt y) (sqrt 27.0)) (* (sqrt y) (sqrt 27.0)) (* y (sqrt 27.0)) (real->posit16 (* y (sqrt 27.0))) (* x (* y (pow (sqrt 27.0) 2))) (* x (* y (pow (sqrt 27.0) 2))) (* x (* y (pow (sqrt 27.0) 2))) (* x (* y (sqrt 27.0))) (* x (* y (sqrt 27.0))) (* x (* y (sqrt 27.0))) (* y (sqrt 27.0)) (* y (sqrt 27.0)) (* y (sqrt 27.0)) 11.867 * * [simplify]: iteration 0: 90 enodes 11.897 * * [simplify]: iteration 1: 206 enodes 11.989 * * [simplify]: iteration 2: 818 enodes 12.839 * * [simplify]: iteration 3: 4038 enodes 14.573 * * [simplify]: iteration complete: 5001 enodes 14.573 * * [simplify]: Extracting #0: cost 44 inf + 0 14.576 * * [simplify]: Extracting #1: cost 663 inf + 1 14.586 * * [simplify]: Extracting #2: cost 1341 inf + 13458 14.634 * * [simplify]: Extracting #3: cost 532 inf + 147561 14.722 * * [simplify]: Extracting #4: cost 53 inf + 240695 14.773 * * [simplify]: Extracting #5: cost 8 inf + 250936 14.853 * * [simplify]: Extracting #6: cost 0 inf + 253841 14.914 * [simplify]: Simplified to: (expm1 (* y (* 27.0 x))) (log1p (* y (* 27.0 x))) (* 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))) (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)))) (* (* 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))) (* x (sqrt 27.0)) (* (* x (cbrt (sqrt 27.0))) (* (sqrt 27.0) y)) (* (* (sqrt (cbrt 27.0)) x) (* (sqrt 27.0) y)) (* (* (sqrt (sqrt 27.0)) x) (* (sqrt 27.0) y)) (* y (* 27.0 x)) (* (* (sqrt (sqrt 27.0)) x) (* (sqrt 27.0) y)) (* y (* 27.0 x)) (real->posit16 (* y (* 27.0 x))) (expm1 (* (sqrt 27.0) (* x y))) (log1p (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y)) (log (* (sqrt 27.0) (* x y))) (log (* (sqrt 27.0) (* x y))) (log (* (sqrt 27.0) (* x y))) (exp (* (sqrt 27.0) (* x y))) (* (* x y) (* (* (sqrt 27.0) (* x y)) (* (* (sqrt 27.0) (* x y)) (sqrt 27.0)))) (* (* x y) (* (* (sqrt 27.0) (* x y)) (* (* (sqrt 27.0) (* x y)) (sqrt 27.0)))) (* (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)) (* (* (sqrt 27.0) (* x y)) (sqrt 27.0)))) (sqrt (* (sqrt 27.0) (* x y))) (sqrt (* (sqrt 27.0) (* x y))) (* x y) (* (* (sqrt 27.0) (cbrt x)) y) (* (sqrt x) (* (sqrt 27.0) y)) (* (sqrt 27.0) (* x y)) (real->posit16 (* (sqrt 27.0) (* x y))) (expm1 (* (sqrt 27.0) y)) (log1p (* (sqrt 27.0) y)) (* (sqrt 27.0) y) (log (* (sqrt 27.0) y)) (log (* (sqrt 27.0) y)) (exp (* (sqrt 27.0) y)) (* (* (* (* y y) 27.0) y) (sqrt 27.0)) (* (cbrt (* (sqrt 27.0) y)) (cbrt (* (sqrt 27.0) y))) (cbrt (* (sqrt 27.0) y)) (* (* (* (* y y) 27.0) y) (sqrt 27.0)) (sqrt (* (sqrt 27.0) y)) (sqrt (* (sqrt 27.0) y)) (* (sqrt (sqrt 27.0)) (sqrt y)) (* (sqrt (sqrt 27.0)) (sqrt y)) (* (sqrt (sqrt 27.0)) (sqrt y)) (* (sqrt (sqrt 27.0)) (sqrt y)) (* y (* (cbrt (sqrt 27.0)) (cbrt (sqrt 27.0)))) (* y (fabs (cbrt 27.0))) (* (sqrt (sqrt 27.0)) y) y (* (sqrt (sqrt 27.0)) y) y (* (sqrt 27.0) (cbrt y)) (* (sqrt y) (sqrt 27.0)) (* (sqrt 27.0) y) (real->posit16 (* (sqrt 27.0) y)) (* y (* 27.0 x)) (* y (* 27.0 x)) (* y (* 27.0 x)) (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) y) (* (sqrt 27.0) y) (* (sqrt 27.0) y) 14.917 * * * [progress]: adding candidates to table 15.156 * [progress]: [Phase 3 of 3] Extracting. 15.156 * * [regime]: Finding splitpoints for: (# # # #) 15.156 * * * [regime-changes]: Trying 4 branch expressions: ((* x 27.0) (* (* x 27.0) y) y x) 15.156 * * * * [regimes]: Trying to branch on (* x 27.0) from (# # # #) 15.184 * * * * [regimes]: Trying to branch on (* (* x 27.0) y) from (# # # #) 15.213 * * * * [regimes]: Trying to branch on y from (# # # #) 15.236 * * * * [regimes]: Trying to branch on x from (# # # #) 15.260 * * * [regime]: Found split indices: #