9.292 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.014 * * * [progress]: [2/2] Setting up program.
0.016 * [progress]: [Phase 2 of 3] Improving.
0.016 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (cbrt (/ g (* 2.0 a)))
0.018 * * [simplify]: iteration  0 :  9  enodes  (cost  3 )
0.019 * * [simplify]: iteration  1 :  11  enodes  (cost  3 )
0.020 * * [simplify]: iteration  2 :  11  enodes  (cost  3 )
0.020 * [simplify]: Simplified to:
   (cbrt (/ g (* 2.0 a)))
0.021 * * [progress]: iteration 1 / 4
0.021 * * * [progress]: picking best candidate
0.022 * * * * [pick]: Picked  #<alt (λ (g a) (cbrt (/ g (* 2.0 a))))>
0.022 * * * [progress]: localizing error
0.027 * * * [progress]: generating rewritten candidates
0.027 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.029 * * * [progress]: generating series expansions
0.029 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.029 * [approximate]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ g a) 1/3)) in (g a) around 0
0.030 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ g a) 1/3)) in a
0.030 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a
0.030 * [taylor]: Taking taylor expansion of 0.5 in a
0.031 * [taylor]: Taking taylor expansion of (pow (/ g a) 1/3) in a
0.031 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ g a)))) in a
0.031 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ g a))) in a
0.031 * [taylor]: Taking taylor expansion of 1/3 in a
0.031 * [taylor]: Taking taylor expansion of (log (/ g a)) in a
0.031 * [taylor]: Taking taylor expansion of (/ g a) in a
0.031 * [taylor]: Taking taylor expansion of g in a
0.031 * [taylor]: Taking taylor expansion of a in a
0.031 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ g a) 1/3)) in g
0.031 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g
0.031 * [taylor]: Taking taylor expansion of 0.5 in g
0.032 * [taylor]: Taking taylor expansion of (pow (/ g a) 1/3) in g
0.032 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ g a)))) in g
0.032 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ g a))) in g
0.032 * [taylor]: Taking taylor expansion of 1/3 in g
0.032 * [taylor]: Taking taylor expansion of (log (/ g a)) in g
0.032 * [taylor]: Taking taylor expansion of (/ g a) in g
0.032 * [taylor]: Taking taylor expansion of g in g
0.032 * [taylor]: Taking taylor expansion of a in g
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.033 * [taylor]: Taking taylor expansion of (pow (/ g a) 1/3) in g
0.033 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ g a)))) in g
0.033 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ g a))) in g
0.033 * [taylor]: Taking taylor expansion of 1/3 in g
0.033 * [taylor]: Taking taylor expansion of (log (/ g a)) in g
0.033 * [taylor]: Taking taylor expansion of (/ g a) in g
0.033 * [taylor]: Taking taylor expansion of g in g
0.033 * [taylor]: Taking taylor expansion of a in g
0.034 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (exp (* 1/3 (+ (log (/ 1 a)) (log g))))) in a
0.034 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a
0.034 * [taylor]: Taking taylor expansion of 0.5 in a
0.035 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (/ 1 a)) (log g)))) in a
0.035 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (/ 1 a)) (log g))) in a
0.035 * [taylor]: Taking taylor expansion of 1/3 in a
0.035 * [taylor]: Taking taylor expansion of (+ (log (/ 1 a)) (log g)) in a
0.035 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
0.035 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.035 * [taylor]: Taking taylor expansion of a in a
0.036 * [taylor]: Taking taylor expansion of (log g) in a
0.036 * [taylor]: Taking taylor expansion of g in a
0.039 * [taylor]: Taking taylor expansion of 0 in a
0.046 * [taylor]: Taking taylor expansion of 0 in a
0.057 * [taylor]: Taking taylor expansion of 0 in a
0.058 * [approximate]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ a g) 1/3)) in (g a) around 0
0.058 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ a g) 1/3)) in a
0.058 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a
0.058 * [taylor]: Taking taylor expansion of 0.5 in a
0.058 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in a
0.058 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in a
0.058 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in a
0.058 * [taylor]: Taking taylor expansion of 1/3 in a
0.059 * [taylor]: Taking taylor expansion of (log (/ a g)) in a
0.059 * [taylor]: Taking taylor expansion of (/ a g) in a
0.059 * [taylor]: Taking taylor expansion of a in a
0.059 * [taylor]: Taking taylor expansion of g in a
0.059 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ a g) 1/3)) in g
0.059 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g
0.059 * [taylor]: Taking taylor expansion of 0.5 in g
0.060 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in g
0.060 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in g
0.060 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in g
0.060 * [taylor]: Taking taylor expansion of 1/3 in g
0.060 * [taylor]: Taking taylor expansion of (log (/ a g)) in g
0.060 * [taylor]: Taking taylor expansion of (/ a g) in g
0.060 * [taylor]: Taking taylor expansion of a in g
0.060 * [taylor]: Taking taylor expansion of g in g
0.061 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ a g) 1/3)) in g
0.061 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g
0.061 * [taylor]: Taking taylor expansion of 0.5 in g
0.061 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in g
0.061 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in g
0.061 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in g
0.061 * [taylor]: Taking taylor expansion of 1/3 in g
0.061 * [taylor]: Taking taylor expansion of (log (/ a g)) in g
0.061 * [taylor]: Taking taylor expansion of (/ a g) in g
0.061 * [taylor]: Taking taylor expansion of a in g
0.062 * [taylor]: Taking taylor expansion of g in g
0.062 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (exp (* 1/3 (- (log a) (log g))))) in a
0.062 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a
0.062 * [taylor]: Taking taylor expansion of 0.5 in a
0.063 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log a) (log g)))) in a
0.063 * [taylor]: Taking taylor expansion of (* 1/3 (- (log a) (log g))) in a
0.063 * [taylor]: Taking taylor expansion of 1/3 in a
0.063 * [taylor]: Taking taylor expansion of (- (log a) (log g)) in a
0.063 * [taylor]: Taking taylor expansion of (log a) in a
0.063 * [taylor]: Taking taylor expansion of a in a
0.063 * [taylor]: Taking taylor expansion of (log g) in a
0.063 * [taylor]: Taking taylor expansion of g in a
0.067 * [taylor]: Taking taylor expansion of 0 in a
0.074 * [taylor]: Taking taylor expansion of 0 in a
0.086 * [taylor]: Taking taylor expansion of 0 in a
0.086 * [approximate]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ a g) 1/3)) in (g a) around 0
0.086 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ a g) 1/3)) in a
0.086 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a
0.086 * [taylor]: Taking taylor expansion of 0.5 in a
0.087 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in a
0.087 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in a
0.087 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in a
0.087 * [taylor]: Taking taylor expansion of 1/3 in a
0.087 * [taylor]: Taking taylor expansion of (log (/ a g)) in a
0.087 * [taylor]: Taking taylor expansion of (/ a g) in a
0.087 * [taylor]: Taking taylor expansion of a in a
0.087 * [taylor]: Taking taylor expansion of g in a
0.088 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ a g) 1/3)) in g
0.088 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g
0.088 * [taylor]: Taking taylor expansion of 0.5 in g
0.088 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in g
0.088 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in g
0.088 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in g
0.088 * [taylor]: Taking taylor expansion of 1/3 in g
0.088 * [taylor]: Taking taylor expansion of (log (/ a g)) in g
0.088 * [taylor]: Taking taylor expansion of (/ a g) in g
0.088 * [taylor]: Taking taylor expansion of a in g
0.088 * [taylor]: Taking taylor expansion of g in g
0.089 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ a g) 1/3)) in g
0.089 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g
0.089 * [taylor]: Taking taylor expansion of 0.5 in g
0.090 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in g
0.090 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in g
0.090 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in g
0.090 * [taylor]: Taking taylor expansion of 1/3 in g
0.090 * [taylor]: Taking taylor expansion of (log (/ a g)) in g
0.090 * [taylor]: Taking taylor expansion of (/ a g) in g
0.090 * [taylor]: Taking taylor expansion of a in g
0.090 * [taylor]: Taking taylor expansion of g in g
0.091 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (exp (* 1/3 (- (log a) (log g))))) 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.091 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log a) (log g)))) in a
0.091 * [taylor]: Taking taylor expansion of (* 1/3 (- (log a) (log g))) in a
0.091 * [taylor]: Taking taylor expansion of 1/3 in a
0.091 * [taylor]: Taking taylor expansion of (- (log a) (log g)) in a
0.091 * [taylor]: Taking taylor expansion of (log a) in a
0.091 * [taylor]: Taking taylor expansion of a in a
0.092 * [taylor]: Taking taylor expansion of (log g) in a
0.092 * [taylor]: Taking taylor expansion of g in a
0.100 * [taylor]: Taking taylor expansion of 0 in a
0.108 * [taylor]: Taking taylor expansion of 0 in a
0.120 * [taylor]: Taking taylor expansion of 0 in a
0.120 * * * [progress]: simplifying candidates
0.121 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (cbrt (/ g (* 2.0 a))))
  (log1p (cbrt (/ g (* 2.0 a))))
  (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.124 * * [simplify]: iteration  0 :  96  enodes  (cost  122 )
0.126 * * [simplify]: iteration  1 :  156  enodes  (cost  113 )
0.128 * * [simplify]: iteration  2 :  356  enodes  (cost  111 )
0.133 * * [simplify]: iteration  3 :  986  enodes  (cost  109 )
0.157 * * [simplify]: iteration  4 :  4792  enodes  (cost  105 )
0.277 * * [simplify]: iteration  5 :  5001  enodes  (cost  105 )
0.278 * [simplify]: Simplified to:
   (expm1 (cbrt (/ g (* 2.0 a))))
  (log1p (cbrt (/ g (* 2.0 a))))
  (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.322 * * [progress]: iteration 2 / 4
0.322 * * * [progress]: picking best candidate
0.343 * * * * [pick]: Picked  #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (cbrt (/ (cbrt g) a))))>
0.343 * * * [progress]: localizing error
0.353 * * * [progress]: generating rewritten candidates
0.353 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.355 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1)
0.356 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2)
0.356 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1)
0.359 * * * [progress]: generating series expansions
0.359 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.359 * [approximate]: Taking taylor expansion of (* (pow (/ 1 a) 1/3) (pow g 1/9)) in (g a) around 0
0.359 * [taylor]: Taking taylor expansion of (* (pow (/ 1 a) 1/3) (pow g 1/9)) in a
0.359 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
0.359 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
0.359 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
0.359 * [taylor]: Taking taylor expansion of 1/3 in a
0.359 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
0.359 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.359 * [taylor]: Taking taylor expansion of a in a
0.360 * [taylor]: Taking taylor expansion of (pow g 1/9) in a
0.360 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log g))) in a
0.360 * [taylor]: Taking taylor expansion of (* 1/9 (log g)) in a
0.360 * [taylor]: Taking taylor expansion of 1/9 in a
0.360 * [taylor]: Taking taylor expansion of (log g) in a
0.360 * [taylor]: Taking taylor expansion of g in a
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.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.361 * [taylor]: Taking taylor expansion of (* (pow (/ 1 a) 1/3) (pow g 1/9)) in g
0.361 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in g
0.361 * [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.366 * [taylor]: Taking taylor expansion of 0 in a
0.375 * [taylor]: Taking taylor expansion of 0 in a
0.393 * [taylor]: Taking taylor expansion of 0 in a
0.394 * [approximate]: Taking taylor expansion of (* (pow a 1/3) (pow (/ 1 g) 1/9)) in (g a) around 0
0.394 * [taylor]: Taking taylor expansion of (* (pow a 1/3) (pow (/ 1 g) 1/9)) in a
0.394 * [taylor]: Taking taylor expansion of (pow a 1/3) in a
0.394 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a
0.394 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a
0.394 * [taylor]: Taking taylor expansion of 1/3 in a
0.394 * [taylor]: Taking taylor expansion of (log a) in a
0.394 * [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.395 * [taylor]: Taking taylor expansion of g in a
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 g
0.396 * [taylor]: Taking taylor expansion of (pow a 1/3) in g
0.396 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in g
0.396 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in g
0.396 * [taylor]: Taking taylor expansion of 1/3 in g
0.396 * [taylor]: Taking taylor expansion of (log a) in g
0.396 * [taylor]: Taking taylor expansion of a in g
0.396 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/9) in g
0.396 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 g)))) in g
0.396 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 g))) in g
0.396 * [taylor]: Taking taylor expansion of 1/9 in g
0.396 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
0.396 * [taylor]: Taking taylor expansion of (/ 1 g) in g
0.396 * [taylor]: Taking taylor expansion of g in g
0.397 * [taylor]: Taking taylor expansion of (* (pow a 1/3) (pow (/ 1 g) 1/9)) in a
0.397 * [taylor]: Taking taylor expansion of (pow a 1/3) in a
0.397 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a
0.397 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a
0.397 * [taylor]: Taking taylor expansion of 1/3 in a
0.397 * [taylor]: Taking taylor expansion of (log a) in a
0.397 * [taylor]: Taking taylor expansion of a in a
0.398 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/9) in a
0.398 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 g)))) in a
0.398 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 g))) in a
0.398 * [taylor]: Taking taylor expansion of 1/9 in a
0.398 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in a
0.398 * [taylor]: Taking taylor expansion of (/ 1 g) in a
0.398 * [taylor]: Taking taylor expansion of g in a
0.402 * [taylor]: Taking taylor expansion of 0 in a
0.410 * [taylor]: Taking taylor expansion of 0 in a
0.424 * [taylor]: Taking taylor expansion of 0 in a
0.425 * [approximate]: Taking taylor expansion of (* (pow (* (pow (cbrt -1) 4) a) 1/3) (pow (/ 1 g) 1/9)) in (g a) around 0
0.425 * [taylor]: Taking taylor expansion of (* (pow (* (pow (cbrt -1) 4) a) 1/3) (pow (/ 1 g) 1/9)) in a
0.425 * [taylor]: Taking taylor expansion of (pow (* (pow (cbrt -1) 4) a) 1/3) in a
0.425 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (cbrt -1) 4) a)))) in a
0.425 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (cbrt -1) 4) a))) in a
0.425 * [taylor]: Taking taylor expansion of 1/3 in a
0.425 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 4) a)) in a
0.425 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 4) a) in a
0.425 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 4) in a
0.425 * [taylor]: Taking taylor expansion of (cbrt -1) in a
0.425 * [taylor]: Taking taylor expansion of -1 in a
0.425 * [taylor]: Taking taylor expansion of a in a
0.435 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/9) in a
0.435 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 g)))) in a
0.435 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 g))) in a
0.435 * [taylor]: Taking taylor expansion of 1/9 in a
0.435 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in a
0.435 * [taylor]: Taking taylor expansion of (/ 1 g) in a
0.435 * [taylor]: Taking taylor expansion of g in a
0.436 * [taylor]: Taking taylor expansion of (* (pow (* (pow (cbrt -1) 4) a) 1/3) (pow (/ 1 g) 1/9)) in g
0.436 * [taylor]: Taking taylor expansion of (pow (* (pow (cbrt -1) 4) a) 1/3) in g
0.436 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (cbrt -1) 4) a)))) in g
0.436 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (cbrt -1) 4) a))) in g
0.436 * [taylor]: Taking taylor expansion of 1/3 in g
0.436 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 4) a)) in g
0.436 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 4) a) in g
0.436 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 4) in g
0.436 * [taylor]: Taking taylor expansion of (cbrt -1) in g
0.436 * [taylor]: Taking taylor expansion of -1 in g
0.436 * [taylor]: Taking taylor expansion of a in g
0.441 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/9) in g
0.441 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 g)))) in g
0.441 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 g))) in g
0.441 * [taylor]: Taking taylor expansion of 1/9 in g
0.442 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
0.442 * [taylor]: Taking taylor expansion of (/ 1 g) in g
0.442 * [taylor]: Taking taylor expansion of g in g
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.448 * [taylor]: Taking taylor expansion of (/ 1 g) in g
0.448 * [taylor]: Taking taylor expansion of g in g
0.450 * [taylor]: Taking taylor expansion of (* (pow (* (pow (cbrt -1) 4) a) 1/3) (pow (/ 1 g) 1/9)) in a
0.450 * [taylor]: Taking taylor expansion of (pow (* (pow (cbrt -1) 4) a) 1/3) in a
0.450 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (cbrt -1) 4) a)))) in a
0.450 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (cbrt -1) 4) a))) in a
0.450 * [taylor]: Taking taylor expansion of 1/3 in a
0.450 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 4) a)) in a
0.450 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 4) a) in a
0.450 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 4) in a
0.450 * [taylor]: Taking taylor expansion of (cbrt -1) in a
0.450 * [taylor]: Taking taylor expansion of -1 in a
0.451 * [taylor]: Taking taylor expansion of a in a
0.461 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/9) in a
0.461 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 g)))) in a
0.461 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 g))) in a
0.461 * [taylor]: Taking taylor expansion of 1/9 in a
0.461 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in a
0.461 * [taylor]: Taking taylor expansion of (/ 1 g) in a
0.461 * [taylor]: Taking taylor expansion of g in a
0.470 * [taylor]: Taking taylor expansion of 0 in a
0.498 * [taylor]: Taking taylor expansion of 0 in a
0.526 * [taylor]: Taking taylor expansion of 0 in a
0.527 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1)
0.527 * [approximate]: Taking taylor expansion of (pow g 1/3) in (g) around 0
0.527 * [taylor]: Taking taylor expansion of (pow g 1/3) in g
0.527 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log g))) in g
0.527 * [taylor]: Taking taylor expansion of (* 1/3 (log g)) in g
0.527 * [taylor]: Taking taylor expansion of 1/3 in g
0.527 * [taylor]: Taking taylor expansion of (log g) in g
0.527 * [taylor]: Taking taylor expansion of g in g
0.528 * [taylor]: Taking taylor expansion of (pow g 1/3) in g
0.528 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log g))) in g
0.528 * [taylor]: Taking taylor expansion of (* 1/3 (log g)) in g
0.528 * [taylor]: Taking taylor expansion of 1/3 in g
0.528 * [taylor]: Taking taylor expansion of (log g) in g
0.528 * [taylor]: Taking taylor expansion of g in g
0.581 * [approximate]: Taking taylor expansion of (pow (/ 1 g) 1/3) in (g) around 0
0.581 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g
0.581 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g
0.581 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g
0.581 * [taylor]: Taking taylor expansion of 1/3 in g
0.581 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
0.581 * [taylor]: Taking taylor expansion of (/ 1 g) in g
0.581 * [taylor]: Taking taylor expansion of g in g
0.582 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g
0.582 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g
0.582 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g
0.582 * [taylor]: Taking taylor expansion of 1/3 in g
0.582 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
0.582 * [taylor]: Taking taylor expansion of (/ 1 g) in g
0.582 * [taylor]: Taking taylor expansion of g in g
0.638 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in (g) around 0
0.638 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in g
0.638 * [taylor]: Taking taylor expansion of (cbrt -1) in g
0.638 * [taylor]: Taking taylor expansion of -1 in g
0.639 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g
0.639 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g
0.639 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g
0.639 * [taylor]: Taking taylor expansion of 1/3 in g
0.639 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
0.639 * [taylor]: Taking taylor expansion of (/ 1 g) in g
0.639 * [taylor]: Taking taylor expansion of g in g
0.640 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in g
0.640 * [taylor]: Taking taylor expansion of (cbrt -1) in g
0.640 * [taylor]: Taking taylor expansion of -1 in g
0.640 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g
0.640 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g
0.641 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g
0.641 * [taylor]: Taking taylor expansion of 1/3 in g
0.641 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
0.641 * [taylor]: Taking taylor expansion of (/ 1 g) in g
0.641 * [taylor]: Taking taylor expansion of g in g
0.701 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2)
0.701 * [approximate]: Taking taylor expansion of (pow g 1/3) in (g) around 0
0.702 * [taylor]: Taking taylor expansion of (pow g 1/3) in g
0.702 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log g))) in g
0.702 * [taylor]: Taking taylor expansion of (* 1/3 (log g)) in g
0.702 * [taylor]: Taking taylor expansion of 1/3 in g
0.702 * [taylor]: Taking taylor expansion of (log g) in g
0.702 * [taylor]: Taking taylor expansion of g in g
0.708 * [taylor]: Taking taylor expansion of (pow g 1/3) in g
0.708 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log g))) in g
0.708 * [taylor]: Taking taylor expansion of (* 1/3 (log g)) in g
0.708 * [taylor]: Taking taylor expansion of 1/3 in g
0.708 * [taylor]: Taking taylor expansion of (log g) in g
0.708 * [taylor]: Taking taylor expansion of g in g
0.755 * [approximate]: Taking taylor expansion of (pow (/ 1 g) 1/3) in (g) around 0
0.755 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g
0.755 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g
0.755 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g
0.755 * [taylor]: Taking taylor expansion of 1/3 in g
0.755 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
0.755 * [taylor]: Taking taylor expansion of (/ 1 g) in g
0.755 * [taylor]: Taking taylor expansion of g in g
0.756 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g
0.756 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g
0.756 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g
0.756 * [taylor]: Taking taylor expansion of 1/3 in g
0.756 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
0.756 * [taylor]: Taking taylor expansion of (/ 1 g) in g
0.756 * [taylor]: Taking taylor expansion of g in g
0.812 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in (g) around 0
0.812 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in g
0.812 * [taylor]: Taking taylor expansion of (cbrt -1) in g
0.812 * [taylor]: Taking taylor expansion of -1 in g
0.813 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g
0.813 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g
0.813 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g
0.813 * [taylor]: Taking taylor expansion of 1/3 in g
0.813 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
0.813 * [taylor]: Taking taylor expansion of (/ 1 g) in g
0.813 * [taylor]: Taking taylor expansion of g in g
0.814 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in g
0.814 * [taylor]: Taking taylor expansion of (cbrt -1) in g
0.814 * [taylor]: Taking taylor expansion of -1 in g
0.815 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g
0.815 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g
0.815 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g
0.815 * [taylor]: Taking taylor expansion of 1/3 in g
0.815 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
0.815 * [taylor]: Taking taylor expansion of (/ 1 g) in g
0.815 * [taylor]: Taking taylor expansion of g in g
0.881 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1)
0.881 * [approximate]: Taking taylor expansion of (pow g 1/3) in (g) around 0
0.881 * [taylor]: Taking taylor expansion of (pow g 1/3) in g
0.881 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log g))) in g
0.881 * [taylor]: Taking taylor expansion of (* 1/3 (log g)) in g
0.881 * [taylor]: Taking taylor expansion of 1/3 in g
0.881 * [taylor]: Taking taylor expansion of (log g) in g
0.881 * [taylor]: Taking taylor expansion of g in g
0.882 * [taylor]: Taking taylor expansion of (pow g 1/3) in g
0.882 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log g))) in g
0.882 * [taylor]: Taking taylor expansion of (* 1/3 (log g)) in g
0.882 * [taylor]: Taking taylor expansion of 1/3 in g
0.882 * [taylor]: Taking taylor expansion of (log g) in g
0.882 * [taylor]: Taking taylor expansion of g in g
0.928 * [approximate]: Taking taylor expansion of (pow (/ 1 g) 1/3) in (g) around 0
0.929 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g
0.929 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g
0.929 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g
0.929 * [taylor]: Taking taylor expansion of 1/3 in g
0.929 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
0.929 * [taylor]: Taking taylor expansion of (/ 1 g) in g
0.929 * [taylor]: Taking taylor expansion of g in g
0.929 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g
0.929 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g
0.930 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g
0.930 * [taylor]: Taking taylor expansion of 1/3 in g
0.930 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
0.930 * [taylor]: Taking taylor expansion of (/ 1 g) in g
0.936 * [taylor]: Taking taylor expansion of g in g
0.987 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in (g) around 0
0.987 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in g
0.987 * [taylor]: Taking taylor expansion of (cbrt -1) in g
0.987 * [taylor]: Taking taylor expansion of -1 in g
0.988 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g
0.988 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g
0.988 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g
0.988 * [taylor]: Taking taylor expansion of 1/3 in g
0.988 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
0.988 * [taylor]: Taking taylor expansion of (/ 1 g) in g
0.988 * [taylor]: Taking taylor expansion of g in g
0.988 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in g
0.988 * [taylor]: Taking taylor expansion of (cbrt -1) in g
0.989 * [taylor]: Taking taylor expansion of -1 in g
0.989 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g
0.989 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g
0.989 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g
0.989 * [taylor]: Taking taylor expansion of 1/3 in g
0.989 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
0.989 * [taylor]: Taking taylor expansion of (/ 1 g) in g
0.989 * [taylor]: Taking taylor expansion of g in g
1.244 * * * [progress]: simplifying candidates
1.246 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (cbrt (/ (cbrt g) a)))
  (log1p (cbrt (/ (cbrt g) a)))
  (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)))
  (expm1 (cbrt g))
  (log1p (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))
  (expm1 (cbrt g))
  (log1p (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))
  (expm1 (cbrt g))
  (log1p (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.249 * * [simplify]: iteration  0 :  175  enodes  (cost  406 )
1.252 * * [simplify]: iteration  1 :  390  enodes  (cost  390 )
1.259 * * [simplify]: iteration  2 :  1216  enodes  (cost  380 )
1.285 * * [simplify]: iteration  3 :  5001  enodes  (cost  369 )
1.287 * [simplify]: Simplified to:
   (expm1 (cbrt (/ (cbrt g) a)))
  (log1p (cbrt (/ (cbrt g) a)))
  (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)))
  (expm1 (cbrt g))
  (log1p (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))
  (expm1 (cbrt g))
  (log1p (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))
  (expm1 (cbrt g))
  (log1p (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.287 * * * [progress]: adding candidates to table
1.522 * * [progress]: iteration 3 / 4
1.522 * * * [progress]: picking best candidate
1.576 * * * * [pick]: Picked  #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (/ (cbrt (cbrt g)) (cbrt a))))>
1.576 * * * [progress]: localizing error
1.587 * * * [progress]: generating rewritten candidates
1.587 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
1.588 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
1.588 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
1.589 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2)
1.590 * * * [progress]: generating series expansions
1.590 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
1.590 * [approximate]: Taking taylor expansion of (pow g 1/9) in (g) around 0
1.590 * [taylor]: Taking taylor expansion of (pow g 1/9) in g
1.590 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log g))) in g
1.591 * [taylor]: Taking taylor expansion of (* 1/9 (log g)) in g
1.591 * [taylor]: Taking taylor expansion of 1/9 in g
1.591 * [taylor]: Taking taylor expansion of (log g) in g
1.591 * [taylor]: Taking taylor expansion of g in g
1.591 * [taylor]: Taking taylor expansion of (pow g 1/9) in g
1.591 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log g))) in g
1.591 * [taylor]: Taking taylor expansion of (* 1/9 (log g)) in g
1.591 * [taylor]: Taking taylor expansion of 1/9 in g
1.591 * [taylor]: Taking taylor expansion of (log g) in g
1.591 * [taylor]: Taking taylor expansion of g in g
1.641 * [approximate]: Taking taylor expansion of (pow (/ 1 g) 1/9) in (g) around 0
1.641 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/9) in g
1.641 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 g)))) in g
1.641 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 g))) in g
1.641 * [taylor]: Taking taylor expansion of 1/9 in g
1.641 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
1.641 * [taylor]: Taking taylor expansion of (/ 1 g) in g
1.641 * [taylor]: Taking taylor expansion of g in g
1.642 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/9) in g
1.642 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 g)))) in g
1.642 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 g))) in g
1.642 * [taylor]: Taking taylor expansion of 1/9 in g
1.642 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
1.642 * [taylor]: Taking taylor expansion of (/ 1 g) in g
1.642 * [taylor]: Taking taylor expansion of g in g
1.693 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 g) 1/9)) in (g) around 0
1.693 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 g) 1/9)) in g
1.694 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in g
1.694 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in g
1.694 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in g
1.694 * [taylor]: Taking taylor expansion of 1/3 in g
1.694 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in g
1.694 * [taylor]: Taking taylor expansion of (cbrt -1) in g
1.694 * [taylor]: Taking taylor expansion of -1 in g
1.697 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/9) in g
1.697 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 g)))) in g
1.697 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 g))) in g
1.697 * [taylor]: Taking taylor expansion of 1/9 in g
1.697 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
1.697 * [taylor]: Taking taylor expansion of (/ 1 g) in g
1.697 * [taylor]: Taking taylor expansion of g in g
1.698 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 g) 1/9)) in g
1.698 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in g
1.698 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in g
1.698 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in g
1.698 * [taylor]: Taking taylor expansion of 1/3 in g
1.698 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in g
1.698 * [taylor]: Taking taylor expansion of (cbrt -1) in g
1.698 * [taylor]: Taking taylor expansion of -1 in g
1.702 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/9) in g
1.702 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 g)))) in g
1.702 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 g))) in g
1.702 * [taylor]: Taking taylor expansion of 1/9 in g
1.702 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
1.702 * [taylor]: Taking taylor expansion of (/ 1 g) in g
1.702 * [taylor]: Taking taylor expansion of g in g
1.816 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
1.817 * [approximate]: Taking taylor expansion of (pow a 1/3) in (a) around 0
1.817 * [taylor]: Taking taylor expansion of (pow a 1/3) in a
1.817 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a
1.817 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a
1.817 * [taylor]: Taking taylor expansion of 1/3 in a
1.817 * [taylor]: Taking taylor expansion of (log a) in a
1.817 * [taylor]: Taking taylor expansion of a in a
1.817 * [taylor]: Taking taylor expansion of (pow a 1/3) in a
1.817 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a
1.817 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a
1.817 * [taylor]: Taking taylor expansion of 1/3 in a
1.817 * [taylor]: Taking taylor expansion of (log a) in a
1.817 * [taylor]: Taking taylor expansion of a in a
1.867 * [approximate]: Taking taylor expansion of (pow (/ 1 a) 1/3) in (a) around 0
1.867 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
1.867 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
1.867 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
1.867 * [taylor]: Taking taylor expansion of 1/3 in a
1.867 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
1.867 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.867 * [taylor]: Taking taylor expansion of a in a
1.868 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
1.868 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
1.868 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
1.868 * [taylor]: Taking taylor expansion of 1/3 in a
1.868 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
1.868 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.868 * [taylor]: Taking taylor expansion of a in a
1.921 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in (a) around 0
1.921 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in a
1.921 * [taylor]: Taking taylor expansion of (cbrt -1) in a
1.921 * [taylor]: Taking taylor expansion of -1 in a
1.922 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
1.922 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
1.922 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
1.922 * [taylor]: Taking taylor expansion of 1/3 in a
1.922 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
1.922 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.922 * [taylor]: Taking taylor expansion of a in a
1.923 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in a
1.923 * [taylor]: Taking taylor expansion of (cbrt -1) in a
1.923 * [taylor]: Taking taylor expansion of -1 in a
1.924 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
1.924 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
1.924 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
1.924 * [taylor]: Taking taylor expansion of 1/3 in a
1.924 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
1.924 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.924 * [taylor]: Taking taylor expansion of a in a
1.988 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
1.988 * [approximate]: Taking taylor expansion of (pow g 1/3) in (g) around 0
1.988 * [taylor]: Taking taylor expansion of (pow g 1/3) in g
1.989 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log g))) in g
1.989 * [taylor]: Taking taylor expansion of (* 1/3 (log g)) in g
1.989 * [taylor]: Taking taylor expansion of 1/3 in g
1.989 * [taylor]: Taking taylor expansion of (log g) in g
1.989 * [taylor]: Taking taylor expansion of g in g
1.989 * [taylor]: Taking taylor expansion of (pow g 1/3) in g
1.989 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log g))) in g
1.989 * [taylor]: Taking taylor expansion of (* 1/3 (log g)) in g
1.989 * [taylor]: Taking taylor expansion of 1/3 in g
1.989 * [taylor]: Taking taylor expansion of (log g) in g
1.989 * [taylor]: Taking taylor expansion of g in g
2.035 * [approximate]: Taking taylor expansion of (pow (/ 1 g) 1/3) in (g) around 0
2.035 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g
2.036 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g
2.036 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g
2.036 * [taylor]: Taking taylor expansion of 1/3 in g
2.036 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
2.036 * [taylor]: Taking taylor expansion of (/ 1 g) in g
2.036 * [taylor]: Taking taylor expansion of g in g
2.036 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g
2.036 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g
2.036 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g
2.037 * [taylor]: Taking taylor expansion of 1/3 in g
2.037 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
2.037 * [taylor]: Taking taylor expansion of (/ 1 g) in g
2.037 * [taylor]: Taking taylor expansion of g in g
2.092 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in (g) around 0
2.092 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in g
2.092 * [taylor]: Taking taylor expansion of (cbrt -1) in g
2.092 * [taylor]: Taking taylor expansion of -1 in g
2.093 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g
2.093 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g
2.093 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g
2.093 * [taylor]: Taking taylor expansion of 1/3 in g
2.093 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
2.093 * [taylor]: Taking taylor expansion of (/ 1 g) in g
2.093 * [taylor]: Taking taylor expansion of g in g
2.094 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in g
2.094 * [taylor]: Taking taylor expansion of (cbrt -1) in g
2.094 * [taylor]: Taking taylor expansion of -1 in g
2.094 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g
2.094 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g
2.094 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g
2.094 * [taylor]: Taking taylor expansion of 1/3 in g
2.094 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
2.094 * [taylor]: Taking taylor expansion of (/ 1 g) in g
2.094 * [taylor]: Taking taylor expansion of g in g
2.161 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2)
2.161 * [approximate]: Taking taylor expansion of (pow g 1/3) in (g) around 0
2.161 * [taylor]: Taking taylor expansion of (pow g 1/3) in g
2.161 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log g))) in g
2.161 * [taylor]: Taking taylor expansion of (* 1/3 (log g)) in g
2.161 * [taylor]: Taking taylor expansion of 1/3 in g
2.161 * [taylor]: Taking taylor expansion of (log g) in g
2.161 * [taylor]: Taking taylor expansion of g in g
2.162 * [taylor]: Taking taylor expansion of (pow g 1/3) in g
2.162 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log g))) in g
2.162 * [taylor]: Taking taylor expansion of (* 1/3 (log g)) in g
2.162 * [taylor]: Taking taylor expansion of 1/3 in g
2.162 * [taylor]: Taking taylor expansion of (log g) in g
2.162 * [taylor]: Taking taylor expansion of g in g
2.214 * [approximate]: Taking taylor expansion of (pow (/ 1 g) 1/3) in (g) around 0
2.214 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g
2.215 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g
2.215 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g
2.215 * [taylor]: Taking taylor expansion of 1/3 in g
2.215 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
2.215 * [taylor]: Taking taylor expansion of (/ 1 g) in g
2.215 * [taylor]: Taking taylor expansion of g in g
2.215 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g
2.215 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g
2.215 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g
2.215 * [taylor]: Taking taylor expansion of 1/3 in g
2.216 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
2.216 * [taylor]: Taking taylor expansion of (/ 1 g) in g
2.216 * [taylor]: Taking taylor expansion of g in g
2.265 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in (g) around 0
2.265 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in g
2.265 * [taylor]: Taking taylor expansion of (cbrt -1) in g
2.265 * [taylor]: Taking taylor expansion of -1 in g
2.266 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g
2.266 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g
2.266 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g
2.266 * [taylor]: Taking taylor expansion of 1/3 in g
2.266 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
2.266 * [taylor]: Taking taylor expansion of (/ 1 g) in g
2.266 * [taylor]: Taking taylor expansion of g in g
2.267 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in g
2.267 * [taylor]: Taking taylor expansion of (cbrt -1) in g
2.267 * [taylor]: Taking taylor expansion of -1 in g
2.268 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g
2.268 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g
2.268 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g
2.268 * [taylor]: Taking taylor expansion of 1/3 in g
2.268 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
2.268 * [taylor]: Taking taylor expansion of (/ 1 g) in g
2.268 * [taylor]: Taking taylor expansion of g in g
2.334 * * * [progress]: simplifying candidates
2.335 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (cbrt (cbrt g)))
  (log1p (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)))
  (expm1 (cbrt a))
  (log1p (cbrt a))
  (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))
  (expm1 (cbrt g))
  (log1p (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))
  (expm1 (cbrt g))
  (log1p (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.338 * * [simplify]: iteration  0 :  106  enodes  (cost  209 )
2.340 * * [simplify]: iteration  1 :  211  enodes  (cost  195 )
2.344 * * [simplify]: iteration  2 :  516  enodes  (cost  187 )
2.354 * * [simplify]: iteration  3 :  1966  enodes  (cost  187 )
2.391 * * [simplify]: iteration  4 :  5002  enodes  (cost  187 )
2.392 * [simplify]: Simplified to:
   (expm1 (cbrt (cbrt g)))
  (log1p (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)))
  (pow g 1/3)
  (sqrt (cbrt (cbrt g)))
  (sqrt (cbrt (cbrt g)))
  (expm1 (cbrt a))
  (log1p (cbrt a))
  (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))
  (expm1 (cbrt g))
  (log1p (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))
  (expm1 (cbrt g))
  (log1p (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.393 * * * [progress]: adding candidates to table
2.608 * * [progress]: iteration 4 / 4
2.608 * * * [progress]: picking best candidate
2.673 * * * * [pick]: Picked  #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g)))) 2.0)) (/ (cbrt (cbrt g)) (cbrt a))))>
2.673 * * * [progress]: localizing error
2.688 * * * [progress]: generating rewritten candidates
2.688 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
2.689 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 2)
2.690 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 1)
2.692 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
2.694 * * * [progress]: generating series expansions
2.694 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
2.694 * [approximate]: Taking taylor expansion of (pow g 1/9) in (g) around 0
2.694 * [taylor]: Taking taylor expansion of (pow g 1/9) in g
2.694 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log g))) in g
2.694 * [taylor]: Taking taylor expansion of (* 1/9 (log g)) in g
2.694 * [taylor]: Taking taylor expansion of 1/9 in g
2.694 * [taylor]: Taking taylor expansion of (log g) in g
2.694 * [taylor]: Taking taylor expansion of g in g
2.695 * [taylor]: Taking taylor expansion of (pow g 1/9) in g
2.695 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log g))) in g
2.695 * [taylor]: Taking taylor expansion of (* 1/9 (log g)) in g
2.695 * [taylor]: Taking taylor expansion of 1/9 in g
2.695 * [taylor]: Taking taylor expansion of (log g) in g
2.695 * [taylor]: Taking taylor expansion of g in g
2.748 * [approximate]: Taking taylor expansion of (pow (/ 1 g) 1/9) in (g) around 0
2.748 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/9) in g
2.748 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 g)))) in g
2.748 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 g))) in g
2.748 * [taylor]: Taking taylor expansion of 1/9 in g
2.748 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
2.748 * [taylor]: Taking taylor expansion of (/ 1 g) in g
2.748 * [taylor]: Taking taylor expansion of g in g
2.749 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/9) in g
2.749 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 g)))) in g
2.749 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 g))) in g
2.749 * [taylor]: Taking taylor expansion of 1/9 in g
2.749 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
2.749 * [taylor]: Taking taylor expansion of (/ 1 g) in g
2.749 * [taylor]: Taking taylor expansion of g in g
2.804 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 g) 1/9)) in (g) around 0
2.804 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 g) 1/9)) in g
2.804 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in g
2.804 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in g
2.804 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in g
2.804 * [taylor]: Taking taylor expansion of 1/3 in g
2.804 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in g
2.804 * [taylor]: Taking taylor expansion of (cbrt -1) in g
2.804 * [taylor]: Taking taylor expansion of -1 in g
2.808 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/9) in g
2.808 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 g)))) in g
2.808 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 g))) in g
2.808 * [taylor]: Taking taylor expansion of 1/9 in g
2.808 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
2.808 * [taylor]: Taking taylor expansion of (/ 1 g) in g
2.808 * [taylor]: Taking taylor expansion of g in g
2.809 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 g) 1/9)) in g
2.809 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in g
2.809 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in g
2.809 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in g
2.809 * [taylor]: Taking taylor expansion of 1/3 in g
2.809 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in g
2.809 * [taylor]: Taking taylor expansion of (cbrt -1) in g
2.809 * [taylor]: Taking taylor expansion of -1 in g
2.812 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/9) in g
2.812 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 g)))) in g
2.812 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 g))) in g
2.812 * [taylor]: Taking taylor expansion of 1/9 in g
2.812 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
2.812 * [taylor]: Taking taylor expansion of (/ 1 g) in g
2.812 * [taylor]: Taking taylor expansion of g in g
2.929 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 2)
2.930 * [approximate]: Taking taylor expansion of (pow g 1/9) in (g) around 0
2.930 * [taylor]: Taking taylor expansion of (pow g 1/9) in g
2.930 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log g))) in g
2.930 * [taylor]: Taking taylor expansion of (* 1/9 (log g)) in g
2.930 * [taylor]: Taking taylor expansion of 1/9 in g
2.930 * [taylor]: Taking taylor expansion of (log g) in g
2.930 * [taylor]: Taking taylor expansion of g in g
2.930 * [taylor]: Taking taylor expansion of (pow g 1/9) in g
2.930 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log g))) in g
2.930 * [taylor]: Taking taylor expansion of (* 1/9 (log g)) in g
2.930 * [taylor]: Taking taylor expansion of 1/9 in g
2.930 * [taylor]: Taking taylor expansion of (log g) in g
2.930 * [taylor]: Taking taylor expansion of g in g
2.982 * [approximate]: Taking taylor expansion of (pow (/ 1 g) 1/9) in (g) around 0
2.982 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/9) in g
2.982 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 g)))) in g
2.982 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 g))) in g
2.982 * [taylor]: Taking taylor expansion of 1/9 in g
2.983 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
2.983 * [taylor]: Taking taylor expansion of (/ 1 g) in g
2.983 * [taylor]: Taking taylor expansion of g in g
2.983 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/9) in g
2.983 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 g)))) in g
2.983 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 g))) in g
2.983 * [taylor]: Taking taylor expansion of 1/9 in g
2.983 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
2.983 * [taylor]: Taking taylor expansion of (/ 1 g) in g
2.983 * [taylor]: Taking taylor expansion of g in g
3.038 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 g) 1/9)) in (g) around 0
3.038 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 g) 1/9)) in g
3.038 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in g
3.038 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in g
3.038 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in g
3.038 * [taylor]: Taking taylor expansion of 1/3 in g
3.038 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in g
3.039 * [taylor]: Taking taylor expansion of (cbrt -1) in g
3.039 * [taylor]: Taking taylor expansion of -1 in g
3.042 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/9) in g
3.042 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 g)))) in g
3.042 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 g))) in g
3.042 * [taylor]: Taking taylor expansion of 1/9 in g
3.042 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
3.042 * [taylor]: Taking taylor expansion of (/ 1 g) in g
3.042 * [taylor]: Taking taylor expansion of g in g
3.043 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 g) 1/9)) in g
3.043 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in g
3.043 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in g
3.043 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in g
3.043 * [taylor]: Taking taylor expansion of 1/3 in g
3.043 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in g
3.043 * [taylor]: Taking taylor expansion of (cbrt -1) in g
3.043 * [taylor]: Taking taylor expansion of -1 in g
3.047 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/9) in g
3.047 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 g)))) in g
3.047 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 g))) in g
3.047 * [taylor]: Taking taylor expansion of 1/9 in g
3.047 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g
3.047 * [taylor]: Taking taylor expansion of (/ 1 g) in g
3.047 * [taylor]: Taking taylor expansion of g in g
3.164 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 1)
3.164 * [approximate]: Taking taylor expansion of (pow (pow g 2) 1/9) in (g) around 0
3.164 * [taylor]: Taking taylor expansion of (pow (pow g 2) 1/9) in g
3.165 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow g 2)))) in g
3.165 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow g 2))) in g
3.165 * [taylor]: Taking taylor expansion of 1/9 in g
3.165 * [taylor]: Taking taylor expansion of (log (pow g 2)) in g
3.165 * [taylor]: Taking taylor expansion of (pow g 2) in g
3.165 * [taylor]: Taking taylor expansion of g in g
3.165 * [taylor]: Taking taylor expansion of (pow (pow g 2) 1/9) in g
3.165 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow g 2)))) in g
3.165 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow g 2))) in g
3.165 * [taylor]: Taking taylor expansion of 1/9 in g
3.165 * [taylor]: Taking taylor expansion of (log (pow g 2)) in g
3.166 * [taylor]: Taking taylor expansion of (pow g 2) in g
3.166 * [taylor]: Taking taylor expansion of g in g
3.221 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow g 2)) 1/9) in (g) around 0
3.221 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow g 2)) 1/9) in g
3.221 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow g 2))))) in g
3.221 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow g 2)))) in g
3.221 * [taylor]: Taking taylor expansion of 1/9 in g
3.221 * [taylor]: Taking taylor expansion of (log (/ 1 (pow g 2))) in g
3.221 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g
3.221 * [taylor]: Taking taylor expansion of (pow g 2) in g
3.222 * [taylor]: Taking taylor expansion of g in g
3.223 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow g 2)) 1/9) in g
3.223 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow g 2))))) in g
3.223 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow g 2)))) in g
3.223 * [taylor]: Taking taylor expansion of 1/9 in g
3.223 * [taylor]: Taking taylor expansion of (log (/ 1 (pow g 2))) in g
3.223 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g
3.223 * [taylor]: Taking taylor expansion of (pow g 2) in g
3.223 * [taylor]: Taking taylor expansion of g in g
3.282 * [approximate]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2) 1/3) (pow (/ 1 (pow g 2)) 1/9)) in (g) around 0
3.282 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2) 1/3) (pow (/ 1 (pow g 2)) 1/9)) in g
3.282 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in g
3.282 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in g
3.282 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in g
3.282 * [taylor]: Taking taylor expansion of 1/3 in g
3.282 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in g
3.282 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in g
3.282 * [taylor]: Taking taylor expansion of (cbrt -1) in g
3.282 * [taylor]: Taking taylor expansion of -1 in g
3.288 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow g 2)) 1/9) in g
3.288 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow g 2))))) in g
3.288 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow g 2)))) in g
3.288 * [taylor]: Taking taylor expansion of 1/9 in g
3.288 * [taylor]: Taking taylor expansion of (log (/ 1 (pow g 2))) in g
3.288 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g
3.288 * [taylor]: Taking taylor expansion of (pow g 2) in g
3.288 * [taylor]: Taking taylor expansion of g in g
3.289 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2) 1/3) (pow (/ 1 (pow g 2)) 1/9)) in g
3.289 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in g
3.289 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in g
3.289 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in g
3.289 * [taylor]: Taking taylor expansion of 1/3 in g
3.289 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in g
3.289 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in g
3.289 * [taylor]: Taking taylor expansion of (cbrt -1) in g
3.289 * [taylor]: Taking taylor expansion of -1 in g
3.295 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow g 2)) 1/9) in g
3.295 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow g 2))))) in g
3.295 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow g 2)))) in g
3.295 * [taylor]: Taking taylor expansion of 1/9 in g
3.295 * [taylor]: Taking taylor expansion of (log (/ 1 (pow g 2))) in g
3.295 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g
3.295 * [taylor]: Taking taylor expansion of (pow g 2) in g
3.295 * [taylor]: Taking taylor expansion of g in g
3.430 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
3.430 * [approximate]: Taking taylor expansion of (pow a 1/3) in (a) around 0
3.430 * [taylor]: Taking taylor expansion of (pow a 1/3) in a
3.431 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a
3.431 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a
3.431 * [taylor]: Taking taylor expansion of 1/3 in a
3.431 * [taylor]: Taking taylor expansion of (log a) in a
3.431 * [taylor]: Taking taylor expansion of a in a
3.431 * [taylor]: Taking taylor expansion of (pow a 1/3) in a
3.431 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a
3.431 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a
3.431 * [taylor]: Taking taylor expansion of 1/3 in a
3.431 * [taylor]: Taking taylor expansion of (log a) in a
3.431 * [taylor]: Taking taylor expansion of a in a
3.484 * [approximate]: Taking taylor expansion of (pow (/ 1 a) 1/3) in (a) around 0
3.484 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
3.484 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
3.484 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
3.484 * [taylor]: Taking taylor expansion of 1/3 in a
3.484 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
3.484 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.484 * [taylor]: Taking taylor expansion of a in a
3.485 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
3.485 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
3.485 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
3.485 * [taylor]: Taking taylor expansion of 1/3 in a
3.485 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
3.485 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.485 * [taylor]: Taking taylor expansion of a in a
3.536 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in (a) around 0
3.536 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in a
3.536 * [taylor]: Taking taylor expansion of (cbrt -1) in a
3.536 * [taylor]: Taking taylor expansion of -1 in a
3.536 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
3.536 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
3.536 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
3.537 * [taylor]: Taking taylor expansion of 1/3 in a
3.537 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
3.537 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.537 * [taylor]: Taking taylor expansion of a in a
3.537 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in a
3.537 * [taylor]: Taking taylor expansion of (cbrt -1) in a
3.537 * [taylor]: Taking taylor expansion of -1 in a
3.538 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
3.538 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
3.538 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
3.538 * [taylor]: Taking taylor expansion of 1/3 in a
3.538 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
3.538 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.538 * [taylor]: Taking taylor expansion of a in a
3.604 * * * [progress]: simplifying candidates
3.606 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (cbrt (cbrt g)))
  (log1p (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)))
  (expm1 (cbrt (cbrt g)))
  (log1p (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)))
  (expm1 (cbrt (* (cbrt g) (cbrt g))))
  (log1p (cbrt (* (cbrt g) (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))))
  (expm1 (cbrt a))
  (log1p (cbrt a))
  (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.609 * * [simplify]: iteration  0 :  125  enodes  (cost  276 )
3.612 * * [simplify]: iteration  1 :  257  enodes  (cost  254 )
3.617 * * [simplify]: iteration  2 :  775  enodes  (cost  246 )
3.633 * * [simplify]: iteration  3 :  2978  enodes  (cost  246 )
3.698 * * [simplify]: iteration  4 :  5001  enodes  (cost  239 )
3.699 * [simplify]: Simplified to:
   (expm1 (cbrt (cbrt g)))
  (log1p (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)))
  (expm1 (cbrt (cbrt g)))
  (log1p (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)))
  (expm1 (cbrt (* (cbrt g) (cbrt g))))
  (log1p (cbrt (* (cbrt g) (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))))
  (expm1 (cbrt a))
  (log1p (cbrt a))
  (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.700 * * * [progress]: adding candidates to table
3.943 * [progress]: [Phase 3 of 3] Extracting.
3.943 * * [regime]: Finding splitpoints for: (#<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (cbrt (sqrt (/ (cbrt g) a))) (cbrt (sqrt (/ (cbrt g) a))))))> #<alt (λ (g a) (* (sqrt (cbrt (/ g (* 2.0 a)))) (sqrt (cbrt (/ g (* 2.0 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) (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 (* (cbrt g) (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 g) (cbrt g)) 2.0)) (pow (/ (cbrt g) a) 1/3)))> #<alt (λ (g a) (* (cbrt (/ (sqrt g) 2.0)) (cbrt (/ (sqrt 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) (* (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 g)) 2.0)) (* (cbrt (/ (cbrt (sqrt g)) (* (cbrt a) (cbrt a)))) (cbrt (/ (cbrt (sqrt g)) (cbrt a))))))> #<alt (λ (g a) (* (cbrt (/ (* (* (* (cbrt (cbrt g)) (cbrt (cbrt g))) (cbrt (cbrt g))) (cbrt g)) 2.0)) (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 (/ 1 2.0)) (cbrt (/ g a))))> #<alt (λ (g a) (expm1 (log1p (cbrt (/ g (* 2.0 a))))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (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 (* (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 (* (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)) (* (sqrt (cbrt a)) (sqrt (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) (* (pow (* (cbrt g) (cbrt g)) 1/3) (cbrt (cbrt g)))) 2.0)) (/ (cbrt (cbrt g)) (cbrt a))))>)
3.951 * * * [regime-changes]: Trying 5 branch expressions: ((* 2.0 a) (/ g (* 2.0 a)) (cbrt (/ g (* 2.0 a))) a g)
3.951 * * * * [regimes]: Trying to branch on (* 2.0 a) from (#<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (cbrt (sqrt (/ (cbrt g) a))) (cbrt (sqrt (/ (cbrt g) a))))))> #<alt (λ (g a) (* (sqrt (cbrt (/ g (* 2.0 a)))) (sqrt (cbrt (/ g (* 2.0 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) (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 (* (cbrt g) (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 g) (cbrt g)) 2.0)) (pow (/ (cbrt g) a) 1/3)))> #<alt (λ (g a) (* (cbrt (/ (sqrt g) 2.0)) (cbrt (/ (sqrt 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) (* (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 g)) 2.0)) (* (cbrt (/ (cbrt (sqrt g)) (* (cbrt a) (cbrt a)))) (cbrt (/ (cbrt (sqrt g)) (cbrt a))))))> #<alt (λ (g a) (* (cbrt (/ (* (* (* (cbrt (cbrt g)) (cbrt (cbrt g))) (cbrt (cbrt g))) (cbrt g)) 2.0)) (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 (/ 1 2.0)) (cbrt (/ g a))))> #<alt (λ (g a) (expm1 (log1p (cbrt (/ g (* 2.0 a))))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (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 (* (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 (* (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)) (* (sqrt (cbrt a)) (sqrt (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) (* (pow (* (cbrt g) (cbrt g)) 1/3) (cbrt (cbrt g)))) 2.0)) (/ (cbrt (cbrt g)) (cbrt a))))>)
4.049 * * * * [regimes]: Trying to branch on (* 2.0 a) from (#<alt (λ (g a) (* (sqrt (cbrt (/ g (* 2.0 a)))) (sqrt (cbrt (/ g (* 2.0 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) (expm1 (log1p (cbrt (/ g (* 2.0 a))))))> #<alt (λ (g a) (cbrt (/ g (* 2.0 a))))>)
4.067 * * * * [regimes]: Trying to branch on (/ g (* 2.0 a)) from (#<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (cbrt (sqrt (/ (cbrt g) a))) (cbrt (sqrt (/ (cbrt g) a))))))> #<alt (λ (g a) (* (sqrt (cbrt (/ g (* 2.0 a)))) (sqrt (cbrt (/ g (* 2.0 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) (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 (* (cbrt g) (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 g) (cbrt g)) 2.0)) (pow (/ (cbrt g) a) 1/3)))> #<alt (λ (g a) (* (cbrt (/ (sqrt g) 2.0)) (cbrt (/ (sqrt 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) (* (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 g)) 2.0)) (* (cbrt (/ (cbrt (sqrt g)) (* (cbrt a) (cbrt a)))) (cbrt (/ (cbrt (sqrt g)) (cbrt a))))))> #<alt (λ (g a) (* (cbrt (/ (* (* (* (cbrt (cbrt g)) (cbrt (cbrt g))) (cbrt (cbrt g))) (cbrt g)) 2.0)) (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 (/ 1 2.0)) (cbrt (/ g a))))> #<alt (λ (g a) (expm1 (log1p (cbrt (/ g (* 2.0 a))))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (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 (* (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 (* (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)) (* (sqrt (cbrt a)) (sqrt (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) (* (pow (* (cbrt g) (cbrt g)) 1/3) (cbrt (cbrt g)))) 2.0)) (/ (cbrt (cbrt g)) (cbrt a))))>)
4.162 * * * * [regimes]: Trying to branch on (/ g (* 2.0 a)) from (#<alt (λ (g a) (* (sqrt (cbrt (/ g (* 2.0 a)))) (sqrt (cbrt (/ g (* 2.0 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) (expm1 (log1p (cbrt (/ g (* 2.0 a))))))> #<alt (λ (g a) (cbrt (/ g (* 2.0 a))))>)
4.177 * * * * [regimes]: Trying to branch on (cbrt (/ g (* 2.0 a))) from (#<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (cbrt (sqrt (/ (cbrt g) a))) (cbrt (sqrt (/ (cbrt g) a))))))> #<alt (λ (g a) (* (sqrt (cbrt (/ g (* 2.0 a)))) (sqrt (cbrt (/ g (* 2.0 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) (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 (* (cbrt g) (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 g) (cbrt g)) 2.0)) (pow (/ (cbrt g) a) 1/3)))> #<alt (λ (g a) (* (cbrt (/ (sqrt g) 2.0)) (cbrt (/ (sqrt 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) (* (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 g)) 2.0)) (* (cbrt (/ (cbrt (sqrt g)) (* (cbrt a) (cbrt a)))) (cbrt (/ (cbrt (sqrt g)) (cbrt a))))))> #<alt (λ (g a) (* (cbrt (/ (* (* (* (cbrt (cbrt g)) (cbrt (cbrt g))) (cbrt (cbrt g))) (cbrt g)) 2.0)) (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 (/ 1 2.0)) (cbrt (/ g a))))> #<alt (λ (g a) (expm1 (log1p (cbrt (/ g (* 2.0 a))))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (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 (* (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 (* (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)) (* (sqrt (cbrt a)) (sqrt (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) (* (pow (* (cbrt g) (cbrt g)) 1/3) (cbrt (cbrt g)))) 2.0)) (/ (cbrt (cbrt g)) (cbrt a))))>)
4.274 * * * * [regimes]: Trying to branch on (cbrt (/ g (* 2.0 a))) from (#<alt (λ (g a) (* (sqrt (cbrt (/ g (* 2.0 a)))) (sqrt (cbrt (/ g (* 2.0 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) (expm1 (log1p (cbrt (/ g (* 2.0 a))))))> #<alt (λ (g a) (cbrt (/ g (* 2.0 a))))>)
4.295 * * * * [regimes]: Trying to branch on a from (#<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (cbrt (sqrt (/ (cbrt g) a))) (cbrt (sqrt (/ (cbrt g) a))))))> #<alt (λ (g a) (* (sqrt (cbrt (/ g (* 2.0 a)))) (sqrt (cbrt (/ g (* 2.0 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) (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 (* (cbrt g) (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 g) (cbrt g)) 2.0)) (pow (/ (cbrt g) a) 1/3)))> #<alt (λ (g a) (* (cbrt (/ (sqrt g) 2.0)) (cbrt (/ (sqrt 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) (* (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 g)) 2.0)) (* (cbrt (/ (cbrt (sqrt g)) (* (cbrt a) (cbrt a)))) (cbrt (/ (cbrt (sqrt g)) (cbrt a))))))> #<alt (λ (g a) (* (cbrt (/ (* (* (* (cbrt (cbrt g)) (cbrt (cbrt g))) (cbrt (cbrt g))) (cbrt g)) 2.0)) (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 (/ 1 2.0)) (cbrt (/ g a))))> #<alt (λ (g a) (expm1 (log1p (cbrt (/ g (* 2.0 a))))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (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 (* (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 (* (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)) (* (sqrt (cbrt a)) (sqrt (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) (* (pow (* (cbrt g) (cbrt g)) 1/3) (cbrt (cbrt g)))) 2.0)) (/ (cbrt (cbrt g)) (cbrt a))))>)
4.392 * * * * [regimes]: Trying to branch on g from (#<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (* (cbrt (sqrt (/ (cbrt g) a))) (cbrt (sqrt (/ (cbrt g) a))))))> #<alt (λ (g a) (* (sqrt (cbrt (/ g (* 2.0 a)))) (sqrt (cbrt (/ g (* 2.0 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) (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 (* (cbrt g) (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 g) (cbrt g)) 2.0)) (pow (/ (cbrt g) a) 1/3)))> #<alt (λ (g a) (* (cbrt (/ (sqrt g) 2.0)) (cbrt (/ (sqrt 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) (* (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 g)) 2.0)) (* (cbrt (/ (cbrt (sqrt g)) (* (cbrt a) (cbrt a)))) (cbrt (/ (cbrt (sqrt g)) (cbrt a))))))> #<alt (λ (g a) (* (cbrt (/ (* (* (* (cbrt (cbrt g)) (cbrt (cbrt g))) (cbrt (cbrt g))) (cbrt g)) 2.0)) (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 (/ 1 2.0)) (cbrt (/ g a))))> #<alt (λ (g a) (expm1 (log1p (cbrt (/ g (* 2.0 a))))))> #<alt (λ (g a) (* (cbrt (/ (* (cbrt g) (* (cbrt (* (cbrt g) (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 (* (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 (* (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)) (* (sqrt (cbrt a)) (sqrt (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) (* (pow (* (cbrt g) (cbrt g)) 1/3) (cbrt (cbrt g)))) 2.0)) (/ (cbrt (cbrt g)) (cbrt a))))>)
4.488 * * * [regime]: Found split indices: #<option (#s(si 23 255))>
4.488 * [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.489 * * [simplify]: iteration  0 :  21  enodes  (cost  29 )
4.489 * * [simplify]: iteration  1 :  21  enodes  (cost  29 )
4.489 * [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.123 * [regime-testing]: Baseline error score: 1.3880296232623863
6.124 * [regime-testing]: Oracle error score: 0.15720004139773303
6.125 * [regime-testing]: End program error score: 1.3880296232623863