3.756 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.188 * * * [progress]: [2/2] Setting up program.
0.191 * [progress]: [Phase 2 of 3] Improving.
0.192 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 2 (cos.f64 (+.f64 (/.f64 (*.f64 2 PI.f64) 3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
0.197 * * [simplify]: iteration  0 :  53  enodes  (cost  14 )
0.197 * * [simplify]: iteration  1 :  53  enodes  (cost  14 )
0.198 * [simplify]: Simplified to:
   (*.f64 2 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
0.202 * * [progress]: iteration 1 / 4
0.202 * * * [progress]: picking best candidate
0.207 * * * * [pick]: Picked  #<alt (λ (g h) (*.f64 2 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))))>
0.207 * * * [progress]: localizing error
0.219 * * * [progress]: generating rewritten candidates
0.219 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
0.223 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
0.231 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2)
0.234 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
0.243 * * * [progress]: generating series expansions
0.244 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1)
0.244 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
0.244 * [approximate]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) in (g h) around 0
0.244 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) in h
0.244 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in h
0.244 * [taylor]: Taking taylor expansion of 1/3 in h
0.244 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
0.244 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h
0.244 * [taylor]: Taking taylor expansion of 2/3 in h
0.244 * [taylor]: Taking taylor expansion of PI in h
0.244 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) in g
0.244 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in g
0.244 * [taylor]: Taking taylor expansion of 1/3 in g
0.244 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
0.244 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g
0.244 * [taylor]: Taking taylor expansion of 2/3 in g
0.244 * [taylor]: Taking taylor expansion of PI in g
0.244 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) in g
0.244 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in g
0.244 * [taylor]: Taking taylor expansion of 1/3 in g
0.244 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
0.244 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g
0.244 * [taylor]: Taking taylor expansion of 2/3 in g
0.244 * [taylor]: Taking taylor expansion of PI in g
0.245 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) in h
0.245 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in h
0.245 * [taylor]: Taking taylor expansion of 1/3 in h
0.245 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
0.245 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h
0.245 * [taylor]: Taking taylor expansion of 2/3 in h
0.245 * [taylor]: Taking taylor expansion of PI in h
0.245 * [taylor]: Taking taylor expansion of 0 in h
0.246 * [taylor]: Taking taylor expansion of 0 in h
0.246 * [taylor]: Taking taylor expansion of 0 in h
0.246 * [approximate]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in (g h) around 0
0.246 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in h
0.246 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h
0.246 * [taylor]: Taking taylor expansion of 1/3 in h
0.246 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.246 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h
0.246 * [taylor]: Taking taylor expansion of 2/3 in h
0.246 * [taylor]: Taking taylor expansion of PI in h
0.246 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in g
0.246 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g
0.247 * [taylor]: Taking taylor expansion of 1/3 in g
0.247 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.247 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g
0.247 * [taylor]: Taking taylor expansion of 2/3 in g
0.247 * [taylor]: Taking taylor expansion of PI in g
0.247 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in g
0.247 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g
0.247 * [taylor]: Taking taylor expansion of 1/3 in g
0.247 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.247 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g
0.247 * [taylor]: Taking taylor expansion of 2/3 in g
0.247 * [taylor]: Taking taylor expansion of PI in g
0.247 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in h
0.247 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h
0.247 * [taylor]: Taking taylor expansion of 1/3 in h
0.247 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.247 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h
0.247 * [taylor]: Taking taylor expansion of 2/3 in h
0.247 * [taylor]: Taking taylor expansion of PI in h
0.248 * [taylor]: Taking taylor expansion of 0 in h
0.248 * [taylor]: Taking taylor expansion of 0 in h
0.248 * [taylor]: Taking taylor expansion of 0 in h
0.249 * [approximate]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in (g h) around 0
0.249 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in h
0.249 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h
0.249 * [taylor]: Taking taylor expansion of 1/3 in h
0.249 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.249 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h
0.249 * [taylor]: Taking taylor expansion of 2/3 in h
0.249 * [taylor]: Taking taylor expansion of PI in h
0.249 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in g
0.249 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g
0.249 * [taylor]: Taking taylor expansion of 1/3 in g
0.249 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.249 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g
0.249 * [taylor]: Taking taylor expansion of 2/3 in g
0.249 * [taylor]: Taking taylor expansion of PI in g
0.249 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in g
0.249 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g
0.249 * [taylor]: Taking taylor expansion of 1/3 in g
0.249 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.249 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g
0.249 * [taylor]: Taking taylor expansion of 2/3 in g
0.249 * [taylor]: Taking taylor expansion of PI in g
0.249 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in h
0.249 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h
0.249 * [taylor]: Taking taylor expansion of 1/3 in h
0.249 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.249 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h
0.250 * [taylor]: Taking taylor expansion of 2/3 in h
0.250 * [taylor]: Taking taylor expansion of PI in h
0.250 * [taylor]: Taking taylor expansion of 0 in h
0.250 * [taylor]: Taking taylor expansion of 0 in h
0.251 * [taylor]: Taking taylor expansion of 0 in h
0.251 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2)
0.251 * [approximate]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in (g h) around 0
0.251 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in h
0.251 * [taylor]: Taking taylor expansion of 1/3 in h
0.251 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
0.251 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in g
0.251 * [taylor]: Taking taylor expansion of 1/3 in g
0.251 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
0.251 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in g
0.251 * [taylor]: Taking taylor expansion of 1/3 in g
0.251 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
0.251 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in h
0.251 * [taylor]: Taking taylor expansion of 1/3 in h
0.251 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
0.252 * [taylor]: Taking taylor expansion of 0 in h
0.252 * [taylor]: Taking taylor expansion of 0 in h
0.252 * [taylor]: Taking taylor expansion of 0 in h
0.252 * [approximate]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in (g h) around 0
0.252 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h
0.253 * [taylor]: Taking taylor expansion of 1/3 in h
0.253 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.253 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g
0.253 * [taylor]: Taking taylor expansion of 1/3 in g
0.253 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.253 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g
0.253 * [taylor]: Taking taylor expansion of 1/3 in g
0.253 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.253 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h
0.253 * [taylor]: Taking taylor expansion of 1/3 in h
0.253 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.253 * [taylor]: Taking taylor expansion of 0 in h
0.253 * [taylor]: Taking taylor expansion of 0 in h
0.254 * [taylor]: Taking taylor expansion of 0 in h
0.254 * [approximate]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in (g h) around 0
0.254 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h
0.254 * [taylor]: Taking taylor expansion of 1/3 in h
0.254 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.254 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g
0.254 * [taylor]: Taking taylor expansion of 1/3 in g
0.254 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.254 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g
0.254 * [taylor]: Taking taylor expansion of 1/3 in g
0.254 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.254 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h
0.254 * [taylor]: Taking taylor expansion of 1/3 in h
0.254 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.255 * [taylor]: Taking taylor expansion of 0 in h
0.255 * [taylor]: Taking taylor expansion of 0 in h
0.255 * [taylor]: Taking taylor expansion of 0 in h
0.255 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
0.255 * [approximate]: Taking taylor expansion of (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) in (g h) around 0
0.255 * [taylor]: Taking taylor expansion of (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) in h
0.255 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) in h
0.256 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in h
0.256 * [taylor]: Taking taylor expansion of 1/3 in h
0.256 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
0.256 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h
0.256 * [taylor]: Taking taylor expansion of 2/3 in h
0.256 * [taylor]: Taking taylor expansion of PI in h
0.256 * [taylor]: Taking taylor expansion of (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) in g
0.256 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) in g
0.256 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in g
0.256 * [taylor]: Taking taylor expansion of 1/3 in g
0.256 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
0.256 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g
0.256 * [taylor]: Taking taylor expansion of 2/3 in g
0.256 * [taylor]: Taking taylor expansion of PI in g
0.257 * [taylor]: Taking taylor expansion of (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) in g
0.257 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) in g
0.257 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in g
0.257 * [taylor]: Taking taylor expansion of 1/3 in g
0.257 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
0.257 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g
0.257 * [taylor]: Taking taylor expansion of 2/3 in g
0.257 * [taylor]: Taking taylor expansion of PI in g
0.258 * [taylor]: Taking taylor expansion of (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) in h
0.258 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)) in h
0.258 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ g h)))) in h
0.258 * [taylor]: Taking taylor expansion of 1/3 in h
0.258 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
0.258 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h
0.258 * [taylor]: Taking taylor expansion of 2/3 in h
0.258 * [taylor]: Taking taylor expansion of PI in h
0.260 * [taylor]: Taking taylor expansion of 0 in h
0.261 * [taylor]: Taking taylor expansion of 0 in h
0.262 * [taylor]: Taking taylor expansion of 0 in h
0.263 * [approximate]: Taking taylor expansion of (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) in (g h) around 0
0.263 * [taylor]: Taking taylor expansion of (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) in h
0.263 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in h
0.263 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h
0.263 * [taylor]: Taking taylor expansion of 1/3 in h
0.263 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.263 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h
0.263 * [taylor]: Taking taylor expansion of 2/3 in h
0.263 * [taylor]: Taking taylor expansion of PI in h
0.263 * [taylor]: Taking taylor expansion of (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) in g
0.263 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in g
0.263 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g
0.263 * [taylor]: Taking taylor expansion of 1/3 in g
0.263 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.263 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g
0.264 * [taylor]: Taking taylor expansion of 2/3 in g
0.264 * [taylor]: Taking taylor expansion of PI in g
0.264 * [taylor]: Taking taylor expansion of (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) in g
0.264 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in g
0.264 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g
0.264 * [taylor]: Taking taylor expansion of 1/3 in g
0.264 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.264 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g
0.264 * [taylor]: Taking taylor expansion of 2/3 in g
0.264 * [taylor]: Taking taylor expansion of PI in g
0.265 * [taylor]: Taking taylor expansion of (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) in h
0.265 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in h
0.265 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h
0.265 * [taylor]: Taking taylor expansion of 1/3 in h
0.265 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.265 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h
0.265 * [taylor]: Taking taylor expansion of 2/3 in h
0.265 * [taylor]: Taking taylor expansion of PI in h
0.266 * [taylor]: Taking taylor expansion of 0 in h
0.267 * [taylor]: Taking taylor expansion of 0 in h
0.269 * [taylor]: Taking taylor expansion of 0 in h
0.269 * [approximate]: Taking taylor expansion of (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) in (g h) around 0
0.269 * [taylor]: Taking taylor expansion of (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) in h
0.269 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in h
0.269 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h
0.269 * [taylor]: Taking taylor expansion of 1/3 in h
0.269 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.269 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h
0.269 * [taylor]: Taking taylor expansion of 2/3 in h
0.269 * [taylor]: Taking taylor expansion of PI in h
0.270 * [taylor]: Taking taylor expansion of (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) in g
0.270 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in g
0.270 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g
0.270 * [taylor]: Taking taylor expansion of 1/3 in g
0.270 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.270 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g
0.270 * [taylor]: Taking taylor expansion of 2/3 in g
0.270 * [taylor]: Taking taylor expansion of PI in g
0.270 * [taylor]: Taking taylor expansion of (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) in g
0.270 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in g
0.270 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in g
0.270 * [taylor]: Taking taylor expansion of 1/3 in g
0.270 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.270 * [taylor]: Taking taylor expansion of (* 2/3 PI) in g
0.270 * [taylor]: Taking taylor expansion of 2/3 in g
0.270 * [taylor]: Taking taylor expansion of PI in g
0.271 * [taylor]: Taking taylor expansion of (cos (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI))) in h
0.271 * [taylor]: Taking taylor expansion of (+ (* 1/3 (acos (* -1 (/ h g)))) (* 2/3 PI)) in h
0.271 * [taylor]: Taking taylor expansion of (* 1/3 (acos (* -1 (/ h g)))) in h
0.271 * [taylor]: Taking taylor expansion of 1/3 in h
0.271 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.271 * [taylor]: Taking taylor expansion of (* 2/3 PI) in h
0.271 * [taylor]: Taking taylor expansion of 2/3 in h
0.271 * [taylor]: Taking taylor expansion of PI in h
0.273 * [taylor]: Taking taylor expansion of 0 in h
0.274 * [taylor]: Taking taylor expansion of 0 in h
0.275 * [taylor]: Taking taylor expansion of 0 in h
0.275 * * * [progress]: simplifying candidates
0.276 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 PI.f64 2/3)
  (+.f64 (log.f64 PI.f64) (log.f64 2/3))
  (log.f64 (*.f64 PI.f64 2/3))
  (exp.f64 (*.f64 PI.f64 2/3))
  (*.f64 (*.f64 (*.f64 PI.f64 PI.f64) PI.f64) (*.f64 (*.f64 2/3 2/3) 2/3))
  (*.f64 (cbrt.f64 (*.f64 PI.f64 2/3)) (cbrt.f64 (*.f64 PI.f64 2/3)))
  (cbrt.f64 (*.f64 PI.f64 2/3))
  (*.f64 (*.f64 (*.f64 PI.f64 2/3) (*.f64 PI.f64 2/3)) (*.f64 PI.f64 2/3))
  (sqrt.f64 (*.f64 PI.f64 2/3))
  (sqrt.f64 (*.f64 PI.f64 2/3))
  (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 2/3))
  (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 2/3))
  (*.f64 PI.f64 (*.f64 (cbrt.f64 2/3) (cbrt.f64 2/3)))
  (*.f64 PI.f64 (sqrt.f64 2/3))
  (*.f64 PI.f64 1)
  (*.f64 (cbrt.f64 PI.f64) 2/3)
  (*.f64 (sqrt.f64 PI.f64) 2/3)
  (*.f64 PI.f64 2/3)
  (*.f64 (exp.f64 (*.f64 PI.f64 2/3)) (exp.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
  (log.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
  (exp.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (cbrt.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
  (cbrt.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
  (*.f64 (*.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
  (sqrt.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
  (sqrt.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
  (+.f64 (pow.f64 (*.f64 PI.f64 2/3) 3) (pow.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3) 3))
  (+.f64 (*.f64 (*.f64 PI.f64 2/3) (*.f64 PI.f64 2/3)) (-.f64 (*.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) (*.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
  (-.f64 (*.f64 (*.f64 PI.f64 2/3) (*.f64 PI.f64 2/3)) (*.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
  (-.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))
  (+.f64 (*.f64 PI.f64 2/3) (/.f64 (/.f64 PI.f64 2) 3))
  (+.f64 (*.f64 PI.f64 2/3) (/.f64 PI.f64 3))
  (-.f64 (log.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (log.f64 3))
  (log.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))
  (exp.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))
  (/.f64 (*.f64 (*.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (acos.f64 (/.f64 (neg.f64 g) h))) (acos.f64 (/.f64 (neg.f64 g) h))) (*.f64 (*.f64 3 3) 3))
  (*.f64 (cbrt.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) (cbrt.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
  (cbrt.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))
  (*.f64 (*.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))
  (sqrt.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))
  (sqrt.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))
  (neg.f64 (acos.f64 (/.f64 (neg.f64 g) h)))
  (neg.f64 3)
  (/.f64 (/.f64 PI.f64 2) 3)
  (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)
  (/.f64 PI.f64 3)
  (/.f64 (acos.f64 (/.f64 g h)) 3)
  (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h)))) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (/.f64 (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (cbrt.f64 3))
  (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h)))) (sqrt.f64 3))
  (/.f64 (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (sqrt.f64 3))
  (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h)))) 1)
  (/.f64 (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) 3)
  (/.f64 (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (/.f64 (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (cbrt.f64 3))
  (/.f64 (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (sqrt.f64 3))
  (/.f64 (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (sqrt.f64 3))
  (/.f64 (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) 1)
  (/.f64 (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) 3)
  (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (cbrt.f64 3))
  (/.f64 1 (sqrt.f64 3))
  (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (sqrt.f64 3))
  (/.f64 1 1)
  (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)
  (/.f64 1 3)
  (/.f64 3 (acos.f64 (/.f64 (neg.f64 g) h)))
  (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (sqrt.f64 3))
  (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 1)
  (/.f64 3 (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))))
  (/.f64 3 (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))))
  (/.f64 3 (acos.f64 (/.f64 (neg.f64 g) h)))
  (*.f64 (cos.f64 (*.f64 PI.f64 2/3)) (cos.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
  (*.f64 (sin.f64 (*.f64 PI.f64 2/3)) (sin.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
  (*.f64 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (/.f64 PI.f64 2) 3))) (cos.f64 (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)))
  (*.f64 (sin.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (/.f64 PI.f64 2) 3))) (sin.f64 (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)))
  (*.f64 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 PI.f64 3))) (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)))
  (*.f64 (sin.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 PI.f64 3))) (sin.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)))
  (log.f64 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
  (exp.f64 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
  (*.f64 (cbrt.f64 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))) (cbrt.f64 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))))
  (cbrt.f64 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
  (*.f64 (*.f64 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))) (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
  (sqrt.f64 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
  (sqrt.f64 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
  (*.f64 2 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
  (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 PI.f64))
  (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 PI.f64))
  (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 PI.f64))
  (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
  (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
  (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h))))
  (cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 PI.f64)))
  (cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 PI.f64)))
  (cos.f64 (+.f64 (*.f64 1/3 (acos.f64 (*.f64 -1 (/.f64 g h)))) (*.f64 2/3 PI.f64)))
0.342 * * [simplify]: iteration  0 :  5026  enodes  (cost  857 )
0.346 * [simplify]: Simplified to:
   (*.f64 PI.f64 2/3)
  (log.f64 (*.f64 PI.f64 2/3))
  (log.f64 (*.f64 PI.f64 2/3))
  (exp.f64 (*.f64 PI.f64 2/3))
  (*.f64 (pow.f64 PI.f64 3) 8/27)
  (*.f64 (cbrt.f64 (*.f64 PI.f64 2/3)) (cbrt.f64 (*.f64 PI.f64 2/3)))
  (cbrt.f64 (*.f64 PI.f64 2/3))
  (*.f64 (pow.f64 PI.f64 3) 8/27)
  (sqrt.f64 (*.f64 PI.f64 2/3))
  (sqrt.f64 (*.f64 PI.f64 2/3))
  (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 2/3))
  (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 2/3))
  (*.f64 PI.f64 (*.f64 (cbrt.f64 2/3) (cbrt.f64 2/3)))
  (*.f64 PI.f64 (sqrt.f64 2/3))
  PI.f64
  (*.f64 2/3 (cbrt.f64 PI.f64))
  (*.f64 2/3 (sqrt.f64 PI.f64))
  (*.f64 PI.f64 2/3)
  (*.f64 (exp.f64 (*.f64 PI.f64 2/3)) (cbrt.f64 (exp.f64 (acos.f64 (/.f64 (neg.f64 g) h)))))
  (log.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
  (*.f64 (exp.f64 (*.f64 PI.f64 2/3)) (cbrt.f64 (exp.f64 (acos.f64 (/.f64 (neg.f64 g) h)))))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) (cbrt.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
  (cbrt.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
  (pow.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) 3)
  (sqrt.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
  (sqrt.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
  (+.f64 (*.f64 (pow.f64 PI.f64 3) 8/27) (pow.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3) 3))
  (+.f64 (*.f64 (*.f64 PI.f64 PI.f64) 4/9) (*.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (+.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 9) (*.f64 -2/9 PI.f64))))
  (-.f64 (*.f64 (*.f64 PI.f64 PI.f64) 4/9) (*.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 9)))
  (-.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))
  (*.f64 PI.f64 5/6)
  PI.f64
  (log.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))
  (log.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))
  (cbrt.f64 (exp.f64 (acos.f64 (/.f64 (neg.f64 g) h))))
  (pow.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3) 3)
  (*.f64 (cbrt.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)) (cbrt.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
  (cbrt.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))
  (pow.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3) 3)
  (sqrt.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))
  (sqrt.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))
  (neg.f64 (acos.f64 (/.f64 (neg.f64 g) h)))
  -3
  (*.f64 PI.f64 1/6)
  (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)
  (/.f64 PI.f64 3)
  (/.f64 (acos.f64 (/.f64 g h)) 3)
  (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h)))) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (/.f64 (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (cbrt.f64 3))
  (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h)))) (sqrt.f64 3))
  (/.f64 (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (sqrt.f64 3))
  (*.f64 (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))))
  (/.f64 (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) 3)
  (/.f64 (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (/.f64 (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (cbrt.f64 3))
  (/.f64 (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (sqrt.f64 3))
  (/.f64 (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) (sqrt.f64 3))
  (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h)))
  (/.f64 (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))) 3)
  (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (cbrt.f64 3))
  (/.f64 1 (sqrt.f64 3))
  (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (sqrt.f64 3))
  1
  (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)
  1/3
  (/.f64 3 (acos.f64 (/.f64 (neg.f64 g) h)))
  (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) (sqrt.f64 3))
  (acos.f64 (/.f64 (neg.f64 g) h))
  (/.f64 3 (cbrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))))
  (/.f64 3 (sqrt.f64 (acos.f64 (/.f64 (neg.f64 g) h))))
  (/.f64 3 (acos.f64 (/.f64 (neg.f64 g) h)))
  (*.f64 (cos.f64 (*.f64 PI.f64 2/3)) (cos.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
  (*.f64 (sin.f64 (*.f64 PI.f64 2/3)) (sin.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
  (*.f64 (cos.f64 (*.f64 PI.f64 5/6)) (cos.f64 (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)))
  (*.f64 (sin.f64 (*.f64 PI.f64 5/6)) (sin.f64 (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)))
  (neg.f64 (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)))
  0
  (log.f64 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
  (exp.f64 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
  (*.f64 (cbrt.f64 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))) (cbrt.f64 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))))
  (cbrt.f64 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
  (pow.f64 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))) 3)
  (sqrt.f64 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
  (sqrt.f64 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
  (*.f64 2 (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
  (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))
  (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))
  (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))
  (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)
  (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)
  (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)
  (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
  (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
  (cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
0.347 * * * [progress]: adding candidates to table
0.420 * * [progress]: iteration 2 / 4
0.420 * * * [progress]: picking best candidate
0.424 * * * * [pick]: Picked  #<alt (λ (g h) (*.f64 2 (cos.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)))))>
0.424 * * * [progress]: localizing error
0.436 * * * [progress]: generating rewritten candidates
0.436 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.443 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2)
0.447 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
0.453 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1)
0.456 * * * [progress]: generating series expansions
0.456 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.456 * [approximate]: Taking taylor expansion of (cos (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ g h)))))) in (g h) around 0
0.456 * [taylor]: Taking taylor expansion of (cos (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ g h)))))) in h
0.456 * [taylor]: Taking taylor expansion of (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ g h))))) in h
0.456 * [taylor]: Taking taylor expansion of (* 5/6 PI) in h
0.456 * [taylor]: Taking taylor expansion of 5/6 in h
0.456 * [taylor]: Taking taylor expansion of PI in h
0.456 * [taylor]: Taking taylor expansion of (* 1/3 (asin (* -1 (/ g h)))) in h
0.456 * [taylor]: Taking taylor expansion of 1/3 in h
0.456 * [taylor]: Taking taylor expansion of (asin (* -1 (/ g h))) in h
0.457 * [taylor]: Taking taylor expansion of (cos (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ g h)))))) in g
0.457 * [taylor]: Taking taylor expansion of (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ g h))))) in g
0.457 * [taylor]: Taking taylor expansion of (* 5/6 PI) in g
0.457 * [taylor]: Taking taylor expansion of 5/6 in g
0.457 * [taylor]: Taking taylor expansion of PI in g
0.457 * [taylor]: Taking taylor expansion of (* 1/3 (asin (* -1 (/ g h)))) in g
0.457 * [taylor]: Taking taylor expansion of 1/3 in g
0.457 * [taylor]: Taking taylor expansion of (asin (* -1 (/ g h))) in g
0.457 * [taylor]: Taking taylor expansion of (cos (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ g h)))))) in g
0.457 * [taylor]: Taking taylor expansion of (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ g h))))) in g
0.457 * [taylor]: Taking taylor expansion of (* 5/6 PI) in g
0.457 * [taylor]: Taking taylor expansion of 5/6 in g
0.457 * [taylor]: Taking taylor expansion of PI in g
0.457 * [taylor]: Taking taylor expansion of (* 1/3 (asin (* -1 (/ g h)))) in g
0.457 * [taylor]: Taking taylor expansion of 1/3 in g
0.458 * [taylor]: Taking taylor expansion of (asin (* -1 (/ g h))) in g
0.458 * [taylor]: Taking taylor expansion of (cos (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ g h)))))) in h
0.458 * [taylor]: Taking taylor expansion of (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ g h))))) in h
0.458 * [taylor]: Taking taylor expansion of (* 5/6 PI) in h
0.458 * [taylor]: Taking taylor expansion of 5/6 in h
0.459 * [taylor]: Taking taylor expansion of PI in h
0.459 * [taylor]: Taking taylor expansion of (* 1/3 (asin (* -1 (/ g h)))) in h
0.459 * [taylor]: Taking taylor expansion of 1/3 in h
0.459 * [taylor]: Taking taylor expansion of (asin (* -1 (/ g h))) in h
0.460 * [taylor]: Taking taylor expansion of 0 in h
0.461 * [taylor]: Taking taylor expansion of 0 in h
0.462 * [taylor]: Taking taylor expansion of 0 in h
0.463 * [approximate]: Taking taylor expansion of (cos (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ h g)))))) in (g h) around 0
0.463 * [taylor]: Taking taylor expansion of (cos (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ h g)))))) in h
0.463 * [taylor]: Taking taylor expansion of (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ h g))))) in h
0.463 * [taylor]: Taking taylor expansion of (* 5/6 PI) in h
0.463 * [taylor]: Taking taylor expansion of 5/6 in h
0.463 * [taylor]: Taking taylor expansion of PI in h
0.463 * [taylor]: Taking taylor expansion of (* 1/3 (asin (* -1 (/ h g)))) in h
0.463 * [taylor]: Taking taylor expansion of 1/3 in h
0.463 * [taylor]: Taking taylor expansion of (asin (* -1 (/ h g))) in h
0.463 * [taylor]: Taking taylor expansion of (cos (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ h g)))))) in g
0.463 * [taylor]: Taking taylor expansion of (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ h g))))) in g
0.463 * [taylor]: Taking taylor expansion of (* 5/6 PI) in g
0.463 * [taylor]: Taking taylor expansion of 5/6 in g
0.463 * [taylor]: Taking taylor expansion of PI in g
0.464 * [taylor]: Taking taylor expansion of (* 1/3 (asin (* -1 (/ h g)))) in g
0.464 * [taylor]: Taking taylor expansion of 1/3 in g
0.464 * [taylor]: Taking taylor expansion of (asin (* -1 (/ h g))) in g
0.464 * [taylor]: Taking taylor expansion of (cos (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ h g)))))) in g
0.464 * [taylor]: Taking taylor expansion of (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ h g))))) in g
0.464 * [taylor]: Taking taylor expansion of (* 5/6 PI) in g
0.464 * [taylor]: Taking taylor expansion of 5/6 in g
0.464 * [taylor]: Taking taylor expansion of PI in g
0.464 * [taylor]: Taking taylor expansion of (* 1/3 (asin (* -1 (/ h g)))) in g
0.464 * [taylor]: Taking taylor expansion of 1/3 in g
0.464 * [taylor]: Taking taylor expansion of (asin (* -1 (/ h g))) in g
0.465 * [taylor]: Taking taylor expansion of (cos (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ h g)))))) in h
0.465 * [taylor]: Taking taylor expansion of (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ h g))))) in h
0.465 * [taylor]: Taking taylor expansion of (* 5/6 PI) in h
0.465 * [taylor]: Taking taylor expansion of 5/6 in h
0.465 * [taylor]: Taking taylor expansion of PI in h
0.465 * [taylor]: Taking taylor expansion of (* 1/3 (asin (* -1 (/ h g)))) in h
0.465 * [taylor]: Taking taylor expansion of 1/3 in h
0.465 * [taylor]: Taking taylor expansion of (asin (* -1 (/ h g))) in h
0.467 * [taylor]: Taking taylor expansion of 0 in h
0.468 * [taylor]: Taking taylor expansion of 0 in h
0.469 * [taylor]: Taking taylor expansion of 0 in h
0.469 * [approximate]: Taking taylor expansion of (cos (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ h g)))))) in (g h) around 0
0.469 * [taylor]: Taking taylor expansion of (cos (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ h g)))))) in h
0.469 * [taylor]: Taking taylor expansion of (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ h g))))) in h
0.469 * [taylor]: Taking taylor expansion of (* 5/6 PI) in h
0.470 * [taylor]: Taking taylor expansion of 5/6 in h
0.470 * [taylor]: Taking taylor expansion of PI in h
0.470 * [taylor]: Taking taylor expansion of (* 1/3 (asin (* -1 (/ h g)))) in h
0.470 * [taylor]: Taking taylor expansion of 1/3 in h
0.470 * [taylor]: Taking taylor expansion of (asin (* -1 (/ h g))) in h
0.470 * [taylor]: Taking taylor expansion of (cos (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ h g)))))) in g
0.470 * [taylor]: Taking taylor expansion of (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ h g))))) in g
0.470 * [taylor]: Taking taylor expansion of (* 5/6 PI) in g
0.470 * [taylor]: Taking taylor expansion of 5/6 in g
0.470 * [taylor]: Taking taylor expansion of PI in g
0.470 * [taylor]: Taking taylor expansion of (* 1/3 (asin (* -1 (/ h g)))) in g
0.470 * [taylor]: Taking taylor expansion of 1/3 in g
0.470 * [taylor]: Taking taylor expansion of (asin (* -1 (/ h g))) in g
0.471 * [taylor]: Taking taylor expansion of (cos (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ h g)))))) in g
0.471 * [taylor]: Taking taylor expansion of (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ h g))))) in g
0.471 * [taylor]: Taking taylor expansion of (* 5/6 PI) in g
0.471 * [taylor]: Taking taylor expansion of 5/6 in g
0.471 * [taylor]: Taking taylor expansion of PI in g
0.471 * [taylor]: Taking taylor expansion of (* 1/3 (asin (* -1 (/ h g)))) in g
0.471 * [taylor]: Taking taylor expansion of 1/3 in g
0.471 * [taylor]: Taking taylor expansion of (asin (* -1 (/ h g))) in g
0.474 * [taylor]: Taking taylor expansion of (cos (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ h g)))))) in h
0.474 * [taylor]: Taking taylor expansion of (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ h g))))) in h
0.474 * [taylor]: Taking taylor expansion of (* 5/6 PI) in h
0.474 * [taylor]: Taking taylor expansion of 5/6 in h
0.474 * [taylor]: Taking taylor expansion of PI in h
0.474 * [taylor]: Taking taylor expansion of (* 1/3 (asin (* -1 (/ h g)))) in h
0.474 * [taylor]: Taking taylor expansion of 1/3 in h
0.474 * [taylor]: Taking taylor expansion of (asin (* -1 (/ h g))) in h
0.476 * [taylor]: Taking taylor expansion of 0 in h
0.477 * [taylor]: Taking taylor expansion of 0 in h
0.478 * [taylor]: Taking taylor expansion of 0 in h
0.478 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2)
0.478 * [approximate]: Taking taylor expansion of (* 1/3 (asin (* -1 (/ g h)))) in (g h) around 0
0.478 * [taylor]: Taking taylor expansion of (* 1/3 (asin (* -1 (/ g h)))) in h
0.479 * [taylor]: Taking taylor expansion of 1/3 in h
0.479 * [taylor]: Taking taylor expansion of (asin (* -1 (/ g h))) in h
0.479 * [taylor]: Taking taylor expansion of (* 1/3 (asin (* -1 (/ g h)))) in g
0.479 * [taylor]: Taking taylor expansion of 1/3 in g
0.479 * [taylor]: Taking taylor expansion of (asin (* -1 (/ g h))) in g
0.479 * [taylor]: Taking taylor expansion of (* 1/3 (asin (* -1 (/ g h)))) in g
0.479 * [taylor]: Taking taylor expansion of 1/3 in g
0.479 * [taylor]: Taking taylor expansion of (asin (* -1 (/ g h))) in g
0.479 * [taylor]: Taking taylor expansion of (* 1/3 (asin (* -1 (/ g h)))) in h
0.479 * [taylor]: Taking taylor expansion of 1/3 in h
0.479 * [taylor]: Taking taylor expansion of (asin (* -1 (/ g h))) in h
0.479 * [taylor]: Taking taylor expansion of 0 in h
0.479 * [taylor]: Taking taylor expansion of 0 in h
0.480 * [taylor]: Taking taylor expansion of 0 in h
0.480 * [approximate]: Taking taylor expansion of (* 1/3 (asin (* -1 (/ h g)))) in (g h) around 0
0.480 * [taylor]: Taking taylor expansion of (* 1/3 (asin (* -1 (/ h g)))) in h
0.480 * [taylor]: Taking taylor expansion of 1/3 in h
0.480 * [taylor]: Taking taylor expansion of (asin (* -1 (/ h g))) in h
0.480 * [taylor]: Taking taylor expansion of (* 1/3 (asin (* -1 (/ h g)))) in g
0.480 * [taylor]: Taking taylor expansion of 1/3 in g
0.480 * [taylor]: Taking taylor expansion of (asin (* -1 (/ h g))) in g
0.480 * [taylor]: Taking taylor expansion of (* 1/3 (asin (* -1 (/ h g)))) in g
0.480 * [taylor]: Taking taylor expansion of 1/3 in g
0.480 * [taylor]: Taking taylor expansion of (asin (* -1 (/ h g))) in g
0.480 * [taylor]: Taking taylor expansion of (* 1/3 (asin (* -1 (/ h g)))) in h
0.480 * [taylor]: Taking taylor expansion of 1/3 in h
0.480 * [taylor]: Taking taylor expansion of (asin (* -1 (/ h g))) in h
0.481 * [taylor]: Taking taylor expansion of 0 in h
0.481 * [taylor]: Taking taylor expansion of 0 in h
0.481 * [taylor]: Taking taylor expansion of 0 in h
0.481 * [approximate]: Taking taylor expansion of (* 1/3 (asin (* -1 (/ h g)))) in (g h) around 0
0.481 * [taylor]: Taking taylor expansion of (* 1/3 (asin (* -1 (/ h g)))) in h
0.481 * [taylor]: Taking taylor expansion of 1/3 in h
0.481 * [taylor]: Taking taylor expansion of (asin (* -1 (/ h g))) in h
0.481 * [taylor]: Taking taylor expansion of (* 1/3 (asin (* -1 (/ h g)))) in g
0.482 * [taylor]: Taking taylor expansion of 1/3 in g
0.482 * [taylor]: Taking taylor expansion of (asin (* -1 (/ h g))) in g
0.482 * [taylor]: Taking taylor expansion of (* 1/3 (asin (* -1 (/ h g)))) in g
0.482 * [taylor]: Taking taylor expansion of 1/3 in g
0.482 * [taylor]: Taking taylor expansion of (asin (* -1 (/ h g))) in g
0.482 * [taylor]: Taking taylor expansion of (* 1/3 (asin (* -1 (/ h g)))) in h
0.482 * [taylor]: Taking taylor expansion of 1/3 in h
0.482 * [taylor]: Taking taylor expansion of (asin (* -1 (/ h g))) in h
0.482 * [taylor]: Taking taylor expansion of 0 in h
0.482 * [taylor]: Taking taylor expansion of 0 in h
0.483 * [taylor]: Taking taylor expansion of 0 in h
0.483 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
0.483 * [approximate]: Taking taylor expansion of (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ g h))))) in (g h) around 0
0.483 * [taylor]: Taking taylor expansion of (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ g h))))) in h
0.483 * [taylor]: Taking taylor expansion of (* 5/6 PI) in h
0.483 * [taylor]: Taking taylor expansion of 5/6 in h
0.483 * [taylor]: Taking taylor expansion of PI in h
0.483 * [taylor]: Taking taylor expansion of (* 1/3 (asin (* -1 (/ g h)))) in h
0.483 * [taylor]: Taking taylor expansion of 1/3 in h
0.483 * [taylor]: Taking taylor expansion of (asin (* -1 (/ g h))) in h
0.483 * [taylor]: Taking taylor expansion of (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ g h))))) in g
0.483 * [taylor]: Taking taylor expansion of (* 5/6 PI) in g
0.483 * [taylor]: Taking taylor expansion of 5/6 in g
0.483 * [taylor]: Taking taylor expansion of PI in g
0.483 * [taylor]: Taking taylor expansion of (* 1/3 (asin (* -1 (/ g h)))) in g
0.483 * [taylor]: Taking taylor expansion of 1/3 in g
0.483 * [taylor]: Taking taylor expansion of (asin (* -1 (/ g h))) in g
0.483 * [taylor]: Taking taylor expansion of (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ g h))))) in g
0.483 * [taylor]: Taking taylor expansion of (* 5/6 PI) in g
0.483 * [taylor]: Taking taylor expansion of 5/6 in g
0.483 * [taylor]: Taking taylor expansion of PI in g
0.483 * [taylor]: Taking taylor expansion of (* 1/3 (asin (* -1 (/ g h)))) in g
0.483 * [taylor]: Taking taylor expansion of 1/3 in g
0.483 * [taylor]: Taking taylor expansion of (asin (* -1 (/ g h))) in g
0.484 * [taylor]: Taking taylor expansion of (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ g h))))) in h
0.484 * [taylor]: Taking taylor expansion of (* 5/6 PI) in h
0.484 * [taylor]: Taking taylor expansion of 5/6 in h
0.484 * [taylor]: Taking taylor expansion of PI in h
0.484 * [taylor]: Taking taylor expansion of (* 1/3 (asin (* -1 (/ g h)))) in h
0.484 * [taylor]: Taking taylor expansion of 1/3 in h
0.484 * [taylor]: Taking taylor expansion of (asin (* -1 (/ g h))) in h
0.484 * [taylor]: Taking taylor expansion of 0 in h
0.485 * [taylor]: Taking taylor expansion of 0 in h
0.485 * [taylor]: Taking taylor expansion of 0 in h
0.485 * [approximate]: Taking taylor expansion of (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ h g))))) in (g h) around 0
0.485 * [taylor]: Taking taylor expansion of (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ h g))))) in h
0.485 * [taylor]: Taking taylor expansion of (* 5/6 PI) in h
0.485 * [taylor]: Taking taylor expansion of 5/6 in h
0.486 * [taylor]: Taking taylor expansion of PI in h
0.486 * [taylor]: Taking taylor expansion of (* 1/3 (asin (* -1 (/ h g)))) in h
0.486 * [taylor]: Taking taylor expansion of 1/3 in h
0.486 * [taylor]: Taking taylor expansion of (asin (* -1 (/ h g))) in h
0.486 * [taylor]: Taking taylor expansion of (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ h g))))) in g
0.486 * [taylor]: Taking taylor expansion of (* 5/6 PI) in g
0.486 * [taylor]: Taking taylor expansion of 5/6 in g
0.486 * [taylor]: Taking taylor expansion of PI in g
0.486 * [taylor]: Taking taylor expansion of (* 1/3 (asin (* -1 (/ h g)))) in g
0.486 * [taylor]: Taking taylor expansion of 1/3 in g
0.486 * [taylor]: Taking taylor expansion of (asin (* -1 (/ h g))) in g
0.486 * [taylor]: Taking taylor expansion of (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ h g))))) in g
0.486 * [taylor]: Taking taylor expansion of (* 5/6 PI) in g
0.486 * [taylor]: Taking taylor expansion of 5/6 in g
0.486 * [taylor]: Taking taylor expansion of PI in g
0.486 * [taylor]: Taking taylor expansion of (* 1/3 (asin (* -1 (/ h g)))) in g
0.486 * [taylor]: Taking taylor expansion of 1/3 in g
0.486 * [taylor]: Taking taylor expansion of (asin (* -1 (/ h g))) in g
0.486 * [taylor]: Taking taylor expansion of (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ h g))))) in h
0.486 * [taylor]: Taking taylor expansion of (* 5/6 PI) in h
0.486 * [taylor]: Taking taylor expansion of 5/6 in h
0.486 * [taylor]: Taking taylor expansion of PI in h
0.486 * [taylor]: Taking taylor expansion of (* 1/3 (asin (* -1 (/ h g)))) in h
0.486 * [taylor]: Taking taylor expansion of 1/3 in h
0.486 * [taylor]: Taking taylor expansion of (asin (* -1 (/ h g))) in h
0.487 * [taylor]: Taking taylor expansion of 0 in h
0.487 * [taylor]: Taking taylor expansion of 0 in h
0.488 * [taylor]: Taking taylor expansion of 0 in h
0.488 * [approximate]: Taking taylor expansion of (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ h g))))) in (g h) around 0
0.488 * [taylor]: Taking taylor expansion of (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ h g))))) in h
0.488 * [taylor]: Taking taylor expansion of (* 5/6 PI) in h
0.488 * [taylor]: Taking taylor expansion of 5/6 in h
0.488 * [taylor]: Taking taylor expansion of PI in h
0.488 * [taylor]: Taking taylor expansion of (* 1/3 (asin (* -1 (/ h g)))) in h
0.488 * [taylor]: Taking taylor expansion of 1/3 in h
0.488 * [taylor]: Taking taylor expansion of (asin (* -1 (/ h g))) in h
0.488 * [taylor]: Taking taylor expansion of (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ h g))))) in g
0.488 * [taylor]: Taking taylor expansion of (* 5/6 PI) in g
0.488 * [taylor]: Taking taylor expansion of 5/6 in g
0.488 * [taylor]: Taking taylor expansion of PI in g
0.488 * [taylor]: Taking taylor expansion of (* 1/3 (asin (* -1 (/ h g)))) in g
0.488 * [taylor]: Taking taylor expansion of 1/3 in g
0.488 * [taylor]: Taking taylor expansion of (asin (* -1 (/ h g))) in g
0.488 * [taylor]: Taking taylor expansion of (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ h g))))) in g
0.488 * [taylor]: Taking taylor expansion of (* 5/6 PI) in g
0.488 * [taylor]: Taking taylor expansion of 5/6 in g
0.488 * [taylor]: Taking taylor expansion of PI in g
0.488 * [taylor]: Taking taylor expansion of (* 1/3 (asin (* -1 (/ h g)))) in g
0.488 * [taylor]: Taking taylor expansion of 1/3 in g
0.488 * [taylor]: Taking taylor expansion of (asin (* -1 (/ h g))) in g
0.489 * [taylor]: Taking taylor expansion of (- (* 5/6 PI) (* 1/3 (asin (* -1 (/ h g))))) in h
0.489 * [taylor]: Taking taylor expansion of (* 5/6 PI) in h
0.489 * [taylor]: Taking taylor expansion of 5/6 in h
0.489 * [taylor]: Taking taylor expansion of PI in h
0.489 * [taylor]: Taking taylor expansion of (* 1/3 (asin (* -1 (/ h g)))) in h
0.489 * [taylor]: Taking taylor expansion of 1/3 in h
0.489 * [taylor]: Taking taylor expansion of (asin (* -1 (/ h g))) in h
0.489 * [taylor]: Taking taylor expansion of 0 in h
0.490 * [taylor]: Taking taylor expansion of 0 in h
0.490 * [taylor]: Taking taylor expansion of 0 in h
0.490 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1)
0.490 * [approximate]: Taking taylor expansion of (asin (* -1 (/ g h))) in (g h) around 0
0.491 * [taylor]: Taking taylor expansion of (asin (* -1 (/ g h))) in h
0.491 * [taylor]: Taking taylor expansion of (asin (* -1 (/ g h))) in g
0.491 * [taylor]: Taking taylor expansion of (asin (* -1 (/ g h))) in g
0.491 * [taylor]: Taking taylor expansion of (asin (* -1 (/ g h))) in h
0.491 * [taylor]: Taking taylor expansion of 0 in h
0.491 * [taylor]: Taking taylor expansion of 0 in h
0.491 * [taylor]: Taking taylor expansion of 0 in h
0.491 * [approximate]: Taking taylor expansion of (asin (* -1 (/ h g))) in (g h) around 0
0.491 * [taylor]: Taking taylor expansion of (asin (* -1 (/ h g))) in h
0.491 * [taylor]: Taking taylor expansion of (asin (* -1 (/ h g))) in g
0.491 * [taylor]: Taking taylor expansion of (asin (* -1 (/ h g))) in g
0.491 * [taylor]: Taking taylor expansion of (asin (* -1 (/ h g))) in h
0.492 * [taylor]: Taking taylor expansion of 0 in h
0.492 * [taylor]: Taking taylor expansion of 0 in h
0.492 * [taylor]: Taking taylor expansion of 0 in h
0.492 * [approximate]: Taking taylor expansion of (asin (* -1 (/ h g))) in (g h) around 0
0.492 * [taylor]: Taking taylor expansion of (asin (* -1 (/ h g))) in h
0.492 * [taylor]: Taking taylor expansion of (asin (* -1 (/ h g))) in g
0.492 * [taylor]: Taking taylor expansion of (asin (* -1 (/ h g))) in g
0.492 * [taylor]: Taking taylor expansion of (asin (* -1 (/ h g))) in h
0.492 * [taylor]: Taking taylor expansion of 0 in h
0.492 * [taylor]: Taking taylor expansion of 0 in h
0.492 * [taylor]: Taking taylor expansion of 0 in h
0.493 * * * [progress]: simplifying candidates
0.494 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (cos.f64 (*.f64 PI.f64 5/6)) (cos.f64 (neg.f64 (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))))
  (*.f64 (sin.f64 (*.f64 PI.f64 5/6)) (sin.f64 (neg.f64 (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))))
  (*.f64 (cos.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (/.f64 PI.f64 2) 3))) (cos.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
  (*.f64 (sin.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (/.f64 PI.f64 2) 3))) (sin.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
  (*.f64 (cos.f64 (*.f64 PI.f64 5/6)) (cos.f64 (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)))
  (*.f64 (sin.f64 (*.f64 PI.f64 5/6)) (sin.f64 (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)))
  (log.f64 (cos.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))))
  (exp.f64 (cos.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))))
  (*.f64 (cbrt.f64 (cos.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)))) (cbrt.f64 (cos.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)))))
  (cbrt.f64 (cos.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))))
  (*.f64 (*.f64 (cos.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))) (cos.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)))) (cos.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))))
  (sqrt.f64 (cos.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))))
  (sqrt.f64 (cos.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))))
  (-.f64 (log.f64 (asin.f64 (/.f64 (neg.f64 g) h))) (log.f64 3))
  (log.f64 (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))
  (exp.f64 (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))
  (/.f64 (*.f64 (*.f64 (asin.f64 (/.f64 (neg.f64 g) h)) (asin.f64 (/.f64 (neg.f64 g) h))) (asin.f64 (/.f64 (neg.f64 g) h))) (*.f64 (*.f64 3 3) 3))
  (*.f64 (cbrt.f64 (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)) (cbrt.f64 (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)))
  (cbrt.f64 (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))
  (*.f64 (*.f64 (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))
  (sqrt.f64 (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))
  (sqrt.f64 (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))
  (neg.f64 (asin.f64 (/.f64 (neg.f64 g) h)))
  (neg.f64 3)
  (/.f64 (/.f64 PI.f64 2) 3)
  (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)
  (/.f64 (*.f64 (cbrt.f64 (asin.f64 (/.f64 (neg.f64 g) h))) (cbrt.f64 (asin.f64 (/.f64 (neg.f64 g) h)))) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (/.f64 (cbrt.f64 (asin.f64 (/.f64 (neg.f64 g) h))) (cbrt.f64 3))
  (/.f64 (*.f64 (cbrt.f64 (asin.f64 (/.f64 (neg.f64 g) h))) (cbrt.f64 (asin.f64 (/.f64 (neg.f64 g) h)))) (sqrt.f64 3))
  (/.f64 (cbrt.f64 (asin.f64 (/.f64 (neg.f64 g) h))) (sqrt.f64 3))
  (/.f64 (*.f64 (cbrt.f64 (asin.f64 (/.f64 (neg.f64 g) h))) (cbrt.f64 (asin.f64 (/.f64 (neg.f64 g) h)))) 1)
  (/.f64 (cbrt.f64 (asin.f64 (/.f64 (neg.f64 g) h))) 3)
  (/.f64 (sqrt.f64 (asin.f64 (/.f64 (neg.f64 g) h))) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (/.f64 (sqrt.f64 (asin.f64 (/.f64 (neg.f64 g) h))) (cbrt.f64 3))
  (/.f64 (sqrt.f64 (asin.f64 (/.f64 (neg.f64 g) h))) (sqrt.f64 3))
  (/.f64 (sqrt.f64 (asin.f64 (/.f64 (neg.f64 g) h))) (sqrt.f64 3))
  (/.f64 (sqrt.f64 (asin.f64 (/.f64 (neg.f64 g) h))) 1)
  (/.f64 (sqrt.f64 (asin.f64 (/.f64 (neg.f64 g) h))) 3)
  (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) (cbrt.f64 3))
  (/.f64 1 (sqrt.f64 3))
  (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) (sqrt.f64 3))
  (/.f64 1 1)
  (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)
  (/.f64 1 3)
  (/.f64 3 (asin.f64 (/.f64 (neg.f64 g) h)))
  (/.f64 (asin.f64 (/.f64 g h)) 3)
  (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) (sqrt.f64 3))
  (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 1)
  (/.f64 3 (cbrt.f64 (asin.f64 (/.f64 (neg.f64 g) h))))
  (/.f64 3 (sqrt.f64 (asin.f64 (/.f64 (neg.f64 g) h))))
  (/.f64 3 (asin.f64 (/.f64 (neg.f64 g) h)))
  (/.f64 (exp.f64 (*.f64 PI.f64 5/6)) (exp.f64 (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)))
  (log.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)))
  (exp.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)))
  (*.f64 (cbrt.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))) (cbrt.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))))
  (cbrt.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)))
  (*.f64 (*.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)) (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))) (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)))
  (sqrt.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)))
  (sqrt.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)))
  (-.f64 (pow.f64 (*.f64 PI.f64 5/6) 3) (pow.f64 (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3) 3))
  (+.f64 (*.f64 (*.f64 PI.f64 5/6) (*.f64 PI.f64 5/6)) (+.f64 (*.f64 (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)) (*.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))))
  (neg.f64 (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))
  (-.f64 (*.f64 (*.f64 PI.f64 5/6) (*.f64 PI.f64 5/6)) (*.f64 (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)))
  (+.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))
  (-.f64 (*.f64 PI.f64 5/6) (/.f64 (/.f64 PI.f64 2) 3))
  (/.f64 PI.f64 2)
  (acos.f64 (/.f64 (neg.f64 g) h))
  (asin.f64 (/.f64 g h))
  (log.f64 (asin.f64 (/.f64 (neg.f64 g) h)))
  (exp.f64 (asin.f64 (/.f64 (neg.f64 g) h)))
  (*.f64 (cbrt.f64 (asin.f64 (/.f64 (neg.f64 g) h))) (cbrt.f64 (asin.f64 (/.f64 (neg.f64 g) h))))
  (cbrt.f64 (asin.f64 (/.f64 (neg.f64 g) h)))
  (*.f64 (*.f64 (asin.f64 (/.f64 (neg.f64 g) h)) (asin.f64 (/.f64 (neg.f64 g) h))) (asin.f64 (/.f64 (neg.f64 g) h)))
  (sqrt.f64 (asin.f64 (/.f64 (neg.f64 g) h)))
  (sqrt.f64 (asin.f64 (/.f64 (neg.f64 g) h)))
  (cos.f64 (-.f64 (*.f64 5/6 PI.f64) (*.f64 1/3 (asin.f64 (*.f64 -1 (/.f64 g h))))))
  (cos.f64 (-.f64 (*.f64 5/6 PI.f64) (*.f64 1/3 (asin.f64 (*.f64 -1 (/.f64 g h))))))
  (cos.f64 (-.f64 (*.f64 5/6 PI.f64) (*.f64 1/3 (asin.f64 (*.f64 -1 (/.f64 g h))))))
  (*.f64 1/3 (asin.f64 (*.f64 -1 (/.f64 g h))))
  (*.f64 1/3 (asin.f64 (*.f64 -1 (/.f64 g h))))
  (*.f64 1/3 (asin.f64 (*.f64 -1 (/.f64 g h))))
  (-.f64 (*.f64 5/6 PI.f64) (*.f64 1/3 (asin.f64 (*.f64 -1 (/.f64 g h)))))
  (-.f64 (*.f64 5/6 PI.f64) (*.f64 1/3 (asin.f64 (*.f64 -1 (/.f64 g h)))))
  (-.f64 (*.f64 5/6 PI.f64) (*.f64 1/3 (asin.f64 (*.f64 -1 (/.f64 g h)))))
  (asin.f64 (*.f64 -1 (/.f64 g h)))
  (asin.f64 (*.f64 -1 (/.f64 g h)))
  (asin.f64 (*.f64 -1 (/.f64 g h)))
0.540 * * [simplify]: iteration  0 :  4828  enodes  (cost  873 )
0.540 * * [simplify]: iteration  1 :  4828  enodes  (cost  873 )
0.545 * [simplify]: Simplified to:
   (*.f64 (cos.f64 (*.f64 PI.f64 5/6)) (cos.f64 (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)))
  (*.f64 (sin.f64 (*.f64 PI.f64 5/6)) (sin.f64 (*.f64 (asin.f64 (/.f64 (neg.f64 g) h)) -1/3)))
  (*.f64 (cos.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 PI.f64 6))) (cos.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
  (*.f64 (sin.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 PI.f64 6))) (sin.f64 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
  (*.f64 (cos.f64 (*.f64 PI.f64 5/6)) (cos.f64 (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)))
  (*.f64 (sin.f64 (*.f64 PI.f64 5/6)) (sin.f64 (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)))
  (log.f64 (cos.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))))
  (exp.f64 (cos.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))))
  (*.f64 (cbrt.f64 (cos.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)))) (cbrt.f64 (cos.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)))))
  (cbrt.f64 (cos.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))))
  (pow.f64 (cos.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))) 3)
  (sqrt.f64 (cos.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))))
  (sqrt.f64 (cos.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))))
  (log.f64 (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))
  (log.f64 (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))
  (cbrt.f64 (exp.f64 (asin.f64 (/.f64 (neg.f64 g) h))))
  (/.f64 (pow.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3) 27)
  (*.f64 (cbrt.f64 (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)) (cbrt.f64 (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)))
  (cbrt.f64 (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))
  (/.f64 (pow.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3) 27)
  (sqrt.f64 (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))
  (sqrt.f64 (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))
  (neg.f64 (asin.f64 (/.f64 (neg.f64 g) h)))
  -3
  (/.f64 PI.f64 6)
  (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)
  (/.f64 (*.f64 (cbrt.f64 (asin.f64 (/.f64 (neg.f64 g) h))) (cbrt.f64 (asin.f64 (/.f64 (neg.f64 g) h)))) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (/.f64 (cbrt.f64 (asin.f64 (/.f64 (neg.f64 g) h))) (cbrt.f64 3))
  (/.f64 (*.f64 (cbrt.f64 (asin.f64 (/.f64 (neg.f64 g) h))) (cbrt.f64 (asin.f64 (/.f64 (neg.f64 g) h)))) (sqrt.f64 3))
  (/.f64 (cbrt.f64 (asin.f64 (/.f64 (neg.f64 g) h))) (sqrt.f64 3))
  (*.f64 (cbrt.f64 (asin.f64 (/.f64 (neg.f64 g) h))) (cbrt.f64 (asin.f64 (/.f64 (neg.f64 g) h))))
  (/.f64 (cbrt.f64 (asin.f64 (/.f64 (neg.f64 g) h))) 3)
  (/.f64 (sqrt.f64 (asin.f64 (/.f64 (neg.f64 g) h))) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (/.f64 (sqrt.f64 (asin.f64 (/.f64 (neg.f64 g) h))) (cbrt.f64 3))
  (/.f64 (sqrt.f64 (asin.f64 (/.f64 (neg.f64 g) h))) (sqrt.f64 3))
  (/.f64 (sqrt.f64 (asin.f64 (/.f64 (neg.f64 g) h))) (sqrt.f64 3))
  (sqrt.f64 (asin.f64 (/.f64 (neg.f64 g) h)))
  (/.f64 (sqrt.f64 (asin.f64 (/.f64 (neg.f64 g) h))) 3)
  (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) (cbrt.f64 3))
  (/.f64 1 (sqrt.f64 3))
  (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) (sqrt.f64 3))
  1
  (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)
  1/3
  (/.f64 3 (asin.f64 (/.f64 (neg.f64 g) h)))
  (/.f64 (asin.f64 (/.f64 g h)) 3)
  (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) (sqrt.f64 3))
  (asin.f64 (/.f64 (neg.f64 g) h))
  (/.f64 3 (cbrt.f64 (asin.f64 (/.f64 (neg.f64 g) h))))
  (/.f64 3 (sqrt.f64 (asin.f64 (/.f64 (neg.f64 g) h))))
  (/.f64 3 (asin.f64 (/.f64 (neg.f64 g) h)))
  (exp.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)))
  (log.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)))
  (exp.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)))
  (*.f64 (cbrt.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))) (cbrt.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))))
  (cbrt.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)))
  (pow.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)) 3)
  (sqrt.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)))
  (sqrt.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)))
  (-.f64 (pow.f64 (*.f64 PI.f64 5/6) 3) (/.f64 (pow.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3) 27))
  (+.f64 (*.f64 PI.f64 (*.f64 PI.f64 25/36)) (*.f64 (asin.f64 (/.f64 (neg.f64 g) h)) (+.f64 (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 9) (/.f64 PI.f64 18/5))))
  (*.f64 (asin.f64 (/.f64 (neg.f64 g) h)) -1/3)
  (-.f64 (*.f64 PI.f64 (*.f64 PI.f64 25/36)) (/.f64 (*.f64 (asin.f64 (/.f64 (neg.f64 g) h)) (asin.f64 (/.f64 (neg.f64 g) h))) 9))
  (+.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))
  (-.f64 (*.f64 PI.f64 5/6) (/.f64 PI.f64 6))
  (/.f64 PI.f64 2)
  (acos.f64 (/.f64 (neg.f64 g) h))
  (asin.f64 (/.f64 g h))
  (log.f64 (asin.f64 (/.f64 (neg.f64 g) h)))
  (exp.f64 (asin.f64 (/.f64 (neg.f64 g) h)))
  (*.f64 (cbrt.f64 (asin.f64 (/.f64 (neg.f64 g) h))) (cbrt.f64 (asin.f64 (/.f64 (neg.f64 g) h))))
  (cbrt.f64 (asin.f64 (/.f64 (neg.f64 g) h)))
  (pow.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)
  (sqrt.f64 (asin.f64 (/.f64 (neg.f64 g) h)))
  (sqrt.f64 (asin.f64 (/.f64 (neg.f64 g) h)))
  (cos.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)))
  (cos.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)))
  (cos.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)))
  (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)
  (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)
  (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)
  (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))
  (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))
  (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3))
  (asin.f64 (/.f64 (neg.f64 g) h))
  (asin.f64 (/.f64 (neg.f64 g) h))
  (asin.f64 (/.f64 (neg.f64 g) h))
0.545 * * * [progress]: adding candidates to table
0.609 * * [progress]: iteration 3 / 4
0.609 * * * [progress]: picking best candidate
0.612 * * * * [pick]: Picked  #<alt (λ (g h) (*.f64 2 (cos.f64 (-.f64 PI.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)))))>
0.612 * * * [progress]: localizing error
0.621 * * * [progress]: generating rewritten candidates
0.621 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1)
0.628 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1 2)
0.631 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
0.640 * * * [progress]: generating series expansions
0.640 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1)
0.641 * [approximate]: Taking taylor expansion of (- PI (* 1/3 (acos (/ g h)))) in (g h) around 0
0.641 * [taylor]: Taking taylor expansion of (- PI (* 1/3 (acos (/ g h)))) in h
0.641 * [taylor]: Taking taylor expansion of PI in h
0.641 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ g h))) in h
0.641 * [taylor]: Taking taylor expansion of 1/3 in h
0.641 * [taylor]: Taking taylor expansion of (acos (/ g h)) in h
0.641 * [taylor]: Taking taylor expansion of (- PI (* 1/3 (acos (/ g h)))) in g
0.641 * [taylor]: Taking taylor expansion of PI in g
0.641 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ g h))) in g
0.641 * [taylor]: Taking taylor expansion of 1/3 in g
0.641 * [taylor]: Taking taylor expansion of (acos (/ g h)) in g
0.641 * [taylor]: Taking taylor expansion of (- PI (* 1/3 (acos (/ g h)))) in g
0.641 * [taylor]: Taking taylor expansion of PI in g
0.641 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ g h))) in g
0.641 * [taylor]: Taking taylor expansion of 1/3 in g
0.641 * [taylor]: Taking taylor expansion of (acos (/ g h)) in g
0.641 * [taylor]: Taking taylor expansion of (- PI (* 1/3 (acos (/ g h)))) in h
0.641 * [taylor]: Taking taylor expansion of PI in h
0.641 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ g h))) in h
0.641 * [taylor]: Taking taylor expansion of 1/3 in h
0.641 * [taylor]: Taking taylor expansion of (acos (/ g h)) in h
0.642 * [taylor]: Taking taylor expansion of 0 in h
0.642 * [taylor]: Taking taylor expansion of 0 in h
0.642 * [taylor]: Taking taylor expansion of 0 in h
0.642 * [approximate]: Taking taylor expansion of (- PI (* 1/3 (acos (/ h g)))) in (g h) around 0
0.642 * [taylor]: Taking taylor expansion of (- PI (* 1/3 (acos (/ h g)))) in h
0.643 * [taylor]: Taking taylor expansion of PI in h
0.643 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ h g))) in h
0.643 * [taylor]: Taking taylor expansion of 1/3 in h
0.643 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h
0.643 * [taylor]: Taking taylor expansion of (- PI (* 1/3 (acos (/ h g)))) in g
0.643 * [taylor]: Taking taylor expansion of PI in g
0.643 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ h g))) in g
0.643 * [taylor]: Taking taylor expansion of 1/3 in g
0.643 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g
0.643 * [taylor]: Taking taylor expansion of (- PI (* 1/3 (acos (/ h g)))) in g
0.643 * [taylor]: Taking taylor expansion of PI in g
0.643 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ h g))) in g
0.643 * [taylor]: Taking taylor expansion of 1/3 in g
0.643 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g
0.643 * [taylor]: Taking taylor expansion of (- PI (* 1/3 (acos (/ h g)))) in h
0.643 * [taylor]: Taking taylor expansion of PI in h
0.643 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ h g))) in h
0.643 * [taylor]: Taking taylor expansion of 1/3 in h
0.643 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h
0.644 * [taylor]: Taking taylor expansion of 0 in h
0.644 * [taylor]: Taking taylor expansion of 0 in h
0.644 * [taylor]: Taking taylor expansion of 0 in h
0.644 * [approximate]: Taking taylor expansion of (- PI (* 1/3 (acos (/ h g)))) in (g h) around 0
0.644 * [taylor]: Taking taylor expansion of (- PI (* 1/3 (acos (/ h g)))) in h
0.644 * [taylor]: Taking taylor expansion of PI in h
0.644 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ h g))) in h
0.644 * [taylor]: Taking taylor expansion of 1/3 in h
0.644 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h
0.644 * [taylor]: Taking taylor expansion of (- PI (* 1/3 (acos (/ h g)))) in g
0.644 * [taylor]: Taking taylor expansion of PI in g
0.644 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ h g))) in g
0.645 * [taylor]: Taking taylor expansion of 1/3 in g
0.645 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g
0.645 * [taylor]: Taking taylor expansion of (- PI (* 1/3 (acos (/ h g)))) in g
0.645 * [taylor]: Taking taylor expansion of PI in g
0.645 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ h g))) in g
0.645 * [taylor]: Taking taylor expansion of 1/3 in g
0.645 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g
0.645 * [taylor]: Taking taylor expansion of (- PI (* 1/3 (acos (/ h g)))) in h
0.645 * [taylor]: Taking taylor expansion of PI in h
0.645 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ h g))) in h
0.645 * [taylor]: Taking taylor expansion of 1/3 in h
0.645 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h
0.645 * [taylor]: Taking taylor expansion of 0 in h
0.646 * [taylor]: Taking taylor expansion of 0 in h
0.646 * [taylor]: Taking taylor expansion of 0 in h
0.646 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1 2)
0.646 * [approximate]: Taking taylor expansion of (* 1/3 (acos (/ g h))) in (g h) around 0
0.646 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ g h))) in h
0.646 * [taylor]: Taking taylor expansion of 1/3 in h
0.646 * [taylor]: Taking taylor expansion of (acos (/ g h)) in h
0.646 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ g h))) in g
0.646 * [taylor]: Taking taylor expansion of 1/3 in g
0.646 * [taylor]: Taking taylor expansion of (acos (/ g h)) in g
0.646 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ g h))) in g
0.646 * [taylor]: Taking taylor expansion of 1/3 in g
0.646 * [taylor]: Taking taylor expansion of (acos (/ g h)) in g
0.646 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ g h))) in h
0.647 * [taylor]: Taking taylor expansion of 1/3 in h
0.647 * [taylor]: Taking taylor expansion of (acos (/ g h)) in h
0.647 * [taylor]: Taking taylor expansion of 0 in h
0.647 * [taylor]: Taking taylor expansion of 0 in h
0.647 * [taylor]: Taking taylor expansion of 0 in h
0.647 * [approximate]: Taking taylor expansion of (* 1/3 (acos (/ h g))) in (g h) around 0
0.647 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ h g))) in h
0.647 * [taylor]: Taking taylor expansion of 1/3 in h
0.647 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h
0.647 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ h g))) in g
0.647 * [taylor]: Taking taylor expansion of 1/3 in g
0.647 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g
0.648 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ h g))) in g
0.648 * [taylor]: Taking taylor expansion of 1/3 in g
0.648 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g
0.648 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ h g))) in h
0.648 * [taylor]: Taking taylor expansion of 1/3 in h
0.648 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h
0.648 * [taylor]: Taking taylor expansion of 0 in h
0.648 * [taylor]: Taking taylor expansion of 0 in h
0.648 * [taylor]: Taking taylor expansion of 0 in h
0.649 * [approximate]: Taking taylor expansion of (* 1/3 (acos (/ h g))) in (g h) around 0
0.649 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ h g))) in h
0.649 * [taylor]: Taking taylor expansion of 1/3 in h
0.649 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h
0.649 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ h g))) in g
0.649 * [taylor]: Taking taylor expansion of 1/3 in g
0.649 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g
0.649 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ h g))) in g
0.649 * [taylor]: Taking taylor expansion of 1/3 in g
0.649 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g
0.649 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ h g))) in h
0.649 * [taylor]: Taking taylor expansion of 1/3 in h
0.649 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h
0.649 * [taylor]: Taking taylor expansion of 0 in h
0.649 * [taylor]: Taking taylor expansion of 0 in h
0.650 * [taylor]: Taking taylor expansion of 0 in h
0.650 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
0.650 * [approximate]: Taking taylor expansion of (cos (- PI (* 1/3 (acos (/ g h))))) in (g h) around 0
0.650 * [taylor]: Taking taylor expansion of (cos (- PI (* 1/3 (acos (/ g h))))) in h
0.650 * [taylor]: Taking taylor expansion of (- PI (* 1/3 (acos (/ g h)))) in h
0.650 * [taylor]: Taking taylor expansion of PI in h
0.650 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ g h))) in h
0.650 * [taylor]: Taking taylor expansion of 1/3 in h
0.650 * [taylor]: Taking taylor expansion of (acos (/ g h)) in h
0.650 * [taylor]: Taking taylor expansion of (cos (- PI (* 1/3 (acos (/ g h))))) in g
0.650 * [taylor]: Taking taylor expansion of (- PI (* 1/3 (acos (/ g h)))) in g
0.650 * [taylor]: Taking taylor expansion of PI in g
0.650 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ g h))) in g
0.650 * [taylor]: Taking taylor expansion of 1/3 in g
0.650 * [taylor]: Taking taylor expansion of (acos (/ g h)) in g
0.653 * [taylor]: Taking taylor expansion of (cos (- PI (* 1/3 (acos (/ g h))))) in g
0.653 * [taylor]: Taking taylor expansion of (- PI (* 1/3 (acos (/ g h)))) in g
0.653 * [taylor]: Taking taylor expansion of PI in g
0.653 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ g h))) in g
0.653 * [taylor]: Taking taylor expansion of 1/3 in g
0.653 * [taylor]: Taking taylor expansion of (acos (/ g h)) in g
0.654 * [taylor]: Taking taylor expansion of (cos (- PI (* 1/3 (acos (/ g h))))) in h
0.654 * [taylor]: Taking taylor expansion of (- PI (* 1/3 (acos (/ g h)))) in h
0.654 * [taylor]: Taking taylor expansion of PI in h
0.654 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ g h))) in h
0.654 * [taylor]: Taking taylor expansion of 1/3 in h
0.654 * [taylor]: Taking taylor expansion of (acos (/ g h)) in h
0.655 * [taylor]: Taking taylor expansion of 0 in h
0.656 * [taylor]: Taking taylor expansion of 0 in h
0.657 * [taylor]: Taking taylor expansion of 0 in h
0.657 * [approximate]: Taking taylor expansion of (cos (- PI (* 1/3 (acos (/ h g))))) in (g h) around 0
0.657 * [taylor]: Taking taylor expansion of (cos (- PI (* 1/3 (acos (/ h g))))) in h
0.657 * [taylor]: Taking taylor expansion of (- PI (* 1/3 (acos (/ h g)))) in h
0.657 * [taylor]: Taking taylor expansion of PI in h
0.657 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ h g))) in h
0.657 * [taylor]: Taking taylor expansion of 1/3 in h
0.657 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h
0.658 * [taylor]: Taking taylor expansion of (cos (- PI (* 1/3 (acos (/ h g))))) in g
0.658 * [taylor]: Taking taylor expansion of (- PI (* 1/3 (acos (/ h g)))) in g
0.658 * [taylor]: Taking taylor expansion of PI in g
0.658 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ h g))) in g
0.658 * [taylor]: Taking taylor expansion of 1/3 in g
0.658 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g
0.658 * [taylor]: Taking taylor expansion of (cos (- PI (* 1/3 (acos (/ h g))))) in g
0.658 * [taylor]: Taking taylor expansion of (- PI (* 1/3 (acos (/ h g)))) in g
0.658 * [taylor]: Taking taylor expansion of PI in g
0.658 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ h g))) in g
0.658 * [taylor]: Taking taylor expansion of 1/3 in g
0.658 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g
0.659 * [taylor]: Taking taylor expansion of (cos (- PI (* 1/3 (acos (/ h g))))) in h
0.659 * [taylor]: Taking taylor expansion of (- PI (* 1/3 (acos (/ h g)))) in h
0.659 * [taylor]: Taking taylor expansion of PI in h
0.659 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ h g))) in h
0.659 * [taylor]: Taking taylor expansion of 1/3 in h
0.659 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h
0.660 * [taylor]: Taking taylor expansion of 0 in h
0.661 * [taylor]: Taking taylor expansion of 0 in h
0.662 * [taylor]: Taking taylor expansion of 0 in h
0.662 * [approximate]: Taking taylor expansion of (cos (- PI (* 1/3 (acos (/ h g))))) in (g h) around 0
0.662 * [taylor]: Taking taylor expansion of (cos (- PI (* 1/3 (acos (/ h g))))) in h
0.662 * [taylor]: Taking taylor expansion of (- PI (* 1/3 (acos (/ h g)))) in h
0.662 * [taylor]: Taking taylor expansion of PI in h
0.663 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ h g))) in h
0.663 * [taylor]: Taking taylor expansion of 1/3 in h
0.663 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h
0.663 * [taylor]: Taking taylor expansion of (cos (- PI (* 1/3 (acos (/ h g))))) in g
0.663 * [taylor]: Taking taylor expansion of (- PI (* 1/3 (acos (/ h g)))) in g
0.663 * [taylor]: Taking taylor expansion of PI in g
0.663 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ h g))) in g
0.663 * [taylor]: Taking taylor expansion of 1/3 in g
0.663 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g
0.663 * [taylor]: Taking taylor expansion of (cos (- PI (* 1/3 (acos (/ h g))))) in g
0.663 * [taylor]: Taking taylor expansion of (- PI (* 1/3 (acos (/ h g)))) in g
0.663 * [taylor]: Taking taylor expansion of PI in g
0.663 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ h g))) in g
0.663 * [taylor]: Taking taylor expansion of 1/3 in g
0.663 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g
0.664 * [taylor]: Taking taylor expansion of (cos (- PI (* 1/3 (acos (/ h g))))) in h
0.664 * [taylor]: Taking taylor expansion of (- PI (* 1/3 (acos (/ h g)))) in h
0.664 * [taylor]: Taking taylor expansion of PI in h
0.664 * [taylor]: Taking taylor expansion of (* 1/3 (acos (/ h g))) in h
0.664 * [taylor]: Taking taylor expansion of 1/3 in h
0.664 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h
0.665 * [taylor]: Taking taylor expansion of 0 in h
0.666 * [taylor]: Taking taylor expansion of 0 in h
0.667 * [taylor]: Taking taylor expansion of 0 in h
0.667 * * * [progress]: simplifying candidates
0.668 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/.f64 (exp.f64 PI.f64) (exp.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)))
  (log.f64 (-.f64 PI.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)))
  (exp.f64 (-.f64 PI.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)))
  (*.f64 (cbrt.f64 (-.f64 PI.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))) (cbrt.f64 (-.f64 PI.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))))
  (cbrt.f64 (-.f64 PI.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)))
  (*.f64 (*.f64 (-.f64 PI.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)) (-.f64 PI.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))) (-.f64 PI.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)))
  (sqrt.f64 (-.f64 PI.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)))
  (sqrt.f64 (-.f64 PI.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)))
  (-.f64 (pow.f64 PI.f64 3) (pow.f64 (/.f64 (acos.f64 (/.f64 g h)) 3) 3))
  (+.f64 (*.f64 PI.f64 PI.f64) (+.f64 (*.f64 (/.f64 (acos.f64 (/.f64 g h)) 3) (/.f64 (acos.f64 (/.f64 g h)) 3)) (*.f64 PI.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))))
  (neg.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))
  (-.f64 (*.f64 PI.f64 PI.f64) (*.f64 (/.f64 (acos.f64 (/.f64 g h)) 3) (/.f64 (acos.f64 (/.f64 g h)) 3)))
  (+.f64 PI.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))
  (+.f64 (sqrt.f64 PI.f64) (sqrt.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)))
  (-.f64 (sqrt.f64 PI.f64) (sqrt.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)))
  (+.f64 (sqrt.f64 PI.f64) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (sqrt.f64 3)))
  (-.f64 (sqrt.f64 PI.f64) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (sqrt.f64 3)))
  (-.f64 PI.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))
  (-.f64 PI.f64 (/.f64 (/.f64 PI.f64 2) 3))
  (-.f64 (log.f64 (acos.f64 (/.f64 g h))) (log.f64 3))
  (log.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))
  (exp.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))
  (/.f64 (*.f64 (*.f64 (acos.f64 (/.f64 g h)) (acos.f64 (/.f64 g h))) (acos.f64 (/.f64 g h))) (*.f64 (*.f64 3 3) 3))
  (*.f64 (cbrt.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)) (cbrt.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)))
  (cbrt.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))
  (*.f64 (*.f64 (/.f64 (acos.f64 (/.f64 g h)) 3) (/.f64 (acos.f64 (/.f64 g h)) 3)) (/.f64 (acos.f64 (/.f64 g h)) 3))
  (sqrt.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))
  (sqrt.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))
  (neg.f64 (acos.f64 (/.f64 g h)))
  (neg.f64 3)
  (/.f64 (/.f64 PI.f64 2) 3)
  (/.f64 (asin.f64 (/.f64 g h)) 3)
  (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (acos.f64 (/.f64 g h)))) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (/.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 3))
  (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (acos.f64 (/.f64 g h)))) (sqrt.f64 3))
  (/.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (sqrt.f64 3))
  (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (acos.f64 (/.f64 g h)))) 1)
  (/.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) 3)
  (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 3))
  (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (sqrt.f64 3))
  (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (sqrt.f64 3))
  (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) 1)
  (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) 3)
  (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))
  (/.f64 1 (sqrt.f64 3))
  (/.f64 (acos.f64 (/.f64 g h)) (sqrt.f64 3))
  (/.f64 1 1)
  (/.f64 (acos.f64 (/.f64 g h)) 3)
  (/.f64 1 3)
  (/.f64 3 (acos.f64 (/.f64 g h)))
  (/.f64 (acos.f64 (/.f64 g h)) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (/.f64 (acos.f64 (/.f64 g h)) (sqrt.f64 3))
  (/.f64 (acos.f64 (/.f64 g h)) 1)
  (/.f64 3 (cbrt.f64 (acos.f64 (/.f64 g h))))
  (/.f64 3 (sqrt.f64 (acos.f64 (/.f64 g h))))
  (/.f64 3 (acos.f64 (/.f64 g h)))
  (*.f64 (cos.f64 PI.f64) (cos.f64 (neg.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))))
  (*.f64 (sin.f64 PI.f64) (sin.f64 (neg.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))))
  (*.f64 (cos.f64 (-.f64 PI.f64 (/.f64 (/.f64 PI.f64 2) 3))) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))
  (*.f64 (sin.f64 (-.f64 PI.f64 (/.f64 (/.f64 PI.f64 2) 3))) (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))
  (*.f64 (cos.f64 PI.f64) (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)))
  (*.f64 (sin.f64 PI.f64) (sin.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)))
  (log.f64 (cos.f64 (-.f64 PI.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))))
  (exp.f64 (cos.f64 (-.f64 PI.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))))
  (*.f64 (cbrt.f64 (cos.f64 (-.f64 PI.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)))) (cbrt.f64 (cos.f64 (-.f64 PI.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)))))
  (cbrt.f64 (cos.f64 (-.f64 PI.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))))
  (*.f64 (*.f64 (cos.f64 (-.f64 PI.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))) (cos.f64 (-.f64 PI.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)))) (cos.f64 (-.f64 PI.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))))
  (sqrt.f64 (cos.f64 (-.f64 PI.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))))
  (sqrt.f64 (cos.f64 (-.f64 PI.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))))
  (-.f64 PI.f64 (*.f64 1/3 (acos.f64 (/.f64 g h))))
  (-.f64 PI.f64 (*.f64 1/3 (acos.f64 (/.f64 g h))))
  (-.f64 PI.f64 (*.f64 1/3 (acos.f64 (/.f64 g h))))
  (*.f64 1/3 (acos.f64 (/.f64 g h)))
  (*.f64 1/3 (acos.f64 (/.f64 g h)))
  (*.f64 1/3 (acos.f64 (/.f64 g h)))
  (cos.f64 (-.f64 PI.f64 (*.f64 1/3 (acos.f64 (/.f64 g h)))))
  (cos.f64 (-.f64 PI.f64 (*.f64 1/3 (acos.f64 (/.f64 g h)))))
  (cos.f64 (-.f64 PI.f64 (*.f64 1/3 (acos.f64 (/.f64 g h)))))
0.712 * * [simplify]: iteration  0 :  5159  enodes  (cost  657 )
0.715 * [simplify]: Simplified to:
   (/.f64 (exp.f64 PI.f64) (cbrt.f64 (exp.f64 (acos.f64 (/.f64 g h)))))
  (log.f64 (-.f64 PI.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)))
  (/.f64 (exp.f64 PI.f64) (cbrt.f64 (exp.f64 (acos.f64 (/.f64 g h)))))
  (*.f64 (cbrt.f64 (-.f64 PI.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))) (cbrt.f64 (-.f64 PI.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))))
  (cbrt.f64 (-.f64 PI.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)))
  (pow.f64 (-.f64 PI.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)) 3)
  (sqrt.f64 (-.f64 PI.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)))
  (sqrt.f64 (-.f64 PI.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)))
  (-.f64 (pow.f64 PI.f64 3) (pow.f64 (/.f64 (acos.f64 (/.f64 g h)) 3) 3))
  (+.f64 (*.f64 PI.f64 PI.f64) (*.f64 (acos.f64 (/.f64 g h)) (+.f64 (/.f64 (acos.f64 (/.f64 g h)) 9) (/.f64 PI.f64 3))))
  (*.f64 (acos.f64 (/.f64 g h)) -1/3)
  (-.f64 (*.f64 PI.f64 PI.f64) (*.f64 (acos.f64 (/.f64 g h)) (/.f64 (acos.f64 (/.f64 g h)) 9)))
  (+.f64 PI.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))
  (+.f64 (sqrt.f64 PI.f64) (sqrt.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)))
  (-.f64 (sqrt.f64 PI.f64) (sqrt.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)))
  (+.f64 (sqrt.f64 PI.f64) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (sqrt.f64 3)))
  (-.f64 (sqrt.f64 PI.f64) (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (sqrt.f64 3)))
  (-.f64 PI.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))
  (-.f64 PI.f64 (/.f64 PI.f64 6))
  (log.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))
  (log.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))
  (cbrt.f64 (exp.f64 (acos.f64 (/.f64 g h))))
  (pow.f64 (/.f64 (acos.f64 (/.f64 g h)) 3) 3)
  (*.f64 (cbrt.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)) (cbrt.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)))
  (cbrt.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))
  (pow.f64 (/.f64 (acos.f64 (/.f64 g h)) 3) 3)
  (sqrt.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))
  (sqrt.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))
  (neg.f64 (acos.f64 (/.f64 g h)))
  -3
  (/.f64 PI.f64 6)
  (/.f64 (asin.f64 (/.f64 g h)) 3)
  (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (acos.f64 (/.f64 g h)))) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (/.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 3))
  (/.f64 (*.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (acos.f64 (/.f64 g h)))) (sqrt.f64 3))
  (/.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (sqrt.f64 3))
  (*.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 (acos.f64 (/.f64 g h))))
  (/.f64 (cbrt.f64 (acos.f64 (/.f64 g h))) 3)
  (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (cbrt.f64 3))
  (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (sqrt.f64 3))
  (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) (sqrt.f64 3))
  (sqrt.f64 (acos.f64 (/.f64 g h)))
  (/.f64 (sqrt.f64 (acos.f64 (/.f64 g h))) 3)
  (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))
  (/.f64 1 (sqrt.f64 3))
  (/.f64 (acos.f64 (/.f64 g h)) (sqrt.f64 3))
  1
  (/.f64 (acos.f64 (/.f64 g h)) 3)
  1/3
  (/.f64 3 (acos.f64 (/.f64 g h)))
  (/.f64 (acos.f64 (/.f64 g h)) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (/.f64 (acos.f64 (/.f64 g h)) (sqrt.f64 3))
  (acos.f64 (/.f64 g h))
  (/.f64 3 (cbrt.f64 (acos.f64 (/.f64 g h))))
  (/.f64 3 (sqrt.f64 (acos.f64 (/.f64 g h))))
  (/.f64 3 (acos.f64 (/.f64 g h)))
  (neg.f64 (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)))
  0
  (*.f64 (neg.f64 (/.f64 (sqrt.f64 3) 2)) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))
  (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))
  (neg.f64 (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)))
  0
  (log.f64 (neg.f64 (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))))
  (exp.f64 (neg.f64 (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))))
  (*.f64 (cbrt.f64 (neg.f64 (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)))) (cbrt.f64 (neg.f64 (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)))))
  (cbrt.f64 (neg.f64 (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))))
  (pow.f64 (neg.f64 (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))) 3)
  (sqrt.f64 (neg.f64 (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))))
  (sqrt.f64 (neg.f64 (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))))
  (-.f64 PI.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))
  (-.f64 PI.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))
  (-.f64 PI.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))
  (/.f64 (acos.f64 (/.f64 g h)) 3)
  (/.f64 (acos.f64 (/.f64 g h)) 3)
  (/.f64 (acos.f64 (/.f64 g h)) 3)
  (neg.f64 (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)))
  (neg.f64 (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)))
  (neg.f64 (cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)))
0.716 * * * [progress]: adding candidates to table
0.772 * * [progress]: iteration 4 / 4
0.772 * * * [progress]: picking best candidate
0.775 * * * * [pick]: Picked  #<alt (λ (g h) (*.f64 2 (-.f64 (*.f64 (neg.f64 (/.f64 (sqrt.f64 3) 2)) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))) (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))))>
0.775 * * * [progress]: localizing error
0.789 * * * [progress]: generating rewritten candidates
0.789 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1)
0.793 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1)
0.796 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
0.806 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
0.814 * * * [progress]: generating series expansions
0.814 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1)
0.814 * [approximate]: Taking taylor expansion of (* 1/3 (asin (/ g h))) in (g h) around 0
0.814 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ g h))) in h
0.814 * [taylor]: Taking taylor expansion of 1/3 in h
0.814 * [taylor]: Taking taylor expansion of (asin (/ g h)) in h
0.814 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ g h))) in g
0.814 * [taylor]: Taking taylor expansion of 1/3 in g
0.814 * [taylor]: Taking taylor expansion of (asin (/ g h)) in g
0.814 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ g h))) in g
0.814 * [taylor]: Taking taylor expansion of 1/3 in g
0.814 * [taylor]: Taking taylor expansion of (asin (/ g h)) in g
0.815 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ g h))) in h
0.815 * [taylor]: Taking taylor expansion of 1/3 in h
0.815 * [taylor]: Taking taylor expansion of (asin (/ g h)) in h
0.815 * [taylor]: Taking taylor expansion of 0 in h
0.815 * [taylor]: Taking taylor expansion of 0 in h
0.815 * [taylor]: Taking taylor expansion of 0 in h
0.815 * [approximate]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in (g h) around 0
0.815 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in h
0.815 * [taylor]: Taking taylor expansion of 1/3 in h
0.815 * [taylor]: Taking taylor expansion of (asin (/ h g)) in h
0.815 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in g
0.816 * [taylor]: Taking taylor expansion of 1/3 in g
0.816 * [taylor]: Taking taylor expansion of (asin (/ h g)) in g
0.816 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in g
0.816 * [taylor]: Taking taylor expansion of 1/3 in g
0.816 * [taylor]: Taking taylor expansion of (asin (/ h g)) in g
0.816 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in h
0.816 * [taylor]: Taking taylor expansion of 1/3 in h
0.816 * [taylor]: Taking taylor expansion of (asin (/ h g)) in h
0.816 * [taylor]: Taking taylor expansion of 0 in h
0.816 * [taylor]: Taking taylor expansion of 0 in h
0.816 * [taylor]: Taking taylor expansion of 0 in h
0.817 * [approximate]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in (g h) around 0
0.817 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in h
0.817 * [taylor]: Taking taylor expansion of 1/3 in h
0.817 * [taylor]: Taking taylor expansion of (asin (/ h g)) in h
0.817 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in g
0.817 * [taylor]: Taking taylor expansion of 1/3 in g
0.817 * [taylor]: Taking taylor expansion of (asin (/ h g)) in g
0.817 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in g
0.817 * [taylor]: Taking taylor expansion of 1/3 in g
0.817 * [taylor]: Taking taylor expansion of (asin (/ h g)) in g
0.817 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in h
0.817 * [taylor]: Taking taylor expansion of 1/3 in h
0.817 * [taylor]: Taking taylor expansion of (asin (/ h g)) in h
0.817 * [taylor]: Taking taylor expansion of 0 in h
0.817 * [taylor]: Taking taylor expansion of 0 in h
0.818 * [taylor]: Taking taylor expansion of 0 in h
0.818 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1)
0.818 * [approximate]: Taking taylor expansion of (* 1/3 (asin (/ g h))) in (g h) around 0
0.818 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ g h))) in h
0.818 * [taylor]: Taking taylor expansion of 1/3 in h
0.818 * [taylor]: Taking taylor expansion of (asin (/ g h)) in h
0.818 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ g h))) in g
0.818 * [taylor]: Taking taylor expansion of 1/3 in g
0.818 * [taylor]: Taking taylor expansion of (asin (/ g h)) in g
0.818 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ g h))) in g
0.818 * [taylor]: Taking taylor expansion of 1/3 in g
0.818 * [taylor]: Taking taylor expansion of (asin (/ g h)) in g
0.818 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ g h))) in h
0.818 * [taylor]: Taking taylor expansion of 1/3 in h
0.818 * [taylor]: Taking taylor expansion of (asin (/ g h)) in h
0.819 * [taylor]: Taking taylor expansion of 0 in h
0.819 * [taylor]: Taking taylor expansion of 0 in h
0.819 * [taylor]: Taking taylor expansion of 0 in h
0.819 * [approximate]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in (g h) around 0
0.819 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in h
0.819 * [taylor]: Taking taylor expansion of 1/3 in h
0.819 * [taylor]: Taking taylor expansion of (asin (/ h g)) in h
0.819 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in g
0.819 * [taylor]: Taking taylor expansion of 1/3 in g
0.819 * [taylor]: Taking taylor expansion of (asin (/ h g)) in g
0.819 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in g
0.819 * [taylor]: Taking taylor expansion of 1/3 in g
0.819 * [taylor]: Taking taylor expansion of (asin (/ h g)) in g
0.820 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in h
0.820 * [taylor]: Taking taylor expansion of 1/3 in h
0.820 * [taylor]: Taking taylor expansion of (asin (/ h g)) in h
0.820 * [taylor]: Taking taylor expansion of 0 in h
0.820 * [taylor]: Taking taylor expansion of 0 in h
0.820 * [taylor]: Taking taylor expansion of 0 in h
0.820 * [approximate]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in (g h) around 0
0.820 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in h
0.820 * [taylor]: Taking taylor expansion of 1/3 in h
0.820 * [taylor]: Taking taylor expansion of (asin (/ h g)) in h
0.821 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in g
0.821 * [taylor]: Taking taylor expansion of 1/3 in g
0.821 * [taylor]: Taking taylor expansion of (asin (/ h g)) in g
0.821 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in g
0.821 * [taylor]: Taking taylor expansion of 1/3 in g
0.821 * [taylor]: Taking taylor expansion of (asin (/ h g)) in g
0.821 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in h
0.821 * [taylor]: Taking taylor expansion of 1/3 in h
0.821 * [taylor]: Taking taylor expansion of (asin (/ h g)) in h
0.821 * [taylor]: Taking taylor expansion of 0 in h
0.821 * [taylor]: Taking taylor expansion of 0 in h
0.821 * [taylor]: Taking taylor expansion of 0 in h
0.822 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
0.822 * [approximate]: Taking taylor expansion of (neg (+ (* 1/2 (* (sqrt 3) (cos (* 1/3 (asin (/ g h)))))) (* 1/2 (sin (* 1/3 (asin (/ g h))))))) in (g h) around 0
0.822 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (* (sqrt 3) (cos (* 1/3 (asin (/ g h)))))) (* 1/2 (sin (* 1/3 (asin (/ g h))))))) in h
0.822 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (sqrt 3) (cos (* 1/3 (asin (/ g h)))))) (* 1/2 (sin (* 1/3 (asin (/ g h)))))) in h
0.822 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt 3) (cos (* 1/3 (asin (/ g h)))))) in h
0.822 * [taylor]: Taking taylor expansion of 1/2 in h
0.822 * [taylor]: Taking taylor expansion of (* (sqrt 3) (cos (* 1/3 (asin (/ g h))))) in h
0.822 * [taylor]: Taking taylor expansion of (sqrt 3) in h
0.822 * [taylor]: Taking taylor expansion of 3 in h
0.822 * [taylor]: Taking taylor expansion of (cos (* 1/3 (asin (/ g h)))) in h
0.822 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ g h))) in h
0.822 * [taylor]: Taking taylor expansion of 1/3 in h
0.822 * [taylor]: Taking taylor expansion of (asin (/ g h)) in h
0.823 * [taylor]: Taking taylor expansion of (* 1/2 (sin (* 1/3 (asin (/ g h))))) in h
0.823 * [taylor]: Taking taylor expansion of 1/2 in h
0.823 * [taylor]: Taking taylor expansion of (sin (* 1/3 (asin (/ g h)))) in h
0.823 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ g h))) in h
0.823 * [taylor]: Taking taylor expansion of 1/3 in h
0.823 * [taylor]: Taking taylor expansion of (asin (/ g h)) in h
0.823 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (* (sqrt 3) (cos (* 1/3 (asin (/ g h)))))) (* 1/2 (sin (* 1/3 (asin (/ g h))))))) in g
0.823 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (sqrt 3) (cos (* 1/3 (asin (/ g h)))))) (* 1/2 (sin (* 1/3 (asin (/ g h)))))) in g
0.823 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt 3) (cos (* 1/3 (asin (/ g h)))))) in g
0.823 * [taylor]: Taking taylor expansion of 1/2 in g
0.823 * [taylor]: Taking taylor expansion of (* (sqrt 3) (cos (* 1/3 (asin (/ g h))))) in g
0.823 * [taylor]: Taking taylor expansion of (sqrt 3) in g
0.823 * [taylor]: Taking taylor expansion of 3 in g
0.823 * [taylor]: Taking taylor expansion of (cos (* 1/3 (asin (/ g h)))) in g
0.823 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ g h))) in g
0.823 * [taylor]: Taking taylor expansion of 1/3 in g
0.823 * [taylor]: Taking taylor expansion of (asin (/ g h)) in g
0.823 * [taylor]: Taking taylor expansion of (* 1/2 (sin (* 1/3 (asin (/ g h))))) in g
0.823 * [taylor]: Taking taylor expansion of 1/2 in g
0.823 * [taylor]: Taking taylor expansion of (sin (* 1/3 (asin (/ g h)))) in g
0.823 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ g h))) in g
0.823 * [taylor]: Taking taylor expansion of 1/3 in g
0.823 * [taylor]: Taking taylor expansion of (asin (/ g h)) in g
0.824 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (* (sqrt 3) (cos (* 1/3 (asin (/ g h)))))) (* 1/2 (sin (* 1/3 (asin (/ g h))))))) in g
0.824 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (sqrt 3) (cos (* 1/3 (asin (/ g h)))))) (* 1/2 (sin (* 1/3 (asin (/ g h)))))) in g
0.824 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt 3) (cos (* 1/3 (asin (/ g h)))))) in g
0.824 * [taylor]: Taking taylor expansion of 1/2 in g
0.824 * [taylor]: Taking taylor expansion of (* (sqrt 3) (cos (* 1/3 (asin (/ g h))))) in g
0.824 * [taylor]: Taking taylor expansion of (sqrt 3) in g
0.824 * [taylor]: Taking taylor expansion of 3 in g
0.824 * [taylor]: Taking taylor expansion of (cos (* 1/3 (asin (/ g h)))) in g
0.824 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ g h))) in g
0.824 * [taylor]: Taking taylor expansion of 1/3 in g
0.824 * [taylor]: Taking taylor expansion of (asin (/ g h)) in g
0.824 * [taylor]: Taking taylor expansion of (* 1/2 (sin (* 1/3 (asin (/ g h))))) in g
0.824 * [taylor]: Taking taylor expansion of 1/2 in g
0.824 * [taylor]: Taking taylor expansion of (sin (* 1/3 (asin (/ g h)))) in g
0.824 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ g h))) in g
0.824 * [taylor]: Taking taylor expansion of 1/3 in g
0.824 * [taylor]: Taking taylor expansion of (asin (/ g h)) in g
0.826 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (* (sqrt 3) (cos (* 1/3 (asin (/ g h)))))) (* 1/2 (sin (* 1/3 (asin (/ g h))))))) in h
0.826 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (sqrt 3) (cos (* 1/3 (asin (/ g h)))))) (* 1/2 (sin (* 1/3 (asin (/ g h)))))) in h
0.826 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt 3) (cos (* 1/3 (asin (/ g h)))))) in h
0.826 * [taylor]: Taking taylor expansion of 1/2 in h
0.826 * [taylor]: Taking taylor expansion of (* (sqrt 3) (cos (* 1/3 (asin (/ g h))))) in h
0.826 * [taylor]: Taking taylor expansion of (sqrt 3) in h
0.826 * [taylor]: Taking taylor expansion of 3 in h
0.826 * [taylor]: Taking taylor expansion of (cos (* 1/3 (asin (/ g h)))) in h
0.826 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ g h))) in h
0.826 * [taylor]: Taking taylor expansion of 1/3 in h
0.826 * [taylor]: Taking taylor expansion of (asin (/ g h)) in h
0.826 * [taylor]: Taking taylor expansion of (* 1/2 (sin (* 1/3 (asin (/ g h))))) in h
0.826 * [taylor]: Taking taylor expansion of 1/2 in h
0.826 * [taylor]: Taking taylor expansion of (sin (* 1/3 (asin (/ g h)))) in h
0.826 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ g h))) in h
0.826 * [taylor]: Taking taylor expansion of 1/3 in h
0.826 * [taylor]: Taking taylor expansion of (asin (/ g h)) in h
0.829 * [taylor]: Taking taylor expansion of 0 in h
0.831 * [taylor]: Taking taylor expansion of 0 in h
0.836 * [taylor]: Taking taylor expansion of 0 in h
0.837 * [approximate]: Taking taylor expansion of (neg (+ (* 1/2 (sin (* 1/3 (asin (/ h g))))) (* 1/2 (* (sqrt 3) (cos (* 1/3 (asin (/ h g)))))))) in (g h) around 0
0.837 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (sin (* 1/3 (asin (/ h g))))) (* 1/2 (* (sqrt 3) (cos (* 1/3 (asin (/ h g)))))))) in h
0.837 * [taylor]: Taking taylor expansion of (+ (* 1/2 (sin (* 1/3 (asin (/ h g))))) (* 1/2 (* (sqrt 3) (cos (* 1/3 (asin (/ h g))))))) in h
0.837 * [taylor]: Taking taylor expansion of (* 1/2 (sin (* 1/3 (asin (/ h g))))) in h
0.837 * [taylor]: Taking taylor expansion of 1/2 in h
0.837 * [taylor]: Taking taylor expansion of (sin (* 1/3 (asin (/ h g)))) in h
0.837 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in h
0.837 * [taylor]: Taking taylor expansion of 1/3 in h
0.837 * [taylor]: Taking taylor expansion of (asin (/ h g)) in h
0.838 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt 3) (cos (* 1/3 (asin (/ h g)))))) in h
0.838 * [taylor]: Taking taylor expansion of 1/2 in h
0.838 * [taylor]: Taking taylor expansion of (* (sqrt 3) (cos (* 1/3 (asin (/ h g))))) in h
0.838 * [taylor]: Taking taylor expansion of (sqrt 3) in h
0.838 * [taylor]: Taking taylor expansion of 3 in h
0.838 * [taylor]: Taking taylor expansion of (cos (* 1/3 (asin (/ h g)))) in h
0.838 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in h
0.838 * [taylor]: Taking taylor expansion of 1/3 in h
0.838 * [taylor]: Taking taylor expansion of (asin (/ h g)) in h
0.838 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (sin (* 1/3 (asin (/ h g))))) (* 1/2 (* (sqrt 3) (cos (* 1/3 (asin (/ h g)))))))) in g
0.838 * [taylor]: Taking taylor expansion of (+ (* 1/2 (sin (* 1/3 (asin (/ h g))))) (* 1/2 (* (sqrt 3) (cos (* 1/3 (asin (/ h g))))))) in g
0.838 * [taylor]: Taking taylor expansion of (* 1/2 (sin (* 1/3 (asin (/ h g))))) in g
0.838 * [taylor]: Taking taylor expansion of 1/2 in g
0.838 * [taylor]: Taking taylor expansion of (sin (* 1/3 (asin (/ h g)))) in g
0.838 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in g
0.838 * [taylor]: Taking taylor expansion of 1/3 in g
0.838 * [taylor]: Taking taylor expansion of (asin (/ h g)) in g
0.838 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt 3) (cos (* 1/3 (asin (/ h g)))))) in g
0.838 * [taylor]: Taking taylor expansion of 1/2 in g
0.838 * [taylor]: Taking taylor expansion of (* (sqrt 3) (cos (* 1/3 (asin (/ h g))))) in g
0.838 * [taylor]: Taking taylor expansion of (sqrt 3) in g
0.838 * [taylor]: Taking taylor expansion of 3 in g
0.839 * [taylor]: Taking taylor expansion of (cos (* 1/3 (asin (/ h g)))) in g
0.839 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in g
0.839 * [taylor]: Taking taylor expansion of 1/3 in g
0.839 * [taylor]: Taking taylor expansion of (asin (/ h g)) in g
0.839 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (sin (* 1/3 (asin (/ h g))))) (* 1/2 (* (sqrt 3) (cos (* 1/3 (asin (/ h g)))))))) in g
0.839 * [taylor]: Taking taylor expansion of (+ (* 1/2 (sin (* 1/3 (asin (/ h g))))) (* 1/2 (* (sqrt 3) (cos (* 1/3 (asin (/ h g))))))) in g
0.839 * [taylor]: Taking taylor expansion of (* 1/2 (sin (* 1/3 (asin (/ h g))))) in g
0.839 * [taylor]: Taking taylor expansion of 1/2 in g
0.839 * [taylor]: Taking taylor expansion of (sin (* 1/3 (asin (/ h g)))) in g
0.839 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in g
0.839 * [taylor]: Taking taylor expansion of 1/3 in g
0.839 * [taylor]: Taking taylor expansion of (asin (/ h g)) in g
0.839 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt 3) (cos (* 1/3 (asin (/ h g)))))) in g
0.839 * [taylor]: Taking taylor expansion of 1/2 in g
0.839 * [taylor]: Taking taylor expansion of (* (sqrt 3) (cos (* 1/3 (asin (/ h g))))) in g
0.839 * [taylor]: Taking taylor expansion of (sqrt 3) in g
0.839 * [taylor]: Taking taylor expansion of 3 in g
0.839 * [taylor]: Taking taylor expansion of (cos (* 1/3 (asin (/ h g)))) in g
0.839 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in g
0.839 * [taylor]: Taking taylor expansion of 1/3 in g
0.839 * [taylor]: Taking taylor expansion of (asin (/ h g)) in g
0.841 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (sin (* 1/3 (asin (/ h g))))) (* 1/2 (* (sqrt 3) (cos (* 1/3 (asin (/ h g)))))))) in h
0.841 * [taylor]: Taking taylor expansion of (+ (* 1/2 (sin (* 1/3 (asin (/ h g))))) (* 1/2 (* (sqrt 3) (cos (* 1/3 (asin (/ h g))))))) in h
0.841 * [taylor]: Taking taylor expansion of (* 1/2 (sin (* 1/3 (asin (/ h g))))) in h
0.841 * [taylor]: Taking taylor expansion of 1/2 in h
0.841 * [taylor]: Taking taylor expansion of (sin (* 1/3 (asin (/ h g)))) in h
0.841 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in h
0.841 * [taylor]: Taking taylor expansion of 1/3 in h
0.841 * [taylor]: Taking taylor expansion of (asin (/ h g)) in h
0.841 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt 3) (cos (* 1/3 (asin (/ h g)))))) in h
0.841 * [taylor]: Taking taylor expansion of 1/2 in h
0.841 * [taylor]: Taking taylor expansion of (* (sqrt 3) (cos (* 1/3 (asin (/ h g))))) in h
0.841 * [taylor]: Taking taylor expansion of (sqrt 3) in h
0.841 * [taylor]: Taking taylor expansion of 3 in h
0.841 * [taylor]: Taking taylor expansion of (cos (* 1/3 (asin (/ h g)))) in h
0.841 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in h
0.841 * [taylor]: Taking taylor expansion of 1/3 in h
0.841 * [taylor]: Taking taylor expansion of (asin (/ h g)) in h
0.844 * [taylor]: Taking taylor expansion of 0 in h
0.846 * [taylor]: Taking taylor expansion of 0 in h
0.849 * [taylor]: Taking taylor expansion of 0 in h
0.850 * [approximate]: Taking taylor expansion of (neg (+ (* 1/2 (sin (* 1/3 (asin (/ h g))))) (* 1/2 (* (sqrt 3) (cos (* 1/3 (asin (/ h g)))))))) in (g h) around 0
0.850 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (sin (* 1/3 (asin (/ h g))))) (* 1/2 (* (sqrt 3) (cos (* 1/3 (asin (/ h g)))))))) in h
0.850 * [taylor]: Taking taylor expansion of (+ (* 1/2 (sin (* 1/3 (asin (/ h g))))) (* 1/2 (* (sqrt 3) (cos (* 1/3 (asin (/ h g))))))) in h
0.850 * [taylor]: Taking taylor expansion of (* 1/2 (sin (* 1/3 (asin (/ h g))))) in h
0.850 * [taylor]: Taking taylor expansion of 1/2 in h
0.850 * [taylor]: Taking taylor expansion of (sin (* 1/3 (asin (/ h g)))) in h
0.850 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in h
0.850 * [taylor]: Taking taylor expansion of 1/3 in h
0.850 * [taylor]: Taking taylor expansion of (asin (/ h g)) in h
0.850 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt 3) (cos (* 1/3 (asin (/ h g)))))) in h
0.850 * [taylor]: Taking taylor expansion of 1/2 in h
0.850 * [taylor]: Taking taylor expansion of (* (sqrt 3) (cos (* 1/3 (asin (/ h g))))) in h
0.850 * [taylor]: Taking taylor expansion of (sqrt 3) in h
0.850 * [taylor]: Taking taylor expansion of 3 in h
0.850 * [taylor]: Taking taylor expansion of (cos (* 1/3 (asin (/ h g)))) in h
0.850 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in h
0.850 * [taylor]: Taking taylor expansion of 1/3 in h
0.850 * [taylor]: Taking taylor expansion of (asin (/ h g)) in h
0.851 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (sin (* 1/3 (asin (/ h g))))) (* 1/2 (* (sqrt 3) (cos (* 1/3 (asin (/ h g)))))))) in g
0.851 * [taylor]: Taking taylor expansion of (+ (* 1/2 (sin (* 1/3 (asin (/ h g))))) (* 1/2 (* (sqrt 3) (cos (* 1/3 (asin (/ h g))))))) in g
0.851 * [taylor]: Taking taylor expansion of (* 1/2 (sin (* 1/3 (asin (/ h g))))) in g
0.851 * [taylor]: Taking taylor expansion of 1/2 in g
0.851 * [taylor]: Taking taylor expansion of (sin (* 1/3 (asin (/ h g)))) in g
0.851 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in g
0.851 * [taylor]: Taking taylor expansion of 1/3 in g
0.851 * [taylor]: Taking taylor expansion of (asin (/ h g)) in g
0.851 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt 3) (cos (* 1/3 (asin (/ h g)))))) in g
0.851 * [taylor]: Taking taylor expansion of 1/2 in g
0.851 * [taylor]: Taking taylor expansion of (* (sqrt 3) (cos (* 1/3 (asin (/ h g))))) in g
0.851 * [taylor]: Taking taylor expansion of (sqrt 3) in g
0.851 * [taylor]: Taking taylor expansion of 3 in g
0.851 * [taylor]: Taking taylor expansion of (cos (* 1/3 (asin (/ h g)))) in g
0.851 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in g
0.851 * [taylor]: Taking taylor expansion of 1/3 in g
0.851 * [taylor]: Taking taylor expansion of (asin (/ h g)) in g
0.851 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (sin (* 1/3 (asin (/ h g))))) (* 1/2 (* (sqrt 3) (cos (* 1/3 (asin (/ h g)))))))) in g
0.851 * [taylor]: Taking taylor expansion of (+ (* 1/2 (sin (* 1/3 (asin (/ h g))))) (* 1/2 (* (sqrt 3) (cos (* 1/3 (asin (/ h g))))))) in g
0.851 * [taylor]: Taking taylor expansion of (* 1/2 (sin (* 1/3 (asin (/ h g))))) in g
0.851 * [taylor]: Taking taylor expansion of 1/2 in g
0.851 * [taylor]: Taking taylor expansion of (sin (* 1/3 (asin (/ h g)))) in g
0.851 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in g
0.851 * [taylor]: Taking taylor expansion of 1/3 in g
0.852 * [taylor]: Taking taylor expansion of (asin (/ h g)) in g
0.852 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt 3) (cos (* 1/3 (asin (/ h g)))))) in g
0.852 * [taylor]: Taking taylor expansion of 1/2 in g
0.852 * [taylor]: Taking taylor expansion of (* (sqrt 3) (cos (* 1/3 (asin (/ h g))))) in g
0.852 * [taylor]: Taking taylor expansion of (sqrt 3) in g
0.852 * [taylor]: Taking taylor expansion of 3 in g
0.852 * [taylor]: Taking taylor expansion of (cos (* 1/3 (asin (/ h g)))) in g
0.852 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in g
0.852 * [taylor]: Taking taylor expansion of 1/3 in g
0.852 * [taylor]: Taking taylor expansion of (asin (/ h g)) in g
0.853 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (sin (* 1/3 (asin (/ h g))))) (* 1/2 (* (sqrt 3) (cos (* 1/3 (asin (/ h g)))))))) in h
0.853 * [taylor]: Taking taylor expansion of (+ (* 1/2 (sin (* 1/3 (asin (/ h g))))) (* 1/2 (* (sqrt 3) (cos (* 1/3 (asin (/ h g))))))) in h
0.853 * [taylor]: Taking taylor expansion of (* 1/2 (sin (* 1/3 (asin (/ h g))))) in h
0.853 * [taylor]: Taking taylor expansion of 1/2 in h
0.853 * [taylor]: Taking taylor expansion of (sin (* 1/3 (asin (/ h g)))) in h
0.853 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in h
0.853 * [taylor]: Taking taylor expansion of 1/3 in h
0.853 * [taylor]: Taking taylor expansion of (asin (/ h g)) in h
0.853 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt 3) (cos (* 1/3 (asin (/ h g)))))) in h
0.853 * [taylor]: Taking taylor expansion of 1/2 in h
0.854 * [taylor]: Taking taylor expansion of (* (sqrt 3) (cos (* 1/3 (asin (/ h g))))) in h
0.854 * [taylor]: Taking taylor expansion of (sqrt 3) in h
0.854 * [taylor]: Taking taylor expansion of 3 in h
0.854 * [taylor]: Taking taylor expansion of (cos (* 1/3 (asin (/ h g)))) in h
0.854 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in h
0.854 * [taylor]: Taking taylor expansion of 1/3 in h
0.854 * [taylor]: Taking taylor expansion of (asin (/ h g)) in h
0.856 * [taylor]: Taking taylor expansion of 0 in h
0.858 * [taylor]: Taking taylor expansion of 0 in h
0.861 * [taylor]: Taking taylor expansion of 0 in h
0.861 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
0.861 * [approximate]: Taking taylor expansion of (* 1/2 (sin (* 1/3 (asin (/ g h))))) in (g h) around 0
0.862 * [taylor]: Taking taylor expansion of (* 1/2 (sin (* 1/3 (asin (/ g h))))) in h
0.862 * [taylor]: Taking taylor expansion of 1/2 in h
0.862 * [taylor]: Taking taylor expansion of (sin (* 1/3 (asin (/ g h)))) in h
0.862 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ g h))) in h
0.862 * [taylor]: Taking taylor expansion of 1/3 in h
0.862 * [taylor]: Taking taylor expansion of (asin (/ g h)) in h
0.862 * [taylor]: Taking taylor expansion of (* 1/2 (sin (* 1/3 (asin (/ g h))))) in g
0.862 * [taylor]: Taking taylor expansion of 1/2 in g
0.862 * [taylor]: Taking taylor expansion of (sin (* 1/3 (asin (/ g h)))) in g
0.862 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ g h))) in g
0.862 * [taylor]: Taking taylor expansion of 1/3 in g
0.862 * [taylor]: Taking taylor expansion of (asin (/ g h)) in g
0.862 * [taylor]: Taking taylor expansion of (* 1/2 (sin (* 1/3 (asin (/ g h))))) in g
0.862 * [taylor]: Taking taylor expansion of 1/2 in g
0.862 * [taylor]: Taking taylor expansion of (sin (* 1/3 (asin (/ g h)))) in g
0.862 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ g h))) in g
0.862 * [taylor]: Taking taylor expansion of 1/3 in g
0.862 * [taylor]: Taking taylor expansion of (asin (/ g h)) in g
0.863 * [taylor]: Taking taylor expansion of (* 1/2 (sin (* 1/3 (asin (/ g h))))) in h
0.863 * [taylor]: Taking taylor expansion of 1/2 in h
0.863 * [taylor]: Taking taylor expansion of (sin (* 1/3 (asin (/ g h)))) in h
0.863 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ g h))) in h
0.863 * [taylor]: Taking taylor expansion of 1/3 in h
0.863 * [taylor]: Taking taylor expansion of (asin (/ g h)) in h
0.864 * [taylor]: Taking taylor expansion of 0 in h
0.865 * [taylor]: Taking taylor expansion of 0 in h
0.866 * [taylor]: Taking taylor expansion of 0 in h
0.866 * [approximate]: Taking taylor expansion of (* 1/2 (sin (* 1/3 (asin (/ h g))))) in (g h) around 0
0.866 * [taylor]: Taking taylor expansion of (* 1/2 (sin (* 1/3 (asin (/ h g))))) in h
0.866 * [taylor]: Taking taylor expansion of 1/2 in h
0.866 * [taylor]: Taking taylor expansion of (sin (* 1/3 (asin (/ h g)))) in h
0.866 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in h
0.866 * [taylor]: Taking taylor expansion of 1/3 in h
0.866 * [taylor]: Taking taylor expansion of (asin (/ h g)) in h
0.866 * [taylor]: Taking taylor expansion of (* 1/2 (sin (* 1/3 (asin (/ h g))))) in g
0.866 * [taylor]: Taking taylor expansion of 1/2 in g
0.866 * [taylor]: Taking taylor expansion of (sin (* 1/3 (asin (/ h g)))) in g
0.866 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in g
0.866 * [taylor]: Taking taylor expansion of 1/3 in g
0.866 * [taylor]: Taking taylor expansion of (asin (/ h g)) in g
0.867 * [taylor]: Taking taylor expansion of (* 1/2 (sin (* 1/3 (asin (/ h g))))) in g
0.867 * [taylor]: Taking taylor expansion of 1/2 in g
0.867 * [taylor]: Taking taylor expansion of (sin (* 1/3 (asin (/ h g)))) in g
0.867 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in g
0.867 * [taylor]: Taking taylor expansion of 1/3 in g
0.867 * [taylor]: Taking taylor expansion of (asin (/ h g)) in g
0.867 * [taylor]: Taking taylor expansion of (* 1/2 (sin (* 1/3 (asin (/ h g))))) in h
0.867 * [taylor]: Taking taylor expansion of 1/2 in h
0.867 * [taylor]: Taking taylor expansion of (sin (* 1/3 (asin (/ h g)))) in h
0.867 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in h
0.867 * [taylor]: Taking taylor expansion of 1/3 in h
0.867 * [taylor]: Taking taylor expansion of (asin (/ h g)) in h
0.868 * [taylor]: Taking taylor expansion of 0 in h
0.869 * [taylor]: Taking taylor expansion of 0 in h
0.870 * [taylor]: Taking taylor expansion of 0 in h
0.870 * [approximate]: Taking taylor expansion of (* 1/2 (sin (* 1/3 (asin (/ h g))))) in (g h) around 0
0.870 * [taylor]: Taking taylor expansion of (* 1/2 (sin (* 1/3 (asin (/ h g))))) in h
0.870 * [taylor]: Taking taylor expansion of 1/2 in h
0.870 * [taylor]: Taking taylor expansion of (sin (* 1/3 (asin (/ h g)))) in h
0.870 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in h
0.871 * [taylor]: Taking taylor expansion of 1/3 in h
0.871 * [taylor]: Taking taylor expansion of (asin (/ h g)) in h
0.871 * [taylor]: Taking taylor expansion of (* 1/2 (sin (* 1/3 (asin (/ h g))))) in g
0.871 * [taylor]: Taking taylor expansion of 1/2 in g
0.871 * [taylor]: Taking taylor expansion of (sin (* 1/3 (asin (/ h g)))) in g
0.871 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in g
0.871 * [taylor]: Taking taylor expansion of 1/3 in g
0.871 * [taylor]: Taking taylor expansion of (asin (/ h g)) in g
0.871 * [taylor]: Taking taylor expansion of (* 1/2 (sin (* 1/3 (asin (/ h g))))) in g
0.871 * [taylor]: Taking taylor expansion of 1/2 in g
0.871 * [taylor]: Taking taylor expansion of (sin (* 1/3 (asin (/ h g)))) in g
0.871 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in g
0.871 * [taylor]: Taking taylor expansion of 1/3 in g
0.871 * [taylor]: Taking taylor expansion of (asin (/ h g)) in g
0.872 * [taylor]: Taking taylor expansion of (* 1/2 (sin (* 1/3 (asin (/ h g))))) in h
0.872 * [taylor]: Taking taylor expansion of 1/2 in h
0.872 * [taylor]: Taking taylor expansion of (sin (* 1/3 (asin (/ h g)))) in h
0.872 * [taylor]: Taking taylor expansion of (* 1/3 (asin (/ h g))) in h
0.872 * [taylor]: Taking taylor expansion of 1/3 in h
0.872 * [taylor]: Taking taylor expansion of (asin (/ h g)) in h
0.873 * [taylor]: Taking taylor expansion of 0 in h
0.874 * [taylor]: Taking taylor expansion of 0 in h
0.875 * [taylor]: Taking taylor expansion of 0 in h
0.875 * * * [progress]: simplifying candidates
0.876 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (log.f64 (asin.f64 (/.f64 g h))) (log.f64 3))
  (log.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))
  (exp.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))
  (/.f64 (*.f64 (*.f64 (asin.f64 (/.f64 g h)) (asin.f64 (/.f64 g h))) (asin.f64 (/.f64 g h))) (*.f64 (*.f64 3 3) 3))
  (*.f64 (cbrt.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)) (cbrt.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))
  (cbrt.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))
  (*.f64 (*.f64 (/.f64 (asin.f64 (/.f64 g h)) 3) (/.f64 (asin.f64 (/.f64 g h)) 3)) (/.f64 (asin.f64 (/.f64 g h)) 3))
  (sqrt.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))
  (sqrt.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))
  (neg.f64 (asin.f64 (/.f64 g h)))
  (neg.f64 3)
  (/.f64 (/.f64 PI.f64 2) 3)
  (/.f64 (acos.f64 (/.f64 g h)) 3)
  (/.f64 (*.f64 (cbrt.f64 (asin.f64 (/.f64 g h))) (cbrt.f64 (asin.f64 (/.f64 g h)))) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (/.f64 (cbrt.f64 (asin.f64 (/.f64 g h))) (cbrt.f64 3))
  (/.f64 (*.f64 (cbrt.f64 (asin.f64 (/.f64 g h))) (cbrt.f64 (asin.f64 (/.f64 g h)))) (sqrt.f64 3))
  (/.f64 (cbrt.f64 (asin.f64 (/.f64 g h))) (sqrt.f64 3))
  (/.f64 (*.f64 (cbrt.f64 (asin.f64 (/.f64 g h))) (cbrt.f64 (asin.f64 (/.f64 g h)))) 1)
  (/.f64 (cbrt.f64 (asin.f64 (/.f64 g h))) 3)
  (/.f64 (sqrt.f64 (asin.f64 (/.f64 g h))) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (/.f64 (sqrt.f64 (asin.f64 (/.f64 g h))) (cbrt.f64 3))
  (/.f64 (sqrt.f64 (asin.f64 (/.f64 g h))) (sqrt.f64 3))
  (/.f64 (sqrt.f64 (asin.f64 (/.f64 g h))) (sqrt.f64 3))
  (/.f64 (sqrt.f64 (asin.f64 (/.f64 g h))) 1)
  (/.f64 (sqrt.f64 (asin.f64 (/.f64 g h))) 3)
  (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (/.f64 (asin.f64 (/.f64 g h)) (cbrt.f64 3))
  (/.f64 1 (sqrt.f64 3))
  (/.f64 (asin.f64 (/.f64 g h)) (sqrt.f64 3))
  (/.f64 1 1)
  (/.f64 (asin.f64 (/.f64 g h)) 3)
  (/.f64 1 3)
  (/.f64 3 (asin.f64 (/.f64 g h)))
  (/.f64 (asin.f64 (/.f64 g h)) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (/.f64 (asin.f64 (/.f64 g h)) (sqrt.f64 3))
  (/.f64 (asin.f64 (/.f64 g h)) 1)
  (/.f64 3 (cbrt.f64 (asin.f64 (/.f64 g h))))
  (/.f64 3 (sqrt.f64 (asin.f64 (/.f64 g h))))
  (/.f64 3 (asin.f64 (/.f64 g h)))
  (-.f64 (log.f64 (asin.f64 (/.f64 g h))) (log.f64 3))
  (log.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))
  (exp.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))
  (/.f64 (*.f64 (*.f64 (asin.f64 (/.f64 g h)) (asin.f64 (/.f64 g h))) (asin.f64 (/.f64 g h))) (*.f64 (*.f64 3 3) 3))
  (*.f64 (cbrt.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)) (cbrt.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))
  (cbrt.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))
  (*.f64 (*.f64 (/.f64 (asin.f64 (/.f64 g h)) 3) (/.f64 (asin.f64 (/.f64 g h)) 3)) (/.f64 (asin.f64 (/.f64 g h)) 3))
  (sqrt.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))
  (sqrt.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))
  (neg.f64 (asin.f64 (/.f64 g h)))
  (neg.f64 3)
  (/.f64 (/.f64 PI.f64 2) 3)
  (/.f64 (acos.f64 (/.f64 g h)) 3)
  (/.f64 (*.f64 (cbrt.f64 (asin.f64 (/.f64 g h))) (cbrt.f64 (asin.f64 (/.f64 g h)))) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (/.f64 (cbrt.f64 (asin.f64 (/.f64 g h))) (cbrt.f64 3))
  (/.f64 (*.f64 (cbrt.f64 (asin.f64 (/.f64 g h))) (cbrt.f64 (asin.f64 (/.f64 g h)))) (sqrt.f64 3))
  (/.f64 (cbrt.f64 (asin.f64 (/.f64 g h))) (sqrt.f64 3))
  (/.f64 (*.f64 (cbrt.f64 (asin.f64 (/.f64 g h))) (cbrt.f64 (asin.f64 (/.f64 g h)))) 1)
  (/.f64 (cbrt.f64 (asin.f64 (/.f64 g h))) 3)
  (/.f64 (sqrt.f64 (asin.f64 (/.f64 g h))) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (/.f64 (sqrt.f64 (asin.f64 (/.f64 g h))) (cbrt.f64 3))
  (/.f64 (sqrt.f64 (asin.f64 (/.f64 g h))) (sqrt.f64 3))
  (/.f64 (sqrt.f64 (asin.f64 (/.f64 g h))) (sqrt.f64 3))
  (/.f64 (sqrt.f64 (asin.f64 (/.f64 g h))) 1)
  (/.f64 (sqrt.f64 (asin.f64 (/.f64 g h))) 3)
  (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (/.f64 (asin.f64 (/.f64 g h)) (cbrt.f64 3))
  (/.f64 1 (sqrt.f64 3))
  (/.f64 (asin.f64 (/.f64 g h)) (sqrt.f64 3))
  (/.f64 1 1)
  (/.f64 (asin.f64 (/.f64 g h)) 3)
  (/.f64 1 3)
  (/.f64 3 (asin.f64 (/.f64 g h)))
  (/.f64 (asin.f64 (/.f64 g h)) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (/.f64 (asin.f64 (/.f64 g h)) (sqrt.f64 3))
  (/.f64 (asin.f64 (/.f64 g h)) 1)
  (/.f64 3 (cbrt.f64 (asin.f64 (/.f64 g h))))
  (/.f64 3 (sqrt.f64 (asin.f64 (/.f64 g h))))
  (/.f64 3 (asin.f64 (/.f64 g h)))
  (/.f64 (exp.f64 (*.f64 (neg.f64 (/.f64 (sqrt.f64 3) 2)) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))) (exp.f64 (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))))
  (log.f64 (-.f64 (*.f64 (neg.f64 (/.f64 (sqrt.f64 3) 2)) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))) (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))))
  (exp.f64 (-.f64 (*.f64 (neg.f64 (/.f64 (sqrt.f64 3) 2)) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))) (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))))
  (*.f64 (cbrt.f64 (-.f64 (*.f64 (neg.f64 (/.f64 (sqrt.f64 3) 2)) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))) (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))) (cbrt.f64 (-.f64 (*.f64 (neg.f64 (/.f64 (sqrt.f64 3) 2)) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))) (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))))
  (cbrt.f64 (-.f64 (*.f64 (neg.f64 (/.f64 (sqrt.f64 3) 2)) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))) (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))))
  (*.f64 (*.f64 (-.f64 (*.f64 (neg.f64 (/.f64 (sqrt.f64 3) 2)) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))) (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))) (-.f64 (*.f64 (neg.f64 (/.f64 (sqrt.f64 3) 2)) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))) (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))) (-.f64 (*.f64 (neg.f64 (/.f64 (sqrt.f64 3) 2)) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))) (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))))
  (sqrt.f64 (-.f64 (*.f64 (neg.f64 (/.f64 (sqrt.f64 3) 2)) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))) (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))))
  (sqrt.f64 (-.f64 (*.f64 (neg.f64 (/.f64 (sqrt.f64 3) 2)) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))) (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))))
  (-.f64 (pow.f64 (*.f64 (neg.f64 (/.f64 (sqrt.f64 3) 2)) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))) 3) (pow.f64 (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))) 3))
  (+.f64 (*.f64 (*.f64 (neg.f64 (/.f64 (sqrt.f64 3) 2)) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))) (*.f64 (neg.f64 (/.f64 (sqrt.f64 3) 2)) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))) (+.f64 (*.f64 (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))) (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))) (*.f64 (*.f64 (neg.f64 (/.f64 (sqrt.f64 3) 2)) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))) (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))))
  (neg.f64 (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))
  (-.f64 (*.f64 (*.f64 (neg.f64 (/.f64 (sqrt.f64 3) 2)) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))) (*.f64 (neg.f64 (/.f64 (sqrt.f64 3) 2)) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))) (*.f64 (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))) (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))))
  (+.f64 (*.f64 (neg.f64 (/.f64 (sqrt.f64 3) 2)) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))) (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))
  (-.f64 (*.f64 (neg.f64 (/.f64 (sqrt.f64 3) 2)) (*.f64 (sin.f64 (/.f64 (/.f64 PI.f64 2) 3)) (sin.f64 (/.f64 (acos.f64 (/.f64 g h)) 3)))) (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))
  (-.f64 (*.f64 (*.f64 (sin.f64 (/.f64 (/.f64 PI.f64 2) 3)) (sin.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))) (neg.f64 (/.f64 (sqrt.f64 3) 2))) (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))
  (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))
  (+.f64 (log.f64 1/2) (log.f64 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))
  (log.f64 (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))
  (exp.f64 (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))
  (*.f64 (*.f64 (*.f64 1/2 1/2) 1/2) (*.f64 (*.f64 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)) (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))) (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))
  (*.f64 (cbrt.f64 (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))) (cbrt.f64 (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))))
  (cbrt.f64 (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))
  (*.f64 (*.f64 (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))) (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))) (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))
  (sqrt.f64 (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))
  (sqrt.f64 (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))
  (*.f64 (sqrt.f64 1/2) (sqrt.f64 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))
  (*.f64 (sqrt.f64 1/2) (sqrt.f64 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))
  (*.f64 1/2 (*.f64 (cbrt.f64 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))) (cbrt.f64 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))))
  (*.f64 1/2 (sqrt.f64 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))
  (*.f64 1/2 1)
  (*.f64 (cbrt.f64 1/2) (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))
  (*.f64 (sqrt.f64 1/2) (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))
  (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))
  (*.f64 1/3 (asin.f64 (/.f64 g h)))
  (*.f64 1/3 (asin.f64 (/.f64 g h)))
  (*.f64 1/3 (asin.f64 (/.f64 g h)))
  (*.f64 1/3 (asin.f64 (/.f64 g h)))
  (*.f64 1/3 (asin.f64 (/.f64 g h)))
  (*.f64 1/3 (asin.f64 (/.f64 g h)))
  (neg.f64 (+.f64 (*.f64 1/2 (*.f64 (sqrt.f64 3) (cos.f64 (*.f64 1/3 (asin.f64 (/.f64 g h)))))) (*.f64 1/2 (sin.f64 (*.f64 1/3 (asin.f64 (/.f64 g h)))))))
  (neg.f64 (+.f64 (*.f64 1/2 (*.f64 (sqrt.f64 3) (cos.f64 (*.f64 1/3 (asin.f64 (/.f64 g h)))))) (*.f64 1/2 (sin.f64 (*.f64 1/3 (asin.f64 (/.f64 g h)))))))
  (neg.f64 (+.f64 (*.f64 1/2 (*.f64 (sqrt.f64 3) (cos.f64 (*.f64 1/3 (asin.f64 (/.f64 g h)))))) (*.f64 1/2 (sin.f64 (*.f64 1/3 (asin.f64 (/.f64 g h)))))))
  (*.f64 1/2 (sin.f64 (*.f64 1/3 (asin.f64 (/.f64 g h)))))
  (*.f64 1/2 (sin.f64 (*.f64 1/3 (asin.f64 (/.f64 g h)))))
  (*.f64 1/2 (sin.f64 (*.f64 1/3 (asin.f64 (/.f64 g h)))))
0.905 * * [simplify]: iteration  0 :  4874  enodes  (cost  1279 )
0.905 * * [simplify]: iteration  1 :  4874  enodes  (cost  1279 )
0.911 * [simplify]: Simplified to:
   (log.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))
  (log.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))
  (cbrt.f64 (exp.f64 (asin.f64 (/.f64 g h))))
  (/.f64 (pow.f64 (asin.f64 (/.f64 g h)) 3) 27)
  (*.f64 (cbrt.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)) (cbrt.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))
  (cbrt.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))
  (/.f64 (pow.f64 (asin.f64 (/.f64 g h)) 3) 27)
  (sqrt.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))
  (sqrt.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))
  (neg.f64 (asin.f64 (/.f64 g h)))
  -3
  (/.f64 PI.f64 6)
  (/.f64 (acos.f64 (/.f64 g h)) 3)
  (/.f64 (*.f64 (cbrt.f64 (asin.f64 (/.f64 g h))) (cbrt.f64 (asin.f64 (/.f64 g h)))) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (/.f64 (cbrt.f64 (asin.f64 (/.f64 g h))) (cbrt.f64 3))
  (/.f64 (*.f64 (cbrt.f64 (asin.f64 (/.f64 g h))) (cbrt.f64 (asin.f64 (/.f64 g h)))) (sqrt.f64 3))
  (/.f64 (cbrt.f64 (asin.f64 (/.f64 g h))) (sqrt.f64 3))
  (*.f64 (cbrt.f64 (asin.f64 (/.f64 g h))) (cbrt.f64 (asin.f64 (/.f64 g h))))
  (/.f64 (cbrt.f64 (asin.f64 (/.f64 g h))) 3)
  (/.f64 (sqrt.f64 (asin.f64 (/.f64 g h))) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (/.f64 (sqrt.f64 (asin.f64 (/.f64 g h))) (cbrt.f64 3))
  (/.f64 (sqrt.f64 (asin.f64 (/.f64 g h))) (sqrt.f64 3))
  (/.f64 (sqrt.f64 (asin.f64 (/.f64 g h))) (sqrt.f64 3))
  (sqrt.f64 (asin.f64 (/.f64 g h)))
  (/.f64 (sqrt.f64 (asin.f64 (/.f64 g h))) 3)
  (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (/.f64 (asin.f64 (/.f64 g h)) (cbrt.f64 3))
  (/.f64 1 (sqrt.f64 3))
  (/.f64 (asin.f64 (/.f64 g h)) (sqrt.f64 3))
  1
  (/.f64 (asin.f64 (/.f64 g h)) 3)
  1/3
  (/.f64 3 (asin.f64 (/.f64 g h)))
  (/.f64 (asin.f64 (/.f64 g h)) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (/.f64 (asin.f64 (/.f64 g h)) (sqrt.f64 3))
  (asin.f64 (/.f64 g h))
  (/.f64 3 (cbrt.f64 (asin.f64 (/.f64 g h))))
  (/.f64 3 (sqrt.f64 (asin.f64 (/.f64 g h))))
  (/.f64 3 (asin.f64 (/.f64 g h)))
  (log.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))
  (log.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))
  (cbrt.f64 (exp.f64 (asin.f64 (/.f64 g h))))
  (/.f64 (pow.f64 (asin.f64 (/.f64 g h)) 3) 27)
  (*.f64 (cbrt.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)) (cbrt.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))
  (cbrt.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))
  (/.f64 (pow.f64 (asin.f64 (/.f64 g h)) 3) 27)
  (sqrt.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))
  (sqrt.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))
  (neg.f64 (asin.f64 (/.f64 g h)))
  -3
  (/.f64 PI.f64 6)
  (/.f64 (acos.f64 (/.f64 g h)) 3)
  (/.f64 (*.f64 (cbrt.f64 (asin.f64 (/.f64 g h))) (cbrt.f64 (asin.f64 (/.f64 g h)))) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (/.f64 (cbrt.f64 (asin.f64 (/.f64 g h))) (cbrt.f64 3))
  (/.f64 (*.f64 (cbrt.f64 (asin.f64 (/.f64 g h))) (cbrt.f64 (asin.f64 (/.f64 g h)))) (sqrt.f64 3))
  (/.f64 (cbrt.f64 (asin.f64 (/.f64 g h))) (sqrt.f64 3))
  (*.f64 (cbrt.f64 (asin.f64 (/.f64 g h))) (cbrt.f64 (asin.f64 (/.f64 g h))))
  (/.f64 (cbrt.f64 (asin.f64 (/.f64 g h))) 3)
  (/.f64 (sqrt.f64 (asin.f64 (/.f64 g h))) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (/.f64 (sqrt.f64 (asin.f64 (/.f64 g h))) (cbrt.f64 3))
  (/.f64 (sqrt.f64 (asin.f64 (/.f64 g h))) (sqrt.f64 3))
  (/.f64 (sqrt.f64 (asin.f64 (/.f64 g h))) (sqrt.f64 3))
  (sqrt.f64 (asin.f64 (/.f64 g h)))
  (/.f64 (sqrt.f64 (asin.f64 (/.f64 g h))) 3)
  (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (/.f64 (asin.f64 (/.f64 g h)) (cbrt.f64 3))
  (/.f64 1 (sqrt.f64 3))
  (/.f64 (asin.f64 (/.f64 g h)) (sqrt.f64 3))
  1
  (/.f64 (asin.f64 (/.f64 g h)) 3)
  1/3
  (/.f64 3 (asin.f64 (/.f64 g h)))
  (/.f64 (asin.f64 (/.f64 g h)) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (/.f64 (asin.f64 (/.f64 g h)) (sqrt.f64 3))
  (asin.f64 (/.f64 g h))
  (/.f64 3 (cbrt.f64 (asin.f64 (/.f64 g h))))
  (/.f64 3 (sqrt.f64 (asin.f64 (/.f64 g h))))
  (/.f64 3 (asin.f64 (/.f64 g h)))
  (/.f64 (sqrt.f64 (pow.f64 (exp.f64 (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))) (neg.f64 (sqrt.f64 3)))) (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))))
  (log.f64 (-.f64 (*.f64 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)) -1/2) (*.f64 (/.f64 (sqrt.f64 3) 2) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))))
  (/.f64 (sqrt.f64 (pow.f64 (exp.f64 (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))) (neg.f64 (sqrt.f64 3)))) (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))))
  (*.f64 (cbrt.f64 (-.f64 (*.f64 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)) -1/2) (*.f64 (/.f64 (sqrt.f64 3) 2) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))) (cbrt.f64 (-.f64 (*.f64 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)) -1/2) (*.f64 (/.f64 (sqrt.f64 3) 2) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))))
  (cbrt.f64 (-.f64 (*.f64 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)) -1/2) (*.f64 (/.f64 (sqrt.f64 3) 2) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))))
  (pow.f64 (-.f64 (*.f64 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)) -1/2) (*.f64 (/.f64 (sqrt.f64 3) 2) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))) 3)
  (sqrt.f64 (-.f64 (*.f64 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)) -1/2) (*.f64 (/.f64 (sqrt.f64 3) 2) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))))
  (sqrt.f64 (-.f64 (*.f64 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)) -1/2) (*.f64 (/.f64 (sqrt.f64 3) 2) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))))
  (-.f64 (*.f64 (pow.f64 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)) 3) -1/8) (pow.f64 (*.f64 (/.f64 (sqrt.f64 3) 2) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))) 3))
  (+.f64 (*.f64 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)) (*.f64 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)) 1/4)) (*.f64 (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)) (*.f64 (/.f64 (sqrt.f64 3) 2) (-.f64 (*.f64 (/.f64 (sqrt.f64 3) 2) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))) (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))))))
  (*.f64 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)) -1/2)
  (-.f64 (*.f64 (/.f64 (sqrt.f64 3) 2) (*.f64 (/.f64 (sqrt.f64 3) 2) (*.f64 (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))) (*.f64 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)) (*.f64 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)) 1/4)))
  (-.f64 (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))) (*.f64 (/.f64 (sqrt.f64 3) 2) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))
  (*.f64 -1/2 (+.f64 (*.f64 (/.f64 (sqrt.f64 3) 2) (sin.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))) (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))
  (*.f64 -1/2 (+.f64 (*.f64 (/.f64 (sqrt.f64 3) 2) (sin.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))) (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))
  (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))
  (log.f64 (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))
  (log.f64 (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))
  (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))
  (pow.f64 (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))) 3)
  (*.f64 (cbrt.f64 (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))) (cbrt.f64 (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))))
  (cbrt.f64 (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))
  (pow.f64 (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))) 3)
  (sqrt.f64 (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))
  (sqrt.f64 (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))
  (*.f64 (sqrt.f64 1/2) (sqrt.f64 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))
  (*.f64 (sqrt.f64 1/2) (sqrt.f64 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))
  (*.f64 1/2 (*.f64 (cbrt.f64 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))) (cbrt.f64 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))))
  (*.f64 1/2 (sqrt.f64 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))
  1/2
  (*.f64 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)) (cbrt.f64 1/2))
  (*.f64 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)) (sqrt.f64 1/2))
  (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))
  (/.f64 (asin.f64 (/.f64 g h)) 3)
  (/.f64 (asin.f64 (/.f64 g h)) 3)
  (/.f64 (asin.f64 (/.f64 g h)) 3)
  (/.f64 (asin.f64 (/.f64 g h)) 3)
  (/.f64 (asin.f64 (/.f64 g h)) 3)
  (/.f64 (asin.f64 (/.f64 g h)) 3)
  (*.f64 -1/2 (+.f64 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)) (*.f64 (sqrt.f64 3) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))))
  (*.f64 -1/2 (+.f64 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)) (*.f64 (sqrt.f64 3) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))))
  (*.f64 -1/2 (+.f64 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)) (*.f64 (sqrt.f64 3) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))))
  (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))
  (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))
  (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))
0.912 * * * [progress]: adding candidates to table
1.023 * [progress]: [Phase 3 of 3] Extracting.
1.023 * * [regime]: Finding splitpoints for: (#<alt (λ (g h) (*.f64 2 (-.f64 (*.f64 (neg.f64 (/.f64 (sqrt.f64 3) 2)) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))) (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))))> #<alt (λ (g h) (*.f64 2 (cos.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)))))>)
1.023 * * * [regime-changes]: Trying 4 branch expressions: ((neg.f64 g) (/.f64 (neg.f64 g) h) h g)
1.023 * * * * [regimes]: Trying to branch on (neg.f64 g) from (#<alt (λ (g h) (*.f64 2 (-.f64 (*.f64 (neg.f64 (/.f64 (sqrt.f64 3) 2)) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))) (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))))> #<alt (λ (g h) (*.f64 2 (cos.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)))))>)
1.056 * * * * [regimes]: Trying to branch on (/.f64 (neg.f64 g) h) from (#<alt (λ (g h) (*.f64 2 (-.f64 (*.f64 (neg.f64 (/.f64 (sqrt.f64 3) 2)) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))) (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))))> #<alt (λ (g h) (*.f64 2 (cos.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)))))>)
1.086 * * * * [regimes]: Trying to branch on h from (#<alt (λ (g h) (*.f64 2 (-.f64 (*.f64 (neg.f64 (/.f64 (sqrt.f64 3) 2)) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))) (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))))> #<alt (λ (g h) (*.f64 2 (cos.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)))))>)
1.118 * * * * [regimes]: Trying to branch on g from (#<alt (λ (g h) (*.f64 2 (-.f64 (*.f64 (neg.f64 (/.f64 (sqrt.f64 3) 2)) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))) (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))))))> #<alt (λ (g h) (*.f64 2 (cos.f64 (-.f64 (*.f64 PI.f64 5/6) (/.f64 (asin.f64 (/.f64 (neg.f64 g) h)) 3)))))>)
1.152 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
1.152 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 2 (-.f64 (*.f64 (neg.f64 (/.f64 (sqrt.f64 3) 2)) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))) (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))))
1.154 * * [simplify]: iteration  0 :  99  enodes  (cost  25 )
1.154 * * [simplify]: iteration  1 :  99  enodes  (cost  25 )
1.155 * [simplify]: Simplified to:
   (*.f64 2 (-.f64 (*.f64 (neg.f64 (/.f64 (sqrt.f64 3) 2)) (cos.f64 (/.f64 (asin.f64 (/.f64 g h)) 3))) (*.f64 1/2 (sin.f64 (/.f64 (asin.f64 (/.f64 g h)) 3)))))
2.230 * [regime-testing]: End program error score: 0.02352418114782377