4.005 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.087 * * * [progress]: [2/2] Setting up program.
0.093 * [progress]: [Phase 2 of 3] Improving.
0.093 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))))
0.096 * * [simplify]: iteration  0 :  43  enodes  (cost  21 )
0.097 * * [simplify]: iteration  1 :  122  enodes  (cost  21 )
0.099 * * [simplify]: iteration  2 :  299  enodes  (cost  21 )
0.103 * * [simplify]: iteration  3 :  591  enodes  (cost  21 )
0.110 * * [simplify]: iteration  4 :  931  enodes  (cost  21 )
0.119 * * [simplify]: iteration  5 :  1162  enodes  (cost  21 )
0.130 * * [simplify]: iteration  6 :  1388  enodes  (cost  21 )
0.147 * * [simplify]: iteration  7 :  2798  enodes  (cost  21 )
0.209 * * [simplify]: iteration  8 :  5001  enodes  (cost  21 )
0.209 * [simplify]: Simplified to:
  (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))))
0.210 * * [progress]: iteration 1 / 4
0.210 * * * [progress]: picking best candidate
0.215 * * * * [pick]: Picked  #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))>
0.215 * * * [progress]: localizing error
0.232 * * * [progress]: generating rewritten candidates
0.233 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 2)
0.236 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2)
0.240 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
0.252 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.265 * * * [progress]: generating series expansions
0.265 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 2)
0.265 * [approximate]: Approximating (sqrt (- (pow g 2) (pow h 2))) in (g h) around 0
0.268 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h
0.271 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h
0.273 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h
0.284 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h
0.287 * [approximate]: Approximating (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in (g h) around 0
0.297 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
0.297 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
0.299 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
0.304 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
0.305 * [approximate]: Approximating (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in (g h) around 0
0.316 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
0.316 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
0.318 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
0.323 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
0.324 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2)
0.325 * [approximate]: Approximating (sqrt (- (pow g 2) (pow h 2))) in (g h) around 0
0.327 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h
0.330 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h
0.332 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h
0.339 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h
0.342 * [approximate]: Approximating (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in (g h) around 0
0.352 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
0.352 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
0.360 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
0.365 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
0.366 * [approximate]: Approximating (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in (g h) around 0
0.378 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
0.378 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
0.381 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
0.386 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
0.388 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
0.389 * [approximate]: Approximating (* (pow (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3) (cbrt -0.5)) in (a g h) around 0
0.400 * [taylor]: Taking taylor expansion of (* (pow (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3) (cbrt -0.5)) in g
0.403 * [taylor]: Taking taylor expansion of (* (pow (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3) (cbrt -0.5)) in h
0.418 * [taylor]: Taking taylor expansion of (* (pow (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3) (cbrt -0.5)) in g
0.418 * [taylor]: Taking taylor expansion of (* (pow (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3) (cbrt -0.5)) in h
0.422 * [taylor]: Taking taylor expansion of (* (pow (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3) (cbrt -0.5)) in h
0.665 * [taylor]: Taking taylor expansion of (* (pow (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3) (cbrt -0.5)) in g
0.666 * [taylor]: Taking taylor expansion of (* (pow (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3) (cbrt -0.5)) in h
0.666 * [taylor]: Taking taylor expansion of (* (pow (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3) (cbrt -0.5)) in h
0.674 * [taylor]: Taking taylor expansion of (* (pow (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3) (cbrt -0.5)) in h
0.723 * [approximate]: Approximating (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in (a g h) around 0
0.746 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in g
0.753 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in h
0.765 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in g
0.765 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in h
0.770 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in h
0.786 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in g
0.786 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in h
0.786 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in h
0.797 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in h
0.826 * [approximate]: Approximating (* (pow (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a) 1/3) (cbrt -0.5)) in (a g h) around 0
0.859 * [taylor]: Taking taylor expansion of (* (pow (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a) 1/3) (cbrt -0.5)) in g
0.870 * [taylor]: Taking taylor expansion of (* (pow (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a) 1/3) (cbrt -0.5)) in h
0.887 * [taylor]: Taking taylor expansion of (* (pow (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a) 1/3) (cbrt -0.5)) in g
0.887 * [taylor]: Taking taylor expansion of (* (pow (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a) 1/3) (cbrt -0.5)) in h
0.894 * [taylor]: Taking taylor expansion of (* (pow (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a) 1/3) (cbrt -0.5)) in h
0.911 * [taylor]: Taking taylor expansion of (* (pow (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a) 1/3) (cbrt -0.5)) in g
0.911 * [taylor]: Taking taylor expansion of (* (pow (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a) 1/3) (cbrt -0.5)) in h
0.912 * [taylor]: Taking taylor expansion of (* (pow (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a) 1/3) (cbrt -0.5)) in h
0.922 * [taylor]: Taking taylor expansion of (* (pow (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a) 1/3) (cbrt -0.5)) in h
0.952 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
0.952 * [approximate]: Approximating (* (cbrt 0.5) (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3)) in (a g h) around 0
0.970 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3)) in g
0.973 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3)) in h
0.988 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3)) in g
0.988 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3)) in h
0.992 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3)) in h
1.030 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3)) in g
1.030 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3)) in h
1.030 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3)) in h
1.043 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3)) in h
1.087 * [approximate]: Approximating (* (cbrt 0.5) (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3)) in (a g h) around 0
1.120 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3)) in g
1.131 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3)) in h
1.145 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3)) in g
1.145 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3)) in h
1.152 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3)) in h
1.170 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3)) in g
1.170 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3)) in h
1.170 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3)) in h
1.180 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3)) in h
1.216 * [approximate]: Approximating (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in (a g h) around 0
1.239 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in g
1.247 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in h
1.258 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in g
1.258 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in h
1.263 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in h
1.282 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in g
1.282 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in h
1.282 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in h
1.293 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in h
1.320 * * * [progress]: simplifying candidates
1.321 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (log (sqrt (- (* g g) (* h h))))
  (exp (sqrt (- (* g g) (* h h))))
  (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h)))))
  (cbrt (sqrt (- (* g g) (* h h))))
  (* (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (sqrt (- (* g g) (* h h))))
  (sqrt (* (cbrt (- (* g g) (* h h))) (cbrt (- (* g g) (* h h)))))
  (sqrt (cbrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  (sqrt 1)
  (sqrt (- (* g g) (* h h)))
  (sqrt (+ g h))
  (sqrt (- g h))
  (sqrt (- (pow (* g g) 3) (pow (* h h) 3)))
  (sqrt (+ (* (* g g) (* g g)) (+ (* (* h h) (* h h)) (* (* g g) (* h h)))))
  (sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
  (sqrt (+ (* g g) (* h h)))
  (/ 1 2)
  (sqrt (sqrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  (log (sqrt (- (* g g) (* h h))))
  (exp (sqrt (- (* g g) (* h h))))
  (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h)))))
  (cbrt (sqrt (- (* g g) (* h h))))
  (* (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (sqrt (- (* g g) (* h h))))
  (sqrt (* (cbrt (- (* g g) (* h h))) (cbrt (- (* g g) (* h h)))))
  (sqrt (cbrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  (sqrt 1)
  (sqrt (- (* g g) (* h h)))
  (sqrt (+ g h))
  (sqrt (- g h))
  (sqrt (- (pow (* g g) 3) (pow (* h h) 3)))
  (sqrt (+ (* (* g g) (* g g)) (+ (* (* h h) (* h h)) (* (* g g) (* h h)))))
  (sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
  (sqrt (+ (* g g) (* h h)))
  (/ 1 2)
  (sqrt (sqrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  (log (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))))
  (exp (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))))
  (cbrt (/ 1.0 (* 2.0 a)))
  (cbrt (- (neg g) (sqrt (- (* g g) (* h h)))))
  (cbrt (* 1.0 (- (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3))))
  (cbrt (* (* 2.0 a) (+ (* (neg g) (neg g)) (+ (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h))))))))
  (cbrt (* 1.0 (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))))))
  (cbrt (* (* 2.0 a) (+ (neg g) (sqrt (- (* g g) (* h h))))))
  (cbrt (* (/ 1.0 (* 2.0 a)) (- (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3))))
  (cbrt (+ (* (neg g) (neg g)) (+ (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h)))))))
  (cbrt (* (/ 1.0 (* 2.0 a)) (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))))))
  (cbrt (+ (neg g) (sqrt (- (* g g) (* h h)))))
  (cbrt (* 1.0 (- (neg g) (sqrt (- (* g g) (* h h))))))
  (cbrt (* 2.0 a))
  (* (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))
  (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))))
  (* (* (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))))
  (sqrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))))
  (sqrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))))
  (log (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))))
  (exp (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))))
  (cbrt (/ 1.0 (* 2.0 a)))
  (cbrt (+ (neg g) (sqrt (- (* g g) (* h h)))))
  (cbrt (* 1.0 (+ (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3))))
  (cbrt (* (* 2.0 a) (+ (* (neg g) (neg g)) (- (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h))))))))
  (cbrt (* 1.0 (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))))))
  (cbrt (* (* 2.0 a) (- (neg g) (sqrt (- (* g g) (* h h))))))
  (cbrt (* (/ 1.0 (* 2.0 a)) (+ (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3))))
  (cbrt (+ (* (neg g) (neg g)) (- (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h)))))))
  (cbrt (* (/ 1.0 (* 2.0 a)) (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))))))
  (cbrt (- (neg g) (sqrt (- (* g g) (* h h)))))
  (cbrt (* 1.0 (+ (neg g) (sqrt (- (* g g) (* h h))))))
  (cbrt (* 2.0 a))
  (* (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))))
  (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))))
  (* (* (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))))
  (sqrt (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))))
  (sqrt (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))))
  (* (sqrt -1) h)
  g
  (* -1 g)
  (* (sqrt -1) h)
  g
  (* -1 g)
  (* (exp (* 1/3 (- (+ (log h) (log (sqrt -1))) (log a)))) (cbrt -0.5))
  (* (exp (* 1/3 (- (+ (log (/ 1 a)) (log 2)) (log (/ 1 g))))) (cbrt -0.5))
  (* (exp (* 1/3 (- (+ (log (/ -1 g)) (+ (log (/ -1 a)) (log 1/2))) (* 2 (log (/ -1 h)))))) (cbrt -0.5))
  (* (cbrt 0.5) (exp (* 1/3 (- (+ (log h) (log (sqrt -1))) (log a)))))
  (* (cbrt 0.5) (exp (* 1/3 (- (+ (log (/ 1 a)) (+ (log -1/2) (log (/ 1 g)))) (* 2 (log (/ 1 h)))))))
  (* (cbrt -0.5) (exp (* 1/3 (- (+ (log 2) (log (/ -1 a))) (log (/ -1 g))))))
1.326 * * [simplify]: iteration  0 :  385  enodes  (cost  766 )
1.332 * * [simplify]: iteration  1 :  1380  enodes  (cost  724 )
1.358 * * [simplify]: iteration  2 :  5001  enodes  (cost  718 )
1.362 * [simplify]: Simplified to:
  (log (sqrt (- (* g g) (* h h))))
  (exp (sqrt (- (* g g) (* h h))))
  (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h)))))
  (cbrt (sqrt (- (* g g) (* h h))))
  (pow (sqrt (- (* g g) (* h h))) 3)
  (fabs (cbrt (- (* g g) (* h h))))
  (sqrt (cbrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  1
  (sqrt (- (* g g) (* h h)))
  (sqrt (+ g h))
  (sqrt (- g h))
  (sqrt (- (pow (* g g) 3) (pow (* h h) 3)))
  (sqrt (+ (* (* g g) (* g g)) (+ (* (* h h) (* h h)) (* (* g g) (* h h)))))
  (sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
  (sqrt (+ (* g g) (* h h)))
  1/2
  (sqrt (sqrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  (log (sqrt (- (* g g) (* h h))))
  (exp (sqrt (- (* g g) (* h h))))
  (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h)))))
  (cbrt (sqrt (- (* g g) (* h h))))
  (pow (sqrt (- (* g g) (* h h))) 3)
  (fabs (cbrt (- (* g g) (* h h))))
  (sqrt (cbrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  1
  (sqrt (- (* g g) (* h h)))
  (sqrt (+ g h))
  (sqrt (- g h))
  (sqrt (- (pow (* g g) 3) (pow (* h h) 3)))
  (sqrt (+ (* (* g g) (* g g)) (+ (* (* h h) (* h h)) (* (* g g) (* h h)))))
  (sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
  (sqrt (+ (* g g) (* h h)))
  1/2
  (sqrt (sqrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  (log (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))))
  (exp (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))))
  (cbrt (/ 1.0 (* 2.0 a)))
  (cbrt (- (neg g) (sqrt (- (* g g) (* h h)))))
  (cbrt (* 1.0 (- (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3))))
  (cbrt (* (* 2.0 a) (+ (* (neg g) (neg g)) (+ (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h))))))))
  (cbrt (* 1.0 (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))))))
  (cbrt (* (* 2.0 a) (+ (neg g) (sqrt (- (* g g) (* h h))))))
  (cbrt (* (/ 1.0 (* 2.0 a)) (- (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3))))
  (cbrt (+ (* (neg g) (neg g)) (+ (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h)))))))
  (cbrt (* (/ 1.0 (* 2.0 a)) (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))))))
  (cbrt (+ (neg g) (sqrt (- (* g g) (* h h)))))
  (cbrt (* 1.0 (- (neg g) (sqrt (- (* g g) (* h h))))))
  (cbrt (* 2.0 a))
  (* (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))
  (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))))
  (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))
  (sqrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))))
  (sqrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))))
  (log (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))))
  (exp (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))))
  (cbrt (/ 1.0 (* 2.0 a)))
  (cbrt (+ (neg g) (sqrt (- (* g g) (* h h)))))
  (cbrt (* 1.0 (+ (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3))))
  (cbrt (* (* 2.0 a) (+ (* (neg g) (neg g)) (- (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h))))))))
  (cbrt (* 1.0 (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))))))
  (cbrt (* (* 2.0 a) (- (neg g) (sqrt (- (* g g) (* h h))))))
  (cbrt (* (/ 1.0 (* 2.0 a)) (+ (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3))))
  (cbrt (+ (* (neg g) (neg g)) (- (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h)))))))
  (cbrt (* (/ 1.0 (* 2.0 a)) (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))))))
  (cbrt (- (neg g) (sqrt (- (* g g) (* h h)))))
  (cbrt (* 1.0 (+ (neg g) (sqrt (- (* g g) (* h h))))))
  (cbrt (* 2.0 a))
  (* (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))))
  (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))))
  (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))
  (sqrt (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))))
  (sqrt (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))))
  (* (sqrt -1) h)
  g
  (* -1 g)
  (* (sqrt -1) h)
  g
  (* -1 g)
  (* (exp (* 1/3 (- (+ (log h) (log (sqrt -1))) (log a)))) (cbrt -0.5))
  (* (exp (* 1/3 (- (+ (log (/ 1 a)) (log 2)) (log (/ 1 g))))) (cbrt -0.5))
  (* (exp (* 1/3 (- (+ (log (/ -1 g)) (+ (log (/ -1 a)) (log 1/2))) (* 2 (log (/ -1 h)))))) (cbrt -0.5))
  (* (cbrt 0.5) (exp (* 1/3 (- (+ (log h) (log (sqrt -1))) (log a)))))
  (* (cbrt 0.5) (exp (* 1/3 (- (+ (log (/ 1 a)) (+ (log -1/2) (log (/ 1 g)))) (* 2 (log (/ 1 h)))))))
  (* (cbrt -0.5) (exp (* 1/3 (- (+ (log 2) (log (/ -1 a))) (log (/ -1 g))))))
1.362 * * * [progress]: adding candidates to table
1.904 * * [progress]: iteration 2 / 4
1.904 * * * [progress]: picking best candidate
2.024 * * * * [pick]: Picked  #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (- (neg g) (sqrt (- (* g g) (* h h))))))))>
2.024 * * * [progress]: localizing error
2.045 * * * [progress]: generating rewritten candidates
2.046 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2)
2.049 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2)
2.053 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
2.064 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2 1)
2.069 * * * [progress]: generating series expansions
2.069 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2)
2.069 * [approximate]: Approximating (sqrt (- (pow g 2) (pow h 2))) in (g h) around 0
2.072 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h
2.075 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h
2.077 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h
2.083 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h
2.086 * [approximate]: Approximating (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in (g h) around 0
2.096 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
2.096 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
2.099 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
2.103 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
2.104 * [approximate]: Approximating (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in (g h) around 0
2.118 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
2.118 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
2.121 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
2.125 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
2.127 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2)
2.127 * [approximate]: Approximating (sqrt (- (pow g 2) (pow h 2))) in (g h) around 0
2.129 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h
2.132 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h
2.134 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h
2.140 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h
2.143 * [approximate]: Approximating (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in (g h) around 0
2.153 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
2.153 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
2.156 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
2.160 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
2.161 * [approximate]: Approximating (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in (g h) around 0
2.171 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
2.171 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
2.174 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
2.178 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
2.179 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
2.179 * [approximate]: Approximating (* (cbrt 0.5) (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3)) in (a g h) around 0
2.197 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3)) in g
2.201 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3)) in h
2.215 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3)) in g
2.215 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3)) in h
2.218 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3)) in h
2.256 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3)) in g
2.256 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3)) in h
2.257 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3)) in h
2.270 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3)) in h
2.314 * [approximate]: Approximating (* (cbrt 0.5) (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3)) in (a g h) around 0
2.348 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3)) in g
2.360 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3)) in h
2.374 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3)) in g
2.374 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3)) in h
2.381 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3)) in h
2.399 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3)) in g
2.399 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3)) in h
2.399 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3)) in h
2.410 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3)) in h
2.447 * [approximate]: Approximating (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in (a g h) around 0
2.471 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in g
2.479 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in h
2.490 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in g
2.490 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in h
2.495 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in h
2.516 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in g
2.516 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in h
2.516 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in h
2.526 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in h
2.553 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2 1)
2.553 * [approximate]: Approximating (- (pow g 2) (pow h 2)) in (g h) around 0
2.554 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in h
2.554 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in h
2.556 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in h
2.558 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in h
2.561 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in h
2.561 * [approximate]: Approximating (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in (g h) around 0
2.564 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h
2.566 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h
2.567 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h
2.570 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h
2.574 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h
2.576 * [approximate]: Approximating (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in (g h) around 0
2.579 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h
2.580 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h
2.585 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h
2.588 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h
2.591 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h
2.593 * * * [progress]: simplifying candidates
2.594 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (log (sqrt (- (* g g) (* h h))))
  (exp (sqrt (- (* g g) (* h h))))
  (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h)))))
  (cbrt (sqrt (- (* g g) (* h h))))
  (* (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (sqrt (- (* g g) (* h h))))
  (sqrt (* (cbrt (- (* g g) (* h h))) (cbrt (- (* g g) (* h h)))))
  (sqrt (cbrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  (sqrt 1)
  (sqrt (- (* g g) (* h h)))
  (sqrt (+ g h))
  (sqrt (- g h))
  (sqrt (- (pow (* g g) 3) (pow (* h h) 3)))
  (sqrt (+ (* (* g g) (* g g)) (+ (* (* h h) (* h h)) (* (* g g) (* h h)))))
  (sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
  (sqrt (+ (* g g) (* h h)))
  (/ 1 2)
  (sqrt (sqrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  (log (sqrt (- (* g g) (* h h))))
  (exp (sqrt (- (* g g) (* h h))))
  (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h)))))
  (cbrt (sqrt (- (* g g) (* h h))))
  (* (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (sqrt (- (* g g) (* h h))))
  (sqrt (* (cbrt (- (* g g) (* h h))) (cbrt (- (* g g) (* h h)))))
  (sqrt (cbrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  (sqrt 1)
  (sqrt (- (* g g) (* h h)))
  (sqrt (+ g h))
  (sqrt (- g h))
  (sqrt (- (pow (* g g) 3) (pow (* h h) 3)))
  (sqrt (+ (* (* g g) (* g g)) (+ (* (* h h) (* h h)) (* (* g g) (* h h)))))
  (sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
  (sqrt (+ (* g g) (* h h)))
  (/ 1 2)
  (sqrt (sqrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  (log (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))))
  (exp (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))))
  (cbrt (/ 1.0 (* 2.0 a)))
  (cbrt (+ (neg g) (sqrt (- (* g g) (* h h)))))
  (cbrt (* 1.0 (+ (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3))))
  (cbrt (* (* 2.0 a) (+ (* (neg g) (neg g)) (- (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h))))))))
  (cbrt (* 1.0 (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))))))
  (cbrt (* (* 2.0 a) (- (neg g) (sqrt (- (* g g) (* h h))))))
  (cbrt (* (/ 1.0 (* 2.0 a)) (+ (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3))))
  (cbrt (+ (* (neg g) (neg g)) (- (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h)))))))
  (cbrt (* (/ 1.0 (* 2.0 a)) (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))))))
  (cbrt (- (neg g) (sqrt (- (* g g) (* h h)))))
  (cbrt (* 1.0 (+ (neg g) (sqrt (- (* g g) (* h h))))))
  (cbrt (* 2.0 a))
  (* (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))))
  (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))))
  (* (* (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))))
  (sqrt (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))))
  (sqrt (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))))
  (/ (exp (* g g)) (exp (* h h)))
  (log (- (* g g) (* h h)))
  (exp (- (* g g) (* h h)))
  (* (cbrt (- (* g g) (* h h))) (cbrt (- (* g g) (* h h))))
  (cbrt (- (* g g) (* h h)))
  (* (* (- (* g g) (* h h)) (- (* g g) (* h h))) (- (* g g) (* h h)))
  (sqrt (- (* g g) (* h h)))
  (sqrt (- (* g g) (* h h)))
  (- (pow (* g g) 3) (pow (* h h) 3))
  (+ (* (* g g) (* g g)) (+ (* (* h h) (* h h)) (* (* g g) (* h h))))
  (neg (* h h))
  (- (* (* g g) (* g g)) (* (* h h) (* h h)))
  (+ (* g g) (* h h))
  (+ g h)
  (- g h)
  (neg (* h h))
  (* (sqrt -1) h)
  g
  (* -1 g)
  (* (sqrt -1) h)
  g
  (* -1 g)
  (* (cbrt 0.5) (exp (* 1/3 (- (+ (log h) (log (sqrt -1))) (log a)))))
  (* (cbrt 0.5) (exp (* 1/3 (- (+ (log (/ 1 a)) (+ (log -1/2) (log (/ 1 g)))) (* 2 (log (/ 1 h)))))))
  (* (cbrt -0.5) (exp (* 1/3 (- (+ (log 2) (log (/ -1 a))) (log (/ -1 g))))))
  (- (pow g 2) (pow h 2))
  (- (pow g 2) (pow h 2))
  (- (pow g 2) (pow h 2))
2.599 * * [simplify]: iteration  0 :  319  enodes  (cost  569 )
2.604 * * [simplify]: iteration  1 :  1259  enodes  (cost  537 )
2.627 * * [simplify]: iteration  2 :  5001  enodes  (cost  533 )
2.630 * [simplify]: Simplified to:
  (log (sqrt (- (* g g) (* h h))))
  (exp (sqrt (- (* g g) (* h h))))
  (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h)))))
  (cbrt (sqrt (- (* g g) (* h h))))
  (pow (sqrt (- (* g g) (* h h))) 3)
  (fabs (cbrt (- (* g g) (* h h))))
  (sqrt (cbrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  1
  (sqrt (- (* g g) (* h h)))
  (sqrt (+ g h))
  (sqrt (- g h))
  (sqrt (- (pow (* g g) 3) (pow (* h h) 3)))
  (sqrt (+ (* (* g g) (* g g)) (+ (* (* h h) (* h h)) (* (* g g) (* h h)))))
  (sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
  (sqrt (+ (* g g) (* h h)))
  1/2
  (sqrt (sqrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  (log (sqrt (- (* g g) (* h h))))
  (exp (sqrt (- (* g g) (* h h))))
  (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h)))))
  (cbrt (sqrt (- (* g g) (* h h))))
  (pow (sqrt (- (* g g) (* h h))) 3)
  (fabs (cbrt (- (* g g) (* h h))))
  (sqrt (cbrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  1
  (sqrt (- (* g g) (* h h)))
  (sqrt (+ g h))
  (sqrt (- g h))
  (sqrt (- (pow (* g g) 3) (pow (* h h) 3)))
  (sqrt (+ (* (* g g) (* g g)) (+ (* (* h h) (* h h)) (* (* g g) (* h h)))))
  (sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
  (sqrt (+ (* g g) (* h h)))
  1/2
  (sqrt (sqrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  (log (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))))
  (exp (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))))
  (cbrt (/ 1.0 (* 2.0 a)))
  (cbrt (+ (neg g) (sqrt (- (* g g) (* h h)))))
  (cbrt (* 1.0 (+ (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3))))
  (cbrt (* (* 2.0 a) (+ (* (neg g) (neg g)) (- (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h))))))))
  (cbrt (* 1.0 (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))))))
  (cbrt (* (* 2.0 a) (- (neg g) (sqrt (- (* g g) (* h h))))))
  (cbrt (* (/ 1.0 (* 2.0 a)) (+ (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3))))
  (cbrt (+ (* (neg g) (neg g)) (- (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h)))))))
  (cbrt (* (/ 1.0 (* 2.0 a)) (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))))))
  (cbrt (- (neg g) (sqrt (- (* g g) (* h h)))))
  (cbrt (* 1.0 (+ (neg g) (sqrt (- (* g g) (* h h))))))
  (cbrt (* 2.0 a))
  (* (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))))
  (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))))
  (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))
  (sqrt (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))))
  (sqrt (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))))
  (exp (- (* g g) (* h h)))
  (log (- (* g g) (* h h)))
  (exp (- (* g g) (* h h)))
  (* (cbrt (- (* g g) (* h h))) (cbrt (- (* g g) (* h h))))
  (cbrt (- (* g g) (* h h)))
  (pow (- (* g g) (* h h)) 3)
  (sqrt (- (* g g) (* h h)))
  (sqrt (- (* g g) (* h h)))
  (- (pow (* g g) 3) (pow (* h h) 3))
  (+ (+ (pow g 4) (* (* g g) (* h h))) (pow h 4))
  (neg (* h h))
  (+ (* (neg (pow h 3)) h) (pow g 4))
  (+ (* g g) (* h h))
  (+ g h)
  (- g h)
  (neg (* h h))
  (* (sqrt -1) h)
  g
  (* -1 g)
  (* (sqrt -1) h)
  g
  (* -1 g)
  (* (cbrt 0.5) (exp (* 1/3 (- (+ (log h) (log (sqrt -1))) (log a)))))
  (* (cbrt 0.5) (exp (* 1/3 (- (+ (log (/ 1 a)) (+ (log -1/2) (log (/ 1 g)))) (* 2 (log (/ 1 h)))))))
  (* (cbrt -0.5) (exp (* 1/3 (- (+ (log 2) (log (/ -1 a))) (log (/ -1 g))))))
  (- (* g g) (* h h))
  (- (* g g) (* h h))
  (- (* g g) (* h h))
2.630 * * * [progress]: adding candidates to table
3.170 * * [progress]: iteration 3 / 4
3.170 * * * [progress]: picking best candidate
3.302 * * * * [pick]: Picked  #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt (* 1.0 (- (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* 2.0 a)))))>
3.302 * * * [progress]: localizing error
3.322 * * * [progress]: generating rewritten candidates
3.322 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 2 2)
3.326 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2)
3.330 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
3.341 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 2 2 1)
3.346 * * * [progress]: generating series expansions
3.346 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 2 2)
3.346 * [approximate]: Approximating (sqrt (- (pow g 2) (pow h 2))) in (g h) around 0
3.351 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h
3.354 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h
3.356 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h
3.363 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h
3.366 * [approximate]: Approximating (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in (g h) around 0
3.376 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
3.376 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
3.379 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
3.383 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
3.385 * [approximate]: Approximating (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in (g h) around 0
3.396 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
3.396 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
3.398 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
3.403 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
3.404 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2)
3.404 * [approximate]: Approximating (sqrt (- (pow g 2) (pow h 2))) in (g h) around 0
3.407 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h
3.410 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h
3.412 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h
3.418 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h
3.421 * [approximate]: Approximating (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in (g h) around 0
3.435 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
3.436 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
3.438 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
3.443 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
3.444 * [approximate]: Approximating (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in (g h) around 0
3.454 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
3.454 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
3.457 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
3.461 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
3.463 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
3.463 * [approximate]: Approximating (* (cbrt 0.5) (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3)) in (a g h) around 0
3.478 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3)) in g
3.481 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3)) in h
3.496 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3)) in g
3.496 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3)) in h
3.500 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3)) in h
3.541 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3)) in g
3.541 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3)) in h
3.541 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3)) in h
3.550 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3)) in h
3.598 * [approximate]: Approximating (* (cbrt 0.5) (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3)) in (a g h) around 0
3.627 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3)) in g
3.638 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3)) in h
3.653 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3)) in g
3.653 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3)) in h
3.660 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3)) in h
3.682 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3)) in g
3.682 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3)) in h
3.682 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3)) in h
3.693 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3)) in h
3.726 * [approximate]: Approximating (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in (a g h) around 0
3.752 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in g
3.759 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in h
3.770 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in g
3.770 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in h
3.775 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in h
3.791 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in g
3.791 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in h
3.791 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in h
3.802 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in h
3.831 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 2 2 1)
3.831 * [approximate]: Approximating (- (pow g 2) (pow h 2)) in (g h) around 0
3.831 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in h
3.832 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in h
3.833 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in h
3.836 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in h
3.839 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in h
3.839 * [approximate]: Approximating (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in (g h) around 0
3.842 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h
3.843 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h
3.844 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h
3.847 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h
3.851 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h
3.853 * [approximate]: Approximating (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in (g h) around 0
3.856 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h
3.857 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h
3.858 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h
3.861 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h
3.865 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h
3.867 * * * [progress]: simplifying candidates
3.868 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (log (sqrt (- (* g g) (* h h))))
  (exp (sqrt (- (* g g) (* h h))))
  (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h)))))
  (cbrt (sqrt (- (* g g) (* h h))))
  (* (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (sqrt (- (* g g) (* h h))))
  (sqrt (* (cbrt (- (* g g) (* h h))) (cbrt (- (* g g) (* h h)))))
  (sqrt (cbrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  (sqrt 1)
  (sqrt (- (* g g) (* h h)))
  (sqrt (+ g h))
  (sqrt (- g h))
  (sqrt (- (pow (* g g) 3) (pow (* h h) 3)))
  (sqrt (+ (* (* g g) (* g g)) (+ (* (* h h) (* h h)) (* (* g g) (* h h)))))
  (sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
  (sqrt (+ (* g g) (* h h)))
  (/ 1 2)
  (sqrt (sqrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  (log (sqrt (- (* g g) (* h h))))
  (exp (sqrt (- (* g g) (* h h))))
  (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h)))))
  (cbrt (sqrt (- (* g g) (* h h))))
  (* (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (sqrt (- (* g g) (* h h))))
  (sqrt (* (cbrt (- (* g g) (* h h))) (cbrt (- (* g g) (* h h)))))
  (sqrt (cbrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  (sqrt 1)
  (sqrt (- (* g g) (* h h)))
  (sqrt (+ g h))
  (sqrt (- g h))
  (sqrt (- (pow (* g g) 3) (pow (* h h) 3)))
  (sqrt (+ (* (* g g) (* g g)) (+ (* (* h h) (* h h)) (* (* g g) (* h h)))))
  (sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
  (sqrt (+ (* g g) (* h h)))
  (/ 1 2)
  (sqrt (sqrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  (log (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))))
  (exp (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))))
  (cbrt (/ 1.0 (* 2.0 a)))
  (cbrt (+ (neg g) (sqrt (- (* g g) (* h h)))))
  (cbrt (* 1.0 (+ (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3))))
  (cbrt (* (* 2.0 a) (+ (* (neg g) (neg g)) (- (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h))))))))
  (cbrt (* 1.0 (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))))))
  (cbrt (* (* 2.0 a) (- (neg g) (sqrt (- (* g g) (* h h))))))
  (cbrt (* (/ 1.0 (* 2.0 a)) (+ (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3))))
  (cbrt (+ (* (neg g) (neg g)) (- (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h)))))))
  (cbrt (* (/ 1.0 (* 2.0 a)) (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))))))
  (cbrt (- (neg g) (sqrt (- (* g g) (* h h)))))
  (cbrt (* 1.0 (+ (neg g) (sqrt (- (* g g) (* h h))))))
  (cbrt (* 2.0 a))
  (* (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))))
  (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))))
  (* (* (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))))
  (sqrt (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))))
  (sqrt (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))))
  (/ (exp (* g g)) (exp (* h h)))
  (log (- (* g g) (* h h)))
  (exp (- (* g g) (* h h)))
  (* (cbrt (- (* g g) (* h h))) (cbrt (- (* g g) (* h h))))
  (cbrt (- (* g g) (* h h)))
  (* (* (- (* g g) (* h h)) (- (* g g) (* h h))) (- (* g g) (* h h)))
  (sqrt (- (* g g) (* h h)))
  (sqrt (- (* g g) (* h h)))
  (- (pow (* g g) 3) (pow (* h h) 3))
  (+ (* (* g g) (* g g)) (+ (* (* h h) (* h h)) (* (* g g) (* h h))))
  (neg (* h h))
  (- (* (* g g) (* g g)) (* (* h h) (* h h)))
  (+ (* g g) (* h h))
  (+ g h)
  (- g h)
  (neg (* h h))
  (* (sqrt -1) h)
  g
  (* -1 g)
  (* (sqrt -1) h)
  g
  (* -1 g)
  (* (cbrt 0.5) (exp (* 1/3 (- (+ (log h) (log (sqrt -1))) (log a)))))
  (* (cbrt 0.5) (exp (* 1/3 (- (+ (log (/ 1 a)) (+ (log -1/2) (log (/ 1 g)))) (* 2 (log (/ 1 h)))))))
  (* (cbrt -0.5) (exp (* 1/3 (- (+ (log 2) (log (/ -1 a))) (log (/ -1 g))))))
  (- (pow g 2) (pow h 2))
  (- (pow g 2) (pow h 2))
  (- (pow g 2) (pow h 2))
3.873 * * [simplify]: iteration  0 :  319  enodes  (cost  569 )
3.879 * * [simplify]: iteration  1 :  1259  enodes  (cost  537 )
3.902 * * [simplify]: iteration  2 :  5001  enodes  (cost  533 )
3.905 * [simplify]: Simplified to:
  (log (sqrt (- (* g g) (* h h))))
  (exp (sqrt (- (* g g) (* h h))))
  (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h)))))
  (cbrt (sqrt (- (* g g) (* h h))))
  (pow (sqrt (- (* g g) (* h h))) 3)
  (fabs (cbrt (- (* g g) (* h h))))
  (sqrt (cbrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  1
  (sqrt (- (* g g) (* h h)))
  (sqrt (+ g h))
  (sqrt (- g h))
  (sqrt (- (pow (* g g) 3) (pow (* h h) 3)))
  (sqrt (+ (* (* g g) (* g g)) (+ (* (* h h) (* h h)) (* (* g g) (* h h)))))
  (sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
  (sqrt (+ (* g g) (* h h)))
  1/2
  (sqrt (sqrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  (log (sqrt (- (* g g) (* h h))))
  (exp (sqrt (- (* g g) (* h h))))
  (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h)))))
  (cbrt (sqrt (- (* g g) (* h h))))
  (pow (sqrt (- (* g g) (* h h))) 3)
  (fabs (cbrt (- (* g g) (* h h))))
  (sqrt (cbrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  1
  (sqrt (- (* g g) (* h h)))
  (sqrt (+ g h))
  (sqrt (- g h))
  (sqrt (- (pow (* g g) 3) (pow (* h h) 3)))
  (sqrt (+ (* (* g g) (* g g)) (+ (* (* h h) (* h h)) (* (* g g) (* h h)))))
  (sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
  (sqrt (+ (* g g) (* h h)))
  1/2
  (sqrt (sqrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  (log (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))))
  (exp (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))))
  (cbrt (/ 1.0 (* 2.0 a)))
  (cbrt (+ (neg g) (sqrt (- (* g g) (* h h)))))
  (cbrt (* 1.0 (+ (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3))))
  (cbrt (* (* 2.0 a) (+ (* (neg g) (neg g)) (- (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h))))))))
  (cbrt (* 1.0 (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))))))
  (cbrt (* (* 2.0 a) (- (neg g) (sqrt (- (* g g) (* h h))))))
  (cbrt (* (/ 1.0 (* 2.0 a)) (+ (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3))))
  (cbrt (+ (* (neg g) (neg g)) (- (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h)))))))
  (cbrt (* (/ 1.0 (* 2.0 a)) (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))))))
  (cbrt (- (neg g) (sqrt (- (* g g) (* h h)))))
  (cbrt (* 1.0 (+ (neg g) (sqrt (- (* g g) (* h h))))))
  (cbrt (* 2.0 a))
  (* (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))))
  (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))))
  (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))
  (sqrt (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))))
  (sqrt (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))))
  (exp (- (* g g) (* h h)))
  (log (- (* g g) (* h h)))
  (exp (- (* g g) (* h h)))
  (* (cbrt (- (* g g) (* h h))) (cbrt (- (* g g) (* h h))))
  (cbrt (- (* g g) (* h h)))
  (pow (- (* g g) (* h h)) 3)
  (sqrt (- (* g g) (* h h)))
  (sqrt (- (* g g) (* h h)))
  (- (pow (* g g) 3) (pow (* h h) 3))
  (+ (+ (pow g 4) (* (* g g) (* h h))) (pow h 4))
  (neg (* h h))
  (+ (* (neg (pow h 3)) h) (pow g 4))
  (+ (* g g) (* h h))
  (+ g h)
  (- g h)
  (neg (* h h))
  (* (sqrt -1) h)
  g
  (* -1 g)
  (* (sqrt -1) h)
  g
  (* -1 g)
  (* (cbrt 0.5) (exp (* 1/3 (- (+ (log h) (log (sqrt -1))) (log a)))))
  (* (cbrt 0.5) (exp (* 1/3 (- (+ (log (/ 1 a)) (+ (log -1/2) (log (/ 1 g)))) (* 2 (log (/ 1 h)))))))
  (* (cbrt -0.5) (exp (* 1/3 (- (+ (log 2) (log (/ -1 a))) (log (/ -1 g))))))
  (- (* g g) (* h h))
  (- (* g g) (* h h))
  (- (* g g) (* h h))
3.905 * * * [progress]: adding candidates to table
4.500 * * [progress]: iteration 4 / 4
4.500 * * * [progress]: picking best candidate
4.629 * * * * [pick]: Picked  #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))>
4.629 * * * [progress]: localizing error
4.651 * * * [progress]: generating rewritten candidates
4.651 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 2)
4.655 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2)
4.658 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
4.670 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 2 1)
4.675 * * * [progress]: generating series expansions
4.675 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 2)
4.675 * [approximate]: Approximating (sqrt (- (pow g 2) (pow h 2))) in (g h) around 0
4.678 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h
4.681 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h
4.683 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h
4.690 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h
4.693 * [approximate]: Approximating (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in (g h) around 0
4.703 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
4.703 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
4.705 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
4.710 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
4.711 * [approximate]: Approximating (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in (g h) around 0
4.722 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
4.722 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
4.728 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
4.733 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
4.734 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2)
4.735 * [approximate]: Approximating (sqrt (- (pow g 2) (pow h 2))) in (g h) around 0
4.737 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h
4.740 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h
4.742 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h
4.748 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h
4.751 * [approximate]: Approximating (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in (g h) around 0
4.761 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
4.761 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
4.764 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
4.769 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
4.770 * [approximate]: Approximating (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in (g h) around 0
4.780 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
4.780 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
4.783 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
4.787 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h
4.789 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
4.789 * [approximate]: Approximating (* (pow (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3) (cbrt -0.5)) in (a g h) around 0
4.800 * [taylor]: Taking taylor expansion of (* (pow (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3) (cbrt -0.5)) in g
4.803 * [taylor]: Taking taylor expansion of (* (pow (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3) (cbrt -0.5)) in h
4.820 * [taylor]: Taking taylor expansion of (* (pow (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3) (cbrt -0.5)) in g
4.820 * [taylor]: Taking taylor expansion of (* (pow (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3) (cbrt -0.5)) in h
4.823 * [taylor]: Taking taylor expansion of (* (pow (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3) (cbrt -0.5)) in h
4.861 * [taylor]: Taking taylor expansion of (* (pow (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3) (cbrt -0.5)) in g
4.861 * [taylor]: Taking taylor expansion of (* (pow (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3) (cbrt -0.5)) in h
4.861 * [taylor]: Taking taylor expansion of (* (pow (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3) (cbrt -0.5)) in h
4.871 * [taylor]: Taking taylor expansion of (* (pow (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3) (cbrt -0.5)) in h
4.918 * [approximate]: Approximating (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in (a g h) around 0
4.941 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in g
4.949 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in h
4.963 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in g
4.963 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in h
4.969 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in h
4.985 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in g
4.985 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in h
4.985 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in h
4.995 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in h
5.022 * [approximate]: Approximating (* (pow (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a) 1/3) (cbrt -0.5)) in (a g h) around 0
5.057 * [taylor]: Taking taylor expansion of (* (pow (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a) 1/3) (cbrt -0.5)) in g
5.068 * [taylor]: Taking taylor expansion of (* (pow (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a) 1/3) (cbrt -0.5)) in h
5.081 * [taylor]: Taking taylor expansion of (* (pow (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a) 1/3) (cbrt -0.5)) in g
5.081 * [taylor]: Taking taylor expansion of (* (pow (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a) 1/3) (cbrt -0.5)) in h
5.088 * [taylor]: Taking taylor expansion of (* (pow (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a) 1/3) (cbrt -0.5)) in h
5.105 * [taylor]: Taking taylor expansion of (* (pow (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a) 1/3) (cbrt -0.5)) in g
5.105 * [taylor]: Taking taylor expansion of (* (pow (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a) 1/3) (cbrt -0.5)) in h
5.105 * [taylor]: Taking taylor expansion of (* (pow (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a) 1/3) (cbrt -0.5)) in h
5.115 * [taylor]: Taking taylor expansion of (* (pow (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a) 1/3) (cbrt -0.5)) in h
5.148 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 2 1)
5.148 * [approximate]: Approximating (- (pow g 2) (pow h 2)) in (g h) around 0
5.148 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in h
5.149 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in h
5.150 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in h
5.153 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in h
5.156 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in h
5.156 * [approximate]: Approximating (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in (g h) around 0
5.158 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h
5.160 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h
5.161 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h
5.164 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h
5.168 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h
5.170 * [approximate]: Approximating (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in (g h) around 0
5.172 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h
5.174 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h
5.175 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h
5.178 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h
5.182 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h
5.184 * * * [progress]: simplifying candidates
5.185 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (log (sqrt (- (* g g) (* h h))))
  (exp (sqrt (- (* g g) (* h h))))
  (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h)))))
  (cbrt (sqrt (- (* g g) (* h h))))
  (* (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (sqrt (- (* g g) (* h h))))
  (sqrt (* (cbrt (- (* g g) (* h h))) (cbrt (- (* g g) (* h h)))))
  (sqrt (cbrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  (sqrt 1)
  (sqrt (- (* g g) (* h h)))
  (sqrt (+ g h))
  (sqrt (- g h))
  (sqrt (- (pow (* g g) 3) (pow (* h h) 3)))
  (sqrt (+ (* (* g g) (* g g)) (+ (* (* h h) (* h h)) (* (* g g) (* h h)))))
  (sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
  (sqrt (+ (* g g) (* h h)))
  (/ 1 2)
  (sqrt (sqrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  (log (sqrt (- (* g g) (* h h))))
  (exp (sqrt (- (* g g) (* h h))))
  (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h)))))
  (cbrt (sqrt (- (* g g) (* h h))))
  (* (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (sqrt (- (* g g) (* h h))))
  (sqrt (* (cbrt (- (* g g) (* h h))) (cbrt (- (* g g) (* h h)))))
  (sqrt (cbrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  (sqrt 1)
  (sqrt (- (* g g) (* h h)))
  (sqrt (+ g h))
  (sqrt (- g h))
  (sqrt (- (pow (* g g) 3) (pow (* h h) 3)))
  (sqrt (+ (* (* g g) (* g g)) (+ (* (* h h) (* h h)) (* (* g g) (* h h)))))
  (sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
  (sqrt (+ (* g g) (* h h)))
  (/ 1 2)
  (sqrt (sqrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  (log (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))))
  (exp (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))))
  (cbrt (/ 1.0 (* 2.0 a)))
  (cbrt (- (neg g) (sqrt (- (* g g) (* h h)))))
  (cbrt (* 1.0 (- (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3))))
  (cbrt (* (* 2.0 a) (+ (* (neg g) (neg g)) (+ (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h))))))))
  (cbrt (* 1.0 (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))))))
  (cbrt (* (* 2.0 a) (+ (neg g) (sqrt (- (* g g) (* h h))))))
  (cbrt (* (/ 1.0 (* 2.0 a)) (- (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3))))
  (cbrt (+ (* (neg g) (neg g)) (+ (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h)))))))
  (cbrt (* (/ 1.0 (* 2.0 a)) (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))))))
  (cbrt (+ (neg g) (sqrt (- (* g g) (* h h)))))
  (cbrt (* 1.0 (- (neg g) (sqrt (- (* g g) (* h h))))))
  (cbrt (* 2.0 a))
  (* (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))
  (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))))
  (* (* (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))))
  (sqrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))))
  (sqrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))))
  (/ (exp (* g g)) (exp (* h h)))
  (log (- (* g g) (* h h)))
  (exp (- (* g g) (* h h)))
  (* (cbrt (- (* g g) (* h h))) (cbrt (- (* g g) (* h h))))
  (cbrt (- (* g g) (* h h)))
  (* (* (- (* g g) (* h h)) (- (* g g) (* h h))) (- (* g g) (* h h)))
  (sqrt (- (* g g) (* h h)))
  (sqrt (- (* g g) (* h h)))
  (- (pow (* g g) 3) (pow (* h h) 3))
  (+ (* (* g g) (* g g)) (+ (* (* h h) (* h h)) (* (* g g) (* h h))))
  (neg (* h h))
  (- (* (* g g) (* g g)) (* (* h h) (* h h)))
  (+ (* g g) (* h h))
  (+ g h)
  (- g h)
  (neg (* h h))
  (* (sqrt -1) h)
  g
  (* -1 g)
  (* (sqrt -1) h)
  g
  (* -1 g)
  (* (exp (* 1/3 (- (+ (log h) (log (sqrt -1))) (log a)))) (cbrt -0.5))
  (* (exp (* 1/3 (- (+ (log (/ 1 a)) (log 2)) (log (/ 1 g))))) (cbrt -0.5))
  (* (exp (* 1/3 (- (+ (log (/ -1 g)) (+ (log (/ -1 a)) (log 1/2))) (* 2 (log (/ -1 h)))))) (cbrt -0.5))
  (- (pow g 2) (pow h 2))
  (- (pow g 2) (pow h 2))
  (- (pow g 2) (pow h 2))
5.189 * * [simplify]: iteration  0 :  297  enodes  (cost  569 )
5.194 * * [simplify]: iteration  1 :  1188  enodes  (cost  537 )
5.215 * * [simplify]: iteration  2 :  5001  enodes  (cost  533 )
5.218 * [simplify]: Simplified to:
  (log (sqrt (- (* g g) (* h h))))
  (exp (sqrt (- (* g g) (* h h))))
  (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h)))))
  (cbrt (sqrt (- (* g g) (* h h))))
  (pow (sqrt (- (* g g) (* h h))) 3)
  (fabs (cbrt (- (* g g) (* h h))))
  (sqrt (cbrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  1
  (sqrt (- (* g g) (* h h)))
  (sqrt (+ g h))
  (sqrt (- g h))
  (sqrt (- (pow (* g g) 3) (pow (* h h) 3)))
  (sqrt (+ (* (* g g) (* g g)) (+ (* (* h h) (* h h)) (* (* g g) (* h h)))))
  (sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
  (sqrt (+ (* g g) (* h h)))
  1/2
  (sqrt (sqrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  (log (sqrt (- (* g g) (* h h))))
  (exp (sqrt (- (* g g) (* h h))))
  (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h)))))
  (cbrt (sqrt (- (* g g) (* h h))))
  (pow (sqrt (- (* g g) (* h h))) 3)
  (fabs (cbrt (- (* g g) (* h h))))
  (sqrt (cbrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  1
  (sqrt (- (* g g) (* h h)))
  (sqrt (+ g h))
  (sqrt (- g h))
  (sqrt (- (pow (* g g) 3) (pow (* h h) 3)))
  (sqrt (+ (* (* g g) (* g g)) (+ (* (* h h) (* h h)) (* (* g g) (* h h)))))
  (sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
  (sqrt (+ (* g g) (* h h)))
  1/2
  (sqrt (sqrt (- (* g g) (* h h))))
  (sqrt (sqrt (- (* g g) (* h h))))
  (log (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))))
  (exp (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))))
  (cbrt (/ 1.0 (* 2.0 a)))
  (cbrt (- (neg g) (sqrt (- (* g g) (* h h)))))
  (cbrt (* 1.0 (- (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3))))
  (cbrt (* (* 2.0 a) (+ (* (neg g) (neg g)) (+ (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h))))))))
  (cbrt (* 1.0 (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))))))
  (cbrt (* (* 2.0 a) (+ (neg g) (sqrt (- (* g g) (* h h))))))
  (cbrt (* (/ 1.0 (* 2.0 a)) (- (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3))))
  (cbrt (+ (* (neg g) (neg g)) (+ (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h)))))))
  (cbrt (* (/ 1.0 (* 2.0 a)) (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))))))
  (cbrt (+ (neg g) (sqrt (- (* g g) (* h h)))))
  (cbrt (* 1.0 (- (neg g) (sqrt (- (* g g) (* h h))))))
  (cbrt (* 2.0 a))
  (* (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))
  (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))))
  (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))
  (sqrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))))
  (sqrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))))
  (exp (- (* g g) (* h h)))
  (log (- (* g g) (* h h)))
  (exp (- (* g g) (* h h)))
  (* (cbrt (- (* g g) (* h h))) (cbrt (- (* g g) (* h h))))
  (cbrt (- (* g g) (* h h)))
  (pow (- (* g g) (* h h)) 3)
  (sqrt (- (* g g) (* h h)))
  (sqrt (- (* g g) (* h h)))
  (- (pow (* g g) 3) (pow (* h h) 3))
  (+ (+ (pow g 4) (* (* g g) (* h h))) (pow h 4))
  (neg (* h h))
  (+ (* (neg (pow h 3)) h) (pow g 4))
  (+ (* g g) (* h h))
  (+ g h)
  (- g h)
  (neg (* h h))
  (* (sqrt -1) h)
  g
  (* -1 g)
  (* (sqrt -1) h)
  g
  (* -1 g)
  (* (exp (* 1/3 (- (+ (log h) (log (sqrt -1))) (log a)))) (cbrt -0.5))
  (* (exp (* 1/3 (- (+ (log (/ 1 a)) (log 2)) (log (/ 1 g))))) (cbrt -0.5))
  (* (exp (* 1/3 (- (+ (log (/ -1 g)) (+ (log (/ -1 a)) (log 1/2))) (* 2 (log (/ -1 h)))))) (cbrt -0.5))
  (- (* g g) (* h h))
  (- (* g g) (* h h))
  (- (* g g) (* h h))
5.219 * * * [progress]: adding candidates to table
5.746 * [progress]: [Phase 3 of 3] Extracting.
5.746 * * [regime]: Finding splitpoints for: (#<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (* (* (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))))) (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt (* (/ 1.0 (* 2.0 a)) (- (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3)))) (cbrt (+ (* (neg g) (neg g)) (+ (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (/ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3)))) (cbrt (+ (* (neg g) (neg g)) (- (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (/ (cbrt (* 1.0 (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* 2.0 a))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (exp (log (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (log (exp (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (* (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h))))) (cbrt (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (exp (log (sqrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt (* 1.0 (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))))))) (cbrt (* (* 2.0 a) (+ (neg g) (sqrt (- (* g g) (* h h)))))))))> #<alt (λ (g h a) (+ (/ (cbrt (* 1.0 (+ (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3)))) (cbrt (* (* 2.0 a) (+ (* (neg g) (neg g)) (- (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h))))))))) (/ (cbrt (* 1.0 (- (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* 2.0 a)))))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (* (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h))))) (cbrt (sqrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (pow (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))) 1/3)))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt (* (/ 1.0 (* 2.0 a)) (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))))))) (cbrt (+ (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (/ (cbrt (* 1.0 (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))))))) (cbrt (* (* 2.0 a) (- (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (exp (log (sqrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (cbrt (pow (sqrt (- (* g g) (* h h))) 3))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (* (cbrt -0.5) (exp (* 1/3 (- (+ (log 2) (log (/ -1 a))) (log (/ -1 g)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (* (fabs (cbrt (- (* g g) (* h h)))) (sqrt (cbrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt (* 1.0 (- (neg g) g))) (cbrt (* 2.0 a)))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) g))) (/ (cbrt (* 1.0 (- (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* 2.0 a)))))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (sqrt (- (* g g) (* h h)))))) (* (exp (* 1/3 (- (+ (log (/ -1 g)) (+ (log (/ -1 a)) (log 1/2))) (* 2 (log (/ -1 h)))))) (cbrt -0.5))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) g))) (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (- (neg g) (sqrt (- (* g g) (* h h))))))))>)
5.766 * * * [regime-changes]: Trying 6 branch expressions: ((* h h) (* 2.0 a) (/ 1.0 (* 2.0 a)) a h g)
5.767 * * * * [regimes]: Trying to branch on (* h h) from (#<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (* (* (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))))) (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt (* (/ 1.0 (* 2.0 a)) (- (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3)))) (cbrt (+ (* (neg g) (neg g)) (+ (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (/ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3)))) (cbrt (+ (* (neg g) (neg g)) (- (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (/ (cbrt (* 1.0 (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* 2.0 a))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (exp (log (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (log (exp (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (* (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h))))) (cbrt (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (exp (log (sqrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt (* 1.0 (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))))))) (cbrt (* (* 2.0 a) (+ (neg g) (sqrt (- (* g g) (* h h)))))))))> #<alt (λ (g h a) (+ (/ (cbrt (* 1.0 (+ (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3)))) (cbrt (* (* 2.0 a) (+ (* (neg g) (neg g)) (- (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h))))))))) (/ (cbrt (* 1.0 (- (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* 2.0 a)))))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (* (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h))))) (cbrt (sqrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (pow (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))) 1/3)))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt (* (/ 1.0 (* 2.0 a)) (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))))))) (cbrt (+ (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (/ (cbrt (* 1.0 (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))))))) (cbrt (* (* 2.0 a) (- (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (exp (log (sqrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (cbrt (pow (sqrt (- (* g g) (* h h))) 3))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (* (cbrt -0.5) (exp (* 1/3 (- (+ (log 2) (log (/ -1 a))) (log (/ -1 g)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (* (fabs (cbrt (- (* g g) (* h h)))) (sqrt (cbrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt (* 1.0 (- (neg g) g))) (cbrt (* 2.0 a)))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) g))) (/ (cbrt (* 1.0 (- (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* 2.0 a)))))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (sqrt (- (* g g) (* h h)))))) (* (exp (* 1/3 (- (+ (log (/ -1 g)) (+ (log (/ -1 a)) (log 1/2))) (* 2 (log (/ -1 h)))))) (cbrt -0.5))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) g))) (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (- (neg g) (sqrt (- (* g g) (* h h))))))))>)
5.953 * * * * [regimes]: Trying to branch on (* 2.0 a) from (#<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (* (* (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))))) (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt (* (/ 1.0 (* 2.0 a)) (- (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3)))) (cbrt (+ (* (neg g) (neg g)) (+ (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (/ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3)))) (cbrt (+ (* (neg g) (neg g)) (- (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (/ (cbrt (* 1.0 (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* 2.0 a))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (exp (log (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (log (exp (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (* (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h))))) (cbrt (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (exp (log (sqrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt (* 1.0 (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))))))) (cbrt (* (* 2.0 a) (+ (neg g) (sqrt (- (* g g) (* h h)))))))))> #<alt (λ (g h a) (+ (/ (cbrt (* 1.0 (+ (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3)))) (cbrt (* (* 2.0 a) (+ (* (neg g) (neg g)) (- (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h))))))))) (/ (cbrt (* 1.0 (- (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* 2.0 a)))))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (* (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h))))) (cbrt (sqrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (pow (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))) 1/3)))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt (* (/ 1.0 (* 2.0 a)) (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))))))) (cbrt (+ (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (/ (cbrt (* 1.0 (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))))))) (cbrt (* (* 2.0 a) (- (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (exp (log (sqrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (cbrt (pow (sqrt (- (* g g) (* h h))) 3))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (* (cbrt -0.5) (exp (* 1/3 (- (+ (log 2) (log (/ -1 a))) (log (/ -1 g)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (* (fabs (cbrt (- (* g g) (* h h)))) (sqrt (cbrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt (* 1.0 (- (neg g) g))) (cbrt (* 2.0 a)))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) g))) (/ (cbrt (* 1.0 (- (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* 2.0 a)))))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (sqrt (- (* g g) (* h h)))))) (* (exp (* 1/3 (- (+ (log (/ -1 g)) (+ (log (/ -1 a)) (log 1/2))) (* 2 (log (/ -1 h)))))) (cbrt -0.5))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) g))) (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (- (neg g) (sqrt (- (* g g) (* h h))))))))>)
6.151 * * * * [regimes]: Trying to branch on (/ 1.0 (* 2.0 a)) from (#<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (* (* (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))))) (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt (* (/ 1.0 (* 2.0 a)) (- (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3)))) (cbrt (+ (* (neg g) (neg g)) (+ (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (/ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3)))) (cbrt (+ (* (neg g) (neg g)) (- (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (/ (cbrt (* 1.0 (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* 2.0 a))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (exp (log (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (log (exp (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (* (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h))))) (cbrt (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (exp (log (sqrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt (* 1.0 (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))))))) (cbrt (* (* 2.0 a) (+ (neg g) (sqrt (- (* g g) (* h h)))))))))> #<alt (λ (g h a) (+ (/ (cbrt (* 1.0 (+ (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3)))) (cbrt (* (* 2.0 a) (+ (* (neg g) (neg g)) (- (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h))))))))) (/ (cbrt (* 1.0 (- (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* 2.0 a)))))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (* (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h))))) (cbrt (sqrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (pow (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))) 1/3)))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt (* (/ 1.0 (* 2.0 a)) (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))))))) (cbrt (+ (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (/ (cbrt (* 1.0 (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))))))) (cbrt (* (* 2.0 a) (- (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (exp (log (sqrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (cbrt (pow (sqrt (- (* g g) (* h h))) 3))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (* (cbrt -0.5) (exp (* 1/3 (- (+ (log 2) (log (/ -1 a))) (log (/ -1 g)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (* (fabs (cbrt (- (* g g) (* h h)))) (sqrt (cbrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt (* 1.0 (- (neg g) g))) (cbrt (* 2.0 a)))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) g))) (/ (cbrt (* 1.0 (- (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* 2.0 a)))))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (sqrt (- (* g g) (* h h)))))) (* (exp (* 1/3 (- (+ (log (/ -1 g)) (+ (log (/ -1 a)) (log 1/2))) (* 2 (log (/ -1 h)))))) (cbrt -0.5))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) g))) (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (- (neg g) (sqrt (- (* g g) (* h h))))))))>)
6.350 * * * * [regimes]: Trying to branch on a from (#<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (* (* (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))))) (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt (* (/ 1.0 (* 2.0 a)) (- (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3)))) (cbrt (+ (* (neg g) (neg g)) (+ (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (/ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3)))) (cbrt (+ (* (neg g) (neg g)) (- (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (/ (cbrt (* 1.0 (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* 2.0 a))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (exp (log (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (log (exp (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (* (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h))))) (cbrt (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (exp (log (sqrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt (* 1.0 (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))))))) (cbrt (* (* 2.0 a) (+ (neg g) (sqrt (- (* g g) (* h h)))))))))> #<alt (λ (g h a) (+ (/ (cbrt (* 1.0 (+ (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3)))) (cbrt (* (* 2.0 a) (+ (* (neg g) (neg g)) (- (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h))))))))) (/ (cbrt (* 1.0 (- (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* 2.0 a)))))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (* (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h))))) (cbrt (sqrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (pow (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))) 1/3)))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt (* (/ 1.0 (* 2.0 a)) (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))))))) (cbrt (+ (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (/ (cbrt (* 1.0 (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))))))) (cbrt (* (* 2.0 a) (- (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (exp (log (sqrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (cbrt (pow (sqrt (- (* g g) (* h h))) 3))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (* (cbrt -0.5) (exp (* 1/3 (- (+ (log 2) (log (/ -1 a))) (log (/ -1 g)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (* (fabs (cbrt (- (* g g) (* h h)))) (sqrt (cbrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt (* 1.0 (- (neg g) g))) (cbrt (* 2.0 a)))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) g))) (/ (cbrt (* 1.0 (- (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* 2.0 a)))))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (sqrt (- (* g g) (* h h)))))) (* (exp (* 1/3 (- (+ (log (/ -1 g)) (+ (log (/ -1 a)) (log 1/2))) (* 2 (log (/ -1 h)))))) (cbrt -0.5))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) g))) (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (- (neg g) (sqrt (- (* g g) (* h h))))))))>)
6.547 * * * * [regimes]: Trying to branch on h from (#<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (* (* (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))))) (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt (* (/ 1.0 (* 2.0 a)) (- (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3)))) (cbrt (+ (* (neg g) (neg g)) (+ (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (/ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3)))) (cbrt (+ (* (neg g) (neg g)) (- (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (/ (cbrt (* 1.0 (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* 2.0 a))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (exp (log (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (log (exp (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (* (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h))))) (cbrt (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (exp (log (sqrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt (* 1.0 (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))))))) (cbrt (* (* 2.0 a) (+ (neg g) (sqrt (- (* g g) (* h h)))))))))> #<alt (λ (g h a) (+ (/ (cbrt (* 1.0 (+ (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3)))) (cbrt (* (* 2.0 a) (+ (* (neg g) (neg g)) (- (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h))))))))) (/ (cbrt (* 1.0 (- (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* 2.0 a)))))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (* (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h))))) (cbrt (sqrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (pow (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))) 1/3)))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt (* (/ 1.0 (* 2.0 a)) (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))))))) (cbrt (+ (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (/ (cbrt (* 1.0 (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))))))) (cbrt (* (* 2.0 a) (- (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (exp (log (sqrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (cbrt (pow (sqrt (- (* g g) (* h h))) 3))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (* (cbrt -0.5) (exp (* 1/3 (- (+ (log 2) (log (/ -1 a))) (log (/ -1 g)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (* (fabs (cbrt (- (* g g) (* h h)))) (sqrt (cbrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt (* 1.0 (- (neg g) g))) (cbrt (* 2.0 a)))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) g))) (/ (cbrt (* 1.0 (- (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* 2.0 a)))))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (sqrt (- (* g g) (* h h)))))) (* (exp (* 1/3 (- (+ (log (/ -1 g)) (+ (log (/ -1 a)) (log 1/2))) (* 2 (log (/ -1 h)))))) (cbrt -0.5))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) g))) (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (- (neg g) (sqrt (- (* g g) (* h h))))))))>)
6.743 * * * * [regimes]: Trying to branch on g from (#<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (* (* (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))))) (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt (* (/ 1.0 (* 2.0 a)) (- (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3)))) (cbrt (+ (* (neg g) (neg g)) (+ (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (/ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3)))) (cbrt (+ (* (neg g) (neg g)) (- (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (/ (cbrt (* 1.0 (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* 2.0 a))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (exp (log (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (log (exp (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (* (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h))))) (cbrt (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (exp (log (sqrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt (* 1.0 (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))))))) (cbrt (* (* 2.0 a) (+ (neg g) (sqrt (- (* g g) (* h h)))))))))> #<alt (λ (g h a) (+ (/ (cbrt (* 1.0 (+ (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3)))) (cbrt (* (* 2.0 a) (+ (* (neg g) (neg g)) (- (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h))))))))) (/ (cbrt (* 1.0 (- (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* 2.0 a)))))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (* (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h))))) (cbrt (sqrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (pow (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))) 1/3)))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt (* (/ 1.0 (* 2.0 a)) (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))))))) (cbrt (+ (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (/ (cbrt (* 1.0 (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))))))) (cbrt (* (* 2.0 a) (- (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (exp (log (sqrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (cbrt (pow (sqrt (- (* g g) (* h h))) 3))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (* (cbrt -0.5) (exp (* 1/3 (- (+ (log 2) (log (/ -1 a))) (log (/ -1 g)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (* (fabs (cbrt (- (* g g) (* h h)))) (sqrt (cbrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt (* 1.0 (- (neg g) g))) (cbrt (* 2.0 a)))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) g))) (/ (cbrt (* 1.0 (- (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* 2.0 a)))))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (sqrt (- (* g g) (* h h)))))) (* (exp (* 1/3 (- (+ (log (/ -1 g)) (+ (log (/ -1 a)) (log 1/2))) (* 2 (log (/ -1 h)))))) (cbrt -0.5))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) g))) (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (- (neg g) (sqrt (- (* g g) (* h h))))))))>)
6.961 * * * [regime]: Found split indices: #<option (#s(si 10 131) #s(si 19 255))>
6.963 * [binary-search]: Improving bounds with binary search for g and (#<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (* (* (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))))) (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt (* (/ 1.0 (* 2.0 a)) (- (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3)))) (cbrt (+ (* (neg g) (neg g)) (+ (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (/ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3)))) (cbrt (+ (* (neg g) (neg g)) (- (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (/ (cbrt (* 1.0 (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* 2.0 a))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (exp (log (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (log (exp (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (* (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h))))) (cbrt (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (exp (log (sqrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt (* 1.0 (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))))))) (cbrt (* (* 2.0 a) (+ (neg g) (sqrt (- (* g g) (* h h)))))))))> #<alt (λ (g h a) (+ (/ (cbrt (* 1.0 (+ (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3)))) (cbrt (* (* 2.0 a) (+ (* (neg g) (neg g)) (- (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h))))))))) (/ (cbrt (* 1.0 (- (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* 2.0 a)))))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (* (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h))))) (cbrt (sqrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (pow (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))) 1/3)))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt (* (/ 1.0 (* 2.0 a)) (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))))))) (cbrt (+ (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (/ (cbrt (* 1.0 (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))))))) (cbrt (* (* 2.0 a) (- (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (exp (log (sqrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (cbrt (pow (sqrt (- (* g g) (* h h))) 3))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (* (cbrt -0.5) (exp (* 1/3 (- (+ (log 2) (log (/ -1 a))) (log (/ -1 g)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (* (fabs (cbrt (- (* g g) (* h h)))) (sqrt (cbrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt (* 1.0 (- (neg g) g))) (cbrt (* 2.0 a)))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) g))) (/ (cbrt (* 1.0 (- (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* 2.0 a)))))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (sqrt (- (* g g) (* h h)))))) (* (exp (* 1/3 (- (+ (log (/ -1 g)) (+ (log (/ -1 a)) (log 1/2))) (* 2 (log (/ -1 h)))))) (cbrt -0.5))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) g))) (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (- (neg g) (sqrt (- (* g g) (* h h))))))))>)
7.137 * [regimes]: Found splitpoints: (#s(sp 10 g -1.403278230661678e-171) #s(sp 19 g +nan.0)) , with alts (#<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (* (* (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))))) (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt (* (/ 1.0 (* 2.0 a)) (- (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3)))) (cbrt (+ (* (neg g) (neg g)) (+ (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (/ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3)))) (cbrt (+ (* (neg g) (neg g)) (- (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (/ (cbrt (* 1.0 (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* 2.0 a))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (exp (log (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (log (exp (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (* (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h))))) (cbrt (sqrt (- (* g g) (* h h))))))))))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (exp (log (sqrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt (* 1.0 (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))))))) (cbrt (* (* 2.0 a) (+ (neg g) (sqrt (- (* g g) (* h h)))))))))> #<alt (λ (g h a) (+ (/ (cbrt (* 1.0 (+ (pow (neg g) 3) (pow (sqrt (- (* g g) (* h h))) 3)))) (cbrt (* (* 2.0 a) (+ (* (neg g) (neg g)) (- (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (neg g) (sqrt (- (* g g) (* h h))))))))) (/ (cbrt (* 1.0 (- (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* 2.0 a)))))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (* (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h))))) (cbrt (sqrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (pow (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))) 1/3)))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt (* (/ 1.0 (* 2.0 a)) (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))))))) (cbrt (+ (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (/ (cbrt (* 1.0 (- (* (neg g) (neg g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))))))) (cbrt (* (* 2.0 a) (- (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (exp (log (sqrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (cbrt (pow (sqrt (- (* g g) (* h h))) 3))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (* (cbrt -0.5) (exp (* 1/3 (- (+ (log 2) (log (/ -1 a))) (log (/ -1 g)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (* (fabs (cbrt (- (* g g) (* h h)))) (sqrt (cbrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt (* 1.0 (- (neg g) g))) (cbrt (* 2.0 a)))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) g))) (/ (cbrt (* 1.0 (- (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* 2.0 a)))))> #<alt (λ (g h a) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (sqrt (- (* g g) (* h h)))))) (* (exp (* 1/3 (- (+ (log (/ -1 g)) (+ (log (/ -1 a)) (log 1/2))) (* 2 (log (/ -1 h)))))) (cbrt -0.5))))> #<alt (λ (g h a) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) g))) (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (- (neg g) (sqrt (- (* g g) (* h h))))))))>)
7.138 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (if (<= g -1.403278230661678e-171) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (* (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h))))) (cbrt (sqrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt (* 1.0 (- (neg g) g))) (cbrt (* 2.0 a)))))
7.139 * * [simplify]: iteration  0 :  45  enodes  (cost  53 )
7.139 * * [simplify]: iteration  1 :  45  enodes  (cost  53 )
7.140 * [simplify]: Simplified to:
  (if (<= g -1.403278230661678e-171) (+ (* (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (neg g) (* (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h))))) (cbrt (sqrt (- (* g g) (* h h)))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))) (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt (* 1.0 (- (neg g) g))) (cbrt (* 2.0 a)))))