0.745 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.327 * * * [progress]: [2/2] Setting up program.
0.334 * [progress]: [Phase 2 of 3] Improving.
0.337 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5)
0.342 * * [simplify]: iteration  0 :  34  enodes  (cost  10 )
0.343 * * [simplify]: iteration  1 :  71  enodes  (cost  10 )
0.345 * * [simplify]: iteration  2 :  154  enodes  (cost  10 )
0.348 * * [simplify]: iteration  3 :  469  enodes  (cost  10 )
0.358 * * [simplify]: iteration  4 :  1812  enodes  (cost  10 )
0.398 * * [simplify]: iteration  5 :  5001  enodes  (cost  10 )
0.401 * [simplify]: Simplified to:
  (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5)
0.403 * * [progress]: iteration 1 / 4
0.403 * * * [progress]: picking best candidate
0.408 * * * * [pick]: Picked  #<alt (λ (u1 u2) (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5))>
0.409 * * * [progress]: localizing error
0.448 * * * [progress]: generating rewritten candidates
0.449 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
0.459 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1)
0.465 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
0.468 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.482 * * * [progress]: generating series expansions
0.482 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
0.487 * [approximate]: Approximating (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) in (u1) around 0
0.732 * [approximate]: Approximating (* 0.16666666666666666 (pow (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) 0.5)) in (u1) around 0
1.006 * [approximate]: Approximating (* 0.16666666666666666 (pow (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) 0.5)) in (u1) around 0
1.305 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1)
1.305 * [approximate]: Approximating (* 2.0 (* u2 PI)) in (u2) around 0
1.321 * [approximate]: Approximating (* 2.0 (/ PI u2)) in (u2) around 0
1.333 * [approximate]: Approximating (* -2.0 (/ PI u2)) in (u2) around 0
1.351 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
1.351 * [approximate]: Approximating (pow (* -2.0 (log u1)) 0.5) in (u1) around 0
1.440 * [approximate]: Approximating (pow (* -2.0 (log (/ 1 u1))) 0.5) in (u1) around 0
1.532 * [approximate]: Approximating (pow (* -2.0 (log (/ -1 u1))) 0.5) in (u1) around 0
1.649 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1.651 * [approximate]: Approximating (+ (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) 0.5) in (u1 u2) around 0
1.678 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) 0.5) in u2
1.703 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) 0.5) in u2
1.735 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) 0.5) in u2
1.793 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) 0.5) in u2
1.870 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) 0.5) in u2
1.873 * [approximate]: Approximating (+ (* 0.16666666666666666 (* (pow (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) 0.5) (cos (* 2.0 (/ PI u2))))) 0.5) in (u1 u2) around 0
1.897 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (* (pow (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) 0.5) (cos (* 2.0 (/ PI u2))))) 0.5) in u2
1.933 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (* (pow (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) 0.5) (cos (* 2.0 (/ PI u2))))) 0.5) in u2
1.974 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (* (pow (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) 0.5) (cos (* 2.0 (/ PI u2))))) 0.5) in u2
2.036 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (* (pow (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) 0.5) (cos (* 2.0 (/ PI u2))))) 0.5) in u2
2.038 * [approximate]: Approximating (+ (* 0.16666666666666666 (* (pow (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) 0.5) (cos (* -2.0 (/ PI u2))))) 0.5) in (u1 u2) around 0
2.065 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (* (pow (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) 0.5) (cos (* -2.0 (/ PI u2))))) 0.5) in u2
2.101 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (* (pow (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) 0.5) (cos (* -2.0 (/ PI u2))))) 0.5) in u2
2.142 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (* (pow (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) 0.5) (cos (* -2.0 (/ PI u2))))) 0.5) in u2
2.206 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (* (pow (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) 0.5) (cos (* -2.0 (/ PI u2))))) 0.5) in u2
2.207 * * * [progress]: simplifying candidates
2.209 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (+ (- (log 1.0) (log 6.0)) (* (+ (log -2.0) (log (log u1))) 0.5))
  (+ (- (log 1.0) (log 6.0)) (* (log (* -2.0 (log u1))) 0.5))
  (+ (- (log 1.0) (log 6.0)) (* (log (* -2.0 (log u1))) 0.5))
  (+ (- (log 1.0) (log 6.0)) (log (pow (* -2.0 (log u1)) 0.5)))
  (+ (log (/ 1.0 6.0)) (* (+ (log -2.0) (log (log u1))) 0.5))
  (+ (log (/ 1.0 6.0)) (* (log (* -2.0 (log u1))) 0.5))
  (+ (log (/ 1.0 6.0)) (* (log (* -2.0 (log u1))) 0.5))
  (+ (log (/ 1.0 6.0)) (log (pow (* -2.0 (log u1)) 0.5)))
  (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (exp (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 6.0 6.0) 6.0)) (* (* (pow (* -2.0 (log u1)) 0.5) (pow (* -2.0 (log u1)) 0.5)) (pow (* -2.0 (log u1)) 0.5)))
  (* (* (* (/ 1.0 6.0) (/ 1.0 6.0)) (/ 1.0 6.0)) (* (* (pow (* -2.0 (log u1)) 0.5) (pow (* -2.0 (log u1)) 0.5)) (pow (* -2.0 (log u1)) 0.5)))
  (* (cbrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))) (cbrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))))
  (cbrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (* (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))) (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (sqrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (sqrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ 1.0 6.0)) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ 1.0 6.0)) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (/ (sqrt 1.0) (sqrt 6.0)) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (* (/ (sqrt 1.0) (sqrt 6.0)) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (* (/ (sqrt 1.0) (sqrt 6.0)) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (/ (sqrt 1.0) (sqrt 6.0)) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (/ 1.0 6.0) (pow -2.0 0.5))
  (* (/ 1.0 6.0) (* (cbrt (pow (* -2.0 (log u1)) 0.5)) (cbrt (pow (* -2.0 (log u1)) 0.5))))
  (* (/ 1.0 6.0) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (* (/ 1.0 6.0) 1)
  (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (cbrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ (cbrt 1.0) (cbrt 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ (cbrt 1.0) (sqrt 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ (cbrt 1.0) 6.0) (pow (* -2.0 (log u1)) 0.5))
  (* (/ (sqrt 1.0) (cbrt 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ (sqrt 1.0) (sqrt 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ (sqrt 1.0) 6.0) (pow (* -2.0 (log u1)) 0.5))
  (* (/ 1.0 (cbrt 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ 1.0 (sqrt 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))
  (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))
  (* (/ 1 6.0) (pow (* -2.0 (log u1)) 0.5))
  (* 1.0 (pow (* -2.0 (log u1)) 0.5))
  (* (* 2.0 PI) u2)
  (* (* 2.0 PI) u2)
  (+ (+ (log 2.0) (log PI)) (log u2))
  (+ (log (* 2.0 PI)) (log u2))
  (log (* (* 2.0 PI) u2))
  (exp (* (* 2.0 PI) u2))
  (* (* (* (* 2.0 2.0) 2.0) (* (* PI PI) PI)) (* (* u2 u2) u2))
  (* (* (* (* 2.0 PI) (* 2.0 PI)) (* 2.0 PI)) (* (* u2 u2) u2))
  (* (cbrt (* (* 2.0 PI) u2)) (cbrt (* (* 2.0 PI) u2)))
  (cbrt (* (* 2.0 PI) u2))
  (* (* (* (* 2.0 PI) u2) (* (* 2.0 PI) u2)) (* (* 2.0 PI) u2))
  (sqrt (* (* 2.0 PI) u2))
  (sqrt (* (* 2.0 PI) u2))
  (* (* 2.0 PI) (* (cbrt u2) (cbrt u2)))
  (* (* 2.0 PI) (sqrt u2))
  (* (* 2.0 PI) 1)
  (* PI u2)
  (* (+ (log -2.0) (log (log u1))) 0.5)
  (* (log (* -2.0 (log u1))) 0.5)
  (* (log (* -2.0 (log u1))) 0.5)
  (* 1 0.5)
  (* 1 0.5)
  (pow (* -2.0 (log u1)) (* (cbrt 0.5) (cbrt 0.5)))
  (pow (* -2.0 (log u1)) (sqrt 0.5))
  (pow (* -2.0 (log u1)) 1)
  (pow -2.0 0.5)
  (pow (log u1) 0.5)
  (log (pow (* -2.0 (log u1)) 0.5))
  (exp (pow (* -2.0 (log u1)) 0.5))
  (* (cbrt (pow (* -2.0 (log u1)) 0.5)) (cbrt (pow (* -2.0 (log u1)) 0.5)))
  (cbrt (pow (* -2.0 (log u1)) 0.5))
  (* (* (pow (* -2.0 (log u1)) 0.5) (pow (* -2.0 (log u1)) 0.5)) (pow (* -2.0 (log u1)) 0.5))
  (sqrt (pow (* -2.0 (log u1)) 0.5))
  (sqrt (pow (* -2.0 (log u1)) 0.5))
  (pow (* -2.0 (log u1)) (/ 0.5 2))
  (pow (* -2.0 (log u1)) (/ 0.5 2))
  (* (exp (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2)))) (exp 0.5))
  (log (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5))
  (exp (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5))
  (* (cbrt (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5)) (cbrt (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5)))
  (cbrt (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5))
  (* (* (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5) (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5)) (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5))
  (sqrt (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5))
  (sqrt (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5))
  (+ (pow (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 3) (pow 0.5 3))
  (+ (* (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2)))) (- (* 0.5 0.5) (* (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5)))
  (- (* (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2)))) (* 0.5 0.5))
  (- (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5)
  (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))
  (* 0.16666666666666666 (pow (* (pow -1 1.0) (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0))) 0.5))
  (* 0.16666666666666666 (pow (* (pow -2.0 1.0) (pow (- (log -1) (log (/ -1 u1))) 1.0)) 0.5))
  (* 2.0 (* u2 PI))
  (* 2.0 (* u2 PI))
  (* 2.0 (* u2 PI))
  (pow (* -2.0 (log u1)) 0.5)
  (pow (* 2.0 (log (/ 1 u1))) 0.5)
  (pow (* -2.0 (- (log -1) (log (/ -1 u1)))) 0.5)
  (- (+ (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) 0.5) (* 0.3333333333333333 (* (* (pow u2 2) (pow PI 2)) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))))
  (+ (* 0.16666666666666666 (* (pow (* (pow -1 1.0) (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0))) 0.5) (cos (* 2.0 (* u2 PI))))) 0.5)
  (+ (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow -2.0 1.0) (pow (- (log -1) (log (/ -1 u1))) 1.0)) 0.5))) 0.5)
2.215 * * [simplify]: iteration  0 :  507  enodes  (cost  728 )
2.224 * * [simplify]: iteration  1 :  2155  enodes  (cost  656 )
2.264 * * [simplify]: iteration  2 :  5001  enodes  (cost  656 )
2.268 * [simplify]: Simplified to:
  (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (exp (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)
  (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)
  (* (cbrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))) (cbrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))))
  (cbrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)
  (sqrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (sqrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ 1.0 6.0)) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ 1.0 6.0)) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (/ (sqrt 1.0) (sqrt 6.0)) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (* (/ (sqrt 1.0) (sqrt 6.0)) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (* (/ (sqrt 1.0) (sqrt 6.0)) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (/ (sqrt 1.0) (sqrt 6.0)) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (/ 1.0 6.0) (pow -2.0 0.5))
  (* (/ 1.0 6.0) (* (cbrt (pow (* -2.0 (log u1)) 0.5)) (cbrt (pow (* -2.0 (log u1)) 0.5))))
  (* (/ 1.0 6.0) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (/ 1.0 6.0)
  (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (cbrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ (cbrt 1.0) (cbrt 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ (cbrt 1.0) (sqrt 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ (cbrt 1.0) 6.0) (pow (* -2.0 (log u1)) 0.5))
  (* (/ (sqrt 1.0) (cbrt 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ (sqrt 1.0) (sqrt 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ (sqrt 1.0) 6.0) (pow (* -2.0 (log u1)) 0.5))
  (* (/ 1.0 (cbrt 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ 1.0 (sqrt 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))
  (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))
  (/ (pow (* -2.0 (log u1)) 0.5) 6.0)
  (* 1.0 (pow (* -2.0 (log u1)) 0.5))
  (* 2.0 (* u2 PI))
  (* 2.0 (* u2 PI))
  (log (* (* 2.0 PI) u2))
  (log (* (* 2.0 PI) u2))
  (log (* (* 2.0 PI) u2))
  (exp (* (* 2.0 PI) u2))
  (pow (* 2.0 (* u2 PI)) 3)
  (pow (* 2.0 (* u2 PI)) 3)
  (* (cbrt (* (* 2.0 PI) u2)) (cbrt (* (* 2.0 PI) u2)))
  (cbrt (* (* 2.0 PI) u2))
  (pow (* 2.0 (* u2 PI)) 3)
  (sqrt (* (* 2.0 PI) u2))
  (sqrt (* (* 2.0 PI) u2))
  (* (* 2.0 PI) (* (cbrt u2) (cbrt u2)))
  (* (* 2.0 PI) (sqrt u2))
  (* 2.0 PI)
  (* PI u2)
  (log (pow (* -2.0 (log u1)) 0.5))
  (log (pow (* -2.0 (log u1)) 0.5))
  (log (pow (* -2.0 (log u1)) 0.5))
  0.5
  0.5
  (pow (* -2.0 (log u1)) (* (cbrt 0.5) (cbrt 0.5)))
  (pow (* -2.0 (log u1)) (sqrt 0.5))
  (* -2.0 (log u1))
  (pow -2.0 0.5)
  (pow (log u1) 0.5)
  (log (pow (* -2.0 (log u1)) 0.5))
  (exp (pow (* -2.0 (log u1)) 0.5))
  (* (cbrt (pow (* -2.0 (log u1)) 0.5)) (cbrt (pow (* -2.0 (log u1)) 0.5)))
  (cbrt (pow (* -2.0 (log u1)) 0.5))
  (pow (pow (* -2.0 (log u1)) 0.5) 3)
  (sqrt (pow (* -2.0 (log u1)) 0.5))
  (sqrt (pow (* -2.0 (log u1)) 0.5))
  (pow (* -2.0 (log u1)) (/ 0.5 2))
  (pow (* -2.0 (log u1)) (/ 0.5 2))
  (exp (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5))
  (log (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5))
  (exp (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5))
  (* (cbrt (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5)) (cbrt (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5)))
  (cbrt (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5))
  (pow (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5) 3)
  (sqrt (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5))
  (sqrt (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5))
  (+ (pow (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 3) (pow 0.5 3))
  (- (* 0.5 0.5) (- (* (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5) (* (* (/ (* 1.0 1.0) (* 6.0 6.0)) (pow (* -2.0 (log u1)) (* 2 0.5))) (* (cos (* 2.0 (* u2 PI))) (cos (* 2.0 (* u2 PI)))))))
  (+ (neg (* 0.5 0.5)) (* (* (/ (* 1.0 1.0) (* 6.0 6.0)) (pow (* -2.0 (log u1)) (* 2 0.5))) (* (cos (* 2.0 (* u2 PI))) (cos (* 2.0 (* u2 PI))))))
  (- (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5)
  (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))
  (* 0.16666666666666666 (pow (* (pow -1 1.0) (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0))) 0.5))
  (* 0.16666666666666666 (pow (* (pow -2.0 1.0) (pow (- (log -1) (log (/ -1 u1))) 1.0)) 0.5))
  (* 2.0 (* u2 PI))
  (* 2.0 (* u2 PI))
  (* 2.0 (* u2 PI))
  (pow (* -2.0 (log u1)) 0.5)
  (pow (* 2.0 (log (/ 1 u1))) 0.5)
  (pow (* -2.0 (- (log -1) (log (/ -1 u1)))) 0.5)
  (- (+ (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) 0.5) (* 0.3333333333333333 (* (* (pow u2 2) (pow PI 2)) (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))))
  (+ (* 0.16666666666666666 (* (pow (* (pow -1 1.0) (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0))) 0.5) (cos (* 2.0 (* u2 PI))))) 0.5)
  (+ (* 0.16666666666666666 (* (cos (* 2.0 (* u2 PI))) (pow (* (pow -2.0 1.0) (pow (- (log -1) (log (/ -1 u1))) 1.0)) 0.5))) 0.5)
2.268 * * * [progress]: adding candidates to table
2.828 * * [progress]: iteration 2 / 4
2.828 * * * [progress]: picking best candidate
2.879 * * * * [pick]: Picked  #<alt (λ (u1 u2) (+ (* (* (sqrt (/ 1.0 6.0)) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))) (cos (* (* 2.0 PI) u2))) 0.5))>
2.879 * * * [progress]: localizing error
2.902 * * * [progress]: generating rewritten candidates
2.902 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
2.911 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1)
2.916 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
2.927 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2)
2.935 * * * [progress]: generating series expansions
2.935 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
2.936 * [approximate]: Approximating (* (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5) (sqrt 0.16666666666666666)) in (u1) around 0
3.182 * [approximate]: Approximating (* (pow (* (pow (log (/ 1 u1)) 1.0) (pow -2.0 1.0)) 0.5) (sqrt 0.16666666666666666)) in (u1) around 0
3.460 * [approximate]: Approximating (* (pow (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) 0.5) (sqrt 0.16666666666666666)) in (u1) around 0
3.766 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1)
3.766 * [approximate]: Approximating (* 2.0 (* u2 PI)) in (u2) around 0
3.781 * [approximate]: Approximating (* 2.0 (/ PI u2)) in (u2) around 0
3.793 * [approximate]: Approximating (* -2.0 (/ PI u2)) in (u2) around 0
3.804 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
3.806 * [approximate]: Approximating (* (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5) (pow (sqrt 0.16666666666666666) 2)) in (u1) around 0
4.062 * [approximate]: Approximating (* (pow (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) 0.5) (pow (sqrt 0.16666666666666666) 2)) in (u1) around 0
4.354 * [approximate]: Approximating (* (pow (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) 0.5) (pow (sqrt 0.16666666666666666) 2)) in (u1) around 0
4.665 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2)
4.666 * [approximate]: Approximating (pow (* -2.0 (log u1)) 0.5) in (u1) around 0
4.755 * [approximate]: Approximating (pow (* -2.0 (log (/ 1 u1))) 0.5) in (u1) around 0
4.848 * [approximate]: Approximating (pow (* -2.0 (log (/ -1 u1))) 0.5) in (u1) around 0
4.971 * * * [progress]: simplifying candidates
4.973 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (+ (log (sqrt (/ 1.0 6.0))) (* (+ (log -2.0) (log (log u1))) 0.5))
  (+ (log (sqrt (/ 1.0 6.0))) (* (log (* -2.0 (log u1))) 0.5))
  (+ (log (sqrt (/ 1.0 6.0))) (* (log (* -2.0 (log u1))) 0.5))
  (+ (log (sqrt (/ 1.0 6.0))) (log (pow (* -2.0 (log u1)) 0.5)))
  (log (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (exp (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (* (* (* (sqrt (/ 1.0 6.0)) (sqrt (/ 1.0 6.0))) (sqrt (/ 1.0 6.0))) (* (* (pow (* -2.0 (log u1)) 0.5) (pow (* -2.0 (log u1)) 0.5)) (pow (* -2.0 (log u1)) 0.5)))
  (* (cbrt (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))) (cbrt (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))))
  (cbrt (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (* (* (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (sqrt (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (sqrt (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (sqrt (/ 1.0 6.0))) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (sqrt (/ 1.0 6.0))) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (sqrt (/ 1.0 6.0))) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (sqrt (sqrt (/ 1.0 6.0))) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (sqrt (/ (sqrt 1.0) (sqrt 6.0))) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ (sqrt 1.0) (sqrt 6.0))) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ (sqrt 1.0) (sqrt 6.0))) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (sqrt (/ (sqrt 1.0) (sqrt 6.0))) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (sqrt (sqrt (/ 1.0 6.0))) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (sqrt (/ 1.0 6.0))) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (sqrt (/ 1.0 6.0))) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (sqrt (sqrt (/ 1.0 6.0))) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (sqrt (/ 1.0 6.0)) (pow -2.0 0.5))
  (* (sqrt (/ 1.0 6.0)) (* (cbrt (pow (* -2.0 (log u1)) 0.5)) (cbrt (pow (* -2.0 (log u1)) 0.5))))
  (* (sqrt (/ 1.0 6.0)) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ 1.0 6.0)) 1)
  (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (cbrt (sqrt (/ 1.0 6.0))) (pow (* -2.0 (log u1)) 0.5))
  (* (sqrt (cbrt (/ 1.0 6.0))) (pow (* -2.0 (log u1)) 0.5))
  (* (sqrt (sqrt (/ 1.0 6.0))) (pow (* -2.0 (log u1)) 0.5))
  (* (sqrt (/ (cbrt 1.0) (cbrt 6.0))) (pow (* -2.0 (log u1)) 0.5))
  (* (sqrt (/ (cbrt 1.0) (sqrt 6.0))) (pow (* -2.0 (log u1)) 0.5))
  (* (sqrt (/ (cbrt 1.0) 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (sqrt (/ (sqrt 1.0) (cbrt 6.0))) (pow (* -2.0 (log u1)) 0.5))
  (* (sqrt (/ (sqrt 1.0) (sqrt 6.0))) (pow (* -2.0 (log u1)) 0.5))
  (* (sqrt (/ (sqrt 1.0) 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (sqrt (/ 1.0 (cbrt 6.0))) (pow (* -2.0 (log u1)) 0.5))
  (* (sqrt (/ 1.0 (sqrt 6.0))) (pow (* -2.0 (log u1)) 0.5))
  (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (sqrt (/ 1 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (sqrt (sqrt (/ 1.0 6.0))) (pow (* -2.0 (log u1)) 0.5))
  (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (sqrt 1.0) (pow (* -2.0 (log u1)) 0.5))
  (* (* 2.0 PI) u2)
  (* (* 2.0 PI) u2)
  (+ (+ (log 2.0) (log PI)) (log u2))
  (+ (log (* 2.0 PI)) (log u2))
  (log (* (* 2.0 PI) u2))
  (exp (* (* 2.0 PI) u2))
  (* (* (* (* 2.0 2.0) 2.0) (* (* PI PI) PI)) (* (* u2 u2) u2))
  (* (* (* (* 2.0 PI) (* 2.0 PI)) (* 2.0 PI)) (* (* u2 u2) u2))
  (* (cbrt (* (* 2.0 PI) u2)) (cbrt (* (* 2.0 PI) u2)))
  (cbrt (* (* 2.0 PI) u2))
  (* (* (* (* 2.0 PI) u2) (* (* 2.0 PI) u2)) (* (* 2.0 PI) u2))
  (sqrt (* (* 2.0 PI) u2))
  (sqrt (* (* 2.0 PI) u2))
  (* (* 2.0 PI) (* (cbrt u2) (cbrt u2)))
  (* (* 2.0 PI) (sqrt u2))
  (* (* 2.0 PI) 1)
  (* PI u2)
  (* (sqrt (/ 1.0 6.0)) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (+ (log (sqrt (/ 1.0 6.0))) (+ (log (sqrt (/ 1.0 6.0))) (* (+ (log -2.0) (log (log u1))) 0.5)))
  (+ (log (sqrt (/ 1.0 6.0))) (+ (log (sqrt (/ 1.0 6.0))) (* (log (* -2.0 (log u1))) 0.5)))
  (+ (log (sqrt (/ 1.0 6.0))) (+ (log (sqrt (/ 1.0 6.0))) (* (log (* -2.0 (log u1))) 0.5)))
  (+ (log (sqrt (/ 1.0 6.0))) (+ (log (sqrt (/ 1.0 6.0))) (log (pow (* -2.0 (log u1)) 0.5))))
  (+ (log (sqrt (/ 1.0 6.0))) (log (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))))
  (log (* (sqrt (/ 1.0 6.0)) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))))
  (exp (* (sqrt (/ 1.0 6.0)) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))))
  (* (* (* (sqrt (/ 1.0 6.0)) (sqrt (/ 1.0 6.0))) (sqrt (/ 1.0 6.0))) (* (* (* (sqrt (/ 1.0 6.0)) (sqrt (/ 1.0 6.0))) (sqrt (/ 1.0 6.0))) (* (* (pow (* -2.0 (log u1)) 0.5) (pow (* -2.0 (log u1)) 0.5)) (pow (* -2.0 (log u1)) 0.5))))
  (* (* (* (sqrt (/ 1.0 6.0)) (sqrt (/ 1.0 6.0))) (sqrt (/ 1.0 6.0))) (* (* (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))))
  (* (cbrt (* (sqrt (/ 1.0 6.0)) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))) (cbrt (* (sqrt (/ 1.0 6.0)) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))))
  (cbrt (* (sqrt (/ 1.0 6.0)) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))))
  (* (* (* (sqrt (/ 1.0 6.0)) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))) (* (sqrt (/ 1.0 6.0)) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))) (* (sqrt (/ 1.0 6.0)) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))))
  (sqrt (* (sqrt (/ 1.0 6.0)) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))))
  (sqrt (* (sqrt (/ 1.0 6.0)) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))))
  (* (sqrt 1.0) (* (sqrt 1.0) (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt 6.0) (sqrt 6.0))
  (* (sqrt (/ 1.0 6.0)) (sqrt (/ 1.0 6.0)))
  (* (cbrt (sqrt (/ 1.0 6.0))) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (cbrt (/ 1.0 6.0))) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (sqrt (/ 1.0 6.0))) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ (cbrt 1.0) (cbrt 6.0))) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ (cbrt 1.0) (sqrt 6.0))) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ (cbrt 1.0) 6.0)) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ (sqrt 1.0) (cbrt 6.0))) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ (sqrt 1.0) (sqrt 6.0))) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ (sqrt 1.0) 6.0)) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ 1.0 (cbrt 6.0))) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ 1.0 (sqrt 6.0))) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ 1.0 6.0)) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ 1.0 6.0)) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ 1 6.0)) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (sqrt (/ 1.0 6.0))) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ 1.0 6.0)) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ 1.0 6.0)) (* (sqrt 1.0) (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt 1.0) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (* (+ (log -2.0) (log (log u1))) 0.5)
  (* (log (* -2.0 (log u1))) 0.5)
  (* (log (* -2.0 (log u1))) 0.5)
  (* 1 0.5)
  (* 1 0.5)
  (pow (* -2.0 (log u1)) (* (cbrt 0.5) (cbrt 0.5)))
  (pow (* -2.0 (log u1)) (sqrt 0.5))
  (pow (* -2.0 (log u1)) 1)
  (pow -2.0 0.5)
  (pow (log u1) 0.5)
  (log (pow (* -2.0 (log u1)) 0.5))
  (exp (pow (* -2.0 (log u1)) 0.5))
  (* (cbrt (pow (* -2.0 (log u1)) 0.5)) (cbrt (pow (* -2.0 (log u1)) 0.5)))
  (cbrt (pow (* -2.0 (log u1)) 0.5))
  (* (* (pow (* -2.0 (log u1)) 0.5) (pow (* -2.0 (log u1)) 0.5)) (pow (* -2.0 (log u1)) 0.5))
  (sqrt (pow (* -2.0 (log u1)) 0.5))
  (sqrt (pow (* -2.0 (log u1)) 0.5))
  (pow (* -2.0 (log u1)) (/ 0.5 2))
  (pow (* -2.0 (log u1)) (/ 0.5 2))
  (* (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5) (sqrt 0.16666666666666666))
  (* (pow (* (pow -1 1.0) (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0))) 0.5) (sqrt 0.16666666666666666))
  (* (pow (* (pow -2.0 1.0) (pow (- (log -1) (log (/ -1 u1))) 1.0)) 0.5) (sqrt 0.16666666666666666))
  (* 2.0 (* u2 PI))
  (* 2.0 (* u2 PI))
  (* 2.0 (* u2 PI))
  (* (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5) (pow (sqrt 0.16666666666666666) 2))
  (* (pow (* (pow -1 1.0) (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0))) 0.5) (pow (sqrt 0.16666666666666666) 2))
  (* (pow (* (pow -2.0 1.0) (pow (- (log -1) (log (/ -1 u1))) 1.0)) 0.5) (pow (sqrt 0.16666666666666666) 2))
  (pow (* -2.0 (log u1)) 0.5)
  (pow (* 2.0 (log (/ 1 u1))) 0.5)
  (pow (* -2.0 (- (log -1) (log (/ -1 u1)))) 0.5)
4.979 * * [simplify]: iteration  0 :  447  enodes  (cost  924 )
4.987 * * [simplify]: iteration  1 :  1791  enodes  (cost  827 )
5.019 * * [simplify]: iteration  2 :  5002  enodes  (cost  823 )
5.024 * [simplify]: Simplified to:
  (log (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (log (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (log (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (log (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (log (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (exp (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (pow (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)) 3)
  (* (cbrt (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))) (cbrt (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))))
  (cbrt (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (pow (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)) 3)
  (sqrt (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (sqrt (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (sqrt (/ 1.0 6.0))) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (sqrt (/ 1.0 6.0))) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (sqrt (/ 1.0 6.0))) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (sqrt (sqrt (/ 1.0 6.0))) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (sqrt (/ (sqrt 1.0) (sqrt 6.0))) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ (sqrt 1.0) (sqrt 6.0))) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ (sqrt 1.0) (sqrt 6.0))) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (sqrt (/ (sqrt 1.0) (sqrt 6.0))) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (sqrt (sqrt (/ 1.0 6.0))) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (sqrt (/ 1.0 6.0))) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (sqrt (/ 1.0 6.0))) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (sqrt (sqrt (/ 1.0 6.0))) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (sqrt (/ 1.0 6.0)) (pow -2.0 0.5))
  (* (sqrt (/ 1.0 6.0)) (* (cbrt (pow (* -2.0 (log u1)) 0.5)) (cbrt (pow (* -2.0 (log u1)) 0.5))))
  (* (sqrt (/ 1.0 6.0)) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (sqrt (/ 1.0 6.0))
  (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (cbrt (sqrt (/ 1.0 6.0))) (pow (* -2.0 (log u1)) 0.5))
  (* (sqrt (cbrt (/ 1.0 6.0))) (pow (* -2.0 (log u1)) 0.5))
  (* (sqrt (sqrt (/ 1.0 6.0))) (pow (* -2.0 (log u1)) 0.5))
  (* (sqrt (/ (cbrt 1.0) (cbrt 6.0))) (pow (* -2.0 (log u1)) 0.5))
  (* (sqrt (/ (cbrt 1.0) (sqrt 6.0))) (pow (* -2.0 (log u1)) 0.5))
  (* (sqrt (/ (cbrt 1.0) 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (sqrt (/ (sqrt 1.0) (cbrt 6.0))) (pow (* -2.0 (log u1)) 0.5))
  (* (sqrt (/ (sqrt 1.0) (sqrt 6.0))) (pow (* -2.0 (log u1)) 0.5))
  (* (sqrt (/ (sqrt 1.0) 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (sqrt (/ 1.0 (cbrt 6.0))) (pow (* -2.0 (log u1)) 0.5))
  (* (sqrt (/ 1.0 (sqrt 6.0))) (pow (* -2.0 (log u1)) 0.5))
  (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (sqrt (/ 1 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (sqrt (sqrt (/ 1.0 6.0))) (pow (* -2.0 (log u1)) 0.5))
  (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (sqrt 1.0) (pow (* -2.0 (log u1)) 0.5))
  (* 2.0 (* u2 PI))
  (* 2.0 (* u2 PI))
  (log (* (* 2.0 PI) u2))
  (log (* (* 2.0 PI) u2))
  (log (* (* 2.0 PI) u2))
  (exp (* (* 2.0 PI) u2))
  (pow (* 2.0 (* u2 PI)) 3)
  (pow (* 2.0 (* u2 PI)) 3)
  (* (cbrt (* (* 2.0 PI) u2)) (cbrt (* (* 2.0 PI) u2)))
  (cbrt (* (* 2.0 PI) u2))
  (pow (* 2.0 (* u2 PI)) 3)
  (sqrt (* (* 2.0 PI) u2))
  (sqrt (* (* 2.0 PI) u2))
  (* (* 2.0 PI) (* (cbrt u2) (cbrt u2)))
  (* (* 2.0 PI) (sqrt u2))
  (* 2.0 PI)
  (* PI u2)
  (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))
  (+ (log (/ 1.0 6.0)) (log (pow (* -2.0 (log u1)) 0.5)))
  (+ (log (/ 1.0 6.0)) (log (pow (* -2.0 (log u1)) 0.5)))
  (+ (log (/ 1.0 6.0)) (log (pow (* -2.0 (log u1)) 0.5)))
  (+ (log (/ 1.0 6.0)) (log (pow (* -2.0 (log u1)) 0.5)))
  (+ (log (/ 1.0 6.0)) (log (pow (* -2.0 (log u1)) 0.5)))
  (+ (log (/ 1.0 6.0)) (log (pow (* -2.0 (log u1)) 0.5)))
  (pow (exp (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)
  (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)
  (* (cbrt (* (sqrt (/ 1.0 6.0)) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))) (cbrt (* (sqrt (/ 1.0 6.0)) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))))
  (cbrt (* (sqrt (/ 1.0 6.0)) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))))
  (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)
  (fabs (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) (/ 0.5 2))))
  (fabs (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) (/ 0.5 2))))
  (* (pow (* -2.0 (log u1)) 0.5) 1.0)
  6.0
  (/ 1.0 6.0)
  (* (cbrt (sqrt (/ 1.0 6.0))) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (cbrt (/ 1.0 6.0))) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (sqrt (/ 1.0 6.0))) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ (cbrt 1.0) (cbrt 6.0))) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ (cbrt 1.0) (sqrt 6.0))) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ (cbrt 1.0) 6.0)) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ (sqrt 1.0) (cbrt 6.0))) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ (sqrt 1.0) (sqrt 6.0))) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ (sqrt 1.0) 6.0)) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ 1.0 (cbrt 6.0))) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ 1.0 (sqrt 6.0))) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))
  (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))
  (* (sqrt (/ 1 6.0)) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (sqrt (/ 1.0 6.0))) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
  (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))
  (* (sqrt (/ 1.0 6.0)) (* (sqrt 1.0) (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ 1.0 6.0)) (* (sqrt 1.0) (pow (* -2.0 (log u1)) 0.5)))
  (log (pow (* -2.0 (log u1)) 0.5))
  (log (pow (* -2.0 (log u1)) 0.5))
  (log (pow (* -2.0 (log u1)) 0.5))
  0.5
  0.5
  (pow (* -2.0 (log u1)) (* (cbrt 0.5) (cbrt 0.5)))
  (pow (* -2.0 (log u1)) (sqrt 0.5))
  (* -2.0 (log u1))
  (pow -2.0 0.5)
  (pow (log u1) 0.5)
  (log (pow (* -2.0 (log u1)) 0.5))
  (exp (pow (* -2.0 (log u1)) 0.5))
  (* (cbrt (pow (* -2.0 (log u1)) 0.5)) (cbrt (pow (* -2.0 (log u1)) 0.5)))
  (cbrt (pow (* -2.0 (log u1)) 0.5))
  (pow (pow (* -2.0 (log u1)) 0.5) 3)
  (sqrt (pow (* -2.0 (log u1)) 0.5))
  (sqrt (pow (* -2.0 (log u1)) 0.5))
  (pow (* -2.0 (log u1)) (/ 0.5 2))
  (pow (* -2.0 (log u1)) (/ 0.5 2))
  (* (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5) (sqrt 0.16666666666666666))
  (* (pow (* (pow -1 1.0) (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0))) 0.5) (sqrt 0.16666666666666666))
  (* (pow (* (pow -2.0 1.0) (pow (- (log -1) (log (/ -1 u1))) 1.0)) 0.5) (sqrt 0.16666666666666666))
  (* 2.0 (* u2 PI))
  (* 2.0 (* u2 PI))
  (* 2.0 (* u2 PI))
  (* (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5) (pow (sqrt 0.16666666666666666) 2))
  (* (pow (* (pow -1 1.0) (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0))) 0.5) (pow (sqrt 0.16666666666666666) 2))
  (* (pow (* (pow -2.0 1.0) (pow (- (log -1) (log (/ -1 u1))) 1.0)) 0.5) (pow (sqrt 0.16666666666666666) 2))
  (pow (* -2.0 (log u1)) 0.5)
  (pow (* 2.0 (log (/ 1 u1))) 0.5)
  (pow (* -2.0 (- (log -1) (log (/ -1 u1)))) 0.5)
5.024 * * * [progress]: adding candidates to table
5.952 * * [progress]: iteration 3 / 4
5.952 * * * [progress]: picking best candidate
5.988 * * * * [pick]: Picked  #<alt (λ (u1 u2) (+ (* (exp (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))) (cos (* (* 2.0 PI) u2))) 0.5))>
5.988 * * * [progress]: localizing error
6.012 * * * [progress]: generating rewritten candidates
6.013 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
6.021 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
6.026 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
6.031 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
6.038 * * * [progress]: generating series expansions
6.038 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
6.039 * [approximate]: Approximating (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) in (u1) around 0
6.279 * [approximate]: Approximating (* 0.16666666666666666 (pow (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) 0.5)) in (u1) around 0
6.556 * [approximate]: Approximating (* 0.16666666666666666 (pow (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) 0.5)) in (u1) around 0
6.851 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
6.851 * [approximate]: Approximating (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) in (u1) around 0
7.094 * [approximate]: Approximating (* 0.16666666666666666 (pow (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) 0.5)) in (u1) around 0
7.374 * [approximate]: Approximating (* 0.16666666666666666 (pow (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) 0.5)) in (u1) around 0
7.675 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
7.676 * [approximate]: Approximating (* 2.0 (* u2 PI)) in (u2) around 0
7.691 * [approximate]: Approximating (* 2.0 (/ PI u2)) in (u2) around 0
7.703 * [approximate]: Approximating (* -2.0 (/ PI u2)) in (u2) around 0
7.713 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
7.714 * [approximate]: Approximating (log (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))) in (u1) around 0
7.997 * [approximate]: Approximating (log (* 0.16666666666666666 (pow (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) 0.5))) in (u1) around 0
8.327 * [approximate]: Approximating (log (* 0.16666666666666666 (pow (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) 0.5))) in (u1) around 0
8.807 * * * [progress]: simplifying candidates
8.809 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (+ (- (log 1.0) (log 6.0)) (* (+ (log -2.0) (log (log u1))) 0.5))
  (+ (- (log 1.0) (log 6.0)) (* (log (* -2.0 (log u1))) 0.5))
  (+ (- (log 1.0) (log 6.0)) (* (log (* -2.0 (log u1))) 0.5))
  (+ (- (log 1.0) (log 6.0)) (log (pow (* -2.0 (log u1)) 0.5)))
  (+ (log (/ 1.0 6.0)) (* (+ (log -2.0) (log (log u1))) 0.5))
  (+ (log (/ 1.0 6.0)) (* (log (* -2.0 (log u1))) 0.5))
  (+ (log (/ 1.0 6.0)) (* (log (* -2.0 (log u1))) 0.5))
  (+ (log (/ 1.0 6.0)) (log (pow (* -2.0 (log u1)) 0.5)))
  (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (exp (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 6.0 6.0) 6.0)) (* (* (pow (* -2.0 (log u1)) 0.5) (pow (* -2.0 (log u1)) 0.5)) (pow (* -2.0 (log u1)) 0.5)))
  (* (* (* (/ 1.0 6.0) (/ 1.0 6.0)) (/ 1.0 6.0)) (* (* (pow (* -2.0 (log u1)) 0.5) (pow (* -2.0 (log u1)) 0.5)) (pow (* -2.0 (log u1)) 0.5)))
  (* (cbrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))) (cbrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))))
  (cbrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (* (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))) (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (sqrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (sqrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ 1.0 6.0)) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ 1.0 6.0)) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (/ (sqrt 1.0) (sqrt 6.0)) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (* (/ (sqrt 1.0) (sqrt 6.0)) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (* (/ (sqrt 1.0) (sqrt 6.0)) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (/ (sqrt 1.0) (sqrt 6.0)) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (/ 1.0 6.0) (pow -2.0 0.5))
  (* (/ 1.0 6.0) (* (cbrt (pow (* -2.0 (log u1)) 0.5)) (cbrt (pow (* -2.0 (log u1)) 0.5))))
  (* (/ 1.0 6.0) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (* (/ 1.0 6.0) 1)
  (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (cbrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ (cbrt 1.0) (cbrt 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ (cbrt 1.0) (sqrt 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ (cbrt 1.0) 6.0) (pow (* -2.0 (log u1)) 0.5))
  (* (/ (sqrt 1.0) (cbrt 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ (sqrt 1.0) (sqrt 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ (sqrt 1.0) 6.0) (pow (* -2.0 (log u1)) 0.5))
  (* (/ 1.0 (cbrt 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ 1.0 (sqrt 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))
  (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))
  (* (/ 1 6.0) (pow (* -2.0 (log u1)) 0.5))
  (* 1.0 (pow (* -2.0 (log u1)) 0.5))
  (exp 1)
  (exp (* (cbrt (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))) (cbrt (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))))))
  (exp (sqrt (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))))
  (exp 1)
  (exp (log (/ 1.0 6.0)))
  (exp (log (pow (* -2.0 (log u1)) 0.5)))
  (exp (log (* 1.0 (pow (* -2.0 (log u1)) 0.5))))
  (exp (log 6.0))
  (log (exp (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))))
  (exp (exp (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))))
  (* (cbrt (exp (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))))) (cbrt (exp (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))))))
  (cbrt (exp (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))))
  (* (* (exp (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))) (exp (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))))) (exp (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))))
  (sqrt (exp (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))))
  (sqrt (exp (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))))
  (* (* 2.0 PI) u2)
  (* (* 2.0 PI) u2)
  (+ (+ (log 2.0) (log PI)) (log u2))
  (+ (log (* 2.0 PI)) (log u2))
  (log (* (* 2.0 PI) u2))
  (exp (* (* 2.0 PI) u2))
  (* (* (* (* 2.0 2.0) 2.0) (* (* PI PI) PI)) (* (* u2 u2) u2))
  (* (* (* (* 2.0 PI) (* 2.0 PI)) (* 2.0 PI)) (* (* u2 u2) u2))
  (* (cbrt (* (* 2.0 PI) u2)) (cbrt (* (* 2.0 PI) u2)))
  (cbrt (* (* 2.0 PI) u2))
  (* (* (* (* 2.0 PI) u2) (* (* 2.0 PI) u2)) (* (* 2.0 PI) u2))
  (sqrt (* (* 2.0 PI) u2))
  (sqrt (* (* 2.0 PI) u2))
  (* (* 2.0 PI) (* (cbrt u2) (cbrt u2)))
  (* (* 2.0 PI) (sqrt u2))
  (* (* 2.0 PI) 1)
  (* PI u2)
  (log (/ 1.0 6.0))
  (log (pow (* -2.0 (log u1)) 0.5))
  (log (* 1.0 (pow (* -2.0 (log u1)) 0.5)))
  (log 6.0)
  (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (log (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))))
  (exp (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))))
  (* (cbrt (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))) (cbrt (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))))
  (cbrt (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))))
  (* (* (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))) (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))) (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))))
  (sqrt (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))))
  (sqrt (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))))
  (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))
  (* 0.16666666666666666 (pow (* (pow -1 1.0) (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0))) 0.5))
  (* 0.16666666666666666 (pow (* (pow -2.0 1.0) (pow (- (log -1) (log (/ -1 u1))) 1.0)) 0.5))
  (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))
  (* 0.16666666666666666 (pow (* (pow -1 1.0) (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0))) 0.5))
  (* 0.16666666666666666 (pow (* (pow -2.0 1.0) (pow (- (log -1) (log (/ -1 u1))) 1.0)) 0.5))
  (* 2.0 (* u2 PI))
  (* 2.0 (* u2 PI))
  (* 2.0 (* u2 PI))
  (log (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)))
  (log (* 0.16666666666666666 (pow (* (pow -1 1.0) (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0))) 0.5)))
  (log (* 0.16666666666666666 (pow (* (pow -2.0 1.0) (pow (- (log -1) (log (/ -1 u1))) 1.0)) 0.5)))
8.814 * * [simplify]: iteration  0 :  396  enodes  (cost  631 )
8.820 * * [simplify]: iteration  1 :  1598  enodes  (cost  565 )
8.847 * * [simplify]: iteration  2 :  5001  enodes  (cost  564 )
8.855 * [simplify]: Simplified to:
  (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (exp (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)
  (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)
  (* (cbrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))) (cbrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))))
  (cbrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)
  (sqrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (sqrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ 1.0 6.0)) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ 1.0 6.0)) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (/ (sqrt 1.0) (sqrt 6.0)) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (* (/ (sqrt 1.0) (sqrt 6.0)) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (* (/ (sqrt 1.0) (sqrt 6.0)) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (/ (sqrt 1.0) (sqrt 6.0)) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (/ 1.0 6.0) (pow -2.0 0.5))
  (* (/ 1.0 6.0) (* (cbrt (pow (* -2.0 (log u1)) 0.5)) (cbrt (pow (* -2.0 (log u1)) 0.5))))
  (* (/ 1.0 6.0) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (/ 1.0 6.0)
  (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (cbrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ (cbrt 1.0) (cbrt 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ (cbrt 1.0) (sqrt 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ (cbrt 1.0) 6.0) (pow (* -2.0 (log u1)) 0.5))
  (* (/ (sqrt 1.0) (cbrt 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ (sqrt 1.0) (sqrt 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ (sqrt 1.0) 6.0) (pow (* -2.0 (log u1)) 0.5))
  (* (/ 1.0 (cbrt 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ 1.0 (sqrt 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))
  (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))
  (/ (pow (* -2.0 (log u1)) 0.5) 6.0)
  (* 1.0 (pow (* -2.0 (log u1)) 0.5))
  E
  (exp (* (cbrt (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))) (cbrt (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))))))
  (exp (sqrt (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))))
  E
  (/ 1.0 6.0)
  (pow (* -2.0 (log u1)) 0.5)
  (* 1.0 (pow (* -2.0 (log u1)) 0.5))
  6.0
  (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (exp (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (* (cbrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))) (cbrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))))
  (cbrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)
  (sqrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (sqrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (* 2.0 (* u2 PI))
  (* 2.0 (* u2 PI))
  (log (* (* 2.0 PI) u2))
  (log (* (* 2.0 PI) u2))
  (log (* (* 2.0 PI) u2))
  (exp (* (* 2.0 PI) u2))
  (pow (* 2.0 (* u2 PI)) 3)
  (pow (* 2.0 (* u2 PI)) 3)
  (* (cbrt (* (* 2.0 PI) u2)) (cbrt (* (* 2.0 PI) u2)))
  (cbrt (* (* 2.0 PI) u2))
  (pow (* 2.0 (* u2 PI)) 3)
  (sqrt (* (* 2.0 PI) u2))
  (sqrt (* (* 2.0 PI) u2))
  (* (* 2.0 PI) (* (cbrt u2) (cbrt u2)))
  (* (* 2.0 PI) (sqrt u2))
  (* 2.0 PI)
  (* PI u2)
  (log (/ 1.0 6.0))
  (log (pow (* -2.0 (log u1)) 0.5))
  (log (* 1.0 (pow (* -2.0 (log u1)) 0.5)))
  (log 6.0)
  (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (log (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))))
  (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))
  (* (cbrt (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))) (cbrt (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))))
  (cbrt (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))))
  (pow (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))) 3)
  (sqrt (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))))
  (sqrt (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))))
  (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))
  (* 0.16666666666666666 (pow (* (pow -1 1.0) (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0))) 0.5))
  (* 0.16666666666666666 (pow (* (pow -2.0 1.0) (pow (- (log -1) (log (/ -1 u1))) 1.0)) 0.5))
  (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))
  (* 0.16666666666666666 (pow (* (pow -1 1.0) (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0))) 0.5))
  (* 0.16666666666666666 (pow (* (pow -2.0 1.0) (pow (- (log -1) (log (/ -1 u1))) 1.0)) 0.5))
  (* 2.0 (* u2 PI))
  (* 2.0 (* u2 PI))
  (* 2.0 (* u2 PI))
  (log (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)))
  (log (* 0.16666666666666666 (pow (* (pow -1 1.0) (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0))) 0.5)))
  (log (* 0.16666666666666666 (pow (* (pow -2.0 1.0) (pow (- (log -1) (log (/ -1 u1))) 1.0)) 0.5)))
8.856 * * * [progress]: adding candidates to table
9.541 * * [progress]: iteration 4 / 4
9.541 * * * [progress]: picking best candidate
9.576 * * * * [pick]: Picked  #<alt (λ (u1 u2) (+ (* (cbrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)) (cos (* (* 2.0 PI) u2))) 0.5))>
9.576 * * * [progress]: localizing error
9.597 * * * [progress]: generating rewritten candidates
9.597 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1)
9.605 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
9.608 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
9.616 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
9.624 * * * [progress]: generating series expansions
9.624 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1)
9.625 * [approximate]: Approximating (pow (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) 3) in (u1) around 0
9.894 * [approximate]: Approximating (pow (* 0.16666666666666666 (pow (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) 0.5)) 3) in (u1) around 0
10.211 * [approximate]: Approximating (pow (* 0.16666666666666666 (pow (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) 0.5)) 3) in (u1) around 0
10.546 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
10.547 * [approximate]: Approximating (* (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5) 0.16666666666666666) in (u1) around 0
10.785 * [approximate]: Approximating (* 0.16666666666666666 (pow (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) 0.5)) in (u1) around 0
11.068 * [approximate]: Approximating (* (pow (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) 0.5) 0.16666666666666666) in (u1) around 0
11.365 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
11.366 * [approximate]: Approximating (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5)) in (u1) around 0
11.607 * [approximate]: Approximating (* 0.16666666666666666 (pow (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)) 0.5)) in (u1) around 0
11.891 * [approximate]: Approximating (* 0.16666666666666666 (pow (* (pow (log (/ -1 u1)) 1.0) (pow -2.0 1.0)) 0.5)) in (u1) around 0
12.193 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
12.193 * [approximate]: Approximating (* 2.0 (* u2 PI)) in (u2) around 0
12.209 * [approximate]: Approximating (* 2.0 (/ PI u2)) in (u2) around 0
12.220 * [approximate]: Approximating (* -2.0 (/ PI u2)) in (u2) around 0
12.231 * * * [progress]: simplifying candidates
12.233 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* (+ (- (log 1.0) (log 6.0)) (* (+ (log -2.0) (log (log u1))) 0.5)) 3)
  (* (+ (- (log 1.0) (log 6.0)) (* (log (* -2.0 (log u1))) 0.5)) 3)
  (* (+ (- (log 1.0) (log 6.0)) (* (log (* -2.0 (log u1))) 0.5)) 3)
  (* (+ (- (log 1.0) (log 6.0)) (log (pow (* -2.0 (log u1)) 0.5))) 3)
  (* (+ (log (/ 1.0 6.0)) (* (+ (log -2.0) (log (log u1))) 0.5)) 3)
  (* (+ (log (/ 1.0 6.0)) (* (log (* -2.0 (log u1))) 0.5)) 3)
  (* (+ (log (/ 1.0 6.0)) (* (log (* -2.0 (log u1))) 0.5)) 3)
  (* (+ (log (/ 1.0 6.0)) (log (pow (* -2.0 (log u1)) 0.5))) 3)
  (* (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))) 3)
  (* (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))) 3)
  (* 1 3)
  (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (* (cbrt 3) (cbrt 3)))
  (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (sqrt 3))
  (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 1)
  (pow (/ 1.0 6.0) 3)
  (pow (pow (* -2.0 (log u1)) 0.5) 3)
  (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (log (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3))
  (exp (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3))
  (* (cbrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)) (cbrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)))
  (cbrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3))
  (* (* (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3) (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)) (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3))
  (pow (/ 1.0 6.0) 3)
  (pow (pow (* -2.0 (log u1)) 0.5) 3)
  (pow (* 1.0 (pow (* -2.0 (log u1)) 0.5)) 3)
  (pow 6.0 3)
  (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (sqrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3))
  (sqrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3))
  (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (/ 3 2))
  (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (/ 3 2))
  (log (cbrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)))
  (exp (cbrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)))
  (cbrt (pow (/ 1.0 6.0) 3))
  (cbrt (pow (pow (* -2.0 (log u1)) 0.5) 3))
  (cbrt (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))))
  (cbrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (cbrt (* (cbrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)) (cbrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3))))
  (cbrt (cbrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)))
  (cbrt (pow (/ 1.0 6.0) 3))
  (cbrt (pow (pow (* -2.0 (log u1)) 0.5) 3))
  (cbrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (cbrt (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))))
  (cbrt (sqrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)))
  (cbrt (sqrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)))
  (cbrt 1)
  (cbrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3))
  (cbrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (/ 3 2)))
  (cbrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (/ 3 2)))
  (cbrt (pow (* 1.0 (pow (* -2.0 (log u1)) 0.5)) 3))
  (cbrt (pow 6.0 3))
  (* (cbrt (cbrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3))) (cbrt (cbrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3))))
  (cbrt (cbrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)))
  (* (* (cbrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)) (cbrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3))) (cbrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)))
  (sqrt (cbrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)))
  (sqrt (cbrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)))
  (+ (- (log 1.0) (log 6.0)) (* (+ (log -2.0) (log (log u1))) 0.5))
  (+ (- (log 1.0) (log 6.0)) (* (log (* -2.0 (log u1))) 0.5))
  (+ (- (log 1.0) (log 6.0)) (* (log (* -2.0 (log u1))) 0.5))
  (+ (- (log 1.0) (log 6.0)) (log (pow (* -2.0 (log u1)) 0.5)))
  (+ (log (/ 1.0 6.0)) (* (+ (log -2.0) (log (log u1))) 0.5))
  (+ (log (/ 1.0 6.0)) (* (log (* -2.0 (log u1))) 0.5))
  (+ (log (/ 1.0 6.0)) (* (log (* -2.0 (log u1))) 0.5))
  (+ (log (/ 1.0 6.0)) (log (pow (* -2.0 (log u1)) 0.5)))
  (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (exp (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 6.0 6.0) 6.0)) (* (* (pow (* -2.0 (log u1)) 0.5) (pow (* -2.0 (log u1)) 0.5)) (pow (* -2.0 (log u1)) 0.5)))
  (* (* (* (/ 1.0 6.0) (/ 1.0 6.0)) (/ 1.0 6.0)) (* (* (pow (* -2.0 (log u1)) 0.5) (pow (* -2.0 (log u1)) 0.5)) (pow (* -2.0 (log u1)) 0.5)))
  (* (cbrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))) (cbrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))))
  (cbrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (* (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))) (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (sqrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (sqrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ 1.0 6.0)) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ 1.0 6.0)) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (/ (sqrt 1.0) (sqrt 6.0)) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (* (/ (sqrt 1.0) (sqrt 6.0)) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (* (/ (sqrt 1.0) (sqrt 6.0)) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (/ (sqrt 1.0) (sqrt 6.0)) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (/ 1.0 6.0) (pow -2.0 0.5))
  (* (/ 1.0 6.0) (* (cbrt (pow (* -2.0 (log u1)) 0.5)) (cbrt (pow (* -2.0 (log u1)) 0.5))))
  (* (/ 1.0 6.0) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (* (/ 1.0 6.0) 1)
  (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (cbrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ (cbrt 1.0) (cbrt 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ (cbrt 1.0) (sqrt 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ (cbrt 1.0) 6.0) (pow (* -2.0 (log u1)) 0.5))
  (* (/ (sqrt 1.0) (cbrt 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ (sqrt 1.0) (sqrt 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ (sqrt 1.0) 6.0) (pow (* -2.0 (log u1)) 0.5))
  (* (/ 1.0 (cbrt 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ 1.0 (sqrt 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))
  (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))
  (* (/ 1 6.0) (pow (* -2.0 (log u1)) 0.5))
  (* 1.0 (pow (* -2.0 (log u1)) 0.5))
  (* (* 2.0 PI) u2)
  (* (* 2.0 PI) u2)
  (+ (+ (log 2.0) (log PI)) (log u2))
  (+ (log (* 2.0 PI)) (log u2))
  (log (* (* 2.0 PI) u2))
  (exp (* (* 2.0 PI) u2))
  (* (* (* (* 2.0 2.0) 2.0) (* (* PI PI) PI)) (* (* u2 u2) u2))
  (* (* (* (* 2.0 PI) (* 2.0 PI)) (* 2.0 PI)) (* (* u2 u2) u2))
  (* (cbrt (* (* 2.0 PI) u2)) (cbrt (* (* 2.0 PI) u2)))
  (cbrt (* (* 2.0 PI) u2))
  (* (* (* (* 2.0 PI) u2) (* (* 2.0 PI) u2)) (* (* 2.0 PI) u2))
  (sqrt (* (* 2.0 PI) u2))
  (sqrt (* (* 2.0 PI) u2))
  (* (* 2.0 PI) (* (cbrt u2) (cbrt u2)))
  (* (* 2.0 PI) (sqrt u2))
  (* (* 2.0 PI) 1)
  (* PI u2)
  (* 0.004629629629629629 (pow (* (pow (log u1) 3.0) (pow -2.0 3.0)) 0.5))
  (* 0.004629629629629629 (pow (* (pow -1 3.0) (* (pow -2.0 3.0) (pow (log (/ 1 u1)) 3.0))) 0.5))
  (* 0.004629629629629629 (pow (* (pow -2.0 3.0) (pow (- (log -1) (log (/ -1 u1))) 3.0)) 0.5))
  (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))
  (* 0.16666666666666666 (pow (* (pow -1 1.0) (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0))) 0.5))
  (* 0.16666666666666666 (pow (* (pow -2.0 1.0) (pow (- (log -1) (log (/ -1 u1))) 1.0)) 0.5))
  (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))
  (* 0.16666666666666666 (pow (* (pow -1 1.0) (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0))) 0.5))
  (* 0.16666666666666666 (pow (* (pow -2.0 1.0) (pow (- (log -1) (log (/ -1 u1))) 1.0)) 0.5))
  (* 2.0 (* u2 PI))
  (* 2.0 (* u2 PI))
  (* 2.0 (* u2 PI))
12.239 * * [simplify]: iteration  0 :  483  enodes  (cost  777 )
12.247 * * [simplify]: iteration  1 :  2025  enodes  (cost  738 )
12.286 * * [simplify]: iteration  2 :  5002  enodes  (cost  736 )
12.291 * [simplify]: Simplified to:
  (log (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3))
  (log (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3))
  (log (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3))
  (log (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3))
  (log (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3))
  (log (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3))
  (log (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3))
  (log (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3))
  (log (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3))
  (log (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3))
  3
  (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (* (cbrt 3) (cbrt 3)))
  (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (sqrt 3))
  (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))
  (pow (/ 1.0 6.0) 3)
  (pow (pow (* -2.0 (log u1)) 0.5) 3)
  (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 2)
  (log (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3))
  (exp (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3))
  (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 2)
  (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))
  (pow (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3) 3)
  (pow (/ 1.0 6.0) 3)
  (pow (pow (* -2.0 (log u1)) 0.5) 3)
  (pow (* 1.0 (pow (* -2.0 (log u1)) 0.5)) 3)
  (pow 6.0 3)
  (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 2)
  (sqrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3))
  (sqrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3))
  (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3/2)
  (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3/2)
  (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (exp (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (/ 1.0 6.0)
  (pow (* -2.0 (log u1)) 0.5)
  (cbrt (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))))
  (cbrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (cbrt (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))))
  (cbrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (/ 1.0 6.0)
  (pow (* -2.0 (log u1)) 0.5)
  (cbrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (cbrt (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))))
  (cbrt (sqrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)))
  (cbrt (sqrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)))
  1
  (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))
  (cbrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3/2))
  (cbrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3/2))
  (* 1.0 (pow (* -2.0 (log u1)) 0.5))
  6.0
  (* (cbrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))) (cbrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))))
  (cbrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)
  (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 1/2)
  (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 1/2)
  (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (exp (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)
  (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)
  (* (cbrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))) (cbrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))))
  (cbrt (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))
  (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)
  (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 1/2)
  (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 1/2)
  (* (sqrt (/ 1.0 6.0)) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ 1.0 6.0)) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (/ (sqrt 1.0) (sqrt 6.0)) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (* (/ (sqrt 1.0) (sqrt 6.0)) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (* (/ (sqrt 1.0) (sqrt 6.0)) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (/ (sqrt 1.0) (sqrt 6.0)) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (/ 1.0 6.0) (pow -2.0 0.5))
  (* (/ 1.0 6.0) (* (cbrt (pow (* -2.0 (log u1)) 0.5)) (cbrt (pow (* -2.0 (log u1)) 0.5))))
  (* (/ 1.0 6.0) (sqrt (pow (* -2.0 (log u1)) 0.5)))
  (/ 1.0 6.0)
  (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) (/ 0.5 2)))
  (* (cbrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ (cbrt 1.0) (cbrt 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ (cbrt 1.0) (sqrt 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ (cbrt 1.0) 6.0) (pow (* -2.0 (log u1)) 0.5))
  (* (/ (sqrt 1.0) (cbrt 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ (sqrt 1.0) (sqrt 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ (sqrt 1.0) 6.0) (pow (* -2.0 (log u1)) 0.5))
  (* (/ 1.0 (cbrt 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ 1.0 (sqrt 6.0)) (pow (* -2.0 (log u1)) 0.5))
  (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))
  (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))
  (/ (pow (* -2.0 (log u1)) 0.5) 6.0)
  (* 1.0 (pow (* -2.0 (log u1)) 0.5))
  (* 2.0 (* u2 PI))
  (* 2.0 (* u2 PI))
  (log (* (* 2.0 PI) u2))
  (log (* (* 2.0 PI) u2))
  (log (* (* 2.0 PI) u2))
  (exp (* (* 2.0 PI) u2))
  (pow (* 2.0 (* u2 PI)) 3)
  (pow (* 2.0 (* u2 PI)) 3)
  (* (cbrt (* (* 2.0 PI) u2)) (cbrt (* (* 2.0 PI) u2)))
  (cbrt (* (* 2.0 PI) u2))
  (pow (* 2.0 (* u2 PI)) 3)
  (sqrt (* (* 2.0 PI) u2))
  (sqrt (* (* 2.0 PI) u2))
  (* (* 2.0 PI) (* (cbrt u2) (cbrt u2)))
  (* (* 2.0 PI) (sqrt u2))
  (* 2.0 PI)
  (* PI u2)
  (* 0.004629629629629629 (pow (* (pow (log u1) 3.0) (pow -2.0 3.0)) 0.5))
  (* 0.004629629629629629 (pow (* (pow -1 3.0) (* (pow -2.0 3.0) (pow (log (/ 1 u1)) 3.0))) 0.5))
  (* 0.004629629629629629 (pow (* (pow -2.0 3.0) (pow (- (log -1) (log (/ -1 u1))) 3.0)) 0.5))
  (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))
  (* 0.16666666666666666 (pow (* (pow -1 1.0) (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0))) 0.5))
  (* 0.16666666666666666 (pow (* (pow -2.0 1.0) (pow (- (log -1) (log (/ -1 u1))) 1.0)) 0.5))
  (* 0.16666666666666666 (pow (* (pow (log u1) 1.0) (pow -2.0 1.0)) 0.5))
  (* 0.16666666666666666 (pow (* (pow -1 1.0) (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0))) 0.5))
  (* 0.16666666666666666 (pow (* (pow -2.0 1.0) (pow (- (log -1) (log (/ -1 u1))) 1.0)) 0.5))
  (* 2.0 (* u2 PI))
  (* 2.0 (* u2 PI))
  (* 2.0 (* u2 PI))
12.292 * * * [progress]: adding candidates to table
13.176 * [progress]: [Phase 3 of 3] Extracting.
13.176 * * [regime]: Finding splitpoints for: (#<alt (λ (u1 u2) (+ (* (pow E (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (* (sqrt (/ 1.0 6.0)) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (cbrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (* (sqrt (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5)) (sqrt (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5))))> #<alt (λ (u1 u2) (+ (* (* (sqrt (/ 1.0 6.0)) (exp (log (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (/ (* (sqrt (/ 1.0 6.0)) (* (sqrt 1.0) (pow (* -2.0 (log u1)) 0.5))) (sqrt 6.0)) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (exp (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (cbrt (* 0.004629629629629629 (pow (* (pow (log u1) 3.0) (pow -2.0 3.0)) 0.5))) (cos (* (* 2.0 PI) u2))) 0.5))>)
13.178 * * * [regime-changes]: Trying 10 branch expressions: ((* (* 2.0 PI) u2) (cos (* (* 2.0 PI) u2)) (log u1) (* -2.0 (log u1)) (pow (* -2.0 (log u1)) 0.5) (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5) u2 u1)
13.179 * * * * [regimes]: Trying to branch on (* (* 2.0 PI) u2) from (#<alt (λ (u1 u2) (+ (* (pow E (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (* (sqrt (/ 1.0 6.0)) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (cbrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (* (sqrt (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5)) (sqrt (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5))))> #<alt (λ (u1 u2) (+ (* (* (sqrt (/ 1.0 6.0)) (exp (log (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (/ (* (sqrt (/ 1.0 6.0)) (* (sqrt 1.0) (pow (* -2.0 (log u1)) 0.5))) (sqrt 6.0)) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (exp (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (cbrt (* 0.004629629629629629 (pow (* (pow (log u1) 3.0) (pow -2.0 3.0)) 0.5))) (cos (* (* 2.0 PI) u2))) 0.5))>)
13.254 * * * * [regimes]: Trying to branch on (cos (* (* 2.0 PI) u2)) from (#<alt (λ (u1 u2) (+ (* (pow E (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (* (sqrt (/ 1.0 6.0)) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (cbrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (* (sqrt (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5)) (sqrt (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5))))> #<alt (λ (u1 u2) (+ (* (* (sqrt (/ 1.0 6.0)) (exp (log (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (/ (* (sqrt (/ 1.0 6.0)) (* (sqrt 1.0) (pow (* -2.0 (log u1)) 0.5))) (sqrt 6.0)) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (exp (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (cbrt (* 0.004629629629629629 (pow (* (pow (log u1) 3.0) (pow -2.0 3.0)) 0.5))) (cos (* (* 2.0 PI) u2))) 0.5))>)
13.316 * * * * [regimes]: Trying to branch on (log u1) from (#<alt (λ (u1 u2) (+ (* (pow E (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (* (sqrt (/ 1.0 6.0)) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (cbrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (* (sqrt (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5)) (sqrt (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5))))> #<alt (λ (u1 u2) (+ (* (* (sqrt (/ 1.0 6.0)) (exp (log (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (/ (* (sqrt (/ 1.0 6.0)) (* (sqrt 1.0) (pow (* -2.0 (log u1)) 0.5))) (sqrt 6.0)) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (exp (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (cbrt (* 0.004629629629629629 (pow (* (pow (log u1) 3.0) (pow -2.0 3.0)) 0.5))) (cos (* (* 2.0 PI) u2))) 0.5))>)
13.391 * * * * [regimes]: Trying to branch on (* -2.0 (log u1)) from (#<alt (λ (u1 u2) (+ (* (pow E (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (* (sqrt (/ 1.0 6.0)) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (cbrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (* (sqrt (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5)) (sqrt (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5))))> #<alt (λ (u1 u2) (+ (* (* (sqrt (/ 1.0 6.0)) (exp (log (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (/ (* (sqrt (/ 1.0 6.0)) (* (sqrt 1.0) (pow (* -2.0 (log u1)) 0.5))) (sqrt 6.0)) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (exp (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (cbrt (* 0.004629629629629629 (pow (* (pow (log u1) 3.0) (pow -2.0 3.0)) 0.5))) (cos (* (* 2.0 PI) u2))) 0.5))>)
13.468 * * * * [regimes]: Trying to branch on (pow (* -2.0 (log u1)) 0.5) from (#<alt (λ (u1 u2) (+ (* (pow E (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (* (sqrt (/ 1.0 6.0)) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (cbrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (* (sqrt (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5)) (sqrt (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5))))> #<alt (λ (u1 u2) (+ (* (* (sqrt (/ 1.0 6.0)) (exp (log (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (/ (* (sqrt (/ 1.0 6.0)) (* (sqrt 1.0) (pow (* -2.0 (log u1)) 0.5))) (sqrt 6.0)) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (exp (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (cbrt (* 0.004629629629629629 (pow (* (pow (log u1) 3.0) (pow -2.0 3.0)) 0.5))) (cos (* (* 2.0 PI) u2))) 0.5))>)
13.550 * * * * [regimes]: Trying to branch on (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) from (#<alt (λ (u1 u2) (+ (* (pow E (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (* (sqrt (/ 1.0 6.0)) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (cbrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (* (sqrt (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5)) (sqrt (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5))))> #<alt (λ (u1 u2) (+ (* (* (sqrt (/ 1.0 6.0)) (exp (log (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (/ (* (sqrt (/ 1.0 6.0)) (* (sqrt 1.0) (pow (* -2.0 (log u1)) 0.5))) (sqrt 6.0)) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (exp (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (cbrt (* 0.004629629629629629 (pow (* (pow (log u1) 3.0) (pow -2.0 3.0)) 0.5))) (cos (* (* 2.0 PI) u2))) 0.5))>)
13.630 * * * * [regimes]: Trying to branch on (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) from (#<alt (λ (u1 u2) (+ (* (pow E (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (cbrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (* (sqrt (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5)) (sqrt (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5))))> #<alt (λ (u1 u2) (+ (* (exp (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))) (cos (* (* 2.0 PI) u2))) 0.5))>)
13.689 * * * * [regimes]: Trying to branch on (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) from (#<alt (λ (u1 u2) (+ (* (pow E (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (* (sqrt (/ 1.0 6.0)) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (cbrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (* (sqrt (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5)) (sqrt (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5))))> #<alt (λ (u1 u2) (+ (* (* (sqrt (/ 1.0 6.0)) (exp (log (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (/ (* (sqrt (/ 1.0 6.0)) (* (sqrt 1.0) (pow (* -2.0 (log u1)) 0.5))) (sqrt 6.0)) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (exp (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (cbrt (* 0.004629629629629629 (pow (* (pow (log u1) 3.0) (pow -2.0 3.0)) 0.5))) (cos (* (* 2.0 PI) u2))) 0.5))>)
13.776 * * * * [regimes]: Trying to branch on (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5) from (#<alt (λ (u1 u2) (+ (* (pow E (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (* (sqrt (/ 1.0 6.0)) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (cbrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (* (sqrt (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5)) (sqrt (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5))))> #<alt (λ (u1 u2) (+ (* (* (sqrt (/ 1.0 6.0)) (exp (log (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (/ (* (sqrt (/ 1.0 6.0)) (* (sqrt 1.0) (pow (* -2.0 (log u1)) 0.5))) (sqrt 6.0)) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (exp (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (cbrt (* 0.004629629629629629 (pow (* (pow (log u1) 3.0) (pow -2.0 3.0)) 0.5))) (cos (* (* 2.0 PI) u2))) 0.5))>)
13.864 * * * * [regimes]: Trying to branch on u2 from (#<alt (λ (u1 u2) (+ (* (pow E (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (* (sqrt (/ 1.0 6.0)) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (cbrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (* (sqrt (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5)) (sqrt (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5))))> #<alt (λ (u1 u2) (+ (* (* (sqrt (/ 1.0 6.0)) (exp (log (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (/ (* (sqrt (/ 1.0 6.0)) (* (sqrt 1.0) (pow (* -2.0 (log u1)) 0.5))) (sqrt 6.0)) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (exp (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (cbrt (* 0.004629629629629629 (pow (* (pow (log u1) 3.0) (pow -2.0 3.0)) 0.5))) (cos (* (* 2.0 PI) u2))) 0.5))>)
13.939 * * * * [regimes]: Trying to branch on u1 from (#<alt (λ (u1 u2) (+ (* (pow E (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (* (sqrt (/ 1.0 6.0)) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (cbrt (pow (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 3)) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (* (sqrt (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5)) (sqrt (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5))))> #<alt (λ (u1 u2) (+ (* (* (sqrt (/ 1.0 6.0)) (exp (log (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (/ (* (sqrt (/ 1.0 6.0)) (* (sqrt 1.0) (pow (* -2.0 (log u1)) 0.5))) (sqrt 6.0)) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (exp (log (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)))) (cos (* (* 2.0 PI) u2))) 0.5))> #<alt (λ (u1 u2) (+ (* (cbrt (* 0.004629629629629629 (pow (* (pow (log u1) 3.0) (pow -2.0 3.0)) 0.5))) (cos (* (* 2.0 PI) u2))) 0.5))>)
14.016 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
14.017 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (+ (* (* (sqrt (/ 1.0 6.0)) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))) (cos (* (* 2.0 PI) u2))) 0.5)
14.017 * * [simplify]: iteration  0 :  27  enodes  (cost  14 )
14.018 * * [simplify]: iteration  1 :  27  enodes  (cost  14 )
14.018 * [simplify]: Simplified to:
  (+ (* (* (sqrt (/ 1.0 6.0)) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5))) (cos (* (* 2.0 PI) u2))) 0.5)