1.714 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.017 * * * [progress]: [2/2] Setting up program.
0.021 * [progress]: [Phase 2 of 3] Improving.
0.024 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (sqrt (* 2.0 (* x x)))
0.027 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
0.030 * * [simplify]: iteration  1 :  8  enodes  (cost  6 )
0.031 * * [simplify]: iteration  2 :  10  enodes  (cost  6 )
0.051 * * [simplify]: iteration  done :  10  enodes  (cost  6 )
0.051 * [simplify]: Simplified to:
   (sqrt (* 2.0 (* x x)))
0.053 * * [progress]: iteration 1 / 4
0.053 * * * [progress]: picking best candidate
0.055 * * * * [pick]: Picked  #<alt (λ (x) (sqrt (* 2.0 (* x x))))>
0.055 * * * [progress]: localizing error
0.062 * * * [progress]: generating rewritten candidates
0.062 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.071 * * * [progress]: generating series expansions
0.071 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.076 * [approximate]: Taking taylor expansion of (* x (sqrt 2.0)) in (x) around 0
0.077 * [taylor]: Taking taylor expansion of (* x (sqrt 2.0)) in x
0.077 * [taylor]: Taking taylor expansion of x in x
0.077 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
0.077 * [taylor]: Taking taylor expansion of 2.0 in x
0.077 * [taylor]: Taking taylor expansion of (* x (sqrt 2.0)) in x
0.077 * [taylor]: Taking taylor expansion of x in x
0.077 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
0.077 * [taylor]: Taking taylor expansion of 2.0 in x
0.081 * [approximate]: Taking taylor expansion of (/ (sqrt 2.0) x) in (x) around 0
0.081 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) x) in x
0.081 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
0.081 * [taylor]: Taking taylor expansion of 2.0 in x
0.081 * [taylor]: Taking taylor expansion of x in x
0.081 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) x) in x
0.081 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
0.081 * [taylor]: Taking taylor expansion of 2.0 in x
0.081 * [taylor]: Taking taylor expansion of x in x
0.083 * [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 * * * [progress]: simplifying candidates
0.085 * [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)
  (sqrt (* x 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.085 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
0.086 * * [simplify]: iteration  1 :  9  enodes  (cost  7 )
0.087 * * [simplify]: iteration  2 :  11  enodes  (cost  7 )
0.088 * * [simplify]: iteration  done :  11  enodes  (cost  7 )
0.089 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
0.090 * * [simplify]: iteration  1 :  9  enodes  (cost  7 )
0.091 * * [simplify]: iteration  2 :  11  enodes  (cost  7 )
0.092 * * [simplify]: iteration  done :  11  enodes  (cost  7 )
0.093 * * [simplify]: iteration  0 :  7  enodes  (cost  15 )
0.093 * * [simplify]: iteration  1 :  10  enodes  (cost  15 )
0.095 * * [simplify]: iteration  2 :  12  enodes  (cost  15 )
0.096 * * [simplify]: iteration  done :  12  enodes  (cost  15 )
0.097 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
0.097 * * [simplify]: iteration  1 :  9  enodes  (cost  7 )
0.098 * * [simplify]: iteration  2 :  11  enodes  (cost  7 )
0.100 * * [simplify]: iteration  done :  11  enodes  (cost  7 )
0.100 * * [simplify]: iteration  0 :  7  enodes  (cost  20 )
0.101 * * [simplify]: iteration  1 :  11  enodes  (cost  12 )
0.103 * * [simplify]: iteration  2 :  28  enodes  (cost  8 )
0.108 * * [simplify]: iteration  3 :  46  enodes  (cost  8 )
0.116 * * [simplify]: iteration  4 :  52  enodes  (cost  8 )
0.124 * * [simplify]: iteration  5 :  62  enodes  (cost  8 )
0.138 * * [simplify]: iteration  6 :  83  enodes  (cost  8 )
0.155 * * [simplify]: iteration  7 :  143  enodes  (cost  8 )
0.213 * * [simplify]: iteration  8 :  348  enodes  (cost  8 )
0.685 * * [simplify]: iteration  9 :  1266  enodes  (cost  8 )
3.041 * * [simplify]: iteration  done :  5000  enodes  (cost  8 )
3.042 * * [simplify]: iteration  0 :  2  enodes  (cost  2 )
3.042 * * [simplify]: iteration  done :  2  enodes  (cost  2 )
3.043 * * [simplify]: iteration  0 :  3  enodes  (cost  4 )
3.043 * * [simplify]: iteration  1 :  4  enodes  (cost  2 )
3.043 * * [simplify]: iteration  done :  4  enodes  (cost  2 )
3.044 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
3.044 * * [simplify]: iteration  1 :  6  enodes  (cost  1 )
3.045 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
3.045 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
3.046 * * [simplify]: iteration  1 :  6  enodes  (cost  1 )
3.046 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
3.046 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
3.047 * * [simplify]: iteration  1 :  6  enodes  (cost  1 )
3.047 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
3.048 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
3.049 * * [simplify]: iteration  1 :  9  enodes  (cost  7 )
3.050 * * [simplify]: iteration  2 :  11  enodes  (cost  7 )
3.051 * * [simplify]: iteration  done :  11  enodes  (cost  7 )
3.051 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
3.052 * * [simplify]: iteration  1 :  9  enodes  (cost  7 )
3.053 * * [simplify]: iteration  2 :  11  enodes  (cost  7 )
3.054 * * [simplify]: iteration  done :  11  enodes  (cost  7 )
3.055 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
3.055 * * [simplify]: iteration  1 :  5  enodes  (cost  4 )
3.056 * * [simplify]: iteration  done :  5  enodes  (cost  4 )
3.056 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
3.057 * * [simplify]: iteration  1 :  5  enodes  (cost  4 )
3.057 * * [simplify]: iteration  done :  5  enodes  (cost  4 )
3.058 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
3.059 * * [simplify]: iteration  1 :  11  enodes  (cost  5 )
3.060 * * [simplify]: iteration  2 :  23  enodes  (cost  5 )
3.063 * * [simplify]: iteration  done :  23  enodes  (cost  5 )
3.063 * [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)
  (fabs 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)))
3.063 * * * [progress]: adding candidates to table
3.094 * * [progress]: iteration 2 / 4
3.094 * * * [progress]: picking best candidate
3.108 * * * * [pick]: Picked  #<alt (λ (x) (* (sqrt 2.0) (fabs x)))>
3.108 * * * [progress]: localizing error
3.112 * * * [progress]: generating rewritten candidates
3.112 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
3.119 * * * [progress]: generating series expansions
3.119 * * * * [progress]: [ 1 / 1 ] generating series at (2)
3.119 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (fabs x)) in (x) around 0
3.119 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (fabs x)) in x
3.119 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
3.119 * [taylor]: Taking taylor expansion of 2.0 in x
3.119 * [taylor]: Taking taylor expansion of (fabs x) in x
3.120 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (fabs x)) in x
3.120 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
3.120 * [taylor]: Taking taylor expansion of 2.0 in x
3.120 * [taylor]: Taking taylor expansion of (fabs x) in x
3.121 * [approximate]: Taking taylor expansion of (* (fabs (/ 1 x)) (sqrt 2.0)) in (x) around 0
3.121 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (sqrt 2.0)) in x
3.121 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
3.121 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
3.121 * [taylor]: Taking taylor expansion of 2.0 in x
3.122 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (sqrt 2.0)) in x
3.122 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
3.122 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
3.122 * [taylor]: Taking taylor expansion of 2.0 in x
3.123 * [approximate]: Taking taylor expansion of (* (fabs (/ -1 x)) (sqrt 2.0)) in (x) around 0
3.123 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) (sqrt 2.0)) in x
3.123 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
3.123 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
3.123 * [taylor]: Taking taylor expansion of 2.0 in x
3.123 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) (sqrt 2.0)) in x
3.123 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
3.123 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
3.123 * [taylor]: Taking taylor expansion of 2.0 in x
3.124 * * * [progress]: simplifying candidates
3.125 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (sqrt 2.0) (fabs x))
  (+ (log (sqrt 2.0)) (log (fabs x)))
  (log (* (sqrt 2.0) (fabs x)))
  (exp (* (sqrt 2.0) (fabs x)))
  (* (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (cbrt (* (sqrt 2.0) (fabs x))) (cbrt (* (sqrt 2.0) (fabs x))))
  (cbrt (* (sqrt 2.0) (fabs x)))
  (* (* (* (sqrt 2.0) (fabs x)) (* (sqrt 2.0) (fabs x))) (* (sqrt 2.0) (fabs x)))
  (sqrt (* (sqrt 2.0) (fabs x)))
  (sqrt (* (sqrt 2.0) (fabs x)))
  (* (sqrt (sqrt 2.0)) (sqrt (fabs x)))
  (* (sqrt (sqrt 2.0)) (sqrt (fabs x)))
  (* (sqrt (sqrt 2.0)) (sqrt (fabs x)))
  (* (sqrt (sqrt 2.0)) (sqrt (fabs x)))
  (* (sqrt 2.0) (* (cbrt (fabs x)) (cbrt (fabs x))))
  (* (sqrt 2.0) (sqrt (fabs x)))
  (* (sqrt 2.0) 1)
  (* (cbrt (sqrt 2.0)) (fabs x))
  (* (sqrt (cbrt 2.0)) (fabs x))
  (* (sqrt (sqrt 2.0)) (fabs x))
  (* (sqrt 2.0) (fabs x))
  (* (sqrt (sqrt 2.0)) (fabs x))
  (* (sqrt 2.0) (fabs x))
  (* (sqrt 2.0) (fabs x))
  (* (sqrt 2.0) (fabs x))
  (* (sqrt 2.0) (fabs x))
3.125 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
3.126 * * [simplify]: iteration  1 :  6  enodes  (cost  5 )
3.126 * * [simplify]: iteration  done :  6  enodes  (cost  5 )
3.127 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
3.128 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
3.128 * * [simplify]: iteration  done :  8  enodes  (cost  7 )
3.129 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
3.129 * * [simplify]: iteration  1 :  10  enodes  (cost  6 )
3.130 * * [simplify]: iteration  2 :  11  enodes  (cost  6 )
3.131 * * [simplify]: iteration  done :  11  enodes  (cost  6 )
3.132 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
3.133 * * [simplify]: iteration  1 :  9  enodes  (cost  6 )
3.134 * * [simplify]: iteration  2 :  15  enodes  (cost  6 )
3.135 * * [simplify]: iteration  3 :  23  enodes  (cost  6 )
3.138 * * [simplify]: iteration  4 :  46  enodes  (cost  6 )
3.145 * * [simplify]: iteration  5 :  102  enodes  (cost  6 )
3.181 * * [simplify]: iteration  6 :  243  enodes  (cost  6 )
3.327 * * [simplify]: iteration  7 :  706  enodes  (cost  6 )
4.358 * * [simplify]: iteration  8 :  2720  enodes  (cost  6 )
6.207 * * [simplify]: iteration  done :  5000  enodes  (cost  6 )
6.208 * * [simplify]: iteration  0 :  9  enodes  (cost  17 )
6.209 * * [simplify]: iteration  1 :  16  enodes  (cost  13 )
6.212 * * [simplify]: iteration  2 :  38  enodes  (cost  9 )
6.219 * * [simplify]: iteration  3 :  69  enodes  (cost  9 )
6.237 * * [simplify]: iteration  4 :  94  enodes  (cost  9 )
6.261 * * [simplify]: iteration  5 :  138  enodes  (cost  9 )
6.306 * * [simplify]: iteration  6 :  255  enodes  (cost  9 )
6.464 * * [simplify]: iteration  7 :  649  enodes  (cost  9 )
7.471 * * [simplify]: iteration  8 :  2097  enodes  (cost  9 )
10.195 * * [simplify]: iteration  done :  5001  enodes  (cost  9 )
10.195 * * [simplify]: iteration  0 :  7  enodes  (cost  13 )
10.196 * * [simplify]: iteration  1 :  8  enodes  (cost  13 )
10.197 * * [simplify]: iteration  done :  8  enodes  (cost  13 )
10.197 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
10.198 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
10.199 * * [simplify]: iteration  done :  7  enodes  (cost  6 )
10.199 * * [simplify]: iteration  0 :  7  enodes  (cost  17 )
10.200 * * [simplify]: iteration  1 :  18  enodes  (cost  17 )
10.204 * * [simplify]: iteration  2 :  47  enodes  (cost  7 )
10.215 * * [simplify]: iteration  3 :  88  enodes  (cost  7 )
10.242 * * [simplify]: iteration  4 :  104  enodes  (cost  7 )
10.268 * * [simplify]: iteration  5 :  148  enodes  (cost  7 )
10.323 * * [simplify]: iteration  6 :  281  enodes  (cost  7 )
10.478 * * [simplify]: iteration  7 :  746  enodes  (cost  7 )
11.515 * * [simplify]: iteration  8 :  2767  enodes  (cost  7 )
13.240 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
13.241 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
13.247 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
13.247 * * [simplify]: iteration  done :  7  enodes  (cost  6 )
13.248 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
13.249 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
13.249 * * [simplify]: iteration  done :  7  enodes  (cost  6 )
13.250 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
13.251 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
13.251 * * [simplify]: iteration  done :  8  enodes  (cost  7 )
13.252 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
13.253 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
13.253 * * [simplify]: iteration  done :  8  enodes  (cost  7 )
13.254 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
13.255 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
13.255 * * [simplify]: iteration  done :  8  enodes  (cost  7 )
13.256 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
13.257 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
13.258 * * [simplify]: iteration  done :  8  enodes  (cost  7 )
13.258 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
13.259 * * [simplify]: iteration  1 :  10  enodes  (cost  10 )
13.260 * * [simplify]: iteration  2 :  12  enodes  (cost  10 )
13.262 * * [simplify]: iteration  done :  12  enodes  (cost  10 )
13.262 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
13.263 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
13.264 * * [simplify]: iteration  done :  7  enodes  (cost  6 )
13.264 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
13.265 * * [simplify]: iteration  1 :  7  enodes  (cost  2 )
13.266 * * [simplify]: iteration  2 :  10  enodes  (cost  2 )
13.266 * * [simplify]: iteration  done :  10  enodes  (cost  2 )
13.267 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
13.267 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
13.268 * * [simplify]: iteration  done :  7  enodes  (cost  6 )
13.269 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
13.269 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
13.270 * * [simplify]: iteration  done :  7  enodes  (cost  6 )
13.270 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
13.271 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
13.272 * * [simplify]: iteration  done :  7  enodes  (cost  6 )
13.272 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
13.273 * * [simplify]: iteration  1 :  6  enodes  (cost  5 )
13.273 * * [simplify]: iteration  done :  6  enodes  (cost  5 )
13.274 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
13.274 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
13.275 * * [simplify]: iteration  done :  7  enodes  (cost  6 )
13.275 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
13.276 * * [simplify]: iteration  1 :  6  enodes  (cost  5 )
13.276 * * [simplify]: iteration  done :  6  enodes  (cost  5 )
13.277 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
13.278 * * [simplify]: iteration  1 :  6  enodes  (cost  5 )
13.278 * * [simplify]: iteration  done :  6  enodes  (cost  5 )
13.279 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
13.279 * * [simplify]: iteration  1 :  6  enodes  (cost  5 )
13.280 * * [simplify]: iteration  done :  6  enodes  (cost  5 )
13.280 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
13.281 * * [simplify]: iteration  1 :  6  enodes  (cost  5 )
13.281 * * [simplify]: iteration  done :  6  enodes  (cost  5 )
13.282 * [simplify]: Simplified to:
   (* (sqrt 2.0) (fabs x))
  (+ (log (sqrt 2.0)) (log (fabs x)))
  (log (* (sqrt 2.0) (fabs x)))
  (exp (* (sqrt 2.0) (fabs x)))
  (* (pow (fabs x) 3) (* 2.0 (sqrt 2.0)))
  (* (cbrt (* (sqrt 2.0) (fabs x))) (cbrt (* (sqrt 2.0) (fabs x))))
  (cbrt (* (sqrt 2.0) (fabs x)))
  (pow (* (sqrt 2.0) (fabs x)) 3)
  (sqrt (* (sqrt 2.0) (fabs x)))
  (sqrt (* (sqrt 2.0) (fabs x)))
  (* (sqrt (sqrt 2.0)) (sqrt (fabs x)))
  (* (sqrt (sqrt 2.0)) (sqrt (fabs x)))
  (* (sqrt (sqrt 2.0)) (sqrt (fabs x)))
  (* (sqrt (sqrt 2.0)) (sqrt (fabs x)))
  (* (sqrt 2.0) (* (cbrt (fabs x)) (cbrt (fabs x))))
  (* (sqrt 2.0) (sqrt (fabs x)))
  (sqrt 2.0)
  (* (cbrt (sqrt 2.0)) (fabs x))
  (* (sqrt (cbrt 2.0)) (fabs x))
  (* (sqrt (sqrt 2.0)) (fabs x))
  (* (sqrt 2.0) (fabs x))
  (* (sqrt (sqrt 2.0)) (fabs x))
  (* (sqrt 2.0) (fabs x))
  (* (sqrt 2.0) (fabs x))
  (* (sqrt 2.0) (fabs x))
  (* (sqrt 2.0) (fabs x))
13.282 * * * [progress]: adding candidates to table
13.321 * * [progress]: iteration 3 / 4
13.321 * * * [progress]: picking best candidate
13.339 * * * * [pick]: Picked  #<alt (λ (x) (* (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (cbrt (sqrt 2.0)) (fabs x))))>
13.339 * * * [progress]: localizing error
13.347 * * * [progress]: generating rewritten candidates
13.347 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
13.360 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
13.368 * * * [progress]: generating series expansions
13.368 * * * * [progress]: [ 1 / 2 ] generating series at (2)
13.368 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (fabs x)) in (x) around 0
13.368 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (fabs x)) in x
13.369 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
13.369 * [taylor]: Taking taylor expansion of 2.0 in x
13.369 * [taylor]: Taking taylor expansion of (fabs x) in x
13.369 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (fabs x)) in x
13.369 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
13.369 * [taylor]: Taking taylor expansion of 2.0 in x
13.369 * [taylor]: Taking taylor expansion of (fabs x) in x
13.370 * [approximate]: Taking taylor expansion of (* (fabs (/ 1 x)) (sqrt 2.0)) in (x) around 0
13.370 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (sqrt 2.0)) in x
13.370 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
13.370 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
13.370 * [taylor]: Taking taylor expansion of 2.0 in x
13.370 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (sqrt 2.0)) in x
13.370 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
13.370 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
13.370 * [taylor]: Taking taylor expansion of 2.0 in x
13.372 * [approximate]: Taking taylor expansion of (* (fabs (/ -1 x)) (sqrt 2.0)) in (x) around 0
13.372 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) (sqrt 2.0)) in x
13.372 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
13.372 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
13.372 * [taylor]: Taking taylor expansion of 2.0 in x
13.372 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) (sqrt 2.0)) in x
13.372 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
13.372 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
13.372 * [taylor]: Taking taylor expansion of 2.0 in x
13.373 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
13.373 * [approximate]: Taking taylor expansion of (* (pow (sqrt 2.0) 1/3) (fabs x)) in (x) around 0
13.373 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 1/3) (fabs x)) in x
13.373 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 1/3) in x
13.373 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt 2.0)))) in x
13.373 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt 2.0))) in x
13.373 * [taylor]: Taking taylor expansion of 1/3 in x
13.373 * [taylor]: Taking taylor expansion of (log (sqrt 2.0)) in x
13.373 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
13.373 * [taylor]: Taking taylor expansion of 2.0 in x
13.374 * [taylor]: Taking taylor expansion of (fabs x) in x
13.374 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 1/3) (fabs x)) in x
13.374 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 1/3) in x
13.374 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt 2.0)))) in x
13.374 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt 2.0))) in x
13.374 * [taylor]: Taking taylor expansion of 1/3 in x
13.374 * [taylor]: Taking taylor expansion of (log (sqrt 2.0)) in x
13.374 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
13.374 * [taylor]: Taking taylor expansion of 2.0 in x
13.374 * [taylor]: Taking taylor expansion of (fabs x) in x
13.384 * [approximate]: Taking taylor expansion of (* (fabs (/ 1 x)) (pow (sqrt 2.0) 1/3)) in (x) around 0
13.384 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (pow (sqrt 2.0) 1/3)) in x
13.384 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
13.384 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 1/3) in x
13.384 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt 2.0)))) in x
13.384 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt 2.0))) in x
13.384 * [taylor]: Taking taylor expansion of 1/3 in x
13.384 * [taylor]: Taking taylor expansion of (log (sqrt 2.0)) in x
13.384 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
13.384 * [taylor]: Taking taylor expansion of 2.0 in x
13.384 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (pow (sqrt 2.0) 1/3)) in x
13.384 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
13.384 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 1/3) in x
13.384 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt 2.0)))) in x
13.384 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt 2.0))) in x
13.384 * [taylor]: Taking taylor expansion of 1/3 in x
13.384 * [taylor]: Taking taylor expansion of (log (sqrt 2.0)) in x
13.384 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
13.384 * [taylor]: Taking taylor expansion of 2.0 in x
13.392 * [approximate]: Taking taylor expansion of (* (fabs (/ -1 x)) (pow (sqrt 2.0) 1/3)) in (x) around 0
13.393 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) (pow (sqrt 2.0) 1/3)) in x
13.393 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
13.393 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 1/3) in x
13.393 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt 2.0)))) in x
13.393 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt 2.0))) in x
13.393 * [taylor]: Taking taylor expansion of 1/3 in x
13.393 * [taylor]: Taking taylor expansion of (log (sqrt 2.0)) in x
13.393 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
13.393 * [taylor]: Taking taylor expansion of 2.0 in x
13.393 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) (pow (sqrt 2.0) 1/3)) in x
13.393 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
13.393 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 1/3) in x
13.393 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt 2.0)))) in x
13.393 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt 2.0))) in x
13.393 * [taylor]: Taking taylor expansion of 1/3 in x
13.393 * [taylor]: Taking taylor expansion of (log (sqrt 2.0)) in x
13.393 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
13.393 * [taylor]: Taking taylor expansion of 2.0 in x
13.401 * * * [progress]: simplifying candidates
13.402 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (cbrt (sqrt 2.0)) (fabs x)))
  (* (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (cbrt (sqrt 2.0)) (fabs x)))
  (* (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (cbrt (sqrt 2.0)) (fabs x)))
  (* (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (cbrt (sqrt 2.0)) (fabs x)))
  (+ (+ (log (cbrt (sqrt 2.0))) (log (cbrt (sqrt 2.0)))) (+ (log (cbrt (sqrt 2.0))) (log (fabs x))))
  (+ (+ (log (cbrt (sqrt 2.0))) (log (cbrt (sqrt 2.0)))) (log (* (cbrt (sqrt 2.0)) (fabs x))))
  (+ (log (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (+ (log (cbrt (sqrt 2.0))) (log (fabs x))))
  (+ (log (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (log (* (cbrt (sqrt 2.0)) (fabs x))))
  (log (* (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (cbrt (sqrt 2.0)) (fabs x))))
  (exp (* (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (cbrt (sqrt 2.0)) (fabs x))))
  (* (* (sqrt 2.0) (sqrt 2.0)) (* (sqrt 2.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (sqrt 2.0) (sqrt 2.0)) (* (* (* (cbrt (sqrt 2.0)) (fabs x)) (* (cbrt (sqrt 2.0)) (fabs x))) (* (cbrt (sqrt 2.0)) (fabs x))))
  (* (* (* (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (* (sqrt 2.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (* (* (* (cbrt (sqrt 2.0)) (fabs x)) (* (cbrt (sqrt 2.0)) (fabs x))) (* (cbrt (sqrt 2.0)) (fabs x))))
  (* (cbrt (* (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (cbrt (sqrt 2.0)) (fabs x)))) (cbrt (* (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (cbrt (sqrt 2.0)) (fabs x)))))
  (cbrt (* (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (cbrt (sqrt 2.0)) (fabs x))))
  (* (* (* (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (cbrt (sqrt 2.0)) (fabs x))) (* (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (cbrt (sqrt 2.0)) (fabs x)))) (* (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (cbrt (sqrt 2.0)) (fabs x))))
  (sqrt (* (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (cbrt (sqrt 2.0)) (fabs x))))
  (sqrt (* (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (cbrt (sqrt 2.0)) (fabs x))))
  (* (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (cbrt (sqrt 2.0)))
  (* (cbrt (sqrt 2.0)) (* (cbrt (sqrt 2.0)) (fabs x)))
  (* (cbrt (sqrt 2.0)) (fabs x))
  (+ (log (cbrt (sqrt 2.0))) (log (fabs x)))
  (log (* (cbrt (sqrt 2.0)) (fabs x)))
  (exp (* (cbrt (sqrt 2.0)) (fabs x)))
  (* (sqrt 2.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (cbrt (* (cbrt (sqrt 2.0)) (fabs x))) (cbrt (* (cbrt (sqrt 2.0)) (fabs x))))
  (cbrt (* (cbrt (sqrt 2.0)) (fabs x)))
  (* (* (* (cbrt (sqrt 2.0)) (fabs x)) (* (cbrt (sqrt 2.0)) (fabs x))) (* (cbrt (sqrt 2.0)) (fabs x)))
  (sqrt (* (cbrt (sqrt 2.0)) (fabs x)))
  (sqrt (* (cbrt (sqrt 2.0)) (fabs x)))
  (* (cbrt (sqrt (sqrt 2.0))) (sqrt (fabs x)))
  (* (cbrt (sqrt (sqrt 2.0))) (sqrt (fabs x)))
  (* (cbrt (sqrt (sqrt 2.0))) (sqrt (fabs x)))
  (* (cbrt (sqrt (sqrt 2.0))) (sqrt (fabs x)))
  (* (sqrt (cbrt (sqrt 2.0))) (sqrt (fabs x)))
  (* (sqrt (cbrt (sqrt 2.0))) (sqrt (fabs x)))
  (* (cbrt (sqrt 2.0)) (* (cbrt (fabs x)) (cbrt (fabs x))))
  (* (cbrt (sqrt 2.0)) (sqrt (fabs x)))
  (* (cbrt (sqrt 2.0)) 1)
  (* (cbrt (cbrt (sqrt 2.0))) (fabs x))
  (* (cbrt (sqrt (cbrt 2.0))) (fabs x))
  (* (cbrt (sqrt (sqrt 2.0))) (fabs x))
  (* (cbrt (sqrt 2.0)) (fabs x))
  (* (cbrt (sqrt (sqrt 2.0))) (fabs x))
  (* (cbrt (sqrt 2.0)) (fabs x))
  (* (cbrt (cbrt (sqrt 2.0))) (fabs x))
  (* (sqrt (cbrt (sqrt 2.0))) (fabs x))
  (* (cbrt (sqrt 2.0)) (fabs x))
  (* (sqrt 2.0) (fabs x))
  (* (sqrt 2.0) (fabs x))
  (* (sqrt 2.0) (fabs x))
  (* (pow (sqrt 2.0) 1/3) (fabs x))
  (* (pow (sqrt 2.0) 1/3) (fabs x))
  (* (pow (sqrt 2.0) 1/3) (fabs x))
13.403 * * [simplify]: iteration  0 :  8  enodes  (cost  14 )
13.404 * * [simplify]: iteration  1 :  14  enodes  (cost  14 )
13.406 * * [simplify]: iteration  2 :  22  enodes  (cost  14 )
13.413 * * [simplify]: iteration  3 :  25  enodes  (cost  8 )
13.416 * * [simplify]: iteration  4 :  30  enodes  (cost  5 )
13.420 * * [simplify]: iteration  5 :  40  enodes  (cost  5 )
13.425 * * [simplify]: iteration  6 :  58  enodes  (cost  5 )
13.435 * * [simplify]: iteration  7 :  106  enodes  (cost  5 )
13.467 * * [simplify]: iteration  8 :  250  enodes  (cost  5 )
13.656 * * [simplify]: iteration  9 :  772  enodes  (cost  5 )
15.687 * * [simplify]: iteration  10 :  3071  enodes  (cost  5 )
18.552 * * [simplify]: iteration  done :  5001  enodes  (cost  5 )
18.553 * * [simplify]: iteration  0 :  8  enodes  (cost  14 )
18.559 * * [simplify]: iteration  1 :  14  enodes  (cost  14 )
18.561 * * [simplify]: iteration  2 :  22  enodes  (cost  14 )
18.564 * * [simplify]: iteration  3 :  25  enodes  (cost  8 )
18.568 * * [simplify]: iteration  4 :  30  enodes  (cost  5 )
18.571 * * [simplify]: iteration  5 :  40  enodes  (cost  5 )
18.580 * * [simplify]: iteration  6 :  58  enodes  (cost  5 )
18.590 * * [simplify]: iteration  7 :  106  enodes  (cost  5 )
18.619 * * [simplify]: iteration  8 :  250  enodes  (cost  5 )
18.810 * * [simplify]: iteration  9 :  772  enodes  (cost  5 )
20.838 * * [simplify]: iteration  10 :  3071  enodes  (cost  5 )
23.704 * * [simplify]: iteration  done :  5001  enodes  (cost  5 )
23.705 * * [simplify]: iteration  0 :  8  enodes  (cost  14 )
23.706 * * [simplify]: iteration  1 :  14  enodes  (cost  14 )
23.708 * * [simplify]: iteration  2 :  22  enodes  (cost  14 )
23.711 * * [simplify]: iteration  3 :  25  enodes  (cost  8 )
23.714 * * [simplify]: iteration  4 :  30  enodes  (cost  5 )
23.718 * * [simplify]: iteration  5 :  40  enodes  (cost  5 )
23.723 * * [simplify]: iteration  6 :  58  enodes  (cost  5 )
23.732 * * [simplify]: iteration  7 :  106  enodes  (cost  5 )
23.765 * * [simplify]: iteration  8 :  250  enodes  (cost  5 )
23.957 * * [simplify]: iteration  9 :  772  enodes  (cost  5 )
26.005 * * [simplify]: iteration  10 :  3071  enodes  (cost  5 )
29.146 * * [simplify]: iteration  done :  5001  enodes  (cost  5 )
29.147 * * [simplify]: iteration  0 :  8  enodes  (cost  14 )
29.153 * * [simplify]: iteration  1 :  14  enodes  (cost  14 )
29.155 * * [simplify]: iteration  2 :  22  enodes  (cost  14 )
29.158 * * [simplify]: iteration  3 :  25  enodes  (cost  8 )
29.161 * * [simplify]: iteration  4 :  30  enodes  (cost  5 )
29.165 * * [simplify]: iteration  5 :  40  enodes  (cost  5 )
29.170 * * [simplify]: iteration  6 :  58  enodes  (cost  5 )
29.180 * * [simplify]: iteration  7 :  106  enodes  (cost  5 )
29.213 * * [simplify]: iteration  8 :  250  enodes  (cost  5 )
29.414 * * [simplify]: iteration  9 :  772  enodes  (cost  5 )
31.493 * * [simplify]: iteration  10 :  3071  enodes  (cost  5 )
34.370 * * [simplify]: iteration  done :  5001  enodes  (cost  5 )
34.371 * * [simplify]: iteration  0 :  10  enodes  (cost  18 )
34.377 * * [simplify]: iteration  1 :  18  enodes  (cost  15 )
34.381 * * [simplify]: iteration  2 :  31  enodes  (cost  10 )
34.385 * * [simplify]: iteration  3 :  35  enodes  (cost  10 )
34.389 * * [simplify]: iteration  done :  35  enodes  (cost  10 )
34.390 * * [simplify]: iteration  0 :  10  enodes  (cost  17 )
34.391 * * [simplify]: iteration  1 :  18  enodes  (cost  14 )
34.393 * * [simplify]: iteration  2 :  27  enodes  (cost  14 )
34.396 * * [simplify]: iteration  3 :  34  enodes  (cost  10 )
34.400 * * [simplify]: iteration  4 :  37  enodes  (cost  10 )
34.403 * * [simplify]: iteration  done :  37  enodes  (cost  10 )
34.404 * * [simplify]: iteration  0 :  11  enodes  (cost  17 )
34.405 * * [simplify]: iteration  1 :  16  enodes  (cost  17 )
34.407 * * [simplify]: iteration  2 :  28  enodes  (cost  15 )
34.411 * * [simplify]: iteration  3 :  33  enodes  (cost  10 )
34.414 * * [simplify]: iteration  4 :  36  enodes  (cost  10 )
34.418 * * [simplify]: iteration  done :  36  enodes  (cost  10 )
34.419 * * [simplify]: iteration  0 :  10  enodes  (cost  16 )
34.420 * * [simplify]: iteration  1 :  16  enodes  (cost  16 )
34.422 * * [simplify]: iteration  2 :  27  enodes  (cost  14 )
34.425 * * [simplify]: iteration  3 :  38  enodes  (cost  10 )
34.429 * * [simplify]: iteration  4 :  41  enodes  (cost  10 )
34.433 * * [simplify]: iteration  done :  41  enodes  (cost  10 )
34.434 * * [simplify]: iteration  0 :  9  enodes  (cost  15 )
34.435 * * [simplify]: iteration  1 :  18  enodes  (cost  15 )
34.440 * * [simplify]: iteration  2 :  35  enodes  (cost  15 )
34.445 * * [simplify]: iteration  3 :  53  enodes  (cost  9 )
34.451 * * [simplify]: iteration  4 :  62  enodes  (cost  6 )
34.459 * * [simplify]: iteration  5 :  77  enodes  (cost  6 )
34.468 * * [simplify]: iteration  6 :  106  enodes  (cost  6 )
34.485 * * [simplify]: iteration  7 :  191  enodes  (cost  6 )
34.539 * * [simplify]: iteration  8 :  443  enodes  (cost  6 )
34.837 * * [simplify]: iteration  9 :  1339  enodes  (cost  6 )
37.355 * * [simplify]: iteration  done :  5000  enodes  (cost  6 )
37.356 * * [simplify]: iteration  0 :  9  enodes  (cost  15 )
37.357 * * [simplify]: iteration  1 :  17  enodes  (cost  15 )
37.359 * * [simplify]: iteration  2 :  35  enodes  (cost  15 )
37.364 * * [simplify]: iteration  3 :  66  enodes  (cost  9 )
37.375 * * [simplify]: iteration  4 :  142  enodes  (cost  6 )
37.400 * * [simplify]: iteration  5 :  337  enodes  (cost  6 )
37.558 * * [simplify]: iteration  6 :  837  enodes  (cost  6 )
38.472 * * [simplify]: iteration  7 :  2485  enodes  (cost  6 )
39.464 * * [simplify]: iteration  done :  5001  enodes  (cost  6 )
39.464 * * [simplify]: iteration  0 :  9  enodes  (cost  17 )
39.471 * * [simplify]: iteration  1 :  18  enodes  (cost  13 )
39.473 * * [simplify]: iteration  2 :  44  enodes  (cost  9 )
39.483 * * [simplify]: iteration  3 :  90  enodes  (cost  9 )
39.505 * * [simplify]: iteration  4 :  129  enodes  (cost  9 )
39.536 * * [simplify]: iteration  5 :  183  enodes  (cost  7 )
39.599 * * [simplify]: iteration  6 :  323  enodes  (cost  7 )
39.841 * * [simplify]: iteration  7 :  821  enodes  (cost  7 )
41.412 * * [simplify]: iteration  8 :  2612  enodes  (cost  7 )
44.324 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
44.325 * * [simplify]: iteration  0 :  10  enodes  (cost  26 )
44.327 * * [simplify]: iteration  1 :  26  enodes  (cost  22 )
44.331 * * [simplify]: iteration  2 :  84  enodes  (cost  10 )
44.368 * * [simplify]: iteration  3 :  296  enodes  (cost  10 )
44.625 * * [simplify]: iteration  4 :  716  enodes  (cost  9 )
45.410 * * [simplify]: iteration  5 :  1199  enodes  (cost  7 )
47.437 * * [simplify]: iteration  6 :  3138  enodes  (cost  7 )
50.263 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
50.264 * * [simplify]: iteration  0 :  12  enodes  (cost  35 )
50.266 * * [simplify]: iteration  1 :  29  enodes  (cost  35 )
50.272 * * [simplify]: iteration  2 :  94  enodes  (cost  17 )
50.321 * * [simplify]: iteration  3 :  340  enodes  (cost  13 )
50.621 * * [simplify]: iteration  4 :  860  enodes  (cost  9 )
52.438 * * [simplify]: iteration  5 :  3024  enodes  (cost  7 )
54.256 * * [simplify]: iteration  done :  5001  enodes  (cost  7 )
54.257 * * [simplify]: iteration  0 :  12  enodes  (cost  44 )
54.259 * * [simplify]: iteration  1 :  35  enodes  (cost  44 )
54.266 * * [simplify]: iteration  2 :  126  enodes  (cost  18 )
54.344 * * [simplify]: iteration  3 :  499  enodes  (cost  13 )
54.958 * * [simplify]: iteration  4 :  909  enodes  (cost  7 )
57.120 * * [simplify]: iteration  5 :  3103  enodes  (cost  7 )
59.244 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
59.245 * * [simplify]: iteration  0 :  10  enodes  (cost  31 )
59.246 * * [simplify]: iteration  1 :  16  enodes  (cost  31 )
59.248 * * [simplify]: iteration  2 :  24  enodes  (cost  31 )
59.251 * * [simplify]: iteration  3 :  27  enodes  (cost  19 )
59.255 * * [simplify]: iteration  4 :  32  enodes  (cost  13 )
59.259 * * [simplify]: iteration  5 :  42  enodes  (cost  13 )
59.264 * * [simplify]: iteration  6 :  60  enodes  (cost  13 )
59.274 * * [simplify]: iteration  7 :  106  enodes  (cost  13 )
59.308 * * [simplify]: iteration  8 :  255  enodes  (cost  13 )
59.512 * * [simplify]: iteration  9 :  778  enodes  (cost  13 )
61.566 * * [simplify]: iteration  10 :  3077  enodes  (cost  13 )
65.250 * * [simplify]: iteration  done :  5000  enodes  (cost  13 )
65.251 * * [simplify]: iteration  0 :  9  enodes  (cost  15 )
65.252 * * [simplify]: iteration  1 :  15  enodes  (cost  15 )
65.254 * * [simplify]: iteration  2 :  22  enodes  (cost  15 )
65.258 * * [simplify]: iteration  3 :  24  enodes  (cost  9 )
65.263 * * [simplify]: iteration  4 :  29  enodes  (cost  6 )
65.267 * * [simplify]: iteration  5 :  39  enodes  (cost  6 )
65.272 * * [simplify]: iteration  6 :  57  enodes  (cost  6 )
65.288 * * [simplify]: iteration  7 :  103  enodes  (cost  6 )
65.316 * * [simplify]: iteration  8 :  242  enodes  (cost  6 )
65.511 * * [simplify]: iteration  9 :  768  enodes  (cost  6 )
67.622 * * [simplify]: iteration  10 :  3087  enodes  (cost  6 )
70.781 * * [simplify]: iteration  done :  5000  enodes  (cost  6 )
70.781 * * [simplify]: iteration  0 :  10  enodes  (cost  44 )
70.783 * * [simplify]: iteration  1 :  26  enodes  (cost  44 )
70.789 * * [simplify]: iteration  2 :  113  enodes  (cost  16 )
70.869 * * [simplify]: iteration  3 :  450  enodes  (cost  10 )
71.389 * * [simplify]: iteration  4 :  787  enodes  (cost  7 )
72.246 * * [simplify]: iteration  5 :  1155  enodes  (cost  7 )
74.999 * * [simplify]: iteration  6 :  4003  enodes  (cost  7 )
76.992 * * [simplify]: iteration  done :  5001  enodes  (cost  7 )
76.992 * * [simplify]: iteration  0 :  9  enodes  (cost  15 )
76.994 * * [simplify]: iteration  1 :  15  enodes  (cost  15 )
76.996 * * [simplify]: iteration  2 :  22  enodes  (cost  15 )
76.999 * * [simplify]: iteration  3 :  24  enodes  (cost  9 )
77.002 * * [simplify]: iteration  4 :  29  enodes  (cost  6 )
77.006 * * [simplify]: iteration  5 :  39  enodes  (cost  6 )
77.016 * * [simplify]: iteration  6 :  57  enodes  (cost  6 )
77.025 * * [simplify]: iteration  7 :  103  enodes  (cost  6 )
77.053 * * [simplify]: iteration  8 :  242  enodes  (cost  6 )
77.251 * * [simplify]: iteration  9 :  768  enodes  (cost  6 )
79.419 * * [simplify]: iteration  10 :  3087  enodes  (cost  6 )
82.623 * * [simplify]: iteration  done :  5000  enodes  (cost  6 )
82.624 * * [simplify]: iteration  0 :  9  enodes  (cost  15 )
82.625 * * [simplify]: iteration  1 :  15  enodes  (cost  15 )
82.627 * * [simplify]: iteration  2 :  22  enodes  (cost  15 )
82.634 * * [simplify]: iteration  3 :  24  enodes  (cost  9 )
82.638 * * [simplify]: iteration  4 :  29  enodes  (cost  6 )
82.641 * * [simplify]: iteration  5 :  39  enodes  (cost  6 )
82.647 * * [simplify]: iteration  6 :  57  enodes  (cost  6 )
82.656 * * [simplify]: iteration  7 :  103  enodes  (cost  6 )
82.688 * * [simplify]: iteration  8 :  242  enodes  (cost  6 )
82.883 * * [simplify]: iteration  9 :  768  enodes  (cost  6 )
85.031 * * [simplify]: iteration  10 :  3087  enodes  (cost  6 )
88.199 * * [simplify]: iteration  done :  5000  enodes  (cost  6 )
88.199 * * [simplify]: iteration  0 :  5  enodes  (cost  11 )
88.200 * * [simplify]: iteration  1 :  6  enodes  (cost  11 )
88.201 * * [simplify]: iteration  2 :  8  enodes  (cost  5 )
88.202 * * [simplify]: iteration  3 :  13  enodes  (cost  2 )
88.203 * * [simplify]: iteration  4 :  19  enodes  (cost  2 )
88.205 * * [simplify]: iteration  5 :  29  enodes  (cost  2 )
88.209 * * [simplify]: iteration  6 :  50  enodes  (cost  2 )
88.217 * * [simplify]: iteration  7 :  108  enodes  (cost  2 )
88.265 * * [simplify]: iteration  8 :  311  enodes  (cost  2 )
88.715 * * [simplify]: iteration  9 :  1229  enodes  (cost  2 )
91.037 * * [simplify]: iteration  done :  5000  enodes  (cost  2 )
91.038 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
91.039 * * [simplify]: iteration  1 :  11  enodes  (cost  10 )
91.040 * * [simplify]: iteration  2 :  12  enodes  (cost  10 )
91.041 * * [simplify]: iteration  done :  12  enodes  (cost  10 )
91.042 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
91.043 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
91.043 * * [simplify]: iteration  done :  7  enodes  (cost  6 )
91.044 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
91.044 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
91.045 * * [simplify]: iteration  done :  9  enodes  (cost  8 )
91.046 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
91.046 * * [simplify]: iteration  1 :  11  enodes  (cost  7 )
91.047 * * [simplify]: iteration  2 :  12  enodes  (cost  7 )
91.048 * * [simplify]: iteration  done :  12  enodes  (cost  7 )
91.049 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
91.050 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
91.051 * * [simplify]: iteration  2 :  16  enodes  (cost  7 )
91.052 * * [simplify]: iteration  3 :  24  enodes  (cost  7 )
91.055 * * [simplify]: iteration  4 :  47  enodes  (cost  7 )
91.062 * * [simplify]: iteration  5 :  103  enodes  (cost  7 )
91.099 * * [simplify]: iteration  6 :  241  enodes  (cost  7 )
91.243 * * [simplify]: iteration  7 :  700  enodes  (cost  7 )
92.304 * * [simplify]: iteration  8 :  2704  enodes  (cost  7 )
94.027 * * [simplify]: iteration  done :  5001  enodes  (cost  7 )
94.028 * * [simplify]: iteration  0 :  7  enodes  (cost  11 )
94.029 * * [simplify]: iteration  1 :  11  enodes  (cost  11 )
94.031 * * [simplify]: iteration  2 :  20  enodes  (cost  7 )
94.034 * * [simplify]: iteration  3 :  26  enodes  (cost  7 )
94.037 * * [simplify]: iteration  4 :  36  enodes  (cost  7 )
94.042 * * [simplify]: iteration  5 :  54  enodes  (cost  7 )
94.052 * * [simplify]: iteration  6 :  102  enodes  (cost  7 )
94.085 * * [simplify]: iteration  7 :  245  enodes  (cost  7 )
94.278 * * [simplify]: iteration  8 :  776  enodes  (cost  7 )
96.279 * * [simplify]: iteration  9 :  3062  enodes  (cost  7 )
98.782 * * [simplify]: iteration  done :  5001  enodes  (cost  7 )
98.783 * * [simplify]: iteration  0 :  8  enodes  (cost  15 )
98.783 * * [simplify]: iteration  1 :  9  enodes  (cost  15 )
98.784 * * [simplify]: iteration  done :  9  enodes  (cost  15 )
98.785 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
98.785 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
98.786 * * [simplify]: iteration  done :  8  enodes  (cost  7 )
98.787 * * [simplify]: iteration  0 :  8  enodes  (cost  20 )
98.788 * * [simplify]: iteration  1 :  19  enodes  (cost  20 )
98.791 * * [simplify]: iteration  2 :  48  enodes  (cost  8 )
98.803 * * [simplify]: iteration  3 :  91  enodes  (cost  8 )
98.831 * * [simplify]: iteration  4 :  107  enodes  (cost  7 )
98.858 * * [simplify]: iteration  5 :  153  enodes  (cost  7 )
98.920 * * [simplify]: iteration  6 :  295  enodes  (cost  7 )
99.079 * * [simplify]: iteration  7 :  753  enodes  (cost  7 )
100.083 * * [simplify]: iteration  8 :  2735  enodes  (cost  7 )
101.678 * * [simplify]: iteration  done :  5001  enodes  (cost  7 )
101.679 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
101.680 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
101.680 * * [simplify]: iteration  done :  8  enodes  (cost  7 )
101.681 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
101.682 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
101.682 * * [simplify]: iteration  done :  8  enodes  (cost  7 )
101.683 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
101.684 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
101.684 * * [simplify]: iteration  done :  9  enodes  (cost  8 )
101.685 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
101.686 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
101.686 * * [simplify]: iteration  done :  9  enodes  (cost  8 )
101.687 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
101.688 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
101.689 * * [simplify]: iteration  done :  9  enodes  (cost  8 )
101.689 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
101.690 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
101.691 * * [simplify]: iteration  done :  9  enodes  (cost  8 )
101.691 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
101.692 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
101.693 * * [simplify]: iteration  done :  9  enodes  (cost  8 )
101.693 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
101.694 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
101.695 * * [simplify]: iteration  done :  9  enodes  (cost  8 )
101.695 * * [simplify]: iteration  0 :  8  enodes  (cost  11 )
101.700 * * [simplify]: iteration  1 :  11  enodes  (cost  11 )
101.702 * * [simplify]: iteration  2 :  13  enodes  (cost  11 )
101.703 * * [simplify]: iteration  done :  13  enodes  (cost  11 )
101.704 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
101.704 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
101.705 * * [simplify]: iteration  done :  8  enodes  (cost  7 )
101.706 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
101.706 * * [simplify]: iteration  1 :  8  enodes  (cost  3 )
101.707 * * [simplify]: iteration  2 :  11  enodes  (cost  3 )
101.708 * * [simplify]: iteration  done :  11  enodes  (cost  3 )
101.709 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
101.709 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
101.710 * * [simplify]: iteration  done :  8  enodes  (cost  7 )
101.710 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
101.711 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
101.712 * * [simplify]: iteration  done :  8  enodes  (cost  7 )
101.713 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
101.713 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
101.714 * * [simplify]: iteration  done :  8  enodes  (cost  7 )
101.714 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
101.715 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
101.716 * * [simplify]: iteration  done :  7  enodes  (cost  6 )
101.716 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
101.717 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
101.717 * * [simplify]: iteration  done :  8  enodes  (cost  7 )
101.718 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
101.719 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
101.719 * * [simplify]: iteration  done :  7  enodes  (cost  6 )
101.720 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
101.720 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
101.721 * * [simplify]: iteration  done :  8  enodes  (cost  7 )
101.722 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
101.723 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
101.723 * * [simplify]: iteration  done :  8  enodes  (cost  7 )
101.724 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
101.724 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
101.725 * * [simplify]: iteration  done :  7  enodes  (cost  6 )
101.726 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
101.726 * * [simplify]: iteration  1 :  6  enodes  (cost  5 )
101.727 * * [simplify]: iteration  done :  6  enodes  (cost  5 )
101.727 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
101.728 * * [simplify]: iteration  1 :  6  enodes  (cost  5 )
101.728 * * [simplify]: iteration  done :  6  enodes  (cost  5 )
101.729 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
101.729 * * [simplify]: iteration  1 :  6  enodes  (cost  5 )
101.730 * * [simplify]: iteration  done :  6  enodes  (cost  5 )
101.731 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
101.732 * * [simplify]: iteration  1 :  14  enodes  (cost  6 )
101.733 * * [simplify]: iteration  2 :  24  enodes  (cost  6 )
101.736 * * [simplify]: iteration  3 :  42  enodes  (cost  6 )
101.742 * * [simplify]: iteration  4 :  87  enodes  (cost  6 )
101.770 * * [simplify]: iteration  5 :  233  enodes  (cost  6 )
101.955 * * [simplify]: iteration  6 :  761  enodes  (cost  6 )
104.023 * * [simplify]: iteration  7 :  3060  enodes  (cost  6 )
107.026 * * [simplify]: iteration  done :  5000  enodes  (cost  6 )
107.027 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
107.028 * * [simplify]: iteration  1 :  14  enodes  (cost  6 )
107.029 * * [simplify]: iteration  2 :  24  enodes  (cost  6 )
107.032 * * [simplify]: iteration  3 :  42  enodes  (cost  6 )
107.038 * * [simplify]: iteration  4 :  87  enodes  (cost  6 )
107.066 * * [simplify]: iteration  5 :  233  enodes  (cost  6 )
107.248 * * [simplify]: iteration  6 :  761  enodes  (cost  6 )
109.307 * * [simplify]: iteration  7 :  3060  enodes  (cost  6 )
112.337 * * [simplify]: iteration  done :  5000  enodes  (cost  6 )
112.338 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
112.339 * * [simplify]: iteration  1 :  14  enodes  (cost  6 )
112.340 * * [simplify]: iteration  2 :  24  enodes  (cost  6 )
112.343 * * [simplify]: iteration  3 :  42  enodes  (cost  6 )
112.349 * * [simplify]: iteration  4 :  87  enodes  (cost  6 )
112.373 * * [simplify]: iteration  5 :  233  enodes  (cost  6 )
112.560 * * [simplify]: iteration  6 :  761  enodes  (cost  6 )
114.588 * * [simplify]: iteration  7 :  3060  enodes  (cost  6 )
117.571 * * [simplify]: iteration  done :  5000  enodes  (cost  6 )
117.571 * [simplify]: Simplified to:
   (* (sqrt 2.0) (fabs x))
  (* (sqrt 2.0) (fabs x))
  (* (sqrt 2.0) (fabs x))
  (* (sqrt 2.0) (fabs x))
  (+ (log (fabs x)) (* 3 (log (cbrt (sqrt 2.0)))))
  (+ (log (fabs x)) (* 3 (log (cbrt (sqrt 2.0)))))
  (+ (* 3 (log (cbrt (sqrt 2.0)))) (log (fabs x)))
  (+ (* 3 (log (cbrt (sqrt 2.0)))) (log (fabs x)))
  (log (* (sqrt 2.0) (fabs x)))
  (pow (exp (fabs x)) (sqrt 2.0))
  (pow (* (sqrt 2.0) (fabs x)) 3)
  (pow (* (fabs x) (sqrt 2.0)) 3)
  (pow (* (sqrt 2.0) (fabs x)) 3)
  (pow (* (fabs x) (sqrt 2.0)) 3)
  (* (cbrt (* (sqrt 2.0) (fabs x))) (cbrt (* (sqrt 2.0) (fabs x))))
  (cbrt (* (sqrt 2.0) (fabs x)))
  (pow (* (fabs x) (sqrt 2.0)) 3)
  (sqrt (* (sqrt 2.0) (fabs x)))
  (sqrt (* (sqrt 2.0) (fabs x)))
  (sqrt 2.0)
  (* (cbrt (sqrt 2.0)) (* (cbrt (sqrt 2.0)) (fabs x)))
  (* (cbrt (sqrt 2.0)) (fabs x))
  (+ (log (cbrt (sqrt 2.0))) (log (fabs x)))
  (log (* (cbrt (sqrt 2.0)) (fabs x)))
  (exp (* (cbrt (sqrt 2.0)) (fabs x)))
  (* (pow (fabs x) 3) (sqrt 2.0))
  (* (cbrt (* (cbrt (sqrt 2.0)) (fabs x))) (cbrt (* (cbrt (sqrt 2.0)) (fabs x))))
  (cbrt (* (cbrt (sqrt 2.0)) (fabs x)))
  (* (pow (fabs x) 3) (sqrt 2.0))
  (sqrt (* (cbrt (sqrt 2.0)) (fabs x)))
  (sqrt (* (cbrt (sqrt 2.0)) (fabs x)))
  (* (cbrt (sqrt (sqrt 2.0))) (sqrt (fabs x)))
  (* (cbrt (sqrt (sqrt 2.0))) (sqrt (fabs x)))
  (* (cbrt (sqrt (sqrt 2.0))) (sqrt (fabs x)))
  (* (cbrt (sqrt (sqrt 2.0))) (sqrt (fabs x)))
  (* (sqrt (cbrt (sqrt 2.0))) (sqrt (fabs x)))
  (* (sqrt (cbrt (sqrt 2.0))) (sqrt (fabs x)))
  (* (cbrt (sqrt 2.0)) (* (cbrt (fabs x)) (cbrt (fabs x))))
  (* (cbrt (sqrt 2.0)) (sqrt (fabs x)))
  (cbrt (sqrt 2.0))
  (* (cbrt (cbrt (sqrt 2.0))) (fabs x))
  (* (cbrt (sqrt (cbrt 2.0))) (fabs x))
  (* (cbrt (sqrt (sqrt 2.0))) (fabs x))
  (* (cbrt (sqrt 2.0)) (fabs x))
  (* (cbrt (sqrt (sqrt 2.0))) (fabs x))
  (* (cbrt (sqrt 2.0)) (fabs x))
  (* (cbrt (cbrt (sqrt 2.0))) (fabs x))
  (* (sqrt (cbrt (sqrt 2.0))) (fabs x))
  (* (cbrt (sqrt 2.0)) (fabs x))
  (* (sqrt 2.0) (fabs x))
  (* (sqrt 2.0) (fabs x))
  (* (sqrt 2.0) (fabs x))
  (* (fabs x) (cbrt (sqrt 2.0)))
  (* (fabs x) (cbrt (sqrt 2.0)))
  (* (fabs x) (cbrt (sqrt 2.0)))
117.572 * * * [progress]: adding candidates to table
117.669 * * [progress]: iteration 4 / 4
117.669 * * * [progress]: picking best candidate
117.690 * * * * [pick]: Picked  #<alt (λ (x) (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (fabs x))))>
117.690 * * * [progress]: localizing error
117.697 * * * [progress]: generating rewritten candidates
117.697 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
117.707 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
117.716 * * * [progress]: generating series expansions
117.716 * * * * [progress]: [ 1 / 2 ] generating series at (2)
117.716 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (fabs x)) in (x) around 0
117.716 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (fabs x)) in x
117.716 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
117.716 * [taylor]: Taking taylor expansion of 2.0 in x
117.716 * [taylor]: Taking taylor expansion of (fabs x) in x
117.716 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (fabs x)) in x
117.716 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
117.716 * [taylor]: Taking taylor expansion of 2.0 in x
117.716 * [taylor]: Taking taylor expansion of (fabs x) in x
117.717 * [approximate]: Taking taylor expansion of (* (fabs (/ 1 x)) (sqrt 2.0)) in (x) around 0
117.717 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (sqrt 2.0)) in x
117.717 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
117.718 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
117.718 * [taylor]: Taking taylor expansion of 2.0 in x
117.718 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (sqrt 2.0)) in x
117.718 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
117.718 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
117.718 * [taylor]: Taking taylor expansion of 2.0 in x
117.719 * [approximate]: Taking taylor expansion of (* (fabs (/ -1 x)) (sqrt 2.0)) in (x) around 0
117.719 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) (sqrt 2.0)) in x
117.719 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
117.719 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
117.719 * [taylor]: Taking taylor expansion of 2.0 in x
117.720 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) (sqrt 2.0)) in x
117.720 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
117.720 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
117.720 * [taylor]: Taking taylor expansion of 2.0 in x
117.721 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
117.721 * [approximate]: Taking taylor expansion of (* (sqrt (sqrt 2.0)) (fabs x)) in (x) around 0
117.721 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt 2.0)) (fabs x)) in x
117.721 * [taylor]: Taking taylor expansion of (sqrt (sqrt 2.0)) in x
117.721 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
117.721 * [taylor]: Taking taylor expansion of 2.0 in x
117.721 * [taylor]: Taking taylor expansion of (fabs x) in x
117.721 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt 2.0)) (fabs x)) in x
117.721 * [taylor]: Taking taylor expansion of (sqrt (sqrt 2.0)) in x
117.721 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
117.721 * [taylor]: Taking taylor expansion of 2.0 in x
117.721 * [taylor]: Taking taylor expansion of (fabs x) in x
117.723 * [approximate]: Taking taylor expansion of (* (fabs (/ 1 x)) (sqrt (sqrt 2.0))) in (x) around 0
117.723 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (sqrt (sqrt 2.0))) in x
117.723 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
117.723 * [taylor]: Taking taylor expansion of (sqrt (sqrt 2.0)) in x
117.723 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
117.723 * [taylor]: Taking taylor expansion of 2.0 in x
117.723 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (sqrt (sqrt 2.0))) in x
117.723 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
117.723 * [taylor]: Taking taylor expansion of (sqrt (sqrt 2.0)) in x
117.723 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
117.723 * [taylor]: Taking taylor expansion of 2.0 in x
117.725 * [approximate]: Taking taylor expansion of (* (fabs (/ -1 x)) (sqrt (sqrt 2.0))) in (x) around 0
117.725 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) (sqrt (sqrt 2.0))) in x
117.725 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
117.725 * [taylor]: Taking taylor expansion of (sqrt (sqrt 2.0)) in x
117.725 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
117.725 * [taylor]: Taking taylor expansion of 2.0 in x
117.725 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) (sqrt (sqrt 2.0))) in x
117.725 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
117.725 * [taylor]: Taking taylor expansion of (sqrt (sqrt 2.0)) in x
117.725 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
117.725 * [taylor]: Taking taylor expansion of 2.0 in x
117.727 * * * [progress]: simplifying candidates
117.728 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (fabs x)))
  (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (fabs x)))
  (+ (log (sqrt (sqrt 2.0))) (+ (log (sqrt (sqrt 2.0))) (log (fabs x))))
  (+ (log (sqrt (sqrt 2.0))) (log (* (sqrt (sqrt 2.0)) (fabs x))))
  (log (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (fabs x))))
  (exp (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (fabs x))))
  (* (* (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (* (* (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (* (* (* (sqrt (sqrt 2.0)) (fabs x)) (* (sqrt (sqrt 2.0)) (fabs x))) (* (sqrt (sqrt 2.0)) (fabs x))))
  (* (cbrt (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (fabs x)))) (cbrt (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (fabs x)))))
  (cbrt (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (fabs x))))
  (* (* (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (fabs x))) (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (fabs x)))) (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (fabs x))))
  (sqrt (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (fabs x))))
  (sqrt (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (fabs x))))
  (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0)))
  (* (cbrt (sqrt (sqrt 2.0))) (* (sqrt (sqrt 2.0)) (fabs x)))
  (* (sqrt (cbrt (sqrt 2.0))) (* (sqrt (sqrt 2.0)) (fabs x)))
  (* (sqrt (sqrt (cbrt 2.0))) (* (sqrt (sqrt 2.0)) (fabs x)))
  (* (sqrt (sqrt (sqrt 2.0))) (* (sqrt (sqrt 2.0)) (fabs x)))
  (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (fabs x)))
  (* (sqrt (sqrt (sqrt 2.0))) (* (sqrt (sqrt 2.0)) (fabs x)))
  (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (fabs x)))
  (* (sqrt (sqrt (sqrt 2.0))) (* (sqrt (sqrt 2.0)) (fabs x)))
  (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (fabs x)))
  (* (sqrt (sqrt 2.0)) (fabs x))
  (+ (log (sqrt (sqrt 2.0))) (log (fabs x)))
  (log (* (sqrt (sqrt 2.0)) (fabs x)))
  (exp (* (sqrt (sqrt 2.0)) (fabs x)))
  (* (* (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (cbrt (* (sqrt (sqrt 2.0)) (fabs x))) (cbrt (* (sqrt (sqrt 2.0)) (fabs x))))
  (cbrt (* (sqrt (sqrt 2.0)) (fabs x)))
  (* (* (* (sqrt (sqrt 2.0)) (fabs x)) (* (sqrt (sqrt 2.0)) (fabs x))) (* (sqrt (sqrt 2.0)) (fabs x)))
  (sqrt (* (sqrt (sqrt 2.0)) (fabs x)))
  (sqrt (* (sqrt (sqrt 2.0)) (fabs x)))
  (* (sqrt (sqrt (sqrt 2.0))) (sqrt (fabs x)))
  (* (sqrt (sqrt (sqrt 2.0))) (sqrt (fabs x)))
  (* (sqrt (sqrt (sqrt 2.0))) (sqrt (fabs x)))
  (* (sqrt (sqrt (sqrt 2.0))) (sqrt (fabs x)))
  (* (sqrt (sqrt (sqrt 2.0))) (sqrt (fabs x)))
  (* (sqrt (sqrt (sqrt 2.0))) (sqrt (fabs x)))
  (* (sqrt (sqrt 2.0)) (* (cbrt (fabs x)) (cbrt (fabs x))))
  (* (sqrt (sqrt 2.0)) (sqrt (fabs x)))
  (* (sqrt (sqrt 2.0)) 1)
  (* (cbrt (sqrt (sqrt 2.0))) (fabs x))
  (* (sqrt (cbrt (sqrt 2.0))) (fabs x))
  (* (sqrt (sqrt (cbrt 2.0))) (fabs x))
  (* (sqrt (sqrt (sqrt 2.0))) (fabs x))
  (* (sqrt (sqrt 2.0)) (fabs x))
  (* (sqrt (sqrt (sqrt 2.0))) (fabs x))
  (* (sqrt (sqrt 2.0)) (fabs x))
  (* (sqrt (sqrt (sqrt 2.0))) (fabs x))
  (* (sqrt (sqrt 2.0)) (fabs x))
  (* (sqrt 2.0) (fabs x))
  (* (sqrt 2.0) (fabs x))
  (* (sqrt 2.0) (fabs x))
  (* (sqrt (sqrt 2.0)) (fabs x))
  (* (sqrt (sqrt 2.0)) (fabs x))
  (* (sqrt (sqrt 2.0)) (fabs x))
117.728 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
117.729 * * [simplify]: iteration  1 :  11  enodes  (cost  10 )
117.731 * * [simplify]: iteration  2 :  12  enodes  (cost  5 )
117.732 * * [simplify]: iteration  3 :  13  enodes  (cost  5 )
117.734 * * [simplify]: iteration  done :  13  enodes  (cost  5 )
117.734 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
117.735 * * [simplify]: iteration  1 :  11  enodes  (cost  10 )
117.736 * * [simplify]: iteration  2 :  12  enodes  (cost  5 )
117.737 * * [simplify]: iteration  3 :  13  enodes  (cost  5 )
117.739 * * [simplify]: iteration  done :  13  enodes  (cost  5 )
117.739 * * [simplify]: iteration  0 :  9  enodes  (cost  13 )
117.740 * * [simplify]: iteration  1 :  13  enodes  (cost  13 )
117.742 * * [simplify]: iteration  2 :  16  enodes  (cost  10 )
117.743 * * [simplify]: iteration  3 :  17  enodes  (cost  10 )
117.745 * * [simplify]: iteration  done :  17  enodes  (cost  10 )
117.746 * * [simplify]: iteration  0 :  9  enodes  (cost  12 )
117.746 * * [simplify]: iteration  1 :  13  enodes  (cost  12 )
117.748 * * [simplify]: iteration  2 :  16  enodes  (cost  12 )
117.749 * * [simplify]: iteration  3 :  19  enodes  (cost  10 )
117.751 * * [simplify]: iteration  4 :  20  enodes  (cost  10 )
117.754 * * [simplify]: iteration  done :  20  enodes  (cost  10 )
117.754 * * [simplify]: iteration  0 :  8  enodes  (cost  11 )
117.755 * * [simplify]: iteration  1 :  15  enodes  (cost  11 )
117.757 * * [simplify]: iteration  2 :  22  enodes  (cost  6 )
117.763 * * [simplify]: iteration  3 :  27  enodes  (cost  6 )
117.766 * * [simplify]: iteration  4 :  29  enodes  (cost  6 )
117.769 * * [simplify]: iteration  5 :  30  enodes  (cost  6 )
117.772 * * [simplify]: iteration  done :  30  enodes  (cost  6 )
117.772 * * [simplify]: iteration  0 :  8  enodes  (cost  11 )
117.773 * * [simplify]: iteration  1 :  14  enodes  (cost  11 )
117.775 * * [simplify]: iteration  2 :  23  enodes  (cost  6 )
117.778 * * [simplify]: iteration  3 :  44  enodes  (cost  6 )
117.784 * * [simplify]: iteration  4 :  91  enodes  (cost  6 )
117.799 * * [simplify]: iteration  5 :  204  enodes  (cost  6 )
117.894 * * [simplify]: iteration  6 :  508  enodes  (cost  6 )
118.382 * * [simplify]: iteration  7 :  1548  enodes  (cost  6 )
120.538 * * [simplify]: iteration  done :  5000  enodes  (cost  6 )
120.539 * * [simplify]: iteration  0 :  11  enodes  (cost  32 )
120.540 * * [simplify]: iteration  1 :  23  enodes  (cost  22 )
120.546 * * [simplify]: iteration  2 :  83  enodes  (cost  13 )
120.572 * * [simplify]: iteration  3 :  207  enodes  (cost  9 )
120.693 * * [simplify]: iteration  4 :  397  enodes  (cost  9 )
121.075 * * [simplify]: iteration  5 :  1052  enodes  (cost  7 )
123.251 * * [simplify]: iteration  6 :  3620  enodes  (cost  7 )
125.468 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
125.468 * * [simplify]: iteration  0 :  11  enodes  (cost  32 )
125.470 * * [simplify]: iteration  1 :  27  enodes  (cost  22 )
125.476 * * [simplify]: iteration  2 :  94  enodes  (cost  14 )
125.518 * * [simplify]: iteration  3 :  255  enodes  (cost  14 )
125.701 * * [simplify]: iteration  4 :  425  enodes  (cost  7 )
126.124 * * [simplify]: iteration  5 :  976  enodes  (cost  7 )
128.021 * * [simplify]: iteration  6 :  3112  enodes  (cost  7 )
130.100 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
130.100 * * [simplify]: iteration  0 :  9  enodes  (cost  23 )
130.101 * * [simplify]: iteration  1 :  13  enodes  (cost  23 )
130.103 * * [simplify]: iteration  2 :  14  enodes  (cost  13 )
130.105 * * [simplify]: iteration  3 :  15  enodes  (cost  13 )
130.106 * * [simplify]: iteration  done :  15  enodes  (cost  13 )
130.107 * * [simplify]: iteration  0 :  8  enodes  (cost  11 )
130.108 * * [simplify]: iteration  1 :  12  enodes  (cost  11 )
130.109 * * [simplify]: iteration  2 :  13  enodes  (cost  6 )
130.110 * * [simplify]: iteration  3 :  14  enodes  (cost  6 )
130.112 * * [simplify]: iteration  done :  14  enodes  (cost  6 )
130.112 * * [simplify]: iteration  0 :  9  enodes  (cost  32 )
130.114 * * [simplify]: iteration  1 :  22  enodes  (cost  32 )
130.118 * * [simplify]: iteration  2 :  77  enodes  (cost  7 )
130.154 * * [simplify]: iteration  3 :  203  enodes  (cost  7 )
130.295 * * [simplify]: iteration  4 :  355  enodes  (cost  7 )
130.523 * * [simplify]: iteration  5 :  524  enodes  (cost  7 )
131.068 * * [simplify]: iteration  6 :  1317  enodes  (cost  7 )
134.037 * * [simplify]: iteration  7 :  4346  enodes  (cost  7 )
136.023 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
136.024 * * [simplify]: iteration  0 :  8  enodes  (cost  11 )
136.025 * * [simplify]: iteration  1 :  12  enodes  (cost  11 )
136.026 * * [simplify]: iteration  2 :  13  enodes  (cost  6 )
136.028 * * [simplify]: iteration  3 :  14  enodes  (cost  6 )
136.029 * * [simplify]: iteration  done :  14  enodes  (cost  6 )
136.030 * * [simplify]: iteration  0 :  8  enodes  (cost  11 )
136.031 * * [simplify]: iteration  1 :  12  enodes  (cost  11 )
136.032 * * [simplify]: iteration  2 :  13  enodes  (cost  6 )
136.033 * * [simplify]: iteration  3 :  14  enodes  (cost  6 )
136.035 * * [simplify]: iteration  done :  14  enodes  (cost  6 )
136.036 * * [simplify]: iteration  0 :  4  enodes  (cost  7 )
136.036 * * [simplify]: iteration  done :  4  enodes  (cost  2 )
136.037 * * [simplify]: iteration  0 :  8  enodes  (cost  11 )
136.038 * * [simplify]: iteration  1 :  12  enodes  (cost  11 )
136.042 * * [simplify]: iteration  2 :  18  enodes  (cost  11 )
136.045 * * [simplify]: iteration  3 :  20  enodes  (cost  11 )
136.047 * * [simplify]: iteration  done :  20  enodes  (cost  11 )
136.048 * * [simplify]: iteration  0 :  9  enodes  (cost  11 )
136.049 * * [simplify]: iteration  1 :  13  enodes  (cost  11 )
136.050 * * [simplify]: iteration  2 :  19  enodes  (cost  11 )
136.052 * * [simplify]: iteration  done :  19  enodes  (cost  11 )
136.053 * * [simplify]: iteration  0 :  10  enodes  (cost  11 )
136.054 * * [simplify]: iteration  1 :  14  enodes  (cost  11 )
136.056 * * [simplify]: iteration  2 :  20  enodes  (cost  11 )
136.058 * * [simplify]: iteration  3 :  22  enodes  (cost  11 )
136.060 * * [simplify]: iteration  done :  22  enodes  (cost  11 )
136.061 * * [simplify]: iteration  0 :  8  enodes  (cost  11 )
136.062 * * [simplify]: iteration  1 :  12  enodes  (cost  11 )
136.063 * * [simplify]: iteration  2 :  18  enodes  (cost  11 )
136.065 * * [simplify]: iteration  3 :  20  enodes  (cost  11 )
136.068 * * [simplify]: iteration  done :  20  enodes  (cost  11 )
136.068 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
136.069 * * [simplify]: iteration  1 :  11  enodes  (cost  10 )
136.070 * * [simplify]: iteration  2 :  12  enodes  (cost  5 )
136.072 * * [simplify]: iteration  3 :  13  enodes  (cost  5 )
136.073 * * [simplify]: iteration  done :  13  enodes  (cost  5 )
136.074 * * [simplify]: iteration  0 :  8  enodes  (cost  11 )
136.075 * * [simplify]: iteration  1 :  12  enodes  (cost  11 )
136.076 * * [simplify]: iteration  2 :  18  enodes  (cost  11 )
136.078 * * [simplify]: iteration  3 :  20  enodes  (cost  11 )
136.080 * * [simplify]: iteration  done :  20  enodes  (cost  11 )
136.081 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
136.082 * * [simplify]: iteration  1 :  11  enodes  (cost  10 )
136.083 * * [simplify]: iteration  2 :  12  enodes  (cost  5 )
136.084 * * [simplify]: iteration  3 :  13  enodes  (cost  5 )
136.086 * * [simplify]: iteration  done :  13  enodes  (cost  5 )
136.087 * * [simplify]: iteration  0 :  8  enodes  (cost  11 )
136.087 * * [simplify]: iteration  1 :  12  enodes  (cost  11 )
136.089 * * [simplify]: iteration  2 :  18  enodes  (cost  11 )
136.091 * * [simplify]: iteration  3 :  20  enodes  (cost  11 )
136.093 * * [simplify]: iteration  done :  20  enodes  (cost  11 )
136.094 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
136.094 * * [simplify]: iteration  1 :  11  enodes  (cost  10 )
136.096 * * [simplify]: iteration  2 :  12  enodes  (cost  5 )
136.097 * * [simplify]: iteration  3 :  13  enodes  (cost  5 )
136.099 * * [simplify]: iteration  done :  13  enodes  (cost  5 )
136.099 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
136.100 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
136.101 * * [simplify]: iteration  done :  7  enodes  (cost  6 )
136.101 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
136.102 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
136.103 * * [simplify]: iteration  done :  9  enodes  (cost  8 )
136.103 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
136.106 * * [simplify]: iteration  1 :  11  enodes  (cost  7 )
136.107 * * [simplify]: iteration  2 :  12  enodes  (cost  7 )
136.109 * * [simplify]: iteration  done :  12  enodes  (cost  7 )
136.109 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
136.110 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
136.111 * * [simplify]: iteration  2 :  16  enodes  (cost  7 )
136.113 * * [simplify]: iteration  3 :  24  enodes  (cost  7 )
136.116 * * [simplify]: iteration  4 :  47  enodes  (cost  7 )
136.123 * * [simplify]: iteration  5 :  103  enodes  (cost  7 )
136.156 * * [simplify]: iteration  6 :  241  enodes  (cost  7 )
136.306 * * [simplify]: iteration  7 :  700  enodes  (cost  7 )
137.374 * * [simplify]: iteration  8 :  2704  enodes  (cost  7 )
139.118 * * [simplify]: iteration  done :  5001  enodes  (cost  7 )
139.119 * * [simplify]: iteration  0 :  10  enodes  (cost  20 )
139.120 * * [simplify]: iteration  1 :  17  enodes  (cost  15 )
139.123 * * [simplify]: iteration  2 :  43  enodes  (cost  10 )
139.132 * * [simplify]: iteration  3 :  85  enodes  (cost  10 )
139.158 * * [simplify]: iteration  4 :  138  enodes  (cost  8 )
139.214 * * [simplify]: iteration  5 :  263  enodes  (cost  8 )
139.360 * * [simplify]: iteration  6 :  672  enodes  (cost  8 )
140.301 * * [simplify]: iteration  7 :  2485  enodes  (cost  8 )
142.184 * * [simplify]: iteration  done :  5001  enodes  (cost  8 )
142.185 * * [simplify]: iteration  0 :  8  enodes  (cost  15 )
142.186 * * [simplify]: iteration  1 :  9  enodes  (cost  15 )
142.187 * * [simplify]: iteration  done :  9  enodes  (cost  15 )
142.188 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
142.188 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
142.189 * * [simplify]: iteration  done :  8  enodes  (cost  7 )
142.190 * * [simplify]: iteration  0 :  8  enodes  (cost  20 )
142.191 * * [simplify]: iteration  1 :  19  enodes  (cost  20 )
142.194 * * [simplify]: iteration  2 :  48  enodes  (cost  8 )
142.207 * * [simplify]: iteration  3 :  92  enodes  (cost  8 )
142.235 * * [simplify]: iteration  4 :  108  enodes  (cost  8 )
142.263 * * [simplify]: iteration  5 :  154  enodes  (cost  8 )
142.327 * * [simplify]: iteration  6 :  292  enodes  (cost  8 )
142.496 * * [simplify]: iteration  7 :  758  enodes  (cost  8 )
143.557 * * [simplify]: iteration  8 :  2745  enodes  (cost  8 )
145.272 * * [simplify]: iteration  done :  5001  enodes  (cost  8 )
145.273 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
145.273 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
145.274 * * [simplify]: iteration  done :  8  enodes  (cost  7 )
145.275 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
145.275 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
145.276 * * [simplify]: iteration  done :  8  enodes  (cost  7 )
145.276 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
145.277 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
145.278 * * [simplify]: iteration  done :  9  enodes  (cost  8 )
145.279 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
145.279 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
145.280 * * [simplify]: iteration  done :  9  enodes  (cost  8 )
145.281 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
145.281 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
145.282 * * [simplify]: iteration  done :  9  enodes  (cost  8 )
145.283 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
145.284 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
145.285 * * [simplify]: iteration  done :  9  enodes  (cost  8 )
145.285 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
145.286 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
145.287 * * [simplify]: iteration  done :  9  enodes  (cost  8 )
145.287 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
145.288 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
145.289 * * [simplify]: iteration  done :  9  enodes  (cost  8 )
145.289 * * [simplify]: iteration  0 :  8  enodes  (cost  11 )
145.290 * * [simplify]: iteration  1 :  11  enodes  (cost  11 )
145.291 * * [simplify]: iteration  2 :  13  enodes  (cost  11 )
145.293 * * [simplify]: iteration  done :  13  enodes  (cost  11 )
145.293 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
145.294 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
145.295 * * [simplify]: iteration  done :  8  enodes  (cost  7 )
145.295 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
145.296 * * [simplify]: iteration  1 :  8  enodes  (cost  3 )
145.301 * * [simplify]: iteration  2 :  11  enodes  (cost  3 )
145.302 * * [simplify]: iteration  done :  11  enodes  (cost  3 )
145.308 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
145.308 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
145.309 * * [simplify]: iteration  done :  8  enodes  (cost  7 )
145.310 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
145.310 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
145.311 * * [simplify]: iteration  done :  8  enodes  (cost  7 )
145.311 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
145.312 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
145.313 * * [simplify]: iteration  done :  8  enodes  (cost  7 )
145.313 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
145.314 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
145.315 * * [simplify]: iteration  done :  8  enodes  (cost  7 )
145.315 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
145.316 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
145.316 * * [simplify]: iteration  done :  7  enodes  (cost  6 )
145.317 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
145.318 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
145.318 * * [simplify]: iteration  done :  8  enodes  (cost  7 )
145.319 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
145.320 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
145.320 * * [simplify]: iteration  done :  7  enodes  (cost  6 )
145.321 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
145.321 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
145.322 * * [simplify]: iteration  done :  8  enodes  (cost  7 )
145.323 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
145.323 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
145.324 * * [simplify]: iteration  done :  7  enodes  (cost  6 )
145.324 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
145.325 * * [simplify]: iteration  1 :  6  enodes  (cost  5 )
145.325 * * [simplify]: iteration  done :  6  enodes  (cost  5 )
145.326 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
145.326 * * [simplify]: iteration  1 :  6  enodes  (cost  5 )
145.327 * * [simplify]: iteration  done :  6  enodes  (cost  5 )
145.328 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
145.328 * * [simplify]: iteration  1 :  6  enodes  (cost  5 )
145.329 * * [simplify]: iteration  done :  6  enodes  (cost  5 )
145.329 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
145.330 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
145.330 * * [simplify]: iteration  done :  7  enodes  (cost  6 )
145.331 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
145.331 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
145.332 * * [simplify]: iteration  done :  7  enodes  (cost  6 )
145.333 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
145.333 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
145.334 * * [simplify]: iteration  done :  7  enodes  (cost  6 )
145.334 * [simplify]: Simplified to:
   (* (sqrt 2.0) (fabs x))
  (* (sqrt 2.0) (fabs x))
  (+ (log (fabs x)) (* 2 (log (sqrt (sqrt 2.0)))))
  (+ (log (fabs x)) (* 2 (log (sqrt (sqrt 2.0)))))
  (log (* (fabs x) (sqrt 2.0)))
  (pow (exp (sqrt 2.0)) (fabs x))
  (pow (* (sqrt 2.0) (fabs x)) 3)
  (pow (* (sqrt 2.0) (fabs x)) 3)
  (* (cbrt (* (sqrt 2.0) (fabs x))) (cbrt (* (sqrt 2.0) (fabs x))))
  (cbrt (* (fabs x) (sqrt 2.0)))
  (pow (* (sqrt 2.0) (fabs x)) 3)
  (sqrt (* (fabs x) (sqrt 2.0)))
  (sqrt (* (fabs x) (sqrt 2.0)))
  (sqrt 2.0)
  (* (cbrt (sqrt (sqrt 2.0))) (* (sqrt (sqrt 2.0)) (fabs x)))
  (* (sqrt (cbrt (sqrt 2.0))) (* (sqrt (sqrt 2.0)) (fabs x)))
  (* (sqrt (sqrt (cbrt 2.0))) (* (sqrt (sqrt 2.0)) (fabs x)))
  (* (sqrt (sqrt (sqrt 2.0))) (* (sqrt (sqrt 2.0)) (fabs x)))
  (* (sqrt 2.0) (fabs x))
  (* (sqrt (sqrt (sqrt 2.0))) (* (sqrt (sqrt 2.0)) (fabs x)))
  (* (sqrt 2.0) (fabs x))
  (* (sqrt (sqrt (sqrt 2.0))) (* (sqrt (sqrt 2.0)) (fabs x)))
  (* (sqrt 2.0) (fabs x))
  (* (sqrt (sqrt 2.0)) (fabs x))
  (+ (log (sqrt (sqrt 2.0))) (log (fabs x)))
  (log (* (sqrt (sqrt 2.0)) (fabs x)))
  (exp (* (sqrt (sqrt 2.0)) (fabs x)))
  (pow (* (sqrt (sqrt 2.0)) (fabs x)) 3)
  (* (cbrt (* (sqrt (sqrt 2.0)) (fabs x))) (cbrt (* (sqrt (sqrt 2.0)) (fabs x))))
  (cbrt (* (sqrt (sqrt 2.0)) (fabs x)))
  (pow (* (sqrt (sqrt 2.0)) (fabs x)) 3)
  (sqrt (* (sqrt (sqrt 2.0)) (fabs x)))
  (sqrt (* (sqrt (sqrt 2.0)) (fabs x)))
  (* (sqrt (sqrt (sqrt 2.0))) (sqrt (fabs x)))
  (* (sqrt (sqrt (sqrt 2.0))) (sqrt (fabs x)))
  (* (sqrt (sqrt (sqrt 2.0))) (sqrt (fabs x)))
  (* (sqrt (sqrt (sqrt 2.0))) (sqrt (fabs x)))
  (* (sqrt (sqrt (sqrt 2.0))) (sqrt (fabs x)))
  (* (sqrt (sqrt (sqrt 2.0))) (sqrt (fabs x)))
  (* (sqrt (sqrt 2.0)) (* (cbrt (fabs x)) (cbrt (fabs x))))
  (* (sqrt (sqrt 2.0)) (sqrt (fabs x)))
  (sqrt (sqrt 2.0))
  (* (cbrt (sqrt (sqrt 2.0))) (fabs x))
  (* (sqrt (cbrt (sqrt 2.0))) (fabs x))
  (* (sqrt (sqrt (cbrt 2.0))) (fabs x))
  (* (sqrt (sqrt (sqrt 2.0))) (fabs x))
  (* (sqrt (sqrt 2.0)) (fabs x))
  (* (sqrt (sqrt (sqrt 2.0))) (fabs x))
  (* (sqrt (sqrt 2.0)) (fabs x))
  (* (sqrt (sqrt (sqrt 2.0))) (fabs x))
  (* (sqrt (sqrt 2.0)) (fabs x))
  (* (sqrt 2.0) (fabs x))
  (* (sqrt 2.0) (fabs x))
  (* (sqrt 2.0) (fabs x))
  (* (sqrt (sqrt 2.0)) (fabs x))
  (* (sqrt (sqrt 2.0)) (fabs x))
  (* (sqrt (sqrt 2.0)) (fabs x))
145.335 * * * [progress]: adding candidates to table
145.424 * [progress]: [Phase 3 of 3] Extracting.
145.425 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (* (* (sqrt (sqrt 2.0)) (sqrt (fabs x))) (* (sqrt (sqrt 2.0)) (sqrt (fabs x)))))> #<alt (λ (x) (* (* (sqrt 2.0) (sqrt (fabs x))) (sqrt (fabs x))))> #<alt (λ (x) (* (sqrt 2.0) (fabs x)))> #<alt (λ (x) (* (sqrt (sqrt (sqrt 2.0))) (* (sqrt (sqrt (sqrt 2.0))) (* (sqrt (sqrt 2.0)) (fabs x)))))> #<alt (λ (x) (pow (* 2.0 (* x x)) 1/2))> #<alt (λ (x) (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (fabs x))))>)
145.426 * * * [regime-changes]: Trying 3 branch expressions: ((* x x) (* 2.0 (* x x)) x)
145.426 * * * * [regimes]: Trying to branch on (* x x) from (#<alt (λ (x) (* (* (sqrt (sqrt 2.0)) (sqrt (fabs x))) (* (sqrt (sqrt 2.0)) (sqrt (fabs x)))))> #<alt (λ (x) (* (* (sqrt 2.0) (sqrt (fabs x))) (sqrt (fabs x))))> #<alt (λ (x) (* (sqrt 2.0) (fabs x)))> #<alt (λ (x) (* (sqrt (sqrt (sqrt 2.0))) (* (sqrt (sqrt (sqrt 2.0))) (* (sqrt (sqrt 2.0)) (fabs x)))))> #<alt (λ (x) (pow (* 2.0 (* x x)) 1/2))> #<alt (λ (x) (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (fabs x))))>)
145.470 * * * * [regimes]: Trying to branch on (* 2.0 (* x x)) from (#<alt (λ (x) (* (* (sqrt (sqrt 2.0)) (sqrt (fabs x))) (* (sqrt (sqrt 2.0)) (sqrt (fabs x)))))> #<alt (λ (x) (* (* (sqrt 2.0) (sqrt (fabs x))) (sqrt (fabs x))))> #<alt (λ (x) (* (sqrt 2.0) (fabs x)))> #<alt (λ (x) (* (sqrt (sqrt (sqrt 2.0))) (* (sqrt (sqrt (sqrt 2.0))) (* (sqrt (sqrt 2.0)) (fabs x)))))> #<alt (λ (x) (pow (* 2.0 (* x x)) 1/2))> #<alt (λ (x) (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (fabs x))))>)
145.509 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (* (* (sqrt (sqrt 2.0)) (sqrt (fabs x))) (* (sqrt (sqrt 2.0)) (sqrt (fabs x)))))> #<alt (λ (x) (* (* (sqrt 2.0) (sqrt (fabs x))) (sqrt (fabs x))))> #<alt (λ (x) (* (sqrt 2.0) (fabs x)))> #<alt (λ (x) (* (sqrt (sqrt (sqrt 2.0))) (* (sqrt (sqrt (sqrt 2.0))) (* (sqrt (sqrt 2.0)) (fabs x)))))> #<alt (λ (x) (pow (* 2.0 (* x x)) 1/2))> #<alt (λ (x) (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (fabs x))))>)
145.552 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
145.553 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (sqrt (sqrt (sqrt 2.0))) (* (sqrt (sqrt (sqrt 2.0))) (* (sqrt (sqrt 2.0)) (fabs x))))
145.553 * * [simplify]: iteration  0 :  9  enodes  (cost  16 )
145.554 * * [simplify]: iteration  1 :  12  enodes  (cost  16 )
145.554 * * [simplify]: iteration  done :  12  enodes  (cost  16 )
145.554 * [simplify]: Simplified to:
   (* (sqrt (sqrt (sqrt 2.0))) (* (sqrt (sqrt (sqrt 2.0))) (* (sqrt (sqrt 2.0)) (fabs x))))
146.682 * [regime-testing]: End program error score: 0.362040744158134