553.481 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.028 * * * [progress]: [2/2] Setting up program. 0.032 * [progress]: [Phase 2 of 3] Improving. 0.032 * [simplify]: Simplifying using # : (+ (+ (+ (* x y) (* z z)) (* z z)) (* z z)) 0.033 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 0.034 * * [simplify]: iteration 1 : 15 enodes (cost 15 ) 0.036 * * [simplify]: iteration 2 : 25 enodes (cost 13 ) 0.040 * * [simplify]: iteration 3 : 38 enodes (cost 9 ) 0.052 * * [simplify]: iteration 4 : 46 enodes (cost 9 ) 0.058 * * [simplify]: iteration 5 : 47 enodes (cost 9 ) 0.065 * * [simplify]: iteration done : 47 enodes (cost 9 ) 0.065 * [simplify]: Simplified to: (+ (* x y) (* 3 (* z z))) 0.069 * * [progress]: iteration 1 / 4 0.070 * * * [progress]: picking best candidate 0.072 * * * * [pick]: Picked # 0.072 * * * [progress]: localizing error 0.079 * * * [progress]: generating rewritten candidates 0.079 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.085 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.090 * * * [progress]: generating series expansions 0.090 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.090 * [approximate]: Taking taylor expansion of (* 3 (pow z 2)) in (z) around 0 0.090 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z 0.090 * [taylor]: Taking taylor expansion of 3 in z 0.090 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.090 * [taylor]: Taking taylor expansion of z in z 0.090 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z 0.090 * [taylor]: Taking taylor expansion of 3 in z 0.090 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.090 * [taylor]: Taking taylor expansion of z in z 0.091 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0 0.091 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 0.091 * [taylor]: Taking taylor expansion of 3 in z 0.091 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.091 * [taylor]: Taking taylor expansion of z in z 0.091 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 0.091 * [taylor]: Taking taylor expansion of 3 in z 0.091 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.091 * [taylor]: Taking taylor expansion of z in z 0.092 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0 0.092 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 0.092 * [taylor]: Taking taylor expansion of 3 in z 0.092 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.092 * [taylor]: Taking taylor expansion of z in z 0.092 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 0.092 * [taylor]: Taking taylor expansion of 3 in z 0.092 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.092 * [taylor]: Taking taylor expansion of z in z 0.094 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.094 * [approximate]: Taking taylor expansion of (+ (* 3 (pow z 2)) (* x y)) in (x y z) around 0 0.094 * [taylor]: Taking taylor expansion of (+ (* 3 (pow z 2)) (* x y)) in z 0.094 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z 0.094 * [taylor]: Taking taylor expansion of 3 in z 0.094 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.094 * [taylor]: Taking taylor expansion of z in z 0.094 * [taylor]: Taking taylor expansion of (* x y) in z 0.094 * [taylor]: Taking taylor expansion of x in z 0.094 * [taylor]: Taking taylor expansion of y in z 0.094 * [taylor]: Taking taylor expansion of (+ (* 3 (pow z 2)) (* x y)) in y 0.094 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in y 0.094 * [taylor]: Taking taylor expansion of 3 in y 0.094 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.094 * [taylor]: Taking taylor expansion of z in y 0.094 * [taylor]: Taking taylor expansion of (* x y) in y 0.094 * [taylor]: Taking taylor expansion of x in y 0.094 * [taylor]: Taking taylor expansion of y in y 0.094 * [taylor]: Taking taylor expansion of (+ (* 3 (pow z 2)) (* x y)) in x 0.094 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in x 0.094 * [taylor]: Taking taylor expansion of 3 in x 0.094 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.094 * [taylor]: Taking taylor expansion of z in x 0.094 * [taylor]: Taking taylor expansion of (* x y) in x 0.094 * [taylor]: Taking taylor expansion of x in x 0.094 * [taylor]: Taking taylor expansion of y in x 0.094 * [taylor]: Taking taylor expansion of (+ (* 3 (pow z 2)) (* x y)) in x 0.094 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in x 0.094 * [taylor]: Taking taylor expansion of 3 in x 0.094 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.094 * [taylor]: Taking taylor expansion of z in x 0.094 * [taylor]: Taking taylor expansion of (* x y) in x 0.094 * [taylor]: Taking taylor expansion of x in x 0.094 * [taylor]: Taking taylor expansion of y in x 0.095 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in y 0.095 * [taylor]: Taking taylor expansion of 3 in y 0.095 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.095 * [taylor]: Taking taylor expansion of z in y 0.095 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z 0.095 * [taylor]: Taking taylor expansion of 3 in z 0.095 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.095 * [taylor]: Taking taylor expansion of z in z 0.095 * [taylor]: Taking taylor expansion of y in y 0.095 * [taylor]: Taking taylor expansion of 0 in z 0.095 * [taylor]: Taking taylor expansion of 0 in z 0.095 * [taylor]: Taking taylor expansion of 0 in y 0.095 * [taylor]: Taking taylor expansion of 0 in z 0.095 * [taylor]: Taking taylor expansion of 1 in z 0.096 * [taylor]: Taking taylor expansion of 0 in z 0.096 * [taylor]: Taking taylor expansion of 0 in y 0.096 * [taylor]: Taking taylor expansion of 0 in z 0.096 * [taylor]: Taking taylor expansion of 0 in z 0.096 * [taylor]: Taking taylor expansion of 0 in z 0.096 * [taylor]: Taking taylor expansion of 0 in z 0.097 * [approximate]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in (x y z) around 0 0.097 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in z 0.097 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in z 0.097 * [taylor]: Taking taylor expansion of 3 in z 0.097 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.097 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.097 * [taylor]: Taking taylor expansion of z in z 0.097 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 0.097 * [taylor]: Taking taylor expansion of (* x y) in z 0.097 * [taylor]: Taking taylor expansion of x in z 0.097 * [taylor]: Taking taylor expansion of y in z 0.097 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in y 0.097 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in y 0.097 * [taylor]: Taking taylor expansion of 3 in y 0.097 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 0.097 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.097 * [taylor]: Taking taylor expansion of z in y 0.097 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.097 * [taylor]: Taking taylor expansion of (* x y) in y 0.097 * [taylor]: Taking taylor expansion of x in y 0.097 * [taylor]: Taking taylor expansion of y in y 0.097 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in x 0.097 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x 0.097 * [taylor]: Taking taylor expansion of 3 in x 0.097 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 0.097 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.097 * [taylor]: Taking taylor expansion of z in x 0.097 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.097 * [taylor]: Taking taylor expansion of (* x y) in x 0.097 * [taylor]: Taking taylor expansion of x in x 0.097 * [taylor]: Taking taylor expansion of y in x 0.097 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in x 0.097 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x 0.097 * [taylor]: Taking taylor expansion of 3 in x 0.097 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 0.098 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.098 * [taylor]: Taking taylor expansion of z in x 0.098 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.098 * [taylor]: Taking taylor expansion of (* x y) in x 0.098 * [taylor]: Taking taylor expansion of x in x 0.098 * [taylor]: Taking taylor expansion of y in x 0.098 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.098 * [taylor]: Taking taylor expansion of y in y 0.098 * [taylor]: Taking taylor expansion of 1 in z 0.098 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in y 0.098 * [taylor]: Taking taylor expansion of 3 in y 0.098 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 0.098 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.098 * [taylor]: Taking taylor expansion of z in y 0.098 * [taylor]: Taking taylor expansion of 0 in z 0.099 * [taylor]: Taking taylor expansion of 0 in y 0.099 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 0.099 * [taylor]: Taking taylor expansion of 3 in z 0.099 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.099 * [taylor]: Taking taylor expansion of z in z 0.099 * [taylor]: Taking taylor expansion of 0 in z 0.100 * [taylor]: Taking taylor expansion of 0 in y 0.100 * [taylor]: Taking taylor expansion of 0 in z 0.100 * [taylor]: Taking taylor expansion of 0 in z 0.100 * [taylor]: Taking taylor expansion of 0 in z 0.101 * [taylor]: Taking taylor expansion of 0 in y 0.101 * [taylor]: Taking taylor expansion of 0 in z 0.101 * [taylor]: Taking taylor expansion of 0 in z 0.101 * [taylor]: Taking taylor expansion of 0 in z 0.101 * [taylor]: Taking taylor expansion of 0 in z 0.102 * [approximate]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in (x y z) around 0 0.102 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in z 0.102 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in z 0.102 * [taylor]: Taking taylor expansion of 3 in z 0.102 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.102 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.102 * [taylor]: Taking taylor expansion of z in z 0.102 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 0.102 * [taylor]: Taking taylor expansion of (* x y) in z 0.102 * [taylor]: Taking taylor expansion of x in z 0.102 * [taylor]: Taking taylor expansion of y in z 0.102 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in y 0.102 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in y 0.102 * [taylor]: Taking taylor expansion of 3 in y 0.102 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 0.102 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.102 * [taylor]: Taking taylor expansion of z in y 0.103 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.103 * [taylor]: Taking taylor expansion of (* x y) in y 0.103 * [taylor]: Taking taylor expansion of x in y 0.103 * [taylor]: Taking taylor expansion of y in y 0.103 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in x 0.103 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x 0.103 * [taylor]: Taking taylor expansion of 3 in x 0.103 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 0.103 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.103 * [taylor]: Taking taylor expansion of z in x 0.103 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.103 * [taylor]: Taking taylor expansion of (* x y) in x 0.103 * [taylor]: Taking taylor expansion of x in x 0.103 * [taylor]: Taking taylor expansion of y in x 0.103 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in x 0.103 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x 0.103 * [taylor]: Taking taylor expansion of 3 in x 0.103 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 0.103 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.103 * [taylor]: Taking taylor expansion of z in x 0.103 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.103 * [taylor]: Taking taylor expansion of (* x y) in x 0.103 * [taylor]: Taking taylor expansion of x in x 0.103 * [taylor]: Taking taylor expansion of y in x 0.104 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.104 * [taylor]: Taking taylor expansion of y in y 0.104 * [taylor]: Taking taylor expansion of 1 in z 0.104 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in y 0.104 * [taylor]: Taking taylor expansion of 3 in y 0.104 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 0.104 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.104 * [taylor]: Taking taylor expansion of z in y 0.104 * [taylor]: Taking taylor expansion of 0 in z 0.104 * [taylor]: Taking taylor expansion of 0 in y 0.105 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 0.105 * [taylor]: Taking taylor expansion of 3 in z 0.105 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.105 * [taylor]: Taking taylor expansion of z in z 0.105 * [taylor]: Taking taylor expansion of 0 in z 0.105 * [taylor]: Taking taylor expansion of 0 in y 0.105 * [taylor]: Taking taylor expansion of 0 in z 0.106 * [taylor]: Taking taylor expansion of 0 in z 0.106 * [taylor]: Taking taylor expansion of 0 in z 0.106 * [taylor]: Taking taylor expansion of 0 in y 0.106 * [taylor]: Taking taylor expansion of 0 in z 0.106 * [taylor]: Taking taylor expansion of 0 in z 0.107 * [taylor]: Taking taylor expansion of 0 in z 0.107 * [taylor]: Taking taylor expansion of 0 in z 0.107 * * * [progress]: simplifying candidates 0.108 * [simplify]: Simplifying using # : (* 3 (* z z)) (* 3 (* z z)) (+ (log 3) (+ (log z) (log z))) (+ (log 3) (log (* z z))) (log (* 3 (* z z))) (exp (* 3 (* z z))) (* (* (* 3 3) 3) (* (* (* z z) z) (* (* z z) z))) (* (* (* 3 3) 3) (* (* (* z z) (* z z)) (* z z))) (* (cbrt (* 3 (* z z))) (cbrt (* 3 (* z z)))) (cbrt (* 3 (* z z))) (* (* (* 3 (* z z)) (* 3 (* z z))) (* 3 (* z z))) (sqrt (* 3 (* z z))) (sqrt (* 3 (* z z))) (* (sqrt 3) z) (* (sqrt 3) z) (* 3 z) (* (cbrt 3) (* z z)) (* (sqrt 3) (* z z)) (* 3 (* z z)) (* (exp (* x y)) (exp (* 3 (* z z)))) (log (+ (* x y) (* 3 (* z z)))) (exp (+ (* x y) (* 3 (* z z)))) (* (cbrt (+ (* x y) (* 3 (* z z)))) (cbrt (+ (* x y) (* 3 (* z z))))) (cbrt (+ (* x y) (* 3 (* z z)))) (* (* (+ (* x y) (* 3 (* z z))) (+ (* x y) (* 3 (* z z)))) (+ (* x y) (* 3 (* z z)))) (sqrt (+ (* x y) (* 3 (* z z)))) (sqrt (+ (* x y) (* 3 (* z z)))) (+ (pow (* x y) 3) (pow (* 3 (* z z)) 3)) (+ (* (* x y) (* x y)) (- (* (* 3 (* z z)) (* 3 (* z z))) (* (* x y) (* 3 (* z z))))) (- (* (* x y) (* x y)) (* (* 3 (* z z)) (* 3 (* z z)))) (- (* x y) (* 3 (* z z))) (* 3 (pow z 2)) (* 3 (pow z 2)) (* 3 (pow z 2)) (+ (* 3 (pow z 2)) (* x y)) (+ (* 3 (pow z 2)) (* x y)) (+ (* 3 (pow z 2)) (* x y)) 0.108 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 0.109 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 0.110 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 0.111 * * [simplify]: iteration done : 9 enodes (cost 5 ) 0.111 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 0.112 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 0.113 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 0.114 * * [simplify]: iteration done : 9 enodes (cost 5 ) 0.114 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 0.115 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 0.116 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 0.118 * * [simplify]: iteration done : 14 enodes (cost 7 ) 0.119 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.119 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 0.120 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 0.122 * * [simplify]: iteration 3 : 16 enodes (cost 7 ) 0.124 * * [simplify]: iteration done : 16 enodes (cost 7 ) 0.124 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 0.128 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 0.130 * * [simplify]: iteration 2 : 18 enodes (cost 6 ) 0.132 * * [simplify]: iteration 3 : 25 enodes (cost 6 ) 0.134 * * [simplify]: iteration 4 : 26 enodes (cost 6 ) 0.137 * * [simplify]: iteration done : 26 enodes (cost 6 ) 0.138 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 0.138 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 0.140 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 0.142 * * [simplify]: iteration 3 : 42 enodes (cost 6 ) 0.149 * * [simplify]: iteration 4 : 91 enodes (cost 6 ) 0.164 * * [simplify]: iteration 5 : 205 enodes (cost 6 ) 0.247 * * [simplify]: iteration 6 : 499 enodes (cost 6 ) 0.656 * * [simplify]: iteration 7 : 1480 enodes (cost 6 ) 2.431 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 2.432 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 2.433 * * [simplify]: iteration 1 : 23 enodes (cost 13 ) 2.437 * * [simplify]: iteration 2 : 64 enodes (cost 9 ) 2.454 * * [simplify]: iteration 3 : 150 enodes (cost 5 ) 2.524 * * [simplify]: iteration 4 : 307 enodes (cost 5 ) 2.743 * * [simplify]: iteration 5 : 767 enodes (cost 5 ) 3.717 * * [simplify]: iteration 6 : 2080 enodes (cost 5 ) 5.618 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 5.618 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 5.620 * * [simplify]: iteration 1 : 24 enodes (cost 13 ) 5.624 * * [simplify]: iteration 2 : 60 enodes (cost 7 ) 5.643 * * [simplify]: iteration 3 : 145 enodes (cost 5 ) 5.713 * * [simplify]: iteration 4 : 313 enodes (cost 5 ) 5.960 * * [simplify]: iteration 5 : 808 enodes (cost 5 ) 7.050 * * [simplify]: iteration 6 : 2206 enodes (cost 5 ) 9.661 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 9.662 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 9.663 * * [simplify]: iteration 1 : 9 enodes (cost 13 ) 9.664 * * [simplify]: iteration 2 : 11 enodes (cost 13 ) 9.665 * * [simplify]: iteration done : 11 enodes (cost 13 ) 9.666 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 9.666 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 9.667 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 9.668 * * [simplify]: iteration done : 10 enodes (cost 6 ) 9.669 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 9.670 * * [simplify]: iteration 1 : 20 enodes (cost 15 ) 9.674 * * [simplify]: iteration 2 : 68 enodes (cost 7 ) 9.703 * * [simplify]: iteration 3 : 224 enodes (cost 7 ) 9.858 * * [simplify]: iteration 4 : 339 enodes (cost 7 ) 10.068 * * [simplify]: iteration 5 : 461 enodes (cost 5 ) 10.558 * * [simplify]: iteration 6 : 1092 enodes (cost 5 ) 12.661 * * [simplify]: iteration 7 : 3054 enodes (cost 5 ) 15.063 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 15.064 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 15.064 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 15.065 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 15.066 * * [simplify]: iteration done : 10 enodes (cost 6 ) 15.067 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 15.068 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 15.069 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 15.070 * * [simplify]: iteration done : 10 enodes (cost 6 ) 15.070 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 15.071 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 15.071 * * [simplify]: iteration done : 5 enodes (cost 4 ) 15.072 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 15.072 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 15.073 * * [simplify]: iteration done : 5 enodes (cost 4 ) 15.073 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 15.074 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 15.074 * * [simplify]: iteration done : 4 enodes (cost 3 ) 15.075 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 15.075 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 15.076 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 15.077 * * [simplify]: iteration done : 10 enodes (cost 6 ) 15.078 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 15.079 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 15.080 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 15.081 * * [simplify]: iteration done : 10 enodes (cost 6 ) 15.081 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 15.082 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 15.083 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 15.084 * * [simplify]: iteration done : 9 enodes (cost 5 ) 15.084 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 15.086 * * [simplify]: iteration 1 : 21 enodes (cost 10 ) 15.089 * * [simplify]: iteration 2 : 37 enodes (cost 10 ) 15.094 * * [simplify]: iteration 3 : 79 enodes (cost 10 ) 15.110 * * [simplify]: iteration 4 : 256 enodes (cost 10 ) 15.244 * * [simplify]: iteration 5 : 969 enodes (cost 10 ) 17.092 * * [simplify]: iteration 6 : 4792 enodes (cost 10 ) 18.495 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 18.502 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 18.503 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 18.505 * * [simplify]: iteration 2 : 16 enodes (cost 10 ) 18.507 * * [simplify]: iteration done : 16 enodes (cost 10 ) 18.508 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 18.509 * * [simplify]: iteration 1 : 17 enodes (cost 10 ) 18.511 * * [simplify]: iteration 2 : 30 enodes (cost 10 ) 18.515 * * [simplify]: iteration 3 : 55 enodes (cost 10 ) 18.524 * * [simplify]: iteration 4 : 151 enodes (cost 10 ) 18.576 * * [simplify]: iteration 5 : 536 enodes (cost 10 ) 19.105 * * [simplify]: iteration 6 : 2194 enodes (cost 10 ) 20.132 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 20.132 * * [simplify]: iteration 0 : 10 enodes (cost 21 ) 20.133 * * [simplify]: iteration 1 : 15 enodes (cost 21 ) 20.135 * * [simplify]: iteration 2 : 17 enodes (cost 21 ) 20.137 * * [simplify]: iteration done : 17 enodes (cost 21 ) 20.138 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 20.139 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 20.141 * * [simplify]: iteration 2 : 16 enodes (cost 10 ) 20.143 * * [simplify]: iteration done : 16 enodes (cost 10 ) 20.144 * * [simplify]: iteration 0 : 10 enodes (cost 29 ) 20.152 * * [simplify]: iteration 1 : 28 enodes (cost 29 ) 20.158 * * [simplify]: iteration 2 : 101 enodes (cost 11 ) 20.192 * * [simplify]: iteration 3 : 429 enodes (cost 11 ) 20.524 * * [simplify]: iteration 4 : 1535 enodes (cost 11 ) 22.179 * * [simplify]: iteration 5 : 4299 enodes (cost 11 ) 24.255 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 24.256 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 24.257 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 24.258 * * [simplify]: iteration 2 : 16 enodes (cost 10 ) 24.260 * * [simplify]: iteration done : 16 enodes (cost 10 ) 24.261 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 24.262 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 24.264 * * [simplify]: iteration 2 : 16 enodes (cost 10 ) 24.266 * * [simplify]: iteration done : 16 enodes (cost 10 ) 24.266 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 24.273 * * [simplify]: iteration 1 : 35 enodes (cost 13 ) 24.281 * * [simplify]: iteration 2 : 115 enodes (cost 13 ) 24.318 * * [simplify]: iteration 3 : 349 enodes (cost 11 ) 24.527 * * [simplify]: iteration 4 : 683 enodes (cost 11 ) 25.028 * * [simplify]: iteration 5 : 1559 enodes (cost 11 ) 27.125 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 27.126 * * [simplify]: iteration 0 : 12 enodes (cost 29 ) 27.128 * * [simplify]: iteration 1 : 43 enodes (cost 23 ) 27.137 * * [simplify]: iteration 2 : 137 enodes (cost 23 ) 27.187 * * [simplify]: iteration 3 : 390 enodes (cost 21 ) 27.406 * * [simplify]: iteration 4 : 810 enodes (cost 19 ) 27.900 * * [simplify]: iteration 5 : 1110 enodes (cost 19 ) 28.460 * * [simplify]: iteration 6 : 1378 enodes (cost 19 ) 29.106 * * [simplify]: iteration 7 : 1949 enodes (cost 19 ) 31.476 * * [simplify]: iteration 8 : 4928 enodes (cost 19 ) 33.050 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 33.051 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 33.057 * * [simplify]: iteration 1 : 34 enodes (cost 17 ) 33.070 * * [simplify]: iteration 2 : 91 enodes (cost 17 ) 33.095 * * [simplify]: iteration 3 : 229 enodes (cost 15 ) 33.211 * * [simplify]: iteration 4 : 478 enodes (cost 13 ) 33.444 * * [simplify]: iteration 5 : 798 enodes (cost 13 ) 33.847 * * [simplify]: iteration 6 : 1353 enodes (cost 13 ) 35.325 * * [simplify]: iteration 7 : 2976 enodes (cost 13 ) 37.014 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 37.015 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 37.016 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 37.018 * * [simplify]: iteration 2 : 28 enodes (cost 9 ) 37.029 * * [simplify]: iteration 3 : 40 enodes (cost 9 ) 37.034 * * [simplify]: iteration done : 40 enodes (cost 9 ) 37.035 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 37.036 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 37.037 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 37.039 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 37.041 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 37.044 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 37.048 * * [simplify]: iteration 6 : 69 enodes (cost 5 ) 37.057 * * [simplify]: iteration 7 : 128 enodes (cost 5 ) 37.103 * * [simplify]: iteration 8 : 335 enodes (cost 5 ) 37.577 * * [simplify]: iteration 9 : 1270 enodes (cost 5 ) 39.878 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 39.878 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 39.879 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 39.881 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 39.883 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 39.885 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 39.887 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 39.892 * * [simplify]: iteration 6 : 69 enodes (cost 5 ) 39.901 * * [simplify]: iteration 7 : 128 enodes (cost 5 ) 39.947 * * [simplify]: iteration 8 : 335 enodes (cost 5 ) 40.422 * * [simplify]: iteration 9 : 1270 enodes (cost 5 ) 42.709 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 42.710 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 42.711 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 42.712 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 42.714 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 42.716 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 42.719 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 42.723 * * [simplify]: iteration 6 : 69 enodes (cost 5 ) 42.738 * * [simplify]: iteration 7 : 128 enodes (cost 5 ) 42.780 * * [simplify]: iteration 8 : 335 enodes (cost 5 ) 43.246 * * [simplify]: iteration 9 : 1270 enodes (cost 5 ) 45.529 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 45.530 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 45.536 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 45.538 * * [simplify]: iteration 2 : 33 enodes (cost 9 ) 45.541 * * [simplify]: iteration 3 : 40 enodes (cost 9 ) 45.544 * * [simplify]: iteration 4 : 46 enodes (cost 9 ) 45.547 * * [simplify]: iteration 5 : 56 enodes (cost 9 ) 45.552 * * [simplify]: iteration 6 : 79 enodes (cost 9 ) 45.562 * * [simplify]: iteration 7 : 145 enodes (cost 9 ) 45.611 * * [simplify]: iteration 8 : 359 enodes (cost 9 ) 46.084 * * [simplify]: iteration 9 : 1283 enodes (cost 9 ) 48.412 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 48.413 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 48.414 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 48.416 * * [simplify]: iteration 2 : 33 enodes (cost 9 ) 48.419 * * [simplify]: iteration 3 : 40 enodes (cost 9 ) 48.423 * * [simplify]: iteration 4 : 46 enodes (cost 9 ) 48.431 * * [simplify]: iteration 5 : 56 enodes (cost 9 ) 48.436 * * [simplify]: iteration 6 : 79 enodes (cost 9 ) 48.446 * * [simplify]: iteration 7 : 145 enodes (cost 9 ) 48.494 * * [simplify]: iteration 8 : 359 enodes (cost 9 ) 48.955 * * [simplify]: iteration 9 : 1283 enodes (cost 9 ) 51.283 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 51.283 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 51.285 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 51.287 * * [simplify]: iteration 2 : 33 enodes (cost 9 ) 51.290 * * [simplify]: iteration 3 : 40 enodes (cost 9 ) 51.293 * * [simplify]: iteration 4 : 46 enodes (cost 9 ) 51.296 * * [simplify]: iteration 5 : 56 enodes (cost 9 ) 51.301 * * [simplify]: iteration 6 : 79 enodes (cost 9 ) 51.316 * * [simplify]: iteration 7 : 145 enodes (cost 9 ) 51.362 * * [simplify]: iteration 8 : 359 enodes (cost 9 ) 51.828 * * [simplify]: iteration 9 : 1283 enodes (cost 9 ) 54.150 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 54.151 * [simplify]: Simplified to: (* 3 (* z z)) (* 3 (* z z)) (+ (log 3) (* 2 (log z))) (+ (log 3) (log (* z z))) (log (* 3 (* z z))) (exp (* 3 (* z z))) (* 27 (pow z 6)) (* (pow z 6) 27) (* (cbrt (* 3 (* z z))) (cbrt (* 3 (* z z)))) (cbrt (* 3 (* z z))) (* (pow z 6) 27) (sqrt (* 3 (* z z))) (sqrt (* 3 (* z z))) (* (sqrt 3) z) (* (sqrt 3) z) (* 3 z) (* (cbrt 3) (* z z)) (* (sqrt 3) (* z z)) (* 3 (* z z)) (exp (+ (* x y) (* 3 (* z z)))) (log (+ (* x y) (* 3 (* z z)))) (exp (+ (* x y) (* 3 (* z z)))) (* (cbrt (+ (* x y) (* 3 (* z z)))) (cbrt (+ (* x y) (* 3 (* z z))))) (cbrt (+ (* x y) (* 3 (* z z)))) (pow (+ (* x y) (* 3 (* z z))) 3) (sqrt (+ (* x y) (* 3 (* z z)))) (sqrt (+ (* x y) (* 3 (* z z)))) (+ (pow (* x y) 3) (* 27 (pow z 6))) (- (* (pow z 4) 9) (* (* x y) (- (* 3 (* z z)) (* x y)))) (- (* (* x y) (* x y)) (* (pow z 4) 9)) (- (* x y) (* 3 (* z z))) (* 3 (pow z 2)) (* 3 (pow z 2)) (* 3 (pow z 2)) (+ (* 3 (pow z 2)) (* x y)) (+ (* 3 (pow z 2)) (* x y)) (+ (* 3 (pow z 2)) (* x y)) 54.151 * * * [progress]: adding candidates to table 54.206 * * [progress]: iteration 2 / 4 54.206 * * * [progress]: picking best candidate 54.219 * * * * [pick]: Picked # 54.219 * * * [progress]: localizing error 54.226 * * * [progress]: generating rewritten candidates 54.226 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 54.231 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 54.236 * * * [progress]: generating series expansions 54.236 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 54.236 * [approximate]: Taking taylor expansion of (* 3 (pow z 2)) in (z) around 0 54.236 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z 54.236 * [taylor]: Taking taylor expansion of 3 in z 54.236 * [taylor]: Taking taylor expansion of (pow z 2) in z 54.236 * [taylor]: Taking taylor expansion of z in z 54.236 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z 54.236 * [taylor]: Taking taylor expansion of 3 in z 54.236 * [taylor]: Taking taylor expansion of (pow z 2) in z 54.236 * [taylor]: Taking taylor expansion of z in z 54.237 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0 54.237 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 54.237 * [taylor]: Taking taylor expansion of 3 in z 54.237 * [taylor]: Taking taylor expansion of (pow z 2) in z 54.237 * [taylor]: Taking taylor expansion of z in z 54.237 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 54.237 * [taylor]: Taking taylor expansion of 3 in z 54.237 * [taylor]: Taking taylor expansion of (pow z 2) in z 54.237 * [taylor]: Taking taylor expansion of z in z 54.238 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0 54.238 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 54.238 * [taylor]: Taking taylor expansion of 3 in z 54.238 * [taylor]: Taking taylor expansion of (pow z 2) in z 54.238 * [taylor]: Taking taylor expansion of z in z 54.238 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 54.238 * [taylor]: Taking taylor expansion of 3 in z 54.238 * [taylor]: Taking taylor expansion of (pow z 2) in z 54.239 * [taylor]: Taking taylor expansion of z in z 54.240 * * * * [progress]: [ 2 / 2 ] generating series at (2) 54.240 * [approximate]: Taking taylor expansion of (+ (* 3 (pow z 2)) (* x y)) in (x y z) around 0 54.240 * [taylor]: Taking taylor expansion of (+ (* 3 (pow z 2)) (* x y)) in z 54.240 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z 54.240 * [taylor]: Taking taylor expansion of 3 in z 54.240 * [taylor]: Taking taylor expansion of (pow z 2) in z 54.240 * [taylor]: Taking taylor expansion of z in z 54.240 * [taylor]: Taking taylor expansion of (* x y) in z 54.240 * [taylor]: Taking taylor expansion of x in z 54.240 * [taylor]: Taking taylor expansion of y in z 54.240 * [taylor]: Taking taylor expansion of (+ (* 3 (pow z 2)) (* x y)) in y 54.240 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in y 54.240 * [taylor]: Taking taylor expansion of 3 in y 54.240 * [taylor]: Taking taylor expansion of (pow z 2) in y 54.240 * [taylor]: Taking taylor expansion of z in y 54.240 * [taylor]: Taking taylor expansion of (* x y) in y 54.240 * [taylor]: Taking taylor expansion of x in y 54.240 * [taylor]: Taking taylor expansion of y in y 54.240 * [taylor]: Taking taylor expansion of (+ (* 3 (pow z 2)) (* x y)) in x 54.240 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in x 54.240 * [taylor]: Taking taylor expansion of 3 in x 54.240 * [taylor]: Taking taylor expansion of (pow z 2) in x 54.240 * [taylor]: Taking taylor expansion of z in x 54.240 * [taylor]: Taking taylor expansion of (* x y) in x 54.240 * [taylor]: Taking taylor expansion of x in x 54.240 * [taylor]: Taking taylor expansion of y in x 54.240 * [taylor]: Taking taylor expansion of (+ (* 3 (pow z 2)) (* x y)) in x 54.240 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in x 54.240 * [taylor]: Taking taylor expansion of 3 in x 54.240 * [taylor]: Taking taylor expansion of (pow z 2) in x 54.240 * [taylor]: Taking taylor expansion of z in x 54.240 * [taylor]: Taking taylor expansion of (* x y) in x 54.240 * [taylor]: Taking taylor expansion of x in x 54.240 * [taylor]: Taking taylor expansion of y in x 54.241 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in y 54.241 * [taylor]: Taking taylor expansion of 3 in y 54.241 * [taylor]: Taking taylor expansion of (pow z 2) in y 54.241 * [taylor]: Taking taylor expansion of z in y 54.241 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z 54.241 * [taylor]: Taking taylor expansion of 3 in z 54.241 * [taylor]: Taking taylor expansion of (pow z 2) in z 54.241 * [taylor]: Taking taylor expansion of z in z 54.241 * [taylor]: Taking taylor expansion of y in y 54.241 * [taylor]: Taking taylor expansion of 0 in z 54.241 * [taylor]: Taking taylor expansion of 0 in z 54.241 * [taylor]: Taking taylor expansion of 0 in y 54.241 * [taylor]: Taking taylor expansion of 0 in z 54.241 * [taylor]: Taking taylor expansion of 1 in z 54.241 * [taylor]: Taking taylor expansion of 0 in z 54.242 * [taylor]: Taking taylor expansion of 0 in y 54.242 * [taylor]: Taking taylor expansion of 0 in z 54.242 * [taylor]: Taking taylor expansion of 0 in z 54.242 * [taylor]: Taking taylor expansion of 0 in z 54.242 * [taylor]: Taking taylor expansion of 0 in z 54.242 * [approximate]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in (x y z) around 0 54.242 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in z 54.242 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in z 54.242 * [taylor]: Taking taylor expansion of 3 in z 54.242 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 54.242 * [taylor]: Taking taylor expansion of (pow z 2) in z 54.242 * [taylor]: Taking taylor expansion of z in z 54.242 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 54.242 * [taylor]: Taking taylor expansion of (* x y) in z 54.243 * [taylor]: Taking taylor expansion of x in z 54.243 * [taylor]: Taking taylor expansion of y in z 54.243 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in y 54.243 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in y 54.243 * [taylor]: Taking taylor expansion of 3 in y 54.243 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 54.243 * [taylor]: Taking taylor expansion of (pow z 2) in y 54.243 * [taylor]: Taking taylor expansion of z in y 54.243 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 54.243 * [taylor]: Taking taylor expansion of (* x y) in y 54.243 * [taylor]: Taking taylor expansion of x in y 54.243 * [taylor]: Taking taylor expansion of y in y 54.243 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in x 54.243 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x 54.243 * [taylor]: Taking taylor expansion of 3 in x 54.243 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 54.243 * [taylor]: Taking taylor expansion of (pow z 2) in x 54.243 * [taylor]: Taking taylor expansion of z in x 54.243 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 54.243 * [taylor]: Taking taylor expansion of (* x y) in x 54.243 * [taylor]: Taking taylor expansion of x in x 54.243 * [taylor]: Taking taylor expansion of y in x 54.243 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in x 54.243 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x 54.243 * [taylor]: Taking taylor expansion of 3 in x 54.243 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 54.243 * [taylor]: Taking taylor expansion of (pow z 2) in x 54.243 * [taylor]: Taking taylor expansion of z in x 54.243 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 54.243 * [taylor]: Taking taylor expansion of (* x y) in x 54.243 * [taylor]: Taking taylor expansion of x in x 54.243 * [taylor]: Taking taylor expansion of y in x 54.244 * [taylor]: Taking taylor expansion of (/ 1 y) in y 54.244 * [taylor]: Taking taylor expansion of y in y 54.244 * [taylor]: Taking taylor expansion of 1 in z 54.244 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in y 54.244 * [taylor]: Taking taylor expansion of 3 in y 54.244 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 54.244 * [taylor]: Taking taylor expansion of (pow z 2) in y 54.244 * [taylor]: Taking taylor expansion of z in y 54.244 * [taylor]: Taking taylor expansion of 0 in z 54.245 * [taylor]: Taking taylor expansion of 0 in y 54.245 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 54.245 * [taylor]: Taking taylor expansion of 3 in z 54.245 * [taylor]: Taking taylor expansion of (pow z 2) in z 54.245 * [taylor]: Taking taylor expansion of z in z 54.245 * [taylor]: Taking taylor expansion of 0 in z 54.246 * [taylor]: Taking taylor expansion of 0 in y 54.246 * [taylor]: Taking taylor expansion of 0 in z 54.246 * [taylor]: Taking taylor expansion of 0 in z 54.246 * [taylor]: Taking taylor expansion of 0 in z 54.247 * [taylor]: Taking taylor expansion of 0 in y 54.247 * [taylor]: Taking taylor expansion of 0 in z 54.247 * [taylor]: Taking taylor expansion of 0 in z 54.247 * [taylor]: Taking taylor expansion of 0 in z 54.247 * [taylor]: Taking taylor expansion of 0 in z 54.248 * [approximate]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in (x y z) around 0 54.248 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in z 54.248 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in z 54.248 * [taylor]: Taking taylor expansion of 3 in z 54.248 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 54.248 * [taylor]: Taking taylor expansion of (pow z 2) in z 54.248 * [taylor]: Taking taylor expansion of z in z 54.248 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 54.248 * [taylor]: Taking taylor expansion of (* x y) in z 54.248 * [taylor]: Taking taylor expansion of x in z 54.248 * [taylor]: Taking taylor expansion of y in z 54.248 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in y 54.248 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in y 54.248 * [taylor]: Taking taylor expansion of 3 in y 54.248 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 54.248 * [taylor]: Taking taylor expansion of (pow z 2) in y 54.248 * [taylor]: Taking taylor expansion of z in y 54.249 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 54.249 * [taylor]: Taking taylor expansion of (* x y) in y 54.249 * [taylor]: Taking taylor expansion of x in y 54.249 * [taylor]: Taking taylor expansion of y in y 54.249 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in x 54.249 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x 54.249 * [taylor]: Taking taylor expansion of 3 in x 54.249 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 54.249 * [taylor]: Taking taylor expansion of (pow z 2) in x 54.249 * [taylor]: Taking taylor expansion of z in x 54.249 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 54.249 * [taylor]: Taking taylor expansion of (* x y) in x 54.249 * [taylor]: Taking taylor expansion of x in x 54.249 * [taylor]: Taking taylor expansion of y in x 54.249 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in x 54.249 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x 54.249 * [taylor]: Taking taylor expansion of 3 in x 54.249 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 54.249 * [taylor]: Taking taylor expansion of (pow z 2) in x 54.249 * [taylor]: Taking taylor expansion of z in x 54.249 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 54.249 * [taylor]: Taking taylor expansion of (* x y) in x 54.249 * [taylor]: Taking taylor expansion of x in x 54.249 * [taylor]: Taking taylor expansion of y in x 54.249 * [taylor]: Taking taylor expansion of (/ 1 y) in y 54.249 * [taylor]: Taking taylor expansion of y in y 54.249 * [taylor]: Taking taylor expansion of 1 in z 54.250 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in y 54.250 * [taylor]: Taking taylor expansion of 3 in y 54.250 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 54.250 * [taylor]: Taking taylor expansion of (pow z 2) in y 54.250 * [taylor]: Taking taylor expansion of z in y 54.250 * [taylor]: Taking taylor expansion of 0 in z 54.250 * [taylor]: Taking taylor expansion of 0 in y 54.250 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 54.250 * [taylor]: Taking taylor expansion of 3 in z 54.250 * [taylor]: Taking taylor expansion of (pow z 2) in z 54.250 * [taylor]: Taking taylor expansion of z in z 54.251 * [taylor]: Taking taylor expansion of 0 in z 54.251 * [taylor]: Taking taylor expansion of 0 in y 54.251 * [taylor]: Taking taylor expansion of 0 in z 54.251 * [taylor]: Taking taylor expansion of 0 in z 54.251 * [taylor]: Taking taylor expansion of 0 in z 54.252 * [taylor]: Taking taylor expansion of 0 in y 54.252 * [taylor]: Taking taylor expansion of 0 in z 54.252 * [taylor]: Taking taylor expansion of 0 in z 54.253 * [taylor]: Taking taylor expansion of 0 in z 54.253 * [taylor]: Taking taylor expansion of 0 in z 54.253 * * * [progress]: simplifying candidates 54.254 * [simplify]: Simplifying using # : (* (* 3 z) z) (* (* 3 z) z) (+ (+ (log 3) (log z)) (log z)) (+ (log (* 3 z)) (log z)) (log (* (* 3 z) z)) (exp (* (* 3 z) z)) (* (* (* (* 3 3) 3) (* (* z z) z)) (* (* z z) z)) (* (* (* (* 3 z) (* 3 z)) (* 3 z)) (* (* z z) z)) (* (cbrt (* (* 3 z) z)) (cbrt (* (* 3 z) z))) (cbrt (* (* 3 z) z)) (* (* (* (* 3 z) z) (* (* 3 z) z)) (* (* 3 z) z)) (sqrt (* (* 3 z) z)) (sqrt (* (* 3 z) z)) (* (* 3 z) (* (cbrt z) (cbrt z))) (* (* 3 z) (sqrt z)) (* (* 3 z) 1) (* z z) (* (exp (* x y)) (exp (* (* 3 z) z))) (log (+ (* x y) (* (* 3 z) z))) (exp (+ (* x y) (* (* 3 z) z))) (* (cbrt (+ (* x y) (* (* 3 z) z))) (cbrt (+ (* x y) (* (* 3 z) z)))) (cbrt (+ (* x y) (* (* 3 z) z))) (* (* (+ (* x y) (* (* 3 z) z)) (+ (* x y) (* (* 3 z) z))) (+ (* x y) (* (* 3 z) z))) (sqrt (+ (* x y) (* (* 3 z) z))) (sqrt (+ (* x y) (* (* 3 z) z))) (+ (pow (* x y) 3) (pow (* (* 3 z) z) 3)) (+ (* (* x y) (* x y)) (- (* (* (* 3 z) z) (* (* 3 z) z)) (* (* x y) (* (* 3 z) z)))) (- (* (* x y) (* x y)) (* (* (* 3 z) z) (* (* 3 z) z))) (- (* x y) (* (* 3 z) z)) (* 3 (pow z 2)) (* 3 (pow z 2)) (* 3 (pow z 2)) (+ (* 3 (pow z 2)) (* x y)) (+ (* 3 (pow z 2)) (* x y)) (+ (* 3 (pow z 2)) (* x y)) 54.254 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 54.255 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 54.256 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 54.257 * * [simplify]: iteration done : 9 enodes (cost 5 ) 54.258 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 54.258 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 54.259 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 54.261 * * [simplify]: iteration done : 9 enodes (cost 5 ) 54.261 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 54.262 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 54.263 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 54.264 * * [simplify]: iteration 3 : 14 enodes (cost 7 ) 54.266 * * [simplify]: iteration done : 14 enodes (cost 7 ) 54.266 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 54.267 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 54.268 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 54.270 * * [simplify]: iteration 3 : 16 enodes (cost 7 ) 54.271 * * [simplify]: iteration 4 : 17 enodes (cost 7 ) 54.273 * * [simplify]: iteration done : 17 enodes (cost 7 ) 54.274 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 54.278 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 54.279 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 54.282 * * [simplify]: iteration 3 : 23 enodes (cost 6 ) 54.284 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 54.287 * * [simplify]: iteration 5 : 26 enodes (cost 6 ) 54.289 * * [simplify]: iteration done : 26 enodes (cost 6 ) 54.290 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 54.291 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 54.292 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 54.295 * * [simplify]: iteration 3 : 44 enodes (cost 6 ) 54.302 * * [simplify]: iteration 4 : 95 enodes (cost 6 ) 54.318 * * [simplify]: iteration 5 : 206 enodes (cost 6 ) 54.403 * * [simplify]: iteration 6 : 488 enodes (cost 6 ) 54.762 * * [simplify]: iteration 7 : 1399 enodes (cost 6 ) 56.240 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 56.241 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 56.242 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 56.246 * * [simplify]: iteration 2 : 65 enodes (cost 9 ) 56.271 * * [simplify]: iteration 3 : 165 enodes (cost 5 ) 56.364 * * [simplify]: iteration 4 : 352 enodes (cost 5 ) 56.638 * * [simplify]: iteration 5 : 801 enodes (cost 5 ) 57.672 * * [simplify]: iteration 6 : 2137 enodes (cost 5 ) 59.340 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 59.341 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 59.342 * * [simplify]: iteration 1 : 25 enodes (cost 15 ) 59.347 * * [simplify]: iteration 2 : 87 enodes (cost 9 ) 59.394 * * [simplify]: iteration 3 : 271 enodes (cost 9 ) 59.580 * * [simplify]: iteration 4 : 424 enodes (cost 7 ) 60.005 * * [simplify]: iteration 5 : 947 enodes (cost 5 ) 62.079 * * [simplify]: iteration 6 : 2613 enodes (cost 5 ) 65.006 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 65.007 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 65.008 * * [simplify]: iteration 1 : 10 enodes (cost 13 ) 65.009 * * [simplify]: iteration 2 : 11 enodes (cost 13 ) 65.010 * * [simplify]: iteration done : 11 enodes (cost 13 ) 65.011 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 65.012 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 65.013 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 65.014 * * [simplify]: iteration done : 10 enodes (cost 6 ) 65.014 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 65.015 * * [simplify]: iteration 1 : 19 enodes (cost 17 ) 65.024 * * [simplify]: iteration 2 : 72 enodes (cost 7 ) 65.055 * * [simplify]: iteration 3 : 210 enodes (cost 7 ) 65.203 * * [simplify]: iteration 4 : 348 enodes (cost 7 ) 65.411 * * [simplify]: iteration 5 : 477 enodes (cost 5 ) 65.892 * * [simplify]: iteration 6 : 1059 enodes (cost 5 ) 67.825 * * [simplify]: iteration 7 : 2881 enodes (cost 5 ) 69.923 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 69.924 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 69.925 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 69.926 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 69.927 * * [simplify]: iteration done : 10 enodes (cost 6 ) 69.927 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 69.928 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 69.929 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 69.930 * * [simplify]: iteration done : 10 enodes (cost 6 ) 69.931 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 69.932 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 69.933 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 69.938 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 69.943 * * [simplify]: iteration done : 37 enodes (cost 9 ) 69.944 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 69.948 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 69.949 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 69.951 * * [simplify]: iteration done : 15 enodes (cost 6 ) 69.952 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 69.953 * * [simplify]: iteration 1 : 11 enodes (cost 3 ) 69.955 * * [simplify]: iteration 2 : 23 enodes (cost 3 ) 69.956 * * [simplify]: iteration done : 23 enodes (cost 3 ) 69.956 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 69.956 * * [simplify]: iteration done : 2 enodes (cost 3 ) 69.957 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 69.958 * * [simplify]: iteration 1 : 22 enodes (cost 10 ) 69.961 * * [simplify]: iteration 2 : 39 enodes (cost 10 ) 69.967 * * [simplify]: iteration 3 : 81 enodes (cost 10 ) 69.983 * * [simplify]: iteration 4 : 244 enodes (cost 10 ) 70.100 * * [simplify]: iteration 5 : 911 enodes (cost 10 ) 71.578 * * [simplify]: iteration 6 : 4182 enodes (cost 10 ) 73.471 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 73.472 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 73.473 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 73.475 * * [simplify]: iteration 2 : 16 enodes (cost 10 ) 73.477 * * [simplify]: iteration done : 16 enodes (cost 10 ) 73.477 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 73.479 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 73.481 * * [simplify]: iteration 2 : 30 enodes (cost 10 ) 73.485 * * [simplify]: iteration 3 : 50 enodes (cost 10 ) 73.493 * * [simplify]: iteration 4 : 140 enodes (cost 10 ) 73.542 * * [simplify]: iteration 5 : 492 enodes (cost 10 ) 73.948 * * [simplify]: iteration 6 : 1887 enodes (cost 10 ) 74.892 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 74.892 * * [simplify]: iteration 0 : 10 enodes (cost 21 ) 74.899 * * [simplify]: iteration 1 : 16 enodes (cost 21 ) 74.900 * * [simplify]: iteration 2 : 17 enodes (cost 21 ) 74.903 * * [simplify]: iteration done : 17 enodes (cost 21 ) 74.903 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 74.904 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 74.906 * * [simplify]: iteration 2 : 16 enodes (cost 10 ) 74.908 * * [simplify]: iteration done : 16 enodes (cost 10 ) 74.909 * * [simplify]: iteration 0 : 10 enodes (cost 29 ) 74.910 * * [simplify]: iteration 1 : 29 enodes (cost 29 ) 74.917 * * [simplify]: iteration 2 : 101 enodes (cost 11 ) 74.955 * * [simplify]: iteration 3 : 428 enodes (cost 11 ) 75.281 * * [simplify]: iteration 4 : 1506 enodes (cost 11 ) 76.906 * * [simplify]: iteration 5 : 4169 enodes (cost 11 ) 79.120 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 79.120 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 79.121 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 79.124 * * [simplify]: iteration 2 : 16 enodes (cost 10 ) 79.126 * * [simplify]: iteration done : 16 enodes (cost 10 ) 79.126 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 79.127 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 79.129 * * [simplify]: iteration 2 : 16 enodes (cost 10 ) 79.131 * * [simplify]: iteration done : 16 enodes (cost 10 ) 79.132 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 79.139 * * [simplify]: iteration 1 : 35 enodes (cost 13 ) 79.147 * * [simplify]: iteration 2 : 120 enodes (cost 13 ) 79.186 * * [simplify]: iteration 3 : 377 enodes (cost 13 ) 79.400 * * [simplify]: iteration 4 : 781 enodes (cost 11 ) 80.105 * * [simplify]: iteration 5 : 2129 enodes (cost 11 ) 81.419 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 81.420 * * [simplify]: iteration 0 : 12 enodes (cost 29 ) 81.422 * * [simplify]: iteration 1 : 42 enodes (cost 23 ) 81.432 * * [simplify]: iteration 2 : 145 enodes (cost 23 ) 81.483 * * [simplify]: iteration 3 : 388 enodes (cost 23 ) 81.722 * * [simplify]: iteration 4 : 804 enodes (cost 21 ) 82.204 * * [simplify]: iteration 5 : 1077 enodes (cost 19 ) 82.764 * * [simplify]: iteration 6 : 1279 enodes (cost 19 ) 83.269 * * [simplify]: iteration 7 : 1576 enodes (cost 19 ) 84.671 * * [simplify]: iteration 8 : 2835 enodes (cost 19 ) 86.615 * * [simplify]: iteration done : 5001 enodes (cost 19 ) 86.616 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 86.618 * * [simplify]: iteration 1 : 33 enodes (cost 19 ) 86.625 * * [simplify]: iteration 2 : 95 enodes (cost 17 ) 86.662 * * [simplify]: iteration 3 : 237 enodes (cost 17 ) 86.791 * * [simplify]: iteration 4 : 440 enodes (cost 15 ) 86.971 * * [simplify]: iteration 5 : 667 enodes (cost 13 ) 87.309 * * [simplify]: iteration 6 : 1010 enodes (cost 13 ) 88.017 * * [simplify]: iteration 7 : 1979 enodes (cost 13 ) 90.087 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 90.088 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 90.089 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 90.091 * * [simplify]: iteration 2 : 28 enodes (cost 9 ) 90.096 * * [simplify]: iteration 3 : 41 enodes (cost 9 ) 90.101 * * [simplify]: iteration done : 41 enodes (cost 9 ) 90.101 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 90.102 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 90.104 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 90.106 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 90.108 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 90.110 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 90.114 * * [simplify]: iteration 6 : 69 enodes (cost 5 ) 90.123 * * [simplify]: iteration 7 : 128 enodes (cost 5 ) 90.169 * * [simplify]: iteration 8 : 335 enodes (cost 5 ) 90.631 * * [simplify]: iteration 9 : 1270 enodes (cost 5 ) 92.870 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 92.870 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 92.871 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 92.873 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 92.875 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 92.877 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 92.879 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 92.889 * * [simplify]: iteration 6 : 69 enodes (cost 5 ) 92.898 * * [simplify]: iteration 7 : 128 enodes (cost 5 ) 92.944 * * [simplify]: iteration 8 : 335 enodes (cost 5 ) 93.406 * * [simplify]: iteration 9 : 1270 enodes (cost 5 ) 95.650 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 95.651 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 95.656 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 95.659 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 95.661 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 95.663 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 95.665 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 95.670 * * [simplify]: iteration 6 : 69 enodes (cost 5 ) 95.679 * * [simplify]: iteration 7 : 128 enodes (cost 5 ) 95.726 * * [simplify]: iteration 8 : 335 enodes (cost 5 ) 96.186 * * [simplify]: iteration 9 : 1270 enodes (cost 5 ) 98.436 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 98.436 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 98.437 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 98.440 * * [simplify]: iteration 2 : 33 enodes (cost 9 ) 98.443 * * [simplify]: iteration 3 : 40 enodes (cost 9 ) 98.446 * * [simplify]: iteration 4 : 46 enodes (cost 9 ) 98.449 * * [simplify]: iteration 5 : 56 enodes (cost 9 ) 98.454 * * [simplify]: iteration 6 : 79 enodes (cost 9 ) 98.464 * * [simplify]: iteration 7 : 145 enodes (cost 9 ) 98.513 * * [simplify]: iteration 8 : 359 enodes (cost 9 ) 98.970 * * [simplify]: iteration 9 : 1283 enodes (cost 9 ) 101.289 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 101.290 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 101.291 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 101.294 * * [simplify]: iteration 2 : 33 enodes (cost 9 ) 101.297 * * [simplify]: iteration 3 : 40 enodes (cost 9 ) 101.299 * * [simplify]: iteration 4 : 46 enodes (cost 9 ) 101.303 * * [simplify]: iteration 5 : 56 enodes (cost 9 ) 101.307 * * [simplify]: iteration 6 : 79 enodes (cost 9 ) 101.318 * * [simplify]: iteration 7 : 145 enodes (cost 9 ) 101.368 * * [simplify]: iteration 8 : 359 enodes (cost 9 ) 101.823 * * [simplify]: iteration 9 : 1283 enodes (cost 9 ) 104.153 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 104.154 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 104.155 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 104.157 * * [simplify]: iteration 2 : 33 enodes (cost 9 ) 104.165 * * [simplify]: iteration 3 : 40 enodes (cost 9 ) 104.168 * * [simplify]: iteration 4 : 46 enodes (cost 9 ) 104.171 * * [simplify]: iteration 5 : 56 enodes (cost 9 ) 104.176 * * [simplify]: iteration 6 : 79 enodes (cost 9 ) 104.186 * * [simplify]: iteration 7 : 145 enodes (cost 9 ) 104.235 * * [simplify]: iteration 8 : 359 enodes (cost 9 ) 104.699 * * [simplify]: iteration 9 : 1283 enodes (cost 9 ) 107.022 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 107.022 * [simplify]: Simplified to: (* (* 3 z) z) (* (* 3 z) z) (+ (* 2 (log z)) (log 3)) (+ (log (* 3 z)) (log z)) (log (* (* 3 z) z)) (exp (* (* 3 z) z)) (* (pow z 6) 27) (* (pow z 6) 27) (* (cbrt (* (* 3 z) z)) (cbrt (* (* 3 z) z))) (cbrt (* (* 3 z) z)) (* (pow z 6) 27) (sqrt (* (* 3 z) z)) (sqrt (* (* 3 z) z)) (* (* 3 z) (* (cbrt z) (cbrt z))) (* (* 3 z) (sqrt z)) (* 3 z) (* z z) (exp (+ (* x y) (* (* 3 z) z))) (log (+ (* x y) (* (* 3 z) z))) (exp (+ (* x y) (* (* 3 z) z))) (* (cbrt (+ (* x y) (* (* 3 z) z))) (cbrt (+ (* x y) (* (* 3 z) z)))) (cbrt (+ (* x y) (* (* 3 z) z))) (pow (+ (* x y) (* (* 3 z) z)) 3) (sqrt (+ (* x y) (* (* 3 z) z))) (sqrt (+ (* x y) (* (* 3 z) z))) (+ (pow (* x y) 3) (* 27 (pow z 6))) (- (* 9 (pow z 4)) (* (* x y) (- (* (* 3 z) z) (* x y)))) (+ (* (* x y) (* x y)) (* (pow z 4) -9)) (- (* x y) (* (* 3 z) z)) (* 3 (pow z 2)) (* 3 (pow z 2)) (* 3 (pow z 2)) (+ (* 3 (pow z 2)) (* x y)) (+ (* 3 (pow z 2)) (* x y)) (+ (* 3 (pow z 2)) (* x y)) 107.022 * * * [progress]: adding candidates to table 107.066 * * [progress]: iteration 3 / 4 107.066 * * * [progress]: picking best candidate 107.080 * * * * [pick]: Picked # 107.080 * * * [progress]: localizing error 107.089 * * * [progress]: generating rewritten candidates 107.089 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2) 107.097 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 107.109 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 107.115 * * * [progress]: generating series expansions 107.115 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2) 107.116 * [approximate]: Taking taylor expansion of (* (pow z 2) (sqrt 3)) in (z) around 0 107.116 * [taylor]: Taking taylor expansion of (* (pow z 2) (sqrt 3)) in z 107.116 * [taylor]: Taking taylor expansion of (pow z 2) in z 107.116 * [taylor]: Taking taylor expansion of z in z 107.116 * [taylor]: Taking taylor expansion of (sqrt 3) in z 107.116 * [taylor]: Taking taylor expansion of 3 in z 107.116 * [taylor]: Taking taylor expansion of (* (pow z 2) (sqrt 3)) in z 107.116 * [taylor]: Taking taylor expansion of (pow z 2) in z 107.116 * [taylor]: Taking taylor expansion of z in z 107.116 * [taylor]: Taking taylor expansion of (sqrt 3) in z 107.116 * [taylor]: Taking taylor expansion of 3 in z 107.117 * [approximate]: Taking taylor expansion of (/ (sqrt 3) (pow z 2)) in (z) around 0 107.117 * [taylor]: Taking taylor expansion of (/ (sqrt 3) (pow z 2)) in z 107.117 * [taylor]: Taking taylor expansion of (sqrt 3) in z 107.117 * [taylor]: Taking taylor expansion of 3 in z 107.117 * [taylor]: Taking taylor expansion of (pow z 2) in z 107.117 * [taylor]: Taking taylor expansion of z in z 107.117 * [taylor]: Taking taylor expansion of (/ (sqrt 3) (pow z 2)) in z 107.117 * [taylor]: Taking taylor expansion of (sqrt 3) in z 107.117 * [taylor]: Taking taylor expansion of 3 in z 107.118 * [taylor]: Taking taylor expansion of (pow z 2) in z 107.118 * [taylor]: Taking taylor expansion of z in z 107.119 * [approximate]: Taking taylor expansion of (/ (sqrt 3) (pow z 2)) in (z) around 0 107.119 * [taylor]: Taking taylor expansion of (/ (sqrt 3) (pow z 2)) in z 107.119 * [taylor]: Taking taylor expansion of (sqrt 3) in z 107.119 * [taylor]: Taking taylor expansion of 3 in z 107.119 * [taylor]: Taking taylor expansion of (pow z 2) in z 107.119 * [taylor]: Taking taylor expansion of z in z 107.119 * [taylor]: Taking taylor expansion of (/ (sqrt 3) (pow z 2)) in z 107.119 * [taylor]: Taking taylor expansion of (sqrt 3) in z 107.119 * [taylor]: Taking taylor expansion of 3 in z 107.119 * [taylor]: Taking taylor expansion of (pow z 2) in z 107.119 * [taylor]: Taking taylor expansion of z in z 107.121 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 107.121 * [approximate]: Taking taylor expansion of (* (pow z 2) (pow (sqrt 3) 2)) in (z) around 0 107.121 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow (sqrt 3) 2)) in z 107.121 * [taylor]: Taking taylor expansion of (pow z 2) in z 107.121 * [taylor]: Taking taylor expansion of z in z 107.121 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z 107.121 * [taylor]: Taking taylor expansion of (sqrt 3) in z 107.121 * [taylor]: Taking taylor expansion of 3 in z 107.121 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow (sqrt 3) 2)) in z 107.121 * [taylor]: Taking taylor expansion of (pow z 2) in z 107.121 * [taylor]: Taking taylor expansion of z in z 107.121 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z 107.121 * [taylor]: Taking taylor expansion of (sqrt 3) in z 107.121 * [taylor]: Taking taylor expansion of 3 in z 107.123 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in (z) around 0 107.123 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z 107.123 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z 107.123 * [taylor]: Taking taylor expansion of (sqrt 3) in z 107.123 * [taylor]: Taking taylor expansion of 3 in z 107.123 * [taylor]: Taking taylor expansion of (pow z 2) in z 107.123 * [taylor]: Taking taylor expansion of z in z 107.123 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z 107.124 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z 107.124 * [taylor]: Taking taylor expansion of (sqrt 3) in z 107.124 * [taylor]: Taking taylor expansion of 3 in z 107.124 * [taylor]: Taking taylor expansion of (pow z 2) in z 107.124 * [taylor]: Taking taylor expansion of z in z 107.126 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in (z) around 0 107.126 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z 107.126 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z 107.126 * [taylor]: Taking taylor expansion of (sqrt 3) in z 107.126 * [taylor]: Taking taylor expansion of 3 in z 107.126 * [taylor]: Taking taylor expansion of (pow z 2) in z 107.126 * [taylor]: Taking taylor expansion of z in z 107.126 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z 107.126 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z 107.126 * [taylor]: Taking taylor expansion of (sqrt 3) in z 107.126 * [taylor]: Taking taylor expansion of 3 in z 107.126 * [taylor]: Taking taylor expansion of (pow z 2) in z 107.126 * [taylor]: Taking taylor expansion of z in z 107.128 * * * * [progress]: [ 3 / 3 ] generating series at (2) 107.129 * [approximate]: Taking taylor expansion of (+ (* x y) (* (pow z 2) (pow (sqrt 3) 2))) in (x y z) around 0 107.129 * [taylor]: Taking taylor expansion of (+ (* x y) (* (pow z 2) (pow (sqrt 3) 2))) in z 107.129 * [taylor]: Taking taylor expansion of (* x y) in z 107.129 * [taylor]: Taking taylor expansion of x in z 107.129 * [taylor]: Taking taylor expansion of y in z 107.129 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow (sqrt 3) 2)) in z 107.129 * [taylor]: Taking taylor expansion of (pow z 2) in z 107.129 * [taylor]: Taking taylor expansion of z in z 107.129 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z 107.129 * [taylor]: Taking taylor expansion of (sqrt 3) in z 107.129 * [taylor]: Taking taylor expansion of 3 in z 107.129 * [taylor]: Taking taylor expansion of (+ (* x y) (* (pow z 2) (pow (sqrt 3) 2))) in y 107.129 * [taylor]: Taking taylor expansion of (* x y) in y 107.129 * [taylor]: Taking taylor expansion of x in y 107.129 * [taylor]: Taking taylor expansion of y in y 107.129 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow (sqrt 3) 2)) in y 107.129 * [taylor]: Taking taylor expansion of (pow z 2) in y 107.129 * [taylor]: Taking taylor expansion of z in y 107.129 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in y 107.129 * [taylor]: Taking taylor expansion of (sqrt 3) in y 107.129 * [taylor]: Taking taylor expansion of 3 in y 107.129 * [taylor]: Taking taylor expansion of (+ (* x y) (* (pow z 2) (pow (sqrt 3) 2))) in x 107.129 * [taylor]: Taking taylor expansion of (* x y) in x 107.129 * [taylor]: Taking taylor expansion of x in x 107.129 * [taylor]: Taking taylor expansion of y in x 107.129 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow (sqrt 3) 2)) in x 107.129 * [taylor]: Taking taylor expansion of (pow z 2) in x 107.129 * [taylor]: Taking taylor expansion of z in x 107.129 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x 107.129 * [taylor]: Taking taylor expansion of (sqrt 3) in x 107.129 * [taylor]: Taking taylor expansion of 3 in x 107.129 * [taylor]: Taking taylor expansion of (+ (* x y) (* (pow z 2) (pow (sqrt 3) 2))) in x 107.129 * [taylor]: Taking taylor expansion of (* x y) in x 107.129 * [taylor]: Taking taylor expansion of x in x 107.129 * [taylor]: Taking taylor expansion of y in x 107.129 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow (sqrt 3) 2)) in x 107.129 * [taylor]: Taking taylor expansion of (pow z 2) in x 107.129 * [taylor]: Taking taylor expansion of z in x 107.129 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x 107.129 * [taylor]: Taking taylor expansion of (sqrt 3) in x 107.129 * [taylor]: Taking taylor expansion of 3 in x 107.130 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow (sqrt 3) 2)) in y 107.130 * [taylor]: Taking taylor expansion of (pow z 2) in y 107.130 * [taylor]: Taking taylor expansion of z in y 107.130 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in y 107.130 * [taylor]: Taking taylor expansion of (sqrt 3) in y 107.130 * [taylor]: Taking taylor expansion of 3 in y 107.130 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow (sqrt 3) 2)) in z 107.130 * [taylor]: Taking taylor expansion of (pow z 2) in z 107.130 * [taylor]: Taking taylor expansion of z in z 107.130 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z 107.130 * [taylor]: Taking taylor expansion of (sqrt 3) in z 107.130 * [taylor]: Taking taylor expansion of 3 in z 107.130 * [taylor]: Taking taylor expansion of y in y 107.130 * [taylor]: Taking taylor expansion of 0 in z 107.131 * [taylor]: Taking taylor expansion of 0 in z 107.131 * [taylor]: Taking taylor expansion of 0 in y 107.131 * [taylor]: Taking taylor expansion of 0 in z 107.131 * [taylor]: Taking taylor expansion of 1 in z 107.131 * [taylor]: Taking taylor expansion of 0 in z 107.132 * [taylor]: Taking taylor expansion of 0 in y 107.132 * [taylor]: Taking taylor expansion of 0 in z 107.132 * [taylor]: Taking taylor expansion of 0 in z 107.132 * [taylor]: Taking taylor expansion of 0 in z 107.132 * [taylor]: Taking taylor expansion of 0 in z 107.133 * [approximate]: Taking taylor expansion of (+ (/ (pow (sqrt 3) 2) (pow z 2)) (/ 1 (* x y))) in (x y z) around 0 107.133 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 3) 2) (pow z 2)) (/ 1 (* x y))) in z 107.133 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z 107.133 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z 107.133 * [taylor]: Taking taylor expansion of (sqrt 3) in z 107.133 * [taylor]: Taking taylor expansion of 3 in z 107.133 * [taylor]: Taking taylor expansion of (pow z 2) in z 107.133 * [taylor]: Taking taylor expansion of z in z 107.133 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 107.133 * [taylor]: Taking taylor expansion of (* x y) in z 107.133 * [taylor]: Taking taylor expansion of x in z 107.133 * [taylor]: Taking taylor expansion of y in z 107.133 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 3) 2) (pow z 2)) (/ 1 (* x y))) in y 107.133 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in y 107.133 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in y 107.133 * [taylor]: Taking taylor expansion of (sqrt 3) in y 107.133 * [taylor]: Taking taylor expansion of 3 in y 107.133 * [taylor]: Taking taylor expansion of (pow z 2) in y 107.133 * [taylor]: Taking taylor expansion of z in y 107.134 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 107.134 * [taylor]: Taking taylor expansion of (* x y) in y 107.134 * [taylor]: Taking taylor expansion of x in y 107.134 * [taylor]: Taking taylor expansion of y in y 107.134 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 3) 2) (pow z 2)) (/ 1 (* x y))) in x 107.134 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in x 107.134 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x 107.134 * [taylor]: Taking taylor expansion of (sqrt 3) in x 107.134 * [taylor]: Taking taylor expansion of 3 in x 107.134 * [taylor]: Taking taylor expansion of (pow z 2) in x 107.134 * [taylor]: Taking taylor expansion of z in x 107.134 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 107.134 * [taylor]: Taking taylor expansion of (* x y) in x 107.134 * [taylor]: Taking taylor expansion of x in x 107.134 * [taylor]: Taking taylor expansion of y in x 107.134 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 3) 2) (pow z 2)) (/ 1 (* x y))) in x 107.134 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in x 107.134 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x 107.134 * [taylor]: Taking taylor expansion of (sqrt 3) in x 107.134 * [taylor]: Taking taylor expansion of 3 in x 107.134 * [taylor]: Taking taylor expansion of (pow z 2) in x 107.134 * [taylor]: Taking taylor expansion of z in x 107.134 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 107.134 * [taylor]: Taking taylor expansion of (* x y) in x 107.134 * [taylor]: Taking taylor expansion of x in x 107.134 * [taylor]: Taking taylor expansion of y in x 107.135 * [taylor]: Taking taylor expansion of (/ 1 y) in y 107.135 * [taylor]: Taking taylor expansion of y in y 107.135 * [taylor]: Taking taylor expansion of 1 in z 107.135 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in y 107.135 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in y 107.135 * [taylor]: Taking taylor expansion of (sqrt 3) in y 107.135 * [taylor]: Taking taylor expansion of 3 in y 107.135 * [taylor]: Taking taylor expansion of (pow z 2) in y 107.135 * [taylor]: Taking taylor expansion of z in y 107.135 * [taylor]: Taking taylor expansion of 0 in z 107.140 * [taylor]: Taking taylor expansion of 0 in y 107.140 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z 107.140 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z 107.140 * [taylor]: Taking taylor expansion of (sqrt 3) in z 107.140 * [taylor]: Taking taylor expansion of 3 in z 107.140 * [taylor]: Taking taylor expansion of (pow z 2) in z 107.140 * [taylor]: Taking taylor expansion of z in z 107.141 * [taylor]: Taking taylor expansion of 0 in z 107.141 * [taylor]: Taking taylor expansion of 0 in y 107.141 * [taylor]: Taking taylor expansion of 0 in z 107.142 * [taylor]: Taking taylor expansion of 0 in z 107.142 * [taylor]: Taking taylor expansion of 0 in z 107.143 * [taylor]: Taking taylor expansion of 0 in y 107.143 * [taylor]: Taking taylor expansion of 0 in z 107.143 * [taylor]: Taking taylor expansion of 0 in z 107.143 * [taylor]: Taking taylor expansion of 0 in z 107.143 * [taylor]: Taking taylor expansion of 0 in z 107.144 * [approximate]: Taking taylor expansion of (+ (/ (pow (sqrt 3) 2) (pow z 2)) (/ 1 (* x y))) in (x y z) around 0 107.144 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 3) 2) (pow z 2)) (/ 1 (* x y))) in z 107.144 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z 107.144 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z 107.144 * [taylor]: Taking taylor expansion of (sqrt 3) in z 107.144 * [taylor]: Taking taylor expansion of 3 in z 107.144 * [taylor]: Taking taylor expansion of (pow z 2) in z 107.144 * [taylor]: Taking taylor expansion of z in z 107.145 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 107.145 * [taylor]: Taking taylor expansion of (* x y) in z 107.145 * [taylor]: Taking taylor expansion of x in z 107.145 * [taylor]: Taking taylor expansion of y in z 107.145 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 3) 2) (pow z 2)) (/ 1 (* x y))) in y 107.145 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in y 107.145 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in y 107.145 * [taylor]: Taking taylor expansion of (sqrt 3) in y 107.145 * [taylor]: Taking taylor expansion of 3 in y 107.145 * [taylor]: Taking taylor expansion of (pow z 2) in y 107.145 * [taylor]: Taking taylor expansion of z in y 107.145 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 107.145 * [taylor]: Taking taylor expansion of (* x y) in y 107.145 * [taylor]: Taking taylor expansion of x in y 107.145 * [taylor]: Taking taylor expansion of y in y 107.145 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 3) 2) (pow z 2)) (/ 1 (* x y))) in x 107.145 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in x 107.145 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x 107.145 * [taylor]: Taking taylor expansion of (sqrt 3) in x 107.145 * [taylor]: Taking taylor expansion of 3 in x 107.145 * [taylor]: Taking taylor expansion of (pow z 2) in x 107.145 * [taylor]: Taking taylor expansion of z in x 107.146 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 107.146 * [taylor]: Taking taylor expansion of (* x y) in x 107.146 * [taylor]: Taking taylor expansion of x in x 107.146 * [taylor]: Taking taylor expansion of y in x 107.146 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 3) 2) (pow z 2)) (/ 1 (* x y))) in x 107.146 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in x 107.146 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x 107.146 * [taylor]: Taking taylor expansion of (sqrt 3) in x 107.146 * [taylor]: Taking taylor expansion of 3 in x 107.146 * [taylor]: Taking taylor expansion of (pow z 2) in x 107.146 * [taylor]: Taking taylor expansion of z in x 107.146 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 107.146 * [taylor]: Taking taylor expansion of (* x y) in x 107.146 * [taylor]: Taking taylor expansion of x in x 107.146 * [taylor]: Taking taylor expansion of y in x 107.146 * [taylor]: Taking taylor expansion of (/ 1 y) in y 107.147 * [taylor]: Taking taylor expansion of y in y 107.147 * [taylor]: Taking taylor expansion of 1 in z 107.147 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in y 107.147 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in y 107.147 * [taylor]: Taking taylor expansion of (sqrt 3) in y 107.147 * [taylor]: Taking taylor expansion of 3 in y 107.147 * [taylor]: Taking taylor expansion of (pow z 2) in y 107.147 * [taylor]: Taking taylor expansion of z in y 107.147 * [taylor]: Taking taylor expansion of 0 in z 107.148 * [taylor]: Taking taylor expansion of 0 in y 107.148 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z 107.148 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z 107.148 * [taylor]: Taking taylor expansion of (sqrt 3) in z 107.148 * [taylor]: Taking taylor expansion of 3 in z 107.148 * [taylor]: Taking taylor expansion of (pow z 2) in z 107.148 * [taylor]: Taking taylor expansion of z in z 107.148 * [taylor]: Taking taylor expansion of 0 in z 107.149 * [taylor]: Taking taylor expansion of 0 in y 107.149 * [taylor]: Taking taylor expansion of 0 in z 107.149 * [taylor]: Taking taylor expansion of 0 in z 107.149 * [taylor]: Taking taylor expansion of 0 in z 107.150 * [taylor]: Taking taylor expansion of 0 in y 107.150 * [taylor]: Taking taylor expansion of 0 in z 107.150 * [taylor]: Taking taylor expansion of 0 in z 107.151 * [taylor]: Taking taylor expansion of 0 in z 107.151 * [taylor]: Taking taylor expansion of 0 in z 107.152 * * * [progress]: simplifying candidates 107.153 * [simplify]: Simplifying using # : (* (sqrt 3) (* z z)) (* (sqrt 3) (* z z)) (+ (log (sqrt 3)) (+ (log z) (log z))) (+ (log (sqrt 3)) (log (* z z))) (log (* (sqrt 3) (* z z))) (exp (* (sqrt 3) (* z z))) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* z z) z) (* (* z z) z))) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* z z) (* z z)) (* z z))) (* (cbrt (* (sqrt 3) (* z z))) (cbrt (* (sqrt 3) (* z z)))) (cbrt (* (sqrt 3) (* z z))) (* (* (* (sqrt 3) (* z z)) (* (sqrt 3) (* z z))) (* (sqrt 3) (* z z))) (sqrt (* (sqrt 3) (* z z))) (sqrt (* (sqrt 3) (* z z))) (* (sqrt (sqrt 3)) z) (* (sqrt (sqrt 3)) z) (* (sqrt (sqrt 3)) z) (* (sqrt (sqrt 3)) z) (* (sqrt 3) z) (* (cbrt (sqrt 3)) (* z z)) (* (sqrt (cbrt 3)) (* z z)) (* (sqrt (sqrt 3)) (* z z)) (* (sqrt 3) (* z z)) (* (sqrt (sqrt 3)) (* z z)) (* (sqrt 3) (* z z)) (* (sqrt 3) (* (sqrt 3) (* z z))) (* (sqrt 3) (* (sqrt 3) (* z z))) (* (sqrt 3) (* (sqrt 3) (* z z))) (+ (log (sqrt 3)) (+ (log (sqrt 3)) (+ (log z) (log z)))) (+ (log (sqrt 3)) (+ (log (sqrt 3)) (log (* z z)))) (+ (log (sqrt 3)) (log (* (sqrt 3) (* z z)))) (log (* (sqrt 3) (* (sqrt 3) (* z z)))) (exp (* (sqrt 3) (* (sqrt 3) (* z z)))) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* z z) z) (* (* z z) z)))) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* z z) (* z z)) (* z z)))) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* (sqrt 3) (* z z)) (* (sqrt 3) (* z z))) (* (sqrt 3) (* z z)))) (* (cbrt (* (sqrt 3) (* (sqrt 3) (* z z)))) (cbrt (* (sqrt 3) (* (sqrt 3) (* z z))))) (cbrt (* (sqrt 3) (* (sqrt 3) (* z z)))) (* (* (* (sqrt 3) (* (sqrt 3) (* z z))) (* (sqrt 3) (* (sqrt 3) (* z z)))) (* (sqrt 3) (* (sqrt 3) (* z z)))) (sqrt (* (sqrt 3) (* (sqrt 3) (* z z)))) (sqrt (* (sqrt 3) (* (sqrt 3) (* z z)))) (* (sqrt 3) (sqrt 3)) (* (cbrt (sqrt 3)) (* (sqrt 3) (* z z))) (* (sqrt (cbrt 3)) (* (sqrt 3) (* z z))) (* (sqrt (sqrt 3)) (* (sqrt 3) (* z z))) (* (sqrt 3) (* (sqrt 3) (* z z))) (* (sqrt (sqrt 3)) (* (sqrt 3) (* z z))) (* (sqrt 3) (* (sqrt 3) (* z z))) (* (exp (* x y)) (exp (* (sqrt 3) (* (sqrt 3) (* z z))))) (log (+ (* x y) (* (sqrt 3) (* (sqrt 3) (* z z))))) (exp (+ (* x y) (* (sqrt 3) (* (sqrt 3) (* z z))))) (* (cbrt (+ (* x y) (* (sqrt 3) (* (sqrt 3) (* z z))))) (cbrt (+ (* x y) (* (sqrt 3) (* (sqrt 3) (* z z)))))) (cbrt (+ (* x y) (* (sqrt 3) (* (sqrt 3) (* z z))))) (* (* (+ (* x y) (* (sqrt 3) (* (sqrt 3) (* z z)))) (+ (* x y) (* (sqrt 3) (* (sqrt 3) (* z z))))) (+ (* x y) (* (sqrt 3) (* (sqrt 3) (* z z))))) (sqrt (+ (* x y) (* (sqrt 3) (* (sqrt 3) (* z z))))) (sqrt (+ (* x y) (* (sqrt 3) (* (sqrt 3) (* z z))))) (+ (pow (* x y) 3) (pow (* (sqrt 3) (* (sqrt 3) (* z z))) 3)) (+ (* (* x y) (* x y)) (- (* (* (sqrt 3) (* (sqrt 3) (* z z))) (* (sqrt 3) (* (sqrt 3) (* z z)))) (* (* x y) (* (sqrt 3) (* (sqrt 3) (* z z)))))) (- (* (* x y) (* x y)) (* (* (sqrt 3) (* (sqrt 3) (* z z))) (* (sqrt 3) (* (sqrt 3) (* z z))))) (- (* x y) (* (sqrt 3) (* (sqrt 3) (* z z)))) (* (pow z 2) (sqrt 3)) (* (pow z 2) (sqrt 3)) (* (pow z 2) (sqrt 3)) (* (pow z 2) (pow (sqrt 3) 2)) (* (pow z 2) (pow (sqrt 3) 2)) (* (pow z 2) (pow (sqrt 3) 2)) (+ (* x y) (* (pow z 2) (pow (sqrt 3) 2))) (+ (* x y) (* (pow z 2) (pow (sqrt 3) 2))) (+ (* x y) (* (pow z 2) (pow (sqrt 3) 2))) 107.153 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 107.154 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 107.155 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 107.156 * * [simplify]: iteration done : 10 enodes (cost 6 ) 107.157 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 107.158 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 107.159 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 107.160 * * [simplify]: iteration done : 10 enodes (cost 6 ) 107.161 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 107.161 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 107.163 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 107.164 * * [simplify]: iteration done : 15 enodes (cost 8 ) 107.165 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 107.166 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 107.167 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 107.168 * * [simplify]: iteration 3 : 17 enodes (cost 8 ) 107.170 * * [simplify]: iteration done : 17 enodes (cost 8 ) 107.171 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 107.171 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 107.173 * * [simplify]: iteration 2 : 19 enodes (cost 7 ) 107.175 * * [simplify]: iteration 3 : 26 enodes (cost 7 ) 107.178 * * [simplify]: iteration 4 : 27 enodes (cost 7 ) 107.180 * * [simplify]: iteration done : 27 enodes (cost 7 ) 107.181 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 107.182 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 107.183 * * [simplify]: iteration 2 : 21 enodes (cost 7 ) 107.186 * * [simplify]: iteration 3 : 39 enodes (cost 7 ) 107.191 * * [simplify]: iteration 4 : 81 enodes (cost 7 ) 107.210 * * [simplify]: iteration 5 : 182 enodes (cost 7 ) 107.288 * * [simplify]: iteration 6 : 445 enodes (cost 7 ) 107.646 * * [simplify]: iteration 7 : 1296 enodes (cost 7 ) 110.036 * * [simplify]: iteration 8 : 4653 enodes (cost 7 ) 111.529 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 111.530 * * [simplify]: iteration 0 : 9 enodes (cost 20 ) 111.531 * * [simplify]: iteration 1 : 22 enodes (cost 16 ) 111.535 * * [simplify]: iteration 2 : 70 enodes (cost 12 ) 111.557 * * [simplify]: iteration 3 : 190 enodes (cost 8 ) 111.652 * * [simplify]: iteration 4 : 351 enodes (cost 8 ) 111.934 * * [simplify]: iteration 5 : 781 enodes (cost 8 ) 113.115 * * [simplify]: iteration 6 : 2107 enodes (cost 8 ) 114.927 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 114.928 * * [simplify]: iteration 0 : 9 enodes (cost 20 ) 114.930 * * [simplify]: iteration 1 : 23 enodes (cost 16 ) 114.934 * * [simplify]: iteration 2 : 67 enodes (cost 10 ) 114.961 * * [simplify]: iteration 3 : 185 enodes (cost 8 ) 115.057 * * [simplify]: iteration 4 : 349 enodes (cost 8 ) 115.350 * * [simplify]: iteration 5 : 811 enodes (cost 8 ) 116.605 * * [simplify]: iteration 6 : 2226 enodes (cost 8 ) 118.545 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 118.546 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 118.547 * * [simplify]: iteration 1 : 10 enodes (cost 15 ) 118.548 * * [simplify]: iteration 2 : 12 enodes (cost 15 ) 118.550 * * [simplify]: iteration done : 12 enodes (cost 15 ) 118.550 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 118.551 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 118.552 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 118.554 * * [simplify]: iteration done : 11 enodes (cost 7 ) 118.554 * * [simplify]: iteration 0 : 7 enodes (cost 20 ) 118.556 * * [simplify]: iteration 1 : 20 enodes (cost 20 ) 118.560 * * [simplify]: iteration 2 : 70 enodes (cost 8 ) 118.592 * * [simplify]: iteration 3 : 225 enodes (cost 8 ) 118.756 * * [simplify]: iteration 4 : 375 enodes (cost 8 ) 118.975 * * [simplify]: iteration 5 : 537 enodes (cost 8 ) 119.559 * * [simplify]: iteration 6 : 1426 enodes (cost 8 ) 122.883 * * [simplify]: iteration 7 : 4745 enodes (cost 8 ) 124.770 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 124.771 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 124.772 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 124.773 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 124.774 * * [simplify]: iteration done : 11 enodes (cost 7 ) 124.775 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 124.775 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 124.776 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 124.778 * * [simplify]: iteration done : 11 enodes (cost 7 ) 124.778 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 124.779 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 124.779 * * [simplify]: iteration done : 6 enodes (cost 5 ) 124.780 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 124.780 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 124.781 * * [simplify]: iteration done : 6 enodes (cost 5 ) 124.782 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 124.782 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 124.783 * * [simplify]: iteration done : 6 enodes (cost 5 ) 124.783 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 124.784 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 124.784 * * [simplify]: iteration done : 6 enodes (cost 5 ) 124.785 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 124.786 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 124.786 * * [simplify]: iteration done : 5 enodes (cost 4 ) 124.787 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 124.787 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 124.788 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 124.790 * * [simplify]: iteration done : 11 enodes (cost 7 ) 124.790 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 124.791 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 124.792 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 124.794 * * [simplify]: iteration done : 11 enodes (cost 7 ) 124.794 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 124.795 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 124.796 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 124.797 * * [simplify]: iteration done : 11 enodes (cost 7 ) 124.798 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 124.798 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 124.799 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 124.801 * * [simplify]: iteration done : 10 enodes (cost 6 ) 124.801 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 124.802 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 124.803 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 124.804 * * [simplify]: iteration done : 11 enodes (cost 7 ) 124.805 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 124.805 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 124.806 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 124.807 * * [simplify]: iteration done : 10 enodes (cost 6 ) 124.808 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 124.809 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 124.811 * * [simplify]: iteration 2 : 20 enodes (cost 5 ) 124.814 * * [simplify]: iteration 3 : 24 enodes (cost 5 ) 124.817 * * [simplify]: iteration done : 24 enodes (cost 5 ) 124.817 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 124.818 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 124.820 * * [simplify]: iteration 2 : 20 enodes (cost 5 ) 124.823 * * [simplify]: iteration 3 : 24 enodes (cost 5 ) 124.827 * * [simplify]: iteration done : 24 enodes (cost 5 ) 124.827 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 124.828 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 124.830 * * [simplify]: iteration 2 : 20 enodes (cost 5 ) 124.837 * * [simplify]: iteration 3 : 24 enodes (cost 5 ) 124.840 * * [simplify]: iteration done : 24 enodes (cost 5 ) 124.841 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 124.842 * * [simplify]: iteration 1 : 16 enodes (cost 12 ) 124.844 * * [simplify]: iteration 2 : 26 enodes (cost 10 ) 124.848 * * [simplify]: iteration 3 : 32 enodes (cost 8 ) 124.852 * * [simplify]: iteration 4 : 33 enodes (cost 8 ) 124.857 * * [simplify]: iteration done : 33 enodes (cost 8 ) 124.858 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 124.858 * * [simplify]: iteration 1 : 14 enodes (cost 12 ) 124.860 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 124.863 * * [simplify]: iteration 3 : 33 enodes (cost 8 ) 124.868 * * [simplify]: iteration 4 : 34 enodes (cost 8 ) 124.873 * * [simplify]: iteration done : 34 enodes (cost 8 ) 124.873 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 124.874 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 124.876 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 124.879 * * [simplify]: iteration 3 : 37 enodes (cost 10 ) 124.883 * * [simplify]: iteration 4 : 44 enodes (cost 7 ) 124.889 * * [simplify]: iteration 5 : 45 enodes (cost 7 ) 124.897 * * [simplify]: iteration done : 45 enodes (cost 7 ) 124.898 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 124.899 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 124.901 * * [simplify]: iteration 2 : 33 enodes (cost 6 ) 124.906 * * [simplify]: iteration 3 : 50 enodes (cost 6 ) 124.914 * * [simplify]: iteration 4 : 64 enodes (cost 6 ) 124.923 * * [simplify]: iteration 5 : 67 enodes (cost 6 ) 124.932 * * [simplify]: iteration done : 67 enodes (cost 6 ) 124.933 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 124.934 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 124.936 * * [simplify]: iteration 2 : 31 enodes (cost 6 ) 124.941 * * [simplify]: iteration 3 : 65 enodes (cost 6 ) 124.955 * * [simplify]: iteration 4 : 149 enodes (cost 6 ) 124.984 * * [simplify]: iteration 5 : 358 enodes (cost 6 ) 125.175 * * [simplify]: iteration 6 : 887 enodes (cost 6 ) 126.701 * * [simplify]: iteration 7 : 2713 enodes (cost 6 ) 127.991 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 127.992 * * [simplify]: iteration 0 : 10 enodes (cost 29 ) 127.994 * * [simplify]: iteration 1 : 28 enodes (cost 21 ) 128.005 * * [simplify]: iteration 2 : 112 enodes (cost 9 ) 128.060 * * [simplify]: iteration 3 : 416 enodes (cost 5 ) 128.595 * * [simplify]: iteration 4 : 1195 enodes (cost 5 ) 130.758 * * [simplify]: iteration 5 : 2573 enodes (cost 5 ) 133.829 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 133.830 * * [simplify]: iteration 0 : 10 enodes (cost 29 ) 133.832 * * [simplify]: iteration 1 : 29 enodes (cost 21 ) 133.838 * * [simplify]: iteration 2 : 110 enodes (cost 9 ) 133.900 * * [simplify]: iteration 3 : 416 enodes (cost 5 ) 134.380 * * [simplify]: iteration 4 : 1156 enodes (cost 5 ) 136.876 * * [simplify]: iteration 5 : 2574 enodes (cost 5 ) 140.502 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 140.503 * * [simplify]: iteration 0 : 10 enodes (cost 29 ) 140.505 * * [simplify]: iteration 1 : 28 enodes (cost 21 ) 140.511 * * [simplify]: iteration 2 : 112 enodes (cost 13 ) 140.582 * * [simplify]: iteration 3 : 485 enodes (cost 13 ) 141.318 * * [simplify]: iteration 4 : 1154 enodes (cost 7 ) 143.120 * * [simplify]: iteration 5 : 1696 enodes (cost 5 ) 147.455 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 147.456 * * [simplify]: iteration 0 : 8 enodes (cost 21 ) 147.457 * * [simplify]: iteration 1 : 14 enodes (cost 21 ) 147.459 * * [simplify]: iteration 2 : 22 enodes (cost 13 ) 147.462 * * [simplify]: iteration 3 : 26 enodes (cost 13 ) 147.466 * * [simplify]: iteration done : 26 enodes (cost 13 ) 147.466 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 147.467 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 147.470 * * [simplify]: iteration 2 : 21 enodes (cost 6 ) 147.473 * * [simplify]: iteration 3 : 25 enodes (cost 6 ) 147.476 * * [simplify]: iteration done : 25 enodes (cost 6 ) 147.477 * * [simplify]: iteration 0 : 8 enodes (cost 29 ) 147.478 * * [simplify]: iteration 1 : 23 enodes (cost 29 ) 147.485 * * [simplify]: iteration 2 : 95 enodes (cost 7 ) 147.537 * * [simplify]: iteration 3 : 378 enodes (cost 7 ) 148.054 * * [simplify]: iteration 4 : 985 enodes (cost 6 ) 150.154 * * [simplify]: iteration 5 : 1976 enodes (cost 5 ) 153.585 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 153.586 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 153.587 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 153.589 * * [simplify]: iteration 2 : 21 enodes (cost 6 ) 153.597 * * [simplify]: iteration 3 : 26 enodes (cost 5 ) 153.600 * * [simplify]: iteration done : 26 enodes (cost 5 ) 153.601 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 153.601 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 153.603 * * [simplify]: iteration 2 : 21 enodes (cost 6 ) 153.606 * * [simplify]: iteration 3 : 26 enodes (cost 5 ) 153.610 * * [simplify]: iteration done : 26 enodes (cost 5 ) 153.610 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 153.611 * * [simplify]: iteration done : 3 enodes (cost 1 ) 153.611 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 153.612 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 153.614 * * [simplify]: iteration 2 : 27 enodes (cost 10 ) 153.619 * * [simplify]: iteration 3 : 37 enodes (cost 10 ) 153.625 * * [simplify]: iteration done : 37 enodes (cost 10 ) 153.626 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 153.627 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 153.629 * * [simplify]: iteration 2 : 28 enodes (cost 10 ) 153.633 * * [simplify]: iteration 3 : 39 enodes (cost 10 ) 153.639 * * [simplify]: iteration done : 39 enodes (cost 10 ) 153.640 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 153.641 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 153.643 * * [simplify]: iteration 2 : 27 enodes (cost 10 ) 153.647 * * [simplify]: iteration 3 : 37 enodes (cost 10 ) 153.656 * * [simplify]: iteration done : 37 enodes (cost 10 ) 153.657 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 153.658 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 153.660 * * [simplify]: iteration 2 : 20 enodes (cost 5 ) 153.663 * * [simplify]: iteration 3 : 24 enodes (cost 5 ) 153.666 * * [simplify]: iteration done : 24 enodes (cost 5 ) 153.667 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 153.668 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 153.670 * * [simplify]: iteration 2 : 27 enodes (cost 10 ) 153.674 * * [simplify]: iteration 3 : 37 enodes (cost 10 ) 153.681 * * [simplify]: iteration done : 37 enodes (cost 10 ) 153.681 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 153.682 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 153.684 * * [simplify]: iteration 2 : 20 enodes (cost 5 ) 153.687 * * [simplify]: iteration 3 : 24 enodes (cost 5 ) 153.690 * * [simplify]: iteration done : 24 enodes (cost 5 ) 153.691 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 153.692 * * [simplify]: iteration 1 : 26 enodes (cost 14 ) 153.696 * * [simplify]: iteration 2 : 48 enodes (cost 10 ) 153.703 * * [simplify]: iteration 3 : 102 enodes (cost 10 ) 153.727 * * [simplify]: iteration 4 : 293 enodes (cost 10 ) 153.856 * * [simplify]: iteration 5 : 1071 enodes (cost 10 ) 155.527 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 155.528 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 155.529 * * [simplify]: iteration 1 : 19 enodes (cost 14 ) 155.532 * * [simplify]: iteration 2 : 27 enodes (cost 10 ) 155.536 * * [simplify]: iteration 3 : 31 enodes (cost 10 ) 155.540 * * [simplify]: iteration done : 31 enodes (cost 10 ) 155.541 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 155.542 * * [simplify]: iteration 1 : 22 enodes (cost 14 ) 155.545 * * [simplify]: iteration 2 : 41 enodes (cost 10 ) 155.552 * * [simplify]: iteration 3 : 72 enodes (cost 10 ) 155.567 * * [simplify]: iteration 4 : 179 enodes (cost 10 ) 155.619 * * [simplify]: iteration 5 : 597 enodes (cost 10 ) 156.173 * * [simplify]: iteration 6 : 2451 enodes (cost 10 ) 157.206 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 157.207 * * [simplify]: iteration 0 : 12 enodes (cost 29 ) 157.208 * * [simplify]: iteration 1 : 20 enodes (cost 29 ) 157.211 * * [simplify]: iteration 2 : 28 enodes (cost 21 ) 157.215 * * [simplify]: iteration 3 : 32 enodes (cost 21 ) 157.219 * * [simplify]: iteration done : 32 enodes (cost 21 ) 157.220 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 157.222 * * [simplify]: iteration 1 : 19 enodes (cost 14 ) 157.224 * * [simplify]: iteration 2 : 27 enodes (cost 10 ) 157.228 * * [simplify]: iteration 3 : 31 enodes (cost 10 ) 157.236 * * [simplify]: iteration done : 31 enodes (cost 10 ) 157.237 * * [simplify]: iteration 0 : 12 enodes (cost 41 ) 157.239 * * [simplify]: iteration 1 : 33 enodes (cost 41 ) 157.246 * * [simplify]: iteration 2 : 112 enodes (cost 11 ) 157.291 * * [simplify]: iteration 3 : 539 enodes (cost 11 ) 157.830 * * [simplify]: iteration 4 : 2301 enodes (cost 11 ) 159.863 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 159.864 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 159.866 * * [simplify]: iteration 1 : 19 enodes (cost 14 ) 159.868 * * [simplify]: iteration 2 : 27 enodes (cost 10 ) 159.872 * * [simplify]: iteration 3 : 31 enodes (cost 10 ) 159.876 * * [simplify]: iteration done : 31 enodes (cost 10 ) 159.877 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 159.878 * * [simplify]: iteration 1 : 19 enodes (cost 14 ) 159.881 * * [simplify]: iteration 2 : 27 enodes (cost 10 ) 159.885 * * [simplify]: iteration 3 : 31 enodes (cost 10 ) 159.896 * * [simplify]: iteration done : 31 enodes (cost 10 ) 159.896 * * [simplify]: iteration 0 : 12 enodes (cost 17 ) 159.898 * * [simplify]: iteration 1 : 39 enodes (cost 17 ) 159.907 * * [simplify]: iteration 2 : 134 enodes (cost 13 ) 159.959 * * [simplify]: iteration 3 : 475 enodes (cost 13 ) 160.488 * * [simplify]: iteration 4 : 1600 enodes (cost 11 ) 163.674 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 163.675 * * [simplify]: iteration 0 : 14 enodes (cost 41 ) 163.678 * * [simplify]: iteration 1 : 46 enodes (cost 31 ) 163.689 * * [simplify]: iteration 2 : 162 enodes (cost 23 ) 163.760 * * [simplify]: iteration 3 : 600 enodes (cost 23 ) 164.279 * * [simplify]: iteration 4 : 1513 enodes (cost 21 ) 166.051 * * [simplify]: iteration 5 : 2216 enodes (cost 19 ) 167.744 * * [simplify]: iteration 6 : 2490 enodes (cost 19 ) 169.461 * * [simplify]: iteration 7 : 3132 enodes (cost 19 ) 171.137 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 171.138 * * [simplify]: iteration 0 : 12 enodes (cost 27 ) 171.140 * * [simplify]: iteration 1 : 37 enodes (cost 27 ) 171.148 * * [simplify]: iteration 2 : 111 enodes (cost 17 ) 171.197 * * [simplify]: iteration 3 : 385 enodes (cost 17 ) 171.613 * * [simplify]: iteration 4 : 1124 enodes (cost 15 ) 172.709 * * [simplify]: iteration 5 : 1781 enodes (cost 13 ) 174.103 * * [simplify]: iteration 6 : 2592 enodes (cost 13 ) 176.734 * * [simplify]: iteration 7 : 4601 enodes (cost 13 ) 178.440 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 178.440 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 178.442 * * [simplify]: iteration 1 : 19 enodes (cost 13 ) 178.444 * * [simplify]: iteration 2 : 39 enodes (cost 9 ) 178.452 * * [simplify]: iteration 3 : 78 enodes (cost 9 ) 178.481 * * [simplify]: iteration 4 : 108 enodes (cost 9 ) 178.498 * * [simplify]: iteration done : 108 enodes (cost 9 ) 178.499 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 178.499 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 178.501 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 178.503 * * [simplify]: iteration 3 : 35 enodes (cost 6 ) 178.506 * * [simplify]: iteration 4 : 41 enodes (cost 6 ) 178.508 * * [simplify]: iteration 5 : 51 enodes (cost 6 ) 178.512 * * [simplify]: iteration 6 : 72 enodes (cost 6 ) 178.525 * * [simplify]: iteration 7 : 133 enodes (cost 6 ) 178.569 * * [simplify]: iteration 8 : 348 enodes (cost 6 ) 179.029 * * [simplify]: iteration 9 : 1283 enodes (cost 6 ) 181.456 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 181.457 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 181.463 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 181.465 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 181.467 * * [simplify]: iteration 3 : 35 enodes (cost 6 ) 181.476 * * [simplify]: iteration 4 : 41 enodes (cost 6 ) 181.478 * * [simplify]: iteration 5 : 51 enodes (cost 6 ) 181.482 * * [simplify]: iteration 6 : 72 enodes (cost 6 ) 181.491 * * [simplify]: iteration 7 : 133 enodes (cost 6 ) 181.539 * * [simplify]: iteration 8 : 348 enodes (cost 6 ) 181.995 * * [simplify]: iteration 9 : 1283 enodes (cost 6 ) 184.429 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 184.430 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 184.430 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 184.432 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 184.434 * * [simplify]: iteration 3 : 35 enodes (cost 6 ) 184.437 * * [simplify]: iteration 4 : 41 enodes (cost 6 ) 184.439 * * [simplify]: iteration 5 : 51 enodes (cost 6 ) 184.443 * * [simplify]: iteration 6 : 72 enodes (cost 6 ) 184.453 * * [simplify]: iteration 7 : 133 enodes (cost 6 ) 184.502 * * [simplify]: iteration 8 : 348 enodes (cost 6 ) 184.970 * * [simplify]: iteration 9 : 1283 enodes (cost 6 ) 187.389 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 187.389 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 187.390 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 187.394 * * [simplify]: iteration 2 : 59 enodes (cost 5 ) 187.401 * * [simplify]: iteration 3 : 90 enodes (cost 5 ) 187.413 * * [simplify]: iteration 4 : 171 enodes (cost 5 ) 187.497 * * [simplify]: iteration 5 : 447 enodes (cost 5 ) 188.012 * * [simplify]: iteration 6 : 1447 enodes (cost 5 ) 192.310 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 192.311 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 192.312 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 192.316 * * [simplify]: iteration 2 : 59 enodes (cost 5 ) 192.323 * * [simplify]: iteration 3 : 90 enodes (cost 5 ) 192.341 * * [simplify]: iteration 4 : 171 enodes (cost 5 ) 192.404 * * [simplify]: iteration 5 : 447 enodes (cost 5 ) 192.930 * * [simplify]: iteration 6 : 1447 enodes (cost 5 ) 197.463 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 197.464 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 197.465 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 197.469 * * [simplify]: iteration 2 : 59 enodes (cost 5 ) 197.475 * * [simplify]: iteration 3 : 90 enodes (cost 5 ) 197.488 * * [simplify]: iteration 4 : 171 enodes (cost 5 ) 197.551 * * [simplify]: iteration 5 : 447 enodes (cost 5 ) 198.067 * * [simplify]: iteration 6 : 1447 enodes (cost 5 ) 202.348 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 202.348 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 202.350 * * [simplify]: iteration 1 : 22 enodes (cost 12 ) 202.354 * * [simplify]: iteration 2 : 65 enodes (cost 9 ) 202.362 * * [simplify]: iteration 3 : 98 enodes (cost 9 ) 202.380 * * [simplify]: iteration 4 : 181 enodes (cost 9 ) 202.448 * * [simplify]: iteration 5 : 463 enodes (cost 9 ) 202.940 * * [simplify]: iteration 6 : 1399 enodes (cost 9 ) 207.685 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 207.686 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 207.688 * * [simplify]: iteration 1 : 22 enodes (cost 12 ) 207.692 * * [simplify]: iteration 2 : 65 enodes (cost 9 ) 207.708 * * [simplify]: iteration 3 : 98 enodes (cost 9 ) 207.722 * * [simplify]: iteration 4 : 181 enodes (cost 9 ) 207.791 * * [simplify]: iteration 5 : 463 enodes (cost 9 ) 208.288 * * [simplify]: iteration 6 : 1399 enodes (cost 9 ) 213.027 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 213.028 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 213.029 * * [simplify]: iteration 1 : 22 enodes (cost 12 ) 213.034 * * [simplify]: iteration 2 : 65 enodes (cost 9 ) 213.042 * * [simplify]: iteration 3 : 98 enodes (cost 9 ) 213.056 * * [simplify]: iteration 4 : 181 enodes (cost 9 ) 213.127 * * [simplify]: iteration 5 : 463 enodes (cost 9 ) 213.624 * * [simplify]: iteration 6 : 1399 enodes (cost 9 ) 218.372 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 218.373 * [simplify]: Simplified to: (* (sqrt 3) (* z z)) (* (sqrt 3) (* z z)) (+ (log (sqrt 3)) (* 2 (log z))) (+ (log (sqrt 3)) (log (* z z))) (log (* (sqrt 3) (* z z))) (exp (* (sqrt 3) (* z z))) (* (pow z 6) (* 3 (sqrt 3))) (* (pow z 6) (* 3 (sqrt 3))) (* (cbrt (* (sqrt 3) (* z z))) (cbrt (* (sqrt 3) (* z z)))) (cbrt (* (sqrt 3) (* z z))) (pow (* (sqrt 3) (* z z)) 3) (sqrt (* (sqrt 3) (* z z))) (sqrt (* (sqrt 3) (* z z))) (* (sqrt (sqrt 3)) z) (* (sqrt (sqrt 3)) z) (* (sqrt (sqrt 3)) z) (* (sqrt (sqrt 3)) z) (* (sqrt 3) z) (* (cbrt (sqrt 3)) (* z z)) (* (sqrt (cbrt 3)) (* z z)) (* (sqrt (sqrt 3)) (* z z)) (* (sqrt 3) (* z z)) (* (sqrt (sqrt 3)) (* z z)) (* (sqrt 3) (* z z)) (* 3 (* z z)) (* 3 (* z z)) (* 3 (* z z)) (* 2 (+ (log (sqrt 3)) (log z))) (* 2 (+ (log (sqrt 3)) (log z))) (* 2 (log (* (sqrt 3) z))) (log (* 3 (* z z))) (exp (* 3 (* z z))) (* (pow z 6) 27) (* (pow z 6) 27) (* 27 (pow z 6)) (* (cbrt (* 3 (* z z))) (cbrt (* 3 (* z z)))) (cbrt (* 3 (* z z))) (* (pow z 6) 27) (fabs (* (sqrt 3) z)) (fabs (* (sqrt 3) z)) 3 (* (cbrt (sqrt 3)) (* (sqrt 3) (* z z))) (* (sqrt (cbrt 3)) (* (sqrt 3) (* z z))) (* (sqrt (sqrt 3)) (* (sqrt 3) (* z z))) (* 3 (* z z)) (* (sqrt (sqrt 3)) (* (sqrt 3) (* z z))) (* 3 (* z z)) (exp (+ (* x y) (* (* z z) 3))) (log (+ (* (* z z) 3) (* x y))) (exp (+ (* (* z z) 3) (* x y))) (* (cbrt (+ (* (* z z) 3) (* x y))) (cbrt (+ (* (* z z) 3) (* x y)))) (cbrt (+ (* (* z z) 3) (* x y))) (pow (+ (* (* z z) 3) (* x y)) 3) (sqrt (+ (* (* z z) 3) (* x y))) (sqrt (+ (* (* z z) 3) (* x y))) (+ (* (pow z 6) 27) (pow (* x y) 3)) (+ (* (+ (* (* z z) -3) (* x y)) (* x y)) (* (pow z 4) 9)) (- (* (* x y) (* x y)) (* 9 (pow z 4))) (- (* x y) (* (* z z) 3)) (* (pow z 2) (sqrt 3)) (* (pow z 2) (sqrt 3)) (* (pow z 2) (sqrt 3)) (* 3 (pow z 2)) (* 3 (pow z 2)) (* 3 (pow z 2)) (+ (* x y) (* (pow z 2) 3)) (+ (* x y) (* (pow z 2) 3)) (+ (* x y) (* (pow z 2) 3)) 218.373 * * * [progress]: adding candidates to table 218.470 * * [progress]: iteration 4 / 4 218.470 * * * [progress]: picking best candidate 218.484 * * * * [pick]: Picked # 218.484 * * * [progress]: localizing error 218.497 * * * [progress]: generating rewritten candidates 218.497 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 218.506 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 218.522 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 218.543 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2) 218.559 * * * [progress]: generating series expansions 218.559 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 218.559 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 218.559 * [approximate]: Taking taylor expansion of (* (pow z 2) (sqrt 3)) in (z) around 0 218.559 * [taylor]: Taking taylor expansion of (* (pow z 2) (sqrt 3)) in z 218.559 * [taylor]: Taking taylor expansion of (pow z 2) in z 218.559 * [taylor]: Taking taylor expansion of z in z 218.559 * [taylor]: Taking taylor expansion of (sqrt 3) in z 218.559 * [taylor]: Taking taylor expansion of 3 in z 218.559 * [taylor]: Taking taylor expansion of (* (pow z 2) (sqrt 3)) in z 218.559 * [taylor]: Taking taylor expansion of (pow z 2) in z 218.559 * [taylor]: Taking taylor expansion of z in z 218.559 * [taylor]: Taking taylor expansion of (sqrt 3) in z 218.559 * [taylor]: Taking taylor expansion of 3 in z 218.561 * [approximate]: Taking taylor expansion of (/ (sqrt 3) (pow z 2)) in (z) around 0 218.561 * [taylor]: Taking taylor expansion of (/ (sqrt 3) (pow z 2)) in z 218.561 * [taylor]: Taking taylor expansion of (sqrt 3) in z 218.561 * [taylor]: Taking taylor expansion of 3 in z 218.561 * [taylor]: Taking taylor expansion of (pow z 2) in z 218.561 * [taylor]: Taking taylor expansion of z in z 218.561 * [taylor]: Taking taylor expansion of (/ (sqrt 3) (pow z 2)) in z 218.561 * [taylor]: Taking taylor expansion of (sqrt 3) in z 218.561 * [taylor]: Taking taylor expansion of 3 in z 218.561 * [taylor]: Taking taylor expansion of (pow z 2) in z 218.561 * [taylor]: Taking taylor expansion of z in z 218.563 * [approximate]: Taking taylor expansion of (/ (sqrt 3) (pow z 2)) in (z) around 0 218.563 * [taylor]: Taking taylor expansion of (/ (sqrt 3) (pow z 2)) in z 218.563 * [taylor]: Taking taylor expansion of (sqrt 3) in z 218.563 * [taylor]: Taking taylor expansion of 3 in z 218.563 * [taylor]: Taking taylor expansion of (pow z 2) in z 218.563 * [taylor]: Taking taylor expansion of z in z 218.563 * [taylor]: Taking taylor expansion of (/ (sqrt 3) (pow z 2)) in z 218.563 * [taylor]: Taking taylor expansion of (sqrt 3) in z 218.563 * [taylor]: Taking taylor expansion of 3 in z 218.563 * [taylor]: Taking taylor expansion of (pow z 2) in z 218.563 * [taylor]: Taking taylor expansion of z in z 218.564 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 218.564 * [approximate]: Taking taylor expansion of (* (pow z 2) (pow (sqrt 3) 2)) in (z) around 0 218.564 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow (sqrt 3) 2)) in z 218.564 * [taylor]: Taking taylor expansion of (pow z 2) in z 218.564 * [taylor]: Taking taylor expansion of z in z 218.564 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z 218.565 * [taylor]: Taking taylor expansion of (sqrt 3) in z 218.565 * [taylor]: Taking taylor expansion of 3 in z 218.565 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow (sqrt 3) 2)) in z 218.565 * [taylor]: Taking taylor expansion of (pow z 2) in z 218.565 * [taylor]: Taking taylor expansion of z in z 218.565 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z 218.565 * [taylor]: Taking taylor expansion of (sqrt 3) in z 218.565 * [taylor]: Taking taylor expansion of 3 in z 218.567 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in (z) around 0 218.567 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z 218.567 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z 218.567 * [taylor]: Taking taylor expansion of (sqrt 3) in z 218.567 * [taylor]: Taking taylor expansion of 3 in z 218.567 * [taylor]: Taking taylor expansion of (pow z 2) in z 218.567 * [taylor]: Taking taylor expansion of z in z 218.567 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z 218.567 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z 218.567 * [taylor]: Taking taylor expansion of (sqrt 3) in z 218.567 * [taylor]: Taking taylor expansion of 3 in z 218.567 * [taylor]: Taking taylor expansion of (pow z 2) in z 218.567 * [taylor]: Taking taylor expansion of z in z 218.570 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in (z) around 0 218.570 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z 218.570 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z 218.570 * [taylor]: Taking taylor expansion of (sqrt 3) in z 218.570 * [taylor]: Taking taylor expansion of 3 in z 218.570 * [taylor]: Taking taylor expansion of (pow z 2) in z 218.570 * [taylor]: Taking taylor expansion of z in z 218.570 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z 218.570 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z 218.570 * [taylor]: Taking taylor expansion of (sqrt 3) in z 218.570 * [taylor]: Taking taylor expansion of 3 in z 218.570 * [taylor]: Taking taylor expansion of (pow z 2) in z 218.570 * [taylor]: Taking taylor expansion of z in z 218.573 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2) 218.573 * [approximate]: Taking taylor expansion of (* (pow z 2) (pow (sqrt 3) 1/3)) in (z) around 0 218.573 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow (sqrt 3) 1/3)) in z 218.573 * [taylor]: Taking taylor expansion of (pow z 2) in z 218.573 * [taylor]: Taking taylor expansion of z in z 218.573 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 1/3) in z 218.573 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt 3)))) in z 218.573 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt 3))) in z 218.573 * [taylor]: Taking taylor expansion of 1/3 in z 218.573 * [taylor]: Taking taylor expansion of (log (sqrt 3)) in z 218.573 * [taylor]: Taking taylor expansion of (sqrt 3) in z 218.573 * [taylor]: Taking taylor expansion of 3 in z 218.573 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow (sqrt 3) 1/3)) in z 218.573 * [taylor]: Taking taylor expansion of (pow z 2) in z 218.573 * [taylor]: Taking taylor expansion of z in z 218.573 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 1/3) in z 218.573 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt 3)))) in z 218.573 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt 3))) in z 218.573 * [taylor]: Taking taylor expansion of 1/3 in z 218.573 * [taylor]: Taking taylor expansion of (log (sqrt 3)) in z 218.573 * [taylor]: Taking taylor expansion of (sqrt 3) in z 218.573 * [taylor]: Taking taylor expansion of 3 in z 218.587 * [approximate]: Taking taylor expansion of (* (/ 1 (pow z 2)) (pow (sqrt 3) 1/3)) in (z) around 0 218.587 * [taylor]: Taking taylor expansion of (* (/ 1 (pow z 2)) (pow (sqrt 3) 1/3)) in z 218.587 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 218.587 * [taylor]: Taking taylor expansion of (pow z 2) in z 218.587 * [taylor]: Taking taylor expansion of z in z 218.587 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 1/3) in z 218.587 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt 3)))) in z 218.587 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt 3))) in z 218.587 * [taylor]: Taking taylor expansion of 1/3 in z 218.587 * [taylor]: Taking taylor expansion of (log (sqrt 3)) in z 218.587 * [taylor]: Taking taylor expansion of (sqrt 3) in z 218.587 * [taylor]: Taking taylor expansion of 3 in z 218.587 * [taylor]: Taking taylor expansion of (* (/ 1 (pow z 2)) (pow (sqrt 3) 1/3)) in z 218.587 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 218.587 * [taylor]: Taking taylor expansion of (pow z 2) in z 218.587 * [taylor]: Taking taylor expansion of z in z 218.587 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 1/3) in z 218.587 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt 3)))) in z 218.587 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt 3))) in z 218.587 * [taylor]: Taking taylor expansion of 1/3 in z 218.587 * [taylor]: Taking taylor expansion of (log (sqrt 3)) in z 218.588 * [taylor]: Taking taylor expansion of (sqrt 3) in z 218.588 * [taylor]: Taking taylor expansion of 3 in z 218.597 * [approximate]: Taking taylor expansion of (* (/ 1 (pow z 2)) (pow (sqrt 3) 1/3)) in (z) around 0 218.597 * [taylor]: Taking taylor expansion of (* (/ 1 (pow z 2)) (pow (sqrt 3) 1/3)) in z 218.597 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 218.597 * [taylor]: Taking taylor expansion of (pow z 2) in z 218.597 * [taylor]: Taking taylor expansion of z in z 218.597 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 1/3) in z 218.597 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt 3)))) in z 218.597 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt 3))) in z 218.597 * [taylor]: Taking taylor expansion of 1/3 in z 218.597 * [taylor]: Taking taylor expansion of (log (sqrt 3)) in z 218.597 * [taylor]: Taking taylor expansion of (sqrt 3) in z 218.597 * [taylor]: Taking taylor expansion of 3 in z 218.597 * [taylor]: Taking taylor expansion of (* (/ 1 (pow z 2)) (pow (sqrt 3) 1/3)) in z 218.597 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 218.597 * [taylor]: Taking taylor expansion of (pow z 2) in z 218.597 * [taylor]: Taking taylor expansion of z in z 218.597 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 1/3) in z 218.597 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt 3)))) in z 218.597 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt 3))) in z 218.597 * [taylor]: Taking taylor expansion of 1/3 in z 218.597 * [taylor]: Taking taylor expansion of (log (sqrt 3)) in z 218.597 * [taylor]: Taking taylor expansion of (sqrt 3) in z 218.597 * [taylor]: Taking taylor expansion of 3 in z 218.606 * * * [progress]: simplifying candidates 218.609 * [simplify]: Simplifying using # : (+ 1/3 1/3) (+ 1 1) (* (sqrt 3) (sqrt 3)) (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (+ 1 1) (+ (log (cbrt (sqrt 3))) (log (cbrt (sqrt 3)))) (log (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (exp (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (sqrt 3) (sqrt 3)) (* (cbrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (cbrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3))))) (cbrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (sqrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (sqrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (cbrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (cbrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3))))) (* (cbrt (cbrt (sqrt 3))) (cbrt (cbrt (sqrt 3)))) (* (cbrt (sqrt (* (cbrt 3) (cbrt 3)))) (cbrt (sqrt (* (cbrt 3) (cbrt 3))))) (* (cbrt (sqrt (cbrt 3))) (cbrt (sqrt (cbrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt 1)) (cbrt (sqrt 1))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (* (cbrt (cbrt (sqrt 3))) (cbrt (cbrt (sqrt 3)))) (* (cbrt (cbrt (sqrt 3))) (cbrt (cbrt (sqrt 3))))) (* (cbrt (cbrt (sqrt 3))) (cbrt (cbrt (sqrt 3)))) (* (sqrt (cbrt (sqrt 3))) (sqrt (cbrt (sqrt 3)))) (* (sqrt (cbrt (sqrt 3))) (sqrt (cbrt (sqrt 3)))) (* 1 1) (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (sqrt (cbrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (sqrt (cbrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (sqrt (cbrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (sqrt (cbrt (sqrt 3)))) (* (sqrt (cbrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (sqrt (cbrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (sqrt (cbrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (sqrt (cbrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (sqrt (cbrt (sqrt 3))) (sqrt (cbrt (sqrt 3)))) (* (sqrt (cbrt (sqrt 3))) (sqrt (cbrt (sqrt 3)))) (* 2 1/3) (* 2 1) (* (cbrt (sqrt 3)) (cbrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3))))) (* (cbrt (sqrt 3)) (cbrt (sqrt (* (cbrt 3) (cbrt 3))))) (* (cbrt (sqrt 3)) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt 3)) (cbrt (sqrt 1))) (* (cbrt (sqrt 3)) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt 3)) (cbrt 1)) (* (cbrt (sqrt 3)) (* (cbrt (cbrt (sqrt 3))) (cbrt (cbrt (sqrt 3))))) (* (cbrt (sqrt 3)) (sqrt (cbrt (sqrt 3)))) (* (cbrt (sqrt 3)) 1) (* (cbrt (cbrt (sqrt 3))) (cbrt (sqrt 3))) (* (cbrt (sqrt (cbrt 3))) (cbrt (sqrt 3))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (cbrt (sqrt 3))) (cbrt (sqrt 3))) (* (sqrt (cbrt (sqrt 3))) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z))) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z))) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z))) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z))) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z))) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z))) (+ (+ (log (cbrt (sqrt 3))) (log (cbrt (sqrt 3)))) (+ (log (cbrt (sqrt 3))) (+ (log z) (log z)))) (+ (+ (log (cbrt (sqrt 3))) (log (cbrt (sqrt 3)))) (+ (log (cbrt (sqrt 3))) (log (* z z)))) (+ (+ (log (cbrt (sqrt 3))) (log (cbrt (sqrt 3)))) (log (* (cbrt (sqrt 3)) (* z z)))) (+ (log (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (+ (log (cbrt (sqrt 3))) (+ (log z) (log z)))) (+ (log (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (+ (log (cbrt (sqrt 3))) (log (* z z)))) (+ (log (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (log (* (cbrt (sqrt 3)) (* z z)))) (log (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z)))) (exp (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z)))) (* (* (sqrt 3) (sqrt 3)) (* (sqrt 3) (* (* (* z z) z) (* (* z z) z)))) (* (* (sqrt 3) (sqrt 3)) (* (sqrt 3) (* (* (* z z) (* z z)) (* z z)))) (* (* (sqrt 3) (sqrt 3)) (* (* (* (cbrt (sqrt 3)) (* z z)) (* (cbrt (sqrt 3)) (* z z))) (* (cbrt (sqrt 3)) (* z z)))) (* (* (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (sqrt 3) (* (* (* z z) z) (* (* z z) z)))) (* (* (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (sqrt 3) (* (* (* z z) (* z z)) (* z z)))) (* (* (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (* (* (cbrt (sqrt 3)) (* z z)) (* (cbrt (sqrt 3)) (* z z))) (* (cbrt (sqrt 3)) (* z z)))) (* (cbrt (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z)))) (cbrt (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z))))) (cbrt (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z)))) (* (* (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z))) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z)))) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z)))) (sqrt (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z)))) (sqrt (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z)))) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* (cbrt (sqrt 3)) (* z z))) (* (sqrt 3) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z)))) (* (sqrt 3) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z)))) (* (sqrt 3) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z)))) (* (sqrt 3) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z)))) (* (sqrt 3) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z)))) (* (sqrt 3) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z)))) (* (sqrt 3) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z)))) (+ (log (sqrt 3)) (+ (+ (log (cbrt (sqrt 3))) (log (cbrt (sqrt 3)))) (+ (log (cbrt (sqrt 3))) (+ (log z) (log z))))) (+ (log (sqrt 3)) (+ (+ (log (cbrt (sqrt 3))) (log (cbrt (sqrt 3)))) (+ (log (cbrt (sqrt 3))) (log (* z z))))) (+ (log (sqrt 3)) (+ (+ (log (cbrt (sqrt 3))) (log (cbrt (sqrt 3)))) (log (* (cbrt (sqrt 3)) (* z z))))) (+ (log (sqrt 3)) (+ (log (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (+ (log (cbrt (sqrt 3))) (+ (log z) (log z))))) (+ (log (sqrt 3)) (+ (log (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (+ (log (cbrt (sqrt 3))) (log (* z z))))) (+ (log (sqrt 3)) (+ (log (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (log (* (cbrt (sqrt 3)) (* z z))))) (+ (log (sqrt 3)) (log (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z))))) (log (* (sqrt 3) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z))))) (exp (* (sqrt 3) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z))))) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (sqrt 3) (sqrt 3)) (* (sqrt 3) (* (* (* z z) z) (* (* z z) z))))) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (sqrt 3) (sqrt 3)) (* (sqrt 3) (* (* (* z z) (* z z)) (* z z))))) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (sqrt 3) (sqrt 3)) (* (* (* (cbrt (sqrt 3)) (* z z)) (* (cbrt (sqrt 3)) (* z z))) (* (cbrt (sqrt 3)) (* z z))))) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (sqrt 3) (* (* (* z z) z) (* (* z z) z))))) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (sqrt 3) (* (* (* z z) (* z z)) (* z z))))) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (* (* (cbrt (sqrt 3)) (* z z)) (* (cbrt (sqrt 3)) (* z z))) (* (cbrt (sqrt 3)) (* z z))))) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z))) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z)))) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z))))) (* (cbrt (* (sqrt 3) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z))))) (cbrt (* (sqrt 3) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z)))))) (cbrt (* (sqrt 3) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z))))) (* (* (* (sqrt 3) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z)))) (* (sqrt 3) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z))))) (* (sqrt 3) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z))))) (sqrt (* (sqrt 3) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z))))) (sqrt (* (sqrt 3) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z))))) (* (sqrt 3) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (cbrt (sqrt 3)) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z)))) (* (sqrt (cbrt 3)) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z)))) (* (sqrt (sqrt 3)) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z)))) (* (sqrt 3) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z)))) (* (sqrt (sqrt 3)) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z)))) (* (sqrt 3) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z)))) (* (cbrt (sqrt 3)) (* z z)) (* (cbrt (sqrt 3)) (* z z)) (+ (log (cbrt (sqrt 3))) (+ (log z) (log z))) (+ (log (cbrt (sqrt 3))) (log (* z z))) (log (* (cbrt (sqrt 3)) (* z z))) (exp (* (cbrt (sqrt 3)) (* z z))) (* (sqrt 3) (* (* (* z z) z) (* (* z z) z))) (* (sqrt 3) (* (* (* z z) (* z z)) (* z z))) (* (cbrt (* (cbrt (sqrt 3)) (* z z))) (cbrt (* (cbrt (sqrt 3)) (* z z)))) (cbrt (* (cbrt (sqrt 3)) (* z z))) (* (* (* (cbrt (sqrt 3)) (* z z)) (* (cbrt (sqrt 3)) (* z z))) (* (cbrt (sqrt 3)) (* z z))) (sqrt (* (cbrt (sqrt 3)) (* z z))) (sqrt (* (cbrt (sqrt 3)) (* z z))) (* (cbrt (sqrt (sqrt 3))) z) (* (cbrt (sqrt (sqrt 3))) z) (* (cbrt (sqrt (sqrt 3))) z) (* (cbrt (sqrt (sqrt 3))) z) (* (sqrt (cbrt (sqrt 3))) z) (* (sqrt (cbrt (sqrt 3))) z) (* (cbrt (sqrt 3)) z) (* (cbrt (cbrt (sqrt 3))) (* z z)) (* (cbrt (sqrt (cbrt 3))) (* z z)) (* (cbrt (sqrt (sqrt 3))) (* z z)) (* (cbrt (sqrt 3)) (* z z)) (* (cbrt (sqrt (sqrt 3))) (* z z)) (* (cbrt (sqrt 3)) (* z z)) (* (cbrt (cbrt (sqrt 3))) (* z z)) (* (sqrt (cbrt (sqrt 3))) (* z z)) (* (cbrt (sqrt 3)) (* z z)) (* (cbrt (sqrt 3)) (* z z)) (* (pow z 2) (sqrt 3)) (* (pow z 2) (sqrt 3)) (* (pow z 2) (sqrt 3)) (* (pow z 2) (pow (sqrt 3) 2)) (* (pow z 2) (pow (sqrt 3) 2)) (* (pow z 2) (pow (sqrt 3) 2)) (* (pow z 2) (pow (sqrt 3) 1/3)) (* (pow z 2) (pow (sqrt 3) 1/3)) (* (pow z 2) (pow (sqrt 3) 1/3)) 218.609 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 218.610 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 218.610 * * [simplify]: iteration done : 5 enodes (cost 1 ) 218.610 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 218.611 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 218.611 * * [simplify]: iteration done : 6 enodes (cost 1 ) 218.612 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 218.612 * * [simplify]: iteration done : 3 enodes (cost 1 ) 218.612 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 218.613 * * [simplify]: iteration done : 4 enodes (cost 7 ) 218.613 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 218.614 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 218.614 * * [simplify]: iteration done : 6 enodes (cost 1 ) 218.615 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 218.615 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 218.616 * * [simplify]: iteration 2 : 8 enodes (cost 6 ) 218.616 * * [simplify]: iteration done : 8 enodes (cost 6 ) 218.617 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 218.617 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 218.618 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 218.619 * * [simplify]: iteration 3 : 10 enodes (cost 6 ) 218.620 * * [simplify]: iteration done : 10 enodes (cost 6 ) 218.621 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 218.621 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 218.622 * * [simplify]: iteration 2 : 11 enodes (cost 8 ) 218.623 * * [simplify]: iteration 3 : 16 enodes (cost 8 ) 218.625 * * [simplify]: iteration 4 : 34 enodes (cost 8 ) 218.630 * * [simplify]: iteration 5 : 73 enodes (cost 8 ) 218.652 * * [simplify]: iteration 6 : 182 enodes (cost 8 ) 218.752 * * [simplify]: iteration 7 : 565 enodes (cost 8 ) 219.655 * * [simplify]: iteration 8 : 2262 enodes (cost 8 ) 221.773 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 221.774 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 221.774 * * [simplify]: iteration done : 3 enodes (cost 1 ) 221.775 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 221.776 * * [simplify]: iteration done : 6 enodes (cost 17 ) 221.776 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 221.777 * * [simplify]: iteration done : 5 enodes (cost 8 ) 221.777 * * [simplify]: iteration 0 : 6 enodes (cost 23 ) 221.778 * * [simplify]: iteration 1 : 14 enodes (cost 23 ) 221.780 * * [simplify]: iteration 2 : 20 enodes (cost 9 ) 221.785 * * [simplify]: iteration 3 : 34 enodes (cost 5 ) 221.791 * * [simplify]: iteration 4 : 68 enodes (cost 1 ) 221.801 * * [simplify]: iteration 5 : 132 enodes (cost 1 ) 221.836 * * [simplify]: iteration 6 : 314 enodes (cost 1 ) 222.042 * * [simplify]: iteration 7 : 1008 enodes (cost 1 ) 225.903 * * [simplify]: iteration 8 : 4984 enodes (cost 1 ) 227.344 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 227.344 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 227.345 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 227.345 * * [simplify]: iteration done : 6 enodes (cost 4 ) 227.346 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 227.346 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 227.347 * * [simplify]: iteration done : 6 enodes (cost 4 ) 227.348 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 227.348 * * [simplify]: iteration done : 6 enodes (cost 17 ) 227.349 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 227.349 * * [simplify]: iteration done : 5 enodes (cost 9 ) 227.350 * * [simplify]: iteration 0 : 6 enodes (cost 15 ) 227.351 * * [simplify]: iteration 1 : 7 enodes (cost 9 ) 227.351 * * [simplify]: iteration done : 7 enodes (cost 9 ) 227.352 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 227.352 * * [simplify]: iteration done : 5 enodes (cost 9 ) 227.353 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 227.353 * * [simplify]: iteration done : 5 enodes (cost 9 ) 227.354 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 227.354 * * [simplify]: iteration done : 5 enodes (cost 9 ) 227.355 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 227.355 * * [simplify]: iteration done : 5 enodes (cost 9 ) 227.356 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 227.356 * * [simplify]: iteration done : 5 enodes (cost 9 ) 227.357 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 227.357 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 227.358 * * [simplify]: iteration done : 6 enodes (cost 5 ) 227.358 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 227.359 * * [simplify]: iteration done : 4 enodes (cost 7 ) 227.359 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 227.360 * * [simplify]: iteration done : 5 enodes (cost 9 ) 227.360 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 227.361 * * [simplify]: iteration done : 5 enodes (cost 9 ) 227.362 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 227.362 * * [simplify]: iteration done : 5 enodes (cost 9 ) 227.363 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 227.363 * * [simplify]: iteration done : 5 enodes (cost 9 ) 227.364 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 227.364 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 227.364 * * [simplify]: iteration done : 5 enodes (cost 1 ) 227.365 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 227.365 * * [simplify]: iteration done : 4 enodes (cost 7 ) 227.366 * * [simplify]: iteration 0 : 6 enodes (cost 19 ) 227.367 * * [simplify]: iteration 1 : 10 enodes (cost 19 ) 227.368 * * [simplify]: iteration 2 : 11 enodes (cost 11 ) 227.370 * * [simplify]: iteration 3 : 20 enodes (cost 6 ) 227.372 * * [simplify]: iteration 4 : 35 enodes (cost 6 ) 227.376 * * [simplify]: iteration 5 : 63 enodes (cost 6 ) 227.388 * * [simplify]: iteration 6 : 134 enodes (cost 6 ) 227.433 * * [simplify]: iteration 7 : 349 enodes (cost 6 ) 227.803 * * [simplify]: iteration 8 : 1265 enodes (cost 6 ) 229.479 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 229.480 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 229.480 * * [simplify]: iteration done : 5 enodes (cost 9 ) 229.481 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 229.481 * * [simplify]: iteration done : 5 enodes (cost 3 ) 229.482 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 229.483 * * [simplify]: iteration done : 5 enodes (cost 3 ) 229.483 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 229.484 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 229.484 * * [simplify]: iteration done : 4 enodes (cost 1 ) 229.484 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 229.485 * * [simplify]: iteration done : 4 enodes (cost 7 ) 229.485 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 229.486 * * [simplify]: iteration done : 5 enodes (cost 9 ) 229.486 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 229.487 * * [simplify]: iteration done : 5 enodes (cost 9 ) 229.487 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 229.488 * * [simplify]: iteration done : 5 enodes (cost 9 ) 229.488 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 229.489 * * [simplify]: iteration done : 5 enodes (cost 9 ) 229.489 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 229.490 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 229.491 * * [simplify]: iteration done : 8 enodes (cost 9 ) 229.491 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 229.492 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 229.493 * * [simplify]: iteration done : 8 enodes (cost 9 ) 229.493 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 229.494 * * [simplify]: iteration done : 5 enodes (cost 9 ) 229.494 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 229.495 * * [simplify]: iteration done : 5 enodes (cost 9 ) 229.495 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 229.496 * * [simplify]: iteration done : 5 enodes (cost 9 ) 229.496 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 229.497 * * [simplify]: iteration done : 5 enodes (cost 9 ) 229.497 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 229.498 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 229.498 * * [simplify]: iteration done : 8 enodes (cost 9 ) 229.499 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 229.500 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 229.500 * * [simplify]: iteration done : 8 enodes (cost 9 ) 229.501 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 229.501 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 229.502 * * [simplify]: iteration done : 8 enodes (cost 9 ) 229.503 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 229.503 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 229.504 * * [simplify]: iteration done : 8 enodes (cost 9 ) 229.505 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 229.505 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 229.506 * * [simplify]: iteration done : 8 enodes (cost 9 ) 229.506 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 229.507 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 229.508 * * [simplify]: iteration done : 8 enodes (cost 9 ) 229.508 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 229.509 * * [simplify]: iteration done : 5 enodes (cost 3 ) 229.515 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 229.515 * * [simplify]: iteration done : 5 enodes (cost 3 ) 229.516 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 229.516 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 229.521 * * [simplify]: iteration done : 5 enodes (cost 1 ) 229.522 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 229.523 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 229.523 * * [simplify]: iteration done : 6 enodes (cost 1 ) 229.523 * * [simplify]: iteration 0 : 6 enodes (cost 12 ) 229.524 * * [simplify]: iteration 1 : 7 enodes (cost 12 ) 229.525 * * [simplify]: iteration done : 7 enodes (cost 12 ) 229.525 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 229.526 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 229.527 * * [simplify]: iteration done : 10 enodes (cost 8 ) 229.527 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 229.528 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 229.529 * * [simplify]: iteration done : 7 enodes (cost 8 ) 229.529 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 229.530 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 229.531 * * [simplify]: iteration done : 10 enodes (cost 6 ) 229.531 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 229.532 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 229.533 * * [simplify]: iteration done : 7 enodes (cost 8 ) 229.533 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 229.534 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 229.534 * * [simplify]: iteration done : 9 enodes (cost 5 ) 229.535 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 229.536 * * [simplify]: iteration 1 : 9 enodes (cost 13 ) 229.537 * * [simplify]: iteration 2 : 11 enodes (cost 13 ) 229.538 * * [simplify]: iteration done : 11 enodes (cost 13 ) 229.538 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 229.539 * * [simplify]: iteration 1 : 6 enodes (cost 8 ) 229.539 * * [simplify]: iteration done : 6 enodes (cost 8 ) 229.540 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 229.541 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 229.542 * * [simplify]: iteration 2 : 11 enodes (cost 3 ) 229.542 * * [simplify]: iteration done : 11 enodes (cost 3 ) 229.543 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 229.543 * * [simplify]: iteration 1 : 6 enodes (cost 8 ) 229.544 * * [simplify]: iteration done : 6 enodes (cost 8 ) 229.545 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 229.545 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 229.546 * * [simplify]: iteration done : 8 enodes (cost 8 ) 229.546 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 229.547 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 229.548 * * [simplify]: iteration done : 7 enodes (cost 8 ) 229.548 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 229.548 * * [simplify]: iteration done : 4 enodes (cost 7 ) 229.549 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 229.550 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 229.550 * * [simplify]: iteration done : 7 enodes (cost 8 ) 229.551 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 229.551 * * [simplify]: iteration done : 4 enodes (cost 7 ) 229.552 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 229.552 * * [simplify]: iteration 1 : 6 enodes (cost 8 ) 229.553 * * [simplify]: iteration done : 6 enodes (cost 8 ) 229.553 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 229.554 * * [simplify]: iteration 1 : 6 enodes (cost 8 ) 229.554 * * [simplify]: iteration done : 6 enodes (cost 8 ) 229.555 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 229.555 * * [simplify]: iteration done : 4 enodes (cost 7 ) 229.556 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 229.557 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 229.559 * * [simplify]: iteration 2 : 34 enodes (cost 15 ) 229.566 * * [simplify]: iteration 3 : 51 enodes (cost 9 ) 229.575 * * [simplify]: iteration 4 : 56 enodes (cost 6 ) 229.588 * * [simplify]: iteration 5 : 72 enodes (cost 6 ) 229.603 * * [simplify]: iteration 6 : 105 enodes (cost 6 ) 229.629 * * [simplify]: iteration 7 : 195 enodes (cost 6 ) 229.733 * * [simplify]: iteration 8 : 473 enodes (cost 6 ) 230.395 * * [simplify]: iteration 9 : 1490 enodes (cost 6 ) 233.014 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 233.015 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 233.016 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 233.018 * * [simplify]: iteration 2 : 34 enodes (cost 15 ) 233.024 * * [simplify]: iteration 3 : 51 enodes (cost 9 ) 233.033 * * [simplify]: iteration 4 : 56 enodes (cost 6 ) 233.049 * * [simplify]: iteration 5 : 72 enodes (cost 6 ) 233.063 * * [simplify]: iteration 6 : 105 enodes (cost 6 ) 233.090 * * [simplify]: iteration 7 : 195 enodes (cost 6 ) 233.197 * * [simplify]: iteration 8 : 473 enodes (cost 6 ) 233.861 * * [simplify]: iteration 9 : 1490 enodes (cost 6 ) 236.479 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 236.480 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 236.481 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 236.483 * * [simplify]: iteration 2 : 34 enodes (cost 15 ) 236.489 * * [simplify]: iteration 3 : 51 enodes (cost 9 ) 236.503 * * [simplify]: iteration 4 : 56 enodes (cost 6 ) 236.513 * * [simplify]: iteration 5 : 72 enodes (cost 6 ) 236.526 * * [simplify]: iteration 6 : 105 enodes (cost 6 ) 236.558 * * [simplify]: iteration 7 : 195 enodes (cost 6 ) 236.663 * * [simplify]: iteration 8 : 473 enodes (cost 6 ) 237.332 * * [simplify]: iteration 9 : 1490 enodes (cost 6 ) 239.952 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 239.953 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 239.954 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 239.957 * * [simplify]: iteration 2 : 34 enodes (cost 15 ) 239.967 * * [simplify]: iteration 3 : 51 enodes (cost 9 ) 239.976 * * [simplify]: iteration 4 : 56 enodes (cost 6 ) 239.986 * * [simplify]: iteration 5 : 72 enodes (cost 6 ) 240.000 * * [simplify]: iteration 6 : 105 enodes (cost 6 ) 240.031 * * [simplify]: iteration 7 : 195 enodes (cost 6 ) 240.134 * * [simplify]: iteration 8 : 473 enodes (cost 6 ) 240.802 * * [simplify]: iteration 9 : 1490 enodes (cost 6 ) 243.423 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 243.424 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 243.426 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 243.428 * * [simplify]: iteration 2 : 34 enodes (cost 15 ) 243.435 * * [simplify]: iteration 3 : 51 enodes (cost 9 ) 243.444 * * [simplify]: iteration 4 : 56 enodes (cost 6 ) 243.454 * * [simplify]: iteration 5 : 72 enodes (cost 6 ) 243.467 * * [simplify]: iteration 6 : 105 enodes (cost 6 ) 243.499 * * [simplify]: iteration 7 : 195 enodes (cost 6 ) 243.602 * * [simplify]: iteration 8 : 473 enodes (cost 6 ) 244.275 * * [simplify]: iteration 9 : 1490 enodes (cost 6 ) 246.885 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 246.886 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 246.887 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 246.889 * * [simplify]: iteration 2 : 34 enodes (cost 15 ) 246.896 * * [simplify]: iteration 3 : 51 enodes (cost 9 ) 246.906 * * [simplify]: iteration 4 : 56 enodes (cost 6 ) 246.915 * * [simplify]: iteration 5 : 72 enodes (cost 6 ) 246.930 * * [simplify]: iteration 6 : 105 enodes (cost 6 ) 246.962 * * [simplify]: iteration 7 : 195 enodes (cost 6 ) 247.066 * * [simplify]: iteration 8 : 473 enodes (cost 6 ) 247.731 * * [simplify]: iteration 9 : 1490 enodes (cost 6 ) 250.347 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 250.348 * * [simplify]: iteration 0 : 10 enodes (cost 20 ) 250.349 * * [simplify]: iteration 1 : 21 enodes (cost 16 ) 250.352 * * [simplify]: iteration 2 : 44 enodes (cost 11 ) 250.359 * * [simplify]: iteration 3 : 65 enodes (cost 11 ) 250.369 * * [simplify]: iteration 4 : 66 enodes (cost 11 ) 250.378 * * [simplify]: iteration done : 66 enodes (cost 11 ) 250.379 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 250.380 * * [simplify]: iteration 1 : 20 enodes (cost 16 ) 250.382 * * [simplify]: iteration 2 : 39 enodes (cost 11 ) 250.392 * * [simplify]: iteration 3 : 64 enodes (cost 11 ) 250.403 * * [simplify]: iteration 4 : 75 enodes (cost 11 ) 250.412 * * [simplify]: iteration done : 75 enodes (cost 11 ) 250.413 * * [simplify]: iteration 0 : 10 enodes (cost 18 ) 250.415 * * [simplify]: iteration 1 : 20 enodes (cost 15 ) 250.417 * * [simplify]: iteration 2 : 35 enodes (cost 15 ) 250.422 * * [simplify]: iteration 3 : 59 enodes (cost 11 ) 250.431 * * [simplify]: iteration 4 : 77 enodes (cost 11 ) 250.442 * * [simplify]: iteration 5 : 78 enodes (cost 11 ) 250.456 * * [simplify]: iteration done : 78 enodes (cost 11 ) 250.457 * * [simplify]: iteration 0 : 11 enodes (cost 19 ) 250.459 * * [simplify]: iteration 1 : 20 enodes (cost 18 ) 250.462 * * [simplify]: iteration 2 : 40 enodes (cost 16 ) 250.468 * * [simplify]: iteration 3 : 61 enodes (cost 11 ) 250.478 * * [simplify]: iteration 4 : 65 enodes (cost 11 ) 250.487 * * [simplify]: iteration done : 65 enodes (cost 11 ) 250.488 * * [simplify]: iteration 0 : 11 enodes (cost 18 ) 250.489 * * [simplify]: iteration 1 : 18 enodes (cost 18 ) 250.492 * * [simplify]: iteration 2 : 37 enodes (cost 16 ) 250.497 * * [simplify]: iteration 3 : 62 enodes (cost 11 ) 250.511 * * [simplify]: iteration 4 : 70 enodes (cost 11 ) 250.522 * * [simplify]: iteration done : 70 enodes (cost 11 ) 250.523 * * [simplify]: iteration 0 : 10 enodes (cost 17 ) 250.524 * * [simplify]: iteration 1 : 18 enodes (cost 17 ) 250.526 * * [simplify]: iteration 2 : 35 enodes (cost 15 ) 250.531 * * [simplify]: iteration 3 : 61 enodes (cost 11 ) 250.540 * * [simplify]: iteration 4 : 82 enodes (cost 11 ) 250.550 * * [simplify]: iteration 5 : 83 enodes (cost 11 ) 250.565 * * [simplify]: iteration done : 83 enodes (cost 11 ) 250.566 * * [simplify]: iteration 0 : 9 enodes (cost 16 ) 250.568 * * [simplify]: iteration 1 : 20 enodes (cost 16 ) 250.572 * * [simplify]: iteration 2 : 50 enodes (cost 16 ) 250.581 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 250.598 * * [simplify]: iteration 4 : 132 enodes (cost 7 ) 250.623 * * [simplify]: iteration 5 : 155 enodes (cost 7 ) 250.650 * * [simplify]: iteration 6 : 209 enodes (cost 7 ) 250.704 * * [simplify]: iteration 7 : 366 enodes (cost 7 ) 250.877 * * [simplify]: iteration 8 : 858 enodes (cost 7 ) 251.845 * * [simplify]: iteration 9 : 2549 enodes (cost 7 ) 253.940 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 253.940 * * [simplify]: iteration 0 : 9 enodes (cost 16 ) 253.942 * * [simplify]: iteration 1 : 19 enodes (cost 16 ) 253.945 * * [simplify]: iteration 2 : 47 enodes (cost 16 ) 253.958 * * [simplify]: iteration 3 : 102 enodes (cost 10 ) 253.977 * * [simplify]: iteration 4 : 225 enodes (cost 7 ) 254.028 * * [simplify]: iteration 5 : 561 enodes (cost 7 ) 254.384 * * [simplify]: iteration 6 : 1408 enodes (cost 7 ) 257.416 * * [simplify]: iteration 7 : 4241 enodes (cost 7 ) 258.435 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 258.436 * * [simplify]: iteration 0 : 9 enodes (cost 20 ) 258.437 * * [simplify]: iteration 1 : 24 enodes (cost 16 ) 258.442 * * [simplify]: iteration 2 : 74 enodes (cost 12 ) 258.470 * * [simplify]: iteration 3 : 224 enodes (cost 8 ) 258.600 * * [simplify]: iteration 4 : 402 enodes (cost 8 ) 258.978 * * [simplify]: iteration 5 : 900 enodes (cost 8 ) 260.499 * * [simplify]: iteration 6 : 2454 enodes (cost 8 ) 262.580 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 262.581 * * [simplify]: iteration 0 : 9 enodes (cost 20 ) 262.583 * * [simplify]: iteration 1 : 25 enodes (cost 16 ) 262.587 * * [simplify]: iteration 2 : 72 enodes (cost 10 ) 262.619 * * [simplify]: iteration 3 : 223 enodes (cost 8 ) 262.776 * * [simplify]: iteration 4 : 475 enodes (cost 8 ) 263.200 * * [simplify]: iteration 5 : 1006 enodes (cost 8 ) 264.951 * * [simplify]: iteration 6 : 2633 enodes (cost 8 ) 266.867 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 266.868 * * [simplify]: iteration 0 : 10 enodes (cost 29 ) 266.870 * * [simplify]: iteration 1 : 28 enodes (cost 25 ) 266.876 * * [simplify]: iteration 2 : 109 enodes (cost 11 ) 266.935 * * [simplify]: iteration 3 : 518 enodes (cost 11 ) 267.737 * * [simplify]: iteration 4 : 1657 enodes (cost 10 ) 272.482 * * [simplify]: iteration 5 : 3369 enodes (cost 8 ) 274.648 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 274.649 * * [simplify]: iteration 0 : 12 enodes (cost 38 ) 274.651 * * [simplify]: iteration 1 : 35 enodes (cost 38 ) 274.658 * * [simplify]: iteration 2 : 125 enodes (cost 20 ) 274.736 * * [simplify]: iteration 3 : 553 enodes (cost 12 ) 275.550 * * [simplify]: iteration 4 : 1935 enodes (cost 8 ) 278.135 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 278.136 * * [simplify]: iteration 0 : 12 enodes (cost 38 ) 278.138 * * [simplify]: iteration 1 : 36 enodes (cost 38 ) 278.146 * * [simplify]: iteration 2 : 122 enodes (cost 18 ) 278.221 * * [simplify]: iteration 3 : 547 enodes (cost 12 ) 279.076 * * [simplify]: iteration 4 : 2016 enodes (cost 8 ) 281.844 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 281.845 * * [simplify]: iteration 0 : 12 enodes (cost 47 ) 281.847 * * [simplify]: iteration 1 : 37 enodes (cost 47 ) 281.856 * * [simplify]: iteration 2 : 152 enodes (cost 19 ) 281.961 * * [simplify]: iteration 3 : 758 enodes (cost 14 ) 283.737 * * [simplify]: iteration 4 : 2526 enodes (cost 8 ) 287.723 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 287.724 * * [simplify]: iteration 0 : 10 enodes (cost 33 ) 287.725 * * [simplify]: iteration 1 : 18 enodes (cost 33 ) 287.728 * * [simplify]: iteration 2 : 36 enodes (cost 33 ) 287.734 * * [simplify]: iteration 3 : 52 enodes (cost 21 ) 287.743 * * [simplify]: iteration 4 : 57 enodes (cost 15 ) 287.762 * * [simplify]: iteration 5 : 73 enodes (cost 15 ) 287.777 * * [simplify]: iteration 6 : 106 enodes (cost 15 ) 287.803 * * [simplify]: iteration 7 : 192 enodes (cost 15 ) 287.907 * * [simplify]: iteration 8 : 475 enodes (cost 15 ) 288.559 * * [simplify]: iteration 9 : 1493 enodes (cost 15 ) 291.171 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 291.172 * * [simplify]: iteration 0 : 9 enodes (cost 16 ) 291.173 * * [simplify]: iteration 1 : 17 enodes (cost 16 ) 291.175 * * [simplify]: iteration 2 : 34 enodes (cost 16 ) 291.181 * * [simplify]: iteration 3 : 50 enodes (cost 10 ) 291.195 * * [simplify]: iteration 4 : 55 enodes (cost 7 ) 291.205 * * [simplify]: iteration 5 : 71 enodes (cost 7 ) 291.219 * * [simplify]: iteration 6 : 106 enodes (cost 7 ) 291.248 * * [simplify]: iteration 7 : 198 enodes (cost 7 ) 291.345 * * [simplify]: iteration 8 : 473 enodes (cost 7 ) 291.991 * * [simplify]: iteration 9 : 1490 enodes (cost 7 ) 294.604 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 294.605 * * [simplify]: iteration 0 : 10 enodes (cost 47 ) 294.606 * * [simplify]: iteration 1 : 28 enodes (cost 47 ) 294.616 * * [simplify]: iteration 2 : 136 enodes (cost 17 ) 294.733 * * [simplify]: iteration 3 : 691 enodes (cost 11 ) 296.350 * * [simplify]: iteration 4 : 2277 enodes (cost 8 ) 302.806 * * [simplify]: iteration 5 : 3821 enodes (cost 8 ) 305.237 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 305.238 * * [simplify]: iteration 0 : 9 enodes (cost 16 ) 305.239 * * [simplify]: iteration 1 : 17 enodes (cost 16 ) 305.245 * * [simplify]: iteration 2 : 34 enodes (cost 16 ) 305.252 * * [simplify]: iteration 3 : 50 enodes (cost 10 ) 305.261 * * [simplify]: iteration 4 : 55 enodes (cost 7 ) 305.271 * * [simplify]: iteration 5 : 71 enodes (cost 7 ) 305.285 * * [simplify]: iteration 6 : 107 enodes (cost 7 ) 305.316 * * [simplify]: iteration 7 : 199 enodes (cost 7 ) 305.423 * * [simplify]: iteration 8 : 477 enodes (cost 7 ) 306.111 * * [simplify]: iteration 9 : 1508 enodes (cost 7 ) 308.800 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 308.801 * * [simplify]: iteration 0 : 9 enodes (cost 16 ) 308.802 * * [simplify]: iteration 1 : 17 enodes (cost 16 ) 308.805 * * [simplify]: iteration 2 : 34 enodes (cost 16 ) 308.811 * * [simplify]: iteration 3 : 50 enodes (cost 10 ) 308.820 * * [simplify]: iteration 4 : 55 enodes (cost 7 ) 308.830 * * [simplify]: iteration 5 : 71 enodes (cost 7 ) 308.848 * * [simplify]: iteration 6 : 107 enodes (cost 7 ) 308.875 * * [simplify]: iteration 7 : 199 enodes (cost 7 ) 308.980 * * [simplify]: iteration 8 : 477 enodes (cost 7 ) 309.666 * * [simplify]: iteration 9 : 1508 enodes (cost 7 ) 312.366 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 312.367 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 312.367 * * [simplify]: iteration 1 : 6 enodes (cost 11 ) 312.368 * * [simplify]: iteration 2 : 7 enodes (cost 5 ) 312.369 * * [simplify]: iteration 3 : 12 enodes (cost 2 ) 312.370 * * [simplify]: iteration 4 : 18 enodes (cost 2 ) 312.372 * * [simplify]: iteration 5 : 28 enodes (cost 2 ) 312.375 * * [simplify]: iteration 6 : 49 enodes (cost 2 ) 312.384 * * [simplify]: iteration 7 : 110 enodes (cost 2 ) 312.433 * * [simplify]: iteration 8 : 324 enodes (cost 2 ) 312.904 * * [simplify]: iteration 9 : 1242 enodes (cost 2 ) 315.517 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 315.518 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 315.519 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 315.521 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 315.524 * * [simplify]: iteration 3 : 25 enodes (cost 11 ) 315.528 * * [simplify]: iteration done : 25 enodes (cost 11 ) 315.528 * * [simplify]: iteration 0 : 9 enodes (cost 18 ) 315.529 * * [simplify]: iteration 1 : 20 enodes (cost 18 ) 315.533 * * [simplify]: iteration 2 : 59 enodes (cost 18 ) 315.553 * * [simplify]: iteration 3 : 131 enodes (cost 12 ) 315.606 * * [simplify]: iteration 4 : 188 enodes (cost 9 ) 315.676 * * [simplify]: iteration 5 : 264 enodes (cost 5 ) 315.831 * * [simplify]: iteration 6 : 536 enodes (cost 5 ) 316.501 * * [simplify]: iteration 7 : 1368 enodes (cost 5 ) 320.599 * * [simplify]: iteration 8 : 4424 enodes (cost 5 ) 323.956 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 323.957 * * [simplify]: iteration 0 : 9 enodes (cost 18 ) 323.958 * * [simplify]: iteration 1 : 20 enodes (cost 18 ) 323.962 * * [simplify]: iteration 2 : 59 enodes (cost 18 ) 323.981 * * [simplify]: iteration 3 : 131 enodes (cost 12 ) 324.035 * * [simplify]: iteration 4 : 188 enodes (cost 9 ) 324.106 * * [simplify]: iteration 5 : 264 enodes (cost 5 ) 324.263 * * [simplify]: iteration 6 : 536 enodes (cost 5 ) 324.923 * * [simplify]: iteration 7 : 1368 enodes (cost 5 ) 328.934 * * [simplify]: iteration 8 : 4424 enodes (cost 5 ) 332.242 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 332.243 * * [simplify]: iteration 0 : 9 enodes (cost 18 ) 332.244 * * [simplify]: iteration 1 : 20 enodes (cost 18 ) 332.248 * * [simplify]: iteration 2 : 59 enodes (cost 18 ) 332.267 * * [simplify]: iteration 3 : 131 enodes (cost 12 ) 332.320 * * [simplify]: iteration 4 : 188 enodes (cost 9 ) 332.390 * * [simplify]: iteration 5 : 264 enodes (cost 5 ) 332.544 * * [simplify]: iteration 6 : 536 enodes (cost 5 ) 333.201 * * [simplify]: iteration 7 : 1368 enodes (cost 5 ) 337.198 * * [simplify]: iteration 8 : 4424 enodes (cost 5 ) 340.505 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 340.505 * * [simplify]: iteration 0 : 9 enodes (cost 18 ) 340.507 * * [simplify]: iteration 1 : 20 enodes (cost 18 ) 340.510 * * [simplify]: iteration 2 : 59 enodes (cost 18 ) 340.525 * * [simplify]: iteration 3 : 131 enodes (cost 12 ) 340.578 * * [simplify]: iteration 4 : 188 enodes (cost 9 ) 340.651 * * [simplify]: iteration 5 : 264 enodes (cost 5 ) 340.806 * * [simplify]: iteration 6 : 536 enodes (cost 5 ) 341.474 * * [simplify]: iteration 7 : 1368 enodes (cost 5 ) 345.459 * * [simplify]: iteration 8 : 4424 enodes (cost 5 ) 349.040 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 349.041 * * [simplify]: iteration 0 : 9 enodes (cost 18 ) 349.042 * * [simplify]: iteration 1 : 20 enodes (cost 18 ) 349.046 * * [simplify]: iteration 2 : 59 enodes (cost 18 ) 349.061 * * [simplify]: iteration 3 : 131 enodes (cost 12 ) 349.114 * * [simplify]: iteration 4 : 188 enodes (cost 9 ) 349.187 * * [simplify]: iteration 5 : 264 enodes (cost 5 ) 349.343 * * [simplify]: iteration 6 : 536 enodes (cost 5 ) 350.003 * * [simplify]: iteration 7 : 1368 enodes (cost 5 ) 354.014 * * [simplify]: iteration 8 : 4424 enodes (cost 5 ) 357.346 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 357.347 * * [simplify]: iteration 0 : 9 enodes (cost 18 ) 357.348 * * [simplify]: iteration 1 : 20 enodes (cost 18 ) 357.352 * * [simplify]: iteration 2 : 59 enodes (cost 18 ) 357.367 * * [simplify]: iteration 3 : 131 enodes (cost 12 ) 357.421 * * [simplify]: iteration 4 : 188 enodes (cost 9 ) 357.494 * * [simplify]: iteration 5 : 264 enodes (cost 5 ) 357.647 * * [simplify]: iteration 6 : 536 enodes (cost 5 ) 358.310 * * [simplify]: iteration 7 : 1368 enodes (cost 5 ) 362.305 * * [simplify]: iteration 8 : 4424 enodes (cost 5 ) 365.600 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 365.601 * * [simplify]: iteration 0 : 9 enodes (cost 18 ) 365.602 * * [simplify]: iteration 1 : 20 enodes (cost 18 ) 365.606 * * [simplify]: iteration 2 : 59 enodes (cost 18 ) 365.622 * * [simplify]: iteration 3 : 131 enodes (cost 12 ) 365.674 * * [simplify]: iteration 4 : 188 enodes (cost 9 ) 365.746 * * [simplify]: iteration 5 : 264 enodes (cost 5 ) 365.898 * * [simplify]: iteration 6 : 536 enodes (cost 5 ) 366.547 * * [simplify]: iteration 7 : 1368 enodes (cost 5 ) 370.530 * * [simplify]: iteration 8 : 4424 enodes (cost 5 ) 373.828 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 373.829 * * [simplify]: iteration 0 : 12 enodes (cost 24 ) 373.830 * * [simplify]: iteration 1 : 26 enodes (cost 20 ) 373.834 * * [simplify]: iteration 2 : 69 enodes (cost 15 ) 373.848 * * [simplify]: iteration 3 : 139 enodes (cost 15 ) 373.893 * * [simplify]: iteration 4 : 193 enodes (cost 15 ) 373.948 * * [simplify]: iteration done : 193 enodes (cost 15 ) 373.949 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 373.950 * * [simplify]: iteration 1 : 25 enodes (cost 20 ) 373.954 * * [simplify]: iteration 2 : 62 enodes (cost 15 ) 373.966 * * [simplify]: iteration 3 : 132 enodes (cost 15 ) 374.010 * * [simplify]: iteration 4 : 185 enodes (cost 15 ) 374.067 * * [simplify]: iteration done : 185 enodes (cost 15 ) 374.068 * * [simplify]: iteration 0 : 12 enodes (cost 22 ) 374.069 * * [simplify]: iteration 1 : 25 enodes (cost 19 ) 374.073 * * [simplify]: iteration 2 : 53 enodes (cost 19 ) 374.085 * * [simplify]: iteration 3 : 115 enodes (cost 15 ) 374.116 * * [simplify]: iteration 4 : 193 enodes (cost 15 ) 374.174 * * [simplify]: iteration 5 : 204 enodes (cost 15 ) 374.232 * * [simplify]: iteration done : 204 enodes (cost 15 ) 374.233 * * [simplify]: iteration 0 : 13 enodes (cost 23 ) 374.237 * * [simplify]: iteration 1 : 25 enodes (cost 22 ) 374.241 * * [simplify]: iteration 2 : 63 enodes (cost 20 ) 374.255 * * [simplify]: iteration 3 : 138 enodes (cost 15 ) 374.301 * * [simplify]: iteration 4 : 196 enodes (cost 15 ) 374.358 * * [simplify]: iteration done : 196 enodes (cost 15 ) 374.359 * * [simplify]: iteration 0 : 13 enodes (cost 22 ) 374.361 * * [simplify]: iteration 1 : 23 enodes (cost 22 ) 374.364 * * [simplify]: iteration 2 : 58 enodes (cost 20 ) 374.375 * * [simplify]: iteration 3 : 133 enodes (cost 15 ) 374.420 * * [simplify]: iteration 4 : 199 enodes (cost 15 ) 374.478 * * [simplify]: iteration done : 199 enodes (cost 15 ) 374.479 * * [simplify]: iteration 0 : 12 enodes (cost 21 ) 374.480 * * [simplify]: iteration 1 : 23 enodes (cost 21 ) 374.483 * * [simplify]: iteration 2 : 50 enodes (cost 19 ) 374.491 * * [simplify]: iteration 3 : 116 enodes (cost 15 ) 374.527 * * [simplify]: iteration 4 : 198 enodes (cost 15 ) 374.586 * * [simplify]: iteration 5 : 209 enodes (cost 15 ) 374.644 * * [simplify]: iteration done : 209 enodes (cost 15 ) 374.645 * * [simplify]: iteration 0 : 11 enodes (cost 20 ) 374.646 * * [simplify]: iteration 1 : 23 enodes (cost 20 ) 374.650 * * [simplify]: iteration 2 : 57 enodes (cost 20 ) 374.664 * * [simplify]: iteration 3 : 130 enodes (cost 14 ) 374.696 * * [simplify]: iteration 4 : 228 enodes (cost 11 ) 374.757 * * [simplify]: iteration 5 : 307 enodes (cost 7 ) 374.848 * * [simplify]: iteration 6 : 420 enodes (cost 7 ) 375.080 * * [simplify]: iteration 7 : 888 enodes (cost 7 ) 376.052 * * [simplify]: iteration 8 : 2409 enodes (cost 7 ) 377.857 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 377.858 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 377.859 * * [simplify]: iteration 1 : 24 enodes (cost 19 ) 377.868 * * [simplify]: iteration 2 : 75 enodes (cost 19 ) 377.887 * * [simplify]: iteration 3 : 199 enodes (cost 13 ) 377.969 * * [simplify]: iteration 4 : 395 enodes (cost 10 ) 378.119 * * [simplify]: iteration 5 : 566 enodes (cost 6 ) 378.366 * * [simplify]: iteration 6 : 947 enodes (cost 6 ) 379.348 * * [simplify]: iteration 7 : 2415 enodes (cost 6 ) 381.677 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 381.678 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 381.680 * * [simplify]: iteration 1 : 23 enodes (cost 19 ) 381.684 * * [simplify]: iteration 2 : 69 enodes (cost 19 ) 381.707 * * [simplify]: iteration 3 : 202 enodes (cost 13 ) 381.781 * * [simplify]: iteration 4 : 506 enodes (cost 10 ) 381.970 * * [simplify]: iteration 5 : 1303 enodes (cost 6 ) 383.268 * * [simplify]: iteration 6 : 3743 enodes (cost 6 ) 384.285 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 384.285 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 384.287 * * [simplify]: iteration 1 : 31 enodes (cost 21 ) 384.294 * * [simplify]: iteration 2 : 114 enodes (cost 13 ) 384.352 * * [simplify]: iteration 3 : 425 enodes (cost 5 ) 384.814 * * [simplify]: iteration 4 : 1066 enodes (cost 5 ) 386.687 * * [simplify]: iteration 5 : 2277 enodes (cost 5 ) 390.375 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 390.376 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 390.378 * * [simplify]: iteration 1 : 32 enodes (cost 21 ) 390.385 * * [simplify]: iteration 2 : 111 enodes (cost 11 ) 390.441 * * [simplify]: iteration 3 : 417 enodes (cost 5 ) 390.928 * * [simplify]: iteration 4 : 1123 enodes (cost 5 ) 392.907 * * [simplify]: iteration 5 : 2451 enodes (cost 5 ) 396.395 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 396.396 * * [simplify]: iteration 0 : 12 enodes (cost 38 ) 396.398 * * [simplify]: iteration 1 : 36 enodes (cost 30 ) 396.406 * * [simplify]: iteration 2 : 149 enodes (cost 14 ) 396.497 * * [simplify]: iteration 3 : 809 enodes (cost 14 ) 399.004 * * [simplify]: iteration 4 : 3915 enodes (cost 9 ) 401.324 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 401.325 * * [simplify]: iteration 0 : 15 enodes (cost 47 ) 401.327 * * [simplify]: iteration 1 : 44 enodes (cost 43 ) 401.337 * * [simplify]: iteration 2 : 177 enodes (cost 25 ) 401.549 * * [simplify]: iteration 3 : 1073 enodes (cost 5 ) 404.371 * * [simplify]: iteration 4 : 4597 enodes (cost 5 ) 406.478 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 406.479 * * [simplify]: iteration 0 : 15 enodes (cost 47 ) 406.482 * * [simplify]: iteration 1 : 45 enodes (cost 43 ) 406.492 * * [simplify]: iteration 2 : 174 enodes (cost 23 ) 406.706 * * [simplify]: iteration 3 : 1072 enodes (cost 7 ) 409.575 * * [simplify]: iteration 4 : 4707 enodes (cost 5 ) 411.468 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 411.469 * * [simplify]: iteration 0 : 15 enodes (cost 56 ) 411.472 * * [simplify]: iteration 1 : 46 enodes (cost 52 ) 411.490 * * [simplify]: iteration 2 : 205 enodes (cost 24 ) 411.733 * * [simplify]: iteration 3 : 1350 enodes (cost 13 ) 414.791 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 414.792 * * [simplify]: iteration 0 : 13 enodes (cost 56 ) 414.794 * * [simplify]: iteration 1 : 37 enodes (cost 52 ) 414.803 * * [simplify]: iteration 2 : 186 enodes (cost 22 ) 414.975 * * [simplify]: iteration 3 : 1256 enodes (cost 16 ) 416.980 * * [simplify]: iteration done : 5001 enodes (cost 16 ) 416.981 * * [simplify]: iteration 0 : 11 enodes (cost 39 ) 416.983 * * [simplify]: iteration 1 : 22 enodes (cost 39 ) 416.986 * * [simplify]: iteration 2 : 61 enodes (cost 39 ) 417.008 * * [simplify]: iteration 3 : 134 enodes (cost 27 ) 417.059 * * [simplify]: iteration 4 : 190 enodes (cost 21 ) 417.127 * * [simplify]: iteration 5 : 269 enodes (cost 13 ) 417.279 * * [simplify]: iteration 6 : 548 enodes (cost 13 ) 417.932 * * [simplify]: iteration 7 : 1392 enodes (cost 13 ) 422.125 * * [simplify]: iteration 8 : 4475 enodes (cost 13 ) 424.718 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 424.719 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 424.720 * * [simplify]: iteration 1 : 21 enodes (cost 19 ) 424.723 * * [simplify]: iteration 2 : 59 enodes (cost 19 ) 424.744 * * [simplify]: iteration 3 : 133 enodes (cost 13 ) 424.793 * * [simplify]: iteration 4 : 183 enodes (cost 10 ) 424.863 * * [simplify]: iteration 5 : 256 enodes (cost 6 ) 425.014 * * [simplify]: iteration 6 : 529 enodes (cost 6 ) 425.640 * * [simplify]: iteration 7 : 1361 enodes (cost 6 ) 429.701 * * [simplify]: iteration 8 : 4441 enodes (cost 6 ) 432.178 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 432.179 * * [simplify]: iteration 0 : 11 enodes (cost 56 ) 432.181 * * [simplify]: iteration 1 : 32 enodes (cost 56 ) 432.189 * * [simplify]: iteration 2 : 159 enodes (cost 20 ) 432.334 * * [simplify]: iteration 3 : 1187 enodes (cost 14 ) 433.843 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 433.844 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 433.845 * * [simplify]: iteration 1 : 21 enodes (cost 19 ) 433.849 * * [simplify]: iteration 2 : 59 enodes (cost 19 ) 433.865 * * [simplify]: iteration 3 : 133 enodes (cost 13 ) 433.918 * * [simplify]: iteration 4 : 183 enodes (cost 10 ) 433.987 * * [simplify]: iteration 5 : 256 enodes (cost 6 ) 434.142 * * [simplify]: iteration 6 : 530 enodes (cost 5 ) 434.775 * * [simplify]: iteration 7 : 1362 enodes (cost 5 ) 438.972 * * [simplify]: iteration 8 : 4468 enodes (cost 5 ) 441.298 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 441.299 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 441.300 * * [simplify]: iteration 1 : 21 enodes (cost 19 ) 441.304 * * [simplify]: iteration 2 : 59 enodes (cost 19 ) 441.320 * * [simplify]: iteration 3 : 133 enodes (cost 13 ) 441.371 * * [simplify]: iteration 4 : 183 enodes (cost 10 ) 441.439 * * [simplify]: iteration 5 : 256 enodes (cost 6 ) 441.589 * * [simplify]: iteration 6 : 530 enodes (cost 5 ) 442.213 * * [simplify]: iteration 7 : 1362 enodes (cost 5 ) 446.381 * * [simplify]: iteration 8 : 4468 enodes (cost 5 ) 448.702 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 448.703 * * [simplify]: iteration 0 : 5 enodes (cost 10 ) 448.703 * * [simplify]: iteration 1 : 8 enodes (cost 10 ) 448.704 * * [simplify]: iteration 2 : 10 enodes (cost 10 ) 448.705 * * [simplify]: iteration done : 10 enodes (cost 10 ) 448.706 * * [simplify]: iteration 0 : 9 enodes (cost 19 ) 448.707 * * [simplify]: iteration 1 : 20 enodes (cost 19 ) 448.717 * * [simplify]: iteration 2 : 47 enodes (cost 13 ) 448.728 * * [simplify]: iteration 3 : 85 enodes (cost 9 ) 448.748 * * [simplify]: iteration 4 : 120 enodes (cost 9 ) 448.790 * * [simplify]: iteration 5 : 222 enodes (cost 9 ) 448.898 * * [simplify]: iteration 6 : 516 enodes (cost 9 ) 449.505 * * [simplify]: iteration 7 : 1531 enodes (cost 9 ) 451.561 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 451.562 * * [simplify]: iteration 0 : 11 enodes (cost 19 ) 451.563 * * [simplify]: iteration 1 : 22 enodes (cost 19 ) 451.567 * * [simplify]: iteration 2 : 61 enodes (cost 19 ) 451.582 * * [simplify]: iteration 3 : 128 enodes (cost 13 ) 451.629 * * [simplify]: iteration 4 : 184 enodes (cost 10 ) 451.693 * * [simplify]: iteration 5 : 212 enodes (cost 10 ) 451.779 * * [simplify]: iteration 6 : 296 enodes (cost 10 ) 451.934 * * [simplify]: iteration 7 : 530 enodes (cost 10 ) 452.482 * * [simplify]: iteration 8 : 1310 enodes (cost 10 ) 456.289 * * [simplify]: iteration 9 : 4146 enodes (cost 10 ) 459.563 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 459.564 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 459.565 * * [simplify]: iteration 1 : 21 enodes (cost 19 ) 459.569 * * [simplify]: iteration 2 : 59 enodes (cost 19 ) 459.588 * * [simplify]: iteration 3 : 135 enodes (cost 13 ) 459.639 * * [simplify]: iteration 4 : 193 enodes (cost 10 ) 459.703 * * [simplify]: iteration 5 : 222 enodes (cost 10 ) 459.796 * * [simplify]: iteration 6 : 307 enodes (cost 10 ) 459.958 * * [simplify]: iteration 7 : 543 enodes (cost 10 ) 460.512 * * [simplify]: iteration 8 : 1323 enodes (cost 10 ) 464.459 * * [simplify]: iteration 9 : 4166 enodes (cost 10 ) 467.433 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 467.434 * * [simplify]: iteration 0 : 9 enodes (cost 18 ) 467.435 * * [simplify]: iteration 1 : 20 enodes (cost 18 ) 467.438 * * [simplify]: iteration 2 : 59 enodes (cost 18 ) 467.454 * * [simplify]: iteration 3 : 131 enodes (cost 12 ) 467.508 * * [simplify]: iteration 4 : 188 enodes (cost 9 ) 467.581 * * [simplify]: iteration 5 : 264 enodes (cost 5 ) 467.735 * * [simplify]: iteration 6 : 536 enodes (cost 5 ) 468.390 * * [simplify]: iteration 7 : 1368 enodes (cost 5 ) 472.382 * * [simplify]: iteration 8 : 4424 enodes (cost 5 ) 475.672 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 475.673 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 475.674 * * [simplify]: iteration 1 : 21 enodes (cost 19 ) 475.678 * * [simplify]: iteration 2 : 59 enodes (cost 19 ) 475.694 * * [simplify]: iteration 3 : 135 enodes (cost 13 ) 475.745 * * [simplify]: iteration 4 : 193 enodes (cost 10 ) 475.811 * * [simplify]: iteration 5 : 222 enodes (cost 10 ) 475.904 * * [simplify]: iteration 6 : 307 enodes (cost 10 ) 476.067 * * [simplify]: iteration 7 : 543 enodes (cost 10 ) 476.622 * * [simplify]: iteration 8 : 1323 enodes (cost 10 ) 480.326 * * [simplify]: iteration 9 : 4166 enodes (cost 10 ) 483.287 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 483.287 * * [simplify]: iteration 0 : 9 enodes (cost 18 ) 483.289 * * [simplify]: iteration 1 : 20 enodes (cost 18 ) 483.292 * * [simplify]: iteration 2 : 59 enodes (cost 18 ) 483.307 * * [simplify]: iteration 3 : 131 enodes (cost 12 ) 483.359 * * [simplify]: iteration 4 : 188 enodes (cost 9 ) 483.431 * * [simplify]: iteration 5 : 264 enodes (cost 5 ) 483.583 * * [simplify]: iteration 6 : 536 enodes (cost 5 ) 484.236 * * [simplify]: iteration 7 : 1368 enodes (cost 5 ) 488.212 * * [simplify]: iteration 8 : 4424 enodes (cost 5 ) 491.498 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 491.499 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 491.500 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 491.501 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 491.502 * * [simplify]: iteration done : 11 enodes (cost 7 ) 491.502 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 491.503 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 491.504 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 491.505 * * [simplify]: iteration done : 11 enodes (cost 7 ) 491.506 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 491.507 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 491.508 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 491.510 * * [simplify]: iteration done : 16 enodes (cost 9 ) 491.511 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 491.511 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 491.512 * * [simplify]: iteration 2 : 17 enodes (cost 9 ) 491.514 * * [simplify]: iteration 3 : 18 enodes (cost 9 ) 491.516 * * [simplify]: iteration done : 18 enodes (cost 9 ) 491.516 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 491.517 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 491.519 * * [simplify]: iteration 2 : 20 enodes (cost 8 ) 491.521 * * [simplify]: iteration 3 : 27 enodes (cost 8 ) 491.524 * * [simplify]: iteration 4 : 28 enodes (cost 8 ) 491.526 * * [simplify]: iteration done : 28 enodes (cost 8 ) 491.527 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 491.528 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 491.529 * * [simplify]: iteration 2 : 22 enodes (cost 8 ) 491.532 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 491.542 * * [simplify]: iteration 4 : 82 enodes (cost 8 ) 491.556 * * [simplify]: iteration 5 : 183 enodes (cost 8 ) 491.636 * * [simplify]: iteration 6 : 448 enodes (cost 8 ) 491.996 * * [simplify]: iteration 7 : 1306 enodes (cost 8 ) 494.664 * * [simplify]: iteration 8 : 4679 enodes (cost 8 ) 495.922 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 495.923 * * [simplify]: iteration 0 : 7 enodes (cost 14 ) 495.924 * * [simplify]: iteration 1 : 17 enodes (cost 14 ) 495.927 * * [simplify]: iteration 2 : 46 enodes (cost 10 ) 495.937 * * [simplify]: iteration 3 : 82 enodes (cost 6 ) 495.964 * * [simplify]: iteration 4 : 131 enodes (cost 6 ) 496.020 * * [simplify]: iteration 5 : 311 enodes (cost 6 ) 496.241 * * [simplify]: iteration 6 : 819 enodes (cost 6 ) 498.022 * * [simplify]: iteration 7 : 3203 enodes (cost 6 ) 500.121 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 500.122 * * [simplify]: iteration 0 : 7 enodes (cost 14 ) 500.123 * * [simplify]: iteration 1 : 18 enodes (cost 14 ) 500.126 * * [simplify]: iteration 2 : 44 enodes (cost 8 ) 500.142 * * [simplify]: iteration 3 : 82 enodes (cost 6 ) 500.164 * * [simplify]: iteration 4 : 136 enodes (cost 6 ) 500.221 * * [simplify]: iteration 5 : 322 enodes (cost 6 ) 500.458 * * [simplify]: iteration 6 : 863 enodes (cost 6 ) 502.273 * * [simplify]: iteration 7 : 3313 enodes (cost 6 ) 504.862 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 504.862 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 504.863 * * [simplify]: iteration 1 : 11 enodes (cost 17 ) 504.864 * * [simplify]: iteration 2 : 13 enodes (cost 17 ) 504.866 * * [simplify]: iteration done : 13 enodes (cost 17 ) 504.867 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 504.868 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 504.869 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 504.870 * * [simplify]: iteration done : 12 enodes (cost 8 ) 504.871 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 504.872 * * [simplify]: iteration 1 : 21 enodes (cost 23 ) 504.876 * * [simplify]: iteration 2 : 71 enodes (cost 9 ) 504.904 * * [simplify]: iteration 3 : 229 enodes (cost 9 ) 505.057 * * [simplify]: iteration 4 : 360 enodes (cost 8 ) 505.274 * * [simplify]: iteration 5 : 526 enodes (cost 6 ) 505.891 * * [simplify]: iteration 6 : 1420 enodes (cost 6 ) 509.210 * * [simplify]: iteration 7 : 4743 enodes (cost 6 ) 510.926 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 510.926 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 510.932 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 510.933 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 510.934 * * [simplify]: iteration done : 12 enodes (cost 8 ) 510.935 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 510.936 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 510.937 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 510.938 * * [simplify]: iteration done : 12 enodes (cost 8 ) 510.939 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 510.939 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 510.940 * * [simplify]: iteration done : 7 enodes (cost 6 ) 510.941 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 510.941 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 510.942 * * [simplify]: iteration done : 7 enodes (cost 6 ) 510.942 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 510.943 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 510.944 * * [simplify]: iteration done : 7 enodes (cost 6 ) 510.944 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 510.945 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 510.945 * * [simplify]: iteration done : 7 enodes (cost 6 ) 510.946 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 510.946 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 510.947 * * [simplify]: iteration done : 7 enodes (cost 6 ) 510.948 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 510.948 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 510.949 * * [simplify]: iteration done : 7 enodes (cost 6 ) 510.949 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 510.950 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 510.950 * * [simplify]: iteration done : 6 enodes (cost 5 ) 510.951 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 510.952 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 510.953 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 510.954 * * [simplify]: iteration done : 12 enodes (cost 8 ) 510.955 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 510.956 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 510.957 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 510.959 * * [simplify]: iteration done : 12 enodes (cost 8 ) 510.959 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 510.960 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 510.961 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 510.963 * * [simplify]: iteration done : 12 enodes (cost 8 ) 510.963 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 510.964 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 510.965 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 510.966 * * [simplify]: iteration done : 11 enodes (cost 7 ) 510.967 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 510.968 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 510.969 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 510.970 * * [simplify]: iteration done : 12 enodes (cost 8 ) 510.971 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 510.972 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 510.973 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 510.974 * * [simplify]: iteration done : 11 enodes (cost 7 ) 510.974 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 510.975 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 510.976 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 510.977 * * [simplify]: iteration done : 12 enodes (cost 8 ) 510.978 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 510.979 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 510.980 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 510.981 * * [simplify]: iteration done : 12 enodes (cost 8 ) 510.982 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 510.983 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 510.984 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 510.985 * * [simplify]: iteration done : 11 enodes (cost 7 ) 510.986 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 510.986 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 510.987 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 510.989 * * [simplify]: iteration done : 11 enodes (cost 7 ) 510.989 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 510.990 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 510.992 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 510.994 * * [simplify]: iteration 3 : 35 enodes (cost 6 ) 510.996 * * [simplify]: iteration 4 : 41 enodes (cost 6 ) 511.001 * * [simplify]: iteration 5 : 51 enodes (cost 6 ) 511.005 * * [simplify]: iteration 6 : 72 enodes (cost 6 ) 511.015 * * [simplify]: iteration 7 : 133 enodes (cost 6 ) 511.060 * * [simplify]: iteration 8 : 348 enodes (cost 6 ) 511.523 * * [simplify]: iteration 9 : 1283 enodes (cost 6 ) 513.944 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 513.945 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 513.945 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 513.947 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 513.949 * * [simplify]: iteration 3 : 35 enodes (cost 6 ) 513.952 * * [simplify]: iteration 4 : 41 enodes (cost 6 ) 513.954 * * [simplify]: iteration 5 : 51 enodes (cost 6 ) 513.958 * * [simplify]: iteration 6 : 72 enodes (cost 6 ) 513.967 * * [simplify]: iteration 7 : 133 enodes (cost 6 ) 514.015 * * [simplify]: iteration 8 : 348 enodes (cost 6 ) 514.482 * * [simplify]: iteration 9 : 1283 enodes (cost 6 ) 516.871 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 516.871 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 516.872 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 516.874 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 516.876 * * [simplify]: iteration 3 : 35 enodes (cost 6 ) 516.878 * * [simplify]: iteration 4 : 41 enodes (cost 6 ) 516.886 * * [simplify]: iteration 5 : 51 enodes (cost 6 ) 516.889 * * [simplify]: iteration 6 : 72 enodes (cost 6 ) 516.899 * * [simplify]: iteration 7 : 133 enodes (cost 6 ) 516.945 * * [simplify]: iteration 8 : 348 enodes (cost 6 ) 517.399 * * [simplify]: iteration 9 : 1283 enodes (cost 6 ) 519.814 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 519.815 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 519.816 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 519.820 * * [simplify]: iteration 2 : 59 enodes (cost 5 ) 519.826 * * [simplify]: iteration 3 : 90 enodes (cost 5 ) 519.839 * * [simplify]: iteration 4 : 171 enodes (cost 5 ) 519.908 * * [simplify]: iteration 5 : 447 enodes (cost 5 ) 520.433 * * [simplify]: iteration 6 : 1447 enodes (cost 5 ) 525.001 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 525.002 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 525.008 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 525.012 * * [simplify]: iteration 2 : 59 enodes (cost 5 ) 525.019 * * [simplify]: iteration 3 : 90 enodes (cost 5 ) 525.032 * * [simplify]: iteration 4 : 171 enodes (cost 5 ) 525.100 * * [simplify]: iteration 5 : 447 enodes (cost 5 ) 525.637 * * [simplify]: iteration 6 : 1447 enodes (cost 5 ) 530.006 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 530.006 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 530.012 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 530.016 * * [simplify]: iteration 2 : 59 enodes (cost 5 ) 530.023 * * [simplify]: iteration 3 : 90 enodes (cost 5 ) 530.036 * * [simplify]: iteration 4 : 171 enodes (cost 5 ) 530.103 * * [simplify]: iteration 5 : 447 enodes (cost 5 ) 530.626 * * [simplify]: iteration 6 : 1447 enodes (cost 5 ) 535.012 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 535.014 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 535.015 * * [simplify]: iteration 1 : 19 enodes (cost 7 ) 535.018 * * [simplify]: iteration 2 : 53 enodes (cost 7 ) 535.024 * * [simplify]: iteration 3 : 87 enodes (cost 7 ) 535.038 * * [simplify]: iteration 4 : 176 enodes (cost 7 ) 535.117 * * [simplify]: iteration 5 : 466 enodes (cost 7 ) 535.746 * * [simplify]: iteration 6 : 1571 enodes (cost 7 ) 538.612 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 538.612 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 538.613 * * [simplify]: iteration 1 : 19 enodes (cost 7 ) 538.616 * * [simplify]: iteration 2 : 53 enodes (cost 7 ) 538.623 * * [simplify]: iteration 3 : 87 enodes (cost 7 ) 538.642 * * [simplify]: iteration 4 : 176 enodes (cost 7 ) 538.719 * * [simplify]: iteration 5 : 466 enodes (cost 7 ) 539.349 * * [simplify]: iteration 6 : 1571 enodes (cost 7 ) 542.200 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 542.201 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 542.202 * * [simplify]: iteration 1 : 19 enodes (cost 7 ) 542.212 * * [simplify]: iteration 2 : 53 enodes (cost 7 ) 542.218 * * [simplify]: iteration 3 : 87 enodes (cost 7 ) 542.232 * * [simplify]: iteration 4 : 176 enodes (cost 7 ) 542.308 * * [simplify]: iteration 5 : 466 enodes (cost 7 ) 542.945 * * [simplify]: iteration 6 : 1571 enodes (cost 7 ) 545.835 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 545.836 * [simplify]: Simplified to: 2/3 2 3 (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) 2 (* 2 (log (cbrt (sqrt 3)))) (* 2 (log (cbrt (sqrt 3)))) (exp (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) 3 (* (cbrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (cbrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3))))) (cbrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) 3 (fabs (cbrt (sqrt 3))) (fabs (cbrt (sqrt 3))) (* (cbrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (cbrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3))))) (* (cbrt (cbrt (sqrt 3))) (cbrt (cbrt (sqrt 3)))) (* (cbrt (fabs (cbrt 3))) (cbrt (fabs (cbrt 3)))) (* (cbrt (sqrt (cbrt 3))) (cbrt (sqrt (cbrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) 1 (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (pow (cbrt (cbrt (sqrt 3))) 4) (* (cbrt (cbrt (sqrt 3))) (cbrt (cbrt (sqrt 3)))) (cbrt (sqrt 3)) (cbrt (sqrt 3)) 1 (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (sqrt (cbrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (sqrt (cbrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (sqrt (cbrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (sqrt (cbrt (sqrt 3)))) (* (sqrt (cbrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (sqrt (cbrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (sqrt (cbrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (sqrt (cbrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (cbrt (sqrt 3)) (cbrt (sqrt 3)) 2/3 2 (* (cbrt (sqrt 3)) (cbrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3))))) (* (cbrt (fabs (cbrt 3))) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (cbrt (sqrt (sqrt 3)))) (* (cbrt 1) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (cbrt (sqrt (sqrt 3)))) (* 1 (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* (cbrt (cbrt (sqrt 3))) (cbrt (cbrt (sqrt 3))))) (* (cbrt (sqrt 3)) (sqrt (cbrt (sqrt 3)))) (cbrt (sqrt 3)) (* (cbrt (cbrt (sqrt 3))) (cbrt (sqrt 3))) (* (cbrt (sqrt (cbrt 3))) (cbrt (sqrt 3))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (cbrt (sqrt 3))) (cbrt (sqrt 3))) (* (sqrt (cbrt (sqrt 3))) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (sqrt 3) (* z z)) (* (sqrt 3) (* z z)) (* (sqrt 3) (* z z)) (* (sqrt 3) (* z z)) (* (sqrt 3) (* z z)) (* (sqrt 3) (* z z)) (+ (* 2 (log z)) (* 3 (log (cbrt (sqrt 3))))) (+ (log (* z z)) (* 3 (log (cbrt (sqrt 3))))) (+ (log (* z z)) (* 3 (log (cbrt (sqrt 3))))) (+ (* 3 (log (cbrt (sqrt 3)))) (* 2 (log z))) (+ (* 3 (log (cbrt (sqrt 3)))) (log (* z z))) (+ (log (* z z)) (* 3 (log (cbrt (sqrt 3))))) (log (* (sqrt 3) (* z z))) (pow (exp (* (sqrt 3) z)) z) (* (pow z 6) (* 3 (sqrt 3))) (* (pow z 6) (* 3 (sqrt 3))) (pow (* (* (sqrt 3) z) z) 3) (* (* (pow z 6) (sqrt 3)) 3) (* (* (pow z 6) (sqrt 3)) 3) (pow (* (sqrt 3) (* z z)) 3) (* (cbrt (* (sqrt 3) (* z z))) (cbrt (* (sqrt 3) (* z z)))) (cbrt (* (sqrt 3) (* z z))) (pow (* (* z z) (sqrt 3)) 3) (sqrt (* (sqrt 3) (* z z))) (sqrt (* (sqrt 3) (* z z))) (sqrt 3) (* (cbrt (sqrt 3)) (* (cbrt (sqrt 3)) (* z z))) (* (* z z) 3) (* (* z z) 3) (* (* z z) 3) (* (* z z) 3) (* (* z z) 3) (* (* z z) 3) (* (* z z) 3) (+ (+ (* 2 (log z)) (* 3 (log (cbrt (sqrt 3))))) (log (sqrt 3))) (+ (+ (log (* z z)) (* 3 (log (cbrt (sqrt 3))))) (log (sqrt 3))) (+ (+ (log (* z z)) (* 3 (log (cbrt (sqrt 3))))) (log (sqrt 3))) (+ (log (sqrt 3)) (+ (* 2 (log z)) (* 3 (log (cbrt (sqrt 3)))))) (+ (log (sqrt 3)) (+ (log (* z z)) (* 3 (log (cbrt (sqrt 3)))))) (+ (+ (log (* z z)) (* 3 (log (cbrt (sqrt 3))))) (log (sqrt 3))) (* 2 (log (* (sqrt 3) z))) (log (* z (* z 3))) (pow (exp (* z z)) 3) (* 27 (pow z 6)) (* 27 (pow z 6)) (* 3 (* 9 (pow (* z z) 3))) (* 27 (pow z 6)) (* 27 (pow z 6)) (* 9 (* (pow (* z z) 3) 3)) (* (* 3 (sqrt 3)) (pow (* (* z (pow (cbrt (sqrt 3)) 3)) z) 3)) (* (cbrt (* (* z z) 3)) (cbrt (* (* z z) 3))) (cbrt (* (* z 3) z)) (pow (* (* (* z (pow (cbrt (sqrt 3)) 3)) z) (sqrt 3)) 3) (fabs (* (sqrt 3) z)) (fabs (* (sqrt 3) z)) (* (sqrt 3) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (* z z) (pow (cbrt (sqrt 3)) 4)) (* (* z z) (* (sqrt 3) (sqrt (cbrt 3)))) (* (* z (sqrt (sqrt 3))) (* z (sqrt 3))) (* (* z z) 3) (* (* z (sqrt (sqrt 3))) (* z (sqrt 3))) (* (* z z) 3) (* (cbrt (sqrt 3)) (* z z)) (* (cbrt (sqrt 3)) (* z z)) (+ (log (cbrt (sqrt 3))) (* 2 (log z))) (+ (log (cbrt (sqrt 3))) (log (* z z))) (log (* (cbrt (sqrt 3)) (* z z))) (exp (* (cbrt (sqrt 3)) (* z z))) (* (pow z 6) (sqrt 3)) (* (pow z 6) (sqrt 3)) (* (cbrt (* (cbrt (sqrt 3)) (* z z))) (cbrt (* (cbrt (sqrt 3)) (* z z)))) (cbrt (* (cbrt (sqrt 3)) (* z z))) (* (sqrt 3) (pow z 6)) (sqrt (* (cbrt (sqrt 3)) (* z z))) (sqrt (* (cbrt (sqrt 3)) (* z z))) (* (cbrt (sqrt (sqrt 3))) z) (* (cbrt (sqrt (sqrt 3))) z) (* (cbrt (sqrt (sqrt 3))) z) (* (cbrt (sqrt (sqrt 3))) z) (* (sqrt (cbrt (sqrt 3))) z) (* (sqrt (cbrt (sqrt 3))) z) (* (cbrt (sqrt 3)) z) (* (cbrt (cbrt (sqrt 3))) (* z z)) (* (cbrt (sqrt (cbrt 3))) (* z z)) (* (cbrt (sqrt (sqrt 3))) (* z z)) (* (cbrt (sqrt 3)) (* z z)) (* (cbrt (sqrt (sqrt 3))) (* z z)) (* (cbrt (sqrt 3)) (* z z)) (* (cbrt (cbrt (sqrt 3))) (* z z)) (* (sqrt (cbrt (sqrt 3))) (* z z)) (* (cbrt (sqrt 3)) (* z z)) (* (cbrt (sqrt 3)) (* z z)) (* (pow z 2) (sqrt 3)) (* (pow z 2) (sqrt 3)) (* (pow z 2) (sqrt 3)) (* 3 (pow z 2)) (* 3 (pow z 2)) (* 3 (pow z 2)) (* (cbrt (sqrt 3)) (pow z 2)) (* (cbrt (sqrt 3)) (pow z 2)) (* (cbrt (sqrt 3)) (pow z 2)) 545.837 * * * [progress]: adding candidates to table 546.146 * [progress]: [Phase 3 of 3] Extracting. 546.146 * * [regime]: Finding splitpoints for: (# # # # # #) 546.147 * * * [regime-changes]: Trying 5 branch expressions: ((* z z) (* x y) z y x) 546.147 * * * * [regimes]: Trying to branch on (* z z) from (# # # # # #) 546.203 * * * * [regimes]: Trying to branch on (* z z) from (# # # #) 546.253 * * * * [regimes]: Trying to branch on (* x y) from (# # # # # #) 546.309 * * * * [regimes]: Trying to branch on z from (# # # # # #) 546.365 * * * * [regimes]: Trying to branch on y from (# # # # # #) 546.422 * * * * [regimes]: Trying to branch on x from (# # # # # #) 546.478 * * * [regime]: Found split indices: #