35.017 * [progress]: [Phase 1 of 3] Setting up.
0.000 * * * [progress]: [1/2] Preparing points
0.580 * * * [progress]: [2/2] Setting up program.
0.581 * [progress]: [Phase 2 of 3] Improving.
0.581 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
0.597 * * [simplify]: iteration  0 :  68  enodes  (cost  10 )
0.597 * * [simplify]: iteration  1 :  68  enodes  (cost  10 )
0.597 * [simplify]: Simplified to:
   (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
0.598 * * [progress]: iteration 1 / 4
0.598 * * * [progress]: picking best candidate
0.599 * * * * [pick]: Picked  #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))>
0.599 * * * [progress]: localizing error
0.604 * * * [progress]: generating rewritten candidates
0.604 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.610 * * * [progress]: generating series expansions
0.610 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.611 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (a1 a2 b1 b2) around 0
0.611 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2
0.611 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.611 * [taylor]: Taking taylor expansion of a1 in b2
0.611 * [taylor]: Taking taylor expansion of a2 in b2
0.611 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.611 * [taylor]: Taking taylor expansion of b1 in b2
0.611 * [taylor]: Taking taylor expansion of b2 in b2
0.611 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1
0.611 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.611 * [taylor]: Taking taylor expansion of a1 in b1
0.611 * [taylor]: Taking taylor expansion of a2 in b1
0.611 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.611 * [taylor]: Taking taylor expansion of b1 in b1
0.611 * [taylor]: Taking taylor expansion of b2 in b1
0.611 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
0.612 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.612 * [taylor]: Taking taylor expansion of a1 in a2
0.612 * [taylor]: Taking taylor expansion of a2 in a2
0.612 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.612 * [taylor]: Taking taylor expansion of b1 in a2
0.612 * [taylor]: Taking taylor expansion of b2 in a2
0.612 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
0.612 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.612 * [taylor]: Taking taylor expansion of a1 in a1
0.612 * [taylor]: Taking taylor expansion of a2 in a1
0.612 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.612 * [taylor]: Taking taylor expansion of b1 in a1
0.612 * [taylor]: Taking taylor expansion of b2 in a1
0.612 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
0.612 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.612 * [taylor]: Taking taylor expansion of a1 in a1
0.612 * [taylor]: Taking taylor expansion of a2 in a1
0.612 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.612 * [taylor]: Taking taylor expansion of b1 in a1
0.613 * [taylor]: Taking taylor expansion of b2 in a1
0.613 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2
0.613 * [taylor]: Taking taylor expansion of a2 in a2
0.613 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.613 * [taylor]: Taking taylor expansion of b1 in a2
0.613 * [taylor]: Taking taylor expansion of b2 in a2
0.613 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1
0.613 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.613 * [taylor]: Taking taylor expansion of b1 in b1
0.613 * [taylor]: Taking taylor expansion of b2 in b1
0.614 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
0.614 * [taylor]: Taking taylor expansion of b2 in b2
0.614 * [taylor]: Taking taylor expansion of 0 in a2
0.615 * [taylor]: Taking taylor expansion of 0 in b1
0.615 * [taylor]: Taking taylor expansion of 0 in b1
0.616 * [taylor]: Taking taylor expansion of 0 in b2
0.617 * [taylor]: Taking taylor expansion of 0 in a2
0.617 * [taylor]: Taking taylor expansion of 0 in b1
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 0 in b2
0.618 * [taylor]: Taking taylor expansion of 0 in b2
0.619 * [taylor]: Taking taylor expansion of 0 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 b1
0.621 * [taylor]: Taking taylor expansion of 0 in b1
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 * [taylor]: Taking taylor expansion of 0 in b2
0.622 * [taylor]: Taking taylor expansion of 0 in b2
0.622 * [taylor]: Taking taylor expansion of 0 in b2
0.623 * [taylor]: Taking taylor expansion of 0 in b2
0.624 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 a2 b1 b2) around 0
0.624 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.624 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.624 * [taylor]: Taking taylor expansion of b1 in b2
0.624 * [taylor]: Taking taylor expansion of b2 in b2
0.624 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.624 * [taylor]: Taking taylor expansion of a1 in b2
0.624 * [taylor]: Taking taylor expansion of a2 in b2
0.624 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.624 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.624 * [taylor]: Taking taylor expansion of b1 in b1
0.624 * [taylor]: Taking taylor expansion of b2 in b1
0.624 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.624 * [taylor]: Taking taylor expansion of a1 in b1
0.624 * [taylor]: Taking taylor expansion of a2 in b1
0.625 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.625 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.625 * [taylor]: Taking taylor expansion of b1 in a2
0.625 * [taylor]: Taking taylor expansion of b2 in a2
0.625 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.625 * [taylor]: Taking taylor expansion of a1 in a2
0.625 * [taylor]: Taking taylor expansion of a2 in a2
0.625 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.625 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.625 * [taylor]: Taking taylor expansion of b1 in a1
0.625 * [taylor]: Taking taylor expansion of b2 in a1
0.625 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.625 * [taylor]: Taking taylor expansion of a1 in a1
0.625 * [taylor]: Taking taylor expansion of a2 in a1
0.626 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.626 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.626 * [taylor]: Taking taylor expansion of b1 in a1
0.626 * [taylor]: Taking taylor expansion of b2 in a1
0.626 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.626 * [taylor]: Taking taylor expansion of a1 in a1
0.626 * [taylor]: Taking taylor expansion of a2 in a1
0.626 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
0.626 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.626 * [taylor]: Taking taylor expansion of b1 in a2
0.626 * [taylor]: Taking taylor expansion of b2 in a2
0.626 * [taylor]: Taking taylor expansion of a2 in a2
0.626 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.626 * [taylor]: Taking taylor expansion of b1 in b1
0.626 * [taylor]: Taking taylor expansion of b2 in b1
0.627 * [taylor]: Taking taylor expansion of b2 in b2
0.627 * [taylor]: Taking taylor expansion of 0 in a2
0.628 * [taylor]: Taking taylor expansion of 0 in b1
0.628 * [taylor]: Taking taylor expansion of 0 in b2
0.628 * [taylor]: Taking taylor expansion of 0 in b2
0.629 * [taylor]: Taking taylor expansion of 0 in a2
0.629 * [taylor]: Taking taylor expansion of 0 in b1
0.629 * [taylor]: Taking taylor expansion of 0 in b2
0.630 * [taylor]: Taking taylor expansion of 0 in b1
0.630 * [taylor]: Taking taylor expansion of 0 in b2
0.630 * [taylor]: Taking taylor expansion of 0 in b2
0.631 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 a2 b1 b2) around 0
0.631 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.631 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.631 * [taylor]: Taking taylor expansion of b1 in b2
0.631 * [taylor]: Taking taylor expansion of b2 in b2
0.631 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.631 * [taylor]: Taking taylor expansion of a1 in b2
0.631 * [taylor]: Taking taylor expansion of a2 in b2
0.632 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.632 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.632 * [taylor]: Taking taylor expansion of b1 in b1
0.632 * [taylor]: Taking taylor expansion of b2 in b1
0.632 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.632 * [taylor]: Taking taylor expansion of a1 in b1
0.632 * [taylor]: Taking taylor expansion of a2 in b1
0.632 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.632 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.632 * [taylor]: Taking taylor expansion of b1 in a2
0.632 * [taylor]: Taking taylor expansion of b2 in a2
0.632 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.632 * [taylor]: Taking taylor expansion of a1 in a2
0.632 * [taylor]: Taking taylor expansion of a2 in a2
0.633 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.633 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.633 * [taylor]: Taking taylor expansion of b1 in a1
0.633 * [taylor]: Taking taylor expansion of b2 in a1
0.633 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.633 * [taylor]: Taking taylor expansion of a1 in a1
0.633 * [taylor]: Taking taylor expansion of a2 in a1
0.633 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.633 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.633 * [taylor]: Taking taylor expansion of b1 in a1
0.633 * [taylor]: Taking taylor expansion of b2 in a1
0.633 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.633 * [taylor]: Taking taylor expansion of a1 in a1
0.633 * [taylor]: Taking taylor expansion of a2 in a1
0.634 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
0.634 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.634 * [taylor]: Taking taylor expansion of b1 in a2
0.634 * [taylor]: Taking taylor expansion of b2 in a2
0.634 * [taylor]: Taking taylor expansion of a2 in a2
0.634 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.634 * [taylor]: Taking taylor expansion of b1 in b1
0.634 * [taylor]: Taking taylor expansion of b2 in b1
0.634 * [taylor]: Taking taylor expansion of b2 in b2
0.635 * [taylor]: Taking taylor expansion of 0 in a2
0.635 * [taylor]: Taking taylor expansion of 0 in b1
0.635 * [taylor]: Taking taylor expansion of 0 in b2
0.636 * [taylor]: Taking taylor expansion of 0 in b2
0.637 * [taylor]: Taking taylor expansion of 0 in a2
0.637 * [taylor]: Taking taylor expansion of 0 in b1
0.637 * [taylor]: Taking taylor expansion of 0 in b2
0.637 * [taylor]: Taking taylor expansion of 0 in b1
0.638 * [taylor]: Taking taylor expansion of 0 in b2
0.638 * [taylor]: Taking taylor expansion of 0 in b2
0.638 * * * [progress]: simplifying candidates
0.639 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.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)))
  (exp.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))
  (log.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)))
  (*.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 a1 a2)) (*.f64 a1 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 a1) a1) (*.f64 (*.f64 a2 a2) a2)) (*.f64 (*.f64 (*.f64 b1 b2) (*.f64 b1 b2)) (*.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)))
  (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 (*.f64 b1 b2) (*.f64 a1 a2))
  (/.f64 1 (*.f64 b1 b2))
  (/.f64 (*.f64 b1 b2) a2)
  (/.f64 (*.f64 a1 a2) b1)
  (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
  (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
  (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
0.729 * * [simplify]: iteration  0 :  5101  enodes  (cost  280 )
0.731 * [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)))
  (exp.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))
  (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))
  (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)
  (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)
  (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 (*.f64 b1 b2) (*.f64 a1 a2))
  (/.f64 1 (*.f64 b1 b2))
  (/.f64 b1 (/.f64 a2 b2))
  (*.f64 a2 (/.f64 a1 b1))
  (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
  (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
  (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
0.731 * * * [progress]: adding candidates to table
0.745 * * [progress]: iteration 2 / 4
0.745 * * * [progress]: picking best candidate
0.751 * * * * [pick]: Picked  #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))>
0.752 * * * [progress]: localizing error
0.757 * * * [progress]: generating rewritten candidates
0.757 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.769 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.791 * * * [progress]: generating series expansions
0.791 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.792 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (a1 b1 a2 b2) around 0
0.792 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2
0.792 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.792 * [taylor]: Taking taylor expansion of a1 in b2
0.792 * [taylor]: Taking taylor expansion of a2 in b2
0.792 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.792 * [taylor]: Taking taylor expansion of b1 in b2
0.792 * [taylor]: Taking taylor expansion of b2 in b2
0.793 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
0.793 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.793 * [taylor]: Taking taylor expansion of a1 in a2
0.793 * [taylor]: Taking taylor expansion of a2 in a2
0.793 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.793 * [taylor]: Taking taylor expansion of b1 in a2
0.793 * [taylor]: Taking taylor expansion of b2 in a2
0.793 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1
0.793 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.793 * [taylor]: Taking taylor expansion of a1 in b1
0.793 * [taylor]: Taking taylor expansion of a2 in b1
0.793 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.793 * [taylor]: Taking taylor expansion of b1 in b1
0.793 * [taylor]: Taking taylor expansion of b2 in b1
0.794 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
0.794 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.794 * [taylor]: Taking taylor expansion of a1 in a1
0.794 * [taylor]: Taking taylor expansion of a2 in a1
0.794 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.794 * [taylor]: Taking taylor expansion of b1 in a1
0.794 * [taylor]: Taking taylor expansion of b2 in a1
0.794 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
0.794 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.794 * [taylor]: Taking taylor expansion of a1 in a1
0.794 * [taylor]: Taking taylor expansion of a2 in a1
0.794 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.794 * [taylor]: Taking taylor expansion of b1 in a1
0.794 * [taylor]: Taking taylor expansion of b2 in a1
0.795 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b1
0.795 * [taylor]: Taking taylor expansion of a2 in b1
0.795 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.795 * [taylor]: Taking taylor expansion of b1 in b1
0.795 * [taylor]: Taking taylor expansion of b2 in b1
0.795 * [taylor]: Taking taylor expansion of (/ a2 b2) in a2
0.795 * [taylor]: Taking taylor expansion of a2 in a2
0.795 * [taylor]: Taking taylor expansion of b2 in a2
0.795 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
0.795 * [taylor]: Taking taylor expansion of b2 in b2
0.796 * [taylor]: Taking taylor expansion of 0 in b1
0.797 * [taylor]: Taking taylor expansion of 0 in a2
0.797 * [taylor]: Taking taylor expansion of 0 in b2
0.798 * [taylor]: Taking taylor expansion of 0 in b2
0.799 * [taylor]: Taking taylor expansion of 0 in b1
0.799 * [taylor]: Taking taylor expansion of 0 in a2
0.799 * [taylor]: Taking taylor expansion of 0 in b2
0.800 * [taylor]: Taking taylor expansion of 0 in a2
0.800 * [taylor]: Taking taylor expansion of 0 in b2
0.800 * [taylor]: Taking taylor expansion of 0 in b2
0.801 * [taylor]: Taking taylor expansion of 0 in b2
0.803 * [taylor]: Taking taylor expansion of 0 in b1
0.803 * [taylor]: Taking taylor expansion of 0 in a2
0.803 * [taylor]: Taking taylor expansion of 0 in b2
0.803 * [taylor]: Taking taylor expansion of 0 in a2
0.803 * [taylor]: Taking taylor expansion of 0 in b2
0.804 * [taylor]: Taking taylor expansion of 0 in a2
0.804 * [taylor]: Taking taylor expansion of 0 in b2
0.804 * [taylor]: Taking taylor expansion of 0 in b2
0.804 * [taylor]: Taking taylor expansion of 0 in b2
0.804 * [taylor]: Taking taylor expansion of 0 in b2
0.805 * [taylor]: Taking taylor expansion of 0 in b2
0.806 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 b1 a2 b2) around 0
0.806 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.806 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.806 * [taylor]: Taking taylor expansion of b1 in b2
0.806 * [taylor]: Taking taylor expansion of b2 in b2
0.806 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.806 * [taylor]: Taking taylor expansion of a1 in b2
0.806 * [taylor]: Taking taylor expansion of a2 in b2
0.807 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.807 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.807 * [taylor]: Taking taylor expansion of b1 in a2
0.807 * [taylor]: Taking taylor expansion of b2 in a2
0.807 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.807 * [taylor]: Taking taylor expansion of a1 in a2
0.807 * [taylor]: Taking taylor expansion of a2 in a2
0.807 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.807 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.807 * [taylor]: Taking taylor expansion of b1 in b1
0.807 * [taylor]: Taking taylor expansion of b2 in b1
0.807 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.807 * [taylor]: Taking taylor expansion of a1 in b1
0.807 * [taylor]: Taking taylor expansion of a2 in b1
0.808 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.808 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.808 * [taylor]: Taking taylor expansion of b1 in a1
0.808 * [taylor]: Taking taylor expansion of b2 in a1
0.808 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.808 * [taylor]: Taking taylor expansion of a1 in a1
0.808 * [taylor]: Taking taylor expansion of a2 in a1
0.808 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.808 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.808 * [taylor]: Taking taylor expansion of b1 in a1
0.808 * [taylor]: Taking taylor expansion of b2 in a1
0.808 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.808 * [taylor]: Taking taylor expansion of a1 in a1
0.808 * [taylor]: Taking taylor expansion of a2 in a1
0.809 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1
0.809 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.809 * [taylor]: Taking taylor expansion of b1 in b1
0.809 * [taylor]: Taking taylor expansion of b2 in b1
0.809 * [taylor]: Taking taylor expansion of a2 in b1
0.809 * [taylor]: Taking taylor expansion of (/ b2 a2) in a2
0.809 * [taylor]: Taking taylor expansion of b2 in a2
0.809 * [taylor]: Taking taylor expansion of a2 in a2
0.809 * [taylor]: Taking taylor expansion of b2 in b2
0.810 * [taylor]: Taking taylor expansion of 0 in b1
0.810 * [taylor]: Taking taylor expansion of 0 in a2
0.811 * [taylor]: Taking taylor expansion of 0 in a2
0.811 * [taylor]: Taking taylor expansion of 0 in b2
0.813 * [taylor]: Taking taylor expansion of 0 in b1
0.813 * [taylor]: Taking taylor expansion of 0 in a2
0.813 * [taylor]: Taking taylor expansion of 0 in a2
0.814 * [taylor]: Taking taylor expansion of 0 in a2
0.814 * [taylor]: Taking taylor expansion of 0 in b2
0.814 * [taylor]: Taking taylor expansion of 0 in b2
0.814 * [taylor]: Taking taylor expansion of 0 in b2
0.816 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 b1 a2 b2) around 0
0.816 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.816 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.816 * [taylor]: Taking taylor expansion of b1 in b2
0.816 * [taylor]: Taking taylor expansion of b2 in b2
0.816 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.816 * [taylor]: Taking taylor expansion of a1 in b2
0.816 * [taylor]: Taking taylor expansion of a2 in b2
0.816 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.816 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.816 * [taylor]: Taking taylor expansion of b1 in a2
0.816 * [taylor]: Taking taylor expansion of b2 in a2
0.816 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.816 * [taylor]: Taking taylor expansion of a1 in a2
0.816 * [taylor]: Taking taylor expansion of a2 in a2
0.817 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.817 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.817 * [taylor]: Taking taylor expansion of b1 in b1
0.817 * [taylor]: Taking taylor expansion of b2 in b1
0.817 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.817 * [taylor]: Taking taylor expansion of a1 in b1
0.817 * [taylor]: Taking taylor expansion of a2 in b1
0.817 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.817 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.817 * [taylor]: Taking taylor expansion of b1 in a1
0.817 * [taylor]: Taking taylor expansion of b2 in a1
0.817 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.817 * [taylor]: Taking taylor expansion of a1 in a1
0.817 * [taylor]: Taking taylor expansion of a2 in a1
0.818 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.818 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.818 * [taylor]: Taking taylor expansion of b1 in a1
0.818 * [taylor]: Taking taylor expansion of b2 in a1
0.818 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.818 * [taylor]: Taking taylor expansion of a1 in a1
0.818 * [taylor]: Taking taylor expansion of a2 in a1
0.818 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1
0.818 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.818 * [taylor]: Taking taylor expansion of b1 in b1
0.818 * [taylor]: Taking taylor expansion of b2 in b1
0.818 * [taylor]: Taking taylor expansion of a2 in b1
0.819 * [taylor]: Taking taylor expansion of (/ b2 a2) in a2
0.819 * [taylor]: Taking taylor expansion of b2 in a2
0.819 * [taylor]: Taking taylor expansion of a2 in a2
0.819 * [taylor]: Taking taylor expansion of b2 in b2
0.820 * [taylor]: Taking taylor expansion of 0 in b1
0.820 * [taylor]: Taking taylor expansion of 0 in a2
0.821 * [taylor]: Taking taylor expansion of 0 in a2
0.821 * [taylor]: Taking taylor expansion of 0 in b2
0.822 * [taylor]: Taking taylor expansion of 0 in b1
0.822 * [taylor]: Taking taylor expansion of 0 in a2
0.822 * [taylor]: Taking taylor expansion of 0 in a2
0.823 * [taylor]: Taking taylor expansion of 0 in a2
0.823 * [taylor]: Taking taylor expansion of 0 in b2
0.823 * [taylor]: Taking taylor expansion of 0 in b2
0.824 * [taylor]: Taking taylor expansion of 0 in b2
0.825 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.825 * [approximate]: Taking taylor expansion of (/ (* b1 b2) a2) in (b1 a2 b2) around 0
0.825 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b2
0.825 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.825 * [taylor]: Taking taylor expansion of b1 in b2
0.825 * [taylor]: Taking taylor expansion of b2 in b2
0.825 * [taylor]: Taking taylor expansion of a2 in b2
0.825 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
0.825 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.825 * [taylor]: Taking taylor expansion of b1 in a2
0.825 * [taylor]: Taking taylor expansion of b2 in a2
0.825 * [taylor]: Taking taylor expansion of a2 in a2
0.826 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1
0.826 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.826 * [taylor]: Taking taylor expansion of b1 in b1
0.826 * [taylor]: Taking taylor expansion of b2 in b1
0.826 * [taylor]: Taking taylor expansion of a2 in b1
0.826 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1
0.826 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.826 * [taylor]: Taking taylor expansion of b1 in b1
0.826 * [taylor]: Taking taylor expansion of b2 in b1
0.826 * [taylor]: Taking taylor expansion of a2 in b1
0.826 * [taylor]: Taking taylor expansion of (/ b2 a2) in a2
0.826 * [taylor]: Taking taylor expansion of b2 in a2
0.826 * [taylor]: Taking taylor expansion of a2 in a2
0.827 * [taylor]: Taking taylor expansion of b2 in b2
0.827 * [taylor]: Taking taylor expansion of 0 in a2
0.828 * [taylor]: Taking taylor expansion of 0 in b2
0.829 * [taylor]: Taking taylor expansion of 0 in a2
0.829 * [taylor]: Taking taylor expansion of 0 in b2
0.829 * [taylor]: Taking taylor expansion of 0 in b2
0.830 * [approximate]: Taking taylor expansion of (/ a2 (* b1 b2)) in (b1 a2 b2) around 0
0.830 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b2
0.830 * [taylor]: Taking taylor expansion of a2 in b2
0.830 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.830 * [taylor]: Taking taylor expansion of b1 in b2
0.830 * [taylor]: Taking taylor expansion of b2 in b2
0.830 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2
0.830 * [taylor]: Taking taylor expansion of a2 in a2
0.830 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.830 * [taylor]: Taking taylor expansion of b1 in a2
0.830 * [taylor]: Taking taylor expansion of b2 in a2
0.831 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b1
0.831 * [taylor]: Taking taylor expansion of a2 in b1
0.831 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.831 * [taylor]: Taking taylor expansion of b1 in b1
0.831 * [taylor]: Taking taylor expansion of b2 in b1
0.831 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b1
0.831 * [taylor]: Taking taylor expansion of a2 in b1
0.831 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.831 * [taylor]: Taking taylor expansion of b1 in b1
0.831 * [taylor]: Taking taylor expansion of b2 in b1
0.831 * [taylor]: Taking taylor expansion of (/ a2 b2) in a2
0.831 * [taylor]: Taking taylor expansion of a2 in a2
0.832 * [taylor]: Taking taylor expansion of b2 in a2
0.832 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
0.832 * [taylor]: Taking taylor expansion of b2 in b2
0.832 * [taylor]: Taking taylor expansion of 0 in a2
0.832 * [taylor]: Taking taylor expansion of 0 in b2
0.833 * [taylor]: Taking taylor expansion of 0 in b2
0.834 * [taylor]: Taking taylor expansion of 0 in a2
0.834 * [taylor]: Taking taylor expansion of 0 in b2
0.834 * [taylor]: Taking taylor expansion of 0 in b2
0.835 * [taylor]: Taking taylor expansion of 0 in b2
0.836 * [taylor]: Taking taylor expansion of 0 in a2
0.836 * [taylor]: Taking taylor expansion of 0 in b2
0.836 * [taylor]: Taking taylor expansion of 0 in b2
0.836 * [taylor]: Taking taylor expansion of 0 in b2
0.837 * [taylor]: Taking taylor expansion of 0 in b2
0.838 * [approximate]: Taking taylor expansion of (* -1 (/ a2 (* b1 b2))) in (b1 a2 b2) around 0
0.838 * [taylor]: Taking taylor expansion of (* -1 (/ a2 (* b1 b2))) in b2
0.838 * [taylor]: Taking taylor expansion of -1 in b2
0.838 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b2
0.838 * [taylor]: Taking taylor expansion of a2 in b2
0.838 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.838 * [taylor]: Taking taylor expansion of b1 in b2
0.838 * [taylor]: Taking taylor expansion of b2 in b2
0.838 * [taylor]: Taking taylor expansion of (* -1 (/ a2 (* b1 b2))) in a2
0.838 * [taylor]: Taking taylor expansion of -1 in a2
0.838 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2
0.838 * [taylor]: Taking taylor expansion of a2 in a2
0.838 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.839 * [taylor]: Taking taylor expansion of b1 in a2
0.839 * [taylor]: Taking taylor expansion of b2 in a2
0.839 * [taylor]: Taking taylor expansion of (* -1 (/ a2 (* b1 b2))) in b1
0.839 * [taylor]: Taking taylor expansion of -1 in b1
0.839 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b1
0.839 * [taylor]: Taking taylor expansion of a2 in b1
0.839 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.839 * [taylor]: Taking taylor expansion of b1 in b1
0.839 * [taylor]: Taking taylor expansion of b2 in b1
0.839 * [taylor]: Taking taylor expansion of (* -1 (/ a2 (* b1 b2))) in b1
0.839 * [taylor]: Taking taylor expansion of -1 in b1
0.839 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b1
0.839 * [taylor]: Taking taylor expansion of a2 in b1
0.839 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.839 * [taylor]: Taking taylor expansion of b1 in b1
0.839 * [taylor]: Taking taylor expansion of b2 in b1
0.840 * [taylor]: Taking taylor expansion of (* -1 (/ a2 b2)) in a2
0.840 * [taylor]: Taking taylor expansion of -1 in a2
0.840 * [taylor]: Taking taylor expansion of (/ a2 b2) in a2
0.840 * [taylor]: Taking taylor expansion of a2 in a2
0.840 * [taylor]: Taking taylor expansion of b2 in a2
0.840 * [taylor]: Taking taylor expansion of (/ -1 b2) in b2
0.840 * [taylor]: Taking taylor expansion of -1 in b2
0.840 * [taylor]: Taking taylor expansion of b2 in b2
0.841 * [taylor]: Taking taylor expansion of 0 in a2
0.841 * [taylor]: Taking taylor expansion of 0 in b2
0.842 * [taylor]: Taking taylor expansion of 0 in b2
0.843 * [taylor]: Taking taylor expansion of 0 in a2
0.843 * [taylor]: Taking taylor expansion of 0 in b2
0.843 * [taylor]: Taking taylor expansion of 0 in b2
0.844 * [taylor]: Taking taylor expansion of 0 in b2
0.846 * [taylor]: Taking taylor expansion of 0 in a2
0.846 * [taylor]: Taking taylor expansion of 0 in b2
0.846 * [taylor]: Taking taylor expansion of 0 in b2
0.846 * [taylor]: Taking taylor expansion of 0 in b2
0.847 * [taylor]: Taking taylor expansion of 0 in b2
0.848 * * * [progress]: simplifying candidates
0.855 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (log.f64 a1) (-.f64 (log.f64 b1) (-.f64 (log.f64 a2) (log.f64 b2))))
  (-.f64 (log.f64 a1) (-.f64 (log.f64 b1) (log.f64 (/.f64 a2 b2))))
  (-.f64 (log.f64 a1) (log.f64 (/.f64 b1 (/.f64 a2 b2))))
  (exp.f64 (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))
  (log.f64 (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))
  (*.f64 (*.f64 (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2)))) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))
  (*.f64 (cbrt.f64 (/.f64 a1 (/.f64 b1 (/.f64 a2 b2)))) (cbrt.f64 (/.f64 a1 (/.f64 b1 (/.f64 a2 b2)))))
  (cbrt.f64 (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))
  (/.f64 (*.f64 (*.f64 a1 a1) a1) (*.f64 (*.f64 (/.f64 b1 (/.f64 a2 b2)) (/.f64 b1 (/.f64 a2 b2))) (/.f64 b1 (/.f64 a2 b2))))
  (/.f64 (*.f64 (*.f64 a1 a1) a1) (/.f64 (*.f64 (*.f64 b1 b1) b1) (*.f64 (*.f64 (/.f64 a2 b2) (/.f64 a2 b2)) (/.f64 a2 b2))))
  (/.f64 (*.f64 (*.f64 a1 a1) a1) (/.f64 (*.f64 (*.f64 b1 b1) b1) (/.f64 (*.f64 (*.f64 a2 a2) a2) (*.f64 (*.f64 b2 b2) b2))))
  (sqrt.f64 (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))
  (sqrt.f64 (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))
  (neg.f64 a1)
  (neg.f64 (/.f64 b1 (/.f64 a2 b2)))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 (/.f64 b1 (/.f64 a2 b2))) (cbrt.f64 (/.f64 b1 (/.f64 a2 b2)))))
  (/.f64 (cbrt.f64 a1) (cbrt.f64 (/.f64 b1 (/.f64 a2 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (sqrt.f64 (/.f64 b1 (/.f64 a2 b2))))
  (/.f64 (cbrt.f64 a1) (sqrt.f64 (/.f64 b1 (/.f64 a2 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (*.f64 (cbrt.f64 (/.f64 a2 b2)) (cbrt.f64 (/.f64 a2 b2)))))
  (/.f64 (cbrt.f64 a1) (/.f64 (cbrt.f64 b1) (cbrt.f64 (/.f64 a2 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (sqrt.f64 (/.f64 a2 b2))))
  (/.f64 (cbrt.f64 a1) (/.f64 (cbrt.f64 b1) (sqrt.f64 (/.f64 a2 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 (cbrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 (cbrt.f64 a2) (cbrt.f64 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (sqrt.f64 b2))))
  (/.f64 (cbrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 (cbrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) 1)))
  (/.f64 (cbrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 (cbrt.f64 a2) b2)))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (sqrt.f64 a2) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 (cbrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 (sqrt.f64 a2) (cbrt.f64 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (sqrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 (cbrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 (sqrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (sqrt.f64 a2) 1)))
  (/.f64 (cbrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 (sqrt.f64 a2) b2)))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 1 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 (cbrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 a2 (cbrt.f64 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 1 (sqrt.f64 b2))))
  (/.f64 (cbrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 a2 (sqrt.f64 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 1 1)))
  (/.f64 (cbrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 a2 b2)))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) 1))
  (/.f64 (cbrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 a2 b2)))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) a2))
  (/.f64 (cbrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 1 b2)))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (sqrt.f64 b1) (*.f64 (cbrt.f64 (/.f64 a2 b2)) (cbrt.f64 (/.f64 a2 b2)))))
  (/.f64 (cbrt.f64 a1) (/.f64 (sqrt.f64 b1) (cbrt.f64 (/.f64 a2 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (sqrt.f64 b1) (sqrt.f64 (/.f64 a2 b2))))
  (/.f64 (cbrt.f64 a1) (/.f64 (sqrt.f64 b1) (sqrt.f64 (/.f64 a2 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (sqrt.f64 b1) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 (cbrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 (cbrt.f64 a2) (cbrt.f64 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (sqrt.f64 b1) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (sqrt.f64 b2))))
  (/.f64 (cbrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 (cbrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (sqrt.f64 b1) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) 1)))
  (/.f64 (cbrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 (cbrt.f64 a2) b2)))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 (cbrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) (cbrt.f64 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 (cbrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) 1)))
  (/.f64 (cbrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) b2)))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (sqrt.f64 b1) (/.f64 1 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 (cbrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 a2 (cbrt.f64 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (sqrt.f64 b1) (/.f64 1 (sqrt.f64 b2))))
  (/.f64 (cbrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 a2 (sqrt.f64 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (sqrt.f64 b1) (/.f64 1 1)))
  (/.f64 (cbrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 a2 b2)))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (sqrt.f64 b1) 1))
  (/.f64 (cbrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 a2 b2)))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (sqrt.f64 b1) a2))
  (/.f64 (cbrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 1 b2)))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 a2 b2)) (cbrt.f64 (/.f64 a2 b2)))))
  (/.f64 (cbrt.f64 a1) (/.f64 b1 (cbrt.f64 (/.f64 a2 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 1 (sqrt.f64 (/.f64 a2 b2))))
  (/.f64 (cbrt.f64 a1) (/.f64 b1 (sqrt.f64 (/.f64 a2 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 (cbrt.f64 a1) (/.f64 b1 (/.f64 (cbrt.f64 a2) (cbrt.f64 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (sqrt.f64 b2))))
  (/.f64 (cbrt.f64 a1) (/.f64 b1 (/.f64 (cbrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) 1)))
  (/.f64 (cbrt.f64 a1) (/.f64 b1 (/.f64 (cbrt.f64 a2) b2)))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 1 (/.f64 (sqrt.f64 a2) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 (cbrt.f64 a1) (/.f64 b1 (/.f64 (sqrt.f64 a2) (cbrt.f64 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 1 (/.f64 (sqrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 (cbrt.f64 a1) (/.f64 b1 (/.f64 (sqrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 1 (/.f64 (sqrt.f64 a2) 1)))
  (/.f64 (cbrt.f64 a1) (/.f64 b1 (/.f64 (sqrt.f64 a2) b2)))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 1 (/.f64 1 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 (cbrt.f64 a1) (/.f64 b1 (/.f64 a2 (cbrt.f64 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 1 (/.f64 1 (sqrt.f64 b2))))
  (/.f64 (cbrt.f64 a1) (/.f64 b1 (/.f64 a2 (sqrt.f64 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 1 (/.f64 1 1)))
  (/.f64 (cbrt.f64 a1) (/.f64 b1 (/.f64 a2 b2)))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 1 1))
  (/.f64 (cbrt.f64 a1) (/.f64 b1 (/.f64 a2 b2)))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 1 a2))
  (/.f64 (cbrt.f64 a1) (/.f64 b1 (/.f64 1 b2)))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) 1)
  (/.f64 (cbrt.f64 a1) (/.f64 b1 (/.f64 a2 b2)))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) b1)
  (/.f64 (cbrt.f64 a1) (/.f64 1 (/.f64 a2 b2)))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 b1 a2))
  (/.f64 (cbrt.f64 a1) b2)
  (/.f64 (sqrt.f64 a1) (*.f64 (cbrt.f64 (/.f64 b1 (/.f64 a2 b2))) (cbrt.f64 (/.f64 b1 (/.f64 a2 b2)))))
  (/.f64 (sqrt.f64 a1) (cbrt.f64 (/.f64 b1 (/.f64 a2 b2))))
  (/.f64 (sqrt.f64 a1) (sqrt.f64 (/.f64 b1 (/.f64 a2 b2))))
  (/.f64 (sqrt.f64 a1) (sqrt.f64 (/.f64 b1 (/.f64 a2 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (*.f64 (cbrt.f64 (/.f64 a2 b2)) (cbrt.f64 (/.f64 a2 b2)))))
  (/.f64 (sqrt.f64 a1) (/.f64 (cbrt.f64 b1) (cbrt.f64 (/.f64 a2 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (sqrt.f64 (/.f64 a2 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (cbrt.f64 b1) (sqrt.f64 (/.f64 a2 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 (sqrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 (cbrt.f64 a2) (cbrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (sqrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 (cbrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) 1)))
  (/.f64 (sqrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 (cbrt.f64 a2) b2)))
  (/.f64 (sqrt.f64 a1) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (sqrt.f64 a2) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 (sqrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 (sqrt.f64 a2) (cbrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (sqrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 (sqrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (sqrt.f64 a2) 1)))
  (/.f64 (sqrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 (sqrt.f64 a2) b2)))
  (/.f64 (sqrt.f64 a1) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 1 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 (sqrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 a2 (cbrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 1 (sqrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 a2 (sqrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 1 1)))
  (/.f64 (sqrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 a2 b2)))
  (/.f64 (sqrt.f64 a1) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) 1))
  (/.f64 (sqrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 a2 b2)))
  (/.f64 (sqrt.f64 a1) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) a2))
  (/.f64 (sqrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 1 b2)))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (*.f64 (cbrt.f64 (/.f64 a2 b2)) (cbrt.f64 (/.f64 a2 b2)))))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (cbrt.f64 (/.f64 a2 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (sqrt.f64 (/.f64 a2 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (sqrt.f64 (/.f64 a2 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 (cbrt.f64 a2) (cbrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (sqrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 (cbrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) 1)))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 (cbrt.f64 a2) b2)))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) (cbrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) 1)))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) b2)))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 1 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 a2 (cbrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 1 (sqrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 a2 (sqrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 1 1)))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 a2 b2)))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) 1))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 a2 b2)))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) a2))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 1 b2)))
  (/.f64 (sqrt.f64 a1) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 a2 b2)) (cbrt.f64 (/.f64 a2 b2)))))
  (/.f64 (sqrt.f64 a1) (/.f64 b1 (cbrt.f64 (/.f64 a2 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 1 (sqrt.f64 (/.f64 a2 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 b1 (sqrt.f64 (/.f64 a2 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 (sqrt.f64 a1) (/.f64 b1 (/.f64 (cbrt.f64 a2) (cbrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (sqrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 b1 (/.f64 (cbrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) 1)))
  (/.f64 (sqrt.f64 a1) (/.f64 b1 (/.f64 (cbrt.f64 a2) b2)))
  (/.f64 (sqrt.f64 a1) (/.f64 1 (/.f64 (sqrt.f64 a2) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 (sqrt.f64 a1) (/.f64 b1 (/.f64 (sqrt.f64 a2) (cbrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 1 (/.f64 (sqrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 b1 (/.f64 (sqrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 1 (/.f64 (sqrt.f64 a2) 1)))
  (/.f64 (sqrt.f64 a1) (/.f64 b1 (/.f64 (sqrt.f64 a2) b2)))
  (/.f64 (sqrt.f64 a1) (/.f64 1 (/.f64 1 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 (sqrt.f64 a1) (/.f64 b1 (/.f64 a2 (cbrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 1 (/.f64 1 (sqrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 b1 (/.f64 a2 (sqrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 1 (/.f64 1 1)))
  (/.f64 (sqrt.f64 a1) (/.f64 b1 (/.f64 a2 b2)))
  (/.f64 (sqrt.f64 a1) (/.f64 1 1))
  (/.f64 (sqrt.f64 a1) (/.f64 b1 (/.f64 a2 b2)))
  (/.f64 (sqrt.f64 a1) (/.f64 1 a2))
  (/.f64 (sqrt.f64 a1) (/.f64 b1 (/.f64 1 b2)))
  (/.f64 (sqrt.f64 a1) 1)
  (/.f64 (sqrt.f64 a1) (/.f64 b1 (/.f64 a2 b2)))
  (/.f64 (sqrt.f64 a1) b1)
  (/.f64 (sqrt.f64 a1) (/.f64 1 (/.f64 a2 b2)))
  (/.f64 (sqrt.f64 a1) (/.f64 b1 a2))
  (/.f64 (sqrt.f64 a1) b2)
  (/.f64 1 (*.f64 (cbrt.f64 (/.f64 b1 (/.f64 a2 b2))) (cbrt.f64 (/.f64 b1 (/.f64 a2 b2)))))
  (/.f64 a1 (cbrt.f64 (/.f64 b1 (/.f64 a2 b2))))
  (/.f64 1 (sqrt.f64 (/.f64 b1 (/.f64 a2 b2))))
  (/.f64 a1 (sqrt.f64 (/.f64 b1 (/.f64 a2 b2))))
  (/.f64 1 (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (*.f64 (cbrt.f64 (/.f64 a2 b2)) (cbrt.f64 (/.f64 a2 b2)))))
  (/.f64 a1 (/.f64 (cbrt.f64 b1) (cbrt.f64 (/.f64 a2 b2))))
  (/.f64 1 (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (sqrt.f64 (/.f64 a2 b2))))
  (/.f64 a1 (/.f64 (cbrt.f64 b1) (sqrt.f64 (/.f64 a2 b2))))
  (/.f64 1 (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 a1 (/.f64 (cbrt.f64 b1) (/.f64 (cbrt.f64 a2) (cbrt.f64 b2))))
  (/.f64 1 (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (sqrt.f64 b2))))
  (/.f64 a1 (/.f64 (cbrt.f64 b1) (/.f64 (cbrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 1 (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) 1)))
  (/.f64 a1 (/.f64 (cbrt.f64 b1) (/.f64 (cbrt.f64 a2) b2)))
  (/.f64 1 (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (sqrt.f64 a2) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 a1 (/.f64 (cbrt.f64 b1) (/.f64 (sqrt.f64 a2) (cbrt.f64 b2))))
  (/.f64 1 (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (sqrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 a1 (/.f64 (cbrt.f64 b1) (/.f64 (sqrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 1 (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (sqrt.f64 a2) 1)))
  (/.f64 a1 (/.f64 (cbrt.f64 b1) (/.f64 (sqrt.f64 a2) b2)))
  (/.f64 1 (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 1 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 a1 (/.f64 (cbrt.f64 b1) (/.f64 a2 (cbrt.f64 b2))))
  (/.f64 1 (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 1 (sqrt.f64 b2))))
  (/.f64 a1 (/.f64 (cbrt.f64 b1) (/.f64 a2 (sqrt.f64 b2))))
  (/.f64 1 (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 1 1)))
  (/.f64 a1 (/.f64 (cbrt.f64 b1) (/.f64 a2 b2)))
  (/.f64 1 (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) 1))
  (/.f64 a1 (/.f64 (cbrt.f64 b1) (/.f64 a2 b2)))
  (/.f64 1 (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) a2))
  (/.f64 a1 (/.f64 (cbrt.f64 b1) (/.f64 1 b2)))
  (/.f64 1 (/.f64 (sqrt.f64 b1) (*.f64 (cbrt.f64 (/.f64 a2 b2)) (cbrt.f64 (/.f64 a2 b2)))))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (cbrt.f64 (/.f64 a2 b2))))
  (/.f64 1 (/.f64 (sqrt.f64 b1) (sqrt.f64 (/.f64 a2 b2))))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (sqrt.f64 (/.f64 a2 b2))))
  (/.f64 1 (/.f64 (sqrt.f64 b1) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (/.f64 (cbrt.f64 a2) (cbrt.f64 b2))))
  (/.f64 1 (/.f64 (sqrt.f64 b1) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (sqrt.f64 b2))))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (/.f64 (cbrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 1 (/.f64 (sqrt.f64 b1) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) 1)))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (/.f64 (cbrt.f64 a2) b2)))
  (/.f64 1 (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) (cbrt.f64 b2))))
  (/.f64 1 (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 1 (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) 1)))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) b2)))
  (/.f64 1 (/.f64 (sqrt.f64 b1) (/.f64 1 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (/.f64 a2 (cbrt.f64 b2))))
  (/.f64 1 (/.f64 (sqrt.f64 b1) (/.f64 1 (sqrt.f64 b2))))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (/.f64 a2 (sqrt.f64 b2))))
  (/.f64 1 (/.f64 (sqrt.f64 b1) (/.f64 1 1)))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (/.f64 a2 b2)))
  (/.f64 1 (/.f64 (sqrt.f64 b1) 1))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (/.f64 a2 b2)))
  (/.f64 1 (/.f64 (sqrt.f64 b1) a2))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (/.f64 1 b2)))
  (/.f64 1 (/.f64 1 (*.f64 (cbrt.f64 (/.f64 a2 b2)) (cbrt.f64 (/.f64 a2 b2)))))
  (/.f64 a1 (/.f64 b1 (cbrt.f64 (/.f64 a2 b2))))
  (/.f64 1 (/.f64 1 (sqrt.f64 (/.f64 a2 b2))))
  (/.f64 a1 (/.f64 b1 (sqrt.f64 (/.f64 a2 b2))))
  (/.f64 1 (/.f64 1 (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 a1 (/.f64 b1 (/.f64 (cbrt.f64 a2) (cbrt.f64 b2))))
  (/.f64 1 (/.f64 1 (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (sqrt.f64 b2))))
  (/.f64 a1 (/.f64 b1 (/.f64 (cbrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 1 (/.f64 1 (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) 1)))
  (/.f64 a1 (/.f64 b1 (/.f64 (cbrt.f64 a2) b2)))
  (/.f64 1 (/.f64 1 (/.f64 (sqrt.f64 a2) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 a1 (/.f64 b1 (/.f64 (sqrt.f64 a2) (cbrt.f64 b2))))
  (/.f64 1 (/.f64 1 (/.f64 (sqrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 a1 (/.f64 b1 (/.f64 (sqrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 1 (/.f64 1 (/.f64 (sqrt.f64 a2) 1)))
  (/.f64 a1 (/.f64 b1 (/.f64 (sqrt.f64 a2) b2)))
  (/.f64 1 (/.f64 1 (/.f64 1 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 a1 (/.f64 b1 (/.f64 a2 (cbrt.f64 b2))))
  (/.f64 1 (/.f64 1 (/.f64 1 (sqrt.f64 b2))))
  (/.f64 a1 (/.f64 b1 (/.f64 a2 (sqrt.f64 b2))))
  (/.f64 1 (/.f64 1 (/.f64 1 1)))
  (/.f64 a1 (/.f64 b1 (/.f64 a2 b2)))
  (/.f64 1 (/.f64 1 1))
  (/.f64 a1 (/.f64 b1 (/.f64 a2 b2)))
  (/.f64 1 (/.f64 1 a2))
  (/.f64 a1 (/.f64 b1 (/.f64 1 b2)))
  (/.f64 1 1)
  (/.f64 a1 (/.f64 b1 (/.f64 a2 b2)))
  (/.f64 1 b1)
  (/.f64 a1 (/.f64 1 (/.f64 a2 b2)))
  (/.f64 1 (/.f64 b1 a2))
  (/.f64 a1 b2)
  (/.f64 (/.f64 b1 (/.f64 a2 b2)) a1)
  (/.f64 1 (/.f64 b1 (/.f64 a2 b2)))
  (/.f64 a1 b1)
  (/.f64 (/.f64 b1 (/.f64 a2 b2)) (cbrt.f64 a1))
  (/.f64 (/.f64 b1 (/.f64 a2 b2)) (sqrt.f64 a1))
  (/.f64 (/.f64 b1 (/.f64 a2 b2)) a1)
  (/.f64 a1 (*.f64 (cbrt.f64 (/.f64 b1 (/.f64 a2 b2))) (cbrt.f64 (/.f64 b1 (/.f64 a2 b2)))))
  (/.f64 a1 (sqrt.f64 (/.f64 b1 (/.f64 a2 b2))))
  (/.f64 a1 (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (*.f64 (cbrt.f64 (/.f64 a2 b2)) (cbrt.f64 (/.f64 a2 b2)))))
  (/.f64 a1 (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (sqrt.f64 (/.f64 a2 b2))))
  (/.f64 a1 (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 a1 (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (sqrt.f64 b2))))
  (/.f64 a1 (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) 1)))
  (/.f64 a1 (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (sqrt.f64 a2) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 a1 (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (sqrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 a1 (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (sqrt.f64 a2) 1)))
  (/.f64 a1 (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 1 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 a1 (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 1 (sqrt.f64 b2))))
  (/.f64 a1 (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 1 1)))
  (/.f64 a1 (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) 1))
  (/.f64 a1 (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) a2))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (*.f64 (cbrt.f64 (/.f64 a2 b2)) (cbrt.f64 (/.f64 a2 b2)))))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (sqrt.f64 (/.f64 a2 b2))))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (sqrt.f64 b2))))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) 1)))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) 1)))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (/.f64 1 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (/.f64 1 (sqrt.f64 b2))))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (/.f64 1 1)))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) 1))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) a2))
  (/.f64 a1 (/.f64 1 (*.f64 (cbrt.f64 (/.f64 a2 b2)) (cbrt.f64 (/.f64 a2 b2)))))
  (/.f64 a1 (/.f64 1 (sqrt.f64 (/.f64 a2 b2))))
  (/.f64 a1 (/.f64 1 (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 a1 (/.f64 1 (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (sqrt.f64 b2))))
  (/.f64 a1 (/.f64 1 (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) 1)))
  (/.f64 a1 (/.f64 1 (/.f64 (sqrt.f64 a2) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 a1 (/.f64 1 (/.f64 (sqrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 a1 (/.f64 1 (/.f64 (sqrt.f64 a2) 1)))
  (/.f64 a1 (/.f64 1 (/.f64 1 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 a1 (/.f64 1 (/.f64 1 (sqrt.f64 b2))))
  (/.f64 a1 (/.f64 1 (/.f64 1 1)))
  (/.f64 a1 (/.f64 1 1))
  (/.f64 a1 (/.f64 1 a2))
  (/.f64 a1 1)
  (/.f64 a1 b1)
  (/.f64 a1 (/.f64 b1 a2))
  (-.f64 (log.f64 b1) (-.f64 (log.f64 a2) (log.f64 b2)))
  (-.f64 (log.f64 b1) (log.f64 (/.f64 a2 b2)))
  (exp.f64 (/.f64 b1 (/.f64 a2 b2)))
  (log.f64 (/.f64 b1 (/.f64 a2 b2)))
  (*.f64 (*.f64 (/.f64 b1 (/.f64 a2 b2)) (/.f64 b1 (/.f64 a2 b2))) (/.f64 b1 (/.f64 a2 b2)))
  (*.f64 (cbrt.f64 (/.f64 b1 (/.f64 a2 b2))) (cbrt.f64 (/.f64 b1 (/.f64 a2 b2))))
  (cbrt.f64 (/.f64 b1 (/.f64 a2 b2)))
  (/.f64 (*.f64 (*.f64 b1 b1) b1) (*.f64 (*.f64 (/.f64 a2 b2) (/.f64 a2 b2)) (/.f64 a2 b2)))
  (/.f64 (*.f64 (*.f64 b1 b1) b1) (/.f64 (*.f64 (*.f64 a2 a2) a2) (*.f64 (*.f64 b2 b2) b2)))
  (sqrt.f64 (/.f64 b1 (/.f64 a2 b2)))
  (sqrt.f64 (/.f64 b1 (/.f64 a2 b2)))
  (neg.f64 b1)
  (neg.f64 (/.f64 a2 b2))
  (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (*.f64 (cbrt.f64 (/.f64 a2 b2)) (cbrt.f64 (/.f64 a2 b2))))
  (/.f64 (cbrt.f64 b1) (cbrt.f64 (/.f64 a2 b2)))
  (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (sqrt.f64 (/.f64 a2 b2)))
  (/.f64 (cbrt.f64 b1) (sqrt.f64 (/.f64 a2 b2)))
  (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (/.f64 (cbrt.f64 b1) (/.f64 (cbrt.f64 a2) (cbrt.f64 b2)))
  (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (sqrt.f64 b2)))
  (/.f64 (cbrt.f64 b1) (/.f64 (cbrt.f64 a2) (sqrt.f64 b2)))
  (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) 1))
  (/.f64 (cbrt.f64 b1) (/.f64 (cbrt.f64 a2) b2))
  (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (sqrt.f64 a2) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (/.f64 (cbrt.f64 b1) (/.f64 (sqrt.f64 a2) (cbrt.f64 b2)))
  (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (sqrt.f64 a2) (sqrt.f64 b2)))
  (/.f64 (cbrt.f64 b1) (/.f64 (sqrt.f64 a2) (sqrt.f64 b2)))
  (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (sqrt.f64 a2) 1))
  (/.f64 (cbrt.f64 b1) (/.f64 (sqrt.f64 a2) b2))
  (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 1 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (/.f64 (cbrt.f64 b1) (/.f64 a2 (cbrt.f64 b2)))
  (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 1 (sqrt.f64 b2)))
  (/.f64 (cbrt.f64 b1) (/.f64 a2 (sqrt.f64 b2)))
  (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 1 1))
  (/.f64 (cbrt.f64 b1) (/.f64 a2 b2))
  (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) 1)
  (/.f64 (cbrt.f64 b1) (/.f64 a2 b2))
  (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) a2)
  (/.f64 (cbrt.f64 b1) (/.f64 1 b2))
  (/.f64 (sqrt.f64 b1) (*.f64 (cbrt.f64 (/.f64 a2 b2)) (cbrt.f64 (/.f64 a2 b2))))
  (/.f64 (sqrt.f64 b1) (cbrt.f64 (/.f64 a2 b2)))
  (/.f64 (sqrt.f64 b1) (sqrt.f64 (/.f64 a2 b2)))
  (/.f64 (sqrt.f64 b1) (sqrt.f64 (/.f64 a2 b2)))
  (/.f64 (sqrt.f64 b1) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (/.f64 (sqrt.f64 b1) (/.f64 (cbrt.f64 a2) (cbrt.f64 b2)))
  (/.f64 (sqrt.f64 b1) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (sqrt.f64 b2)))
  (/.f64 (sqrt.f64 b1) (/.f64 (cbrt.f64 a2) (sqrt.f64 b2)))
  (/.f64 (sqrt.f64 b1) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) 1))
  (/.f64 (sqrt.f64 b1) (/.f64 (cbrt.f64 a2) b2))
  (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) (cbrt.f64 b2)))
  (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) (sqrt.f64 b2)))
  (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) (sqrt.f64 b2)))
  (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) 1))
  (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) b2))
  (/.f64 (sqrt.f64 b1) (/.f64 1 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (/.f64 (sqrt.f64 b1) (/.f64 a2 (cbrt.f64 b2)))
  (/.f64 (sqrt.f64 b1) (/.f64 1 (sqrt.f64 b2)))
  (/.f64 (sqrt.f64 b1) (/.f64 a2 (sqrt.f64 b2)))
  (/.f64 (sqrt.f64 b1) (/.f64 1 1))
  (/.f64 (sqrt.f64 b1) (/.f64 a2 b2))
  (/.f64 (sqrt.f64 b1) 1)
  (/.f64 (sqrt.f64 b1) (/.f64 a2 b2))
  (/.f64 (sqrt.f64 b1) a2)
  (/.f64 (sqrt.f64 b1) (/.f64 1 b2))
  (/.f64 1 (*.f64 (cbrt.f64 (/.f64 a2 b2)) (cbrt.f64 (/.f64 a2 b2))))
  (/.f64 b1 (cbrt.f64 (/.f64 a2 b2)))
  (/.f64 1 (sqrt.f64 (/.f64 a2 b2)))
  (/.f64 b1 (sqrt.f64 (/.f64 a2 b2)))
  (/.f64 1 (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (/.f64 b1 (/.f64 (cbrt.f64 a2) (cbrt.f64 b2)))
  (/.f64 1 (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (sqrt.f64 b2)))
  (/.f64 b1 (/.f64 (cbrt.f64 a2) (sqrt.f64 b2)))
  (/.f64 1 (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) 1))
  (/.f64 b1 (/.f64 (cbrt.f64 a2) b2))
  (/.f64 1 (/.f64 (sqrt.f64 a2) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (/.f64 b1 (/.f64 (sqrt.f64 a2) (cbrt.f64 b2)))
  (/.f64 1 (/.f64 (sqrt.f64 a2) (sqrt.f64 b2)))
  (/.f64 b1 (/.f64 (sqrt.f64 a2) (sqrt.f64 b2)))
  (/.f64 1 (/.f64 (sqrt.f64 a2) 1))
  (/.f64 b1 (/.f64 (sqrt.f64 a2) b2))
  (/.f64 1 (/.f64 1 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (/.f64 b1 (/.f64 a2 (cbrt.f64 b2)))
  (/.f64 1 (/.f64 1 (sqrt.f64 b2)))
  (/.f64 b1 (/.f64 a2 (sqrt.f64 b2)))
  (/.f64 1 (/.f64 1 1))
  (/.f64 b1 (/.f64 a2 b2))
  (/.f64 1 1)
  (/.f64 b1 (/.f64 a2 b2))
  (/.f64 1 a2)
  (/.f64 b1 (/.f64 1 b2))
  (/.f64 (/.f64 a2 b2) b1)
  (/.f64 1 (/.f64 a2 b2))
  (/.f64 b1 a2)
  (/.f64 (/.f64 a2 b2) (cbrt.f64 b1))
  (/.f64 (/.f64 a2 b2) (sqrt.f64 b1))
  (/.f64 (/.f64 a2 b2) b1)
  (/.f64 b1 (*.f64 (cbrt.f64 (/.f64 a2 b2)) (cbrt.f64 (/.f64 a2 b2))))
  (/.f64 b1 (sqrt.f64 (/.f64 a2 b2)))
  (/.f64 b1 (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (/.f64 b1 (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (sqrt.f64 b2)))
  (/.f64 b1 (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) 1))
  (/.f64 b1 (/.f64 (sqrt.f64 a2) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (/.f64 b1 (/.f64 (sqrt.f64 a2) (sqrt.f64 b2)))
  (/.f64 b1 (/.f64 (sqrt.f64 a2) 1))
  (/.f64 b1 (/.f64 1 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (/.f64 b1 (/.f64 1 (sqrt.f64 b2)))
  (/.f64 b1 (/.f64 1 1))
  (/.f64 b1 1)
  (/.f64 b1 a2)
  (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
  (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
  (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
  (/.f64 (*.f64 b1 b2) a2)
  (/.f64 (*.f64 b1 b2) a2)
  (/.f64 (*.f64 b1 b2) a2)
0.976 * * [simplify]: iteration  0 :  4976  enodes  (cost  6175 )
0.978 * * [simplify]: iteration  1 :  4976  enodes  (cost  6175 )
1.007 * [simplify]: Simplified to:
   (log.f64 (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))
  (log.f64 (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))
  (log.f64 (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))
  (exp.f64 (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))
  (log.f64 (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))
  (pow.f64 (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))) 3)
  (*.f64 (cbrt.f64 (/.f64 a1 (/.f64 b1 (/.f64 a2 b2)))) (cbrt.f64 (/.f64 a1 (/.f64 b1 (/.f64 a2 b2)))))
  (cbrt.f64 (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))
  (pow.f64 (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))) 3)
  (pow.f64 (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))) 3)
  (pow.f64 (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))) 3)
  (sqrt.f64 (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))
  (sqrt.f64 (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))
  (neg.f64 a1)
  (neg.f64 (/.f64 b1 (/.f64 a2 b2)))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 (/.f64 b1 (/.f64 a2 b2))) (cbrt.f64 (/.f64 b1 (/.f64 a2 b2)))))
  (/.f64 (cbrt.f64 a1) (cbrt.f64 (/.f64 b1 (/.f64 a2 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (sqrt.f64 (/.f64 b1 (/.f64 a2 b2))))
  (/.f64 (cbrt.f64 a1) (sqrt.f64 (/.f64 b1 (/.f64 a2 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (*.f64 (cbrt.f64 (/.f64 a2 b2)) (cbrt.f64 (/.f64 a2 b2)))))
  (/.f64 (cbrt.f64 a1) (/.f64 (cbrt.f64 b1) (cbrt.f64 (/.f64 a2 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (sqrt.f64 (/.f64 a2 b2))))
  (/.f64 (cbrt.f64 a1) (/.f64 (cbrt.f64 b1) (sqrt.f64 (/.f64 a2 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 (cbrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 (cbrt.f64 a2) (cbrt.f64 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (sqrt.f64 b2))))
  (/.f64 (cbrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 (cbrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (*.f64 (cbrt.f64 a2) (cbrt.f64 a2))))
  (/.f64 (cbrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 (cbrt.f64 a2) b2)))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (sqrt.f64 a2) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 (cbrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 (sqrt.f64 a2) (cbrt.f64 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (sqrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 (cbrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 (sqrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (sqrt.f64 a2)))
  (/.f64 (cbrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 (sqrt.f64 a2) b2)))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (/.f64 (cbrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 a2 (cbrt.f64 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (sqrt.f64 b2)))
  (/.f64 (cbrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 a2 (sqrt.f64 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))
  (/.f64 (cbrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 a2 b2)))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))
  (/.f64 (cbrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 a2 b2)))
  (*.f64 a2 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))))
  (/.f64 (cbrt.f64 a1) (*.f64 b2 (cbrt.f64 b1)))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (sqrt.f64 b1) (*.f64 (cbrt.f64 (/.f64 a2 b2)) (cbrt.f64 (/.f64 a2 b2)))))
  (/.f64 (cbrt.f64 a1) (/.f64 (sqrt.f64 b1) (cbrt.f64 (/.f64 a2 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (sqrt.f64 b1) (sqrt.f64 (/.f64 a2 b2))))
  (/.f64 (cbrt.f64 a1) (/.f64 (sqrt.f64 b1) (sqrt.f64 (/.f64 a2 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (sqrt.f64 b1) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 (cbrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 (cbrt.f64 a2) (cbrt.f64 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (sqrt.f64 b1) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (sqrt.f64 b2))))
  (/.f64 (cbrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 (cbrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (sqrt.f64 b1) (*.f64 (cbrt.f64 a2) (cbrt.f64 a2))))
  (/.f64 (cbrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 (cbrt.f64 a2) b2)))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 (cbrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) (cbrt.f64 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 (cbrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (sqrt.f64 b1) (sqrt.f64 a2)))
  (/.f64 (cbrt.f64 a1) (*.f64 b2 (/.f64 (sqrt.f64 b1) (sqrt.f64 a2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)) (sqrt.f64 b1)))
  (/.f64 (cbrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 a2 (cbrt.f64 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (sqrt.f64 b2) (sqrt.f64 b1)))
  (/.f64 (cbrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 a2 (sqrt.f64 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (sqrt.f64 b1))
  (/.f64 (cbrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 a2 b2)))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (sqrt.f64 b1))
  (/.f64 (cbrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 a2 b2)))
  (*.f64 a2 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (sqrt.f64 b1)))
  (/.f64 (cbrt.f64 a1) (*.f64 b2 (sqrt.f64 b1)))
  (*.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 (/.f64 a2 b2)) (cbrt.f64 (/.f64 a2 b2))))
  (/.f64 (cbrt.f64 a1) (/.f64 b1 (cbrt.f64 (/.f64 a2 b2))))
  (*.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (sqrt.f64 (/.f64 a2 b2)))
  (/.f64 (cbrt.f64 a1) (/.f64 b1 (sqrt.f64 (/.f64 a2 b2))))
  (*.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (/.f64 (cbrt.f64 a1) (/.f64 b1 (/.f64 (cbrt.f64 a2) (cbrt.f64 b2))))
  (*.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (sqrt.f64 b2)))
  (/.f64 (cbrt.f64 a1) (/.f64 b1 (/.f64 (cbrt.f64 a2) (sqrt.f64 b2))))
  (*.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)))
  (/.f64 (cbrt.f64 a1) (/.f64 b1 (/.f64 (cbrt.f64 a2) b2)))
  (*.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (sqrt.f64 a2) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (/.f64 (cbrt.f64 a1) (/.f64 b1 (/.f64 (sqrt.f64 a2) (cbrt.f64 b2))))
  (*.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (/.f64 (sqrt.f64 a2) (sqrt.f64 b2)))
  (/.f64 (cbrt.f64 a1) (*.f64 b1 (/.f64 (sqrt.f64 b2) (sqrt.f64 a2))))
  (*.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (sqrt.f64 a2))
  (/.f64 (cbrt.f64 a1) (/.f64 b1 (/.f64 (sqrt.f64 a2) b2)))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 (cbrt.f64 a1) (/.f64 b1 (/.f64 a2 (cbrt.f64 b2))))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (sqrt.f64 b2))
  (/.f64 (cbrt.f64 a1) (/.f64 b1 (/.f64 a2 (sqrt.f64 b2))))
  (*.f64 (cbrt.f64 a1) (cbrt.f64 a1))
  (/.f64 (cbrt.f64 a1) (/.f64 b1 (/.f64 a2 b2)))
  (*.f64 (cbrt.f64 a1) (cbrt.f64 a1))
  (/.f64 (cbrt.f64 a1) (/.f64 b1 (/.f64 a2 b2)))
  (*.f64 a2 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)))
  (/.f64 (cbrt.f64 a1) (*.f64 b1 b2))
  (*.f64 (cbrt.f64 a1) (cbrt.f64 a1))
  (/.f64 (cbrt.f64 a1) (/.f64 b1 (/.f64 a2 b2)))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) b1)
  (*.f64 (/.f64 a2 b2) (cbrt.f64 a1))
  (*.f64 a2 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) b1))
  (/.f64 (cbrt.f64 a1) b2)
  (/.f64 (sqrt.f64 a1) (*.f64 (cbrt.f64 (/.f64 b1 (/.f64 a2 b2))) (cbrt.f64 (/.f64 b1 (/.f64 a2 b2)))))
  (/.f64 (sqrt.f64 a1) (cbrt.f64 (/.f64 b1 (/.f64 a2 b2))))
  (/.f64 (sqrt.f64 a1) (sqrt.f64 (/.f64 b1 (/.f64 a2 b2))))
  (/.f64 (sqrt.f64 a1) (sqrt.f64 (/.f64 b1 (/.f64 a2 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (*.f64 (cbrt.f64 (/.f64 a2 b2)) (cbrt.f64 (/.f64 a2 b2)))))
  (/.f64 (sqrt.f64 a1) (/.f64 (cbrt.f64 b1) (cbrt.f64 (/.f64 a2 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (sqrt.f64 (/.f64 a2 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (cbrt.f64 b1) (sqrt.f64 (/.f64 a2 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 (sqrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 (cbrt.f64 a2) (cbrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (sqrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 (cbrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (*.f64 (cbrt.f64 a2) (cbrt.f64 a2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 (cbrt.f64 a2) b2)))
  (/.f64 (sqrt.f64 a1) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (sqrt.f64 a2) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 (sqrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 (sqrt.f64 a2) (cbrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (sqrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 (sqrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (sqrt.f64 a2)))
  (/.f64 (sqrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 (sqrt.f64 a2) b2)))
  (/.f64 (sqrt.f64 a1) (*.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 a2 (cbrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (*.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (sqrt.f64 b2)))
  (/.f64 (sqrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 a2 (sqrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))
  (/.f64 (sqrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 a2 b2)))
  (/.f64 (sqrt.f64 a1) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))
  (/.f64 (sqrt.f64 a1) (/.f64 (cbrt.f64 b1) (/.f64 a2 b2)))
  (*.f64 a2 (/.f64 (sqrt.f64 a1) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))))
  (/.f64 (sqrt.f64 a1) (*.f64 b2 (cbrt.f64 b1)))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (*.f64 (cbrt.f64 (/.f64 a2 b2)) (cbrt.f64 (/.f64 a2 b2)))))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (cbrt.f64 (/.f64 a2 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (sqrt.f64 (/.f64 a2 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (sqrt.f64 (/.f64 a2 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 (cbrt.f64 a2) (cbrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (sqrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 (cbrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (*.f64 (cbrt.f64 a2) (cbrt.f64 a2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 (cbrt.f64 a2) b2)))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) (cbrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (sqrt.f64 a2)))
  (/.f64 (sqrt.f64 a1) (*.f64 b2 (/.f64 (sqrt.f64 b1) (sqrt.f64 a2))))
  (/.f64 (sqrt.f64 a1) (*.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)) (sqrt.f64 b1)))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 a2 (cbrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (*.f64 (sqrt.f64 b2) (sqrt.f64 b1)))
  (/.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 b1) (/.f64 a2 (sqrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (sqrt.f64 b1))
  (*.f64 (/.f64 a2 b2) (/.f64 (sqrt.f64 a1) (sqrt.f64 b1)))
  (/.f64 (sqrt.f64 a1) (sqrt.f64 b1))
  (*.f64 (/.f64 a2 b2) (/.f64 (sqrt.f64 a1) (sqrt.f64 b1)))
  (*.f64 a2 (/.f64 (sqrt.f64 a1) (sqrt.f64 b1)))
  (/.f64 (sqrt.f64 a1) (*.f64 b2 (sqrt.f64 b1)))
  (*.f64 (*.f64 (cbrt.f64 (/.f64 a2 b2)) (cbrt.f64 (/.f64 a2 b2))) (sqrt.f64 a1))
  (/.f64 (sqrt.f64 a1) (/.f64 b1 (cbrt.f64 (/.f64 a2 b2))))
  (*.f64 (sqrt.f64 (/.f64 a2 b2)) (sqrt.f64 a1))
  (/.f64 (sqrt.f64 a1) (/.f64 b1 (sqrt.f64 (/.f64 a2 b2))))
  (*.f64 (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))) (sqrt.f64 a1))
  (/.f64 (sqrt.f64 a1) (/.f64 b1 (/.f64 (cbrt.f64 a2) (cbrt.f64 b2))))
  (*.f64 (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (sqrt.f64 b2)) (sqrt.f64 a1))
  (/.f64 (sqrt.f64 a1) (/.f64 b1 (/.f64 (cbrt.f64 a2) (sqrt.f64 b2))))
  (*.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (sqrt.f64 a1))
  (/.f64 (sqrt.f64 a1) (/.f64 b1 (/.f64 (cbrt.f64 a2) b2)))
  (*.f64 (/.f64 (sqrt.f64 a2) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))) (sqrt.f64 a1))
  (/.f64 (sqrt.f64 a1) (/.f64 b1 (/.f64 (sqrt.f64 a2) (cbrt.f64 b2))))
  (*.f64 (/.f64 (sqrt.f64 a2) (sqrt.f64 b2)) (sqrt.f64 a1))
  (/.f64 (sqrt.f64 a1) (*.f64 b1 (/.f64 (sqrt.f64 b2) (sqrt.f64 a2))))
  (*.f64 (sqrt.f64 a2) (sqrt.f64 a1))
  (/.f64 (sqrt.f64 a1) (/.f64 b1 (/.f64 (sqrt.f64 a2) b2)))
  (/.f64 (sqrt.f64 a1) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 (sqrt.f64 a1) (/.f64 b1 (/.f64 a2 (cbrt.f64 b2))))
  (/.f64 (sqrt.f64 a1) (sqrt.f64 b2))
  (/.f64 (sqrt.f64 a1) (/.f64 b1 (/.f64 a2 (sqrt.f64 b2))))
  (sqrt.f64 a1)
  (/.f64 (sqrt.f64 a1) (/.f64 b1 (/.f64 a2 b2)))
  (sqrt.f64 a1)
  (/.f64 (sqrt.f64 a1) (/.f64 b1 (/.f64 a2 b2)))
  (*.f64 a2 (sqrt.f64 a1))
  (/.f64 (sqrt.f64 a1) (*.f64 b1 b2))
  (sqrt.f64 a1)
  (/.f64 (sqrt.f64 a1) (/.f64 b1 (/.f64 a2 b2)))
  (/.f64 (sqrt.f64 a1) b1)
  (*.f64 (/.f64 a2 b2) (sqrt.f64 a1))
  (*.f64 a2 (/.f64 (sqrt.f64 a1) b1))
  (/.f64 (sqrt.f64 a1) b2)
  (/.f64 1 (*.f64 (cbrt.f64 (/.f64 b1 (/.f64 a2 b2))) (cbrt.f64 (/.f64 b1 (/.f64 a2 b2)))))
  (/.f64 a1 (cbrt.f64 (/.f64 b1 (/.f64 a2 b2))))
  (/.f64 1 (sqrt.f64 (/.f64 b1 (/.f64 a2 b2))))
  (/.f64 a1 (sqrt.f64 (/.f64 b1 (/.f64 a2 b2))))
  (/.f64 (*.f64 (cbrt.f64 (/.f64 a2 b2)) (cbrt.f64 (/.f64 a2 b2))) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))
  (/.f64 a1 (/.f64 (cbrt.f64 b1) (cbrt.f64 (/.f64 a2 b2))))
  (/.f64 (sqrt.f64 (/.f64 a2 b2)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))
  (/.f64 a1 (/.f64 (cbrt.f64 b1) (sqrt.f64 (/.f64 a2 b2))))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))
  (/.f64 a1 (/.f64 (cbrt.f64 b1) (/.f64 (cbrt.f64 a2) (cbrt.f64 b2))))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (sqrt.f64 b2)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))
  (/.f64 a1 (/.f64 (cbrt.f64 b1) (/.f64 (cbrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))
  (/.f64 a1 (/.f64 (cbrt.f64 b1) (/.f64 (cbrt.f64 a2) b2)))
  (/.f64 (/.f64 (sqrt.f64 a2) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))
  (/.f64 a1 (/.f64 (cbrt.f64 b1) (/.f64 (sqrt.f64 a2) (cbrt.f64 b2))))
  (/.f64 (/.f64 (sqrt.f64 a2) (sqrt.f64 b2)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))
  (/.f64 a1 (/.f64 (cbrt.f64 b1) (/.f64 (sqrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 (sqrt.f64 a2) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))
  (/.f64 a1 (/.f64 (cbrt.f64 b1) (/.f64 (sqrt.f64 a2) b2)))
  (/.f64 1 (*.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (/.f64 a1 (/.f64 (cbrt.f64 b1) (/.f64 a2 (cbrt.f64 b2))))
  (/.f64 1 (*.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (sqrt.f64 b2)))
  (/.f64 a1 (/.f64 (cbrt.f64 b1) (/.f64 a2 (sqrt.f64 b2))))
  (/.f64 1 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))
  (/.f64 a1 (/.f64 (cbrt.f64 b1) (/.f64 a2 b2)))
  (/.f64 1 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))
  (/.f64 a1 (/.f64 (cbrt.f64 b1) (/.f64 a2 b2)))
  (/.f64 a2 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))
  (/.f64 a1 (*.f64 b2 (cbrt.f64 b1)))
  (/.f64 (*.f64 (cbrt.f64 (/.f64 a2 b2)) (cbrt.f64 (/.f64 a2 b2))) (sqrt.f64 b1))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (cbrt.f64 (/.f64 a2 b2))))
  (/.f64 (sqrt.f64 (/.f64 a2 b2)) (sqrt.f64 b1))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (sqrt.f64 (/.f64 a2 b2))))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))) (sqrt.f64 b1))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (/.f64 (cbrt.f64 a2) (cbrt.f64 b2))))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (sqrt.f64 b2)) (sqrt.f64 b1))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (/.f64 (cbrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (sqrt.f64 b1))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (/.f64 (cbrt.f64 a2) b2)))
  (/.f64 (/.f64 (sqrt.f64 a2) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))) (sqrt.f64 b1))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) (cbrt.f64 b2))))
  (/.f64 (/.f64 (sqrt.f64 a2) (sqrt.f64 b2)) (sqrt.f64 b1))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 (sqrt.f64 a2) (sqrt.f64 b1))
  (/.f64 a1 (*.f64 b2 (/.f64 (sqrt.f64 b1) (sqrt.f64 a2))))
  (/.f64 1 (*.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)) (sqrt.f64 b1)))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (/.f64 a2 (cbrt.f64 b2))))
  (/.f64 1 (*.f64 (sqrt.f64 b2) (sqrt.f64 b1)))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (/.f64 a2 (sqrt.f64 b2))))
  (/.f64 1 (sqrt.f64 b1))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (/.f64 a2 b2)))
  (/.f64 1 (sqrt.f64 b1))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (/.f64 a2 b2)))
  (/.f64 a2 (sqrt.f64 b1))
  (/.f64 a1 (*.f64 b2 (sqrt.f64 b1)))
  (*.f64 (cbrt.f64 (/.f64 a2 b2)) (cbrt.f64 (/.f64 a2 b2)))
  (/.f64 a1 (/.f64 b1 (cbrt.f64 (/.f64 a2 b2))))
  (sqrt.f64 (/.f64 a2 b2))
  (/.f64 a1 (/.f64 b1 (sqrt.f64 (/.f64 a2 b2))))
  (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 a1 (/.f64 b1 (/.f64 (cbrt.f64 a2) (cbrt.f64 b2))))
  (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (sqrt.f64 b2))
  (/.f64 a1 (/.f64 b1 (/.f64 (cbrt.f64 a2) (sqrt.f64 b2))))
  (*.f64 (cbrt.f64 a2) (cbrt.f64 a2))
  (/.f64 a1 (/.f64 b1 (/.f64 (cbrt.f64 a2) b2)))
  (/.f64 (sqrt.f64 a2) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 a1 (/.f64 b1 (/.f64 (sqrt.f64 a2) (cbrt.f64 b2))))
  (/.f64 (sqrt.f64 a2) (sqrt.f64 b2))
  (/.f64 a1 (*.f64 b1 (/.f64 (sqrt.f64 b2) (sqrt.f64 a2))))
  (sqrt.f64 a2)
  (/.f64 a1 (/.f64 b1 (/.f64 (sqrt.f64 a2) b2)))
  (/.f64 1 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 a1 (/.f64 b1 (/.f64 a2 (cbrt.f64 b2))))
  (/.f64 1 (sqrt.f64 b2))
  (/.f64 a1 (/.f64 b1 (/.f64 a2 (sqrt.f64 b2))))
  1
  (/.f64 a1 (/.f64 b1 (/.f64 a2 b2)))
  1
  (/.f64 a1 (/.f64 b1 (/.f64 a2 b2)))
  a2
  (/.f64 a1 (*.f64 b1 b2))
  1
  (/.f64 a1 (/.f64 b1 (/.f64 a2 b2)))
  (/.f64 1 b1)
  (*.f64 a1 (/.f64 a2 b2))
  (/.f64 a2 b1)
  (/.f64 a1 b2)
  (/.f64 b1 (*.f64 a1 (/.f64 a2 b2)))
  (/.f64 a2 (*.f64 b1 b2))
  (/.f64 a1 b1)
  (/.f64 b1 (*.f64 (/.f64 a2 b2) (cbrt.f64 a1)))
  (/.f64 b1 (*.f64 (/.f64 a2 b2) (sqrt.f64 a1)))
  (/.f64 b1 (*.f64 a1 (/.f64 a2 b2)))
  (/.f64 a1 (*.f64 (cbrt.f64 (/.f64 b1 (/.f64 a2 b2))) (cbrt.f64 (/.f64 b1 (/.f64 a2 b2)))))
  (/.f64 a1 (sqrt.f64 (/.f64 b1 (/.f64 a2 b2))))
  (/.f64 a1 (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (*.f64 (cbrt.f64 (/.f64 a2 b2)) (cbrt.f64 (/.f64 a2 b2)))))
  (/.f64 a1 (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (sqrt.f64 (/.f64 a2 b2))))
  (/.f64 a1 (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 a1 (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (sqrt.f64 b2))))
  (/.f64 a1 (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (*.f64 (cbrt.f64 a2) (cbrt.f64 a2))))
  (/.f64 a1 (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (sqrt.f64 a2) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 a1 (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (sqrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 a1 (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (sqrt.f64 a2)))
  (/.f64 a1 (*.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (/.f64 a1 (*.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (sqrt.f64 b2)))
  (/.f64 a1 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))
  (/.f64 a1 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))
  (*.f64 a2 (/.f64 a1 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))))
  (*.f64 (/.f64 a1 (/.f64 (sqrt.f64 b1) (cbrt.f64 (/.f64 a2 b2)))) (cbrt.f64 (/.f64 a2 b2)))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (sqrt.f64 (/.f64 a2 b2))))
  (*.f64 (/.f64 a1 (/.f64 (sqrt.f64 b1) (/.f64 (cbrt.f64 a2) (cbrt.f64 b2)))) (/.f64 (cbrt.f64 a2) (cbrt.f64 b2)))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (sqrt.f64 b2))))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (*.f64 (cbrt.f64 a2) (cbrt.f64 a2))))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) (sqrt.f64 b2))))
  (/.f64 a1 (/.f64 (sqrt.f64 b1) (sqrt.f64 a2)))
  (/.f64 a1 (*.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)) (sqrt.f64 b1)))
  (/.f64 a1 (*.f64 (sqrt.f64 b2) (sqrt.f64 b1)))
  (/.f64 a1 (sqrt.f64 b1))
  (/.f64 a1 (sqrt.f64 b1))
  (*.f64 a2 (/.f64 a1 (sqrt.f64 b1)))
  (*.f64 a1 (*.f64 (cbrt.f64 (/.f64 a2 b2)) (cbrt.f64 (/.f64 a2 b2))))
  (*.f64 a1 (sqrt.f64 (/.f64 a2 b2)))
  (*.f64 a1 (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 a1 (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (sqrt.f64 b2)))
  (*.f64 a1 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)))
  (*.f64 a1 (/.f64 (sqrt.f64 a2) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 a1 (/.f64 (sqrt.f64 a2) (sqrt.f64 b2)))
  (*.f64 a1 (sqrt.f64 a2))
  (/.f64 a1 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 a1 (sqrt.f64 b2))
  a1
  a1
  (*.f64 a1 a2)
  a1
  (/.f64 a1 b1)
  (*.f64 a2 (/.f64 a1 b1))
  (log.f64 (/.f64 b1 (/.f64 a2 b2)))
  (log.f64 (/.f64 b1 (/.f64 a2 b2)))
  (exp.f64 (/.f64 b1 (/.f64 a2 b2)))
  (log.f64 (/.f64 b1 (/.f64 a2 b2)))
  (pow.f64 (/.f64 b1 (/.f64 a2 b2)) 3)
  (*.f64 (cbrt.f64 (/.f64 b1 (/.f64 a2 b2))) (cbrt.f64 (/.f64 b1 (/.f64 a2 b2))))
  (cbrt.f64 (/.f64 b1 (/.f64 a2 b2)))
  (pow.f64 (/.f64 b1 (/.f64 a2 b2)) 3)
  (pow.f64 (/.f64 b1 (/.f64 a2 b2)) 3)
  (sqrt.f64 (/.f64 b1 (/.f64 a2 b2)))
  (sqrt.f64 (/.f64 b1 (/.f64 a2 b2)))
  (neg.f64 b1)
  (neg.f64 (/.f64 a2 b2))
  (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (*.f64 (cbrt.f64 (/.f64 a2 b2)) (cbrt.f64 (/.f64 a2 b2))))
  (/.f64 (cbrt.f64 b1) (cbrt.f64 (/.f64 a2 b2)))
  (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (sqrt.f64 (/.f64 a2 b2)))
  (/.f64 (cbrt.f64 b1) (sqrt.f64 (/.f64 a2 b2)))
  (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (/.f64 (cbrt.f64 b1) (/.f64 (cbrt.f64 a2) (cbrt.f64 b2)))
  (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (sqrt.f64 b2)))
  (/.f64 (cbrt.f64 b1) (/.f64 (cbrt.f64 a2) (sqrt.f64 b2)))
  (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)))
  (/.f64 (cbrt.f64 b1) (/.f64 (cbrt.f64 a2) b2))
  (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (sqrt.f64 a2) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (/.f64 (cbrt.f64 b1) (/.f64 (sqrt.f64 a2) (cbrt.f64 b2)))
  (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (/.f64 (sqrt.f64 a2) (sqrt.f64 b2)))
  (/.f64 (cbrt.f64 b1) (/.f64 (sqrt.f64 a2) (sqrt.f64 b2)))
  (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (sqrt.f64 a2))
  (/.f64 (cbrt.f64 b1) (/.f64 (sqrt.f64 a2) b2))
  (*.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 (cbrt.f64 b1) (/.f64 a2 (cbrt.f64 b2)))
  (*.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (sqrt.f64 b2))
  (/.f64 (cbrt.f64 b1) (/.f64 a2 (sqrt.f64 b2)))
  (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))
  (/.f64 (cbrt.f64 b1) (/.f64 a2 b2))
  (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))
  (/.f64 (cbrt.f64 b1) (/.f64 a2 b2))
  (/.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) a2)
  (*.f64 b2 (cbrt.f64 b1))
  (/.f64 (sqrt.f64 b1) (*.f64 (cbrt.f64 (/.f64 a2 b2)) (cbrt.f64 (/.f64 a2 b2))))
  (/.f64 (sqrt.f64 b1) (cbrt.f64 (/.f64 a2 b2)))
  (/.f64 (sqrt.f64 b1) (sqrt.f64 (/.f64 a2 b2)))
  (/.f64 (sqrt.f64 b1) (sqrt.f64 (/.f64 a2 b2)))
  (/.f64 (sqrt.f64 b1) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (/.f64 (sqrt.f64 b1) (/.f64 (cbrt.f64 a2) (cbrt.f64 b2)))
  (/.f64 (sqrt.f64 b1) (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (sqrt.f64 b2)))
  (/.f64 (sqrt.f64 b1) (/.f64 (cbrt.f64 a2) (sqrt.f64 b2)))
  (/.f64 (sqrt.f64 b1) (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)))
  (/.f64 (sqrt.f64 b1) (/.f64 (cbrt.f64 a2) b2))
  (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) (cbrt.f64 b2)))
  (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) (sqrt.f64 b2)))
  (/.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 a2) (sqrt.f64 b2)))
  (/.f64 (sqrt.f64 b1) (sqrt.f64 a2))
  (*.f64 b2 (/.f64 (sqrt.f64 b1) (sqrt.f64 a2)))
  (*.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)) (sqrt.f64 b1))
  (/.f64 (sqrt.f64 b1) (/.f64 a2 (cbrt.f64 b2)))
  (*.f64 (sqrt.f64 b2) (sqrt.f64 b1))
  (/.f64 (sqrt.f64 b1) (/.f64 a2 (sqrt.f64 b2)))
  (sqrt.f64 b1)
  (/.f64 (sqrt.f64 b1) (/.f64 a2 b2))
  (sqrt.f64 b1)
  (/.f64 (sqrt.f64 b1) (/.f64 a2 b2))
  (/.f64 (sqrt.f64 b1) a2)
  (*.f64 b2 (sqrt.f64 b1))
  (/.f64 1 (*.f64 (cbrt.f64 (/.f64 a2 b2)) (cbrt.f64 (/.f64 a2 b2))))
  (/.f64 b1 (cbrt.f64 (/.f64 a2 b2)))
  (/.f64 1 (sqrt.f64 (/.f64 a2 b2)))
  (/.f64 b1 (sqrt.f64 (/.f64 a2 b2)))
  (/.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)) (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)))
  (/.f64 b1 (/.f64 (cbrt.f64 a2) (cbrt.f64 b2)))
  (/.f64 (sqrt.f64 b2) (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)))
  (/.f64 b1 (/.f64 (cbrt.f64 a2) (sqrt.f64 b2)))
  (/.f64 1 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)))
  (/.f64 b1 (/.f64 (cbrt.f64 a2) b2))
  (/.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)) (sqrt.f64 a2))
  (/.f64 b1 (/.f64 (sqrt.f64 a2) (cbrt.f64 b2)))
  (/.f64 (sqrt.f64 b2) (sqrt.f64 a2))
  (*.f64 b1 (/.f64 (sqrt.f64 b2) (sqrt.f64 a2)))
  (/.f64 1 (sqrt.f64 a2))
  (/.f64 b1 (/.f64 (sqrt.f64 a2) b2))
  (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))
  (/.f64 b1 (/.f64 a2 (cbrt.f64 b2)))
  (sqrt.f64 b2)
  (/.f64 b1 (/.f64 a2 (sqrt.f64 b2)))
  1
  (/.f64 b1 (/.f64 a2 b2))
  1
  (/.f64 b1 (/.f64 a2 b2))
  (/.f64 1 a2)
  (*.f64 b1 b2)
  (/.f64 a2 (*.f64 b1 b2))
  (/.f64 b2 a2)
  (/.f64 b1 a2)
  (/.f64 a2 (*.f64 b2 (cbrt.f64 b1)))
  (/.f64 a2 (*.f64 b2 (sqrt.f64 b1)))
  (/.f64 a2 (*.f64 b1 b2))
  (/.f64 b1 (*.f64 (cbrt.f64 (/.f64 a2 b2)) (cbrt.f64 (/.f64 a2 b2))))
  (/.f64 b1 (sqrt.f64 (/.f64 a2 b2)))
  (*.f64 b1 (/.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)) (*.f64 (cbrt.f64 a2) (cbrt.f64 a2))))
  (*.f64 b1 (/.f64 (sqrt.f64 b2) (*.f64 (cbrt.f64 a2) (cbrt.f64 a2))))
  (/.f64 b1 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)))
  (*.f64 b1 (/.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)) (sqrt.f64 a2)))
  (*.f64 b1 (/.f64 (sqrt.f64 b2) (sqrt.f64 a2)))
  (/.f64 b1 (sqrt.f64 a2))
  (*.f64 b1 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (*.f64 b1 (sqrt.f64 b2))
  b1
  b1
  (/.f64 b1 a2)
  (/.f64 a1 (/.f64 b1 (/.f64 a2 b2)))
  (/.f64 a1 (/.f64 b1 (/.f64 a2 b2)))
  (/.f64 a1 (/.f64 b1 (/.f64 a2 b2)))
  (/.f64 b1 (/.f64 a2 b2))
  (/.f64 b1 (/.f64 a2 b2))
  (/.f64 b1 (/.f64 a2 b2))
1.009 * * * [progress]: adding candidates to table
1.180 * * [progress]: iteration 3 / 4
1.180 * * * [progress]: picking best candidate
1.183 * * * * [pick]: Picked  #<alt (λ (a1 a2 b1 b2) (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))>
1.184 * * * [progress]: localizing error
1.189 * * * [progress]: generating rewritten candidates
1.189 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
1.196 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
1.202 * * * [progress]: generating series expansions
1.202 * * * * [progress]: [ 1 / 2 ] generating series at (2)
1.202 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (a2 a1 b1 b2) around 0
1.202 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2
1.202 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
1.202 * [taylor]: Taking taylor expansion of a1 in b2
1.202 * [taylor]: Taking taylor expansion of a2 in b2
1.202 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.202 * [taylor]: Taking taylor expansion of b1 in b2
1.202 * [taylor]: Taking taylor expansion of b2 in b2
1.203 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1
1.203 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.203 * [taylor]: Taking taylor expansion of a1 in b1
1.203 * [taylor]: Taking taylor expansion of a2 in b1
1.203 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.203 * [taylor]: Taking taylor expansion of b1 in b1
1.203 * [taylor]: Taking taylor expansion of b2 in b1
1.203 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
1.203 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.203 * [taylor]: Taking taylor expansion of a1 in a1
1.203 * [taylor]: Taking taylor expansion of a2 in a1
1.203 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.203 * [taylor]: Taking taylor expansion of b1 in a1
1.203 * [taylor]: Taking taylor expansion of b2 in a1
1.204 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
1.204 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.204 * [taylor]: Taking taylor expansion of a1 in a2
1.204 * [taylor]: Taking taylor expansion of a2 in a2
1.204 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.204 * [taylor]: Taking taylor expansion of b1 in a2
1.204 * [taylor]: Taking taylor expansion of b2 in a2
1.204 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
1.204 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.204 * [taylor]: Taking taylor expansion of a1 in a2
1.204 * [taylor]: Taking taylor expansion of a2 in a2
1.204 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.204 * [taylor]: Taking taylor expansion of b1 in a2
1.204 * [taylor]: Taking taylor expansion of b2 in a2
1.205 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in a1
1.205 * [taylor]: Taking taylor expansion of a1 in a1
1.205 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.205 * [taylor]: Taking taylor expansion of b1 in a1
1.205 * [taylor]: Taking taylor expansion of b2 in a1
1.205 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1
1.205 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.205 * [taylor]: Taking taylor expansion of b1 in b1
1.205 * [taylor]: Taking taylor expansion of b2 in b1
1.206 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
1.206 * [taylor]: Taking taylor expansion of b2 in b2
1.207 * [taylor]: Taking taylor expansion of 0 in a1
1.207 * [taylor]: Taking taylor expansion of 0 in b1
1.208 * [taylor]: Taking taylor expansion of 0 in b1
1.208 * [taylor]: Taking taylor expansion of 0 in b2
1.210 * [taylor]: Taking taylor expansion of 0 in a1
1.210 * [taylor]: Taking taylor expansion of 0 in b1
1.210 * [taylor]: Taking taylor expansion of 0 in b1
1.211 * [taylor]: Taking taylor expansion of 0 in b1
1.211 * [taylor]: Taking taylor expansion of 0 in b2
1.211 * [taylor]: Taking taylor expansion of 0 in b2
1.212 * [taylor]: Taking taylor expansion of 0 in b2
1.214 * [taylor]: Taking taylor expansion of 0 in a1
1.214 * [taylor]: Taking taylor expansion of 0 in b1
1.214 * [taylor]: Taking taylor expansion of 0 in b1
1.214 * [taylor]: Taking taylor expansion of 0 in b1
1.215 * [taylor]: Taking taylor expansion of 0 in b1
1.216 * [taylor]: Taking taylor expansion of 0 in b2
1.216 * [taylor]: Taking taylor expansion of 0 in b2
1.216 * [taylor]: Taking taylor expansion of 0 in b2
1.216 * [taylor]: Taking taylor expansion of 0 in b2
1.216 * [taylor]: Taking taylor expansion of 0 in b2
1.217 * [taylor]: Taking taylor expansion of 0 in b2
1.218 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a2 a1 b1 b2) around 0
1.218 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
1.218 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.218 * [taylor]: Taking taylor expansion of b1 in b2
1.218 * [taylor]: Taking taylor expansion of b2 in b2
1.218 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
1.218 * [taylor]: Taking taylor expansion of a1 in b2
1.218 * [taylor]: Taking taylor expansion of a2 in b2
1.218 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
1.218 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.218 * [taylor]: Taking taylor expansion of b1 in b1
1.218 * [taylor]: Taking taylor expansion of b2 in b1
1.218 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.218 * [taylor]: Taking taylor expansion of a1 in b1
1.218 * [taylor]: Taking taylor expansion of a2 in b1
1.219 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
1.219 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.219 * [taylor]: Taking taylor expansion of b1 in a1
1.219 * [taylor]: Taking taylor expansion of b2 in a1
1.219 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.219 * [taylor]: Taking taylor expansion of a1 in a1
1.219 * [taylor]: Taking taylor expansion of a2 in a1
1.219 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
1.219 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.219 * [taylor]: Taking taylor expansion of b1 in a2
1.219 * [taylor]: Taking taylor expansion of b2 in a2
1.219 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.219 * [taylor]: Taking taylor expansion of a1 in a2
1.219 * [taylor]: Taking taylor expansion of a2 in a2
1.220 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
1.220 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.220 * [taylor]: Taking taylor expansion of b1 in a2
1.220 * [taylor]: Taking taylor expansion of b2 in a2
1.220 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.220 * [taylor]: Taking taylor expansion of a1 in a2
1.220 * [taylor]: Taking taylor expansion of a2 in a2
1.220 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in a1
1.220 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.220 * [taylor]: Taking taylor expansion of b1 in a1
1.221 * [taylor]: Taking taylor expansion of b2 in a1
1.221 * [taylor]: Taking taylor expansion of a1 in a1
1.221 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.221 * [taylor]: Taking taylor expansion of b1 in b1
1.221 * [taylor]: Taking taylor expansion of b2 in b1
1.221 * [taylor]: Taking taylor expansion of b2 in b2
1.222 * [taylor]: Taking taylor expansion of 0 in a1
1.223 * [taylor]: Taking taylor expansion of 0 in b1
1.223 * [taylor]: Taking taylor expansion of 0 in b2
1.223 * [taylor]: Taking taylor expansion of 0 in b2
1.224 * [taylor]: Taking taylor expansion of 0 in a1
1.224 * [taylor]: Taking taylor expansion of 0 in b1
1.224 * [taylor]: Taking taylor expansion of 0 in b2
1.225 * [taylor]: Taking taylor expansion of 0 in b1
1.225 * [taylor]: Taking taylor expansion of 0 in b2
1.225 * [taylor]: Taking taylor expansion of 0 in b2
1.227 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a2 a1 b1 b2) around 0
1.227 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
1.227 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.227 * [taylor]: Taking taylor expansion of b1 in b2
1.227 * [taylor]: Taking taylor expansion of b2 in b2
1.227 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
1.227 * [taylor]: Taking taylor expansion of a1 in b2
1.227 * [taylor]: Taking taylor expansion of a2 in b2
1.227 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
1.227 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.227 * [taylor]: Taking taylor expansion of b1 in b1
1.227 * [taylor]: Taking taylor expansion of b2 in b1
1.227 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.227 * [taylor]: Taking taylor expansion of a1 in b1
1.227 * [taylor]: Taking taylor expansion of a2 in b1
1.228 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
1.228 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.228 * [taylor]: Taking taylor expansion of b1 in a1
1.228 * [taylor]: Taking taylor expansion of b2 in a1
1.228 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.228 * [taylor]: Taking taylor expansion of a1 in a1
1.228 * [taylor]: Taking taylor expansion of a2 in a1
1.228 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
1.228 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.228 * [taylor]: Taking taylor expansion of b1 in a2
1.228 * [taylor]: Taking taylor expansion of b2 in a2
1.228 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.228 * [taylor]: Taking taylor expansion of a1 in a2
1.228 * [taylor]: Taking taylor expansion of a2 in a2
1.229 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
1.229 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.229 * [taylor]: Taking taylor expansion of b1 in a2
1.229 * [taylor]: Taking taylor expansion of b2 in a2
1.229 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.229 * [taylor]: Taking taylor expansion of a1 in a2
1.229 * [taylor]: Taking taylor expansion of a2 in a2
1.229 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in a1
1.229 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.229 * [taylor]: Taking taylor expansion of b1 in a1
1.229 * [taylor]: Taking taylor expansion of b2 in a1
1.229 * [taylor]: Taking taylor expansion of a1 in a1
1.230 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.230 * [taylor]: Taking taylor expansion of b1 in b1
1.230 * [taylor]: Taking taylor expansion of b2 in b1
1.230 * [taylor]: Taking taylor expansion of b2 in b2
1.231 * [taylor]: Taking taylor expansion of 0 in a1
1.231 * [taylor]: Taking taylor expansion of 0 in b1
1.231 * [taylor]: Taking taylor expansion of 0 in b2
1.232 * [taylor]: Taking taylor expansion of 0 in b2
1.233 * [taylor]: Taking taylor expansion of 0 in a1
1.233 * [taylor]: Taking taylor expansion of 0 in b1
1.233 * [taylor]: Taking taylor expansion of 0 in b2
1.234 * [taylor]: Taking taylor expansion of 0 in b1
1.234 * [taylor]: Taking taylor expansion of 0 in b2
1.234 * [taylor]: Taking taylor expansion of 0 in b2
1.235 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
1.235 * [approximate]: Taking taylor expansion of (/ a1 (* b1 b2)) in (a1 b1 b2) around 0
1.235 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in b2
1.235 * [taylor]: Taking taylor expansion of a1 in b2
1.235 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.235 * [taylor]: Taking taylor expansion of b1 in b2
1.235 * [taylor]: Taking taylor expansion of b2 in b2
1.236 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in b1
1.236 * [taylor]: Taking taylor expansion of a1 in b1
1.236 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.236 * [taylor]: Taking taylor expansion of b1 in b1
1.236 * [taylor]: Taking taylor expansion of b2 in b1
1.236 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in a1
1.236 * [taylor]: Taking taylor expansion of a1 in a1
1.236 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.236 * [taylor]: Taking taylor expansion of b1 in a1
1.236 * [taylor]: Taking taylor expansion of b2 in a1
1.236 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in a1
1.236 * [taylor]: Taking taylor expansion of a1 in a1
1.236 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.237 * [taylor]: Taking taylor expansion of b1 in a1
1.237 * [taylor]: Taking taylor expansion of b2 in a1
1.237 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1
1.237 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.237 * [taylor]: Taking taylor expansion of b1 in b1
1.237 * [taylor]: Taking taylor expansion of b2 in b1
1.237 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
1.237 * [taylor]: Taking taylor expansion of b2 in b2
1.238 * [taylor]: Taking taylor expansion of 0 in b1
1.239 * [taylor]: Taking taylor expansion of 0 in b2
1.240 * [taylor]: Taking taylor expansion of 0 in b1
1.240 * [taylor]: Taking taylor expansion of 0 in b2
1.241 * [taylor]: Taking taylor expansion of 0 in b2
1.242 * [taylor]: Taking taylor expansion of 0 in b1
1.242 * [taylor]: Taking taylor expansion of 0 in b2
1.243 * [taylor]: Taking taylor expansion of 0 in b2
1.244 * [taylor]: Taking taylor expansion of 0 in b2
1.244 * [approximate]: Taking taylor expansion of (/ (* b1 b2) a1) in (a1 b1 b2) around 0
1.244 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in b2
1.244 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.244 * [taylor]: Taking taylor expansion of b1 in b2
1.244 * [taylor]: Taking taylor expansion of b2 in b2
1.244 * [taylor]: Taking taylor expansion of a1 in b2
1.245 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in b1
1.245 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.245 * [taylor]: Taking taylor expansion of b1 in b1
1.245 * [taylor]: Taking taylor expansion of b2 in b1
1.245 * [taylor]: Taking taylor expansion of a1 in b1
1.245 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in a1
1.245 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.245 * [taylor]: Taking taylor expansion of b1 in a1
1.245 * [taylor]: Taking taylor expansion of b2 in a1
1.245 * [taylor]: Taking taylor expansion of a1 in a1
1.246 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in a1
1.246 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.246 * [taylor]: Taking taylor expansion of b1 in a1
1.246 * [taylor]: Taking taylor expansion of b2 in a1
1.246 * [taylor]: Taking taylor expansion of a1 in a1
1.246 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.246 * [taylor]: Taking taylor expansion of b1 in b1
1.246 * [taylor]: Taking taylor expansion of b2 in b1
1.246 * [taylor]: Taking taylor expansion of b2 in b2
1.247 * [taylor]: Taking taylor expansion of 0 in b1
1.247 * [taylor]: Taking taylor expansion of 0 in b2
1.247 * [taylor]: Taking taylor expansion of 0 in b2
1.248 * [taylor]: Taking taylor expansion of 0 in b1
1.248 * [taylor]: Taking taylor expansion of 0 in b2
1.248 * [taylor]: Taking taylor expansion of 0 in b2
1.248 * [taylor]: Taking taylor expansion of 0 in b2
1.249 * [approximate]: Taking taylor expansion of (* -1 (/ (* b1 b2) a1)) in (a1 b1 b2) around 0
1.249 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 b2) a1)) in b2
1.249 * [taylor]: Taking taylor expansion of -1 in b2
1.249 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in b2
1.249 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.249 * [taylor]: Taking taylor expansion of b1 in b2
1.249 * [taylor]: Taking taylor expansion of b2 in b2
1.249 * [taylor]: Taking taylor expansion of a1 in b2
1.250 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 b2) a1)) in b1
1.250 * [taylor]: Taking taylor expansion of -1 in b1
1.250 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in b1
1.250 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.250 * [taylor]: Taking taylor expansion of b1 in b1
1.250 * [taylor]: Taking taylor expansion of b2 in b1
1.250 * [taylor]: Taking taylor expansion of a1 in b1
1.250 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 b2) a1)) in a1
1.250 * [taylor]: Taking taylor expansion of -1 in a1
1.250 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in a1
1.250 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.250 * [taylor]: Taking taylor expansion of b1 in a1
1.250 * [taylor]: Taking taylor expansion of b2 in a1
1.250 * [taylor]: Taking taylor expansion of a1 in a1
1.251 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 b2) a1)) in a1
1.251 * [taylor]: Taking taylor expansion of -1 in a1
1.251 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in a1
1.251 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.251 * [taylor]: Taking taylor expansion of b1 in a1
1.251 * [taylor]: Taking taylor expansion of b2 in a1
1.251 * [taylor]: Taking taylor expansion of a1 in a1
1.251 * [taylor]: Taking taylor expansion of (* -1 (* b1 b2)) in b1
1.251 * [taylor]: Taking taylor expansion of -1 in b1
1.251 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.251 * [taylor]: Taking taylor expansion of b1 in b1
1.251 * [taylor]: Taking taylor expansion of b2 in b1
1.251 * [taylor]: Taking taylor expansion of (neg b2) in b2
1.252 * [taylor]: Taking taylor expansion of b2 in b2
1.252 * [taylor]: Taking taylor expansion of 0 in b1
1.252 * [taylor]: Taking taylor expansion of 0 in b2
1.253 * [taylor]: Taking taylor expansion of 0 in b2
1.254 * [taylor]: Taking taylor expansion of 0 in b1
1.254 * [taylor]: Taking taylor expansion of 0 in b2
1.254 * [taylor]: Taking taylor expansion of 0 in b2
1.255 * [taylor]: Taking taylor expansion of 0 in b2
1.256 * * * [progress]: simplifying candidates
1.256 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 a2 (/.f64 a1 (*.f64 b1 b2)))
  (+.f64 (log.f64 a2) (-.f64 (log.f64 a1) (+.f64 (log.f64 b1) (log.f64 b2))))
  (+.f64 (log.f64 a2) (-.f64 (log.f64 a1) (log.f64 (*.f64 b1 b2))))
  (+.f64 (log.f64 a2) (log.f64 (/.f64 a1 (*.f64 b1 b2))))
  (exp.f64 (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))
  (log.f64 (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))
  (*.f64 (*.f64 (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))) (*.f64 a2 (/.f64 a1 (*.f64 b1 b2)))) (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))
  (*.f64 (cbrt.f64 (*.f64 a2 (/.f64 a1 (*.f64 b1 b2)))) (cbrt.f64 (*.f64 a2 (/.f64 a1 (*.f64 b1 b2)))))
  (cbrt.f64 (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))
  (*.f64 (*.f64 (*.f64 a2 a2) a2) (*.f64 (*.f64 (/.f64 a1 (*.f64 b1 b2)) (/.f64 a1 (*.f64 b1 b2))) (/.f64 a1 (*.f64 b1 b2))))
  (*.f64 (*.f64 (*.f64 a2 a2) a2) (/.f64 (*.f64 (*.f64 a1 a1) a1) (*.f64 (*.f64 (*.f64 b1 b2) (*.f64 b1 b2)) (*.f64 b1 b2))))
  (*.f64 (*.f64 (*.f64 a2 a2) a2) (/.f64 (*.f64 (*.f64 a1 a1) a1) (*.f64 (*.f64 (*.f64 b1 b1) b1) (*.f64 (*.f64 b2 b2) b2))))
  (sqrt.f64 (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))
  (sqrt.f64 (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))
  (*.f64 (sqrt.f64 a2) (sqrt.f64 (/.f64 a1 (*.f64 b1 b2))))
  (*.f64 (sqrt.f64 a2) (sqrt.f64 (/.f64 a1 (*.f64 b1 b2))))
  (*.f64 a2 a1)
  (*.f64 (cbrt.f64 a2) (/.f64 a1 (*.f64 b1 b2)))
  (*.f64 (sqrt.f64 a2) (/.f64 a1 (*.f64 b1 b2)))
  (*.f64 a2 (/.f64 a1 (*.f64 b1 b2)))
  (*.f64 a2 (*.f64 (cbrt.f64 (/.f64 a1 (*.f64 b1 b2))) (cbrt.f64 (/.f64 a1 (*.f64 b1 b2)))))
  (*.f64 a2 (sqrt.f64 (/.f64 a1 (*.f64 b1 b2))))
  (*.f64 a2 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) b1))
  (*.f64 a2 (/.f64 (sqrt.f64 a1) b1))
  (*.f64 a2 (/.f64 1 b1))
  (*.f64 a2 1)
  (*.f64 a2 a1)
  (-.f64 (log.f64 a1) (+.f64 (log.f64 b1) (log.f64 b2)))
  (-.f64 (log.f64 a1) (log.f64 (*.f64 b1 b2)))
  (exp.f64 (/.f64 a1 (*.f64 b1 b2)))
  (log.f64 (/.f64 a1 (*.f64 b1 b2)))
  (*.f64 (*.f64 (/.f64 a1 (*.f64 b1 b2)) (/.f64 a1 (*.f64 b1 b2))) (/.f64 a1 (*.f64 b1 b2)))
  (*.f64 (cbrt.f64 (/.f64 a1 (*.f64 b1 b2))) (cbrt.f64 (/.f64 a1 (*.f64 b1 b2))))
  (cbrt.f64 (/.f64 a1 (*.f64 b1 b2)))
  (/.f64 (*.f64 (*.f64 a1 a1) a1) (*.f64 (*.f64 (*.f64 b1 b2) (*.f64 b1 b2)) (*.f64 b1 b2)))
  (/.f64 (*.f64 (*.f64 a1 a1) a1) (*.f64 (*.f64 (*.f64 b1 b1) b1) (*.f64 (*.f64 b2 b2) b2)))
  (sqrt.f64 (/.f64 a1 (*.f64 b1 b2)))
  (sqrt.f64 (/.f64 a1 (*.f64 b1 b2)))
  (neg.f64 a1)
  (neg.f64 (*.f64 b1 b2))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) b1)
  (/.f64 (cbrt.f64 a1) b2)
  (/.f64 (sqrt.f64 a1) b1)
  (/.f64 (sqrt.f64 a1) b2)
  (/.f64 1 b1)
  (/.f64 a1 b2)
  (/.f64 (*.f64 b1 b2) a1)
  (/.f64 1 (*.f64 b1 b2))
  (/.f64 (*.f64 b1 b2) (cbrt.f64 a1))
  (/.f64 (*.f64 b1 b2) (sqrt.f64 a1))
  (/.f64 (*.f64 b1 b2) a1)
  (/.f64 a1 b1)
  (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
  (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
  (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
  (/.f64 a1 (*.f64 b1 b2))
  (/.f64 a1 (*.f64 b1 b2))
  (/.f64 a1 (*.f64 b1 b2))
1.344 * * [simplify]: iteration  0 :  4972  enodes  (cost  570 )
1.344 * * [simplify]: iteration  1 :  4972  enodes  (cost  570 )
1.347 * [simplify]: Simplified to:
   (*.f64 a2 (/.f64 a1 (*.f64 b1 b2)))
  (log.f64 (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))
  (log.f64 (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))
  (log.f64 (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))
  (exp.f64 (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))
  (log.f64 (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))
  (pow.f64 (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))) 3)
  (*.f64 (cbrt.f64 (*.f64 a2 (/.f64 a1 (*.f64 b1 b2)))) (cbrt.f64 (*.f64 a2 (/.f64 a1 (*.f64 b1 b2)))))
  (cbrt.f64 (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))
  (pow.f64 (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))) 3)
  (pow.f64 (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))) 3)
  (pow.f64 (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))) 3)
  (sqrt.f64 (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))
  (sqrt.f64 (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))
  (*.f64 (sqrt.f64 a2) (sqrt.f64 (/.f64 a1 (*.f64 b1 b2))))
  (*.f64 (sqrt.f64 a2) (sqrt.f64 (/.f64 a1 (*.f64 b1 b2))))
  (*.f64 a2 a1)
  (*.f64 (/.f64 a1 (*.f64 b1 b2)) (cbrt.f64 a2))
  (*.f64 (/.f64 a1 (*.f64 b1 b2)) (sqrt.f64 a2))
  (*.f64 a2 (/.f64 a1 (*.f64 b1 b2)))
  (*.f64 a2 (*.f64 (cbrt.f64 (/.f64 a1 (*.f64 b1 b2))) (cbrt.f64 (/.f64 a1 (*.f64 b1 b2)))))
  (*.f64 a2 (sqrt.f64 (/.f64 a1 (*.f64 b1 b2))))
  (*.f64 a2 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) b1))
  (*.f64 a2 (/.f64 (sqrt.f64 a1) b1))
  (/.f64 a2 b1)
  a2
  (*.f64 a2 a1)
  (log.f64 (/.f64 a1 (*.f64 b1 b2)))
  (log.f64 (/.f64 a1 (*.f64 b1 b2)))
  (exp.f64 (/.f64 a1 (*.f64 b1 b2)))
  (log.f64 (/.f64 a1 (*.f64 b1 b2)))
  (pow.f64 (/.f64 a1 (*.f64 b1 b2)) 3)
  (*.f64 (cbrt.f64 (/.f64 a1 (*.f64 b1 b2))) (cbrt.f64 (/.f64 a1 (*.f64 b1 b2))))
  (cbrt.f64 (/.f64 a1 (*.f64 b1 b2)))
  (pow.f64 (/.f64 a1 (*.f64 b1 b2)) 3)
  (pow.f64 (/.f64 a1 (*.f64 b1 b2)) 3)
  (sqrt.f64 (/.f64 a1 (*.f64 b1 b2)))
  (sqrt.f64 (/.f64 a1 (*.f64 b1 b2)))
  (neg.f64 a1)
  (neg.f64 (*.f64 b1 b2))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) b1)
  (/.f64 (cbrt.f64 a1) b2)
  (/.f64 (sqrt.f64 a1) b1)
  (/.f64 (sqrt.f64 a1) b2)
  (/.f64 1 b1)
  (/.f64 a1 b2)
  (/.f64 b1 (/.f64 a1 b2))
  (/.f64 1 (*.f64 b1 b2))
  (/.f64 b1 (/.f64 (cbrt.f64 a1) b2))
  (/.f64 b1 (/.f64 (sqrt.f64 a1) b2))
  (/.f64 b1 (/.f64 a1 b2))
  (/.f64 a1 b1)
  (*.f64 a2 (/.f64 a1 (*.f64 b1 b2)))
  (*.f64 a2 (/.f64 a1 (*.f64 b1 b2)))
  (*.f64 a2 (/.f64 a1 (*.f64 b1 b2)))
  (/.f64 a1 (*.f64 b1 b2))
  (/.f64 a1 (*.f64 b1 b2))
  (/.f64 a1 (*.f64 b1 b2))
1.347 * * * [progress]: adding candidates to table
1.365 * * [progress]: iteration 4 / 4
1.365 * * * [progress]: picking best candidate
1.368 * * * * [pick]: Picked  #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (*.f64 b1 (/.f64 b2 a2))))>
1.368 * * * [progress]: localizing error
1.373 * * * [progress]: generating rewritten candidates
1.373 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
1.379 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
1.388 * * * [progress]: generating series expansions
1.388 * * * * [progress]: [ 1 / 2 ] generating series at (2)
1.388 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (a1 b1 b2 a2) around 0
1.388 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
1.388 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.388 * [taylor]: Taking taylor expansion of a1 in a2
1.388 * [taylor]: Taking taylor expansion of a2 in a2
1.388 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.388 * [taylor]: Taking taylor expansion of b1 in a2
1.388 * [taylor]: Taking taylor expansion of b2 in a2
1.389 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2
1.389 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
1.389 * [taylor]: Taking taylor expansion of a1 in b2
1.389 * [taylor]: Taking taylor expansion of a2 in b2
1.389 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.389 * [taylor]: Taking taylor expansion of b1 in b2
1.389 * [taylor]: Taking taylor expansion of b2 in b2
1.389 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1
1.389 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.389 * [taylor]: Taking taylor expansion of a1 in b1
1.389 * [taylor]: Taking taylor expansion of a2 in b1
1.389 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.389 * [taylor]: Taking taylor expansion of b1 in b1
1.389 * [taylor]: Taking taylor expansion of b2 in b1
1.390 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
1.390 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.390 * [taylor]: Taking taylor expansion of a1 in a1
1.390 * [taylor]: Taking taylor expansion of a2 in a1
1.390 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.390 * [taylor]: Taking taylor expansion of b1 in a1
1.390 * [taylor]: Taking taylor expansion of b2 in a1
1.390 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
1.390 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.390 * [taylor]: Taking taylor expansion of a1 in a1
1.390 * [taylor]: Taking taylor expansion of a2 in a1
1.390 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.390 * [taylor]: Taking taylor expansion of b1 in a1
1.390 * [taylor]: Taking taylor expansion of b2 in a1
1.391 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b1
1.391 * [taylor]: Taking taylor expansion of a2 in b1
1.391 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.391 * [taylor]: Taking taylor expansion of b1 in b1
1.391 * [taylor]: Taking taylor expansion of b2 in b1
1.391 * [taylor]: Taking taylor expansion of (/ a2 b2) in b2
1.391 * [taylor]: Taking taylor expansion of a2 in b2
1.391 * [taylor]: Taking taylor expansion of b2 in b2
1.391 * [taylor]: Taking taylor expansion of a2 in a2
1.392 * [taylor]: Taking taylor expansion of 0 in b1
1.393 * [taylor]: Taking taylor expansion of 0 in b2
1.394 * [taylor]: Taking taylor expansion of 0 in a2
1.395 * [taylor]: Taking taylor expansion of 0 in b1
1.395 * [taylor]: Taking taylor expansion of 0 in b2
1.396 * [taylor]: Taking taylor expansion of 0 in b2
1.396 * [taylor]: Taking taylor expansion of 0 in a2
1.396 * [taylor]: Taking taylor expansion of 0 in a2
1.397 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 b1 b2 a2) around 0
1.397 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
1.397 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.397 * [taylor]: Taking taylor expansion of b1 in a2
1.397 * [taylor]: Taking taylor expansion of b2 in a2
1.397 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.397 * [taylor]: Taking taylor expansion of a1 in a2
1.397 * [taylor]: Taking taylor expansion of a2 in a2
1.398 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
1.398 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.398 * [taylor]: Taking taylor expansion of b1 in b2
1.398 * [taylor]: Taking taylor expansion of b2 in b2
1.398 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
1.398 * [taylor]: Taking taylor expansion of a1 in b2
1.398 * [taylor]: Taking taylor expansion of a2 in b2
1.398 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
1.398 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.398 * [taylor]: Taking taylor expansion of b1 in b1
1.398 * [taylor]: Taking taylor expansion of b2 in b1
1.398 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.398 * [taylor]: Taking taylor expansion of a1 in b1
1.398 * [taylor]: Taking taylor expansion of a2 in b1
1.399 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
1.399 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.399 * [taylor]: Taking taylor expansion of b1 in a1
1.399 * [taylor]: Taking taylor expansion of b2 in a1
1.399 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.399 * [taylor]: Taking taylor expansion of a1 in a1
1.399 * [taylor]: Taking taylor expansion of a2 in a1
1.399 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
1.399 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.399 * [taylor]: Taking taylor expansion of b1 in a1
1.399 * [taylor]: Taking taylor expansion of b2 in a1
1.399 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.399 * [taylor]: Taking taylor expansion of a1 in a1
1.399 * [taylor]: Taking taylor expansion of a2 in a1
1.400 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1
1.400 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.400 * [taylor]: Taking taylor expansion of b1 in b1
1.400 * [taylor]: Taking taylor expansion of b2 in b1
1.400 * [taylor]: Taking taylor expansion of a2 in b1
1.400 * [taylor]: Taking taylor expansion of (/ b2 a2) in b2
1.400 * [taylor]: Taking taylor expansion of b2 in b2
1.400 * [taylor]: Taking taylor expansion of a2 in b2
1.400 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2
1.400 * [taylor]: Taking taylor expansion of a2 in a2
1.401 * [taylor]: Taking taylor expansion of 0 in b1
1.401 * [taylor]: Taking taylor expansion of 0 in b2
1.401 * [taylor]: Taking taylor expansion of 0 in a2
1.402 * [taylor]: Taking taylor expansion of 0 in b2
1.402 * [taylor]: Taking taylor expansion of 0 in a2
1.402 * [taylor]: Taking taylor expansion of 0 in a2
1.403 * [taylor]: Taking taylor expansion of 0 in b1
1.403 * [taylor]: Taking taylor expansion of 0 in b2
1.403 * [taylor]: Taking taylor expansion of 0 in a2
1.403 * [taylor]: Taking taylor expansion of 0 in b2
1.403 * [taylor]: Taking taylor expansion of 0 in a2
1.404 * [taylor]: Taking taylor expansion of 0 in b2
1.404 * [taylor]: Taking taylor expansion of 0 in a2
1.404 * [taylor]: Taking taylor expansion of 0 in a2
1.404 * [taylor]: Taking taylor expansion of 0 in a2
1.405 * [taylor]: Taking taylor expansion of 0 in a2
1.406 * [taylor]: Taking taylor expansion of 0 in b1
1.406 * [taylor]: Taking taylor expansion of 0 in b2
1.406 * [taylor]: Taking taylor expansion of 0 in a2
1.406 * [taylor]: Taking taylor expansion of 0 in b2
1.406 * [taylor]: Taking taylor expansion of 0 in a2
1.406 * [taylor]: Taking taylor expansion of 0 in b2
1.406 * [taylor]: Taking taylor expansion of 0 in a2
1.407 * [taylor]: Taking taylor expansion of 0 in b2
1.407 * [taylor]: Taking taylor expansion of 0 in a2
1.407 * [taylor]: Taking taylor expansion of 0 in a2
1.408 * [taylor]: Taking taylor expansion of 0 in a2
1.408 * [taylor]: Taking taylor expansion of 0 in a2
1.408 * [taylor]: Taking taylor expansion of 0 in a2
1.408 * [taylor]: Taking taylor expansion of 0 in a2
1.408 * [taylor]: Taking taylor expansion of 0 in a2
1.410 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 b1 b2 a2) around 0
1.410 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
1.410 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.410 * [taylor]: Taking taylor expansion of b1 in a2
1.410 * [taylor]: Taking taylor expansion of b2 in a2
1.410 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.410 * [taylor]: Taking taylor expansion of a1 in a2
1.410 * [taylor]: Taking taylor expansion of a2 in a2
1.410 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
1.410 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.410 * [taylor]: Taking taylor expansion of b1 in b2
1.410 * [taylor]: Taking taylor expansion of b2 in b2
1.410 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
1.410 * [taylor]: Taking taylor expansion of a1 in b2
1.410 * [taylor]: Taking taylor expansion of a2 in b2
1.411 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
1.411 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.411 * [taylor]: Taking taylor expansion of b1 in b1
1.411 * [taylor]: Taking taylor expansion of b2 in b1
1.411 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.411 * [taylor]: Taking taylor expansion of a1 in b1
1.411 * [taylor]: Taking taylor expansion of a2 in b1
1.411 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
1.411 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.411 * [taylor]: Taking taylor expansion of b1 in a1
1.411 * [taylor]: Taking taylor expansion of b2 in a1
1.411 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.411 * [taylor]: Taking taylor expansion of a1 in a1
1.411 * [taylor]: Taking taylor expansion of a2 in a1
1.412 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
1.412 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.412 * [taylor]: Taking taylor expansion of b1 in a1
1.412 * [taylor]: Taking taylor expansion of b2 in a1
1.412 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.412 * [taylor]: Taking taylor expansion of a1 in a1
1.412 * [taylor]: Taking taylor expansion of a2 in a1
1.413 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1
1.413 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.413 * [taylor]: Taking taylor expansion of b1 in b1
1.413 * [taylor]: Taking taylor expansion of b2 in b1
1.413 * [taylor]: Taking taylor expansion of a2 in b1
1.413 * [taylor]: Taking taylor expansion of (/ b2 a2) in b2
1.413 * [taylor]: Taking taylor expansion of b2 in b2
1.413 * [taylor]: Taking taylor expansion of a2 in b2
1.413 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2
1.413 * [taylor]: Taking taylor expansion of a2 in a2
1.414 * [taylor]: Taking taylor expansion of 0 in b1
1.414 * [taylor]: Taking taylor expansion of 0 in b2
1.414 * [taylor]: Taking taylor expansion of 0 in a2
1.415 * [taylor]: Taking taylor expansion of 0 in b2
1.415 * [taylor]: Taking taylor expansion of 0 in a2
1.415 * [taylor]: Taking taylor expansion of 0 in a2
1.416 * [taylor]: Taking taylor expansion of 0 in b1
1.416 * [taylor]: Taking taylor expansion of 0 in b2
1.416 * [taylor]: Taking taylor expansion of 0 in a2
1.416 * [taylor]: Taking taylor expansion of 0 in b2
1.416 * [taylor]: Taking taylor expansion of 0 in a2
1.417 * [taylor]: Taking taylor expansion of 0 in b2
1.417 * [taylor]: Taking taylor expansion of 0 in a2
1.417 * [taylor]: Taking taylor expansion of 0 in a2
1.417 * [taylor]: Taking taylor expansion of 0 in a2
1.418 * [taylor]: Taking taylor expansion of 0 in a2
1.419 * [taylor]: Taking taylor expansion of 0 in b1
1.419 * [taylor]: Taking taylor expansion of 0 in b2
1.419 * [taylor]: Taking taylor expansion of 0 in a2
1.419 * [taylor]: Taking taylor expansion of 0 in b2
1.419 * [taylor]: Taking taylor expansion of 0 in a2
1.419 * [taylor]: Taking taylor expansion of 0 in b2
1.419 * [taylor]: Taking taylor expansion of 0 in a2
1.420 * [taylor]: Taking taylor expansion of 0 in b2
1.420 * [taylor]: Taking taylor expansion of 0 in a2
1.420 * [taylor]: Taking taylor expansion of 0 in a2
1.420 * [taylor]: Taking taylor expansion of 0 in a2
1.420 * [taylor]: Taking taylor expansion of 0 in a2
1.421 * [taylor]: Taking taylor expansion of 0 in a2
1.421 * [taylor]: Taking taylor expansion of 0 in a2
1.421 * [taylor]: Taking taylor expansion of 0 in a2
1.422 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
1.422 * [approximate]: Taking taylor expansion of (/ (* b1 b2) a2) in (b1 b2 a2) around 0
1.422 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
1.422 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.422 * [taylor]: Taking taylor expansion of b1 in a2
1.422 * [taylor]: Taking taylor expansion of b2 in a2
1.422 * [taylor]: Taking taylor expansion of a2 in a2
1.422 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b2
1.422 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.422 * [taylor]: Taking taylor expansion of b1 in b2
1.423 * [taylor]: Taking taylor expansion of b2 in b2
1.423 * [taylor]: Taking taylor expansion of a2 in b2
1.423 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1
1.423 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.423 * [taylor]: Taking taylor expansion of b1 in b1
1.423 * [taylor]: Taking taylor expansion of b2 in b1
1.423 * [taylor]: Taking taylor expansion of a2 in b1
1.423 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1
1.423 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.423 * [taylor]: Taking taylor expansion of b1 in b1
1.423 * [taylor]: Taking taylor expansion of b2 in b1
1.423 * [taylor]: Taking taylor expansion of a2 in b1
1.424 * [taylor]: Taking taylor expansion of (/ b2 a2) in b2
1.424 * [taylor]: Taking taylor expansion of b2 in b2
1.424 * [taylor]: Taking taylor expansion of a2 in b2
1.424 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2
1.424 * [taylor]: Taking taylor expansion of a2 in a2
1.424 * [taylor]: Taking taylor expansion of 0 in b2
1.424 * [taylor]: Taking taylor expansion of 0 in a2
1.425 * [taylor]: Taking taylor expansion of 0 in a2
1.426 * [taylor]: Taking taylor expansion of 0 in b2
1.426 * [taylor]: Taking taylor expansion of 0 in a2
1.426 * [taylor]: Taking taylor expansion of 0 in a2
1.426 * [taylor]: Taking taylor expansion of 0 in a2
1.427 * [taylor]: Taking taylor expansion of 0 in b2
1.427 * [taylor]: Taking taylor expansion of 0 in a2
1.428 * [taylor]: Taking taylor expansion of 0 in a2
1.428 * [taylor]: Taking taylor expansion of 0 in a2
1.428 * [taylor]: Taking taylor expansion of 0 in a2
1.429 * [approximate]: Taking taylor expansion of (/ a2 (* b1 b2)) in (b1 b2 a2) around 0
1.429 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2
1.429 * [taylor]: Taking taylor expansion of a2 in a2
1.429 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.429 * [taylor]: Taking taylor expansion of b1 in a2
1.429 * [taylor]: Taking taylor expansion of b2 in a2
1.429 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b2
1.429 * [taylor]: Taking taylor expansion of a2 in b2
1.429 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.429 * [taylor]: Taking taylor expansion of b1 in b2
1.429 * [taylor]: Taking taylor expansion of b2 in b2
1.429 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b1
1.429 * [taylor]: Taking taylor expansion of a2 in b1
1.429 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.429 * [taylor]: Taking taylor expansion of b1 in b1
1.429 * [taylor]: Taking taylor expansion of b2 in b1
1.430 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b1
1.430 * [taylor]: Taking taylor expansion of a2 in b1
1.430 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.430 * [taylor]: Taking taylor expansion of b1 in b1
1.430 * [taylor]: Taking taylor expansion of b2 in b1
1.430 * [taylor]: Taking taylor expansion of (/ a2 b2) in b2
1.430 * [taylor]: Taking taylor expansion of a2 in b2
1.430 * [taylor]: Taking taylor expansion of b2 in b2
1.430 * [taylor]: Taking taylor expansion of a2 in a2
1.431 * [taylor]: Taking taylor expansion of 0 in b2
1.431 * [taylor]: Taking taylor expansion of 0 in a2
1.432 * [taylor]: Taking taylor expansion of 0 in b2
1.432 * [taylor]: Taking taylor expansion of 0 in a2
1.432 * [taylor]: Taking taylor expansion of 0 in a2
1.435 * [approximate]: Taking taylor expansion of (* -1 (/ a2 (* b1 b2))) in (b1 b2 a2) around 0
1.435 * [taylor]: Taking taylor expansion of (* -1 (/ a2 (* b1 b2))) in a2
1.435 * [taylor]: Taking taylor expansion of -1 in a2
1.435 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2
1.435 * [taylor]: Taking taylor expansion of a2 in a2
1.435 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.435 * [taylor]: Taking taylor expansion of b1 in a2
1.435 * [taylor]: Taking taylor expansion of b2 in a2
1.435 * [taylor]: Taking taylor expansion of (* -1 (/ a2 (* b1 b2))) in b2
1.435 * [taylor]: Taking taylor expansion of -1 in b2
1.436 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b2
1.436 * [taylor]: Taking taylor expansion of a2 in b2
1.436 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.436 * [taylor]: Taking taylor expansion of b1 in b2
1.436 * [taylor]: Taking taylor expansion of b2 in b2
1.436 * [taylor]: Taking taylor expansion of (* -1 (/ a2 (* b1 b2))) in b1
1.436 * [taylor]: Taking taylor expansion of -1 in b1
1.436 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b1
1.436 * [taylor]: Taking taylor expansion of a2 in b1
1.436 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.436 * [taylor]: Taking taylor expansion of b1 in b1
1.436 * [taylor]: Taking taylor expansion of b2 in b1
1.436 * [taylor]: Taking taylor expansion of (* -1 (/ a2 (* b1 b2))) in b1
1.436 * [taylor]: Taking taylor expansion of -1 in b1
1.436 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b1
1.436 * [taylor]: Taking taylor expansion of a2 in b1
1.436 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.436 * [taylor]: Taking taylor expansion of b1 in b1
1.436 * [taylor]: Taking taylor expansion of b2 in b1
1.437 * [taylor]: Taking taylor expansion of (* -1 (/ a2 b2)) in b2
1.437 * [taylor]: Taking taylor expansion of -1 in b2
1.437 * [taylor]: Taking taylor expansion of (/ a2 b2) in b2
1.437 * [taylor]: Taking taylor expansion of a2 in b2
1.437 * [taylor]: Taking taylor expansion of b2 in b2
1.437 * [taylor]: Taking taylor expansion of (* -1 a2) in a2
1.437 * [taylor]: Taking taylor expansion of -1 in a2
1.437 * [taylor]: Taking taylor expansion of a2 in a2
1.438 * [taylor]: Taking taylor expansion of 0 in b2
1.438 * [taylor]: Taking taylor expansion of 0 in a2
1.440 * [taylor]: Taking taylor expansion of 0 in b2
1.440 * [taylor]: Taking taylor expansion of 0 in a2
1.440 * [taylor]: Taking taylor expansion of 0 in a2
1.442 * * * [progress]: simplifying candidates
1.442 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (log.f64 a1) (+.f64 (log.f64 b1) (-.f64 (log.f64 b2) (log.f64 a2))))
  (-.f64 (log.f64 a1) (+.f64 (log.f64 b1) (log.f64 (/.f64 b2 a2))))
  (-.f64 (log.f64 a1) (log.f64 (*.f64 b1 (/.f64 b2 a2))))
  (exp.f64 (/.f64 a1 (*.f64 b1 (/.f64 b2 a2))))
  (log.f64 (/.f64 a1 (*.f64 b1 (/.f64 b2 a2))))
  (*.f64 (*.f64 (/.f64 a1 (*.f64 b1 (/.f64 b2 a2))) (/.f64 a1 (*.f64 b1 (/.f64 b2 a2)))) (/.f64 a1 (*.f64 b1 (/.f64 b2 a2))))
  (*.f64 (cbrt.f64 (/.f64 a1 (*.f64 b1 (/.f64 b2 a2)))) (cbrt.f64 (/.f64 a1 (*.f64 b1 (/.f64 b2 a2)))))
  (cbrt.f64 (/.f64 a1 (*.f64 b1 (/.f64 b2 a2))))
  (/.f64 (*.f64 (*.f64 a1 a1) a1) (*.f64 (*.f64 (*.f64 b1 (/.f64 b2 a2)) (*.f64 b1 (/.f64 b2 a2))) (*.f64 b1 (/.f64 b2 a2))))
  (/.f64 (*.f64 (*.f64 a1 a1) a1) (*.f64 (*.f64 (*.f64 b1 b1) b1) (*.f64 (*.f64 (/.f64 b2 a2) (/.f64 b2 a2)) (/.f64 b2 a2))))
  (/.f64 (*.f64 (*.f64 a1 a1) a1) (*.f64 (*.f64 (*.f64 b1 b1) b1) (/.f64 (*.f64 (*.f64 b2 b2) b2) (*.f64 (*.f64 a2 a2) a2))))
  (sqrt.f64 (/.f64 a1 (*.f64 b1 (/.f64 b2 a2))))
  (sqrt.f64 (/.f64 a1 (*.f64 b1 (/.f64 b2 a2))))
  (neg.f64 a1)
  (neg.f64 (*.f64 b1 (/.f64 b2 a2)))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) b1)
  (/.f64 (cbrt.f64 a1) (/.f64 b2 a2))
  (/.f64 (sqrt.f64 a1) b1)
  (/.f64 (sqrt.f64 a1) (/.f64 b2 a2))
  (/.f64 1 b1)
  (/.f64 a1 (/.f64 b2 a2))
  (/.f64 (*.f64 b1 (/.f64 b2 a2)) a1)
  (/.f64 1 (*.f64 b1 (/.f64 b2 a2)))
  (/.f64 a1 (*.f64 b1 b2))
  (/.f64 (*.f64 b1 (/.f64 b2 a2)) (cbrt.f64 a1))
  (/.f64 (*.f64 b1 (/.f64 b2 a2)) (sqrt.f64 a1))
  (/.f64 (*.f64 b1 (/.f64 b2 a2)) a1)
  (/.f64 a1 b1)
  (*.f64 b1 (/.f64 b2 a2))
  (+.f64 (log.f64 b1) (-.f64 (log.f64 b2) (log.f64 a2)))
  (+.f64 (log.f64 b1) (log.f64 (/.f64 b2 a2)))
  (exp.f64 (*.f64 b1 (/.f64 b2 a2)))
  (log.f64 (*.f64 b1 (/.f64 b2 a2)))
  (*.f64 (*.f64 (*.f64 b1 (/.f64 b2 a2)) (*.f64 b1 (/.f64 b2 a2))) (*.f64 b1 (/.f64 b2 a2)))
  (*.f64 (cbrt.f64 (*.f64 b1 (/.f64 b2 a2))) (cbrt.f64 (*.f64 b1 (/.f64 b2 a2))))
  (cbrt.f64 (*.f64 b1 (/.f64 b2 a2)))
  (*.f64 (*.f64 (*.f64 b1 b1) b1) (*.f64 (*.f64 (/.f64 b2 a2) (/.f64 b2 a2)) (/.f64 b2 a2)))
  (*.f64 (*.f64 (*.f64 b1 b1) b1) (/.f64 (*.f64 (*.f64 b2 b2) b2) (*.f64 (*.f64 a2 a2) a2)))
  (sqrt.f64 (*.f64 b1 (/.f64 b2 a2)))
  (sqrt.f64 (*.f64 b1 (/.f64 b2 a2)))
  (*.f64 (sqrt.f64 b1) (sqrt.f64 (/.f64 b2 a2)))
  (*.f64 (sqrt.f64 b1) (sqrt.f64 (/.f64 b2 a2)))
  (*.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 b2) (sqrt.f64 a2)))
  (*.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 b2) (sqrt.f64 a2)))
  (*.f64 b1 b2)
  (*.f64 (cbrt.f64 b1) (/.f64 b2 a2))
  (*.f64 (sqrt.f64 b1) (/.f64 b2 a2))
  (*.f64 b1 (/.f64 b2 a2))
  (*.f64 b1 (*.f64 (cbrt.f64 (/.f64 b2 a2)) (cbrt.f64 (/.f64 b2 a2))))
  (*.f64 b1 (sqrt.f64 (/.f64 b2 a2)))
  (*.f64 b1 (/.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)) (*.f64 (cbrt.f64 a2) (cbrt.f64 a2))))
  (*.f64 b1 (/.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)) (sqrt.f64 a2)))
  (*.f64 b1 (/.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)) 1))
  (*.f64 b1 (/.f64 (sqrt.f64 b2) (*.f64 (cbrt.f64 a2) (cbrt.f64 a2))))
  (*.f64 b1 (/.f64 (sqrt.f64 b2) (sqrt.f64 a2)))
  (*.f64 b1 (/.f64 (sqrt.f64 b2) 1))
  (*.f64 b1 (/.f64 1 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2))))
  (*.f64 b1 (/.f64 1 (sqrt.f64 a2)))
  (*.f64 b1 (/.f64 1 1))
  (*.f64 b1 1)
  (*.f64 b1 b2)
  (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
  (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
  (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
  (/.f64 (*.f64 b1 b2) a2)
  (/.f64 (*.f64 b1 b2) a2)
  (/.f64 (*.f64 b1 b2) a2)
1.532 * * [simplify]: iteration  0 :  4950  enodes  (cost  672 )
1.533 * * [simplify]: iteration  1 :  4950  enodes  (cost  672 )
1.537 * [simplify]: Simplified to:
   (log.f64 (/.f64 a1 (*.f64 b1 (/.f64 b2 a2))))
  (log.f64 (/.f64 a1 (*.f64 b1 (/.f64 b2 a2))))
  (log.f64 (/.f64 a1 (*.f64 b1 (/.f64 b2 a2))))
  (exp.f64 (/.f64 a1 (*.f64 b1 (/.f64 b2 a2))))
  (log.f64 (/.f64 a1 (*.f64 b1 (/.f64 b2 a2))))
  (pow.f64 (/.f64 a1 (*.f64 b1 (/.f64 b2 a2))) 3)
  (*.f64 (cbrt.f64 (/.f64 a1 (*.f64 b1 (/.f64 b2 a2)))) (cbrt.f64 (/.f64 a1 (*.f64 b1 (/.f64 b2 a2)))))
  (cbrt.f64 (/.f64 a1 (*.f64 b1 (/.f64 b2 a2))))
  (pow.f64 (/.f64 a1 (*.f64 b1 (/.f64 b2 a2))) 3)
  (pow.f64 (/.f64 a1 (*.f64 b1 (/.f64 b2 a2))) 3)
  (pow.f64 (/.f64 a1 (*.f64 b1 (/.f64 b2 a2))) 3)
  (sqrt.f64 (/.f64 a1 (*.f64 b1 (/.f64 b2 a2))))
  (sqrt.f64 (/.f64 a1 (*.f64 b1 (/.f64 b2 a2))))
  (neg.f64 a1)
  (neg.f64 (*.f64 b1 (/.f64 b2 a2)))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) b1)
  (/.f64 (cbrt.f64 a1) (/.f64 b2 a2))
  (/.f64 (sqrt.f64 a1) b1)
  (/.f64 (sqrt.f64 a1) (/.f64 b2 a2))
  (/.f64 1 b1)
  (/.f64 a1 (/.f64 b2 a2))
  (/.f64 b1 (/.f64 a1 (/.f64 b2 a2)))
  (/.f64 a2 (*.f64 b1 b2))
  (/.f64 a1 (*.f64 b1 b2))
  (/.f64 b1 (/.f64 (cbrt.f64 a1) (/.f64 b2 a2)))
  (/.f64 b1 (/.f64 (sqrt.f64 a1) (/.f64 b2 a2)))
  (/.f64 b1 (/.f64 a1 (/.f64 b2 a2)))
  (/.f64 a1 b1)
  (*.f64 b1 (/.f64 b2 a2))
  (log.f64 (*.f64 b1 (/.f64 b2 a2)))
  (log.f64 (*.f64 b1 (/.f64 b2 a2)))
  (exp.f64 (*.f64 b1 (/.f64 b2 a2)))
  (log.f64 (*.f64 b1 (/.f64 b2 a2)))
  (pow.f64 (*.f64 b1 (/.f64 b2 a2)) 3)
  (*.f64 (cbrt.f64 (*.f64 b1 (/.f64 b2 a2))) (cbrt.f64 (*.f64 b1 (/.f64 b2 a2))))
  (cbrt.f64 (*.f64 b1 (/.f64 b2 a2)))
  (pow.f64 (*.f64 b1 (/.f64 b2 a2)) 3)
  (pow.f64 (*.f64 b1 (/.f64 b2 a2)) 3)
  (sqrt.f64 (*.f64 b1 (/.f64 b2 a2)))
  (sqrt.f64 (*.f64 b1 (/.f64 b2 a2)))
  (*.f64 (sqrt.f64 b1) (sqrt.f64 (/.f64 b2 a2)))
  (*.f64 (sqrt.f64 b1) (sqrt.f64 (/.f64 b2 a2)))
  (*.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 b2) (sqrt.f64 a2)))
  (*.f64 (sqrt.f64 b1) (/.f64 (sqrt.f64 b2) (sqrt.f64 a2)))
  (*.f64 b1 b2)
  (*.f64 (/.f64 b2 a2) (cbrt.f64 b1))
  (*.f64 (/.f64 b2 a2) (sqrt.f64 b1))
  (*.f64 b1 (/.f64 b2 a2))
  (*.f64 b1 (*.f64 (cbrt.f64 (/.f64 b2 a2)) (cbrt.f64 (/.f64 b2 a2))))
  (*.f64 b1 (sqrt.f64 (/.f64 b2 a2)))
  (*.f64 b1 (/.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)) (*.f64 (cbrt.f64 a2) (cbrt.f64 a2))))
  (*.f64 b1 (/.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)) (sqrt.f64 a2)))
  (*.f64 b1 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (*.f64 b1 (/.f64 (sqrt.f64 b2) (*.f64 (cbrt.f64 a2) (cbrt.f64 a2))))
  (*.f64 b1 (/.f64 (sqrt.f64 b2) (sqrt.f64 a2)))
  (*.f64 b1 (sqrt.f64 b2))
  (/.f64 b1 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)))
  (/.f64 b1 (sqrt.f64 a2))
  b1
  b1
  (*.f64 b1 b2)
  (/.f64 a1 (*.f64 b1 (/.f64 b2 a2)))
  (/.f64 a1 (*.f64 b1 (/.f64 b2 a2)))
  (/.f64 a1 (*.f64 b1 (/.f64 b2 a2)))
  (*.f64 b1 (/.f64 b2 a2))
  (*.f64 b1 (/.f64 b2 a2))
  (*.f64 b1 (/.f64 b2 a2))
1.537 * * * [progress]: adding candidates to table
1.559 * [progress]: [Phase 3 of 3] Extracting.
1.559 * * [regime]: Finding splitpoints for: (#<alt (λ (a1 a2 b1 b2) (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (*.f64 b1 (/.f64 b2 a2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a1 b1) (/.f64 a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (*.f64 (/.f64 b1 a2) b2)))>)
1.560 * * * [regime-changes]: Trying 7 branch expressions: ((*.f64 b1 b2) (*.f64 a1 a2) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) b2 b1 a2 a1)
1.560 * * * * [regimes]: Trying to branch on (*.f64 b1 b2) from (#<alt (λ (a1 a2 b1 b2) (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (*.f64 b1 (/.f64 b2 a2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a1 b1) (/.f64 a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (*.f64 (/.f64 b1 a2) b2)))>)
1.584 * * * * [regimes]: Trying to branch on (*.f64 b1 b2) from (#<alt (λ (a1 a2 b1 b2) (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))>)
1.598 * * * * [regimes]: Trying to branch on (*.f64 a1 a2) from (#<alt (λ (a1 a2 b1 b2) (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (*.f64 b1 (/.f64 b2 a2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a1 b1) (/.f64 a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (*.f64 (/.f64 b1 a2) b2)))>)
1.631 * * * * [regimes]: Trying to branch on (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) from (#<alt (λ (a1 a2 b1 b2) (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (*.f64 b1 (/.f64 b2 a2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a1 b1) (/.f64 a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (*.f64 (/.f64 b1 a2) b2)))>)
1.661 * * * * [regimes]: Trying to branch on b2 from (#<alt (λ (a1 a2 b1 b2) (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (*.f64 b1 (/.f64 b2 a2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a1 b1) (/.f64 a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (*.f64 (/.f64 b1 a2) b2)))>)
1.722 * * * * [regimes]: Trying to branch on b1 from (#<alt (λ (a1 a2 b1 b2) (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (*.f64 b1 (/.f64 b2 a2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a1 b1) (/.f64 a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (*.f64 (/.f64 b1 a2) b2)))>)
1.761 * * * * [regimes]: Trying to branch on a2 from (#<alt (λ (a1 a2 b1 b2) (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (*.f64 b1 (/.f64 b2 a2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a1 b1) (/.f64 a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (*.f64 (/.f64 b1 a2) b2)))>)
1.798 * * * * [regimes]: Trying to branch on a1 from (#<alt (λ (a1 a2 b1 b2) (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (*.f64 b1 (/.f64 b2 a2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a1 b1) (/.f64 a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (*.f64 (/.f64 b1 a2) b2)))>)
1.837 * * * [regime]: Found split indices: #<option (#s(si 5 12) #s(si 1 82) #s(si 3 166) #s(si 1 236) #s(si 2 255))>
1.837 * [binary-search]: Only using regimes for bounds on (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) and (#<alt (λ (a1 a2 b1 b2) (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (*.f64 b1 (/.f64 b2 a2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a1 b1) (/.f64 a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (*.f64 (/.f64 b1 a2) b2)))>)
1.838 * [regimes]: Found splitpoints: (#s(sp 5 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) -inf.0) #s(sp 1 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) -1.1495903438608043e-269) #s(sp 3 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 8.502183148657041e-278) #s(sp 1 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 3.4785446898653294e+247) #s(sp 2 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) +nan.0)) , with alts (#<alt (λ (a1 a2 b1 b2) (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (*.f64 b1 (/.f64 b2 a2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a1 b1) (/.f64 a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (*.f64 (/.f64 b1 a2) b2)))>)
1.838 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<=.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) -inf.0) (*.f64 (/.f64 a1 b1) (/.f64 a2 b2)) (if (<=.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) -6837841116575219/594806763391113225119224999259960224052504080663757783622308743726376262864161749418067325798462540235919489516077189220181834098217962283116332232440957850313188336178983949577074563933719094748095678312940574882427099482751152035262839576139463233204818042181657565129506139525873664) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) (if (<=.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 6787599938854619/79833612381388792466254908521473542642698050417418301660101889697488475674758562631398318619705428043573697873767699809758897519535743746429566871931393256812800226918043427060701508857774519487306134269781756959733232418204834815555554210737921766300284836275030241665694339809213760397115392) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))) (if (<=.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 34785446898653293784100028711138029233960733786896310027208273243726685700167486109835506477529301810572807017828413342534610593283773709989731155511138710130661589994890546556416931056047125293441417739440856494594331016778213862446036140108546048) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2))))))
1.841 * * [simplify]: iteration  0 :  33  enodes  (cost  110 )
1.841 * * [simplify]: iteration  1 :  33  enodes  (cost  110 )
1.842 * [simplify]: Simplified to:
   (if (<=.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) -inf.0) (*.f64 (/.f64 a1 b1) (/.f64 a2 b2)) (if (<=.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) -6837841116575219/594806763391113225119224999259960224052504080663757783622308743726376262864161749418067325798462540235919489516077189220181834098217962283116332232440957850313188336178983949577074563933719094748095678312940574882427099482751152035262839576139463233204818042181657565129506139525873664) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) (if (<=.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 6787599938854619/79833612381388792466254908521473542642698050417418301660101889697488475674758562631398318619705428043573697873767699809758897519535743746429566871931393256812800226918043427060701508857774519487306134269781756959733232418204834815555554210737921766300284836275030241665694339809213760397115392) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))) (if (<=.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 34785446898653293784100028711138029233960733786896310027208273243726685700167486109835506477529301810572807017828413342534610593283773709989731155511138710130661589994890546556416931056047125293441417739440856494594331016778213862446036140108546048) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2))))))
2.469 * [regime-testing]: End program error score: 3.5513280108024396
2.485 * [regime-testing]: Target error score: 11.389999888158409