9.040 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.018 * * * [progress]: [2/2] Setting up program. 0.021 * [progress]: [Phase 2 of 3] Improving. 0.021 * [simplify]: Simplifying using # : (cbrt (/ g (* 2.0 a))) 0.022 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.022 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 0.023 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 0.024 * * [simplify]: iteration done : 11 enodes (cost 6 ) 0.024 * [simplify]: Simplified to: (cbrt (/ g (* 2.0 a))) 0.025 * * [progress]: iteration 1 / 4 0.025 * * * [progress]: picking best candidate 0.027 * * * * [pick]: Picked # 0.027 * * * [progress]: localizing error 0.032 * * * [progress]: generating rewritten candidates 0.032 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.036 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.041 * * * [progress]: generating series expansions 0.041 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.041 * [approximate]: Taking taylor expansion of (* (pow (/ g a) 1/3) (cbrt 0.5)) in (g a) around 0 0.041 * [taylor]: Taking taylor expansion of (* (pow (/ g a) 1/3) (cbrt 0.5)) in a 0.041 * [taylor]: Taking taylor expansion of (pow (/ g a) 1/3) in a 0.041 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ g a)))) in a 0.041 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ g a))) in a 0.041 * [taylor]: Taking taylor expansion of 1/3 in a 0.041 * [taylor]: Taking taylor expansion of (log (/ g a)) in a 0.041 * [taylor]: Taking taylor expansion of (/ g a) in a 0.041 * [taylor]: Taking taylor expansion of g in a 0.041 * [taylor]: Taking taylor expansion of a in a 0.042 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 0.042 * [taylor]: Taking taylor expansion of 0.5 in a 0.042 * [taylor]: Taking taylor expansion of (* (pow (/ g a) 1/3) (cbrt 0.5)) in g 0.042 * [taylor]: Taking taylor expansion of (pow (/ g a) 1/3) in g 0.042 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ g a)))) in g 0.042 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ g a))) in g 0.042 * [taylor]: Taking taylor expansion of 1/3 in g 0.042 * [taylor]: Taking taylor expansion of (log (/ g a)) in g 0.042 * [taylor]: Taking taylor expansion of (/ g a) in g 0.042 * [taylor]: Taking taylor expansion of g in g 0.042 * [taylor]: Taking taylor expansion of a in g 0.042 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g 0.042 * [taylor]: Taking taylor expansion of 0.5 in g 0.042 * [taylor]: Taking taylor expansion of (* (pow (/ g a) 1/3) (cbrt 0.5)) in g 0.042 * [taylor]: Taking taylor expansion of (pow (/ g a) 1/3) in g 0.042 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ g a)))) in g 0.042 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ g a))) in g 0.042 * [taylor]: Taking taylor expansion of 1/3 in g 0.042 * [taylor]: Taking taylor expansion of (log (/ g a)) in g 0.042 * [taylor]: Taking taylor expansion of (/ g a) in g 0.042 * [taylor]: Taking taylor expansion of g in g 0.042 * [taylor]: Taking taylor expansion of a in g 0.042 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g 0.043 * [taylor]: Taking taylor expansion of 0.5 in g 0.043 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (+ (log (/ 1 a)) (log g)))) (cbrt 0.5)) in a 0.043 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (/ 1 a)) (log g)))) in a 0.043 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (/ 1 a)) (log g))) in a 0.043 * [taylor]: Taking taylor expansion of 1/3 in a 0.043 * [taylor]: Taking taylor expansion of (+ (log (/ 1 a)) (log g)) in a 0.043 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a 0.043 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.043 * [taylor]: Taking taylor expansion of a in a 0.043 * [taylor]: Taking taylor expansion of (log g) in a 0.043 * [taylor]: Taking taylor expansion of g in a 0.043 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 0.043 * [taylor]: Taking taylor expansion of 0.5 in a 0.044 * [taylor]: Taking taylor expansion of 0 in a 0.045 * [taylor]: Taking taylor expansion of 0 in a 0.047 * [taylor]: Taking taylor expansion of 0 in a 0.047 * [approximate]: Taking taylor expansion of (* (pow (/ a g) 1/3) (cbrt 0.5)) in (g a) around 0 0.047 * [taylor]: Taking taylor expansion of (* (pow (/ a g) 1/3) (cbrt 0.5)) in a 0.047 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in a 0.047 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in a 0.048 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in a 0.048 * [taylor]: Taking taylor expansion of 1/3 in a 0.048 * [taylor]: Taking taylor expansion of (log (/ a g)) in a 0.048 * [taylor]: Taking taylor expansion of (/ a g) in a 0.048 * [taylor]: Taking taylor expansion of a in a 0.048 * [taylor]: Taking taylor expansion of g in a 0.048 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 0.048 * [taylor]: Taking taylor expansion of 0.5 in a 0.048 * [taylor]: Taking taylor expansion of (* (pow (/ a g) 1/3) (cbrt 0.5)) in g 0.048 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in g 0.048 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in g 0.048 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in g 0.048 * [taylor]: Taking taylor expansion of 1/3 in g 0.048 * [taylor]: Taking taylor expansion of (log (/ a g)) in g 0.048 * [taylor]: Taking taylor expansion of (/ a g) in g 0.048 * [taylor]: Taking taylor expansion of a in g 0.048 * [taylor]: Taking taylor expansion of g in g 0.048 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g 0.048 * [taylor]: Taking taylor expansion of 0.5 in g 0.048 * [taylor]: Taking taylor expansion of (* (pow (/ a g) 1/3) (cbrt 0.5)) in g 0.048 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in g 0.048 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in g 0.048 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in g 0.048 * [taylor]: Taking taylor expansion of 1/3 in g 0.048 * [taylor]: Taking taylor expansion of (log (/ a g)) in g 0.048 * [taylor]: Taking taylor expansion of (/ a g) in g 0.048 * [taylor]: Taking taylor expansion of a in g 0.048 * [taylor]: Taking taylor expansion of g in g 0.049 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g 0.049 * [taylor]: Taking taylor expansion of 0.5 in g 0.049 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log a) (log g)))) (cbrt 0.5)) in a 0.049 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log a) (log g)))) in a 0.049 * [taylor]: Taking taylor expansion of (* 1/3 (- (log a) (log g))) in a 0.049 * [taylor]: Taking taylor expansion of 1/3 in a 0.049 * [taylor]: Taking taylor expansion of (- (log a) (log g)) in a 0.049 * [taylor]: Taking taylor expansion of (log a) in a 0.049 * [taylor]: Taking taylor expansion of a in a 0.049 * [taylor]: Taking taylor expansion of (log g) in a 0.049 * [taylor]: Taking taylor expansion of g in a 0.049 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 0.049 * [taylor]: Taking taylor expansion of 0.5 in a 0.050 * [taylor]: Taking taylor expansion of 0 in a 0.051 * [taylor]: Taking taylor expansion of 0 in a 0.053 * [taylor]: Taking taylor expansion of 0 in a 0.053 * [approximate]: Taking taylor expansion of (* (pow (/ a g) 1/3) (cbrt 0.5)) in (g a) around 0 0.053 * [taylor]: Taking taylor expansion of (* (pow (/ a g) 1/3) (cbrt 0.5)) in a 0.053 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in a 0.053 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in a 0.053 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in a 0.053 * [taylor]: Taking taylor expansion of 1/3 in a 0.053 * [taylor]: Taking taylor expansion of (log (/ a g)) in a 0.053 * [taylor]: Taking taylor expansion of (/ a g) in a 0.053 * [taylor]: Taking taylor expansion of a in a 0.053 * [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 (* (pow (/ a g) 1/3) (cbrt 0.5)) in g 0.053 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in g 0.053 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in g 0.053 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in g 0.053 * [taylor]: Taking taylor expansion of 1/3 in g 0.054 * [taylor]: Taking taylor expansion of (log (/ a g)) in g 0.054 * [taylor]: Taking taylor expansion of (/ a g) in g 0.054 * [taylor]: Taking taylor expansion of a in g 0.054 * [taylor]: Taking taylor expansion of g in g 0.054 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g 0.054 * [taylor]: Taking taylor expansion of 0.5 in g 0.054 * [taylor]: Taking taylor expansion of (* (pow (/ a g) 1/3) (cbrt 0.5)) in g 0.054 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in g 0.054 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in g 0.054 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in g 0.054 * [taylor]: Taking taylor expansion of 1/3 in g 0.054 * [taylor]: Taking taylor expansion of (log (/ a g)) in g 0.054 * [taylor]: Taking taylor expansion of (/ a g) in g 0.054 * [taylor]: Taking taylor expansion of a in g 0.054 * [taylor]: Taking taylor expansion of g in g 0.054 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g 0.054 * [taylor]: Taking taylor expansion of 0.5 in g 0.054 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log a) (log g)))) (cbrt 0.5)) in a 0.054 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log a) (log g)))) in a 0.054 * [taylor]: Taking taylor expansion of (* 1/3 (- (log a) (log g))) in a 0.054 * [taylor]: Taking taylor expansion of 1/3 in a 0.054 * [taylor]: Taking taylor expansion of (- (log a) (log g)) in a 0.054 * [taylor]: Taking taylor expansion of (log a) in a 0.054 * [taylor]: Taking taylor expansion of a in a 0.054 * [taylor]: Taking taylor expansion of (log g) in a 0.054 * [taylor]: Taking taylor expansion of g in a 0.055 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 0.055 * [taylor]: Taking taylor expansion of 0.5 in a 0.055 * [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.059 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.059 * [approximate]: Taking taylor expansion of (* 0.5 (/ g a)) in (g a) around 0 0.059 * [taylor]: Taking taylor expansion of (* 0.5 (/ g a)) in a 0.059 * [taylor]: Taking taylor expansion of 0.5 in a 0.059 * [taylor]: Taking taylor expansion of (/ g a) in a 0.059 * [taylor]: Taking taylor expansion of g in a 0.059 * [taylor]: Taking taylor expansion of a in a 0.059 * [taylor]: Taking taylor expansion of (* 0.5 (/ g a)) in g 0.059 * [taylor]: Taking taylor expansion of 0.5 in g 0.059 * [taylor]: Taking taylor expansion of (/ g a) in g 0.059 * [taylor]: Taking taylor expansion of g in g 0.059 * [taylor]: Taking taylor expansion of a in g 0.059 * [taylor]: Taking taylor expansion of (* 0.5 (/ g a)) in g 0.059 * [taylor]: Taking taylor expansion of 0.5 in g 0.059 * [taylor]: Taking taylor expansion of (/ g a) in g 0.059 * [taylor]: Taking taylor expansion of g in g 0.059 * [taylor]: Taking taylor expansion of a 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 * [approximate]: Taking taylor expansion of (* 0.5 (/ a g)) in (g a) around 0 0.060 * [taylor]: Taking taylor expansion of (* 0.5 (/ a g)) in a 0.060 * [taylor]: Taking taylor expansion of 0.5 in a 0.060 * [taylor]: Taking taylor expansion of (/ a g) in a 0.060 * [taylor]: Taking taylor expansion of a in a 0.060 * [taylor]: Taking taylor expansion of g in a 0.060 * [taylor]: Taking taylor expansion of (* 0.5 (/ a g)) in g 0.060 * [taylor]: Taking taylor expansion of 0.5 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.060 * [taylor]: Taking taylor expansion of (* 0.5 (/ a g)) in g 0.060 * [taylor]: Taking taylor expansion of 0.5 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.060 * [taylor]: Taking taylor expansion of (* 0.5 a) in a 0.060 * [taylor]: Taking taylor expansion of 0.5 in a 0.060 * [taylor]: Taking taylor expansion of a in a 0.061 * [taylor]: Taking taylor expansion of 0 in a 0.061 * [taylor]: Taking taylor expansion of 0 in a 0.061 * [taylor]: Taking taylor expansion of 0 in a 0.061 * [approximate]: Taking taylor expansion of (* 0.5 (/ a g)) in (g a) around 0 0.061 * [taylor]: Taking taylor expansion of (* 0.5 (/ a g)) in a 0.061 * [taylor]: Taking taylor expansion of 0.5 in a 0.061 * [taylor]: Taking taylor expansion of (/ a g) in a 0.061 * [taylor]: Taking taylor expansion of a in a 0.061 * [taylor]: Taking taylor expansion of g in a 0.061 * [taylor]: Taking taylor expansion of (* 0.5 (/ a g)) in g 0.061 * [taylor]: Taking taylor expansion of 0.5 in g 0.061 * [taylor]: Taking taylor expansion of (/ a g) in g 0.061 * [taylor]: Taking taylor expansion of a in g 0.061 * [taylor]: Taking taylor expansion of g in g 0.061 * [taylor]: Taking taylor expansion of (* 0.5 (/ a g)) in g 0.061 * [taylor]: Taking taylor expansion of 0.5 in g 0.061 * [taylor]: Taking taylor expansion of (/ a g) in g 0.061 * [taylor]: Taking taylor expansion of a in g 0.061 * [taylor]: Taking taylor expansion of g in g 0.061 * [taylor]: Taking taylor expansion of (* 0.5 a) in a 0.061 * [taylor]: Taking taylor expansion of 0.5 in a 0.061 * [taylor]: Taking taylor expansion of a in a 0.062 * [taylor]: Taking taylor expansion of 0 in a 0.062 * [taylor]: Taking taylor expansion of 0 in a 0.062 * [taylor]: Taking taylor expansion of 0 in a 0.062 * * * [progress]: simplifying candidates 0.063 * [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.065 * * [simplify]: iteration 0 : 93 enodes (cost 393 ) 0.077 * * [simplify]: iteration 1 : 185 enodes (cost 384 ) 0.115 * * [simplify]: iteration 2 : 496 enodes (cost 334 ) 0.392 * * [simplify]: iteration 3 : 1633 enodes (cost 328 ) 3.000 * * [simplify]: iteration 4 : 4633 enodes (cost 319 ) 3.823 * * [simplify]: iteration done : 5000 enodes (cost 319 ) 3.824 * [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 (/ g a))) (* (cbrt 0.5) (cbrt (/ g a))) (* (cbrt (* g (/ (/ -1 a) -1))) (cbrt 0.5)) (* 0.5 (/ g a)) (* 0.5 (/ g a)) (* 0.5 (/ g a)) 3.824 * * * [progress]: adding candidates to table 3.893 * * [progress]: iteration 2 / 4 3.893 * * * [progress]: picking best candidate 3.930 * * * * [pick]: Picked # 3.930 * * * [progress]: localizing error 3.938 * * * [progress]: generating rewritten candidates 3.938 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 3.942 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 3.943 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 3.948 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 3.957 * * * [progress]: generating series expansions 3.957 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 3.958 * [approximate]: Taking taylor expansion of (* (pow (/ 1 a) 1/3) (cbrt 0.5)) in (a) around 0 3.958 * [taylor]: Taking taylor expansion of (* (pow (/ 1 a) 1/3) (cbrt 0.5)) in a 3.958 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a 3.958 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a 3.958 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a 3.958 * [taylor]: Taking taylor expansion of 1/3 in a 3.958 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a 3.958 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.958 * [taylor]: Taking taylor expansion of a in a 3.958 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 3.958 * [taylor]: Taking taylor expansion of 0.5 in a 3.958 * [taylor]: Taking taylor expansion of (* (pow (/ 1 a) 1/3) (cbrt 0.5)) in a 3.958 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a 3.958 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a 3.958 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a 3.958 * [taylor]: Taking taylor expansion of 1/3 in a 3.958 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a 3.958 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.958 * [taylor]: Taking taylor expansion of a in a 3.958 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 3.958 * [taylor]: Taking taylor expansion of 0.5 in a 3.966 * [approximate]: Taking taylor expansion of (* (pow a 1/3) (cbrt 0.5)) in (a) around 0 3.966 * [taylor]: Taking taylor expansion of (* (pow a 1/3) (cbrt 0.5)) in a 3.966 * [taylor]: Taking taylor expansion of (pow a 1/3) in a 3.966 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a 3.966 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a 3.966 * [taylor]: Taking taylor expansion of 1/3 in a 3.966 * [taylor]: Taking taylor expansion of (log a) in a 3.966 * [taylor]: Taking taylor expansion of a in a 3.967 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 3.967 * [taylor]: Taking taylor expansion of 0.5 in a 3.967 * [taylor]: Taking taylor expansion of (* (pow a 1/3) (cbrt 0.5)) in a 3.967 * [taylor]: Taking taylor expansion of (pow a 1/3) in a 3.967 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a 3.967 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a 3.967 * [taylor]: Taking taylor expansion of 1/3 in a 3.967 * [taylor]: Taking taylor expansion of (log a) in a 3.967 * [taylor]: Taking taylor expansion of a in a 3.967 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 3.967 * [taylor]: Taking taylor expansion of 0.5 in a 3.974 * [approximate]: Taking taylor expansion of (* (pow a 1/3) (cbrt -0.5)) in (a) around 0 3.974 * [taylor]: Taking taylor expansion of (* (pow a 1/3) (cbrt -0.5)) in a 3.974 * [taylor]: Taking taylor expansion of (pow a 1/3) in a 3.974 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a 3.974 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a 3.974 * [taylor]: Taking taylor expansion of 1/3 in a 3.974 * [taylor]: Taking taylor expansion of (log a) in a 3.974 * [taylor]: Taking taylor expansion of a in a 3.975 * [taylor]: Taking taylor expansion of (cbrt -0.5) in a 3.975 * [taylor]: Taking taylor expansion of -0.5 in a 3.975 * [taylor]: Taking taylor expansion of (* (pow a 1/3) (cbrt -0.5)) in a 3.975 * [taylor]: Taking taylor expansion of (pow a 1/3) in a 3.975 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a 3.975 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a 3.975 * [taylor]: Taking taylor expansion of 1/3 in a 3.975 * [taylor]: Taking taylor expansion of (log a) in a 3.975 * [taylor]: Taking taylor expansion of a in a 3.975 * [taylor]: Taking taylor expansion of (cbrt -0.5) in a 3.975 * [taylor]: Taking taylor expansion of -0.5 in a 3.983 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 3.983 * [approximate]: Taking taylor expansion of (pow g 1/3) in (g) around 0 3.983 * [taylor]: Taking taylor expansion of (pow g 1/3) in g 3.983 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log g))) in g 3.983 * [taylor]: Taking taylor expansion of (* 1/3 (log g)) in g 3.983 * [taylor]: Taking taylor expansion of 1/3 in g 3.983 * [taylor]: Taking taylor expansion of (log g) in g 3.983 * [taylor]: Taking taylor expansion of g in g 3.983 * [taylor]: Taking taylor expansion of (pow g 1/3) in g 3.983 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log g))) in g 3.983 * [taylor]: Taking taylor expansion of (* 1/3 (log g)) in g 3.983 * [taylor]: Taking taylor expansion of 1/3 in g 3.983 * [taylor]: Taking taylor expansion of (log g) in g 3.983 * [taylor]: Taking taylor expansion of g in g 3.992 * [approximate]: Taking taylor expansion of (pow (/ 1 g) 1/3) in (g) around 0 3.992 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g 3.992 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g 3.992 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g 3.992 * [taylor]: Taking taylor expansion of 1/3 in g 3.992 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g 3.992 * [taylor]: Taking taylor expansion of (/ 1 g) in g 3.992 * [taylor]: Taking taylor expansion of g in g 3.992 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g 3.992 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g 3.992 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g 3.992 * [taylor]: Taking taylor expansion of 1/3 in g 3.992 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g 3.992 * [taylor]: Taking taylor expansion of (/ 1 g) in g 3.992 * [taylor]: Taking taylor expansion of g in g 3.999 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in (g) around 0 3.999 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in g 3.999 * [taylor]: Taking taylor expansion of (cbrt -1) in g 3.999 * [taylor]: Taking taylor expansion of -1 in g 3.999 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g 3.999 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g 3.999 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g 3.999 * [taylor]: Taking taylor expansion of 1/3 in g 3.999 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g 3.999 * [taylor]: Taking taylor expansion of (/ 1 g) in g 3.999 * [taylor]: Taking taylor expansion of g in g 3.999 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in g 3.999 * [taylor]: Taking taylor expansion of (cbrt -1) in g 3.999 * [taylor]: Taking taylor expansion of -1 in g 4.000 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g 4.000 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g 4.000 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g 4.000 * [taylor]: Taking taylor expansion of 1/3 in g 4.000 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g 4.000 * [taylor]: Taking taylor expansion of (/ 1 g) in g 4.000 * [taylor]: Taking taylor expansion of g in g 4.008 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 4.009 * [approximate]: Taking taylor expansion of (/ 0.5 a) in (a) around 0 4.009 * [taylor]: Taking taylor expansion of (/ 0.5 a) in a 4.009 * [taylor]: Taking taylor expansion of 0.5 in a 4.009 * [taylor]: Taking taylor expansion of a in a 4.009 * [taylor]: Taking taylor expansion of (/ 0.5 a) in a 4.009 * [taylor]: Taking taylor expansion of 0.5 in a 4.009 * [taylor]: Taking taylor expansion of a in a 4.009 * [approximate]: Taking taylor expansion of (* 0.5 a) in (a) around 0 4.009 * [taylor]: Taking taylor expansion of (* 0.5 a) in a 4.009 * [taylor]: Taking taylor expansion of 0.5 in a 4.009 * [taylor]: Taking taylor expansion of a in a 4.009 * [taylor]: Taking taylor expansion of (* 0.5 a) in a 4.009 * [taylor]: Taking taylor expansion of 0.5 in a 4.009 * [taylor]: Taking taylor expansion of a in a 4.010 * [approximate]: Taking taylor expansion of (* -0.5 a) in (a) around 0 4.010 * [taylor]: Taking taylor expansion of (* -0.5 a) in a 4.010 * [taylor]: Taking taylor expansion of -0.5 in a 4.010 * [taylor]: Taking taylor expansion of a in a 4.010 * [taylor]: Taking taylor expansion of (* -0.5 a) in a 4.010 * [taylor]: Taking taylor expansion of -0.5 in a 4.010 * [taylor]: Taking taylor expansion of a in a 4.010 * * * * [progress]: [ 4 / 4 ] generating series at (2) 4.011 * [approximate]: Taking taylor expansion of (* (pow (/ g a) 1/3) (cbrt 0.5)) in (g a) around 0 4.011 * [taylor]: Taking taylor expansion of (* (pow (/ g a) 1/3) (cbrt 0.5)) in a 4.011 * [taylor]: Taking taylor expansion of (pow (/ g a) 1/3) in a 4.011 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ g a)))) in a 4.011 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ g a))) in a 4.011 * [taylor]: Taking taylor expansion of 1/3 in a 4.011 * [taylor]: Taking taylor expansion of (log (/ g a)) in a 4.011 * [taylor]: Taking taylor expansion of (/ g a) in a 4.011 * [taylor]: Taking taylor expansion of g in a 4.011 * [taylor]: Taking taylor expansion of a in a 4.011 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 4.011 * [taylor]: Taking taylor expansion of 0.5 in a 4.011 * [taylor]: Taking taylor expansion of (* (pow (/ g a) 1/3) (cbrt 0.5)) in g 4.011 * [taylor]: Taking taylor expansion of (pow (/ g a) 1/3) in g 4.011 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ g a)))) in g 4.011 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ g a))) in g 4.011 * [taylor]: Taking taylor expansion of 1/3 in g 4.011 * [taylor]: Taking taylor expansion of (log (/ g a)) in g 4.011 * [taylor]: Taking taylor expansion of (/ g a) in g 4.011 * [taylor]: Taking taylor expansion of g in g 4.011 * [taylor]: Taking taylor expansion of a in g 4.011 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g 4.011 * [taylor]: Taking taylor expansion of 0.5 in g 4.011 * [taylor]: Taking taylor expansion of (* (pow (/ g a) 1/3) (cbrt 0.5)) in g 4.011 * [taylor]: Taking taylor expansion of (pow (/ g a) 1/3) in g 4.011 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ g a)))) in g 4.011 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ g a))) in g 4.012 * [taylor]: Taking taylor expansion of 1/3 in g 4.012 * [taylor]: Taking taylor expansion of (log (/ g a)) in g 4.012 * [taylor]: Taking taylor expansion of (/ g a) in g 4.012 * [taylor]: Taking taylor expansion of g in g 4.012 * [taylor]: Taking taylor expansion of a in g 4.012 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g 4.012 * [taylor]: Taking taylor expansion of 0.5 in g 4.012 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (+ (log (/ 1 a)) (log g)))) (cbrt 0.5)) in a 4.012 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (/ 1 a)) (log g)))) in a 4.012 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (/ 1 a)) (log g))) in a 4.012 * [taylor]: Taking taylor expansion of 1/3 in a 4.012 * [taylor]: Taking taylor expansion of (+ (log (/ 1 a)) (log g)) in a 4.012 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a 4.012 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.012 * [taylor]: Taking taylor expansion of a in a 4.012 * [taylor]: Taking taylor expansion of (log g) in a 4.012 * [taylor]: Taking taylor expansion of g in a 4.012 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 4.012 * [taylor]: Taking taylor expansion of 0.5 in a 4.013 * [taylor]: Taking taylor expansion of 0 in a 4.014 * [taylor]: Taking taylor expansion of 0 in a 4.016 * [taylor]: Taking taylor expansion of 0 in a 4.017 * [approximate]: Taking taylor expansion of (* (pow (/ a g) 1/3) (cbrt 0.5)) in (g a) around 0 4.017 * [taylor]: Taking taylor expansion of (* (pow (/ a g) 1/3) (cbrt 0.5)) in a 4.017 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in a 4.017 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in a 4.017 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in a 4.017 * [taylor]: Taking taylor expansion of 1/3 in a 4.017 * [taylor]: Taking taylor expansion of (log (/ a g)) in a 4.017 * [taylor]: Taking taylor expansion of (/ a g) in a 4.017 * [taylor]: Taking taylor expansion of a in a 4.017 * [taylor]: Taking taylor expansion of g in a 4.017 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 4.017 * [taylor]: Taking taylor expansion of 0.5 in a 4.017 * [taylor]: Taking taylor expansion of (* (pow (/ a g) 1/3) (cbrt 0.5)) in g 4.017 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in g 4.017 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in g 4.017 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in g 4.017 * [taylor]: Taking taylor expansion of 1/3 in g 4.017 * [taylor]: Taking taylor expansion of (log (/ a g)) in g 4.017 * [taylor]: Taking taylor expansion of (/ a g) in g 4.017 * [taylor]: Taking taylor expansion of a in g 4.017 * [taylor]: Taking taylor expansion of g in g 4.017 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g 4.017 * [taylor]: Taking taylor expansion of 0.5 in g 4.017 * [taylor]: Taking taylor expansion of (* (pow (/ a g) 1/3) (cbrt 0.5)) in g 4.018 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in g 4.018 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in g 4.018 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in g 4.018 * [taylor]: Taking taylor expansion of 1/3 in g 4.018 * [taylor]: Taking taylor expansion of (log (/ a g)) in g 4.018 * [taylor]: Taking taylor expansion of (/ a g) in g 4.018 * [taylor]: Taking taylor expansion of a in g 4.018 * [taylor]: Taking taylor expansion of g in g 4.018 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g 4.018 * [taylor]: Taking taylor expansion of 0.5 in g 4.018 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log a) (log g)))) (cbrt 0.5)) in a 4.018 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log a) (log g)))) in a 4.018 * [taylor]: Taking taylor expansion of (* 1/3 (- (log a) (log g))) in a 4.018 * [taylor]: Taking taylor expansion of 1/3 in a 4.018 * [taylor]: Taking taylor expansion of (- (log a) (log g)) in a 4.018 * [taylor]: Taking taylor expansion of (log a) in a 4.018 * [taylor]: Taking taylor expansion of a in a 4.018 * [taylor]: Taking taylor expansion of (log g) in a 4.018 * [taylor]: Taking taylor expansion of g in a 4.018 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 4.018 * [taylor]: Taking taylor expansion of 0.5 in a 4.019 * [taylor]: Taking taylor expansion of 0 in a 4.020 * [taylor]: Taking taylor expansion of 0 in a 4.022 * [taylor]: Taking taylor expansion of 0 in a 4.022 * [approximate]: Taking taylor expansion of (* (pow (/ a g) 1/3) (* (cbrt -1) (cbrt -0.5))) in (g a) around 0 4.022 * [taylor]: Taking taylor expansion of (* (pow (/ a g) 1/3) (* (cbrt -1) (cbrt -0.5))) in a 4.022 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in a 4.022 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in a 4.022 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in a 4.022 * [taylor]: Taking taylor expansion of 1/3 in a 4.022 * [taylor]: Taking taylor expansion of (log (/ a g)) in a 4.022 * [taylor]: Taking taylor expansion of (/ a g) in a 4.022 * [taylor]: Taking taylor expansion of a in a 4.022 * [taylor]: Taking taylor expansion of g in a 4.023 * [taylor]: Taking taylor expansion of (* (cbrt -1) (cbrt -0.5)) in a 4.023 * [taylor]: Taking taylor expansion of (cbrt -1) in a 4.023 * [taylor]: Taking taylor expansion of -1 in a 4.023 * [taylor]: Taking taylor expansion of (cbrt -0.5) in a 4.023 * [taylor]: Taking taylor expansion of -0.5 in a 4.023 * [taylor]: Taking taylor expansion of (* (pow (/ a g) 1/3) (* (cbrt -1) (cbrt -0.5))) in g 4.023 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in g 4.023 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in g 4.023 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in g 4.023 * [taylor]: Taking taylor expansion of 1/3 in g 4.023 * [taylor]: Taking taylor expansion of (log (/ a g)) in g 4.023 * [taylor]: Taking taylor expansion of (/ a g) in g 4.023 * [taylor]: Taking taylor expansion of a in g 4.023 * [taylor]: Taking taylor expansion of g in g 4.023 * [taylor]: Taking taylor expansion of (* (cbrt -1) (cbrt -0.5)) in g 4.023 * [taylor]: Taking taylor expansion of (cbrt -1) in g 4.023 * [taylor]: Taking taylor expansion of -1 in g 4.023 * [taylor]: Taking taylor expansion of (cbrt -0.5) in g 4.023 * [taylor]: Taking taylor expansion of -0.5 in g 4.024 * [taylor]: Taking taylor expansion of (* (pow (/ a g) 1/3) (* (cbrt -1) (cbrt -0.5))) in g 4.024 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in g 4.024 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in g 4.024 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in g 4.024 * [taylor]: Taking taylor expansion of 1/3 in g 4.024 * [taylor]: Taking taylor expansion of (log (/ a g)) in g 4.024 * [taylor]: Taking taylor expansion of (/ a g) in g 4.024 * [taylor]: Taking taylor expansion of a in g 4.024 * [taylor]: Taking taylor expansion of g in g 4.024 * [taylor]: Taking taylor expansion of (* (cbrt -1) (cbrt -0.5)) in g 4.024 * [taylor]: Taking taylor expansion of (cbrt -1) in g 4.024 * [taylor]: Taking taylor expansion of -1 in g 4.024 * [taylor]: Taking taylor expansion of (cbrt -0.5) in g 4.024 * [taylor]: Taking taylor expansion of -0.5 in g 4.024 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log a) (log g)))) (* (cbrt -1) (cbrt -0.5))) in a 4.024 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log a) (log g)))) in a 4.024 * [taylor]: Taking taylor expansion of (* 1/3 (- (log a) (log g))) in a 4.024 * [taylor]: Taking taylor expansion of 1/3 in a 4.025 * [taylor]: Taking taylor expansion of (- (log a) (log g)) in a 4.025 * [taylor]: Taking taylor expansion of (log a) in a 4.025 * [taylor]: Taking taylor expansion of a in a 4.025 * [taylor]: Taking taylor expansion of (log g) in a 4.025 * [taylor]: Taking taylor expansion of g in a 4.025 * [taylor]: Taking taylor expansion of (* (cbrt -1) (cbrt -0.5)) in a 4.025 * [taylor]: Taking taylor expansion of (cbrt -1) in a 4.025 * [taylor]: Taking taylor expansion of -1 in a 4.025 * [taylor]: Taking taylor expansion of (cbrt -0.5) in a 4.025 * [taylor]: Taking taylor expansion of -0.5 in a 4.026 * [taylor]: Taking taylor expansion of 0 in a 4.028 * [taylor]: Taking taylor expansion of 0 in a 4.030 * [taylor]: Taking taylor expansion of 0 in a 4.031 * * * [progress]: simplifying candidates 4.032 * [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))) 4.036 * * [simplify]: iteration 0 : 153 enodes (cost 915 ) 4.064 * * [simplify]: iteration 1 : 309 enodes (cost 831 ) 4.129 * * [simplify]: iteration 2 : 692 enodes (cost 755 ) 4.475 * * [simplify]: iteration 3 : 1641 enodes (cost 725 ) 6.366 * * [simplify]: iteration 4 : 3996 enodes (cost 709 ) 7.323 * * [simplify]: iteration done : 5000 enodes (cost 709 ) 7.324 * [simplify]: Simplified to: (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 (/ 1 2.0)) (pow a -1/3) (cbrt (/ 1 2.0)) (pow a -1/3) (cbrt (/ 1 2.0)) (pow a -1/3) 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 (* 2.0 a)))) (/ (/ 1 a) 2.0) (sqrt (cbrt (/ 1 (* 2.0 a)))) (sqrt (cbrt (/ 1 (* 2.0 a)))) (log (cbrt g)) (exp (cbrt g)) (cbrt (pow g 2/3)) (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))) (pow (/ (/ 1 a) 2.0) 3) (pow (/ (/ 1 a) 2.0) 3) (* (cbrt (/ 1 (* 2.0 a))) (cbrt (/ 1 (* 2.0 a)))) (cbrt (/ 1 (* 2.0 a))) (pow (/ (/ 1 a) 2.0) 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 a) 2.0) (* a 2.0) (/ 1 2.0) (* a 2.0) (* a 2.0) (* a 2.0) (/ g (* 2.0 a)) (* (cbrt g) (cbrt (/ 1 (* 2.0 a)))) (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 g) (cbrt (* (cbrt (/ 1 (* 2.0 a))) (cbrt (/ 1 (* 2.0 a)))))) (* (cbrt g) (cbrt (sqrt (/ 1 (* 2.0 a))))) (* (cbrt (/ 1 2.0)) (cbrt g)) (* (cbrt (/ 1 2.0)) (cbrt g)) (* (cbrt (/ 1 2.0)) (cbrt g)) (cbrt g) (cbrt g) (* (cbrt g) (* (cbrt (cbrt (/ 1 (* 2.0 a)))) (cbrt (cbrt (/ 1 (* 2.0 a)))))) (* (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 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 0.5) (pow a -1/3)) (* (cbrt 0.5) (pow a -1/3)) (* (cbrt -0.5) (cbrt (/ -1 a))) (cbrt g) (cbrt g) (* (cbrt (* -1 g)) (cbrt -1)) (/ 0.5 a) (/ 0.5 a) (/ 0.5 a) (* (cbrt 0.5) (cbrt (/ g a))) (* (cbrt 0.5) (cbrt (/ g a))) (* (* (cbrt -1) (cbrt (/ (/ -1 a) (/ -1 g)))) (cbrt -0.5)) 7.324 * * * [progress]: adding candidates to table 7.452 * * [progress]: iteration 3 / 4 7.452 * * * [progress]: picking best candidate 7.519 * * * * [pick]: Picked # 7.519 * * * [progress]: localizing error 7.526 * * * [progress]: generating rewritten candidates 7.526 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 7.528 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 7.530 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 7.543 * * * [progress]: generating series expansions 7.543 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 7.543 * [approximate]: Taking taylor expansion of (* (pow (/ 1 a) 1/3) (cbrt 0.5)) in (a) around 0 7.543 * [taylor]: Taking taylor expansion of (* (pow (/ 1 a) 1/3) (cbrt 0.5)) in a 7.543 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a 7.543 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a 7.543 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a 7.543 * [taylor]: Taking taylor expansion of 1/3 in a 7.544 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a 7.544 * [taylor]: Taking taylor expansion of (/ 1 a) in a 7.544 * [taylor]: Taking taylor expansion of a in a 7.544 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 7.544 * [taylor]: Taking taylor expansion of 0.5 in a 7.544 * [taylor]: Taking taylor expansion of (* (pow (/ 1 a) 1/3) (cbrt 0.5)) in a 7.544 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a 7.544 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a 7.544 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a 7.544 * [taylor]: Taking taylor expansion of 1/3 in a 7.544 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a 7.544 * [taylor]: Taking taylor expansion of (/ 1 a) in a 7.544 * [taylor]: Taking taylor expansion of a in a 7.544 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 7.544 * [taylor]: Taking taylor expansion of 0.5 in a 7.553 * [approximate]: Taking taylor expansion of (* (pow a 1/3) (cbrt 0.5)) in (a) around 0 7.553 * [taylor]: Taking taylor expansion of (* (pow a 1/3) (cbrt 0.5)) in a 7.553 * [taylor]: Taking taylor expansion of (pow a 1/3) in a 7.553 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a 7.553 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a 7.553 * [taylor]: Taking taylor expansion of 1/3 in a 7.553 * [taylor]: Taking taylor expansion of (log a) in a 7.553 * [taylor]: Taking taylor expansion of a in a 7.553 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 7.553 * [taylor]: Taking taylor expansion of 0.5 in a 7.553 * [taylor]: Taking taylor expansion of (* (pow a 1/3) (cbrt 0.5)) in a 7.553 * [taylor]: Taking taylor expansion of (pow a 1/3) in a 7.553 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a 7.553 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a 7.553 * [taylor]: Taking taylor expansion of 1/3 in a 7.553 * [taylor]: Taking taylor expansion of (log a) in a 7.553 * [taylor]: Taking taylor expansion of a in a 7.553 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 7.553 * [taylor]: Taking taylor expansion of 0.5 in a 7.561 * [approximate]: Taking taylor expansion of (* (pow a 1/3) (cbrt -0.5)) in (a) around 0 7.561 * [taylor]: Taking taylor expansion of (* (pow a 1/3) (cbrt -0.5)) in a 7.561 * [taylor]: Taking taylor expansion of (pow a 1/3) in a 7.561 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a 7.561 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a 7.561 * [taylor]: Taking taylor expansion of 1/3 in a 7.561 * [taylor]: Taking taylor expansion of (log a) in a 7.561 * [taylor]: Taking taylor expansion of a in a 7.561 * [taylor]: Taking taylor expansion of (cbrt -0.5) in a 7.561 * [taylor]: Taking taylor expansion of -0.5 in a 7.561 * [taylor]: Taking taylor expansion of (* (pow a 1/3) (cbrt -0.5)) in a 7.561 * [taylor]: Taking taylor expansion of (pow a 1/3) in a 7.561 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a 7.562 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a 7.562 * [taylor]: Taking taylor expansion of 1/3 in a 7.562 * [taylor]: Taking taylor expansion of (log a) in a 7.562 * [taylor]: Taking taylor expansion of a in a 7.562 * [taylor]: Taking taylor expansion of (cbrt -0.5) in a 7.562 * [taylor]: Taking taylor expansion of -0.5 in a 7.570 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 7.570 * [approximate]: Taking taylor expansion of (pow g 1/3) in (g) around 0 7.570 * [taylor]: Taking taylor expansion of (pow g 1/3) in g 7.570 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log g))) in g 7.570 * [taylor]: Taking taylor expansion of (* 1/3 (log g)) in g 7.570 * [taylor]: Taking taylor expansion of 1/3 in g 7.570 * [taylor]: Taking taylor expansion of (log g) in g 7.570 * [taylor]: Taking taylor expansion of g in g 7.570 * [taylor]: Taking taylor expansion of (pow g 1/3) in g 7.570 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log g))) in g 7.570 * [taylor]: Taking taylor expansion of (* 1/3 (log g)) in g 7.570 * [taylor]: Taking taylor expansion of 1/3 in g 7.570 * [taylor]: Taking taylor expansion of (log g) in g 7.570 * [taylor]: Taking taylor expansion of g in g 7.576 * [approximate]: Taking taylor expansion of (pow (/ 1 g) 1/3) in (g) around 0 7.576 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g 7.576 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g 7.576 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g 7.576 * [taylor]: Taking taylor expansion of 1/3 in g 7.576 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g 7.576 * [taylor]: Taking taylor expansion of (/ 1 g) in g 7.576 * [taylor]: Taking taylor expansion of g in g 7.576 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g 7.576 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g 7.576 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g 7.577 * [taylor]: Taking taylor expansion of 1/3 in g 7.577 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g 7.577 * [taylor]: Taking taylor expansion of (/ 1 g) in g 7.577 * [taylor]: Taking taylor expansion of g in g 7.583 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in (g) around 0 7.583 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in g 7.583 * [taylor]: Taking taylor expansion of (cbrt -1) in g 7.583 * [taylor]: Taking taylor expansion of -1 in g 7.583 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g 7.583 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g 7.583 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g 7.583 * [taylor]: Taking taylor expansion of 1/3 in g 7.583 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g 7.583 * [taylor]: Taking taylor expansion of (/ 1 g) in g 7.583 * [taylor]: Taking taylor expansion of g in g 7.584 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in g 7.584 * [taylor]: Taking taylor expansion of (cbrt -1) in g 7.584 * [taylor]: Taking taylor expansion of -1 in g 7.584 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g 7.584 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g 7.584 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g 7.584 * [taylor]: Taking taylor expansion of 1/3 in g 7.584 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g 7.584 * [taylor]: Taking taylor expansion of (/ 1 g) in g 7.584 * [taylor]: Taking taylor expansion of g in g 7.593 * * * * [progress]: [ 3 / 3 ] generating series at (2) 7.593 * [approximate]: Taking taylor expansion of (* (pow (/ g a) 1/3) (cbrt 0.5)) in (g a) around 0 7.593 * [taylor]: Taking taylor expansion of (* (pow (/ g a) 1/3) (cbrt 0.5)) in a 7.593 * [taylor]: Taking taylor expansion of (pow (/ g a) 1/3) in a 7.593 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ g a)))) in a 7.593 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ g a))) in a 7.593 * [taylor]: Taking taylor expansion of 1/3 in a 7.593 * [taylor]: Taking taylor expansion of (log (/ g a)) in a 7.593 * [taylor]: Taking taylor expansion of (/ g a) in a 7.593 * [taylor]: Taking taylor expansion of g in a 7.593 * [taylor]: Taking taylor expansion of a in a 7.593 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 7.593 * [taylor]: Taking taylor expansion of 0.5 in a 7.593 * [taylor]: Taking taylor expansion of (* (pow (/ g a) 1/3) (cbrt 0.5)) in g 7.593 * [taylor]: Taking taylor expansion of (pow (/ g a) 1/3) in g 7.593 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ g a)))) in g 7.593 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ g a))) in g 7.593 * [taylor]: Taking taylor expansion of 1/3 in g 7.593 * [taylor]: Taking taylor expansion of (log (/ g a)) in g 7.593 * [taylor]: Taking taylor expansion of (/ g a) in g 7.593 * [taylor]: Taking taylor expansion of g in g 7.593 * [taylor]: Taking taylor expansion of a in g 7.593 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g 7.593 * [taylor]: Taking taylor expansion of 0.5 in g 7.594 * [taylor]: Taking taylor expansion of (* (pow (/ g a) 1/3) (cbrt 0.5)) in g 7.594 * [taylor]: Taking taylor expansion of (pow (/ g a) 1/3) in g 7.594 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ g a)))) in g 7.594 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ g a))) in g 7.594 * [taylor]: Taking taylor expansion of 1/3 in g 7.594 * [taylor]: Taking taylor expansion of (log (/ g a)) in g 7.594 * [taylor]: Taking taylor expansion of (/ g a) in g 7.594 * [taylor]: Taking taylor expansion of g in g 7.594 * [taylor]: Taking taylor expansion of a in g 7.594 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g 7.594 * [taylor]: Taking taylor expansion of 0.5 in g 7.594 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (+ (log (/ 1 a)) (log g)))) (cbrt 0.5)) in a 7.594 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (/ 1 a)) (log g)))) in a 7.594 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (/ 1 a)) (log g))) in a 7.594 * [taylor]: Taking taylor expansion of 1/3 in a 7.594 * [taylor]: Taking taylor expansion of (+ (log (/ 1 a)) (log g)) in a 7.594 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a 7.594 * [taylor]: Taking taylor expansion of (/ 1 a) in a 7.594 * [taylor]: Taking taylor expansion of a in a 7.594 * [taylor]: Taking taylor expansion of (log g) in a 7.594 * [taylor]: Taking taylor expansion of g in a 7.595 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 7.595 * [taylor]: Taking taylor expansion of 0.5 in a 7.595 * [taylor]: Taking taylor expansion of 0 in a 7.597 * [taylor]: Taking taylor expansion of 0 in a 7.599 * [taylor]: Taking taylor expansion of 0 in a 7.599 * [approximate]: Taking taylor expansion of (* (pow (/ a g) 1/3) (cbrt 0.5)) in (g a) around 0 7.599 * [taylor]: Taking taylor expansion of (* (pow (/ a g) 1/3) (cbrt 0.5)) in a 7.599 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in a 7.599 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in a 7.599 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in a 7.599 * [taylor]: Taking taylor expansion of 1/3 in a 7.599 * [taylor]: Taking taylor expansion of (log (/ a g)) in a 7.599 * [taylor]: Taking taylor expansion of (/ a g) in a 7.599 * [taylor]: Taking taylor expansion of a in a 7.599 * [taylor]: Taking taylor expansion of g in a 7.599 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 7.599 * [taylor]: Taking taylor expansion of 0.5 in a 7.599 * [taylor]: Taking taylor expansion of (* (pow (/ a g) 1/3) (cbrt 0.5)) in g 7.599 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in g 7.599 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in g 7.599 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in g 7.599 * [taylor]: Taking taylor expansion of 1/3 in g 7.600 * [taylor]: Taking taylor expansion of (log (/ a g)) in g 7.600 * [taylor]: Taking taylor expansion of (/ a g) in g 7.600 * [taylor]: Taking taylor expansion of a in g 7.600 * [taylor]: Taking taylor expansion of g in g 7.600 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g 7.600 * [taylor]: Taking taylor expansion of 0.5 in g 7.600 * [taylor]: Taking taylor expansion of (* (pow (/ a g) 1/3) (cbrt 0.5)) in g 7.600 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in g 7.600 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in g 7.600 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in g 7.600 * [taylor]: Taking taylor expansion of 1/3 in g 7.600 * [taylor]: Taking taylor expansion of (log (/ a g)) in g 7.600 * [taylor]: Taking taylor expansion of (/ a g) in g 7.600 * [taylor]: Taking taylor expansion of a in g 7.600 * [taylor]: Taking taylor expansion of g in g 7.600 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g 7.600 * [taylor]: Taking taylor expansion of 0.5 in g 7.600 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log a) (log g)))) (cbrt 0.5)) in a 7.600 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log a) (log g)))) in a 7.600 * [taylor]: Taking taylor expansion of (* 1/3 (- (log a) (log g))) in a 7.600 * [taylor]: Taking taylor expansion of 1/3 in a 7.600 * [taylor]: Taking taylor expansion of (- (log a) (log g)) in a 7.600 * [taylor]: Taking taylor expansion of (log a) in a 7.600 * [taylor]: Taking taylor expansion of a in a 7.601 * [taylor]: Taking taylor expansion of (log g) in a 7.601 * [taylor]: Taking taylor expansion of g in a 7.601 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 7.601 * [taylor]: Taking taylor expansion of 0.5 in a 7.601 * [taylor]: Taking taylor expansion of 0 in a 7.603 * [taylor]: Taking taylor expansion of 0 in a 7.604 * [taylor]: Taking taylor expansion of 0 in a 7.605 * [approximate]: Taking taylor expansion of (* (pow (/ a g) 1/3) (* (cbrt -1) (cbrt -0.5))) in (g a) around 0 7.605 * [taylor]: Taking taylor expansion of (* (pow (/ a g) 1/3) (* (cbrt -1) (cbrt -0.5))) in a 7.605 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in a 7.605 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in a 7.605 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in a 7.605 * [taylor]: Taking taylor expansion of 1/3 in a 7.605 * [taylor]: Taking taylor expansion of (log (/ a g)) in a 7.605 * [taylor]: Taking taylor expansion of (/ a g) in a 7.605 * [taylor]: Taking taylor expansion of a in a 7.605 * [taylor]: Taking taylor expansion of g in a 7.605 * [taylor]: Taking taylor expansion of (* (cbrt -1) (cbrt -0.5)) in a 7.605 * [taylor]: Taking taylor expansion of (cbrt -1) in a 7.605 * [taylor]: Taking taylor expansion of -1 in a 7.605 * [taylor]: Taking taylor expansion of (cbrt -0.5) in a 7.605 * [taylor]: Taking taylor expansion of -0.5 in a 7.605 * [taylor]: Taking taylor expansion of (* (pow (/ a g) 1/3) (* (cbrt -1) (cbrt -0.5))) in g 7.605 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in g 7.605 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in g 7.605 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in g 7.605 * [taylor]: Taking taylor expansion of 1/3 in g 7.605 * [taylor]: Taking taylor expansion of (log (/ a g)) in g 7.605 * [taylor]: Taking taylor expansion of (/ a g) in g 7.605 * [taylor]: Taking taylor expansion of a in g 7.606 * [taylor]: Taking taylor expansion of g in g 7.606 * [taylor]: Taking taylor expansion of (* (cbrt -1) (cbrt -0.5)) in g 7.606 * [taylor]: Taking taylor expansion of (cbrt -1) in g 7.606 * [taylor]: Taking taylor expansion of -1 in g 7.606 * [taylor]: Taking taylor expansion of (cbrt -0.5) in g 7.606 * [taylor]: Taking taylor expansion of -0.5 in g 7.606 * [taylor]: Taking taylor expansion of (* (pow (/ a g) 1/3) (* (cbrt -1) (cbrt -0.5))) in g 7.606 * [taylor]: Taking taylor expansion of (pow (/ a g) 1/3) in g 7.606 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a g)))) in g 7.606 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a g))) in g 7.606 * [taylor]: Taking taylor expansion of 1/3 in g 7.606 * [taylor]: Taking taylor expansion of (log (/ a g)) in g 7.606 * [taylor]: Taking taylor expansion of (/ a g) in g 7.606 * [taylor]: Taking taylor expansion of a in g 7.606 * [taylor]: Taking taylor expansion of g in g 7.606 * [taylor]: Taking taylor expansion of (* (cbrt -1) (cbrt -0.5)) in g 7.606 * [taylor]: Taking taylor expansion of (cbrt -1) in g 7.606 * [taylor]: Taking taylor expansion of -1 in g 7.606 * [taylor]: Taking taylor expansion of (cbrt -0.5) in g 7.606 * [taylor]: Taking taylor expansion of -0.5 in g 7.607 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log a) (log g)))) (* (cbrt -1) (cbrt -0.5))) in a 7.607 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log a) (log g)))) in a 7.607 * [taylor]: Taking taylor expansion of (* 1/3 (- (log a) (log g))) in a 7.607 * [taylor]: Taking taylor expansion of 1/3 in a 7.607 * [taylor]: Taking taylor expansion of (- (log a) (log g)) in a 7.607 * [taylor]: Taking taylor expansion of (log a) in a 7.607 * [taylor]: Taking taylor expansion of a in a 7.607 * [taylor]: Taking taylor expansion of (log g) in a 7.607 * [taylor]: Taking taylor expansion of g in a 7.607 * [taylor]: Taking taylor expansion of (* (cbrt -1) (cbrt -0.5)) in a 7.607 * [taylor]: Taking taylor expansion of (cbrt -1) in a 7.607 * [taylor]: Taking taylor expansion of -1 in a 7.607 * [taylor]: Taking taylor expansion of (cbrt -0.5) in a 7.607 * [taylor]: Taking taylor expansion of -0.5 in a 7.609 * [taylor]: Taking taylor expansion of 0 in a 7.610 * [taylor]: Taking taylor expansion of 0 in a 7.613 * [taylor]: Taking taylor expansion of 0 in a 7.613 * * * [progress]: simplifying candidates 7.614 * [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))) 7.618 * * [simplify]: iteration 0 : 153 enodes (cost 794 ) 7.646 * * [simplify]: iteration 1 : 275 enodes (cost 752 ) 7.712 * * [simplify]: iteration 2 : 581 enodes (cost 710 ) 7.942 * * [simplify]: iteration 3 : 1170 enodes (cost 682 ) 8.573 * * [simplify]: iteration 4 : 2497 enodes (cost 668 ) 9.206 * * [simplify]: iteration done : 5001 enodes (cost 668 ) 9.207 * [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) (pow a -1/3) (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 (pow g 2/3)) (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 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 (* (cbrt 0.5) (cbrt 0.5))) (cbrt g)) (* (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 g) (cbrt (/ 1 (sqrt a)))) (cbrt g) (cbrt g) (* (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) (* (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 -0.5) (cbrt (/ -1 a))) (cbrt g) (cbrt g) (* (cbrt -1) (cbrt (* -1 g))) (* (cbrt (/ g a)) (cbrt 0.5)) (* (cbrt (/ g a)) (cbrt 0.5)) (* (* (cbrt -0.5) (cbrt -1)) (cbrt (* (/ -1 a) (* -1 g)))) 9.207 * * * [progress]: adding candidates to table 9.335 * * [progress]: iteration 4 / 4 9.335 * * * [progress]: picking best candidate 9.390 * * * * [pick]: Picked # 9.390 * * * [progress]: localizing error 9.403 * * * [progress]: generating rewritten candidates 9.403 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 9.405 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 9.409 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 9.410 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 9.418 * * * [progress]: generating series expansions 9.418 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 9.418 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 9.418 * [approximate]: Taking taylor expansion of (pow (/ (sqrt 0.5) a) 1/3) in (a) around 0 9.418 * [taylor]: Taking taylor expansion of (pow (/ (sqrt 0.5) a) 1/3) in a 9.418 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sqrt 0.5) a)))) in a 9.418 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sqrt 0.5) a))) in a 9.418 * [taylor]: Taking taylor expansion of 1/3 in a 9.418 * [taylor]: Taking taylor expansion of (log (/ (sqrt 0.5) a)) in a 9.418 * [taylor]: Taking taylor expansion of (/ (sqrt 0.5) a) in a 9.418 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 9.418 * [taylor]: Taking taylor expansion of 0.5 in a 9.418 * [taylor]: Taking taylor expansion of a in a 9.419 * [taylor]: Taking taylor expansion of (pow (/ (sqrt 0.5) a) 1/3) in a 9.419 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sqrt 0.5) a)))) in a 9.419 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sqrt 0.5) a))) in a 9.419 * [taylor]: Taking taylor expansion of 1/3 in a 9.419 * [taylor]: Taking taylor expansion of (log (/ (sqrt 0.5) a)) in a 9.419 * [taylor]: Taking taylor expansion of (/ (sqrt 0.5) a) in a 9.419 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 9.419 * [taylor]: Taking taylor expansion of 0.5 in a 9.419 * [taylor]: Taking taylor expansion of a in a 9.427 * [approximate]: Taking taylor expansion of (pow (* a (sqrt 0.5)) 1/3) in (a) around 0 9.427 * [taylor]: Taking taylor expansion of (pow (* a (sqrt 0.5)) 1/3) in a 9.427 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* a (sqrt 0.5))))) in a 9.427 * [taylor]: Taking taylor expansion of (* 1/3 (log (* a (sqrt 0.5)))) in a 9.427 * [taylor]: Taking taylor expansion of 1/3 in a 9.427 * [taylor]: Taking taylor expansion of (log (* a (sqrt 0.5))) in a 9.427 * [taylor]: Taking taylor expansion of (* a (sqrt 0.5)) in a 9.427 * [taylor]: Taking taylor expansion of a in a 9.427 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 9.427 * [taylor]: Taking taylor expansion of 0.5 in a 9.427 * [taylor]: Taking taylor expansion of (pow (* a (sqrt 0.5)) 1/3) in a 9.427 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* a (sqrt 0.5))))) in a 9.427 * [taylor]: Taking taylor expansion of (* 1/3 (log (* a (sqrt 0.5)))) in a 9.427 * [taylor]: Taking taylor expansion of 1/3 in a 9.427 * [taylor]: Taking taylor expansion of (log (* a (sqrt 0.5))) in a 9.427 * [taylor]: Taking taylor expansion of (* a (sqrt 0.5)) in a 9.427 * [taylor]: Taking taylor expansion of a in a 9.427 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 9.427 * [taylor]: Taking taylor expansion of 0.5 in a 9.435 * [approximate]: Taking taylor expansion of (* (pow (* a (sqrt 0.5)) 1/3) (cbrt -1)) in (a) around 0 9.435 * [taylor]: Taking taylor expansion of (* (pow (* a (sqrt 0.5)) 1/3) (cbrt -1)) in a 9.435 * [taylor]: Taking taylor expansion of (pow (* a (sqrt 0.5)) 1/3) in a 9.435 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* a (sqrt 0.5))))) in a 9.435 * [taylor]: Taking taylor expansion of (* 1/3 (log (* a (sqrt 0.5)))) in a 9.435 * [taylor]: Taking taylor expansion of 1/3 in a 9.435 * [taylor]: Taking taylor expansion of (log (* a (sqrt 0.5))) in a 9.435 * [taylor]: Taking taylor expansion of (* a (sqrt 0.5)) in a 9.435 * [taylor]: Taking taylor expansion of a in a 9.435 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 9.435 * [taylor]: Taking taylor expansion of 0.5 in a 9.436 * [taylor]: Taking taylor expansion of (cbrt -1) in a 9.436 * [taylor]: Taking taylor expansion of -1 in a 9.436 * [taylor]: Taking taylor expansion of (* (pow (* a (sqrt 0.5)) 1/3) (cbrt -1)) in a 9.436 * [taylor]: Taking taylor expansion of (pow (* a (sqrt 0.5)) 1/3) in a 9.436 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* a (sqrt 0.5))))) in a 9.436 * [taylor]: Taking taylor expansion of (* 1/3 (log (* a (sqrt 0.5)))) in a 9.436 * [taylor]: Taking taylor expansion of 1/3 in a 9.436 * [taylor]: Taking taylor expansion of (log (* a (sqrt 0.5))) in a 9.436 * [taylor]: Taking taylor expansion of (* a (sqrt 0.5)) in a 9.436 * [taylor]: Taking taylor expansion of a in a 9.436 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 9.436 * [taylor]: Taking taylor expansion of 0.5 in a 9.436 * [taylor]: Taking taylor expansion of (cbrt -1) in a 9.436 * [taylor]: Taking taylor expansion of -1 in a 9.445 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 9.445 * [approximate]: Taking taylor expansion of (pow g 1/3) in (g) around 0 9.445 * [taylor]: Taking taylor expansion of (pow g 1/3) in g 9.445 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log g))) in g 9.445 * [taylor]: Taking taylor expansion of (* 1/3 (log g)) in g 9.445 * [taylor]: Taking taylor expansion of 1/3 in g 9.445 * [taylor]: Taking taylor expansion of (log g) in g 9.446 * [taylor]: Taking taylor expansion of g in g 9.446 * [taylor]: Taking taylor expansion of (pow g 1/3) in g 9.446 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log g))) in g 9.446 * [taylor]: Taking taylor expansion of (* 1/3 (log g)) in g 9.446 * [taylor]: Taking taylor expansion of 1/3 in g 9.446 * [taylor]: Taking taylor expansion of (log g) in g 9.446 * [taylor]: Taking taylor expansion of g in g 9.452 * [approximate]: Taking taylor expansion of (pow (/ 1 g) 1/3) in (g) around 0 9.452 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g 9.452 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g 9.452 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g 9.452 * [taylor]: Taking taylor expansion of 1/3 in g 9.452 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g 9.452 * [taylor]: Taking taylor expansion of (/ 1 g) in g 9.452 * [taylor]: Taking taylor expansion of g in g 9.452 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g 9.452 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g 9.452 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g 9.452 * [taylor]: Taking taylor expansion of 1/3 in g 9.452 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g 9.452 * [taylor]: Taking taylor expansion of (/ 1 g) in g 9.452 * [taylor]: Taking taylor expansion of g in g 9.460 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in (g) around 0 9.460 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in g 9.460 * [taylor]: Taking taylor expansion of (cbrt -1) in g 9.460 * [taylor]: Taking taylor expansion of -1 in g 9.460 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g 9.460 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g 9.460 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g 9.460 * [taylor]: Taking taylor expansion of 1/3 in g 9.460 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g 9.460 * [taylor]: Taking taylor expansion of (/ 1 g) in g 9.460 * [taylor]: Taking taylor expansion of g in g 9.461 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 g) 1/3)) in g 9.461 * [taylor]: Taking taylor expansion of (cbrt -1) in g 9.461 * [taylor]: Taking taylor expansion of -1 in g 9.461 * [taylor]: Taking taylor expansion of (pow (/ 1 g) 1/3) in g 9.461 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 g)))) in g 9.461 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 g))) in g 9.461 * [taylor]: Taking taylor expansion of 1/3 in g 9.461 * [taylor]: Taking taylor expansion of (log (/ 1 g)) in g 9.461 * [taylor]: Taking taylor expansion of (/ 1 g) in g 9.461 * [taylor]: Taking taylor expansion of g in g 9.469 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 9.469 * [approximate]: Taking taylor expansion of (/ (sqrt 0.5) a) in (a) around 0 9.469 * [taylor]: Taking taylor expansion of (/ (sqrt 0.5) a) in a 9.469 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 9.469 * [taylor]: Taking taylor expansion of 0.5 in a 9.469 * [taylor]: Taking taylor expansion of a in a 9.469 * [taylor]: Taking taylor expansion of (/ (sqrt 0.5) a) in a 9.469 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 9.469 * [taylor]: Taking taylor expansion of 0.5 in a 9.470 * [taylor]: Taking taylor expansion of a in a 9.471 * [approximate]: Taking taylor expansion of (* a (sqrt 0.5)) in (a) around 0 9.471 * [taylor]: Taking taylor expansion of (* a (sqrt 0.5)) in a 9.471 * [taylor]: Taking taylor expansion of a in a 9.471 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 9.471 * [taylor]: Taking taylor expansion of 0.5 in a 9.471 * [taylor]: Taking taylor expansion of (* a (sqrt 0.5)) in a 9.471 * [taylor]: Taking taylor expansion of a in a 9.471 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 9.471 * [taylor]: Taking taylor expansion of 0.5 in a 9.472 * [approximate]: Taking taylor expansion of (* -1 (* a (sqrt 0.5))) in (a) around 0 9.472 * [taylor]: Taking taylor expansion of (* -1 (* a (sqrt 0.5))) in a 9.472 * [taylor]: Taking taylor expansion of -1 in a 9.472 * [taylor]: Taking taylor expansion of (* a (sqrt 0.5)) in a 9.472 * [taylor]: Taking taylor expansion of a in a 9.472 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 9.472 * [taylor]: Taking taylor expansion of 0.5 in a 9.472 * [taylor]: Taking taylor expansion of (* -1 (* a (sqrt 0.5))) in a 9.472 * [taylor]: Taking taylor expansion of -1 in a 9.472 * [taylor]: Taking taylor expansion of (* a (sqrt 0.5)) in a 9.472 * [taylor]: Taking taylor expansion of a in a 9.472 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 9.472 * [taylor]: Taking taylor expansion of 0.5 in a 9.474 * * * [progress]: simplifying candidates 9.475 * [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) 9.483 * * [simplify]: iteration 0 : 156 enodes (cost 956 ) 9.502 * * [simplify]: iteration 1 : 244 enodes (cost 883 ) 9.538 * * [simplify]: iteration 2 : 404 enodes (cost 841 ) 9.629 * * [simplify]: iteration 3 : 810 enodes (cost 822 ) 10.148 * * [simplify]: iteration 4 : 2609 enodes (cost 803 ) 11.187 * * [simplify]: iteration done : 5000 enodes (cost 803 ) 11.187 * [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 (pow (/ (sqrt 0.5) a) 2/3)) (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)) (pow a -1/3) (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 (pow g 2/3)) (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) (pow (/ (sqrt 0.5) a) 2/3) (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 (* (/ -1 a) (sqrt 0.5))) (cbrt -1)) (cbrt g) (cbrt g) (* (cbrt (* -1 g)) (cbrt -1)) (/ (sqrt 0.5) a) (/ (sqrt 0.5) a) (/ (sqrt 0.5) a) 11.188 * * * [progress]: adding candidates to table 11.373 * [progress]: [Phase 3 of 3] Extracting. 11.373 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # #) 11.375 * * * [regime-changes]: Trying 5 branch expressions: ((* 2.0 a) (/ g (* 2.0 a)) (cbrt (/ g (* 2.0 a))) a g) 11.375 * * * * [regimes]: Trying to branch on (* 2.0 a) from (# # # # # # # # # # # # # # # #) 11.469 * * * * [regimes]: Trying to branch on (* 2.0 a) from (# # #) 11.507 * * * * [regimes]: Trying to branch on (/ g (* 2.0 a)) from (# # # # # # # # # # # # # # # #) 11.600 * * * * [regimes]: Trying to branch on (/ g (* 2.0 a)) from (# #) 11.636 * * * * [regimes]: Trying to branch on (cbrt (/ g (* 2.0 a))) from (# # # # # # # # # # # # # # # #) 11.733 * * * * [regimes]: Trying to branch on (cbrt (/ g (* 2.0 a))) from (# #) 11.775 * * * * [regimes]: Trying to branch on a from (# # # # # # # # # # # # # # # #) 11.867 * * * * [regimes]: Trying to branch on g from (# # # # # # # # # # # # # # # #) 11.959 * * * [regime]: Found split indices: #