696.742 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.018 * * * [progress]: [2/2] Setting up program. 0.021 * [progress]: [Phase 2 of 3] Improving. 0.021 * [simplify]: Simplifying using # : (* (* 3.0 (- 2.0 (* x 3.0))) x) 0.022 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 0.023 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 0.025 * * [simplify]: iteration 2 : 31 enodes (cost 9 ) 0.030 * * [simplify]: iteration 3 : 67 enodes (cost 9 ) 0.043 * * [simplify]: iteration 4 : 106 enodes (cost 9 ) 0.075 * * [simplify]: iteration 5 : 122 enodes (cost 9 ) 0.100 * * [simplify]: iteration done : 122 enodes (cost 9 ) 0.100 * [simplify]: Simplified to: (* (* 3.0 (- 2.0 (* x 3.0))) x) 0.100 * * [progress]: iteration 1 / 4 0.100 * * * [progress]: picking best candidate 0.102 * * * * [pick]: Picked # 0.102 * * * [progress]: localizing error 0.108 * * * [progress]: generating rewritten candidates 0.108 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.121 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.130 * * * [progress]: generating series expansions 0.130 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.130 * [approximate]: Taking taylor expansion of (* 3.0 (- 2.0 (* 3.0 x))) in (x) around 0 0.130 * [taylor]: Taking taylor expansion of (* 3.0 (- 2.0 (* 3.0 x))) in x 0.130 * [taylor]: Taking taylor expansion of 3.0 in x 0.130 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x 0.130 * [taylor]: Taking taylor expansion of 2.0 in x 0.130 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 0.130 * [taylor]: Taking taylor expansion of 3.0 in x 0.130 * [taylor]: Taking taylor expansion of x in x 0.130 * [taylor]: Taking taylor expansion of (* 3.0 (- 2.0 (* 3.0 x))) in x 0.130 * [taylor]: Taking taylor expansion of 3.0 in x 0.130 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x 0.130 * [taylor]: Taking taylor expansion of 2.0 in x 0.130 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 0.130 * [taylor]: Taking taylor expansion of 3.0 in x 0.130 * [taylor]: Taking taylor expansion of x in x 0.131 * [approximate]: Taking taylor expansion of (* 3.0 (- 2.0 (* 3.0 (/ 1 x)))) in (x) around 0 0.131 * [taylor]: Taking taylor expansion of (* 3.0 (- 2.0 (* 3.0 (/ 1 x)))) in x 0.131 * [taylor]: Taking taylor expansion of 3.0 in x 0.131 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x 0.131 * [taylor]: Taking taylor expansion of 2.0 in x 0.131 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 0.132 * [taylor]: Taking taylor expansion of 3.0 in x 0.132 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.132 * [taylor]: Taking taylor expansion of x in x 0.132 * [taylor]: Taking taylor expansion of (* 3.0 (- 2.0 (* 3.0 (/ 1 x)))) in x 0.132 * [taylor]: Taking taylor expansion of 3.0 in x 0.132 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x 0.132 * [taylor]: Taking taylor expansion of 2.0 in x 0.132 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 0.132 * [taylor]: Taking taylor expansion of 3.0 in x 0.132 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.132 * [taylor]: Taking taylor expansion of x in x 0.134 * [approximate]: Taking taylor expansion of (* 3.0 (+ (* 3.0 (/ 1 x)) 2.0)) in (x) around 0 0.134 * [taylor]: Taking taylor expansion of (* 3.0 (+ (* 3.0 (/ 1 x)) 2.0)) in x 0.134 * [taylor]: Taking taylor expansion of 3.0 in x 0.134 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x 0.134 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 0.134 * [taylor]: Taking taylor expansion of 3.0 in x 0.134 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.134 * [taylor]: Taking taylor expansion of x in x 0.134 * [taylor]: Taking taylor expansion of 2.0 in x 0.134 * [taylor]: Taking taylor expansion of (* 3.0 (+ (* 3.0 (/ 1 x)) 2.0)) in x 0.134 * [taylor]: Taking taylor expansion of 3.0 in x 0.134 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x 0.134 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 0.134 * [taylor]: Taking taylor expansion of 3.0 in x 0.134 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.134 * [taylor]: Taking taylor expansion of x in x 0.134 * [taylor]: Taking taylor expansion of 2.0 in x 0.135 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.136 * [approximate]: Taking taylor expansion of (* 3.0 (* (- 2.0 (* 3.0 x)) x)) in (x) around 0 0.136 * [taylor]: Taking taylor expansion of (* 3.0 (* (- 2.0 (* 3.0 x)) x)) in x 0.136 * [taylor]: Taking taylor expansion of 3.0 in x 0.136 * [taylor]: Taking taylor expansion of (* (- 2.0 (* 3.0 x)) x) in x 0.136 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x 0.136 * [taylor]: Taking taylor expansion of 2.0 in x 0.136 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 0.136 * [taylor]: Taking taylor expansion of 3.0 in x 0.136 * [taylor]: Taking taylor expansion of x in x 0.136 * [taylor]: Taking taylor expansion of x in x 0.136 * [taylor]: Taking taylor expansion of (* 3.0 (* (- 2.0 (* 3.0 x)) x)) in x 0.136 * [taylor]: Taking taylor expansion of 3.0 in x 0.136 * [taylor]: Taking taylor expansion of (* (- 2.0 (* 3.0 x)) x) in x 0.136 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x 0.136 * [taylor]: Taking taylor expansion of 2.0 in x 0.136 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 0.136 * [taylor]: Taking taylor expansion of 3.0 in x 0.136 * [taylor]: Taking taylor expansion of x in x 0.136 * [taylor]: Taking taylor expansion of x in x 0.138 * [approximate]: Taking taylor expansion of (* 3.0 (/ (- 2.0 (* 3.0 (/ 1 x))) x)) in (x) around 0 0.138 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- 2.0 (* 3.0 (/ 1 x))) x)) in x 0.138 * [taylor]: Taking taylor expansion of 3.0 in x 0.138 * [taylor]: Taking taylor expansion of (/ (- 2.0 (* 3.0 (/ 1 x))) x) in x 0.138 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x 0.138 * [taylor]: Taking taylor expansion of 2.0 in x 0.138 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 0.138 * [taylor]: Taking taylor expansion of 3.0 in x 0.138 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.138 * [taylor]: Taking taylor expansion of x in x 0.138 * [taylor]: Taking taylor expansion of x in x 0.138 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- 2.0 (* 3.0 (/ 1 x))) x)) in x 0.138 * [taylor]: Taking taylor expansion of 3.0 in x 0.138 * [taylor]: Taking taylor expansion of (/ (- 2.0 (* 3.0 (/ 1 x))) x) in x 0.138 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x 0.138 * [taylor]: Taking taylor expansion of 2.0 in x 0.138 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 0.138 * [taylor]: Taking taylor expansion of 3.0 in x 0.138 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.138 * [taylor]: Taking taylor expansion of x in x 0.138 * [taylor]: Taking taylor expansion of x in x 0.141 * [approximate]: Taking taylor expansion of (* -3.0 (/ (+ (* 3.0 (/ 1 x)) 2.0) x)) in (x) around 0 0.141 * [taylor]: Taking taylor expansion of (* -3.0 (/ (+ (* 3.0 (/ 1 x)) 2.0) x)) in x 0.141 * [taylor]: Taking taylor expansion of -3.0 in x 0.141 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 2.0) x) in x 0.141 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x 0.141 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 0.141 * [taylor]: Taking taylor expansion of 3.0 in x 0.141 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.141 * [taylor]: Taking taylor expansion of x in x 0.141 * [taylor]: Taking taylor expansion of 2.0 in x 0.141 * [taylor]: Taking taylor expansion of x in x 0.141 * [taylor]: Taking taylor expansion of (* -3.0 (/ (+ (* 3.0 (/ 1 x)) 2.0) x)) in x 0.141 * [taylor]: Taking taylor expansion of -3.0 in x 0.141 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 2.0) x) in x 0.141 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x 0.141 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 0.141 * [taylor]: Taking taylor expansion of 3.0 in x 0.141 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.141 * [taylor]: Taking taylor expansion of x in x 0.141 * [taylor]: Taking taylor expansion of 2.0 in x 0.141 * [taylor]: Taking taylor expansion of x in x 0.143 * * * [progress]: simplifying candidates 0.144 * [simplify]: Simplifying using # : (* 3.0 (- 2.0 (* x 3.0))) (+ (log 3.0) (log (- 2.0 (* x 3.0)))) (log (* 3.0 (- 2.0 (* x 3.0)))) (exp (* 3.0 (- 2.0 (* x 3.0)))) (* (* (* 3.0 3.0) 3.0) (* (* (- 2.0 (* x 3.0)) (- 2.0 (* x 3.0))) (- 2.0 (* x 3.0)))) (* (cbrt (* 3.0 (- 2.0 (* x 3.0)))) (cbrt (* 3.0 (- 2.0 (* x 3.0))))) (cbrt (* 3.0 (- 2.0 (* x 3.0)))) (* (* (* 3.0 (- 2.0 (* x 3.0))) (* 3.0 (- 2.0 (* x 3.0)))) (* 3.0 (- 2.0 (* x 3.0)))) (sqrt (* 3.0 (- 2.0 (* x 3.0)))) (sqrt (* 3.0 (- 2.0 (* x 3.0)))) (* (sqrt 3.0) (sqrt (- 2.0 (* x 3.0)))) (* (sqrt 3.0) (sqrt (- 2.0 (* x 3.0)))) (* 3.0 2.0) (* 3.0 (neg (* x 3.0))) (* 3.0 2.0) (* 3.0 (neg (* x 3.0))) (* 2.0 3.0) (* (neg (* x 3.0)) 3.0) (* 2.0 3.0) (* (neg (* x 3.0)) 3.0) (* 3.0 (* (cbrt (- 2.0 (* x 3.0))) (cbrt (- 2.0 (* x 3.0))))) (* 3.0 (sqrt (- 2.0 (* x 3.0)))) (* 3.0 1) (* (cbrt 3.0) (- 2.0 (* x 3.0))) (* (sqrt 3.0) (- 2.0 (* x 3.0))) (* 3.0 (- 2.0 (* x 3.0))) (* 3.0 (- (pow 2.0 3) (pow (* x 3.0) 3))) (* 3.0 (- (* 2.0 2.0) (* (* x 3.0) (* x 3.0)))) (* (* 3.0 (- 2.0 (* x 3.0))) x) (* (* 3.0 (- 2.0 (* x 3.0))) x) (+ (+ (log 3.0) (log (- 2.0 (* x 3.0)))) (log x)) (+ (log (* 3.0 (- 2.0 (* x 3.0)))) (log x)) (log (* (* 3.0 (- 2.0 (* x 3.0))) x)) (exp (* (* 3.0 (- 2.0 (* x 3.0))) x)) (* (* (* (* 3.0 3.0) 3.0) (* (* (- 2.0 (* x 3.0)) (- 2.0 (* x 3.0))) (- 2.0 (* x 3.0)))) (* (* x x) x)) (* (* (* (* 3.0 (- 2.0 (* x 3.0))) (* 3.0 (- 2.0 (* x 3.0)))) (* 3.0 (- 2.0 (* x 3.0)))) (* (* x x) x)) (* (cbrt (* (* 3.0 (- 2.0 (* x 3.0))) x)) (cbrt (* (* 3.0 (- 2.0 (* x 3.0))) x))) (cbrt (* (* 3.0 (- 2.0 (* x 3.0))) x)) (* (* (* (* 3.0 (- 2.0 (* x 3.0))) x) (* (* 3.0 (- 2.0 (* x 3.0))) x)) (* (* 3.0 (- 2.0 (* x 3.0))) x)) (sqrt (* (* 3.0 (- 2.0 (* x 3.0))) x)) (sqrt (* (* 3.0 (- 2.0 (* x 3.0))) x)) (* (* 3.0 (- 2.0 (* x 3.0))) (* (cbrt x) (cbrt x))) (* (* 3.0 (- 2.0 (* x 3.0))) (sqrt x)) (* (* 3.0 (- 2.0 (* x 3.0))) 1) (* (- 2.0 (* x 3.0)) x) (* (* 3.0 (- (pow 2.0 3) (pow (* x 3.0) 3))) x) (* (* 3.0 (- (* 2.0 2.0) (* (* x 3.0) (* x 3.0)))) x) (- 6.0 (* 9.0 x)) (- 6.0 (* 9.0 x)) (- 6.0 (* 9.0 x)) (- (* 6.0 x) (* 9.0 (pow x 2))) (- (* 6.0 x) (* 9.0 (pow x 2))) (- (* 6.0 x) (* 9.0 (pow x 2))) 0.145 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.145 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 0.146 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 0.150 * * [simplify]: iteration 3 : 37 enodes (cost 7 ) 0.156 * * [simplify]: iteration 4 : 41 enodes (cost 7 ) 0.163 * * [simplify]: iteration done : 41 enodes (cost 7 ) 0.164 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.164 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 0.166 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 0.168 * * [simplify]: iteration done : 19 enodes (cost 9 ) 0.169 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.169 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 0.171 * * [simplify]: iteration 2 : 28 enodes (cost 8 ) 0.175 * * [simplify]: iteration 3 : 42 enodes (cost 8 ) 0.181 * * [simplify]: iteration 4 : 48 enodes (cost 8 ) 0.194 * * [simplify]: iteration done : 48 enodes (cost 8 ) 0.194 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.195 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 0.197 * * [simplify]: iteration 2 : 32 enodes (cost 8 ) 0.202 * * [simplify]: iteration 3 : 66 enodes (cost 8 ) 0.213 * * [simplify]: iteration 4 : 130 enodes (cost 8 ) 0.234 * * [simplify]: iteration 5 : 274 enodes (cost 8 ) 0.353 * * [simplify]: iteration 6 : 722 enodes (cost 8 ) 0.971 * * [simplify]: iteration 7 : 2452 enodes (cost 8 ) 2.033 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 2.034 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 2.036 * * [simplify]: iteration 1 : 20 enodes (cost 23 ) 2.047 * * [simplify]: iteration 2 : 70 enodes (cost 11 ) 2.065 * * [simplify]: iteration 3 : 295 enodes (cost 11 ) 2.251 * * [simplify]: iteration 4 : 1320 enodes (cost 9 ) 4.266 * * [simplify]: iteration done : 5002 enodes (cost 9 ) 4.267 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 4.268 * * [simplify]: iteration 1 : 12 enodes (cost 17 ) 4.270 * * [simplify]: iteration 2 : 25 enodes (cost 17 ) 4.274 * * [simplify]: iteration 3 : 39 enodes (cost 17 ) 4.280 * * [simplify]: iteration 4 : 43 enodes (cost 17 ) 4.287 * * [simplify]: iteration done : 43 enodes (cost 17 ) 4.287 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 4.288 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 4.289 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 4.298 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 4.304 * * [simplify]: iteration 4 : 44 enodes (cost 8 ) 4.311 * * [simplify]: iteration done : 44 enodes (cost 8 ) 4.311 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 4.313 * * [simplify]: iteration 1 : 22 enodes (cost 23 ) 4.317 * * [simplify]: iteration 2 : 82 enodes (cost 9 ) 4.343 * * [simplify]: iteration 3 : 325 enodes (cost 9 ) 4.593 * * [simplify]: iteration 4 : 1203 enodes (cost 9 ) 6.758 * * [simplify]: iteration 5 : 4320 enodes (cost 9 ) 9.132 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 9.133 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 9.134 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 9.135 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 9.138 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 9.144 * * [simplify]: iteration 4 : 44 enodes (cost 8 ) 9.152 * * [simplify]: iteration done : 44 enodes (cost 8 ) 9.152 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 9.153 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 9.154 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 9.158 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 9.169 * * [simplify]: iteration 4 : 44 enodes (cost 8 ) 9.176 * * [simplify]: iteration done : 44 enodes (cost 8 ) 9.177 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 9.177 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 9.179 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 9.181 * * [simplify]: iteration done : 19 enodes (cost 9 ) 9.181 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 9.182 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 9.184 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 9.186 * * [simplify]: iteration done : 19 enodes (cost 9 ) 9.186 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 9.186 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 9.187 * * [simplify]: iteration done : 4 enodes (cost 3 ) 9.188 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 9.188 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 9.190 * * [simplify]: iteration 2 : 23 enodes (cost 6 ) 9.194 * * [simplify]: iteration 3 : 28 enodes (cost 6 ) 9.198 * * [simplify]: iteration done : 28 enodes (cost 6 ) 9.199 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 9.199 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 9.200 * * [simplify]: iteration done : 4 enodes (cost 3 ) 9.200 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 9.201 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 9.203 * * [simplify]: iteration 2 : 23 enodes (cost 6 ) 9.206 * * [simplify]: iteration 3 : 28 enodes (cost 6 ) 9.210 * * [simplify]: iteration done : 28 enodes (cost 6 ) 9.211 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 9.211 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 9.212 * * [simplify]: iteration done : 4 enodes (cost 3 ) 9.212 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 9.213 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 9.215 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 9.218 * * [simplify]: iteration 3 : 28 enodes (cost 6 ) 9.222 * * [simplify]: iteration done : 28 enodes (cost 6 ) 9.223 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 9.223 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 9.223 * * [simplify]: iteration done : 4 enodes (cost 3 ) 9.224 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 9.226 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 9.227 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 9.235 * * [simplify]: iteration 3 : 28 enodes (cost 6 ) 9.240 * * [simplify]: iteration done : 28 enodes (cost 6 ) 9.240 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 9.241 * * [simplify]: iteration 1 : 14 enodes (cost 15 ) 9.243 * * [simplify]: iteration 2 : 23 enodes (cost 15 ) 9.246 * * [simplify]: iteration done : 23 enodes (cost 15 ) 9.246 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 9.247 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 9.248 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 9.250 * * [simplify]: iteration done : 18 enodes (cost 8 ) 9.251 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 9.251 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 9.252 * * [simplify]: iteration done : 6 enodes (cost 1 ) 9.253 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 9.253 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 9.255 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 9.258 * * [simplify]: iteration 3 : 45 enodes (cost 8 ) 9.266 * * [simplify]: iteration 4 : 63 enodes (cost 8 ) 9.276 * * [simplify]: iteration 5 : 71 enodes (cost 8 ) 9.287 * * [simplify]: iteration done : 71 enodes (cost 8 ) 9.288 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 9.294 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 9.295 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 9.299 * * [simplify]: iteration 3 : 45 enodes (cost 8 ) 9.306 * * [simplify]: iteration 4 : 63 enodes (cost 8 ) 9.317 * * [simplify]: iteration 5 : 71 enodes (cost 8 ) 9.328 * * [simplify]: iteration done : 71 enodes (cost 8 ) 9.328 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 9.329 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 9.331 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 9.334 * * [simplify]: iteration 3 : 37 enodes (cost 7 ) 9.339 * * [simplify]: iteration 4 : 41 enodes (cost 7 ) 9.347 * * [simplify]: iteration done : 41 enodes (cost 7 ) 9.347 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 9.352 * * [simplify]: iteration 1 : 29 enodes (cost 11 ) 9.357 * * [simplify]: iteration 2 : 90 enodes (cost 11 ) 9.383 * * [simplify]: iteration 3 : 325 enodes (cost 11 ) 11.860 * * [simplify]: iteration 4 : 1018 enodes (cost 11 ) 13.303 * * [simplify]: iteration 5 : 3144 enodes (cost 11 ) 15.197 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 15.198 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 15.199 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 15.203 * * [simplify]: iteration 2 : 62 enodes (cost 13 ) 15.217 * * [simplify]: iteration 3 : 161 enodes (cost 13 ) 15.270 * * [simplify]: iteration 4 : 315 enodes (cost 13 ) 15.388 * * [simplify]: iteration 5 : 503 enodes (cost 13 ) 15.617 * * [simplify]: iteration 6 : 727 enodes (cost 13 ) 16.004 * * [simplify]: iteration 7 : 1213 enodes (cost 13 ) 18.202 * * [simplify]: iteration 8 : 4143 enodes (cost 13 ) 20.714 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 20.715 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 20.716 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 20.718 * * [simplify]: iteration 2 : 31 enodes (cost 9 ) 20.723 * * [simplify]: iteration 3 : 67 enodes (cost 9 ) 20.746 * * [simplify]: iteration 4 : 106 enodes (cost 9 ) 20.769 * * [simplify]: iteration 5 : 122 enodes (cost 9 ) 20.800 * * [simplify]: iteration done : 122 enodes (cost 9 ) 20.800 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 20.801 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 20.803 * * [simplify]: iteration 2 : 31 enodes (cost 9 ) 20.809 * * [simplify]: iteration 3 : 67 enodes (cost 9 ) 20.822 * * [simplify]: iteration 4 : 106 enodes (cost 9 ) 20.845 * * [simplify]: iteration 5 : 122 enodes (cost 9 ) 20.876 * * [simplify]: iteration done : 122 enodes (cost 9 ) 20.877 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 20.878 * * [simplify]: iteration 1 : 17 enodes (cost 12 ) 20.880 * * [simplify]: iteration 2 : 30 enodes (cost 12 ) 20.883 * * [simplify]: iteration 3 : 32 enodes (cost 12 ) 20.887 * * [simplify]: iteration done : 32 enodes (cost 12 ) 20.887 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 20.889 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 20.891 * * [simplify]: iteration 2 : 35 enodes (cost 11 ) 20.896 * * [simplify]: iteration 3 : 53 enodes (cost 11 ) 20.903 * * [simplify]: iteration 4 : 59 enodes (cost 11 ) 20.912 * * [simplify]: iteration done : 59 enodes (cost 11 ) 20.913 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 20.914 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 20.923 * * [simplify]: iteration 2 : 42 enodes (cost 10 ) 20.929 * * [simplify]: iteration 3 : 90 enodes (cost 10 ) 20.945 * * [simplify]: iteration 4 : 131 enodes (cost 10 ) 20.971 * * [simplify]: iteration 5 : 148 enodes (cost 10 ) 21.004 * * [simplify]: iteration done : 148 enodes (cost 10 ) 21.004 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 21.006 * * [simplify]: iteration 1 : 17 enodes (cost 10 ) 21.009 * * [simplify]: iteration 2 : 45 enodes (cost 10 ) 21.016 * * [simplify]: iteration 3 : 111 enodes (cost 10 ) 21.044 * * [simplify]: iteration 4 : 240 enodes (cost 10 ) 21.100 * * [simplify]: iteration 5 : 499 enodes (cost 10 ) 21.352 * * [simplify]: iteration 6 : 1257 enodes (cost 10 ) 22.549 * * [simplify]: iteration 7 : 4328 enodes (cost 10 ) 23.831 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 23.832 * * [simplify]: iteration 0 : 13 enodes (cost 29 ) 23.834 * * [simplify]: iteration 1 : 29 enodes (cost 29 ) 23.840 * * [simplify]: iteration 2 : 119 enodes (cost 15 ) 23.891 * * [simplify]: iteration 3 : 570 enodes (cost 15 ) 24.478 * * [simplify]: iteration 4 : 2871 enodes (cost 13 ) 26.327 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 26.328 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 26.329 * * [simplify]: iteration 1 : 31 enodes (cost 29 ) 26.336 * * [simplify]: iteration 2 : 129 enodes (cost 13 ) 26.398 * * [simplify]: iteration 3 : 651 enodes (cost 13 ) 27.261 * * [simplify]: iteration 4 : 3079 enodes (cost 11 ) 29.377 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 29.377 * * [simplify]: iteration 0 : 9 enodes (cost 21 ) 29.391 * * [simplify]: iteration 1 : 16 enodes (cost 21 ) 29.394 * * [simplify]: iteration 2 : 33 enodes (cost 21 ) 29.399 * * [simplify]: iteration 3 : 69 enodes (cost 21 ) 29.413 * * [simplify]: iteration 4 : 111 enodes (cost 21 ) 29.436 * * [simplify]: iteration 5 : 128 enodes (cost 21 ) 29.467 * * [simplify]: iteration done : 128 enodes (cost 21 ) 29.468 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 29.469 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 29.471 * * [simplify]: iteration 2 : 32 enodes (cost 10 ) 29.476 * * [simplify]: iteration 3 : 68 enodes (cost 10 ) 29.489 * * [simplify]: iteration 4 : 110 enodes (cost 10 ) 29.519 * * [simplify]: iteration 5 : 125 enodes (cost 10 ) 29.543 * * [simplify]: iteration done : 125 enodes (cost 10 ) 29.544 * * [simplify]: iteration 0 : 9 enodes (cost 29 ) 29.545 * * [simplify]: iteration 1 : 26 enodes (cost 29 ) 29.551 * * [simplify]: iteration 2 : 107 enodes (cost 11 ) 29.621 * * [simplify]: iteration 3 : 594 enodes (cost 11 ) 30.521 * * [simplify]: iteration 4 : 2895 enodes (cost 11 ) 32.811 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 32.812 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 32.813 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 32.815 * * [simplify]: iteration 2 : 32 enodes (cost 10 ) 32.821 * * [simplify]: iteration 3 : 68 enodes (cost 10 ) 32.834 * * [simplify]: iteration 4 : 110 enodes (cost 10 ) 32.862 * * [simplify]: iteration 5 : 125 enodes (cost 10 ) 32.887 * * [simplify]: iteration done : 125 enodes (cost 10 ) 32.887 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 32.888 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 32.890 * * [simplify]: iteration 2 : 32 enodes (cost 10 ) 32.900 * * [simplify]: iteration 3 : 68 enodes (cost 10 ) 32.913 * * [simplify]: iteration 4 : 110 enodes (cost 10 ) 32.937 * * [simplify]: iteration 5 : 125 enodes (cost 10 ) 32.966 * * [simplify]: iteration done : 125 enodes (cost 10 ) 32.967 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 32.968 * * [simplify]: iteration 1 : 18 enodes (cost 13 ) 32.970 * * [simplify]: iteration 2 : 44 enodes (cost 13 ) 32.978 * * [simplify]: iteration 3 : 98 enodes (cost 13 ) 33.001 * * [simplify]: iteration 4 : 220 enodes (cost 13 ) 33.086 * * [simplify]: iteration 5 : 352 enodes (cost 13 ) 33.249 * * [simplify]: iteration 6 : 405 enodes (cost 13 ) 33.434 * * [simplify]: iteration done : 405 enodes (cost 13 ) 33.435 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 33.436 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 33.438 * * [simplify]: iteration 2 : 34 enodes (cost 10 ) 33.443 * * [simplify]: iteration 3 : 70 enodes (cost 10 ) 33.457 * * [simplify]: iteration 4 : 135 enodes (cost 10 ) 33.498 * * [simplify]: iteration 5 : 183 enodes (cost 10 ) 33.546 * * [simplify]: iteration 6 : 201 enodes (cost 10 ) 33.594 * * [simplify]: iteration done : 201 enodes (cost 10 ) 33.594 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 33.595 * * [simplify]: iteration 1 : 17 enodes (cost 7 ) 33.598 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 33.606 * * [simplify]: iteration 3 : 84 enodes (cost 7 ) 33.623 * * [simplify]: iteration 4 : 133 enodes (cost 7 ) 33.667 * * [simplify]: iteration 5 : 196 enodes (cost 7 ) 33.699 * * [simplify]: iteration 6 : 224 enodes (cost 7 ) 33.735 * * [simplify]: iteration 7 : 251 enodes (cost 7 ) 33.764 * * [simplify]: iteration done : 251 enodes (cost 7 ) 33.764 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 33.765 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 33.766 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 33.770 * * [simplify]: iteration 3 : 37 enodes (cost 7 ) 33.775 * * [simplify]: iteration 4 : 41 enodes (cost 7 ) 33.782 * * [simplify]: iteration done : 41 enodes (cost 7 ) 33.782 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 33.784 * * [simplify]: iteration 1 : 33 enodes (cost 13 ) 33.790 * * [simplify]: iteration 2 : 98 enodes (cost 13 ) 33.823 * * [simplify]: iteration 3 : 365 enodes (cost 13 ) 34.115 * * [simplify]: iteration 4 : 1363 enodes (cost 13 ) 36.595 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 36.596 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 36.597 * * [simplify]: iteration 1 : 26 enodes (cost 15 ) 36.602 * * [simplify]: iteration 2 : 72 enodes (cost 15 ) 36.627 * * [simplify]: iteration 3 : 214 enodes (cost 15 ) 36.706 * * [simplify]: iteration 4 : 542 enodes (cost 15 ) 37.006 * * [simplify]: iteration 5 : 1014 enodes (cost 13 ) 37.631 * * [simplify]: iteration 6 : 1532 enodes (cost 13 ) 38.783 * * [simplify]: iteration 7 : 2310 enodes (cost 13 ) 40.547 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 40.547 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 40.548 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 40.549 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 40.551 * * [simplify]: iteration done : 15 enodes (cost 5 ) 40.551 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 40.552 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 40.553 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 40.555 * * [simplify]: iteration done : 15 enodes (cost 5 ) 40.555 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 40.556 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 40.557 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 40.565 * * [simplify]: iteration done : 15 enodes (cost 5 ) 40.566 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 40.567 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 40.570 * * [simplify]: iteration 2 : 40 enodes (cost 9 ) 40.575 * * [simplify]: iteration 3 : 57 enodes (cost 9 ) 40.583 * * [simplify]: iteration 4 : 79 enodes (cost 7 ) 40.591 * * [simplify]: iteration 5 : 92 enodes (cost 7 ) 40.600 * * [simplify]: iteration 6 : 114 enodes (cost 7 ) 40.615 * * [simplify]: iteration 7 : 178 enodes (cost 7 ) 40.671 * * [simplify]: iteration 8 : 394 enodes (cost 7 ) 41.166 * * [simplify]: iteration 9 : 1344 enodes (cost 7 ) 43.553 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 43.554 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 43.555 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 43.558 * * [simplify]: iteration 2 : 40 enodes (cost 9 ) 43.562 * * [simplify]: iteration 3 : 57 enodes (cost 9 ) 43.576 * * [simplify]: iteration 4 : 79 enodes (cost 7 ) 43.585 * * [simplify]: iteration 5 : 92 enodes (cost 7 ) 43.595 * * [simplify]: iteration 6 : 114 enodes (cost 7 ) 43.609 * * [simplify]: iteration 7 : 178 enodes (cost 7 ) 43.665 * * [simplify]: iteration 8 : 394 enodes (cost 7 ) 44.156 * * [simplify]: iteration 9 : 1344 enodes (cost 7 ) 46.571 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 46.571 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 46.572 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 46.575 * * [simplify]: iteration 2 : 40 enodes (cost 9 ) 46.579 * * [simplify]: iteration 3 : 57 enodes (cost 9 ) 46.587 * * [simplify]: iteration 4 : 79 enodes (cost 7 ) 46.602 * * [simplify]: iteration 5 : 92 enodes (cost 7 ) 46.611 * * [simplify]: iteration 6 : 114 enodes (cost 7 ) 46.627 * * [simplify]: iteration 7 : 178 enodes (cost 7 ) 46.682 * * [simplify]: iteration 8 : 394 enodes (cost 7 ) 47.180 * * [simplify]: iteration 9 : 1344 enodes (cost 7 ) 49.602 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 49.603 * [simplify]: Simplified to: (* 3.0 (- 2.0 (* x 3.0))) (+ (log 3.0) (log (- 2.0 (* x 3.0)))) (log (* 3.0 (- 2.0 (* x 3.0)))) (exp (* 3.0 (- 2.0 (* x 3.0)))) (pow (* 3.0 (- 2.0 (* x 3.0))) 3) (* (cbrt (* 3.0 (- 2.0 (* x 3.0)))) (cbrt (* 3.0 (- 2.0 (* x 3.0))))) (cbrt (* 3.0 (- 2.0 (* x 3.0)))) (pow (* 3.0 (- 2.0 (* x 3.0))) 3) (sqrt (* 3.0 (- 2.0 (* x 3.0)))) (sqrt (* 3.0 (- 2.0 (* x 3.0)))) (* (sqrt 3.0) (sqrt (- 2.0 (* x 3.0)))) (* (sqrt 3.0) (sqrt (- 2.0 (* x 3.0)))) (* 3.0 2.0) (* 3.0 (neg (* x 3.0))) (* 3.0 2.0) (* 3.0 (neg (* x 3.0))) (* 2.0 3.0) (* (neg (* x 3.0)) 3.0) (* 2.0 3.0) (* (neg (* x 3.0)) 3.0) (* 3.0 (* (cbrt (- 2.0 (* x 3.0))) (cbrt (- 2.0 (* x 3.0))))) (* 3.0 (sqrt (- 2.0 (* x 3.0)))) 3.0 (* (cbrt 3.0) (- 2.0 (* x 3.0))) (* (sqrt 3.0) (- 2.0 (* x 3.0))) (* 3.0 (- 2.0 (* x 3.0))) (* 3.0 (- (pow 2.0 3) (pow (* x 3.0) 3))) (* (+ 2.0 (* x 3.0)) (* (- 2.0 (* x 3.0)) 3.0)) (* (* 3.0 (- 2.0 (* x 3.0))) x) (* (* 3.0 (- 2.0 (* x 3.0))) x) (+ (+ (log 3.0) (log (- 2.0 (* x 3.0)))) (log x)) (+ (log (* 3.0 (- 2.0 (* x 3.0)))) (log x)) (log (* (* 3.0 (- 2.0 (* x 3.0))) x)) (exp (* (* 3.0 (- 2.0 (* x 3.0))) x)) (* (pow x 3) (pow (* 3.0 (- 2.0 (* x 3.0))) 3)) (pow (* (* x 3.0) (- 2.0 (* x 3.0))) 3) (* (cbrt (* (* 3.0 (- 2.0 (* x 3.0))) x)) (cbrt (* (* 3.0 (- 2.0 (* x 3.0))) x))) (cbrt (* (* 3.0 (- 2.0 (* x 3.0))) x)) (pow (* (* 3.0 (- 2.0 (* x 3.0))) x) 3) (sqrt (* (* 3.0 (- 2.0 (* x 3.0))) x)) (sqrt (* (* 3.0 (- 2.0 (* x 3.0))) x)) (* (* 3.0 (- 2.0 (* x 3.0))) (* (cbrt x) (cbrt x))) (* (* 3.0 (- 2.0 (* x 3.0))) (sqrt x)) (* 3.0 (- 2.0 (* x 3.0))) (* (- 2.0 (* x 3.0)) x) (* (* 3.0 (- (pow 2.0 3) (pow (* x 3.0) 3))) x) (- (* x (* 3.0 (* 2.0 2.0))) (pow (* x 3.0) 3)) (- 6.0 (* 9.0 x)) (- 6.0 (* 9.0 x)) (- 6.0 (* 9.0 x)) (* x (- 6.0 (* x 9.0))) (* x (- 6.0 (* x 9.0))) (* x (- 6.0 (* x 9.0))) 49.603 * * * [progress]: adding candidates to table 49.680 * * [progress]: iteration 2 / 4 49.680 * * * [progress]: picking best candidate 49.701 * * * * [pick]: Picked # 49.701 * * * [progress]: localizing error 49.706 * * * [progress]: generating rewritten candidates 49.706 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 49.718 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 49.722 * * * [progress]: generating series expansions 49.722 * * * * [progress]: [ 1 / 2 ] generating series at (2) 49.722 * [approximate]: Taking taylor expansion of (* x (- 6.0 (* 9.0 x))) in (x) around 0 49.722 * [taylor]: Taking taylor expansion of (* x (- 6.0 (* 9.0 x))) in x 49.722 * [taylor]: Taking taylor expansion of x in x 49.722 * [taylor]: Taking taylor expansion of (- 6.0 (* 9.0 x)) in x 49.722 * [taylor]: Taking taylor expansion of 6.0 in x 49.722 * [taylor]: Taking taylor expansion of (* 9.0 x) in x 49.722 * [taylor]: Taking taylor expansion of 9.0 in x 49.722 * [taylor]: Taking taylor expansion of x in x 49.722 * [taylor]: Taking taylor expansion of (* x (- 6.0 (* 9.0 x))) in x 49.722 * [taylor]: Taking taylor expansion of x in x 49.722 * [taylor]: Taking taylor expansion of (- 6.0 (* 9.0 x)) in x 49.722 * [taylor]: Taking taylor expansion of 6.0 in x 49.722 * [taylor]: Taking taylor expansion of (* 9.0 x) in x 49.722 * [taylor]: Taking taylor expansion of 9.0 in x 49.722 * [taylor]: Taking taylor expansion of x in x 49.724 * [approximate]: Taking taylor expansion of (/ (- 6.0 (* 9.0 (/ 1 x))) x) in (x) around 0 49.724 * [taylor]: Taking taylor expansion of (/ (- 6.0 (* 9.0 (/ 1 x))) x) in x 49.724 * [taylor]: Taking taylor expansion of (- 6.0 (* 9.0 (/ 1 x))) in x 49.724 * [taylor]: Taking taylor expansion of 6.0 in x 49.724 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x 49.724 * [taylor]: Taking taylor expansion of 9.0 in x 49.724 * [taylor]: Taking taylor expansion of (/ 1 x) in x 49.724 * [taylor]: Taking taylor expansion of x in x 49.724 * [taylor]: Taking taylor expansion of x in x 49.724 * [taylor]: Taking taylor expansion of (/ (- 6.0 (* 9.0 (/ 1 x))) x) in x 49.724 * [taylor]: Taking taylor expansion of (- 6.0 (* 9.0 (/ 1 x))) in x 49.724 * [taylor]: Taking taylor expansion of 6.0 in x 49.724 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x 49.724 * [taylor]: Taking taylor expansion of 9.0 in x 49.724 * [taylor]: Taking taylor expansion of (/ 1 x) in x 49.724 * [taylor]: Taking taylor expansion of x in x 49.724 * [taylor]: Taking taylor expansion of x in x 49.726 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (* 9.0 (/ 1 x)) 6.0) x)) in (x) around 0 49.726 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 9.0 (/ 1 x)) 6.0) x)) in x 49.726 * [taylor]: Taking taylor expansion of -1 in x 49.726 * [taylor]: Taking taylor expansion of (/ (+ (* 9.0 (/ 1 x)) 6.0) x) in x 49.726 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 x)) 6.0) in x 49.726 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x 49.726 * [taylor]: Taking taylor expansion of 9.0 in x 49.726 * [taylor]: Taking taylor expansion of (/ 1 x) in x 49.726 * [taylor]: Taking taylor expansion of x in x 49.726 * [taylor]: Taking taylor expansion of 6.0 in x 49.726 * [taylor]: Taking taylor expansion of x in x 49.726 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 9.0 (/ 1 x)) 6.0) x)) in x 49.726 * [taylor]: Taking taylor expansion of -1 in x 49.726 * [taylor]: Taking taylor expansion of (/ (+ (* 9.0 (/ 1 x)) 6.0) x) in x 49.726 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 x)) 6.0) in x 49.726 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x 49.726 * [taylor]: Taking taylor expansion of 9.0 in x 49.726 * [taylor]: Taking taylor expansion of (/ 1 x) in x 49.726 * [taylor]: Taking taylor expansion of x in x 49.726 * [taylor]: Taking taylor expansion of 6.0 in x 49.726 * [taylor]: Taking taylor expansion of x in x 49.729 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 49.729 * [approximate]: Taking taylor expansion of (- 6.0 (* 9.0 x)) in (x) around 0 49.729 * [taylor]: Taking taylor expansion of (- 6.0 (* 9.0 x)) in x 49.729 * [taylor]: Taking taylor expansion of 6.0 in x 49.729 * [taylor]: Taking taylor expansion of (* 9.0 x) in x 49.729 * [taylor]: Taking taylor expansion of 9.0 in x 49.729 * [taylor]: Taking taylor expansion of x in x 49.729 * [taylor]: Taking taylor expansion of (- 6.0 (* 9.0 x)) in x 49.729 * [taylor]: Taking taylor expansion of 6.0 in x 49.729 * [taylor]: Taking taylor expansion of (* 9.0 x) in x 49.729 * [taylor]: Taking taylor expansion of 9.0 in x 49.729 * [taylor]: Taking taylor expansion of x in x 49.730 * [approximate]: Taking taylor expansion of (- 6.0 (* 9.0 (/ 1 x))) in (x) around 0 49.730 * [taylor]: Taking taylor expansion of (- 6.0 (* 9.0 (/ 1 x))) in x 49.730 * [taylor]: Taking taylor expansion of 6.0 in x 49.730 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x 49.730 * [taylor]: Taking taylor expansion of 9.0 in x 49.730 * [taylor]: Taking taylor expansion of (/ 1 x) in x 49.730 * [taylor]: Taking taylor expansion of x in x 49.730 * [taylor]: Taking taylor expansion of (- 6.0 (* 9.0 (/ 1 x))) in x 49.730 * [taylor]: Taking taylor expansion of 6.0 in x 49.730 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x 49.730 * [taylor]: Taking taylor expansion of 9.0 in x 49.730 * [taylor]: Taking taylor expansion of (/ 1 x) in x 49.730 * [taylor]: Taking taylor expansion of x in x 49.731 * [approximate]: Taking taylor expansion of (+ (* 9.0 (/ 1 x)) 6.0) in (x) around 0 49.731 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 x)) 6.0) in x 49.731 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x 49.731 * [taylor]: Taking taylor expansion of 9.0 in x 49.731 * [taylor]: Taking taylor expansion of (/ 1 x) in x 49.731 * [taylor]: Taking taylor expansion of x in x 49.731 * [taylor]: Taking taylor expansion of 6.0 in x 49.731 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 x)) 6.0) in x 49.731 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x 49.731 * [taylor]: Taking taylor expansion of 9.0 in x 49.731 * [taylor]: Taking taylor expansion of (/ 1 x) in x 49.731 * [taylor]: Taking taylor expansion of x in x 49.731 * [taylor]: Taking taylor expansion of 6.0 in x 49.732 * * * [progress]: simplifying candidates 49.733 * [simplify]: Simplifying using # : (* (- 6.0 (* 9.0 x)) x) (+ (log (- 6.0 (* 9.0 x))) (log x)) (log (* (- 6.0 (* 9.0 x)) x)) (exp (* (- 6.0 (* 9.0 x)) x)) (* (* (* (- 6.0 (* 9.0 x)) (- 6.0 (* 9.0 x))) (- 6.0 (* 9.0 x))) (* (* x x) x)) (* (cbrt (* (- 6.0 (* 9.0 x)) x)) (cbrt (* (- 6.0 (* 9.0 x)) x))) (cbrt (* (- 6.0 (* 9.0 x)) x)) (* (* (* (- 6.0 (* 9.0 x)) x) (* (- 6.0 (* 9.0 x)) x)) (* (- 6.0 (* 9.0 x)) x)) (sqrt (* (- 6.0 (* 9.0 x)) x)) (sqrt (* (- 6.0 (* 9.0 x)) x)) (* (sqrt (- 6.0 (* 9.0 x))) (sqrt x)) (* (sqrt (- 6.0 (* 9.0 x))) (sqrt x)) (* (- 6.0 (* 9.0 x)) (* (cbrt x) (cbrt x))) (* (- 6.0 (* 9.0 x)) (sqrt x)) (* (- 6.0 (* 9.0 x)) 1) (* (cbrt (- 6.0 (* 9.0 x))) x) (* (sqrt (- 6.0 (* 9.0 x))) x) (* (- 6.0 (* 9.0 x)) x) (* (- (pow 6.0 3) (pow (* 9.0 x) 3)) x) (* (- (* 6.0 6.0) (* (* 9.0 x) (* 9.0 x))) x) (/ (exp 6.0) (exp (* 9.0 x))) (log (- 6.0 (* 9.0 x))) (exp (- 6.0 (* 9.0 x))) (* (cbrt (- 6.0 (* 9.0 x))) (cbrt (- 6.0 (* 9.0 x)))) (cbrt (- 6.0 (* 9.0 x))) (* (* (- 6.0 (* 9.0 x)) (- 6.0 (* 9.0 x))) (- 6.0 (* 9.0 x))) (sqrt (- 6.0 (* 9.0 x))) (sqrt (- 6.0 (* 9.0 x))) (- (pow 6.0 3) (pow (* 9.0 x) 3)) (+ (* 6.0 6.0) (+ (* (* 9.0 x) (* 9.0 x)) (* 6.0 (* 9.0 x)))) (neg (* 9.0 x)) (- (* 6.0 6.0) (* (* 9.0 x) (* 9.0 x))) (+ 6.0 (* 9.0 x)) (neg (* 9.0 x)) (- (* 6.0 x) (* 9.0 (pow x 2))) (- (* 6.0 x) (* 9.0 (pow x 2))) (- (* 6.0 x) (* 9.0 (pow x 2))) (- 6.0 (* 9.0 x)) (- 6.0 (* 9.0 x)) (- 6.0 (* 9.0 x)) 49.734 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 49.734 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 49.736 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 49.739 * * [simplify]: iteration 3 : 37 enodes (cost 7 ) 49.745 * * [simplify]: iteration 4 : 43 enodes (cost 7 ) 49.751 * * [simplify]: iteration done : 43 enodes (cost 7 ) 49.752 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 49.753 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 49.754 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 49.758 * * [simplify]: iteration done : 19 enodes (cost 9 ) 49.758 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 49.759 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 49.761 * * [simplify]: iteration 2 : 28 enodes (cost 8 ) 49.765 * * [simplify]: iteration 3 : 42 enodes (cost 8 ) 49.771 * * [simplify]: iteration 4 : 48 enodes (cost 8 ) 49.783 * * [simplify]: iteration done : 48 enodes (cost 8 ) 49.784 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 49.785 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 49.786 * * [simplify]: iteration 2 : 37 enodes (cost 8 ) 49.792 * * [simplify]: iteration 3 : 74 enodes (cost 8 ) 49.803 * * [simplify]: iteration 4 : 144 enodes (cost 8 ) 49.829 * * [simplify]: iteration 5 : 307 enodes (cost 8 ) 49.964 * * [simplify]: iteration 6 : 851 enodes (cost 8 ) 50.764 * * [simplify]: iteration 7 : 2984 enodes (cost 8 ) 51.772 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 51.773 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 51.774 * * [simplify]: iteration 1 : 20 enodes (cost 23 ) 51.778 * * [simplify]: iteration 2 : 64 enodes (cost 11 ) 51.801 * * [simplify]: iteration 3 : 219 enodes (cost 11 ) 51.913 * * [simplify]: iteration 4 : 977 enodes (cost 9 ) 53.327 * * [simplify]: iteration 5 : 4354 enodes (cost 9 ) 55.483 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 55.484 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 55.485 * * [simplify]: iteration 1 : 12 enodes (cost 17 ) 55.486 * * [simplify]: iteration 2 : 25 enodes (cost 17 ) 55.490 * * [simplify]: iteration 3 : 39 enodes (cost 17 ) 55.496 * * [simplify]: iteration 4 : 43 enodes (cost 17 ) 55.502 * * [simplify]: iteration done : 43 enodes (cost 17 ) 55.503 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 55.503 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 55.505 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 55.514 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 55.520 * * [simplify]: iteration 4 : 44 enodes (cost 8 ) 55.527 * * [simplify]: iteration done : 44 enodes (cost 8 ) 55.528 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 55.529 * * [simplify]: iteration 1 : 22 enodes (cost 23 ) 55.534 * * [simplify]: iteration 2 : 82 enodes (cost 9 ) 55.559 * * [simplify]: iteration 3 : 338 enodes (cost 9 ) 55.803 * * [simplify]: iteration 4 : 1255 enodes (cost 9 ) 57.921 * * [simplify]: iteration 5 : 4514 enodes (cost 9 ) 60.215 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 60.216 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 60.217 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 60.218 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 60.222 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 60.228 * * [simplify]: iteration 4 : 44 enodes (cost 8 ) 60.234 * * [simplify]: iteration done : 44 enodes (cost 8 ) 60.235 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 60.236 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 60.237 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 60.241 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 60.253 * * [simplify]: iteration 4 : 44 enodes (cost 8 ) 60.259 * * [simplify]: iteration done : 44 enodes (cost 8 ) 60.260 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 60.261 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 60.262 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 60.264 * * [simplify]: iteration done : 19 enodes (cost 9 ) 60.265 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 60.265 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 60.267 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 60.269 * * [simplify]: iteration done : 19 enodes (cost 9 ) 60.270 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 60.271 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 60.273 * * [simplify]: iteration 2 : 29 enodes (cost 11 ) 60.277 * * [simplify]: iteration 3 : 62 enodes (cost 11 ) 60.289 * * [simplify]: iteration 4 : 102 enodes (cost 11 ) 60.320 * * [simplify]: iteration 5 : 148 enodes (cost 11 ) 60.367 * * [simplify]: iteration 6 : 172 enodes (cost 11 ) 60.405 * * [simplify]: iteration done : 172 enodes (cost 11 ) 60.405 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 60.406 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 60.408 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 60.417 * * [simplify]: iteration 3 : 45 enodes (cost 8 ) 60.425 * * [simplify]: iteration 4 : 63 enodes (cost 8 ) 60.434 * * [simplify]: iteration 5 : 71 enodes (cost 8 ) 60.445 * * [simplify]: iteration done : 71 enodes (cost 8 ) 60.445 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 60.446 * * [simplify]: iteration 1 : 13 enodes (cost 5 ) 60.448 * * [simplify]: iteration 2 : 29 enodes (cost 5 ) 60.452 * * [simplify]: iteration 3 : 56 enodes (cost 5 ) 60.474 * * [simplify]: iteration 4 : 95 enodes (cost 5 ) 60.481 * * [simplify]: iteration 5 : 109 enodes (cost 5 ) 60.490 * * [simplify]: iteration 6 : 117 enodes (cost 5 ) 60.497 * * [simplify]: iteration done : 117 enodes (cost 5 ) 60.497 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 60.498 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 60.499 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 60.501 * * [simplify]: iteration done : 18 enodes (cost 8 ) 60.502 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 60.503 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 60.504 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 60.506 * * [simplify]: iteration done : 18 enodes (cost 8 ) 60.507 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 60.507 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 60.509 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 60.512 * * [simplify]: iteration 3 : 37 enodes (cost 7 ) 60.518 * * [simplify]: iteration 4 : 43 enodes (cost 7 ) 60.525 * * [simplify]: iteration done : 43 enodes (cost 7 ) 60.525 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 60.527 * * [simplify]: iteration 1 : 29 enodes (cost 11 ) 60.538 * * [simplify]: iteration 2 : 90 enodes (cost 11 ) 60.562 * * [simplify]: iteration 3 : 322 enodes (cost 11 ) 60.814 * * [simplify]: iteration 4 : 1006 enodes (cost 11 ) 62.159 * * [simplify]: iteration 5 : 3033 enodes (cost 11 ) 64.289 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 64.290 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 64.291 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 64.295 * * [simplify]: iteration 2 : 62 enodes (cost 13 ) 64.309 * * [simplify]: iteration 3 : 161 enodes (cost 13 ) 64.362 * * [simplify]: iteration 4 : 317 enodes (cost 13 ) 64.480 * * [simplify]: iteration 5 : 507 enodes (cost 13 ) 64.705 * * [simplify]: iteration 6 : 724 enodes (cost 13 ) 65.097 * * [simplify]: iteration 7 : 1212 enodes (cost 13 ) 69.338 * * [simplify]: iteration 8 : 4180 enodes (cost 13 ) 71.794 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 71.795 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 71.796 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 71.797 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 71.800 * * [simplify]: iteration 3 : 39 enodes (cost 6 ) 71.805 * * [simplify]: iteration 4 : 77 enodes (cost 6 ) 71.817 * * [simplify]: iteration 5 : 177 enodes (cost 6 ) 71.890 * * [simplify]: iteration 6 : 500 enodes (cost 6 ) 72.315 * * [simplify]: iteration 7 : 1796 enodes (cost 6 ) 73.524 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 73.525 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 73.526 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 73.527 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 73.529 * * [simplify]: iteration done : 16 enodes (cost 6 ) 73.529 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 73.530 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 73.532 * * [simplify]: iteration 2 : 25 enodes (cost 6 ) 73.535 * * [simplify]: iteration 3 : 41 enodes (cost 6 ) 73.540 * * [simplify]: iteration 4 : 77 enodes (cost 6 ) 73.552 * * [simplify]: iteration 5 : 181 enodes (cost 6 ) 73.607 * * [simplify]: iteration 6 : 555 enodes (cost 6 ) 74.286 * * [simplify]: iteration 7 : 2144 enodes (cost 6 ) 76.600 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 76.601 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 76.602 * * [simplify]: iteration 1 : 10 enodes (cost 13 ) 76.603 * * [simplify]: iteration 2 : 17 enodes (cost 13 ) 76.605 * * [simplify]: iteration done : 17 enodes (cost 13 ) 76.605 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 76.606 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 76.608 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 76.610 * * [simplify]: iteration done : 16 enodes (cost 6 ) 76.611 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 76.612 * * [simplify]: iteration 1 : 11 enodes (cost 17 ) 76.613 * * [simplify]: iteration 2 : 32 enodes (cost 7 ) 76.627 * * [simplify]: iteration 3 : 107 enodes (cost 7 ) 76.660 * * [simplify]: iteration 4 : 402 enodes (cost 7 ) 76.958 * * [simplify]: iteration 5 : 1367 enodes (cost 7 ) 78.831 * * [simplify]: iteration 6 : 4003 enodes (cost 7 ) 80.583 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 80.584 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 80.584 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 80.585 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 80.587 * * [simplify]: iteration done : 16 enodes (cost 6 ) 80.588 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 80.588 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 80.590 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 80.599 * * [simplify]: iteration done : 16 enodes (cost 6 ) 80.599 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 80.601 * * [simplify]: iteration 1 : 27 enodes (cost 9 ) 80.605 * * [simplify]: iteration 2 : 82 enodes (cost 9 ) 80.627 * * [simplify]: iteration 3 : 272 enodes (cost 9 ) 80.809 * * [simplify]: iteration 4 : 740 enodes (cost 9 ) 81.431 * * [simplify]: iteration 5 : 1888 enodes (cost 9 ) 83.059 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 83.059 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 83.061 * * [simplify]: iteration 1 : 26 enodes (cost 13 ) 83.066 * * [simplify]: iteration 2 : 59 enodes (cost 13 ) 83.079 * * [simplify]: iteration 3 : 72 enodes (cost 13 ) 83.098 * * [simplify]: iteration 4 : 73 enodes (cost 13 ) 83.111 * * [simplify]: iteration done : 73 enodes (cost 13 ) 83.111 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 83.112 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 83.113 * * [simplify]: iteration 2 : 11 enodes (cost 4 ) 83.114 * * [simplify]: iteration done : 11 enodes (cost 4 ) 83.115 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 83.116 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 83.119 * * [simplify]: iteration 2 : 50 enodes (cost 11 ) 83.131 * * [simplify]: iteration 3 : 109 enodes (cost 11 ) 83.160 * * [simplify]: iteration 4 : 159 enodes (cost 11 ) 83.198 * * [simplify]: iteration 5 : 260 enodes (cost 11 ) 83.284 * * [simplify]: iteration 6 : 370 enodes (cost 11 ) 83.414 * * [simplify]: iteration 7 : 612 enodes (cost 11 ) 84.288 * * [simplify]: iteration 8 : 2075 enodes (cost 11 ) 88.602 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 88.603 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 88.603 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 88.604 * * [simplify]: iteration done : 7 enodes (cost 5 ) 88.605 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 88.605 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 88.606 * * [simplify]: iteration 2 : 11 enodes (cost 4 ) 88.607 * * [simplify]: iteration done : 11 enodes (cost 4 ) 88.608 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 88.609 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 88.612 * * [simplify]: iteration 2 : 40 enodes (cost 9 ) 88.616 * * [simplify]: iteration 3 : 57 enodes (cost 9 ) 88.624 * * [simplify]: iteration 4 : 79 enodes (cost 7 ) 88.633 * * [simplify]: iteration 5 : 92 enodes (cost 7 ) 88.643 * * [simplify]: iteration 6 : 114 enodes (cost 7 ) 88.664 * * [simplify]: iteration 7 : 178 enodes (cost 7 ) 88.719 * * [simplify]: iteration 8 : 394 enodes (cost 7 ) 89.208 * * [simplify]: iteration 9 : 1344 enodes (cost 7 ) 91.631 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 91.632 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 91.633 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 91.637 * * [simplify]: iteration 2 : 40 enodes (cost 9 ) 91.641 * * [simplify]: iteration 3 : 57 enodes (cost 9 ) 91.649 * * [simplify]: iteration 4 : 79 enodes (cost 7 ) 91.658 * * [simplify]: iteration 5 : 92 enodes (cost 7 ) 91.667 * * [simplify]: iteration 6 : 114 enodes (cost 7 ) 91.682 * * [simplify]: iteration 7 : 178 enodes (cost 7 ) 91.740 * * [simplify]: iteration 8 : 394 enodes (cost 7 ) 92.242 * * [simplify]: iteration 9 : 1344 enodes (cost 7 ) 94.639 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 94.640 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 94.641 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 94.644 * * [simplify]: iteration 2 : 40 enodes (cost 9 ) 94.648 * * [simplify]: iteration 3 : 57 enodes (cost 9 ) 94.664 * * [simplify]: iteration 4 : 79 enodes (cost 7 ) 94.672 * * [simplify]: iteration 5 : 92 enodes (cost 7 ) 94.681 * * [simplify]: iteration 6 : 114 enodes (cost 7 ) 94.696 * * [simplify]: iteration 7 : 178 enodes (cost 7 ) 94.752 * * [simplify]: iteration 8 : 394 enodes (cost 7 ) 95.246 * * [simplify]: iteration 9 : 1344 enodes (cost 7 ) 97.663 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 97.663 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 97.664 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 97.665 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 97.667 * * [simplify]: iteration done : 15 enodes (cost 5 ) 97.667 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 97.668 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 97.669 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 97.671 * * [simplify]: iteration done : 15 enodes (cost 5 ) 97.671 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 97.672 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 97.673 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 97.675 * * [simplify]: iteration done : 15 enodes (cost 5 ) 97.675 * [simplify]: Simplified to: (* (- 6.0 (* 9.0 x)) x) (+ (log (- 6.0 (* 9.0 x))) (log x)) (log (* (- 6.0 (* 9.0 x)) x)) (exp (* (- 6.0 (* 9.0 x)) x)) (pow (* (- 6.0 (* 9.0 x)) x) 3) (* (cbrt (* (- 6.0 (* 9.0 x)) x)) (cbrt (* (- 6.0 (* 9.0 x)) x))) (cbrt (* (- 6.0 (* 9.0 x)) x)) (pow (* (- 6.0 (* 9.0 x)) x) 3) (sqrt (* (- 6.0 (* 9.0 x)) x)) (sqrt (* (- 6.0 (* 9.0 x)) x)) (* (sqrt (- 6.0 (* 9.0 x))) (sqrt x)) (* (sqrt (- 6.0 (* 9.0 x))) (sqrt x)) (* (- 6.0 (* 9.0 x)) (* (cbrt x) (cbrt x))) (* (- 6.0 (* 9.0 x)) (sqrt x)) (- 6.0 (* 9.0 x)) (* (cbrt (- 6.0 (* 9.0 x))) x) (* (sqrt (- 6.0 (* 9.0 x))) x) (* (- 6.0 (* 9.0 x)) x) (* (- (pow 6.0 3) (pow (* 9.0 x) 3)) x) (* (+ 6.0 (* 9.0 x)) (* (- 6.0 (* 9.0 x)) x)) (exp (- 6.0 (* 9.0 x))) (log (- 6.0 (* 9.0 x))) (exp (- 6.0 (* 9.0 x))) (* (cbrt (- 6.0 (* 9.0 x))) (cbrt (- 6.0 (* 9.0 x)))) (cbrt (- 6.0 (* 9.0 x))) (pow (- 6.0 (* 9.0 x)) 3) (sqrt (- 6.0 (* 9.0 x))) (sqrt (- 6.0 (* 9.0 x))) (- (pow 6.0 3) (pow (* 9.0 x) 3)) (+ (* (* 9.0 x) (+ (* 9.0 x) 6.0)) (* 6.0 6.0)) (neg (* 9.0 x)) (* (+ 6.0 (* 9.0 x)) (- 6.0 (* 9.0 x))) (+ 6.0 (* 9.0 x)) (neg (* 9.0 x)) (* x (- 6.0 (* x 9.0))) (* x (- 6.0 (* x 9.0))) (* x (- 6.0 (* x 9.0))) (- 6.0 (* 9.0 x)) (- 6.0 (* 9.0 x)) (- 6.0 (* 9.0 x)) 97.675 * * * [progress]: adding candidates to table 97.728 * * [progress]: iteration 3 / 4 97.728 * * * [progress]: picking best candidate 97.749 * * * * [pick]: Picked # 97.749 * * * [progress]: localizing error 97.755 * * * [progress]: generating rewritten candidates 97.755 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 97.762 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 97.777 * * * [progress]: generating series expansions 97.777 * * * * [progress]: [ 1 / 2 ] generating series at (2) 97.777 * [approximate]: Taking taylor expansion of (* 3.0 (* (- 2.0 (* 3.0 x)) x)) in (x) around 0 97.777 * [taylor]: Taking taylor expansion of (* 3.0 (* (- 2.0 (* 3.0 x)) x)) in x 97.777 * [taylor]: Taking taylor expansion of 3.0 in x 97.777 * [taylor]: Taking taylor expansion of (* (- 2.0 (* 3.0 x)) x) in x 97.777 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x 97.777 * [taylor]: Taking taylor expansion of 2.0 in x 97.777 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 97.777 * [taylor]: Taking taylor expansion of 3.0 in x 97.777 * [taylor]: Taking taylor expansion of x in x 97.777 * [taylor]: Taking taylor expansion of x in x 97.777 * [taylor]: Taking taylor expansion of (* 3.0 (* (- 2.0 (* 3.0 x)) x)) in x 97.777 * [taylor]: Taking taylor expansion of 3.0 in x 97.777 * [taylor]: Taking taylor expansion of (* (- 2.0 (* 3.0 x)) x) in x 97.777 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x 97.777 * [taylor]: Taking taylor expansion of 2.0 in x 97.777 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 97.777 * [taylor]: Taking taylor expansion of 3.0 in x 97.777 * [taylor]: Taking taylor expansion of x in x 97.777 * [taylor]: Taking taylor expansion of x in x 97.779 * [approximate]: Taking taylor expansion of (* 3.0 (/ (- 2.0 (* 3.0 (/ 1 x))) x)) in (x) around 0 97.779 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- 2.0 (* 3.0 (/ 1 x))) x)) in x 97.779 * [taylor]: Taking taylor expansion of 3.0 in x 97.779 * [taylor]: Taking taylor expansion of (/ (- 2.0 (* 3.0 (/ 1 x))) x) in x 97.779 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x 97.779 * [taylor]: Taking taylor expansion of 2.0 in x 97.780 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 97.780 * [taylor]: Taking taylor expansion of 3.0 in x 97.780 * [taylor]: Taking taylor expansion of (/ 1 x) in x 97.780 * [taylor]: Taking taylor expansion of x in x 97.780 * [taylor]: Taking taylor expansion of x in x 97.780 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- 2.0 (* 3.0 (/ 1 x))) x)) in x 97.780 * [taylor]: Taking taylor expansion of 3.0 in x 97.780 * [taylor]: Taking taylor expansion of (/ (- 2.0 (* 3.0 (/ 1 x))) x) in x 97.780 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x 97.780 * [taylor]: Taking taylor expansion of 2.0 in x 97.780 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 97.780 * [taylor]: Taking taylor expansion of 3.0 in x 97.780 * [taylor]: Taking taylor expansion of (/ 1 x) in x 97.780 * [taylor]: Taking taylor expansion of x in x 97.780 * [taylor]: Taking taylor expansion of x in x 97.782 * [approximate]: Taking taylor expansion of (* -3.0 (/ (+ (* 3.0 (/ 1 x)) 2.0) x)) in (x) around 0 97.782 * [taylor]: Taking taylor expansion of (* -3.0 (/ (+ (* 3.0 (/ 1 x)) 2.0) x)) in x 97.782 * [taylor]: Taking taylor expansion of -3.0 in x 97.782 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 2.0) x) in x 97.782 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x 97.782 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 97.782 * [taylor]: Taking taylor expansion of 3.0 in x 97.782 * [taylor]: Taking taylor expansion of (/ 1 x) in x 97.782 * [taylor]: Taking taylor expansion of x in x 97.782 * [taylor]: Taking taylor expansion of 2.0 in x 97.782 * [taylor]: Taking taylor expansion of x in x 97.782 * [taylor]: Taking taylor expansion of (* -3.0 (/ (+ (* 3.0 (/ 1 x)) 2.0) x)) in x 97.782 * [taylor]: Taking taylor expansion of -3.0 in x 97.782 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 2.0) x) in x 97.782 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x 97.783 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 97.783 * [taylor]: Taking taylor expansion of 3.0 in x 97.783 * [taylor]: Taking taylor expansion of (/ 1 x) in x 97.783 * [taylor]: Taking taylor expansion of x in x 97.783 * [taylor]: Taking taylor expansion of 2.0 in x 97.783 * [taylor]: Taking taylor expansion of x in x 97.785 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 97.785 * [approximate]: Taking taylor expansion of (* (- 2.0 (* 3.0 x)) x) in (x) around 0 97.785 * [taylor]: Taking taylor expansion of (* (- 2.0 (* 3.0 x)) x) in x 97.785 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x 97.785 * [taylor]: Taking taylor expansion of 2.0 in x 97.785 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 97.785 * [taylor]: Taking taylor expansion of 3.0 in x 97.785 * [taylor]: Taking taylor expansion of x in x 97.785 * [taylor]: Taking taylor expansion of x in x 97.785 * [taylor]: Taking taylor expansion of (* (- 2.0 (* 3.0 x)) x) in x 97.785 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x 97.785 * [taylor]: Taking taylor expansion of 2.0 in x 97.785 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 97.785 * [taylor]: Taking taylor expansion of 3.0 in x 97.785 * [taylor]: Taking taylor expansion of x in x 97.785 * [taylor]: Taking taylor expansion of x in x 97.787 * [approximate]: Taking taylor expansion of (/ (- 2.0 (* 3.0 (/ 1 x))) x) in (x) around 0 97.787 * [taylor]: Taking taylor expansion of (/ (- 2.0 (* 3.0 (/ 1 x))) x) in x 97.787 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x 97.787 * [taylor]: Taking taylor expansion of 2.0 in x 97.787 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 97.787 * [taylor]: Taking taylor expansion of 3.0 in x 97.787 * [taylor]: Taking taylor expansion of (/ 1 x) in x 97.787 * [taylor]: Taking taylor expansion of x in x 97.787 * [taylor]: Taking taylor expansion of x in x 97.787 * [taylor]: Taking taylor expansion of (/ (- 2.0 (* 3.0 (/ 1 x))) x) in x 97.787 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x 97.787 * [taylor]: Taking taylor expansion of 2.0 in x 97.787 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 97.787 * [taylor]: Taking taylor expansion of 3.0 in x 97.787 * [taylor]: Taking taylor expansion of (/ 1 x) in x 97.787 * [taylor]: Taking taylor expansion of x in x 97.787 * [taylor]: Taking taylor expansion of x in x 97.789 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (* 3.0 (/ 1 x)) 2.0) x)) in (x) around 0 97.789 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 3.0 (/ 1 x)) 2.0) x)) in x 97.789 * [taylor]: Taking taylor expansion of -1 in x 97.789 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 2.0) x) in x 97.789 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x 97.789 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 97.789 * [taylor]: Taking taylor expansion of 3.0 in x 97.789 * [taylor]: Taking taylor expansion of (/ 1 x) in x 97.789 * [taylor]: Taking taylor expansion of x in x 97.789 * [taylor]: Taking taylor expansion of 2.0 in x 97.789 * [taylor]: Taking taylor expansion of x in x 97.789 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 3.0 (/ 1 x)) 2.0) x)) in x 97.789 * [taylor]: Taking taylor expansion of -1 in x 97.789 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 2.0) x) in x 97.789 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x 97.789 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 97.789 * [taylor]: Taking taylor expansion of 3.0 in x 97.789 * [taylor]: Taking taylor expansion of (/ 1 x) in x 97.789 * [taylor]: Taking taylor expansion of x in x 97.789 * [taylor]: Taking taylor expansion of 2.0 in x 97.789 * [taylor]: Taking taylor expansion of x in x 97.791 * * * [progress]: simplifying candidates 97.792 * [simplify]: Simplifying using # : (* 3.0 (* (- 2.0 (* x 3.0)) x)) (* 3.0 (* (- 2.0 (* x 3.0)) x)) (+ (log 3.0) (+ (log (- 2.0 (* x 3.0))) (log x))) (+ (log 3.0) (log (* (- 2.0 (* x 3.0)) x))) (log (* 3.0 (* (- 2.0 (* x 3.0)) x))) (exp (* 3.0 (* (- 2.0 (* x 3.0)) x))) (* (* (* 3.0 3.0) 3.0) (* (* (* (- 2.0 (* x 3.0)) (- 2.0 (* x 3.0))) (- 2.0 (* x 3.0))) (* (* x x) x))) (* (* (* 3.0 3.0) 3.0) (* (* (* (- 2.0 (* x 3.0)) x) (* (- 2.0 (* x 3.0)) x)) (* (- 2.0 (* x 3.0)) x))) (* (cbrt (* 3.0 (* (- 2.0 (* x 3.0)) x))) (cbrt (* 3.0 (* (- 2.0 (* x 3.0)) x)))) (cbrt (* 3.0 (* (- 2.0 (* x 3.0)) x))) (* (* (* 3.0 (* (- 2.0 (* x 3.0)) x)) (* 3.0 (* (- 2.0 (* x 3.0)) x))) (* 3.0 (* (- 2.0 (* x 3.0)) x))) (sqrt (* 3.0 (* (- 2.0 (* x 3.0)) x))) (sqrt (* 3.0 (* (- 2.0 (* x 3.0)) x))) (* 3.0 (- 2.0 (* x 3.0))) (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x)) (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)) (* 3.0 (* (- 2.0 (* x 3.0)) x)) (* 3.0 (* (- (pow 2.0 3) (pow (* x 3.0) 3)) x)) (* 3.0 (* (- (* 2.0 2.0) (* (* x 3.0) (* x 3.0))) x)) (* (- 2.0 (* x 3.0)) x) (+ (log (- 2.0 (* x 3.0))) (log x)) (log (* (- 2.0 (* x 3.0)) x)) (exp (* (- 2.0 (* x 3.0)) x)) (* (* (* (- 2.0 (* x 3.0)) (- 2.0 (* x 3.0))) (- 2.0 (* x 3.0))) (* (* x x) x)) (* (cbrt (* (- 2.0 (* x 3.0)) x)) (cbrt (* (- 2.0 (* x 3.0)) x))) (cbrt (* (- 2.0 (* x 3.0)) x)) (* (* (* (- 2.0 (* x 3.0)) x) (* (- 2.0 (* x 3.0)) x)) (* (- 2.0 (* x 3.0)) x)) (sqrt (* (- 2.0 (* x 3.0)) x)) (sqrt (* (- 2.0 (* x 3.0)) x)) (* (sqrt (- 2.0 (* x 3.0))) (sqrt x)) (* (sqrt (- 2.0 (* x 3.0))) (sqrt x)) (* (- 2.0 (* x 3.0)) (* (cbrt x) (cbrt x))) (* (- 2.0 (* x 3.0)) (sqrt x)) (* (- 2.0 (* x 3.0)) 1) (* (cbrt (- 2.0 (* x 3.0))) x) (* (sqrt (- 2.0 (* x 3.0))) x) (* (- 2.0 (* x 3.0)) x) (* (- (pow 2.0 3) (pow (* x 3.0) 3)) x) (* (- (* 2.0 2.0) (* (* x 3.0) (* x 3.0))) x) (- (* 6.0 x) (* 9.0 (pow x 2))) (- (* 6.0 x) (* 9.0 (pow x 2))) (- (* 6.0 x) (* 9.0 (pow x 2))) (- (* 2.0 x) (* 3.0 (pow x 2))) (- (* 2.0 x) (* 3.0 (pow x 2))) (- (* 2.0 x) (* 3.0 (pow x 2))) 97.793 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 97.794 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 97.796 * * [simplify]: iteration 2 : 37 enodes (cost 9 ) 97.802 * * [simplify]: iteration 3 : 85 enodes (cost 9 ) 97.820 * * [simplify]: iteration 4 : 115 enodes (cost 9 ) 97.851 * * [simplify]: iteration 5 : 120 enodes (cost 9 ) 97.876 * * [simplify]: iteration done : 120 enodes (cost 9 ) 97.876 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 97.877 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 97.879 * * [simplify]: iteration 2 : 37 enodes (cost 9 ) 97.885 * * [simplify]: iteration 3 : 85 enodes (cost 9 ) 97.909 * * [simplify]: iteration 4 : 115 enodes (cost 9 ) 97.933 * * [simplify]: iteration 5 : 120 enodes (cost 9 ) 97.964 * * [simplify]: iteration done : 120 enodes (cost 9 ) 97.964 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 97.966 * * [simplify]: iteration 1 : 17 enodes (cost 12 ) 97.968 * * [simplify]: iteration 2 : 30 enodes (cost 12 ) 97.971 * * [simplify]: iteration 3 : 32 enodes (cost 12 ) 97.975 * * [simplify]: iteration done : 32 enodes (cost 12 ) 97.976 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 97.977 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 97.979 * * [simplify]: iteration 2 : 35 enodes (cost 11 ) 97.983 * * [simplify]: iteration 3 : 53 enodes (cost 11 ) 97.990 * * [simplify]: iteration 4 : 59 enodes (cost 11 ) 97.999 * * [simplify]: iteration done : 59 enodes (cost 11 ) 97.999 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 98.000 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 98.003 * * [simplify]: iteration 2 : 48 enodes (cost 10 ) 98.016 * * [simplify]: iteration 3 : 108 enodes (cost 10 ) 98.037 * * [simplify]: iteration 4 : 142 enodes (cost 10 ) 98.063 * * [simplify]: iteration 5 : 147 enodes (cost 10 ) 98.096 * * [simplify]: iteration done : 147 enodes (cost 10 ) 98.097 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 98.098 * * [simplify]: iteration 1 : 17 enodes (cost 10 ) 98.100 * * [simplify]: iteration 2 : 48 enodes (cost 10 ) 98.108 * * [simplify]: iteration 3 : 127 enodes (cost 10 ) 98.140 * * [simplify]: iteration 4 : 259 enodes (cost 10 ) 98.201 * * [simplify]: iteration 5 : 553 enodes (cost 10 ) 98.503 * * [simplify]: iteration 6 : 1516 enodes (cost 10 ) 99.383 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 99.384 * * [simplify]: iteration 0 : 13 enodes (cost 29 ) 99.386 * * [simplify]: iteration 1 : 29 enodes (cost 29 ) 99.391 * * [simplify]: iteration 2 : 114 enodes (cost 15 ) 99.440 * * [simplify]: iteration 3 : 523 enodes (cost 15 ) 99.970 * * [simplify]: iteration 4 : 2761 enodes (cost 13 ) 101.545 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 101.546 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 101.548 * * [simplify]: iteration 1 : 31 enodes (cost 29 ) 101.563 * * [simplify]: iteration 2 : 130 enodes (cost 13 ) 101.626 * * [simplify]: iteration 3 : 693 enodes (cost 13 ) 102.518 * * [simplify]: iteration 4 : 3440 enodes (cost 11 ) 104.497 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 104.497 * * [simplify]: iteration 0 : 9 enodes (cost 21 ) 104.499 * * [simplify]: iteration 1 : 16 enodes (cost 21 ) 104.501 * * [simplify]: iteration 2 : 39 enodes (cost 21 ) 104.507 * * [simplify]: iteration 3 : 87 enodes (cost 21 ) 104.532 * * [simplify]: iteration 4 : 119 enodes (cost 21 ) 104.557 * * [simplify]: iteration 5 : 124 enodes (cost 21 ) 104.587 * * [simplify]: iteration done : 124 enodes (cost 21 ) 104.587 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 104.588 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 104.590 * * [simplify]: iteration 2 : 38 enodes (cost 10 ) 104.597 * * [simplify]: iteration 3 : 86 enodes (cost 10 ) 104.615 * * [simplify]: iteration 4 : 116 enodes (cost 10 ) 104.645 * * [simplify]: iteration 5 : 121 enodes (cost 10 ) 104.670 * * [simplify]: iteration done : 121 enodes (cost 10 ) 104.671 * * [simplify]: iteration 0 : 9 enodes (cost 29 ) 104.672 * * [simplify]: iteration 1 : 26 enodes (cost 29 ) 104.678 * * [simplify]: iteration 2 : 114 enodes (cost 11 ) 104.746 * * [simplify]: iteration 3 : 609 enodes (cost 11 ) 105.668 * * [simplify]: iteration 4 : 3143 enodes (cost 11 ) 107.629 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 107.630 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 107.636 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 107.638 * * [simplify]: iteration 2 : 38 enodes (cost 10 ) 107.645 * * [simplify]: iteration 3 : 86 enodes (cost 10 ) 107.663 * * [simplify]: iteration 4 : 116 enodes (cost 10 ) 107.693 * * [simplify]: iteration 5 : 121 enodes (cost 10 ) 107.719 * * [simplify]: iteration done : 121 enodes (cost 10 ) 107.720 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 107.721 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 107.728 * * [simplify]: iteration 2 : 38 enodes (cost 10 ) 107.735 * * [simplify]: iteration 3 : 86 enodes (cost 10 ) 107.753 * * [simplify]: iteration 4 : 116 enodes (cost 10 ) 107.779 * * [simplify]: iteration 5 : 121 enodes (cost 10 ) 107.809 * * [simplify]: iteration done : 121 enodes (cost 10 ) 107.809 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 107.810 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 107.811 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 107.815 * * [simplify]: iteration 3 : 37 enodes (cost 7 ) 107.820 * * [simplify]: iteration 4 : 41 enodes (cost 7 ) 107.826 * * [simplify]: iteration done : 41 enodes (cost 7 ) 107.827 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 107.828 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 107.831 * * [simplify]: iteration 2 : 40 enodes (cost 10 ) 107.838 * * [simplify]: iteration 3 : 93 enodes (cost 10 ) 107.864 * * [simplify]: iteration 4 : 155 enodes (cost 10 ) 107.914 * * [simplify]: iteration 5 : 183 enodes (cost 10 ) 107.962 * * [simplify]: iteration 6 : 188 enodes (cost 10 ) 108.010 * * [simplify]: iteration done : 188 enodes (cost 10 ) 108.010 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 108.011 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 108.014 * * [simplify]: iteration 2 : 40 enodes (cost 10 ) 108.021 * * [simplify]: iteration 3 : 93 enodes (cost 10 ) 108.041 * * [simplify]: iteration 4 : 155 enodes (cost 10 ) 108.091 * * [simplify]: iteration 5 : 183 enodes (cost 10 ) 108.141 * * [simplify]: iteration 6 : 188 enodes (cost 10 ) 108.189 * * [simplify]: iteration done : 188 enodes (cost 10 ) 108.189 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 108.190 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 108.192 * * [simplify]: iteration 2 : 37 enodes (cost 9 ) 108.198 * * [simplify]: iteration 3 : 85 enodes (cost 9 ) 108.216 * * [simplify]: iteration 4 : 115 enodes (cost 9 ) 108.245 * * [simplify]: iteration 5 : 120 enodes (cost 9 ) 108.269 * * [simplify]: iteration done : 120 enodes (cost 9 ) 108.270 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 108.272 * * [simplify]: iteration 1 : 33 enodes (cost 13 ) 108.278 * * [simplify]: iteration 2 : 104 enodes (cost 13 ) 108.313 * * [simplify]: iteration 3 : 409 enodes (cost 13 ) 108.684 * * [simplify]: iteration 4 : 1550 enodes (cost 13 ) 111.512 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 111.513 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 111.514 * * [simplify]: iteration 1 : 26 enodes (cost 15 ) 111.519 * * [simplify]: iteration 2 : 78 enodes (cost 15 ) 111.540 * * [simplify]: iteration 3 : 256 enodes (cost 15 ) 111.653 * * [simplify]: iteration 4 : 631 enodes (cost 15 ) 112.007 * * [simplify]: iteration 5 : 1051 enodes (cost 13 ) 112.705 * * [simplify]: iteration 6 : 1570 enodes (cost 13 ) 113.977 * * [simplify]: iteration 7 : 2544 enodes (cost 13 ) 115.656 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 115.657 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 115.666 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 115.667 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 115.671 * * [simplify]: iteration 3 : 37 enodes (cost 7 ) 115.676 * * [simplify]: iteration 4 : 41 enodes (cost 7 ) 115.683 * * [simplify]: iteration done : 41 enodes (cost 7 ) 115.683 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 115.684 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 115.686 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 115.688 * * [simplify]: iteration done : 19 enodes (cost 9 ) 115.688 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 115.689 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 115.691 * * [simplify]: iteration 2 : 28 enodes (cost 8 ) 115.694 * * [simplify]: iteration 3 : 42 enodes (cost 8 ) 115.701 * * [simplify]: iteration 4 : 48 enodes (cost 8 ) 115.708 * * [simplify]: iteration done : 48 enodes (cost 8 ) 115.709 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 115.710 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 115.712 * * [simplify]: iteration 2 : 37 enodes (cost 8 ) 115.717 * * [simplify]: iteration 3 : 74 enodes (cost 8 ) 115.735 * * [simplify]: iteration 4 : 144 enodes (cost 8 ) 115.759 * * [simplify]: iteration 5 : 307 enodes (cost 8 ) 115.893 * * [simplify]: iteration 6 : 851 enodes (cost 8 ) 116.700 * * [simplify]: iteration 7 : 2985 enodes (cost 8 ) 117.724 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 117.725 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 117.732 * * [simplify]: iteration 1 : 20 enodes (cost 23 ) 117.736 * * [simplify]: iteration 2 : 64 enodes (cost 11 ) 117.758 * * [simplify]: iteration 3 : 219 enodes (cost 11 ) 117.872 * * [simplify]: iteration 4 : 977 enodes (cost 9 ) 119.285 * * [simplify]: iteration 5 : 4340 enodes (cost 9 ) 121.459 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 121.460 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 121.461 * * [simplify]: iteration 1 : 12 enodes (cost 17 ) 121.462 * * [simplify]: iteration 2 : 25 enodes (cost 17 ) 121.466 * * [simplify]: iteration 3 : 39 enodes (cost 17 ) 121.472 * * [simplify]: iteration 4 : 43 enodes (cost 17 ) 121.479 * * [simplify]: iteration done : 43 enodes (cost 17 ) 121.479 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 121.480 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 121.482 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 121.486 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 121.492 * * [simplify]: iteration 4 : 44 enodes (cost 8 ) 121.503 * * [simplify]: iteration done : 44 enodes (cost 8 ) 121.503 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 121.504 * * [simplify]: iteration 1 : 22 enodes (cost 23 ) 121.509 * * [simplify]: iteration 2 : 82 enodes (cost 9 ) 121.535 * * [simplify]: iteration 3 : 338 enodes (cost 9 ) 121.785 * * [simplify]: iteration 4 : 1249 enodes (cost 9 ) 126.232 * * [simplify]: iteration 5 : 4603 enodes (cost 9 ) 128.482 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 128.482 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 128.483 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 128.484 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 128.488 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 128.494 * * [simplify]: iteration 4 : 44 enodes (cost 8 ) 128.501 * * [simplify]: iteration done : 44 enodes (cost 8 ) 128.501 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 128.502 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 128.504 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 128.507 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 128.514 * * [simplify]: iteration 4 : 44 enodes (cost 8 ) 128.521 * * [simplify]: iteration done : 44 enodes (cost 8 ) 128.522 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 128.522 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 128.524 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 128.531 * * [simplify]: iteration done : 19 enodes (cost 9 ) 128.532 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 128.533 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 128.534 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 128.536 * * [simplify]: iteration done : 19 enodes (cost 9 ) 128.537 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 128.538 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 128.540 * * [simplify]: iteration 2 : 29 enodes (cost 11 ) 128.545 * * [simplify]: iteration 3 : 62 enodes (cost 11 ) 128.556 * * [simplify]: iteration 4 : 102 enodes (cost 11 ) 128.583 * * [simplify]: iteration 5 : 148 enodes (cost 11 ) 128.632 * * [simplify]: iteration 6 : 172 enodes (cost 11 ) 128.676 * * [simplify]: iteration done : 172 enodes (cost 11 ) 128.676 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 128.677 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 128.679 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 128.682 * * [simplify]: iteration 3 : 45 enodes (cost 8 ) 128.689 * * [simplify]: iteration 4 : 63 enodes (cost 8 ) 128.707 * * [simplify]: iteration 5 : 71 enodes (cost 8 ) 128.717 * * [simplify]: iteration done : 71 enodes (cost 8 ) 128.718 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 128.718 * * [simplify]: iteration 1 : 13 enodes (cost 5 ) 128.720 * * [simplify]: iteration 2 : 29 enodes (cost 5 ) 128.724 * * [simplify]: iteration 3 : 56 enodes (cost 5 ) 128.739 * * [simplify]: iteration 4 : 95 enodes (cost 5 ) 128.747 * * [simplify]: iteration 5 : 109 enodes (cost 5 ) 128.763 * * [simplify]: iteration 6 : 117 enodes (cost 5 ) 128.769 * * [simplify]: iteration done : 117 enodes (cost 5 ) 128.770 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 128.771 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 128.772 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 128.774 * * [simplify]: iteration done : 18 enodes (cost 8 ) 128.775 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 128.775 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 128.777 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 128.779 * * [simplify]: iteration done : 18 enodes (cost 8 ) 128.779 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 128.780 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 128.781 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 128.785 * * [simplify]: iteration 3 : 37 enodes (cost 7 ) 128.791 * * [simplify]: iteration 4 : 41 enodes (cost 7 ) 128.798 * * [simplify]: iteration done : 41 enodes (cost 7 ) 128.798 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 128.800 * * [simplify]: iteration 1 : 29 enodes (cost 11 ) 128.805 * * [simplify]: iteration 2 : 90 enodes (cost 11 ) 128.835 * * [simplify]: iteration 3 : 322 enodes (cost 11 ) 129.082 * * [simplify]: iteration 4 : 994 enodes (cost 11 ) 130.465 * * [simplify]: iteration 5 : 3062 enodes (cost 11 ) 132.924 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 132.926 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 132.927 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 132.930 * * [simplify]: iteration 2 : 62 enodes (cost 13 ) 132.945 * * [simplify]: iteration 3 : 161 enodes (cost 13 ) 132.997 * * [simplify]: iteration 4 : 318 enodes (cost 13 ) 133.110 * * [simplify]: iteration 5 : 510 enodes (cost 13 ) 133.329 * * [simplify]: iteration 6 : 756 enodes (cost 13 ) 133.717 * * [simplify]: iteration 7 : 1292 enodes (cost 13 ) 135.862 * * [simplify]: iteration 8 : 4447 enodes (cost 13 ) 138.012 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 138.013 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 138.014 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 138.017 * * [simplify]: iteration 2 : 40 enodes (cost 9 ) 138.021 * * [simplify]: iteration 3 : 57 enodes (cost 9 ) 138.028 * * [simplify]: iteration 4 : 79 enodes (cost 7 ) 138.037 * * [simplify]: iteration 5 : 92 enodes (cost 7 ) 138.047 * * [simplify]: iteration 6 : 114 enodes (cost 7 ) 138.062 * * [simplify]: iteration 7 : 178 enodes (cost 7 ) 138.114 * * [simplify]: iteration 8 : 394 enodes (cost 7 ) 138.586 * * [simplify]: iteration 9 : 1344 enodes (cost 7 ) 140.891 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 140.892 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 140.893 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 140.896 * * [simplify]: iteration 2 : 40 enodes (cost 9 ) 140.900 * * [simplify]: iteration 3 : 57 enodes (cost 9 ) 140.912 * * [simplify]: iteration 4 : 79 enodes (cost 7 ) 140.921 * * [simplify]: iteration 5 : 92 enodes (cost 7 ) 140.930 * * [simplify]: iteration 6 : 114 enodes (cost 7 ) 140.946 * * [simplify]: iteration 7 : 178 enodes (cost 7 ) 140.998 * * [simplify]: iteration 8 : 394 enodes (cost 7 ) 141.474 * * [simplify]: iteration 9 : 1344 enodes (cost 7 ) 143.787 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 143.788 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 143.789 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 143.792 * * [simplify]: iteration 2 : 40 enodes (cost 9 ) 143.796 * * [simplify]: iteration 3 : 57 enodes (cost 9 ) 143.803 * * [simplify]: iteration 4 : 79 enodes (cost 7 ) 143.812 * * [simplify]: iteration 5 : 92 enodes (cost 7 ) 143.826 * * [simplify]: iteration 6 : 114 enodes (cost 7 ) 143.842 * * [simplify]: iteration 7 : 178 enodes (cost 7 ) 143.897 * * [simplify]: iteration 8 : 394 enodes (cost 7 ) 144.375 * * [simplify]: iteration 9 : 1344 enodes (cost 7 ) 146.691 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 146.691 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 146.692 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 146.695 * * [simplify]: iteration 2 : 40 enodes (cost 9 ) 146.699 * * [simplify]: iteration 3 : 57 enodes (cost 9 ) 146.707 * * [simplify]: iteration 4 : 79 enodes (cost 7 ) 146.715 * * [simplify]: iteration 5 : 92 enodes (cost 7 ) 146.724 * * [simplify]: iteration 6 : 114 enodes (cost 7 ) 146.745 * * [simplify]: iteration 7 : 178 enodes (cost 7 ) 146.799 * * [simplify]: iteration 8 : 394 enodes (cost 7 ) 147.280 * * [simplify]: iteration 9 : 1344 enodes (cost 7 ) 149.606 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 149.607 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 149.608 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 149.610 * * [simplify]: iteration 2 : 40 enodes (cost 9 ) 149.614 * * [simplify]: iteration 3 : 57 enodes (cost 9 ) 149.622 * * [simplify]: iteration 4 : 79 enodes (cost 7 ) 149.632 * * [simplify]: iteration 5 : 92 enodes (cost 7 ) 149.641 * * [simplify]: iteration 6 : 114 enodes (cost 7 ) 149.656 * * [simplify]: iteration 7 : 178 enodes (cost 7 ) 149.710 * * [simplify]: iteration 8 : 394 enodes (cost 7 ) 150.189 * * [simplify]: iteration 9 : 1344 enodes (cost 7 ) 152.532 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 152.533 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 152.534 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 152.537 * * [simplify]: iteration 2 : 40 enodes (cost 9 ) 152.541 * * [simplify]: iteration 3 : 57 enodes (cost 9 ) 152.553 * * [simplify]: iteration 4 : 79 enodes (cost 7 ) 152.562 * * [simplify]: iteration 5 : 92 enodes (cost 7 ) 152.571 * * [simplify]: iteration 6 : 114 enodes (cost 7 ) 152.586 * * [simplify]: iteration 7 : 178 enodes (cost 7 ) 152.639 * * [simplify]: iteration 8 : 394 enodes (cost 7 ) 153.124 * * [simplify]: iteration 9 : 1344 enodes (cost 7 ) 155.486 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 155.487 * [simplify]: Simplified to: (* 3.0 (* (- 2.0 (* x 3.0)) x)) (* 3.0 (* (- 2.0 (* x 3.0)) x)) (+ (log 3.0) (+ (log (- 2.0 (* x 3.0))) (log x))) (+ (log 3.0) (log (* (- 2.0 (* x 3.0)) x))) (log (* 3.0 (* (- 2.0 (* x 3.0)) x))) (exp (* 3.0 (* (- 2.0 (* x 3.0)) x))) (* (pow (* (- 2.0 (* x 3.0)) x) 3) (pow 3.0 3)) (pow (* 3.0 (* (- 2.0 (* x 3.0)) x)) 3) (* (cbrt (* 3.0 (* (- 2.0 (* x 3.0)) x))) (cbrt (* 3.0 (* (- 2.0 (* x 3.0)) x)))) (cbrt (* 3.0 (* (- 2.0 (* x 3.0)) x))) (pow (* 3.0 (* (- 2.0 (* x 3.0)) x)) 3) (sqrt (* 3.0 (* (- 2.0 (* x 3.0)) x))) (sqrt (* 3.0 (* (- 2.0 (* x 3.0)) x))) (* 3.0 (- 2.0 (* x 3.0))) (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x)) (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)) (* 3.0 (* (- 2.0 (* x 3.0)) x)) (* 3.0 (* (- (pow 2.0 3) (pow (* x 3.0) 3)) x)) (- (* (* x 3.0) (* 2.0 2.0)) (pow (* x 3.0) 3)) (* (- 2.0 (* x 3.0)) x) (+ (log (- 2.0 (* x 3.0))) (log x)) (log (* (- 2.0 (* x 3.0)) x)) (exp (* (- 2.0 (* x 3.0)) x)) (pow (* (- 2.0 (* x 3.0)) x) 3) (* (cbrt (* (- 2.0 (* x 3.0)) x)) (cbrt (* (- 2.0 (* x 3.0)) x))) (cbrt (* (- 2.0 (* x 3.0)) x)) (pow (* (- 2.0 (* x 3.0)) x) 3) (sqrt (* (- 2.0 (* x 3.0)) x)) (sqrt (* (- 2.0 (* x 3.0)) x)) (* (sqrt (- 2.0 (* x 3.0))) (sqrt x)) (* (sqrt (- 2.0 (* x 3.0))) (sqrt x)) (* (- 2.0 (* x 3.0)) (* (cbrt x) (cbrt x))) (* (- 2.0 (* x 3.0)) (sqrt x)) (- 2.0 (* x 3.0)) (* (cbrt (- 2.0 (* x 3.0))) x) (* (sqrt (- 2.0 (* x 3.0))) x) (* (- 2.0 (* x 3.0)) x) (* (- (pow 2.0 3) (pow (* x 3.0) 3)) x) (* (* (+ 2.0 (* x 3.0)) (- 2.0 (* x 3.0))) x) (* x (- 6.0 (* x 9.0))) (* x (- 6.0 (* x 9.0))) (* x (- 6.0 (* x 9.0))) (* x (- 2.0 (* x 3.0))) (* x (- 2.0 (* x 3.0))) (* x (- 2.0 (* x 3.0))) 155.487 * * * [progress]: adding candidates to table 155.548 * * [progress]: iteration 4 / 4 155.548 * * * [progress]: picking best candidate 155.564 * * * * [pick]: Picked # 155.564 * * * [progress]: localizing error 155.573 * * * [progress]: generating rewritten candidates 155.573 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 155.582 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 155.597 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2) 155.611 * * * [progress]: generating series expansions 155.611 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 155.612 * [approximate]: Taking taylor expansion of (* (- 2.0 (* 3.0 x)) (* (cbrt 3.0) x)) in (x) around 0 155.612 * [taylor]: Taking taylor expansion of (* (- 2.0 (* 3.0 x)) (* (cbrt 3.0) x)) in x 155.612 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x 155.612 * [taylor]: Taking taylor expansion of 2.0 in x 155.612 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 155.612 * [taylor]: Taking taylor expansion of 3.0 in x 155.612 * [taylor]: Taking taylor expansion of x in x 155.612 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) x) in x 155.612 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 155.612 * [taylor]: Taking taylor expansion of 3.0 in x 155.612 * [taylor]: Taking taylor expansion of x in x 155.612 * [taylor]: Taking taylor expansion of (* (- 2.0 (* 3.0 x)) (* (cbrt 3.0) x)) in x 155.612 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x 155.612 * [taylor]: Taking taylor expansion of 2.0 in x 155.612 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 155.612 * [taylor]: Taking taylor expansion of 3.0 in x 155.612 * [taylor]: Taking taylor expansion of x in x 155.612 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) x) in x 155.612 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 155.612 * [taylor]: Taking taylor expansion of 3.0 in x 155.612 * [taylor]: Taking taylor expansion of x in x 155.615 * [approximate]: Taking taylor expansion of (/ (* (cbrt 3.0) (- 2.0 (* 3.0 (/ 1 x)))) x) in (x) around 0 155.615 * [taylor]: Taking taylor expansion of (/ (* (cbrt 3.0) (- 2.0 (* 3.0 (/ 1 x)))) x) in x 155.615 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) (- 2.0 (* 3.0 (/ 1 x)))) in x 155.615 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 155.615 * [taylor]: Taking taylor expansion of 3.0 in x 155.615 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x 155.615 * [taylor]: Taking taylor expansion of 2.0 in x 155.615 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 155.615 * [taylor]: Taking taylor expansion of 3.0 in x 155.615 * [taylor]: Taking taylor expansion of (/ 1 x) in x 155.615 * [taylor]: Taking taylor expansion of x in x 155.615 * [taylor]: Taking taylor expansion of x in x 155.615 * [taylor]: Taking taylor expansion of (/ (* (cbrt 3.0) (- 2.0 (* 3.0 (/ 1 x)))) x) in x 155.616 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) (- 2.0 (* 3.0 (/ 1 x)))) in x 155.616 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 155.616 * [taylor]: Taking taylor expansion of 3.0 in x 155.616 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x 155.616 * [taylor]: Taking taylor expansion of 2.0 in x 155.616 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 155.616 * [taylor]: Taking taylor expansion of 3.0 in x 155.616 * [taylor]: Taking taylor expansion of (/ 1 x) in x 155.616 * [taylor]: Taking taylor expansion of x in x 155.616 * [taylor]: Taking taylor expansion of x in x 155.619 * [approximate]: Taking taylor expansion of (* -1 (/ (* (+ (* 3.0 (/ 1 x)) 2.0) (cbrt 3.0)) x)) in (x) around 0 155.619 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (* 3.0 (/ 1 x)) 2.0) (cbrt 3.0)) x)) in x 155.619 * [taylor]: Taking taylor expansion of -1 in x 155.619 * [taylor]: Taking taylor expansion of (/ (* (+ (* 3.0 (/ 1 x)) 2.0) (cbrt 3.0)) x) in x 155.619 * [taylor]: Taking taylor expansion of (* (+ (* 3.0 (/ 1 x)) 2.0) (cbrt 3.0)) in x 155.619 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x 155.619 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 155.619 * [taylor]: Taking taylor expansion of 3.0 in x 155.619 * [taylor]: Taking taylor expansion of (/ 1 x) in x 155.619 * [taylor]: Taking taylor expansion of x in x 155.619 * [taylor]: Taking taylor expansion of 2.0 in x 155.619 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 155.619 * [taylor]: Taking taylor expansion of 3.0 in x 155.619 * [taylor]: Taking taylor expansion of x in x 155.619 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (* 3.0 (/ 1 x)) 2.0) (cbrt 3.0)) x)) in x 155.620 * [taylor]: Taking taylor expansion of -1 in x 155.620 * [taylor]: Taking taylor expansion of (/ (* (+ (* 3.0 (/ 1 x)) 2.0) (cbrt 3.0)) x) in x 155.620 * [taylor]: Taking taylor expansion of (* (+ (* 3.0 (/ 1 x)) 2.0) (cbrt 3.0)) in x 155.620 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x 155.620 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 155.620 * [taylor]: Taking taylor expansion of 3.0 in x 155.620 * [taylor]: Taking taylor expansion of (/ 1 x) in x 155.620 * [taylor]: Taking taylor expansion of x in x 155.620 * [taylor]: Taking taylor expansion of 2.0 in x 155.620 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 155.620 * [taylor]: Taking taylor expansion of 3.0 in x 155.620 * [taylor]: Taking taylor expansion of x in x 155.624 * * * * [progress]: [ 2 / 3 ] generating series at (2) 155.624 * [approximate]: Taking taylor expansion of (* (- 2.0 (* 3.0 x)) (* (pow (cbrt 3.0) 3) x)) in (x) around 0 155.624 * [taylor]: Taking taylor expansion of (* (- 2.0 (* 3.0 x)) (* (pow (cbrt 3.0) 3) x)) in x 155.624 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x 155.624 * [taylor]: Taking taylor expansion of 2.0 in x 155.624 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 155.624 * [taylor]: Taking taylor expansion of 3.0 in x 155.624 * [taylor]: Taking taylor expansion of x in x 155.624 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) x) in x 155.624 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 155.624 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 155.624 * [taylor]: Taking taylor expansion of 3.0 in x 155.625 * [taylor]: Taking taylor expansion of x in x 155.625 * [taylor]: Taking taylor expansion of (* (- 2.0 (* 3.0 x)) (* (pow (cbrt 3.0) 3) x)) in x 155.625 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x 155.625 * [taylor]: Taking taylor expansion of 2.0 in x 155.625 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 155.625 * [taylor]: Taking taylor expansion of 3.0 in x 155.625 * [taylor]: Taking taylor expansion of x in x 155.625 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) x) in x 155.625 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 155.625 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 155.625 * [taylor]: Taking taylor expansion of 3.0 in x 155.625 * [taylor]: Taking taylor expansion of x in x 155.630 * [approximate]: Taking taylor expansion of (/ (* (pow (cbrt 3.0) 3) (- 2.0 (* 3.0 (/ 1 x)))) x) in (x) around 0 155.630 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt 3.0) 3) (- 2.0 (* 3.0 (/ 1 x)))) x) in x 155.630 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (- 2.0 (* 3.0 (/ 1 x)))) in x 155.630 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 155.630 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 155.630 * [taylor]: Taking taylor expansion of 3.0 in x 155.630 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x 155.630 * [taylor]: Taking taylor expansion of 2.0 in x 155.630 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 155.630 * [taylor]: Taking taylor expansion of 3.0 in x 155.630 * [taylor]: Taking taylor expansion of (/ 1 x) in x 155.630 * [taylor]: Taking taylor expansion of x in x 155.630 * [taylor]: Taking taylor expansion of x in x 155.631 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt 3.0) 3) (- 2.0 (* 3.0 (/ 1 x)))) x) in x 155.631 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (- 2.0 (* 3.0 (/ 1 x)))) in x 155.631 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 155.631 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 155.631 * [taylor]: Taking taylor expansion of 3.0 in x 155.631 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x 155.631 * [taylor]: Taking taylor expansion of 2.0 in x 155.631 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 155.631 * [taylor]: Taking taylor expansion of 3.0 in x 155.631 * [taylor]: Taking taylor expansion of (/ 1 x) in x 155.631 * [taylor]: Taking taylor expansion of x in x 155.631 * [taylor]: Taking taylor expansion of x in x 155.636 * [approximate]: Taking taylor expansion of (* -1 (/ (* (+ (* 3.0 (/ 1 x)) 2.0) (pow (cbrt 3.0) 3)) x)) in (x) around 0 155.636 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (* 3.0 (/ 1 x)) 2.0) (pow (cbrt 3.0) 3)) x)) in x 155.636 * [taylor]: Taking taylor expansion of -1 in x 155.636 * [taylor]: Taking taylor expansion of (/ (* (+ (* 3.0 (/ 1 x)) 2.0) (pow (cbrt 3.0) 3)) x) in x 155.636 * [taylor]: Taking taylor expansion of (* (+ (* 3.0 (/ 1 x)) 2.0) (pow (cbrt 3.0) 3)) in x 155.636 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x 155.636 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 155.636 * [taylor]: Taking taylor expansion of 3.0 in x 155.636 * [taylor]: Taking taylor expansion of (/ 1 x) in x 155.636 * [taylor]: Taking taylor expansion of x in x 155.636 * [taylor]: Taking taylor expansion of 2.0 in x 155.636 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 155.636 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 155.636 * [taylor]: Taking taylor expansion of 3.0 in x 155.636 * [taylor]: Taking taylor expansion of x in x 155.637 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (* 3.0 (/ 1 x)) 2.0) (pow (cbrt 3.0) 3)) x)) in x 155.637 * [taylor]: Taking taylor expansion of -1 in x 155.637 * [taylor]: Taking taylor expansion of (/ (* (+ (* 3.0 (/ 1 x)) 2.0) (pow (cbrt 3.0) 3)) x) in x 155.637 * [taylor]: Taking taylor expansion of (* (+ (* 3.0 (/ 1 x)) 2.0) (pow (cbrt 3.0) 3)) in x 155.637 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x 155.637 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 155.637 * [taylor]: Taking taylor expansion of 3.0 in x 155.637 * [taylor]: Taking taylor expansion of (/ 1 x) in x 155.637 * [taylor]: Taking taylor expansion of x in x 155.637 * [taylor]: Taking taylor expansion of 2.0 in x 155.637 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 155.637 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 155.637 * [taylor]: Taking taylor expansion of 3.0 in x 155.637 * [taylor]: Taking taylor expansion of x in x 155.642 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2) 155.642 * [approximate]: Taking taylor expansion of (* (- 2.0 (* 3.0 x)) x) in (x) around 0 155.642 * [taylor]: Taking taylor expansion of (* (- 2.0 (* 3.0 x)) x) in x 155.642 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x 155.642 * [taylor]: Taking taylor expansion of 2.0 in x 155.642 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 155.642 * [taylor]: Taking taylor expansion of 3.0 in x 155.642 * [taylor]: Taking taylor expansion of x in x 155.642 * [taylor]: Taking taylor expansion of x in x 155.642 * [taylor]: Taking taylor expansion of (* (- 2.0 (* 3.0 x)) x) in x 155.643 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x 155.643 * [taylor]: Taking taylor expansion of 2.0 in x 155.643 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 155.643 * [taylor]: Taking taylor expansion of 3.0 in x 155.643 * [taylor]: Taking taylor expansion of x in x 155.643 * [taylor]: Taking taylor expansion of x in x 155.644 * [approximate]: Taking taylor expansion of (/ (- 2.0 (* 3.0 (/ 1 x))) x) in (x) around 0 155.644 * [taylor]: Taking taylor expansion of (/ (- 2.0 (* 3.0 (/ 1 x))) x) in x 155.644 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x 155.644 * [taylor]: Taking taylor expansion of 2.0 in x 155.644 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 155.644 * [taylor]: Taking taylor expansion of 3.0 in x 155.644 * [taylor]: Taking taylor expansion of (/ 1 x) in x 155.644 * [taylor]: Taking taylor expansion of x in x 155.644 * [taylor]: Taking taylor expansion of x in x 155.644 * [taylor]: Taking taylor expansion of (/ (- 2.0 (* 3.0 (/ 1 x))) x) in x 155.644 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x 155.644 * [taylor]: Taking taylor expansion of 2.0 in x 155.644 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 155.644 * [taylor]: Taking taylor expansion of 3.0 in x 155.644 * [taylor]: Taking taylor expansion of (/ 1 x) in x 155.644 * [taylor]: Taking taylor expansion of x in x 155.644 * [taylor]: Taking taylor expansion of x in x 155.646 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (* 3.0 (/ 1 x)) 2.0) x)) in (x) around 0 155.646 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 3.0 (/ 1 x)) 2.0) x)) in x 155.646 * [taylor]: Taking taylor expansion of -1 in x 155.646 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 2.0) x) in x 155.646 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x 155.646 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 155.646 * [taylor]: Taking taylor expansion of 3.0 in x 155.646 * [taylor]: Taking taylor expansion of (/ 1 x) in x 155.646 * [taylor]: Taking taylor expansion of x in x 155.647 * [taylor]: Taking taylor expansion of 2.0 in x 155.647 * [taylor]: Taking taylor expansion of x in x 155.647 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 3.0 (/ 1 x)) 2.0) x)) in x 155.647 * [taylor]: Taking taylor expansion of -1 in x 155.647 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 2.0) x) in x 155.647 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x 155.647 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 155.647 * [taylor]: Taking taylor expansion of 3.0 in x 155.647 * [taylor]: Taking taylor expansion of (/ 1 x) in x 155.647 * [taylor]: Taking taylor expansion of x in x 155.647 * [taylor]: Taking taylor expansion of 2.0 in x 155.647 * [taylor]: Taking taylor expansion of x in x 155.649 * * * [progress]: simplifying candidates 155.650 * [simplify]: Simplifying using # : (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x)) (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x)) (+ (log (cbrt 3.0)) (+ (log (- 2.0 (* x 3.0))) (log x))) (+ (log (cbrt 3.0)) (log (* (- 2.0 (* x 3.0)) x))) (log (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x))) (exp (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x))) (* 3.0 (* (* (* (- 2.0 (* x 3.0)) (- 2.0 (* x 3.0))) (- 2.0 (* x 3.0))) (* (* x x) x))) (* 3.0 (* (* (* (- 2.0 (* x 3.0)) x) (* (- 2.0 (* x 3.0)) x)) (* (- 2.0 (* x 3.0)) x))) (* (cbrt (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x))) (cbrt (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x)))) (cbrt (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x))) (* (* (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x)) (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x))) (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x))) (sqrt (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x))) (sqrt (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x))) (* (cbrt 3.0) (- 2.0 (* x 3.0))) (* (cbrt (cbrt 3.0)) (* (- 2.0 (* x 3.0)) x)) (* (cbrt (sqrt 3.0)) (* (- 2.0 (* x 3.0)) x)) (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x)) (* (cbrt (cbrt 3.0)) (* (- 2.0 (* x 3.0)) x)) (* (sqrt (cbrt 3.0)) (* (- 2.0 (* x 3.0)) x)) (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x)) (* (cbrt 3.0) (* (- (pow 2.0 3) (pow (* x 3.0) 3)) x)) (* (cbrt 3.0) (* (- (* 2.0 2.0) (* (* x 3.0) (* x 3.0))) x)) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x))) (+ (+ (log (cbrt 3.0)) (log (cbrt 3.0))) (+ (log (cbrt 3.0)) (+ (log (- 2.0 (* x 3.0))) (log x)))) (+ (+ (log (cbrt 3.0)) (log (cbrt 3.0))) (+ (log (cbrt 3.0)) (log (* (- 2.0 (* x 3.0)) x)))) (+ (+ (log (cbrt 3.0)) (log (cbrt 3.0))) (log (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x)))) (+ (log (* (cbrt 3.0) (cbrt 3.0))) (+ (log (cbrt 3.0)) (+ (log (- 2.0 (* x 3.0))) (log x)))) (+ (log (* (cbrt 3.0) (cbrt 3.0))) (+ (log (cbrt 3.0)) (log (* (- 2.0 (* x 3.0)) x)))) (+ (log (* (cbrt 3.0) (cbrt 3.0))) (log (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x)))) (log (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x)))) (exp (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x)))) (* (* 3.0 3.0) (* 3.0 (* (* (* (- 2.0 (* x 3.0)) (- 2.0 (* x 3.0))) (- 2.0 (* x 3.0))) (* (* x x) x)))) (* (* 3.0 3.0) (* 3.0 (* (* (* (- 2.0 (* x 3.0)) x) (* (- 2.0 (* x 3.0)) x)) (* (- 2.0 (* x 3.0)) x)))) (* (* 3.0 3.0) (* (* (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x)) (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x))) (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x)))) (* (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt 3.0) (cbrt 3.0))) (* 3.0 (* (* (* (- 2.0 (* x 3.0)) (- 2.0 (* x 3.0))) (- 2.0 (* x 3.0))) (* (* x x) x)))) (* (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt 3.0) (cbrt 3.0))) (* 3.0 (* (* (* (- 2.0 (* x 3.0)) x) (* (- 2.0 (* x 3.0)) x)) (* (- 2.0 (* x 3.0)) x)))) (* (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt 3.0) (cbrt 3.0))) (* (* (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x)) (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x))) (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x)))) (* (cbrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x)))) (cbrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x))))) (cbrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x)))) (* (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x)))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x)))) (sqrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x)))) (sqrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x)))) (* (* (cbrt 3.0) (cbrt 3.0)) (cbrt 3.0)) (* (cbrt 3.0) (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (- (pow 2.0 3) (pow (* x 3.0) 3)) x))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (- (* 2.0 2.0) (* (* x 3.0) (* x 3.0))) x))) (* (- 2.0 (* x 3.0)) x) (+ (log (- 2.0 (* x 3.0))) (log x)) (log (* (- 2.0 (* x 3.0)) x)) (exp (* (- 2.0 (* x 3.0)) x)) (* (* (* (- 2.0 (* x 3.0)) (- 2.0 (* x 3.0))) (- 2.0 (* x 3.0))) (* (* x x) x)) (* (cbrt (* (- 2.0 (* x 3.0)) x)) (cbrt (* (- 2.0 (* x 3.0)) x))) (cbrt (* (- 2.0 (* x 3.0)) x)) (* (* (* (- 2.0 (* x 3.0)) x) (* (- 2.0 (* x 3.0)) x)) (* (- 2.0 (* x 3.0)) x)) (sqrt (* (- 2.0 (* x 3.0)) x)) (sqrt (* (- 2.0 (* x 3.0)) x)) (* (sqrt (- 2.0 (* x 3.0))) (sqrt x)) (* (sqrt (- 2.0 (* x 3.0))) (sqrt x)) (* (- 2.0 (* x 3.0)) (* (cbrt x) (cbrt x))) (* (- 2.0 (* x 3.0)) (sqrt x)) (* (- 2.0 (* x 3.0)) 1) (* (cbrt (- 2.0 (* x 3.0))) x) (* (sqrt (- 2.0 (* x 3.0))) x) (* (- 2.0 (* x 3.0)) x) (* (- (pow 2.0 3) (pow (* x 3.0) 3)) x) (* (- (* 2.0 2.0) (* (* x 3.0) (* x 3.0))) x) (- (* 2.0 (* x (cbrt 3.0))) (* 3.0 (* (pow x 2) (cbrt 3.0)))) (- (* 2.0 (* x (cbrt 3.0))) (* 3.0 (* (pow x 2) (cbrt 3.0)))) (- (* 2.0 (* x (cbrt 3.0))) (* 3.0 (* (pow x 2) (cbrt 3.0)))) (- (* 6.0 x) (* 9.0 (pow x 2))) (- (* 6.0 x) (* 9.0 (pow x 2))) (- (* 6.0 x) (* 9.0 (pow x 2))) (- (* 2.0 x) (* 3.0 (pow x 2))) (- (* 2.0 x) (* 3.0 (pow x 2))) (- (* 2.0 x) (* 3.0 (pow x 2))) 155.651 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 155.652 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 155.654 * * [simplify]: iteration 2 : 40 enodes (cost 10 ) 155.662 * * [simplify]: iteration 3 : 93 enodes (cost 10 ) 155.687 * * [simplify]: iteration 4 : 155 enodes (cost 10 ) 155.735 * * [simplify]: iteration 5 : 183 enodes (cost 10 ) 155.778 * * [simplify]: iteration 6 : 188 enodes (cost 10 ) 155.826 * * [simplify]: iteration done : 188 enodes (cost 10 ) 155.826 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 155.827 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 155.829 * * [simplify]: iteration 2 : 40 enodes (cost 10 ) 155.836 * * [simplify]: iteration 3 : 93 enodes (cost 10 ) 155.861 * * [simplify]: iteration 4 : 155 enodes (cost 10 ) 155.908 * * [simplify]: iteration 5 : 183 enodes (cost 10 ) 155.955 * * [simplify]: iteration 6 : 188 enodes (cost 10 ) 156.002 * * [simplify]: iteration done : 188 enodes (cost 10 ) 156.003 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 156.004 * * [simplify]: iteration 1 : 18 enodes (cost 13 ) 156.006 * * [simplify]: iteration 2 : 31 enodes (cost 13 ) 156.009 * * [simplify]: iteration done : 31 enodes (cost 13 ) 156.010 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 156.011 * * [simplify]: iteration 1 : 18 enodes (cost 12 ) 156.013 * * [simplify]: iteration 2 : 36 enodes (cost 12 ) 156.018 * * [simplify]: iteration 3 : 54 enodes (cost 12 ) 156.026 * * [simplify]: iteration 4 : 58 enodes (cost 12 ) 156.035 * * [simplify]: iteration done : 58 enodes (cost 12 ) 156.035 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 156.037 * * [simplify]: iteration 1 : 19 enodes (cost 11 ) 156.039 * * [simplify]: iteration 2 : 51 enodes (cost 11 ) 156.048 * * [simplify]: iteration 3 : 116 enodes (cost 11 ) 156.075 * * [simplify]: iteration 4 : 178 enodes (cost 11 ) 156.124 * * [simplify]: iteration 5 : 206 enodes (cost 11 ) 156.173 * * [simplify]: iteration 6 : 211 enodes (cost 11 ) 156.222 * * [simplify]: iteration done : 211 enodes (cost 11 ) 156.223 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 156.224 * * [simplify]: iteration 1 : 18 enodes (cost 11 ) 156.227 * * [simplify]: iteration 2 : 51 enodes (cost 11 ) 156.236 * * [simplify]: iteration 3 : 135 enodes (cost 11 ) 156.264 * * [simplify]: iteration 4 : 304 enodes (cost 11 ) 156.350 * * [simplify]: iteration 5 : 646 enodes (cost 11 ) 156.698 * * [simplify]: iteration 6 : 1716 enodes (cost 11 ) 157.606 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 157.607 * * [simplify]: iteration 0 : 11 enodes (cost 25 ) 157.608 * * [simplify]: iteration 1 : 24 enodes (cost 25 ) 157.613 * * [simplify]: iteration 2 : 88 enodes (cost 13 ) 157.640 * * [simplify]: iteration 3 : 338 enodes (cost 13 ) 157.874 * * [simplify]: iteration 4 : 1554 enodes (cost 11 ) 159.833 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 159.834 * * [simplify]: iteration 0 : 9 enodes (cost 25 ) 159.835 * * [simplify]: iteration 1 : 26 enodes (cost 25 ) 159.840 * * [simplify]: iteration 2 : 106 enodes (cost 11 ) 159.886 * * [simplify]: iteration 3 : 509 enodes (cost 11 ) 160.358 * * [simplify]: iteration 4 : 2008 enodes (cost 11 ) 163.598 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 163.598 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 163.600 * * [simplify]: iteration 1 : 17 enodes (cost 23 ) 163.602 * * [simplify]: iteration 2 : 42 enodes (cost 23 ) 163.609 * * [simplify]: iteration 3 : 95 enodes (cost 23 ) 163.635 * * [simplify]: iteration 4 : 158 enodes (cost 23 ) 163.683 * * [simplify]: iteration 5 : 186 enodes (cost 23 ) 163.730 * * [simplify]: iteration 6 : 191 enodes (cost 23 ) 163.773 * * [simplify]: iteration done : 191 enodes (cost 23 ) 163.774 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 163.775 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 163.780 * * [simplify]: iteration 2 : 41 enodes (cost 11 ) 163.787 * * [simplify]: iteration 3 : 94 enodes (cost 11 ) 163.808 * * [simplify]: iteration 4 : 158 enodes (cost 11 ) 163.855 * * [simplify]: iteration 5 : 184 enodes (cost 11 ) 163.901 * * [simplify]: iteration 6 : 187 enodes (cost 11 ) 163.947 * * [simplify]: iteration done : 187 enodes (cost 11 ) 163.948 * * [simplify]: iteration 0 : 10 enodes (cost 32 ) 163.949 * * [simplify]: iteration 1 : 27 enodes (cost 32 ) 163.956 * * [simplify]: iteration 2 : 117 enodes (cost 12 ) 164.018 * * [simplify]: iteration 3 : 622 enodes (cost 12 ) 165.052 * * [simplify]: iteration 4 : 3369 enodes (cost 11 ) 166.764 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 166.765 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 166.766 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 166.768 * * [simplify]: iteration 2 : 41 enodes (cost 11 ) 166.775 * * [simplify]: iteration 3 : 94 enodes (cost 11 ) 166.803 * * [simplify]: iteration 4 : 158 enodes (cost 11 ) 166.851 * * [simplify]: iteration 5 : 184 enodes (cost 11 ) 166.893 * * [simplify]: iteration 6 : 187 enodes (cost 11 ) 166.940 * * [simplify]: iteration done : 187 enodes (cost 11 ) 166.941 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 166.942 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 166.944 * * [simplify]: iteration 2 : 41 enodes (cost 11 ) 166.957 * * [simplify]: iteration 3 : 94 enodes (cost 11 ) 166.977 * * [simplify]: iteration 4 : 158 enodes (cost 11 ) 167.024 * * [simplify]: iteration 5 : 184 enodes (cost 11 ) 167.071 * * [simplify]: iteration 6 : 187 enodes (cost 11 ) 167.117 * * [simplify]: iteration done : 187 enodes (cost 11 ) 167.117 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 167.118 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 167.120 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 167.123 * * [simplify]: iteration 3 : 45 enodes (cost 8 ) 167.131 * * [simplify]: iteration 4 : 63 enodes (cost 8 ) 167.141 * * [simplify]: iteration 5 : 71 enodes (cost 8 ) 167.151 * * [simplify]: iteration done : 71 enodes (cost 8 ) 167.152 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 167.153 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 167.155 * * [simplify]: iteration 2 : 41 enodes (cost 11 ) 167.162 * * [simplify]: iteration 3 : 96 enodes (cost 11 ) 167.185 * * [simplify]: iteration 4 : 156 enodes (cost 11 ) 167.233 * * [simplify]: iteration 5 : 184 enodes (cost 11 ) 167.280 * * [simplify]: iteration 6 : 189 enodes (cost 11 ) 167.323 * * [simplify]: iteration done : 189 enodes (cost 11 ) 167.324 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 167.325 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 167.331 * * [simplify]: iteration 2 : 41 enodes (cost 11 ) 167.338 * * [simplify]: iteration 3 : 96 enodes (cost 11 ) 167.358 * * [simplify]: iteration 4 : 156 enodes (cost 11 ) 167.406 * * [simplify]: iteration 5 : 184 enodes (cost 11 ) 167.454 * * [simplify]: iteration 6 : 189 enodes (cost 11 ) 167.501 * * [simplify]: iteration done : 189 enodes (cost 11 ) 167.502 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 167.503 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 167.505 * * [simplify]: iteration 2 : 40 enodes (cost 10 ) 167.511 * * [simplify]: iteration 3 : 93 enodes (cost 10 ) 167.531 * * [simplify]: iteration 4 : 155 enodes (cost 10 ) 167.580 * * [simplify]: iteration 5 : 183 enodes (cost 10 ) 167.628 * * [simplify]: iteration 6 : 188 enodes (cost 10 ) 167.676 * * [simplify]: iteration done : 188 enodes (cost 10 ) 167.677 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 167.678 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 167.680 * * [simplify]: iteration 2 : 41 enodes (cost 11 ) 167.686 * * [simplify]: iteration 3 : 96 enodes (cost 11 ) 167.712 * * [simplify]: iteration 4 : 156 enodes (cost 11 ) 167.756 * * [simplify]: iteration 5 : 184 enodes (cost 11 ) 167.802 * * [simplify]: iteration 6 : 189 enodes (cost 11 ) 167.850 * * [simplify]: iteration done : 189 enodes (cost 11 ) 167.851 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 167.852 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 167.854 * * [simplify]: iteration 2 : 41 enodes (cost 11 ) 167.861 * * [simplify]: iteration 3 : 96 enodes (cost 11 ) 167.887 * * [simplify]: iteration 4 : 156 enodes (cost 11 ) 167.936 * * [simplify]: iteration 5 : 184 enodes (cost 11 ) 167.984 * * [simplify]: iteration 6 : 189 enodes (cost 11 ) 168.026 * * [simplify]: iteration done : 189 enodes (cost 11 ) 168.027 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 168.028 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 168.030 * * [simplify]: iteration 2 : 40 enodes (cost 10 ) 168.043 * * [simplify]: iteration 3 : 93 enodes (cost 10 ) 168.063 * * [simplify]: iteration 4 : 155 enodes (cost 10 ) 168.111 * * [simplify]: iteration 5 : 183 enodes (cost 10 ) 168.159 * * [simplify]: iteration 6 : 188 enodes (cost 10 ) 168.206 * * [simplify]: iteration done : 188 enodes (cost 10 ) 168.206 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 168.208 * * [simplify]: iteration 1 : 34 enodes (cost 14 ) 168.214 * * [simplify]: iteration 2 : 107 enodes (cost 14 ) 168.244 * * [simplify]: iteration 3 : 429 enodes (cost 14 ) 168.611 * * [simplify]: iteration 4 : 1847 enodes (cost 14 ) 171.043 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 171.043 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 171.045 * * [simplify]: iteration 1 : 27 enodes (cost 16 ) 171.049 * * [simplify]: iteration 2 : 81 enodes (cost 16 ) 171.077 * * [simplify]: iteration 3 : 275 enodes (cost 16 ) 171.201 * * [simplify]: iteration 4 : 820 enodes (cost 16 ) 171.760 * * [simplify]: iteration 5 : 1514 enodes (cost 16 ) 172.972 * * [simplify]: iteration 6 : 2295 enodes (cost 16 ) 175.128 * * [simplify]: iteration 7 : 3503 enodes (cost 16 ) 179.794 * * [simplify]: iteration done : 5001 enodes (cost 16 ) 179.794 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 179.796 * * [simplify]: iteration 1 : 22 enodes (cost 16 ) 179.799 * * [simplify]: iteration 2 : 65 enodes (cost 16 ) 179.815 * * [simplify]: iteration 3 : 195 enodes (cost 12 ) 179.888 * * [simplify]: iteration 4 : 452 enodes (cost 9 ) 180.177 * * [simplify]: iteration 5 : 721 enodes (cost 9 ) 180.784 * * [simplify]: iteration 6 : 923 enodes (cost 9 ) 181.405 * * [simplify]: iteration 7 : 944 enodes (cost 9 ) 181.992 * * [simplify]: iteration 8 : 967 enodes (cost 9 ) 182.598 * * [simplify]: iteration 9 : 1048 enodes (cost 9 ) 183.252 * * [simplify]: iteration 10 : 1322 enodes (cost 9 ) 184.473 * * [simplify]: iteration 11 : 2479 enodes (cost 9 ) 186.285 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 186.286 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 186.288 * * [simplify]: iteration 1 : 22 enodes (cost 16 ) 186.298 * * [simplify]: iteration 2 : 65 enodes (cost 16 ) 186.313 * * [simplify]: iteration 3 : 195 enodes (cost 12 ) 186.387 * * [simplify]: iteration 4 : 452 enodes (cost 9 ) 186.671 * * [simplify]: iteration 5 : 721 enodes (cost 9 ) 187.271 * * [simplify]: iteration 6 : 923 enodes (cost 9 ) 187.887 * * [simplify]: iteration 7 : 944 enodes (cost 9 ) 188.482 * * [simplify]: iteration 8 : 967 enodes (cost 9 ) 189.073 * * [simplify]: iteration 9 : 1048 enodes (cost 9 ) 189.725 * * [simplify]: iteration 10 : 1322 enodes (cost 9 ) 190.937 * * [simplify]: iteration 11 : 2479 enodes (cost 9 ) 192.745 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 192.746 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 192.747 * * [simplify]: iteration 1 : 22 enodes (cost 16 ) 192.751 * * [simplify]: iteration 2 : 65 enodes (cost 16 ) 192.766 * * [simplify]: iteration 3 : 195 enodes (cost 12 ) 192.846 * * [simplify]: iteration 4 : 452 enodes (cost 9 ) 193.128 * * [simplify]: iteration 5 : 721 enodes (cost 9 ) 193.735 * * [simplify]: iteration 6 : 923 enodes (cost 9 ) 194.350 * * [simplify]: iteration 7 : 944 enodes (cost 9 ) 194.939 * * [simplify]: iteration 8 : 967 enodes (cost 9 ) 195.538 * * [simplify]: iteration 9 : 1048 enodes (cost 9 ) 196.190 * * [simplify]: iteration 10 : 1322 enodes (cost 9 ) 197.419 * * [simplify]: iteration 11 : 2479 enodes (cost 9 ) 199.227 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 199.228 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 199.230 * * [simplify]: iteration 1 : 22 enodes (cost 16 ) 199.234 * * [simplify]: iteration 2 : 65 enodes (cost 16 ) 199.250 * * [simplify]: iteration 3 : 195 enodes (cost 12 ) 199.324 * * [simplify]: iteration 4 : 452 enodes (cost 9 ) 199.609 * * [simplify]: iteration 5 : 721 enodes (cost 9 ) 200.202 * * [simplify]: iteration 6 : 923 enodes (cost 9 ) 200.826 * * [simplify]: iteration 7 : 944 enodes (cost 9 ) 201.420 * * [simplify]: iteration 8 : 967 enodes (cost 9 ) 202.019 * * [simplify]: iteration 9 : 1048 enodes (cost 9 ) 202.673 * * [simplify]: iteration 10 : 1322 enodes (cost 9 ) 203.893 * * [simplify]: iteration 11 : 2479 enodes (cost 9 ) 205.715 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 205.716 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 205.718 * * [simplify]: iteration 1 : 22 enodes (cost 16 ) 205.728 * * [simplify]: iteration 2 : 65 enodes (cost 16 ) 205.744 * * [simplify]: iteration 3 : 195 enodes (cost 12 ) 205.818 * * [simplify]: iteration 4 : 452 enodes (cost 9 ) 206.096 * * [simplify]: iteration 5 : 721 enodes (cost 9 ) 206.707 * * [simplify]: iteration 6 : 923 enodes (cost 9 ) 207.334 * * [simplify]: iteration 7 : 944 enodes (cost 9 ) 207.926 * * [simplify]: iteration 8 : 967 enodes (cost 9 ) 208.539 * * [simplify]: iteration 9 : 1048 enodes (cost 9 ) 209.202 * * [simplify]: iteration 10 : 1322 enodes (cost 9 ) 210.425 * * [simplify]: iteration 11 : 2479 enodes (cost 9 ) 212.250 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 212.250 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 212.252 * * [simplify]: iteration 1 : 22 enodes (cost 16 ) 212.255 * * [simplify]: iteration 2 : 65 enodes (cost 16 ) 212.278 * * [simplify]: iteration 3 : 195 enodes (cost 12 ) 212.356 * * [simplify]: iteration 4 : 452 enodes (cost 9 ) 212.644 * * [simplify]: iteration 5 : 721 enodes (cost 9 ) 213.251 * * [simplify]: iteration 6 : 923 enodes (cost 9 ) 213.875 * * [simplify]: iteration 7 : 944 enodes (cost 9 ) 214.475 * * [simplify]: iteration 8 : 967 enodes (cost 9 ) 215.107 * * [simplify]: iteration 9 : 1048 enodes (cost 9 ) 215.760 * * [simplify]: iteration 10 : 1322 enodes (cost 9 ) 216.974 * * [simplify]: iteration 11 : 2479 enodes (cost 9 ) 218.795 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 218.796 * * [simplify]: iteration 0 : 13 enodes (cost 21 ) 218.797 * * [simplify]: iteration 1 : 27 enodes (cost 19 ) 218.801 * * [simplify]: iteration 2 : 63 enodes (cost 15 ) 218.811 * * [simplify]: iteration 3 : 96 enodes (cost 15 ) 218.828 * * [simplify]: iteration 4 : 97 enodes (cost 15 ) 218.851 * * [simplify]: iteration done : 97 enodes (cost 15 ) 218.852 * * [simplify]: iteration 0 : 12 enodes (cost 20 ) 218.853 * * [simplify]: iteration 1 : 27 enodes (cost 18 ) 218.857 * * [simplify]: iteration 2 : 60 enodes (cost 14 ) 218.866 * * [simplify]: iteration 3 : 106 enodes (cost 14 ) 218.884 * * [simplify]: iteration 4 : 124 enodes (cost 14 ) 218.912 * * [simplify]: iteration done : 124 enodes (cost 14 ) 218.913 * * [simplify]: iteration 0 : 12 enodes (cost 19 ) 218.915 * * [simplify]: iteration 1 : 26 enodes (cost 17 ) 218.918 * * [simplify]: iteration 2 : 66 enodes (cost 17 ) 218.929 * * [simplify]: iteration 3 : 157 enodes (cost 14 ) 218.970 * * [simplify]: iteration 4 : 268 enodes (cost 14 ) 219.037 * * [simplify]: iteration 5 : 296 enodes (cost 14 ) 219.099 * * [simplify]: iteration 6 : 301 enodes (cost 14 ) 219.161 * * [simplify]: iteration done : 301 enodes (cost 14 ) 219.162 * * [simplify]: iteration 0 : 14 enodes (cost 20 ) 219.164 * * [simplify]: iteration 1 : 25 enodes (cost 20 ) 219.167 * * [simplify]: iteration 2 : 58 enodes (cost 19 ) 219.182 * * [simplify]: iteration 3 : 96 enodes (cost 15 ) 219.200 * * [simplify]: iteration 4 : 108 enodes (cost 15 ) 219.217 * * [simplify]: iteration done : 108 enodes (cost 15 ) 219.217 * * [simplify]: iteration 0 : 13 enodes (cost 19 ) 219.219 * * [simplify]: iteration 1 : 25 enodes (cost 19 ) 219.223 * * [simplify]: iteration 2 : 57 enodes (cost 18 ) 219.238 * * [simplify]: iteration 3 : 105 enodes (cost 14 ) 219.257 * * [simplify]: iteration 4 : 133 enodes (cost 14 ) 219.278 * * [simplify]: iteration done : 133 enodes (cost 14 ) 219.279 * * [simplify]: iteration 0 : 12 enodes (cost 18 ) 219.280 * * [simplify]: iteration 1 : 24 enodes (cost 18 ) 219.284 * * [simplify]: iteration 2 : 66 enodes (cost 17 ) 219.301 * * [simplify]: iteration 3 : 156 enodes (cost 14 ) 219.334 * * [simplify]: iteration 4 : 269 enodes (cost 14 ) 219.407 * * [simplify]: iteration 5 : 297 enodes (cost 14 ) 219.470 * * [simplify]: iteration 6 : 302 enodes (cost 14 ) 219.533 * * [simplify]: iteration done : 302 enodes (cost 14 ) 219.534 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 219.535 * * [simplify]: iteration 1 : 26 enodes (cost 17 ) 219.539 * * [simplify]: iteration 2 : 82 enodes (cost 17 ) 219.557 * * [simplify]: iteration 3 : 250 enodes (cost 13 ) 219.650 * * [simplify]: iteration 4 : 575 enodes (cost 10 ) 219.957 * * [simplify]: iteration 5 : 878 enodes (cost 10 ) 220.559 * * [simplify]: iteration 6 : 1106 enodes (cost 10 ) 221.169 * * [simplify]: iteration 7 : 1131 enodes (cost 10 ) 221.767 * * [simplify]: iteration 8 : 1154 enodes (cost 10 ) 222.353 * * [simplify]: iteration 9 : 1234 enodes (cost 10 ) 223.017 * * [simplify]: iteration 10 : 1530 enodes (cost 10 ) 224.251 * * [simplify]: iteration 11 : 2703 enodes (cost 10 ) 226.143 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 226.144 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 226.146 * * [simplify]: iteration 1 : 25 enodes (cost 17 ) 226.151 * * [simplify]: iteration 2 : 79 enodes (cost 17 ) 226.170 * * [simplify]: iteration 3 : 261 enodes (cost 13 ) 226.270 * * [simplify]: iteration 4 : 712 enodes (cost 10 ) 226.635 * * [simplify]: iteration 5 : 1710 enodes (cost 10 ) 228.289 * * [simplify]: iteration 6 : 4531 enodes (cost 10 ) 229.277 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 229.278 * * [simplify]: iteration 0 : 13 enodes (cost 29 ) 229.280 * * [simplify]: iteration 1 : 31 enodes (cost 29 ) 229.286 * * [simplify]: iteration 2 : 117 enodes (cost 17 ) 229.338 * * [simplify]: iteration 3 : 542 enodes (cost 15 ) 229.926 * * [simplify]: iteration 4 : 2690 enodes (cost 13 ) 231.522 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 231.523 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 231.526 * * [simplify]: iteration 1 : 33 enodes (cost 29 ) 231.533 * * [simplify]: iteration 2 : 132 enodes (cost 15 ) 231.601 * * [simplify]: iteration 3 : 722 enodes (cost 13 ) 234.933 * * [simplify]: iteration 4 : 3398 enodes (cost 13 ) 236.883 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 236.884 * * [simplify]: iteration 0 : 12 enodes (cost 36 ) 236.886 * * [simplify]: iteration 1 : 34 enodes (cost 36 ) 236.893 * * [simplify]: iteration 2 : 157 enodes (cost 16 ) 236.998 * * [simplify]: iteration 3 : 1015 enodes (cost 16 ) 238.449 * * [simplify]: iteration done : 5000 enodes (cost 16 ) 238.450 * * [simplify]: iteration 0 : 16 enodes (cost 43 ) 238.452 * * [simplify]: iteration 1 : 42 enodes (cost 43 ) 238.470 * * [simplify]: iteration 2 : 164 enodes (cost 21 ) 238.598 * * [simplify]: iteration 3 : 915 enodes (cost 17 ) 240.419 * * [simplify]: iteration done : 5002 enodes (cost 17 ) 240.420 * * [simplify]: iteration 0 : 14 enodes (cost 43 ) 240.423 * * [simplify]: iteration 1 : 44 enodes (cost 43 ) 240.432 * * [simplify]: iteration 2 : 180 enodes (cost 19 ) 240.579 * * [simplify]: iteration 3 : 1048 enodes (cost 15 ) 242.509 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 242.510 * * [simplify]: iteration 0 : 14 enodes (cost 50 ) 242.512 * * [simplify]: iteration 1 : 43 enodes (cost 50 ) 242.523 * * [simplify]: iteration 2 : 197 enodes (cost 20 ) 242.683 * * [simplify]: iteration 3 : 1264 enodes (cost 15 ) 244.745 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 244.746 * * [simplify]: iteration 0 : 12 enodes (cost 35 ) 244.755 * * [simplify]: iteration 1 : 24 enodes (cost 35 ) 244.759 * * [simplify]: iteration 2 : 67 enodes (cost 35 ) 244.775 * * [simplify]: iteration 3 : 196 enodes (cost 27 ) 244.849 * * [simplify]: iteration 4 : 465 enodes (cost 21 ) 245.141 * * [simplify]: iteration 5 : 741 enodes (cost 21 ) 245.724 * * [simplify]: iteration 6 : 964 enodes (cost 21 ) 246.302 * * [simplify]: iteration 7 : 978 enodes (cost 21 ) 246.880 * * [simplify]: iteration 8 : 1001 enodes (cost 21 ) 247.454 * * [simplify]: iteration 9 : 1093 enodes (cost 21 ) 248.079 * * [simplify]: iteration 10 : 1387 enodes (cost 21 ) 249.288 * * [simplify]: iteration 11 : 2567 enodes (cost 21 ) 251.136 * * [simplify]: iteration done : 5000 enodes (cost 21 ) 251.137 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 251.139 * * [simplify]: iteration 1 : 23 enodes (cost 17 ) 251.142 * * [simplify]: iteration 2 : 65 enodes (cost 17 ) 251.158 * * [simplify]: iteration 3 : 195 enodes (cost 13 ) 251.240 * * [simplify]: iteration 4 : 455 enodes (cost 10 ) 251.517 * * [simplify]: iteration 5 : 690 enodes (cost 10 ) 252.113 * * [simplify]: iteration 6 : 904 enodes (cost 10 ) 252.694 * * [simplify]: iteration 7 : 917 enodes (cost 10 ) 253.254 * * [simplify]: iteration 8 : 940 enodes (cost 10 ) 253.811 * * [simplify]: iteration 9 : 1032 enodes (cost 10 ) 254.428 * * [simplify]: iteration 10 : 1325 enodes (cost 10 ) 255.611 * * [simplify]: iteration 11 : 2507 enodes (cost 10 ) 257.614 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 257.615 * * [simplify]: iteration 0 : 12 enodes (cost 50 ) 257.617 * * [simplify]: iteration 1 : 34 enodes (cost 50 ) 257.625 * * [simplify]: iteration 2 : 170 enodes (cost 18 ) 257.765 * * [simplify]: iteration 3 : 1019 enodes (cost 14 ) 259.645 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 259.646 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 259.648 * * [simplify]: iteration 1 : 23 enodes (cost 17 ) 259.652 * * [simplify]: iteration 2 : 65 enodes (cost 17 ) 259.667 * * [simplify]: iteration 3 : 195 enodes (cost 13 ) 259.742 * * [simplify]: iteration 4 : 455 enodes (cost 10 ) 260.005 * * [simplify]: iteration 5 : 690 enodes (cost 10 ) 260.584 * * [simplify]: iteration 6 : 904 enodes (cost 10 ) 261.154 * * [simplify]: iteration 7 : 917 enodes (cost 10 ) 261.716 * * [simplify]: iteration 8 : 940 enodes (cost 10 ) 262.281 * * [simplify]: iteration 9 : 1032 enodes (cost 10 ) 262.903 * * [simplify]: iteration 10 : 1325 enodes (cost 10 ) 264.116 * * [simplify]: iteration 11 : 2507 enodes (cost 10 ) 266.126 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 266.127 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 266.129 * * [simplify]: iteration 1 : 23 enodes (cost 17 ) 266.133 * * [simplify]: iteration 2 : 65 enodes (cost 17 ) 266.149 * * [simplify]: iteration 3 : 195 enodes (cost 13 ) 266.230 * * [simplify]: iteration 4 : 455 enodes (cost 10 ) 266.492 * * [simplify]: iteration 5 : 690 enodes (cost 10 ) 267.089 * * [simplify]: iteration 6 : 904 enodes (cost 10 ) 267.690 * * [simplify]: iteration 7 : 917 enodes (cost 10 ) 268.269 * * [simplify]: iteration 8 : 940 enodes (cost 10 ) 268.844 * * [simplify]: iteration 9 : 1032 enodes (cost 10 ) 269.463 * * [simplify]: iteration 10 : 1325 enodes (cost 10 ) 270.675 * * [simplify]: iteration 11 : 2507 enodes (cost 10 ) 272.723 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 272.724 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 272.724 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 272.725 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 272.726 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 272.726 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 272.727 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 272.729 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 272.732 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 272.740 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 272.791 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 273.275 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 275.767 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 275.767 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 275.769 * * [simplify]: iteration 1 : 19 enodes (cost 13 ) 275.771 * * [simplify]: iteration 2 : 52 enodes (cost 13 ) 275.782 * * [simplify]: iteration 3 : 144 enodes (cost 13 ) 275.826 * * [simplify]: iteration 4 : 299 enodes (cost 13 ) 275.956 * * [simplify]: iteration 5 : 387 enodes (cost 13 ) 276.148 * * [simplify]: iteration 6 : 427 enodes (cost 13 ) 276.337 * * [simplify]: iteration done : 427 enodes (cost 13 ) 276.338 * * [simplify]: iteration 0 : 13 enodes (cost 20 ) 276.340 * * [simplify]: iteration 1 : 41 enodes (cost 20 ) 276.347 * * [simplify]: iteration 2 : 132 enodes (cost 20 ) 276.393 * * [simplify]: iteration 3 : 525 enodes (cost 16 ) 276.999 * * [simplify]: iteration 4 : 2686 enodes (cost 13 ) 278.753 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 278.754 * * [simplify]: iteration 0 : 12 enodes (cost 22 ) 278.756 * * [simplify]: iteration 1 : 34 enodes (cost 22 ) 278.762 * * [simplify]: iteration 2 : 106 enodes (cost 22 ) 278.798 * * [simplify]: iteration 3 : 401 enodes (cost 18 ) 279.126 * * [simplify]: iteration 4 : 1633 enodes (cost 15 ) 281.547 * * [simplify]: iteration 5 : 4268 enodes (cost 15 ) 283.696 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 283.697 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 283.698 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 283.699 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 283.702 * * [simplify]: iteration 3 : 37 enodes (cost 7 ) 283.709 * * [simplify]: iteration 4 : 41 enodes (cost 7 ) 283.715 * * [simplify]: iteration done : 41 enodes (cost 7 ) 283.716 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 283.716 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 283.724 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 283.726 * * [simplify]: iteration done : 19 enodes (cost 9 ) 283.727 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 283.727 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 283.729 * * [simplify]: iteration 2 : 28 enodes (cost 8 ) 283.733 * * [simplify]: iteration 3 : 42 enodes (cost 8 ) 283.739 * * [simplify]: iteration 4 : 48 enodes (cost 8 ) 283.746 * * [simplify]: iteration done : 48 enodes (cost 8 ) 283.747 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 283.747 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 283.749 * * [simplify]: iteration 2 : 37 enodes (cost 8 ) 283.756 * * [simplify]: iteration 3 : 74 enodes (cost 8 ) 283.768 * * [simplify]: iteration 4 : 144 enodes (cost 8 ) 283.797 * * [simplify]: iteration 5 : 307 enodes (cost 8 ) 283.929 * * [simplify]: iteration 6 : 851 enodes (cost 8 ) 284.727 * * [simplify]: iteration 7 : 2985 enodes (cost 8 ) 285.744 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 285.745 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 285.746 * * [simplify]: iteration 1 : 20 enodes (cost 23 ) 285.750 * * [simplify]: iteration 2 : 64 enodes (cost 11 ) 285.766 * * [simplify]: iteration 3 : 219 enodes (cost 11 ) 285.878 * * [simplify]: iteration 4 : 977 enodes (cost 9 ) 287.315 * * [simplify]: iteration 5 : 4340 enodes (cost 9 ) 291.750 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 291.751 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 291.752 * * [simplify]: iteration 1 : 12 enodes (cost 17 ) 291.761 * * [simplify]: iteration 2 : 25 enodes (cost 17 ) 291.765 * * [simplify]: iteration 3 : 39 enodes (cost 17 ) 291.771 * * [simplify]: iteration 4 : 43 enodes (cost 17 ) 291.777 * * [simplify]: iteration done : 43 enodes (cost 17 ) 291.778 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 291.778 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 291.780 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 291.783 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 291.789 * * [simplify]: iteration 4 : 44 enodes (cost 8 ) 291.795 * * [simplify]: iteration done : 44 enodes (cost 8 ) 291.797 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 291.798 * * [simplify]: iteration 1 : 22 enodes (cost 23 ) 291.803 * * [simplify]: iteration 2 : 82 enodes (cost 9 ) 291.834 * * [simplify]: iteration 3 : 338 enodes (cost 9 ) 292.079 * * [simplify]: iteration 4 : 1249 enodes (cost 9 ) 294.232 * * [simplify]: iteration 5 : 4603 enodes (cost 9 ) 296.459 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 296.460 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 296.461 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 296.462 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 296.474 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 296.480 * * [simplify]: iteration 4 : 44 enodes (cost 8 ) 296.486 * * [simplify]: iteration done : 44 enodes (cost 8 ) 296.487 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 296.488 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 296.489 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 296.492 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 296.498 * * [simplify]: iteration 4 : 44 enodes (cost 8 ) 296.504 * * [simplify]: iteration done : 44 enodes (cost 8 ) 296.505 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 296.506 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 296.507 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 296.509 * * [simplify]: iteration done : 19 enodes (cost 9 ) 296.510 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 296.511 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 296.512 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 296.514 * * [simplify]: iteration done : 19 enodes (cost 9 ) 296.515 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 296.516 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 296.518 * * [simplify]: iteration 2 : 29 enodes (cost 11 ) 296.522 * * [simplify]: iteration 3 : 62 enodes (cost 11 ) 296.539 * * [simplify]: iteration 4 : 102 enodes (cost 11 ) 296.564 * * [simplify]: iteration 5 : 148 enodes (cost 11 ) 296.612 * * [simplify]: iteration 6 : 172 enodes (cost 11 ) 296.655 * * [simplify]: iteration done : 172 enodes (cost 11 ) 296.656 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 296.657 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 296.658 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 296.661 * * [simplify]: iteration 3 : 45 enodes (cost 8 ) 296.669 * * [simplify]: iteration 4 : 63 enodes (cost 8 ) 296.678 * * [simplify]: iteration 5 : 71 enodes (cost 8 ) 296.689 * * [simplify]: iteration done : 71 enodes (cost 8 ) 296.689 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 296.695 * * [simplify]: iteration 1 : 13 enodes (cost 5 ) 296.697 * * [simplify]: iteration 2 : 29 enodes (cost 5 ) 296.701 * * [simplify]: iteration 3 : 56 enodes (cost 5 ) 296.715 * * [simplify]: iteration 4 : 95 enodes (cost 5 ) 296.722 * * [simplify]: iteration 5 : 109 enodes (cost 5 ) 296.731 * * [simplify]: iteration 6 : 117 enodes (cost 5 ) 296.738 * * [simplify]: iteration done : 117 enodes (cost 5 ) 296.739 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 296.740 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 296.741 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 296.743 * * [simplify]: iteration done : 18 enodes (cost 8 ) 296.744 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 296.744 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 296.746 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 296.755 * * [simplify]: iteration done : 18 enodes (cost 8 ) 296.755 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 296.756 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 296.758 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 296.761 * * [simplify]: iteration 3 : 37 enodes (cost 7 ) 296.766 * * [simplify]: iteration 4 : 41 enodes (cost 7 ) 296.773 * * [simplify]: iteration done : 41 enodes (cost 7 ) 296.774 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 296.775 * * [simplify]: iteration 1 : 29 enodes (cost 11 ) 296.780 * * [simplify]: iteration 2 : 90 enodes (cost 11 ) 296.804 * * [simplify]: iteration 3 : 322 enodes (cost 11 ) 297.050 * * [simplify]: iteration 4 : 994 enodes (cost 11 ) 298.406 * * [simplify]: iteration 5 : 3062 enodes (cost 11 ) 300.839 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 300.840 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 300.841 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 300.845 * * [simplify]: iteration 2 : 62 enodes (cost 13 ) 300.860 * * [simplify]: iteration 3 : 161 enodes (cost 13 ) 300.913 * * [simplify]: iteration 4 : 318 enodes (cost 13 ) 301.030 * * [simplify]: iteration 5 : 510 enodes (cost 13 ) 301.253 * * [simplify]: iteration 6 : 756 enodes (cost 13 ) 301.659 * * [simplify]: iteration 7 : 1292 enodes (cost 13 ) 303.889 * * [simplify]: iteration 8 : 4447 enodes (cost 13 ) 306.057 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 306.058 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 306.060 * * [simplify]: iteration 1 : 26 enodes (cost 15 ) 306.064 * * [simplify]: iteration 2 : 69 enodes (cost 12 ) 306.085 * * [simplify]: iteration 3 : 140 enodes (cost 12 ) 306.126 * * [simplify]: iteration 4 : 228 enodes (cost 10 ) 306.180 * * [simplify]: iteration 5 : 254 enodes (cost 10 ) 306.233 * * [simplify]: iteration 6 : 276 enodes (cost 10 ) 306.292 * * [simplify]: iteration 7 : 338 enodes (cost 10 ) 306.389 * * [simplify]: iteration 8 : 547 enodes (cost 10 ) 306.922 * * [simplify]: iteration 9 : 1487 enodes (cost 10 ) 309.252 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 309.253 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 309.254 * * [simplify]: iteration 1 : 26 enodes (cost 15 ) 309.259 * * [simplify]: iteration 2 : 69 enodes (cost 12 ) 309.277 * * [simplify]: iteration 3 : 140 enodes (cost 12 ) 309.317 * * [simplify]: iteration 4 : 228 enodes (cost 10 ) 309.371 * * [simplify]: iteration 5 : 254 enodes (cost 10 ) 309.423 * * [simplify]: iteration 6 : 276 enodes (cost 10 ) 309.480 * * [simplify]: iteration 7 : 338 enodes (cost 10 ) 309.579 * * [simplify]: iteration 8 : 547 enodes (cost 10 ) 310.115 * * [simplify]: iteration 9 : 1487 enodes (cost 10 ) 312.440 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 312.440 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 312.442 * * [simplify]: iteration 1 : 26 enodes (cost 15 ) 312.447 * * [simplify]: iteration 2 : 69 enodes (cost 12 ) 312.465 * * [simplify]: iteration 3 : 140 enodes (cost 12 ) 312.506 * * [simplify]: iteration 4 : 228 enodes (cost 10 ) 312.561 * * [simplify]: iteration 5 : 254 enodes (cost 10 ) 312.614 * * [simplify]: iteration 6 : 276 enodes (cost 10 ) 312.672 * * [simplify]: iteration 7 : 338 enodes (cost 10 ) 312.771 * * [simplify]: iteration 8 : 547 enodes (cost 10 ) 313.311 * * [simplify]: iteration 9 : 1487 enodes (cost 10 ) 315.655 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 315.655 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 315.656 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 315.659 * * [simplify]: iteration 2 : 40 enodes (cost 9 ) 315.663 * * [simplify]: iteration 3 : 57 enodes (cost 9 ) 315.678 * * [simplify]: iteration 4 : 79 enodes (cost 7 ) 315.686 * * [simplify]: iteration 5 : 92 enodes (cost 7 ) 315.695 * * [simplify]: iteration 6 : 114 enodes (cost 7 ) 315.710 * * [simplify]: iteration 7 : 178 enodes (cost 7 ) 315.765 * * [simplify]: iteration 8 : 394 enodes (cost 7 ) 316.259 * * [simplify]: iteration 9 : 1344 enodes (cost 7 ) 318.677 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 318.677 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 318.678 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 318.681 * * [simplify]: iteration 2 : 40 enodes (cost 9 ) 318.685 * * [simplify]: iteration 3 : 57 enodes (cost 9 ) 318.693 * * [simplify]: iteration 4 : 79 enodes (cost 7 ) 318.703 * * [simplify]: iteration 5 : 92 enodes (cost 7 ) 318.718 * * [simplify]: iteration 6 : 114 enodes (cost 7 ) 318.733 * * [simplify]: iteration 7 : 178 enodes (cost 7 ) 318.790 * * [simplify]: iteration 8 : 394 enodes (cost 7 ) 319.292 * * [simplify]: iteration 9 : 1344 enodes (cost 7 ) 321.713 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 321.714 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 321.715 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 321.718 * * [simplify]: iteration 2 : 40 enodes (cost 9 ) 321.722 * * [simplify]: iteration 3 : 57 enodes (cost 9 ) 321.729 * * [simplify]: iteration 4 : 79 enodes (cost 7 ) 321.738 * * [simplify]: iteration 5 : 92 enodes (cost 7 ) 321.747 * * [simplify]: iteration 6 : 114 enodes (cost 7 ) 321.770 * * [simplify]: iteration 7 : 178 enodes (cost 7 ) 321.825 * * [simplify]: iteration 8 : 394 enodes (cost 7 ) 322.323 * * [simplify]: iteration 9 : 1344 enodes (cost 7 ) 324.760 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 324.761 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 324.762 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 324.765 * * [simplify]: iteration 2 : 40 enodes (cost 9 ) 324.769 * * [simplify]: iteration 3 : 57 enodes (cost 9 ) 324.776 * * [simplify]: iteration 4 : 79 enodes (cost 7 ) 324.785 * * [simplify]: iteration 5 : 92 enodes (cost 7 ) 324.795 * * [simplify]: iteration 6 : 114 enodes (cost 7 ) 324.817 * * [simplify]: iteration 7 : 178 enodes (cost 7 ) 324.873 * * [simplify]: iteration 8 : 394 enodes (cost 7 ) 325.372 * * [simplify]: iteration 9 : 1344 enodes (cost 7 ) 327.781 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 327.782 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 327.788 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 327.791 * * [simplify]: iteration 2 : 40 enodes (cost 9 ) 327.796 * * [simplify]: iteration 3 : 57 enodes (cost 9 ) 327.803 * * [simplify]: iteration 4 : 79 enodes (cost 7 ) 327.812 * * [simplify]: iteration 5 : 92 enodes (cost 7 ) 327.822 * * [simplify]: iteration 6 : 114 enodes (cost 7 ) 327.836 * * [simplify]: iteration 7 : 178 enodes (cost 7 ) 327.891 * * [simplify]: iteration 8 : 394 enodes (cost 7 ) 328.392 * * [simplify]: iteration 9 : 1344 enodes (cost 7 ) 330.788 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 330.789 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 330.790 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 330.793 * * [simplify]: iteration 2 : 40 enodes (cost 9 ) 330.797 * * [simplify]: iteration 3 : 57 enodes (cost 9 ) 330.812 * * [simplify]: iteration 4 : 79 enodes (cost 7 ) 330.820 * * [simplify]: iteration 5 : 92 enodes (cost 7 ) 330.830 * * [simplify]: iteration 6 : 114 enodes (cost 7 ) 330.845 * * [simplify]: iteration 7 : 178 enodes (cost 7 ) 330.901 * * [simplify]: iteration 8 : 394 enodes (cost 7 ) 331.398 * * [simplify]: iteration 9 : 1344 enodes (cost 7 ) 333.823 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 333.825 * [simplify]: Simplified to: (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x)) (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x)) (+ (log (cbrt 3.0)) (+ (log (- 2.0 (* x 3.0))) (log x))) (+ (log (cbrt 3.0)) (log (* (- 2.0 (* x 3.0)) x))) (log (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x))) (exp (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x))) (* (pow (* (- 2.0 (* x 3.0)) x) 3) 3.0) (* (pow (* (- 2.0 (* x 3.0)) x) 3) 3.0) (* (cbrt (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x))) (cbrt (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x)))) (cbrt (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x))) (* 3.0 (pow (* (- 2.0 (* x 3.0)) x) 3)) (sqrt (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x))) (sqrt (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x))) (* (cbrt 3.0) (- 2.0 (* x 3.0))) (* (cbrt (cbrt 3.0)) (* (- 2.0 (* x 3.0)) x)) (* (cbrt (sqrt 3.0)) (* (- 2.0 (* x 3.0)) x)) (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x)) (* (cbrt (cbrt 3.0)) (* (- 2.0 (* x 3.0)) x)) (* (sqrt (cbrt 3.0)) (* (- 2.0 (* x 3.0)) x)) (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x)) (* (cbrt 3.0) (* (- (pow 2.0 3) (pow (* x 3.0) 3)) x)) (* (cbrt 3.0) (* (- (* 2.0 2.0) (* (* x 3.0) (* x 3.0))) x)) (* (* 3.0 x) (- 2.0 (* x 3.0))) (* (* 3.0 x) (- 2.0 (* x 3.0))) (* (* 3.0 x) (- 2.0 (* x 3.0))) (* (* 3.0 x) (- 2.0 (* x 3.0))) (* (* 3.0 x) (- 2.0 (* x 3.0))) (* (* 3.0 x) (- 2.0 (* x 3.0))) (+ (* 3 (log (cbrt 3.0))) (+ (log (- 2.0 (* x 3.0))) (log x))) (+ (* 3 (log (cbrt 3.0))) (log (* (- 2.0 (* x 3.0)) x))) (+ (* 3 (log (cbrt 3.0))) (log (* (- 2.0 (* x 3.0)) x))) (+ (+ (log (- 2.0 (* x 3.0))) (log x)) (* 3 (log (cbrt 3.0)))) (+ (* 3 (log (cbrt 3.0))) (log (* (- 2.0 (* x 3.0)) x))) (+ (log (* (- 2.0 (* x 3.0)) x)) (* 3 (log (cbrt 3.0)))) (log (* (* x 3.0) (- 2.0 (* x 3.0)))) (pow (exp (- 2.0 (* x 3.0))) (* x 3.0)) (* (pow 3.0 3) (pow (* (- 2.0 (* x 3.0)) x) 3)) (* (pow 3.0 3) (pow (* (- 2.0 (* x 3.0)) x) 3)) (* (pow (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x)) 3) (* 3.0 3.0)) (* (* 3.0 (pow (- 2.0 (* x 3.0)) 3)) (* (* 3.0 (pow x 3)) 3.0)) (* (* (pow (* (- 2.0 (* x 3.0)) x) 3) 3.0) (* 3.0 3.0)) (* (* (pow (* (- 2.0 (* x 3.0)) x) 3) 3.0) (* 3.0 3.0)) (* (cbrt (* (* (- 2.0 (* x 3.0)) x) 3.0)) (cbrt (* (* (- 2.0 (* x 3.0)) x) 3.0))) (cbrt (* 3.0 (* (- 2.0 (* x 3.0)) x))) (pow (* (- 2.0 (* x 3.0)) (* x (pow (cbrt 3.0) 3))) 3) (sqrt (* 3.0 (* (- 2.0 (* x 3.0)) x))) (sqrt (* 3.0 (* (- 2.0 (* x 3.0)) x))) 3.0 (* (cbrt 3.0) (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x))) (* (* (- (pow 2.0 3) (pow (* x 3.0) 3)) 3.0) x) (* (* (- (* 2.0 2.0) (* (* x 3.0) (* x 3.0))) x) 3.0) (* (- 2.0 (* x 3.0)) x) (+ (log (- 2.0 (* x 3.0))) (log x)) (log (* (- 2.0 (* x 3.0)) x)) (exp (* (- 2.0 (* x 3.0)) x)) (pow (* (- 2.0 (* x 3.0)) x) 3) (* (cbrt (* (- 2.0 (* x 3.0)) x)) (cbrt (* (- 2.0 (* x 3.0)) x))) (cbrt (* (- 2.0 (* x 3.0)) x)) (pow (* (- 2.0 (* x 3.0)) x) 3) (sqrt (* (- 2.0 (* x 3.0)) x)) (sqrt (* (- 2.0 (* x 3.0)) x)) (* (sqrt (- 2.0 (* x 3.0))) (sqrt x)) (* (sqrt (- 2.0 (* x 3.0))) (sqrt x)) (* (- 2.0 (* x 3.0)) (* (cbrt x) (cbrt x))) (* (- 2.0 (* x 3.0)) (sqrt x)) (- 2.0 (* x 3.0)) (* (cbrt (- 2.0 (* x 3.0))) x) (* (sqrt (- 2.0 (* x 3.0))) x) (* (- 2.0 (* x 3.0)) x) (* (- (pow 2.0 3) (pow (* x 3.0) 3)) x) (* (* (+ 2.0 (* x 3.0)) (- 2.0 (* x 3.0))) x) (* (cbrt 3.0) (* x (- 2.0 (* 3.0 x)))) (* (cbrt 3.0) (* x (- 2.0 (* 3.0 x)))) (* (cbrt 3.0) (* x (- 2.0 (* 3.0 x)))) (* x (- 6.0 (* x 9.0))) (* x (- 6.0 (* x 9.0))) (* x (- 6.0 (* x 9.0))) (* x (- 2.0 (* x 3.0))) (* x (- 2.0 (* x 3.0))) (* x (- 2.0 (* x 3.0))) 333.825 * * * [progress]: adding candidates to table 333.971 * [progress]: [Phase 3 of 3] Extracting. 333.971 * * [regime]: Finding splitpoints for: (# # # # # #) 333.971 * * * [regime-changes]: Trying 1 branch expressions: (x) 333.971 * * * * [regimes]: Trying to branch on x from (# # # # # #) 334.011 * * * [regime]: Found split indices: #