332.891 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.039 * * * [progress]: [2/2] Setting up program. 0.042 * [progress]: [Phase 2 of 3] Improving. 0.042 * [simplify]: Simplifying using # : (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) 0.043 * * [simplify]: iteration 0 : 11 enodes (cost 19 ) 0.044 * * [simplify]: iteration 1 : 19 enodes (cost 19 ) 0.047 * * [simplify]: iteration 2 : 46 enodes (cost 17 ) 0.056 * * [simplify]: iteration 3 : 100 enodes (cost 17 ) 0.084 * * [simplify]: iteration 4 : 210 enodes (cost 11 ) 0.156 * * [simplify]: iteration 5 : 428 enodes (cost 11 ) 0.369 * * [simplify]: iteration 6 : 946 enodes (cost 11 ) 1.590 * * [simplify]: iteration 7 : 2736 enodes (cost 11 ) 3.147 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 3.147 * [simplify]: Simplified to: (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)) 3.152 * * [progress]: iteration 1 / 4 3.152 * * * [progress]: picking best candidate 3.156 * * * * [pick]: Picked # 3.157 * * * [progress]: localizing error 3.164 * * * [progress]: generating rewritten candidates 3.164 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 2) 3.170 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 3.179 * * * [progress]: generating series expansions 3.179 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 2) 3.179 * [approximate]: Taking taylor expansion of (* x.im (pow x.re 2)) in (x.re x.im) around 0 3.179 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.179 * [taylor]: Taking taylor expansion of x.im in x.im 3.179 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.179 * [taylor]: Taking taylor expansion of x.re in x.im 3.179 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.179 * [taylor]: Taking taylor expansion of x.im in x.re 3.179 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.179 * [taylor]: Taking taylor expansion of x.re in x.re 3.179 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.179 * [taylor]: Taking taylor expansion of x.im in x.re 3.179 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.179 * [taylor]: Taking taylor expansion of x.re in x.re 3.179 * [taylor]: Taking taylor expansion of x.im in x.im 3.179 * [taylor]: Taking taylor expansion of 0 in x.im 3.179 * [taylor]: Taking taylor expansion of 0 in x.im 3.180 * [taylor]: Taking taylor expansion of 0 in x.im 3.180 * [approximate]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in (x.re x.im) around 0 3.180 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 3.180 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.180 * [taylor]: Taking taylor expansion of x.im in x.im 3.180 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.180 * [taylor]: Taking taylor expansion of x.re in x.im 3.180 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 3.180 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.180 * [taylor]: Taking taylor expansion of x.im in x.re 3.180 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.180 * [taylor]: Taking taylor expansion of x.re in x.re 3.180 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 3.180 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.180 * [taylor]: Taking taylor expansion of x.im in x.re 3.185 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.185 * [taylor]: Taking taylor expansion of x.re in x.re 3.186 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 3.186 * [taylor]: Taking taylor expansion of x.im in x.im 3.186 * [taylor]: Taking taylor expansion of 0 in x.im 3.186 * [taylor]: Taking taylor expansion of 0 in x.im 3.186 * [taylor]: Taking taylor expansion of 0 in x.im 3.186 * [approximate]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in (x.re x.im) around 0 3.187 * [taylor]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in x.im 3.187 * [taylor]: Taking taylor expansion of -1 in x.im 3.187 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.187 * [taylor]: Taking taylor expansion of x.im in x.im 3.187 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.187 * [taylor]: Taking taylor expansion of x.re in x.im 3.187 * [taylor]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in x.re 3.187 * [taylor]: Taking taylor expansion of -1 in x.re 3.187 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.187 * [taylor]: Taking taylor expansion of x.im in x.re 3.187 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.187 * [taylor]: Taking taylor expansion of x.re in x.re 3.187 * [taylor]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in x.re 3.187 * [taylor]: Taking taylor expansion of -1 in x.re 3.187 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.187 * [taylor]: Taking taylor expansion of x.im in x.re 3.187 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.187 * [taylor]: Taking taylor expansion of x.re in x.re 3.187 * [taylor]: Taking taylor expansion of (/ -1 x.im) in x.im 3.187 * [taylor]: Taking taylor expansion of -1 in x.im 3.187 * [taylor]: Taking taylor expansion of x.im in x.im 3.187 * [taylor]: Taking taylor expansion of 0 in x.im 3.188 * [taylor]: Taking taylor expansion of 0 in x.im 3.188 * [taylor]: Taking taylor expansion of 0 in x.im 3.188 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 3.188 * [approximate]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 3.188 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 3.188 * [taylor]: Taking taylor expansion of 3 in x.im 3.188 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.188 * [taylor]: Taking taylor expansion of x.im in x.im 3.188 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.188 * [taylor]: Taking taylor expansion of x.re in x.im 3.188 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 3.188 * [taylor]: Taking taylor expansion of 3 in x.re 3.188 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.188 * [taylor]: Taking taylor expansion of x.im in x.re 3.188 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.188 * [taylor]: Taking taylor expansion of x.re in x.re 3.188 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 3.188 * [taylor]: Taking taylor expansion of 3 in x.re 3.188 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.188 * [taylor]: Taking taylor expansion of x.im in x.re 3.189 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.189 * [taylor]: Taking taylor expansion of x.re in x.re 3.189 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 3.189 * [taylor]: Taking taylor expansion of 3 in x.im 3.189 * [taylor]: Taking taylor expansion of x.im in x.im 3.189 * [taylor]: Taking taylor expansion of 0 in x.im 3.189 * [taylor]: Taking taylor expansion of 0 in x.im 3.189 * [taylor]: Taking taylor expansion of 0 in x.im 3.189 * [approximate]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 3.189 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.im 3.189 * [taylor]: Taking taylor expansion of 3 in x.im 3.189 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.189 * [taylor]: Taking taylor expansion of x.im in x.im 3.189 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.189 * [taylor]: Taking taylor expansion of x.re in x.im 3.190 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 3.190 * [taylor]: Taking taylor expansion of 3 in x.re 3.190 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.190 * [taylor]: Taking taylor expansion of x.im in x.re 3.190 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.190 * [taylor]: Taking taylor expansion of x.re in x.re 3.190 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 3.190 * [taylor]: Taking taylor expansion of 3 in x.re 3.190 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.190 * [taylor]: Taking taylor expansion of x.im in x.re 3.190 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.190 * [taylor]: Taking taylor expansion of x.re in x.re 3.190 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 3.190 * [taylor]: Taking taylor expansion of 3 in x.im 3.190 * [taylor]: Taking taylor expansion of x.im in x.im 3.190 * [taylor]: Taking taylor expansion of 0 in x.im 3.191 * [taylor]: Taking taylor expansion of 0 in x.im 3.191 * [taylor]: Taking taylor expansion of 0 in x.im 3.191 * [approximate]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 3.191 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.im 3.191 * [taylor]: Taking taylor expansion of -3 in x.im 3.191 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.191 * [taylor]: Taking taylor expansion of x.im in x.im 3.191 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.191 * [taylor]: Taking taylor expansion of x.re in x.im 3.191 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 3.191 * [taylor]: Taking taylor expansion of -3 in x.re 3.192 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.192 * [taylor]: Taking taylor expansion of x.im in x.re 3.192 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.192 * [taylor]: Taking taylor expansion of x.re in x.re 3.192 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 3.192 * [taylor]: Taking taylor expansion of -3 in x.re 3.192 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.192 * [taylor]: Taking taylor expansion of x.im in x.re 3.192 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.192 * [taylor]: Taking taylor expansion of x.re in x.re 3.192 * [taylor]: Taking taylor expansion of (/ -3 x.im) in x.im 3.192 * [taylor]: Taking taylor expansion of -3 in x.im 3.192 * [taylor]: Taking taylor expansion of x.im in x.im 3.192 * [taylor]: Taking taylor expansion of 0 in x.im 3.192 * [taylor]: Taking taylor expansion of 0 in x.im 3.192 * [taylor]: Taking taylor expansion of 0 in x.im 3.193 * * * [progress]: simplifying candidates 3.193 * [simplify]: Simplifying using # : (* (* x.re x.im) x.re) (* (* x.re x.im) x.re) (+ (+ (log x.re) (log x.im)) (log x.re)) (+ (log (* x.re x.im)) (log x.re)) (log (* (* x.re x.im) x.re)) (exp (* (* x.re x.im) x.re)) (* (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)) (* (* x.re x.re) x.re)) (* (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)) (* (* x.re x.re) x.re)) (* (cbrt (* (* x.re x.im) x.re)) (cbrt (* (* x.re x.im) x.re))) (cbrt (* (* x.re x.im) x.re)) (* (* (* (* x.re x.im) x.re) (* (* x.re x.im) x.re)) (* (* x.re x.im) x.re)) (sqrt (* (* x.re x.im) x.re)) (sqrt (* (* x.re x.im) x.re)) (* (* x.re x.im) (* (cbrt x.re) (cbrt x.re))) (* (* x.re x.im) (sqrt x.re)) (* (* x.re x.im) 1) (* x.im x.re) (* 3 (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re)) (+ (log 3) (+ (+ (log x.re) (log x.im)) (log x.re))) (+ (log 3) (+ (log (* x.re x.im)) (log x.re))) (+ (log 3) (log (* (* x.re x.im) x.re))) (log (* 3 (* (* x.re x.im) x.re))) (exp (* 3 (* (* x.re x.im) x.re))) (* (* (* 3 3) 3) (* (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)) (* (* x.re x.re) x.re))) (* (* (* 3 3) 3) (* (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)) (* (* x.re x.re) x.re))) (* (* (* 3 3) 3) (* (* (* (* x.re x.im) x.re) (* (* x.re x.im) x.re)) (* (* x.re x.im) x.re))) (* (cbrt (* 3 (* (* x.re x.im) x.re))) (cbrt (* 3 (* (* x.re x.im) x.re)))) (cbrt (* 3 (* (* x.re x.im) x.re))) (* (* (* 3 (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re))) (* 3 (* (* x.re x.im) x.re))) (sqrt (* 3 (* (* x.re x.im) x.re))) (sqrt (* 3 (* (* x.re x.im) x.re))) (* 3 (* x.re x.im)) (* (cbrt 3) (* (* x.re x.im) x.re)) (* (sqrt 3) (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re)) (* x.im (pow x.re 2)) (* x.im (pow x.re 2)) (* x.im (pow x.re 2)) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) 3.194 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 3.194 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 3.195 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 3.196 * * [simplify]: iteration done : 9 enodes (cost 5 ) 3.197 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 3.198 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 3.198 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 3.199 * * [simplify]: iteration done : 9 enodes (cost 5 ) 3.200 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 3.201 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 3.201 * * [simplify]: iteration 2 : 11 enodes (cost 8 ) 3.203 * * [simplify]: iteration 3 : 13 enodes (cost 7 ) 3.204 * * [simplify]: iteration 4 : 14 enodes (cost 7 ) 3.205 * * [simplify]: iteration done : 14 enodes (cost 7 ) 3.206 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 3.207 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 3.208 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 3.209 * * [simplify]: iteration 3 : 16 enodes (cost 7 ) 3.211 * * [simplify]: iteration 4 : 17 enodes (cost 7 ) 3.213 * * [simplify]: iteration done : 17 enodes (cost 7 ) 3.214 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 3.214 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 3.215 * * [simplify]: iteration 2 : 17 enodes (cost 6 ) 3.217 * * [simplify]: iteration 3 : 23 enodes (cost 6 ) 3.220 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 3.223 * * [simplify]: iteration 5 : 26 enodes (cost 6 ) 3.226 * * [simplify]: iteration done : 26 enodes (cost 6 ) 3.226 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 3.227 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 3.228 * * [simplify]: iteration 2 : 21 enodes (cost 6 ) 3.231 * * [simplify]: iteration 3 : 37 enodes (cost 6 ) 3.236 * * [simplify]: iteration 4 : 78 enodes (cost 6 ) 3.252 * * [simplify]: iteration 5 : 175 enodes (cost 6 ) 3.315 * * [simplify]: iteration 6 : 423 enodes (cost 6 ) 3.584 * * [simplify]: iteration 7 : 1172 enodes (cost 6 ) 5.637 * * [simplify]: iteration 8 : 4568 enodes (cost 6 ) 6.914 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 6.915 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 6.916 * * [simplify]: iteration 1 : 18 enodes (cost 17 ) 6.920 * * [simplify]: iteration 2 : 64 enodes (cost 11 ) 6.942 * * [simplify]: iteration 3 : 200 enodes (cost 7 ) 7.075 * * [simplify]: iteration 4 : 446 enodes (cost 7 ) 7.469 * * [simplify]: iteration 5 : 1121 enodes (cost 7 ) 9.802 * * [simplify]: iteration 6 : 3799 enodes (cost 7 ) 11.801 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 11.802 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 11.803 * * [simplify]: iteration 1 : 24 enodes (cost 17 ) 11.809 * * [simplify]: iteration 2 : 88 enodes (cost 9 ) 11.855 * * [simplify]: iteration 3 : 270 enodes (cost 9 ) 12.062 * * [simplify]: iteration 4 : 490 enodes (cost 7 ) 12.499 * * [simplify]: iteration 5 : 1060 enodes (cost 7 ) 14.642 * * [simplify]: iteration 6 : 3098 enodes (cost 7 ) 16.666 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 16.666 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 16.667 * * [simplify]: iteration 1 : 8 enodes (cost 13 ) 16.668 * * [simplify]: iteration 2 : 11 enodes (cost 13 ) 16.669 * * [simplify]: iteration done : 11 enodes (cost 13 ) 16.670 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 16.671 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 16.672 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 16.673 * * [simplify]: iteration done : 10 enodes (cost 6 ) 16.673 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 16.674 * * [simplify]: iteration 1 : 18 enodes (cost 17 ) 16.678 * * [simplify]: iteration 2 : 65 enodes (cost 7 ) 16.702 * * [simplify]: iteration 3 : 176 enodes (cost 7 ) 16.818 * * [simplify]: iteration 4 : 314 enodes (cost 7 ) 17.046 * * [simplify]: iteration 5 : 505 enodes (cost 7 ) 17.591 * * [simplify]: iteration 6 : 1317 enodes (cost 7 ) 20.572 * * [simplify]: iteration 7 : 4379 enodes (cost 7 ) 22.553 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 22.553 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 22.554 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 22.555 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 22.556 * * [simplify]: iteration done : 10 enodes (cost 6 ) 22.557 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 22.557 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 22.558 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 22.559 * * [simplify]: iteration done : 10 enodes (cost 6 ) 22.560 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 22.560 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 22.562 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 22.572 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 22.578 * * [simplify]: iteration done : 37 enodes (cost 9 ) 22.579 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 22.580 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 22.581 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 22.583 * * [simplify]: iteration done : 15 enodes (cost 6 ) 22.583 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 22.584 * * [simplify]: iteration 1 : 11 enodes (cost 3 ) 22.586 * * [simplify]: iteration 2 : 23 enodes (cost 3 ) 22.588 * * [simplify]: iteration 3 : 27 enodes (cost 3 ) 22.589 * * [simplify]: iteration done : 27 enodes (cost 3 ) 22.589 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 22.589 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 22.590 * * [simplify]: iteration done : 4 enodes (cost 3 ) 22.590 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 22.591 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 22.593 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 22.597 * * [simplify]: iteration 3 : 37 enodes (cost 7 ) 22.603 * * [simplify]: iteration 4 : 39 enodes (cost 7 ) 22.609 * * [simplify]: iteration done : 39 enodes (cost 7 ) 22.610 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 22.611 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 22.612 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 22.616 * * [simplify]: iteration 3 : 37 enodes (cost 7 ) 22.623 * * [simplify]: iteration 4 : 39 enodes (cost 7 ) 22.631 * * [simplify]: iteration done : 39 enodes (cost 7 ) 22.632 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 22.633 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 22.634 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 22.638 * * [simplify]: iteration 3 : 37 enodes (cost 7 ) 22.645 * * [simplify]: iteration 4 : 39 enodes (cost 7 ) 22.651 * * [simplify]: iteration done : 39 enodes (cost 7 ) 22.652 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 22.653 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 22.655 * * [simplify]: iteration 2 : 26 enodes (cost 11 ) 22.658 * * [simplify]: iteration 3 : 42 enodes (cost 10 ) 22.664 * * [simplify]: iteration 4 : 44 enodes (cost 10 ) 22.670 * * [simplify]: iteration done : 44 enodes (cost 10 ) 22.671 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 22.672 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 22.674 * * [simplify]: iteration 2 : 26 enodes (cost 10 ) 22.677 * * [simplify]: iteration 3 : 44 enodes (cost 10 ) 22.686 * * [simplify]: iteration 4 : 48 enodes (cost 10 ) 22.692 * * [simplify]: iteration done : 48 enodes (cost 10 ) 22.693 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 22.694 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 22.695 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 22.698 * * [simplify]: iteration 3 : 42 enodes (cost 9 ) 22.705 * * [simplify]: iteration 4 : 60 enodes (cost 9 ) 22.712 * * [simplify]: iteration 5 : 61 enodes (cost 9 ) 22.719 * * [simplify]: iteration done : 61 enodes (cost 9 ) 22.720 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 22.721 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 22.723 * * [simplify]: iteration 2 : 34 enodes (cost 8 ) 22.728 * * [simplify]: iteration 3 : 71 enodes (cost 8 ) 22.744 * * [simplify]: iteration 4 : 107 enodes (cost 8 ) 22.758 * * [simplify]: iteration 5 : 111 enodes (cost 8 ) 22.771 * * [simplify]: iteration 6 : 112 enodes (cost 8 ) 22.784 * * [simplify]: iteration done : 112 enodes (cost 8 ) 22.785 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 22.786 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 22.788 * * [simplify]: iteration 2 : 34 enodes (cost 8 ) 22.797 * * [simplify]: iteration 3 : 90 enodes (cost 8 ) 22.814 * * [simplify]: iteration 4 : 195 enodes (cost 8 ) 22.859 * * [simplify]: iteration 5 : 535 enodes (cost 8 ) 23.261 * * [simplify]: iteration 6 : 1758 enodes (cost 8 ) 24.570 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 24.571 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 24.573 * * [simplify]: iteration 1 : 30 enodes (cost 19 ) 24.579 * * [simplify]: iteration 2 : 104 enodes (cost 13 ) 24.625 * * [simplify]: iteration 3 : 476 enodes (cost 9 ) 25.322 * * [simplify]: iteration 4 : 1939 enodes (cost 9 ) 28.700 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 28.701 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 28.703 * * [simplify]: iteration 1 : 36 enodes (cost 19 ) 28.716 * * [simplify]: iteration 2 : 132 enodes (cost 11 ) 28.785 * * [simplify]: iteration 3 : 585 enodes (cost 11 ) 29.843 * * [simplify]: iteration 4 : 2160 enodes (cost 9 ) 33.748 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 33.749 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 33.751 * * [simplify]: iteration 1 : 30 enodes (cost 19 ) 33.757 * * [simplify]: iteration 2 : 106 enodes (cost 9 ) 33.810 * * [simplify]: iteration 3 : 446 enodes (cost 9 ) 34.481 * * [simplify]: iteration 4 : 1620 enodes (cost 9 ) 39.313 * * [simplify]: iteration 5 : 4251 enodes (cost 9 ) 41.400 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 41.401 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 41.402 * * [simplify]: iteration 1 : 13 enodes (cost 17 ) 41.404 * * [simplify]: iteration 2 : 25 enodes (cost 17 ) 41.408 * * [simplify]: iteration 3 : 39 enodes (cost 17 ) 41.415 * * [simplify]: iteration 4 : 41 enodes (cost 17 ) 41.421 * * [simplify]: iteration done : 41 enodes (cost 17 ) 41.422 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 41.426 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 41.427 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 41.431 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 41.438 * * [simplify]: iteration 4 : 43 enodes (cost 8 ) 41.444 * * [simplify]: iteration done : 43 enodes (cost 8 ) 41.445 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 41.446 * * [simplify]: iteration 1 : 24 enodes (cost 21 ) 41.451 * * [simplify]: iteration 2 : 97 enodes (cost 9 ) 41.507 * * [simplify]: iteration 3 : 519 enodes (cost 9 ) 42.529 * * [simplify]: iteration 4 : 2202 enodes (cost 9 ) 47.839 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 47.840 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 47.841 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 47.843 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 47.846 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 47.854 * * [simplify]: iteration 4 : 43 enodes (cost 8 ) 47.859 * * [simplify]: iteration done : 43 enodes (cost 8 ) 47.860 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 47.861 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 47.862 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 47.866 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 47.873 * * [simplify]: iteration 4 : 43 enodes (cost 8 ) 47.879 * * [simplify]: iteration done : 43 enodes (cost 8 ) 47.880 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 47.880 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 47.881 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 47.883 * * [simplify]: iteration done : 15 enodes (cost 5 ) 47.884 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 47.885 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 47.888 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 47.892 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 47.898 * * [simplify]: iteration done : 38 enodes (cost 8 ) 47.899 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 47.900 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 47.902 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 47.906 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 47.912 * * [simplify]: iteration done : 38 enodes (cost 8 ) 47.913 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 47.913 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 47.915 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 47.919 * * [simplify]: iteration 3 : 37 enodes (cost 7 ) 47.926 * * [simplify]: iteration 4 : 39 enodes (cost 7 ) 47.932 * * [simplify]: iteration done : 39 enodes (cost 7 ) 47.932 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 47.933 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 47.934 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 47.936 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 47.938 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 47.944 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 47.947 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 47.957 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 48.003 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 48.436 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 50.628 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 50.629 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 50.629 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 50.631 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 50.633 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 50.635 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 50.637 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 50.641 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 50.650 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 50.699 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 51.136 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 53.334 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 53.335 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 53.335 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 53.337 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 53.339 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 53.341 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 53.344 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 53.348 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 53.357 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 53.406 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 53.842 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 56.031 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 56.032 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 56.033 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 56.035 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 56.040 * * [simplify]: iteration 3 : 59 enodes (cost 7 ) 56.052 * * [simplify]: iteration 4 : 68 enodes (cost 7 ) 56.059 * * [simplify]: iteration 5 : 78 enodes (cost 7 ) 56.068 * * [simplify]: iteration 6 : 99 enodes (cost 7 ) 56.083 * * [simplify]: iteration 7 : 165 enodes (cost 7 ) 56.136 * * [simplify]: iteration 8 : 378 enodes (cost 7 ) 56.578 * * [simplify]: iteration 9 : 1315 enodes (cost 7 ) 58.936 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 58.936 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 58.937 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 58.941 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 58.945 * * [simplify]: iteration 3 : 59 enodes (cost 7 ) 58.952 * * [simplify]: iteration 4 : 68 enodes (cost 7 ) 58.960 * * [simplify]: iteration 5 : 78 enodes (cost 7 ) 58.968 * * [simplify]: iteration 6 : 99 enodes (cost 7 ) 58.986 * * [simplify]: iteration 7 : 165 enodes (cost 7 ) 59.040 * * [simplify]: iteration 8 : 378 enodes (cost 7 ) 59.494 * * [simplify]: iteration 9 : 1315 enodes (cost 7 ) 62.087 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 62.087 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 62.088 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 62.091 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 62.095 * * [simplify]: iteration 3 : 59 enodes (cost 7 ) 62.107 * * [simplify]: iteration 4 : 68 enodes (cost 7 ) 62.115 * * [simplify]: iteration 5 : 78 enodes (cost 7 ) 62.123 * * [simplify]: iteration 6 : 99 enodes (cost 7 ) 62.138 * * [simplify]: iteration 7 : 165 enodes (cost 7 ) 62.191 * * [simplify]: iteration 8 : 378 enodes (cost 7 ) 62.650 * * [simplify]: iteration 9 : 1315 enodes (cost 7 ) 65.080 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 65.080 * [simplify]: Simplified to: (* (* x.re x.im) x.re) (* (* x.re x.im) x.re) (+ (* 2 (log x.re)) (log x.im)) (+ (log (* x.re x.im)) (log x.re)) (log (* (* x.re x.im) x.re)) (exp (* (* x.re x.im) x.re)) (* (pow x.re 6) (pow x.im 3)) (pow (* (* x.re x.re) x.im) 3) (* (cbrt (* (* x.re x.im) x.re)) (cbrt (* (* x.re x.im) x.re))) (cbrt (* (* x.re x.im) x.re)) (pow (* (* x.re x.im) x.re) 3) (sqrt (* (* x.re x.im) x.re)) (sqrt (* (* x.re x.im) x.re)) (* (* x.re x.im) (* (cbrt x.re) (cbrt x.re))) (* (* x.re x.im) (sqrt x.re)) (* x.re x.im) (* x.im x.re) (* 3 (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re)) (+ (+ (* 2 (log x.re)) (log x.im)) (log 3)) (+ (log 3) (+ (log (* x.re x.im)) (log x.re))) (+ (log 3) (log (* (* x.re x.im) x.re))) (log (* 3 (* (* x.re x.im) x.re))) (exp (* 3 (* (* x.re x.im) x.re))) (* (* 27 (pow x.re 6)) (pow x.im 3)) (* 27 (pow (* (* x.re x.re) x.im) 3)) (* 27 (pow (* (* x.re x.im) x.re) 3)) (* (cbrt (* 3 (* (* x.re x.im) x.re))) (cbrt (* 3 (* (* x.re x.im) x.re)))) (cbrt (* 3 (* (* x.re x.im) x.re))) (pow (* 3 (* (* x.re x.im) x.re)) 3) (sqrt (* 3 (* (* x.re x.im) x.re))) (sqrt (* 3 (* (* x.re x.im) x.re))) (* 3 (* x.re x.im)) (* (cbrt 3) (* (* x.re x.im) x.re)) (* (sqrt 3) (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re)) (* x.im (pow x.re 2)) (* x.im (pow x.re 2)) (* x.im (pow x.re 2)) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) 65.080 * * * [progress]: adding candidates to table 65.154 * * [progress]: iteration 2 / 4 65.154 * * * [progress]: picking best candidate 65.173 * * * * [pick]: Picked # 65.173 * * * [progress]: localizing error 65.181 * * * [progress]: generating rewritten candidates 65.181 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1) 65.186 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 65.195 * * * [progress]: generating series expansions 65.195 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1) 65.195 * [approximate]: Taking taylor expansion of (* 3 (* x.im x.re)) in (x.re x.im) around 0 65.195 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.im 65.195 * [taylor]: Taking taylor expansion of 3 in x.im 65.195 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 65.195 * [taylor]: Taking taylor expansion of x.im in x.im 65.195 * [taylor]: Taking taylor expansion of x.re in x.im 65.195 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.re 65.195 * [taylor]: Taking taylor expansion of 3 in x.re 65.195 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 65.195 * [taylor]: Taking taylor expansion of x.im in x.re 65.195 * [taylor]: Taking taylor expansion of x.re in x.re 65.195 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.re 65.195 * [taylor]: Taking taylor expansion of 3 in x.re 65.195 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 65.195 * [taylor]: Taking taylor expansion of x.im in x.re 65.196 * [taylor]: Taking taylor expansion of x.re in x.re 65.196 * [taylor]: Taking taylor expansion of 0 in x.im 65.196 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 65.196 * [taylor]: Taking taylor expansion of 3 in x.im 65.196 * [taylor]: Taking taylor expansion of x.im in x.im 65.196 * [taylor]: Taking taylor expansion of 0 in x.im 65.196 * [taylor]: Taking taylor expansion of 0 in x.im 65.196 * [taylor]: Taking taylor expansion of 0 in x.im 65.196 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.re x.im) around 0 65.196 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 65.196 * [taylor]: Taking taylor expansion of 3 in x.im 65.196 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 65.196 * [taylor]: Taking taylor expansion of x.im in x.im 65.196 * [taylor]: Taking taylor expansion of x.re in x.im 65.197 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 65.197 * [taylor]: Taking taylor expansion of 3 in x.re 65.197 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 65.197 * [taylor]: Taking taylor expansion of x.im in x.re 65.197 * [taylor]: Taking taylor expansion of x.re in x.re 65.197 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 65.197 * [taylor]: Taking taylor expansion of 3 in x.re 65.197 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 65.197 * [taylor]: Taking taylor expansion of x.im in x.re 65.197 * [taylor]: Taking taylor expansion of x.re in x.re 65.197 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 65.197 * [taylor]: Taking taylor expansion of 3 in x.im 65.197 * [taylor]: Taking taylor expansion of x.im in x.im 65.197 * [taylor]: Taking taylor expansion of 0 in x.im 65.201 * [taylor]: Taking taylor expansion of 0 in x.im 65.201 * [taylor]: Taking taylor expansion of 0 in x.im 65.201 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.re x.im) around 0 65.201 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 65.201 * [taylor]: Taking taylor expansion of 3 in x.im 65.201 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 65.202 * [taylor]: Taking taylor expansion of x.im in x.im 65.202 * [taylor]: Taking taylor expansion of x.re in x.im 65.202 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 65.202 * [taylor]: Taking taylor expansion of 3 in x.re 65.202 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 65.202 * [taylor]: Taking taylor expansion of x.im in x.re 65.202 * [taylor]: Taking taylor expansion of x.re in x.re 65.202 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 65.202 * [taylor]: Taking taylor expansion of 3 in x.re 65.202 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 65.202 * [taylor]: Taking taylor expansion of x.im in x.re 65.202 * [taylor]: Taking taylor expansion of x.re in x.re 65.202 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 65.202 * [taylor]: Taking taylor expansion of 3 in x.im 65.202 * [taylor]: Taking taylor expansion of x.im in x.im 65.202 * [taylor]: Taking taylor expansion of 0 in x.im 65.202 * [taylor]: Taking taylor expansion of 0 in x.im 65.203 * [taylor]: Taking taylor expansion of 0 in x.im 65.203 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 65.203 * [approximate]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 65.203 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 65.203 * [taylor]: Taking taylor expansion of 3 in x.im 65.203 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 65.203 * [taylor]: Taking taylor expansion of x.im in x.im 65.203 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 65.203 * [taylor]: Taking taylor expansion of x.re in x.im 65.203 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 65.203 * [taylor]: Taking taylor expansion of 3 in x.re 65.203 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 65.203 * [taylor]: Taking taylor expansion of x.im in x.re 65.203 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 65.203 * [taylor]: Taking taylor expansion of x.re in x.re 65.203 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 65.203 * [taylor]: Taking taylor expansion of 3 in x.re 65.203 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 65.203 * [taylor]: Taking taylor expansion of x.im in x.re 65.203 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 65.203 * [taylor]: Taking taylor expansion of x.re in x.re 65.203 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 65.203 * [taylor]: Taking taylor expansion of 3 in x.im 65.203 * [taylor]: Taking taylor expansion of x.im in x.im 65.203 * [taylor]: Taking taylor expansion of 0 in x.im 65.204 * [taylor]: Taking taylor expansion of 0 in x.im 65.204 * [taylor]: Taking taylor expansion of 0 in x.im 65.204 * [approximate]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 65.204 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.im 65.204 * [taylor]: Taking taylor expansion of 3 in x.im 65.204 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 65.204 * [taylor]: Taking taylor expansion of x.im in x.im 65.204 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 65.204 * [taylor]: Taking taylor expansion of x.re in x.im 65.204 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 65.204 * [taylor]: Taking taylor expansion of 3 in x.re 65.204 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 65.204 * [taylor]: Taking taylor expansion of x.im in x.re 65.204 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 65.204 * [taylor]: Taking taylor expansion of x.re in x.re 65.205 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 65.205 * [taylor]: Taking taylor expansion of 3 in x.re 65.205 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 65.205 * [taylor]: Taking taylor expansion of x.im in x.re 65.205 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 65.205 * [taylor]: Taking taylor expansion of x.re in x.re 65.205 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 65.205 * [taylor]: Taking taylor expansion of 3 in x.im 65.205 * [taylor]: Taking taylor expansion of x.im in x.im 65.205 * [taylor]: Taking taylor expansion of 0 in x.im 65.205 * [taylor]: Taking taylor expansion of 0 in x.im 65.205 * [taylor]: Taking taylor expansion of 0 in x.im 65.206 * [approximate]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 65.206 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.im 65.206 * [taylor]: Taking taylor expansion of -3 in x.im 65.206 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 65.206 * [taylor]: Taking taylor expansion of x.im in x.im 65.206 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 65.206 * [taylor]: Taking taylor expansion of x.re in x.im 65.206 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 65.206 * [taylor]: Taking taylor expansion of -3 in x.re 65.206 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 65.206 * [taylor]: Taking taylor expansion of x.im in x.re 65.206 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 65.206 * [taylor]: Taking taylor expansion of x.re in x.re 65.206 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 65.206 * [taylor]: Taking taylor expansion of -3 in x.re 65.206 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 65.206 * [taylor]: Taking taylor expansion of x.im in x.re 65.206 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 65.206 * [taylor]: Taking taylor expansion of x.re in x.re 65.206 * [taylor]: Taking taylor expansion of (/ -3 x.im) in x.im 65.206 * [taylor]: Taking taylor expansion of -3 in x.im 65.206 * [taylor]: Taking taylor expansion of x.im in x.im 65.207 * [taylor]: Taking taylor expansion of 0 in x.im 65.207 * [taylor]: Taking taylor expansion of 0 in x.im 65.207 * [taylor]: Taking taylor expansion of 0 in x.im 65.207 * * * [progress]: simplifying candidates 65.208 * [simplify]: Simplifying using # : (* 3 (* x.re x.im)) (* 3 (* x.re x.im)) (+ (log 3) (+ (log x.re) (log x.im))) (+ (log 3) (log (* x.re x.im))) (log (* 3 (* x.re x.im))) (exp (* 3 (* x.re x.im))) (* (* (* 3 3) 3) (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im))) (* (* (* 3 3) 3) (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im))) (* (cbrt (* 3 (* x.re x.im))) (cbrt (* 3 (* x.re x.im)))) (cbrt (* 3 (* x.re x.im))) (* (* (* 3 (* x.re x.im)) (* 3 (* x.re x.im))) (* 3 (* x.re x.im))) (sqrt (* 3 (* x.re x.im))) (sqrt (* 3 (* x.re x.im))) (* 3 x.re) (* (cbrt 3) (* x.re x.im)) (* (sqrt 3) (* x.re x.im)) (* 3 (* x.re x.im)) (* (* 3 (* x.re x.im)) x.re) (* (* 3 (* x.re x.im)) x.re) (* (* 3 (* x.re x.im)) x.re) (+ (+ (log 3) (+ (log x.re) (log x.im))) (log x.re)) (+ (+ (log 3) (log (* x.re x.im))) (log x.re)) (+ (log (* 3 (* x.re x.im))) (log x.re)) (log (* (* 3 (* x.re x.im)) x.re)) (exp (* (* 3 (* x.re x.im)) x.re)) (* (* (* (* 3 3) 3) (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im))) (* (* x.re x.re) x.re)) (* (* (* (* 3 3) 3) (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im))) (* (* x.re x.re) x.re)) (* (* (* (* 3 (* x.re x.im)) (* 3 (* x.re x.im))) (* 3 (* x.re x.im))) (* (* x.re x.re) x.re)) (* (cbrt (* (* 3 (* x.re x.im)) x.re)) (cbrt (* (* 3 (* x.re x.im)) x.re))) (cbrt (* (* 3 (* x.re x.im)) x.re)) (* (* (* (* 3 (* x.re x.im)) x.re) (* (* 3 (* x.re x.im)) x.re)) (* (* 3 (* x.re x.im)) x.re)) (sqrt (* (* 3 (* x.re x.im)) x.re)) (sqrt (* (* 3 (* x.re x.im)) x.re)) (* (* 3 (* x.re x.im)) (* (cbrt x.re) (cbrt x.re))) (* (* 3 (* x.re x.im)) (sqrt x.re)) (* (* 3 (* x.re x.im)) 1) (* (* x.re x.im) x.re) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) 65.209 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 65.209 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 65.210 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 65.212 * * [simplify]: iteration done : 15 enodes (cost 5 ) 65.213 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 65.213 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 65.215 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 65.216 * * [simplify]: iteration done : 15 enodes (cost 5 ) 65.217 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 65.218 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 65.219 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 65.221 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 65.223 * * [simplify]: iteration done : 20 enodes (cost 8 ) 65.224 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 65.224 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 65.226 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 65.228 * * [simplify]: iteration 3 : 21 enodes (cost 7 ) 65.230 * * [simplify]: iteration done : 21 enodes (cost 7 ) 65.230 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 65.231 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 65.233 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 65.236 * * [simplify]: iteration 3 : 38 enodes (cost 6 ) 65.241 * * [simplify]: iteration 4 : 40 enodes (cost 6 ) 65.244 * * [simplify]: iteration done : 40 enodes (cost 6 ) 65.245 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 65.246 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 65.248 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 65.251 * * [simplify]: iteration 3 : 55 enodes (cost 6 ) 65.260 * * [simplify]: iteration 4 : 120 enodes (cost 6 ) 65.286 * * [simplify]: iteration 5 : 292 enodes (cost 6 ) 65.441 * * [simplify]: iteration 6 : 772 enodes (cost 6 ) 66.418 * * [simplify]: iteration 7 : 2667 enodes (cost 6 ) 68.230 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 68.231 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 68.233 * * [simplify]: iteration 1 : 26 enodes (cost 13 ) 68.237 * * [simplify]: iteration 2 : 81 enodes (cost 9 ) 68.266 * * [simplify]: iteration 3 : 260 enodes (cost 9 ) 68.452 * * [simplify]: iteration 4 : 785 enodes (cost 7 ) 69.653 * * [simplify]: iteration 5 : 2017 enodes (cost 7 ) 73.504 * * [simplify]: iteration 6 : 4846 enodes (cost 7 ) 74.641 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 74.642 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 74.643 * * [simplify]: iteration 1 : 28 enodes (cost 13 ) 74.648 * * [simplify]: iteration 2 : 85 enodes (cost 7 ) 74.684 * * [simplify]: iteration 3 : 301 enodes (cost 7 ) 74.948 * * [simplify]: iteration 4 : 782 enodes (cost 7 ) 75.914 * * [simplify]: iteration 5 : 1427 enodes (cost 7 ) 77.950 * * [simplify]: iteration 6 : 2395 enodes (cost 7 ) 80.737 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 80.738 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 80.739 * * [simplify]: iteration 1 : 11 enodes (cost 13 ) 80.740 * * [simplify]: iteration 2 : 17 enodes (cost 13 ) 80.747 * * [simplify]: iteration done : 17 enodes (cost 13 ) 80.748 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 80.749 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 80.750 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 80.752 * * [simplify]: iteration done : 16 enodes (cost 6 ) 80.752 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 80.754 * * [simplify]: iteration 1 : 22 enodes (cost 15 ) 80.758 * * [simplify]: iteration 2 : 90 enodes (cost 7 ) 80.804 * * [simplify]: iteration 3 : 399 enodes (cost 7 ) 81.324 * * [simplify]: iteration 4 : 1102 enodes (cost 7 ) 82.858 * * [simplify]: iteration 5 : 1458 enodes (cost 7 ) 85.206 * * [simplify]: iteration 6 : 2245 enodes (cost 7 ) 88.876 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 88.877 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 88.878 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 88.879 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 88.881 * * [simplify]: iteration done : 16 enodes (cost 6 ) 88.882 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 88.883 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 88.884 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 88.886 * * [simplify]: iteration done : 16 enodes (cost 6 ) 88.886 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 88.887 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 88.887 * * [simplify]: iteration done : 4 enodes (cost 3 ) 88.888 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 88.889 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 88.890 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 88.892 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 88.894 * * [simplify]: iteration done : 18 enodes (cost 6 ) 88.894 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 88.895 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 88.896 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 88.898 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 88.900 * * [simplify]: iteration done : 18 enodes (cost 6 ) 88.901 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 88.901 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 88.903 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 88.904 * * [simplify]: iteration done : 15 enodes (cost 5 ) 88.905 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 88.906 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 88.912 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 88.918 * * [simplify]: iteration 3 : 34 enodes (cost 7 ) 88.923 * * [simplify]: iteration 4 : 35 enodes (cost 7 ) 88.930 * * [simplify]: iteration done : 35 enodes (cost 7 ) 88.931 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 88.932 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 88.934 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 88.938 * * [simplify]: iteration 3 : 34 enodes (cost 7 ) 88.944 * * [simplify]: iteration 4 : 35 enodes (cost 7 ) 88.950 * * [simplify]: iteration done : 35 enodes (cost 7 ) 88.951 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 88.952 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 88.954 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 88.959 * * [simplify]: iteration 3 : 34 enodes (cost 7 ) 88.965 * * [simplify]: iteration 4 : 35 enodes (cost 7 ) 88.974 * * [simplify]: iteration done : 35 enodes (cost 7 ) 88.974 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 88.975 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 88.978 * * [simplify]: iteration 2 : 30 enodes (cost 11 ) 88.982 * * [simplify]: iteration 3 : 39 enodes (cost 10 ) 88.987 * * [simplify]: iteration 4 : 41 enodes (cost 10 ) 88.994 * * [simplify]: iteration done : 41 enodes (cost 10 ) 88.994 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 88.995 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 88.997 * * [simplify]: iteration 2 : 26 enodes (cost 10 ) 89.000 * * [simplify]: iteration 3 : 40 enodes (cost 10 ) 89.006 * * [simplify]: iteration 4 : 48 enodes (cost 10 ) 89.012 * * [simplify]: iteration 5 : 49 enodes (cost 10 ) 89.018 * * [simplify]: iteration done : 49 enodes (cost 10 ) 89.019 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 89.020 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 89.022 * * [simplify]: iteration 2 : 32 enodes (cost 9 ) 89.030 * * [simplify]: iteration 3 : 53 enodes (cost 9 ) 89.038 * * [simplify]: iteration 4 : 64 enodes (cost 9 ) 89.045 * * [simplify]: iteration 5 : 65 enodes (cost 9 ) 89.054 * * [simplify]: iteration done : 65 enodes (cost 9 ) 89.054 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 89.055 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 89.058 * * [simplify]: iteration 2 : 41 enodes (cost 8 ) 89.064 * * [simplify]: iteration 3 : 73 enodes (cost 8 ) 89.076 * * [simplify]: iteration 4 : 94 enodes (cost 8 ) 89.092 * * [simplify]: iteration 5 : 97 enodes (cost 8 ) 89.105 * * [simplify]: iteration 6 : 98 enodes (cost 8 ) 89.119 * * [simplify]: iteration done : 98 enodes (cost 8 ) 89.119 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 89.120 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 89.123 * * [simplify]: iteration 2 : 43 enodes (cost 8 ) 89.130 * * [simplify]: iteration 3 : 89 enodes (cost 8 ) 89.151 * * [simplify]: iteration 4 : 202 enodes (cost 8 ) 89.198 * * [simplify]: iteration 5 : 496 enodes (cost 8 ) 89.707 * * [simplify]: iteration 6 : 1315 enodes (cost 8 ) 91.495 * * [simplify]: iteration 7 : 4567 enodes (cost 8 ) 92.746 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 92.747 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 92.749 * * [simplify]: iteration 1 : 32 enodes (cost 19 ) 92.754 * * [simplify]: iteration 2 : 118 enodes (cost 13 ) 92.814 * * [simplify]: iteration 3 : 538 enodes (cost 9 ) 93.839 * * [simplify]: iteration 4 : 2322 enodes (cost 9 ) 96.918 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 96.919 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 96.921 * * [simplify]: iteration 1 : 36 enodes (cost 19 ) 96.928 * * [simplify]: iteration 2 : 129 enodes (cost 11 ) 96.996 * * [simplify]: iteration 3 : 624 enodes (cost 11 ) 98.219 * * [simplify]: iteration 4 : 2432 enodes (cost 11 ) 101.818 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 101.818 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 101.820 * * [simplify]: iteration 1 : 31 enodes (cost 21 ) 101.827 * * [simplify]: iteration 2 : 138 enodes (cost 11 ) 101.921 * * [simplify]: iteration 3 : 827 enodes (cost 11 ) 104.189 * * [simplify]: iteration 4 : 3567 enodes (cost 9 ) 107.140 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 107.141 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 107.142 * * [simplify]: iteration 1 : 15 enodes (cost 17 ) 107.144 * * [simplify]: iteration 2 : 29 enodes (cost 17 ) 107.149 * * [simplify]: iteration 3 : 38 enodes (cost 17 ) 107.157 * * [simplify]: iteration 4 : 39 enodes (cost 17 ) 107.163 * * [simplify]: iteration done : 39 enodes (cost 17 ) 107.164 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 107.165 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 107.167 * * [simplify]: iteration 2 : 28 enodes (cost 8 ) 107.172 * * [simplify]: iteration 3 : 37 enodes (cost 8 ) 107.178 * * [simplify]: iteration 4 : 38 enodes (cost 8 ) 107.184 * * [simplify]: iteration done : 38 enodes (cost 8 ) 107.184 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 107.186 * * [simplify]: iteration 1 : 25 enodes (cost 23 ) 107.192 * * [simplify]: iteration 2 : 115 enodes (cost 9 ) 107.275 * * [simplify]: iteration 3 : 654 enodes (cost 9 ) 108.827 * * [simplify]: iteration 4 : 2461 enodes (cost 9 ) 117.235 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 117.236 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 117.237 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 117.239 * * [simplify]: iteration 2 : 28 enodes (cost 8 ) 117.249 * * [simplify]: iteration 3 : 37 enodes (cost 8 ) 117.255 * * [simplify]: iteration 4 : 38 enodes (cost 8 ) 117.261 * * [simplify]: iteration done : 38 enodes (cost 8 ) 117.261 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 117.262 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 117.264 * * [simplify]: iteration 2 : 28 enodes (cost 8 ) 117.269 * * [simplify]: iteration 3 : 37 enodes (cost 8 ) 117.275 * * [simplify]: iteration 4 : 38 enodes (cost 8 ) 117.281 * * [simplify]: iteration done : 38 enodes (cost 8 ) 117.282 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 117.283 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 117.286 * * [simplify]: iteration 2 : 45 enodes (cost 11 ) 117.296 * * [simplify]: iteration 3 : 109 enodes (cost 11 ) 117.334 * * [simplify]: iteration 4 : 149 enodes (cost 11 ) 117.376 * * [simplify]: iteration done : 149 enodes (cost 11 ) 117.377 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 117.378 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 117.380 * * [simplify]: iteration 2 : 33 enodes (cost 8 ) 117.386 * * [simplify]: iteration 3 : 59 enodes (cost 8 ) 117.401 * * [simplify]: iteration 4 : 61 enodes (cost 8 ) 117.412 * * [simplify]: iteration done : 61 enodes (cost 8 ) 117.413 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 117.413 * * [simplify]: iteration 1 : 16 enodes (cost 5 ) 117.417 * * [simplify]: iteration 2 : 41 enodes (cost 5 ) 117.425 * * [simplify]: iteration 3 : 68 enodes (cost 5 ) 117.431 * * [simplify]: iteration done : 68 enodes (cost 5 ) 117.432 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 117.432 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 117.433 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 117.434 * * [simplify]: iteration done : 9 enodes (cost 5 ) 117.435 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 117.435 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 117.437 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 117.439 * * [simplify]: iteration done : 15 enodes (cost 5 ) 117.439 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 117.440 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 117.441 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 117.443 * * [simplify]: iteration done : 15 enodes (cost 5 ) 117.444 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 117.444 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 117.445 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 117.447 * * [simplify]: iteration done : 15 enodes (cost 5 ) 117.448 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 117.449 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 117.451 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 117.459 * * [simplify]: iteration 3 : 59 enodes (cost 7 ) 117.466 * * [simplify]: iteration 4 : 68 enodes (cost 7 ) 117.474 * * [simplify]: iteration 5 : 78 enodes (cost 7 ) 117.482 * * [simplify]: iteration 6 : 99 enodes (cost 7 ) 117.497 * * [simplify]: iteration 7 : 165 enodes (cost 7 ) 117.549 * * [simplify]: iteration 8 : 378 enodes (cost 7 ) 117.988 * * [simplify]: iteration 9 : 1315 enodes (cost 7 ) 120.340 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 120.341 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 120.342 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 120.345 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 120.349 * * [simplify]: iteration 3 : 59 enodes (cost 7 ) 120.356 * * [simplify]: iteration 4 : 68 enodes (cost 7 ) 120.364 * * [simplify]: iteration 5 : 78 enodes (cost 7 ) 120.372 * * [simplify]: iteration 6 : 99 enodes (cost 7 ) 120.391 * * [simplify]: iteration 7 : 165 enodes (cost 7 ) 120.446 * * [simplify]: iteration 8 : 378 enodes (cost 7 ) 120.896 * * [simplify]: iteration 9 : 1315 enodes (cost 7 ) 123.243 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 123.244 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 123.244 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 123.247 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 123.255 * * [simplify]: iteration 3 : 59 enodes (cost 7 ) 123.262 * * [simplify]: iteration 4 : 68 enodes (cost 7 ) 123.270 * * [simplify]: iteration 5 : 78 enodes (cost 7 ) 123.279 * * [simplify]: iteration 6 : 99 enodes (cost 7 ) 123.293 * * [simplify]: iteration 7 : 165 enodes (cost 7 ) 123.351 * * [simplify]: iteration 8 : 378 enodes (cost 7 ) 123.793 * * [simplify]: iteration 9 : 1315 enodes (cost 7 ) 126.139 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 126.140 * [simplify]: Simplified to: (* 3 (* x.re x.im)) (* 3 (* x.re x.im)) (+ (log 3) (+ (log x.re) (log x.im))) (+ (log 3) (log (* x.re x.im))) (log (* 3 (* x.re x.im))) (exp (* 3 (* x.re x.im))) (* 27 (pow (* x.re x.im) 3)) (* (pow (* x.re x.im) 3) 27) (* (cbrt (* 3 (* x.re x.im))) (cbrt (* 3 (* x.re x.im)))) (cbrt (* 3 (* x.re x.im))) (pow (* 3 (* x.re x.im)) 3) (sqrt (* 3 (* x.re x.im))) (sqrt (* 3 (* x.re x.im))) (* 3 x.re) (* (cbrt 3) (* x.re x.im)) (* (sqrt 3) (* x.re x.im)) (* 3 (* x.re x.im)) (* (* 3 (* x.re x.im)) x.re) (* (* 3 (* x.re x.im)) x.re) (* (* 3 (* x.re x.im)) x.re) (+ (* 2 (log x.re)) (+ (log 3) (log x.im))) (+ (+ (log 3) (log (* x.re x.im))) (log x.re)) (+ (log (* 3 (* x.re x.im))) (log x.re)) (log (* (* 3 (* x.re x.im)) x.re)) (exp (* (* 3 (* x.re x.im)) x.re)) (* (pow x.re 6) (* (pow x.im 3) 27)) (* 27 (* (pow (* x.re x.im) 3) (pow x.re 3))) (pow (* (* 3 (* x.re x.im)) x.re) 3) (* (cbrt (* (* 3 (* x.re x.im)) x.re)) (cbrt (* (* 3 (* x.re x.im)) x.re))) (cbrt (* (* 3 (* x.re x.im)) x.re)) (pow (* (* 3 (* x.re x.im)) x.re) 3) (sqrt (* (* 3 (* x.re x.im)) x.re)) (sqrt (* (* 3 (* x.re x.im)) x.re)) (* (* 3 (* x.re x.im)) (* (cbrt x.re) (cbrt x.re))) (* (* 3 (* x.re x.im)) (sqrt x.re)) (* 3 (* x.re x.im)) (* (* x.re x.im) x.re) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) 126.140 * * * [progress]: adding candidates to table 126.202 * * [progress]: iteration 3 / 4 126.202 * * * [progress]: picking best candidate 126.220 * * * * [pick]: Picked # 126.221 * * * [progress]: localizing error 126.228 * * * [progress]: generating rewritten candidates 126.228 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1) 126.234 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 126.243 * * * [progress]: generating series expansions 126.243 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1) 126.243 * [approximate]: Taking taylor expansion of (* 3 (* x.im x.re)) in (x.re x.im) around 0 126.243 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.im 126.243 * [taylor]: Taking taylor expansion of 3 in x.im 126.243 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 126.243 * [taylor]: Taking taylor expansion of x.im in x.im 126.243 * [taylor]: Taking taylor expansion of x.re in x.im 126.244 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.re 126.244 * [taylor]: Taking taylor expansion of 3 in x.re 126.244 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 126.244 * [taylor]: Taking taylor expansion of x.im in x.re 126.244 * [taylor]: Taking taylor expansion of x.re in x.re 126.244 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.re 126.244 * [taylor]: Taking taylor expansion of 3 in x.re 126.244 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 126.244 * [taylor]: Taking taylor expansion of x.im in x.re 126.244 * [taylor]: Taking taylor expansion of x.re in x.re 126.244 * [taylor]: Taking taylor expansion of 0 in x.im 126.244 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 126.244 * [taylor]: Taking taylor expansion of 3 in x.im 126.244 * [taylor]: Taking taylor expansion of x.im in x.im 126.244 * [taylor]: Taking taylor expansion of 0 in x.im 126.244 * [taylor]: Taking taylor expansion of 0 in x.im 126.244 * [taylor]: Taking taylor expansion of 0 in x.im 126.245 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.re x.im) around 0 126.245 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 126.245 * [taylor]: Taking taylor expansion of 3 in x.im 126.245 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 126.245 * [taylor]: Taking taylor expansion of x.im in x.im 126.245 * [taylor]: Taking taylor expansion of x.re in x.im 126.245 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 126.245 * [taylor]: Taking taylor expansion of 3 in x.re 126.245 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 126.245 * [taylor]: Taking taylor expansion of x.im in x.re 126.245 * [taylor]: Taking taylor expansion of x.re in x.re 126.245 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 126.245 * [taylor]: Taking taylor expansion of 3 in x.re 126.245 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 126.245 * [taylor]: Taking taylor expansion of x.im in x.re 126.245 * [taylor]: Taking taylor expansion of x.re in x.re 126.245 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 126.245 * [taylor]: Taking taylor expansion of 3 in x.im 126.245 * [taylor]: Taking taylor expansion of x.im in x.im 126.245 * [taylor]: Taking taylor expansion of 0 in x.im 126.245 * [taylor]: Taking taylor expansion of 0 in x.im 126.246 * [taylor]: Taking taylor expansion of 0 in x.im 126.246 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.re x.im) around 0 126.246 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 126.246 * [taylor]: Taking taylor expansion of 3 in x.im 126.246 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 126.246 * [taylor]: Taking taylor expansion of x.im in x.im 126.246 * [taylor]: Taking taylor expansion of x.re in x.im 126.246 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 126.246 * [taylor]: Taking taylor expansion of 3 in x.re 126.246 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 126.246 * [taylor]: Taking taylor expansion of x.im in x.re 126.246 * [taylor]: Taking taylor expansion of x.re in x.re 126.246 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 126.246 * [taylor]: Taking taylor expansion of 3 in x.re 126.246 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 126.246 * [taylor]: Taking taylor expansion of x.im in x.re 126.246 * [taylor]: Taking taylor expansion of x.re in x.re 126.246 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 126.246 * [taylor]: Taking taylor expansion of 3 in x.im 126.246 * [taylor]: Taking taylor expansion of x.im in x.im 126.246 * [taylor]: Taking taylor expansion of 0 in x.im 126.247 * [taylor]: Taking taylor expansion of 0 in x.im 126.247 * [taylor]: Taking taylor expansion of 0 in x.im 126.247 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 126.247 * [approximate]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 126.247 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 126.247 * [taylor]: Taking taylor expansion of 3 in x.im 126.247 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 126.247 * [taylor]: Taking taylor expansion of x.im in x.im 126.247 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 126.247 * [taylor]: Taking taylor expansion of x.re in x.im 126.247 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 126.247 * [taylor]: Taking taylor expansion of 3 in x.re 126.247 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 126.247 * [taylor]: Taking taylor expansion of x.im in x.re 126.247 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 126.247 * [taylor]: Taking taylor expansion of x.re in x.re 126.247 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 126.247 * [taylor]: Taking taylor expansion of 3 in x.re 126.247 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 126.248 * [taylor]: Taking taylor expansion of x.im in x.re 126.248 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 126.248 * [taylor]: Taking taylor expansion of x.re in x.re 126.248 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 126.248 * [taylor]: Taking taylor expansion of 3 in x.im 126.248 * [taylor]: Taking taylor expansion of x.im in x.im 126.248 * [taylor]: Taking taylor expansion of 0 in x.im 126.248 * [taylor]: Taking taylor expansion of 0 in x.im 126.248 * [taylor]: Taking taylor expansion of 0 in x.im 126.248 * [approximate]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 126.248 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.im 126.248 * [taylor]: Taking taylor expansion of 3 in x.im 126.248 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 126.248 * [taylor]: Taking taylor expansion of x.im in x.im 126.248 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 126.248 * [taylor]: Taking taylor expansion of x.re in x.im 126.249 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 126.249 * [taylor]: Taking taylor expansion of 3 in x.re 126.249 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 126.249 * [taylor]: Taking taylor expansion of x.im in x.re 126.249 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 126.249 * [taylor]: Taking taylor expansion of x.re in x.re 126.249 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 126.249 * [taylor]: Taking taylor expansion of 3 in x.re 126.249 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 126.249 * [taylor]: Taking taylor expansion of x.im in x.re 126.249 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 126.249 * [taylor]: Taking taylor expansion of x.re in x.re 126.249 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 126.249 * [taylor]: Taking taylor expansion of 3 in x.im 126.249 * [taylor]: Taking taylor expansion of x.im in x.im 126.249 * [taylor]: Taking taylor expansion of 0 in x.im 126.249 * [taylor]: Taking taylor expansion of 0 in x.im 126.250 * [taylor]: Taking taylor expansion of 0 in x.im 126.250 * [approximate]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 126.250 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.im 126.250 * [taylor]: Taking taylor expansion of -3 in x.im 126.250 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 126.250 * [taylor]: Taking taylor expansion of x.im in x.im 126.250 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 126.250 * [taylor]: Taking taylor expansion of x.re in x.im 126.250 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 126.250 * [taylor]: Taking taylor expansion of -3 in x.re 126.250 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 126.250 * [taylor]: Taking taylor expansion of x.im in x.re 126.250 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 126.250 * [taylor]: Taking taylor expansion of x.re in x.re 126.251 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 126.251 * [taylor]: Taking taylor expansion of -3 in x.re 126.251 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 126.251 * [taylor]: Taking taylor expansion of x.im in x.re 126.251 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 126.251 * [taylor]: Taking taylor expansion of x.re in x.re 126.251 * [taylor]: Taking taylor expansion of (/ -3 x.im) in x.im 126.251 * [taylor]: Taking taylor expansion of -3 in x.im 126.251 * [taylor]: Taking taylor expansion of x.im in x.im 126.251 * [taylor]: Taking taylor expansion of 0 in x.im 126.251 * [taylor]: Taking taylor expansion of 0 in x.im 126.251 * [taylor]: Taking taylor expansion of 0 in x.im 126.252 * * * [progress]: simplifying candidates 126.252 * [simplify]: Simplifying using # : (* (* 3 x.re) x.im) (* (* 3 x.re) x.im) (+ (+ (log 3) (log x.re)) (log x.im)) (+ (log (* 3 x.re)) (log x.im)) (log (* (* 3 x.re) x.im)) (exp (* (* 3 x.re) x.im)) (* (* (* (* 3 3) 3) (* (* x.re x.re) x.re)) (* (* x.im x.im) x.im)) (* (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re)) (* (* x.im x.im) x.im)) (* (cbrt (* (* 3 x.re) x.im)) (cbrt (* (* 3 x.re) x.im))) (cbrt (* (* 3 x.re) x.im)) (* (* (* (* 3 x.re) x.im) (* (* 3 x.re) x.im)) (* (* 3 x.re) x.im)) (sqrt (* (* 3 x.re) x.im)) (sqrt (* (* 3 x.re) x.im)) (* (* 3 x.re) (* (cbrt x.im) (cbrt x.im))) (* (* 3 x.re) (sqrt x.im)) (* (* 3 x.re) 1) (* x.re x.im) (* (* (* 3 x.re) x.im) x.re) (* (* (* 3 x.re) x.im) x.re) (* (* (* 3 x.re) x.im) x.re) (+ (+ (+ (log 3) (log x.re)) (log x.im)) (log x.re)) (+ (+ (log (* 3 x.re)) (log x.im)) (log x.re)) (+ (log (* (* 3 x.re) x.im)) (log x.re)) (log (* (* (* 3 x.re) x.im) x.re)) (exp (* (* (* 3 x.re) x.im) x.re)) (* (* (* (* (* 3 3) 3) (* (* x.re x.re) x.re)) (* (* x.im x.im) x.im)) (* (* x.re x.re) x.re)) (* (* (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re)) (* (* x.im x.im) x.im)) (* (* x.re x.re) x.re)) (* (* (* (* (* 3 x.re) x.im) (* (* 3 x.re) x.im)) (* (* 3 x.re) x.im)) (* (* x.re x.re) x.re)) (* (cbrt (* (* (* 3 x.re) x.im) x.re)) (cbrt (* (* (* 3 x.re) x.im) x.re))) (cbrt (* (* (* 3 x.re) x.im) x.re)) (* (* (* (* (* 3 x.re) x.im) x.re) (* (* (* 3 x.re) x.im) x.re)) (* (* (* 3 x.re) x.im) x.re)) (sqrt (* (* (* 3 x.re) x.im) x.re)) (sqrt (* (* (* 3 x.re) x.im) x.re)) (* (* (* 3 x.re) x.im) (* (cbrt x.re) (cbrt x.re))) (* (* (* 3 x.re) x.im) (sqrt x.re)) (* (* (* 3 x.re) x.im) 1) (* x.im x.re) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) 126.253 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 126.253 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 126.255 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 126.256 * * [simplify]: iteration done : 15 enodes (cost 5 ) 126.257 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 126.258 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 126.259 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 126.261 * * [simplify]: iteration done : 15 enodes (cost 5 ) 126.261 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 126.262 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 126.266 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 126.268 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 126.270 * * [simplify]: iteration done : 20 enodes (cost 8 ) 126.271 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 126.272 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 126.273 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 126.275 * * [simplify]: iteration 3 : 21 enodes (cost 7 ) 126.277 * * [simplify]: iteration done : 21 enodes (cost 7 ) 126.277 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 126.278 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 126.280 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 126.283 * * [simplify]: iteration 3 : 38 enodes (cost 6 ) 126.288 * * [simplify]: iteration 4 : 40 enodes (cost 6 ) 126.292 * * [simplify]: iteration done : 40 enodes (cost 6 ) 126.293 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 126.293 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 126.295 * * [simplify]: iteration 2 : 29 enodes (cost 6 ) 126.299 * * [simplify]: iteration 3 : 55 enodes (cost 6 ) 126.308 * * [simplify]: iteration 4 : 118 enodes (cost 6 ) 126.330 * * [simplify]: iteration 5 : 262 enodes (cost 6 ) 126.448 * * [simplify]: iteration 6 : 616 enodes (cost 6 ) 126.974 * * [simplify]: iteration 7 : 1756 enodes (cost 6 ) 128.160 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 128.161 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 128.163 * * [simplify]: iteration 1 : 26 enodes (cost 13 ) 128.167 * * [simplify]: iteration 2 : 76 enodes (cost 9 ) 128.195 * * [simplify]: iteration 3 : 250 enodes (cost 9 ) 128.371 * * [simplify]: iteration 4 : 725 enodes (cost 9 ) 129.309 * * [simplify]: iteration 5 : 1879 enodes (cost 7 ) 132.999 * * [simplify]: iteration 6 : 4643 enodes (cost 7 ) 134.578 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 134.579 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 134.581 * * [simplify]: iteration 1 : 27 enodes (cost 15 ) 134.586 * * [simplify]: iteration 2 : 91 enodes (cost 9 ) 134.634 * * [simplify]: iteration 3 : 374 enodes (cost 9 ) 135.041 * * [simplify]: iteration 4 : 1101 enodes (cost 7 ) 137.027 * * [simplify]: iteration 5 : 2066 enodes (cost 7 ) 141.485 * * [simplify]: iteration 6 : 4206 enodes (cost 7 ) 143.271 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 143.272 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 143.273 * * [simplify]: iteration 1 : 11 enodes (cost 13 ) 143.274 * * [simplify]: iteration 2 : 17 enodes (cost 13 ) 143.276 * * [simplify]: iteration done : 17 enodes (cost 13 ) 143.277 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 143.278 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 143.279 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 143.281 * * [simplify]: iteration done : 16 enodes (cost 6 ) 143.281 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 143.282 * * [simplify]: iteration 1 : 21 enodes (cost 17 ) 143.287 * * [simplify]: iteration 2 : 91 enodes (cost 7 ) 143.341 * * [simplify]: iteration 3 : 421 enodes (cost 7 ) 143.942 * * [simplify]: iteration 4 : 1148 enodes (cost 7 ) 145.701 * * [simplify]: iteration 5 : 1592 enodes (cost 7 ) 148.294 * * [simplify]: iteration 6 : 2611 enodes (cost 7 ) 151.530 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 151.531 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 151.531 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 151.532 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 151.534 * * [simplify]: iteration done : 16 enodes (cost 6 ) 151.535 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 151.536 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 151.537 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 151.539 * * [simplify]: iteration done : 16 enodes (cost 6 ) 151.539 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 151.540 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 151.548 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 151.552 * * [simplify]: iteration 3 : 36 enodes (cost 9 ) 151.558 * * [simplify]: iteration done : 36 enodes (cost 9 ) 151.559 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 151.559 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 151.561 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 151.563 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 151.565 * * [simplify]: iteration done : 18 enodes (cost 6 ) 151.566 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 151.566 * * [simplify]: iteration 1 : 11 enodes (cost 3 ) 151.568 * * [simplify]: iteration 2 : 23 enodes (cost 3 ) 151.569 * * [simplify]: iteration done : 23 enodes (cost 3 ) 151.570 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 151.570 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 151.570 * * [simplify]: iteration done : 4 enodes (cost 3 ) 151.571 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 151.572 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 151.574 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 151.579 * * [simplify]: iteration 3 : 37 enodes (cost 7 ) 151.585 * * [simplify]: iteration done : 37 enodes (cost 7 ) 151.585 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 151.586 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 151.588 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 151.592 * * [simplify]: iteration 3 : 37 enodes (cost 7 ) 151.598 * * [simplify]: iteration done : 37 enodes (cost 7 ) 151.599 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 151.600 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 151.601 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 151.610 * * [simplify]: iteration 3 : 37 enodes (cost 7 ) 151.616 * * [simplify]: iteration done : 37 enodes (cost 7 ) 151.617 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 151.618 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 151.620 * * [simplify]: iteration 2 : 30 enodes (cost 11 ) 151.625 * * [simplify]: iteration 3 : 38 enodes (cost 11 ) 151.630 * * [simplify]: iteration 4 : 40 enodes (cost 10 ) 151.635 * * [simplify]: iteration 5 : 41 enodes (cost 10 ) 151.642 * * [simplify]: iteration done : 41 enodes (cost 10 ) 151.642 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 151.643 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 151.645 * * [simplify]: iteration 2 : 28 enodes (cost 10 ) 151.649 * * [simplify]: iteration 3 : 38 enodes (cost 10 ) 151.654 * * [simplify]: iteration 4 : 42 enodes (cost 10 ) 151.663 * * [simplify]: iteration 5 : 43 enodes (cost 10 ) 151.669 * * [simplify]: iteration done : 43 enodes (cost 10 ) 151.670 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 151.671 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 151.673 * * [simplify]: iteration 2 : 32 enodes (cost 9 ) 151.678 * * [simplify]: iteration 3 : 53 enodes (cost 9 ) 151.685 * * [simplify]: iteration 4 : 65 enodes (cost 9 ) 151.692 * * [simplify]: iteration 5 : 66 enodes (cost 9 ) 151.700 * * [simplify]: iteration done : 66 enodes (cost 9 ) 151.701 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 151.702 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 151.704 * * [simplify]: iteration 2 : 40 enodes (cost 8 ) 151.711 * * [simplify]: iteration 3 : 73 enodes (cost 8 ) 151.727 * * [simplify]: iteration 4 : 95 enodes (cost 8 ) 151.741 * * [simplify]: iteration 5 : 98 enodes (cost 8 ) 151.754 * * [simplify]: iteration 6 : 99 enodes (cost 8 ) 151.766 * * [simplify]: iteration done : 99 enodes (cost 8 ) 151.767 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 151.768 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 151.771 * * [simplify]: iteration 2 : 43 enodes (cost 8 ) 151.782 * * [simplify]: iteration 3 : 85 enodes (cost 8 ) 151.796 * * [simplify]: iteration 4 : 185 enodes (cost 8 ) 151.840 * * [simplify]: iteration 5 : 438 enodes (cost 8 ) 152.064 * * [simplify]: iteration 6 : 1041 enodes (cost 8 ) 153.315 * * [simplify]: iteration 7 : 3277 enodes (cost 8 ) 154.287 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 154.288 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 154.290 * * [simplify]: iteration 1 : 32 enodes (cost 19 ) 154.295 * * [simplify]: iteration 2 : 119 enodes (cost 13 ) 154.358 * * [simplify]: iteration 3 : 563 enodes (cost 13 ) 155.278 * * [simplify]: iteration 4 : 2138 enodes (cost 9 ) 158.481 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 158.482 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 158.484 * * [simplify]: iteration 1 : 35 enodes (cost 21 ) 158.492 * * [simplify]: iteration 2 : 141 enodes (cost 13 ) 158.580 * * [simplify]: iteration 3 : 777 enodes (cost 13 ) 160.189 * * [simplify]: iteration 4 : 2913 enodes (cost 11 ) 163.267 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 163.267 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 163.269 * * [simplify]: iteration 1 : 30 enodes (cost 23 ) 163.280 * * [simplify]: iteration 2 : 138 enodes (cost 11 ) 163.384 * * [simplify]: iteration 3 : 861 enodes (cost 11 ) 166.051 * * [simplify]: iteration 4 : 3370 enodes (cost 9 ) 169.854 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 169.854 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 169.855 * * [simplify]: iteration 1 : 15 enodes (cost 17 ) 169.858 * * [simplify]: iteration 2 : 29 enodes (cost 17 ) 169.862 * * [simplify]: iteration 3 : 42 enodes (cost 17 ) 169.869 * * [simplify]: iteration done : 42 enodes (cost 17 ) 169.870 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 169.871 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 169.873 * * [simplify]: iteration 2 : 28 enodes (cost 8 ) 169.878 * * [simplify]: iteration 3 : 39 enodes (cost 8 ) 169.884 * * [simplify]: iteration done : 39 enodes (cost 8 ) 169.885 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 169.886 * * [simplify]: iteration 1 : 25 enodes (cost 23 ) 169.892 * * [simplify]: iteration 2 : 114 enodes (cost 9 ) 169.981 * * [simplify]: iteration 3 : 631 enodes (cost 9 ) 171.496 * * [simplify]: iteration 4 : 2403 enodes (cost 9 ) 180.602 * * [simplify]: iteration 5 : 4943 enodes (cost 9 ) 181.827 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 181.828 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 181.828 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 181.830 * * [simplify]: iteration 2 : 28 enodes (cost 8 ) 181.835 * * [simplify]: iteration 3 : 39 enodes (cost 8 ) 181.841 * * [simplify]: iteration done : 39 enodes (cost 8 ) 181.842 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 181.843 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 181.845 * * [simplify]: iteration 2 : 28 enodes (cost 8 ) 181.849 * * [simplify]: iteration 3 : 39 enodes (cost 8 ) 181.855 * * [simplify]: iteration done : 39 enodes (cost 8 ) 181.856 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 181.857 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 181.860 * * [simplify]: iteration 2 : 46 enodes (cost 11 ) 181.874 * * [simplify]: iteration 3 : 110 enodes (cost 11 ) 181.905 * * [simplify]: iteration 4 : 153 enodes (cost 11 ) 181.948 * * [simplify]: iteration done : 153 enodes (cost 11 ) 181.949 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 181.949 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 181.952 * * [simplify]: iteration 2 : 34 enodes (cost 8 ) 181.958 * * [simplify]: iteration 3 : 57 enodes (cost 8 ) 181.971 * * [simplify]: iteration 4 : 58 enodes (cost 8 ) 181.982 * * [simplify]: iteration done : 58 enodes (cost 8 ) 181.983 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 181.984 * * [simplify]: iteration 1 : 16 enodes (cost 5 ) 181.988 * * [simplify]: iteration 2 : 42 enodes (cost 5 ) 181.994 * * [simplify]: iteration 3 : 60 enodes (cost 5 ) 182.003 * * [simplify]: iteration 4 : 72 enodes (cost 5 ) 182.008 * * [simplify]: iteration done : 72 enodes (cost 5 ) 182.009 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 182.010 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 182.010 * * [simplify]: iteration done : 4 enodes (cost 3 ) 182.011 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 182.011 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 182.012 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 182.014 * * [simplify]: iteration done : 15 enodes (cost 5 ) 182.015 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 182.015 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 182.016 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 182.018 * * [simplify]: iteration done : 15 enodes (cost 5 ) 182.022 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 182.022 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 182.023 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 182.025 * * [simplify]: iteration done : 15 enodes (cost 5 ) 182.026 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 182.027 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 182.030 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 182.034 * * [simplify]: iteration 3 : 59 enodes (cost 7 ) 182.041 * * [simplify]: iteration 4 : 68 enodes (cost 7 ) 182.049 * * [simplify]: iteration 5 : 78 enodes (cost 7 ) 182.058 * * [simplify]: iteration 6 : 99 enodes (cost 7 ) 182.073 * * [simplify]: iteration 7 : 165 enodes (cost 7 ) 182.126 * * [simplify]: iteration 8 : 378 enodes (cost 7 ) 182.572 * * [simplify]: iteration 9 : 1315 enodes (cost 7 ) 184.916 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 184.917 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 184.917 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 184.920 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 184.925 * * [simplify]: iteration 3 : 59 enodes (cost 7 ) 184.931 * * [simplify]: iteration 4 : 68 enodes (cost 7 ) 184.944 * * [simplify]: iteration 5 : 78 enodes (cost 7 ) 184.953 * * [simplify]: iteration 6 : 99 enodes (cost 7 ) 184.967 * * [simplify]: iteration 7 : 165 enodes (cost 7 ) 185.021 * * [simplify]: iteration 8 : 378 enodes (cost 7 ) 185.462 * * [simplify]: iteration 9 : 1315 enodes (cost 7 ) 187.806 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 187.807 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 187.808 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 187.811 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 187.815 * * [simplify]: iteration 3 : 59 enodes (cost 7 ) 187.822 * * [simplify]: iteration 4 : 68 enodes (cost 7 ) 187.830 * * [simplify]: iteration 5 : 78 enodes (cost 7 ) 187.839 * * [simplify]: iteration 6 : 99 enodes (cost 7 ) 187.853 * * [simplify]: iteration 7 : 165 enodes (cost 7 ) 187.905 * * [simplify]: iteration 8 : 378 enodes (cost 7 ) 188.348 * * [simplify]: iteration 9 : 1315 enodes (cost 7 ) 190.735 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 190.735 * [simplify]: Simplified to: (* (* 3 x.re) x.im) (* (* 3 x.re) x.im) (+ (+ (log 3) (log x.re)) (log x.im)) (+ (log (* 3 x.re)) (log x.im)) (log (* (* 3 x.re) x.im)) (exp (* (* 3 x.re) x.im)) (* (pow (* x.im x.re) 3) 27) (pow (* (* 3 x.re) x.im) 3) (* (cbrt (* (* 3 x.re) x.im)) (cbrt (* (* 3 x.re) x.im))) (cbrt (* (* 3 x.re) x.im)) (pow (* (* 3 x.re) x.im) 3) (sqrt (* (* 3 x.re) x.im)) (sqrt (* (* 3 x.re) x.im)) (* (* 3 x.re) (* (cbrt x.im) (cbrt x.im))) (* (* 3 x.re) (sqrt x.im)) (* 3 x.re) (* x.re x.im) (* (* (* 3 x.re) x.im) x.re) (* (* (* 3 x.re) x.im) x.re) (* (* (* 3 x.re) x.im) x.re) (+ (* 2 (log x.re)) (+ (log 3) (log x.im))) (+ (+ (log (* 3 x.re)) (log x.im)) (log x.re)) (+ (log (* (* 3 x.re) x.im)) (log x.re)) (log (* (* (* 3 x.re) x.im) x.re)) (exp (* (* (* 3 x.re) x.im) x.re)) (* (* (pow x.im 3) (pow x.re 6)) 27) (* (pow x.re 3) (pow (* (* 3 x.re) x.im) 3)) (pow (* (* (* 3 x.re) x.re) x.im) 3) (* (cbrt (* (* (* 3 x.re) x.im) x.re)) (cbrt (* (* (* 3 x.re) x.im) x.re))) (cbrt (* (* (* 3 x.re) x.im) x.re)) (pow (* (* (* 3 x.re) x.im) x.re) 3) (sqrt (* (* (* 3 x.re) x.im) x.re)) (sqrt (* (* (* 3 x.re) x.im) x.re)) (* (* (* 3 x.re) x.im) (* (cbrt x.re) (cbrt x.re))) (* (* (* 3 x.re) x.im) (sqrt x.re)) (* (* 3 x.re) x.im) (* x.im x.re) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) 190.735 * * * [progress]: adding candidates to table 190.798 * * [progress]: iteration 4 / 4 190.798 * * * [progress]: picking best candidate 190.814 * * * * [pick]: Picked # 190.814 * * * [progress]: localizing error 190.821 * * * [progress]: generating rewritten candidates 190.821 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 190.829 * * * [progress]: generating series expansions 190.829 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 190.830 * [approximate]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 190.830 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 190.830 * [taylor]: Taking taylor expansion of 3 in x.im 190.830 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 190.830 * [taylor]: Taking taylor expansion of x.im in x.im 190.830 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 190.830 * [taylor]: Taking taylor expansion of x.re in x.im 190.830 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 190.830 * [taylor]: Taking taylor expansion of 3 in x.re 190.830 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 190.830 * [taylor]: Taking taylor expansion of x.im in x.re 190.830 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 190.830 * [taylor]: Taking taylor expansion of x.re in x.re 190.830 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 190.830 * [taylor]: Taking taylor expansion of 3 in x.re 190.830 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 190.830 * [taylor]: Taking taylor expansion of x.im in x.re 190.830 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 190.830 * [taylor]: Taking taylor expansion of x.re in x.re 190.830 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 190.830 * [taylor]: Taking taylor expansion of 3 in x.im 190.830 * [taylor]: Taking taylor expansion of x.im in x.im 190.830 * [taylor]: Taking taylor expansion of 0 in x.im 190.830 * [taylor]: Taking taylor expansion of 0 in x.im 190.831 * [taylor]: Taking taylor expansion of 0 in x.im 190.831 * [approximate]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 190.831 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.im 190.831 * [taylor]: Taking taylor expansion of 3 in x.im 190.831 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 190.831 * [taylor]: Taking taylor expansion of x.im in x.im 190.831 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 190.831 * [taylor]: Taking taylor expansion of x.re in x.im 190.831 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 190.831 * [taylor]: Taking taylor expansion of 3 in x.re 190.831 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 190.831 * [taylor]: Taking taylor expansion of x.im in x.re 190.831 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 190.831 * [taylor]: Taking taylor expansion of x.re in x.re 190.831 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 190.831 * [taylor]: Taking taylor expansion of 3 in x.re 190.831 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 190.831 * [taylor]: Taking taylor expansion of x.im in x.re 190.831 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 190.831 * [taylor]: Taking taylor expansion of x.re in x.re 190.831 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 190.831 * [taylor]: Taking taylor expansion of 3 in x.im 190.831 * [taylor]: Taking taylor expansion of x.im in x.im 190.832 * [taylor]: Taking taylor expansion of 0 in x.im 190.832 * [taylor]: Taking taylor expansion of 0 in x.im 190.832 * [taylor]: Taking taylor expansion of 0 in x.im 190.832 * [approximate]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 190.832 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.im 190.832 * [taylor]: Taking taylor expansion of -3 in x.im 190.832 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 190.833 * [taylor]: Taking taylor expansion of x.im in x.im 190.833 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 190.833 * [taylor]: Taking taylor expansion of x.re in x.im 190.833 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 190.833 * [taylor]: Taking taylor expansion of -3 in x.re 190.833 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 190.833 * [taylor]: Taking taylor expansion of x.im in x.re 190.833 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 190.833 * [taylor]: Taking taylor expansion of x.re in x.re 190.833 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 190.833 * [taylor]: Taking taylor expansion of -3 in x.re 190.833 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 190.833 * [taylor]: Taking taylor expansion of x.im in x.re 190.833 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 190.833 * [taylor]: Taking taylor expansion of x.re in x.re 190.833 * [taylor]: Taking taylor expansion of (/ -3 x.im) in x.im 190.833 * [taylor]: Taking taylor expansion of -3 in x.im 190.833 * [taylor]: Taking taylor expansion of x.im in x.im 190.833 * [taylor]: Taking taylor expansion of 0 in x.im 190.834 * [taylor]: Taking taylor expansion of 0 in x.im 190.834 * [taylor]: Taking taylor expansion of 0 in x.im 190.834 * * * [progress]: simplifying candidates 190.834 * [simplify]: Simplifying using # : (* (* 3 x.re) (* x.im x.re)) (* (* 3 x.re) (* x.im x.re)) (* (* 3 x.re) (* x.im x.re)) (* (* 3 x.re) (* x.im x.re)) (+ (+ (log 3) (log x.re)) (+ (log x.im) (log x.re))) (+ (+ (log 3) (log x.re)) (log (* x.im x.re))) (+ (log (* 3 x.re)) (+ (log x.im) (log x.re))) (+ (log (* 3 x.re)) (log (* x.im x.re))) (log (* (* 3 x.re) (* x.im x.re))) (exp (* (* 3 x.re) (* x.im x.re))) (* (* (* (* 3 3) 3) (* (* x.re x.re) x.re)) (* (* (* x.im x.im) x.im) (* (* x.re x.re) x.re))) (* (* (* (* 3 3) 3) (* (* x.re x.re) x.re)) (* (* (* x.im x.re) (* x.im x.re)) (* x.im x.re))) (* (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re)) (* (* (* x.im x.im) x.im) (* (* x.re x.re) x.re))) (* (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re)) (* (* (* x.im x.re) (* x.im x.re)) (* x.im x.re))) (* (cbrt (* (* 3 x.re) (* x.im x.re))) (cbrt (* (* 3 x.re) (* x.im x.re)))) (cbrt (* (* 3 x.re) (* x.im x.re))) (* (* (* (* 3 x.re) (* x.im x.re)) (* (* 3 x.re) (* x.im x.re))) (* (* 3 x.re) (* x.im x.re))) (sqrt (* (* 3 x.re) (* x.im x.re))) (sqrt (* (* 3 x.re) (* x.im x.re))) (* (* 3 x.re) x.im) (* x.re (* x.im x.re)) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) 190.835 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 190.836 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 190.838 * * [simplify]: iteration 2 : 28 enodes (cost 7 ) 190.846 * * [simplify]: iteration 3 : 36 enodes (cost 7 ) 190.852 * * [simplify]: iteration 4 : 37 enodes (cost 7 ) 190.858 * * [simplify]: iteration done : 37 enodes (cost 7 ) 190.859 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 190.860 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 190.862 * * [simplify]: iteration 2 : 28 enodes (cost 7 ) 190.867 * * [simplify]: iteration 3 : 36 enodes (cost 7 ) 190.873 * * [simplify]: iteration 4 : 37 enodes (cost 7 ) 190.879 * * [simplify]: iteration done : 37 enodes (cost 7 ) 190.879 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 190.880 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 190.882 * * [simplify]: iteration 2 : 28 enodes (cost 7 ) 190.887 * * [simplify]: iteration 3 : 36 enodes (cost 7 ) 190.892 * * [simplify]: iteration 4 : 37 enodes (cost 7 ) 190.901 * * [simplify]: iteration done : 37 enodes (cost 7 ) 190.901 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 190.902 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 190.904 * * [simplify]: iteration 2 : 28 enodes (cost 7 ) 190.909 * * [simplify]: iteration 3 : 36 enodes (cost 7 ) 190.915 * * [simplify]: iteration 4 : 37 enodes (cost 7 ) 190.921 * * [simplify]: iteration done : 37 enodes (cost 7 ) 190.922 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 190.923 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 190.925 * * [simplify]: iteration 2 : 31 enodes (cost 11 ) 190.929 * * [simplify]: iteration 3 : 40 enodes (cost 10 ) 190.935 * * [simplify]: iteration 4 : 42 enodes (cost 10 ) 190.940 * * [simplify]: iteration done : 42 enodes (cost 10 ) 190.941 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 190.942 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 190.944 * * [simplify]: iteration 2 : 27 enodes (cost 10 ) 190.947 * * [simplify]: iteration 3 : 42 enodes (cost 10 ) 190.953 * * [simplify]: iteration 4 : 47 enodes (cost 10 ) 190.962 * * [simplify]: iteration 5 : 48 enodes (cost 10 ) 190.968 * * [simplify]: iteration done : 48 enodes (cost 10 ) 190.968 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 190.969 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 190.971 * * [simplify]: iteration 2 : 28 enodes (cost 10 ) 190.975 * * [simplify]: iteration 3 : 40 enodes (cost 10 ) 190.981 * * [simplify]: iteration 4 : 45 enodes (cost 10 ) 190.987 * * [simplify]: iteration 5 : 46 enodes (cost 10 ) 190.993 * * [simplify]: iteration done : 46 enodes (cost 10 ) 190.993 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 190.994 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 190.996 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 190.999 * * [simplify]: iteration 3 : 41 enodes (cost 9 ) 191.005 * * [simplify]: iteration 4 : 48 enodes (cost 9 ) 191.013 * * [simplify]: iteration 5 : 50 enodes (cost 9 ) 191.020 * * [simplify]: iteration done : 50 enodes (cost 9 ) 191.021 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 191.021 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 191.024 * * [simplify]: iteration 2 : 45 enodes (cost 8 ) 191.032 * * [simplify]: iteration 3 : 78 enodes (cost 8 ) 191.043 * * [simplify]: iteration 4 : 96 enodes (cost 8 ) 191.055 * * [simplify]: iteration 5 : 99 enodes (cost 8 ) 191.071 * * [simplify]: iteration 6 : 100 enodes (cost 8 ) 191.084 * * [simplify]: iteration done : 100 enodes (cost 8 ) 191.085 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 191.086 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 191.089 * * [simplify]: iteration 2 : 45 enodes (cost 8 ) 191.096 * * [simplify]: iteration 3 : 92 enodes (cost 8 ) 191.112 * * [simplify]: iteration 4 : 197 enodes (cost 8 ) 191.154 * * [simplify]: iteration 5 : 459 enodes (cost 8 ) 191.430 * * [simplify]: iteration 6 : 1214 enodes (cost 8 ) 193.335 * * [simplify]: iteration 7 : 4105 enodes (cost 8 ) 194.492 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 194.493 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 194.495 * * [simplify]: iteration 1 : 32 enodes (cost 19 ) 194.501 * * [simplify]: iteration 2 : 116 enodes (cost 13 ) 194.556 * * [simplify]: iteration 3 : 513 enodes (cost 9 ) 195.349 * * [simplify]: iteration 4 : 2060 enodes (cost 9 ) 197.818 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 197.819 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 197.822 * * [simplify]: iteration 1 : 36 enodes (cost 19 ) 197.828 * * [simplify]: iteration 2 : 128 enodes (cost 11 ) 197.896 * * [simplify]: iteration 3 : 614 enodes (cost 11 ) 198.977 * * [simplify]: iteration 4 : 2285 enodes (cost 11 ) 202.419 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 202.420 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 202.422 * * [simplify]: iteration 1 : 35 enodes (cost 21 ) 202.429 * * [simplify]: iteration 2 : 139 enodes (cost 13 ) 202.511 * * [simplify]: iteration 3 : 687 enodes (cost 13 ) 203.925 * * [simplify]: iteration 4 : 2917 enodes (cost 11 ) 206.296 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 206.296 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 206.298 * * [simplify]: iteration 1 : 37 enodes (cost 21 ) 206.311 * * [simplify]: iteration 2 : 143 enodes (cost 11 ) 206.402 * * [simplify]: iteration 3 : 737 enodes (cost 11 ) 208.114 * * [simplify]: iteration 4 : 2946 enodes (cost 9 ) 212.282 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 212.283 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 212.284 * * [simplify]: iteration 1 : 15 enodes (cost 17 ) 212.286 * * [simplify]: iteration 2 : 30 enodes (cost 17 ) 212.294 * * [simplify]: iteration 3 : 36 enodes (cost 17 ) 212.300 * * [simplify]: iteration 4 : 37 enodes (cost 17 ) 212.307 * * [simplify]: iteration done : 37 enodes (cost 17 ) 212.308 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 212.309 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 212.311 * * [simplify]: iteration 2 : 30 enodes (cost 8 ) 212.315 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 212.321 * * [simplify]: iteration 4 : 39 enodes (cost 8 ) 212.327 * * [simplify]: iteration done : 39 enodes (cost 8 ) 212.328 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 212.329 * * [simplify]: iteration 1 : 25 enodes (cost 23 ) 212.336 * * [simplify]: iteration 2 : 135 enodes (cost 9 ) 212.443 * * [simplify]: iteration 3 : 719 enodes (cost 9 ) 214.521 * * [simplify]: iteration 4 : 2582 enodes (cost 9 ) 223.403 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 223.403 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 223.404 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 223.406 * * [simplify]: iteration 2 : 30 enodes (cost 8 ) 223.411 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 223.417 * * [simplify]: iteration 4 : 39 enodes (cost 8 ) 223.423 * * [simplify]: iteration done : 39 enodes (cost 8 ) 223.424 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 223.425 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 223.427 * * [simplify]: iteration 2 : 30 enodes (cost 8 ) 223.434 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 223.440 * * [simplify]: iteration 4 : 39 enodes (cost 8 ) 223.446 * * [simplify]: iteration done : 39 enodes (cost 8 ) 223.447 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 223.447 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 223.449 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 223.451 * * [simplify]: iteration done : 15 enodes (cost 5 ) 223.451 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 223.452 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 223.453 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 223.454 * * [simplify]: iteration done : 9 enodes (cost 5 ) 223.454 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 223.455 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 223.458 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 223.463 * * [simplify]: iteration 3 : 59 enodes (cost 7 ) 223.470 * * [simplify]: iteration 4 : 68 enodes (cost 7 ) 223.477 * * [simplify]: iteration 5 : 78 enodes (cost 7 ) 223.486 * * [simplify]: iteration 6 : 99 enodes (cost 7 ) 223.504 * * [simplify]: iteration 7 : 165 enodes (cost 7 ) 223.560 * * [simplify]: iteration 8 : 378 enodes (cost 7 ) 224.011 * * [simplify]: iteration 9 : 1315 enodes (cost 7 ) 226.388 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 226.388 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 226.389 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 226.392 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 226.397 * * [simplify]: iteration 3 : 59 enodes (cost 7 ) 226.410 * * [simplify]: iteration 4 : 68 enodes (cost 7 ) 226.417 * * [simplify]: iteration 5 : 78 enodes (cost 7 ) 226.426 * * [simplify]: iteration 6 : 99 enodes (cost 7 ) 226.440 * * [simplify]: iteration 7 : 165 enodes (cost 7 ) 226.494 * * [simplify]: iteration 8 : 378 enodes (cost 7 ) 226.946 * * [simplify]: iteration 9 : 1315 enodes (cost 7 ) 229.315 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 229.315 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 229.316 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 229.319 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 229.324 * * [simplify]: iteration 3 : 59 enodes (cost 7 ) 229.331 * * [simplify]: iteration 4 : 68 enodes (cost 7 ) 229.339 * * [simplify]: iteration 5 : 78 enodes (cost 7 ) 229.348 * * [simplify]: iteration 6 : 99 enodes (cost 7 ) 229.366 * * [simplify]: iteration 7 : 165 enodes (cost 7 ) 229.421 * * [simplify]: iteration 8 : 378 enodes (cost 7 ) 229.869 * * [simplify]: iteration 9 : 1315 enodes (cost 7 ) 232.248 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 232.249 * [simplify]: Simplified to: (* (* 3 x.re) (* x.im x.re)) (* (* 3 x.re) (* x.im x.re)) (* (* 3 x.re) (* x.im x.re)) (* (* 3 x.re) (* x.im x.re)) (+ (log x.im) (+ (log 3) (* 2 (log x.re)))) (+ (+ (log 3) (log x.re)) (log (* x.im x.re))) (+ (log (* 3 x.re)) (+ (log x.im) (log x.re))) (+ (log (* 3 x.re)) (log (* x.im x.re))) (log (* (* 3 x.re) (* x.im x.re))) (exp (* (* 3 x.re) (* x.im x.re))) (* (pow x.re 6) (* 27 (pow x.im 3))) (* (pow x.re 3) (* 27 (pow (* x.im x.re) 3))) (* (pow (* 3 x.re) 3) (pow (* x.im x.re) 3)) (pow (* (* 3 x.re) (* x.im x.re)) 3) (* (cbrt (* (* 3 x.re) (* x.im x.re))) (cbrt (* (* 3 x.re) (* x.im x.re)))) (cbrt (* (* 3 x.re) (* x.im x.re))) (pow (* (* 3 x.re) (* x.im x.re)) 3) (sqrt (* (* 3 x.re) (* x.im x.re))) (sqrt (* (* 3 x.re) (* x.im x.re))) (* (* 3 x.re) x.im) (* x.re (* x.im x.re)) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) 232.249 * * * [progress]: adding candidates to table 232.286 * [progress]: [Phase 3 of 3] Extracting. 232.286 * * [regime]: Finding splitpoints for: (# # # # # # #) 232.287 * * * [regime-changes]: Trying 2 branch expressions: (x.im x.re) 232.287 * * * * [regimes]: Trying to branch on x.im from (# # # # # # #) 232.338 * * * * [regimes]: Trying to branch on x.re from (# # # # # # #) 232.387 * * * [regime]: Found split indices: #