11.729 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.047 * * * [progress]: [2/2] Setting up program.
0.050 * [progress]: [Phase 2 of 3] Improving.
0.050 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* 2.0 (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
0.053 * * [simplify]: iteration  0 :  21  enodes  (cost  9 )
0.055 * * [simplify]: iteration  1 :  25  enodes  (cost  9 )
0.056 * * [simplify]: iteration  2 :  28  enodes  (cost  9 )
0.057 * * [simplify]: iteration  3 :  29  enodes  (cost  9 )
0.059 * * [simplify]: iteration  4 :  29  enodes  (cost  9 )
0.059 * [simplify]: Simplified to:
   (* 2.0 (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
0.059 * * [progress]: iteration 1 / 4
0.059 * * * [progress]: picking best candidate
0.062 * * * * [pick]: Picked  #<alt (λ (g h) (* 2.0 (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))>
0.062 * * * [progress]: localizing error
0.075 * * * [progress]: generating rewritten candidates
0.075 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
0.080 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
0.091 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
0.101 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
0.106 * * * [progress]: generating series expansions
0.106 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1)
0.106 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
0.107 * [approximate]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in (g h) around 0
0.107 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in h
0.108 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h
0.108 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h
0.108 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.108 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
0.108 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.108 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.108 * [taylor]: Taking taylor expansion of PI in h
0.109 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in g
0.109 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in g
0.110 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g
0.110 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.110 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
0.110 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.110 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.110 * [taylor]: Taking taylor expansion of PI in g
0.111 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in g
0.111 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in g
0.111 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g
0.111 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.111 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
0.112 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.112 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.112 * [taylor]: Taking taylor expansion of PI in g
0.115 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in h
0.115 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h
0.115 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h
0.115 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.115 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
0.115 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.115 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.115 * [taylor]: Taking taylor expansion of PI in h
0.122 * [taylor]: Taking taylor expansion of 0 in h
0.129 * [taylor]: Taking taylor expansion of 0 in h
0.143 * [taylor]: Taking taylor expansion of 0 in h
0.145 * [approximate]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in (g h) around 0
0.145 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h
0.145 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.145 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.145 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.145 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.145 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.145 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.145 * [taylor]: Taking taylor expansion of PI in h
0.146 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g
0.146 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.146 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.146 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.146 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.147 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.147 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.147 * [taylor]: Taking taylor expansion of PI in g
0.148 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g
0.148 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.148 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.148 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.148 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.148 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.148 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.148 * [taylor]: Taking taylor expansion of PI in g
0.151 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h
0.151 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.151 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.151 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.151 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.151 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.151 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.151 * [taylor]: Taking taylor expansion of PI in h
0.158 * [taylor]: Taking taylor expansion of 0 in h
0.166 * [taylor]: Taking taylor expansion of 0 in h
0.175 * [taylor]: Taking taylor expansion of 0 in h
0.176 * [approximate]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in (g h) around 0
0.176 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h
0.176 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.176 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.176 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.176 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.176 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.176 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.176 * [taylor]: Taking taylor expansion of PI in h
0.178 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g
0.178 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.178 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.178 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.178 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.178 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.178 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.178 * [taylor]: Taking taylor expansion of PI in g
0.180 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g
0.180 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.180 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.180 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.180 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.180 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.180 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.180 * [taylor]: Taking taylor expansion of PI in g
0.183 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h
0.183 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.183 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.183 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.183 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.183 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.183 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.183 * [taylor]: Taking taylor expansion of PI in h
0.190 * [taylor]: Taking taylor expansion of 0 in h
0.198 * [taylor]: Taking taylor expansion of 0 in h
0.207 * [taylor]: Taking taylor expansion of 0 in h
0.207 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
0.208 * [approximate]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in (g h) around 0
0.208 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h
0.208 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h
0.208 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.208 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
0.208 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.208 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.208 * [taylor]: Taking taylor expansion of PI in h
0.208 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in g
0.208 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g
0.208 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.208 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
0.208 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.208 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.208 * [taylor]: Taking taylor expansion of PI in g
0.208 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in g
0.209 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g
0.209 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.209 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
0.209 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.209 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.209 * [taylor]: Taking taylor expansion of PI in g
0.209 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h
0.209 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h
0.209 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.210 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
0.210 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.210 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.210 * [taylor]: Taking taylor expansion of PI in h
0.212 * [taylor]: Taking taylor expansion of 0 in h
0.214 * [taylor]: Taking taylor expansion of 0 in h
0.217 * [taylor]: Taking taylor expansion of 0 in h
0.218 * [approximate]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in (g h) around 0
0.218 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.218 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.218 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.218 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.218 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.218 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.218 * [taylor]: Taking taylor expansion of PI in h
0.218 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.218 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.218 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.218 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.218 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.218 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.219 * [taylor]: Taking taylor expansion of PI in g
0.219 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.219 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.219 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.219 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.219 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.219 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.219 * [taylor]: Taking taylor expansion of PI in g
0.219 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.220 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.220 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.220 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.220 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.220 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.220 * [taylor]: Taking taylor expansion of PI in h
0.227 * [taylor]: Taking taylor expansion of 0 in h
0.230 * [taylor]: Taking taylor expansion of 0 in h
0.233 * [taylor]: Taking taylor expansion of 0 in h
0.234 * [approximate]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in (g h) around 0
0.234 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.234 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.234 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.234 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.234 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.234 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.234 * [taylor]: Taking taylor expansion of PI in h
0.234 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.234 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.234 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.234 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.234 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.234 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.235 * [taylor]: Taking taylor expansion of PI in g
0.235 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.235 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.235 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.235 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.235 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.235 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.235 * [taylor]: Taking taylor expansion of PI in g
0.235 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.236 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.236 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.236 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.236 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.236 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.236 * [taylor]: Taking taylor expansion of PI in h
0.238 * [taylor]: Taking taylor expansion of 0 in h
0.240 * [taylor]: Taking taylor expansion of 0 in h
0.243 * [taylor]: Taking taylor expansion of 0 in h
0.244 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
0.244 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in (g h) around 0
0.244 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h
0.244 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.244 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
0.244 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g
0.244 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.244 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
0.244 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g
0.244 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.244 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
0.244 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h
0.244 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.244 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
0.245 * [taylor]: Taking taylor expansion of 0 in h
0.246 * [taylor]: Taking taylor expansion of 0 in h
0.247 * [taylor]: Taking taylor expansion of 0 in h
0.247 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in (g h) around 0
0.247 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.247 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.247 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.247 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.247 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.247 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.247 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.247 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.247 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.248 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.248 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.248 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.248 * [taylor]: Taking taylor expansion of 0 in h
0.249 * [taylor]: Taking taylor expansion of 0 in h
0.250 * [taylor]: Taking taylor expansion of 0 in h
0.251 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in (g h) around 0
0.251 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.251 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.251 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.251 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.251 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.251 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.251 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.251 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.251 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.251 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.251 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.251 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.252 * [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 * * * [progress]: simplifying candidates
0.255 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (+ (log 2.0) (log PI)) (log 3.0))
  (- (log (* 2.0 PI)) (log 3.0))
  (log (/ (* 2.0 PI) 3.0))
  (exp (/ (* 2.0 PI) 3.0))
  (/ (* (* (* 2.0 2.0) 2.0) (* (* PI PI) PI)) (* (* 3.0 3.0) 3.0))
  (/ (* (* (* 2.0 PI) (* 2.0 PI)) (* 2.0 PI)) (* (* 3.0 3.0) 3.0))
  (* (cbrt (/ (* 2.0 PI) 3.0)) (cbrt (/ (* 2.0 PI) 3.0)))
  (cbrt (/ (* 2.0 PI) 3.0))
  (* (* (/ (* 2.0 PI) 3.0) (/ (* 2.0 PI) 3.0)) (/ (* 2.0 PI) 3.0))
  (sqrt (/ (* 2.0 PI) 3.0))
  (sqrt (/ (* 2.0 PI) 3.0))
  (- (* 2.0 PI))
  (- 3.0)
  (/ 2.0 (* (cbrt 3.0) (cbrt 3.0)))
  (/ PI (cbrt 3.0))
  (/ 2.0 (sqrt 3.0))
  (/ PI (sqrt 3.0))
  (/ 2.0 1)
  (/ PI 3.0)
  (/ 1 3.0)
  (/ 3.0 (* 2.0 PI))
  (/ (* 2.0 PI) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (* 2.0 PI) (sqrt 3.0))
  (/ (* 2.0 PI) 1)
  (/ 3.0 PI)
  (* (cos (/ (* 2.0 PI) 3.0)) (cos (/ (acos (/ (- g) h)) 3.0)))
  (* (sin (/ (* 2.0 PI) 3.0)) (sin (/ (acos (/ (- g) h)) 3.0)))
  (* (cos (+ (/ (* 2.0 PI) 3.0) (/ (/ PI 2) 3.0))) (cos (/ (asin (/ (- g) h)) 3.0)))
  (* (sin (+ (/ (* 2.0 PI) 3.0) (/ (/ PI 2) 3.0))) (sin (/ (asin (/ (- g) h)) 3.0)))
  (* (cos (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cos (/ (acos (/ g h)) 3.0)))
  (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (/ (acos (/ g h)) 3.0)))
  (log (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
  (exp (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
  (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))
  (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
  (* (* (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))) (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
  (sqrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
  (sqrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
  (* (exp (/ (* 2.0 PI) 3.0)) (exp (/ (acos (/ (- g) h)) 3.0)))
  (log (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))
  (exp (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))
  (* (cbrt (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))) (cbrt (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
  (cbrt (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))
  (* (* (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)) (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))) (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))
  (sqrt (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))
  (sqrt (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))
  (+ (* (* 2.0 PI) 3.0) (* 3.0 (acos (/ (- g) h))))
  (* 3.0 3.0)
  (+ (pow (/ (* 2.0 PI) 3.0) 3) (pow (/ (acos (/ (- g) h)) 3.0) 3))
  (+ (* (/ (* 2.0 PI) 3.0) (/ (* 2.0 PI) 3.0)) (- (* (/ (acos (/ (- g) h)) 3.0) (/ (acos (/ (- g) h)) 3.0)) (* (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
  (- (* (/ (* 2.0 PI) 3.0) (/ (* 2.0 PI) 3.0)) (* (/ (acos (/ (- g) h)) 3.0) (/ (acos (/ (- g) h)) 3.0)))
  (- (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))
  (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))
  (+ (* 2.0 PI) (acos (/ (- g) h)))
  (+ (/ (* 2.0 PI) 3.0) (/ (/ PI 2) 3.0))
  (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))
  (- (log (acos (/ (- g) h))) (log 3.0))
  (log (/ (acos (/ (- g) h)) 3.0))
  (exp (/ (acos (/ (- g) h)) 3.0))
  (/ (* (* (acos (/ (- g) h)) (acos (/ (- g) h))) (acos (/ (- g) h))) (* (* 3.0 3.0) 3.0))
  (* (cbrt (/ (acos (/ (- g) h)) 3.0)) (cbrt (/ (acos (/ (- g) h)) 3.0)))
  (cbrt (/ (acos (/ (- g) h)) 3.0))
  (* (* (/ (acos (/ (- g) h)) 3.0) (/ (acos (/ (- g) h)) 3.0)) (/ (acos (/ (- g) h)) 3.0))
  (sqrt (/ (acos (/ (- g) h)) 3.0))
  (sqrt (/ (acos (/ (- g) h)) 3.0))
  (- (acos (/ (- g) h)))
  (- 3.0)
  (/ (/ PI 2) 3.0)
  (/ (asin (/ (- g) h)) 3.0)
  (/ PI 3.0)
  (/ (acos (/ g h)) 3.0)
  (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0))
  (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (sqrt 3.0))
  (/ (cbrt (acos (/ (- g) h))) (sqrt 3.0))
  (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) 1)
  (/ (cbrt (acos (/ (- g) h))) 3.0)
  (/ (sqrt (acos (/ (- g) h))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (sqrt (acos (/ (- g) h))) (cbrt 3.0))
  (/ (sqrt (acos (/ (- g) h))) (sqrt 3.0))
  (/ (sqrt (acos (/ (- g) h))) (sqrt 3.0))
  (/ (sqrt (acos (/ (- g) h))) 1)
  (/ (sqrt (acos (/ (- g) h))) 3.0)
  (/ 1 (* (cbrt 3.0) (cbrt 3.0)))
  (/ (acos (/ (- g) h)) (cbrt 3.0))
  (/ 1 (sqrt 3.0))
  (/ (acos (/ (- g) h)) (sqrt 3.0))
  (/ 1 1)
  (/ (acos (/ (- g) h)) 3.0)
  (/ 1 3.0)
  (/ 3.0 (acos (/ (- g) h)))
  (/ (acos (/ (- g) h)) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (acos (/ (- g) h)) (sqrt 3.0))
  (/ (acos (/ (- g) h)) 1)
  (/ 3.0 (cbrt (acos (/ (- g) h))))
  (/ 3.0 (sqrt (acos (/ (- g) h))))
  (/ 3.0 (acos (/ (- g) h)))
  (* 2.0 (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
  (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)))
  (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)))
  (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)))
  (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))
  (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))
  (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))
  (* 0.3333333333333333 (acos (* -1 (/ g h))))
  (* 0.3333333333333333 (acos (* -1 (/ g h))))
  (* 0.3333333333333333 (acos (* -1 (/ g h))))
0.261 * * [simplify]: iteration  0 :  318  enodes  (cost  666 )
0.267 * * [simplify]: iteration  1 :  1047  enodes  (cost  614 )
0.287 * * [simplify]: iteration  2 :  4395  enodes  (cost  614 )
0.361 * * [simplify]: iteration  3 :  5002  enodes  (cost  614 )
0.364 * [simplify]: Simplified to:
   (log (/ (* 2.0 PI) 3.0))
  (log (/ (* 2.0 PI) 3.0))
  (log (/ (* 2.0 PI) 3.0))
  (exp (/ (* 2.0 PI) 3.0))
  (pow (/ (* 2.0 PI) 3.0) 3)
  (pow (/ (* 2.0 PI) 3.0) 3)
  (* (cbrt (/ (* 2.0 PI) 3.0)) (cbrt (/ (* 2.0 PI) 3.0)))
  (cbrt (/ (* 2.0 PI) 3.0))
  (pow (/ (* 2.0 PI) 3.0) 3)
  (sqrt (/ (* 2.0 PI) 3.0))
  (sqrt (/ (* 2.0 PI) 3.0))
  (- (* 2.0 PI))
  (- 3.0)
  (/ 2.0 (* (cbrt 3.0) (cbrt 3.0)))
  (/ PI (cbrt 3.0))
  (/ 2.0 (sqrt 3.0))
  (/ PI (sqrt 3.0))
  2.0
  (/ PI 3.0)
  (/ 1 3.0)
  (/ 3.0 (* 2.0 PI))
  (/ (* 2.0 PI) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (* 2.0 PI) (sqrt 3.0))
  (* 2.0 PI)
  (/ 3.0 PI)
  (* (cos (/ (* 2.0 PI) 3.0)) (cos (/ (acos (/ (- g) h)) 3.0)))
  (* (sin (/ (* 2.0 PI) 3.0)) (sin (/ (acos (/ (- g) h)) 3.0)))
  (* (cos (+ (/ (* 2.0 PI) 3.0) (/ (/ PI 2) 3.0))) (cos (/ (asin (/ (- g) h)) 3.0)))
  (* (sin (+ (/ (* 2.0 PI) 3.0) (/ (/ PI 2) 3.0))) (sin (/ (asin (/ (- g) h)) 3.0)))
  (* (cos (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cos (/ (acos (/ g h)) 3.0)))
  (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (/ (acos (/ g h)) 3.0)))
  (log (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
  (exp (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
  (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))
  (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
  (pow (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))) 3)
  (sqrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
  (sqrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
  (exp (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))
  (log (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))
  (exp (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))
  (* (cbrt (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))) (cbrt (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
  (cbrt (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))
  (pow (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)) 3)
  (sqrt (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))
  (sqrt (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))
  (* 3.0 (+ (acos (/ (- g) h)) (* 2.0 PI)))
  (* 3.0 3.0)
  (+ (pow (/ (* 2.0 PI) 3.0) 3) (pow (/ (acos (/ (- g) h)) 3.0) 3))
  (+ (* (/ (acos (/ (- g) h)) 3.0) (- (/ (acos (/ (- g) h)) 3.0) (/ (* 2.0 PI) 3.0))) (* (/ (* 2.0 PI) 3.0) (/ (* 2.0 PI) 3.0)))
  (- (* (/ (* 2.0 PI) 3.0) (/ (* 2.0 PI) 3.0)) (* (/ (acos (/ (- g) h)) 3.0) (/ (acos (/ (- g) h)) 3.0)))
  (- (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))
  (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))
  (+ (* 2.0 PI) (acos (/ (- g) h)))
  (+ (/ (* 2.0 PI) 3.0) (/ (/ PI 2) 3.0))
  (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))
  (log (/ (acos (/ (- g) h)) 3.0))
  (log (/ (acos (/ (- g) h)) 3.0))
  (exp (/ (acos (/ (- g) h)) 3.0))
  (pow (/ (acos (/ (- g) h)) 3.0) 3)
  (* (cbrt (/ (acos (/ (- g) h)) 3.0)) (cbrt (/ (acos (/ (- g) h)) 3.0)))
  (cbrt (/ (acos (/ (- g) h)) 3.0))
  (pow (/ (acos (/ (- g) h)) 3.0) 3)
  (sqrt (/ (acos (/ (- g) h)) 3.0))
  (sqrt (/ (acos (/ (- g) h)) 3.0))
  (- (acos (/ (- g) h)))
  (- 3.0)
  (/ (/ PI 2) 3.0)
  (/ (asin (/ (- g) h)) 3.0)
  (/ PI 3.0)
  (/ (acos (/ g h)) 3.0)
  (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0))
  (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (sqrt 3.0))
  (/ (cbrt (acos (/ (- g) h))) (sqrt 3.0))
  (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h))))
  (/ (cbrt (acos (/ (- g) h))) 3.0)
  (/ (sqrt (acos (/ (- g) h))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (sqrt (acos (/ (- g) h))) (cbrt 3.0))
  (/ (sqrt (acos (/ (- g) h))) (sqrt 3.0))
  (/ (sqrt (acos (/ (- g) h))) (sqrt 3.0))
  (sqrt (acos (/ (- g) h)))
  (/ (sqrt (acos (/ (- g) h))) 3.0)
  (/ 1 (* (cbrt 3.0) (cbrt 3.0)))
  (/ (acos (/ (- g) h)) (cbrt 3.0))
  (/ 1 (sqrt 3.0))
  (/ (acos (/ (- g) h)) (sqrt 3.0))
  1
  (/ (acos (/ (- g) h)) 3.0)
  (/ 1 3.0)
  (/ 3.0 (acos (/ (- g) h)))
  (/ (acos (/ (- g) h)) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (acos (/ (- g) h)) (sqrt 3.0))
  (acos (/ (- g) h))
  (/ 3.0 (cbrt (acos (/ (- g) h))))
  (/ 3.0 (sqrt (acos (/ (- g) h))))
  (/ 3.0 (acos (/ (- g) h)))
  (* 2.0 (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
  (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)))
  (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)))
  (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)))
  (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))
  (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))
  (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))
  (* 0.3333333333333333 (acos (* -1 (/ g h))))
  (* 0.3333333333333333 (acos (* -1 (/ g h))))
  (* 0.3333333333333333 (acos (* -1 (/ g h))))
0.365 * * * [progress]: adding candidates to table
0.563 * * [progress]: iteration 2 / 4
0.563 * * * [progress]: picking best candidate
0.571 * * * * [pick]: Picked  #<alt (λ (g h) (* 2.0 (+ (* (cos (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cos (/ (acos (/ g h)) 3.0))) (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (/ (acos (/ g h)) 3.0))))))>
0.571 * * * [progress]: localizing error
0.595 * * * [progress]: generating rewritten candidates
0.596 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
0.607 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1)
0.617 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1)
0.631 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1)
0.637 * * * [progress]: generating series expansions
0.638 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
0.638 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1)
0.638 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1)
0.638 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1)
0.638 * * * [progress]: simplifying candidates
0.639 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (sin (/ (* 2.0 PI) 3.0)) (cos (/ PI 3.0)))
  (* (cos (/ (* 2.0 PI) 3.0)) (sin (/ PI 3.0)))
  (log (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))))
  (exp (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))))
  (* (cbrt (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))) (cbrt (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))))
  (cbrt (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))))
  (* (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))) (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))))
  (sqrt (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))))
  (sqrt (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))))
  (* (exp (/ (* 2.0 PI) 3.0)) (exp (/ PI 3.0)))
  (log (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))
  (exp (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))
  (* (cbrt (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cbrt (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))))
  (cbrt (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))
  (* (* (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))
  (sqrt (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))
  (sqrt (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))
  (+ (* (* 2.0 PI) 3.0) (* 3.0 PI))
  (* 3.0 3.0)
  (+ (pow (/ (* 2.0 PI) 3.0) 3) (pow (/ PI 3.0) 3))
  (+ (* (/ (* 2.0 PI) 3.0) (/ (* 2.0 PI) 3.0)) (- (* (/ PI 3.0) (/ PI 3.0)) (* (/ (* 2.0 PI) 3.0) (/ PI 3.0))))
  (- (* (/ (* 2.0 PI) 3.0) (/ (* 2.0 PI) 3.0)) (* (/ PI 3.0) (/ PI 3.0)))
  (- (/ (* 2.0 PI) 3.0) (/ PI 3.0))
  (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))
  (+ (/ 2.0 (* (cbrt 3.0) (cbrt 3.0))) (/ 1 (* (cbrt 3.0) (cbrt 3.0))))
  (+ (/ 2.0 (sqrt 3.0)) (/ 1 (sqrt 3.0)))
  (+ (/ 2.0 1) (/ 1 1))
  (+ (/ 2.0 1) 1)
  (+ (* 2.0 PI) PI)
  (+ (/ 2.0 1) 1)
  (* (exp (/ (* 2.0 PI) 3.0)) (exp (/ PI 3.0)))
  (log (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))
  (exp (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))
  (* (cbrt (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cbrt (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))))
  (cbrt (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))
  (* (* (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))
  (sqrt (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))
  (sqrt (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))
  (+ (* (* 2.0 PI) 3.0) (* 3.0 PI))
  (* 3.0 3.0)
  (+ (pow (/ (* 2.0 PI) 3.0) 3) (pow (/ PI 3.0) 3))
  (+ (* (/ (* 2.0 PI) 3.0) (/ (* 2.0 PI) 3.0)) (- (* (/ PI 3.0) (/ PI 3.0)) (* (/ (* 2.0 PI) 3.0) (/ PI 3.0))))
  (- (* (/ (* 2.0 PI) 3.0) (/ (* 2.0 PI) 3.0)) (* (/ PI 3.0) (/ PI 3.0)))
  (- (/ (* 2.0 PI) 3.0) (/ PI 3.0))
  (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))
  (+ (/ 2.0 (* (cbrt 3.0) (cbrt 3.0))) (/ 1 (* (cbrt 3.0) (cbrt 3.0))))
  (+ (/ 2.0 (sqrt 3.0)) (/ 1 (sqrt 3.0)))
  (+ (/ 2.0 1) (/ 1 1))
  (+ (/ 2.0 1) 1)
  (+ (* 2.0 PI) PI)
  (+ (/ 2.0 1) 1)
  (- (+ (log 2.0) (log PI)) (log 3.0))
  (- (log (* 2.0 PI)) (log 3.0))
  (log (/ (* 2.0 PI) 3.0))
  (exp (/ (* 2.0 PI) 3.0))
  (/ (* (* (* 2.0 2.0) 2.0) (* (* PI PI) PI)) (* (* 3.0 3.0) 3.0))
  (/ (* (* (* 2.0 PI) (* 2.0 PI)) (* 2.0 PI)) (* (* 3.0 3.0) 3.0))
  (* (cbrt (/ (* 2.0 PI) 3.0)) (cbrt (/ (* 2.0 PI) 3.0)))
  (cbrt (/ (* 2.0 PI) 3.0))
  (* (* (/ (* 2.0 PI) 3.0) (/ (* 2.0 PI) 3.0)) (/ (* 2.0 PI) 3.0))
  (sqrt (/ (* 2.0 PI) 3.0))
  (sqrt (/ (* 2.0 PI) 3.0))
  (- (* 2.0 PI))
  (- 3.0)
  (/ 2.0 (* (cbrt 3.0) (cbrt 3.0)))
  (/ PI (cbrt 3.0))
  (/ 2.0 (sqrt 3.0))
  (/ PI (sqrt 3.0))
  (/ 2.0 1)
  (/ PI 3.0)
  (/ 1 3.0)
  (/ 3.0 (* 2.0 PI))
  (/ (* 2.0 PI) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (* 2.0 PI) (sqrt 3.0))
  (/ (* 2.0 PI) 1)
  (/ 3.0 PI)
  (* (cos (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cos (/ (acos (/ g h)) 3.0)))
  (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (/ (acos (/ g h)) 3.0)))
  (* (cos (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cos (/ (acos (/ g h)) 3.0)))
  (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (/ (acos (/ g h)) 3.0)))
  (* (cos (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cos (/ (acos (/ g h)) 3.0)))
  (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (/ (acos (/ g h)) 3.0)))
  (* (cos (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cos (/ (acos (/ g h)) 3.0)))
  (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (/ (acos (/ g h)) 3.0)))
0.644 * * [simplify]: iteration  0 :  234  enodes  (cost  454 )
0.648 * * [simplify]: iteration  1 :  822  enodes  (cost  413 )
0.664 * * [simplify]: iteration  2 :  3837  enodes  (cost  405 )
0.732 * * [simplify]: iteration  3 :  5002  enodes  (cost  405 )
0.735 * [simplify]: Simplified to:
   (* (sin (/ (* 2.0 PI) 3.0)) (cos (/ PI 3.0)))
  (* (cos (/ (* 2.0 PI) 3.0)) (sin (/ PI 3.0)))
  (log (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))))
  (exp (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))))
  (* (cbrt (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))) (cbrt (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))))
  (cbrt (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))))
  (pow (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) 3)
  (sqrt (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))))
  (sqrt (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))))
  (exp (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))
  (log (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))
  (exp (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))
  (* (cbrt (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cbrt (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))))
  (cbrt (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))
  (pow (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) 3)
  (sqrt (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))
  (sqrt (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))
  (* 3.0 (+ PI (* 2.0 PI)))
  (* 3.0 3.0)
  (+ (pow (/ (* 2.0 PI) 3.0) 3) (pow (/ PI 3.0) 3))
  (* (/ PI 3.0) (+ (/ (* (* 2.0 PI) 2.0) 3.0) (- (/ PI 3.0) (/ (* 2.0 PI) 3.0))))
  (* (/ PI 3.0) (- (/ (* (* 2.0 PI) 2.0) 3.0) (/ PI 3.0)))
  (- (/ (* 2.0 PI) 3.0) (/ PI 3.0))
  (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))
  (+ (/ 2.0 (* (cbrt 3.0) (cbrt 3.0))) (/ 1 (* (cbrt 3.0) (cbrt 3.0))))
  (+ (/ 2.0 (sqrt 3.0)) (/ 1 (sqrt 3.0)))
  (+ 1 2.0)
  (+ 1 2.0)
  (+ (* 2.0 PI) PI)
  (+ 1 2.0)
  (exp (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))
  (log (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))
  (exp (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))
  (* (cbrt (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cbrt (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))))
  (cbrt (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))
  (pow (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) 3)
  (sqrt (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))
  (sqrt (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))
  (* 3.0 (+ PI (* 2.0 PI)))
  (* 3.0 3.0)
  (+ (pow (/ (* 2.0 PI) 3.0) 3) (pow (/ PI 3.0) 3))
  (* (/ PI 3.0) (+ (/ (* (* 2.0 PI) 2.0) 3.0) (- (/ PI 3.0) (/ (* 2.0 PI) 3.0))))
  (* (/ PI 3.0) (- (/ (* (* 2.0 PI) 2.0) 3.0) (/ PI 3.0)))
  (- (/ (* 2.0 PI) 3.0) (/ PI 3.0))
  (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))
  (+ (/ 2.0 (* (cbrt 3.0) (cbrt 3.0))) (/ 1 (* (cbrt 3.0) (cbrt 3.0))))
  (+ (/ 2.0 (sqrt 3.0)) (/ 1 (sqrt 3.0)))
  (+ 1 2.0)
  (+ 1 2.0)
  (+ (* 2.0 PI) PI)
  (+ 1 2.0)
  (log (/ (* 2.0 PI) 3.0))
  (log (/ (* 2.0 PI) 3.0))
  (log (/ (* 2.0 PI) 3.0))
  (exp (/ (* 2.0 PI) 3.0))
  (pow (/ (* 2.0 PI) 3.0) 3)
  (pow (/ (* 2.0 PI) 3.0) 3)
  (* (cbrt (/ (* 2.0 PI) 3.0)) (cbrt (/ (* 2.0 PI) 3.0)))
  (cbrt (/ (* 2.0 PI) 3.0))
  (pow (/ (* 2.0 PI) 3.0) 3)
  (sqrt (/ (* 2.0 PI) 3.0))
  (sqrt (/ (* 2.0 PI) 3.0))
  (- (* 2.0 PI))
  (- 3.0)
  (/ 2.0 (* (cbrt 3.0) (cbrt 3.0)))
  (/ PI (cbrt 3.0))
  (/ 2.0 (sqrt 3.0))
  (/ PI (sqrt 3.0))
  2.0
  (/ PI 3.0)
  (/ 1 3.0)
  (/ 3.0 (* 2.0 PI))
  (/ (* 2.0 PI) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (* 2.0 PI) (sqrt 3.0))
  (* 2.0 PI)
  (/ 3.0 PI)
  (* (cos (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cos (/ (acos (/ g h)) 3.0)))
  (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (/ (acos (/ g h)) 3.0)))
  (* (cos (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cos (/ (acos (/ g h)) 3.0)))
  (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (/ (acos (/ g h)) 3.0)))
  (* (cos (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cos (/ (acos (/ g h)) 3.0)))
  (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (/ (acos (/ g h)) 3.0)))
  (* (cos (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cos (/ (acos (/ g h)) 3.0)))
  (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (/ (acos (/ g h)) 3.0)))
0.736 * * * [progress]: adding candidates to table
0.987 * * [progress]: iteration 3 / 4
0.987 * * * [progress]: picking best candidate
0.992 * * * * [pick]: Picked  #<alt (λ (g h) (* 2.0 (cos (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h)))))))>
0.992 * * * [progress]: localizing error
1.009 * * * [progress]: generating rewritten candidates
1.010 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
1.013 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
1.023 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1 2)
1.029 * * * [progress]: generating series expansions
1.029 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
1.031 * [approximate]: Taking taylor expansion of (cos (* 0.3333333333333333 (+ (acos (* -1 (/ g h))) (* 2.0 PI)))) in (g h) around 0
1.031 * [taylor]: Taking taylor expansion of (cos (* 0.3333333333333333 (+ (acos (* -1 (/ g h))) (* 2.0 PI)))) in h
1.031 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (+ (acos (* -1 (/ g h))) (* 2.0 PI))) in h
1.031 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
1.031 * [taylor]: Taking taylor expansion of (+ (acos (* -1 (/ g h))) (* 2.0 PI)) in h
1.031 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
1.031 * [taylor]: Taking taylor expansion of (* 2.0 PI) in h
1.031 * [taylor]: Taking taylor expansion of 2.0 in h
1.031 * [taylor]: Taking taylor expansion of PI in h
1.033 * [taylor]: Taking taylor expansion of (cos (* 0.3333333333333333 (+ (acos (* -1 (/ g h))) (* 2.0 PI)))) in g
1.033 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (+ (acos (* -1 (/ g h))) (* 2.0 PI))) in g
1.033 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
1.033 * [taylor]: Taking taylor expansion of (+ (acos (* -1 (/ g h))) (* 2.0 PI)) in g
1.033 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
1.033 * [taylor]: Taking taylor expansion of (* 2.0 PI) in g
1.033 * [taylor]: Taking taylor expansion of 2.0 in g
1.033 * [taylor]: Taking taylor expansion of PI in g
1.035 * [taylor]: Taking taylor expansion of (cos (* 0.3333333333333333 (+ (acos (* -1 (/ g h))) (* 2.0 PI)))) in g
1.035 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (+ (acos (* -1 (/ g h))) (* 2.0 PI))) in g
1.035 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
1.035 * [taylor]: Taking taylor expansion of (+ (acos (* -1 (/ g h))) (* 2.0 PI)) in g
1.035 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
1.035 * [taylor]: Taking taylor expansion of (* 2.0 PI) in g
1.035 * [taylor]: Taking taylor expansion of 2.0 in g
1.035 * [taylor]: Taking taylor expansion of PI in g
1.038 * [taylor]: Taking taylor expansion of (cos (* 0.3333333333333333 (+ (acos (* -1 (/ g h))) (* 2.0 PI)))) in h
1.039 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (+ (acos (* -1 (/ g h))) (* 2.0 PI))) in h
1.039 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
1.039 * [taylor]: Taking taylor expansion of (+ (acos (* -1 (/ g h))) (* 2.0 PI)) in h
1.039 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
1.039 * [taylor]: Taking taylor expansion of (* 2.0 PI) in h
1.039 * [taylor]: Taking taylor expansion of 2.0 in h
1.039 * [taylor]: Taking taylor expansion of PI in h
1.046 * [taylor]: Taking taylor expansion of 0 in h
1.054 * [taylor]: Taking taylor expansion of 0 in h
1.064 * [taylor]: Taking taylor expansion of 0 in h
1.065 * [approximate]: Taking taylor expansion of (cos (* 0.3333333333333333 (+ (acos (* -1 (/ h g))) (* 2.0 PI)))) in (g h) around 0
1.065 * [taylor]: Taking taylor expansion of (cos (* 0.3333333333333333 (+ (acos (* -1 (/ h g))) (* 2.0 PI)))) in h
1.065 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (+ (acos (* -1 (/ h g))) (* 2.0 PI))) in h
1.065 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
1.065 * [taylor]: Taking taylor expansion of (+ (acos (* -1 (/ h g))) (* 2.0 PI)) in h
1.065 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
1.066 * [taylor]: Taking taylor expansion of (* 2.0 PI) in h
1.066 * [taylor]: Taking taylor expansion of 2.0 in h
1.066 * [taylor]: Taking taylor expansion of PI in h
1.067 * [taylor]: Taking taylor expansion of (cos (* 0.3333333333333333 (+ (acos (* -1 (/ h g))) (* 2.0 PI)))) in g
1.067 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (+ (acos (* -1 (/ h g))) (* 2.0 PI))) in g
1.067 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
1.067 * [taylor]: Taking taylor expansion of (+ (acos (* -1 (/ h g))) (* 2.0 PI)) in g
1.067 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
1.068 * [taylor]: Taking taylor expansion of (* 2.0 PI) in g
1.068 * [taylor]: Taking taylor expansion of 2.0 in g
1.068 * [taylor]: Taking taylor expansion of PI in g
1.069 * [taylor]: Taking taylor expansion of (cos (* 0.3333333333333333 (+ (acos (* -1 (/ h g))) (* 2.0 PI)))) in g
1.069 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (+ (acos (* -1 (/ h g))) (* 2.0 PI))) in g
1.069 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
1.069 * [taylor]: Taking taylor expansion of (+ (acos (* -1 (/ h g))) (* 2.0 PI)) in g
1.069 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
1.070 * [taylor]: Taking taylor expansion of (* 2.0 PI) in g
1.070 * [taylor]: Taking taylor expansion of 2.0 in g
1.070 * [taylor]: Taking taylor expansion of PI in g
1.073 * [taylor]: Taking taylor expansion of (cos (* 0.3333333333333333 (+ (acos (* -1 (/ h g))) (* 2.0 PI)))) in h
1.073 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (+ (acos (* -1 (/ h g))) (* 2.0 PI))) in h
1.073 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
1.073 * [taylor]: Taking taylor expansion of (+ (acos (* -1 (/ h g))) (* 2.0 PI)) in h
1.073 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
1.073 * [taylor]: Taking taylor expansion of (* 2.0 PI) in h
1.073 * [taylor]: Taking taylor expansion of 2.0 in h
1.073 * [taylor]: Taking taylor expansion of PI in h
1.081 * [taylor]: Taking taylor expansion of 0 in h
1.090 * [taylor]: Taking taylor expansion of 0 in h
1.105 * [taylor]: Taking taylor expansion of 0 in h
1.106 * [approximate]: Taking taylor expansion of (cos (* 0.3333333333333333 (+ (acos (* -1 (/ h g))) (* 2.0 PI)))) in (g h) around 0
1.106 * [taylor]: Taking taylor expansion of (cos (* 0.3333333333333333 (+ (acos (* -1 (/ h g))) (* 2.0 PI)))) in h
1.106 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (+ (acos (* -1 (/ h g))) (* 2.0 PI))) in h
1.106 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
1.106 * [taylor]: Taking taylor expansion of (+ (acos (* -1 (/ h g))) (* 2.0 PI)) in h
1.106 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
1.107 * [taylor]: Taking taylor expansion of (* 2.0 PI) in h
1.107 * [taylor]: Taking taylor expansion of 2.0 in h
1.107 * [taylor]: Taking taylor expansion of PI in h
1.108 * [taylor]: Taking taylor expansion of (cos (* 0.3333333333333333 (+ (acos (* -1 (/ h g))) (* 2.0 PI)))) in g
1.108 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (+ (acos (* -1 (/ h g))) (* 2.0 PI))) in g
1.108 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
1.108 * [taylor]: Taking taylor expansion of (+ (acos (* -1 (/ h g))) (* 2.0 PI)) in g
1.108 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
1.109 * [taylor]: Taking taylor expansion of (* 2.0 PI) in g
1.109 * [taylor]: Taking taylor expansion of 2.0 in g
1.109 * [taylor]: Taking taylor expansion of PI in g
1.110 * [taylor]: Taking taylor expansion of (cos (* 0.3333333333333333 (+ (acos (* -1 (/ h g))) (* 2.0 PI)))) in g
1.110 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (+ (acos (* -1 (/ h g))) (* 2.0 PI))) in g
1.110 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
1.110 * [taylor]: Taking taylor expansion of (+ (acos (* -1 (/ h g))) (* 2.0 PI)) in g
1.110 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
1.111 * [taylor]: Taking taylor expansion of (* 2.0 PI) in g
1.111 * [taylor]: Taking taylor expansion of 2.0 in g
1.111 * [taylor]: Taking taylor expansion of PI in g
1.114 * [taylor]: Taking taylor expansion of (cos (* 0.3333333333333333 (+ (acos (* -1 (/ h g))) (* 2.0 PI)))) in h
1.114 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (+ (acos (* -1 (/ h g))) (* 2.0 PI))) in h
1.114 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
1.114 * [taylor]: Taking taylor expansion of (+ (acos (* -1 (/ h g))) (* 2.0 PI)) in h
1.114 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
1.114 * [taylor]: Taking taylor expansion of (* 2.0 PI) in h
1.114 * [taylor]: Taking taylor expansion of 2.0 in h
1.114 * [taylor]: Taking taylor expansion of PI in h
1.122 * [taylor]: Taking taylor expansion of 0 in h
1.130 * [taylor]: Taking taylor expansion of 0 in h
1.140 * [taylor]: Taking taylor expansion of 0 in h
1.141 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
1.141 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (+ (acos (* -1 (/ g h))) (* 2.0 PI))) in (g h) around 0
1.141 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (+ (acos (* -1 (/ g h))) (* 2.0 PI))) in h
1.141 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
1.141 * [taylor]: Taking taylor expansion of (+ (acos (* -1 (/ g h))) (* 2.0 PI)) in h
1.141 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
1.141 * [taylor]: Taking taylor expansion of (* 2.0 PI) in h
1.141 * [taylor]: Taking taylor expansion of 2.0 in h
1.141 * [taylor]: Taking taylor expansion of PI in h
1.142 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (+ (acos (* -1 (/ g h))) (* 2.0 PI))) in g
1.142 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
1.142 * [taylor]: Taking taylor expansion of (+ (acos (* -1 (/ g h))) (* 2.0 PI)) in g
1.142 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
1.142 * [taylor]: Taking taylor expansion of (* 2.0 PI) in g
1.142 * [taylor]: Taking taylor expansion of 2.0 in g
1.142 * [taylor]: Taking taylor expansion of PI in g
1.142 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (+ (acos (* -1 (/ g h))) (* 2.0 PI))) in g
1.142 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
1.142 * [taylor]: Taking taylor expansion of (+ (acos (* -1 (/ g h))) (* 2.0 PI)) in g
1.142 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
1.142 * [taylor]: Taking taylor expansion of (* 2.0 PI) in g
1.142 * [taylor]: Taking taylor expansion of 2.0 in g
1.142 * [taylor]: Taking taylor expansion of PI in g
1.143 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (+ (acos (* -1 (/ g h))) (* 2.0 PI))) in h
1.143 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
1.143 * [taylor]: Taking taylor expansion of (+ (acos (* -1 (/ g h))) (* 2.0 PI)) in h
1.143 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
1.143 * [taylor]: Taking taylor expansion of (* 2.0 PI) in h
1.143 * [taylor]: Taking taylor expansion of 2.0 in h
1.143 * [taylor]: Taking taylor expansion of PI in h
1.146 * [taylor]: Taking taylor expansion of 0 in h
1.149 * [taylor]: Taking taylor expansion of 0 in h
1.152 * [taylor]: Taking taylor expansion of 0 in h
1.153 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (+ (acos (* -1 (/ h g))) (* 2.0 PI))) in (g h) around 0
1.153 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (+ (acos (* -1 (/ h g))) (* 2.0 PI))) in h
1.153 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
1.153 * [taylor]: Taking taylor expansion of (+ (acos (* -1 (/ h g))) (* 2.0 PI)) in h
1.154 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
1.154 * [taylor]: Taking taylor expansion of (* 2.0 PI) in h
1.154 * [taylor]: Taking taylor expansion of 2.0 in h
1.154 * [taylor]: Taking taylor expansion of PI in h
1.154 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (+ (acos (* -1 (/ h g))) (* 2.0 PI))) in g
1.154 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
1.154 * [taylor]: Taking taylor expansion of (+ (acos (* -1 (/ h g))) (* 2.0 PI)) in g
1.154 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
1.154 * [taylor]: Taking taylor expansion of (* 2.0 PI) in g
1.154 * [taylor]: Taking taylor expansion of 2.0 in g
1.154 * [taylor]: Taking taylor expansion of PI in g
1.154 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (+ (acos (* -1 (/ h g))) (* 2.0 PI))) in g
1.154 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
1.154 * [taylor]: Taking taylor expansion of (+ (acos (* -1 (/ h g))) (* 2.0 PI)) in g
1.154 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
1.154 * [taylor]: Taking taylor expansion of (* 2.0 PI) in g
1.154 * [taylor]: Taking taylor expansion of 2.0 in g
1.154 * [taylor]: Taking taylor expansion of PI in g
1.155 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (+ (acos (* -1 (/ h g))) (* 2.0 PI))) in h
1.155 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
1.155 * [taylor]: Taking taylor expansion of (+ (acos (* -1 (/ h g))) (* 2.0 PI)) in h
1.155 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
1.155 * [taylor]: Taking taylor expansion of (* 2.0 PI) in h
1.155 * [taylor]: Taking taylor expansion of 2.0 in h
1.155 * [taylor]: Taking taylor expansion of PI in h
1.158 * [taylor]: Taking taylor expansion of 0 in h
1.161 * [taylor]: Taking taylor expansion of 0 in h
1.164 * [taylor]: Taking taylor expansion of 0 in h
1.166 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (+ (acos (* -1 (/ h g))) (* 2.0 PI))) in (g h) around 0
1.166 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (+ (acos (* -1 (/ h g))) (* 2.0 PI))) in h
1.166 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
1.166 * [taylor]: Taking taylor expansion of (+ (acos (* -1 (/ h g))) (* 2.0 PI)) in h
1.166 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
1.166 * [taylor]: Taking taylor expansion of (* 2.0 PI) in h
1.166 * [taylor]: Taking taylor expansion of 2.0 in h
1.166 * [taylor]: Taking taylor expansion of PI in h
1.166 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (+ (acos (* -1 (/ h g))) (* 2.0 PI))) in g
1.166 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
1.166 * [taylor]: Taking taylor expansion of (+ (acos (* -1 (/ h g))) (* 2.0 PI)) in g
1.166 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
1.166 * [taylor]: Taking taylor expansion of (* 2.0 PI) in g
1.166 * [taylor]: Taking taylor expansion of 2.0 in g
1.166 * [taylor]: Taking taylor expansion of PI in g
1.166 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (+ (acos (* -1 (/ h g))) (* 2.0 PI))) in g
1.166 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
1.166 * [taylor]: Taking taylor expansion of (+ (acos (* -1 (/ h g))) (* 2.0 PI)) in g
1.166 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
1.166 * [taylor]: Taking taylor expansion of (* 2.0 PI) in g
1.166 * [taylor]: Taking taylor expansion of 2.0 in g
1.166 * [taylor]: Taking taylor expansion of PI in g
1.167 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (+ (acos (* -1 (/ h g))) (* 2.0 PI))) in h
1.167 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
1.167 * [taylor]: Taking taylor expansion of (+ (acos (* -1 (/ h g))) (* 2.0 PI)) in h
1.167 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
1.167 * [taylor]: Taking taylor expansion of (* 2.0 PI) in h
1.168 * [taylor]: Taking taylor expansion of 2.0 in h
1.168 * [taylor]: Taking taylor expansion of PI in h
1.170 * [taylor]: Taking taylor expansion of 0 in h
1.173 * [taylor]: Taking taylor expansion of 0 in h
1.177 * [taylor]: Taking taylor expansion of 0 in h
1.177 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1 2)
1.178 * [approximate]: Taking taylor expansion of (+ (acos (* -1 (/ g h))) (* 2.0 PI)) in (g h) around 0
1.178 * [taylor]: Taking taylor expansion of (+ (acos (* -1 (/ g h))) (* 2.0 PI)) in h
1.178 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
1.178 * [taylor]: Taking taylor expansion of (* 2.0 PI) in h
1.178 * [taylor]: Taking taylor expansion of 2.0 in h
1.178 * [taylor]: Taking taylor expansion of PI in h
1.178 * [taylor]: Taking taylor expansion of (+ (acos (* -1 (/ g h))) (* 2.0 PI)) in g
1.178 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
1.178 * [taylor]: Taking taylor expansion of (* 2.0 PI) in g
1.178 * [taylor]: Taking taylor expansion of 2.0 in g
1.178 * [taylor]: Taking taylor expansion of PI in g
1.178 * [taylor]: Taking taylor expansion of (+ (acos (* -1 (/ g h))) (* 2.0 PI)) in g
1.178 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
1.178 * [taylor]: Taking taylor expansion of (* 2.0 PI) in g
1.178 * [taylor]: Taking taylor expansion of 2.0 in g
1.178 * [taylor]: Taking taylor expansion of PI in g
1.179 * [taylor]: Taking taylor expansion of (+ (acos (* -1 (/ g h))) (* 2.0 PI)) in h
1.179 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
1.179 * [taylor]: Taking taylor expansion of (* 2.0 PI) in h
1.179 * [taylor]: Taking taylor expansion of 2.0 in h
1.179 * [taylor]: Taking taylor expansion of PI in h
1.181 * [taylor]: Taking taylor expansion of 0 in h
1.182 * [taylor]: Taking taylor expansion of 0 in h
1.190 * [taylor]: Taking taylor expansion of 0 in h
1.191 * [approximate]: Taking taylor expansion of (+ (acos (* -1 (/ h g))) (* 2.0 PI)) in (g h) around 0
1.191 * [taylor]: Taking taylor expansion of (+ (acos (* -1 (/ h g))) (* 2.0 PI)) in h
1.191 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
1.191 * [taylor]: Taking taylor expansion of (* 2.0 PI) in h
1.191 * [taylor]: Taking taylor expansion of 2.0 in h
1.191 * [taylor]: Taking taylor expansion of PI in h
1.191 * [taylor]: Taking taylor expansion of (+ (acos (* -1 (/ h g))) (* 2.0 PI)) in g
1.191 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
1.191 * [taylor]: Taking taylor expansion of (* 2.0 PI) in g
1.191 * [taylor]: Taking taylor expansion of 2.0 in g
1.191 * [taylor]: Taking taylor expansion of PI in g
1.191 * [taylor]: Taking taylor expansion of (+ (acos (* -1 (/ h g))) (* 2.0 PI)) in g
1.191 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
1.191 * [taylor]: Taking taylor expansion of (* 2.0 PI) in g
1.191 * [taylor]: Taking taylor expansion of 2.0 in g
1.191 * [taylor]: Taking taylor expansion of PI in g
1.192 * [taylor]: Taking taylor expansion of (+ (acos (* -1 (/ h g))) (* 2.0 PI)) in h
1.192 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
1.192 * [taylor]: Taking taylor expansion of (* 2.0 PI) in h
1.192 * [taylor]: Taking taylor expansion of 2.0 in h
1.192 * [taylor]: Taking taylor expansion of PI in h
1.194 * [taylor]: Taking taylor expansion of 0 in h
1.196 * [taylor]: Taking taylor expansion of 0 in h
1.197 * [taylor]: Taking taylor expansion of 0 in h
1.198 * [approximate]: Taking taylor expansion of (+ (acos (* -1 (/ h g))) (* 2.0 PI)) in (g h) around 0
1.198 * [taylor]: Taking taylor expansion of (+ (acos (* -1 (/ h g))) (* 2.0 PI)) in h
1.198 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
1.198 * [taylor]: Taking taylor expansion of (* 2.0 PI) in h
1.198 * [taylor]: Taking taylor expansion of 2.0 in h
1.198 * [taylor]: Taking taylor expansion of PI in h
1.198 * [taylor]: Taking taylor expansion of (+ (acos (* -1 (/ h g))) (* 2.0 PI)) in g
1.198 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
1.198 * [taylor]: Taking taylor expansion of (* 2.0 PI) in g
1.198 * [taylor]: Taking taylor expansion of 2.0 in g
1.198 * [taylor]: Taking taylor expansion of PI in g
1.199 * [taylor]: Taking taylor expansion of (+ (acos (* -1 (/ h g))) (* 2.0 PI)) in g
1.199 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
1.199 * [taylor]: Taking taylor expansion of (* 2.0 PI) in g
1.199 * [taylor]: Taking taylor expansion of 2.0 in g
1.199 * [taylor]: Taking taylor expansion of PI in g
1.199 * [taylor]: Taking taylor expansion of (+ (acos (* -1 (/ h g))) (* 2.0 PI)) in h
1.199 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
1.199 * [taylor]: Taking taylor expansion of (* 2.0 PI) in h
1.199 * [taylor]: Taking taylor expansion of 2.0 in h
1.200 * [taylor]: Taking taylor expansion of PI in h
1.201 * [taylor]: Taking taylor expansion of 0 in h
1.203 * [taylor]: Taking taylor expansion of 0 in h
1.205 * [taylor]: Taking taylor expansion of 0 in h
1.205 * * * [progress]: simplifying candidates
1.206 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (cos (* (/ 1 3.0) (* 2.0 PI))) (cos (* (/ 1 3.0) (acos (/ (- g) h)))))
  (* (sin (* (/ 1 3.0) (* 2.0 PI))) (sin (* (/ 1 3.0) (acos (/ (- g) h)))))
  (* (cos (* (* 2.0 PI) (/ 1 3.0))) (cos (* (acos (/ (- g) h)) (/ 1 3.0))))
  (* (sin (* (* 2.0 PI) (/ 1 3.0))) (sin (* (acos (/ (- g) h)) (/ 1 3.0))))
  (log (cos (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h))))))
  (exp (cos (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h))))))
  (* (cbrt (cos (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h)))))) (cbrt (cos (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h)))))))
  (cbrt (cos (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h))))))
  (* (* (cos (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h))))) (cos (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h)))))) (cos (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h))))))
  (sqrt (cos (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h))))))
  (sqrt (cos (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h))))))
  (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h))))
  (+ (- (log 3.0)) (log (+ (* 2.0 PI) (acos (/ (- g) h)))))
  (+ (- 0 (log 3.0)) (log (+ (* 2.0 PI) (acos (/ (- g) h)))))
  (+ (- (log 1) (log 3.0)) (log (+ (* 2.0 PI) (acos (/ (- g) h)))))
  (+ (log (/ 1 3.0)) (log (+ (* 2.0 PI) (acos (/ (- g) h)))))
  (log (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h)))))
  (exp (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h)))))
  (* (/ (* (* 1 1) 1) (* (* 3.0 3.0) 3.0)) (* (* (+ (* 2.0 PI) (acos (/ (- g) h))) (+ (* 2.0 PI) (acos (/ (- g) h)))) (+ (* 2.0 PI) (acos (/ (- g) h)))))
  (* (* (* (/ 1 3.0) (/ 1 3.0)) (/ 1 3.0)) (* (* (+ (* 2.0 PI) (acos (/ (- g) h))) (+ (* 2.0 PI) (acos (/ (- g) h)))) (+ (* 2.0 PI) (acos (/ (- g) h)))))
  (* (cbrt (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h))))) (cbrt (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h))))))
  (cbrt (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h)))))
  (* (* (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h)))) (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h))))) (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h)))))
  (sqrt (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h)))))
  (sqrt (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h)))))
  (* 1 (+ (pow (* 2.0 PI) 3) (pow (acos (/ (- g) h)) 3)))
  (* 3.0 (+ (* (* 2.0 PI) (* 2.0 PI)) (- (* (acos (/ (- g) h)) (acos (/ (- g) h))) (* (* 2.0 PI) (acos (/ (- g) h))))))
  (* 1 (- (* (* 2.0 PI) (* 2.0 PI)) (* (acos (/ (- g) h)) (acos (/ (- g) h)))))
  (* 3.0 (- (* 2.0 PI) (acos (/ (- g) h))))
  (* (sqrt (/ 1 3.0)) (sqrt (+ (* 2.0 PI) (acos (/ (- g) h)))))
  (* (sqrt (/ 1 3.0)) (sqrt (+ (* 2.0 PI) (acos (/ (- g) h)))))
  (* (/ (sqrt 1) (sqrt 3.0)) (sqrt (+ (* 2.0 PI) (acos (/ (- g) h)))))
  (* (/ (sqrt 1) (sqrt 3.0)) (sqrt (+ (* 2.0 PI) (acos (/ (- g) h)))))
  (* (/ 1 (sqrt 3.0)) (sqrt (+ (* 2.0 PI) (acos (/ (- g) h)))))
  (* (/ 1 (sqrt 3.0)) (sqrt (+ (* 2.0 PI) (acos (/ (- g) h)))))
  (* (/ 1 3.0) (* 2.0 PI))
  (* (/ 1 3.0) (acos (/ (- g) h)))
  (* (* 2.0 PI) (/ 1 3.0))
  (* (acos (/ (- g) h)) (/ 1 3.0))
  (* (/ 1 3.0) (* (cbrt (+ (* 2.0 PI) (acos (/ (- g) h)))) (cbrt (+ (* 2.0 PI) (acos (/ (- g) h))))))
  (* (/ 1 3.0) (sqrt (+ (* 2.0 PI) (acos (/ (- g) h)))))
  (* (/ 1 3.0) 1)
  (* (cbrt (/ 1 3.0)) (+ (* 2.0 PI) (acos (/ (- g) h))))
  (* (sqrt (/ 1 3.0)) (+ (* 2.0 PI) (acos (/ (- g) h))))
  (* (/ (cbrt 1) (cbrt 3.0)) (+ (* 2.0 PI) (acos (/ (- g) h))))
  (* (/ (cbrt 1) (sqrt 3.0)) (+ (* 2.0 PI) (acos (/ (- g) h))))
  (* (/ (cbrt 1) 3.0) (+ (* 2.0 PI) (acos (/ (- g) h))))
  (* (/ (sqrt 1) (cbrt 3.0)) (+ (* 2.0 PI) (acos (/ (- g) h))))
  (* (/ (sqrt 1) (sqrt 3.0)) (+ (* 2.0 PI) (acos (/ (- g) h))))
  (* (/ (sqrt 1) 3.0) (+ (* 2.0 PI) (acos (/ (- g) h))))
  (* (/ 1 (cbrt 3.0)) (+ (* 2.0 PI) (acos (/ (- g) h))))
  (* (/ 1 (sqrt 3.0)) (+ (* 2.0 PI) (acos (/ (- g) h))))
  (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h))))
  (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h))))
  (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h))))
  (* (/ 1 3.0) (+ (pow (* 2.0 PI) 3) (pow (acos (/ (- g) h)) 3)))
  (* (/ 1 3.0) (- (* (* 2.0 PI) (* 2.0 PI)) (* (acos (/ (- g) h)) (acos (/ (- g) h)))))
  (* 1 (+ (* 2.0 PI) (acos (/ (- g) h))))
  (* (exp (* 2.0 PI)) (exp (acos (/ (- g) h))))
  (log (+ (* 2.0 PI) (acos (/ (- g) h))))
  (exp (+ (* 2.0 PI) (acos (/ (- g) h))))
  (* (cbrt (+ (* 2.0 PI) (acos (/ (- g) h)))) (cbrt (+ (* 2.0 PI) (acos (/ (- g) h)))))
  (cbrt (+ (* 2.0 PI) (acos (/ (- g) h))))
  (* (* (+ (* 2.0 PI) (acos (/ (- g) h))) (+ (* 2.0 PI) (acos (/ (- g) h)))) (+ (* 2.0 PI) (acos (/ (- g) h))))
  (sqrt (+ (* 2.0 PI) (acos (/ (- g) h))))
  (sqrt (+ (* 2.0 PI) (acos (/ (- g) h))))
  (+ (pow (* 2.0 PI) 3) (pow (acos (/ (- g) h)) 3))
  (+ (* (* 2.0 PI) (* 2.0 PI)) (- (* (acos (/ (- g) h)) (acos (/ (- g) h))) (* (* 2.0 PI) (acos (/ (- g) h)))))
  (- (* (* 2.0 PI) (* 2.0 PI)) (* (acos (/ (- g) h)) (acos (/ (- g) h))))
  (- (* 2.0 PI) (acos (/ (- g) h)))
  (+ (* 2.0 PI) (/ PI 2))
  (+ (* 2.0 PI) PI)
  (cos (* 0.3333333333333333 (+ (acos (* -1 (/ g h))) (* 2.0 PI))))
  (cos (* 0.3333333333333333 (+ (acos (* -1 (/ g h))) (* 2.0 PI))))
  (cos (* 0.3333333333333333 (+ (acos (* -1 (/ g h))) (* 2.0 PI))))
  (* 0.3333333333333333 (+ (acos (* -1 (/ g h))) (* 2.0 PI)))
  (* 0.3333333333333333 (+ (acos (* -1 (/ g h))) (* 2.0 PI)))
  (* 0.3333333333333333 (+ (acos (* -1 (/ g h))) (* 2.0 PI)))
  (+ (acos (* -1 (/ g h))) (* 2.0 PI))
  (+ (acos (* -1 (/ g h))) (* 2.0 PI))
  (+ (acos (* -1 (/ g h))) (* 2.0 PI))
1.213 * * [simplify]: iteration  0 :  391  enodes  (cost  715 )
1.221 * * [simplify]: iteration  1 :  1867  enodes  (cost  632 )
1.247 * * [simplify]: iteration  2 :  5001  enodes  (cost  612 )
1.250 * [simplify]: Simplified to:
   (* (cos (* (* 2.0 PI) (/ 1 3.0))) (cos (* (acos (/ (- g) h)) (/ 1 3.0))))
  (* (sin (* (* 2.0 PI) (/ 1 3.0))) (sin (* (acos (/ (- g) h)) (/ 1 3.0))))
  (* (cos (* (* 2.0 PI) (/ 1 3.0))) (cos (* (acos (/ (- g) h)) (/ 1 3.0))))
  (* (sin (* (* 2.0 PI) (/ 1 3.0))) (sin (* (acos (/ (- g) h)) (/ 1 3.0))))
  (log (cos (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h))))))
  (exp (cos (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h))))))
  (* (cbrt (cos (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h)))))) (cbrt (cos (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h)))))))
  (cbrt (cos (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h))))))
  (pow (cos (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h))))) 3)
  (sqrt (cos (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h))))))
  (sqrt (cos (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h))))))
  (/ (+ (* 2.0 PI) (acos (/ (- g) h))) 3.0)
  (log (/ (+ (* 2.0 PI) (acos (/ (- g) h))) 3.0))
  (log (/ (+ (* 2.0 PI) (acos (/ (- g) h))) 3.0))
  (log (/ (+ (* 2.0 PI) (acos (/ (- g) h))) 3.0))
  (log (/ (+ (* 2.0 PI) (acos (/ (- g) h))) 3.0))
  (log (/ (+ (* 2.0 PI) (acos (/ (- g) h))) 3.0))
  (exp (/ (+ (* 2.0 PI) (acos (/ (- g) h))) 3.0))
  (pow (/ (+ (* 2.0 PI) (acos (/ (- g) h))) 3.0) 3)
  (pow (/ (+ (* 2.0 PI) (acos (/ (- g) h))) 3.0) 3)
  (* (cbrt (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h))))) (cbrt (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h))))))
  (cbrt (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h)))))
  (pow (/ (+ (* 2.0 PI) (acos (/ (- g) h))) 3.0) 3)
  (sqrt (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h)))))
  (sqrt (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h)))))
  (+ (pow (* 2.0 PI) 3) (pow (acos (/ (- g) h)) 3))
  (* (+ (* (acos (/ (- g) h)) (- (acos (/ (- g) h)) (* 2.0 PI))) (* (* 2.0 PI) (* 2.0 PI))) 3.0)
  (- (* (* 2.0 PI) (* 2.0 PI)) (* (acos (/ (- g) h)) (acos (/ (- g) h))))
  (* 3.0 (- (* 2.0 PI) (acos (/ (- g) h))))
  (* (sqrt (/ 1 3.0)) (sqrt (+ (* 2.0 PI) (acos (/ (- g) h)))))
  (* (sqrt (/ 1 3.0)) (sqrt (+ (* 2.0 PI) (acos (/ (- g) h)))))
  (/ (sqrt (+ (* 2.0 PI) (acos (/ (- g) h)))) (sqrt 3.0))
  (/ (sqrt (+ (* 2.0 PI) (acos (/ (- g) h)))) (sqrt 3.0))
  (/ (sqrt (+ (* 2.0 PI) (acos (/ (- g) h)))) (sqrt 3.0))
  (/ (sqrt (+ (* 2.0 PI) (acos (/ (- g) h)))) (sqrt 3.0))
  (/ (* 2.0 PI) 3.0)
  (/ (acos (* -1 (/ g h))) 3.0)
  (/ (* 2.0 PI) 3.0)
  (/ (acos (* -1 (/ g h))) 3.0)
  (/ (* (cbrt (+ (* 2.0 PI) (acos (/ (- g) h)))) (cbrt (+ (* 2.0 PI) (acos (/ (- g) h))))) 3.0)
  (/ (sqrt (+ (* 2.0 PI) (acos (/ (- g) h)))) 3.0)
  (/ 1 3.0)
  (* (cbrt (/ 1 3.0)) (+ (* 2.0 PI) (acos (/ (- g) h))))
  (* (sqrt (/ 1 3.0)) (+ (* 2.0 PI) (acos (/ (- g) h))))
  (/ (+ (* 2.0 PI) (acos (/ (- g) h))) (cbrt 3.0))
  (/ (+ (* 2.0 PI) (acos (/ (- g) h))) (sqrt 3.0))
  (/ (+ (* 2.0 PI) (acos (/ (- g) h))) 3.0)
  (/ (+ (* 2.0 PI) (acos (/ (- g) h))) (cbrt 3.0))
  (/ (+ (* 2.0 PI) (acos (/ (- g) h))) (sqrt 3.0))
  (/ (+ (* 2.0 PI) (acos (/ (- g) h))) 3.0)
  (/ (+ (* 2.0 PI) (acos (/ (- g) h))) (cbrt 3.0))
  (/ (+ (* 2.0 PI) (acos (/ (- g) h))) (sqrt 3.0))
  (/ (+ (* 2.0 PI) (acos (/ (- g) h))) 3.0)
  (/ (+ (* 2.0 PI) (acos (/ (- g) h))) 3.0)
  (/ (+ (* 2.0 PI) (acos (/ (- g) h))) 3.0)
  (/ (+ (pow (* 2.0 PI) 3) (pow (acos (/ (- g) h)) 3)) 3.0)
  (/ (- (* (* 2.0 PI) (* 2.0 PI)) (* (acos (/ (- g) h)) (acos (/ (- g) h)))) 3.0)
  (+ (* 2.0 PI) (acos (/ (- g) h)))
  (exp (+ (* 2.0 PI) (acos (/ (- g) h))))
  (log (+ (* 2.0 PI) (acos (/ (- g) h))))
  (exp (+ (* 2.0 PI) (acos (/ (- g) h))))
  (* (cbrt (+ (* 2.0 PI) (acos (/ (- g) h)))) (cbrt (+ (* 2.0 PI) (acos (/ (- g) h)))))
  (cbrt (+ (* 2.0 PI) (acos (/ (- g) h))))
  (pow (+ (* 2.0 PI) (acos (/ (- g) h))) 3)
  (sqrt (+ (* 2.0 PI) (acos (/ (- g) h))))
  (sqrt (+ (* 2.0 PI) (acos (/ (- g) h))))
  (+ (pow (* 2.0 PI) 3) (pow (acos (/ (- g) h)) 3))
  (+ (* (acos (/ (- g) h)) (- (acos (/ (- g) h)) (* 2.0 PI))) (* (* 2.0 PI) (* 2.0 PI)))
  (- (* (* 2.0 PI) (* 2.0 PI)) (* (acos (/ (- g) h)) (acos (/ (- g) h))))
  (- (* 2.0 PI) (acos (/ (- g) h)))
  (+ (* 2.0 PI) (/ PI 2))
  (+ (* 2.0 PI) PI)
  (cos (* 0.3333333333333333 (+ (acos (* -1 (/ g h))) (* 2.0 PI))))
  (cos (* 0.3333333333333333 (+ (acos (* -1 (/ g h))) (* 2.0 PI))))
  (cos (* 0.3333333333333333 (+ (acos (* -1 (/ g h))) (* 2.0 PI))))
  (* 0.3333333333333333 (+ (acos (* -1 (/ g h))) (* 2.0 PI)))
  (* 0.3333333333333333 (+ (acos (* -1 (/ g h))) (* 2.0 PI)))
  (* 0.3333333333333333 (+ (acos (* -1 (/ g h))) (* 2.0 PI)))
  (+ (* 2.0 PI) (acos (/ (- g) h)))
  (+ (* 2.0 PI) (acos (/ (- g) h)))
  (+ (* 2.0 PI) (acos (/ (- g) h)))
1.251 * * * [progress]: adding candidates to table
1.400 * * [progress]: iteration 4 / 4
1.400 * * * [progress]: picking best candidate
1.402 * * * * [pick]: Picked  #<alt (λ (g h) (* 2.0 (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))>
1.402 * * * [progress]: localizing error
1.419 * * * [progress]: generating rewritten candidates
1.419 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1 1)
1.424 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 1 1)
1.429 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 1 1)
1.434 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
1.447 * * * [progress]: generating series expansions
1.447 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1 1)
1.447 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 1 1)
1.447 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 1 1)
1.447 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
1.449 * [approximate]: Taking taylor expansion of (pow (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 2) 1/3) in (g h) around 0
1.449 * [taylor]: Taking taylor expansion of (pow (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 2) 1/3) in h
1.449 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 2)))) in h
1.449 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 2))) in h
1.449 * [taylor]: Taking taylor expansion of 1/3 in h
1.449 * [taylor]: Taking taylor expansion of (log (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 2)) in h
1.449 * [taylor]: Taking taylor expansion of (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 2) in h
1.449 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in h
1.449 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h
1.449 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h
1.449 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
1.449 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
1.449 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
1.450 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
1.450 * [taylor]: Taking taylor expansion of PI in h
1.455 * [taylor]: Taking taylor expansion of (pow (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 2) 1/3) in g
1.455 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 2)))) in g
1.455 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 2))) in g
1.455 * [taylor]: Taking taylor expansion of 1/3 in g
1.455 * [taylor]: Taking taylor expansion of (log (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 2)) in g
1.455 * [taylor]: Taking taylor expansion of (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 2) in g
1.455 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in g
1.455 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in g
1.455 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g
1.455 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
1.455 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
1.455 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
1.455 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
1.455 * [taylor]: Taking taylor expansion of PI in g
1.460 * [taylor]: Taking taylor expansion of (pow (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 2) 1/3) in g
1.460 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 2)))) in g
1.460 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 2))) in g
1.460 * [taylor]: Taking taylor expansion of 1/3 in g
1.461 * [taylor]: Taking taylor expansion of (log (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 2)) in g
1.461 * [taylor]: Taking taylor expansion of (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 2) in g
1.461 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in g
1.461 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in g
1.461 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g
1.461 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
1.461 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
1.461 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
1.461 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
1.461 * [taylor]: Taking taylor expansion of PI in g
1.466 * [taylor]: Taking taylor expansion of (pow (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 2) 1/3) in h
1.466 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 2)))) in h
1.466 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 2))) in h
1.466 * [taylor]: Taking taylor expansion of 1/3 in h
1.466 * [taylor]: Taking taylor expansion of (log (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 2)) in h
1.466 * [taylor]: Taking taylor expansion of (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 2) in h
1.466 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in h
1.466 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h
1.466 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h
1.466 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
1.466 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
1.466 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
1.466 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
1.466 * [taylor]: Taking taylor expansion of PI in h
1.479 * [taylor]: Taking taylor expansion of 0 in h
1.495 * [taylor]: Taking taylor expansion of 0 in h
1.517 * [taylor]: Taking taylor expansion of 0 in h
1.519 * [approximate]: Taking taylor expansion of (pow (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2) 1/3) in (g h) around 0
1.519 * [taylor]: Taking taylor expansion of (pow (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2) 1/3) in h
1.519 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2)))) in h
1.519 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2))) in h
1.519 * [taylor]: Taking taylor expansion of 1/3 in h
1.519 * [taylor]: Taking taylor expansion of (log (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2)) in h
1.519 * [taylor]: Taking taylor expansion of (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2) in h
1.519 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h
1.519 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
1.519 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
1.519 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
1.519 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
1.519 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
1.519 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
1.519 * [taylor]: Taking taylor expansion of PI in h
1.524 * [taylor]: Taking taylor expansion of (pow (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2) 1/3) in g
1.524 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2)))) in g
1.524 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2))) in g
1.524 * [taylor]: Taking taylor expansion of 1/3 in g
1.524 * [taylor]: Taking taylor expansion of (log (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2)) in g
1.524 * [taylor]: Taking taylor expansion of (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2) in g
1.524 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g
1.525 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
1.525 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
1.525 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
1.525 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
1.525 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
1.525 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
1.525 * [taylor]: Taking taylor expansion of PI in g
1.530 * [taylor]: Taking taylor expansion of (pow (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2) 1/3) in g
1.530 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2)))) in g
1.530 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2))) in g
1.530 * [taylor]: Taking taylor expansion of 1/3 in g
1.530 * [taylor]: Taking taylor expansion of (log (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2)) in g
1.530 * [taylor]: Taking taylor expansion of (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2) in g
1.530 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g
1.530 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
1.530 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
1.530 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
1.530 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
1.530 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
1.530 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
1.530 * [taylor]: Taking taylor expansion of PI in g
1.540 * [taylor]: Taking taylor expansion of (pow (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2) 1/3) in h
1.540 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2)))) in h
1.541 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2))) in h
1.541 * [taylor]: Taking taylor expansion of 1/3 in h
1.541 * [taylor]: Taking taylor expansion of (log (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2)) in h
1.541 * [taylor]: Taking taylor expansion of (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2) in h
1.541 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h
1.541 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
1.541 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
1.541 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
1.541 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
1.541 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
1.541 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
1.541 * [taylor]: Taking taylor expansion of PI in h
1.553 * [taylor]: Taking taylor expansion of 0 in h
1.570 * [taylor]: Taking taylor expansion of 0 in h
1.592 * [taylor]: Taking taylor expansion of 0 in h
1.594 * [approximate]: Taking taylor expansion of (pow (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2) 1/3) in (g h) around 0
1.594 * [taylor]: Taking taylor expansion of (pow (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2) 1/3) in h
1.594 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2)))) in h
1.594 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2))) in h
1.594 * [taylor]: Taking taylor expansion of 1/3 in h
1.594 * [taylor]: Taking taylor expansion of (log (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2)) in h
1.594 * [taylor]: Taking taylor expansion of (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2) in h
1.594 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h
1.594 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
1.595 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
1.595 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
1.595 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
1.595 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
1.595 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
1.595 * [taylor]: Taking taylor expansion of PI in h
1.600 * [taylor]: Taking taylor expansion of (pow (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2) 1/3) in g
1.600 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2)))) in g
1.600 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2))) in g
1.600 * [taylor]: Taking taylor expansion of 1/3 in g
1.600 * [taylor]: Taking taylor expansion of (log (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2)) in g
1.600 * [taylor]: Taking taylor expansion of (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2) in g
1.600 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g
1.600 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
1.600 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
1.600 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
1.600 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
1.600 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
1.600 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
1.600 * [taylor]: Taking taylor expansion of PI in g
1.606 * [taylor]: Taking taylor expansion of (pow (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2) 1/3) in g
1.606 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2)))) in g
1.606 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2))) in g
1.607 * [taylor]: Taking taylor expansion of 1/3 in g
1.607 * [taylor]: Taking taylor expansion of (log (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2)) in g
1.607 * [taylor]: Taking taylor expansion of (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2) in g
1.607 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g
1.607 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
1.607 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
1.607 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
1.607 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
1.607 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
1.607 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
1.607 * [taylor]: Taking taylor expansion of PI in g
1.612 * [taylor]: Taking taylor expansion of (pow (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2) 1/3) in h
1.612 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2)))) in h
1.612 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2))) in h
1.612 * [taylor]: Taking taylor expansion of 1/3 in h
1.612 * [taylor]: Taking taylor expansion of (log (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2)) in h
1.612 * [taylor]: Taking taylor expansion of (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) 2) in h
1.612 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h
1.612 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
1.612 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
1.612 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
1.612 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
1.612 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
1.612 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
1.613 * [taylor]: Taking taylor expansion of PI in h
1.625 * [taylor]: Taking taylor expansion of 0 in h
1.647 * [taylor]: Taking taylor expansion of 0 in h
1.669 * [taylor]: Taking taylor expansion of 0 in h
1.669 * * * [progress]: simplifying candidates
1.671 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (+ (log 2.0) (log PI)) (log 3.0))
  (- (log (* 2.0 PI)) (log 3.0))
  (log (/ (* 2.0 PI) 3.0))
  (exp (/ (* 2.0 PI) 3.0))
  (/ (* (* (* 2.0 2.0) 2.0) (* (* PI PI) PI)) (* (* 3.0 3.0) 3.0))
  (/ (* (* (* 2.0 PI) (* 2.0 PI)) (* 2.0 PI)) (* (* 3.0 3.0) 3.0))
  (* (cbrt (/ (* 2.0 PI) 3.0)) (cbrt (/ (* 2.0 PI) 3.0)))
  (cbrt (/ (* 2.0 PI) 3.0))
  (* (* (/ (* 2.0 PI) 3.0) (/ (* 2.0 PI) 3.0)) (/ (* 2.0 PI) 3.0))
  (sqrt (/ (* 2.0 PI) 3.0))
  (sqrt (/ (* 2.0 PI) 3.0))
  (- (* 2.0 PI))
  (- 3.0)
  (/ 2.0 (* (cbrt 3.0) (cbrt 3.0)))
  (/ PI (cbrt 3.0))
  (/ 2.0 (sqrt 3.0))
  (/ PI (sqrt 3.0))
  (/ 2.0 1)
  (/ PI 3.0)
  (/ 1 3.0)
  (/ 3.0 (* 2.0 PI))
  (/ (* 2.0 PI) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (* 2.0 PI) (sqrt 3.0))
  (/ (* 2.0 PI) 1)
  (/ 3.0 PI)
  (- (+ (log 2.0) (log PI)) (log 3.0))
  (- (log (* 2.0 PI)) (log 3.0))
  (log (/ (* 2.0 PI) 3.0))
  (exp (/ (* 2.0 PI) 3.0))
  (/ (* (* (* 2.0 2.0) 2.0) (* (* PI PI) PI)) (* (* 3.0 3.0) 3.0))
  (/ (* (* (* 2.0 PI) (* 2.0 PI)) (* 2.0 PI)) (* (* 3.0 3.0) 3.0))
  (* (cbrt (/ (* 2.0 PI) 3.0)) (cbrt (/ (* 2.0 PI) 3.0)))
  (cbrt (/ (* 2.0 PI) 3.0))
  (* (* (/ (* 2.0 PI) 3.0) (/ (* 2.0 PI) 3.0)) (/ (* 2.0 PI) 3.0))
  (sqrt (/ (* 2.0 PI) 3.0))
  (sqrt (/ (* 2.0 PI) 3.0))
  (- (* 2.0 PI))
  (- 3.0)
  (/ 2.0 (* (cbrt 3.0) (cbrt 3.0)))
  (/ PI (cbrt 3.0))
  (/ 2.0 (sqrt 3.0))
  (/ PI (sqrt 3.0))
  (/ 2.0 1)
  (/ PI 3.0)
  (/ 1 3.0)
  (/ 3.0 (* 2.0 PI))
  (/ (* 2.0 PI) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (* 2.0 PI) (sqrt 3.0))
  (/ (* 2.0 PI) 1)
  (/ 3.0 PI)
  (- (+ (log 2.0) (log PI)) (log 3.0))
  (- (log (* 2.0 PI)) (log 3.0))
  (log (/ (* 2.0 PI) 3.0))
  (exp (/ (* 2.0 PI) 3.0))
  (/ (* (* (* 2.0 2.0) 2.0) (* (* PI PI) PI)) (* (* 3.0 3.0) 3.0))
  (/ (* (* (* 2.0 PI) (* 2.0 PI)) (* 2.0 PI)) (* (* 3.0 3.0) 3.0))
  (* (cbrt (/ (* 2.0 PI) 3.0)) (cbrt (/ (* 2.0 PI) 3.0)))
  (cbrt (/ (* 2.0 PI) 3.0))
  (* (* (/ (* 2.0 PI) 3.0) (/ (* 2.0 PI) 3.0)) (/ (* 2.0 PI) 3.0))
  (sqrt (/ (* 2.0 PI) 3.0))
  (sqrt (/ (* 2.0 PI) 3.0))
  (- (* 2.0 PI))
  (- 3.0)
  (/ 2.0 (* (cbrt 3.0) (cbrt 3.0)))
  (/ PI (cbrt 3.0))
  (/ 2.0 (sqrt 3.0))
  (/ PI (sqrt 3.0))
  (/ 2.0 1)
  (/ PI 3.0)
  (/ 1 3.0)
  (/ 3.0 (* 2.0 PI))
  (/ (* 2.0 PI) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (* 2.0 PI) (sqrt 3.0))
  (/ (* 2.0 PI) 1)
  (/ 3.0 PI)
  (+ 1/3 1/3)
  (+ 1 1)
  (* (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))) (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
  (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))
  (+ 1 1)
  (+ (log (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (log (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))
  (log (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))
  (exp (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))
  (* (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))) (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
  (* (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))) (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))
  (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))
  (* (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))) (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))
  (sqrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))
  (sqrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))
  (* (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))) (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))
  (* (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))
  (* (cbrt (sqrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (sqrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))
  (* (cbrt (sqrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (sqrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))
  (* (* (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))) (* (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))
  (* (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))
  (* (sqrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (sqrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))
  (* (sqrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (sqrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))
  (* 1 1)
  (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))
  (* (cbrt (sqrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (sqrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))
  (* (cbrt (sqrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (sqrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))
  (* (cbrt (sqrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (sqrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))
  (* (cbrt (sqrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (sqrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))
  (* (sqrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (sqrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))
  (* (sqrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (sqrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))
  (* (sqrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (sqrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))
  (* (sqrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (sqrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))
  (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (sqrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))
  (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt 1))
  (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (* (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))
  (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (sqrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))
  (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) 1)
  (* (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))
  (* (cbrt (sqrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))
  (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))
  (* (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))
  (* (sqrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))
  (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))
  (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))
  (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
  (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))
  (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
  (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))
  (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
  (pow (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 2) 1/3)
  (pow (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 2) 1/3)
  (pow (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 2) 1/3)
1.678 * * [simplify]: iteration  0 :  213  enodes  (cost  1193 )
1.683 * * [simplify]: iteration  1 :  845  enodes  (cost  1070 )
1.704 * * [simplify]: iteration  2 :  4914  enodes  (cost  932 )
1.820 * * [simplify]: iteration  3 :  5001  enodes  (cost  932 )
1.825 * [simplify]: Simplified to:
   (log (/ (* 2.0 PI) 3.0))
  (log (/ (* 2.0 PI) 3.0))
  (log (/ (* 2.0 PI) 3.0))
  (exp (/ (* 2.0 PI) 3.0))
  (pow (/ (* 2.0 PI) 3.0) 3)
  (pow (/ (* 2.0 PI) 3.0) 3)
  (* (cbrt (/ (* 2.0 PI) 3.0)) (cbrt (/ (* 2.0 PI) 3.0)))
  (cbrt (/ (* 2.0 PI) 3.0))
  (pow (/ (* 2.0 PI) 3.0) 3)
  (sqrt (/ (* 2.0 PI) 3.0))
  (sqrt (/ (* 2.0 PI) 3.0))
  (- (* 2.0 PI))
  (- 3.0)
  (/ 2.0 (* (cbrt 3.0) (cbrt 3.0)))
  (/ PI (cbrt 3.0))
  (/ 2.0 (sqrt 3.0))
  (/ PI (sqrt 3.0))
  2.0
  (/ PI 3.0)
  (/ 1 3.0)
  (/ 3.0 (* 2.0 PI))
  (/ (* 2.0 PI) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (* 2.0 PI) (sqrt 3.0))
  (* 2.0 PI)
  (/ 3.0 PI)
  (log (/ (* 2.0 PI) 3.0))
  (log (/ (* 2.0 PI) 3.0))
  (log (/ (* 2.0 PI) 3.0))
  (exp (/ (* 2.0 PI) 3.0))
  (pow (/ (* 2.0 PI) 3.0) 3)
  (pow (/ (* 2.0 PI) 3.0) 3)
  (* (cbrt (/ (* 2.0 PI) 3.0)) (cbrt (/ (* 2.0 PI) 3.0)))
  (cbrt (/ (* 2.0 PI) 3.0))
  (pow (/ (* 2.0 PI) 3.0) 3)
  (sqrt (/ (* 2.0 PI) 3.0))
  (sqrt (/ (* 2.0 PI) 3.0))
  (- (* 2.0 PI))
  (- 3.0)
  (/ 2.0 (* (cbrt 3.0) (cbrt 3.0)))
  (/ PI (cbrt 3.0))
  (/ 2.0 (sqrt 3.0))
  (/ PI (sqrt 3.0))
  2.0
  (/ PI 3.0)
  (/ 1 3.0)
  (/ 3.0 (* 2.0 PI))
  (/ (* 2.0 PI) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (* 2.0 PI) (sqrt 3.0))
  (* 2.0 PI)
  (/ 3.0 PI)
  (log (/ (* 2.0 PI) 3.0))
  (log (/ (* 2.0 PI) 3.0))
  (log (/ (* 2.0 PI) 3.0))
  (exp (/ (* 2.0 PI) 3.0))
  (pow (/ (* 2.0 PI) 3.0) 3)
  (pow (/ (* 2.0 PI) 3.0) 3)
  (* (cbrt (/ (* 2.0 PI) 3.0)) (cbrt (/ (* 2.0 PI) 3.0)))
  (cbrt (/ (* 2.0 PI) 3.0))
  (pow (/ (* 2.0 PI) 3.0) 3)
  (sqrt (/ (* 2.0 PI) 3.0))
  (sqrt (/ (* 2.0 PI) 3.0))
  (- (* 2.0 PI))
  (- 3.0)
  (/ 2.0 (* (cbrt 3.0) (cbrt 3.0)))
  (/ PI (cbrt 3.0))
  (/ 2.0 (sqrt 3.0))
  (/ PI (sqrt 3.0))
  2.0
  (/ PI 3.0)
  (/ 1 3.0)
  (/ 3.0 (* 2.0 PI))
  (/ (* 2.0 PI) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (* 2.0 PI) (sqrt 3.0))
  (* 2.0 PI)
  (/ 3.0 PI)
  2/3
  2
  (pow (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) 6)
  (pow (sqrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) 4)
  2
  (* 2 (log (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))
  (* 2 (log (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))
  (pow (exp 1) (pow (sqrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) 4))
  (pow (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) 6)
  (* (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))) (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))
  (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))
  (pow (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) 6)
  (fabs (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))
  (fabs (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))
  (* (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))) (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))
  (* (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))
  (* (cbrt (sqrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (sqrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))
  (* (cbrt (sqrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (sqrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))
  1
  (pow (sqrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) 4)
  (pow (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) 4)
  (* (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))
  (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
  (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
  1
  (pow (sqrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) 4)
  (* (cbrt (sqrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (sqrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))
  (* (cbrt (sqrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (sqrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))
  (* (cbrt (sqrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (sqrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))
  (* (cbrt (sqrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (sqrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))
  (* (cbrt (sqrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (sqrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))
  (* (cbrt (sqrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (sqrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))
  (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
  (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
  2/3
  2
  (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))
  (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (sqrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))
  (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
  (* (pow (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) 4) (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))
  (pow (sqrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) 3)
  (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
  (pow (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) 4)
  (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (sqrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))
  (pow (sqrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) 4)
  (pow (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) 4)
  (pow (sqrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) 3)
  (pow (sqrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) 4)
  (pow (sqrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) 4)
  (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
  (pow (sqrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) 4)
  (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
  (pow (sqrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) 4)
  (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
  (pow (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 2) 1/3)
  (pow (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 2) 1/3)
  (pow (pow (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) 2) 1/3)
1.826 * * * [progress]: adding candidates to table
2.135 * [progress]: [Phase 3 of 3] Extracting.
2.135 * * [regime]: Finding splitpoints for: (#<alt (λ (g h) (* 2.0 (cos (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h)))))))> #<alt (λ (g h) (* 2.0 (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))> #<alt (λ (g h) (* 2.0 (* (* (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))) (pow (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) 4)) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))> #<alt (λ (g h) (* 2.0 (+ (* (cos (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cos (/ (acos (/ g h)) 3.0))) (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (/ (acos (/ g h)) 3.0))))))> #<alt (λ (g h) (* 2.0 (* (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))) (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))>)
2.138 * * * [regime-changes]: Trying 8 branch expressions: ((- g) (/ (- g) h) (acos (/ (- g) h)) (/ (acos (/ (- g) h)) 3.0) (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)) (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))) h g)
2.138 * * * * [regimes]: Trying to branch on (- g) from (#<alt (λ (g h) (* 2.0 (cos (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h)))))))> #<alt (λ (g h) (* 2.0 (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))> #<alt (λ (g h) (* 2.0 (* (* (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))) (pow (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) 4)) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))> #<alt (λ (g h) (* 2.0 (+ (* (cos (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cos (/ (acos (/ g h)) 3.0))) (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (/ (acos (/ g h)) 3.0))))))> #<alt (λ (g h) (* 2.0 (* (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))) (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))>)
2.163 * * * * [regimes]: Trying to branch on (- g) from (#<alt (λ (g h) (* 2.0 (cos (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h)))))))> #<alt (λ (g h) (* 2.0 (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))> #<alt (λ (g h) (* 2.0 (* (* (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))) (pow (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) 4)) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))> #<alt (λ (g h) (* 2.0 (* (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))) (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))>)
2.188 * * * * [regimes]: Trying to branch on (/ (- g) h) from (#<alt (λ (g h) (* 2.0 (cos (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h)))))))> #<alt (λ (g h) (* 2.0 (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))> #<alt (λ (g h) (* 2.0 (* (* (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))) (pow (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) 4)) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))> #<alt (λ (g h) (* 2.0 (+ (* (cos (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cos (/ (acos (/ g h)) 3.0))) (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (/ (acos (/ g h)) 3.0))))))> #<alt (λ (g h) (* 2.0 (* (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))) (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))>)
2.212 * * * * [regimes]: Trying to branch on (/ (- g) h) from (#<alt (λ (g h) (* 2.0 (cos (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h)))))))> #<alt (λ (g h) (* 2.0 (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))> #<alt (λ (g h) (* 2.0 (* (* (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))) (pow (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) 4)) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))> #<alt (λ (g h) (* 2.0 (* (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))) (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))>)
2.236 * * * * [regimes]: Trying to branch on (acos (/ (- g) h)) from (#<alt (λ (g h) (* 2.0 (cos (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h)))))))> #<alt (λ (g h) (* 2.0 (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))> #<alt (λ (g h) (* 2.0 (* (* (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))) (pow (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) 4)) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))> #<alt (λ (g h) (* 2.0 (+ (* (cos (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cos (/ (acos (/ g h)) 3.0))) (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (/ (acos (/ g h)) 3.0))))))> #<alt (λ (g h) (* 2.0 (* (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))) (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))>)
2.261 * * * * [regimes]: Trying to branch on (acos (/ (- g) h)) from (#<alt (λ (g h) (* 2.0 (cos (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h)))))))> #<alt (λ (g h) (* 2.0 (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))> #<alt (λ (g h) (* 2.0 (* (* (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))) (pow (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) 4)) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))> #<alt (λ (g h) (* 2.0 (* (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))) (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))>)
2.285 * * * * [regimes]: Trying to branch on (/ (acos (/ (- g) h)) 3.0) from (#<alt (λ (g h) (* 2.0 (cos (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h)))))))> #<alt (λ (g h) (* 2.0 (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))> #<alt (λ (g h) (* 2.0 (* (* (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))) (pow (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) 4)) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))> #<alt (λ (g h) (* 2.0 (+ (* (cos (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cos (/ (acos (/ g h)) 3.0))) (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (/ (acos (/ g h)) 3.0))))))> #<alt (λ (g h) (* 2.0 (* (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))) (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))>)
2.310 * * * * [regimes]: Trying to branch on (/ (acos (/ (- g) h)) 3.0) from (#<alt (λ (g h) (* 2.0 (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))> #<alt (λ (g h) (* 2.0 (* (* (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))) (pow (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) 4)) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))> #<alt (λ (g h) (* 2.0 (* (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))) (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))>)
2.332 * * * * [regimes]: Trying to branch on (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)) from (#<alt (λ (g h) (* 2.0 (cos (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h)))))))> #<alt (λ (g h) (* 2.0 (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))> #<alt (λ (g h) (* 2.0 (* (* (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))) (pow (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) 4)) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))> #<alt (λ (g h) (* 2.0 (+ (* (cos (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cos (/ (acos (/ g h)) 3.0))) (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (/ (acos (/ g h)) 3.0))))))> #<alt (λ (g h) (* 2.0 (* (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))) (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))>)
2.358 * * * * [regimes]: Trying to branch on (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)) from (#<alt (λ (g h) (* 2.0 (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))> #<alt (λ (g h) (* 2.0 (* (* (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))) (pow (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) 4)) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))> #<alt (λ (g h) (* 2.0 (* (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))) (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))>)
2.381 * * * * [regimes]: Trying to branch on (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))) from (#<alt (λ (g h) (* 2.0 (cos (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h)))))))> #<alt (λ (g h) (* 2.0 (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))> #<alt (λ (g h) (* 2.0 (* (* (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))) (pow (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) 4)) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))> #<alt (λ (g h) (* 2.0 (+ (* (cos (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cos (/ (acos (/ g h)) 3.0))) (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (/ (acos (/ g h)) 3.0))))))> #<alt (λ (g h) (* 2.0 (* (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))) (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))>)
2.409 * * * * [regimes]: Trying to branch on (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))) from (#<alt (λ (g h) (* 2.0 (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))> #<alt (λ (g h) (* 2.0 (* (* (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))) (pow (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) 4)) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))> #<alt (λ (g h) (* 2.0 (* (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))) (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))>)
2.434 * * * * [regimes]: Trying to branch on h from (#<alt (λ (g h) (* 2.0 (cos (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h)))))))> #<alt (λ (g h) (* 2.0 (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))> #<alt (λ (g h) (* 2.0 (* (* (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))) (pow (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) 4)) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))> #<alt (λ (g h) (* 2.0 (+ (* (cos (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cos (/ (acos (/ g h)) 3.0))) (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (/ (acos (/ g h)) 3.0))))))> #<alt (λ (g h) (* 2.0 (* (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))) (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))>)
2.459 * * * * [regimes]: Trying to branch on g from (#<alt (λ (g h) (* 2.0 (cos (* (/ 1 3.0) (+ (* 2.0 PI) (acos (/ (- g) h)))))))> #<alt (λ (g h) (* 2.0 (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))> #<alt (λ (g h) (* 2.0 (* (* (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))) (pow (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))) 4)) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))> #<alt (λ (g h) (* 2.0 (+ (* (cos (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cos (/ (acos (/ g h)) 3.0))) (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (/ (acos (/ g h)) 3.0))))))> #<alt (λ (g h) (* 2.0 (* (* (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (* (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))))) (cbrt (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))) (cbrt (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))))>)
2.491 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
2.491 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* 2.0 (+ (* (cos (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cos (/ (acos (/ g h)) 3.0))) (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (/ (acos (/ g h)) 3.0)))))
2.492 * * [simplify]: iteration  0 :  26  enodes  (cost  22 )
2.492 * * [simplify]: iteration  1 :  26  enodes  (cost  22 )
2.492 * [simplify]: Simplified to:
   (* 2.0 (+ (* (cos (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cos (/ (acos (/ g h)) 3.0))) (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (/ (acos (/ g h)) 3.0)))))
3.993 * [regime-testing]: Baseline error score: 0.04432170583985258
3.994 * [regime-testing]: Oracle error score: 0.018919846231139473
3.995 * [regime-testing]: End program error score: 0.04432170583985258