1.692 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.048 * * * [progress]: [2/2] Setting up program. 0.053 * [progress]: [Phase 2 of 3] Improving. 0.057 * [simplify]: Simplifying using # : (+ x (* (* y z) z)) 0.060 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.063 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 0.065 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 0.066 * * [simplify]: iteration done : 12 enodes (cost 7 ) 0.066 * [simplify]: Simplified to: (+ x (* (* y z) z)) 0.068 * * [progress]: iteration 1 / 4 0.068 * * * [progress]: picking best candidate 0.071 * * * * [pick]: Picked # 0.071 * * * [progress]: localizing error 0.078 * * * [progress]: generating rewritten candidates 0.078 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.086 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.091 * * * [progress]: generating series expansions 0.091 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.095 * [approximate]: Taking taylor expansion of (* (pow z 2) y) in (y z) around 0 0.097 * [taylor]: Taking taylor expansion of (* (pow z 2) y) 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 y in z 0.097 * [taylor]: Taking taylor expansion of (* (pow z 2) y) 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 y in y 0.097 * [taylor]: Taking taylor expansion of (* (pow z 2) y) 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 y in y 0.098 * [taylor]: Taking taylor expansion of 0 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.100 * [taylor]: Taking taylor expansion of 0 in z 0.100 * [taylor]: Taking taylor expansion of 0 in z 0.100 * [approximate]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in (y z) around 0 0.100 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 0.100 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 0.100 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.100 * [taylor]: Taking taylor expansion of z in z 0.100 * [taylor]: Taking taylor expansion of y in z 0.101 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 0.101 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.101 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.101 * [taylor]: Taking taylor expansion of z in y 0.101 * [taylor]: Taking taylor expansion of y in y 0.101 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 0.101 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.101 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.101 * [taylor]: Taking taylor expansion of z in y 0.101 * [taylor]: Taking taylor expansion of y in y 0.101 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.101 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.101 * [taylor]: Taking taylor expansion of z in z 0.102 * [taylor]: Taking taylor expansion of 0 in z 0.102 * [taylor]: Taking taylor expansion of 0 in z 0.103 * [taylor]: Taking taylor expansion of 0 in z 0.103 * [taylor]: Taking taylor expansion of 0 in z 0.104 * [approximate]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in (y z) around 0 0.104 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in z 0.104 * [taylor]: Taking taylor expansion of -1 in z 0.104 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 0.104 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.104 * [taylor]: Taking taylor expansion of z in z 0.104 * [taylor]: Taking taylor expansion of y in z 0.104 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y 0.104 * [taylor]: Taking taylor expansion of -1 in y 0.104 * [taylor]: Taking taylor expansion of (* (pow z 2) y) 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 y in y 0.104 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y 0.104 * [taylor]: Taking taylor expansion of -1 in y 0.104 * [taylor]: Taking taylor expansion of (* (pow z 2) y) 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 y in y 0.105 * [taylor]: Taking taylor expansion of (/ -1 (pow z 2)) in z 0.105 * [taylor]: Taking taylor expansion of -1 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.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 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.108 * [approximate]: Taking taylor expansion of (+ x (* (pow z 2) y)) in (x y z) around 0 0.108 * [taylor]: Taking taylor expansion of (+ x (* (pow z 2) y)) in z 0.108 * [taylor]: Taking taylor expansion of x in z 0.108 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 0.108 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.108 * [taylor]: Taking taylor expansion of z in z 0.108 * [taylor]: Taking taylor expansion of y in z 0.108 * [taylor]: Taking taylor expansion of (+ x (* (pow z 2) y)) in y 0.108 * [taylor]: Taking taylor expansion of x in y 0.108 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.108 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.108 * [taylor]: Taking taylor expansion of z in y 0.108 * [taylor]: Taking taylor expansion of y in y 0.108 * [taylor]: Taking taylor expansion of (+ x (* (pow z 2) y)) in x 0.108 * [taylor]: Taking taylor expansion of x in x 0.108 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 0.108 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.108 * [taylor]: Taking taylor expansion of z in x 0.108 * [taylor]: Taking taylor expansion of y in x 0.108 * [taylor]: Taking taylor expansion of (+ x (* (pow z 2) y)) in x 0.108 * [taylor]: Taking taylor expansion of x in x 0.108 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 0.108 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.108 * [taylor]: Taking taylor expansion of z in x 0.108 * [taylor]: Taking taylor expansion of y in x 0.109 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.109 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.109 * [taylor]: Taking taylor expansion of z in y 0.109 * [taylor]: Taking taylor expansion of y in y 0.109 * [taylor]: Taking taylor expansion of 0 in z 0.109 * [taylor]: Taking taylor expansion of 1 in y 0.109 * [taylor]: Taking taylor expansion of 1 in z 0.109 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.109 * [taylor]: Taking taylor expansion of z in z 0.109 * [taylor]: Taking taylor expansion of 0 in y 0.109 * [taylor]: Taking taylor expansion of 0 in z 0.109 * [taylor]: Taking taylor expansion of 0 in z 0.109 * [taylor]: Taking taylor expansion of 0 in z 0.110 * [approximate]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in (x y z) around 0 0.110 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in z 0.110 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 0.110 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 0.110 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.110 * [taylor]: Taking taylor expansion of z in z 0.110 * [taylor]: Taking taylor expansion of y in z 0.110 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.110 * [taylor]: Taking taylor expansion of x in z 0.110 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in y 0.110 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 0.110 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.110 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.110 * [taylor]: Taking taylor expansion of z in y 0.110 * [taylor]: Taking taylor expansion of y in y 0.110 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.110 * [taylor]: Taking taylor expansion of x in y 0.110 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in x 0.110 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in x 0.110 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 0.110 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.110 * [taylor]: Taking taylor expansion of z in x 0.111 * [taylor]: Taking taylor expansion of y in x 0.111 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.111 * [taylor]: Taking taylor expansion of x in x 0.111 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in x 0.111 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in x 0.111 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 0.111 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.111 * [taylor]: Taking taylor expansion of z in x 0.111 * [taylor]: Taking taylor expansion of y in x 0.111 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.111 * [taylor]: Taking taylor expansion of x in x 0.111 * [taylor]: Taking taylor expansion of 1 in y 0.111 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 0.111 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.111 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.111 * [taylor]: Taking taylor expansion of z in y 0.111 * [taylor]: Taking taylor expansion of y in y 0.112 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.112 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.112 * [taylor]: Taking taylor expansion of z in z 0.112 * [taylor]: Taking taylor expansion of 1 in z 0.112 * [taylor]: Taking taylor expansion of 0 in y 0.112 * [taylor]: Taking taylor expansion of 0 in z 0.112 * [taylor]: Taking taylor expansion of 0 in z 0.113 * [taylor]: Taking taylor expansion of 0 in y 0.113 * [taylor]: Taking taylor expansion of 0 in z 0.113 * [taylor]: Taking taylor expansion of 0 in z 0.113 * [taylor]: Taking taylor expansion of 0 in z 0.114 * [taylor]: Taking taylor expansion of 0 in y 0.114 * [taylor]: Taking taylor expansion of 0 in z 0.114 * [taylor]: Taking taylor expansion of 0 in z 0.114 * [taylor]: Taking taylor expansion of 0 in z 0.114 * [taylor]: Taking taylor expansion of 0 in z 0.115 * [taylor]: Taking taylor expansion of 0 in y 0.115 * [taylor]: Taking taylor expansion of 0 in z 0.115 * [taylor]: Taking taylor expansion of 0 in z 0.115 * [taylor]: Taking taylor expansion of 0 in z 0.116 * [taylor]: Taking taylor expansion of 0 in z 0.116 * [taylor]: Taking taylor expansion of 0 in z 0.116 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 (* (pow z 2) y)) (/ 1 x))) in (x y z) around 0 0.116 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* (pow z 2) y)) (/ 1 x))) in z 0.116 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in z 0.116 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 0.117 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 0.117 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.117 * [taylor]: Taking taylor expansion of z in z 0.117 * [taylor]: Taking taylor expansion of y in z 0.117 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.117 * [taylor]: Taking taylor expansion of x in z 0.117 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* (pow z 2) y)) (/ 1 x))) in y 0.117 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in y 0.117 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 0.117 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.117 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.117 * [taylor]: Taking taylor expansion of z in y 0.117 * [taylor]: Taking taylor expansion of y in y 0.117 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.117 * [taylor]: Taking taylor expansion of x in y 0.117 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* (pow z 2) y)) (/ 1 x))) in x 0.117 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in x 0.117 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in x 0.117 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 0.117 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.117 * [taylor]: Taking taylor expansion of z in x 0.117 * [taylor]: Taking taylor expansion of y in x 0.118 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.118 * [taylor]: Taking taylor expansion of x in x 0.118 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* (pow z 2) y)) (/ 1 x))) in x 0.118 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in x 0.118 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in x 0.118 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 0.118 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.118 * [taylor]: Taking taylor expansion of z in x 0.118 * [taylor]: Taking taylor expansion of y in x 0.118 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.118 * [taylor]: Taking taylor expansion of x in x 0.118 * [taylor]: Taking taylor expansion of (neg 1) in y 0.118 * [taylor]: Taking taylor expansion of 1 in y 0.118 * [taylor]: Taking taylor expansion of (neg (/ 1 (* (pow z 2) y))) in y 0.118 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 0.118 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.118 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.118 * [taylor]: Taking taylor expansion of z in y 0.118 * [taylor]: Taking taylor expansion of y in y 0.119 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow z 2))) in z 0.119 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.119 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.119 * [taylor]: Taking taylor expansion of z in z 0.119 * [taylor]: Taking taylor expansion of (neg 1) in z 0.119 * [taylor]: Taking taylor expansion of 1 in z 0.119 * [taylor]: Taking taylor expansion of 0 in y 0.119 * [taylor]: Taking taylor expansion of 0 in z 0.119 * [taylor]: Taking taylor expansion of 0 in z 0.120 * [taylor]: Taking taylor expansion of 0 in y 0.120 * [taylor]: Taking taylor expansion of 0 in z 0.121 * [taylor]: Taking taylor expansion of 0 in z 0.121 * [taylor]: Taking taylor expansion of 0 in z 0.121 * [taylor]: Taking taylor expansion of 0 in y 0.121 * [taylor]: Taking taylor expansion of 0 in z 0.121 * [taylor]: Taking taylor expansion of 0 in z 0.122 * [taylor]: Taking taylor expansion of 0 in z 0.122 * [taylor]: Taking taylor expansion of 0 in z 0.123 * [taylor]: Taking taylor expansion of 0 in y 0.123 * [taylor]: Taking taylor expansion of 0 in z 0.123 * [taylor]: Taking taylor expansion of 0 in z 0.123 * [taylor]: Taking taylor expansion of 0 in z 0.123 * [taylor]: Taking taylor expansion of 0 in z 0.123 * [taylor]: Taking taylor expansion of 0 in z 0.124 * * * [progress]: simplifying candidates 0.124 * [simplify]: Simplifying using # : (* (* y z) z) (* (* y z) z) (+ (+ (log y) (log z)) (log z)) (+ (log (* y z)) (log z)) (log (* (* y z) z)) (exp (* (* y z) z)) (* (* (* (* y y) y) (* (* z z) z)) (* (* z z) z)) (* (* (* (* y z) (* y z)) (* y z)) (* (* z z) z)) (* (cbrt (* (* y z) z)) (cbrt (* (* y z) z))) (cbrt (* (* y z) z)) (* (* (* (* y z) z) (* (* y z) z)) (* (* y z) z)) (sqrt (* (* y z) z)) (sqrt (* (* y z) z)) (* (* y z) (* (cbrt z) (cbrt z))) (* (* y z) (sqrt z)) (* (* y z) 1) (* z z) (* (exp x) (exp (* (* y z) z))) (log (+ x (* (* y z) z))) (exp (+ x (* (* y z) z))) (* (cbrt (+ x (* (* y z) z))) (cbrt (+ x (* (* y z) z)))) (cbrt (+ x (* (* y z) z))) (* (* (+ x (* (* y z) z)) (+ x (* (* y z) z))) (+ x (* (* y z) z))) (sqrt (+ x (* (* y z) z))) (sqrt (+ x (* (* y z) z))) (+ (pow x 3) (pow (* (* y z) z) 3)) (+ (* x x) (- (* (* (* y z) z) (* (* y z) z)) (* x (* (* y z) z)))) (- (* x x) (* (* (* y z) z) (* (* y z) z))) (- x (* (* y z) z)) (* (pow z 2) y) (* (pow z 2) y) (* (pow z 2) y) x (+ x (* (pow z 2) y)) (+ x (* (pow z 2) y)) 0.125 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 0.125 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 0.126 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 0.127 * * [simplify]: iteration done : 9 enodes (cost 5 ) 0.128 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 0.129 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 0.130 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 0.131 * * [simplify]: iteration done : 9 enodes (cost 5 ) 0.131 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 0.132 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 0.133 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 0.134 * * [simplify]: iteration 3 : 14 enodes (cost 7 ) 0.136 * * [simplify]: iteration done : 14 enodes (cost 7 ) 0.137 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.137 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 0.138 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 0.140 * * [simplify]: iteration 3 : 16 enodes (cost 7 ) 0.141 * * [simplify]: iteration 4 : 17 enodes (cost 7 ) 0.143 * * [simplify]: iteration done : 17 enodes (cost 7 ) 0.144 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 0.144 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 0.151 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 0.154 * * [simplify]: iteration 3 : 23 enodes (cost 6 ) 0.156 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 0.159 * * [simplify]: iteration 5 : 26 enodes (cost 6 ) 0.162 * * [simplify]: iteration done : 26 enodes (cost 6 ) 0.162 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 0.163 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 0.164 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 0.167 * * [simplify]: iteration 3 : 40 enodes (cost 6 ) 0.173 * * [simplify]: iteration 4 : 84 enodes (cost 6 ) 0.187 * * [simplify]: iteration 5 : 194 enodes (cost 6 ) 0.269 * * [simplify]: iteration 6 : 475 enodes (cost 6 ) 0.579 * * [simplify]: iteration 7 : 1303 enodes (cost 6 ) 2.168 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 2.168 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 2.170 * * [simplify]: iteration 1 : 20 enodes (cost 17 ) 2.174 * * [simplify]: iteration 2 : 77 enodes (cost 11 ) 2.205 * * [simplify]: iteration 3 : 219 enodes (cost 7 ) 2.336 * * [simplify]: iteration 4 : 454 enodes (cost 7 ) 2.813 * * [simplify]: iteration 5 : 1201 enodes (cost 7 ) 5.411 * * [simplify]: iteration 6 : 4018 enodes (cost 7 ) 7.540 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 7.540 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 7.542 * * [simplify]: iteration 1 : 24 enodes (cost 17 ) 7.547 * * [simplify]: iteration 2 : 89 enodes (cost 9 ) 7.591 * * [simplify]: iteration 3 : 270 enodes (cost 9 ) 7.778 * * [simplify]: iteration 4 : 451 enodes (cost 7 ) 8.225 * * [simplify]: iteration 5 : 1025 enodes (cost 7 ) 10.297 * * [simplify]: iteration 6 : 3081 enodes (cost 7 ) 12.655 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 12.656 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 12.657 * * [simplify]: iteration 1 : 10 enodes (cost 13 ) 12.658 * * [simplify]: iteration 2 : 11 enodes (cost 13 ) 12.659 * * [simplify]: iteration done : 11 enodes (cost 13 ) 12.660 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 12.660 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 12.662 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 12.663 * * [simplify]: iteration done : 10 enodes (cost 6 ) 12.663 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 12.664 * * [simplify]: iteration 1 : 19 enodes (cost 17 ) 12.669 * * [simplify]: iteration 2 : 72 enodes (cost 7 ) 12.702 * * [simplify]: iteration 3 : 211 enodes (cost 7 ) 12.844 * * [simplify]: iteration 4 : 361 enodes (cost 7 ) 13.058 * * [simplify]: iteration 5 : 532 enodes (cost 7 ) 13.612 * * [simplify]: iteration 6 : 1355 enodes (cost 7 ) 16.673 * * [simplify]: iteration 7 : 4489 enodes (cost 7 ) 18.608 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 18.609 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 18.609 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 18.611 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 18.612 * * [simplify]: iteration done : 10 enodes (cost 6 ) 18.613 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 18.613 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 18.614 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 18.615 * * [simplify]: iteration done : 10 enodes (cost 6 ) 18.616 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 18.617 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 18.619 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 18.623 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 18.629 * * [simplify]: iteration done : 37 enodes (cost 9 ) 18.629 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 18.630 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 18.631 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 18.633 * * [simplify]: iteration done : 15 enodes (cost 6 ) 18.633 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 18.634 * * [simplify]: iteration 1 : 11 enodes (cost 3 ) 18.636 * * [simplify]: iteration 2 : 23 enodes (cost 3 ) 18.638 * * [simplify]: iteration 3 : 27 enodes (cost 3 ) 18.643 * * [simplify]: iteration done : 27 enodes (cost 3 ) 18.643 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 18.644 * * [simplify]: iteration done : 2 enodes (cost 3 ) 18.644 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 18.645 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 18.648 * * [simplify]: iteration 2 : 29 enodes (cost 8 ) 18.651 * * [simplify]: iteration 3 : 51 enodes (cost 8 ) 18.659 * * [simplify]: iteration 4 : 111 enodes (cost 8 ) 18.680 * * [simplify]: iteration 5 : 269 enodes (cost 8 ) 18.799 * * [simplify]: iteration 6 : 684 enodes (cost 8 ) 19.360 * * [simplify]: iteration 7 : 2019 enodes (cost 8 ) 20.774 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 20.775 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 20.776 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 20.777 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 20.779 * * [simplify]: iteration done : 13 enodes (cost 8 ) 20.779 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 20.780 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 20.782 * * [simplify]: iteration 2 : 23 enodes (cost 8 ) 20.785 * * [simplify]: iteration 3 : 37 enodes (cost 8 ) 20.790 * * [simplify]: iteration 4 : 77 enodes (cost 8 ) 20.807 * * [simplify]: iteration 5 : 180 enodes (cost 8 ) 20.850 * * [simplify]: iteration 6 : 444 enodes (cost 8 ) 21.099 * * [simplify]: iteration 7 : 1200 enodes (cost 8 ) 22.829 * * [simplify]: iteration 8 : 4167 enodes (cost 8 ) 24.191 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 24.192 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 24.193 * * [simplify]: iteration 1 : 13 enodes (cost 17 ) 24.195 * * [simplify]: iteration 2 : 14 enodes (cost 17 ) 24.197 * * [simplify]: iteration done : 14 enodes (cost 17 ) 24.197 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 24.198 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 24.199 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 24.201 * * [simplify]: iteration done : 13 enodes (cost 8 ) 24.202 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 24.203 * * [simplify]: iteration 1 : 26 enodes (cost 23 ) 24.208 * * [simplify]: iteration 2 : 83 enodes (cost 9 ) 24.240 * * [simplify]: iteration 3 : 328 enodes (cost 9 ) 24.429 * * [simplify]: iteration 4 : 985 enodes (cost 9 ) 25.287 * * [simplify]: iteration 5 : 2437 enodes (cost 9 ) 27.852 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 27.853 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 27.854 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 27.855 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 27.857 * * [simplify]: iteration done : 13 enodes (cost 8 ) 27.858 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 27.858 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 27.860 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 27.861 * * [simplify]: iteration done : 13 enodes (cost 8 ) 27.862 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 27.867 * * [simplify]: iteration 1 : 30 enodes (cost 11 ) 27.873 * * [simplify]: iteration 2 : 84 enodes (cost 11 ) 27.901 * * [simplify]: iteration 3 : 262 enodes (cost 11 ) 28.067 * * [simplify]: iteration 4 : 613 enodes (cost 11 ) 28.782 * * [simplify]: iteration 5 : 2004 enodes (cost 11 ) 31.015 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 31.016 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 31.017 * * [simplify]: iteration 1 : 30 enodes (cost 17 ) 31.028 * * [simplify]: iteration 2 : 99 enodes (cost 17 ) 31.055 * * [simplify]: iteration 3 : 237 enodes (cost 17 ) 31.149 * * [simplify]: iteration 4 : 363 enodes (cost 17 ) 31.237 * * [simplify]: iteration 5 : 393 enodes (cost 17 ) 31.337 * * [simplify]: iteration 6 : 451 enodes (cost 17 ) 31.458 * * [simplify]: iteration 7 : 649 enodes (cost 17 ) 31.850 * * [simplify]: iteration 8 : 1558 enodes (cost 17 ) 34.293 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 34.294 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 34.296 * * [simplify]: iteration 1 : 23 enodes (cost 15 ) 34.300 * * [simplify]: iteration 2 : 75 enodes (cost 15 ) 34.325 * * [simplify]: iteration 3 : 216 enodes (cost 15 ) 34.445 * * [simplify]: iteration 4 : 405 enodes (cost 13 ) 34.610 * * [simplify]: iteration 5 : 594 enodes (cost 11 ) 34.891 * * [simplify]: iteration 6 : 814 enodes (cost 11 ) 35.347 * * [simplify]: iteration 7 : 1396 enodes (cost 11 ) 37.063 * * [simplify]: iteration 8 : 3940 enodes (cost 11 ) 39.316 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 39.317 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 39.318 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 39.320 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 39.324 * * [simplify]: iteration 3 : 37 enodes (cost 7 ) 39.329 * * [simplify]: iteration done : 37 enodes (cost 7 ) 39.330 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 39.331 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 39.332 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 39.334 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 39.336 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 39.339 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 39.343 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 39.352 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 39.400 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 39.835 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 42.058 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 42.058 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 42.059 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 42.061 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 42.062 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 42.065 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 42.067 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 42.071 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 42.080 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 42.130 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 42.584 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 44.817 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 44.818 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 44.819 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 44.820 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 44.822 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 44.830 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 44.833 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 44.836 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 44.846 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 44.893 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 45.480 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 47.750 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 47.750 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 47.750 * * [simplify]: iteration done : 1 enodes (cost 1 ) 47.751 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 47.752 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 47.754 * * [simplify]: iteration 2 : 30 enodes (cost 7 ) 47.756 * * [simplify]: iteration 3 : 37 enodes (cost 7 ) 47.759 * * [simplify]: iteration 4 : 43 enodes (cost 7 ) 47.762 * * [simplify]: iteration 5 : 53 enodes (cost 7 ) 47.766 * * [simplify]: iteration 6 : 75 enodes (cost 7 ) 47.776 * * [simplify]: iteration 7 : 137 enodes (cost 7 ) 47.827 * * [simplify]: iteration 8 : 347 enodes (cost 7 ) 48.284 * * [simplify]: iteration 9 : 1282 enodes (cost 7 ) 50.633 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 50.633 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 50.634 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 50.636 * * [simplify]: iteration 2 : 30 enodes (cost 7 ) 50.639 * * [simplify]: iteration 3 : 37 enodes (cost 7 ) 50.641 * * [simplify]: iteration 4 : 43 enodes (cost 7 ) 50.644 * * [simplify]: iteration 5 : 53 enodes (cost 7 ) 50.649 * * [simplify]: iteration 6 : 75 enodes (cost 7 ) 50.659 * * [simplify]: iteration 7 : 137 enodes (cost 7 ) 50.709 * * [simplify]: iteration 8 : 347 enodes (cost 7 ) 51.165 * * [simplify]: iteration 9 : 1282 enodes (cost 7 ) 53.522 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 53.522 * [simplify]: Simplified to: (* (* y z) z) (* (* y z) z) (+ (* 2 (log z)) (log y)) (+ (log (* y z)) (log z)) (log (* (* y z) z)) (exp (* (* y z) z)) (* (pow y 3) (pow z 6)) (pow (* y (* z z)) 3) (* (cbrt (* (* y z) z)) (cbrt (* (* y z) z))) (cbrt (* (* y z) z)) (pow (* (* y z) z) 3) (sqrt (* (* y z) z)) (sqrt (* (* y z) z)) (* (* y z) (* (cbrt z) (cbrt z))) (* (* y z) (sqrt z)) (* y z) (* z z) (exp (+ x (* (* y z) z))) (log (+ x (* (* y z) z))) (exp (+ x (* (* y z) z))) (* (cbrt (+ x (* (* y z) z))) (cbrt (+ x (* (* y z) z)))) (cbrt (+ x (* (* y z) z))) (pow (+ x (* (* y z) z)) 3) (sqrt (+ x (* (* y z) z))) (sqrt (+ x (* (* y z) z))) (+ (pow x 3) (pow (* (* y z) z) 3)) (+ (* (* (* y z) z) (- (* (* y z) z) x)) (* x x)) (- (* x x) (* (pow z 4) (* y y))) (- x (* (* y z) z)) (* (pow z 2) y) (* (pow z 2) y) (* (pow z 2) y) x (+ x (* (pow z 2) y)) (+ x (* (pow z 2) y)) 53.522 * * * [progress]: adding candidates to table 53.568 * * [progress]: iteration 2 / 4 53.568 * * * [progress]: picking best candidate 53.586 * * * * [pick]: Picked # 53.586 * * * [progress]: localizing error 53.596 * * * [progress]: generating rewritten candidates 53.596 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 53.597 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2) 53.599 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 53.600 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 53.609 * * * [progress]: generating series expansions 53.609 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 53.609 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 53.609 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 53.609 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 53.609 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 53.609 * [taylor]: Taking taylor expansion of 1/3 in z 53.609 * [taylor]: Taking taylor expansion of (log z) in z 53.609 * [taylor]: Taking taylor expansion of z in z 53.609 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 53.609 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 53.609 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 53.609 * [taylor]: Taking taylor expansion of 1/3 in z 53.609 * [taylor]: Taking taylor expansion of (log z) in z 53.609 * [taylor]: Taking taylor expansion of z in z 53.618 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 53.618 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 53.618 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 53.618 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 53.618 * [taylor]: Taking taylor expansion of 1/3 in z 53.618 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 53.618 * [taylor]: Taking taylor expansion of (/ 1 z) in z 53.618 * [taylor]: Taking taylor expansion of z in z 53.619 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 53.619 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 53.619 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 53.619 * [taylor]: Taking taylor expansion of 1/3 in z 53.619 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 53.619 * [taylor]: Taking taylor expansion of (/ 1 z) in z 53.619 * [taylor]: Taking taylor expansion of z in z 53.626 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in (z) around 0 53.626 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 53.626 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 53.626 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 53.626 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 53.626 * [taylor]: Taking taylor expansion of 1/3 in z 53.626 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 53.626 * [taylor]: Taking taylor expansion of (/ 1 z) in z 53.626 * [taylor]: Taking taylor expansion of z in z 53.627 * [taylor]: Taking taylor expansion of (cbrt -1) in z 53.627 * [taylor]: Taking taylor expansion of -1 in z 53.627 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 53.627 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 53.627 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 53.627 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 53.627 * [taylor]: Taking taylor expansion of 1/3 in z 53.627 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 53.627 * [taylor]: Taking taylor expansion of (/ 1 z) in z 53.627 * [taylor]: Taking taylor expansion of z in z 53.627 * [taylor]: Taking taylor expansion of (cbrt -1) in z 53.627 * [taylor]: Taking taylor expansion of -1 in z 53.637 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2) 53.637 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 53.637 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 53.637 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 53.637 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 53.637 * [taylor]: Taking taylor expansion of 1/3 in z 53.637 * [taylor]: Taking taylor expansion of (log z) in z 53.637 * [taylor]: Taking taylor expansion of z in z 53.637 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 53.637 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 53.637 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 53.637 * [taylor]: Taking taylor expansion of 1/3 in z 53.637 * [taylor]: Taking taylor expansion of (log z) in z 53.637 * [taylor]: Taking taylor expansion of z in z 53.644 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 53.644 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 53.644 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 53.644 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 53.644 * [taylor]: Taking taylor expansion of 1/3 in z 53.644 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 53.644 * [taylor]: Taking taylor expansion of (/ 1 z) in z 53.644 * [taylor]: Taking taylor expansion of z in z 53.644 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 53.645 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 53.645 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 53.645 * [taylor]: Taking taylor expansion of 1/3 in z 53.645 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 53.645 * [taylor]: Taking taylor expansion of (/ 1 z) in z 53.645 * [taylor]: Taking taylor expansion of z in z 53.652 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in (z) around 0 53.652 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 53.652 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 53.652 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 53.652 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 53.652 * [taylor]: Taking taylor expansion of 1/3 in z 53.652 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 53.652 * [taylor]: Taking taylor expansion of (/ 1 z) in z 53.652 * [taylor]: Taking taylor expansion of z in z 53.652 * [taylor]: Taking taylor expansion of (cbrt -1) in z 53.652 * [taylor]: Taking taylor expansion of -1 in z 53.652 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 53.652 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 53.652 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 53.652 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 53.653 * [taylor]: Taking taylor expansion of 1/3 in z 53.653 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 53.653 * [taylor]: Taking taylor expansion of (/ 1 z) in z 53.653 * [taylor]: Taking taylor expansion of z in z 53.653 * [taylor]: Taking taylor expansion of (cbrt -1) in z 53.653 * [taylor]: Taking taylor expansion of -1 in z 53.662 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 53.662 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 53.662 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 53.662 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 53.662 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 53.662 * [taylor]: Taking taylor expansion of 1/3 in z 53.662 * [taylor]: Taking taylor expansion of (log z) in z 53.662 * [taylor]: Taking taylor expansion of z in z 53.662 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 53.662 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 53.662 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 53.662 * [taylor]: Taking taylor expansion of 1/3 in z 53.662 * [taylor]: Taking taylor expansion of (log z) in z 53.662 * [taylor]: Taking taylor expansion of z in z 53.669 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 53.669 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 53.669 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 53.669 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 53.669 * [taylor]: Taking taylor expansion of 1/3 in z 53.669 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 53.670 * [taylor]: Taking taylor expansion of (/ 1 z) in z 53.670 * [taylor]: Taking taylor expansion of z in z 53.670 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 53.670 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 53.670 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 53.670 * [taylor]: Taking taylor expansion of 1/3 in z 53.670 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 53.670 * [taylor]: Taking taylor expansion of (/ 1 z) in z 53.670 * [taylor]: Taking taylor expansion of z in z 53.678 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in (z) around 0 53.678 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 53.678 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 53.678 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 53.678 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 53.678 * [taylor]: Taking taylor expansion of 1/3 in z 53.678 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 53.678 * [taylor]: Taking taylor expansion of (/ 1 z) in z 53.678 * [taylor]: Taking taylor expansion of z in z 53.678 * [taylor]: Taking taylor expansion of (cbrt -1) in z 53.678 * [taylor]: Taking taylor expansion of -1 in z 53.678 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 53.678 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 53.678 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 53.678 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 53.678 * [taylor]: Taking taylor expansion of 1/3 in z 53.678 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 53.678 * [taylor]: Taking taylor expansion of (/ 1 z) in z 53.678 * [taylor]: Taking taylor expansion of z in z 53.679 * [taylor]: Taking taylor expansion of (cbrt -1) in z 53.679 * [taylor]: Taking taylor expansion of -1 in z 53.693 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 53.693 * [approximate]: Taking taylor expansion of (pow (pow z 2) 1/3) in (z) around 0 53.693 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z 53.693 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z 53.693 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z 53.693 * [taylor]: Taking taylor expansion of 1/3 in z 53.693 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 53.693 * [taylor]: Taking taylor expansion of (pow z 2) in z 53.693 * [taylor]: Taking taylor expansion of z in z 53.693 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z 53.694 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z 53.694 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z 53.694 * [taylor]: Taking taylor expansion of 1/3 in z 53.694 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 53.694 * [taylor]: Taking taylor expansion of (pow z 2) in z 53.694 * [taylor]: Taking taylor expansion of z in z 53.701 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in (z) around 0 53.701 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 53.701 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 53.701 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 53.701 * [taylor]: Taking taylor expansion of 1/3 in z 53.701 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 53.701 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 53.701 * [taylor]: Taking taylor expansion of (pow z 2) in z 53.701 * [taylor]: Taking taylor expansion of z in z 53.701 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 53.701 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 53.701 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 53.702 * [taylor]: Taking taylor expansion of 1/3 in z 53.702 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 53.702 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 53.702 * [taylor]: Taking taylor expansion of (pow z 2) in z 53.702 * [taylor]: Taking taylor expansion of z in z 53.710 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (pow (cbrt -1) 2)) in (z) around 0 53.710 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (pow (cbrt -1) 2)) in z 53.710 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 53.710 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 53.710 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 53.710 * [taylor]: Taking taylor expansion of 1/3 in z 53.710 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 53.710 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 53.710 * [taylor]: Taking taylor expansion of (pow z 2) in z 53.710 * [taylor]: Taking taylor expansion of z in z 53.710 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 53.710 * [taylor]: Taking taylor expansion of (cbrt -1) in z 53.710 * [taylor]: Taking taylor expansion of -1 in z 53.710 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (pow (cbrt -1) 2)) in z 53.710 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 53.710 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 53.710 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 53.710 * [taylor]: Taking taylor expansion of 1/3 in z 53.710 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 53.710 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 53.710 * [taylor]: Taking taylor expansion of (pow z 2) in z 53.710 * [taylor]: Taking taylor expansion of z in z 53.711 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 53.711 * [taylor]: Taking taylor expansion of (cbrt -1) in z 53.711 * [taylor]: Taking taylor expansion of -1 in z 53.722 * * * [progress]: simplifying candidates 53.723 * [simplify]: Simplifying using # : (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (+ 1/3 1/3) (+ 1 1) (* z z) (* (cbrt z) (cbrt z)) (+ 1 1) (+ (log (cbrt z)) (log (cbrt z))) (log (* (cbrt z) (cbrt z))) (exp (* (cbrt z) (cbrt z))) (* z z) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))) (sqrt (* (cbrt z) (cbrt z))) (sqrt (* (cbrt z) (cbrt z))) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt 1) (cbrt 1)) (* (cbrt z) (cbrt z)) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (sqrt (cbrt z)) (sqrt (cbrt z))) (* (sqrt (cbrt z)) (sqrt (cbrt z))) (* 1 1) (* (cbrt z) (cbrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (sqrt (cbrt z))) (* (cbrt (sqrt z)) (sqrt (cbrt z))) (* (sqrt (cbrt z)) (cbrt (sqrt z))) (* (sqrt (cbrt z)) (cbrt (sqrt z))) (* (sqrt (cbrt z)) (sqrt (cbrt z))) (* (sqrt (cbrt z)) (sqrt (cbrt z))) (* 2 1/3) (* 2 1) (* (cbrt z) (cbrt (* (cbrt z) (cbrt z)))) (* (cbrt z) (cbrt (sqrt z))) (* (cbrt z) (cbrt 1)) (* (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (* (cbrt z) (sqrt (cbrt z))) (* (cbrt z) 1) (* (cbrt (cbrt z)) (cbrt z)) (* (cbrt (sqrt z)) (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt (cbrt z)) (cbrt z)) (* (sqrt (cbrt z)) (cbrt z)) (* (cbrt z) (cbrt z)) (exp (* 1/3 (+ (log z) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 z))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 z))))) (cbrt -1)) (exp (* 1/3 (+ (log z) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 z))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 z))))) (cbrt -1)) (exp (* 1/3 (+ (log z) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 z))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 z))))) (cbrt -1)) (exp (* 1/3 (+ (* 2 (log z)) (log 1)))) (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 z)))))) (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 z))))))) 53.724 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 53.724 * * [simplify]: iteration done : 3 enodes (cost 3 ) 53.725 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 53.725 * * [simplify]: iteration done : 3 enodes (cost 3 ) 53.726 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 53.727 * * [simplify]: iteration done : 4 enodes (cost 6 ) 53.727 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 53.728 * * [simplify]: iteration done : 3 enodes (cost 3 ) 53.728 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 53.728 * * [simplify]: iteration done : 3 enodes (cost 3 ) 53.729 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 53.729 * * [simplify]: iteration done : 3 enodes (cost 3 ) 53.730 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 53.730 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 53.730 * * [simplify]: iteration done : 4 enodes (cost 1 ) 53.731 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 53.731 * * [simplify]: iteration done : 2 enodes (cost 2 ) 53.732 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 53.732 * * [simplify]: iteration done : 4 enodes (cost 7 ) 53.733 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 53.733 * * [simplify]: iteration done : 3 enodes (cost 3 ) 53.734 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 53.734 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 53.735 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 53.736 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 53.736 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 53.737 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 53.739 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 53.742 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 53.751 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 53.797 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 54.267 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 56.666 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 56.666 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 56.667 * * [simplify]: iteration done : 3 enodes (cost 3 ) 56.667 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 56.667 * * [simplify]: iteration done : 3 enodes (cost 3 ) 56.668 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 56.668 * * [simplify]: iteration done : 3 enodes (cost 3 ) 56.669 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 56.669 * * [simplify]: iteration done : 3 enodes (cost 3 ) 56.670 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 56.670 * * [simplify]: iteration done : 4 enodes (cost 6 ) 56.671 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 56.671 * * [simplify]: iteration done : 3 enodes (cost 3 ) 56.671 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 56.672 * * [simplify]: iteration done : 3 enodes (cost 3 ) 56.672 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 56.672 * * [simplify]: iteration done : 3 enodes (cost 3 ) 56.673 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 56.673 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 56.673 * * [simplify]: iteration done : 4 enodes (cost 1 ) 56.674 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 56.674 * * [simplify]: iteration done : 2 enodes (cost 2 ) 56.675 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 56.675 * * [simplify]: iteration done : 4 enodes (cost 7 ) 56.676 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 56.676 * * [simplify]: iteration done : 3 enodes (cost 3 ) 56.681 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 56.682 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 56.682 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 56.683 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 56.684 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 56.685 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 56.686 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 56.689 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 56.698 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 56.743 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 57.214 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 59.600 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 59.601 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 59.601 * * [simplify]: iteration done : 3 enodes (cost 3 ) 59.602 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 59.602 * * [simplify]: iteration done : 3 enodes (cost 3 ) 59.603 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 59.603 * * [simplify]: iteration done : 3 enodes (cost 3 ) 59.604 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 59.604 * * [simplify]: iteration done : 3 enodes (cost 3 ) 59.604 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 59.605 * * [simplify]: iteration done : 4 enodes (cost 6 ) 59.605 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 59.606 * * [simplify]: iteration done : 3 enodes (cost 3 ) 59.606 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 59.606 * * [simplify]: iteration done : 3 enodes (cost 3 ) 59.607 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 59.607 * * [simplify]: iteration done : 3 enodes (cost 3 ) 59.608 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 59.608 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 59.608 * * [simplify]: iteration done : 4 enodes (cost 1 ) 59.609 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 59.609 * * [simplify]: iteration done : 2 enodes (cost 2 ) 59.610 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 59.610 * * [simplify]: iteration done : 4 enodes (cost 7 ) 59.611 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 59.611 * * [simplify]: iteration done : 3 enodes (cost 3 ) 59.611 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 59.612 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 59.613 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 59.614 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 59.614 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 59.616 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 59.617 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 59.620 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 59.628 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 59.677 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 60.137 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 62.525 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 62.525 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 62.526 * * [simplify]: iteration done : 3 enodes (cost 3 ) 62.531 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 62.531 * * [simplify]: iteration done : 3 enodes (cost 3 ) 62.531 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 62.532 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 62.532 * * [simplify]: iteration done : 5 enodes (cost 1 ) 62.533 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 62.533 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 62.533 * * [simplify]: iteration done : 6 enodes (cost 1 ) 62.534 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 62.534 * * [simplify]: iteration done : 2 enodes (cost 3 ) 62.535 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 62.535 * * [simplify]: iteration done : 3 enodes (cost 5 ) 62.536 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 62.536 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 62.536 * * [simplify]: iteration done : 6 enodes (cost 1 ) 62.537 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 62.538 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 62.538 * * [simplify]: iteration 2 : 7 enodes (cost 5 ) 62.539 * * [simplify]: iteration done : 7 enodes (cost 5 ) 62.540 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 62.540 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 62.541 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 62.541 * * [simplify]: iteration 3 : 9 enodes (cost 5 ) 62.542 * * [simplify]: iteration done : 9 enodes (cost 5 ) 62.543 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 62.543 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 62.544 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 62.545 * * [simplify]: iteration 3 : 15 enodes (cost 6 ) 62.547 * * [simplify]: iteration 4 : 33 enodes (cost 6 ) 62.552 * * [simplify]: iteration 5 : 73 enodes (cost 6 ) 62.573 * * [simplify]: iteration 6 : 177 enodes (cost 6 ) 62.672 * * [simplify]: iteration 7 : 560 enodes (cost 6 ) 63.550 * * [simplify]: iteration 8 : 2247 enodes (cost 6 ) 65.696 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 65.696 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 65.697 * * [simplify]: iteration done : 2 enodes (cost 3 ) 65.697 * * [simplify]: iteration 0 : 5 enodes (cost 13 ) 65.698 * * [simplify]: iteration done : 5 enodes (cost 13 ) 65.699 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 65.699 * * [simplify]: iteration done : 4 enodes (cost 6 ) 65.700 * * [simplify]: iteration 0 : 5 enodes (cost 17 ) 65.701 * * [simplify]: iteration 1 : 13 enodes (cost 17 ) 65.703 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 65.707 * * [simplify]: iteration 3 : 34 enodes (cost 3 ) 65.711 * * [simplify]: iteration 4 : 53 enodes (cost 3 ) 65.718 * * [simplify]: iteration 5 : 87 enodes (cost 3 ) 65.729 * * [simplify]: iteration 6 : 151 enodes (cost 3 ) 65.773 * * [simplify]: iteration 7 : 335 enodes (cost 3 ) 65.913 * * [simplify]: iteration 8 : 832 enodes (cost 3 ) 67.043 * * [simplify]: iteration 9 : 3226 enodes (cost 3 ) 69.034 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 69.035 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 69.035 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 69.036 * * [simplify]: iteration done : 5 enodes (cost 3 ) 69.037 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 69.037 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 69.038 * * [simplify]: iteration done : 5 enodes (cost 3 ) 69.038 * * [simplify]: iteration 0 : 5 enodes (cost 13 ) 69.039 * * [simplify]: iteration done : 5 enodes (cost 13 ) 69.039 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 69.040 * * [simplify]: iteration done : 4 enodes (cost 7 ) 69.040 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 69.041 * * [simplify]: iteration done : 4 enodes (cost 7 ) 69.041 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 69.042 * * [simplify]: iteration done : 4 enodes (cost 7 ) 69.043 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 69.043 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 69.043 * * [simplify]: iteration done : 5 enodes (cost 1 ) 69.044 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 69.044 * * [simplify]: iteration done : 3 enodes (cost 5 ) 69.045 * * [simplify]: iteration 0 : 5 enodes (cost 15 ) 69.046 * * [simplify]: iteration 1 : 9 enodes (cost 15 ) 69.047 * * [simplify]: iteration 2 : 11 enodes (cost 9 ) 69.048 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 69.051 * * [simplify]: iteration 4 : 35 enodes (cost 5 ) 69.055 * * [simplify]: iteration 5 : 61 enodes (cost 5 ) 69.066 * * [simplify]: iteration 6 : 131 enodes (cost 5 ) 69.112 * * [simplify]: iteration 7 : 348 enodes (cost 5 ) 69.476 * * [simplify]: iteration 8 : 1255 enodes (cost 5 ) 71.116 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 71.117 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 71.117 * * [simplify]: iteration done : 4 enodes (cost 7 ) 71.118 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 71.118 * * [simplify]: iteration done : 4 enodes (cost 2 ) 71.119 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 71.120 * * [simplify]: iteration done : 4 enodes (cost 2 ) 71.120 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 71.121 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 71.121 * * [simplify]: iteration done : 4 enodes (cost 1 ) 71.122 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 71.122 * * [simplify]: iteration done : 3 enodes (cost 5 ) 71.123 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 71.123 * * [simplify]: iteration done : 4 enodes (cost 7 ) 71.123 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 71.124 * * [simplify]: iteration done : 4 enodes (cost 7 ) 71.125 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 71.126 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 71.126 * * [simplify]: iteration done : 7 enodes (cost 7 ) 71.127 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 71.127 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 71.128 * * [simplify]: iteration done : 7 enodes (cost 7 ) 71.129 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 71.129 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 71.130 * * [simplify]: iteration done : 7 enodes (cost 7 ) 71.130 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 71.131 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 71.131 * * [simplify]: iteration done : 7 enodes (cost 7 ) 71.132 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 71.132 * * [simplify]: iteration done : 4 enodes (cost 2 ) 71.133 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 71.134 * * [simplify]: iteration done : 4 enodes (cost 2 ) 71.134 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 71.135 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 71.135 * * [simplify]: iteration done : 5 enodes (cost 1 ) 71.136 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 71.136 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 71.136 * * [simplify]: iteration done : 6 enodes (cost 1 ) 71.137 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 71.137 * * [simplify]: iteration 1 : 6 enodes (cost 9 ) 71.138 * * [simplify]: iteration done : 6 enodes (cost 9 ) 71.139 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 71.139 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 71.140 * * [simplify]: iteration done : 6 enodes (cost 6 ) 71.141 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 71.141 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 71.142 * * [simplify]: iteration done : 8 enodes (cost 4 ) 71.142 * * [simplify]: iteration 0 : 5 enodes (cost 10 ) 71.143 * * [simplify]: iteration 1 : 8 enodes (cost 10 ) 71.144 * * [simplify]: iteration 2 : 10 enodes (cost 10 ) 71.145 * * [simplify]: iteration done : 10 enodes (cost 10 ) 71.146 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 71.146 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 71.147 * * [simplify]: iteration done : 5 enodes (cost 6 ) 71.148 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 71.148 * * [simplify]: iteration 1 : 7 enodes (cost 2 ) 71.149 * * [simplify]: iteration 2 : 10 enodes (cost 2 ) 71.149 * * [simplify]: iteration done : 10 enodes (cost 2 ) 71.150 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 71.155 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 71.156 * * [simplify]: iteration done : 5 enodes (cost 6 ) 71.157 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 71.157 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 71.158 * * [simplify]: iteration done : 6 enodes (cost 6 ) 71.158 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 71.158 * * [simplify]: iteration done : 3 enodes (cost 5 ) 71.159 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 71.159 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 71.160 * * [simplify]: iteration done : 5 enodes (cost 6 ) 71.161 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 71.161 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 71.161 * * [simplify]: iteration done : 5 enodes (cost 6 ) 71.162 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 71.162 * * [simplify]: iteration done : 3 enodes (cost 5 ) 71.163 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 71.164 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 71.166 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 71.170 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 71.176 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 71.192 * * [simplify]: iteration 5 : 174 enodes (cost 2 ) 71.247 * * [simplify]: iteration 6 : 360 enodes (cost 2 ) 71.446 * * [simplify]: iteration 7 : 911 enodes (cost 2 ) 72.828 * * [simplify]: iteration 8 : 3082 enodes (cost 2 ) 74.620 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 74.621 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 74.622 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 74.631 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 74.636 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 74.644 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 74.672 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 74.782 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 75.289 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 77.075 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 77.076 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 77.077 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 77.080 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 77.086 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 77.111 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 77.181 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 77.476 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 78.879 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 80.149 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 80.150 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 80.152 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 80.154 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 80.157 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 80.163 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 80.179 * * [simplify]: iteration 5 : 174 enodes (cost 2 ) 80.233 * * [simplify]: iteration 6 : 360 enodes (cost 2 ) 80.426 * * [simplify]: iteration 7 : 911 enodes (cost 2 ) 81.792 * * [simplify]: iteration 8 : 3082 enodes (cost 2 ) 83.577 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 83.578 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 83.579 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 83.582 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 83.587 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 83.595 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 83.623 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 83.731 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 84.230 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 85.985 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 85.985 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 85.987 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 85.990 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 85.996 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 86.020 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 86.091 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 86.377 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 87.776 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 89.200 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 89.201 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 89.202 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 89.204 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 89.208 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 89.214 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 89.230 * * [simplify]: iteration 5 : 174 enodes (cost 2 ) 89.283 * * [simplify]: iteration 6 : 360 enodes (cost 2 ) 89.481 * * [simplify]: iteration 7 : 911 enodes (cost 2 ) 90.855 * * [simplify]: iteration 8 : 3082 enodes (cost 2 ) 92.641 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 92.642 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 92.643 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 92.646 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 92.651 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 92.660 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 92.687 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 92.796 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 93.290 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 95.032 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 95.033 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 95.035 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 95.037 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 95.043 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 95.067 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 95.138 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 95.424 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 96.803 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 98.051 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 98.051 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 98.053 * * [simplify]: iteration 1 : 23 enodes (cost 9 ) 98.055 * * [simplify]: iteration 2 : 39 enodes (cost 5 ) 98.061 * * [simplify]: iteration 3 : 79 enodes (cost 3 ) 98.077 * * [simplify]: iteration 4 : 156 enodes (cost 3 ) 98.129 * * [simplify]: iteration 5 : 314 enodes (cost 3 ) 98.308 * * [simplify]: iteration 6 : 887 enodes (cost 3 ) 99.504 * * [simplify]: iteration 7 : 2959 enodes (cost 3 ) 100.862 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 100.863 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 100.865 * * [simplify]: iteration 1 : 22 enodes (cost 10 ) 100.867 * * [simplify]: iteration 2 : 46 enodes (cost 8 ) 100.877 * * [simplify]: iteration 3 : 131 enodes (cost 5 ) 100.922 * * [simplify]: iteration 4 : 286 enodes (cost 3 ) 101.069 * * [simplify]: iteration 5 : 617 enodes (cost 3 ) 101.978 * * [simplify]: iteration 6 : 1980 enodes (cost 3 ) 103.240 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 103.241 * * [simplify]: iteration 0 : 15 enodes (cost 17 ) 103.243 * * [simplify]: iteration 1 : 31 enodes (cost 16 ) 103.247 * * [simplify]: iteration 2 : 66 enodes (cost 14 ) 103.262 * * [simplify]: iteration 3 : 189 enodes (cost 11 ) 103.321 * * [simplify]: iteration 4 : 548 enodes (cost 10 ) 103.930 * * [simplify]: iteration 5 : 2145 enodes (cost 10 ) 105.126 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 105.126 * [simplify]: Simplified to: (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) z (sqrt (cbrt z)) (sqrt (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) z (sqrt (cbrt z)) (sqrt (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) z (sqrt (cbrt z)) (sqrt (cbrt z)) 2/3 2 (* z z) (* (cbrt z) (cbrt z)) 2 (* 2 (log (cbrt z))) (* 2 (log (cbrt z))) (exp (* (cbrt z) (cbrt z))) (* z z) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))) (* z z) (fabs (cbrt z)) (fabs (cbrt z)) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) 1 (* (cbrt z) (cbrt z)) (pow (cbrt (cbrt z)) 4) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt z) (cbrt z) 1 (* (cbrt z) (cbrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (sqrt (cbrt z))) (* (cbrt (sqrt z)) (sqrt (cbrt z))) (* (sqrt (cbrt z)) (cbrt (sqrt z))) (* (sqrt (cbrt z)) (cbrt (sqrt z))) (cbrt z) (cbrt z) 2/3 2 (* (cbrt z) (cbrt (* (cbrt z) (cbrt z)))) (* (cbrt z) (cbrt (sqrt z))) (* 1 (cbrt z)) (* (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (* (cbrt z) (sqrt (cbrt z))) (cbrt z) (* (cbrt (cbrt z)) (cbrt z)) (* (cbrt (sqrt z)) (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt (cbrt z)) (cbrt z)) (* (sqrt (cbrt z)) (cbrt z)) (* (cbrt z) (cbrt z)) (cbrt z) (cbrt z) (cbrt z) (cbrt z) (cbrt z) (cbrt z) (cbrt z) (cbrt z) (cbrt z) (pow z 2/3) (pow z 2/3) (* (cbrt (* z z)) (pow (cbrt -1) 2)) 105.127 * * * [progress]: adding candidates to table 105.197 * * [progress]: iteration 3 / 4 105.197 * * * [progress]: picking best candidate 105.222 * * * * [pick]: Picked # 105.222 * * * [progress]: localizing error 105.232 * * * [progress]: generating rewritten candidates 105.232 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 105.237 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2) 105.241 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 105.246 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 105.254 * * * [progress]: generating series expansions 105.254 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 105.254 * [approximate]: Taking taylor expansion of (pow (* (pow z 2) y) 1/3) in (y z) around 0 105.254 * [taylor]: Taking taylor expansion of (pow (* (pow z 2) y) 1/3) in z 105.254 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow z 2) y)))) in z 105.254 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow z 2) y))) in z 105.254 * [taylor]: Taking taylor expansion of 1/3 in z 105.254 * [taylor]: Taking taylor expansion of (log (* (pow z 2) y)) in z 105.254 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 105.254 * [taylor]: Taking taylor expansion of (pow z 2) in z 105.254 * [taylor]: Taking taylor expansion of z in z 105.254 * [taylor]: Taking taylor expansion of y in z 105.255 * [taylor]: Taking taylor expansion of (pow (* (pow z 2) y) 1/3) in y 105.255 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow z 2) y)))) in y 105.255 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow z 2) y))) in y 105.255 * [taylor]: Taking taylor expansion of 1/3 in y 105.255 * [taylor]: Taking taylor expansion of (log (* (pow z 2) y)) in y 105.255 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 105.255 * [taylor]: Taking taylor expansion of (pow z 2) in y 105.255 * [taylor]: Taking taylor expansion of z in y 105.255 * [taylor]: Taking taylor expansion of y in y 105.255 * [taylor]: Taking taylor expansion of (pow (* (pow z 2) y) 1/3) in y 105.255 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow z 2) y)))) in y 105.255 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow z 2) y))) in y 105.255 * [taylor]: Taking taylor expansion of 1/3 in y 105.255 * [taylor]: Taking taylor expansion of (log (* (pow z 2) y)) in y 105.255 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 105.255 * [taylor]: Taking taylor expansion of (pow z 2) in y 105.255 * [taylor]: Taking taylor expansion of z in y 105.255 * [taylor]: Taking taylor expansion of y in y 105.256 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log y) (log (pow z 2))))) in z 105.256 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log y) (log (pow z 2)))) in z 105.256 * [taylor]: Taking taylor expansion of 1/3 in z 105.256 * [taylor]: Taking taylor expansion of (+ (log y) (log (pow z 2))) in z 105.256 * [taylor]: Taking taylor expansion of (log y) in z 105.256 * [taylor]: Taking taylor expansion of y in z 105.256 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 105.256 * [taylor]: Taking taylor expansion of (pow z 2) in z 105.256 * [taylor]: Taking taylor expansion of z in z 105.260 * [taylor]: Taking taylor expansion of 0 in z 105.262 * [taylor]: Taking taylor expansion of 0 in z 105.263 * [taylor]: Taking taylor expansion of 0 in z 105.264 * [approximate]: Taking taylor expansion of (pow (/ 1 (* (pow z 2) y)) 1/3) in (y z) around 0 105.264 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow z 2) y)) 1/3) in z 105.264 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow z 2) y))))) in z 105.264 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow z 2) y)))) in z 105.264 * [taylor]: Taking taylor expansion of 1/3 in z 105.264 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow z 2) y))) in z 105.264 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 105.264 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 105.264 * [taylor]: Taking taylor expansion of (pow z 2) in z 105.264 * [taylor]: Taking taylor expansion of z in z 105.264 * [taylor]: Taking taylor expansion of y in z 105.264 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow z 2) y)) 1/3) in y 105.264 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow z 2) y))))) in y 105.264 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow z 2) y)))) in y 105.264 * [taylor]: Taking taylor expansion of 1/3 in y 105.264 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow z 2) y))) in y 105.264 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 105.264 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 105.264 * [taylor]: Taking taylor expansion of (pow z 2) in y 105.264 * [taylor]: Taking taylor expansion of z in y 105.264 * [taylor]: Taking taylor expansion of y in y 105.265 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow z 2) y)) 1/3) in y 105.265 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow z 2) y))))) in y 105.265 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow z 2) y)))) in y 105.265 * [taylor]: Taking taylor expansion of 1/3 in y 105.265 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow z 2) y))) in y 105.265 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 105.265 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 105.265 * [taylor]: Taking taylor expansion of (pow z 2) in y 105.265 * [taylor]: Taking taylor expansion of z in y 105.265 * [taylor]: Taking taylor expansion of y in y 105.266 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow z 2))) (log y)))) in z 105.266 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow z 2))) (log y))) in z 105.266 * [taylor]: Taking taylor expansion of 1/3 in z 105.266 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow z 2))) (log y)) in z 105.266 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 105.266 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 105.266 * [taylor]: Taking taylor expansion of (pow z 2) in z 105.266 * [taylor]: Taking taylor expansion of z in z 105.266 * [taylor]: Taking taylor expansion of (log y) in z 105.266 * [taylor]: Taking taylor expansion of y in z 105.267 * [taylor]: Taking taylor expansion of 0 in z 105.269 * [taylor]: Taking taylor expansion of 0 in z 105.271 * [taylor]: Taking taylor expansion of 0 in z 105.272 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* y (pow z 2))) 1/3) (cbrt -1)) in (y z) around 0 105.272 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* y (pow z 2))) 1/3) (cbrt -1)) in z 105.272 * [taylor]: Taking taylor expansion of (pow (/ 1 (* y (pow z 2))) 1/3) in z 105.272 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* y (pow z 2)))))) in z 105.272 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* y (pow z 2))))) in z 105.272 * [taylor]: Taking taylor expansion of 1/3 in z 105.272 * [taylor]: Taking taylor expansion of (log (/ 1 (* y (pow z 2)))) in z 105.272 * [taylor]: Taking taylor expansion of (/ 1 (* y (pow z 2))) in z 105.272 * [taylor]: Taking taylor expansion of (* y (pow z 2)) in z 105.272 * [taylor]: Taking taylor expansion of y in z 105.272 * [taylor]: Taking taylor expansion of (pow z 2) in z 105.272 * [taylor]: Taking taylor expansion of z in z 105.272 * [taylor]: Taking taylor expansion of (cbrt -1) in z 105.272 * [taylor]: Taking taylor expansion of -1 in z 105.272 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* y (pow z 2))) 1/3) (cbrt -1)) in y 105.272 * [taylor]: Taking taylor expansion of (pow (/ 1 (* y (pow z 2))) 1/3) in y 105.272 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* y (pow z 2)))))) in y 105.272 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* y (pow z 2))))) in y 105.272 * [taylor]: Taking taylor expansion of 1/3 in y 105.272 * [taylor]: Taking taylor expansion of (log (/ 1 (* y (pow z 2)))) in y 105.272 * [taylor]: Taking taylor expansion of (/ 1 (* y (pow z 2))) in y 105.272 * [taylor]: Taking taylor expansion of (* y (pow z 2)) in y 105.272 * [taylor]: Taking taylor expansion of y in y 105.272 * [taylor]: Taking taylor expansion of (pow z 2) in y 105.272 * [taylor]: Taking taylor expansion of z in y 105.273 * [taylor]: Taking taylor expansion of (cbrt -1) in y 105.273 * [taylor]: Taking taylor expansion of -1 in y 105.273 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* y (pow z 2))) 1/3) (cbrt -1)) in y 105.273 * [taylor]: Taking taylor expansion of (pow (/ 1 (* y (pow z 2))) 1/3) in y 105.273 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* y (pow z 2)))))) in y 105.273 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* y (pow z 2))))) in y 105.273 * [taylor]: Taking taylor expansion of 1/3 in y 105.273 * [taylor]: Taking taylor expansion of (log (/ 1 (* y (pow z 2)))) in y 105.273 * [taylor]: Taking taylor expansion of (/ 1 (* y (pow z 2))) in y 105.273 * [taylor]: Taking taylor expansion of (* y (pow z 2)) in y 105.273 * [taylor]: Taking taylor expansion of y in y 105.273 * [taylor]: Taking taylor expansion of (pow z 2) in y 105.273 * [taylor]: Taking taylor expansion of z in y 105.274 * [taylor]: Taking taylor expansion of (cbrt -1) in y 105.274 * [taylor]: Taking taylor expansion of -1 in y 105.274 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 (pow z 2))) (log y))))) in z 105.274 * [taylor]: Taking taylor expansion of (cbrt -1) in z 105.274 * [taylor]: Taking taylor expansion of -1 in z 105.274 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow z 2))) (log y)))) in z 105.274 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow z 2))) (log y))) in z 105.275 * [taylor]: Taking taylor expansion of 1/3 in z 105.275 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow z 2))) (log y)) in z 105.275 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 105.275 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 105.275 * [taylor]: Taking taylor expansion of (pow z 2) in z 105.275 * [taylor]: Taking taylor expansion of z in z 105.275 * [taylor]: Taking taylor expansion of (log y) in z 105.275 * [taylor]: Taking taylor expansion of y in z 105.276 * [taylor]: Taking taylor expansion of 0 in z 105.279 * [taylor]: Taking taylor expansion of 0 in z 105.281 * [taylor]: Taking taylor expansion of 0 in z 105.282 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2) 105.282 * [approximate]: Taking taylor expansion of (pow (* (pow z 2) y) 1/3) in (y z) around 0 105.282 * [taylor]: Taking taylor expansion of (pow (* (pow z 2) y) 1/3) in z 105.282 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow z 2) y)))) in z 105.282 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow z 2) y))) in z 105.282 * [taylor]: Taking taylor expansion of 1/3 in z 105.282 * [taylor]: Taking taylor expansion of (log (* (pow z 2) y)) in z 105.282 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 105.282 * [taylor]: Taking taylor expansion of (pow z 2) in z 105.282 * [taylor]: Taking taylor expansion of z in z 105.282 * [taylor]: Taking taylor expansion of y in z 105.282 * [taylor]: Taking taylor expansion of (pow (* (pow z 2) y) 1/3) in y 105.282 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow z 2) y)))) in y 105.282 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow z 2) y))) in y 105.282 * [taylor]: Taking taylor expansion of 1/3 in y 105.282 * [taylor]: Taking taylor expansion of (log (* (pow z 2) y)) in y 105.283 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 105.283 * [taylor]: Taking taylor expansion of (pow z 2) in y 105.283 * [taylor]: Taking taylor expansion of z in y 105.283 * [taylor]: Taking taylor expansion of y in y 105.283 * [taylor]: Taking taylor expansion of (pow (* (pow z 2) y) 1/3) in y 105.283 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow z 2) y)))) in y 105.283 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow z 2) y))) in y 105.283 * [taylor]: Taking taylor expansion of 1/3 in y 105.283 * [taylor]: Taking taylor expansion of (log (* (pow z 2) y)) in y 105.283 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 105.283 * [taylor]: Taking taylor expansion of (pow z 2) in y 105.283 * [taylor]: Taking taylor expansion of z in y 105.283 * [taylor]: Taking taylor expansion of y in y 105.284 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log y) (log (pow z 2))))) in z 105.284 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log y) (log (pow z 2)))) in z 105.284 * [taylor]: Taking taylor expansion of 1/3 in z 105.284 * [taylor]: Taking taylor expansion of (+ (log y) (log (pow z 2))) in z 105.284 * [taylor]: Taking taylor expansion of (log y) in z 105.284 * [taylor]: Taking taylor expansion of y in z 105.284 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 105.284 * [taylor]: Taking taylor expansion of (pow z 2) in z 105.284 * [taylor]: Taking taylor expansion of z in z 105.285 * [taylor]: Taking taylor expansion of 0 in z 105.286 * [taylor]: Taking taylor expansion of 0 in z 105.288 * [taylor]: Taking taylor expansion of 0 in z 105.289 * [approximate]: Taking taylor expansion of (pow (/ 1 (* (pow z 2) y)) 1/3) in (y z) around 0 105.289 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow z 2) y)) 1/3) in z 105.289 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow z 2) y))))) in z 105.289 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow z 2) y)))) in z 105.289 * [taylor]: Taking taylor expansion of 1/3 in z 105.289 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow z 2) y))) in z 105.289 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 105.289 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 105.289 * [taylor]: Taking taylor expansion of (pow z 2) in z 105.289 * [taylor]: Taking taylor expansion of z in z 105.289 * [taylor]: Taking taylor expansion of y in z 105.289 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow z 2) y)) 1/3) in y 105.289 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow z 2) y))))) in y 105.289 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow z 2) y)))) in y 105.289 * [taylor]: Taking taylor expansion of 1/3 in y 105.289 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow z 2) y))) in y 105.289 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 105.289 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 105.289 * [taylor]: Taking taylor expansion of (pow z 2) in y 105.289 * [taylor]: Taking taylor expansion of z in y 105.289 * [taylor]: Taking taylor expansion of y in y 105.290 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow z 2) y)) 1/3) in y 105.290 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow z 2) y))))) in y 105.290 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow z 2) y)))) in y 105.290 * [taylor]: Taking taylor expansion of 1/3 in y 105.290 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow z 2) y))) in y 105.290 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 105.290 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 105.290 * [taylor]: Taking taylor expansion of (pow z 2) in y 105.290 * [taylor]: Taking taylor expansion of z in y 105.290 * [taylor]: Taking taylor expansion of y in y 105.291 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow z 2))) (log y)))) in z 105.291 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow z 2))) (log y))) in z 105.291 * [taylor]: Taking taylor expansion of 1/3 in z 105.291 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow z 2))) (log y)) in z 105.291 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 105.291 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 105.291 * [taylor]: Taking taylor expansion of (pow z 2) in z 105.291 * [taylor]: Taking taylor expansion of z in z 105.291 * [taylor]: Taking taylor expansion of (log y) in z 105.291 * [taylor]: Taking taylor expansion of y in z 105.292 * [taylor]: Taking taylor expansion of 0 in z 105.294 * [taylor]: Taking taylor expansion of 0 in z 105.296 * [taylor]: Taking taylor expansion of 0 in z 105.296 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* y (pow z 2))) 1/3) (cbrt -1)) in (y z) around 0 105.296 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* y (pow z 2))) 1/3) (cbrt -1)) in z 105.296 * [taylor]: Taking taylor expansion of (pow (/ 1 (* y (pow z 2))) 1/3) in z 105.296 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* y (pow z 2)))))) in z 105.296 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* y (pow z 2))))) in z 105.296 * [taylor]: Taking taylor expansion of 1/3 in z 105.296 * [taylor]: Taking taylor expansion of (log (/ 1 (* y (pow z 2)))) in z 105.296 * [taylor]: Taking taylor expansion of (/ 1 (* y (pow z 2))) in z 105.296 * [taylor]: Taking taylor expansion of (* y (pow z 2)) in z 105.296 * [taylor]: Taking taylor expansion of y in z 105.296 * [taylor]: Taking taylor expansion of (pow z 2) in z 105.296 * [taylor]: Taking taylor expansion of z in z 105.297 * [taylor]: Taking taylor expansion of (cbrt -1) in z 105.297 * [taylor]: Taking taylor expansion of -1 in z 105.297 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* y (pow z 2))) 1/3) (cbrt -1)) in y 105.297 * [taylor]: Taking taylor expansion of (pow (/ 1 (* y (pow z 2))) 1/3) in y 105.297 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* y (pow z 2)))))) in y 105.297 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* y (pow z 2))))) in y 105.297 * [taylor]: Taking taylor expansion of 1/3 in y 105.297 * [taylor]: Taking taylor expansion of (log (/ 1 (* y (pow z 2)))) in y 105.297 * [taylor]: Taking taylor expansion of (/ 1 (* y (pow z 2))) in y 105.297 * [taylor]: Taking taylor expansion of (* y (pow z 2)) in y 105.297 * [taylor]: Taking taylor expansion of y in y 105.297 * [taylor]: Taking taylor expansion of (pow z 2) in y 105.297 * [taylor]: Taking taylor expansion of z in y 105.298 * [taylor]: Taking taylor expansion of (cbrt -1) in y 105.298 * [taylor]: Taking taylor expansion of -1 in y 105.298 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* y (pow z 2))) 1/3) (cbrt -1)) in y 105.298 * [taylor]: Taking taylor expansion of (pow (/ 1 (* y (pow z 2))) 1/3) in y 105.298 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* y (pow z 2)))))) in y 105.298 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* y (pow z 2))))) in y 105.298 * [taylor]: Taking taylor expansion of 1/3 in y 105.298 * [taylor]: Taking taylor expansion of (log (/ 1 (* y (pow z 2)))) in y 105.298 * [taylor]: Taking taylor expansion of (/ 1 (* y (pow z 2))) in y 105.298 * [taylor]: Taking taylor expansion of (* y (pow z 2)) in y 105.298 * [taylor]: Taking taylor expansion of y in y 105.298 * [taylor]: Taking taylor expansion of (pow z 2) in y 105.298 * [taylor]: Taking taylor expansion of z in y 105.299 * [taylor]: Taking taylor expansion of (cbrt -1) in y 105.299 * [taylor]: Taking taylor expansion of -1 in y 105.299 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 (pow z 2))) (log y))))) in z 105.299 * [taylor]: Taking taylor expansion of (cbrt -1) in z 105.299 * [taylor]: Taking taylor expansion of -1 in z 105.299 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow z 2))) (log y)))) in z 105.299 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow z 2))) (log y))) in z 105.299 * [taylor]: Taking taylor expansion of 1/3 in z 105.299 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow z 2))) (log y)) in z 105.299 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 105.299 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 105.299 * [taylor]: Taking taylor expansion of (pow z 2) in z 105.299 * [taylor]: Taking taylor expansion of z in z 105.299 * [taylor]: Taking taylor expansion of (log y) in z 105.299 * [taylor]: Taking taylor expansion of y in z 105.301 * [taylor]: Taking taylor expansion of 0 in z 105.303 * [taylor]: Taking taylor expansion of 0 in z 105.306 * [taylor]: Taking taylor expansion of 0 in z 105.306 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 105.306 * [approximate]: Taking taylor expansion of (pow (* (pow z 2) y) 1/3) in (y z) around 0 105.306 * [taylor]: Taking taylor expansion of (pow (* (pow z 2) y) 1/3) in z 105.306 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow z 2) y)))) in z 105.306 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow z 2) y))) in z 105.306 * [taylor]: Taking taylor expansion of 1/3 in z 105.306 * [taylor]: Taking taylor expansion of (log (* (pow z 2) y)) in z 105.306 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 105.306 * [taylor]: Taking taylor expansion of (pow z 2) in z 105.306 * [taylor]: Taking taylor expansion of z in z 105.306 * [taylor]: Taking taylor expansion of y in z 105.307 * [taylor]: Taking taylor expansion of (pow (* (pow z 2) y) 1/3) in y 105.307 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow z 2) y)))) in y 105.307 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow z 2) y))) in y 105.307 * [taylor]: Taking taylor expansion of 1/3 in y 105.307 * [taylor]: Taking taylor expansion of (log (* (pow z 2) y)) in y 105.307 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 105.307 * [taylor]: Taking taylor expansion of (pow z 2) in y 105.307 * [taylor]: Taking taylor expansion of z in y 105.307 * [taylor]: Taking taylor expansion of y in y 105.307 * [taylor]: Taking taylor expansion of (pow (* (pow z 2) y) 1/3) in y 105.307 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow z 2) y)))) in y 105.307 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow z 2) y))) in y 105.307 * [taylor]: Taking taylor expansion of 1/3 in y 105.307 * [taylor]: Taking taylor expansion of (log (* (pow z 2) y)) in y 105.307 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 105.307 * [taylor]: Taking taylor expansion of (pow z 2) in y 105.307 * [taylor]: Taking taylor expansion of z in y 105.307 * [taylor]: Taking taylor expansion of y in y 105.308 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log y) (log (pow z 2))))) in z 105.308 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log y) (log (pow z 2)))) in z 105.308 * [taylor]: Taking taylor expansion of 1/3 in z 105.308 * [taylor]: Taking taylor expansion of (+ (log y) (log (pow z 2))) in z 105.308 * [taylor]: Taking taylor expansion of (log y) in z 105.308 * [taylor]: Taking taylor expansion of y in z 105.308 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 105.308 * [taylor]: Taking taylor expansion of (pow z 2) in z 105.308 * [taylor]: Taking taylor expansion of z in z 105.309 * [taylor]: Taking taylor expansion of 0 in z 105.310 * [taylor]: Taking taylor expansion of 0 in z 105.312 * [taylor]: Taking taylor expansion of 0 in z 105.312 * [approximate]: Taking taylor expansion of (pow (/ 1 (* (pow z 2) y)) 1/3) in (y z) around 0 105.312 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow z 2) y)) 1/3) in z 105.312 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow z 2) y))))) in z 105.312 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow z 2) y)))) in z 105.312 * [taylor]: Taking taylor expansion of 1/3 in z 105.312 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow z 2) y))) in z 105.313 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 105.313 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 105.313 * [taylor]: Taking taylor expansion of (pow z 2) in z 105.313 * [taylor]: Taking taylor expansion of z in z 105.313 * [taylor]: Taking taylor expansion of y in z 105.313 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow z 2) y)) 1/3) in y 105.313 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow z 2) y))))) in y 105.313 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow z 2) y)))) in y 105.313 * [taylor]: Taking taylor expansion of 1/3 in y 105.313 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow z 2) y))) in y 105.313 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 105.313 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 105.313 * [taylor]: Taking taylor expansion of (pow z 2) in y 105.313 * [taylor]: Taking taylor expansion of z in y 105.313 * [taylor]: Taking taylor expansion of y in y 105.314 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow z 2) y)) 1/3) in y 105.314 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow z 2) y))))) in y 105.314 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow z 2) y)))) in y 105.314 * [taylor]: Taking taylor expansion of 1/3 in y 105.314 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow z 2) y))) in y 105.314 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 105.314 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 105.314 * [taylor]: Taking taylor expansion of (pow z 2) in y 105.314 * [taylor]: Taking taylor expansion of z in y 105.314 * [taylor]: Taking taylor expansion of y in y 105.314 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow z 2))) (log y)))) in z 105.314 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow z 2))) (log y))) in z 105.314 * [taylor]: Taking taylor expansion of 1/3 in z 105.314 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow z 2))) (log y)) in z 105.314 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 105.314 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 105.314 * [taylor]: Taking taylor expansion of (pow z 2) in z 105.314 * [taylor]: Taking taylor expansion of z in z 105.315 * [taylor]: Taking taylor expansion of (log y) in z 105.315 * [taylor]: Taking taylor expansion of y in z 105.316 * [taylor]: Taking taylor expansion of 0 in z 105.317 * [taylor]: Taking taylor expansion of 0 in z 105.320 * [taylor]: Taking taylor expansion of 0 in z 105.321 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* y (pow z 2))) 1/3) (cbrt -1)) in (y z) around 0 105.321 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* y (pow z 2))) 1/3) (cbrt -1)) in z 105.321 * [taylor]: Taking taylor expansion of (pow (/ 1 (* y (pow z 2))) 1/3) in z 105.321 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* y (pow z 2)))))) in z 105.321 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* y (pow z 2))))) in z 105.321 * [taylor]: Taking taylor expansion of 1/3 in z 105.321 * [taylor]: Taking taylor expansion of (log (/ 1 (* y (pow z 2)))) in z 105.321 * [taylor]: Taking taylor expansion of (/ 1 (* y (pow z 2))) in z 105.321 * [taylor]: Taking taylor expansion of (* y (pow z 2)) in z 105.321 * [taylor]: Taking taylor expansion of y in z 105.321 * [taylor]: Taking taylor expansion of (pow z 2) in z 105.321 * [taylor]: Taking taylor expansion of z in z 105.321 * [taylor]: Taking taylor expansion of (cbrt -1) in z 105.321 * [taylor]: Taking taylor expansion of -1 in z 105.321 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* y (pow z 2))) 1/3) (cbrt -1)) in y 105.321 * [taylor]: Taking taylor expansion of (pow (/ 1 (* y (pow z 2))) 1/3) in y 105.321 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* y (pow z 2)))))) in y 105.321 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* y (pow z 2))))) in y 105.321 * [taylor]: Taking taylor expansion of 1/3 in y 105.321 * [taylor]: Taking taylor expansion of (log (/ 1 (* y (pow z 2)))) in y 105.321 * [taylor]: Taking taylor expansion of (/ 1 (* y (pow z 2))) in y 105.321 * [taylor]: Taking taylor expansion of (* y (pow z 2)) in y 105.322 * [taylor]: Taking taylor expansion of y in y 105.322 * [taylor]: Taking taylor expansion of (pow z 2) in y 105.322 * [taylor]: Taking taylor expansion of z in y 105.322 * [taylor]: Taking taylor expansion of (cbrt -1) in y 105.322 * [taylor]: Taking taylor expansion of -1 in y 105.322 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* y (pow z 2))) 1/3) (cbrt -1)) in y 105.322 * [taylor]: Taking taylor expansion of (pow (/ 1 (* y (pow z 2))) 1/3) in y 105.322 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* y (pow z 2)))))) in y 105.322 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* y (pow z 2))))) in y 105.322 * [taylor]: Taking taylor expansion of 1/3 in y 105.322 * [taylor]: Taking taylor expansion of (log (/ 1 (* y (pow z 2)))) in y 105.322 * [taylor]: Taking taylor expansion of (/ 1 (* y (pow z 2))) in y 105.322 * [taylor]: Taking taylor expansion of (* y (pow z 2)) in y 105.322 * [taylor]: Taking taylor expansion of y in y 105.322 * [taylor]: Taking taylor expansion of (pow z 2) in y 105.322 * [taylor]: Taking taylor expansion of z in y 105.323 * [taylor]: Taking taylor expansion of (cbrt -1) in y 105.323 * [taylor]: Taking taylor expansion of -1 in y 105.323 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 (pow z 2))) (log y))))) in z 105.323 * [taylor]: Taking taylor expansion of (cbrt -1) in z 105.324 * [taylor]: Taking taylor expansion of -1 in z 105.324 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow z 2))) (log y)))) in z 105.324 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow z 2))) (log y))) in z 105.324 * [taylor]: Taking taylor expansion of 1/3 in z 105.324 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow z 2))) (log y)) in z 105.324 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 105.324 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 105.324 * [taylor]: Taking taylor expansion of (pow z 2) in z 105.324 * [taylor]: Taking taylor expansion of z in z 105.324 * [taylor]: Taking taylor expansion of (log y) in z 105.324 * [taylor]: Taking taylor expansion of y in z 105.325 * [taylor]: Taking taylor expansion of 0 in z 105.327 * [taylor]: Taking taylor expansion of 0 in z 105.330 * [taylor]: Taking taylor expansion of 0 in z 105.330 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 105.331 * [approximate]: Taking taylor expansion of (pow (* (pow z 4) (pow y 2)) 1/3) in (y z) around 0 105.331 * [taylor]: Taking taylor expansion of (pow (* (pow z 4) (pow y 2)) 1/3) in z 105.331 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow z 4) (pow y 2))))) in z 105.331 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow z 4) (pow y 2)))) in z 105.331 * [taylor]: Taking taylor expansion of 1/3 in z 105.331 * [taylor]: Taking taylor expansion of (log (* (pow z 4) (pow y 2))) in z 105.331 * [taylor]: Taking taylor expansion of (* (pow z 4) (pow y 2)) in z 105.331 * [taylor]: Taking taylor expansion of (pow z 4) in z 105.331 * [taylor]: Taking taylor expansion of z in z 105.331 * [taylor]: Taking taylor expansion of (pow y 2) in z 105.331 * [taylor]: Taking taylor expansion of y in z 105.331 * [taylor]: Taking taylor expansion of (pow (* (pow z 4) (pow y 2)) 1/3) in y 105.331 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow z 4) (pow y 2))))) in y 105.331 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow z 4) (pow y 2)))) in y 105.331 * [taylor]: Taking taylor expansion of 1/3 in y 105.331 * [taylor]: Taking taylor expansion of (log (* (pow z 4) (pow y 2))) in y 105.331 * [taylor]: Taking taylor expansion of (* (pow z 4) (pow y 2)) in y 105.331 * [taylor]: Taking taylor expansion of (pow z 4) in y 105.331 * [taylor]: Taking taylor expansion of z in y 105.331 * [taylor]: Taking taylor expansion of (pow y 2) in y 105.331 * [taylor]: Taking taylor expansion of y in y 105.332 * [taylor]: Taking taylor expansion of (pow (* (pow z 4) (pow y 2)) 1/3) in y 105.332 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow z 4) (pow y 2))))) in y 105.332 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow z 4) (pow y 2)))) in y 105.332 * [taylor]: Taking taylor expansion of 1/3 in y 105.332 * [taylor]: Taking taylor expansion of (log (* (pow z 4) (pow y 2))) in y 105.332 * [taylor]: Taking taylor expansion of (* (pow z 4) (pow y 2)) in y 105.332 * [taylor]: Taking taylor expansion of (pow z 4) in y 105.332 * [taylor]: Taking taylor expansion of z in y 105.332 * [taylor]: Taking taylor expansion of (pow y 2) in y 105.332 * [taylor]: Taking taylor expansion of y in y 105.333 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log y)) (log (pow z 4))))) in z 105.333 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log y)) (log (pow z 4)))) in z 105.333 * [taylor]: Taking taylor expansion of 1/3 in z 105.333 * [taylor]: Taking taylor expansion of (+ (* 2 (log y)) (log (pow z 4))) in z 105.333 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z 105.333 * [taylor]: Taking taylor expansion of 2 in z 105.333 * [taylor]: Taking taylor expansion of (log y) in z 105.333 * [taylor]: Taking taylor expansion of y in z 105.333 * [taylor]: Taking taylor expansion of (log (pow z 4)) in z 105.333 * [taylor]: Taking taylor expansion of (pow z 4) in z 105.333 * [taylor]: Taking taylor expansion of z in z 105.334 * [taylor]: Taking taylor expansion of 0 in z 105.336 * [taylor]: Taking taylor expansion of 0 in z 105.338 * [taylor]: Taking taylor expansion of 0 in z 105.338 * [approximate]: Taking taylor expansion of (pow (/ 1 (* (pow z 4) (pow y 2))) 1/3) in (y z) around 0 105.338 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow z 4) (pow y 2))) 1/3) in z 105.338 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow z 4) (pow y 2)))))) in z 105.338 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow z 4) (pow y 2))))) in z 105.338 * [taylor]: Taking taylor expansion of 1/3 in z 105.338 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow z 4) (pow y 2)))) in z 105.338 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 4) (pow y 2))) in z 105.338 * [taylor]: Taking taylor expansion of (* (pow z 4) (pow y 2)) in z 105.338 * [taylor]: Taking taylor expansion of (pow z 4) in z 105.338 * [taylor]: Taking taylor expansion of z in z 105.338 * [taylor]: Taking taylor expansion of (pow y 2) in z 105.338 * [taylor]: Taking taylor expansion of y in z 105.339 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow z 4) (pow y 2))) 1/3) in y 105.339 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow z 4) (pow y 2)))))) in y 105.339 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow z 4) (pow y 2))))) in y 105.339 * [taylor]: Taking taylor expansion of 1/3 in y 105.339 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow z 4) (pow y 2)))) in y 105.339 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 4) (pow y 2))) in y 105.339 * [taylor]: Taking taylor expansion of (* (pow z 4) (pow y 2)) in y 105.339 * [taylor]: Taking taylor expansion of (pow z 4) in y 105.339 * [taylor]: Taking taylor expansion of z in y 105.339 * [taylor]: Taking taylor expansion of (pow y 2) in y 105.339 * [taylor]: Taking taylor expansion of y in y 105.340 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow z 4) (pow y 2))) 1/3) in y 105.340 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow z 4) (pow y 2)))))) in y 105.340 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow z 4) (pow y 2))))) in y 105.340 * [taylor]: Taking taylor expansion of 1/3 in y 105.340 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow z 4) (pow y 2)))) in y 105.340 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 4) (pow y 2))) in y 105.340 * [taylor]: Taking taylor expansion of (* (pow z 4) (pow y 2)) in y 105.340 * [taylor]: Taking taylor expansion of (pow z 4) in y 105.340 * [taylor]: Taking taylor expansion of z in y 105.340 * [taylor]: Taking taylor expansion of (pow y 2) in y 105.340 * [taylor]: Taking taylor expansion of y in y 105.341 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow z 4))) (* 2 (log y))))) in z 105.341 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow z 4))) (* 2 (log y)))) in z 105.341 * [taylor]: Taking taylor expansion of 1/3 in z 105.341 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow z 4))) (* 2 (log y))) in z 105.341 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 4))) in z 105.341 * [taylor]: Taking taylor expansion of (/ 1 (pow z 4)) in z 105.341 * [taylor]: Taking taylor expansion of (pow z 4) in z 105.341 * [taylor]: Taking taylor expansion of z in z 105.341 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z 105.341 * [taylor]: Taking taylor expansion of 2 in z 105.341 * [taylor]: Taking taylor expansion of (log y) in z 105.341 * [taylor]: Taking taylor expansion of y in z 105.343 * [taylor]: Taking taylor expansion of 0 in z 105.345 * [taylor]: Taking taylor expansion of 0 in z 105.347 * [taylor]: Taking taylor expansion of 0 in z 105.348 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (* (pow z 4) (pow y 2))) 1/3)) in (y z) around 0 105.348 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (* (pow z 4) (pow y 2))) 1/3)) in z 105.348 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 105.348 * [taylor]: Taking taylor expansion of (cbrt -1) in z 105.348 * [taylor]: Taking taylor expansion of -1 in z 105.348 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow z 4) (pow y 2))) 1/3) in z 105.348 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow z 4) (pow y 2)))))) in z 105.348 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow z 4) (pow y 2))))) in z 105.348 * [taylor]: Taking taylor expansion of 1/3 in z 105.348 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow z 4) (pow y 2)))) in z 105.348 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 4) (pow y 2))) in z 105.348 * [taylor]: Taking taylor expansion of (* (pow z 4) (pow y 2)) in z 105.348 * [taylor]: Taking taylor expansion of (pow z 4) in z 105.348 * [taylor]: Taking taylor expansion of z in z 105.348 * [taylor]: Taking taylor expansion of (pow y 2) in z 105.348 * [taylor]: Taking taylor expansion of y in z 105.349 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (* (pow z 4) (pow y 2))) 1/3)) in y 105.349 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 105.349 * [taylor]: Taking taylor expansion of (cbrt -1) in y 105.349 * [taylor]: Taking taylor expansion of -1 in y 105.349 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow z 4) (pow y 2))) 1/3) in y 105.349 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow z 4) (pow y 2)))))) in y 105.349 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow z 4) (pow y 2))))) in y 105.349 * [taylor]: Taking taylor expansion of 1/3 in y 105.349 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow z 4) (pow y 2)))) in y 105.349 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 4) (pow y 2))) in y 105.349 * [taylor]: Taking taylor expansion of (* (pow z 4) (pow y 2)) in y 105.349 * [taylor]: Taking taylor expansion of (pow z 4) in y 105.349 * [taylor]: Taking taylor expansion of z in y 105.349 * [taylor]: Taking taylor expansion of (pow y 2) in y 105.349 * [taylor]: Taking taylor expansion of y in y 105.350 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (* (pow z 4) (pow y 2))) 1/3)) in y 105.350 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 105.350 * [taylor]: Taking taylor expansion of (cbrt -1) in y 105.350 * [taylor]: Taking taylor expansion of -1 in y 105.350 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow z 4) (pow y 2))) 1/3) in y 105.350 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow z 4) (pow y 2)))))) in y 105.350 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow z 4) (pow y 2))))) in y 105.350 * [taylor]: Taking taylor expansion of 1/3 in y 105.350 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow z 4) (pow y 2)))) in y 105.350 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 4) (pow y 2))) in y 105.350 * [taylor]: Taking taylor expansion of (* (pow z 4) (pow y 2)) in y 105.350 * [taylor]: Taking taylor expansion of (pow z 4) in y 105.350 * [taylor]: Taking taylor expansion of z in y 105.350 * [taylor]: Taking taylor expansion of (pow y 2) in y 105.350 * [taylor]: Taking taylor expansion of y in y 105.351 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log (/ 1 (pow z 4))) (* 2 (log y)))))) in z 105.351 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 105.351 * [taylor]: Taking taylor expansion of (cbrt -1) in z 105.351 * [taylor]: Taking taylor expansion of -1 in z 105.351 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow z 4))) (* 2 (log y))))) in z 105.351 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow z 4))) (* 2 (log y)))) in z 105.351 * [taylor]: Taking taylor expansion of 1/3 in z 105.351 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow z 4))) (* 2 (log y))) in z 105.351 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 4))) in z 105.351 * [taylor]: Taking taylor expansion of (/ 1 (pow z 4)) in z 105.351 * [taylor]: Taking taylor expansion of (pow z 4) in z 105.351 * [taylor]: Taking taylor expansion of z in z 105.351 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z 105.351 * [taylor]: Taking taylor expansion of 2 in z 105.351 * [taylor]: Taking taylor expansion of (log y) in z 105.351 * [taylor]: Taking taylor expansion of y in z 105.354 * [taylor]: Taking taylor expansion of 0 in z 105.357 * [taylor]: Taking taylor expansion of 0 in z 105.360 * [taylor]: Taking taylor expansion of 0 in z 105.361 * * * [progress]: simplifying candidates 105.362 * [simplify]: Simplifying using # : (log (cbrt (* (* y z) z))) (exp (cbrt (* (* y z) z))) (cbrt (* y z)) (cbrt z) (* (cbrt (cbrt (* (* y z) z))) (cbrt (cbrt (* (* y z) z)))) (cbrt (cbrt (* (* y z) z))) (* (* (cbrt (* (* y z) z)) (cbrt (* (* y z) z))) (cbrt (* (* y z) z))) (sqrt (cbrt (* (* y z) z))) (sqrt (cbrt (* (* y z) z))) (log (cbrt (* (* y z) z))) (exp (cbrt (* (* y z) z))) (cbrt (* y z)) (cbrt z) (* (cbrt (cbrt (* (* y z) z))) (cbrt (cbrt (* (* y z) z)))) (cbrt (cbrt (* (* y z) z))) (* (* (cbrt (* (* y z) z)) (cbrt (* (* y z) z))) (cbrt (* (* y z) z))) (sqrt (cbrt (* (* y z) z))) (sqrt (cbrt (* (* y z) z))) (log (cbrt (* (* y z) z))) (exp (cbrt (* (* y z) z))) (cbrt (* y z)) (cbrt z) (* (cbrt (cbrt (* (* y z) z))) (cbrt (cbrt (* (* y z) z)))) (cbrt (cbrt (* (* y z) z))) (* (* (cbrt (* (* y z) z)) (cbrt (* (* y z) z))) (cbrt (* (* y z) z))) (sqrt (cbrt (* (* y z) z))) (sqrt (cbrt (* (* y z) z))) (+ 1/3 1/3) (+ 1 1) (* (* (* y z) z) (* (* y z) z)) (* (cbrt (* (* y z) z)) (cbrt (* (* y z) z))) (+ 1 1) (+ (log (cbrt (* (* y z) z))) (log (cbrt (* (* y z) z)))) (log (* (cbrt (* (* y z) z)) (cbrt (* (* y z) z)))) (exp (* (cbrt (* (* y z) z)) (cbrt (* (* y z) z)))) (* (* (* y z) z) (* (* y z) z)) (* (cbrt (* (cbrt (* (* y z) z)) (cbrt (* (* y z) z)))) (cbrt (* (cbrt (* (* y z) z)) (cbrt (* (* y z) z))))) (cbrt (* (cbrt (* (* y z) z)) (cbrt (* (* y z) z)))) (* (* (* (cbrt (* (* y z) z)) (cbrt (* (* y z) z))) (* (cbrt (* (* y z) z)) (cbrt (* (* y z) z)))) (* (cbrt (* (* y z) z)) (cbrt (* (* y z) z)))) (sqrt (* (cbrt (* (* y z) z)) (cbrt (* (* y z) z)))) (sqrt (* (cbrt (* (* y z) z)) (cbrt (* (* y z) z)))) (* (cbrt (* y z)) (cbrt (* y z))) (* (cbrt z) (cbrt z)) (* (* (cbrt (cbrt (* (* y z) z))) (cbrt (cbrt (* (* y z) z)))) (* (cbrt (cbrt (* (* y z) z))) (cbrt (cbrt (* (* y z) z))))) (* (cbrt (cbrt (* (* y z) z))) (cbrt (cbrt (* (* y z) z)))) (* (sqrt (cbrt (* (* y z) z))) (sqrt (cbrt (* (* y z) z)))) (* (sqrt (cbrt (* (* y z) z))) (sqrt (cbrt (* (* y z) z)))) (* 1 1) (* (cbrt (* (* y z) z)) (cbrt (* (* y z) z))) (* (sqrt (cbrt (* (* y z) z))) (sqrt (cbrt (* (* y z) z)))) (* (sqrt (cbrt (* (* y z) z))) (sqrt (cbrt (* (* y z) z)))) (* 2 1/3) (* 2 1) (* (cbrt (* (* y z) z)) (cbrt (* y z))) (* (cbrt (* (* y z) z)) (* (cbrt (cbrt (* (* y z) z))) (cbrt (cbrt (* (* y z) z))))) (* (cbrt (* (* y z) z)) (sqrt (cbrt (* (* y z) z)))) (* (cbrt (* (* y z) z)) 1) (* (cbrt z) (cbrt (* (* y z) z))) (* (cbrt (cbrt (* (* y z) z))) (cbrt (* (* y z) z))) (* (sqrt (cbrt (* (* y z) z))) (cbrt (* (* y z) z))) (* (cbrt (* (* y z) z)) (cbrt (* (* y z) z))) (exp (* 1/3 (+ (log y) (+ (* 2 (log z)) (log 1))))) (exp (* 1/3 (- (log 1) (+ (* 2 (log (/ 1 z))) (log (/ 1 y)))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (+ (* 2 (log (/ -1 z))) (log (/ -1 y))))))) (exp (* 1/3 (+ (log y) (+ (* 2 (log z)) (log 1))))) (exp (* 1/3 (- (log 1) (+ (* 2 (log (/ 1 z))) (log (/ 1 y)))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (+ (* 2 (log (/ -1 z))) (log (/ -1 y))))))) (exp (* 1/3 (+ (log y) (+ (* 2 (log z)) (log 1))))) (exp (* 1/3 (- (log 1) (+ (* 2 (log (/ 1 z))) (log (/ 1 y)))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (+ (* 2 (log (/ -1 z))) (log (/ -1 y))))))) (exp (* 1/3 (+ (* 2 (log y)) (+ (* 4 (log z)) (log 1))))) (exp (* 1/3 (- (log 1) (+ (* 4 (log (/ 1 z))) (* 2 (log (/ 1 y))))))) (* (exp (* 1/3 (- (log 1) (+ (* 4 (log (/ -1 z))) (* 2 (log (/ -1 y))))))) (pow (cbrt -1) 2)) 105.362 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 105.363 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 105.364 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 105.369 * * [simplify]: iteration done : 11 enodes (cost 7 ) 105.370 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 105.370 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 105.372 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 105.373 * * [simplify]: iteration done : 11 enodes (cost 7 ) 105.374 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 105.374 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 105.375 * * [simplify]: iteration done : 5 enodes (cost 4 ) 105.375 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 105.376 * * [simplify]: iteration done : 2 enodes (cost 2 ) 105.376 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 105.377 * * [simplify]: iteration 1 : 11 enodes (cost 15 ) 105.378 * * [simplify]: iteration 2 : 12 enodes (cost 15 ) 105.380 * * [simplify]: iteration done : 12 enodes (cost 15 ) 105.380 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 105.381 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 105.382 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 105.384 * * [simplify]: iteration done : 11 enodes (cost 7 ) 105.384 * * [simplify]: iteration 0 : 7 enodes (cost 20 ) 105.385 * * [simplify]: iteration 1 : 12 enodes (cost 20 ) 105.387 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 105.389 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 105.391 * * [simplify]: iteration 4 : 26 enodes (cost 5 ) 105.394 * * [simplify]: iteration 5 : 36 enodes (cost 5 ) 105.399 * * [simplify]: iteration 6 : 57 enodes (cost 5 ) 105.411 * * [simplify]: iteration 7 : 119 enodes (cost 5 ) 105.462 * * [simplify]: iteration 8 : 326 enodes (cost 5 ) 105.917 * * [simplify]: iteration 9 : 1244 enodes (cost 5 ) 108.571 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 108.572 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 108.572 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 108.574 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 108.575 * * [simplify]: iteration done : 11 enodes (cost 7 ) 108.575 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 108.576 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 108.577 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 108.578 * * [simplify]: iteration done : 11 enodes (cost 7 ) 108.579 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 108.580 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 108.581 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 108.582 * * [simplify]: iteration done : 11 enodes (cost 7 ) 108.583 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 108.583 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 108.585 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 108.586 * * [simplify]: iteration done : 11 enodes (cost 7 ) 108.586 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 108.587 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 108.587 * * [simplify]: iteration done : 5 enodes (cost 4 ) 108.588 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 108.588 * * [simplify]: iteration done : 2 enodes (cost 2 ) 108.589 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 108.590 * * [simplify]: iteration 1 : 11 enodes (cost 15 ) 108.591 * * [simplify]: iteration 2 : 12 enodes (cost 15 ) 108.593 * * [simplify]: iteration done : 12 enodes (cost 15 ) 108.593 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 108.594 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 108.595 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 108.597 * * [simplify]: iteration done : 11 enodes (cost 7 ) 108.597 * * [simplify]: iteration 0 : 7 enodes (cost 20 ) 108.598 * * [simplify]: iteration 1 : 12 enodes (cost 20 ) 108.600 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 108.602 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 108.605 * * [simplify]: iteration 4 : 26 enodes (cost 5 ) 108.608 * * [simplify]: iteration 5 : 36 enodes (cost 5 ) 108.613 * * [simplify]: iteration 6 : 57 enodes (cost 5 ) 108.624 * * [simplify]: iteration 7 : 119 enodes (cost 5 ) 108.674 * * [simplify]: iteration 8 : 326 enodes (cost 5 ) 109.128 * * [simplify]: iteration 9 : 1244 enodes (cost 5 ) 111.582 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 111.583 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 111.584 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 111.585 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 111.586 * * [simplify]: iteration done : 11 enodes (cost 7 ) 111.587 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 111.587 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 111.589 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 111.590 * * [simplify]: iteration done : 11 enodes (cost 7 ) 111.590 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 111.591 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 111.593 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 111.594 * * [simplify]: iteration done : 11 enodes (cost 7 ) 111.594 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 111.595 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 111.596 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 111.598 * * [simplify]: iteration done : 11 enodes (cost 7 ) 111.598 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 111.599 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 111.599 * * [simplify]: iteration done : 5 enodes (cost 4 ) 111.600 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 111.600 * * [simplify]: iteration done : 2 enodes (cost 2 ) 111.600 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 111.601 * * [simplify]: iteration 1 : 11 enodes (cost 15 ) 111.603 * * [simplify]: iteration 2 : 12 enodes (cost 15 ) 111.604 * * [simplify]: iteration done : 12 enodes (cost 15 ) 111.605 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 111.606 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 111.607 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 111.609 * * [simplify]: iteration done : 11 enodes (cost 7 ) 111.609 * * [simplify]: iteration 0 : 7 enodes (cost 20 ) 111.610 * * [simplify]: iteration 1 : 12 enodes (cost 20 ) 111.612 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 111.614 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 111.617 * * [simplify]: iteration 4 : 26 enodes (cost 5 ) 111.620 * * [simplify]: iteration 5 : 36 enodes (cost 5 ) 111.625 * * [simplify]: iteration 6 : 57 enodes (cost 5 ) 111.639 * * [simplify]: iteration 7 : 119 enodes (cost 5 ) 111.689 * * [simplify]: iteration 8 : 326 enodes (cost 5 ) 112.146 * * [simplify]: iteration 9 : 1244 enodes (cost 5 ) 114.621 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 114.622 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 114.622 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 114.624 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 114.625 * * [simplify]: iteration done : 11 enodes (cost 7 ) 114.625 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 114.626 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 114.627 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 114.629 * * [simplify]: iteration done : 11 enodes (cost 7 ) 114.629 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 114.630 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 114.630 * * [simplify]: iteration done : 5 enodes (cost 1 ) 114.630 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 114.631 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 114.631 * * [simplify]: iteration done : 6 enodes (cost 1 ) 114.632 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 114.633 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 114.636 * * [simplify]: iteration 2 : 45 enodes (cost 11 ) 114.648 * * [simplify]: iteration 3 : 77 enodes (cost 11 ) 114.671 * * [simplify]: iteration 4 : 81 enodes (cost 9 ) 114.690 * * [simplify]: iteration 5 : 90 enodes (cost 7 ) 114.714 * * [simplify]: iteration 6 : 123 enodes (cost 7 ) 114.751 * * [simplify]: iteration 7 : 227 enodes (cost 7 ) 114.865 * * [simplify]: iteration 8 : 513 enodes (cost 7 ) 115.429 * * [simplify]: iteration 9 : 1509 enodes (cost 7 ) 117.598 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 117.598 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 117.599 * * [simplify]: iteration 1 : 10 enodes (cost 13 ) 117.600 * * [simplify]: iteration 2 : 11 enodes (cost 13 ) 117.602 * * [simplify]: iteration done : 11 enodes (cost 13 ) 117.602 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 117.603 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 117.603 * * [simplify]: iteration done : 6 enodes (cost 1 ) 117.603 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 117.604 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 117.606 * * [simplify]: iteration 2 : 15 enodes (cost 9 ) 117.607 * * [simplify]: iteration done : 15 enodes (cost 9 ) 117.608 * * [simplify]: iteration 0 : 7 enodes (cost 14 ) 117.609 * * [simplify]: iteration 1 : 13 enodes (cost 14 ) 117.610 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 117.612 * * [simplify]: iteration 3 : 17 enodes (cost 9 ) 117.614 * * [simplify]: iteration done : 17 enodes (cost 9 ) 117.615 * * [simplify]: iteration 0 : 7 enodes (cost 14 ) 117.616 * * [simplify]: iteration 1 : 13 enodes (cost 14 ) 117.618 * * [simplify]: iteration 2 : 18 enodes (cost 14 ) 117.620 * * [simplify]: iteration 3 : 23 enodes (cost 14 ) 117.627 * * [simplify]: iteration 4 : 41 enodes (cost 14 ) 117.634 * * [simplify]: iteration 5 : 81 enodes (cost 14 ) 117.655 * * [simplify]: iteration 6 : 189 enodes (cost 14 ) 117.754 * * [simplify]: iteration 7 : 566 enodes (cost 14 ) 118.622 * * [simplify]: iteration 8 : 2228 enodes (cost 14 ) 120.728 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 120.729 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 120.730 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 120.733 * * [simplify]: iteration 2 : 45 enodes (cost 11 ) 120.747 * * [simplify]: iteration 3 : 77 enodes (cost 11 ) 120.766 * * [simplify]: iteration 4 : 81 enodes (cost 9 ) 120.785 * * [simplify]: iteration 5 : 90 enodes (cost 7 ) 120.809 * * [simplify]: iteration 6 : 123 enodes (cost 7 ) 120.849 * * [simplify]: iteration 7 : 227 enodes (cost 7 ) 120.959 * * [simplify]: iteration 8 : 513 enodes (cost 7 ) 121.506 * * [simplify]: iteration 9 : 1509 enodes (cost 7 ) 123.615 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 123.616 * * [simplify]: iteration 0 : 8 enodes (cost 29 ) 123.617 * * [simplify]: iteration 1 : 12 enodes (cost 29 ) 123.618 * * [simplify]: iteration 2 : 13 enodes (cost 29 ) 123.620 * * [simplify]: iteration done : 13 enodes (cost 29 ) 123.623 * * [simplify]: iteration 0 : 7 enodes (cost 14 ) 123.624 * * [simplify]: iteration 1 : 11 enodes (cost 14 ) 123.625 * * [simplify]: iteration 2 : 12 enodes (cost 14 ) 123.627 * * [simplify]: iteration done : 12 enodes (cost 14 ) 123.628 * * [simplify]: iteration 0 : 8 enodes (cost 41 ) 123.629 * * [simplify]: iteration 1 : 20 enodes (cost 41 ) 123.632 * * [simplify]: iteration 2 : 28 enodes (cost 15 ) 123.637 * * [simplify]: iteration 3 : 42 enodes (cost 8 ) 123.647 * * [simplify]: iteration 4 : 131 enodes (cost 8 ) 123.707 * * [simplify]: iteration 5 : 362 enodes (cost 8 ) 123.914 * * [simplify]: iteration 6 : 759 enodes (cost 8 ) 124.897 * * [simplify]: iteration 7 : 2404 enodes (cost 7 ) 127.043 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 127.044 * * [simplify]: iteration 0 : 7 enodes (cost 14 ) 127.044 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 127.046 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 127.048 * * [simplify]: iteration done : 13 enodes (cost 7 ) 127.049 * * [simplify]: iteration 0 : 7 enodes (cost 14 ) 127.049 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 127.051 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 127.052 * * [simplify]: iteration done : 13 enodes (cost 7 ) 127.053 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 127.053 * * [simplify]: iteration 1 : 6 enodes (cost 9 ) 127.054 * * [simplify]: iteration done : 6 enodes (cost 9 ) 127.054 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 127.055 * * [simplify]: iteration done : 3 enodes (cost 5 ) 127.055 * * [simplify]: iteration 0 : 8 enodes (cost 31 ) 127.056 * * [simplify]: iteration 1 : 16 enodes (cost 31 ) 127.059 * * [simplify]: iteration 2 : 21 enodes (cost 17 ) 127.062 * * [simplify]: iteration 3 : 30 enodes (cost 9 ) 127.065 * * [simplify]: iteration 4 : 45 enodes (cost 9 ) 127.074 * * [simplify]: iteration 5 : 71 enodes (cost 9 ) 127.086 * * [simplify]: iteration 6 : 145 enodes (cost 9 ) 127.133 * * [simplify]: iteration 7 : 359 enodes (cost 9 ) 127.502 * * [simplify]: iteration 8 : 1275 enodes (cost 9 ) 129.177 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 129.177 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 129.178 * * [simplify]: iteration 1 : 11 enodes (cost 15 ) 129.180 * * [simplify]: iteration 2 : 12 enodes (cost 15 ) 129.181 * * [simplify]: iteration done : 12 enodes (cost 15 ) 129.182 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 129.182 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 129.184 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 129.185 * * [simplify]: iteration done : 13 enodes (cost 6 ) 129.186 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 129.187 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 129.188 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 129.189 * * [simplify]: iteration done : 13 enodes (cost 6 ) 129.190 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 129.190 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 129.190 * * [simplify]: iteration done : 4 enodes (cost 1 ) 129.191 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 129.192 * * [simplify]: iteration 1 : 10 enodes (cost 13 ) 129.193 * * [simplify]: iteration 2 : 11 enodes (cost 13 ) 129.195 * * [simplify]: iteration done : 11 enodes (cost 13 ) 129.195 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 129.196 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 129.197 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 129.199 * * [simplify]: iteration done : 13 enodes (cost 6 ) 129.199 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 129.200 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 129.201 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 129.203 * * [simplify]: iteration done : 13 enodes (cost 6 ) 129.203 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 129.204 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 129.204 * * [simplify]: iteration done : 5 enodes (cost 1 ) 129.205 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 129.205 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 129.205 * * [simplify]: iteration done : 6 enodes (cost 1 ) 129.206 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 129.207 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 129.208 * * [simplify]: iteration 2 : 13 enodes (cost 11 ) 129.210 * * [simplify]: iteration done : 13 enodes (cost 11 ) 129.210 * * [simplify]: iteration 0 : 8 enodes (cost 22 ) 129.211 * * [simplify]: iteration 1 : 15 enodes (cost 22 ) 129.213 * * [simplify]: iteration 2 : 18 enodes (cost 22 ) 129.215 * * [simplify]: iteration done : 18 enodes (cost 22 ) 129.216 * * [simplify]: iteration 0 : 7 enodes (cost 14 ) 129.217 * * [simplify]: iteration 1 : 12 enodes (cost 14 ) 129.219 * * [simplify]: iteration 2 : 13 enodes (cost 14 ) 129.221 * * [simplify]: iteration done : 13 enodes (cost 14 ) 129.221 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 129.222 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 129.224 * * [simplify]: iteration 2 : 18 enodes (cost 6 ) 129.226 * * [simplify]: iteration done : 18 enodes (cost 6 ) 129.226 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 129.227 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 129.228 * * [simplify]: iteration 2 : 13 enodes (cost 9 ) 129.230 * * [simplify]: iteration done : 13 enodes (cost 9 ) 129.231 * * [simplify]: iteration 0 : 7 enodes (cost 14 ) 129.231 * * [simplify]: iteration 1 : 12 enodes (cost 14 ) 129.233 * * [simplify]: iteration 2 : 13 enodes (cost 14 ) 129.238 * * [simplify]: iteration done : 13 enodes (cost 14 ) 129.239 * * [simplify]: iteration 0 : 7 enodes (cost 14 ) 129.239 * * [simplify]: iteration 1 : 12 enodes (cost 14 ) 129.241 * * [simplify]: iteration 2 : 13 enodes (cost 14 ) 129.242 * * [simplify]: iteration done : 13 enodes (cost 14 ) 129.243 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 129.244 * * [simplify]: iteration 1 : 10 enodes (cost 13 ) 129.245 * * [simplify]: iteration 2 : 11 enodes (cost 13 ) 129.246 * * [simplify]: iteration done : 11 enodes (cost 13 ) 129.247 * * [simplify]: iteration 0 : 13 enodes (cost 13 ) 129.249 * * [simplify]: iteration 1 : 29 enodes (cost 12 ) 129.253 * * [simplify]: iteration 2 : 56 enodes (cost 10 ) 129.262 * * [simplify]: iteration 3 : 116 enodes (cost 9 ) 129.282 * * [simplify]: iteration 4 : 198 enodes (cost 6 ) 129.330 * * [simplify]: iteration 5 : 420 enodes (cost 6 ) 129.790 * * [simplify]: iteration 6 : 1184 enodes (cost 6 ) 131.141 * * [simplify]: iteration 7 : 3660 enodes (cost 6 ) 132.324 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 132.325 * * [simplify]: iteration 0 : 15 enodes (cost 17 ) 132.327 * * [simplify]: iteration 1 : 32 enodes (cost 14 ) 132.337 * * [simplify]: iteration 2 : 65 enodes (cost 12 ) 132.356 * * [simplify]: iteration 3 : 187 enodes (cost 9 ) 132.418 * * [simplify]: iteration 4 : 390 enodes (cost 6 ) 132.570 * * [simplify]: iteration 5 : 765 enodes (cost 6 ) 133.048 * * [simplify]: iteration 6 : 1642 enodes (cost 6 ) 135.017 * * [simplify]: iteration 7 : 4488 enodes (cost 6 ) 135.892 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 135.893 * * [simplify]: iteration 0 : 18 enodes (cost 20 ) 135.895 * * [simplify]: iteration 1 : 35 enodes (cost 19 ) 135.899 * * [simplify]: iteration 2 : 65 enodes (cost 18 ) 135.922 * * [simplify]: iteration 3 : 186 enodes (cost 16 ) 136.001 * * [simplify]: iteration 4 : 585 enodes (cost 13 ) 136.432 * * [simplify]: iteration 5 : 1813 enodes (cost 13 ) 137.884 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 137.885 * * [simplify]: iteration 0 : 13 enodes (cost 13 ) 137.886 * * [simplify]: iteration 1 : 29 enodes (cost 12 ) 137.897 * * [simplify]: iteration 2 : 56 enodes (cost 10 ) 137.906 * * [simplify]: iteration 3 : 116 enodes (cost 9 ) 137.924 * * [simplify]: iteration 4 : 198 enodes (cost 6 ) 137.973 * * [simplify]: iteration 5 : 420 enodes (cost 6 ) 138.235 * * [simplify]: iteration 6 : 1184 enodes (cost 6 ) 139.557 * * [simplify]: iteration 7 : 3660 enodes (cost 6 ) 140.736 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 140.737 * * [simplify]: iteration 0 : 15 enodes (cost 17 ) 140.744 * * [simplify]: iteration 1 : 32 enodes (cost 14 ) 140.748 * * [simplify]: iteration 2 : 65 enodes (cost 12 ) 140.773 * * [simplify]: iteration 3 : 187 enodes (cost 9 ) 140.836 * * [simplify]: iteration 4 : 390 enodes (cost 6 ) 140.989 * * [simplify]: iteration 5 : 765 enodes (cost 6 ) 141.458 * * [simplify]: iteration 6 : 1642 enodes (cost 6 ) 143.435 * * [simplify]: iteration 7 : 4488 enodes (cost 6 ) 144.312 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 144.313 * * [simplify]: iteration 0 : 18 enodes (cost 20 ) 144.315 * * [simplify]: iteration 1 : 35 enodes (cost 19 ) 144.320 * * [simplify]: iteration 2 : 65 enodes (cost 18 ) 144.334 * * [simplify]: iteration 3 : 186 enodes (cost 16 ) 144.419 * * [simplify]: iteration 4 : 585 enodes (cost 13 ) 144.852 * * [simplify]: iteration 5 : 1813 enodes (cost 13 ) 146.534 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 146.535 * * [simplify]: iteration 0 : 13 enodes (cost 13 ) 146.537 * * [simplify]: iteration 1 : 29 enodes (cost 12 ) 146.541 * * [simplify]: iteration 2 : 56 enodes (cost 10 ) 146.556 * * [simplify]: iteration 3 : 116 enodes (cost 9 ) 146.575 * * [simplify]: iteration 4 : 198 enodes (cost 6 ) 146.624 * * [simplify]: iteration 5 : 420 enodes (cost 6 ) 146.888 * * [simplify]: iteration 6 : 1184 enodes (cost 6 ) 148.233 * * [simplify]: iteration 7 : 3660 enodes (cost 6 ) 149.426 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 149.427 * * [simplify]: iteration 0 : 15 enodes (cost 17 ) 149.429 * * [simplify]: iteration 1 : 32 enodes (cost 14 ) 149.433 * * [simplify]: iteration 2 : 65 enodes (cost 12 ) 149.452 * * [simplify]: iteration 3 : 187 enodes (cost 9 ) 149.516 * * [simplify]: iteration 4 : 390 enodes (cost 6 ) 149.674 * * [simplify]: iteration 5 : 765 enodes (cost 6 ) 150.144 * * [simplify]: iteration 6 : 1642 enodes (cost 6 ) 152.141 * * [simplify]: iteration 7 : 4488 enodes (cost 6 ) 153.016 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 153.017 * * [simplify]: iteration 0 : 18 enodes (cost 20 ) 153.019 * * [simplify]: iteration 1 : 35 enodes (cost 19 ) 153.024 * * [simplify]: iteration 2 : 65 enodes (cost 18 ) 153.038 * * [simplify]: iteration 3 : 186 enodes (cost 16 ) 153.122 * * [simplify]: iteration 4 : 585 enodes (cost 13 ) 153.553 * * [simplify]: iteration 5 : 1813 enodes (cost 13 ) 155.006 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 155.006 * * [simplify]: iteration 0 : 15 enodes (cost 15 ) 155.008 * * [simplify]: iteration 1 : 32 enodes (cost 14 ) 155.014 * * [simplify]: iteration 2 : 68 enodes (cost 12 ) 155.025 * * [simplify]: iteration 3 : 139 enodes (cost 9 ) 155.052 * * [simplify]: iteration 4 : 241 enodes (cost 7 ) 155.124 * * [simplify]: iteration 5 : 551 enodes (cost 7 ) 155.649 * * [simplify]: iteration 6 : 1915 enodes (cost 7 ) 156.875 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 156.877 * * [simplify]: iteration 0 : 17 enodes (cost 19 ) 156.879 * * [simplify]: iteration 1 : 35 enodes (cost 16 ) 156.884 * * [simplify]: iteration 2 : 65 enodes (cost 15 ) 156.899 * * [simplify]: iteration 3 : 174 enodes (cost 11 ) 156.976 * * [simplify]: iteration 4 : 484 enodes (cost 8 ) 157.174 * * [simplify]: iteration 5 : 952 enodes (cost 7 ) 157.829 * * [simplify]: iteration 6 : 2427 enodes (cost 7 ) 158.626 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 158.627 * * [simplify]: iteration 0 : 21 enodes (cost 24 ) 158.630 * * [simplify]: iteration 1 : 43 enodes (cost 23 ) 158.635 * * [simplify]: iteration 2 : 81 enodes (cost 22 ) 158.651 * * [simplify]: iteration 3 : 219 enodes (cost 20 ) 158.725 * * [simplify]: iteration 4 : 674 enodes (cost 17 ) 159.316 * * [simplify]: iteration 5 : 2494 enodes (cost 16 ) 160.497 * * [simplify]: iteration done : 5000 enodes (cost 16 ) 160.498 * [simplify]: Simplified to: (log (cbrt (* (* y z) z))) (exp (cbrt (* (* y z) z))) (cbrt (* y z)) (cbrt z) (* (cbrt (cbrt (* (* y z) z))) (cbrt (cbrt (* (* y z) z)))) (cbrt (cbrt (* (* y z) z))) (* (* y z) z) (sqrt (cbrt (* (* y z) z))) (sqrt (cbrt (* (* y z) z))) (log (cbrt (* (* y z) z))) (exp (cbrt (* (* y z) z))) (cbrt (* y z)) (cbrt z) (* (cbrt (cbrt (* (* y z) z))) (cbrt (cbrt (* (* y z) z)))) (cbrt (cbrt (* (* y z) z))) (* (* y z) z) (sqrt (cbrt (* (* y z) z))) (sqrt (cbrt (* (* y z) z))) (log (cbrt (* (* y z) z))) (exp (cbrt (* (* y z) z))) (cbrt (* y z)) (cbrt z) (* (cbrt (cbrt (* (* y z) z))) (cbrt (cbrt (* (* y z) z)))) (cbrt (cbrt (* (* y z) z))) (* (* y z) z) (sqrt (cbrt (* (* y z) z))) (sqrt (cbrt (* (* y z) z))) 2/3 2 (* (* y y) (pow z 4)) (* (cbrt (* (* y z) z)) (cbrt (* (* y z) z))) 2 (* 2 (log (cbrt (* (* y z) z)))) (* 2 (log (cbrt (* (* y z) z)))) (exp (* (cbrt (* (* y z) z)) (cbrt (* (* y z) z)))) (* (* y y) (pow z 4)) (* (cbrt (* (cbrt (* (* y z) z)) (cbrt (* (* y z) z)))) (cbrt (* (cbrt (* (* y z) z)) (cbrt (* (* y z) z))))) (cbrt (* (cbrt (* (* y z) z)) (cbrt (* (* y z) z)))) (* (* y (pow z 4)) y) (fabs (cbrt (* (* y z) z))) (fabs (cbrt (* (* y z) z))) (* (cbrt (* y z)) (cbrt (* y z))) (* (cbrt z) (cbrt z)) (pow (cbrt (cbrt (* (* y z) z))) 4) (* (cbrt (cbrt (* (* y z) z))) (cbrt (cbrt (* (* y z) z)))) (cbrt (* (* y z) z)) (cbrt (* (* y z) z)) 1 (* (cbrt (* (* y z) z)) (cbrt (* (* y z) z))) (cbrt (* (* y z) z)) (cbrt (* (* y z) z)) 2/3 2 (* (cbrt (* (* y z) z)) (cbrt (* y z))) (* (cbrt (* (* y z) z)) (* (cbrt (cbrt (* (* y z) z))) (cbrt (cbrt (* (* y z) z))))) (* (cbrt (* (* y z) z)) (sqrt (cbrt (* (* y z) z)))) (cbrt (* (* y z) z)) (* (cbrt z) (cbrt (* (* y z) z))) (* (cbrt (cbrt (* (* y z) z))) (cbrt (* (* y z) z))) (* (sqrt (cbrt (* (* y z) z))) (cbrt (* (* y z) z))) (* (cbrt (* (* y z) z)) (cbrt (* (* y z) z))) (* (pow z 2/3) (cbrt y)) (cbrt (/ y (pow z -2))) (* (cbrt -1) (cbrt (* z (* (neg y) z)))) (* (pow z 2/3) (cbrt y)) (cbrt (/ y (pow z -2))) (* (cbrt -1) (cbrt (* z (* (neg y) z)))) (* (pow z 2/3) (cbrt y)) (cbrt (/ y (pow z -2))) (* (cbrt -1) (cbrt (* z (* (neg y) z)))) (* (pow z 4/3) (pow y 2/3)) (* (pow y 2/3) (pow z 4/3)) (* (* (pow (cbrt -1) 2) (pow (/ -1 y) -2/3)) (pow (/ -1 z) -4/3)) 160.498 * * * [progress]: adding candidates to table 160.576 * * [progress]: iteration 4 / 4 160.576 * * * [progress]: picking best candidate 160.602 * * * * [pick]: Picked # 160.602 * * * [progress]: localizing error 160.616 * * * [progress]: generating rewritten candidates 160.616 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1) 160.618 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1 2) 160.619 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 1) 160.621 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 2) 160.623 * * * [progress]: generating series expansions 160.623 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1) 160.623 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 160.623 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 160.623 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 160.623 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 160.623 * [taylor]: Taking taylor expansion of 1/3 in z 160.623 * [taylor]: Taking taylor expansion of (log z) in z 160.623 * [taylor]: Taking taylor expansion of z in z 160.624 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 160.624 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 160.624 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 160.624 * [taylor]: Taking taylor expansion of 1/3 in z 160.624 * [taylor]: Taking taylor expansion of (log z) in z 160.624 * [taylor]: Taking taylor expansion of z in z 160.631 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 160.631 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 160.631 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 160.631 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 160.631 * [taylor]: Taking taylor expansion of 1/3 in z 160.631 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 160.631 * [taylor]: Taking taylor expansion of (/ 1 z) in z 160.631 * [taylor]: Taking taylor expansion of z in z 160.632 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 160.632 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 160.632 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 160.632 * [taylor]: Taking taylor expansion of 1/3 in z 160.632 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 160.632 * [taylor]: Taking taylor expansion of (/ 1 z) in z 160.632 * [taylor]: Taking taylor expansion of z in z 160.640 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in (z) around 0 160.640 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 160.640 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 160.640 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 160.640 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 160.640 * [taylor]: Taking taylor expansion of 1/3 in z 160.640 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 160.640 * [taylor]: Taking taylor expansion of (/ 1 z) in z 160.640 * [taylor]: Taking taylor expansion of z in z 160.640 * [taylor]: Taking taylor expansion of (cbrt -1) in z 160.640 * [taylor]: Taking taylor expansion of -1 in z 160.640 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 160.640 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 160.640 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 160.640 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 160.640 * [taylor]: Taking taylor expansion of 1/3 in z 160.640 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 160.641 * [taylor]: Taking taylor expansion of (/ 1 z) in z 160.641 * [taylor]: Taking taylor expansion of z in z 160.641 * [taylor]: Taking taylor expansion of (cbrt -1) in z 160.641 * [taylor]: Taking taylor expansion of -1 in z 160.650 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1 2) 160.650 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 160.650 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 160.650 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 160.650 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 160.650 * [taylor]: Taking taylor expansion of 1/3 in z 160.650 * [taylor]: Taking taylor expansion of (log z) in z 160.650 * [taylor]: Taking taylor expansion of z in z 160.651 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 160.651 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 160.651 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 160.651 * [taylor]: Taking taylor expansion of 1/3 in z 160.651 * [taylor]: Taking taylor expansion of (log z) in z 160.651 * [taylor]: Taking taylor expansion of z in z 160.658 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 160.658 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 160.658 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 160.658 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 160.658 * [taylor]: Taking taylor expansion of 1/3 in z 160.658 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 160.658 * [taylor]: Taking taylor expansion of (/ 1 z) in z 160.658 * [taylor]: Taking taylor expansion of z in z 160.658 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 160.658 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 160.658 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 160.658 * [taylor]: Taking taylor expansion of 1/3 in z 160.658 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 160.658 * [taylor]: Taking taylor expansion of (/ 1 z) in z 160.658 * [taylor]: Taking taylor expansion of z in z 160.665 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in (z) around 0 160.665 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 160.665 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 160.665 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 160.666 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 160.666 * [taylor]: Taking taylor expansion of 1/3 in z 160.666 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 160.666 * [taylor]: Taking taylor expansion of (/ 1 z) in z 160.666 * [taylor]: Taking taylor expansion of z in z 160.666 * [taylor]: Taking taylor expansion of (cbrt -1) in z 160.666 * [taylor]: Taking taylor expansion of -1 in z 160.666 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 160.666 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 160.666 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 160.666 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 160.666 * [taylor]: Taking taylor expansion of 1/3 in z 160.666 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 160.666 * [taylor]: Taking taylor expansion of (/ 1 z) in z 160.666 * [taylor]: Taking taylor expansion of z in z 160.666 * [taylor]: Taking taylor expansion of (cbrt -1) in z 160.666 * [taylor]: Taking taylor expansion of -1 in z 160.680 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 1) 160.680 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 160.680 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 160.680 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 160.680 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 160.680 * [taylor]: Taking taylor expansion of 1/3 in z 160.680 * [taylor]: Taking taylor expansion of (log z) in z 160.680 * [taylor]: Taking taylor expansion of z in z 160.680 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 160.680 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 160.680 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 160.680 * [taylor]: Taking taylor expansion of 1/3 in z 160.680 * [taylor]: Taking taylor expansion of (log z) in z 160.680 * [taylor]: Taking taylor expansion of z in z 160.687 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 160.687 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 160.687 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 160.687 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 160.687 * [taylor]: Taking taylor expansion of 1/3 in z 160.687 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 160.687 * [taylor]: Taking taylor expansion of (/ 1 z) in z 160.687 * [taylor]: Taking taylor expansion of z in z 160.687 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 160.687 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 160.687 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 160.687 * [taylor]: Taking taylor expansion of 1/3 in z 160.687 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 160.687 * [taylor]: Taking taylor expansion of (/ 1 z) in z 160.687 * [taylor]: Taking taylor expansion of z in z 160.696 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in (z) around 0 160.696 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 160.696 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 160.696 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 160.696 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 160.696 * [taylor]: Taking taylor expansion of 1/3 in z 160.696 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 160.696 * [taylor]: Taking taylor expansion of (/ 1 z) in z 160.696 * [taylor]: Taking taylor expansion of z in z 160.697 * [taylor]: Taking taylor expansion of (cbrt -1) in z 160.697 * [taylor]: Taking taylor expansion of -1 in z 160.697 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 160.697 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 160.697 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 160.697 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 160.697 * [taylor]: Taking taylor expansion of 1/3 in z 160.697 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 160.697 * [taylor]: Taking taylor expansion of (/ 1 z) in z 160.697 * [taylor]: Taking taylor expansion of z in z 160.697 * [taylor]: Taking taylor expansion of (cbrt -1) in z 160.697 * [taylor]: Taking taylor expansion of -1 in z 160.706 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 2) 160.706 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 160.706 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 160.706 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 160.706 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 160.706 * [taylor]: Taking taylor expansion of 1/3 in z 160.706 * [taylor]: Taking taylor expansion of (log z) in z 160.707 * [taylor]: Taking taylor expansion of z in z 160.707 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 160.707 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 160.707 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 160.707 * [taylor]: Taking taylor expansion of 1/3 in z 160.707 * [taylor]: Taking taylor expansion of (log z) in z 160.707 * [taylor]: Taking taylor expansion of z in z 160.714 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 160.714 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 160.714 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 160.714 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 160.714 * [taylor]: Taking taylor expansion of 1/3 in z 160.714 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 160.714 * [taylor]: Taking taylor expansion of (/ 1 z) in z 160.714 * [taylor]: Taking taylor expansion of z in z 160.714 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 160.714 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 160.714 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 160.714 * [taylor]: Taking taylor expansion of 1/3 in z 160.714 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 160.714 * [taylor]: Taking taylor expansion of (/ 1 z) in z 160.714 * [taylor]: Taking taylor expansion of z in z 160.721 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in (z) around 0 160.721 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 160.721 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 160.721 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 160.721 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 160.721 * [taylor]: Taking taylor expansion of 1/3 in z 160.721 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 160.721 * [taylor]: Taking taylor expansion of (/ 1 z) in z 160.721 * [taylor]: Taking taylor expansion of z in z 160.722 * [taylor]: Taking taylor expansion of (cbrt -1) in z 160.722 * [taylor]: Taking taylor expansion of -1 in z 160.722 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 160.722 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 160.722 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 160.722 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 160.722 * [taylor]: Taking taylor expansion of 1/3 in z 160.722 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 160.722 * [taylor]: Taking taylor expansion of (/ 1 z) in z 160.722 * [taylor]: Taking taylor expansion of z in z 160.722 * [taylor]: Taking taylor expansion of (cbrt -1) in z 160.722 * [taylor]: Taking taylor expansion of -1 in z 160.731 * * * [progress]: simplifying candidates 160.732 * [simplify]: Simplifying using # : (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (exp (* 1/3 (+ (log z) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 z))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 z))))) (cbrt -1)) (exp (* 1/3 (+ (log z) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 z))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 z))))) (cbrt -1)) (exp (* 1/3 (+ (log z) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 z))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 z))))) (cbrt -1)) (exp (* 1/3 (+ (log z) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 z))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 z))))) (cbrt -1)) 160.733 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 160.733 * * [simplify]: iteration done : 3 enodes (cost 3 ) 160.734 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 160.734 * * [simplify]: iteration done : 3 enodes (cost 3 ) 160.734 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 160.735 * * [simplify]: iteration done : 4 enodes (cost 6 ) 160.735 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 160.736 * * [simplify]: iteration done : 3 enodes (cost 3 ) 160.736 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 160.736 * * [simplify]: iteration done : 3 enodes (cost 3 ) 160.737 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 160.737 * * [simplify]: iteration done : 3 enodes (cost 3 ) 160.738 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 160.738 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 160.739 * * [simplify]: iteration done : 4 enodes (cost 1 ) 160.739 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 160.739 * * [simplify]: iteration done : 2 enodes (cost 2 ) 160.740 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 160.740 * * [simplify]: iteration done : 4 enodes (cost 7 ) 160.741 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 160.741 * * [simplify]: iteration done : 3 enodes (cost 3 ) 160.742 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 160.742 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 160.743 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 160.744 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 160.745 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 160.746 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 160.747 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 160.751 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 160.759 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 160.805 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 161.268 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 163.677 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 163.678 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 163.678 * * [simplify]: iteration done : 3 enodes (cost 3 ) 163.679 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 163.679 * * [simplify]: iteration done : 3 enodes (cost 3 ) 163.680 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 163.680 * * [simplify]: iteration done : 3 enodes (cost 3 ) 163.681 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 163.681 * * [simplify]: iteration done : 3 enodes (cost 3 ) 163.681 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 163.682 * * [simplify]: iteration done : 4 enodes (cost 6 ) 163.682 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 163.683 * * [simplify]: iteration done : 3 enodes (cost 3 ) 163.683 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 163.684 * * [simplify]: iteration done : 3 enodes (cost 3 ) 163.684 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 163.684 * * [simplify]: iteration done : 3 enodes (cost 3 ) 163.685 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 163.685 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 163.685 * * [simplify]: iteration done : 4 enodes (cost 1 ) 163.686 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 163.686 * * [simplify]: iteration done : 2 enodes (cost 2 ) 163.687 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 163.687 * * [simplify]: iteration done : 4 enodes (cost 7 ) 163.688 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 163.688 * * [simplify]: iteration done : 3 enodes (cost 3 ) 163.689 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 163.689 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 163.690 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 163.691 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 163.691 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 163.692 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 163.694 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 163.697 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 163.706 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 163.752 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 164.210 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 166.788 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 166.789 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 166.789 * * [simplify]: iteration done : 3 enodes (cost 3 ) 166.790 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 166.790 * * [simplify]: iteration done : 3 enodes (cost 3 ) 166.791 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 166.791 * * [simplify]: iteration done : 3 enodes (cost 3 ) 166.792 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 166.792 * * [simplify]: iteration done : 3 enodes (cost 3 ) 166.793 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 166.793 * * [simplify]: iteration done : 4 enodes (cost 6 ) 166.794 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 166.794 * * [simplify]: iteration done : 3 enodes (cost 3 ) 166.795 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 166.795 * * [simplify]: iteration done : 3 enodes (cost 3 ) 166.795 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 166.796 * * [simplify]: iteration done : 3 enodes (cost 3 ) 166.796 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 166.796 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 166.797 * * [simplify]: iteration done : 4 enodes (cost 1 ) 166.797 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 166.797 * * [simplify]: iteration done : 2 enodes (cost 2 ) 166.798 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 166.799 * * [simplify]: iteration done : 4 enodes (cost 7 ) 166.799 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 166.799 * * [simplify]: iteration done : 3 enodes (cost 3 ) 166.800 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 166.801 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 166.801 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 166.802 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 166.803 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 166.804 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 166.805 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 166.808 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 166.816 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 166.863 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 167.328 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 169.759 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 169.760 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 169.760 * * [simplify]: iteration done : 3 enodes (cost 3 ) 169.760 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 169.761 * * [simplify]: iteration done : 3 enodes (cost 3 ) 169.761 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 169.761 * * [simplify]: iteration done : 3 enodes (cost 3 ) 169.762 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 169.762 * * [simplify]: iteration done : 3 enodes (cost 3 ) 169.763 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 169.763 * * [simplify]: iteration done : 4 enodes (cost 6 ) 169.764 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 169.764 * * [simplify]: iteration done : 3 enodes (cost 3 ) 169.765 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 169.765 * * [simplify]: iteration done : 3 enodes (cost 3 ) 169.766 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 169.766 * * [simplify]: iteration done : 3 enodes (cost 3 ) 169.766 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 169.767 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 169.767 * * [simplify]: iteration done : 4 enodes (cost 1 ) 169.767 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 169.768 * * [simplify]: iteration done : 2 enodes (cost 2 ) 169.768 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 169.769 * * [simplify]: iteration done : 4 enodes (cost 7 ) 169.769 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 169.769 * * [simplify]: iteration done : 3 enodes (cost 3 ) 169.770 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 169.770 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 169.771 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 169.772 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 169.773 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 169.774 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 169.775 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 169.778 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 169.787 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 169.834 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 170.304 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 172.734 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 172.734 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 172.734 * * [simplify]: iteration done : 3 enodes (cost 3 ) 172.735 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 172.735 * * [simplify]: iteration done : 3 enodes (cost 3 ) 172.736 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 172.737 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 172.739 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 172.742 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 172.749 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 172.771 * * [simplify]: iteration 5 : 174 enodes (cost 2 ) 172.826 * * [simplify]: iteration 6 : 360 enodes (cost 2 ) 173.018 * * [simplify]: iteration 7 : 911 enodes (cost 2 ) 174.412 * * [simplify]: iteration 8 : 3082 enodes (cost 2 ) 176.233 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 176.234 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 176.235 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 176.237 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 176.243 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 176.251 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 176.285 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 176.397 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 176.895 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 178.673 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 178.674 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 178.675 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 178.678 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 178.684 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 178.705 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 178.775 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 179.066 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 180.477 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 181.740 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 181.741 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 181.742 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 181.744 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 181.748 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 181.761 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 181.778 * * [simplify]: iteration 5 : 174 enodes (cost 2 ) 181.832 * * [simplify]: iteration 6 : 360 enodes (cost 2 ) 182.027 * * [simplify]: iteration 7 : 911 enodes (cost 2 ) 183.407 * * [simplify]: iteration 8 : 3082 enodes (cost 2 ) 185.214 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 185.215 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 185.216 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 185.219 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 185.225 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 185.233 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 185.266 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 185.378 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 185.882 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 187.881 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 187.882 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 187.883 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 187.886 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 187.892 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 187.912 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 187.983 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 188.277 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 189.682 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 190.958 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 190.959 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 190.960 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 190.962 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 190.966 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 190.978 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 190.994 * * [simplify]: iteration 5 : 174 enodes (cost 2 ) 191.047 * * [simplify]: iteration 6 : 360 enodes (cost 2 ) 191.238 * * [simplify]: iteration 7 : 911 enodes (cost 2 ) 192.616 * * [simplify]: iteration 8 : 3082 enodes (cost 2 ) 194.425 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 194.426 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 194.427 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 194.429 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 194.435 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 194.443 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 194.477 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 194.588 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 195.092 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 196.877 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 196.878 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 196.879 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 196.882 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 196.887 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 196.908 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 196.983 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 197.271 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 198.675 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 199.931 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 199.932 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 199.933 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 199.935 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 199.939 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 199.952 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 199.968 * * [simplify]: iteration 5 : 174 enodes (cost 2 ) 200.021 * * [simplify]: iteration 6 : 360 enodes (cost 2 ) 200.213 * * [simplify]: iteration 7 : 911 enodes (cost 2 ) 201.597 * * [simplify]: iteration 8 : 3082 enodes (cost 2 ) 203.405 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 203.406 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 203.407 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 203.409 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 203.414 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 203.428 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 203.457 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 203.568 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 204.075 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 206.076 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 206.077 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 206.078 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 206.081 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 206.087 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 206.108 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 206.183 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 206.476 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 207.883 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 209.140 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 209.140 * [simplify]: Simplified to: (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) z (sqrt (cbrt z)) (sqrt (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) z (sqrt (cbrt z)) (sqrt (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) z (sqrt (cbrt z)) (sqrt (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) z (sqrt (cbrt z)) (sqrt (cbrt z)) (cbrt z) (cbrt z) (cbrt z) (cbrt z) (cbrt z) (cbrt z) (cbrt z) (cbrt z) (cbrt z) (cbrt z) (cbrt z) (cbrt z) 209.141 * * * [progress]: adding candidates to table 209.195 * [progress]: [Phase 3 of 3] Extracting. 209.196 * * [regime]: Finding splitpoints for: (# # # # # # # # #) 209.198 * * * [regime-changes]: Trying 5 branch expressions: ((* (* y z) z) (+ x (* (* y z) z)) z y x) 209.199 * * * * [regimes]: Trying to branch on (* (* y z) z) from (# # # # # # # # #) 209.269 * * * * [regimes]: Trying to branch on (+ x (* (* y z) z)) from (# # # # # # # # #) 209.338 * * * * [regimes]: Trying to branch on z from (# # # # # # # # #) 209.406 * * * * [regimes]: Trying to branch on y from (# # # # # # # # #) 209.476 * * * * [regimes]: Trying to branch on x from (# # # # # # # # #) 209.543 * * * [regime]: Found split indices: #