9.600 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.043 * * * [progress]: [2/2] Setting up program.
0.045 * [progress]: [Phase 2 of 3] Improving.
0.046 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* 2.0 (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))))
0.047 * * [simplify]: iteration  0 :  14  enodes  (cost  16 )
0.048 * * [simplify]: iteration  1 :  21  enodes  (cost  16 )
0.050 * * [simplify]: iteration  2 :  25  enodes  (cost  16 )
0.053 * * [simplify]: iteration  3 :  28  enodes  (cost  16 )
0.056 * * [simplify]: iteration  4 :  29  enodes  (cost  16 )
0.059 * * [simplify]: iteration  done :  29  enodes  (cost  16 )
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.079 * * * [progress]: generating rewritten candidates
0.079 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
0.083 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
0.104 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
0.116 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
0.120 * * * [progress]: generating series expansions
0.120 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1)
0.120 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
0.122 * [approximate]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in (g h) around 0
0.122 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in h
0.122 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h
0.122 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h
0.122 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.122 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
0.122 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.122 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.122 * [taylor]: Taking taylor expansion of PI in h
0.124 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in g
0.124 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in g
0.124 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g
0.124 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.124 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
0.124 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.124 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.124 * [taylor]: Taking taylor expansion of PI in g
0.125 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in g
0.125 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in g
0.125 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g
0.125 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.125 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
0.126 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.126 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.126 * [taylor]: Taking taylor expansion of PI in g
0.129 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in h
0.129 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h
0.129 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h
0.129 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.129 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
0.129 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.129 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.129 * [taylor]: Taking taylor expansion of PI in h
0.136 * [taylor]: Taking taylor expansion of 0 in h
0.144 * [taylor]: Taking taylor expansion of 0 in h
0.158 * [taylor]: Taking taylor expansion of 0 in h
0.159 * [approximate]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in (g h) around 0
0.159 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h
0.159 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.159 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.159 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.159 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.159 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.159 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.159 * [taylor]: Taking taylor expansion of PI in h
0.161 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g
0.161 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.161 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.161 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.161 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.161 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.161 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.161 * [taylor]: Taking taylor expansion of PI in g
0.162 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g
0.163 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.163 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.163 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.163 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.163 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.163 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.163 * [taylor]: Taking taylor expansion of PI in g
0.166 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h
0.166 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.166 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.166 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.166 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.166 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.166 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.166 * [taylor]: Taking taylor expansion of PI in h
0.173 * [taylor]: Taking taylor expansion of 0 in h
0.180 * [taylor]: Taking taylor expansion of 0 in h
0.190 * [taylor]: Taking taylor expansion of 0 in h
0.191 * [approximate]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in (g h) around 0
0.191 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h
0.191 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.191 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.191 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.192 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.192 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.192 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.192 * [taylor]: Taking taylor expansion of PI in h
0.193 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g
0.193 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.193 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.193 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.193 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.193 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.193 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.193 * [taylor]: Taking taylor expansion of PI in g
0.195 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g
0.195 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.195 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.195 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.195 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.195 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.195 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.195 * [taylor]: Taking taylor expansion of PI in g
0.198 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h
0.198 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.198 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.198 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.198 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.198 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.198 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.198 * [taylor]: Taking taylor expansion of PI in h
0.205 * [taylor]: Taking taylor expansion of 0 in h
0.212 * [taylor]: Taking taylor expansion of 0 in h
0.222 * [taylor]: Taking taylor expansion of 0 in h
0.222 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
0.223 * [approximate]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in (g h) around 0
0.223 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h
0.223 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h
0.223 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.223 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
0.223 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.223 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.223 * [taylor]: Taking taylor expansion of PI in h
0.223 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in g
0.223 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g
0.223 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.223 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
0.223 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.223 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.223 * [taylor]: Taking taylor expansion of PI in g
0.223 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in g
0.223 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g
0.223 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.224 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
0.224 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.224 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.224 * [taylor]: Taking taylor expansion of PI in g
0.224 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h
0.224 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h
0.224 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.224 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
0.225 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.225 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.225 * [taylor]: Taking taylor expansion of PI in h
0.227 * [taylor]: Taking taylor expansion of 0 in h
0.229 * [taylor]: Taking taylor expansion of 0 in h
0.232 * [taylor]: Taking taylor expansion of 0 in h
0.233 * [approximate]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in (g h) around 0
0.233 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.233 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.233 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.233 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.233 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.233 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.233 * [taylor]: Taking taylor expansion of PI in h
0.233 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.233 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.233 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.233 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.233 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.233 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.233 * [taylor]: Taking taylor expansion of PI in g
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.234 * [taylor]: Taking taylor expansion of PI in g
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.235 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.235 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.235 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.235 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.235 * [taylor]: Taking taylor expansion of PI in h
0.237 * [taylor]: Taking taylor expansion of 0 in h
0.239 * [taylor]: Taking taylor expansion of 0 in h
0.248 * [taylor]: Taking taylor expansion of 0 in h
0.249 * [approximate]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in (g h) around 0
0.249 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
0.249 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.249 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.249 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.250 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h
0.250 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.250 * [taylor]: Taking taylor expansion of PI in h
0.250 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.250 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.250 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.250 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.250 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.250 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.250 * [taylor]: Taking taylor expansion of PI in g
0.250 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g
0.250 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.250 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.250 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.250 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g
0.250 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g
0.250 * [taylor]: Taking taylor expansion of PI in g
0.251 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h
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.6666666666666666 PI) in h
0.251 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h
0.251 * [taylor]: Taking taylor expansion of PI in h
0.253 * [taylor]: Taking taylor expansion of 0 in h
0.255 * [taylor]: Taking taylor expansion of 0 in h
0.258 * [taylor]: Taking taylor expansion of 0 in h
0.259 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
0.259 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in (g h) around 0
0.259 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h
0.259 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.259 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
0.259 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g
0.259 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.259 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
0.259 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g
0.259 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.259 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g
0.259 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h
0.259 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.259 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h
0.260 * [taylor]: Taking taylor expansion of 0 in h
0.261 * [taylor]: Taking taylor expansion of 0 in h
0.262 * [taylor]: Taking taylor expansion of 0 in h
0.262 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in (g h) around 0
0.262 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.262 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.262 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.263 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.263 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.263 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.263 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.263 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.263 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.263 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.263 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.263 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.263 * [taylor]: Taking taylor expansion of 0 in h
0.264 * [taylor]: Taking taylor expansion of 0 in h
0.266 * [taylor]: Taking taylor expansion of 0 in h
0.266 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in (g h) around 0
0.266 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.266 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.266 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.266 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.266 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.266 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.266 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g
0.266 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
0.266 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g
0.267 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h
0.267 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
0.267 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h
0.267 * [taylor]: Taking taylor expansion of 0 in h
0.268 * [taylor]: Taking taylor expansion of 0 in h
0.269 * [taylor]: Taking taylor expansion of 0 in h
0.270 * * * [progress]: simplifying candidates
0.271 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ (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.275 * * [simplify]: iteration  0 :  159  enodes  (cost  1223 )
0.302 * * [simplify]: iteration  1 :  319  enodes  (cost  1165 )
0.372 * * [simplify]: iteration  2 :  803  enodes  (cost  1075 )
0.947 * * [simplify]: iteration  3 :  2994  enodes  (cost  1075 )
1.862 * * [simplify]: iteration  done :  5000  enodes  (cost  1075 )
1.862 * [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 (+ (* 2.0 PI) (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))))
  (- (* (/ (* 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.6666666666666666 PI) (* 0.3333333333333333 (acos (/ (- g) h)))))
  (cos (+ (* 0.6666666666666666 PI) (* 0.3333333333333333 (acos (/ (- g) h)))))
  (cos (+ (* 0.6666666666666666 PI) (* 0.3333333333333333 (acos (/ (- g) h)))))
  (+ (* 0.6666666666666666 PI) (* 0.3333333333333333 (acos (/ (- g) h))))
  (+ (* 0.6666666666666666 PI) (* 0.3333333333333333 (acos (/ (- g) h))))
  (+ (* 0.6666666666666666 PI) (* 0.3333333333333333 (acos (/ (- g) h))))
  (* 0.3333333333333333 (acos (/ (- g) h)))
  (* 0.3333333333333333 (acos (/ (- g) h)))
  (* 0.3333333333333333 (acos (/ (- g) h)))
1.863 * * * [progress]: adding candidates to table
2.083 * * [progress]: iteration 2 / 4
2.084 * * * [progress]: picking best candidate
2.100 * * * * [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))))))>
2.100 * * * [progress]: localizing error
2.125 * * * [progress]: generating rewritten candidates
2.125 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
2.150 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1)
2.161 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1)
2.173 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1)
2.179 * * * [progress]: generating series expansions
2.179 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
2.179 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1)
2.179 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1)
2.179 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1)
2.179 * * * [progress]: simplifying candidates
2.180 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (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)))
2.183 * * [simplify]: iteration  0 :  103  enodes  (cost  943 )
2.202 * * [simplify]: iteration  1 :  235  enodes  (cost  900 )
2.254 * * [simplify]: iteration  2 :  641  enodes  (cost  820 )
2.747 * * [simplify]: iteration  3 :  2627  enodes  (cost  804 )
3.876 * * [simplify]: iteration  done :  5000  enodes  (cost  804 )
3.876 * [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 (+ (* 2.0 PI) PI))
  (* 3.0 3.0)
  (+ (pow (/ (* 2.0 PI) 3.0) 3) (pow (/ PI 3.0) 3))
  (* (/ PI 3.0) (+ (* (/ (* 2.0 PI) 3.0) 2.0) (- (/ PI 3.0) (/ (* 2.0 PI) 3.0))))
  (* (/ PI 3.0) (- (* (/ (* 2.0 PI) 3.0) 2.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)
  (+ 2.0 1)
  (+ (* 2.0 PI) PI)
  (+ 2.0 1)
  (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 (+ (* 2.0 PI) PI))
  (* 3.0 3.0)
  (+ (pow (/ (* 2.0 PI) 3.0) 3) (pow (/ PI 3.0) 3))
  (* (/ PI 3.0) (+ (* (/ (* 2.0 PI) 3.0) 2.0) (- (/ PI 3.0) (/ (* 2.0 PI) 3.0))))
  (* (/ PI 3.0) (- (* (/ (* 2.0 PI) 3.0) 2.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)
  (+ 2.0 1)
  (+ (* 2.0 PI) PI)
  (+ 2.0 1)
  (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)))
3.877 * * * [progress]: adding candidates to table
4.162 * * [progress]: iteration 3 / 4
4.162 * * * [progress]: picking best candidate
4.175 * * * * [pick]: Picked  #<alt (λ (g h) (* 2.0 (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0)))))>
4.175 * * * [progress]: localizing error
4.189 * * * [progress]: generating rewritten candidates
4.189 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1)
4.192 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 2)
4.194 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
4.205 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
4.328 * * * [progress]: generating series expansions
4.328 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1)
4.328 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 2)
4.328 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
4.328 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
4.330 * [approximate]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) in (g h) around 0
4.330 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) in h
4.330 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))) in h
4.330 * [taylor]: Taking taylor expansion of (* 1.0 PI) in h
4.330 * [taylor]: Taking taylor expansion of 1.0 in h
4.330 * [taylor]: Taking taylor expansion of PI in h
4.330 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ g h))) in h
4.330 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
4.330 * [taylor]: Taking taylor expansion of (acos (/ g h)) in h
4.332 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) in g
4.332 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))) in g
4.332 * [taylor]: Taking taylor expansion of (* 1.0 PI) in g
4.332 * [taylor]: Taking taylor expansion of 1.0 in g
4.332 * [taylor]: Taking taylor expansion of PI in g
4.332 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ g h))) in g
4.332 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
4.332 * [taylor]: Taking taylor expansion of (acos (/ g h)) in g
4.334 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) in g
4.334 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))) in g
4.334 * [taylor]: Taking taylor expansion of (* 1.0 PI) in g
4.334 * [taylor]: Taking taylor expansion of 1.0 in g
4.334 * [taylor]: Taking taylor expansion of PI in g
4.334 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ g h))) in g
4.334 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
4.334 * [taylor]: Taking taylor expansion of (acos (/ g h)) in g
4.337 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) in h
4.337 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))) in h
4.337 * [taylor]: Taking taylor expansion of (* 1.0 PI) in h
4.337 * [taylor]: Taking taylor expansion of 1.0 in h
4.337 * [taylor]: Taking taylor expansion of PI in h
4.337 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ g h))) in h
4.337 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
4.337 * [taylor]: Taking taylor expansion of (acos (/ g h)) in h
4.344 * [taylor]: Taking taylor expansion of 0 in h
4.352 * [taylor]: Taking taylor expansion of 0 in h
4.366 * [taylor]: Taking taylor expansion of 0 in h
4.368 * [approximate]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in (g h) around 0
4.368 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in h
4.368 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) in h
4.368 * [taylor]: Taking taylor expansion of (* 1.0 PI) in h
4.368 * [taylor]: Taking taylor expansion of 1.0 in h
4.368 * [taylor]: Taking taylor expansion of PI in h
4.368 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ h g))) in h
4.368 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
4.368 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h
4.370 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in g
4.370 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) in g
4.370 * [taylor]: Taking taylor expansion of (* 1.0 PI) in g
4.370 * [taylor]: Taking taylor expansion of 1.0 in g
4.370 * [taylor]: Taking taylor expansion of PI in g
4.370 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ h g))) in g
4.370 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
4.370 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g
4.371 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in g
4.371 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) in g
4.371 * [taylor]: Taking taylor expansion of (* 1.0 PI) in g
4.371 * [taylor]: Taking taylor expansion of 1.0 in g
4.371 * [taylor]: Taking taylor expansion of PI in g
4.371 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ h g))) in g
4.371 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
4.371 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g
4.374 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in h
4.374 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) in h
4.374 * [taylor]: Taking taylor expansion of (* 1.0 PI) in h
4.375 * [taylor]: Taking taylor expansion of 1.0 in h
4.375 * [taylor]: Taking taylor expansion of PI in h
4.375 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ h g))) in h
4.375 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
4.375 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h
4.381 * [taylor]: Taking taylor expansion of 0 in h
4.389 * [taylor]: Taking taylor expansion of 0 in h
4.398 * [taylor]: Taking taylor expansion of 0 in h
4.401 * [approximate]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in (g h) around 0
4.401 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in h
4.401 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) in h
4.401 * [taylor]: Taking taylor expansion of (* 1.0 PI) in h
4.401 * [taylor]: Taking taylor expansion of 1.0 in h
4.401 * [taylor]: Taking taylor expansion of PI in h
4.401 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ h g))) in h
4.401 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
4.401 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h
4.402 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in g
4.402 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) in g
4.402 * [taylor]: Taking taylor expansion of (* 1.0 PI) in g
4.402 * [taylor]: Taking taylor expansion of 1.0 in g
4.402 * [taylor]: Taking taylor expansion of PI in g
4.402 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ h g))) in g
4.402 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
4.402 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g
4.404 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in g
4.404 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) in g
4.404 * [taylor]: Taking taylor expansion of (* 1.0 PI) in g
4.404 * [taylor]: Taking taylor expansion of 1.0 in g
4.404 * [taylor]: Taking taylor expansion of PI in g
4.404 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ h g))) in g
4.404 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
4.404 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g
4.407 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in h
4.407 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) in h
4.407 * [taylor]: Taking taylor expansion of (* 1.0 PI) in h
4.407 * [taylor]: Taking taylor expansion of 1.0 in h
4.407 * [taylor]: Taking taylor expansion of PI in h
4.407 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ h g))) in h
4.407 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
4.407 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h
4.414 * [taylor]: Taking taylor expansion of 0 in h
4.422 * [taylor]: Taking taylor expansion of 0 in h
4.432 * [taylor]: Taking taylor expansion of 0 in h
4.432 * * * [progress]: simplifying candidates
4.433 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ (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 PI) (log 3.0))
  (log (/ PI 3.0))
  (exp (/ PI 3.0))
  (/ (* (* PI PI) PI) (* (* 3.0 3.0) 3.0))
  (* (cbrt (/ PI 3.0)) (cbrt (/ PI 3.0)))
  (cbrt (/ PI 3.0))
  (* (* (/ PI 3.0) (/ PI 3.0)) (/ PI 3.0))
  (sqrt (/ PI 3.0))
  (sqrt (/ PI 3.0))
  (- PI)
  (- 3.0)
  (/ (* (cbrt PI) (cbrt PI)) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (cbrt PI) (cbrt 3.0))
  (/ (* (cbrt PI) (cbrt PI)) (sqrt 3.0))
  (/ (cbrt PI) (sqrt 3.0))
  (/ (* (cbrt PI) (cbrt PI)) 1)
  (/ (cbrt PI) 3.0)
  (/ (sqrt PI) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (sqrt PI) (cbrt 3.0))
  (/ (sqrt PI) (sqrt 3.0))
  (/ (sqrt PI) (sqrt 3.0))
  (/ (sqrt PI) 1)
  (/ (sqrt PI) 3.0)
  (/ 1 (* (cbrt 3.0) (cbrt 3.0)))
  (/ PI (cbrt 3.0))
  (/ 1 (sqrt 3.0))
  (/ PI (sqrt 3.0))
  (/ 1 1)
  (/ PI 3.0)
  (/ 1 3.0)
  (/ 3.0 PI)
  (/ PI (* (cbrt 3.0) (cbrt 3.0)))
  (/ PI (sqrt 3.0))
  (/ PI 1)
  (/ 3.0 (cbrt PI))
  (/ 3.0 (sqrt PI))
  (/ 3.0 PI)
  (* (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)
  (* (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)) (cos (- (/ PI 3.0) (/ (acos (/ g h)) 3.0))))
  (* (sin (/ (* 2.0 PI) 3.0)) (sin (- (/ PI 3.0) (/ (acos (/ g h)) 3.0))))
  (* (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (/ PI 2) 3.0))) (cos (/ (asin (/ g h)) 3.0)))
  (* (sin (- (+ (/ (* 2.0 PI) 3.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))))
  (* (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) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))))
  (exp (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))))
  (* (cbrt (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0)))) (cbrt (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0)))))
  (cbrt (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))))
  (* (* (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))) (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0)))) (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))))
  (sqrt (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))))
  (sqrt (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 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))
  (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))))
  (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))))
  (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))))
4.438 * * [simplify]: iteration  0 :  155  enodes  (cost  1042 )
4.471 * * [simplify]: iteration  1 :  323  enodes  (cost  995 )
4.543 * * [simplify]: iteration  2 :  822  enodes  (cost  915 )
5.135 * * [simplify]: iteration  3 :  2991  enodes  (cost  907 )
6.041 * * [simplify]: iteration  done :  5000  enodes  (cost  907 )
6.041 * [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 (/ PI 3.0))
  (log (/ PI 3.0))
  (exp (/ PI 3.0))
  (pow (/ PI 3.0) 3)
  (* (cbrt (/ PI 3.0)) (cbrt (/ PI 3.0)))
  (cbrt (/ PI 3.0))
  (pow (/ PI 3.0) 3)
  (sqrt (/ PI 3.0))
  (sqrt (/ PI 3.0))
  (- PI)
  (- 3.0)
  (/ (* (cbrt PI) (cbrt PI)) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (cbrt PI) (cbrt 3.0))
  (/ (* (cbrt PI) (cbrt PI)) (sqrt 3.0))
  (/ (cbrt PI) (sqrt 3.0))
  (* (cbrt PI) (cbrt PI))
  (/ (cbrt PI) 3.0)
  (/ (sqrt PI) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (sqrt PI) (cbrt 3.0))
  (/ (sqrt PI) (sqrt 3.0))
  (/ (sqrt PI) (sqrt 3.0))
  (sqrt PI)
  (/ (sqrt PI) 3.0)
  (/ 1 (* (cbrt 3.0) (cbrt 3.0)))
  (/ PI (cbrt 3.0))
  (/ 1 (sqrt 3.0))
  (/ PI (sqrt 3.0))
  1
  (/ PI 3.0)
  (/ 1 3.0)
  (/ 3.0 PI)
  (/ PI (* (cbrt 3.0) (cbrt 3.0)))
  (/ PI (sqrt 3.0))
  PI
  (/ 3.0 (cbrt PI))
  (/ 3.0 (sqrt PI))
  (/ 3.0 PI)
  (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)))
  (* (+ 1 2.0) (* 3.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)
  (* (cos (/ (acos (/ g h)) 3.0)) (cos (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))))
  (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (- (/ (acos (/ g h)) 3.0))))
  (* (cos (/ (* 2.0 PI) 3.0)) (cos (- (/ PI 3.0) (/ (acos (/ g h)) 3.0))))
  (* (sin (/ (* 2.0 PI) 3.0)) (sin (- (/ PI 3.0) (/ (acos (/ g h)) 3.0))))
  (* (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (/ PI 2) 3.0))) (cos (/ (asin (/ g h)) 3.0)))
  (* (sin (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (/ PI 2) 3.0))) (sin (/ (asin (/ g h)) 3.0)))
  (* (cos (/ (acos (/ g h)) 3.0)) (cos (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))))
  (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (- (/ (acos (/ g h)) 3.0))))
  (* (cos (/ (acos (/ g h)) 3.0)) (cos (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))))
  (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (/ (acos (/ g h)) 3.0)))
  (log (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))))
  (exp (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))))
  (* (cbrt (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0)))) (cbrt (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0)))))
  (cbrt (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))))
  (pow (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))) 3)
  (sqrt (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))))
  (sqrt (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 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))
  (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))))
  (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))))
  (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))))
6.042 * * * [progress]: adding candidates to table
6.252 * * [progress]: iteration 4 / 4
6.252 * * * [progress]: picking best candidate
6.263 * * * * [pick]: Picked  #<alt (λ (g h) (* 2.0 (log (exp (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0)))))))>
6.263 * * * [progress]: localizing error
6.281 * * * [progress]: generating rewritten candidates
6.282 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 1 1)
6.285 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1 1 2)
6.290 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 1)
6.302 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1)
6.422 * * * [progress]: generating series expansions
6.422 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 1 1)
6.422 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1 1 2)
6.422 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 1)
6.422 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1)
6.424 * [approximate]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) in (g h) around 0
6.424 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) in h
6.424 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))) in h
6.424 * [taylor]: Taking taylor expansion of (* 1.0 PI) in h
6.424 * [taylor]: Taking taylor expansion of 1.0 in h
6.424 * [taylor]: Taking taylor expansion of PI in h
6.424 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ g h))) in h
6.424 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
6.424 * [taylor]: Taking taylor expansion of (acos (/ g h)) in h
6.426 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) in g
6.426 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))) in g
6.426 * [taylor]: Taking taylor expansion of (* 1.0 PI) in g
6.426 * [taylor]: Taking taylor expansion of 1.0 in g
6.426 * [taylor]: Taking taylor expansion of PI in g
6.426 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ g h))) in g
6.426 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
6.426 * [taylor]: Taking taylor expansion of (acos (/ g h)) in g
6.428 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) in g
6.428 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))) in g
6.428 * [taylor]: Taking taylor expansion of (* 1.0 PI) in g
6.428 * [taylor]: Taking taylor expansion of 1.0 in g
6.428 * [taylor]: Taking taylor expansion of PI in g
6.428 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ g h))) in g
6.428 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
6.428 * [taylor]: Taking taylor expansion of (acos (/ g h)) in g
6.431 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h))))) in h
6.431 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))) in h
6.431 * [taylor]: Taking taylor expansion of (* 1.0 PI) in h
6.431 * [taylor]: Taking taylor expansion of 1.0 in h
6.431 * [taylor]: Taking taylor expansion of PI in h
6.431 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ g h))) in h
6.431 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
6.431 * [taylor]: Taking taylor expansion of (acos (/ g h)) in h
6.438 * [taylor]: Taking taylor expansion of 0 in h
6.446 * [taylor]: Taking taylor expansion of 0 in h
6.456 * [taylor]: Taking taylor expansion of 0 in h
6.458 * [approximate]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in (g h) around 0
6.458 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in h
6.458 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) in h
6.458 * [taylor]: Taking taylor expansion of (* 1.0 PI) in h
6.458 * [taylor]: Taking taylor expansion of 1.0 in h
6.458 * [taylor]: Taking taylor expansion of PI in h
6.458 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ h g))) in h
6.458 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
6.458 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h
6.459 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in g
6.459 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) in g
6.459 * [taylor]: Taking taylor expansion of (* 1.0 PI) in g
6.459 * [taylor]: Taking taylor expansion of 1.0 in g
6.460 * [taylor]: Taking taylor expansion of PI in g
6.460 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ h g))) in g
6.460 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
6.460 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g
6.461 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in g
6.461 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) in g
6.461 * [taylor]: Taking taylor expansion of (* 1.0 PI) in g
6.461 * [taylor]: Taking taylor expansion of 1.0 in g
6.461 * [taylor]: Taking taylor expansion of PI in g
6.461 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ h g))) in g
6.461 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
6.461 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g
6.464 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in h
6.464 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) in h
6.464 * [taylor]: Taking taylor expansion of (* 1.0 PI) in h
6.464 * [taylor]: Taking taylor expansion of 1.0 in h
6.464 * [taylor]: Taking taylor expansion of PI in h
6.464 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ h g))) in h
6.465 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
6.465 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h
6.472 * [taylor]: Taking taylor expansion of 0 in h
6.479 * [taylor]: Taking taylor expansion of 0 in h
6.489 * [taylor]: Taking taylor expansion of 0 in h
6.491 * [approximate]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in (g h) around 0
6.491 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in h
6.491 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) in h
6.491 * [taylor]: Taking taylor expansion of (* 1.0 PI) in h
6.491 * [taylor]: Taking taylor expansion of 1.0 in h
6.491 * [taylor]: Taking taylor expansion of PI in h
6.491 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ h g))) in h
6.491 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
6.491 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h
6.493 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in g
6.493 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) in g
6.493 * [taylor]: Taking taylor expansion of (* 1.0 PI) in g
6.493 * [taylor]: Taking taylor expansion of 1.0 in g
6.493 * [taylor]: Taking taylor expansion of PI in g
6.493 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ h g))) in g
6.493 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
6.493 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g
6.494 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in g
6.494 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) in g
6.494 * [taylor]: Taking taylor expansion of (* 1.0 PI) in g
6.494 * [taylor]: Taking taylor expansion of 1.0 in g
6.494 * [taylor]: Taking taylor expansion of PI in g
6.494 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ h g))) in g
6.495 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g
6.495 * [taylor]: Taking taylor expansion of (acos (/ h g)) in g
6.497 * [taylor]: Taking taylor expansion of (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g))))) in h
6.497 * [taylor]: Taking taylor expansion of (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ h g)))) in h
6.498 * [taylor]: Taking taylor expansion of (* 1.0 PI) in h
6.498 * [taylor]: Taking taylor expansion of 1.0 in h
6.498 * [taylor]: Taking taylor expansion of PI in h
6.498 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (/ h g))) in h
6.498 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h
6.498 * [taylor]: Taking taylor expansion of (acos (/ h g)) in h
6.509 * [taylor]: Taking taylor expansion of 0 in h
6.518 * [taylor]: Taking taylor expansion of 0 in h
6.527 * [taylor]: Taking taylor expansion of 0 in h
6.527 * * * [progress]: simplifying candidates
6.529 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ (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 PI) (log 3.0))
  (log (/ PI 3.0))
  (exp (/ PI 3.0))
  (/ (* (* PI PI) PI) (* (* 3.0 3.0) 3.0))
  (* (cbrt (/ PI 3.0)) (cbrt (/ PI 3.0)))
  (cbrt (/ PI 3.0))
  (* (* (/ PI 3.0) (/ PI 3.0)) (/ PI 3.0))
  (sqrt (/ PI 3.0))
  (sqrt (/ PI 3.0))
  (- PI)
  (- 3.0)
  (/ (* (cbrt PI) (cbrt PI)) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (cbrt PI) (cbrt 3.0))
  (/ (* (cbrt PI) (cbrt PI)) (sqrt 3.0))
  (/ (cbrt PI) (sqrt 3.0))
  (/ (* (cbrt PI) (cbrt PI)) 1)
  (/ (cbrt PI) 3.0)
  (/ (sqrt PI) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (sqrt PI) (cbrt 3.0))
  (/ (sqrt PI) (sqrt 3.0))
  (/ (sqrt PI) (sqrt 3.0))
  (/ (sqrt PI) 1)
  (/ (sqrt PI) 3.0)
  (/ 1 (* (cbrt 3.0) (cbrt 3.0)))
  (/ PI (cbrt 3.0))
  (/ 1 (sqrt 3.0))
  (/ PI (sqrt 3.0))
  (/ 1 1)
  (/ PI 3.0)
  (/ 1 3.0)
  (/ 3.0 PI)
  (/ PI (* (cbrt 3.0) (cbrt 3.0)))
  (/ PI (sqrt 3.0))
  (/ PI 1)
  (/ 3.0 (cbrt PI))
  (/ 3.0 (sqrt PI))
  (/ 3.0 PI)
  (* (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)
  (* (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)) (cos (- (/ PI 3.0) (/ (acos (/ g h)) 3.0))))
  (* (sin (/ (* 2.0 PI) 3.0)) (sin (- (/ PI 3.0) (/ (acos (/ g h)) 3.0))))
  (* (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (/ PI 2) 3.0))) (cos (/ (asin (/ g h)) 3.0)))
  (* (sin (- (+ (/ (* 2.0 PI) 3.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))))
  (* (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) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))))
  (exp (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))))
  (* (cbrt (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0)))) (cbrt (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0)))))
  (cbrt (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))))
  (* (* (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))) (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0)))) (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))))
  (sqrt (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))))
  (sqrt (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))))
  (exp (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))))
  (exp (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))))
  (exp (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))))
  (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))))
  (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))))
  (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))))
6.533 * * [simplify]: iteration  0 :  155  enodes  (cost  1069 )
6.560 * * [simplify]: iteration  1 :  323  enodes  (cost  1022 )
6.634 * * [simplify]: iteration  2 :  822  enodes  (cost  942 )
7.222 * * [simplify]: iteration  3 :  2991  enodes  (cost  934 )
8.343 * * [simplify]: iteration  done :  5000  enodes  (cost  934 )
8.344 * [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 (/ PI 3.0))
  (log (/ PI 3.0))
  (exp (/ PI 3.0))
  (pow (/ PI 3.0) 3)
  (* (cbrt (/ PI 3.0)) (cbrt (/ PI 3.0)))
  (cbrt (/ PI 3.0))
  (pow (/ PI 3.0) 3)
  (sqrt (/ PI 3.0))
  (sqrt (/ PI 3.0))
  (- PI)
  (- 3.0)
  (/ (* (cbrt PI) (cbrt PI)) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (cbrt PI) (cbrt 3.0))
  (/ (* (cbrt PI) (cbrt PI)) (sqrt 3.0))
  (/ (cbrt PI) (sqrt 3.0))
  (* (cbrt PI) (cbrt PI))
  (/ (cbrt PI) 3.0)
  (/ (sqrt PI) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (sqrt PI) (cbrt 3.0))
  (/ (sqrt PI) (sqrt 3.0))
  (/ (sqrt PI) (sqrt 3.0))
  (sqrt PI)
  (/ (sqrt PI) 3.0)
  (/ 1 (* (cbrt 3.0) (cbrt 3.0)))
  (/ PI (cbrt 3.0))
  (/ 1 (sqrt 3.0))
  (/ PI (sqrt 3.0))
  1
  (/ PI 3.0)
  (/ 1 3.0)
  (/ 3.0 PI)
  (/ PI (* (cbrt 3.0) (cbrt 3.0)))
  (/ PI (sqrt 3.0))
  PI
  (/ 3.0 (cbrt PI))
  (/ 3.0 (sqrt PI))
  (/ 3.0 PI)
  (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)))
  (* (+ 1 2.0) (* 3.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)
  (* (cos (/ (acos (/ g h)) 3.0)) (cos (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))))
  (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (- (/ (acos (/ g h)) 3.0))))
  (* (cos (/ (* 2.0 PI) 3.0)) (cos (- (/ PI 3.0) (/ (acos (/ g h)) 3.0))))
  (* (sin (/ (* 2.0 PI) 3.0)) (sin (- (/ PI 3.0) (/ (acos (/ g h)) 3.0))))
  (* (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (/ PI 2) 3.0))) (cos (/ (asin (/ g h)) 3.0)))
  (* (sin (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (/ PI 2) 3.0))) (sin (/ (asin (/ g h)) 3.0)))
  (* (cos (/ (acos (/ g h)) 3.0)) (cos (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))))
  (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (- (/ (acos (/ g h)) 3.0))))
  (* (cos (/ (acos (/ g h)) 3.0)) (cos (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))))
  (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (/ (acos (/ g h)) 3.0)))
  (log (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))))
  (exp (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))))
  (* (cbrt (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0)))) (cbrt (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0)))))
  (cbrt (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))))
  (pow (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))) 3)
  (sqrt (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))))
  (sqrt (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))))
  (exp (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))))
  (exp (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))))
  (exp (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))))
  (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))))
  (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))))
  (cos (- (* 1.0 PI) (* 0.3333333333333333 (acos (/ g h)))))
8.345 * * * [progress]: adding candidates to table
8.602 * [progress]: [Phase 3 of 3] Extracting.
8.602 * * [regime]: Finding splitpoints for: (#<alt (λ (g h) (* 2.0 (cbrt (pow (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))) 3))))> #<alt (λ (g h) (* 2.0 (log (exp (cos (- (+ (/ (* 2.0 PI) 3.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 (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 (+ (* (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 (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0)))))> #<alt (λ (g h) (* 2.0 (cos (+ (* (/ 2.0 (* (cbrt 3.0) (cbrt 3.0))) (/ PI (cbrt 3.0))) (/ (acos (/ (- g) h)) 3.0)))))>)
8.604 * * * [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)
8.604 * * * * [regimes]: Trying to branch on (- g) from (#<alt (λ (g h) (* 2.0 (cbrt (pow (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))) 3))))> #<alt (λ (g h) (* 2.0 (log (exp (cos (- (+ (/ (* 2.0 PI) 3.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 (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 (+ (* (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 (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0)))))> #<alt (λ (g h) (* 2.0 (cos (+ (* (/ 2.0 (* (cbrt 3.0) (cbrt 3.0))) (/ PI (cbrt 3.0))) (/ (acos (/ (- g) h)) 3.0)))))>)
8.632 * * * * [regimes]: Trying to branch on (- g) 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 (cos (+ (* (/ 2.0 (* (cbrt 3.0) (cbrt 3.0))) (/ PI (cbrt 3.0))) (/ (acos (/ (- g) h)) 3.0)))))>)
8.646 * * * * [regimes]: Trying to branch on (/ (- g) h) from (#<alt (λ (g h) (* 2.0 (cbrt (pow (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))) 3))))> #<alt (λ (g h) (* 2.0 (log (exp (cos (- (+ (/ (* 2.0 PI) 3.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 (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 (+ (* (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 (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0)))))> #<alt (λ (g h) (* 2.0 (cos (+ (* (/ 2.0 (* (cbrt 3.0) (cbrt 3.0))) (/ PI (cbrt 3.0))) (/ (acos (/ (- g) h)) 3.0)))))>)
8.676 * * * * [regimes]: Trying to branch on (/ (- g) h) 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 (cos (+ (* (/ 2.0 (* (cbrt 3.0) (cbrt 3.0))) (/ PI (cbrt 3.0))) (/ (acos (/ (- g) h)) 3.0)))))>)
8.690 * * * * [regimes]: Trying to branch on (acos (/ (- g) h)) from (#<alt (λ (g h) (* 2.0 (cbrt (pow (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))) 3))))> #<alt (λ (g h) (* 2.0 (log (exp (cos (- (+ (/ (* 2.0 PI) 3.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 (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 (+ (* (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 (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0)))))> #<alt (λ (g h) (* 2.0 (cos (+ (* (/ 2.0 (* (cbrt 3.0) (cbrt 3.0))) (/ PI (cbrt 3.0))) (/ (acos (/ (- g) h)) 3.0)))))>)
8.718 * * * * [regimes]: Trying to branch on (acos (/ (- g) h)) 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 (cos (+ (* (/ 2.0 (* (cbrt 3.0) (cbrt 3.0))) (/ PI (cbrt 3.0))) (/ (acos (/ (- g) h)) 3.0)))))>)
8.733 * * * * [regimes]: Trying to branch on (/ (acos (/ (- g) h)) 3.0) from (#<alt (λ (g h) (* 2.0 (cbrt (pow (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))) 3))))> #<alt (λ (g h) (* 2.0 (log (exp (cos (- (+ (/ (* 2.0 PI) 3.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 (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 (+ (* (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 (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0)))))> #<alt (λ (g h) (* 2.0 (cos (+ (* (/ 2.0 (* (cbrt 3.0) (cbrt 3.0))) (/ PI (cbrt 3.0))) (/ (acos (/ (- g) h)) 3.0)))))>)
8.760 * * * * [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 (cos (+ (* (/ 2.0 (* (cbrt 3.0) (cbrt 3.0))) (/ PI (cbrt 3.0))) (/ (acos (/ (- g) h)) 3.0)))))>)
8.778 * * * * [regimes]: Trying to branch on (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)) from (#<alt (λ (g h) (* 2.0 (cbrt (pow (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))) 3))))> #<alt (λ (g h) (* 2.0 (log (exp (cos (- (+ (/ (* 2.0 PI) 3.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 (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 (+ (* (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 (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0)))))> #<alt (λ (g h) (* 2.0 (cos (+ (* (/ 2.0 (* (cbrt 3.0) (cbrt 3.0))) (/ PI (cbrt 3.0))) (/ (acos (/ (- g) h)) 3.0)))))>)
8.806 * * * * [regimes]: Trying to branch on (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))) from (#<alt (λ (g h) (* 2.0 (cbrt (pow (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))) 3))))> #<alt (λ (g h) (* 2.0 (log (exp (cos (- (+ (/ (* 2.0 PI) 3.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 (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 (+ (* (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 (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0)))))> #<alt (λ (g h) (* 2.0 (cos (+ (* (/ 2.0 (* (cbrt 3.0) (cbrt 3.0))) (/ PI (cbrt 3.0))) (/ (acos (/ (- g) h)) 3.0)))))>)
8.838 * * * * [regimes]: Trying to branch on h from (#<alt (λ (g h) (* 2.0 (cbrt (pow (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))) 3))))> #<alt (λ (g h) (* 2.0 (log (exp (cos (- (+ (/ (* 2.0 PI) 3.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 (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 (+ (* (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 (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0)))))> #<alt (λ (g h) (* 2.0 (cos (+ (* (/ 2.0 (* (cbrt 3.0) (cbrt 3.0))) (/ PI (cbrt 3.0))) (/ (acos (/ (- g) h)) 3.0)))))>)
8.866 * * * * [regimes]: Trying to branch on g from (#<alt (λ (g h) (* 2.0 (cbrt (pow (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0))) 3))))> #<alt (λ (g h) (* 2.0 (log (exp (cos (- (+ (/ (* 2.0 PI) 3.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 (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 (+ (* (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 (cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0)))))> #<alt (λ (g h) (* 2.0 (cos (+ (* (/ 2.0 (* (cbrt 3.0) (cbrt 3.0))) (/ PI (cbrt 3.0))) (/ (acos (/ (- g) h)) 3.0)))))>)
8.896 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
8.896 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* 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)))))
8.897 * * [simplify]: iteration  0 :  20  enodes  (cost  39 )
8.898 * * [simplify]: iteration  1 :  26  enodes  (cost  39 )
8.898 * * [simplify]: iteration  done :  26  enodes  (cost  39 )
8.898 * [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)))))
10.399 * [regime-testing]: Baseline error score: 0.050228083199252066
10.399 * [regime-testing]: Oracle error score: 0.016877109638704837
10.400 * [regime-testing]: End program error score: 0.050228083199252066