13.783 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.026 * * * [progress]: [2/2] Setting up program. 0.029 * [progress]: [Phase 2 of 3] Improving. 0.029 * [simplify]: Simplifying using # : (exp (neg (- 1.0 (* x x)))) 0.029 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.030 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 0.032 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 0.035 * * [simplify]: iteration 3 : 43 enodes (cost 7 ) 0.041 * * [simplify]: iteration 4 : 73 enodes (cost 6 ) 0.057 * * [simplify]: iteration 5 : 144 enodes (cost 6 ) 0.108 * * [simplify]: iteration 6 : 418 enodes (cost 6 ) 0.561 * * [simplify]: iteration 7 : 1413 enodes (cost 6 ) 4.287 * * [simplify]: iteration 8 : 4699 enodes (cost 6 ) 5.453 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 5.453 * [simplify]: Simplified to: (exp (- (* x x) 1.0)) 5.459 * * [progress]: iteration 1 / 4 5.459 * * * [progress]: picking best candidate 5.461 * * * * [pick]: Picked # 5.461 * * * [progress]: localizing error 5.466 * * * [progress]: generating rewritten candidates 5.466 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 5.471 * * * [progress]: generating series expansions 5.471 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 5.471 * [approximate]: Taking taylor expansion of (- (pow x 2) 1.0) in (x) around 0 5.471 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 5.471 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.471 * [taylor]: Taking taylor expansion of x in x 5.471 * [taylor]: Taking taylor expansion of 1.0 in x 5.471 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 5.471 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.471 * [taylor]: Taking taylor expansion of x in x 5.471 * [taylor]: Taking taylor expansion of 1.0 in x 5.472 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in (x) around 0 5.472 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 5.472 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 5.472 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.472 * [taylor]: Taking taylor expansion of x in x 5.472 * [taylor]: Taking taylor expansion of 1.0 in x 5.472 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 5.472 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 5.472 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.472 * [taylor]: Taking taylor expansion of x in x 5.473 * [taylor]: Taking taylor expansion of 1.0 in x 5.474 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in (x) around 0 5.474 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 5.474 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 5.474 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.474 * [taylor]: Taking taylor expansion of x in x 5.474 * [taylor]: Taking taylor expansion of 1.0 in x 5.474 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 5.474 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 5.474 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.474 * [taylor]: Taking taylor expansion of x in x 5.474 * [taylor]: Taking taylor expansion of 1.0 in x 5.476 * * * [progress]: simplifying candidates 5.476 * [simplify]: Simplifying using # : (/ (exp (* x x)) (exp 1.0)) (log (- (* x x) 1.0)) (exp (- (* x x) 1.0)) (* (cbrt (- (* x x) 1.0)) (cbrt (- (* x x) 1.0))) (cbrt (- (* x x) 1.0)) (* (* (- (* x x) 1.0) (- (* x x) 1.0)) (- (* x x) 1.0)) (sqrt (- (* x x) 1.0)) (sqrt (- (* x x) 1.0)) (- (pow (* x x) 3) (pow 1.0 3)) (+ (* (* x x) (* x x)) (+ (* 1.0 1.0) (* (* x x) 1.0))) (neg 1.0) (- (* (* x x) (* x x)) (* 1.0 1.0)) (+ (* x x) 1.0) (+ x (sqrt 1.0)) (- x (sqrt 1.0)) (neg 1.0) (- (pow x 2) 1.0) (- (pow x 2) 1.0) (- (pow x 2) 1.0) 5.477 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 5.478 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 5.479 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 5.481 * * [simplify]: iteration 3 : 26 enodes (cost 6 ) 5.484 * * [simplify]: iteration 4 : 55 enodes (cost 6 ) 5.493 * * [simplify]: iteration 5 : 138 enodes (cost 6 ) 5.550 * * [simplify]: iteration 6 : 417 enodes (cost 6 ) 6.267 * * [simplify]: iteration 7 : 1623 enodes (cost 6 ) 8.662 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 8.663 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 8.663 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 8.664 * * [simplify]: iteration 2 : 8 enodes (cost 6 ) 8.665 * * [simplify]: iteration done : 8 enodes (cost 6 ) 8.666 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 8.666 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 8.667 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 8.669 * * [simplify]: iteration 3 : 22 enodes (cost 6 ) 8.672 * * [simplify]: iteration 4 : 39 enodes (cost 6 ) 8.682 * * [simplify]: iteration 5 : 81 enodes (cost 6 ) 8.707 * * [simplify]: iteration 6 : 235 enodes (cost 6 ) 8.828 * * [simplify]: iteration 7 : 622 enodes (cost 6 ) 9.568 * * [simplify]: iteration 8 : 1926 enodes (cost 6 ) 11.887 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 11.888 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 11.889 * * [simplify]: iteration 1 : 8 enodes (cost 13 ) 11.889 * * [simplify]: iteration 2 : 9 enodes (cost 13 ) 11.890 * * [simplify]: iteration done : 9 enodes (cost 13 ) 11.891 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 11.892 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 11.892 * * [simplify]: iteration 2 : 8 enodes (cost 6 ) 11.893 * * [simplify]: iteration done : 8 enodes (cost 6 ) 11.894 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 11.895 * * [simplify]: iteration 1 : 9 enodes (cost 17 ) 11.896 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 11.901 * * [simplify]: iteration 3 : 77 enodes (cost 7 ) 11.921 * * [simplify]: iteration 4 : 229 enodes (cost 7 ) 12.012 * * [simplify]: iteration 5 : 662 enodes (cost 7 ) 12.617 * * [simplify]: iteration 6 : 2131 enodes (cost 7 ) 14.080 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 14.081 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 14.082 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 14.083 * * [simplify]: iteration 2 : 8 enodes (cost 6 ) 14.083 * * [simplify]: iteration done : 8 enodes (cost 6 ) 14.084 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 14.085 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 14.085 * * [simplify]: iteration 2 : 8 enodes (cost 6 ) 14.086 * * [simplify]: iteration done : 8 enodes (cost 6 ) 14.087 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 14.088 * * [simplify]: iteration 1 : 24 enodes (cost 9 ) 14.092 * * [simplify]: iteration 2 : 64 enodes (cost 7 ) 14.103 * * [simplify]: iteration 3 : 123 enodes (cost 7 ) 14.131 * * [simplify]: iteration 4 : 290 enodes (cost 7 ) 14.237 * * [simplify]: iteration 5 : 944 enodes (cost 7 ) 14.970 * * [simplify]: iteration 6 : 4470 enodes (cost 7 ) 16.822 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 16.822 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 16.824 * * [simplify]: iteration 1 : 21 enodes (cost 15 ) 16.827 * * [simplify]: iteration 2 : 35 enodes (cost 13 ) 16.833 * * [simplify]: iteration 3 : 49 enodes (cost 11 ) 16.841 * * [simplify]: iteration 4 : 69 enodes (cost 11 ) 16.857 * * [simplify]: iteration 5 : 98 enodes (cost 11 ) 16.874 * * [simplify]: iteration 6 : 180 enodes (cost 11 ) 16.931 * * [simplify]: iteration 7 : 420 enodes (cost 11 ) 17.320 * * [simplify]: iteration 8 : 1399 enodes (cost 11 ) 18.863 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 18.863 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 18.864 * * [simplify]: iteration done : 2 enodes (cost 2 ) 18.864 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 18.865 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 18.868 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 18.872 * * [simplify]: iteration 3 : 50 enodes (cost 7 ) 18.879 * * [simplify]: iteration 4 : 98 enodes (cost 7 ) 18.898 * * [simplify]: iteration 5 : 186 enodes (cost 7 ) 18.945 * * [simplify]: iteration 6 : 349 enodes (cost 7 ) 19.078 * * [simplify]: iteration 7 : 830 enodes (cost 7 ) 20.430 * * [simplify]: iteration 8 : 3556 enodes (cost 7 ) 22.387 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 22.388 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 22.389 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 22.389 * * [simplify]: iteration done : 5 enodes (cost 5 ) 22.390 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 22.390 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 22.391 * * [simplify]: iteration done : 5 enodes (cost 4 ) 22.391 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 22.392 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 22.392 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 22.393 * * [simplify]: iteration done : 7 enodes (cost 4 ) 22.393 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 22.394 * * [simplify]: iteration done : 2 enodes (cost 2 ) 22.394 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 22.395 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 22.396 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 22.398 * * [simplify]: iteration 3 : 26 enodes (cost 5 ) 22.400 * * [simplify]: iteration 4 : 32 enodes (cost 5 ) 22.402 * * [simplify]: iteration 5 : 42 enodes (cost 5 ) 22.406 * * [simplify]: iteration 6 : 64 enodes (cost 5 ) 22.415 * * [simplify]: iteration 7 : 131 enodes (cost 5 ) 22.463 * * [simplify]: iteration 8 : 349 enodes (cost 5 ) 22.901 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 25.352 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 25.352 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 25.353 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 25.355 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 25.356 * * [simplify]: iteration 3 : 26 enodes (cost 5 ) 25.358 * * [simplify]: iteration 4 : 32 enodes (cost 5 ) 25.360 * * [simplify]: iteration 5 : 42 enodes (cost 5 ) 25.363 * * [simplify]: iteration 6 : 64 enodes (cost 5 ) 25.372 * * [simplify]: iteration 7 : 131 enodes (cost 5 ) 25.420 * * [simplify]: iteration 8 : 349 enodes (cost 5 ) 25.852 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 28.138 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 28.139 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 28.139 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 28.141 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 28.142 * * [simplify]: iteration 3 : 26 enodes (cost 5 ) 28.144 * * [simplify]: iteration 4 : 32 enodes (cost 5 ) 28.146 * * [simplify]: iteration 5 : 42 enodes (cost 5 ) 28.150 * * [simplify]: iteration 6 : 64 enodes (cost 5 ) 28.163 * * [simplify]: iteration 7 : 131 enodes (cost 5 ) 28.209 * * [simplify]: iteration 8 : 349 enodes (cost 5 ) 28.648 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 30.939 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 30.940 * [simplify]: Simplified to: (exp (- (* x x) 1.0)) (log (- (* x x) 1.0)) (exp (- (* x x) 1.0)) (* (cbrt (- (* x x) 1.0)) (cbrt (- (* x x) 1.0))) (cbrt (- (* x x) 1.0)) (pow (- (* x x) 1.0) 3) (sqrt (- (* x x) 1.0)) (sqrt (- (* x x) 1.0)) (- (pow x 6) (pow 1.0 3)) (+ (* 1.0 (+ 1.0 (* x x))) (pow x 4)) (neg 1.0) (- (pow x 4) (* 1.0 1.0)) (+ (* x x) 1.0) (+ x (sqrt 1.0)) (- x (sqrt 1.0)) (neg 1.0) (- (pow x 2) 1.0) (- (pow x 2) 1.0) (- (pow x 2) 1.0) 30.940 * * * [progress]: adding candidates to table 30.965 * * [progress]: iteration 2 / 4 30.965 * * * [progress]: picking best candidate 30.967 * * * * [pick]: Picked # 30.967 * * * [progress]: localizing error 30.978 * * * [progress]: generating rewritten candidates 30.978 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 2) 30.983 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 31.002 * * * [progress]: generating series expansions 31.002 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 2) 31.002 * [approximate]: Taking taylor expansion of (+ (pow x 2) 1.0) in (x) around 0 31.002 * [taylor]: Taking taylor expansion of (+ (pow x 2) 1.0) in x 31.002 * [taylor]: Taking taylor expansion of (pow x 2) in x 31.002 * [taylor]: Taking taylor expansion of x in x 31.002 * [taylor]: Taking taylor expansion of 1.0 in x 31.002 * [taylor]: Taking taylor expansion of (+ (pow x 2) 1.0) in x 31.002 * [taylor]: Taking taylor expansion of (pow x 2) in x 31.002 * [taylor]: Taking taylor expansion of x in x 31.002 * [taylor]: Taking taylor expansion of 1.0 in x 31.003 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in (x) around 0 31.003 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x 31.003 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 31.003 * [taylor]: Taking taylor expansion of (pow x 2) in x 31.003 * [taylor]: Taking taylor expansion of x in x 31.003 * [taylor]: Taking taylor expansion of 1.0 in x 31.003 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x 31.003 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 31.003 * [taylor]: Taking taylor expansion of (pow x 2) in x 31.003 * [taylor]: Taking taylor expansion of x in x 31.003 * [taylor]: Taking taylor expansion of 1.0 in x 31.005 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in (x) around 0 31.005 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x 31.005 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 31.005 * [taylor]: Taking taylor expansion of (pow x 2) in x 31.005 * [taylor]: Taking taylor expansion of x in x 31.005 * [taylor]: Taking taylor expansion of 1.0 in x 31.005 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x 31.005 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 31.005 * [taylor]: Taking taylor expansion of (pow x 2) in x 31.005 * [taylor]: Taking taylor expansion of x in x 31.005 * [taylor]: Taking taylor expansion of 1.0 in x 31.007 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 31.007 * [approximate]: Taking taylor expansion of (/ (- (pow x 4) 1.0) (+ (pow x 2) 1.0)) in (x) around 0 31.007 * [taylor]: Taking taylor expansion of (/ (- (pow x 4) 1.0) (+ (pow x 2) 1.0)) in x 31.007 * [taylor]: Taking taylor expansion of (- (pow x 4) 1.0) in x 31.007 * [taylor]: Taking taylor expansion of (pow x 4) in x 31.007 * [taylor]: Taking taylor expansion of x in x 31.007 * [taylor]: Taking taylor expansion of 1.0 in x 31.007 * [taylor]: Taking taylor expansion of (+ (pow x 2) 1.0) in x 31.007 * [taylor]: Taking taylor expansion of (pow x 2) in x 31.007 * [taylor]: Taking taylor expansion of x in x 31.007 * [taylor]: Taking taylor expansion of 1.0 in x 31.008 * [taylor]: Taking taylor expansion of (/ (- (pow x 4) 1.0) (+ (pow x 2) 1.0)) in x 31.008 * [taylor]: Taking taylor expansion of (- (pow x 4) 1.0) in x 31.008 * [taylor]: Taking taylor expansion of (pow x 4) in x 31.008 * [taylor]: Taking taylor expansion of x in x 31.008 * [taylor]: Taking taylor expansion of 1.0 in x 31.008 * [taylor]: Taking taylor expansion of (+ (pow x 2) 1.0) in x 31.008 * [taylor]: Taking taylor expansion of (pow x 2) in x 31.008 * [taylor]: Taking taylor expansion of x in x 31.008 * [taylor]: Taking taylor expansion of 1.0 in x 31.010 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow x 4)) 1.0) (+ (/ 1 (pow x 2)) 1.0)) in (x) around 0 31.010 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 4)) 1.0) (+ (/ 1 (pow x 2)) 1.0)) in x 31.010 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) 1.0) in x 31.010 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 31.010 * [taylor]: Taking taylor expansion of (pow x 4) in x 31.010 * [taylor]: Taking taylor expansion of x in x 31.010 * [taylor]: Taking taylor expansion of 1.0 in x 31.010 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x 31.010 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 31.010 * [taylor]: Taking taylor expansion of (pow x 2) in x 31.010 * [taylor]: Taking taylor expansion of x in x 31.010 * [taylor]: Taking taylor expansion of 1.0 in x 31.010 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 4)) 1.0) (+ (/ 1 (pow x 2)) 1.0)) in x 31.010 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) 1.0) in x 31.010 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 31.010 * [taylor]: Taking taylor expansion of (pow x 4) in x 31.010 * [taylor]: Taking taylor expansion of x in x 31.010 * [taylor]: Taking taylor expansion of 1.0 in x 31.010 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x 31.010 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 31.010 * [taylor]: Taking taylor expansion of (pow x 2) in x 31.010 * [taylor]: Taking taylor expansion of x in x 31.010 * [taylor]: Taking taylor expansion of 1.0 in x 31.014 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow x 4)) 1.0) (+ (/ 1 (pow x 2)) 1.0)) in (x) around 0 31.014 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 4)) 1.0) (+ (/ 1 (pow x 2)) 1.0)) in x 31.014 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) 1.0) in x 31.014 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 31.014 * [taylor]: Taking taylor expansion of (pow x 4) in x 31.014 * [taylor]: Taking taylor expansion of x in x 31.015 * [taylor]: Taking taylor expansion of 1.0 in x 31.015 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x 31.015 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 31.015 * [taylor]: Taking taylor expansion of (pow x 2) in x 31.015 * [taylor]: Taking taylor expansion of x in x 31.015 * [taylor]: Taking taylor expansion of 1.0 in x 31.015 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 4)) 1.0) (+ (/ 1 (pow x 2)) 1.0)) in x 31.015 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) 1.0) in x 31.015 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 31.015 * [taylor]: Taking taylor expansion of (pow x 4) in x 31.015 * [taylor]: Taking taylor expansion of x in x 31.015 * [taylor]: Taking taylor expansion of 1.0 in x 31.015 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x 31.015 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 31.015 * [taylor]: Taking taylor expansion of (pow x 2) in x 31.015 * [taylor]: Taking taylor expansion of x in x 31.015 * [taylor]: Taking taylor expansion of 1.0 in x 31.019 * * * [progress]: simplifying candidates 31.020 * [simplify]: Simplifying using # : (* (exp (* x x)) (exp 1.0)) (log (+ (* x x) 1.0)) (exp (+ (* x x) 1.0)) (* (cbrt (+ (* x x) 1.0)) (cbrt (+ (* x x) 1.0))) (cbrt (+ (* x x) 1.0)) (* (* (+ (* x x) 1.0) (+ (* x x) 1.0)) (+ (* x x) 1.0)) (sqrt (+ (* x x) 1.0)) (sqrt (+ (* x x) 1.0)) (+ (pow (* x x) 3) (pow 1.0 3)) (+ (* (* x x) (* x x)) (- (* 1.0 1.0) (* (* x x) 1.0))) (- (* (* x x) (* x x)) (* 1.0 1.0)) (- (* x x) 1.0) (- (log (- (pow x 4) (* 1.0 1.0))) (log (+ (* x x) 1.0))) (log (/ (- (pow x 4) (* 1.0 1.0)) (+ (* x x) 1.0))) (exp (/ (- (pow x 4) (* 1.0 1.0)) (+ (* x x) 1.0))) (/ (* (* (- (pow x 4) (* 1.0 1.0)) (- (pow x 4) (* 1.0 1.0))) (- (pow x 4) (* 1.0 1.0))) (* (* (+ (* x x) 1.0) (+ (* x x) 1.0)) (+ (* x x) 1.0))) (* (cbrt (/ (- (pow x 4) (* 1.0 1.0)) (+ (* x x) 1.0))) (cbrt (/ (- (pow x 4) (* 1.0 1.0)) (+ (* x x) 1.0)))) (cbrt (/ (- (pow x 4) (* 1.0 1.0)) (+ (* x x) 1.0))) (* (* (/ (- (pow x 4) (* 1.0 1.0)) (+ (* x x) 1.0)) (/ (- (pow x 4) (* 1.0 1.0)) (+ (* x x) 1.0))) (/ (- (pow x 4) (* 1.0 1.0)) (+ (* x x) 1.0))) (sqrt (/ (- (pow x 4) (* 1.0 1.0)) (+ (* x x) 1.0))) (sqrt (/ (- (pow x 4) (* 1.0 1.0)) (+ (* x x) 1.0))) (neg (- (pow x 4) (* 1.0 1.0))) (neg (+ (* x x) 1.0)) (/ (pow x 4) (+ (* x x) 1.0)) (/ (* 1.0 1.0) (+ (* x x) 1.0)) (/ (* (cbrt (- (pow x 4) (* 1.0 1.0))) (cbrt (- (pow x 4) (* 1.0 1.0)))) (* (cbrt (+ (* x x) 1.0)) (cbrt (+ (* x x) 1.0)))) (/ (cbrt (- (pow x 4) (* 1.0 1.0))) (cbrt (+ (* x x) 1.0))) (/ (* (cbrt (- (pow x 4) (* 1.0 1.0))) (cbrt (- (pow x 4) (* 1.0 1.0)))) (sqrt (+ (* x x) 1.0))) (/ (cbrt (- (pow x 4) (* 1.0 1.0))) (sqrt (+ (* x x) 1.0))) (/ (* (cbrt (- (pow x 4) (* 1.0 1.0))) (cbrt (- (pow x 4) (* 1.0 1.0)))) 1) (/ (cbrt (- (pow x 4) (* 1.0 1.0))) (+ (* x x) 1.0)) (/ (sqrt (- (pow x 4) (* 1.0 1.0))) (* (cbrt (+ (* x x) 1.0)) (cbrt (+ (* x x) 1.0)))) (/ (sqrt (- (pow x 4) (* 1.0 1.0))) (cbrt (+ (* x x) 1.0))) (/ (sqrt (- (pow x 4) (* 1.0 1.0))) (sqrt (+ (* x x) 1.0))) (/ (sqrt (- (pow x 4) (* 1.0 1.0))) (sqrt (+ (* x x) 1.0))) (/ (sqrt (- (pow x 4) (* 1.0 1.0))) 1) (/ (sqrt (- (pow x 4) (* 1.0 1.0))) (+ (* x x) 1.0)) (/ 1 (* (cbrt (+ (* x x) 1.0)) (cbrt (+ (* x x) 1.0)))) (/ (- (pow x 4) (* 1.0 1.0)) (cbrt (+ (* x x) 1.0))) (/ 1 (sqrt (+ (* x x) 1.0))) (/ (- (pow x 4) (* 1.0 1.0)) (sqrt (+ (* x x) 1.0))) (/ 1 1) (/ (- (pow x 4) (* 1.0 1.0)) (+ (* x x) 1.0)) (/ (+ (pow (sqrt x) 4) 1.0) (* (cbrt (+ (* x x) 1.0)) (cbrt (+ (* x x) 1.0)))) (/ (- (pow (sqrt x) 4) 1.0) (cbrt (+ (* x x) 1.0))) (/ (+ (pow (sqrt x) 4) 1.0) (sqrt (+ (* x x) 1.0))) (/ (- (pow (sqrt x) 4) 1.0) (sqrt (+ (* x x) 1.0))) (/ (+ (pow (sqrt x) 4) 1.0) 1) (/ (- (pow (sqrt x) 4) 1.0) (+ (* x x) 1.0)) (/ (+ (sqrt (pow x 4)) 1.0) (* (cbrt (+ (* x x) 1.0)) (cbrt (+ (* x x) 1.0)))) (/ (- (sqrt (pow x 4)) 1.0) (cbrt (+ (* x x) 1.0))) (/ (+ (sqrt (pow x 4)) 1.0) (sqrt (+ (* x x) 1.0))) (/ (- (sqrt (pow x 4)) 1.0) (sqrt (+ (* x x) 1.0))) (/ (+ (sqrt (pow x 4)) 1.0) 1) (/ (- (sqrt (pow x 4)) 1.0) (+ (* x x) 1.0)) (/ (+ (pow x (/ 4 2)) 1.0) (* (cbrt (+ (* x x) 1.0)) (cbrt (+ (* x x) 1.0)))) (/ (- (pow x (/ 4 2)) 1.0) (cbrt (+ (* x x) 1.0))) (/ (+ (pow x (/ 4 2)) 1.0) (sqrt (+ (* x x) 1.0))) (/ (- (pow x (/ 4 2)) 1.0) (sqrt (+ (* x x) 1.0))) (/ (+ (pow x (/ 4 2)) 1.0) 1) (/ (- (pow x (/ 4 2)) 1.0) (+ (* x x) 1.0)) (/ 1 (+ (* x x) 1.0)) (/ (+ (* x x) 1.0) (- (pow x 4) (* 1.0 1.0))) (/ (- (pow x 4) (* 1.0 1.0)) (* (cbrt (+ (* x x) 1.0)) (cbrt (+ (* x x) 1.0)))) (/ (- (pow x 4) (* 1.0 1.0)) (sqrt (+ (* x x) 1.0))) (/ (- (pow x 4) (* 1.0 1.0)) 1) (/ (+ (* x x) 1.0) (cbrt (- (pow x 4) (* 1.0 1.0)))) (/ (+ (* x x) 1.0) (sqrt (- (pow x 4) (* 1.0 1.0)))) (/ (+ (* x x) 1.0) (- (pow x 4) (* 1.0 1.0))) (/ (+ (* x x) 1.0) (- (pow (sqrt x) 4) 1.0)) (/ (+ (* x x) 1.0) (- (sqrt (pow x 4)) 1.0)) (/ (+ (* x x) 1.0) (- (pow x (/ 4 2)) 1.0)) (/ (- (pow x 4) (* 1.0 1.0)) (+ (pow (* x x) 3) (pow 1.0 3))) (/ (- (pow x 4) (* 1.0 1.0)) (- (* (* x x) (* x x)) (* 1.0 1.0))) (* (+ (* x x) 1.0) (+ (* (pow x 4) (pow x 4)) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (* (pow x 4) (* 1.0 1.0))))) (* (+ (* x x) 1.0) (+ (pow x 4) (* 1.0 1.0))) (+ (pow x 2) 1.0) (+ (pow x 2) 1.0) (+ (pow x 2) 1.0) (- (* 1.0 (pow x 2)) 1.0) (- (pow x 2) 1.0) (- (pow x 2) 1.0) 31.021 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 31.021 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 31.023 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 31.025 * * [simplify]: iteration 3 : 25 enodes (cost 6 ) 31.028 * * [simplify]: iteration 4 : 53 enodes (cost 6 ) 31.038 * * [simplify]: iteration 5 : 121 enodes (cost 6 ) 31.081 * * [simplify]: iteration 6 : 313 enodes (cost 6 ) 31.328 * * [simplify]: iteration 7 : 1010 enodes (cost 6 ) 33.495 * * [simplify]: iteration 8 : 3782 enodes (cost 6 ) 35.678 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 35.679 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 35.679 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 35.680 * * [simplify]: iteration done : 6 enodes (cost 6 ) 35.681 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 35.681 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 35.682 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 35.684 * * [simplify]: iteration 3 : 16 enodes (cost 6 ) 35.686 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 35.689 * * [simplify]: iteration 5 : 51 enodes (cost 6 ) 35.698 * * [simplify]: iteration 6 : 117 enodes (cost 6 ) 35.741 * * [simplify]: iteration 7 : 306 enodes (cost 6 ) 35.991 * * [simplify]: iteration 8 : 1004 enodes (cost 6 ) 38.215 * * [simplify]: iteration 9 : 3787 enodes (cost 6 ) 40.378 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 40.379 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 40.380 * * [simplify]: iteration 1 : 7 enodes (cost 13 ) 40.381 * * [simplify]: iteration done : 7 enodes (cost 13 ) 40.381 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 40.382 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 40.382 * * [simplify]: iteration done : 6 enodes (cost 6 ) 40.383 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 40.384 * * [simplify]: iteration 1 : 20 enodes (cost 17 ) 40.388 * * [simplify]: iteration 2 : 62 enodes (cost 7 ) 40.403 * * [simplify]: iteration 3 : 166 enodes (cost 7 ) 40.464 * * [simplify]: iteration 4 : 413 enodes (cost 7 ) 40.718 * * [simplify]: iteration 5 : 1137 enodes (cost 7 ) 41.736 * * [simplify]: iteration 6 : 2577 enodes (cost 7 ) 44.092 * * [simplify]: iteration 7 : 4034 enodes (cost 7 ) 45.574 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 45.575 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 45.575 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 45.576 * * [simplify]: iteration done : 6 enodes (cost 6 ) 45.577 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 45.577 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 45.578 * * [simplify]: iteration done : 6 enodes (cost 6 ) 45.579 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 45.580 * * [simplify]: iteration 1 : 23 enodes (cost 9 ) 45.584 * * [simplify]: iteration 2 : 47 enodes (cost 7 ) 45.592 * * [simplify]: iteration 3 : 87 enodes (cost 7 ) 45.613 * * [simplify]: iteration 4 : 180 enodes (cost 7 ) 45.677 * * [simplify]: iteration 5 : 455 enodes (cost 7 ) 46.010 * * [simplify]: iteration 6 : 1467 enodes (cost 7 ) 47.577 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 47.578 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 47.579 * * [simplify]: iteration 1 : 22 enodes (cost 15 ) 47.583 * * [simplify]: iteration 2 : 47 enodes (cost 13 ) 47.591 * * [simplify]: iteration 3 : 85 enodes (cost 11 ) 47.611 * * [simplify]: iteration 4 : 138 enodes (cost 11 ) 47.641 * * [simplify]: iteration 5 : 237 enodes (cost 11 ) 47.742 * * [simplify]: iteration 6 : 485 enodes (cost 11 ) 48.057 * * [simplify]: iteration 7 : 1244 enodes (cost 11 ) 51.707 * * [simplify]: iteration 8 : 4856 enodes (cost 11 ) 53.173 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 53.173 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 53.174 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 53.177 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 53.180 * * [simplify]: iteration 3 : 50 enodes (cost 7 ) 53.188 * * [simplify]: iteration 4 : 98 enodes (cost 7 ) 53.214 * * [simplify]: iteration 5 : 186 enodes (cost 7 ) 53.262 * * [simplify]: iteration 6 : 349 enodes (cost 7 ) 53.396 * * [simplify]: iteration 7 : 830 enodes (cost 7 ) 54.770 * * [simplify]: iteration 8 : 3556 enodes (cost 7 ) 56.735 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 56.736 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 56.736 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 56.737 * * [simplify]: iteration 2 : 7 enodes (cost 5 ) 56.738 * * [simplify]: iteration done : 7 enodes (cost 5 ) 56.739 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 56.741 * * [simplify]: iteration 1 : 20 enodes (cost 15 ) 56.743 * * [simplify]: iteration 2 : 34 enodes (cost 15 ) 56.747 * * [simplify]: iteration 3 : 58 enodes (cost 15 ) 56.759 * * [simplify]: iteration 4 : 91 enodes (cost 15 ) 56.768 * * [simplify]: iteration 5 : 143 enodes (cost 15 ) 56.788 * * [simplify]: iteration 6 : 224 enodes (cost 8 ) 56.832 * * [simplify]: iteration 7 : 348 enodes (cost 6 ) 56.929 * * [simplify]: iteration 8 : 723 enodes (cost 6 ) 58.025 * * [simplify]: iteration 9 : 2904 enodes (cost 6 ) 59.540 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 59.541 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 59.543 * * [simplify]: iteration 1 : 23 enodes (cost 14 ) 59.546 * * [simplify]: iteration 2 : 44 enodes (cost 14 ) 59.552 * * [simplify]: iteration 3 : 86 enodes (cost 14 ) 59.561 * * [simplify]: iteration 4 : 143 enodes (cost 14 ) 59.584 * * [simplify]: iteration 5 : 228 enodes (cost 8 ) 59.624 * * [simplify]: iteration 6 : 349 enodes (cost 6 ) 59.761 * * [simplify]: iteration 7 : 881 enodes (cost 6 ) 61.517 * * [simplify]: iteration 8 : 4001 enodes (cost 6 ) 62.809 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 62.809 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 62.811 * * [simplify]: iteration 1 : 20 enodes (cost 14 ) 62.813 * * [simplify]: iteration 2 : 42 enodes (cost 14 ) 62.820 * * [simplify]: iteration 3 : 83 enodes (cost 14 ) 62.829 * * [simplify]: iteration 4 : 137 enodes (cost 14 ) 62.847 * * [simplify]: iteration 5 : 230 enodes (cost 8 ) 62.895 * * [simplify]: iteration 6 : 416 enodes (cost 6 ) 63.092 * * [simplify]: iteration 7 : 1178 enodes (cost 6 ) 64.416 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 64.418 * * [simplify]: iteration 0 : 13 enodes (cost 41 ) 64.420 * * [simplify]: iteration 1 : 41 enodes (cost 41 ) 64.428 * * [simplify]: iteration 2 : 140 enodes (cost 17 ) 64.474 * * [simplify]: iteration 3 : 489 enodes (cost 15 ) 64.700 * * [simplify]: iteration 4 : 2165 enodes (cost 9 ) 65.834 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 65.835 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 65.837 * * [simplify]: iteration 1 : 21 enodes (cost 29 ) 65.840 * * [simplify]: iteration 2 : 40 enodes (cost 29 ) 65.846 * * [simplify]: iteration 3 : 79 enodes (cost 29 ) 65.855 * * [simplify]: iteration 4 : 127 enodes (cost 29 ) 65.875 * * [simplify]: iteration 5 : 199 enodes (cost 17 ) 65.912 * * [simplify]: iteration 6 : 310 enodes (cost 13 ) 66.029 * * [simplify]: iteration 7 : 717 enodes (cost 13 ) 67.134 * * [simplify]: iteration 8 : 3020 enodes (cost 13 ) 68.254 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 68.255 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 68.256 * * [simplify]: iteration 1 : 20 enodes (cost 14 ) 68.259 * * [simplify]: iteration 2 : 39 enodes (cost 14 ) 68.265 * * [simplify]: iteration 3 : 78 enodes (cost 14 ) 68.280 * * [simplify]: iteration 4 : 126 enodes (cost 14 ) 68.296 * * [simplify]: iteration 5 : 198 enodes (cost 8 ) 68.335 * * [simplify]: iteration 6 : 307 enodes (cost 6 ) 68.452 * * [simplify]: iteration 7 : 722 enodes (cost 6 ) 69.551 * * [simplify]: iteration 8 : 3031 enodes (cost 6 ) 70.624 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 70.625 * * [simplify]: iteration 0 : 11 enodes (cost 41 ) 70.627 * * [simplify]: iteration 1 : 28 enodes (cost 41 ) 70.632 * * [simplify]: iteration 2 : 75 enodes (cost 15 ) 70.648 * * [simplify]: iteration 3 : 283 enodes (cost 15 ) 70.773 * * [simplify]: iteration 4 : 1387 enodes (cost 9 ) 71.840 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 71.841 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 71.842 * * [simplify]: iteration 1 : 20 enodes (cost 14 ) 71.845 * * [simplify]: iteration 2 : 39 enodes (cost 14 ) 71.852 * * [simplify]: iteration 3 : 78 enodes (cost 14 ) 71.860 * * [simplify]: iteration 4 : 126 enodes (cost 14 ) 71.880 * * [simplify]: iteration 5 : 198 enodes (cost 8 ) 71.916 * * [simplify]: iteration 6 : 307 enodes (cost 6 ) 72.032 * * [simplify]: iteration 7 : 722 enodes (cost 6 ) 73.135 * * [simplify]: iteration 8 : 3031 enodes (cost 6 ) 74.210 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 74.211 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 74.212 * * [simplify]: iteration 1 : 20 enodes (cost 14 ) 74.214 * * [simplify]: iteration 2 : 39 enodes (cost 14 ) 74.220 * * [simplify]: iteration 3 : 78 enodes (cost 14 ) 74.237 * * [simplify]: iteration 4 : 126 enodes (cost 14 ) 74.253 * * [simplify]: iteration 5 : 198 enodes (cost 8 ) 74.293 * * [simplify]: iteration 6 : 307 enodes (cost 6 ) 74.411 * * [simplify]: iteration 7 : 722 enodes (cost 6 ) 75.506 * * [simplify]: iteration 8 : 3031 enodes (cost 6 ) 76.577 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 76.578 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 76.579 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 76.580 * * [simplify]: iteration 2 : 30 enodes (cost 8 ) 76.585 * * [simplify]: iteration 3 : 66 enodes (cost 8 ) 76.593 * * [simplify]: iteration 4 : 123 enodes (cost 7 ) 76.611 * * [simplify]: iteration 5 : 227 enodes (cost 7 ) 76.660 * * [simplify]: iteration 6 : 405 enodes (cost 7 ) 76.809 * * [simplify]: iteration 7 : 753 enodes (cost 7 ) 77.186 * * [simplify]: iteration 8 : 1573 enodes (cost 7 ) 80.595 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 80.595 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 80.597 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 80.598 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 80.599 * * [simplify]: iteration 3 : 15 enodes (cost 6 ) 80.601 * * [simplify]: iteration done : 15 enodes (cost 6 ) 80.601 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 80.602 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 80.604 * * [simplify]: iteration 2 : 20 enodes (cost 9 ) 80.607 * * [simplify]: iteration 3 : 50 enodes (cost 9 ) 80.611 * * [simplify]: iteration 4 : 72 enodes (cost 9 ) 80.619 * * [simplify]: iteration 5 : 94 enodes (cost 9 ) 80.627 * * [simplify]: iteration 6 : 124 enodes (cost 9 ) 80.642 * * [simplify]: iteration 7 : 192 enodes (cost 9 ) 80.680 * * [simplify]: iteration 8 : 380 enodes (cost 9 ) 80.842 * * [simplify]: iteration 9 : 1064 enodes (cost 9 ) 82.274 * * [simplify]: iteration 10 : 3982 enodes (cost 9 ) 83.859 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 83.860 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 83.861 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 83.862 * * [simplify]: iteration 2 : 11 enodes (cost 9 ) 83.863 * * [simplify]: iteration 3 : 12 enodes (cost 9 ) 83.865 * * [simplify]: iteration done : 12 enodes (cost 9 ) 83.865 * * [simplify]: iteration 0 : 13 enodes (cost 31 ) 83.867 * * [simplify]: iteration 1 : 26 enodes (cost 31 ) 83.870 * * [simplify]: iteration 2 : 48 enodes (cost 31 ) 83.877 * * [simplify]: iteration 3 : 76 enodes (cost 31 ) 83.884 * * [simplify]: iteration 4 : 102 enodes (cost 31 ) 83.900 * * [simplify]: iteration 5 : 147 enodes (cost 31 ) 83.920 * * [simplify]: iteration 6 : 224 enodes (cost 31 ) 83.965 * * [simplify]: iteration 7 : 342 enodes (cost 31 ) 84.058 * * [simplify]: iteration 8 : 655 enodes (cost 31 ) 84.895 * * [simplify]: iteration 9 : 2440 enodes (cost 31 ) 86.823 * * [simplify]: iteration done : 5001 enodes (cost 31 ) 86.824 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 86.826 * * [simplify]: iteration 1 : 18 enodes (cost 15 ) 86.828 * * [simplify]: iteration 2 : 31 enodes (cost 15 ) 86.832 * * [simplify]: iteration 3 : 53 enodes (cost 15 ) 86.837 * * [simplify]: iteration 4 : 79 enodes (cost 15 ) 86.845 * * [simplify]: iteration 5 : 124 enodes (cost 15 ) 86.863 * * [simplify]: iteration 6 : 203 enodes (cost 15 ) 86.905 * * [simplify]: iteration 7 : 319 enodes (cost 15 ) 86.997 * * [simplify]: iteration 8 : 630 enodes (cost 15 ) 87.854 * * [simplify]: iteration 9 : 2403 enodes (cost 15 ) 89.766 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 89.767 * * [simplify]: iteration 0 : 12 enodes (cost 24 ) 89.769 * * [simplify]: iteration 1 : 21 enodes (cost 24 ) 89.771 * * [simplify]: iteration 2 : 36 enodes (cost 24 ) 89.776 * * [simplify]: iteration 3 : 59 enodes (cost 24 ) 89.781 * * [simplify]: iteration 4 : 85 enodes (cost 24 ) 89.791 * * [simplify]: iteration 5 : 130 enodes (cost 24 ) 89.812 * * [simplify]: iteration 6 : 209 enodes (cost 24 ) 89.854 * * [simplify]: iteration 7 : 327 enodes (cost 24 ) 89.941 * * [simplify]: iteration 8 : 638 enodes (cost 24 ) 90.784 * * [simplify]: iteration 9 : 2419 enodes (cost 24 ) 92.698 * * [simplify]: iteration done : 5000 enodes (cost 24 ) 92.699 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 92.700 * * [simplify]: iteration 1 : 18 enodes (cost 15 ) 92.702 * * [simplify]: iteration 2 : 31 enodes (cost 15 ) 92.706 * * [simplify]: iteration 3 : 53 enodes (cost 15 ) 92.711 * * [simplify]: iteration 4 : 79 enodes (cost 15 ) 92.719 * * [simplify]: iteration 5 : 124 enodes (cost 15 ) 92.741 * * [simplify]: iteration 6 : 203 enodes (cost 15 ) 92.778 * * [simplify]: iteration 7 : 319 enodes (cost 15 ) 92.866 * * [simplify]: iteration 8 : 630 enodes (cost 15 ) 93.712 * * [simplify]: iteration 9 : 2403 enodes (cost 15 ) 95.602 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 95.603 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 95.604 * * [simplify]: iteration 1 : 20 enodes (cost 17 ) 95.606 * * [simplify]: iteration 2 : 39 enodes (cost 17 ) 95.611 * * [simplify]: iteration 3 : 65 enodes (cost 17 ) 95.621 * * [simplify]: iteration 4 : 129 enodes (cost 17 ) 95.662 * * [simplify]: iteration 5 : 311 enodes (cost 17 ) 95.737 * * [simplify]: iteration 6 : 688 enodes (cost 17 ) 96.352 * * [simplify]: iteration 7 : 2376 enodes (cost 17 ) 98.425 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 98.425 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 98.427 * * [simplify]: iteration 1 : 17 enodes (cost 14 ) 98.429 * * [simplify]: iteration 2 : 30 enodes (cost 14 ) 98.433 * * [simplify]: iteration 3 : 52 enodes (cost 14 ) 98.438 * * [simplify]: iteration 4 : 78 enodes (cost 14 ) 98.446 * * [simplify]: iteration 5 : 123 enodes (cost 14 ) 98.465 * * [simplify]: iteration 6 : 202 enodes (cost 14 ) 98.505 * * [simplify]: iteration 7 : 318 enodes (cost 14 ) 98.597 * * [simplify]: iteration 8 : 634 enodes (cost 14 ) 99.446 * * [simplify]: iteration 9 : 2393 enodes (cost 14 ) 101.363 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 101.363 * * [simplify]: iteration 0 : 12 enodes (cost 22 ) 101.365 * * [simplify]: iteration 1 : 21 enodes (cost 22 ) 101.374 * * [simplify]: iteration 2 : 34 enodes (cost 22 ) 101.378 * * [simplify]: iteration 3 : 56 enodes (cost 22 ) 101.383 * * [simplify]: iteration 4 : 82 enodes (cost 22 ) 101.391 * * [simplify]: iteration 5 : 127 enodes (cost 22 ) 101.410 * * [simplify]: iteration 6 : 206 enodes (cost 22 ) 101.451 * * [simplify]: iteration 7 : 326 enodes (cost 22 ) 101.541 * * [simplify]: iteration 8 : 636 enodes (cost 22 ) 102.374 * * [simplify]: iteration 9 : 2389 enodes (cost 22 ) 104.229 * * [simplify]: iteration done : 5000 enodes (cost 22 ) 104.230 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 104.231 * * [simplify]: iteration 1 : 18 enodes (cost 15 ) 104.233 * * [simplify]: iteration 2 : 31 enodes (cost 15 ) 104.237 * * [simplify]: iteration 3 : 53 enodes (cost 15 ) 104.242 * * [simplify]: iteration 4 : 79 enodes (cost 15 ) 104.251 * * [simplify]: iteration 5 : 124 enodes (cost 15 ) 104.272 * * [simplify]: iteration 6 : 203 enodes (cost 15 ) 104.309 * * [simplify]: iteration 7 : 319 enodes (cost 15 ) 104.398 * * [simplify]: iteration 8 : 630 enodes (cost 15 ) 105.258 * * [simplify]: iteration 9 : 2403 enodes (cost 15 ) 107.177 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 107.178 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 107.179 * * [simplify]: iteration 1 : 18 enodes (cost 15 ) 107.182 * * [simplify]: iteration 2 : 31 enodes (cost 15 ) 107.186 * * [simplify]: iteration 3 : 53 enodes (cost 15 ) 107.191 * * [simplify]: iteration 4 : 79 enodes (cost 15 ) 107.204 * * [simplify]: iteration 5 : 124 enodes (cost 15 ) 107.221 * * [simplify]: iteration 6 : 203 enodes (cost 15 ) 107.262 * * [simplify]: iteration 7 : 319 enodes (cost 15 ) 107.348 * * [simplify]: iteration 8 : 630 enodes (cost 15 ) 108.206 * * [simplify]: iteration 9 : 2403 enodes (cost 15 ) 110.124 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 110.125 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 110.126 * * [simplify]: iteration 1 : 18 enodes (cost 15 ) 110.128 * * [simplify]: iteration 2 : 31 enodes (cost 15 ) 110.132 * * [simplify]: iteration 3 : 53 enodes (cost 15 ) 110.137 * * [simplify]: iteration 4 : 79 enodes (cost 15 ) 110.145 * * [simplify]: iteration 5 : 124 enodes (cost 15 ) 110.163 * * [simplify]: iteration 6 : 203 enodes (cost 15 ) 110.202 * * [simplify]: iteration 7 : 319 enodes (cost 15 ) 110.290 * * [simplify]: iteration 8 : 630 enodes (cost 15 ) 111.129 * * [simplify]: iteration 9 : 2403 enodes (cost 15 ) 113.017 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 113.017 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 113.018 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 113.020 * * [simplify]: iteration 2 : 32 enodes (cost 8 ) 113.024 * * [simplify]: iteration 3 : 53 enodes (cost 8 ) 113.033 * * [simplify]: iteration 4 : 117 enodes (cost 8 ) 113.071 * * [simplify]: iteration 5 : 300 enodes (cost 8 ) 113.141 * * [simplify]: iteration 6 : 678 enodes (cost 8 ) 113.947 * * [simplify]: iteration 7 : 2451 enodes (cost 8 ) 115.945 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 115.946 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 115.952 * * [simplify]: iteration 1 : 17 enodes (cost 14 ) 115.954 * * [simplify]: iteration 2 : 30 enodes (cost 14 ) 115.959 * * [simplify]: iteration 3 : 52 enodes (cost 14 ) 115.963 * * [simplify]: iteration 4 : 78 enodes (cost 14 ) 115.971 * * [simplify]: iteration 5 : 123 enodes (cost 14 ) 115.989 * * [simplify]: iteration 6 : 202 enodes (cost 14 ) 116.030 * * [simplify]: iteration 7 : 318 enodes (cost 14 ) 116.120 * * [simplify]: iteration 8 : 634 enodes (cost 14 ) 116.954 * * [simplify]: iteration 9 : 2393 enodes (cost 14 ) 118.878 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 118.879 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 118.880 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 118.881 * * [simplify]: iteration done : 13 enodes (cost 15 ) 118.882 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 118.883 * * [simplify]: iteration 1 : 20 enodes (cost 14 ) 118.886 * * [simplify]: iteration 2 : 39 enodes (cost 14 ) 118.891 * * [simplify]: iteration 3 : 78 enodes (cost 14 ) 118.899 * * [simplify]: iteration 4 : 127 enodes (cost 14 ) 118.915 * * [simplify]: iteration 5 : 199 enodes (cost 14 ) 118.947 * * [simplify]: iteration 6 : 314 enodes (cost 14 ) 119.008 * * [simplify]: iteration 7 : 495 enodes (cost 14 ) 119.148 * * [simplify]: iteration 8 : 987 enodes (cost 14 ) 120.155 * * [simplify]: iteration 9 : 3262 enodes (cost 14 ) 121.904 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 121.905 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 121.906 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 121.907 * * [simplify]: iteration done : 10 enodes (cost 8 ) 121.908 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 121.909 * * [simplify]: iteration 1 : 20 enodes (cost 14 ) 121.917 * * [simplify]: iteration 2 : 39 enodes (cost 14 ) 121.923 * * [simplify]: iteration 3 : 78 enodes (cost 14 ) 121.931 * * [simplify]: iteration 4 : 127 enodes (cost 14 ) 121.947 * * [simplify]: iteration 5 : 199 enodes (cost 14 ) 121.979 * * [simplify]: iteration 6 : 314 enodes (cost 14 ) 122.040 * * [simplify]: iteration 7 : 495 enodes (cost 14 ) 122.174 * * [simplify]: iteration 8 : 987 enodes (cost 14 ) 123.167 * * [simplify]: iteration 9 : 3262 enodes (cost 14 ) 124.887 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 124.887 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 124.888 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 124.888 * * [simplify]: iteration done : 4 enodes (cost 1 ) 124.889 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 124.890 * * [simplify]: iteration 1 : 19 enodes (cost 13 ) 124.892 * * [simplify]: iteration 2 : 38 enodes (cost 13 ) 124.898 * * [simplify]: iteration 3 : 77 enodes (cost 13 ) 124.912 * * [simplify]: iteration 4 : 125 enodes (cost 13 ) 124.928 * * [simplify]: iteration 5 : 197 enodes (cost 7 ) 124.966 * * [simplify]: iteration 6 : 306 enodes (cost 5 ) 125.083 * * [simplify]: iteration 7 : 721 enodes (cost 5 ) 126.190 * * [simplify]: iteration 8 : 3030 enodes (cost 5 ) 127.230 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 127.230 * * [simplify]: iteration 0 : 11 enodes (cost 20 ) 127.232 * * [simplify]: iteration 1 : 19 enodes (cost 20 ) 127.234 * * [simplify]: iteration 2 : 26 enodes (cost 20 ) 127.243 * * [simplify]: iteration 3 : 46 enodes (cost 19 ) 127.247 * * [simplify]: iteration 4 : 61 enodes (cost 19 ) 127.252 * * [simplify]: iteration 5 : 96 enodes (cost 19 ) 127.270 * * [simplify]: iteration 6 : 219 enodes (cost 19 ) 127.415 * * [simplify]: iteration 7 : 659 enodes (cost 19 ) 128.762 * * [simplify]: iteration 8 : 2535 enodes (cost 19 ) 131.786 * * [simplify]: iteration done : 5001 enodes (cost 19 ) 131.787 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 131.788 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 131.790 * * [simplify]: iteration 2 : 32 enodes (cost 13 ) 131.795 * * [simplify]: iteration 3 : 64 enodes (cost 12 ) 131.805 * * [simplify]: iteration 4 : 95 enodes (cost 12 ) 131.816 * * [simplify]: iteration 5 : 190 enodes (cost 12 ) 131.879 * * [simplify]: iteration 6 : 577 enodes (cost 12 ) 132.668 * * [simplify]: iteration 7 : 2381 enodes (cost 12 ) 133.952 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 133.953 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 133.954 * * [simplify]: iteration 1 : 16 enodes (cost 13 ) 133.956 * * [simplify]: iteration 2 : 23 enodes (cost 13 ) 133.959 * * [simplify]: iteration 3 : 43 enodes (cost 12 ) 133.962 * * [simplify]: iteration 4 : 58 enodes (cost 12 ) 133.967 * * [simplify]: iteration 5 : 93 enodes (cost 12 ) 133.986 * * [simplify]: iteration 6 : 218 enodes (cost 12 ) 134.133 * * [simplify]: iteration 7 : 667 enodes (cost 12 ) 135.582 * * [simplify]: iteration 8 : 2588 enodes (cost 12 ) 139.311 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 139.312 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 139.313 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 139.315 * * [simplify]: iteration 2 : 32 enodes (cost 13 ) 139.320 * * [simplify]: iteration 3 : 64 enodes (cost 12 ) 139.326 * * [simplify]: iteration 4 : 95 enodes (cost 12 ) 139.338 * * [simplify]: iteration 5 : 190 enodes (cost 12 ) 139.403 * * [simplify]: iteration 6 : 577 enodes (cost 12 ) 140.203 * * [simplify]: iteration 7 : 2381 enodes (cost 12 ) 141.499 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 141.500 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 141.501 * * [simplify]: iteration 1 : 15 enodes (cost 6 ) 141.503 * * [simplify]: iteration 2 : 23 enodes (cost 6 ) 141.505 * * [simplify]: iteration 3 : 41 enodes (cost 5 ) 141.510 * * [simplify]: iteration 4 : 72 enodes (cost 5 ) 141.526 * * [simplify]: iteration 5 : 123 enodes (cost 5 ) 141.550 * * [simplify]: iteration 6 : 254 enodes (cost 5 ) 141.713 * * [simplify]: iteration 7 : 737 enodes (cost 5 ) 143.409 * * [simplify]: iteration 8 : 2926 enodes (cost 5 ) 147.057 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 147.057 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 147.064 * * [simplify]: iteration 1 : 19 enodes (cost 12 ) 147.066 * * [simplify]: iteration 2 : 31 enodes (cost 12 ) 147.071 * * [simplify]: iteration 3 : 63 enodes (cost 11 ) 147.077 * * [simplify]: iteration 4 : 94 enodes (cost 11 ) 147.089 * * [simplify]: iteration 5 : 189 enodes (cost 11 ) 147.154 * * [simplify]: iteration 6 : 569 enodes (cost 11 ) 147.941 * * [simplify]: iteration 7 : 2382 enodes (cost 11 ) 149.241 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 149.242 * * [simplify]: iteration 0 : 11 enodes (cost 20 ) 149.243 * * [simplify]: iteration 1 : 19 enodes (cost 20 ) 149.245 * * [simplify]: iteration 2 : 26 enodes (cost 20 ) 149.249 * * [simplify]: iteration 3 : 46 enodes (cost 20 ) 149.252 * * [simplify]: iteration 4 : 57 enodes (cost 20 ) 149.256 * * [simplify]: iteration 5 : 69 enodes (cost 20 ) 149.261 * * [simplify]: iteration 6 : 89 enodes (cost 20 ) 149.268 * * [simplify]: iteration 7 : 133 enodes (cost 20 ) 149.286 * * [simplify]: iteration 8 : 251 enodes (cost 20 ) 149.362 * * [simplify]: iteration 9 : 628 enodes (cost 20 ) 150.039 * * [simplify]: iteration 10 : 2271 enodes (cost 20 ) 152.022 * * [simplify]: iteration done : 5000 enodes (cost 20 ) 152.022 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 152.024 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 152.026 * * [simplify]: iteration 2 : 30 enodes (cost 13 ) 152.030 * * [simplify]: iteration 3 : 52 enodes (cost 13 ) 152.033 * * [simplify]: iteration 4 : 63 enodes (cost 13 ) 152.038 * * [simplify]: iteration 5 : 75 enodes (cost 13 ) 152.048 * * [simplify]: iteration 6 : 95 enodes (cost 13 ) 152.057 * * [simplify]: iteration 7 : 139 enodes (cost 13 ) 152.074 * * [simplify]: iteration 8 : 251 enodes (cost 13 ) 152.154 * * [simplify]: iteration 9 : 637 enodes (cost 13 ) 152.813 * * [simplify]: iteration 10 : 2268 enodes (cost 13 ) 154.891 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 154.891 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 154.893 * * [simplify]: iteration 1 : 16 enodes (cost 13 ) 154.895 * * [simplify]: iteration 2 : 23 enodes (cost 13 ) 154.897 * * [simplify]: iteration 3 : 43 enodes (cost 13 ) 154.900 * * [simplify]: iteration 4 : 54 enodes (cost 13 ) 154.904 * * [simplify]: iteration 5 : 66 enodes (cost 13 ) 154.908 * * [simplify]: iteration 6 : 86 enodes (cost 13 ) 154.919 * * [simplify]: iteration 7 : 130 enodes (cost 13 ) 154.936 * * [simplify]: iteration 8 : 242 enodes (cost 13 ) 155.009 * * [simplify]: iteration 9 : 617 enodes (cost 13 ) 155.693 * * [simplify]: iteration 10 : 2258 enodes (cost 13 ) 157.317 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 157.318 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 157.319 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 157.322 * * [simplify]: iteration 2 : 30 enodes (cost 13 ) 157.325 * * [simplify]: iteration 3 : 52 enodes (cost 13 ) 157.329 * * [simplify]: iteration 4 : 63 enodes (cost 13 ) 157.333 * * [simplify]: iteration 5 : 75 enodes (cost 13 ) 157.339 * * [simplify]: iteration 6 : 95 enodes (cost 13 ) 157.347 * * [simplify]: iteration 7 : 139 enodes (cost 13 ) 157.365 * * [simplify]: iteration 8 : 251 enodes (cost 13 ) 157.445 * * [simplify]: iteration 9 : 637 enodes (cost 13 ) 158.112 * * [simplify]: iteration 10 : 2268 enodes (cost 13 ) 159.981 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 159.982 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 159.983 * * [simplify]: iteration 1 : 15 enodes (cost 6 ) 159.987 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 159.990 * * [simplify]: iteration 3 : 42 enodes (cost 6 ) 159.996 * * [simplify]: iteration 4 : 89 enodes (cost 6 ) 160.020 * * [simplify]: iteration 5 : 194 enodes (cost 6 ) 160.061 * * [simplify]: iteration 6 : 373 enodes (cost 6 ) 160.420 * * [simplify]: iteration 7 : 1208 enodes (cost 6 ) 162.589 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 162.594 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 162.595 * * [simplify]: iteration 1 : 19 enodes (cost 12 ) 162.597 * * [simplify]: iteration 2 : 29 enodes (cost 12 ) 162.601 * * [simplify]: iteration 3 : 51 enodes (cost 12 ) 162.605 * * [simplify]: iteration 4 : 62 enodes (cost 12 ) 162.610 * * [simplify]: iteration 5 : 74 enodes (cost 12 ) 162.615 * * [simplify]: iteration 6 : 94 enodes (cost 12 ) 162.623 * * [simplify]: iteration 7 : 138 enodes (cost 12 ) 162.642 * * [simplify]: iteration 8 : 258 enodes (cost 12 ) 162.720 * * [simplify]: iteration 9 : 649 enodes (cost 12 ) 163.410 * * [simplify]: iteration 10 : 2308 enodes (cost 12 ) 165.025 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 165.026 * * [simplify]: iteration 0 : 12 enodes (cost 21 ) 165.027 * * [simplify]: iteration 1 : 19 enodes (cost 19 ) 165.029 * * [simplify]: iteration 2 : 25 enodes (cost 19 ) 165.033 * * [simplify]: iteration 3 : 42 enodes (cost 19 ) 165.037 * * [simplify]: iteration 4 : 58 enodes (cost 19 ) 165.043 * * [simplify]: iteration 5 : 98 enodes (cost 19 ) 165.062 * * [simplify]: iteration 6 : 231 enodes (cost 19 ) 165.222 * * [simplify]: iteration 7 : 762 enodes (cost 19 ) 167.353 * * [simplify]: iteration 8 : 3873 enodes (cost 19 ) 170.166 * * [simplify]: iteration done : 5001 enodes (cost 19 ) 170.167 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 170.168 * * [simplify]: iteration 1 : 20 enodes (cost 12 ) 170.171 * * [simplify]: iteration 2 : 31 enodes (cost 12 ) 170.175 * * [simplify]: iteration 3 : 54 enodes (cost 12 ) 170.185 * * [simplify]: iteration 4 : 85 enodes (cost 12 ) 170.197 * * [simplify]: iteration 5 : 185 enodes (cost 12 ) 170.259 * * [simplify]: iteration 6 : 583 enodes (cost 12 ) 171.085 * * [simplify]: iteration 7 : 2510 enodes (cost 12 ) 172.407 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 172.407 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 172.409 * * [simplify]: iteration 1 : 17 enodes (cost 12 ) 172.411 * * [simplify]: iteration 2 : 25 enodes (cost 12 ) 172.412 * * [simplify]: iteration 3 : 30 enodes (cost 12 ) 172.414 * * [simplify]: iteration 4 : 36 enodes (cost 12 ) 172.417 * * [simplify]: iteration 5 : 46 enodes (cost 12 ) 172.420 * * [simplify]: iteration 6 : 70 enodes (cost 12 ) 172.430 * * [simplify]: iteration 7 : 129 enodes (cost 12 ) 172.474 * * [simplify]: iteration 8 : 337 enodes (cost 12 ) 172.921 * * [simplify]: iteration 9 : 1271 enodes (cost 12 ) 175.415 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 175.415 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 175.417 * * [simplify]: iteration 1 : 20 enodes (cost 12 ) 175.420 * * [simplify]: iteration 2 : 31 enodes (cost 12 ) 175.424 * * [simplify]: iteration 3 : 54 enodes (cost 12 ) 175.429 * * [simplify]: iteration 4 : 85 enodes (cost 12 ) 175.447 * * [simplify]: iteration 5 : 185 enodes (cost 12 ) 175.509 * * [simplify]: iteration 6 : 583 enodes (cost 12 ) 176.326 * * [simplify]: iteration 7 : 2510 enodes (cost 12 ) 177.639 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 177.640 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 177.641 * * [simplify]: iteration 1 : 15 enodes (cost 5 ) 177.642 * * [simplify]: iteration 2 : 23 enodes (cost 5 ) 177.645 * * [simplify]: iteration 3 : 36 enodes (cost 5 ) 177.650 * * [simplify]: iteration 4 : 68 enodes (cost 5 ) 177.658 * * [simplify]: iteration 5 : 128 enodes (cost 5 ) 177.698 * * [simplify]: iteration 6 : 355 enodes (cost 5 ) 178.123 * * [simplify]: iteration 7 : 1359 enodes (cost 5 ) 180.366 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 180.366 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 180.368 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 180.370 * * [simplify]: iteration 2 : 33 enodes (cost 11 ) 180.373 * * [simplify]: iteration 3 : 42 enodes (cost 11 ) 180.376 * * [simplify]: iteration 4 : 49 enodes (cost 11 ) 180.380 * * [simplify]: iteration 5 : 59 enodes (cost 11 ) 180.386 * * [simplify]: iteration 6 : 81 enodes (cost 11 ) 180.397 * * [simplify]: iteration 7 : 142 enodes (cost 11 ) 180.444 * * [simplify]: iteration 8 : 363 enodes (cost 11 ) 180.874 * * [simplify]: iteration 9 : 1287 enodes (cost 11 ) 183.040 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 183.041 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 183.042 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 183.043 * * [simplify]: iteration done : 9 enodes (cost 7 ) 183.043 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 183.044 * * [simplify]: iteration 1 : 16 enodes (cost 13 ) 183.046 * * [simplify]: iteration 2 : 29 enodes (cost 13 ) 183.055 * * [simplify]: iteration 3 : 53 enodes (cost 13 ) 183.060 * * [simplify]: iteration 4 : 81 enodes (cost 7 ) 183.069 * * [simplify]: iteration 5 : 126 enodes (cost 7 ) 183.087 * * [simplify]: iteration 6 : 205 enodes (cost 7 ) 183.129 * * [simplify]: iteration 7 : 323 enodes (cost 7 ) 183.223 * * [simplify]: iteration 8 : 637 enodes (cost 7 ) 184.031 * * [simplify]: iteration 9 : 2347 enodes (cost 7 ) 185.972 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 185.972 * * [simplify]: iteration 0 : 11 enodes (cost 21 ) 185.974 * * [simplify]: iteration 1 : 23 enodes (cost 21 ) 185.977 * * [simplify]: iteration 2 : 51 enodes (cost 21 ) 185.986 * * [simplify]: iteration 3 : 124 enodes (cost 21 ) 186.006 * * [simplify]: iteration 4 : 230 enodes (cost 21 ) 186.046 * * [simplify]: iteration 5 : 401 enodes (cost 21 ) 186.132 * * [simplify]: iteration 6 : 679 enodes (cost 21 ) 186.321 * * [simplify]: iteration 7 : 1178 enodes (cost 21 ) 186.802 * * [simplify]: iteration 8 : 2144 enodes (cost 21 ) 188.115 * * [simplify]: iteration done : 5001 enodes (cost 21 ) 188.116 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 188.117 * * [simplify]: iteration 1 : 20 enodes (cost 14 ) 188.120 * * [simplify]: iteration 2 : 39 enodes (cost 14 ) 188.129 * * [simplify]: iteration 3 : 78 enodes (cost 14 ) 188.137 * * [simplify]: iteration 4 : 127 enodes (cost 14 ) 188.154 * * [simplify]: iteration 5 : 199 enodes (cost 14 ) 188.186 * * [simplify]: iteration 6 : 314 enodes (cost 14 ) 188.247 * * [simplify]: iteration 7 : 495 enodes (cost 14 ) 188.386 * * [simplify]: iteration 8 : 987 enodes (cost 14 ) 189.387 * * [simplify]: iteration 9 : 3262 enodes (cost 14 ) 191.119 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 191.120 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 191.121 * * [simplify]: iteration 1 : 19 enodes (cost 7 ) 191.124 * * [simplify]: iteration 2 : 40 enodes (cost 7 ) 191.129 * * [simplify]: iteration 3 : 81 enodes (cost 7 ) 191.154 * * [simplify]: iteration 4 : 214 enodes (cost 7 ) 191.274 * * [simplify]: iteration 5 : 617 enodes (cost 7 ) 191.587 * * [simplify]: iteration 6 : 1634 enodes (cost 7 ) 194.382 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 194.382 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 194.384 * * [simplify]: iteration 1 : 17 enodes (cost 14 ) 194.386 * * [simplify]: iteration 2 : 30 enodes (cost 14 ) 194.390 * * [simplify]: iteration 3 : 52 enodes (cost 14 ) 194.395 * * [simplify]: iteration 4 : 78 enodes (cost 14 ) 194.403 * * [simplify]: iteration 5 : 123 enodes (cost 14 ) 194.420 * * [simplify]: iteration 6 : 202 enodes (cost 14 ) 194.461 * * [simplify]: iteration 7 : 324 enodes (cost 14 ) 194.551 * * [simplify]: iteration 8 : 638 enodes (cost 14 ) 195.389 * * [simplify]: iteration 9 : 2395 enodes (cost 14 ) 197.302 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 197.303 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 197.304 * * [simplify]: iteration 1 : 17 enodes (cost 14 ) 197.306 * * [simplify]: iteration 2 : 30 enodes (cost 14 ) 197.311 * * [simplify]: iteration 3 : 52 enodes (cost 14 ) 197.315 * * [simplify]: iteration 4 : 78 enodes (cost 14 ) 197.324 * * [simplify]: iteration 5 : 123 enodes (cost 14 ) 197.342 * * [simplify]: iteration 6 : 202 enodes (cost 14 ) 197.384 * * [simplify]: iteration 7 : 324 enodes (cost 14 ) 197.473 * * [simplify]: iteration 8 : 638 enodes (cost 14 ) 198.305 * * [simplify]: iteration 9 : 2395 enodes (cost 14 ) 200.204 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 200.205 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 200.206 * * [simplify]: iteration 1 : 16 enodes (cost 13 ) 200.208 * * [simplify]: iteration 2 : 29 enodes (cost 13 ) 200.212 * * [simplify]: iteration 3 : 53 enodes (cost 13 ) 200.217 * * [simplify]: iteration 4 : 81 enodes (cost 7 ) 200.226 * * [simplify]: iteration 5 : 126 enodes (cost 7 ) 200.249 * * [simplify]: iteration 6 : 205 enodes (cost 7 ) 200.291 * * [simplify]: iteration 7 : 323 enodes (cost 7 ) 200.377 * * [simplify]: iteration 8 : 637 enodes (cost 7 ) 201.188 * * [simplify]: iteration 9 : 2347 enodes (cost 7 ) 203.147 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 203.148 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 203.149 * * [simplify]: iteration 1 : 16 enodes (cost 12 ) 203.151 * * [simplify]: iteration 2 : 24 enodes (cost 12 ) 203.154 * * [simplify]: iteration 3 : 44 enodes (cost 11 ) 203.158 * * [simplify]: iteration 4 : 59 enodes (cost 11 ) 203.164 * * [simplify]: iteration 5 : 96 enodes (cost 11 ) 203.182 * * [simplify]: iteration 6 : 219 enodes (cost 11 ) 203.323 * * [simplify]: iteration 7 : 655 enodes (cost 11 ) 204.754 * * [simplify]: iteration 8 : 2588 enodes (cost 11 ) 207.853 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 207.853 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 207.860 * * [simplify]: iteration 1 : 16 enodes (cost 12 ) 207.862 * * [simplify]: iteration 2 : 24 enodes (cost 12 ) 207.865 * * [simplify]: iteration 3 : 44 enodes (cost 12 ) 207.872 * * [simplify]: iteration 4 : 53 enodes (cost 12 ) 207.875 * * [simplify]: iteration 5 : 65 enodes (cost 12 ) 207.880 * * [simplify]: iteration 6 : 85 enodes (cost 12 ) 207.887 * * [simplify]: iteration 7 : 129 enodes (cost 12 ) 207.905 * * [simplify]: iteration 8 : 244 enodes (cost 12 ) 207.981 * * [simplify]: iteration 9 : 622 enodes (cost 12 ) 208.656 * * [simplify]: iteration 10 : 2269 enodes (cost 12 ) 210.451 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 210.452 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 210.453 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 210.455 * * [simplify]: iteration 2 : 26 enodes (cost 11 ) 210.457 * * [simplify]: iteration 3 : 31 enodes (cost 11 ) 210.459 * * [simplify]: iteration 4 : 37 enodes (cost 11 ) 210.461 * * [simplify]: iteration 5 : 47 enodes (cost 11 ) 210.465 * * [simplify]: iteration 6 : 69 enodes (cost 11 ) 210.474 * * [simplify]: iteration 7 : 125 enodes (cost 11 ) 210.519 * * [simplify]: iteration 8 : 329 enodes (cost 11 ) 210.946 * * [simplify]: iteration 9 : 1255 enodes (cost 11 ) 213.484 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 213.485 * * [simplify]: iteration 0 : 12 enodes (cost 17 ) 213.487 * * [simplify]: iteration 1 : 35 enodes (cost 17 ) 213.493 * * [simplify]: iteration 2 : 78 enodes (cost 15 ) 213.515 * * [simplify]: iteration 3 : 170 enodes (cost 15 ) 213.539 * * [simplify]: iteration 4 : 316 enodes (cost 15 ) 213.621 * * [simplify]: iteration 5 : 684 enodes (cost 15 ) 213.999 * * [simplify]: iteration 6 : 1945 enodes (cost 15 ) 215.231 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 215.232 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 215.234 * * [simplify]: iteration 1 : 27 enodes (cost 19 ) 215.238 * * [simplify]: iteration 2 : 64 enodes (cost 15 ) 215.252 * * [simplify]: iteration 3 : 195 enodes (cost 15 ) 215.291 * * [simplify]: iteration 4 : 458 enodes (cost 1 ) 215.477 * * [simplify]: iteration 5 : 1016 enodes (cost 1 ) 216.410 * * [simplify]: iteration done : 5001 enodes (cost 1 ) 216.411 * * [simplify]: iteration 0 : 13 enodes (cost 29 ) 216.413 * * [simplify]: iteration 1 : 41 enodes (cost 21 ) 216.421 * * [simplify]: iteration 2 : 128 enodes (cost 21 ) 216.467 * * [simplify]: iteration 3 : 431 enodes (cost 21 ) 216.649 * * [simplify]: iteration 4 : 1159 enodes (cost 21 ) 217.524 * * [simplify]: iteration 5 : 2619 enodes (cost 21 ) 220.202 * * [simplify]: iteration 6 : 4886 enodes (cost 21 ) 221.679 * * [simplify]: iteration done : 5000 enodes (cost 21 ) 221.679 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 221.681 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 221.684 * * [simplify]: iteration 2 : 61 enodes (cost 13 ) 221.707 * * [simplify]: iteration 3 : 169 enodes (cost 13 ) 221.742 * * [simplify]: iteration 4 : 276 enodes (cost 13 ) 221.797 * * [simplify]: iteration 5 : 334 enodes (cost 13 ) 221.868 * * [simplify]: iteration 6 : 421 enodes (cost 13 ) 221.963 * * [simplify]: iteration 7 : 611 enodes (cost 13 ) 222.165 * * [simplify]: iteration 8 : 1194 enodes (cost 13 ) 223.141 * * [simplify]: iteration 9 : 3481 enodes (cost 13 ) 224.733 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 224.733 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 224.734 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 224.735 * * [simplify]: iteration 2 : 19 enodes (cost 5 ) 224.736 * * [simplify]: iteration 3 : 24 enodes (cost 5 ) 224.738 * * [simplify]: iteration 4 : 30 enodes (cost 5 ) 224.746 * * [simplify]: iteration 5 : 40 enodes (cost 5 ) 224.750 * * [simplify]: iteration 6 : 62 enodes (cost 5 ) 224.758 * * [simplify]: iteration 7 : 126 enodes (cost 5 ) 224.805 * * [simplify]: iteration 8 : 342 enodes (cost 5 ) 225.240 * * [simplify]: iteration 9 : 1264 enodes (cost 5 ) 227.499 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 227.499 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 227.500 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 227.501 * * [simplify]: iteration 2 : 19 enodes (cost 5 ) 227.502 * * [simplify]: iteration 3 : 24 enodes (cost 5 ) 227.504 * * [simplify]: iteration 4 : 30 enodes (cost 5 ) 227.506 * * [simplify]: iteration 5 : 40 enodes (cost 5 ) 227.509 * * [simplify]: iteration 6 : 62 enodes (cost 5 ) 227.517 * * [simplify]: iteration 7 : 126 enodes (cost 5 ) 227.564 * * [simplify]: iteration 8 : 342 enodes (cost 5 ) 228.000 * * [simplify]: iteration 9 : 1264 enodes (cost 5 ) 230.256 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 230.257 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 230.258 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 230.259 * * [simplify]: iteration 2 : 19 enodes (cost 5 ) 230.260 * * [simplify]: iteration 3 : 24 enodes (cost 5 ) 230.261 * * [simplify]: iteration 4 : 30 enodes (cost 5 ) 230.264 * * [simplify]: iteration 5 : 40 enodes (cost 5 ) 230.267 * * [simplify]: iteration 6 : 62 enodes (cost 5 ) 230.275 * * [simplify]: iteration 7 : 126 enodes (cost 5 ) 230.323 * * [simplify]: iteration 8 : 342 enodes (cost 5 ) 230.774 * * [simplify]: iteration 9 : 1264 enodes (cost 5 ) 233.054 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 233.054 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 233.055 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 233.057 * * [simplify]: iteration 2 : 31 enodes (cost 7 ) 233.060 * * [simplify]: iteration 3 : 36 enodes (cost 7 ) 233.063 * * [simplify]: iteration 4 : 42 enodes (cost 7 ) 233.066 * * [simplify]: iteration 5 : 52 enodes (cost 7 ) 233.070 * * [simplify]: iteration 6 : 74 enodes (cost 7 ) 233.084 * * [simplify]: iteration 7 : 133 enodes (cost 7 ) 233.128 * * [simplify]: iteration 8 : 350 enodes (cost 7 ) 233.559 * * [simplify]: iteration 9 : 1278 enodes (cost 7 ) 235.975 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 235.976 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 235.977 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 235.978 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 235.980 * * [simplify]: iteration 3 : 26 enodes (cost 5 ) 235.982 * * [simplify]: iteration 4 : 32 enodes (cost 5 ) 235.984 * * [simplify]: iteration 5 : 42 enodes (cost 5 ) 235.987 * * [simplify]: iteration 6 : 64 enodes (cost 5 ) 235.996 * * [simplify]: iteration 7 : 131 enodes (cost 5 ) 236.044 * * [simplify]: iteration 8 : 349 enodes (cost 5 ) 236.492 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 238.800 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 238.801 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 238.802 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 238.803 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 238.804 * * [simplify]: iteration 3 : 26 enodes (cost 5 ) 238.806 * * [simplify]: iteration 4 : 32 enodes (cost 5 ) 238.808 * * [simplify]: iteration 5 : 42 enodes (cost 5 ) 238.812 * * [simplify]: iteration 6 : 64 enodes (cost 5 ) 238.821 * * [simplify]: iteration 7 : 131 enodes (cost 5 ) 238.869 * * [simplify]: iteration 8 : 349 enodes (cost 5 ) 239.309 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 241.579 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 241.580 * [simplify]: Simplified to: (exp (+ (* x x) 1.0)) (log (+ (* x x) 1.0)) (exp (+ (* x x) 1.0)) (* (cbrt (+ (* x x) 1.0)) (cbrt (+ (* x x) 1.0))) (cbrt (+ (* x x) 1.0)) (pow (+ (* x x) 1.0) 3) (sqrt (+ (* x x) 1.0)) (sqrt (+ (* x x) 1.0)) (+ (pow x 6) (pow 1.0 3)) (+ (* 1.0 (- 1.0 (* x x))) (pow x 4)) (- (pow x 4) (* 1.0 1.0)) (- (* x x) 1.0) (log (- (* x x) 1.0)) (log (- (* x x) 1.0)) (exp (- (* x x) 1.0)) (pow (/ (- (* x x) 1.0) 1) 3) (* (cbrt (- (* x x) 1.0)) (cbrt (- (* x x) 1.0))) (cbrt (- (* x x) 1.0)) (pow (* 1 (- (* x x) 1.0)) 3) (sqrt (- (* x x) 1.0)) (sqrt (- (* x x) 1.0)) (- (* 1.0 1.0) (pow x 4)) (neg (+ (* x x) 1.0)) (/ (pow x 4) (+ (* x x) 1.0)) (/ (* 1.0 1.0) (+ (* x x) 1.0)) (/ (* (cbrt (- (pow x 4) (* 1.0 1.0))) (cbrt (- (pow x 4) (* 1.0 1.0)))) (* (cbrt (+ (* x x) 1.0)) (cbrt (+ (* x x) 1.0)))) (/ (cbrt (- (pow x 4) (* 1.0 1.0))) (cbrt (+ (* x x) 1.0))) (/ (* (cbrt (- (pow x 4) (* 1.0 1.0))) (cbrt (- (pow x 4) (* 1.0 1.0)))) (sqrt (+ (* x x) 1.0))) (/ (cbrt (- (pow x 4) (* 1.0 1.0))) (sqrt (+ (* x x) 1.0))) (* (cbrt (- (pow x 4) (* 1.0 1.0))) (cbrt (- (pow x 4) (* 1.0 1.0)))) (/ (cbrt (- (pow x 4) (* 1.0 1.0))) (+ (* x x) 1.0)) (/ (sqrt (- (pow x 4) (* 1.0 1.0))) (* (cbrt (+ (* x x) 1.0)) (cbrt (+ (* x x) 1.0)))) (/ (sqrt (- (pow x 4) (* 1.0 1.0))) (cbrt (+ (* x x) 1.0))) (/ (sqrt (- (pow x 4) (* 1.0 1.0))) (sqrt (+ (* x x) 1.0))) (/ (sqrt (- (pow x 4) (* 1.0 1.0))) (sqrt (+ (* x x) 1.0))) (sqrt (- (pow x 4) (* 1.0 1.0))) (/ (sqrt (- (pow x 4) (* 1.0 1.0))) (+ (* x x) 1.0)) (/ 1 (* (cbrt (+ (* x x) 1.0)) (cbrt (+ (* x x) 1.0)))) (/ (- (pow x 4) (* 1.0 1.0)) (cbrt (+ (* x x) 1.0))) (/ 1 (sqrt (+ (* x x) 1.0))) (/ (- (pow x 4) (* 1.0 1.0)) (sqrt (+ (* x x) 1.0))) 1 (- (* x x) 1.0) (/ (+ (* x x) 1.0) (* (cbrt (+ (* x x) 1.0)) (cbrt (+ (* x x) 1.0)))) (/ (- (* x x) 1.0) (cbrt (+ (* x x) 1.0))) (/ (+ (* x x) 1.0) (sqrt (+ (* x x) 1.0))) (/ (- (* x x) 1.0) (sqrt (+ (* x x) 1.0))) (+ 1.0 (* x x)) (/ (- (* x x) 1.0) (+ (* x x) 1.0)) (/ (+ (sqrt (pow x 4)) 1.0) (* (cbrt (+ (* x x) 1.0)) (cbrt (+ (* x x) 1.0)))) (/ (- (sqrt (pow x 4)) 1.0) (cbrt (+ (* x x) 1.0))) (/ (+ (sqrt (pow x 4)) 1.0) (sqrt (+ (* x x) 1.0))) (/ (- (sqrt (pow x 4)) 1.0) (sqrt (+ (* x x) 1.0))) (+ 1.0 (sqrt (pow x 4))) (/ (- (sqrt (pow x 4)) 1.0) (+ (* x x) 1.0)) (/ (+ 1.0 (pow x 2)) (* (cbrt (+ (* x x) 1.0)) (cbrt (+ (* x x) 1.0)))) (/ (- (pow x 2) 1.0) (cbrt (+ (* x x) 1.0))) (/ (+ 1.0 (pow x 2)) (sqrt (+ (* x x) 1.0))) (/ (- (pow x 2) 1.0) (sqrt (+ (* x x) 1.0))) (+ 1.0 (pow x 2)) (/ (- (pow x 2) 1.0) (+ (* x x) 1.0)) (/ 1 (+ (* x x) 1.0)) (/ 1 (- (* x x) 1.0)) (/ (- (pow x 4) (* 1.0 1.0)) (* (cbrt (+ (* x x) 1.0)) (cbrt (+ (* x x) 1.0)))) (/ (- (pow x 4) (* 1.0 1.0)) (sqrt (+ (* x x) 1.0))) (- (pow x 4) (* 1.0 1.0)) (/ (+ (* x x) 1.0) (cbrt (- (pow x 4) (* 1.0 1.0)))) (/ (+ (* x x) 1.0) (sqrt (- (pow x 4) (* 1.0 1.0)))) (/ 1 (- (* x x) 1.0)) (/ (+ (* x x) 1.0) (- (* x x) 1.0)) (/ (+ (* x x) 1.0) (- (sqrt (pow x 4)) 1.0)) (/ (+ (* x x) 1.0) (- (pow x 2) 1.0)) (/ (- (pow x 4) (* 1.0 1.0)) (+ (pow x 6) (pow 1.0 3))) 1 (* (+ (* x x) 1.0) (+ (* (* 1.0 1.0) (+ (* 1.0 1.0) (pow x 4))) (pow x 8))) (* (+ (* x x) 1.0) (+ (pow x 4) (* 1.0 1.0))) (+ (pow x 2) 1.0) (+ (pow x 2) 1.0) (+ (pow x 2) 1.0) (- (* 1.0 (pow x 2)) 1.0) (- (pow x 2) 1.0) (- (pow x 2) 1.0) 241.580 * * * [progress]: adding candidates to table 241.704 * [progress]: [Phase 3 of 3] Extracting. 241.704 * * [regime]: Finding splitpoints for: (# #) 241.705 * * * [regime-changes]: Trying 2 branch expressions: ((* x x) x) 241.705 * * * * [regimes]: Trying to branch on (* x x) from (# #) 241.733 * * * * [regimes]: Trying to branch on x from (# #) 241.758 * * * [regime]: Found split indices: #