31.458 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.030 * * * [progress]: [2/2] Setting up program. 0.035 * [progress]: [Phase 2 of 3] Improving. 0.036 * [simplify]: Simplifying using # : (/ (* a1 a2) (* b1 b2)) 0.040 * * [simplify]: iteration 0 : 67 enodes (cost 7 ) 0.040 * * [simplify]: iteration 1 : 67 enodes (cost 7 ) 0.040 * [simplify]: Simplified to: (* a1 (/ a2 (* b1 b2))) 0.048 * * [progress]: iteration 1 / 4 0.048 * * * [progress]: picking best candidate 0.063 * * * * [pick]: Picked # 0.063 * * * [progress]: localizing error 0.073 * * * [progress]: generating rewritten candidates 0.073 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.079 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.084 * * * [progress]: generating series expansions 0.084 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.084 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (a1 a2 b1 b2) around 0 0.084 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2 0.084 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 0.084 * [taylor]: Taking taylor expansion of a1 in b2 0.084 * [taylor]: Taking taylor expansion of a2 in b2 0.084 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.084 * [taylor]: Taking taylor expansion of b1 in b2 0.084 * [taylor]: Taking taylor expansion of b2 in b2 0.084 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1 0.084 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 0.084 * [taylor]: Taking taylor expansion of a1 in b1 0.084 * [taylor]: Taking taylor expansion of a2 in b1 0.084 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.084 * [taylor]: Taking taylor expansion of b1 in b1 0.084 * [taylor]: Taking taylor expansion of b2 in b1 0.085 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2 0.085 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 0.085 * [taylor]: Taking taylor expansion of a1 in a2 0.085 * [taylor]: Taking taylor expansion of a2 in a2 0.085 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.085 * [taylor]: Taking taylor expansion of b1 in a2 0.085 * [taylor]: Taking taylor expansion of b2 in a2 0.085 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1 0.085 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.085 * [taylor]: Taking taylor expansion of a1 in a1 0.085 * [taylor]: Taking taylor expansion of a2 in a1 0.085 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 0.085 * [taylor]: Taking taylor expansion of b1 in a1 0.085 * [taylor]: Taking taylor expansion of b2 in a1 0.085 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1 0.085 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.085 * [taylor]: Taking taylor expansion of a1 in a1 0.085 * [taylor]: Taking taylor expansion of a2 in a1 0.085 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 0.085 * [taylor]: Taking taylor expansion of b1 in a1 0.085 * [taylor]: Taking taylor expansion of b2 in a1 0.085 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2 0.085 * [taylor]: Taking taylor expansion of a2 in a2 0.085 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.085 * [taylor]: Taking taylor expansion of b1 in a2 0.085 * [taylor]: Taking taylor expansion of b2 in a2 0.085 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1 0.085 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.085 * [taylor]: Taking taylor expansion of b1 in b1 0.085 * [taylor]: Taking taylor expansion of b2 in b1 0.085 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2 0.085 * [taylor]: Taking taylor expansion of b2 in b2 0.086 * [taylor]: Taking taylor expansion of 0 in a2 0.086 * [taylor]: Taking taylor expansion of 0 in b1 0.086 * [taylor]: Taking taylor expansion of 0 in b1 0.086 * [taylor]: Taking taylor expansion of 0 in b2 0.086 * [taylor]: Taking taylor expansion of 0 in a2 0.086 * [taylor]: Taking taylor expansion of 0 in b1 0.086 * [taylor]: Taking taylor expansion of 0 in b1 0.086 * [taylor]: Taking taylor expansion of 0 in b1 0.086 * [taylor]: Taking taylor expansion of 0 in b2 0.086 * [taylor]: Taking taylor expansion of 0 in b2 0.086 * [taylor]: Taking taylor expansion of 0 in b2 0.087 * [taylor]: Taking taylor expansion of 0 in a2 0.087 * [taylor]: Taking taylor expansion of 0 in b1 0.087 * [taylor]: Taking taylor expansion of 0 in b1 0.087 * [taylor]: Taking taylor expansion of 0 in b1 0.087 * [taylor]: Taking taylor expansion of 0 in b1 0.087 * [taylor]: Taking taylor expansion of 0 in b2 0.087 * [taylor]: Taking taylor expansion of 0 in b2 0.087 * [taylor]: Taking taylor expansion of 0 in b2 0.087 * [taylor]: Taking taylor expansion of 0 in b2 0.087 * [taylor]: Taking taylor expansion of 0 in b2 0.087 * [taylor]: Taking taylor expansion of 0 in b2 0.087 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 a2 b1 b2) around 0 0.087 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2 0.087 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.087 * [taylor]: Taking taylor expansion of b1 in b2 0.087 * [taylor]: Taking taylor expansion of b2 in b2 0.087 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 0.087 * [taylor]: Taking taylor expansion of a1 in b2 0.088 * [taylor]: Taking taylor expansion of a2 in b2 0.088 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1 0.088 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.088 * [taylor]: Taking taylor expansion of b1 in b1 0.088 * [taylor]: Taking taylor expansion of b2 in b1 0.088 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 0.088 * [taylor]: Taking taylor expansion of a1 in b1 0.088 * [taylor]: Taking taylor expansion of a2 in b1 0.088 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2 0.088 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.088 * [taylor]: Taking taylor expansion of b1 in a2 0.088 * [taylor]: Taking taylor expansion of b2 in a2 0.088 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 0.088 * [taylor]: Taking taylor expansion of a1 in a2 0.088 * [taylor]: Taking taylor expansion of a2 in a2 0.088 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1 0.088 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 0.088 * [taylor]: Taking taylor expansion of b1 in a1 0.088 * [taylor]: Taking taylor expansion of b2 in a1 0.088 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.088 * [taylor]: Taking taylor expansion of a1 in a1 0.088 * [taylor]: Taking taylor expansion of a2 in a1 0.088 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1 0.088 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 0.088 * [taylor]: Taking taylor expansion of b1 in a1 0.088 * [taylor]: Taking taylor expansion of b2 in a1 0.088 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.088 * [taylor]: Taking taylor expansion of a1 in a1 0.088 * [taylor]: Taking taylor expansion of a2 in a1 0.088 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.088 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.088 * [taylor]: Taking taylor expansion of b1 in a2 0.088 * [taylor]: Taking taylor expansion of b2 in a2 0.088 * [taylor]: Taking taylor expansion of a2 in a2 0.088 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.088 * [taylor]: Taking taylor expansion of b1 in b1 0.088 * [taylor]: Taking taylor expansion of b2 in b1 0.089 * [taylor]: Taking taylor expansion of b2 in b2 0.089 * [taylor]: Taking taylor expansion of 0 in a2 0.089 * [taylor]: Taking taylor expansion of 0 in b1 0.089 * [taylor]: Taking taylor expansion of 0 in b2 0.089 * [taylor]: Taking taylor expansion of 0 in b2 0.089 * [taylor]: Taking taylor expansion of 0 in a2 0.089 * [taylor]: Taking taylor expansion of 0 in b1 0.089 * [taylor]: Taking taylor expansion of 0 in b2 0.089 * [taylor]: Taking taylor expansion of 0 in b1 0.089 * [taylor]: Taking taylor expansion of 0 in b2 0.089 * [taylor]: Taking taylor expansion of 0 in b2 0.090 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 a2 b1 b2) around 0 0.090 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2 0.090 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.090 * [taylor]: Taking taylor expansion of b1 in b2 0.090 * [taylor]: Taking taylor expansion of b2 in b2 0.090 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 0.090 * [taylor]: Taking taylor expansion of a1 in b2 0.090 * [taylor]: Taking taylor expansion of a2 in b2 0.090 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1 0.090 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.090 * [taylor]: Taking taylor expansion of b1 in b1 0.090 * [taylor]: Taking taylor expansion of b2 in b1 0.090 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 0.090 * [taylor]: Taking taylor expansion of a1 in b1 0.090 * [taylor]: Taking taylor expansion of a2 in b1 0.090 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2 0.090 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.090 * [taylor]: Taking taylor expansion of b1 in a2 0.090 * [taylor]: Taking taylor expansion of b2 in a2 0.090 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 0.090 * [taylor]: Taking taylor expansion of a1 in a2 0.090 * [taylor]: Taking taylor expansion of a2 in a2 0.090 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1 0.090 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 0.090 * [taylor]: Taking taylor expansion of b1 in a1 0.090 * [taylor]: Taking taylor expansion of b2 in a1 0.090 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.090 * [taylor]: Taking taylor expansion of a1 in a1 0.090 * [taylor]: Taking taylor expansion of a2 in a1 0.090 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1 0.090 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 0.090 * [taylor]: Taking taylor expansion of b1 in a1 0.090 * [taylor]: Taking taylor expansion of b2 in a1 0.090 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.090 * [taylor]: Taking taylor expansion of a1 in a1 0.090 * [taylor]: Taking taylor expansion of a2 in a1 0.090 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.090 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.090 * [taylor]: Taking taylor expansion of b1 in a2 0.091 * [taylor]: Taking taylor expansion of b2 in a2 0.091 * [taylor]: Taking taylor expansion of a2 in a2 0.091 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.091 * [taylor]: Taking taylor expansion of b1 in b1 0.091 * [taylor]: Taking taylor expansion of b2 in b1 0.091 * [taylor]: Taking taylor expansion of b2 in b2 0.091 * [taylor]: Taking taylor expansion of 0 in a2 0.091 * [taylor]: Taking taylor expansion of 0 in b1 0.091 * [taylor]: Taking taylor expansion of 0 in b2 0.091 * [taylor]: Taking taylor expansion of 0 in b2 0.091 * [taylor]: Taking taylor expansion of 0 in a2 0.091 * [taylor]: Taking taylor expansion of 0 in b1 0.091 * [taylor]: Taking taylor expansion of 0 in b2 0.091 * [taylor]: Taking taylor expansion of 0 in b1 0.091 * [taylor]: Taking taylor expansion of 0 in b2 0.091 * [taylor]: Taking taylor expansion of 0 in b2 0.092 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.092 * [approximate]: Taking taylor expansion of (/ a2 (* b1 b2)) in (a2 b1 b2) around 0 0.092 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b2 0.092 * [taylor]: Taking taylor expansion of a2 in b2 0.092 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.092 * [taylor]: Taking taylor expansion of b1 in b2 0.092 * [taylor]: Taking taylor expansion of b2 in b2 0.092 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b1 0.092 * [taylor]: Taking taylor expansion of a2 in b1 0.092 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.092 * [taylor]: Taking taylor expansion of b1 in b1 0.092 * [taylor]: Taking taylor expansion of b2 in b1 0.092 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2 0.092 * [taylor]: Taking taylor expansion of a2 in a2 0.092 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.092 * [taylor]: Taking taylor expansion of b1 in a2 0.092 * [taylor]: Taking taylor expansion of b2 in a2 0.092 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2 0.092 * [taylor]: Taking taylor expansion of a2 in a2 0.092 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.092 * [taylor]: Taking taylor expansion of b1 in a2 0.092 * [taylor]: Taking taylor expansion of b2 in a2 0.092 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1 0.092 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.092 * [taylor]: Taking taylor expansion of b1 in b1 0.092 * [taylor]: Taking taylor expansion of b2 in b1 0.092 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2 0.092 * [taylor]: Taking taylor expansion of b2 in b2 0.092 * [taylor]: Taking taylor expansion of 0 in b1 0.093 * [taylor]: Taking taylor expansion of 0 in b2 0.093 * [taylor]: Taking taylor expansion of 0 in b1 0.093 * [taylor]: Taking taylor expansion of 0 in b2 0.093 * [taylor]: Taking taylor expansion of 0 in b2 0.093 * [taylor]: Taking taylor expansion of 0 in b1 0.093 * [taylor]: Taking taylor expansion of 0 in b2 0.093 * [taylor]: Taking taylor expansion of 0 in b2 0.093 * [taylor]: Taking taylor expansion of 0 in b2 0.093 * [approximate]: Taking taylor expansion of (/ (* b1 b2) a2) in (a2 b1 b2) around 0 0.093 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b2 0.093 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.093 * [taylor]: Taking taylor expansion of b1 in b2 0.093 * [taylor]: Taking taylor expansion of b2 in b2 0.093 * [taylor]: Taking taylor expansion of a2 in b2 0.094 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1 0.094 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.094 * [taylor]: Taking taylor expansion of b1 in b1 0.094 * [taylor]: Taking taylor expansion of b2 in b1 0.094 * [taylor]: Taking taylor expansion of a2 in b1 0.094 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.094 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.094 * [taylor]: Taking taylor expansion of b1 in a2 0.094 * [taylor]: Taking taylor expansion of b2 in a2 0.094 * [taylor]: Taking taylor expansion of a2 in a2 0.094 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.094 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.094 * [taylor]: Taking taylor expansion of b1 in a2 0.094 * [taylor]: Taking taylor expansion of b2 in a2 0.094 * [taylor]: Taking taylor expansion of a2 in a2 0.094 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.094 * [taylor]: Taking taylor expansion of b1 in b1 0.094 * [taylor]: Taking taylor expansion of b2 in b1 0.094 * [taylor]: Taking taylor expansion of b2 in b2 0.094 * [taylor]: Taking taylor expansion of 0 in b1 0.094 * [taylor]: Taking taylor expansion of 0 in b2 0.094 * [taylor]: Taking taylor expansion of 0 in b2 0.094 * [taylor]: Taking taylor expansion of 0 in b1 0.094 * [taylor]: Taking taylor expansion of 0 in b2 0.094 * [taylor]: Taking taylor expansion of 0 in b2 0.094 * [taylor]: Taking taylor expansion of 0 in b2 0.095 * [approximate]: Taking taylor expansion of (* -1 (/ (* b1 b2) a2)) in (a2 b1 b2) around 0 0.095 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 b2) a2)) in b2 0.095 * [taylor]: Taking taylor expansion of -1 in b2 0.095 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b2 0.095 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.095 * [taylor]: Taking taylor expansion of b1 in b2 0.095 * [taylor]: Taking taylor expansion of b2 in b2 0.095 * [taylor]: Taking taylor expansion of a2 in b2 0.095 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 b2) a2)) in b1 0.095 * [taylor]: Taking taylor expansion of -1 in b1 0.095 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1 0.095 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.095 * [taylor]: Taking taylor expansion of b1 in b1 0.095 * [taylor]: Taking taylor expansion of b2 in b1 0.095 * [taylor]: Taking taylor expansion of a2 in b1 0.095 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 b2) a2)) in a2 0.095 * [taylor]: Taking taylor expansion of -1 in a2 0.095 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.095 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.095 * [taylor]: Taking taylor expansion of b1 in a2 0.095 * [taylor]: Taking taylor expansion of b2 in a2 0.095 * [taylor]: Taking taylor expansion of a2 in a2 0.095 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 b2) a2)) in a2 0.095 * [taylor]: Taking taylor expansion of -1 in a2 0.095 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.095 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.095 * [taylor]: Taking taylor expansion of b1 in a2 0.095 * [taylor]: Taking taylor expansion of b2 in a2 0.095 * [taylor]: Taking taylor expansion of a2 in a2 0.095 * [taylor]: Taking taylor expansion of (* -1 (* b1 b2)) in b1 0.095 * [taylor]: Taking taylor expansion of -1 in b1 0.095 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.095 * [taylor]: Taking taylor expansion of b1 in b1 0.095 * [taylor]: Taking taylor expansion of b2 in b1 0.095 * [taylor]: Taking taylor expansion of (neg b2) in b2 0.095 * [taylor]: Taking taylor expansion of b2 in b2 0.096 * [taylor]: Taking taylor expansion of 0 in b1 0.096 * [taylor]: Taking taylor expansion of 0 in b2 0.096 * [taylor]: Taking taylor expansion of 0 in b2 0.096 * [taylor]: Taking taylor expansion of 0 in b1 0.096 * [taylor]: Taking taylor expansion of 0 in b2 0.096 * [taylor]: Taking taylor expansion of 0 in b2 0.096 * [taylor]: Taking taylor expansion of 0 in b2 0.096 * * * [progress]: simplifying candidates 0.097 * [simplify]: Simplifying using # : (* a1 (/ a2 (* b1 b2))) (+ (log a1) (- (log a2) (+ (log b1) (log b2)))) (+ (log a1) (- (log a2) (log (* b1 b2)))) (+ (log a1) (log (/ a2 (* b1 b2)))) (log (* a1 (/ a2 (* b1 b2)))) (exp (* a1 (/ a2 (* b1 b2)))) (* (* (* a1 a1) a1) (/ (* (* a2 a2) a2) (* (* (* b1 b1) b1) (* (* b2 b2) b2)))) (* (* (* a1 a1) a1) (/ (* (* a2 a2) a2) (* (* (* b1 b2) (* b1 b2)) (* b1 b2)))) (* (* (* a1 a1) a1) (* (* (/ a2 (* b1 b2)) (/ a2 (* b1 b2))) (/ a2 (* b1 b2)))) (* (cbrt (* a1 (/ a2 (* b1 b2)))) (cbrt (* a1 (/ a2 (* b1 b2))))) (cbrt (* a1 (/ a2 (* b1 b2)))) (* (* (* a1 (/ a2 (* b1 b2))) (* a1 (/ a2 (* b1 b2)))) (* a1 (/ a2 (* b1 b2)))) (sqrt (* a1 (/ a2 (* b1 b2)))) (sqrt (* a1 (/ a2 (* b1 b2)))) (* (sqrt a1) (sqrt (/ a2 (* b1 b2)))) (* (sqrt a1) (sqrt (/ a2 (* b1 b2)))) (* a1 (* (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2))))) (* a1 (sqrt (/ a2 (* b1 b2)))) (* a1 (/ (* (cbrt a2) (cbrt a2)) b1)) (* a1 (/ (sqrt a2) b1)) (* a1 (/ 1 b1)) (* a1 1) (* a1 a2) (* (cbrt a1) (/ a2 (* b1 b2))) (* (sqrt a1) (/ a2 (* b1 b2))) (* a1 (/ a2 (* b1 b2))) (* a1 a2) (- (log a2) (+ (log b1) (log b2))) (- (log a2) (log (* b1 b2))) (log (/ a2 (* b1 b2))) (exp (/ a2 (* b1 b2))) (/ (* (* a2 a2) a2) (* (* (* b1 b1) b1) (* (* b2 b2) b2))) (/ (* (* a2 a2) a2) (* (* (* b1 b2) (* b1 b2)) (* b1 b2))) (* (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2)))) (cbrt (/ a2 (* b1 b2))) (* (* (/ a2 (* b1 b2)) (/ a2 (* b1 b2))) (/ a2 (* b1 b2))) (sqrt (/ a2 (* b1 b2))) (sqrt (/ a2 (* b1 b2))) (neg a2) (neg (* b1 b2)) (/ (* (cbrt a2) (cbrt a2)) b1) (/ (cbrt a2) b2) (/ (sqrt a2) b1) (/ (sqrt a2) b2) (/ 1 b1) (/ a2 b2) (/ 1 (* b1 b2)) (/ (* b1 b2) a2) (/ a2 b1) (/ (* b1 b2) (cbrt a2)) (/ (* b1 b2) (sqrt a2)) (/ (* b1 b2) a2) (/ (* a1 a2) (* b1 b2)) (/ (* a1 a2) (* b1 b2)) (/ (* a1 a2) (* b1 b2)) (/ a2 (* b1 b2)) (/ a2 (* b1 b2)) (/ a2 (* b1 b2)) 0.142 * * [simplify]: iteration 0 : 5010 enodes (cost 386 ) 0.144 * [simplify]: Simplified to: (* a1 (/ a2 (* b1 b2))) (log (* a1 (/ a2 (* b1 b2)))) (log (* a1 (/ a2 (* b1 b2)))) (log (* a1 (/ a2 (* b1 b2)))) (log (* a1 (/ a2 (* b1 b2)))) (pow (exp (/ a2 (* b1 b2))) a1) (pow (* a1 (/ a2 (* b1 b2))) 3) (pow (* a1 (/ a2 (* b1 b2))) 3) (pow (* a1 (/ a2 (* b1 b2))) 3) (* (cbrt (* a1 (/ a2 (* b1 b2)))) (cbrt (* a1 (/ a2 (* b1 b2))))) (cbrt (* a1 (/ a2 (* b1 b2)))) (pow (* a1 (/ a2 (* b1 b2))) 3) (sqrt (* a1 (/ a2 (* b1 b2)))) (sqrt (* a1 (/ a2 (* b1 b2)))) (* (sqrt a1) (sqrt (/ a2 (* b1 b2)))) (* (sqrt a1) (sqrt (/ a2 (* b1 b2)))) (* a1 (* (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2))))) (* a1 (sqrt (/ a2 (* b1 b2)))) (* a1 (* (cbrt a2) (/ (cbrt a2) b1))) (* a1 (/ (sqrt a2) b1)) (/ a1 b1) a1 (* a1 a2) (* (/ a2 (* b1 b2)) (cbrt a1)) (* (/ a2 (* b1 b2)) (sqrt a1)) (* a1 (/ a2 (* b1 b2))) (* a1 a2) (log (/ a2 (* b1 b2))) (log (/ a2 (* b1 b2))) (log (/ a2 (* b1 b2))) (exp (/ a2 (* b1 b2))) (pow (/ a2 (* b1 b2)) 3) (pow (/ a2 (* b1 b2)) 3) (* (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2)))) (cbrt (/ a2 (* b1 b2))) (pow (/ a2 (* b1 b2)) 3) (sqrt (/ a2 (* b1 b2))) (sqrt (/ a2 (* b1 b2))) (neg a2) (* b1 (neg b2)) (* (cbrt a2) (/ (cbrt a2) b1)) (/ (cbrt a2) b2) (/ (sqrt a2) b1) (/ (sqrt a2) b2) (/ 1 b1) (/ a2 b2) (/ 1 (* b1 b2)) (* b2 (/ b1 a2)) (/ a2 b1) (* b2 (/ b1 (cbrt a2))) (* b2 (/ b1 (sqrt a2))) (* b2 (/ b1 a2)) (* a1 (/ a2 (* b1 b2))) (* a1 (/ a2 (* b1 b2))) (* a1 (/ a2 (* b1 b2))) (/ a2 (* b1 b2)) (/ a2 (* b1 b2)) (/ a2 (* b1 b2)) 0.144 * * * [progress]: adding candidates to table 0.190 * * [progress]: iteration 2 / 4 0.190 * * * [progress]: picking best candidate 0.214 * * * * [pick]: Picked # 0.214 * * * [progress]: localizing error 0.221 * * * [progress]: generating rewritten candidates 0.221 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 0.229 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 0.236 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2) 0.245 * * * [progress]: generating series expansions 0.245 * * * * [progress]: [ 1 / 3 ] generating series at (2) 0.245 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (a1 a2 b1 b2) around 0 0.245 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2 0.245 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 0.245 * [taylor]: Taking taylor expansion of a1 in b2 0.246 * [taylor]: Taking taylor expansion of a2 in b2 0.246 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.246 * [taylor]: Taking taylor expansion of b1 in b2 0.246 * [taylor]: Taking taylor expansion of b2 in b2 0.246 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1 0.246 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 0.246 * [taylor]: Taking taylor expansion of a1 in b1 0.246 * [taylor]: Taking taylor expansion of a2 in b1 0.246 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.246 * [taylor]: Taking taylor expansion of b1 in b1 0.246 * [taylor]: Taking taylor expansion of b2 in b1 0.246 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2 0.246 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 0.246 * [taylor]: Taking taylor expansion of a1 in a2 0.246 * [taylor]: Taking taylor expansion of a2 in a2 0.246 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.246 * [taylor]: Taking taylor expansion of b1 in a2 0.246 * [taylor]: Taking taylor expansion of b2 in a2 0.246 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1 0.246 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.246 * [taylor]: Taking taylor expansion of a1 in a1 0.246 * [taylor]: Taking taylor expansion of a2 in a1 0.246 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 0.246 * [taylor]: Taking taylor expansion of b1 in a1 0.246 * [taylor]: Taking taylor expansion of b2 in a1 0.246 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1 0.246 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.246 * [taylor]: Taking taylor expansion of a1 in a1 0.246 * [taylor]: Taking taylor expansion of a2 in a1 0.246 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 0.246 * [taylor]: Taking taylor expansion of b1 in a1 0.246 * [taylor]: Taking taylor expansion of b2 in a1 0.246 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2 0.246 * [taylor]: Taking taylor expansion of a2 in a2 0.246 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.246 * [taylor]: Taking taylor expansion of b1 in a2 0.247 * [taylor]: Taking taylor expansion of b2 in a2 0.247 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1 0.247 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.247 * [taylor]: Taking taylor expansion of b1 in b1 0.247 * [taylor]: Taking taylor expansion of b2 in b1 0.247 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2 0.247 * [taylor]: Taking taylor expansion of b2 in b2 0.247 * [taylor]: Taking taylor expansion of 0 in a2 0.247 * [taylor]: Taking taylor expansion of 0 in b1 0.247 * [taylor]: Taking taylor expansion of 0 in b1 0.247 * [taylor]: Taking taylor expansion of 0 in b2 0.247 * [taylor]: Taking taylor expansion of 0 in a2 0.247 * [taylor]: Taking taylor expansion of 0 in b1 0.247 * [taylor]: Taking taylor expansion of 0 in b1 0.248 * [taylor]: Taking taylor expansion of 0 in b1 0.248 * [taylor]: Taking taylor expansion of 0 in b2 0.248 * [taylor]: Taking taylor expansion of 0 in b2 0.248 * [taylor]: Taking taylor expansion of 0 in b2 0.248 * [taylor]: Taking taylor expansion of 0 in a2 0.248 * [taylor]: Taking taylor expansion of 0 in b1 0.248 * [taylor]: Taking taylor expansion of 0 in b1 0.248 * [taylor]: Taking taylor expansion of 0 in b1 0.248 * [taylor]: Taking taylor expansion of 0 in b1 0.248 * [taylor]: Taking taylor expansion of 0 in b2 0.248 * [taylor]: Taking taylor expansion of 0 in b2 0.248 * [taylor]: Taking taylor expansion of 0 in b2 0.248 * [taylor]: Taking taylor expansion of 0 in b2 0.248 * [taylor]: Taking taylor expansion of 0 in b2 0.248 * [taylor]: Taking taylor expansion of 0 in b2 0.249 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 a2 b1 b2) around 0 0.249 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2 0.249 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.249 * [taylor]: Taking taylor expansion of b1 in b2 0.249 * [taylor]: Taking taylor expansion of b2 in b2 0.249 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 0.249 * [taylor]: Taking taylor expansion of a1 in b2 0.249 * [taylor]: Taking taylor expansion of a2 in b2 0.249 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1 0.249 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.249 * [taylor]: Taking taylor expansion of b1 in b1 0.249 * [taylor]: Taking taylor expansion of b2 in b1 0.249 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 0.249 * [taylor]: Taking taylor expansion of a1 in b1 0.249 * [taylor]: Taking taylor expansion of a2 in b1 0.249 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2 0.249 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.249 * [taylor]: Taking taylor expansion of b1 in a2 0.249 * [taylor]: Taking taylor expansion of b2 in a2 0.249 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 0.249 * [taylor]: Taking taylor expansion of a1 in a2 0.249 * [taylor]: Taking taylor expansion of a2 in a2 0.249 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1 0.249 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 0.249 * [taylor]: Taking taylor expansion of b1 in a1 0.249 * [taylor]: Taking taylor expansion of b2 in a1 0.249 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.249 * [taylor]: Taking taylor expansion of a1 in a1 0.249 * [taylor]: Taking taylor expansion of a2 in a1 0.249 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1 0.249 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 0.249 * [taylor]: Taking taylor expansion of b1 in a1 0.249 * [taylor]: Taking taylor expansion of b2 in a1 0.250 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.250 * [taylor]: Taking taylor expansion of a1 in a1 0.250 * [taylor]: Taking taylor expansion of a2 in a1 0.250 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.250 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.250 * [taylor]: Taking taylor expansion of b1 in a2 0.250 * [taylor]: Taking taylor expansion of b2 in a2 0.250 * [taylor]: Taking taylor expansion of a2 in a2 0.250 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.250 * [taylor]: Taking taylor expansion of b1 in b1 0.250 * [taylor]: Taking taylor expansion of b2 in b1 0.250 * [taylor]: Taking taylor expansion of b2 in b2 0.250 * [taylor]: Taking taylor expansion of 0 in a2 0.250 * [taylor]: Taking taylor expansion of 0 in b1 0.250 * [taylor]: Taking taylor expansion of 0 in b2 0.250 * [taylor]: Taking taylor expansion of 0 in b2 0.250 * [taylor]: Taking taylor expansion of 0 in a2 0.250 * [taylor]: Taking taylor expansion of 0 in b1 0.250 * [taylor]: Taking taylor expansion of 0 in b2 0.251 * [taylor]: Taking taylor expansion of 0 in b1 0.251 * [taylor]: Taking taylor expansion of 0 in b2 0.251 * [taylor]: Taking taylor expansion of 0 in b2 0.251 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 a2 b1 b2) around 0 0.251 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2 0.251 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.251 * [taylor]: Taking taylor expansion of b1 in b2 0.251 * [taylor]: Taking taylor expansion of b2 in b2 0.251 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 0.251 * [taylor]: Taking taylor expansion of a1 in b2 0.251 * [taylor]: Taking taylor expansion of a2 in b2 0.251 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1 0.251 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.251 * [taylor]: Taking taylor expansion of b1 in b1 0.251 * [taylor]: Taking taylor expansion of b2 in b1 0.251 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 0.251 * [taylor]: Taking taylor expansion of a1 in b1 0.251 * [taylor]: Taking taylor expansion of a2 in b1 0.251 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2 0.251 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.251 * [taylor]: Taking taylor expansion of b1 in a2 0.251 * [taylor]: Taking taylor expansion of b2 in a2 0.251 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 0.251 * [taylor]: Taking taylor expansion of a1 in a2 0.251 * [taylor]: Taking taylor expansion of a2 in a2 0.251 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1 0.251 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 0.251 * [taylor]: Taking taylor expansion of b1 in a1 0.251 * [taylor]: Taking taylor expansion of b2 in a1 0.251 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.251 * [taylor]: Taking taylor expansion of a1 in a1 0.251 * [taylor]: Taking taylor expansion of a2 in a1 0.252 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1 0.252 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 0.252 * [taylor]: Taking taylor expansion of b1 in a1 0.252 * [taylor]: Taking taylor expansion of b2 in a1 0.252 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.252 * [taylor]: Taking taylor expansion of a1 in a1 0.252 * [taylor]: Taking taylor expansion of a2 in a1 0.252 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.252 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.252 * [taylor]: Taking taylor expansion of b1 in a2 0.252 * [taylor]: Taking taylor expansion of b2 in a2 0.252 * [taylor]: Taking taylor expansion of a2 in a2 0.252 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.252 * [taylor]: Taking taylor expansion of b1 in b1 0.252 * [taylor]: Taking taylor expansion of b2 in b1 0.252 * [taylor]: Taking taylor expansion of b2 in b2 0.252 * [taylor]: Taking taylor expansion of 0 in a2 0.252 * [taylor]: Taking taylor expansion of 0 in b1 0.252 * [taylor]: Taking taylor expansion of 0 in b2 0.252 * [taylor]: Taking taylor expansion of 0 in b2 0.252 * [taylor]: Taking taylor expansion of 0 in a2 0.253 * [taylor]: Taking taylor expansion of 0 in b1 0.253 * [taylor]: Taking taylor expansion of 0 in b2 0.253 * [taylor]: Taking taylor expansion of 0 in b1 0.253 * [taylor]: Taking taylor expansion of 0 in b2 0.253 * [taylor]: Taking taylor expansion of 0 in b2 0.253 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 0.253 * [approximate]: Taking taylor expansion of (/ a2 (* b1 b2)) in (a2 b1 b2) around 0 0.253 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b2 0.253 * [taylor]: Taking taylor expansion of a2 in b2 0.253 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.253 * [taylor]: Taking taylor expansion of b1 in b2 0.253 * [taylor]: Taking taylor expansion of b2 in b2 0.253 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b1 0.253 * [taylor]: Taking taylor expansion of a2 in b1 0.253 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.253 * [taylor]: Taking taylor expansion of b1 in b1 0.253 * [taylor]: Taking taylor expansion of b2 in b1 0.253 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2 0.253 * [taylor]: Taking taylor expansion of a2 in a2 0.253 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.253 * [taylor]: Taking taylor expansion of b1 in a2 0.253 * [taylor]: Taking taylor expansion of b2 in a2 0.253 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2 0.253 * [taylor]: Taking taylor expansion of a2 in a2 0.253 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.253 * [taylor]: Taking taylor expansion of b1 in a2 0.253 * [taylor]: Taking taylor expansion of b2 in a2 0.253 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1 0.254 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.254 * [taylor]: Taking taylor expansion of b1 in b1 0.254 * [taylor]: Taking taylor expansion of b2 in b1 0.254 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2 0.254 * [taylor]: Taking taylor expansion of b2 in b2 0.254 * [taylor]: Taking taylor expansion of 0 in b1 0.254 * [taylor]: Taking taylor expansion of 0 in b2 0.254 * [taylor]: Taking taylor expansion of 0 in b1 0.254 * [taylor]: Taking taylor expansion of 0 in b2 0.254 * [taylor]: Taking taylor expansion of 0 in b2 0.254 * [taylor]: Taking taylor expansion of 0 in b1 0.254 * [taylor]: Taking taylor expansion of 0 in b2 0.254 * [taylor]: Taking taylor expansion of 0 in b2 0.255 * [taylor]: Taking taylor expansion of 0 in b2 0.255 * [approximate]: Taking taylor expansion of (/ (* b1 b2) a2) in (a2 b1 b2) around 0 0.255 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b2 0.255 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.255 * [taylor]: Taking taylor expansion of b1 in b2 0.255 * [taylor]: Taking taylor expansion of b2 in b2 0.255 * [taylor]: Taking taylor expansion of a2 in b2 0.255 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1 0.255 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.255 * [taylor]: Taking taylor expansion of b1 in b1 0.255 * [taylor]: Taking taylor expansion of b2 in b1 0.255 * [taylor]: Taking taylor expansion of a2 in b1 0.255 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.255 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.255 * [taylor]: Taking taylor expansion of b1 in a2 0.255 * [taylor]: Taking taylor expansion of b2 in a2 0.255 * [taylor]: Taking taylor expansion of a2 in a2 0.255 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.255 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.255 * [taylor]: Taking taylor expansion of b1 in a2 0.255 * [taylor]: Taking taylor expansion of b2 in a2 0.255 * [taylor]: Taking taylor expansion of a2 in a2 0.255 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.255 * [taylor]: Taking taylor expansion of b1 in b1 0.255 * [taylor]: Taking taylor expansion of b2 in b1 0.255 * [taylor]: Taking taylor expansion of b2 in b2 0.255 * [taylor]: Taking taylor expansion of 0 in b1 0.256 * [taylor]: Taking taylor expansion of 0 in b2 0.256 * [taylor]: Taking taylor expansion of 0 in b2 0.256 * [taylor]: Taking taylor expansion of 0 in b1 0.256 * [taylor]: Taking taylor expansion of 0 in b2 0.256 * [taylor]: Taking taylor expansion of 0 in b2 0.256 * [taylor]: Taking taylor expansion of 0 in b2 0.256 * [approximate]: Taking taylor expansion of (* -1 (/ (* b1 b2) a2)) in (a2 b1 b2) around 0 0.256 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 b2) a2)) in b2 0.256 * [taylor]: Taking taylor expansion of -1 in b2 0.256 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b2 0.256 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.256 * [taylor]: Taking taylor expansion of b1 in b2 0.256 * [taylor]: Taking taylor expansion of b2 in b2 0.256 * [taylor]: Taking taylor expansion of a2 in b2 0.256 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 b2) a2)) in b1 0.256 * [taylor]: Taking taylor expansion of -1 in b1 0.256 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1 0.256 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.256 * [taylor]: Taking taylor expansion of b1 in b1 0.256 * [taylor]: Taking taylor expansion of b2 in b1 0.256 * [taylor]: Taking taylor expansion of a2 in b1 0.256 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 b2) a2)) in a2 0.256 * [taylor]: Taking taylor expansion of -1 in a2 0.256 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.256 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.256 * [taylor]: Taking taylor expansion of b1 in a2 0.256 * [taylor]: Taking taylor expansion of b2 in a2 0.256 * [taylor]: Taking taylor expansion of a2 in a2 0.256 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 b2) a2)) in a2 0.256 * [taylor]: Taking taylor expansion of -1 in a2 0.257 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.257 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.257 * [taylor]: Taking taylor expansion of b1 in a2 0.257 * [taylor]: Taking taylor expansion of b2 in a2 0.257 * [taylor]: Taking taylor expansion of a2 in a2 0.257 * [taylor]: Taking taylor expansion of (* -1 (* b1 b2)) in b1 0.257 * [taylor]: Taking taylor expansion of -1 in b1 0.257 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.257 * [taylor]: Taking taylor expansion of b1 in b1 0.257 * [taylor]: Taking taylor expansion of b2 in b1 0.257 * [taylor]: Taking taylor expansion of (neg b2) in b2 0.257 * [taylor]: Taking taylor expansion of b2 in b2 0.257 * [taylor]: Taking taylor expansion of 0 in b1 0.257 * [taylor]: Taking taylor expansion of 0 in b2 0.257 * [taylor]: Taking taylor expansion of 0 in b2 0.257 * [taylor]: Taking taylor expansion of 0 in b1 0.257 * [taylor]: Taking taylor expansion of 0 in b2 0.257 * [taylor]: Taking taylor expansion of 0 in b2 0.257 * [taylor]: Taking taylor expansion of 0 in b2 0.258 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2) 0.258 * [approximate]: Taking taylor expansion of (/ 1 (* b1 b2)) in (b1 b2) around 0 0.258 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b2 0.258 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.258 * [taylor]: Taking taylor expansion of b1 in b2 0.258 * [taylor]: Taking taylor expansion of b2 in b2 0.258 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1 0.258 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.258 * [taylor]: Taking taylor expansion of b1 in b1 0.258 * [taylor]: Taking taylor expansion of b2 in b1 0.258 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1 0.258 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.258 * [taylor]: Taking taylor expansion of b1 in b1 0.258 * [taylor]: Taking taylor expansion of b2 in b1 0.258 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2 0.258 * [taylor]: Taking taylor expansion of b2 in b2 0.258 * [taylor]: Taking taylor expansion of 0 in b2 0.258 * [taylor]: Taking taylor expansion of 0 in b2 0.258 * [taylor]: Taking taylor expansion of 0 in b2 0.259 * [approximate]: Taking taylor expansion of (* b1 b2) in (b1 b2) around 0 0.259 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.259 * [taylor]: Taking taylor expansion of b1 in b2 0.259 * [taylor]: Taking taylor expansion of b2 in b2 0.259 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.259 * [taylor]: Taking taylor expansion of b1 in b1 0.259 * [taylor]: Taking taylor expansion of b2 in b1 0.259 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.259 * [taylor]: Taking taylor expansion of b1 in b1 0.259 * [taylor]: Taking taylor expansion of b2 in b1 0.259 * [taylor]: Taking taylor expansion of 0 in b2 0.259 * [taylor]: Taking taylor expansion of b2 in b2 0.259 * [taylor]: Taking taylor expansion of 0 in b2 0.259 * [taylor]: Taking taylor expansion of 0 in b2 0.259 * [taylor]: Taking taylor expansion of 0 in b2 0.259 * [approximate]: Taking taylor expansion of (* b1 b2) in (b1 b2) around 0 0.259 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.259 * [taylor]: Taking taylor expansion of b1 in b2 0.259 * [taylor]: Taking taylor expansion of b2 in b2 0.259 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.259 * [taylor]: Taking taylor expansion of b1 in b1 0.259 * [taylor]: Taking taylor expansion of b2 in b1 0.259 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.259 * [taylor]: Taking taylor expansion of b1 in b1 0.259 * [taylor]: Taking taylor expansion of b2 in b1 0.259 * [taylor]: Taking taylor expansion of 0 in b2 0.260 * [taylor]: Taking taylor expansion of b2 in b2 0.260 * [taylor]: Taking taylor expansion of 0 in b2 0.260 * [taylor]: Taking taylor expansion of 0 in b2 0.260 * [taylor]: Taking taylor expansion of 0 in b2 0.260 * * * [progress]: simplifying candidates 0.261 * [simplify]: Simplifying using # : (* a1 (* a2 (/ 1 (* b1 b2)))) (* a1 (* a2 (/ 1 (* b1 b2)))) (+ (log a1) (+ (log a2) (neg (+ (log b1) (log b2))))) (+ (log a1) (+ (log a2) (neg (log (* b1 b2))))) (+ (log a1) (+ (log a2) (- 0 (+ (log b1) (log b2))))) (+ (log a1) (+ (log a2) (- 0 (log (* b1 b2))))) (+ (log a1) (+ (log a2) (- (log 1) (+ (log b1) (log b2))))) (+ (log a1) (+ (log a2) (- (log 1) (log (* b1 b2))))) (+ (log a1) (+ (log a2) (log (/ 1 (* b1 b2))))) (+ (log a1) (log (* a2 (/ 1 (* b1 b2))))) (log (* a1 (* a2 (/ 1 (* b1 b2))))) (exp (* a1 (* a2 (/ 1 (* b1 b2))))) (* (* (* a1 a1) a1) (* (* (* a2 a2) a2) (/ (* (* 1 1) 1) (* (* (* b1 b1) b1) (* (* b2 b2) b2))))) (* (* (* a1 a1) a1) (* (* (* a2 a2) a2) (/ (* (* 1 1) 1) (* (* (* b1 b2) (* b1 b2)) (* b1 b2))))) (* (* (* a1 a1) a1) (* (* (* a2 a2) a2) (* (* (/ 1 (* b1 b2)) (/ 1 (* b1 b2))) (/ 1 (* b1 b2))))) (* (* (* a1 a1) a1) (* (* (* a2 (/ 1 (* b1 b2))) (* a2 (/ 1 (* b1 b2)))) (* a2 (/ 1 (* b1 b2))))) (* (cbrt (* a1 (* a2 (/ 1 (* b1 b2))))) (cbrt (* a1 (* a2 (/ 1 (* b1 b2)))))) (cbrt (* a1 (* a2 (/ 1 (* b1 b2))))) (* (* (* a1 (* a2 (/ 1 (* b1 b2)))) (* a1 (* a2 (/ 1 (* b1 b2))))) (* a1 (* a2 (/ 1 (* b1 b2))))) (sqrt (* a1 (* a2 (/ 1 (* b1 b2))))) (sqrt (* a1 (* a2 (/ 1 (* b1 b2))))) (* a1 a2) (* (cbrt a1) (* a2 (/ 1 (* b1 b2)))) (* (sqrt a1) (* a2 (/ 1 (* b1 b2)))) (* a1 (* a2 (/ 1 (* b1 b2)))) (* a1 a2) (* a1 (* a2 1)) (* a2 (/ 1 (* b1 b2))) (+ (log a2) (neg (+ (log b1) (log b2)))) (+ (log a2) (neg (log (* b1 b2)))) (+ (log a2) (- 0 (+ (log b1) (log b2)))) (+ (log a2) (- 0 (log (* b1 b2)))) (+ (log a2) (- (log 1) (+ (log b1) (log b2)))) (+ (log a2) (- (log 1) (log (* b1 b2)))) (+ (log a2) (log (/ 1 (* b1 b2)))) (log (* a2 (/ 1 (* b1 b2)))) (exp (* a2 (/ 1 (* b1 b2)))) (* (* (* a2 a2) a2) (/ (* (* 1 1) 1) (* (* (* b1 b1) b1) (* (* b2 b2) b2)))) (* (* (* a2 a2) a2) (/ (* (* 1 1) 1) (* (* (* b1 b2) (* b1 b2)) (* b1 b2)))) (* (* (* a2 a2) a2) (* (* (/ 1 (* b1 b2)) (/ 1 (* b1 b2))) (/ 1 (* b1 b2)))) (* (cbrt (* a2 (/ 1 (* b1 b2)))) (cbrt (* a2 (/ 1 (* b1 b2))))) (cbrt (* a2 (/ 1 (* b1 b2)))) (* (* (* a2 (/ 1 (* b1 b2))) (* a2 (/ 1 (* b1 b2)))) (* a2 (/ 1 (* b1 b2)))) (sqrt (* a2 (/ 1 (* b1 b2)))) (sqrt (* a2 (/ 1 (* b1 b2)))) (* (sqrt a2) (sqrt (/ 1 (* b1 b2)))) (* (sqrt a2) (sqrt (/ 1 (* b1 b2)))) (* a2 (* (cbrt (/ 1 (* b1 b2))) (cbrt (/ 1 (* b1 b2))))) (* a2 (sqrt (/ 1 (* b1 b2)))) (* a2 (/ (* (cbrt 1) (cbrt 1)) b1)) (* a2 (/ (sqrt 1) b1)) (* a2 (/ 1 b1)) (* a2 1) (* a2 1) (* (cbrt a2) (/ 1 (* b1 b2))) (* (sqrt a2) (/ 1 (* b1 b2))) (* a2 (/ 1 (* b1 b2))) (* a2 1) (neg 1) (neg 1) (neg (+ (log b1) (log b2))) (neg (log (* b1 b2))) (- 0 (+ (log b1) (log b2))) (- 0 (log (* b1 b2))) (- (log 1) (+ (log b1) (log b2))) (- (log 1) (log (* b1 b2))) (log (/ 1 (* b1 b2))) (exp (/ 1 (* b1 b2))) (/ (* (* 1 1) 1) (* (* (* b1 b1) b1) (* (* b2 b2) b2))) (/ (* (* 1 1) 1) (* (* (* b1 b2) (* b1 b2)) (* b1 b2))) (* (cbrt (/ 1 (* b1 b2))) (cbrt (/ 1 (* b1 b2)))) (cbrt (/ 1 (* b1 b2))) (* (* (/ 1 (* b1 b2)) (/ 1 (* b1 b2))) (/ 1 (* b1 b2))) (sqrt (/ 1 (* b1 b2))) (sqrt (/ 1 (* b1 b2))) (neg 1) (neg (* b1 b2)) (/ (* (cbrt 1) (cbrt 1)) b1) (/ (cbrt 1) b2) (/ (sqrt 1) b1) (/ (sqrt 1) b2) (/ 1 b1) (/ 1 b2) (/ 1 (* b1 b2)) (/ (* b1 b2) 1) (/ 1 b1) (/ (* b1 b2) (cbrt 1)) (/ (* b1 b2) (sqrt 1)) (/ (* b1 b2) 1) (/ (* a1 a2) (* b1 b2)) (/ (* a1 a2) (* b1 b2)) (/ (* a1 a2) (* b1 b2)) (/ a2 (* b1 b2)) (/ a2 (* b1 b2)) (/ a2 (* b1 b2)) (/ 1 (* b1 b2)) (/ 1 (* b1 b2)) (/ 1 (* b1 b2)) 0.308 * * [simplify]: iteration 0 : 5138 enodes (cost 603 ) 0.310 * [simplify]: Simplified to: (* a1 (/ a2 (* b1 b2))) (* a1 (/ a2 (* b1 b2))) (log (* a1 (/ a2 (* b1 b2)))) (log (* a1 (/ a2 (* b1 b2)))) (log (* a1 (/ a2 (* b1 b2)))) (log (* a1 (/ a2 (* b1 b2)))) (log (* a1 (/ a2 (* b1 b2)))) (log (* a1 (/ a2 (* b1 b2)))) (log (* a1 (/ a2 (* b1 b2)))) (log (* a1 (/ a2 (* b1 b2)))) (log (* a1 (/ a2 (* b1 b2)))) (pow (exp (/ a2 (* b1 b2))) a1) (pow (* a1 (/ a2 (* b1 b2))) 3) (pow (* a1 (/ a2 (* b1 b2))) 3) (pow (* a1 (/ a2 (* b1 b2))) 3) (pow (* a1 (/ a2 (* b1 b2))) 3) (* (cbrt (* a1 (/ a2 (* b1 b2)))) (cbrt (* a1 (/ a2 (* b1 b2))))) (cbrt (* a1 (/ a2 (* b1 b2)))) (pow (* a1 (/ a2 (* b1 b2))) 3) (sqrt (* a1 (/ a2 (* b1 b2)))) (sqrt (* a1 (/ a2 (* b1 b2)))) (* a1 a2) (* a2 (/ (cbrt a1) (* b1 b2))) (* a2 (/ (sqrt a1) (* b1 b2))) (* a1 (/ a2 (* b1 b2))) (* a1 a2) (* a1 a2) (/ a2 (* b1 b2)) (log (/ a2 (* b1 b2))) (log (/ a2 (* b1 b2))) (log (/ a2 (* b1 b2))) (log (/ a2 (* b1 b2))) (log (/ a2 (* b1 b2))) (log (/ a2 (* b1 b2))) (log (/ a2 (* b1 b2))) (log (/ a2 (* b1 b2))) (exp (/ a2 (* b1 b2))) (pow (/ a2 (* b1 b2)) 3) (pow (/ a2 (* b1 b2)) 3) (pow (/ a2 (* b1 b2)) 3) (* (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2)))) (cbrt (/ a2 (* b1 b2))) (pow (/ a2 (* b1 b2)) 3) (sqrt (/ a2 (* b1 b2))) (sqrt (/ a2 (* b1 b2))) (* (sqrt a2) (sqrt (/ 1 (* b1 b2)))) (* (sqrt a2) (sqrt (/ 1 (* b1 b2)))) (* a2 (* (cbrt (/ 1 (* b1 b2))) (cbrt (/ 1 (* b1 b2))))) (* a2 (sqrt (/ 1 (* b1 b2)))) (* a2 (* (cbrt 1) (/ (cbrt 1) b1))) (/ a2 b1) (/ a2 b1) a2 a2 (/ (cbrt a2) (* b1 b2)) (/ (sqrt a2) (* b1 b2)) (/ a2 (* b1 b2)) a2 -1 -1 (neg (log (* b1 b2))) (neg (log (* b1 b2))) (neg (log (* b1 b2))) (neg (log (* b1 b2))) (neg (log (* b1 b2))) (neg (log (* b1 b2))) (neg (log (* b1 b2))) (exp (/ 1 (* b1 b2))) (/ 1 (pow (* b1 b2) 3)) (/ 1 (pow (* b1 b2) 3)) (* (cbrt (/ 1 (* b1 b2))) (cbrt (/ 1 (* b1 b2)))) (cbrt (/ 1 (* b1 b2))) (/ 1 (pow (* b1 b2) 3)) (sqrt (/ 1 (* b1 b2))) (sqrt (/ 1 (* b1 b2))) -1 (* b1 (neg b2)) (* (cbrt 1) (/ (cbrt 1) b1)) (/ (cbrt 1) b2) (/ 1 b1) (/ 1 b2) (/ 1 b1) (/ 1 b2) (/ 1 (* b1 b2)) (* b1 b2) (/ 1 b1) (* b2 (/ b1 (cbrt 1))) (* b1 b2) (* b1 b2) (* a1 (/ a2 (* b1 b2))) (* a1 (/ a2 (* b1 b2))) (* a1 (/ a2 (* b1 b2))) (/ a2 (* b1 b2)) (/ a2 (* b1 b2)) (/ a2 (* b1 b2)) (/ 1 (* b1 b2)) (/ 1 (* b1 b2)) (/ 1 (* b1 b2)) 0.311 * * * [progress]: adding candidates to table 0.364 * * [progress]: iteration 3 / 4 0.364 * * * [progress]: picking best candidate 0.385 * * * * [pick]: Picked # 0.385 * * * [progress]: localizing error 0.394 * * * [progress]: generating rewritten candidates 0.394 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 0.397 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2) 0.401 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1) 0.404 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 0.414 * * * [progress]: generating series expansions 0.414 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 0.415 * [approximate]: Taking taylor expansion of (pow (/ a2 (* b1 b2)) 1/3) in (a2 b1 b2) around 0 0.415 * [taylor]: Taking taylor expansion of (pow (/ a2 (* b1 b2)) 1/3) in b2 0.415 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a2 (* b1 b2))))) in b2 0.415 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a2 (* b1 b2)))) in b2 0.415 * [taylor]: Taking taylor expansion of 1/3 in b2 0.415 * [taylor]: Taking taylor expansion of (log (/ a2 (* b1 b2))) in b2 0.415 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b2 0.415 * [taylor]: Taking taylor expansion of a2 in b2 0.415 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.415 * [taylor]: Taking taylor expansion of b1 in b2 0.415 * [taylor]: Taking taylor expansion of b2 in b2 0.415 * [taylor]: Taking taylor expansion of (pow (/ a2 (* b1 b2)) 1/3) in b1 0.415 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a2 (* b1 b2))))) in b1 0.415 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a2 (* b1 b2)))) in b1 0.415 * [taylor]: Taking taylor expansion of 1/3 in b1 0.415 * [taylor]: Taking taylor expansion of (log (/ a2 (* b1 b2))) in b1 0.415 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b1 0.415 * [taylor]: Taking taylor expansion of a2 in b1 0.415 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.415 * [taylor]: Taking taylor expansion of b1 in b1 0.415 * [taylor]: Taking taylor expansion of b2 in b1 0.415 * [taylor]: Taking taylor expansion of (pow (/ a2 (* b1 b2)) 1/3) in a2 0.415 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a2 (* b1 b2))))) in a2 0.415 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a2 (* b1 b2)))) in a2 0.416 * [taylor]: Taking taylor expansion of 1/3 in a2 0.416 * [taylor]: Taking taylor expansion of (log (/ a2 (* b1 b2))) in a2 0.416 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2 0.416 * [taylor]: Taking taylor expansion of a2 in a2 0.416 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.416 * [taylor]: Taking taylor expansion of b1 in a2 0.416 * [taylor]: Taking taylor expansion of b2 in a2 0.416 * [taylor]: Taking taylor expansion of (pow (/ a2 (* b1 b2)) 1/3) in a2 0.416 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a2 (* b1 b2))))) in a2 0.416 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a2 (* b1 b2)))) in a2 0.416 * [taylor]: Taking taylor expansion of 1/3 in a2 0.416 * [taylor]: Taking taylor expansion of (log (/ a2 (* b1 b2))) in a2 0.416 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2 0.416 * [taylor]: Taking taylor expansion of a2 in a2 0.416 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.416 * [taylor]: Taking taylor expansion of b1 in a2 0.416 * [taylor]: Taking taylor expansion of b2 in a2 0.416 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log a2) (log (/ 1 (* b1 b2)))))) in b1 0.416 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log a2) (log (/ 1 (* b1 b2))))) in b1 0.416 * [taylor]: Taking taylor expansion of 1/3 in b1 0.416 * [taylor]: Taking taylor expansion of (+ (log a2) (log (/ 1 (* b1 b2)))) in b1 0.416 * [taylor]: Taking taylor expansion of (log a2) in b1 0.416 * [taylor]: Taking taylor expansion of a2 in b1 0.416 * [taylor]: Taking taylor expansion of (log (/ 1 (* b1 b2))) in b1 0.416 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1 0.416 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.416 * [taylor]: Taking taylor expansion of b1 in b1 0.416 * [taylor]: Taking taylor expansion of b2 in b1 0.417 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log (/ 1 b2)) (log a2)) (log b1)))) in b2 0.417 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log (/ 1 b2)) (log a2)) (log b1))) in b2 0.417 * [taylor]: Taking taylor expansion of 1/3 in b2 0.417 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 b2)) (log a2)) (log b1)) in b2 0.417 * [taylor]: Taking taylor expansion of (+ (log (/ 1 b2)) (log a2)) in b2 0.417 * [taylor]: Taking taylor expansion of (log (/ 1 b2)) in b2 0.417 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2 0.417 * [taylor]: Taking taylor expansion of b2 in b2 0.417 * [taylor]: Taking taylor expansion of (log a2) in b2 0.417 * [taylor]: Taking taylor expansion of a2 in b2 0.417 * [taylor]: Taking taylor expansion of (log b1) in b2 0.417 * [taylor]: Taking taylor expansion of b1 in b2 0.418 * [taylor]: Taking taylor expansion of 0 in b1 0.418 * [taylor]: Taking taylor expansion of 0 in b2 0.419 * [taylor]: Taking taylor expansion of 0 in b2 0.420 * [taylor]: Taking taylor expansion of 0 in b1 0.420 * [taylor]: Taking taylor expansion of 0 in b2 0.420 * [taylor]: Taking taylor expansion of 0 in b2 0.421 * [taylor]: Taking taylor expansion of 0 in b2 0.421 * [approximate]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in (a2 b1 b2) around 0 0.421 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in b2 0.421 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in b2 0.421 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in b2 0.421 * [taylor]: Taking taylor expansion of 1/3 in b2 0.421 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in b2 0.421 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b2 0.421 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.421 * [taylor]: Taking taylor expansion of b1 in b2 0.421 * [taylor]: Taking taylor expansion of b2 in b2 0.421 * [taylor]: Taking taylor expansion of a2 in b2 0.421 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in b1 0.421 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in b1 0.421 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in b1 0.421 * [taylor]: Taking taylor expansion of 1/3 in b1 0.421 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in b1 0.421 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1 0.421 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.421 * [taylor]: Taking taylor expansion of b1 in b1 0.421 * [taylor]: Taking taylor expansion of b2 in b1 0.421 * [taylor]: Taking taylor expansion of a2 in b1 0.422 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in a2 0.422 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in a2 0.422 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in a2 0.422 * [taylor]: Taking taylor expansion of 1/3 in a2 0.422 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in a2 0.422 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.422 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.422 * [taylor]: Taking taylor expansion of b1 in a2 0.422 * [taylor]: Taking taylor expansion of b2 in a2 0.422 * [taylor]: Taking taylor expansion of a2 in a2 0.422 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in a2 0.422 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in a2 0.422 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in a2 0.422 * [taylor]: Taking taylor expansion of 1/3 in a2 0.422 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in a2 0.422 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.422 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.422 * [taylor]: Taking taylor expansion of b1 in a2 0.422 * [taylor]: Taking taylor expansion of b2 in a2 0.422 * [taylor]: Taking taylor expansion of a2 in a2 0.422 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* b1 b2)) (log a2)))) in b1 0.422 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* b1 b2)) (log a2))) in b1 0.422 * [taylor]: Taking taylor expansion of 1/3 in b1 0.422 * [taylor]: Taking taylor expansion of (- (log (* b1 b2)) (log a2)) in b1 0.422 * [taylor]: Taking taylor expansion of (log (* b1 b2)) in b1 0.422 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.422 * [taylor]: Taking taylor expansion of b1 in b1 0.422 * [taylor]: Taking taylor expansion of b2 in b1 0.423 * [taylor]: Taking taylor expansion of (log a2) in b1 0.423 * [taylor]: Taking taylor expansion of a2 in b1 0.423 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log b2) (log b1)) (log a2)))) in b2 0.423 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log b2) (log b1)) (log a2))) in b2 0.423 * [taylor]: Taking taylor expansion of 1/3 in b2 0.423 * [taylor]: Taking taylor expansion of (- (+ (log b2) (log b1)) (log a2)) in b2 0.423 * [taylor]: Taking taylor expansion of (+ (log b2) (log b1)) in b2 0.423 * [taylor]: Taking taylor expansion of (log b2) in b2 0.423 * [taylor]: Taking taylor expansion of b2 in b2 0.423 * [taylor]: Taking taylor expansion of (log b1) in b2 0.423 * [taylor]: Taking taylor expansion of b1 in b2 0.423 * [taylor]: Taking taylor expansion of (log a2) in b2 0.423 * [taylor]: Taking taylor expansion of a2 in b2 0.424 * [taylor]: Taking taylor expansion of 0 in b1 0.424 * [taylor]: Taking taylor expansion of 0 in b2 0.424 * [taylor]: Taking taylor expansion of 0 in b2 0.425 * [taylor]: Taking taylor expansion of 0 in b1 0.425 * [taylor]: Taking taylor expansion of 0 in b2 0.425 * [taylor]: Taking taylor expansion of 0 in b2 0.426 * [taylor]: Taking taylor expansion of 0 in b2 0.428 * [approximate]: Taking taylor expansion of (* (pow (/ (* b1 b2) a2) 1/3) (cbrt -1)) in (a2 b1 b2) around 0 0.428 * [taylor]: Taking taylor expansion of (* (pow (/ (* b1 b2) a2) 1/3) (cbrt -1)) in b2 0.428 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in b2 0.428 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in b2 0.428 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in b2 0.428 * [taylor]: Taking taylor expansion of 1/3 in b2 0.428 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in b2 0.428 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b2 0.428 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.428 * [taylor]: Taking taylor expansion of b1 in b2 0.428 * [taylor]: Taking taylor expansion of b2 in b2 0.428 * [taylor]: Taking taylor expansion of a2 in b2 0.429 * [taylor]: Taking taylor expansion of (cbrt -1) in b2 0.429 * [taylor]: Taking taylor expansion of -1 in b2 0.429 * [taylor]: Taking taylor expansion of (* (pow (/ (* b1 b2) a2) 1/3) (cbrt -1)) in b1 0.429 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in b1 0.429 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in b1 0.429 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in b1 0.429 * [taylor]: Taking taylor expansion of 1/3 in b1 0.429 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in b1 0.429 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1 0.429 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.429 * [taylor]: Taking taylor expansion of b1 in b1 0.429 * [taylor]: Taking taylor expansion of b2 in b1 0.429 * [taylor]: Taking taylor expansion of a2 in b1 0.429 * [taylor]: Taking taylor expansion of (cbrt -1) in b1 0.429 * [taylor]: Taking taylor expansion of -1 in b1 0.429 * [taylor]: Taking taylor expansion of (* (pow (/ (* b1 b2) a2) 1/3) (cbrt -1)) in a2 0.429 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in a2 0.429 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in a2 0.429 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in a2 0.429 * [taylor]: Taking taylor expansion of 1/3 in a2 0.429 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in a2 0.429 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.429 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.430 * [taylor]: Taking taylor expansion of b1 in a2 0.430 * [taylor]: Taking taylor expansion of b2 in a2 0.430 * [taylor]: Taking taylor expansion of a2 in a2 0.430 * [taylor]: Taking taylor expansion of (cbrt -1) in a2 0.430 * [taylor]: Taking taylor expansion of -1 in a2 0.430 * [taylor]: Taking taylor expansion of (* (pow (/ (* b1 b2) a2) 1/3) (cbrt -1)) in a2 0.430 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in a2 0.430 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in a2 0.430 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in a2 0.430 * [taylor]: Taking taylor expansion of 1/3 in a2 0.430 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in a2 0.430 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.430 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.430 * [taylor]: Taking taylor expansion of b1 in a2 0.430 * [taylor]: Taking taylor expansion of b2 in a2 0.430 * [taylor]: Taking taylor expansion of a2 in a2 0.430 * [taylor]: Taking taylor expansion of (cbrt -1) in a2 0.430 * [taylor]: Taking taylor expansion of -1 in a2 0.431 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (* b1 b2)) (log a2))))) in b1 0.431 * [taylor]: Taking taylor expansion of (cbrt -1) in b1 0.431 * [taylor]: Taking taylor expansion of -1 in b1 0.431 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* b1 b2)) (log a2)))) in b1 0.431 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* b1 b2)) (log a2))) in b1 0.431 * [taylor]: Taking taylor expansion of 1/3 in b1 0.431 * [taylor]: Taking taylor expansion of (- (log (* b1 b2)) (log a2)) in b1 0.431 * [taylor]: Taking taylor expansion of (log (* b1 b2)) in b1 0.431 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.431 * [taylor]: Taking taylor expansion of b1 in b1 0.431 * [taylor]: Taking taylor expansion of b2 in b1 0.431 * [taylor]: Taking taylor expansion of (log a2) in b1 0.431 * [taylor]: Taking taylor expansion of a2 in b1 0.431 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (+ (log b2) (log b1)) (log a2))))) in b2 0.431 * [taylor]: Taking taylor expansion of (cbrt -1) in b2 0.431 * [taylor]: Taking taylor expansion of -1 in b2 0.431 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log b2) (log b1)) (log a2)))) in b2 0.431 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log b2) (log b1)) (log a2))) in b2 0.431 * [taylor]: Taking taylor expansion of 1/3 in b2 0.431 * [taylor]: Taking taylor expansion of (- (+ (log b2) (log b1)) (log a2)) in b2 0.431 * [taylor]: Taking taylor expansion of (+ (log b2) (log b1)) in b2 0.431 * [taylor]: Taking taylor expansion of (log b2) in b2 0.431 * [taylor]: Taking taylor expansion of b2 in b2 0.432 * [taylor]: Taking taylor expansion of (log b1) in b2 0.432 * [taylor]: Taking taylor expansion of b1 in b2 0.432 * [taylor]: Taking taylor expansion of (log a2) in b2 0.432 * [taylor]: Taking taylor expansion of a2 in b2 0.433 * [taylor]: Taking taylor expansion of 0 in b1 0.433 * [taylor]: Taking taylor expansion of 0 in b2 0.433 * [taylor]: Taking taylor expansion of 0 in b2 0.435 * [taylor]: Taking taylor expansion of 0 in b1 0.435 * [taylor]: Taking taylor expansion of 0 in b2 0.435 * [taylor]: Taking taylor expansion of 0 in b2 0.436 * [taylor]: Taking taylor expansion of 0 in b2 0.436 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2) 0.436 * [approximate]: Taking taylor expansion of (pow (/ a2 (* b1 b2)) 1/3) in (a2 b1 b2) around 0 0.436 * [taylor]: Taking taylor expansion of (pow (/ a2 (* b1 b2)) 1/3) in b2 0.436 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a2 (* b1 b2))))) in b2 0.436 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a2 (* b1 b2)))) in b2 0.436 * [taylor]: Taking taylor expansion of 1/3 in b2 0.436 * [taylor]: Taking taylor expansion of (log (/ a2 (* b1 b2))) in b2 0.436 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b2 0.436 * [taylor]: Taking taylor expansion of a2 in b2 0.436 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.436 * [taylor]: Taking taylor expansion of b1 in b2 0.436 * [taylor]: Taking taylor expansion of b2 in b2 0.437 * [taylor]: Taking taylor expansion of (pow (/ a2 (* b1 b2)) 1/3) in b1 0.437 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a2 (* b1 b2))))) in b1 0.437 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a2 (* b1 b2)))) in b1 0.437 * [taylor]: Taking taylor expansion of 1/3 in b1 0.437 * [taylor]: Taking taylor expansion of (log (/ a2 (* b1 b2))) in b1 0.437 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b1 0.437 * [taylor]: Taking taylor expansion of a2 in b1 0.437 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.437 * [taylor]: Taking taylor expansion of b1 in b1 0.437 * [taylor]: Taking taylor expansion of b2 in b1 0.437 * [taylor]: Taking taylor expansion of (pow (/ a2 (* b1 b2)) 1/3) in a2 0.437 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a2 (* b1 b2))))) in a2 0.437 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a2 (* b1 b2)))) in a2 0.437 * [taylor]: Taking taylor expansion of 1/3 in a2 0.437 * [taylor]: Taking taylor expansion of (log (/ a2 (* b1 b2))) in a2 0.437 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2 0.437 * [taylor]: Taking taylor expansion of a2 in a2 0.437 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.437 * [taylor]: Taking taylor expansion of b1 in a2 0.437 * [taylor]: Taking taylor expansion of b2 in a2 0.437 * [taylor]: Taking taylor expansion of (pow (/ a2 (* b1 b2)) 1/3) in a2 0.437 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a2 (* b1 b2))))) in a2 0.437 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a2 (* b1 b2)))) in a2 0.437 * [taylor]: Taking taylor expansion of 1/3 in a2 0.437 * [taylor]: Taking taylor expansion of (log (/ a2 (* b1 b2))) in a2 0.437 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2 0.437 * [taylor]: Taking taylor expansion of a2 in a2 0.437 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.437 * [taylor]: Taking taylor expansion of b1 in a2 0.437 * [taylor]: Taking taylor expansion of b2 in a2 0.438 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log a2) (log (/ 1 (* b1 b2)))))) in b1 0.438 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log a2) (log (/ 1 (* b1 b2))))) in b1 0.438 * [taylor]: Taking taylor expansion of 1/3 in b1 0.438 * [taylor]: Taking taylor expansion of (+ (log a2) (log (/ 1 (* b1 b2)))) in b1 0.438 * [taylor]: Taking taylor expansion of (log a2) in b1 0.438 * [taylor]: Taking taylor expansion of a2 in b1 0.438 * [taylor]: Taking taylor expansion of (log (/ 1 (* b1 b2))) in b1 0.438 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1 0.438 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.438 * [taylor]: Taking taylor expansion of b1 in b1 0.438 * [taylor]: Taking taylor expansion of b2 in b1 0.438 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log (/ 1 b2)) (log a2)) (log b1)))) in b2 0.438 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log (/ 1 b2)) (log a2)) (log b1))) in b2 0.438 * [taylor]: Taking taylor expansion of 1/3 in b2 0.438 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 b2)) (log a2)) (log b1)) in b2 0.438 * [taylor]: Taking taylor expansion of (+ (log (/ 1 b2)) (log a2)) in b2 0.438 * [taylor]: Taking taylor expansion of (log (/ 1 b2)) in b2 0.438 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2 0.438 * [taylor]: Taking taylor expansion of b2 in b2 0.438 * [taylor]: Taking taylor expansion of (log a2) in b2 0.438 * [taylor]: Taking taylor expansion of a2 in b2 0.438 * [taylor]: Taking taylor expansion of (log b1) in b2 0.438 * [taylor]: Taking taylor expansion of b1 in b2 0.439 * [taylor]: Taking taylor expansion of 0 in b1 0.439 * [taylor]: Taking taylor expansion of 0 in b2 0.440 * [taylor]: Taking taylor expansion of 0 in b2 0.441 * [taylor]: Taking taylor expansion of 0 in b1 0.441 * [taylor]: Taking taylor expansion of 0 in b2 0.441 * [taylor]: Taking taylor expansion of 0 in b2 0.442 * [taylor]: Taking taylor expansion of 0 in b2 0.442 * [approximate]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in (a2 b1 b2) around 0 0.442 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in b2 0.442 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in b2 0.442 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in b2 0.442 * [taylor]: Taking taylor expansion of 1/3 in b2 0.442 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in b2 0.442 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b2 0.442 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.442 * [taylor]: Taking taylor expansion of b1 in b2 0.442 * [taylor]: Taking taylor expansion of b2 in b2 0.442 * [taylor]: Taking taylor expansion of a2 in b2 0.442 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in b1 0.442 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in b1 0.442 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in b1 0.442 * [taylor]: Taking taylor expansion of 1/3 in b1 0.442 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in b1 0.442 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1 0.443 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.443 * [taylor]: Taking taylor expansion of b1 in b1 0.443 * [taylor]: Taking taylor expansion of b2 in b1 0.443 * [taylor]: Taking taylor expansion of a2 in b1 0.443 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in a2 0.443 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in a2 0.443 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in a2 0.443 * [taylor]: Taking taylor expansion of 1/3 in a2 0.443 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in a2 0.443 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.443 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.443 * [taylor]: Taking taylor expansion of b1 in a2 0.443 * [taylor]: Taking taylor expansion of b2 in a2 0.443 * [taylor]: Taking taylor expansion of a2 in a2 0.443 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in a2 0.443 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in a2 0.443 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in a2 0.443 * [taylor]: Taking taylor expansion of 1/3 in a2 0.443 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in a2 0.443 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.443 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.443 * [taylor]: Taking taylor expansion of b1 in a2 0.443 * [taylor]: Taking taylor expansion of b2 in a2 0.443 * [taylor]: Taking taylor expansion of a2 in a2 0.444 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* b1 b2)) (log a2)))) in b1 0.444 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* b1 b2)) (log a2))) in b1 0.444 * [taylor]: Taking taylor expansion of 1/3 in b1 0.444 * [taylor]: Taking taylor expansion of (- (log (* b1 b2)) (log a2)) in b1 0.444 * [taylor]: Taking taylor expansion of (log (* b1 b2)) in b1 0.444 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.444 * [taylor]: Taking taylor expansion of b1 in b1 0.444 * [taylor]: Taking taylor expansion of b2 in b1 0.444 * [taylor]: Taking taylor expansion of (log a2) in b1 0.444 * [taylor]: Taking taylor expansion of a2 in b1 0.444 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log b2) (log b1)) (log a2)))) in b2 0.444 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log b2) (log b1)) (log a2))) in b2 0.444 * [taylor]: Taking taylor expansion of 1/3 in b2 0.444 * [taylor]: Taking taylor expansion of (- (+ (log b2) (log b1)) (log a2)) in b2 0.444 * [taylor]: Taking taylor expansion of (+ (log b2) (log b1)) in b2 0.444 * [taylor]: Taking taylor expansion of (log b2) in b2 0.444 * [taylor]: Taking taylor expansion of b2 in b2 0.444 * [taylor]: Taking taylor expansion of (log b1) in b2 0.444 * [taylor]: Taking taylor expansion of b1 in b2 0.444 * [taylor]: Taking taylor expansion of (log a2) in b2 0.444 * [taylor]: Taking taylor expansion of a2 in b2 0.445 * [taylor]: Taking taylor expansion of 0 in b1 0.445 * [taylor]: Taking taylor expansion of 0 in b2 0.445 * [taylor]: Taking taylor expansion of 0 in b2 0.446 * [taylor]: Taking taylor expansion of 0 in b1 0.446 * [taylor]: Taking taylor expansion of 0 in b2 0.447 * [taylor]: Taking taylor expansion of 0 in b2 0.447 * [taylor]: Taking taylor expansion of 0 in b2 0.447 * [approximate]: Taking taylor expansion of (* (pow (/ (* b1 b2) a2) 1/3) (cbrt -1)) in (a2 b1 b2) around 0 0.447 * [taylor]: Taking taylor expansion of (* (pow (/ (* b1 b2) a2) 1/3) (cbrt -1)) in b2 0.447 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in b2 0.447 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in b2 0.448 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in b2 0.448 * [taylor]: Taking taylor expansion of 1/3 in b2 0.448 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in b2 0.448 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b2 0.448 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.448 * [taylor]: Taking taylor expansion of b1 in b2 0.448 * [taylor]: Taking taylor expansion of b2 in b2 0.448 * [taylor]: Taking taylor expansion of a2 in b2 0.448 * [taylor]: Taking taylor expansion of (cbrt -1) in b2 0.448 * [taylor]: Taking taylor expansion of -1 in b2 0.448 * [taylor]: Taking taylor expansion of (* (pow (/ (* b1 b2) a2) 1/3) (cbrt -1)) in b1 0.448 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in b1 0.448 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in b1 0.448 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in b1 0.448 * [taylor]: Taking taylor expansion of 1/3 in b1 0.448 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in b1 0.448 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1 0.448 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.448 * [taylor]: Taking taylor expansion of b1 in b1 0.448 * [taylor]: Taking taylor expansion of b2 in b1 0.448 * [taylor]: Taking taylor expansion of a2 in b1 0.448 * [taylor]: Taking taylor expansion of (cbrt -1) in b1 0.448 * [taylor]: Taking taylor expansion of -1 in b1 0.449 * [taylor]: Taking taylor expansion of (* (pow (/ (* b1 b2) a2) 1/3) (cbrt -1)) in a2 0.449 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in a2 0.449 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in a2 0.449 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in a2 0.449 * [taylor]: Taking taylor expansion of 1/3 in a2 0.449 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in a2 0.449 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.449 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.449 * [taylor]: Taking taylor expansion of b1 in a2 0.449 * [taylor]: Taking taylor expansion of b2 in a2 0.449 * [taylor]: Taking taylor expansion of a2 in a2 0.449 * [taylor]: Taking taylor expansion of (cbrt -1) in a2 0.449 * [taylor]: Taking taylor expansion of -1 in a2 0.449 * [taylor]: Taking taylor expansion of (* (pow (/ (* b1 b2) a2) 1/3) (cbrt -1)) in a2 0.449 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in a2 0.449 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in a2 0.449 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in a2 0.449 * [taylor]: Taking taylor expansion of 1/3 in a2 0.449 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in a2 0.449 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.449 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.449 * [taylor]: Taking taylor expansion of b1 in a2 0.449 * [taylor]: Taking taylor expansion of b2 in a2 0.449 * [taylor]: Taking taylor expansion of a2 in a2 0.449 * [taylor]: Taking taylor expansion of (cbrt -1) in a2 0.449 * [taylor]: Taking taylor expansion of -1 in a2 0.450 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (* b1 b2)) (log a2))))) in b1 0.450 * [taylor]: Taking taylor expansion of (cbrt -1) in b1 0.450 * [taylor]: Taking taylor expansion of -1 in b1 0.450 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* b1 b2)) (log a2)))) in b1 0.450 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* b1 b2)) (log a2))) in b1 0.450 * [taylor]: Taking taylor expansion of 1/3 in b1 0.450 * [taylor]: Taking taylor expansion of (- (log (* b1 b2)) (log a2)) in b1 0.450 * [taylor]: Taking taylor expansion of (log (* b1 b2)) in b1 0.450 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.450 * [taylor]: Taking taylor expansion of b1 in b1 0.450 * [taylor]: Taking taylor expansion of b2 in b1 0.450 * [taylor]: Taking taylor expansion of (log a2) in b1 0.450 * [taylor]: Taking taylor expansion of a2 in b1 0.450 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (+ (log b2) (log b1)) (log a2))))) in b2 0.450 * [taylor]: Taking taylor expansion of (cbrt -1) in b2 0.450 * [taylor]: Taking taylor expansion of -1 in b2 0.450 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log b2) (log b1)) (log a2)))) in b2 0.450 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log b2) (log b1)) (log a2))) in b2 0.451 * [taylor]: Taking taylor expansion of 1/3 in b2 0.451 * [taylor]: Taking taylor expansion of (- (+ (log b2) (log b1)) (log a2)) in b2 0.451 * [taylor]: Taking taylor expansion of (+ (log b2) (log b1)) in b2 0.451 * [taylor]: Taking taylor expansion of (log b2) in b2 0.451 * [taylor]: Taking taylor expansion of b2 in b2 0.451 * [taylor]: Taking taylor expansion of (log b1) in b2 0.451 * [taylor]: Taking taylor expansion of b1 in b2 0.451 * [taylor]: Taking taylor expansion of (log a2) in b2 0.451 * [taylor]: Taking taylor expansion of a2 in b2 0.452 * [taylor]: Taking taylor expansion of 0 in b1 0.452 * [taylor]: Taking taylor expansion of 0 in b2 0.452 * [taylor]: Taking taylor expansion of 0 in b2 0.454 * [taylor]: Taking taylor expansion of 0 in b1 0.454 * [taylor]: Taking taylor expansion of 0 in b2 0.454 * [taylor]: Taking taylor expansion of 0 in b2 0.455 * [taylor]: Taking taylor expansion of 0 in b2 0.455 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1) 0.455 * [approximate]: Taking taylor expansion of (pow (/ a2 (* b1 b2)) 1/3) in (a2 b1 b2) around 0 0.455 * [taylor]: Taking taylor expansion of (pow (/ a2 (* b1 b2)) 1/3) in b2 0.455 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a2 (* b1 b2))))) in b2 0.455 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a2 (* b1 b2)))) in b2 0.455 * [taylor]: Taking taylor expansion of 1/3 in b2 0.455 * [taylor]: Taking taylor expansion of (log (/ a2 (* b1 b2))) in b2 0.455 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b2 0.455 * [taylor]: Taking taylor expansion of a2 in b2 0.455 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.455 * [taylor]: Taking taylor expansion of b1 in b2 0.455 * [taylor]: Taking taylor expansion of b2 in b2 0.455 * [taylor]: Taking taylor expansion of (pow (/ a2 (* b1 b2)) 1/3) in b1 0.455 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a2 (* b1 b2))))) in b1 0.455 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a2 (* b1 b2)))) in b1 0.455 * [taylor]: Taking taylor expansion of 1/3 in b1 0.455 * [taylor]: Taking taylor expansion of (log (/ a2 (* b1 b2))) in b1 0.455 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b1 0.455 * [taylor]: Taking taylor expansion of a2 in b1 0.455 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.456 * [taylor]: Taking taylor expansion of b1 in b1 0.456 * [taylor]: Taking taylor expansion of b2 in b1 0.456 * [taylor]: Taking taylor expansion of (pow (/ a2 (* b1 b2)) 1/3) in a2 0.456 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a2 (* b1 b2))))) in a2 0.456 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a2 (* b1 b2)))) in a2 0.456 * [taylor]: Taking taylor expansion of 1/3 in a2 0.456 * [taylor]: Taking taylor expansion of (log (/ a2 (* b1 b2))) in a2 0.456 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2 0.456 * [taylor]: Taking taylor expansion of a2 in a2 0.456 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.456 * [taylor]: Taking taylor expansion of b1 in a2 0.456 * [taylor]: Taking taylor expansion of b2 in a2 0.456 * [taylor]: Taking taylor expansion of (pow (/ a2 (* b1 b2)) 1/3) in a2 0.456 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a2 (* b1 b2))))) in a2 0.456 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a2 (* b1 b2)))) in a2 0.456 * [taylor]: Taking taylor expansion of 1/3 in a2 0.456 * [taylor]: Taking taylor expansion of (log (/ a2 (* b1 b2))) in a2 0.456 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2 0.456 * [taylor]: Taking taylor expansion of a2 in a2 0.456 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.456 * [taylor]: Taking taylor expansion of b1 in a2 0.456 * [taylor]: Taking taylor expansion of b2 in a2 0.457 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log a2) (log (/ 1 (* b1 b2)))))) in b1 0.457 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log a2) (log (/ 1 (* b1 b2))))) in b1 0.457 * [taylor]: Taking taylor expansion of 1/3 in b1 0.457 * [taylor]: Taking taylor expansion of (+ (log a2) (log (/ 1 (* b1 b2)))) in b1 0.457 * [taylor]: Taking taylor expansion of (log a2) in b1 0.457 * [taylor]: Taking taylor expansion of a2 in b1 0.457 * [taylor]: Taking taylor expansion of (log (/ 1 (* b1 b2))) in b1 0.457 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1 0.457 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.457 * [taylor]: Taking taylor expansion of b1 in b1 0.457 * [taylor]: Taking taylor expansion of b2 in b1 0.457 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log (/ 1 b2)) (log a2)) (log b1)))) in b2 0.457 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log (/ 1 b2)) (log a2)) (log b1))) in b2 0.457 * [taylor]: Taking taylor expansion of 1/3 in b2 0.457 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 b2)) (log a2)) (log b1)) in b2 0.457 * [taylor]: Taking taylor expansion of (+ (log (/ 1 b2)) (log a2)) in b2 0.457 * [taylor]: Taking taylor expansion of (log (/ 1 b2)) in b2 0.457 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2 0.457 * [taylor]: Taking taylor expansion of b2 in b2 0.457 * [taylor]: Taking taylor expansion of (log a2) in b2 0.457 * [taylor]: Taking taylor expansion of a2 in b2 0.457 * [taylor]: Taking taylor expansion of (log b1) in b2 0.457 * [taylor]: Taking taylor expansion of b1 in b2 0.458 * [taylor]: Taking taylor expansion of 0 in b1 0.458 * [taylor]: Taking taylor expansion of 0 in b2 0.459 * [taylor]: Taking taylor expansion of 0 in b2 0.460 * [taylor]: Taking taylor expansion of 0 in b1 0.460 * [taylor]: Taking taylor expansion of 0 in b2 0.460 * [taylor]: Taking taylor expansion of 0 in b2 0.461 * [taylor]: Taking taylor expansion of 0 in b2 0.461 * [approximate]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in (a2 b1 b2) around 0 0.461 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in b2 0.461 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in b2 0.461 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in b2 0.461 * [taylor]: Taking taylor expansion of 1/3 in b2 0.461 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in b2 0.461 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b2 0.461 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.461 * [taylor]: Taking taylor expansion of b1 in b2 0.461 * [taylor]: Taking taylor expansion of b2 in b2 0.461 * [taylor]: Taking taylor expansion of a2 in b2 0.461 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in b1 0.461 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in b1 0.461 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in b1 0.461 * [taylor]: Taking taylor expansion of 1/3 in b1 0.461 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in b1 0.461 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1 0.461 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.461 * [taylor]: Taking taylor expansion of b1 in b1 0.461 * [taylor]: Taking taylor expansion of b2 in b1 0.461 * [taylor]: Taking taylor expansion of a2 in b1 0.462 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in a2 0.462 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in a2 0.462 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in a2 0.462 * [taylor]: Taking taylor expansion of 1/3 in a2 0.462 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in a2 0.462 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.462 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.462 * [taylor]: Taking taylor expansion of b1 in a2 0.462 * [taylor]: Taking taylor expansion of b2 in a2 0.462 * [taylor]: Taking taylor expansion of a2 in a2 0.462 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in a2 0.462 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in a2 0.462 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in a2 0.462 * [taylor]: Taking taylor expansion of 1/3 in a2 0.462 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in a2 0.462 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.462 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.462 * [taylor]: Taking taylor expansion of b1 in a2 0.462 * [taylor]: Taking taylor expansion of b2 in a2 0.462 * [taylor]: Taking taylor expansion of a2 in a2 0.462 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* b1 b2)) (log a2)))) in b1 0.462 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* b1 b2)) (log a2))) in b1 0.462 * [taylor]: Taking taylor expansion of 1/3 in b1 0.462 * [taylor]: Taking taylor expansion of (- (log (* b1 b2)) (log a2)) in b1 0.462 * [taylor]: Taking taylor expansion of (log (* b1 b2)) in b1 0.462 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.462 * [taylor]: Taking taylor expansion of b1 in b1 0.462 * [taylor]: Taking taylor expansion of b2 in b1 0.463 * [taylor]: Taking taylor expansion of (log a2) in b1 0.463 * [taylor]: Taking taylor expansion of a2 in b1 0.463 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log b2) (log b1)) (log a2)))) in b2 0.463 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log b2) (log b1)) (log a2))) in b2 0.463 * [taylor]: Taking taylor expansion of 1/3 in b2 0.463 * [taylor]: Taking taylor expansion of (- (+ (log b2) (log b1)) (log a2)) in b2 0.463 * [taylor]: Taking taylor expansion of (+ (log b2) (log b1)) in b2 0.463 * [taylor]: Taking taylor expansion of (log b2) in b2 0.463 * [taylor]: Taking taylor expansion of b2 in b2 0.463 * [taylor]: Taking taylor expansion of (log b1) in b2 0.463 * [taylor]: Taking taylor expansion of b1 in b2 0.463 * [taylor]: Taking taylor expansion of (log a2) in b2 0.463 * [taylor]: Taking taylor expansion of a2 in b2 0.464 * [taylor]: Taking taylor expansion of 0 in b1 0.464 * [taylor]: Taking taylor expansion of 0 in b2 0.464 * [taylor]: Taking taylor expansion of 0 in b2 0.465 * [taylor]: Taking taylor expansion of 0 in b1 0.465 * [taylor]: Taking taylor expansion of 0 in b2 0.465 * [taylor]: Taking taylor expansion of 0 in b2 0.466 * [taylor]: Taking taylor expansion of 0 in b2 0.466 * [approximate]: Taking taylor expansion of (* (pow (/ (* b1 b2) a2) 1/3) (cbrt -1)) in (a2 b1 b2) around 0 0.466 * [taylor]: Taking taylor expansion of (* (pow (/ (* b1 b2) a2) 1/3) (cbrt -1)) in b2 0.466 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in b2 0.466 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in b2 0.466 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in b2 0.466 * [taylor]: Taking taylor expansion of 1/3 in b2 0.466 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in b2 0.466 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b2 0.466 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.466 * [taylor]: Taking taylor expansion of b1 in b2 0.466 * [taylor]: Taking taylor expansion of b2 in b2 0.466 * [taylor]: Taking taylor expansion of a2 in b2 0.467 * [taylor]: Taking taylor expansion of (cbrt -1) in b2 0.467 * [taylor]: Taking taylor expansion of -1 in b2 0.467 * [taylor]: Taking taylor expansion of (* (pow (/ (* b1 b2) a2) 1/3) (cbrt -1)) in b1 0.467 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in b1 0.467 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in b1 0.467 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in b1 0.467 * [taylor]: Taking taylor expansion of 1/3 in b1 0.467 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in b1 0.467 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1 0.467 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.467 * [taylor]: Taking taylor expansion of b1 in b1 0.467 * [taylor]: Taking taylor expansion of b2 in b1 0.467 * [taylor]: Taking taylor expansion of a2 in b1 0.467 * [taylor]: Taking taylor expansion of (cbrt -1) in b1 0.467 * [taylor]: Taking taylor expansion of -1 in b1 0.467 * [taylor]: Taking taylor expansion of (* (pow (/ (* b1 b2) a2) 1/3) (cbrt -1)) in a2 0.467 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in a2 0.467 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in a2 0.467 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in a2 0.467 * [taylor]: Taking taylor expansion of 1/3 in a2 0.467 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in a2 0.467 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.467 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.467 * [taylor]: Taking taylor expansion of b1 in a2 0.468 * [taylor]: Taking taylor expansion of b2 in a2 0.468 * [taylor]: Taking taylor expansion of a2 in a2 0.468 * [taylor]: Taking taylor expansion of (cbrt -1) in a2 0.468 * [taylor]: Taking taylor expansion of -1 in a2 0.468 * [taylor]: Taking taylor expansion of (* (pow (/ (* b1 b2) a2) 1/3) (cbrt -1)) in a2 0.468 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in a2 0.468 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in a2 0.468 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in a2 0.468 * [taylor]: Taking taylor expansion of 1/3 in a2 0.468 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in a2 0.468 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.468 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.468 * [taylor]: Taking taylor expansion of b1 in a2 0.468 * [taylor]: Taking taylor expansion of b2 in a2 0.468 * [taylor]: Taking taylor expansion of a2 in a2 0.468 * [taylor]: Taking taylor expansion of (cbrt -1) in a2 0.468 * [taylor]: Taking taylor expansion of -1 in a2 0.469 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (* b1 b2)) (log a2))))) in b1 0.469 * [taylor]: Taking taylor expansion of (cbrt -1) in b1 0.469 * [taylor]: Taking taylor expansion of -1 in b1 0.469 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* b1 b2)) (log a2)))) in b1 0.469 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* b1 b2)) (log a2))) in b1 0.469 * [taylor]: Taking taylor expansion of 1/3 in b1 0.469 * [taylor]: Taking taylor expansion of (- (log (* b1 b2)) (log a2)) in b1 0.469 * [taylor]: Taking taylor expansion of (log (* b1 b2)) in b1 0.469 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.469 * [taylor]: Taking taylor expansion of b1 in b1 0.469 * [taylor]: Taking taylor expansion of b2 in b1 0.469 * [taylor]: Taking taylor expansion of (log a2) in b1 0.469 * [taylor]: Taking taylor expansion of a2 in b1 0.469 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (+ (log b2) (log b1)) (log a2))))) in b2 0.469 * [taylor]: Taking taylor expansion of (cbrt -1) in b2 0.469 * [taylor]: Taking taylor expansion of -1 in b2 0.470 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log b2) (log b1)) (log a2)))) in b2 0.470 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log b2) (log b1)) (log a2))) in b2 0.470 * [taylor]: Taking taylor expansion of 1/3 in b2 0.470 * [taylor]: Taking taylor expansion of (- (+ (log b2) (log b1)) (log a2)) in b2 0.470 * [taylor]: Taking taylor expansion of (+ (log b2) (log b1)) in b2 0.470 * [taylor]: Taking taylor expansion of (log b2) in b2 0.470 * [taylor]: Taking taylor expansion of b2 in b2 0.470 * [taylor]: Taking taylor expansion of (log b1) in b2 0.470 * [taylor]: Taking taylor expansion of b1 in b2 0.470 * [taylor]: Taking taylor expansion of (log a2) in b2 0.470 * [taylor]: Taking taylor expansion of a2 in b2 0.471 * [taylor]: Taking taylor expansion of 0 in b1 0.471 * [taylor]: Taking taylor expansion of 0 in b2 0.471 * [taylor]: Taking taylor expansion of 0 in b2 0.473 * [taylor]: Taking taylor expansion of 0 in b1 0.473 * [taylor]: Taking taylor expansion of 0 in b2 0.473 * [taylor]: Taking taylor expansion of 0 in b2 0.474 * [taylor]: Taking taylor expansion of 0 in b2 0.474 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 0.474 * [approximate]: Taking taylor expansion of (* (pow (/ (pow a2 2) (* (pow b1 2) (pow b2 2))) 1/3) a1) in (a1 a2 b1 b2) around 0 0.474 * [taylor]: Taking taylor expansion of (* (pow (/ (pow a2 2) (* (pow b1 2) (pow b2 2))) 1/3) a1) in b2 0.474 * [taylor]: Taking taylor expansion of (pow (/ (pow a2 2) (* (pow b1 2) (pow b2 2))) 1/3) in b2 0.474 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow a2 2) (* (pow b1 2) (pow b2 2)))))) in b2 0.474 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow a2 2) (* (pow b1 2) (pow b2 2))))) in b2 0.474 * [taylor]: Taking taylor expansion of 1/3 in b2 0.474 * [taylor]: Taking taylor expansion of (log (/ (pow a2 2) (* (pow b1 2) (pow b2 2)))) in b2 0.474 * [taylor]: Taking taylor expansion of (/ (pow a2 2) (* (pow b1 2) (pow b2 2))) in b2 0.474 * [taylor]: Taking taylor expansion of (pow a2 2) in b2 0.474 * [taylor]: Taking taylor expansion of a2 in b2 0.474 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in b2 0.474 * [taylor]: Taking taylor expansion of (pow b1 2) in b2 0.474 * [taylor]: Taking taylor expansion of b1 in b2 0.474 * [taylor]: Taking taylor expansion of (pow b2 2) in b2 0.474 * [taylor]: Taking taylor expansion of b2 in b2 0.475 * [taylor]: Taking taylor expansion of a1 in b2 0.475 * [taylor]: Taking taylor expansion of (* (pow (/ (pow a2 2) (* (pow b1 2) (pow b2 2))) 1/3) a1) in b1 0.475 * [taylor]: Taking taylor expansion of (pow (/ (pow a2 2) (* (pow b1 2) (pow b2 2))) 1/3) in b1 0.475 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow a2 2) (* (pow b1 2) (pow b2 2)))))) in b1 0.475 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow a2 2) (* (pow b1 2) (pow b2 2))))) in b1 0.475 * [taylor]: Taking taylor expansion of 1/3 in b1 0.475 * [taylor]: Taking taylor expansion of (log (/ (pow a2 2) (* (pow b1 2) (pow b2 2)))) in b1 0.475 * [taylor]: Taking taylor expansion of (/ (pow a2 2) (* (pow b1 2) (pow b2 2))) in b1 0.475 * [taylor]: Taking taylor expansion of (pow a2 2) in b1 0.475 * [taylor]: Taking taylor expansion of a2 in b1 0.475 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in b1 0.475 * [taylor]: Taking taylor expansion of (pow b1 2) in b1 0.475 * [taylor]: Taking taylor expansion of b1 in b1 0.475 * [taylor]: Taking taylor expansion of (pow b2 2) in b1 0.475 * [taylor]: Taking taylor expansion of b2 in b1 0.476 * [taylor]: Taking taylor expansion of a1 in b1 0.476 * [taylor]: Taking taylor expansion of (* (pow (/ (pow a2 2) (* (pow b1 2) (pow b2 2))) 1/3) a1) in a2 0.476 * [taylor]: Taking taylor expansion of (pow (/ (pow a2 2) (* (pow b1 2) (pow b2 2))) 1/3) in a2 0.476 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow a2 2) (* (pow b1 2) (pow b2 2)))))) in a2 0.476 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow a2 2) (* (pow b1 2) (pow b2 2))))) in a2 0.476 * [taylor]: Taking taylor expansion of 1/3 in a2 0.476 * [taylor]: Taking taylor expansion of (log (/ (pow a2 2) (* (pow b1 2) (pow b2 2)))) in a2 0.476 * [taylor]: Taking taylor expansion of (/ (pow a2 2) (* (pow b1 2) (pow b2 2))) in a2 0.476 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 0.476 * [taylor]: Taking taylor expansion of a2 in a2 0.476 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in a2 0.476 * [taylor]: Taking taylor expansion of (pow b1 2) in a2 0.476 * [taylor]: Taking taylor expansion of b1 in a2 0.476 * [taylor]: Taking taylor expansion of (pow b2 2) in a2 0.476 * [taylor]: Taking taylor expansion of b2 in a2 0.477 * [taylor]: Taking taylor expansion of a1 in a2 0.477 * [taylor]: Taking taylor expansion of (* (pow (/ (pow a2 2) (* (pow b1 2) (pow b2 2))) 1/3) a1) in a1 0.477 * [taylor]: Taking taylor expansion of (pow (/ (pow a2 2) (* (pow b1 2) (pow b2 2))) 1/3) in a1 0.477 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow a2 2) (* (pow b1 2) (pow b2 2)))))) in a1 0.477 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow a2 2) (* (pow b1 2) (pow b2 2))))) in a1 0.477 * [taylor]: Taking taylor expansion of 1/3 in a1 0.477 * [taylor]: Taking taylor expansion of (log (/ (pow a2 2) (* (pow b1 2) (pow b2 2)))) in a1 0.477 * [taylor]: Taking taylor expansion of (/ (pow a2 2) (* (pow b1 2) (pow b2 2))) in a1 0.477 * [taylor]: Taking taylor expansion of (pow a2 2) in a1 0.477 * [taylor]: Taking taylor expansion of a2 in a1 0.477 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in a1 0.477 * [taylor]: Taking taylor expansion of (pow b1 2) in a1 0.477 * [taylor]: Taking taylor expansion of b1 in a1 0.477 * [taylor]: Taking taylor expansion of (pow b2 2) in a1 0.477 * [taylor]: Taking taylor expansion of b2 in a1 0.478 * [taylor]: Taking taylor expansion of a1 in a1 0.478 * [taylor]: Taking taylor expansion of (* (pow (/ (pow a2 2) (* (pow b1 2) (pow b2 2))) 1/3) a1) in a1 0.478 * [taylor]: Taking taylor expansion of (pow (/ (pow a2 2) (* (pow b1 2) (pow b2 2))) 1/3) in a1 0.478 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow a2 2) (* (pow b1 2) (pow b2 2)))))) in a1 0.478 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow a2 2) (* (pow b1 2) (pow b2 2))))) in a1 0.478 * [taylor]: Taking taylor expansion of 1/3 in a1 0.478 * [taylor]: Taking taylor expansion of (log (/ (pow a2 2) (* (pow b1 2) (pow b2 2)))) in a1 0.478 * [taylor]: Taking taylor expansion of (/ (pow a2 2) (* (pow b1 2) (pow b2 2))) in a1 0.478 * [taylor]: Taking taylor expansion of (pow a2 2) in a1 0.478 * [taylor]: Taking taylor expansion of a2 in a1 0.478 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in a1 0.478 * [taylor]: Taking taylor expansion of (pow b1 2) in a1 0.478 * [taylor]: Taking taylor expansion of b1 in a1 0.478 * [taylor]: Taking taylor expansion of (pow b2 2) in a1 0.478 * [taylor]: Taking taylor expansion of b2 in a1 0.479 * [taylor]: Taking taylor expansion of a1 in a1 0.479 * [taylor]: Taking taylor expansion of 0 in a2 0.479 * [taylor]: Taking taylor expansion of 0 in b1 0.479 * [taylor]: Taking taylor expansion of 0 in b2 0.480 * [taylor]: Taking taylor expansion of (pow (/ (pow a2 2) (* (pow b1 2) (pow b2 2))) 1/3) in a2 0.480 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow a2 2) (* (pow b1 2) (pow b2 2)))))) in a2 0.480 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow a2 2) (* (pow b1 2) (pow b2 2))))) in a2 0.480 * [taylor]: Taking taylor expansion of 1/3 in a2 0.480 * [taylor]: Taking taylor expansion of (log (/ (pow a2 2) (* (pow b1 2) (pow b2 2)))) in a2 0.480 * [taylor]: Taking taylor expansion of (/ (pow a2 2) (* (pow b1 2) (pow b2 2))) in a2 0.480 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 0.480 * [taylor]: Taking taylor expansion of a2 in a2 0.480 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in a2 0.480 * [taylor]: Taking taylor expansion of (pow b1 2) in a2 0.480 * [taylor]: Taking taylor expansion of b1 in a2 0.480 * [taylor]: Taking taylor expansion of (pow b2 2) in a2 0.480 * [taylor]: Taking taylor expansion of b2 in a2 0.481 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (/ 1 (* (pow b1 2) (pow b2 2)))) (* 2 (log a2))))) in b1 0.481 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (/ 1 (* (pow b1 2) (pow b2 2)))) (* 2 (log a2)))) in b1 0.481 * [taylor]: Taking taylor expansion of 1/3 in b1 0.481 * [taylor]: Taking taylor expansion of (+ (log (/ 1 (* (pow b1 2) (pow b2 2)))) (* 2 (log a2))) in b1 0.481 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow b1 2) (pow b2 2)))) in b1 0.481 * [taylor]: Taking taylor expansion of (/ 1 (* (pow b1 2) (pow b2 2))) in b1 0.481 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in b1 0.481 * [taylor]: Taking taylor expansion of (pow b1 2) in b1 0.481 * [taylor]: Taking taylor expansion of b1 in b1 0.481 * [taylor]: Taking taylor expansion of (pow b2 2) in b1 0.481 * [taylor]: Taking taylor expansion of b2 in b1 0.481 * [taylor]: Taking taylor expansion of (* 2 (log a2)) in b1 0.481 * [taylor]: Taking taylor expansion of 2 in b1 0.481 * [taylor]: Taking taylor expansion of (log a2) in b1 0.481 * [taylor]: Taking taylor expansion of a2 in b1 0.482 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log (/ 1 (pow b2 2))) (* 2 (log a2))) (* 2 (log b1))))) in b2 0.482 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log (/ 1 (pow b2 2))) (* 2 (log a2))) (* 2 (log b1)))) in b2 0.482 * [taylor]: Taking taylor expansion of 1/3 in b2 0.482 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 (pow b2 2))) (* 2 (log a2))) (* 2 (log b1))) in b2 0.482 * [taylor]: Taking taylor expansion of (+ (log (/ 1 (pow b2 2))) (* 2 (log a2))) in b2 0.482 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b2 2))) in b2 0.482 * [taylor]: Taking taylor expansion of (/ 1 (pow b2 2)) in b2 0.482 * [taylor]: Taking taylor expansion of (pow b2 2) in b2 0.482 * [taylor]: Taking taylor expansion of b2 in b2 0.482 * [taylor]: Taking taylor expansion of (* 2 (log a2)) in b2 0.482 * [taylor]: Taking taylor expansion of 2 in b2 0.482 * [taylor]: Taking taylor expansion of (log a2) in b2 0.482 * [taylor]: Taking taylor expansion of a2 in b2 0.482 * [taylor]: Taking taylor expansion of (* 2 (log b1)) in b2 0.482 * [taylor]: Taking taylor expansion of 2 in b2 0.482 * [taylor]: Taking taylor expansion of (log b1) in b2 0.482 * [taylor]: Taking taylor expansion of b1 in b2 0.483 * [taylor]: Taking taylor expansion of 0 in b1 0.483 * [taylor]: Taking taylor expansion of 0 in b2 0.483 * [taylor]: Taking taylor expansion of 0 in b2 0.484 * [taylor]: Taking taylor expansion of 0 in a2 0.485 * [taylor]: Taking taylor expansion of 0 in b1 0.485 * [taylor]: Taking taylor expansion of 0 in b2 0.486 * [taylor]: Taking taylor expansion of 0 in b1 0.486 * [taylor]: Taking taylor expansion of 0 in b2 0.486 * [taylor]: Taking taylor expansion of 0 in b1 0.486 * [taylor]: Taking taylor expansion of 0 in b2 0.486 * [approximate]: Taking taylor expansion of (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) 1/3) (/ 1 a1)) in (a1 a2 b1 b2) around 0 0.486 * [taylor]: Taking taylor expansion of (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) 1/3) (/ 1 a1)) in b2 0.486 * [taylor]: Taking taylor expansion of (pow (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) 1/3) in b2 0.486 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a2 2))))) in b2 0.486 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)))) in b2 0.486 * [taylor]: Taking taylor expansion of 1/3 in b2 0.486 * [taylor]: Taking taylor expansion of (log (/ (* (pow b1 2) (pow b2 2)) (pow a2 2))) in b2 0.486 * [taylor]: Taking taylor expansion of (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) in b2 0.486 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in b2 0.486 * [taylor]: Taking taylor expansion of (pow b1 2) in b2 0.486 * [taylor]: Taking taylor expansion of b1 in b2 0.486 * [taylor]: Taking taylor expansion of (pow b2 2) in b2 0.486 * [taylor]: Taking taylor expansion of b2 in b2 0.486 * [taylor]: Taking taylor expansion of (pow a2 2) in b2 0.486 * [taylor]: Taking taylor expansion of a2 in b2 0.487 * [taylor]: Taking taylor expansion of (/ 1 a1) in b2 0.487 * [taylor]: Taking taylor expansion of a1 in b2 0.487 * [taylor]: Taking taylor expansion of (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) 1/3) (/ 1 a1)) in b1 0.487 * [taylor]: Taking taylor expansion of (pow (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) 1/3) in b1 0.487 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a2 2))))) in b1 0.487 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)))) in b1 0.487 * [taylor]: Taking taylor expansion of 1/3 in b1 0.487 * [taylor]: Taking taylor expansion of (log (/ (* (pow b1 2) (pow b2 2)) (pow a2 2))) in b1 0.487 * [taylor]: Taking taylor expansion of (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) in b1 0.487 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in b1 0.487 * [taylor]: Taking taylor expansion of (pow b1 2) in b1 0.487 * [taylor]: Taking taylor expansion of b1 in b1 0.487 * [taylor]: Taking taylor expansion of (pow b2 2) in b1 0.487 * [taylor]: Taking taylor expansion of b2 in b1 0.487 * [taylor]: Taking taylor expansion of (pow a2 2) in b1 0.487 * [taylor]: Taking taylor expansion of a2 in b1 0.488 * [taylor]: Taking taylor expansion of (/ 1 a1) in b1 0.488 * [taylor]: Taking taylor expansion of a1 in b1 0.488 * [taylor]: Taking taylor expansion of (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) 1/3) (/ 1 a1)) in a2 0.488 * [taylor]: Taking taylor expansion of (pow (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) 1/3) in a2 0.488 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a2 2))))) in a2 0.488 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)))) in a2 0.488 * [taylor]: Taking taylor expansion of 1/3 in a2 0.488 * [taylor]: Taking taylor expansion of (log (/ (* (pow b1 2) (pow b2 2)) (pow a2 2))) in a2 0.488 * [taylor]: Taking taylor expansion of (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) in a2 0.488 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in a2 0.488 * [taylor]: Taking taylor expansion of (pow b1 2) in a2 0.488 * [taylor]: Taking taylor expansion of b1 in a2 0.488 * [taylor]: Taking taylor expansion of (pow b2 2) in a2 0.488 * [taylor]: Taking taylor expansion of b2 in a2 0.488 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 0.488 * [taylor]: Taking taylor expansion of a2 in a2 0.489 * [taylor]: Taking taylor expansion of (/ 1 a1) in a2 0.489 * [taylor]: Taking taylor expansion of a1 in a2 0.489 * [taylor]: Taking taylor expansion of (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) 1/3) (/ 1 a1)) in a1 0.489 * [taylor]: Taking taylor expansion of (pow (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) 1/3) in a1 0.489 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a2 2))))) in a1 0.489 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)))) in a1 0.489 * [taylor]: Taking taylor expansion of 1/3 in a1 0.489 * [taylor]: Taking taylor expansion of (log (/ (* (pow b1 2) (pow b2 2)) (pow a2 2))) in a1 0.489 * [taylor]: Taking taylor expansion of (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) in a1 0.489 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in a1 0.489 * [taylor]: Taking taylor expansion of (pow b1 2) in a1 0.489 * [taylor]: Taking taylor expansion of b1 in a1 0.489 * [taylor]: Taking taylor expansion of (pow b2 2) in a1 0.489 * [taylor]: Taking taylor expansion of b2 in a1 0.489 * [taylor]: Taking taylor expansion of (pow a2 2) in a1 0.489 * [taylor]: Taking taylor expansion of a2 in a1 0.490 * [taylor]: Taking taylor expansion of (/ 1 a1) in a1 0.490 * [taylor]: Taking taylor expansion of a1 in a1 0.490 * [taylor]: Taking taylor expansion of (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) 1/3) (/ 1 a1)) in a1 0.490 * [taylor]: Taking taylor expansion of (pow (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) 1/3) in a1 0.490 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a2 2))))) in a1 0.490 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)))) in a1 0.490 * [taylor]: Taking taylor expansion of 1/3 in a1 0.490 * [taylor]: Taking taylor expansion of (log (/ (* (pow b1 2) (pow b2 2)) (pow a2 2))) in a1 0.490 * [taylor]: Taking taylor expansion of (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) in a1 0.490 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in a1 0.490 * [taylor]: Taking taylor expansion of (pow b1 2) in a1 0.490 * [taylor]: Taking taylor expansion of b1 in a1 0.490 * [taylor]: Taking taylor expansion of (pow b2 2) in a1 0.490 * [taylor]: Taking taylor expansion of b2 in a1 0.490 * [taylor]: Taking taylor expansion of (pow a2 2) in a1 0.490 * [taylor]: Taking taylor expansion of a2 in a1 0.491 * [taylor]: Taking taylor expansion of (/ 1 a1) in a1 0.491 * [taylor]: Taking taylor expansion of a1 in a1 0.491 * [taylor]: Taking taylor expansion of (pow (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) 1/3) in a2 0.491 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a2 2))))) in a2 0.491 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)))) in a2 0.491 * [taylor]: Taking taylor expansion of 1/3 in a2 0.491 * [taylor]: Taking taylor expansion of (log (/ (* (pow b1 2) (pow b2 2)) (pow a2 2))) in a2 0.491 * [taylor]: Taking taylor expansion of (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) in a2 0.491 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in a2 0.491 * [taylor]: Taking taylor expansion of (pow b1 2) in a2 0.491 * [taylor]: Taking taylor expansion of b1 in a2 0.491 * [taylor]: Taking taylor expansion of (pow b2 2) in a2 0.491 * [taylor]: Taking taylor expansion of b2 in a2 0.491 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 0.491 * [taylor]: Taking taylor expansion of a2 in a2 0.492 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* (pow b1 2) (pow b2 2))) (* 2 (log a2))))) in b1 0.492 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* (pow b1 2) (pow b2 2))) (* 2 (log a2)))) in b1 0.492 * [taylor]: Taking taylor expansion of 1/3 in b1 0.492 * [taylor]: Taking taylor expansion of (- (log (* (pow b1 2) (pow b2 2))) (* 2 (log a2))) in b1 0.492 * [taylor]: Taking taylor expansion of (log (* (pow b1 2) (pow b2 2))) in b1 0.492 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in b1 0.492 * [taylor]: Taking taylor expansion of (pow b1 2) in b1 0.492 * [taylor]: Taking taylor expansion of b1 in b1 0.492 * [taylor]: Taking taylor expansion of (pow b2 2) in b1 0.492 * [taylor]: Taking taylor expansion of b2 in b1 0.492 * [taylor]: Taking taylor expansion of (* 2 (log a2)) in b1 0.492 * [taylor]: Taking taylor expansion of 2 in b1 0.492 * [taylor]: Taking taylor expansion of (log a2) in b1 0.492 * [taylor]: Taking taylor expansion of a2 in b1 0.492 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log (pow b2 2)) (* 2 (log b1))) (* 2 (log a2))))) in b2 0.492 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log (pow b2 2)) (* 2 (log b1))) (* 2 (log a2)))) in b2 0.492 * [taylor]: Taking taylor expansion of 1/3 in b2 0.492 * [taylor]: Taking taylor expansion of (- (+ (log (pow b2 2)) (* 2 (log b1))) (* 2 (log a2))) in b2 0.493 * [taylor]: Taking taylor expansion of (+ (log (pow b2 2)) (* 2 (log b1))) in b2 0.493 * [taylor]: Taking taylor expansion of (log (pow b2 2)) in b2 0.493 * [taylor]: Taking taylor expansion of (pow b2 2) in b2 0.493 * [taylor]: Taking taylor expansion of b2 in b2 0.493 * [taylor]: Taking taylor expansion of (* 2 (log b1)) in b2 0.493 * [taylor]: Taking taylor expansion of 2 in b2 0.493 * [taylor]: Taking taylor expansion of (log b1) in b2 0.493 * [taylor]: Taking taylor expansion of b1 in b2 0.493 * [taylor]: Taking taylor expansion of (* 2 (log a2)) in b2 0.493 * [taylor]: Taking taylor expansion of 2 in b2 0.493 * [taylor]: Taking taylor expansion of (log a2) in b2 0.493 * [taylor]: Taking taylor expansion of a2 in b2 0.495 * [taylor]: Taking taylor expansion of 0 in a2 0.495 * [taylor]: Taking taylor expansion of 0 in b1 0.495 * [taylor]: Taking taylor expansion of 0 in b2 0.495 * [taylor]: Taking taylor expansion of 0 in b1 0.495 * [taylor]: Taking taylor expansion of 0 in b2 0.496 * [taylor]: Taking taylor expansion of 0 in b2 0.498 * [taylor]: Taking taylor expansion of 0 in a2 0.498 * [taylor]: Taking taylor expansion of 0 in b1 0.498 * [taylor]: Taking taylor expansion of 0 in b2 0.499 * [taylor]: Taking taylor expansion of 0 in b1 0.499 * [taylor]: Taking taylor expansion of 0 in b2 0.499 * [approximate]: Taking taylor expansion of (* -1 (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) 1/3) (/ (pow (cbrt -1) 2) a1))) in (a1 a2 b1 b2) around 0 0.499 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) 1/3) (/ (pow (cbrt -1) 2) a1))) in b2 0.499 * [taylor]: Taking taylor expansion of -1 in b2 0.499 * [taylor]: Taking taylor expansion of (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) 1/3) (/ (pow (cbrt -1) 2) a1)) in b2 0.499 * [taylor]: Taking taylor expansion of (pow (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) 1/3) in b2 0.499 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a2 2))))) in b2 0.499 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)))) in b2 0.499 * [taylor]: Taking taylor expansion of 1/3 in b2 0.499 * [taylor]: Taking taylor expansion of (log (/ (* (pow b1 2) (pow b2 2)) (pow a2 2))) in b2 0.499 * [taylor]: Taking taylor expansion of (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) in b2 0.499 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in b2 0.499 * [taylor]: Taking taylor expansion of (pow b1 2) in b2 0.499 * [taylor]: Taking taylor expansion of b1 in b2 0.499 * [taylor]: Taking taylor expansion of (pow b2 2) in b2 0.499 * [taylor]: Taking taylor expansion of b2 in b2 0.499 * [taylor]: Taking taylor expansion of (pow a2 2) in b2 0.499 * [taylor]: Taking taylor expansion of a2 in b2 0.500 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) a1) in b2 0.500 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in b2 0.500 * [taylor]: Taking taylor expansion of (cbrt -1) in b2 0.500 * [taylor]: Taking taylor expansion of -1 in b2 0.500 * [taylor]: Taking taylor expansion of a1 in b2 0.501 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) 1/3) (/ (pow (cbrt -1) 2) a1))) in b1 0.501 * [taylor]: Taking taylor expansion of -1 in b1 0.501 * [taylor]: Taking taylor expansion of (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) 1/3) (/ (pow (cbrt -1) 2) a1)) in b1 0.501 * [taylor]: Taking taylor expansion of (pow (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) 1/3) in b1 0.501 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a2 2))))) in b1 0.501 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)))) in b1 0.501 * [taylor]: Taking taylor expansion of 1/3 in b1 0.501 * [taylor]: Taking taylor expansion of (log (/ (* (pow b1 2) (pow b2 2)) (pow a2 2))) in b1 0.501 * [taylor]: Taking taylor expansion of (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) in b1 0.501 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in b1 0.501 * [taylor]: Taking taylor expansion of (pow b1 2) in b1 0.501 * [taylor]: Taking taylor expansion of b1 in b1 0.501 * [taylor]: Taking taylor expansion of (pow b2 2) in b1 0.501 * [taylor]: Taking taylor expansion of b2 in b1 0.501 * [taylor]: Taking taylor expansion of (pow a2 2) in b1 0.501 * [taylor]: Taking taylor expansion of a2 in b1 0.502 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) a1) in b1 0.502 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in b1 0.502 * [taylor]: Taking taylor expansion of (cbrt -1) in b1 0.502 * [taylor]: Taking taylor expansion of -1 in b1 0.502 * [taylor]: Taking taylor expansion of a1 in b1 0.502 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) 1/3) (/ (pow (cbrt -1) 2) a1))) in a2 0.502 * [taylor]: Taking taylor expansion of -1 in a2 0.502 * [taylor]: Taking taylor expansion of (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) 1/3) (/ (pow (cbrt -1) 2) a1)) in a2 0.502 * [taylor]: Taking taylor expansion of (pow (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) 1/3) in a2 0.502 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a2 2))))) in a2 0.502 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)))) in a2 0.502 * [taylor]: Taking taylor expansion of 1/3 in a2 0.502 * [taylor]: Taking taylor expansion of (log (/ (* (pow b1 2) (pow b2 2)) (pow a2 2))) in a2 0.502 * [taylor]: Taking taylor expansion of (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) in a2 0.502 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in a2 0.502 * [taylor]: Taking taylor expansion of (pow b1 2) in a2 0.502 * [taylor]: Taking taylor expansion of b1 in a2 0.502 * [taylor]: Taking taylor expansion of (pow b2 2) in a2 0.502 * [taylor]: Taking taylor expansion of b2 in a2 0.502 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 0.502 * [taylor]: Taking taylor expansion of a2 in a2 0.503 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) a1) in a2 0.503 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in a2 0.503 * [taylor]: Taking taylor expansion of (cbrt -1) in a2 0.503 * [taylor]: Taking taylor expansion of -1 in a2 0.503 * [taylor]: Taking taylor expansion of a1 in a2 0.503 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) 1/3) (/ (pow (cbrt -1) 2) a1))) in a1 0.503 * [taylor]: Taking taylor expansion of -1 in a1 0.503 * [taylor]: Taking taylor expansion of (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) 1/3) (/ (pow (cbrt -1) 2) a1)) in a1 0.503 * [taylor]: Taking taylor expansion of (pow (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) 1/3) in a1 0.503 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a2 2))))) in a1 0.503 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)))) in a1 0.503 * [taylor]: Taking taylor expansion of 1/3 in a1 0.503 * [taylor]: Taking taylor expansion of (log (/ (* (pow b1 2) (pow b2 2)) (pow a2 2))) in a1 0.503 * [taylor]: Taking taylor expansion of (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) in a1 0.503 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in a1 0.503 * [taylor]: Taking taylor expansion of (pow b1 2) in a1 0.503 * [taylor]: Taking taylor expansion of b1 in a1 0.503 * [taylor]: Taking taylor expansion of (pow b2 2) in a1 0.503 * [taylor]: Taking taylor expansion of b2 in a1 0.503 * [taylor]: Taking taylor expansion of (pow a2 2) in a1 0.503 * [taylor]: Taking taylor expansion of a2 in a1 0.504 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) a1) in a1 0.504 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in a1 0.504 * [taylor]: Taking taylor expansion of (cbrt -1) in a1 0.504 * [taylor]: Taking taylor expansion of -1 in a1 0.504 * [taylor]: Taking taylor expansion of a1 in a1 0.504 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) 1/3) (/ (pow (cbrt -1) 2) a1))) in a1 0.504 * [taylor]: Taking taylor expansion of -1 in a1 0.505 * [taylor]: Taking taylor expansion of (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) 1/3) (/ (pow (cbrt -1) 2) a1)) in a1 0.505 * [taylor]: Taking taylor expansion of (pow (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) 1/3) in a1 0.505 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a2 2))))) in a1 0.505 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)))) in a1 0.505 * [taylor]: Taking taylor expansion of 1/3 in a1 0.505 * [taylor]: Taking taylor expansion of (log (/ (* (pow b1 2) (pow b2 2)) (pow a2 2))) in a1 0.505 * [taylor]: Taking taylor expansion of (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) in a1 0.505 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in a1 0.505 * [taylor]: Taking taylor expansion of (pow b1 2) in a1 0.505 * [taylor]: Taking taylor expansion of b1 in a1 0.505 * [taylor]: Taking taylor expansion of (pow b2 2) in a1 0.505 * [taylor]: Taking taylor expansion of b2 in a1 0.505 * [taylor]: Taking taylor expansion of (pow a2 2) in a1 0.505 * [taylor]: Taking taylor expansion of a2 in a1 0.505 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) a1) in a1 0.505 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in a1 0.505 * [taylor]: Taking taylor expansion of (cbrt -1) in a1 0.505 * [taylor]: Taking taylor expansion of -1 in a1 0.506 * [taylor]: Taking taylor expansion of a1 in a1 0.506 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) 1/3) (pow (cbrt -1) 2))) in a2 0.506 * [taylor]: Taking taylor expansion of -1 in a2 0.506 * [taylor]: Taking taylor expansion of (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) 1/3) (pow (cbrt -1) 2)) in a2 0.506 * [taylor]: Taking taylor expansion of (pow (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) 1/3) in a2 0.506 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a2 2))))) in a2 0.506 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)))) in a2 0.506 * [taylor]: Taking taylor expansion of 1/3 in a2 0.506 * [taylor]: Taking taylor expansion of (log (/ (* (pow b1 2) (pow b2 2)) (pow a2 2))) in a2 0.506 * [taylor]: Taking taylor expansion of (/ (* (pow b1 2) (pow b2 2)) (pow a2 2)) in a2 0.506 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in a2 0.506 * [taylor]: Taking taylor expansion of (pow b1 2) in a2 0.507 * [taylor]: Taking taylor expansion of b1 in a2 0.507 * [taylor]: Taking taylor expansion of (pow b2 2) in a2 0.507 * [taylor]: Taking taylor expansion of b2 in a2 0.507 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 0.507 * [taylor]: Taking taylor expansion of a2 in a2 0.507 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in a2 0.507 * [taylor]: Taking taylor expansion of (cbrt -1) in a2 0.507 * [taylor]: Taking taylor expansion of -1 in a2 0.508 * [taylor]: Taking taylor expansion of (* -1 (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log (* (pow b1 2) (pow b2 2))) (* 2 (log a2))))))) in b1 0.508 * [taylor]: Taking taylor expansion of -1 in b1 0.508 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log (* (pow b1 2) (pow b2 2))) (* 2 (log a2)))))) in b1 0.508 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in b1 0.508 * [taylor]: Taking taylor expansion of (cbrt -1) in b1 0.508 * [taylor]: Taking taylor expansion of -1 in b1 0.508 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* (pow b1 2) (pow b2 2))) (* 2 (log a2))))) in b1 0.508 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* (pow b1 2) (pow b2 2))) (* 2 (log a2)))) in b1 0.508 * [taylor]: Taking taylor expansion of 1/3 in b1 0.508 * [taylor]: Taking taylor expansion of (- (log (* (pow b1 2) (pow b2 2))) (* 2 (log a2))) in b1 0.508 * [taylor]: Taking taylor expansion of (log (* (pow b1 2) (pow b2 2))) in b1 0.508 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in b1 0.508 * [taylor]: Taking taylor expansion of (pow b1 2) in b1 0.508 * [taylor]: Taking taylor expansion of b1 in b1 0.508 * [taylor]: Taking taylor expansion of (pow b2 2) in b1 0.508 * [taylor]: Taking taylor expansion of b2 in b1 0.508 * [taylor]: Taking taylor expansion of (* 2 (log a2)) in b1 0.508 * [taylor]: Taking taylor expansion of 2 in b1 0.508 * [taylor]: Taking taylor expansion of (log a2) in b1 0.508 * [taylor]: Taking taylor expansion of a2 in b1 0.509 * [taylor]: Taking taylor expansion of (* -1 (* (pow (cbrt -1) 2) (exp (* 1/3 (- (+ (log (pow b2 2)) (* 2 (log b1))) (* 2 (log a2))))))) in b2 0.509 * [taylor]: Taking taylor expansion of -1 in b2 0.509 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (- (+ (log (pow b2 2)) (* 2 (log b1))) (* 2 (log a2)))))) in b2 0.509 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in b2 0.510 * [taylor]: Taking taylor expansion of (cbrt -1) in b2 0.510 * [taylor]: Taking taylor expansion of -1 in b2 0.510 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log (pow b2 2)) (* 2 (log b1))) (* 2 (log a2))))) in b2 0.510 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log (pow b2 2)) (* 2 (log b1))) (* 2 (log a2)))) in b2 0.510 * [taylor]: Taking taylor expansion of 1/3 in b2 0.510 * [taylor]: Taking taylor expansion of (- (+ (log (pow b2 2)) (* 2 (log b1))) (* 2 (log a2))) in b2 0.510 * [taylor]: Taking taylor expansion of (+ (log (pow b2 2)) (* 2 (log b1))) in b2 0.510 * [taylor]: Taking taylor expansion of (log (pow b2 2)) in b2 0.510 * [taylor]: Taking taylor expansion of (pow b2 2) in b2 0.510 * [taylor]: Taking taylor expansion of b2 in b2 0.510 * [taylor]: Taking taylor expansion of (* 2 (log b1)) in b2 0.510 * [taylor]: Taking taylor expansion of 2 in b2 0.510 * [taylor]: Taking taylor expansion of (log b1) in b2 0.510 * [taylor]: Taking taylor expansion of b1 in b2 0.510 * [taylor]: Taking taylor expansion of (* 2 (log a2)) in b2 0.510 * [taylor]: Taking taylor expansion of 2 in b2 0.510 * [taylor]: Taking taylor expansion of (log a2) in b2 0.510 * [taylor]: Taking taylor expansion of a2 in b2 0.513 * [taylor]: Taking taylor expansion of 0 in a2 0.513 * [taylor]: Taking taylor expansion of 0 in b1 0.513 * [taylor]: Taking taylor expansion of 0 in b2 0.514 * [taylor]: Taking taylor expansion of 0 in b1 0.514 * [taylor]: Taking taylor expansion of 0 in b2 0.516 * [taylor]: Taking taylor expansion of 0 in b2 0.519 * [taylor]: Taking taylor expansion of 0 in a2 0.519 * [taylor]: Taking taylor expansion of 0 in b1 0.519 * [taylor]: Taking taylor expansion of 0 in b2 0.519 * [taylor]: Taking taylor expansion of 0 in b1 0.519 * [taylor]: Taking taylor expansion of 0 in b2 0.520 * * * [progress]: simplifying candidates 0.522 * [simplify]: Simplifying using # : (log (cbrt (/ a2 (* b1 b2)))) (exp (cbrt (/ a2 (* b1 b2)))) (cbrt (* (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2))))) (cbrt (cbrt (/ a2 (* b1 b2)))) (cbrt (sqrt (/ a2 (* b1 b2)))) (cbrt (sqrt (/ a2 (* b1 b2)))) (cbrt (/ (* (cbrt a2) (cbrt a2)) b1)) (cbrt (/ (cbrt a2) b2)) (cbrt (/ (sqrt a2) b1)) (cbrt (/ (sqrt a2) b2)) (cbrt (/ 1 b1)) (cbrt (/ a2 b2)) (cbrt 1) (cbrt (/ a2 (* b1 b2))) (cbrt a2) (cbrt (/ 1 (* b1 b2))) (cbrt a2) (cbrt (* b1 b2)) (* (cbrt (cbrt (/ a2 (* b1 b2)))) (cbrt (cbrt (/ a2 (* b1 b2))))) (cbrt (cbrt (/ a2 (* b1 b2)))) (* (* (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2)))) (cbrt (/ a2 (* b1 b2)))) (sqrt (cbrt (/ a2 (* b1 b2)))) (sqrt (cbrt (/ a2 (* b1 b2)))) (log (cbrt (/ a2 (* b1 b2)))) (exp (cbrt (/ a2 (* b1 b2)))) (cbrt (* (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2))))) (cbrt (cbrt (/ a2 (* b1 b2)))) (cbrt (sqrt (/ a2 (* b1 b2)))) (cbrt (sqrt (/ a2 (* b1 b2)))) (cbrt (/ (* (cbrt a2) (cbrt a2)) b1)) (cbrt (/ (cbrt a2) b2)) (cbrt (/ (sqrt a2) b1)) (cbrt (/ (sqrt a2) b2)) (cbrt (/ 1 b1)) (cbrt (/ a2 b2)) (cbrt 1) (cbrt (/ a2 (* b1 b2))) (cbrt a2) (cbrt (/ 1 (* b1 b2))) (cbrt a2) (cbrt (* b1 b2)) (* (cbrt (cbrt (/ a2 (* b1 b2)))) (cbrt (cbrt (/ a2 (* b1 b2))))) (cbrt (cbrt (/ a2 (* b1 b2)))) (* (* (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2)))) (cbrt (/ a2 (* b1 b2)))) (sqrt (cbrt (/ a2 (* b1 b2)))) (sqrt (cbrt (/ a2 (* b1 b2)))) (log (cbrt (/ a2 (* b1 b2)))) (exp (cbrt (/ a2 (* b1 b2)))) (cbrt (* (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2))))) (cbrt (cbrt (/ a2 (* b1 b2)))) (cbrt (sqrt (/ a2 (* b1 b2)))) (cbrt (sqrt (/ a2 (* b1 b2)))) (cbrt (/ (* (cbrt a2) (cbrt a2)) b1)) (cbrt (/ (cbrt a2) b2)) (cbrt (/ (sqrt a2) b1)) (cbrt (/ (sqrt a2) b2)) (cbrt (/ 1 b1)) (cbrt (/ a2 b2)) (cbrt 1) (cbrt (/ a2 (* b1 b2))) (cbrt a2) (cbrt (/ 1 (* b1 b2))) (cbrt a2) (cbrt (* b1 b2)) (* (cbrt (cbrt (/ a2 (* b1 b2)))) (cbrt (cbrt (/ a2 (* b1 b2))))) (cbrt (cbrt (/ a2 (* b1 b2)))) (* (* (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2)))) (cbrt (/ a2 (* b1 b2)))) (sqrt (cbrt (/ a2 (* b1 b2)))) (sqrt (cbrt (/ a2 (* b1 b2)))) (* a1 (* (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2))))) (* a1 (* (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2))))) (+ (log a1) (+ (log (cbrt (/ a2 (* b1 b2)))) (log (cbrt (/ a2 (* b1 b2)))))) (+ (log a1) (log (* (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2)))))) (log (* a1 (* (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2)))))) (exp (* a1 (* (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2)))))) (* (* (* a1 a1) a1) (* (/ a2 (* b1 b2)) (/ a2 (* b1 b2)))) (* (* (* a1 a1) a1) (* (* (* (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2)))) (* (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2))))) (* (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2)))))) (* (cbrt (* a1 (* (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2)))))) (cbrt (* a1 (* (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2))))))) (cbrt (* a1 (* (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2)))))) (* (* (* a1 (* (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2))))) (* a1 (* (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2)))))) (* a1 (* (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2)))))) (sqrt (* a1 (* (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2)))))) (sqrt (* a1 (* (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2)))))) (* (sqrt a1) (cbrt (/ a2 (* b1 b2)))) (* (sqrt a1) (cbrt (/ a2 (* b1 b2)))) (* a1 (cbrt (/ a2 (* b1 b2)))) (* (cbrt a1) (* (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2))))) (* (sqrt a1) (* (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2))))) (* a1 (* (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2))))) (* a1 (* (cbrt a2) (cbrt a2))) (* a1 (* (cbrt (/ a2 (* b1 b2))) (cbrt a2))) (* a1 (* (cbrt a2) (cbrt (/ a2 (* b1 b2))))) (exp (* 1/3 (- (+ (log 1) (log a2)) (+ (log b1) (log b2))))) (exp (* 1/3 (- (+ (log 1) (+ (log (/ 1 b2)) (log (/ 1 b1)))) (log (/ 1 a2))))) (* (cbrt -1) (exp (* 1/3 (- (+ (log 1) (+ (log (/ -1 b1)) (log (/ -1 b2)))) (log (/ -1 a2)))))) (exp (* 1/3 (- (+ (log 1) (log a2)) (+ (log b1) (log b2))))) (exp (* 1/3 (- (+ (log 1) (+ (log (/ 1 b2)) (log (/ 1 b1)))) (log (/ 1 a2))))) (* (cbrt -1) (exp (* 1/3 (- (+ (log 1) (+ (log (/ -1 b1)) (log (/ -1 b2)))) (log (/ -1 a2)))))) (exp (* 1/3 (- (+ (log 1) (log a2)) (+ (log b1) (log b2))))) (exp (* 1/3 (- (+ (log 1) (+ (log (/ 1 b2)) (log (/ 1 b1)))) (log (/ 1 a2))))) (* (cbrt -1) (exp (* 1/3 (- (+ (log 1) (+ (log (/ -1 b1)) (log (/ -1 b2)))) (log (/ -1 a2)))))) (* a1 (exp (* 1/3 (- (+ (log 1) (* 2 (log a2))) (+ (* 2 (log b1)) (* 2 (log b2))))))) (* a1 (exp (* 1/3 (- (+ (log 1) (+ (* 2 (log (/ 1 b2))) (* 2 (log (/ 1 b1))))) (* 2 (log (/ 1 a2))))))) (* (pow (cbrt -1) 2) (* a1 (exp (* 1/3 (- (+ (log 1) (+ (* 2 (log (/ -1 b1))) (* 2 (log (/ -1 b2))))) (* 2 (log (/ -1 a2)))))))) 0.568 * * [simplify]: iteration 0 : 5438 enodes (cost 773 ) 0.571 * [simplify]: Simplified to: (log (cbrt (/ a2 (* b1 b2)))) (exp (cbrt (/ a2 (* b1 b2)))) (cbrt (pow (cbrt (/ a2 (* b1 b2))) 2)) (cbrt (cbrt (/ a2 (* b1 b2)))) (cbrt (sqrt (/ a2 (* b1 b2)))) (cbrt (sqrt (/ a2 (* b1 b2)))) (cbrt (/ (pow a2 2/3) b1)) (cbrt (/ (cbrt a2) b2)) (cbrt (/ (sqrt a2) b1)) (cbrt (/ (sqrt a2) b2)) (cbrt (/ 1 b1)) (cbrt (/ a2 b2)) 1 (cbrt (/ a2 (* b1 b2))) (cbrt a2) (cbrt (/ 1 (* b1 b2))) (cbrt a2) (cbrt (* b1 b2)) (* (cbrt (cbrt (/ a2 (* b1 b2)))) (cbrt (cbrt (/ a2 (* b1 b2))))) (cbrt (cbrt (/ a2 (* b1 b2)))) (/ a2 (* b1 b2)) (sqrt (cbrt (/ a2 (* b1 b2)))) (sqrt (cbrt (/ a2 (* b1 b2)))) (log (cbrt (/ a2 (* b1 b2)))) (exp (cbrt (/ a2 (* b1 b2)))) (cbrt (pow (cbrt (/ a2 (* b1 b2))) 2)) (cbrt (cbrt (/ a2 (* b1 b2)))) (cbrt (sqrt (/ a2 (* b1 b2)))) (cbrt (sqrt (/ a2 (* b1 b2)))) (cbrt (/ (pow a2 2/3) b1)) (cbrt (/ (cbrt a2) b2)) (cbrt (/ (sqrt a2) b1)) (cbrt (/ (sqrt a2) b2)) (cbrt (/ 1 b1)) (cbrt (/ a2 b2)) 1 (cbrt (/ a2 (* b1 b2))) (cbrt a2) (cbrt (/ 1 (* b1 b2))) (cbrt a2) (cbrt (* b1 b2)) (* (cbrt (cbrt (/ a2 (* b1 b2)))) (cbrt (cbrt (/ a2 (* b1 b2))))) (cbrt (cbrt (/ a2 (* b1 b2)))) (/ a2 (* b1 b2)) (sqrt (cbrt (/ a2 (* b1 b2)))) (sqrt (cbrt (/ a2 (* b1 b2)))) (log (cbrt (/ a2 (* b1 b2)))) (exp (cbrt (/ a2 (* b1 b2)))) (cbrt (pow (cbrt (/ a2 (* b1 b2))) 2)) (cbrt (cbrt (/ a2 (* b1 b2)))) (cbrt (sqrt (/ a2 (* b1 b2)))) (cbrt (sqrt (/ a2 (* b1 b2)))) (cbrt (/ (pow a2 2/3) b1)) (cbrt (/ (cbrt a2) b2)) (cbrt (/ (sqrt a2) b1)) (cbrt (/ (sqrt a2) b2)) (cbrt (/ 1 b1)) (cbrt (/ a2 b2)) 1 (cbrt (/ a2 (* b1 b2))) (cbrt a2) (cbrt (/ 1 (* b1 b2))) (cbrt a2) (cbrt (* b1 b2)) (* (cbrt (cbrt (/ a2 (* b1 b2)))) (cbrt (cbrt (/ a2 (* b1 b2))))) (cbrt (cbrt (/ a2 (* b1 b2)))) (/ a2 (* b1 b2)) (sqrt (cbrt (/ a2 (* b1 b2)))) (sqrt (cbrt (/ a2 (* b1 b2)))) (* (pow (cbrt (/ a2 (* b1 b2))) 2) a1) (* (pow (cbrt (/ a2 (* b1 b2))) 2) a1) (log (* (pow (cbrt (/ a2 (* b1 b2))) 2) a1)) (log (* (pow (cbrt (/ a2 (* b1 b2))) 2) a1)) (log (* (pow (cbrt (/ a2 (* b1 b2))) 2) a1)) (pow (exp a1) (pow (cbrt (/ a2 (* b1 b2))) 2)) (* (pow a1 3) (pow (/ a2 (* b1 b2)) 2)) (* (pow a1 3) (pow (/ a2 (* b1 b2)) 2)) (* (cbrt (* (pow (cbrt (/ a2 (* b1 b2))) 2) a1)) (cbrt (* (pow (cbrt (/ a2 (* b1 b2))) 2) a1))) (cbrt (* (pow (cbrt (/ a2 (* b1 b2))) 2) a1)) (* (pow a1 3) (pow (/ a2 (* b1 b2)) 2)) (sqrt (* (pow (cbrt (/ a2 (* b1 b2))) 2) a1)) (sqrt (* (pow (cbrt (/ a2 (* b1 b2))) 2) a1)) (* (cbrt (/ a2 (* b1 b2))) (sqrt a1)) (* (cbrt (/ a2 (* b1 b2))) (sqrt a1)) (* (cbrt (/ a2 (* b1 b2))) a1) (* (pow (cbrt (/ a2 (* b1 b2))) 2) (cbrt a1)) (* (pow (cbrt (/ a2 (* b1 b2))) 2) (sqrt a1)) (* (pow (cbrt (/ a2 (* b1 b2))) 2) a1) (* (pow a2 2/3) a1) (* (cbrt (/ a2 (* b1 b2))) (* (cbrt a2) a1)) (* (cbrt (/ a2 (* b1 b2))) (* (cbrt a2) a1)) (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2))) (* (cbrt -1) (cbrt (* (/ -1 b1) (/ (exp (log (/ -1 b2))) (/ -1 a2))))) (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2))) (* (cbrt -1) (cbrt (* (/ -1 b1) (/ (exp (log (/ -1 b2))) (/ -1 a2))))) (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2))) (* (cbrt -1) (cbrt (* (/ -1 b1) (/ (exp (log (/ -1 b2))) (/ -1 a2))))) (* (pow (cbrt (/ a2 (* b1 b2))) 2) a1) (* (pow (cbrt (/ a2 (* b1 b2))) 2) a1) (* a1 (* (pow (cbrt -1) 2) (cbrt (* (* a2 a2) (* (pow (/ -1 b1) 2) (pow (/ -1 b2) 2)))))) 0.572 * * * [progress]: adding candidates to table 0.651 * * [progress]: iteration 4 / 4 0.651 * * * [progress]: picking best candidate 0.673 * * * * [pick]: Picked # 0.674 * * * [progress]: localizing error 0.692 * * * [progress]: generating rewritten candidates 0.692 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 0.696 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1) 0.699 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 1 1) 0.702 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1) 0.707 * * * [progress]: generating series expansions 0.707 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 0.707 * [approximate]: Taking taylor expansion of (pow (/ a2 (* b1 b2)) 1/3) in (a2 b1 b2) around 0 0.707 * [taylor]: Taking taylor expansion of (pow (/ a2 (* b1 b2)) 1/3) in b2 0.707 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a2 (* b1 b2))))) in b2 0.707 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a2 (* b1 b2)))) in b2 0.707 * [taylor]: Taking taylor expansion of 1/3 in b2 0.707 * [taylor]: Taking taylor expansion of (log (/ a2 (* b1 b2))) in b2 0.707 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b2 0.707 * [taylor]: Taking taylor expansion of a2 in b2 0.707 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.707 * [taylor]: Taking taylor expansion of b1 in b2 0.707 * [taylor]: Taking taylor expansion of b2 in b2 0.707 * [taylor]: Taking taylor expansion of (pow (/ a2 (* b1 b2)) 1/3) in b1 0.707 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a2 (* b1 b2))))) in b1 0.707 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a2 (* b1 b2)))) in b1 0.707 * [taylor]: Taking taylor expansion of 1/3 in b1 0.707 * [taylor]: Taking taylor expansion of (log (/ a2 (* b1 b2))) in b1 0.707 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b1 0.708 * [taylor]: Taking taylor expansion of a2 in b1 0.708 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.708 * [taylor]: Taking taylor expansion of b1 in b1 0.708 * [taylor]: Taking taylor expansion of b2 in b1 0.708 * [taylor]: Taking taylor expansion of (pow (/ a2 (* b1 b2)) 1/3) in a2 0.708 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a2 (* b1 b2))))) in a2 0.708 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a2 (* b1 b2)))) in a2 0.708 * [taylor]: Taking taylor expansion of 1/3 in a2 0.708 * [taylor]: Taking taylor expansion of (log (/ a2 (* b1 b2))) in a2 0.708 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2 0.708 * [taylor]: Taking taylor expansion of a2 in a2 0.708 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.708 * [taylor]: Taking taylor expansion of b1 in a2 0.708 * [taylor]: Taking taylor expansion of b2 in a2 0.708 * [taylor]: Taking taylor expansion of (pow (/ a2 (* b1 b2)) 1/3) in a2 0.708 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a2 (* b1 b2))))) in a2 0.708 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a2 (* b1 b2)))) in a2 0.708 * [taylor]: Taking taylor expansion of 1/3 in a2 0.708 * [taylor]: Taking taylor expansion of (log (/ a2 (* b1 b2))) in a2 0.708 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2 0.708 * [taylor]: Taking taylor expansion of a2 in a2 0.708 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.708 * [taylor]: Taking taylor expansion of b1 in a2 0.708 * [taylor]: Taking taylor expansion of b2 in a2 0.709 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log a2) (log (/ 1 (* b1 b2)))))) in b1 0.709 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log a2) (log (/ 1 (* b1 b2))))) in b1 0.709 * [taylor]: Taking taylor expansion of 1/3 in b1 0.709 * [taylor]: Taking taylor expansion of (+ (log a2) (log (/ 1 (* b1 b2)))) in b1 0.709 * [taylor]: Taking taylor expansion of (log a2) in b1 0.709 * [taylor]: Taking taylor expansion of a2 in b1 0.709 * [taylor]: Taking taylor expansion of (log (/ 1 (* b1 b2))) in b1 0.709 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1 0.709 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.709 * [taylor]: Taking taylor expansion of b1 in b1 0.709 * [taylor]: Taking taylor expansion of b2 in b1 0.709 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log (/ 1 b2)) (log a2)) (log b1)))) in b2 0.709 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log (/ 1 b2)) (log a2)) (log b1))) in b2 0.709 * [taylor]: Taking taylor expansion of 1/3 in b2 0.709 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 b2)) (log a2)) (log b1)) in b2 0.709 * [taylor]: Taking taylor expansion of (+ (log (/ 1 b2)) (log a2)) in b2 0.709 * [taylor]: Taking taylor expansion of (log (/ 1 b2)) in b2 0.709 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2 0.709 * [taylor]: Taking taylor expansion of b2 in b2 0.709 * [taylor]: Taking taylor expansion of (log a2) in b2 0.709 * [taylor]: Taking taylor expansion of a2 in b2 0.709 * [taylor]: Taking taylor expansion of (log b1) in b2 0.709 * [taylor]: Taking taylor expansion of b1 in b2 0.710 * [taylor]: Taking taylor expansion of 0 in b1 0.710 * [taylor]: Taking taylor expansion of 0 in b2 0.711 * [taylor]: Taking taylor expansion of 0 in b2 0.712 * [taylor]: Taking taylor expansion of 0 in b1 0.712 * [taylor]: Taking taylor expansion of 0 in b2 0.712 * [taylor]: Taking taylor expansion of 0 in b2 0.713 * [taylor]: Taking taylor expansion of 0 in b2 0.713 * [approximate]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in (a2 b1 b2) around 0 0.713 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in b2 0.713 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in b2 0.713 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in b2 0.713 * [taylor]: Taking taylor expansion of 1/3 in b2 0.713 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in b2 0.713 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b2 0.713 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.713 * [taylor]: Taking taylor expansion of b1 in b2 0.713 * [taylor]: Taking taylor expansion of b2 in b2 0.713 * [taylor]: Taking taylor expansion of a2 in b2 0.713 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in b1 0.713 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in b1 0.713 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in b1 0.713 * [taylor]: Taking taylor expansion of 1/3 in b1 0.713 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in b1 0.713 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1 0.713 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.713 * [taylor]: Taking taylor expansion of b1 in b1 0.713 * [taylor]: Taking taylor expansion of b2 in b1 0.713 * [taylor]: Taking taylor expansion of a2 in b1 0.714 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in a2 0.714 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in a2 0.714 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in a2 0.714 * [taylor]: Taking taylor expansion of 1/3 in a2 0.714 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in a2 0.714 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.714 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.714 * [taylor]: Taking taylor expansion of b1 in a2 0.714 * [taylor]: Taking taylor expansion of b2 in a2 0.714 * [taylor]: Taking taylor expansion of a2 in a2 0.714 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in a2 0.714 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in a2 0.714 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in a2 0.714 * [taylor]: Taking taylor expansion of 1/3 in a2 0.714 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in a2 0.714 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.714 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.714 * [taylor]: Taking taylor expansion of b1 in a2 0.714 * [taylor]: Taking taylor expansion of b2 in a2 0.714 * [taylor]: Taking taylor expansion of a2 in a2 0.714 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* b1 b2)) (log a2)))) in b1 0.714 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* b1 b2)) (log a2))) in b1 0.714 * [taylor]: Taking taylor expansion of 1/3 in b1 0.714 * [taylor]: Taking taylor expansion of (- (log (* b1 b2)) (log a2)) in b1 0.714 * [taylor]: Taking taylor expansion of (log (* b1 b2)) in b1 0.714 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.714 * [taylor]: Taking taylor expansion of b1 in b1 0.714 * [taylor]: Taking taylor expansion of b2 in b1 0.715 * [taylor]: Taking taylor expansion of (log a2) in b1 0.715 * [taylor]: Taking taylor expansion of a2 in b1 0.715 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log b2) (log b1)) (log a2)))) in b2 0.715 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log b2) (log b1)) (log a2))) in b2 0.715 * [taylor]: Taking taylor expansion of 1/3 in b2 0.715 * [taylor]: Taking taylor expansion of (- (+ (log b2) (log b1)) (log a2)) in b2 0.715 * [taylor]: Taking taylor expansion of (+ (log b2) (log b1)) in b2 0.715 * [taylor]: Taking taylor expansion of (log b2) in b2 0.715 * [taylor]: Taking taylor expansion of b2 in b2 0.715 * [taylor]: Taking taylor expansion of (log b1) in b2 0.715 * [taylor]: Taking taylor expansion of b1 in b2 0.715 * [taylor]: Taking taylor expansion of (log a2) in b2 0.715 * [taylor]: Taking taylor expansion of a2 in b2 0.716 * [taylor]: Taking taylor expansion of 0 in b1 0.716 * [taylor]: Taking taylor expansion of 0 in b2 0.716 * [taylor]: Taking taylor expansion of 0 in b2 0.717 * [taylor]: Taking taylor expansion of 0 in b1 0.717 * [taylor]: Taking taylor expansion of 0 in b2 0.717 * [taylor]: Taking taylor expansion of 0 in b2 0.718 * [taylor]: Taking taylor expansion of 0 in b2 0.718 * [approximate]: Taking taylor expansion of (* (pow (/ (* b1 b2) a2) 1/3) (cbrt -1)) in (a2 b1 b2) around 0 0.718 * [taylor]: Taking taylor expansion of (* (pow (/ (* b1 b2) a2) 1/3) (cbrt -1)) in b2 0.718 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in b2 0.718 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in b2 0.718 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in b2 0.718 * [taylor]: Taking taylor expansion of 1/3 in b2 0.718 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in b2 0.718 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b2 0.718 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.718 * [taylor]: Taking taylor expansion of b1 in b2 0.718 * [taylor]: Taking taylor expansion of b2 in b2 0.718 * [taylor]: Taking taylor expansion of a2 in b2 0.719 * [taylor]: Taking taylor expansion of (cbrt -1) in b2 0.719 * [taylor]: Taking taylor expansion of -1 in b2 0.719 * [taylor]: Taking taylor expansion of (* (pow (/ (* b1 b2) a2) 1/3) (cbrt -1)) in b1 0.719 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in b1 0.719 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in b1 0.719 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in b1 0.719 * [taylor]: Taking taylor expansion of 1/3 in b1 0.719 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in b1 0.719 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1 0.719 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.719 * [taylor]: Taking taylor expansion of b1 in b1 0.719 * [taylor]: Taking taylor expansion of b2 in b1 0.719 * [taylor]: Taking taylor expansion of a2 in b1 0.719 * [taylor]: Taking taylor expansion of (cbrt -1) in b1 0.719 * [taylor]: Taking taylor expansion of -1 in b1 0.719 * [taylor]: Taking taylor expansion of (* (pow (/ (* b1 b2) a2) 1/3) (cbrt -1)) in a2 0.719 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in a2 0.719 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in a2 0.719 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in a2 0.719 * [taylor]: Taking taylor expansion of 1/3 in a2 0.719 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in a2 0.719 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.719 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.719 * [taylor]: Taking taylor expansion of b1 in a2 0.719 * [taylor]: Taking taylor expansion of b2 in a2 0.719 * [taylor]: Taking taylor expansion of a2 in a2 0.720 * [taylor]: Taking taylor expansion of (cbrt -1) in a2 0.720 * [taylor]: Taking taylor expansion of -1 in a2 0.720 * [taylor]: Taking taylor expansion of (* (pow (/ (* b1 b2) a2) 1/3) (cbrt -1)) in a2 0.720 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in a2 0.720 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in a2 0.720 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in a2 0.720 * [taylor]: Taking taylor expansion of 1/3 in a2 0.720 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in a2 0.720 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.720 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.720 * [taylor]: Taking taylor expansion of b1 in a2 0.720 * [taylor]: Taking taylor expansion of b2 in a2 0.720 * [taylor]: Taking taylor expansion of a2 in a2 0.720 * [taylor]: Taking taylor expansion of (cbrt -1) in a2 0.720 * [taylor]: Taking taylor expansion of -1 in a2 0.720 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (* b1 b2)) (log a2))))) in b1 0.720 * [taylor]: Taking taylor expansion of (cbrt -1) in b1 0.720 * [taylor]: Taking taylor expansion of -1 in b1 0.721 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* b1 b2)) (log a2)))) in b1 0.721 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* b1 b2)) (log a2))) in b1 0.721 * [taylor]: Taking taylor expansion of 1/3 in b1 0.721 * [taylor]: Taking taylor expansion of (- (log (* b1 b2)) (log a2)) in b1 0.721 * [taylor]: Taking taylor expansion of (log (* b1 b2)) in b1 0.721 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.721 * [taylor]: Taking taylor expansion of b1 in b1 0.721 * [taylor]: Taking taylor expansion of b2 in b1 0.721 * [taylor]: Taking taylor expansion of (log a2) in b1 0.721 * [taylor]: Taking taylor expansion of a2 in b1 0.721 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (+ (log b2) (log b1)) (log a2))))) in b2 0.721 * [taylor]: Taking taylor expansion of (cbrt -1) in b2 0.721 * [taylor]: Taking taylor expansion of -1 in b2 0.721 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log b2) (log b1)) (log a2)))) in b2 0.721 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log b2) (log b1)) (log a2))) in b2 0.721 * [taylor]: Taking taylor expansion of 1/3 in b2 0.721 * [taylor]: Taking taylor expansion of (- (+ (log b2) (log b1)) (log a2)) in b2 0.721 * [taylor]: Taking taylor expansion of (+ (log b2) (log b1)) in b2 0.721 * [taylor]: Taking taylor expansion of (log b2) in b2 0.721 * [taylor]: Taking taylor expansion of b2 in b2 0.721 * [taylor]: Taking taylor expansion of (log b1) in b2 0.721 * [taylor]: Taking taylor expansion of b1 in b2 0.721 * [taylor]: Taking taylor expansion of (log a2) in b2 0.721 * [taylor]: Taking taylor expansion of a2 in b2 0.722 * [taylor]: Taking taylor expansion of 0 in b1 0.722 * [taylor]: Taking taylor expansion of 0 in b2 0.723 * [taylor]: Taking taylor expansion of 0 in b2 0.724 * [taylor]: Taking taylor expansion of 0 in b1 0.724 * [taylor]: Taking taylor expansion of 0 in b2 0.725 * [taylor]: Taking taylor expansion of 0 in b2 0.725 * [taylor]: Taking taylor expansion of 0 in b2 0.726 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1) 0.726 * [approximate]: Taking taylor expansion of (pow (/ a2 (* b1 b2)) 1/3) in (a2 b1 b2) around 0 0.726 * [taylor]: Taking taylor expansion of (pow (/ a2 (* b1 b2)) 1/3) in b2 0.726 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a2 (* b1 b2))))) in b2 0.726 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a2 (* b1 b2)))) in b2 0.726 * [taylor]: Taking taylor expansion of 1/3 in b2 0.726 * [taylor]: Taking taylor expansion of (log (/ a2 (* b1 b2))) in b2 0.726 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b2 0.726 * [taylor]: Taking taylor expansion of a2 in b2 0.726 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.726 * [taylor]: Taking taylor expansion of b1 in b2 0.726 * [taylor]: Taking taylor expansion of b2 in b2 0.726 * [taylor]: Taking taylor expansion of (pow (/ a2 (* b1 b2)) 1/3) in b1 0.726 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a2 (* b1 b2))))) in b1 0.726 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a2 (* b1 b2)))) in b1 0.726 * [taylor]: Taking taylor expansion of 1/3 in b1 0.726 * [taylor]: Taking taylor expansion of (log (/ a2 (* b1 b2))) in b1 0.726 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b1 0.726 * [taylor]: Taking taylor expansion of a2 in b1 0.726 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.726 * [taylor]: Taking taylor expansion of b1 in b1 0.726 * [taylor]: Taking taylor expansion of b2 in b1 0.726 * [taylor]: Taking taylor expansion of (pow (/ a2 (* b1 b2)) 1/3) in a2 0.727 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a2 (* b1 b2))))) in a2 0.727 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a2 (* b1 b2)))) in a2 0.727 * [taylor]: Taking taylor expansion of 1/3 in a2 0.727 * [taylor]: Taking taylor expansion of (log (/ a2 (* b1 b2))) in a2 0.727 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2 0.727 * [taylor]: Taking taylor expansion of a2 in a2 0.727 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.727 * [taylor]: Taking taylor expansion of b1 in a2 0.727 * [taylor]: Taking taylor expansion of b2 in a2 0.727 * [taylor]: Taking taylor expansion of (pow (/ a2 (* b1 b2)) 1/3) in a2 0.727 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a2 (* b1 b2))))) in a2 0.727 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a2 (* b1 b2)))) in a2 0.727 * [taylor]: Taking taylor expansion of 1/3 in a2 0.727 * [taylor]: Taking taylor expansion of (log (/ a2 (* b1 b2))) in a2 0.727 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2 0.727 * [taylor]: Taking taylor expansion of a2 in a2 0.727 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.727 * [taylor]: Taking taylor expansion of b1 in a2 0.727 * [taylor]: Taking taylor expansion of b2 in a2 0.727 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log a2) (log (/ 1 (* b1 b2)))))) in b1 0.727 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log a2) (log (/ 1 (* b1 b2))))) in b1 0.727 * [taylor]: Taking taylor expansion of 1/3 in b1 0.727 * [taylor]: Taking taylor expansion of (+ (log a2) (log (/ 1 (* b1 b2)))) in b1 0.727 * [taylor]: Taking taylor expansion of (log a2) in b1 0.727 * [taylor]: Taking taylor expansion of a2 in b1 0.727 * [taylor]: Taking taylor expansion of (log (/ 1 (* b1 b2))) in b1 0.727 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1 0.727 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.727 * [taylor]: Taking taylor expansion of b1 in b1 0.727 * [taylor]: Taking taylor expansion of b2 in b1 0.728 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log (/ 1 b2)) (log a2)) (log b1)))) in b2 0.728 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log (/ 1 b2)) (log a2)) (log b1))) in b2 0.728 * [taylor]: Taking taylor expansion of 1/3 in b2 0.728 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 b2)) (log a2)) (log b1)) in b2 0.728 * [taylor]: Taking taylor expansion of (+ (log (/ 1 b2)) (log a2)) in b2 0.728 * [taylor]: Taking taylor expansion of (log (/ 1 b2)) in b2 0.728 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2 0.728 * [taylor]: Taking taylor expansion of b2 in b2 0.728 * [taylor]: Taking taylor expansion of (log a2) in b2 0.728 * [taylor]: Taking taylor expansion of a2 in b2 0.728 * [taylor]: Taking taylor expansion of (log b1) in b2 0.728 * [taylor]: Taking taylor expansion of b1 in b2 0.729 * [taylor]: Taking taylor expansion of 0 in b1 0.729 * [taylor]: Taking taylor expansion of 0 in b2 0.729 * [taylor]: Taking taylor expansion of 0 in b2 0.730 * [taylor]: Taking taylor expansion of 0 in b1 0.731 * [taylor]: Taking taylor expansion of 0 in b2 0.731 * [taylor]: Taking taylor expansion of 0 in b2 0.731 * [taylor]: Taking taylor expansion of 0 in b2 0.731 * [approximate]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in (a2 b1 b2) around 0 0.731 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in b2 0.732 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in b2 0.732 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in b2 0.732 * [taylor]: Taking taylor expansion of 1/3 in b2 0.732 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in b2 0.732 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b2 0.732 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.732 * [taylor]: Taking taylor expansion of b1 in b2 0.732 * [taylor]: Taking taylor expansion of b2 in b2 0.732 * [taylor]: Taking taylor expansion of a2 in b2 0.732 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in b1 0.732 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in b1 0.732 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in b1 0.732 * [taylor]: Taking taylor expansion of 1/3 in b1 0.732 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in b1 0.732 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1 0.732 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.732 * [taylor]: Taking taylor expansion of b1 in b1 0.732 * [taylor]: Taking taylor expansion of b2 in b1 0.732 * [taylor]: Taking taylor expansion of a2 in b1 0.732 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in a2 0.732 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in a2 0.732 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in a2 0.732 * [taylor]: Taking taylor expansion of 1/3 in a2 0.732 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in a2 0.732 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.732 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.732 * [taylor]: Taking taylor expansion of b1 in a2 0.732 * [taylor]: Taking taylor expansion of b2 in a2 0.732 * [taylor]: Taking taylor expansion of a2 in a2 0.733 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in a2 0.733 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in a2 0.733 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in a2 0.733 * [taylor]: Taking taylor expansion of 1/3 in a2 0.733 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in a2 0.733 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.733 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.733 * [taylor]: Taking taylor expansion of b1 in a2 0.733 * [taylor]: Taking taylor expansion of b2 in a2 0.733 * [taylor]: Taking taylor expansion of a2 in a2 0.733 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* b1 b2)) (log a2)))) in b1 0.733 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* b1 b2)) (log a2))) in b1 0.733 * [taylor]: Taking taylor expansion of 1/3 in b1 0.733 * [taylor]: Taking taylor expansion of (- (log (* b1 b2)) (log a2)) in b1 0.733 * [taylor]: Taking taylor expansion of (log (* b1 b2)) in b1 0.733 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.733 * [taylor]: Taking taylor expansion of b1 in b1 0.733 * [taylor]: Taking taylor expansion of b2 in b1 0.733 * [taylor]: Taking taylor expansion of (log a2) in b1 0.733 * [taylor]: Taking taylor expansion of a2 in b1 0.733 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log b2) (log b1)) (log a2)))) in b2 0.733 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log b2) (log b1)) (log a2))) in b2 0.733 * [taylor]: Taking taylor expansion of 1/3 in b2 0.733 * [taylor]: Taking taylor expansion of (- (+ (log b2) (log b1)) (log a2)) in b2 0.733 * [taylor]: Taking taylor expansion of (+ (log b2) (log b1)) in b2 0.734 * [taylor]: Taking taylor expansion of (log b2) in b2 0.734 * [taylor]: Taking taylor expansion of b2 in b2 0.734 * [taylor]: Taking taylor expansion of (log b1) in b2 0.734 * [taylor]: Taking taylor expansion of b1 in b2 0.734 * [taylor]: Taking taylor expansion of (log a2) in b2 0.734 * [taylor]: Taking taylor expansion of a2 in b2 0.734 * [taylor]: Taking taylor expansion of 0 in b1 0.734 * [taylor]: Taking taylor expansion of 0 in b2 0.735 * [taylor]: Taking taylor expansion of 0 in b2 0.736 * [taylor]: Taking taylor expansion of 0 in b1 0.736 * [taylor]: Taking taylor expansion of 0 in b2 0.736 * [taylor]: Taking taylor expansion of 0 in b2 0.737 * [taylor]: Taking taylor expansion of 0 in b2 0.737 * [approximate]: Taking taylor expansion of (* (pow (/ (* b1 b2) a2) 1/3) (cbrt -1)) in (a2 b1 b2) around 0 0.737 * [taylor]: Taking taylor expansion of (* (pow (/ (* b1 b2) a2) 1/3) (cbrt -1)) in b2 0.737 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in b2 0.737 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in b2 0.737 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in b2 0.737 * [taylor]: Taking taylor expansion of 1/3 in b2 0.737 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in b2 0.737 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b2 0.737 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.737 * [taylor]: Taking taylor expansion of b1 in b2 0.737 * [taylor]: Taking taylor expansion of b2 in b2 0.737 * [taylor]: Taking taylor expansion of a2 in b2 0.737 * [taylor]: Taking taylor expansion of (cbrt -1) in b2 0.737 * [taylor]: Taking taylor expansion of -1 in b2 0.737 * [taylor]: Taking taylor expansion of (* (pow (/ (* b1 b2) a2) 1/3) (cbrt -1)) in b1 0.737 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in b1 0.737 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in b1 0.737 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in b1 0.737 * [taylor]: Taking taylor expansion of 1/3 in b1 0.738 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in b1 0.738 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1 0.738 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.738 * [taylor]: Taking taylor expansion of b1 in b1 0.738 * [taylor]: Taking taylor expansion of b2 in b1 0.738 * [taylor]: Taking taylor expansion of a2 in b1 0.738 * [taylor]: Taking taylor expansion of (cbrt -1) in b1 0.738 * [taylor]: Taking taylor expansion of -1 in b1 0.738 * [taylor]: Taking taylor expansion of (* (pow (/ (* b1 b2) a2) 1/3) (cbrt -1)) in a2 0.738 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in a2 0.738 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in a2 0.738 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in a2 0.738 * [taylor]: Taking taylor expansion of 1/3 in a2 0.738 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in a2 0.738 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.738 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.738 * [taylor]: Taking taylor expansion of b1 in a2 0.738 * [taylor]: Taking taylor expansion of b2 in a2 0.738 * [taylor]: Taking taylor expansion of a2 in a2 0.738 * [taylor]: Taking taylor expansion of (cbrt -1) in a2 0.738 * [taylor]: Taking taylor expansion of -1 in a2 0.738 * [taylor]: Taking taylor expansion of (* (pow (/ (* b1 b2) a2) 1/3) (cbrt -1)) in a2 0.738 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in a2 0.738 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in a2 0.738 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in a2 0.738 * [taylor]: Taking taylor expansion of 1/3 in a2 0.738 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in a2 0.739 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.739 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.739 * [taylor]: Taking taylor expansion of b1 in a2 0.739 * [taylor]: Taking taylor expansion of b2 in a2 0.739 * [taylor]: Taking taylor expansion of a2 in a2 0.739 * [taylor]: Taking taylor expansion of (cbrt -1) in a2 0.739 * [taylor]: Taking taylor expansion of -1 in a2 0.739 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (* b1 b2)) (log a2))))) in b1 0.739 * [taylor]: Taking taylor expansion of (cbrt -1) in b1 0.739 * [taylor]: Taking taylor expansion of -1 in b1 0.739 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* b1 b2)) (log a2)))) in b1 0.739 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* b1 b2)) (log a2))) in b1 0.739 * [taylor]: Taking taylor expansion of 1/3 in b1 0.739 * [taylor]: Taking taylor expansion of (- (log (* b1 b2)) (log a2)) in b1 0.739 * [taylor]: Taking taylor expansion of (log (* b1 b2)) in b1 0.739 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.739 * [taylor]: Taking taylor expansion of b1 in b1 0.739 * [taylor]: Taking taylor expansion of b2 in b1 0.740 * [taylor]: Taking taylor expansion of (log a2) in b1 0.740 * [taylor]: Taking taylor expansion of a2 in b1 0.740 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (+ (log b2) (log b1)) (log a2))))) in b2 0.740 * [taylor]: Taking taylor expansion of (cbrt -1) in b2 0.740 * [taylor]: Taking taylor expansion of -1 in b2 0.740 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log b2) (log b1)) (log a2)))) in b2 0.740 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log b2) (log b1)) (log a2))) in b2 0.740 * [taylor]: Taking taylor expansion of 1/3 in b2 0.740 * [taylor]: Taking taylor expansion of (- (+ (log b2) (log b1)) (log a2)) in b2 0.740 * [taylor]: Taking taylor expansion of (+ (log b2) (log b1)) in b2 0.740 * [taylor]: Taking taylor expansion of (log b2) in b2 0.740 * [taylor]: Taking taylor expansion of b2 in b2 0.740 * [taylor]: Taking taylor expansion of (log b1) in b2 0.740 * [taylor]: Taking taylor expansion of b1 in b2 0.740 * [taylor]: Taking taylor expansion of (log a2) in b2 0.740 * [taylor]: Taking taylor expansion of a2 in b2 0.741 * [taylor]: Taking taylor expansion of 0 in b1 0.741 * [taylor]: Taking taylor expansion of 0 in b2 0.742 * [taylor]: Taking taylor expansion of 0 in b2 0.743 * [taylor]: Taking taylor expansion of 0 in b1 0.743 * [taylor]: Taking taylor expansion of 0 in b2 0.743 * [taylor]: Taking taylor expansion of 0 in b2 0.744 * [taylor]: Taking taylor expansion of 0 in b2 0.744 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 1 1) 0.744 * [approximate]: Taking taylor expansion of (pow (/ a2 (* b1 b2)) 1/3) in (a2 b1 b2) around 0 0.745 * [taylor]: Taking taylor expansion of (pow (/ a2 (* b1 b2)) 1/3) in b2 0.745 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a2 (* b1 b2))))) in b2 0.745 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a2 (* b1 b2)))) in b2 0.745 * [taylor]: Taking taylor expansion of 1/3 in b2 0.745 * [taylor]: Taking taylor expansion of (log (/ a2 (* b1 b2))) in b2 0.745 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b2 0.745 * [taylor]: Taking taylor expansion of a2 in b2 0.745 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.745 * [taylor]: Taking taylor expansion of b1 in b2 0.745 * [taylor]: Taking taylor expansion of b2 in b2 0.745 * [taylor]: Taking taylor expansion of (pow (/ a2 (* b1 b2)) 1/3) in b1 0.745 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a2 (* b1 b2))))) in b1 0.745 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a2 (* b1 b2)))) in b1 0.745 * [taylor]: Taking taylor expansion of 1/3 in b1 0.745 * [taylor]: Taking taylor expansion of (log (/ a2 (* b1 b2))) in b1 0.745 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b1 0.745 * [taylor]: Taking taylor expansion of a2 in b1 0.745 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.745 * [taylor]: Taking taylor expansion of b1 in b1 0.745 * [taylor]: Taking taylor expansion of b2 in b1 0.745 * [taylor]: Taking taylor expansion of (pow (/ a2 (* b1 b2)) 1/3) in a2 0.745 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a2 (* b1 b2))))) in a2 0.745 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a2 (* b1 b2)))) in a2 0.745 * [taylor]: Taking taylor expansion of 1/3 in a2 0.745 * [taylor]: Taking taylor expansion of (log (/ a2 (* b1 b2))) in a2 0.745 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2 0.745 * [taylor]: Taking taylor expansion of a2 in a2 0.745 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.745 * [taylor]: Taking taylor expansion of b1 in a2 0.745 * [taylor]: Taking taylor expansion of b2 in a2 0.746 * [taylor]: Taking taylor expansion of (pow (/ a2 (* b1 b2)) 1/3) in a2 0.746 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a2 (* b1 b2))))) in a2 0.746 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a2 (* b1 b2)))) in a2 0.746 * [taylor]: Taking taylor expansion of 1/3 in a2 0.746 * [taylor]: Taking taylor expansion of (log (/ a2 (* b1 b2))) in a2 0.746 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2 0.746 * [taylor]: Taking taylor expansion of a2 in a2 0.746 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.746 * [taylor]: Taking taylor expansion of b1 in a2 0.746 * [taylor]: Taking taylor expansion of b2 in a2 0.746 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log a2) (log (/ 1 (* b1 b2)))))) in b1 0.746 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log a2) (log (/ 1 (* b1 b2))))) in b1 0.746 * [taylor]: Taking taylor expansion of 1/3 in b1 0.746 * [taylor]: Taking taylor expansion of (+ (log a2) (log (/ 1 (* b1 b2)))) in b1 0.746 * [taylor]: Taking taylor expansion of (log a2) in b1 0.746 * [taylor]: Taking taylor expansion of a2 in b1 0.746 * [taylor]: Taking taylor expansion of (log (/ 1 (* b1 b2))) in b1 0.746 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1 0.746 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.746 * [taylor]: Taking taylor expansion of b1 in b1 0.746 * [taylor]: Taking taylor expansion of b2 in b1 0.747 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log (/ 1 b2)) (log a2)) (log b1)))) in b2 0.747 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log (/ 1 b2)) (log a2)) (log b1))) in b2 0.747 * [taylor]: Taking taylor expansion of 1/3 in b2 0.747 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 b2)) (log a2)) (log b1)) in b2 0.747 * [taylor]: Taking taylor expansion of (+ (log (/ 1 b2)) (log a2)) in b2 0.747 * [taylor]: Taking taylor expansion of (log (/ 1 b2)) in b2 0.747 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2 0.747 * [taylor]: Taking taylor expansion of b2 in b2 0.747 * [taylor]: Taking taylor expansion of (log a2) in b2 0.747 * [taylor]: Taking taylor expansion of a2 in b2 0.747 * [taylor]: Taking taylor expansion of (log b1) in b2 0.747 * [taylor]: Taking taylor expansion of b1 in b2 0.748 * [taylor]: Taking taylor expansion of 0 in b1 0.748 * [taylor]: Taking taylor expansion of 0 in b2 0.748 * [taylor]: Taking taylor expansion of 0 in b2 0.749 * [taylor]: Taking taylor expansion of 0 in b1 0.749 * [taylor]: Taking taylor expansion of 0 in b2 0.749 * [taylor]: Taking taylor expansion of 0 in b2 0.750 * [taylor]: Taking taylor expansion of 0 in b2 0.750 * [approximate]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in (a2 b1 b2) around 0 0.750 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in b2 0.750 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in b2 0.750 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in b2 0.750 * [taylor]: Taking taylor expansion of 1/3 in b2 0.750 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in b2 0.750 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b2 0.750 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.750 * [taylor]: Taking taylor expansion of b1 in b2 0.750 * [taylor]: Taking taylor expansion of b2 in b2 0.750 * [taylor]: Taking taylor expansion of a2 in b2 0.751 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in b1 0.751 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in b1 0.751 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in b1 0.751 * [taylor]: Taking taylor expansion of 1/3 in b1 0.751 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in b1 0.751 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1 0.751 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.751 * [taylor]: Taking taylor expansion of b1 in b1 0.751 * [taylor]: Taking taylor expansion of b2 in b1 0.751 * [taylor]: Taking taylor expansion of a2 in b1 0.751 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in a2 0.751 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in a2 0.751 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in a2 0.751 * [taylor]: Taking taylor expansion of 1/3 in a2 0.751 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in a2 0.751 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.751 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.751 * [taylor]: Taking taylor expansion of b1 in a2 0.751 * [taylor]: Taking taylor expansion of b2 in a2 0.751 * [taylor]: Taking taylor expansion of a2 in a2 0.751 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in a2 0.751 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in a2 0.751 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in a2 0.751 * [taylor]: Taking taylor expansion of 1/3 in a2 0.751 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in a2 0.751 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.751 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.752 * [taylor]: Taking taylor expansion of b1 in a2 0.752 * [taylor]: Taking taylor expansion of b2 in a2 0.752 * [taylor]: Taking taylor expansion of a2 in a2 0.752 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* b1 b2)) (log a2)))) in b1 0.752 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* b1 b2)) (log a2))) in b1 0.752 * [taylor]: Taking taylor expansion of 1/3 in b1 0.752 * [taylor]: Taking taylor expansion of (- (log (* b1 b2)) (log a2)) in b1 0.752 * [taylor]: Taking taylor expansion of (log (* b1 b2)) in b1 0.752 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.752 * [taylor]: Taking taylor expansion of b1 in b1 0.752 * [taylor]: Taking taylor expansion of b2 in b1 0.752 * [taylor]: Taking taylor expansion of (log a2) in b1 0.752 * [taylor]: Taking taylor expansion of a2 in b1 0.752 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log b2) (log b1)) (log a2)))) in b2 0.752 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log b2) (log b1)) (log a2))) in b2 0.752 * [taylor]: Taking taylor expansion of 1/3 in b2 0.752 * [taylor]: Taking taylor expansion of (- (+ (log b2) (log b1)) (log a2)) in b2 0.752 * [taylor]: Taking taylor expansion of (+ (log b2) (log b1)) in b2 0.752 * [taylor]: Taking taylor expansion of (log b2) in b2 0.752 * [taylor]: Taking taylor expansion of b2 in b2 0.752 * [taylor]: Taking taylor expansion of (log b1) in b2 0.752 * [taylor]: Taking taylor expansion of b1 in b2 0.752 * [taylor]: Taking taylor expansion of (log a2) in b2 0.752 * [taylor]: Taking taylor expansion of a2 in b2 0.753 * [taylor]: Taking taylor expansion of 0 in b1 0.753 * [taylor]: Taking taylor expansion of 0 in b2 0.754 * [taylor]: Taking taylor expansion of 0 in b2 0.755 * [taylor]: Taking taylor expansion of 0 in b1 0.755 * [taylor]: Taking taylor expansion of 0 in b2 0.755 * [taylor]: Taking taylor expansion of 0 in b2 0.755 * [taylor]: Taking taylor expansion of 0 in b2 0.756 * [approximate]: Taking taylor expansion of (* (pow (/ (* b1 b2) a2) 1/3) (cbrt -1)) in (a2 b1 b2) around 0 0.756 * [taylor]: Taking taylor expansion of (* (pow (/ (* b1 b2) a2) 1/3) (cbrt -1)) in b2 0.756 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in b2 0.756 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in b2 0.756 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in b2 0.756 * [taylor]: Taking taylor expansion of 1/3 in b2 0.756 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in b2 0.756 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b2 0.756 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.756 * [taylor]: Taking taylor expansion of b1 in b2 0.756 * [taylor]: Taking taylor expansion of b2 in b2 0.756 * [taylor]: Taking taylor expansion of a2 in b2 0.756 * [taylor]: Taking taylor expansion of (cbrt -1) in b2 0.756 * [taylor]: Taking taylor expansion of -1 in b2 0.756 * [taylor]: Taking taylor expansion of (* (pow (/ (* b1 b2) a2) 1/3) (cbrt -1)) in b1 0.756 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in b1 0.756 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in b1 0.756 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in b1 0.756 * [taylor]: Taking taylor expansion of 1/3 in b1 0.756 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in b1 0.756 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1 0.756 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.756 * [taylor]: Taking taylor expansion of b1 in b1 0.756 * [taylor]: Taking taylor expansion of b2 in b1 0.756 * [taylor]: Taking taylor expansion of a2 in b1 0.757 * [taylor]: Taking taylor expansion of (cbrt -1) in b1 0.757 * [taylor]: Taking taylor expansion of -1 in b1 0.757 * [taylor]: Taking taylor expansion of (* (pow (/ (* b1 b2) a2) 1/3) (cbrt -1)) in a2 0.757 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in a2 0.757 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in a2 0.757 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in a2 0.757 * [taylor]: Taking taylor expansion of 1/3 in a2 0.757 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in a2 0.757 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.757 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.757 * [taylor]: Taking taylor expansion of b1 in a2 0.757 * [taylor]: Taking taylor expansion of b2 in a2 0.757 * [taylor]: Taking taylor expansion of a2 in a2 0.757 * [taylor]: Taking taylor expansion of (cbrt -1) in a2 0.757 * [taylor]: Taking taylor expansion of -1 in a2 0.757 * [taylor]: Taking taylor expansion of (* (pow (/ (* b1 b2) a2) 1/3) (cbrt -1)) in a2 0.757 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in a2 0.757 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in a2 0.757 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in a2 0.757 * [taylor]: Taking taylor expansion of 1/3 in a2 0.757 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in a2 0.757 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.757 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.757 * [taylor]: Taking taylor expansion of b1 in a2 0.757 * [taylor]: Taking taylor expansion of b2 in a2 0.757 * [taylor]: Taking taylor expansion of a2 in a2 0.758 * [taylor]: Taking taylor expansion of (cbrt -1) in a2 0.758 * [taylor]: Taking taylor expansion of -1 in a2 0.758 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (* b1 b2)) (log a2))))) in b1 0.758 * [taylor]: Taking taylor expansion of (cbrt -1) in b1 0.758 * [taylor]: Taking taylor expansion of -1 in b1 0.758 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* b1 b2)) (log a2)))) in b1 0.758 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* b1 b2)) (log a2))) in b1 0.758 * [taylor]: Taking taylor expansion of 1/3 in b1 0.758 * [taylor]: Taking taylor expansion of (- (log (* b1 b2)) (log a2)) in b1 0.758 * [taylor]: Taking taylor expansion of (log (* b1 b2)) in b1 0.758 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.758 * [taylor]: Taking taylor expansion of b1 in b1 0.758 * [taylor]: Taking taylor expansion of b2 in b1 0.758 * [taylor]: Taking taylor expansion of (log a2) in b1 0.758 * [taylor]: Taking taylor expansion of a2 in b1 0.759 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (+ (log b2) (log b1)) (log a2))))) in b2 0.759 * [taylor]: Taking taylor expansion of (cbrt -1) in b2 0.759 * [taylor]: Taking taylor expansion of -1 in b2 0.759 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log b2) (log b1)) (log a2)))) in b2 0.759 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log b2) (log b1)) (log a2))) in b2 0.759 * [taylor]: Taking taylor expansion of 1/3 in b2 0.759 * [taylor]: Taking taylor expansion of (- (+ (log b2) (log b1)) (log a2)) in b2 0.759 * [taylor]: Taking taylor expansion of (+ (log b2) (log b1)) in b2 0.759 * [taylor]: Taking taylor expansion of (log b2) in b2 0.759 * [taylor]: Taking taylor expansion of b2 in b2 0.759 * [taylor]: Taking taylor expansion of (log b1) in b2 0.759 * [taylor]: Taking taylor expansion of b1 in b2 0.759 * [taylor]: Taking taylor expansion of (log a2) in b2 0.759 * [taylor]: Taking taylor expansion of a2 in b2 0.760 * [taylor]: Taking taylor expansion of 0 in b1 0.760 * [taylor]: Taking taylor expansion of 0 in b2 0.760 * [taylor]: Taking taylor expansion of 0 in b2 0.762 * [taylor]: Taking taylor expansion of 0 in b1 0.762 * [taylor]: Taking taylor expansion of 0 in b2 0.762 * [taylor]: Taking taylor expansion of 0 in b2 0.763 * [taylor]: Taking taylor expansion of 0 in b2 0.763 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1) 0.763 * [approximate]: Taking taylor expansion of (pow (/ a2 (* b1 b2)) 1/3) in (a2 b1 b2) around 0 0.763 * [taylor]: Taking taylor expansion of (pow (/ a2 (* b1 b2)) 1/3) in b2 0.763 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a2 (* b1 b2))))) in b2 0.763 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a2 (* b1 b2)))) in b2 0.763 * [taylor]: Taking taylor expansion of 1/3 in b2 0.763 * [taylor]: Taking taylor expansion of (log (/ a2 (* b1 b2))) in b2 0.763 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b2 0.763 * [taylor]: Taking taylor expansion of a2 in b2 0.763 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.763 * [taylor]: Taking taylor expansion of b1 in b2 0.763 * [taylor]: Taking taylor expansion of b2 in b2 0.763 * [taylor]: Taking taylor expansion of (pow (/ a2 (* b1 b2)) 1/3) in b1 0.764 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a2 (* b1 b2))))) in b1 0.764 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a2 (* b1 b2)))) in b1 0.764 * [taylor]: Taking taylor expansion of 1/3 in b1 0.764 * [taylor]: Taking taylor expansion of (log (/ a2 (* b1 b2))) in b1 0.764 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b1 0.764 * [taylor]: Taking taylor expansion of a2 in b1 0.764 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.764 * [taylor]: Taking taylor expansion of b1 in b1 0.764 * [taylor]: Taking taylor expansion of b2 in b1 0.764 * [taylor]: Taking taylor expansion of (pow (/ a2 (* b1 b2)) 1/3) in a2 0.764 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a2 (* b1 b2))))) in a2 0.764 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a2 (* b1 b2)))) in a2 0.764 * [taylor]: Taking taylor expansion of 1/3 in a2 0.764 * [taylor]: Taking taylor expansion of (log (/ a2 (* b1 b2))) in a2 0.764 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2 0.764 * [taylor]: Taking taylor expansion of a2 in a2 0.764 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.764 * [taylor]: Taking taylor expansion of b1 in a2 0.764 * [taylor]: Taking taylor expansion of b2 in a2 0.764 * [taylor]: Taking taylor expansion of (pow (/ a2 (* b1 b2)) 1/3) in a2 0.764 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a2 (* b1 b2))))) in a2 0.764 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a2 (* b1 b2)))) in a2 0.764 * [taylor]: Taking taylor expansion of 1/3 in a2 0.764 * [taylor]: Taking taylor expansion of (log (/ a2 (* b1 b2))) in a2 0.764 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2 0.764 * [taylor]: Taking taylor expansion of a2 in a2 0.764 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.764 * [taylor]: Taking taylor expansion of b1 in a2 0.764 * [taylor]: Taking taylor expansion of b2 in a2 0.765 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log a2) (log (/ 1 (* b1 b2)))))) in b1 0.765 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log a2) (log (/ 1 (* b1 b2))))) in b1 0.765 * [taylor]: Taking taylor expansion of 1/3 in b1 0.765 * [taylor]: Taking taylor expansion of (+ (log a2) (log (/ 1 (* b1 b2)))) in b1 0.765 * [taylor]: Taking taylor expansion of (log a2) in b1 0.765 * [taylor]: Taking taylor expansion of a2 in b1 0.765 * [taylor]: Taking taylor expansion of (log (/ 1 (* b1 b2))) in b1 0.765 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1 0.765 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.765 * [taylor]: Taking taylor expansion of b1 in b1 0.765 * [taylor]: Taking taylor expansion of b2 in b1 0.765 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log (/ 1 b2)) (log a2)) (log b1)))) in b2 0.765 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log (/ 1 b2)) (log a2)) (log b1))) in b2 0.765 * [taylor]: Taking taylor expansion of 1/3 in b2 0.765 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 b2)) (log a2)) (log b1)) in b2 0.765 * [taylor]: Taking taylor expansion of (+ (log (/ 1 b2)) (log a2)) in b2 0.765 * [taylor]: Taking taylor expansion of (log (/ 1 b2)) in b2 0.765 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2 0.765 * [taylor]: Taking taylor expansion of b2 in b2 0.765 * [taylor]: Taking taylor expansion of (log a2) in b2 0.765 * [taylor]: Taking taylor expansion of a2 in b2 0.765 * [taylor]: Taking taylor expansion of (log b1) in b2 0.765 * [taylor]: Taking taylor expansion of b1 in b2 0.766 * [taylor]: Taking taylor expansion of 0 in b1 0.766 * [taylor]: Taking taylor expansion of 0 in b2 0.767 * [taylor]: Taking taylor expansion of 0 in b2 0.770 * [taylor]: Taking taylor expansion of 0 in b1 0.770 * [taylor]: Taking taylor expansion of 0 in b2 0.770 * [taylor]: Taking taylor expansion of 0 in b2 0.771 * [taylor]: Taking taylor expansion of 0 in b2 0.771 * [approximate]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in (a2 b1 b2) around 0 0.771 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in b2 0.771 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in b2 0.771 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in b2 0.771 * [taylor]: Taking taylor expansion of 1/3 in b2 0.771 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in b2 0.771 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b2 0.771 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.771 * [taylor]: Taking taylor expansion of b1 in b2 0.771 * [taylor]: Taking taylor expansion of b2 in b2 0.771 * [taylor]: Taking taylor expansion of a2 in b2 0.771 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in b1 0.771 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in b1 0.771 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in b1 0.771 * [taylor]: Taking taylor expansion of 1/3 in b1 0.771 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in b1 0.771 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1 0.771 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.771 * [taylor]: Taking taylor expansion of b1 in b1 0.772 * [taylor]: Taking taylor expansion of b2 in b1 0.772 * [taylor]: Taking taylor expansion of a2 in b1 0.772 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in a2 0.772 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in a2 0.772 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in a2 0.772 * [taylor]: Taking taylor expansion of 1/3 in a2 0.772 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in a2 0.772 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.772 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.772 * [taylor]: Taking taylor expansion of b1 in a2 0.772 * [taylor]: Taking taylor expansion of b2 in a2 0.772 * [taylor]: Taking taylor expansion of a2 in a2 0.772 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in a2 0.772 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in a2 0.772 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in a2 0.772 * [taylor]: Taking taylor expansion of 1/3 in a2 0.772 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in a2 0.772 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.772 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.772 * [taylor]: Taking taylor expansion of b1 in a2 0.772 * [taylor]: Taking taylor expansion of b2 in a2 0.772 * [taylor]: Taking taylor expansion of a2 in a2 0.772 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* b1 b2)) (log a2)))) in b1 0.772 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* b1 b2)) (log a2))) in b1 0.773 * [taylor]: Taking taylor expansion of 1/3 in b1 0.773 * [taylor]: Taking taylor expansion of (- (log (* b1 b2)) (log a2)) in b1 0.773 * [taylor]: Taking taylor expansion of (log (* b1 b2)) in b1 0.773 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.773 * [taylor]: Taking taylor expansion of b1 in b1 0.773 * [taylor]: Taking taylor expansion of b2 in b1 0.773 * [taylor]: Taking taylor expansion of (log a2) in b1 0.773 * [taylor]: Taking taylor expansion of a2 in b1 0.773 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log b2) (log b1)) (log a2)))) in b2 0.773 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log b2) (log b1)) (log a2))) in b2 0.773 * [taylor]: Taking taylor expansion of 1/3 in b2 0.773 * [taylor]: Taking taylor expansion of (- (+ (log b2) (log b1)) (log a2)) in b2 0.773 * [taylor]: Taking taylor expansion of (+ (log b2) (log b1)) in b2 0.773 * [taylor]: Taking taylor expansion of (log b2) in b2 0.773 * [taylor]: Taking taylor expansion of b2 in b2 0.773 * [taylor]: Taking taylor expansion of (log b1) in b2 0.773 * [taylor]: Taking taylor expansion of b1 in b2 0.773 * [taylor]: Taking taylor expansion of (log a2) in b2 0.773 * [taylor]: Taking taylor expansion of a2 in b2 0.774 * [taylor]: Taking taylor expansion of 0 in b1 0.774 * [taylor]: Taking taylor expansion of 0 in b2 0.774 * [taylor]: Taking taylor expansion of 0 in b2 0.776 * [taylor]: Taking taylor expansion of 0 in b1 0.776 * [taylor]: Taking taylor expansion of 0 in b2 0.776 * [taylor]: Taking taylor expansion of 0 in b2 0.776 * [taylor]: Taking taylor expansion of 0 in b2 0.776 * [approximate]: Taking taylor expansion of (* (pow (/ (* b1 b2) a2) 1/3) (cbrt -1)) in (a2 b1 b2) around 0 0.777 * [taylor]: Taking taylor expansion of (* (pow (/ (* b1 b2) a2) 1/3) (cbrt -1)) in b2 0.777 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in b2 0.777 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in b2 0.777 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in b2 0.777 * [taylor]: Taking taylor expansion of 1/3 in b2 0.777 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in b2 0.777 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b2 0.777 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.777 * [taylor]: Taking taylor expansion of b1 in b2 0.777 * [taylor]: Taking taylor expansion of b2 in b2 0.777 * [taylor]: Taking taylor expansion of a2 in b2 0.777 * [taylor]: Taking taylor expansion of (cbrt -1) in b2 0.777 * [taylor]: Taking taylor expansion of -1 in b2 0.777 * [taylor]: Taking taylor expansion of (* (pow (/ (* b1 b2) a2) 1/3) (cbrt -1)) in b1 0.777 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in b1 0.777 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in b1 0.777 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in b1 0.777 * [taylor]: Taking taylor expansion of 1/3 in b1 0.777 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in b1 0.777 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1 0.777 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.777 * [taylor]: Taking taylor expansion of b1 in b1 0.777 * [taylor]: Taking taylor expansion of b2 in b1 0.777 * [taylor]: Taking taylor expansion of a2 in b1 0.777 * [taylor]: Taking taylor expansion of (cbrt -1) in b1 0.777 * [taylor]: Taking taylor expansion of -1 in b1 0.778 * [taylor]: Taking taylor expansion of (* (pow (/ (* b1 b2) a2) 1/3) (cbrt -1)) in a2 0.778 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in a2 0.778 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in a2 0.778 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in a2 0.778 * [taylor]: Taking taylor expansion of 1/3 in a2 0.778 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in a2 0.778 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.778 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.778 * [taylor]: Taking taylor expansion of b1 in a2 0.778 * [taylor]: Taking taylor expansion of b2 in a2 0.778 * [taylor]: Taking taylor expansion of a2 in a2 0.778 * [taylor]: Taking taylor expansion of (cbrt -1) in a2 0.778 * [taylor]: Taking taylor expansion of -1 in a2 0.778 * [taylor]: Taking taylor expansion of (* (pow (/ (* b1 b2) a2) 1/3) (cbrt -1)) in a2 0.778 * [taylor]: Taking taylor expansion of (pow (/ (* b1 b2) a2) 1/3) in a2 0.778 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* b1 b2) a2)))) in a2 0.778 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* b1 b2) a2))) in a2 0.778 * [taylor]: Taking taylor expansion of 1/3 in a2 0.778 * [taylor]: Taking taylor expansion of (log (/ (* b1 b2) a2)) in a2 0.778 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.778 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.778 * [taylor]: Taking taylor expansion of b1 in a2 0.778 * [taylor]: Taking taylor expansion of b2 in a2 0.778 * [taylor]: Taking taylor expansion of a2 in a2 0.778 * [taylor]: Taking taylor expansion of (cbrt -1) in a2 0.778 * [taylor]: Taking taylor expansion of -1 in a2 0.779 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (* b1 b2)) (log a2))))) in b1 0.779 * [taylor]: Taking taylor expansion of (cbrt -1) in b1 0.779 * [taylor]: Taking taylor expansion of -1 in b1 0.779 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* b1 b2)) (log a2)))) in b1 0.779 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* b1 b2)) (log a2))) in b1 0.779 * [taylor]: Taking taylor expansion of 1/3 in b1 0.779 * [taylor]: Taking taylor expansion of (- (log (* b1 b2)) (log a2)) in b1 0.779 * [taylor]: Taking taylor expansion of (log (* b1 b2)) in b1 0.779 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.779 * [taylor]: Taking taylor expansion of b1 in b1 0.779 * [taylor]: Taking taylor expansion of b2 in b1 0.779 * [taylor]: Taking taylor expansion of (log a2) in b1 0.779 * [taylor]: Taking taylor expansion of a2 in b1 0.779 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (+ (log b2) (log b1)) (log a2))))) in b2 0.779 * [taylor]: Taking taylor expansion of (cbrt -1) in b2 0.779 * [taylor]: Taking taylor expansion of -1 in b2 0.779 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log b2) (log b1)) (log a2)))) in b2 0.780 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log b2) (log b1)) (log a2))) in b2 0.780 * [taylor]: Taking taylor expansion of 1/3 in b2 0.780 * [taylor]: Taking taylor expansion of (- (+ (log b2) (log b1)) (log a2)) in b2 0.780 * [taylor]: Taking taylor expansion of (+ (log b2) (log b1)) in b2 0.780 * [taylor]: Taking taylor expansion of (log b2) in b2 0.780 * [taylor]: Taking taylor expansion of b2 in b2 0.780 * [taylor]: Taking taylor expansion of (log b1) in b2 0.780 * [taylor]: Taking taylor expansion of b1 in b2 0.780 * [taylor]: Taking taylor expansion of (log a2) in b2 0.780 * [taylor]: Taking taylor expansion of a2 in b2 0.781 * [taylor]: Taking taylor expansion of 0 in b1 0.781 * [taylor]: Taking taylor expansion of 0 in b2 0.781 * [taylor]: Taking taylor expansion of 0 in b2 0.783 * [taylor]: Taking taylor expansion of 0 in b1 0.783 * [taylor]: Taking taylor expansion of 0 in b2 0.783 * [taylor]: Taking taylor expansion of 0 in b2 0.784 * [taylor]: Taking taylor expansion of 0 in b2 0.784 * * * [progress]: simplifying candidates 0.785 * [simplify]: Simplifying using # : (log (cbrt (/ a2 (* b1 b2)))) (exp (cbrt (/ a2 (* b1 b2)))) (cbrt (* (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2))))) (cbrt (cbrt (/ a2 (* b1 b2)))) (cbrt (sqrt (/ a2 (* b1 b2)))) (cbrt (sqrt (/ a2 (* b1 b2)))) (cbrt (/ (* (cbrt a2) (cbrt a2)) b1)) (cbrt (/ (cbrt a2) b2)) (cbrt (/ (sqrt a2) b1)) (cbrt (/ (sqrt a2) b2)) (cbrt (/ 1 b1)) (cbrt (/ a2 b2)) (cbrt 1) (cbrt (/ a2 (* b1 b2))) (cbrt a2) (cbrt (/ 1 (* b1 b2))) (cbrt a2) (cbrt (* b1 b2)) (* (cbrt (cbrt (/ a2 (* b1 b2)))) (cbrt (cbrt (/ a2 (* b1 b2))))) (cbrt (cbrt (/ a2 (* b1 b2)))) (* (* (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2)))) (cbrt (/ a2 (* b1 b2)))) (sqrt (cbrt (/ a2 (* b1 b2)))) (sqrt (cbrt (/ a2 (* b1 b2)))) (log (cbrt (/ a2 (* b1 b2)))) (exp (cbrt (/ a2 (* b1 b2)))) (cbrt (* (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2))))) (cbrt (cbrt (/ a2 (* b1 b2)))) (cbrt (sqrt (/ a2 (* b1 b2)))) (cbrt (sqrt (/ a2 (* b1 b2)))) (cbrt (/ (* (cbrt a2) (cbrt a2)) b1)) (cbrt (/ (cbrt a2) b2)) (cbrt (/ (sqrt a2) b1)) (cbrt (/ (sqrt a2) b2)) (cbrt (/ 1 b1)) (cbrt (/ a2 b2)) (cbrt 1) (cbrt (/ a2 (* b1 b2))) (cbrt a2) (cbrt (/ 1 (* b1 b2))) (cbrt a2) (cbrt (* b1 b2)) (* (cbrt (cbrt (/ a2 (* b1 b2)))) (cbrt (cbrt (/ a2 (* b1 b2))))) (cbrt (cbrt (/ a2 (* b1 b2)))) (* (* (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2)))) (cbrt (/ a2 (* b1 b2)))) (sqrt (cbrt (/ a2 (* b1 b2)))) (sqrt (cbrt (/ a2 (* b1 b2)))) (log (cbrt (/ a2 (* b1 b2)))) (exp (cbrt (/ a2 (* b1 b2)))) (cbrt (* (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2))))) (cbrt (cbrt (/ a2 (* b1 b2)))) (cbrt (sqrt (/ a2 (* b1 b2)))) (cbrt (sqrt (/ a2 (* b1 b2)))) (cbrt (/ (* (cbrt a2) (cbrt a2)) b1)) (cbrt (/ (cbrt a2) b2)) (cbrt (/ (sqrt a2) b1)) (cbrt (/ (sqrt a2) b2)) (cbrt (/ 1 b1)) (cbrt (/ a2 b2)) (cbrt 1) (cbrt (/ a2 (* b1 b2))) (cbrt a2) (cbrt (/ 1 (* b1 b2))) (cbrt a2) (cbrt (* b1 b2)) (* (cbrt (cbrt (/ a2 (* b1 b2)))) (cbrt (cbrt (/ a2 (* b1 b2))))) (cbrt (cbrt (/ a2 (* b1 b2)))) (* (* (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2)))) (cbrt (/ a2 (* b1 b2)))) (sqrt (cbrt (/ a2 (* b1 b2)))) (sqrt (cbrt (/ a2 (* b1 b2)))) (log (cbrt (/ a2 (* b1 b2)))) (exp (cbrt (/ a2 (* b1 b2)))) (cbrt (* (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2))))) (cbrt (cbrt (/ a2 (* b1 b2)))) (cbrt (sqrt (/ a2 (* b1 b2)))) (cbrt (sqrt (/ a2 (* b1 b2)))) (cbrt (/ (* (cbrt a2) (cbrt a2)) b1)) (cbrt (/ (cbrt a2) b2)) (cbrt (/ (sqrt a2) b1)) (cbrt (/ (sqrt a2) b2)) (cbrt (/ 1 b1)) (cbrt (/ a2 b2)) (cbrt 1) (cbrt (/ a2 (* b1 b2))) (cbrt a2) (cbrt (/ 1 (* b1 b2))) (cbrt a2) (cbrt (* b1 b2)) (* (cbrt (cbrt (/ a2 (* b1 b2)))) (cbrt (cbrt (/ a2 (* b1 b2))))) (cbrt (cbrt (/ a2 (* b1 b2)))) (* (* (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2)))) (cbrt (/ a2 (* b1 b2)))) (sqrt (cbrt (/ a2 (* b1 b2)))) (sqrt (cbrt (/ a2 (* b1 b2)))) (exp (* 1/3 (- (+ (log 1) (log a2)) (+ (log b1) (log b2))))) (exp (* 1/3 (- (+ (log 1) (+ (log (/ 1 b2)) (log (/ 1 b1)))) (log (/ 1 a2))))) (* (cbrt -1) (exp (* 1/3 (- (+ (log 1) (+ (log (/ -1 b1)) (log (/ -1 b2)))) (log (/ -1 a2)))))) (exp (* 1/3 (- (+ (log 1) (log a2)) (+ (log b1) (log b2))))) (exp (* 1/3 (- (+ (log 1) (+ (log (/ 1 b2)) (log (/ 1 b1)))) (log (/ 1 a2))))) (* (cbrt -1) (exp (* 1/3 (- (+ (log 1) (+ (log (/ -1 b1)) (log (/ -1 b2)))) (log (/ -1 a2)))))) (exp (* 1/3 (- (+ (log 1) (log a2)) (+ (log b1) (log b2))))) (exp (* 1/3 (- (+ (log 1) (+ (log (/ 1 b2)) (log (/ 1 b1)))) (log (/ 1 a2))))) (* (cbrt -1) (exp (* 1/3 (- (+ (log 1) (+ (log (/ -1 b1)) (log (/ -1 b2)))) (log (/ -1 a2)))))) (exp (* 1/3 (- (+ (log 1) (log a2)) (+ (log b1) (log b2))))) (exp (* 1/3 (- (+ (log 1) (+ (log (/ 1 b2)) (log (/ 1 b1)))) (log (/ 1 a2))))) (* (cbrt -1) (exp (* 1/3 (- (+ (log 1) (+ (log (/ -1 b1)) (log (/ -1 b2)))) (log (/ -1 a2)))))) 0.833 * * [simplify]: iteration 0 : 5639 enodes (cost 624 ) 0.836 * [simplify]: Simplified to: (log (cbrt (/ a2 (* b1 b2)))) (exp (cbrt (/ a2 (* b1 b2)))) (cbrt (pow (/ a2 (* b1 b2)) 2/3)) (cbrt (cbrt (/ a2 (* b1 b2)))) (cbrt (sqrt (/ a2 (* b1 b2)))) (cbrt (sqrt (/ a2 (* b1 b2)))) (cbrt (* (cbrt a2) (/ (cbrt a2) b1))) (cbrt (/ (cbrt a2) b2)) (cbrt (/ (sqrt a2) b1)) (cbrt (/ (sqrt a2) b2)) (pow b1 -1/3) (cbrt (/ a2 b2)) 1 (cbrt (/ a2 (* b1 b2))) (cbrt a2) (pow (* b1 b2) -1/3) (cbrt a2) (cbrt (* b1 b2)) (* (cbrt (cbrt (/ a2 (* b1 b2)))) (cbrt (cbrt (/ a2 (* b1 b2))))) (cbrt (cbrt (/ a2 (* b1 b2)))) (/ a2 (* b1 b2)) (sqrt (cbrt (/ a2 (* b1 b2)))) (sqrt (cbrt (/ a2 (* b1 b2)))) (log (cbrt (/ a2 (* b1 b2)))) (exp (cbrt (/ a2 (* b1 b2)))) (cbrt (pow (/ a2 (* b1 b2)) 2/3)) (cbrt (cbrt (/ a2 (* b1 b2)))) (cbrt (sqrt (/ a2 (* b1 b2)))) (cbrt (sqrt (/ a2 (* b1 b2)))) (cbrt (* (cbrt a2) (/ (cbrt a2) b1))) (cbrt (/ (cbrt a2) b2)) (cbrt (/ (sqrt a2) b1)) (cbrt (/ (sqrt a2) b2)) (pow b1 -1/3) (cbrt (/ a2 b2)) 1 (cbrt (/ a2 (* b1 b2))) (cbrt a2) (pow (* b1 b2) -1/3) (cbrt a2) (cbrt (* b1 b2)) (* (cbrt (cbrt (/ a2 (* b1 b2)))) (cbrt (cbrt (/ a2 (* b1 b2))))) (cbrt (cbrt (/ a2 (* b1 b2)))) (/ a2 (* b1 b2)) (sqrt (cbrt (/ a2 (* b1 b2)))) (sqrt (cbrt (/ a2 (* b1 b2)))) (log (cbrt (/ a2 (* b1 b2)))) (exp (cbrt (/ a2 (* b1 b2)))) (cbrt (pow (/ a2 (* b1 b2)) 2/3)) (cbrt (cbrt (/ a2 (* b1 b2)))) (cbrt (sqrt (/ a2 (* b1 b2)))) (cbrt (sqrt (/ a2 (* b1 b2)))) (cbrt (* (cbrt a2) (/ (cbrt a2) b1))) (cbrt (/ (cbrt a2) b2)) (cbrt (/ (sqrt a2) b1)) (cbrt (/ (sqrt a2) b2)) (pow b1 -1/3) (cbrt (/ a2 b2)) 1 (cbrt (/ a2 (* b1 b2))) (cbrt a2) (pow (* b1 b2) -1/3) (cbrt a2) (cbrt (* b1 b2)) (* (cbrt (cbrt (/ a2 (* b1 b2)))) (cbrt (cbrt (/ a2 (* b1 b2))))) (cbrt (cbrt (/ a2 (* b1 b2)))) (/ a2 (* b1 b2)) (sqrt (cbrt (/ a2 (* b1 b2)))) (sqrt (cbrt (/ a2 (* b1 b2)))) (log (cbrt (/ a2 (* b1 b2)))) (exp (cbrt (/ a2 (* b1 b2)))) (cbrt (pow (/ a2 (* b1 b2)) 2/3)) (cbrt (cbrt (/ a2 (* b1 b2)))) (cbrt (sqrt (/ a2 (* b1 b2)))) (cbrt (sqrt (/ a2 (* b1 b2)))) (cbrt (* (cbrt a2) (/ (cbrt a2) b1))) (cbrt (/ (cbrt a2) b2)) (cbrt (/ (sqrt a2) b1)) (cbrt (/ (sqrt a2) b2)) (pow b1 -1/3) (cbrt (/ a2 b2)) 1 (cbrt (/ a2 (* b1 b2))) (cbrt a2) (pow (* b1 b2) -1/3) (cbrt a2) (cbrt (* b1 b2)) (* (cbrt (cbrt (/ a2 (* b1 b2)))) (cbrt (cbrt (/ a2 (* b1 b2))))) (cbrt (cbrt (/ a2 (* b1 b2)))) (/ a2 (* b1 b2)) (sqrt (cbrt (/ a2 (* b1 b2)))) (sqrt (cbrt (/ a2 (* b1 b2)))) (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2))) (* (cbrt -1) (cbrt (/ (/ a2 b2) (neg b1)))) (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2))) (* (cbrt -1) (cbrt (/ (/ a2 b2) (neg b1)))) (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2))) (* (cbrt -1) (cbrt (/ (/ a2 b2) (neg b1)))) (cbrt (/ a2 (* b1 b2))) (cbrt (/ a2 (* b1 b2))) (* (cbrt -1) (cbrt (/ (/ a2 b2) (neg b1)))) 0.837 * * * [progress]: adding candidates to table 0.989 * [progress]: [Phase 3 of 3] Extracting. 0.990 * * [regime]: Finding splitpoints for: (# # # # # # # # # #) 0.991 * * * [regime-changes]: Trying 7 branch expressions: ((* b1 b2) (* a1 a2) (/ (* a1 a2) (* b1 b2)) b2 b1 a2 a1) 0.991 * * * * [regimes]: Trying to branch on (* b1 b2) from (# # # # # # # # # #) 1.089 * * * * [regimes]: Trying to branch on (* b1 b2) from (# # # # # # #) 1.153 * * * * [regimes]: Trying to branch on (* a1 a2) from (# # # # # # # # # #) 1.249 * * * * [regimes]: Trying to branch on (/ (* a1 a2) (* b1 b2)) from (# # # # # # # # # #) 1.342 * * * * [regimes]: Trying to branch on b2 from (# # # # # # # # # #) 1.418 * * * * [regimes]: Trying to branch on b1 from (# # # # # # # # # #) 1.519 * * * * [regimes]: Trying to branch on a2 from (# # # # # # # # # #) 1.607 * * * * [regimes]: Trying to branch on a1 from (# # # # # # # # # #) 1.682 * * * [regime]: Found split indices: #