6.302 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.591 * * * [progress]: [2/2] Setting up program. 0.594 * [progress]: [Phase 2 of 3] Improving. 0.595 * [simplify]: Simplifying using # : (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 0.600 * * [simplify]: iteration 0 : 67 enodes (cost 7 ) 0.600 * * [simplify]: iteration 1 : 67 enodes (cost 7 ) 0.600 * [simplify]: Simplified to: (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 0.601 * * [progress]: iteration 1 / 4 0.601 * * * [progress]: picking best candidate 0.603 * * * * [pick]: Picked # 0.604 * * * [progress]: localizing error 0.609 * * * [progress]: generating rewritten candidates 0.609 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.615 * * * [progress]: generating series expansions 0.615 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.615 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (a1 a2 b1 b2) around 0 0.615 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2 0.616 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 0.616 * [taylor]: Taking taylor expansion of a1 in b2 0.616 * [taylor]: Taking taylor expansion of a2 in b2 0.616 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.616 * [taylor]: Taking taylor expansion of b1 in b2 0.616 * [taylor]: Taking taylor expansion of b2 in b2 0.616 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1 0.616 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 0.616 * [taylor]: Taking taylor expansion of a1 in b1 0.616 * [taylor]: Taking taylor expansion of a2 in b1 0.616 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.616 * [taylor]: Taking taylor expansion of b1 in b1 0.616 * [taylor]: Taking taylor expansion of b2 in b1 0.616 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2 0.616 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 0.616 * [taylor]: Taking taylor expansion of a1 in a2 0.616 * [taylor]: Taking taylor expansion of a2 in a2 0.616 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.616 * [taylor]: Taking taylor expansion of b1 in a2 0.616 * [taylor]: Taking taylor expansion of b2 in a2 0.616 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1 0.616 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.616 * [taylor]: Taking taylor expansion of a1 in a1 0.616 * [taylor]: Taking taylor expansion of a2 in a1 0.616 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 0.616 * [taylor]: Taking taylor expansion of b1 in a1 0.616 * [taylor]: Taking taylor expansion of b2 in a1 0.616 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1 0.616 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.616 * [taylor]: Taking taylor expansion of a1 in a1 0.616 * [taylor]: Taking taylor expansion of a2 in a1 0.616 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 0.616 * [taylor]: Taking taylor expansion of b1 in a1 0.616 * [taylor]: Taking taylor expansion of b2 in a1 0.617 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2 0.617 * [taylor]: Taking taylor expansion of a2 in a2 0.617 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.617 * [taylor]: Taking taylor expansion of b1 in a2 0.617 * [taylor]: Taking taylor expansion of b2 in a2 0.617 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1 0.617 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.617 * [taylor]: Taking taylor expansion of b1 in b1 0.617 * [taylor]: Taking taylor expansion of b2 in b1 0.617 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2 0.617 * [taylor]: Taking taylor expansion of b2 in b2 0.617 * [taylor]: Taking taylor expansion of 0 in a2 0.617 * [taylor]: Taking taylor expansion of 0 in b1 0.618 * [taylor]: Taking taylor expansion of 0 in b1 0.618 * [taylor]: Taking taylor expansion of (neg (+ (* (/ 1 b2) (/ 0 b2)))) in b2 0.618 * [taylor]: Taking taylor expansion of (+ (* (/ 1 b2) (/ 0 b2))) in b2 0.618 * [taylor]: Taking taylor expansion of (* (/ 1 b2) (/ 0 b2)) in b2 0.618 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2 0.618 * [taylor]: Taking taylor expansion of b2 in b2 0.618 * [taylor]: Taking taylor expansion of (/ 0 b2) in b2 0.618 * [taylor]: Taking taylor expansion of 0 in b2 0.618 * [taylor]: Taking taylor expansion of b2 in b2 0.618 * [taylor]: Taking taylor expansion of 0 in a2 0.618 * [taylor]: Taking taylor expansion of 0 in b1 0.618 * [taylor]: Taking taylor expansion of 0 in b1 0.618 * [taylor]: Taking taylor expansion of 0 in b1 0.618 * [taylor]: Taking taylor expansion of 0 in b2 0.619 * [taylor]: Taking taylor expansion of 0 in b2 0.619 * [taylor]: Taking taylor expansion of (neg (+ (* (/ 1 b2) (/ 0 b2)) (* (neg (+ (* (/ 1 b2) (/ 0 b2)))) (/ 0 b2)))) in b2 0.619 * [taylor]: Taking taylor expansion of (+ (* (/ 1 b2) (/ 0 b2)) (* (neg (+ (* (/ 1 b2) (/ 0 b2)))) (/ 0 b2))) in b2 0.619 * [taylor]: Taking taylor expansion of (* (/ 1 b2) (/ 0 b2)) in b2 0.619 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2 0.619 * [taylor]: Taking taylor expansion of b2 in b2 0.619 * [taylor]: Taking taylor expansion of (/ 0 b2) in b2 0.619 * [taylor]: Taking taylor expansion of 0 in b2 0.619 * [taylor]: Taking taylor expansion of b2 in b2 0.619 * [taylor]: Taking taylor expansion of (* (neg (+ (* (/ 1 b2) (/ 0 b2)))) (/ 0 b2)) in b2 0.619 * [taylor]: Taking taylor expansion of (neg (+ (* (/ 1 b2) (/ 0 b2)))) in b2 0.619 * [taylor]: Taking taylor expansion of (+ (* (/ 1 b2) (/ 0 b2))) in b2 0.619 * [taylor]: Taking taylor expansion of (* (/ 1 b2) (/ 0 b2)) in b2 0.619 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2 0.619 * [taylor]: Taking taylor expansion of b2 in b2 0.619 * [taylor]: Taking taylor expansion of (/ 0 b2) in b2 0.619 * [taylor]: Taking taylor expansion of 0 in b2 0.619 * [taylor]: Taking taylor expansion of b2 in b2 0.619 * [taylor]: Taking taylor expansion of (/ 0 b2) in b2 0.619 * [taylor]: Taking taylor expansion of 0 in b2 0.619 * [taylor]: Taking taylor expansion of b2 in b2 0.620 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 a2 b1 b2) around 0 0.620 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2 0.620 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.620 * [taylor]: Taking taylor expansion of b1 in b2 0.620 * [taylor]: Taking taylor expansion of b2 in b2 0.620 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 0.620 * [taylor]: Taking taylor expansion of a1 in b2 0.620 * [taylor]: Taking taylor expansion of a2 in b2 0.620 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1 0.620 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.620 * [taylor]: Taking taylor expansion of b1 in b1 0.620 * [taylor]: Taking taylor expansion of b2 in b1 0.620 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 0.620 * [taylor]: Taking taylor expansion of a1 in b1 0.620 * [taylor]: Taking taylor expansion of a2 in b1 0.620 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2 0.620 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.620 * [taylor]: Taking taylor expansion of b1 in a2 0.620 * [taylor]: Taking taylor expansion of b2 in a2 0.620 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 0.620 * [taylor]: Taking taylor expansion of a1 in a2 0.620 * [taylor]: Taking taylor expansion of a2 in a2 0.620 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1 0.620 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 0.620 * [taylor]: Taking taylor expansion of b1 in a1 0.620 * [taylor]: Taking taylor expansion of b2 in a1 0.620 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.620 * [taylor]: Taking taylor expansion of a1 in a1 0.620 * [taylor]: Taking taylor expansion of a2 in a1 0.620 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1 0.620 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 0.620 * [taylor]: Taking taylor expansion of b1 in a1 0.620 * [taylor]: Taking taylor expansion of b2 in a1 0.621 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.621 * [taylor]: Taking taylor expansion of a1 in a1 0.621 * [taylor]: Taking taylor expansion of a2 in a1 0.621 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.621 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.621 * [taylor]: Taking taylor expansion of b1 in a2 0.621 * [taylor]: Taking taylor expansion of b2 in a2 0.621 * [taylor]: Taking taylor expansion of a2 in a2 0.621 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.621 * [taylor]: Taking taylor expansion of b1 in b1 0.621 * [taylor]: Taking taylor expansion of b2 in b1 0.621 * [taylor]: Taking taylor expansion of b2 in b2 0.621 * [taylor]: Taking taylor expansion of 0 in a2 0.621 * [taylor]: Taking taylor expansion of 0 in b1 0.621 * [taylor]: Taking taylor expansion of 0 in b2 0.621 * [taylor]: Taking taylor expansion of 0 in b2 0.622 * [taylor]: Taking taylor expansion of 0 in a2 0.622 * [taylor]: Taking taylor expansion of 0 in b1 0.622 * [taylor]: Taking taylor expansion of 0 in b2 0.622 * [taylor]: Taking taylor expansion of 0 in b1 0.622 * [taylor]: Taking taylor expansion of 0 in b2 0.622 * [taylor]: Taking taylor expansion of 0 in b2 0.622 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 a2 b1 b2) around 0 0.622 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2 0.622 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.622 * [taylor]: Taking taylor expansion of b1 in b2 0.622 * [taylor]: Taking taylor expansion of b2 in b2 0.622 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 0.622 * [taylor]: Taking taylor expansion of a1 in b2 0.622 * [taylor]: Taking taylor expansion of a2 in b2 0.622 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1 0.622 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.622 * [taylor]: Taking taylor expansion of b1 in b1 0.622 * [taylor]: Taking taylor expansion of b2 in b1 0.622 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 0.622 * [taylor]: Taking taylor expansion of a1 in b1 0.622 * [taylor]: Taking taylor expansion of a2 in b1 0.623 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2 0.623 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.623 * [taylor]: Taking taylor expansion of b1 in a2 0.623 * [taylor]: Taking taylor expansion of b2 in a2 0.623 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 0.623 * [taylor]: Taking taylor expansion of a1 in a2 0.623 * [taylor]: Taking taylor expansion of a2 in a2 0.623 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1 0.623 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 0.623 * [taylor]: Taking taylor expansion of b1 in a1 0.623 * [taylor]: Taking taylor expansion of b2 in a1 0.623 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.623 * [taylor]: Taking taylor expansion of a1 in a1 0.623 * [taylor]: Taking taylor expansion of a2 in a1 0.623 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1 0.623 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 0.623 * [taylor]: Taking taylor expansion of b1 in a1 0.623 * [taylor]: Taking taylor expansion of b2 in a1 0.623 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.623 * [taylor]: Taking taylor expansion of a1 in a1 0.623 * [taylor]: Taking taylor expansion of a2 in a1 0.623 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2 0.623 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.623 * [taylor]: Taking taylor expansion of b1 in a2 0.623 * [taylor]: Taking taylor expansion of b2 in a2 0.623 * [taylor]: Taking taylor expansion of a2 in a2 0.623 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.623 * [taylor]: Taking taylor expansion of b1 in b1 0.623 * [taylor]: Taking taylor expansion of b2 in b1 0.623 * [taylor]: Taking taylor expansion of b2 in b2 0.624 * [taylor]: Taking taylor expansion of 0 in a2 0.624 * [taylor]: Taking taylor expansion of 0 in b1 0.624 * [taylor]: Taking taylor expansion of 0 in b2 0.624 * [taylor]: Taking taylor expansion of 0 in b2 0.624 * [taylor]: Taking taylor expansion of 0 in a2 0.624 * [taylor]: Taking taylor expansion of 0 in b1 0.624 * [taylor]: Taking taylor expansion of 0 in b2 0.624 * [taylor]: Taking taylor expansion of 0 in b1 0.624 * [taylor]: Taking taylor expansion of 0 in b2 0.624 * [taylor]: Taking taylor expansion of 0 in b2 0.625 * * * [progress]: simplifying candidates 0.625 * [simplify]: Simplifying using # : (-.f64 (+.f64 (log.f64 a1) (log.f64 a2)) (+.f64 (log.f64 b1) (log.f64 b2))) (-.f64 (+.f64 (log.f64 a1) (log.f64 a2)) (log.f64 (*.f64 b1 b2))) (-.f64 (log.f64 (*.f64 a1 a2)) (+.f64 (log.f64 b1) (log.f64 b2))) (-.f64 (log.f64 (*.f64 a1 a2)) (log.f64 (*.f64 b1 b2))) (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (exp.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (/.f64 (*.f64 (*.f64 (*.f64 a1 a1) a1) (*.f64 (*.f64 a2 a2) a2)) (*.f64 (*.f64 (*.f64 b1 b1) b1) (*.f64 (*.f64 b2 b2) b2))) (/.f64 (*.f64 (*.f64 (*.f64 a1 a1) a1) (*.f64 (*.f64 a2 a2) a2)) (*.f64 (*.f64 (*.f64 b1 b2) (*.f64 b1 b2)) (*.f64 b1 b2))) (/.f64 (*.f64 (*.f64 (*.f64 a1 a2) (*.f64 a1 a2)) (*.f64 a1 a2)) (*.f64 (*.f64 (*.f64 b1 b1) b1) (*.f64 (*.f64 b2 b2) b2))) (/.f64 (*.f64 (*.f64 (*.f64 a1 a2) (*.f64 a1 a2)) (*.f64 a1 a2)) (*.f64 (*.f64 (*.f64 b1 b2) (*.f64 b1 b2)) (*.f64 b1 b2))) (*.f64 (cbrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (cbrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))) (cbrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (*.f64 (*.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (sqrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (sqrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (neg.f64 (*.f64 a1 a2)) (neg.f64 (*.f64 b1 b2)) (/.f64 a1 b1) (/.f64 a2 b2) (/.f64 1 (*.f64 b1 b2)) (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)) (/.f64 (*.f64 a1 a2) b1) (/.f64 (*.f64 b1 b2) a2) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 0.678 * * [simplify]: iteration 0 : 5102 enodes (cost 191 ) 0.680 * [simplify]: Simplified to: (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (exp.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (pow.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 3) (pow.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 3) (pow.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 3) (pow.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 3) (*.f64 (cbrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (cbrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))) (cbrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (pow.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 3) (sqrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (sqrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (neg.f64 (*.f64 a1 a2)) (neg.f64 (*.f64 b1 b2)) (/.f64 a1 b1) (/.f64 a2 b2) (/.f64 1 (*.f64 b1 b2)) (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)) (*.f64 a2 (/.f64 a1 b1)) (/.f64 b1 (/.f64 a2 b2)) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 0.680 * * * [progress]: adding candidates to table 0.704 * * [progress]: iteration 2 / 4 0.704 * * * [progress]: picking best candidate 0.726 * * * * [pick]: Picked # 0.726 * * * [progress]: localizing error 0.733 * * * [progress]: generating rewritten candidates 0.733 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.739 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.749 * * * [progress]: generating series expansions 0.749 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.750 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (b1 b2 a1 a2) around 0 0.750 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2 0.750 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.750 * [taylor]: Taking taylor expansion of b1 in a2 0.750 * [taylor]: Taking taylor expansion of b2 in a2 0.750 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 0.750 * [taylor]: Taking taylor expansion of a1 in a2 0.750 * [taylor]: Taking taylor expansion of a2 in a2 0.750 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1 0.750 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 0.750 * [taylor]: Taking taylor expansion of b1 in a1 0.750 * [taylor]: Taking taylor expansion of b2 in a1 0.750 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.750 * [taylor]: Taking taylor expansion of a1 in a1 0.750 * [taylor]: Taking taylor expansion of a2 in a1 0.750 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2 0.750 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.750 * [taylor]: Taking taylor expansion of b1 in b2 0.750 * [taylor]: Taking taylor expansion of b2 in b2 0.750 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 0.750 * [taylor]: Taking taylor expansion of a1 in b2 0.750 * [taylor]: Taking taylor expansion of a2 in b2 0.750 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1 0.750 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.750 * [taylor]: Taking taylor expansion of b1 in b1 0.750 * [taylor]: Taking taylor expansion of b2 in b1 0.750 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 0.750 * [taylor]: Taking taylor expansion of a1 in b1 0.750 * [taylor]: Taking taylor expansion of a2 in b1 0.751 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1 0.751 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.751 * [taylor]: Taking taylor expansion of b1 in b1 0.751 * [taylor]: Taking taylor expansion of b2 in b1 0.751 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 0.751 * [taylor]: Taking taylor expansion of a1 in b1 0.751 * [taylor]: Taking taylor expansion of a2 in b1 0.751 * [taylor]: Taking taylor expansion of (/ b2 (* a1 a2)) in b2 0.751 * [taylor]: Taking taylor expansion of b2 in b2 0.751 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 0.751 * [taylor]: Taking taylor expansion of a1 in b2 0.751 * [taylor]: Taking taylor expansion of a2 in b2 0.751 * [taylor]: Taking taylor expansion of (/ 1 (* a1 a2)) in a1 0.751 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.751 * [taylor]: Taking taylor expansion of a1 in a1 0.751 * [taylor]: Taking taylor expansion of a2 in a1 0.751 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2 0.751 * [taylor]: Taking taylor expansion of a2 in a2 0.751 * [taylor]: Taking taylor expansion of 0 in b2 0.751 * [taylor]: Taking taylor expansion of 0 in a1 0.752 * [taylor]: Taking taylor expansion of 0 in a1 0.752 * [taylor]: Taking taylor expansion of (neg (+ (* (/ 1 a2) (/ 0 a2)))) in a2 0.752 * [taylor]: Taking taylor expansion of (+ (* (/ 1 a2) (/ 0 a2))) in a2 0.752 * [taylor]: Taking taylor expansion of (* (/ 1 a2) (/ 0 a2)) in a2 0.752 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2 0.752 * [taylor]: Taking taylor expansion of a2 in a2 0.752 * [taylor]: Taking taylor expansion of (/ 0 a2) in a2 0.752 * [taylor]: Taking taylor expansion of 0 in a2 0.752 * [taylor]: Taking taylor expansion of a2 in a2 0.752 * [taylor]: Taking taylor expansion of 0 in b2 0.752 * [taylor]: Taking taylor expansion of 0 in a1 0.752 * [taylor]: Taking taylor expansion of 0 in a1 0.752 * [taylor]: Taking taylor expansion of 0 in a1 0.752 * [taylor]: Taking taylor expansion of 0 in a2 0.752 * [taylor]: Taking taylor expansion of 0 in a2 0.753 * [taylor]: Taking taylor expansion of (neg (+ (* (/ 1 a2) (/ 0 a2)) (* (neg (+ (* (/ 1 a2) (/ 0 a2)))) (/ 0 a2)))) in a2 0.753 * [taylor]: Taking taylor expansion of (+ (* (/ 1 a2) (/ 0 a2)) (* (neg (+ (* (/ 1 a2) (/ 0 a2)))) (/ 0 a2))) in a2 0.753 * [taylor]: Taking taylor expansion of (* (/ 1 a2) (/ 0 a2)) in a2 0.753 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2 0.753 * [taylor]: Taking taylor expansion of a2 in a2 0.753 * [taylor]: Taking taylor expansion of (/ 0 a2) in a2 0.753 * [taylor]: Taking taylor expansion of 0 in a2 0.753 * [taylor]: Taking taylor expansion of a2 in a2 0.753 * [taylor]: Taking taylor expansion of (* (neg (+ (* (/ 1 a2) (/ 0 a2)))) (/ 0 a2)) in a2 0.753 * [taylor]: Taking taylor expansion of (neg (+ (* (/ 1 a2) (/ 0 a2)))) in a2 0.753 * [taylor]: Taking taylor expansion of (+ (* (/ 1 a2) (/ 0 a2))) in a2 0.753 * [taylor]: Taking taylor expansion of (* (/ 1 a2) (/ 0 a2)) in a2 0.753 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2 0.753 * [taylor]: Taking taylor expansion of a2 in a2 0.753 * [taylor]: Taking taylor expansion of (/ 0 a2) in a2 0.753 * [taylor]: Taking taylor expansion of 0 in a2 0.753 * [taylor]: Taking taylor expansion of a2 in a2 0.753 * [taylor]: Taking taylor expansion of (/ 0 a2) in a2 0.753 * [taylor]: Taking taylor expansion of 0 in a2 0.753 * [taylor]: Taking taylor expansion of a2 in a2 0.754 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (b1 b2 a1 a2) around 0 0.754 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2 0.754 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 0.754 * [taylor]: Taking taylor expansion of a1 in a2 0.754 * [taylor]: Taking taylor expansion of a2 in a2 0.754 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.754 * [taylor]: Taking taylor expansion of b1 in a2 0.754 * [taylor]: Taking taylor expansion of b2 in a2 0.754 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1 0.754 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.754 * [taylor]: Taking taylor expansion of a1 in a1 0.754 * [taylor]: Taking taylor expansion of a2 in a1 0.754 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 0.754 * [taylor]: Taking taylor expansion of b1 in a1 0.754 * [taylor]: Taking taylor expansion of b2 in a1 0.754 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2 0.754 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 0.754 * [taylor]: Taking taylor expansion of a1 in b2 0.754 * [taylor]: Taking taylor expansion of a2 in b2 0.754 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.754 * [taylor]: Taking taylor expansion of b1 in b2 0.754 * [taylor]: Taking taylor expansion of b2 in b2 0.754 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1 0.754 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 0.754 * [taylor]: Taking taylor expansion of a1 in b1 0.754 * [taylor]: Taking taylor expansion of a2 in b1 0.754 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.754 * [taylor]: Taking taylor expansion of b1 in b1 0.754 * [taylor]: Taking taylor expansion of b2 in b1 0.754 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1 0.754 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 0.754 * [taylor]: Taking taylor expansion of a1 in b1 0.754 * [taylor]: Taking taylor expansion of a2 in b1 0.754 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.754 * [taylor]: Taking taylor expansion of b1 in b1 0.754 * [taylor]: Taking taylor expansion of b2 in b1 0.755 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b2) in b2 0.755 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 0.755 * [taylor]: Taking taylor expansion of a1 in b2 0.755 * [taylor]: Taking taylor expansion of a2 in b2 0.755 * [taylor]: Taking taylor expansion of b2 in b2 0.755 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.755 * [taylor]: Taking taylor expansion of a1 in a1 0.755 * [taylor]: Taking taylor expansion of a2 in a1 0.755 * [taylor]: Taking taylor expansion of a2 in a2 0.755 * [taylor]: Taking taylor expansion of 0 in b2 0.755 * [taylor]: Taking taylor expansion of 0 in a1 0.755 * [taylor]: Taking taylor expansion of 0 in a2 0.755 * [taylor]: Taking taylor expansion of 0 in a2 0.756 * [taylor]: Taking taylor expansion of 0 in b2 0.756 * [taylor]: Taking taylor expansion of 0 in a1 0.756 * [taylor]: Taking taylor expansion of 0 in a2 0.756 * [taylor]: Taking taylor expansion of 0 in a1 0.756 * [taylor]: Taking taylor expansion of 0 in a2 0.756 * [taylor]: Taking taylor expansion of 0 in a2 0.756 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (b1 b2 a1 a2) around 0 0.756 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2 0.756 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 0.756 * [taylor]: Taking taylor expansion of a1 in a2 0.756 * [taylor]: Taking taylor expansion of a2 in a2 0.756 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.756 * [taylor]: Taking taylor expansion of b1 in a2 0.756 * [taylor]: Taking taylor expansion of b2 in a2 0.756 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1 0.756 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.756 * [taylor]: Taking taylor expansion of a1 in a1 0.756 * [taylor]: Taking taylor expansion of a2 in a1 0.756 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 0.756 * [taylor]: Taking taylor expansion of b1 in a1 0.756 * [taylor]: Taking taylor expansion of b2 in a1 0.757 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2 0.757 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 0.757 * [taylor]: Taking taylor expansion of a1 in b2 0.757 * [taylor]: Taking taylor expansion of a2 in b2 0.757 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.757 * [taylor]: Taking taylor expansion of b1 in b2 0.757 * [taylor]: Taking taylor expansion of b2 in b2 0.757 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1 0.757 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 0.757 * [taylor]: Taking taylor expansion of a1 in b1 0.757 * [taylor]: Taking taylor expansion of a2 in b1 0.757 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.757 * [taylor]: Taking taylor expansion of b1 in b1 0.757 * [taylor]: Taking taylor expansion of b2 in b1 0.757 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1 0.757 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 0.757 * [taylor]: Taking taylor expansion of a1 in b1 0.757 * [taylor]: Taking taylor expansion of a2 in b1 0.757 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.757 * [taylor]: Taking taylor expansion of b1 in b1 0.757 * [taylor]: Taking taylor expansion of b2 in b1 0.757 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b2) in b2 0.757 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 0.757 * [taylor]: Taking taylor expansion of a1 in b2 0.757 * [taylor]: Taking taylor expansion of a2 in b2 0.757 * [taylor]: Taking taylor expansion of b2 in b2 0.757 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.757 * [taylor]: Taking taylor expansion of a1 in a1 0.757 * [taylor]: Taking taylor expansion of a2 in a1 0.757 * [taylor]: Taking taylor expansion of a2 in a2 0.758 * [taylor]: Taking taylor expansion of 0 in b2 0.758 * [taylor]: Taking taylor expansion of 0 in a1 0.758 * [taylor]: Taking taylor expansion of 0 in a2 0.758 * [taylor]: Taking taylor expansion of 0 in a2 0.758 * [taylor]: Taking taylor expansion of 0 in b2 0.758 * [taylor]: Taking taylor expansion of 0 in a1 0.758 * [taylor]: Taking taylor expansion of 0 in a2 0.758 * [taylor]: Taking taylor expansion of 0 in a1 0.758 * [taylor]: Taking taylor expansion of 0 in a2 0.758 * [taylor]: Taking taylor expansion of 0 in a2 0.759 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.759 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (b1 b2 a1 a2) around 0 0.759 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2 0.759 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 0.759 * [taylor]: Taking taylor expansion of a1 in a2 0.759 * [taylor]: Taking taylor expansion of a2 in a2 0.759 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.759 * [taylor]: Taking taylor expansion of b1 in a2 0.759 * [taylor]: Taking taylor expansion of b2 in a2 0.759 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1 0.759 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.759 * [taylor]: Taking taylor expansion of a1 in a1 0.759 * [taylor]: Taking taylor expansion of a2 in a1 0.759 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 0.759 * [taylor]: Taking taylor expansion of b1 in a1 0.759 * [taylor]: Taking taylor expansion of b2 in a1 0.759 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2 0.759 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 0.759 * [taylor]: Taking taylor expansion of a1 in b2 0.759 * [taylor]: Taking taylor expansion of a2 in b2 0.759 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.759 * [taylor]: Taking taylor expansion of b1 in b2 0.759 * [taylor]: Taking taylor expansion of b2 in b2 0.759 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1 0.759 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 0.759 * [taylor]: Taking taylor expansion of a1 in b1 0.759 * [taylor]: Taking taylor expansion of a2 in b1 0.759 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.759 * [taylor]: Taking taylor expansion of b1 in b1 0.759 * [taylor]: Taking taylor expansion of b2 in b1 0.760 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1 0.760 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 0.760 * [taylor]: Taking taylor expansion of a1 in b1 0.760 * [taylor]: Taking taylor expansion of a2 in b1 0.760 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.760 * [taylor]: Taking taylor expansion of b1 in b1 0.760 * [taylor]: Taking taylor expansion of b2 in b1 0.760 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b2) in b2 0.760 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 0.760 * [taylor]: Taking taylor expansion of a1 in b2 0.760 * [taylor]: Taking taylor expansion of a2 in b2 0.760 * [taylor]: Taking taylor expansion of b2 in b2 0.760 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.760 * [taylor]: Taking taylor expansion of a1 in a1 0.760 * [taylor]: Taking taylor expansion of a2 in a1 0.760 * [taylor]: Taking taylor expansion of a2 in a2 0.760 * [taylor]: Taking taylor expansion of 0 in b2 0.760 * [taylor]: Taking taylor expansion of 0 in a1 0.760 * [taylor]: Taking taylor expansion of 0 in a2 0.760 * [taylor]: Taking taylor expansion of 0 in a2 0.763 * [taylor]: Taking taylor expansion of 0 in b2 0.763 * [taylor]: Taking taylor expansion of 0 in a1 0.763 * [taylor]: Taking taylor expansion of 0 in a2 0.763 * [taylor]: Taking taylor expansion of 0 in a1 0.763 * [taylor]: Taking taylor expansion of 0 in a2 0.763 * [taylor]: Taking taylor expansion of 0 in a2 0.764 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (b1 b2 a1 a2) around 0 0.764 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2 0.764 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.764 * [taylor]: Taking taylor expansion of b1 in a2 0.764 * [taylor]: Taking taylor expansion of b2 in a2 0.764 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 0.764 * [taylor]: Taking taylor expansion of a1 in a2 0.764 * [taylor]: Taking taylor expansion of a2 in a2 0.764 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1 0.764 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 0.764 * [taylor]: Taking taylor expansion of b1 in a1 0.764 * [taylor]: Taking taylor expansion of b2 in a1 0.764 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.764 * [taylor]: Taking taylor expansion of a1 in a1 0.764 * [taylor]: Taking taylor expansion of a2 in a1 0.764 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2 0.764 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.764 * [taylor]: Taking taylor expansion of b1 in b2 0.764 * [taylor]: Taking taylor expansion of b2 in b2 0.764 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 0.764 * [taylor]: Taking taylor expansion of a1 in b2 0.764 * [taylor]: Taking taylor expansion of a2 in b2 0.764 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1 0.764 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.764 * [taylor]: Taking taylor expansion of b1 in b1 0.764 * [taylor]: Taking taylor expansion of b2 in b1 0.764 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 0.764 * [taylor]: Taking taylor expansion of a1 in b1 0.764 * [taylor]: Taking taylor expansion of a2 in b1 0.764 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1 0.764 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.764 * [taylor]: Taking taylor expansion of b1 in b1 0.764 * [taylor]: Taking taylor expansion of b2 in b1 0.764 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 0.764 * [taylor]: Taking taylor expansion of a1 in b1 0.764 * [taylor]: Taking taylor expansion of a2 in b1 0.765 * [taylor]: Taking taylor expansion of (/ b2 (* a1 a2)) in b2 0.765 * [taylor]: Taking taylor expansion of b2 in b2 0.765 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 0.765 * [taylor]: Taking taylor expansion of a1 in b2 0.765 * [taylor]: Taking taylor expansion of a2 in b2 0.765 * [taylor]: Taking taylor expansion of (/ 1 (* a1 a2)) in a1 0.765 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.765 * [taylor]: Taking taylor expansion of a1 in a1 0.765 * [taylor]: Taking taylor expansion of a2 in a1 0.765 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2 0.765 * [taylor]: Taking taylor expansion of a2 in a2 0.765 * [taylor]: Taking taylor expansion of 0 in b2 0.765 * [taylor]: Taking taylor expansion of 0 in a1 0.765 * [taylor]: Taking taylor expansion of 0 in a1 0.765 * [taylor]: Taking taylor expansion of (neg (+ (* (/ 1 a2) (/ 0 a2)))) in a2 0.765 * [taylor]: Taking taylor expansion of (+ (* (/ 1 a2) (/ 0 a2))) in a2 0.765 * [taylor]: Taking taylor expansion of (* (/ 1 a2) (/ 0 a2)) in a2 0.765 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2 0.765 * [taylor]: Taking taylor expansion of a2 in a2 0.766 * [taylor]: Taking taylor expansion of (/ 0 a2) in a2 0.766 * [taylor]: Taking taylor expansion of 0 in a2 0.766 * [taylor]: Taking taylor expansion of a2 in a2 0.766 * [taylor]: Taking taylor expansion of 0 in b2 0.766 * [taylor]: Taking taylor expansion of 0 in a1 0.766 * [taylor]: Taking taylor expansion of 0 in a1 0.766 * [taylor]: Taking taylor expansion of 0 in a1 0.766 * [taylor]: Taking taylor expansion of 0 in a2 0.766 * [taylor]: Taking taylor expansion of 0 in a2 0.766 * [taylor]: Taking taylor expansion of (neg (+ (* (/ 1 a2) (/ 0 a2)) (* (neg (+ (* (/ 1 a2) (/ 0 a2)))) (/ 0 a2)))) in a2 0.766 * [taylor]: Taking taylor expansion of (+ (* (/ 1 a2) (/ 0 a2)) (* (neg (+ (* (/ 1 a2) (/ 0 a2)))) (/ 0 a2))) in a2 0.766 * [taylor]: Taking taylor expansion of (* (/ 1 a2) (/ 0 a2)) in a2 0.766 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2 0.766 * [taylor]: Taking taylor expansion of a2 in a2 0.766 * [taylor]: Taking taylor expansion of (/ 0 a2) in a2 0.766 * [taylor]: Taking taylor expansion of 0 in a2 0.766 * [taylor]: Taking taylor expansion of a2 in a2 0.766 * [taylor]: Taking taylor expansion of (* (neg (+ (* (/ 1 a2) (/ 0 a2)))) (/ 0 a2)) in a2 0.766 * [taylor]: Taking taylor expansion of (neg (+ (* (/ 1 a2) (/ 0 a2)))) in a2 0.766 * [taylor]: Taking taylor expansion of (+ (* (/ 1 a2) (/ 0 a2))) in a2 0.766 * [taylor]: Taking taylor expansion of (* (/ 1 a2) (/ 0 a2)) in a2 0.766 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2 0.767 * [taylor]: Taking taylor expansion of a2 in a2 0.767 * [taylor]: Taking taylor expansion of (/ 0 a2) in a2 0.767 * [taylor]: Taking taylor expansion of 0 in a2 0.767 * [taylor]: Taking taylor expansion of a2 in a2 0.767 * [taylor]: Taking taylor expansion of (/ 0 a2) in a2 0.767 * [taylor]: Taking taylor expansion of 0 in a2 0.767 * [taylor]: Taking taylor expansion of a2 in a2 0.767 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (b1 b2 a1 a2) around 0 0.767 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2 0.767 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.767 * [taylor]: Taking taylor expansion of b1 in a2 0.767 * [taylor]: Taking taylor expansion of b2 in a2 0.767 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 0.767 * [taylor]: Taking taylor expansion of a1 in a2 0.767 * [taylor]: Taking taylor expansion of a2 in a2 0.768 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1 0.768 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 0.768 * [taylor]: Taking taylor expansion of b1 in a1 0.768 * [taylor]: Taking taylor expansion of b2 in a1 0.768 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.768 * [taylor]: Taking taylor expansion of a1 in a1 0.768 * [taylor]: Taking taylor expansion of a2 in a1 0.768 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2 0.768 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.768 * [taylor]: Taking taylor expansion of b1 in b2 0.768 * [taylor]: Taking taylor expansion of b2 in b2 0.768 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 0.768 * [taylor]: Taking taylor expansion of a1 in b2 0.768 * [taylor]: Taking taylor expansion of a2 in b2 0.768 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1 0.768 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.768 * [taylor]: Taking taylor expansion of b1 in b1 0.768 * [taylor]: Taking taylor expansion of b2 in b1 0.768 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 0.768 * [taylor]: Taking taylor expansion of a1 in b1 0.768 * [taylor]: Taking taylor expansion of a2 in b1 0.768 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1 0.768 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.768 * [taylor]: Taking taylor expansion of b1 in b1 0.768 * [taylor]: Taking taylor expansion of b2 in b1 0.768 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 0.768 * [taylor]: Taking taylor expansion of a1 in b1 0.768 * [taylor]: Taking taylor expansion of a2 in b1 0.768 * [taylor]: Taking taylor expansion of (/ b2 (* a1 a2)) in b2 0.769 * [taylor]: Taking taylor expansion of b2 in b2 0.769 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 0.769 * [taylor]: Taking taylor expansion of a1 in b2 0.769 * [taylor]: Taking taylor expansion of a2 in b2 0.769 * [taylor]: Taking taylor expansion of (/ 1 (* a1 a2)) in a1 0.769 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.769 * [taylor]: Taking taylor expansion of a1 in a1 0.769 * [taylor]: Taking taylor expansion of a2 in a1 0.769 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2 0.769 * [taylor]: Taking taylor expansion of a2 in a2 0.769 * [taylor]: Taking taylor expansion of 0 in b2 0.769 * [taylor]: Taking taylor expansion of 0 in a1 0.769 * [taylor]: Taking taylor expansion of 0 in a1 0.769 * [taylor]: Taking taylor expansion of (neg (+ (* (/ 1 a2) (/ 0 a2)))) in a2 0.769 * [taylor]: Taking taylor expansion of (+ (* (/ 1 a2) (/ 0 a2))) in a2 0.769 * [taylor]: Taking taylor expansion of (* (/ 1 a2) (/ 0 a2)) in a2 0.769 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2 0.769 * [taylor]: Taking taylor expansion of a2 in a2 0.769 * [taylor]: Taking taylor expansion of (/ 0 a2) in a2 0.769 * [taylor]: Taking taylor expansion of 0 in a2 0.769 * [taylor]: Taking taylor expansion of a2 in a2 0.770 * [taylor]: Taking taylor expansion of 0 in b2 0.770 * [taylor]: Taking taylor expansion of 0 in a1 0.770 * [taylor]: Taking taylor expansion of 0 in a1 0.770 * [taylor]: Taking taylor expansion of 0 in a1 0.770 * [taylor]: Taking taylor expansion of 0 in a2 0.770 * [taylor]: Taking taylor expansion of 0 in a2 0.770 * [taylor]: Taking taylor expansion of (neg (+ (* (/ 1 a2) (/ 0 a2)) (* (neg (+ (* (/ 1 a2) (/ 0 a2)))) (/ 0 a2)))) in a2 0.770 * [taylor]: Taking taylor expansion of (+ (* (/ 1 a2) (/ 0 a2)) (* (neg (+ (* (/ 1 a2) (/ 0 a2)))) (/ 0 a2))) in a2 0.770 * [taylor]: Taking taylor expansion of (* (/ 1 a2) (/ 0 a2)) in a2 0.770 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2 0.770 * [taylor]: Taking taylor expansion of a2 in a2 0.770 * [taylor]: Taking taylor expansion of (/ 0 a2) in a2 0.770 * [taylor]: Taking taylor expansion of 0 in a2 0.770 * [taylor]: Taking taylor expansion of a2 in a2 0.770 * [taylor]: Taking taylor expansion of (* (neg (+ (* (/ 1 a2) (/ 0 a2)))) (/ 0 a2)) in a2 0.770 * [taylor]: Taking taylor expansion of (neg (+ (* (/ 1 a2) (/ 0 a2)))) in a2 0.770 * [taylor]: Taking taylor expansion of (+ (* (/ 1 a2) (/ 0 a2))) in a2 0.770 * [taylor]: Taking taylor expansion of (* (/ 1 a2) (/ 0 a2)) in a2 0.770 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2 0.770 * [taylor]: Taking taylor expansion of a2 in a2 0.770 * [taylor]: Taking taylor expansion of (/ 0 a2) in a2 0.770 * [taylor]: Taking taylor expansion of 0 in a2 0.770 * [taylor]: Taking taylor expansion of a2 in a2 0.770 * [taylor]: Taking taylor expansion of (/ 0 a2) in a2 0.770 * [taylor]: Taking taylor expansion of 0 in a2 0.770 * [taylor]: Taking taylor expansion of a2 in a2 0.771 * * * [progress]: simplifying candidates 0.772 * [simplify]: Simplifying using # : (-.f64 (+.f64 (log.f64 b1) (log.f64 b2)) (+.f64 (log.f64 a1) (log.f64 a2))) (-.f64 (+.f64 (log.f64 b1) (log.f64 b2)) (log.f64 (*.f64 a1 a2))) (-.f64 (log.f64 (*.f64 b1 b2)) (+.f64 (log.f64 a1) (log.f64 a2))) (-.f64 (log.f64 (*.f64 b1 b2)) (log.f64 (*.f64 a1 a2))) (log.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))) (exp.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))) (/.f64 (*.f64 (*.f64 (*.f64 b1 b1) b1) (*.f64 (*.f64 b2 b2) b2)) (*.f64 (*.f64 (*.f64 a1 a1) a1) (*.f64 (*.f64 a2 a2) a2))) (/.f64 (*.f64 (*.f64 (*.f64 b1 b1) b1) (*.f64 (*.f64 b2 b2) b2)) (*.f64 (*.f64 (*.f64 a1 a2) (*.f64 a1 a2)) (*.f64 a1 a2))) (/.f64 (*.f64 (*.f64 (*.f64 b1 b2) (*.f64 b1 b2)) (*.f64 b1 b2)) (*.f64 (*.f64 (*.f64 a1 a1) a1) (*.f64 (*.f64 a2 a2) a2))) (/.f64 (*.f64 (*.f64 (*.f64 b1 b2) (*.f64 b1 b2)) (*.f64 b1 b2)) (*.f64 (*.f64 (*.f64 a1 a2) (*.f64 a1 a2)) (*.f64 a1 a2))) (*.f64 (cbrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))) (cbrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))) (cbrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))) (*.f64 (*.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)) (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))) (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))) (sqrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))) (sqrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))) (neg.f64 (*.f64 b1 b2)) (neg.f64 (*.f64 a1 a2)) (/.f64 b1 a1) (/.f64 b2 a2) (/.f64 1 (*.f64 a1 a2)) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) (/.f64 (*.f64 b1 b2) a1) (/.f64 (*.f64 a1 a2) b2) (neg.f64 1) (neg.f64 (-.f64 (+.f64 (log.f64 b1) (log.f64 b2)) (+.f64 (log.f64 a1) (log.f64 a2)))) (neg.f64 (-.f64 (+.f64 (log.f64 b1) (log.f64 b2)) (log.f64 (*.f64 a1 a2)))) (neg.f64 (-.f64 (log.f64 (*.f64 b1 b2)) (+.f64 (log.f64 a1) (log.f64 a2)))) (neg.f64 (-.f64 (log.f64 (*.f64 b1 b2)) (log.f64 (*.f64 a1 a2)))) (neg.f64 (log.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))) (-.f64 0 (-.f64 (+.f64 (log.f64 b1) (log.f64 b2)) (+.f64 (log.f64 a1) (log.f64 a2)))) (-.f64 0 (-.f64 (+.f64 (log.f64 b1) (log.f64 b2)) (log.f64 (*.f64 a1 a2)))) (-.f64 0 (-.f64 (log.f64 (*.f64 b1 b2)) (+.f64 (log.f64 a1) (log.f64 a2)))) (-.f64 0 (-.f64 (log.f64 (*.f64 b1 b2)) (log.f64 (*.f64 a1 a2)))) (-.f64 0 (log.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))) (-.f64 (log.f64 1) (-.f64 (+.f64 (log.f64 b1) (log.f64 b2)) (+.f64 (log.f64 a1) (log.f64 a2)))) (-.f64 (log.f64 1) (-.f64 (+.f64 (log.f64 b1) (log.f64 b2)) (log.f64 (*.f64 a1 a2)))) (-.f64 (log.f64 1) (-.f64 (log.f64 (*.f64 b1 b2)) (+.f64 (log.f64 a1) (log.f64 a2)))) (-.f64 (log.f64 1) (-.f64 (log.f64 (*.f64 b1 b2)) (log.f64 (*.f64 a1 a2)))) (-.f64 (log.f64 1) (log.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))) (log.f64 (/.f64 1 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))) (exp.f64 (/.f64 1 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))) (/.f64 (*.f64 (*.f64 1 1) 1) (/.f64 (*.f64 (*.f64 (*.f64 b1 b1) b1) (*.f64 (*.f64 b2 b2) b2)) (*.f64 (*.f64 (*.f64 a1 a1) a1) (*.f64 (*.f64 a2 a2) a2)))) (/.f64 (*.f64 (*.f64 1 1) 1) (/.f64 (*.f64 (*.f64 (*.f64 b1 b1) b1) (*.f64 (*.f64 b2 b2) b2)) (*.f64 (*.f64 (*.f64 a1 a2) (*.f64 a1 a2)) (*.f64 a1 a2)))) (/.f64 (*.f64 (*.f64 1 1) 1) (/.f64 (*.f64 (*.f64 (*.f64 b1 b2) (*.f64 b1 b2)) (*.f64 b1 b2)) (*.f64 (*.f64 (*.f64 a1 a1) a1) (*.f64 (*.f64 a2 a2) a2)))) (/.f64 (*.f64 (*.f64 1 1) 1) (/.f64 (*.f64 (*.f64 (*.f64 b1 b2) (*.f64 b1 b2)) (*.f64 b1 b2)) (*.f64 (*.f64 (*.f64 a1 a2) (*.f64 a1 a2)) (*.f64 a1 a2)))) (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)) (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))) (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))) (*.f64 (cbrt.f64 (/.f64 1 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))) (cbrt.f64 (/.f64 1 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))))) (cbrt.f64 (/.f64 1 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))) (*.f64 (*.f64 (/.f64 1 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))) (/.f64 1 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))) (/.f64 1 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))) (sqrt.f64 (/.f64 1 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))) (sqrt.f64 (/.f64 1 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))) (neg.f64 1) (neg.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))) (cbrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))))) (/.f64 (cbrt.f64 1) (cbrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))) (/.f64 (cbrt.f64 1) (sqrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 b1 a1)) (/.f64 (cbrt.f64 1) (/.f64 b2 a2)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) 1) (/.f64 (cbrt.f64 1) (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 b1 b2)) (/.f64 (cbrt.f64 1) (/.f64 1 (*.f64 a1 a2))) (/.f64 (sqrt.f64 1) (*.f64 (cbrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))) (cbrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))))) (/.f64 (sqrt.f64 1) (cbrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))) (/.f64 (sqrt.f64 1) (sqrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))) (/.f64 (sqrt.f64 1) (sqrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))) (/.f64 (sqrt.f64 1) (/.f64 b1 a1)) (/.f64 (sqrt.f64 1) (/.f64 b2 a2)) (/.f64 (sqrt.f64 1) 1) (/.f64 (sqrt.f64 1) (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))) (/.f64 (sqrt.f64 1) (*.f64 b1 b2)) (/.f64 (sqrt.f64 1) (/.f64 1 (*.f64 a1 a2))) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))) (cbrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))))) (/.f64 1 (cbrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))) (/.f64 1 (sqrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))) (/.f64 1 (sqrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))) (/.f64 1 (/.f64 b1 a1)) (/.f64 1 (/.f64 b2 a2)) (/.f64 1 1) (/.f64 1 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))) (/.f64 1 (*.f64 b1 b2)) (/.f64 1 (/.f64 1 (*.f64 a1 a2))) (/.f64 1 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))) (/.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)) 1) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))) (cbrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))))) (/.f64 1 (sqrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))) (/.f64 1 (/.f64 b1 a1)) (/.f64 1 1) (/.f64 1 (*.f64 b1 b2)) (/.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)) (cbrt.f64 1)) (/.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)) (sqrt.f64 1)) (/.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)) 1) (/.f64 1 (*.f64 b1 b2)) (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)) (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)) (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 0.827 * * [simplify]: iteration 0 : 4985 enodes (cost 780 ) 0.827 * * [simplify]: iteration 1 : 4985 enodes (cost 780 ) 0.831 * [simplify]: Simplified to: (log.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))) (log.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))) (log.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))) (log.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))) (log.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))) (exp.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))) (pow.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)) 3) (pow.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)) 3) (pow.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)) 3) (pow.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)) 3) (*.f64 (cbrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))) (cbrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))) (cbrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))) (pow.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)) 3) (sqrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))) (sqrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))) (neg.f64 (*.f64 b1 b2)) (neg.f64 (*.f64 a1 a2)) (/.f64 b1 a1) (/.f64 b2 a2) (/.f64 1 (*.f64 a1 a2)) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) (*.f64 (/.f64 b1 a1) b2) (/.f64 a1 (/.f64 b2 a2)) -1 (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (exp.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (pow.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 3) (pow.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 3) (pow.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 3) (pow.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 3) (pow.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 3) (*.f64 (cbrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (cbrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))) (cbrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (pow.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 3) (sqrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (sqrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) -1 (/.f64 (neg.f64 (*.f64 b1 b2)) (*.f64 a1 a2)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))) (cbrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))))) (/.f64 (cbrt.f64 1) (cbrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))) (/.f64 (cbrt.f64 1) (sqrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 b1 a1)) (/.f64 (cbrt.f64 1) (/.f64 b2 a2)) (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (cbrt.f64 1) (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 b1 b2)) (*.f64 (*.f64 a1 a2) (cbrt.f64 1)) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))) (cbrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))))) (/.f64 1 (cbrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))) (/.f64 1 (sqrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))) (/.f64 1 (sqrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))) (/.f64 a1 b1) (/.f64 a2 b2) 1 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) (/.f64 1 (*.f64 b1 b2)) (*.f64 a1 a2) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))) (cbrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))))) (/.f64 1 (cbrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))) (/.f64 1 (sqrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))) (/.f64 1 (sqrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))) (/.f64 a1 b1) (/.f64 a2 b2) 1 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) (/.f64 1 (*.f64 b1 b2)) (*.f64 a1 a2) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))) (cbrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))))) (/.f64 1 (sqrt.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))) (/.f64 a1 b1) 1 (/.f64 1 (*.f64 b1 b2)) (/.f64 (*.f64 b1 b2) (*.f64 (*.f64 a1 a2) (cbrt.f64 1))) (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)) (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)) (/.f64 1 (*.f64 b1 b2)) (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)) (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)) (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 0.832 * * * [progress]: adding candidates to table 0.869 * * [progress]: iteration 3 / 4 0.869 * * * [progress]: picking best candidate 0.895 * * * * [pick]: Picked # 0.895 * * * [progress]: localizing error 0.902 * * * [progress]: generating rewritten candidates 0.902 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.909 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1) 0.915 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.927 * * * [progress]: generating series expansions 0.927 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.927 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (b1 a1 b2 a2) around 0 0.927 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2 0.927 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.927 * [taylor]: Taking taylor expansion of b1 in a2 0.927 * [taylor]: Taking taylor expansion of b2 in a2 0.927 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 0.927 * [taylor]: Taking taylor expansion of a1 in a2 0.927 * [taylor]: Taking taylor expansion of a2 in a2 0.927 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2 0.927 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.927 * [taylor]: Taking taylor expansion of b1 in b2 0.928 * [taylor]: Taking taylor expansion of b2 in b2 0.928 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 0.928 * [taylor]: Taking taylor expansion of a1 in b2 0.928 * [taylor]: Taking taylor expansion of a2 in b2 0.928 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1 0.928 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 0.928 * [taylor]: Taking taylor expansion of b1 in a1 0.928 * [taylor]: Taking taylor expansion of b2 in a1 0.928 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.928 * [taylor]: Taking taylor expansion of a1 in a1 0.928 * [taylor]: Taking taylor expansion of a2 in a1 0.928 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1 0.928 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.928 * [taylor]: Taking taylor expansion of b1 in b1 0.928 * [taylor]: Taking taylor expansion of b2 in b1 0.928 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 0.928 * [taylor]: Taking taylor expansion of a1 in b1 0.928 * [taylor]: Taking taylor expansion of a2 in b1 0.928 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1 0.928 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.928 * [taylor]: Taking taylor expansion of b1 in b1 0.928 * [taylor]: Taking taylor expansion of b2 in b1 0.928 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 0.928 * [taylor]: Taking taylor expansion of a1 in b1 0.928 * [taylor]: Taking taylor expansion of a2 in b1 0.928 * [taylor]: Taking taylor expansion of (/ b2 (* a1 a2)) in a1 0.928 * [taylor]: Taking taylor expansion of b2 in a1 0.928 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.928 * [taylor]: Taking taylor expansion of a1 in a1 0.928 * [taylor]: Taking taylor expansion of a2 in a1 0.928 * [taylor]: Taking taylor expansion of (/ b2 a2) in b2 0.929 * [taylor]: Taking taylor expansion of b2 in b2 0.929 * [taylor]: Taking taylor expansion of a2 in b2 0.929 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2 0.929 * [taylor]: Taking taylor expansion of a2 in a2 0.929 * [taylor]: Taking taylor expansion of 0 in a1 0.929 * [taylor]: Taking taylor expansion of 0 in b2 0.929 * [taylor]: Taking taylor expansion of 0 in a2 0.929 * [taylor]: Taking taylor expansion of 0 in a2 0.929 * [taylor]: Taking taylor expansion of 0 in a1 0.929 * [taylor]: Taking taylor expansion of 0 in b2 0.929 * [taylor]: Taking taylor expansion of 0 in a2 0.930 * [taylor]: Taking taylor expansion of 0 in b2 0.930 * [taylor]: Taking taylor expansion of 0 in a2 0.930 * [taylor]: Taking taylor expansion of 0 in a2 0.930 * [taylor]: Taking taylor expansion of 0 in a2 0.930 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (b1 a1 b2 a2) around 0 0.930 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2 0.930 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 0.930 * [taylor]: Taking taylor expansion of a1 in a2 0.930 * [taylor]: Taking taylor expansion of a2 in a2 0.930 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.930 * [taylor]: Taking taylor expansion of b1 in a2 0.931 * [taylor]: Taking taylor expansion of b2 in a2 0.931 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2 0.931 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 0.931 * [taylor]: Taking taylor expansion of a1 in b2 0.931 * [taylor]: Taking taylor expansion of a2 in b2 0.931 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.931 * [taylor]: Taking taylor expansion of b1 in b2 0.931 * [taylor]: Taking taylor expansion of b2 in b2 0.931 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1 0.931 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.931 * [taylor]: Taking taylor expansion of a1 in a1 0.931 * [taylor]: Taking taylor expansion of a2 in a1 0.931 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 0.931 * [taylor]: Taking taylor expansion of b1 in a1 0.931 * [taylor]: Taking taylor expansion of b2 in a1 0.931 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1 0.931 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 0.931 * [taylor]: Taking taylor expansion of a1 in b1 0.931 * [taylor]: Taking taylor expansion of a2 in b1 0.931 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.931 * [taylor]: Taking taylor expansion of b1 in b1 0.931 * [taylor]: Taking taylor expansion of b2 in b1 0.931 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1 0.931 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 0.931 * [taylor]: Taking taylor expansion of a1 in b1 0.931 * [taylor]: Taking taylor expansion of a2 in b1 0.931 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.931 * [taylor]: Taking taylor expansion of b1 in b1 0.931 * [taylor]: Taking taylor expansion of b2 in b1 0.931 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b2) in a1 0.931 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.932 * [taylor]: Taking taylor expansion of a1 in a1 0.932 * [taylor]: Taking taylor expansion of a2 in a1 0.932 * [taylor]: Taking taylor expansion of b2 in a1 0.932 * [taylor]: Taking taylor expansion of (/ a2 b2) in b2 0.932 * [taylor]: Taking taylor expansion of a2 in b2 0.932 * [taylor]: Taking taylor expansion of b2 in b2 0.932 * [taylor]: Taking taylor expansion of a2 in a2 0.932 * [taylor]: Taking taylor expansion of 0 in a1 0.932 * [taylor]: Taking taylor expansion of 0 in b2 0.932 * [taylor]: Taking taylor expansion of 0 in b2 0.932 * [taylor]: Taking taylor expansion of 0 in a2 0.932 * [taylor]: Taking taylor expansion of 0 in a1 0.932 * [taylor]: Taking taylor expansion of 0 in b2 0.932 * [taylor]: Taking taylor expansion of 0 in b2 0.933 * [taylor]: Taking taylor expansion of 0 in b2 0.933 * [taylor]: Taking taylor expansion of 0 in a2 0.933 * [taylor]: Taking taylor expansion of 0 in a2 0.933 * [taylor]: Taking taylor expansion of 0 in a2 0.933 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (b1 a1 b2 a2) around 0 0.933 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2 0.933 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 0.933 * [taylor]: Taking taylor expansion of a1 in a2 0.933 * [taylor]: Taking taylor expansion of a2 in a2 0.933 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.933 * [taylor]: Taking taylor expansion of b1 in a2 0.933 * [taylor]: Taking taylor expansion of b2 in a2 0.933 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2 0.933 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 0.933 * [taylor]: Taking taylor expansion of a1 in b2 0.933 * [taylor]: Taking taylor expansion of a2 in b2 0.933 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.933 * [taylor]: Taking taylor expansion of b1 in b2 0.933 * [taylor]: Taking taylor expansion of b2 in b2 0.934 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1 0.934 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.934 * [taylor]: Taking taylor expansion of a1 in a1 0.934 * [taylor]: Taking taylor expansion of a2 in a1 0.934 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 0.934 * [taylor]: Taking taylor expansion of b1 in a1 0.934 * [taylor]: Taking taylor expansion of b2 in a1 0.934 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1 0.934 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 0.934 * [taylor]: Taking taylor expansion of a1 in b1 0.934 * [taylor]: Taking taylor expansion of a2 in b1 0.934 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.934 * [taylor]: Taking taylor expansion of b1 in b1 0.934 * [taylor]: Taking taylor expansion of b2 in b1 0.934 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1 0.934 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 0.934 * [taylor]: Taking taylor expansion of a1 in b1 0.934 * [taylor]: Taking taylor expansion of a2 in b1 0.934 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.934 * [taylor]: Taking taylor expansion of b1 in b1 0.934 * [taylor]: Taking taylor expansion of b2 in b1 0.934 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b2) in a1 0.934 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.934 * [taylor]: Taking taylor expansion of a1 in a1 0.934 * [taylor]: Taking taylor expansion of a2 in a1 0.934 * [taylor]: Taking taylor expansion of b2 in a1 0.934 * [taylor]: Taking taylor expansion of (/ a2 b2) in b2 0.934 * [taylor]: Taking taylor expansion of a2 in b2 0.934 * [taylor]: Taking taylor expansion of b2 in b2 0.934 * [taylor]: Taking taylor expansion of a2 in a2 0.935 * [taylor]: Taking taylor expansion of 0 in a1 0.935 * [taylor]: Taking taylor expansion of 0 in b2 0.935 * [taylor]: Taking taylor expansion of 0 in b2 0.935 * [taylor]: Taking taylor expansion of 0 in a2 0.935 * [taylor]: Taking taylor expansion of 0 in a1 0.935 * [taylor]: Taking taylor expansion of 0 in b2 0.935 * [taylor]: Taking taylor expansion of 0 in b2 0.935 * [taylor]: Taking taylor expansion of 0 in b2 0.935 * [taylor]: Taking taylor expansion of 0 in a2 0.935 * [taylor]: Taking taylor expansion of 0 in a2 0.935 * [taylor]: Taking taylor expansion of 0 in a2 0.936 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1) 0.936 * [approximate]: Taking taylor expansion of (/ (* b1 b2) a1) in (b1 a1 b2) around 0 0.936 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in b2 0.936 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.936 * [taylor]: Taking taylor expansion of b1 in b2 0.936 * [taylor]: Taking taylor expansion of b2 in b2 0.936 * [taylor]: Taking taylor expansion of a1 in b2 0.936 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in a1 0.936 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 0.936 * [taylor]: Taking taylor expansion of b1 in a1 0.936 * [taylor]: Taking taylor expansion of b2 in a1 0.936 * [taylor]: Taking taylor expansion of a1 in a1 0.936 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in b1 0.936 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.936 * [taylor]: Taking taylor expansion of b1 in b1 0.936 * [taylor]: Taking taylor expansion of b2 in b1 0.936 * [taylor]: Taking taylor expansion of a1 in b1 0.936 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in b1 0.936 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.936 * [taylor]: Taking taylor expansion of b1 in b1 0.936 * [taylor]: Taking taylor expansion of b2 in b1 0.936 * [taylor]: Taking taylor expansion of a1 in b1 0.936 * [taylor]: Taking taylor expansion of (/ b2 a1) in a1 0.936 * [taylor]: Taking taylor expansion of b2 in a1 0.936 * [taylor]: Taking taylor expansion of a1 in a1 0.936 * [taylor]: Taking taylor expansion of b2 in b2 0.937 * [taylor]: Taking taylor expansion of 0 in a1 0.937 * [taylor]: Taking taylor expansion of 0 in b2 0.937 * [taylor]: Taking taylor expansion of 0 in a1 0.937 * [taylor]: Taking taylor expansion of 0 in b2 0.937 * [taylor]: Taking taylor expansion of 0 in b2 0.937 * [approximate]: Taking taylor expansion of (/ a1 (* b1 b2)) in (b1 a1 b2) around 0 0.937 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in b2 0.937 * [taylor]: Taking taylor expansion of a1 in b2 0.937 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.937 * [taylor]: Taking taylor expansion of b1 in b2 0.937 * [taylor]: Taking taylor expansion of b2 in b2 0.938 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in a1 0.938 * [taylor]: Taking taylor expansion of a1 in a1 0.938 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 0.938 * [taylor]: Taking taylor expansion of b1 in a1 0.938 * [taylor]: Taking taylor expansion of b2 in a1 0.938 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in b1 0.938 * [taylor]: Taking taylor expansion of a1 in b1 0.938 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.938 * [taylor]: Taking taylor expansion of b1 in b1 0.938 * [taylor]: Taking taylor expansion of b2 in b1 0.938 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in b1 0.938 * [taylor]: Taking taylor expansion of a1 in b1 0.938 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.938 * [taylor]: Taking taylor expansion of b1 in b1 0.938 * [taylor]: Taking taylor expansion of b2 in b1 0.938 * [taylor]: Taking taylor expansion of (/ a1 b2) in a1 0.938 * [taylor]: Taking taylor expansion of a1 in a1 0.938 * [taylor]: Taking taylor expansion of b2 in a1 0.938 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2 0.938 * [taylor]: Taking taylor expansion of b2 in b2 0.938 * [taylor]: Taking taylor expansion of 0 in a1 0.938 * [taylor]: Taking taylor expansion of 0 in b2 0.938 * [taylor]: Taking taylor expansion of 0 in b2 0.939 * [taylor]: Taking taylor expansion of 0 in a1 0.939 * [taylor]: Taking taylor expansion of 0 in b2 0.939 * [taylor]: Taking taylor expansion of 0 in b2 0.939 * [taylor]: Taking taylor expansion of 0 in b2 0.939 * [approximate]: Taking taylor expansion of (* -1 (/ a1 (* b1 b2))) in (b1 a1 b2) around 0 0.939 * [taylor]: Taking taylor expansion of (* -1 (/ a1 (* b1 b2))) in b2 0.939 * [taylor]: Taking taylor expansion of -1 in b2 0.939 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in b2 0.939 * [taylor]: Taking taylor expansion of a1 in b2 0.939 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.939 * [taylor]: Taking taylor expansion of b1 in b2 0.939 * [taylor]: Taking taylor expansion of b2 in b2 0.940 * [taylor]: Taking taylor expansion of (* -1 (/ a1 (* b1 b2))) in a1 0.940 * [taylor]: Taking taylor expansion of -1 in a1 0.940 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in a1 0.940 * [taylor]: Taking taylor expansion of a1 in a1 0.940 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 0.940 * [taylor]: Taking taylor expansion of b1 in a1 0.940 * [taylor]: Taking taylor expansion of b2 in a1 0.940 * [taylor]: Taking taylor expansion of (* -1 (/ a1 (* b1 b2))) in b1 0.940 * [taylor]: Taking taylor expansion of -1 in b1 0.940 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in b1 0.940 * [taylor]: Taking taylor expansion of a1 in b1 0.940 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.940 * [taylor]: Taking taylor expansion of b1 in b1 0.940 * [taylor]: Taking taylor expansion of b2 in b1 0.940 * [taylor]: Taking taylor expansion of (* -1 (/ a1 (* b1 b2))) in b1 0.940 * [taylor]: Taking taylor expansion of -1 in b1 0.940 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in b1 0.940 * [taylor]: Taking taylor expansion of a1 in b1 0.940 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.940 * [taylor]: Taking taylor expansion of b1 in b1 0.940 * [taylor]: Taking taylor expansion of b2 in b1 0.940 * [taylor]: Taking taylor expansion of (* -1 (/ a1 b2)) in a1 0.940 * [taylor]: Taking taylor expansion of -1 in a1 0.940 * [taylor]: Taking taylor expansion of (/ a1 b2) in a1 0.940 * [taylor]: Taking taylor expansion of a1 in a1 0.940 * [taylor]: Taking taylor expansion of b2 in a1 0.940 * [taylor]: Taking taylor expansion of (/ -1 b2) in b2 0.940 * [taylor]: Taking taylor expansion of -1 in b2 0.940 * [taylor]: Taking taylor expansion of b2 in b2 0.940 * [taylor]: Taking taylor expansion of 0 in a1 0.940 * [taylor]: Taking taylor expansion of 0 in b2 0.941 * [taylor]: Taking taylor expansion of 0 in b2 0.941 * [taylor]: Taking taylor expansion of 0 in a1 0.941 * [taylor]: Taking taylor expansion of 0 in b2 0.941 * [taylor]: Taking taylor expansion of 0 in b2 0.941 * [taylor]: Taking taylor expansion of 0 in b2 0.942 * [taylor]: Taking taylor expansion of 0 in a1 0.942 * [taylor]: Taking taylor expansion of 0 in b2 0.942 * [taylor]: Taking taylor expansion of 0 in b2 0.942 * [taylor]: Taking taylor expansion of 0 in b2 0.942 * [taylor]: Taking taylor expansion of 0 in b2 0.942 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.942 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (b1 a1 b2 a2) around 0 0.942 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2 0.942 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 0.942 * [taylor]: Taking taylor expansion of a1 in a2 0.942 * [taylor]: Taking taylor expansion of a2 in a2 0.942 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.942 * [taylor]: Taking taylor expansion of b1 in a2 0.942 * [taylor]: Taking taylor expansion of b2 in a2 0.942 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2 0.942 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 0.942 * [taylor]: Taking taylor expansion of a1 in b2 0.942 * [taylor]: Taking taylor expansion of a2 in b2 0.942 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.942 * [taylor]: Taking taylor expansion of b1 in b2 0.942 * [taylor]: Taking taylor expansion of b2 in b2 0.943 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1 0.943 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.943 * [taylor]: Taking taylor expansion of a1 in a1 0.943 * [taylor]: Taking taylor expansion of a2 in a1 0.943 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 0.943 * [taylor]: Taking taylor expansion of b1 in a1 0.943 * [taylor]: Taking taylor expansion of b2 in a1 0.943 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1 0.943 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 0.943 * [taylor]: Taking taylor expansion of a1 in b1 0.943 * [taylor]: Taking taylor expansion of a2 in b1 0.943 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.943 * [taylor]: Taking taylor expansion of b1 in b1 0.943 * [taylor]: Taking taylor expansion of b2 in b1 0.943 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1 0.943 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 0.943 * [taylor]: Taking taylor expansion of a1 in b1 0.943 * [taylor]: Taking taylor expansion of a2 in b1 0.943 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.943 * [taylor]: Taking taylor expansion of b1 in b1 0.943 * [taylor]: Taking taylor expansion of b2 in b1 0.943 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b2) in a1 0.943 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.943 * [taylor]: Taking taylor expansion of a1 in a1 0.943 * [taylor]: Taking taylor expansion of a2 in a1 0.943 * [taylor]: Taking taylor expansion of b2 in a1 0.943 * [taylor]: Taking taylor expansion of (/ a2 b2) in b2 0.943 * [taylor]: Taking taylor expansion of a2 in b2 0.943 * [taylor]: Taking taylor expansion of b2 in b2 0.943 * [taylor]: Taking taylor expansion of a2 in a2 0.944 * [taylor]: Taking taylor expansion of 0 in a1 0.944 * [taylor]: Taking taylor expansion of 0 in b2 0.944 * [taylor]: Taking taylor expansion of 0 in b2 0.944 * [taylor]: Taking taylor expansion of 0 in a2 0.944 * [taylor]: Taking taylor expansion of 0 in a1 0.944 * [taylor]: Taking taylor expansion of 0 in b2 0.944 * [taylor]: Taking taylor expansion of 0 in b2 0.944 * [taylor]: Taking taylor expansion of 0 in b2 0.944 * [taylor]: Taking taylor expansion of 0 in a2 0.944 * [taylor]: Taking taylor expansion of 0 in a2 0.945 * [taylor]: Taking taylor expansion of 0 in a2 0.945 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (b1 a1 b2 a2) around 0 0.945 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2 0.945 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.945 * [taylor]: Taking taylor expansion of b1 in a2 0.945 * [taylor]: Taking taylor expansion of b2 in a2 0.945 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 0.945 * [taylor]: Taking taylor expansion of a1 in a2 0.945 * [taylor]: Taking taylor expansion of a2 in a2 0.945 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2 0.945 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.945 * [taylor]: Taking taylor expansion of b1 in b2 0.945 * [taylor]: Taking taylor expansion of b2 in b2 0.945 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 0.945 * [taylor]: Taking taylor expansion of a1 in b2 0.945 * [taylor]: Taking taylor expansion of a2 in b2 0.945 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1 0.945 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 0.945 * [taylor]: Taking taylor expansion of b1 in a1 0.945 * [taylor]: Taking taylor expansion of b2 in a1 0.945 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.945 * [taylor]: Taking taylor expansion of a1 in a1 0.945 * [taylor]: Taking taylor expansion of a2 in a1 0.945 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1 0.945 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.945 * [taylor]: Taking taylor expansion of b1 in b1 0.945 * [taylor]: Taking taylor expansion of b2 in b1 0.946 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 0.946 * [taylor]: Taking taylor expansion of a1 in b1 0.946 * [taylor]: Taking taylor expansion of a2 in b1 0.946 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1 0.946 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.946 * [taylor]: Taking taylor expansion of b1 in b1 0.946 * [taylor]: Taking taylor expansion of b2 in b1 0.946 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 0.946 * [taylor]: Taking taylor expansion of a1 in b1 0.946 * [taylor]: Taking taylor expansion of a2 in b1 0.946 * [taylor]: Taking taylor expansion of (/ b2 (* a1 a2)) in a1 0.946 * [taylor]: Taking taylor expansion of b2 in a1 0.946 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.946 * [taylor]: Taking taylor expansion of a1 in a1 0.946 * [taylor]: Taking taylor expansion of a2 in a1 0.946 * [taylor]: Taking taylor expansion of (/ b2 a2) in b2 0.946 * [taylor]: Taking taylor expansion of b2 in b2 0.946 * [taylor]: Taking taylor expansion of a2 in b2 0.946 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2 0.946 * [taylor]: Taking taylor expansion of a2 in a2 0.946 * [taylor]: Taking taylor expansion of 0 in a1 0.946 * [taylor]: Taking taylor expansion of 0 in b2 0.947 * [taylor]: Taking taylor expansion of 0 in a2 0.947 * [taylor]: Taking taylor expansion of 0 in a2 0.947 * [taylor]: Taking taylor expansion of 0 in a1 0.947 * [taylor]: Taking taylor expansion of 0 in b2 0.947 * [taylor]: Taking taylor expansion of 0 in a2 0.947 * [taylor]: Taking taylor expansion of 0 in b2 0.947 * [taylor]: Taking taylor expansion of 0 in a2 0.947 * [taylor]: Taking taylor expansion of 0 in a2 0.947 * [taylor]: Taking taylor expansion of 0 in a2 0.948 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (b1 a1 b2 a2) around 0 0.948 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2 0.948 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 0.948 * [taylor]: Taking taylor expansion of b1 in a2 0.948 * [taylor]: Taking taylor expansion of b2 in a2 0.948 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 0.948 * [taylor]: Taking taylor expansion of a1 in a2 0.948 * [taylor]: Taking taylor expansion of a2 in a2 0.948 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2 0.948 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 0.948 * [taylor]: Taking taylor expansion of b1 in b2 0.948 * [taylor]: Taking taylor expansion of b2 in b2 0.948 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 0.948 * [taylor]: Taking taylor expansion of a1 in b2 0.948 * [taylor]: Taking taylor expansion of a2 in b2 0.948 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1 0.948 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 0.949 * [taylor]: Taking taylor expansion of b1 in a1 0.949 * [taylor]: Taking taylor expansion of b2 in a1 0.949 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.949 * [taylor]: Taking taylor expansion of a1 in a1 0.949 * [taylor]: Taking taylor expansion of a2 in a1 0.949 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1 0.949 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.949 * [taylor]: Taking taylor expansion of b1 in b1 0.949 * [taylor]: Taking taylor expansion of b2 in b1 0.949 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 0.949 * [taylor]: Taking taylor expansion of a1 in b1 0.949 * [taylor]: Taking taylor expansion of a2 in b1 0.949 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1 0.949 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 0.949 * [taylor]: Taking taylor expansion of b1 in b1 0.949 * [taylor]: Taking taylor expansion of b2 in b1 0.949 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 0.949 * [taylor]: Taking taylor expansion of a1 in b1 0.949 * [taylor]: Taking taylor expansion of a2 in b1 0.949 * [taylor]: Taking taylor expansion of (/ b2 (* a1 a2)) in a1 0.949 * [taylor]: Taking taylor expansion of b2 in a1 0.949 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 0.949 * [taylor]: Taking taylor expansion of a1 in a1 0.949 * [taylor]: Taking taylor expansion of a2 in a1 0.949 * [taylor]: Taking taylor expansion of (/ b2 a2) in b2 0.949 * [taylor]: Taking taylor expansion of b2 in b2 0.949 * [taylor]: Taking taylor expansion of a2 in b2 0.949 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2 0.949 * [taylor]: Taking taylor expansion of a2 in a2 0.950 * [taylor]: Taking taylor expansion of 0 in a1 0.950 * [taylor]: Taking taylor expansion of 0 in b2 0.950 * [taylor]: Taking taylor expansion of 0 in a2 0.950 * [taylor]: Taking taylor expansion of 0 in a2 0.950 * [taylor]: Taking taylor expansion of 0 in a1 0.950 * [taylor]: Taking taylor expansion of 0 in b2 0.950 * [taylor]: Taking taylor expansion of 0 in a2 0.950 * [taylor]: Taking taylor expansion of 0 in b2 0.950 * [taylor]: Taking taylor expansion of 0 in a2 0.950 * [taylor]: Taking taylor expansion of 0 in a2 0.951 * [taylor]: Taking taylor expansion of 0 in a2 0.951 * * * [progress]: simplifying candidates 0.953 * [simplify]: Simplifying using # : (-.f64 (+.f64 (-.f64 (log.f64 b1) (log.f64 a1)) (log.f64 b2)) (log.f64 a2)) (-.f64 (+.f64 (log.f64 (/.f64 b1 a1)) (log.f64 b2)) (log.f64 a2)) (-.f64 (log.f64 (*.f64 (/.f64 b1 a1) b2)) (log.f64 a2)) (log.f64 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2)) (exp.f64 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2)) (/.f64 (*.f64 (/.f64 (*.f64 (*.f64 b1 b1) b1) (*.f64 (*.f64 a1 a1) a1)) (*.f64 (*.f64 b2 b2) b2)) (*.f64 (*.f64 a2 a2) a2)) (/.f64 (*.f64 (*.f64 (*.f64 (/.f64 b1 a1) (/.f64 b1 a1)) (/.f64 b1 a1)) (*.f64 (*.f64 b2 b2) b2)) (*.f64 (*.f64 a2 a2) a2)) (/.f64 (*.f64 (*.f64 (*.f64 (/.f64 b1 a1) b2) (*.f64 (/.f64 b1 a1) b2)) (*.f64 (/.f64 b1 a1) b2)) (*.f64 (*.f64 a2 a2) a2)) (*.f64 (cbrt.f64 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2)) (cbrt.f64 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2))) (cbrt.f64 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2)) (*.f64 (*.f64 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2) (/.f64 (*.f64 (/.f64 b1 a1) b2) a2)) (/.f64 (*.f64 (/.f64 b1 a1) b2) a2)) (sqrt.f64 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2)) (sqrt.f64 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2)) (neg.f64 (*.f64 (/.f64 b1 a1) b2)) (neg.f64 a2) (/.f64 (/.f64 b1 a1) (*.f64 (cbrt.f64 a2) (cbrt.f64 a2))) (/.f64 b2 (cbrt.f64 a2)) (/.f64 (/.f64 b1 a1) (sqrt.f64 a2)) (/.f64 b2 (sqrt.f64 a2)) (/.f64 (/.f64 b1 a1) 1) (/.f64 b2 a2) (/.f64 1 a2) (/.f64 a2 (*.f64 (/.f64 b1 a1) b2)) (/.f64 (*.f64 (/.f64 b1 a1) b2) (*.f64 (cbrt.f64 a2) (cbrt.f64 a2))) (/.f64 (*.f64 (/.f64 b1 a1) b2) (sqrt.f64 a2)) (/.f64 (*.f64 (/.f64 b1 a1) b2) 1) (/.f64 a2 b2) (*.f64 a2 a1) (*.f64 (/.f64 b1 a1) b2) (+.f64 (-.f64 (log.f64 b1) (log.f64 a1)) (log.f64 b2)) (+.f64 (log.f64 (/.f64 b1 a1)) (log.f64 b2)) (log.f64 (*.f64 (/.f64 b1 a1) b2)) (exp.f64 (*.f64 (/.f64 b1 a1) b2)) (*.f64 (/.f64 (*.f64 (*.f64 b1 b1) b1) (*.f64 (*.f64 a1 a1) a1)) (*.f64 (*.f64 b2 b2) b2)) (*.f64 (*.f64 (*.f64 (/.f64 b1 a1) (/.f64 b1 a1)) (/.f64 b1 a1)) (*.f64 (*.f64 b2 b2) b2)) (*.f64 (cbrt.f64 (*.f64 (/.f64 b1 a1) b2)) (cbrt.f64 (*.f64 (/.f64 b1 a1) b2))) (cbrt.f64 (*.f64 (/.f64 b1 a1) b2)) (*.f64 (*.f64 (*.f64 (/.f64 b1 a1) b2) (*.f64 (/.f64 b1 a1) b2)) (*.f64 (/.f64 b1 a1) b2)) (sqrt.f64 (*.f64 (/.f64 b1 a1) b2)) (sqrt.f64 (*.f64 (/.f64 b1 a1) b2)) (*.f64 (sqrt.f64 (/.f64 b1 a1)) (sqrt.f64 b2)) (*.f64 (sqrt.f64 (/.f64 b1 a1)) (sqrt.f64 b2)) (*.f64 (/.f64 (sqrt.f64 b1) (sqrt.f64 a1)) (sqrt.f64 b2)) (*.f64 (/.f64 (sqrt.f64 b1) (sqrt.f64 a1)) (sqrt.f64 b2)) (*.f64 (/.f64 b1 a1) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))) (*.f64 (/.f64 b1 a1) (sqrt.f64 b2)) (*.f64 (/.f64 b1 a1) 1) (*.f64 (cbrt.f64 (/.f64 b1 a1)) b2) (*.f64 (sqrt.f64 (/.f64 b1 a1)) b2) (*.f64 (/.f64 (cbrt.f64 b1) (cbrt.f64 a1)) b2) (*.f64 (/.f64 (cbrt.f64 b1) (sqrt.f64 a1)) b2) (*.f64 (/.f64 (cbrt.f64 b1) a1) b2) (*.f64 (/.f64 (sqrt.f64 b1) (cbrt.f64 a1)) b2) (*.f64 (/.f64 (sqrt.f64 b1) (sqrt.f64 a1)) b2) (*.f64 (/.f64 (sqrt.f64 b1) a1) b2) (*.f64 (/.f64 b1 (cbrt.f64 a1)) b2) (*.f64 (/.f64 b1 (sqrt.f64 a1)) b2) (*.f64 (/.f64 b1 a1) b2) (*.f64 (/.f64 b1 a1) b2) (*.f64 (/.f64 1 a1) b2) (*.f64 b1 b2) (neg.f64 1) (neg.f64 (-.f64 (+.f64 (-.f64 (log.f64 b1) (log.f64 a1)) (log.f64 b2)) (log.f64 a2))) (neg.f64 (-.f64 (+.f64 (log.f64 (/.f64 b1 a1)) (log.f64 b2)) (log.f64 a2))) (neg.f64 (-.f64 (log.f64 (*.f64 (/.f64 b1 a1) b2)) (log.f64 a2))) (neg.f64 (log.f64 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2))) (-.f64 0 (-.f64 (+.f64 (-.f64 (log.f64 b1) (log.f64 a1)) (log.f64 b2)) (log.f64 a2))) (-.f64 0 (-.f64 (+.f64 (log.f64 (/.f64 b1 a1)) (log.f64 b2)) (log.f64 a2))) (-.f64 0 (-.f64 (log.f64 (*.f64 (/.f64 b1 a1) b2)) (log.f64 a2))) (-.f64 0 (log.f64 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2))) (-.f64 (log.f64 1) (-.f64 (+.f64 (-.f64 (log.f64 b1) (log.f64 a1)) (log.f64 b2)) (log.f64 a2))) (-.f64 (log.f64 1) (-.f64 (+.f64 (log.f64 (/.f64 b1 a1)) (log.f64 b2)) (log.f64 a2))) (-.f64 (log.f64 1) (-.f64 (log.f64 (*.f64 (/.f64 b1 a1) b2)) (log.f64 a2))) (-.f64 (log.f64 1) (log.f64 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2))) (log.f64 (/.f64 1 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2))) (exp.f64 (/.f64 1 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2))) (/.f64 (*.f64 (*.f64 1 1) 1) (/.f64 (*.f64 (/.f64 (*.f64 (*.f64 b1 b1) b1) (*.f64 (*.f64 a1 a1) a1)) (*.f64 (*.f64 b2 b2) b2)) (*.f64 (*.f64 a2 a2) a2))) (/.f64 (*.f64 (*.f64 1 1) 1) (/.f64 (*.f64 (*.f64 (*.f64 (/.f64 b1 a1) (/.f64 b1 a1)) (/.f64 b1 a1)) (*.f64 (*.f64 b2 b2) b2)) (*.f64 (*.f64 a2 a2) a2))) (/.f64 (*.f64 (*.f64 1 1) 1) (/.f64 (*.f64 (*.f64 (*.f64 (/.f64 b1 a1) b2) (*.f64 (/.f64 b1 a1) b2)) (*.f64 (/.f64 b1 a1) b2)) (*.f64 (*.f64 a2 a2) a2))) (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2) (/.f64 (*.f64 (/.f64 b1 a1) b2) a2)) (/.f64 (*.f64 (/.f64 b1 a1) b2) a2))) (*.f64 (cbrt.f64 (/.f64 1 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2))) (cbrt.f64 (/.f64 1 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2)))) (cbrt.f64 (/.f64 1 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2))) (*.f64 (*.f64 (/.f64 1 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2)) (/.f64 1 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2))) (/.f64 1 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2))) (sqrt.f64 (/.f64 1 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2))) (sqrt.f64 (/.f64 1 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2))) (neg.f64 1) (neg.f64 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2)) (cbrt.f64 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2)))) (/.f64 (cbrt.f64 1) (cbrt.f64 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2))) (/.f64 (cbrt.f64 1) (sqrt.f64 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (/.f64 b1 a1) (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)))) (/.f64 (cbrt.f64 1) (/.f64 b2 (cbrt.f64 a2))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (/.f64 b1 a1) (sqrt.f64 a2))) (/.f64 (cbrt.f64 1) (/.f64 b2 (sqrt.f64 a2))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (/.f64 b1 a1) 1)) (/.f64 (cbrt.f64 1) (/.f64 b2 a2)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) 1) (/.f64 (cbrt.f64 1) (/.f64 (*.f64 (/.f64 b1 a1) b2) a2)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (/.f64 b1 a1) b2)) (/.f64 (cbrt.f64 1) (/.f64 1 a2)) (/.f64 (sqrt.f64 1) (*.f64 (cbrt.f64 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2)) (cbrt.f64 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2)))) (/.f64 (sqrt.f64 1) (cbrt.f64 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2))) (/.f64 (sqrt.f64 1) (sqrt.f64 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2))) (/.f64 (sqrt.f64 1) (sqrt.f64 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2))) (/.f64 (sqrt.f64 1) (/.f64 (/.f64 b1 a1) (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)))) (/.f64 (sqrt.f64 1) (/.f64 b2 (cbrt.f64 a2))) (/.f64 (sqrt.f64 1) (/.f64 (/.f64 b1 a1) (sqrt.f64 a2))) (/.f64 (sqrt.f64 1) (/.f64 b2 (sqrt.f64 a2))) (/.f64 (sqrt.f64 1) (/.f64 (/.f64 b1 a1) 1)) (/.f64 (sqrt.f64 1) (/.f64 b2 a2)) (/.f64 (sqrt.f64 1) 1) (/.f64 (sqrt.f64 1) (/.f64 (*.f64 (/.f64 b1 a1) b2) a2)) (/.f64 (sqrt.f64 1) (*.f64 (/.f64 b1 a1) b2)) (/.f64 (sqrt.f64 1) (/.f64 1 a2)) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2)) (cbrt.f64 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2)))) (/.f64 1 (cbrt.f64 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2))) (/.f64 1 (sqrt.f64 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2))) (/.f64 1 (sqrt.f64 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2))) (/.f64 1 (/.f64 (/.f64 b1 a1) (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)))) (/.f64 1 (/.f64 b2 (cbrt.f64 a2))) (/.f64 1 (/.f64 (/.f64 b1 a1) (sqrt.f64 a2))) (/.f64 1 (/.f64 b2 (sqrt.f64 a2))) (/.f64 1 (/.f64 (/.f64 b1 a1) 1)) (/.f64 1 (/.f64 b2 a2)) (/.f64 1 1) (/.f64 1 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2)) (/.f64 1 (*.f64 (/.f64 b1 a1) b2)) (/.f64 1 (/.f64 1 a2)) (/.f64 1 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2)) (/.f64 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2) 1) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2)) (cbrt.f64 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2)))) (/.f64 1 (sqrt.f64 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2))) (/.f64 1 (/.f64 (/.f64 b1 a1) (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)))) (/.f64 1 (/.f64 (/.f64 b1 a1) (sqrt.f64 a2))) (/.f64 1 (/.f64 (/.f64 b1 a1) 1)) (/.f64 1 1) (/.f64 1 (*.f64 (/.f64 b1 a1) b2)) (/.f64 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2) (cbrt.f64 1)) (/.f64 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2) (sqrt.f64 1)) (/.f64 (/.f64 (*.f64 (/.f64 b1 a1) b2) a2) 1) (/.f64 1 (*.f64 (/.f64 b1 a1) b2)) (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)) (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)) (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)) (/.f64 (*.f64 b1 b2) a1) (/.f64 (*.f64 b1 b2) a1) (/.f64 (*.f64 b1 b2) a1) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 1.008 * * [simplify]: iteration 0 : 5043 enodes (cost 1107 ) 1.012 * [simplify]: Simplified to: (log.f64 (/.f64 (*.f64 b2 (/.f64 b1 a1)) a2)) (log.f64 (/.f64 (*.f64 b2 (/.f64 b1 a1)) a2)) (log.f64 (/.f64 (*.f64 b2 (/.f64 b1 a1)) a2)) (log.f64 (/.f64 (*.f64 b2 (/.f64 b1 a1)) a2)) (exp.f64 (/.f64 (*.f64 b2 (/.f64 b1 a1)) a2)) (pow.f64 (/.f64 (*.f64 b2 (/.f64 b1 a1)) a2) 3) (pow.f64 (/.f64 (*.f64 b2 (/.f64 b1 a1)) a2) 3) (pow.f64 (/.f64 (*.f64 b2 (/.f64 b1 a1)) a2) 3) (*.f64 (cbrt.f64 (/.f64 (*.f64 b2 (/.f64 b1 a1)) a2)) (cbrt.f64 (/.f64 (*.f64 b2 (/.f64 b1 a1)) a2))) (cbrt.f64 (/.f64 (*.f64 b2 (/.f64 b1 a1)) a2)) (pow.f64 (/.f64 (*.f64 b2 (/.f64 b1 a1)) a2) 3) (sqrt.f64 (/.f64 (*.f64 b2 (/.f64 b1 a1)) a2)) (sqrt.f64 (/.f64 (*.f64 b2 (/.f64 b1 a1)) a2)) (neg.f64 (*.f64 b2 (/.f64 b1 a1))) (neg.f64 a2) (/.f64 (/.f64 b1 a1) (*.f64 (cbrt.f64 a2) (cbrt.f64 a2))) (/.f64 b2 (cbrt.f64 a2)) (/.f64 (/.f64 b1 a1) (sqrt.f64 a2)) (/.f64 b2 (sqrt.f64 a2)) (/.f64 b1 a1) (/.f64 b2 a2) (/.f64 1 a2) (/.f64 a2 (*.f64 b2 (/.f64 b1 a1))) (*.f64 b2 (/.f64 (/.f64 b1 a1) (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)))) (*.f64 b2 (/.f64 (/.f64 b1 a1) (sqrt.f64 a2))) (*.f64 b2 (/.f64 b1 a1)) (/.f64 a2 b2) (*.f64 a1 a2) (*.f64 b2 (/.f64 b1 a1)) (log.f64 (*.f64 b2 (/.f64 b1 a1))) (log.f64 (*.f64 b2 (/.f64 b1 a1))) (log.f64 (*.f64 b2 (/.f64 b1 a1))) (exp.f64 (*.f64 b2 (/.f64 b1 a1))) (pow.f64 (*.f64 b2 (/.f64 b1 a1)) 3) (pow.f64 (*.f64 b2 (/.f64 b1 a1)) 3) (*.f64 (cbrt.f64 (*.f64 b2 (/.f64 b1 a1))) (cbrt.f64 (*.f64 b2 (/.f64 b1 a1)))) (cbrt.f64 (*.f64 b2 (/.f64 b1 a1))) (pow.f64 (*.f64 b2 (/.f64 b1 a1)) 3) (sqrt.f64 (*.f64 b2 (/.f64 b1 a1))) (sqrt.f64 (*.f64 b2 (/.f64 b1 a1))) (*.f64 (sqrt.f64 (/.f64 b1 a1)) (sqrt.f64 b2)) (*.f64 (sqrt.f64 (/.f64 b1 a1)) (sqrt.f64 b2)) (*.f64 (sqrt.f64 b2) (/.f64 (sqrt.f64 b1) (sqrt.f64 a1))) (*.f64 (sqrt.f64 b2) (/.f64 (sqrt.f64 b1) (sqrt.f64 a1))) (*.f64 (/.f64 b1 a1) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))) (*.f64 (/.f64 b1 a1) (sqrt.f64 b2)) (/.f64 b1 a1) (*.f64 b2 (cbrt.f64 (/.f64 b1 a1))) (*.f64 b2 (sqrt.f64 (/.f64 b1 a1))) (*.f64 b2 (/.f64 (cbrt.f64 b1) (cbrt.f64 a1))) (*.f64 b2 (/.f64 (cbrt.f64 b1) (sqrt.f64 a1))) (*.f64 b2 (/.f64 (cbrt.f64 b1) a1)) (*.f64 b2 (/.f64 (sqrt.f64 b1) (cbrt.f64 a1))) (*.f64 b2 (/.f64 (sqrt.f64 b1) (sqrt.f64 a1))) (*.f64 b2 (/.f64 (sqrt.f64 b1) a1)) (*.f64 b2 (/.f64 b1 (cbrt.f64 a1))) (*.f64 b2 (/.f64 b1 (sqrt.f64 a1))) (*.f64 b2 (/.f64 b1 a1)) (*.f64 b2 (/.f64 b1 a1)) (/.f64 b2 a1) (*.f64 b1 b2) -1 (log.f64 (/.f64 a2 (*.f64 b2 (/.f64 b1 a1)))) (log.f64 (/.f64 a2 (*.f64 b2 (/.f64 b1 a1)))) (log.f64 (/.f64 a2 (*.f64 b2 (/.f64 b1 a1)))) (log.f64 (/.f64 a2 (*.f64 b2 (/.f64 b1 a1)))) (log.f64 (/.f64 a2 (*.f64 b2 (/.f64 b1 a1)))) (log.f64 (/.f64 a2 (*.f64 b2 (/.f64 b1 a1)))) (log.f64 (/.f64 a2 (*.f64 b2 (/.f64 b1 a1)))) (log.f64 (/.f64 a2 (*.f64 b2 (/.f64 b1 a1)))) (log.f64 (/.f64 a2 (*.f64 b2 (/.f64 b1 a1)))) (log.f64 (/.f64 a2 (*.f64 b2 (/.f64 b1 a1)))) (log.f64 (/.f64 a2 (*.f64 b2 (/.f64 b1 a1)))) (log.f64 (/.f64 a2 (*.f64 b2 (/.f64 b1 a1)))) (log.f64 (/.f64 a2 (*.f64 b2 (/.f64 b1 a1)))) (exp.f64 (/.f64 a2 (*.f64 b2 (/.f64 b1 a1)))) (pow.f64 (/.f64 a2 (*.f64 b2 (/.f64 b1 a1))) 3) (pow.f64 (/.f64 a2 (*.f64 b2 (/.f64 b1 a1))) 3) (pow.f64 (/.f64 a2 (*.f64 b2 (/.f64 b1 a1))) 3) (pow.f64 (/.f64 a2 (*.f64 b2 (/.f64 b1 a1))) 3) (*.f64 (cbrt.f64 (/.f64 a2 (*.f64 b2 (/.f64 b1 a1)))) (cbrt.f64 (/.f64 a2 (*.f64 b2 (/.f64 b1 a1))))) (cbrt.f64 (/.f64 a2 (*.f64 b2 (/.f64 b1 a1)))) (pow.f64 (/.f64 a2 (*.f64 b2 (/.f64 b1 a1))) 3) (sqrt.f64 (/.f64 a2 (*.f64 b2 (/.f64 b1 a1)))) (sqrt.f64 (/.f64 a2 (*.f64 b2 (/.f64 b1 a1)))) -1 (/.f64 (neg.f64 (*.f64 b2 (/.f64 b1 a1))) a2) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (/.f64 (*.f64 b2 (/.f64 b1 a1)) a2)) (cbrt.f64 (/.f64 (*.f64 b2 (/.f64 b1 a1)) a2)))) (/.f64 (cbrt.f64 1) (cbrt.f64 (/.f64 (*.f64 b2 (/.f64 b1 a1)) a2))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (/.f64 (*.f64 b2 (/.f64 b1 a1)) a2))) (/.f64 (cbrt.f64 1) (sqrt.f64 (/.f64 (*.f64 b2 (/.f64 b1 a1)) a2))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (/.f64 b1 a1) (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)))) (/.f64 (cbrt.f64 1) (/.f64 b2 (cbrt.f64 a2))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (/.f64 b1 a1) (sqrt.f64 a2))) (/.f64 (cbrt.f64 1) (/.f64 b2 (sqrt.f64 a2))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 b1 a1)) (/.f64 (cbrt.f64 1) (/.f64 b2 a2)) (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (cbrt.f64 1) (/.f64 (*.f64 b2 (/.f64 b1 a1)) a2)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 b2 (/.f64 b1 a1))) (*.f64 a2 (cbrt.f64 1)) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (*.f64 b2 (/.f64 b1 a1)) a2)) (cbrt.f64 (/.f64 (*.f64 b2 (/.f64 b1 a1)) a2)))) (/.f64 1 (cbrt.f64 (/.f64 (*.f64 b2 (/.f64 b1 a1)) a2))) (/.f64 1 (sqrt.f64 (/.f64 (*.f64 b2 (/.f64 b1 a1)) a2))) (/.f64 1 (sqrt.f64 (/.f64 (*.f64 b2 (/.f64 b1 a1)) a2))) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (/.f64 b1 a1)) (/.f64 (cbrt.f64 a2) b2) (/.f64 (sqrt.f64 a2) (/.f64 b1 a1)) (/.f64 (sqrt.f64 a2) b2) (/.f64 1 (/.f64 b1 a1)) (/.f64 a2 b2) 1 (/.f64 a2 (*.f64 b2 (/.f64 b1 a1))) (/.f64 1 (*.f64 b2 (/.f64 b1 a1))) a2 (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (*.f64 b2 (/.f64 b1 a1)) a2)) (cbrt.f64 (/.f64 (*.f64 b2 (/.f64 b1 a1)) a2)))) (/.f64 1 (cbrt.f64 (/.f64 (*.f64 b2 (/.f64 b1 a1)) a2))) (/.f64 1 (sqrt.f64 (/.f64 (*.f64 b2 (/.f64 b1 a1)) a2))) (/.f64 1 (sqrt.f64 (/.f64 (*.f64 b2 (/.f64 b1 a1)) a2))) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (/.f64 b1 a1)) (/.f64 (cbrt.f64 a2) b2) (/.f64 (sqrt.f64 a2) (/.f64 b1 a1)) (/.f64 (sqrt.f64 a2) b2) (/.f64 1 (/.f64 b1 a1)) (/.f64 a2 b2) 1 (/.f64 a2 (*.f64 b2 (/.f64 b1 a1))) (/.f64 1 (*.f64 b2 (/.f64 b1 a1))) a2 (/.f64 a2 (*.f64 b2 (/.f64 b1 a1))) (/.f64 (*.f64 b2 (/.f64 b1 a1)) a2) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (*.f64 b2 (/.f64 b1 a1)) a2)) (cbrt.f64 (/.f64 (*.f64 b2 (/.f64 b1 a1)) a2)))) (/.f64 1 (sqrt.f64 (/.f64 (*.f64 b2 (/.f64 b1 a1)) a2))) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (/.f64 b1 a1)) (/.f64 (sqrt.f64 a2) (/.f64 b1 a1)) (/.f64 1 (/.f64 b1 a1)) 1 (/.f64 1 (*.f64 b2 (/.f64 b1 a1))) (/.f64 (/.f64 b1 a1) (/.f64 (cbrt.f64 1) (/.f64 b2 a2))) (/.f64 (*.f64 b2 (/.f64 b1 a1)) a2) (/.f64 (*.f64 b2 (/.f64 b1 a1)) a2) (/.f64 1 (*.f64 b2 (/.f64 b1 a1))) (/.f64 (*.f64 b2 (/.f64 b1 a1)) a2) (/.f64 (*.f64 b2 (/.f64 b1 a1)) a2) (/.f64 (*.f64 b2 (/.f64 b1 a1)) a2) (*.f64 b2 (/.f64 b1 a1)) (*.f64 b2 (/.f64 b1 a1)) (*.f64 b2 (/.f64 b1 a1)) (/.f64 a2 (*.f64 b2 (/.f64 b1 a1))) (/.f64 a2 (*.f64 b2 (/.f64 b1 a1))) (/.f64 a2 (*.f64 b2 (/.f64 b1 a1))) 1.013 * * * [progress]: adding candidates to table 1.089 * * [progress]: iteration 4 / 4 1.089 * * * [progress]: picking best candidate 1.116 * * * * [pick]: Picked # 1.116 * * * [progress]: localizing error 1.124 * * * [progress]: generating rewritten candidates 1.124 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 1.131 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1) 1.137 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 1.149 * * * [progress]: generating series expansions 1.149 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 1.149 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (b1 b2 a1 a2) around 0 1.149 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2 1.149 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 1.149 * [taylor]: Taking taylor expansion of b1 in a2 1.149 * [taylor]: Taking taylor expansion of b2 in a2 1.149 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 1.149 * [taylor]: Taking taylor expansion of a1 in a2 1.149 * [taylor]: Taking taylor expansion of a2 in a2 1.149 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1 1.149 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 1.149 * [taylor]: Taking taylor expansion of b1 in a1 1.149 * [taylor]: Taking taylor expansion of b2 in a1 1.149 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 1.149 * [taylor]: Taking taylor expansion of a1 in a1 1.149 * [taylor]: Taking taylor expansion of a2 in a1 1.150 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2 1.150 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 1.150 * [taylor]: Taking taylor expansion of b1 in b2 1.150 * [taylor]: Taking taylor expansion of b2 in b2 1.150 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 1.150 * [taylor]: Taking taylor expansion of a1 in b2 1.150 * [taylor]: Taking taylor expansion of a2 in b2 1.150 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1 1.150 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 1.150 * [taylor]: Taking taylor expansion of b1 in b1 1.150 * [taylor]: Taking taylor expansion of b2 in b1 1.150 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 1.150 * [taylor]: Taking taylor expansion of a1 in b1 1.150 * [taylor]: Taking taylor expansion of a2 in b1 1.150 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1 1.150 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 1.150 * [taylor]: Taking taylor expansion of b1 in b1 1.150 * [taylor]: Taking taylor expansion of b2 in b1 1.150 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 1.150 * [taylor]: Taking taylor expansion of a1 in b1 1.150 * [taylor]: Taking taylor expansion of a2 in b1 1.150 * [taylor]: Taking taylor expansion of (/ b2 (* a1 a2)) in b2 1.150 * [taylor]: Taking taylor expansion of b2 in b2 1.150 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 1.150 * [taylor]: Taking taylor expansion of a1 in b2 1.150 * [taylor]: Taking taylor expansion of a2 in b2 1.150 * [taylor]: Taking taylor expansion of (/ 1 (* a1 a2)) in a1 1.150 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 1.150 * [taylor]: Taking taylor expansion of a1 in a1 1.150 * [taylor]: Taking taylor expansion of a2 in a1 1.150 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2 1.151 * [taylor]: Taking taylor expansion of a2 in a2 1.151 * [taylor]: Taking taylor expansion of 0 in b2 1.151 * [taylor]: Taking taylor expansion of 0 in a1 1.151 * [taylor]: Taking taylor expansion of 0 in a1 1.151 * [taylor]: Taking taylor expansion of (neg (+ (* (/ 1 a2) (/ 0 a2)))) in a2 1.151 * [taylor]: Taking taylor expansion of (+ (* (/ 1 a2) (/ 0 a2))) in a2 1.151 * [taylor]: Taking taylor expansion of (* (/ 1 a2) (/ 0 a2)) in a2 1.151 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2 1.151 * [taylor]: Taking taylor expansion of a2 in a2 1.151 * [taylor]: Taking taylor expansion of (/ 0 a2) in a2 1.151 * [taylor]: Taking taylor expansion of 0 in a2 1.151 * [taylor]: Taking taylor expansion of a2 in a2 1.151 * [taylor]: Taking taylor expansion of 0 in b2 1.151 * [taylor]: Taking taylor expansion of 0 in a1 1.152 * [taylor]: Taking taylor expansion of 0 in a1 1.152 * [taylor]: Taking taylor expansion of 0 in a1 1.152 * [taylor]: Taking taylor expansion of 0 in a2 1.152 * [taylor]: Taking taylor expansion of 0 in a2 1.152 * [taylor]: Taking taylor expansion of (neg (+ (* (/ 1 a2) (/ 0 a2)) (* (neg (+ (* (/ 1 a2) (/ 0 a2)))) (/ 0 a2)))) in a2 1.152 * [taylor]: Taking taylor expansion of (+ (* (/ 1 a2) (/ 0 a2)) (* (neg (+ (* (/ 1 a2) (/ 0 a2)))) (/ 0 a2))) in a2 1.152 * [taylor]: Taking taylor expansion of (* (/ 1 a2) (/ 0 a2)) in a2 1.152 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2 1.152 * [taylor]: Taking taylor expansion of a2 in a2 1.152 * [taylor]: Taking taylor expansion of (/ 0 a2) in a2 1.152 * [taylor]: Taking taylor expansion of 0 in a2 1.152 * [taylor]: Taking taylor expansion of a2 in a2 1.152 * [taylor]: Taking taylor expansion of (* (neg (+ (* (/ 1 a2) (/ 0 a2)))) (/ 0 a2)) in a2 1.152 * [taylor]: Taking taylor expansion of (neg (+ (* (/ 1 a2) (/ 0 a2)))) in a2 1.152 * [taylor]: Taking taylor expansion of (+ (* (/ 1 a2) (/ 0 a2))) in a2 1.152 * [taylor]: Taking taylor expansion of (* (/ 1 a2) (/ 0 a2)) in a2 1.152 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2 1.152 * [taylor]: Taking taylor expansion of a2 in a2 1.152 * [taylor]: Taking taylor expansion of (/ 0 a2) in a2 1.152 * [taylor]: Taking taylor expansion of 0 in a2 1.152 * [taylor]: Taking taylor expansion of a2 in a2 1.152 * [taylor]: Taking taylor expansion of (/ 0 a2) in a2 1.152 * [taylor]: Taking taylor expansion of 0 in a2 1.152 * [taylor]: Taking taylor expansion of a2 in a2 1.153 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (b1 b2 a1 a2) around 0 1.153 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2 1.153 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 1.153 * [taylor]: Taking taylor expansion of a1 in a2 1.153 * [taylor]: Taking taylor expansion of a2 in a2 1.153 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 1.153 * [taylor]: Taking taylor expansion of b1 in a2 1.153 * [taylor]: Taking taylor expansion of b2 in a2 1.153 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1 1.153 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 1.153 * [taylor]: Taking taylor expansion of a1 in a1 1.153 * [taylor]: Taking taylor expansion of a2 in a1 1.153 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 1.153 * [taylor]: Taking taylor expansion of b1 in a1 1.153 * [taylor]: Taking taylor expansion of b2 in a1 1.153 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2 1.153 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 1.153 * [taylor]: Taking taylor expansion of a1 in b2 1.153 * [taylor]: Taking taylor expansion of a2 in b2 1.153 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 1.153 * [taylor]: Taking taylor expansion of b1 in b2 1.153 * [taylor]: Taking taylor expansion of b2 in b2 1.153 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1 1.154 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 1.154 * [taylor]: Taking taylor expansion of a1 in b1 1.154 * [taylor]: Taking taylor expansion of a2 in b1 1.154 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 1.154 * [taylor]: Taking taylor expansion of b1 in b1 1.154 * [taylor]: Taking taylor expansion of b2 in b1 1.154 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1 1.154 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 1.154 * [taylor]: Taking taylor expansion of a1 in b1 1.154 * [taylor]: Taking taylor expansion of a2 in b1 1.154 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 1.154 * [taylor]: Taking taylor expansion of b1 in b1 1.154 * [taylor]: Taking taylor expansion of b2 in b1 1.154 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b2) in b2 1.154 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 1.154 * [taylor]: Taking taylor expansion of a1 in b2 1.154 * [taylor]: Taking taylor expansion of a2 in b2 1.154 * [taylor]: Taking taylor expansion of b2 in b2 1.154 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 1.154 * [taylor]: Taking taylor expansion of a1 in a1 1.154 * [taylor]: Taking taylor expansion of a2 in a1 1.154 * [taylor]: Taking taylor expansion of a2 in a2 1.154 * [taylor]: Taking taylor expansion of 0 in b2 1.154 * [taylor]: Taking taylor expansion of 0 in a1 1.154 * [taylor]: Taking taylor expansion of 0 in a2 1.155 * [taylor]: Taking taylor expansion of 0 in a2 1.155 * [taylor]: Taking taylor expansion of 0 in b2 1.155 * [taylor]: Taking taylor expansion of 0 in a1 1.155 * [taylor]: Taking taylor expansion of 0 in a2 1.155 * [taylor]: Taking taylor expansion of 0 in a1 1.155 * [taylor]: Taking taylor expansion of 0 in a2 1.155 * [taylor]: Taking taylor expansion of 0 in a2 1.155 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (b1 b2 a1 a2) around 0 1.155 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2 1.155 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 1.155 * [taylor]: Taking taylor expansion of a1 in a2 1.155 * [taylor]: Taking taylor expansion of a2 in a2 1.155 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 1.156 * [taylor]: Taking taylor expansion of b1 in a2 1.156 * [taylor]: Taking taylor expansion of b2 in a2 1.156 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1 1.156 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 1.156 * [taylor]: Taking taylor expansion of a1 in a1 1.156 * [taylor]: Taking taylor expansion of a2 in a1 1.156 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 1.156 * [taylor]: Taking taylor expansion of b1 in a1 1.156 * [taylor]: Taking taylor expansion of b2 in a1 1.156 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2 1.156 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 1.156 * [taylor]: Taking taylor expansion of a1 in b2 1.156 * [taylor]: Taking taylor expansion of a2 in b2 1.156 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 1.156 * [taylor]: Taking taylor expansion of b1 in b2 1.156 * [taylor]: Taking taylor expansion of b2 in b2 1.156 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1 1.156 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 1.156 * [taylor]: Taking taylor expansion of a1 in b1 1.156 * [taylor]: Taking taylor expansion of a2 in b1 1.156 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 1.156 * [taylor]: Taking taylor expansion of b1 in b1 1.156 * [taylor]: Taking taylor expansion of b2 in b1 1.156 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1 1.156 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 1.156 * [taylor]: Taking taylor expansion of a1 in b1 1.156 * [taylor]: Taking taylor expansion of a2 in b1 1.156 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 1.156 * [taylor]: Taking taylor expansion of b1 in b1 1.156 * [taylor]: Taking taylor expansion of b2 in b1 1.156 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b2) in b2 1.156 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 1.157 * [taylor]: Taking taylor expansion of a1 in b2 1.157 * [taylor]: Taking taylor expansion of a2 in b2 1.157 * [taylor]: Taking taylor expansion of b2 in b2 1.157 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 1.157 * [taylor]: Taking taylor expansion of a1 in a1 1.157 * [taylor]: Taking taylor expansion of a2 in a1 1.157 * [taylor]: Taking taylor expansion of a2 in a2 1.157 * [taylor]: Taking taylor expansion of 0 in b2 1.157 * [taylor]: Taking taylor expansion of 0 in a1 1.157 * [taylor]: Taking taylor expansion of 0 in a2 1.157 * [taylor]: Taking taylor expansion of 0 in a2 1.157 * [taylor]: Taking taylor expansion of 0 in b2 1.157 * [taylor]: Taking taylor expansion of 0 in a1 1.157 * [taylor]: Taking taylor expansion of 0 in a2 1.158 * [taylor]: Taking taylor expansion of 0 in a1 1.158 * [taylor]: Taking taylor expansion of 0 in a2 1.158 * [taylor]: Taking taylor expansion of 0 in a2 1.158 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1) 1.158 * [approximate]: Taking taylor expansion of (/ (* b1 b2) a1) in (b1 b2 a1) around 0 1.158 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in a1 1.158 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 1.158 * [taylor]: Taking taylor expansion of b1 in a1 1.158 * [taylor]: Taking taylor expansion of b2 in a1 1.158 * [taylor]: Taking taylor expansion of a1 in a1 1.158 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in b2 1.158 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 1.158 * [taylor]: Taking taylor expansion of b1 in b2 1.158 * [taylor]: Taking taylor expansion of b2 in b2 1.158 * [taylor]: Taking taylor expansion of a1 in b2 1.158 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in b1 1.158 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 1.158 * [taylor]: Taking taylor expansion of b1 in b1 1.158 * [taylor]: Taking taylor expansion of b2 in b1 1.158 * [taylor]: Taking taylor expansion of a1 in b1 1.158 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in b1 1.158 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 1.158 * [taylor]: Taking taylor expansion of b1 in b1 1.158 * [taylor]: Taking taylor expansion of b2 in b1 1.158 * [taylor]: Taking taylor expansion of a1 in b1 1.159 * [taylor]: Taking taylor expansion of (/ b2 a1) in b2 1.159 * [taylor]: Taking taylor expansion of b2 in b2 1.159 * [taylor]: Taking taylor expansion of a1 in b2 1.159 * [taylor]: Taking taylor expansion of (/ 1 a1) in a1 1.159 * [taylor]: Taking taylor expansion of a1 in a1 1.159 * [taylor]: Taking taylor expansion of 0 in b2 1.159 * [taylor]: Taking taylor expansion of 0 in a1 1.159 * [taylor]: Taking taylor expansion of 0 in a1 1.159 * [taylor]: Taking taylor expansion of 0 in b2 1.159 * [taylor]: Taking taylor expansion of 0 in a1 1.159 * [taylor]: Taking taylor expansion of 0 in a1 1.159 * [taylor]: Taking taylor expansion of 0 in a1 1.160 * [approximate]: Taking taylor expansion of (/ a1 (* b1 b2)) in (b1 b2 a1) around 0 1.160 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in a1 1.160 * [taylor]: Taking taylor expansion of a1 in a1 1.160 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 1.160 * [taylor]: Taking taylor expansion of b1 in a1 1.160 * [taylor]: Taking taylor expansion of b2 in a1 1.160 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in b2 1.160 * [taylor]: Taking taylor expansion of a1 in b2 1.160 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 1.160 * [taylor]: Taking taylor expansion of b1 in b2 1.160 * [taylor]: Taking taylor expansion of b2 in b2 1.160 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in b1 1.160 * [taylor]: Taking taylor expansion of a1 in b1 1.160 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 1.160 * [taylor]: Taking taylor expansion of b1 in b1 1.160 * [taylor]: Taking taylor expansion of b2 in b1 1.160 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in b1 1.160 * [taylor]: Taking taylor expansion of a1 in b1 1.160 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 1.160 * [taylor]: Taking taylor expansion of b1 in b1 1.160 * [taylor]: Taking taylor expansion of b2 in b1 1.160 * [taylor]: Taking taylor expansion of (/ a1 b2) in b2 1.160 * [taylor]: Taking taylor expansion of a1 in b2 1.160 * [taylor]: Taking taylor expansion of b2 in b2 1.160 * [taylor]: Taking taylor expansion of a1 in a1 1.161 * [taylor]: Taking taylor expansion of 0 in b2 1.161 * [taylor]: Taking taylor expansion of 0 in a1 1.161 * [taylor]: Taking taylor expansion of 0 in b2 1.161 * [taylor]: Taking taylor expansion of 0 in a1 1.161 * [taylor]: Taking taylor expansion of 0 in a1 1.161 * [approximate]: Taking taylor expansion of (* -1 (/ a1 (* b1 b2))) in (b1 b2 a1) around 0 1.161 * [taylor]: Taking taylor expansion of (* -1 (/ a1 (* b1 b2))) in a1 1.161 * [taylor]: Taking taylor expansion of -1 in a1 1.161 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in a1 1.161 * [taylor]: Taking taylor expansion of a1 in a1 1.161 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 1.161 * [taylor]: Taking taylor expansion of b1 in a1 1.161 * [taylor]: Taking taylor expansion of b2 in a1 1.161 * [taylor]: Taking taylor expansion of (* -1 (/ a1 (* b1 b2))) in b2 1.161 * [taylor]: Taking taylor expansion of -1 in b2 1.161 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in b2 1.161 * [taylor]: Taking taylor expansion of a1 in b2 1.161 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 1.161 * [taylor]: Taking taylor expansion of b1 in b2 1.162 * [taylor]: Taking taylor expansion of b2 in b2 1.162 * [taylor]: Taking taylor expansion of (* -1 (/ a1 (* b1 b2))) in b1 1.162 * [taylor]: Taking taylor expansion of -1 in b1 1.162 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in b1 1.162 * [taylor]: Taking taylor expansion of a1 in b1 1.162 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 1.162 * [taylor]: Taking taylor expansion of b1 in b1 1.162 * [taylor]: Taking taylor expansion of b2 in b1 1.162 * [taylor]: Taking taylor expansion of (* -1 (/ a1 (* b1 b2))) in b1 1.162 * [taylor]: Taking taylor expansion of -1 in b1 1.162 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in b1 1.162 * [taylor]: Taking taylor expansion of a1 in b1 1.162 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 1.162 * [taylor]: Taking taylor expansion of b1 in b1 1.162 * [taylor]: Taking taylor expansion of b2 in b1 1.162 * [taylor]: Taking taylor expansion of (* -1 (/ a1 b2)) in b2 1.162 * [taylor]: Taking taylor expansion of -1 in b2 1.162 * [taylor]: Taking taylor expansion of (/ a1 b2) in b2 1.162 * [taylor]: Taking taylor expansion of a1 in b2 1.162 * [taylor]: Taking taylor expansion of b2 in b2 1.162 * [taylor]: Taking taylor expansion of (* -1 a1) in a1 1.162 * [taylor]: Taking taylor expansion of -1 in a1 1.162 * [taylor]: Taking taylor expansion of a1 in a1 1.162 * [taylor]: Taking taylor expansion of 0 in b2 1.162 * [taylor]: Taking taylor expansion of 0 in a1 1.163 * [taylor]: Taking taylor expansion of 0 in b2 1.163 * [taylor]: Taking taylor expansion of 0 in a1 1.163 * [taylor]: Taking taylor expansion of 0 in a1 1.163 * * * * [progress]: [ 3 / 3 ] generating series at (2) 1.163 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (b1 b2 a1 a2) around 0 1.163 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2 1.163 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 1.163 * [taylor]: Taking taylor expansion of a1 in a2 1.163 * [taylor]: Taking taylor expansion of a2 in a2 1.163 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 1.163 * [taylor]: Taking taylor expansion of b1 in a2 1.163 * [taylor]: Taking taylor expansion of b2 in a2 1.164 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1 1.164 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 1.164 * [taylor]: Taking taylor expansion of a1 in a1 1.164 * [taylor]: Taking taylor expansion of a2 in a1 1.164 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 1.164 * [taylor]: Taking taylor expansion of b1 in a1 1.164 * [taylor]: Taking taylor expansion of b2 in a1 1.164 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2 1.164 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 1.164 * [taylor]: Taking taylor expansion of a1 in b2 1.164 * [taylor]: Taking taylor expansion of a2 in b2 1.164 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 1.164 * [taylor]: Taking taylor expansion of b1 in b2 1.164 * [taylor]: Taking taylor expansion of b2 in b2 1.164 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1 1.164 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 1.164 * [taylor]: Taking taylor expansion of a1 in b1 1.164 * [taylor]: Taking taylor expansion of a2 in b1 1.164 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 1.164 * [taylor]: Taking taylor expansion of b1 in b1 1.164 * [taylor]: Taking taylor expansion of b2 in b1 1.164 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1 1.164 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 1.164 * [taylor]: Taking taylor expansion of a1 in b1 1.164 * [taylor]: Taking taylor expansion of a2 in b1 1.164 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 1.164 * [taylor]: Taking taylor expansion of b1 in b1 1.164 * [taylor]: Taking taylor expansion of b2 in b1 1.164 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b2) in b2 1.164 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 1.164 * [taylor]: Taking taylor expansion of a1 in b2 1.164 * [taylor]: Taking taylor expansion of a2 in b2 1.164 * [taylor]: Taking taylor expansion of b2 in b2 1.165 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 1.165 * [taylor]: Taking taylor expansion of a1 in a1 1.165 * [taylor]: Taking taylor expansion of a2 in a1 1.165 * [taylor]: Taking taylor expansion of a2 in a2 1.165 * [taylor]: Taking taylor expansion of 0 in b2 1.165 * [taylor]: Taking taylor expansion of 0 in a1 1.165 * [taylor]: Taking taylor expansion of 0 in a2 1.165 * [taylor]: Taking taylor expansion of 0 in a2 1.165 * [taylor]: Taking taylor expansion of 0 in b2 1.165 * [taylor]: Taking taylor expansion of 0 in a1 1.165 * [taylor]: Taking taylor expansion of 0 in a2 1.165 * [taylor]: Taking taylor expansion of 0 in a1 1.166 * [taylor]: Taking taylor expansion of 0 in a2 1.166 * [taylor]: Taking taylor expansion of 0 in a2 1.166 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (b1 b2 a1 a2) around 0 1.166 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2 1.166 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 1.166 * [taylor]: Taking taylor expansion of b1 in a2 1.166 * [taylor]: Taking taylor expansion of b2 in a2 1.166 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 1.166 * [taylor]: Taking taylor expansion of a1 in a2 1.166 * [taylor]: Taking taylor expansion of a2 in a2 1.166 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1 1.166 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 1.166 * [taylor]: Taking taylor expansion of b1 in a1 1.166 * [taylor]: Taking taylor expansion of b2 in a1 1.166 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 1.166 * [taylor]: Taking taylor expansion of a1 in a1 1.166 * [taylor]: Taking taylor expansion of a2 in a1 1.166 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2 1.166 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 1.166 * [taylor]: Taking taylor expansion of b1 in b2 1.166 * [taylor]: Taking taylor expansion of b2 in b2 1.166 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 1.166 * [taylor]: Taking taylor expansion of a1 in b2 1.166 * [taylor]: Taking taylor expansion of a2 in b2 1.166 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1 1.166 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 1.166 * [taylor]: Taking taylor expansion of b1 in b1 1.167 * [taylor]: Taking taylor expansion of b2 in b1 1.167 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 1.167 * [taylor]: Taking taylor expansion of a1 in b1 1.167 * [taylor]: Taking taylor expansion of a2 in b1 1.167 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1 1.167 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 1.167 * [taylor]: Taking taylor expansion of b1 in b1 1.167 * [taylor]: Taking taylor expansion of b2 in b1 1.167 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 1.167 * [taylor]: Taking taylor expansion of a1 in b1 1.167 * [taylor]: Taking taylor expansion of a2 in b1 1.167 * [taylor]: Taking taylor expansion of (/ b2 (* a1 a2)) in b2 1.167 * [taylor]: Taking taylor expansion of b2 in b2 1.167 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 1.167 * [taylor]: Taking taylor expansion of a1 in b2 1.167 * [taylor]: Taking taylor expansion of a2 in b2 1.167 * [taylor]: Taking taylor expansion of (/ 1 (* a1 a2)) in a1 1.167 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 1.167 * [taylor]: Taking taylor expansion of a1 in a1 1.167 * [taylor]: Taking taylor expansion of a2 in a1 1.167 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2 1.167 * [taylor]: Taking taylor expansion of a2 in a2 1.167 * [taylor]: Taking taylor expansion of 0 in b2 1.167 * [taylor]: Taking taylor expansion of 0 in a1 1.168 * [taylor]: Taking taylor expansion of 0 in a1 1.168 * [taylor]: Taking taylor expansion of (neg (+ (* (/ 1 a2) (/ 0 a2)))) in a2 1.168 * [taylor]: Taking taylor expansion of (+ (* (/ 1 a2) (/ 0 a2))) in a2 1.168 * [taylor]: Taking taylor expansion of (* (/ 1 a2) (/ 0 a2)) in a2 1.168 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2 1.168 * [taylor]: Taking taylor expansion of a2 in a2 1.168 * [taylor]: Taking taylor expansion of (/ 0 a2) in a2 1.168 * [taylor]: Taking taylor expansion of 0 in a2 1.168 * [taylor]: Taking taylor expansion of a2 in a2 1.168 * [taylor]: Taking taylor expansion of 0 in b2 1.168 * [taylor]: Taking taylor expansion of 0 in a1 1.168 * [taylor]: Taking taylor expansion of 0 in a1 1.168 * [taylor]: Taking taylor expansion of 0 in a1 1.168 * [taylor]: Taking taylor expansion of 0 in a2 1.168 * [taylor]: Taking taylor expansion of 0 in a2 1.169 * [taylor]: Taking taylor expansion of (neg (+ (* (/ 1 a2) (/ 0 a2)) (* (neg (+ (* (/ 1 a2) (/ 0 a2)))) (/ 0 a2)))) in a2 1.169 * [taylor]: Taking taylor expansion of (+ (* (/ 1 a2) (/ 0 a2)) (* (neg (+ (* (/ 1 a2) (/ 0 a2)))) (/ 0 a2))) in a2 1.169 * [taylor]: Taking taylor expansion of (* (/ 1 a2) (/ 0 a2)) in a2 1.169 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2 1.169 * [taylor]: Taking taylor expansion of a2 in a2 1.169 * [taylor]: Taking taylor expansion of (/ 0 a2) in a2 1.169 * [taylor]: Taking taylor expansion of 0 in a2 1.169 * [taylor]: Taking taylor expansion of a2 in a2 1.169 * [taylor]: Taking taylor expansion of (* (neg (+ (* (/ 1 a2) (/ 0 a2)))) (/ 0 a2)) in a2 1.169 * [taylor]: Taking taylor expansion of (neg (+ (* (/ 1 a2) (/ 0 a2)))) in a2 1.169 * [taylor]: Taking taylor expansion of (+ (* (/ 1 a2) (/ 0 a2))) in a2 1.169 * [taylor]: Taking taylor expansion of (* (/ 1 a2) (/ 0 a2)) in a2 1.169 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2 1.169 * [taylor]: Taking taylor expansion of a2 in a2 1.169 * [taylor]: Taking taylor expansion of (/ 0 a2) in a2 1.169 * [taylor]: Taking taylor expansion of 0 in a2 1.169 * [taylor]: Taking taylor expansion of a2 in a2 1.169 * [taylor]: Taking taylor expansion of (/ 0 a2) in a2 1.169 * [taylor]: Taking taylor expansion of 0 in a2 1.169 * [taylor]: Taking taylor expansion of a2 in a2 1.170 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (b1 b2 a1 a2) around 0 1.170 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2 1.170 * [taylor]: Taking taylor expansion of (* b1 b2) in a2 1.170 * [taylor]: Taking taylor expansion of b1 in a2 1.170 * [taylor]: Taking taylor expansion of b2 in a2 1.170 * [taylor]: Taking taylor expansion of (* a1 a2) in a2 1.170 * [taylor]: Taking taylor expansion of a1 in a2 1.170 * [taylor]: Taking taylor expansion of a2 in a2 1.170 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1 1.170 * [taylor]: Taking taylor expansion of (* b1 b2) in a1 1.170 * [taylor]: Taking taylor expansion of b1 in a1 1.170 * [taylor]: Taking taylor expansion of b2 in a1 1.170 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 1.170 * [taylor]: Taking taylor expansion of a1 in a1 1.170 * [taylor]: Taking taylor expansion of a2 in a1 1.170 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2 1.170 * [taylor]: Taking taylor expansion of (* b1 b2) in b2 1.170 * [taylor]: Taking taylor expansion of b1 in b2 1.170 * [taylor]: Taking taylor expansion of b2 in b2 1.170 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 1.170 * [taylor]: Taking taylor expansion of a1 in b2 1.170 * [taylor]: Taking taylor expansion of a2 in b2 1.170 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1 1.170 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 1.170 * [taylor]: Taking taylor expansion of b1 in b1 1.170 * [taylor]: Taking taylor expansion of b2 in b1 1.171 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 1.171 * [taylor]: Taking taylor expansion of a1 in b1 1.171 * [taylor]: Taking taylor expansion of a2 in b1 1.171 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1 1.171 * [taylor]: Taking taylor expansion of (* b1 b2) in b1 1.171 * [taylor]: Taking taylor expansion of b1 in b1 1.171 * [taylor]: Taking taylor expansion of b2 in b1 1.171 * [taylor]: Taking taylor expansion of (* a1 a2) in b1 1.171 * [taylor]: Taking taylor expansion of a1 in b1 1.171 * [taylor]: Taking taylor expansion of a2 in b1 1.171 * [taylor]: Taking taylor expansion of (/ b2 (* a1 a2)) in b2 1.171 * [taylor]: Taking taylor expansion of b2 in b2 1.171 * [taylor]: Taking taylor expansion of (* a1 a2) in b2 1.171 * [taylor]: Taking taylor expansion of a1 in b2 1.171 * [taylor]: Taking taylor expansion of a2 in b2 1.171 * [taylor]: Taking taylor expansion of (/ 1 (* a1 a2)) in a1 1.171 * [taylor]: Taking taylor expansion of (* a1 a2) in a1 1.171 * [taylor]: Taking taylor expansion of a1 in a1 1.171 * [taylor]: Taking taylor expansion of a2 in a1 1.171 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2 1.171 * [taylor]: Taking taylor expansion of a2 in a2 1.172 * [taylor]: Taking taylor expansion of 0 in b2 1.172 * [taylor]: Taking taylor expansion of 0 in a1 1.172 * [taylor]: Taking taylor expansion of 0 in a1 1.172 * [taylor]: Taking taylor expansion of (neg (+ (* (/ 1 a2) (/ 0 a2)))) in a2 1.172 * [taylor]: Taking taylor expansion of (+ (* (/ 1 a2) (/ 0 a2))) in a2 1.172 * [taylor]: Taking taylor expansion of (* (/ 1 a2) (/ 0 a2)) in a2 1.172 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2 1.172 * [taylor]: Taking taylor expansion of a2 in a2 1.172 * [taylor]: Taking taylor expansion of (/ 0 a2) in a2 1.172 * [taylor]: Taking taylor expansion of 0 in a2 1.172 * [taylor]: Taking taylor expansion of a2 in a2 1.172 * [taylor]: Taking taylor expansion of 0 in b2 1.172 * [taylor]: Taking taylor expansion of 0 in a1 1.172 * [taylor]: Taking taylor expansion of 0 in a1 1.173 * [taylor]: Taking taylor expansion of 0 in a1 1.173 * [taylor]: Taking taylor expansion of 0 in a2 1.173 * [taylor]: Taking taylor expansion of 0 in a2 1.173 * [taylor]: Taking taylor expansion of (neg (+ (* (/ 1 a2) (/ 0 a2)) (* (neg (+ (* (/ 1 a2) (/ 0 a2)))) (/ 0 a2)))) in a2 1.173 * [taylor]: Taking taylor expansion of (+ (* (/ 1 a2) (/ 0 a2)) (* (neg (+ (* (/ 1 a2) (/ 0 a2)))) (/ 0 a2))) in a2 1.173 * [taylor]: Taking taylor expansion of (* (/ 1 a2) (/ 0 a2)) in a2 1.173 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2 1.173 * [taylor]: Taking taylor expansion of a2 in a2 1.173 * [taylor]: Taking taylor expansion of (/ 0 a2) in a2 1.173 * [taylor]: Taking taylor expansion of 0 in a2 1.173 * [taylor]: Taking taylor expansion of a2 in a2 1.173 * [taylor]: Taking taylor expansion of (* (neg (+ (* (/ 1 a2) (/ 0 a2)))) (/ 0 a2)) in a2 1.173 * [taylor]: Taking taylor expansion of (neg (+ (* (/ 1 a2) (/ 0 a2)))) in a2 1.173 * [taylor]: Taking taylor expansion of (+ (* (/ 1 a2) (/ 0 a2))) in a2 1.173 * [taylor]: Taking taylor expansion of (* (/ 1 a2) (/ 0 a2)) in a2 1.173 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2 1.173 * [taylor]: Taking taylor expansion of a2 in a2 1.173 * [taylor]: Taking taylor expansion of (/ 0 a2) in a2 1.173 * [taylor]: Taking taylor expansion of 0 in a2 1.173 * [taylor]: Taking taylor expansion of a2 in a2 1.173 * [taylor]: Taking taylor expansion of (/ 0 a2) in a2 1.173 * [taylor]: Taking taylor expansion of 0 in a2 1.173 * [taylor]: Taking taylor expansion of a2 in a2 1.174 * * * [progress]: simplifying candidates 1.175 * [simplify]: Simplifying using # : (-.f64 (+.f64 (log.f64 b1) (-.f64 (log.f64 b2) (log.f64 a1))) (log.f64 a2)) (-.f64 (+.f64 (log.f64 b1) (log.f64 (/.f64 b2 a1))) (log.f64 a2)) (-.f64 (log.f64 (*.f64 b1 (/.f64 b2 a1))) (log.f64 a2)) (log.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)) (exp.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)) (/.f64 (*.f64 (*.f64 (*.f64 b1 b1) b1) (/.f64 (*.f64 (*.f64 b2 b2) b2) (*.f64 (*.f64 a1 a1) a1))) (*.f64 (*.f64 a2 a2) a2)) (/.f64 (*.f64 (*.f64 (*.f64 b1 b1) b1) (*.f64 (*.f64 (/.f64 b2 a1) (/.f64 b2 a1)) (/.f64 b2 a1))) (*.f64 (*.f64 a2 a2) a2)) (/.f64 (*.f64 (*.f64 (*.f64 b1 (/.f64 b2 a1)) (*.f64 b1 (/.f64 b2 a1))) (*.f64 b1 (/.f64 b2 a1))) (*.f64 (*.f64 a2 a2) a2)) (*.f64 (cbrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)) (cbrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2))) (cbrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)) (*.f64 (*.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2) (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)) (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)) (sqrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)) (sqrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)) (neg.f64 (*.f64 b1 (/.f64 b2 a1))) (neg.f64 a2) (/.f64 b1 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2))) (/.f64 (/.f64 b2 a1) (cbrt.f64 a2)) (/.f64 b1 (sqrt.f64 a2)) (/.f64 (/.f64 b2 a1) (sqrt.f64 a2)) (/.f64 b1 1) (/.f64 (/.f64 b2 a1) a2) (/.f64 1 a2) (/.f64 a2 (*.f64 b1 (/.f64 b2 a1))) (/.f64 (*.f64 b1 (/.f64 b2 a1)) (*.f64 (cbrt.f64 a2) (cbrt.f64 a2))) (/.f64 (*.f64 b1 (/.f64 b2 a1)) (sqrt.f64 a2)) (/.f64 (*.f64 b1 (/.f64 b2 a1)) 1) (/.f64 a2 (/.f64 b2 a1)) (*.f64 a2 a1) (*.f64 b1 (/.f64 b2 a1)) (+.f64 (log.f64 b1) (-.f64 (log.f64 b2) (log.f64 a1))) (+.f64 (log.f64 b1) (log.f64 (/.f64 b2 a1))) (log.f64 (*.f64 b1 (/.f64 b2 a1))) (exp.f64 (*.f64 b1 (/.f64 b2 a1))) (*.f64 (*.f64 (*.f64 b1 b1) b1) (/.f64 (*.f64 (*.f64 b2 b2) b2) (*.f64 (*.f64 a1 a1) a1))) (*.f64 (*.f64 (*.f64 b1 b1) b1) (*.f64 (*.f64 (/.f64 b2 a1) (/.f64 b2 a1)) (/.f64 b2 a1))) (*.f64 (cbrt.f64 (*.f64 b1 (/.f64 b2 a1))) (cbrt.f64 (*.f64 b1 (/.f64 b2 a1)))) (cbrt.f64 (*.f64 b1 (/.f64 b2 a1))) (*.f64 (*.f64 (*.f64 b1 (/.f64 b2 a1)) (*.f64 b1 (/.f64 b2 a1))) (*.f64 b1 (/.f64 b2 a1))) (sqrt.f64 (*.f64 b1 (/.f64 b2 a1))) (sqrt.f64 (*.f64 b1 (/.f64 b2 a1))) (*.f64 (sqrt.f64 b1) (sqrt.f64 (/.f64 b2 a1))) (*.f64 (sqrt.f64 b1) (sqrt.f64 (/.f64 b2 a1))) (*.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 b2) (sqrt.f64 a1))) (*.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 b2) (sqrt.f64 a1))) (*.f64 b1 (*.f64 (cbrt.f64 (/.f64 b2 a1)) (cbrt.f64 (/.f64 b2 a1)))) (*.f64 b1 (sqrt.f64 (/.f64 b2 a1))) (*.f64 b1 (/.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)) (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)))) (*.f64 b1 (/.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)) (sqrt.f64 a1))) (*.f64 b1 (/.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)) 1)) (*.f64 b1 (/.f64 (sqrt.f64 b2) (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)))) (*.f64 b1 (/.f64 (sqrt.f64 b2) (sqrt.f64 a1))) (*.f64 b1 (/.f64 (sqrt.f64 b2) 1)) (*.f64 b1 (/.f64 1 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)))) (*.f64 b1 (/.f64 1 (sqrt.f64 a1))) (*.f64 b1 (/.f64 1 1)) (*.f64 b1 1) (*.f64 b1 b2) (*.f64 (cbrt.f64 b1) (/.f64 b2 a1)) (*.f64 (sqrt.f64 b1) (/.f64 b2 a1)) (*.f64 b1 (/.f64 b2 a1)) (*.f64 b1 b2) (neg.f64 1) (neg.f64 (-.f64 (+.f64 (log.f64 b1) (-.f64 (log.f64 b2) (log.f64 a1))) (log.f64 a2))) (neg.f64 (-.f64 (+.f64 (log.f64 b1) (log.f64 (/.f64 b2 a1))) (log.f64 a2))) (neg.f64 (-.f64 (log.f64 (*.f64 b1 (/.f64 b2 a1))) (log.f64 a2))) (neg.f64 (log.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2))) (-.f64 0 (-.f64 (+.f64 (log.f64 b1) (-.f64 (log.f64 b2) (log.f64 a1))) (log.f64 a2))) (-.f64 0 (-.f64 (+.f64 (log.f64 b1) (log.f64 (/.f64 b2 a1))) (log.f64 a2))) (-.f64 0 (-.f64 (log.f64 (*.f64 b1 (/.f64 b2 a1))) (log.f64 a2))) (-.f64 0 (log.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2))) (-.f64 (log.f64 1) (-.f64 (+.f64 (log.f64 b1) (-.f64 (log.f64 b2) (log.f64 a1))) (log.f64 a2))) (-.f64 (log.f64 1) (-.f64 (+.f64 (log.f64 b1) (log.f64 (/.f64 b2 a1))) (log.f64 a2))) (-.f64 (log.f64 1) (-.f64 (log.f64 (*.f64 b1 (/.f64 b2 a1))) (log.f64 a2))) (-.f64 (log.f64 1) (log.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2))) (log.f64 (/.f64 1 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2))) (exp.f64 (/.f64 1 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2))) (/.f64 (*.f64 (*.f64 1 1) 1) (/.f64 (*.f64 (*.f64 (*.f64 b1 b1) b1) (/.f64 (*.f64 (*.f64 b2 b2) b2) (*.f64 (*.f64 a1 a1) a1))) (*.f64 (*.f64 a2 a2) a2))) (/.f64 (*.f64 (*.f64 1 1) 1) (/.f64 (*.f64 (*.f64 (*.f64 b1 b1) b1) (*.f64 (*.f64 (/.f64 b2 a1) (/.f64 b2 a1)) (/.f64 b2 a1))) (*.f64 (*.f64 a2 a2) a2))) (/.f64 (*.f64 (*.f64 1 1) 1) (/.f64 (*.f64 (*.f64 (*.f64 b1 (/.f64 b2 a1)) (*.f64 b1 (/.f64 b2 a1))) (*.f64 b1 (/.f64 b2 a1))) (*.f64 (*.f64 a2 a2) a2))) (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2) (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)) (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2))) (*.f64 (cbrt.f64 (/.f64 1 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2))) (cbrt.f64 (/.f64 1 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)))) (cbrt.f64 (/.f64 1 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2))) (*.f64 (*.f64 (/.f64 1 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)) (/.f64 1 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2))) (/.f64 1 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2))) (sqrt.f64 (/.f64 1 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2))) (sqrt.f64 (/.f64 1 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2))) (neg.f64 1) (neg.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)) (cbrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)))) (/.f64 (cbrt.f64 1) (cbrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2))) (/.f64 (cbrt.f64 1) (sqrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 b1 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)))) (/.f64 (cbrt.f64 1) (/.f64 (/.f64 b2 a1) (cbrt.f64 a2))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 b1 (sqrt.f64 a2))) (/.f64 (cbrt.f64 1) (/.f64 (/.f64 b2 a1) (sqrt.f64 a2))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 b1 1)) (/.f64 (cbrt.f64 1) (/.f64 (/.f64 b2 a1) a2)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) 1) (/.f64 (cbrt.f64 1) (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 b1 (/.f64 b2 a1))) (/.f64 (cbrt.f64 1) (/.f64 1 a2)) (/.f64 (sqrt.f64 1) (*.f64 (cbrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)) (cbrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)))) (/.f64 (sqrt.f64 1) (cbrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2))) (/.f64 (sqrt.f64 1) (sqrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2))) (/.f64 (sqrt.f64 1) (sqrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2))) (/.f64 (sqrt.f64 1) (/.f64 b1 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)))) (/.f64 (sqrt.f64 1) (/.f64 (/.f64 b2 a1) (cbrt.f64 a2))) (/.f64 (sqrt.f64 1) (/.f64 b1 (sqrt.f64 a2))) (/.f64 (sqrt.f64 1) (/.f64 (/.f64 b2 a1) (sqrt.f64 a2))) (/.f64 (sqrt.f64 1) (/.f64 b1 1)) (/.f64 (sqrt.f64 1) (/.f64 (/.f64 b2 a1) a2)) (/.f64 (sqrt.f64 1) 1) (/.f64 (sqrt.f64 1) (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)) (/.f64 (sqrt.f64 1) (*.f64 b1 (/.f64 b2 a1))) (/.f64 (sqrt.f64 1) (/.f64 1 a2)) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)) (cbrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)))) (/.f64 1 (cbrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2))) (/.f64 1 (sqrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2))) (/.f64 1 (sqrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2))) (/.f64 1 (/.f64 b1 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)))) (/.f64 1 (/.f64 (/.f64 b2 a1) (cbrt.f64 a2))) (/.f64 1 (/.f64 b1 (sqrt.f64 a2))) (/.f64 1 (/.f64 (/.f64 b2 a1) (sqrt.f64 a2))) (/.f64 1 (/.f64 b1 1)) (/.f64 1 (/.f64 (/.f64 b2 a1) a2)) (/.f64 1 1) (/.f64 1 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)) (/.f64 1 (*.f64 b1 (/.f64 b2 a1))) (/.f64 1 (/.f64 1 a2)) (/.f64 1 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)) (/.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2) 1) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)) (cbrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)))) (/.f64 1 (sqrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2))) (/.f64 1 (/.f64 b1 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)))) (/.f64 1 (/.f64 b1 (sqrt.f64 a2))) (/.f64 1 (/.f64 b1 1)) (/.f64 1 1) (/.f64 1 (*.f64 b1 (/.f64 b2 a1))) (/.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2) (cbrt.f64 1)) (/.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2) (sqrt.f64 1)) (/.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2) 1) (/.f64 1 (*.f64 b1 (/.f64 b2 a1))) (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)) (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)) (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)) (/.f64 (*.f64 b1 b2) a1) (/.f64 (*.f64 b1 b2) a1) (/.f64 (*.f64 b1 b2) a1) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 1.226 * * [simplify]: iteration 0 : 4984 enodes (cost 1101 ) 1.227 * * [simplify]: iteration 1 : 4984 enodes (cost 1101 ) 1.232 * [simplify]: Simplified to: (log.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)) (log.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)) (log.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)) (log.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)) (exp.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)) (pow.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2) 3) (pow.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2) 3) (pow.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2) 3) (*.f64 (cbrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)) (cbrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2))) (cbrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)) (pow.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2) 3) (sqrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)) (sqrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)) (neg.f64 (*.f64 b1 (/.f64 b2 a1))) (neg.f64 a2) (/.f64 b1 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2))) (/.f64 (/.f64 b2 a1) (cbrt.f64 a2)) (/.f64 b1 (sqrt.f64 a2)) (/.f64 (/.f64 b2 a1) (sqrt.f64 a2)) b1 (/.f64 (/.f64 b2 a1) a2) (/.f64 1 a2) (/.f64 a2 (*.f64 b1 (/.f64 b2 a1))) (*.f64 (/.f64 b2 a1) (/.f64 b1 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)))) (*.f64 (/.f64 b2 a1) (/.f64 b1 (sqrt.f64 a2))) (*.f64 b1 (/.f64 b2 a1)) (/.f64 a2 (/.f64 b2 a1)) (*.f64 a1 a2) (*.f64 b1 (/.f64 b2 a1)) (log.f64 (*.f64 b1 (/.f64 b2 a1))) (log.f64 (*.f64 b1 (/.f64 b2 a1))) (log.f64 (*.f64 b1 (/.f64 b2 a1))) (exp.f64 (*.f64 b1 (/.f64 b2 a1))) (pow.f64 (*.f64 b1 (/.f64 b2 a1)) 3) (pow.f64 (*.f64 b1 (/.f64 b2 a1)) 3) (*.f64 (cbrt.f64 (*.f64 b1 (/.f64 b2 a1))) (cbrt.f64 (*.f64 b1 (/.f64 b2 a1)))) (cbrt.f64 (*.f64 b1 (/.f64 b2 a1))) (pow.f64 (*.f64 b1 (/.f64 b2 a1)) 3) (sqrt.f64 (*.f64 b1 (/.f64 b2 a1))) (sqrt.f64 (*.f64 b1 (/.f64 b2 a1))) (*.f64 (sqrt.f64 b1) (sqrt.f64 (/.f64 b2 a1))) (*.f64 (sqrt.f64 b1) (sqrt.f64 (/.f64 b2 a1))) (*.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 b2) (sqrt.f64 a1))) (*.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 b2) (sqrt.f64 a1))) (*.f64 b1 (*.f64 (cbrt.f64 (/.f64 b2 a1)) (cbrt.f64 (/.f64 b2 a1)))) (*.f64 b1 (sqrt.f64 (/.f64 b2 a1))) (*.f64 b1 (/.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)) (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)))) (*.f64 b1 (/.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)) (sqrt.f64 a1))) (*.f64 b1 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))) (*.f64 b1 (/.f64 (sqrt.f64 b2) (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)))) (*.f64 b1 (/.f64 (sqrt.f64 b2) (sqrt.f64 a1))) (*.f64 b1 (sqrt.f64 b2)) (/.f64 b1 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1))) (/.f64 b1 (sqrt.f64 a1)) b1 b1 (*.f64 b1 b2) (*.f64 (/.f64 b2 a1) (cbrt.f64 b1)) (*.f64 (/.f64 b2 a1) (sqrt.f64 b1)) (*.f64 b1 (/.f64 b2 a1)) (*.f64 b1 b2) -1 (log.f64 (/.f64 a2 (*.f64 b1 (/.f64 b2 a1)))) (log.f64 (/.f64 a2 (*.f64 b1 (/.f64 b2 a1)))) (log.f64 (/.f64 a2 (*.f64 b1 (/.f64 b2 a1)))) (log.f64 (/.f64 a2 (*.f64 b1 (/.f64 b2 a1)))) (log.f64 (/.f64 a2 (*.f64 b1 (/.f64 b2 a1)))) (log.f64 (/.f64 a2 (*.f64 b1 (/.f64 b2 a1)))) (log.f64 (/.f64 a2 (*.f64 b1 (/.f64 b2 a1)))) (log.f64 (/.f64 a2 (*.f64 b1 (/.f64 b2 a1)))) (log.f64 (/.f64 a2 (*.f64 b1 (/.f64 b2 a1)))) (log.f64 (/.f64 a2 (*.f64 b1 (/.f64 b2 a1)))) (log.f64 (/.f64 a2 (*.f64 b1 (/.f64 b2 a1)))) (log.f64 (/.f64 a2 (*.f64 b1 (/.f64 b2 a1)))) (log.f64 (/.f64 a2 (*.f64 b1 (/.f64 b2 a1)))) (exp.f64 (/.f64 a2 (*.f64 b1 (/.f64 b2 a1)))) (pow.f64 (/.f64 a2 (*.f64 b1 (/.f64 b2 a1))) 3) (pow.f64 (/.f64 a2 (*.f64 b1 (/.f64 b2 a1))) 3) (pow.f64 (/.f64 a2 (*.f64 b1 (/.f64 b2 a1))) 3) (pow.f64 (/.f64 a2 (*.f64 b1 (/.f64 b2 a1))) 3) (*.f64 (cbrt.f64 (/.f64 a2 (*.f64 b1 (/.f64 b2 a1)))) (cbrt.f64 (/.f64 a2 (*.f64 b1 (/.f64 b2 a1))))) (cbrt.f64 (/.f64 a2 (*.f64 b1 (/.f64 b2 a1)))) (pow.f64 (/.f64 a2 (*.f64 b1 (/.f64 b2 a1))) 3) (sqrt.f64 (/.f64 a2 (*.f64 b1 (/.f64 b2 a1)))) (sqrt.f64 (/.f64 a2 (*.f64 b1 (/.f64 b2 a1)))) -1 (/.f64 (neg.f64 (*.f64 b1 (/.f64 b2 a1))) a2) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)) (cbrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)))) (/.f64 (cbrt.f64 1) (cbrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2))) (/.f64 (cbrt.f64 1) (sqrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 b1 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)))) (/.f64 (cbrt.f64 1) (/.f64 (/.f64 b2 a1) (cbrt.f64 a2))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 b1 (sqrt.f64 a2))) (/.f64 (cbrt.f64 1) (/.f64 (/.f64 b2 a1) (sqrt.f64 a2))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) b1) (/.f64 (cbrt.f64 1) (/.f64 (/.f64 b2 a1) a2)) (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (cbrt.f64 1) (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 b1 (/.f64 b2 a1))) (*.f64 a2 (cbrt.f64 1)) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)) (cbrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)))) (/.f64 1 (cbrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2))) (/.f64 1 (sqrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2))) (/.f64 1 (sqrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2))) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) b1) (/.f64 (cbrt.f64 a2) (/.f64 b2 a1)) (/.f64 (sqrt.f64 a2) b1) (/.f64 (sqrt.f64 a2) (/.f64 b2 a1)) (/.f64 1 b1) (/.f64 a2 (/.f64 b2 a1)) 1 (/.f64 a2 (*.f64 b1 (/.f64 b2 a1))) (/.f64 a1 (*.f64 b1 b2)) a2 (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)) (cbrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)))) (/.f64 1 (cbrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2))) (/.f64 1 (sqrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2))) (/.f64 1 (sqrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2))) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) b1) (/.f64 (cbrt.f64 a2) (/.f64 b2 a1)) (/.f64 (sqrt.f64 a2) b1) (/.f64 (sqrt.f64 a2) (/.f64 b2 a1)) (/.f64 1 b1) (/.f64 a2 (/.f64 b2 a1)) 1 (/.f64 a2 (*.f64 b1 (/.f64 b2 a1))) (/.f64 a1 (*.f64 b1 b2)) a2 (/.f64 a2 (*.f64 b1 (/.f64 b2 a1))) (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)) (cbrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2)))) (/.f64 1 (sqrt.f64 (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2))) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) b1) (/.f64 (sqrt.f64 a2) b1) (/.f64 1 b1) 1 (/.f64 a1 (*.f64 b1 b2)) (/.f64 b1 (/.f64 (cbrt.f64 1) (/.f64 (/.f64 b2 a1) a2))) (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2) (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2) (/.f64 a1 (*.f64 b1 b2)) (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2) (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2) (/.f64 (*.f64 b1 (/.f64 b2 a1)) a2) (*.f64 b1 (/.f64 b2 a1)) (*.f64 b1 (/.f64 b2 a1)) (*.f64 b1 (/.f64 b2 a1)) (/.f64 a2 (*.f64 b1 (/.f64 b2 a1))) (/.f64 a2 (*.f64 b1 (/.f64 b2 a1))) (/.f64 a2 (*.f64 b1 (/.f64 b2 a1))) 1.233 * * * [progress]: adding candidates to table 1.308 * [progress]: [Phase 3 of 3] Extracting. 1.309 * * [regime]: Finding splitpoints for: (# # # # # # # # #) 1.309 * * * [regime-changes]: Trying 6 branch expressions: ((*.f64 b1 b2) (*.f64 a1 a2) b2 b1 a2 a1) 1.310 * * * * [regimes]: Trying to branch on (*.f64 b1 b2) from (# # # # # # # # #) 1.400 * * * * [regimes]: Trying to branch on (*.f64 b1 b2) from (# # #) 1.455 * * * * [regimes]: Trying to branch on (*.f64 a1 a2) from (# # # # # # # # #) 1.546 * * * * [regimes]: Trying to branch on b2 from (# # # # # # # # #) 1.635 * * * * [regimes]: Trying to branch on b1 from (# # # # # # # # #) 1.730 * * * * [regimes]: Trying to branch on a2 from (# # # # # # # # #) 1.818 * * * * [regimes]: Trying to branch on a1 from (# # # # # # # # #) 1.893 * * * [regime]: Found split indices: #