3.830 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.014 * * * [progress]: [2/2] Setting up program.
0.017 * [progress]: [Phase 2 of 3] Improving.
0.017 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (cbrt (/ g (* 2.0 a)))
0.019 * * [simplify]: iteration  0 :  9  enodes  (cost  3 )
0.020 * * [simplify]: iteration  1 :  11  enodes  (cost  3 )
0.021 * * [simplify]: iteration  2 :  11  enodes  (cost  3 )
0.021 * [simplify]: Simplified to:
   (cbrt (/ g (* 2.0 a)))
0.022 * * [progress]: iteration 1 / 4
0.022 * * * [progress]: picking best candidate
0.023 * * * * [pick]: Picked  #<alt (λ (g a) (cbrt (/ g (* 2.0 a))))>
0.023 * * * [progress]: localizing error
0.028 * * * [progress]: generating rewritten candidates
0.028 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.031 * * * [progress]: generating series expansions
0.031 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.031 * [approximate]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ g a) 1/3)) in (g a) around 0
0.031 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ g a) 1/3)) in a
0.031 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a
0.031 * [taylor]: Taking taylor expansion of 0.5 in a
0.032 * [taylor]: Taking taylor expansion of (pow (/ g a) 1/3) in a
0.032 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ g a)))) in a
0.032 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ g a))) in a
0.032 * [taylor]: Taking taylor expansion of 1/3 in a
0.032 * [taylor]: Taking taylor expansion of (log (/ g a)) in a
0.032 * [taylor]: Taking taylor expansion of (/ g a) in a
0.032 * [taylor]: Taking taylor expansion of g in a
0.032 * [taylor]: Taking taylor expansion of a in a
0.033 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ g a) 1/3)) in g
0.033 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g
0.033 * [taylor]: Taking taylor expansion of 0.5 in g
0.034 * [taylor]: Taking taylor expansion of (pow (/ g a) 1/3) in g
0.034 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ g a)))) in g
0.034 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ g a))) in g
0.034 * [taylor]: Taking taylor expansion of 1/3 in g
0.034 * [taylor]: Taking taylor expansion of (log (/ g a)) in g
0.034 * [taylor]: Taking taylor expansion of (/ g a) in g
0.034 * [taylor]: Taking taylor expansion of g in g
0.034 * [taylor]: Taking taylor expansion of a in g
0.034 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ g a) 1/3)) in g
0.035 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g
0.035 * [taylor]: Taking taylor expansion of 0.5 in g
0.035 * [taylor]: Taking taylor expansion of (pow (/ g a) 1/3) in g
0.035 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ g a)))) in g
0.035 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ g a))) in g
0.035 * [taylor]: Taking taylor expansion of 1/3 in g
0.035 * [taylor]: Taking taylor expansion of (log (/ g a)) in g
0.035 * [taylor]: Taking taylor expansion of (/ g a) in g
0.035 * [taylor]: Taking taylor expansion of g in g
0.035 * [taylor]: Taking taylor expansion of a in g
0.036 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (exp (* 1/3 (+ (log (/ 1 a)) (log g))))) in a
0.036 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a
0.036 * [taylor]: Taking taylor expansion of 0.5 in a
0.037 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (/ 1 a)) (log g)))) in a
0.037 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (/ 1 a)) (log g))) in a
0.037 * [taylor]: Taking taylor expansion of 1/3 in a
0.037 * [taylor]: Taking taylor expansion of (+ (log (/ 1 a)) (log g)) in a
0.037 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
0.037 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.037 * [taylor]: Taking taylor expansion of a in a
0.038 * [taylor]: Taking taylor expansion of (log g) in a
0.038 * [taylor]: Taking taylor expansion of g in a
0.041 * [taylor]: Taking taylor expansion of 0 in a
0.050 * [taylor]: Taking taylor expansion of 0 in a
0.061 * [taylor]: Taking taylor expansion of 0 in a
0.061 * [approximate]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ a g) 1/3)) in (g a) around 0
0.061 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ a g) 1/3)) in a
0.061 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a
0.061 * [taylor]: Taking taylor expansion of 0.5 in a
0.062 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in a
0.062 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in a
0.062 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in a
0.062 * [taylor]: Taking taylor expansion of 1/3 in a
0.062 * [taylor]: Taking taylor expansion of (log (/ a g)) in a
0.062 * [taylor]: Taking taylor expansion of (/ a g) in a
0.062 * [taylor]: Taking taylor expansion of a in a
0.062 * [taylor]: Taking taylor expansion of g in a
0.063 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ a g) 1/3)) in g
0.063 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g
0.063 * [taylor]: Taking taylor expansion of 0.5 in g
0.063 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in g
0.063 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in g
0.063 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in g
0.063 * [taylor]: Taking taylor expansion of 1/3 in g
0.064 * [taylor]: Taking taylor expansion of (log (/ a g)) in g
0.064 * [taylor]: Taking taylor expansion of (/ a g) in g
0.064 * [taylor]: Taking taylor expansion of a in g
0.064 * [taylor]: Taking taylor expansion of g in g
0.064 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ a g) 1/3)) in g
0.064 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g
0.064 * [taylor]: Taking taylor expansion of 0.5 in g
0.065 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in g
0.065 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in g
0.065 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in g
0.065 * [taylor]: Taking taylor expansion of 1/3 in g
0.065 * [taylor]: Taking taylor expansion of (log (/ a g)) in g
0.065 * [taylor]: Taking taylor expansion of (/ a g) in g
0.065 * [taylor]: Taking taylor expansion of a in g
0.065 * [taylor]: Taking taylor expansion of g in g
0.066 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (exp (* 1/3 (- (log a) (log g))))) in a
0.066 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a
0.066 * [taylor]: Taking taylor expansion of 0.5 in a
0.066 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log a) (log g)))) in a
0.066 * [taylor]: Taking taylor expansion of (* 1/3 (- (log a) (log g))) in a
0.067 * [taylor]: Taking taylor expansion of 1/3 in a
0.067 * [taylor]: Taking taylor expansion of (- (log a) (log g)) in a
0.067 * [taylor]: Taking taylor expansion of (log a) in a
0.067 * [taylor]: Taking taylor expansion of a in a
0.067 * [taylor]: Taking taylor expansion of (log g) in a
0.067 * [taylor]: Taking taylor expansion of g in a
0.071 * [taylor]: Taking taylor expansion of 0 in a
0.079 * [taylor]: Taking taylor expansion of 0 in a
0.091 * [taylor]: Taking taylor expansion of 0 in a
0.091 * [approximate]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ a g) 1/3)) in (g a) around 0
0.091 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ a g) 1/3)) in a
0.091 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a
0.091 * [taylor]: Taking taylor expansion of 0.5 in a
0.092 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in a
0.092 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in a
0.092 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in a
0.092 * [taylor]: Taking taylor expansion of 1/3 in a
0.092 * [taylor]: Taking taylor expansion of (log (/ a g)) in a
0.092 * [taylor]: Taking taylor expansion of (/ a g) in a
0.092 * [taylor]: Taking taylor expansion of a in a
0.092 * [taylor]: Taking taylor expansion of g in a
0.093 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ a g) 1/3)) in g
0.093 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g
0.093 * [taylor]: Taking taylor expansion of 0.5 in g
0.093 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in g
0.093 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in g
0.093 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in g
0.093 * [taylor]: Taking taylor expansion of 1/3 in g
0.093 * [taylor]: Taking taylor expansion of (log (/ a g)) in g
0.093 * [taylor]: Taking taylor expansion of (/ a g) in g
0.094 * [taylor]: Taking taylor expansion of a in g
0.094 * [taylor]: Taking taylor expansion of g in g
0.094 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ a g) 1/3)) in g
0.094 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g
0.094 * [taylor]: Taking taylor expansion of 0.5 in g
0.095 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in g
0.095 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in g
0.095 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in g
0.095 * [taylor]: Taking taylor expansion of 1/3 in g
0.095 * [taylor]: Taking taylor expansion of (log (/ a g)) in g
0.095 * [taylor]: Taking taylor expansion of (/ a g) in g
0.095 * [taylor]: Taking taylor expansion of a in g
0.095 * [taylor]: Taking taylor expansion of g in g
0.096 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (exp (* 1/3 (- (log a) (log g))))) in a
0.096 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a
0.096 * [taylor]: Taking taylor expansion of 0.5 in a
0.096 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log a) (log g)))) in a
0.096 * [taylor]: Taking taylor expansion of (* 1/3 (- (log a) (log g))) in a
0.096 * [taylor]: Taking taylor expansion of 1/3 in a
0.096 * [taylor]: Taking taylor expansion of (- (log a) (log g)) in a
0.097 * [taylor]: Taking taylor expansion of (log a) in a
0.097 * [taylor]: Taking taylor expansion of a in a
0.097 * [taylor]: Taking taylor expansion of (log g) in a
0.097 * [taylor]: Taking taylor expansion of g in a
0.106 * [taylor]: Taking taylor expansion of 0 in a
0.114 * [taylor]: Taking taylor expansion of 0 in a
0.126 * [taylor]: Taking taylor expansion of 0 in a
0.127 * * * [progress]: simplifying candidates
0.127 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (/ g (* 2.0 a))))
  (exp (cbrt (/ g (* 2.0 a))))
  (cbrt (* (cbrt (/ g (* 2.0 a))) (cbrt (/ g (* 2.0 a)))))
  (cbrt (cbrt (/ g (* 2.0 a))))
  (cbrt (sqrt (/ g (* 2.0 a))))
  (cbrt (sqrt (/ g (* 2.0 a))))
  (cbrt (/ (* (cbrt g) (cbrt g)) 2.0))
  (cbrt (/ (cbrt g) a))
  (cbrt (/ (sqrt g) 2.0))
  (cbrt (/ (sqrt g) a))
  (cbrt (/ 1 2.0))
  (cbrt (/ g a))
  (cbrt 1)
  (cbrt (/ g (* 2.0 a)))
  (cbrt g)
  (cbrt (/ 1 (* 2.0 a)))
  (cbrt g)
  (cbrt (* 2.0 a))
  (* (cbrt (cbrt (/ g (* 2.0 a)))) (cbrt (cbrt (/ g (* 2.0 a)))))
  (cbrt (cbrt (/ g (* 2.0 a))))
  (* (* (cbrt (/ g (* 2.0 a))) (cbrt (/ g (* 2.0 a)))) (cbrt (/ g (* 2.0 a))))
  (sqrt (cbrt (/ g (* 2.0 a))))
  (sqrt (cbrt (/ g (* 2.0 a))))
  (* (cbrt 0.5) (exp (* 1/3 (- (log g) (log a)))))
  (* (cbrt 0.5) (exp (* 1/3 (- (log (/ 1 a)) (log (/ 1 g))))))
  (* (cbrt 0.5) (exp (* 1/3 (- (log (/ -1 a)) (log (/ -1 g))))))
0.130 * * [simplify]: iteration  0 :  94  enodes  (cost  114 )
0.132 * * [simplify]: iteration  1 :  154  enodes  (cost  105 )
0.135 * * [simplify]: iteration  2 :  348  enodes  (cost  103 )
0.141 * * [simplify]: iteration  3 :  953  enodes  (cost  101 )
0.163 * * [simplify]: iteration  4 :  4346  enodes  (cost  97 )
0.277 * * [simplify]: iteration  5 :  5002  enodes  (cost  97 )
0.277 * [simplify]: Simplified to:
   (log (cbrt (/ g (* 2.0 a))))
  (exp (cbrt (/ g (* 2.0 a))))
  (cbrt (* (cbrt (/ g (* 2.0 a))) (cbrt (/ g (* 2.0 a)))))
  (cbrt (cbrt (/ g (* 2.0 a))))
  (cbrt (sqrt (/ g (* 2.0 a))))
  (cbrt (sqrt (/ g (* 2.0 a))))
  (cbrt (/ (* (cbrt g) (cbrt g)) 2.0))
  (cbrt (/ (cbrt g) a))
  (cbrt (/ (sqrt g) 2.0))
  (cbrt (/ (sqrt g) a))
  (cbrt (/ 1 2.0))
  (cbrt (/ g a))
  1
  (cbrt (/ g (* 2.0 a)))
  (pow g 1/3)
  (cbrt (/ 1 (* 2.0 a)))
  (pow g 1/3)
  (cbrt (* 2.0 a))
  (* (cbrt (cbrt (/ g (* 2.0 a)))) (cbrt (cbrt (/ g (* 2.0 a)))))
  (cbrt (cbrt (/ g (* 2.0 a))))
  (/ g (* 2.0 a))
  (sqrt (cbrt (/ g (* 2.0 a))))
  (sqrt (cbrt (/ g (* 2.0 a))))
  (* (* (cbrt 0.5) (pow g 1/3)) (pow (/ 1 a) 1/3))
  (* (* (cbrt 0.5) (pow g 1/3)) (pow (/ 1 a) 1/3))
  (* (* (cbrt 0.5) (pow g 1/3)) (pow (/ 1 a) 1/3))
0.278 * * * [progress]: adding candidates to table
0.316 * * [progress]: iteration 2 / 4
0.316 * * * [progress]: picking best candidate
0.342 * * * * [pick]: Picked  #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (cbrt (/ (cbrt g) a))))>
0.342 * * * [progress]: localizing error
0.352 * * * [progress]: generating rewritten candidates
0.352 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.354 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1)
0.355 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2)
0.355 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1)
0.358 * * * [progress]: generating series expansions
0.358 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.358 * [approximate]: Taking taylor expansion of (* (pow (/ 1 a) 1/3) (pow g 1/9)) in (g a) around 0
0.358 * [taylor]: Taking taylor expansion of (* (pow (/ 1 a) 1/3) (pow g 1/9)) in a
0.358 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
0.358 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
0.358 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
0.358 * [taylor]: Taking taylor expansion of 1/3 in a
0.358 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
0.358 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.358 * [taylor]: Taking taylor expansion of a in a
0.359 * [taylor]: Taking taylor expansion of (pow g 1/9) in a
0.359 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log g))) in a
0.359 * [taylor]: Taking taylor expansion of (* 1/9 (log g)) in a
0.359 * [taylor]: Taking taylor expansion of 1/9 in a
0.359 * [taylor]: Taking taylor expansion of (log g) in a
0.359 * [taylor]: Taking taylor expansion of g in a
0.359 * [taylor]: Taking taylor expansion of (* (pow (/ 1 a) 1/3) (pow g 1/9)) in g
0.359 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in g
0.359 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in g
0.360 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in g
0.360 * [taylor]: Taking taylor expansion of 1/3 in g
0.360 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in g
0.360 * [taylor]: Taking taylor expansion of (/ 1 a) in g
0.360 * [taylor]: Taking taylor expansion of a in g
0.360 * [taylor]: Taking taylor expansion of (pow g 1/9) in g
0.360 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log g))) in g
0.360 * [taylor]: Taking taylor expansion of (* 1/9 (log g)) in g
0.360 * [taylor]: Taking taylor expansion of 1/9 in g
0.360 * [taylor]: Taking taylor expansion of (log g) in g
0.360 * [taylor]: Taking taylor expansion of g in g
0.360 * [taylor]: Taking taylor expansion of (* (pow (/ 1 a) 1/3) (pow g 1/9)) in g
0.360 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in g
0.360 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in g
0.361 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in g
0.361 * [taylor]: Taking taylor expansion of 1/3 in g
0.361 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in g
0.361 * [taylor]: Taking taylor expansion of (/ 1 a) in g
0.361 * [taylor]: Taking taylor expansion of a in g
0.361 * [taylor]: Taking taylor expansion of (pow g 1/9) in g
0.361 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log g))) in g
0.361 * [taylor]: Taking taylor expansion of (* 1/9 (log g)) in g
0.361 * [taylor]: Taking taylor expansion of 1/9 in g
0.361 * [taylor]: Taking taylor expansion of (log g) in g
0.361 * [taylor]: Taking taylor expansion of g in g
0.362 * [taylor]: Taking taylor expansion of (* (pow (/ 1 a) 1/3) (pow g 1/9)) in a
0.362 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
0.362 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
0.362 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
0.362 * [taylor]: Taking taylor expansion of 1/3 in a
0.362 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
0.362 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.362 * [taylor]: Taking taylor expansion of a in a
0.363 * [taylor]: Taking taylor expansion of (pow g 1/9) in a
0.363 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log g))) in a
0.363 * [taylor]: Taking taylor expansion of (* 1/9 (log g)) in a
0.363 * [taylor]: Taking taylor expansion of 1/9 in a
0.363 * [taylor]: Taking taylor expansion of (log g) in a
0.363 * [taylor]: Taking taylor expansion of g in a
0.367 * [taylor]: Taking taylor expansion of 0 in a
0.376 * [taylor]: Taking taylor expansion of 0 in a
0.393 * [taylor]: Taking taylor expansion of 0 in a
0.393 * [approximate]: Taking taylor expansion of (* (pow a 1/3) (pow (/ 1 g) 1/9)) in (g a) around 0
0.393 * [taylor]: Taking taylor expansion of (* (pow a 1/3) (pow (/ 1 g) 1/9)) in a
0.393 * [taylor]: Taking taylor expansion of (pow a 1/3) in a
0.393 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a
0.393 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a
0.393 * [taylor]: Taking taylor expansion of 1/3 in a
0.393 * [taylor]: Taking taylor expansion of (log a) in a
0.393 * [taylor]: Taking taylor expansion of a in a
0.394 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/9) in a
0.394 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 g)))) in a
0.394 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 g))) in a
0.394 * [taylor]: Taking taylor expansion of 1/9 in a
0.394 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in a
0.394 * [taylor]: Taking taylor expansion of (/ 1 g) in a
0.394 * [taylor]: Taking taylor expansion of g in a
0.394 * [taylor]: Taking taylor expansion of (* (pow a 1/3) (pow (/ 1 g) 1/9)) in g
0.394 * [taylor]: Taking taylor expansion of (pow a 1/3) in g
0.394 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in g
0.394 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in g
0.394 * [taylor]: Taking taylor expansion of 1/3 in g
0.394 * [taylor]: Taking taylor expansion of (log a) in g
0.394 * [taylor]: Taking taylor expansion of a in g
0.394 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/9) in g
0.394 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 g)))) in g
0.394 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 g))) in g
0.394 * [taylor]: Taking taylor expansion of 1/9 in g
0.394 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
0.394 * [taylor]: Taking taylor expansion of (/ 1 g) in g
0.394 * [taylor]: Taking taylor expansion of g in g
0.395 * [taylor]: Taking taylor expansion of (* (pow a 1/3) (pow (/ 1 g) 1/9)) in g
0.395 * [taylor]: Taking taylor expansion of (pow a 1/3) in g
0.395 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in g
0.395 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in g
0.395 * [taylor]: Taking taylor expansion of 1/3 in g
0.395 * [taylor]: Taking taylor expansion of (log a) in g
0.395 * [taylor]: Taking taylor expansion of a in g
0.395 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/9) in g
0.395 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 g)))) in g
0.395 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 g))) in g
0.395 * [taylor]: Taking taylor expansion of 1/9 in g
0.395 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
0.395 * [taylor]: Taking taylor expansion of (/ 1 g) in g
0.395 * [taylor]: Taking taylor expansion of g in g
0.396 * [taylor]: Taking taylor expansion of (* (pow a 1/3) (pow (/ 1 g) 1/9)) in a
0.396 * [taylor]: Taking taylor expansion of (pow a 1/3) in a
0.396 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a
0.396 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a
0.396 * [taylor]: Taking taylor expansion of 1/3 in a
0.396 * [taylor]: Taking taylor expansion of (log a) in a
0.396 * [taylor]: Taking taylor expansion of a in a
0.397 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/9) in a
0.397 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 g)))) in a
0.397 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 g))) in a
0.397 * [taylor]: Taking taylor expansion of 1/9 in a
0.397 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in a
0.397 * [taylor]: Taking taylor expansion of (/ 1 g) in a
0.397 * [taylor]: Taking taylor expansion of g in a
0.401 * [taylor]: Taking taylor expansion of 0 in a
0.415 * [taylor]: Taking taylor expansion of 0 in a
0.430 * [taylor]: Taking taylor expansion of 0 in a
0.431 * [approximate]: Taking taylor expansion of (* (pow (* (pow (cbrt -1) 4) a) 1/3) (pow (/ 1 g) 1/9)) in (g a) around 0
0.431 * [taylor]: Taking taylor expansion of (* (pow (* (pow (cbrt -1) 4) a) 1/3) (pow (/ 1 g) 1/9)) in a
0.431 * [taylor]: Taking taylor expansion of (pow (* (pow (cbrt -1) 4) a) 1/3) in a
0.431 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (cbrt -1) 4) a)))) in a
0.431 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (cbrt -1) 4) a))) in a
0.431 * [taylor]: Taking taylor expansion of 1/3 in a
0.431 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 4) a)) in a
0.431 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 4) a) in a
0.431 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 4) in a
0.431 * [taylor]: Taking taylor expansion of (cbrt -1) in a
0.431 * [taylor]: Taking taylor expansion of -1 in a
0.432 * [taylor]: Taking taylor expansion of a in a
0.442 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/9) in a
0.442 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 g)))) in a
0.442 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 g))) in a
0.442 * [taylor]: Taking taylor expansion of 1/9 in a
0.442 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in a
0.442 * [taylor]: Taking taylor expansion of (/ 1 g) in a
0.442 * [taylor]: Taking taylor expansion of g in a
0.442 * [taylor]: Taking taylor expansion of (* (pow (* (pow (cbrt -1) 4) a) 1/3) (pow (/ 1 g) 1/9)) in g
0.442 * [taylor]: Taking taylor expansion of (pow (* (pow (cbrt -1) 4) a) 1/3) in g
0.442 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (cbrt -1) 4) a)))) in g
0.442 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (cbrt -1) 4) a))) in g
0.442 * [taylor]: Taking taylor expansion of 1/3 in g
0.442 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 4) a)) in g
0.442 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 4) a) in g
0.442 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 4) in g
0.442 * [taylor]: Taking taylor expansion of (cbrt -1) in g
0.442 * [taylor]: Taking taylor expansion of -1 in g
0.443 * [taylor]: Taking taylor expansion of a in g
0.448 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/9) in g
0.448 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 g)))) in g
0.448 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 g))) in g
0.448 * [taylor]: Taking taylor expansion of 1/9 in g
0.448 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
0.449 * [taylor]: Taking taylor expansion of (/ 1 g) in g
0.449 * [taylor]: Taking taylor expansion of g in g
0.449 * [taylor]: Taking taylor expansion of (* (pow (* (pow (cbrt -1) 4) a) 1/3) (pow (/ 1 g) 1/9)) in g
0.449 * [taylor]: Taking taylor expansion of (pow (* (pow (cbrt -1) 4) a) 1/3) in g
0.449 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (cbrt -1) 4) a)))) in g
0.449 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (cbrt -1) 4) a))) in g
0.449 * [taylor]: Taking taylor expansion of 1/3 in g
0.449 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 4) a)) in g
0.449 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 4) a) in g
0.449 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 4) in g
0.450 * [taylor]: Taking taylor expansion of (cbrt -1) in g
0.450 * [taylor]: Taking taylor expansion of -1 in g
0.450 * [taylor]: Taking taylor expansion of a in g
0.455 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/9) in g
0.456 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 g)))) in g
0.456 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 g))) in g
0.456 * [taylor]: Taking taylor expansion of 1/9 in g
0.456 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
0.456 * [taylor]: Taking taylor expansion of (/ 1 g) in g
0.456 * [taylor]: Taking taylor expansion of g in g
0.457 * [taylor]: Taking taylor expansion of (* (pow (* (pow (cbrt -1) 4) a) 1/3) (pow (/ 1 g) 1/9)) in a
0.457 * [taylor]: Taking taylor expansion of (pow (* (pow (cbrt -1) 4) a) 1/3) in a
0.457 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (cbrt -1) 4) a)))) in a
0.457 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (cbrt -1) 4) a))) in a
0.457 * [taylor]: Taking taylor expansion of 1/3 in a
0.457 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 4) a)) in a
0.457 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 4) a) in a
0.457 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 4) in a
0.457 * [taylor]: Taking taylor expansion of (cbrt -1) in a
0.458 * [taylor]: Taking taylor expansion of -1 in a
0.458 * [taylor]: Taking taylor expansion of a in a
0.469 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/9) in a
0.469 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 g)))) in a
0.469 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 g))) in a
0.469 * [taylor]: Taking taylor expansion of 1/9 in a
0.469 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in a
0.469 * [taylor]: Taking taylor expansion of (/ 1 g) in a
0.469 * [taylor]: Taking taylor expansion of g in a
0.479 * [taylor]: Taking taylor expansion of 0 in a
0.508 * [taylor]: Taking taylor expansion of 0 in a
0.537 * [taylor]: Taking taylor expansion of 0 in a
0.539 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1)
0.539 * [approximate]: Taking taylor expansion of (pow g 1/3) in (g) around 0
0.539 * [taylor]: Taking taylor expansion of (pow g 1/3) in g
0.539 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log g))) in g
0.539 * [taylor]: Taking taylor expansion of (* 1/3 (log g)) in g
0.539 * [taylor]: Taking taylor expansion of 1/3 in g
0.539 * [taylor]: Taking taylor expansion of (log g) in g
0.539 * [taylor]: Taking taylor expansion of g in g
0.540 * [taylor]: Taking taylor expansion of (pow g 1/3) in g
0.540 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log g))) in g
0.540 * [taylor]: Taking taylor expansion of (* 1/3 (log g)) in g
0.540 * [taylor]: Taking taylor expansion of 1/3 in g
0.540 * [taylor]: Taking taylor expansion of (log g) in g
0.540 * [taylor]: Taking taylor expansion of g in g
0.594 * [approximate]: Taking taylor expansion of (pow (/ 1 g) 1/3) in (g) around 0
0.594 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g
0.594 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g
0.594 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g
0.594 * [taylor]: Taking taylor expansion of 1/3 in g
0.594 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
0.594 * [taylor]: Taking taylor expansion of (/ 1 g) in g
0.594 * [taylor]: Taking taylor expansion of g in g
0.595 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g
0.595 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g
0.595 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g
0.595 * [taylor]: Taking taylor expansion of 1/3 in g
0.595 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
0.595 * [taylor]: Taking taylor expansion of (/ 1 g) in g
0.595 * [taylor]: Taking taylor expansion of g in g
0.646 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in (g) around 0
0.646 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in g
0.646 * [taylor]: Taking taylor expansion of (cbrt -1) in g
0.646 * [taylor]: Taking taylor expansion of -1 in g
0.647 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g
0.647 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g
0.647 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g
0.647 * [taylor]: Taking taylor expansion of 1/3 in g
0.647 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
0.647 * [taylor]: Taking taylor expansion of (/ 1 g) in g
0.647 * [taylor]: Taking taylor expansion of g in g
0.648 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in g
0.648 * [taylor]: Taking taylor expansion of (cbrt -1) in g
0.648 * [taylor]: Taking taylor expansion of -1 in g
0.649 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g
0.649 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g
0.649 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g
0.649 * [taylor]: Taking taylor expansion of 1/3 in g
0.649 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
0.649 * [taylor]: Taking taylor expansion of (/ 1 g) in g
0.649 * [taylor]: Taking taylor expansion of g in g
0.719 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2)
0.719 * [approximate]: Taking taylor expansion of (pow g 1/3) in (g) around 0
0.719 * [taylor]: Taking taylor expansion of (pow g 1/3) in g
0.719 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log g))) in g
0.719 * [taylor]: Taking taylor expansion of (* 1/3 (log g)) in g
0.719 * [taylor]: Taking taylor expansion of 1/3 in g
0.719 * [taylor]: Taking taylor expansion of (log g) in g
0.719 * [taylor]: Taking taylor expansion of g in g
0.719 * [taylor]: Taking taylor expansion of (pow g 1/3) in g
0.719 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log g))) in g
0.720 * [taylor]: Taking taylor expansion of (* 1/3 (log g)) in g
0.720 * [taylor]: Taking taylor expansion of 1/3 in g
0.720 * [taylor]: Taking taylor expansion of (log g) in g
0.720 * [taylor]: Taking taylor expansion of g in g
0.775 * [approximate]: Taking taylor expansion of (pow (/ 1 g) 1/3) in (g) around 0
0.775 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g
0.775 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g
0.775 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g
0.775 * [taylor]: Taking taylor expansion of 1/3 in g
0.775 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
0.775 * [taylor]: Taking taylor expansion of (/ 1 g) in g
0.775 * [taylor]: Taking taylor expansion of g in g
0.776 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g
0.776 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g
0.776 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g
0.776 * [taylor]: Taking taylor expansion of 1/3 in g
0.776 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
0.776 * [taylor]: Taking taylor expansion of (/ 1 g) in g
0.776 * [taylor]: Taking taylor expansion of g in g
0.835 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in (g) around 0
0.835 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in g
0.835 * [taylor]: Taking taylor expansion of (cbrt -1) in g
0.835 * [taylor]: Taking taylor expansion of -1 in g
0.836 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g
0.836 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g
0.836 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g
0.836 * [taylor]: Taking taylor expansion of 1/3 in g
0.836 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
0.836 * [taylor]: Taking taylor expansion of (/ 1 g) in g
0.836 * [taylor]: Taking taylor expansion of g in g
0.836 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in g
0.837 * [taylor]: Taking taylor expansion of (cbrt -1) in g
0.837 * [taylor]: Taking taylor expansion of -1 in g
0.837 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g
0.837 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g
0.837 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g
0.837 * [taylor]: Taking taylor expansion of 1/3 in g
0.837 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
0.837 * [taylor]: Taking taylor expansion of (/ 1 g) in g
0.837 * [taylor]: Taking taylor expansion of g in g
0.907 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1)
0.907 * [approximate]: Taking taylor expansion of (pow g 1/3) in (g) around 0
0.907 * [taylor]: Taking taylor expansion of (pow g 1/3) in g
0.907 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log g))) in g
0.907 * [taylor]: Taking taylor expansion of (* 1/3 (log g)) in g
0.907 * [taylor]: Taking taylor expansion of 1/3 in g
0.907 * [taylor]: Taking taylor expansion of (log g) in g
0.907 * [taylor]: Taking taylor expansion of g in g
0.908 * [taylor]: Taking taylor expansion of (pow g 1/3) in g
0.908 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log g))) in g
0.908 * [taylor]: Taking taylor expansion of (* 1/3 (log g)) in g
0.908 * [taylor]: Taking taylor expansion of 1/3 in g
0.908 * [taylor]: Taking taylor expansion of (log g) in g
0.908 * [taylor]: Taking taylor expansion of g in g
0.955 * [approximate]: Taking taylor expansion of (pow (/ 1 g) 1/3) in (g) around 0
0.955 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g
0.955 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g
0.955 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g
0.955 * [taylor]: Taking taylor expansion of 1/3 in g
0.955 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
0.955 * [taylor]: Taking taylor expansion of (/ 1 g) in g
0.955 * [taylor]: Taking taylor expansion of g in g
0.956 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g
0.956 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g
0.956 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g
0.956 * [taylor]: Taking taylor expansion of 1/3 in g
0.956 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
0.956 * [taylor]: Taking taylor expansion of (/ 1 g) in g
0.956 * [taylor]: Taking taylor expansion of g in g
1.015 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in (g) around 0
1.015 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in g
1.015 * [taylor]: Taking taylor expansion of (cbrt -1) in g
1.015 * [taylor]: Taking taylor expansion of -1 in g
1.016 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g
1.016 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g
1.016 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g
1.016 * [taylor]: Taking taylor expansion of 1/3 in g
1.016 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
1.016 * [taylor]: Taking taylor expansion of (/ 1 g) in g
1.016 * [taylor]: Taking taylor expansion of g in g
1.017 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in g
1.017 * [taylor]: Taking taylor expansion of (cbrt -1) in g
1.017 * [taylor]: Taking taylor expansion of -1 in g
1.018 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g
1.018 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g
1.018 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g
1.018 * [taylor]: Taking taylor expansion of 1/3 in g
1.018 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
1.018 * [taylor]: Taking taylor expansion of (/ 1 g) in g
1.018 * [taylor]: Taking taylor expansion of g in g
1.086 * * * [progress]: simplifying candidates
1.088 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (/ (cbrt g) a)))
  (exp (cbrt (/ (cbrt g) a)))
  (cbrt (* (cbrt (/ (cbrt g) a)) (cbrt (/ (cbrt g) a))))
  (cbrt (cbrt (/ (cbrt g) a)))
  (cbrt (sqrt (/ (cbrt g) a)))
  (cbrt (sqrt (/ (cbrt g) a)))
  (cbrt (/ (cbrt (* (cbrt g) (cbrt g))) (* (cbrt a) (cbrt a))))
  (cbrt (/ (cbrt (cbrt g)) (cbrt a)))
  (cbrt (/ (cbrt (* (cbrt g) (cbrt g))) (sqrt a)))
  (cbrt (/ (cbrt (cbrt g)) (sqrt a)))
  (cbrt (/ (cbrt (* (cbrt g) (cbrt g))) 1))
  (cbrt (/ (cbrt (cbrt g)) a))
  (cbrt (/ (cbrt (sqrt g)) (* (cbrt a) (cbrt a))))
  (cbrt (/ (cbrt (sqrt g)) (cbrt a)))
  (cbrt (/ (cbrt (sqrt g)) (sqrt a)))
  (cbrt (/ (cbrt (sqrt g)) (sqrt a)))
  (cbrt (/ (cbrt (sqrt g)) 1))
  (cbrt (/ (cbrt (sqrt g)) a))
  (cbrt (/ (cbrt 1) (* (cbrt a) (cbrt a))))
  (cbrt (/ (cbrt g) (cbrt a)))
  (cbrt (/ (cbrt 1) (sqrt a)))
  (cbrt (/ (cbrt g) (sqrt a)))
  (cbrt (/ (cbrt 1) 1))
  (cbrt (/ (cbrt g) a))
  (cbrt (/ (* (cbrt (cbrt g)) (cbrt (cbrt g))) (* (cbrt a) (cbrt a))))
  (cbrt (/ (cbrt (cbrt g)) (cbrt a)))
  (cbrt (/ (* (cbrt (cbrt g)) (cbrt (cbrt g))) (sqrt a)))
  (cbrt (/ (cbrt (cbrt g)) (sqrt a)))
  (cbrt (/ (* (cbrt (cbrt g)) (cbrt (cbrt g))) 1))
  (cbrt (/ (cbrt (cbrt g)) a))
  (cbrt (/ (sqrt (cbrt g)) (* (cbrt a) (cbrt a))))
  (cbrt (/ (sqrt (cbrt g)) (cbrt a)))
  (cbrt (/ (sqrt (cbrt g)) (sqrt a)))
  (cbrt (/ (sqrt (cbrt g)) (sqrt a)))
  (cbrt (/ (sqrt (cbrt g)) 1))
  (cbrt (/ (sqrt (cbrt g)) a))
  (cbrt (/ 1 (* (cbrt a) (cbrt a))))
  (cbrt (/ (cbrt g) (cbrt a)))
  (cbrt (/ 1 (sqrt a)))
  (cbrt (/ (cbrt g) (sqrt a)))
  (cbrt (/ 1 1))
  (cbrt (/ (cbrt g) a))
  (cbrt 1)
  (cbrt (/ (cbrt g) a))
  (cbrt (cbrt g))
  (cbrt (/ 1 a))
  (cbrt (cbrt g))
  (cbrt a)
  (* (cbrt (cbrt (/ (cbrt g) a))) (cbrt (cbrt (/ (cbrt g) a))))
  (cbrt (cbrt (/ (cbrt g) a)))
  (* (* (cbrt (/ (cbrt g) a)) (cbrt (/ (cbrt g) a))) (cbrt (/ (cbrt g) a)))
  (sqrt (cbrt (/ (cbrt g) a)))
  (sqrt (cbrt (/ (cbrt g) a)))
  (log (cbrt g))
  (exp (cbrt g))
  (cbrt (* (cbrt g) (cbrt g)))
  (cbrt (cbrt g))
  (cbrt (sqrt g))
  (cbrt (sqrt g))
  (cbrt 1)
  (cbrt g)
  (* (cbrt (cbrt g)) (cbrt (cbrt g)))
  (cbrt (cbrt g))
  (* (* (cbrt g) (cbrt g)) (cbrt g))
  (sqrt (cbrt g))
  (sqrt (cbrt g))
  (log (cbrt g))
  (exp (cbrt g))
  (cbrt (* (cbrt g) (cbrt g)))
  (cbrt (cbrt g))
  (cbrt (sqrt g))
  (cbrt (sqrt g))
  (cbrt 1)
  (cbrt g)
  (* (cbrt (cbrt g)) (cbrt (cbrt g)))
  (cbrt (cbrt g))
  (* (* (cbrt g) (cbrt g)) (cbrt g))
  (sqrt (cbrt g))
  (sqrt (cbrt g))
  (log (cbrt g))
  (exp (cbrt g))
  (cbrt (* (cbrt g) (cbrt g)))
  (cbrt (cbrt g))
  (cbrt (sqrt g))
  (cbrt (sqrt g))
  (cbrt 1)
  (cbrt g)
  (* (cbrt (cbrt g)) (cbrt (cbrt g)))
  (cbrt (cbrt g))
  (* (* (cbrt g) (cbrt g)) (cbrt g))
  (sqrt (cbrt g))
  (sqrt (cbrt g))
  (* (pow (/ 1 a) 1/3) (pow g 1/9))
  (* (pow (/ 1 a) 1/3) (pow g 1/9))
  (* (pow (* -1 g) 1/9) (exp (* 1/3 (+ (log (pow (cbrt -1) 4)) (log (/ -1 a))))))
  (pow g 1/3)
  (pow (/ 1 g) -1/3)
  (* (pow (* -1 g) 1/3) (cbrt -1))
  (pow g 1/3)
  (pow (/ 1 g) -1/3)
  (* (pow (* -1 g) 1/3) (cbrt -1))
  (pow g 1/3)
  (pow (/ 1 g) -1/3)
  (* (pow (* -1 g) 1/3) (cbrt -1))
1.092 * * [simplify]: iteration  0 :  171  enodes  (cost  386 )
1.095 * * [simplify]: iteration  1 :  383  enodes  (cost  370 )
1.102 * * [simplify]: iteration  2 :  1196  enodes  (cost  360 )
1.128 * * [simplify]: iteration  3 :  5001  enodes  (cost  349 )
1.130 * [simplify]: Simplified to:
   (log (cbrt (/ (cbrt g) a)))
  (exp (cbrt (/ (cbrt g) a)))
  (cbrt (* (cbrt (/ (cbrt g) a)) (cbrt (/ (cbrt g) a))))
  (cbrt (cbrt (/ (cbrt g) a)))
  (cbrt (sqrt (/ (cbrt g) a)))
  (cbrt (sqrt (/ (cbrt g) a)))
  (cbrt (/ (cbrt (* (cbrt g) (cbrt g))) (* (cbrt a) (cbrt a))))
  (cbrt (/ (cbrt (cbrt g)) (cbrt a)))
  (cbrt (/ (cbrt (* (cbrt g) (cbrt g))) (sqrt a)))
  (cbrt (/ (cbrt (cbrt g)) (sqrt a)))
  (cbrt (/ (cbrt (* (cbrt g) (cbrt g))) 1))
  (cbrt (/ (cbrt (cbrt g)) a))
  (cbrt (/ (cbrt (sqrt g)) (* (cbrt a) (cbrt a))))
  (cbrt (/ (cbrt (sqrt g)) (cbrt a)))
  (cbrt (/ (cbrt (sqrt g)) (sqrt a)))
  (cbrt (/ (cbrt (sqrt g)) (sqrt a)))
  (cbrt (/ (cbrt (sqrt g)) 1))
  (cbrt (/ (cbrt (sqrt g)) a))
  (cbrt (/ 1 (* (cbrt a) (cbrt a))))
  (cbrt (/ (cbrt g) (cbrt a)))
  (cbrt (/ 1 (sqrt a)))
  (cbrt (/ (cbrt g) (sqrt a)))
  1
  (cbrt (/ (cbrt g) a))
  (cbrt (/ (* (cbrt (cbrt g)) (cbrt (cbrt g))) (* (cbrt a) (cbrt a))))
  (cbrt (/ (cbrt (cbrt g)) (cbrt a)))
  (cbrt (/ (* (cbrt (cbrt g)) (cbrt (cbrt g))) (sqrt a)))
  (cbrt (/ (cbrt (cbrt g)) (sqrt a)))
  (cbrt (/ (* (cbrt (cbrt g)) (cbrt (cbrt g))) 1))
  (cbrt (/ (cbrt (cbrt g)) a))
  (cbrt (/ (sqrt (cbrt g)) (* (cbrt a) (cbrt a))))
  (cbrt (/ (sqrt (cbrt g)) (cbrt a)))
  (cbrt (/ (sqrt (cbrt g)) (sqrt a)))
  (cbrt (/ (sqrt (cbrt g)) (sqrt a)))
  (cbrt (/ (sqrt (cbrt g)) 1))
  (cbrt (/ (sqrt (cbrt g)) a))
  (cbrt (/ 1 (* (cbrt a) (cbrt a))))
  (cbrt (/ (cbrt g) (cbrt a)))
  (cbrt (/ 1 (sqrt a)))
  (cbrt (/ (cbrt g) (sqrt a)))
  1
  (cbrt (/ (cbrt g) a))
  1
  (cbrt (/ (cbrt g) a))
  (cbrt (cbrt g))
  (pow (/ 1 a) 1/3)
  (cbrt (cbrt g))
  (cbrt a)
  (* (cbrt (cbrt (/ (cbrt g) a))) (cbrt (cbrt (/ (cbrt g) a))))
  (cbrt (cbrt (/ (cbrt g) a)))
  (/ (cbrt g) a)
  (sqrt (cbrt (/ (cbrt g) a)))
  (sqrt (cbrt (/ (cbrt g) a)))
  (log (cbrt g))
  (exp (cbrt g))
  (cbrt (* (cbrt g) (cbrt g)))
  (cbrt (cbrt g))
  (cbrt (sqrt g))
  (cbrt (sqrt g))
  1
  (pow g 1/3)
  (* (cbrt (cbrt g)) (cbrt (cbrt g)))
  (cbrt (cbrt g))
  g
  (sqrt (cbrt g))
  (sqrt (cbrt g))
  (log (cbrt g))
  (exp (cbrt g))
  (cbrt (* (cbrt g) (cbrt g)))
  (cbrt (cbrt g))
  (cbrt (sqrt g))
  (cbrt (sqrt g))
  1
  (pow g 1/3)
  (* (cbrt (cbrt g)) (cbrt (cbrt g)))
  (cbrt (cbrt g))
  g
  (sqrt (cbrt g))
  (sqrt (cbrt g))
  (log (cbrt g))
  (exp (cbrt g))
  (cbrt (* (cbrt g) (cbrt g)))
  (cbrt (cbrt g))
  (cbrt (sqrt g))
  (cbrt (sqrt g))
  1
  (pow g 1/3)
  (* (cbrt (cbrt g)) (cbrt (cbrt g)))
  (cbrt (cbrt g))
  g
  (sqrt (cbrt g))
  (sqrt (cbrt g))
  (* (pow (/ 1 a) 1/3) (pow g 1/9))
  (* (pow (/ 1 a) 1/3) (pow g 1/9))
  (* (* (pow (* -1 g) 1/9) (pow (/ -1 a) 1/3)) (pow (cbrt -1) 4/3))
  (pow g 1/3)
  (pow (/ 1 g) -1/3)
  (* (pow (* -1 g) 1/3) (cbrt -1))
  (pow g 1/3)
  (pow (/ 1 g) -1/3)
  (* (pow (* -1 g) 1/3) (cbrt -1))
  (pow g 1/3)
  (pow (/ 1 g) -1/3)
  (* (pow (* -1 g) 1/3) (cbrt -1))
1.131 * * * [progress]: adding candidates to table
1.359 * * [progress]: iteration 3 / 4
1.359 * * * [progress]: picking best candidate
1.414 * * * * [pick]: Picked  #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (/ (cbrt (cbrt g)) (cbrt a))))>
1.414 * * * [progress]: localizing error
1.429 * * * [progress]: generating rewritten candidates
1.429 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
1.430 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
1.430 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
1.431 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2)
1.432 * * * [progress]: generating series expansions
1.432 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
1.432 * [approximate]: Taking taylor expansion of (pow g 1/9) in (g) around 0
1.432 * [taylor]: Taking taylor expansion of (pow g 1/9) in g
1.432 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log g))) in g
1.432 * [taylor]: Taking taylor expansion of (* 1/9 (log g)) in g
1.432 * [taylor]: Taking taylor expansion of 1/9 in g
1.432 * [taylor]: Taking taylor expansion of (log g) in g
1.432 * [taylor]: Taking taylor expansion of g in g
1.433 * [taylor]: Taking taylor expansion of (pow g 1/9) in g
1.433 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log g))) in g
1.433 * [taylor]: Taking taylor expansion of (* 1/9 (log g)) in g
1.433 * [taylor]: Taking taylor expansion of 1/9 in g
1.433 * [taylor]: Taking taylor expansion of (log g) in g
1.433 * [taylor]: Taking taylor expansion of g in g
1.481 * [approximate]: Taking taylor expansion of (pow (/ 1 g) 1/9) in (g) around 0
1.481 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/9) in g
1.481 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 g)))) in g
1.481 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 g))) in g
1.481 * [taylor]: Taking taylor expansion of 1/9 in g
1.481 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
1.481 * [taylor]: Taking taylor expansion of (/ 1 g) in g
1.482 * [taylor]: Taking taylor expansion of g in g
1.482 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/9) in g
1.482 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 g)))) in g
1.482 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 g))) in g
1.482 * [taylor]: Taking taylor expansion of 1/9 in g
1.483 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
1.483 * [taylor]: Taking taylor expansion of (/ 1 g) in g
1.483 * [taylor]: Taking taylor expansion of g in g
1.541 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 g) 1/9)) in (g) around 0
1.541 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 g) 1/9)) in g
1.541 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in g
1.541 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in g
1.541 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in g
1.541 * [taylor]: Taking taylor expansion of 1/3 in g
1.541 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in g
1.541 * [taylor]: Taking taylor expansion of (cbrt -1) in g
1.541 * [taylor]: Taking taylor expansion of -1 in g
1.545 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/9) in g
1.545 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 g)))) in g
1.545 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 g))) in g
1.545 * [taylor]: Taking taylor expansion of 1/9 in g
1.545 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
1.545 * [taylor]: Taking taylor expansion of (/ 1 g) in g
1.545 * [taylor]: Taking taylor expansion of g in g
1.546 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 g) 1/9)) in g
1.546 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in g
1.546 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in g
1.546 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in g
1.546 * [taylor]: Taking taylor expansion of 1/3 in g
1.546 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in g
1.546 * [taylor]: Taking taylor expansion of (cbrt -1) in g
1.546 * [taylor]: Taking taylor expansion of -1 in g
1.549 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/9) in g
1.549 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 g)))) in g
1.549 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 g))) in g
1.549 * [taylor]: Taking taylor expansion of 1/9 in g
1.549 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
1.549 * [taylor]: Taking taylor expansion of (/ 1 g) in g
1.549 * [taylor]: Taking taylor expansion of g in g
1.680 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
1.680 * [approximate]: Taking taylor expansion of (pow a 1/3) in (a) around 0
1.680 * [taylor]: Taking taylor expansion of (pow a 1/3) in a
1.680 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a
1.680 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a
1.680 * [taylor]: Taking taylor expansion of 1/3 in a
1.680 * [taylor]: Taking taylor expansion of (log a) in a
1.680 * [taylor]: Taking taylor expansion of a in a
1.681 * [taylor]: Taking taylor expansion of (pow a 1/3) in a
1.681 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a
1.681 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a
1.681 * [taylor]: Taking taylor expansion of 1/3 in a
1.681 * [taylor]: Taking taylor expansion of (log a) in a
1.681 * [taylor]: Taking taylor expansion of a in a
1.730 * [approximate]: Taking taylor expansion of (pow (/ 1 a) 1/3) in (a) around 0
1.730 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
1.730 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
1.730 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
1.730 * [taylor]: Taking taylor expansion of 1/3 in a
1.730 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
1.730 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.730 * [taylor]: Taking taylor expansion of a in a
1.731 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
1.731 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
1.731 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
1.731 * [taylor]: Taking taylor expansion of 1/3 in a
1.731 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
1.731 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.731 * [taylor]: Taking taylor expansion of a in a
1.791 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in (a) around 0
1.791 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in a
1.791 * [taylor]: Taking taylor expansion of (cbrt -1) in a
1.791 * [taylor]: Taking taylor expansion of -1 in a
1.791 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
1.792 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
1.792 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
1.792 * [taylor]: Taking taylor expansion of 1/3 in a
1.792 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
1.792 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.792 * [taylor]: Taking taylor expansion of a in a
1.792 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in a
1.793 * [taylor]: Taking taylor expansion of (cbrt -1) in a
1.793 * [taylor]: Taking taylor expansion of -1 in a
1.793 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
1.793 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
1.793 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
1.793 * [taylor]: Taking taylor expansion of 1/3 in a
1.793 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
1.793 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.793 * [taylor]: Taking taylor expansion of a in a
1.865 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
1.865 * [approximate]: Taking taylor expansion of (pow g 1/3) in (g) around 0
1.865 * [taylor]: Taking taylor expansion of (pow g 1/3) in g
1.865 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log g))) in g
1.865 * [taylor]: Taking taylor expansion of (* 1/3 (log g)) in g
1.865 * [taylor]: Taking taylor expansion of 1/3 in g
1.865 * [taylor]: Taking taylor expansion of (log g) in g
1.865 * [taylor]: Taking taylor expansion of g in g
1.866 * [taylor]: Taking taylor expansion of (pow g 1/3) in g
1.866 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log g))) in g
1.866 * [taylor]: Taking taylor expansion of (* 1/3 (log g)) in g
1.866 * [taylor]: Taking taylor expansion of 1/3 in g
1.866 * [taylor]: Taking taylor expansion of (log g) in g
1.866 * [taylor]: Taking taylor expansion of g in g
1.922 * [approximate]: Taking taylor expansion of (pow (/ 1 g) 1/3) in (g) around 0
1.922 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g
1.922 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g
1.922 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g
1.922 * [taylor]: Taking taylor expansion of 1/3 in g
1.922 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
1.922 * [taylor]: Taking taylor expansion of (/ 1 g) in g
1.922 * [taylor]: Taking taylor expansion of g in g
1.923 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g
1.923 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g
1.923 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g
1.923 * [taylor]: Taking taylor expansion of 1/3 in g
1.923 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
1.923 * [taylor]: Taking taylor expansion of (/ 1 g) in g
1.923 * [taylor]: Taking taylor expansion of g in g
1.976 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in (g) around 0
1.976 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in g
1.976 * [taylor]: Taking taylor expansion of (cbrt -1) in g
1.976 * [taylor]: Taking taylor expansion of -1 in g
1.977 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g
1.977 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g
1.977 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g
1.977 * [taylor]: Taking taylor expansion of 1/3 in g
1.977 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
1.977 * [taylor]: Taking taylor expansion of (/ 1 g) in g
1.977 * [taylor]: Taking taylor expansion of g in g
1.978 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in g
1.978 * [taylor]: Taking taylor expansion of (cbrt -1) in g
1.978 * [taylor]: Taking taylor expansion of -1 in g
1.978 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g
1.978 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g
1.978 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g
1.978 * [taylor]: Taking taylor expansion of 1/3 in g
1.978 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
1.978 * [taylor]: Taking taylor expansion of (/ 1 g) in g
1.978 * [taylor]: Taking taylor expansion of g in g
2.048 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2)
2.048 * [approximate]: Taking taylor expansion of (pow g 1/3) in (g) around 0
2.048 * [taylor]: Taking taylor expansion of (pow g 1/3) in g
2.048 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log g))) in g
2.048 * [taylor]: Taking taylor expansion of (* 1/3 (log g)) in g
2.048 * [taylor]: Taking taylor expansion of 1/3 in g
2.048 * [taylor]: Taking taylor expansion of (log g) in g
2.048 * [taylor]: Taking taylor expansion of g in g
2.049 * [taylor]: Taking taylor expansion of (pow g 1/3) in g
2.049 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log g))) in g
2.049 * [taylor]: Taking taylor expansion of (* 1/3 (log g)) in g
2.049 * [taylor]: Taking taylor expansion of 1/3 in g
2.049 * [taylor]: Taking taylor expansion of (log g) in g
2.049 * [taylor]: Taking taylor expansion of g in g
2.102 * [approximate]: Taking taylor expansion of (pow (/ 1 g) 1/3) in (g) around 0
2.102 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g
2.102 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g
2.102 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g
2.102 * [taylor]: Taking taylor expansion of 1/3 in g
2.102 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
2.102 * [taylor]: Taking taylor expansion of (/ 1 g) in g
2.102 * [taylor]: Taking taylor expansion of g in g
2.103 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g
2.103 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g
2.103 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g
2.103 * [taylor]: Taking taylor expansion of 1/3 in g
2.103 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
2.103 * [taylor]: Taking taylor expansion of (/ 1 g) in g
2.103 * [taylor]: Taking taylor expansion of g in g
2.160 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in (g) around 0
2.160 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in g
2.160 * [taylor]: Taking taylor expansion of (cbrt -1) in g
2.160 * [taylor]: Taking taylor expansion of -1 in g
2.161 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g
2.161 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g
2.161 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g
2.161 * [taylor]: Taking taylor expansion of 1/3 in g
2.161 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
2.161 * [taylor]: Taking taylor expansion of (/ 1 g) in g
2.161 * [taylor]: Taking taylor expansion of g in g
2.162 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in g
2.162 * [taylor]: Taking taylor expansion of (cbrt -1) in g
2.162 * [taylor]: Taking taylor expansion of -1 in g
2.163 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g
2.163 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g
2.163 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g
2.163 * [taylor]: Taking taylor expansion of 1/3 in g
2.163 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
2.163 * [taylor]: Taking taylor expansion of (/ 1 g) in g
2.163 * [taylor]: Taking taylor expansion of g in g
2.233 * * * [progress]: simplifying candidates
2.234 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (cbrt g)))
  (exp (cbrt (cbrt g)))
  (cbrt (cbrt (* (cbrt g) (cbrt g))))
  (cbrt (cbrt (cbrt g)))
  (cbrt (cbrt (sqrt g)))
  (cbrt (cbrt (sqrt g)))
  (cbrt (cbrt 1))
  (cbrt (cbrt g))
  (cbrt (* (cbrt (cbrt g)) (cbrt (cbrt g))))
  (cbrt (cbrt (cbrt g)))
  (cbrt (sqrt (cbrt g)))
  (cbrt (sqrt (cbrt g)))
  (cbrt 1)
  (cbrt (cbrt g))
  (* (cbrt (cbrt (cbrt g))) (cbrt (cbrt (cbrt g))))
  (cbrt (cbrt (cbrt g)))
  (* (* (cbrt (cbrt g)) (cbrt (cbrt g))) (cbrt (cbrt g)))
  (sqrt (cbrt (cbrt g)))
  (sqrt (cbrt (cbrt g)))
  (log (cbrt a))
  (exp (cbrt a))
  (cbrt (* (cbrt a) (cbrt a)))
  (cbrt (cbrt a))
  (cbrt (sqrt a))
  (cbrt (sqrt a))
  (cbrt 1)
  (cbrt a)
  (* (cbrt (cbrt a)) (cbrt (cbrt a)))
  (cbrt (cbrt a))
  (* (* (cbrt a) (cbrt a)) (cbrt a))
  (sqrt (cbrt a))
  (sqrt (cbrt a))
  (log (cbrt g))
  (exp (cbrt g))
  (cbrt (* (cbrt g) (cbrt g)))
  (cbrt (cbrt g))
  (cbrt (sqrt g))
  (cbrt (sqrt g))
  (cbrt 1)
  (cbrt g)
  (* (cbrt (cbrt g)) (cbrt (cbrt g)))
  (cbrt (cbrt g))
  (* (* (cbrt g) (cbrt g)) (cbrt g))
  (sqrt (cbrt g))
  (sqrt (cbrt g))
  (log (cbrt g))
  (exp (cbrt g))
  (cbrt (* (cbrt g) (cbrt g)))
  (cbrt (cbrt g))
  (cbrt (sqrt g))
  (cbrt (sqrt g))
  (cbrt 1)
  (cbrt g)
  (* (cbrt (cbrt g)) (cbrt (cbrt g)))
  (cbrt (cbrt g))
  (* (* (cbrt g) (cbrt g)) (cbrt g))
  (sqrt (cbrt g))
  (sqrt (cbrt g))
  (pow g 1/9)
  (pow (/ 1 g) -1/9)
  (* (pow (* -1 g) 1/9) (pow (cbrt -1) 1/3))
  (pow a 1/3)
  (pow (/ 1 a) -1/3)
  (* (pow (* -1 a) 1/3) (cbrt -1))
  (pow g 1/3)
  (pow (/ 1 g) -1/3)
  (* (pow (* -1 g) 1/3) (cbrt -1))
  (pow g 1/3)
  (pow (/ 1 g) -1/3)
  (* (pow (* -1 g) 1/3) (cbrt -1))
2.238 * * [simplify]: iteration  0 :  100  enodes  (cost  191 )
2.240 * * [simplify]: iteration  1 :  205  enodes  (cost  177 )
2.244 * * [simplify]: iteration  2 :  510  enodes  (cost  169 )
2.255 * * [simplify]: iteration  3 :  1958  enodes  (cost  169 )
2.293 * * [simplify]: iteration  4 :  5002  enodes  (cost  169 )
2.295 * [simplify]: Simplified to:
   (log (cbrt (cbrt g)))
  (exp (cbrt (cbrt g)))
  (cbrt (cbrt (* (cbrt g) (cbrt g))))
  (cbrt (cbrt (cbrt g)))
  (cbrt (cbrt (sqrt g)))
  (cbrt (cbrt (sqrt g)))
  (cbrt (cbrt 1))
  (cbrt (cbrt g))
  (cbrt (* (cbrt (cbrt g)) (cbrt (cbrt g))))
  (cbrt (cbrt (cbrt g)))
  (cbrt (sqrt (cbrt g)))
  (cbrt (sqrt (cbrt g)))
  (cbrt 1)
  (cbrt (cbrt g))
  (* (cbrt (cbrt (cbrt g))) (cbrt (cbrt (cbrt g))))
  (cbrt (cbrt (cbrt g)))
  (pow g 1/3)
  (sqrt (cbrt (cbrt g)))
  (sqrt (cbrt (cbrt g)))
  (log (cbrt a))
  (exp (cbrt a))
  (cbrt (* (cbrt a) (cbrt a)))
  (cbrt (cbrt a))
  (cbrt (sqrt a))
  (cbrt (sqrt a))
  (cbrt 1)
  (pow a 1/3)
  (* (cbrt (cbrt a)) (cbrt (cbrt a)))
  (cbrt (cbrt a))
  a
  (sqrt (cbrt a))
  (sqrt (cbrt a))
  (log (cbrt g))
  (exp (cbrt g))
  (cbrt (* (cbrt g) (cbrt g)))
  (cbrt (cbrt g))
  (cbrt (sqrt g))
  (cbrt (sqrt g))
  (cbrt 1)
  (pow g 1/3)
  (* (cbrt (cbrt g)) (cbrt (cbrt g)))
  (cbrt (cbrt g))
  g
  (sqrt (cbrt g))
  (sqrt (cbrt g))
  (log (cbrt g))
  (exp (cbrt g))
  (cbrt (* (cbrt g) (cbrt g)))
  (cbrt (cbrt g))
  (cbrt (sqrt g))
  (cbrt (sqrt g))
  (cbrt 1)
  (pow g 1/3)
  (* (cbrt (cbrt g)) (cbrt (cbrt g)))
  (cbrt (cbrt g))
  g
  (sqrt (cbrt g))
  (sqrt (cbrt g))
  (pow g 1/9)
  (pow (/ 1 g) -1/9)
  (* (pow (* -1 g) 1/9) (pow (cbrt -1) 1/3))
  (pow a 1/3)
  (pow (/ 1 a) -1/3)
  (* (pow (* -1 a) 1/3) (cbrt -1))
  (pow g 1/3)
  (pow (/ 1 g) -1/3)
  (* (pow (* -1 g) 1/3) (cbrt -1))
  (pow g 1/3)
  (pow (/ 1 g) -1/3)
  (* (pow (* -1 g) 1/3) (cbrt -1))
2.295 * * * [progress]: adding candidates to table
2.495 * * [progress]: iteration 4 / 4
2.495 * * * [progress]: picking best candidate
2.566 * * * * [pick]: Picked  #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g)))) 2.0)) (/ (cbrt (cbrt g)) (cbrt a))))>
2.566 * * * [progress]: localizing error
2.581 * * * [progress]: generating rewritten candidates
2.581 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
2.582 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 2)
2.583 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 1)
2.586 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
2.587 * * * [progress]: generating series expansions
2.587 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
2.587 * [approximate]: Taking taylor expansion of (pow g 1/9) in (g) around 0
2.587 * [taylor]: Taking taylor expansion of (pow g 1/9) in g
2.587 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log g))) in g
2.587 * [taylor]: Taking taylor expansion of (* 1/9 (log g)) in g
2.587 * [taylor]: Taking taylor expansion of 1/9 in g
2.587 * [taylor]: Taking taylor expansion of (log g) in g
2.587 * [taylor]: Taking taylor expansion of g in g
2.588 * [taylor]: Taking taylor expansion of (pow g 1/9) in g
2.588 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log g))) in g
2.588 * [taylor]: Taking taylor expansion of (* 1/9 (log g)) in g
2.588 * [taylor]: Taking taylor expansion of 1/9 in g
2.588 * [taylor]: Taking taylor expansion of (log g) in g
2.588 * [taylor]: Taking taylor expansion of g in g
2.642 * [approximate]: Taking taylor expansion of (pow (/ 1 g) 1/9) in (g) around 0
2.642 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/9) in g
2.642 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 g)))) in g
2.643 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 g))) in g
2.643 * [taylor]: Taking taylor expansion of 1/9 in g
2.643 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
2.643 * [taylor]: Taking taylor expansion of (/ 1 g) in g
2.643 * [taylor]: Taking taylor expansion of g in g
2.643 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/9) in g
2.643 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 g)))) in g
2.643 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 g))) in g
2.643 * [taylor]: Taking taylor expansion of 1/9 in g
2.644 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
2.644 * [taylor]: Taking taylor expansion of (/ 1 g) in g
2.644 * [taylor]: Taking taylor expansion of g in g
2.697 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 g) 1/9)) in (g) around 0
2.697 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 g) 1/9)) in g
2.697 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in g
2.697 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in g
2.697 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in g
2.697 * [taylor]: Taking taylor expansion of 1/3 in g
2.697 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in g
2.697 * [taylor]: Taking taylor expansion of (cbrt -1) in g
2.697 * [taylor]: Taking taylor expansion of -1 in g
2.701 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/9) in g
2.701 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 g)))) in g
2.701 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 g))) in g
2.701 * [taylor]: Taking taylor expansion of 1/9 in g
2.701 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
2.701 * [taylor]: Taking taylor expansion of (/ 1 g) in g
2.701 * [taylor]: Taking taylor expansion of g in g
2.702 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 g) 1/9)) in g
2.702 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in g
2.702 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in g
2.702 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in g
2.702 * [taylor]: Taking taylor expansion of 1/3 in g
2.702 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in g
2.702 * [taylor]: Taking taylor expansion of (cbrt -1) in g
2.702 * [taylor]: Taking taylor expansion of -1 in g
2.706 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/9) in g
2.706 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 g)))) in g
2.706 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 g))) in g
2.706 * [taylor]: Taking taylor expansion of 1/9 in g
2.706 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
2.706 * [taylor]: Taking taylor expansion of (/ 1 g) in g
2.706 * [taylor]: Taking taylor expansion of g in g
2.837 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 2)
2.837 * [approximate]: Taking taylor expansion of (pow g 1/9) in (g) around 0
2.838 * [taylor]: Taking taylor expansion of (pow g 1/9) in g
2.838 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log g))) in g
2.838 * [taylor]: Taking taylor expansion of (* 1/9 (log g)) in g
2.838 * [taylor]: Taking taylor expansion of 1/9 in g
2.838 * [taylor]: Taking taylor expansion of (log g) in g
2.838 * [taylor]: Taking taylor expansion of g in g
2.838 * [taylor]: Taking taylor expansion of (pow g 1/9) in g
2.838 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log g))) in g
2.838 * [taylor]: Taking taylor expansion of (* 1/9 (log g)) in g
2.838 * [taylor]: Taking taylor expansion of 1/9 in g
2.838 * [taylor]: Taking taylor expansion of (log g) in g
2.838 * [taylor]: Taking taylor expansion of g in g
2.894 * [approximate]: Taking taylor expansion of (pow (/ 1 g) 1/9) in (g) around 0
2.894 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/9) in g
2.894 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 g)))) in g
2.894 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 g))) in g
2.894 * [taylor]: Taking taylor expansion of 1/9 in g
2.894 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
2.894 * [taylor]: Taking taylor expansion of (/ 1 g) in g
2.894 * [taylor]: Taking taylor expansion of g in g
2.895 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/9) in g
2.895 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 g)))) in g
2.895 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 g))) in g
2.895 * [taylor]: Taking taylor expansion of 1/9 in g
2.895 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
2.895 * [taylor]: Taking taylor expansion of (/ 1 g) in g
2.895 * [taylor]: Taking taylor expansion of g in g
2.954 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 g) 1/9)) in (g) around 0
2.954 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 g) 1/9)) in g
2.954 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in g
2.954 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in g
2.954 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in g
2.954 * [taylor]: Taking taylor expansion of 1/3 in g
2.954 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in g
2.954 * [taylor]: Taking taylor expansion of (cbrt -1) in g
2.954 * [taylor]: Taking taylor expansion of -1 in g
2.958 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/9) in g
2.958 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 g)))) in g
2.958 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 g))) in g
2.958 * [taylor]: Taking taylor expansion of 1/9 in g
2.958 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
2.958 * [taylor]: Taking taylor expansion of (/ 1 g) in g
2.958 * [taylor]: Taking taylor expansion of g in g
2.959 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 g) 1/9)) in g
2.959 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in g
2.959 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in g
2.959 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in g
2.959 * [taylor]: Taking taylor expansion of 1/3 in g
2.959 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in g
2.959 * [taylor]: Taking taylor expansion of (cbrt -1) in g
2.959 * [taylor]: Taking taylor expansion of -1 in g
2.962 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/9) in g
2.962 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 g)))) in g
2.962 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 g))) in g
2.963 * [taylor]: Taking taylor expansion of 1/9 in g
2.963 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
2.963 * [taylor]: Taking taylor expansion of (/ 1 g) in g
2.963 * [taylor]: Taking taylor expansion of g in g
3.086 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 1)
3.086 * [approximate]: Taking taylor expansion of (pow (pow g 2) 1/9) in (g) around 0
3.086 * [taylor]: Taking taylor expansion of (pow (pow g 2) 1/9) in g
3.086 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow g 2)))) in g
3.086 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow g 2))) in g
3.086 * [taylor]: Taking taylor expansion of 1/9 in g
3.086 * [taylor]: Taking taylor expansion of (log (pow g 2)) in g
3.086 * [taylor]: Taking taylor expansion of (pow g 2) in g
3.086 * [taylor]: Taking taylor expansion of g in g
3.087 * [taylor]: Taking taylor expansion of (pow (pow g 2) 1/9) in g
3.087 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow g 2)))) in g
3.087 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow g 2))) in g
3.087 * [taylor]: Taking taylor expansion of 1/9 in g
3.087 * [taylor]: Taking taylor expansion of (log (pow g 2)) in g
3.087 * [taylor]: Taking taylor expansion of (pow g 2) in g
3.087 * [taylor]: Taking taylor expansion of g in g
3.146 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow g 2)) 1/9) in (g) around 0
3.146 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow g 2)) 1/9) in g
3.146 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow g 2))))) in g
3.146 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow g 2)))) in g
3.146 * [taylor]: Taking taylor expansion of 1/9 in g
3.146 * [taylor]: Taking taylor expansion of (log (/ 1 (pow g 2))) in g
3.146 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g
3.146 * [taylor]: Taking taylor expansion of (pow g 2) in g
3.146 * [taylor]: Taking taylor expansion of g in g
3.147 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow g 2)) 1/9) in g
3.147 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow g 2))))) in g
3.147 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow g 2)))) in g
3.147 * [taylor]: Taking taylor expansion of 1/9 in g
3.147 * [taylor]: Taking taylor expansion of (log (/ 1 (pow g 2))) in g
3.147 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g
3.147 * [taylor]: Taking taylor expansion of (pow g 2) in g
3.147 * [taylor]: Taking taylor expansion of g in g
3.210 * [approximate]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2) 1/3) (pow (/ 1 (pow g 2)) 1/9)) in (g) around 0
3.210 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2) 1/3) (pow (/ 1 (pow g 2)) 1/9)) in g
3.210 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in g
3.210 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in g
3.210 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in g
3.210 * [taylor]: Taking taylor expansion of 1/3 in g
3.210 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in g
3.210 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in g
3.210 * [taylor]: Taking taylor expansion of (cbrt -1) in g
3.210 * [taylor]: Taking taylor expansion of -1 in g
3.216 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow g 2)) 1/9) in g
3.216 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow g 2))))) in g
3.216 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow g 2)))) in g
3.216 * [taylor]: Taking taylor expansion of 1/9 in g
3.216 * [taylor]: Taking taylor expansion of (log (/ 1 (pow g 2))) in g
3.216 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g
3.216 * [taylor]: Taking taylor expansion of (pow g 2) in g
3.216 * [taylor]: Taking taylor expansion of g in g
3.217 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2) 1/3) (pow (/ 1 (pow g 2)) 1/9)) in g
3.217 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in g
3.217 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in g
3.217 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in g
3.217 * [taylor]: Taking taylor expansion of 1/3 in g
3.217 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in g
3.217 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in g
3.217 * [taylor]: Taking taylor expansion of (cbrt -1) in g
3.217 * [taylor]: Taking taylor expansion of -1 in g
3.224 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow g 2)) 1/9) in g
3.224 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow g 2))))) in g
3.224 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow g 2)))) in g
3.224 * [taylor]: Taking taylor expansion of 1/9 in g
3.224 * [taylor]: Taking taylor expansion of (log (/ 1 (pow g 2))) in g
3.224 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g
3.224 * [taylor]: Taking taylor expansion of (pow g 2) in g
3.224 * [taylor]: Taking taylor expansion of g in g
3.365 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
3.365 * [approximate]: Taking taylor expansion of (pow a 1/3) in (a) around 0
3.365 * [taylor]: Taking taylor expansion of (pow a 1/3) in a
3.365 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a
3.365 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a
3.365 * [taylor]: Taking taylor expansion of 1/3 in a
3.365 * [taylor]: Taking taylor expansion of (log a) in a
3.365 * [taylor]: Taking taylor expansion of a in a
3.366 * [taylor]: Taking taylor expansion of (pow a 1/3) in a
3.366 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a
3.366 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a
3.366 * [taylor]: Taking taylor expansion of 1/3 in a
3.366 * [taylor]: Taking taylor expansion of (log a) in a
3.366 * [taylor]: Taking taylor expansion of a in a
3.414 * [approximate]: Taking taylor expansion of (pow (/ 1 a) 1/3) in (a) around 0
3.414 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
3.414 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
3.414 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
3.414 * [taylor]: Taking taylor expansion of 1/3 in a
3.414 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
3.414 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.414 * [taylor]: Taking taylor expansion of a in a
3.415 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
3.415 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
3.415 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
3.415 * [taylor]: Taking taylor expansion of 1/3 in a
3.415 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
3.415 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.415 * [taylor]: Taking taylor expansion of a in a
3.473 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in (a) around 0
3.473 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in a
3.473 * [taylor]: Taking taylor expansion of (cbrt -1) in a
3.473 * [taylor]: Taking taylor expansion of -1 in a
3.474 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
3.474 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
3.474 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
3.474 * [taylor]: Taking taylor expansion of 1/3 in a
3.474 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
3.474 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.474 * [taylor]: Taking taylor expansion of a in a
3.475 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in a
3.475 * [taylor]: Taking taylor expansion of (cbrt -1) in a
3.475 * [taylor]: Taking taylor expansion of -1 in a
3.476 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
3.476 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
3.476 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
3.476 * [taylor]: Taking taylor expansion of 1/3 in a
3.476 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
3.476 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.476 * [taylor]: Taking taylor expansion of a in a
3.545 * * * [progress]: simplifying candidates
3.546 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (cbrt g)))
  (exp (cbrt (cbrt g)))
  (cbrt (cbrt (* (cbrt g) (cbrt g))))
  (cbrt (cbrt (cbrt g)))
  (cbrt (cbrt (sqrt g)))
  (cbrt (cbrt (sqrt g)))
  (cbrt (cbrt 1))
  (cbrt (cbrt g))
  (cbrt (* (cbrt (cbrt g)) (cbrt (cbrt g))))
  (cbrt (cbrt (cbrt g)))
  (cbrt (sqrt (cbrt g)))
  (cbrt (sqrt (cbrt g)))
  (cbrt 1)
  (cbrt (cbrt g))
  (* (cbrt (cbrt (cbrt g))) (cbrt (cbrt (cbrt g))))
  (cbrt (cbrt (cbrt g)))
  (* (* (cbrt (cbrt g)) (cbrt (cbrt g))) (cbrt (cbrt g)))
  (sqrt (cbrt (cbrt g)))
  (sqrt (cbrt (cbrt g)))
  (log (cbrt (cbrt g)))
  (exp (cbrt (cbrt g)))
  (cbrt (cbrt (* (cbrt g) (cbrt g))))
  (cbrt (cbrt (cbrt g)))
  (cbrt (cbrt (sqrt g)))
  (cbrt (cbrt (sqrt g)))
  (cbrt (cbrt 1))
  (cbrt (cbrt g))
  (cbrt (* (cbrt (cbrt g)) (cbrt (cbrt g))))
  (cbrt (cbrt (cbrt g)))
  (cbrt (sqrt (cbrt g)))
  (cbrt (sqrt (cbrt g)))
  (cbrt 1)
  (cbrt (cbrt g))
  (* (cbrt (cbrt (cbrt g))) (cbrt (cbrt (cbrt g))))
  (cbrt (cbrt (cbrt g)))
  (* (* (cbrt (cbrt g)) (cbrt (cbrt g))) (cbrt (cbrt g)))
  (sqrt (cbrt (cbrt g)))
  (sqrt (cbrt (cbrt g)))
  (log (cbrt (* (cbrt g) (cbrt g))))
  (exp (cbrt (* (cbrt g) (cbrt g))))
  (cbrt (cbrt g))
  (cbrt (cbrt g))
  (* (cbrt (cbrt (* (cbrt g) (cbrt g)))) (cbrt (cbrt (* (cbrt g) (cbrt g)))))
  (cbrt (cbrt (* (cbrt g) (cbrt g))))
  (* (* (cbrt (* (cbrt g) (cbrt g))) (cbrt (* (cbrt g) (cbrt g)))) (cbrt (* (cbrt g) (cbrt g))))
  (sqrt (cbrt (* (cbrt g) (cbrt g))))
  (sqrt (cbrt (* (cbrt g) (cbrt g))))
  (log (cbrt a))
  (exp (cbrt a))
  (cbrt (* (cbrt a) (cbrt a)))
  (cbrt (cbrt a))
  (cbrt (sqrt a))
  (cbrt (sqrt a))
  (cbrt 1)
  (cbrt a)
  (* (cbrt (cbrt a)) (cbrt (cbrt a)))
  (cbrt (cbrt a))
  (* (* (cbrt a) (cbrt a)) (cbrt a))
  (sqrt (cbrt a))
  (sqrt (cbrt a))
  (pow g 1/9)
  (pow (/ 1 g) -1/9)
  (* (pow (* -1 g) 1/9) (pow (cbrt -1) 1/3))
  (pow g 1/9)
  (pow (/ 1 g) -1/9)
  (* (pow (* -1 g) 1/9) (pow (cbrt -1) 1/3))
  (pow g 2/9)
  (pow (/ 1 g) -2/9)
  (* (pow (pow (cbrt -1) 2) 1/3) (pow (pow g 2) 1/9))
  (pow a 1/3)
  (pow (/ 1 a) -1/3)
  (* (pow (* -1 a) 1/3) (cbrt -1))
3.550 * * [simplify]: iteration  0 :  119  enodes  (cost  250 )
3.552 * * [simplify]: iteration  1 :  251  enodes  (cost  228 )
3.557 * * [simplify]: iteration  2 :  769  enodes  (cost  220 )
3.575 * * [simplify]: iteration  3 :  2969  enodes  (cost  220 )
3.643 * * [simplify]: iteration  4 :  5001  enodes  (cost  213 )
3.644 * [simplify]: Simplified to:
   (log (cbrt (cbrt g)))
  (exp (cbrt (cbrt g)))
  (cbrt (cbrt (* (cbrt g) (cbrt g))))
  (cbrt (cbrt (cbrt g)))
  (cbrt (cbrt (sqrt g)))
  (cbrt (cbrt (sqrt g)))
  1
  (cbrt (cbrt g))
  (cbrt (* (cbrt (cbrt g)) (cbrt (cbrt g))))
  (cbrt (cbrt (cbrt g)))
  (cbrt (sqrt (cbrt g)))
  (cbrt (sqrt (cbrt g)))
  1
  (cbrt (cbrt g))
  (* (cbrt (cbrt (cbrt g))) (cbrt (cbrt (cbrt g))))
  (cbrt (cbrt (cbrt g)))
  (cbrt g)
  (sqrt (cbrt (cbrt g)))
  (sqrt (cbrt (cbrt g)))
  (log (cbrt (cbrt g)))
  (exp (cbrt (cbrt g)))
  (cbrt (cbrt (* (cbrt g) (cbrt g))))
  (cbrt (cbrt (cbrt g)))
  (cbrt (cbrt (sqrt g)))
  (cbrt (cbrt (sqrt g)))
  1
  (cbrt (cbrt g))
  (cbrt (* (cbrt (cbrt g)) (cbrt (cbrt g))))
  (cbrt (cbrt (cbrt g)))
  (cbrt (sqrt (cbrt g)))
  (cbrt (sqrt (cbrt g)))
  1
  (cbrt (cbrt g))
  (* (cbrt (cbrt (cbrt g))) (cbrt (cbrt (cbrt g))))
  (cbrt (cbrt (cbrt g)))
  (cbrt g)
  (sqrt (cbrt (cbrt g)))
  (sqrt (cbrt (cbrt g)))
  (log (cbrt (* (cbrt g) (cbrt g))))
  (exp (cbrt (* (cbrt g) (cbrt g))))
  (cbrt (cbrt g))
  (cbrt (cbrt g))
  (* (cbrt (cbrt (* (cbrt g) (cbrt g)))) (cbrt (cbrt (* (cbrt g) (cbrt g)))))
  (cbrt (cbrt (* (cbrt g) (cbrt g))))
  (* (cbrt g) (cbrt g))
  (sqrt (cbrt (* (cbrt g) (cbrt g))))
  (sqrt (cbrt (* (cbrt g) (cbrt g))))
  (log (cbrt a))
  (exp (cbrt a))
  (cbrt (* (cbrt a) (cbrt a)))
  (cbrt (cbrt a))
  (cbrt (sqrt a))
  (cbrt (sqrt a))
  1
  (pow a 1/3)
  (* (cbrt (cbrt a)) (cbrt (cbrt a)))
  (cbrt (cbrt a))
  a
  (sqrt (cbrt a))
  (sqrt (cbrt a))
  (pow g 1/9)
  (pow (/ 1 g) -1/9)
  (* (pow (* -1 g) 1/9) (pow (cbrt -1) 1/3))
  (pow g 1/9)
  (pow (/ 1 g) -1/9)
  (* (pow (* -1 g) 1/9) (pow (cbrt -1) 1/3))
  (pow g 2/9)
  (pow (/ 1 g) -2/9)
  (* (pow (pow (cbrt -1) 2) 1/3) (pow (pow g 2) 1/9))
  (pow a 1/3)
  (pow (/ 1 a) -1/3)
  (* (pow (* -1 a) 1/3) (cbrt -1))
3.645 * * * [progress]: adding candidates to table
3.869 * [progress]: [Phase 3 of 3] Extracting.
3.869 * * [regime]: Finding splitpoints for: (#<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (sqrt g)) (cbrt (sqrt g)))) 2.0)) (/ (cbrt (cbrt g)) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (cbrt g))) (pow (cbrt g) 1/3))) 2.0)) (/ (cbrt (cbrt g)) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g)))) 2.0)) (/ (* (* (cbrt (cbrt (cbrt g))) (cbrt (cbrt (cbrt g)))) (cbrt (cbrt (cbrt g)))) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g)))) 2.0)) (/ (* (cbrt (sqrt (cbrt g))) (cbrt (sqrt (cbrt g)))) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g)))) 2.0)) (/ (cbrt (cbrt g)) (* (sqrt (cbrt a)) (sqrt (cbrt a))))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (pow (* (cbrt g) (cbrt g)) 1/3) (cbrt (cbrt g)))) 2.0)) (/ (cbrt (cbrt g)) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (cbrt (/ (* (cbrt (cbrt g)) (cbrt (cbrt g))) (* (cbrt a) (cbrt a)))) (cbrt (/ (cbrt (cbrt g)) (cbrt a))))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (cbrt (/ (cbrt (sqrt g)) (* (cbrt a) (cbrt a)))) (cbrt (/ (cbrt (sqrt g)) (cbrt a))))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (cbrt (/ (* (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g))) a))))> #<alt (λ (g a) (* (cbrt (/ (sqrt g) 2.0)) (cbrt (/ (sqrt g) a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (pow (/ (cbrt g) a) 1/3)))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (cbrt g))) (* (* (cbrt (cbrt (cbrt g))) (cbrt (cbrt (cbrt g)))) (cbrt (cbrt (cbrt g)))))) 2.0)) (/ (cbrt (cbrt g)) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (* (* (cbrt (cbrt (* (cbrt g) (cbrt g)))) (cbrt (cbrt (* (cbrt g) (cbrt g))))) (cbrt (cbrt (* (cbrt g) (cbrt g))))) (cbrt (cbrt g)))) 2.0)) (/ (cbrt (cbrt g)) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g)))) 2.0)) (/ (cbrt (cbrt g)) (* (* (cbrt (cbrt a)) (cbrt (cbrt a))) (cbrt (cbrt a))))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (cbrt (sqrt (/ (cbrt g) a))) (cbrt (sqrt (/ (cbrt g) a))))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (* (cbrt (cbrt (/ (cbrt g) a))) (cbrt (cbrt (/ (cbrt g) a)))) (cbrt (cbrt (/ (cbrt g) a))))))> #<alt (λ (g a) (* (* (cbrt (cbrt (/ g (* 2.0 a)))) (cbrt (cbrt (/ g (* 2.0 a))))) (cbrt (cbrt (/ g (* 2.0 a))))))> #<alt (λ (g a) (* (sqrt (cbrt (/ g (* 2.0 a)))) (sqrt (cbrt (/ g (* 2.0 a))))))> #<alt (λ (g a) (* (cbrt (/ 1 2.0)) (cbrt (/ g a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (* (cbrt (cbrt g)) (cbrt (cbrt g))) (cbrt (cbrt g)))) 2.0)) (cbrt (/ (cbrt g) a))))> #<alt (λ (g a) (* (cbrt (/ (* (exp (log (cbrt g))) (cbrt g)) 2.0)) (cbrt (/ (cbrt g) a))))> #<alt (λ (g a) (cbrt (/ g (* 2.0 a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (cbrt (/ (* (cbrt (cbrt g)) (cbrt (cbrt g))) 1)) (cbrt (/ (cbrt (cbrt g)) a)))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (cbrt (/ (* (* (cbrt (cbrt g)) (cbrt (cbrt g))) (cbrt (cbrt g))) a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (cbrt (* (cbrt (/ (cbrt g) a)) (cbrt (/ (cbrt g) a)))) (cbrt (cbrt (/ (cbrt g) a))))))> #<alt (λ (g a) (* (cbrt (/ (* (* (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g))) (cbrt g)) 2.0)) (cbrt (/ (cbrt g) a))))>)
3.877 * * * [regime-changes]: Trying 5 branch expressions: ((* 2.0 a) (/ g (* 2.0 a)) (cbrt (/ g (* 2.0 a))) a g)
3.877 * * * * [regimes]: Trying to branch on (* 2.0 a) from (#<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (sqrt g)) (cbrt (sqrt g)))) 2.0)) (/ (cbrt (cbrt g)) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (cbrt g))) (pow (cbrt g) 1/3))) 2.0)) (/ (cbrt (cbrt g)) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g)))) 2.0)) (/ (* (* (cbrt (cbrt (cbrt g))) (cbrt (cbrt (cbrt g)))) (cbrt (cbrt (cbrt g)))) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g)))) 2.0)) (/ (* (cbrt (sqrt (cbrt g))) (cbrt (sqrt (cbrt g)))) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g)))) 2.0)) (/ (cbrt (cbrt g)) (* (sqrt (cbrt a)) (sqrt (cbrt a))))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (pow (* (cbrt g) (cbrt g)) 1/3) (cbrt (cbrt g)))) 2.0)) (/ (cbrt (cbrt g)) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (cbrt (/ (* (cbrt (cbrt g)) (cbrt (cbrt g))) (* (cbrt a) (cbrt a)))) (cbrt (/ (cbrt (cbrt g)) (cbrt a))))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (cbrt (/ (cbrt (sqrt g)) (* (cbrt a) (cbrt a)))) (cbrt (/ (cbrt (sqrt g)) (cbrt a))))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (cbrt (/ (* (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g))) a))))> #<alt (λ (g a) (* (cbrt (/ (sqrt g) 2.0)) (cbrt (/ (sqrt g) a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (pow (/ (cbrt g) a) 1/3)))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (cbrt g))) (* (* (cbrt (cbrt (cbrt g))) (cbrt (cbrt (cbrt g)))) (cbrt (cbrt (cbrt g)))))) 2.0)) (/ (cbrt (cbrt g)) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (* (* (cbrt (cbrt (* (cbrt g) (cbrt g)))) (cbrt (cbrt (* (cbrt g) (cbrt g))))) (cbrt (cbrt (* (cbrt g) (cbrt g))))) (cbrt (cbrt g)))) 2.0)) (/ (cbrt (cbrt g)) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g)))) 2.0)) (/ (cbrt (cbrt g)) (* (* (cbrt (cbrt a)) (cbrt (cbrt a))) (cbrt (cbrt a))))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (cbrt (sqrt (/ (cbrt g) a))) (cbrt (sqrt (/ (cbrt g) a))))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (* (cbrt (cbrt (/ (cbrt g) a))) (cbrt (cbrt (/ (cbrt g) a)))) (cbrt (cbrt (/ (cbrt g) a))))))> #<alt (λ (g a) (* (* (cbrt (cbrt (/ g (* 2.0 a)))) (cbrt (cbrt (/ g (* 2.0 a))))) (cbrt (cbrt (/ g (* 2.0 a))))))> #<alt (λ (g a) (* (sqrt (cbrt (/ g (* 2.0 a)))) (sqrt (cbrt (/ g (* 2.0 a))))))> #<alt (λ (g a) (* (cbrt (/ 1 2.0)) (cbrt (/ g a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (* (cbrt (cbrt g)) (cbrt (cbrt g))) (cbrt (cbrt g)))) 2.0)) (cbrt (/ (cbrt g) a))))> #<alt (λ (g a) (* (cbrt (/ (* (exp (log (cbrt g))) (cbrt g)) 2.0)) (cbrt (/ (cbrt g) a))))> #<alt (λ (g a) (cbrt (/ g (* 2.0 a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (cbrt (/ (* (cbrt (cbrt g)) (cbrt (cbrt g))) 1)) (cbrt (/ (cbrt (cbrt g)) a)))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (cbrt (/ (* (* (cbrt (cbrt g)) (cbrt (cbrt g))) (cbrt (cbrt g))) a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (cbrt (* (cbrt (/ (cbrt g) a)) (cbrt (/ (cbrt g) a)))) (cbrt (cbrt (/ (cbrt g) a))))))> #<alt (λ (g a) (* (cbrt (/ (* (* (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g))) (cbrt g)) 2.0)) (cbrt (/ (cbrt g) a))))>)
3.983 * * * * [regimes]: Trying to branch on (* 2.0 a) from (#<alt (λ (g a) (* (* (cbrt (cbrt (/ g (* 2.0 a)))) (cbrt (cbrt (/ g (* 2.0 a))))) (cbrt (cbrt (/ g (* 2.0 a))))))> #<alt (λ (g a) (* (sqrt (cbrt (/ g (* 2.0 a)))) (sqrt (cbrt (/ g (* 2.0 a))))))> #<alt (λ (g a) (cbrt (/ g (* 2.0 a))))>)
3.998 * * * * [regimes]: Trying to branch on (/ g (* 2.0 a)) from (#<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (sqrt g)) (cbrt (sqrt g)))) 2.0)) (/ (cbrt (cbrt g)) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (cbrt g))) (pow (cbrt g) 1/3))) 2.0)) (/ (cbrt (cbrt g)) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g)))) 2.0)) (/ (* (* (cbrt (cbrt (cbrt g))) (cbrt (cbrt (cbrt g)))) (cbrt (cbrt (cbrt g)))) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g)))) 2.0)) (/ (* (cbrt (sqrt (cbrt g))) (cbrt (sqrt (cbrt g)))) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g)))) 2.0)) (/ (cbrt (cbrt g)) (* (sqrt (cbrt a)) (sqrt (cbrt a))))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (pow (* (cbrt g) (cbrt g)) 1/3) (cbrt (cbrt g)))) 2.0)) (/ (cbrt (cbrt g)) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (cbrt (/ (* (cbrt (cbrt g)) (cbrt (cbrt g))) (* (cbrt a) (cbrt a)))) (cbrt (/ (cbrt (cbrt g)) (cbrt a))))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (cbrt (/ (cbrt (sqrt g)) (* (cbrt a) (cbrt a)))) (cbrt (/ (cbrt (sqrt g)) (cbrt a))))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (cbrt (/ (* (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g))) a))))> #<alt (λ (g a) (* (cbrt (/ (sqrt g) 2.0)) (cbrt (/ (sqrt g) a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (pow (/ (cbrt g) a) 1/3)))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (cbrt g))) (* (* (cbrt (cbrt (cbrt g))) (cbrt (cbrt (cbrt g)))) (cbrt (cbrt (cbrt g)))))) 2.0)) (/ (cbrt (cbrt g)) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (* (* (cbrt (cbrt (* (cbrt g) (cbrt g)))) (cbrt (cbrt (* (cbrt g) (cbrt g))))) (cbrt (cbrt (* (cbrt g) (cbrt g))))) (cbrt (cbrt g)))) 2.0)) (/ (cbrt (cbrt g)) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g)))) 2.0)) (/ (cbrt (cbrt g)) (* (* (cbrt (cbrt a)) (cbrt (cbrt a))) (cbrt (cbrt a))))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (cbrt (sqrt (/ (cbrt g) a))) (cbrt (sqrt (/ (cbrt g) a))))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (* (cbrt (cbrt (/ (cbrt g) a))) (cbrt (cbrt (/ (cbrt g) a)))) (cbrt (cbrt (/ (cbrt g) a))))))> #<alt (λ (g a) (* (* (cbrt (cbrt (/ g (* 2.0 a)))) (cbrt (cbrt (/ g (* 2.0 a))))) (cbrt (cbrt (/ g (* 2.0 a))))))> #<alt (λ (g a) (* (sqrt (cbrt (/ g (* 2.0 a)))) (sqrt (cbrt (/ g (* 2.0 a))))))> #<alt (λ (g a) (* (cbrt (/ 1 2.0)) (cbrt (/ g a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (* (cbrt (cbrt g)) (cbrt (cbrt g))) (cbrt (cbrt g)))) 2.0)) (cbrt (/ (cbrt g) a))))> #<alt (λ (g a) (* (cbrt (/ (* (exp (log (cbrt g))) (cbrt g)) 2.0)) (cbrt (/ (cbrt g) a))))> #<alt (λ (g a) (cbrt (/ g (* 2.0 a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (cbrt (/ (* (cbrt (cbrt g)) (cbrt (cbrt g))) 1)) (cbrt (/ (cbrt (cbrt g)) a)))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (cbrt (/ (* (* (cbrt (cbrt g)) (cbrt (cbrt g))) (cbrt (cbrt g))) a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (cbrt (* (cbrt (/ (cbrt g) a)) (cbrt (/ (cbrt g) a)))) (cbrt (cbrt (/ (cbrt g) a))))))> #<alt (λ (g a) (* (cbrt (/ (* (* (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g))) (cbrt g)) 2.0)) (cbrt (/ (cbrt g) a))))>)
4.099 * * * * [regimes]: Trying to branch on (/ g (* 2.0 a)) from (#<alt (λ (g a) (* (* (cbrt (cbrt (/ g (* 2.0 a)))) (cbrt (cbrt (/ g (* 2.0 a))))) (cbrt (cbrt (/ g (* 2.0 a))))))> #<alt (λ (g a) (* (sqrt (cbrt (/ g (* 2.0 a)))) (sqrt (cbrt (/ g (* 2.0 a))))))> #<alt (λ (g a) (cbrt (/ g (* 2.0 a))))>)
4.114 * * * * [regimes]: Trying to branch on (cbrt (/ g (* 2.0 a))) from (#<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (sqrt g)) (cbrt (sqrt g)))) 2.0)) (/ (cbrt (cbrt g)) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (cbrt g))) (pow (cbrt g) 1/3))) 2.0)) (/ (cbrt (cbrt g)) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g)))) 2.0)) (/ (* (* (cbrt (cbrt (cbrt g))) (cbrt (cbrt (cbrt g)))) (cbrt (cbrt (cbrt g)))) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g)))) 2.0)) (/ (* (cbrt (sqrt (cbrt g))) (cbrt (sqrt (cbrt g)))) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g)))) 2.0)) (/ (cbrt (cbrt g)) (* (sqrt (cbrt a)) (sqrt (cbrt a))))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (pow (* (cbrt g) (cbrt g)) 1/3) (cbrt (cbrt g)))) 2.0)) (/ (cbrt (cbrt g)) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (cbrt (/ (* (cbrt (cbrt g)) (cbrt (cbrt g))) (* (cbrt a) (cbrt a)))) (cbrt (/ (cbrt (cbrt g)) (cbrt a))))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (cbrt (/ (cbrt (sqrt g)) (* (cbrt a) (cbrt a)))) (cbrt (/ (cbrt (sqrt g)) (cbrt a))))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (cbrt (/ (* (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g))) a))))> #<alt (λ (g a) (* (cbrt (/ (sqrt g) 2.0)) (cbrt (/ (sqrt g) a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (pow (/ (cbrt g) a) 1/3)))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (cbrt g))) (* (* (cbrt (cbrt (cbrt g))) (cbrt (cbrt (cbrt g)))) (cbrt (cbrt (cbrt g)))))) 2.0)) (/ (cbrt (cbrt g)) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (* (* (cbrt (cbrt (* (cbrt g) (cbrt g)))) (cbrt (cbrt (* (cbrt g) (cbrt g))))) (cbrt (cbrt (* (cbrt g) (cbrt g))))) (cbrt (cbrt g)))) 2.0)) (/ (cbrt (cbrt g)) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g)))) 2.0)) (/ (cbrt (cbrt g)) (* (* (cbrt (cbrt a)) (cbrt (cbrt a))) (cbrt (cbrt a))))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (cbrt (sqrt (/ (cbrt g) a))) (cbrt (sqrt (/ (cbrt g) a))))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (* (cbrt (cbrt (/ (cbrt g) a))) (cbrt (cbrt (/ (cbrt g) a)))) (cbrt (cbrt (/ (cbrt g) a))))))> #<alt (λ (g a) (* (* (cbrt (cbrt (/ g (* 2.0 a)))) (cbrt (cbrt (/ g (* 2.0 a))))) (cbrt (cbrt (/ g (* 2.0 a))))))> #<alt (λ (g a) (* (sqrt (cbrt (/ g (* 2.0 a)))) (sqrt (cbrt (/ g (* 2.0 a))))))> #<alt (λ (g a) (* (cbrt (/ 1 2.0)) (cbrt (/ g a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (* (cbrt (cbrt g)) (cbrt (cbrt g))) (cbrt (cbrt g)))) 2.0)) (cbrt (/ (cbrt g) a))))> #<alt (λ (g a) (* (cbrt (/ (* (exp (log (cbrt g))) (cbrt g)) 2.0)) (cbrt (/ (cbrt g) a))))> #<alt (λ (g a) (cbrt (/ g (* 2.0 a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (cbrt (/ (* (cbrt (cbrt g)) (cbrt (cbrt g))) 1)) (cbrt (/ (cbrt (cbrt g)) a)))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (cbrt (/ (* (* (cbrt (cbrt g)) (cbrt (cbrt g))) (cbrt (cbrt g))) a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (cbrt (* (cbrt (/ (cbrt g) a)) (cbrt (/ (cbrt g) a)))) (cbrt (cbrt (/ (cbrt g) a))))))> #<alt (λ (g a) (* (cbrt (/ (* (* (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g))) (cbrt g)) 2.0)) (cbrt (/ (cbrt g) a))))>)
4.219 * * * * [regimes]: Trying to branch on (cbrt (/ g (* 2.0 a))) from (#<alt (λ (g a) (* (* (cbrt (cbrt (/ g (* 2.0 a)))) (cbrt (cbrt (/ g (* 2.0 a))))) (cbrt (cbrt (/ g (* 2.0 a))))))> #<alt (λ (g a) (* (sqrt (cbrt (/ g (* 2.0 a)))) (sqrt (cbrt (/ g (* 2.0 a))))))> #<alt (λ (g a) (cbrt (/ g (* 2.0 a))))>)
4.240 * * * * [regimes]: Trying to branch on a from (#<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (sqrt g)) (cbrt (sqrt g)))) 2.0)) (/ (cbrt (cbrt g)) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (cbrt g))) (pow (cbrt g) 1/3))) 2.0)) (/ (cbrt (cbrt g)) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g)))) 2.0)) (/ (* (* (cbrt (cbrt (cbrt g))) (cbrt (cbrt (cbrt g)))) (cbrt (cbrt (cbrt g)))) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g)))) 2.0)) (/ (* (cbrt (sqrt (cbrt g))) (cbrt (sqrt (cbrt g)))) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g)))) 2.0)) (/ (cbrt (cbrt g)) (* (sqrt (cbrt a)) (sqrt (cbrt a))))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (pow (* (cbrt g) (cbrt g)) 1/3) (cbrt (cbrt g)))) 2.0)) (/ (cbrt (cbrt g)) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (cbrt (/ (* (cbrt (cbrt g)) (cbrt (cbrt g))) (* (cbrt a) (cbrt a)))) (cbrt (/ (cbrt (cbrt g)) (cbrt a))))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (cbrt (/ (cbrt (sqrt g)) (* (cbrt a) (cbrt a)))) (cbrt (/ (cbrt (sqrt g)) (cbrt a))))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (cbrt (/ (* (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g))) a))))> #<alt (λ (g a) (* (cbrt (/ (sqrt g) 2.0)) (cbrt (/ (sqrt g) a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (pow (/ (cbrt g) a) 1/3)))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (cbrt g))) (* (* (cbrt (cbrt (cbrt g))) (cbrt (cbrt (cbrt g)))) (cbrt (cbrt (cbrt g)))))) 2.0)) (/ (cbrt (cbrt g)) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (* (* (cbrt (cbrt (* (cbrt g) (cbrt g)))) (cbrt (cbrt (* (cbrt g) (cbrt g))))) (cbrt (cbrt (* (cbrt g) (cbrt g))))) (cbrt (cbrt g)))) 2.0)) (/ (cbrt (cbrt g)) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g)))) 2.0)) (/ (cbrt (cbrt g)) (* (* (cbrt (cbrt a)) (cbrt (cbrt a))) (cbrt (cbrt a))))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (cbrt (sqrt (/ (cbrt g) a))) (cbrt (sqrt (/ (cbrt g) a))))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (* (cbrt (cbrt (/ (cbrt g) a))) (cbrt (cbrt (/ (cbrt g) a)))) (cbrt (cbrt (/ (cbrt g) a))))))> #<alt (λ (g a) (* (* (cbrt (cbrt (/ g (* 2.0 a)))) (cbrt (cbrt (/ g (* 2.0 a))))) (cbrt (cbrt (/ g (* 2.0 a))))))> #<alt (λ (g a) (* (sqrt (cbrt (/ g (* 2.0 a)))) (sqrt (cbrt (/ g (* 2.0 a))))))> #<alt (λ (g a) (* (cbrt (/ 1 2.0)) (cbrt (/ g a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (* (cbrt (cbrt g)) (cbrt (cbrt g))) (cbrt (cbrt g)))) 2.0)) (cbrt (/ (cbrt g) a))))> #<alt (λ (g a) (* (cbrt (/ (* (exp (log (cbrt g))) (cbrt g)) 2.0)) (cbrt (/ (cbrt g) a))))> #<alt (λ (g a) (cbrt (/ g (* 2.0 a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (cbrt (/ (* (cbrt (cbrt g)) (cbrt (cbrt g))) 1)) (cbrt (/ (cbrt (cbrt g)) a)))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (cbrt (/ (* (* (cbrt (cbrt g)) (cbrt (cbrt g))) (cbrt (cbrt g))) a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (cbrt (* (cbrt (/ (cbrt g) a)) (cbrt (/ (cbrt g) a)))) (cbrt (cbrt (/ (cbrt g) a))))))> #<alt (λ (g a) (* (cbrt (/ (* (* (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g))) (cbrt g)) 2.0)) (cbrt (/ (cbrt g) a))))>)
4.343 * * * * [regimes]: Trying to branch on g from (#<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (sqrt g)) (cbrt (sqrt g)))) 2.0)) (/ (cbrt (cbrt g)) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (cbrt g))) (pow (cbrt g) 1/3))) 2.0)) (/ (cbrt (cbrt g)) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g)))) 2.0)) (/ (* (* (cbrt (cbrt (cbrt g))) (cbrt (cbrt (cbrt g)))) (cbrt (cbrt (cbrt g)))) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g)))) 2.0)) (/ (* (cbrt (sqrt (cbrt g))) (cbrt (sqrt (cbrt g)))) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g)))) 2.0)) (/ (cbrt (cbrt g)) (* (sqrt (cbrt a)) (sqrt (cbrt a))))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (pow (* (cbrt g) (cbrt g)) 1/3) (cbrt (cbrt g)))) 2.0)) (/ (cbrt (cbrt g)) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (cbrt (/ (* (cbrt (cbrt g)) (cbrt (cbrt g))) (* (cbrt a) (cbrt a)))) (cbrt (/ (cbrt (cbrt g)) (cbrt a))))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (cbrt (/ (cbrt (sqrt g)) (* (cbrt a) (cbrt a)))) (cbrt (/ (cbrt (sqrt g)) (cbrt a))))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (cbrt (/ (* (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g))) a))))> #<alt (λ (g a) (* (cbrt (/ (sqrt g) 2.0)) (cbrt (/ (sqrt g) a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (pow (/ (cbrt g) a) 1/3)))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (cbrt g))) (* (* (cbrt (cbrt (cbrt g))) (cbrt (cbrt (cbrt g)))) (cbrt (cbrt (cbrt g)))))) 2.0)) (/ (cbrt (cbrt g)) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (* (* (cbrt (cbrt (* (cbrt g) (cbrt g)))) (cbrt (cbrt (* (cbrt g) (cbrt g))))) (cbrt (cbrt (* (cbrt g) (cbrt g))))) (cbrt (cbrt g)))) 2.0)) (/ (cbrt (cbrt g)) (cbrt a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g)))) 2.0)) (/ (cbrt (cbrt g)) (* (* (cbrt (cbrt a)) (cbrt (cbrt a))) (cbrt (cbrt a))))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (cbrt (sqrt (/ (cbrt g) a))) (cbrt (sqrt (/ (cbrt g) a))))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (* (cbrt (cbrt (/ (cbrt g) a))) (cbrt (cbrt (/ (cbrt g) a)))) (cbrt (cbrt (/ (cbrt g) a))))))> #<alt (λ (g a) (* (* (cbrt (cbrt (/ g (* 2.0 a)))) (cbrt (cbrt (/ g (* 2.0 a))))) (cbrt (cbrt (/ g (* 2.0 a))))))> #<alt (λ (g a) (* (sqrt (cbrt (/ g (* 2.0 a)))) (sqrt (cbrt (/ g (* 2.0 a))))))> #<alt (λ (g a) (* (cbrt (/ 1 2.0)) (cbrt (/ g a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (* (cbrt (cbrt g)) (cbrt (cbrt g))) (cbrt (cbrt g)))) 2.0)) (cbrt (/ (cbrt g) a))))> #<alt (λ (g a) (* (cbrt (/ (* (exp (log (cbrt g))) (cbrt g)) 2.0)) (cbrt (/ (cbrt g) a))))> #<alt (λ (g a) (cbrt (/ g (* 2.0 a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (cbrt (/ (* (cbrt (cbrt g)) (cbrt (cbrt g))) 1)) (cbrt (/ (cbrt (cbrt g)) a)))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (cbrt (/ (* (* (cbrt (cbrt g)) (cbrt (cbrt g))) (cbrt (cbrt g))) a))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (cbrt (* (cbrt (/ (cbrt g) a)) (cbrt (/ (cbrt g) a)))) (cbrt (cbrt (/ (cbrt g) a))))))> #<alt (λ (g a) (* (cbrt (/ (* (* (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g))) (cbrt g)) 2.0)) (cbrt (/ (cbrt g) a))))>)
4.446 * * * [regime]: Found split indices: #<option (#s(si 12 255))>
4.446 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (cbrt (/ (* (cbrt g) (* (* (* (cbrt (cbrt (* (cbrt g) (cbrt g)))) (cbrt (cbrt (* (cbrt g) (cbrt g))))) (cbrt (cbrt (* (cbrt g) (cbrt g))))) (cbrt (cbrt g)))) 2.0)) (/ (cbrt (cbrt g)) (cbrt a)))
4.447 * * [simplify]: iteration  0 :  21  enodes  (cost  29 )
4.447 * * [simplify]: iteration  1 :  21  enodes  (cost  29 )
4.447 * [simplify]: Simplified to:
   (* (cbrt (/ (* (cbrt g) (* (* (* (cbrt (cbrt (* (cbrt g) (cbrt g)))) (cbrt (cbrt (* (cbrt g) (cbrt g))))) (cbrt (cbrt (* (cbrt g) (cbrt g))))) (cbrt (cbrt g)))) 2.0)) (/ (cbrt (cbrt g)) (cbrt a)))
6.233 * [regime-testing]: Baseline error score: 1.3880296232623863
6.234 * [regime-testing]: Oracle error score: 0.15745007265163977
6.235 * [regime-testing]: End program error score: 1.3880296232623863