637.216 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.088 * * * [progress]: [2/2] Setting up program. 0.090 * [progress]: [Phase 2 of 3] Improving. 0.091 * [simplify]: Simplifying using # : (+ (- (exp x) 2.0) (exp (neg x))) 0.091 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.092 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 0.094 * * [simplify]: iteration 2 : 26 enodes (cost 8 ) 0.097 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 0.102 * * [simplify]: iteration 4 : 49 enodes (cost 8 ) 0.107 * * [simplify]: iteration 5 : 54 enodes (cost 8 ) 0.112 * * [simplify]: iteration 6 : 63 enodes (cost 8 ) 0.119 * * [simplify]: iteration 7 : 80 enodes (cost 8 ) 0.137 * * [simplify]: iteration 8 : 99 enodes (cost 8 ) 0.148 * * [simplify]: iteration 9 : 106 enodes (cost 8 ) 0.160 * * [simplify]: iteration 10 : 110 enodes (cost 8 ) 0.174 * * [simplify]: iteration 11 : 114 enodes (cost 8 ) 0.187 * * [simplify]: iteration done : 114 enodes (cost 8 ) 0.187 * [simplify]: Simplified to: (+ (- (exp x) 2.0) (exp (neg x))) 0.187 * * [progress]: iteration 1 / 4 0.187 * * * [progress]: picking best candidate 0.190 * * * * [pick]: Picked # 0.190 * * * [progress]: localizing error 0.200 * * * [progress]: generating rewritten candidates 0.200 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.209 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.215 * * * [progress]: generating series expansions 0.215 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.215 * [approximate]: Taking taylor expansion of (- (+ (exp x) (exp (neg x))) 2.0) in (x) around 0 0.215 * [taylor]: Taking taylor expansion of (- (+ (exp x) (exp (neg x))) 2.0) in x 0.215 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x 0.215 * [taylor]: Taking taylor expansion of (exp x) in x 0.215 * [taylor]: Taking taylor expansion of x in x 0.215 * [taylor]: Taking taylor expansion of (exp (neg x)) in x 0.215 * [taylor]: Taking taylor expansion of (neg x) in x 0.215 * [taylor]: Taking taylor expansion of x in x 0.215 * [taylor]: Taking taylor expansion of 2.0 in x 0.215 * [taylor]: Taking taylor expansion of (- (+ (exp x) (exp (neg x))) 2.0) in x 0.215 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x 0.215 * [taylor]: Taking taylor expansion of (exp x) in x 0.215 * [taylor]: Taking taylor expansion of x in x 0.215 * [taylor]: Taking taylor expansion of (exp (neg x)) in x 0.215 * [taylor]: Taking taylor expansion of (neg x) in x 0.215 * [taylor]: Taking taylor expansion of x in x 0.215 * [taylor]: Taking taylor expansion of 2.0 in x 0.221 * [approximate]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2.0) in (x) around 0 0.221 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2.0) in x 0.221 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x 0.221 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.221 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.221 * [taylor]: Taking taylor expansion of x in x 0.221 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x 0.221 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 0.221 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.221 * [taylor]: Taking taylor expansion of x in x 0.221 * [taylor]: Taking taylor expansion of 2.0 in x 0.221 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2.0) in x 0.221 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x 0.221 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.221 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.221 * [taylor]: Taking taylor expansion of x in x 0.221 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x 0.221 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 0.221 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.222 * [taylor]: Taking taylor expansion of x in x 0.222 * [taylor]: Taking taylor expansion of 2.0 in x 0.222 * [approximate]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in (x) around 0 0.222 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in x 0.222 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 0.222 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.222 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.222 * [taylor]: Taking taylor expansion of x in x 0.222 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.222 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.223 * [taylor]: Taking taylor expansion of -1 in x 0.223 * [taylor]: Taking taylor expansion of x in x 0.223 * [taylor]: Taking taylor expansion of 2.0 in x 0.223 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in x 0.223 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 0.223 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.223 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.223 * [taylor]: Taking taylor expansion of x in x 0.223 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.223 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.223 * [taylor]: Taking taylor expansion of -1 in x 0.223 * [taylor]: Taking taylor expansion of x in x 0.223 * [taylor]: Taking taylor expansion of 2.0 in x 0.223 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.223 * [approximate]: Taking taylor expansion of (- (exp x) 2.0) in (x) around 0 0.223 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x 0.223 * [taylor]: Taking taylor expansion of (exp x) in x 0.223 * [taylor]: Taking taylor expansion of x in x 0.224 * [taylor]: Taking taylor expansion of 2.0 in x 0.224 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x 0.224 * [taylor]: Taking taylor expansion of (exp x) in x 0.224 * [taylor]: Taking taylor expansion of x in x 0.224 * [taylor]: Taking taylor expansion of 2.0 in x 0.224 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in (x) around 0 0.224 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x 0.224 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.224 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.224 * [taylor]: Taking taylor expansion of x in x 0.224 * [taylor]: Taking taylor expansion of 2.0 in x 0.224 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x 0.224 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.224 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.224 * [taylor]: Taking taylor expansion of x in x 0.224 * [taylor]: Taking taylor expansion of 2.0 in x 0.225 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in (x) around 0 0.225 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x 0.225 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.225 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.225 * [taylor]: Taking taylor expansion of -1 in x 0.225 * [taylor]: Taking taylor expansion of x in x 0.225 * [taylor]: Taking taylor expansion of 2.0 in x 0.225 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x 0.225 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.225 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.225 * [taylor]: Taking taylor expansion of -1 in x 0.225 * [taylor]: Taking taylor expansion of x in x 0.225 * [taylor]: Taking taylor expansion of 2.0 in x 0.225 * * * [progress]: simplifying candidates 0.226 * [simplify]: Simplifying using # : (* (/ (exp (exp x)) (exp 2.0)) (exp (exp (neg x)))) (* (exp (- (exp x) 2.0)) (exp (exp (neg x)))) (log (+ (- (exp x) 2.0) (exp (neg x)))) (exp (+ (- (exp x) 2.0) (exp (neg x)))) (* (cbrt (+ (- (exp x) 2.0) (exp (neg x)))) (cbrt (+ (- (exp x) 2.0) (exp (neg x))))) (cbrt (+ (- (exp x) 2.0) (exp (neg x)))) (* (* (+ (- (exp x) 2.0) (exp (neg x))) (+ (- (exp x) 2.0) (exp (neg x)))) (+ (- (exp x) 2.0) (exp (neg x)))) (sqrt (+ (- (exp x) 2.0) (exp (neg x)))) (sqrt (+ (- (exp x) 2.0) (exp (neg x)))) (+ (* (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (* (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) 1)) (* (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) (exp x)) (+ (* (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (* (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) (exp 0))) (* (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) (exp x)) (+ (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (exp x)) (* (+ (exp x) 2.0) 1)) (* (+ (exp x) 2.0) (exp x)) (+ (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (exp x)) (* (+ (exp x) 2.0) (exp 0))) (* (+ (exp x) 2.0) (exp x)) (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3)) (+ (* (- (exp x) 2.0) (- (exp x) 2.0)) (- (* (exp (neg x)) (exp (neg x))) (* (- (exp x) 2.0) (exp (neg x))))) (- (* (- (exp x) 2.0) (- (exp x) 2.0)) (* (exp (neg x)) (exp (neg x)))) (- (- (exp x) 2.0) (exp (neg x))) (+ (- (exp x) 2.0) (exp (neg x))) (+ (- (exp x) 2.0) (exp (neg x))) (+ (neg 2.0) (exp (neg x))) (+ (neg 2.0) (exp (neg x))) (- 2.0 (exp (neg x))) (/ (exp (exp x)) (exp 2.0)) (log (- (exp x) 2.0)) (exp (- (exp x) 2.0)) (* (cbrt (- (exp x) 2.0)) (cbrt (- (exp x) 2.0))) (cbrt (- (exp x) 2.0)) (* (* (- (exp x) 2.0) (- (exp x) 2.0)) (- (exp x) 2.0)) (sqrt (- (exp x) 2.0)) (sqrt (- (exp x) 2.0)) (- (pow (exp x) 3) (pow 2.0 3)) (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) (neg 2.0) (- (* (exp x) (exp x)) (* 2.0 2.0)) (+ (exp x) 2.0) (+ (sqrt (exp x)) (sqrt 2.0)) (- (sqrt (exp x)) (sqrt 2.0)) (- (exp x) 2.0) (neg 2.0) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (- (+ (exp x) (exp (neg x))) 2.0) (- (+ (exp x) (exp (* -1 x))) 2.0) (- (+ x (* 1/2 (pow x 2))) 1.0) (- (exp x) 2.0) (- (exp x) 2.0) 0.227 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 0.228 * * [simplify]: iteration 1 : 17 enodes (cost 10 ) 0.230 * * [simplify]: iteration 2 : 30 enodes (cost 9 ) 0.233 * * [simplify]: iteration 3 : 43 enodes (cost 9 ) 0.238 * * [simplify]: iteration 4 : 63 enodes (cost 9 ) 0.247 * * [simplify]: iteration 5 : 93 enodes (cost 9 ) 0.262 * * [simplify]: iteration 6 : 128 enodes (cost 9 ) 0.291 * * [simplify]: iteration 7 : 226 enodes (cost 9 ) 0.358 * * [simplify]: iteration 8 : 334 enodes (cost 9 ) 0.442 * * [simplify]: iteration 9 : 412 enodes (cost 9 ) 0.530 * * [simplify]: iteration 10 : 432 enodes (cost 9 ) 0.614 * * [simplify]: iteration done : 432 enodes (cost 9 ) 0.615 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 0.616 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 0.618 * * [simplify]: iteration 2 : 33 enodes (cost 9 ) 0.622 * * [simplify]: iteration 3 : 59 enodes (cost 9 ) 0.630 * * [simplify]: iteration 4 : 88 enodes (cost 9 ) 0.644 * * [simplify]: iteration 5 : 121 enodes (cost 9 ) 0.670 * * [simplify]: iteration 6 : 202 enodes (cost 9 ) 0.713 * * [simplify]: iteration 7 : 295 enodes (cost 9 ) 0.798 * * [simplify]: iteration 8 : 414 enodes (cost 9 ) 0.900 * * [simplify]: iteration 9 : 455 enodes (cost 9 ) 0.980 * * [simplify]: iteration done : 455 enodes (cost 9 ) 0.981 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.981 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 0.983 * * [simplify]: iteration 2 : 27 enodes (cost 9 ) 0.986 * * [simplify]: iteration 3 : 39 enodes (cost 9 ) 0.991 * * [simplify]: iteration 4 : 50 enodes (cost 9 ) 1.000 * * [simplify]: iteration 5 : 55 enodes (cost 9 ) 1.006 * * [simplify]: iteration 6 : 64 enodes (cost 9 ) 1.013 * * [simplify]: iteration 7 : 81 enodes (cost 9 ) 1.027 * * [simplify]: iteration 8 : 100 enodes (cost 9 ) 1.038 * * [simplify]: iteration 9 : 107 enodes (cost 9 ) 1.050 * * [simplify]: iteration 10 : 111 enodes (cost 9 ) 1.067 * * [simplify]: iteration 11 : 115 enodes (cost 9 ) 1.080 * * [simplify]: iteration done : 115 enodes (cost 9 ) 1.080 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 1.081 * * [simplify]: iteration 1 : 18 enodes (cost 9 ) 1.084 * * [simplify]: iteration 2 : 38 enodes (cost 9 ) 1.088 * * [simplify]: iteration 3 : 69 enodes (cost 9 ) 1.099 * * [simplify]: iteration 4 : 102 enodes (cost 9 ) 1.118 * * [simplify]: iteration 5 : 140 enodes (cost 9 ) 1.146 * * [simplify]: iteration 6 : 249 enodes (cost 9 ) 1.209 * * [simplify]: iteration 7 : 369 enodes (cost 9 ) 1.299 * * [simplify]: iteration 8 : 412 enodes (cost 9 ) 1.379 * * [simplify]: iteration 9 : 418 enodes (cost 9 ) 1.463 * * [simplify]: iteration done : 418 enodes (cost 9 ) 1.463 * * [simplify]: iteration 0 : 9 enodes (cost 19 ) 1.464 * * [simplify]: iteration 1 : 16 enodes (cost 19 ) 1.466 * * [simplify]: iteration 2 : 28 enodes (cost 19 ) 1.470 * * [simplify]: iteration 3 : 40 enodes (cost 19 ) 1.475 * * [simplify]: iteration 4 : 51 enodes (cost 19 ) 1.480 * * [simplify]: iteration 5 : 56 enodes (cost 19 ) 1.486 * * [simplify]: iteration 6 : 65 enodes (cost 19 ) 1.493 * * [simplify]: iteration 7 : 82 enodes (cost 19 ) 1.511 * * [simplify]: iteration 8 : 101 enodes (cost 19 ) 1.521 * * [simplify]: iteration 9 : 108 enodes (cost 19 ) 1.533 * * [simplify]: iteration 10 : 112 enodes (cost 19 ) 1.548 * * [simplify]: iteration 11 : 116 enodes (cost 19 ) 1.564 * * [simplify]: iteration done : 116 enodes (cost 19 ) 1.564 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 1.565 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 1.567 * * [simplify]: iteration 2 : 27 enodes (cost 9 ) 1.570 * * [simplify]: iteration 3 : 39 enodes (cost 9 ) 1.575 * * [simplify]: iteration 4 : 50 enodes (cost 9 ) 1.580 * * [simplify]: iteration 5 : 55 enodes (cost 9 ) 1.585 * * [simplify]: iteration 6 : 64 enodes (cost 9 ) 1.593 * * [simplify]: iteration 7 : 81 enodes (cost 9 ) 1.607 * * [simplify]: iteration 8 : 100 enodes (cost 9 ) 1.621 * * [simplify]: iteration 9 : 107 enodes (cost 9 ) 1.633 * * [simplify]: iteration 10 : 111 enodes (cost 9 ) 1.647 * * [simplify]: iteration 11 : 115 enodes (cost 9 ) 1.660 * * [simplify]: iteration done : 115 enodes (cost 9 ) 1.661 * * [simplify]: iteration 0 : 9 enodes (cost 26 ) 1.662 * * [simplify]: iteration 1 : 29 enodes (cost 26 ) 1.667 * * [simplify]: iteration 2 : 93 enodes (cost 10 ) 1.700 * * [simplify]: iteration 3 : 413 enodes (cost 10 ) 2.512 * * [simplify]: iteration 4 : 2657 enodes (cost 10 ) 3.763 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 3.764 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 3.764 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 3.766 * * [simplify]: iteration 2 : 27 enodes (cost 9 ) 3.769 * * [simplify]: iteration 3 : 39 enodes (cost 9 ) 3.774 * * [simplify]: iteration 4 : 50 enodes (cost 9 ) 3.786 * * [simplify]: iteration 5 : 55 enodes (cost 9 ) 3.792 * * [simplify]: iteration 6 : 64 enodes (cost 9 ) 3.799 * * [simplify]: iteration 7 : 81 enodes (cost 9 ) 3.813 * * [simplify]: iteration 8 : 100 enodes (cost 9 ) 3.823 * * [simplify]: iteration 9 : 107 enodes (cost 9 ) 3.839 * * [simplify]: iteration 10 : 111 enodes (cost 9 ) 3.853 * * [simplify]: iteration 11 : 115 enodes (cost 9 ) 3.866 * * [simplify]: iteration done : 115 enodes (cost 9 ) 3.866 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 3.867 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 3.869 * * [simplify]: iteration 2 : 27 enodes (cost 9 ) 3.872 * * [simplify]: iteration 3 : 39 enodes (cost 9 ) 3.877 * * [simplify]: iteration 4 : 50 enodes (cost 9 ) 3.882 * * [simplify]: iteration 5 : 55 enodes (cost 9 ) 3.888 * * [simplify]: iteration 6 : 64 enodes (cost 9 ) 3.899 * * [simplify]: iteration 7 : 81 enodes (cost 9 ) 3.913 * * [simplify]: iteration 8 : 100 enodes (cost 9 ) 3.923 * * [simplify]: iteration 9 : 107 enodes (cost 9 ) 3.936 * * [simplify]: iteration 10 : 111 enodes (cost 9 ) 3.953 * * [simplify]: iteration 11 : 115 enodes (cost 9 ) 3.966 * * [simplify]: iteration done : 115 enodes (cost 9 ) 3.967 * * [simplify]: iteration 0 : 16 enodes (cost 28 ) 3.970 * * [simplify]: iteration 1 : 43 enodes (cost 23 ) 3.977 * * [simplify]: iteration 2 : 113 enodes (cost 23 ) 4.009 * * [simplify]: iteration 3 : 306 enodes (cost 21 ) 4.147 * * [simplify]: iteration 4 : 764 enodes (cost 20 ) 4.494 * * [simplify]: iteration 5 : 1916 enodes (cost 20 ) 5.655 * * [simplify]: iteration done : 5000 enodes (cost 20 ) 5.656 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 5.657 * * [simplify]: iteration 1 : 19 enodes (cost 14 ) 5.660 * * [simplify]: iteration 2 : 43 enodes (cost 14 ) 5.672 * * [simplify]: iteration 3 : 77 enodes (cost 14 ) 5.686 * * [simplify]: iteration 4 : 97 enodes (cost 14 ) 5.702 * * [simplify]: iteration 5 : 127 enodes (cost 14 ) 5.730 * * [simplify]: iteration 6 : 204 enodes (cost 14 ) 5.782 * * [simplify]: iteration 7 : 383 enodes (cost 14 ) 5.979 * * [simplify]: iteration 8 : 996 enodes (cost 14 ) 7.019 * * [simplify]: iteration 9 : 3467 enodes (cost 14 ) 8.558 * * [simplify]: iteration done : 5001 enodes (cost 14 ) 8.558 * * [simplify]: iteration 0 : 17 enodes (cost 29 ) 8.561 * * [simplify]: iteration 1 : 43 enodes (cost 25 ) 8.567 * * [simplify]: iteration 2 : 98 enodes (cost 23 ) 8.593 * * [simplify]: iteration 3 : 271 enodes (cost 23 ) 8.698 * * [simplify]: iteration 4 : 693 enodes (cost 20 ) 9.060 * * [simplify]: iteration 5 : 1836 enodes (cost 20 ) 10.214 * * [simplify]: iteration done : 5001 enodes (cost 20 ) 10.215 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 10.216 * * [simplify]: iteration 1 : 19 enodes (cost 14 ) 10.219 * * [simplify]: iteration 2 : 43 enodes (cost 14 ) 10.226 * * [simplify]: iteration 3 : 77 enodes (cost 14 ) 10.445 * * [simplify]: iteration 4 : 97 enodes (cost 14 ) 10.461 * * [simplify]: iteration 5 : 127 enodes (cost 14 ) 10.485 * * [simplify]: iteration 6 : 204 enodes (cost 14 ) 10.537 * * [simplify]: iteration 7 : 383 enodes (cost 14 ) 10.741 * * [simplify]: iteration 8 : 996 enodes (cost 14 ) 11.806 * * [simplify]: iteration 9 : 3467 enodes (cost 14 ) 13.328 * * [simplify]: iteration done : 5001 enodes (cost 14 ) 13.329 * * [simplify]: iteration 0 : 11 enodes (cost 19 ) 13.331 * * [simplify]: iteration 1 : 23 enodes (cost 16 ) 13.339 * * [simplify]: iteration 2 : 63 enodes (cost 16 ) 13.358 * * [simplify]: iteration 3 : 186 enodes (cost 14 ) 13.412 * * [simplify]: iteration 4 : 378 enodes (cost 14 ) 13.559 * * [simplify]: iteration 5 : 783 enodes (cost 14 ) 14.184 * * [simplify]: iteration 6 : 1918 enodes (cost 14 ) 17.755 * * [simplify]: iteration 7 : 4812 enodes (cost 14 ) 19.324 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 19.325 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 19.325 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 19.326 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 19.328 * * [simplify]: iteration 3 : 16 enodes (cost 7 ) 19.330 * * [simplify]: iteration 4 : 18 enodes (cost 7 ) 19.332 * * [simplify]: iteration 5 : 21 enodes (cost 7 ) 19.334 * * [simplify]: iteration 6 : 25 enodes (cost 7 ) 19.337 * * [simplify]: iteration 7 : 34 enodes (cost 7 ) 19.343 * * [simplify]: iteration 8 : 59 enodes (cost 7 ) 19.358 * * [simplify]: iteration 9 : 118 enodes (cost 7 ) 19.388 * * [simplify]: iteration 10 : 256 enodes (cost 7 ) 19.502 * * [simplify]: iteration 11 : 704 enodes (cost 7 ) 20.308 * * [simplify]: iteration 12 : 2415 enodes (cost 7 ) 21.975 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 21.976 * * [simplify]: iteration 0 : 12 enodes (cost 20 ) 21.977 * * [simplify]: iteration 1 : 23 enodes (cost 18 ) 21.981 * * [simplify]: iteration 2 : 49 enodes (cost 16 ) 21.995 * * [simplify]: iteration 3 : 154 enodes (cost 16 ) 22.049 * * [simplify]: iteration 4 : 352 enodes (cost 14 ) 22.234 * * [simplify]: iteration 5 : 747 enodes (cost 14 ) 22.819 * * [simplify]: iteration 6 : 1846 enodes (cost 14 ) 25.902 * * [simplify]: iteration 7 : 4653 enodes (cost 14 ) 27.618 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 27.619 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 27.619 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 27.620 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 27.622 * * [simplify]: iteration 3 : 16 enodes (cost 7 ) 27.624 * * [simplify]: iteration 4 : 18 enodes (cost 7 ) 27.626 * * [simplify]: iteration 5 : 21 enodes (cost 7 ) 27.629 * * [simplify]: iteration 6 : 25 enodes (cost 7 ) 27.632 * * [simplify]: iteration 7 : 34 enodes (cost 7 ) 27.637 * * [simplify]: iteration 8 : 59 enodes (cost 7 ) 27.652 * * [simplify]: iteration 9 : 118 enodes (cost 7 ) 27.682 * * [simplify]: iteration 10 : 256 enodes (cost 7 ) 27.796 * * [simplify]: iteration 11 : 704 enodes (cost 7 ) 28.588 * * [simplify]: iteration 12 : 2415 enodes (cost 7 ) 30.472 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 30.473 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 30.474 * * [simplify]: iteration 1 : 28 enodes (cost 12 ) 30.478 * * [simplify]: iteration 2 : 65 enodes (cost 12 ) 30.489 * * [simplify]: iteration 3 : 153 enodes (cost 12 ) 30.529 * * [simplify]: iteration 4 : 361 enodes (cost 12 ) 30.651 * * [simplify]: iteration 5 : 954 enodes (cost 12 ) 31.629 * * [simplify]: iteration 6 : 3562 enodes (cost 11 ) 32.976 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 32.977 * * [simplify]: iteration 0 : 11 enodes (cost 26 ) 32.978 * * [simplify]: iteration 1 : 25 enodes (cost 22 ) 32.982 * * [simplify]: iteration 2 : 73 enodes (cost 22 ) 33.000 * * [simplify]: iteration 3 : 201 enodes (cost 19 ) 33.098 * * [simplify]: iteration 4 : 669 enodes (cost 18 ) 33.624 * * [simplify]: iteration 5 : 2147 enodes (cost 18 ) 35.234 * * [simplify]: iteration done : 5000 enodes (cost 18 ) 35.235 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 35.236 * * [simplify]: iteration 1 : 20 enodes (cost 16 ) 35.239 * * [simplify]: iteration 2 : 53 enodes (cost 15 ) 35.248 * * [simplify]: iteration 3 : 145 enodes (cost 15 ) 35.297 * * [simplify]: iteration 4 : 485 enodes (cost 14 ) 35.611 * * [simplify]: iteration 5 : 1585 enodes (cost 14 ) 36.734 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 36.734 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 36.735 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 36.737 * * [simplify]: iteration 2 : 31 enodes (cost 8 ) 36.741 * * [simplify]: iteration 3 : 47 enodes (cost 8 ) 36.747 * * [simplify]: iteration 4 : 58 enodes (cost 8 ) 36.752 * * [simplify]: iteration 5 : 66 enodes (cost 8 ) 36.759 * * [simplify]: iteration 6 : 81 enodes (cost 8 ) 36.774 * * [simplify]: iteration 7 : 107 enodes (cost 8 ) 36.785 * * [simplify]: iteration 8 : 115 enodes (cost 8 ) 36.798 * * [simplify]: iteration 9 : 119 enodes (cost 8 ) 36.811 * * [simplify]: iteration 10 : 123 enodes (cost 8 ) 36.826 * * [simplify]: iteration done : 123 enodes (cost 8 ) 36.827 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 36.828 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 36.830 * * [simplify]: iteration 2 : 26 enodes (cost 8 ) 36.833 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 36.837 * * [simplify]: iteration 4 : 49 enodes (cost 8 ) 36.843 * * [simplify]: iteration 5 : 54 enodes (cost 8 ) 36.848 * * [simplify]: iteration 6 : 63 enodes (cost 8 ) 36.855 * * [simplify]: iteration 7 : 80 enodes (cost 8 ) 36.869 * * [simplify]: iteration 8 : 99 enodes (cost 8 ) 36.882 * * [simplify]: iteration 9 : 106 enodes (cost 8 ) 36.895 * * [simplify]: iteration 10 : 110 enodes (cost 8 ) 36.909 * * [simplify]: iteration 11 : 114 enodes (cost 8 ) 36.921 * * [simplify]: iteration done : 114 enodes (cost 8 ) 36.922 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 36.923 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 36.924 * * [simplify]: iteration 2 : 26 enodes (cost 8 ) 36.927 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 36.935 * * [simplify]: iteration 4 : 49 enodes (cost 8 ) 36.940 * * [simplify]: iteration 5 : 54 enodes (cost 8 ) 36.946 * * [simplify]: iteration 6 : 63 enodes (cost 8 ) 36.953 * * [simplify]: iteration 7 : 80 enodes (cost 8 ) 36.966 * * [simplify]: iteration 8 : 99 enodes (cost 8 ) 36.976 * * [simplify]: iteration 9 : 106 enodes (cost 8 ) 36.991 * * [simplify]: iteration 10 : 110 enodes (cost 8 ) 37.005 * * [simplify]: iteration 11 : 114 enodes (cost 8 ) 37.017 * * [simplify]: iteration done : 114 enodes (cost 8 ) 37.018 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 37.018 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 37.019 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 37.020 * * [simplify]: iteration done : 13 enodes (cost 5 ) 37.021 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 37.022 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 37.022 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 37.024 * * [simplify]: iteration done : 13 enodes (cost 5 ) 37.024 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 37.025 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 37.026 * * [simplify]: iteration 2 : 16 enodes (cost 5 ) 37.027 * * [simplify]: iteration done : 16 enodes (cost 5 ) 37.027 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 37.028 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 37.029 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 37.030 * * [simplify]: iteration 3 : 13 enodes (cost 5 ) 37.031 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 37.033 * * [simplify]: iteration 5 : 22 enodes (cost 5 ) 37.035 * * [simplify]: iteration 6 : 26 enodes (cost 5 ) 37.039 * * [simplify]: iteration 7 : 42 enodes (cost 5 ) 37.046 * * [simplify]: iteration 8 : 46 enodes (cost 5 ) 37.051 * * [simplify]: iteration 9 : 51 enodes (cost 5 ) 37.057 * * [simplify]: iteration 10 : 58 enodes (cost 5 ) 37.064 * * [simplify]: iteration 11 : 76 enodes (cost 5 ) 37.074 * * [simplify]: iteration 12 : 97 enodes (cost 5 ) 37.088 * * [simplify]: iteration 13 : 115 enodes (cost 5 ) 37.104 * * [simplify]: iteration 14 : 118 enodes (cost 5 ) 37.117 * * [simplify]: iteration done : 118 enodes (cost 5 ) 37.117 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 37.118 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 37.119 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 37.119 * * [simplify]: iteration done : 8 enodes (cost 5 ) 37.120 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 37.121 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 37.122 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 37.123 * * [simplify]: iteration 3 : 16 enodes (cost 5 ) 37.125 * * [simplify]: iteration 4 : 22 enodes (cost 5 ) 37.127 * * [simplify]: iteration 5 : 26 enodes (cost 5 ) 37.130 * * [simplify]: iteration 6 : 42 enodes (cost 5 ) 37.136 * * [simplify]: iteration 7 : 46 enodes (cost 5 ) 37.140 * * [simplify]: iteration 8 : 51 enodes (cost 5 ) 37.146 * * [simplify]: iteration 9 : 58 enodes (cost 5 ) 37.154 * * [simplify]: iteration 10 : 77 enodes (cost 5 ) 37.167 * * [simplify]: iteration 11 : 98 enodes (cost 5 ) 37.180 * * [simplify]: iteration 12 : 111 enodes (cost 5 ) 37.195 * * [simplify]: iteration 13 : 114 enodes (cost 5 ) 37.209 * * [simplify]: iteration done : 114 enodes (cost 5 ) 37.210 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 37.210 * * [simplify]: iteration 1 : 8 enodes (cost 11 ) 37.211 * * [simplify]: iteration 2 : 9 enodes (cost 11 ) 37.212 * * [simplify]: iteration done : 9 enodes (cost 11 ) 37.213 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 37.213 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 37.214 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 37.214 * * [simplify]: iteration done : 8 enodes (cost 5 ) 37.215 * * [simplify]: iteration 0 : 6 enodes (cost 14 ) 37.216 * * [simplify]: iteration 1 : 9 enodes (cost 14 ) 37.217 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 37.225 * * [simplify]: iteration 3 : 67 enodes (cost 6 ) 37.239 * * [simplify]: iteration 4 : 178 enodes (cost 6 ) 37.304 * * [simplify]: iteration 5 : 507 enodes (cost 6 ) 37.764 * * [simplify]: iteration 6 : 1724 enodes (cost 6 ) 40.534 * * [simplify]: iteration 7 : 4983 enodes (cost 6 ) 41.728 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 41.728 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 41.729 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 41.730 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 41.730 * * [simplify]: iteration done : 8 enodes (cost 5 ) 41.731 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 41.731 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 41.732 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 41.733 * * [simplify]: iteration done : 8 enodes (cost 5 ) 41.734 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 41.735 * * [simplify]: iteration 1 : 22 enodes (cost 8 ) 41.738 * * [simplify]: iteration 2 : 46 enodes (cost 8 ) 41.744 * * [simplify]: iteration 3 : 85 enodes (cost 8 ) 41.763 * * [simplify]: iteration 4 : 176 enodes (cost 8 ) 41.810 * * [simplify]: iteration 5 : 521 enodes (cost 8 ) 42.161 * * [simplify]: iteration 6 : 2312 enodes (cost 8 ) 43.274 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 43.275 * * [simplify]: iteration 0 : 8 enodes (cost 14 ) 43.276 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 43.278 * * [simplify]: iteration 2 : 27 enodes (cost 11 ) 43.282 * * [simplify]: iteration 3 : 31 enodes (cost 11 ) 43.287 * * [simplify]: iteration 4 : 36 enodes (cost 11 ) 43.292 * * [simplify]: iteration 5 : 45 enodes (cost 11 ) 43.300 * * [simplify]: iteration 6 : 70 enodes (cost 11 ) 43.311 * * [simplify]: iteration 7 : 129 enodes (cost 11 ) 43.347 * * [simplify]: iteration 8 : 266 enodes (cost 11 ) 43.464 * * [simplify]: iteration 9 : 715 enodes (cost 11 ) 44.263 * * [simplify]: iteration 10 : 2419 enodes (cost 11 ) 45.978 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 45.979 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 45.979 * * [simplify]: iteration done : 2 enodes (cost 2 ) 45.979 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 45.980 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 45.982 * * [simplify]: iteration 2 : 22 enodes (cost 8 ) 45.985 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 45.992 * * [simplify]: iteration 4 : 69 enodes (cost 8 ) 46.005 * * [simplify]: iteration 5 : 122 enodes (cost 8 ) 46.037 * * [simplify]: iteration 6 : 211 enodes (cost 8 ) 46.104 * * [simplify]: iteration 7 : 470 enodes (cost 8 ) 46.902 * * [simplify]: iteration 8 : 2108 enodes (cost 8 ) 49.905 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 49.906 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 49.906 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 49.910 * * [simplify]: iteration done : 5 enodes (cost 4 ) 49.910 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 49.911 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 49.911 * * [simplify]: iteration done : 7 enodes (cost 6 ) 49.912 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 49.913 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 49.914 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 49.914 * * [simplify]: iteration done : 9 enodes (cost 6 ) 49.915 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 49.915 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 49.916 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 49.917 * * [simplify]: iteration done : 7 enodes (cost 4 ) 49.917 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 49.917 * * [simplify]: iteration done : 2 enodes (cost 2 ) 49.919 * * [simplify]: iteration 0 : 13 enodes (cost 15 ) 49.920 * * [simplify]: iteration 1 : 31 enodes (cost 15 ) 49.926 * * [simplify]: iteration 2 : 73 enodes (cost 15 ) 49.936 * * [simplify]: iteration 3 : 142 enodes (cost 15 ) 49.970 * * [simplify]: iteration 4 : 327 enodes (cost 15 ) 50.123 * * [simplify]: iteration 5 : 842 enodes (cost 15 ) 51.111 * * [simplify]: iteration 6 : 2647 enodes (cost 15 ) 52.789 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 52.790 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 52.791 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 52.792 * * [simplify]: iteration 2 : 23 enodes (cost 8 ) 52.795 * * [simplify]: iteration 3 : 29 enodes (cost 8 ) 52.798 * * [simplify]: iteration 4 : 35 enodes (cost 8 ) 52.802 * * [simplify]: iteration 5 : 44 enodes (cost 8 ) 52.809 * * [simplify]: iteration 6 : 60 enodes (cost 8 ) 52.817 * * [simplify]: iteration 7 : 80 enodes (cost 8 ) 52.828 * * [simplify]: iteration 8 : 96 enodes (cost 8 ) 52.839 * * [simplify]: iteration 9 : 103 enodes (cost 8 ) 52.853 * * [simplify]: iteration 10 : 120 enodes (cost 8 ) 52.866 * * [simplify]: iteration 11 : 122 enodes (cost 8 ) 52.879 * * [simplify]: iteration done : 122 enodes (cost 8 ) 52.879 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 52.880 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 52.885 * * [simplify]: iteration 2 : 31 enodes (cost 8 ) 52.889 * * [simplify]: iteration 3 : 48 enodes (cost 8 ) 52.895 * * [simplify]: iteration 4 : 78 enodes (cost 8 ) 52.907 * * [simplify]: iteration 5 : 136 enodes (cost 8 ) 52.946 * * [simplify]: iteration 6 : 305 enodes (cost 8 ) 53.104 * * [simplify]: iteration 7 : 1005 enodes (cost 8 ) 55.602 * * [simplify]: iteration 8 : 4494 enodes (cost 8 ) 57.549 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 57.550 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 57.551 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 57.554 * * [simplify]: iteration 2 : 41 enodes (cost 9 ) 57.559 * * [simplify]: iteration 3 : 52 enodes (cost 9 ) 57.564 * * [simplify]: iteration 4 : 66 enodes (cost 9 ) 57.571 * * [simplify]: iteration 5 : 87 enodes (cost 9 ) 57.588 * * [simplify]: iteration 6 : 140 enodes (cost 9 ) 57.618 * * [simplify]: iteration 7 : 250 enodes (cost 9 ) 57.685 * * [simplify]: iteration 8 : 498 enodes (cost 9 ) 58.137 * * [simplify]: iteration 9 : 1446 enodes (cost 9 ) 60.345 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 60.346 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 60.346 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 60.347 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 60.348 * * [simplify]: iteration done : 7 enodes (cost 4 ) 60.348 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 60.349 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 60.349 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 60.350 * * [simplify]: iteration done : 7 enodes (cost 4 ) 60.350 * [simplify]: Simplified to: (exp (+ (- (exp x) 2.0) (exp (neg x)))) (exp (+ (- (exp x) 2.0) (exp (neg x)))) (log (+ (- (exp x) 2.0) (exp (neg x)))) (exp (+ (- (exp x) 2.0) (exp (neg x)))) (* (cbrt (+ (- (exp x) 2.0) (exp (neg x)))) (cbrt (+ (- (exp x) 2.0) (exp (neg x))))) (cbrt (+ (- (exp x) 2.0) (exp (neg x)))) (pow (+ (- (exp x) 2.0) (exp (neg x))) 3) (sqrt (+ (- (exp x) 2.0) (exp (neg x)))) (sqrt (+ (- (exp x) 2.0) (exp (neg x)))) (+ (* 2.0 2.0) (* (exp x) (+ (exp x) (+ 2.0 (- (pow (exp x) 3) (pow 2.0 3)))))) (* (+ (* 2.0 (+ 2.0 (exp x))) (exp (+ x x))) (exp x)) (+ (* 2.0 2.0) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (+ (exp x) 2.0)))) (* (+ (* 2.0 (+ 2.0 (exp x))) (exp (+ x x))) (exp x)) (* (+ (exp x) 2.0) (+ 1 (* (- (exp x) 2.0) (exp x)))) (* (+ (exp x) 2.0) (exp x)) (* (+ (exp x) 2.0) (+ (* (- (exp x) 2.0) (exp x)) 1)) (* (+ (exp x) 2.0) (exp x)) (+ (exp (* -3 x)) (pow (- (exp x) 2.0) 3)) (- (exp (* -2 x)) (* (- (exp x) 2.0) (- (exp (neg x)) (- (exp x) 2.0)))) (- (* (- (exp x) 2.0) (- (exp x) 2.0)) (exp (* -2 x))) (- (- (exp x) 2.0) (exp (neg x))) (+ (- (exp x) 2.0) (exp (neg x))) (+ (- (exp x) 2.0) (exp (neg x))) (- (exp (neg x)) 2.0) (- (exp (neg x)) 2.0) (- 2.0 (exp (neg x))) (exp (- (exp x) 2.0)) (log (- (exp x) 2.0)) (exp (- (exp x) 2.0)) (* (cbrt (- (exp x) 2.0)) (cbrt (- (exp x) 2.0))) (cbrt (- (exp x) 2.0)) (pow (- (exp x) 2.0) 3) (sqrt (- (exp x) 2.0)) (sqrt (- (exp x) 2.0)) (- (pow (exp x) 3) (pow 2.0 3)) (+ (* 2.0 (+ 2.0 (exp x))) (exp (+ x x))) (neg 2.0) (- (exp (+ x x)) (* 2.0 2.0)) (+ (exp x) 2.0) (+ (sqrt (exp x)) (sqrt 2.0)) (- (sqrt (exp x)) (sqrt 2.0)) (- (exp x) 2.0) (neg 2.0) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (- (+ (exp x) (exp (neg x))) 2.0) (- (+ (exp x) (exp (neg x))) 2.0) (- (+ x (* 1/2 (pow x 2))) 1.0) (- (exp x) 2.0) (- (exp x) 2.0) 60.351 * * * [progress]: adding candidates to table 60.418 * * [progress]: iteration 2 / 4 60.418 * * * [progress]: picking best candidate 60.427 * * * * [pick]: Picked # 60.427 * * * [progress]: localizing error 60.438 * * * [progress]: generating rewritten candidates 60.438 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 60.444 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 60.451 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 60.459 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 60.467 * * * [progress]: generating series expansions 60.467 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 60.467 * [approximate]: Taking taylor expansion of (* 1/12 (pow x 4)) in (x) around 0 60.467 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 60.467 * [taylor]: Taking taylor expansion of 1/12 in x 60.467 * [taylor]: Taking taylor expansion of (pow x 4) in x 60.467 * [taylor]: Taking taylor expansion of x in x 60.467 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 60.467 * [taylor]: Taking taylor expansion of 1/12 in x 60.467 * [taylor]: Taking taylor expansion of (pow x 4) in x 60.467 * [taylor]: Taking taylor expansion of x in x 60.469 * [approximate]: Taking taylor expansion of (/ 1/12 (pow x 4)) in (x) around 0 60.469 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 60.469 * [taylor]: Taking taylor expansion of 1/12 in x 60.469 * [taylor]: Taking taylor expansion of (pow x 4) in x 60.469 * [taylor]: Taking taylor expansion of x in x 60.469 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 60.469 * [taylor]: Taking taylor expansion of 1/12 in x 60.469 * [taylor]: Taking taylor expansion of (pow x 4) in x 60.469 * [taylor]: Taking taylor expansion of x in x 60.470 * [approximate]: Taking taylor expansion of (/ 1/12 (pow x 4)) in (x) around 0 60.470 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 60.470 * [taylor]: Taking taylor expansion of 1/12 in x 60.470 * [taylor]: Taking taylor expansion of (pow x 4) in x 60.470 * [taylor]: Taking taylor expansion of x in x 60.470 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 60.471 * [taylor]: Taking taylor expansion of 1/12 in x 60.471 * [taylor]: Taking taylor expansion of (pow x 4) in x 60.471 * [taylor]: Taking taylor expansion of x in x 60.472 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 60.472 * [approximate]: Taking taylor expansion of (* 1/360 (pow x 6)) in (x) around 0 60.472 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x 60.472 * [taylor]: Taking taylor expansion of 1/360 in x 60.472 * [taylor]: Taking taylor expansion of (pow x 6) in x 60.472 * [taylor]: Taking taylor expansion of x in x 60.472 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x 60.472 * [taylor]: Taking taylor expansion of 1/360 in x 60.472 * [taylor]: Taking taylor expansion of (pow x 6) in x 60.472 * [taylor]: Taking taylor expansion of x in x 60.473 * [approximate]: Taking taylor expansion of (/ 1/360 (pow x 6)) in (x) around 0 60.473 * [taylor]: Taking taylor expansion of (/ 1/360 (pow x 6)) in x 60.473 * [taylor]: Taking taylor expansion of 1/360 in x 60.473 * [taylor]: Taking taylor expansion of (pow x 6) in x 60.473 * [taylor]: Taking taylor expansion of x in x 60.474 * [taylor]: Taking taylor expansion of (/ 1/360 (pow x 6)) in x 60.474 * [taylor]: Taking taylor expansion of 1/360 in x 60.474 * [taylor]: Taking taylor expansion of (pow x 6) in x 60.474 * [taylor]: Taking taylor expansion of x in x 60.475 * [approximate]: Taking taylor expansion of (/ 1/360 (pow x 6)) in (x) around 0 60.475 * [taylor]: Taking taylor expansion of (/ 1/360 (pow x 6)) in x 60.475 * [taylor]: Taking taylor expansion of 1/360 in x 60.475 * [taylor]: Taking taylor expansion of (pow x 6) in x 60.475 * [taylor]: Taking taylor expansion of x in x 60.475 * [taylor]: Taking taylor expansion of (/ 1/360 (pow x 6)) in x 60.475 * [taylor]: Taking taylor expansion of 1/360 in x 60.475 * [taylor]: Taking taylor expansion of (pow x 6) in x 60.475 * [taylor]: Taking taylor expansion of x in x 60.477 * * * * [progress]: [ 3 / 4 ] generating series at (2) 60.477 * [approximate]: Taking taylor expansion of (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) in (x) around 0 60.477 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) in x 60.477 * [taylor]: Taking taylor expansion of (pow x 2) in x 60.477 * [taylor]: Taking taylor expansion of x in x 60.477 * [taylor]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in x 60.477 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x 60.477 * [taylor]: Taking taylor expansion of 1/360 in x 60.477 * [taylor]: Taking taylor expansion of (pow x 6) in x 60.477 * [taylor]: Taking taylor expansion of x in x 60.477 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 60.477 * [taylor]: Taking taylor expansion of 1/12 in x 60.477 * [taylor]: Taking taylor expansion of (pow x 4) in x 60.477 * [taylor]: Taking taylor expansion of x in x 60.477 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) in x 60.477 * [taylor]: Taking taylor expansion of (pow x 2) in x 60.477 * [taylor]: Taking taylor expansion of x in x 60.478 * [taylor]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in x 60.478 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x 60.478 * [taylor]: Taking taylor expansion of 1/360 in x 60.478 * [taylor]: Taking taylor expansion of (pow x 6) in x 60.478 * [taylor]: Taking taylor expansion of x in x 60.478 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 60.478 * [taylor]: Taking taylor expansion of 1/12 in x 60.478 * [taylor]: Taking taylor expansion of (pow x 4) in x 60.478 * [taylor]: Taking taylor expansion of x in x 60.479 * [approximate]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4))))) in (x) around 0 60.479 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4))))) in x 60.479 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x 60.479 * [taylor]: Taking taylor expansion of 1/360 in x 60.479 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 60.479 * [taylor]: Taking taylor expansion of (pow x 6) in x 60.479 * [taylor]: Taking taylor expansion of x in x 60.479 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4)))) in x 60.479 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 60.479 * [taylor]: Taking taylor expansion of (pow x 2) in x 60.479 * [taylor]: Taking taylor expansion of x in x 60.479 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x 60.479 * [taylor]: Taking taylor expansion of 1/12 in x 60.479 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 60.479 * [taylor]: Taking taylor expansion of (pow x 4) in x 60.479 * [taylor]: Taking taylor expansion of x in x 60.479 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4))))) in x 60.479 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x 60.479 * [taylor]: Taking taylor expansion of 1/360 in x 60.479 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 60.479 * [taylor]: Taking taylor expansion of (pow x 6) in x 60.479 * [taylor]: Taking taylor expansion of x in x 60.479 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4)))) in x 60.479 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 60.479 * [taylor]: Taking taylor expansion of (pow x 2) in x 60.479 * [taylor]: Taking taylor expansion of x in x 60.479 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x 60.479 * [taylor]: Taking taylor expansion of 1/12 in x 60.479 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 60.479 * [taylor]: Taking taylor expansion of (pow x 4) in x 60.479 * [taylor]: Taking taylor expansion of x in x 60.481 * [approximate]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4))))) in (x) around 0 60.481 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4))))) in x 60.481 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x 60.481 * [taylor]: Taking taylor expansion of 1/360 in x 60.481 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 60.481 * [taylor]: Taking taylor expansion of (pow x 6) in x 60.481 * [taylor]: Taking taylor expansion of x in x 60.481 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4)))) in x 60.481 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 60.481 * [taylor]: Taking taylor expansion of (pow x 2) in x 60.481 * [taylor]: Taking taylor expansion of x in x 60.482 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x 60.482 * [taylor]: Taking taylor expansion of 1/12 in x 60.482 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 60.482 * [taylor]: Taking taylor expansion of (pow x 4) in x 60.482 * [taylor]: Taking taylor expansion of x in x 60.482 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4))))) in x 60.482 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x 60.482 * [taylor]: Taking taylor expansion of 1/360 in x 60.482 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 60.482 * [taylor]: Taking taylor expansion of (pow x 6) in x 60.482 * [taylor]: Taking taylor expansion of x in x 60.482 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4)))) in x 60.482 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 60.482 * [taylor]: Taking taylor expansion of (pow x 2) in x 60.482 * [taylor]: Taking taylor expansion of x in x 60.482 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x 60.482 * [taylor]: Taking taylor expansion of 1/12 in x 60.482 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 60.482 * [taylor]: Taking taylor expansion of (pow x 4) in x 60.482 * [taylor]: Taking taylor expansion of x in x 60.483 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 60.484 * [approximate]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in (x) around 0 60.484 * [taylor]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in x 60.484 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x 60.484 * [taylor]: Taking taylor expansion of 1/360 in x 60.484 * [taylor]: Taking taylor expansion of (pow x 6) in x 60.484 * [taylor]: Taking taylor expansion of x in x 60.484 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 60.484 * [taylor]: Taking taylor expansion of 1/12 in x 60.484 * [taylor]: Taking taylor expansion of (pow x 4) in x 60.484 * [taylor]: Taking taylor expansion of x in x 60.484 * [taylor]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in x 60.484 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x 60.484 * [taylor]: Taking taylor expansion of 1/360 in x 60.484 * [taylor]: Taking taylor expansion of (pow x 6) in x 60.484 * [taylor]: Taking taylor expansion of x in x 60.484 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 60.484 * [taylor]: Taking taylor expansion of 1/12 in x 60.484 * [taylor]: Taking taylor expansion of (pow x 4) in x 60.484 * [taylor]: Taking taylor expansion of x in x 60.487 * [approximate]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in (x) around 0 60.487 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in x 60.487 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x 60.487 * [taylor]: Taking taylor expansion of 1/360 in x 60.487 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 60.487 * [taylor]: Taking taylor expansion of (pow x 6) in x 60.487 * [taylor]: Taking taylor expansion of x in x 60.487 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x 60.487 * [taylor]: Taking taylor expansion of 1/12 in x 60.487 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 60.487 * [taylor]: Taking taylor expansion of (pow x 4) in x 60.487 * [taylor]: Taking taylor expansion of x in x 60.487 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in x 60.487 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x 60.487 * [taylor]: Taking taylor expansion of 1/360 in x 60.487 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 60.487 * [taylor]: Taking taylor expansion of (pow x 6) in x 60.487 * [taylor]: Taking taylor expansion of x in x 60.488 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x 60.488 * [taylor]: Taking taylor expansion of 1/12 in x 60.488 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 60.488 * [taylor]: Taking taylor expansion of (pow x 4) in x 60.488 * [taylor]: Taking taylor expansion of x in x 60.492 * [approximate]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in (x) around 0 60.492 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in x 60.492 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x 60.492 * [taylor]: Taking taylor expansion of 1/360 in x 60.492 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 60.492 * [taylor]: Taking taylor expansion of (pow x 6) in x 60.492 * [taylor]: Taking taylor expansion of x in x 60.492 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x 60.492 * [taylor]: Taking taylor expansion of 1/12 in x 60.492 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 60.492 * [taylor]: Taking taylor expansion of (pow x 4) in x 60.492 * [taylor]: Taking taylor expansion of x in x 60.492 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in x 60.492 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x 60.492 * [taylor]: Taking taylor expansion of 1/360 in x 60.492 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 60.492 * [taylor]: Taking taylor expansion of (pow x 6) in x 60.492 * [taylor]: Taking taylor expansion of x in x 60.492 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x 60.492 * [taylor]: Taking taylor expansion of 1/12 in x 60.492 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 60.492 * [taylor]: Taking taylor expansion of (pow x 4) in x 60.492 * [taylor]: Taking taylor expansion of x in x 60.496 * * * [progress]: simplifying candidates 60.498 * [simplify]: Simplifying using # : (+ (log 1/12) (* (log x) 4)) (+ (log 1/12) (* (log x) 4)) (+ (log 1/12) (log (pow x 4))) (log (* 1/12 (pow x 4))) (exp (* 1/12 (pow x 4))) (* (* (* 1/12 1/12) 1/12) (* (* (pow x 4) (pow x 4)) (pow x 4))) (* (cbrt (* 1/12 (pow x 4))) (cbrt (* 1/12 (pow x 4)))) (cbrt (* 1/12 (pow x 4))) (* (* (* 1/12 (pow x 4)) (* 1/12 (pow x 4))) (* 1/12 (pow x 4))) (sqrt (* 1/12 (pow x 4))) (sqrt (* 1/12 (pow x 4))) (* (sqrt 1/12) (pow (sqrt x) 4)) (* (sqrt 1/12) (pow (sqrt x) 4)) (* (sqrt 1/12) (sqrt (pow x 4))) (* (sqrt 1/12) (sqrt (pow x 4))) (* (sqrt 1/12) (pow x (/ 4 2))) (* (sqrt 1/12) (pow x (/ 4 2))) (* 1/12 (pow (* (cbrt x) (cbrt x)) 4)) (* 1/12 (pow (sqrt x) 4)) (* 1/12 (pow 1 4)) (* 1/12 (* (cbrt (pow x 4)) (cbrt (pow x 4)))) (* 1/12 (sqrt (pow x 4))) (* 1/12 1) (* 1/12 (pow x (/ 4 2))) (* (cbrt 1/12) (pow x 4)) (* (sqrt 1/12) (pow x 4)) (* 1/12 (pow x 4)) (+ (log 1/360) (* (log x) 6)) (+ (log 1/360) (* (log x) 6)) (+ (log 1/360) (log (pow x 6))) (log (* 1/360 (pow x 6))) (exp (* 1/360 (pow x 6))) (* (* (* 1/360 1/360) 1/360) (* (* (pow x 6) (pow x 6)) (pow x 6))) (* (cbrt (* 1/360 (pow x 6))) (cbrt (* 1/360 (pow x 6)))) (cbrt (* 1/360 (pow x 6))) (* (* (* 1/360 (pow x 6)) (* 1/360 (pow x 6))) (* 1/360 (pow x 6))) (sqrt (* 1/360 (pow x 6))) (sqrt (* 1/360 (pow x 6))) (* (sqrt 1/360) (pow (sqrt x) 6)) (* (sqrt 1/360) (pow (sqrt x) 6)) (* (sqrt 1/360) (sqrt (pow x 6))) (* (sqrt 1/360) (sqrt (pow x 6))) (* (sqrt 1/360) (pow x (/ 6 2))) (* (sqrt 1/360) (pow x (/ 6 2))) (* 1/360 (pow (* (cbrt x) (cbrt x)) 6)) (* 1/360 (pow (sqrt x) 6)) (* 1/360 (pow 1 6)) (* 1/360 (* (cbrt (pow x 6)) (cbrt (pow x 6)))) (* 1/360 (sqrt (pow x 6))) (* 1/360 1) (* 1/360 (pow x (/ 6 2))) (* (cbrt 1/360) (pow x 6)) (* (sqrt 1/360) (pow x 6)) (* 1/360 (pow x 6)) (* (exp (pow x 2)) (* (exp (* 1/360 (pow x 6))) (exp (* 1/12 (pow x 4))))) (* (exp (pow x 2)) (exp (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (log (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (exp (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (* (cbrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (cbrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (cbrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (* (* (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (+ (pow (pow x 2) 3) (pow (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) 3)) (+ (* (pow x 2) (pow x 2)) (- (* (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (* (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (- (* (pow x 2) (pow x 2)) (* (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (- (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (+ (pow x 2) (* 1/360 (pow x 6))) (* (exp (* 1/360 (pow x 6))) (exp (* 1/12 (pow x 4)))) (log (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (exp (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (* (cbrt (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (cbrt (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (cbrt (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (* (* (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (sqrt (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (sqrt (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (+ (pow (* 1/360 (pow x 6)) 3) (pow (* 1/12 (pow x 4)) 3)) (+ (* (* 1/360 (pow x 6)) (* 1/360 (pow x 6))) (- (* (* 1/12 (pow x 4)) (* 1/12 (pow x 4))) (* (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (- (* (* 1/360 (pow x 6)) (* 1/360 (pow x 6))) (* (* 1/12 (pow x 4)) (* 1/12 (pow x 4)))) (- (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (* 1/12 (pow x 4)) (* 1/12 (pow x 4)) (* 1/12 (pow x 4)) (* 1/360 (pow x 6)) (* 1/360 (pow x 6)) (* 1/360 (pow x 6)) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) 60.498 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 60.499 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 60.500 * * [simplify]: iteration done : 9 enodes (cost 7 ) 60.501 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 60.501 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 60.502 * * [simplify]: iteration done : 9 enodes (cost 7 ) 60.503 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 60.504 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 60.506 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 60.510 * * [simplify]: iteration 3 : 51 enodes (cost 7 ) 60.518 * * [simplify]: iteration 4 : 79 enodes (cost 7 ) 60.531 * * [simplify]: iteration 5 : 109 enodes (cost 7 ) 60.541 * * [simplify]: iteration 6 : 132 enodes (cost 7 ) 60.556 * * [simplify]: iteration 7 : 193 enodes (cost 7 ) 60.591 * * [simplify]: iteration 8 : 371 enodes (cost 7 ) 60.725 * * [simplify]: iteration 9 : 981 enodes (cost 7 ) 61.711 * * [simplify]: iteration 10 : 3406 enodes (cost 7 ) 63.199 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 63.200 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 63.201 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 63.202 * * [simplify]: iteration 2 : 30 enodes (cost 6 ) 63.208 * * [simplify]: iteration 3 : 79 enodes (cost 6 ) 63.218 * * [simplify]: iteration 4 : 124 enodes (cost 6 ) 63.234 * * [simplify]: iteration 5 : 158 enodes (cost 6 ) 63.254 * * [simplify]: iteration 6 : 189 enodes (cost 6 ) 63.277 * * [simplify]: iteration 7 : 282 enodes (cost 6 ) 63.339 * * [simplify]: iteration 8 : 559 enodes (cost 6 ) 63.617 * * [simplify]: iteration 9 : 1481 enodes (cost 6 ) 65.429 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 65.429 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 65.430 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 65.432 * * [simplify]: iteration 2 : 29 enodes (cost 6 ) 65.443 * * [simplify]: iteration 3 : 81 enodes (cost 6 ) 65.454 * * [simplify]: iteration 4 : 152 enodes (cost 6 ) 65.477 * * [simplify]: iteration 5 : 318 enodes (cost 6 ) 65.615 * * [simplify]: iteration 6 : 777 enodes (cost 6 ) 66.588 * * [simplify]: iteration 7 : 2529 enodes (cost 6 ) 67.746 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 67.747 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 67.748 * * [simplify]: iteration 1 : 25 enodes (cost 9 ) 67.751 * * [simplify]: iteration 2 : 62 enodes (cost 7 ) 67.769 * * [simplify]: iteration 3 : 210 enodes (cost 7 ) 67.873 * * [simplify]: iteration 4 : 640 enodes (cost 7 ) 68.594 * * [simplify]: iteration 5 : 1416 enodes (cost 7 ) 71.237 * * [simplify]: iteration 6 : 3385 enodes (cost 5 ) 73.235 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 73.236 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 73.237 * * [simplify]: iteration 1 : 12 enodes (cost 13 ) 73.239 * * [simplify]: iteration 2 : 23 enodes (cost 13 ) 73.248 * * [simplify]: iteration 3 : 59 enodes (cost 13 ) 73.255 * * [simplify]: iteration 4 : 78 enodes (cost 13 ) 73.262 * * [simplify]: iteration 5 : 90 enodes (cost 13 ) 73.271 * * [simplify]: iteration 6 : 118 enodes (cost 13 ) 73.285 * * [simplify]: iteration 7 : 186 enodes (cost 13 ) 73.326 * * [simplify]: iteration 8 : 370 enodes (cost 13 ) 73.515 * * [simplify]: iteration 9 : 1009 enodes (cost 13 ) 75.139 * * [simplify]: iteration 10 : 3761 enodes (cost 13 ) 77.098 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 77.099 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 77.100 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 77.101 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 77.105 * * [simplify]: iteration 3 : 58 enodes (cost 6 ) 77.112 * * [simplify]: iteration 4 : 76 enodes (cost 6 ) 77.123 * * [simplify]: iteration 5 : 88 enodes (cost 6 ) 77.132 * * [simplify]: iteration 6 : 116 enodes (cost 6 ) 77.146 * * [simplify]: iteration 7 : 186 enodes (cost 6 ) 77.188 * * [simplify]: iteration 8 : 372 enodes (cost 6 ) 77.382 * * [simplify]: iteration 9 : 1015 enodes (cost 6 ) 78.990 * * [simplify]: iteration 10 : 3762 enodes (cost 6 ) 81.095 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 81.096 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 81.097 * * [simplify]: iteration 1 : 23 enodes (cost 15 ) 81.101 * * [simplify]: iteration 2 : 74 enodes (cost 7 ) 81.136 * * [simplify]: iteration 3 : 289 enodes (cost 7 ) 81.372 * * [simplify]: iteration 4 : 919 enodes (cost 7 ) 82.912 * * [simplify]: iteration 5 : 1658 enodes (cost 7 ) 86.711 * * [simplify]: iteration 6 : 3651 enodes (cost 5 ) 88.643 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 88.644 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 88.645 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 88.646 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 88.650 * * [simplify]: iteration 3 : 58 enodes (cost 6 ) 88.656 * * [simplify]: iteration 4 : 76 enodes (cost 6 ) 88.670 * * [simplify]: iteration 5 : 88 enodes (cost 6 ) 88.679 * * [simplify]: iteration 6 : 116 enodes (cost 6 ) 88.694 * * [simplify]: iteration 7 : 186 enodes (cost 6 ) 88.735 * * [simplify]: iteration 8 : 372 enodes (cost 6 ) 88.931 * * [simplify]: iteration 9 : 1015 enodes (cost 6 ) 90.568 * * [simplify]: iteration 10 : 3762 enodes (cost 6 ) 92.924 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 92.925 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 92.926 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 92.927 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 92.931 * * [simplify]: iteration 3 : 58 enodes (cost 6 ) 92.942 * * [simplify]: iteration 4 : 76 enodes (cost 6 ) 92.949 * * [simplify]: iteration 5 : 88 enodes (cost 6 ) 92.958 * * [simplify]: iteration 6 : 116 enodes (cost 6 ) 92.972 * * [simplify]: iteration 7 : 186 enodes (cost 6 ) 93.014 * * [simplify]: iteration 8 : 372 enodes (cost 6 ) 93.212 * * [simplify]: iteration 9 : 1015 enodes (cost 6 ) 94.824 * * [simplify]: iteration 10 : 3762 enodes (cost 6 ) 96.942 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 96.943 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 96.944 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 96.950 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 96.954 * * [simplify]: iteration 3 : 59 enodes (cost 6 ) 96.961 * * [simplify]: iteration 4 : 99 enodes (cost 6 ) 96.980 * * [simplify]: iteration 5 : 217 enodes (cost 6 ) 97.113 * * [simplify]: iteration 6 : 663 enodes (cost 6 ) 98.715 * * [simplify]: iteration 7 : 2548 enodes (cost 6 ) 102.424 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 102.425 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 102.426 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 102.427 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 102.432 * * [simplify]: iteration 3 : 59 enodes (cost 6 ) 102.444 * * [simplify]: iteration 4 : 99 enodes (cost 6 ) 102.463 * * [simplify]: iteration 5 : 217 enodes (cost 6 ) 102.597 * * [simplify]: iteration 6 : 663 enodes (cost 6 ) 104.203 * * [simplify]: iteration 7 : 2548 enodes (cost 6 ) 107.927 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 107.928 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 107.929 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 107.930 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 107.933 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 107.936 * * [simplify]: iteration 4 : 51 enodes (cost 7 ) 107.939 * * [simplify]: iteration 5 : 63 enodes (cost 7 ) 107.948 * * [simplify]: iteration 6 : 83 enodes (cost 7 ) 107.956 * * [simplify]: iteration 7 : 125 enodes (cost 7 ) 107.972 * * [simplify]: iteration 8 : 235 enodes (cost 7 ) 108.044 * * [simplify]: iteration 9 : 611 enodes (cost 7 ) 108.734 * * [simplify]: iteration 10 : 2249 enodes (cost 7 ) 110.784 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 110.785 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 110.786 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 110.787 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 110.790 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 110.793 * * [simplify]: iteration 4 : 51 enodes (cost 7 ) 110.796 * * [simplify]: iteration 5 : 63 enodes (cost 7 ) 110.800 * * [simplify]: iteration 6 : 83 enodes (cost 7 ) 110.814 * * [simplify]: iteration 7 : 125 enodes (cost 7 ) 110.831 * * [simplify]: iteration 8 : 235 enodes (cost 7 ) 110.905 * * [simplify]: iteration 9 : 611 enodes (cost 7 ) 111.606 * * [simplify]: iteration 10 : 2249 enodes (cost 7 ) 113.646 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 113.647 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 113.648 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 113.650 * * [simplify]: iteration 2 : 25 enodes (cost 6 ) 113.651 * * [simplify]: iteration 3 : 30 enodes (cost 6 ) 113.654 * * [simplify]: iteration 4 : 36 enodes (cost 6 ) 113.656 * * [simplify]: iteration 5 : 46 enodes (cost 6 ) 113.660 * * [simplify]: iteration 6 : 70 enodes (cost 6 ) 113.670 * * [simplify]: iteration 7 : 129 enodes (cost 6 ) 113.716 * * [simplify]: iteration 8 : 337 enodes (cost 6 ) 114.182 * * [simplify]: iteration 9 : 1271 enodes (cost 6 ) 116.531 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 116.531 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 116.532 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 116.534 * * [simplify]: iteration 2 : 25 enodes (cost 6 ) 116.536 * * [simplify]: iteration 3 : 30 enodes (cost 6 ) 116.538 * * [simplify]: iteration 4 : 36 enodes (cost 6 ) 116.540 * * [simplify]: iteration 5 : 46 enodes (cost 6 ) 116.544 * * [simplify]: iteration 6 : 70 enodes (cost 6 ) 116.554 * * [simplify]: iteration 7 : 129 enodes (cost 6 ) 116.601 * * [simplify]: iteration 8 : 337 enodes (cost 6 ) 117.279 * * [simplify]: iteration 9 : 1271 enodes (cost 6 ) 119.669 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 119.669 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 119.671 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 119.672 * * [simplify]: iteration 2 : 23 enodes (cost 9 ) 119.677 * * [simplify]: iteration 3 : 63 enodes (cost 9 ) 119.688 * * [simplify]: iteration 4 : 165 enodes (cost 9 ) 119.780 * * [simplify]: iteration 5 : 535 enodes (cost 9 ) 120.540 * * [simplify]: iteration 6 : 1815 enodes (cost 6 ) 123.383 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 123.384 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 123.385 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 123.386 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 123.390 * * [simplify]: iteration 3 : 58 enodes (cost 5 ) 123.397 * * [simplify]: iteration 4 : 101 enodes (cost 5 ) 123.415 * * [simplify]: iteration 5 : 210 enodes (cost 5 ) 123.543 * * [simplify]: iteration 6 : 653 enodes (cost 5 ) 125.208 * * [simplify]: iteration 7 : 2629 enodes (cost 5 ) 128.821 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 128.822 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 128.823 * * [simplify]: iteration 1 : 12 enodes (cost 1 ) 128.823 * * [simplify]: iteration done : 12 enodes (cost 1 ) 128.824 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 128.825 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 128.826 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 128.829 * * [simplify]: iteration 3 : 43 enodes (cost 11 ) 128.833 * * [simplify]: iteration 4 : 52 enodes (cost 11 ) 128.836 * * [simplify]: iteration 5 : 64 enodes (cost 11 ) 128.841 * * [simplify]: iteration 6 : 84 enodes (cost 11 ) 128.849 * * [simplify]: iteration 7 : 126 enodes (cost 11 ) 128.872 * * [simplify]: iteration 8 : 239 enodes (cost 11 ) 128.946 * * [simplify]: iteration 9 : 616 enodes (cost 11 ) 129.626 * * [simplify]: iteration 10 : 2259 enodes (cost 11 ) 131.418 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 131.418 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 131.419 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 131.420 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 131.423 * * [simplify]: iteration 3 : 39 enodes (cost 6 ) 131.426 * * [simplify]: iteration 4 : 48 enodes (cost 6 ) 131.429 * * [simplify]: iteration 5 : 60 enodes (cost 6 ) 131.433 * * [simplify]: iteration 6 : 80 enodes (cost 6 ) 131.440 * * [simplify]: iteration 7 : 122 enodes (cost 6 ) 131.463 * * [simplify]: iteration 8 : 233 enodes (cost 6 ) 131.538 * * [simplify]: iteration 9 : 612 enodes (cost 6 ) 132.225 * * [simplify]: iteration 10 : 2256 enodes (cost 6 ) 133.956 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 133.956 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 133.957 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 133.957 * * [simplify]: iteration done : 6 enodes (cost 1 ) 133.958 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 133.958 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 133.960 * * [simplify]: iteration 2 : 24 enodes (cost 5 ) 133.962 * * [simplify]: iteration 3 : 29 enodes (cost 5 ) 133.964 * * [simplify]: iteration 4 : 35 enodes (cost 5 ) 133.967 * * [simplify]: iteration 5 : 45 enodes (cost 5 ) 133.971 * * [simplify]: iteration 6 : 67 enodes (cost 5 ) 133.980 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 134.027 * * [simplify]: iteration 8 : 345 enodes (cost 5 ) 134.467 * * [simplify]: iteration 9 : 1261 enodes (cost 5 ) 136.804 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 136.804 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 136.805 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 136.806 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 136.811 * * [simplify]: iteration 3 : 58 enodes (cost 6 ) 136.817 * * [simplify]: iteration 4 : 79 enodes (cost 6 ) 136.824 * * [simplify]: iteration 5 : 91 enodes (cost 6 ) 136.838 * * [simplify]: iteration 6 : 119 enodes (cost 6 ) 136.853 * * [simplify]: iteration 7 : 187 enodes (cost 6 ) 136.894 * * [simplify]: iteration 8 : 375 enodes (cost 6 ) 137.082 * * [simplify]: iteration 9 : 1018 enodes (cost 6 ) 138.707 * * [simplify]: iteration 10 : 3752 enodes (cost 6 ) 140.830 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 140.830 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 140.836 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 140.837 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 140.842 * * [simplify]: iteration 3 : 58 enodes (cost 6 ) 140.849 * * [simplify]: iteration 4 : 79 enodes (cost 6 ) 140.856 * * [simplify]: iteration 5 : 91 enodes (cost 6 ) 140.866 * * [simplify]: iteration 6 : 119 enodes (cost 6 ) 140.880 * * [simplify]: iteration 7 : 187 enodes (cost 6 ) 140.923 * * [simplify]: iteration 8 : 375 enodes (cost 6 ) 141.118 * * [simplify]: iteration 9 : 1018 enodes (cost 6 ) 142.964 * * [simplify]: iteration 10 : 3752 enodes (cost 6 ) 145.108 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 145.109 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 145.109 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 145.110 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 145.115 * * [simplify]: iteration 3 : 57 enodes (cost 5 ) 145.126 * * [simplify]: iteration 4 : 76 enodes (cost 5 ) 145.133 * * [simplify]: iteration 5 : 88 enodes (cost 5 ) 145.141 * * [simplify]: iteration 6 : 116 enodes (cost 5 ) 145.156 * * [simplify]: iteration 7 : 182 enodes (cost 5 ) 145.196 * * [simplify]: iteration 8 : 361 enodes (cost 5 ) 145.388 * * [simplify]: iteration 9 : 1011 enodes (cost 5 ) 147.020 * * [simplify]: iteration 10 : 3772 enodes (cost 5 ) 149.185 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 149.186 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 149.187 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 149.188 * * [simplify]: iteration done : 9 enodes (cost 7 ) 149.189 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 149.189 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 149.190 * * [simplify]: iteration done : 9 enodes (cost 7 ) 149.191 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 149.192 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 149.193 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 149.196 * * [simplify]: iteration 3 : 59 enodes (cost 7 ) 149.207 * * [simplify]: iteration 4 : 170 enodes (cost 7 ) 149.276 * * [simplify]: iteration 5 : 494 enodes (cost 7 ) 149.641 * * [simplify]: iteration 6 : 1503 enodes (cost 7 ) 151.737 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 151.738 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 151.738 * * [simplify]: iteration 1 : 15 enodes (cost 6 ) 151.740 * * [simplify]: iteration 2 : 33 enodes (cost 6 ) 151.745 * * [simplify]: iteration 3 : 93 enodes (cost 6 ) 151.769 * * [simplify]: iteration 4 : 311 enodes (cost 6 ) 151.959 * * [simplify]: iteration 5 : 921 enodes (cost 6 ) 153.000 * * [simplify]: iteration 6 : 2983 enodes (cost 6 ) 154.978 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 154.978 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 154.979 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 154.981 * * [simplify]: iteration 2 : 32 enodes (cost 6 ) 154.985 * * [simplify]: iteration 3 : 93 enodes (cost 6 ) 155.015 * * [simplify]: iteration 4 : 305 enodes (cost 6 ) 155.196 * * [simplify]: iteration 5 : 1090 enodes (cost 6 ) 156.821 * * [simplify]: iteration 6 : 4847 enodes (cost 6 ) 157.846 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 157.847 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 157.849 * * [simplify]: iteration 1 : 26 enodes (cost 9 ) 157.852 * * [simplify]: iteration 2 : 64 enodes (cost 7 ) 157.866 * * [simplify]: iteration 3 : 224 enodes (cost 7 ) 158.102 * * [simplify]: iteration 4 : 1403 enodes (cost 7 ) 159.861 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 159.862 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 159.863 * * [simplify]: iteration 1 : 13 enodes (cost 13 ) 159.864 * * [simplify]: iteration 2 : 26 enodes (cost 13 ) 159.868 * * [simplify]: iteration 3 : 71 enodes (cost 13 ) 159.890 * * [simplify]: iteration 4 : 186 enodes (cost 13 ) 159.994 * * [simplify]: iteration 5 : 532 enodes (cost 13 ) 160.643 * * [simplify]: iteration 6 : 1674 enodes (cost 13 ) 163.542 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 163.543 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 163.543 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 163.545 * * [simplify]: iteration 2 : 25 enodes (cost 6 ) 163.548 * * [simplify]: iteration 3 : 70 enodes (cost 6 ) 163.572 * * [simplify]: iteration 4 : 189 enodes (cost 6 ) 163.678 * * [simplify]: iteration 5 : 524 enodes (cost 6 ) 164.360 * * [simplify]: iteration 6 : 1705 enodes (cost 6 ) 166.918 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 166.918 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 166.925 * * [simplify]: iteration 1 : 24 enodes (cost 15 ) 166.929 * * [simplify]: iteration 2 : 76 enodes (cost 7 ) 166.960 * * [simplify]: iteration 3 : 316 enodes (cost 7 ) 167.411 * * [simplify]: iteration 4 : 2082 enodes (cost 7 ) 169.654 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 169.655 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 169.656 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 169.657 * * [simplify]: iteration 2 : 25 enodes (cost 6 ) 169.661 * * [simplify]: iteration 3 : 70 enodes (cost 6 ) 169.678 * * [simplify]: iteration 4 : 189 enodes (cost 6 ) 169.784 * * [simplify]: iteration 5 : 524 enodes (cost 6 ) 170.459 * * [simplify]: iteration 6 : 1705 enodes (cost 6 ) 173.039 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 173.040 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 173.041 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 173.042 * * [simplify]: iteration 2 : 25 enodes (cost 6 ) 173.051 * * [simplify]: iteration 3 : 70 enodes (cost 6 ) 173.069 * * [simplify]: iteration 4 : 189 enodes (cost 6 ) 173.177 * * [simplify]: iteration 5 : 524 enodes (cost 6 ) 173.857 * * [simplify]: iteration 6 : 1705 enodes (cost 6 ) 176.428 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 176.429 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 176.430 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 176.431 * * [simplify]: iteration 2 : 26 enodes (cost 7 ) 176.435 * * [simplify]: iteration 3 : 71 enodes (cost 7 ) 176.457 * * [simplify]: iteration 4 : 188 enodes (cost 6 ) 176.562 * * [simplify]: iteration 5 : 537 enodes (cost 6 ) 177.259 * * [simplify]: iteration 6 : 1755 enodes (cost 6 ) 179.933 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 179.934 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 179.935 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 179.937 * * [simplify]: iteration 2 : 26 enodes (cost 7 ) 179.941 * * [simplify]: iteration 3 : 71 enodes (cost 7 ) 179.962 * * [simplify]: iteration 4 : 188 enodes (cost 6 ) 180.066 * * [simplify]: iteration 5 : 537 enodes (cost 6 ) 180.762 * * [simplify]: iteration 6 : 1755 enodes (cost 6 ) 183.398 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 183.399 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 183.400 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 183.402 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 183.404 * * [simplify]: iteration 3 : 44 enodes (cost 7 ) 183.411 * * [simplify]: iteration 4 : 92 enodes (cost 7 ) 183.436 * * [simplify]: iteration 5 : 213 enodes (cost 7 ) 183.578 * * [simplify]: iteration 6 : 640 enodes (cost 7 ) 184.734 * * [simplify]: iteration 7 : 2516 enodes (cost 7 ) 187.444 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 187.445 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 187.450 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 187.452 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 187.454 * * [simplify]: iteration 3 : 44 enodes (cost 7 ) 187.466 * * [simplify]: iteration 4 : 92 enodes (cost 7 ) 187.488 * * [simplify]: iteration 5 : 213 enodes (cost 7 ) 187.630 * * [simplify]: iteration 6 : 640 enodes (cost 7 ) 188.787 * * [simplify]: iteration 7 : 2516 enodes (cost 7 ) 191.275 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 191.275 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 191.276 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 191.278 * * [simplify]: iteration 2 : 27 enodes (cost 6 ) 191.281 * * [simplify]: iteration 3 : 53 enodes (cost 6 ) 191.289 * * [simplify]: iteration 4 : 102 enodes (cost 6 ) 191.324 * * [simplify]: iteration 5 : 247 enodes (cost 6 ) 191.513 * * [simplify]: iteration 6 : 770 enodes (cost 6 ) 193.580 * * [simplify]: iteration 7 : 3072 enodes (cost 6 ) 196.184 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 196.185 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 196.186 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 196.187 * * [simplify]: iteration 2 : 27 enodes (cost 6 ) 196.190 * * [simplify]: iteration 3 : 53 enodes (cost 6 ) 196.199 * * [simplify]: iteration 4 : 102 enodes (cost 6 ) 196.234 * * [simplify]: iteration 5 : 247 enodes (cost 6 ) 196.422 * * [simplify]: iteration 6 : 770 enodes (cost 6 ) 198.493 * * [simplify]: iteration 7 : 3072 enodes (cost 6 ) 201.103 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 201.104 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 201.105 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 201.106 * * [simplify]: iteration 2 : 28 enodes (cost 9 ) 201.112 * * [simplify]: iteration 3 : 102 enodes (cost 9 ) 201.154 * * [simplify]: iteration 4 : 392 enodes (cost 6 ) 201.556 * * [simplify]: iteration 5 : 1214 enodes (cost 5 ) 204.522 * * [simplify]: iteration 6 : 4145 enodes (cost 5 ) 206.709 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 206.710 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 206.711 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 206.713 * * [simplify]: iteration 2 : 25 enodes (cost 6 ) 206.717 * * [simplify]: iteration 3 : 72 enodes (cost 6 ) 206.733 * * [simplify]: iteration 4 : 183 enodes (cost 5 ) 206.831 * * [simplify]: iteration 5 : 522 enodes (cost 5 ) 207.504 * * [simplify]: iteration 6 : 1716 enodes (cost 5 ) 210.313 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 210.314 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 210.315 * * [simplify]: iteration 1 : 13 enodes (cost 1 ) 210.315 * * [simplify]: iteration done : 13 enodes (cost 1 ) 210.316 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 210.317 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 210.318 * * [simplify]: iteration 2 : 26 enodes (cost 11 ) 210.322 * * [simplify]: iteration 3 : 47 enodes (cost 11 ) 210.329 * * [simplify]: iteration 4 : 90 enodes (cost 11 ) 210.352 * * [simplify]: iteration 5 : 220 enodes (cost 5 ) 210.487 * * [simplify]: iteration 6 : 677 enodes (cost 5 ) 211.707 * * [simplify]: iteration 7 : 2885 enodes (cost 5 ) 213.753 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 213.754 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 213.755 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 213.756 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 213.758 * * [simplify]: iteration 3 : 43 enodes (cost 6 ) 213.765 * * [simplify]: iteration 4 : 85 enodes (cost 6 ) 213.786 * * [simplify]: iteration 5 : 210 enodes (cost 6 ) 213.921 * * [simplify]: iteration 6 : 649 enodes (cost 6 ) 215.049 * * [simplify]: iteration 7 : 2533 enodes (cost 6 ) 217.798 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 217.798 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 217.799 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 217.799 * * [simplify]: iteration done : 6 enodes (cost 1 ) 217.800 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 217.800 * * [simplify]: iteration 1 : 13 enodes (cost 5 ) 217.802 * * [simplify]: iteration 2 : 26 enodes (cost 5 ) 217.805 * * [simplify]: iteration 3 : 52 enodes (cost 5 ) 217.813 * * [simplify]: iteration 4 : 100 enodes (cost 5 ) 217.846 * * [simplify]: iteration 5 : 245 enodes (cost 5 ) 218.045 * * [simplify]: iteration 6 : 763 enodes (cost 5 ) 220.071 * * [simplify]: iteration 7 : 3048 enodes (cost 5 ) 222.903 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 222.904 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 222.905 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 222.906 * * [simplify]: iteration 2 : 25 enodes (cost 6 ) 222.910 * * [simplify]: iteration 3 : 72 enodes (cost 6 ) 222.926 * * [simplify]: iteration 4 : 186 enodes (cost 6 ) 223.033 * * [simplify]: iteration 5 : 535 enodes (cost 6 ) 223.697 * * [simplify]: iteration 6 : 1745 enodes (cost 6 ) 226.040 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 226.041 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 226.042 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 226.043 * * [simplify]: iteration 2 : 25 enodes (cost 6 ) 226.047 * * [simplify]: iteration 3 : 72 enodes (cost 6 ) 226.071 * * [simplify]: iteration 4 : 186 enodes (cost 6 ) 226.175 * * [simplify]: iteration 5 : 535 enodes (cost 6 ) 226.843 * * [simplify]: iteration 6 : 1745 enodes (cost 6 ) 229.193 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 229.193 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 229.194 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 229.196 * * [simplify]: iteration 2 : 24 enodes (cost 5 ) 229.199 * * [simplify]: iteration 3 : 69 enodes (cost 5 ) 229.216 * * [simplify]: iteration 4 : 184 enodes (cost 5 ) 229.324 * * [simplify]: iteration 5 : 531 enodes (cost 5 ) 230.018 * * [simplify]: iteration 6 : 1751 enodes (cost 5 ) 232.711 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 232.712 * * [simplify]: iteration 0 : 16 enodes (cost 18 ) 232.714 * * [simplify]: iteration 1 : 40 enodes (cost 17 ) 232.725 * * [simplify]: iteration 2 : 103 enodes (cost 16 ) 232.740 * * [simplify]: iteration 3 : 246 enodes (cost 16 ) 232.809 * * [simplify]: iteration 4 : 785 enodes (cost 16 ) 233.367 * * [simplify]: iteration 5 : 3560 enodes (cost 16 ) 234.722 * * [simplify]: iteration done : 5001 enodes (cost 16 ) 234.723 * * [simplify]: iteration 0 : 15 enodes (cost 17 ) 234.725 * * [simplify]: iteration 1 : 36 enodes (cost 16 ) 234.736 * * [simplify]: iteration 2 : 94 enodes (cost 16 ) 234.749 * * [simplify]: iteration 3 : 201 enodes (cost 16 ) 234.801 * * [simplify]: iteration 4 : 591 enodes (cost 16 ) 235.113 * * [simplify]: iteration 5 : 2408 enodes (cost 16 ) 236.058 * * [simplify]: iteration done : 5000 enodes (cost 16 ) 236.059 * * [simplify]: iteration 0 : 14 enodes (cost 16 ) 236.061 * * [simplify]: iteration 1 : 32 enodes (cost 16 ) 236.067 * * [simplify]: iteration 2 : 74 enodes (cost 16 ) 236.077 * * [simplify]: iteration 3 : 143 enodes (cost 16 ) 236.110 * * [simplify]: iteration 4 : 323 enodes (cost 16 ) 236.270 * * [simplify]: iteration 5 : 840 enodes (cost 16 ) 237.287 * * [simplify]: iteration 6 : 2623 enodes (cost 16 ) 239.509 * * [simplify]: iteration done : 5000 enodes (cost 16 ) 239.510 * * [simplify]: iteration 0 : 14 enodes (cost 16 ) 239.517 * * [simplify]: iteration 1 : 35 enodes (cost 16 ) 239.523 * * [simplify]: iteration 2 : 88 enodes (cost 16 ) 239.536 * * [simplify]: iteration 3 : 185 enodes (cost 16 ) 239.579 * * [simplify]: iteration 4 : 469 enodes (cost 16 ) 239.798 * * [simplify]: iteration 5 : 1604 enodes (cost 16 ) 240.713 * * [simplify]: iteration done : 5001 enodes (cost 16 ) 240.714 * * [simplify]: iteration 0 : 15 enodes (cost 33 ) 240.716 * * [simplify]: iteration 1 : 33 enodes (cost 33 ) 240.722 * * [simplify]: iteration 2 : 75 enodes (cost 33 ) 240.738 * * [simplify]: iteration 3 : 142 enodes (cost 33 ) 240.769 * * [simplify]: iteration 4 : 332 enodes (cost 33 ) 240.934 * * [simplify]: iteration 5 : 872 enodes (cost 33 ) 241.939 * * [simplify]: iteration 6 : 2626 enodes (cost 33 ) 243.969 * * [simplify]: iteration done : 5001 enodes (cost 33 ) 243.970 * * [simplify]: iteration 0 : 14 enodes (cost 16 ) 243.972 * * [simplify]: iteration 1 : 32 enodes (cost 16 ) 243.978 * * [simplify]: iteration 2 : 74 enodes (cost 16 ) 243.988 * * [simplify]: iteration 3 : 143 enodes (cost 16 ) 244.021 * * [simplify]: iteration 4 : 323 enodes (cost 16 ) 244.180 * * [simplify]: iteration 5 : 837 enodes (cost 16 ) 245.237 * * [simplify]: iteration 6 : 2741 enodes (cost 16 ) 247.386 * * [simplify]: iteration done : 5001 enodes (cost 16 ) 247.387 * * [simplify]: iteration 0 : 15 enodes (cost 47 ) 247.390 * * [simplify]: iteration 1 : 46 enodes (cost 47 ) 247.402 * * [simplify]: iteration 2 : 174 enodes (cost 17 ) 247.457 * * [simplify]: iteration 3 : 705 enodes (cost 17 ) 248.123 * * [simplify]: iteration 4 : 4780 enodes (cost 17 ) 250.522 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 250.522 * * [simplify]: iteration 0 : 14 enodes (cost 16 ) 250.524 * * [simplify]: iteration 1 : 32 enodes (cost 16 ) 250.536 * * [simplify]: iteration 2 : 74 enodes (cost 16 ) 250.546 * * [simplify]: iteration 3 : 143 enodes (cost 16 ) 250.577 * * [simplify]: iteration 4 : 323 enodes (cost 16 ) 250.740 * * [simplify]: iteration 5 : 837 enodes (cost 16 ) 252.016 * * [simplify]: iteration 6 : 2741 enodes (cost 16 ) 254.177 * * [simplify]: iteration done : 5001 enodes (cost 16 ) 254.177 * * [simplify]: iteration 0 : 14 enodes (cost 16 ) 254.179 * * [simplify]: iteration 1 : 32 enodes (cost 16 ) 254.185 * * [simplify]: iteration 2 : 74 enodes (cost 16 ) 254.195 * * [simplify]: iteration 3 : 143 enodes (cost 16 ) 254.229 * * [simplify]: iteration 4 : 323 enodes (cost 16 ) 254.391 * * [simplify]: iteration 5 : 837 enodes (cost 16 ) 255.452 * * [simplify]: iteration 6 : 2741 enodes (cost 16 ) 257.586 * * [simplify]: iteration done : 5001 enodes (cost 16 ) 257.587 * * [simplify]: iteration 0 : 16 enodes (cost 19 ) 257.589 * * [simplify]: iteration 1 : 43 enodes (cost 19 ) 257.599 * * [simplify]: iteration 2 : 116 enodes (cost 17 ) 257.624 * * [simplify]: iteration 3 : 317 enodes (cost 17 ) 257.798 * * [simplify]: iteration 4 : 1736 enodes (cost 17 ) 259.274 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 259.274 * * [simplify]: iteration 0 : 17 enodes (cost 47 ) 259.277 * * [simplify]: iteration 1 : 54 enodes (cost 31 ) 259.291 * * [simplify]: iteration 2 : 188 enodes (cost 31 ) 259.339 * * [simplify]: iteration 3 : 621 enodes (cost 31 ) 259.859 * * [simplify]: iteration 4 : 3124 enodes (cost 31 ) 262.095 * * [simplify]: iteration done : 5000 enodes (cost 31 ) 262.096 * * [simplify]: iteration 0 : 15 enodes (cost 31 ) 262.099 * * [simplify]: iteration 1 : 43 enodes (cost 27 ) 262.106 * * [simplify]: iteration 2 : 126 enodes (cost 27 ) 262.132 * * [simplify]: iteration 3 : 453 enodes (cost 27 ) 262.441 * * [simplify]: iteration 4 : 2525 enodes (cost 27 ) 264.084 * * [simplify]: iteration done : 5000 enodes (cost 27 ) 264.085 * * [simplify]: iteration 0 : 13 enodes (cost 15 ) 264.087 * * [simplify]: iteration 1 : 32 enodes (cost 15 ) 264.093 * * [simplify]: iteration 2 : 77 enodes (cost 15 ) 264.104 * * [simplify]: iteration 3 : 178 enodes (cost 15 ) 264.159 * * [simplify]: iteration 4 : 559 enodes (cost 15 ) 264.748 * * [simplify]: iteration 5 : 2000 enodes (cost 15 ) 266.768 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 266.768 * * [simplify]: iteration 0 : 13 enodes (cost 15 ) 266.770 * * [simplify]: iteration 1 : 31 enodes (cost 15 ) 266.776 * * [simplify]: iteration 2 : 73 enodes (cost 15 ) 266.786 * * [simplify]: iteration 3 : 142 enodes (cost 15 ) 266.822 * * [simplify]: iteration 4 : 327 enodes (cost 15 ) 266.978 * * [simplify]: iteration 5 : 842 enodes (cost 15 ) 267.964 * * [simplify]: iteration 6 : 2647 enodes (cost 15 ) 269.644 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 269.645 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 269.646 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 269.649 * * [simplify]: iteration 2 : 39 enodes (cost 9 ) 269.654 * * [simplify]: iteration 3 : 91 enodes (cost 9 ) 269.677 * * [simplify]: iteration 4 : 223 enodes (cost 9 ) 269.785 * * [simplify]: iteration 5 : 563 enodes (cost 9 ) 270.431 * * [simplify]: iteration 6 : 1765 enodes (cost 9 ) 273.141 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 273.142 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 273.143 * * [simplify]: iteration 1 : 29 enodes (cost 12 ) 273.147 * * [simplify]: iteration 2 : 63 enodes (cost 12 ) 273.163 * * [simplify]: iteration 3 : 187 enodes (cost 12 ) 273.208 * * [simplify]: iteration 4 : 532 enodes (cost 12 ) 273.458 * * [simplify]: iteration 5 : 1931 enodes (cost 12 ) 274.483 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 274.484 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 274.485 * * [simplify]: iteration 1 : 22 enodes (cost 12 ) 274.488 * * [simplify]: iteration 2 : 45 enodes (cost 12 ) 274.499 * * [simplify]: iteration 3 : 125 enodes (cost 12 ) 274.525 * * [simplify]: iteration 4 : 263 enodes (cost 12 ) 274.639 * * [simplify]: iteration 5 : 654 enodes (cost 12 ) 275.362 * * [simplify]: iteration 6 : 2114 enodes (cost 12 ) 277.456 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 277.457 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 277.458 * * [simplify]: iteration 1 : 25 enodes (cost 12 ) 277.461 * * [simplify]: iteration 2 : 57 enodes (cost 12 ) 277.480 * * [simplify]: iteration 3 : 161 enodes (cost 12 ) 277.513 * * [simplify]: iteration 4 : 433 enodes (cost 12 ) 277.692 * * [simplify]: iteration 5 : 1464 enodes (cost 12 ) 278.710 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 278.711 * * [simplify]: iteration 0 : 12 enodes (cost 25 ) 278.712 * * [simplify]: iteration 1 : 23 enodes (cost 25 ) 278.715 * * [simplify]: iteration 2 : 46 enodes (cost 25 ) 278.726 * * [simplify]: iteration 3 : 126 enodes (cost 25 ) 278.753 * * [simplify]: iteration 4 : 260 enodes (cost 25 ) 278.872 * * [simplify]: iteration 5 : 653 enodes (cost 25 ) 279.607 * * [simplify]: iteration 6 : 2117 enodes (cost 25 ) 281.530 * * [simplify]: iteration done : 5001 enodes (cost 25 ) 281.531 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 281.537 * * [simplify]: iteration 1 : 22 enodes (cost 12 ) 281.540 * * [simplify]: iteration 2 : 45 enodes (cost 12 ) 281.551 * * [simplify]: iteration 3 : 125 enodes (cost 12 ) 281.578 * * [simplify]: iteration 4 : 263 enodes (cost 12 ) 281.689 * * [simplify]: iteration 5 : 651 enodes (cost 12 ) 282.416 * * [simplify]: iteration 6 : 2097 enodes (cost 12 ) 284.418 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 284.419 * * [simplify]: iteration 0 : 12 enodes (cost 35 ) 284.421 * * [simplify]: iteration 1 : 36 enodes (cost 35 ) 284.434 * * [simplify]: iteration 2 : 122 enodes (cost 13 ) 284.479 * * [simplify]: iteration 3 : 572 enodes (cost 13 ) 285.085 * * [simplify]: iteration 4 : 3602 enodes (cost 13 ) 287.597 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 287.598 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 287.602 * * [simplify]: iteration 1 : 22 enodes (cost 12 ) 287.605 * * [simplify]: iteration 2 : 45 enodes (cost 12 ) 287.616 * * [simplify]: iteration 3 : 125 enodes (cost 12 ) 287.640 * * [simplify]: iteration 4 : 263 enodes (cost 12 ) 287.754 * * [simplify]: iteration 5 : 651 enodes (cost 12 ) 288.494 * * [simplify]: iteration 6 : 2097 enodes (cost 12 ) 290.500 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 290.501 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 290.503 * * [simplify]: iteration 1 : 22 enodes (cost 12 ) 290.506 * * [simplify]: iteration 2 : 45 enodes (cost 12 ) 290.517 * * [simplify]: iteration 3 : 125 enodes (cost 12 ) 290.540 * * [simplify]: iteration 4 : 263 enodes (cost 12 ) 290.877 * * [simplify]: iteration 5 : 651 enodes (cost 12 ) 291.616 * * [simplify]: iteration 6 : 2097 enodes (cost 12 ) 293.634 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 293.634 * * [simplify]: iteration 0 : 13 enodes (cost 15 ) 293.636 * * [simplify]: iteration 1 : 43 enodes (cost 15 ) 293.644 * * [simplify]: iteration 2 : 129 enodes (cost 15 ) 293.695 * * [simplify]: iteration 3 : 457 enodes (cost 13 ) 294.138 * * [simplify]: iteration 4 : 2431 enodes (cost 11 ) 295.943 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 295.944 * * [simplify]: iteration 0 : 14 enodes (cost 35 ) 295.946 * * [simplify]: iteration 1 : 52 enodes (cost 27 ) 295.961 * * [simplify]: iteration 2 : 169 enodes (cost 21 ) 296.041 * * [simplify]: iteration 3 : 674 enodes (cost 21 ) 296.921 * * [simplify]: iteration 4 : 3394 enodes (cost 21 ) 298.828 * * [simplify]: iteration done : 5001 enodes (cost 21 ) 298.829 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 298.831 * * [simplify]: iteration 1 : 43 enodes (cost 19 ) 298.839 * * [simplify]: iteration 2 : 127 enodes (cost 11 ) 298.896 * * [simplify]: iteration 3 : 456 enodes (cost 11 ) 299.266 * * [simplify]: iteration 4 : 1967 enodes (cost 11 ) 300.964 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 300.965 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 300.966 * * [simplify]: iteration 1 : 22 enodes (cost 11 ) 300.969 * * [simplify]: iteration 2 : 53 enodes (cost 11 ) 300.982 * * [simplify]: iteration 3 : 145 enodes (cost 11 ) 301.015 * * [simplify]: iteration 4 : 340 enodes (cost 11 ) 301.182 * * [simplify]: iteration 5 : 842 enodes (cost 11 ) 302.093 * * [simplify]: iteration 6 : 2641 enodes (cost 11 ) 303.695 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 303.696 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 303.697 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 303.698 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 303.702 * * [simplify]: iteration 3 : 57 enodes (cost 5 ) 303.708 * * [simplify]: iteration 4 : 76 enodes (cost 5 ) 303.715 * * [simplify]: iteration 5 : 88 enodes (cost 5 ) 303.723 * * [simplify]: iteration 6 : 116 enodes (cost 5 ) 303.742 * * [simplify]: iteration 7 : 182 enodes (cost 5 ) 303.778 * * [simplify]: iteration 8 : 361 enodes (cost 5 ) 303.966 * * [simplify]: iteration 9 : 1011 enodes (cost 5 ) 305.568 * * [simplify]: iteration 10 : 3772 enodes (cost 5 ) 307.716 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 307.717 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 307.718 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 307.719 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 307.723 * * [simplify]: iteration 3 : 57 enodes (cost 5 ) 307.729 * * [simplify]: iteration 4 : 76 enodes (cost 5 ) 307.736 * * [simplify]: iteration 5 : 88 enodes (cost 5 ) 307.745 * * [simplify]: iteration 6 : 116 enodes (cost 5 ) 307.760 * * [simplify]: iteration 7 : 182 enodes (cost 5 ) 307.799 * * [simplify]: iteration 8 : 361 enodes (cost 5 ) 307.987 * * [simplify]: iteration 9 : 1011 enodes (cost 5 ) 309.790 * * [simplify]: iteration 10 : 3772 enodes (cost 5 ) 311.956 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 311.956 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 311.957 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 311.958 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 311.963 * * [simplify]: iteration 3 : 57 enodes (cost 5 ) 311.974 * * [simplify]: iteration 4 : 76 enodes (cost 5 ) 311.981 * * [simplify]: iteration 5 : 88 enodes (cost 5 ) 311.989 * * [simplify]: iteration 6 : 116 enodes (cost 5 ) 312.003 * * [simplify]: iteration 7 : 182 enodes (cost 5 ) 312.043 * * [simplify]: iteration 8 : 361 enodes (cost 5 ) 312.235 * * [simplify]: iteration 9 : 1011 enodes (cost 5 ) 313.827 * * [simplify]: iteration 10 : 3772 enodes (cost 5 ) 315.984 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 315.984 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 315.985 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 315.986 * * [simplify]: iteration 2 : 24 enodes (cost 5 ) 315.990 * * [simplify]: iteration 3 : 69 enodes (cost 5 ) 316.012 * * [simplify]: iteration 4 : 184 enodes (cost 5 ) 316.119 * * [simplify]: iteration 5 : 531 enodes (cost 5 ) 316.795 * * [simplify]: iteration 6 : 1751 enodes (cost 5 ) 319.217 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 319.218 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 319.218 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 319.220 * * [simplify]: iteration 2 : 24 enodes (cost 5 ) 319.223 * * [simplify]: iteration 3 : 69 enodes (cost 5 ) 319.240 * * [simplify]: iteration 4 : 184 enodes (cost 5 ) 319.346 * * [simplify]: iteration 5 : 531 enodes (cost 5 ) 320.026 * * [simplify]: iteration 6 : 1751 enodes (cost 5 ) 322.479 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 322.479 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 322.480 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 322.481 * * [simplify]: iteration 2 : 24 enodes (cost 5 ) 322.490 * * [simplify]: iteration 3 : 69 enodes (cost 5 ) 322.507 * * [simplify]: iteration 4 : 184 enodes (cost 5 ) 322.615 * * [simplify]: iteration 5 : 531 enodes (cost 5 ) 323.289 * * [simplify]: iteration 6 : 1751 enodes (cost 5 ) 325.741 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 325.742 * * [simplify]: iteration 0 : 13 enodes (cost 15 ) 325.744 * * [simplify]: iteration 1 : 31 enodes (cost 15 ) 325.750 * * [simplify]: iteration 2 : 73 enodes (cost 15 ) 325.760 * * [simplify]: iteration 3 : 142 enodes (cost 15 ) 325.795 * * [simplify]: iteration 4 : 327 enodes (cost 15 ) 325.952 * * [simplify]: iteration 5 : 842 enodes (cost 15 ) 326.940 * * [simplify]: iteration 6 : 2647 enodes (cost 15 ) 328.637 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 328.638 * * [simplify]: iteration 0 : 13 enodes (cost 15 ) 328.645 * * [simplify]: iteration 1 : 31 enodes (cost 15 ) 328.655 * * [simplify]: iteration 2 : 73 enodes (cost 15 ) 328.665 * * [simplify]: iteration 3 : 142 enodes (cost 15 ) 328.697 * * [simplify]: iteration 4 : 327 enodes (cost 15 ) 328.855 * * [simplify]: iteration 5 : 842 enodes (cost 15 ) 329.835 * * [simplify]: iteration 6 : 2647 enodes (cost 15 ) 331.760 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 331.761 * * [simplify]: iteration 0 : 13 enodes (cost 15 ) 331.762 * * [simplify]: iteration 1 : 31 enodes (cost 15 ) 331.768 * * [simplify]: iteration 2 : 73 enodes (cost 15 ) 331.779 * * [simplify]: iteration 3 : 142 enodes (cost 15 ) 331.814 * * [simplify]: iteration 4 : 327 enodes (cost 15 ) 331.973 * * [simplify]: iteration 5 : 842 enodes (cost 15 ) 332.985 * * [simplify]: iteration 6 : 2647 enodes (cost 15 ) 334.707 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 334.708 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 334.710 * * [simplify]: iteration 1 : 21 enodes (cost 11 ) 334.712 * * [simplify]: iteration 2 : 44 enodes (cost 11 ) 334.724 * * [simplify]: iteration 3 : 124 enodes (cost 11 ) 334.749 * * [simplify]: iteration 4 : 258 enodes (cost 11 ) 334.869 * * [simplify]: iteration 5 : 660 enodes (cost 11 ) 335.602 * * [simplify]: iteration 6 : 2137 enodes (cost 11 ) 337.762 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 337.763 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 337.765 * * [simplify]: iteration 1 : 21 enodes (cost 11 ) 337.767 * * [simplify]: iteration 2 : 44 enodes (cost 11 ) 337.778 * * [simplify]: iteration 3 : 124 enodes (cost 11 ) 337.800 * * [simplify]: iteration 4 : 258 enodes (cost 11 ) 337.920 * * [simplify]: iteration 5 : 660 enodes (cost 11 ) 338.654 * * [simplify]: iteration 6 : 2137 enodes (cost 11 ) 340.820 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 340.821 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 340.823 * * [simplify]: iteration 1 : 21 enodes (cost 11 ) 340.826 * * [simplify]: iteration 2 : 44 enodes (cost 11 ) 340.837 * * [simplify]: iteration 3 : 124 enodes (cost 11 ) 340.859 * * [simplify]: iteration 4 : 258 enodes (cost 11 ) 340.981 * * [simplify]: iteration 5 : 660 enodes (cost 11 ) 341.718 * * [simplify]: iteration 6 : 2137 enodes (cost 11 ) 343.900 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 343.901 * [simplify]: Simplified to: (+ (log 1/12) (* (log x) 4)) (+ (log 1/12) (* (log x) 4)) (+ (log 1/12) (log (pow x 4))) (log (* 1/12 (pow x 4))) (exp (* 1/12 (pow x 4))) (* 1/1728 (pow x 12)) (* (cbrt (* 1/12 (pow x 4))) (cbrt (* 1/12 (pow x 4)))) (cbrt (* 1/12 (pow x 4))) (* 1/1728 (pow x 12)) (sqrt (* 1/12 (pow x 4))) (sqrt (* 1/12 (pow x 4))) (* x (* x (sqrt 1/12))) (* x (* x (sqrt 1/12))) (* (sqrt 1/12) (sqrt (pow x 4))) (* (sqrt 1/12) (sqrt (pow x 4))) (* (sqrt 1/12) (pow x 2)) (* (sqrt 1/12) (pow x 2)) (* (pow (cbrt x) 8) 1/12) (* (* x x) 1/12) 1/12 (* 1/12 (* (cbrt (pow x 4)) (cbrt (pow x 4)))) (* 1/12 (sqrt (pow x 4))) 1/12 (* (pow x 2) 1/12) (* (cbrt 1/12) (pow x 4)) (* (sqrt 1/12) (pow x 4)) (* 1/12 (pow x 4)) (+ (log 1/360) (* (log x) 6)) (+ (log 1/360) (* (log x) 6)) (+ (log 1/360) (log (pow x 6))) (log (* 1/360 (pow x 6))) (exp (* 1/360 (pow x 6))) (* (pow (pow x 6) 3) 1/46656000) (* (cbrt (* 1/360 (pow x 6))) (cbrt (* 1/360 (pow x 6)))) (cbrt (* 1/360 (pow x 6))) (pow (* 1/360 (pow x 6)) 3) (sqrt (* 1/360 (pow x 6))) (sqrt (* 1/360 (pow x 6))) (* (pow x 3) (sqrt 1/360)) (* (pow x 3) (sqrt 1/360)) (* (sqrt 1/360) (sqrt (pow x 6))) (* (sqrt 1/360) (sqrt (pow x 6))) (* (sqrt 1/360) (pow x 3)) (* (sqrt 1/360) (pow x 3)) (* (pow x 4) 1/360) (* (pow x 3) 1/360) 1/360 (* (pow x 4) 1/360) (* 1/360 (sqrt (pow x 6))) 1/360 (* (pow x 3) 1/360) (* (cbrt 1/360) (pow x 6)) (* (sqrt 1/360) (pow x 6)) (* 1/360 (pow x 6)) (exp (+ (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (pow x 2))) (exp (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (log (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (exp (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (* (cbrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (cbrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (cbrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (pow (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) 3) (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (+ (pow x 6) (pow (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) 3)) (+ (pow x 4) (* (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (- (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (pow x 2)))) (- (pow x 4) (* (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (- (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (+ (pow x 2) (* 1/360 (pow x 6))) (exp (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (log (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (exp (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (* (cbrt (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (cbrt (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (cbrt (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (pow (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) 3) (sqrt (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (sqrt (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (* (pow x 12) (+ (* 1/46656000 (pow x 6)) 1/1728)) (+ (* (pow x 12) 1/129600) (- (* (pow x 8) 1/144) (* (pow x 4) (* (pow x 6) 1/4320)))) (+ (* 1/129600 (pow x 12)) (* -1/144 (pow x 8))) (- (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (* 1/12 (pow x 4)) (* 1/12 (pow x 4)) (* 1/12 (pow x 4)) (* 1/360 (pow x 6)) (* 1/360 (pow x 6)) (* 1/360 (pow x 6)) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) 343.902 * * * [progress]: adding candidates to table 344.074 * * [progress]: iteration 3 / 4 344.074 * * * [progress]: picking best candidate 344.089 * * * * [pick]: Picked # 344.089 * * * [progress]: localizing error 344.102 * * * [progress]: generating rewritten candidates 344.102 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 344.110 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 344.122 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 2) 344.128 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2) 344.136 * * * [progress]: generating series expansions 344.136 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 344.137 * [approximate]: Taking taylor expansion of (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) in (x) around 0 344.137 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) in x 344.137 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) in x 344.137 * [taylor]: Taking taylor expansion of (pow x 2) in x 344.137 * [taylor]: Taking taylor expansion of x in x 344.137 * [taylor]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in x 344.137 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x 344.137 * [taylor]: Taking taylor expansion of 1/360 in x 344.137 * [taylor]: Taking taylor expansion of (pow x 6) in x 344.137 * [taylor]: Taking taylor expansion of x in x 344.137 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 344.137 * [taylor]: Taking taylor expansion of 1/12 in x 344.137 * [taylor]: Taking taylor expansion of (pow x 4) in x 344.137 * [taylor]: Taking taylor expansion of x in x 344.137 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) in x 344.137 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) in x 344.137 * [taylor]: Taking taylor expansion of (pow x 2) in x 344.137 * [taylor]: Taking taylor expansion of x in x 344.137 * [taylor]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in x 344.137 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x 344.137 * [taylor]: Taking taylor expansion of 1/360 in x 344.137 * [taylor]: Taking taylor expansion of (pow x 6) in x 344.137 * [taylor]: Taking taylor expansion of x in x 344.138 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 344.138 * [taylor]: Taking taylor expansion of 1/12 in x 344.138 * [taylor]: Taking taylor expansion of (pow x 4) in x 344.138 * [taylor]: Taking taylor expansion of x in x 344.139 * [approximate]: Taking taylor expansion of (sqrt (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4)))))) in (x) around 0 344.139 * [taylor]: Taking taylor expansion of (sqrt (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4)))))) in x 344.139 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4))))) in x 344.139 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x 344.139 * [taylor]: Taking taylor expansion of 1/360 in x 344.139 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 344.139 * [taylor]: Taking taylor expansion of (pow x 6) in x 344.139 * [taylor]: Taking taylor expansion of x in x 344.139 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4)))) in x 344.139 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 344.139 * [taylor]: Taking taylor expansion of (pow x 2) in x 344.139 * [taylor]: Taking taylor expansion of x in x 344.139 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x 344.139 * [taylor]: Taking taylor expansion of 1/12 in x 344.139 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 344.139 * [taylor]: Taking taylor expansion of (pow x 4) in x 344.139 * [taylor]: Taking taylor expansion of x in x 344.139 * [taylor]: Taking taylor expansion of (sqrt (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4)))))) in x 344.140 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4))))) in x 344.140 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x 344.140 * [taylor]: Taking taylor expansion of 1/360 in x 344.140 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 344.140 * [taylor]: Taking taylor expansion of (pow x 6) in x 344.140 * [taylor]: Taking taylor expansion of x in x 344.140 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4)))) in x 344.140 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 344.140 * [taylor]: Taking taylor expansion of (pow x 2) in x 344.140 * [taylor]: Taking taylor expansion of x in x 344.140 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x 344.140 * [taylor]: Taking taylor expansion of 1/12 in x 344.140 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 344.140 * [taylor]: Taking taylor expansion of (pow x 4) in x 344.140 * [taylor]: Taking taylor expansion of x in x 344.142 * [approximate]: Taking taylor expansion of (sqrt (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4)))))) in (x) around 0 344.142 * [taylor]: Taking taylor expansion of (sqrt (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4)))))) in x 344.142 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4))))) in x 344.142 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x 344.142 * [taylor]: Taking taylor expansion of 1/360 in x 344.142 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 344.142 * [taylor]: Taking taylor expansion of (pow x 6) in x 344.142 * [taylor]: Taking taylor expansion of x in x 344.142 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4)))) in x 344.142 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 344.142 * [taylor]: Taking taylor expansion of (pow x 2) in x 344.142 * [taylor]: Taking taylor expansion of x in x 344.142 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x 344.143 * [taylor]: Taking taylor expansion of 1/12 in x 344.143 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 344.143 * [taylor]: Taking taylor expansion of (pow x 4) in x 344.143 * [taylor]: Taking taylor expansion of x in x 344.143 * [taylor]: Taking taylor expansion of (sqrt (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4)))))) in x 344.143 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4))))) in x 344.143 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x 344.143 * [taylor]: Taking taylor expansion of 1/360 in x 344.143 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 344.143 * [taylor]: Taking taylor expansion of (pow x 6) in x 344.143 * [taylor]: Taking taylor expansion of x in x 344.143 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4)))) in x 344.143 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 344.143 * [taylor]: Taking taylor expansion of (pow x 2) in x 344.143 * [taylor]: Taking taylor expansion of x in x 344.143 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x 344.143 * [taylor]: Taking taylor expansion of 1/12 in x 344.143 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 344.143 * [taylor]: Taking taylor expansion of (pow x 4) in x 344.143 * [taylor]: Taking taylor expansion of x in x 344.146 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 344.146 * [approximate]: Taking taylor expansion of (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) in (x) around 0 344.146 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) in x 344.146 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) in x 344.146 * [taylor]: Taking taylor expansion of (pow x 2) in x 344.146 * [taylor]: Taking taylor expansion of x in x 344.146 * [taylor]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in x 344.146 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x 344.146 * [taylor]: Taking taylor expansion of 1/360 in x 344.146 * [taylor]: Taking taylor expansion of (pow x 6) in x 344.146 * [taylor]: Taking taylor expansion of x in x 344.146 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 344.146 * [taylor]: Taking taylor expansion of 1/12 in x 344.146 * [taylor]: Taking taylor expansion of (pow x 4) in x 344.146 * [taylor]: Taking taylor expansion of x in x 344.146 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) in x 344.146 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) in x 344.146 * [taylor]: Taking taylor expansion of (pow x 2) in x 344.146 * [taylor]: Taking taylor expansion of x in x 344.146 * [taylor]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in x 344.146 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x 344.146 * [taylor]: Taking taylor expansion of 1/360 in x 344.146 * [taylor]: Taking taylor expansion of (pow x 6) in x 344.146 * [taylor]: Taking taylor expansion of x in x 344.146 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 344.146 * [taylor]: Taking taylor expansion of 1/12 in x 344.146 * [taylor]: Taking taylor expansion of (pow x 4) in x 344.146 * [taylor]: Taking taylor expansion of x in x 344.148 * [approximate]: Taking taylor expansion of (sqrt (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4)))))) in (x) around 0 344.148 * [taylor]: Taking taylor expansion of (sqrt (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4)))))) in x 344.148 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4))))) in x 344.148 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x 344.148 * [taylor]: Taking taylor expansion of 1/360 in x 344.148 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 344.148 * [taylor]: Taking taylor expansion of (pow x 6) in x 344.148 * [taylor]: Taking taylor expansion of x in x 344.148 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4)))) in x 344.148 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 344.148 * [taylor]: Taking taylor expansion of (pow x 2) in x 344.148 * [taylor]: Taking taylor expansion of x in x 344.148 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x 344.148 * [taylor]: Taking taylor expansion of 1/12 in x 344.148 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 344.148 * [taylor]: Taking taylor expansion of (pow x 4) in x 344.148 * [taylor]: Taking taylor expansion of x in x 344.148 * [taylor]: Taking taylor expansion of (sqrt (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4)))))) in x 344.148 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4))))) in x 344.148 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x 344.148 * [taylor]: Taking taylor expansion of 1/360 in x 344.148 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 344.148 * [taylor]: Taking taylor expansion of (pow x 6) in x 344.148 * [taylor]: Taking taylor expansion of x in x 344.148 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4)))) in x 344.149 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 344.149 * [taylor]: Taking taylor expansion of (pow x 2) in x 344.149 * [taylor]: Taking taylor expansion of x in x 344.149 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x 344.149 * [taylor]: Taking taylor expansion of 1/12 in x 344.149 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 344.149 * [taylor]: Taking taylor expansion of (pow x 4) in x 344.149 * [taylor]: Taking taylor expansion of x in x 344.151 * [approximate]: Taking taylor expansion of (sqrt (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4)))))) in (x) around 0 344.151 * [taylor]: Taking taylor expansion of (sqrt (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4)))))) in x 344.151 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4))))) in x 344.151 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x 344.151 * [taylor]: Taking taylor expansion of 1/360 in x 344.151 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 344.151 * [taylor]: Taking taylor expansion of (pow x 6) in x 344.151 * [taylor]: Taking taylor expansion of x in x 344.151 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4)))) in x 344.151 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 344.151 * [taylor]: Taking taylor expansion of (pow x 2) in x 344.151 * [taylor]: Taking taylor expansion of x in x 344.151 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x 344.151 * [taylor]: Taking taylor expansion of 1/12 in x 344.151 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 344.151 * [taylor]: Taking taylor expansion of (pow x 4) in x 344.151 * [taylor]: Taking taylor expansion of x in x 344.152 * [taylor]: Taking taylor expansion of (sqrt (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4)))))) in x 344.152 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4))))) in x 344.152 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x 344.152 * [taylor]: Taking taylor expansion of 1/360 in x 344.152 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 344.152 * [taylor]: Taking taylor expansion of (pow x 6) in x 344.152 * [taylor]: Taking taylor expansion of x in x 344.152 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4)))) in x 344.152 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 344.152 * [taylor]: Taking taylor expansion of (pow x 2) in x 344.152 * [taylor]: Taking taylor expansion of x in x 344.152 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x 344.152 * [taylor]: Taking taylor expansion of 1/12 in x 344.152 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 344.152 * [taylor]: Taking taylor expansion of (pow x 4) in x 344.152 * [taylor]: Taking taylor expansion of x in x 344.154 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 2) 344.154 * [approximate]: Taking taylor expansion of (* 1/12 (pow x 4)) in (x) around 0 344.154 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 344.154 * [taylor]: Taking taylor expansion of 1/12 in x 344.154 * [taylor]: Taking taylor expansion of (pow x 4) in x 344.154 * [taylor]: Taking taylor expansion of x in x 344.154 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 344.154 * [taylor]: Taking taylor expansion of 1/12 in x 344.154 * [taylor]: Taking taylor expansion of (pow x 4) in x 344.154 * [taylor]: Taking taylor expansion of x in x 344.155 * [approximate]: Taking taylor expansion of (/ 1/12 (pow x 4)) in (x) around 0 344.155 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 344.155 * [taylor]: Taking taylor expansion of 1/12 in x 344.155 * [taylor]: Taking taylor expansion of (pow x 4) in x 344.155 * [taylor]: Taking taylor expansion of x in x 344.155 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 344.156 * [taylor]: Taking taylor expansion of 1/12 in x 344.156 * [taylor]: Taking taylor expansion of (pow x 4) in x 344.156 * [taylor]: Taking taylor expansion of x in x 344.157 * [approximate]: Taking taylor expansion of (/ 1/12 (pow x 4)) in (x) around 0 344.157 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 344.157 * [taylor]: Taking taylor expansion of 1/12 in x 344.157 * [taylor]: Taking taylor expansion of (pow x 4) in x 344.157 * [taylor]: Taking taylor expansion of x in x 344.157 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 344.157 * [taylor]: Taking taylor expansion of 1/12 in x 344.157 * [taylor]: Taking taylor expansion of (pow x 4) in x 344.157 * [taylor]: Taking taylor expansion of x in x 344.158 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2) 344.158 * [approximate]: Taking taylor expansion of (* 1/12 (pow x 4)) in (x) around 0 344.158 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 344.158 * [taylor]: Taking taylor expansion of 1/12 in x 344.158 * [taylor]: Taking taylor expansion of (pow x 4) in x 344.158 * [taylor]: Taking taylor expansion of x in x 344.158 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 344.158 * [taylor]: Taking taylor expansion of 1/12 in x 344.158 * [taylor]: Taking taylor expansion of (pow x 4) in x 344.158 * [taylor]: Taking taylor expansion of x in x 344.159 * [approximate]: Taking taylor expansion of (/ 1/12 (pow x 4)) in (x) around 0 344.160 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 344.160 * [taylor]: Taking taylor expansion of 1/12 in x 344.160 * [taylor]: Taking taylor expansion of (pow x 4) in x 344.160 * [taylor]: Taking taylor expansion of x in x 344.160 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 344.160 * [taylor]: Taking taylor expansion of 1/12 in x 344.160 * [taylor]: Taking taylor expansion of (pow x 4) in x 344.160 * [taylor]: Taking taylor expansion of x in x 344.161 * [approximate]: Taking taylor expansion of (/ 1/12 (pow x 4)) in (x) around 0 344.161 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 344.161 * [taylor]: Taking taylor expansion of 1/12 in x 344.161 * [taylor]: Taking taylor expansion of (pow x 4) in x 344.161 * [taylor]: Taking taylor expansion of x in x 344.161 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 344.161 * [taylor]: Taking taylor expansion of 1/12 in x 344.161 * [taylor]: Taking taylor expansion of (pow x 4) in x 344.161 * [taylor]: Taking taylor expansion of x in x 344.162 * * * [progress]: simplifying candidates 344.164 * [simplify]: Simplifying using # : (log (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (exp (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (* (cbrt (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (cbrt (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))))) (cbrt (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (* (* (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (sqrt (* (cbrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (cbrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))))) (sqrt (cbrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (sqrt (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (sqrt (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (sqrt 1) (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (sqrt 1) (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (sqrt (+ (pow (pow x 2) 3) (pow (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) 3))) (sqrt (+ (* (pow x 2) (pow x 2)) (- (* (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (* (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))))) (sqrt (- (* (pow x 2) (pow x 2)) (* (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (sqrt (- (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (/ 1 2) (sqrt (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (sqrt (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (log (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (exp (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (* (cbrt (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (cbrt (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))))) (cbrt (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (* (* (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (sqrt (* (cbrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (cbrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))))) (sqrt (cbrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (sqrt (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (sqrt (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (sqrt 1) (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (sqrt 1) (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (sqrt (+ (pow (pow x 2) 3) (pow (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) 3))) (sqrt (+ (* (pow x 2) (pow x 2)) (- (* (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (* (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))))) (sqrt (- (* (pow x 2) (pow x 2)) (* (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (sqrt (- (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (/ 1 2) (sqrt (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (sqrt (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (+ (log 1/12) (* (log x) 4)) (+ (log 1/12) (* (log x) 4)) (+ (log 1/12) (log (pow x 4))) (log (* 1/12 (pow x 4))) (exp (* 1/12 (pow x 4))) (* (* (* 1/12 1/12) 1/12) (* (* (pow x 4) (pow x 4)) (pow x 4))) (* (cbrt (* 1/12 (pow x 4))) (cbrt (* 1/12 (pow x 4)))) (cbrt (* 1/12 (pow x 4))) (* (* (* 1/12 (pow x 4)) (* 1/12 (pow x 4))) (* 1/12 (pow x 4))) (sqrt (* 1/12 (pow x 4))) (sqrt (* 1/12 (pow x 4))) (* (sqrt 1/12) (pow (sqrt x) 4)) (* (sqrt 1/12) (pow (sqrt x) 4)) (* (sqrt 1/12) (sqrt (pow x 4))) (* (sqrt 1/12) (sqrt (pow x 4))) (* (sqrt 1/12) (pow x (/ 4 2))) (* (sqrt 1/12) (pow x (/ 4 2))) (* 1/12 (pow (* (cbrt x) (cbrt x)) 4)) (* 1/12 (pow (sqrt x) 4)) (* 1/12 (pow 1 4)) (* 1/12 (* (cbrt (pow x 4)) (cbrt (pow x 4)))) (* 1/12 (sqrt (pow x 4))) (* 1/12 1) (* 1/12 (pow x (/ 4 2))) (* (cbrt 1/12) (pow x 4)) (* (sqrt 1/12) (pow x 4)) (* 1/12 (pow x 4)) (+ (log 1/12) (* (log x) 4)) (+ (log 1/12) (* (log x) 4)) (+ (log 1/12) (log (pow x 4))) (log (* 1/12 (pow x 4))) (exp (* 1/12 (pow x 4))) (* (* (* 1/12 1/12) 1/12) (* (* (pow x 4) (pow x 4)) (pow x 4))) (* (cbrt (* 1/12 (pow x 4))) (cbrt (* 1/12 (pow x 4)))) (cbrt (* 1/12 (pow x 4))) (* (* (* 1/12 (pow x 4)) (* 1/12 (pow x 4))) (* 1/12 (pow x 4))) (sqrt (* 1/12 (pow x 4))) (sqrt (* 1/12 (pow x 4))) (* (sqrt 1/12) (pow (sqrt x) 4)) (* (sqrt 1/12) (pow (sqrt x) 4)) (* (sqrt 1/12) (sqrt (pow x 4))) (* (sqrt 1/12) (sqrt (pow x 4))) (* (sqrt 1/12) (pow x (/ 4 2))) (* (sqrt 1/12) (pow x (/ 4 2))) (* 1/12 (pow (* (cbrt x) (cbrt x)) 4)) (* 1/12 (pow (sqrt x) 4)) (* 1/12 (pow 1 4)) (* 1/12 (* (cbrt (pow x 4)) (cbrt (pow x 4)))) (* 1/12 (sqrt (pow x 4))) (* 1/12 1) (* 1/12 (pow x (/ 4 2))) (* (cbrt 1/12) (pow x 4)) (* (sqrt 1/12) (pow x 4)) (* 1/12 (pow x 4)) (+ x (+ (* 1/24 (pow x 3)) (* 1/1920 (pow x 5)))) (- (+ (* 1/2 (/ 1 (* x (sqrt 1/360)))) (+ (* (pow x 3) (sqrt 1/360)) (* 1/24 (/ x (sqrt 1/360))))) (* 1/1152 (/ 1 (* x (pow (sqrt 1/360) 3))))) (- (* 1/1152 (/ 1 (* x (pow (sqrt 1/360) 3)))) (+ (* 1/2 (/ 1 (* x (sqrt 1/360)))) (+ (* (pow x 3) (sqrt 1/360)) (* 1/24 (/ x (sqrt 1/360)))))) (+ x (+ (* 1/24 (pow x 3)) (* 1/1920 (pow x 5)))) (- (+ (* 1/2 (/ 1 (* x (sqrt 1/360)))) (+ (* (pow x 3) (sqrt 1/360)) (* 1/24 (/ x (sqrt 1/360))))) (* 1/1152 (/ 1 (* x (pow (sqrt 1/360) 3))))) (- (* 1/1152 (/ 1 (* x (pow (sqrt 1/360) 3)))) (+ (* 1/2 (/ 1 (* x (sqrt 1/360)))) (+ (* (pow x 3) (sqrt 1/360)) (* 1/24 (/ x (sqrt 1/360)))))) (* 1/12 (pow x 4)) (* 1/12 (pow x 4)) (* 1/12 (pow x 4)) (* 1/12 (pow x 4)) (* 1/12 (pow x 4)) (* 1/12 (pow x 4)) 344.164 * * [simplify]: iteration 0 : 15 enodes (cost 17 ) 344.166 * * [simplify]: iteration 1 : 33 enodes (cost 17 ) 344.172 * * [simplify]: iteration 2 : 75 enodes (cost 17 ) 344.182 * * [simplify]: iteration 3 : 142 enodes (cost 17 ) 344.217 * * [simplify]: iteration 4 : 332 enodes (cost 17 ) 344.380 * * [simplify]: iteration 5 : 872 enodes (cost 17 ) 345.377 * * [simplify]: iteration 6 : 2626 enodes (cost 17 ) 347.389 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 347.390 * * [simplify]: iteration 0 : 15 enodes (cost 17 ) 347.392 * * [simplify]: iteration 1 : 33 enodes (cost 17 ) 347.398 * * [simplify]: iteration 2 : 75 enodes (cost 17 ) 347.414 * * [simplify]: iteration 3 : 142 enodes (cost 17 ) 347.446 * * [simplify]: iteration 4 : 332 enodes (cost 17 ) 347.614 * * [simplify]: iteration 5 : 872 enodes (cost 17 ) 348.607 * * [simplify]: iteration 6 : 2626 enodes (cost 17 ) 350.631 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 350.632 * * [simplify]: iteration 0 : 16 enodes (cost 35 ) 350.634 * * [simplify]: iteration 1 : 34 enodes (cost 35 ) 350.640 * * [simplify]: iteration 2 : 76 enodes (cost 35 ) 350.650 * * [simplify]: iteration 3 : 143 enodes (cost 35 ) 350.685 * * [simplify]: iteration 4 : 326 enodes (cost 35 ) 350.840 * * [simplify]: iteration 5 : 852 enodes (cost 35 ) 351.859 * * [simplify]: iteration 6 : 2638 enodes (cost 35 ) 354.361 * * [simplify]: iteration done : 5000 enodes (cost 35 ) 354.361 * * [simplify]: iteration 0 : 15 enodes (cost 17 ) 354.363 * * [simplify]: iteration 1 : 33 enodes (cost 17 ) 354.369 * * [simplify]: iteration 2 : 75 enodes (cost 17 ) 354.380 * * [simplify]: iteration 3 : 142 enodes (cost 17 ) 354.415 * * [simplify]: iteration 4 : 332 enodes (cost 17 ) 354.582 * * [simplify]: iteration 5 : 872 enodes (cost 17 ) 355.569 * * [simplify]: iteration 6 : 2626 enodes (cost 17 ) 357.594 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 357.595 * * [simplify]: iteration 0 : 16 enodes (cost 50 ) 357.597 * * [simplify]: iteration 1 : 35 enodes (cost 32 ) 357.603 * * [simplify]: iteration 2 : 93 enodes (cost 18 ) 357.622 * * [simplify]: iteration 3 : 197 enodes (cost 18 ) 357.671 * * [simplify]: iteration 4 : 515 enodes (cost 18 ) 357.988 * * [simplify]: iteration 5 : 1582 enodes (cost 18 ) 360.479 * * [simplify]: iteration done : 5000 enodes (cost 18 ) 360.480 * * [simplify]: iteration 0 : 16 enodes (cost 34 ) 360.488 * * [simplify]: iteration 1 : 35 enodes (cost 17 ) 360.493 * * [simplify]: iteration 2 : 77 enodes (cost 17 ) 360.503 * * [simplify]: iteration 3 : 144 enodes (cost 17 ) 360.538 * * [simplify]: iteration 4 : 339 enodes (cost 17 ) 360.694 * * [simplify]: iteration 5 : 863 enodes (cost 17 ) 361.736 * * [simplify]: iteration 6 : 2734 enodes (cost 17 ) 363.937 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 363.938 * * [simplify]: iteration 0 : 15 enodes (cost 17 ) 363.940 * * [simplify]: iteration 1 : 33 enodes (cost 17 ) 363.945 * * [simplify]: iteration 2 : 75 enodes (cost 17 ) 363.955 * * [simplify]: iteration 3 : 142 enodes (cost 17 ) 363.990 * * [simplify]: iteration 4 : 332 enodes (cost 17 ) 364.158 * * [simplify]: iteration 5 : 872 enodes (cost 17 ) 365.142 * * [simplify]: iteration 6 : 2626 enodes (cost 17 ) 367.173 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 367.173 * * [simplify]: iteration 0 : 15 enodes (cost 17 ) 367.175 * * [simplify]: iteration 1 : 33 enodes (cost 17 ) 367.181 * * [simplify]: iteration 2 : 75 enodes (cost 17 ) 367.197 * * [simplify]: iteration 3 : 142 enodes (cost 17 ) 367.229 * * [simplify]: iteration 4 : 332 enodes (cost 17 ) 367.397 * * [simplify]: iteration 5 : 872 enodes (cost 17 ) 368.392 * * [simplify]: iteration 6 : 2626 enodes (cost 17 ) 370.422 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 370.423 * * [simplify]: iteration 0 : 15 enodes (cost 17 ) 370.425 * * [simplify]: iteration 1 : 33 enodes (cost 17 ) 370.431 * * [simplify]: iteration 2 : 75 enodes (cost 17 ) 370.440 * * [simplify]: iteration 3 : 142 enodes (cost 17 ) 370.476 * * [simplify]: iteration 4 : 332 enodes (cost 17 ) 370.641 * * [simplify]: iteration 5 : 872 enodes (cost 17 ) 371.628 * * [simplify]: iteration 6 : 2626 enodes (cost 17 ) 373.906 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 373.907 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 373.907 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 373.907 * * [simplify]: iteration done : 4 enodes (cost 1 ) 373.908 * * [simplify]: iteration 0 : 14 enodes (cost 16 ) 373.910 * * [simplify]: iteration 1 : 32 enodes (cost 16 ) 373.915 * * [simplify]: iteration 2 : 74 enodes (cost 16 ) 373.925 * * [simplify]: iteration 3 : 143 enodes (cost 16 ) 373.960 * * [simplify]: iteration 4 : 323 enodes (cost 16 ) 374.122 * * [simplify]: iteration 5 : 837 enodes (cost 16 ) 375.203 * * [simplify]: iteration 6 : 2741 enodes (cost 16 ) 377.377 * * [simplify]: iteration done : 5001 enodes (cost 16 ) 377.377 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 377.378 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 377.378 * * [simplify]: iteration done : 4 enodes (cost 1 ) 377.379 * * [simplify]: iteration 0 : 14 enodes (cost 16 ) 377.380 * * [simplify]: iteration 1 : 32 enodes (cost 16 ) 377.386 * * [simplify]: iteration 2 : 74 enodes (cost 16 ) 377.402 * * [simplify]: iteration 3 : 143 enodes (cost 16 ) 377.432 * * [simplify]: iteration 4 : 323 enodes (cost 16 ) 377.595 * * [simplify]: iteration 5 : 837 enodes (cost 16 ) 378.666 * * [simplify]: iteration 6 : 2741 enodes (cost 16 ) 380.810 * * [simplify]: iteration done : 5001 enodes (cost 16 ) 380.811 * * [simplify]: iteration 0 : 17 enodes (cost 20 ) 380.814 * * [simplify]: iteration 1 : 44 enodes (cost 20 ) 380.825 * * [simplify]: iteration 2 : 117 enodes (cost 18 ) 380.845 * * [simplify]: iteration 3 : 320 enodes (cost 18 ) 381.020 * * [simplify]: iteration 4 : 1722 enodes (cost 18 ) 382.347 * * [simplify]: iteration done : 5001 enodes (cost 18 ) 382.348 * * [simplify]: iteration 0 : 18 enodes (cost 48 ) 382.351 * * [simplify]: iteration 1 : 55 enodes (cost 32 ) 382.369 * * [simplify]: iteration 2 : 189 enodes (cost 32 ) 382.414 * * [simplify]: iteration 3 : 624 enodes (cost 32 ) 382.935 * * [simplify]: iteration 4 : 3123 enodes (cost 32 ) 385.178 * * [simplify]: iteration done : 5000 enodes (cost 32 ) 385.179 * * [simplify]: iteration 0 : 16 enodes (cost 32 ) 385.181 * * [simplify]: iteration 1 : 44 enodes (cost 28 ) 385.189 * * [simplify]: iteration 2 : 127 enodes (cost 28 ) 385.218 * * [simplify]: iteration 3 : 454 enodes (cost 28 ) 385.531 * * [simplify]: iteration 4 : 2530 enodes (cost 28 ) 387.127 * * [simplify]: iteration done : 5000 enodes (cost 28 ) 387.128 * * [simplify]: iteration 0 : 14 enodes (cost 16 ) 387.130 * * [simplify]: iteration 1 : 33 enodes (cost 16 ) 387.135 * * [simplify]: iteration 2 : 78 enodes (cost 16 ) 387.147 * * [simplify]: iteration 3 : 179 enodes (cost 16 ) 387.201 * * [simplify]: iteration 4 : 558 enodes (cost 16 ) 387.795 * * [simplify]: iteration 5 : 1984 enodes (cost 16 ) 389.739 * * [simplify]: iteration done : 5000 enodes (cost 16 ) 389.740 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 389.740 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 389.741 * * [simplify]: iteration done : 6 enodes (cost 1 ) 389.741 * * [simplify]: iteration 0 : 15 enodes (cost 17 ) 389.743 * * [simplify]: iteration 1 : 33 enodes (cost 17 ) 389.749 * * [simplify]: iteration 2 : 75 enodes (cost 17 ) 389.759 * * [simplify]: iteration 3 : 142 enodes (cost 17 ) 389.795 * * [simplify]: iteration 4 : 332 enodes (cost 17 ) 389.960 * * [simplify]: iteration 5 : 872 enodes (cost 17 ) 390.949 * * [simplify]: iteration 6 : 2626 enodes (cost 17 ) 392.972 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 392.973 * * [simplify]: iteration 0 : 15 enodes (cost 17 ) 392.975 * * [simplify]: iteration 1 : 33 enodes (cost 17 ) 392.987 * * [simplify]: iteration 2 : 75 enodes (cost 17 ) 392.997 * * [simplify]: iteration 3 : 142 enodes (cost 17 ) 393.029 * * [simplify]: iteration 4 : 332 enodes (cost 17 ) 393.196 * * [simplify]: iteration 5 : 872 enodes (cost 17 ) 394.403 * * [simplify]: iteration 6 : 2626 enodes (cost 17 ) 396.450 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 396.451 * * [simplify]: iteration 0 : 15 enodes (cost 17 ) 396.453 * * [simplify]: iteration 1 : 33 enodes (cost 17 ) 396.459 * * [simplify]: iteration 2 : 75 enodes (cost 17 ) 396.469 * * [simplify]: iteration 3 : 142 enodes (cost 17 ) 396.504 * * [simplify]: iteration 4 : 332 enodes (cost 17 ) 396.669 * * [simplify]: iteration 5 : 872 enodes (cost 17 ) 397.648 * * [simplify]: iteration 6 : 2626 enodes (cost 17 ) 399.678 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 399.678 * * [simplify]: iteration 0 : 15 enodes (cost 17 ) 399.681 * * [simplify]: iteration 1 : 33 enodes (cost 17 ) 399.687 * * [simplify]: iteration 2 : 75 enodes (cost 17 ) 399.696 * * [simplify]: iteration 3 : 142 enodes (cost 17 ) 399.733 * * [simplify]: iteration 4 : 332 enodes (cost 17 ) 399.895 * * [simplify]: iteration 5 : 872 enodes (cost 17 ) 400.896 * * [simplify]: iteration 6 : 2626 enodes (cost 17 ) 402.912 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 402.917 * * [simplify]: iteration 0 : 16 enodes (cost 35 ) 402.919 * * [simplify]: iteration 1 : 34 enodes (cost 35 ) 402.926 * * [simplify]: iteration 2 : 76 enodes (cost 35 ) 402.936 * * [simplify]: iteration 3 : 143 enodes (cost 35 ) 402.966 * * [simplify]: iteration 4 : 326 enodes (cost 35 ) 403.120 * * [simplify]: iteration 5 : 852 enodes (cost 35 ) 404.124 * * [simplify]: iteration 6 : 2638 enodes (cost 35 ) 406.377 * * [simplify]: iteration done : 5000 enodes (cost 35 ) 406.378 * * [simplify]: iteration 0 : 15 enodes (cost 17 ) 406.380 * * [simplify]: iteration 1 : 33 enodes (cost 17 ) 406.386 * * [simplify]: iteration 2 : 75 enodes (cost 17 ) 406.397 * * [simplify]: iteration 3 : 142 enodes (cost 17 ) 406.431 * * [simplify]: iteration 4 : 332 enodes (cost 17 ) 406.598 * * [simplify]: iteration 5 : 872 enodes (cost 17 ) 407.587 * * [simplify]: iteration 6 : 2626 enodes (cost 17 ) 409.596 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 409.597 * * [simplify]: iteration 0 : 16 enodes (cost 50 ) 409.599 * * [simplify]: iteration 1 : 35 enodes (cost 32 ) 409.606 * * [simplify]: iteration 2 : 93 enodes (cost 18 ) 409.620 * * [simplify]: iteration 3 : 197 enodes (cost 18 ) 409.673 * * [simplify]: iteration 4 : 515 enodes (cost 18 ) 409.988 * * [simplify]: iteration 5 : 1582 enodes (cost 18 ) 412.453 * * [simplify]: iteration done : 5000 enodes (cost 18 ) 412.453 * * [simplify]: iteration 0 : 16 enodes (cost 34 ) 412.456 * * [simplify]: iteration 1 : 35 enodes (cost 17 ) 412.465 * * [simplify]: iteration 2 : 77 enodes (cost 17 ) 412.475 * * [simplify]: iteration 3 : 144 enodes (cost 17 ) 412.507 * * [simplify]: iteration 4 : 339 enodes (cost 17 ) 412.670 * * [simplify]: iteration 5 : 863 enodes (cost 17 ) 413.703 * * [simplify]: iteration 6 : 2734 enodes (cost 17 ) 416.144 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 416.145 * * [simplify]: iteration 0 : 15 enodes (cost 17 ) 416.147 * * [simplify]: iteration 1 : 33 enodes (cost 17 ) 416.153 * * [simplify]: iteration 2 : 75 enodes (cost 17 ) 416.163 * * [simplify]: iteration 3 : 142 enodes (cost 17 ) 416.198 * * [simplify]: iteration 4 : 332 enodes (cost 17 ) 416.363 * * [simplify]: iteration 5 : 872 enodes (cost 17 ) 417.352 * * [simplify]: iteration 6 : 2626 enodes (cost 17 ) 419.390 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 419.391 * * [simplify]: iteration 0 : 15 enodes (cost 17 ) 419.393 * * [simplify]: iteration 1 : 33 enodes (cost 17 ) 419.399 * * [simplify]: iteration 2 : 75 enodes (cost 17 ) 419.409 * * [simplify]: iteration 3 : 142 enodes (cost 17 ) 419.447 * * [simplify]: iteration 4 : 332 enodes (cost 17 ) 419.614 * * [simplify]: iteration 5 : 872 enodes (cost 17 ) 420.600 * * [simplify]: iteration 6 : 2626 enodes (cost 17 ) 422.628 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 422.629 * * [simplify]: iteration 0 : 15 enodes (cost 17 ) 422.631 * * [simplify]: iteration 1 : 33 enodes (cost 17 ) 422.636 * * [simplify]: iteration 2 : 75 enodes (cost 17 ) 422.646 * * [simplify]: iteration 3 : 142 enodes (cost 17 ) 422.677 * * [simplify]: iteration 4 : 332 enodes (cost 17 ) 422.835 * * [simplify]: iteration 5 : 872 enodes (cost 17 ) 423.818 * * [simplify]: iteration 6 : 2626 enodes (cost 17 ) 425.822 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 425.823 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 425.823 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 425.823 * * [simplify]: iteration done : 4 enodes (cost 1 ) 425.824 * * [simplify]: iteration 0 : 14 enodes (cost 16 ) 425.826 * * [simplify]: iteration 1 : 32 enodes (cost 16 ) 425.832 * * [simplify]: iteration 2 : 74 enodes (cost 16 ) 425.842 * * [simplify]: iteration 3 : 143 enodes (cost 16 ) 425.876 * * [simplify]: iteration 4 : 323 enodes (cost 16 ) 426.037 * * [simplify]: iteration 5 : 837 enodes (cost 16 ) 427.097 * * [simplify]: iteration 6 : 2741 enodes (cost 16 ) 429.239 * * [simplify]: iteration done : 5001 enodes (cost 16 ) 429.240 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 429.240 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 429.241 * * [simplify]: iteration done : 4 enodes (cost 1 ) 429.241 * * [simplify]: iteration 0 : 14 enodes (cost 16 ) 429.243 * * [simplify]: iteration 1 : 32 enodes (cost 16 ) 429.249 * * [simplify]: iteration 2 : 74 enodes (cost 16 ) 429.258 * * [simplify]: iteration 3 : 143 enodes (cost 16 ) 429.294 * * [simplify]: iteration 4 : 323 enodes (cost 16 ) 429.457 * * [simplify]: iteration 5 : 837 enodes (cost 16 ) 430.520 * * [simplify]: iteration 6 : 2741 enodes (cost 16 ) 432.649 * * [simplify]: iteration done : 5001 enodes (cost 16 ) 432.650 * * [simplify]: iteration 0 : 17 enodes (cost 20 ) 432.653 * * [simplify]: iteration 1 : 44 enodes (cost 20 ) 432.669 * * [simplify]: iteration 2 : 117 enodes (cost 18 ) 432.690 * * [simplify]: iteration 3 : 320 enodes (cost 18 ) 432.859 * * [simplify]: iteration 4 : 1722 enodes (cost 18 ) 434.184 * * [simplify]: iteration done : 5001 enodes (cost 18 ) 434.185 * * [simplify]: iteration 0 : 18 enodes (cost 48 ) 434.189 * * [simplify]: iteration 1 : 55 enodes (cost 32 ) 434.206 * * [simplify]: iteration 2 : 189 enodes (cost 32 ) 434.252 * * [simplify]: iteration 3 : 624 enodes (cost 32 ) 434.769 * * [simplify]: iteration 4 : 3123 enodes (cost 32 ) 436.995 * * [simplify]: iteration done : 5000 enodes (cost 32 ) 436.996 * * [simplify]: iteration 0 : 16 enodes (cost 32 ) 436.999 * * [simplify]: iteration 1 : 44 enodes (cost 28 ) 437.006 * * [simplify]: iteration 2 : 127 enodes (cost 28 ) 437.037 * * [simplify]: iteration 3 : 454 enodes (cost 28 ) 437.553 * * [simplify]: iteration 4 : 2530 enodes (cost 28 ) 439.147 * * [simplify]: iteration done : 5000 enodes (cost 28 ) 439.147 * * [simplify]: iteration 0 : 14 enodes (cost 16 ) 439.149 * * [simplify]: iteration 1 : 33 enodes (cost 16 ) 439.155 * * [simplify]: iteration 2 : 78 enodes (cost 16 ) 439.166 * * [simplify]: iteration 3 : 179 enodes (cost 16 ) 439.220 * * [simplify]: iteration 4 : 558 enodes (cost 16 ) 439.819 * * [simplify]: iteration 5 : 1984 enodes (cost 16 ) 441.760 * * [simplify]: iteration done : 5000 enodes (cost 16 ) 441.761 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 441.761 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 441.762 * * [simplify]: iteration done : 6 enodes (cost 1 ) 441.762 * * [simplify]: iteration 0 : 15 enodes (cost 17 ) 441.764 * * [simplify]: iteration 1 : 33 enodes (cost 17 ) 441.770 * * [simplify]: iteration 2 : 75 enodes (cost 17 ) 441.779 * * [simplify]: iteration 3 : 142 enodes (cost 17 ) 441.815 * * [simplify]: iteration 4 : 332 enodes (cost 17 ) 441.978 * * [simplify]: iteration 5 : 872 enodes (cost 17 ) 442.966 * * [simplify]: iteration 6 : 2626 enodes (cost 17 ) 444.977 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 444.978 * * [simplify]: iteration 0 : 15 enodes (cost 17 ) 444.980 * * [simplify]: iteration 1 : 33 enodes (cost 17 ) 444.986 * * [simplify]: iteration 2 : 75 enodes (cost 17 ) 445.002 * * [simplify]: iteration 3 : 142 enodes (cost 17 ) 445.033 * * [simplify]: iteration 4 : 332 enodes (cost 17 ) 445.202 * * [simplify]: iteration 5 : 872 enodes (cost 17 ) 446.183 * * [simplify]: iteration 6 : 2626 enodes (cost 17 ) 448.199 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 448.199 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 448.200 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 448.201 * * [simplify]: iteration done : 9 enodes (cost 7 ) 448.202 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 448.203 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 448.204 * * [simplify]: iteration done : 9 enodes (cost 7 ) 448.204 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 448.205 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 448.207 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 448.210 * * [simplify]: iteration 3 : 51 enodes (cost 7 ) 448.216 * * [simplify]: iteration 4 : 79 enodes (cost 7 ) 448.225 * * [simplify]: iteration 5 : 109 enodes (cost 7 ) 448.235 * * [simplify]: iteration 6 : 132 enodes (cost 7 ) 448.252 * * [simplify]: iteration 7 : 193 enodes (cost 7 ) 448.285 * * [simplify]: iteration 8 : 371 enodes (cost 7 ) 448.422 * * [simplify]: iteration 9 : 981 enodes (cost 7 ) 449.419 * * [simplify]: iteration 10 : 3406 enodes (cost 7 ) 450.926 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 450.927 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 450.928 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 450.929 * * [simplify]: iteration 2 : 30 enodes (cost 6 ) 450.935 * * [simplify]: iteration 3 : 79 enodes (cost 6 ) 450.944 * * [simplify]: iteration 4 : 124 enodes (cost 6 ) 450.966 * * [simplify]: iteration 5 : 158 enodes (cost 6 ) 450.982 * * [simplify]: iteration 6 : 189 enodes (cost 6 ) 451.008 * * [simplify]: iteration 7 : 282 enodes (cost 6 ) 451.073 * * [simplify]: iteration 8 : 559 enodes (cost 6 ) 451.350 * * [simplify]: iteration 9 : 1481 enodes (cost 6 ) 453.173 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 453.174 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 453.175 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 453.176 * * [simplify]: iteration 2 : 29 enodes (cost 6 ) 453.182 * * [simplify]: iteration 3 : 81 enodes (cost 6 ) 453.193 * * [simplify]: iteration 4 : 152 enodes (cost 6 ) 453.219 * * [simplify]: iteration 5 : 318 enodes (cost 6 ) 453.356 * * [simplify]: iteration 6 : 777 enodes (cost 6 ) 454.339 * * [simplify]: iteration 7 : 2529 enodes (cost 6 ) 455.309 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 455.310 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 455.312 * * [simplify]: iteration 1 : 25 enodes (cost 9 ) 455.315 * * [simplify]: iteration 2 : 62 enodes (cost 7 ) 455.338 * * [simplify]: iteration 3 : 210 enodes (cost 7 ) 455.442 * * [simplify]: iteration 4 : 640 enodes (cost 7 ) 456.169 * * [simplify]: iteration 5 : 1416 enodes (cost 7 ) 459.109 * * [simplify]: iteration 6 : 3385 enodes (cost 5 ) 461.173 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 461.173 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 461.174 * * [simplify]: iteration 1 : 12 enodes (cost 13 ) 461.176 * * [simplify]: iteration 2 : 23 enodes (cost 13 ) 461.180 * * [simplify]: iteration 3 : 59 enodes (cost 13 ) 461.187 * * [simplify]: iteration 4 : 78 enodes (cost 13 ) 461.194 * * [simplify]: iteration 5 : 90 enodes (cost 13 ) 461.202 * * [simplify]: iteration 6 : 118 enodes (cost 13 ) 461.221 * * [simplify]: iteration 7 : 186 enodes (cost 13 ) 461.259 * * [simplify]: iteration 8 : 370 enodes (cost 13 ) 461.446 * * [simplify]: iteration 9 : 1009 enodes (cost 13 ) 463.098 * * [simplify]: iteration 10 : 3761 enodes (cost 13 ) 465.074 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 465.074 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 465.075 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 465.076 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 465.081 * * [simplify]: iteration 3 : 58 enodes (cost 6 ) 465.087 * * [simplify]: iteration 4 : 76 enodes (cost 6 ) 465.094 * * [simplify]: iteration 5 : 88 enodes (cost 6 ) 465.103 * * [simplify]: iteration 6 : 116 enodes (cost 6 ) 465.122 * * [simplify]: iteration 7 : 186 enodes (cost 6 ) 465.159 * * [simplify]: iteration 8 : 372 enodes (cost 6 ) 465.354 * * [simplify]: iteration 9 : 1015 enodes (cost 6 ) 466.972 * * [simplify]: iteration 10 : 3762 enodes (cost 6 ) 469.080 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 469.081 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 469.082 * * [simplify]: iteration 1 : 23 enodes (cost 15 ) 469.086 * * [simplify]: iteration 2 : 74 enodes (cost 7 ) 469.122 * * [simplify]: iteration 3 : 289 enodes (cost 7 ) 469.358 * * [simplify]: iteration 4 : 919 enodes (cost 7 ) 470.925 * * [simplify]: iteration 5 : 1658 enodes (cost 7 ) 474.805 * * [simplify]: iteration 6 : 3651 enodes (cost 5 ) 476.731 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 476.732 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 476.733 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 476.734 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 476.739 * * [simplify]: iteration 3 : 58 enodes (cost 6 ) 476.745 * * [simplify]: iteration 4 : 76 enodes (cost 6 ) 476.753 * * [simplify]: iteration 5 : 88 enodes (cost 6 ) 476.761 * * [simplify]: iteration 6 : 116 enodes (cost 6 ) 476.781 * * [simplify]: iteration 7 : 186 enodes (cost 6 ) 476.819 * * [simplify]: iteration 8 : 372 enodes (cost 6 ) 477.014 * * [simplify]: iteration 9 : 1015 enodes (cost 6 ) 478.646 * * [simplify]: iteration 10 : 3762 enodes (cost 6 ) 480.778 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 480.779 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 480.780 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 480.781 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 480.785 * * [simplify]: iteration 3 : 58 enodes (cost 6 ) 480.791 * * [simplify]: iteration 4 : 76 enodes (cost 6 ) 480.799 * * [simplify]: iteration 5 : 88 enodes (cost 6 ) 480.812 * * [simplify]: iteration 6 : 116 enodes (cost 6 ) 480.827 * * [simplify]: iteration 7 : 186 enodes (cost 6 ) 480.868 * * [simplify]: iteration 8 : 372 enodes (cost 6 ) 481.061 * * [simplify]: iteration 9 : 1015 enodes (cost 6 ) 482.711 * * [simplify]: iteration 10 : 3762 enodes (cost 6 ) 485.085 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 485.086 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 485.087 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 485.088 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 485.093 * * [simplify]: iteration 3 : 59 enodes (cost 6 ) 485.100 * * [simplify]: iteration 4 : 99 enodes (cost 6 ) 485.123 * * [simplify]: iteration 5 : 217 enodes (cost 6 ) 485.253 * * [simplify]: iteration 6 : 663 enodes (cost 6 ) 486.896 * * [simplify]: iteration 7 : 2548 enodes (cost 6 ) 490.662 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 490.662 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 490.663 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 490.664 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 490.669 * * [simplify]: iteration 3 : 59 enodes (cost 6 ) 490.675 * * [simplify]: iteration 4 : 99 enodes (cost 6 ) 490.699 * * [simplify]: iteration 5 : 217 enodes (cost 6 ) 490.828 * * [simplify]: iteration 6 : 663 enodes (cost 6 ) 492.467 * * [simplify]: iteration 7 : 2548 enodes (cost 6 ) 496.187 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 496.187 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 496.188 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 496.189 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 496.192 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 496.194 * * [simplify]: iteration 4 : 51 enodes (cost 7 ) 496.198 * * [simplify]: iteration 5 : 63 enodes (cost 7 ) 496.202 * * [simplify]: iteration 6 : 83 enodes (cost 7 ) 496.209 * * [simplify]: iteration 7 : 125 enodes (cost 7 ) 496.231 * * [simplify]: iteration 8 : 235 enodes (cost 7 ) 496.303 * * [simplify]: iteration 9 : 611 enodes (cost 7 ) 497.004 * * [simplify]: iteration 10 : 2249 enodes (cost 7 ) 499.059 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 499.060 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 499.060 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 499.062 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 499.064 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 499.067 * * [simplify]: iteration 4 : 51 enodes (cost 7 ) 499.070 * * [simplify]: iteration 5 : 63 enodes (cost 7 ) 499.075 * * [simplify]: iteration 6 : 83 enodes (cost 7 ) 499.082 * * [simplify]: iteration 7 : 125 enodes (cost 7 ) 499.104 * * [simplify]: iteration 8 : 235 enodes (cost 7 ) 499.178 * * [simplify]: iteration 9 : 611 enodes (cost 7 ) 499.872 * * [simplify]: iteration 10 : 2249 enodes (cost 7 ) 501.903 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 501.904 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 501.905 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 501.907 * * [simplify]: iteration 2 : 25 enodes (cost 6 ) 501.908 * * [simplify]: iteration 3 : 30 enodes (cost 6 ) 501.911 * * [simplify]: iteration 4 : 36 enodes (cost 6 ) 501.913 * * [simplify]: iteration 5 : 46 enodes (cost 6 ) 501.917 * * [simplify]: iteration 6 : 70 enodes (cost 6 ) 501.926 * * [simplify]: iteration 7 : 129 enodes (cost 6 ) 501.973 * * [simplify]: iteration 8 : 337 enodes (cost 6 ) 502.428 * * [simplify]: iteration 9 : 1271 enodes (cost 6 ) 504.743 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 504.743 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 504.744 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 504.746 * * [simplify]: iteration 2 : 25 enodes (cost 6 ) 504.748 * * [simplify]: iteration 3 : 30 enodes (cost 6 ) 504.750 * * [simplify]: iteration 4 : 36 enodes (cost 6 ) 504.753 * * [simplify]: iteration 5 : 46 enodes (cost 6 ) 504.757 * * [simplify]: iteration 6 : 70 enodes (cost 6 ) 504.767 * * [simplify]: iteration 7 : 129 enodes (cost 6 ) 504.814 * * [simplify]: iteration 8 : 337 enodes (cost 6 ) 505.275 * * [simplify]: iteration 9 : 1271 enodes (cost 6 ) 507.629 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 507.629 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 507.630 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 507.632 * * [simplify]: iteration 2 : 23 enodes (cost 9 ) 507.636 * * [simplify]: iteration 3 : 63 enodes (cost 9 ) 507.647 * * [simplify]: iteration 4 : 165 enodes (cost 9 ) 507.737 * * [simplify]: iteration 5 : 535 enodes (cost 9 ) 508.497 * * [simplify]: iteration 6 : 1815 enodes (cost 6 ) 511.332 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 511.333 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 511.334 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 511.335 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 511.340 * * [simplify]: iteration 3 : 58 enodes (cost 5 ) 511.346 * * [simplify]: iteration 4 : 101 enodes (cost 5 ) 511.364 * * [simplify]: iteration 5 : 210 enodes (cost 5 ) 511.493 * * [simplify]: iteration 6 : 653 enodes (cost 5 ) 513.165 * * [simplify]: iteration 7 : 2629 enodes (cost 5 ) 517.046 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 517.047 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 517.048 * * [simplify]: iteration 1 : 12 enodes (cost 1 ) 517.048 * * [simplify]: iteration done : 12 enodes (cost 1 ) 517.049 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 517.050 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 517.052 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 517.055 * * [simplify]: iteration 3 : 43 enodes (cost 11 ) 517.058 * * [simplify]: iteration 4 : 52 enodes (cost 11 ) 517.062 * * [simplify]: iteration 5 : 64 enodes (cost 11 ) 517.067 * * [simplify]: iteration 6 : 84 enodes (cost 11 ) 517.074 * * [simplify]: iteration 7 : 126 enodes (cost 11 ) 517.095 * * [simplify]: iteration 8 : 239 enodes (cost 11 ) 517.168 * * [simplify]: iteration 9 : 616 enodes (cost 11 ) 517.860 * * [simplify]: iteration 10 : 2259 enodes (cost 11 ) 519.686 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 519.687 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 519.688 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 519.689 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 519.692 * * [simplify]: iteration 3 : 39 enodes (cost 6 ) 519.694 * * [simplify]: iteration 4 : 48 enodes (cost 6 ) 519.697 * * [simplify]: iteration 5 : 60 enodes (cost 6 ) 519.701 * * [simplify]: iteration 6 : 80 enodes (cost 6 ) 519.708 * * [simplify]: iteration 7 : 122 enodes (cost 6 ) 519.732 * * [simplify]: iteration 8 : 233 enodes (cost 6 ) 519.807 * * [simplify]: iteration 9 : 612 enodes (cost 6 ) 520.511 * * [simplify]: iteration 10 : 2256 enodes (cost 6 ) 522.271 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 522.272 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 522.272 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 522.272 * * [simplify]: iteration done : 6 enodes (cost 1 ) 522.273 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 522.274 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 522.276 * * [simplify]: iteration 2 : 24 enodes (cost 5 ) 522.277 * * [simplify]: iteration 3 : 29 enodes (cost 5 ) 522.279 * * [simplify]: iteration 4 : 35 enodes (cost 5 ) 522.282 * * [simplify]: iteration 5 : 45 enodes (cost 5 ) 522.286 * * [simplify]: iteration 6 : 67 enodes (cost 5 ) 522.296 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 522.344 * * [simplify]: iteration 8 : 345 enodes (cost 5 ) 522.795 * * [simplify]: iteration 9 : 1261 enodes (cost 5 ) 525.159 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 525.160 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 525.161 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 525.162 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 525.167 * * [simplify]: iteration 3 : 58 enodes (cost 6 ) 525.173 * * [simplify]: iteration 4 : 79 enodes (cost 6 ) 525.180 * * [simplify]: iteration 5 : 91 enodes (cost 6 ) 525.195 * * [simplify]: iteration 6 : 119 enodes (cost 6 ) 525.209 * * [simplify]: iteration 7 : 187 enodes (cost 6 ) 525.250 * * [simplify]: iteration 8 : 375 enodes (cost 6 ) 525.438 * * [simplify]: iteration 9 : 1018 enodes (cost 6 ) 527.076 * * [simplify]: iteration 10 : 3752 enodes (cost 6 ) 529.218 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 529.218 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 529.221 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 529.222 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 529.227 * * [simplify]: iteration 3 : 58 enodes (cost 6 ) 529.233 * * [simplify]: iteration 4 : 79 enodes (cost 6 ) 529.240 * * [simplify]: iteration 5 : 91 enodes (cost 6 ) 529.249 * * [simplify]: iteration 6 : 119 enodes (cost 6 ) 529.268 * * [simplify]: iteration 7 : 187 enodes (cost 6 ) 529.307 * * [simplify]: iteration 8 : 375 enodes (cost 6 ) 529.499 * * [simplify]: iteration 9 : 1018 enodes (cost 6 ) 531.135 * * [simplify]: iteration 10 : 3752 enodes (cost 6 ) 533.274 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 533.274 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 533.275 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 533.276 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 533.281 * * [simplify]: iteration 3 : 57 enodes (cost 5 ) 533.287 * * [simplify]: iteration 4 : 76 enodes (cost 5 ) 533.294 * * [simplify]: iteration 5 : 88 enodes (cost 5 ) 533.304 * * [simplify]: iteration 6 : 116 enodes (cost 5 ) 533.318 * * [simplify]: iteration 7 : 182 enodes (cost 5 ) 533.359 * * [simplify]: iteration 8 : 361 enodes (cost 5 ) 533.549 * * [simplify]: iteration 9 : 1011 enodes (cost 5 ) 535.151 * * [simplify]: iteration 10 : 3772 enodes (cost 5 ) 537.310 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 537.310 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 537.311 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 537.312 * * [simplify]: iteration done : 9 enodes (cost 7 ) 537.313 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 537.314 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 537.315 * * [simplify]: iteration done : 9 enodes (cost 7 ) 537.315 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 537.316 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 537.318 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 537.326 * * [simplify]: iteration 3 : 51 enodes (cost 7 ) 537.331 * * [simplify]: iteration 4 : 79 enodes (cost 7 ) 537.340 * * [simplify]: iteration 5 : 109 enodes (cost 7 ) 537.351 * * [simplify]: iteration 6 : 132 enodes (cost 7 ) 537.366 * * [simplify]: iteration 7 : 193 enodes (cost 7 ) 537.401 * * [simplify]: iteration 8 : 371 enodes (cost 7 ) 537.535 * * [simplify]: iteration 9 : 981 enodes (cost 7 ) 538.550 * * [simplify]: iteration 10 : 3406 enodes (cost 7 ) 540.062 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 540.063 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 540.064 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 540.066 * * [simplify]: iteration 2 : 30 enodes (cost 6 ) 540.071 * * [simplify]: iteration 3 : 79 enodes (cost 6 ) 540.081 * * [simplify]: iteration 4 : 124 enodes (cost 6 ) 540.098 * * [simplify]: iteration 5 : 158 enodes (cost 6 ) 540.118 * * [simplify]: iteration 6 : 189 enodes (cost 6 ) 540.142 * * [simplify]: iteration 7 : 282 enodes (cost 6 ) 540.206 * * [simplify]: iteration 8 : 559 enodes (cost 6 ) 540.491 * * [simplify]: iteration 9 : 1481 enodes (cost 6 ) 542.590 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 542.591 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 542.592 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 542.593 * * [simplify]: iteration 2 : 29 enodes (cost 6 ) 542.599 * * [simplify]: iteration 3 : 81 enodes (cost 6 ) 542.610 * * [simplify]: iteration 4 : 152 enodes (cost 6 ) 542.636 * * [simplify]: iteration 5 : 318 enodes (cost 6 ) 542.775 * * [simplify]: iteration 6 : 777 enodes (cost 6 ) 543.761 * * [simplify]: iteration 7 : 2529 enodes (cost 6 ) 544.702 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 544.702 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 544.704 * * [simplify]: iteration 1 : 25 enodes (cost 9 ) 544.707 * * [simplify]: iteration 2 : 62 enodes (cost 7 ) 544.725 * * [simplify]: iteration 3 : 210 enodes (cost 7 ) 544.829 * * [simplify]: iteration 4 : 640 enodes (cost 7 ) 545.535 * * [simplify]: iteration 5 : 1416 enodes (cost 7 ) 548.200 * * [simplify]: iteration 6 : 3385 enodes (cost 5 ) 550.227 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 550.228 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 550.229 * * [simplify]: iteration 1 : 12 enodes (cost 13 ) 550.230 * * [simplify]: iteration 2 : 23 enodes (cost 13 ) 550.235 * * [simplify]: iteration 3 : 59 enodes (cost 13 ) 550.241 * * [simplify]: iteration 4 : 78 enodes (cost 13 ) 550.248 * * [simplify]: iteration 5 : 90 enodes (cost 13 ) 550.257 * * [simplify]: iteration 6 : 118 enodes (cost 13 ) 550.272 * * [simplify]: iteration 7 : 186 enodes (cost 13 ) 550.312 * * [simplify]: iteration 8 : 370 enodes (cost 13 ) 550.497 * * [simplify]: iteration 9 : 1009 enodes (cost 13 ) 552.139 * * [simplify]: iteration 10 : 3761 enodes (cost 13 ) 554.111 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 554.112 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 554.116 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 554.117 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 554.122 * * [simplify]: iteration 3 : 58 enodes (cost 6 ) 554.128 * * [simplify]: iteration 4 : 76 enodes (cost 6 ) 554.135 * * [simplify]: iteration 5 : 88 enodes (cost 6 ) 554.144 * * [simplify]: iteration 6 : 116 enodes (cost 6 ) 554.159 * * [simplify]: iteration 7 : 186 enodes (cost 6 ) 554.202 * * [simplify]: iteration 8 : 372 enodes (cost 6 ) 554.402 * * [simplify]: iteration 9 : 1015 enodes (cost 6 ) 556.005 * * [simplify]: iteration 10 : 3762 enodes (cost 6 ) 558.127 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 558.128 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 558.129 * * [simplify]: iteration 1 : 23 enodes (cost 15 ) 558.133 * * [simplify]: iteration 2 : 74 enodes (cost 7 ) 558.163 * * [simplify]: iteration 3 : 289 enodes (cost 7 ) 558.397 * * [simplify]: iteration 4 : 919 enodes (cost 7 ) 559.944 * * [simplify]: iteration 5 : 1658 enodes (cost 7 ) 563.827 * * [simplify]: iteration 6 : 3651 enodes (cost 5 ) 565.752 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 565.753 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 565.759 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 565.760 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 565.765 * * [simplify]: iteration 3 : 58 enodes (cost 6 ) 565.771 * * [simplify]: iteration 4 : 76 enodes (cost 6 ) 565.778 * * [simplify]: iteration 5 : 88 enodes (cost 6 ) 565.787 * * [simplify]: iteration 6 : 116 enodes (cost 6 ) 565.802 * * [simplify]: iteration 7 : 186 enodes (cost 6 ) 565.844 * * [simplify]: iteration 8 : 372 enodes (cost 6 ) 566.041 * * [simplify]: iteration 9 : 1015 enodes (cost 6 ) 567.660 * * [simplify]: iteration 10 : 3762 enodes (cost 6 ) 570.035 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 570.035 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 570.036 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 570.037 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 570.042 * * [simplify]: iteration 3 : 58 enodes (cost 6 ) 570.048 * * [simplify]: iteration 4 : 76 enodes (cost 6 ) 570.055 * * [simplify]: iteration 5 : 88 enodes (cost 6 ) 570.063 * * [simplify]: iteration 6 : 116 enodes (cost 6 ) 570.083 * * [simplify]: iteration 7 : 186 enodes (cost 6 ) 570.120 * * [simplify]: iteration 8 : 372 enodes (cost 6 ) 570.320 * * [simplify]: iteration 9 : 1015 enodes (cost 6 ) 571.987 * * [simplify]: iteration 10 : 3762 enodes (cost 6 ) 574.145 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 574.146 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 574.147 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 574.148 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 574.153 * * [simplify]: iteration 3 : 59 enodes (cost 6 ) 574.159 * * [simplify]: iteration 4 : 99 enodes (cost 6 ) 574.183 * * [simplify]: iteration 5 : 217 enodes (cost 6 ) 574.314 * * [simplify]: iteration 6 : 663 enodes (cost 6 ) 575.945 * * [simplify]: iteration 7 : 2548 enodes (cost 6 ) 579.720 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 579.720 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 579.721 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 579.723 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 579.727 * * [simplify]: iteration 3 : 59 enodes (cost 6 ) 579.734 * * [simplify]: iteration 4 : 99 enodes (cost 6 ) 579.758 * * [simplify]: iteration 5 : 217 enodes (cost 6 ) 579.890 * * [simplify]: iteration 6 : 663 enodes (cost 6 ) 581.514 * * [simplify]: iteration 7 : 2548 enodes (cost 6 ) 585.230 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 585.231 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 585.232 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 585.233 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 585.236 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 585.239 * * [simplify]: iteration 4 : 51 enodes (cost 7 ) 585.242 * * [simplify]: iteration 5 : 63 enodes (cost 7 ) 585.246 * * [simplify]: iteration 6 : 83 enodes (cost 7 ) 585.253 * * [simplify]: iteration 7 : 125 enodes (cost 7 ) 585.276 * * [simplify]: iteration 8 : 235 enodes (cost 7 ) 585.351 * * [simplify]: iteration 9 : 611 enodes (cost 7 ) 586.056 * * [simplify]: iteration 10 : 2249 enodes (cost 7 ) 588.101 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 588.102 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 588.103 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 588.104 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 588.106 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 588.109 * * [simplify]: iteration 4 : 51 enodes (cost 7 ) 588.112 * * [simplify]: iteration 5 : 63 enodes (cost 7 ) 588.116 * * [simplify]: iteration 6 : 83 enodes (cost 7 ) 588.123 * * [simplify]: iteration 7 : 125 enodes (cost 7 ) 588.144 * * [simplify]: iteration 8 : 235 enodes (cost 7 ) 588.216 * * [simplify]: iteration 9 : 611 enodes (cost 7 ) 588.915 * * [simplify]: iteration 10 : 2249 enodes (cost 7 ) 590.984 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 590.984 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 590.985 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 590.987 * * [simplify]: iteration 2 : 25 enodes (cost 6 ) 590.989 * * [simplify]: iteration 3 : 30 enodes (cost 6 ) 590.991 * * [simplify]: iteration 4 : 36 enodes (cost 6 ) 590.994 * * [simplify]: iteration 5 : 46 enodes (cost 6 ) 590.998 * * [simplify]: iteration 6 : 70 enodes (cost 6 ) 591.008 * * [simplify]: iteration 7 : 129 enodes (cost 6 ) 591.054 * * [simplify]: iteration 8 : 337 enodes (cost 6 ) 591.521 * * [simplify]: iteration 9 : 1271 enodes (cost 6 ) 593.870 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 593.870 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 593.871 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 593.873 * * [simplify]: iteration 2 : 25 enodes (cost 6 ) 593.875 * * [simplify]: iteration 3 : 30 enodes (cost 6 ) 593.877 * * [simplify]: iteration 4 : 36 enodes (cost 6 ) 593.880 * * [simplify]: iteration 5 : 46 enodes (cost 6 ) 593.884 * * [simplify]: iteration 6 : 70 enodes (cost 6 ) 593.893 * * [simplify]: iteration 7 : 129 enodes (cost 6 ) 593.941 * * [simplify]: iteration 8 : 337 enodes (cost 6 ) 594.403 * * [simplify]: iteration 9 : 1271 enodes (cost 6 ) 596.763 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 596.763 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 596.764 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 596.766 * * [simplify]: iteration 2 : 23 enodes (cost 9 ) 596.770 * * [simplify]: iteration 3 : 63 enodes (cost 9 ) 596.781 * * [simplify]: iteration 4 : 165 enodes (cost 9 ) 596.874 * * [simplify]: iteration 5 : 535 enodes (cost 9 ) 597.635 * * [simplify]: iteration 6 : 1815 enodes (cost 6 ) 600.776 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 600.777 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 600.778 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 600.779 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 600.784 * * [simplify]: iteration 3 : 58 enodes (cost 5 ) 600.791 * * [simplify]: iteration 4 : 101 enodes (cost 5 ) 600.808 * * [simplify]: iteration 5 : 210 enodes (cost 5 ) 600.945 * * [simplify]: iteration 6 : 653 enodes (cost 5 ) 602.620 * * [simplify]: iteration 7 : 2629 enodes (cost 5 ) 606.236 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 606.237 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 606.238 * * [simplify]: iteration 1 : 12 enodes (cost 1 ) 606.238 * * [simplify]: iteration done : 12 enodes (cost 1 ) 606.239 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 606.239 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 606.241 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 606.244 * * [simplify]: iteration 3 : 43 enodes (cost 11 ) 606.247 * * [simplify]: iteration 4 : 52 enodes (cost 11 ) 606.251 * * [simplify]: iteration 5 : 64 enodes (cost 11 ) 606.256 * * [simplify]: iteration 6 : 84 enodes (cost 11 ) 606.263 * * [simplify]: iteration 7 : 126 enodes (cost 11 ) 606.285 * * [simplify]: iteration 8 : 239 enodes (cost 11 ) 606.358 * * [simplify]: iteration 9 : 616 enodes (cost 11 ) 607.038 * * [simplify]: iteration 10 : 2259 enodes (cost 11 ) 608.835 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 608.836 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 608.836 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 608.838 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 608.840 * * [simplify]: iteration 3 : 39 enodes (cost 6 ) 608.843 * * [simplify]: iteration 4 : 48 enodes (cost 6 ) 608.846 * * [simplify]: iteration 5 : 60 enodes (cost 6 ) 608.850 * * [simplify]: iteration 6 : 80 enodes (cost 6 ) 608.863 * * [simplify]: iteration 7 : 122 enodes (cost 6 ) 608.880 * * [simplify]: iteration 8 : 233 enodes (cost 6 ) 608.953 * * [simplify]: iteration 9 : 612 enodes (cost 6 ) 609.634 * * [simplify]: iteration 10 : 2256 enodes (cost 6 ) 611.370 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 611.370 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 611.371 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 611.371 * * [simplify]: iteration done : 6 enodes (cost 1 ) 611.372 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 611.373 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 611.374 * * [simplify]: iteration 2 : 24 enodes (cost 5 ) 611.376 * * [simplify]: iteration 3 : 29 enodes (cost 5 ) 611.378 * * [simplify]: iteration 4 : 35 enodes (cost 5 ) 611.380 * * [simplify]: iteration 5 : 45 enodes (cost 5 ) 611.384 * * [simplify]: iteration 6 : 67 enodes (cost 5 ) 611.400 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 611.442 * * [simplify]: iteration 8 : 345 enodes (cost 5 ) 611.886 * * [simplify]: iteration 9 : 1261 enodes (cost 5 ) 614.233 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 614.233 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 614.234 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 614.235 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 614.240 * * [simplify]: iteration 3 : 58 enodes (cost 6 ) 614.252 * * [simplify]: iteration 4 : 79 enodes (cost 6 ) 614.259 * * [simplify]: iteration 5 : 91 enodes (cost 6 ) 614.268 * * [simplify]: iteration 6 : 119 enodes (cost 6 ) 614.282 * * [simplify]: iteration 7 : 187 enodes (cost 6 ) 614.323 * * [simplify]: iteration 8 : 375 enodes (cost 6 ) 614.514 * * [simplify]: iteration 9 : 1018 enodes (cost 6 ) 616.135 * * [simplify]: iteration 10 : 3752 enodes (cost 6 ) 618.274 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 618.274 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 618.275 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 618.276 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 618.281 * * [simplify]: iteration 3 : 58 enodes (cost 6 ) 618.288 * * [simplify]: iteration 4 : 79 enodes (cost 6 ) 618.295 * * [simplify]: iteration 5 : 91 enodes (cost 6 ) 618.308 * * [simplify]: iteration 6 : 119 enodes (cost 6 ) 618.322 * * [simplify]: iteration 7 : 187 enodes (cost 6 ) 618.365 * * [simplify]: iteration 8 : 375 enodes (cost 6 ) 618.555 * * [simplify]: iteration 9 : 1018 enodes (cost 6 ) 620.190 * * [simplify]: iteration 10 : 3752 enodes (cost 6 ) 622.340 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 622.341 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 622.341 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 622.343 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 622.347 * * [simplify]: iteration 3 : 57 enodes (cost 5 ) 622.353 * * [simplify]: iteration 4 : 76 enodes (cost 5 ) 622.360 * * [simplify]: iteration 5 : 88 enodes (cost 5 ) 622.369 * * [simplify]: iteration 6 : 116 enodes (cost 5 ) 622.388 * * [simplify]: iteration 7 : 182 enodes (cost 5 ) 622.425 * * [simplify]: iteration 8 : 361 enodes (cost 5 ) 622.616 * * [simplify]: iteration 9 : 1011 enodes (cost 5 ) 624.230 * * [simplify]: iteration 10 : 3772 enodes (cost 5 ) 626.675 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 626.675 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 626.677 * * [simplify]: iteration 1 : 29 enodes (cost 13 ) 626.681 * * [simplify]: iteration 2 : 63 enodes (cost 13 ) 626.691 * * [simplify]: iteration 3 : 108 enodes (cost 13 ) 626.711 * * [simplify]: iteration 4 : 204 enodes (cost 13 ) 626.777 * * [simplify]: iteration 5 : 490 enodes (cost 13 ) 627.173 * * [simplify]: iteration 6 : 1540 enodes (cost 13 ) 628.861 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 628.862 * * [simplify]: iteration 0 : 22 enodes (cost 33 ) 628.866 * * [simplify]: iteration 1 : 60 enodes (cost 29 ) 628.876 * * [simplify]: iteration 2 : 149 enodes (cost 29 ) 628.911 * * [simplify]: iteration 3 : 362 enodes (cost 27 ) 629.033 * * [simplify]: iteration 4 : 862 enodes (cost 22 ) 629.687 * * [simplify]: iteration 5 : 2465 enodes (cost 20 ) 631.233 * * [simplify]: iteration done : 5001 enodes (cost 20 ) 631.234 * * [simplify]: iteration 0 : 22 enodes (cost 33 ) 631.238 * * [simplify]: iteration 1 : 60 enodes (cost 29 ) 631.247 * * [simplify]: iteration 2 : 145 enodes (cost 29 ) 631.274 * * [simplify]: iteration 3 : 327 enodes (cost 27 ) 631.369 * * [simplify]: iteration 4 : 746 enodes (cost 22 ) 631.797 * * [simplify]: iteration 5 : 1960 enodes (cost 20 ) 633.925 * * [simplify]: iteration done : 5000 enodes (cost 20 ) 633.926 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 633.927 * * [simplify]: iteration 1 : 29 enodes (cost 13 ) 633.932 * * [simplify]: iteration 2 : 63 enodes (cost 13 ) 633.941 * * [simplify]: iteration 3 : 108 enodes (cost 13 ) 633.965 * * [simplify]: iteration 4 : 204 enodes (cost 13 ) 634.028 * * [simplify]: iteration 5 : 490 enodes (cost 13 ) 634.428 * * [simplify]: iteration 6 : 1540 enodes (cost 13 ) 636.081 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 636.082 * * [simplify]: iteration 0 : 22 enodes (cost 33 ) 636.085 * * [simplify]: iteration 1 : 60 enodes (cost 29 ) 636.095 * * [simplify]: iteration 2 : 149 enodes (cost 29 ) 636.132 * * [simplify]: iteration 3 : 362 enodes (cost 27 ) 636.258 * * [simplify]: iteration 4 : 862 enodes (cost 22 ) 636.908 * * [simplify]: iteration 5 : 2465 enodes (cost 20 ) 638.422 * * [simplify]: iteration done : 5001 enodes (cost 20 ) 638.424 * * [simplify]: iteration 0 : 22 enodes (cost 33 ) 638.427 * * [simplify]: iteration 1 : 60 enodes (cost 29 ) 638.437 * * [simplify]: iteration 2 : 145 enodes (cost 29 ) 638.462 * * [simplify]: iteration 3 : 327 enodes (cost 27 ) 638.554 * * [simplify]: iteration 4 : 746 enodes (cost 22 ) 638.973 * * [simplify]: iteration 5 : 1960 enodes (cost 20 ) 641.105 * * [simplify]: iteration done : 5000 enodes (cost 20 ) 641.105 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 641.106 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 641.107 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 641.112 * * [simplify]: iteration 3 : 57 enodes (cost 5 ) 641.118 * * [simplify]: iteration 4 : 76 enodes (cost 5 ) 641.125 * * [simplify]: iteration 5 : 88 enodes (cost 5 ) 641.138 * * [simplify]: iteration 6 : 116 enodes (cost 5 ) 641.153 * * [simplify]: iteration 7 : 182 enodes (cost 5 ) 641.193 * * [simplify]: iteration 8 : 361 enodes (cost 5 ) 641.383 * * [simplify]: iteration 9 : 1011 enodes (cost 5 ) 642.995 * * [simplify]: iteration 10 : 3772 enodes (cost 5 ) 645.177 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 645.177 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 645.178 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 645.179 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 645.184 * * [simplify]: iteration 3 : 57 enodes (cost 5 ) 645.190 * * [simplify]: iteration 4 : 76 enodes (cost 5 ) 645.197 * * [simplify]: iteration 5 : 88 enodes (cost 5 ) 645.205 * * [simplify]: iteration 6 : 116 enodes (cost 5 ) 645.224 * * [simplify]: iteration 7 : 182 enodes (cost 5 ) 645.261 * * [simplify]: iteration 8 : 361 enodes (cost 5 ) 645.452 * * [simplify]: iteration 9 : 1011 enodes (cost 5 ) 647.076 * * [simplify]: iteration 10 : 3772 enodes (cost 5 ) 649.260 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 649.261 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 649.262 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 649.263 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 649.268 * * [simplify]: iteration 3 : 57 enodes (cost 5 ) 649.274 * * [simplify]: iteration 4 : 76 enodes (cost 5 ) 649.282 * * [simplify]: iteration 5 : 88 enodes (cost 5 ) 649.291 * * [simplify]: iteration 6 : 116 enodes (cost 5 ) 649.305 * * [simplify]: iteration 7 : 182 enodes (cost 5 ) 649.347 * * [simplify]: iteration 8 : 361 enodes (cost 5 ) 649.543 * * [simplify]: iteration 9 : 1011 enodes (cost 5 ) 651.168 * * [simplify]: iteration 10 : 3772 enodes (cost 5 ) 653.609 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 653.610 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 653.611 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 653.612 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 653.617 * * [simplify]: iteration 3 : 57 enodes (cost 5 ) 653.623 * * [simplify]: iteration 4 : 76 enodes (cost 5 ) 653.630 * * [simplify]: iteration 5 : 88 enodes (cost 5 ) 653.639 * * [simplify]: iteration 6 : 116 enodes (cost 5 ) 653.653 * * [simplify]: iteration 7 : 182 enodes (cost 5 ) 653.693 * * [simplify]: iteration 8 : 361 enodes (cost 5 ) 653.889 * * [simplify]: iteration 9 : 1011 enodes (cost 5 ) 655.517 * * [simplify]: iteration 10 : 3772 enodes (cost 5 ) 657.691 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 657.692 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 657.693 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 657.694 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 657.698 * * [simplify]: iteration 3 : 57 enodes (cost 5 ) 657.709 * * [simplify]: iteration 4 : 76 enodes (cost 5 ) 657.717 * * [simplify]: iteration 5 : 88 enodes (cost 5 ) 657.725 * * [simplify]: iteration 6 : 116 enodes (cost 5 ) 657.740 * * [simplify]: iteration 7 : 182 enodes (cost 5 ) 657.780 * * [simplify]: iteration 8 : 361 enodes (cost 5 ) 657.973 * * [simplify]: iteration 9 : 1011 enodes (cost 5 ) 659.567 * * [simplify]: iteration 10 : 3772 enodes (cost 5 ) 661.715 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 661.716 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 661.716 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 661.718 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 661.722 * * [simplify]: iteration 3 : 57 enodes (cost 5 ) 661.728 * * [simplify]: iteration 4 : 76 enodes (cost 5 ) 661.740 * * [simplify]: iteration 5 : 88 enodes (cost 5 ) 661.748 * * [simplify]: iteration 6 : 116 enodes (cost 5 ) 661.762 * * [simplify]: iteration 7 : 182 enodes (cost 5 ) 661.801 * * [simplify]: iteration 8 : 361 enodes (cost 5 ) 661.986 * * [simplify]: iteration 9 : 1011 enodes (cost 5 ) 663.572 * * [simplify]: iteration 10 : 3772 enodes (cost 5 ) 665.725 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 665.726 * [simplify]: Simplified to: (log (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (exp (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (* (cbrt (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (cbrt (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))))) (cbrt (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (pow (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) 3) (fabs (cbrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (sqrt (cbrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (sqrt (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (sqrt (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) 1 (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) 1 (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (sqrt (+ (pow x 6) (pow (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) 3))) (sqrt (+ (pow x 4) (* (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (- (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (pow x 2))))) (sqrt (- (pow x 4) (* (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (sqrt (- (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) 1/2 (sqrt (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (sqrt (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (log (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (exp (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (* (cbrt (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (cbrt (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))))) (cbrt (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (pow (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) 3) (fabs (cbrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (sqrt (cbrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (sqrt (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (sqrt (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) 1 (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) 1 (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (sqrt (+ (pow x 6) (pow (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) 3))) (sqrt (+ (pow x 4) (* (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (- (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (pow x 2))))) (sqrt (- (pow x 4) (* (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (sqrt (- (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) 1/2 (sqrt (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (sqrt (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (+ (log 1/12) (* (log x) 4)) (+ (log 1/12) (* (log x) 4)) (+ (log 1/12) (log (pow x 4))) (log (* 1/12 (pow x 4))) (exp (* 1/12 (pow x 4))) (* 1/1728 (pow x 12)) (* (cbrt (* 1/12 (pow x 4))) (cbrt (* 1/12 (pow x 4)))) (cbrt (* 1/12 (pow x 4))) (* 1/1728 (pow x 12)) (sqrt (* 1/12 (pow x 4))) (sqrt (* 1/12 (pow x 4))) (* x (* x (sqrt 1/12))) (* x (* x (sqrt 1/12))) (* (sqrt 1/12) (sqrt (pow x 4))) (* (sqrt 1/12) (sqrt (pow x 4))) (* (sqrt 1/12) (pow x 2)) (* (sqrt 1/12) (pow x 2)) (* (pow (cbrt x) 8) 1/12) (* (* x x) 1/12) 1/12 (* 1/12 (* (cbrt (pow x 4)) (cbrt (pow x 4)))) (* 1/12 (sqrt (pow x 4))) 1/12 (* (pow x 2) 1/12) (* (cbrt 1/12) (pow x 4)) (* (sqrt 1/12) (pow x 4)) (* 1/12 (pow x 4)) (+ (log 1/12) (* (log x) 4)) (+ (log 1/12) (* (log x) 4)) (+ (log 1/12) (log (pow x 4))) (log (* 1/12 (pow x 4))) (exp (* 1/12 (pow x 4))) (* 1/1728 (pow x 12)) (* (cbrt (* 1/12 (pow x 4))) (cbrt (* 1/12 (pow x 4)))) (cbrt (* 1/12 (pow x 4))) (* 1/1728 (pow x 12)) (sqrt (* 1/12 (pow x 4))) (sqrt (* 1/12 (pow x 4))) (* x (* x (sqrt 1/12))) (* x (* x (sqrt 1/12))) (* (sqrt 1/12) (sqrt (pow x 4))) (* (sqrt 1/12) (sqrt (pow x 4))) (* (sqrt 1/12) (pow x 2)) (* (sqrt 1/12) (pow x 2)) (* (pow (cbrt x) 8) 1/12) (* (* x x) 1/12) 1/12 (* 1/12 (* (cbrt (pow x 4)) (cbrt (pow x 4)))) (* 1/12 (sqrt (pow x 4))) 1/12 (* (pow x 2) 1/12) (* (cbrt 1/12) (pow x 4)) (* (sqrt 1/12) (pow x 4)) (* 1/12 (pow x 4)) (+ x (+ (* 1/24 (pow x 3)) (* 1/1920 (pow x 5)))) (+ (/ 3/16 (* x (sqrt 1/360))) (+ (* (pow x 3) (sqrt 1/360)) (* 1/24 (/ x (sqrt 1/360))))) (- (/ -1/24 (/ (sqrt 1/360) x)) (- (* (pow x 3) (sqrt 1/360)) (/ -3/16 (* x (sqrt 1/360))))) (+ x (+ (* 1/24 (pow x 3)) (* 1/1920 (pow x 5)))) (+ (/ 3/16 (* x (sqrt 1/360))) (+ (* (pow x 3) (sqrt 1/360)) (* 1/24 (/ x (sqrt 1/360))))) (- (/ -1/24 (/ (sqrt 1/360) x)) (- (* (pow x 3) (sqrt 1/360)) (/ -3/16 (* x (sqrt 1/360))))) (* 1/12 (pow x 4)) (* 1/12 (pow x 4)) (* 1/12 (pow x 4)) (* 1/12 (pow x 4)) (* 1/12 (pow x 4)) (* 1/12 (pow x 4)) 665.731 * * * [progress]: adding candidates to table 666.059 * * [progress]: iteration 4 / 4 666.059 * * * [progress]: picking best candidate 666.070 * * * * [pick]: Picked # 666.070 * * * [progress]: localizing error 666.077 * * * [progress]: generating rewritten candidates 666.077 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 666.085 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 666.091 * * * [progress]: generating series expansions 666.091 * * * * [progress]: [ 1 / 2 ] generating series at (2) 666.092 * [approximate]: Taking taylor expansion of (- (+ (exp x) (exp (neg x))) 2.0) in (x) around 0 666.092 * [taylor]: Taking taylor expansion of (- (+ (exp x) (exp (neg x))) 2.0) in x 666.092 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x 666.092 * [taylor]: Taking taylor expansion of (exp x) in x 666.092 * [taylor]: Taking taylor expansion of x in x 666.092 * [taylor]: Taking taylor expansion of (exp (neg x)) in x 666.092 * [taylor]: Taking taylor expansion of (neg x) in x 666.092 * [taylor]: Taking taylor expansion of x in x 666.092 * [taylor]: Taking taylor expansion of 2.0 in x 666.092 * [taylor]: Taking taylor expansion of (- (+ (exp x) (exp (neg x))) 2.0) in x 666.092 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x 666.092 * [taylor]: Taking taylor expansion of (exp x) in x 666.092 * [taylor]: Taking taylor expansion of x in x 666.092 * [taylor]: Taking taylor expansion of (exp (neg x)) in x 666.092 * [taylor]: Taking taylor expansion of (neg x) in x 666.092 * [taylor]: Taking taylor expansion of x in x 666.092 * [taylor]: Taking taylor expansion of 2.0 in x 666.097 * [approximate]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2.0) in (x) around 0 666.097 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2.0) in x 666.097 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x 666.097 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 666.097 * [taylor]: Taking taylor expansion of (/ 1 x) in x 666.097 * [taylor]: Taking taylor expansion of x in x 666.097 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x 666.097 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 666.097 * [taylor]: Taking taylor expansion of (/ 1 x) in x 666.097 * [taylor]: Taking taylor expansion of x in x 666.098 * [taylor]: Taking taylor expansion of 2.0 in x 666.098 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2.0) in x 666.098 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x 666.098 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 666.098 * [taylor]: Taking taylor expansion of (/ 1 x) in x 666.098 * [taylor]: Taking taylor expansion of x in x 666.098 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x 666.098 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 666.098 * [taylor]: Taking taylor expansion of (/ 1 x) in x 666.098 * [taylor]: Taking taylor expansion of x in x 666.098 * [taylor]: Taking taylor expansion of 2.0 in x 666.098 * [approximate]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in (x) around 0 666.098 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in x 666.098 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 666.099 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 666.099 * [taylor]: Taking taylor expansion of (/ 1 x) in x 666.099 * [taylor]: Taking taylor expansion of x in x 666.099 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 666.099 * [taylor]: Taking taylor expansion of (/ -1 x) in x 666.099 * [taylor]: Taking taylor expansion of -1 in x 666.099 * [taylor]: Taking taylor expansion of x in x 666.099 * [taylor]: Taking taylor expansion of 2.0 in x 666.099 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in x 666.099 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 666.099 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 666.099 * [taylor]: Taking taylor expansion of (/ 1 x) in x 666.099 * [taylor]: Taking taylor expansion of x in x 666.099 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 666.099 * [taylor]: Taking taylor expansion of (/ -1 x) in x 666.099 * [taylor]: Taking taylor expansion of -1 in x 666.099 * [taylor]: Taking taylor expansion of x in x 666.099 * [taylor]: Taking taylor expansion of 2.0 in x 666.099 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 666.100 * [approximate]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in (x) around 0 666.100 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x 666.100 * [taylor]: Taking taylor expansion of (exp x) in x 666.100 * [taylor]: Taking taylor expansion of x in x 666.100 * [taylor]: Taking taylor expansion of (exp (neg x)) in x 666.100 * [taylor]: Taking taylor expansion of (neg x) in x 666.100 * [taylor]: Taking taylor expansion of x in x 666.100 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x 666.100 * [taylor]: Taking taylor expansion of (exp x) in x 666.100 * [taylor]: Taking taylor expansion of x in x 666.100 * [taylor]: Taking taylor expansion of (exp (neg x)) in x 666.100 * [taylor]: Taking taylor expansion of (neg x) in x 666.100 * [taylor]: Taking taylor expansion of x in x 666.102 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in (x) around 0 666.102 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x 666.102 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 666.102 * [taylor]: Taking taylor expansion of (/ 1 x) in x 666.102 * [taylor]: Taking taylor expansion of x in x 666.102 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x 666.102 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 666.102 * [taylor]: Taking taylor expansion of (/ 1 x) in x 666.102 * [taylor]: Taking taylor expansion of x in x 666.102 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x 666.102 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 666.102 * [taylor]: Taking taylor expansion of (/ 1 x) in x 666.102 * [taylor]: Taking taylor expansion of x in x 666.102 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x 666.102 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 666.102 * [taylor]: Taking taylor expansion of (/ 1 x) in x 666.102 * [taylor]: Taking taylor expansion of x in x 666.103 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0 666.103 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 666.103 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 666.103 * [taylor]: Taking taylor expansion of (/ 1 x) in x 666.103 * [taylor]: Taking taylor expansion of x in x 666.103 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 666.103 * [taylor]: Taking taylor expansion of (/ -1 x) in x 666.103 * [taylor]: Taking taylor expansion of -1 in x 666.103 * [taylor]: Taking taylor expansion of x in x 666.103 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 666.103 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 666.103 * [taylor]: Taking taylor expansion of (/ 1 x) in x 666.103 * [taylor]: Taking taylor expansion of x in x 666.103 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 666.103 * [taylor]: Taking taylor expansion of (/ -1 x) in x 666.103 * [taylor]: Taking taylor expansion of -1 in x 666.103 * [taylor]: Taking taylor expansion of x in x 666.104 * * * [progress]: simplifying candidates 666.104 * [simplify]: Simplifying using # : (/ (* (exp (exp x)) (exp (exp (neg x)))) (exp 2.0)) (/ (exp (+ (exp x) (exp (neg x)))) (exp 2.0)) (log (- (+ (exp x) (exp (neg x))) 2.0)) (exp (- (+ (exp x) (exp (neg x))) 2.0)) (* (cbrt (- (+ (exp x) (exp (neg x))) 2.0)) (cbrt (- (+ (exp x) (exp (neg x))) 2.0))) (cbrt (- (+ (exp x) (exp (neg x))) 2.0)) (* (* (- (+ (exp x) (exp (neg x))) 2.0) (- (+ (exp x) (exp (neg x))) 2.0)) (- (+ (exp x) (exp (neg x))) 2.0)) (sqrt (- (+ (exp x) (exp (neg x))) 2.0)) (sqrt (- (+ (exp x) (exp (neg x))) 2.0)) (- (pow (+ (exp x) (exp (neg x))) 3) (pow 2.0 3)) (+ (* (+ (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (+ (* 2.0 2.0) (* (+ (exp x) (exp (neg x))) 2.0))) (neg 2.0) (- (* (+ (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (* 2.0 2.0)) (+ (+ (exp x) (exp (neg x))) 2.0) (+ (sqrt (+ (exp x) (exp (neg x)))) (sqrt 2.0)) (- (sqrt (+ (exp x) (exp (neg x)))) (sqrt 2.0)) (- (+ (exp x) (exp (neg x))) 2.0) (- (+ (exp x) (exp (neg x))) 2.0) (- (exp (neg x)) 2.0) (neg 2.0) (* (exp (exp x)) (exp (exp (neg x)))) (log (+ (exp x) (exp (neg x)))) (exp (+ (exp x) (exp (neg x)))) (* (cbrt (+ (exp x) (exp (neg x)))) (cbrt (+ (exp x) (exp (neg x))))) (cbrt (+ (exp x) (exp (neg x)))) (* (* (+ (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (+ (exp x) (exp (neg x)))) (sqrt (+ (exp x) (exp (neg x)))) (sqrt (+ (exp x) (exp (neg x)))) (+ (pow (exp x) 3) (pow (exp (neg x)) 3)) (+ (* (exp x) (exp x)) (- (* (exp (neg x)) (exp (neg x))) (* (exp x) (exp (neg x))))) (- (* (exp x) (exp x)) (* (exp (neg x)) (exp (neg x)))) (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (- (+ (exp x) (exp (neg x))) 2.0) (- (+ (exp x) (exp (* -1 x))) 2.0) (+ 2 (+ (pow x 2) (* 1/12 (pow x 4)))) (+ (exp x) (exp (neg x))) (+ (exp x) (exp (* -1 x))) 666.105 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 666.106 * * [simplify]: iteration 1 : 17 enodes (cost 10 ) 666.108 * * [simplify]: iteration 2 : 28 enodes (cost 9 ) 666.111 * * [simplify]: iteration 3 : 44 enodes (cost 9 ) 666.116 * * [simplify]: iteration 4 : 67 enodes (cost 9 ) 666.126 * * [simplify]: iteration 5 : 95 enodes (cost 9 ) 666.147 * * [simplify]: iteration 6 : 144 enodes (cost 9 ) 666.177 * * [simplify]: iteration 7 : 222 enodes (cost 9 ) 666.249 * * [simplify]: iteration 8 : 435 enodes (cost 9 ) 666.346 * * [simplify]: iteration 9 : 494 enodes (cost 9 ) 666.428 * * [simplify]: iteration 10 : 497 enodes (cost 9 ) 666.505 * * [simplify]: iteration done : 497 enodes (cost 9 ) 666.506 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 666.507 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 666.509 * * [simplify]: iteration 2 : 28 enodes (cost 9 ) 666.512 * * [simplify]: iteration 3 : 45 enodes (cost 9 ) 666.520 * * [simplify]: iteration 4 : 64 enodes (cost 9 ) 666.529 * * [simplify]: iteration 5 : 87 enodes (cost 9 ) 666.542 * * [simplify]: iteration 6 : 127 enodes (cost 9 ) 666.576 * * [simplify]: iteration 7 : 229 enodes (cost 9 ) 666.635 * * [simplify]: iteration 8 : 329 enodes (cost 9 ) 666.707 * * [simplify]: iteration 9 : 422 enodes (cost 9 ) 666.805 * * [simplify]: iteration 10 : 442 enodes (cost 9 ) 666.889 * * [simplify]: iteration done : 442 enodes (cost 9 ) 666.889 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 666.890 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 666.892 * * [simplify]: iteration 2 : 24 enodes (cost 9 ) 666.895 * * [simplify]: iteration 3 : 30 enodes (cost 9 ) 666.898 * * [simplify]: iteration 4 : 36 enodes (cost 9 ) 666.905 * * [simplify]: iteration 5 : 45 enodes (cost 9 ) 666.912 * * [simplify]: iteration 6 : 61 enodes (cost 9 ) 666.920 * * [simplify]: iteration 7 : 81 enodes (cost 9 ) 666.929 * * [simplify]: iteration 8 : 97 enodes (cost 9 ) 666.940 * * [simplify]: iteration 9 : 104 enodes (cost 9 ) 666.955 * * [simplify]: iteration 10 : 121 enodes (cost 9 ) 666.972 * * [simplify]: iteration 11 : 125 enodes (cost 9 ) 666.984 * * [simplify]: iteration done : 125 enodes (cost 9 ) 666.985 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 666.986 * * [simplify]: iteration 1 : 18 enodes (cost 9 ) 666.988 * * [simplify]: iteration 2 : 35 enodes (cost 9 ) 666.992 * * [simplify]: iteration 3 : 55 enodes (cost 9 ) 667.000 * * [simplify]: iteration 4 : 78 enodes (cost 9 ) 667.013 * * [simplify]: iteration 5 : 107 enodes (cost 9 ) 667.035 * * [simplify]: iteration 6 : 185 enodes (cost 9 ) 667.082 * * [simplify]: iteration 7 : 282 enodes (cost 9 ) 667.137 * * [simplify]: iteration 8 : 376 enodes (cost 9 ) 667.221 * * [simplify]: iteration 9 : 446 enodes (cost 9 ) 667.315 * * [simplify]: iteration 10 : 467 enodes (cost 9 ) 667.396 * * [simplify]: iteration done : 467 enodes (cost 9 ) 667.397 * * [simplify]: iteration 0 : 9 enodes (cost 19 ) 667.398 * * [simplify]: iteration 1 : 16 enodes (cost 19 ) 667.400 * * [simplify]: iteration 2 : 25 enodes (cost 19 ) 667.403 * * [simplify]: iteration 3 : 31 enodes (cost 19 ) 667.406 * * [simplify]: iteration 4 : 37 enodes (cost 19 ) 667.413 * * [simplify]: iteration 5 : 46 enodes (cost 19 ) 667.420 * * [simplify]: iteration 6 : 62 enodes (cost 19 ) 667.429 * * [simplify]: iteration 7 : 82 enodes (cost 19 ) 667.438 * * [simplify]: iteration 8 : 98 enodes (cost 19 ) 667.449 * * [simplify]: iteration 9 : 105 enodes (cost 19 ) 667.464 * * [simplify]: iteration 10 : 122 enodes (cost 19 ) 667.480 * * [simplify]: iteration 11 : 124 enodes (cost 19 ) 667.494 * * [simplify]: iteration done : 124 enodes (cost 19 ) 667.495 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 667.496 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 667.497 * * [simplify]: iteration 2 : 24 enodes (cost 9 ) 667.500 * * [simplify]: iteration 3 : 30 enodes (cost 9 ) 667.503 * * [simplify]: iteration 4 : 36 enodes (cost 9 ) 667.508 * * [simplify]: iteration 5 : 45 enodes (cost 9 ) 667.514 * * [simplify]: iteration 6 : 61 enodes (cost 9 ) 667.522 * * [simplify]: iteration 7 : 81 enodes (cost 9 ) 667.534 * * [simplify]: iteration 8 : 97 enodes (cost 9 ) 667.545 * * [simplify]: iteration 9 : 104 enodes (cost 9 ) 667.561 * * [simplify]: iteration 10 : 121 enodes (cost 9 ) 667.574 * * [simplify]: iteration 11 : 125 enodes (cost 9 ) 667.589 * * [simplify]: iteration done : 125 enodes (cost 9 ) 667.589 * * [simplify]: iteration 0 : 9 enodes (cost 26 ) 667.591 * * [simplify]: iteration 1 : 17 enodes (cost 26 ) 667.593 * * [simplify]: iteration 2 : 52 enodes (cost 10 ) 667.606 * * [simplify]: iteration 3 : 227 enodes (cost 10 ) 667.725 * * [simplify]: iteration 4 : 1091 enodes (cost 10 ) 668.925 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 668.926 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 668.927 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 668.929 * * [simplify]: iteration 2 : 24 enodes (cost 9 ) 668.931 * * [simplify]: iteration 3 : 30 enodes (cost 9 ) 668.935 * * [simplify]: iteration 4 : 36 enodes (cost 9 ) 668.939 * * [simplify]: iteration 5 : 45 enodes (cost 9 ) 668.948 * * [simplify]: iteration 6 : 61 enodes (cost 9 ) 668.956 * * [simplify]: iteration 7 : 81 enodes (cost 9 ) 668.966 * * [simplify]: iteration 8 : 97 enodes (cost 9 ) 668.977 * * [simplify]: iteration 9 : 104 enodes (cost 9 ) 668.991 * * [simplify]: iteration 10 : 121 enodes (cost 9 ) 669.008 * * [simplify]: iteration 11 : 125 enodes (cost 9 ) 669.021 * * [simplify]: iteration done : 125 enodes (cost 9 ) 669.021 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 669.022 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 669.024 * * [simplify]: iteration 2 : 24 enodes (cost 9 ) 669.027 * * [simplify]: iteration 3 : 30 enodes (cost 9 ) 669.030 * * [simplify]: iteration 4 : 36 enodes (cost 9 ) 669.034 * * [simplify]: iteration 5 : 45 enodes (cost 9 ) 669.041 * * [simplify]: iteration 6 : 61 enodes (cost 9 ) 669.049 * * [simplify]: iteration 7 : 81 enodes (cost 9 ) 669.062 * * [simplify]: iteration 8 : 97 enodes (cost 9 ) 669.073 * * [simplify]: iteration 9 : 104 enodes (cost 9 ) 669.087 * * [simplify]: iteration 10 : 121 enodes (cost 9 ) 669.101 * * [simplify]: iteration 11 : 125 enodes (cost 9 ) 669.114 * * [simplify]: iteration done : 125 enodes (cost 9 ) 669.115 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 669.119 * * [simplify]: iteration 1 : 28 enodes (cost 12 ) 669.123 * * [simplify]: iteration 2 : 68 enodes (cost 12 ) 669.135 * * [simplify]: iteration 3 : 154 enodes (cost 12 ) 669.182 * * [simplify]: iteration 4 : 400 enodes (cost 12 ) 669.533 * * [simplify]: iteration 5 : 1502 enodes (cost 12 ) 670.771 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 670.771 * * [simplify]: iteration 0 : 11 enodes (cost 26 ) 670.778 * * [simplify]: iteration 1 : 27 enodes (cost 24 ) 670.786 * * [simplify]: iteration 2 : 72 enodes (cost 24 ) 670.805 * * [simplify]: iteration 3 : 201 enodes (cost 19 ) 670.896 * * [simplify]: iteration 4 : 696 enodes (cost 19 ) 671.545 * * [simplify]: iteration 5 : 1862 enodes (cost 19 ) 674.431 * * [simplify]: iteration 6 : 2999 enodes (cost 19 ) 678.219 * * [simplify]: iteration 7 : 3350 enodes (cost 19 ) 681.487 * * [simplify]: iteration 8 : 4182 enodes (cost 19 ) 684.084 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 684.085 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 684.085 * * [simplify]: iteration done : 2 enodes (cost 2 ) 684.086 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 684.087 * * [simplify]: iteration 1 : 23 enodes (cost 17 ) 684.091 * * [simplify]: iteration 2 : 61 enodes (cost 17 ) 684.104 * * [simplify]: iteration 3 : 169 enodes (cost 17 ) 684.181 * * [simplify]: iteration 4 : 580 enodes (cost 16 ) 684.608 * * [simplify]: iteration 5 : 1649 enodes (cost 15 ) 686.360 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 686.361 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 686.367 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 686.368 * * [simplify]: iteration 2 : 21 enodes (cost 8 ) 686.371 * * [simplify]: iteration done : 21 enodes (cost 8 ) 686.371 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 686.372 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 686.373 * * [simplify]: iteration 2 : 15 enodes (cost 10 ) 686.375 * * [simplify]: iteration done : 15 enodes (cost 10 ) 686.375 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 686.376 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 686.377 * * [simplify]: iteration 2 : 17 enodes (cost 10 ) 686.379 * * [simplify]: iteration done : 17 enodes (cost 10 ) 686.379 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 686.380 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 686.382 * * [simplify]: iteration 2 : 23 enodes (cost 8 ) 686.384 * * [simplify]: iteration 3 : 29 enodes (cost 8 ) 686.387 * * [simplify]: iteration 4 : 35 enodes (cost 8 ) 686.391 * * [simplify]: iteration 5 : 44 enodes (cost 8 ) 686.398 * * [simplify]: iteration 6 : 60 enodes (cost 8 ) 686.407 * * [simplify]: iteration 7 : 80 enodes (cost 8 ) 686.419 * * [simplify]: iteration 8 : 96 enodes (cost 8 ) 686.430 * * [simplify]: iteration 9 : 103 enodes (cost 8 ) 686.444 * * [simplify]: iteration 10 : 120 enodes (cost 8 ) 686.458 * * [simplify]: iteration 11 : 122 enodes (cost 8 ) 686.471 * * [simplify]: iteration done : 122 enodes (cost 8 ) 686.472 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 686.472 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 686.478 * * [simplify]: iteration 2 : 23 enodes (cost 8 ) 686.481 * * [simplify]: iteration 3 : 29 enodes (cost 8 ) 686.484 * * [simplify]: iteration 4 : 35 enodes (cost 8 ) 686.488 * * [simplify]: iteration 5 : 44 enodes (cost 8 ) 686.494 * * [simplify]: iteration 6 : 60 enodes (cost 8 ) 686.502 * * [simplify]: iteration 7 : 80 enodes (cost 8 ) 686.512 * * [simplify]: iteration 8 : 96 enodes (cost 8 ) 686.523 * * [simplify]: iteration 9 : 103 enodes (cost 8 ) 686.541 * * [simplify]: iteration 10 : 120 enodes (cost 8 ) 686.554 * * [simplify]: iteration 11 : 122 enodes (cost 8 ) 686.567 * * [simplify]: iteration done : 122 enodes (cost 8 ) 686.568 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 686.568 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 686.570 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 686.571 * * [simplify]: iteration done : 13 enodes (cost 5 ) 686.571 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 686.572 * * [simplify]: iteration done : 2 enodes (cost 2 ) 686.572 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 686.573 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 686.574 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 686.576 * * [simplify]: iteration done : 15 enodes (cost 7 ) 686.577 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 686.577 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 686.578 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 686.579 * * [simplify]: iteration done : 11 enodes (cost 7 ) 686.580 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 686.581 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 686.582 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 686.584 * * [simplify]: iteration done : 15 enodes (cost 7 ) 686.584 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 686.585 * * [simplify]: iteration 1 : 10 enodes (cost 15 ) 686.586 * * [simplify]: iteration 2 : 12 enodes (cost 15 ) 686.587 * * [simplify]: iteration done : 12 enodes (cost 15 ) 686.587 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 686.588 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 686.589 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 686.590 * * [simplify]: iteration done : 11 enodes (cost 7 ) 686.590 * * [simplify]: iteration 0 : 7 enodes (cost 20 ) 686.591 * * [simplify]: iteration 1 : 23 enodes (cost 20 ) 686.600 * * [simplify]: iteration 2 : 65 enodes (cost 8 ) 686.620 * * [simplify]: iteration 3 : 181 enodes (cost 8 ) 686.801 * * [simplify]: iteration 4 : 680 enodes (cost 8 ) 688.089 * * [simplify]: iteration 5 : 2732 enodes (cost 8 ) 690.304 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 690.305 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 690.306 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 690.307 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 690.308 * * [simplify]: iteration done : 11 enodes (cost 7 ) 690.308 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 690.309 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 690.310 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 690.311 * * [simplify]: iteration done : 11 enodes (cost 7 ) 690.311 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 690.312 * * [simplify]: iteration 1 : 24 enodes (cost 10 ) 690.316 * * [simplify]: iteration 2 : 49 enodes (cost 10 ) 690.323 * * [simplify]: iteration 3 : 100 enodes (cost 10 ) 690.343 * * [simplify]: iteration 4 : 195 enodes (cost 10 ) 690.393 * * [simplify]: iteration 5 : 407 enodes (cost 9 ) 690.731 * * [simplify]: iteration 6 : 1336 enodes (cost 9 ) 693.922 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 693.923 * * [simplify]: iteration 0 : 9 enodes (cost 20 ) 693.924 * * [simplify]: iteration 1 : 25 enodes (cost 15 ) 693.928 * * [simplify]: iteration 2 : 60 enodes (cost 12 ) 693.937 * * [simplify]: iteration 3 : 96 enodes (cost 11 ) 693.964 * * [simplify]: iteration 4 : 183 enodes (cost 11 ) 694.035 * * [simplify]: iteration 5 : 339 enodes (cost 11 ) 694.272 * * [simplify]: iteration 6 : 761 enodes (cost 11 ) 695.299 * * [simplify]: iteration 7 : 2119 enodes (cost 11 ) 697.196 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 697.196 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 697.198 * * [simplify]: iteration 1 : 18 enodes (cost 11 ) 697.200 * * [simplify]: iteration 2 : 36 enodes (cost 10 ) 697.206 * * [simplify]: iteration 3 : 75 enodes (cost 9 ) 697.226 * * [simplify]: iteration 4 : 151 enodes (cost 9 ) 697.260 * * [simplify]: iteration 5 : 309 enodes (cost 9 ) 697.468 * * [simplify]: iteration 6 : 708 enodes (cost 9 ) 697.903 * * [simplify]: iteration 7 : 1676 enodes (cost 9 ) 699.890 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 699.891 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 699.891 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 699.892 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 699.893 * * [simplify]: iteration done : 15 enodes (cost 6 ) 699.894 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 699.894 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 699.896 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 699.897 * * [simplify]: iteration done : 10 enodes (cost 6 ) 699.897 * * [simplify]: iteration 0 : 13 enodes (cost 15 ) 699.899 * * [simplify]: iteration 1 : 31 enodes (cost 15 ) 699.905 * * [simplify]: iteration 2 : 73 enodes (cost 15 ) 699.915 * * [simplify]: iteration 3 : 142 enodes (cost 15 ) 699.952 * * [simplify]: iteration 4 : 327 enodes (cost 15 ) 700.114 * * [simplify]: iteration 5 : 842 enodes (cost 15 ) 701.099 * * [simplify]: iteration 6 : 2647 enodes (cost 15 ) 702.799 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 702.800 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 702.800 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 702.802 * * [simplify]: iteration 2 : 23 enodes (cost 8 ) 702.805 * * [simplify]: iteration 3 : 29 enodes (cost 8 ) 702.808 * * [simplify]: iteration 4 : 35 enodes (cost 8 ) 702.817 * * [simplify]: iteration 5 : 44 enodes (cost 8 ) 702.823 * * [simplify]: iteration 6 : 60 enodes (cost 8 ) 702.831 * * [simplify]: iteration 7 : 80 enodes (cost 8 ) 702.840 * * [simplify]: iteration 8 : 96 enodes (cost 8 ) 702.851 * * [simplify]: iteration 9 : 103 enodes (cost 8 ) 702.865 * * [simplify]: iteration 10 : 120 enodes (cost 8 ) 702.882 * * [simplify]: iteration 11 : 122 enodes (cost 8 ) 702.894 * * [simplify]: iteration done : 122 enodes (cost 8 ) 702.895 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 702.896 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 702.899 * * [simplify]: iteration 2 : 31 enodes (cost 8 ) 702.903 * * [simplify]: iteration 3 : 48 enodes (cost 8 ) 702.909 * * [simplify]: iteration 4 : 78 enodes (cost 8 ) 702.920 * * [simplify]: iteration 5 : 136 enodes (cost 8 ) 702.962 * * [simplify]: iteration 6 : 305 enodes (cost 8 ) 703.124 * * [simplify]: iteration 7 : 1005 enodes (cost 8 ) 705.649 * * [simplify]: iteration 8 : 4494 enodes (cost 8 ) 707.617 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 707.618 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 707.620 * * [simplify]: iteration 1 : 22 enodes (cost 11 ) 707.629 * * [simplify]: iteration 2 : 54 enodes (cost 11 ) 707.635 * * [simplify]: iteration 3 : 81 enodes (cost 11 ) 707.645 * * [simplify]: iteration 4 : 105 enodes (cost 11 ) 707.658 * * [simplify]: iteration 5 : 143 enodes (cost 11 ) 707.686 * * [simplify]: iteration 6 : 227 enodes (cost 11 ) 707.758 * * [simplify]: iteration 7 : 476 enodes (cost 11 ) 708.024 * * [simplify]: iteration 8 : 1246 enodes (cost 11 ) 711.340 * * [simplify]: iteration 9 : 4879 enodes (cost 11 ) 713.054 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 713.055 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 713.056 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 713.056 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 713.057 * * [simplify]: iteration done : 10 enodes (cost 6 ) 713.058 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 713.059 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 713.060 * * [simplify]: iteration 2 : 18 enodes (cost 6 ) 713.062 * * [simplify]: iteration 3 : 29 enodes (cost 6 ) 713.066 * * [simplify]: iteration 4 : 53 enodes (cost 6 ) 713.074 * * [simplify]: iteration 5 : 104 enodes (cost 6 ) 713.107 * * [simplify]: iteration 6 : 232 enodes (cost 6 ) 713.228 * * [simplify]: iteration 7 : 664 enodes (cost 6 ) 714.047 * * [simplify]: iteration 8 : 2286 enodes (cost 6 ) 715.882 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 715.883 * [simplify]: Simplified to: (exp (- (+ (exp x) (exp (neg x))) 2.0)) (exp (- (+ (exp x) (exp (neg x))) 2.0)) (log (- (+ (exp x) (exp (neg x))) 2.0)) (exp (- (+ (exp x) (exp (neg x))) 2.0)) (* (cbrt (- (+ (exp x) (exp (neg x))) 2.0)) (cbrt (- (+ (exp x) (exp (neg x))) 2.0))) (cbrt (- (+ (exp x) (exp (neg x))) 2.0)) (pow (- (+ (exp x) (exp (neg x))) 2.0) 3) (sqrt (- (+ (exp x) (exp (neg x))) 2.0)) (sqrt (- (+ (exp x) (exp (neg x))) 2.0)) (- (pow (+ (exp x) (exp (neg x))) 3) (pow 2.0 3)) (+ (* 2.0 2.0) (* (+ (exp x) (exp (neg x))) (+ 2.0 (+ (exp x) (exp (neg x)))))) (neg 2.0) (- (+ (+ 2 (exp (+ x x))) (exp (* -2 x))) (* 2.0 2.0)) (+ (+ (exp x) (exp (neg x))) 2.0) (+ (sqrt (+ (exp x) (exp (neg x)))) (sqrt 2.0)) (- (sqrt (+ (exp x) (exp (neg x)))) (sqrt 2.0)) (- (+ (exp x) (exp (neg x))) 2.0) (- (+ (exp x) (exp (neg x))) 2.0) (- (exp (neg x)) 2.0) (neg 2.0) (exp (+ (exp x) (exp (neg x)))) (log (+ (exp x) (exp (neg x)))) (exp (+ (exp x) (exp (neg x)))) (* (cbrt (+ (exp x) (exp (neg x)))) (cbrt (+ (exp x) (exp (neg x))))) (cbrt (+ (exp x) (exp (neg x)))) (pow (+ (exp x) (exp (neg x))) 3) (sqrt (+ (exp x) (exp (neg x)))) (sqrt (+ (exp x) (exp (neg x)))) (+ (exp (* -3 x)) (pow (exp x) 3)) (+ (exp (+ x x)) (- (exp (* -2 x)) 1)) (- (exp (+ x x)) (exp (* -2 x))) (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (- (+ (exp x) (exp (neg x))) 2.0) (- (+ (exp x) (exp (neg x))) 2.0) (+ 2 (+ (pow x 2) (* 1/12 (pow x 4)))) (+ (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))) 715.883 * * * [progress]: adding candidates to table 715.913 * [progress]: [Phase 3 of 3] Extracting. 715.914 * * [regime]: Finding splitpoints for: (# # # # #) 715.915 * * * [regime-changes]: Trying 1 branch expressions: (x) 715.915 * * * * [regimes]: Trying to branch on x from (# # # # #) 715.957 * * * [regime]: Found split indices: #