15.466 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.015 * * * [progress]: [2/2] Setting up program. 0.018 * [progress]: [Phase 2 of 3] Improving. 0.018 * [simplify]: Simplifying using # : (cbrt (/ g (* 2.0 a))) 0.019 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.019 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 0.020 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 0.021 * * [simplify]: iteration done : 11 enodes (cost 6 ) 0.021 * [simplify]: Simplified to: (cbrt (/ g (* 2.0 a))) 0.022 * * [progress]: iteration 1 / 4 0.022 * * * [progress]: picking best candidate 0.024 * * * * [pick]: Picked # 0.024 * * * [progress]: localizing error 0.029 * * * [progress]: generating rewritten candidates 0.029 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.033 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.039 * * * [progress]: generating series expansions 0.039 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.039 * [approximate]: Taking taylor expansion of (* (pow (/ g a) 1/3) (cbrt 0.5)) in (g a) around 0 0.039 * [taylor]: Taking taylor expansion of (* (pow (/ g a) 1/3) (cbrt 0.5)) in a 0.039 * [taylor]: Taking taylor expansion of (pow (/ g a) 1/3) in a 0.039 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ g a)))) in a 0.039 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ g a))) in a 0.039 * [taylor]: Taking taylor expansion of 1/3 in a 0.039 * [taylor]: Taking taylor expansion of (log (/ g a)) in a 0.039 * [taylor]: Taking taylor expansion of (/ g a) in a 0.039 * [taylor]: Taking taylor expansion of g in a 0.039 * [taylor]: Taking taylor expansion of a in a 0.039 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 0.039 * [taylor]: Taking taylor expansion of 0.5 in a 0.039 * [taylor]: Taking taylor expansion of (* (pow (/ g a) 1/3) (cbrt 0.5)) in g 0.039 * [taylor]: Taking taylor expansion of (pow (/ g a) 1/3) in g 0.039 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ g a)))) in g 0.039 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ g a))) in g 0.039 * [taylor]: Taking taylor expansion of 1/3 in g 0.039 * [taylor]: Taking taylor expansion of (log (/ g a)) in g 0.039 * [taylor]: Taking taylor expansion of (/ g a) in g 0.039 * [taylor]: Taking taylor expansion of g in g 0.039 * [taylor]: Taking taylor expansion of a in g 0.040 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g 0.040 * [taylor]: Taking taylor expansion of 0.5 in g 0.040 * [taylor]: Taking taylor expansion of (* (pow (/ g a) 1/3) (cbrt 0.5)) in g 0.040 * [taylor]: Taking taylor expansion of (pow (/ g a) 1/3) in g 0.040 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ g a)))) in g 0.040 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ g a))) in g 0.040 * [taylor]: Taking taylor expansion of 1/3 in g 0.040 * [taylor]: Taking taylor expansion of (log (/ g a)) in g 0.040 * [taylor]: Taking taylor expansion of (/ g a) in g 0.040 * [taylor]: Taking taylor expansion of g in g 0.040 * [taylor]: Taking taylor expansion of a in g 0.040 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g 0.040 * [taylor]: Taking taylor expansion of 0.5 in g 0.040 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (+ (log (/ 1 a)) (log g)))) (cbrt 0.5)) in a 0.040 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (/ 1 a)) (log g)))) in a 0.040 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (/ 1 a)) (log g))) in a 0.040 * [taylor]: Taking taylor expansion of 1/3 in a 0.040 * [taylor]: Taking taylor expansion of (+ (log (/ 1 a)) (log g)) in a 0.040 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a 0.040 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.040 * [taylor]: Taking taylor expansion of a in a 0.040 * [taylor]: Taking taylor expansion of (log g) in a 0.040 * [taylor]: Taking taylor expansion of g in a 0.041 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 0.041 * [taylor]: Taking taylor expansion of 0.5 in a 0.041 * [taylor]: Taking taylor expansion of 0 in a 0.043 * [taylor]: Taking taylor expansion of 0 in a 0.045 * [taylor]: Taking taylor expansion of 0 in a 0.045 * [approximate]: Taking taylor expansion of (* (pow (/ a g) 1/3) (cbrt 0.5)) in (g a) around 0 0.045 * [taylor]: Taking taylor expansion of (* (pow (/ a g) 1/3) (cbrt 0.5)) in a 0.045 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in a 0.045 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in a 0.045 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in a 0.045 * [taylor]: Taking taylor expansion of 1/3 in a 0.045 * [taylor]: Taking taylor expansion of (log (/ a g)) in a 0.045 * [taylor]: Taking taylor expansion of (/ a g) in a 0.045 * [taylor]: Taking taylor expansion of a in a 0.045 * [taylor]: Taking taylor expansion of g in a 0.045 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 0.045 * [taylor]: Taking taylor expansion of 0.5 in a 0.045 * [taylor]: Taking taylor expansion of (* (pow (/ a g) 1/3) (cbrt 0.5)) in g 0.045 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in g 0.045 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in g 0.046 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in g 0.046 * [taylor]: Taking taylor expansion of 1/3 in g 0.046 * [taylor]: Taking taylor expansion of (log (/ a g)) in g 0.046 * [taylor]: Taking taylor expansion of (/ a g) in g 0.046 * [taylor]: Taking taylor expansion of a in g 0.046 * [taylor]: Taking taylor expansion of g in g 0.046 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g 0.046 * [taylor]: Taking taylor expansion of 0.5 in g 0.046 * [taylor]: Taking taylor expansion of (* (pow (/ a g) 1/3) (cbrt 0.5)) in g 0.046 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in g 0.046 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in g 0.046 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in g 0.046 * [taylor]: Taking taylor expansion of 1/3 in g 0.046 * [taylor]: Taking taylor expansion of (log (/ a g)) in g 0.046 * [taylor]: Taking taylor expansion of (/ a g) in g 0.046 * [taylor]: Taking taylor expansion of a in g 0.046 * [taylor]: Taking taylor expansion of g in g 0.046 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g 0.046 * [taylor]: Taking taylor expansion of 0.5 in g 0.046 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log a) (log g)))) (cbrt 0.5)) in a 0.046 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log a) (log g)))) in a 0.046 * [taylor]: Taking taylor expansion of (* 1/3 (- (log a) (log g))) in a 0.046 * [taylor]: Taking taylor expansion of 1/3 in a 0.046 * [taylor]: Taking taylor expansion of (- (log a) (log g)) in a 0.046 * [taylor]: Taking taylor expansion of (log a) in a 0.046 * [taylor]: Taking taylor expansion of a in a 0.047 * [taylor]: Taking taylor expansion of (log g) in a 0.047 * [taylor]: Taking taylor expansion of g in a 0.047 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 0.047 * [taylor]: Taking taylor expansion of 0.5 in a 0.047 * [taylor]: Taking taylor expansion of 0 in a 0.049 * [taylor]: Taking taylor expansion of 0 in a 0.050 * [taylor]: Taking taylor expansion of 0 in a 0.051 * [approximate]: Taking taylor expansion of (* (pow (/ a g) 1/3) (cbrt 0.5)) in (g a) around 0 0.051 * [taylor]: Taking taylor expansion of (* (pow (/ a g) 1/3) (cbrt 0.5)) in a 0.051 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in a 0.051 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in a 0.051 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in a 0.051 * [taylor]: Taking taylor expansion of 1/3 in a 0.051 * [taylor]: Taking taylor expansion of (log (/ a g)) in a 0.051 * [taylor]: Taking taylor expansion of (/ a g) in a 0.051 * [taylor]: Taking taylor expansion of a in a 0.051 * [taylor]: Taking taylor expansion of g in a 0.051 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 0.051 * [taylor]: Taking taylor expansion of 0.5 in a 0.051 * [taylor]: Taking taylor expansion of (* (pow (/ a g) 1/3) (cbrt 0.5)) in g 0.051 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in g 0.051 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in g 0.051 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in g 0.051 * [taylor]: Taking taylor expansion of 1/3 in g 0.051 * [taylor]: Taking taylor expansion of (log (/ a g)) in g 0.051 * [taylor]: Taking taylor expansion of (/ a g) in g 0.051 * [taylor]: Taking taylor expansion of a in g 0.051 * [taylor]: Taking taylor expansion of g in g 0.051 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g 0.052 * [taylor]: Taking taylor expansion of 0.5 in g 0.052 * [taylor]: Taking taylor expansion of (* (pow (/ a g) 1/3) (cbrt 0.5)) in g 0.052 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in g 0.052 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in g 0.052 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in g 0.052 * [taylor]: Taking taylor expansion of 1/3 in g 0.052 * [taylor]: Taking taylor expansion of (log (/ a g)) in g 0.052 * [taylor]: Taking taylor expansion of (/ a g) in g 0.052 * [taylor]: Taking taylor expansion of a in g 0.052 * [taylor]: Taking taylor expansion of g in g 0.052 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g 0.052 * [taylor]: Taking taylor expansion of 0.5 in g 0.052 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log a) (log g)))) (cbrt 0.5)) in a 0.052 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log a) (log g)))) in a 0.052 * [taylor]: Taking taylor expansion of (* 1/3 (- (log a) (log g))) in a 0.052 * [taylor]: Taking taylor expansion of 1/3 in a 0.052 * [taylor]: Taking taylor expansion of (- (log a) (log g)) in a 0.052 * [taylor]: Taking taylor expansion of (log a) in a 0.052 * [taylor]: Taking taylor expansion of a in a 0.052 * [taylor]: Taking taylor expansion of (log g) in a 0.052 * [taylor]: Taking taylor expansion of g in a 0.053 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 0.053 * [taylor]: Taking taylor expansion of 0.5 in a 0.053 * [taylor]: Taking taylor expansion of 0 in a 0.055 * [taylor]: Taking taylor expansion of 0 in a 0.056 * [taylor]: Taking taylor expansion of 0 in a 0.056 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.057 * [approximate]: Taking taylor expansion of (* 0.5 (/ g a)) in (g a) around 0 0.057 * [taylor]: Taking taylor expansion of (* 0.5 (/ g a)) in a 0.057 * [taylor]: Taking taylor expansion of 0.5 in a 0.057 * [taylor]: Taking taylor expansion of (/ g a) in a 0.057 * [taylor]: Taking taylor expansion of g in a 0.057 * [taylor]: Taking taylor expansion of a in a 0.057 * [taylor]: Taking taylor expansion of (* 0.5 (/ g a)) in g 0.057 * [taylor]: Taking taylor expansion of 0.5 in g 0.057 * [taylor]: Taking taylor expansion of (/ g a) in g 0.057 * [taylor]: Taking taylor expansion of g in g 0.057 * [taylor]: Taking taylor expansion of a in g 0.057 * [taylor]: Taking taylor expansion of (* 0.5 (/ g a)) in g 0.057 * [taylor]: Taking taylor expansion of 0.5 in g 0.057 * [taylor]: Taking taylor expansion of (/ g a) in g 0.057 * [taylor]: Taking taylor expansion of g in g 0.057 * [taylor]: Taking taylor expansion of a in g 0.057 * [taylor]: Taking taylor expansion of (/ 0.5 a) in a 0.057 * [taylor]: Taking taylor expansion of 0.5 in a 0.057 * [taylor]: Taking taylor expansion of a in a 0.057 * [taylor]: Taking taylor expansion of 0 in a 0.057 * [taylor]: Taking taylor expansion of 0 in a 0.058 * [taylor]: Taking taylor expansion of 0 in a 0.058 * [approximate]: Taking taylor expansion of (* 0.5 (/ a g)) in (g a) around 0 0.058 * [taylor]: Taking taylor expansion of (* 0.5 (/ a g)) in a 0.058 * [taylor]: Taking taylor expansion of 0.5 in a 0.058 * [taylor]: Taking taylor expansion of (/ a g) in a 0.058 * [taylor]: Taking taylor expansion of a in a 0.058 * [taylor]: Taking taylor expansion of g in a 0.058 * [taylor]: Taking taylor expansion of (* 0.5 (/ a g)) in g 0.058 * [taylor]: Taking taylor expansion of 0.5 in g 0.058 * [taylor]: Taking taylor expansion of (/ a g) in g 0.058 * [taylor]: Taking taylor expansion of a in g 0.058 * [taylor]: Taking taylor expansion of g in g 0.058 * [taylor]: Taking taylor expansion of (* 0.5 (/ a g)) in g 0.058 * [taylor]: Taking taylor expansion of 0.5 in g 0.058 * [taylor]: Taking taylor expansion of (/ a g) in g 0.058 * [taylor]: Taking taylor expansion of a in g 0.058 * [taylor]: Taking taylor expansion of g in g 0.058 * [taylor]: Taking taylor expansion of (* 0.5 a) in a 0.058 * [taylor]: Taking taylor expansion of 0.5 in a 0.058 * [taylor]: Taking taylor expansion of a in a 0.058 * [taylor]: Taking taylor expansion of 0 in a 0.058 * [taylor]: Taking taylor expansion of 0 in a 0.059 * [taylor]: Taking taylor expansion of 0 in a 0.059 * [approximate]: Taking taylor expansion of (* 0.5 (/ a g)) in (g a) around 0 0.059 * [taylor]: Taking taylor expansion of (* 0.5 (/ a g)) in a 0.059 * [taylor]: Taking taylor expansion of 0.5 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 (* 0.5 (/ a g)) in g 0.059 * [taylor]: Taking taylor expansion of 0.5 in g 0.059 * [taylor]: Taking taylor expansion of (/ a g) in g 0.059 * [taylor]: Taking taylor expansion of a in g 0.059 * [taylor]: Taking taylor expansion of g in g 0.059 * [taylor]: Taking taylor expansion of (* 0.5 (/ a g)) in g 0.059 * [taylor]: Taking taylor expansion of 0.5 in g 0.059 * [taylor]: Taking taylor expansion of (/ a g) in g 0.059 * [taylor]: Taking taylor expansion of a in g 0.059 * [taylor]: Taking taylor expansion of g in g 0.059 * [taylor]: Taking taylor expansion of (* 0.5 a) in a 0.059 * [taylor]: Taking taylor expansion of 0.5 in a 0.059 * [taylor]: Taking taylor expansion of a in a 0.059 * [taylor]: Taking taylor expansion of 0 in a 0.059 * [taylor]: Taking taylor expansion of 0 in a 0.060 * [taylor]: Taking taylor expansion of 0 in a 0.060 * * * [progress]: simplifying candidates 0.060 * [simplify]: Simplifying using # : (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)))) (- (log g) (+ (log 2.0) (log a))) (- (log g) (log (* 2.0 a))) (log (/ g (* 2.0 a))) (exp (/ g (* 2.0 a))) (/ (* (* g g) g) (* (* (* 2.0 2.0) 2.0) (* (* a a) a))) (/ (* (* g g) g) (* (* (* 2.0 a) (* 2.0 a)) (* 2.0 a))) (* (cbrt (/ g (* 2.0 a))) (cbrt (/ g (* 2.0 a)))) (cbrt (/ g (* 2.0 a))) (* (* (/ g (* 2.0 a)) (/ g (* 2.0 a))) (/ g (* 2.0 a))) (sqrt (/ g (* 2.0 a))) (sqrt (/ g (* 2.0 a))) (neg g) (neg (* 2.0 a)) (/ (* (cbrt g) (cbrt g)) 2.0) (/ (cbrt g) a) (/ (sqrt g) 2.0) (/ (sqrt g) a) (/ 1 2.0) (/ g a) (/ 1 (* 2.0 a)) (/ (* 2.0 a) g) (/ g 2.0) (/ (* 2.0 a) (cbrt g)) (/ (* 2.0 a) (sqrt g)) (/ (* 2.0 a) g) (* (exp (* 1/3 (- (+ (log 1) (log g)) (log a)))) (cbrt 0.5)) (* (cbrt 0.5) (exp (* 1/3 (- (+ (log (/ 1 a)) (log 1)) (log (/ 1 g)))))) (* (cbrt 0.5) (exp (* 1/3 (- (+ (log 1) (log (/ -1 a))) (log (/ -1 g)))))) (* 0.5 (/ g a)) (* 0.5 (/ g a)) (* 0.5 (/ g a)) 0.063 * * [simplify]: iteration 0 : 93 enodes (cost 393 ) 0.075 * * [simplify]: iteration 1 : 185 enodes (cost 385 ) 0.105 * * [simplify]: iteration 2 : 522 enodes (cost 339 ) 0.270 * * [simplify]: iteration 3 : 1749 enodes (cost 328 ) 0.756 * * [simplify]: iteration done : 5001 enodes (cost 328 ) 0.756 * [simplify]: Simplified to: (log (cbrt (/ g (* 2.0 a)))) (exp (cbrt (/ g (* 2.0 a)))) (cbrt (* (cbrt (/ g (* 2.0 a))) (cbrt (/ g (* 2.0 a))))) (cbrt (cbrt (/ g (* 2.0 a)))) (cbrt (sqrt (/ g (* 2.0 a)))) (cbrt (sqrt (/ g (* 2.0 a)))) (cbrt (/ (* (cbrt g) (cbrt g)) 2.0)) (cbrt (/ (cbrt g) a)) (cbrt (/ (sqrt g) 2.0)) (cbrt (/ (sqrt g) a)) (cbrt (/ 1 2.0)) (cbrt (/ g a)) 1 (cbrt (/ g (* 2.0 a))) (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)))) (/ g (* 2.0 a)) (sqrt (cbrt (/ g (* 2.0 a)))) (sqrt (cbrt (/ g (* 2.0 a)))) (log (/ g (* 2.0 a))) (log (/ g (* 2.0 a))) (log (/ g (* 2.0 a))) (exp (/ g (* 2.0 a))) (pow (/ g (* 2.0 a)) 3) (pow (/ g (* 2.0 a)) 3) (* (cbrt (/ g (* 2.0 a))) (cbrt (/ g (* 2.0 a)))) (cbrt (/ g (* 2.0 a))) (pow (/ g (* 2.0 a)) 3) (sqrt (/ g (* 2.0 a))) (sqrt (/ g (* 2.0 a))) (neg g) (neg (* 2.0 a)) (/ (* (cbrt g) (cbrt g)) 2.0) (/ (cbrt g) a) (/ (sqrt g) 2.0) (/ (sqrt g) a) (/ 1 2.0) (/ g a) (/ 1 (* 2.0 a)) (/ (* 2.0 a) g) (/ g 2.0) (/ (* 2.0 a) (cbrt g)) (/ (* 2.0 a) (sqrt g)) (/ (* 2.0 a) g) (* (cbrt 0.5) (cbrt (exp (- (log g) (log a))))) (* (cbrt 0.5) (cbrt (exp (- (log g) (log a))))) (* (cbrt (exp (- (log (/ -1 a)) (log (/ -1 g))))) (cbrt 0.5)) (* 0.5 (/ g a)) (* 0.5 (/ g a)) (* 0.5 (/ g a)) 0.756 * * * [progress]: adding candidates to table 0.828 * * [progress]: iteration 2 / 4 0.828 * * * [progress]: picking best candidate 0.866 * * * * [pick]: Picked # 0.866 * * * [progress]: localizing error 0.874 * * * [progress]: generating rewritten candidates 0.874 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 0.879 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 0.880 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 0.885 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 0.895 * * * [progress]: generating series expansions 0.895 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 0.895 * [approximate]: Taking taylor expansion of (* (pow (/ 1 a) 1/3) (cbrt 0.5)) in (a) around 0 0.895 * [taylor]: Taking taylor expansion of (* (pow (/ 1 a) 1/3) (cbrt 0.5)) in a 0.895 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a 0.895 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a 0.895 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a 0.895 * [taylor]: Taking taylor expansion of 1/3 in a 0.895 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a 0.895 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.895 * [taylor]: Taking taylor expansion of a in a 0.896 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 0.896 * [taylor]: Taking taylor expansion of 0.5 in a 0.896 * [taylor]: Taking taylor expansion of (* (pow (/ 1 a) 1/3) (cbrt 0.5)) in a 0.896 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a 0.896 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a 0.896 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a 0.896 * [taylor]: Taking taylor expansion of 1/3 in a 0.896 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a 0.896 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.896 * [taylor]: Taking taylor expansion of a in a 0.896 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 0.896 * [taylor]: Taking taylor expansion of 0.5 in a 0.904 * [approximate]: Taking taylor expansion of (* (pow a 1/3) (cbrt 0.5)) in (a) around 0 0.904 * [taylor]: Taking taylor expansion of (* (pow a 1/3) (cbrt 0.5)) in a 0.904 * [taylor]: Taking taylor expansion of (pow a 1/3) in a 0.904 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a 0.904 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a 0.904 * [taylor]: Taking taylor expansion of 1/3 in a 0.904 * [taylor]: Taking taylor expansion of (log a) in a 0.904 * [taylor]: Taking taylor expansion of a in a 0.904 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 0.904 * [taylor]: Taking taylor expansion of 0.5 in a 0.904 * [taylor]: Taking taylor expansion of (* (pow a 1/3) (cbrt 0.5)) in a 0.904 * [taylor]: Taking taylor expansion of (pow a 1/3) in a 0.904 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a 0.904 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a 0.904 * [taylor]: Taking taylor expansion of 1/3 in a 0.904 * [taylor]: Taking taylor expansion of (log a) in a 0.904 * [taylor]: Taking taylor expansion of a in a 0.905 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 0.905 * [taylor]: Taking taylor expansion of 0.5 in a 0.912 * [approximate]: Taking taylor expansion of (* (pow a 1/3) (cbrt -0.5)) in (a) around 0 0.912 * [taylor]: Taking taylor expansion of (* (pow a 1/3) (cbrt -0.5)) in a 0.912 * [taylor]: Taking taylor expansion of (pow a 1/3) in a 0.912 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a 0.912 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a 0.912 * [taylor]: Taking taylor expansion of 1/3 in a 0.912 * [taylor]: Taking taylor expansion of (log a) in a 0.912 * [taylor]: Taking taylor expansion of a in a 0.912 * [taylor]: Taking taylor expansion of (cbrt -0.5) in a 0.912 * [taylor]: Taking taylor expansion of -0.5 in a 0.913 * [taylor]: Taking taylor expansion of (* (pow a 1/3) (cbrt -0.5)) in a 0.913 * [taylor]: Taking taylor expansion of (pow a 1/3) in a 0.913 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a 0.913 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a 0.913 * [taylor]: Taking taylor expansion of 1/3 in a 0.913 * [taylor]: Taking taylor expansion of (log a) in a 0.913 * [taylor]: Taking taylor expansion of a in a 0.913 * [taylor]: Taking taylor expansion of (cbrt -0.5) in a 0.913 * [taylor]: Taking taylor expansion of -0.5 in a 0.921 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 0.921 * [approximate]: Taking taylor expansion of (pow g 1/3) in (g) around 0 0.921 * [taylor]: Taking taylor expansion of (pow g 1/3) in g 0.921 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log g))) in g 0.921 * [taylor]: Taking taylor expansion of (* 1/3 (log g)) in g 0.921 * [taylor]: Taking taylor expansion of 1/3 in g 0.921 * [taylor]: Taking taylor expansion of (log g) in g 0.921 * [taylor]: Taking taylor expansion of g in g 0.921 * [taylor]: Taking taylor expansion of (pow g 1/3) in g 0.921 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log g))) in g 0.921 * [taylor]: Taking taylor expansion of (* 1/3 (log g)) in g 0.921 * [taylor]: Taking taylor expansion of 1/3 in g 0.921 * [taylor]: Taking taylor expansion of (log g) in g 0.921 * [taylor]: Taking taylor expansion of g in g 0.931 * [approximate]: Taking taylor expansion of (pow (/ 1 g) 1/3) in (g) around 0 0.931 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g 0.931 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g 0.931 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g 0.932 * [taylor]: Taking taylor expansion of 1/3 in g 0.932 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g 0.932 * [taylor]: Taking taylor expansion of (/ 1 g) in g 0.932 * [taylor]: Taking taylor expansion of g in g 0.932 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g 0.932 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g 0.932 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g 0.932 * [taylor]: Taking taylor expansion of 1/3 in g 0.932 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g 0.932 * [taylor]: Taking taylor expansion of (/ 1 g) in g 0.932 * [taylor]: Taking taylor expansion of g in g 0.939 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in (g) around 0 0.939 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in g 0.939 * [taylor]: Taking taylor expansion of (cbrt -1) in g 0.939 * [taylor]: Taking taylor expansion of -1 in g 0.939 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g 0.939 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g 0.939 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g 0.939 * [taylor]: Taking taylor expansion of 1/3 in g 0.939 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g 0.939 * [taylor]: Taking taylor expansion of (/ 1 g) in g 0.939 * [taylor]: Taking taylor expansion of g in g 0.939 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in g 0.939 * [taylor]: Taking taylor expansion of (cbrt -1) in g 0.939 * [taylor]: Taking taylor expansion of -1 in g 0.939 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g 0.939 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g 0.939 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g 0.939 * [taylor]: Taking taylor expansion of 1/3 in g 0.939 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g 0.940 * [taylor]: Taking taylor expansion of (/ 1 g) in g 0.940 * [taylor]: Taking taylor expansion of g in g 0.948 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 0.948 * [approximate]: Taking taylor expansion of (/ 0.5 a) in (a) around 0 0.948 * [taylor]: Taking taylor expansion of (/ 0.5 a) in a 0.948 * [taylor]: Taking taylor expansion of 0.5 in a 0.948 * [taylor]: Taking taylor expansion of a in a 0.948 * [taylor]: Taking taylor expansion of (/ 0.5 a) in a 0.948 * [taylor]: Taking taylor expansion of 0.5 in a 0.948 * [taylor]: Taking taylor expansion of a in a 0.949 * [approximate]: Taking taylor expansion of (* 0.5 a) in (a) around 0 0.949 * [taylor]: Taking taylor expansion of (* 0.5 a) in a 0.949 * [taylor]: Taking taylor expansion of 0.5 in a 0.949 * [taylor]: Taking taylor expansion of a in a 0.949 * [taylor]: Taking taylor expansion of (* 0.5 a) in a 0.949 * [taylor]: Taking taylor expansion of 0.5 in a 0.949 * [taylor]: Taking taylor expansion of a in a 0.949 * [approximate]: Taking taylor expansion of (* -0.5 a) in (a) around 0 0.950 * [taylor]: Taking taylor expansion of (* -0.5 a) in a 0.950 * [taylor]: Taking taylor expansion of -0.5 in a 0.950 * [taylor]: Taking taylor expansion of a in a 0.950 * [taylor]: Taking taylor expansion of (* -0.5 a) in a 0.950 * [taylor]: Taking taylor expansion of -0.5 in a 0.950 * [taylor]: Taking taylor expansion of a in a 0.950 * * * * [progress]: [ 4 / 4 ] generating series at (2) 0.950 * [approximate]: Taking taylor expansion of (* (pow (/ g a) 1/3) (cbrt 0.5)) in (g a) around 0 0.950 * [taylor]: Taking taylor expansion of (* (pow (/ g a) 1/3) (cbrt 0.5)) in a 0.950 * [taylor]: Taking taylor expansion of (pow (/ g a) 1/3) in a 0.950 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ g a)))) in a 0.950 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ g a))) in a 0.950 * [taylor]: Taking taylor expansion of 1/3 in a 0.950 * [taylor]: Taking taylor expansion of (log (/ g a)) in a 0.950 * [taylor]: Taking taylor expansion of (/ g a) in a 0.950 * [taylor]: Taking taylor expansion of g in a 0.950 * [taylor]: Taking taylor expansion of a in a 0.951 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 0.951 * [taylor]: Taking taylor expansion of 0.5 in a 0.951 * [taylor]: Taking taylor expansion of (* (pow (/ g a) 1/3) (cbrt 0.5)) in g 0.951 * [taylor]: Taking taylor expansion of (pow (/ g a) 1/3) in g 0.951 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ g a)))) in g 0.951 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ g a))) in g 0.951 * [taylor]: Taking taylor expansion of 1/3 in g 0.951 * [taylor]: Taking taylor expansion of (log (/ g a)) in g 0.951 * [taylor]: Taking taylor expansion of (/ g a) in g 0.951 * [taylor]: Taking taylor expansion of g in g 0.951 * [taylor]: Taking taylor expansion of a in g 0.951 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g 0.951 * [taylor]: Taking taylor expansion of 0.5 in g 0.951 * [taylor]: Taking taylor expansion of (* (pow (/ g a) 1/3) (cbrt 0.5)) in g 0.951 * [taylor]: Taking taylor expansion of (pow (/ g a) 1/3) in g 0.951 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ g a)))) in g 0.951 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ g a))) in g 0.951 * [taylor]: Taking taylor expansion of 1/3 in g 0.951 * [taylor]: Taking taylor expansion of (log (/ g a)) in g 0.951 * [taylor]: Taking taylor expansion of (/ g a) in g 0.951 * [taylor]: Taking taylor expansion of g in g 0.951 * [taylor]: Taking taylor expansion of a in g 0.951 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g 0.952 * [taylor]: Taking taylor expansion of 0.5 in g 0.952 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (+ (log (/ 1 a)) (log g)))) (cbrt 0.5)) in a 0.952 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (/ 1 a)) (log g)))) in a 0.952 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (/ 1 a)) (log g))) in a 0.952 * [taylor]: Taking taylor expansion of 1/3 in a 0.952 * [taylor]: Taking taylor expansion of (+ (log (/ 1 a)) (log g)) in a 0.952 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a 0.952 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.952 * [taylor]: Taking taylor expansion of a in a 0.952 * [taylor]: Taking taylor expansion of (log g) in a 0.952 * [taylor]: Taking taylor expansion of g in a 0.952 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 0.952 * [taylor]: Taking taylor expansion of 0.5 in a 0.953 * [taylor]: Taking taylor expansion of 0 in a 0.954 * [taylor]: Taking taylor expansion of 0 in a 0.956 * [taylor]: Taking taylor expansion of 0 in a 0.956 * [approximate]: Taking taylor expansion of (* (pow (/ a g) 1/3) (cbrt 0.5)) in (g a) around 0 0.956 * [taylor]: Taking taylor expansion of (* (pow (/ a g) 1/3) (cbrt 0.5)) in a 0.956 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in a 0.956 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in a 0.956 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in a 0.956 * [taylor]: Taking taylor expansion of 1/3 in a 0.956 * [taylor]: Taking taylor expansion of (log (/ a g)) in a 0.956 * [taylor]: Taking taylor expansion of (/ a g) in a 0.956 * [taylor]: Taking taylor expansion of a in a 0.956 * [taylor]: Taking taylor expansion of g in a 0.957 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 0.957 * [taylor]: Taking taylor expansion of 0.5 in a 0.957 * [taylor]: Taking taylor expansion of (* (pow (/ a g) 1/3) (cbrt 0.5)) in g 0.957 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in g 0.957 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in g 0.957 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in g 0.957 * [taylor]: Taking taylor expansion of 1/3 in g 0.957 * [taylor]: Taking taylor expansion of (log (/ a g)) in g 0.957 * [taylor]: Taking taylor expansion of (/ a g) in g 0.957 * [taylor]: Taking taylor expansion of a in g 0.957 * [taylor]: Taking taylor expansion of g in g 0.957 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g 0.957 * [taylor]: Taking taylor expansion of 0.5 in g 0.957 * [taylor]: Taking taylor expansion of (* (pow (/ a g) 1/3) (cbrt 0.5)) in g 0.957 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in g 0.957 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in g 0.957 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in g 0.957 * [taylor]: Taking taylor expansion of 1/3 in g 0.957 * [taylor]: Taking taylor expansion of (log (/ a g)) in g 0.957 * [taylor]: Taking taylor expansion of (/ a g) in g 0.957 * [taylor]: Taking taylor expansion of a in g 0.957 * [taylor]: Taking taylor expansion of g in g 0.958 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g 0.958 * [taylor]: Taking taylor expansion of 0.5 in g 0.958 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log a) (log g)))) (cbrt 0.5)) in a 0.958 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log a) (log g)))) in a 0.958 * [taylor]: Taking taylor expansion of (* 1/3 (- (log a) (log g))) in a 0.958 * [taylor]: Taking taylor expansion of 1/3 in a 0.958 * [taylor]: Taking taylor expansion of (- (log a) (log g)) in a 0.958 * [taylor]: Taking taylor expansion of (log a) in a 0.958 * [taylor]: Taking taylor expansion of a in a 0.958 * [taylor]: Taking taylor expansion of (log g) in a 0.958 * [taylor]: Taking taylor expansion of g in a 0.958 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 0.958 * [taylor]: Taking taylor expansion of 0.5 in a 0.959 * [taylor]: Taking taylor expansion of 0 in a 0.960 * [taylor]: Taking taylor expansion of 0 in a 0.962 * [taylor]: Taking taylor expansion of 0 in a 0.962 * [approximate]: Taking taylor expansion of (* (pow (/ a g) 1/3) (* (cbrt -1) (cbrt -0.5))) in (g a) around 0 0.962 * [taylor]: Taking taylor expansion of (* (pow (/ a g) 1/3) (* (cbrt -1) (cbrt -0.5))) in a 0.962 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in a 0.962 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in a 0.962 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in a 0.962 * [taylor]: Taking taylor expansion of 1/3 in a 0.962 * [taylor]: Taking taylor expansion of (log (/ a g)) in a 0.962 * [taylor]: Taking taylor expansion of (/ a g) in a 0.962 * [taylor]: Taking taylor expansion of a in a 0.962 * [taylor]: Taking taylor expansion of g in a 0.963 * [taylor]: Taking taylor expansion of (* (cbrt -1) (cbrt -0.5)) in a 0.963 * [taylor]: Taking taylor expansion of (cbrt -1) in a 0.963 * [taylor]: Taking taylor expansion of -1 in a 0.963 * [taylor]: Taking taylor expansion of (cbrt -0.5) in a 0.963 * [taylor]: Taking taylor expansion of -0.5 in a 0.963 * [taylor]: Taking taylor expansion of (* (pow (/ a g) 1/3) (* (cbrt -1) (cbrt -0.5))) in g 0.963 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in g 0.963 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in g 0.963 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in g 0.963 * [taylor]: Taking taylor expansion of 1/3 in g 0.963 * [taylor]: Taking taylor expansion of (log (/ a g)) in g 0.963 * [taylor]: Taking taylor expansion of (/ a g) in g 0.963 * [taylor]: Taking taylor expansion of a in g 0.963 * [taylor]: Taking taylor expansion of g in g 0.963 * [taylor]: Taking taylor expansion of (* (cbrt -1) (cbrt -0.5)) in g 0.963 * [taylor]: Taking taylor expansion of (cbrt -1) in g 0.963 * [taylor]: Taking taylor expansion of -1 in g 0.963 * [taylor]: Taking taylor expansion of (cbrt -0.5) in g 0.963 * [taylor]: Taking taylor expansion of -0.5 in g 0.964 * [taylor]: Taking taylor expansion of (* (pow (/ a g) 1/3) (* (cbrt -1) (cbrt -0.5))) in g 0.964 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in g 0.964 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in g 0.964 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in g 0.964 * [taylor]: Taking taylor expansion of 1/3 in g 0.964 * [taylor]: Taking taylor expansion of (log (/ a g)) in g 0.964 * [taylor]: Taking taylor expansion of (/ a g) in g 0.964 * [taylor]: Taking taylor expansion of a in g 0.964 * [taylor]: Taking taylor expansion of g in g 0.964 * [taylor]: Taking taylor expansion of (* (cbrt -1) (cbrt -0.5)) in g 0.964 * [taylor]: Taking taylor expansion of (cbrt -1) in g 0.964 * [taylor]: Taking taylor expansion of -1 in g 0.964 * [taylor]: Taking taylor expansion of (cbrt -0.5) in g 0.964 * [taylor]: Taking taylor expansion of -0.5 in g 0.964 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log a) (log g)))) (* (cbrt -1) (cbrt -0.5))) in a 0.964 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log a) (log g)))) in a 0.964 * [taylor]: Taking taylor expansion of (* 1/3 (- (log a) (log g))) in a 0.964 * [taylor]: Taking taylor expansion of 1/3 in a 0.965 * [taylor]: Taking taylor expansion of (- (log a) (log g)) in a 0.965 * [taylor]: Taking taylor expansion of (log a) in a 0.965 * [taylor]: Taking taylor expansion of a in a 0.965 * [taylor]: Taking taylor expansion of (log g) in a 0.965 * [taylor]: Taking taylor expansion of g in a 0.965 * [taylor]: Taking taylor expansion of (* (cbrt -1) (cbrt -0.5)) in a 0.965 * [taylor]: Taking taylor expansion of (cbrt -1) in a 0.965 * [taylor]: Taking taylor expansion of -1 in a 0.965 * [taylor]: Taking taylor expansion of (cbrt -0.5) in a 0.965 * [taylor]: Taking taylor expansion of -0.5 in a 0.966 * [taylor]: Taking taylor expansion of 0 in a 0.968 * [taylor]: Taking taylor expansion of 0 in a 0.971 * [taylor]: Taking taylor expansion of 0 in a 0.971 * * * [progress]: simplifying candidates 0.972 * [simplify]: Simplifying using # : (log (cbrt (/ 1 (* 2.0 a)))) (exp (cbrt (/ 1 (* 2.0 a)))) (cbrt (* (cbrt (/ 1 (* 2.0 a))) (cbrt (/ 1 (* 2.0 a))))) (cbrt (cbrt (/ 1 (* 2.0 a)))) (cbrt (sqrt (/ 1 (* 2.0 a)))) (cbrt (sqrt (/ 1 (* 2.0 a)))) (cbrt (/ (* (cbrt 1) (cbrt 1)) 2.0)) (cbrt (/ (cbrt 1) a)) (cbrt (/ (sqrt 1) 2.0)) (cbrt (/ (sqrt 1) a)) (cbrt (/ 1 2.0)) (cbrt (/ 1 a)) (cbrt 1) (cbrt (/ 1 (* 2.0 a))) (cbrt 1) (cbrt (/ 1 (* 2.0 a))) (cbrt 1) (cbrt (* 2.0 a)) (* (cbrt (cbrt (/ 1 (* 2.0 a)))) (cbrt (cbrt (/ 1 (* 2.0 a))))) (cbrt (cbrt (/ 1 (* 2.0 a)))) (* (* (cbrt (/ 1 (* 2.0 a))) (cbrt (/ 1 (* 2.0 a)))) (cbrt (/ 1 (* 2.0 a)))) (sqrt (cbrt (/ 1 (* 2.0 a)))) (sqrt (cbrt (/ 1 (* 2.0 a)))) (log (cbrt g)) (exp (cbrt g)) (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g)) (cbrt (sqrt g)) (cbrt (sqrt g)) (cbrt 1) (cbrt g) (* (cbrt (cbrt g)) (cbrt (cbrt g))) (cbrt (cbrt g)) (* (* (cbrt g) (cbrt g)) (cbrt g)) (sqrt (cbrt g)) (sqrt (cbrt g)) (neg 1) (neg 1) (neg (+ (log 2.0) (log a))) (neg (log (* 2.0 a))) (- 0 (+ (log 2.0) (log a))) (- 0 (log (* 2.0 a))) (- (log 1) (+ (log 2.0) (log a))) (- (log 1) (log (* 2.0 a))) (log (/ 1 (* 2.0 a))) (exp (/ 1 (* 2.0 a))) (/ (* (* 1 1) 1) (* (* (* 2.0 2.0) 2.0) (* (* a a) a))) (/ (* (* 1 1) 1) (* (* (* 2.0 a) (* 2.0 a)) (* 2.0 a))) (* (cbrt (/ 1 (* 2.0 a))) (cbrt (/ 1 (* 2.0 a)))) (cbrt (/ 1 (* 2.0 a))) (* (* (/ 1 (* 2.0 a)) (/ 1 (* 2.0 a))) (/ 1 (* 2.0 a))) (sqrt (/ 1 (* 2.0 a))) (sqrt (/ 1 (* 2.0 a))) (neg 1) (neg (* 2.0 a)) (/ (* (cbrt 1) (cbrt 1)) 2.0) (/ (cbrt 1) a) (/ (sqrt 1) 2.0) (/ (sqrt 1) a) (/ 1 2.0) (/ 1 a) (/ 1 (* 2.0 a)) (/ (* 2.0 a) 1) (/ 1 2.0) (/ (* 2.0 a) (cbrt 1)) (/ (* 2.0 a) (sqrt 1)) (/ (* 2.0 a) 1) (* g (/ 1 (* 2.0 a))) (* (cbrt g) (cbrt (/ 1 (* 2.0 a)))) (+ (log (cbrt g)) (log (cbrt (/ 1 (* 2.0 a))))) (log (* (cbrt g) (cbrt (/ 1 (* 2.0 a))))) (exp (* (cbrt g) (cbrt (/ 1 (* 2.0 a))))) (* g (/ 1 (* 2.0 a))) (* (cbrt (* (cbrt g) (cbrt (/ 1 (* 2.0 a))))) (cbrt (* (cbrt g) (cbrt (/ 1 (* 2.0 a)))))) (cbrt (* (cbrt g) (cbrt (/ 1 (* 2.0 a))))) (* (* (* (cbrt g) (cbrt (/ 1 (* 2.0 a)))) (* (cbrt g) (cbrt (/ 1 (* 2.0 a))))) (* (cbrt g) (cbrt (/ 1 (* 2.0 a))))) (sqrt (* (cbrt g) (cbrt (/ 1 (* 2.0 a))))) (sqrt (* (cbrt g) (cbrt (/ 1 (* 2.0 a))))) (* (cbrt (sqrt g)) (cbrt (sqrt (/ 1 (* 2.0 a))))) (* (cbrt (sqrt g)) (cbrt (sqrt (/ 1 (* 2.0 a))))) (* (cbrt (sqrt g)) (sqrt (cbrt (/ 1 (* 2.0 a))))) (* (cbrt (sqrt g)) (sqrt (cbrt (/ 1 (* 2.0 a))))) (* (sqrt (cbrt g)) (cbrt (sqrt (/ 1 (* 2.0 a))))) (* (sqrt (cbrt g)) (cbrt (sqrt (/ 1 (* 2.0 a))))) (* (sqrt (cbrt g)) (sqrt (cbrt (/ 1 (* 2.0 a))))) (* (sqrt (cbrt g)) (sqrt (cbrt (/ 1 (* 2.0 a))))) (* (cbrt g) (cbrt (* (cbrt (/ 1 (* 2.0 a))) (cbrt (/ 1 (* 2.0 a)))))) (* (cbrt g) (cbrt (sqrt (/ 1 (* 2.0 a))))) (* (cbrt g) (cbrt (/ (* (cbrt 1) (cbrt 1)) 2.0))) (* (cbrt g) (cbrt (/ (sqrt 1) 2.0))) (* (cbrt g) (cbrt (/ 1 2.0))) (* (cbrt g) (cbrt 1)) (* (cbrt g) (cbrt 1)) (* (cbrt g) (* (cbrt (cbrt (/ 1 (* 2.0 a)))) (cbrt (cbrt (/ 1 (* 2.0 a)))))) (* (cbrt g) (sqrt (cbrt (/ 1 (* 2.0 a))))) (* (cbrt g) 1) (* (cbrt (cbrt g)) (cbrt (/ 1 (* 2.0 a)))) (* (cbrt (sqrt g)) (cbrt (/ 1 (* 2.0 a)))) (* (cbrt g) (cbrt (/ 1 (* 2.0 a)))) (* (cbrt (cbrt g)) (cbrt (/ 1 (* 2.0 a)))) (* (sqrt (cbrt g)) (cbrt (/ 1 (* 2.0 a)))) (* (cbrt g) (cbrt (/ 1 (* 2.0 a)))) (* (cbrt g) (cbrt 1)) (* (exp (* 1/3 (- (log 1) (log a)))) (cbrt 0.5)) (* (cbrt 0.5) (exp (* 1/3 (+ (log (/ 1 a)) (log 1))))) (* (exp (* 1/3 (+ (log 1) (log (/ -1 a))))) (cbrt -0.5)) (exp (* 1/3 (+ (log 1) (log g)))) (exp (* 1/3 (- (log 1) (log (/ 1 g))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 g))))) (cbrt -1)) (/ 0.5 a) (/ 0.5 a) (/ 0.5 a) (* (exp (* 1/3 (- (+ (log 1) (log g)) (log a)))) (cbrt 0.5)) (* (cbrt 0.5) (exp (* 1/3 (- (+ (log (/ 1 a)) (log 1)) (log (/ 1 g)))))) (* (cbrt -1) (* (exp (* 1/3 (- (+ (log 1) (log (/ -1 a))) (log (/ -1 g))))) (cbrt -0.5))) 0.976 * * [simplify]: iteration 0 : 153 enodes (cost 915 ) 0.996 * * [simplify]: iteration 1 : 318 enodes (cost 855 ) 1.049 * * [simplify]: iteration 2 : 912 enodes (cost 759 ) 1.301 * * [simplify]: iteration 3 : 2528 enodes (cost 727 ) 1.888 * * [simplify]: iteration done : 5000 enodes (cost 725 ) 1.889 * [simplify]: Simplified to: (log (cbrt (/ 1 (* 2.0 a)))) (exp (cbrt (/ 1 (* 2.0 a)))) (cbrt (* (cbrt (/ (/ 1 a) 2.0)) (cbrt (/ (/ 1 a) 2.0)))) (cbrt (cbrt (/ (/ 1 a) 2.0))) (cbrt (sqrt (/ 1 (* 2.0 a)))) (cbrt (sqrt (/ 1 (* 2.0 a)))) (cbrt (/ 1 2.0)) (cbrt (/ 1 a)) (cbrt (/ 1 2.0)) (cbrt (/ 1 a)) (cbrt (/ 1 2.0)) (cbrt (/ 1 a)) 1 (cbrt (/ (/ 1 2.0) a)) 1 (cbrt (/ (/ 1 2.0) a)) 1 (cbrt (* 2.0 a)) (* (cbrt (cbrt (/ 1 (* 2.0 a)))) (cbrt (cbrt (/ 1 (* 2.0 a))))) (cbrt (cbrt (/ (/ 1 a) 2.0))) (/ (/ 1 2.0) a) (sqrt (cbrt (/ (/ 1 a) 2.0))) (sqrt (cbrt (/ (/ 1 a) 2.0))) (log (cbrt g)) (exp (cbrt g)) (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g)) (cbrt (sqrt g)) (cbrt (sqrt g)) 1 (cbrt g) (* (cbrt (cbrt g)) (cbrt (cbrt g))) (cbrt (cbrt g)) g (sqrt (cbrt g)) (sqrt (cbrt g)) -1 -1 (neg (log (* 2.0 a))) (neg (log (* 2.0 a))) (neg (log (* 2.0 a))) (neg (log (* 2.0 a))) (neg (log (* 2.0 a))) (neg (log (* 2.0 a))) (neg (log (* 2.0 a))) (exp (/ 1 (* 2.0 a))) (/ 1 (pow (* 2.0 a) 3)) (/ 1 (pow (* 2.0 a) 3)) (* (cbrt (/ (/ 1 a) 2.0)) (cbrt (/ (/ 1 a) 2.0))) (cbrt (/ (/ 1 2.0) a)) (/ 1 (pow (* 2.0 a) 3)) (sqrt (/ 1 (* 2.0 a))) (sqrt (/ 1 (* 2.0 a))) -1 (neg (* 2.0 a)) (/ 1 2.0) (/ 1 a) (/ 1 2.0) (/ 1 a) (/ 1 2.0) (/ 1 a) (/ (/ 1 2.0) a) (* a 2.0) (/ 1 2.0) (* a 2.0) (* a 2.0) (* a 2.0) (/ (/ g 2.0) a) (* (cbrt (/ 1 (* 2.0 a))) (cbrt g)) (log (* (cbrt g) (cbrt (/ 1 (* 2.0 a))))) (log (* (cbrt g) (cbrt (/ 1 (* 2.0 a))))) (exp (* (cbrt g) (cbrt (/ 1 (* 2.0 a))))) (/ (/ g 2.0) a) (* (cbrt (* (cbrt g) (cbrt (/ 1 (* 2.0 a))))) (cbrt (* (cbrt g) (cbrt (/ 1 (* 2.0 a)))))) (cbrt (* (cbrt g) (cbrt (/ 1 (* 2.0 a))))) (/ (/ g 2.0) a) (sqrt (* (cbrt g) (cbrt (/ 1 (* 2.0 a))))) (sqrt (* (cbrt g) (cbrt (/ 1 (* 2.0 a))))) (* (cbrt (sqrt g)) (cbrt (sqrt (/ 1 (* 2.0 a))))) (* (cbrt (sqrt g)) (cbrt (sqrt (/ 1 (* 2.0 a))))) (* (cbrt (sqrt g)) (sqrt (cbrt (/ 1 (* 2.0 a))))) (* (cbrt (sqrt g)) (sqrt (cbrt (/ 1 (* 2.0 a))))) (* (sqrt (cbrt g)) (cbrt (sqrt (/ 1 (* 2.0 a))))) (* (sqrt (cbrt g)) (cbrt (sqrt (/ 1 (* 2.0 a))))) (* (sqrt (cbrt g)) (sqrt (cbrt (/ 1 (* 2.0 a))))) (* (sqrt (cbrt g)) (sqrt (cbrt (/ 1 (* 2.0 a))))) (* (cbrt (* (cbrt (/ 1 (* 2.0 a))) (cbrt (/ 1 (* 2.0 a))))) (cbrt g)) (* (cbrt g) (cbrt (sqrt (/ 1 (* 2.0 a))))) (* (cbrt g) (cbrt (/ 1 2.0))) (* (cbrt g) (cbrt (/ 1 2.0))) (* (cbrt (/ 1 2.0)) (cbrt g)) (cbrt g) (cbrt g) (* (* (cbrt (cbrt (/ 1 (* 2.0 a)))) (cbrt (cbrt (/ 1 (* 2.0 a))))) (cbrt g)) (* (cbrt g) (sqrt (cbrt (/ 1 (* 2.0 a))))) (cbrt g) (* (cbrt (cbrt g)) (cbrt (/ 1 (* 2.0 a)))) (* (cbrt (sqrt g)) (cbrt (/ 1 (* 2.0 a)))) (* (cbrt (/ 1 (* 2.0 a))) (cbrt g)) (* (cbrt (cbrt g)) (cbrt (/ 1 (* 2.0 a)))) (* (sqrt (cbrt g)) (cbrt (/ 1 (* 2.0 a)))) (* (cbrt (/ 1 (* 2.0 a))) (cbrt g)) (cbrt g) (* (cbrt 0.5) (cbrt (/ 1 a))) (* (cbrt 0.5) (cbrt (/ 1 a))) (* (cbrt (/ -1 a)) (cbrt -0.5)) (cbrt g) (cbrt g) (* (cbrt (exp (neg (log (/ -1 g))))) (cbrt -1)) (/ 0.5 a) (/ 0.5 a) (/ 0.5 a) (* (cbrt (* (/ 1 a) g)) (cbrt 0.5)) (* (cbrt (* (/ 1 a) g)) (cbrt 0.5)) (* (cbrt (/ (/ -1 a) (exp (log (/ -1 g))))) (* (cbrt -1) (cbrt -0.5))) 1.890 * * * [progress]: adding candidates to table 2.023 * * [progress]: iteration 3 / 4 2.023 * * * [progress]: picking best candidate 2.087 * * * * [pick]: Picked # 2.087 * * * [progress]: localizing error 2.094 * * * [progress]: generating rewritten candidates 2.094 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 2.096 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 2.097 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 2.109 * * * [progress]: generating series expansions 2.109 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 2.109 * [approximate]: Taking taylor expansion of (* (pow (/ 1 a) 1/3) (cbrt 0.5)) in (a) around 0 2.109 * [taylor]: Taking taylor expansion of (* (pow (/ 1 a) 1/3) (cbrt 0.5)) in a 2.109 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a 2.109 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a 2.109 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a 2.109 * [taylor]: Taking taylor expansion of 1/3 in a 2.109 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a 2.109 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.109 * [taylor]: Taking taylor expansion of a in a 2.110 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 2.110 * [taylor]: Taking taylor expansion of 0.5 in a 2.110 * [taylor]: Taking taylor expansion of (* (pow (/ 1 a) 1/3) (cbrt 0.5)) in a 2.110 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a 2.110 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a 2.110 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a 2.110 * [taylor]: Taking taylor expansion of 1/3 in a 2.110 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a 2.110 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.110 * [taylor]: Taking taylor expansion of a in a 2.110 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 2.110 * [taylor]: Taking taylor expansion of 0.5 in a 2.118 * [approximate]: Taking taylor expansion of (* (pow a 1/3) (cbrt 0.5)) in (a) around 0 2.118 * [taylor]: Taking taylor expansion of (* (pow a 1/3) (cbrt 0.5)) in a 2.118 * [taylor]: Taking taylor expansion of (pow a 1/3) in a 2.118 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a 2.118 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a 2.118 * [taylor]: Taking taylor expansion of 1/3 in a 2.118 * [taylor]: Taking taylor expansion of (log a) in a 2.118 * [taylor]: Taking taylor expansion of a in a 2.118 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 2.118 * [taylor]: Taking taylor expansion of 0.5 in a 2.118 * [taylor]: Taking taylor expansion of (* (pow a 1/3) (cbrt 0.5)) in a 2.118 * [taylor]: Taking taylor expansion of (pow a 1/3) in a 2.118 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a 2.119 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a 2.119 * [taylor]: Taking taylor expansion of 1/3 in a 2.119 * [taylor]: Taking taylor expansion of (log a) in a 2.119 * [taylor]: Taking taylor expansion of a in a 2.119 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 2.119 * [taylor]: Taking taylor expansion of 0.5 in a 2.126 * [approximate]: Taking taylor expansion of (* (pow a 1/3) (cbrt -0.5)) in (a) around 0 2.126 * [taylor]: Taking taylor expansion of (* (pow a 1/3) (cbrt -0.5)) in a 2.126 * [taylor]: Taking taylor expansion of (pow a 1/3) in a 2.126 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a 2.126 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a 2.126 * [taylor]: Taking taylor expansion of 1/3 in a 2.126 * [taylor]: Taking taylor expansion of (log a) in a 2.126 * [taylor]: Taking taylor expansion of a in a 2.127 * [taylor]: Taking taylor expansion of (cbrt -0.5) in a 2.127 * [taylor]: Taking taylor expansion of -0.5 in a 2.127 * [taylor]: Taking taylor expansion of (* (pow a 1/3) (cbrt -0.5)) in a 2.127 * [taylor]: Taking taylor expansion of (pow a 1/3) in a 2.127 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a 2.127 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a 2.127 * [taylor]: Taking taylor expansion of 1/3 in a 2.127 * [taylor]: Taking taylor expansion of (log a) in a 2.127 * [taylor]: Taking taylor expansion of a in a 2.127 * [taylor]: Taking taylor expansion of (cbrt -0.5) in a 2.127 * [taylor]: Taking taylor expansion of -0.5 in a 2.135 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 2.135 * [approximate]: Taking taylor expansion of (pow g 1/3) in (g) around 0 2.135 * [taylor]: Taking taylor expansion of (pow g 1/3) in g 2.135 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log g))) in g 2.135 * [taylor]: Taking taylor expansion of (* 1/3 (log g)) in g 2.135 * [taylor]: Taking taylor expansion of 1/3 in g 2.135 * [taylor]: Taking taylor expansion of (log g) in g 2.135 * [taylor]: Taking taylor expansion of g in g 2.136 * [taylor]: Taking taylor expansion of (pow g 1/3) in g 2.136 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log g))) in g 2.136 * [taylor]: Taking taylor expansion of (* 1/3 (log g)) in g 2.136 * [taylor]: Taking taylor expansion of 1/3 in g 2.136 * [taylor]: Taking taylor expansion of (log g) in g 2.136 * [taylor]: Taking taylor expansion of g in g 2.142 * [approximate]: Taking taylor expansion of (pow (/ 1 g) 1/3) in (g) around 0 2.142 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g 2.142 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g 2.142 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g 2.142 * [taylor]: Taking taylor expansion of 1/3 in g 2.142 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g 2.142 * [taylor]: Taking taylor expansion of (/ 1 g) in g 2.142 * [taylor]: Taking taylor expansion of g in g 2.142 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g 2.142 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g 2.142 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g 2.142 * [taylor]: Taking taylor expansion of 1/3 in g 2.142 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g 2.142 * [taylor]: Taking taylor expansion of (/ 1 g) in g 2.143 * [taylor]: Taking taylor expansion of g in g 2.153 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in (g) around 0 2.153 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in g 2.153 * [taylor]: Taking taylor expansion of (cbrt -1) in g 2.153 * [taylor]: Taking taylor expansion of -1 in g 2.153 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g 2.153 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g 2.153 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g 2.153 * [taylor]: Taking taylor expansion of 1/3 in g 2.153 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g 2.153 * [taylor]: Taking taylor expansion of (/ 1 g) in g 2.153 * [taylor]: Taking taylor expansion of g in g 2.153 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in g 2.154 * [taylor]: Taking taylor expansion of (cbrt -1) in g 2.154 * [taylor]: Taking taylor expansion of -1 in g 2.154 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g 2.154 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g 2.154 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g 2.154 * [taylor]: Taking taylor expansion of 1/3 in g 2.154 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g 2.154 * [taylor]: Taking taylor expansion of (/ 1 g) in g 2.154 * [taylor]: Taking taylor expansion of g in g 2.162 * * * * [progress]: [ 3 / 3 ] generating series at (2) 2.162 * [approximate]: Taking taylor expansion of (* (pow (/ g a) 1/3) (cbrt 0.5)) in (g a) around 0 2.162 * [taylor]: Taking taylor expansion of (* (pow (/ g a) 1/3) (cbrt 0.5)) in a 2.162 * [taylor]: Taking taylor expansion of (pow (/ g a) 1/3) in a 2.162 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ g a)))) in a 2.162 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ g a))) in a 2.162 * [taylor]: Taking taylor expansion of 1/3 in a 2.163 * [taylor]: Taking taylor expansion of (log (/ g a)) in a 2.163 * [taylor]: Taking taylor expansion of (/ g a) in a 2.163 * [taylor]: Taking taylor expansion of g in a 2.163 * [taylor]: Taking taylor expansion of a in a 2.163 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 2.163 * [taylor]: Taking taylor expansion of 0.5 in a 2.163 * [taylor]: Taking taylor expansion of (* (pow (/ g a) 1/3) (cbrt 0.5)) in g 2.163 * [taylor]: Taking taylor expansion of (pow (/ g a) 1/3) in g 2.163 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ g a)))) in g 2.163 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ g a))) in g 2.163 * [taylor]: Taking taylor expansion of 1/3 in g 2.163 * [taylor]: Taking taylor expansion of (log (/ g a)) in g 2.163 * [taylor]: Taking taylor expansion of (/ g a) in g 2.163 * [taylor]: Taking taylor expansion of g in g 2.163 * [taylor]: Taking taylor expansion of a in g 2.163 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g 2.163 * [taylor]: Taking taylor expansion of 0.5 in g 2.163 * [taylor]: Taking taylor expansion of (* (pow (/ g a) 1/3) (cbrt 0.5)) in g 2.163 * [taylor]: Taking taylor expansion of (pow (/ g a) 1/3) in g 2.163 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ g a)))) in g 2.163 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ g a))) in g 2.163 * [taylor]: Taking taylor expansion of 1/3 in g 2.163 * [taylor]: Taking taylor expansion of (log (/ g a)) in g 2.163 * [taylor]: Taking taylor expansion of (/ g a) in g 2.163 * [taylor]: Taking taylor expansion of g in g 2.163 * [taylor]: Taking taylor expansion of a in g 2.164 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g 2.164 * [taylor]: Taking taylor expansion of 0.5 in g 2.164 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (+ (log (/ 1 a)) (log g)))) (cbrt 0.5)) in a 2.164 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (/ 1 a)) (log g)))) in a 2.164 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (/ 1 a)) (log g))) in a 2.164 * [taylor]: Taking taylor expansion of 1/3 in a 2.164 * [taylor]: Taking taylor expansion of (+ (log (/ 1 a)) (log g)) in a 2.164 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a 2.164 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.164 * [taylor]: Taking taylor expansion of a in a 2.164 * [taylor]: Taking taylor expansion of (log g) in a 2.164 * [taylor]: Taking taylor expansion of g in a 2.164 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 2.164 * [taylor]: Taking taylor expansion of 0.5 in a 2.165 * [taylor]: Taking taylor expansion of 0 in a 2.166 * [taylor]: Taking taylor expansion of 0 in a 2.168 * [taylor]: Taking taylor expansion of 0 in a 2.168 * [approximate]: Taking taylor expansion of (* (pow (/ a g) 1/3) (cbrt 0.5)) in (g a) around 0 2.169 * [taylor]: Taking taylor expansion of (* (pow (/ a g) 1/3) (cbrt 0.5)) in a 2.169 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in a 2.169 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in a 2.169 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in a 2.169 * [taylor]: Taking taylor expansion of 1/3 in a 2.169 * [taylor]: Taking taylor expansion of (log (/ a g)) in a 2.169 * [taylor]: Taking taylor expansion of (/ a g) in a 2.169 * [taylor]: Taking taylor expansion of a in a 2.169 * [taylor]: Taking taylor expansion of g in a 2.169 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 2.169 * [taylor]: Taking taylor expansion of 0.5 in a 2.169 * [taylor]: Taking taylor expansion of (* (pow (/ a g) 1/3) (cbrt 0.5)) in g 2.169 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in g 2.169 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in g 2.169 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in g 2.169 * [taylor]: Taking taylor expansion of 1/3 in g 2.169 * [taylor]: Taking taylor expansion of (log (/ a g)) in g 2.169 * [taylor]: Taking taylor expansion of (/ a g) in g 2.169 * [taylor]: Taking taylor expansion of a in g 2.169 * [taylor]: Taking taylor expansion of g in g 2.169 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g 2.169 * [taylor]: Taking taylor expansion of 0.5 in g 2.169 * [taylor]: Taking taylor expansion of (* (pow (/ a g) 1/3) (cbrt 0.5)) in g 2.169 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in g 2.169 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in g 2.170 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in g 2.170 * [taylor]: Taking taylor expansion of 1/3 in g 2.170 * [taylor]: Taking taylor expansion of (log (/ a g)) in g 2.170 * [taylor]: Taking taylor expansion of (/ a g) in g 2.170 * [taylor]: Taking taylor expansion of a in g 2.170 * [taylor]: Taking taylor expansion of g in g 2.170 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g 2.170 * [taylor]: Taking taylor expansion of 0.5 in g 2.170 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log a) (log g)))) (cbrt 0.5)) in a 2.170 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log a) (log g)))) in a 2.170 * [taylor]: Taking taylor expansion of (* 1/3 (- (log a) (log g))) in a 2.170 * [taylor]: Taking taylor expansion of 1/3 in a 2.170 * [taylor]: Taking taylor expansion of (- (log a) (log g)) in a 2.170 * [taylor]: Taking taylor expansion of (log a) in a 2.170 * [taylor]: Taking taylor expansion of a in a 2.170 * [taylor]: Taking taylor expansion of (log g) in a 2.170 * [taylor]: Taking taylor expansion of g in a 2.170 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 2.170 * [taylor]: Taking taylor expansion of 0.5 in a 2.171 * [taylor]: Taking taylor expansion of 0 in a 2.172 * [taylor]: Taking taylor expansion of 0 in a 2.174 * [taylor]: Taking taylor expansion of 0 in a 2.174 * [approximate]: Taking taylor expansion of (* (pow (/ a g) 1/3) (* (cbrt -1) (cbrt -0.5))) in (g a) around 0 2.175 * [taylor]: Taking taylor expansion of (* (pow (/ a g) 1/3) (* (cbrt -1) (cbrt -0.5))) in a 2.175 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in a 2.175 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in a 2.175 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in a 2.175 * [taylor]: Taking taylor expansion of 1/3 in a 2.175 * [taylor]: Taking taylor expansion of (log (/ a g)) in a 2.175 * [taylor]: Taking taylor expansion of (/ a g) in a 2.175 * [taylor]: Taking taylor expansion of a in a 2.175 * [taylor]: Taking taylor expansion of g in a 2.175 * [taylor]: Taking taylor expansion of (* (cbrt -1) (cbrt -0.5)) in a 2.175 * [taylor]: Taking taylor expansion of (cbrt -1) in a 2.175 * [taylor]: Taking taylor expansion of -1 in a 2.175 * [taylor]: Taking taylor expansion of (cbrt -0.5) in a 2.175 * [taylor]: Taking taylor expansion of -0.5 in a 2.175 * [taylor]: Taking taylor expansion of (* (pow (/ a g) 1/3) (* (cbrt -1) (cbrt -0.5))) in g 2.175 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in g 2.175 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in g 2.175 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in g 2.175 * [taylor]: Taking taylor expansion of 1/3 in g 2.175 * [taylor]: Taking taylor expansion of (log (/ a g)) in g 2.175 * [taylor]: Taking taylor expansion of (/ a g) in g 2.175 * [taylor]: Taking taylor expansion of a in g 2.175 * [taylor]: Taking taylor expansion of g in g 2.175 * [taylor]: Taking taylor expansion of (* (cbrt -1) (cbrt -0.5)) in g 2.176 * [taylor]: Taking taylor expansion of (cbrt -1) in g 2.176 * [taylor]: Taking taylor expansion of -1 in g 2.176 * [taylor]: Taking taylor expansion of (cbrt -0.5) in g 2.176 * [taylor]: Taking taylor expansion of -0.5 in g 2.176 * [taylor]: Taking taylor expansion of (* (pow (/ a g) 1/3) (* (cbrt -1) (cbrt -0.5))) in g 2.176 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in g 2.176 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in g 2.176 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in g 2.176 * [taylor]: Taking taylor expansion of 1/3 in g 2.176 * [taylor]: Taking taylor expansion of (log (/ a g)) in g 2.176 * [taylor]: Taking taylor expansion of (/ a g) in g 2.176 * [taylor]: Taking taylor expansion of a in g 2.176 * [taylor]: Taking taylor expansion of g in g 2.176 * [taylor]: Taking taylor expansion of (* (cbrt -1) (cbrt -0.5)) in g 2.176 * [taylor]: Taking taylor expansion of (cbrt -1) in g 2.176 * [taylor]: Taking taylor expansion of -1 in g 2.176 * [taylor]: Taking taylor expansion of (cbrt -0.5) in g 2.176 * [taylor]: Taking taylor expansion of -0.5 in g 2.177 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log a) (log g)))) (* (cbrt -1) (cbrt -0.5))) in a 2.177 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log a) (log g)))) in a 2.177 * [taylor]: Taking taylor expansion of (* 1/3 (- (log a) (log g))) in a 2.177 * [taylor]: Taking taylor expansion of 1/3 in a 2.177 * [taylor]: Taking taylor expansion of (- (log a) (log g)) in a 2.177 * [taylor]: Taking taylor expansion of (log a) in a 2.177 * [taylor]: Taking taylor expansion of a in a 2.177 * [taylor]: Taking taylor expansion of (log g) in a 2.177 * [taylor]: Taking taylor expansion of g in a 2.177 * [taylor]: Taking taylor expansion of (* (cbrt -1) (cbrt -0.5)) in a 2.177 * [taylor]: Taking taylor expansion of (cbrt -1) in a 2.177 * [taylor]: Taking taylor expansion of -1 in a 2.177 * [taylor]: Taking taylor expansion of (cbrt -0.5) in a 2.177 * [taylor]: Taking taylor expansion of -0.5 in a 2.179 * [taylor]: Taking taylor expansion of 0 in a 2.180 * [taylor]: Taking taylor expansion of 0 in a 2.183 * [taylor]: Taking taylor expansion of 0 in a 2.183 * * * [progress]: simplifying candidates 2.184 * [simplify]: Simplifying using # : (log (cbrt (/ 0.5 a))) (exp (cbrt (/ 0.5 a))) (cbrt (* (cbrt (/ 0.5 a)) (cbrt (/ 0.5 a)))) (cbrt (cbrt (/ 0.5 a))) (cbrt (sqrt (/ 0.5 a))) (cbrt (sqrt (/ 0.5 a))) (cbrt (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt a) (cbrt a)))) (cbrt (/ (cbrt 0.5) (cbrt a))) (cbrt (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt a))) (cbrt (/ (cbrt 0.5) (sqrt a))) (cbrt (/ (* (cbrt 0.5) (cbrt 0.5)) 1)) (cbrt (/ (cbrt 0.5) a)) (cbrt (/ (sqrt 0.5) (* (cbrt a) (cbrt a)))) (cbrt (/ (sqrt 0.5) (cbrt a))) (cbrt (/ (sqrt 0.5) (sqrt a))) (cbrt (/ (sqrt 0.5) (sqrt a))) (cbrt (/ (sqrt 0.5) 1)) (cbrt (/ (sqrt 0.5) a)) (cbrt (/ 1 (* (cbrt a) (cbrt a)))) (cbrt (/ 0.5 (cbrt a))) (cbrt (/ 1 (sqrt a))) (cbrt (/ 0.5 (sqrt a))) (cbrt (/ 1 1)) (cbrt (/ 0.5 a)) (cbrt 1) (cbrt (/ 0.5 a)) (cbrt 0.5) (cbrt (/ 1 a)) (cbrt 0.5) (cbrt a) (* (cbrt (cbrt (/ 0.5 a))) (cbrt (cbrt (/ 0.5 a)))) (cbrt (cbrt (/ 0.5 a))) (* (* (cbrt (/ 0.5 a)) (cbrt (/ 0.5 a))) (cbrt (/ 0.5 a))) (sqrt (cbrt (/ 0.5 a))) (sqrt (cbrt (/ 0.5 a))) (log (cbrt g)) (exp (cbrt g)) (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g)) (cbrt (sqrt g)) (cbrt (sqrt g)) (cbrt 1) (cbrt g) (* (cbrt (cbrt g)) (cbrt (cbrt g))) (cbrt (cbrt g)) (* (* (cbrt g) (cbrt g)) (cbrt g)) (sqrt (cbrt g)) (sqrt (cbrt g)) (* g (/ 0.5 a)) (* (cbrt g) (cbrt (/ 0.5 a))) (+ (log (cbrt g)) (log (cbrt (/ 0.5 a)))) (log (* (cbrt g) (cbrt (/ 0.5 a)))) (exp (* (cbrt g) (cbrt (/ 0.5 a)))) (* g (/ 0.5 a)) (* (cbrt (* (cbrt g) (cbrt (/ 0.5 a)))) (cbrt (* (cbrt g) (cbrt (/ 0.5 a))))) (cbrt (* (cbrt g) (cbrt (/ 0.5 a)))) (* (* (* (cbrt g) (cbrt (/ 0.5 a))) (* (cbrt g) (cbrt (/ 0.5 a)))) (* (cbrt g) (cbrt (/ 0.5 a)))) (sqrt (* (cbrt g) (cbrt (/ 0.5 a)))) (sqrt (* (cbrt g) (cbrt (/ 0.5 a)))) (* (cbrt (sqrt g)) (cbrt (sqrt (/ 0.5 a)))) (* (cbrt (sqrt g)) (cbrt (sqrt (/ 0.5 a)))) (* (cbrt (sqrt g)) (cbrt (/ (sqrt 0.5) (sqrt a)))) (* (cbrt (sqrt g)) (cbrt (/ (sqrt 0.5) (sqrt a)))) (* (cbrt (sqrt g)) (sqrt (cbrt (/ 0.5 a)))) (* (cbrt (sqrt g)) (sqrt (cbrt (/ 0.5 a)))) (* (sqrt (cbrt g)) (cbrt (sqrt (/ 0.5 a)))) (* (sqrt (cbrt g)) (cbrt (sqrt (/ 0.5 a)))) (* (sqrt (cbrt g)) (cbrt (/ (sqrt 0.5) (sqrt a)))) (* (sqrt (cbrt g)) (cbrt (/ (sqrt 0.5) (sqrt a)))) (* (sqrt (cbrt g)) (sqrt (cbrt (/ 0.5 a)))) (* (sqrt (cbrt g)) (sqrt (cbrt (/ 0.5 a)))) (* (cbrt g) (cbrt (* (cbrt (/ 0.5 a)) (cbrt (/ 0.5 a))))) (* (cbrt g) (cbrt (sqrt (/ 0.5 a)))) (* (cbrt g) (cbrt (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt a) (cbrt a))))) (* (cbrt g) (cbrt (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt a)))) (* (cbrt g) (cbrt (/ (* (cbrt 0.5) (cbrt 0.5)) 1))) (* (cbrt g) (cbrt (/ (sqrt 0.5) (* (cbrt a) (cbrt a))))) (* (cbrt g) (cbrt (/ (sqrt 0.5) (sqrt a)))) (* (cbrt g) (cbrt (/ (sqrt 0.5) 1))) (* (cbrt g) (cbrt (/ 1 (* (cbrt a) (cbrt a))))) (* (cbrt g) (cbrt (/ 1 (sqrt a)))) (* (cbrt g) (cbrt (/ 1 1))) (* (cbrt g) (cbrt 1)) (* (cbrt g) (cbrt 0.5)) (* (cbrt g) (* (cbrt (cbrt (/ 0.5 a))) (cbrt (cbrt (/ 0.5 a))))) (* (cbrt g) (sqrt (cbrt (/ 0.5 a)))) (* (cbrt g) 1) (* (cbrt (cbrt g)) (cbrt (/ 0.5 a))) (* (cbrt (sqrt g)) (cbrt (/ 0.5 a))) (* (cbrt g) (cbrt (/ 0.5 a))) (* (cbrt (cbrt g)) (cbrt (/ 0.5 a))) (* (sqrt (cbrt g)) (cbrt (/ 0.5 a))) (* (cbrt g) (cbrt (/ 0.5 a))) (* (cbrt g) (cbrt 0.5)) (* (exp (* 1/3 (- (log 1) (log a)))) (cbrt 0.5)) (* (cbrt 0.5) (exp (* 1/3 (+ (log (/ 1 a)) (log 1))))) (* (exp (* 1/3 (+ (log 1) (log (/ -1 a))))) (cbrt -0.5)) (exp (* 1/3 (+ (log 1) (log g)))) (exp (* 1/3 (- (log 1) (log (/ 1 g))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 g))))) (cbrt -1)) (* (exp (* 1/3 (- (+ (log 1) (log g)) (log a)))) (cbrt 0.5)) (* (cbrt 0.5) (exp (* 1/3 (- (+ (log (/ 1 a)) (log 1)) (log (/ 1 g)))))) (* (cbrt -1) (* (exp (* 1/3 (- (+ (log 1) (log (/ -1 a))) (log (/ -1 g))))) (cbrt -0.5))) 2.189 * * [simplify]: iteration 0 : 153 enodes (cost 794 ) 2.207 * * [simplify]: iteration 1 : 280 enodes (cost 762 ) 2.249 * * [simplify]: iteration 2 : 722 enodes (cost 714 ) 2.359 * * [simplify]: iteration 3 : 1435 enodes (cost 682 ) 2.598 * * [simplify]: iteration 4 : 2881 enodes (cost 671 ) 2.957 * * [simplify]: iteration done : 5001 enodes (cost 671 ) 2.958 * [simplify]: Simplified to: (log (cbrt (/ 0.5 a))) (exp (cbrt (/ 0.5 a))) (cbrt (* (cbrt (/ 0.5 a)) (cbrt (/ 0.5 a)))) (cbrt (cbrt (/ 0.5 a))) (cbrt (sqrt (/ 0.5 a))) (cbrt (sqrt (/ 0.5 a))) (cbrt (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt a) (cbrt a)))) (cbrt (/ (cbrt 0.5) (cbrt a))) (cbrt (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt a))) (cbrt (/ (cbrt 0.5) (sqrt a))) (cbrt (* (cbrt 0.5) (cbrt 0.5))) (cbrt (/ (cbrt 0.5) a)) (cbrt (/ (sqrt 0.5) (* (cbrt a) (cbrt a)))) (cbrt (/ (sqrt 0.5) (cbrt a))) (cbrt (/ (sqrt 0.5) (sqrt a))) (cbrt (/ (sqrt 0.5) (sqrt a))) (cbrt (sqrt 0.5)) (cbrt (/ (sqrt 0.5) a)) (cbrt (/ 1 (* (cbrt a) (cbrt a)))) (cbrt (/ 0.5 (cbrt a))) (cbrt (/ 1 (sqrt a))) (cbrt (/ 0.5 (sqrt a))) 1 (cbrt (/ 0.5 a)) 1 (cbrt (/ 0.5 a)) (cbrt 0.5) (cbrt (/ 1 a)) (cbrt 0.5) (cbrt a) (* (cbrt (cbrt (/ 0.5 a))) (cbrt (cbrt (/ 0.5 a)))) (cbrt (cbrt (/ 0.5 a))) (/ 0.5 a) (sqrt (cbrt (/ 0.5 a))) (sqrt (cbrt (/ 0.5 a))) (log (cbrt g)) (exp (cbrt g)) (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g)) (cbrt (sqrt g)) (cbrt (sqrt g)) 1 (cbrt g) (* (cbrt (cbrt g)) (cbrt (cbrt g))) (cbrt (cbrt g)) g (sqrt (cbrt g)) (sqrt (cbrt g)) (* g (/ 0.5 a)) (* (cbrt g) (cbrt (/ 0.5 a))) (log (* (cbrt g) (cbrt (/ 0.5 a)))) (log (* (cbrt g) (cbrt (/ 0.5 a)))) (exp (* (cbrt g) (cbrt (/ 0.5 a)))) (* g (/ 0.5 a)) (* (cbrt (* (cbrt g) (cbrt (/ 0.5 a)))) (cbrt (* (cbrt g) (cbrt (/ 0.5 a))))) (cbrt (* (cbrt g) (cbrt (/ 0.5 a)))) (* g (/ 0.5 a)) (sqrt (* (cbrt g) (cbrt (/ 0.5 a)))) (sqrt (* (cbrt g) (cbrt (/ 0.5 a)))) (* (cbrt (sqrt g)) (cbrt (sqrt (/ 0.5 a)))) (* (cbrt (sqrt g)) (cbrt (sqrt (/ 0.5 a)))) (* (cbrt (sqrt g)) (cbrt (/ (sqrt 0.5) (sqrt a)))) (* (cbrt (sqrt g)) (cbrt (/ (sqrt 0.5) (sqrt a)))) (* (cbrt (sqrt g)) (sqrt (cbrt (/ 0.5 a)))) (* (cbrt (sqrt g)) (sqrt (cbrt (/ 0.5 a)))) (* (sqrt (cbrt g)) (cbrt (sqrt (/ 0.5 a)))) (* (sqrt (cbrt g)) (cbrt (sqrt (/ 0.5 a)))) (* (sqrt (cbrt g)) (cbrt (/ (sqrt 0.5) (sqrt a)))) (* (sqrt (cbrt g)) (cbrt (/ (sqrt 0.5) (sqrt a)))) (* (sqrt (cbrt g)) (sqrt (cbrt (/ 0.5 a)))) (* (sqrt (cbrt g)) (sqrt (cbrt (/ 0.5 a)))) (* (cbrt (* (cbrt (/ 0.5 a)) (cbrt (/ 0.5 a)))) (cbrt g)) (* (cbrt (sqrt (/ 0.5 a))) (cbrt g)) (* (cbrt g) (cbrt (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt a) (cbrt a))))) (* (cbrt g) (cbrt (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt a)))) (* (cbrt g) (cbrt (* (cbrt 0.5) (cbrt 0.5)))) (* (cbrt g) (cbrt (/ (sqrt 0.5) (* (cbrt a) (cbrt a))))) (* (cbrt g) (cbrt (/ (sqrt 0.5) (sqrt a)))) (* (cbrt g) (cbrt (sqrt 0.5))) (* (cbrt g) (cbrt (/ 1 (* (cbrt a) (cbrt a))))) (* (cbrt (/ 1 (sqrt a))) (cbrt g)) (cbrt g) (cbrt g) (* (cbrt g) (cbrt 0.5)) (* (* (cbrt (cbrt (/ 0.5 a))) (cbrt (cbrt (/ 0.5 a)))) (cbrt g)) (* (sqrt (cbrt (/ 0.5 a))) (cbrt g)) (cbrt g) (* (cbrt (cbrt g)) (cbrt (/ 0.5 a))) (* (cbrt (sqrt g)) (cbrt (/ 0.5 a))) (* (cbrt g) (cbrt (/ 0.5 a))) (* (cbrt (cbrt g)) (cbrt (/ 0.5 a))) (* (sqrt (cbrt g)) (cbrt (/ 0.5 a))) (* (cbrt g) (cbrt (/ 0.5 a))) (* (cbrt g) (cbrt 0.5)) (/ (cbrt 0.5) (pow a 1/3)) (/ (cbrt 0.5) (pow a 1/3)) (* (cbrt (/ -1 a)) (cbrt -0.5)) (cbrt g) (cbrt g) (* (cbrt -1) (cbrt (* g -1))) (* (cbrt (/ g a)) (cbrt 0.5)) (* (cbrt (/ g a)) (cbrt 0.5)) (* (* (cbrt -1) (cbrt (/ (/ -1 a) (/ -1 g)))) (cbrt -0.5)) 2.959 * * * [progress]: adding candidates to table 3.090 * * [progress]: iteration 4 / 4 3.090 * * * [progress]: picking best candidate 3.144 * * * * [pick]: Picked # 3.144 * * * [progress]: localizing error 3.157 * * * [progress]: generating rewritten candidates 3.157 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 3.159 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 3.163 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 3.164 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 3.172 * * * [progress]: generating series expansions 3.172 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 3.172 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 3.172 * [approximate]: Taking taylor expansion of (pow (/ (sqrt 0.5) a) 1/3) in (a) around 0 3.172 * [taylor]: Taking taylor expansion of (pow (/ (sqrt 0.5) a) 1/3) in a 3.172 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sqrt 0.5) a)))) in a 3.172 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sqrt 0.5) a))) in a 3.172 * [taylor]: Taking taylor expansion of 1/3 in a 3.172 * [taylor]: Taking taylor expansion of (log (/ (sqrt 0.5) a)) in a 3.172 * [taylor]: Taking taylor expansion of (/ (sqrt 0.5) a) in a 3.172 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 3.172 * [taylor]: Taking taylor expansion of 0.5 in a 3.172 * [taylor]: Taking taylor expansion of a in a 3.172 * [taylor]: Taking taylor expansion of (pow (/ (sqrt 0.5) a) 1/3) in a 3.172 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sqrt 0.5) a)))) in a 3.173 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sqrt 0.5) a))) in a 3.173 * [taylor]: Taking taylor expansion of 1/3 in a 3.173 * [taylor]: Taking taylor expansion of (log (/ (sqrt 0.5) a)) in a 3.173 * [taylor]: Taking taylor expansion of (/ (sqrt 0.5) a) in a 3.173 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 3.173 * [taylor]: Taking taylor expansion of 0.5 in a 3.173 * [taylor]: Taking taylor expansion of a in a 3.181 * [approximate]: Taking taylor expansion of (pow (* a (sqrt 0.5)) 1/3) in (a) around 0 3.181 * [taylor]: Taking taylor expansion of (pow (* a (sqrt 0.5)) 1/3) in a 3.181 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* a (sqrt 0.5))))) in a 3.181 * [taylor]: Taking taylor expansion of (* 1/3 (log (* a (sqrt 0.5)))) in a 3.181 * [taylor]: Taking taylor expansion of 1/3 in a 3.181 * [taylor]: Taking taylor expansion of (log (* a (sqrt 0.5))) in a 3.181 * [taylor]: Taking taylor expansion of (* a (sqrt 0.5)) in a 3.181 * [taylor]: Taking taylor expansion of a in a 3.181 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 3.181 * [taylor]: Taking taylor expansion of 0.5 in a 3.182 * [taylor]: Taking taylor expansion of (pow (* a (sqrt 0.5)) 1/3) in a 3.182 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* a (sqrt 0.5))))) in a 3.182 * [taylor]: Taking taylor expansion of (* 1/3 (log (* a (sqrt 0.5)))) in a 3.182 * [taylor]: Taking taylor expansion of 1/3 in a 3.182 * [taylor]: Taking taylor expansion of (log (* a (sqrt 0.5))) in a 3.182 * [taylor]: Taking taylor expansion of (* a (sqrt 0.5)) in a 3.182 * [taylor]: Taking taylor expansion of a in a 3.182 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 3.182 * [taylor]: Taking taylor expansion of 0.5 in a 3.190 * [approximate]: Taking taylor expansion of (* (pow (* a (sqrt 0.5)) 1/3) (cbrt -1)) in (a) around 0 3.190 * [taylor]: Taking taylor expansion of (* (pow (* a (sqrt 0.5)) 1/3) (cbrt -1)) in a 3.190 * [taylor]: Taking taylor expansion of (pow (* a (sqrt 0.5)) 1/3) in a 3.190 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* a (sqrt 0.5))))) in a 3.190 * [taylor]: Taking taylor expansion of (* 1/3 (log (* a (sqrt 0.5)))) in a 3.190 * [taylor]: Taking taylor expansion of 1/3 in a 3.190 * [taylor]: Taking taylor expansion of (log (* a (sqrt 0.5))) in a 3.190 * [taylor]: Taking taylor expansion of (* a (sqrt 0.5)) in a 3.190 * [taylor]: Taking taylor expansion of a in a 3.190 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 3.190 * [taylor]: Taking taylor expansion of 0.5 in a 3.190 * [taylor]: Taking taylor expansion of (cbrt -1) in a 3.190 * [taylor]: Taking taylor expansion of -1 in a 3.190 * [taylor]: Taking taylor expansion of (* (pow (* a (sqrt 0.5)) 1/3) (cbrt -1)) in a 3.190 * [taylor]: Taking taylor expansion of (pow (* a (sqrt 0.5)) 1/3) in a 3.190 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* a (sqrt 0.5))))) in a 3.190 * [taylor]: Taking taylor expansion of (* 1/3 (log (* a (sqrt 0.5)))) in a 3.190 * [taylor]: Taking taylor expansion of 1/3 in a 3.190 * [taylor]: Taking taylor expansion of (log (* a (sqrt 0.5))) in a 3.190 * [taylor]: Taking taylor expansion of (* a (sqrt 0.5)) in a 3.190 * [taylor]: Taking taylor expansion of a in a 3.190 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 3.190 * [taylor]: Taking taylor expansion of 0.5 in a 3.191 * [taylor]: Taking taylor expansion of (cbrt -1) in a 3.191 * [taylor]: Taking taylor expansion of -1 in a 3.200 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 3.200 * [approximate]: Taking taylor expansion of (pow g 1/3) in (g) around 0 3.200 * [taylor]: Taking taylor expansion of (pow g 1/3) in g 3.200 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log g))) in g 3.200 * [taylor]: Taking taylor expansion of (* 1/3 (log g)) in g 3.200 * [taylor]: Taking taylor expansion of 1/3 in g 3.200 * [taylor]: Taking taylor expansion of (log g) in g 3.200 * [taylor]: Taking taylor expansion of g in g 3.201 * [taylor]: Taking taylor expansion of (pow g 1/3) in g 3.201 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log g))) in g 3.201 * [taylor]: Taking taylor expansion of (* 1/3 (log g)) in g 3.201 * [taylor]: Taking taylor expansion of 1/3 in g 3.201 * [taylor]: Taking taylor expansion of (log g) in g 3.201 * [taylor]: Taking taylor expansion of g in g 3.207 * [approximate]: Taking taylor expansion of (pow (/ 1 g) 1/3) in (g) around 0 3.207 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g 3.207 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g 3.207 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g 3.207 * [taylor]: Taking taylor expansion of 1/3 in g 3.207 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g 3.207 * [taylor]: Taking taylor expansion of (/ 1 g) in g 3.207 * [taylor]: Taking taylor expansion of g in g 3.207 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g 3.207 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g 3.207 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g 3.207 * [taylor]: Taking taylor expansion of 1/3 in g 3.207 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g 3.207 * [taylor]: Taking taylor expansion of (/ 1 g) in g 3.207 * [taylor]: Taking taylor expansion of g in g 3.214 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in (g) around 0 3.214 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in g 3.215 * [taylor]: Taking taylor expansion of (cbrt -1) in g 3.215 * [taylor]: Taking taylor expansion of -1 in g 3.215 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g 3.215 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g 3.215 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g 3.215 * [taylor]: Taking taylor expansion of 1/3 in g 3.215 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g 3.215 * [taylor]: Taking taylor expansion of (/ 1 g) in g 3.215 * [taylor]: Taking taylor expansion of g in g 3.215 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in g 3.215 * [taylor]: Taking taylor expansion of (cbrt -1) in g 3.215 * [taylor]: Taking taylor expansion of -1 in g 3.215 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g 3.215 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g 3.215 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g 3.215 * [taylor]: Taking taylor expansion of 1/3 in g 3.215 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g 3.215 * [taylor]: Taking taylor expansion of (/ 1 g) in g 3.215 * [taylor]: Taking taylor expansion of g in g 3.224 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 3.224 * [approximate]: Taking taylor expansion of (/ (sqrt 0.5) a) in (a) around 0 3.224 * [taylor]: Taking taylor expansion of (/ (sqrt 0.5) a) in a 3.224 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 3.224 * [taylor]: Taking taylor expansion of 0.5 in a 3.224 * [taylor]: Taking taylor expansion of a in a 3.224 * [taylor]: Taking taylor expansion of (/ (sqrt 0.5) a) in a 3.224 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 3.224 * [taylor]: Taking taylor expansion of 0.5 in a 3.224 * [taylor]: Taking taylor expansion of a in a 3.225 * [approximate]: Taking taylor expansion of (* a (sqrt 0.5)) in (a) around 0 3.225 * [taylor]: Taking taylor expansion of (* a (sqrt 0.5)) in a 3.225 * [taylor]: Taking taylor expansion of a in a 3.225 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 3.225 * [taylor]: Taking taylor expansion of 0.5 in a 3.225 * [taylor]: Taking taylor expansion of (* a (sqrt 0.5)) in a 3.225 * [taylor]: Taking taylor expansion of a in a 3.225 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 3.225 * [taylor]: Taking taylor expansion of 0.5 in a 3.226 * [approximate]: Taking taylor expansion of (* -1 (* a (sqrt 0.5))) in (a) around 0 3.226 * [taylor]: Taking taylor expansion of (* -1 (* a (sqrt 0.5))) in a 3.226 * [taylor]: Taking taylor expansion of -1 in a 3.226 * [taylor]: Taking taylor expansion of (* a (sqrt 0.5)) in a 3.226 * [taylor]: Taking taylor expansion of a in a 3.226 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 3.226 * [taylor]: Taking taylor expansion of 0.5 in a 3.227 * [taylor]: Taking taylor expansion of (* -1 (* a (sqrt 0.5))) in a 3.227 * [taylor]: Taking taylor expansion of -1 in a 3.227 * [taylor]: Taking taylor expansion of (* a (sqrt 0.5)) in a 3.227 * [taylor]: Taking taylor expansion of a in a 3.227 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 3.227 * [taylor]: Taking taylor expansion of 0.5 in a 3.228 * * * [progress]: simplifying candidates 3.230 * [simplify]: Simplifying using # : (log (cbrt (sqrt 0.5))) (exp (cbrt (sqrt 0.5))) (cbrt (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5)))) (cbrt (cbrt (sqrt 0.5))) (cbrt (sqrt (* (cbrt 0.5) (cbrt 0.5)))) (cbrt (sqrt (cbrt 0.5))) (cbrt (sqrt (sqrt 0.5))) (cbrt (sqrt (sqrt 0.5))) (cbrt (sqrt 1)) (cbrt (sqrt 0.5)) (cbrt (sqrt (sqrt 0.5))) (cbrt (sqrt (sqrt 0.5))) (cbrt 1) (cbrt (sqrt 0.5)) (* (cbrt (cbrt (sqrt 0.5))) (cbrt (cbrt (sqrt 0.5)))) (cbrt (cbrt (sqrt 0.5))) (* (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) (cbrt (sqrt 0.5))) (sqrt (cbrt (sqrt 0.5))) (sqrt (cbrt (sqrt 0.5))) (log (cbrt (/ (sqrt 0.5) a))) (exp (cbrt (/ (sqrt 0.5) a))) (cbrt (* (cbrt (/ (sqrt 0.5) a)) (cbrt (/ (sqrt 0.5) a)))) (cbrt (cbrt (/ (sqrt 0.5) a))) (cbrt (sqrt (/ (sqrt 0.5) a))) (cbrt (sqrt (/ (sqrt 0.5) a))) (cbrt (/ (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) (* (cbrt a) (cbrt a)))) (cbrt (/ (cbrt (sqrt 0.5)) (cbrt a))) (cbrt (/ (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) (sqrt a))) (cbrt (/ (cbrt (sqrt 0.5)) (sqrt a))) (cbrt (/ (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) 1)) (cbrt (/ (cbrt (sqrt 0.5)) a)) (cbrt (/ (sqrt (* (cbrt 0.5) (cbrt 0.5))) (* (cbrt a) (cbrt a)))) (cbrt (/ (sqrt (cbrt 0.5)) (cbrt a))) (cbrt (/ (sqrt (* (cbrt 0.5) (cbrt 0.5))) (sqrt a))) (cbrt (/ (sqrt (cbrt 0.5)) (sqrt a))) (cbrt (/ (sqrt (* (cbrt 0.5) (cbrt 0.5))) 1)) (cbrt (/ (sqrt (cbrt 0.5)) a)) (cbrt (/ (sqrt (sqrt 0.5)) (* (cbrt a) (cbrt a)))) (cbrt (/ (sqrt (sqrt 0.5)) (cbrt a))) (cbrt (/ (sqrt (sqrt 0.5)) (sqrt a))) (cbrt (/ (sqrt (sqrt 0.5)) (sqrt a))) (cbrt (/ (sqrt (sqrt 0.5)) 1)) (cbrt (/ (sqrt (sqrt 0.5)) a)) (cbrt (/ (sqrt 1) (* (cbrt a) (cbrt a)))) (cbrt (/ (sqrt 0.5) (cbrt a))) (cbrt (/ (sqrt 1) (sqrt a))) (cbrt (/ (sqrt 0.5) (sqrt a))) (cbrt (/ (sqrt 1) 1)) (cbrt (/ (sqrt 0.5) a)) (cbrt (/ (sqrt (sqrt 0.5)) (* (cbrt a) (cbrt a)))) (cbrt (/ (sqrt (sqrt 0.5)) (cbrt a))) (cbrt (/ (sqrt (sqrt 0.5)) (sqrt a))) (cbrt (/ (sqrt (sqrt 0.5)) (sqrt a))) (cbrt (/ (sqrt (sqrt 0.5)) 1)) (cbrt (/ (sqrt (sqrt 0.5)) a)) (cbrt (/ 1 (* (cbrt a) (cbrt a)))) (cbrt (/ (sqrt 0.5) (cbrt a))) (cbrt (/ 1 (sqrt a))) (cbrt (/ (sqrt 0.5) (sqrt a))) (cbrt (/ 1 1)) (cbrt (/ (sqrt 0.5) a)) (cbrt 1) (cbrt (/ (sqrt 0.5) a)) (cbrt (sqrt 0.5)) (cbrt (/ 1 a)) (cbrt (sqrt 0.5)) (cbrt a) (* (cbrt (cbrt (/ (sqrt 0.5) a))) (cbrt (cbrt (/ (sqrt 0.5) a)))) (cbrt (cbrt (/ (sqrt 0.5) a))) (* (* (cbrt (/ (sqrt 0.5) a)) (cbrt (/ (sqrt 0.5) a))) (cbrt (/ (sqrt 0.5) a))) (sqrt (cbrt (/ (sqrt 0.5) a))) (sqrt (cbrt (/ (sqrt 0.5) a))) (log (cbrt g)) (exp (cbrt g)) (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g)) (cbrt (sqrt g)) (cbrt (sqrt g)) (cbrt 1) (cbrt g) (* (cbrt (cbrt g)) (cbrt (cbrt g))) (cbrt (cbrt g)) (* (* (cbrt g) (cbrt g)) (cbrt g)) (sqrt (cbrt g)) (sqrt (cbrt g)) (- (log (sqrt 0.5)) (log a)) (log (/ (sqrt 0.5) a)) (exp (/ (sqrt 0.5) a)) (/ (* (* (sqrt 0.5) (sqrt 0.5)) (sqrt 0.5)) (* (* a a) a)) (* (cbrt (/ (sqrt 0.5) a)) (cbrt (/ (sqrt 0.5) a))) (cbrt (/ (sqrt 0.5) a)) (* (* (/ (sqrt 0.5) a) (/ (sqrt 0.5) a)) (/ (sqrt 0.5) a)) (sqrt (/ (sqrt 0.5) a)) (sqrt (/ (sqrt 0.5) a)) (neg (sqrt 0.5)) (neg a) (/ (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) (* (cbrt a) (cbrt a))) (/ (cbrt (sqrt 0.5)) (cbrt a)) (/ (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) (sqrt a)) (/ (cbrt (sqrt 0.5)) (sqrt a)) (/ (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) 1) (/ (cbrt (sqrt 0.5)) a) (/ (sqrt (* (cbrt 0.5) (cbrt 0.5))) (* (cbrt a) (cbrt a))) (/ (sqrt (cbrt 0.5)) (cbrt a)) (/ (sqrt (* (cbrt 0.5) (cbrt 0.5))) (sqrt a)) (/ (sqrt (cbrt 0.5)) (sqrt a)) (/ (sqrt (* (cbrt 0.5) (cbrt 0.5))) 1) (/ (sqrt (cbrt 0.5)) a) (/ (sqrt (sqrt 0.5)) (* (cbrt a) (cbrt a))) (/ (sqrt (sqrt 0.5)) (cbrt a)) (/ (sqrt (sqrt 0.5)) (sqrt a)) (/ (sqrt (sqrt 0.5)) (sqrt a)) (/ (sqrt (sqrt 0.5)) 1) (/ (sqrt (sqrt 0.5)) a) (/ (sqrt 1) (* (cbrt a) (cbrt a))) (/ (sqrt 0.5) (cbrt a)) (/ (sqrt 1) (sqrt a)) (/ (sqrt 0.5) (sqrt a)) (/ (sqrt 1) 1) (/ (sqrt 0.5) a) (/ (sqrt (sqrt 0.5)) (* (cbrt a) (cbrt a))) (/ (sqrt (sqrt 0.5)) (cbrt a)) (/ (sqrt (sqrt 0.5)) (sqrt a)) (/ (sqrt (sqrt 0.5)) (sqrt a)) (/ (sqrt (sqrt 0.5)) 1) (/ (sqrt (sqrt 0.5)) a) (/ 1 (* (cbrt a) (cbrt a))) (/ (sqrt 0.5) (cbrt a)) (/ 1 (sqrt a)) (/ (sqrt 0.5) (sqrt a)) (/ 1 1) (/ (sqrt 0.5) a) (/ 1 a) (/ a (sqrt 0.5)) (/ (sqrt 0.5) (* (cbrt a) (cbrt a))) (/ (sqrt 0.5) (sqrt a)) (/ (sqrt 0.5) 1) (/ a (cbrt (sqrt 0.5))) (/ a (sqrt (cbrt 0.5))) (/ a (sqrt (sqrt 0.5))) (/ a (sqrt 0.5)) (/ a (sqrt (sqrt 0.5))) (/ a (sqrt 0.5)) (* (cbrt g) (* (cbrt (sqrt 0.5)) (cbrt (/ (sqrt 0.5) a)))) (exp (* 1/3 (- (log (sqrt 0.5)) (log a)))) (exp (* 1/3 (+ (log (/ 1 a)) (log (sqrt 0.5))))) (* (cbrt -1) (exp (* 1/3 (+ (log (sqrt 0.5)) (log (/ -1 a)))))) (exp (* 1/3 (+ (log 1) (log g)))) (exp (* 1/3 (- (log 1) (log (/ 1 g))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 g))))) (cbrt -1)) (/ (sqrt 0.5) a) (/ (sqrt 0.5) a) (/ (sqrt 0.5) a) 3.233 * * [simplify]: iteration 0 : 156 enodes (cost 956 ) 3.254 * * [simplify]: iteration 1 : 248 enodes (cost 889 ) 3.283 * * [simplify]: iteration 2 : 465 enodes (cost 850 ) 3.342 * * [simplify]: iteration 3 : 947 enodes (cost 828 ) 3.579 * * [simplify]: iteration 4 : 2942 enodes (cost 818 ) 4.020 * * [simplify]: iteration done : 5001 enodes (cost 818 ) 4.021 * [simplify]: Simplified to: (log (cbrt (sqrt 0.5))) (exp (cbrt (sqrt 0.5))) (cbrt (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5)))) (cbrt (cbrt (sqrt 0.5))) (cbrt (fabs (cbrt 0.5))) (cbrt (sqrt (cbrt 0.5))) (cbrt (sqrt (sqrt 0.5))) (cbrt (sqrt (sqrt 0.5))) 1 (cbrt (sqrt 0.5)) (cbrt (sqrt (sqrt 0.5))) (cbrt (sqrt (sqrt 0.5))) 1 (cbrt (sqrt 0.5)) (* (cbrt (cbrt (sqrt 0.5))) (cbrt (cbrt (sqrt 0.5)))) (cbrt (cbrt (sqrt 0.5))) (sqrt 0.5) (sqrt (cbrt (sqrt 0.5))) (sqrt (cbrt (sqrt 0.5))) (log (cbrt (/ (sqrt 0.5) a))) (exp (cbrt (/ (sqrt 0.5) a))) (cbrt (* (cbrt (/ (sqrt 0.5) a)) (cbrt (/ (sqrt 0.5) a)))) (cbrt (cbrt (/ (sqrt 0.5) a))) (cbrt (sqrt (/ (sqrt 0.5) a))) (cbrt (sqrt (/ (sqrt 0.5) a))) (cbrt (/ (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) (* (cbrt a) (cbrt a)))) (cbrt (/ (cbrt (sqrt 0.5)) (cbrt a))) (cbrt (/ (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) (sqrt a))) (cbrt (/ (cbrt (sqrt 0.5)) (sqrt a))) (cbrt (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5)))) (cbrt (/ (cbrt (sqrt 0.5)) a)) (cbrt (/ (fabs (cbrt 0.5)) (* (cbrt a) (cbrt a)))) (cbrt (/ (sqrt (cbrt 0.5)) (cbrt a))) (cbrt (/ (fabs (cbrt 0.5)) (sqrt a))) (cbrt (/ (sqrt (cbrt 0.5)) (sqrt a))) (cbrt (fabs (cbrt 0.5))) (cbrt (/ (sqrt (cbrt 0.5)) a)) (cbrt (/ (sqrt (sqrt 0.5)) (* (cbrt a) (cbrt a)))) (cbrt (/ (sqrt (sqrt 0.5)) (cbrt a))) (cbrt (/ (sqrt (sqrt 0.5)) (sqrt a))) (cbrt (/ (sqrt (sqrt 0.5)) (sqrt a))) (cbrt (sqrt (sqrt 0.5))) (cbrt (/ (sqrt (sqrt 0.5)) a)) (cbrt (/ 1 (* (cbrt a) (cbrt a)))) (cbrt (/ (sqrt 0.5) (cbrt a))) (cbrt (/ 1 (sqrt a))) (cbrt (/ (sqrt 0.5) (sqrt a))) 1 (cbrt (/ (sqrt 0.5) a)) (cbrt (/ (sqrt (sqrt 0.5)) (* (cbrt a) (cbrt a)))) (cbrt (/ (sqrt (sqrt 0.5)) (cbrt a))) (cbrt (/ (sqrt (sqrt 0.5)) (sqrt a))) (cbrt (/ (sqrt (sqrt 0.5)) (sqrt a))) (cbrt (sqrt (sqrt 0.5))) (cbrt (/ (sqrt (sqrt 0.5)) a)) (cbrt (/ 1 (* (cbrt a) (cbrt a)))) (cbrt (/ (sqrt 0.5) (cbrt a))) (cbrt (/ 1 (sqrt a))) (cbrt (/ (sqrt 0.5) (sqrt a))) 1 (cbrt (/ (sqrt 0.5) a)) 1 (cbrt (/ (sqrt 0.5) a)) (cbrt (sqrt 0.5)) (cbrt (/ 1 a)) (cbrt (sqrt 0.5)) (cbrt a) (* (cbrt (cbrt (/ (sqrt 0.5) a))) (cbrt (cbrt (/ (sqrt 0.5) a)))) (cbrt (cbrt (/ (sqrt 0.5) a))) (/ (sqrt 0.5) a) (sqrt (cbrt (/ (sqrt 0.5) a))) (sqrt (cbrt (/ (sqrt 0.5) a))) (log (cbrt g)) (exp (cbrt g)) (cbrt (* (cbrt g) (cbrt g))) (cbrt (cbrt g)) (cbrt (sqrt g)) (cbrt (sqrt g)) 1 (cbrt g) (* (cbrt (cbrt g)) (cbrt (cbrt g))) (cbrt (cbrt g)) g (sqrt (cbrt g)) (sqrt (cbrt g)) (log (/ (sqrt 0.5) a)) (log (/ (sqrt 0.5) a)) (exp (/ (sqrt 0.5) a)) (pow (/ (sqrt 0.5) a) 3) (* (cbrt (/ (sqrt 0.5) a)) (cbrt (/ (sqrt 0.5) a))) (cbrt (/ (sqrt 0.5) a)) (pow (/ (sqrt 0.5) a) 3) (sqrt (/ (sqrt 0.5) a)) (sqrt (/ (sqrt 0.5) a)) (neg (sqrt 0.5)) (neg a) (/ (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) (* (cbrt a) (cbrt a))) (/ (cbrt (sqrt 0.5)) (cbrt a)) (/ (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) (sqrt a)) (/ (cbrt (sqrt 0.5)) (sqrt a)) (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) (/ (cbrt (sqrt 0.5)) a) (/ (fabs (cbrt 0.5)) (* (cbrt a) (cbrt a))) (/ (sqrt (cbrt 0.5)) (cbrt a)) (/ (fabs (cbrt 0.5)) (sqrt a)) (/ (sqrt (cbrt 0.5)) (sqrt a)) (fabs (cbrt 0.5)) (/ (sqrt (cbrt 0.5)) a) (/ (sqrt (sqrt 0.5)) (* (cbrt a) (cbrt a))) (/ (sqrt (sqrt 0.5)) (cbrt a)) (/ (sqrt (sqrt 0.5)) (sqrt a)) (/ (sqrt (sqrt 0.5)) (sqrt a)) (sqrt (sqrt 0.5)) (/ (sqrt (sqrt 0.5)) a) (/ 1 (* (cbrt a) (cbrt a))) (/ (sqrt 0.5) (cbrt a)) (/ 1 (sqrt a)) (/ (sqrt 0.5) (sqrt a)) 1 (/ (sqrt 0.5) a) (/ (sqrt (sqrt 0.5)) (* (cbrt a) (cbrt a))) (/ (sqrt (sqrt 0.5)) (cbrt a)) (/ (sqrt (sqrt 0.5)) (sqrt a)) (/ (sqrt (sqrt 0.5)) (sqrt a)) (sqrt (sqrt 0.5)) (/ (sqrt (sqrt 0.5)) a) (/ 1 (* (cbrt a) (cbrt a))) (/ (sqrt 0.5) (cbrt a)) (/ 1 (sqrt a)) (/ (sqrt 0.5) (sqrt a)) 1 (/ (sqrt 0.5) a) (/ 1 a) (/ a (sqrt 0.5)) (/ (sqrt 0.5) (* (cbrt a) (cbrt a))) (/ (sqrt 0.5) (sqrt a)) (sqrt 0.5) (/ a (cbrt (sqrt 0.5))) (/ a (sqrt (cbrt 0.5))) (/ a (sqrt (sqrt 0.5))) (/ a (sqrt 0.5)) (/ a (sqrt (sqrt 0.5))) (/ a (sqrt 0.5)) (* (cbrt g) (* (cbrt (sqrt 0.5)) (cbrt (/ (sqrt 0.5) a)))) (cbrt (/ (sqrt 0.5) a)) (cbrt (/ (sqrt 0.5) a)) (* (cbrt (* (sqrt 0.5) (/ -1 a))) (cbrt -1)) (cbrt g) (cbrt g) (* (cbrt (/ 1 (/ -1 g))) (cbrt -1)) (/ (sqrt 0.5) a) (/ (sqrt 0.5) a) (/ (sqrt 0.5) a) 4.022 * * * [progress]: adding candidates to table 4.429 * [progress]: [Phase 3 of 3] Extracting. 4.429 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # #) 4.431 * * * [regime-changes]: Trying 5 branch expressions: ((* 2.0 a) (/ g (* 2.0 a)) (cbrt (/ g (* 2.0 a))) a g) 4.431 * * * * [regimes]: Trying to branch on (* 2.0 a) from (# # # # # # # # # # # # # # # #) 4.529 * * * * [regimes]: Trying to branch on (* 2.0 a) from (# # #) 4.567 * * * * [regimes]: Trying to branch on (/ g (* 2.0 a)) from (# # # # # # # # # # # # # # # #) 4.661 * * * * [regimes]: Trying to branch on (/ g (* 2.0 a)) from (# #) 4.696 * * * * [regimes]: Trying to branch on (cbrt (/ g (* 2.0 a))) from (# # # # # # # # # # # # # # # #) 4.796 * * * * [regimes]: Trying to branch on (cbrt (/ g (* 2.0 a))) from (# #) 4.838 * * * * [regimes]: Trying to branch on a from (# # # # # # # # # # # # # # # #) 4.930 * * * * [regimes]: Trying to branch on g from (# # # # # # # # # # # # # # # #) 5.024 * * * [regime]: Found split indices: #