1.728 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.022 * * * [progress]: [2/2] Setting up program. 0.026 * [progress]: [Phase 2 of 3] Improving. 0.030 * [simplify]: Simplifying using # : (sqrt (* 2.0 (pow x 2.0))) 0.032 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 0.035 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 0.037 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 0.059 * * [simplify]: iteration 3 : 47 enodes (cost 6 ) 0.068 * * [simplify]: iteration 4 : 114 enodes (cost 6 ) 0.105 * * [simplify]: iteration 5 : 306 enodes (cost 6 ) 0.347 * * [simplify]: iteration 6 : 996 enodes (cost 6 ) 2.570 * * [simplify]: iteration 7 : 3780 enodes (cost 6 ) 4.867 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 4.868 * [simplify]: Simplified to: (sqrt (* 2.0 (pow x 2.0))) 4.870 * * [progress]: iteration 1 / 4 4.870 * * * [progress]: picking best candidate 4.873 * * * * [pick]: Picked # 4.873 * * * [progress]: localizing error 4.880 * * * [progress]: generating rewritten candidates 4.880 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 4.887 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2) 4.891 * * * [progress]: generating series expansions 4.891 * * * * [progress]: [ 1 / 2 ] generating series at (2) 4.896 * [approximate]: Taking taylor expansion of (* (pow (pow x 1.0) 1.0) (sqrt 2.0)) in (x) around 0 4.897 * [taylor]: Taking taylor expansion of (* (pow (pow x 1.0) 1.0) (sqrt 2.0)) in x 4.897 * [taylor]: Taking taylor expansion of (pow (pow x 1.0) 1.0) in x 4.897 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow x 1.0)))) in x 4.897 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow x 1.0))) in x 4.897 * [taylor]: Taking taylor expansion of 1.0 in x 4.897 * [taylor]: Taking taylor expansion of (log (pow x 1.0)) in x 4.897 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 4.897 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 4.897 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 4.897 * [taylor]: Taking taylor expansion of 1.0 in x 4.897 * [taylor]: Taking taylor expansion of (log x) in x 4.898 * [taylor]: Taking taylor expansion of x in x 4.899 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 4.900 * [taylor]: Taking taylor expansion of 2.0 in x 4.900 * [taylor]: Taking taylor expansion of (* (pow (pow x 1.0) 1.0) (sqrt 2.0)) in x 4.900 * [taylor]: Taking taylor expansion of (pow (pow x 1.0) 1.0) in x 4.900 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow x 1.0)))) in x 4.900 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow x 1.0))) in x 4.900 * [taylor]: Taking taylor expansion of 1.0 in x 4.900 * [taylor]: Taking taylor expansion of (log (pow x 1.0)) in x 4.900 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 4.900 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 4.900 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 4.900 * [taylor]: Taking taylor expansion of 1.0 in x 4.900 * [taylor]: Taking taylor expansion of (log x) in x 4.900 * [taylor]: Taking taylor expansion of x in x 4.900 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 4.900 * [taylor]: Taking taylor expansion of 2.0 in x 4.919 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow x 1.0)) 1.0) (sqrt 2.0)) in (x) around 0 4.919 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 1.0)) 1.0) (sqrt 2.0)) in x 4.919 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 1.0)) 1.0) in x 4.919 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 1.0))))) in x 4.919 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 1.0)))) in x 4.919 * [taylor]: Taking taylor expansion of 1.0 in x 4.919 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 1.0))) in x 4.919 * [taylor]: Taking taylor expansion of (/ 1 (pow x 1.0)) in x 4.919 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 4.919 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 4.919 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 4.919 * [taylor]: Taking taylor expansion of 1.0 in x 4.919 * [taylor]: Taking taylor expansion of (log x) in x 4.919 * [taylor]: Taking taylor expansion of x in x 4.920 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 4.920 * [taylor]: Taking taylor expansion of 2.0 in x 4.920 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 1.0)) 1.0) (sqrt 2.0)) in x 4.920 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 1.0)) 1.0) in x 4.920 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 1.0))))) in x 4.920 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 1.0)))) in x 4.920 * [taylor]: Taking taylor expansion of 1.0 in x 4.920 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 1.0))) in x 4.920 * [taylor]: Taking taylor expansion of (/ 1 (pow x 1.0)) in x 4.920 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 4.920 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 4.920 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 4.920 * [taylor]: Taking taylor expansion of 1.0 in x 4.920 * [taylor]: Taking taylor expansion of (log x) in x 4.920 * [taylor]: Taking taylor expansion of x in x 4.921 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 4.921 * [taylor]: Taking taylor expansion of 2.0 in x 4.941 * [approximate]: Taking taylor expansion of (* (pow (/ (pow -1 1.0) (pow x 1.0)) 1.0) (sqrt 2.0)) in (x) around 0 4.941 * [taylor]: Taking taylor expansion of (* (pow (/ (pow -1 1.0) (pow x 1.0)) 1.0) (sqrt 2.0)) in x 4.941 * [taylor]: Taking taylor expansion of (pow (/ (pow -1 1.0) (pow x 1.0)) 1.0) in x 4.941 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ (pow -1 1.0) (pow x 1.0))))) in x 4.941 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ (pow -1 1.0) (pow x 1.0)))) in x 4.941 * [taylor]: Taking taylor expansion of 1.0 in x 4.941 * [taylor]: Taking taylor expansion of (log (/ (pow -1 1.0) (pow x 1.0))) in x 4.941 * [taylor]: Taking taylor expansion of (/ (pow -1 1.0) (pow x 1.0)) in x 4.941 * [taylor]: Taking taylor expansion of (pow -1 1.0) in x 4.941 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -1))) in x 4.941 * [taylor]: Taking taylor expansion of (* 1.0 (log -1)) in x 4.941 * [taylor]: Taking taylor expansion of 1.0 in x 4.941 * [taylor]: Taking taylor expansion of (log -1) in x 4.941 * [taylor]: Taking taylor expansion of -1 in x 4.941 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 4.941 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 4.941 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 4.941 * [taylor]: Taking taylor expansion of 1.0 in x 4.941 * [taylor]: Taking taylor expansion of (log x) in x 4.941 * [taylor]: Taking taylor expansion of x in x 4.942 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 4.942 * [taylor]: Taking taylor expansion of 2.0 in x 4.942 * [taylor]: Taking taylor expansion of (* (pow (/ (pow -1 1.0) (pow x 1.0)) 1.0) (sqrt 2.0)) in x 4.942 * [taylor]: Taking taylor expansion of (pow (/ (pow -1 1.0) (pow x 1.0)) 1.0) in x 4.942 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ (pow -1 1.0) (pow x 1.0))))) in x 4.942 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ (pow -1 1.0) (pow x 1.0)))) in x 4.942 * [taylor]: Taking taylor expansion of 1.0 in x 4.942 * [taylor]: Taking taylor expansion of (log (/ (pow -1 1.0) (pow x 1.0))) in x 4.942 * [taylor]: Taking taylor expansion of (/ (pow -1 1.0) (pow x 1.0)) in x 4.942 * [taylor]: Taking taylor expansion of (pow -1 1.0) in x 4.942 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -1))) in x 4.942 * [taylor]: Taking taylor expansion of (* 1.0 (log -1)) in x 4.942 * [taylor]: Taking taylor expansion of 1.0 in x 4.942 * [taylor]: Taking taylor expansion of (log -1) in x 4.942 * [taylor]: Taking taylor expansion of -1 in x 4.942 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 4.942 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 4.942 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 4.942 * [taylor]: Taking taylor expansion of 1.0 in x 4.942 * [taylor]: Taking taylor expansion of (log x) in x 4.942 * [taylor]: Taking taylor expansion of x in x 4.943 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 4.943 * [taylor]: Taking taylor expansion of 2.0 in x 4.980 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2) 4.980 * [approximate]: Taking taylor expansion of (pow x 2.0) in (x) around 0 4.980 * [taylor]: Taking taylor expansion of (pow x 2.0) in x 4.980 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log x))) in x 4.980 * [taylor]: Taking taylor expansion of (* 2.0 (log x)) in x 4.980 * [taylor]: Taking taylor expansion of 2.0 in x 4.980 * [taylor]: Taking taylor expansion of (log x) in x 4.981 * [taylor]: Taking taylor expansion of x in x 4.981 * [taylor]: Taking taylor expansion of (pow x 2.0) in x 4.981 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log x))) in x 4.981 * [taylor]: Taking taylor expansion of (* 2.0 (log x)) in x 4.981 * [taylor]: Taking taylor expansion of 2.0 in x 4.981 * [taylor]: Taking taylor expansion of (log x) in x 4.981 * [taylor]: Taking taylor expansion of x in x 4.988 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 2.0) in (x) around 0 4.988 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 2.0) in x 4.988 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (/ 1 x)))) in x 4.988 * [taylor]: Taking taylor expansion of (* 2.0 (log (/ 1 x))) in x 4.988 * [taylor]: Taking taylor expansion of 2.0 in x 4.988 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.988 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.988 * [taylor]: Taking taylor expansion of x in x 4.988 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 2.0) in x 4.988 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (/ 1 x)))) in x 4.988 * [taylor]: Taking taylor expansion of (* 2.0 (log (/ 1 x))) in x 4.988 * [taylor]: Taking taylor expansion of 2.0 in x 4.988 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.988 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.988 * [taylor]: Taking taylor expansion of x in x 4.995 * [approximate]: Taking taylor expansion of (pow (/ -1 x) 2.0) in (x) around 0 4.996 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 2.0) in x 4.996 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (/ -1 x)))) in x 4.996 * [taylor]: Taking taylor expansion of (* 2.0 (log (/ -1 x))) in x 4.996 * [taylor]: Taking taylor expansion of 2.0 in x 4.996 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 4.996 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.996 * [taylor]: Taking taylor expansion of -1 in x 4.996 * [taylor]: Taking taylor expansion of x in x 4.996 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 2.0) in x 4.996 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (/ -1 x)))) in x 4.996 * [taylor]: Taking taylor expansion of (* 2.0 (log (/ -1 x))) in x 4.996 * [taylor]: Taking taylor expansion of 2.0 in x 4.996 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 4.996 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.996 * [taylor]: Taking taylor expansion of -1 in x 4.996 * [taylor]: Taking taylor expansion of x in x 5.003 * * * [progress]: simplifying candidates 5.004 * [simplify]: Simplifying using # : (log (sqrt (* 2.0 (pow x 2.0)))) (exp (sqrt (* 2.0 (pow x 2.0)))) (* (cbrt (sqrt (* 2.0 (pow x 2.0)))) (cbrt (sqrt (* 2.0 (pow x 2.0))))) (cbrt (sqrt (* 2.0 (pow x 2.0)))) (* (* (sqrt (* 2.0 (pow x 2.0))) (sqrt (* 2.0 (pow x 2.0)))) (sqrt (* 2.0 (pow x 2.0)))) (sqrt 2.0) (sqrt (pow x 2.0)) (/ 1 2) (sqrt (sqrt (* 2.0 (pow x 2.0)))) (sqrt (sqrt (* 2.0 (pow x 2.0)))) (* (log x) 2.0) (* (log x) 2.0) (* 1 2.0) (pow x (* (cbrt 2.0) (cbrt 2.0))) (pow x (sqrt 2.0)) (pow x 1) (pow (* (cbrt x) (cbrt x)) 2.0) (pow (cbrt x) 2.0) (pow (sqrt x) 2.0) (pow (sqrt x) 2.0) (pow 1 2.0) (pow x 2.0) (log (pow x 2.0)) (exp (pow x 2.0)) (* (cbrt (pow x 2.0)) (cbrt (pow x 2.0))) (cbrt (pow x 2.0)) (* (* (pow x 2.0) (pow x 2.0)) (pow x 2.0)) (sqrt (pow x 2.0)) (sqrt (pow x 2.0)) (pow x (/ 2.0 2)) (pow x (/ 2.0 2)) (* (exp (* 1.0 (+ (log 1) (log x)))) (sqrt 2.0)) (* (pow (/ 1 (pow (exp (* 1.0 (+ (log (/ 1 x)) (log 1)))) 1.0)) 1.0) (sqrt 2.0)) (* (pow (/ (pow -1 1.0) (pow (exp (* 1.0 (+ (log 1) (log (/ -1 x))))) 1.0)) 1.0) (sqrt 2.0)) (exp (* 2.0 (+ (log 1) (log x)))) (exp (* 2.0 (- (log 1) (log (/ 1 x))))) (exp (* 2.0 (- (log -1) (log (/ -1 x))))) 5.005 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 5.006 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 5.007 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 5.010 * * [simplify]: iteration 3 : 46 enodes (cost 7 ) 5.018 * * [simplify]: iteration 4 : 113 enodes (cost 7 ) 5.059 * * [simplify]: iteration 5 : 308 enodes (cost 7 ) 5.313 * * [simplify]: iteration 6 : 999 enodes (cost 7 ) 7.589 * * [simplify]: iteration 7 : 3776 enodes (cost 7 ) 9.767 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 9.768 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 9.768 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 9.770 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 9.773 * * [simplify]: iteration 3 : 46 enodes (cost 7 ) 9.781 * * [simplify]: iteration 4 : 113 enodes (cost 7 ) 9.823 * * [simplify]: iteration 5 : 308 enodes (cost 7 ) 10.075 * * [simplify]: iteration 6 : 999 enodes (cost 7 ) 12.345 * * [simplify]: iteration 7 : 3776 enodes (cost 7 ) 14.549 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 14.550 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 14.551 * * [simplify]: iteration 1 : 12 enodes (cost 15 ) 14.552 * * [simplify]: iteration 2 : 21 enodes (cost 15 ) 14.555 * * [simplify]: iteration 3 : 49 enodes (cost 15 ) 14.564 * * [simplify]: iteration 4 : 115 enodes (cost 15 ) 14.604 * * [simplify]: iteration 5 : 306 enodes (cost 15 ) 14.851 * * [simplify]: iteration 6 : 991 enodes (cost 15 ) 17.140 * * [simplify]: iteration 7 : 3761 enodes (cost 15 ) 19.336 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 19.337 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 19.337 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 19.339 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 19.342 * * [simplify]: iteration 3 : 46 enodes (cost 7 ) 19.350 * * [simplify]: iteration 4 : 113 enodes (cost 7 ) 19.390 * * [simplify]: iteration 5 : 308 enodes (cost 7 ) 19.636 * * [simplify]: iteration 6 : 999 enodes (cost 7 ) 21.864 * * [simplify]: iteration 7 : 3776 enodes (cost 7 ) 24.036 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 24.037 * * [simplify]: iteration 0 : 7 enodes (cost 20 ) 24.038 * * [simplify]: iteration 1 : 13 enodes (cost 12 ) 24.040 * * [simplify]: iteration 2 : 33 enodes (cost 8 ) 24.045 * * [simplify]: iteration 3 : 77 enodes (cost 8 ) 24.262 * * [simplify]: iteration 4 : 196 enodes (cost 8 ) 24.360 * * [simplify]: iteration 5 : 577 enodes (cost 8 ) 25.164 * * [simplify]: iteration 6 : 2066 enodes (cost 8 ) 27.226 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 27.226 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 27.227 * * [simplify]: iteration done : 2 enodes (cost 2 ) 27.228 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 27.228 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 27.229 * * [simplify]: iteration 2 : 14 enodes (cost 4 ) 27.231 * * [simplify]: iteration 3 : 32 enodes (cost 4 ) 27.235 * * [simplify]: iteration 4 : 74 enodes (cost 4 ) 27.255 * * [simplify]: iteration 5 : 183 enodes (cost 4 ) 27.350 * * [simplify]: iteration 6 : 561 enodes (cost 4 ) 28.064 * * [simplify]: iteration 7 : 1980 enodes (cost 4 ) 29.852 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 29.853 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 29.853 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 29.854 * * [simplify]: iteration done : 6 enodes (cost 1 ) 29.854 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 29.855 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 29.856 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 29.859 * * [simplify]: iteration 3 : 46 enodes (cost 7 ) 29.867 * * [simplify]: iteration 4 : 113 enodes (cost 7 ) 29.908 * * [simplify]: iteration 5 : 308 enodes (cost 7 ) 30.158 * * [simplify]: iteration 6 : 999 enodes (cost 7 ) 32.415 * * [simplify]: iteration 7 : 3776 enodes (cost 7 ) 34.592 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 34.592 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 34.593 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 34.595 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 34.598 * * [simplify]: iteration 3 : 46 enodes (cost 7 ) 34.606 * * [simplify]: iteration 4 : 113 enodes (cost 7 ) 34.647 * * [simplify]: iteration 5 : 308 enodes (cost 7 ) 34.893 * * [simplify]: iteration 6 : 999 enodes (cost 7 ) 37.145 * * [simplify]: iteration 7 : 3776 enodes (cost 7 ) 39.329 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 39.330 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 39.330 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 39.330 * * [simplify]: iteration done : 5 enodes (cost 4 ) 39.331 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 39.332 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 39.332 * * [simplify]: iteration done : 5 enodes (cost 4 ) 39.333 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 39.333 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 39.333 * * [simplify]: iteration done : 6 enodes (cost 1 ) 39.334 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 39.334 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 39.335 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 39.338 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 39.344 * * [simplify]: iteration 4 : 97 enodes (cost 7 ) 39.378 * * [simplify]: iteration 5 : 254 enodes (cost 7 ) 39.600 * * [simplify]: iteration 6 : 865 enodes (cost 7 ) 41.298 * * [simplify]: iteration 7 : 3279 enodes (cost 7 ) 42.817 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 42.818 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 42.819 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 42.820 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 42.822 * * [simplify]: iteration 3 : 31 enodes (cost 4 ) 42.826 * * [simplify]: iteration 4 : 71 enodes (cost 4 ) 42.846 * * [simplify]: iteration 5 : 175 enodes (cost 4 ) 42.941 * * [simplify]: iteration 6 : 552 enodes (cost 4 ) 43.782 * * [simplify]: iteration 7 : 2153 enodes (cost 4 ) 45.905 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 45.906 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 45.907 * * [simplify]: iteration 1 : 10 enodes (cost 1 ) 45.907 * * [simplify]: iteration 2 : 15 enodes (cost 1 ) 45.908 * * [simplify]: iteration 3 : 21 enodes (cost 1 ) 45.909 * * [simplify]: iteration 4 : 31 enodes (cost 1 ) 45.912 * * [simplify]: iteration 5 : 55 enodes (cost 1 ) 45.921 * * [simplify]: iteration 6 : 114 enodes (cost 1 ) 45.965 * * [simplify]: iteration 7 : 324 enodes (cost 1 ) 46.405 * * [simplify]: iteration 8 : 1255 enodes (cost 1 ) 48.728 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 48.729 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 48.729 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 48.730 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 48.732 * * [simplify]: iteration 3 : 32 enodes (cost 7 ) 48.737 * * [simplify]: iteration 4 : 72 enodes (cost 7 ) 48.757 * * [simplify]: iteration 5 : 176 enodes (cost 7 ) 48.855 * * [simplify]: iteration 6 : 550 enodes (cost 7 ) 49.565 * * [simplify]: iteration 7 : 1957 enodes (cost 7 ) 51.679 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 51.680 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 51.680 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 51.681 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 51.683 * * [simplify]: iteration 3 : 31 enodes (cost 4 ) 51.688 * * [simplify]: iteration 4 : 71 enodes (cost 4 ) 51.714 * * [simplify]: iteration 5 : 175 enodes (cost 4 ) 51.807 * * [simplify]: iteration 6 : 552 enodes (cost 4 ) 52.526 * * [simplify]: iteration 7 : 1953 enodes (cost 4 ) 54.420 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 54.421 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 54.421 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 54.422 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 54.424 * * [simplify]: iteration 3 : 31 enodes (cost 4 ) 54.432 * * [simplify]: iteration 4 : 71 enodes (cost 4 ) 54.453 * * [simplify]: iteration 5 : 175 enodes (cost 4 ) 54.551 * * [simplify]: iteration 6 : 552 enodes (cost 4 ) 55.264 * * [simplify]: iteration 7 : 1953 enodes (cost 4 ) 57.159 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 57.160 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 57.160 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 57.161 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 57.163 * * [simplify]: iteration 3 : 31 enodes (cost 4 ) 57.168 * * [simplify]: iteration 4 : 71 enodes (cost 4 ) 57.188 * * [simplify]: iteration 5 : 175 enodes (cost 4 ) 57.286 * * [simplify]: iteration 6 : 552 enodes (cost 4 ) 58.003 * * [simplify]: iteration 7 : 1953 enodes (cost 4 ) 59.887 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 59.887 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 59.888 * * [simplify]: iteration 1 : 9 enodes (cost 1 ) 59.888 * * [simplify]: iteration 2 : 12 enodes (cost 1 ) 59.889 * * [simplify]: iteration 3 : 18 enodes (cost 1 ) 59.890 * * [simplify]: iteration 4 : 25 enodes (cost 1 ) 59.892 * * [simplify]: iteration 5 : 35 enodes (cost 1 ) 59.895 * * [simplify]: iteration 6 : 48 enodes (cost 1 ) 59.899 * * [simplify]: iteration 7 : 64 enodes (cost 1 ) 59.903 * * [simplify]: iteration 8 : 83 enodes (cost 1 ) 59.908 * * [simplify]: iteration 9 : 105 enodes (cost 1 ) 59.916 * * [simplify]: iteration 10 : 130 enodes (cost 1 ) 59.928 * * [simplify]: iteration 11 : 158 enodes (cost 1 ) 59.941 * * [simplify]: iteration 12 : 189 enodes (cost 1 ) 59.957 * * [simplify]: iteration 13 : 223 enodes (cost 1 ) 59.977 * * [simplify]: iteration 14 : 260 enodes (cost 1 ) 60.005 * * [simplify]: iteration 15 : 300 enodes (cost 1 ) 60.039 * * [simplify]: iteration 16 : 343 enodes (cost 1 ) 60.078 * * [simplify]: iteration 17 : 389 enodes (cost 1 ) 60.128 * * [simplify]: iteration 18 : 438 enodes (cost 1 ) 60.192 * * [simplify]: iteration 19 : 490 enodes (cost 1 ) 60.266 * * [simplify]: iteration 20 : 545 enodes (cost 1 ) 60.359 * * [simplify]: iteration 21 : 603 enodes (cost 1 ) 60.466 * * [simplify]: iteration 22 : 664 enodes (cost 1 ) 60.593 * * [simplify]: iteration 23 : 728 enodes (cost 1 ) 60.747 * * [simplify]: iteration 24 : 795 enodes (cost 1 ) 60.927 * * [simplify]: iteration 25 : 865 enodes (cost 1 ) 61.129 * * [simplify]: iteration 26 : 938 enodes (cost 1 ) 61.365 * * [simplify]: iteration 27 : 1014 enodes (cost 1 ) 61.636 * * [simplify]: iteration 28 : 1093 enodes (cost 1 ) 61.947 * * [simplify]: iteration 29 : 1175 enodes (cost 1 ) 62.305 * * [simplify]: iteration 30 : 1260 enodes (cost 1 ) 62.720 * * [simplify]: iteration 31 : 1348 enodes (cost 1 ) 63.194 * * [simplify]: iteration 32 : 1439 enodes (cost 1 ) 63.730 * * [simplify]: iteration 33 : 1533 enodes (cost 1 ) 64.336 * * [simplify]: iteration 34 : 1630 enodes (cost 1 ) 65.021 * * [simplify]: iteration 35 : 1730 enodes (cost 1 ) 65.796 * * [simplify]: iteration 36 : 1833 enodes (cost 1 ) 66.660 * * [simplify]: iteration 37 : 1939 enodes (cost 1 ) 67.633 * * [simplify]: iteration 38 : 2048 enodes (cost 1 ) 68.944 * * [simplify]: iteration 39 : 2160 enodes (cost 1 ) 70.190 * * [simplify]: iteration 40 : 2275 enodes (cost 1 ) 71.582 * * [simplify]: iteration 41 : 2393 enodes (cost 1 ) 73.091 * * [simplify]: iteration 42 : 2514 enodes (cost 1 ) 74.789 * * [simplify]: iteration 43 : 2638 enodes (cost 1 ) 76.651 * * [simplify]: iteration 44 : 2765 enodes (cost 1 ) 78.655 * * [simplify]: iteration 45 : 2895 enodes (cost 1 ) 80.785 * * [simplify]: iteration 46 : 3028 enodes (cost 1 ) 83.063 * * [simplify]: iteration 47 : 3164 enodes (cost 1 ) 85.486 * * [simplify]: iteration 48 : 3303 enodes (cost 1 ) 88.102 * * [simplify]: iteration 49 : 3445 enodes (cost 1 ) 90.919 * * [simplify]: iteration 50 : 3590 enodes (cost 1 ) 93.928 * * [simplify]: iteration 51 : 3738 enodes (cost 1 ) 97.212 * * [simplify]: iteration 52 : 3889 enodes (cost 1 ) 100.758 * * [simplify]: iteration 53 : 4043 enodes (cost 1 ) 104.621 * * [simplify]: iteration 54 : 4200 enodes (cost 1 ) 108.729 * * [simplify]: iteration 55 : 4360 enodes (cost 1 ) 113.167 * * [simplify]: iteration 56 : 4523 enodes (cost 1 ) 118.183 * * [simplify]: iteration 57 : 4689 enodes (cost 1 ) 123.257 * * [simplify]: iteration 58 : 4858 enodes (cost 1 ) 124.827 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 124.827 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 124.828 * * [simplify]: iteration 1 : 7 enodes (cost 3 ) 124.829 * * [simplify]: iteration 2 : 12 enodes (cost 3 ) 124.831 * * [simplify]: iteration 3 : 30 enodes (cost 3 ) 124.835 * * [simplify]: iteration 4 : 72 enodes (cost 3 ) 124.856 * * [simplify]: iteration 5 : 183 enodes (cost 3 ) 124.958 * * [simplify]: iteration 6 : 568 enodes (cost 3 ) 125.700 * * [simplify]: iteration 7 : 1980 enodes (cost 3 ) 127.723 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 127.724 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 127.724 * * [simplify]: iteration 1 : 10 enodes (cost 4 ) 127.725 * * [simplify]: iteration 2 : 18 enodes (cost 4 ) 127.728 * * [simplify]: iteration 3 : 41 enodes (cost 4 ) 127.734 * * [simplify]: iteration 4 : 109 enodes (cost 4 ) 127.783 * * [simplify]: iteration 5 : 313 enodes (cost 4 ) 128.052 * * [simplify]: iteration 6 : 1095 enodes (cost 4 ) 130.930 * * [simplify]: iteration 7 : 4992 enodes (cost 4 ) 132.272 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 132.273 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 132.273 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 132.282 * * [simplify]: iteration 2 : 15 enodes (cost 4 ) 132.284 * * [simplify]: iteration 3 : 38 enodes (cost 4 ) 132.290 * * [simplify]: iteration 4 : 95 enodes (cost 4 ) 132.320 * * [simplify]: iteration 5 : 260 enodes (cost 4 ) 132.483 * * [simplify]: iteration 6 : 882 enodes (cost 4 ) 133.710 * * [simplify]: iteration 7 : 3688 enodes (cost 4 ) 134.903 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 134.903 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 134.904 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 134.905 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 134.907 * * [simplify]: iteration 3 : 32 enodes (cost 9 ) 134.912 * * [simplify]: iteration 4 : 74 enodes (cost 9 ) 134.939 * * [simplify]: iteration 5 : 183 enodes (cost 9 ) 135.033 * * [simplify]: iteration 6 : 563 enodes (cost 9 ) 135.763 * * [simplify]: iteration 7 : 1969 enodes (cost 9 ) 137.864 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 137.865 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 137.865 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 137.866 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 137.868 * * [simplify]: iteration 3 : 31 enodes (cost 4 ) 137.873 * * [simplify]: iteration 4 : 73 enodes (cost 4 ) 137.894 * * [simplify]: iteration 5 : 180 enodes (cost 4 ) 137.995 * * [simplify]: iteration 6 : 552 enodes (cost 4 ) 138.742 * * [simplify]: iteration 7 : 1984 enodes (cost 4 ) 140.918 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 140.919 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 140.919 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 140.921 * * [simplify]: iteration 2 : 33 enodes (cost 5 ) 140.928 * * [simplify]: iteration 3 : 86 enodes (cost 5 ) 140.956 * * [simplify]: iteration 4 : 232 enodes (cost 5 ) 141.150 * * [simplify]: iteration 5 : 777 enodes (cost 5 ) 143.566 * * [simplify]: iteration 6 : 3669 enodes (cost 5 ) 146.295 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 146.296 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 146.296 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 146.297 * * [simplify]: iteration 2 : 14 enodes (cost 4 ) 146.299 * * [simplify]: iteration 3 : 32 enodes (cost 4 ) 146.304 * * [simplify]: iteration 4 : 74 enodes (cost 4 ) 146.323 * * [simplify]: iteration 5 : 183 enodes (cost 4 ) 146.426 * * [simplify]: iteration 6 : 561 enodes (cost 4 ) 147.181 * * [simplify]: iteration 7 : 1980 enodes (cost 4 ) 149.061 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 149.062 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 149.062 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 149.063 * * [simplify]: iteration 2 : 14 enodes (cost 4 ) 149.065 * * [simplify]: iteration 3 : 32 enodes (cost 4 ) 149.070 * * [simplify]: iteration 4 : 74 enodes (cost 4 ) 149.089 * * [simplify]: iteration 5 : 183 enodes (cost 4 ) 149.193 * * [simplify]: iteration 6 : 561 enodes (cost 4 ) 149.939 * * [simplify]: iteration 7 : 1980 enodes (cost 4 ) 151.801 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 151.802 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 151.803 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 151.804 * * [simplify]: iteration 2 : 16 enodes (cost 5 ) 151.806 * * [simplify]: iteration 3 : 37 enodes (cost 5 ) 151.812 * * [simplify]: iteration 4 : 85 enodes (cost 5 ) 151.848 * * [simplify]: iteration 5 : 214 enodes (cost 5 ) 151.998 * * [simplify]: iteration 6 : 724 enodes (cost 5 ) 153.104 * * [simplify]: iteration 7 : 2528 enodes (cost 5 ) 155.598 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 155.599 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 155.604 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 155.605 * * [simplify]: iteration 2 : 16 enodes (cost 5 ) 155.607 * * [simplify]: iteration 3 : 37 enodes (cost 5 ) 155.614 * * [simplify]: iteration 4 : 85 enodes (cost 5 ) 155.646 * * [simplify]: iteration 5 : 214 enodes (cost 5 ) 155.795 * * [simplify]: iteration 6 : 724 enodes (cost 5 ) 156.875 * * [simplify]: iteration 7 : 2528 enodes (cost 5 ) 159.343 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 159.344 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 159.346 * * [simplify]: iteration 1 : 24 enodes (cost 10 ) 159.349 * * [simplify]: iteration 2 : 32 enodes (cost 8 ) 159.353 * * [simplify]: iteration 3 : 59 enodes (cost 6 ) 159.362 * * [simplify]: iteration 4 : 125 enodes (cost 6 ) 159.400 * * [simplify]: iteration 5 : 275 enodes (cost 6 ) 159.522 * * [simplify]: iteration 6 : 624 enodes (cost 6 ) 160.086 * * [simplify]: iteration 7 : 1681 enodes (cost 6 ) 161.704 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 161.705 * * [simplify]: iteration 0 : 15 enodes (cost 19 ) 161.711 * * [simplify]: iteration 1 : 37 enodes (cost 17 ) 161.717 * * [simplify]: iteration 2 : 66 enodes (cost 15 ) 161.727 * * [simplify]: iteration 3 : 137 enodes (cost 14 ) 161.752 * * [simplify]: iteration 4 : 295 enodes (cost 13 ) 161.857 * * [simplify]: iteration 5 : 718 enodes (cost 13 ) 162.300 * * [simplify]: iteration 6 : 1959 enodes (cost 13 ) 163.510 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 163.511 * * [simplify]: iteration 0 : 17 enodes (cost 21 ) 163.513 * * [simplify]: iteration 1 : 41 enodes (cost 20 ) 163.519 * * [simplify]: iteration 2 : 75 enodes (cost 18 ) 163.536 * * [simplify]: iteration 3 : 191 enodes (cost 16 ) 163.578 * * [simplify]: iteration 4 : 552 enodes (cost 16 ) 163.956 * * [simplify]: iteration 5 : 2490 enodes (cost 16 ) 164.930 * * [simplify]: iteration done : 5001 enodes (cost 16 ) 164.930 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 164.931 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 164.934 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 164.937 * * [simplify]: iteration 3 : 48 enodes (cost 3 ) 164.943 * * [simplify]: iteration 4 : 84 enodes (cost 3 ) 164.964 * * [simplify]: iteration 5 : 174 enodes (cost 3 ) 165.022 * * [simplify]: iteration 6 : 371 enodes (cost 3 ) 165.241 * * [simplify]: iteration 7 : 930 enodes (cost 3 ) 166.692 * * [simplify]: iteration 8 : 3217 enodes (cost 3 ) 168.475 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 168.475 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 168.477 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 168.480 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 168.486 * * [simplify]: iteration 3 : 71 enodes (cost 3 ) 168.494 * * [simplify]: iteration 4 : 123 enodes (cost 3 ) 168.526 * * [simplify]: iteration 5 : 267 enodes (cost 3 ) 168.662 * * [simplify]: iteration 6 : 619 enodes (cost 3 ) 169.206 * * [simplify]: iteration 7 : 1739 enodes (cost 3 ) 170.999 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 171.001 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 171.002 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 171.004 * * [simplify]: iteration 2 : 33 enodes (cost 10 ) 171.009 * * [simplify]: iteration 3 : 76 enodes (cost 7 ) 171.021 * * [simplify]: iteration 4 : 148 enodes (cost 3 ) 171.061 * * [simplify]: iteration 5 : 431 enodes (cost 3 ) 171.638 * * [simplify]: iteration 6 : 1888 enodes (cost 3 ) 173.083 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 173.084 * [simplify]: Simplified to: (log (sqrt (* 2.0 (pow x 2.0)))) (exp (sqrt (* 2.0 (pow x 2.0)))) (* (cbrt (sqrt (* 2.0 (pow x 2.0)))) (cbrt (sqrt (* 2.0 (pow x 2.0))))) (cbrt (sqrt (* 2.0 (pow x 2.0)))) (pow (sqrt (* 2.0 (pow x 2.0))) 3) (sqrt 2.0) (sqrt (pow x 2.0)) 1/2 (sqrt (sqrt (* 2.0 (pow x 2.0)))) (sqrt (sqrt (* 2.0 (pow x 2.0)))) (* (log x) 2.0) (* (log x) 2.0) 2.0 (pow x (* (cbrt 2.0) (cbrt 2.0))) (pow x (sqrt 2.0)) x (pow (* (cbrt x) (cbrt x)) 2.0) (pow (cbrt x) 2.0) (pow (sqrt x) 2.0) (pow (sqrt x) 2.0) 1 (pow x 2.0) (log (pow x 2.0)) (exp (pow x 2.0)) (* (cbrt (pow x 2.0)) (cbrt (pow x 2.0))) (cbrt (pow x 2.0)) (pow (pow x 2.0) 3) (sqrt (pow x 2.0)) (sqrt (pow x 2.0)) (pow x (/ 2.0 2)) (pow x (/ 2.0 2)) (* (pow x 1.0) (sqrt 2.0)) (* (sqrt 2.0) (pow (/ 1 (pow (pow x (neg 1.0)) 1.0)) 1.0)) (* (pow (/ (pow -1 1.0) (pow (pow (/ -1 x) 1.0) 1.0)) 1.0) (sqrt 2.0)) (pow x 2.0) (pow x 2.0) (pow x 2.0) 173.084 * * * [progress]: adding candidates to table 173.153 * * [progress]: iteration 2 / 4 173.153 * * * [progress]: picking best candidate 173.174 * * * * [pick]: Picked # 173.175 * * * [progress]: localizing error 173.182 * * * [progress]: generating rewritten candidates 173.182 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 173.188 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2) 173.191 * * * [progress]: generating series expansions 173.191 * * * * [progress]: [ 1 / 2 ] generating series at (2) 173.191 * [approximate]: Taking taylor expansion of (pow (* 2.0 (pow (pow x 2.0) 1.0)) 1/2) in (x) around 0 173.191 * [taylor]: Taking taylor expansion of (pow (* 2.0 (pow (pow x 2.0) 1.0)) 1/2) in x 173.191 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (* 2.0 (pow (pow x 2.0) 1.0))))) in x 173.191 * [taylor]: Taking taylor expansion of (* 1/2 (log (* 2.0 (pow (pow x 2.0) 1.0)))) in x 173.191 * [taylor]: Taking taylor expansion of 1/2 in x 173.191 * [taylor]: Taking taylor expansion of (log (* 2.0 (pow (pow x 2.0) 1.0))) in x 173.191 * [taylor]: Taking taylor expansion of (* 2.0 (pow (pow x 2.0) 1.0)) in x 173.191 * [taylor]: Taking taylor expansion of 2.0 in x 173.191 * [taylor]: Taking taylor expansion of (pow (pow x 2.0) 1.0) in x 173.191 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow x 2.0)))) in x 173.191 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow x 2.0))) in x 173.191 * [taylor]: Taking taylor expansion of 1.0 in x 173.191 * [taylor]: Taking taylor expansion of (log (pow x 2.0)) in x 173.191 * [taylor]: Taking taylor expansion of (pow x 2.0) in x 173.192 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log x))) in x 173.192 * [taylor]: Taking taylor expansion of (* 2.0 (log x)) in x 173.192 * [taylor]: Taking taylor expansion of 2.0 in x 173.192 * [taylor]: Taking taylor expansion of (log x) in x 173.192 * [taylor]: Taking taylor expansion of x in x 173.192 * [taylor]: Taking taylor expansion of (pow (* 2.0 (pow (pow x 2.0) 1.0)) 1/2) in x 173.192 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (* 2.0 (pow (pow x 2.0) 1.0))))) in x 173.192 * [taylor]: Taking taylor expansion of (* 1/2 (log (* 2.0 (pow (pow x 2.0) 1.0)))) in x 173.192 * [taylor]: Taking taylor expansion of 1/2 in x 173.192 * [taylor]: Taking taylor expansion of (log (* 2.0 (pow (pow x 2.0) 1.0))) in x 173.192 * [taylor]: Taking taylor expansion of (* 2.0 (pow (pow x 2.0) 1.0)) in x 173.192 * [taylor]: Taking taylor expansion of 2.0 in x 173.192 * [taylor]: Taking taylor expansion of (pow (pow x 2.0) 1.0) in x 173.192 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow x 2.0)))) in x 173.192 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow x 2.0))) in x 173.192 * [taylor]: Taking taylor expansion of 1.0 in x 173.192 * [taylor]: Taking taylor expansion of (log (pow x 2.0)) in x 173.192 * [taylor]: Taking taylor expansion of (pow x 2.0) in x 173.192 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log x))) in x 173.192 * [taylor]: Taking taylor expansion of (* 2.0 (log x)) in x 173.192 * [taylor]: Taking taylor expansion of 2.0 in x 173.192 * [taylor]: Taking taylor expansion of (log x) in x 173.193 * [taylor]: Taking taylor expansion of x in x 173.218 * [approximate]: Taking taylor expansion of (pow (* 2.0 (pow (/ 1 (pow x 2.0)) 1.0)) 1/2) in (x) around 0 173.218 * [taylor]: Taking taylor expansion of (pow (* 2.0 (pow (/ 1 (pow x 2.0)) 1.0)) 1/2) in x 173.218 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (* 2.0 (pow (/ 1 (pow x 2.0)) 1.0))))) in x 173.218 * [taylor]: Taking taylor expansion of (* 1/2 (log (* 2.0 (pow (/ 1 (pow x 2.0)) 1.0)))) in x 173.218 * [taylor]: Taking taylor expansion of 1/2 in x 173.218 * [taylor]: Taking taylor expansion of (log (* 2.0 (pow (/ 1 (pow x 2.0)) 1.0))) in x 173.218 * [taylor]: Taking taylor expansion of (* 2.0 (pow (/ 1 (pow x 2.0)) 1.0)) in x 173.218 * [taylor]: Taking taylor expansion of 2.0 in x 173.218 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2.0)) 1.0) in x 173.218 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 2.0))))) in x 173.218 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 2.0)))) in x 173.218 * [taylor]: Taking taylor expansion of 1.0 in x 173.218 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2.0))) in x 173.218 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2.0)) in x 173.218 * [taylor]: Taking taylor expansion of (pow x 2.0) in x 173.218 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log x))) in x 173.218 * [taylor]: Taking taylor expansion of (* 2.0 (log x)) in x 173.218 * [taylor]: Taking taylor expansion of 2.0 in x 173.218 * [taylor]: Taking taylor expansion of (log x) in x 173.218 * [taylor]: Taking taylor expansion of x in x 173.219 * [taylor]: Taking taylor expansion of (pow (* 2.0 (pow (/ 1 (pow x 2.0)) 1.0)) 1/2) in x 173.219 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (* 2.0 (pow (/ 1 (pow x 2.0)) 1.0))))) in x 173.219 * [taylor]: Taking taylor expansion of (* 1/2 (log (* 2.0 (pow (/ 1 (pow x 2.0)) 1.0)))) in x 173.219 * [taylor]: Taking taylor expansion of 1/2 in x 173.219 * [taylor]: Taking taylor expansion of (log (* 2.0 (pow (/ 1 (pow x 2.0)) 1.0))) in x 173.219 * [taylor]: Taking taylor expansion of (* 2.0 (pow (/ 1 (pow x 2.0)) 1.0)) in x 173.219 * [taylor]: Taking taylor expansion of 2.0 in x 173.219 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2.0)) 1.0) in x 173.219 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 2.0))))) in x 173.219 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 2.0)))) in x 173.219 * [taylor]: Taking taylor expansion of 1.0 in x 173.219 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2.0))) in x 173.219 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2.0)) in x 173.219 * [taylor]: Taking taylor expansion of (pow x 2.0) in x 173.219 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log x))) in x 173.219 * [taylor]: Taking taylor expansion of (* 2.0 (log x)) in x 173.219 * [taylor]: Taking taylor expansion of 2.0 in x 173.219 * [taylor]: Taking taylor expansion of (log x) in x 173.219 * [taylor]: Taking taylor expansion of x in x 173.257 * [approximate]: Taking taylor expansion of (pow (* 2.0 (pow (/ (pow -1 2.0) (pow x 2.0)) 1.0)) 1/2) in (x) around 0 173.257 * [taylor]: Taking taylor expansion of (pow (* 2.0 (pow (/ (pow -1 2.0) (pow x 2.0)) 1.0)) 1/2) in x 173.257 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (* 2.0 (pow (/ (pow -1 2.0) (pow x 2.0)) 1.0))))) in x 173.257 * [taylor]: Taking taylor expansion of (* 1/2 (log (* 2.0 (pow (/ (pow -1 2.0) (pow x 2.0)) 1.0)))) in x 173.257 * [taylor]: Taking taylor expansion of 1/2 in x 173.257 * [taylor]: Taking taylor expansion of (log (* 2.0 (pow (/ (pow -1 2.0) (pow x 2.0)) 1.0))) in x 173.257 * [taylor]: Taking taylor expansion of (* 2.0 (pow (/ (pow -1 2.0) (pow x 2.0)) 1.0)) in x 173.257 * [taylor]: Taking taylor expansion of 2.0 in x 173.257 * [taylor]: Taking taylor expansion of (pow (/ (pow -1 2.0) (pow x 2.0)) 1.0) in x 173.257 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ (pow -1 2.0) (pow x 2.0))))) in x 173.257 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ (pow -1 2.0) (pow x 2.0)))) in x 173.257 * [taylor]: Taking taylor expansion of 1.0 in x 173.257 * [taylor]: Taking taylor expansion of (log (/ (pow -1 2.0) (pow x 2.0))) in x 173.257 * [taylor]: Taking taylor expansion of (/ (pow -1 2.0) (pow x 2.0)) in x 173.257 * [taylor]: Taking taylor expansion of (pow -1 2.0) in x 173.257 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log -1))) in x 173.257 * [taylor]: Taking taylor expansion of (* 2.0 (log -1)) in x 173.257 * [taylor]: Taking taylor expansion of 2.0 in x 173.257 * [taylor]: Taking taylor expansion of (log -1) in x 173.257 * [taylor]: Taking taylor expansion of -1 in x 173.257 * [taylor]: Taking taylor expansion of (pow x 2.0) in x 173.257 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log x))) in x 173.257 * [taylor]: Taking taylor expansion of (* 2.0 (log x)) in x 173.257 * [taylor]: Taking taylor expansion of 2.0 in x 173.257 * [taylor]: Taking taylor expansion of (log x) in x 173.257 * [taylor]: Taking taylor expansion of x in x 173.259 * [taylor]: Taking taylor expansion of (pow (* 2.0 (pow (/ (pow -1 2.0) (pow x 2.0)) 1.0)) 1/2) in x 173.259 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (* 2.0 (pow (/ (pow -1 2.0) (pow x 2.0)) 1.0))))) in x 173.259 * [taylor]: Taking taylor expansion of (* 1/2 (log (* 2.0 (pow (/ (pow -1 2.0) (pow x 2.0)) 1.0)))) in x 173.259 * [taylor]: Taking taylor expansion of 1/2 in x 173.259 * [taylor]: Taking taylor expansion of (log (* 2.0 (pow (/ (pow -1 2.0) (pow x 2.0)) 1.0))) in x 173.259 * [taylor]: Taking taylor expansion of (* 2.0 (pow (/ (pow -1 2.0) (pow x 2.0)) 1.0)) in x 173.259 * [taylor]: Taking taylor expansion of 2.0 in x 173.259 * [taylor]: Taking taylor expansion of (pow (/ (pow -1 2.0) (pow x 2.0)) 1.0) in x 173.259 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ (pow -1 2.0) (pow x 2.0))))) in x 173.259 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ (pow -1 2.0) (pow x 2.0)))) in x 173.259 * [taylor]: Taking taylor expansion of 1.0 in x 173.259 * [taylor]: Taking taylor expansion of (log (/ (pow -1 2.0) (pow x 2.0))) in x 173.259 * [taylor]: Taking taylor expansion of (/ (pow -1 2.0) (pow x 2.0)) in x 173.259 * [taylor]: Taking taylor expansion of (pow -1 2.0) in x 173.259 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log -1))) in x 173.259 * [taylor]: Taking taylor expansion of (* 2.0 (log -1)) in x 173.259 * [taylor]: Taking taylor expansion of 2.0 in x 173.259 * [taylor]: Taking taylor expansion of (log -1) in x 173.259 * [taylor]: Taking taylor expansion of -1 in x 173.259 * [taylor]: Taking taylor expansion of (pow x 2.0) in x 173.259 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log x))) in x 173.259 * [taylor]: Taking taylor expansion of (* 2.0 (log x)) in x 173.259 * [taylor]: Taking taylor expansion of 2.0 in x 173.259 * [taylor]: Taking taylor expansion of (log x) in x 173.259 * [taylor]: Taking taylor expansion of x in x 173.306 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2) 173.306 * [approximate]: Taking taylor expansion of (pow x 2.0) in (x) around 0 173.306 * [taylor]: Taking taylor expansion of (pow x 2.0) in x 173.306 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log x))) in x 173.306 * [taylor]: Taking taylor expansion of (* 2.0 (log x)) in x 173.306 * [taylor]: Taking taylor expansion of 2.0 in x 173.306 * [taylor]: Taking taylor expansion of (log x) in x 173.306 * [taylor]: Taking taylor expansion of x in x 173.306 * [taylor]: Taking taylor expansion of (pow x 2.0) in x 173.306 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log x))) in x 173.306 * [taylor]: Taking taylor expansion of (* 2.0 (log x)) in x 173.306 * [taylor]: Taking taylor expansion of 2.0 in x 173.306 * [taylor]: Taking taylor expansion of (log x) in x 173.306 * [taylor]: Taking taylor expansion of x in x 173.313 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 2.0) in (x) around 0 173.313 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 2.0) in x 173.313 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (/ 1 x)))) in x 173.313 * [taylor]: Taking taylor expansion of (* 2.0 (log (/ 1 x))) in x 173.313 * [taylor]: Taking taylor expansion of 2.0 in x 173.313 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 173.313 * [taylor]: Taking taylor expansion of (/ 1 x) in x 173.313 * [taylor]: Taking taylor expansion of x in x 173.313 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 2.0) in x 173.314 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (/ 1 x)))) in x 173.314 * [taylor]: Taking taylor expansion of (* 2.0 (log (/ 1 x))) in x 173.314 * [taylor]: Taking taylor expansion of 2.0 in x 173.314 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 173.314 * [taylor]: Taking taylor expansion of (/ 1 x) in x 173.314 * [taylor]: Taking taylor expansion of x in x 173.321 * [approximate]: Taking taylor expansion of (pow (/ -1 x) 2.0) in (x) around 0 173.321 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 2.0) in x 173.321 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (/ -1 x)))) in x 173.321 * [taylor]: Taking taylor expansion of (* 2.0 (log (/ -1 x))) in x 173.321 * [taylor]: Taking taylor expansion of 2.0 in x 173.321 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 173.321 * [taylor]: Taking taylor expansion of (/ -1 x) in x 173.321 * [taylor]: Taking taylor expansion of -1 in x 173.321 * [taylor]: Taking taylor expansion of x in x 173.322 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 2.0) in x 173.322 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (/ -1 x)))) in x 173.322 * [taylor]: Taking taylor expansion of (* 2.0 (log (/ -1 x))) in x 173.322 * [taylor]: Taking taylor expansion of 2.0 in x 173.322 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 173.322 * [taylor]: Taking taylor expansion of (/ -1 x) in x 173.322 * [taylor]: Taking taylor expansion of -1 in x 173.322 * [taylor]: Taking taylor expansion of x in x 173.330 * * * [progress]: simplifying candidates 173.330 * [simplify]: Simplifying using # : (* (+ (log 2.0) (* (log x) 2.0)) 1/2) (* (+ (log 2.0) (* (log x) 2.0)) 1/2) (* (+ (log 2.0) (log (pow x 2.0))) 1/2) (* (log (* 2.0 (pow x 2.0))) 1/2) (* (log (* 2.0 (pow x 2.0))) 1/2) (* 1 1/2) (pow (* 2.0 (pow x 2.0)) (* (cbrt 1/2) (cbrt 1/2))) (pow (* 2.0 (pow x 2.0)) (sqrt 1/2)) (pow (* 2.0 (pow x 2.0)) 1) (pow 2.0 1/2) (pow (pow x 2.0) 1/2) (log (pow (* 2.0 (pow x 2.0)) 1/2)) (exp (pow (* 2.0 (pow x 2.0)) 1/2)) (* (cbrt (pow (* 2.0 (pow x 2.0)) 1/2)) (cbrt (pow (* 2.0 (pow x 2.0)) 1/2))) (cbrt (pow (* 2.0 (pow x 2.0)) 1/2)) (* (* (pow (* 2.0 (pow x 2.0)) 1/2) (pow (* 2.0 (pow x 2.0)) 1/2)) (pow (* 2.0 (pow x 2.0)) 1/2)) (sqrt (pow (* 2.0 (pow x 2.0)) 1/2)) (sqrt (pow (* 2.0 (pow x 2.0)) 1/2)) (pow (* 2.0 (pow x 2.0)) (/ 1/2 2)) (pow (* 2.0 (pow x 2.0)) (/ 1/2 2)) (* (log x) 2.0) (* (log x) 2.0) (* 1 2.0) (pow x (* (cbrt 2.0) (cbrt 2.0))) (pow x (sqrt 2.0)) (pow x 1) (pow (* (cbrt x) (cbrt x)) 2.0) (pow (cbrt x) 2.0) (pow (sqrt x) 2.0) (pow (sqrt x) 2.0) (pow 1 2.0) (pow x 2.0) (log (pow x 2.0)) (exp (pow x 2.0)) (* (cbrt (pow x 2.0)) (cbrt (pow x 2.0))) (cbrt (pow x 2.0)) (* (* (pow x 2.0) (pow x 2.0)) (pow x 2.0)) (sqrt (pow x 2.0)) (sqrt (pow x 2.0)) (pow x (/ 2.0 2)) (pow x (/ 2.0 2)) (pow (* 2.0 (exp (* 2.0 (+ (log 1) (log x))))) 1/2) (pow (* 2.0 (pow (/ 1 (pow (exp (* 2.0 (+ (log (/ 1 x)) (log 1)))) 1.0)) 1.0)) 1/2) (pow (* 2.0 (pow (/ (pow -1 2.0) (pow (exp (* 2.0 (+ (log 1) (log (/ -1 x))))) 1.0)) 1.0)) 1/2) (exp (* 2.0 (+ (log 1) (log x)))) (exp (* 2.0 (- (log 1) (log (/ 1 x))))) (exp (* 2.0 (- (log -1) (log (/ -1 x))))) 173.331 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 173.332 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 173.333 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 173.336 * * [simplify]: iteration 3 : 27 enodes (cost 9 ) 173.340 * * [simplify]: iteration 4 : 31 enodes (cost 9 ) 173.347 * * [simplify]: iteration done : 31 enodes (cost 9 ) 173.348 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 173.349 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 173.350 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 173.353 * * [simplify]: iteration 3 : 27 enodes (cost 9 ) 173.357 * * [simplify]: iteration 4 : 31 enodes (cost 9 ) 173.360 * * [simplify]: iteration done : 31 enodes (cost 9 ) 173.361 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 173.362 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 173.364 * * [simplify]: iteration 2 : 32 enodes (cost 9 ) 173.369 * * [simplify]: iteration 3 : 71 enodes (cost 9 ) 173.382 * * [simplify]: iteration 4 : 170 enodes (cost 9 ) 173.473 * * [simplify]: iteration 5 : 517 enodes (cost 9 ) 174.483 * * [simplify]: iteration 6 : 2159 enodes (cost 9 ) 176.937 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 176.937 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 176.938 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 176.940 * * [simplify]: iteration 2 : 36 enodes (cost 8 ) 176.946 * * [simplify]: iteration 3 : 84 enodes (cost 8 ) 176.963 * * [simplify]: iteration 4 : 230 enodes (cost 8 ) 177.084 * * [simplify]: iteration 5 : 690 enodes (cost 8 ) 178.288 * * [simplify]: iteration 6 : 2737 enodes (cost 8 ) 180.331 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 180.332 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 180.333 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 180.335 * * [simplify]: iteration 2 : 36 enodes (cost 8 ) 180.340 * * [simplify]: iteration 3 : 84 enodes (cost 8 ) 180.362 * * [simplify]: iteration 4 : 230 enodes (cost 8 ) 180.478 * * [simplify]: iteration 5 : 690 enodes (cost 8 ) 181.682 * * [simplify]: iteration 6 : 2737 enodes (cost 8 ) 183.713 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 183.714 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 183.714 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 183.715 * * [simplify]: iteration done : 6 enodes (cost 1 ) 183.715 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 183.716 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 183.718 * * [simplify]: iteration 2 : 32 enodes (cost 11 ) 183.724 * * [simplify]: iteration 3 : 80 enodes (cost 11 ) 183.738 * * [simplify]: iteration 4 : 197 enodes (cost 11 ) 183.822 * * [simplify]: iteration 5 : 534 enodes (cost 11 ) 184.356 * * [simplify]: iteration 6 : 1831 enodes (cost 11 ) 185.991 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 185.992 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 185.993 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 185.995 * * [simplify]: iteration 2 : 29 enodes (cost 8 ) 185.999 * * [simplify]: iteration 3 : 71 enodes (cost 8 ) 186.019 * * [simplify]: iteration 4 : 173 enodes (cost 8 ) 186.087 * * [simplify]: iteration 5 : 453 enodes (cost 8 ) 186.477 * * [simplify]: iteration 6 : 1496 enodes (cost 8 ) 188.070 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 188.070 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 188.071 * * [simplify]: iteration 1 : 17 enodes (cost 5 ) 188.073 * * [simplify]: iteration 2 : 33 enodes (cost 5 ) 188.078 * * [simplify]: iteration 3 : 72 enodes (cost 5 ) 188.090 * * [simplify]: iteration 4 : 159 enodes (cost 5 ) 188.159 * * [simplify]: iteration 5 : 407 enodes (cost 5 ) 188.504 * * [simplify]: iteration 6 : 1296 enodes (cost 5 ) 191.595 * * [simplify]: iteration 7 : 4982 enodes (cost 5 ) 193.462 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 193.462 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 193.463 * * [simplify]: iteration 1 : 9 enodes (cost 2 ) 193.464 * * [simplify]: iteration 2 : 15 enodes (cost 2 ) 193.465 * * [simplify]: iteration 3 : 25 enodes (cost 2 ) 193.468 * * [simplify]: iteration 4 : 49 enodes (cost 2 ) 193.477 * * [simplify]: iteration 5 : 114 enodes (cost 2 ) 193.526 * * [simplify]: iteration 6 : 337 enodes (cost 2 ) 193.989 * * [simplify]: iteration 7 : 1273 enodes (cost 2 ) 196.335 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 196.336 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 196.337 * * [simplify]: iteration 1 : 14 enodes (cost 4 ) 196.338 * * [simplify]: iteration 2 : 26 enodes (cost 4 ) 196.341 * * [simplify]: iteration 3 : 54 enodes (cost 4 ) 196.355 * * [simplify]: iteration 4 : 119 enodes (cost 4 ) 196.388 * * [simplify]: iteration 5 : 283 enodes (cost 4 ) 196.539 * * [simplify]: iteration 6 : 865 enodes (cost 4 ) 197.730 * * [simplify]: iteration 7 : 3198 enodes (cost 4 ) 199.724 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 199.725 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 199.726 * * [simplify]: iteration 1 : 19 enodes (cost 7 ) 199.728 * * [simplify]: iteration 2 : 41 enodes (cost 7 ) 199.733 * * [simplify]: iteration 3 : 97 enodes (cost 7 ) 199.756 * * [simplify]: iteration 4 : 262 enodes (cost 7 ) 199.880 * * [simplify]: iteration 5 : 858 enodes (cost 7 ) 201.373 * * [simplify]: iteration 6 : 4122 enodes (cost 7 ) 203.147 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 203.147 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 203.148 * * [simplify]: iteration 1 : 17 enodes (cost 7 ) 203.150 * * [simplify]: iteration 2 : 34 enodes (cost 7 ) 203.155 * * [simplify]: iteration 3 : 75 enodes (cost 7 ) 203.167 * * [simplify]: iteration 4 : 176 enodes (cost 7 ) 203.229 * * [simplify]: iteration 5 : 482 enodes (cost 7 ) 203.612 * * [simplify]: iteration 6 : 1628 enodes (cost 7 ) 204.724 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 204.724 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 204.725 * * [simplify]: iteration 1 : 18 enodes (cost 15 ) 204.727 * * [simplify]: iteration 2 : 33 enodes (cost 15 ) 204.732 * * [simplify]: iteration 3 : 69 enodes (cost 15 ) 204.743 * * [simplify]: iteration 4 : 157 enodes (cost 15 ) 204.798 * * [simplify]: iteration 5 : 402 enodes (cost 15 ) 205.114 * * [simplify]: iteration 6 : 1302 enodes (cost 15 ) 207.915 * * [simplify]: iteration 7 : 4986 enodes (cost 15 ) 209.972 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 209.973 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 209.974 * * [simplify]: iteration 1 : 17 enodes (cost 7 ) 209.976 * * [simplify]: iteration 2 : 32 enodes (cost 7 ) 209.980 * * [simplify]: iteration 3 : 68 enodes (cost 7 ) 209.997 * * [simplify]: iteration 4 : 154 enodes (cost 7 ) 210.047 * * [simplify]: iteration 5 : 396 enodes (cost 7 ) 210.354 * * [simplify]: iteration 6 : 1293 enodes (cost 7 ) 213.172 * * [simplify]: iteration 7 : 4985 enodes (cost 7 ) 215.033 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 215.034 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 215.035 * * [simplify]: iteration 1 : 22 enodes (cost 14 ) 215.039 * * [simplify]: iteration 2 : 54 enodes (cost 8 ) 215.049 * * [simplify]: iteration 3 : 153 enodes (cost 7 ) 215.123 * * [simplify]: iteration 4 : 557 enodes (cost 7 ) 215.901 * * [simplify]: iteration 5 : 2528 enodes (cost 7 ) 217.919 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 217.920 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 217.921 * * [simplify]: iteration 1 : 17 enodes (cost 7 ) 217.923 * * [simplify]: iteration 2 : 33 enodes (cost 7 ) 217.927 * * [simplify]: iteration 3 : 69 enodes (cost 7 ) 217.937 * * [simplify]: iteration 4 : 157 enodes (cost 7 ) 217.992 * * [simplify]: iteration 5 : 400 enodes (cost 7 ) 218.307 * * [simplify]: iteration 6 : 1304 enodes (cost 7 ) 221.187 * * [simplify]: iteration 7 : 4981 enodes (cost 7 ) 223.061 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 223.062 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 223.063 * * [simplify]: iteration 1 : 17 enodes (cost 7 ) 223.065 * * [simplify]: iteration 2 : 33 enodes (cost 7 ) 223.069 * * [simplify]: iteration 3 : 69 enodes (cost 7 ) 223.080 * * [simplify]: iteration 4 : 157 enodes (cost 7 ) 223.134 * * [simplify]: iteration 5 : 400 enodes (cost 7 ) 223.446 * * [simplify]: iteration 6 : 1304 enodes (cost 7 ) 226.295 * * [simplify]: iteration 7 : 4981 enodes (cost 7 ) 228.150 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 228.150 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 228.354 * * [simplify]: iteration 1 : 17 enodes (cost 7 ) 228.356 * * [simplify]: iteration 2 : 32 enodes (cost 7 ) 228.360 * * [simplify]: iteration 3 : 68 enodes (cost 7 ) 228.371 * * [simplify]: iteration 4 : 156 enodes (cost 7 ) 228.425 * * [simplify]: iteration 5 : 396 enodes (cost 7 ) 228.738 * * [simplify]: iteration 6 : 1294 enodes (cost 7 ) 231.575 * * [simplify]: iteration 7 : 4973 enodes (cost 7 ) 233.470 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 233.471 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 233.472 * * [simplify]: iteration 1 : 17 enodes (cost 7 ) 233.474 * * [simplify]: iteration 2 : 32 enodes (cost 7 ) 233.478 * * [simplify]: iteration 3 : 68 enodes (cost 7 ) 233.496 * * [simplify]: iteration 4 : 156 enodes (cost 7 ) 233.552 * * [simplify]: iteration 5 : 396 enodes (cost 7 ) 233.855 * * [simplify]: iteration 6 : 1294 enodes (cost 7 ) 236.699 * * [simplify]: iteration 7 : 4973 enodes (cost 7 ) 238.584 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 238.585 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 238.585 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 238.585 * * [simplify]: iteration done : 5 enodes (cost 4 ) 238.586 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 238.586 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 238.587 * * [simplify]: iteration done : 5 enodes (cost 4 ) 238.587 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 238.588 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 238.588 * * [simplify]: iteration done : 6 enodes (cost 1 ) 238.589 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 238.589 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 238.590 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 238.593 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 238.599 * * [simplify]: iteration 4 : 97 enodes (cost 7 ) 238.639 * * [simplify]: iteration 5 : 254 enodes (cost 7 ) 238.872 * * [simplify]: iteration 6 : 865 enodes (cost 7 ) 240.608 * * [simplify]: iteration 7 : 3279 enodes (cost 7 ) 241.960 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 241.961 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 241.961 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 241.962 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 241.964 * * [simplify]: iteration 3 : 31 enodes (cost 4 ) 241.969 * * [simplify]: iteration 4 : 71 enodes (cost 4 ) 241.994 * * [simplify]: iteration 5 : 175 enodes (cost 4 ) 242.093 * * [simplify]: iteration 6 : 552 enodes (cost 4 ) 242.940 * * [simplify]: iteration 7 : 2153 enodes (cost 4 ) 245.087 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 245.088 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 245.088 * * [simplify]: iteration 1 : 10 enodes (cost 1 ) 245.089 * * [simplify]: iteration 2 : 15 enodes (cost 1 ) 245.090 * * [simplify]: iteration 3 : 21 enodes (cost 1 ) 245.091 * * [simplify]: iteration 4 : 31 enodes (cost 1 ) 245.094 * * [simplify]: iteration 5 : 55 enodes (cost 1 ) 245.102 * * [simplify]: iteration 6 : 114 enodes (cost 1 ) 245.148 * * [simplify]: iteration 7 : 324 enodes (cost 1 ) 245.601 * * [simplify]: iteration 8 : 1255 enodes (cost 1 ) 247.977 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 247.977 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 247.978 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 247.979 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 247.981 * * [simplify]: iteration 3 : 32 enodes (cost 7 ) 247.986 * * [simplify]: iteration 4 : 72 enodes (cost 7 ) 248.007 * * [simplify]: iteration 5 : 176 enodes (cost 7 ) 248.108 * * [simplify]: iteration 6 : 550 enodes (cost 7 ) 249.042 * * [simplify]: iteration 7 : 1957 enodes (cost 7 ) 251.231 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 251.232 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 251.232 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 251.233 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 251.235 * * [simplify]: iteration 3 : 31 enodes (cost 4 ) 251.240 * * [simplify]: iteration 4 : 71 enodes (cost 4 ) 251.260 * * [simplify]: iteration 5 : 175 enodes (cost 4 ) 251.359 * * [simplify]: iteration 6 : 552 enodes (cost 4 ) 252.103 * * [simplify]: iteration 7 : 1953 enodes (cost 4 ) 254.043 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 254.043 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 254.044 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 254.045 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 254.046 * * [simplify]: iteration 3 : 31 enodes (cost 4 ) 254.051 * * [simplify]: iteration 4 : 71 enodes (cost 4 ) 254.072 * * [simplify]: iteration 5 : 175 enodes (cost 4 ) 254.173 * * [simplify]: iteration 6 : 552 enodes (cost 4 ) 254.915 * * [simplify]: iteration 7 : 1953 enodes (cost 4 ) 256.868 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 256.868 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 256.869 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 256.870 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 256.871 * * [simplify]: iteration 3 : 31 enodes (cost 4 ) 256.876 * * [simplify]: iteration 4 : 71 enodes (cost 4 ) 256.901 * * [simplify]: iteration 5 : 175 enodes (cost 4 ) 256.997 * * [simplify]: iteration 6 : 552 enodes (cost 4 ) 257.732 * * [simplify]: iteration 7 : 1953 enodes (cost 4 ) 259.664 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 259.665 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 259.665 * * [simplify]: iteration 1 : 9 enodes (cost 1 ) 259.666 * * [simplify]: iteration 2 : 12 enodes (cost 1 ) 259.667 * * [simplify]: iteration 3 : 18 enodes (cost 1 ) 259.669 * * [simplify]: iteration 4 : 25 enodes (cost 1 ) 259.671 * * [simplify]: iteration 5 : 35 enodes (cost 1 ) 259.673 * * [simplify]: iteration 6 : 48 enodes (cost 1 ) 259.676 * * [simplify]: iteration 7 : 64 enodes (cost 1 ) 259.681 * * [simplify]: iteration 8 : 83 enodes (cost 1 ) 259.686 * * [simplify]: iteration 9 : 105 enodes (cost 1 ) 259.693 * * [simplify]: iteration 10 : 130 enodes (cost 1 ) 259.704 * * [simplify]: iteration 11 : 158 enodes (cost 1 ) 259.717 * * [simplify]: iteration 12 : 189 enodes (cost 1 ) 259.737 * * [simplify]: iteration 13 : 223 enodes (cost 1 ) 259.757 * * [simplify]: iteration 14 : 260 enodes (cost 1 ) 259.786 * * [simplify]: iteration 15 : 300 enodes (cost 1 ) 259.819 * * [simplify]: iteration 16 : 343 enodes (cost 1 ) 259.861 * * [simplify]: iteration 17 : 389 enodes (cost 1 ) 259.918 * * [simplify]: iteration 18 : 438 enodes (cost 1 ) 259.980 * * [simplify]: iteration 19 : 490 enodes (cost 1 ) 260.056 * * [simplify]: iteration 20 : 545 enodes (cost 1 ) 260.143 * * [simplify]: iteration 21 : 603 enodes (cost 1 ) 260.252 * * [simplify]: iteration 22 : 664 enodes (cost 1 ) 260.376 * * [simplify]: iteration 23 : 728 enodes (cost 1 ) 260.527 * * [simplify]: iteration 24 : 795 enodes (cost 1 ) 260.701 * * [simplify]: iteration 25 : 865 enodes (cost 1 ) 260.905 * * [simplify]: iteration 26 : 938 enodes (cost 1 ) 261.143 * * [simplify]: iteration 27 : 1014 enodes (cost 1 ) 261.413 * * [simplify]: iteration 28 : 1093 enodes (cost 1 ) 261.727 * * [simplify]: iteration 29 : 1175 enodes (cost 1 ) 262.090 * * [simplify]: iteration 30 : 1260 enodes (cost 1 ) 262.498 * * [simplify]: iteration 31 : 1348 enodes (cost 1 ) 262.965 * * [simplify]: iteration 32 : 1439 enodes (cost 1 ) 263.498 * * [simplify]: iteration 33 : 1533 enodes (cost 1 ) 264.098 * * [simplify]: iteration 34 : 1630 enodes (cost 1 ) 264.801 * * [simplify]: iteration 35 : 1730 enodes (cost 1 ) 265.575 * * [simplify]: iteration 36 : 1833 enodes (cost 1 ) 266.443 * * [simplify]: iteration 37 : 1939 enodes (cost 1 ) 267.414 * * [simplify]: iteration 38 : 2048 enodes (cost 1 ) 268.517 * * [simplify]: iteration 39 : 2160 enodes (cost 1 ) 269.731 * * [simplify]: iteration 40 : 2275 enodes (cost 1 ) 271.108 * * [simplify]: iteration 41 : 2393 enodes (cost 1 ) 272.637 * * [simplify]: iteration 42 : 2514 enodes (cost 1 ) 274.343 * * [simplify]: iteration 43 : 2638 enodes (cost 1 ) 276.220 * * [simplify]: iteration 44 : 2765 enodes (cost 1 ) 278.278 * * [simplify]: iteration 45 : 2895 enodes (cost 1 ) 280.472 * * [simplify]: iteration 46 : 3028 enodes (cost 1 ) 282.854 * * [simplify]: iteration 47 : 3164 enodes (cost 1 ) 285.377 * * [simplify]: iteration 48 : 3303 enodes (cost 1 ) 288.081 * * [simplify]: iteration 49 : 3445 enodes (cost 1 ) 291.201 * * [simplify]: iteration 50 : 3590 enodes (cost 1 ) 294.307 * * [simplify]: iteration 51 : 3738 enodes (cost 1 ) 297.664 * * [simplify]: iteration 52 : 3889 enodes (cost 1 ) 301.254 * * [simplify]: iteration 53 : 4043 enodes (cost 1 ) 305.134 * * [simplify]: iteration 54 : 4200 enodes (cost 1 ) 309.279 * * [simplify]: iteration 55 : 4360 enodes (cost 1 ) 313.695 * * [simplify]: iteration 56 : 4523 enodes (cost 1 ) 318.436 * * [simplify]: iteration 57 : 4689 enodes (cost 1 ) 323.509 * * [simplify]: iteration 58 : 4858 enodes (cost 1 ) 325.074 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 325.074 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 325.075 * * [simplify]: iteration 1 : 7 enodes (cost 3 ) 325.075 * * [simplify]: iteration 2 : 12 enodes (cost 3 ) 325.077 * * [simplify]: iteration 3 : 30 enodes (cost 3 ) 325.082 * * [simplify]: iteration 4 : 72 enodes (cost 3 ) 325.108 * * [simplify]: iteration 5 : 183 enodes (cost 3 ) 325.212 * * [simplify]: iteration 6 : 568 enodes (cost 3 ) 325.953 * * [simplify]: iteration 7 : 1980 enodes (cost 3 ) 328.001 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 328.002 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 328.003 * * [simplify]: iteration 1 : 10 enodes (cost 4 ) 328.004 * * [simplify]: iteration 2 : 18 enodes (cost 4 ) 328.006 * * [simplify]: iteration 3 : 41 enodes (cost 4 ) 328.012 * * [simplify]: iteration 4 : 109 enodes (cost 4 ) 328.061 * * [simplify]: iteration 5 : 313 enodes (cost 4 ) 328.328 * * [simplify]: iteration 6 : 1095 enodes (cost 4 ) 331.215 * * [simplify]: iteration 7 : 4992 enodes (cost 4 ) 332.578 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 332.579 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 332.580 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 332.581 * * [simplify]: iteration 2 : 15 enodes (cost 4 ) 332.583 * * [simplify]: iteration 3 : 38 enodes (cost 4 ) 332.589 * * [simplify]: iteration 4 : 95 enodes (cost 4 ) 332.629 * * [simplify]: iteration 5 : 260 enodes (cost 4 ) 332.792 * * [simplify]: iteration 6 : 882 enodes (cost 4 ) 334.026 * * [simplify]: iteration 7 : 3688 enodes (cost 4 ) 335.487 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 335.488 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 335.489 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 335.490 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 335.492 * * [simplify]: iteration 3 : 32 enodes (cost 9 ) 335.496 * * [simplify]: iteration 4 : 74 enodes (cost 9 ) 335.517 * * [simplify]: iteration 5 : 183 enodes (cost 9 ) 335.618 * * [simplify]: iteration 6 : 563 enodes (cost 9 ) 336.357 * * [simplify]: iteration 7 : 1969 enodes (cost 9 ) 338.474 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 338.475 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 338.475 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 338.476 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 338.478 * * [simplify]: iteration 3 : 31 enodes (cost 4 ) 338.483 * * [simplify]: iteration 4 : 73 enodes (cost 4 ) 338.511 * * [simplify]: iteration 5 : 180 enodes (cost 4 ) 338.613 * * [simplify]: iteration 6 : 552 enodes (cost 4 ) 339.361 * * [simplify]: iteration 7 : 1984 enodes (cost 4 ) 341.536 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 341.537 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 341.538 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 341.539 * * [simplify]: iteration 2 : 33 enodes (cost 5 ) 341.546 * * [simplify]: iteration 3 : 86 enodes (cost 5 ) 341.582 * * [simplify]: iteration 4 : 232 enodes (cost 5 ) 341.767 * * [simplify]: iteration 5 : 777 enodes (cost 5 ) 344.165 * * [simplify]: iteration 6 : 3669 enodes (cost 5 ) 346.666 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 346.667 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 346.667 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 346.668 * * [simplify]: iteration 2 : 14 enodes (cost 4 ) 346.675 * * [simplify]: iteration 3 : 32 enodes (cost 4 ) 346.680 * * [simplify]: iteration 4 : 74 enodes (cost 4 ) 346.700 * * [simplify]: iteration 5 : 183 enodes (cost 4 ) 346.802 * * [simplify]: iteration 6 : 561 enodes (cost 4 ) 347.552 * * [simplify]: iteration 7 : 1980 enodes (cost 4 ) 349.421 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 349.422 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 349.422 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 349.423 * * [simplify]: iteration 2 : 14 enodes (cost 4 ) 349.425 * * [simplify]: iteration 3 : 32 enodes (cost 4 ) 349.430 * * [simplify]: iteration 4 : 74 enodes (cost 4 ) 349.450 * * [simplify]: iteration 5 : 183 enodes (cost 4 ) 349.552 * * [simplify]: iteration 6 : 561 enodes (cost 4 ) 350.291 * * [simplify]: iteration 7 : 1980 enodes (cost 4 ) 352.148 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 352.149 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 352.149 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 352.150 * * [simplify]: iteration 2 : 16 enodes (cost 5 ) 352.153 * * [simplify]: iteration 3 : 37 enodes (cost 5 ) 352.159 * * [simplify]: iteration 4 : 85 enodes (cost 5 ) 352.188 * * [simplify]: iteration 5 : 214 enodes (cost 5 ) 352.345 * * [simplify]: iteration 6 : 724 enodes (cost 5 ) 353.455 * * [simplify]: iteration 7 : 2528 enodes (cost 5 ) 356.004 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 356.004 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 356.005 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 356.006 * * [simplify]: iteration 2 : 16 enodes (cost 5 ) 356.009 * * [simplify]: iteration 3 : 37 enodes (cost 5 ) 356.015 * * [simplify]: iteration 4 : 85 enodes (cost 5 ) 356.043 * * [simplify]: iteration 5 : 214 enodes (cost 5 ) 356.201 * * [simplify]: iteration 6 : 724 enodes (cost 5 ) 357.316 * * [simplify]: iteration 7 : 2528 enodes (cost 5 ) 359.852 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 359.853 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 359.859 * * [simplify]: iteration 1 : 30 enodes (cost 10 ) 359.863 * * [simplify]: iteration 2 : 43 enodes (cost 8 ) 359.869 * * [simplify]: iteration 3 : 80 enodes (cost 6 ) 359.881 * * [simplify]: iteration 4 : 168 enodes (cost 6 ) 359.931 * * [simplify]: iteration 5 : 378 enodes (cost 6 ) 360.120 * * [simplify]: iteration 6 : 962 enodes (cost 6 ) 361.457 * * [simplify]: iteration 7 : 2938 enodes (cost 6 ) 362.970 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 362.971 * * [simplify]: iteration 0 : 16 enodes (cost 20 ) 362.974 * * [simplify]: iteration 1 : 43 enodes (cost 17 ) 362.979 * * [simplify]: iteration 2 : 78 enodes (cost 15 ) 362.990 * * [simplify]: iteration 3 : 162 enodes (cost 14 ) 363.025 * * [simplify]: iteration 4 : 339 enodes (cost 13 ) 363.151 * * [simplify]: iteration 5 : 812 enodes (cost 13 ) 363.680 * * [simplify]: iteration 6 : 2258 enodes (cost 13 ) 364.904 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 364.905 * * [simplify]: iteration 0 : 18 enodes (cost 22 ) 364.908 * * [simplify]: iteration 1 : 48 enodes (cost 20 ) 364.914 * * [simplify]: iteration 2 : 90 enodes (cost 18 ) 364.928 * * [simplify]: iteration 3 : 225 enodes (cost 16 ) 364.981 * * [simplify]: iteration 4 : 621 enodes (cost 16 ) 365.414 * * [simplify]: iteration 5 : 2657 enodes (cost 16 ) 366.428 * * [simplify]: iteration done : 5000 enodes (cost 16 ) 366.429 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 366.430 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 366.433 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 366.436 * * [simplify]: iteration 3 : 48 enodes (cost 3 ) 366.442 * * [simplify]: iteration 4 : 84 enodes (cost 3 ) 366.458 * * [simplify]: iteration 5 : 174 enodes (cost 3 ) 366.518 * * [simplify]: iteration 6 : 371 enodes (cost 3 ) 366.745 * * [simplify]: iteration 7 : 930 enodes (cost 3 ) 368.249 * * [simplify]: iteration 8 : 3217 enodes (cost 3 ) 369.847 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 369.848 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 369.849 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 369.851 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 369.858 * * [simplify]: iteration 3 : 71 enodes (cost 3 ) 369.865 * * [simplify]: iteration 4 : 123 enodes (cost 3 ) 369.892 * * [simplify]: iteration 5 : 267 enodes (cost 3 ) 370.032 * * [simplify]: iteration 6 : 619 enodes (cost 3 ) 370.582 * * [simplify]: iteration 7 : 1739 enodes (cost 3 ) 372.412 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 372.413 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 372.414 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 372.416 * * [simplify]: iteration 2 : 33 enodes (cost 10 ) 372.428 * * [simplify]: iteration 3 : 76 enodes (cost 7 ) 372.439 * * [simplify]: iteration 4 : 148 enodes (cost 3 ) 372.475 * * [simplify]: iteration 5 : 431 enodes (cost 3 ) 373.066 * * [simplify]: iteration 6 : 1888 enodes (cost 3 ) 374.544 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 374.545 * [simplify]: Simplified to: (* (+ (log 2.0) (* (log x) 2.0)) 1/2) (* (+ (log 2.0) (* (log x) 2.0)) 1/2) (* (+ (log 2.0) (log (pow x 2.0))) 1/2) (* (log (* 2.0 (pow x 2.0))) 1/2) (* (log (* 2.0 (pow x 2.0))) 1/2) 1/2 (pow (* 2.0 (pow x 2.0)) (* (cbrt 1/2) (cbrt 1/2))) (pow (* 2.0 (pow x 2.0)) (sqrt 1/2)) (* 2.0 (pow x 2.0)) (sqrt 2.0) (sqrt (pow x 2.0)) (log (sqrt (* 2.0 (pow x 2.0)))) (exp (sqrt (* 2.0 (pow x 2.0)))) (* (cbrt (sqrt (* 2.0 (pow x 2.0)))) (cbrt (sqrt (* 2.0 (pow x 2.0))))) (cbrt (sqrt (* 2.0 (pow x 2.0)))) (pow (* 2.0 (pow x 2.0)) 3/2) (sqrt (sqrt (* 2.0 (pow x 2.0)))) (sqrt (sqrt (* 2.0 (pow x 2.0)))) (pow (* 2.0 (pow x 2.0)) 1/4) (pow (* 2.0 (pow x 2.0)) 1/4) (* (log x) 2.0) (* (log x) 2.0) 2.0 (pow x (* (cbrt 2.0) (cbrt 2.0))) (pow x (sqrt 2.0)) x (pow (* (cbrt x) (cbrt x)) 2.0) (pow (cbrt x) 2.0) (pow (sqrt x) 2.0) (pow (sqrt x) 2.0) 1 (pow x 2.0) (log (pow x 2.0)) (exp (pow x 2.0)) (* (cbrt (pow x 2.0)) (cbrt (pow x 2.0))) (cbrt (pow x 2.0)) (pow (pow x 2.0) 3) (sqrt (pow x 2.0)) (sqrt (pow x 2.0)) (pow x (/ 2.0 2)) (pow x (/ 2.0 2)) (sqrt (* (pow x 2.0) 2.0)) (sqrt (* 2.0 (pow (/ 1 (pow (pow x (neg 2.0)) 1.0)) 1.0))) (sqrt (* (pow (/ (pow -1 2.0) (pow (pow (/ -1 x) 2.0) 1.0)) 1.0) 2.0)) (pow x 2.0) (pow x 2.0) (pow x 2.0) 374.545 * * * [progress]: adding candidates to table 374.616 * * [progress]: iteration 3 / 4 374.616 * * * [progress]: picking best candidate 374.638 * * * * [pick]: Picked # 374.638 * * * [progress]: localizing error 374.650 * * * [progress]: generating rewritten candidates 374.651 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 374.654 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 374.662 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1) 374.668 * * * [progress]: generating series expansions 374.668 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 374.668 * [approximate]: Taking taylor expansion of (pow (pow x 1.0) 1.0) in (x) around 0 374.668 * [taylor]: Taking taylor expansion of (pow (pow x 1.0) 1.0) in x 374.668 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow x 1.0)))) in x 374.668 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow x 1.0))) in x 374.668 * [taylor]: Taking taylor expansion of 1.0 in x 374.668 * [taylor]: Taking taylor expansion of (log (pow x 1.0)) in x 374.668 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 374.668 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 374.668 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 374.668 * [taylor]: Taking taylor expansion of 1.0 in x 374.668 * [taylor]: Taking taylor expansion of (log x) in x 374.668 * [taylor]: Taking taylor expansion of x in x 374.668 * [taylor]: Taking taylor expansion of (pow (pow x 1.0) 1.0) in x 374.668 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow x 1.0)))) in x 374.668 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow x 1.0))) in x 374.668 * [taylor]: Taking taylor expansion of 1.0 in x 374.668 * [taylor]: Taking taylor expansion of (log (pow x 1.0)) in x 374.668 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 374.668 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 374.668 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 374.668 * [taylor]: Taking taylor expansion of 1.0 in x 374.668 * [taylor]: Taking taylor expansion of (log x) in x 374.668 * [taylor]: Taking taylor expansion of x in x 374.683 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 1.0)) 1.0) in (x) around 0 374.683 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 1.0)) 1.0) in x 374.683 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 1.0))))) in x 374.683 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 1.0)))) in x 374.683 * [taylor]: Taking taylor expansion of 1.0 in x 374.683 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 1.0))) in x 374.683 * [taylor]: Taking taylor expansion of (/ 1 (pow x 1.0)) in x 374.683 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 374.683 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 374.684 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 374.684 * [taylor]: Taking taylor expansion of 1.0 in x 374.684 * [taylor]: Taking taylor expansion of (log x) in x 374.684 * [taylor]: Taking taylor expansion of x in x 374.684 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 1.0)) 1.0) in x 374.684 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 1.0))))) in x 374.684 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 1.0)))) in x 374.684 * [taylor]: Taking taylor expansion of 1.0 in x 374.684 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 1.0))) in x 374.684 * [taylor]: Taking taylor expansion of (/ 1 (pow x 1.0)) in x 374.684 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 374.684 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 374.684 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 374.684 * [taylor]: Taking taylor expansion of 1.0 in x 374.684 * [taylor]: Taking taylor expansion of (log x) in x 374.684 * [taylor]: Taking taylor expansion of x in x 374.702 * [approximate]: Taking taylor expansion of (pow (/ (pow -1 1.0) (pow x 1.0)) 1.0) in (x) around 0 374.702 * [taylor]: Taking taylor expansion of (pow (/ (pow -1 1.0) (pow x 1.0)) 1.0) in x 374.702 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ (pow -1 1.0) (pow x 1.0))))) in x 374.702 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ (pow -1 1.0) (pow x 1.0)))) in x 374.702 * [taylor]: Taking taylor expansion of 1.0 in x 374.702 * [taylor]: Taking taylor expansion of (log (/ (pow -1 1.0) (pow x 1.0))) in x 374.702 * [taylor]: Taking taylor expansion of (/ (pow -1 1.0) (pow x 1.0)) in x 374.702 * [taylor]: Taking taylor expansion of (pow -1 1.0) in x 374.702 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -1))) in x 374.702 * [taylor]: Taking taylor expansion of (* 1.0 (log -1)) in x 374.702 * [taylor]: Taking taylor expansion of 1.0 in x 374.702 * [taylor]: Taking taylor expansion of (log -1) in x 374.702 * [taylor]: Taking taylor expansion of -1 in x 374.702 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 374.702 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 374.702 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 374.702 * [taylor]: Taking taylor expansion of 1.0 in x 374.702 * [taylor]: Taking taylor expansion of (log x) in x 374.702 * [taylor]: Taking taylor expansion of x in x 374.703 * [taylor]: Taking taylor expansion of (pow (/ (pow -1 1.0) (pow x 1.0)) 1.0) in x 374.703 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ (pow -1 1.0) (pow x 1.0))))) in x 374.703 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ (pow -1 1.0) (pow x 1.0)))) in x 374.703 * [taylor]: Taking taylor expansion of 1.0 in x 374.703 * [taylor]: Taking taylor expansion of (log (/ (pow -1 1.0) (pow x 1.0))) in x 374.703 * [taylor]: Taking taylor expansion of (/ (pow -1 1.0) (pow x 1.0)) in x 374.703 * [taylor]: Taking taylor expansion of (pow -1 1.0) in x 374.703 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -1))) in x 374.703 * [taylor]: Taking taylor expansion of (* 1.0 (log -1)) in x 374.703 * [taylor]: Taking taylor expansion of 1.0 in x 374.703 * [taylor]: Taking taylor expansion of (log -1) in x 374.703 * [taylor]: Taking taylor expansion of -1 in x 374.703 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 374.703 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 374.703 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 374.703 * [taylor]: Taking taylor expansion of 1.0 in x 374.703 * [taylor]: Taking taylor expansion of (log x) in x 374.703 * [taylor]: Taking taylor expansion of x in x 374.733 * * * * [progress]: [ 2 / 3 ] generating series at (2) 374.733 * [approximate]: Taking taylor expansion of (* (pow (pow x 1.0) 1.0) (sqrt 2.0)) in (x) around 0 374.733 * [taylor]: Taking taylor expansion of (* (pow (pow x 1.0) 1.0) (sqrt 2.0)) in x 374.733 * [taylor]: Taking taylor expansion of (pow (pow x 1.0) 1.0) in x 374.733 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow x 1.0)))) in x 374.733 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow x 1.0))) in x 374.733 * [taylor]: Taking taylor expansion of 1.0 in x 374.733 * [taylor]: Taking taylor expansion of (log (pow x 1.0)) in x 374.734 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 374.734 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 374.734 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 374.734 * [taylor]: Taking taylor expansion of 1.0 in x 374.734 * [taylor]: Taking taylor expansion of (log x) in x 374.734 * [taylor]: Taking taylor expansion of x in x 374.734 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 374.734 * [taylor]: Taking taylor expansion of 2.0 in x 374.734 * [taylor]: Taking taylor expansion of (* (pow (pow x 1.0) 1.0) (sqrt 2.0)) in x 374.734 * [taylor]: Taking taylor expansion of (pow (pow x 1.0) 1.0) in x 374.734 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow x 1.0)))) in x 374.734 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow x 1.0))) in x 374.734 * [taylor]: Taking taylor expansion of 1.0 in x 374.734 * [taylor]: Taking taylor expansion of (log (pow x 1.0)) in x 374.734 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 374.734 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 374.734 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 374.734 * [taylor]: Taking taylor expansion of 1.0 in x 374.734 * [taylor]: Taking taylor expansion of (log x) in x 374.734 * [taylor]: Taking taylor expansion of x in x 374.735 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 374.735 * [taylor]: Taking taylor expansion of 2.0 in x 374.757 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow x 1.0)) 1.0) (sqrt 2.0)) in (x) around 0 374.757 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 1.0)) 1.0) (sqrt 2.0)) in x 374.757 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 1.0)) 1.0) in x 374.757 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 1.0))))) in x 374.757 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 1.0)))) in x 374.757 * [taylor]: Taking taylor expansion of 1.0 in x 374.757 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 1.0))) in x 374.757 * [taylor]: Taking taylor expansion of (/ 1 (pow x 1.0)) in x 374.757 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 374.757 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 374.757 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 374.757 * [taylor]: Taking taylor expansion of 1.0 in x 374.757 * [taylor]: Taking taylor expansion of (log x) in x 374.757 * [taylor]: Taking taylor expansion of x in x 374.758 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 374.758 * [taylor]: Taking taylor expansion of 2.0 in x 374.758 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 1.0)) 1.0) (sqrt 2.0)) in x 374.758 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 1.0)) 1.0) in x 374.758 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 1.0))))) in x 374.758 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 1.0)))) in x 374.758 * [taylor]: Taking taylor expansion of 1.0 in x 374.758 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 1.0))) in x 374.758 * [taylor]: Taking taylor expansion of (/ 1 (pow x 1.0)) in x 374.758 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 374.758 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 374.758 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 374.758 * [taylor]: Taking taylor expansion of 1.0 in x 374.758 * [taylor]: Taking taylor expansion of (log x) in x 374.758 * [taylor]: Taking taylor expansion of x in x 374.759 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 374.759 * [taylor]: Taking taylor expansion of 2.0 in x 374.778 * [approximate]: Taking taylor expansion of (* (pow (/ (pow -1 1.0) (pow x 1.0)) 1.0) (sqrt 2.0)) in (x) around 0 374.782 * [taylor]: Taking taylor expansion of (* (pow (/ (pow -1 1.0) (pow x 1.0)) 1.0) (sqrt 2.0)) in x 374.782 * [taylor]: Taking taylor expansion of (pow (/ (pow -1 1.0) (pow x 1.0)) 1.0) in x 374.782 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ (pow -1 1.0) (pow x 1.0))))) in x 374.782 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ (pow -1 1.0) (pow x 1.0)))) in x 374.782 * [taylor]: Taking taylor expansion of 1.0 in x 374.782 * [taylor]: Taking taylor expansion of (log (/ (pow -1 1.0) (pow x 1.0))) in x 374.782 * [taylor]: Taking taylor expansion of (/ (pow -1 1.0) (pow x 1.0)) in x 374.782 * [taylor]: Taking taylor expansion of (pow -1 1.0) in x 374.782 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -1))) in x 374.782 * [taylor]: Taking taylor expansion of (* 1.0 (log -1)) in x 374.782 * [taylor]: Taking taylor expansion of 1.0 in x 374.782 * [taylor]: Taking taylor expansion of (log -1) in x 374.782 * [taylor]: Taking taylor expansion of -1 in x 374.782 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 374.782 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 374.782 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 374.782 * [taylor]: Taking taylor expansion of 1.0 in x 374.782 * [taylor]: Taking taylor expansion of (log x) in x 374.782 * [taylor]: Taking taylor expansion of x in x 374.783 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 374.783 * [taylor]: Taking taylor expansion of 2.0 in x 374.783 * [taylor]: Taking taylor expansion of (* (pow (/ (pow -1 1.0) (pow x 1.0)) 1.0) (sqrt 2.0)) in x 374.783 * [taylor]: Taking taylor expansion of (pow (/ (pow -1 1.0) (pow x 1.0)) 1.0) in x 374.783 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ (pow -1 1.0) (pow x 1.0))))) in x 374.783 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ (pow -1 1.0) (pow x 1.0)))) in x 374.783 * [taylor]: Taking taylor expansion of 1.0 in x 374.783 * [taylor]: Taking taylor expansion of (log (/ (pow -1 1.0) (pow x 1.0))) in x 374.783 * [taylor]: Taking taylor expansion of (/ (pow -1 1.0) (pow x 1.0)) in x 374.783 * [taylor]: Taking taylor expansion of (pow -1 1.0) in x 374.783 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -1))) in x 374.783 * [taylor]: Taking taylor expansion of (* 1.0 (log -1)) in x 374.783 * [taylor]: Taking taylor expansion of 1.0 in x 374.783 * [taylor]: Taking taylor expansion of (log -1) in x 374.783 * [taylor]: Taking taylor expansion of -1 in x 374.783 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 374.783 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 374.783 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 374.783 * [taylor]: Taking taylor expansion of 1.0 in x 374.783 * [taylor]: Taking taylor expansion of (log x) in x 374.783 * [taylor]: Taking taylor expansion of x in x 374.784 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 374.784 * [taylor]: Taking taylor expansion of 2.0 in x 374.814 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1) 374.814 * [approximate]: Taking taylor expansion of (pow x 2.0) in (x) around 0 374.814 * [taylor]: Taking taylor expansion of (pow x 2.0) in x 374.814 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log x))) in x 374.814 * [taylor]: Taking taylor expansion of (* 2.0 (log x)) in x 374.814 * [taylor]: Taking taylor expansion of 2.0 in x 374.814 * [taylor]: Taking taylor expansion of (log x) in x 374.814 * [taylor]: Taking taylor expansion of x in x 374.814 * [taylor]: Taking taylor expansion of (pow x 2.0) in x 374.815 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log x))) in x 374.815 * [taylor]: Taking taylor expansion of (* 2.0 (log x)) in x 374.815 * [taylor]: Taking taylor expansion of 2.0 in x 374.815 * [taylor]: Taking taylor expansion of (log x) in x 374.815 * [taylor]: Taking taylor expansion of x in x 374.822 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 2.0) in (x) around 0 374.822 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 2.0) in x 374.822 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (/ 1 x)))) in x 374.822 * [taylor]: Taking taylor expansion of (* 2.0 (log (/ 1 x))) in x 374.822 * [taylor]: Taking taylor expansion of 2.0 in x 374.822 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 374.822 * [taylor]: Taking taylor expansion of (/ 1 x) in x 374.822 * [taylor]: Taking taylor expansion of x in x 374.822 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 2.0) in x 374.822 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (/ 1 x)))) in x 374.822 * [taylor]: Taking taylor expansion of (* 2.0 (log (/ 1 x))) in x 374.822 * [taylor]: Taking taylor expansion of 2.0 in x 374.822 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 374.822 * [taylor]: Taking taylor expansion of (/ 1 x) in x 374.822 * [taylor]: Taking taylor expansion of x in x 374.830 * [approximate]: Taking taylor expansion of (pow (/ -1 x) 2.0) in (x) around 0 374.830 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 2.0) in x 374.830 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (/ -1 x)))) in x 374.830 * [taylor]: Taking taylor expansion of (* 2.0 (log (/ -1 x))) in x 374.830 * [taylor]: Taking taylor expansion of 2.0 in x 374.830 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 374.830 * [taylor]: Taking taylor expansion of (/ -1 x) in x 374.830 * [taylor]: Taking taylor expansion of -1 in x 374.830 * [taylor]: Taking taylor expansion of x in x 374.830 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 2.0) in x 374.830 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (/ -1 x)))) in x 374.830 * [taylor]: Taking taylor expansion of (* 2.0 (log (/ -1 x))) in x 374.830 * [taylor]: Taking taylor expansion of 2.0 in x 374.830 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 374.830 * [taylor]: Taking taylor expansion of (/ -1 x) in x 374.830 * [taylor]: Taking taylor expansion of -1 in x 374.830 * [taylor]: Taking taylor expansion of x in x 374.838 * * * [progress]: simplifying candidates 374.839 * [simplify]: Simplifying using # : (log (sqrt (pow x 2.0))) (exp (sqrt (pow x 2.0))) (* (cbrt (sqrt (pow x 2.0))) (cbrt (sqrt (pow x 2.0)))) (cbrt (sqrt (pow x 2.0))) (* (* (sqrt (pow x 2.0)) (sqrt (pow x 2.0))) (sqrt (pow x 2.0))) (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)) (sqrt (pow (cbrt x) 2.0)) (sqrt (pow (sqrt x) 2.0)) (sqrt (pow (sqrt x) 2.0)) (sqrt (pow 1 2.0)) (sqrt (pow x 2.0)) (sqrt (* (cbrt (pow x 2.0)) (cbrt (pow x 2.0)))) (sqrt (cbrt (pow x 2.0))) (sqrt (sqrt (pow x 2.0))) (sqrt (sqrt (pow x 2.0))) (sqrt 1) (sqrt (pow x 2.0)) (sqrt (pow x (/ 2.0 2))) (sqrt (pow x (/ 2.0 2))) (/ 2.0 2) (sqrt (sqrt (pow x 2.0))) (sqrt (sqrt (pow x 2.0))) (* 2.0 (pow x 2.0)) (* (sqrt 2.0) (sqrt (pow x 2.0))) (+ (log (sqrt 2.0)) (log (sqrt (pow x 2.0)))) (log (* (sqrt 2.0) (sqrt (pow x 2.0)))) (exp (* (sqrt 2.0) (sqrt (pow x 2.0)))) (* (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0)) (* (* (sqrt (pow x 2.0)) (sqrt (pow x 2.0))) (sqrt (pow x 2.0)))) (* (cbrt (* (sqrt 2.0) (sqrt (pow x 2.0)))) (cbrt (* (sqrt 2.0) (sqrt (pow x 2.0))))) (cbrt (* (sqrt 2.0) (sqrt (pow x 2.0)))) (* (* (* (sqrt 2.0) (sqrt (pow x 2.0))) (* (sqrt 2.0) (sqrt (pow x 2.0)))) (* (sqrt 2.0) (sqrt (pow x 2.0)))) (* 2.0 (pow x 2.0)) (sqrt (* (sqrt 2.0) (sqrt (pow x 2.0)))) (sqrt (* (sqrt 2.0) (sqrt (pow x 2.0)))) (* (sqrt (sqrt 2.0)) (sqrt (pow (sqrt x) 2.0))) (* (sqrt (sqrt 2.0)) (sqrt (pow (sqrt x) 2.0))) (* (sqrt (sqrt 2.0)) (sqrt (sqrt (pow x 2.0)))) (* (sqrt (sqrt 2.0)) (sqrt (sqrt (pow x 2.0)))) (* (sqrt (sqrt 2.0)) (sqrt (pow x (/ 2.0 2)))) (* (sqrt (sqrt 2.0)) (sqrt (pow x (/ 2.0 2)))) (* (sqrt (sqrt 2.0)) (sqrt (sqrt (pow x 2.0)))) (* (sqrt (sqrt 2.0)) (sqrt (sqrt (pow x 2.0)))) (* (sqrt (sqrt 2.0)) (sqrt (pow (sqrt x) 2.0))) (* (sqrt (sqrt 2.0)) (sqrt (pow (sqrt x) 2.0))) (* (sqrt (sqrt 2.0)) (sqrt (sqrt (pow x 2.0)))) (* (sqrt (sqrt 2.0)) (sqrt (sqrt (pow x 2.0)))) (* (sqrt (sqrt 2.0)) (sqrt (pow x (/ 2.0 2)))) (* (sqrt (sqrt 2.0)) (sqrt (pow x (/ 2.0 2)))) (* (sqrt (sqrt 2.0)) (sqrt (sqrt (pow x 2.0)))) (* (sqrt (sqrt 2.0)) (sqrt (sqrt (pow x 2.0)))) (* (sqrt 2.0) (* (cbrt (sqrt (pow x 2.0))) (cbrt (sqrt (pow x 2.0))))) (* (sqrt 2.0) (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (* (sqrt 2.0) (sqrt (pow (sqrt x) 2.0))) (* (sqrt 2.0) (sqrt (pow 1 2.0))) (* (sqrt 2.0) (sqrt (* (cbrt (pow x 2.0)) (cbrt (pow x 2.0))))) (* (sqrt 2.0) (sqrt (sqrt (pow x 2.0)))) (* (sqrt 2.0) (sqrt 1)) (* (sqrt 2.0) (sqrt (pow x (/ 2.0 2)))) (* (sqrt 2.0) (sqrt (sqrt (pow x 2.0)))) (* (sqrt 2.0) 1) (* (cbrt (sqrt 2.0)) (sqrt (pow x 2.0))) (* (sqrt (cbrt 2.0)) (sqrt (pow x 2.0))) (* (sqrt (sqrt 2.0)) (sqrt (pow x 2.0))) (* (sqrt 2.0) (sqrt (pow x 2.0))) (* (sqrt (sqrt 2.0)) (sqrt (pow x 2.0))) (* (sqrt 2.0) (sqrt (pow x 2.0))) (* (log x) 2.0) (* (log x) 2.0) (* 1 2.0) (pow x (* (cbrt 2.0) (cbrt 2.0))) (pow x (sqrt 2.0)) (pow x 1) (pow (* (cbrt x) (cbrt x)) 2.0) (pow (cbrt x) 2.0) (pow (sqrt x) 2.0) (pow (sqrt x) 2.0) (pow 1 2.0) (pow x 2.0) (log (pow x 2.0)) (exp (pow x 2.0)) (* (cbrt (pow x 2.0)) (cbrt (pow x 2.0))) (cbrt (pow x 2.0)) (* (* (pow x 2.0) (pow x 2.0)) (pow x 2.0)) (sqrt (pow x 2.0)) (sqrt (pow x 2.0)) (pow x (/ 2.0 2)) (pow x (/ 2.0 2)) (exp (* 1.0 (+ (log 1) (log x)))) (pow (/ 1 (exp (* 1.0 (+ (log (/ 1 x)) (log 1))))) 1.0) (pow (* (pow (pow -1 1.0) 1.0) (/ 1 (exp (* 1.0 (+ (log 1) (log (/ -1 x))))))) 1.0) (* (exp (* 1.0 (+ (log 1) (log x)))) (sqrt 2.0)) (* (pow (/ 1 (pow (exp (* 1.0 (+ (log (/ 1 x)) (log 1)))) 1.0)) 1.0) (sqrt 2.0)) (* (pow (/ (pow -1 1.0) (pow (exp (* 1.0 (+ (log 1) (log (/ -1 x))))) 1.0)) 1.0) (sqrt 2.0)) (exp (* 2.0 (+ (log 1) (log x)))) (exp (* 2.0 (- (log 1) (log (/ 1 x))))) (exp (* 2.0 (- (log -1) (log (/ -1 x))))) 374.839 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 374.840 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 374.841 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 374.843 * * [simplify]: iteration 3 : 33 enodes (cost 5 ) 374.848 * * [simplify]: iteration 4 : 75 enodes (cost 5 ) 374.875 * * [simplify]: iteration 5 : 184 enodes (cost 5 ) 374.976 * * [simplify]: iteration 6 : 563 enodes (cost 5 ) 375.725 * * [simplify]: iteration 7 : 1982 enodes (cost 5 ) 377.639 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 377.640 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 377.641 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 377.642 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 377.644 * * [simplify]: iteration 3 : 33 enodes (cost 5 ) 377.649 * * [simplify]: iteration 4 : 75 enodes (cost 5 ) 377.670 * * [simplify]: iteration 5 : 184 enodes (cost 5 ) 377.771 * * [simplify]: iteration 6 : 563 enodes (cost 5 ) 378.516 * * [simplify]: iteration 7 : 1982 enodes (cost 5 ) 380.425 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 380.426 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 380.427 * * [simplify]: iteration 1 : 10 enodes (cost 11 ) 380.433 * * [simplify]: iteration 2 : 16 enodes (cost 11 ) 380.435 * * [simplify]: iteration 3 : 34 enodes (cost 11 ) 380.440 * * [simplify]: iteration 4 : 76 enodes (cost 11 ) 380.460 * * [simplify]: iteration 5 : 183 enodes (cost 11 ) 380.565 * * [simplify]: iteration 6 : 564 enodes (cost 11 ) 381.319 * * [simplify]: iteration 7 : 1989 enodes (cost 11 ) 383.261 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 383.262 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 383.262 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 383.263 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 383.265 * * [simplify]: iteration 3 : 33 enodes (cost 5 ) 383.270 * * [simplify]: iteration 4 : 75 enodes (cost 5 ) 383.291 * * [simplify]: iteration 5 : 184 enodes (cost 5 ) 383.635 * * [simplify]: iteration 6 : 563 enodes (cost 5 ) 384.391 * * [simplify]: iteration 7 : 1982 enodes (cost 5 ) 386.285 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 386.285 * * [simplify]: iteration 0 : 6 enodes (cost 14 ) 386.286 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 386.288 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 386.291 * * [simplify]: iteration 3 : 54 enodes (cost 6 ) 386.301 * * [simplify]: iteration 4 : 126 enodes (cost 6 ) 386.348 * * [simplify]: iteration 5 : 322 enodes (cost 6 ) 386.620 * * [simplify]: iteration 6 : 1045 enodes (cost 6 ) 389.107 * * [simplify]: iteration 7 : 3850 enodes (cost 6 ) 391.293 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 391.294 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 391.295 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 391.296 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 391.298 * * [simplify]: iteration 3 : 34 enodes (cost 8 ) 391.303 * * [simplify]: iteration 4 : 74 enodes (cost 8 ) 391.330 * * [simplify]: iteration 5 : 183 enodes (cost 8 ) 391.425 * * [simplify]: iteration 6 : 559 enodes (cost 8 ) 392.160 * * [simplify]: iteration 7 : 1979 enodes (cost 8 ) 394.234 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 394.235 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 394.236 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 394.237 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 394.238 * * [simplify]: iteration 3 : 33 enodes (cost 5 ) 394.243 * * [simplify]: iteration 4 : 73 enodes (cost 5 ) 394.264 * * [simplify]: iteration 5 : 175 enodes (cost 5 ) 394.366 * * [simplify]: iteration 6 : 555 enodes (cost 5 ) 395.102 * * [simplify]: iteration 7 : 1976 enodes (cost 5 ) 397.221 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 397.222 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 397.222 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 397.224 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 397.226 * * [simplify]: iteration 3 : 33 enodes (cost 5 ) 397.231 * * [simplify]: iteration 4 : 73 enodes (cost 5 ) 397.255 * * [simplify]: iteration 5 : 175 enodes (cost 5 ) 397.353 * * [simplify]: iteration 6 : 555 enodes (cost 5 ) 398.065 * * [simplify]: iteration 7 : 1976 enodes (cost 5 ) 400.160 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 400.161 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 400.162 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 400.163 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 400.164 * * [simplify]: iteration 3 : 33 enodes (cost 5 ) 400.170 * * [simplify]: iteration 4 : 73 enodes (cost 5 ) 400.195 * * [simplify]: iteration 5 : 175 enodes (cost 5 ) 400.289 * * [simplify]: iteration 6 : 555 enodes (cost 5 ) 401.006 * * [simplify]: iteration 7 : 1976 enodes (cost 5 ) 403.109 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 403.110 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 403.111 * * [simplify]: iteration 1 : 10 enodes (cost 1 ) 403.112 * * [simplify]: iteration 2 : 13 enodes (cost 1 ) 403.112 * * [simplify]: iteration 3 : 19 enodes (cost 1 ) 403.114 * * [simplify]: iteration 4 : 26 enodes (cost 1 ) 403.115 * * [simplify]: iteration 5 : 36 enodes (cost 1 ) 403.118 * * [simplify]: iteration 6 : 49 enodes (cost 1 ) 403.121 * * [simplify]: iteration 7 : 65 enodes (cost 1 ) 403.125 * * [simplify]: iteration 8 : 84 enodes (cost 1 ) 403.131 * * [simplify]: iteration 9 : 106 enodes (cost 1 ) 403.139 * * [simplify]: iteration 10 : 131 enodes (cost 1 ) 403.152 * * [simplify]: iteration 11 : 159 enodes (cost 1 ) 403.165 * * [simplify]: iteration 12 : 190 enodes (cost 1 ) 403.180 * * [simplify]: iteration 13 : 224 enodes (cost 1 ) 403.201 * * [simplify]: iteration 14 : 261 enodes (cost 1 ) 403.228 * * [simplify]: iteration 15 : 301 enodes (cost 1 ) 403.262 * * [simplify]: iteration 16 : 344 enodes (cost 1 ) 403.300 * * [simplify]: iteration 17 : 390 enodes (cost 1 ) 403.350 * * [simplify]: iteration 18 : 439 enodes (cost 1 ) 403.413 * * [simplify]: iteration 19 : 491 enodes (cost 1 ) 403.490 * * [simplify]: iteration 20 : 546 enodes (cost 1 ) 403.582 * * [simplify]: iteration 21 : 604 enodes (cost 1 ) 403.689 * * [simplify]: iteration 22 : 665 enodes (cost 1 ) 403.818 * * [simplify]: iteration 23 : 729 enodes (cost 1 ) 403.977 * * [simplify]: iteration 24 : 796 enodes (cost 1 ) 404.150 * * [simplify]: iteration 25 : 866 enodes (cost 1 ) 404.351 * * [simplify]: iteration 26 : 939 enodes (cost 1 ) 404.587 * * [simplify]: iteration 27 : 1015 enodes (cost 1 ) 404.862 * * [simplify]: iteration 28 : 1094 enodes (cost 1 ) 405.178 * * [simplify]: iteration 29 : 1176 enodes (cost 1 ) 405.540 * * [simplify]: iteration 30 : 1261 enodes (cost 1 ) 405.953 * * [simplify]: iteration 31 : 1349 enodes (cost 1 ) 406.427 * * [simplify]: iteration 32 : 1440 enodes (cost 1 ) 406.967 * * [simplify]: iteration 33 : 1534 enodes (cost 1 ) 407.568 * * [simplify]: iteration 34 : 1631 enodes (cost 1 ) 408.254 * * [simplify]: iteration 35 : 1731 enodes (cost 1 ) 409.031 * * [simplify]: iteration 36 : 1834 enodes (cost 1 ) 409.909 * * [simplify]: iteration 37 : 1940 enodes (cost 1 ) 410.897 * * [simplify]: iteration 38 : 2049 enodes (cost 1 ) 411.996 * * [simplify]: iteration 39 : 2161 enodes (cost 1 ) 413.224 * * [simplify]: iteration 40 : 2276 enodes (cost 1 ) 414.584 * * [simplify]: iteration 41 : 2394 enodes (cost 1 ) 416.380 * * [simplify]: iteration 42 : 2515 enodes (cost 1 ) 418.150 * * [simplify]: iteration 43 : 2639 enodes (cost 1 ) 420.097 * * [simplify]: iteration 44 : 2766 enodes (cost 1 ) 422.144 * * [simplify]: iteration 45 : 2896 enodes (cost 1 ) 424.347 * * [simplify]: iteration 46 : 3029 enodes (cost 1 ) 426.702 * * [simplify]: iteration 47 : 3165 enodes (cost 1 ) 429.221 * * [simplify]: iteration 48 : 3304 enodes (cost 1 ) 431.940 * * [simplify]: iteration 49 : 3446 enodes (cost 1 ) 434.848 * * [simplify]: iteration 50 : 3591 enodes (cost 1 ) 438.012 * * [simplify]: iteration 51 : 3739 enodes (cost 1 ) 441.393 * * [simplify]: iteration 52 : 3890 enodes (cost 1 ) 445.013 * * [simplify]: iteration 53 : 4044 enodes (cost 1 ) 448.893 * * [simplify]: iteration 54 : 4201 enodes (cost 1 ) 453.055 * * [simplify]: iteration 55 : 4361 enodes (cost 1 ) 457.488 * * [simplify]: iteration 56 : 4524 enodes (cost 1 ) 462.214 * * [simplify]: iteration 57 : 4690 enodes (cost 1 ) 467.721 * * [simplify]: iteration 58 : 4859 enodes (cost 1 ) 469.979 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 469.980 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 469.981 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 469.982 * * [simplify]: iteration 2 : 14 enodes (cost 4 ) 469.984 * * [simplify]: iteration 3 : 32 enodes (cost 4 ) 469.989 * * [simplify]: iteration 4 : 74 enodes (cost 4 ) 470.016 * * [simplify]: iteration 5 : 183 enodes (cost 4 ) 470.113 * * [simplify]: iteration 6 : 561 enodes (cost 4 ) 470.885 * * [simplify]: iteration 7 : 1980 enodes (cost 4 ) 472.822 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 472.823 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 472.824 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 472.825 * * [simplify]: iteration 2 : 16 enodes (cost 5 ) 472.827 * * [simplify]: iteration 3 : 34 enodes (cost 5 ) 472.832 * * [simplify]: iteration 4 : 76 enodes (cost 5 ) 472.861 * * [simplify]: iteration 5 : 183 enodes (cost 5 ) 472.970 * * [simplify]: iteration 6 : 564 enodes (cost 5 ) 473.736 * * [simplify]: iteration 7 : 1975 enodes (cost 5 ) 475.751 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 475.752 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 475.752 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 475.753 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 475.755 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 475.760 * * [simplify]: iteration 4 : 74 enodes (cost 5 ) 475.781 * * [simplify]: iteration 5 : 183 enodes (cost 5 ) 475.886 * * [simplify]: iteration 6 : 563 enodes (cost 5 ) 476.645 * * [simplify]: iteration 7 : 1969 enodes (cost 5 ) 478.817 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 478.818 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 478.818 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 478.820 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 478.821 * * [simplify]: iteration 3 : 33 enodes (cost 5 ) 478.827 * * [simplify]: iteration 4 : 75 enodes (cost 5 ) 478.847 * * [simplify]: iteration 5 : 184 enodes (cost 5 ) 478.953 * * [simplify]: iteration 6 : 563 enodes (cost 5 ) 479.721 * * [simplify]: iteration 7 : 1982 enodes (cost 5 ) 481.694 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 481.695 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 481.696 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 481.696 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 481.698 * * [simplify]: iteration 3 : 33 enodes (cost 5 ) 481.703 * * [simplify]: iteration 4 : 75 enodes (cost 5 ) 481.734 * * [simplify]: iteration 5 : 184 enodes (cost 5 ) 481.835 * * [simplify]: iteration 6 : 563 enodes (cost 5 ) 482.604 * * [simplify]: iteration 7 : 1982 enodes (cost 5 ) 484.559 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 484.560 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 484.560 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 484.560 * * [simplify]: iteration done : 4 enodes (cost 1 ) 484.571 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 484.571 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 484.572 * * [simplify]: iteration 2 : 14 enodes (cost 4 ) 484.574 * * [simplify]: iteration 3 : 32 enodes (cost 4 ) 484.579 * * [simplify]: iteration 4 : 74 enodes (cost 4 ) 484.599 * * [simplify]: iteration 5 : 183 enodes (cost 4 ) 484.705 * * [simplify]: iteration 6 : 561 enodes (cost 4 ) 485.475 * * [simplify]: iteration 7 : 1980 enodes (cost 4 ) 487.368 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 487.368 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 487.369 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 487.370 * * [simplify]: iteration 2 : 18 enodes (cost 6 ) 487.372 * * [simplify]: iteration 3 : 39 enodes (cost 6 ) 487.378 * * [simplify]: iteration 4 : 87 enodes (cost 6 ) 487.406 * * [simplify]: iteration 5 : 214 enodes (cost 6 ) 487.567 * * [simplify]: iteration 6 : 716 enodes (cost 6 ) 488.694 * * [simplify]: iteration 7 : 2546 enodes (cost 6 ) 491.221 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 491.222 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 491.222 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 491.223 * * [simplify]: iteration 2 : 18 enodes (cost 6 ) 491.225 * * [simplify]: iteration 3 : 39 enodes (cost 6 ) 491.231 * * [simplify]: iteration 4 : 87 enodes (cost 6 ) 491.268 * * [simplify]: iteration 5 : 214 enodes (cost 6 ) 491.416 * * [simplify]: iteration 6 : 716 enodes (cost 6 ) 492.547 * * [simplify]: iteration 7 : 2546 enodes (cost 6 ) 495.073 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 495.074 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 495.074 * * [simplify]: iteration done : 3 enodes (cost 3 ) 495.075 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 495.075 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 495.076 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 495.078 * * [simplify]: iteration 3 : 33 enodes (cost 5 ) 495.083 * * [simplify]: iteration 4 : 75 enodes (cost 5 ) 495.103 * * [simplify]: iteration 5 : 184 enodes (cost 5 ) 495.443 * * [simplify]: iteration 6 : 563 enodes (cost 5 ) 496.212 * * [simplify]: iteration 7 : 1982 enodes (cost 5 ) 498.158 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 498.159 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 498.160 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 498.161 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 498.163 * * [simplify]: iteration 3 : 33 enodes (cost 5 ) 498.167 * * [simplify]: iteration 4 : 75 enodes (cost 5 ) 498.187 * * [simplify]: iteration 5 : 184 enodes (cost 5 ) 498.292 * * [simplify]: iteration 6 : 563 enodes (cost 5 ) 499.050 * * [simplify]: iteration 7 : 1982 enodes (cost 5 ) 500.966 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 500.967 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 500.967 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 500.968 * * [simplify]: iteration 2 : 18 enodes (cost 5 ) 500.971 * * [simplify]: iteration 3 : 44 enodes (cost 5 ) 500.979 * * [simplify]: iteration 4 : 112 enodes (cost 5 ) 501.025 * * [simplify]: iteration 5 : 303 enodes (cost 5 ) 501.296 * * [simplify]: iteration 6 : 998 enodes (cost 5 ) 503.639 * * [simplify]: iteration 7 : 3763 enodes (cost 5 ) 505.832 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 505.833 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 505.833 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 505.834 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 505.837 * * [simplify]: iteration 3 : 35 enodes (cost 7 ) 505.842 * * [simplify]: iteration 4 : 75 enodes (cost 7 ) 505.873 * * [simplify]: iteration 5 : 183 enodes (cost 7 ) 505.981 * * [simplify]: iteration 6 : 564 enodes (cost 7 ) 506.740 * * [simplify]: iteration 7 : 1979 enodes (cost 7 ) 508.736 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 508.737 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 508.738 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 508.739 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 508.741 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 508.746 * * [simplify]: iteration 4 : 77 enodes (cost 9 ) 508.775 * * [simplify]: iteration 5 : 181 enodes (cost 9 ) 508.873 * * [simplify]: iteration 6 : 552 enodes (cost 9 ) 509.638 * * [simplify]: iteration 7 : 1979 enodes (cost 9 ) 511.569 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 511.570 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 511.576 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 511.577 * * [simplify]: iteration 2 : 22 enodes (cost 8 ) 511.580 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 511.585 * * [simplify]: iteration 4 : 80 enodes (cost 8 ) 511.606 * * [simplify]: iteration 5 : 182 enodes (cost 8 ) 511.714 * * [simplify]: iteration 6 : 557 enodes (cost 8 ) 512.447 * * [simplify]: iteration 7 : 1959 enodes (cost 8 ) 514.280 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 514.281 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 514.282 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 514.284 * * [simplify]: iteration 2 : 25 enodes (cost 8 ) 514.287 * * [simplify]: iteration 3 : 51 enodes (cost 8 ) 514.294 * * [simplify]: iteration 4 : 112 enodes (cost 8 ) 514.337 * * [simplify]: iteration 5 : 271 enodes (cost 8 ) 514.497 * * [simplify]: iteration 6 : 766 enodes (cost 8 ) 515.465 * * [simplify]: iteration 7 : 2561 enodes (cost 8 ) 517.349 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 517.350 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 517.351 * * [simplify]: iteration 1 : 21 enodes (cost 13 ) 517.354 * * [simplify]: iteration 2 : 56 enodes (cost 11 ) 517.366 * * [simplify]: iteration 3 : 157 enodes (cost 11 ) 517.446 * * [simplify]: iteration 4 : 446 enodes (cost 11 ) 517.858 * * [simplify]: iteration 5 : 1373 enodes (cost 11 ) 521.307 * * [simplify]: iteration 6 : 4831 enodes (cost 11 ) 523.249 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 523.249 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 523.250 * * [simplify]: iteration 1 : 13 enodes (cost 17 ) 523.252 * * [simplify]: iteration 2 : 19 enodes (cost 17 ) 523.254 * * [simplify]: iteration 3 : 37 enodes (cost 17 ) 523.259 * * [simplify]: iteration 4 : 77 enodes (cost 17 ) 523.290 * * [simplify]: iteration 5 : 182 enodes (cost 17 ) 523.399 * * [simplify]: iteration 6 : 564 enodes (cost 17 ) 524.157 * * [simplify]: iteration 7 : 1989 enodes (cost 17 ) 525.968 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 525.969 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 525.970 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 525.971 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 525.974 * * [simplify]: iteration 3 : 36 enodes (cost 8 ) 525.979 * * [simplify]: iteration 4 : 76 enodes (cost 8 ) 525.999 * * [simplify]: iteration 5 : 182 enodes (cost 8 ) 526.103 * * [simplify]: iteration 6 : 561 enodes (cost 8 ) 526.847 * * [simplify]: iteration 7 : 1967 enodes (cost 8 ) 528.739 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 528.740 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 528.741 * * [simplify]: iteration 1 : 23 enodes (cost 23 ) 528.746 * * [simplify]: iteration 2 : 58 enodes (cost 9 ) 528.770 * * [simplify]: iteration 3 : 129 enodes (cost 9 ) 528.822 * * [simplify]: iteration 4 : 328 enodes (cost 9 ) 529.106 * * [simplify]: iteration 5 : 1120 enodes (cost 9 ) 531.846 * * [simplify]: iteration 6 : 4520 enodes (cost 9 ) 534.318 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 534.318 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 534.319 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 534.320 * * [simplify]: iteration 2 : 18 enodes (cost 5 ) 534.323 * * [simplify]: iteration 3 : 44 enodes (cost 5 ) 534.331 * * [simplify]: iteration 4 : 112 enodes (cost 5 ) 534.367 * * [simplify]: iteration 5 : 303 enodes (cost 5 ) 534.641 * * [simplify]: iteration 6 : 998 enodes (cost 5 ) 537.007 * * [simplify]: iteration 7 : 3763 enodes (cost 5 ) 539.245 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 539.246 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 539.246 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 539.248 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 539.250 * * [simplify]: iteration 3 : 36 enodes (cost 8 ) 539.255 * * [simplify]: iteration 4 : 76 enodes (cost 8 ) 539.275 * * [simplify]: iteration 5 : 182 enodes (cost 8 ) 539.379 * * [simplify]: iteration 6 : 561 enodes (cost 8 ) 540.142 * * [simplify]: iteration 7 : 1967 enodes (cost 8 ) 542.047 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 542.048 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 542.049 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 542.050 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 542.052 * * [simplify]: iteration 3 : 36 enodes (cost 8 ) 542.057 * * [simplify]: iteration 4 : 76 enodes (cost 8 ) 542.088 * * [simplify]: iteration 5 : 182 enodes (cost 8 ) 542.194 * * [simplify]: iteration 6 : 561 enodes (cost 8 ) 542.956 * * [simplify]: iteration 7 : 1967 enodes (cost 8 ) 544.859 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 544.860 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 544.861 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 544.862 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 544.864 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 544.869 * * [simplify]: iteration 4 : 77 enodes (cost 9 ) 544.889 * * [simplify]: iteration 5 : 183 enodes (cost 9 ) 544.995 * * [simplify]: iteration 6 : 557 enodes (cost 9 ) 545.748 * * [simplify]: iteration 7 : 1972 enodes (cost 9 ) 547.703 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 547.704 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 547.705 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 547.706 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 547.709 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 547.713 * * [simplify]: iteration 4 : 77 enodes (cost 9 ) 547.743 * * [simplify]: iteration 5 : 183 enodes (cost 9 ) 547.841 * * [simplify]: iteration 6 : 557 enodes (cost 9 ) 548.608 * * [simplify]: iteration 7 : 1972 enodes (cost 9 ) 550.568 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 550.568 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 550.569 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 550.578 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 550.581 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 550.586 * * [simplify]: iteration 4 : 77 enodes (cost 9 ) 550.606 * * [simplify]: iteration 5 : 181 enodes (cost 9 ) 550.711 * * [simplify]: iteration 6 : 552 enodes (cost 9 ) 551.461 * * [simplify]: iteration 7 : 1979 enodes (cost 9 ) 553.671 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 553.672 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 553.673 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 553.674 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 553.676 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 553.681 * * [simplify]: iteration 4 : 77 enodes (cost 9 ) 553.711 * * [simplify]: iteration 5 : 181 enodes (cost 9 ) 553.807 * * [simplify]: iteration 6 : 552 enodes (cost 9 ) 554.575 * * [simplify]: iteration 7 : 1979 enodes (cost 9 ) 556.534 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 556.535 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 556.536 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 556.537 * * [simplify]: iteration 2 : 22 enodes (cost 10 ) 556.540 * * [simplify]: iteration 3 : 43 enodes (cost 10 ) 556.546 * * [simplify]: iteration 4 : 91 enodes (cost 10 ) 556.575 * * [simplify]: iteration 5 : 222 enodes (cost 10 ) 556.734 * * [simplify]: iteration 6 : 727 enodes (cost 10 ) 557.852 * * [simplify]: iteration 7 : 2551 enodes (cost 10 ) 560.299 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 560.300 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 560.301 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 560.302 * * [simplify]: iteration 2 : 22 enodes (cost 10 ) 560.305 * * [simplify]: iteration 3 : 43 enodes (cost 10 ) 560.311 * * [simplify]: iteration 4 : 91 enodes (cost 10 ) 560.348 * * [simplify]: iteration 5 : 222 enodes (cost 10 ) 560.499 * * [simplify]: iteration 6 : 727 enodes (cost 10 ) 561.628 * * [simplify]: iteration 7 : 2551 enodes (cost 10 ) 564.074 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 564.075 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 564.075 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 564.077 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 564.079 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 564.084 * * [simplify]: iteration 4 : 77 enodes (cost 9 ) 564.113 * * [simplify]: iteration 5 : 181 enodes (cost 9 ) 564.209 * * [simplify]: iteration 6 : 552 enodes (cost 9 ) 564.964 * * [simplify]: iteration 7 : 1979 enodes (cost 9 ) 566.878 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 566.878 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 566.879 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 566.881 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 566.883 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 566.888 * * [simplify]: iteration 4 : 77 enodes (cost 9 ) 566.908 * * [simplify]: iteration 5 : 181 enodes (cost 9 ) 567.012 * * [simplify]: iteration 6 : 552 enodes (cost 9 ) 567.763 * * [simplify]: iteration 7 : 1979 enodes (cost 9 ) 569.649 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 569.649 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 569.650 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 569.651 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 569.654 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 569.658 * * [simplify]: iteration 4 : 77 enodes (cost 9 ) 569.688 * * [simplify]: iteration 5 : 183 enodes (cost 9 ) 569.782 * * [simplify]: iteration 6 : 557 enodes (cost 9 ) 570.518 * * [simplify]: iteration 7 : 1972 enodes (cost 9 ) 572.405 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 572.406 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 572.407 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 572.408 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 572.410 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 572.415 * * [simplify]: iteration 4 : 77 enodes (cost 9 ) 572.434 * * [simplify]: iteration 5 : 183 enodes (cost 9 ) 572.535 * * [simplify]: iteration 6 : 557 enodes (cost 9 ) 573.264 * * [simplify]: iteration 7 : 1972 enodes (cost 9 ) 575.141 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 575.141 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 575.142 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 575.143 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 575.145 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 575.150 * * [simplify]: iteration 4 : 77 enodes (cost 9 ) 575.170 * * [simplify]: iteration 5 : 181 enodes (cost 9 ) 575.271 * * [simplify]: iteration 6 : 552 enodes (cost 9 ) 576.003 * * [simplify]: iteration 7 : 1979 enodes (cost 9 ) 577.879 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 577.879 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 577.880 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 577.881 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 577.884 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 577.888 * * [simplify]: iteration 4 : 77 enodes (cost 9 ) 577.908 * * [simplify]: iteration 5 : 181 enodes (cost 9 ) 578.011 * * [simplify]: iteration 6 : 552 enodes (cost 9 ) 578.741 * * [simplify]: iteration 7 : 1979 enodes (cost 9 ) 580.615 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 580.616 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 580.617 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 580.618 * * [simplify]: iteration 2 : 22 enodes (cost 10 ) 580.621 * * [simplify]: iteration 3 : 43 enodes (cost 10 ) 580.627 * * [simplify]: iteration 4 : 91 enodes (cost 10 ) 580.664 * * [simplify]: iteration 5 : 222 enodes (cost 10 ) 580.810 * * [simplify]: iteration 6 : 727 enodes (cost 10 ) 581.913 * * [simplify]: iteration 7 : 2551 enodes (cost 10 ) 584.552 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 584.553 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 584.554 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 584.555 * * [simplify]: iteration 2 : 22 enodes (cost 10 ) 584.558 * * [simplify]: iteration 3 : 43 enodes (cost 10 ) 584.563 * * [simplify]: iteration 4 : 91 enodes (cost 10 ) 584.600 * * [simplify]: iteration 5 : 222 enodes (cost 10 ) 584.755 * * [simplify]: iteration 6 : 727 enodes (cost 10 ) 585.850 * * [simplify]: iteration 7 : 2551 enodes (cost 10 ) 588.229 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 588.230 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 588.231 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 588.232 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 588.242 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 588.247 * * [simplify]: iteration 4 : 77 enodes (cost 9 ) 588.267 * * [simplify]: iteration 5 : 181 enodes (cost 9 ) 588.370 * * [simplify]: iteration 6 : 552 enodes (cost 9 ) 589.109 * * [simplify]: iteration 7 : 1979 enodes (cost 9 ) 590.982 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 590.983 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 590.983 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 590.985 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 590.987 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 590.992 * * [simplify]: iteration 4 : 77 enodes (cost 9 ) 591.021 * * [simplify]: iteration 5 : 181 enodes (cost 9 ) 591.115 * * [simplify]: iteration 6 : 552 enodes (cost 9 ) 591.849 * * [simplify]: iteration 7 : 1979 enodes (cost 9 ) 593.728 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 593.729 * * [simplify]: iteration 0 : 8 enodes (cost 14 ) 593.730 * * [simplify]: iteration 1 : 15 enodes (cost 14 ) 593.731 * * [simplify]: iteration 2 : 23 enodes (cost 14 ) 593.734 * * [simplify]: iteration 3 : 41 enodes (cost 14 ) 593.740 * * [simplify]: iteration 4 : 81 enodes (cost 14 ) 593.759 * * [simplify]: iteration 5 : 183 enodes (cost 14 ) 593.860 * * [simplify]: iteration 6 : 556 enodes (cost 14 ) 594.581 * * [simplify]: iteration 7 : 1968 enodes (cost 14 ) 596.492 * * [simplify]: iteration done : 5001 enodes (cost 14 ) 596.493 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 596.494 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 596.495 * * [simplify]: iteration 2 : 19 enodes (cost 11 ) 596.498 * * [simplify]: iteration 3 : 37 enodes (cost 11 ) 596.503 * * [simplify]: iteration 4 : 77 enodes (cost 11 ) 596.523 * * [simplify]: iteration 5 : 183 enodes (cost 11 ) 596.624 * * [simplify]: iteration 6 : 557 enodes (cost 11 ) 597.359 * * [simplify]: iteration 7 : 1972 enodes (cost 11 ) 599.234 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 599.235 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 599.235 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 599.237 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 599.239 * * [simplify]: iteration 3 : 36 enodes (cost 8 ) 599.244 * * [simplify]: iteration 4 : 76 enodes (cost 8 ) 599.272 * * [simplify]: iteration 5 : 186 enodes (cost 8 ) 599.366 * * [simplify]: iteration 6 : 569 enodes (cost 8 ) 600.075 * * [simplify]: iteration 7 : 1969 enodes (cost 8 ) 602.016 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 602.017 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 602.018 * * [simplify]: iteration 1 : 13 enodes (cost 4 ) 602.019 * * [simplify]: iteration 2 : 16 enodes (cost 4 ) 602.020 * * [simplify]: iteration 3 : 22 enodes (cost 2 ) 602.022 * * [simplify]: iteration 4 : 29 enodes (cost 2 ) 602.024 * * [simplify]: iteration 5 : 39 enodes (cost 2 ) 602.027 * * [simplify]: iteration 6 : 52 enodes (cost 2 ) 602.030 * * [simplify]: iteration 7 : 68 enodes (cost 2 ) 602.035 * * [simplify]: iteration 8 : 87 enodes (cost 2 ) 602.041 * * [simplify]: iteration 9 : 109 enodes (cost 2 ) 602.048 * * [simplify]: iteration 10 : 134 enodes (cost 2 ) 602.058 * * [simplify]: iteration 11 : 162 enodes (cost 2 ) 602.078 * * [simplify]: iteration 12 : 193 enodes (cost 2 ) 602.093 * * [simplify]: iteration 13 : 227 enodes (cost 2 ) 602.112 * * [simplify]: iteration 14 : 264 enodes (cost 2 ) 602.144 * * [simplify]: iteration 15 : 304 enodes (cost 2 ) 602.174 * * [simplify]: iteration 16 : 347 enodes (cost 2 ) 602.218 * * [simplify]: iteration 17 : 393 enodes (cost 2 ) 602.270 * * [simplify]: iteration 18 : 442 enodes (cost 2 ) 602.333 * * [simplify]: iteration 19 : 494 enodes (cost 2 ) 602.414 * * [simplify]: iteration 20 : 549 enodes (cost 2 ) 602.508 * * [simplify]: iteration 21 : 607 enodes (cost 2 ) 602.617 * * [simplify]: iteration 22 : 668 enodes (cost 2 ) 602.747 * * [simplify]: iteration 23 : 732 enodes (cost 2 ) 602.904 * * [simplify]: iteration 24 : 799 enodes (cost 2 ) 603.091 * * [simplify]: iteration 25 : 869 enodes (cost 2 ) 603.304 * * [simplify]: iteration 26 : 942 enodes (cost 2 ) 603.553 * * [simplify]: iteration 27 : 1018 enodes (cost 2 ) 603.838 * * [simplify]: iteration 28 : 1097 enodes (cost 2 ) 604.162 * * [simplify]: iteration 29 : 1179 enodes (cost 2 ) 604.539 * * [simplify]: iteration 30 : 1264 enodes (cost 2 ) 604.975 * * [simplify]: iteration 31 : 1352 enodes (cost 2 ) 605.469 * * [simplify]: iteration 32 : 1443 enodes (cost 2 ) 606.025 * * [simplify]: iteration 33 : 1537 enodes (cost 2 ) 606.651 * * [simplify]: iteration 34 : 1634 enodes (cost 2 ) 607.361 * * [simplify]: iteration 35 : 1734 enodes (cost 2 ) 608.162 * * [simplify]: iteration 36 : 1837 enodes (cost 2 ) 609.060 * * [simplify]: iteration 37 : 1943 enodes (cost 2 ) 610.077 * * [simplify]: iteration 38 : 2052 enodes (cost 2 ) 611.212 * * [simplify]: iteration 39 : 2164 enodes (cost 2 ) 612.478 * * [simplify]: iteration 40 : 2279 enodes (cost 2 ) 613.882 * * [simplify]: iteration 41 : 2397 enodes (cost 2 ) 615.452 * * [simplify]: iteration 42 : 2518 enodes (cost 2 ) 617.209 * * [simplify]: iteration 43 : 2642 enodes (cost 2 ) 619.152 * * [simplify]: iteration 44 : 2769 enodes (cost 2 ) 621.225 * * [simplify]: iteration 45 : 2899 enodes (cost 2 ) 623.458 * * [simplify]: iteration 46 : 3032 enodes (cost 2 ) 625.842 * * [simplify]: iteration 47 : 3168 enodes (cost 2 ) 628.402 * * [simplify]: iteration 48 : 3307 enodes (cost 2 ) 631.148 * * [simplify]: iteration 49 : 3449 enodes (cost 2 ) 634.281 * * [simplify]: iteration 50 : 3594 enodes (cost 2 ) 637.371 * * [simplify]: iteration 51 : 3742 enodes (cost 2 ) 640.684 * * [simplify]: iteration 52 : 3893 enodes (cost 2 ) 644.193 * * [simplify]: iteration 53 : 4047 enodes (cost 2 ) 647.977 * * [simplify]: iteration 54 : 4204 enodes (cost 2 ) 652.001 * * [simplify]: iteration 55 : 4364 enodes (cost 2 ) 656.346 * * [simplify]: iteration 56 : 4527 enodes (cost 2 ) 660.989 * * [simplify]: iteration 57 : 4693 enodes (cost 2 ) 665.943 * * [simplify]: iteration 58 : 4862 enodes (cost 2 ) 670.659 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 670.660 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 670.661 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 670.662 * * [simplify]: iteration 2 : 19 enodes (cost 8 ) 670.664 * * [simplify]: iteration 3 : 37 enodes (cost 8 ) 670.670 * * [simplify]: iteration 4 : 77 enodes (cost 8 ) 670.689 * * [simplify]: iteration 5 : 182 enodes (cost 8 ) 670.790 * * [simplify]: iteration 6 : 564 enodes (cost 8 ) 671.521 * * [simplify]: iteration 7 : 1996 enodes (cost 8 ) 673.489 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 673.489 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 673.490 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 673.491 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 673.494 * * [simplify]: iteration 3 : 36 enodes (cost 8 ) 673.498 * * [simplify]: iteration 4 : 76 enodes (cost 8 ) 673.526 * * [simplify]: iteration 5 : 182 enodes (cost 8 ) 673.626 * * [simplify]: iteration 6 : 561 enodes (cost 8 ) 674.338 * * [simplify]: iteration 7 : 1967 enodes (cost 8 ) 676.139 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 676.140 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 676.140 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 676.141 * * [simplify]: iteration done : 8 enodes (cost 4 ) 676.142 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 676.142 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 676.144 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 676.146 * * [simplify]: iteration 3 : 42 enodes (cost 9 ) 676.152 * * [simplify]: iteration 4 : 92 enodes (cost 9 ) 676.187 * * [simplify]: iteration 5 : 224 enodes (cost 9 ) 676.332 * * [simplify]: iteration 6 : 727 enodes (cost 9 ) 677.376 * * [simplify]: iteration 7 : 2511 enodes (cost 9 ) 679.841 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 679.841 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 679.842 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 679.843 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 679.846 * * [simplify]: iteration 3 : 36 enodes (cost 8 ) 679.851 * * [simplify]: iteration 4 : 76 enodes (cost 8 ) 679.870 * * [simplify]: iteration 5 : 182 enodes (cost 8 ) 679.970 * * [simplify]: iteration 6 : 561 enodes (cost 8 ) 680.685 * * [simplify]: iteration 7 : 1967 enodes (cost 8 ) 682.748 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 682.749 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 682.750 * * [simplify]: iteration 1 : 7 enodes (cost 2 ) 682.750 * * [simplify]: iteration 2 : 10 enodes (cost 2 ) 682.751 * * [simplify]: iteration done : 10 enodes (cost 2 ) 682.751 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 682.752 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 682.753 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 682.756 * * [simplify]: iteration 3 : 36 enodes (cost 8 ) 682.761 * * [simplify]: iteration 4 : 76 enodes (cost 8 ) 682.790 * * [simplify]: iteration 5 : 186 enodes (cost 8 ) 682.890 * * [simplify]: iteration 6 : 569 enodes (cost 8 ) 683.593 * * [simplify]: iteration 7 : 1969 enodes (cost 8 ) 685.540 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 685.541 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 685.542 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 685.543 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 685.545 * * [simplify]: iteration 3 : 36 enodes (cost 8 ) 685.550 * * [simplify]: iteration 4 : 76 enodes (cost 8 ) 685.570 * * [simplify]: iteration 5 : 186 enodes (cost 8 ) 685.672 * * [simplify]: iteration 6 : 569 enodes (cost 8 ) 686.375 * * [simplify]: iteration 7 : 1969 enodes (cost 8 ) 688.293 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 688.293 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 688.294 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 688.295 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 688.306 * * [simplify]: iteration 3 : 36 enodes (cost 8 ) 688.311 * * [simplify]: iteration 4 : 76 enodes (cost 8 ) 688.331 * * [simplify]: iteration 5 : 186 enodes (cost 8 ) 688.433 * * [simplify]: iteration 6 : 569 enodes (cost 8 ) 689.134 * * [simplify]: iteration 7 : 1969 enodes (cost 8 ) 691.048 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 691.049 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 691.050 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 691.051 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 691.053 * * [simplify]: iteration 3 : 35 enodes (cost 7 ) 691.058 * * [simplify]: iteration 4 : 75 enodes (cost 7 ) 691.086 * * [simplify]: iteration 5 : 183 enodes (cost 7 ) 691.181 * * [simplify]: iteration 6 : 564 enodes (cost 7 ) 691.902 * * [simplify]: iteration 7 : 1979 enodes (cost 7 ) 693.817 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 693.818 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 693.818 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 693.820 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 693.822 * * [simplify]: iteration 3 : 36 enodes (cost 8 ) 693.827 * * [simplify]: iteration 4 : 76 enodes (cost 8 ) 693.846 * * [simplify]: iteration 5 : 186 enodes (cost 8 ) 693.947 * * [simplify]: iteration 6 : 569 enodes (cost 8 ) 694.651 * * [simplify]: iteration 7 : 1969 enodes (cost 8 ) 696.578 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 696.579 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 696.580 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 696.581 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 696.583 * * [simplify]: iteration 3 : 35 enodes (cost 7 ) 696.588 * * [simplify]: iteration 4 : 75 enodes (cost 7 ) 696.616 * * [simplify]: iteration 5 : 183 enodes (cost 7 ) 696.719 * * [simplify]: iteration 6 : 564 enodes (cost 7 ) 697.446 * * [simplify]: iteration 7 : 1979 enodes (cost 7 ) 699.382 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 699.382 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 699.383 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 699.383 * * [simplify]: iteration done : 5 enodes (cost 4 ) 699.384 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 699.384 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 699.385 * * [simplify]: iteration done : 5 enodes (cost 4 ) 699.385 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 699.386 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 699.386 * * [simplify]: iteration done : 6 enodes (cost 1 ) 699.387 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 699.387 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 699.388 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 699.390 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 699.396 * * [simplify]: iteration 4 : 97 enodes (cost 7 ) 699.436 * * [simplify]: iteration 5 : 254 enodes (cost 7 ) 699.665 * * [simplify]: iteration 6 : 865 enodes (cost 7 ) 701.386 * * [simplify]: iteration 7 : 3279 enodes (cost 7 ) 702.702 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 702.703 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 702.703 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 702.704 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 702.706 * * [simplify]: iteration 3 : 31 enodes (cost 4 ) 702.710 * * [simplify]: iteration 4 : 71 enodes (cost 4 ) 702.738 * * [simplify]: iteration 5 : 175 enodes (cost 4 ) 702.830 * * [simplify]: iteration 6 : 552 enodes (cost 4 ) 703.675 * * [simplify]: iteration 7 : 2153 enodes (cost 4 ) 705.805 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 705.806 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 705.811 * * [simplify]: iteration 1 : 10 enodes (cost 1 ) 705.812 * * [simplify]: iteration 2 : 15 enodes (cost 1 ) 705.813 * * [simplify]: iteration 3 : 21 enodes (cost 1 ) 705.814 * * [simplify]: iteration 4 : 31 enodes (cost 1 ) 705.817 * * [simplify]: iteration 5 : 55 enodes (cost 1 ) 705.824 * * [simplify]: iteration 6 : 114 enodes (cost 1 ) 705.872 * * [simplify]: iteration 7 : 324 enodes (cost 1 ) 706.333 * * [simplify]: iteration 8 : 1255 enodes (cost 1 ) 708.721 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 708.722 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 708.722 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 708.723 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 708.726 * * [simplify]: iteration 3 : 32 enodes (cost 7 ) 708.730 * * [simplify]: iteration 4 : 72 enodes (cost 7 ) 708.750 * * [simplify]: iteration 5 : 176 enodes (cost 7 ) 708.852 * * [simplify]: iteration 6 : 550 enodes (cost 7 ) 709.573 * * [simplify]: iteration 7 : 1957 enodes (cost 7 ) 712.027 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 712.027 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 712.028 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 712.029 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 712.030 * * [simplify]: iteration 3 : 31 enodes (cost 4 ) 712.035 * * [simplify]: iteration 4 : 71 enodes (cost 4 ) 712.054 * * [simplify]: iteration 5 : 175 enodes (cost 4 ) 712.155 * * [simplify]: iteration 6 : 552 enodes (cost 4 ) 712.882 * * [simplify]: iteration 7 : 1953 enodes (cost 4 ) 714.830 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 714.831 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 714.831 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 714.832 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 714.834 * * [simplify]: iteration 3 : 31 enodes (cost 4 ) 714.838 * * [simplify]: iteration 4 : 71 enodes (cost 4 ) 714.865 * * [simplify]: iteration 5 : 175 enodes (cost 4 ) 714.958 * * [simplify]: iteration 6 : 552 enodes (cost 4 ) 715.693 * * [simplify]: iteration 7 : 1953 enodes (cost 4 ) 717.633 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 717.633 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 717.634 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 717.635 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 717.636 * * [simplify]: iteration 3 : 31 enodes (cost 4 ) 717.641 * * [simplify]: iteration 4 : 71 enodes (cost 4 ) 717.668 * * [simplify]: iteration 5 : 175 enodes (cost 4 ) 717.760 * * [simplify]: iteration 6 : 552 enodes (cost 4 ) 718.497 * * [simplify]: iteration 7 : 1953 enodes (cost 4 ) 720.442 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 720.443 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 720.443 * * [simplify]: iteration 1 : 9 enodes (cost 1 ) 720.444 * * [simplify]: iteration 2 : 12 enodes (cost 1 ) 720.445 * * [simplify]: iteration 3 : 18 enodes (cost 1 ) 720.446 * * [simplify]: iteration 4 : 25 enodes (cost 1 ) 720.448 * * [simplify]: iteration 5 : 35 enodes (cost 1 ) 720.450 * * [simplify]: iteration 6 : 48 enodes (cost 1 ) 720.453 * * [simplify]: iteration 7 : 64 enodes (cost 1 ) 720.457 * * [simplify]: iteration 8 : 83 enodes (cost 1 ) 720.462 * * [simplify]: iteration 9 : 105 enodes (cost 1 ) 720.469 * * [simplify]: iteration 10 : 130 enodes (cost 1 ) 720.478 * * [simplify]: iteration 11 : 158 enodes (cost 1 ) 720.490 * * [simplify]: iteration 12 : 189 enodes (cost 1 ) 720.512 * * [simplify]: iteration 13 : 223 enodes (cost 1 ) 720.530 * * [simplify]: iteration 14 : 260 enodes (cost 1 ) 720.561 * * [simplify]: iteration 15 : 300 enodes (cost 1 ) 720.591 * * [simplify]: iteration 16 : 343 enodes (cost 1 ) 720.635 * * [simplify]: iteration 17 : 389 enodes (cost 1 ) 720.687 * * [simplify]: iteration 18 : 438 enodes (cost 1 ) 720.749 * * [simplify]: iteration 19 : 490 enodes (cost 1 ) 720.830 * * [simplify]: iteration 20 : 545 enodes (cost 1 ) 720.918 * * [simplify]: iteration 21 : 603 enodes (cost 1 ) 721.035 * * [simplify]: iteration 22 : 664 enodes (cost 1 ) 721.164 * * [simplify]: iteration 23 : 728 enodes (cost 1 ) 721.323 * * [simplify]: iteration 24 : 795 enodes (cost 1 ) 721.506 * * [simplify]: iteration 25 : 865 enodes (cost 1 ) 721.717 * * [simplify]: iteration 26 : 938 enodes (cost 1 ) 721.965 * * [simplify]: iteration 27 : 1014 enodes (cost 1 ) 722.248 * * [simplify]: iteration 28 : 1093 enodes (cost 1 ) 722.581 * * [simplify]: iteration 29 : 1175 enodes (cost 1 ) 722.961 * * [simplify]: iteration 30 : 1260 enodes (cost 1 ) 723.384 * * [simplify]: iteration 31 : 1348 enodes (cost 1 ) 723.877 * * [simplify]: iteration 32 : 1439 enodes (cost 1 ) 724.440 * * [simplify]: iteration 33 : 1533 enodes (cost 1 ) 725.076 * * [simplify]: iteration 34 : 1630 enodes (cost 1 ) 725.798 * * [simplify]: iteration 35 : 1730 enodes (cost 1 ) 726.604 * * [simplify]: iteration 36 : 1833 enodes (cost 1 ) 727.511 * * [simplify]: iteration 37 : 1939 enodes (cost 1 ) 728.538 * * [simplify]: iteration 38 : 2048 enodes (cost 1 ) 729.677 * * [simplify]: iteration 39 : 2160 enodes (cost 1 ) 730.940 * * [simplify]: iteration 40 : 2275 enodes (cost 1 ) 732.350 * * [simplify]: iteration 41 : 2393 enodes (cost 1 ) 733.910 * * [simplify]: iteration 42 : 2514 enodes (cost 1 ) 735.641 * * [simplify]: iteration 43 : 2638 enodes (cost 1 ) 737.556 * * [simplify]: iteration 44 : 2765 enodes (cost 1 ) 739.603 * * [simplify]: iteration 45 : 2895 enodes (cost 1 ) 741.801 * * [simplify]: iteration 46 : 3028 enodes (cost 1 ) 744.155 * * [simplify]: iteration 47 : 3164 enodes (cost 1 ) 746.660 * * [simplify]: iteration 48 : 3303 enodes (cost 1 ) 749.334 * * [simplify]: iteration 49 : 3445 enodes (cost 1 ) 752.203 * * [simplify]: iteration 50 : 3590 enodes (cost 1 ) 755.290 * * [simplify]: iteration 51 : 3738 enodes (cost 1 ) 758.608 * * [simplify]: iteration 52 : 3889 enodes (cost 1 ) 762.474 * * [simplify]: iteration 53 : 4043 enodes (cost 1 ) 766.021 * * [simplify]: iteration 54 : 4200 enodes (cost 1 ) 769.784 * * [simplify]: iteration 55 : 4360 enodes (cost 1 ) 773.814 * * [simplify]: iteration 56 : 4523 enodes (cost 1 ) 778.148 * * [simplify]: iteration 57 : 4689 enodes (cost 1 ) 782.813 * * [simplify]: iteration 58 : 4858 enodes (cost 1 ) 784.280 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 784.280 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 784.281 * * [simplify]: iteration 1 : 7 enodes (cost 3 ) 784.282 * * [simplify]: iteration 2 : 12 enodes (cost 3 ) 784.283 * * [simplify]: iteration 3 : 30 enodes (cost 3 ) 784.288 * * [simplify]: iteration 4 : 72 enodes (cost 3 ) 784.312 * * [simplify]: iteration 5 : 183 enodes (cost 3 ) 784.408 * * [simplify]: iteration 6 : 568 enodes (cost 3 ) 785.098 * * [simplify]: iteration 7 : 1980 enodes (cost 3 ) 786.976 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 786.977 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 786.977 * * [simplify]: iteration 1 : 10 enodes (cost 4 ) 786.979 * * [simplify]: iteration 2 : 18 enodes (cost 4 ) 786.981 * * [simplify]: iteration 3 : 41 enodes (cost 4 ) 786.987 * * [simplify]: iteration 4 : 109 enodes (cost 4 ) 787.031 * * [simplify]: iteration 5 : 313 enodes (cost 4 ) 787.278 * * [simplify]: iteration 6 : 1095 enodes (cost 4 ) 789.950 * * [simplify]: iteration 7 : 4992 enodes (cost 4 ) 791.227 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 791.228 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 791.228 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 791.229 * * [simplify]: iteration 2 : 15 enodes (cost 4 ) 791.231 * * [simplify]: iteration 3 : 38 enodes (cost 4 ) 791.237 * * [simplify]: iteration 4 : 95 enodes (cost 4 ) 791.273 * * [simplify]: iteration 5 : 260 enodes (cost 4 ) 791.425 * * [simplify]: iteration 6 : 882 enodes (cost 4 ) 792.566 * * [simplify]: iteration 7 : 3688 enodes (cost 4 ) 793.707 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 793.707 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 793.708 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 793.709 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 793.711 * * [simplify]: iteration 3 : 32 enodes (cost 9 ) 793.715 * * [simplify]: iteration 4 : 74 enodes (cost 9 ) 793.735 * * [simplify]: iteration 5 : 183 enodes (cost 9 ) 793.828 * * [simplify]: iteration 6 : 563 enodes (cost 9 ) 794.504 * * [simplify]: iteration 7 : 1969 enodes (cost 9 ) 796.472 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 796.473 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 796.473 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 796.474 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 796.476 * * [simplify]: iteration 3 : 31 enodes (cost 4 ) 796.480 * * [simplify]: iteration 4 : 73 enodes (cost 4 ) 796.506 * * [simplify]: iteration 5 : 180 enodes (cost 4 ) 796.601 * * [simplify]: iteration 6 : 552 enodes (cost 4 ) 797.299 * * [simplify]: iteration 7 : 1984 enodes (cost 4 ) 799.335 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 799.335 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 799.336 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 799.338 * * [simplify]: iteration 2 : 33 enodes (cost 5 ) 799.344 * * [simplify]: iteration 3 : 86 enodes (cost 5 ) 799.378 * * [simplify]: iteration 4 : 232 enodes (cost 5 ) 799.551 * * [simplify]: iteration 5 : 777 enodes (cost 5 ) 801.797 * * [simplify]: iteration 6 : 3669 enodes (cost 5 ) 804.134 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 804.135 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 804.135 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 804.136 * * [simplify]: iteration 2 : 14 enodes (cost 4 ) 804.138 * * [simplify]: iteration 3 : 32 enodes (cost 4 ) 804.143 * * [simplify]: iteration 4 : 74 enodes (cost 4 ) 804.162 * * [simplify]: iteration 5 : 183 enodes (cost 4 ) 804.257 * * [simplify]: iteration 6 : 561 enodes (cost 4 ) 805.175 * * [simplify]: iteration 7 : 1980 enodes (cost 4 ) 806.924 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 806.925 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 806.925 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 806.926 * * [simplify]: iteration 2 : 14 enodes (cost 4 ) 806.928 * * [simplify]: iteration 3 : 32 enodes (cost 4 ) 806.933 * * [simplify]: iteration 4 : 74 enodes (cost 4 ) 806.952 * * [simplify]: iteration 5 : 183 enodes (cost 4 ) 807.046 * * [simplify]: iteration 6 : 561 enodes (cost 4 ) 807.739 * * [simplify]: iteration 7 : 1980 enodes (cost 4 ) 809.481 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 809.482 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 809.482 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 809.483 * * [simplify]: iteration 2 : 16 enodes (cost 5 ) 809.485 * * [simplify]: iteration 3 : 37 enodes (cost 5 ) 809.491 * * [simplify]: iteration 4 : 85 enodes (cost 5 ) 809.518 * * [simplify]: iteration 5 : 214 enodes (cost 5 ) 809.664 * * [simplify]: iteration 6 : 724 enodes (cost 5 ) 810.703 * * [simplify]: iteration 7 : 2528 enodes (cost 5 ) 813.079 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 813.080 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 813.080 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 813.081 * * [simplify]: iteration 2 : 16 enodes (cost 5 ) 813.083 * * [simplify]: iteration 3 : 37 enodes (cost 5 ) 813.089 * * [simplify]: iteration 4 : 85 enodes (cost 5 ) 813.116 * * [simplify]: iteration 5 : 214 enodes (cost 5 ) 813.262 * * [simplify]: iteration 6 : 724 enodes (cost 5 ) 814.292 * * [simplify]: iteration 7 : 2528 enodes (cost 5 ) 816.675 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 816.676 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 816.677 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 816.679 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 816.682 * * [simplify]: iteration 3 : 48 enodes (cost 3 ) 816.688 * * [simplify]: iteration 4 : 84 enodes (cost 3 ) 816.703 * * [simplify]: iteration 5 : 174 enodes (cost 3 ) 816.760 * * [simplify]: iteration 6 : 371 enodes (cost 3 ) 816.975 * * [simplify]: iteration 7 : 930 enodes (cost 3 ) 818.384 * * [simplify]: iteration 8 : 3217 enodes (cost 3 ) 819.881 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 819.882 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 819.884 * * [simplify]: iteration 1 : 32 enodes (cost 11 ) 819.888 * * [simplify]: iteration 2 : 60 enodes (cost 9 ) 819.898 * * [simplify]: iteration 3 : 127 enodes (cost 7 ) 819.925 * * [simplify]: iteration 4 : 274 enodes (cost 5 ) 820.022 * * [simplify]: iteration 5 : 612 enodes (cost 5 ) 820.434 * * [simplify]: iteration 6 : 1630 enodes (cost 5 ) 822.192 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 822.193 * * [simplify]: iteration 0 : 15 enodes (cost 20 ) 822.196 * * [simplify]: iteration 1 : 43 enodes (cost 18 ) 822.202 * * [simplify]: iteration 2 : 85 enodes (cost 15 ) 822.224 * * [simplify]: iteration 3 : 254 enodes (cost 13 ) 822.341 * * [simplify]: iteration 4 : 790 enodes (cost 13 ) 823.635 * * [simplify]: iteration 5 : 3633 enodes (cost 13 ) 824.949 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 824.950 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 824.951 * * [simplify]: iteration 1 : 24 enodes (cost 10 ) 824.954 * * [simplify]: iteration 2 : 32 enodes (cost 8 ) 824.958 * * [simplify]: iteration 3 : 59 enodes (cost 6 ) 824.966 * * [simplify]: iteration 4 : 125 enodes (cost 6 ) 825.004 * * [simplify]: iteration 5 : 275 enodes (cost 6 ) 825.123 * * [simplify]: iteration 6 : 624 enodes (cost 6 ) 825.669 * * [simplify]: iteration 7 : 1681 enodes (cost 6 ) 827.236 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 827.237 * * [simplify]: iteration 0 : 15 enodes (cost 19 ) 827.244 * * [simplify]: iteration 1 : 37 enodes (cost 17 ) 827.249 * * [simplify]: iteration 2 : 66 enodes (cost 15 ) 827.258 * * [simplify]: iteration 3 : 137 enodes (cost 14 ) 827.287 * * [simplify]: iteration 4 : 295 enodes (cost 13 ) 827.384 * * [simplify]: iteration 5 : 718 enodes (cost 13 ) 827.811 * * [simplify]: iteration 6 : 1959 enodes (cost 13 ) 829.230 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 829.231 * * [simplify]: iteration 0 : 17 enodes (cost 21 ) 829.233 * * [simplify]: iteration 1 : 41 enodes (cost 20 ) 829.238 * * [simplify]: iteration 2 : 75 enodes (cost 18 ) 829.250 * * [simplify]: iteration 3 : 191 enodes (cost 16 ) 829.294 * * [simplify]: iteration 4 : 552 enodes (cost 16 ) 829.651 * * [simplify]: iteration 5 : 2490 enodes (cost 16 ) 830.600 * * [simplify]: iteration done : 5001 enodes (cost 16 ) 830.600 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 830.601 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 830.604 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 830.607 * * [simplify]: iteration 3 : 48 enodes (cost 3 ) 830.612 * * [simplify]: iteration 4 : 84 enodes (cost 3 ) 830.628 * * [simplify]: iteration 5 : 174 enodes (cost 3 ) 830.685 * * [simplify]: iteration 6 : 371 enodes (cost 3 ) 830.902 * * [simplify]: iteration 7 : 930 enodes (cost 3 ) 832.328 * * [simplify]: iteration 8 : 3217 enodes (cost 3 ) 833.840 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 833.841 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 833.842 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 833.845 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 833.858 * * [simplify]: iteration 3 : 71 enodes (cost 3 ) 833.865 * * [simplify]: iteration 4 : 123 enodes (cost 3 ) 833.891 * * [simplify]: iteration 5 : 267 enodes (cost 3 ) 834.019 * * [simplify]: iteration 6 : 619 enodes (cost 3 ) 834.539 * * [simplify]: iteration 7 : 1739 enodes (cost 3 ) 836.269 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 836.269 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 836.271 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 836.273 * * [simplify]: iteration 2 : 33 enodes (cost 10 ) 836.277 * * [simplify]: iteration 3 : 76 enodes (cost 7 ) 836.295 * * [simplify]: iteration 4 : 148 enodes (cost 3 ) 836.329 * * [simplify]: iteration 5 : 431 enodes (cost 3 ) 836.880 * * [simplify]: iteration 6 : 1888 enodes (cost 3 ) 838.265 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 838.266 * [simplify]: Simplified to: (log (sqrt (pow x 2.0))) (exp (sqrt (pow x 2.0))) (* (cbrt (sqrt (pow x 2.0))) (cbrt (sqrt (pow x 2.0)))) (cbrt (sqrt (pow x 2.0))) (pow (sqrt (pow x 2.0)) 3) (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)) (sqrt (pow (cbrt x) 2.0)) (sqrt (pow (sqrt x) 2.0)) (sqrt (pow (sqrt x) 2.0)) 1 (sqrt (pow x 2.0)) (fabs (cbrt (pow x 2.0))) (sqrt (cbrt (pow x 2.0))) (sqrt (sqrt (pow x 2.0))) (sqrt (sqrt (pow x 2.0))) 1 (sqrt (pow x 2.0)) (sqrt (pow x (/ 2.0 2))) (sqrt (pow x (/ 2.0 2))) (/ 2.0 2) (sqrt (sqrt (pow x 2.0))) (sqrt (sqrt (pow x 2.0))) (* 2.0 (pow x 2.0)) (* (sqrt 2.0) (sqrt (pow x 2.0))) (+ (log (sqrt 2.0)) (log (sqrt (pow x 2.0)))) (log (* (sqrt 2.0) (sqrt (pow x 2.0)))) (exp (* (sqrt 2.0) (sqrt (pow x 2.0)))) (* (* (pow (sqrt (pow x 2.0)) 3) 2.0) (sqrt 2.0)) (* (cbrt (* (sqrt 2.0) (sqrt (pow x 2.0)))) (cbrt (* (sqrt 2.0) (sqrt (pow x 2.0))))) (cbrt (* (sqrt 2.0) (sqrt (pow x 2.0)))) (pow (* (sqrt 2.0) (sqrt (pow x 2.0))) 3) (* 2.0 (pow x 2.0)) (sqrt (* (sqrt 2.0) (sqrt (pow x 2.0)))) (sqrt (* (sqrt 2.0) (sqrt (pow x 2.0)))) (* (sqrt (sqrt 2.0)) (sqrt (pow (sqrt x) 2.0))) (* (sqrt (sqrt 2.0)) (sqrt (pow (sqrt x) 2.0))) (* (sqrt (sqrt 2.0)) (sqrt (sqrt (pow x 2.0)))) (* (sqrt (sqrt 2.0)) (sqrt (sqrt (pow x 2.0)))) (* (sqrt (sqrt 2.0)) (sqrt (pow x (/ 2.0 2)))) (* (sqrt (sqrt 2.0)) (sqrt (pow x (/ 2.0 2)))) (* (sqrt (sqrt 2.0)) (sqrt (sqrt (pow x 2.0)))) (* (sqrt (sqrt 2.0)) (sqrt (sqrt (pow x 2.0)))) (* (sqrt (sqrt 2.0)) (sqrt (pow (sqrt x) 2.0))) (* (sqrt (sqrt 2.0)) (sqrt (pow (sqrt x) 2.0))) (* (sqrt (sqrt 2.0)) (sqrt (sqrt (pow x 2.0)))) (* (sqrt (sqrt 2.0)) (sqrt (sqrt (pow x 2.0)))) (* (sqrt (sqrt 2.0)) (sqrt (pow x (/ 2.0 2)))) (* (sqrt (sqrt 2.0)) (sqrt (pow x (/ 2.0 2)))) (* (sqrt (sqrt 2.0)) (sqrt (sqrt (pow x 2.0)))) (* (sqrt (sqrt 2.0)) (sqrt (sqrt (pow x 2.0)))) (* (sqrt 2.0) (* (cbrt (sqrt (pow x 2.0))) (cbrt (sqrt (pow x 2.0))))) (* (sqrt 2.0) (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (* (sqrt 2.0) (sqrt (pow (sqrt x) 2.0))) (sqrt 2.0) (* (sqrt 2.0) (fabs (cbrt (pow x 2.0)))) (* (sqrt 2.0) (sqrt (sqrt (pow x 2.0)))) (* 1 (sqrt 2.0)) (* (sqrt 2.0) (sqrt (pow x (/ 2.0 2)))) (* (sqrt 2.0) (sqrt (sqrt (pow x 2.0)))) (sqrt 2.0) (* (cbrt (sqrt 2.0)) (sqrt (pow x 2.0))) (* (sqrt (cbrt 2.0)) (sqrt (pow x 2.0))) (* (sqrt (sqrt 2.0)) (sqrt (pow x 2.0))) (* (sqrt 2.0) (sqrt (pow x 2.0))) (* (sqrt (sqrt 2.0)) (sqrt (pow x 2.0))) (* (sqrt 2.0) (sqrt (pow x 2.0))) (* (log x) 2.0) (* (log x) 2.0) 2.0 (pow x (* (cbrt 2.0) (cbrt 2.0))) (pow x (sqrt 2.0)) x (pow (* (cbrt x) (cbrt x)) 2.0) (pow (cbrt x) 2.0) (pow (sqrt x) 2.0) (pow (sqrt x) 2.0) 1 (pow x 2.0) (log (pow x 2.0)) (exp (pow x 2.0)) (* (cbrt (pow x 2.0)) (cbrt (pow x 2.0))) (cbrt (pow x 2.0)) (pow (pow x 2.0) 3) (sqrt (pow x 2.0)) (sqrt (pow x 2.0)) (pow x (/ 2.0 2)) (pow x (/ 2.0 2)) (pow x 1.0) (pow (pow x 1.0) 1.0) (pow (/ (pow (pow -1 1.0) 1.0) (pow (/ -1 x) 1.0)) 1.0) (* (pow x 1.0) (sqrt 2.0)) (* (sqrt 2.0) (pow (/ 1 (pow (pow x (neg 1.0)) 1.0)) 1.0)) (* (pow (/ (pow -1 1.0) (pow (pow (/ -1 x) 1.0) 1.0)) 1.0) (sqrt 2.0)) (pow x 2.0) (pow x 2.0) (pow x 2.0) 838.267 * * * [progress]: adding candidates to table 838.408 * * [progress]: iteration 4 / 4 838.408 * * * [progress]: picking best candidate 838.428 * * * * [pick]: Picked # 838.428 * * * [progress]: localizing error 838.437 * * * [progress]: generating rewritten candidates 838.437 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 838.443 * * * [progress]: generating series expansions 838.443 * * * * [progress]: [ 1 / 1 ] generating series at (2) 838.443 * [approximate]: Taking taylor expansion of (* (fabs (pow x 1.0)) (sqrt 2.0)) in (x) around 0 838.443 * [taylor]: Taking taylor expansion of (* (fabs (pow x 1.0)) (sqrt 2.0)) in x 838.443 * [taylor]: Taking taylor expansion of (fabs (pow x 1.0)) in x 838.444 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 838.444 * [taylor]: Taking taylor expansion of 2.0 in x 838.444 * [taylor]: Taking taylor expansion of (* (fabs (pow x 1.0)) (sqrt 2.0)) in x 838.444 * [taylor]: Taking taylor expansion of (fabs (pow x 1.0)) in x 838.445 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 838.445 * [taylor]: Taking taylor expansion of 2.0 in x 838.446 * [approximate]: Taking taylor expansion of (* (fabs (pow (/ 1 x) 1.0)) (sqrt 2.0)) in (x) around 0 838.446 * [taylor]: Taking taylor expansion of (* (fabs (pow (/ 1 x) 1.0)) (sqrt 2.0)) in x 838.446 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 x) 1.0)) in x 838.446 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 838.446 * [taylor]: Taking taylor expansion of 2.0 in x 838.446 * [taylor]: Taking taylor expansion of (* (fabs (pow (/ 1 x) 1.0)) (sqrt 2.0)) in x 838.446 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 x) 1.0)) in x 838.446 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 838.446 * [taylor]: Taking taylor expansion of 2.0 in x 838.448 * [approximate]: Taking taylor expansion of (* (fabs (pow (/ -1 x) 1.0)) (sqrt 2.0)) in (x) around 0 838.448 * [taylor]: Taking taylor expansion of (* (fabs (pow (/ -1 x) 1.0)) (sqrt 2.0)) in x 838.448 * [taylor]: Taking taylor expansion of (fabs (pow (/ -1 x) 1.0)) in x 838.448 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 838.448 * [taylor]: Taking taylor expansion of 2.0 in x 838.448 * [taylor]: Taking taylor expansion of (* (fabs (pow (/ -1 x) 1.0)) (sqrt 2.0)) in x 838.448 * [taylor]: Taking taylor expansion of (fabs (pow (/ -1 x) 1.0)) in x 838.448 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 838.448 * [taylor]: Taking taylor expansion of 2.0 in x 838.450 * * * [progress]: simplifying candidates 838.450 * [simplify]: Simplifying using # : (* (sqrt 2.0) (fabs (pow x (/ 2.0 2)))) (+ (log (sqrt 2.0)) (log (fabs (pow x (/ 2.0 2))))) (log (* (sqrt 2.0) (fabs (pow x (/ 2.0 2))))) (exp (* (sqrt 2.0) (fabs (pow x (/ 2.0 2))))) (* (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0)) (* (* (fabs (pow x (/ 2.0 2))) (fabs (pow x (/ 2.0 2)))) (fabs (pow x (/ 2.0 2))))) (* (cbrt (* (sqrt 2.0) (fabs (pow x (/ 2.0 2))))) (cbrt (* (sqrt 2.0) (fabs (pow x (/ 2.0 2)))))) (cbrt (* (sqrt 2.0) (fabs (pow x (/ 2.0 2))))) (* (* (* (sqrt 2.0) (fabs (pow x (/ 2.0 2)))) (* (sqrt 2.0) (fabs (pow x (/ 2.0 2))))) (* (sqrt 2.0) (fabs (pow x (/ 2.0 2))))) (sqrt (* (sqrt 2.0) (fabs (pow x (/ 2.0 2))))) (sqrt (* (sqrt 2.0) (fabs (pow x (/ 2.0 2))))) (* (sqrt (sqrt 2.0)) (sqrt (fabs (pow x (/ 2.0 2))))) (* (sqrt (sqrt 2.0)) (sqrt (fabs (pow x (/ 2.0 2))))) (* (sqrt (sqrt 2.0)) (sqrt (fabs (pow x (/ 2.0 2))))) (* (sqrt (sqrt 2.0)) (sqrt (fabs (pow x (/ 2.0 2))))) (* (sqrt 2.0) (* (cbrt (fabs (pow x (/ 2.0 2)))) (cbrt (fabs (pow x (/ 2.0 2)))))) (* (sqrt 2.0) (sqrt (fabs (pow x (/ 2.0 2))))) (* (sqrt 2.0) 1) (* (cbrt (sqrt 2.0)) (fabs (pow x (/ 2.0 2)))) (* (sqrt (cbrt 2.0)) (fabs (pow x (/ 2.0 2)))) (* (sqrt (sqrt 2.0)) (fabs (pow x (/ 2.0 2)))) (* (sqrt 2.0) (fabs (pow x (/ 2.0 2)))) (* (sqrt (sqrt 2.0)) (fabs (pow x (/ 2.0 2)))) (* (sqrt 2.0) (fabs (pow x (/ 2.0 2)))) (* (fabs (pow x 1.0)) (sqrt 2.0)) (* (fabs (pow x 1.0)) (sqrt 2.0)) (* (fabs (pow x 1.0)) (sqrt 2.0)) 838.451 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 838.451 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 838.453 * * [simplify]: iteration 2 : 20 enodes (cost 9 ) 838.455 * * [simplify]: iteration 3 : 41 enodes (cost 9 ) 838.461 * * [simplify]: iteration 4 : 89 enodes (cost 9 ) 838.488 * * [simplify]: iteration 5 : 214 enodes (cost 9 ) 838.632 * * [simplify]: iteration 6 : 710 enodes (cost 9 ) 839.671 * * [simplify]: iteration 7 : 2507 enodes (cost 9 ) 842.051 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 842.052 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 842.053 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 842.055 * * [simplify]: iteration 2 : 22 enodes (cost 11 ) 842.057 * * [simplify]: iteration 3 : 43 enodes (cost 11 ) 842.063 * * [simplify]: iteration 4 : 91 enodes (cost 11 ) 842.097 * * [simplify]: iteration 5 : 222 enodes (cost 11 ) 842.239 * * [simplify]: iteration 6 : 722 enodes (cost 11 ) 843.290 * * [simplify]: iteration 7 : 2539 enodes (cost 11 ) 845.515 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 845.516 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 845.517 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 845.519 * * [simplify]: iteration 2 : 25 enodes (cost 10 ) 845.522 * * [simplify]: iteration 3 : 46 enodes (cost 10 ) 845.528 * * [simplify]: iteration 4 : 96 enodes (cost 10 ) 845.561 * * [simplify]: iteration 5 : 227 enodes (cost 10 ) 845.708 * * [simplify]: iteration 6 : 727 enodes (cost 10 ) 846.754 * * [simplify]: iteration 7 : 2556 enodes (cost 10 ) 849.003 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 849.004 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 849.010 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 849.012 * * [simplify]: iteration 2 : 28 enodes (cost 10 ) 849.015 * * [simplify]: iteration 3 : 57 enodes (cost 10 ) 849.022 * * [simplify]: iteration 4 : 126 enodes (cost 10 ) 849.070 * * [simplify]: iteration 5 : 308 enodes (cost 10 ) 849.273 * * [simplify]: iteration 6 : 940 enodes (cost 10 ) 850.577 * * [simplify]: iteration 7 : 3163 enodes (cost 10 ) 852.299 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 852.300 * * [simplify]: iteration 0 : 12 enodes (cost 29 ) 852.308 * * [simplify]: iteration 1 : 22 enodes (cost 25 ) 852.311 * * [simplify]: iteration 2 : 52 enodes (cost 13 ) 852.319 * * [simplify]: iteration 3 : 101 enodes (cost 13 ) 852.339 * * [simplify]: iteration 4 : 173 enodes (cost 13 ) 852.395 * * [simplify]: iteration 5 : 345 enodes (cost 13 ) 852.606 * * [simplify]: iteration 6 : 960 enodes (cost 13 ) 853.812 * * [simplify]: iteration 7 : 3158 enodes (cost 13 ) 855.755 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 855.756 * * [simplify]: iteration 0 : 10 enodes (cost 21 ) 855.764 * * [simplify]: iteration 1 : 14 enodes (cost 21 ) 855.766 * * [simplify]: iteration 2 : 22 enodes (cost 21 ) 855.768 * * [simplify]: iteration 3 : 43 enodes (cost 21 ) 855.774 * * [simplify]: iteration 4 : 91 enodes (cost 21 ) 855.802 * * [simplify]: iteration 5 : 224 enodes (cost 21 ) 855.949 * * [simplify]: iteration 6 : 722 enodes (cost 21 ) 857.005 * * [simplify]: iteration 7 : 2542 enodes (cost 21 ) 859.378 * * [simplify]: iteration done : 5001 enodes (cost 21 ) 859.378 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 859.379 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 859.381 * * [simplify]: iteration 2 : 21 enodes (cost 10 ) 859.383 * * [simplify]: iteration 3 : 42 enodes (cost 10 ) 859.389 * * [simplify]: iteration 4 : 92 enodes (cost 10 ) 859.417 * * [simplify]: iteration 5 : 221 enodes (cost 10 ) 859.563 * * [simplify]: iteration 6 : 720 enodes (cost 10 ) 860.577 * * [simplify]: iteration 7 : 2518 enodes (cost 10 ) 862.819 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 862.819 * * [simplify]: iteration 0 : 10 enodes (cost 29 ) 862.821 * * [simplify]: iteration 1 : 24 enodes (cost 29 ) 862.825 * * [simplify]: iteration 2 : 61 enodes (cost 11 ) 862.838 * * [simplify]: iteration 3 : 126 enodes (cost 11 ) 862.869 * * [simplify]: iteration 4 : 191 enodes (cost 11 ) 862.926 * * [simplify]: iteration 5 : 358 enodes (cost 11 ) 863.131 * * [simplify]: iteration 6 : 983 enodes (cost 11 ) 864.325 * * [simplify]: iteration 7 : 3232 enodes (cost 11 ) 866.173 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 866.174 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 866.175 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 866.176 * * [simplify]: iteration 2 : 21 enodes (cost 10 ) 866.179 * * [simplify]: iteration 3 : 42 enodes (cost 10 ) 866.185 * * [simplify]: iteration 4 : 92 enodes (cost 10 ) 866.217 * * [simplify]: iteration 5 : 221 enodes (cost 10 ) 866.360 * * [simplify]: iteration 6 : 720 enodes (cost 10 ) 867.360 * * [simplify]: iteration 7 : 2518 enodes (cost 10 ) 869.597 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 869.598 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 869.598 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 869.600 * * [simplify]: iteration 2 : 21 enodes (cost 10 ) 869.602 * * [simplify]: iteration 3 : 42 enodes (cost 10 ) 869.612 * * [simplify]: iteration 4 : 92 enodes (cost 10 ) 869.641 * * [simplify]: iteration 5 : 221 enodes (cost 10 ) 869.783 * * [simplify]: iteration 6 : 720 enodes (cost 10 ) 870.791 * * [simplify]: iteration 7 : 2518 enodes (cost 10 ) 873.033 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 873.034 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 873.035 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 873.036 * * [simplify]: iteration 2 : 22 enodes (cost 11 ) 873.039 * * [simplify]: iteration 3 : 43 enodes (cost 11 ) 873.045 * * [simplify]: iteration 4 : 91 enodes (cost 11 ) 873.073 * * [simplify]: iteration 5 : 222 enodes (cost 11 ) 873.214 * * [simplify]: iteration 6 : 722 enodes (cost 11 ) 874.239 * * [simplify]: iteration 7 : 2539 enodes (cost 11 ) 876.642 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 876.643 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 876.644 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 876.646 * * [simplify]: iteration 2 : 22 enodes (cost 11 ) 876.648 * * [simplify]: iteration 3 : 43 enodes (cost 11 ) 876.654 * * [simplify]: iteration 4 : 91 enodes (cost 11 ) 876.682 * * [simplify]: iteration 5 : 222 enodes (cost 11 ) 876.824 * * [simplify]: iteration 6 : 722 enodes (cost 11 ) 877.859 * * [simplify]: iteration 7 : 2539 enodes (cost 11 ) 880.046 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 880.047 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 880.048 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 880.049 * * [simplify]: iteration 2 : 22 enodes (cost 11 ) 880.052 * * [simplify]: iteration 3 : 43 enodes (cost 11 ) 880.058 * * [simplify]: iteration 4 : 91 enodes (cost 11 ) 880.090 * * [simplify]: iteration 5 : 222 enodes (cost 11 ) 880.228 * * [simplify]: iteration 6 : 722 enodes (cost 11 ) 881.255 * * [simplify]: iteration 7 : 2539 enodes (cost 11 ) 883.437 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 883.438 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 883.439 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 883.440 * * [simplify]: iteration 2 : 22 enodes (cost 11 ) 883.443 * * [simplify]: iteration 3 : 43 enodes (cost 11 ) 883.449 * * [simplify]: iteration 4 : 91 enodes (cost 11 ) 883.482 * * [simplify]: iteration 5 : 222 enodes (cost 11 ) 883.621 * * [simplify]: iteration 6 : 722 enodes (cost 11 ) 884.651 * * [simplify]: iteration 7 : 2539 enodes (cost 11 ) 886.835 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 886.835 * * [simplify]: iteration 0 : 10 enodes (cost 18 ) 886.836 * * [simplify]: iteration 1 : 16 enodes (cost 18 ) 886.838 * * [simplify]: iteration 2 : 26 enodes (cost 18 ) 886.842 * * [simplify]: iteration 3 : 47 enodes (cost 18 ) 886.849 * * [simplify]: iteration 4 : 97 enodes (cost 18 ) 886.882 * * [simplify]: iteration 5 : 227 enodes (cost 18 ) 887.023 * * [simplify]: iteration 6 : 728 enodes (cost 18 ) 888.074 * * [simplify]: iteration 7 : 2557 enodes (cost 18 ) 890.310 * * [simplify]: iteration done : 5000 enodes (cost 18 ) 890.311 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 890.312 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 890.313 * * [simplify]: iteration 2 : 21 enodes (cost 10 ) 890.315 * * [simplify]: iteration 3 : 42 enodes (cost 10 ) 890.322 * * [simplify]: iteration 4 : 92 enodes (cost 10 ) 890.354 * * [simplify]: iteration 5 : 221 enodes (cost 10 ) 890.494 * * [simplify]: iteration 6 : 720 enodes (cost 10 ) 891.501 * * [simplify]: iteration 7 : 2518 enodes (cost 10 ) 893.763 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 893.764 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 893.764 * * [simplify]: iteration 1 : 7 enodes (cost 2 ) 893.765 * * [simplify]: iteration 2 : 10 enodes (cost 2 ) 893.766 * * [simplify]: iteration done : 10 enodes (cost 2 ) 893.766 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 893.767 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 893.768 * * [simplify]: iteration 2 : 21 enodes (cost 10 ) 893.771 * * [simplify]: iteration 3 : 42 enodes (cost 10 ) 893.777 * * [simplify]: iteration 4 : 90 enodes (cost 10 ) 893.809 * * [simplify]: iteration 5 : 222 enodes (cost 10 ) 893.951 * * [simplify]: iteration 6 : 719 enodes (cost 10 ) 894.973 * * [simplify]: iteration 7 : 2524 enodes (cost 10 ) 897.217 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 897.217 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 897.218 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 897.220 * * [simplify]: iteration 2 : 21 enodes (cost 10 ) 897.222 * * [simplify]: iteration 3 : 42 enodes (cost 10 ) 897.233 * * [simplify]: iteration 4 : 90 enodes (cost 10 ) 897.261 * * [simplify]: iteration 5 : 222 enodes (cost 10 ) 897.404 * * [simplify]: iteration 6 : 719 enodes (cost 10 ) 898.431 * * [simplify]: iteration 7 : 2524 enodes (cost 10 ) 900.910 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 900.911 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 900.912 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 900.917 * * [simplify]: iteration 2 : 21 enodes (cost 10 ) 900.920 * * [simplify]: iteration 3 : 42 enodes (cost 10 ) 900.926 * * [simplify]: iteration 4 : 90 enodes (cost 10 ) 900.954 * * [simplify]: iteration 5 : 222 enodes (cost 10 ) 901.098 * * [simplify]: iteration 6 : 719 enodes (cost 10 ) 902.136 * * [simplify]: iteration 7 : 2524 enodes (cost 10 ) 904.388 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 904.389 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 904.394 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 904.396 * * [simplify]: iteration 2 : 20 enodes (cost 9 ) 904.398 * * [simplify]: iteration 3 : 41 enodes (cost 9 ) 904.404 * * [simplify]: iteration 4 : 89 enodes (cost 9 ) 904.431 * * [simplify]: iteration 5 : 214 enodes (cost 9 ) 904.572 * * [simplify]: iteration 6 : 710 enodes (cost 9 ) 905.583 * * [simplify]: iteration 7 : 2507 enodes (cost 9 ) 907.885 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 907.886 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 907.887 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 907.888 * * [simplify]: iteration 2 : 21 enodes (cost 10 ) 907.890 * * [simplify]: iteration 3 : 42 enodes (cost 10 ) 907.896 * * [simplify]: iteration 4 : 90 enodes (cost 10 ) 907.927 * * [simplify]: iteration 5 : 222 enodes (cost 10 ) 908.063 * * [simplify]: iteration 6 : 719 enodes (cost 10 ) 909.074 * * [simplify]: iteration 7 : 2524 enodes (cost 10 ) 911.282 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 911.283 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 911.284 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 911.285 * * [simplify]: iteration 2 : 20 enodes (cost 9 ) 911.287 * * [simplify]: iteration 3 : 41 enodes (cost 9 ) 911.293 * * [simplify]: iteration 4 : 89 enodes (cost 9 ) 911.324 * * [simplify]: iteration 5 : 214 enodes (cost 9 ) 911.459 * * [simplify]: iteration 6 : 710 enodes (cost 9 ) 912.465 * * [simplify]: iteration 7 : 2507 enodes (cost 9 ) 914.777 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 914.778 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 914.779 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 914.780 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 914.782 * * [simplify]: iteration 3 : 35 enodes (cost 7 ) 914.787 * * [simplify]: iteration 4 : 77 enodes (cost 7 ) 914.810 * * [simplify]: iteration 5 : 188 enodes (cost 7 ) 914.902 * * [simplify]: iteration 6 : 560 enodes (cost 7 ) 915.576 * * [simplify]: iteration 7 : 1987 enodes (cost 7 ) 917.488 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 917.489 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 917.493 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 917.494 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 917.496 * * [simplify]: iteration 3 : 35 enodes (cost 7 ) 917.501 * * [simplify]: iteration 4 : 77 enodes (cost 7 ) 917.521 * * [simplify]: iteration 5 : 188 enodes (cost 7 ) 917.613 * * [simplify]: iteration 6 : 560 enodes (cost 7 ) 918.285 * * [simplify]: iteration 7 : 1987 enodes (cost 7 ) 920.206 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 920.207 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 920.207 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 920.208 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 920.211 * * [simplify]: iteration 3 : 35 enodes (cost 7 ) 920.215 * * [simplify]: iteration 4 : 77 enodes (cost 7 ) 920.235 * * [simplify]: iteration 5 : 188 enodes (cost 7 ) 920.327 * * [simplify]: iteration 6 : 560 enodes (cost 7 ) 921.002 * * [simplify]: iteration 7 : 1987 enodes (cost 7 ) 922.936 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 922.937 * [simplify]: Simplified to: (* (sqrt 2.0) (fabs (pow x (/ 2.0 2)))) (+ (log (sqrt 2.0)) (log (fabs (pow x (/ 2.0 2))))) (log (* (sqrt 2.0) (fabs (pow x (/ 2.0 2))))) (exp (* (sqrt 2.0) (fabs (pow x (/ 2.0 2))))) (* (pow (fabs (pow x (/ 2.0 2))) 3) (* 2.0 (sqrt 2.0))) (* (cbrt (* (sqrt 2.0) (fabs (pow x (/ 2.0 2))))) (cbrt (* (sqrt 2.0) (fabs (pow x (/ 2.0 2)))))) (cbrt (* (sqrt 2.0) (fabs (pow x (/ 2.0 2))))) (pow (* (sqrt 2.0) (fabs (pow x (/ 2.0 2)))) 3) (sqrt (* (sqrt 2.0) (fabs (pow x (/ 2.0 2))))) (sqrt (* (sqrt 2.0) (fabs (pow x (/ 2.0 2))))) (* (sqrt (sqrt 2.0)) (sqrt (fabs (pow x (/ 2.0 2))))) (* (sqrt (sqrt 2.0)) (sqrt (fabs (pow x (/ 2.0 2))))) (* (sqrt (sqrt 2.0)) (sqrt (fabs (pow x (/ 2.0 2))))) (* (sqrt (sqrt 2.0)) (sqrt (fabs (pow x (/ 2.0 2))))) (* (sqrt 2.0) (* (cbrt (fabs (pow x (/ 2.0 2)))) (cbrt (fabs (pow x (/ 2.0 2)))))) (* (sqrt 2.0) (sqrt (fabs (pow x (/ 2.0 2))))) (sqrt 2.0) (* (cbrt (sqrt 2.0)) (fabs (pow x (/ 2.0 2)))) (* (sqrt (cbrt 2.0)) (fabs (pow x (/ 2.0 2)))) (* (sqrt (sqrt 2.0)) (fabs (pow x (/ 2.0 2)))) (* (sqrt 2.0) (fabs (pow x (/ 2.0 2)))) (* (sqrt (sqrt 2.0)) (fabs (pow x (/ 2.0 2)))) (* (sqrt 2.0) (fabs (pow x (/ 2.0 2)))) (* (fabs (pow x 1.0)) (sqrt 2.0)) (* (fabs (pow x 1.0)) (sqrt 2.0)) (* (fabs (pow x 1.0)) (sqrt 2.0)) 922.937 * * * [progress]: adding candidates to table 922.990 * [progress]: [Phase 3 of 3] Extracting. 922.991 * * [regime]: Finding splitpoints for: (# # # # # # #) 922.992 * * * [regime-changes]: Trying 3 branch expressions: ((pow x 2.0) (* 2.0 (pow x 2.0)) x) 922.992 * * * * [regimes]: Trying to branch on (pow x 2.0) from (# # # # # # #) 923.047 * * * * [regimes]: Trying to branch on (* 2.0 (pow x 2.0)) from (# # # # # # #) 923.098 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 923.146 * * * [regime]: Found split indices: #