1097.887 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.050 * * * [progress]: [2/2] Setting up program. 0.054 * [progress]: [Phase 2 of 3] Improving. 0.054 * [simplify]: Simplifying using # : (+ (+ x (sin y)) (* z (cos y))) 0.055 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.056 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 0.058 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 0.060 * * [simplify]: iteration done : 19 enodes (cost 9 ) 0.060 * [simplify]: Simplified to: (+ (+ x (sin y)) (* z (cos y))) 0.060 * * [progress]: iteration 1 / 4 0.060 * * * [progress]: picking best candidate 0.063 * * * * [pick]: Picked # 0.063 * * * [progress]: localizing error 0.073 * * * [progress]: generating rewritten candidates 0.073 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.077 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2) 0.079 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.095 * * * [progress]: generating series expansions 0.095 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.096 * [approximate]: Taking taylor expansion of (* (cos y) z) in (z y) around 0 0.096 * [taylor]: Taking taylor expansion of (* (cos y) z) in y 0.096 * [taylor]: Taking taylor expansion of (cos y) in y 0.096 * [taylor]: Taking taylor expansion of y in y 0.096 * [taylor]: Taking taylor expansion of z in y 0.096 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 0.096 * [taylor]: Taking taylor expansion of (cos y) in z 0.096 * [taylor]: Taking taylor expansion of y in z 0.096 * [taylor]: Taking taylor expansion of z in z 0.096 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 0.096 * [taylor]: Taking taylor expansion of (cos y) in z 0.096 * [taylor]: Taking taylor expansion of y in z 0.096 * [taylor]: Taking taylor expansion of z in z 0.096 * [taylor]: Taking taylor expansion of 0 in y 0.096 * [taylor]: Taking taylor expansion of (cos y) in y 0.096 * [taylor]: Taking taylor expansion of y in y 0.097 * [taylor]: Taking taylor expansion of 0 in y 0.098 * [taylor]: Taking taylor expansion of 0 in y 0.098 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in (z y) around 0 0.098 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 0.098 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.098 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.098 * [taylor]: Taking taylor expansion of y in y 0.098 * [taylor]: Taking taylor expansion of z in y 0.098 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.098 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.098 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.098 * [taylor]: Taking taylor expansion of y in z 0.098 * [taylor]: Taking taylor expansion of z in z 0.098 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.098 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.098 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.098 * [taylor]: Taking taylor expansion of y in z 0.098 * [taylor]: Taking taylor expansion of z in z 0.099 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.099 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.099 * [taylor]: Taking taylor expansion of y in y 0.099 * [taylor]: Taking taylor expansion of 0 in y 0.100 * [taylor]: Taking taylor expansion of 0 in y 0.101 * [taylor]: Taking taylor expansion of 0 in y 0.101 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in (z y) around 0 0.101 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in y 0.101 * [taylor]: Taking taylor expansion of -1 in y 0.101 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 0.101 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.101 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.101 * [taylor]: Taking taylor expansion of -1 in y 0.101 * [taylor]: Taking taylor expansion of y in y 0.101 * [taylor]: Taking taylor expansion of z in y 0.101 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z 0.101 * [taylor]: Taking taylor expansion of -1 in z 0.101 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.101 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.101 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.101 * [taylor]: Taking taylor expansion of -1 in z 0.101 * [taylor]: Taking taylor expansion of y in z 0.102 * [taylor]: Taking taylor expansion of z in z 0.102 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z 0.102 * [taylor]: Taking taylor expansion of -1 in z 0.102 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.102 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.102 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.102 * [taylor]: Taking taylor expansion of -1 in z 0.102 * [taylor]: Taking taylor expansion of y in z 0.102 * [taylor]: Taking taylor expansion of z in z 0.102 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y 0.102 * [taylor]: Taking taylor expansion of -1 in y 0.102 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.102 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.102 * [taylor]: Taking taylor expansion of -1 in y 0.102 * [taylor]: Taking taylor expansion of y in y 0.103 * [taylor]: Taking taylor expansion of 0 in y 0.103 * [taylor]: Taking taylor expansion of 0 in y 0.104 * [taylor]: Taking taylor expansion of 0 in y 0.104 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2) 0.104 * [approximate]: Taking taylor expansion of (sin y) in (y) around 0 0.104 * [taylor]: Taking taylor expansion of (sin y) in y 0.104 * [taylor]: Taking taylor expansion of y in y 0.104 * [taylor]: Taking taylor expansion of (sin y) in y 0.104 * [taylor]: Taking taylor expansion of y in y 0.106 * [approximate]: Taking taylor expansion of (sin (/ 1 y)) in (y) around 0 0.106 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.106 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.106 * [taylor]: Taking taylor expansion of y in y 0.106 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.106 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.106 * [taylor]: Taking taylor expansion of y in y 0.106 * [approximate]: Taking taylor expansion of (sin (/ -1 y)) in (y) around 0 0.106 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.106 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.106 * [taylor]: Taking taylor expansion of -1 in y 0.106 * [taylor]: Taking taylor expansion of y in y 0.106 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.106 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.106 * [taylor]: Taking taylor expansion of -1 in y 0.106 * [taylor]: Taking taylor expansion of y in y 0.106 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.107 * [approximate]: Taking taylor expansion of (+ (* (cos y) z) (+ x (sin y))) in (x y z) around 0 0.107 * [taylor]: Taking taylor expansion of (+ (* (cos y) z) (+ x (sin y))) in z 0.107 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 0.107 * [taylor]: Taking taylor expansion of (cos y) in z 0.107 * [taylor]: Taking taylor expansion of y in z 0.107 * [taylor]: Taking taylor expansion of z in z 0.107 * [taylor]: Taking taylor expansion of (+ x (sin y)) in z 0.107 * [taylor]: Taking taylor expansion of x in z 0.107 * [taylor]: Taking taylor expansion of (sin y) in z 0.107 * [taylor]: Taking taylor expansion of y in z 0.107 * [taylor]: Taking taylor expansion of (+ (* (cos y) z) (+ x (sin y))) in y 0.107 * [taylor]: Taking taylor expansion of (* (cos y) z) in y 0.107 * [taylor]: Taking taylor expansion of (cos y) in y 0.107 * [taylor]: Taking taylor expansion of y in y 0.107 * [taylor]: Taking taylor expansion of z in y 0.107 * [taylor]: Taking taylor expansion of (+ x (sin y)) in y 0.107 * [taylor]: Taking taylor expansion of x in y 0.107 * [taylor]: Taking taylor expansion of (sin y) in y 0.107 * [taylor]: Taking taylor expansion of y in y 0.107 * [taylor]: Taking taylor expansion of (+ (* (cos y) z) (+ x (sin y))) in x 0.107 * [taylor]: Taking taylor expansion of (* (cos y) z) in x 0.107 * [taylor]: Taking taylor expansion of (cos y) in x 0.107 * [taylor]: Taking taylor expansion of y in x 0.107 * [taylor]: Taking taylor expansion of z in x 0.107 * [taylor]: Taking taylor expansion of (+ x (sin y)) in x 0.107 * [taylor]: Taking taylor expansion of x in x 0.107 * [taylor]: Taking taylor expansion of (sin y) in x 0.107 * [taylor]: Taking taylor expansion of y in x 0.107 * [taylor]: Taking taylor expansion of (+ (* (cos y) z) (+ x (sin y))) in x 0.107 * [taylor]: Taking taylor expansion of (* (cos y) z) in x 0.107 * [taylor]: Taking taylor expansion of (cos y) in x 0.107 * [taylor]: Taking taylor expansion of y in x 0.107 * [taylor]: Taking taylor expansion of z in x 0.107 * [taylor]: Taking taylor expansion of (+ x (sin y)) in x 0.107 * [taylor]: Taking taylor expansion of x in x 0.107 * [taylor]: Taking taylor expansion of (sin y) in x 0.107 * [taylor]: Taking taylor expansion of y in x 0.108 * [taylor]: Taking taylor expansion of (+ (* (cos y) z) (sin y)) in y 0.108 * [taylor]: Taking taylor expansion of (* (cos y) z) in y 0.108 * [taylor]: Taking taylor expansion of (cos y) in y 0.108 * [taylor]: Taking taylor expansion of y in y 0.108 * [taylor]: Taking taylor expansion of z in y 0.108 * [taylor]: Taking taylor expansion of (sin y) in y 0.108 * [taylor]: Taking taylor expansion of y in y 0.108 * [taylor]: Taking taylor expansion of z in z 0.108 * [taylor]: Taking taylor expansion of 1 in y 0.108 * [taylor]: Taking taylor expansion of 1 in z 0.109 * [taylor]: Taking taylor expansion of 1 in z 0.109 * [approximate]: Taking taylor expansion of (+ (/ 1 x) (+ (sin (/ 1 y)) (/ (cos (/ 1 y)) z))) in (x y z) around 0 0.109 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (sin (/ 1 y)) (/ (cos (/ 1 y)) z))) in z 0.109 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.109 * [taylor]: Taking taylor expansion of x in z 0.109 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ (cos (/ 1 y)) z)) in z 0.109 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.109 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.109 * [taylor]: Taking taylor expansion of y in z 0.109 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.109 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.109 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.109 * [taylor]: Taking taylor expansion of y in z 0.109 * [taylor]: Taking taylor expansion of z in z 0.109 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (sin (/ 1 y)) (/ (cos (/ 1 y)) z))) in y 0.109 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.109 * [taylor]: Taking taylor expansion of x in y 0.110 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ (cos (/ 1 y)) z)) in y 0.110 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.110 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.110 * [taylor]: Taking taylor expansion of y in y 0.110 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 0.110 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.110 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.110 * [taylor]: Taking taylor expansion of y in y 0.110 * [taylor]: Taking taylor expansion of z in y 0.110 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (sin (/ 1 y)) (/ (cos (/ 1 y)) z))) in x 0.110 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.110 * [taylor]: Taking taylor expansion of x in x 0.110 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ (cos (/ 1 y)) z)) in x 0.110 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.110 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.110 * [taylor]: Taking taylor expansion of y in x 0.110 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in x 0.110 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.110 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.110 * [taylor]: Taking taylor expansion of y in x 0.110 * [taylor]: Taking taylor expansion of z in x 0.110 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (sin (/ 1 y)) (/ (cos (/ 1 y)) z))) in x 0.110 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.110 * [taylor]: Taking taylor expansion of x in x 0.110 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ (cos (/ 1 y)) z)) in x 0.110 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.110 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.110 * [taylor]: Taking taylor expansion of y in x 0.111 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in x 0.111 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.111 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.111 * [taylor]: Taking taylor expansion of y in x 0.111 * [taylor]: Taking taylor expansion of z in x 0.111 * [taylor]: Taking taylor expansion of 1 in y 0.111 * [taylor]: Taking taylor expansion of 1 in z 0.111 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) z) (sin (/ 1 y))) in y 0.111 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 0.111 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.111 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.111 * [taylor]: Taking taylor expansion of y in y 0.111 * [taylor]: Taking taylor expansion of z in y 0.111 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.111 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.111 * [taylor]: Taking taylor expansion of y in y 0.112 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) z) (sin (/ 1 y))) in z 0.112 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.112 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.112 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.112 * [taylor]: Taking taylor expansion of y in z 0.112 * [taylor]: Taking taylor expansion of z in z 0.112 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.112 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.112 * [taylor]: Taking taylor expansion of y 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 * [approximate]: Taking taylor expansion of (- (sin (/ -1 y)) (+ (/ 1 x) (/ (cos (/ -1 y)) z))) in (x y z) around 0 0.114 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (+ (/ 1 x) (/ (cos (/ -1 y)) z))) in z 0.114 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.114 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.114 * [taylor]: Taking taylor expansion of -1 in z 0.114 * [taylor]: Taking taylor expansion of y in z 0.114 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ (cos (/ -1 y)) z)) in z 0.114 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.114 * [taylor]: Taking taylor expansion of x in z 0.114 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.114 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.114 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.114 * [taylor]: Taking taylor expansion of -1 in z 0.114 * [taylor]: Taking taylor expansion of y in z 0.114 * [taylor]: Taking taylor expansion of z in z 0.114 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (+ (/ 1 x) (/ (cos (/ -1 y)) z))) in y 0.114 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.114 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.114 * [taylor]: Taking taylor expansion of -1 in y 0.114 * [taylor]: Taking taylor expansion of y in y 0.114 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ (cos (/ -1 y)) z)) in y 0.114 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.114 * [taylor]: Taking taylor expansion of x in y 0.114 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 0.114 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.114 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.114 * [taylor]: Taking taylor expansion of -1 in y 0.114 * [taylor]: Taking taylor expansion of y in y 0.115 * [taylor]: Taking taylor expansion of z in y 0.115 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (+ (/ 1 x) (/ (cos (/ -1 y)) z))) in x 0.115 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.115 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.115 * [taylor]: Taking taylor expansion of -1 in x 0.115 * [taylor]: Taking taylor expansion of y in x 0.115 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ (cos (/ -1 y)) z)) in x 0.115 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.115 * [taylor]: Taking taylor expansion of x in x 0.115 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in x 0.115 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.115 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.115 * [taylor]: Taking taylor expansion of -1 in x 0.115 * [taylor]: Taking taylor expansion of y in x 0.115 * [taylor]: Taking taylor expansion of z in x 0.115 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (+ (/ 1 x) (/ (cos (/ -1 y)) z))) in x 0.115 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.115 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.115 * [taylor]: Taking taylor expansion of -1 in x 0.115 * [taylor]: Taking taylor expansion of y in x 0.115 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ (cos (/ -1 y)) z)) in x 0.115 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.115 * [taylor]: Taking taylor expansion of x in x 0.115 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in x 0.115 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.115 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.115 * [taylor]: Taking taylor expansion of -1 in x 0.115 * [taylor]: Taking taylor expansion of y in x 0.116 * [taylor]: Taking taylor expansion of z in x 0.116 * [taylor]: Taking taylor expansion of (neg 1) in y 0.116 * [taylor]: Taking taylor expansion of 1 in y 0.116 * [taylor]: Taking taylor expansion of (neg 1) in z 0.116 * [taylor]: Taking taylor expansion of 1 in z 0.116 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (/ (cos (/ -1 y)) z)) in y 0.116 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.116 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.116 * [taylor]: Taking taylor expansion of -1 in y 0.116 * [taylor]: Taking taylor expansion of y in y 0.116 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 0.116 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.116 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.116 * [taylor]: Taking taylor expansion of -1 in y 0.116 * [taylor]: Taking taylor expansion of y in y 0.116 * [taylor]: Taking taylor expansion of z in y 0.117 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (/ (cos (/ -1 y)) z)) in z 0.117 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.117 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.117 * [taylor]: Taking taylor expansion of -1 in z 0.117 * [taylor]: Taking taylor expansion of y in z 0.117 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.117 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.117 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.117 * [taylor]: Taking taylor expansion of -1 in z 0.117 * [taylor]: Taking taylor expansion of y in z 0.117 * [taylor]: Taking taylor expansion of z in z 0.117 * [taylor]: Taking taylor expansion of 0 in z 0.118 * [taylor]: Taking taylor expansion of 0 in y 0.118 * [taylor]: Taking taylor expansion of 0 in z 0.118 * [taylor]: Taking taylor expansion of 0 in z 0.118 * [taylor]: Taking taylor expansion of 0 in z 0.119 * * * [progress]: simplifying candidates 0.120 * [simplify]: Simplifying using # : (* z (cos y)) (+ (log z) (log (cos y))) (log (* z (cos y))) (exp (* z (cos y))) (* (* (* z z) z) (* (* (cos y) (cos y)) (cos y))) (* (cbrt (* z (cos y))) (cbrt (* z (cos y)))) (cbrt (* z (cos y))) (* (* (* z (cos y)) (* z (cos y))) (* z (cos y))) (sqrt (* z (cos y))) (sqrt (* z (cos y))) (* (sqrt z) (sqrt (cos y))) (* (sqrt z) (sqrt (cos y))) (* z (* (cbrt (cos y)) (cbrt (cos y)))) (* z (sqrt (cos y))) (* z 1) (* (cbrt z) (cos y)) (* (sqrt z) (cos y)) (* z (cos y)) (log (sin y)) (exp (sin y)) (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)) (* (* (sin y) (sin y)) (sin y)) (sqrt (sin y)) (sqrt (sin y)) (* (* (exp x) (exp (sin y))) (exp (* z (cos y)))) (* (exp (+ x (sin y))) (exp (* z (cos y)))) (log (+ (+ x (sin y)) (* z (cos y)))) (exp (+ (+ x (sin y)) (* z (cos y)))) (* (cbrt (+ (+ x (sin y)) (* z (cos y)))) (cbrt (+ (+ x (sin y)) (* z (cos y))))) (cbrt (+ (+ x (sin y)) (* z (cos y)))) (* (* (+ (+ x (sin y)) (* z (cos y))) (+ (+ x (sin y)) (* z (cos y)))) (+ (+ x (sin y)) (* z (cos y)))) (sqrt (+ (+ x (sin y)) (* z (cos y)))) (sqrt (+ (+ x (sin y)) (* z (cos y)))) (+ (pow (+ x (sin y)) 3) (pow (* z (cos y)) 3)) (+ (* (+ x (sin y)) (+ x (sin y))) (- (* (* z (cos y)) (* z (cos y))) (* (+ x (sin y)) (* z (cos y))))) (- (* (+ x (sin y)) (+ x (sin y))) (* (* z (cos y)) (* z (cos y)))) (- (+ x (sin y)) (* z (cos y))) (+ (sin y) (* z (cos y))) z (* (cos y) z) (* (cos y) z) (- (+ (* 1/120 (pow y 5)) y) (* 1/6 (pow y 3))) (sin y) (sin y) (+ x (+ z y)) (+ (* (cos y) z) (+ x (sin y))) (+ (* (cos y) z) (+ x (sin y))) 0.120 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 0.121 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 0.121 * * [simplify]: iteration done : 5 enodes (cost 4 ) 0.122 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.122 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 0.123 * * [simplify]: iteration done : 7 enodes (cost 6 ) 0.124 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.124 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 0.125 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 0.126 * * [simplify]: iteration done : 10 enodes (cost 5 ) 0.126 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.127 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 0.128 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 0.129 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 0.132 * * [simplify]: iteration 4 : 45 enodes (cost 5 ) 0.140 * * [simplify]: iteration 5 : 101 enodes (cost 5 ) 0.178 * * [simplify]: iteration 6 : 240 enodes (cost 5 ) 0.331 * * [simplify]: iteration 7 : 694 enodes (cost 5 ) 1.441 * * [simplify]: iteration 8 : 2697 enodes (cost 5 ) 3.415 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 3.416 * * [simplify]: iteration 0 : 8 enodes (cost 14 ) 3.429 * * [simplify]: iteration 1 : 15 enodes (cost 14 ) 3.432 * * [simplify]: iteration 2 : 40 enodes (cost 8 ) 3.441 * * [simplify]: iteration 3 : 79 enodes (cost 8 ) 3.461 * * [simplify]: iteration 4 : 137 enodes (cost 6 ) 3.516 * * [simplify]: iteration 5 : 259 enodes (cost 6 ) 3.671 * * [simplify]: iteration 6 : 654 enodes (cost 6 ) 4.651 * * [simplify]: iteration 7 : 2457 enodes (cost 6 ) 6.558 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 6.559 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 6.559 * * [simplify]: iteration 1 : 7 enodes (cost 11 ) 6.560 * * [simplify]: iteration done : 7 enodes (cost 11 ) 6.561 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 6.561 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 6.562 * * [simplify]: iteration done : 6 enodes (cost 5 ) 6.562 * * [simplify]: iteration 0 : 6 enodes (cost 14 ) 6.563 * * [simplify]: iteration 1 : 17 enodes (cost 14 ) 6.567 * * [simplify]: iteration 2 : 46 enodes (cost 6 ) 6.584 * * [simplify]: iteration 3 : 89 enodes (cost 6 ) 6.607 * * [simplify]: iteration 4 : 105 enodes (cost 6 ) 6.640 * * [simplify]: iteration 5 : 151 enodes (cost 6 ) 6.700 * * [simplify]: iteration 6 : 283 enodes (cost 6 ) 6.869 * * [simplify]: iteration 7 : 735 enodes (cost 6 ) 7.956 * * [simplify]: iteration 8 : 2697 enodes (cost 6 ) 10.055 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 10.056 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 10.056 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 10.057 * * [simplify]: iteration done : 6 enodes (cost 5 ) 10.058 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 10.058 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 10.059 * * [simplify]: iteration done : 6 enodes (cost 5 ) 10.060 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 10.061 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 10.061 * * [simplify]: iteration done : 7 enodes (cost 6 ) 10.062 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 10.063 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 10.063 * * [simplify]: iteration done : 7 enodes (cost 6 ) 10.064 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 10.065 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 10.066 * * [simplify]: iteration 2 : 11 enodes (cost 9 ) 10.067 * * [simplify]: iteration done : 11 enodes (cost 9 ) 10.068 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 10.068 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 10.069 * * [simplify]: iteration done : 6 enodes (cost 5 ) 10.069 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 10.070 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 10.070 * * [simplify]: iteration done : 6 enodes (cost 1 ) 10.070 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 10.071 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 10.072 * * [simplify]: iteration done : 6 enodes (cost 5 ) 10.072 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 10.073 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 10.073 * * [simplify]: iteration done : 6 enodes (cost 5 ) 10.074 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 10.074 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 10.075 * * [simplify]: iteration done : 5 enodes (cost 4 ) 10.076 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 10.076 * * [simplify]: iteration done : 3 enodes (cost 3 ) 10.076 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 10.077 * * [simplify]: iteration done : 3 enodes (cost 3 ) 10.077 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 10.078 * * [simplify]: iteration done : 4 enodes (cost 7 ) 10.078 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 10.079 * * [simplify]: iteration done : 3 enodes (cost 3 ) 10.079 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 10.080 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 10.080 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 10.081 * * [simplify]: iteration 3 : 12 enodes (cost 4 ) 10.083 * * [simplify]: iteration 4 : 18 enodes (cost 4 ) 10.085 * * [simplify]: iteration 5 : 28 enodes (cost 4 ) 10.088 * * [simplify]: iteration 6 : 49 enodes (cost 4 ) 10.097 * * [simplify]: iteration 7 : 108 enodes (cost 4 ) 10.145 * * [simplify]: iteration 8 : 316 enodes (cost 4 ) 10.620 * * [simplify]: iteration 9 : 1236 enodes (cost 4 ) 13.096 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 13.097 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 13.097 * * [simplify]: iteration done : 3 enodes (cost 3 ) 13.098 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 13.098 * * [simplify]: iteration done : 3 enodes (cost 3 ) 13.099 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 13.100 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 13.103 * * [simplify]: iteration 2 : 39 enodes (cost 10 ) 13.108 * * [simplify]: iteration 3 : 68 enodes (cost 10 ) 13.127 * * [simplify]: iteration 4 : 137 enodes (cost 10 ) 13.162 * * [simplify]: iteration 5 : 325 enodes (cost 10 ) 13.368 * * [simplify]: iteration 6 : 900 enodes (cost 10 ) 14.794 * * [simplify]: iteration 7 : 2914 enodes (cost 10 ) 17.078 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 17.079 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 17.080 * * [simplify]: iteration 1 : 20 enodes (cost 10 ) 17.083 * * [simplify]: iteration 2 : 36 enodes (cost 10 ) 17.088 * * [simplify]: iteration 3 : 64 enodes (cost 10 ) 17.099 * * [simplify]: iteration 4 : 127 enodes (cost 10 ) 17.136 * * [simplify]: iteration 5 : 305 enodes (cost 10 ) 17.323 * * [simplify]: iteration 6 : 848 enodes (cost 10 ) 18.544 * * [simplify]: iteration 7 : 2745 enodes (cost 10 ) 20.671 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 20.672 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 20.673 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 20.675 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 20.677 * * [simplify]: iteration 3 : 22 enodes (cost 10 ) 20.680 * * [simplify]: iteration done : 22 enodes (cost 10 ) 20.680 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 20.681 * * [simplify]: iteration 1 : 17 enodes (cost 10 ) 20.683 * * [simplify]: iteration 2 : 34 enodes (cost 10 ) 20.688 * * [simplify]: iteration 3 : 53 enodes (cost 10 ) 20.701 * * [simplify]: iteration 4 : 87 enodes (cost 10 ) 20.718 * * [simplify]: iteration 5 : 189 enodes (cost 10 ) 20.782 * * [simplify]: iteration 6 : 462 enodes (cost 10 ) 21.147 * * [simplify]: iteration 7 : 1319 enodes (cost 10 ) 23.809 * * [simplify]: iteration 8 : 4509 enodes (cost 10 ) 25.954 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 25.954 * * [simplify]: iteration 0 : 10 enodes (cost 21 ) 25.956 * * [simplify]: iteration 1 : 15 enodes (cost 21 ) 25.957 * * [simplify]: iteration 2 : 21 enodes (cost 21 ) 25.960 * * [simplify]: iteration done : 21 enodes (cost 21 ) 25.960 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 25.961 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 25.963 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 25.966 * * [simplify]: iteration 3 : 22 enodes (cost 10 ) 25.968 * * [simplify]: iteration done : 22 enodes (cost 10 ) 25.969 * * [simplify]: iteration 0 : 10 enodes (cost 29 ) 25.971 * * [simplify]: iteration 1 : 28 enodes (cost 29 ) 25.977 * * [simplify]: iteration 2 : 118 enodes (cost 11 ) 26.025 * * [simplify]: iteration 3 : 586 enodes (cost 11 ) 26.534 * * [simplify]: iteration 4 : 3036 enodes (cost 11 ) 27.909 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 27.910 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 27.911 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 27.912 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 27.915 * * [simplify]: iteration 3 : 22 enodes (cost 10 ) 27.917 * * [simplify]: iteration done : 22 enodes (cost 10 ) 27.918 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 27.919 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 27.920 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 27.923 * * [simplify]: iteration 3 : 22 enodes (cost 10 ) 27.925 * * [simplify]: iteration done : 22 enodes (cost 10 ) 27.926 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 27.927 * * [simplify]: iteration 1 : 30 enodes (cost 13 ) 27.932 * * [simplify]: iteration 2 : 84 enodes (cost 13 ) 27.951 * * [simplify]: iteration 3 : 209 enodes (cost 13 ) 28.030 * * [simplify]: iteration 4 : 452 enodes (cost 13 ) 28.245 * * [simplify]: iteration 5 : 1216 enodes (cost 13 ) 29.774 * * [simplify]: iteration 6 : 4753 enodes (cost 13 ) 31.409 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 31.409 * * [simplify]: iteration 0 : 12 enodes (cost 29 ) 31.411 * * [simplify]: iteration 1 : 37 enodes (cost 24 ) 31.418 * * [simplify]: iteration 2 : 110 enodes (cost 24 ) 31.450 * * [simplify]: iteration 3 : 289 enodes (cost 24 ) 31.573 * * [simplify]: iteration 4 : 940 enodes (cost 24 ) 32.390 * * [simplify]: iteration 5 : 2598 enodes (cost 24 ) 34.184 * * [simplify]: iteration done : 5000 enodes (cost 24 ) 34.184 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 34.186 * * [simplify]: iteration 1 : 30 enodes (cost 19 ) 34.191 * * [simplify]: iteration 2 : 85 enodes (cost 19 ) 34.216 * * [simplify]: iteration 3 : 211 enodes (cost 19 ) 34.284 * * [simplify]: iteration 4 : 548 enodes (cost 19 ) 34.654 * * [simplify]: iteration 5 : 1583 enodes (cost 19 ) 36.214 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 36.215 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 36.216 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 36.217 * * [simplify]: iteration 2 : 27 enodes (cost 9 ) 36.221 * * [simplify]: iteration 3 : 33 enodes (cost 9 ) 36.225 * * [simplify]: iteration 4 : 39 enodes (cost 9 ) 36.231 * * [simplify]: iteration 5 : 48 enodes (cost 9 ) 36.239 * * [simplify]: iteration 6 : 61 enodes (cost 9 ) 36.254 * * [simplify]: iteration 7 : 74 enodes (cost 9 ) 36.264 * * [simplify]: iteration 8 : 87 enodes (cost 9 ) 36.275 * * [simplify]: iteration 9 : 101 enodes (cost 9 ) 36.290 * * [simplify]: iteration 10 : 122 enodes (cost 9 ) 36.313 * * [simplify]: iteration 11 : 136 enodes (cost 9 ) 36.329 * * [simplify]: iteration done : 136 enodes (cost 9 ) 36.329 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 36.330 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 36.331 * * [simplify]: iteration done : 8 enodes (cost 7 ) 36.331 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 36.332 * * [simplify]: iteration done : 1 enodes (cost 1 ) 36.332 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 36.332 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 36.333 * * [simplify]: iteration done : 5 enodes (cost 4 ) 36.334 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 36.334 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 36.334 * * [simplify]: iteration done : 5 enodes (cost 4 ) 36.335 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 36.337 * * [simplify]: iteration 1 : 30 enodes (cost 13 ) 36.341 * * [simplify]: iteration 2 : 72 enodes (cost 13 ) 36.354 * * [simplify]: iteration 3 : 158 enodes (cost 13 ) 36.404 * * [simplify]: iteration 4 : 346 enodes (cost 13 ) 36.564 * * [simplify]: iteration 5 : 880 enodes (cost 13 ) 37.742 * * [simplify]: iteration 6 : 3259 enodes (cost 13 ) 39.758 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 39.759 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 39.759 * * [simplify]: iteration done : 2 enodes (cost 2 ) 39.760 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 39.760 * * [simplify]: iteration done : 2 enodes (cost 2 ) 39.760 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 39.761 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 39.762 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 39.764 * * [simplify]: iteration done : 15 enodes (cost 5 ) 39.765 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 39.766 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 39.768 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 39.770 * * [simplify]: iteration done : 19 enodes (cost 9 ) 39.771 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 39.771 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 39.773 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 39.775 * * [simplify]: iteration done : 19 enodes (cost 9 ) 39.776 * [simplify]: Simplified to: (* z (cos y)) (+ (log z) (log (cos y))) (log (* z (cos y))) (exp (* z (cos y))) (pow (* z (cos y)) 3) (* (cbrt (* z (cos y))) (cbrt (* z (cos y)))) (cbrt (* z (cos y))) (pow (* z (cos y)) 3) (sqrt (* z (cos y))) (sqrt (* z (cos y))) (* (sqrt z) (sqrt (cos y))) (* (sqrt z) (sqrt (cos y))) (* z (* (cbrt (cos y)) (cbrt (cos y)))) (* z (sqrt (cos y))) z (* (cbrt z) (cos y)) (* (sqrt z) (cos y)) (* z (cos y)) (log (sin y)) (exp (sin y)) (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)) (pow (sin y) 3) (sqrt (sin y)) (sqrt (sin y)) (exp (+ (+ x (sin y)) (* z (cos y)))) (exp (+ (+ x (sin y)) (* z (cos y)))) (log (+ (+ x (sin y)) (* z (cos y)))) (exp (+ (+ x (sin y)) (* z (cos y)))) (* (cbrt (+ (+ x (sin y)) (* z (cos y)))) (cbrt (+ (+ x (sin y)) (* z (cos y))))) (cbrt (+ (+ x (sin y)) (* z (cos y)))) (pow (+ (+ x (sin y)) (* z (cos y))) 3) (sqrt (+ (+ x (sin y)) (* z (cos y)))) (sqrt (+ (+ x (sin y)) (* z (cos y)))) (+ (pow (+ x (sin y)) 3) (pow (* z (cos y)) 3)) (+ (* (* z (cos y)) (- (* z (cos y)) (+ x (sin y)))) (* (+ x (sin y)) (+ x (sin y)))) (- (* (+ x (sin y)) (+ x (sin y))) (* (* z (cos y)) (* z (cos y)))) (- (+ x (sin y)) (* z (cos y))) (+ (sin y) (* z (cos y))) z (* (cos y) z) (* (cos y) z) (- (+ (* 1/120 (pow y 5)) y) (* 1/6 (pow y 3))) (sin y) (sin y) (+ x (+ z y)) (+ (* (cos y) z) (+ x (sin y))) (+ (* (cos y) z) (+ x (sin y))) 39.776 * * * [progress]: adding candidates to table 39.833 * * [progress]: iteration 2 / 4 39.833 * * * [progress]: picking best candidate 39.859 * * * * [pick]: Picked # 39.859 * * * [progress]: localizing error 39.872 * * * [progress]: generating rewritten candidates 39.872 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 39.874 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2) 39.875 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 39.882 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 39.891 * * * [progress]: generating series expansions 39.891 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 39.891 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 39.891 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 39.891 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 39.891 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 39.891 * [taylor]: Taking taylor expansion of 1/3 in y 39.891 * [taylor]: Taking taylor expansion of (log (cos y)) in y 39.892 * [taylor]: Taking taylor expansion of (cos y) in y 39.892 * [taylor]: Taking taylor expansion of y in y 39.892 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 39.892 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 39.892 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 39.892 * [taylor]: Taking taylor expansion of 1/3 in y 39.892 * [taylor]: Taking taylor expansion of (log (cos y)) in y 39.892 * [taylor]: Taking taylor expansion of (cos y) in y 39.892 * [taylor]: Taking taylor expansion of y in y 39.895 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 39.895 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 39.895 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 39.895 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 39.895 * [taylor]: Taking taylor expansion of 1/3 in y 39.895 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 39.895 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 39.895 * [taylor]: Taking taylor expansion of (/ 1 y) in y 39.895 * [taylor]: Taking taylor expansion of y in y 39.895 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 39.895 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 39.896 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 39.896 * [taylor]: Taking taylor expansion of 1/3 in y 39.896 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 39.896 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 39.896 * [taylor]: Taking taylor expansion of (/ 1 y) in y 39.896 * [taylor]: Taking taylor expansion of y in y 39.904 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 39.904 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 39.904 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 39.904 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 39.904 * [taylor]: Taking taylor expansion of 1/3 in y 39.904 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 39.904 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 39.904 * [taylor]: Taking taylor expansion of (/ -1 y) in y 39.904 * [taylor]: Taking taylor expansion of -1 in y 39.904 * [taylor]: Taking taylor expansion of y in y 39.904 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 39.904 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 39.904 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 39.904 * [taylor]: Taking taylor expansion of 1/3 in y 39.904 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 39.904 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 39.904 * [taylor]: Taking taylor expansion of (/ -1 y) in y 39.904 * [taylor]: Taking taylor expansion of -1 in y 39.904 * [taylor]: Taking taylor expansion of y in y 39.912 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2) 39.912 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 39.912 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 39.912 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 39.912 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 39.912 * [taylor]: Taking taylor expansion of 1/3 in y 39.912 * [taylor]: Taking taylor expansion of (log (cos y)) in y 39.912 * [taylor]: Taking taylor expansion of (cos y) in y 39.912 * [taylor]: Taking taylor expansion of y in y 39.912 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 39.912 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 39.912 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 39.912 * [taylor]: Taking taylor expansion of 1/3 in y 39.912 * [taylor]: Taking taylor expansion of (log (cos y)) in y 39.912 * [taylor]: Taking taylor expansion of (cos y) in y 39.912 * [taylor]: Taking taylor expansion of y in y 39.915 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 39.915 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 39.915 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 39.915 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 39.915 * [taylor]: Taking taylor expansion of 1/3 in y 39.915 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 39.915 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 39.915 * [taylor]: Taking taylor expansion of (/ 1 y) in y 39.915 * [taylor]: Taking taylor expansion of y in y 39.916 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 39.916 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 39.916 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 39.916 * [taylor]: Taking taylor expansion of 1/3 in y 39.916 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 39.916 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 39.916 * [taylor]: Taking taylor expansion of (/ 1 y) in y 39.916 * [taylor]: Taking taylor expansion of y in y 39.923 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 39.923 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 39.923 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 39.923 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 39.923 * [taylor]: Taking taylor expansion of 1/3 in y 39.923 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 39.923 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 39.923 * [taylor]: Taking taylor expansion of (/ -1 y) in y 39.923 * [taylor]: Taking taylor expansion of -1 in y 39.923 * [taylor]: Taking taylor expansion of y in y 39.924 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 39.924 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 39.924 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 39.924 * [taylor]: Taking taylor expansion of 1/3 in y 39.924 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 39.924 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 39.924 * [taylor]: Taking taylor expansion of (/ -1 y) in y 39.924 * [taylor]: Taking taylor expansion of -1 in y 39.924 * [taylor]: Taking taylor expansion of y in y 39.932 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 39.932 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 39.932 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 39.932 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 39.932 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 39.932 * [taylor]: Taking taylor expansion of 1/3 in y 39.932 * [taylor]: Taking taylor expansion of (log (cos y)) in y 39.932 * [taylor]: Taking taylor expansion of (cos y) in y 39.932 * [taylor]: Taking taylor expansion of y in y 39.932 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 39.932 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 39.932 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 39.932 * [taylor]: Taking taylor expansion of 1/3 in y 39.932 * [taylor]: Taking taylor expansion of (log (cos y)) in y 39.932 * [taylor]: Taking taylor expansion of (cos y) in y 39.932 * [taylor]: Taking taylor expansion of y in y 39.935 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 39.935 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 39.935 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 39.935 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 39.935 * [taylor]: Taking taylor expansion of 1/3 in y 39.935 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 39.935 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 39.935 * [taylor]: Taking taylor expansion of (/ 1 y) in y 39.935 * [taylor]: Taking taylor expansion of y in y 39.935 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 39.935 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 39.935 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 39.935 * [taylor]: Taking taylor expansion of 1/3 in y 39.935 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 39.935 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 39.935 * [taylor]: Taking taylor expansion of (/ 1 y) in y 39.935 * [taylor]: Taking taylor expansion of y in y 39.943 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 39.943 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 39.943 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 39.943 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 39.943 * [taylor]: Taking taylor expansion of 1/3 in y 39.943 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 39.943 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 39.943 * [taylor]: Taking taylor expansion of (/ -1 y) in y 39.943 * [taylor]: Taking taylor expansion of -1 in y 39.943 * [taylor]: Taking taylor expansion of y in y 39.943 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 39.943 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 39.943 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 39.943 * [taylor]: Taking taylor expansion of 1/3 in y 39.943 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 39.943 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 39.943 * [taylor]: Taking taylor expansion of (/ -1 y) in y 39.943 * [taylor]: Taking taylor expansion of -1 in y 39.943 * [taylor]: Taking taylor expansion of y in y 39.951 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 39.952 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0 39.952 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 39.952 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 39.952 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 39.952 * [taylor]: Taking taylor expansion of 1/3 in y 39.952 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 39.952 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 39.952 * [taylor]: Taking taylor expansion of (cos y) in y 39.952 * [taylor]: Taking taylor expansion of y in y 39.952 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 39.952 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 39.952 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 39.952 * [taylor]: Taking taylor expansion of 1/3 in y 39.952 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 39.952 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 39.952 * [taylor]: Taking taylor expansion of (cos y) in y 39.952 * [taylor]: Taking taylor expansion of y in y 39.961 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0 39.961 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 39.961 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 39.961 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 39.961 * [taylor]: Taking taylor expansion of 1/3 in y 39.961 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 39.961 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 39.961 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 39.961 * [taylor]: Taking taylor expansion of (/ 1 y) in y 39.961 * [taylor]: Taking taylor expansion of y in y 39.962 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 39.962 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 39.962 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 39.962 * [taylor]: Taking taylor expansion of 1/3 in y 39.962 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 39.962 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 39.962 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 39.962 * [taylor]: Taking taylor expansion of (/ 1 y) in y 39.962 * [taylor]: Taking taylor expansion of y in y 39.972 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0 39.972 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 39.972 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 39.972 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 39.972 * [taylor]: Taking taylor expansion of 1/3 in y 39.972 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 39.972 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 39.972 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 39.972 * [taylor]: Taking taylor expansion of (/ -1 y) in y 39.972 * [taylor]: Taking taylor expansion of -1 in y 39.972 * [taylor]: Taking taylor expansion of y in y 39.973 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 39.973 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 39.973 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 39.973 * [taylor]: Taking taylor expansion of 1/3 in y 39.973 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 39.973 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 39.973 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 39.973 * [taylor]: Taking taylor expansion of (/ -1 y) in y 39.973 * [taylor]: Taking taylor expansion of -1 in y 39.973 * [taylor]: Taking taylor expansion of y in y 39.982 * * * [progress]: simplifying candidates 39.983 * [simplify]: Simplifying using # : (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) (cbrt 1) (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) (cbrt 1) (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) (cbrt 1) (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (+ 1/3 1/3) (+ 1 1) (* (cos y) (cos y)) (* (cbrt (cos y)) (cbrt (cos y))) (+ 1 1) (+ (log (cbrt (cos y))) (log (cbrt (cos y)))) (log (* (cbrt (cos y)) (cbrt (cos y)))) (exp (* (cbrt (cos y)) (cbrt (cos y)))) (* (cos y) (cos y)) (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (* (* (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y)))) (* (cbrt (cos y)) (cbrt (cos y)))) (sqrt (* (cbrt (cos y)) (cbrt (cos y)))) (sqrt (* (cbrt (cos y)) (cbrt (cos y)))) (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (cos y)) (cbrt (cos y))) (* (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* 1 1) (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y)))) (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y)))) (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* 2 1/3) (* 2 1) (* (cbrt (cos y)) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (cbrt (cos y)) (cbrt (sqrt (cos y)))) (* (cbrt (cos y)) (cbrt 1)) (* (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (cbrt (cos y)) (sqrt (cbrt (cos y)))) (* (cbrt (cos y)) 1) (* (cbrt (cbrt (cos y))) (cbrt (cos y))) (* (cbrt (sqrt (cos y))) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (cbrt (cos y))) (cbrt (cos y))) (* (sqrt (cbrt (cos y))) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y))) (- (pow 1 1/3) (+ (* 1/72 (pow y 4)) (* 1/6 (pow y 2)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- (pow 1 1/3) (+ (* 1/72 (pow y 4)) (* 1/6 (pow y 2)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- (pow 1 1/3) (+ (* 1/72 (pow y 4)) (* 1/6 (pow y 2)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- (pow 1 1/3) (+ (* 1/405 (pow y 6)) (* 1/3 (pow y 2)))) (pow (pow (cos y) 2) 1/3) (pow (pow (cos y) 2) 1/3) 39.984 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 39.984 * * [simplify]: iteration done : 4 enodes (cost 4 ) 39.985 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 39.985 * * [simplify]: iteration done : 4 enodes (cost 4 ) 39.986 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 39.992 * * [simplify]: iteration done : 5 enodes (cost 8 ) 39.993 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 39.993 * * [simplify]: iteration done : 4 enodes (cost 4 ) 39.994 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 39.994 * * [simplify]: iteration done : 4 enodes (cost 4 ) 39.995 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 39.995 * * [simplify]: iteration done : 4 enodes (cost 4 ) 39.996 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 39.996 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 39.996 * * [simplify]: iteration done : 4 enodes (cost 1 ) 39.997 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 39.997 * * [simplify]: iteration done : 3 enodes (cost 3 ) 39.998 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 39.998 * * [simplify]: iteration done : 5 enodes (cost 9 ) 39.999 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 39.999 * * [simplify]: iteration done : 4 enodes (cost 4 ) 40.000 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 40.000 * * [simplify]: iteration 1 : 6 enodes (cost 11 ) 40.001 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 40.002 * * [simplify]: iteration 3 : 13 enodes (cost 2 ) 40.003 * * [simplify]: iteration 4 : 19 enodes (cost 2 ) 40.005 * * [simplify]: iteration 5 : 29 enodes (cost 2 ) 40.009 * * [simplify]: iteration 6 : 50 enodes (cost 2 ) 40.020 * * [simplify]: iteration 7 : 108 enodes (cost 2 ) 40.069 * * [simplify]: iteration 8 : 311 enodes (cost 2 ) 40.538 * * [simplify]: iteration 9 : 1229 enodes (cost 2 ) 42.999 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 43.000 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 43.000 * * [simplify]: iteration done : 4 enodes (cost 4 ) 43.001 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 43.001 * * [simplify]: iteration done : 4 enodes (cost 4 ) 43.002 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 43.002 * * [simplify]: iteration done : 4 enodes (cost 4 ) 43.003 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 43.003 * * [simplify]: iteration done : 4 enodes (cost 4 ) 43.004 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 43.004 * * [simplify]: iteration done : 5 enodes (cost 8 ) 43.005 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 43.005 * * [simplify]: iteration done : 4 enodes (cost 4 ) 43.006 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 43.006 * * [simplify]: iteration done : 4 enodes (cost 4 ) 43.007 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 43.007 * * [simplify]: iteration done : 4 enodes (cost 4 ) 43.008 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 43.008 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 43.008 * * [simplify]: iteration done : 4 enodes (cost 1 ) 43.009 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 43.009 * * [simplify]: iteration done : 3 enodes (cost 3 ) 43.009 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 43.010 * * [simplify]: iteration done : 5 enodes (cost 9 ) 43.011 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 43.011 * * [simplify]: iteration done : 4 enodes (cost 4 ) 43.011 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 43.012 * * [simplify]: iteration 1 : 6 enodes (cost 11 ) 43.013 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 43.014 * * [simplify]: iteration 3 : 13 enodes (cost 2 ) 43.016 * * [simplify]: iteration 4 : 19 enodes (cost 2 ) 43.018 * * [simplify]: iteration 5 : 29 enodes (cost 2 ) 43.021 * * [simplify]: iteration 6 : 50 enodes (cost 2 ) 43.031 * * [simplify]: iteration 7 : 108 enodes (cost 2 ) 43.079 * * [simplify]: iteration 8 : 311 enodes (cost 2 ) 43.546 * * [simplify]: iteration 9 : 1229 enodes (cost 2 ) 45.982 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 45.983 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 45.983 * * [simplify]: iteration done : 4 enodes (cost 4 ) 45.984 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 45.985 * * [simplify]: iteration done : 4 enodes (cost 4 ) 45.985 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 45.986 * * [simplify]: iteration done : 4 enodes (cost 4 ) 45.986 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 45.987 * * [simplify]: iteration done : 4 enodes (cost 4 ) 45.987 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 45.988 * * [simplify]: iteration done : 5 enodes (cost 8 ) 45.988 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 45.989 * * [simplify]: iteration done : 4 enodes (cost 4 ) 45.989 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 45.990 * * [simplify]: iteration done : 4 enodes (cost 4 ) 45.990 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 45.991 * * [simplify]: iteration done : 4 enodes (cost 4 ) 45.991 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 45.991 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 45.992 * * [simplify]: iteration done : 4 enodes (cost 1 ) 45.992 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 45.993 * * [simplify]: iteration done : 3 enodes (cost 3 ) 45.993 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 45.994 * * [simplify]: iteration done : 5 enodes (cost 9 ) 45.994 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 45.995 * * [simplify]: iteration done : 4 enodes (cost 4 ) 45.995 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 45.996 * * [simplify]: iteration 1 : 6 enodes (cost 11 ) 45.997 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 45.998 * * [simplify]: iteration 3 : 13 enodes (cost 2 ) 45.999 * * [simplify]: iteration 4 : 19 enodes (cost 2 ) 46.001 * * [simplify]: iteration 5 : 29 enodes (cost 2 ) 46.004 * * [simplify]: iteration 6 : 50 enodes (cost 2 ) 46.013 * * [simplify]: iteration 7 : 108 enodes (cost 2 ) 46.063 * * [simplify]: iteration 8 : 311 enodes (cost 2 ) 46.526 * * [simplify]: iteration 9 : 1229 enodes (cost 2 ) 48.957 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 48.958 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 48.958 * * [simplify]: iteration done : 4 enodes (cost 4 ) 48.959 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 48.959 * * [simplify]: iteration done : 4 enodes (cost 4 ) 48.960 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 48.960 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 48.960 * * [simplify]: iteration done : 5 enodes (cost 1 ) 48.961 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 48.961 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 48.961 * * [simplify]: iteration done : 6 enodes (cost 1 ) 48.962 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 48.962 * * [simplify]: iteration done : 3 enodes (cost 5 ) 48.963 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 48.963 * * [simplify]: iteration done : 4 enodes (cost 7 ) 48.964 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 48.964 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 48.965 * * [simplify]: iteration done : 6 enodes (cost 1 ) 48.965 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 48.966 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 48.966 * * [simplify]: iteration 2 : 8 enodes (cost 6 ) 48.967 * * [simplify]: iteration done : 8 enodes (cost 6 ) 48.968 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 48.968 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 48.969 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 48.970 * * [simplify]: iteration 3 : 10 enodes (cost 6 ) 48.971 * * [simplify]: iteration done : 10 enodes (cost 6 ) 48.972 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 48.972 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 48.973 * * [simplify]: iteration 2 : 11 enodes (cost 8 ) 48.974 * * [simplify]: iteration 3 : 16 enodes (cost 8 ) 48.976 * * [simplify]: iteration 4 : 34 enodes (cost 8 ) 48.982 * * [simplify]: iteration 5 : 74 enodes (cost 8 ) 49.009 * * [simplify]: iteration 6 : 183 enodes (cost 8 ) 49.109 * * [simplify]: iteration 7 : 561 enodes (cost 8 ) 50.004 * * [simplify]: iteration 8 : 2246 enodes (cost 8 ) 52.429 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 52.430 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 52.430 * * [simplify]: iteration done : 3 enodes (cost 5 ) 52.431 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 52.431 * * [simplify]: iteration done : 6 enodes (cost 17 ) 52.432 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 52.433 * * [simplify]: iteration done : 5 enodes (cost 8 ) 52.433 * * [simplify]: iteration 0 : 6 enodes (cost 23 ) 52.434 * * [simplify]: iteration 1 : 14 enodes (cost 23 ) 52.436 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 52.440 * * [simplify]: iteration 3 : 35 enodes (cost 5 ) 52.451 * * [simplify]: iteration 4 : 69 enodes (cost 5 ) 52.466 * * [simplify]: iteration 5 : 154 enodes (cost 5 ) 52.519 * * [simplify]: iteration 6 : 392 enodes (cost 5 ) 52.892 * * [simplify]: iteration 7 : 1360 enodes (cost 5 ) 54.861 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 54.862 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 54.863 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 54.863 * * [simplify]: iteration done : 6 enodes (cost 4 ) 54.864 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 54.864 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 54.865 * * [simplify]: iteration done : 6 enodes (cost 4 ) 54.866 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 54.866 * * [simplify]: iteration done : 6 enodes (cost 17 ) 54.867 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 54.867 * * [simplify]: iteration done : 5 enodes (cost 9 ) 54.868 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 54.869 * * [simplify]: iteration done : 5 enodes (cost 9 ) 54.869 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 54.870 * * [simplify]: iteration done : 5 enodes (cost 9 ) 54.870 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 54.871 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 54.871 * * [simplify]: iteration done : 5 enodes (cost 1 ) 54.872 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 54.872 * * [simplify]: iteration done : 4 enodes (cost 7 ) 54.873 * * [simplify]: iteration 0 : 6 enodes (cost 19 ) 54.873 * * [simplify]: iteration 1 : 10 enodes (cost 19 ) 54.875 * * [simplify]: iteration 2 : 12 enodes (cost 11 ) 54.876 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 54.879 * * [simplify]: iteration 4 : 36 enodes (cost 6 ) 54.883 * * [simplify]: iteration 5 : 64 enodes (cost 6 ) 54.894 * * [simplify]: iteration 6 : 135 enodes (cost 6 ) 54.939 * * [simplify]: iteration 7 : 352 enodes (cost 6 ) 55.300 * * [simplify]: iteration 8 : 1262 enodes (cost 6 ) 56.949 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 56.950 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 56.951 * * [simplify]: iteration done : 5 enodes (cost 9 ) 56.951 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 56.952 * * [simplify]: iteration done : 5 enodes (cost 3 ) 56.952 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 56.953 * * [simplify]: iteration done : 5 enodes (cost 3 ) 56.953 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 56.954 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 56.954 * * [simplify]: iteration done : 4 enodes (cost 1 ) 56.954 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 56.955 * * [simplify]: iteration done : 4 enodes (cost 7 ) 56.955 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 56.956 * * [simplify]: iteration done : 5 enodes (cost 9 ) 56.957 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 56.957 * * [simplify]: iteration done : 5 enodes (cost 9 ) 56.958 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 56.958 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 56.959 * * [simplify]: iteration done : 8 enodes (cost 9 ) 56.960 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 56.961 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 56.961 * * [simplify]: iteration done : 8 enodes (cost 9 ) 56.962 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 56.963 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 56.963 * * [simplify]: iteration done : 8 enodes (cost 9 ) 56.964 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 56.964 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 56.965 * * [simplify]: iteration done : 8 enodes (cost 9 ) 56.966 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 56.966 * * [simplify]: iteration done : 5 enodes (cost 3 ) 56.967 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 56.968 * * [simplify]: iteration done : 5 enodes (cost 3 ) 56.968 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 56.969 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 56.969 * * [simplify]: iteration done : 5 enodes (cost 1 ) 56.969 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 56.970 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 56.970 * * [simplify]: iteration done : 6 enodes (cost 1 ) 56.971 * * [simplify]: iteration 0 : 6 enodes (cost 12 ) 56.972 * * [simplify]: iteration 1 : 7 enodes (cost 12 ) 56.973 * * [simplify]: iteration done : 7 enodes (cost 12 ) 56.973 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 56.974 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 56.974 * * [simplify]: iteration done : 7 enodes (cost 8 ) 56.975 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 56.976 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 56.976 * * [simplify]: iteration done : 9 enodes (cost 5 ) 56.977 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 56.977 * * [simplify]: iteration 1 : 9 enodes (cost 13 ) 56.978 * * [simplify]: iteration 2 : 11 enodes (cost 13 ) 56.980 * * [simplify]: iteration done : 11 enodes (cost 13 ) 56.980 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 56.981 * * [simplify]: iteration 1 : 6 enodes (cost 8 ) 56.981 * * [simplify]: iteration done : 6 enodes (cost 8 ) 56.982 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 56.982 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 56.983 * * [simplify]: iteration 2 : 11 enodes (cost 3 ) 56.984 * * [simplify]: iteration done : 11 enodes (cost 3 ) 56.985 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 56.985 * * [simplify]: iteration 1 : 6 enodes (cost 8 ) 56.986 * * [simplify]: iteration done : 6 enodes (cost 8 ) 56.986 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 56.987 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 56.987 * * [simplify]: iteration done : 7 enodes (cost 8 ) 56.988 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 56.988 * * [simplify]: iteration done : 4 enodes (cost 7 ) 56.989 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 56.989 * * [simplify]: iteration 1 : 6 enodes (cost 8 ) 56.990 * * [simplify]: iteration done : 6 enodes (cost 8 ) 56.991 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 56.991 * * [simplify]: iteration 1 : 6 enodes (cost 8 ) 56.992 * * [simplify]: iteration done : 6 enodes (cost 8 ) 56.992 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 56.993 * * [simplify]: iteration done : 4 enodes (cost 7 ) 56.993 * * [simplify]: iteration 0 : 14 enodes (cost 15 ) 56.995 * * [simplify]: iteration 1 : 34 enodes (cost 13 ) 57.001 * * [simplify]: iteration 2 : 79 enodes (cost 13 ) 57.019 * * [simplify]: iteration 3 : 207 enodes (cost 13 ) 57.149 * * [simplify]: iteration 4 : 706 enodes (cost 13 ) 57.624 * * [simplify]: iteration 5 : 1987 enodes (cost 13 ) 59.710 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 59.710 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 59.711 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 59.712 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 59.714 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 59.716 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 59.725 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 59.771 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 60.229 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 62.580 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 62.580 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 62.581 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 62.582 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 62.583 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 62.586 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 62.595 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 62.642 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 63.095 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 65.454 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 65.455 * * [simplify]: iteration 0 : 14 enodes (cost 15 ) 65.457 * * [simplify]: iteration 1 : 34 enodes (cost 13 ) 65.462 * * [simplify]: iteration 2 : 79 enodes (cost 13 ) 65.478 * * [simplify]: iteration 3 : 207 enodes (cost 13 ) 65.611 * * [simplify]: iteration 4 : 706 enodes (cost 13 ) 66.084 * * [simplify]: iteration 5 : 1987 enodes (cost 13 ) 68.174 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 68.174 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 68.175 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 68.176 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 68.178 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 68.180 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 68.189 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 68.235 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 68.684 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 71.050 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 71.051 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 71.051 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 71.052 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 71.054 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 71.057 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 71.065 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 71.112 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 71.565 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 73.945 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 73.946 * * [simplify]: iteration 0 : 14 enodes (cost 15 ) 73.949 * * [simplify]: iteration 1 : 34 enodes (cost 13 ) 73.954 * * [simplify]: iteration 2 : 79 enodes (cost 13 ) 73.969 * * [simplify]: iteration 3 : 207 enodes (cost 13 ) 74.098 * * [simplify]: iteration 4 : 706 enodes (cost 13 ) 74.574 * * [simplify]: iteration 5 : 1987 enodes (cost 13 ) 76.687 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 76.687 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 76.688 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 76.689 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 76.690 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 76.693 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 76.702 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 76.752 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 77.207 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 79.825 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 79.826 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 79.827 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 79.828 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 79.829 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 79.832 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 79.847 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 79.890 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 80.344 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 82.747 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 82.748 * * [simplify]: iteration 0 : 13 enodes (cost 15 ) 82.750 * * [simplify]: iteration 1 : 35 enodes (cost 13 ) 82.755 * * [simplify]: iteration 2 : 74 enodes (cost 13 ) 82.774 * * [simplify]: iteration 3 : 192 enodes (cost 13 ) 82.892 * * [simplify]: iteration 4 : 760 enodes (cost 13 ) 84.044 * * [simplify]: iteration 5 : 3249 enodes (cost 13 ) 85.837 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 85.838 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 85.838 * * [simplify]: iteration 1 : 16 enodes (cost 5 ) 85.840 * * [simplify]: iteration 2 : 30 enodes (cost 5 ) 85.848 * * [simplify]: iteration 3 : 51 enodes (cost 5 ) 85.854 * * [simplify]: iteration 4 : 99 enodes (cost 5 ) 85.872 * * [simplify]: iteration 5 : 226 enodes (cost 5 ) 85.969 * * [simplify]: iteration 6 : 649 enodes (cost 5 ) 86.912 * * [simplify]: iteration 7 : 2582 enodes (cost 5 ) 88.721 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 88.722 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 88.723 * * [simplify]: iteration 1 : 16 enodes (cost 5 ) 88.724 * * [simplify]: iteration 2 : 30 enodes (cost 5 ) 88.727 * * [simplify]: iteration 3 : 51 enodes (cost 5 ) 88.733 * * [simplify]: iteration 4 : 99 enodes (cost 5 ) 88.756 * * [simplify]: iteration 5 : 226 enodes (cost 5 ) 88.850 * * [simplify]: iteration 6 : 649 enodes (cost 5 ) 89.791 * * [simplify]: iteration 7 : 2582 enodes (cost 5 ) 91.606 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 91.606 * [simplify]: Simplified to: (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) 2/3 2 (* (cos y) (cos y)) (* (cbrt (cos y)) (cbrt (cos y))) 2 (* 2 (log (cbrt (cos y)))) (* 2 (log (cbrt (cos y)))) (exp (* (cbrt (cos y)) (cbrt (cos y)))) (* (cos y) (cos y)) (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (* (cos y) (cos y)) (fabs (cbrt (cos y))) (fabs (cbrt (cos y))) (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) 1 (* (cbrt (cos y)) (cbrt (cos y))) (pow (cbrt (cbrt (cos y))) 4) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cos y)) (cbrt (cos y)) 1 (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y)))) (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y)))) (cbrt (cos y)) (cbrt (cos y)) 2/3 2 (* (cbrt (cos y)) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (cbrt (cos y)) (cbrt (sqrt (cos y)))) (* 1 (cbrt (cos y))) (* (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (cbrt (cos y)) (sqrt (cbrt (cos y)))) (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cos y))) (* (cbrt (sqrt (cos y))) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (cbrt (cos y))) (cbrt (cos y))) (* (sqrt (cbrt (cos y))) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y))) (- 1 (+ (* 1/72 (pow y 4)) (* 1/6 (pow y 2)))) (cbrt (cos y)) (cbrt (cos y)) (- 1 (+ (* 1/72 (pow y 4)) (* 1/6 (pow y 2)))) (cbrt (cos y)) (cbrt (cos y)) (- 1 (+ (* 1/72 (pow y 4)) (* 1/6 (pow y 2)))) (cbrt (cos y)) (cbrt (cos y)) (- 1 (+ (* 1/405 (pow y 6)) (* 1/3 (pow y 2)))) (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)) 91.607 * * * [progress]: adding candidates to table 91.688 * * [progress]: iteration 3 / 4 91.688 * * * [progress]: picking best candidate 91.716 * * * * [pick]: Picked # 91.716 * * * [progress]: localizing error 91.731 * * * [progress]: generating rewritten candidates 91.731 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 91.733 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1) 91.739 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 91.752 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 91.762 * * * [progress]: generating series expansions 91.762 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 91.762 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 91.762 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 91.762 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 91.762 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 91.762 * [taylor]: Taking taylor expansion of 1/3 in y 91.762 * [taylor]: Taking taylor expansion of (log (cos y)) in y 91.763 * [taylor]: Taking taylor expansion of (cos y) in y 91.763 * [taylor]: Taking taylor expansion of y in y 91.763 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 91.763 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 91.763 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 91.763 * [taylor]: Taking taylor expansion of 1/3 in y 91.763 * [taylor]: Taking taylor expansion of (log (cos y)) in y 91.763 * [taylor]: Taking taylor expansion of (cos y) in y 91.763 * [taylor]: Taking taylor expansion of y in y 91.766 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 91.766 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 91.766 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 91.766 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 91.766 * [taylor]: Taking taylor expansion of 1/3 in y 91.766 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 91.766 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 91.766 * [taylor]: Taking taylor expansion of (/ 1 y) in y 91.766 * [taylor]: Taking taylor expansion of y in y 91.767 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 91.767 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 91.767 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 91.767 * [taylor]: Taking taylor expansion of 1/3 in y 91.767 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 91.767 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 91.767 * [taylor]: Taking taylor expansion of (/ 1 y) in y 91.767 * [taylor]: Taking taylor expansion of y in y 91.774 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 91.774 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 91.774 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 91.774 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 91.774 * [taylor]: Taking taylor expansion of 1/3 in y 91.774 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 91.774 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 91.774 * [taylor]: Taking taylor expansion of (/ -1 y) in y 91.774 * [taylor]: Taking taylor expansion of -1 in y 91.774 * [taylor]: Taking taylor expansion of y in y 91.775 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 91.775 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 91.775 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 91.775 * [taylor]: Taking taylor expansion of 1/3 in y 91.775 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 91.775 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 91.775 * [taylor]: Taking taylor expansion of (/ -1 y) in y 91.775 * [taylor]: Taking taylor expansion of -1 in y 91.775 * [taylor]: Taking taylor expansion of y in y 91.782 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1) 91.782 * [approximate]: Taking taylor expansion of (pow (cos y) 2) in (y) around 0 91.782 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 91.782 * [taylor]: Taking taylor expansion of (cos y) in y 91.782 * [taylor]: Taking taylor expansion of y in y 91.782 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 91.783 * [taylor]: Taking taylor expansion of (cos y) in y 91.783 * [taylor]: Taking taylor expansion of y in y 91.783 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in (y) around 0 91.784 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 91.784 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 91.784 * [taylor]: Taking taylor expansion of (/ 1 y) in y 91.784 * [taylor]: Taking taylor expansion of y in y 91.784 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 91.784 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 91.784 * [taylor]: Taking taylor expansion of (/ 1 y) in y 91.784 * [taylor]: Taking taylor expansion of y in y 91.785 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in (y) around 0 91.785 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 91.785 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 91.785 * [taylor]: Taking taylor expansion of (/ -1 y) in y 91.785 * [taylor]: Taking taylor expansion of -1 in y 91.785 * [taylor]: Taking taylor expansion of y in y 91.785 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 91.785 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 91.785 * [taylor]: Taking taylor expansion of (/ -1 y) in y 91.785 * [taylor]: Taking taylor expansion of -1 in y 91.785 * [taylor]: Taking taylor expansion of y in y 91.786 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 91.786 * [approximate]: Taking taylor expansion of (* (cos y) z) in (z y) around 0 91.786 * [taylor]: Taking taylor expansion of (* (cos y) z) in y 91.786 * [taylor]: Taking taylor expansion of (cos y) in y 91.786 * [taylor]: Taking taylor expansion of y in y 91.786 * [taylor]: Taking taylor expansion of z in y 91.786 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 91.786 * [taylor]: Taking taylor expansion of (cos y) in z 91.786 * [taylor]: Taking taylor expansion of y in z 91.786 * [taylor]: Taking taylor expansion of z in z 91.786 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 91.786 * [taylor]: Taking taylor expansion of (cos y) in z 91.786 * [taylor]: Taking taylor expansion of y in z 91.786 * [taylor]: Taking taylor expansion of z in z 91.787 * [taylor]: Taking taylor expansion of 0 in y 91.787 * [taylor]: Taking taylor expansion of (cos y) in y 91.787 * [taylor]: Taking taylor expansion of y in y 91.787 * [taylor]: Taking taylor expansion of 0 in y 91.788 * [taylor]: Taking taylor expansion of 0 in y 91.788 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in (z y) around 0 91.788 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 91.788 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 91.788 * [taylor]: Taking taylor expansion of (/ 1 y) in y 91.788 * [taylor]: Taking taylor expansion of y in y 91.788 * [taylor]: Taking taylor expansion of z in y 91.788 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 91.788 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 91.788 * [taylor]: Taking taylor expansion of (/ 1 y) in z 91.788 * [taylor]: Taking taylor expansion of y in z 91.788 * [taylor]: Taking taylor expansion of z in z 91.788 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 91.788 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 91.788 * [taylor]: Taking taylor expansion of (/ 1 y) in z 91.788 * [taylor]: Taking taylor expansion of y in z 91.789 * [taylor]: Taking taylor expansion of z in z 91.789 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 91.789 * [taylor]: Taking taylor expansion of (/ 1 y) in y 91.789 * [taylor]: Taking taylor expansion of y in y 91.789 * [taylor]: Taking taylor expansion of 0 in y 91.790 * [taylor]: Taking taylor expansion of 0 in y 91.790 * [taylor]: Taking taylor expansion of 0 in y 91.791 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in (z y) around 0 91.791 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in y 91.791 * [taylor]: Taking taylor expansion of -1 in y 91.791 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 91.791 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 91.791 * [taylor]: Taking taylor expansion of (/ -1 y) in y 91.791 * [taylor]: Taking taylor expansion of -1 in y 91.791 * [taylor]: Taking taylor expansion of y in y 91.791 * [taylor]: Taking taylor expansion of z in y 91.791 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z 91.791 * [taylor]: Taking taylor expansion of -1 in z 91.791 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 91.791 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 91.791 * [taylor]: Taking taylor expansion of (/ -1 y) in z 91.791 * [taylor]: Taking taylor expansion of -1 in z 91.791 * [taylor]: Taking taylor expansion of y in z 91.791 * [taylor]: Taking taylor expansion of z in z 91.791 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z 91.791 * [taylor]: Taking taylor expansion of -1 in z 91.791 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 91.791 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 91.791 * [taylor]: Taking taylor expansion of (/ -1 y) in z 91.791 * [taylor]: Taking taylor expansion of -1 in z 91.792 * [taylor]: Taking taylor expansion of y in z 91.792 * [taylor]: Taking taylor expansion of z in z 91.792 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y 91.792 * [taylor]: Taking taylor expansion of -1 in y 91.792 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 91.792 * [taylor]: Taking taylor expansion of (/ -1 y) in y 91.792 * [taylor]: Taking taylor expansion of -1 in y 91.792 * [taylor]: Taking taylor expansion of y in y 91.792 * [taylor]: Taking taylor expansion of 0 in y 91.793 * [taylor]: Taking taylor expansion of 0 in y 91.794 * [taylor]: Taking taylor expansion of 0 in y 91.794 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 91.794 * [approximate]: Taking taylor expansion of (* (pow (pow (cos y) 2) 1/3) z) in (z y) around 0 91.794 * [taylor]: Taking taylor expansion of (* (pow (pow (cos y) 2) 1/3) z) in y 91.794 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 91.794 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 91.794 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 91.794 * [taylor]: Taking taylor expansion of 1/3 in y 91.794 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 91.794 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 91.794 * [taylor]: Taking taylor expansion of (cos y) in y 91.794 * [taylor]: Taking taylor expansion of y in y 91.794 * [taylor]: Taking taylor expansion of z in y 91.794 * [taylor]: Taking taylor expansion of (* (pow (pow (cos y) 2) 1/3) z) in z 91.794 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in z 91.794 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in z 91.794 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in z 91.794 * [taylor]: Taking taylor expansion of 1/3 in z 91.794 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in z 91.794 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in z 91.794 * [taylor]: Taking taylor expansion of (cos y) in z 91.794 * [taylor]: Taking taylor expansion of y in z 91.795 * [taylor]: Taking taylor expansion of z in z 91.795 * [taylor]: Taking taylor expansion of (* (pow (pow (cos y) 2) 1/3) z) in z 91.795 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in z 91.795 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in z 91.795 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in z 91.795 * [taylor]: Taking taylor expansion of 1/3 in z 91.795 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in z 91.795 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in z 91.795 * [taylor]: Taking taylor expansion of (cos y) in z 91.795 * [taylor]: Taking taylor expansion of y in z 91.795 * [taylor]: Taking taylor expansion of z in z 91.795 * [taylor]: Taking taylor expansion of 0 in y 91.796 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 91.796 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 91.796 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 91.796 * [taylor]: Taking taylor expansion of 1/3 in y 91.796 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 91.796 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 91.796 * [taylor]: Taking taylor expansion of (cos y) in y 91.796 * [taylor]: Taking taylor expansion of y in y 91.797 * [taylor]: Taking taylor expansion of 0 in y 91.799 * [taylor]: Taking taylor expansion of 0 in y 91.799 * [approximate]: Taking taylor expansion of (* (pow (pow (cos (/ 1 y)) 2) 1/3) (/ 1 z)) in (z y) around 0 91.799 * [taylor]: Taking taylor expansion of (* (pow (pow (cos (/ 1 y)) 2) 1/3) (/ 1 z)) in y 91.799 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 91.799 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 91.799 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 91.799 * [taylor]: Taking taylor expansion of 1/3 in y 91.799 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 91.799 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 91.799 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 91.800 * [taylor]: Taking taylor expansion of (/ 1 y) in y 91.800 * [taylor]: Taking taylor expansion of y in y 91.800 * [taylor]: Taking taylor expansion of (/ 1 z) in y 91.800 * [taylor]: Taking taylor expansion of z in y 91.800 * [taylor]: Taking taylor expansion of (* (pow (pow (cos (/ 1 y)) 2) 1/3) (/ 1 z)) in z 91.800 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in z 91.800 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in z 91.800 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in z 91.800 * [taylor]: Taking taylor expansion of 1/3 in z 91.800 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in z 91.800 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in z 91.800 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 91.800 * [taylor]: Taking taylor expansion of (/ 1 y) in z 91.800 * [taylor]: Taking taylor expansion of y in z 91.801 * [taylor]: Taking taylor expansion of (/ 1 z) in z 91.801 * [taylor]: Taking taylor expansion of z in z 91.801 * [taylor]: Taking taylor expansion of (* (pow (pow (cos (/ 1 y)) 2) 1/3) (/ 1 z)) in z 91.801 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in z 91.801 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in z 91.801 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in z 91.801 * [taylor]: Taking taylor expansion of 1/3 in z 91.801 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in z 91.801 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in z 91.801 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 91.801 * [taylor]: Taking taylor expansion of (/ 1 y) in z 91.801 * [taylor]: Taking taylor expansion of y in z 91.801 * [taylor]: Taking taylor expansion of (/ 1 z) in z 91.801 * [taylor]: Taking taylor expansion of z in z 91.801 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 91.801 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 91.801 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 91.801 * [taylor]: Taking taylor expansion of 1/3 in y 91.801 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 91.801 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 91.802 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 91.802 * [taylor]: Taking taylor expansion of (/ 1 y) in y 91.802 * [taylor]: Taking taylor expansion of y in y 91.803 * [taylor]: Taking taylor expansion of 0 in y 91.804 * [taylor]: Taking taylor expansion of 0 in y 91.807 * [taylor]: Taking taylor expansion of 0 in y 91.807 * [approximate]: Taking taylor expansion of (* -1 (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z))) in (z y) around 0 91.807 * [taylor]: Taking taylor expansion of (* -1 (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z))) in y 91.807 * [taylor]: Taking taylor expansion of -1 in y 91.807 * [taylor]: Taking taylor expansion of (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z)) in y 91.807 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 91.807 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 91.807 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 91.807 * [taylor]: Taking taylor expansion of 1/3 in y 91.807 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 91.807 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 91.807 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 91.807 * [taylor]: Taking taylor expansion of (/ -1 y) in y 91.807 * [taylor]: Taking taylor expansion of -1 in y 91.807 * [taylor]: Taking taylor expansion of y in y 91.808 * [taylor]: Taking taylor expansion of (/ 1 z) in y 91.808 * [taylor]: Taking taylor expansion of z in y 91.808 * [taylor]: Taking taylor expansion of (* -1 (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z))) in z 91.808 * [taylor]: Taking taylor expansion of -1 in z 91.808 * [taylor]: Taking taylor expansion of (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z)) in z 91.808 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in z 91.808 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in z 91.808 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in z 91.808 * [taylor]: Taking taylor expansion of 1/3 in z 91.808 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in z 91.808 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in z 91.808 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 91.808 * [taylor]: Taking taylor expansion of (/ -1 y) in z 91.808 * [taylor]: Taking taylor expansion of -1 in z 91.808 * [taylor]: Taking taylor expansion of y in z 91.809 * [taylor]: Taking taylor expansion of (/ 1 z) in z 91.809 * [taylor]: Taking taylor expansion of z in z 91.809 * [taylor]: Taking taylor expansion of (* -1 (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z))) in z 91.809 * [taylor]: Taking taylor expansion of -1 in z 91.809 * [taylor]: Taking taylor expansion of (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z)) in z 91.809 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in z 91.809 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in z 91.809 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in z 91.809 * [taylor]: Taking taylor expansion of 1/3 in z 91.809 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in z 91.809 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in z 91.809 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 91.809 * [taylor]: Taking taylor expansion of (/ -1 y) in z 91.809 * [taylor]: Taking taylor expansion of -1 in z 91.809 * [taylor]: Taking taylor expansion of y in z 91.809 * [taylor]: Taking taylor expansion of (/ 1 z) in z 91.809 * [taylor]: Taking taylor expansion of z in z 91.810 * [taylor]: Taking taylor expansion of (* -1 (pow (pow (cos (/ -1 y)) 2) 1/3)) in y 91.810 * [taylor]: Taking taylor expansion of -1 in y 91.810 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 91.810 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 91.810 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 91.810 * [taylor]: Taking taylor expansion of 1/3 in y 91.810 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 91.810 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 91.810 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 91.810 * [taylor]: Taking taylor expansion of (/ -1 y) in y 91.810 * [taylor]: Taking taylor expansion of -1 in y 91.810 * [taylor]: Taking taylor expansion of y in y 91.812 * [taylor]: Taking taylor expansion of 0 in y 91.814 * [taylor]: Taking taylor expansion of 0 in y 91.817 * [taylor]: Taking taylor expansion of 0 in y 91.817 * * * [progress]: simplifying candidates 91.819 * [simplify]: Simplifying using # : (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) (cbrt 1) (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (* 1/2 (cos (* 2 y))) (+ (cos (+ y y)) (cos (- y y))) (+ 1 1) (* (cos y) (cos y)) (+ 1 1) (+ (log (cos y)) (log (cos y))) (log (* (cos y) (cos y))) (exp (* (cos y) (cos y))) (* (* (* (cos y) (cos y)) (cos y)) (* (* (cos y) (cos y)) (cos y))) (* (cbrt (* (cos y) (cos y))) (cbrt (* (cos y) (cos y)))) (cbrt (* (cos y) (cos y))) (* (* (* (cos y) (cos y)) (* (cos y) (cos y))) (* (cos y) (cos y))) (sqrt (* (cos y) (cos y))) (sqrt (* (cos y) (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y)))) (* (cbrt (cos y)) (cbrt (cos y))) (* (sqrt (cos y)) (sqrt (cos y))) (* (sqrt (cos y)) (sqrt (cos y))) (* 1 1) (* (cos y) (cos y)) (* (sqrt (cos y)) (sqrt (cos y))) (* (sqrt (cos y)) (sqrt (cos y))) (* 2 1) (* (cos y) (* (cbrt (cos y)) (cbrt (cos y)))) (* (cos y) (sqrt (cos y))) (* (cos y) 1) (* (cbrt (cos y)) (cos y)) (* (sqrt (cos y)) (cos y)) (* (cos y) (cos y)) (* (* z (pow (* (cos y) (cos y)) 1/3)) (cbrt (cos y))) (+ (+ (log z) (* (+ (log (cos y)) (log (cos y))) 1/3)) (log (cbrt (cos y)))) (+ (+ (log z) (* (log (* (cos y) (cos y))) 1/3)) (log (cbrt (cos y)))) (+ (+ (log z) (* (log (* (cos y) (cos y))) 1/3)) (log (cbrt (cos y)))) (+ (+ (log z) (log (pow (* (cos y) (cos y)) 1/3))) (log (cbrt (cos y)))) (+ (log (* z (pow (* (cos y) (cos y)) 1/3))) (log (cbrt (cos y)))) (log (* (* z (pow (* (cos y) (cos y)) 1/3)) (cbrt (cos y)))) (exp (* (* z (pow (* (cos y) (cos y)) 1/3)) (cbrt (cos y)))) (* (* (* (* z z) z) (* (cos y) (cos y))) (cos y)) (* (* (* (* z z) z) (* (* (pow (* (cos y) (cos y)) 1/3) (pow (* (cos y) (cos y)) 1/3)) (pow (* (cos y) (cos y)) 1/3))) (cos y)) (* (* (* (* z (pow (* (cos y) (cos y)) 1/3)) (* z (pow (* (cos y) (cos y)) 1/3))) (* z (pow (* (cos y) (cos y)) 1/3))) (cos y)) (* (cbrt (* (* z (pow (* (cos y) (cos y)) 1/3)) (cbrt (cos y)))) (cbrt (* (* z (pow (* (cos y) (cos y)) 1/3)) (cbrt (cos y))))) (cbrt (* (* z (pow (* (cos y) (cos y)) 1/3)) (cbrt (cos y)))) (* (* (* (* z (pow (* (cos y) (cos y)) 1/3)) (cbrt (cos y))) (* (* z (pow (* (cos y) (cos y)) 1/3)) (cbrt (cos y)))) (* (* z (pow (* (cos y) (cos y)) 1/3)) (cbrt (cos y)))) (sqrt (* (* z (pow (* (cos y) (cos y)) 1/3)) (cbrt (cos y)))) (sqrt (* (* z (pow (* (cos y) (cos y)) 1/3)) (cbrt (cos y)))) (* (* z (pow (* (cos y) (cos y)) 1/3)) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (* z (pow (* (cos y) (cos y)) 1/3)) (cbrt (sqrt (cos y)))) (* (* z (pow (* (cos y) (cos y)) 1/3)) (cbrt 1)) (* (* z (pow (* (cos y) (cos y)) 1/3)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (* z (pow (* (cos y) (cos y)) 1/3)) (sqrt (cbrt (cos y)))) (* (* z (pow (* (cos y) (cos y)) 1/3)) 1) (* (pow (* (cos y) (cos y)) 1/3) (cbrt (cos y))) (+ (log z) (* (+ (log (cos y)) (log (cos y))) 1/3)) (+ (log z) (* (log (* (cos y) (cos y))) 1/3)) (+ (log z) (* (log (* (cos y) (cos y))) 1/3)) (+ (log z) (log (pow (* (cos y) (cos y)) 1/3))) (log (* z (pow (* (cos y) (cos y)) 1/3))) (exp (* z (pow (* (cos y) (cos y)) 1/3))) (* (* (* z z) z) (* (cos y) (cos y))) (* (* (* z z) z) (* (* (pow (* (cos y) (cos y)) 1/3) (pow (* (cos y) (cos y)) 1/3)) (pow (* (cos y) (cos y)) 1/3))) (* (cbrt (* z (pow (* (cos y) (cos y)) 1/3))) (cbrt (* z (pow (* (cos y) (cos y)) 1/3)))) (cbrt (* z (pow (* (cos y) (cos y)) 1/3))) (* (* (* z (pow (* (cos y) (cos y)) 1/3)) (* z (pow (* (cos y) (cos y)) 1/3))) (* z (pow (* (cos y) (cos y)) 1/3))) (sqrt (* z (pow (* (cos y) (cos y)) 1/3))) (sqrt (* z (pow (* (cos y) (cos y)) 1/3))) (* (sqrt z) (pow (cos y) 1/3)) (* (sqrt z) (pow (cos y) 1/3)) (* (sqrt z) (sqrt (pow (* (cos y) (cos y)) 1/3))) (* (sqrt z) (sqrt (pow (* (cos y) (cos y)) 1/3))) (* (sqrt z) (pow (* (cos y) (cos y)) (/ 1/3 2))) (* (sqrt z) (pow (* (cos y) (cos y)) (/ 1/3 2))) (* z (pow (cos y) 1/3)) (* z (* (cbrt (pow (* (cos y) (cos y)) 1/3)) (cbrt (pow (* (cos y) (cos y)) 1/3)))) (* z (sqrt (pow (* (cos y) (cos y)) 1/3))) (* z 1) (* z (pow (* (cos y) (cos y)) (/ 1/3 2))) (* (cbrt z) (pow (* (cos y) (cos y)) 1/3)) (* (sqrt z) (pow (* (cos y) (cos y)) 1/3)) (* z (pow (* (cos y) (cos y)) 1/3)) (- (pow 1 1/3) (+ (* 1/72 (pow y 4)) (* 1/6 (pow y 2)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- (+ (* 1/3 (pow y 4)) 1) (pow y 2)) (pow (cos y) 2) (pow (cos y) 2) z (* (cos y) z) (* (cos y) z) z (* (pow (pow (cos y) 2) 1/3) z) (* (pow (pow (cos y) 2) 1/3) z) 91.819 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 91.820 * * [simplify]: iteration done : 4 enodes (cost 4 ) 91.820 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 91.821 * * [simplify]: iteration done : 4 enodes (cost 4 ) 91.821 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 91.822 * * [simplify]: iteration done : 5 enodes (cost 8 ) 91.822 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 91.823 * * [simplify]: iteration done : 4 enodes (cost 4 ) 91.823 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 91.823 * * [simplify]: iteration done : 4 enodes (cost 4 ) 91.824 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 91.824 * * [simplify]: iteration done : 4 enodes (cost 4 ) 91.825 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 91.825 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 91.825 * * [simplify]: iteration done : 4 enodes (cost 1 ) 91.826 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 91.826 * * [simplify]: iteration done : 3 enodes (cost 3 ) 91.827 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 91.827 * * [simplify]: iteration done : 5 enodes (cost 9 ) 91.828 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 91.828 * * [simplify]: iteration done : 4 enodes (cost 4 ) 91.829 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 91.829 * * [simplify]: iteration 1 : 6 enodes (cost 11 ) 91.830 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 91.831 * * [simplify]: iteration 3 : 13 enodes (cost 2 ) 91.833 * * [simplify]: iteration 4 : 19 enodes (cost 2 ) 91.835 * * [simplify]: iteration 5 : 29 enodes (cost 2 ) 91.838 * * [simplify]: iteration 6 : 50 enodes (cost 2 ) 91.852 * * [simplify]: iteration 7 : 108 enodes (cost 2 ) 91.895 * * [simplify]: iteration 8 : 311 enodes (cost 2 ) 92.340 * * [simplify]: iteration 9 : 1229 enodes (cost 2 ) 94.715 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 94.715 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 94.716 * * [simplify]: iteration done : 4 enodes (cost 4 ) 94.716 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 94.717 * * [simplify]: iteration done : 4 enodes (cost 4 ) 94.717 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 94.718 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 94.719 * * [simplify]: iteration done : 8 enodes (cost 6 ) 94.719 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 94.720 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 94.721 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 94.722 * * [simplify]: iteration done : 15 enodes (cost 6 ) 94.723 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 94.723 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 94.723 * * [simplify]: iteration done : 6 enodes (cost 1 ) 94.724 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 94.724 * * [simplify]: iteration done : 3 enodes (cost 5 ) 94.725 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 94.725 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 94.725 * * [simplify]: iteration done : 6 enodes (cost 1 ) 94.726 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 94.726 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 94.727 * * [simplify]: iteration 2 : 7 enodes (cost 5 ) 94.728 * * [simplify]: iteration done : 7 enodes (cost 5 ) 94.728 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 94.729 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 94.729 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 94.730 * * [simplify]: iteration 3 : 9 enodes (cost 5 ) 94.731 * * [simplify]: iteration done : 9 enodes (cost 5 ) 94.738 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 94.738 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 94.739 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 94.740 * * [simplify]: iteration 3 : 15 enodes (cost 6 ) 94.742 * * [simplify]: iteration 4 : 33 enodes (cost 6 ) 94.747 * * [simplify]: iteration 5 : 73 enodes (cost 6 ) 94.768 * * [simplify]: iteration 6 : 177 enodes (cost 6 ) 94.867 * * [simplify]: iteration 7 : 560 enodes (cost 6 ) 95.740 * * [simplify]: iteration 8 : 2247 enodes (cost 6 ) 97.867 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 97.868 * * [simplify]: iteration 0 : 5 enodes (cost 17 ) 97.869 * * [simplify]: iteration 1 : 12 enodes (cost 17 ) 97.871 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 97.875 * * [simplify]: iteration 3 : 34 enodes (cost 4 ) 97.881 * * [simplify]: iteration 4 : 67 enodes (cost 4 ) 97.896 * * [simplify]: iteration 5 : 147 enodes (cost 4 ) 97.947 * * [simplify]: iteration 6 : 370 enodes (cost 4 ) 98.318 * * [simplify]: iteration 7 : 1337 enodes (cost 4 ) 100.501 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 100.502 * * [simplify]: iteration 0 : 5 enodes (cost 13 ) 100.502 * * [simplify]: iteration done : 5 enodes (cost 13 ) 100.503 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 100.504 * * [simplify]: iteration done : 4 enodes (cost 6 ) 100.504 * * [simplify]: iteration 0 : 5 enodes (cost 17 ) 100.505 * * [simplify]: iteration 1 : 13 enodes (cost 17 ) 100.508 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 100.512 * * [simplify]: iteration 3 : 34 enodes (cost 4 ) 100.518 * * [simplify]: iteration 4 : 68 enodes (cost 4 ) 100.533 * * [simplify]: iteration 5 : 153 enodes (cost 4 ) 100.586 * * [simplify]: iteration 6 : 379 enodes (cost 4 ) 100.970 * * [simplify]: iteration 7 : 1358 enodes (cost 4 ) 103.289 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 103.290 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 103.290 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 103.290 * * [simplify]: iteration done : 5 enodes (cost 3 ) 103.296 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 103.297 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 103.297 * * [simplify]: iteration done : 5 enodes (cost 3 ) 103.298 * * [simplify]: iteration 0 : 5 enodes (cost 15 ) 103.298 * * [simplify]: iteration 1 : 9 enodes (cost 15 ) 103.300 * * [simplify]: iteration 2 : 11 enodes (cost 9 ) 103.301 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 103.304 * * [simplify]: iteration 4 : 35 enodes (cost 5 ) 103.308 * * [simplify]: iteration 5 : 61 enodes (cost 5 ) 103.319 * * [simplify]: iteration 6 : 131 enodes (cost 5 ) 103.364 * * [simplify]: iteration 7 : 348 enodes (cost 5 ) 103.720 * * [simplify]: iteration 8 : 1255 enodes (cost 5 ) 105.305 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 105.306 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 105.307 * * [simplify]: iteration done : 4 enodes (cost 7 ) 105.307 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 105.308 * * [simplify]: iteration done : 4 enodes (cost 2 ) 105.309 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 105.309 * * [simplify]: iteration done : 4 enodes (cost 2 ) 105.310 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 105.310 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 105.310 * * [simplify]: iteration done : 4 enodes (cost 1 ) 105.311 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 105.311 * * [simplify]: iteration done : 3 enodes (cost 5 ) 105.312 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 105.312 * * [simplify]: iteration done : 4 enodes (cost 2 ) 105.313 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 105.313 * * [simplify]: iteration done : 4 enodes (cost 2 ) 105.314 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 105.314 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 105.314 * * [simplify]: iteration done : 6 enodes (cost 1 ) 105.315 * * [simplify]: iteration 0 : 5 enodes (cost 10 ) 105.316 * * [simplify]: iteration 1 : 8 enodes (cost 10 ) 105.316 * * [simplify]: iteration 2 : 10 enodes (cost 10 ) 105.318 * * [simplify]: iteration done : 10 enodes (cost 10 ) 105.318 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 105.319 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 105.319 * * [simplify]: iteration done : 5 enodes (cost 6 ) 105.320 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 105.321 * * [simplify]: iteration 1 : 7 enodes (cost 2 ) 105.322 * * [simplify]: iteration 2 : 10 enodes (cost 2 ) 105.322 * * [simplify]: iteration done : 10 enodes (cost 2 ) 105.323 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 105.324 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 105.324 * * [simplify]: iteration done : 5 enodes (cost 6 ) 105.325 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 105.325 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 105.326 * * [simplify]: iteration done : 5 enodes (cost 6 ) 105.326 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 105.327 * * [simplify]: iteration done : 3 enodes (cost 5 ) 105.327 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 105.328 * * [simplify]: iteration 1 : 19 enodes (cost 12 ) 105.331 * * [simplify]: iteration 2 : 37 enodes (cost 12 ) 105.336 * * [simplify]: iteration 3 : 75 enodes (cost 12 ) 105.356 * * [simplify]: iteration 4 : 183 enodes (cost 12 ) 105.459 * * [simplify]: iteration 5 : 570 enodes (cost 12 ) 106.311 * * [simplify]: iteration 6 : 1962 enodes (cost 12 ) 109.587 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 109.588 * * [simplify]: iteration 0 : 12 enodes (cost 17 ) 109.589 * * [simplify]: iteration 1 : 19 enodes (cost 15 ) 109.591 * * [simplify]: iteration 2 : 34 enodes (cost 13 ) 109.596 * * [simplify]: iteration 3 : 52 enodes (cost 13 ) 109.604 * * [simplify]: iteration 4 : 62 enodes (cost 13 ) 109.616 * * [simplify]: iteration done : 62 enodes (cost 13 ) 109.616 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 109.618 * * [simplify]: iteration 1 : 19 enodes (cost 16 ) 109.620 * * [simplify]: iteration 2 : 31 enodes (cost 15 ) 109.624 * * [simplify]: iteration 3 : 50 enodes (cost 13 ) 109.631 * * [simplify]: iteration 4 : 62 enodes (cost 13 ) 109.640 * * [simplify]: iteration done : 62 enodes (cost 13 ) 109.640 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 109.642 * * [simplify]: iteration 1 : 19 enodes (cost 16 ) 109.644 * * [simplify]: iteration 2 : 31 enodes (cost 15 ) 109.649 * * [simplify]: iteration 3 : 50 enodes (cost 13 ) 109.656 * * [simplify]: iteration 4 : 62 enodes (cost 13 ) 109.664 * * [simplify]: iteration done : 62 enodes (cost 13 ) 109.665 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 109.670 * * [simplify]: iteration 1 : 24 enodes (cost 15 ) 109.673 * * [simplify]: iteration 2 : 41 enodes (cost 15 ) 109.677 * * [simplify]: iteration 3 : 72 enodes (cost 15 ) 109.690 * * [simplify]: iteration 4 : 172 enodes (cost 13 ) 109.749 * * [simplify]: iteration 5 : 458 enodes (cost 13 ) 110.087 * * [simplify]: iteration 6 : 1388 enodes (cost 13 ) 112.784 * * [simplify]: iteration 7 : 4914 enodes (cost 13 ) 113.937 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 113.938 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 113.939 * * [simplify]: iteration 1 : 22 enodes (cost 14 ) 113.941 * * [simplify]: iteration 2 : 41 enodes (cost 14 ) 113.946 * * [simplify]: iteration 3 : 81 enodes (cost 14 ) 113.961 * * [simplify]: iteration 4 : 201 enodes (cost 14 ) 114.047 * * [simplify]: iteration 5 : 628 enodes (cost 13 ) 114.592 * * [simplify]: iteration 6 : 1984 enodes (cost 13 ) 116.893 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 116.894 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 116.895 * * [simplify]: iteration 1 : 23 enodes (cost 13 ) 116.898 * * [simplify]: iteration 2 : 48 enodes (cost 13 ) 116.905 * * [simplify]: iteration 3 : 105 enodes (cost 13 ) 116.932 * * [simplify]: iteration 4 : 274 enodes (cost 13 ) 117.063 * * [simplify]: iteration 5 : 828 enodes (cost 13 ) 118.087 * * [simplify]: iteration 6 : 2837 enodes (cost 12 ) 120.662 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 120.663 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 120.664 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 120.667 * * [simplify]: iteration 2 : 50 enodes (cost 13 ) 120.674 * * [simplify]: iteration 3 : 115 enodes (cost 13 ) 120.700 * * [simplify]: iteration 4 : 335 enodes (cost 13 ) 120.845 * * [simplify]: iteration 5 : 1139 enodes (cost 13 ) 122.418 * * [simplify]: iteration 6 : 4953 enodes (cost 13 ) 123.785 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 123.786 * * [simplify]: iteration 0 : 8 enodes (cost 14 ) 123.787 * * [simplify]: iteration 1 : 17 enodes (cost 14 ) 123.790 * * [simplify]: iteration 2 : 46 enodes (cost 12 ) 123.802 * * [simplify]: iteration 3 : 87 enodes (cost 8 ) 123.828 * * [simplify]: iteration 4 : 117 enodes (cost 6 ) 123.866 * * [simplify]: iteration 5 : 193 enodes (cost 6 ) 123.953 * * [simplify]: iteration 6 : 438 enodes (cost 6 ) 124.380 * * [simplify]: iteration 7 : 1401 enodes (cost 6 ) 126.248 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 126.249 * * [simplify]: iteration 0 : 12 enodes (cost 32 ) 126.251 * * [simplify]: iteration 1 : 31 enodes (cost 23 ) 126.256 * * [simplify]: iteration 2 : 98 enodes (cost 15 ) 126.286 * * [simplify]: iteration 3 : 348 enodes (cost 12 ) 126.652 * * [simplify]: iteration 4 : 1645 enodes (cost 8 ) 128.600 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 128.601 * * [simplify]: iteration 0 : 10 enodes (cost 32 ) 128.603 * * [simplify]: iteration 1 : 30 enodes (cost 29 ) 128.609 * * [simplify]: iteration 2 : 103 enodes (cost 13 ) 128.654 * * [simplify]: iteration 3 : 429 enodes (cost 13 ) 129.280 * * [simplify]: iteration 4 : 2005 enodes (cost 12 ) 131.689 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 131.690 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 131.691 * * [simplify]: iteration 1 : 21 enodes (cost 27 ) 131.694 * * [simplify]: iteration 2 : 39 enodes (cost 27 ) 131.699 * * [simplify]: iteration 3 : 75 enodes (cost 27 ) 131.717 * * [simplify]: iteration 4 : 187 enodes (cost 27 ) 131.822 * * [simplify]: iteration 5 : 566 enodes (cost 27 ) 132.687 * * [simplify]: iteration 6 : 2024 enodes (cost 27 ) 135.605 * * [simplify]: iteration done : 5000 enodes (cost 27 ) 135.606 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 135.607 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 135.609 * * [simplify]: iteration 2 : 38 enodes (cost 13 ) 135.615 * * [simplify]: iteration 3 : 74 enodes (cost 13 ) 135.636 * * [simplify]: iteration 4 : 187 enodes (cost 13 ) 135.741 * * [simplify]: iteration 5 : 562 enodes (cost 13 ) 136.609 * * [simplify]: iteration 6 : 2013 enodes (cost 13 ) 139.591 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 139.592 * * [simplify]: iteration 0 : 11 enodes (cost 41 ) 139.594 * * [simplify]: iteration 1 : 31 enodes (cost 38 ) 139.600 * * [simplify]: iteration 2 : 113 enodes (cost 14 ) 139.665 * * [simplify]: iteration 3 : 588 enodes (cost 14 ) 141.012 * * [simplify]: iteration 4 : 3434 enodes (cost 12 ) 143.113 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 143.114 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 143.115 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 143.118 * * [simplify]: iteration 2 : 38 enodes (cost 13 ) 143.123 * * [simplify]: iteration 3 : 74 enodes (cost 13 ) 143.140 * * [simplify]: iteration 4 : 187 enodes (cost 13 ) 143.240 * * [simplify]: iteration 5 : 562 enodes (cost 13 ) 144.109 * * [simplify]: iteration 6 : 2013 enodes (cost 13 ) 147.296 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 147.300 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 147.301 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 147.303 * * [simplify]: iteration 2 : 38 enodes (cost 13 ) 147.309 * * [simplify]: iteration 3 : 74 enodes (cost 13 ) 147.326 * * [simplify]: iteration 4 : 187 enodes (cost 13 ) 147.425 * * [simplify]: iteration 5 : 562 enodes (cost 13 ) 148.311 * * [simplify]: iteration 6 : 2013 enodes (cost 13 ) 151.316 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 151.317 * * [simplify]: iteration 0 : 11 enodes (cost 18 ) 151.318 * * [simplify]: iteration 1 : 21 enodes (cost 17 ) 151.321 * * [simplify]: iteration 2 : 39 enodes (cost 17 ) 151.326 * * [simplify]: iteration 3 : 75 enodes (cost 17 ) 151.347 * * [simplify]: iteration 4 : 181 enodes (cost 17 ) 151.443 * * [simplify]: iteration 5 : 548 enodes (cost 17 ) 152.233 * * [simplify]: iteration 6 : 1943 enodes (cost 17 ) 155.243 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 155.244 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 155.245 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 155.247 * * [simplify]: iteration 2 : 38 enodes (cost 13 ) 155.253 * * [simplify]: iteration 3 : 74 enodes (cost 13 ) 155.271 * * [simplify]: iteration 4 : 193 enodes (cost 13 ) 155.378 * * [simplify]: iteration 5 : 592 enodes (cost 13 ) 156.241 * * [simplify]: iteration 6 : 2038 enodes (cost 13 ) 159.021 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 159.021 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 159.027 * * [simplify]: iteration 1 : 22 enodes (cost 10 ) 159.029 * * [simplify]: iteration 2 : 40 enodes (cost 10 ) 159.036 * * [simplify]: iteration 3 : 78 enodes (cost 8 ) 159.056 * * [simplify]: iteration 4 : 170 enodes (cost 8 ) 159.132 * * [simplify]: iteration 5 : 409 enodes (cost 8 ) 159.518 * * [simplify]: iteration 6 : 1105 enodes (cost 8 ) 162.673 * * [simplify]: iteration 7 : 3792 enodes (cost 8 ) 165.482 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 165.483 * * [simplify]: iteration 0 : 11 enodes (cost 19 ) 165.484 * * [simplify]: iteration 1 : 23 enodes (cost 18 ) 165.488 * * [simplify]: iteration 2 : 50 enodes (cost 18 ) 165.496 * * [simplify]: iteration 3 : 118 enodes (cost 18 ) 165.538 * * [simplify]: iteration 4 : 316 enodes (cost 18 ) 165.794 * * [simplify]: iteration 5 : 986 enodes (cost 18 ) 168.024 * * [simplify]: iteration 6 : 3504 enodes (cost 18 ) 171.319 * * [simplify]: iteration done : 5000 enodes (cost 18 ) 171.319 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 171.321 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 171.323 * * [simplify]: iteration 2 : 38 enodes (cost 13 ) 171.328 * * [simplify]: iteration 3 : 74 enodes (cost 13 ) 171.349 * * [simplify]: iteration 4 : 193 enodes (cost 13 ) 171.455 * * [simplify]: iteration 5 : 592 enodes (cost 13 ) 172.343 * * [simplify]: iteration 6 : 2038 enodes (cost 13 ) 175.176 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 175.177 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 175.179 * * [simplify]: iteration 1 : 21 enodes (cost 8 ) 175.182 * * [simplify]: iteration 2 : 45 enodes (cost 8 ) 175.190 * * [simplify]: iteration 3 : 95 enodes (cost 8 ) 175.209 * * [simplify]: iteration 4 : 176 enodes (cost 8 ) 175.276 * * [simplify]: iteration 5 : 397 enodes (cost 8 ) 175.653 * * [simplify]: iteration 6 : 1097 enodes (cost 8 ) 178.826 * * [simplify]: iteration 7 : 3821 enodes (cost 8 ) 181.807 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 181.808 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 181.808 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 181.810 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 181.813 * * [simplify]: iteration 3 : 42 enodes (cost 10 ) 181.819 * * [simplify]: iteration 4 : 87 enodes (cost 10 ) 181.849 * * [simplify]: iteration 5 : 230 enodes (cost 10 ) 182.034 * * [simplify]: iteration 6 : 753 enodes (cost 10 ) 183.995 * * [simplify]: iteration 7 : 3060 enodes (cost 10 ) 187.864 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 187.865 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 187.866 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 187.868 * * [simplify]: iteration 2 : 22 enodes (cost 8 ) 187.870 * * [simplify]: iteration 3 : 32 enodes (cost 8 ) 187.874 * * [simplify]: iteration done : 32 enodes (cost 8 ) 187.874 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 187.876 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 187.877 * * [simplify]: iteration 2 : 19 enodes (cost 10 ) 187.880 * * [simplify]: iteration 3 : 30 enodes (cost 8 ) 187.883 * * [simplify]: iteration 4 : 34 enodes (cost 8 ) 187.891 * * [simplify]: iteration done : 34 enodes (cost 8 ) 187.892 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 187.893 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 187.895 * * [simplify]: iteration 2 : 19 enodes (cost 10 ) 187.897 * * [simplify]: iteration 3 : 30 enodes (cost 8 ) 187.901 * * [simplify]: iteration 4 : 34 enodes (cost 8 ) 187.905 * * [simplify]: iteration done : 34 enodes (cost 8 ) 187.905 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 187.906 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 187.908 * * [simplify]: iteration 2 : 29 enodes (cost 10 ) 187.911 * * [simplify]: iteration 3 : 52 enodes (cost 10 ) 187.919 * * [simplify]: iteration 4 : 118 enodes (cost 8 ) 187.953 * * [simplify]: iteration 5 : 299 enodes (cost 8 ) 188.106 * * [simplify]: iteration 6 : 878 enodes (cost 8 ) 189.201 * * [simplify]: iteration 7 : 3029 enodes (cost 8 ) 190.884 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 190.885 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 190.886 * * [simplify]: iteration 1 : 18 enodes (cost 9 ) 190.888 * * [simplify]: iteration 2 : 33 enodes (cost 9 ) 190.892 * * [simplify]: iteration 3 : 65 enodes (cost 9 ) 190.902 * * [simplify]: iteration 4 : 158 enodes (cost 9 ) 190.958 * * [simplify]: iteration 5 : 462 enodes (cost 8 ) 191.288 * * [simplify]: iteration 6 : 1423 enodes (cost 8 ) 193.742 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 193.743 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 193.744 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 193.745 * * [simplify]: iteration 2 : 32 enodes (cost 9 ) 193.750 * * [simplify]: iteration 3 : 65 enodes (cost 9 ) 193.760 * * [simplify]: iteration 4 : 168 enodes (cost 9 ) 193.808 * * [simplify]: iteration 5 : 557 enodes (cost 9 ) 194.345 * * [simplify]: iteration 6 : 2391 enodes (cost 9 ) 195.718 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 195.719 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 195.720 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 195.722 * * [simplify]: iteration 2 : 30 enodes (cost 9 ) 195.727 * * [simplify]: iteration 3 : 50 enodes (cost 9 ) 195.737 * * [simplify]: iteration 4 : 67 enodes (cost 9 ) 195.757 * * [simplify]: iteration 5 : 99 enodes (cost 9 ) 195.782 * * [simplify]: iteration 6 : 184 enodes (cost 9 ) 195.886 * * [simplify]: iteration 7 : 462 enodes (cost 9 ) 196.560 * * [simplify]: iteration 8 : 1493 enodes (cost 9 ) 199.186 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 199.186 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 199.193 * * [simplify]: iteration 1 : 27 enodes (cost 20 ) 199.197 * * [simplify]: iteration 2 : 73 enodes (cost 12 ) 199.214 * * [simplify]: iteration 3 : 220 enodes (cost 9 ) 199.366 * * [simplify]: iteration 4 : 864 enodes (cost 9 ) 201.757 * * [simplify]: iteration 5 : 4119 enodes (cost 9 ) 204.366 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 204.367 * * [simplify]: iteration 0 : 9 enodes (cost 21 ) 204.368 * * [simplify]: iteration 1 : 16 enodes (cost 19 ) 204.369 * * [simplify]: iteration 2 : 26 enodes (cost 19 ) 204.373 * * [simplify]: iteration 3 : 44 enodes (cost 19 ) 204.379 * * [simplify]: iteration 4 : 90 enodes (cost 19 ) 204.406 * * [simplify]: iteration 5 : 237 enodes (cost 19 ) 204.602 * * [simplify]: iteration 6 : 767 enodes (cost 19 ) 206.623 * * [simplify]: iteration 7 : 3060 enodes (cost 19 ) 209.121 * * [simplify]: iteration done : 5001 enodes (cost 19 ) 209.122 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 209.123 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 209.124 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 209.127 * * [simplify]: iteration 3 : 43 enodes (cost 9 ) 209.133 * * [simplify]: iteration 4 : 92 enodes (cost 9 ) 209.163 * * [simplify]: iteration 5 : 243 enodes (cost 9 ) 209.360 * * [simplify]: iteration 6 : 783 enodes (cost 9 ) 211.461 * * [simplify]: iteration 7 : 3094 enodes (cost 9 ) 215.008 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 215.009 * * [simplify]: iteration 0 : 9 enodes (cost 29 ) 215.010 * * [simplify]: iteration 1 : 26 enodes (cost 26 ) 215.015 * * [simplify]: iteration 2 : 78 enodes (cost 10 ) 215.044 * * [simplify]: iteration 3 : 255 enodes (cost 10 ) 215.282 * * [simplify]: iteration 4 : 971 enodes (cost 9 ) 218.047 * * [simplify]: iteration 5 : 4017 enodes (cost 9 ) 221.223 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 221.223 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 221.224 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 221.226 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 221.233 * * [simplify]: iteration 3 : 43 enodes (cost 9 ) 221.240 * * [simplify]: iteration 4 : 92 enodes (cost 9 ) 221.266 * * [simplify]: iteration 5 : 243 enodes (cost 9 ) 221.463 * * [simplify]: iteration 6 : 783 enodes (cost 9 ) 223.627 * * [simplify]: iteration 7 : 3094 enodes (cost 9 ) 227.219 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 227.219 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 227.220 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 227.222 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 227.225 * * [simplify]: iteration 3 : 43 enodes (cost 9 ) 227.231 * * [simplify]: iteration 4 : 92 enodes (cost 9 ) 227.256 * * [simplify]: iteration 5 : 243 enodes (cost 9 ) 227.453 * * [simplify]: iteration 6 : 783 enodes (cost 9 ) 229.596 * * [simplify]: iteration 7 : 3094 enodes (cost 9 ) 233.118 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 233.119 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 233.120 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 233.121 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 233.124 * * [simplify]: iteration 3 : 42 enodes (cost 6 ) 233.130 * * [simplify]: iteration 4 : 87 enodes (cost 6 ) 233.154 * * [simplify]: iteration 5 : 238 enodes (cost 6 ) 233.339 * * [simplify]: iteration 6 : 770 enodes (cost 6 ) 235.431 * * [simplify]: iteration 7 : 3081 enodes (cost 6 ) 238.220 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 238.220 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 238.221 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 238.223 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 238.225 * * [simplify]: iteration 3 : 42 enodes (cost 6 ) 238.232 * * [simplify]: iteration 4 : 87 enodes (cost 6 ) 238.261 * * [simplify]: iteration 5 : 238 enodes (cost 6 ) 238.447 * * [simplify]: iteration 6 : 770 enodes (cost 6 ) 240.535 * * [simplify]: iteration 7 : 3081 enodes (cost 6 ) 243.327 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 243.328 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 243.329 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 243.330 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 243.332 * * [simplify]: iteration 3 : 33 enodes (cost 10 ) 243.337 * * [simplify]: iteration 4 : 55 enodes (cost 10 ) 243.346 * * [simplify]: iteration 5 : 115 enodes (cost 10 ) 243.396 * * [simplify]: iteration 6 : 337 enodes (cost 10 ) 243.848 * * [simplify]: iteration 7 : 1266 enodes (cost 10 ) 246.205 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 246.206 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 246.207 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 246.209 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 246.211 * * [simplify]: iteration 3 : 33 enodes (cost 10 ) 246.215 * * [simplify]: iteration 4 : 55 enodes (cost 10 ) 246.224 * * [simplify]: iteration 5 : 115 enodes (cost 10 ) 246.273 * * [simplify]: iteration 6 : 337 enodes (cost 10 ) 246.729 * * [simplify]: iteration 7 : 1266 enodes (cost 10 ) 249.068 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 249.069 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 249.070 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 249.072 * * [simplify]: iteration 2 : 26 enodes (cost 10 ) 249.074 * * [simplify]: iteration 3 : 46 enodes (cost 10 ) 249.087 * * [simplify]: iteration 4 : 94 enodes (cost 10 ) 249.111 * * [simplify]: iteration 5 : 241 enodes (cost 10 ) 249.301 * * [simplify]: iteration 6 : 772 enodes (cost 10 ) 251.641 * * [simplify]: iteration 7 : 3097 enodes (cost 10 ) 254.371 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 254.371 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 254.373 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 254.374 * * [simplify]: iteration 2 : 26 enodes (cost 10 ) 254.377 * * [simplify]: iteration 3 : 46 enodes (cost 10 ) 254.384 * * [simplify]: iteration 4 : 94 enodes (cost 10 ) 254.414 * * [simplify]: iteration 5 : 241 enodes (cost 10 ) 254.603 * * [simplify]: iteration 6 : 772 enodes (cost 10 ) 256.707 * * [simplify]: iteration 7 : 3097 enodes (cost 10 ) 259.414 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 259.415 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 259.415 * * [simplify]: iteration 1 : 13 enodes (cost 5 ) 259.417 * * [simplify]: iteration 2 : 23 enodes (cost 5 ) 259.424 * * [simplify]: iteration 3 : 41 enodes (cost 5 ) 259.430 * * [simplify]: iteration 4 : 91 enodes (cost 5 ) 259.455 * * [simplify]: iteration 5 : 234 enodes (cost 5 ) 259.654 * * [simplify]: iteration 6 : 770 enodes (cost 5 ) 261.773 * * [simplify]: iteration 7 : 3065 enodes (cost 5 ) 264.695 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 264.696 * * [simplify]: iteration 0 : 9 enodes (cost 19 ) 264.697 * * [simplify]: iteration 1 : 18 enodes (cost 17 ) 264.699 * * [simplify]: iteration 2 : 26 enodes (cost 17 ) 264.702 * * [simplify]: iteration 3 : 36 enodes (cost 17 ) 264.706 * * [simplify]: iteration 4 : 58 enodes (cost 17 ) 264.716 * * [simplify]: iteration 5 : 118 enodes (cost 17 ) 264.766 * * [simplify]: iteration 6 : 329 enodes (cost 17 ) 265.226 * * [simplify]: iteration 7 : 1260 enodes (cost 17 ) 267.548 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 267.548 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 267.549 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 267.551 * * [simplify]: iteration 2 : 22 enodes (cost 9 ) 267.553 * * [simplify]: iteration 3 : 32 enodes (cost 9 ) 267.556 * * [simplify]: iteration 4 : 54 enodes (cost 9 ) 267.565 * * [simplify]: iteration 5 : 119 enodes (cost 9 ) 267.615 * * [simplify]: iteration 6 : 332 enodes (cost 9 ) 268.066 * * [simplify]: iteration 7 : 1255 enodes (cost 9 ) 270.408 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 270.409 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 270.409 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 270.410 * * [simplify]: iteration done : 6 enodes (cost 1 ) 270.410 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 270.412 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 270.413 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 270.416 * * [simplify]: iteration 3 : 45 enodes (cost 9 ) 270.422 * * [simplify]: iteration 4 : 95 enodes (cost 9 ) 270.447 * * [simplify]: iteration 5 : 245 enodes (cost 9 ) 270.640 * * [simplify]: iteration 6 : 772 enodes (cost 9 ) 272.792 * * [simplify]: iteration 7 : 3071 enodes (cost 9 ) 276.604 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 276.605 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 276.606 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 276.608 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 276.610 * * [simplify]: iteration 3 : 43 enodes (cost 9 ) 276.617 * * [simplify]: iteration 4 : 91 enodes (cost 9 ) 276.647 * * [simplify]: iteration 5 : 239 enodes (cost 9 ) 276.841 * * [simplify]: iteration 6 : 764 enodes (cost 9 ) 278.868 * * [simplify]: iteration 7 : 3053 enodes (cost 9 ) 281.658 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 281.659 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 281.660 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 281.662 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 281.664 * * [simplify]: iteration 3 : 43 enodes (cost 9 ) 281.671 * * [simplify]: iteration 4 : 91 enodes (cost 9 ) 281.701 * * [simplify]: iteration 5 : 239 enodes (cost 9 ) 281.888 * * [simplify]: iteration 6 : 764 enodes (cost 9 ) 283.882 * * [simplify]: iteration 7 : 3053 enodes (cost 9 ) 286.675 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 286.676 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 286.677 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 286.679 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 286.681 * * [simplify]: iteration 3 : 42 enodes (cost 8 ) 286.687 * * [simplify]: iteration 4 : 87 enodes (cost 8 ) 286.718 * * [simplify]: iteration 5 : 238 enodes (cost 8 ) 286.902 * * [simplify]: iteration 6 : 768 enodes (cost 8 ) 289.066 * * [simplify]: iteration 7 : 3075 enodes (cost 8 ) 291.424 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 291.424 * * [simplify]: iteration 0 : 14 enodes (cost 15 ) 291.426 * * [simplify]: iteration 1 : 34 enodes (cost 13 ) 291.432 * * [simplify]: iteration 2 : 79 enodes (cost 13 ) 291.447 * * [simplify]: iteration 3 : 207 enodes (cost 13 ) 291.578 * * [simplify]: iteration 4 : 706 enodes (cost 13 ) 292.063 * * [simplify]: iteration 5 : 1987 enodes (cost 13 ) 294.137 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 294.138 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 294.138 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 294.139 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 294.141 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 294.143 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 294.157 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 294.199 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 294.641 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 296.996 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 296.997 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 296.997 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 296.998 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 297.000 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 297.003 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 297.017 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 297.060 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 297.508 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 299.874 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 299.875 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 299.876 * * [simplify]: iteration 1 : 25 enodes (cost 11 ) 299.879 * * [simplify]: iteration 2 : 62 enodes (cost 11 ) 299.898 * * [simplify]: iteration 3 : 145 enodes (cost 11 ) 299.976 * * [simplify]: iteration 4 : 414 enodes (cost 11 ) 300.148 * * [simplify]: iteration 5 : 967 enodes (cost 11 ) 302.087 * * [simplify]: iteration 6 : 4256 enodes (cost 11 ) 305.420 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 305.421 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 305.421 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 305.423 * * [simplify]: iteration 2 : 17 enodes (cost 4 ) 305.424 * * [simplify]: iteration 3 : 28 enodes (cost 4 ) 305.427 * * [simplify]: iteration 4 : 53 enodes (cost 4 ) 305.441 * * [simplify]: iteration 5 : 117 enodes (cost 4 ) 305.491 * * [simplify]: iteration 6 : 333 enodes (cost 4 ) 305.978 * * [simplify]: iteration 7 : 1365 enodes (cost 4 ) 308.096 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 308.097 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 308.097 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 308.098 * * [simplify]: iteration 2 : 17 enodes (cost 4 ) 308.100 * * [simplify]: iteration 3 : 28 enodes (cost 4 ) 308.103 * * [simplify]: iteration 4 : 53 enodes (cost 4 ) 308.112 * * [simplify]: iteration 5 : 117 enodes (cost 4 ) 308.161 * * [simplify]: iteration 6 : 333 enodes (cost 4 ) 308.643 * * [simplify]: iteration 7 : 1365 enodes (cost 4 ) 310.735 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 310.736 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 310.736 * * [simplify]: iteration done : 1 enodes (cost 1 ) 310.737 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 310.737 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 310.738 * * [simplify]: iteration done : 5 enodes (cost 4 ) 310.738 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 310.739 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 310.739 * * [simplify]: iteration done : 5 enodes (cost 4 ) 310.740 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 310.740 * * [simplify]: iteration done : 1 enodes (cost 1 ) 310.741 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 310.742 * * [simplify]: iteration 1 : 19 enodes (cost 7 ) 310.744 * * [simplify]: iteration 2 : 37 enodes (cost 7 ) 310.748 * * [simplify]: iteration 3 : 66 enodes (cost 7 ) 310.758 * * [simplify]: iteration 4 : 135 enodes (cost 7 ) 310.795 * * [simplify]: iteration 5 : 346 enodes (cost 7 ) 311.047 * * [simplify]: iteration 6 : 1089 enodes (cost 7 ) 313.575 * * [simplify]: iteration 7 : 4387 enodes (cost 7 ) 316.063 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 316.064 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 316.065 * * [simplify]: iteration 1 : 19 enodes (cost 7 ) 316.067 * * [simplify]: iteration 2 : 37 enodes (cost 7 ) 316.070 * * [simplify]: iteration 3 : 66 enodes (cost 7 ) 316.081 * * [simplify]: iteration 4 : 135 enodes (cost 7 ) 316.119 * * [simplify]: iteration 5 : 346 enodes (cost 7 ) 316.370 * * [simplify]: iteration 6 : 1089 enodes (cost 7 ) 318.919 * * [simplify]: iteration 7 : 4387 enodes (cost 7 ) 321.404 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 321.405 * [simplify]: Simplified to: (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (* 1/2 (cos (* 2 y))) (+ 1 (cos (+ y y))) 2 (* (cos y) (cos y)) 2 (* 2 (log (cos y))) (* 2 (log (cos y))) (exp (* (cos y) (cos y))) (pow (cos y) 6) (* (cbrt (* (cos y) (cos y))) (cbrt (* (cos y) (cos y)))) (cbrt (* (cos y) (cos y))) (pow (cos y) 6) (fabs (cos y)) (fabs (cos y)) (pow (cbrt (cos y)) 4) (* (cbrt (cos y)) (cbrt (cos y))) (cos y) (cos y) 1 (* (cos y) (cos y)) (cos y) (cos y) 2 (* (cos y) (* (cbrt (cos y)) (cbrt (cos y)))) (* (cos y) (sqrt (cos y))) (cos y) (* (cbrt (cos y)) (cos y)) (* (sqrt (cos y)) (cos y)) (* (cos y) (cos y)) (* (cbrt (cos y)) (* (cbrt (* (cos y) (cos y))) z)) (+ (* 2/3 (log (cos y))) (+ (log z) (log (cbrt (cos y))))) (+ (+ (log (cbrt (cos y))) (log z)) (* 2/3 (log (cos y)))) (+ (+ (log (cbrt (cos y))) (log z)) (* 2/3 (log (cos y)))) (+ (log (cbrt (cos y))) (+ (* (log (cos y)) 2/3) (log z))) (+ (log (cbrt (cos y))) (+ (log z) (* 2/3 (log (cos y))))) (+ (log (* z (cbrt (cos y)))) (* (log (cos y)) 2/3)) (exp (* (cbrt (cos y)) (* (cbrt (* (cos y) (cos y))) z))) (pow (* z (cos y)) 3) (* (pow z 3) (pow (cos y) 3)) (* (* (* (cos y) (cos y)) (pow z 3)) (cos y)) (* (cbrt (* (cbrt (cos y)) (* (cbrt (* (cos y) (cos y))) z))) (cbrt (* (cbrt (cos y)) (* (cbrt (* (cos y) (cos y))) z)))) (cbrt (* (cbrt (cos y)) (* (cbrt (* (cos y) (cos y))) z))) (* (* (cos y) (cos y)) (* (cos y) (pow z 3))) (sqrt (* (cbrt (cos y)) (* (cbrt (* (cos y) (cos y))) z))) (sqrt (* (cbrt (cos y)) (* (cbrt (* (cos y) (cos y))) z))) (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (* (cbrt (* (cos y) (cos y))) z)) (* (cbrt (sqrt (cos y))) (* (cbrt (* (cos y) (cos y))) z)) (* (cbrt (* (cos y) (cos y))) z) (* (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (cbrt (* (cos y) (cos y))) z)) (* (sqrt (cbrt (cos y))) (* (cbrt (* (cos y) (cos y))) z)) (* (cbrt (* (cos y) (cos y))) z) (* (cbrt (cos y)) (cbrt (* (cos y) (cos y)))) (+ (* 2/3 (log (cos y))) (log z)) (+ (* 2/3 (log (cos y))) (log z)) (+ (* 2/3 (log (cos y))) (log z)) (+ (* (log (cos y)) 2/3) (log z)) (+ (log z) (* 2/3 (log (cos y)))) (exp (* (cbrt (* (cos y) (cos y))) z)) (* (* (cos y) (cos y)) (pow z 3)) (* (pow z 3) (* (cos y) (cos y))) (* (cbrt (* (cbrt (* (cos y) (cos y))) z)) (cbrt (* (cbrt (* (cos y) (cos y))) z))) (cbrt (* (cbrt (* (cos y) (cos y))) z)) (* (* (cos y) (cos y)) (pow z 3)) (sqrt (* (cbrt (* (cos y) (cos y))) z)) (sqrt (* (cbrt (* (cos y) (cos y))) z)) (* (cbrt (cos y)) (sqrt z)) (* (cbrt (cos y)) (sqrt z)) (* (sqrt (cbrt (* (cos y) (cos y)))) (sqrt z)) (* (sqrt (cbrt (* (cos y) (cos y)))) (sqrt z)) (* (pow (* (cos y) (cos y)) 1/6) (sqrt z)) (* (pow (* (cos y) (cos y)) 1/6) (sqrt z)) (* (cbrt (cos y)) z) (* (* (cbrt (cbrt (* (cos y) (cos y)))) (cbrt (cbrt (* (cos y) (cos y))))) z) (* (sqrt (cbrt (* (cos y) (cos y)))) z) z (* (pow (* (cos y) (cos y)) 1/6) z) (* (cbrt z) (cbrt (* (cos y) (cos y)))) (* (sqrt z) (cbrt (* (cos y) (cos y)))) (* (cbrt (* (cos y) (cos y))) z) (- 1 (+ (* 1/72 (pow y 4)) (* 1/6 (pow y 2)))) (cbrt (cos y)) (cbrt (cos y)) (- (+ (* 1/3 (pow y 4)) 1) (pow y 2)) (pow (cos y) 2) (pow (cos y) 2) z (* (cos y) z) (* (cos y) z) z (* (cbrt (pow (cos y) 2)) z) (* (cbrt (pow (cos y) 2)) z) 321.405 * * * [progress]: adding candidates to table 321.514 * * [progress]: iteration 4 / 4 321.514 * * * [progress]: picking best candidate 321.540 * * * * [pick]: Picked # 321.540 * * * [progress]: localizing error 321.560 * * * [progress]: generating rewritten candidates 321.560 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1) 321.562 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1) 321.567 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 321.570 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 321.584 * * * [progress]: generating series expansions 321.584 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1) 321.584 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 321.584 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 321.584 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 321.584 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 321.584 * [taylor]: Taking taylor expansion of 1/3 in y 321.584 * [taylor]: Taking taylor expansion of (log (cos y)) in y 321.584 * [taylor]: Taking taylor expansion of (cos y) in y 321.584 * [taylor]: Taking taylor expansion of y in y 321.585 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 321.585 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 321.585 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 321.585 * [taylor]: Taking taylor expansion of 1/3 in y 321.585 * [taylor]: Taking taylor expansion of (log (cos y)) in y 321.585 * [taylor]: Taking taylor expansion of (cos y) in y 321.585 * [taylor]: Taking taylor expansion of y in y 321.588 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 321.588 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 321.588 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 321.588 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 321.588 * [taylor]: Taking taylor expansion of 1/3 in y 321.588 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 321.588 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 321.588 * [taylor]: Taking taylor expansion of (/ 1 y) in y 321.588 * [taylor]: Taking taylor expansion of y in y 321.588 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 321.588 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 321.588 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 321.588 * [taylor]: Taking taylor expansion of 1/3 in y 321.588 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 321.588 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 321.588 * [taylor]: Taking taylor expansion of (/ 1 y) in y 321.588 * [taylor]: Taking taylor expansion of y in y 321.596 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 321.596 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 321.596 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 321.596 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 321.596 * [taylor]: Taking taylor expansion of 1/3 in y 321.596 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 321.596 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 321.596 * [taylor]: Taking taylor expansion of (/ -1 y) in y 321.596 * [taylor]: Taking taylor expansion of -1 in y 321.596 * [taylor]: Taking taylor expansion of y in y 321.596 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 321.596 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 321.596 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 321.596 * [taylor]: Taking taylor expansion of 1/3 in y 321.596 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 321.596 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 321.597 * [taylor]: Taking taylor expansion of (/ -1 y) in y 321.597 * [taylor]: Taking taylor expansion of -1 in y 321.597 * [taylor]: Taking taylor expansion of y in y 321.604 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1) 321.605 * [approximate]: Taking taylor expansion of (pow (cos y) 2) in (y) around 0 321.605 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 321.605 * [taylor]: Taking taylor expansion of (cos y) in y 321.605 * [taylor]: Taking taylor expansion of y in y 321.605 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 321.605 * [taylor]: Taking taylor expansion of (cos y) in y 321.605 * [taylor]: Taking taylor expansion of y in y 321.606 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in (y) around 0 321.606 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 321.606 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 321.606 * [taylor]: Taking taylor expansion of (/ 1 y) in y 321.606 * [taylor]: Taking taylor expansion of y in y 321.606 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 321.606 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 321.606 * [taylor]: Taking taylor expansion of (/ 1 y) in y 321.606 * [taylor]: Taking taylor expansion of y in y 321.607 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in (y) around 0 321.607 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 321.607 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 321.607 * [taylor]: Taking taylor expansion of (/ -1 y) in y 321.607 * [taylor]: Taking taylor expansion of -1 in y 321.607 * [taylor]: Taking taylor expansion of y in y 321.607 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 321.607 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 321.607 * [taylor]: Taking taylor expansion of (/ -1 y) in y 321.607 * [taylor]: Taking taylor expansion of -1 in y 321.607 * [taylor]: Taking taylor expansion of y in y 321.608 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 321.608 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 321.608 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 321.608 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 321.608 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 321.608 * [taylor]: Taking taylor expansion of 1/3 in y 321.608 * [taylor]: Taking taylor expansion of (log (cos y)) in y 321.608 * [taylor]: Taking taylor expansion of (cos y) in y 321.608 * [taylor]: Taking taylor expansion of y in y 321.608 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 321.608 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 321.608 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 321.608 * [taylor]: Taking taylor expansion of 1/3 in y 321.608 * [taylor]: Taking taylor expansion of (log (cos y)) in y 321.608 * [taylor]: Taking taylor expansion of (cos y) in y 321.608 * [taylor]: Taking taylor expansion of y in y 321.612 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 321.612 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 321.612 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 321.612 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 321.612 * [taylor]: Taking taylor expansion of 1/3 in y 321.612 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 321.612 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 321.612 * [taylor]: Taking taylor expansion of (/ 1 y) in y 321.612 * [taylor]: Taking taylor expansion of y in y 321.612 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 321.612 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 321.613 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 321.613 * [taylor]: Taking taylor expansion of 1/3 in y 321.613 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 321.613 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 321.613 * [taylor]: Taking taylor expansion of (/ 1 y) in y 321.613 * [taylor]: Taking taylor expansion of y in y 321.620 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 321.620 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 321.620 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 321.620 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 321.620 * [taylor]: Taking taylor expansion of 1/3 in y 321.620 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 321.620 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 321.620 * [taylor]: Taking taylor expansion of (/ -1 y) in y 321.620 * [taylor]: Taking taylor expansion of -1 in y 321.621 * [taylor]: Taking taylor expansion of y in y 321.621 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 321.621 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 321.621 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 321.621 * [taylor]: Taking taylor expansion of 1/3 in y 321.621 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 321.621 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 321.621 * [taylor]: Taking taylor expansion of (/ -1 y) in y 321.621 * [taylor]: Taking taylor expansion of -1 in y 321.621 * [taylor]: Taking taylor expansion of y in y 321.628 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 321.628 * [approximate]: Taking taylor expansion of (* (cos y) z) in (z y) around 0 321.628 * [taylor]: Taking taylor expansion of (* (cos y) z) in y 321.628 * [taylor]: Taking taylor expansion of (cos y) in y 321.629 * [taylor]: Taking taylor expansion of y in y 321.629 * [taylor]: Taking taylor expansion of z in y 321.629 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 321.629 * [taylor]: Taking taylor expansion of (cos y) in z 321.629 * [taylor]: Taking taylor expansion of y in z 321.629 * [taylor]: Taking taylor expansion of z in z 321.629 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 321.629 * [taylor]: Taking taylor expansion of (cos y) in z 321.629 * [taylor]: Taking taylor expansion of y in z 321.629 * [taylor]: Taking taylor expansion of z in z 321.633 * [taylor]: Taking taylor expansion of 0 in y 321.633 * [taylor]: Taking taylor expansion of (cos y) in y 321.633 * [taylor]: Taking taylor expansion of y in y 321.634 * [taylor]: Taking taylor expansion of 0 in y 321.634 * [taylor]: Taking taylor expansion of 0 in y 321.635 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in (z y) around 0 321.635 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 321.635 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 321.635 * [taylor]: Taking taylor expansion of (/ 1 y) in y 321.635 * [taylor]: Taking taylor expansion of y in y 321.635 * [taylor]: Taking taylor expansion of z in y 321.635 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 321.635 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 321.635 * [taylor]: Taking taylor expansion of (/ 1 y) in z 321.635 * [taylor]: Taking taylor expansion of y in z 321.635 * [taylor]: Taking taylor expansion of z in z 321.635 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 321.635 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 321.635 * [taylor]: Taking taylor expansion of (/ 1 y) in z 321.635 * [taylor]: Taking taylor expansion of y in z 321.635 * [taylor]: Taking taylor expansion of z in z 321.635 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 321.635 * [taylor]: Taking taylor expansion of (/ 1 y) in y 321.635 * [taylor]: Taking taylor expansion of y in y 321.636 * [taylor]: Taking taylor expansion of 0 in y 321.636 * [taylor]: Taking taylor expansion of 0 in y 321.637 * [taylor]: Taking taylor expansion of 0 in y 321.637 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in (z y) around 0 321.637 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in y 321.637 * [taylor]: Taking taylor expansion of -1 in y 321.637 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 321.637 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 321.637 * [taylor]: Taking taylor expansion of (/ -1 y) in y 321.637 * [taylor]: Taking taylor expansion of -1 in y 321.637 * [taylor]: Taking taylor expansion of y in y 321.637 * [taylor]: Taking taylor expansion of z in y 321.637 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z 321.637 * [taylor]: Taking taylor expansion of -1 in z 321.637 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 321.637 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 321.637 * [taylor]: Taking taylor expansion of (/ -1 y) in z 321.638 * [taylor]: Taking taylor expansion of -1 in z 321.638 * [taylor]: Taking taylor expansion of y in z 321.638 * [taylor]: Taking taylor expansion of z in z 321.638 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z 321.638 * [taylor]: Taking taylor expansion of -1 in z 321.638 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 321.638 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 321.638 * [taylor]: Taking taylor expansion of (/ -1 y) in z 321.638 * [taylor]: Taking taylor expansion of -1 in z 321.638 * [taylor]: Taking taylor expansion of y in z 321.638 * [taylor]: Taking taylor expansion of z in z 321.638 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y 321.638 * [taylor]: Taking taylor expansion of -1 in y 321.638 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 321.638 * [taylor]: Taking taylor expansion of (/ -1 y) in y 321.638 * [taylor]: Taking taylor expansion of -1 in y 321.638 * [taylor]: Taking taylor expansion of y in y 321.639 * [taylor]: Taking taylor expansion of 0 in y 321.639 * [taylor]: Taking taylor expansion of 0 in y 321.640 * [taylor]: Taking taylor expansion of 0 in y 321.640 * * * [progress]: simplifying candidates 321.642 * [simplify]: Simplifying using # : (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) (cbrt 1) (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (* 1/2 (cos (* 2 y))) (+ (cos (+ y y)) (cos (- y y))) (+ 1 1) (* (cos y) (cos y)) (+ 1 1) (+ (log (cos y)) (log (cos y))) (log (* (cos y) (cos y))) (exp (* (cos y) (cos y))) (* (* (* (cos y) (cos y)) (cos y)) (* (* (cos y) (cos y)) (cos y))) (* (cbrt (* (cos y) (cos y))) (cbrt (* (cos y) (cos y)))) (cbrt (* (cos y) (cos y))) (* (* (* (cos y) (cos y)) (* (cos y) (cos y))) (* (cos y) (cos y))) (sqrt (* (cos y) (cos y))) (sqrt (* (cos y) (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y)))) (* (cbrt (cos y)) (cbrt (cos y))) (* (sqrt (cos y)) (sqrt (cos y))) (* (sqrt (cos y)) (sqrt (cos y))) (* 1 1) (* (cos y) (cos y)) (* (sqrt (cos y)) (sqrt (cos y))) (* (sqrt (cos y)) (sqrt (cos y))) (* 2 1) (* (cos y) (* (cbrt (cos y)) (cbrt (cos y)))) (* (cos y) (sqrt (cos y))) (* (cos y) 1) (* (cbrt (cos y)) (cos y)) (* (sqrt (cos y)) (cos y)) (* (cos y) (cos y)) (log (* (cbrt (exp (cbrt (cos y)))) (cbrt (exp (cbrt (cos y)))))) (log (cbrt (exp (cbrt (cos y))))) (log (sqrt (exp (cbrt (cos y))))) (log (sqrt (exp (cbrt (cos y))))) (log 1) (log (exp (cbrt (cos y)))) (log (exp (cbrt (cos y)))) (log (exp (cbrt (* (cbrt (cos y)) (cbrt (cos y)))))) (log (exp (cbrt (sqrt (cos y))))) (log (exp (cbrt 1))) (log (exp (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))))) (log (exp (sqrt (cbrt (cos y))))) (log (exp 1)) (log (log (exp (cbrt (cos y))))) (exp (log (exp (cbrt (cos y))))) (* (cbrt (log (exp (cbrt (cos y))))) (cbrt (log (exp (cbrt (cos y)))))) (cbrt (log (exp (cbrt (cos y))))) (* (* (log (exp (cbrt (cos y)))) (log (exp (cbrt (cos y))))) (log (exp (cbrt (cos y))))) (sqrt (log (exp (cbrt (cos y))))) (sqrt (log (exp (cbrt (cos y))))) (* (* z (pow (* (cos y) (cos y)) 1/3)) (log (exp (cbrt (cos y))))) (+ (+ (log z) (* (+ (log (cos y)) (log (cos y))) 1/3)) (log (log (exp (cbrt (cos y)))))) (+ (+ (log z) (* (log (* (cos y) (cos y))) 1/3)) (log (log (exp (cbrt (cos y)))))) (+ (+ (log z) (* (log (* (cos y) (cos y))) 1/3)) (log (log (exp (cbrt (cos y)))))) (+ (+ (log z) (log (pow (* (cos y) (cos y)) 1/3))) (log (log (exp (cbrt (cos y)))))) (+ (log (* z (pow (* (cos y) (cos y)) 1/3))) (log (log (exp (cbrt (cos y)))))) (log (* (* z (pow (* (cos y) (cos y)) 1/3)) (log (exp (cbrt (cos y)))))) (exp (* (* z (pow (* (cos y) (cos y)) 1/3)) (log (exp (cbrt (cos y)))))) (* (* (* (* z z) z) (* (cos y) (cos y))) (* (* (log (exp (cbrt (cos y)))) (log (exp (cbrt (cos y))))) (log (exp (cbrt (cos y)))))) (* (* (* (* z z) z) (* (* (pow (* (cos y) (cos y)) 1/3) (pow (* (cos y) (cos y)) 1/3)) (pow (* (cos y) (cos y)) 1/3))) (* (* (log (exp (cbrt (cos y)))) (log (exp (cbrt (cos y))))) (log (exp (cbrt (cos y)))))) (* (* (* (* z (pow (* (cos y) (cos y)) 1/3)) (* z (pow (* (cos y) (cos y)) 1/3))) (* z (pow (* (cos y) (cos y)) 1/3))) (* (* (log (exp (cbrt (cos y)))) (log (exp (cbrt (cos y))))) (log (exp (cbrt (cos y)))))) (* (cbrt (* (* z (pow (* (cos y) (cos y)) 1/3)) (log (exp (cbrt (cos y)))))) (cbrt (* (* z (pow (* (cos y) (cos y)) 1/3)) (log (exp (cbrt (cos y))))))) (cbrt (* (* z (pow (* (cos y) (cos y)) 1/3)) (log (exp (cbrt (cos y)))))) (* (* (* (* z (pow (* (cos y) (cos y)) 1/3)) (log (exp (cbrt (cos y))))) (* (* z (pow (* (cos y) (cos y)) 1/3)) (log (exp (cbrt (cos y)))))) (* (* z (pow (* (cos y) (cos y)) 1/3)) (log (exp (cbrt (cos y)))))) (sqrt (* (* z (pow (* (cos y) (cos y)) 1/3)) (log (exp (cbrt (cos y)))))) (sqrt (* (* z (pow (* (cos y) (cos y)) 1/3)) (log (exp (cbrt (cos y)))))) (* (* z (pow (* (cos y) (cos y)) 1/3)) (log (* (cbrt (exp (cbrt (cos y)))) (cbrt (exp (cbrt (cos y))))))) (* (* z (pow (* (cos y) (cos y)) 1/3)) (log (cbrt (exp (cbrt (cos y)))))) (* (* z (pow (* (cos y) (cos y)) 1/3)) (log (sqrt (exp (cbrt (cos y)))))) (* (* z (pow (* (cos y) (cos y)) 1/3)) (log (sqrt (exp (cbrt (cos y)))))) (* (* z (pow (* (cos y) (cos y)) 1/3)) (log 1)) (* (* z (pow (* (cos y) (cos y)) 1/3)) (log (exp (cbrt (cos y))))) (* (log (* (cbrt (exp (cbrt (cos y)))) (cbrt (exp (cbrt (cos y)))))) (* z (pow (* (cos y) (cos y)) 1/3))) (* (log (cbrt (exp (cbrt (cos y))))) (* z (pow (* (cos y) (cos y)) 1/3))) (* (log (sqrt (exp (cbrt (cos y))))) (* z (pow (* (cos y) (cos y)) 1/3))) (* (log (sqrt (exp (cbrt (cos y))))) (* z (pow (* (cos y) (cos y)) 1/3))) (* (log 1) (* z (pow (* (cos y) (cos y)) 1/3))) (* (log (exp (cbrt (cos y)))) (* z (pow (* (cos y) (cos y)) 1/3))) (* (* z (pow (* (cos y) (cos y)) 1/3)) 1) (* (* z (pow (* (cos y) (cos y)) 1/3)) (cbrt (cbrt (cos y)))) (* (* z (pow (* (cos y) (cos y)) 1/3)) (cbrt (sqrt (cos y)))) (* (* z (pow (* (cos y) (cos y)) 1/3)) (cbrt (cos y))) (* (* z (pow (* (cos y) (cos y)) 1/3)) (cbrt (cbrt (cos y)))) (* (* z (pow (* (cos y) (cos y)) 1/3)) (sqrt (cbrt (cos y)))) (* (* z (pow (* (cos y) (cos y)) 1/3)) (cbrt (cos y))) (* (* z (pow (* (cos y) (cos y)) 1/3)) (* (cbrt (log (exp (cbrt (cos y))))) (cbrt (log (exp (cbrt (cos y))))))) (* (* z (pow (* (cos y) (cos y)) 1/3)) (sqrt (log (exp (cbrt (cos y)))))) (* (* z (pow (* (cos y) (cos y)) 1/3)) 1) (* (pow (* (cos y) (cos y)) 1/3) (log (exp (cbrt (cos y))))) (- (pow 1 1/3) (+ (* 1/72 (pow y 4)) (* 1/6 (pow y 2)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- (+ (* 1/3 (pow y 4)) 1) (pow y 2)) (pow (cos y) 2) (pow (cos y) 2) (- (pow 1 1/3) (+ (* 1/72 (pow y 4)) (* 1/6 (pow y 2)))) (pow (cos y) 1/3) (pow (cos y) 1/3) z (* (cos y) z) (* (cos y) z) 321.642 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 321.643 * * [simplify]: iteration done : 4 enodes (cost 4 ) 321.643 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 321.644 * * [simplify]: iteration done : 4 enodes (cost 4 ) 321.644 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 321.645 * * [simplify]: iteration done : 5 enodes (cost 8 ) 321.645 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 321.646 * * [simplify]: iteration done : 4 enodes (cost 4 ) 321.646 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 321.647 * * [simplify]: iteration done : 4 enodes (cost 4 ) 321.647 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 321.648 * * [simplify]: iteration done : 4 enodes (cost 4 ) 321.648 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 321.649 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 321.649 * * [simplify]: iteration done : 4 enodes (cost 1 ) 321.649 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 321.650 * * [simplify]: iteration done : 3 enodes (cost 3 ) 321.650 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 321.651 * * [simplify]: iteration done : 5 enodes (cost 9 ) 321.651 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 321.651 * * [simplify]: iteration done : 4 enodes (cost 4 ) 321.652 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 321.653 * * [simplify]: iteration 1 : 6 enodes (cost 11 ) 321.654 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 321.655 * * [simplify]: iteration 3 : 13 enodes (cost 2 ) 321.656 * * [simplify]: iteration 4 : 19 enodes (cost 2 ) 321.658 * * [simplify]: iteration 5 : 29 enodes (cost 2 ) 321.661 * * [simplify]: iteration 6 : 50 enodes (cost 2 ) 321.670 * * [simplify]: iteration 7 : 108 enodes (cost 2 ) 321.716 * * [simplify]: iteration 8 : 311 enodes (cost 2 ) 322.161 * * [simplify]: iteration 9 : 1229 enodes (cost 2 ) 324.515 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 324.516 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 324.516 * * [simplify]: iteration done : 4 enodes (cost 4 ) 324.517 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 324.517 * * [simplify]: iteration done : 4 enodes (cost 4 ) 324.518 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 324.518 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 324.519 * * [simplify]: iteration done : 8 enodes (cost 6 ) 324.520 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 324.521 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 324.522 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 324.523 * * [simplify]: iteration done : 15 enodes (cost 6 ) 324.523 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 324.524 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 324.524 * * [simplify]: iteration done : 6 enodes (cost 1 ) 324.525 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 324.525 * * [simplify]: iteration done : 3 enodes (cost 5 ) 324.526 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 324.526 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 324.526 * * [simplify]: iteration done : 6 enodes (cost 1 ) 324.527 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 324.527 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 324.528 * * [simplify]: iteration 2 : 7 enodes (cost 5 ) 324.529 * * [simplify]: iteration done : 7 enodes (cost 5 ) 324.529 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 324.530 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 324.530 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 324.531 * * [simplify]: iteration 3 : 9 enodes (cost 5 ) 324.532 * * [simplify]: iteration done : 9 enodes (cost 5 ) 324.533 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 324.533 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 324.534 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 324.535 * * [simplify]: iteration 3 : 15 enodes (cost 6 ) 324.537 * * [simplify]: iteration 4 : 33 enodes (cost 6 ) 324.542 * * [simplify]: iteration 5 : 73 enodes (cost 6 ) 324.562 * * [simplify]: iteration 6 : 177 enodes (cost 6 ) 324.661 * * [simplify]: iteration 7 : 560 enodes (cost 6 ) 325.532 * * [simplify]: iteration 8 : 2247 enodes (cost 6 ) 327.670 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 327.671 * * [simplify]: iteration 0 : 5 enodes (cost 17 ) 327.672 * * [simplify]: iteration 1 : 12 enodes (cost 17 ) 327.674 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 327.678 * * [simplify]: iteration 3 : 34 enodes (cost 4 ) 327.683 * * [simplify]: iteration 4 : 67 enodes (cost 4 ) 327.703 * * [simplify]: iteration 5 : 147 enodes (cost 4 ) 327.749 * * [simplify]: iteration 6 : 370 enodes (cost 4 ) 328.112 * * [simplify]: iteration 7 : 1337 enodes (cost 4 ) 330.524 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 330.524 * * [simplify]: iteration 0 : 5 enodes (cost 13 ) 330.525 * * [simplify]: iteration done : 5 enodes (cost 13 ) 330.526 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 330.526 * * [simplify]: iteration done : 4 enodes (cost 6 ) 330.527 * * [simplify]: iteration 0 : 5 enodes (cost 17 ) 330.528 * * [simplify]: iteration 1 : 13 enodes (cost 17 ) 330.530 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 330.534 * * [simplify]: iteration 3 : 34 enodes (cost 4 ) 330.541 * * [simplify]: iteration 4 : 68 enodes (cost 4 ) 330.563 * * [simplify]: iteration 5 : 153 enodes (cost 4 ) 330.616 * * [simplify]: iteration 6 : 379 enodes (cost 4 ) 330.993 * * [simplify]: iteration 7 : 1358 enodes (cost 4 ) 333.069 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 333.070 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 333.070 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 333.071 * * [simplify]: iteration done : 5 enodes (cost 3 ) 333.071 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 333.072 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 333.072 * * [simplify]: iteration done : 5 enodes (cost 3 ) 333.073 * * [simplify]: iteration 0 : 5 enodes (cost 15 ) 333.074 * * [simplify]: iteration 1 : 9 enodes (cost 15 ) 333.075 * * [simplify]: iteration 2 : 11 enodes (cost 9 ) 333.077 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 333.079 * * [simplify]: iteration 4 : 35 enodes (cost 5 ) 333.083 * * [simplify]: iteration 5 : 61 enodes (cost 5 ) 333.094 * * [simplify]: iteration 6 : 131 enodes (cost 5 ) 333.140 * * [simplify]: iteration 7 : 348 enodes (cost 5 ) 333.496 * * [simplify]: iteration 8 : 1255 enodes (cost 5 ) 335.085 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 335.086 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 335.086 * * [simplify]: iteration done : 4 enodes (cost 7 ) 335.087 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 335.087 * * [simplify]: iteration done : 4 enodes (cost 2 ) 335.088 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 335.088 * * [simplify]: iteration done : 4 enodes (cost 2 ) 335.089 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 335.089 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 335.090 * * [simplify]: iteration done : 4 enodes (cost 1 ) 335.090 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 335.090 * * [simplify]: iteration done : 3 enodes (cost 5 ) 335.091 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 335.091 * * [simplify]: iteration done : 4 enodes (cost 2 ) 335.092 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 335.092 * * [simplify]: iteration done : 4 enodes (cost 2 ) 335.093 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 335.093 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 335.094 * * [simplify]: iteration done : 6 enodes (cost 1 ) 335.094 * * [simplify]: iteration 0 : 5 enodes (cost 10 ) 335.095 * * [simplify]: iteration 1 : 8 enodes (cost 10 ) 335.096 * * [simplify]: iteration 2 : 10 enodes (cost 10 ) 335.097 * * [simplify]: iteration done : 10 enodes (cost 10 ) 335.098 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 335.098 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 335.099 * * [simplify]: iteration done : 5 enodes (cost 6 ) 335.099 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 335.100 * * [simplify]: iteration 1 : 7 enodes (cost 2 ) 335.100 * * [simplify]: iteration 2 : 10 enodes (cost 2 ) 335.101 * * [simplify]: iteration done : 10 enodes (cost 2 ) 335.102 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 335.102 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 335.102 * * [simplify]: iteration done : 5 enodes (cost 6 ) 335.103 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 335.104 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 335.104 * * [simplify]: iteration done : 5 enodes (cost 6 ) 335.105 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 335.105 * * [simplify]: iteration done : 3 enodes (cost 5 ) 335.106 * * [simplify]: iteration 0 : 7 enodes (cost 12 ) 335.107 * * [simplify]: iteration 1 : 9 enodes (cost 12 ) 335.113 * * [simplify]: iteration 2 : 11 enodes (cost 8 ) 335.114 * * [simplify]: iteration 3 : 12 enodes (cost 8 ) 335.115 * * [simplify]: iteration done : 12 enodes (cost 8 ) 335.116 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 335.117 * * [simplify]: iteration done : 6 enodes (cost 6 ) 335.117 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 335.118 * * [simplify]: iteration done : 6 enodes (cost 6 ) 335.118 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 335.119 * * [simplify]: iteration done : 6 enodes (cost 6 ) 335.119 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 335.120 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 335.120 * * [simplify]: iteration done : 4 enodes (cost 1 ) 335.120 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 335.121 * * [simplify]: iteration done : 5 enodes (cost 3 ) 335.121 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 335.122 * * [simplify]: iteration done : 5 enodes (cost 3 ) 335.123 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 335.123 * * [simplify]: iteration done : 7 enodes (cost 8 ) 335.124 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 335.124 * * [simplify]: iteration done : 6 enodes (cost 4 ) 335.125 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 335.125 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 335.126 * * [simplify]: iteration done : 6 enodes (cost 1 ) 335.126 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 335.127 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 335.128 * * [simplify]: iteration 2 : 15 enodes (cost 9 ) 335.130 * * [simplify]: iteration 3 : 23 enodes (cost 9 ) 335.132 * * [simplify]: iteration 4 : 48 enodes (cost 9 ) 335.139 * * [simplify]: iteration 5 : 121 enodes (cost 9 ) 335.190 * * [simplify]: iteration 6 : 365 enodes (cost 9 ) 335.536 * * [simplify]: iteration 7 : 1334 enodes (cost 9 ) 337.356 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 337.357 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 337.358 * * [simplify]: iteration done : 6 enodes (cost 4 ) 337.358 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 337.359 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 337.359 * * [simplify]: iteration done : 6 enodes (cost 1 ) 337.360 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 337.360 * * [simplify]: iteration done : 6 enodes (cost 4 ) 337.361 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 337.361 * * [simplify]: iteration done : 6 enodes (cost 4 ) 337.362 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 337.363 * * [simplify]: iteration done : 7 enodes (cost 9 ) 337.363 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 337.364 * * [simplify]: iteration done : 6 enodes (cost 4 ) 337.365 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 337.366 * * [simplify]: iteration 1 : 8 enodes (cost 11 ) 337.366 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 337.368 * * [simplify]: iteration 3 : 15 enodes (cost 2 ) 337.369 * * [simplify]: iteration 4 : 21 enodes (cost 2 ) 337.371 * * [simplify]: iteration 5 : 31 enodes (cost 2 ) 337.375 * * [simplify]: iteration 6 : 52 enodes (cost 2 ) 337.388 * * [simplify]: iteration 7 : 110 enodes (cost 2 ) 337.432 * * [simplify]: iteration 8 : 318 enodes (cost 2 ) 337.895 * * [simplify]: iteration 9 : 1248 enodes (cost 2 ) 340.261 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 340.262 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 340.262 * * [simplify]: iteration done : 6 enodes (cost 4 ) 340.263 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 340.264 * * [simplify]: iteration done : 6 enodes (cost 4 ) 340.264 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 340.266 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 340.269 * * [simplify]: iteration 2 : 39 enodes (cost 12 ) 340.274 * * [simplify]: iteration 3 : 75 enodes (cost 12 ) 340.290 * * [simplify]: iteration 4 : 181 enodes (cost 12 ) 340.389 * * [simplify]: iteration 5 : 548 enodes (cost 12 ) 341.202 * * [simplify]: iteration 6 : 1943 enodes (cost 12 ) 344.200 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 344.201 * * [simplify]: iteration 0 : 14 enodes (cost 19 ) 344.203 * * [simplify]: iteration 1 : 21 enodes (cost 15 ) 344.205 * * [simplify]: iteration 2 : 36 enodes (cost 13 ) 344.210 * * [simplify]: iteration 3 : 56 enodes (cost 13 ) 344.217 * * [simplify]: iteration 4 : 66 enodes (cost 13 ) 344.227 * * [simplify]: iteration done : 66 enodes (cost 13 ) 344.227 * * [simplify]: iteration 0 : 14 enodes (cost 18 ) 344.229 * * [simplify]: iteration 1 : 21 enodes (cost 16 ) 344.231 * * [simplify]: iteration 2 : 33 enodes (cost 15 ) 344.239 * * [simplify]: iteration 3 : 54 enodes (cost 13 ) 344.247 * * [simplify]: iteration 4 : 68 enodes (cost 13 ) 344.255 * * [simplify]: iteration done : 68 enodes (cost 13 ) 344.256 * * [simplify]: iteration 0 : 14 enodes (cost 18 ) 344.258 * * [simplify]: iteration 1 : 21 enodes (cost 16 ) 344.260 * * [simplify]: iteration 2 : 33 enodes (cost 15 ) 344.264 * * [simplify]: iteration 3 : 54 enodes (cost 13 ) 344.272 * * [simplify]: iteration 4 : 68 enodes (cost 13 ) 344.281 * * [simplify]: iteration done : 68 enodes (cost 13 ) 344.281 * * [simplify]: iteration 0 : 14 enodes (cost 18 ) 344.283 * * [simplify]: iteration 1 : 26 enodes (cost 15 ) 344.286 * * [simplify]: iteration 2 : 43 enodes (cost 15 ) 344.294 * * [simplify]: iteration 3 : 76 enodes (cost 15 ) 344.307 * * [simplify]: iteration 4 : 176 enodes (cost 13 ) 344.366 * * [simplify]: iteration 5 : 457 enodes (cost 13 ) 344.702 * * [simplify]: iteration 6 : 1391 enodes (cost 13 ) 347.373 * * [simplify]: iteration 7 : 4913 enodes (cost 13 ) 348.527 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 348.528 * * [simplify]: iteration 0 : 13 enodes (cost 17 ) 348.530 * * [simplify]: iteration 1 : 24 enodes (cost 14 ) 348.532 * * [simplify]: iteration 2 : 43 enodes (cost 14 ) 348.537 * * [simplify]: iteration 3 : 83 enodes (cost 14 ) 348.557 * * [simplify]: iteration 4 : 202 enodes (cost 14 ) 348.641 * * [simplify]: iteration 5 : 632 enodes (cost 13 ) 349.193 * * [simplify]: iteration 6 : 1984 enodes (cost 13 ) 351.666 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 351.666 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 351.668 * * [simplify]: iteration 1 : 25 enodes (cost 13 ) 351.671 * * [simplify]: iteration 2 : 50 enodes (cost 13 ) 351.678 * * [simplify]: iteration 3 : 107 enodes (cost 13 ) 351.701 * * [simplify]: iteration 4 : 266 enodes (cost 13 ) 351.821 * * [simplify]: iteration 5 : 781 enodes (cost 13 ) 353.055 * * [simplify]: iteration 6 : 2772 enodes (cost 12 ) 355.368 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 355.369 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 355.370 * * [simplify]: iteration 1 : 24 enodes (cost 13 ) 355.373 * * [simplify]: iteration 2 : 51 enodes (cost 13 ) 355.380 * * [simplify]: iteration 3 : 114 enodes (cost 13 ) 355.408 * * [simplify]: iteration 4 : 326 enodes (cost 13 ) 355.548 * * [simplify]: iteration 5 : 1133 enodes (cost 13 ) 357.110 * * [simplify]: iteration 6 : 4882 enodes (cost 13 ) 358.256 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 358.257 * * [simplify]: iteration 0 : 13 enodes (cost 29 ) 358.259 * * [simplify]: iteration 1 : 25 enodes (cost 23 ) 358.263 * * [simplify]: iteration 2 : 80 enodes (cost 15 ) 358.298 * * [simplify]: iteration 3 : 254 enodes (cost 12 ) 358.480 * * [simplify]: iteration 4 : 681 enodes (cost 12 ) 359.788 * * [simplify]: iteration 5 : 2376 enodes (cost 6 ) 361.926 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 361.927 * * [simplify]: iteration 0 : 17 enodes (cost 47 ) 361.929 * * [simplify]: iteration 1 : 39 enodes (cost 32 ) 361.936 * * [simplify]: iteration 2 : 125 enodes (cost 18 ) 361.987 * * [simplify]: iteration 3 : 541 enodes (cost 12 ) 362.814 * * [simplify]: iteration 4 : 3115 enodes (cost 8 ) 364.651 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 364.652 * * [simplify]: iteration 0 : 15 enodes (cost 47 ) 364.654 * * [simplify]: iteration 1 : 38 enodes (cost 38 ) 364.662 * * [simplify]: iteration 2 : 128 enodes (cost 16 ) 364.731 * * [simplify]: iteration 3 : 624 enodes (cost 13 ) 366.098 * * [simplify]: iteration 4 : 3682 enodes (cost 12 ) 367.985 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 367.986 * * [simplify]: iteration 0 : 13 enodes (cost 33 ) 367.997 * * [simplify]: iteration 1 : 23 enodes (cost 27 ) 368.000 * * [simplify]: iteration 2 : 41 enodes (cost 27 ) 368.006 * * [simplify]: iteration 3 : 77 enodes (cost 27 ) 368.022 * * [simplify]: iteration 4 : 183 enodes (cost 27 ) 368.119 * * [simplify]: iteration 5 : 553 enodes (cost 27 ) 368.962 * * [simplify]: iteration 6 : 1990 enodes (cost 27 ) 371.846 * * [simplify]: iteration done : 5001 enodes (cost 27 ) 371.846 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 371.848 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 371.856 * * [simplify]: iteration 2 : 40 enodes (cost 13 ) 371.861 * * [simplify]: iteration 3 : 76 enodes (cost 13 ) 371.877 * * [simplify]: iteration 4 : 184 enodes (cost 13 ) 371.976 * * [simplify]: iteration 5 : 548 enodes (cost 13 ) 372.802 * * [simplify]: iteration 6 : 1963 enodes (cost 13 ) 375.977 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 375.978 * * [simplify]: iteration 0 : 13 enodes (cost 47 ) 375.980 * * [simplify]: iteration 1 : 33 enodes (cost 38 ) 375.986 * * [simplify]: iteration 2 : 115 enodes (cost 14 ) 376.051 * * [simplify]: iteration 3 : 583 enodes (cost 14 ) 377.366 * * [simplify]: iteration 4 : 3311 enodes (cost 12 ) 379.784 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 379.785 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 379.787 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 379.789 * * [simplify]: iteration 2 : 40 enodes (cost 13 ) 379.795 * * [simplify]: iteration 3 : 76 enodes (cost 13 ) 379.811 * * [simplify]: iteration 4 : 184 enodes (cost 13 ) 379.910 * * [simplify]: iteration 5 : 548 enodes (cost 13 ) 380.753 * * [simplify]: iteration 6 : 1963 enodes (cost 13 ) 383.671 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 383.672 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 383.673 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 383.676 * * [simplify]: iteration 2 : 40 enodes (cost 13 ) 383.682 * * [simplify]: iteration 3 : 76 enodes (cost 13 ) 383.703 * * [simplify]: iteration 4 : 184 enodes (cost 13 ) 383.800 * * [simplify]: iteration 5 : 548 enodes (cost 13 ) 384.631 * * [simplify]: iteration 6 : 1963 enodes (cost 13 ) 387.546 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 387.546 * * [simplify]: iteration 0 : 13 enodes (cost 22 ) 387.548 * * [simplify]: iteration 1 : 25 enodes (cost 21 ) 387.551 * * [simplify]: iteration 2 : 52 enodes (cost 17 ) 387.561 * * [simplify]: iteration 3 : 126 enodes (cost 17 ) 387.611 * * [simplify]: iteration 4 : 367 enodes (cost 17 ) 388.030 * * [simplify]: iteration 5 : 1342 enodes (cost 17 ) 391.835 * * [simplify]: iteration 6 : 4970 enodes (cost 17 ) 393.409 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 393.410 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 393.411 * * [simplify]: iteration 1 : 22 enodes (cost 15 ) 393.413 * * [simplify]: iteration 2 : 40 enodes (cost 15 ) 393.419 * * [simplify]: iteration 3 : 76 enodes (cost 15 ) 393.436 * * [simplify]: iteration 4 : 184 enodes (cost 15 ) 393.531 * * [simplify]: iteration 5 : 548 enodes (cost 15 ) 394.342 * * [simplify]: iteration 6 : 1921 enodes (cost 15 ) 397.210 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 397.211 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 397.213 * * [simplify]: iteration 1 : 22 enodes (cost 15 ) 397.215 * * [simplify]: iteration 2 : 40 enodes (cost 15 ) 397.220 * * [simplify]: iteration 3 : 76 enodes (cost 15 ) 397.241 * * [simplify]: iteration 4 : 184 enodes (cost 15 ) 397.337 * * [simplify]: iteration 5 : 548 enodes (cost 15 ) 398.133 * * [simplify]: iteration 6 : 1921 enodes (cost 15 ) 401.213 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 401.213 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 401.215 * * [simplify]: iteration 1 : 22 enodes (cost 15 ) 401.217 * * [simplify]: iteration 2 : 40 enodes (cost 15 ) 401.223 * * [simplify]: iteration 3 : 76 enodes (cost 15 ) 401.240 * * [simplify]: iteration 4 : 184 enodes (cost 15 ) 401.337 * * [simplify]: iteration 5 : 548 enodes (cost 15 ) 402.157 * * [simplify]: iteration 6 : 1921 enodes (cost 15 ) 405.056 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 405.056 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 405.058 * * [simplify]: iteration 1 : 22 enodes (cost 10 ) 405.060 * * [simplify]: iteration 2 : 40 enodes (cost 1 ) 405.069 * * [simplify]: iteration 3 : 61 enodes (cost 1 ) 405.076 * * [simplify]: iteration 4 : 112 enodes (cost 1 ) 405.104 * * [simplify]: iteration 5 : 267 enodes (cost 1 ) 405.303 * * [simplify]: iteration 6 : 801 enodes (cost 1 ) 407.385 * * [simplify]: iteration 7 : 3103 enodes (cost 1 ) 410.425 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 410.426 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 410.427 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 410.430 * * [simplify]: iteration 2 : 39 enodes (cost 12 ) 410.440 * * [simplify]: iteration 3 : 75 enodes (cost 12 ) 410.456 * * [simplify]: iteration 4 : 181 enodes (cost 12 ) 410.554 * * [simplify]: iteration 5 : 548 enodes (cost 12 ) 411.390 * * [simplify]: iteration 6 : 1943 enodes (cost 12 ) 414.514 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 414.514 * * [simplify]: iteration 0 : 13 enodes (cost 22 ) 414.516 * * [simplify]: iteration 1 : 25 enodes (cost 21 ) 414.526 * * [simplify]: iteration 2 : 48 enodes (cost 17 ) 414.533 * * [simplify]: iteration 3 : 116 enodes (cost 17 ) 414.571 * * [simplify]: iteration 4 : 332 enodes (cost 17 ) 414.932 * * [simplify]: iteration 5 : 1232 enodes (cost 17 ) 418.498 * * [simplify]: iteration 6 : 4774 enodes (cost 17 ) 420.166 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 420.167 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 420.169 * * [simplify]: iteration 1 : 22 enodes (cost 15 ) 420.171 * * [simplify]: iteration 2 : 40 enodes (cost 15 ) 420.183 * * [simplify]: iteration 3 : 74 enodes (cost 15 ) 420.199 * * [simplify]: iteration 4 : 175 enodes (cost 15 ) 420.291 * * [simplify]: iteration 5 : 515 enodes (cost 15 ) 421.072 * * [simplify]: iteration 6 : 1823 enodes (cost 15 ) 423.847 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 423.847 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 423.849 * * [simplify]: iteration 1 : 22 enodes (cost 15 ) 423.852 * * [simplify]: iteration 2 : 40 enodes (cost 15 ) 423.858 * * [simplify]: iteration 3 : 74 enodes (cost 15 ) 423.874 * * [simplify]: iteration 4 : 175 enodes (cost 15 ) 423.967 * * [simplify]: iteration 5 : 515 enodes (cost 15 ) 424.747 * * [simplify]: iteration 6 : 1823 enodes (cost 15 ) 427.777 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 427.778 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 427.779 * * [simplify]: iteration 1 : 22 enodes (cost 15 ) 427.782 * * [simplify]: iteration 2 : 40 enodes (cost 15 ) 427.787 * * [simplify]: iteration 3 : 74 enodes (cost 15 ) 427.804 * * [simplify]: iteration 4 : 175 enodes (cost 15 ) 427.895 * * [simplify]: iteration 5 : 515 enodes (cost 15 ) 428.701 * * [simplify]: iteration 6 : 1823 enodes (cost 15 ) 431.530 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 431.531 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 431.532 * * [simplify]: iteration 1 : 22 enodes (cost 10 ) 431.535 * * [simplify]: iteration 2 : 40 enodes (cost 1 ) 431.539 * * [simplify]: iteration 3 : 61 enodes (cost 1 ) 431.551 * * [simplify]: iteration 4 : 114 enodes (cost 1 ) 431.579 * * [simplify]: iteration 5 : 271 enodes (cost 1 ) 431.782 * * [simplify]: iteration 6 : 805 enodes (cost 1 ) 433.902 * * [simplify]: iteration 7 : 3117 enodes (cost 1 ) 437.828 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 437.828 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 437.830 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 437.832 * * [simplify]: iteration 2 : 39 enodes (cost 12 ) 437.837 * * [simplify]: iteration 3 : 75 enodes (cost 12 ) 437.853 * * [simplify]: iteration 4 : 175 enodes (cost 12 ) 437.943 * * [simplify]: iteration 5 : 522 enodes (cost 12 ) 438.693 * * [simplify]: iteration 6 : 1819 enodes (cost 12 ) 441.391 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 441.392 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 441.393 * * [simplify]: iteration 1 : 21 enodes (cost 8 ) 441.396 * * [simplify]: iteration 2 : 45 enodes (cost 8 ) 441.406 * * [simplify]: iteration 3 : 95 enodes (cost 8 ) 441.424 * * [simplify]: iteration 4 : 176 enodes (cost 8 ) 441.492 * * [simplify]: iteration 5 : 397 enodes (cost 8 ) 441.860 * * [simplify]: iteration 6 : 1097 enodes (cost 8 ) 445.057 * * [simplify]: iteration 7 : 3821 enodes (cost 8 ) 448.038 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 448.039 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 448.040 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 448.042 * * [simplify]: iteration 2 : 38 enodes (cost 13 ) 448.048 * * [simplify]: iteration 3 : 74 enodes (cost 13 ) 448.070 * * [simplify]: iteration 4 : 193 enodes (cost 13 ) 448.187 * * [simplify]: iteration 5 : 592 enodes (cost 13 ) 449.074 * * [simplify]: iteration 6 : 2038 enodes (cost 13 ) 451.896 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 451.897 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 451.899 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 451.901 * * [simplify]: iteration 2 : 38 enodes (cost 13 ) 451.906 * * [simplify]: iteration 3 : 74 enodes (cost 13 ) 451.924 * * [simplify]: iteration 4 : 193 enodes (cost 13 ) 452.032 * * [simplify]: iteration 5 : 592 enodes (cost 13 ) 452.922 * * [simplify]: iteration 6 : 2038 enodes (cost 13 ) 455.751 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 455.751 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 455.752 * * [simplify]: iteration 1 : 19 enodes (cost 12 ) 455.755 * * [simplify]: iteration 2 : 37 enodes (cost 12 ) 455.760 * * [simplify]: iteration 3 : 75 enodes (cost 12 ) 455.781 * * [simplify]: iteration 4 : 183 enodes (cost 12 ) 455.885 * * [simplify]: iteration 5 : 570 enodes (cost 12 ) 456.978 * * [simplify]: iteration 6 : 1962 enodes (cost 12 ) 460.348 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 460.349 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 460.351 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 460.353 * * [simplify]: iteration 2 : 38 enodes (cost 13 ) 460.358 * * [simplify]: iteration 3 : 74 enodes (cost 13 ) 460.382 * * [simplify]: iteration 4 : 193 enodes (cost 13 ) 460.494 * * [simplify]: iteration 5 : 592 enodes (cost 13 ) 461.405 * * [simplify]: iteration 6 : 2038 enodes (cost 13 ) 464.248 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 464.249 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 464.251 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 464.253 * * [simplify]: iteration 2 : 38 enodes (cost 13 ) 464.258 * * [simplify]: iteration 3 : 74 enodes (cost 13 ) 464.276 * * [simplify]: iteration 4 : 193 enodes (cost 13 ) 464.387 * * [simplify]: iteration 5 : 592 enodes (cost 13 ) 465.282 * * [simplify]: iteration 6 : 2038 enodes (cost 13 ) 468.128 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 468.129 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 468.130 * * [simplify]: iteration 1 : 19 enodes (cost 12 ) 468.132 * * [simplify]: iteration 2 : 37 enodes (cost 12 ) 468.138 * * [simplify]: iteration 3 : 75 enodes (cost 12 ) 468.155 * * [simplify]: iteration 4 : 183 enodes (cost 12 ) 468.259 * * [simplify]: iteration 5 : 570 enodes (cost 12 ) 469.130 * * [simplify]: iteration 6 : 1962 enodes (cost 12 ) 472.466 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 472.467 * * [simplify]: iteration 0 : 13 enodes (cost 23 ) 472.469 * * [simplify]: iteration 1 : 25 enodes (cost 18 ) 472.472 * * [simplify]: iteration 2 : 52 enodes (cost 18 ) 472.480 * * [simplify]: iteration 3 : 120 enodes (cost 18 ) 472.524 * * [simplify]: iteration 4 : 309 enodes (cost 18 ) 472.795 * * [simplify]: iteration 5 : 1001 enodes (cost 18 ) 475.107 * * [simplify]: iteration 6 : 3561 enodes (cost 18 ) 478.299 * * [simplify]: iteration done : 5000 enodes (cost 18 ) 478.300 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 478.301 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 478.304 * * [simplify]: iteration 2 : 40 enodes (cost 13 ) 478.309 * * [simplify]: iteration 3 : 76 enodes (cost 13 ) 478.331 * * [simplify]: iteration 4 : 184 enodes (cost 13 ) 478.423 * * [simplify]: iteration 5 : 548 enodes (cost 13 ) 479.241 * * [simplify]: iteration 6 : 1921 enodes (cost 13 ) 482.132 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 482.132 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 482.134 * * [simplify]: iteration 1 : 21 enodes (cost 8 ) 482.137 * * [simplify]: iteration 2 : 45 enodes (cost 8 ) 482.145 * * [simplify]: iteration 3 : 95 enodes (cost 8 ) 482.163 * * [simplify]: iteration 4 : 176 enodes (cost 8 ) 482.234 * * [simplify]: iteration 5 : 397 enodes (cost 8 ) 482.607 * * [simplify]: iteration 6 : 1097 enodes (cost 8 ) 486.086 * * [simplify]: iteration 7 : 3821 enodes (cost 8 ) 489.101 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 489.102 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 489.103 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 489.105 * * [simplify]: iteration 2 : 26 enodes (cost 10 ) 489.108 * * [simplify]: iteration 3 : 44 enodes (cost 10 ) 489.121 * * [simplify]: iteration 4 : 93 enodes (cost 10 ) 489.145 * * [simplify]: iteration 5 : 242 enodes (cost 10 ) 489.339 * * [simplify]: iteration 6 : 770 enodes (cost 10 ) 491.319 * * [simplify]: iteration 7 : 3065 enodes (cost 10 ) 494.310 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 494.311 * * [simplify]: iteration 0 : 14 enodes (cost 15 ) 494.313 * * [simplify]: iteration 1 : 34 enodes (cost 13 ) 494.318 * * [simplify]: iteration 2 : 79 enodes (cost 13 ) 494.334 * * [simplify]: iteration 3 : 207 enodes (cost 13 ) 494.470 * * [simplify]: iteration 4 : 706 enodes (cost 13 ) 494.951 * * [simplify]: iteration 5 : 1987 enodes (cost 13 ) 497.063 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 497.064 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 497.065 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 497.066 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 497.067 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 497.070 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 497.079 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 497.128 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 497.586 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 499.962 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 499.963 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 499.963 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 499.964 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 499.965 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 499.968 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 499.977 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 500.024 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 500.481 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 502.819 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 502.820 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 502.822 * * [simplify]: iteration 1 : 25 enodes (cost 11 ) 502.825 * * [simplify]: iteration 2 : 62 enodes (cost 11 ) 502.839 * * [simplify]: iteration 3 : 145 enodes (cost 11 ) 502.916 * * [simplify]: iteration 4 : 414 enodes (cost 11 ) 503.092 * * [simplify]: iteration 5 : 967 enodes (cost 11 ) 505.012 * * [simplify]: iteration 6 : 4256 enodes (cost 11 ) 508.091 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 508.092 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 508.092 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 508.093 * * [simplify]: iteration 2 : 17 enodes (cost 4 ) 508.095 * * [simplify]: iteration 3 : 28 enodes (cost 4 ) 508.098 * * [simplify]: iteration 4 : 53 enodes (cost 4 ) 508.107 * * [simplify]: iteration 5 : 117 enodes (cost 4 ) 508.158 * * [simplify]: iteration 6 : 333 enodes (cost 4 ) 508.635 * * [simplify]: iteration 7 : 1365 enodes (cost 4 ) 510.998 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 510.999 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 510.999 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 511.001 * * [simplify]: iteration 2 : 17 enodes (cost 4 ) 511.002 * * [simplify]: iteration 3 : 28 enodes (cost 4 ) 511.006 * * [simplify]: iteration 4 : 53 enodes (cost 4 ) 511.015 * * [simplify]: iteration 5 : 117 enodes (cost 4 ) 511.067 * * [simplify]: iteration 6 : 333 enodes (cost 4 ) 511.565 * * [simplify]: iteration 7 : 1365 enodes (cost 4 ) 513.704 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 513.705 * * [simplify]: iteration 0 : 14 enodes (cost 15 ) 513.707 * * [simplify]: iteration 1 : 34 enodes (cost 13 ) 513.714 * * [simplify]: iteration 2 : 79 enodes (cost 13 ) 513.734 * * [simplify]: iteration 3 : 207 enodes (cost 13 ) 513.869 * * [simplify]: iteration 4 : 706 enodes (cost 13 ) 514.358 * * [simplify]: iteration 5 : 1987 enodes (cost 13 ) 516.460 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 516.460 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 516.461 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 516.462 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 516.463 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 516.466 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 516.475 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 516.522 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 516.987 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 520.052 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 520.053 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 520.055 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 520.057 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 520.060 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 520.066 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 520.084 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 520.183 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 521.067 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 524.897 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 524.904 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 524.904 * * [simplify]: iteration done : 1 enodes (cost 1 ) 524.905 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 524.906 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 524.907 * * [simplify]: iteration done : 5 enodes (cost 4 ) 524.908 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 524.909 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 524.910 * * [simplify]: iteration done : 5 enodes (cost 4 ) 524.912 * [simplify]: Simplified to: (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (* 1/2 (cos (* 2 y))) (+ 1 (cos (+ y y))) 2 (* (cos y) (cos y)) 2 (* 2 (log (cos y))) (* 2 (log (cos y))) (exp (* (cos y) (cos y))) (pow (cos y) 6) (* (cbrt (* (cos y) (cos y))) (cbrt (* (cos y) (cos y)))) (cbrt (* (cos y) (cos y))) (pow (cos y) 6) (fabs (cos y)) (fabs (cos y)) (pow (cbrt (cos y)) 4) (* (cbrt (cos y)) (cbrt (cos y))) (cos y) (cos y) 1 (* (cos y) (cos y)) (cos y) (cos y) 2 (* (cos y) (* (cbrt (cos y)) (cbrt (cos y)))) (* (cos y) (sqrt (cos y))) (cos y) (* (cbrt (cos y)) (cos y)) (* (sqrt (cos y)) (cos y)) (* (cos y) (cos y)) (* 2 (log (cbrt (exp (cbrt (cos y)))))) (log (cbrt (exp (cbrt (cos y))))) (log (sqrt (exp (cbrt (cos y))))) (log (sqrt (exp (cbrt (cos y))))) 0 (cbrt (cos y)) (cbrt (cos y)) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (sqrt (cos y))) 1 (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (sqrt (cbrt (cos y))) 1 (log (cbrt (cos y))) (exp (cbrt (cos y))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (* (cbrt (cos y)) (* (cbrt (* (cos y) (cos y))) z)) (+ (* 2/3 (log (cos y))) (+ (log z) (log (cbrt (cos y))))) (+ (+ (* (log (cos y)) 2/3) (log z)) (log (cbrt (cos y)))) (+ (+ (* (log (cos y)) 2/3) (log z)) (log (cbrt (cos y)))) (+ (+ (* 2/3 (log (cos y))) (log (cbrt (cos y)))) (log z)) (+ (* 2/3 (log (cos y))) (+ (log (cbrt (cos y))) (log z))) (+ (* 2/3 (log (cos y))) (log (* z (cbrt (cos y))))) (exp (* (cbrt (cos y)) (* (cbrt (* (cos y) (cos y))) z))) (pow (* z (cos y)) 3) (* (pow z 3) (pow (cos y) 3)) (* (cos y) (* (* (cos y) (cos y)) (pow z 3))) (* (cbrt (* (cbrt (cos y)) (* (cbrt (* (cos y) (cos y))) z))) (cbrt (* (cbrt (cos y)) (* (cbrt (* (cos y) (cos y))) z)))) (cbrt (* (cbrt (cos y)) (* (cbrt (* (cos y) (cos y))) z))) (* (* (cos y) (pow z 3)) (* (cos y) (cos y))) (sqrt (* (cbrt (cos y)) (* (cbrt (* (cos y) (cos y))) z))) (sqrt (* (cbrt (cos y)) (* (cbrt (* (cos y) (cos y))) z))) (* (* (cbrt (* (cos y) (cos y))) (* 2 (log (cbrt (exp (cbrt (cos y))))))) z) (* (log (cbrt (exp (cbrt (cos y))))) (* (cbrt (* (cos y) (cos y))) z)) (* (log (sqrt (exp (cbrt (cos y))))) (* (cbrt (* (cos y) (cos y))) z)) (* (log (sqrt (exp (cbrt (cos y))))) (* (cbrt (* (cos y) (cos y))) z)) 0 (* (cbrt (cos y)) (* (cbrt (* (cos y) (cos y))) z)) (* (* (* 2 (log (cbrt (exp (cbrt (cos y)))))) (cbrt (* (cos y) (cos y)))) z) (* (* (cbrt (* (cos y) (cos y))) z) (log (cbrt (exp (cbrt (cos y)))))) (* (* (cbrt (* (cos y) (cos y))) z) (log (sqrt (exp (cbrt (cos y)))))) (* (* (cbrt (* (cos y) (cos y))) z) (log (sqrt (exp (cbrt (cos y)))))) 0 (* (* z (cbrt (* (cos y) (cos y)))) (cbrt (cos y))) (* (cbrt (* (cos y) (cos y))) z) (* (cbrt (cbrt (cos y))) (* (cbrt (* (cos y) (cos y))) z)) (* (cbrt (sqrt (cos y))) (* (cbrt (* (cos y) (cos y))) z)) (* (cbrt (cos y)) (* (cbrt (* (cos y) (cos y))) z)) (* (cbrt (cbrt (cos y))) (* (cbrt (* (cos y) (cos y))) z)) (* (sqrt (cbrt (cos y))) (* (cbrt (* (cos y) (cos y))) z)) (* (cbrt (cos y)) (* (cbrt (* (cos y) (cos y))) z)) (* (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (cbrt (* (cos y) (cos y))) z)) (* (sqrt (cbrt (cos y))) (* (cbrt (* (cos y) (cos y))) z)) (* (cbrt (* (cos y) (cos y))) z) (* (cbrt (cos y)) (cbrt (* (cos y) (cos y)))) (- 1 (+ (* 1/72 (pow y 4)) (* 1/6 (pow y 2)))) (cbrt (cos y)) (cbrt (cos y)) (- (+ (* 1/3 (pow y 4)) 1) (pow y 2)) (pow (cos y) 2) (pow (cos y) 2) (- 1 (+ (* 1/72 (pow y 4)) (* 1/6 (pow y 2)))) (cbrt (cos y)) (cbrt (cos y)) z (* (cos y) z) (* (cos y) z) 524.913 * * * [progress]: adding candidates to table 525.161 * [progress]: [Phase 3 of 3] Extracting. 525.161 * * [regime]: Finding splitpoints for: (# # # # # # #) 525.165 * * * [regime-changes]: Trying 4 branch expressions: ((+ (+ x (sin y)) (* z (cos y))) z y x) 525.165 * * * * [regimes]: Trying to branch on (+ (+ x (sin y)) (* z (cos y))) from (# # # # # # #) 525.330 * * * * [regimes]: Trying to branch on z from (# # # # # # #) 525.464 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 525.598 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 525.732 * * * [regime]: Found split indices: #