6.045 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.590 * * * [progress]: [2/2] Setting up program.
0.591 * [progress]: [Phase 2 of 3] Improving.
0.593 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
0.604 * * [simplify]: iteration  0 :  68  enodes  (cost  10 )
0.604 * * [simplify]: iteration  1 :  68  enodes  (cost  10 )
0.605 * [simplify]: Simplified to:
   (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
0.605 * * [progress]: iteration 1 / 4
0.605 * * * [progress]: picking best candidate
0.606 * * * * [pick]: Picked  #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))>
0.606 * * * [progress]: localizing error
0.612 * * * [progress]: generating rewritten candidates
0.612 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.619 * * * [progress]: generating series expansions
0.619 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.620 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (a1 a2 b1 b2) around 0
0.620 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2
0.620 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.620 * [taylor]: Taking taylor expansion of a1 in b2
0.620 * [taylor]: Taking taylor expansion of a2 in b2
0.620 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.620 * [taylor]: Taking taylor expansion of b1 in b2
0.620 * [taylor]: Taking taylor expansion of b2 in b2
0.621 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1
0.621 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.621 * [taylor]: Taking taylor expansion of a1 in b1
0.621 * [taylor]: Taking taylor expansion of a2 in b1
0.621 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.621 * [taylor]: Taking taylor expansion of b1 in b1
0.621 * [taylor]: Taking taylor expansion of b2 in b1
0.622 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
0.622 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.622 * [taylor]: Taking taylor expansion of a1 in a2
0.622 * [taylor]: Taking taylor expansion of a2 in a2
0.622 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.622 * [taylor]: Taking taylor expansion of b1 in a2
0.622 * [taylor]: Taking taylor expansion of b2 in a2
0.623 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
0.623 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.623 * [taylor]: Taking taylor expansion of a1 in a1
0.623 * [taylor]: Taking taylor expansion of a2 in a1
0.623 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.623 * [taylor]: Taking taylor expansion of b1 in a1
0.623 * [taylor]: Taking taylor expansion of b2 in a1
0.624 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
0.624 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.624 * [taylor]: Taking taylor expansion of a1 in a1
0.624 * [taylor]: Taking taylor expansion of a2 in a1
0.624 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.624 * [taylor]: Taking taylor expansion of b1 in a1
0.624 * [taylor]: Taking taylor expansion of b2 in a1
0.625 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2
0.625 * [taylor]: Taking taylor expansion of 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 (/ 1 (* b1 b2)) in b1
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.626 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
0.626 * [taylor]: Taking taylor expansion of b2 in b2
0.628 * [taylor]: Taking taylor expansion of 0 in a2
0.628 * [taylor]: Taking taylor expansion of 0 in b1
0.629 * [taylor]: Taking taylor expansion of 0 in b1
0.630 * [taylor]: Taking taylor expansion of 0 in b2
0.633 * [taylor]: Taking taylor expansion of 0 in a2
0.633 * [taylor]: Taking taylor expansion of 0 in b1
0.633 * [taylor]: Taking taylor expansion of 0 in b1
0.635 * [taylor]: Taking taylor expansion of 0 in b1
0.635 * [taylor]: Taking taylor expansion of 0 in b2
0.635 * [taylor]: Taking taylor expansion of 0 in b2
0.636 * [taylor]: Taking taylor expansion of 0 in b2
0.640 * [taylor]: Taking taylor expansion of 0 in a2
0.640 * [taylor]: Taking taylor expansion of 0 in b1
0.640 * [taylor]: Taking taylor expansion of 0 in b1
0.640 * [taylor]: Taking taylor expansion of 0 in b1
0.643 * [taylor]: Taking taylor expansion of 0 in b1
0.643 * [taylor]: Taking taylor expansion of 0 in b2
0.643 * [taylor]: Taking taylor expansion of 0 in b2
0.643 * [taylor]: Taking taylor expansion of 0 in b2
0.643 * [taylor]: Taking taylor expansion of 0 in b2
0.643 * [taylor]: Taking taylor expansion of 0 in b2
0.645 * [taylor]: Taking taylor expansion of 0 in b2
0.647 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 a2 b1 b2) around 0
0.647 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.647 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.647 * [taylor]: Taking taylor expansion of b1 in b2
0.647 * [taylor]: Taking taylor expansion of b2 in b2
0.647 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.647 * [taylor]: Taking taylor expansion of a1 in b2
0.647 * [taylor]: Taking taylor expansion of a2 in b2
0.648 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.648 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.648 * [taylor]: Taking taylor expansion of b1 in b1
0.648 * [taylor]: Taking taylor expansion of b2 in b1
0.648 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.648 * [taylor]: Taking taylor expansion of a1 in b1
0.648 * [taylor]: Taking taylor expansion of a2 in b1
0.649 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.649 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.649 * [taylor]: Taking taylor expansion of b1 in a2
0.649 * [taylor]: Taking taylor expansion of b2 in a2
0.649 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.649 * [taylor]: Taking taylor expansion of a1 in a2
0.649 * [taylor]: Taking taylor expansion of a2 in a2
0.650 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.650 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.650 * [taylor]: Taking taylor expansion of b1 in a1
0.650 * [taylor]: Taking taylor expansion of b2 in a1
0.650 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.650 * [taylor]: Taking taylor expansion of a1 in a1
0.650 * [taylor]: Taking taylor expansion of a2 in a1
0.651 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.651 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.651 * [taylor]: Taking taylor expansion of b1 in a1
0.651 * [taylor]: Taking taylor expansion of b2 in a1
0.651 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.651 * [taylor]: Taking taylor expansion of a1 in a1
0.651 * [taylor]: Taking taylor expansion of a2 in a1
0.653 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
0.653 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.653 * [taylor]: Taking taylor expansion of b1 in a2
0.653 * [taylor]: Taking taylor expansion of b2 in a2
0.653 * [taylor]: Taking taylor expansion of a2 in a2
0.653 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.653 * [taylor]: Taking taylor expansion of b1 in b1
0.653 * [taylor]: Taking taylor expansion of b2 in b1
0.653 * [taylor]: Taking taylor expansion of b2 in b2
0.655 * [taylor]: Taking taylor expansion of 0 in a2
0.656 * [taylor]: Taking taylor expansion of 0 in b1
0.656 * [taylor]: Taking taylor expansion of 0 in b2
0.656 * [taylor]: Taking taylor expansion of 0 in b2
0.658 * [taylor]: Taking taylor expansion of 0 in a2
0.658 * [taylor]: Taking taylor expansion of 0 in b1
0.658 * [taylor]: Taking taylor expansion of 0 in b2
0.659 * [taylor]: Taking taylor expansion of 0 in b1
0.659 * [taylor]: Taking taylor expansion of 0 in b2
0.659 * [taylor]: Taking taylor expansion of 0 in b2
0.663 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 a2 b1 b2) around 0
0.663 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.663 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.663 * [taylor]: Taking taylor expansion of b1 in b2
0.663 * [taylor]: Taking taylor expansion of b2 in b2
0.663 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.663 * [taylor]: Taking taylor expansion of a1 in b2
0.663 * [taylor]: Taking taylor expansion of a2 in b2
0.664 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.664 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.664 * [taylor]: Taking taylor expansion of b1 in b1
0.664 * [taylor]: Taking taylor expansion of b2 in b1
0.664 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.664 * [taylor]: Taking taylor expansion of a1 in b1
0.664 * [taylor]: Taking taylor expansion of a2 in b1
0.665 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.665 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.665 * [taylor]: Taking taylor expansion of b1 in a2
0.665 * [taylor]: Taking taylor expansion of b2 in a2
0.665 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.665 * [taylor]: Taking taylor expansion of a1 in a2
0.665 * [taylor]: Taking taylor expansion of a2 in a2
0.666 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.666 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.666 * [taylor]: Taking taylor expansion of b1 in a1
0.666 * [taylor]: Taking taylor expansion of b2 in a1
0.666 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.666 * [taylor]: Taking taylor expansion of a1 in a1
0.666 * [taylor]: Taking taylor expansion of a2 in a1
0.667 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.667 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.667 * [taylor]: Taking taylor expansion of b1 in a1
0.667 * [taylor]: Taking taylor expansion of b2 in a1
0.667 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.667 * [taylor]: Taking taylor expansion of a1 in a1
0.667 * [taylor]: Taking taylor expansion of a2 in a1
0.668 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
0.668 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.668 * [taylor]: Taking taylor expansion of b1 in a2
0.668 * [taylor]: Taking taylor expansion of b2 in a2
0.668 * [taylor]: Taking taylor expansion of a2 in a2
0.669 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.669 * [taylor]: Taking taylor expansion of b1 in b1
0.669 * [taylor]: Taking taylor expansion of b2 in b1
0.669 * [taylor]: Taking taylor expansion of b2 in b2
0.671 * [taylor]: Taking taylor expansion of 0 in a2
0.673 * [taylor]: Taking taylor expansion of 0 in b1
0.673 * [taylor]: Taking taylor expansion of 0 in b2
0.673 * [taylor]: Taking taylor expansion of 0 in b2
0.676 * [taylor]: Taking taylor expansion of 0 in a2
0.676 * [taylor]: Taking taylor expansion of 0 in b1
0.676 * [taylor]: Taking taylor expansion of 0 in b2
0.678 * [taylor]: Taking taylor expansion of 0 in b1
0.678 * [taylor]: Taking taylor expansion of 0 in b2
0.678 * [taylor]: Taking taylor expansion of 0 in b2
0.680 * * * [progress]: simplifying candidates
0.681 * [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.750 * * [simplify]: iteration  0 :  5101  enodes  (cost  280 )
0.752 * [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.752 * * * [progress]: adding candidates to table
0.767 * * [progress]: iteration 2 / 4
0.767 * * * [progress]: picking best candidate
0.772 * * * * [pick]: Picked  #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))>
0.772 * * * [progress]: localizing error
0.779 * * * [progress]: generating rewritten candidates
0.779 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.794 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.832 * * * [progress]: generating series expansions
0.832 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.833 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (a1 b1 a2 b2) around 0
0.833 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2
0.833 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.833 * [taylor]: Taking taylor expansion of a1 in b2
0.833 * [taylor]: Taking taylor expansion of a2 in b2
0.833 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.833 * [taylor]: Taking taylor expansion of b1 in b2
0.833 * [taylor]: Taking taylor expansion of b2 in b2
0.834 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
0.834 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.834 * [taylor]: Taking taylor expansion of a1 in a2
0.834 * [taylor]: Taking taylor expansion of a2 in a2
0.834 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.834 * [taylor]: Taking taylor expansion of b1 in a2
0.835 * [taylor]: Taking taylor expansion of b2 in a2
0.835 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1
0.835 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.836 * [taylor]: Taking taylor expansion of a1 in b1
0.836 * [taylor]: Taking taylor expansion of a2 in b1
0.836 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.836 * [taylor]: Taking taylor expansion of b1 in b1
0.836 * [taylor]: Taking taylor expansion of b2 in b1
0.837 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
0.837 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.837 * [taylor]: Taking taylor expansion of a1 in a1
0.837 * [taylor]: Taking taylor expansion of a2 in a1
0.837 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.837 * [taylor]: Taking taylor expansion of b1 in a1
0.837 * [taylor]: Taking taylor expansion of b2 in a1
0.838 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
0.838 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.838 * [taylor]: Taking taylor expansion of a1 in a1
0.838 * [taylor]: Taking taylor expansion of a2 in a1
0.838 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.838 * [taylor]: Taking taylor expansion of b1 in a1
0.838 * [taylor]: Taking taylor expansion of b2 in a1
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 (/ a2 b2) in a2
0.839 * [taylor]: Taking taylor expansion of a2 in a2
0.839 * [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 b2 in b2
0.841 * [taylor]: Taking taylor expansion of 0 in b1
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.846 * [taylor]: Taking taylor expansion of 0 in b1
0.846 * [taylor]: Taking taylor expansion of 0 in a2
0.846 * [taylor]: Taking taylor expansion of 0 in b2
0.848 * [taylor]: Taking taylor expansion of 0 in a2
0.848 * [taylor]: Taking taylor expansion of 0 in b2
0.848 * [taylor]: Taking taylor expansion of 0 in b2
0.849 * [taylor]: Taking taylor expansion of 0 in b2
0.853 * [taylor]: Taking taylor expansion of 0 in b1
0.853 * [taylor]: Taking taylor expansion of 0 in a2
0.853 * [taylor]: Taking taylor expansion of 0 in b2
0.853 * [taylor]: Taking taylor expansion of 0 in a2
0.853 * [taylor]: Taking taylor expansion of 0 in b2
0.856 * [taylor]: Taking taylor expansion of 0 in a2
0.856 * [taylor]: Taking taylor expansion of 0 in b2
0.856 * [taylor]: Taking taylor expansion of 0 in b2
0.856 * [taylor]: Taking taylor expansion of 0 in b2
0.856 * [taylor]: Taking taylor expansion of 0 in b2
0.857 * [taylor]: Taking taylor expansion of 0 in b2
0.859 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 b1 a2 b2) around 0
0.859 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.859 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.859 * [taylor]: Taking taylor expansion of b1 in b2
0.859 * [taylor]: Taking taylor expansion of b2 in b2
0.859 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.859 * [taylor]: Taking taylor expansion of a1 in b2
0.859 * [taylor]: Taking taylor expansion of a2 in b2
0.860 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.860 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.860 * [taylor]: Taking taylor expansion of b1 in a2
0.860 * [taylor]: Taking taylor expansion of b2 in a2
0.860 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.860 * [taylor]: Taking taylor expansion of a1 in a2
0.861 * [taylor]: Taking taylor expansion of a2 in a2
0.861 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.862 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.862 * [taylor]: Taking taylor expansion of b1 in b1
0.862 * [taylor]: Taking taylor expansion of b2 in b1
0.862 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.862 * [taylor]: Taking taylor expansion of a1 in b1
0.862 * [taylor]: Taking taylor expansion of a2 in b1
0.863 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.863 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.863 * [taylor]: Taking taylor expansion of b1 in a1
0.863 * [taylor]: Taking taylor expansion of b2 in a1
0.863 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.863 * [taylor]: Taking taylor expansion of a1 in a1
0.863 * [taylor]: Taking taylor expansion of a2 in a1
0.864 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.864 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.864 * [taylor]: Taking taylor expansion of b1 in a1
0.864 * [taylor]: Taking taylor expansion of b2 in a1
0.864 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.864 * [taylor]: Taking taylor expansion of a1 in a1
0.864 * [taylor]: Taking taylor expansion of a2 in a1
0.865 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1
0.865 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.865 * [taylor]: Taking taylor expansion of b1 in b1
0.865 * [taylor]: Taking taylor expansion of b2 in b1
0.865 * [taylor]: Taking taylor expansion of a2 in b1
0.865 * [taylor]: Taking taylor expansion of (/ b2 a2) in a2
0.865 * [taylor]: Taking taylor expansion of b2 in a2
0.865 * [taylor]: Taking taylor expansion of a2 in a2
0.866 * [taylor]: Taking taylor expansion of b2 in b2
0.867 * [taylor]: Taking taylor expansion of 0 in b1
0.867 * [taylor]: Taking taylor expansion of 0 in a2
0.868 * [taylor]: Taking taylor expansion of 0 in a2
0.869 * [taylor]: Taking taylor expansion of 0 in b2
0.871 * [taylor]: Taking taylor expansion of 0 in b1
0.871 * [taylor]: Taking taylor expansion of 0 in a2
0.871 * [taylor]: Taking taylor expansion of 0 in a2
0.872 * [taylor]: Taking taylor expansion of 0 in a2
0.872 * [taylor]: Taking taylor expansion of 0 in b2
0.872 * [taylor]: Taking taylor expansion of 0 in b2
0.873 * [taylor]: Taking taylor expansion of 0 in b2
0.877 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 b1 a2 b2) around 0
0.877 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.877 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.877 * [taylor]: Taking taylor expansion of b1 in b2
0.877 * [taylor]: Taking taylor expansion of b2 in b2
0.877 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.877 * [taylor]: Taking taylor expansion of a1 in b2
0.877 * [taylor]: Taking taylor expansion of a2 in b2
0.878 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.878 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.878 * [taylor]: Taking taylor expansion of b1 in a2
0.878 * [taylor]: Taking taylor expansion of b2 in a2
0.878 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.878 * [taylor]: Taking taylor expansion of a1 in a2
0.878 * [taylor]: Taking taylor expansion of a2 in a2
0.879 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.879 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.879 * [taylor]: Taking taylor expansion of b1 in b1
0.879 * [taylor]: Taking taylor expansion of b2 in b1
0.879 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.879 * [taylor]: Taking taylor expansion of a1 in b1
0.879 * [taylor]: Taking taylor expansion of a2 in b1
0.880 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.880 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.880 * [taylor]: Taking taylor expansion of b1 in a1
0.880 * [taylor]: Taking taylor expansion of b2 in a1
0.880 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.880 * [taylor]: Taking taylor expansion of a1 in a1
0.880 * [taylor]: Taking taylor expansion of a2 in a1
0.881 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.881 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.881 * [taylor]: Taking taylor expansion of b1 in a1
0.881 * [taylor]: Taking taylor expansion of b2 in a1
0.881 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.881 * [taylor]: Taking taylor expansion of a1 in a1
0.881 * [taylor]: Taking taylor expansion of a2 in a1
0.882 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1
0.882 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.882 * [taylor]: Taking taylor expansion of b1 in b1
0.882 * [taylor]: Taking taylor expansion of b2 in b1
0.882 * [taylor]: Taking taylor expansion of a2 in b1
0.883 * [taylor]: Taking taylor expansion of (/ b2 a2) in a2
0.883 * [taylor]: Taking taylor expansion of b2 in a2
0.883 * [taylor]: Taking taylor expansion of a2 in a2
0.883 * [taylor]: Taking taylor expansion of b2 in b2
0.884 * [taylor]: Taking taylor expansion of 0 in b1
0.884 * [taylor]: Taking taylor expansion of 0 in a2
0.885 * [taylor]: Taking taylor expansion of 0 in a2
0.886 * [taylor]: Taking taylor expansion of 0 in b2
0.888 * [taylor]: Taking taylor expansion of 0 in b1
0.888 * [taylor]: Taking taylor expansion of 0 in a2
0.888 * [taylor]: Taking taylor expansion of 0 in a2
0.889 * [taylor]: Taking taylor expansion of 0 in a2
0.889 * [taylor]: Taking taylor expansion of 0 in b2
0.889 * [taylor]: Taking taylor expansion of 0 in b2
0.890 * [taylor]: Taking taylor expansion of 0 in b2
0.893 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.893 * [approximate]: Taking taylor expansion of (/ (* b1 b2) a2) in (b1 a2 b2) around 0
0.893 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b2
0.893 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.893 * [taylor]: Taking taylor expansion of b1 in b2
0.893 * [taylor]: Taking taylor expansion of b2 in b2
0.893 * [taylor]: Taking taylor expansion of a2 in b2
0.894 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
0.894 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.894 * [taylor]: Taking taylor expansion of b1 in a2
0.894 * [taylor]: Taking taylor expansion of b2 in a2
0.894 * [taylor]: Taking taylor expansion of a2 in a2
0.894 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1
0.894 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.894 * [taylor]: Taking taylor expansion of b1 in b1
0.894 * [taylor]: Taking taylor expansion of b2 in b1
0.894 * [taylor]: Taking taylor expansion of a2 in b1
0.895 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1
0.895 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.895 * [taylor]: Taking taylor expansion of b1 in b1
0.895 * [taylor]: Taking taylor expansion of b2 in b1
0.895 * [taylor]: Taking taylor expansion of a2 in b1
0.896 * [taylor]: Taking taylor expansion of (/ b2 a2) in a2
0.896 * [taylor]: Taking taylor expansion of b2 in a2
0.896 * [taylor]: Taking taylor expansion of a2 in a2
0.896 * [taylor]: Taking taylor expansion of b2 in b2
0.897 * [taylor]: Taking taylor expansion of 0 in a2
0.898 * [taylor]: Taking taylor expansion of 0 in b2
0.904 * [taylor]: Taking taylor expansion of 0 in a2
0.904 * [taylor]: Taking taylor expansion of 0 in b2
0.905 * [taylor]: Taking taylor expansion of 0 in b2
0.907 * [approximate]: Taking taylor expansion of (/ a2 (* b1 b2)) in (b1 a2 b2) around 0
0.907 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b2
0.907 * [taylor]: Taking taylor expansion of a2 in b2
0.907 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.907 * [taylor]: Taking taylor expansion of b1 in b2
0.907 * [taylor]: Taking taylor expansion of b2 in b2
0.908 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2
0.908 * [taylor]: Taking taylor expansion of a2 in a2
0.908 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.908 * [taylor]: Taking taylor expansion of b1 in a2
0.908 * [taylor]: Taking taylor expansion of b2 in a2
0.908 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b1
0.908 * [taylor]: Taking taylor expansion of a2 in b1
0.908 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.908 * [taylor]: Taking taylor expansion of b1 in b1
0.908 * [taylor]: Taking taylor expansion of b2 in b1
0.909 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b1
0.909 * [taylor]: Taking taylor expansion of a2 in b1
0.909 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.909 * [taylor]: Taking taylor expansion of b1 in b1
0.909 * [taylor]: Taking taylor expansion of b2 in b1
0.910 * [taylor]: Taking taylor expansion of (/ a2 b2) in a2
0.910 * [taylor]: Taking taylor expansion of a2 in a2
0.910 * [taylor]: Taking taylor expansion of b2 in a2
0.910 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
0.910 * [taylor]: Taking taylor expansion of b2 in b2
0.911 * [taylor]: Taking taylor expansion of 0 in a2
0.911 * [taylor]: Taking taylor expansion of 0 in b2
0.912 * [taylor]: Taking taylor expansion of 0 in b2
0.914 * [taylor]: Taking taylor expansion of 0 in a2
0.914 * [taylor]: Taking taylor expansion of 0 in b2
0.914 * [taylor]: Taking taylor expansion of 0 in b2
0.915 * [taylor]: Taking taylor expansion of 0 in b2
0.917 * [taylor]: Taking taylor expansion of 0 in a2
0.917 * [taylor]: Taking taylor expansion of 0 in b2
0.917 * [taylor]: Taking taylor expansion of 0 in b2
0.917 * [taylor]: Taking taylor expansion of 0 in b2
0.918 * [taylor]: Taking taylor expansion of 0 in b2
0.921 * [approximate]: Taking taylor expansion of (* -1 (/ a2 (* b1 b2))) in (b1 a2 b2) around 0
0.921 * [taylor]: Taking taylor expansion of (* -1 (/ a2 (* b1 b2))) in b2
0.921 * [taylor]: Taking taylor expansion of -1 in b2
0.921 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b2
0.921 * [taylor]: Taking taylor expansion of a2 in b2
0.921 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.921 * [taylor]: Taking taylor expansion of b1 in b2
0.921 * [taylor]: Taking taylor expansion of b2 in b2
0.922 * [taylor]: Taking taylor expansion of (* -1 (/ a2 (* b1 b2))) in a2
0.922 * [taylor]: Taking taylor expansion of -1 in a2
0.922 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2
0.922 * [taylor]: Taking taylor expansion of a2 in a2
0.922 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.922 * [taylor]: Taking taylor expansion of b1 in a2
0.922 * [taylor]: Taking taylor expansion of b2 in a2
0.922 * [taylor]: Taking taylor expansion of (* -1 (/ a2 (* b1 b2))) in b1
0.922 * [taylor]: Taking taylor expansion of -1 in b1
0.922 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b1
0.922 * [taylor]: Taking taylor expansion of a2 in b1
0.922 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.922 * [taylor]: Taking taylor expansion of b1 in b1
0.922 * [taylor]: Taking taylor expansion of b2 in b1
0.923 * [taylor]: Taking taylor expansion of (* -1 (/ a2 (* b1 b2))) in b1
0.923 * [taylor]: Taking taylor expansion of -1 in b1
0.923 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b1
0.923 * [taylor]: Taking taylor expansion of a2 in b1
0.923 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.923 * [taylor]: Taking taylor expansion of b1 in b1
0.923 * [taylor]: Taking taylor expansion of b2 in b1
0.924 * [taylor]: Taking taylor expansion of (* -1 (/ a2 b2)) in a2
0.924 * [taylor]: Taking taylor expansion of -1 in a2
0.924 * [taylor]: Taking taylor expansion of (/ a2 b2) in a2
0.924 * [taylor]: Taking taylor expansion of a2 in a2
0.924 * [taylor]: Taking taylor expansion of b2 in a2
0.924 * [taylor]: Taking taylor expansion of (/ -1 b2) in b2
0.924 * [taylor]: Taking taylor expansion of -1 in b2
0.924 * [taylor]: Taking taylor expansion of b2 in b2
0.926 * [taylor]: Taking taylor expansion of 0 in a2
0.926 * [taylor]: Taking taylor expansion of 0 in b2
0.927 * [taylor]: Taking taylor expansion of 0 in b2
0.930 * [taylor]: Taking taylor expansion of 0 in a2
0.930 * [taylor]: Taking taylor expansion of 0 in b2
0.930 * [taylor]: Taking taylor expansion of 0 in b2
0.931 * [taylor]: Taking taylor expansion of 0 in b2
0.934 * [taylor]: Taking taylor expansion of 0 in a2
0.934 * [taylor]: Taking taylor expansion of 0 in b2
0.934 * [taylor]: Taking taylor expansion of 0 in b2
0.934 * [taylor]: Taking taylor expansion of 0 in b2
0.936 * [taylor]: Taking taylor expansion of 0 in b2
0.938 * * * [progress]: simplifying candidates
0.942 * [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)
1.029 * * [simplify]: iteration  0 :  4975  enodes  (cost  6175 )
1.030 * * [simplify]: iteration  1 :  4975  enodes  (cost  6175 )
1.059 * [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.060 * * * [progress]: adding candidates to table
1.252 * * [progress]: iteration 3 / 4
1.252 * * * [progress]: picking best candidate
1.257 * * * * [pick]: Picked  #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 1 b1) (*.f64 a1 (/.f64 a2 b2))))>
1.258 * * * [progress]: localizing error
1.264 * * * [progress]: generating rewritten candidates
1.264 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
1.275 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
1.289 * * * [progress]: generating series expansions
1.289 * * * * [progress]: [ 1 / 2 ] generating series at (2)
1.290 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (b1 a1 a2 b2) around 0
1.290 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2
1.290 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
1.290 * [taylor]: Taking taylor expansion of a1 in b2
1.290 * [taylor]: Taking taylor expansion of a2 in b2
1.290 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.290 * [taylor]: Taking taylor expansion of b1 in b2
1.290 * [taylor]: Taking taylor expansion of b2 in b2
1.291 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
1.291 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.291 * [taylor]: Taking taylor expansion of a1 in a2
1.291 * [taylor]: Taking taylor expansion of a2 in a2
1.291 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.291 * [taylor]: Taking taylor expansion of b1 in a2
1.291 * [taylor]: Taking taylor expansion of b2 in a2
1.292 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
1.292 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.292 * [taylor]: Taking taylor expansion of a1 in a1
1.292 * [taylor]: Taking taylor expansion of a2 in a1
1.292 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.292 * [taylor]: Taking taylor expansion of b1 in a1
1.292 * [taylor]: Taking taylor expansion of b2 in a1
1.293 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1
1.293 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.293 * [taylor]: Taking taylor expansion of a1 in b1
1.293 * [taylor]: Taking taylor expansion of a2 in b1
1.293 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.293 * [taylor]: Taking taylor expansion of b1 in b1
1.293 * [taylor]: Taking taylor expansion of b2 in b1
1.294 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1
1.294 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.294 * [taylor]: Taking taylor expansion of a1 in b1
1.294 * [taylor]: Taking taylor expansion of a2 in b1
1.294 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.294 * [taylor]: Taking taylor expansion of b1 in b1
1.294 * [taylor]: Taking taylor expansion of b2 in b1
1.296 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b2) in a1
1.296 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.296 * [taylor]: Taking taylor expansion of a1 in a1
1.296 * [taylor]: Taking taylor expansion of a2 in a1
1.296 * [taylor]: Taking taylor expansion of b2 in a1
1.296 * [taylor]: Taking taylor expansion of (/ a2 b2) in a2
1.296 * [taylor]: Taking taylor expansion of a2 in a2
1.296 * [taylor]: Taking taylor expansion of b2 in a2
1.296 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
1.296 * [taylor]: Taking taylor expansion of b2 in b2
1.298 * [taylor]: Taking taylor expansion of 0 in a1
1.298 * [taylor]: Taking taylor expansion of 0 in a2
1.298 * [taylor]: Taking taylor expansion of 0 in b2
1.299 * [taylor]: Taking taylor expansion of 0 in a2
1.299 * [taylor]: Taking taylor expansion of 0 in b2
1.300 * [taylor]: Taking taylor expansion of 0 in b2
1.302 * [taylor]: Taking taylor expansion of 0 in a1
1.302 * [taylor]: Taking taylor expansion of 0 in a2
1.302 * [taylor]: Taking taylor expansion of 0 in b2
1.302 * [taylor]: Taking taylor expansion of 0 in a2
1.302 * [taylor]: Taking taylor expansion of 0 in b2
1.304 * [taylor]: Taking taylor expansion of 0 in a2
1.304 * [taylor]: Taking taylor expansion of 0 in b2
1.304 * [taylor]: Taking taylor expansion of 0 in b2
1.304 * [taylor]: Taking taylor expansion of 0 in b2
1.305 * [taylor]: Taking taylor expansion of 0 in b2
1.308 * [taylor]: Taking taylor expansion of 0 in a1
1.308 * [taylor]: Taking taylor expansion of 0 in a2
1.308 * [taylor]: Taking taylor expansion of 0 in b2
1.308 * [taylor]: Taking taylor expansion of 0 in a2
1.308 * [taylor]: Taking taylor expansion of 0 in b2
1.308 * [taylor]: Taking taylor expansion of 0 in a2
1.308 * [taylor]: Taking taylor expansion of 0 in b2
1.310 * [taylor]: Taking taylor expansion of 0 in a2
1.310 * [taylor]: Taking taylor expansion of 0 in b2
1.310 * [taylor]: Taking taylor expansion of 0 in b2
1.310 * [taylor]: Taking taylor expansion of 0 in b2
1.310 * [taylor]: Taking taylor expansion of 0 in b2
1.310 * [taylor]: Taking taylor expansion of 0 in b2
1.310 * [taylor]: Taking taylor expansion of 0 in b2
1.311 * [taylor]: Taking taylor expansion of 0 in b2
1.314 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (b1 a1 a2 b2) around 0
1.314 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
1.314 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.314 * [taylor]: Taking taylor expansion of b1 in b2
1.314 * [taylor]: Taking taylor expansion of b2 in b2
1.314 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
1.314 * [taylor]: Taking taylor expansion of a1 in b2
1.314 * [taylor]: Taking taylor expansion of a2 in b2
1.315 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
1.315 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.315 * [taylor]: Taking taylor expansion of b1 in a2
1.315 * [taylor]: Taking taylor expansion of b2 in a2
1.315 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.315 * [taylor]: Taking taylor expansion of a1 in a2
1.315 * [taylor]: Taking taylor expansion of a2 in a2
1.316 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
1.316 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.316 * [taylor]: Taking taylor expansion of b1 in a1
1.316 * [taylor]: Taking taylor expansion of b2 in a1
1.316 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.316 * [taylor]: Taking taylor expansion of a1 in a1
1.316 * [taylor]: Taking taylor expansion of a2 in a1
1.317 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
1.317 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.318 * [taylor]: Taking taylor expansion of b1 in b1
1.318 * [taylor]: Taking taylor expansion of b2 in b1
1.318 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.318 * [taylor]: Taking taylor expansion of a1 in b1
1.318 * [taylor]: Taking taylor expansion of a2 in b1
1.319 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
1.319 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.319 * [taylor]: Taking taylor expansion of b1 in b1
1.319 * [taylor]: Taking taylor expansion of b2 in b1
1.319 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.319 * [taylor]: Taking taylor expansion of a1 in b1
1.319 * [taylor]: Taking taylor expansion of a2 in b1
1.320 * [taylor]: Taking taylor expansion of (/ b2 (* a1 a2)) in a1
1.320 * [taylor]: Taking taylor expansion of b2 in a1
1.320 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.320 * [taylor]: Taking taylor expansion of a1 in a1
1.320 * [taylor]: Taking taylor expansion of a2 in a1
1.320 * [taylor]: Taking taylor expansion of (/ b2 a2) in a2
1.320 * [taylor]: Taking taylor expansion of b2 in a2
1.320 * [taylor]: Taking taylor expansion of a2 in a2
1.321 * [taylor]: Taking taylor expansion of b2 in b2
1.322 * [taylor]: Taking taylor expansion of 0 in a1
1.323 * [taylor]: Taking taylor expansion of 0 in a2
1.324 * [taylor]: Taking taylor expansion of 0 in b2
1.326 * [taylor]: Taking taylor expansion of 0 in a1
1.326 * [taylor]: Taking taylor expansion of 0 in a2
1.328 * [taylor]: Taking taylor expansion of 0 in a2
1.328 * [taylor]: Taking taylor expansion of 0 in b2
1.329 * [taylor]: Taking taylor expansion of 0 in b2
1.332 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (b1 a1 a2 b2) around 0
1.333 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
1.333 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.333 * [taylor]: Taking taylor expansion of b1 in b2
1.333 * [taylor]: Taking taylor expansion of b2 in b2
1.333 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
1.333 * [taylor]: Taking taylor expansion of a1 in b2
1.333 * [taylor]: Taking taylor expansion of a2 in b2
1.333 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
1.334 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.334 * [taylor]: Taking taylor expansion of b1 in a2
1.334 * [taylor]: Taking taylor expansion of b2 in a2
1.334 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.334 * [taylor]: Taking taylor expansion of a1 in a2
1.334 * [taylor]: Taking taylor expansion of a2 in a2
1.334 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
1.334 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.334 * [taylor]: Taking taylor expansion of b1 in a1
1.335 * [taylor]: Taking taylor expansion of b2 in a1
1.335 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.335 * [taylor]: Taking taylor expansion of a1 in a1
1.335 * [taylor]: Taking taylor expansion of a2 in a1
1.335 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
1.335 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.335 * [taylor]: Taking taylor expansion of b1 in b1
1.335 * [taylor]: Taking taylor expansion of b2 in b1
1.335 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.335 * [taylor]: Taking taylor expansion of a1 in b1
1.335 * [taylor]: Taking taylor expansion of a2 in b1
1.336 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
1.336 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.336 * [taylor]: Taking taylor expansion of b1 in b1
1.336 * [taylor]: Taking taylor expansion of b2 in b1
1.336 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.336 * [taylor]: Taking taylor expansion of a1 in b1
1.336 * [taylor]: Taking taylor expansion of a2 in b1
1.337 * [taylor]: Taking taylor expansion of (/ b2 (* a1 a2)) in a1
1.337 * [taylor]: Taking taylor expansion of b2 in a1
1.337 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.337 * [taylor]: Taking taylor expansion of a1 in a1
1.337 * [taylor]: Taking taylor expansion of a2 in a1
1.338 * [taylor]: Taking taylor expansion of (/ b2 a2) in a2
1.338 * [taylor]: Taking taylor expansion of b2 in a2
1.338 * [taylor]: Taking taylor expansion of a2 in a2
1.338 * [taylor]: Taking taylor expansion of b2 in b2
1.340 * [taylor]: Taking taylor expansion of 0 in a1
1.342 * [taylor]: Taking taylor expansion of 0 in a2
1.343 * [taylor]: Taking taylor expansion of 0 in b2
1.346 * [taylor]: Taking taylor expansion of 0 in a1
1.346 * [taylor]: Taking taylor expansion of 0 in a2
1.348 * [taylor]: Taking taylor expansion of 0 in a2
1.348 * [taylor]: Taking taylor expansion of 0 in b2
1.349 * [taylor]: Taking taylor expansion of 0 in b2
1.351 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
1.352 * [approximate]: Taking taylor expansion of (/ (* a1 a2) b2) in (a1 a2 b2) around 0
1.352 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b2) in b2
1.352 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
1.352 * [taylor]: Taking taylor expansion of a1 in b2
1.352 * [taylor]: Taking taylor expansion of a2 in b2
1.352 * [taylor]: Taking taylor expansion of b2 in b2
1.352 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b2) in a2
1.352 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.352 * [taylor]: Taking taylor expansion of a1 in a2
1.352 * [taylor]: Taking taylor expansion of a2 in a2
1.352 * [taylor]: Taking taylor expansion of b2 in a2
1.353 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b2) in a1
1.353 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.353 * [taylor]: Taking taylor expansion of a1 in a1
1.353 * [taylor]: Taking taylor expansion of a2 in a1
1.353 * [taylor]: Taking taylor expansion of b2 in a1
1.354 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b2) in a1
1.354 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.354 * [taylor]: Taking taylor expansion of a1 in a1
1.354 * [taylor]: Taking taylor expansion of a2 in a1
1.354 * [taylor]: Taking taylor expansion of b2 in a1
1.355 * [taylor]: Taking taylor expansion of (/ a2 b2) in a2
1.355 * [taylor]: Taking taylor expansion of a2 in a2
1.355 * [taylor]: Taking taylor expansion of b2 in a2
1.355 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
1.355 * [taylor]: Taking taylor expansion of b2 in b2
1.356 * [taylor]: Taking taylor expansion of 0 in a2
1.356 * [taylor]: Taking taylor expansion of 0 in b2
1.357 * [taylor]: Taking taylor expansion of 0 in b2
1.359 * [taylor]: Taking taylor expansion of 0 in a2
1.359 * [taylor]: Taking taylor expansion of 0 in b2
1.359 * [taylor]: Taking taylor expansion of 0 in b2
1.360 * [taylor]: Taking taylor expansion of 0 in b2
1.362 * [taylor]: Taking taylor expansion of 0 in a2
1.362 * [taylor]: Taking taylor expansion of 0 in b2
1.362 * [taylor]: Taking taylor expansion of 0 in b2
1.362 * [taylor]: Taking taylor expansion of 0 in b2
1.363 * [taylor]: Taking taylor expansion of 0 in b2
1.365 * [approximate]: Taking taylor expansion of (/ b2 (* a1 a2)) in (a1 a2 b2) around 0
1.365 * [taylor]: Taking taylor expansion of (/ b2 (* a1 a2)) in b2
1.365 * [taylor]: Taking taylor expansion of b2 in b2
1.365 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
1.365 * [taylor]: Taking taylor expansion of a1 in b2
1.365 * [taylor]: Taking taylor expansion of a2 in b2
1.365 * [taylor]: Taking taylor expansion of (/ b2 (* a1 a2)) in a2
1.365 * [taylor]: Taking taylor expansion of b2 in a2
1.365 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.365 * [taylor]: Taking taylor expansion of a1 in a2
1.365 * [taylor]: Taking taylor expansion of a2 in a2
1.366 * [taylor]: Taking taylor expansion of (/ b2 (* a1 a2)) in a1
1.366 * [taylor]: Taking taylor expansion of b2 in a1
1.366 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.366 * [taylor]: Taking taylor expansion of a1 in a1
1.366 * [taylor]: Taking taylor expansion of a2 in a1
1.367 * [taylor]: Taking taylor expansion of (/ b2 (* a1 a2)) in a1
1.367 * [taylor]: Taking taylor expansion of b2 in a1
1.367 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.367 * [taylor]: Taking taylor expansion of a1 in a1
1.367 * [taylor]: Taking taylor expansion of a2 in a1
1.368 * [taylor]: Taking taylor expansion of (/ b2 a2) in a2
1.368 * [taylor]: Taking taylor expansion of b2 in a2
1.368 * [taylor]: Taking taylor expansion of a2 in a2
1.368 * [taylor]: Taking taylor expansion of b2 in b2
1.369 * [taylor]: Taking taylor expansion of 0 in a2
1.370 * [taylor]: Taking taylor expansion of 0 in b2
1.371 * [taylor]: Taking taylor expansion of 0 in a2
1.371 * [taylor]: Taking taylor expansion of 0 in b2
1.372 * [taylor]: Taking taylor expansion of 0 in b2
1.375 * [approximate]: Taking taylor expansion of (* -1 (/ b2 (* a1 a2))) in (a1 a2 b2) around 0
1.375 * [taylor]: Taking taylor expansion of (* -1 (/ b2 (* a1 a2))) in b2
1.375 * [taylor]: Taking taylor expansion of -1 in b2
1.375 * [taylor]: Taking taylor expansion of (/ b2 (* a1 a2)) in b2
1.375 * [taylor]: Taking taylor expansion of b2 in b2
1.375 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
1.375 * [taylor]: Taking taylor expansion of a1 in b2
1.375 * [taylor]: Taking taylor expansion of a2 in b2
1.375 * [taylor]: Taking taylor expansion of (* -1 (/ b2 (* a1 a2))) in a2
1.375 * [taylor]: Taking taylor expansion of -1 in a2
1.375 * [taylor]: Taking taylor expansion of (/ b2 (* a1 a2)) in a2
1.375 * [taylor]: Taking taylor expansion of b2 in a2
1.375 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.375 * [taylor]: Taking taylor expansion of a1 in a2
1.375 * [taylor]: Taking taylor expansion of a2 in a2
1.376 * [taylor]: Taking taylor expansion of (* -1 (/ b2 (* a1 a2))) in a1
1.376 * [taylor]: Taking taylor expansion of -1 in a1
1.376 * [taylor]: Taking taylor expansion of (/ b2 (* a1 a2)) in a1
1.376 * [taylor]: Taking taylor expansion of b2 in a1
1.376 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.376 * [taylor]: Taking taylor expansion of a1 in a1
1.376 * [taylor]: Taking taylor expansion of a2 in a1
1.377 * [taylor]: Taking taylor expansion of (* -1 (/ b2 (* a1 a2))) in a1
1.377 * [taylor]: Taking taylor expansion of -1 in a1
1.377 * [taylor]: Taking taylor expansion of (/ b2 (* a1 a2)) in a1
1.377 * [taylor]: Taking taylor expansion of b2 in a1
1.377 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.377 * [taylor]: Taking taylor expansion of a1 in a1
1.377 * [taylor]: Taking taylor expansion of a2 in a1
1.377 * [taylor]: Taking taylor expansion of (* -1 (/ b2 a2)) in a2
1.377 * [taylor]: Taking taylor expansion of -1 in a2
1.378 * [taylor]: Taking taylor expansion of (/ b2 a2) in a2
1.378 * [taylor]: Taking taylor expansion of b2 in a2
1.378 * [taylor]: Taking taylor expansion of a2 in a2
1.378 * [taylor]: Taking taylor expansion of (* -1 b2) in b2
1.378 * [taylor]: Taking taylor expansion of -1 in b2
1.378 * [taylor]: Taking taylor expansion of b2 in b2
1.380 * [taylor]: Taking taylor expansion of 0 in a2
1.381 * [taylor]: Taking taylor expansion of 0 in b2
1.384 * [taylor]: Taking taylor expansion of 0 in a2
1.384 * [taylor]: Taking taylor expansion of 0 in b2
1.386 * [taylor]: Taking taylor expansion of 0 in b2
1.389 * * * [progress]: simplifying candidates
1.389 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (/.f64 1 b1) (*.f64 a1 (/.f64 a2 b2)))
  (*.f64 (/.f64 1 b1) (*.f64 a1 (/.f64 a2 b2)))
  (+.f64 (-.f64 (log.f64 1) (log.f64 b1)) (+.f64 (log.f64 a1) (-.f64 (log.f64 a2) (log.f64 b2))))
  (+.f64 (-.f64 (log.f64 1) (log.f64 b1)) (+.f64 (log.f64 a1) (log.f64 (/.f64 a2 b2))))
  (+.f64 (-.f64 (log.f64 1) (log.f64 b1)) (log.f64 (*.f64 a1 (/.f64 a2 b2))))
  (+.f64 (neg.f64 (log.f64 b1)) (+.f64 (log.f64 a1) (-.f64 (log.f64 a2) (log.f64 b2))))
  (+.f64 (neg.f64 (log.f64 b1)) (+.f64 (log.f64 a1) (log.f64 (/.f64 a2 b2))))
  (+.f64 (neg.f64 (log.f64 b1)) (log.f64 (*.f64 a1 (/.f64 a2 b2))))
  (+.f64 (log.f64 (/.f64 1 b1)) (+.f64 (log.f64 a1) (-.f64 (log.f64 a2) (log.f64 b2))))
  (+.f64 (log.f64 (/.f64 1 b1)) (+.f64 (log.f64 a1) (log.f64 (/.f64 a2 b2))))
  (+.f64 (log.f64 (/.f64 1 b1)) (log.f64 (*.f64 a1 (/.f64 a2 b2))))
  (exp.f64 (*.f64 (/.f64 1 b1) (*.f64 a1 (/.f64 a2 b2))))
  (log.f64 (*.f64 (/.f64 1 b1) (*.f64 a1 (/.f64 a2 b2))))
  (*.f64 (*.f64 (*.f64 (/.f64 1 b1) (*.f64 a1 (/.f64 a2 b2))) (*.f64 (/.f64 1 b1) (*.f64 a1 (/.f64 a2 b2)))) (*.f64 (/.f64 1 b1) (*.f64 a1 (/.f64 a2 b2))))
  (*.f64 (cbrt.f64 (*.f64 (/.f64 1 b1) (*.f64 a1 (/.f64 a2 b2)))) (cbrt.f64 (*.f64 (/.f64 1 b1) (*.f64 a1 (/.f64 a2 b2)))))
  (cbrt.f64 (*.f64 (/.f64 1 b1) (*.f64 a1 (/.f64 a2 b2))))
  (*.f64 (*.f64 (*.f64 (/.f64 1 b1) (/.f64 1 b1)) (/.f64 1 b1)) (*.f64 (*.f64 (*.f64 a1 (/.f64 a2 b2)) (*.f64 a1 (/.f64 a2 b2))) (*.f64 a1 (/.f64 a2 b2))))
  (*.f64 (*.f64 (*.f64 (/.f64 1 b1) (/.f64 1 b1)) (/.f64 1 b1)) (*.f64 (*.f64 (*.f64 a1 a1) a1) (*.f64 (*.f64 (/.f64 a2 b2) (/.f64 a2 b2)) (/.f64 a2 b2))))
  (*.f64 (*.f64 (*.f64 (/.f64 1 b1) (/.f64 1 b1)) (/.f64 1 b1)) (*.f64 (*.f64 (*.f64 a1 a1) a1) (/.f64 (*.f64 (*.f64 a2 a2) a2) (*.f64 (*.f64 b2 b2) b2))))
  (*.f64 (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 b1 b1) b1)) (*.f64 (*.f64 (*.f64 a1 (/.f64 a2 b2)) (*.f64 a1 (/.f64 a2 b2))) (*.f64 a1 (/.f64 a2 b2))))
  (*.f64 (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 b1 b1) b1)) (*.f64 (*.f64 (*.f64 a1 a1) a1) (*.f64 (*.f64 (/.f64 a2 b2) (/.f64 a2 b2)) (/.f64 a2 b2))))
  (*.f64 (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 b1 b1) b1)) (*.f64 (*.f64 (*.f64 a1 a1) a1) (/.f64 (*.f64 (*.f64 a2 a2) a2) (*.f64 (*.f64 b2 b2) b2))))
  (sqrt.f64 (*.f64 (/.f64 1 b1) (*.f64 a1 (/.f64 a2 b2))))
  (sqrt.f64 (*.f64 (/.f64 1 b1) (*.f64 a1 (/.f64 a2 b2))))
  (*.f64 1 (*.f64 a1 a2))
  (*.f64 b1 b2)
  (*.f64 1 (*.f64 a1 (/.f64 a2 b2)))
  (*.f64 (/.f64 1 b1) (*.f64 a1 a2))
  (*.f64 (cbrt.f64 (/.f64 1 b1)) (*.f64 a1 (/.f64 a2 b2)))
  (*.f64 (sqrt.f64 (/.f64 1 b1)) (*.f64 a1 (/.f64 a2 b2)))
  (*.f64 (/.f64 (cbrt.f64 1) (cbrt.f64 b1)) (*.f64 a1 (/.f64 a2 b2)))
  (*.f64 (/.f64 (cbrt.f64 1) (sqrt.f64 b1)) (*.f64 a1 (/.f64 a2 b2)))
  (*.f64 (/.f64 (cbrt.f64 1) b1) (*.f64 a1 (/.f64 a2 b2)))
  (*.f64 (/.f64 (sqrt.f64 1) (cbrt.f64 b1)) (*.f64 a1 (/.f64 a2 b2)))
  (*.f64 (/.f64 (sqrt.f64 1) (sqrt.f64 b1)) (*.f64 a1 (/.f64 a2 b2)))
  (*.f64 (/.f64 (sqrt.f64 1) b1) (*.f64 a1 (/.f64 a2 b2)))
  (*.f64 (/.f64 1 (cbrt.f64 b1)) (*.f64 a1 (/.f64 a2 b2)))
  (*.f64 (/.f64 1 (sqrt.f64 b1)) (*.f64 a1 (/.f64 a2 b2)))
  (*.f64 (/.f64 1 b1) (*.f64 a1 (/.f64 a2 b2)))
  (*.f64 (/.f64 1 b1) (*.f64 a1 (/.f64 a2 b2)))
  (*.f64 (/.f64 1 b1) (*.f64 a1 (/.f64 a2 b2)))
  (*.f64 (/.f64 1 b1) a1)
  (*.f64 a1 (/.f64 a2 b2))
  (+.f64 (log.f64 a1) (-.f64 (log.f64 a2) (log.f64 b2)))
  (+.f64 (log.f64 a1) (log.f64 (/.f64 a2 b2)))
  (exp.f64 (*.f64 a1 (/.f64 a2 b2)))
  (log.f64 (*.f64 a1 (/.f64 a2 b2)))
  (*.f64 (*.f64 (*.f64 a1 (/.f64 a2 b2)) (*.f64 a1 (/.f64 a2 b2))) (*.f64 a1 (/.f64 a2 b2)))
  (*.f64 (cbrt.f64 (*.f64 a1 (/.f64 a2 b2))) (cbrt.f64 (*.f64 a1 (/.f64 a2 b2))))
  (cbrt.f64 (*.f64 a1 (/.f64 a2 b2)))
  (*.f64 (*.f64 (*.f64 a1 a1) a1) (*.f64 (*.f64 (/.f64 a2 b2) (/.f64 a2 b2)) (/.f64 a2 b2)))
  (*.f64 (*.f64 (*.f64 a1 a1) a1) (/.f64 (*.f64 (*.f64 a2 a2) a2) (*.f64 (*.f64 b2 b2) b2)))
  (sqrt.f64 (*.f64 a1 (/.f64 a2 b2)))
  (sqrt.f64 (*.f64 a1 (/.f64 a2 b2)))
  (*.f64 (sqrt.f64 a1) (sqrt.f64 (/.f64 a2 b2)))
  (*.f64 (sqrt.f64 a1) (sqrt.f64 (/.f64 a2 b2)))
  (*.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 a2) (sqrt.f64 b2)))
  (*.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 a2) (sqrt.f64 b2)))
  (*.f64 a1 a2)
  (*.f64 (cbrt.f64 a1) (/.f64 a2 b2))
  (*.f64 (sqrt.f64 a1) (/.f64 a2 b2))
  (*.f64 a1 (/.f64 a2 b2))
  (*.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 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) 1))
  (*.f64 a1 (/.f64 (sqrt.f64 a2) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 a1 (/.f64 (sqrt.f64 a2) (sqrt.f64 b2)))
  (*.f64 a1 (/.f64 (sqrt.f64 a2) 1))
  (*.f64 a1 (/.f64 1 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 a1 (/.f64 1 (sqrt.f64 b2)))
  (*.f64 a1 (/.f64 1 1))
  (*.f64 a1 1)
  (*.f64 a1 a2)
  (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
  (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
  (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
  (/.f64 (*.f64 a1 a2) b2)
  (/.f64 (*.f64 a1 a2) b2)
  (/.f64 (*.f64 a1 a2) b2)
1.478 * * [simplify]: iteration  0 :  5015  enodes  (cost  876 )
1.483 * [simplify]: Simplified to:
   (/.f64 (*.f64 a1 (/.f64 a2 b2)) b1)
  (/.f64 (*.f64 a1 (/.f64 a2 b2)) b1)
  (log.f64 (/.f64 (*.f64 a1 (/.f64 a2 b2)) b1))
  (log.f64 (/.f64 (*.f64 a1 (/.f64 a2 b2)) b1))
  (log.f64 (/.f64 (*.f64 a1 (/.f64 a2 b2)) b1))
  (log.f64 (/.f64 (*.f64 a1 (/.f64 a2 b2)) b1))
  (log.f64 (/.f64 (*.f64 a1 (/.f64 a2 b2)) b1))
  (log.f64 (/.f64 (*.f64 a1 (/.f64 a2 b2)) b1))
  (log.f64 (/.f64 (*.f64 a1 (/.f64 a2 b2)) b1))
  (log.f64 (/.f64 (*.f64 a1 (/.f64 a2 b2)) b1))
  (log.f64 (/.f64 (*.f64 a1 (/.f64 a2 b2)) b1))
  (exp.f64 (/.f64 (*.f64 a1 (/.f64 a2 b2)) b1))
  (log.f64 (/.f64 (*.f64 a1 (/.f64 a2 b2)) b1))
  (pow.f64 (/.f64 (*.f64 a1 (/.f64 a2 b2)) b1) 3)
  (*.f64 (cbrt.f64 (/.f64 (*.f64 a1 (/.f64 a2 b2)) b1)) (cbrt.f64 (/.f64 (*.f64 a1 (/.f64 a2 b2)) b1)))
  (cbrt.f64 (/.f64 (*.f64 a1 (/.f64 a2 b2)) b1))
  (pow.f64 (/.f64 (*.f64 a1 (/.f64 a2 b2)) b1) 3)
  (pow.f64 (/.f64 (*.f64 a1 (/.f64 a2 b2)) b1) 3)
  (pow.f64 (/.f64 (*.f64 a1 (/.f64 a2 b2)) b1) 3)
  (pow.f64 (/.f64 (*.f64 a1 (/.f64 a2 b2)) b1) 3)
  (pow.f64 (/.f64 (*.f64 a1 (/.f64 a2 b2)) b1) 3)
  (pow.f64 (/.f64 (*.f64 a1 (/.f64 a2 b2)) b1) 3)
  (sqrt.f64 (/.f64 (*.f64 a1 (/.f64 a2 b2)) b1))
  (sqrt.f64 (/.f64 (*.f64 a1 (/.f64 a2 b2)) b1))
  (*.f64 a1 a2)
  (*.f64 b1 b2)
  (*.f64 a1 (/.f64 a2 b2))
  (/.f64 (*.f64 a1 a2) b1)
  (*.f64 (*.f64 a1 (/.f64 a2 b2)) (cbrt.f64 (/.f64 1 b1)))
  (*.f64 (*.f64 a1 (/.f64 a2 b2)) (sqrt.f64 (/.f64 1 b1)))
  (*.f64 (*.f64 a1 (/.f64 a2 b2)) (/.f64 (cbrt.f64 1) (cbrt.f64 b1)))
  (*.f64 (*.f64 a1 (/.f64 a2 b2)) (/.f64 (cbrt.f64 1) (sqrt.f64 b1)))
  (*.f64 (*.f64 a1 (/.f64 a2 b2)) (/.f64 (cbrt.f64 1) b1))
  (/.f64 (*.f64 a1 (/.f64 a2 b2)) (cbrt.f64 b1))
  (/.f64 (*.f64 a1 (/.f64 a2 b2)) (sqrt.f64 b1))
  (/.f64 (*.f64 a1 (/.f64 a2 b2)) b1)
  (/.f64 (*.f64 a1 (/.f64 a2 b2)) (cbrt.f64 b1))
  (/.f64 (*.f64 a1 (/.f64 a2 b2)) (sqrt.f64 b1))
  (/.f64 (*.f64 a1 (/.f64 a2 b2)) b1)
  (/.f64 (*.f64 a1 (/.f64 a2 b2)) b1)
  (/.f64 (*.f64 a1 (/.f64 a2 b2)) b1)
  (/.f64 a1 b1)
  (*.f64 a1 (/.f64 a2 b2))
  (log.f64 (*.f64 a1 (/.f64 a2 b2)))
  (log.f64 (*.f64 a1 (/.f64 a2 b2)))
  (exp.f64 (*.f64 a1 (/.f64 a2 b2)))
  (log.f64 (*.f64 a1 (/.f64 a2 b2)))
  (pow.f64 (*.f64 a1 (/.f64 a2 b2)) 3)
  (*.f64 (cbrt.f64 (*.f64 a1 (/.f64 a2 b2))) (cbrt.f64 (*.f64 a1 (/.f64 a2 b2))))
  (cbrt.f64 (*.f64 a1 (/.f64 a2 b2)))
  (pow.f64 (*.f64 a1 (/.f64 a2 b2)) 3)
  (pow.f64 (*.f64 a1 (/.f64 a2 b2)) 3)
  (sqrt.f64 (*.f64 a1 (/.f64 a2 b2)))
  (sqrt.f64 (*.f64 a1 (/.f64 a2 b2)))
  (*.f64 (sqrt.f64 a1) (sqrt.f64 (/.f64 a2 b2)))
  (*.f64 (sqrt.f64 a1) (sqrt.f64 (/.f64 a2 b2)))
  (*.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 a2) (sqrt.f64 b2)))
  (*.f64 (sqrt.f64 a1) (/.f64 (sqrt.f64 a2) (sqrt.f64 b2)))
  (*.f64 a1 a2)
  (*.f64 (/.f64 a2 b2) (cbrt.f64 a1))
  (*.f64 (/.f64 a2 b2) (sqrt.f64 a1))
  (*.f64 a1 (/.f64 a2 b2))
  (*.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)
  (/.f64 (*.f64 a1 (/.f64 a2 b2)) b1)
  (/.f64 (*.f64 a1 (/.f64 a2 b2)) b1)
  (/.f64 (*.f64 a1 (/.f64 a2 b2)) b1)
  (*.f64 a1 (/.f64 a2 b2))
  (*.f64 a1 (/.f64 a2 b2))
  (*.f64 a1 (/.f64 a2 b2))
1.483 * * * [progress]: adding candidates to table
1.517 * * [progress]: iteration 4 / 4
1.517 * * * [progress]: picking best candidate
1.521 * * * * [pick]: Picked  #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))>
1.521 * * * [progress]: localizing error
1.526 * * * [progress]: generating rewritten candidates
1.526 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.542 * * * [progress]: generating series expansions
1.542 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.543 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (a2 b1 a1 b2) around 0
1.543 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2
1.543 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
1.543 * [taylor]: Taking taylor expansion of a1 in b2
1.543 * [taylor]: Taking taylor expansion of a2 in b2
1.543 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.543 * [taylor]: Taking taylor expansion of b1 in b2
1.543 * [taylor]: Taking taylor expansion of b2 in b2
1.544 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
1.544 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.544 * [taylor]: Taking taylor expansion of a1 in a1
1.544 * [taylor]: Taking taylor expansion of a2 in a1
1.544 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.544 * [taylor]: Taking taylor expansion of b1 in a1
1.544 * [taylor]: Taking taylor expansion of b2 in a1
1.545 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1
1.545 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.545 * [taylor]: Taking taylor expansion of a1 in b1
1.545 * [taylor]: Taking taylor expansion of a2 in b1
1.545 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.545 * [taylor]: Taking taylor expansion of b1 in b1
1.545 * [taylor]: Taking taylor expansion of b2 in b1
1.546 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
1.546 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.546 * [taylor]: Taking taylor expansion of a1 in a2
1.546 * [taylor]: Taking taylor expansion of a2 in a2
1.546 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.546 * [taylor]: Taking taylor expansion of b1 in a2
1.546 * [taylor]: Taking taylor expansion of b2 in a2
1.547 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
1.547 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.547 * [taylor]: Taking taylor expansion of a1 in a2
1.547 * [taylor]: Taking taylor expansion of a2 in a2
1.547 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.547 * [taylor]: Taking taylor expansion of b1 in a2
1.547 * [taylor]: Taking taylor expansion of b2 in a2
1.548 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in b1
1.548 * [taylor]: Taking taylor expansion of a1 in b1
1.548 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.548 * [taylor]: Taking taylor expansion of b1 in b1
1.548 * [taylor]: Taking taylor expansion of b2 in b1
1.549 * [taylor]: Taking taylor expansion of (/ a1 b2) in a1
1.549 * [taylor]: Taking taylor expansion of a1 in a1
1.549 * [taylor]: Taking taylor expansion of b2 in a1
1.549 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
1.549 * [taylor]: Taking taylor expansion of b2 in b2
1.551 * [taylor]: Taking taylor expansion of 0 in b1
1.552 * [taylor]: Taking taylor expansion of 0 in a1
1.552 * [taylor]: Taking taylor expansion of 0 in b2
1.553 * [taylor]: Taking taylor expansion of 0 in b2
1.555 * [taylor]: Taking taylor expansion of 0 in b1
1.555 * [taylor]: Taking taylor expansion of 0 in a1
1.555 * [taylor]: Taking taylor expansion of 0 in b2
1.557 * [taylor]: Taking taylor expansion of 0 in a1
1.557 * [taylor]: Taking taylor expansion of 0 in b2
1.557 * [taylor]: Taking taylor expansion of 0 in b2
1.558 * [taylor]: Taking taylor expansion of 0 in b2
1.561 * [taylor]: Taking taylor expansion of 0 in b1
1.561 * [taylor]: Taking taylor expansion of 0 in a1
1.561 * [taylor]: Taking taylor expansion of 0 in b2
1.561 * [taylor]: Taking taylor expansion of 0 in a1
1.561 * [taylor]: Taking taylor expansion of 0 in b2
1.563 * [taylor]: Taking taylor expansion of 0 in a1
1.563 * [taylor]: Taking taylor expansion of 0 in b2
1.563 * [taylor]: Taking taylor expansion of 0 in b2
1.563 * [taylor]: Taking taylor expansion of 0 in b2
1.563 * [taylor]: Taking taylor expansion of 0 in b2
1.564 * [taylor]: Taking taylor expansion of 0 in b2
1.566 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a2 b1 a1 b2) around 0
1.567 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
1.567 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.567 * [taylor]: Taking taylor expansion of b1 in b2
1.567 * [taylor]: Taking taylor expansion of b2 in b2
1.567 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
1.567 * [taylor]: Taking taylor expansion of a1 in b2
1.567 * [taylor]: Taking taylor expansion of a2 in b2
1.568 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
1.568 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.568 * [taylor]: Taking taylor expansion of b1 in a1
1.568 * [taylor]: Taking taylor expansion of b2 in a1
1.568 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.568 * [taylor]: Taking taylor expansion of a1 in a1
1.568 * [taylor]: Taking taylor expansion of a2 in a1
1.569 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
1.569 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.569 * [taylor]: Taking taylor expansion of b1 in b1
1.569 * [taylor]: Taking taylor expansion of b2 in b1
1.569 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.569 * [taylor]: Taking taylor expansion of a1 in b1
1.569 * [taylor]: Taking taylor expansion of a2 in b1
1.570 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
1.570 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.570 * [taylor]: Taking taylor expansion of b1 in a2
1.570 * [taylor]: Taking taylor expansion of b2 in a2
1.570 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.570 * [taylor]: Taking taylor expansion of a1 in a2
1.570 * [taylor]: Taking taylor expansion of a2 in a2
1.571 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
1.571 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.571 * [taylor]: Taking taylor expansion of b1 in a2
1.571 * [taylor]: Taking taylor expansion of b2 in a2
1.571 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.571 * [taylor]: Taking taylor expansion of a1 in a2
1.571 * [taylor]: Taking taylor expansion of a2 in a2
1.572 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in b1
1.572 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.572 * [taylor]: Taking taylor expansion of b1 in b1
1.572 * [taylor]: Taking taylor expansion of b2 in b1
1.572 * [taylor]: Taking taylor expansion of a1 in b1
1.573 * [taylor]: Taking taylor expansion of (/ b2 a1) in a1
1.573 * [taylor]: Taking taylor expansion of b2 in a1
1.573 * [taylor]: Taking taylor expansion of a1 in a1
1.573 * [taylor]: Taking taylor expansion of b2 in b2
1.574 * [taylor]: Taking taylor expansion of 0 in b1
1.574 * [taylor]: Taking taylor expansion of 0 in a1
1.576 * [taylor]: Taking taylor expansion of 0 in a1
1.576 * [taylor]: Taking taylor expansion of 0 in b2
1.579 * [taylor]: Taking taylor expansion of 0 in b1
1.579 * [taylor]: Taking taylor expansion of 0 in a1
1.579 * [taylor]: Taking taylor expansion of 0 in a1
1.580 * [taylor]: Taking taylor expansion of 0 in a1
1.581 * [taylor]: Taking taylor expansion of 0 in b2
1.581 * [taylor]: Taking taylor expansion of 0 in b2
1.582 * [taylor]: Taking taylor expansion of 0 in b2
1.585 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a2 b1 a1 b2) around 0
1.586 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
1.586 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.586 * [taylor]: Taking taylor expansion of b1 in b2
1.586 * [taylor]: Taking taylor expansion of b2 in b2
1.586 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
1.586 * [taylor]: Taking taylor expansion of a1 in b2
1.586 * [taylor]: Taking taylor expansion of a2 in b2
1.587 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
1.587 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.587 * [taylor]: Taking taylor expansion of b1 in a1
1.587 * [taylor]: Taking taylor expansion of b2 in a1
1.587 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.587 * [taylor]: Taking taylor expansion of a1 in a1
1.587 * [taylor]: Taking taylor expansion of a2 in a1
1.588 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
1.588 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.588 * [taylor]: Taking taylor expansion of b1 in b1
1.588 * [taylor]: Taking taylor expansion of b2 in b1
1.588 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.588 * [taylor]: Taking taylor expansion of a1 in b1
1.588 * [taylor]: Taking taylor expansion of a2 in b1
1.589 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
1.589 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.589 * [taylor]: Taking taylor expansion of b1 in a2
1.589 * [taylor]: Taking taylor expansion of b2 in a2
1.589 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.589 * [taylor]: Taking taylor expansion of a1 in a2
1.589 * [taylor]: Taking taylor expansion of a2 in a2
1.590 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
1.590 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.590 * [taylor]: Taking taylor expansion of b1 in a2
1.590 * [taylor]: Taking taylor expansion of b2 in a2
1.590 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.590 * [taylor]: Taking taylor expansion of a1 in a2
1.590 * [taylor]: Taking taylor expansion of a2 in a2
1.591 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in b1
1.591 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.591 * [taylor]: Taking taylor expansion of b1 in b1
1.591 * [taylor]: Taking taylor expansion of b2 in b1
1.591 * [taylor]: Taking taylor expansion of a1 in b1
1.592 * [taylor]: Taking taylor expansion of (/ b2 a1) in a1
1.592 * [taylor]: Taking taylor expansion of b2 in a1
1.592 * [taylor]: Taking taylor expansion of a1 in a1
1.592 * [taylor]: Taking taylor expansion of b2 in b2
1.593 * [taylor]: Taking taylor expansion of 0 in b1
1.593 * [taylor]: Taking taylor expansion of 0 in a1
1.597 * [taylor]: Taking taylor expansion of 0 in a1
1.598 * [taylor]: Taking taylor expansion of 0 in b2
1.600 * [taylor]: Taking taylor expansion of 0 in b1
1.600 * [taylor]: Taking taylor expansion of 0 in a1
1.600 * [taylor]: Taking taylor expansion of 0 in a1
1.601 * [taylor]: Taking taylor expansion of 0 in a1
1.601 * [taylor]: Taking taylor expansion of 0 in b2
1.601 * [taylor]: Taking taylor expansion of 0 in b2
1.602 * [taylor]: Taking taylor expansion of 0 in b2
1.604 * * * [progress]: simplifying candidates
1.605 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (/.f64 a2 b1) (/.f64 a1 b2))
  (+.f64 (-.f64 (log.f64 a2) (log.f64 b1)) (-.f64 (log.f64 a1) (log.f64 b2)))
  (+.f64 (-.f64 (log.f64 a2) (log.f64 b1)) (log.f64 (/.f64 a1 b2)))
  (+.f64 (log.f64 (/.f64 a2 b1)) (-.f64 (log.f64 a1) (log.f64 b2)))
  (+.f64 (log.f64 (/.f64 a2 b1)) (log.f64 (/.f64 a1 b2)))
  (exp.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))
  (log.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))
  (*.f64 (*.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2))) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))
  (*.f64 (cbrt.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2))) (cbrt.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2))))
  (cbrt.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))
  (*.f64 (*.f64 (*.f64 (/.f64 a2 b1) (/.f64 a2 b1)) (/.f64 a2 b1)) (*.f64 (*.f64 (/.f64 a1 b2) (/.f64 a1 b2)) (/.f64 a1 b2)))
  (*.f64 (*.f64 (*.f64 (/.f64 a2 b1) (/.f64 a2 b1)) (/.f64 a2 b1)) (/.f64 (*.f64 (*.f64 a1 a1) a1) (*.f64 (*.f64 b2 b2) b2)))
  (*.f64 (/.f64 (*.f64 (*.f64 a2 a2) a2) (*.f64 (*.f64 b1 b1) b1)) (*.f64 (*.f64 (/.f64 a1 b2) (/.f64 a1 b2)) (/.f64 a1 b2)))
  (*.f64 (/.f64 (*.f64 (*.f64 a2 a2) a2) (*.f64 (*.f64 b1 b1) b1)) (/.f64 (*.f64 (*.f64 a1 a1) a1) (*.f64 (*.f64 b2 b2) b2)))
  (sqrt.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))
  (sqrt.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))
  (*.f64 a2 a1)
  (*.f64 b1 b2)
  (*.f64 (sqrt.f64 (/.f64 a2 b1)) (sqrt.f64 (/.f64 a1 b2)))
  (*.f64 (sqrt.f64 (/.f64 a2 b1)) (sqrt.f64 (/.f64 a1 b2)))
  (*.f64 (sqrt.f64 (/.f64 a2 b1)) (/.f64 (sqrt.f64 a1) (sqrt.f64 b2)))
  (*.f64 (sqrt.f64 (/.f64 a2 b1)) (/.f64 (sqrt.f64 a1) (sqrt.f64 b2)))
  (*.f64 (/.f64 (sqrt.f64 a2) (sqrt.f64 b1)) (sqrt.f64 (/.f64 a1 b2)))
  (*.f64 (/.f64 (sqrt.f64 a2) (sqrt.f64 b1)) (sqrt.f64 (/.f64 a1 b2)))
  (*.f64 (/.f64 (sqrt.f64 a2) (sqrt.f64 b1)) (/.f64 (sqrt.f64 a1) (sqrt.f64 b2)))
  (*.f64 (/.f64 (sqrt.f64 a2) (sqrt.f64 b1)) (/.f64 (sqrt.f64 a1) (sqrt.f64 b2)))
  (*.f64 a2 (/.f64 a1 b2))
  (*.f64 (/.f64 a2 b1) a1)
  (*.f64 (cbrt.f64 (/.f64 a2 b1)) (/.f64 a1 b2))
  (*.f64 (sqrt.f64 (/.f64 a2 b1)) (/.f64 a1 b2))
  (*.f64 (/.f64 (cbrt.f64 a2) (cbrt.f64 b1)) (/.f64 a1 b2))
  (*.f64 (/.f64 (cbrt.f64 a2) (sqrt.f64 b1)) (/.f64 a1 b2))
  (*.f64 (/.f64 (cbrt.f64 a2) b1) (/.f64 a1 b2))
  (*.f64 (/.f64 (sqrt.f64 a2) (cbrt.f64 b1)) (/.f64 a1 b2))
  (*.f64 (/.f64 (sqrt.f64 a2) (sqrt.f64 b1)) (/.f64 a1 b2))
  (*.f64 (/.f64 (sqrt.f64 a2) b1) (/.f64 a1 b2))
  (*.f64 (/.f64 a2 (cbrt.f64 b1)) (/.f64 a1 b2))
  (*.f64 (/.f64 a2 (sqrt.f64 b1)) (/.f64 a1 b2))
  (*.f64 (/.f64 a2 b1) (/.f64 a1 b2))
  (*.f64 (/.f64 a2 b1) (/.f64 a1 b2))
  (*.f64 (/.f64 1 b1) (/.f64 a1 b2))
  (*.f64 (/.f64 a2 b1) (*.f64 (cbrt.f64 (/.f64 a1 b2)) (cbrt.f64 (/.f64 a1 b2))))
  (*.f64 (/.f64 a2 b1) (sqrt.f64 (/.f64 a1 b2)))
  (*.f64 (/.f64 a2 b1) (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 (/.f64 a2 b1) (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (sqrt.f64 b2)))
  (*.f64 (/.f64 a2 b1) (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) 1))
  (*.f64 (/.f64 a2 b1) (/.f64 (sqrt.f64 a1) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 (/.f64 a2 b1) (/.f64 (sqrt.f64 a1) (sqrt.f64 b2)))
  (*.f64 (/.f64 a2 b1) (/.f64 (sqrt.f64 a1) 1))
  (*.f64 (/.f64 a2 b1) (/.f64 1 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 (/.f64 a2 b1) (/.f64 1 (sqrt.f64 b2)))
  (*.f64 (/.f64 a2 b1) (/.f64 1 1))
  (*.f64 (/.f64 a2 b1) 1)
  (*.f64 (/.f64 a2 b1) a1)
  (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
  (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
  (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
1.723 * * [simplify]: iteration  0 :  5179  enodes  (cost  713 )
1.727 * [simplify]: Simplified to:
   (*.f64 (/.f64 a2 b1) (/.f64 a1 b2))
  (log.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))
  (log.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))
  (log.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))
  (log.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))
  (exp.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))
  (log.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))
  (pow.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)) 3)
  (*.f64 (cbrt.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2))) (cbrt.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2))))
  (cbrt.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))
  (pow.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)) 3)
  (pow.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)) 3)
  (pow.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)) 3)
  (pow.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)) 3)
  (sqrt.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))
  (sqrt.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))
  (*.f64 a2 a1)
  (*.f64 b1 b2)
  (*.f64 (sqrt.f64 (/.f64 a2 b1)) (sqrt.f64 (/.f64 a1 b2)))
  (*.f64 (sqrt.f64 (/.f64 a2 b1)) (sqrt.f64 (/.f64 a1 b2)))
  (*.f64 (sqrt.f64 (/.f64 a2 b1)) (/.f64 (sqrt.f64 a1) (sqrt.f64 b2)))
  (*.f64 (sqrt.f64 (/.f64 a2 b1)) (/.f64 (sqrt.f64 a1) (sqrt.f64 b2)))
  (*.f64 (sqrt.f64 (/.f64 a1 b2)) (/.f64 (sqrt.f64 a2) (sqrt.f64 b1)))
  (*.f64 (sqrt.f64 (/.f64 a1 b2)) (/.f64 (sqrt.f64 a2) (sqrt.f64 b1)))
  (*.f64 (/.f64 (sqrt.f64 a1) (sqrt.f64 b2)) (/.f64 (sqrt.f64 a2) (sqrt.f64 b1)))
  (*.f64 (/.f64 (sqrt.f64 a1) (sqrt.f64 b2)) (/.f64 (sqrt.f64 a2) (sqrt.f64 b1)))
  (*.f64 a2 (/.f64 a1 b2))
  (*.f64 (/.f64 a2 b1) a1)
  (*.f64 (/.f64 a1 b2) (cbrt.f64 (/.f64 a2 b1)))
  (*.f64 (/.f64 a1 b2) (sqrt.f64 (/.f64 a2 b1)))
  (*.f64 (/.f64 a1 b2) (/.f64 (cbrt.f64 a2) (cbrt.f64 b1)))
  (*.f64 (/.f64 a1 b2) (/.f64 (cbrt.f64 a2) (sqrt.f64 b1)))
  (*.f64 (/.f64 a1 b2) (/.f64 (cbrt.f64 a2) b1))
  (*.f64 (/.f64 a1 b2) (/.f64 (sqrt.f64 a2) (cbrt.f64 b1)))
  (*.f64 (/.f64 a1 b2) (/.f64 (sqrt.f64 a2) (sqrt.f64 b1)))
  (*.f64 (/.f64 a1 b2) (/.f64 (sqrt.f64 a2) b1))
  (*.f64 (/.f64 a1 b2) (/.f64 a2 (cbrt.f64 b1)))
  (*.f64 (/.f64 a1 b2) (/.f64 a2 (sqrt.f64 b1)))
  (*.f64 (/.f64 a2 b1) (/.f64 a1 b2))
  (*.f64 (/.f64 a2 b1) (/.f64 a1 b2))
  (/.f64 a1 (*.f64 b1 b2))
  (*.f64 (/.f64 a2 b1) (*.f64 (cbrt.f64 (/.f64 a1 b2)) (cbrt.f64 (/.f64 a1 b2))))
  (*.f64 (/.f64 a2 b1) (sqrt.f64 (/.f64 a1 b2)))
  (*.f64 (/.f64 a2 b1) (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 (/.f64 a2 b1) (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (sqrt.f64 b2)))
  (*.f64 (/.f64 a2 b1) (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)))
  (*.f64 (/.f64 a2 b1) (/.f64 (sqrt.f64 a1) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 (/.f64 a2 b1) (/.f64 (sqrt.f64 a1) (sqrt.f64 b2)))
  (*.f64 (/.f64 a2 b1) (sqrt.f64 a1))
  (/.f64 (/.f64 a2 b1) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 (/.f64 a2 b1) (sqrt.f64 b2))
  (/.f64 a2 b1)
  (/.f64 a2 b1)
  (*.f64 (/.f64 a2 b1) a1)
  (*.f64 (/.f64 a2 b1) (/.f64 a1 b2))
  (*.f64 (/.f64 a2 b1) (/.f64 a1 b2))
  (*.f64 (/.f64 a2 b1) (/.f64 a1 b2))
1.727 * * * [progress]: adding candidates to table
1.750 * [progress]: [Phase 3 of 3] Extracting.
1.750 * * [regime]: Finding splitpoints for: (#<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 1 b1) (*.f64 a1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (*.f64 a1 a2) (/.f64 1 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (*.f64 (/.f64 b1 a2) b2)))>)
1.751 * * * [regime-changes]: Trying 6 branch expressions: ((*.f64 b1 b2) (*.f64 a1 a2) b2 b1 a2 a1)
1.751 * * * * [regimes]: Trying to branch on (*.f64 b1 b2) from (#<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 1 b1) (*.f64 a1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (*.f64 a1 a2) (/.f64 1 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (*.f64 (/.f64 b1 a2) b2)))>)
1.785 * * * * [regimes]: Trying to branch on (*.f64 b1 b2) from (#<alt (λ (a1 a2 b1 b2) (*.f64 (*.f64 a1 a2) (/.f64 1 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))>)
1.798 * * * * [regimes]: Trying to branch on (*.f64 a1 a2) from (#<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 1 b1) (*.f64 a1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (*.f64 a1 a2) (/.f64 1 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (*.f64 (/.f64 b1 a2) b2)))>)
1.832 * * * * [regimes]: Trying to branch on b2 from (#<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 1 b1) (*.f64 a1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (*.f64 a1 a2) (/.f64 1 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (*.f64 (/.f64 b1 a2) b2)))>)
1.876 * * * * [regimes]: Trying to branch on b1 from (#<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 1 b1) (*.f64 a1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (*.f64 a1 a2) (/.f64 1 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (*.f64 (/.f64 b1 a2) b2)))>)
1.912 * * * * [regimes]: Trying to branch on a2 from (#<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 1 b1) (*.f64 a1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (*.f64 a1 a2) (/.f64 1 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (*.f64 (/.f64 b1 a2) b2)))>)
1.955 * * * * [regimes]: Trying to branch on a1 from (#<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 1 b1) (*.f64 a1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (*.f64 a1 a2) (/.f64 1 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (*.f64 (/.f64 b1 a2) b2)))>)
1.981 * * * [regime]: Found split indices: #<option (#s(si 5 46) #s(si 1 117) #s(si 0 148) #s(si 3 218) #s(si 5 255))>
1.982 * [binary-search]: Only using regimes for bounds on (*.f64 b1 b2) and (#<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 1 b1) (*.f64 a1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (*.f64 a1 a2) (/.f64 1 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (*.f64 (/.f64 b1 a2) b2)))>)
1.982 * [regimes]: Found splitpoints: (#s(sp 5 (*.f64 b1 b2) -2.2211230790851186e+188) #s(sp 1 (*.f64 b1 b2) -1.2560827023635742e-204) #s(sp 0 (*.f64 b1 b2) 6.526873840900358e-233) #s(sp 3 (*.f64 b1 b2) 2.0537527697737033e+177) #s(sp 5 (*.f64 b1 b2) +nan.0)) , with alts (#<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 1 b1) (*.f64 a1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (*.f64 a1 a2) (/.f64 1 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (*.f64 (/.f64 b1 a2) b2)))>)
1.982 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<=.f64 (*.f64 b1 b2) -222112307908511860881772729921276899874703448061741475575905372955622747988000697460526244464397242580040297786796793396339051246603686293123184924032324558162097966021244612680311428349952) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)) (if (<=.f64 (*.f64 b1 b2) -3547195084766673/2824013958708217496949108842204627863351353911851577524683401930862693830361198499905873920995229996970897865498283996578123296865878390947626553088486946106430796091482716120572632072492703527723757359478834530365734912) (*.f64 (*.f64 a1 a2) (/.f64 1 (*.f64 b1 b2))) (if (<=.f64 (*.f64 b1 b2) 7301660656935663/111870718431542817204760874740917337854381793641291611443130662899652593770909781872442516663377454591520935582886717656540612737332317877736113382974861639142628415265543797274479692427652260844707187532155254872952853725026318685997495262134665216) (*.f64 (/.f64 1 b1) (*.f64 a1 (/.f64 a2 b2))) (if (<=.f64 (*.f64 b1 b2) 2053752769773703306577186087450926272689467290378615079994979287068413123830606553956716518904095667173184425152855494697954692290715343918820351031253436919184536051854283374592) (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2))))))
1.985 * * [simplify]: iteration  0 :  39  enodes  (cost  92 )
1.985 * * [simplify]: iteration  1 :  39  enodes  (cost  92 )
1.986 * [simplify]: Simplified to:
   (if (<=.f64 (*.f64 b1 b2) -222112307908511860881772729921276899874703448061741475575905372955622747988000697460526244464397242580040297786796793396339051246603686293123184924032324558162097966021244612680311428349952) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)) (if (<=.f64 (*.f64 b1 b2) -3547195084766673/2824013958708217496949108842204627863351353911851577524683401930862693830361198499905873920995229996970897865498283996578123296865878390947626553088486946106430796091482716120572632072492703527723757359478834530365734912) (*.f64 (*.f64 a2 a1) (/.f64 1 (*.f64 b1 b2))) (if (<=.f64 (*.f64 b1 b2) 7301660656935663/111870718431542817204760874740917337854381793641291611443130662899652593770909781872442516663377454591520935582886717656540612737332317877736113382974861639142628415265543797274479692427652260844707187532155254872952853725026318685997495262134665216) (*.f64 (/.f64 1 b1) (*.f64 a1 (/.f64 a2 b2))) (if (<=.f64 (*.f64 b1 b2) 2053752769773703306577186087450926272689467290378615079994979287068413123830606553956716518904095667173184425152855494697954692290715343918820351031253436919184536051854283374592) (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2))))))
2.595 * [regime-testing]: End program error score: 5.330230351700468
2.609 * [regime-testing]: Target error score: 11.143360679173059