17.902 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 1.960 * * * [progress]: [2/2] Setting up program. 1.964 * [progress]: [Phase 2 of 3] Improving. 1.964 * [simplify]: Simplifying using # : (/ (* a1 a2) (* b1 b2)) 1.966 * * [simplify]: iteration 0 : 16 enodes (cost 3 ) 1.967 * * [simplify]: iteration 1 : 37 enodes (cost 3 ) 1.968 * * [simplify]: iteration 2 : 67 enodes (cost 3 ) 1.970 * * [simplify]: iteration 3 : 79 enodes (cost 3 ) 1.971 * * [simplify]: iteration 4 : 79 enodes (cost 3 ) 1.972 * [simplify]: Simplified to: (/ (* a1 a2) (* b1 b2)) 1.972 * * [progress]: iteration 1 / 4 1.972 * * * [progress]: picking best candidate 1.975 * * * * [pick]: Picked # 1.975 * * * [progress]: localizing error 1.985 * * * [progress]: generating rewritten candidates 1.985 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1.991 * * * [progress]: generating series expansions 1.991 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1.991 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (a1 a2 b1 b2) around 0 1.991 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2 1.991 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 1.991 * [taylor]: Taking taylor expansion of a1 in b2 1.991 * [taylor]: Taking taylor expansion of a2 in b2 1.991 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 1.991 * [taylor]: Taking taylor expansion of b1 in b2 1.991 * [taylor]: Taking taylor expansion of b2 in b2 1.991 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1 1.991 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 1.991 * [taylor]: Taking taylor expansion of a1 in b1 1.991 * [taylor]: Taking taylor expansion of a2 in b1 1.991 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 1.991 * [taylor]: Taking taylor expansion of b1 in b1 1.991 * [taylor]: Taking taylor expansion of b2 in b1 1.991 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2 1.991 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 1.991 * [taylor]: Taking taylor expansion of a1 in a2 1.991 * [taylor]: Taking taylor expansion of a2 in a2 1.991 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 1.991 * [taylor]: Taking taylor expansion of b1 in a2 1.991 * [taylor]: Taking taylor expansion of b2 in a2 1.991 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1 1.991 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 1.991 * [taylor]: Taking taylor expansion of a1 in a1 1.991 * [taylor]: Taking taylor expansion of a2 in a1 1.991 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 1.991 * [taylor]: Taking taylor expansion of b1 in a1 1.991 * [taylor]: Taking taylor expansion of b2 in a1 1.991 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1 1.992 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 1.992 * [taylor]: Taking taylor expansion of a1 in a1 1.992 * [taylor]: Taking taylor expansion of a2 in a1 1.992 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 1.992 * [taylor]: Taking taylor expansion of b1 in a1 1.992 * [taylor]: Taking taylor expansion of b2 in a1 1.992 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2 1.992 * [taylor]: Taking taylor expansion of a2 in a2 1.992 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 1.992 * [taylor]: Taking taylor expansion of b1 in a2 1.992 * [taylor]: Taking taylor expansion of b2 in a2 1.992 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1 1.992 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 1.992 * [taylor]: Taking taylor expansion of b1 in b1 1.992 * [taylor]: Taking taylor expansion of b2 in b1 1.992 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2 1.992 * [taylor]: Taking taylor expansion of b2 in b2 1.992 * [taylor]: Taking taylor expansion of 0 in a2 1.992 * [taylor]: Taking taylor expansion of 0 in b1 1.992 * [taylor]: Taking taylor expansion of 0 in b1 1.992 * [taylor]: Taking taylor expansion of 0 in b2 1.993 * [taylor]: Taking taylor expansion of 0 in a2 1.993 * [taylor]: Taking taylor expansion of 0 in b1 1.993 * [taylor]: Taking taylor expansion of 0 in b1 1.993 * [taylor]: Taking taylor expansion of 0 in b1 1.993 * [taylor]: Taking taylor expansion of 0 in b2 1.993 * [taylor]: Taking taylor expansion of 0 in b2 1.993 * [taylor]: Taking taylor expansion of 0 in b2 1.993 * [taylor]: Taking taylor expansion of 0 in a2 1.993 * [taylor]: Taking taylor expansion of 0 in b1 1.993 * [taylor]: Taking taylor expansion of 0 in b1 1.993 * [taylor]: Taking taylor expansion of 0 in b1 1.994 * [taylor]: Taking taylor expansion of 0 in b1 1.994 * [taylor]: Taking taylor expansion of 0 in b2 1.994 * [taylor]: Taking taylor expansion of 0 in b2 1.994 * [taylor]: Taking taylor expansion of 0 in b2 1.994 * [taylor]: Taking taylor expansion of 0 in b2 1.994 * [taylor]: Taking taylor expansion of 0 in b2 1.994 * [taylor]: Taking taylor expansion of 0 in b2 1.994 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 a2 b1 b2) around 0 1.994 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2 1.994 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 1.994 * [taylor]: Taking taylor expansion of b1 in b2 1.994 * [taylor]: Taking taylor expansion of b2 in b2 1.994 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 1.994 * [taylor]: Taking taylor expansion of a1 in b2 1.994 * [taylor]: Taking taylor expansion of a2 in b2 1.994 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1 1.994 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 1.994 * [taylor]: Taking taylor expansion of b1 in b1 1.994 * [taylor]: Taking taylor expansion of b2 in b1 1.994 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 1.994 * [taylor]: Taking taylor expansion of a1 in b1 1.994 * [taylor]: Taking taylor expansion of a2 in b1 1.995 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2 1.995 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 1.995 * [taylor]: Taking taylor expansion of b1 in a2 1.995 * [taylor]: Taking taylor expansion of b2 in a2 1.995 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 1.995 * [taylor]: Taking taylor expansion of a1 in a2 1.995 * [taylor]: Taking taylor expansion of a2 in a2 1.995 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1 1.995 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 1.995 * [taylor]: Taking taylor expansion of b1 in a1 1.995 * [taylor]: Taking taylor expansion of b2 in a1 1.995 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 1.995 * [taylor]: Taking taylor expansion of a1 in a1 1.995 * [taylor]: Taking taylor expansion of a2 in a1 1.995 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1 1.995 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 1.995 * [taylor]: Taking taylor expansion of b1 in a1 1.995 * [taylor]: Taking taylor expansion of b2 in a1 1.995 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 1.995 * [taylor]: Taking taylor expansion of a1 in a1 1.995 * [taylor]: Taking taylor expansion of a2 in a1 1.995 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 1.995 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 1.995 * [taylor]: Taking taylor expansion of b1 in a2 1.995 * [taylor]: Taking taylor expansion of b2 in a2 1.995 * [taylor]: Taking taylor expansion of a2 in a2 1.995 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 1.995 * [taylor]: Taking taylor expansion of b1 in b1 1.995 * [taylor]: Taking taylor expansion of b2 in b1 1.995 * [taylor]: Taking taylor expansion of b2 in b2 1.996 * [taylor]: Taking taylor expansion of 0 in a2 1.996 * [taylor]: Taking taylor expansion of 0 in b1 1.996 * [taylor]: Taking taylor expansion of 0 in b2 1.996 * [taylor]: Taking taylor expansion of 0 in b2 1.996 * [taylor]: Taking taylor expansion of 0 in a2 1.996 * [taylor]: Taking taylor expansion of 0 in b1 1.996 * [taylor]: Taking taylor expansion of 0 in b2 1.996 * [taylor]: Taking taylor expansion of 0 in b1 1.996 * [taylor]: Taking taylor expansion of 0 in b2 1.996 * [taylor]: Taking taylor expansion of 0 in b2 1.996 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 a2 b1 b2) around 0 1.997 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2 1.997 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 1.997 * [taylor]: Taking taylor expansion of b1 in b2 1.997 * [taylor]: Taking taylor expansion of b2 in b2 1.997 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 1.997 * [taylor]: Taking taylor expansion of a1 in b2 1.997 * [taylor]: Taking taylor expansion of a2 in b2 1.997 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1 1.997 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 1.997 * [taylor]: Taking taylor expansion of b1 in b1 1.997 * [taylor]: Taking taylor expansion of b2 in b1 1.997 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 1.997 * [taylor]: Taking taylor expansion of a1 in b1 1.997 * [taylor]: Taking taylor expansion of a2 in b1 1.997 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2 1.997 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 1.997 * [taylor]: Taking taylor expansion of b1 in a2 1.997 * [taylor]: Taking taylor expansion of b2 in a2 1.997 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 1.997 * [taylor]: Taking taylor expansion of a1 in a2 1.997 * [taylor]: Taking taylor expansion of a2 in a2 1.997 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1 1.997 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 1.997 * [taylor]: Taking taylor expansion of b1 in a1 1.997 * [taylor]: Taking taylor expansion of b2 in a1 1.997 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 1.997 * [taylor]: Taking taylor expansion of a1 in a1 1.997 * [taylor]: Taking taylor expansion of a2 in a1 1.997 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1 1.997 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 1.997 * [taylor]: Taking taylor expansion of b1 in a1 1.997 * [taylor]: Taking taylor expansion of b2 in a1 1.997 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 1.997 * [taylor]: Taking taylor expansion of a1 in a1 1.997 * [taylor]: Taking taylor expansion of a2 in a1 1.998 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 1.998 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 1.998 * [taylor]: Taking taylor expansion of b1 in a2 1.998 * [taylor]: Taking taylor expansion of b2 in a2 1.998 * [taylor]: Taking taylor expansion of a2 in a2 1.998 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 1.998 * [taylor]: Taking taylor expansion of b1 in b1 1.998 * [taylor]: Taking taylor expansion of b2 in b1 1.998 * [taylor]: Taking taylor expansion of b2 in b2 1.998 * [taylor]: Taking taylor expansion of 0 in a2 1.998 * [taylor]: Taking taylor expansion of 0 in b1 1.998 * [taylor]: Taking taylor expansion of 0 in b2 1.998 * [taylor]: Taking taylor expansion of 0 in b2 1.998 * [taylor]: Taking taylor expansion of 0 in a2 1.998 * [taylor]: Taking taylor expansion of 0 in b1 1.998 * [taylor]: Taking taylor expansion of 0 in b2 1.998 * [taylor]: Taking taylor expansion of 0 in b1 1.998 * [taylor]: Taking taylor expansion of 0 in b2 1.998 * [taylor]: Taking taylor expansion of 0 in b2 1.999 * * * [progress]: simplifying candidates 1.999 * [simplify]: Simplifying using # : (- (+ (log a1) (log a2)) (+ (log b1) (log b2))) (- (+ (log a1) (log a2)) (log (* b1 b2))) (- (log (* a1 a2)) (+ (log b1) (log b2))) (- (log (* a1 a2)) (log (* 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 a2) (* a1 a2)) (* a1 a2)) (* (* (* b1 b1) b1) (* (* b2 b2) b2))) (/ (* (* (* a1 a2) (* a1 a2)) (* a1 a2)) (* (* (* b1 b2) (* b1 b2)) (* 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))) (neg (* a1 a2)) (neg (* b1 b2)) (/ a1 b1) (/ a2 b2) (/ 1 (* b1 b2)) (/ (* b1 b2) (* a1 a2)) (/ (* a1 a2) b1) (/ (* b1 b2) a2) (/ (* a1 a2) (* b1 b2)) (/ (* a1 a2) (* b1 b2)) (/ (* a1 a2) (* b1 b2)) 2.002 * * [simplify]: iteration 0 : 160 enodes (cost 124 ) 2.005 * * [simplify]: iteration 1 : 936 enodes (cost 89 ) 2.025 * * [simplify]: iteration 2 : 5001 enodes (cost 89 ) 2.026 * [simplify]: Simplified to: (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))) (exp (/ (* a1 a2) (* b1 b2))) (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))) (neg (* a1 a2)) (neg (* b1 b2)) (/ a1 b1) (/ a2 b2) (/ 1 (* b1 b2)) (/ (* b1 b2) (* a1 a2)) (/ (* a1 a2) b1) (/ (* b1 b2) a2) (/ (* a1 a2) (* b1 b2)) (/ (* a1 a2) (* b1 b2)) (/ (* a1 a2) (* b1 b2)) 2.026 * * * [progress]: adding candidates to table 2.050 * * [progress]: iteration 2 / 4 2.050 * * * [progress]: picking best candidate 2.067 * * * * [pick]: Picked # 2.067 * * * [progress]: localizing error 2.072 * * * [progress]: generating rewritten candidates 2.072 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 2.086 * * * [progress]: generating series expansions 2.086 * * * * [progress]: [ 1 / 1 ] generating series at (2) 2.086 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (a1 b1 a2 b2) around 0 2.086 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2 2.086 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 2.087 * [taylor]: Taking taylor expansion of a1 in b2 2.087 * [taylor]: Taking taylor expansion of a2 in b2 2.087 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 2.087 * [taylor]: Taking taylor expansion of b1 in b2 2.087 * [taylor]: Taking taylor expansion of b2 in b2 2.087 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2 2.087 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 2.087 * [taylor]: Taking taylor expansion of a1 in a2 2.087 * [taylor]: Taking taylor expansion of a2 in a2 2.087 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 2.087 * [taylor]: Taking taylor expansion of b1 in a2 2.087 * [taylor]: Taking taylor expansion of b2 in a2 2.087 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1 2.087 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 2.087 * [taylor]: Taking taylor expansion of a1 in b1 2.087 * [taylor]: Taking taylor expansion of a2 in b1 2.087 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 2.087 * [taylor]: Taking taylor expansion of b1 in b1 2.087 * [taylor]: Taking taylor expansion of b2 in b1 2.087 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1 2.087 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 2.087 * [taylor]: Taking taylor expansion of a1 in a1 2.087 * [taylor]: Taking taylor expansion of a2 in a1 2.087 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 2.087 * [taylor]: Taking taylor expansion of b1 in a1 2.087 * [taylor]: Taking taylor expansion of b2 in a1 2.087 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1 2.087 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 2.087 * [taylor]: Taking taylor expansion of a1 in a1 2.087 * [taylor]: Taking taylor expansion of a2 in a1 2.087 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 2.087 * [taylor]: Taking taylor expansion of b1 in a1 2.087 * [taylor]: Taking taylor expansion of b2 in a1 2.087 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b1 2.087 * [taylor]: Taking taylor expansion of a2 in b1 2.088 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 2.088 * [taylor]: Taking taylor expansion of b1 in b1 2.088 * [taylor]: Taking taylor expansion of b2 in b1 2.088 * [taylor]: Taking taylor expansion of (/ a2 b2) in a2 2.088 * [taylor]: Taking taylor expansion of a2 in a2 2.088 * [taylor]: Taking taylor expansion of b2 in a2 2.088 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2 2.088 * [taylor]: Taking taylor expansion of b2 in b2 2.088 * [taylor]: Taking taylor expansion of 0 in b1 2.088 * [taylor]: Taking taylor expansion of 0 in a2 2.088 * [taylor]: Taking taylor expansion of 0 in b2 2.088 * [taylor]: Taking taylor expansion of 0 in b2 2.088 * [taylor]: Taking taylor expansion of 0 in b1 2.088 * [taylor]: Taking taylor expansion of 0 in a2 2.088 * [taylor]: Taking taylor expansion of 0 in b2 2.089 * [taylor]: Taking taylor expansion of 0 in a2 2.089 * [taylor]: Taking taylor expansion of 0 in b2 2.089 * [taylor]: Taking taylor expansion of 0 in b2 2.089 * [taylor]: Taking taylor expansion of 0 in b2 2.089 * [taylor]: Taking taylor expansion of 0 in b1 2.089 * [taylor]: Taking taylor expansion of 0 in a2 2.089 * [taylor]: Taking taylor expansion of 0 in b2 2.089 * [taylor]: Taking taylor expansion of 0 in a2 2.089 * [taylor]: Taking taylor expansion of 0 in b2 2.089 * [taylor]: Taking taylor expansion of 0 in a2 2.089 * [taylor]: Taking taylor expansion of 0 in b2 2.089 * [taylor]: Taking taylor expansion of 0 in b2 2.089 * [taylor]: Taking taylor expansion of 0 in b2 2.089 * [taylor]: Taking taylor expansion of 0 in b2 2.089 * [taylor]: Taking taylor expansion of 0 in b2 2.090 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 b1 a2 b2) around 0 2.090 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2 2.090 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 2.090 * [taylor]: Taking taylor expansion of b1 in b2 2.090 * [taylor]: Taking taylor expansion of b2 in b2 2.090 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 2.090 * [taylor]: Taking taylor expansion of a1 in b2 2.090 * [taylor]: Taking taylor expansion of a2 in b2 2.090 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2 2.090 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 2.090 * [taylor]: Taking taylor expansion of b1 in a2 2.090 * [taylor]: Taking taylor expansion of b2 in a2 2.090 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 2.090 * [taylor]: Taking taylor expansion of a1 in a2 2.090 * [taylor]: Taking taylor expansion of a2 in a2 2.090 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1 2.090 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 2.090 * [taylor]: Taking taylor expansion of b1 in b1 2.090 * [taylor]: Taking taylor expansion of b2 in b1 2.090 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 2.090 * [taylor]: Taking taylor expansion of a1 in b1 2.090 * [taylor]: Taking taylor expansion of a2 in b1 2.090 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1 2.090 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 2.090 * [taylor]: Taking taylor expansion of b1 in a1 2.090 * [taylor]: Taking taylor expansion of b2 in a1 2.090 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 2.090 * [taylor]: Taking taylor expansion of a1 in a1 2.090 * [taylor]: Taking taylor expansion of a2 in a1 2.090 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1 2.090 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 2.090 * [taylor]: Taking taylor expansion of b1 in a1 2.090 * [taylor]: Taking taylor expansion of b2 in a1 2.090 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 2.090 * [taylor]: Taking taylor expansion of a1 in a1 2.090 * [taylor]: Taking taylor expansion of a2 in a1 2.091 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1 2.091 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 2.091 * [taylor]: Taking taylor expansion of b1 in b1 2.091 * [taylor]: Taking taylor expansion of b2 in b1 2.091 * [taylor]: Taking taylor expansion of a2 in b1 2.091 * [taylor]: Taking taylor expansion of (/ b2 a2) in a2 2.091 * [taylor]: Taking taylor expansion of b2 in a2 2.091 * [taylor]: Taking taylor expansion of a2 in a2 2.091 * [taylor]: Taking taylor expansion of b2 in b2 2.091 * [taylor]: Taking taylor expansion of 0 in b1 2.091 * [taylor]: Taking taylor expansion of 0 in a2 2.091 * [taylor]: Taking taylor expansion of 0 in a2 2.091 * [taylor]: Taking taylor expansion of 0 in b2 2.091 * [taylor]: Taking taylor expansion of 0 in b1 2.091 * [taylor]: Taking taylor expansion of 0 in a2 2.091 * [taylor]: Taking taylor expansion of 0 in a2 2.092 * [taylor]: Taking taylor expansion of 0 in a2 2.092 * [taylor]: Taking taylor expansion of 0 in b2 2.092 * [taylor]: Taking taylor expansion of 0 in b2 2.092 * [taylor]: Taking taylor expansion of 0 in b2 2.092 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 b1 a2 b2) around 0 2.092 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2 2.092 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 2.092 * [taylor]: Taking taylor expansion of b1 in b2 2.092 * [taylor]: Taking taylor expansion of b2 in b2 2.092 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 2.092 * [taylor]: Taking taylor expansion of a1 in b2 2.092 * [taylor]: Taking taylor expansion of a2 in b2 2.092 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2 2.092 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 2.092 * [taylor]: Taking taylor expansion of b1 in a2 2.092 * [taylor]: Taking taylor expansion of b2 in a2 2.092 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 2.092 * [taylor]: Taking taylor expansion of a1 in a2 2.092 * [taylor]: Taking taylor expansion of a2 in a2 2.092 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1 2.092 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 2.092 * [taylor]: Taking taylor expansion of b1 in b1 2.092 * [taylor]: Taking taylor expansion of b2 in b1 2.092 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 2.092 * [taylor]: Taking taylor expansion of a1 in b1 2.092 * [taylor]: Taking taylor expansion of a2 in b1 2.092 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1 2.092 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 2.093 * [taylor]: Taking taylor expansion of b1 in a1 2.093 * [taylor]: Taking taylor expansion of b2 in a1 2.093 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 2.093 * [taylor]: Taking taylor expansion of a1 in a1 2.093 * [taylor]: Taking taylor expansion of a2 in a1 2.093 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1 2.093 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 2.093 * [taylor]: Taking taylor expansion of b1 in a1 2.093 * [taylor]: Taking taylor expansion of b2 in a1 2.093 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 2.093 * [taylor]: Taking taylor expansion of a1 in a1 2.093 * [taylor]: Taking taylor expansion of a2 in a1 2.093 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1 2.093 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 2.093 * [taylor]: Taking taylor expansion of b1 in b1 2.093 * [taylor]: Taking taylor expansion of b2 in b1 2.093 * [taylor]: Taking taylor expansion of a2 in b1 2.093 * [taylor]: Taking taylor expansion of (/ b2 a2) in a2 2.093 * [taylor]: Taking taylor expansion of b2 in a2 2.093 * [taylor]: Taking taylor expansion of a2 in a2 2.093 * [taylor]: Taking taylor expansion of b2 in b2 2.093 * [taylor]: Taking taylor expansion of 0 in b1 2.093 * [taylor]: Taking taylor expansion of 0 in a2 2.093 * [taylor]: Taking taylor expansion of 0 in a2 2.093 * [taylor]: Taking taylor expansion of 0 in b2 2.094 * [taylor]: Taking taylor expansion of 0 in b1 2.094 * [taylor]: Taking taylor expansion of 0 in a2 2.094 * [taylor]: Taking taylor expansion of 0 in a2 2.094 * [taylor]: Taking taylor expansion of 0 in a2 2.094 * [taylor]: Taking taylor expansion of 0 in b2 2.094 * [taylor]: Taking taylor expansion of 0 in b2 2.094 * [taylor]: Taking taylor expansion of 0 in b2 2.094 * * * [progress]: simplifying candidates 2.095 * [simplify]: Simplifying using # : (* (/ a1 b1) (/ a2 b2)) (+ (- (log a1) (log b1)) (- (log a2) (log b2))) (+ (- (log a1) (log b1)) (log (/ a2 b2))) (+ (log (/ a1 b1)) (- (log a2) (log b2))) (+ (log (/ a1 b1)) (log (/ a2 b2))) (log (* (/ a1 b1) (/ a2 b2))) (exp (* (/ a1 b1) (/ a2 b2))) (* (/ (* (* a1 a1) a1) (* (* b1 b1) b1)) (/ (* (* a2 a2) a2) (* (* b2 b2) b2))) (* (/ (* (* a1 a1) a1) (* (* b1 b1) b1)) (* (* (/ a2 b2) (/ a2 b2)) (/ a2 b2))) (* (* (* (/ a1 b1) (/ a1 b1)) (/ a1 b1)) (/ (* (* a2 a2) a2) (* (* b2 b2) b2))) (* (* (* (/ a1 b1) (/ a1 b1)) (/ a1 b1)) (* (* (/ a2 b2) (/ a2 b2)) (/ a2 b2))) (* (cbrt (* (/ a1 b1) (/ a2 b2))) (cbrt (* (/ a1 b1) (/ a2 b2)))) (cbrt (* (/ a1 b1) (/ a2 b2))) (* (* (* (/ a1 b1) (/ a2 b2)) (* (/ a1 b1) (/ a2 b2))) (* (/ a1 b1) (/ a2 b2))) (sqrt (* (/ a1 b1) (/ a2 b2))) (sqrt (* (/ a1 b1) (/ a2 b2))) (* a1 a2) (* b1 b2) (* (sqrt (/ a1 b1)) (sqrt (/ a2 b2))) (* (sqrt (/ a1 b1)) (sqrt (/ a2 b2))) (* (sqrt (/ a1 b1)) (/ (sqrt a2) (sqrt b2))) (* (sqrt (/ a1 b1)) (/ (sqrt a2) (sqrt b2))) (* (/ (sqrt a1) (sqrt b1)) (sqrt (/ a2 b2))) (* (/ (sqrt a1) (sqrt b1)) (sqrt (/ a2 b2))) (* (/ (sqrt a1) (sqrt b1)) (/ (sqrt a2) (sqrt b2))) (* (/ (sqrt a1) (sqrt b1)) (/ (sqrt a2) (sqrt b2))) (* (/ a1 b1) (* (cbrt (/ a2 b2)) (cbrt (/ a2 b2)))) (* (/ a1 b1) (sqrt (/ a2 b2))) (* (/ a1 b1) (/ (* (cbrt a2) (cbrt a2)) (* (cbrt b2) (cbrt b2)))) (* (/ a1 b1) (/ (* (cbrt a2) (cbrt a2)) (sqrt b2))) (* (/ a1 b1) (/ (* (cbrt a2) (cbrt a2)) 1)) (* (/ a1 b1) (/ (sqrt a2) (* (cbrt b2) (cbrt b2)))) (* (/ a1 b1) (/ (sqrt a2) (sqrt b2))) (* (/ a1 b1) (/ (sqrt a2) 1)) (* (/ a1 b1) (/ 1 (* (cbrt b2) (cbrt b2)))) (* (/ a1 b1) (/ 1 (sqrt b2))) (* (/ a1 b1) (/ 1 1)) (* (/ a1 b1) 1) (* (/ a1 b1) a2) (* (cbrt (/ a1 b1)) (/ a2 b2)) (* (sqrt (/ a1 b1)) (/ a2 b2)) (* (/ (cbrt a1) (cbrt b1)) (/ a2 b2)) (* (/ (cbrt a1) (sqrt b1)) (/ a2 b2)) (* (/ (cbrt a1) b1) (/ a2 b2)) (* (/ (sqrt a1) (cbrt b1)) (/ a2 b2)) (* (/ (sqrt a1) (sqrt b1)) (/ a2 b2)) (* (/ (sqrt a1) b1) (/ a2 b2)) (* (/ a1 (cbrt b1)) (/ a2 b2)) (* (/ a1 (sqrt b1)) (/ a2 b2)) (* (/ a1 b1) (/ a2 b2)) (* (/ a1 b1) (/ a2 b2)) (* (/ 1 b1) (/ a2 b2)) (* (/ a1 b1) a2) (* a1 (/ a2 b2)) (/ (* a1 a2) (* b1 b2)) (/ (* a1 a2) (* b1 b2)) (/ (* a1 a2) (* b1 b2)) 2.098 * * [simplify]: iteration 0 : 319 enodes (cost 278 ) 2.105 * * [simplify]: iteration 1 : 1415 enodes (cost 243 ) 2.142 * * [simplify]: iteration 2 : 5001 enodes (cost 242 ) 2.145 * [simplify]: Simplified to: (/ (* a1 a2) (* b1 b2)) (log (* (/ a1 b1) (/ a2 b2))) (log (* (/ a1 b1) (/ a2 b2))) (log (* (/ a1 b1) (/ a2 b2))) (log (* (/ a1 b1) (/ a2 b2))) (log (* (/ a1 b1) (/ a2 b2))) (exp (* (/ a1 b1) (/ a2 b2))) (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 b1) (/ a2 b2))) (cbrt (* (/ a1 b1) (/ a2 b2)))) (cbrt (* (/ a1 b1) (/ a2 b2))) (pow (/ (* a1 a2) (* b1 b2)) 3) (sqrt (* (/ a1 b1) (/ a2 b2))) (sqrt (* (/ a1 b1) (/ a2 b2))) (* a1 a2) (* b1 b2) (* (sqrt (/ a1 b1)) (sqrt (/ a2 b2))) (* (sqrt (/ a1 b1)) (sqrt (/ a2 b2))) (* (sqrt (/ a1 b1)) (/ (sqrt a2) (sqrt b2))) (* (sqrt (/ a1 b1)) (/ (sqrt a2) (sqrt b2))) (* (/ (sqrt a1) (sqrt b1)) (sqrt (/ a2 b2))) (* (/ (sqrt a1) (sqrt b1)) (sqrt (/ a2 b2))) (* (/ (sqrt a1) (sqrt b1)) (/ (sqrt a2) (sqrt b2))) (* (/ (sqrt a1) (sqrt b1)) (/ (sqrt a2) (sqrt b2))) (* (/ a1 b1) (* (cbrt (/ a2 b2)) (cbrt (/ a2 b2)))) (* (/ a1 b1) (sqrt (/ a2 b2))) (* (/ a1 b1) (/ (* (cbrt a2) (cbrt a2)) (* (cbrt b2) (cbrt b2)))) (* (/ a1 b1) (/ (* (cbrt a2) (cbrt a2)) (sqrt b2))) (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (* (/ a1 b1) (/ (sqrt a2) (* (cbrt b2) (cbrt b2)))) (* (/ a1 b1) (/ (sqrt a2) (sqrt b2))) (/ (* a1 (sqrt a2)) b1) (/ (/ a1 b1) (* (cbrt b2) (cbrt b2))) (/ (/ a1 b1) (sqrt b2)) (/ a1 b1) (/ a1 b1) (* (/ a1 b1) a2) (* (cbrt (/ a1 b1)) (/ a2 b2)) (* (sqrt (/ a1 b1)) (/ a2 b2)) (* (/ (cbrt a1) (cbrt b1)) (/ a2 b2)) (* (/ (cbrt a1) (sqrt b1)) (/ a2 b2)) (* (/ (cbrt a1) b1) (/ a2 b2)) (* (/ (sqrt a1) (cbrt b1)) (/ a2 b2)) (* (/ (sqrt a1) (sqrt b1)) (/ a2 b2)) (* (/ (sqrt a1) b1) (/ a2 b2)) (* (/ a1 (cbrt b1)) (/ a2 b2)) (* (/ a1 (sqrt b1)) (/ a2 b2)) (/ (* a1 a2) (* b1 b2)) (/ (* a1 a2) (* b1 b2)) (/ (/ a2 b2) b1) (* (/ a1 b1) a2) (* a1 (/ a2 b2)) (/ (* a1 a2) (* b1 b2)) (/ (* a1 a2) (* b1 b2)) (/ (* a1 a2) (* b1 b2)) 2.145 * * * [progress]: adding candidates to table 2.207 * * [progress]: iteration 3 / 4 2.207 * * * [progress]: picking best candidate 2.243 * * * * [pick]: Picked # 2.243 * * * [progress]: localizing error 2.250 * * * [progress]: generating rewritten candidates 2.250 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 2.259 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 2.270 * * * [progress]: generating series expansions 2.270 * * * * [progress]: [ 1 / 2 ] generating series at (2) 2.270 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (a1 b1 a2 b2) around 0 2.270 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2 2.270 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 2.270 * [taylor]: Taking taylor expansion of a1 in b2 2.270 * [taylor]: Taking taylor expansion of a2 in b2 2.270 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 2.270 * [taylor]: Taking taylor expansion of b1 in b2 2.270 * [taylor]: Taking taylor expansion of b2 in b2 2.270 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2 2.270 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 2.270 * [taylor]: Taking taylor expansion of a1 in a2 2.270 * [taylor]: Taking taylor expansion of a2 in a2 2.270 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 2.270 * [taylor]: Taking taylor expansion of b1 in a2 2.270 * [taylor]: Taking taylor expansion of b2 in a2 2.270 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1 2.270 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 2.270 * [taylor]: Taking taylor expansion of a1 in b1 2.270 * [taylor]: Taking taylor expansion of a2 in b1 2.270 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 2.270 * [taylor]: Taking taylor expansion of b1 in b1 2.270 * [taylor]: Taking taylor expansion of b2 in b1 2.271 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1 2.271 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 2.271 * [taylor]: Taking taylor expansion of a1 in a1 2.271 * [taylor]: Taking taylor expansion of a2 in a1 2.271 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 2.271 * [taylor]: Taking taylor expansion of b1 in a1 2.271 * [taylor]: Taking taylor expansion of b2 in a1 2.271 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1 2.271 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 2.271 * [taylor]: Taking taylor expansion of a1 in a1 2.271 * [taylor]: Taking taylor expansion of a2 in a1 2.271 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 2.271 * [taylor]: Taking taylor expansion of b1 in a1 2.271 * [taylor]: Taking taylor expansion of b2 in a1 2.271 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b1 2.271 * [taylor]: Taking taylor expansion of a2 in b1 2.271 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 2.271 * [taylor]: Taking taylor expansion of b1 in b1 2.271 * [taylor]: Taking taylor expansion of b2 in b1 2.271 * [taylor]: Taking taylor expansion of (/ a2 b2) in a2 2.271 * [taylor]: Taking taylor expansion of a2 in a2 2.271 * [taylor]: Taking taylor expansion of b2 in a2 2.271 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2 2.271 * [taylor]: Taking taylor expansion of b2 in b2 2.271 * [taylor]: Taking taylor expansion of 0 in b1 2.272 * [taylor]: Taking taylor expansion of 0 in a2 2.272 * [taylor]: Taking taylor expansion of 0 in b2 2.272 * [taylor]: Taking taylor expansion of 0 in b2 2.272 * [taylor]: Taking taylor expansion of 0 in b1 2.272 * [taylor]: Taking taylor expansion of 0 in a2 2.272 * [taylor]: Taking taylor expansion of 0 in b2 2.272 * [taylor]: Taking taylor expansion of 0 in a2 2.272 * [taylor]: Taking taylor expansion of 0 in b2 2.272 * [taylor]: Taking taylor expansion of 0 in b2 2.272 * [taylor]: Taking taylor expansion of 0 in b2 2.273 * [taylor]: Taking taylor expansion of 0 in b1 2.273 * [taylor]: Taking taylor expansion of 0 in a2 2.273 * [taylor]: Taking taylor expansion of 0 in b2 2.273 * [taylor]: Taking taylor expansion of 0 in a2 2.273 * [taylor]: Taking taylor expansion of 0 in b2 2.273 * [taylor]: Taking taylor expansion of 0 in a2 2.273 * [taylor]: Taking taylor expansion of 0 in b2 2.273 * [taylor]: Taking taylor expansion of 0 in b2 2.273 * [taylor]: Taking taylor expansion of 0 in b2 2.273 * [taylor]: Taking taylor expansion of 0 in b2 2.273 * [taylor]: Taking taylor expansion of 0 in b2 2.273 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 b1 a2 b2) around 0 2.273 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2 2.273 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 2.273 * [taylor]: Taking taylor expansion of b1 in b2 2.273 * [taylor]: Taking taylor expansion of b2 in b2 2.273 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 2.273 * [taylor]: Taking taylor expansion of a1 in b2 2.273 * [taylor]: Taking taylor expansion of a2 in b2 2.273 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2 2.273 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 2.273 * [taylor]: Taking taylor expansion of b1 in a2 2.273 * [taylor]: Taking taylor expansion of b2 in a2 2.273 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 2.273 * [taylor]: Taking taylor expansion of a1 in a2 2.274 * [taylor]: Taking taylor expansion of a2 in a2 2.274 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1 2.274 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 2.274 * [taylor]: Taking taylor expansion of b1 in b1 2.274 * [taylor]: Taking taylor expansion of b2 in b1 2.274 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 2.274 * [taylor]: Taking taylor expansion of a1 in b1 2.274 * [taylor]: Taking taylor expansion of a2 in b1 2.274 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1 2.274 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 2.274 * [taylor]: Taking taylor expansion of b1 in a1 2.274 * [taylor]: Taking taylor expansion of b2 in a1 2.274 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 2.274 * [taylor]: Taking taylor expansion of a1 in a1 2.274 * [taylor]: Taking taylor expansion of a2 in a1 2.274 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1 2.274 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 2.274 * [taylor]: Taking taylor expansion of b1 in a1 2.274 * [taylor]: Taking taylor expansion of b2 in a1 2.274 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 2.274 * [taylor]: Taking taylor expansion of a1 in a1 2.274 * [taylor]: Taking taylor expansion of a2 in a1 2.274 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1 2.274 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 2.274 * [taylor]: Taking taylor expansion of b1 in b1 2.274 * [taylor]: Taking taylor expansion of b2 in b1 2.274 * [taylor]: Taking taylor expansion of a2 in b1 2.274 * [taylor]: Taking taylor expansion of (/ b2 a2) in a2 2.274 * [taylor]: Taking taylor expansion of b2 in a2 2.274 * [taylor]: Taking taylor expansion of a2 in a2 2.274 * [taylor]: Taking taylor expansion of b2 in b2 2.275 * [taylor]: Taking taylor expansion of 0 in b1 2.275 * [taylor]: Taking taylor expansion of 0 in a2 2.275 * [taylor]: Taking taylor expansion of 0 in a2 2.275 * [taylor]: Taking taylor expansion of 0 in b2 2.275 * [taylor]: Taking taylor expansion of 0 in b1 2.275 * [taylor]: Taking taylor expansion of 0 in a2 2.275 * [taylor]: Taking taylor expansion of 0 in a2 2.275 * [taylor]: Taking taylor expansion of 0 in a2 2.275 * [taylor]: Taking taylor expansion of 0 in b2 2.275 * [taylor]: Taking taylor expansion of 0 in b2 2.275 * [taylor]: Taking taylor expansion of 0 in b2 2.276 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 b1 a2 b2) around 0 2.276 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2 2.276 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 2.276 * [taylor]: Taking taylor expansion of b1 in b2 2.276 * [taylor]: Taking taylor expansion of b2 in b2 2.276 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 2.276 * [taylor]: Taking taylor expansion of a1 in b2 2.276 * [taylor]: Taking taylor expansion of a2 in b2 2.276 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2 2.276 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 2.276 * [taylor]: Taking taylor expansion of b1 in a2 2.276 * [taylor]: Taking taylor expansion of b2 in a2 2.276 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 2.276 * [taylor]: Taking taylor expansion of a1 in a2 2.276 * [taylor]: Taking taylor expansion of a2 in a2 2.276 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1 2.276 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 2.276 * [taylor]: Taking taylor expansion of b1 in b1 2.276 * [taylor]: Taking taylor expansion of b2 in b1 2.276 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 2.276 * [taylor]: Taking taylor expansion of a1 in b1 2.276 * [taylor]: Taking taylor expansion of a2 in b1 2.276 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1 2.276 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 2.276 * [taylor]: Taking taylor expansion of b1 in a1 2.276 * [taylor]: Taking taylor expansion of b2 in a1 2.276 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 2.276 * [taylor]: Taking taylor expansion of a1 in a1 2.276 * [taylor]: Taking taylor expansion of a2 in a1 2.276 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1 2.276 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 2.276 * [taylor]: Taking taylor expansion of b1 in a1 2.276 * [taylor]: Taking taylor expansion of b2 in a1 2.276 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 2.276 * [taylor]: Taking taylor expansion of a1 in a1 2.276 * [taylor]: Taking taylor expansion of a2 in a1 2.276 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1 2.276 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 2.277 * [taylor]: Taking taylor expansion of b1 in b1 2.277 * [taylor]: Taking taylor expansion of b2 in b1 2.277 * [taylor]: Taking taylor expansion of a2 in b1 2.277 * [taylor]: Taking taylor expansion of (/ b2 a2) in a2 2.277 * [taylor]: Taking taylor expansion of b2 in a2 2.277 * [taylor]: Taking taylor expansion of a2 in a2 2.277 * [taylor]: Taking taylor expansion of b2 in b2 2.277 * [taylor]: Taking taylor expansion of 0 in b1 2.277 * [taylor]: Taking taylor expansion of 0 in a2 2.277 * [taylor]: Taking taylor expansion of 0 in a2 2.277 * [taylor]: Taking taylor expansion of 0 in b2 2.277 * [taylor]: Taking taylor expansion of 0 in b1 2.277 * [taylor]: Taking taylor expansion of 0 in a2 2.277 * [taylor]: Taking taylor expansion of 0 in a2 2.277 * [taylor]: Taking taylor expansion of 0 in a2 2.277 * [taylor]: Taking taylor expansion of 0 in b2 2.277 * [taylor]: Taking taylor expansion of 0 in b2 2.278 * [taylor]: Taking taylor expansion of 0 in b2 2.278 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 2.278 * [approximate]: Taking taylor expansion of (/ (* a1 a2) b1) in (a1 b1 a2) around 0 2.278 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b1) in a2 2.278 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 2.278 * [taylor]: Taking taylor expansion of a1 in a2 2.278 * [taylor]: Taking taylor expansion of a2 in a2 2.278 * [taylor]: Taking taylor expansion of b1 in a2 2.278 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b1) in b1 2.278 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 2.278 * [taylor]: Taking taylor expansion of a1 in b1 2.278 * [taylor]: Taking taylor expansion of a2 in b1 2.278 * [taylor]: Taking taylor expansion of b1 in b1 2.278 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b1) in a1 2.278 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 2.278 * [taylor]: Taking taylor expansion of a1 in a1 2.278 * [taylor]: Taking taylor expansion of a2 in a1 2.278 * [taylor]: Taking taylor expansion of b1 in a1 2.278 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b1) in a1 2.278 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 2.278 * [taylor]: Taking taylor expansion of a1 in a1 2.278 * [taylor]: Taking taylor expansion of a2 in a1 2.278 * [taylor]: Taking taylor expansion of b1 in a1 2.278 * [taylor]: Taking taylor expansion of (/ a2 b1) in b1 2.278 * [taylor]: Taking taylor expansion of a2 in b1 2.278 * [taylor]: Taking taylor expansion of b1 in b1 2.278 * [taylor]: Taking taylor expansion of a2 in a2 2.279 * [taylor]: Taking taylor expansion of 0 in b1 2.279 * [taylor]: Taking taylor expansion of 0 in a2 2.279 * [taylor]: Taking taylor expansion of 0 in b1 2.279 * [taylor]: Taking taylor expansion of 0 in a2 2.279 * [taylor]: Taking taylor expansion of 0 in a2 2.279 * [approximate]: Taking taylor expansion of (/ b1 (* a1 a2)) in (a1 b1 a2) around 0 2.279 * [taylor]: Taking taylor expansion of (/ b1 (* a1 a2)) in a2 2.279 * [taylor]: Taking taylor expansion of b1 in a2 2.279 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 2.279 * [taylor]: Taking taylor expansion of a1 in a2 2.279 * [taylor]: Taking taylor expansion of a2 in a2 2.279 * [taylor]: Taking taylor expansion of (/ b1 (* a1 a2)) in b1 2.279 * [taylor]: Taking taylor expansion of b1 in b1 2.279 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 2.279 * [taylor]: Taking taylor expansion of a1 in b1 2.279 * [taylor]: Taking taylor expansion of a2 in b1 2.279 * [taylor]: Taking taylor expansion of (/ b1 (* a1 a2)) in a1 2.279 * [taylor]: Taking taylor expansion of b1 in a1 2.279 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 2.279 * [taylor]: Taking taylor expansion of a1 in a1 2.279 * [taylor]: Taking taylor expansion of a2 in a1 2.279 * [taylor]: Taking taylor expansion of (/ b1 (* a1 a2)) in a1 2.279 * [taylor]: Taking taylor expansion of b1 in a1 2.279 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 2.279 * [taylor]: Taking taylor expansion of a1 in a1 2.279 * [taylor]: Taking taylor expansion of a2 in a1 2.280 * [taylor]: Taking taylor expansion of (/ b1 a2) in b1 2.280 * [taylor]: Taking taylor expansion of b1 in b1 2.280 * [taylor]: Taking taylor expansion of a2 in b1 2.280 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2 2.280 * [taylor]: Taking taylor expansion of a2 in a2 2.280 * [taylor]: Taking taylor expansion of 0 in b1 2.280 * [taylor]: Taking taylor expansion of 0 in a2 2.280 * [taylor]: Taking taylor expansion of 0 in a2 2.280 * [taylor]: Taking taylor expansion of 0 in b1 2.280 * [taylor]: Taking taylor expansion of 0 in a2 2.280 * [taylor]: Taking taylor expansion of 0 in a2 2.280 * [taylor]: Taking taylor expansion of 0 in a2 2.280 * [taylor]: Taking taylor expansion of 0 in b1 2.280 * [taylor]: Taking taylor expansion of 0 in a2 2.280 * [taylor]: Taking taylor expansion of 0 in a2 2.280 * [taylor]: Taking taylor expansion of 0 in a2 2.281 * [taylor]: Taking taylor expansion of 0 in a2 2.281 * [approximate]: Taking taylor expansion of (* -1 (/ b1 (* a1 a2))) in (a1 b1 a2) around 0 2.281 * [taylor]: Taking taylor expansion of (* -1 (/ b1 (* a1 a2))) in a2 2.281 * [taylor]: Taking taylor expansion of -1 in a2 2.281 * [taylor]: Taking taylor expansion of (/ b1 (* a1 a2)) in a2 2.281 * [taylor]: Taking taylor expansion of b1 in a2 2.281 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 2.281 * [taylor]: Taking taylor expansion of a1 in a2 2.281 * [taylor]: Taking taylor expansion of a2 in a2 2.281 * [taylor]: Taking taylor expansion of (* -1 (/ b1 (* a1 a2))) in b1 2.281 * [taylor]: Taking taylor expansion of -1 in b1 2.281 * [taylor]: Taking taylor expansion of (/ b1 (* a1 a2)) in b1 2.281 * [taylor]: Taking taylor expansion of b1 in b1 2.281 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 2.281 * [taylor]: Taking taylor expansion of a1 in b1 2.281 * [taylor]: Taking taylor expansion of a2 in b1 2.281 * [taylor]: Taking taylor expansion of (* -1 (/ b1 (* a1 a2))) in a1 2.281 * [taylor]: Taking taylor expansion of -1 in a1 2.281 * [taylor]: Taking taylor expansion of (/ b1 (* a1 a2)) in a1 2.281 * [taylor]: Taking taylor expansion of b1 in a1 2.281 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 2.281 * [taylor]: Taking taylor expansion of a1 in a1 2.281 * [taylor]: Taking taylor expansion of a2 in a1 2.281 * [taylor]: Taking taylor expansion of (* -1 (/ b1 (* a1 a2))) in a1 2.281 * [taylor]: Taking taylor expansion of -1 in a1 2.281 * [taylor]: Taking taylor expansion of (/ b1 (* a1 a2)) in a1 2.281 * [taylor]: Taking taylor expansion of b1 in a1 2.281 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 2.281 * [taylor]: Taking taylor expansion of a1 in a1 2.281 * [taylor]: Taking taylor expansion of a2 in a1 2.281 * [taylor]: Taking taylor expansion of (* -1 (/ b1 a2)) in b1 2.281 * [taylor]: Taking taylor expansion of -1 in b1 2.281 * [taylor]: Taking taylor expansion of (/ b1 a2) in b1 2.282 * [taylor]: Taking taylor expansion of b1 in b1 2.282 * [taylor]: Taking taylor expansion of a2 in b1 2.282 * [taylor]: Taking taylor expansion of (/ -1 a2) in a2 2.282 * [taylor]: Taking taylor expansion of -1 in a2 2.282 * [taylor]: Taking taylor expansion of a2 in a2 2.282 * [taylor]: Taking taylor expansion of 0 in b1 2.282 * [taylor]: Taking taylor expansion of 0 in a2 2.282 * [taylor]: Taking taylor expansion of 0 in a2 2.282 * [taylor]: Taking taylor expansion of 0 in b1 2.282 * [taylor]: Taking taylor expansion of 0 in a2 2.282 * [taylor]: Taking taylor expansion of 0 in a2 2.282 * [taylor]: Taking taylor expansion of 0 in a2 2.283 * [taylor]: Taking taylor expansion of 0 in b1 2.283 * [taylor]: Taking taylor expansion of 0 in a2 2.283 * [taylor]: Taking taylor expansion of 0 in a2 2.283 * [taylor]: Taking taylor expansion of 0 in a2 2.283 * [taylor]: Taking taylor expansion of 0 in a2 2.283 * * * [progress]: simplifying candidates 2.284 * [simplify]: Simplifying using # : (* (* (/ a1 b1) a2) (/ 1 b2)) (* (* (/ a1 b1) a2) (/ 1 b2)) (+ (+ (- (log a1) (log b1)) (log a2)) (neg (log b2))) (+ (+ (- (log a1) (log b1)) (log a2)) (- 0 (log b2))) (+ (+ (- (log a1) (log b1)) (log a2)) (- (log 1) (log b2))) (+ (+ (- (log a1) (log b1)) (log a2)) (log (/ 1 b2))) (+ (+ (log (/ a1 b1)) (log a2)) (neg (log b2))) (+ (+ (log (/ a1 b1)) (log a2)) (- 0 (log b2))) (+ (+ (log (/ a1 b1)) (log a2)) (- (log 1) (log b2))) (+ (+ (log (/ a1 b1)) (log a2)) (log (/ 1 b2))) (+ (log (* (/ a1 b1) a2)) (neg (log b2))) (+ (log (* (/ a1 b1) a2)) (- 0 (log b2))) (+ (log (* (/ a1 b1) a2)) (- (log 1) (log b2))) (+ (log (* (/ a1 b1) a2)) (log (/ 1 b2))) (log (* (* (/ a1 b1) a2) (/ 1 b2))) (exp (* (* (/ a1 b1) a2) (/ 1 b2))) (* (* (/ (* (* a1 a1) a1) (* (* b1 b1) b1)) (* (* a2 a2) a2)) (/ (* (* 1 1) 1) (* (* b2 b2) b2))) (* (* (/ (* (* a1 a1) a1) (* (* b1 b1) b1)) (* (* a2 a2) a2)) (* (* (/ 1 b2) (/ 1 b2)) (/ 1 b2))) (* (* (* (* (/ a1 b1) (/ a1 b1)) (/ a1 b1)) (* (* a2 a2) a2)) (/ (* (* 1 1) 1) (* (* b2 b2) b2))) (* (* (* (* (/ a1 b1) (/ a1 b1)) (/ a1 b1)) (* (* a2 a2) a2)) (* (* (/ 1 b2) (/ 1 b2)) (/ 1 b2))) (* (* (* (* (/ a1 b1) a2) (* (/ a1 b1) a2)) (* (/ a1 b1) a2)) (/ (* (* 1 1) 1) (* (* b2 b2) b2))) (* (* (* (* (/ a1 b1) a2) (* (/ a1 b1) a2)) (* (/ a1 b1) a2)) (* (* (/ 1 b2) (/ 1 b2)) (/ 1 b2))) (* (cbrt (* (* (/ a1 b1) a2) (/ 1 b2))) (cbrt (* (* (/ a1 b1) a2) (/ 1 b2)))) (cbrt (* (* (/ a1 b1) a2) (/ 1 b2))) (* (* (* (* (/ a1 b1) a2) (/ 1 b2)) (* (* (/ a1 b1) a2) (/ 1 b2))) (* (* (/ a1 b1) a2) (/ 1 b2))) (sqrt (* (* (/ a1 b1) a2) (/ 1 b2))) (sqrt (* (* (/ a1 b1) a2) (/ 1 b2))) (* (* a1 a2) 1) (* b1 b2) (* (* (/ a1 b1) a2) (* (cbrt (/ 1 b2)) (cbrt (/ 1 b2)))) (* (* (/ a1 b1) a2) (sqrt (/ 1 b2))) (* (* (/ a1 b1) a2) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt b2) (cbrt b2)))) (* (* (/ a1 b1) a2) (/ (* (cbrt 1) (cbrt 1)) (sqrt b2))) (* (* (/ a1 b1) a2) (/ (* (cbrt 1) (cbrt 1)) 1)) (* (* (/ a1 b1) a2) (/ (sqrt 1) (* (cbrt b2) (cbrt b2)))) (* (* (/ a1 b1) a2) (/ (sqrt 1) (sqrt b2))) (* (* (/ a1 b1) a2) (/ (sqrt 1) 1)) (* (* (/ a1 b1) a2) (/ 1 (* (cbrt b2) (cbrt b2)))) (* (* (/ a1 b1) a2) (/ 1 (sqrt b2))) (* (* (/ a1 b1) a2) (/ 1 1)) (* (* (/ a1 b1) a2) 1) (* (* (/ a1 b1) a2) 1) (* a2 (/ 1 b2)) (* (* (/ a1 b1) a2) 1) (* (* a1 a2) (/ 1 b2)) (* (/ a1 b1) a2) (+ (- (log a1) (log b1)) (log a2)) (+ (log (/ a1 b1)) (log a2)) (log (* (/ a1 b1) a2)) (exp (* (/ a1 b1) a2)) (* (/ (* (* a1 a1) a1) (* (* b1 b1) b1)) (* (* a2 a2) a2)) (* (* (* (/ a1 b1) (/ a1 b1)) (/ a1 b1)) (* (* a2 a2) a2)) (* (cbrt (* (/ a1 b1) a2)) (cbrt (* (/ a1 b1) a2))) (cbrt (* (/ a1 b1) a2)) (* (* (* (/ a1 b1) a2) (* (/ a1 b1) a2)) (* (/ a1 b1) a2)) (sqrt (* (/ a1 b1) a2)) (sqrt (* (/ a1 b1) a2)) (* (sqrt (/ a1 b1)) (sqrt a2)) (* (sqrt (/ a1 b1)) (sqrt a2)) (* (/ (sqrt a1) (sqrt b1)) (sqrt a2)) (* (/ (sqrt a1) (sqrt b1)) (sqrt a2)) (* (/ a1 b1) (* (cbrt a2) (cbrt a2))) (* (/ a1 b1) (sqrt a2)) (* (/ a1 b1) 1) (* (cbrt (/ a1 b1)) a2) (* (sqrt (/ a1 b1)) a2) (* (/ (cbrt a1) (cbrt b1)) a2) (* (/ (cbrt a1) (sqrt b1)) a2) (* (/ (cbrt a1) b1) a2) (* (/ (sqrt a1) (cbrt b1)) a2) (* (/ (sqrt a1) (sqrt b1)) a2) (* (/ (sqrt a1) b1) a2) (* (/ a1 (cbrt b1)) a2) (* (/ a1 (sqrt b1)) a2) (* (/ a1 b1) a2) (* (/ a1 b1) a2) (* (/ 1 b1) a2) (* a1 a2) (/ (* a1 a2) (* b1 b2)) (/ (* a1 a2) (* b1 b2)) (/ (* a1 a2) (* b1 b2)) (/ (* a1 a2) b1) (/ (* a1 a2) b1) (/ (* a1 a2) b1) 2.288 * * [simplify]: iteration 0 : 402 enodes (cost 410 ) 2.297 * * [simplify]: iteration 1 : 2166 enodes (cost 322 ) 2.328 * * [simplify]: iteration 2 : 5001 enodes (cost 297 ) 2.330 * [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))) (log (/ (* a1 a2) (* b1 b2))) (log (/ (* a1 a2) (* b1 b2))) (log (/ (* a1 a2) (* b1 b2))) (log (/ (* a1 a2) (* b1 b2))) (pow (exp (/ a1 b1)) (/ a2 b2)) (pow (/ (* a1 a2) (* b1 b2)) 3) (pow (/ (* a1 a2) (* b1 b2)) 3) (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 b1) a2) (/ 1 b2))) (cbrt (* (* (/ a1 b1) a2) (/ 1 b2)))) (cbrt (* (* (/ a1 b1) a2) (/ 1 b2))) (pow (/ (* a1 a2) (* b1 b2)) 3) (sqrt (* (* (/ a1 b1) a2) (/ 1 b2))) (sqrt (* (* (/ a1 b1) a2) (/ 1 b2))) (* a1 a2) (* b1 b2) (* (* (/ a1 b1) a2) (* (cbrt (/ 1 b2)) (cbrt (/ 1 b2)))) (* (* (/ a1 b1) a2) (sqrt (/ 1 b2))) (/ (* (/ a1 b1) a2) (* (cbrt b2) (cbrt b2))) (/ (* (/ a1 b1) a2) (sqrt b2)) (* (/ a1 b1) a2) (/ (* (/ a1 b1) a2) (* (cbrt b2) (cbrt b2))) (/ (* (/ a1 b1) a2) (sqrt b2)) (* (/ a1 b1) a2) (/ (* (/ a1 b1) a2) (* (cbrt b2) (cbrt b2))) (/ (* (/ a1 b1) a2) (sqrt b2)) (* (/ a1 b1) a2) (* (/ a1 b1) a2) (* (/ a1 b1) a2) (/ a2 b2) (* (/ a1 b1) a2) (/ (* a1 a2) b2) (* (/ a1 b1) a2) (log (* (/ a1 b1) a2)) (log (* (/ a1 b1) a2)) (log (* (/ a1 b1) a2)) (exp (* (/ a1 b1) a2)) (pow (* (/ a1 b1) a2) 3) (pow (* (/ a1 b1) a2) 3) (* (cbrt (* (/ a1 b1) a2)) (cbrt (* (/ a1 b1) a2))) (cbrt (* (/ a1 b1) a2)) (pow (* (/ a1 b1) a2) 3) (sqrt (* (/ a1 b1) a2)) (sqrt (* (/ a1 b1) a2)) (* (sqrt (/ a1 b1)) (sqrt a2)) (* (sqrt (/ a1 b1)) (sqrt a2)) (* (/ (sqrt a1) (sqrt b1)) (sqrt a2)) (* (/ (sqrt a1) (sqrt b1)) (sqrt a2)) (* (/ a1 b1) (* (cbrt a2) (cbrt a2))) (* (/ a1 b1) (sqrt a2)) (/ a1 b1) (* (cbrt (/ a1 b1)) a2) (* (sqrt (/ a1 b1)) a2) (* (/ (cbrt a1) (cbrt b1)) a2) (* (/ (cbrt a1) (sqrt b1)) a2) (* (/ (cbrt a1) b1) a2) (* (/ (sqrt a1) (cbrt b1)) a2) (* (/ (sqrt a1) (sqrt b1)) a2) (* (/ (sqrt a1) b1) a2) (* (/ a1 (cbrt b1)) a2) (* (/ a1 (sqrt b1)) a2) (* (/ a1 b1) a2) (* (/ a1 b1) a2) (/ a2 b1) (* a1 a2) (/ (* a1 a2) (* b1 b2)) (/ (* a1 a2) (* b1 b2)) (/ (* a1 a2) (* b1 b2)) (* (/ a1 b1) a2) (* (/ a1 b1) a2) (* (/ a1 b1) a2) 2.330 * * * [progress]: adding candidates to table 2.389 * * [progress]: iteration 4 / 4 2.389 * * * [progress]: picking best candidate 2.438 * * * * [pick]: Picked # 2.438 * * * [progress]: localizing error 2.455 * * * [progress]: generating rewritten candidates 2.455 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 2.463 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 2.481 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 2.482 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2) 2.487 * * * [progress]: generating series expansions 2.487 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 2.487 * [approximate]: Taking taylor expansion of (* (/ a1 b1) (pow (pow a2 2) 1/3)) in (a1 a2 b1) around 0 2.487 * [taylor]: Taking taylor expansion of (* (/ a1 b1) (pow (pow a2 2) 1/3)) in b1 2.487 * [taylor]: Taking taylor expansion of (/ a1 b1) in b1 2.487 * [taylor]: Taking taylor expansion of a1 in b1 2.487 * [taylor]: Taking taylor expansion of b1 in b1 2.487 * [taylor]: Taking taylor expansion of (pow (pow a2 2) 1/3) in b1 2.487 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow a2 2)))) in b1 2.487 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow a2 2))) in b1 2.487 * [taylor]: Taking taylor expansion of 1/3 in b1 2.487 * [taylor]: Taking taylor expansion of (log (pow a2 2)) in b1 2.487 * [taylor]: Taking taylor expansion of (pow a2 2) in b1 2.487 * [taylor]: Taking taylor expansion of a2 in b1 2.487 * [taylor]: Taking taylor expansion of (* (/ a1 b1) (pow (pow a2 2) 1/3)) in a2 2.487 * [taylor]: Taking taylor expansion of (/ a1 b1) in a2 2.487 * [taylor]: Taking taylor expansion of a1 in a2 2.487 * [taylor]: Taking taylor expansion of b1 in a2 2.487 * [taylor]: Taking taylor expansion of (pow (pow a2 2) 1/3) in a2 2.487 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow a2 2)))) in a2 2.487 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow a2 2))) in a2 2.487 * [taylor]: Taking taylor expansion of 1/3 in a2 2.487 * [taylor]: Taking taylor expansion of (log (pow a2 2)) in a2 2.488 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 2.488 * [taylor]: Taking taylor expansion of a2 in a2 2.488 * [taylor]: Taking taylor expansion of (* (/ a1 b1) (pow (pow a2 2) 1/3)) in a1 2.488 * [taylor]: Taking taylor expansion of (/ a1 b1) in a1 2.488 * [taylor]: Taking taylor expansion of a1 in a1 2.488 * [taylor]: Taking taylor expansion of b1 in a1 2.488 * [taylor]: Taking taylor expansion of (pow (pow a2 2) 1/3) in a1 2.488 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow a2 2)))) in a1 2.488 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow a2 2))) in a1 2.488 * [taylor]: Taking taylor expansion of 1/3 in a1 2.488 * [taylor]: Taking taylor expansion of (log (pow a2 2)) in a1 2.488 * [taylor]: Taking taylor expansion of (pow a2 2) in a1 2.488 * [taylor]: Taking taylor expansion of a2 in a1 2.488 * [taylor]: Taking taylor expansion of (* (/ a1 b1) (pow (pow a2 2) 1/3)) in a1 2.488 * [taylor]: Taking taylor expansion of (/ a1 b1) in a1 2.488 * [taylor]: Taking taylor expansion of a1 in a1 2.488 * [taylor]: Taking taylor expansion of b1 in a1 2.488 * [taylor]: Taking taylor expansion of (pow (pow a2 2) 1/3) in a1 2.488 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow a2 2)))) in a1 2.488 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow a2 2))) in a1 2.488 * [taylor]: Taking taylor expansion of 1/3 in a1 2.488 * [taylor]: Taking taylor expansion of (log (pow a2 2)) in a1 2.488 * [taylor]: Taking taylor expansion of (pow a2 2) in a1 2.488 * [taylor]: Taking taylor expansion of a2 in a1 2.489 * [taylor]: Taking taylor expansion of (* (/ 1 b1) (pow (pow a2 2) 1/3)) in a2 2.489 * [taylor]: Taking taylor expansion of (/ 1 b1) in a2 2.489 * [taylor]: Taking taylor expansion of b1 in a2 2.489 * [taylor]: Taking taylor expansion of (pow (pow a2 2) 1/3) in a2 2.489 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow a2 2)))) in a2 2.489 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow a2 2))) in a2 2.489 * [taylor]: Taking taylor expansion of 1/3 in a2 2.489 * [taylor]: Taking taylor expansion of (log (pow a2 2)) in a2 2.489 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 2.489 * [taylor]: Taking taylor expansion of a2 in a2 2.489 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (+ (log 1) (* 2 (log a2))))) b1) in b1 2.489 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log 1) (* 2 (log a2))))) in b1 2.489 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log 1) (* 2 (log a2)))) in b1 2.489 * [taylor]: Taking taylor expansion of 1/3 in b1 2.489 * [taylor]: Taking taylor expansion of (+ (log 1) (* 2 (log a2))) in b1 2.489 * [taylor]: Taking taylor expansion of (log 1) in b1 2.489 * [taylor]: Taking taylor expansion of 1 in b1 2.489 * [taylor]: Taking taylor expansion of (* 2 (log a2)) in b1 2.489 * [taylor]: Taking taylor expansion of 2 in b1 2.489 * [taylor]: Taking taylor expansion of (log a2) in b1 2.489 * [taylor]: Taking taylor expansion of a2 in b1 2.490 * [taylor]: Taking taylor expansion of b1 in b1 2.490 * [taylor]: Taking taylor expansion of 0 in a2 2.490 * [taylor]: Taking taylor expansion of 0 in b1 2.491 * [taylor]: Taking taylor expansion of 0 in b1 2.492 * [taylor]: Taking taylor expansion of 0 in a2 2.492 * [taylor]: Taking taylor expansion of 0 in b1 2.492 * [taylor]: Taking taylor expansion of 0 in b1 2.493 * [taylor]: Taking taylor expansion of 0 in b1 2.495 * [taylor]: Taking taylor expansion of 0 in a2 2.495 * [taylor]: Taking taylor expansion of 0 in b1 2.495 * [taylor]: Taking taylor expansion of 0 in b1 2.495 * [taylor]: Taking taylor expansion of 0 in b1 2.496 * [taylor]: Taking taylor expansion of 0 in b1 2.496 * [approximate]: Taking taylor expansion of (* (/ b1 a1) (pow (/ 1 (pow a2 2)) 1/3)) in (a1 a2 b1) around 0 2.496 * [taylor]: Taking taylor expansion of (* (/ b1 a1) (pow (/ 1 (pow a2 2)) 1/3)) in b1 2.496 * [taylor]: Taking taylor expansion of (/ b1 a1) in b1 2.496 * [taylor]: Taking taylor expansion of b1 in b1 2.496 * [taylor]: Taking taylor expansion of a1 in b1 2.496 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a2 2)) 1/3) in b1 2.496 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow a2 2))))) in b1 2.496 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow a2 2)))) in b1 2.496 * [taylor]: Taking taylor expansion of 1/3 in b1 2.496 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a2 2))) in b1 2.496 * [taylor]: Taking taylor expansion of (/ 1 (pow a2 2)) in b1 2.496 * [taylor]: Taking taylor expansion of (pow a2 2) in b1 2.496 * [taylor]: Taking taylor expansion of a2 in b1 2.497 * [taylor]: Taking taylor expansion of (* (/ b1 a1) (pow (/ 1 (pow a2 2)) 1/3)) in a2 2.497 * [taylor]: Taking taylor expansion of (/ b1 a1) in a2 2.497 * [taylor]: Taking taylor expansion of b1 in a2 2.497 * [taylor]: Taking taylor expansion of a1 in a2 2.497 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a2 2)) 1/3) in a2 2.497 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow a2 2))))) in a2 2.497 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow a2 2)))) in a2 2.497 * [taylor]: Taking taylor expansion of 1/3 in a2 2.497 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a2 2))) in a2 2.497 * [taylor]: Taking taylor expansion of (/ 1 (pow a2 2)) in a2 2.497 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 2.497 * [taylor]: Taking taylor expansion of a2 in a2 2.497 * [taylor]: Taking taylor expansion of (* (/ b1 a1) (pow (/ 1 (pow a2 2)) 1/3)) in a1 2.497 * [taylor]: Taking taylor expansion of (/ b1 a1) in a1 2.497 * [taylor]: Taking taylor expansion of b1 in a1 2.497 * [taylor]: Taking taylor expansion of a1 in a1 2.497 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a2 2)) 1/3) in a1 2.497 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow a2 2))))) in a1 2.497 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow a2 2)))) in a1 2.497 * [taylor]: Taking taylor expansion of 1/3 in a1 2.497 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a2 2))) in a1 2.497 * [taylor]: Taking taylor expansion of (/ 1 (pow a2 2)) in a1 2.497 * [taylor]: Taking taylor expansion of (pow a2 2) in a1 2.497 * [taylor]: Taking taylor expansion of a2 in a1 2.497 * [taylor]: Taking taylor expansion of (* (/ b1 a1) (pow (/ 1 (pow a2 2)) 1/3)) in a1 2.497 * [taylor]: Taking taylor expansion of (/ b1 a1) in a1 2.497 * [taylor]: Taking taylor expansion of b1 in a1 2.498 * [taylor]: Taking taylor expansion of a1 in a1 2.498 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a2 2)) 1/3) in a1 2.498 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow a2 2))))) in a1 2.498 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow a2 2)))) in a1 2.498 * [taylor]: Taking taylor expansion of 1/3 in a1 2.498 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a2 2))) in a1 2.498 * [taylor]: Taking taylor expansion of (/ 1 (pow a2 2)) in a1 2.498 * [taylor]: Taking taylor expansion of (pow a2 2) in a1 2.498 * [taylor]: Taking taylor expansion of a2 in a1 2.498 * [taylor]: Taking taylor expansion of (* b1 (pow (/ 1 (pow a2 2)) 1/3)) in a2 2.498 * [taylor]: Taking taylor expansion of b1 in a2 2.498 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a2 2)) 1/3) in a2 2.498 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow a2 2))))) in a2 2.498 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow a2 2)))) in a2 2.498 * [taylor]: Taking taylor expansion of 1/3 in a2 2.498 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a2 2))) in a2 2.498 * [taylor]: Taking taylor expansion of (/ 1 (pow a2 2)) in a2 2.498 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 2.498 * [taylor]: Taking taylor expansion of a2 in a2 2.499 * [taylor]: Taking taylor expansion of (* b1 (exp (* 1/3 (- (log 1) (* 2 (log a2)))))) in b1 2.499 * [taylor]: Taking taylor expansion of b1 in b1 2.499 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log a2))))) in b1 2.499 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log a2)))) in b1 2.499 * [taylor]: Taking taylor expansion of 1/3 in b1 2.499 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log a2))) in b1 2.499 * [taylor]: Taking taylor expansion of (log 1) in b1 2.499 * [taylor]: Taking taylor expansion of 1 in b1 2.499 * [taylor]: Taking taylor expansion of (* 2 (log a2)) in b1 2.499 * [taylor]: Taking taylor expansion of 2 in b1 2.499 * [taylor]: Taking taylor expansion of (log a2) in b1 2.499 * [taylor]: Taking taylor expansion of a2 in b1 2.500 * [taylor]: Taking taylor expansion of 0 in a2 2.500 * [taylor]: Taking taylor expansion of 0 in b1 2.501 * [taylor]: Taking taylor expansion of 0 in b1 2.502 * [taylor]: Taking taylor expansion of 0 in a2 2.502 * [taylor]: Taking taylor expansion of 0 in b1 2.503 * [taylor]: Taking taylor expansion of 0 in b1 2.503 * [taylor]: Taking taylor expansion of 0 in b1 2.504 * [approximate]: Taking taylor expansion of (* (/ (* b1 (pow (cbrt -1) 2)) a1) (pow (/ 1 (pow a2 2)) 1/3)) in (a1 a2 b1) around 0 2.504 * [taylor]: Taking taylor expansion of (* (/ (* b1 (pow (cbrt -1) 2)) a1) (pow (/ 1 (pow a2 2)) 1/3)) in b1 2.504 * [taylor]: Taking taylor expansion of (/ (* b1 (pow (cbrt -1) 2)) a1) in b1 2.504 * [taylor]: Taking taylor expansion of (* b1 (pow (cbrt -1) 2)) in b1 2.504 * [taylor]: Taking taylor expansion of b1 in b1 2.504 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in b1 2.504 * [taylor]: Taking taylor expansion of (cbrt -1) in b1 2.504 * [taylor]: Taking taylor expansion of -1 in b1 2.504 * [taylor]: Taking taylor expansion of a1 in b1 2.504 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a2 2)) 1/3) in b1 2.504 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow a2 2))))) in b1 2.504 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow a2 2)))) in b1 2.504 * [taylor]: Taking taylor expansion of 1/3 in b1 2.504 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a2 2))) in b1 2.504 * [taylor]: Taking taylor expansion of (/ 1 (pow a2 2)) in b1 2.505 * [taylor]: Taking taylor expansion of (pow a2 2) in b1 2.505 * [taylor]: Taking taylor expansion of a2 in b1 2.505 * [taylor]: Taking taylor expansion of (* (/ (* b1 (pow (cbrt -1) 2)) a1) (pow (/ 1 (pow a2 2)) 1/3)) in a2 2.505 * [taylor]: Taking taylor expansion of (/ (* b1 (pow (cbrt -1) 2)) a1) in a2 2.505 * [taylor]: Taking taylor expansion of (* b1 (pow (cbrt -1) 2)) in a2 2.505 * [taylor]: Taking taylor expansion of b1 in a2 2.505 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in a2 2.505 * [taylor]: Taking taylor expansion of (cbrt -1) in a2 2.505 * [taylor]: Taking taylor expansion of -1 in a2 2.505 * [taylor]: Taking taylor expansion of a1 in a2 2.505 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a2 2)) 1/3) in a2 2.505 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow a2 2))))) in a2 2.506 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow a2 2)))) in a2 2.506 * [taylor]: Taking taylor expansion of 1/3 in a2 2.506 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a2 2))) in a2 2.506 * [taylor]: Taking taylor expansion of (/ 1 (pow a2 2)) in a2 2.506 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 2.506 * [taylor]: Taking taylor expansion of a2 in a2 2.506 * [taylor]: Taking taylor expansion of (* (/ (* b1 (pow (cbrt -1) 2)) a1) (pow (/ 1 (pow a2 2)) 1/3)) in a1 2.506 * [taylor]: Taking taylor expansion of (/ (* b1 (pow (cbrt -1) 2)) a1) in a1 2.506 * [taylor]: Taking taylor expansion of (* b1 (pow (cbrt -1) 2)) in a1 2.506 * [taylor]: Taking taylor expansion of b1 in a1 2.506 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in a1 2.506 * [taylor]: Taking taylor expansion of (cbrt -1) in a1 2.506 * [taylor]: Taking taylor expansion of -1 in a1 2.506 * [taylor]: Taking taylor expansion of a1 in a1 2.506 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a2 2)) 1/3) in a1 2.506 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow a2 2))))) in a1 2.506 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow a2 2)))) in a1 2.506 * [taylor]: Taking taylor expansion of 1/3 in a1 2.506 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a2 2))) in a1 2.506 * [taylor]: Taking taylor expansion of (/ 1 (pow a2 2)) in a1 2.506 * [taylor]: Taking taylor expansion of (pow a2 2) in a1 2.506 * [taylor]: Taking taylor expansion of a2 in a1 2.507 * [taylor]: Taking taylor expansion of (* (/ (* b1 (pow (cbrt -1) 2)) a1) (pow (/ 1 (pow a2 2)) 1/3)) in a1 2.507 * [taylor]: Taking taylor expansion of (/ (* b1 (pow (cbrt -1) 2)) a1) in a1 2.507 * [taylor]: Taking taylor expansion of (* b1 (pow (cbrt -1) 2)) in a1 2.507 * [taylor]: Taking taylor expansion of b1 in a1 2.507 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in a1 2.507 * [taylor]: Taking taylor expansion of (cbrt -1) in a1 2.507 * [taylor]: Taking taylor expansion of -1 in a1 2.507 * [taylor]: Taking taylor expansion of a1 in a1 2.507 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a2 2)) 1/3) in a1 2.507 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow a2 2))))) in a1 2.507 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow a2 2)))) in a1 2.507 * [taylor]: Taking taylor expansion of 1/3 in a1 2.507 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a2 2))) in a1 2.507 * [taylor]: Taking taylor expansion of (/ 1 (pow a2 2)) in a1 2.507 * [taylor]: Taking taylor expansion of (pow a2 2) in a1 2.507 * [taylor]: Taking taylor expansion of a2 in a1 2.508 * [taylor]: Taking taylor expansion of (* (* b1 (pow (cbrt -1) 2)) (pow (/ 1 (pow a2 2)) 1/3)) in a2 2.508 * [taylor]: Taking taylor expansion of (* b1 (pow (cbrt -1) 2)) in a2 2.508 * [taylor]: Taking taylor expansion of b1 in a2 2.508 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in a2 2.508 * [taylor]: Taking taylor expansion of (cbrt -1) in a2 2.508 * [taylor]: Taking taylor expansion of -1 in a2 2.508 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a2 2)) 1/3) in a2 2.508 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow a2 2))))) in a2 2.508 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow a2 2)))) in a2 2.508 * [taylor]: Taking taylor expansion of 1/3 in a2 2.508 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a2 2))) in a2 2.508 * [taylor]: Taking taylor expansion of (/ 1 (pow a2 2)) in a2 2.508 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 2.508 * [taylor]: Taking taylor expansion of a2 in a2 2.509 * [taylor]: Taking taylor expansion of (* b1 (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log a2))))))) in b1 2.509 * [taylor]: Taking taylor expansion of b1 in b1 2.509 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log a2)))))) in b1 2.509 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in b1 2.509 * [taylor]: Taking taylor expansion of (cbrt -1) in b1 2.509 * [taylor]: Taking taylor expansion of -1 in b1 2.509 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log a2))))) in b1 2.509 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log a2)))) in b1 2.509 * [taylor]: Taking taylor expansion of 1/3 in b1 2.509 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log a2))) in b1 2.509 * [taylor]: Taking taylor expansion of (log 1) in b1 2.509 * [taylor]: Taking taylor expansion of 1 in b1 2.509 * [taylor]: Taking taylor expansion of (* 2 (log a2)) in b1 2.509 * [taylor]: Taking taylor expansion of 2 in b1 2.509 * [taylor]: Taking taylor expansion of (log a2) in b1 2.509 * [taylor]: Taking taylor expansion of a2 in b1 2.512 * [taylor]: Taking taylor expansion of 0 in a2 2.512 * [taylor]: Taking taylor expansion of 0 in b1 2.513 * [taylor]: Taking taylor expansion of 0 in b1 2.515 * [taylor]: Taking taylor expansion of 0 in a2 2.515 * [taylor]: Taking taylor expansion of 0 in b1 2.515 * [taylor]: Taking taylor expansion of 0 in b1 2.516 * [taylor]: Taking taylor expansion of 0 in b1 2.517 * * * * [progress]: [ 2 / 4 ] generating series at (2) 2.517 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (a1 a2 b1 b2) around 0 2.517 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2 2.517 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 2.517 * [taylor]: Taking taylor expansion of a1 in b2 2.517 * [taylor]: Taking taylor expansion of a2 in b2 2.517 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 2.517 * [taylor]: Taking taylor expansion of b1 in b2 2.517 * [taylor]: Taking taylor expansion of b2 in b2 2.517 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1 2.517 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 2.517 * [taylor]: Taking taylor expansion of a1 in b1 2.517 * [taylor]: Taking taylor expansion of a2 in b1 2.517 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 2.517 * [taylor]: Taking taylor expansion of b1 in b1 2.517 * [taylor]: Taking taylor expansion of b2 in b1 2.517 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2 2.517 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 2.517 * [taylor]: Taking taylor expansion of a1 in a2 2.517 * [taylor]: Taking taylor expansion of a2 in a2 2.517 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 2.517 * [taylor]: Taking taylor expansion of b1 in a2 2.518 * [taylor]: Taking taylor expansion of b2 in a2 2.518 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1 2.518 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 2.518 * [taylor]: Taking taylor expansion of a1 in a1 2.518 * [taylor]: Taking taylor expansion of a2 in a1 2.518 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 2.518 * [taylor]: Taking taylor expansion of b1 in a1 2.518 * [taylor]: Taking taylor expansion of b2 in a1 2.518 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1 2.518 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 2.518 * [taylor]: Taking taylor expansion of a1 in a1 2.518 * [taylor]: Taking taylor expansion of a2 in a1 2.518 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 2.518 * [taylor]: Taking taylor expansion of b1 in a1 2.518 * [taylor]: Taking taylor expansion of b2 in a1 2.518 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2 2.518 * [taylor]: Taking taylor expansion of a2 in a2 2.518 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 2.518 * [taylor]: Taking taylor expansion of b1 in a2 2.518 * [taylor]: Taking taylor expansion of b2 in a2 2.518 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1 2.518 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 2.518 * [taylor]: Taking taylor expansion of b1 in b1 2.518 * [taylor]: Taking taylor expansion of b2 in b1 2.518 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2 2.518 * [taylor]: Taking taylor expansion of b2 in b2 2.518 * [taylor]: Taking taylor expansion of 0 in a2 2.518 * [taylor]: Taking taylor expansion of 0 in b1 2.519 * [taylor]: Taking taylor expansion of 0 in b1 2.519 * [taylor]: Taking taylor expansion of 0 in b2 2.519 * [taylor]: Taking taylor expansion of 0 in a2 2.519 * [taylor]: Taking taylor expansion of 0 in b1 2.519 * [taylor]: Taking taylor expansion of 0 in b1 2.519 * [taylor]: Taking taylor expansion of 0 in b1 2.519 * [taylor]: Taking taylor expansion of 0 in b2 2.519 * [taylor]: Taking taylor expansion of 0 in b2 2.519 * [taylor]: Taking taylor expansion of 0 in b2 2.520 * [taylor]: Taking taylor expansion of 0 in a2 2.520 * [taylor]: Taking taylor expansion of 0 in b1 2.520 * [taylor]: Taking taylor expansion of 0 in b1 2.520 * [taylor]: Taking taylor expansion of 0 in b1 2.520 * [taylor]: Taking taylor expansion of 0 in b1 2.520 * [taylor]: Taking taylor expansion of 0 in b2 2.520 * [taylor]: Taking taylor expansion of 0 in b2 2.520 * [taylor]: Taking taylor expansion of 0 in b2 2.520 * [taylor]: Taking taylor expansion of 0 in b2 2.520 * [taylor]: Taking taylor expansion of 0 in b2 2.520 * [taylor]: Taking taylor expansion of 0 in b2 2.520 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 a2 b1 b2) around 0 2.520 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2 2.520 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 2.520 * [taylor]: Taking taylor expansion of b1 in b2 2.520 * [taylor]: Taking taylor expansion of b2 in b2 2.521 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 2.521 * [taylor]: Taking taylor expansion of a1 in b2 2.521 * [taylor]: Taking taylor expansion of a2 in b2 2.521 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1 2.521 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 2.521 * [taylor]: Taking taylor expansion of b1 in b1 2.521 * [taylor]: Taking taylor expansion of b2 in b1 2.521 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 2.521 * [taylor]: Taking taylor expansion of a1 in b1 2.521 * [taylor]: Taking taylor expansion of a2 in b1 2.521 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2 2.521 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 2.521 * [taylor]: Taking taylor expansion of b1 in a2 2.521 * [taylor]: Taking taylor expansion of b2 in a2 2.521 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 2.521 * [taylor]: Taking taylor expansion of a1 in a2 2.521 * [taylor]: Taking taylor expansion of a2 in a2 2.521 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1 2.521 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 2.521 * [taylor]: Taking taylor expansion of b1 in a1 2.521 * [taylor]: Taking taylor expansion of b2 in a1 2.521 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 2.521 * [taylor]: Taking taylor expansion of a1 in a1 2.521 * [taylor]: Taking taylor expansion of a2 in a1 2.521 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1 2.521 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 2.521 * [taylor]: Taking taylor expansion of b1 in a1 2.521 * [taylor]: Taking taylor expansion of b2 in a1 2.521 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 2.521 * [taylor]: Taking taylor expansion of a1 in a1 2.521 * [taylor]: Taking taylor expansion of a2 in a1 2.521 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 2.521 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 2.521 * [taylor]: Taking taylor expansion of b1 in a2 2.521 * [taylor]: Taking taylor expansion of b2 in a2 2.521 * [taylor]: Taking taylor expansion of a2 in a2 2.522 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 2.522 * [taylor]: Taking taylor expansion of b1 in b1 2.522 * [taylor]: Taking taylor expansion of b2 in b1 2.522 * [taylor]: Taking taylor expansion of b2 in b2 2.522 * [taylor]: Taking taylor expansion of 0 in a2 2.522 * [taylor]: Taking taylor expansion of 0 in b1 2.522 * [taylor]: Taking taylor expansion of 0 in b2 2.522 * [taylor]: Taking taylor expansion of 0 in b2 2.522 * [taylor]: Taking taylor expansion of 0 in a2 2.522 * [taylor]: Taking taylor expansion of 0 in b1 2.522 * [taylor]: Taking taylor expansion of 0 in b2 2.522 * [taylor]: Taking taylor expansion of 0 in b1 2.522 * [taylor]: Taking taylor expansion of 0 in b2 2.522 * [taylor]: Taking taylor expansion of 0 in b2 2.523 * [approximate]: Taking taylor expansion of (* -1 (/ (* b1 (* (pow (cbrt -1) 3) b2)) (* a2 a1))) in (a1 a2 b1 b2) around 0 2.523 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 (* (pow (cbrt -1) 3) b2)) (* a2 a1))) in b2 2.523 * [taylor]: Taking taylor expansion of -1 in b2 2.523 * [taylor]: Taking taylor expansion of (/ (* b1 (* (pow (cbrt -1) 3) b2)) (* a2 a1)) in b2 2.523 * [taylor]: Taking taylor expansion of (* b1 (* (pow (cbrt -1) 3) b2)) in b2 2.523 * [taylor]: Taking taylor expansion of b1 in b2 2.523 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) b2) in b2 2.523 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in b2 2.523 * [taylor]: Taking taylor expansion of (cbrt -1) in b2 2.523 * [taylor]: Taking taylor expansion of -1 in b2 2.523 * [taylor]: Taking taylor expansion of b2 in b2 2.523 * [taylor]: Taking taylor expansion of (* a2 a1) in b2 2.523 * [taylor]: Taking taylor expansion of a2 in b2 2.523 * [taylor]: Taking taylor expansion of a1 in b2 2.524 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 (* (pow (cbrt -1) 3) b2)) (* a2 a1))) in b1 2.524 * [taylor]: Taking taylor expansion of -1 in b1 2.524 * [taylor]: Taking taylor expansion of (/ (* b1 (* (pow (cbrt -1) 3) b2)) (* a2 a1)) in b1 2.524 * [taylor]: Taking taylor expansion of (* b1 (* (pow (cbrt -1) 3) b2)) in b1 2.524 * [taylor]: Taking taylor expansion of b1 in b1 2.524 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) b2) in b1 2.524 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in b1 2.524 * [taylor]: Taking taylor expansion of (cbrt -1) in b1 2.524 * [taylor]: Taking taylor expansion of -1 in b1 2.524 * [taylor]: Taking taylor expansion of b2 in b1 2.524 * [taylor]: Taking taylor expansion of (* a2 a1) in b1 2.524 * [taylor]: Taking taylor expansion of a2 in b1 2.524 * [taylor]: Taking taylor expansion of a1 in b1 2.525 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 (* (pow (cbrt -1) 3) b2)) (* a2 a1))) in a2 2.525 * [taylor]: Taking taylor expansion of -1 in a2 2.525 * [taylor]: Taking taylor expansion of (/ (* b1 (* (pow (cbrt -1) 3) b2)) (* a2 a1)) in a2 2.525 * [taylor]: Taking taylor expansion of (* b1 (* (pow (cbrt -1) 3) b2)) in a2 2.525 * [taylor]: Taking taylor expansion of b1 in a2 2.525 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) b2) in a2 2.525 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in a2 2.525 * [taylor]: Taking taylor expansion of (cbrt -1) in a2 2.525 * [taylor]: Taking taylor expansion of -1 in a2 2.525 * [taylor]: Taking taylor expansion of b2 in a2 2.525 * [taylor]: Taking taylor expansion of (* a2 a1) in a2 2.525 * [taylor]: Taking taylor expansion of a2 in a2 2.525 * [taylor]: Taking taylor expansion of a1 in a2 2.526 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 (* (pow (cbrt -1) 3) b2)) (* a2 a1))) in a1 2.526 * [taylor]: Taking taylor expansion of -1 in a1 2.526 * [taylor]: Taking taylor expansion of (/ (* b1 (* (pow (cbrt -1) 3) b2)) (* a2 a1)) in a1 2.526 * [taylor]: Taking taylor expansion of (* b1 (* (pow (cbrt -1) 3) b2)) in a1 2.526 * [taylor]: Taking taylor expansion of b1 in a1 2.526 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) b2) in a1 2.526 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in a1 2.526 * [taylor]: Taking taylor expansion of (cbrt -1) in a1 2.526 * [taylor]: Taking taylor expansion of -1 in a1 2.526 * [taylor]: Taking taylor expansion of b2 in a1 2.526 * [taylor]: Taking taylor expansion of (* a2 a1) in a1 2.526 * [taylor]: Taking taylor expansion of a2 in a1 2.526 * [taylor]: Taking taylor expansion of a1 in a1 2.526 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 (* (pow (cbrt -1) 3) b2)) (* a2 a1))) in a1 2.526 * [taylor]: Taking taylor expansion of -1 in a1 2.526 * [taylor]: Taking taylor expansion of (/ (* b1 (* (pow (cbrt -1) 3) b2)) (* a2 a1)) in a1 2.526 * [taylor]: Taking taylor expansion of (* b1 (* (pow (cbrt -1) 3) b2)) in a1 2.526 * [taylor]: Taking taylor expansion of b1 in a1 2.526 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) b2) in a1 2.526 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in a1 2.527 * [taylor]: Taking taylor expansion of (cbrt -1) in a1 2.527 * [taylor]: Taking taylor expansion of -1 in a1 2.527 * [taylor]: Taking taylor expansion of b2 in a1 2.527 * [taylor]: Taking taylor expansion of (* a2 a1) in a1 2.527 * [taylor]: Taking taylor expansion of a2 in a1 2.527 * [taylor]: Taking taylor expansion of a1 in a1 2.527 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 2.527 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 2.527 * [taylor]: Taking taylor expansion of b1 in a2 2.527 * [taylor]: Taking taylor expansion of b2 in a2 2.527 * [taylor]: Taking taylor expansion of a2 in a2 2.527 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 2.527 * [taylor]: Taking taylor expansion of b1 in b1 2.527 * [taylor]: Taking taylor expansion of b2 in b1 2.527 * [taylor]: Taking taylor expansion of b2 in b2 2.528 * [taylor]: Taking taylor expansion of 0 in a2 2.528 * [taylor]: Taking taylor expansion of 0 in b1 2.528 * [taylor]: Taking taylor expansion of 0 in b2 2.528 * [taylor]: Taking taylor expansion of 0 in b2 2.529 * [taylor]: Taking taylor expansion of 0 in a2 2.529 * [taylor]: Taking taylor expansion of 0 in b1 2.529 * [taylor]: Taking taylor expansion of 0 in b2 2.529 * [taylor]: Taking taylor expansion of 0 in b1 2.529 * [taylor]: Taking taylor expansion of 0 in b2 2.529 * [taylor]: Taking taylor expansion of 0 in b2 2.529 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 2.529 * [approximate]: Taking taylor expansion of (pow a2 1/3) in (a2) around 0 2.529 * [taylor]: Taking taylor expansion of (pow a2 1/3) in a2 2.529 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a2))) in a2 2.530 * [taylor]: Taking taylor expansion of (* 1/3 (log a2)) in a2 2.530 * [taylor]: Taking taylor expansion of 1/3 in a2 2.530 * [taylor]: Taking taylor expansion of (log a2) in a2 2.530 * [taylor]: Taking taylor expansion of a2 in a2 2.530 * [taylor]: Taking taylor expansion of (pow a2 1/3) in a2 2.530 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a2))) in a2 2.530 * [taylor]: Taking taylor expansion of (* 1/3 (log a2)) in a2 2.530 * [taylor]: Taking taylor expansion of 1/3 in a2 2.530 * [taylor]: Taking taylor expansion of (log a2) in a2 2.530 * [taylor]: Taking taylor expansion of a2 in a2 2.536 * [approximate]: Taking taylor expansion of (pow (/ 1 a2) 1/3) in (a2) around 0 2.536 * [taylor]: Taking taylor expansion of (pow (/ 1 a2) 1/3) in a2 2.536 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a2)))) in a2 2.536 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a2))) in a2 2.536 * [taylor]: Taking taylor expansion of 1/3 in a2 2.536 * [taylor]: Taking taylor expansion of (log (/ 1 a2)) in a2 2.536 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2 2.536 * [taylor]: Taking taylor expansion of a2 in a2 2.536 * [taylor]: Taking taylor expansion of (pow (/ 1 a2) 1/3) in a2 2.536 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a2)))) in a2 2.536 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a2))) in a2 2.536 * [taylor]: Taking taylor expansion of 1/3 in a2 2.536 * [taylor]: Taking taylor expansion of (log (/ 1 a2)) in a2 2.536 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2 2.536 * [taylor]: Taking taylor expansion of a2 in a2 2.543 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a2) 1/3)) in (a2) around 0 2.543 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a2) 1/3)) in a2 2.543 * [taylor]: Taking taylor expansion of (cbrt -1) in a2 2.543 * [taylor]: Taking taylor expansion of -1 in a2 2.543 * [taylor]: Taking taylor expansion of (pow (/ 1 a2) 1/3) in a2 2.543 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a2)))) in a2 2.543 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a2))) in a2 2.543 * [taylor]: Taking taylor expansion of 1/3 in a2 2.543 * [taylor]: Taking taylor expansion of (log (/ 1 a2)) in a2 2.543 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2 2.543 * [taylor]: Taking taylor expansion of a2 in a2 2.543 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a2) 1/3)) in a2 2.543 * [taylor]: Taking taylor expansion of (cbrt -1) in a2 2.543 * [taylor]: Taking taylor expansion of -1 in a2 2.544 * [taylor]: Taking taylor expansion of (pow (/ 1 a2) 1/3) in a2 2.544 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a2)))) in a2 2.544 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a2))) in a2 2.544 * [taylor]: Taking taylor expansion of 1/3 in a2 2.544 * [taylor]: Taking taylor expansion of (log (/ 1 a2)) in a2 2.544 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2 2.544 * [taylor]: Taking taylor expansion of a2 in a2 2.552 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2) 2.552 * [approximate]: Taking taylor expansion of (pow a2 1/3) in (a2) around 0 2.552 * [taylor]: Taking taylor expansion of (pow a2 1/3) in a2 2.552 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a2))) in a2 2.552 * [taylor]: Taking taylor expansion of (* 1/3 (log a2)) in a2 2.552 * [taylor]: Taking taylor expansion of 1/3 in a2 2.552 * [taylor]: Taking taylor expansion of (log a2) in a2 2.552 * [taylor]: Taking taylor expansion of a2 in a2 2.552 * [taylor]: Taking taylor expansion of (pow a2 1/3) in a2 2.552 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a2))) in a2 2.552 * [taylor]: Taking taylor expansion of (* 1/3 (log a2)) in a2 2.552 * [taylor]: Taking taylor expansion of 1/3 in a2 2.552 * [taylor]: Taking taylor expansion of (log a2) in a2 2.552 * [taylor]: Taking taylor expansion of a2 in a2 2.558 * [approximate]: Taking taylor expansion of (pow (/ 1 a2) 1/3) in (a2) around 0 2.558 * [taylor]: Taking taylor expansion of (pow (/ 1 a2) 1/3) in a2 2.558 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a2)))) in a2 2.558 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a2))) in a2 2.558 * [taylor]: Taking taylor expansion of 1/3 in a2 2.558 * [taylor]: Taking taylor expansion of (log (/ 1 a2)) in a2 2.558 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2 2.558 * [taylor]: Taking taylor expansion of a2 in a2 2.559 * [taylor]: Taking taylor expansion of (pow (/ 1 a2) 1/3) in a2 2.559 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a2)))) in a2 2.559 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a2))) in a2 2.559 * [taylor]: Taking taylor expansion of 1/3 in a2 2.559 * [taylor]: Taking taylor expansion of (log (/ 1 a2)) in a2 2.559 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2 2.559 * [taylor]: Taking taylor expansion of a2 in a2 2.568 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a2) 1/3)) in (a2) around 0 2.568 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a2) 1/3)) in a2 2.568 * [taylor]: Taking taylor expansion of (cbrt -1) in a2 2.568 * [taylor]: Taking taylor expansion of -1 in a2 2.568 * [taylor]: Taking taylor expansion of (pow (/ 1 a2) 1/3) in a2 2.568 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a2)))) in a2 2.568 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a2))) in a2 2.568 * [taylor]: Taking taylor expansion of 1/3 in a2 2.569 * [taylor]: Taking taylor expansion of (log (/ 1 a2)) in a2 2.569 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2 2.569 * [taylor]: Taking taylor expansion of a2 in a2 2.569 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a2) 1/3)) in a2 2.569 * [taylor]: Taking taylor expansion of (cbrt -1) in a2 2.569 * [taylor]: Taking taylor expansion of -1 in a2 2.569 * [taylor]: Taking taylor expansion of (pow (/ 1 a2) 1/3) in a2 2.569 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a2)))) in a2 2.569 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a2))) in a2 2.569 * [taylor]: Taking taylor expansion of 1/3 in a2 2.569 * [taylor]: Taking taylor expansion of (log (/ 1 a2)) in a2 2.569 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2 2.569 * [taylor]: Taking taylor expansion of a2 in a2 2.577 * * * [progress]: simplifying candidates 2.578 * [simplify]: Simplifying using # : (- (+ (log a1) (+ (log (cbrt a2)) (log (cbrt a2)))) (log b1)) (- (+ (log a1) (log (* (cbrt a2) (cbrt a2)))) (log b1)) (- (log (* a1 (* (cbrt a2) (cbrt a2)))) (log b1)) (log (/ (* a1 (* (cbrt a2) (cbrt a2))) b1)) (exp (/ (* a1 (* (cbrt a2) (cbrt a2))) b1)) (/ (* (* (* a1 a1) a1) (* a2 a2)) (* (* b1 b1) b1)) (/ (* (* (* a1 a1) a1) (* (* (* (cbrt a2) (cbrt a2)) (* (cbrt a2) (cbrt a2))) (* (cbrt a2) (cbrt a2)))) (* (* b1 b1) b1)) (/ (* (* (* a1 (* (cbrt a2) (cbrt a2))) (* a1 (* (cbrt a2) (cbrt a2)))) (* a1 (* (cbrt a2) (cbrt a2)))) (* (* b1 b1) b1)) (* (cbrt (/ (* a1 (* (cbrt a2) (cbrt a2))) b1)) (cbrt (/ (* a1 (* (cbrt a2) (cbrt a2))) b1))) (cbrt (/ (* a1 (* (cbrt a2) (cbrt a2))) b1)) (* (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (* a1 (* (cbrt a2) (cbrt a2))) b1)) (/ (* a1 (* (cbrt a2) (cbrt a2))) b1)) (sqrt (/ (* a1 (* (cbrt a2) (cbrt a2))) b1)) (sqrt (/ (* a1 (* (cbrt a2) (cbrt a2))) b1)) (neg (* a1 (* (cbrt a2) (cbrt a2)))) (neg b1) (/ a1 (* (cbrt b1) (cbrt b1))) (/ (* (cbrt a2) (cbrt a2)) (cbrt b1)) (/ a1 (sqrt b1)) (/ (* (cbrt a2) (cbrt a2)) (sqrt b1)) (/ a1 1) (/ (* (cbrt a2) (cbrt a2)) b1) (/ 1 b1) (/ b1 (* a1 (* (cbrt a2) (cbrt a2)))) (/ (* a1 (* (cbrt a2) (cbrt a2))) (* (cbrt b1) (cbrt b1))) (/ (* a1 (* (cbrt a2) (cbrt a2))) (sqrt b1)) (/ (* a1 (* (cbrt a2) (cbrt a2))) 1) (/ b1 (* (cbrt a2) (cbrt a2))) (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (cbrt a2) b2)) (+ (- (+ (log a1) (+ (log (cbrt a2)) (log (cbrt a2)))) (log b1)) (- (log (cbrt a2)) (log b2))) (+ (- (+ (log a1) (+ (log (cbrt a2)) (log (cbrt a2)))) (log b1)) (log (/ (cbrt a2) b2))) (+ (- (+ (log a1) (log (* (cbrt a2) (cbrt a2)))) (log b1)) (- (log (cbrt a2)) (log b2))) (+ (- (+ (log a1) (log (* (cbrt a2) (cbrt a2)))) (log b1)) (log (/ (cbrt a2) b2))) (+ (- (log (* a1 (* (cbrt a2) (cbrt a2)))) (log b1)) (- (log (cbrt a2)) (log b2))) (+ (- (log (* a1 (* (cbrt a2) (cbrt a2)))) (log b1)) (log (/ (cbrt a2) b2))) (+ (log (/ (* a1 (* (cbrt a2) (cbrt a2))) b1)) (- (log (cbrt a2)) (log b2))) (+ (log (/ (* a1 (* (cbrt a2) (cbrt a2))) b1)) (log (/ (cbrt a2) b2))) (log (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (cbrt a2) b2))) (exp (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (cbrt a2) b2))) (* (/ (* (* (* a1 a1) a1) (* a2 a2)) (* (* b1 b1) b1)) (/ a2 (* (* b2 b2) b2))) (* (/ (* (* (* a1 a1) a1) (* a2 a2)) (* (* b1 b1) b1)) (* (* (/ (cbrt a2) b2) (/ (cbrt a2) b2)) (/ (cbrt a2) b2))) (* (/ (* (* (* a1 a1) a1) (* (* (* (cbrt a2) (cbrt a2)) (* (cbrt a2) (cbrt a2))) (* (cbrt a2) (cbrt a2)))) (* (* b1 b1) b1)) (/ a2 (* (* b2 b2) b2))) (* (/ (* (* (* a1 a1) a1) (* (* (* (cbrt a2) (cbrt a2)) (* (cbrt a2) (cbrt a2))) (* (cbrt a2) (cbrt a2)))) (* (* b1 b1) b1)) (* (* (/ (cbrt a2) b2) (/ (cbrt a2) b2)) (/ (cbrt a2) b2))) (* (/ (* (* (* a1 (* (cbrt a2) (cbrt a2))) (* a1 (* (cbrt a2) (cbrt a2)))) (* a1 (* (cbrt a2) (cbrt a2)))) (* (* b1 b1) b1)) (/ a2 (* (* b2 b2) b2))) (* (/ (* (* (* a1 (* (cbrt a2) (cbrt a2))) (* a1 (* (cbrt a2) (cbrt a2)))) (* a1 (* (cbrt a2) (cbrt a2)))) (* (* b1 b1) b1)) (* (* (/ (cbrt a2) b2) (/ (cbrt a2) b2)) (/ (cbrt a2) b2))) (* (* (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (* a1 (* (cbrt a2) (cbrt a2))) b1)) (/ (* a1 (* (cbrt a2) (cbrt a2))) b1)) (/ a2 (* (* b2 b2) b2))) (* (* (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (* a1 (* (cbrt a2) (cbrt a2))) b1)) (/ (* a1 (* (cbrt a2) (cbrt a2))) b1)) (* (* (/ (cbrt a2) b2) (/ (cbrt a2) b2)) (/ (cbrt a2) b2))) (* (cbrt (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (cbrt a2) b2))) (cbrt (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (cbrt a2) b2)))) (cbrt (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (cbrt a2) b2))) (* (* (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (cbrt a2) b2)) (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (cbrt a2) b2))) (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (cbrt a2) b2))) (sqrt (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (cbrt a2) b2))) (sqrt (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (cbrt a2) b2))) (* (* a1 (* (cbrt a2) (cbrt a2))) (cbrt a2)) (* b1 b2) (* (sqrt (/ (* a1 (* (cbrt a2) (cbrt a2))) b1)) (sqrt (/ (cbrt a2) b2))) (* (sqrt (/ (* a1 (* (cbrt a2) (cbrt a2))) b1)) (sqrt (/ (cbrt a2) b2))) (* (sqrt (/ (* a1 (* (cbrt a2) (cbrt a2))) b1)) (/ (cbrt (sqrt a2)) (sqrt b2))) (* (sqrt (/ (* a1 (* (cbrt a2) (cbrt a2))) b1)) (/ (cbrt (sqrt a2)) (sqrt b2))) (* (sqrt (/ (* a1 (* (cbrt a2) (cbrt a2))) b1)) (/ (sqrt (cbrt a2)) (sqrt b2))) (* (sqrt (/ (* a1 (* (cbrt a2) (cbrt a2))) b1)) (/ (sqrt (cbrt a2)) (sqrt b2))) (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (* (cbrt (/ (cbrt a2) b2)) (cbrt (/ (cbrt a2) b2)))) (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (sqrt (/ (cbrt a2) b2))) (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (cbrt (* (cbrt a2) (cbrt a2))) (* (cbrt b2) (cbrt b2)))) (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (cbrt (* (cbrt a2) (cbrt a2))) (sqrt b2))) (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (cbrt (* (cbrt a2) (cbrt a2))) 1)) (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (cbrt (sqrt a2)) (* (cbrt b2) (cbrt b2)))) (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (cbrt (sqrt a2)) (sqrt b2))) (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (cbrt (sqrt a2)) 1)) (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (cbrt 1) (* (cbrt b2) (cbrt b2)))) (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (cbrt 1) (sqrt b2))) (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (cbrt 1) 1)) (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (* (cbrt (cbrt a2)) (cbrt (cbrt a2))) (* (cbrt b2) (cbrt b2)))) (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (* (cbrt (cbrt a2)) (cbrt (cbrt a2))) (sqrt b2))) (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (* (cbrt (cbrt a2)) (cbrt (cbrt a2))) 1)) (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (sqrt (cbrt a2)) (* (cbrt b2) (cbrt b2)))) (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (sqrt (cbrt a2)) (sqrt b2))) (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (sqrt (cbrt a2)) 1)) (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ 1 (* (cbrt b2) (cbrt b2)))) (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ 1 (sqrt b2))) (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ 1 1)) (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) 1) (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (cbrt a2)) (* (cbrt (/ (* a1 (* (cbrt a2) (cbrt a2))) b1)) (/ (cbrt a2) b2)) (* (sqrt (/ (* a1 (* (cbrt a2) (cbrt a2))) b1)) (/ (cbrt a2) b2)) (* (/ (* (cbrt a2) (cbrt a2)) (cbrt b1)) (/ (cbrt a2) b2)) (* (/ (* (cbrt a2) (cbrt a2)) (sqrt b1)) (/ (cbrt a2) b2)) (* (/ (* (cbrt a2) (cbrt a2)) b1) (/ (cbrt a2) b2)) (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (cbrt a2) b2)) (* (/ 1 b1) (/ (cbrt a2) b2)) (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (cbrt a2)) (* (* a1 (* (cbrt a2) (cbrt a2))) (/ (cbrt a2) b2)) (log (cbrt a2)) (exp (cbrt a2)) (cbrt (* (cbrt a2) (cbrt a2))) (cbrt (cbrt a2)) (cbrt (sqrt a2)) (cbrt (sqrt a2)) (cbrt 1) (cbrt a2) (* (cbrt (cbrt a2)) (cbrt (cbrt a2))) (cbrt (cbrt a2)) (* (* (cbrt a2) (cbrt a2)) (cbrt a2)) (sqrt (cbrt a2)) (sqrt (cbrt a2)) (log (cbrt a2)) (exp (cbrt a2)) (cbrt (* (cbrt a2) (cbrt a2))) (cbrt (cbrt a2)) (cbrt (sqrt a2)) (cbrt (sqrt a2)) (cbrt 1) (cbrt a2) (* (cbrt (cbrt a2)) (cbrt (cbrt a2))) (cbrt (cbrt a2)) (* (* (cbrt a2) (cbrt a2)) (cbrt a2)) (sqrt (cbrt a2)) (sqrt (cbrt a2)) (/ (* a1 (exp (* 1/3 (+ (log 1) (* 2 (log a2)))))) b1) (/ (* a1 (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 a2))))))) b1) (/ (* (pow (cbrt -1) 2) (* (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 a2)))))) a1)) b1) (/ (* a1 a2) (* b1 b2)) (/ (* a1 a2) (* b1 b2)) (/ (* a1 a2) (* b1 b2)) (exp (* 1/3 (+ (log 1) (log a2)))) (exp (* 1/3 (- (log 1) (log (/ 1 a2))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 a2)))))) (exp (* 1/3 (+ (log 1) (log a2)))) (exp (* 1/3 (- (log 1) (log (/ 1 a2))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 a2)))))) 2.585 * * [simplify]: iteration 0 : 596 enodes (cost 1006 ) 2.596 * * [simplify]: iteration 1 : 3174 enodes (cost 830 ) 2.645 * * [simplify]: iteration 2 : 5001 enodes (cost 766 ) 2.650 * [simplify]: Simplified to: (log (/ (* a1 (* (cbrt a2) (cbrt a2))) b1)) (log (/ (* a1 (* (cbrt a2) (cbrt a2))) b1)) (log (/ (* a1 (* (cbrt a2) (cbrt a2))) b1)) (log (/ (* a1 (* (cbrt a2) (cbrt a2))) b1)) (exp (/ (* a1 (* (cbrt a2) (cbrt a2))) b1)) (/ (* a2 a2) (/ (pow b1 3) (pow a1 3))) (/ (* a2 a2) (/ (pow b1 3) (pow a1 3))) (/ (* a2 a2) (/ (pow b1 3) (pow a1 3))) (* (cbrt (/ (* a1 (* (cbrt a2) (cbrt a2))) b1)) (cbrt (/ (* a1 (* (cbrt a2) (cbrt a2))) b1))) (cbrt (/ (* a1 (* (cbrt a2) (cbrt a2))) b1)) (/ (* a2 a2) (/ (pow b1 3) (pow a1 3))) (sqrt (/ (* a1 (* (cbrt a2) (cbrt a2))) b1)) (sqrt (/ (* a1 (* (cbrt a2) (cbrt a2))) b1)) (neg (* a1 (* (cbrt a2) (cbrt a2)))) (neg b1) (/ a1 (* (cbrt b1) (cbrt b1))) (/ (* (cbrt a2) (cbrt a2)) (cbrt b1)) (/ a1 (sqrt b1)) (/ (* (cbrt a2) (cbrt a2)) (sqrt b1)) a1 (/ (* (cbrt a2) (cbrt a2)) b1) (/ 1 b1) (/ b1 (* a1 (* (cbrt a2) (cbrt a2)))) (/ (* a1 (* (cbrt a2) (cbrt a2))) (* (cbrt b1) (cbrt b1))) (/ (* a1 (* (cbrt a2) (cbrt a2))) (sqrt b1)) (* a1 (* (cbrt a2) (cbrt a2))) (/ b1 (* (cbrt a2) (cbrt a2))) (/ (* a1 a2) (* b1 b2)) (- (log a1) (log (/ b1 (/ (pow (cbrt a2) 3) b2)))) (- (log a1) (log (/ b1 (/ (pow (cbrt a2) 3) b2)))) (- (log a1) (log (/ b1 (/ (pow (cbrt a2) 3) b2)))) (- (log a1) (log (/ b1 (/ (pow (cbrt a2) 3) b2)))) (- (log a1) (log (/ b1 (/ (pow (cbrt a2) 3) b2)))) (- (log a1) (log (/ b1 (/ (pow (cbrt a2) 3) b2)))) (- (log a1) (log (/ b1 (/ (pow (cbrt a2) 3) b2)))) (- (log a1) (log (/ b1 (/ (pow (cbrt a2) 3) b2)))) (- (log a1) (log (/ b1 (/ (pow (cbrt a2) 3) b2)))) (pow (exp 1) (/ a1 (/ b1 (/ (pow (cbrt a2) 3) b2)))) (/ (pow (/ a1 (/ b1 (pow (cbrt a2) 3))) 3) (pow b2 3)) (/ (pow (/ a1 (/ b1 (pow (cbrt a2) 3))) 3) (pow b2 3)) (/ (pow (/ a1 (/ b1 (pow (cbrt a2) 3))) 3) (pow b2 3)) (/ (pow (/ a1 (/ b1 (pow (cbrt a2) 3))) 3) (pow b2 3)) (/ (pow (/ a1 (/ b1 (pow (cbrt a2) 3))) 3) (pow b2 3)) (/ (pow (/ a1 (/ b1 (pow (cbrt a2) 3))) 3) (pow b2 3)) (/ (pow (/ a1 (/ b1 (pow (cbrt a2) 3))) 3) (pow b2 3)) (/ (pow (/ a1 (/ b1 (pow (cbrt a2) 3))) 3) (pow b2 3)) (* (cbrt (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (cbrt a2) b2))) (cbrt (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (cbrt a2) b2)))) (cbrt (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (cbrt a2) b2))) (/ (pow (/ a1 (/ b1 (pow (cbrt a2) 3))) 3) (pow b2 3)) (sqrt (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (cbrt a2) b2))) (sqrt (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (cbrt a2) b2))) (* a1 a2) (* b1 b2) (* (sqrt (/ (* a1 (* (cbrt a2) (cbrt a2))) b1)) (sqrt (/ (cbrt a2) b2))) (* (sqrt (/ (* a1 (* (cbrt a2) (cbrt a2))) b1)) (sqrt (/ (cbrt a2) b2))) (* (sqrt (/ (* a1 (* (cbrt a2) (cbrt a2))) b1)) (/ (cbrt (sqrt a2)) (sqrt b2))) (* (sqrt (/ (* a1 (* (cbrt a2) (cbrt a2))) b1)) (/ (cbrt (sqrt a2)) (sqrt b2))) (* (sqrt (/ (* a1 (* (cbrt a2) (cbrt a2))) b1)) (/ (sqrt (cbrt a2)) (sqrt b2))) (* (sqrt (/ (* a1 (* (cbrt a2) (cbrt a2))) b1)) (/ (sqrt (cbrt a2)) (sqrt b2))) (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (* (cbrt (/ (cbrt a2) b2)) (cbrt (/ (cbrt a2) b2)))) (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (sqrt (/ (cbrt a2) b2))) (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (cbrt (* (cbrt a2) (cbrt a2))) (* (cbrt b2) (cbrt b2)))) (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (cbrt (* (cbrt a2) (cbrt a2))) (sqrt b2))) (/ (* (* a1 (* (cbrt a2) (cbrt a2))) (cbrt (* (cbrt a2) (cbrt a2)))) b1) (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (cbrt (sqrt a2)) (* (cbrt b2) (cbrt b2)))) (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (cbrt (sqrt a2)) (sqrt b2))) (/ (* (* a1 (* (cbrt a2) (cbrt a2))) (cbrt (sqrt a2))) b1) (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (cbrt 1) (* (cbrt b2) (cbrt b2)))) (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (cbrt 1) (sqrt b2))) (/ (* (* a1 (* (cbrt a2) (cbrt a2))) (cbrt 1)) b1) (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (* (cbrt (cbrt a2)) (cbrt (cbrt a2))) (* (cbrt b2) (cbrt b2)))) (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (* (cbrt (cbrt a2)) (cbrt (cbrt a2))) (sqrt b2))) (/ (* (* a1 (* (cbrt a2) (cbrt a2))) (* (cbrt (cbrt a2)) (cbrt (cbrt a2)))) b1) (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (sqrt (cbrt a2)) (* (cbrt b2) (cbrt b2)))) (* (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (sqrt (cbrt a2)) (sqrt b2))) (/ (* (* a1 (* (cbrt a2) (cbrt a2))) (sqrt (cbrt a2))) b1) (/ (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (* (cbrt b2) (cbrt b2))) (/ (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (sqrt b2)) (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (* a1 (* (cbrt a2) (cbrt a2))) b1) (/ (* a1 a2) b1) (* (cbrt (/ (* a1 (* (cbrt a2) (cbrt a2))) b1)) (/ (cbrt a2) b2)) (* (sqrt (/ (* a1 (* (cbrt a2) (cbrt a2))) b1)) (/ (cbrt a2) b2)) (* (/ (* (cbrt a2) (cbrt a2)) (cbrt b1)) (/ (cbrt a2) b2)) (* (/ (* (cbrt a2) (cbrt a2)) (sqrt b1)) (/ (cbrt a2) b2)) (* (/ (* (cbrt a2) (cbrt a2)) b1) (/ (cbrt a2) b2)) (/ (* a1 a2) (* b1 b2)) (* (/ 1 b1) (/ (cbrt a2) b2)) (/ (* a1 a2) b1) (* a1 (/ a2 b2)) (log (cbrt a2)) (exp (cbrt a2)) (cbrt (* (cbrt a2) (cbrt a2))) (cbrt (cbrt a2)) (cbrt (sqrt a2)) (cbrt (sqrt a2)) (cbrt 1) (cbrt a2) (* (cbrt (cbrt a2)) (cbrt (cbrt a2))) (cbrt (cbrt a2)) a2 (sqrt (cbrt a2)) (sqrt (cbrt a2)) (log (cbrt a2)) (exp (cbrt a2)) (cbrt (* (cbrt a2) (cbrt a2))) (cbrt (cbrt a2)) (cbrt (sqrt a2)) (cbrt (sqrt a2)) (cbrt 1) (cbrt a2) (* (cbrt (cbrt a2)) (cbrt (cbrt a2))) (cbrt (cbrt a2)) a2 (sqrt (cbrt a2)) (sqrt (cbrt a2)) (/ (* a1 (exp (* 1/3 (+ (log 1) (* 2 (log a2)))))) b1) (/ (* a1 (exp (* 1/3 (+ (log 1) (* 2 (log a2)))))) b1) (/ (* (pow (cbrt -1) 2) (* (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 a2)))))) a1)) b1) (/ (* a1 a2) (* b1 b2)) (/ (* a1 a2) (* b1 b2)) (/ (* a1 a2) (* b1 b2)) (* (pow a2 1/3) (pow 1 1/3)) (* (pow a2 1/3) (pow 1 1/3)) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 a2)))))) (* (pow a2 1/3) (pow 1 1/3)) (* (pow a2 1/3) (pow 1 1/3)) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 a2)))))) 2.650 * * * [progress]: adding candidates to table 2.743 * [progress]: [Phase 3 of 3] Extracting. 2.743 * * [regime]: Finding splitpoints for: (# # # # # # # # # #) 2.744 * * * [regime-changes]: Trying 7 branch expressions: ((* b1 b2) (* a1 a2) (/ (* a1 a2) (* b1 b2)) b2 b1 a2 a1) 2.744 * * * * [regimes]: Trying to branch on (* b1 b2) from (# # # # # # # # # #) 2.851 * * * * [regimes]: Trying to branch on (* b1 b2) from (# # #) 2.921 * * * * [regimes]: Trying to branch on (* a1 a2) from (# # # # # # # # # #) 3.026 * * * * [regimes]: Trying to branch on (* a1 a2) from (# # #) 3.089 * * * * [regimes]: Trying to branch on (/ (* a1 a2) (* b1 b2)) from (# # # # # # # # # #) 3.221 * * * * [regimes]: Trying to branch on b2 from (# # # # # # # # # #) 3.326 * * * * [regimes]: Trying to branch on b1 from (# # # # # # # # # #) 3.434 * * * * [regimes]: Trying to branch on a2 from (# # # # # # # # # #) 3.537 * * * * [regimes]: Trying to branch on a1 from (# # # # # # # # # #) 3.660 * * * [regime]: Found split indices: #