1.708 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.018 * * * [progress]: [2/2] Setting up program.
0.022 * [progress]: [Phase 2 of 3] Improving.
0.025 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (sqrt (* (* 2.0 x) x))
0.028 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
0.031 * * [simplify]: iteration  1 :  9  enodes  (cost  6 )
0.051 * * [simplify]: iteration  2 :  10  enodes  (cost  6 )
0.052 * * [simplify]: iteration  done :  10  enodes  (cost  6 )
0.052 * [simplify]: Simplified to:
   (sqrt (* (* 2.0 x) x))
0.054 * * [progress]: iteration 1 / 4
0.054 * * * [progress]: picking best candidate
0.057 * * * * [pick]: Picked  #<alt (λ (x) (sqrt (* (* 2.0 x) x)))>
0.057 * * * [progress]: localizing error
0.064 * * * [progress]: generating rewritten candidates
0.064 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.072 * * * [progress]: generating series expansions
0.073 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.077 * [approximate]: Taking taylor expansion of (* x (sqrt 2.0)) in (x) around 0
0.078 * [taylor]: Taking taylor expansion of (* x (sqrt 2.0)) in x
0.078 * [taylor]: Taking taylor expansion of x in x
0.079 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
0.079 * [taylor]: Taking taylor expansion of 2.0 in x
0.079 * [taylor]: Taking taylor expansion of (* x (sqrt 2.0)) in x
0.079 * [taylor]: Taking taylor expansion of x in x
0.079 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
0.079 * [taylor]: Taking taylor expansion of 2.0 in x
0.082 * [approximate]: Taking taylor expansion of (/ (sqrt 2.0) x) in (x) around 0
0.083 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) x) in x
0.083 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
0.083 * [taylor]: Taking taylor expansion of 2.0 in x
0.083 * [taylor]: Taking taylor expansion of x in x
0.083 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) x) in x
0.083 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
0.083 * [taylor]: Taking taylor expansion of 2.0 in x
0.083 * [taylor]: Taking taylor expansion of x in x
0.084 * [approximate]: Taking taylor expansion of (/ (sqrt 2.0) x) in (x) around 0
0.084 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) x) in x
0.084 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
0.084 * [taylor]: Taking taylor expansion of 2.0 in x
0.084 * [taylor]: Taking taylor expansion of x in x
0.084 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) x) in x
0.084 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
0.084 * [taylor]: Taking taylor expansion of 2.0 in x
0.084 * [taylor]: Taking taylor expansion of x in x
0.086 * * * [progress]: simplifying candidates
0.086 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (sqrt (* (* 2.0 x) x)))
  (exp (sqrt (* (* 2.0 x) x)))
  (* (cbrt (sqrt (* (* 2.0 x) x))) (cbrt (sqrt (* (* 2.0 x) x))))
  (cbrt (sqrt (* (* 2.0 x) x)))
  (* (* (sqrt (* (* 2.0 x) x)) (sqrt (* (* 2.0 x) x))) (sqrt (* (* 2.0 x) x)))
  (sqrt (* 2.0 x))
  (sqrt x)
  (/ 1 2)
  (/ 1 2)
  (/ 1 2)
  (sqrt (sqrt (* (* 2.0 x) x)))
  (sqrt (sqrt (* (* 2.0 x) x)))
  (* x (sqrt 2.0))
  (* x (sqrt 2.0))
  (* -1 (* x (sqrt 2.0)))
0.087 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
0.087 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
0.089 * * [simplify]: iteration  2 :  11  enodes  (cost  7 )
0.090 * * [simplify]: iteration  done :  11  enodes  (cost  7 )
0.090 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
0.091 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
0.092 * * [simplify]: iteration  2 :  11  enodes  (cost  7 )
0.094 * * [simplify]: iteration  done :  11  enodes  (cost  7 )
0.094 * * [simplify]: iteration  0 :  7  enodes  (cost  15 )
0.095 * * [simplify]: iteration  1 :  11  enodes  (cost  15 )
0.097 * * [simplify]: iteration  2 :  12  enodes  (cost  15 )
0.098 * * [simplify]: iteration  done :  12  enodes  (cost  15 )
0.099 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
0.099 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
0.100 * * [simplify]: iteration  2 :  11  enodes  (cost  7 )
0.102 * * [simplify]: iteration  done :  11  enodes  (cost  7 )
0.102 * * [simplify]: iteration  0 :  7  enodes  (cost  20 )
0.103 * * [simplify]: iteration  1 :  12  enodes  (cost  12 )
0.105 * * [simplify]: iteration  2 :  28  enodes  (cost  8 )
0.110 * * [simplify]: iteration  3 :  46  enodes  (cost  8 )
0.117 * * [simplify]: iteration  4 :  52  enodes  (cost  8 )
0.126 * * [simplify]: iteration  5 :  62  enodes  (cost  8 )
0.141 * * [simplify]: iteration  6 :  83  enodes  (cost  8 )
0.158 * * [simplify]: iteration  7 :  143  enodes  (cost  8 )
0.215 * * [simplify]: iteration  8 :  348  enodes  (cost  8 )
0.672 * * [simplify]: iteration  9 :  1266  enodes  (cost  8 )
2.951 * * [simplify]: iteration  done :  5000  enodes  (cost  8 )
2.952 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
2.953 * * [simplify]: iteration  1 :  5  enodes  (cost  4 )
2.953 * * [simplify]: iteration  done :  5  enodes  (cost  4 )
2.954 * * [simplify]: iteration  0 :  2  enodes  (cost  2 )
2.954 * * [simplify]: iteration  done :  2  enodes  (cost  2 )
2.954 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
2.955 * * [simplify]: iteration  1 :  6  enodes  (cost  1 )
2.955 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
2.956 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
2.956 * * [simplify]: iteration  1 :  6  enodes  (cost  1 )
2.956 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
2.957 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
2.957 * * [simplify]: iteration  1 :  6  enodes  (cost  1 )
2.957 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
2.958 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
2.959 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
2.960 * * [simplify]: iteration  2 :  11  enodes  (cost  7 )
2.961 * * [simplify]: iteration  done :  11  enodes  (cost  7 )
2.962 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
2.962 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
2.964 * * [simplify]: iteration  2 :  11  enodes  (cost  7 )
2.965 * * [simplify]: iteration  done :  11  enodes  (cost  7 )
2.966 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
2.966 * * [simplify]: iteration  1 :  5  enodes  (cost  4 )
2.967 * * [simplify]: iteration  done :  5  enodes  (cost  4 )
2.967 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
2.968 * * [simplify]: iteration  1 :  5  enodes  (cost  4 )
2.968 * * [simplify]: iteration  done :  5  enodes  (cost  4 )
2.969 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
2.970 * * [simplify]: iteration  1 :  11  enodes  (cost  5 )
2.971 * * [simplify]: iteration  2 :  23  enodes  (cost  5 )
2.974 * * [simplify]: iteration  done :  23  enodes  (cost  5 )
2.974 * [simplify]: Simplified to:
   (log (sqrt (* (* 2.0 x) x)))
  (exp (sqrt (* (* 2.0 x) x)))
  (* (cbrt (sqrt (* (* 2.0 x) x))) (cbrt (sqrt (* (* 2.0 x) x))))
  (cbrt (sqrt (* (* 2.0 x) x)))
  (pow (sqrt (* (* 2.0 x) x)) 3)
  (sqrt (* 2.0 x))
  (sqrt x)
  1/2
  1/2
  1/2
  (sqrt (sqrt (* (* 2.0 x) x)))
  (sqrt (sqrt (* (* 2.0 x) x)))
  (* x (sqrt 2.0))
  (* x (sqrt 2.0))
  (neg (* x (sqrt 2.0)))
2.974 * * * [progress]: adding candidates to table
3.007 * * [progress]: iteration 2 / 4
3.007 * * * [progress]: picking best candidate
3.026 * * * * [pick]: Picked  #<alt (λ (x) (pow (* (* 2.0 x) x) 1/2))>
3.026 * * * [progress]: localizing error
3.033 * * * [progress]: generating rewritten candidates
3.033 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
3.039 * * * [progress]: generating series expansions
3.039 * * * * [progress]: [ 1 / 1 ] generating series at (2)
3.040 * [approximate]: Taking taylor expansion of (pow (* 2.0 (pow x 2)) 1/2) in (x) around 0
3.040 * [taylor]: Taking taylor expansion of (pow (* 2.0 (pow x 2)) 1/2) in x
3.040 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (* 2.0 (pow x 2))))) in x
3.040 * [taylor]: Taking taylor expansion of (* 1/2 (log (* 2.0 (pow x 2)))) in x
3.040 * [taylor]: Taking taylor expansion of 1/2 in x
3.040 * [taylor]: Taking taylor expansion of (log (* 2.0 (pow x 2))) in x
3.040 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 2)) in x
3.040 * [taylor]: Taking taylor expansion of 2.0 in x
3.040 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.040 * [taylor]: Taking taylor expansion of x in x
3.041 * [taylor]: Taking taylor expansion of (pow (* 2.0 (pow x 2)) 1/2) in x
3.041 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (* 2.0 (pow x 2))))) in x
3.041 * [taylor]: Taking taylor expansion of (* 1/2 (log (* 2.0 (pow x 2)))) in x
3.041 * [taylor]: Taking taylor expansion of 1/2 in x
3.041 * [taylor]: Taking taylor expansion of (log (* 2.0 (pow x 2))) in x
3.041 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 2)) in x
3.041 * [taylor]: Taking taylor expansion of 2.0 in x
3.041 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.041 * [taylor]: Taking taylor expansion of x in x
3.050 * [approximate]: Taking taylor expansion of (pow (/ 2.0 (pow x 2)) 1/2) in (x) around 0
3.050 * [taylor]: Taking taylor expansion of (pow (/ 2.0 (pow x 2)) 1/2) in x
3.050 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (/ 2.0 (pow x 2))))) in x
3.050 * [taylor]: Taking taylor expansion of (* 1/2 (log (/ 2.0 (pow x 2)))) in x
3.050 * [taylor]: Taking taylor expansion of 1/2 in x
3.050 * [taylor]: Taking taylor expansion of (log (/ 2.0 (pow x 2))) in x
3.050 * [taylor]: Taking taylor expansion of (/ 2.0 (pow x 2)) in x
3.050 * [taylor]: Taking taylor expansion of 2.0 in x
3.050 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.050 * [taylor]: Taking taylor expansion of x in x
3.051 * [taylor]: Taking taylor expansion of (pow (/ 2.0 (pow x 2)) 1/2) in x
3.051 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (/ 2.0 (pow x 2))))) in x
3.051 * [taylor]: Taking taylor expansion of (* 1/2 (log (/ 2.0 (pow x 2)))) in x
3.051 * [taylor]: Taking taylor expansion of 1/2 in x
3.051 * [taylor]: Taking taylor expansion of (log (/ 2.0 (pow x 2))) in x
3.051 * [taylor]: Taking taylor expansion of (/ 2.0 (pow x 2)) in x
3.051 * [taylor]: Taking taylor expansion of 2.0 in x
3.051 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.051 * [taylor]: Taking taylor expansion of x in x
3.059 * [approximate]: Taking taylor expansion of (pow (/ 2.0 (pow x 2)) 1/2) in (x) around 0
3.059 * [taylor]: Taking taylor expansion of (pow (/ 2.0 (pow x 2)) 1/2) in x
3.059 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (/ 2.0 (pow x 2))))) in x
3.059 * [taylor]: Taking taylor expansion of (* 1/2 (log (/ 2.0 (pow x 2)))) in x
3.059 * [taylor]: Taking taylor expansion of 1/2 in x
3.059 * [taylor]: Taking taylor expansion of (log (/ 2.0 (pow x 2))) in x
3.059 * [taylor]: Taking taylor expansion of (/ 2.0 (pow x 2)) in x
3.059 * [taylor]: Taking taylor expansion of 2.0 in x
3.059 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.059 * [taylor]: Taking taylor expansion of x in x
3.059 * [taylor]: Taking taylor expansion of (pow (/ 2.0 (pow x 2)) 1/2) in x
3.059 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (/ 2.0 (pow x 2))))) in x
3.059 * [taylor]: Taking taylor expansion of (* 1/2 (log (/ 2.0 (pow x 2)))) in x
3.059 * [taylor]: Taking taylor expansion of 1/2 in x
3.059 * [taylor]: Taking taylor expansion of (log (/ 2.0 (pow x 2))) in x
3.059 * [taylor]: Taking taylor expansion of (/ 2.0 (pow x 2)) in x
3.059 * [taylor]: Taking taylor expansion of 2.0 in x
3.060 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.060 * [taylor]: Taking taylor expansion of x in x
3.068 * * * [progress]: simplifying candidates
3.068 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (+ (+ (log 2.0) (log x)) (log x)) 1/2)
  (* (+ (log (* 2.0 x)) (log x)) 1/2)
  (* (log (* (* 2.0 x) x)) 1/2)
  (* (log (* (* 2.0 x) x)) 1/2)
  (* 1 1/2)
  (* 1 1/2)
  (* 1 1/2)
  (pow (* (* 2.0 x) x) (* (cbrt 1/2) (cbrt 1/2)))
  (pow (* (* 2.0 x) x) (sqrt 1/2))
  (pow (* (* 2.0 x) x) 1)
  (pow (* 2.0 x) 1/2)
  (pow x 1/2)
  (log (pow (* (* 2.0 x) x) 1/2))
  (exp (pow (* (* 2.0 x) x) 1/2))
  (* (cbrt (pow (* (* 2.0 x) x) 1/2)) (cbrt (pow (* (* 2.0 x) x) 1/2)))
  (cbrt (pow (* (* 2.0 x) x) 1/2))
  (* (* (pow (* (* 2.0 x) x) 1/2) (pow (* (* 2.0 x) x) 1/2)) (pow (* (* 2.0 x) x) 1/2))
  (sqrt (pow (* (* 2.0 x) x) 1/2))
  (sqrt (pow (* (* 2.0 x) x) 1/2))
  (pow (* (* 2.0 x) x) (/ 1/2 2))
  (pow (* (* 2.0 x) x) (/ 1/2 2))
  (exp (* 1/2 (+ (log 2.0) (* 2 (log x)))))
  (exp (* 1/2 (- (log 2.0) (* 2 (log (/ 1 x))))))
  (exp (* 1/2 (- (log 2.0) (* 2 (log (/ -1 x))))))
3.069 * * [simplify]: iteration  0 :  8  enodes  (cost  10 )
3.070 * * [simplify]: iteration  1 :  13  enodes  (cost  10 )
3.071 * * [simplify]: iteration  2 :  30  enodes  (cost  9 )
3.076 * * [simplify]: iteration  3 :  39  enodes  (cost  9 )
3.081 * * [simplify]: iteration  4 :  48  enodes  (cost  7 )
3.097 * * [simplify]: iteration  5 :  105  enodes  (cost  7 )
3.154 * * [simplify]: iteration  6 :  310  enodes  (cost  7 )
3.672 * * [simplify]: iteration  7 :  1440  enodes  (cost  7 )
6.070 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
6.071 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
6.072 * * [simplify]: iteration  1 :  13  enodes  (cost  9 )
6.073 * * [simplify]: iteration  2 :  24  enodes  (cost  9 )
6.077 * * [simplify]: iteration  3 :  37  enodes  (cost  9 )
6.082 * * [simplify]: iteration  4 :  46  enodes  (cost  9 )
6.092 * * [simplify]: iteration  5 :  55  enodes  (cost  7 )
6.106 * * [simplify]: iteration  6 :  112  enodes  (cost  7 )
6.163 * * [simplify]: iteration  7 :  317  enodes  (cost  7 )
6.690 * * [simplify]: iteration  8 :  1423  enodes  (cost  7 )
8.909 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
8.910 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
8.911 * * [simplify]: iteration  1 :  15  enodes  (cost  8 )
8.913 * * [simplify]: iteration  2 :  28  enodes  (cost  8 )
8.917 * * [simplify]: iteration  3 :  43  enodes  (cost  8 )
8.923 * * [simplify]: iteration  4 :  49  enodes  (cost  8 )
8.928 * * [simplify]: iteration  5 :  56  enodes  (cost  8 )
8.935 * * [simplify]: iteration  6 :  62  enodes  (cost  7 )
8.949 * * [simplify]: iteration  7 :  118  enodes  (cost  7 )
9.005 * * [simplify]: iteration  8 :  322  enodes  (cost  7 )
9.507 * * [simplify]: iteration  9 :  1426  enodes  (cost  7 )
11.681 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
11.681 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
11.682 * * [simplify]: iteration  1 :  15  enodes  (cost  8 )
11.684 * * [simplify]: iteration  2 :  28  enodes  (cost  8 )
11.688 * * [simplify]: iteration  3 :  43  enodes  (cost  8 )
11.697 * * [simplify]: iteration  4 :  49  enodes  (cost  8 )
11.703 * * [simplify]: iteration  5 :  56  enodes  (cost  8 )
11.710 * * [simplify]: iteration  6 :  62  enodes  (cost  7 )
11.723 * * [simplify]: iteration  7 :  118  enodes  (cost  7 )
11.780 * * [simplify]: iteration  8 :  322  enodes  (cost  7 )
12.284 * * [simplify]: iteration  9 :  1426  enodes  (cost  7 )
14.466 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
14.467 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
14.467 * * [simplify]: iteration  1 :  6  enodes  (cost  1 )
14.468 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
14.468 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
14.469 * * [simplify]: iteration  1 :  6  enodes  (cost  1 )
14.469 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
14.469 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
14.470 * * [simplify]: iteration  1 :  6  enodes  (cost  1 )
14.470 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
14.471 * * [simplify]: iteration  0 :  8  enodes  (cost  11 )
14.472 * * [simplify]: iteration  1 :  16  enodes  (cost  11 )
14.474 * * [simplify]: iteration  2 :  24  enodes  (cost  11 )
14.478 * * [simplify]: iteration  3 :  48  enodes  (cost  11 )
14.485 * * [simplify]: iteration  4 :  105  enodes  (cost  11 )
14.525 * * [simplify]: iteration  5 :  265  enodes  (cost  11 )
14.748 * * [simplify]: iteration  6 :  886  enodes  (cost  11 )
16.481 * * [simplify]: iteration  7 :  3337  enodes  (cost  11 )
17.772 * * [simplify]: iteration  done :  5000  enodes  (cost  11 )
17.772 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
17.774 * * [simplify]: iteration  1 :  15  enodes  (cost  8 )
17.775 * * [simplify]: iteration  2 :  21  enodes  (cost  8 )
17.778 * * [simplify]: iteration  3 :  39  enodes  (cost  8 )
17.784 * * [simplify]: iteration  4 :  79  enodes  (cost  8 )
17.805 * * [simplify]: iteration  5 :  181  enodes  (cost  8 )
17.900 * * [simplify]: iteration  6 :  552  enodes  (cost  8 )
18.711 * * [simplify]: iteration  7 :  2174  enodes  (cost  8 )
20.793 * * [simplify]: iteration  done :  5000  enodes  (cost  8 )
20.794 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
20.794 * * [simplify]: iteration  1 :  17  enodes  (cost  5 )
20.797 * * [simplify]: iteration  2 :  25  enodes  (cost  5 )
20.799 * * [simplify]: iteration  3 :  36  enodes  (cost  5 )
20.804 * * [simplify]: iteration  4 :  60  enodes  (cost  5 )
20.818 * * [simplify]: iteration  5 :  120  enodes  (cost  5 )
20.868 * * [simplify]: iteration  6 :  334  enodes  (cost  5 )
21.308 * * [simplify]: iteration  7 :  1258  enodes  (cost  5 )
23.766 * * [simplify]: iteration  done :  5000  enodes  (cost  5 )
23.767 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
23.772 * * [simplify]: iteration  1 :  12  enodes  (cost  4 )
23.774 * * [simplify]: iteration  2 :  18  enodes  (cost  4 )
23.775 * * [simplify]: iteration  3 :  28  enodes  (cost  4 )
23.778 * * [simplify]: iteration  4 :  50  enodes  (cost  4 )
23.787 * * [simplify]: iteration  5 :  111  enodes  (cost  4 )
23.831 * * [simplify]: iteration  6 :  322  enodes  (cost  4 )
24.278 * * [simplify]: iteration  7 :  1255  enodes  (cost  4 )
26.662 * * [simplify]: iteration  done :  5000  enodes  (cost  4 )
26.663 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
26.663 * * [simplify]: iteration  1 :  9  enodes  (cost  2 )
26.664 * * [simplify]: iteration  2 :  15  enodes  (cost  2 )
26.665 * * [simplify]: iteration  3 :  25  enodes  (cost  2 )
26.668 * * [simplify]: iteration  4 :  49  enodes  (cost  2 )
26.682 * * [simplify]: iteration  5 :  114  enodes  (cost  2 )
26.726 * * [simplify]: iteration  6 :  337  enodes  (cost  2 )
27.180 * * [simplify]: iteration  7 :  1273  enodes  (cost  2 )
29.478 * * [simplify]: iteration  done :  5000  enodes  (cost  2 )
29.479 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
29.480 * * [simplify]: iteration  1 :  19  enodes  (cost  7 )
29.482 * * [simplify]: iteration  2 :  36  enodes  (cost  7 )
29.487 * * [simplify]: iteration  3 :  68  enodes  (cost  7 )
29.497 * * [simplify]: iteration  4 :  130  enodes  (cost  7 )
29.536 * * [simplify]: iteration  5 :  345  enodes  (cost  7 )
29.750 * * [simplify]: iteration  6 :  1157  enodes  (cost  7 )
31.114 * * [simplify]: iteration  done :  5001  enodes  (cost  7 )
31.115 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
31.116 * * [simplify]: iteration  1 :  17  enodes  (cost  7 )
31.118 * * [simplify]: iteration  2 :  26  enodes  (cost  7 )
31.121 * * [simplify]: iteration  3 :  41  enodes  (cost  7 )
31.126 * * [simplify]: iteration  4 :  78  enodes  (cost  7 )
31.139 * * [simplify]: iteration  5 :  193  enodes  (cost  7 )
31.225 * * [simplify]: iteration  6 :  657  enodes  (cost  7 )
32.085 * * [simplify]: iteration  7 :  3026  enodes  (cost  7 )
33.331 * * [simplify]: iteration  done :  5001  enodes  (cost  7 )
33.331 * * [simplify]: iteration  0 :  8  enodes  (cost  17 )
33.332 * * [simplify]: iteration  1 :  18  enodes  (cost  15 )
33.334 * * [simplify]: iteration  2 :  25  enodes  (cost  15 )
33.337 * * [simplify]: iteration  3 :  35  enodes  (cost  15 )
33.341 * * [simplify]: iteration  4 :  59  enodes  (cost  15 )
33.351 * * [simplify]: iteration  5 :  121  enodes  (cost  15 )
33.400 * * [simplify]: iteration  6 :  339  enodes  (cost  15 )
33.861 * * [simplify]: iteration  7 :  1277  enodes  (cost  15 )
36.185 * * [simplify]: iteration  done :  5000  enodes  (cost  15 )
36.185 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
36.186 * * [simplify]: iteration  1 :  17  enodes  (cost  7 )
36.188 * * [simplify]: iteration  2 :  24  enodes  (cost  7 )
36.191 * * [simplify]: iteration  3 :  34  enodes  (cost  7 )
36.199 * * [simplify]: iteration  4 :  56  enodes  (cost  7 )
36.209 * * [simplify]: iteration  5 :  125  enodes  (cost  7 )
36.257 * * [simplify]: iteration  6 :  345  enodes  (cost  7 )
36.699 * * [simplify]: iteration  7 :  1277  enodes  (cost  7 )
39.016 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
39.017 * * [simplify]: iteration  0 :  8  enodes  (cost  23 )
39.018 * * [simplify]: iteration  1 :  22  enodes  (cost  14 )
39.021 * * [simplify]: iteration  2 :  46  enodes  (cost  8 )
39.029 * * [simplify]: iteration  3 :  123  enodes  (cost  7 )
39.077 * * [simplify]: iteration  4 :  358  enodes  (cost  7 )
39.449 * * [simplify]: iteration  5 :  1241  enodes  (cost  7 )
43.247 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
43.248 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
43.249 * * [simplify]: iteration  1 :  17  enodes  (cost  7 )
43.251 * * [simplify]: iteration  2 :  25  enodes  (cost  7 )
43.254 * * [simplify]: iteration  3 :  35  enodes  (cost  7 )
43.258 * * [simplify]: iteration  4 :  59  enodes  (cost  7 )
43.268 * * [simplify]: iteration  5 :  121  enodes  (cost  7 )
43.318 * * [simplify]: iteration  6 :  337  enodes  (cost  7 )
43.780 * * [simplify]: iteration  7 :  1267  enodes  (cost  7 )
46.227 * * [simplify]: iteration  done :  5001  enodes  (cost  7 )
46.227 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
46.228 * * [simplify]: iteration  1 :  17  enodes  (cost  7 )
46.230 * * [simplify]: iteration  2 :  25  enodes  (cost  7 )
46.233 * * [simplify]: iteration  3 :  35  enodes  (cost  7 )
46.237 * * [simplify]: iteration  4 :  59  enodes  (cost  7 )
46.247 * * [simplify]: iteration  5 :  121  enodes  (cost  7 )
46.297 * * [simplify]: iteration  6 :  337  enodes  (cost  7 )
46.755 * * [simplify]: iteration  7 :  1267  enodes  (cost  7 )
49.098 * * [simplify]: iteration  done :  5001  enodes  (cost  7 )
49.098 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
49.099 * * [simplify]: iteration  1 :  17  enodes  (cost  7 )
49.101 * * [simplify]: iteration  2 :  24  enodes  (cost  7 )
49.110 * * [simplify]: iteration  3 :  34  enodes  (cost  7 )
49.114 * * [simplify]: iteration  4 :  56  enodes  (cost  7 )
49.124 * * [simplify]: iteration  5 :  122  enodes  (cost  7 )
49.172 * * [simplify]: iteration  6 :  340  enodes  (cost  7 )
49.630 * * [simplify]: iteration  7 :  1273  enodes  (cost  7 )
51.927 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
51.928 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
51.929 * * [simplify]: iteration  1 :  17  enodes  (cost  7 )
51.931 * * [simplify]: iteration  2 :  24  enodes  (cost  7 )
51.933 * * [simplify]: iteration  3 :  34  enodes  (cost  7 )
51.937 * * [simplify]: iteration  4 :  56  enodes  (cost  7 )
51.947 * * [simplify]: iteration  5 :  122  enodes  (cost  7 )
51.995 * * [simplify]: iteration  6 :  340  enodes  (cost  7 )
52.452 * * [simplify]: iteration  7 :  1273  enodes  (cost  7 )
54.752 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
54.753 * * [simplify]: iteration  0 :  10  enodes  (cost  10 )
54.754 * * [simplify]: iteration  1 :  21  enodes  (cost  10 )
54.757 * * [simplify]: iteration  2 :  39  enodes  (cost  10 )
54.762 * * [simplify]: iteration  3 :  70  enodes  (cost  7 )
54.784 * * [simplify]: iteration  4 :  167  enodes  (cost  4 )
54.850 * * [simplify]: iteration  5 :  409  enodes  (cost  4 )
55.267 * * [simplify]: iteration  6 :  1258  enodes  (cost  4 )
58.424 * * [simplify]: iteration  7 :  4596  enodes  (cost  4 )
59.719 * * [simplify]: iteration  done :  5000  enodes  (cost  4 )
59.720 * * [simplify]: iteration  0 :  12  enodes  (cost  12 )
59.721 * * [simplify]: iteration  1 :  24  enodes  (cost  11 )
59.724 * * [simplify]: iteration  2 :  48  enodes  (cost  11 )
59.731 * * [simplify]: iteration  3 :  110  enodes  (cost  9 )
59.768 * * [simplify]: iteration  4 :  251  enodes  (cost  6 )
60.008 * * [simplify]: iteration  5 :  807  enodes  (cost  4 )
61.407 * * [simplify]: iteration  6 :  2451  enodes  (cost  4 )
63.301 * * [simplify]: iteration  done :  5000  enodes  (cost  4 )
63.302 * * [simplify]: iteration  0 :  12  enodes  (cost  12 )
63.303 * * [simplify]: iteration  1 :  21  enodes  (cost  12 )
63.306 * * [simplify]: iteration  2 :  42  enodes  (cost  12 )
63.311 * * [simplify]: iteration  3 :  102  enodes  (cost  11 )
63.332 * * [simplify]: iteration  4 :  255  enodes  (cost  8 )
63.511 * * [simplify]: iteration  5 :  782  enodes  (cost  6 )
64.951 * * [simplify]: iteration  6 :  2666  enodes  (cost  4 )
65.331 * * [simplify]: iteration  7 :  3016  enodes  (cost  1 )
65.387 * * [simplify]: iteration  8 :  3054  enodes  (cost  1 )
65.402 * * [simplify]: iteration  9 :  3055  enodes  (cost  1 )
65.404 * * [simplify]: iteration  done :  3055  enodes  (cost  1 )
65.404 * [simplify]: Simplified to:
   (+ (* 1/2 (log 2.0)) (log x))
  (+ (log x) (* (log 2.0) 1/2))
  (+ (* (log 2.0) 1/2) (log x))
  (+ (* (log 2.0) 1/2) (log x))
  1/2
  1/2
  1/2
  (pow (* (* 2.0 x) x) (* (cbrt 1/2) (cbrt 1/2)))
  (pow (* (* 2.0 x) x) (sqrt 1/2))
  (* (* 2.0 x) x)
  (sqrt (* 2.0 x))
  (sqrt x)
  (log (sqrt (* (* 2.0 x) x)))
  (exp (sqrt (* (* 2.0 x) x)))
  (* (cbrt (sqrt (* (* 2.0 x) x))) (cbrt (sqrt (* (* 2.0 x) x))))
  (cbrt (sqrt (* (* 2.0 x) x)))
  (pow (* (* 2.0 x) x) 3/2)
  (sqrt (sqrt (* (* 2.0 x) x)))
  (sqrt (sqrt (* (* 2.0 x) x)))
  (pow (* (* 2.0 x) x) 1/4)
  (pow (* (* 2.0 x) x) 1/4)
  (* (sqrt 2.0) x)
  (* (sqrt 2.0) x)
  2.0
65.404 * * * [progress]: adding candidates to table
65.432 * * [progress]: iteration 3 / 4
65.432 * * * [progress]: picking best candidate
65.448 * * * * [pick]: Picked  #<alt (λ (x) (* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (sqrt (* (* 2.0 x) x)))))>
65.448 * * * [progress]: localizing error
65.456 * * * [progress]: generating rewritten candidates
65.456 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
65.460 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
65.465 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
65.482 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
65.495 * * * [progress]: generating series expansions
65.495 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
65.495 * [approximate]: Taking taylor expansion of (* x (sqrt 2.0)) in (x) around 0
65.495 * [taylor]: Taking taylor expansion of (* x (sqrt 2.0)) in x
65.495 * [taylor]: Taking taylor expansion of x in x
65.495 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
65.495 * [taylor]: Taking taylor expansion of 2.0 in x
65.495 * [taylor]: Taking taylor expansion of (* x (sqrt 2.0)) in x
65.495 * [taylor]: Taking taylor expansion of x in x
65.495 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
65.495 * [taylor]: Taking taylor expansion of 2.0 in x
65.496 * [approximate]: Taking taylor expansion of (/ (sqrt 2.0) x) in (x) around 0
65.496 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) x) in x
65.496 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
65.496 * [taylor]: Taking taylor expansion of 2.0 in x
65.496 * [taylor]: Taking taylor expansion of x in x
65.496 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) x) in x
65.496 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
65.496 * [taylor]: Taking taylor expansion of 2.0 in x
65.497 * [taylor]: Taking taylor expansion of x in x
65.498 * [approximate]: Taking taylor expansion of (/ (sqrt 2.0) x) in (x) around 0
65.498 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) x) in x
65.498 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
65.498 * [taylor]: Taking taylor expansion of 2.0 in x
65.498 * [taylor]: Taking taylor expansion of x in x
65.498 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) x) in x
65.498 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
65.498 * [taylor]: Taking taylor expansion of 2.0 in x
65.498 * [taylor]: Taking taylor expansion of x in x
65.499 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
65.499 * [approximate]: Taking taylor expansion of (* x (sqrt 2.0)) in (x) around 0
65.499 * [taylor]: Taking taylor expansion of (* x (sqrt 2.0)) in x
65.499 * [taylor]: Taking taylor expansion of x in x
65.499 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
65.499 * [taylor]: Taking taylor expansion of 2.0 in x
65.499 * [taylor]: Taking taylor expansion of (* x (sqrt 2.0)) in x
65.499 * [taylor]: Taking taylor expansion of x in x
65.499 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
65.499 * [taylor]: Taking taylor expansion of 2.0 in x
65.500 * [approximate]: Taking taylor expansion of (/ (sqrt 2.0) x) in (x) around 0
65.500 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) x) in x
65.500 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
65.500 * [taylor]: Taking taylor expansion of 2.0 in x
65.500 * [taylor]: Taking taylor expansion of x in x
65.501 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) x) in x
65.501 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
65.501 * [taylor]: Taking taylor expansion of 2.0 in x
65.501 * [taylor]: Taking taylor expansion of x in x
65.502 * [approximate]: Taking taylor expansion of (/ (sqrt 2.0) x) in (x) around 0
65.502 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) x) in x
65.502 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
65.502 * [taylor]: Taking taylor expansion of 2.0 in x
65.502 * [taylor]: Taking taylor expansion of x in x
65.502 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) x) in x
65.502 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
65.502 * [taylor]: Taking taylor expansion of 2.0 in x
65.502 * [taylor]: Taking taylor expansion of x in x
65.503 * * * * [progress]: [ 3 / 4 ] generating series at (2)
65.503 * [approximate]: Taking taylor expansion of (* x (sqrt 2.0)) in (x) around 0
65.503 * [taylor]: Taking taylor expansion of (* x (sqrt 2.0)) in x
65.503 * [taylor]: Taking taylor expansion of x in x
65.503 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
65.503 * [taylor]: Taking taylor expansion of 2.0 in x
65.503 * [taylor]: Taking taylor expansion of (* x (sqrt 2.0)) in x
65.503 * [taylor]: Taking taylor expansion of x in x
65.503 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
65.503 * [taylor]: Taking taylor expansion of 2.0 in x
65.505 * [approximate]: Taking taylor expansion of (/ (sqrt 2.0) x) in (x) around 0
65.505 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) x) in x
65.505 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
65.505 * [taylor]: Taking taylor expansion of 2.0 in x
65.505 * [taylor]: Taking taylor expansion of x in x
65.505 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) x) in x
65.505 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
65.505 * [taylor]: Taking taylor expansion of 2.0 in x
65.505 * [taylor]: Taking taylor expansion of x in x
65.506 * [approximate]: Taking taylor expansion of (/ (sqrt 2.0) x) in (x) around 0
65.506 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) x) in x
65.506 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
65.506 * [taylor]: Taking taylor expansion of 2.0 in x
65.506 * [taylor]: Taking taylor expansion of x in x
65.506 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) x) in x
65.506 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
65.506 * [taylor]: Taking taylor expansion of 2.0 in x
65.507 * [taylor]: Taking taylor expansion of x in x
65.508 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
65.508 * [approximate]: Taking taylor expansion of (sqrt (* x (sqrt 2.0))) in (x) around 0
65.508 * [taylor]: Taking taylor expansion of (sqrt (* x (sqrt 2.0))) in x
65.508 * [taylor]: Taking taylor expansion of (* x (sqrt 2.0)) in x
65.508 * [taylor]: Taking taylor expansion of x in x
65.508 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
65.508 * [taylor]: Taking taylor expansion of 2.0 in x
65.508 * [taylor]: Taking taylor expansion of (sqrt (* x (sqrt 2.0))) in x
65.508 * [taylor]: Taking taylor expansion of (* x (sqrt 2.0)) in x
65.508 * [taylor]: Taking taylor expansion of x in x
65.508 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
65.508 * [taylor]: Taking taylor expansion of 2.0 in x
65.510 * [approximate]: Taking taylor expansion of (sqrt (/ (sqrt 2.0) x)) in (x) around 0
65.510 * [taylor]: Taking taylor expansion of (sqrt (/ (sqrt 2.0) x)) in x
65.510 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) x) in x
65.510 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
65.510 * [taylor]: Taking taylor expansion of 2.0 in x
65.510 * [taylor]: Taking taylor expansion of x in x
65.510 * [taylor]: Taking taylor expansion of (sqrt (/ (sqrt 2.0) x)) in x
65.510 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) x) in x
65.510 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
65.510 * [taylor]: Taking taylor expansion of 2.0 in x
65.510 * [taylor]: Taking taylor expansion of x in x
65.516 * [approximate]: Taking taylor expansion of (sqrt (/ (sqrt 2.0) x)) in (x) around 0
65.517 * [taylor]: Taking taylor expansion of (sqrt (/ (sqrt 2.0) x)) in x
65.517 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) x) in x
65.517 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
65.517 * [taylor]: Taking taylor expansion of 2.0 in x
65.517 * [taylor]: Taking taylor expansion of x in x
65.517 * [taylor]: Taking taylor expansion of (sqrt (/ (sqrt 2.0) x)) in x
65.517 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) x) in x
65.517 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
65.517 * [taylor]: Taking taylor expansion of 2.0 in x
65.517 * [taylor]: Taking taylor expansion of x in x
65.518 * * * [progress]: simplifying candidates
65.520 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (sqrt (* (* 2.0 x) x)))
  (exp (sqrt (* (* 2.0 x) x)))
  (* (cbrt (sqrt (* (* 2.0 x) x))) (cbrt (sqrt (* (* 2.0 x) x))))
  (cbrt (sqrt (* (* 2.0 x) x)))
  (* (* (sqrt (* (* 2.0 x) x)) (sqrt (* (* 2.0 x) x))) (sqrt (* (* 2.0 x) x)))
  (sqrt (* 2.0 x))
  (sqrt x)
  (/ 1 2)
  (/ 1 2)
  (/ 1 2)
  (sqrt (sqrt (* (* 2.0 x) x)))
  (sqrt (sqrt (* (* 2.0 x) x)))
  (log (sqrt (* (* 2.0 x) x)))
  (exp (sqrt (* (* 2.0 x) x)))
  (* (cbrt (sqrt (* (* 2.0 x) x))) (cbrt (sqrt (* (* 2.0 x) x))))
  (cbrt (sqrt (* (* 2.0 x) x)))
  (* (* (sqrt (* (* 2.0 x) x)) (sqrt (* (* 2.0 x) x))) (sqrt (* (* 2.0 x) x)))
  (sqrt (* 2.0 x))
  (sqrt x)
  (/ 1 2)
  (/ 1 2)
  (/ 1 2)
  (sqrt (sqrt (* (* 2.0 x) x)))
  (sqrt (sqrt (* (* 2.0 x) x)))
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1/2 2) (/ 1/2 2))
  (+ (/ 1/2 2) (/ (/ 1 2) 2))
  (+ (/ 1/2 2) (/ (/ 1 2) 2))
  (+ (/ 1/2 2) (/ (/ 1 2) 2))
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (+ (/ (/ 1 2) 2) (/ 1/2 2))
  (+ (/ (/ 1 2) 2) (/ (/ 1 2) 2))
  (+ (/ (/ 1 2) 2) (/ (/ 1 2) 2))
  (+ (/ (/ 1 2) 2) (/ (/ 1 2) 2))
  (+ (/ (/ 1 2) 2) (/ 1/2 2))
  (+ (/ (/ 1 2) 2) (/ (/ 1 2) 2))
  (+ (/ (/ 1 2) 2) (/ (/ 1 2) 2))
  (+ (/ (/ 1 2) 2) (/ (/ 1 2) 2))
  (+ (/ (/ 1 2) 2) (/ 1/2 2))
  (+ (/ (/ 1 2) 2) (/ (/ 1 2) 2))
  (+ (/ (/ 1 2) 2) (/ (/ 1 2) 2))
  (+ (/ (/ 1 2) 2) (/ (/ 1 2) 2))
  (* (sqrt (* (* 2.0 x) x)) (sqrt (* (* 2.0 x) x)))
  (* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (sqrt (* (* 2.0 x) x))))
  (* (* (* 2.0 x) x) (* (* 2.0 x) x))
  (* (sqrt (* (* 2.0 x) x)) (sqrt (* (* 2.0 x) x)))
  (* (* (* 2.0 x) x) (* (* 2.0 x) x))
  (* (* (* 2.0 x) x) (* (* 2.0 x) x))
  (* (* (* 2.0 x) x) (* (* 2.0 x) x))
  (* (* (* 2.0 x) x) (* (* 2.0 x) x))
  (* (* (* 2.0 x) x) (* (* 2.0 x) x))
  (* (* (* 2.0 x) x) (* (* 2.0 x) x))
  (* (* (* 2.0 x) x) (* (* 2.0 x) x))
  (* (* (* 2.0 x) x) (* (* 2.0 x) x))
  (* (* (* 2.0 x) x) (* (* 2.0 x) x))
  (+ 1 1)
  (+ (log (sqrt (sqrt (* (* 2.0 x) x)))) (log (sqrt (sqrt (* (* 2.0 x) x)))))
  (log (* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (sqrt (* (* 2.0 x) x)))))
  (exp (* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (sqrt (* (* 2.0 x) x)))))
  (* (* (* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (sqrt (* (* 2.0 x) x)))) (sqrt (sqrt (* (* 2.0 x) x)))) (* (* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (sqrt (* (* 2.0 x) x)))) (sqrt (sqrt (* (* 2.0 x) x)))))
  (* (cbrt (* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (sqrt (* (* 2.0 x) x))))) (cbrt (* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (sqrt (* (* 2.0 x) x))))))
  (cbrt (* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (sqrt (* (* 2.0 x) x)))))
  (* (* (* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (sqrt (* (* 2.0 x) x)))) (* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (sqrt (* (* 2.0 x) x))))) (* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (sqrt (* (* 2.0 x) x)))))
  (* (sqrt (* (* 2.0 x) x)) (sqrt (* (* 2.0 x) x)))
  (sqrt (* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (sqrt (* (* 2.0 x) x)))))
  (sqrt (* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (sqrt (* (* 2.0 x) x)))))
  (* (* (cbrt (sqrt (sqrt (* (* 2.0 x) x)))) (cbrt (sqrt (sqrt (* (* 2.0 x) x))))) (* (cbrt (sqrt (sqrt (* (* 2.0 x) x)))) (cbrt (sqrt (sqrt (* (* 2.0 x) x))))))
  (* (cbrt (sqrt (sqrt (* (* 2.0 x) x)))) (cbrt (sqrt (sqrt (* (* 2.0 x) x)))))
  (* (sqrt (* (cbrt (sqrt (* (* 2.0 x) x))) (cbrt (sqrt (* (* 2.0 x) x))))) (sqrt (* (cbrt (sqrt (* (* 2.0 x) x))) (cbrt (sqrt (* (* 2.0 x) x))))))
  (* (sqrt (cbrt (sqrt (* (* 2.0 x) x)))) (sqrt (cbrt (sqrt (* (* 2.0 x) x)))))
  (* (sqrt (sqrt (* 2.0 x))) (sqrt (sqrt (* 2.0 x))))
  (* (sqrt (sqrt x)) (sqrt (sqrt x)))
  (* (sqrt (sqrt (sqrt (* (* 2.0 x) x)))) (sqrt (sqrt (sqrt (* (* 2.0 x) x)))))
  (* (sqrt (sqrt (sqrt (* (* 2.0 x) x)))) (sqrt (sqrt (sqrt (* (* 2.0 x) x)))))
  (* (sqrt (sqrt (sqrt (* (* 2.0 x) x)))) (sqrt (sqrt (sqrt (* (* 2.0 x) x)))))
  (* (sqrt (sqrt (sqrt (* (* 2.0 x) x)))) (sqrt (sqrt (sqrt (* (* 2.0 x) x)))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (sqrt (* (* 2.0 x) x))))
  (* (sqrt (sqrt (sqrt (* (* 2.0 x) x)))) (sqrt (sqrt (sqrt (* (* 2.0 x) x)))))
  (* (sqrt (sqrt (sqrt (* (* 2.0 x) x)))) (sqrt (sqrt (sqrt (* (* 2.0 x) x)))))
  (* (sqrt (sqrt (sqrt (* (* 2.0 x) x)))) (sqrt (sqrt (sqrt (* (* 2.0 x) x)))))
  (* (sqrt (sqrt (sqrt (* (* 2.0 x) x)))) (sqrt (sqrt (sqrt (* (* 2.0 x) x)))))
  (* 1 1)
  (* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (sqrt (* (* 2.0 x) x))))
  (* (sqrt (sqrt (sqrt (* (* 2.0 x) x)))) (sqrt (sqrt (sqrt (* (* 2.0 x) x)))))
  (* (sqrt (sqrt (sqrt (* (* 2.0 x) x)))) (sqrt (sqrt (sqrt (* (* 2.0 x) x)))))
  (* (sqrt (sqrt (sqrt (* (* 2.0 x) x)))) (sqrt (sqrt (sqrt (* (* 2.0 x) x)))))
  (* (sqrt (sqrt (sqrt (* (* 2.0 x) x)))) (sqrt (sqrt (sqrt (* (* 2.0 x) x)))))
  (* (sqrt (sqrt (sqrt (* (* 2.0 x) x)))) (sqrt (sqrt (sqrt (* (* 2.0 x) x)))))
  (* (sqrt (sqrt (sqrt (* (* 2.0 x) x)))) (sqrt (sqrt (sqrt (* (* 2.0 x) x)))))
  (* (sqrt (sqrt (sqrt (* (* 2.0 x) x)))) (sqrt (sqrt (sqrt (* (* 2.0 x) x)))))
  (* (sqrt (sqrt (sqrt (* (* 2.0 x) x)))) (sqrt (sqrt (sqrt (* (* 2.0 x) x)))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1/2 2))
  (* 2 (/ 1 2))
  (* 2 (/ (/ 1 2) 2))
  (* 2 (/ (/ 1 2) 2))
  (* 2 (/ (/ 1 2) 2))
  (* 2 (/ (/ 1 2) 2))
  (* 2 (/ (/ 1 2) 2))
  (* 2 (/ (/ 1 2) 2))
  (* 2 (/ (/ 1 2) 2))
  (* 2 (/ (/ 1 2) 2))
  (* 2 (/ (/ 1 2) 2))
  (* (sqrt (sqrt (* (* 2.0 x) x))) (* (cbrt (sqrt (sqrt (* (* 2.0 x) x)))) (cbrt (sqrt (sqrt (* (* 2.0 x) x))))))
  (* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (* (cbrt (sqrt (* (* 2.0 x) x))) (cbrt (sqrt (* (* 2.0 x) x))))))
  (* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (sqrt (* 2.0 x))))
  (* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (sqrt (sqrt (* (* 2.0 x) x)))))
  (* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt 1))
  (* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (sqrt (sqrt (* (* 2.0 x) x)))))
  (* (sqrt (sqrt (* (* 2.0 x) x))) 1)
  (* (cbrt (sqrt (sqrt (* (* 2.0 x) x)))) (sqrt (sqrt (* (* 2.0 x) x))))
  (* (sqrt (cbrt (sqrt (* (* 2.0 x) x)))) (sqrt (sqrt (* (* 2.0 x) x))))
  (* (sqrt (sqrt x)) (sqrt (sqrt (* (* 2.0 x) x))))
  (* (sqrt (sqrt (sqrt (* (* 2.0 x) x)))) (sqrt (sqrt (* (* 2.0 x) x))))
  (* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (sqrt (* (* 2.0 x) x))))
  (* (sqrt (sqrt (sqrt (* (* 2.0 x) x)))) (sqrt (sqrt (* (* 2.0 x) x))))
  (* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (sqrt (* (* 2.0 x) x))))
  (log (sqrt (sqrt (* (* 2.0 x) x))))
  (exp (sqrt (sqrt (* (* 2.0 x) x))))
  (* (cbrt (sqrt (sqrt (* (* 2.0 x) x)))) (cbrt (sqrt (sqrt (* (* 2.0 x) x)))))
  (cbrt (sqrt (sqrt (* (* 2.0 x) x))))
  (* (* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (sqrt (* (* 2.0 x) x)))) (sqrt (sqrt (* (* 2.0 x) x))))
  (sqrt (* (cbrt (sqrt (* (* 2.0 x) x))) (cbrt (sqrt (* (* 2.0 x) x)))))
  (sqrt (cbrt (sqrt (* (* 2.0 x) x))))
  (sqrt (sqrt (* 2.0 x)))
  (sqrt (sqrt x))
  (sqrt (sqrt (sqrt (* (* 2.0 x) x))))
  (sqrt (sqrt (sqrt (* (* 2.0 x) x))))
  (sqrt 1)
  (sqrt (sqrt (* (* 2.0 x) x)))
  (/ 1/2 2)
  (/ 1 2)
  (/ (/ 1 2) 2)
  (/ (/ 1 2) 2)
  (/ (/ 1 2) 2)
  (sqrt (sqrt (sqrt (* (* 2.0 x) x))))
  (sqrt (sqrt (sqrt (* (* 2.0 x) x))))
  (* x (sqrt 2.0))
  (* x (sqrt 2.0))
  (* -1 (* x (sqrt 2.0)))
  (* x (sqrt 2.0))
  (* x (sqrt 2.0))
  (* -1 (* x (sqrt 2.0)))
  (* x (sqrt 2.0))
  (* x (sqrt 2.0))
  (* -1 (* x (sqrt 2.0)))
  (+ (* x (* NAN (sqrt 2.0))) (+ (* (pow x 3) (* (pow NAN 5) (pow (sqrt 2.0) 3))) (* (pow x 2) (* (pow NAN 3) (pow (sqrt 2.0) 2)))))
  (+ (/ (* (pow NAN 3) (pow (sqrt 2.0) 2)) x) (+ (* NAN (sqrt 2.0)) (/ (* (pow NAN 5) (pow (sqrt 2.0) 3)) (pow x 2))))
  (- (+ (* NAN (sqrt 2.0)) (/ (* (pow NAN 5) (pow (sqrt 2.0) 3)) (pow x 2))) (/ (* (pow NAN 3) (pow (sqrt 2.0) 2)) x))
65.521 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
65.522 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
65.523 * * [simplify]: iteration  2 :  11  enodes  (cost  7 )
65.524 * * [simplify]: iteration  done :  11  enodes  (cost  7 )
65.525 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
65.526 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
65.527 * * [simplify]: iteration  2 :  11  enodes  (cost  7 )
65.528 * * [simplify]: iteration  done :  11  enodes  (cost  7 )
65.529 * * [simplify]: iteration  0 :  7  enodes  (cost  15 )
65.529 * * [simplify]: iteration  1 :  11  enodes  (cost  15 )
65.531 * * [simplify]: iteration  2 :  12  enodes  (cost  15 )
65.532 * * [simplify]: iteration  done :  12  enodes  (cost  15 )
65.533 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
65.533 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
65.534 * * [simplify]: iteration  2 :  11  enodes  (cost  7 )
65.536 * * [simplify]: iteration  done :  11  enodes  (cost  7 )
65.536 * * [simplify]: iteration  0 :  7  enodes  (cost  20 )
65.537 * * [simplify]: iteration  1 :  12  enodes  (cost  12 )
65.539 * * [simplify]: iteration  2 :  28  enodes  (cost  8 )
65.544 * * [simplify]: iteration  3 :  46  enodes  (cost  8 )
65.552 * * [simplify]: iteration  4 :  52  enodes  (cost  8 )
65.560 * * [simplify]: iteration  5 :  62  enodes  (cost  8 )
65.570 * * [simplify]: iteration  6 :  83  enodes  (cost  8 )
65.591 * * [simplify]: iteration  7 :  143  enodes  (cost  8 )
65.650 * * [simplify]: iteration  8 :  348  enodes  (cost  8 )
66.121 * * [simplify]: iteration  9 :  1266  enodes  (cost  8 )
68.689 * * [simplify]: iteration  done :  5000  enodes  (cost  8 )
68.690 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
68.691 * * [simplify]: iteration  1 :  5  enodes  (cost  4 )
68.691 * * [simplify]: iteration  done :  5  enodes  (cost  4 )
68.692 * * [simplify]: iteration  0 :  2  enodes  (cost  2 )
68.692 * * [simplify]: iteration  done :  2  enodes  (cost  2 )
68.692 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
68.693 * * [simplify]: iteration  1 :  6  enodes  (cost  1 )
68.693 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
68.694 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
68.694 * * [simplify]: iteration  1 :  6  enodes  (cost  1 )
68.694 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
68.695 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
68.695 * * [simplify]: iteration  1 :  6  enodes  (cost  1 )
68.696 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
68.696 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
68.697 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
68.698 * * [simplify]: iteration  2 :  11  enodes  (cost  7 )
68.699 * * [simplify]: iteration  done :  11  enodes  (cost  7 )
68.700 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
68.701 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
68.702 * * [simplify]: iteration  2 :  11  enodes  (cost  7 )
68.703 * * [simplify]: iteration  done :  11  enodes  (cost  7 )
68.704 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
68.704 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
68.706 * * [simplify]: iteration  2 :  11  enodes  (cost  7 )
68.707 * * [simplify]: iteration  done :  11  enodes  (cost  7 )
68.707 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
68.708 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
68.709 * * [simplify]: iteration  2 :  11  enodes  (cost  7 )
68.711 * * [simplify]: iteration  done :  11  enodes  (cost  7 )
68.711 * * [simplify]: iteration  0 :  7  enodes  (cost  15 )
68.712 * * [simplify]: iteration  1 :  11  enodes  (cost  15 )
68.713 * * [simplify]: iteration  2 :  12  enodes  (cost  15 )
68.715 * * [simplify]: iteration  done :  12  enodes  (cost  15 )
68.715 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
68.716 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
68.717 * * [simplify]: iteration  2 :  11  enodes  (cost  7 )
68.718 * * [simplify]: iteration  done :  11  enodes  (cost  7 )
68.719 * * [simplify]: iteration  0 :  7  enodes  (cost  20 )
68.720 * * [simplify]: iteration  1 :  12  enodes  (cost  12 )
68.722 * * [simplify]: iteration  2 :  28  enodes  (cost  8 )
68.726 * * [simplify]: iteration  3 :  46  enodes  (cost  8 )
68.734 * * [simplify]: iteration  4 :  52  enodes  (cost  8 )
68.747 * * [simplify]: iteration  5 :  62  enodes  (cost  8 )
68.757 * * [simplify]: iteration  6 :  83  enodes  (cost  8 )
68.774 * * [simplify]: iteration  7 :  143  enodes  (cost  8 )
68.833 * * [simplify]: iteration  8 :  348  enodes  (cost  8 )
69.317 * * [simplify]: iteration  9 :  1266  enodes  (cost  8 )
71.700 * * [simplify]: iteration  done :  5000  enodes  (cost  8 )
71.701 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
71.701 * * [simplify]: iteration  1 :  5  enodes  (cost  4 )
71.702 * * [simplify]: iteration  done :  5  enodes  (cost  4 )
71.702 * * [simplify]: iteration  0 :  2  enodes  (cost  2 )
71.702 * * [simplify]: iteration  done :  2  enodes  (cost  2 )
71.703 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
71.703 * * [simplify]: iteration  1 :  6  enodes  (cost  1 )
71.704 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
71.704 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
71.704 * * [simplify]: iteration  1 :  6  enodes  (cost  1 )
71.705 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
71.705 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
71.706 * * [simplify]: iteration  1 :  6  enodes  (cost  1 )
71.706 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
71.706 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
71.707 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
71.708 * * [simplify]: iteration  2 :  11  enodes  (cost  7 )
71.710 * * [simplify]: iteration  done :  11  enodes  (cost  7 )
71.710 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
71.711 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
71.712 * * [simplify]: iteration  2 :  11  enodes  (cost  7 )
71.713 * * [simplify]: iteration  done :  11  enodes  (cost  7 )
71.714 * * [simplify]: iteration  0 :  2  enodes  (cost  3 )
71.714 * * [simplify]: iteration  1 :  5  enodes  (cost  1 )
71.715 * * [simplify]: iteration  2 :  7  enodes  (cost  1 )
71.715 * * [simplify]: iteration  done :  7  enodes  (cost  1 )
71.715 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
71.716 * * [simplify]: iteration  1 :  8  enodes  (cost  1 )
71.716 * * [simplify]: iteration  done :  8  enodes  (cost  1 )
71.717 * * [simplify]: iteration  0 :  2  enodes  (cost  3 )
71.717 * * [simplify]: iteration  1 :  6  enodes  (cost  1 )
71.718 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
71.718 * * [simplify]: iteration  0 :  4  enodes  (cost  7 )
71.719 * * [simplify]: iteration  1 :  6  enodes  (cost  3 )
71.719 * * [simplify]: iteration  2 :  7  enodes  (cost  1 )
71.720 * * [simplify]: iteration  done :  7  enodes  (cost  1 )
71.720 * * [simplify]: iteration  0 :  7  enodes  (cost  9 )
71.721 * * [simplify]: iteration  1 :  14  enodes  (cost  3 )
71.722 * * [simplify]: iteration  done :  14  enodes  (cost  1 )
71.723 * * [simplify]: iteration  0 :  7  enodes  (cost  9 )
71.724 * * [simplify]: iteration  1 :  14  enodes  (cost  3 )
71.724 * * [simplify]: iteration  done :  14  enodes  (cost  1 )
71.725 * * [simplify]: iteration  0 :  7  enodes  (cost  9 )
71.726 * * [simplify]: iteration  1 :  14  enodes  (cost  3 )
71.726 * * [simplify]: iteration  done :  14  enodes  (cost  1 )
71.727 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
71.728 * * [simplify]: iteration  1 :  8  enodes  (cost  3 )
71.728 * * [simplify]: iteration  done :  8  enodes  (cost  1 )
71.729 * * [simplify]: iteration  0 :  4  enodes  (cost  7 )
71.729 * * [simplify]: iteration  1 :  8  enodes  (cost  3 )
71.730 * * [simplify]: iteration  2 :  9  enodes  (cost  1 )
71.730 * * [simplify]: iteration  done :  9  enodes  (cost  1 )
71.731 * * [simplify]: iteration  0 :  7  enodes  (cost  9 )
71.732 * * [simplify]: iteration  1 :  14  enodes  (cost  3 )
71.732 * * [simplify]: iteration  done :  14  enodes  (cost  1 )
71.733 * * [simplify]: iteration  0 :  5  enodes  (cost  11 )
71.734 * * [simplify]: iteration  1 :  12  enodes  (cost  5 )
71.735 * * [simplify]: iteration  2 :  18  enodes  (cost  1 )
71.735 * * [simplify]: iteration  done :  18  enodes  (cost  1 )
71.736 * * [simplify]: iteration  0 :  5  enodes  (cost  11 )
71.741 * * [simplify]: iteration  1 :  12  enodes  (cost  5 )
71.742 * * [simplify]: iteration  2 :  18  enodes  (cost  1 )
71.743 * * [simplify]: iteration  done :  18  enodes  (cost  1 )
71.743 * * [simplify]: iteration  0 :  5  enodes  (cost  11 )
71.744 * * [simplify]: iteration  1 :  12  enodes  (cost  5 )
71.745 * * [simplify]: iteration  2 :  18  enodes  (cost  1 )
71.746 * * [simplify]: iteration  done :  18  enodes  (cost  1 )
71.746 * * [simplify]: iteration  0 :  7  enodes  (cost  9 )
71.747 * * [simplify]: iteration  1 :  14  enodes  (cost  3 )
71.748 * * [simplify]: iteration  done :  14  enodes  (cost  1 )
71.748 * * [simplify]: iteration  0 :  5  enodes  (cost  11 )
71.749 * * [simplify]: iteration  1 :  12  enodes  (cost  5 )
71.750 * * [simplify]: iteration  2 :  18  enodes  (cost  1 )
71.751 * * [simplify]: iteration  done :  18  enodes  (cost  1 )
71.751 * * [simplify]: iteration  0 :  5  enodes  (cost  11 )
71.752 * * [simplify]: iteration  1 :  12  enodes  (cost  5 )
71.753 * * [simplify]: iteration  2 :  18  enodes  (cost  1 )
71.754 * * [simplify]: iteration  done :  18  enodes  (cost  1 )
71.754 * * [simplify]: iteration  0 :  5  enodes  (cost  11 )
71.755 * * [simplify]: iteration  1 :  12  enodes  (cost  5 )
71.756 * * [simplify]: iteration  2 :  18  enodes  (cost  1 )
71.757 * * [simplify]: iteration  done :  18  enodes  (cost  1 )
71.757 * * [simplify]: iteration  0 :  7  enodes  (cost  9 )
71.758 * * [simplify]: iteration  1 :  14  enodes  (cost  3 )
71.759 * * [simplify]: iteration  done :  14  enodes  (cost  1 )
71.760 * * [simplify]: iteration  0 :  5  enodes  (cost  11 )
71.760 * * [simplify]: iteration  1 :  12  enodes  (cost  5 )
71.762 * * [simplify]: iteration  2 :  18  enodes  (cost  1 )
71.762 * * [simplify]: iteration  done :  18  enodes  (cost  1 )
71.763 * * [simplify]: iteration  0 :  5  enodes  (cost  11 )
71.763 * * [simplify]: iteration  1 :  12  enodes  (cost  5 )
71.765 * * [simplify]: iteration  2 :  18  enodes  (cost  1 )
71.765 * * [simplify]: iteration  done :  18  enodes  (cost  1 )
71.766 * * [simplify]: iteration  0 :  5  enodes  (cost  11 )
71.766 * * [simplify]: iteration  1 :  12  enodes  (cost  5 )
71.767 * * [simplify]: iteration  2 :  18  enodes  (cost  1 )
71.768 * * [simplify]: iteration  done :  18  enodes  (cost  1 )
71.768 * * [simplify]: iteration  0 :  6  enodes  (cost  13 )
71.769 * * [simplify]: iteration  1 :  10  enodes  (cost  5 )
71.770 * * [simplify]: iteration  2 :  12  enodes  (cost  5 )
71.772 * * [simplify]: iteration  done :  12  enodes  (cost  5 )
71.772 * * [simplify]: iteration  0 :  7  enodes  (cost  15 )
71.773 * * [simplify]: iteration  1 :  11  enodes  (cost  6 )
71.775 * * [simplify]: iteration  2 :  13  enodes  (cost  6 )
71.776 * * [simplify]: iteration  done :  13  enodes  (cost  6 )
71.777 * * [simplify]: iteration  0 :  5  enodes  (cost  11 )
71.778 * * [simplify]: iteration  1 :  15  enodes  (cost  11 )
71.781 * * [simplify]: iteration  2 :  45  enodes  (cost  11 )
71.792 * * [simplify]: iteration  3 :  77  enodes  (cost  11 )
71.814 * * [simplify]: iteration  4 :  81  enodes  (cost  9 )
71.832 * * [simplify]: iteration  5 :  90  enodes  (cost  7 )
71.853 * * [simplify]: iteration  6 :  123  enodes  (cost  7 )
71.892 * * [simplify]: iteration  7 :  227  enodes  (cost  7 )
72.007 * * [simplify]: iteration  8 :  513  enodes  (cost  7 )
72.557 * * [simplify]: iteration  9 :  1509  enodes  (cost  7 )
74.703 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
74.704 * * [simplify]: iteration  0 :  6  enodes  (cost  13 )
74.705 * * [simplify]: iteration  1 :  10  enodes  (cost  5 )
74.706 * * [simplify]: iteration  2 :  12  enodes  (cost  5 )
74.707 * * [simplify]: iteration  done :  12  enodes  (cost  5 )
74.708 * * [simplify]: iteration  0 :  5  enodes  (cost  11 )
74.709 * * [simplify]: iteration  1 :  15  enodes  (cost  11 )
74.712 * * [simplify]: iteration  2 :  45  enodes  (cost  11 )
74.723 * * [simplify]: iteration  3 :  77  enodes  (cost  11 )
74.748 * * [simplify]: iteration  4 :  81  enodes  (cost  9 )
74.766 * * [simplify]: iteration  5 :  90  enodes  (cost  7 )
74.791 * * [simplify]: iteration  6 :  123  enodes  (cost  7 )
74.828 * * [simplify]: iteration  7 :  227  enodes  (cost  7 )
74.945 * * [simplify]: iteration  8 :  513  enodes  (cost  7 )
75.502 * * [simplify]: iteration  9 :  1509  enodes  (cost  7 )
77.613 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
77.614 * * [simplify]: iteration  0 :  5  enodes  (cost  11 )
77.615 * * [simplify]: iteration  1 :  15  enodes  (cost  11 )
77.618 * * [simplify]: iteration  2 :  45  enodes  (cost  11 )
77.629 * * [simplify]: iteration  3 :  77  enodes  (cost  11 )
77.651 * * [simplify]: iteration  4 :  81  enodes  (cost  9 )
77.670 * * [simplify]: iteration  5 :  90  enodes  (cost  7 )
77.694 * * [simplify]: iteration  6 :  123  enodes  (cost  7 )
77.731 * * [simplify]: iteration  7 :  227  enodes  (cost  7 )
77.845 * * [simplify]: iteration  8 :  513  enodes  (cost  7 )
78.401 * * [simplify]: iteration  9 :  1509  enodes  (cost  7 )
80.498 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
80.499 * * [simplify]: iteration  0 :  5  enodes  (cost  11 )
80.499 * * [simplify]: iteration  1 :  15  enodes  (cost  11 )
80.502 * * [simplify]: iteration  2 :  45  enodes  (cost  11 )
80.517 * * [simplify]: iteration  3 :  77  enodes  (cost  11 )
80.536 * * [simplify]: iteration  4 :  81  enodes  (cost  9 )
80.555 * * [simplify]: iteration  5 :  90  enodes  (cost  7 )
80.579 * * [simplify]: iteration  6 :  123  enodes  (cost  7 )
80.615 * * [simplify]: iteration  7 :  227  enodes  (cost  7 )
80.729 * * [simplify]: iteration  8 :  513  enodes  (cost  7 )
81.289 * * [simplify]: iteration  9 :  1509  enodes  (cost  7 )
83.385 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
83.386 * * [simplify]: iteration  0 :  5  enodes  (cost  11 )
83.387 * * [simplify]: iteration  1 :  15  enodes  (cost  11 )
83.390 * * [simplify]: iteration  2 :  45  enodes  (cost  11 )
83.405 * * [simplify]: iteration  3 :  77  enodes  (cost  11 )
83.423 * * [simplify]: iteration  4 :  81  enodes  (cost  9 )
83.442 * * [simplify]: iteration  5 :  90  enodes  (cost  7 )
83.465 * * [simplify]: iteration  6 :  123  enodes  (cost  7 )
83.504 * * [simplify]: iteration  7 :  227  enodes  (cost  7 )
83.614 * * [simplify]: iteration  8 :  513  enodes  (cost  7 )
84.162 * * [simplify]: iteration  9 :  1509  enodes  (cost  7 )
86.249 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
86.250 * * [simplify]: iteration  0 :  5  enodes  (cost  11 )
86.251 * * [simplify]: iteration  1 :  15  enodes  (cost  11 )
86.254 * * [simplify]: iteration  2 :  45  enodes  (cost  11 )
86.268 * * [simplify]: iteration  3 :  77  enodes  (cost  11 )
86.288 * * [simplify]: iteration  4 :  81  enodes  (cost  9 )
86.306 * * [simplify]: iteration  5 :  90  enodes  (cost  7 )
86.329 * * [simplify]: iteration  6 :  123  enodes  (cost  7 )
86.370 * * [simplify]: iteration  7 :  227  enodes  (cost  7 )
86.481 * * [simplify]: iteration  8 :  513  enodes  (cost  7 )
87.038 * * [simplify]: iteration  9 :  1509  enodes  (cost  7 )
89.173 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
89.174 * * [simplify]: iteration  0 :  5  enodes  (cost  11 )
89.175 * * [simplify]: iteration  1 :  15  enodes  (cost  11 )
89.178 * * [simplify]: iteration  2 :  45  enodes  (cost  11 )
89.194 * * [simplify]: iteration  3 :  77  enodes  (cost  11 )
89.212 * * [simplify]: iteration  4 :  81  enodes  (cost  9 )
89.230 * * [simplify]: iteration  5 :  90  enodes  (cost  7 )
89.254 * * [simplify]: iteration  6 :  123  enodes  (cost  7 )
89.295 * * [simplify]: iteration  7 :  227  enodes  (cost  7 )
89.405 * * [simplify]: iteration  8 :  513  enodes  (cost  7 )
89.952 * * [simplify]: iteration  9 :  1509  enodes  (cost  7 )
92.046 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
92.047 * * [simplify]: iteration  0 :  5  enodes  (cost  11 )
92.047 * * [simplify]: iteration  1 :  15  enodes  (cost  11 )
92.054 * * [simplify]: iteration  2 :  45  enodes  (cost  11 )
92.066 * * [simplify]: iteration  3 :  77  enodes  (cost  11 )
92.085 * * [simplify]: iteration  4 :  81  enodes  (cost  9 )
92.106 * * [simplify]: iteration  5 :  90  enodes  (cost  7 )
92.127 * * [simplify]: iteration  6 :  123  enodes  (cost  7 )
92.168 * * [simplify]: iteration  7 :  227  enodes  (cost  7 )
92.280 * * [simplify]: iteration  8 :  513  enodes  (cost  7 )
92.826 * * [simplify]: iteration  9 :  1509  enodes  (cost  7 )
94.937 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
94.938 * * [simplify]: iteration  0 :  5  enodes  (cost  11 )
94.939 * * [simplify]: iteration  1 :  15  enodes  (cost  11 )
94.942 * * [simplify]: iteration  2 :  45  enodes  (cost  11 )
94.954 * * [simplify]: iteration  3 :  77  enodes  (cost  11 )
94.973 * * [simplify]: iteration  4 :  81  enodes  (cost  9 )
94.994 * * [simplify]: iteration  5 :  90  enodes  (cost  7 )
95.015 * * [simplify]: iteration  6 :  123  enodes  (cost  7 )
95.055 * * [simplify]: iteration  7 :  227  enodes  (cost  7 )
95.167 * * [simplify]: iteration  8 :  513  enodes  (cost  7 )
95.720 * * [simplify]: iteration  9 :  1509  enodes  (cost  7 )
98.013 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
98.014 * * [simplify]: iteration  0 :  5  enodes  (cost  11 )
98.015 * * [simplify]: iteration  1 :  15  enodes  (cost  11 )
98.018 * * [simplify]: iteration  2 :  45  enodes  (cost  11 )
98.030 * * [simplify]: iteration  3 :  77  enodes  (cost  11 )
98.048 * * [simplify]: iteration  4 :  81  enodes  (cost  9 )
98.071 * * [simplify]: iteration  5 :  90  enodes  (cost  7 )
98.091 * * [simplify]: iteration  6 :  123  enodes  (cost  7 )
98.132 * * [simplify]: iteration  7 :  227  enodes  (cost  7 )
98.244 * * [simplify]: iteration  8 :  513  enodes  (cost  7 )
98.809 * * [simplify]: iteration  9 :  1509  enodes  (cost  7 )
100.951 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
100.951 * * [simplify]: iteration  0 :  2  enodes  (cost  3 )
100.952 * * [simplify]: iteration  1 :  6  enodes  (cost  1 )
100.952 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
100.953 * * [simplify]: iteration  0 :  8  enodes  (cost  17 )
100.954 * * [simplify]: iteration  1 :  14  enodes  (cost  10 )
100.955 * * [simplify]: iteration  2 :  16  enodes  (cost  10 )
100.957 * * [simplify]: iteration  done :  16  enodes  (cost  10 )
100.958 * * [simplify]: iteration  0 :  8  enodes  (cost  16 )
100.958 * * [simplify]: iteration  1 :  14  enodes  (cost  7 )
100.960 * * [simplify]: iteration  2 :  18  enodes  (cost  7 )
100.962 * * [simplify]: iteration  3 :  19  enodes  (cost  7 )
100.964 * * [simplify]: iteration  done :  19  enodes  (cost  7 )
100.965 * * [simplify]: iteration  0 :  8  enodes  (cost  16 )
100.966 * * [simplify]: iteration  1 :  14  enodes  (cost  7 )
100.968 * * [simplify]: iteration  2 :  20  enodes  (cost  7 )
100.970 * * [simplify]: iteration  3 :  25  enodes  (cost  7 )
100.973 * * [simplify]: iteration  4 :  43  enodes  (cost  7 )
100.979 * * [simplify]: iteration  5 :  83  enodes  (cost  7 )
101.005 * * [simplify]: iteration  6 :  194  enodes  (cost  7 )
101.103 * * [simplify]: iteration  7 :  572  enodes  (cost  7 )
101.970 * * [simplify]: iteration  8 :  2249  enodes  (cost  7 )
104.116 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
104.117 * * [simplify]: iteration  0 :  9  enodes  (cost  47 )
104.118 * * [simplify]: iteration  1 :  20  enodes  (cost  20 )
104.121 * * [simplify]: iteration  2 :  31  enodes  (cost  12 )
104.128 * * [simplify]: iteration  3 :  77  enodes  (cost  8 )
104.153 * * [simplify]: iteration  4 :  155  enodes  (cost  8 )
104.203 * * [simplify]: iteration  5 :  238  enodes  (cost  8 )
104.298 * * [simplify]: iteration  6 :  481  enodes  (cost  8 )
104.758 * * [simplify]: iteration  7 :  1504  enodes  (cost  8 )
106.923 * * [simplify]: iteration  done :  5000  enodes  (cost  8 )
106.923 * * [simplify]: iteration  0 :  9  enodes  (cost  33 )
106.924 * * [simplify]: iteration  1 :  13  enodes  (cost  15 )
106.926 * * [simplify]: iteration  2 :  15  enodes  (cost  15 )
106.928 * * [simplify]: iteration  done :  15  enodes  (cost  15 )
106.928 * * [simplify]: iteration  0 :  8  enodes  (cost  16 )
106.929 * * [simplify]: iteration  1 :  12  enodes  (cost  7 )
106.930 * * [simplify]: iteration  2 :  14  enodes  (cost  7 )
106.932 * * [simplify]: iteration  done :  14  enodes  (cost  7 )
106.933 * * [simplify]: iteration  0 :  9  enodes  (cost  47 )
106.934 * * [simplify]: iteration  1 :  21  enodes  (cost  20 )
106.937 * * [simplify]: iteration  2 :  32  enodes  (cost  8 )
106.944 * * [simplify]: iteration  3 :  79  enodes  (cost  8 )
106.965 * * [simplify]: iteration  4 :  158  enodes  (cost  8 )
107.016 * * [simplify]: iteration  5 :  248  enodes  (cost  8 )
107.114 * * [simplify]: iteration  6 :  504  enodes  (cost  8 )
107.609 * * [simplify]: iteration  7 :  1576  enodes  (cost  8 )
109.623 * * [simplify]: iteration  done :  5000  enodes  (cost  8 )
109.624 * * [simplify]: iteration  0 :  6  enodes  (cost  13 )
109.625 * * [simplify]: iteration  1 :  10  enodes  (cost  5 )
109.627 * * [simplify]: iteration  2 :  12  enodes  (cost  5 )
109.628 * * [simplify]: iteration  done :  12  enodes  (cost  5 )
109.629 * * [simplify]: iteration  0 :  8  enodes  (cost  16 )
109.629 * * [simplify]: iteration  1 :  13  enodes  (cost  7 )
109.631 * * [simplify]: iteration  2 :  14  enodes  (cost  7 )
109.632 * * [simplify]: iteration  done :  14  enodes  (cost  7 )
109.633 * * [simplify]: iteration  0 :  8  enodes  (cost  16 )
109.634 * * [simplify]: iteration  1 :  13  enodes  (cost  7 )
109.635 * * [simplify]: iteration  2 :  14  enodes  (cost  7 )
109.636 * * [simplify]: iteration  done :  14  enodes  (cost  7 )
109.637 * * [simplify]: iteration  0 :  9  enodes  (cost  35 )
109.639 * * [simplify]: iteration  1 :  17  enodes  (cost  35 )
109.641 * * [simplify]: iteration  2 :  20  enodes  (cost  19 )
109.643 * * [simplify]: iteration  3 :  29  enodes  (cost  10 )
109.647 * * [simplify]: iteration  4 :  44  enodes  (cost  10 )
109.652 * * [simplify]: iteration  5 :  70  enodes  (cost  10 )
109.668 * * [simplify]: iteration  6 :  141  enodes  (cost  10 )
109.716 * * [simplify]: iteration  7 :  357  enodes  (cost  10 )
110.057 * * [simplify]: iteration  8 :  1266  enodes  (cost  10 )
111.714 * * [simplify]: iteration  done :  5000  enodes  (cost  10 )
111.715 * * [simplify]: iteration  0 :  8  enodes  (cost  17 )
111.716 * * [simplify]: iteration  1 :  12  enodes  (cost  17 )
111.717 * * [simplify]: iteration  2 :  13  enodes  (cost  17 )
111.719 * * [simplify]: iteration  done :  13  enodes  (cost  17 )
111.720 * * [simplify]: iteration  0 :  9  enodes  (cost  33 )
111.721 * * [simplify]: iteration  1 :  14  enodes  (cost  15 )
111.722 * * [simplify]: iteration  2 :  16  enodes  (cost  15 )
111.724 * * [simplify]: iteration  done :  16  enodes  (cost  15 )
111.724 * * [simplify]: iteration  0 :  8  enodes  (cost  17 )
111.725 * * [simplify]: iteration  1 :  12  enodes  (cost  7 )
111.727 * * [simplify]: iteration  2 :  14  enodes  (cost  7 )
111.728 * * [simplify]: iteration  done :  14  enodes  (cost  7 )
111.729 * * [simplify]: iteration  0 :  6  enodes  (cost  11 )
111.729 * * [simplify]: iteration  1 :  7  enodes  (cost  4 )
111.730 * * [simplify]: iteration  2 :  8  enodes  (cost  4 )
111.731 * * [simplify]: iteration  done :  8  enodes  (cost  4 )
111.731 * * [simplify]: iteration  0 :  4  enodes  (cost  7 )
111.732 * * [simplify]: iteration  done :  4  enodes  (cost  2 )
111.732 * * [simplify]: iteration  0 :  8  enodes  (cost  17 )
111.733 * * [simplify]: iteration  1 :  12  enodes  (cost  7 )
111.735 * * [simplify]: iteration  2 :  14  enodes  (cost  7 )
111.740 * * [simplify]: iteration  done :  14  enodes  (cost  7 )
111.740 * * [simplify]: iteration  0 :  8  enodes  (cost  17 )
111.741 * * [simplify]: iteration  1 :  12  enodes  (cost  7 )
111.743 * * [simplify]: iteration  2 :  14  enodes  (cost  7 )
111.744 * * [simplify]: iteration  done :  14  enodes  (cost  7 )
111.745 * * [simplify]: iteration  0 :  8  enodes  (cost  17 )
111.746 * * [simplify]: iteration  1 :  12  enodes  (cost  7 )
111.747 * * [simplify]: iteration  2 :  14  enodes  (cost  7 )
111.748 * * [simplify]: iteration  done :  14  enodes  (cost  7 )
111.749 * * [simplify]: iteration  0 :  8  enodes  (cost  17 )
111.750 * * [simplify]: iteration  1 :  12  enodes  (cost  7 )
111.751 * * [simplify]: iteration  2 :  14  enodes  (cost  7 )
111.753 * * [simplify]: iteration  done :  14  enodes  (cost  7 )
111.753 * * [simplify]: iteration  0 :  3  enodes  (cost  5 )
111.754 * * [simplify]: iteration  1 :  5  enodes  (cost  1 )
111.754 * * [simplify]: iteration  done :  5  enodes  (cost  1 )
111.754 * * [simplify]: iteration  0 :  7  enodes  (cost  15 )
111.755 * * [simplify]: iteration  1 :  11  enodes  (cost  6 )
111.757 * * [simplify]: iteration  2 :  13  enodes  (cost  6 )
111.758 * * [simplify]: iteration  done :  13  enodes  (cost  6 )
111.759 * * [simplify]: iteration  0 :  8  enodes  (cost  17 )
111.759 * * [simplify]: iteration  1 :  12  enodes  (cost  7 )
111.761 * * [simplify]: iteration  2 :  14  enodes  (cost  7 )
111.762 * * [simplify]: iteration  done :  14  enodes  (cost  7 )
111.763 * * [simplify]: iteration  0 :  8  enodes  (cost  17 )
111.764 * * [simplify]: iteration  1 :  12  enodes  (cost  7 )
111.765 * * [simplify]: iteration  2 :  14  enodes  (cost  7 )
111.766 * * [simplify]: iteration  done :  14  enodes  (cost  7 )
111.767 * * [simplify]: iteration  0 :  8  enodes  (cost  17 )
111.768 * * [simplify]: iteration  1 :  12  enodes  (cost  7 )
111.769 * * [simplify]: iteration  2 :  14  enodes  (cost  7 )
111.771 * * [simplify]: iteration  done :  14  enodes  (cost  7 )
111.771 * * [simplify]: iteration  0 :  8  enodes  (cost  17 )
111.772 * * [simplify]: iteration  1 :  12  enodes  (cost  7 )
111.774 * * [simplify]: iteration  2 :  14  enodes  (cost  7 )
111.775 * * [simplify]: iteration  done :  14  enodes  (cost  7 )
111.776 * * [simplify]: iteration  0 :  2  enodes  (cost  3 )
111.776 * * [simplify]: iteration  1 :  4  enodes  (cost  1 )
111.776 * * [simplify]: iteration  done :  4  enodes  (cost  1 )
111.777 * * [simplify]: iteration  0 :  7  enodes  (cost  15 )
111.778 * * [simplify]: iteration  1 :  11  enodes  (cost  6 )
111.779 * * [simplify]: iteration  2 :  13  enodes  (cost  6 )
111.780 * * [simplify]: iteration  done :  13  enodes  (cost  6 )
111.781 * * [simplify]: iteration  0 :  8  enodes  (cost  17 )
111.782 * * [simplify]: iteration  1 :  12  enodes  (cost  7 )
111.783 * * [simplify]: iteration  2 :  14  enodes  (cost  7 )
111.785 * * [simplify]: iteration  done :  14  enodes  (cost  7 )
111.785 * * [simplify]: iteration  0 :  8  enodes  (cost  17 )
111.786 * * [simplify]: iteration  1 :  12  enodes  (cost  7 )
111.787 * * [simplify]: iteration  2 :  14  enodes  (cost  7 )
111.789 * * [simplify]: iteration  done :  14  enodes  (cost  7 )
111.790 * * [simplify]: iteration  0 :  8  enodes  (cost  17 )
111.791 * * [simplify]: iteration  1 :  12  enodes  (cost  7 )
111.792 * * [simplify]: iteration  2 :  14  enodes  (cost  7 )
111.793 * * [simplify]: iteration  done :  14  enodes  (cost  7 )
111.794 * * [simplify]: iteration  0 :  8  enodes  (cost  17 )
111.795 * * [simplify]: iteration  1 :  12  enodes  (cost  7 )
111.796 * * [simplify]: iteration  2 :  14  enodes  (cost  7 )
111.798 * * [simplify]: iteration  done :  14  enodes  (cost  7 )
111.799 * * [simplify]: iteration  0 :  8  enodes  (cost  17 )
111.800 * * [simplify]: iteration  1 :  12  enodes  (cost  7 )
111.801 * * [simplify]: iteration  2 :  14  enodes  (cost  7 )
111.806 * * [simplify]: iteration  done :  14  enodes  (cost  7 )
111.806 * * [simplify]: iteration  0 :  8  enodes  (cost  17 )
111.807 * * [simplify]: iteration  1 :  12  enodes  (cost  7 )
111.809 * * [simplify]: iteration  2 :  14  enodes  (cost  7 )
111.810 * * [simplify]: iteration  done :  14  enodes  (cost  7 )
111.811 * * [simplify]: iteration  0 :  8  enodes  (cost  17 )
111.812 * * [simplify]: iteration  1 :  12  enodes  (cost  7 )
111.813 * * [simplify]: iteration  2 :  14  enodes  (cost  7 )
111.814 * * [simplify]: iteration  done :  14  enodes  (cost  7 )
111.815 * * [simplify]: iteration  0 :  8  enodes  (cost  17 )
111.816 * * [simplify]: iteration  1 :  12  enodes  (cost  7 )
111.817 * * [simplify]: iteration  2 :  14  enodes  (cost  7 )
111.819 * * [simplify]: iteration  done :  14  enodes  (cost  7 )
111.819 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
111.820 * * [simplify]: iteration  1 :  5  enodes  (cost  1 )
111.820 * * [simplify]: iteration  2 :  7  enodes  (cost  1 )
111.820 * * [simplify]: iteration  done :  7  enodes  (cost  1 )
111.821 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
111.821 * * [simplify]: iteration  1 :  6  enodes  (cost  1 )
111.821 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
111.822 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
111.823 * * [simplify]: iteration  1 :  9  enodes  (cost  3 )
111.823 * * [simplify]: iteration  2 :  11  enodes  (cost  1 )
111.824 * * [simplify]: iteration  done :  11  enodes  (cost  1 )
111.824 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
111.825 * * [simplify]: iteration  1 :  10  enodes  (cost  1 )
111.825 * * [simplify]: iteration  done :  10  enodes  (cost  1 )
111.826 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
111.827 * * [simplify]: iteration  1 :  14  enodes  (cost  5 )
111.829 * * [simplify]: iteration  2 :  22  enodes  (cost  1 )
111.829 * * [simplify]: iteration  done :  22  enodes  (cost  1 )
111.830 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
111.831 * * [simplify]: iteration  1 :  14  enodes  (cost  5 )
111.833 * * [simplify]: iteration  2 :  22  enodes  (cost  1 )
111.833 * * [simplify]: iteration  done :  22  enodes  (cost  1 )
111.834 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
111.834 * * [simplify]: iteration  1 :  14  enodes  (cost  5 )
111.836 * * [simplify]: iteration  2 :  22  enodes  (cost  1 )
111.837 * * [simplify]: iteration  done :  22  enodes  (cost  1 )
111.838 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
111.838 * * [simplify]: iteration  1 :  14  enodes  (cost  5 )
111.841 * * [simplify]: iteration  2 :  22  enodes  (cost  1 )
111.841 * * [simplify]: iteration  done :  22  enodes  (cost  1 )
111.842 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
111.842 * * [simplify]: iteration  1 :  14  enodes  (cost  5 )
111.845 * * [simplify]: iteration  2 :  22  enodes  (cost  1 )
111.845 * * [simplify]: iteration  done :  22  enodes  (cost  1 )
111.846 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
111.846 * * [simplify]: iteration  1 :  14  enodes  (cost  5 )
111.849 * * [simplify]: iteration  2 :  22  enodes  (cost  1 )
111.849 * * [simplify]: iteration  done :  22  enodes  (cost  1 )
111.850 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
111.851 * * [simplify]: iteration  1 :  14  enodes  (cost  5 )
111.853 * * [simplify]: iteration  2 :  22  enodes  (cost  1 )
111.853 * * [simplify]: iteration  done :  22  enodes  (cost  1 )
111.854 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
111.854 * * [simplify]: iteration  1 :  14  enodes  (cost  5 )
111.856 * * [simplify]: iteration  2 :  22  enodes  (cost  1 )
111.857 * * [simplify]: iteration  done :  22  enodes  (cost  1 )
111.857 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
111.858 * * [simplify]: iteration  1 :  14  enodes  (cost  5 )
111.860 * * [simplify]: iteration  2 :  22  enodes  (cost  1 )
111.861 * * [simplify]: iteration  done :  22  enodes  (cost  1 )
111.861 * * [simplify]: iteration  0 :  9  enodes  (cost  25 )
111.863 * * [simplify]: iteration  1 :  16  enodes  (cost  25 )
111.864 * * [simplify]: iteration  2 :  19  enodes  (cost  25 )
111.867 * * [simplify]: iteration  done :  19  enodes  (cost  25 )
111.867 * * [simplify]: iteration  0 :  10  enodes  (cost  24 )
111.869 * * [simplify]: iteration  1 :  16  enodes  (cost  16 )
111.870 * * [simplify]: iteration  2 :  17  enodes  (cost  16 )
111.875 * * [simplify]: iteration  done :  17  enodes  (cost  16 )
111.876 * * [simplify]: iteration  0 :  9  enodes  (cost  13 )
111.877 * * [simplify]: iteration  1 :  14  enodes  (cost  13 )
111.879 * * [simplify]: iteration  2 :  15  enodes  (cost  13 )
111.880 * * [simplify]: iteration  done :  15  enodes  (cost  13 )
111.881 * * [simplify]: iteration  0 :  8  enodes  (cost  16 )
111.882 * * [simplify]: iteration  1 :  13  enodes  (cost  16 )
111.883 * * [simplify]: iteration  2 :  14  enodes  (cost  16 )
111.885 * * [simplify]: iteration  done :  14  enodes  (cost  16 )
111.885 * * [simplify]: iteration  0 :  9  enodes  (cost  10 )
111.886 * * [simplify]: iteration  1 :  16  enodes  (cost  9 )
111.888 * * [simplify]: iteration  2 :  17  enodes  (cost  9 )
111.890 * * [simplify]: iteration  done :  17  enodes  (cost  7 )
111.890 * * [simplify]: iteration  0 :  8  enodes  (cost  16 )
111.891 * * [simplify]: iteration  1 :  13  enodes  (cost  16 )
111.893 * * [simplify]: iteration  2 :  14  enodes  (cost  16 )
111.894 * * [simplify]: iteration  done :  14  enodes  (cost  16 )
111.895 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
111.896 * * [simplify]: iteration  1 :  15  enodes  (cost  7 )
111.898 * * [simplify]: iteration  2 :  19  enodes  (cost  7 )
111.900 * * [simplify]: iteration  done :  19  enodes  (cost  7 )
111.900 * * [simplify]: iteration  0 :  8  enodes  (cost  16 )
111.901 * * [simplify]: iteration  1 :  13  enodes  (cost  16 )
111.903 * * [simplify]: iteration  2 :  14  enodes  (cost  16 )
111.904 * * [simplify]: iteration  done :  14  enodes  (cost  16 )
111.905 * * [simplify]: iteration  0 :  9  enodes  (cost  16 )
111.906 * * [simplify]: iteration  1 :  14  enodes  (cost  16 )
111.907 * * [simplify]: iteration  2 :  15  enodes  (cost  16 )
111.909 * * [simplify]: iteration  done :  15  enodes  (cost  16 )
111.910 * * [simplify]: iteration  0 :  9  enodes  (cost  11 )
111.911 * * [simplify]: iteration  1 :  14  enodes  (cost  11 )
111.912 * * [simplify]: iteration  2 :  15  enodes  (cost  11 )
111.914 * * [simplify]: iteration  done :  15  enodes  (cost  11 )
111.914 * * [simplify]: iteration  0 :  8  enodes  (cost  16 )
111.915 * * [simplify]: iteration  1 :  13  enodes  (cost  16 )
111.917 * * [simplify]: iteration  2 :  14  enodes  (cost  16 )
111.918 * * [simplify]: iteration  done :  14  enodes  (cost  16 )
111.919 * * [simplify]: iteration  0 :  7  enodes  (cost  15 )
111.920 * * [simplify]: iteration  1 :  11  enodes  (cost  6 )
111.921 * * [simplify]: iteration  2 :  13  enodes  (cost  6 )
111.923 * * [simplify]: iteration  done :  13  enodes  (cost  6 )
111.923 * * [simplify]: iteration  0 :  8  enodes  (cost  16 )
111.924 * * [simplify]: iteration  1 :  13  enodes  (cost  16 )
111.926 * * [simplify]: iteration  2 :  14  enodes  (cost  16 )
111.927 * * [simplify]: iteration  done :  14  enodes  (cost  16 )
111.928 * * [simplify]: iteration  0 :  7  enodes  (cost  15 )
111.929 * * [simplify]: iteration  1 :  11  enodes  (cost  6 )
111.930 * * [simplify]: iteration  2 :  13  enodes  (cost  6 )
111.931 * * [simplify]: iteration  done :  13  enodes  (cost  6 )
111.932 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
111.933 * * [simplify]: iteration  1 :  11  enodes  (cost  8 )
111.934 * * [simplify]: iteration  2 :  12  enodes  (cost  8 )
111.937 * * [simplify]: iteration  done :  12  enodes  (cost  8 )
111.938 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
111.939 * * [simplify]: iteration  1 :  11  enodes  (cost  8 )
111.940 * * [simplify]: iteration  2 :  12  enodes  (cost  8 )
111.942 * * [simplify]: iteration  done :  12  enodes  (cost  8 )
111.942 * * [simplify]: iteration  0 :  8  enodes  (cost  17 )
111.943 * * [simplify]: iteration  1 :  12  enodes  (cost  17 )
111.945 * * [simplify]: iteration  2 :  13  enodes  (cost  17 )
111.946 * * [simplify]: iteration  done :  13  enodes  (cost  17 )
111.947 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
111.947 * * [simplify]: iteration  1 :  11  enodes  (cost  8 )
111.949 * * [simplify]: iteration  2 :  12  enodes  (cost  8 )
111.950 * * [simplify]: iteration  done :  12  enodes  (cost  8 )
111.951 * * [simplify]: iteration  0 :  8  enodes  (cost  23 )
111.952 * * [simplify]: iteration  1 :  13  enodes  (cost  14 )
111.953 * * [simplify]: iteration  2 :  17  enodes  (cost  9 )
111.955 * * [simplify]: iteration  3 :  22  enodes  (cost  9 )
111.958 * * [simplify]: iteration  4 :  28  enodes  (cost  9 )
111.961 * * [simplify]: iteration  5 :  38  enodes  (cost  9 )
111.965 * * [simplify]: iteration  6 :  59  enodes  (cost  9 )
111.975 * * [simplify]: iteration  7 :  120  enodes  (cost  9 )
112.023 * * [simplify]: iteration  8 :  329  enodes  (cost  9 )
112.480 * * [simplify]: iteration  9 :  1247  enodes  (cost  9 )
114.897 * * [simplify]: iteration  done :  5000  enodes  (cost  9 )
114.898 * * [simplify]: iteration  0 :  8  enodes  (cost  16 )
114.899 * * [simplify]: iteration  1 :  13  enodes  (cost  8 )
114.900 * * [simplify]: iteration  2 :  14  enodes  (cost  8 )
114.902 * * [simplify]: iteration  done :  14  enodes  (cost  8 )
114.902 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
114.903 * * [simplify]: iteration  1 :  11  enodes  (cost  8 )
114.904 * * [simplify]: iteration  2 :  12  enodes  (cost  8 )
114.906 * * [simplify]: iteration  done :  12  enodes  (cost  8 )
114.906 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
114.907 * * [simplify]: iteration  1 :  6  enodes  (cost  5 )
114.913 * * [simplify]: iteration  done :  6  enodes  (cost  5 )
114.914 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
114.914 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
114.915 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
114.915 * * [simplify]: iteration  1 :  11  enodes  (cost  8 )
114.917 * * [simplify]: iteration  2 :  12  enodes  (cost  8 )
114.918 * * [simplify]: iteration  done :  12  enodes  (cost  8 )
114.918 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
114.919 * * [simplify]: iteration  1 :  11  enodes  (cost  8 )
114.920 * * [simplify]: iteration  2 :  12  enodes  (cost  8 )
114.922 * * [simplify]: iteration  done :  12  enodes  (cost  8 )
114.922 * * [simplify]: iteration  0 :  2  enodes  (cost  2 )
114.923 * * [simplify]: iteration  1 :  4  enodes  (cost  1 )
114.923 * * [simplify]: iteration  done :  4  enodes  (cost  1 )
114.923 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
114.924 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
114.925 * * [simplify]: iteration  2 :  11  enodes  (cost  7 )
114.926 * * [simplify]: iteration  done :  11  enodes  (cost  7 )
114.927 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
114.927 * * [simplify]: iteration  1 :  4  enodes  (cost  1 )
114.928 * * [simplify]: iteration  done :  4  enodes  (cost  1 )
114.928 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
114.928 * * [simplify]: iteration  1 :  6  enodes  (cost  1 )
114.929 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
114.929 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
114.930 * * [simplify]: iteration  1 :  10  enodes  (cost  3 )
114.930 * * [simplify]: iteration  2 :  11  enodes  (cost  1 )
114.931 * * [simplify]: iteration  done :  11  enodes  (cost  1 )
114.932 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
114.932 * * [simplify]: iteration  1 :  10  enodes  (cost  3 )
114.933 * * [simplify]: iteration  2 :  11  enodes  (cost  1 )
114.934 * * [simplify]: iteration  done :  11  enodes  (cost  1 )
114.934 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
114.935 * * [simplify]: iteration  1 :  10  enodes  (cost  3 )
114.935 * * [simplify]: iteration  2 :  11  enodes  (cost  1 )
114.936 * * [simplify]: iteration  done :  11  enodes  (cost  1 )
114.936 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
114.937 * * [simplify]: iteration  1 :  11  enodes  (cost  8 )
114.938 * * [simplify]: iteration  2 :  12  enodes  (cost  8 )
114.940 * * [simplify]: iteration  done :  12  enodes  (cost  8 )
114.941 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
114.941 * * [simplify]: iteration  1 :  11  enodes  (cost  8 )
114.943 * * [simplify]: iteration  2 :  12  enodes  (cost  8 )
114.944 * * [simplify]: iteration  done :  12  enodes  (cost  8 )
114.944 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
114.945 * * [simplify]: iteration  1 :  5  enodes  (cost  4 )
114.945 * * [simplify]: iteration  done :  5  enodes  (cost  4 )
114.946 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
114.946 * * [simplify]: iteration  1 :  5  enodes  (cost  4 )
114.947 * * [simplify]: iteration  done :  5  enodes  (cost  4 )
114.947 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
114.948 * * [simplify]: iteration  1 :  11  enodes  (cost  5 )
114.950 * * [simplify]: iteration  2 :  23  enodes  (cost  5 )
114.952 * * [simplify]: iteration  done :  23  enodes  (cost  5 )
114.953 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
114.953 * * [simplify]: iteration  1 :  5  enodes  (cost  4 )
114.954 * * [simplify]: iteration  done :  5  enodes  (cost  4 )
114.954 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
114.955 * * [simplify]: iteration  1 :  5  enodes  (cost  4 )
114.955 * * [simplify]: iteration  done :  5  enodes  (cost  4 )
114.956 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
114.957 * * [simplify]: iteration  1 :  11  enodes  (cost  5 )
114.958 * * [simplify]: iteration  2 :  23  enodes  (cost  5 )
114.961 * * [simplify]: iteration  done :  23  enodes  (cost  5 )
114.961 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
114.962 * * [simplify]: iteration  1 :  5  enodes  (cost  4 )
114.962 * * [simplify]: iteration  done :  5  enodes  (cost  4 )
114.963 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
114.963 * * [simplify]: iteration  1 :  5  enodes  (cost  4 )
114.964 * * [simplify]: iteration  done :  5  enodes  (cost  4 )
114.964 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
114.965 * * [simplify]: iteration  1 :  11  enodes  (cost  5 )
114.966 * * [simplify]: iteration  2 :  23  enodes  (cost  5 )
114.969 * * [simplify]: iteration  done :  23  enodes  (cost  5 )
114.970 * * [simplify]: iteration  0 :  21  enodes  (cost  32 )
114.973 * * [simplify]: iteration  1 :  64  enodes  (cost  32 )
114.996 * * [simplify]: iteration  2 :  230  enodes  (cost  29 )
115.065 * * [simplify]: iteration  3 :  841  enodes  (cost  26 )
115.900 * * [simplify]: iteration  4 :  4128  enodes  (cost  24 )
117.786 * * [simplify]: iteration  done :  5000  enodes  (cost  24 )
117.787 * * [simplify]: iteration  0 :  19  enodes  (cost  28 )
117.790 * * [simplify]: iteration  1 :  53  enodes  (cost  28 )
117.809 * * [simplify]: iteration  2 :  189  enodes  (cost  25 )
117.844 * * [simplify]: iteration  3 :  543  enodes  (cost  25 )
118.151 * * [simplify]: iteration  4 :  2399  enodes  (cost  21 )
119.315 * * [simplify]: iteration  done :  5000  enodes  (cost  21 )
119.316 * * [simplify]: iteration  0 :  19  enodes  (cost  28 )
119.324 * * [simplify]: iteration  1 :  54  enodes  (cost  28 )
119.337 * * [simplify]: iteration  2 :  195  enodes  (cost  25 )
119.380 * * [simplify]: iteration  3 :  609  enodes  (cost  25 )
119.733 * * [simplify]: iteration  4 :  2795  enodes  (cost  21 )
120.757 * * [simplify]: iteration  done :  5000  enodes  (cost  21 )
120.758 * [simplify]: Simplified to:
   (log (sqrt (* (* 2.0 x) x)))
  (exp (sqrt (* (* 2.0 x) x)))
  (* (cbrt (sqrt (* (* 2.0 x) x))) (cbrt (sqrt (* (* 2.0 x) x))))
  (cbrt (sqrt (* (* 2.0 x) x)))
  (pow (sqrt (* (* 2.0 x) x)) 3)
  (sqrt (* 2.0 x))
  (sqrt x)
  1/2
  1/2
  1/2
  (sqrt (sqrt (* (* 2.0 x) x)))
  (sqrt (sqrt (* (* 2.0 x) x)))
  (log (sqrt (* (* 2.0 x) x)))
  (exp (sqrt (* (* 2.0 x) x)))
  (* (cbrt (sqrt (* (* 2.0 x) x))) (cbrt (sqrt (* (* 2.0 x) x))))
  (cbrt (sqrt (* (* 2.0 x) x)))
  (pow (sqrt (* (* 2.0 x) x)) 3)
  (sqrt (* 2.0 x))
  (sqrt x)
  1/2
  1/2
  1/2
  (sqrt (sqrt (* (* 2.0 x) x)))
  (sqrt (sqrt (* (* 2.0 x) x)))
  1
  1
  2
  1/2
  1/2
  1/2
  1/2
  1
  1
  1/2
  1/2
  1/2
  1/2
  1/2
  1/2
  1/2
  1/2
  1/2
  1/2
  1/2
  1/2
  (* (* 2.0 x) x)
  (sqrt (* (* 2.0 x) x))
  (* (* 2.0 2.0) (pow x 4))
  (* (* 2.0 x) x)
  (* (* 2.0 2.0) (pow x 4))
  (* (* 2.0 2.0) (pow x 4))
  (* (* 2.0 2.0) (pow x 4))
  (* (* 2.0 2.0) (pow x 4))
  (* (* 2.0 2.0) (pow x 4))
  (* (* 2.0 2.0) (pow x 4))
  (* (* 2.0 2.0) (pow x 4))
  (* (* 2.0 2.0) (pow x 4))
  (* (* 2.0 2.0) (pow x 4))
  2
  (* 2 (log (sqrt (sqrt (* (* 2.0 x) x)))))
  (log (sqrt (* (* 2.0 x) x)))
  (exp (sqrt (* (* 2.0 x) x)))
  (pow (sqrt (* (* 2.0 x) x)) 3)
  (* (cbrt (sqrt (* (* 2.0 x) x))) (cbrt (sqrt (* (* 2.0 x) x))))
  (cbrt (sqrt (* (* 2.0 x) x)))
  (pow (sqrt (* (* 2.0 x) x)) 3)
  (* (* 2.0 x) x)
  (sqrt (sqrt (* (* 2.0 x) x)))
  (sqrt (sqrt (* (* 2.0 x) x)))
  (pow (cbrt (sqrt (sqrt (* (* 2.0 x) x)))) 4)
  (* (cbrt (sqrt (sqrt (* (* 2.0 x) x)))) (cbrt (sqrt (sqrt (* (* 2.0 x) x)))))
  (* (cbrt (sqrt (* (* 2.0 x) x))) (cbrt (sqrt (* (* 2.0 x) x))))
  (cbrt (sqrt (* (* 2.0 x) x)))
  (sqrt (* 2.0 x))
  (sqrt x)
  (sqrt (sqrt (* (* 2.0 x) x)))
  (sqrt (sqrt (* (* 2.0 x) x)))
  (sqrt (sqrt (* (* 2.0 x) x)))
  (sqrt (sqrt (* (* 2.0 x) x)))
  1
  (sqrt (* (* 2.0 x) x))
  (sqrt (sqrt (* (* 2.0 x) x)))
  (sqrt (sqrt (* (* 2.0 x) x)))
  (sqrt (sqrt (* (* 2.0 x) x)))
  (sqrt (sqrt (* (* 2.0 x) x)))
  1
  (sqrt (* (* 2.0 x) x))
  (sqrt (sqrt (* (* 2.0 x) x)))
  (sqrt (sqrt (* (* 2.0 x) x)))
  (sqrt (sqrt (* (* 2.0 x) x)))
  (sqrt (sqrt (* (* 2.0 x) x)))
  (sqrt (sqrt (* (* 2.0 x) x)))
  (sqrt (sqrt (* (* 2.0 x) x)))
  (sqrt (sqrt (* (* 2.0 x) x)))
  (sqrt (sqrt (* (* 2.0 x) x)))
  1
  2
  1/2
  1
  1/2
  1/2
  1/2
  1/2
  1/2
  1/2
  1/2
  1/2
  1/2
  (* (sqrt (sqrt (* (* 2.0 x) x))) (* (cbrt (sqrt (sqrt (* (* 2.0 x) x)))) (cbrt (sqrt (sqrt (* (* 2.0 x) x))))))
  (* (sqrt (sqrt (* (* 2.0 x) x))) (fabs (cbrt (sqrt (* (* 2.0 x) x)))))
  (* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (sqrt (* 2.0 x))))
  (* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (sqrt (sqrt (* (* 2.0 x) x)))))
  (sqrt (sqrt (* (* 2.0 x) x)))
  (* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (sqrt (sqrt (* (* 2.0 x) x)))))
  (sqrt (sqrt (* (* 2.0 x) x)))
  (* (cbrt (sqrt (sqrt (* (* 2.0 x) x)))) (sqrt (sqrt (* (* 2.0 x) x))))
  (* (sqrt (cbrt (sqrt (* (* 2.0 x) x)))) (sqrt (sqrt (* (* 2.0 x) x))))
  (* (sqrt (sqrt x)) (sqrt (sqrt (* (* 2.0 x) x))))
  (* (sqrt (sqrt (sqrt (* (* 2.0 x) x)))) (sqrt (sqrt (* (* 2.0 x) x))))
  (sqrt (* (* 2.0 x) x))
  (* (sqrt (sqrt (sqrt (* (* 2.0 x) x)))) (sqrt (sqrt (* (* 2.0 x) x))))
  (sqrt (* (* 2.0 x) x))
  (log (sqrt (sqrt (* (* 2.0 x) x))))
  (exp (sqrt (sqrt (* (* 2.0 x) x))))
  (* (cbrt (sqrt (sqrt (* (* 2.0 x) x)))) (cbrt (sqrt (sqrt (* (* 2.0 x) x)))))
  (cbrt (sqrt (sqrt (* (* 2.0 x) x))))
  (pow (sqrt (sqrt (* (* 2.0 x) x))) 3)
  (fabs (cbrt (sqrt (* (* 2.0 x) x))))
  (sqrt (cbrt (sqrt (* (* 2.0 x) x))))
  (sqrt (sqrt (* 2.0 x)))
  (sqrt (sqrt x))
  (sqrt (sqrt (sqrt (* (* 2.0 x) x))))
  (sqrt (sqrt (sqrt (* (* 2.0 x) x))))
  1
  (sqrt (sqrt (* (* 2.0 x) x)))
  1/4
  1/2
  1/4
  1/4
  1/4
  (sqrt (sqrt (sqrt (* (* 2.0 x) x))))
  (sqrt (sqrt (sqrt (* (* 2.0 x) x))))
  (* x (sqrt 2.0))
  (* x (sqrt 2.0))
  (neg (* x (sqrt 2.0)))
  (* x (sqrt 2.0))
  (* x (sqrt 2.0))
  (neg (* x (sqrt 2.0)))
  (* x (sqrt 2.0))
  (* x (sqrt 2.0))
  (neg (* x (sqrt 2.0)))
  (* x (+ (* (sqrt 2.0) (+ (* (* (pow x 2) (pow NAN 5)) 2.0) NAN)) (* x (* 2.0 (pow NAN 3)))))
  (+ (* NAN (sqrt 2.0)) (* (/ 2.0 x) (+ (pow NAN 3) (/ (pow NAN 5) (/ x (sqrt 2.0))))))
  (+ (* (/ 2.0 x) (- (/ (pow NAN 5) (/ x (sqrt 2.0))) (pow NAN 3))) (* NAN (sqrt 2.0)))
120.759 * * * [progress]: adding candidates to table
120.908 * * [progress]: iteration 4 / 4
120.909 * * * [progress]: picking best candidate
120.918 * * * * [pick]: Picked  #<alt (λ (x) (* x (sqrt 2.0)))>
120.918 * * * [progress]: localizing error
120.922 * * * [progress]: generating rewritten candidates
120.922 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
120.928 * * * [progress]: generating series expansions
120.928 * * * * [progress]: [ 1 / 1 ] generating series at (2)
120.928 * [approximate]: Taking taylor expansion of (* x (sqrt 2.0)) in (x) around 0
120.928 * [taylor]: Taking taylor expansion of (* x (sqrt 2.0)) in x
120.928 * [taylor]: Taking taylor expansion of x in x
120.928 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
120.928 * [taylor]: Taking taylor expansion of 2.0 in x
120.929 * [taylor]: Taking taylor expansion of (* x (sqrt 2.0)) in x
120.929 * [taylor]: Taking taylor expansion of x in x
120.929 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
120.929 * [taylor]: Taking taylor expansion of 2.0 in x
120.930 * [approximate]: Taking taylor expansion of (/ (sqrt 2.0) x) in (x) around 0
120.930 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) x) in x
120.930 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
120.930 * [taylor]: Taking taylor expansion of 2.0 in x
120.930 * [taylor]: Taking taylor expansion of x in x
120.930 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) x) in x
120.930 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
120.930 * [taylor]: Taking taylor expansion of 2.0 in x
120.930 * [taylor]: Taking taylor expansion of x in x
120.931 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt 2.0) x)) in (x) around 0
120.931 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 2.0) x)) in x
120.931 * [taylor]: Taking taylor expansion of -1 in x
120.931 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) x) in x
120.931 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
120.931 * [taylor]: Taking taylor expansion of 2.0 in x
120.931 * [taylor]: Taking taylor expansion of x in x
120.931 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 2.0) x)) in x
120.931 * [taylor]: Taking taylor expansion of -1 in x
120.931 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) x) in x
120.931 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
120.931 * [taylor]: Taking taylor expansion of 2.0 in x
120.931 * [taylor]: Taking taylor expansion of x in x
120.933 * * * [progress]: simplifying candidates
120.933 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* x (sqrt 2.0))
  (+ (log x) (log (sqrt 2.0)))
  (log (* x (sqrt 2.0)))
  (exp (* x (sqrt 2.0)))
  (* (* (* x x) x) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0)))
  (* (cbrt (* x (sqrt 2.0))) (cbrt (* x (sqrt 2.0))))
  (cbrt (* x (sqrt 2.0)))
  (* (* (* x (sqrt 2.0)) (* x (sqrt 2.0))) (* x (sqrt 2.0)))
  (sqrt (* x (sqrt 2.0)))
  (sqrt (* x (sqrt 2.0)))
  (* (sqrt x) (sqrt (sqrt 2.0)))
  (* (sqrt x) (sqrt (sqrt 2.0)))
  (* (sqrt x) (sqrt (sqrt 2.0)))
  (* (sqrt x) (sqrt (sqrt 2.0)))
  (* x (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))
  (* x (sqrt (* (cbrt 2.0) (cbrt 2.0))))
  (* x (sqrt (sqrt 2.0)))
  (* x (sqrt 1))
  (* x (sqrt (sqrt 2.0)))
  (* x 1)
  (* (cbrt x) (sqrt 2.0))
  (* (sqrt x) (sqrt 2.0))
  (* x (sqrt 2.0))
  (* x (sqrt 2.0))
  (* x (sqrt 2.0))
  (* x (sqrt 2.0))
120.934 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
120.934 * * [simplify]: iteration  1 :  5  enodes  (cost  4 )
120.935 * * [simplify]: iteration  done :  5  enodes  (cost  4 )
120.935 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
120.940 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
120.941 * * [simplify]: iteration  done :  7  enodes  (cost  6 )
120.941 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
120.942 * * [simplify]: iteration  1 :  9  enodes  (cost  5 )
120.943 * * [simplify]: iteration  2 :  10  enodes  (cost  5 )
120.943 * * [simplify]: iteration  done :  10  enodes  (cost  5 )
120.944 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
120.945 * * [simplify]: iteration  1 :  8  enodes  (cost  5 )
120.945 * * [simplify]: iteration  2 :  14  enodes  (cost  5 )
120.947 * * [simplify]: iteration  3 :  22  enodes  (cost  5 )
120.950 * * [simplify]: iteration  4 :  45  enodes  (cost  5 )
120.957 * * [simplify]: iteration  5 :  101  enodes  (cost  5 )
120.989 * * [simplify]: iteration  6 :  240  enodes  (cost  5 )
121.138 * * [simplify]: iteration  7 :  694  enodes  (cost  5 )
122.202 * * [simplify]: iteration  8 :  2697  enodes  (cost  5 )
124.122 * * [simplify]: iteration  done :  5001  enodes  (cost  5 )
124.123 * * [simplify]: iteration  0 :  8  enodes  (cost  14 )
124.124 * * [simplify]: iteration  1 :  15  enodes  (cost  10 )
124.126 * * [simplify]: iteration  2 :  38  enodes  (cost  8 )
124.133 * * [simplify]: iteration  3 :  70  enodes  (cost  8 )
124.155 * * [simplify]: iteration  4 :  98  enodes  (cost  8 )
124.178 * * [simplify]: iteration  5 :  144  enodes  (cost  8 )
124.224 * * [simplify]: iteration  6 :  264  enodes  (cost  8 )
124.384 * * [simplify]: iteration  7 :  653  enodes  (cost  8 )
125.498 * * [simplify]: iteration  8 :  2091  enodes  (cost  8 )
128.686 * * [simplify]: iteration  done :  5000  enodes  (cost  8 )
128.687 * * [simplify]: iteration  0 :  6  enodes  (cost  11 )
128.687 * * [simplify]: iteration  1 :  7  enodes  (cost  11 )
128.688 * * [simplify]: iteration  done :  7  enodes  (cost  11 )
128.689 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
128.689 * * [simplify]: iteration  1 :  6  enodes  (cost  5 )
128.690 * * [simplify]: iteration  done :  6  enodes  (cost  5 )
128.690 * * [simplify]: iteration  0 :  6  enodes  (cost  14 )
128.692 * * [simplify]: iteration  1 :  17  enodes  (cost  14 )
128.695 * * [simplify]: iteration  2 :  46  enodes  (cost  6 )
128.711 * * [simplify]: iteration  3 :  88  enodes  (cost  6 )
128.735 * * [simplify]: iteration  4 :  105  enodes  (cost  6 )
128.765 * * [simplify]: iteration  5 :  149  enodes  (cost  6 )
128.821 * * [simplify]: iteration  6 :  280  enodes  (cost  6 )
128.983 * * [simplify]: iteration  7 :  735  enodes  (cost  6 )
129.998 * * [simplify]: iteration  8 :  2739  enodes  (cost  6 )
131.623 * * [simplify]: iteration  done :  5000  enodes  (cost  6 )
131.623 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
131.624 * * [simplify]: iteration  1 :  6  enodes  (cost  5 )
131.625 * * [simplify]: iteration  done :  6  enodes  (cost  5 )
131.625 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
131.626 * * [simplify]: iteration  1 :  6  enodes  (cost  5 )
131.626 * * [simplify]: iteration  done :  6  enodes  (cost  5 )
131.627 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
131.627 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
131.628 * * [simplify]: iteration  done :  7  enodes  (cost  6 )
131.628 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
131.629 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
131.630 * * [simplify]: iteration  done :  7  enodes  (cost  6 )
131.630 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
131.634 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
131.635 * * [simplify]: iteration  done :  7  enodes  (cost  6 )
131.636 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
131.636 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
131.637 * * [simplify]: iteration  done :  7  enodes  (cost  6 )
131.637 * * [simplify]: iteration  0 :  6  enodes  (cost  9 )
131.638 * * [simplify]: iteration  1 :  9  enodes  (cost  9 )
131.639 * * [simplify]: iteration  2 :  11  enodes  (cost  9 )
131.640 * * [simplify]: iteration  done :  11  enodes  (cost  9 )
131.641 * * [simplify]: iteration  0 :  6  enodes  (cost  8 )
131.642 * * [simplify]: iteration  1 :  8  enodes  (cost  5 )
131.642 * * [simplify]: iteration  done :  8  enodes  (cost  5 )
131.643 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
131.643 * * [simplify]: iteration  1 :  6  enodes  (cost  5 )
131.644 * * [simplify]: iteration  done :  6  enodes  (cost  5 )
131.645 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
131.645 * * [simplify]: iteration  1 :  7  enodes  (cost  3 )
131.646 * * [simplify]: iteration  done :  7  enodes  (cost  3 )
131.646 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
131.647 * * [simplify]: iteration  1 :  6  enodes  (cost  5 )
131.647 * * [simplify]: iteration  done :  6  enodes  (cost  5 )
131.648 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
131.649 * * [simplify]: iteration  1 :  6  enodes  (cost  1 )
131.649 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
131.649 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
131.650 * * [simplify]: iteration  1 :  6  enodes  (cost  5 )
131.650 * * [simplify]: iteration  done :  6  enodes  (cost  5 )
131.651 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
131.651 * * [simplify]: iteration  1 :  6  enodes  (cost  5 )
131.652 * * [simplify]: iteration  done :  6  enodes  (cost  5 )
131.653 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
131.653 * * [simplify]: iteration  1 :  5  enodes  (cost  4 )
131.653 * * [simplify]: iteration  done :  5  enodes  (cost  4 )
131.654 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
131.654 * * [simplify]: iteration  1 :  5  enodes  (cost  4 )
131.655 * * [simplify]: iteration  done :  5  enodes  (cost  4 )
131.655 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
131.656 * * [simplify]: iteration  1 :  5  enodes  (cost  4 )
131.656 * * [simplify]: iteration  done :  5  enodes  (cost  4 )
131.657 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
131.657 * * [simplify]: iteration  1 :  5  enodes  (cost  4 )
131.658 * * [simplify]: iteration  done :  5  enodes  (cost  4 )
131.658 * [simplify]: Simplified to:
   (* x (sqrt 2.0))
  (+ (log x) (log (sqrt 2.0)))
  (log (* x (sqrt 2.0)))
  (exp (* x (sqrt 2.0)))
  (* (* 2.0 (sqrt 2.0)) (pow x 3))
  (* (cbrt (* x (sqrt 2.0))) (cbrt (* x (sqrt 2.0))))
  (cbrt (* x (sqrt 2.0)))
  (pow (* x (sqrt 2.0)) 3)
  (sqrt (* x (sqrt 2.0)))
  (sqrt (* x (sqrt 2.0)))
  (* (sqrt x) (sqrt (sqrt 2.0)))
  (* (sqrt x) (sqrt (sqrt 2.0)))
  (* (sqrt x) (sqrt (sqrt 2.0)))
  (* (sqrt x) (sqrt (sqrt 2.0)))
  (* x (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))
  (* (fabs (cbrt 2.0)) x)
  (* x (sqrt (sqrt 2.0)))
  (* 1 x)
  (* x (sqrt (sqrt 2.0)))
  x
  (* (cbrt x) (sqrt 2.0))
  (* (sqrt x) (sqrt 2.0))
  (* x (sqrt 2.0))
  (* x (sqrt 2.0))
  (* x (sqrt 2.0))
  (* x (sqrt 2.0))
131.658 * * * [progress]: adding candidates to table
131.690 * [progress]: [Phase 3 of 3] Extracting.
131.691 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (pow (* (* 2.0 x) x) 1/2))> #<alt (λ (x) (* x (sqrt 2.0)))> #<alt (λ (x) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (sqrt 2.0))))> #<alt (λ (x) (* (sqrt (* 2.0 x)) (sqrt x)))> #<alt (λ (x) (* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (sqrt (* (* 2.0 x) x)))))> #<alt (λ (x) (neg (* x (sqrt 2.0))))> #<alt (λ (x) (pow (* (* 2.0 2.0) (pow x 4)) (/ 1/2 2)))> #<alt (λ (x) (* (sqrt (* x (sqrt 2.0))) (sqrt (* x (sqrt 2.0)))))> #<alt (λ (x) (* (* x (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))>)
131.692 * * * [regime-changes]: Trying 3 branch expressions: ((* (* 2.0 x) x) (sqrt (* (* 2.0 x) x)) x)
131.692 * * * * [regimes]: Trying to branch on (* (* 2.0 x) x) from (#<alt (λ (x) (pow (* (* 2.0 x) x) 1/2))> #<alt (λ (x) (* x (sqrt 2.0)))> #<alt (λ (x) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (sqrt 2.0))))> #<alt (λ (x) (* (sqrt (* 2.0 x)) (sqrt x)))> #<alt (λ (x) (* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (sqrt (* (* 2.0 x) x)))))> #<alt (λ (x) (neg (* x (sqrt 2.0))))> #<alt (λ (x) (pow (* (* 2.0 2.0) (pow x 4)) (/ 1/2 2)))> #<alt (λ (x) (* (sqrt (* x (sqrt 2.0))) (sqrt (* x (sqrt 2.0)))))> #<alt (λ (x) (* (* x (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))>)
131.755 * * * * [regimes]: Trying to branch on (* (* 2.0 x) x) from (#<alt (λ (x) (pow (* (* 2.0 x) x) 1/2))> #<alt (λ (x) (* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (sqrt (* (* 2.0 x) x)))))>)
131.783 * * * * [regimes]: Trying to branch on (sqrt (* (* 2.0 x) x)) from (#<alt (λ (x) (pow (* (* 2.0 x) x) 1/2))> #<alt (λ (x) (* x (sqrt 2.0)))> #<alt (λ (x) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (sqrt 2.0))))> #<alt (λ (x) (* (sqrt (* 2.0 x)) (sqrt x)))> #<alt (λ (x) (* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (sqrt (* (* 2.0 x) x)))))> #<alt (λ (x) (neg (* x (sqrt 2.0))))> #<alt (λ (x) (pow (* (* 2.0 2.0) (pow x 4)) (/ 1/2 2)))> #<alt (λ (x) (* (sqrt (* x (sqrt 2.0))) (sqrt (* x (sqrt 2.0)))))> #<alt (λ (x) (* (* x (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))>)
131.848 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (pow (* (* 2.0 x) x) 1/2))> #<alt (λ (x) (* x (sqrt 2.0)))> #<alt (λ (x) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (sqrt 2.0))))> #<alt (λ (x) (* (sqrt (* 2.0 x)) (sqrt x)))> #<alt (λ (x) (* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (sqrt (* (* 2.0 x) x)))))> #<alt (λ (x) (neg (* x (sqrt 2.0))))> #<alt (λ (x) (pow (* (* 2.0 2.0) (pow x 4)) (/ 1/2 2)))> #<alt (λ (x) (* (sqrt (* x (sqrt 2.0))) (sqrt (* x (sqrt 2.0)))))> #<alt (λ (x) (* (* x (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))>)
131.904 * * * [regime]: Found split indices: #<option (#s(si 5 126) #s(si 3 255))>
131.905 * [binary-search]: Improving bounds with binary search for x and (#<alt (λ (x) (pow (* (* 2.0 x) x) 1/2))> #<alt (λ (x) (* x (sqrt 2.0)))> #<alt (λ (x) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (sqrt 2.0))))> #<alt (λ (x) (* (sqrt (* 2.0 x)) (sqrt x)))> #<alt (λ (x) (* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (sqrt (* (* 2.0 x) x)))))> #<alt (λ (x) (neg (* x (sqrt 2.0))))> #<alt (λ (x) (pow (* (* 2.0 2.0) (pow x 4)) (/ 1/2 2)))> #<alt (λ (x) (* (sqrt (* x (sqrt 2.0))) (sqrt (* x (sqrt 2.0)))))> #<alt (λ (x) (* (* x (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))>)
131.916 * [regimes]: Found splitpoints: (#s(sp 5 x 1.9786006080648e-310) #s(sp 3 x +nan.0)) , with alts (#<alt (λ (x) (pow (* (* 2.0 x) x) 1/2))> #<alt (λ (x) (* x (sqrt 2.0)))> #<alt (λ (x) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (sqrt 2.0))))> #<alt (λ (x) (* (sqrt (* 2.0 x)) (sqrt x)))> #<alt (λ (x) (* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (sqrt (* (* 2.0 x) x)))))> #<alt (λ (x) (neg (* x (sqrt 2.0))))> #<alt (λ (x) (pow (* (* 2.0 2.0) (pow x 4)) (/ 1/2 2)))> #<alt (λ (x) (* (sqrt (* x (sqrt 2.0))) (sqrt (* x (sqrt 2.0)))))> #<alt (λ (x) (* (* x (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))>)
131.917 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= x 1.9786006080648e-310) (neg (* x (sqrt 2.0))) (* (sqrt (* 2.0 x)) (sqrt x)))
131.918 * * [simplify]: iteration  0 :  12  enodes  (cost  16 )
131.918 * * [simplify]: iteration  1 :  19  enodes  (cost  16 )
131.919 * * [simplify]: iteration  2 :  21  enodes  (cost  16 )
131.920 * * [simplify]: iteration  done :  21  enodes  (cost  16 )
131.920 * [simplify]: Simplified to:
   (if (<= x 1.9786006080648e-310) (neg (* x (sqrt 2.0))) (* (sqrt (* 2.0 x)) (sqrt x)))
133.097 * [regime-testing]: End program error score: 0.40482428741218845