14.729 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.578 * * * [progress]: [2/2] Setting up program.
0.580 * [progress]: [Phase 2 of 3] Improving.
0.581 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
0.593 * * [simplify]: iteration  0 :  68  enodes  (cost  10 )
0.593 * * [simplify]: iteration  1 :  68  enodes  (cost  10 )
0.593 * [simplify]: Simplified to:
   (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
0.596 * * [progress]: iteration 1 / 4
0.596 * * * [progress]: picking best candidate
0.598 * * * * [pick]: Picked  #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))>
0.598 * * * [progress]: localizing error
0.603 * * * [progress]: generating rewritten candidates
0.603 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.610 * * * [progress]: generating series expansions
0.610 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.610 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (a1 a2 b1 b2) around 0
0.610 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2
0.610 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.610 * [taylor]: Taking taylor expansion of a1 in b2
0.610 * [taylor]: Taking taylor expansion of a2 in b2
0.610 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.610 * [taylor]: Taking taylor expansion of b1 in b2
0.610 * [taylor]: Taking taylor expansion of b2 in b2
0.610 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1
0.610 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.610 * [taylor]: Taking taylor expansion of a1 in b1
0.610 * [taylor]: Taking taylor expansion of a2 in b1
0.610 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.610 * [taylor]: Taking taylor expansion of b1 in b1
0.610 * [taylor]: Taking taylor expansion of b2 in b1
0.611 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
0.611 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.611 * [taylor]: Taking taylor expansion of a1 in a2
0.611 * [taylor]: Taking taylor expansion of a2 in a2
0.611 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.611 * [taylor]: Taking taylor expansion of b1 in a2
0.611 * [taylor]: Taking taylor expansion of b2 in a2
0.611 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
0.611 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.611 * [taylor]: Taking taylor expansion of a1 in a1
0.611 * [taylor]: Taking taylor expansion of a2 in a1
0.611 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.611 * [taylor]: Taking taylor expansion of b1 in a1
0.611 * [taylor]: Taking taylor expansion of b2 in a1
0.611 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
0.611 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.611 * [taylor]: Taking taylor expansion of a1 in a1
0.611 * [taylor]: Taking taylor expansion of a2 in a1
0.611 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.611 * [taylor]: Taking taylor expansion of b1 in a1
0.611 * [taylor]: Taking taylor expansion of b2 in a1
0.611 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2
0.611 * [taylor]: Taking taylor expansion of a2 in a2
0.611 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.611 * [taylor]: Taking taylor expansion of b1 in a2
0.611 * [taylor]: Taking taylor expansion of b2 in a2
0.611 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1
0.611 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.611 * [taylor]: Taking taylor expansion of b1 in b1
0.611 * [taylor]: Taking taylor expansion of b2 in b1
0.611 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
0.611 * [taylor]: Taking taylor expansion of b2 in b2
0.612 * [taylor]: Taking taylor expansion of 0 in a2
0.612 * [taylor]: Taking taylor expansion of 0 in b1
0.612 * [taylor]: Taking taylor expansion of 0 in b1
0.612 * [taylor]: Taking taylor expansion of 0 in b2
0.613 * [taylor]: Taking taylor expansion of 0 in a2
0.613 * [taylor]: Taking taylor expansion of 0 in b1
0.613 * [taylor]: Taking taylor expansion of 0 in b1
0.613 * [taylor]: Taking taylor expansion of 0 in b1
0.613 * [taylor]: Taking taylor expansion of 0 in b2
0.613 * [taylor]: Taking taylor expansion of 0 in b2
0.613 * [taylor]: Taking taylor expansion of 0 in b2
0.613 * [taylor]: Taking taylor expansion of 0 in a2
0.613 * [taylor]: Taking taylor expansion of 0 in b1
0.613 * [taylor]: Taking taylor expansion of 0 in b1
0.613 * [taylor]: Taking taylor expansion of 0 in b1
0.614 * [taylor]: Taking taylor expansion of 0 in b1
0.614 * [taylor]: Taking taylor expansion of 0 in b2
0.614 * [taylor]: Taking taylor expansion of 0 in b2
0.614 * [taylor]: Taking taylor expansion of 0 in b2
0.614 * [taylor]: Taking taylor expansion of 0 in b2
0.614 * [taylor]: Taking taylor expansion of 0 in b2
0.614 * [taylor]: Taking taylor expansion of 0 in b2
0.614 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 a2 b1 b2) around 0
0.614 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.614 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.614 * [taylor]: Taking taylor expansion of b1 in b2
0.614 * [taylor]: Taking taylor expansion of b2 in b2
0.614 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.614 * [taylor]: Taking taylor expansion of a1 in b2
0.614 * [taylor]: Taking taylor expansion of a2 in b2
0.614 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.614 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.614 * [taylor]: Taking taylor expansion of b1 in b1
0.614 * [taylor]: Taking taylor expansion of b2 in b1
0.614 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.614 * [taylor]: Taking taylor expansion of a1 in b1
0.614 * [taylor]: Taking taylor expansion of a2 in b1
0.615 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.615 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.615 * [taylor]: Taking taylor expansion of b1 in a2
0.615 * [taylor]: Taking taylor expansion of b2 in a2
0.615 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.615 * [taylor]: Taking taylor expansion of a1 in a2
0.615 * [taylor]: Taking taylor expansion of a2 in a2
0.615 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.615 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.615 * [taylor]: Taking taylor expansion of b1 in a1
0.615 * [taylor]: Taking taylor expansion of b2 in a1
0.615 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.615 * [taylor]: Taking taylor expansion of a1 in a1
0.615 * [taylor]: Taking taylor expansion of a2 in a1
0.615 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.615 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.615 * [taylor]: Taking taylor expansion of b1 in a1
0.615 * [taylor]: Taking taylor expansion of b2 in a1
0.615 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.615 * [taylor]: Taking taylor expansion of a1 in a1
0.615 * [taylor]: Taking taylor expansion of a2 in a1
0.615 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
0.615 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.615 * [taylor]: Taking taylor expansion of b1 in a2
0.615 * [taylor]: Taking taylor expansion of b2 in a2
0.615 * [taylor]: Taking taylor expansion of a2 in a2
0.615 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.615 * [taylor]: Taking taylor expansion of b1 in b1
0.615 * [taylor]: Taking taylor expansion of b2 in b1
0.615 * [taylor]: Taking taylor expansion of b2 in b2
0.616 * [taylor]: Taking taylor expansion of 0 in a2
0.616 * [taylor]: Taking taylor expansion of 0 in b1
0.616 * [taylor]: Taking taylor expansion of 0 in b2
0.616 * [taylor]: Taking taylor expansion of 0 in b2
0.616 * [taylor]: Taking taylor expansion of 0 in a2
0.616 * [taylor]: Taking taylor expansion of 0 in b1
0.616 * [taylor]: Taking taylor expansion of 0 in b2
0.616 * [taylor]: Taking taylor expansion of 0 in b1
0.616 * [taylor]: Taking taylor expansion of 0 in b2
0.616 * [taylor]: Taking taylor expansion of 0 in b2
0.617 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 a2 b1 b2) around 0
0.617 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.617 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.617 * [taylor]: Taking taylor expansion of b1 in b2
0.617 * [taylor]: Taking taylor expansion of b2 in b2
0.617 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.617 * [taylor]: Taking taylor expansion of a1 in b2
0.617 * [taylor]: Taking taylor expansion of a2 in b2
0.617 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.617 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.617 * [taylor]: Taking taylor expansion of b1 in b1
0.617 * [taylor]: Taking taylor expansion of b2 in b1
0.617 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.617 * [taylor]: Taking taylor expansion of a1 in b1
0.617 * [taylor]: Taking taylor expansion of a2 in b1
0.617 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.617 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.617 * [taylor]: Taking taylor expansion of b1 in a2
0.617 * [taylor]: Taking taylor expansion of b2 in a2
0.617 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.617 * [taylor]: Taking taylor expansion of a1 in a2
0.617 * [taylor]: Taking taylor expansion of a2 in a2
0.617 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.617 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.617 * [taylor]: Taking taylor expansion of b1 in a1
0.617 * [taylor]: Taking taylor expansion of b2 in a1
0.617 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.617 * [taylor]: Taking taylor expansion of a1 in a1
0.617 * [taylor]: Taking taylor expansion of a2 in a1
0.617 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.617 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.617 * [taylor]: Taking taylor expansion of b1 in a1
0.617 * [taylor]: Taking taylor expansion of b2 in a1
0.617 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.617 * [taylor]: Taking taylor expansion of a1 in a1
0.617 * [taylor]: Taking taylor expansion of a2 in a1
0.618 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
0.618 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.618 * [taylor]: Taking taylor expansion of b1 in a2
0.618 * [taylor]: Taking taylor expansion of b2 in a2
0.618 * [taylor]: Taking taylor expansion of a2 in a2
0.618 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.618 * [taylor]: Taking taylor expansion of b1 in b1
0.618 * [taylor]: Taking taylor expansion of b2 in b1
0.618 * [taylor]: Taking taylor expansion of b2 in b2
0.618 * [taylor]: Taking taylor expansion of 0 in a2
0.618 * [taylor]: Taking taylor expansion of 0 in b1
0.618 * [taylor]: Taking taylor expansion of 0 in b2
0.618 * [taylor]: Taking taylor expansion of 0 in b2
0.618 * [taylor]: Taking taylor expansion of 0 in a2
0.618 * [taylor]: Taking taylor expansion of 0 in b1
0.618 * [taylor]: Taking taylor expansion of 0 in b2
0.619 * [taylor]: Taking taylor expansion of 0 in b1
0.619 * [taylor]: Taking taylor expansion of 0 in b2
0.619 * [taylor]: Taking taylor expansion of 0 in b2
0.619 * * * [progress]: simplifying candidates
0.619 * [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)))
  (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))
  (exp.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))
  (/.f64 (*.f64 (*.f64 (*.f64 a1 a1) a1) (*.f64 (*.f64 a2 a2) a2)) (*.f64 (*.f64 (*.f64 b1 b1) b1) (*.f64 (*.f64 b2 b2) b2)))
  (/.f64 (*.f64 (*.f64 (*.f64 a1 a1) a1) (*.f64 (*.f64 a2 a2) a2)) (*.f64 (*.f64 (*.f64 b1 b2) (*.f64 b1 b2)) (*.f64 b1 b2)))
  (/.f64 (*.f64 (*.f64 (*.f64 a1 a2) (*.f64 a1 a2)) (*.f64 a1 a2)) (*.f64 (*.f64 (*.f64 b1 b1) b1) (*.f64 (*.f64 b2 b2) b2)))
  (/.f64 (*.f64 (*.f64 (*.f64 a1 a2) (*.f64 a1 a2)) (*.f64 a1 a2)) (*.f64 (*.f64 (*.f64 b1 b2) (*.f64 b1 b2)) (*.f64 b1 b2)))
  (*.f64 (cbrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (cbrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))))
  (cbrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))
  (*.f64 (*.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))
  (sqrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))
  (sqrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))
  (neg.f64 (*.f64 a1 a2))
  (neg.f64 (*.f64 b1 b2))
  (/.f64 a1 b1)
  (/.f64 a2 b2)
  (/.f64 1 (*.f64 b1 b2))
  (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))
  (/.f64 (*.f64 a1 a2) b1)
  (/.f64 (*.f64 b1 b2) a2)
  (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
  (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
  (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
0.707 * * [simplify]: iteration  0 :  5104  enodes  (cost  280 )
0.709 * [simplify]: Simplified to:
   (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))
  (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))
  (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))
  (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))
  (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))
  (exp.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))
  (pow.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 3)
  (pow.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 3)
  (pow.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 3)
  (pow.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 3)
  (*.f64 (cbrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (cbrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))))
  (cbrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))
  (pow.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 3)
  (sqrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))
  (sqrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))
  (neg.f64 (*.f64 a1 a2))
  (neg.f64 (*.f64 b1 b2))
  (/.f64 a1 b1)
  (/.f64 a2 b2)
  (/.f64 1 (*.f64 b1 b2))
  (/.f64 (*.f64 b1 b2) (*.f64 a1 a2))
  (*.f64 a2 (/.f64 a1 b1))
  (/.f64 b1 (/.f64 a2 b2))
  (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
  (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
  (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
0.709 * * * [progress]: adding candidates to table
0.729 * * [progress]: iteration 2 / 4
0.729 * * * [progress]: picking best candidate
0.744 * * * * [pick]: Picked  #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))>
0.744 * * * [progress]: localizing error
0.749 * * * [progress]: generating rewritten candidates
0.749 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.756 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.764 * * * [progress]: generating series expansions
0.764 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.764 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (a2 a1 b1 b2) around 0
0.764 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2
0.764 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.764 * [taylor]: Taking taylor expansion of a1 in b2
0.764 * [taylor]: Taking taylor expansion of a2 in b2
0.764 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.764 * [taylor]: Taking taylor expansion of b1 in b2
0.764 * [taylor]: Taking taylor expansion of b2 in b2
0.764 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1
0.764 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.764 * [taylor]: Taking taylor expansion of a1 in b1
0.765 * [taylor]: Taking taylor expansion of a2 in b1
0.765 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.765 * [taylor]: Taking taylor expansion of b1 in b1
0.765 * [taylor]: Taking taylor expansion of b2 in b1
0.765 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
0.765 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.765 * [taylor]: Taking taylor expansion of a1 in a1
0.765 * [taylor]: Taking taylor expansion of a2 in a1
0.765 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.765 * [taylor]: Taking taylor expansion of b1 in a1
0.765 * [taylor]: Taking taylor expansion of b2 in a1
0.765 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
0.765 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.765 * [taylor]: Taking taylor expansion of a1 in a2
0.765 * [taylor]: Taking taylor expansion of a2 in a2
0.765 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.765 * [taylor]: Taking taylor expansion of b1 in a2
0.765 * [taylor]: Taking taylor expansion of b2 in a2
0.765 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
0.765 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.765 * [taylor]: Taking taylor expansion of a1 in a2
0.765 * [taylor]: Taking taylor expansion of a2 in a2
0.765 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.765 * [taylor]: Taking taylor expansion of b1 in a2
0.765 * [taylor]: Taking taylor expansion of b2 in a2
0.765 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in a1
0.765 * [taylor]: Taking taylor expansion of a1 in a1
0.765 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.765 * [taylor]: Taking taylor expansion of b1 in a1
0.765 * [taylor]: Taking taylor expansion of b2 in a1
0.765 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1
0.765 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.765 * [taylor]: Taking taylor expansion of b1 in b1
0.765 * [taylor]: Taking taylor expansion of b2 in b1
0.766 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
0.766 * [taylor]: Taking taylor expansion of b2 in b2
0.766 * [taylor]: Taking taylor expansion of 0 in a1
0.766 * [taylor]: Taking taylor expansion of 0 in b1
0.766 * [taylor]: Taking taylor expansion of 0 in b1
0.766 * [taylor]: Taking taylor expansion of 0 in b2
0.766 * [taylor]: Taking taylor expansion of 0 in a1
0.766 * [taylor]: Taking taylor expansion of 0 in b1
0.766 * [taylor]: Taking taylor expansion of 0 in b1
0.767 * [taylor]: Taking taylor expansion of 0 in b1
0.767 * [taylor]: Taking taylor expansion of 0 in b2
0.767 * [taylor]: Taking taylor expansion of 0 in b2
0.767 * [taylor]: Taking taylor expansion of 0 in b2
0.767 * [taylor]: Taking taylor expansion of 0 in a1
0.767 * [taylor]: Taking taylor expansion of 0 in b1
0.767 * [taylor]: Taking taylor expansion of 0 in b1
0.767 * [taylor]: Taking taylor expansion of 0 in b1
0.767 * [taylor]: Taking taylor expansion of 0 in b1
0.767 * [taylor]: Taking taylor expansion of 0 in b2
0.767 * [taylor]: Taking taylor expansion of 0 in b2
0.767 * [taylor]: Taking taylor expansion of 0 in b2
0.768 * [taylor]: Taking taylor expansion of 0 in b2
0.768 * [taylor]: Taking taylor expansion of 0 in b2
0.768 * [taylor]: Taking taylor expansion of 0 in b2
0.768 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a2 a1 b1 b2) around 0
0.768 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.768 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.768 * [taylor]: Taking taylor expansion of b1 in b2
0.768 * [taylor]: Taking taylor expansion of b2 in b2
0.768 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.768 * [taylor]: Taking taylor expansion of a1 in b2
0.768 * [taylor]: Taking taylor expansion of a2 in b2
0.768 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.768 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.768 * [taylor]: Taking taylor expansion of b1 in b1
0.768 * [taylor]: Taking taylor expansion of b2 in b1
0.768 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.768 * [taylor]: Taking taylor expansion of a1 in b1
0.768 * [taylor]: Taking taylor expansion of a2 in b1
0.768 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.768 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.768 * [taylor]: Taking taylor expansion of b1 in a1
0.768 * [taylor]: Taking taylor expansion of b2 in a1
0.768 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.768 * [taylor]: Taking taylor expansion of a1 in a1
0.768 * [taylor]: Taking taylor expansion of a2 in a1
0.769 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.769 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.769 * [taylor]: Taking taylor expansion of b1 in a2
0.769 * [taylor]: Taking taylor expansion of b2 in a2
0.769 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.769 * [taylor]: Taking taylor expansion of a1 in a2
0.769 * [taylor]: Taking taylor expansion of a2 in a2
0.769 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.769 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.769 * [taylor]: Taking taylor expansion of b1 in a2
0.769 * [taylor]: Taking taylor expansion of b2 in a2
0.769 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.769 * [taylor]: Taking taylor expansion of a1 in a2
0.769 * [taylor]: Taking taylor expansion of a2 in a2
0.769 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in a1
0.769 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.769 * [taylor]: Taking taylor expansion of b1 in a1
0.769 * [taylor]: Taking taylor expansion of b2 in a1
0.769 * [taylor]: Taking taylor expansion of a1 in a1
0.769 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.769 * [taylor]: Taking taylor expansion of b1 in b1
0.769 * [taylor]: Taking taylor expansion of b2 in b1
0.769 * [taylor]: Taking taylor expansion of b2 in b2
0.769 * [taylor]: Taking taylor expansion of 0 in a1
0.770 * [taylor]: Taking taylor expansion of 0 in b1
0.770 * [taylor]: Taking taylor expansion of 0 in b2
0.770 * [taylor]: Taking taylor expansion of 0 in b2
0.770 * [taylor]: Taking taylor expansion of 0 in a1
0.770 * [taylor]: Taking taylor expansion of 0 in b1
0.770 * [taylor]: Taking taylor expansion of 0 in b2
0.770 * [taylor]: Taking taylor expansion of 0 in b1
0.770 * [taylor]: Taking taylor expansion of 0 in b2
0.770 * [taylor]: Taking taylor expansion of 0 in b2
0.770 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a2 a1 b1 b2) around 0
0.770 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.770 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.770 * [taylor]: Taking taylor expansion of b1 in b2
0.770 * [taylor]: Taking taylor expansion of b2 in b2
0.770 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.770 * [taylor]: Taking taylor expansion of a1 in b2
0.770 * [taylor]: Taking taylor expansion of a2 in b2
0.771 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.771 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.771 * [taylor]: Taking taylor expansion of b1 in b1
0.771 * [taylor]: Taking taylor expansion of b2 in b1
0.771 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.771 * [taylor]: Taking taylor expansion of a1 in b1
0.771 * [taylor]: Taking taylor expansion of a2 in b1
0.771 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.771 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.771 * [taylor]: Taking taylor expansion of b1 in a1
0.771 * [taylor]: Taking taylor expansion of b2 in a1
0.771 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.771 * [taylor]: Taking taylor expansion of a1 in a1
0.771 * [taylor]: Taking taylor expansion of a2 in a1
0.771 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.771 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.771 * [taylor]: Taking taylor expansion of b1 in a2
0.771 * [taylor]: Taking taylor expansion of b2 in a2
0.771 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.771 * [taylor]: Taking taylor expansion of a1 in a2
0.771 * [taylor]: Taking taylor expansion of a2 in a2
0.771 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.771 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.771 * [taylor]: Taking taylor expansion of b1 in a2
0.771 * [taylor]: Taking taylor expansion of b2 in a2
0.771 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.771 * [taylor]: Taking taylor expansion of a1 in a2
0.771 * [taylor]: Taking taylor expansion of a2 in a2
0.771 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in a1
0.771 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.771 * [taylor]: Taking taylor expansion of b1 in a1
0.771 * [taylor]: Taking taylor expansion of b2 in a1
0.771 * [taylor]: Taking taylor expansion of a1 in a1
0.772 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.772 * [taylor]: Taking taylor expansion of b1 in b1
0.772 * [taylor]: Taking taylor expansion of b2 in b1
0.772 * [taylor]: Taking taylor expansion of b2 in b2
0.772 * [taylor]: Taking taylor expansion of 0 in a1
0.772 * [taylor]: Taking taylor expansion of 0 in b1
0.772 * [taylor]: Taking taylor expansion of 0 in b2
0.772 * [taylor]: Taking taylor expansion of 0 in b2
0.772 * [taylor]: Taking taylor expansion of 0 in a1
0.772 * [taylor]: Taking taylor expansion of 0 in b1
0.772 * [taylor]: Taking taylor expansion of 0 in b2
0.772 * [taylor]: Taking taylor expansion of 0 in b1
0.772 * [taylor]: Taking taylor expansion of 0 in b2
0.772 * [taylor]: Taking taylor expansion of 0 in b2
0.773 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.773 * [approximate]: Taking taylor expansion of (/ (* a1 a2) b1) in (a2 a1 b1) around 0
0.773 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b1) in b1
0.773 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.773 * [taylor]: Taking taylor expansion of a1 in b1
0.773 * [taylor]: Taking taylor expansion of a2 in b1
0.773 * [taylor]: Taking taylor expansion of b1 in b1
0.773 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b1) in a1
0.773 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.773 * [taylor]: Taking taylor expansion of a1 in a1
0.773 * [taylor]: Taking taylor expansion of a2 in a1
0.773 * [taylor]: Taking taylor expansion of b1 in a1
0.773 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b1) in a2
0.773 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.773 * [taylor]: Taking taylor expansion of a1 in a2
0.773 * [taylor]: Taking taylor expansion of a2 in a2
0.773 * [taylor]: Taking taylor expansion of b1 in a2
0.773 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b1) in a2
0.773 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.773 * [taylor]: Taking taylor expansion of a1 in a2
0.773 * [taylor]: Taking taylor expansion of a2 in a2
0.773 * [taylor]: Taking taylor expansion of b1 in a2
0.773 * [taylor]: Taking taylor expansion of (/ a1 b1) in a1
0.773 * [taylor]: Taking taylor expansion of a1 in a1
0.773 * [taylor]: Taking taylor expansion of b1 in a1
0.773 * [taylor]: Taking taylor expansion of (/ 1 b1) in b1
0.773 * [taylor]: Taking taylor expansion of b1 in b1
0.774 * [taylor]: Taking taylor expansion of 0 in a1
0.774 * [taylor]: Taking taylor expansion of 0 in b1
0.774 * [taylor]: Taking taylor expansion of 0 in b1
0.774 * [taylor]: Taking taylor expansion of 0 in a1
0.774 * [taylor]: Taking taylor expansion of 0 in b1
0.774 * [taylor]: Taking taylor expansion of 0 in b1
0.774 * [taylor]: Taking taylor expansion of 0 in b1
0.774 * [taylor]: Taking taylor expansion of 0 in a1
0.774 * [taylor]: Taking taylor expansion of 0 in b1
0.774 * [taylor]: Taking taylor expansion of 0 in b1
0.774 * [taylor]: Taking taylor expansion of 0 in b1
0.774 * [taylor]: Taking taylor expansion of 0 in b1
0.775 * [approximate]: Taking taylor expansion of (/ b1 (* a1 a2)) in (a2 a1 b1) around 0
0.775 * [taylor]: Taking taylor expansion of (/ b1 (* a1 a2)) in b1
0.775 * [taylor]: Taking taylor expansion of b1 in b1
0.775 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.775 * [taylor]: Taking taylor expansion of a1 in b1
0.775 * [taylor]: Taking taylor expansion of a2 in b1
0.775 * [taylor]: Taking taylor expansion of (/ b1 (* a1 a2)) in a1
0.775 * [taylor]: Taking taylor expansion of b1 in a1
0.775 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.775 * [taylor]: Taking taylor expansion of a1 in a1
0.775 * [taylor]: Taking taylor expansion of a2 in a1
0.775 * [taylor]: Taking taylor expansion of (/ b1 (* a1 a2)) in a2
0.775 * [taylor]: Taking taylor expansion of b1 in a2
0.775 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.775 * [taylor]: Taking taylor expansion of a1 in a2
0.775 * [taylor]: Taking taylor expansion of a2 in a2
0.775 * [taylor]: Taking taylor expansion of (/ b1 (* a1 a2)) in a2
0.775 * [taylor]: Taking taylor expansion of b1 in a2
0.775 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.775 * [taylor]: Taking taylor expansion of a1 in a2
0.775 * [taylor]: Taking taylor expansion of a2 in a2
0.775 * [taylor]: Taking taylor expansion of (/ b1 a1) in a1
0.775 * [taylor]: Taking taylor expansion of b1 in a1
0.775 * [taylor]: Taking taylor expansion of a1 in a1
0.775 * [taylor]: Taking taylor expansion of b1 in b1
0.775 * [taylor]: Taking taylor expansion of 0 in a1
0.775 * [taylor]: Taking taylor expansion of 0 in b1
0.776 * [taylor]: Taking taylor expansion of 0 in a1
0.776 * [taylor]: Taking taylor expansion of 0 in b1
0.776 * [taylor]: Taking taylor expansion of 0 in b1
0.776 * [approximate]: Taking taylor expansion of (* -1 (/ b1 (* a1 a2))) in (a2 a1 b1) around 0
0.776 * [taylor]: Taking taylor expansion of (* -1 (/ b1 (* a1 a2))) in b1
0.776 * [taylor]: Taking taylor expansion of -1 in b1
0.776 * [taylor]: Taking taylor expansion of (/ b1 (* a1 a2)) in b1
0.776 * [taylor]: Taking taylor expansion of b1 in b1
0.776 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.776 * [taylor]: Taking taylor expansion of a1 in b1
0.776 * [taylor]: Taking taylor expansion of a2 in b1
0.776 * [taylor]: Taking taylor expansion of (* -1 (/ b1 (* a1 a2))) in a1
0.776 * [taylor]: Taking taylor expansion of -1 in a1
0.776 * [taylor]: Taking taylor expansion of (/ b1 (* a1 a2)) in a1
0.776 * [taylor]: Taking taylor expansion of b1 in a1
0.776 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.776 * [taylor]: Taking taylor expansion of a1 in a1
0.776 * [taylor]: Taking taylor expansion of a2 in a1
0.776 * [taylor]: Taking taylor expansion of (* -1 (/ b1 (* a1 a2))) in a2
0.776 * [taylor]: Taking taylor expansion of -1 in a2
0.776 * [taylor]: Taking taylor expansion of (/ b1 (* a1 a2)) in a2
0.776 * [taylor]: Taking taylor expansion of b1 in a2
0.776 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.776 * [taylor]: Taking taylor expansion of a1 in a2
0.776 * [taylor]: Taking taylor expansion of a2 in a2
0.777 * [taylor]: Taking taylor expansion of (* -1 (/ b1 (* a1 a2))) in a2
0.777 * [taylor]: Taking taylor expansion of -1 in a2
0.777 * [taylor]: Taking taylor expansion of (/ b1 (* a1 a2)) in a2
0.777 * [taylor]: Taking taylor expansion of b1 in a2
0.777 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.777 * [taylor]: Taking taylor expansion of a1 in a2
0.777 * [taylor]: Taking taylor expansion of a2 in a2
0.777 * [taylor]: Taking taylor expansion of (* -1 (/ b1 a1)) in a1
0.777 * [taylor]: Taking taylor expansion of -1 in a1
0.777 * [taylor]: Taking taylor expansion of (/ b1 a1) in a1
0.777 * [taylor]: Taking taylor expansion of b1 in a1
0.777 * [taylor]: Taking taylor expansion of a1 in a1
0.777 * [taylor]: Taking taylor expansion of (* -1 b1) in b1
0.777 * [taylor]: Taking taylor expansion of -1 in b1
0.777 * [taylor]: Taking taylor expansion of b1 in b1
0.777 * [taylor]: Taking taylor expansion of 0 in a1
0.777 * [taylor]: Taking taylor expansion of 0 in b1
0.777 * [taylor]: Taking taylor expansion of 0 in a1
0.777 * [taylor]: Taking taylor expansion of 0 in b1
0.778 * [taylor]: Taking taylor expansion of 0 in b1
0.778 * * * [progress]: simplifying candidates
0.779 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (+.f64 (log.f64 a2) (-.f64 (log.f64 a1) (log.f64 b1))) (log.f64 b2))
  (-.f64 (+.f64 (log.f64 a2) (log.f64 (/.f64 a1 b1))) (log.f64 b2))
  (-.f64 (log.f64 (*.f64 a2 (/.f64 a1 b1))) (log.f64 b2))
  (log.f64 (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))
  (exp.f64 (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))
  (/.f64 (*.f64 (*.f64 (*.f64 a2 a2) a2) (/.f64 (*.f64 (*.f64 a1 a1) a1) (*.f64 (*.f64 b1 b1) b1))) (*.f64 (*.f64 b2 b2) b2))
  (/.f64 (*.f64 (*.f64 (*.f64 a2 a2) a2) (*.f64 (*.f64 (/.f64 a1 b1) (/.f64 a1 b1)) (/.f64 a1 b1))) (*.f64 (*.f64 b2 b2) b2))
  (/.f64 (*.f64 (*.f64 (*.f64 a2 (/.f64 a1 b1)) (*.f64 a2 (/.f64 a1 b1))) (*.f64 a2 (/.f64 a1 b1))) (*.f64 (*.f64 b2 b2) b2))
  (*.f64 (cbrt.f64 (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2)) (cbrt.f64 (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2)))
  (cbrt.f64 (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))
  (*.f64 (*.f64 (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2) (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2)) (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))
  (sqrt.f64 (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))
  (sqrt.f64 (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))
  (neg.f64 (*.f64 a2 (/.f64 a1 b1)))
  (neg.f64 b2)
  (/.f64 a2 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 (/.f64 a1 b1) (cbrt.f64 b2))
  (/.f64 a2 (sqrt.f64 b2))
  (/.f64 (/.f64 a1 b1) (sqrt.f64 b2))
  (/.f64 a2 1)
  (/.f64 (/.f64 a1 b1) b2)
  (/.f64 1 b2)
  (/.f64 b2 (*.f64 a2 (/.f64 a1 b1)))
  (/.f64 (*.f64 a2 (/.f64 a1 b1)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 (*.f64 a2 (/.f64 a1 b1)) (sqrt.f64 b2))
  (/.f64 (*.f64 a2 (/.f64 a1 b1)) 1)
  (/.f64 b2 (/.f64 a1 b1))
  (*.f64 b2 b1)
  (*.f64 a2 (/.f64 a1 b1))
  (+.f64 (log.f64 a2) (-.f64 (log.f64 a1) (log.f64 b1)))
  (+.f64 (log.f64 a2) (log.f64 (/.f64 a1 b1)))
  (log.f64 (*.f64 a2 (/.f64 a1 b1)))
  (exp.f64 (*.f64 a2 (/.f64 a1 b1)))
  (*.f64 (*.f64 (*.f64 a2 a2) a2) (/.f64 (*.f64 (*.f64 a1 a1) a1) (*.f64 (*.f64 b1 b1) b1)))
  (*.f64 (*.f64 (*.f64 a2 a2) a2) (*.f64 (*.f64 (/.f64 a1 b1) (/.f64 a1 b1)) (/.f64 a1 b1)))
  (*.f64 (cbrt.f64 (*.f64 a2 (/.f64 a1 b1))) (cbrt.f64 (*.f64 a2 (/.f64 a1 b1))))
  (cbrt.f64 (*.f64 a2 (/.f64 a1 b1)))
  (*.f64 (*.f64 (*.f64 a2 (/.f64 a1 b1)) (*.f64 a2 (/.f64 a1 b1))) (*.f64 a2 (/.f64 a1 b1)))
  (sqrt.f64 (*.f64 a2 (/.f64 a1 b1)))
  (sqrt.f64 (*.f64 a2 (/.f64 a1 b1)))
  (*.f64 (sqrt.f64 a2) (sqrt.f64 (/.f64 a1 b1)))
  (*.f64 (sqrt.f64 a2) (sqrt.f64 (/.f64 a1 b1)))
  (*.f64 (sqrt.f64 a2) (/.f64 (sqrt.f64 a1) (sqrt.f64 b1)))
  (*.f64 (sqrt.f64 a2) (/.f64 (sqrt.f64 a1) (sqrt.f64 b1)))
  (*.f64 a2 (*.f64 (cbrt.f64 (/.f64 a1 b1)) (cbrt.f64 (/.f64 a1 b1))))
  (*.f64 a2 (sqrt.f64 (/.f64 a1 b1)))
  (*.f64 a2 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))))
  (*.f64 a2 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (sqrt.f64 b1)))
  (*.f64 a2 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) 1))
  (*.f64 a2 (/.f64 (sqrt.f64 a1) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))))
  (*.f64 a2 (/.f64 (sqrt.f64 a1) (sqrt.f64 b1)))
  (*.f64 a2 (/.f64 (sqrt.f64 a1) 1))
  (*.f64 a2 (/.f64 1 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))))
  (*.f64 a2 (/.f64 1 (sqrt.f64 b1)))
  (*.f64 a2 (/.f64 1 1))
  (*.f64 a2 1)
  (*.f64 a2 a1)
  (*.f64 (cbrt.f64 a2) (/.f64 a1 b1))
  (*.f64 (sqrt.f64 a2) (/.f64 a1 b1))
  (*.f64 a2 (/.f64 a1 b1))
  (*.f64 a2 a1)
  (/.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) b1)
  (/.f64 (*.f64 a1 a2) b1)
  (/.f64 (*.f64 a1 a2) b1)
0.871 * * [simplify]: iteration  0 :  5088  enodes  (cost  668 )
0.875 * [simplify]: Simplified to:
   (log.f64 (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))
  (log.f64 (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))
  (log.f64 (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))
  (log.f64 (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))
  (exp.f64 (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))
  (pow.f64 (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2) 3)
  (pow.f64 (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2) 3)
  (pow.f64 (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2) 3)
  (*.f64 (cbrt.f64 (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2)) (cbrt.f64 (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2)))
  (cbrt.f64 (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))
  (pow.f64 (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2) 3)
  (sqrt.f64 (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))
  (sqrt.f64 (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))
  (neg.f64 (*.f64 a2 (/.f64 a1 b1)))
  (neg.f64 b2)
  (/.f64 a2 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 (/.f64 a1 b1) (cbrt.f64 b2))
  (/.f64 a2 (sqrt.f64 b2))
  (/.f64 (/.f64 a1 b1) (sqrt.f64 b2))
  a2
  (/.f64 (/.f64 a1 b1) b2)
  (/.f64 1 b2)
  (/.f64 b2 (*.f64 a2 (/.f64 a1 b1)))
  (*.f64 (/.f64 a1 b1) (/.f64 a2 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 (/.f64 a1 b1) (/.f64 a2 (sqrt.f64 b2)))
  (*.f64 a2 (/.f64 a1 b1))
  (/.f64 b2 (/.f64 a1 b1))
  (*.f64 b1 b2)
  (*.f64 a2 (/.f64 a1 b1))
  (log.f64 (*.f64 a2 (/.f64 a1 b1)))
  (log.f64 (*.f64 a2 (/.f64 a1 b1)))
  (log.f64 (*.f64 a2 (/.f64 a1 b1)))
  (exp.f64 (*.f64 a2 (/.f64 a1 b1)))
  (pow.f64 (*.f64 a2 (/.f64 a1 b1)) 3)
  (pow.f64 (*.f64 a2 (/.f64 a1 b1)) 3)
  (*.f64 (cbrt.f64 (*.f64 a2 (/.f64 a1 b1))) (cbrt.f64 (*.f64 a2 (/.f64 a1 b1))))
  (cbrt.f64 (*.f64 a2 (/.f64 a1 b1)))
  (pow.f64 (*.f64 a2 (/.f64 a1 b1)) 3)
  (sqrt.f64 (*.f64 a2 (/.f64 a1 b1)))
  (sqrt.f64 (*.f64 a2 (/.f64 a1 b1)))
  (*.f64 (sqrt.f64 a2) (sqrt.f64 (/.f64 a1 b1)))
  (*.f64 (sqrt.f64 a2) (sqrt.f64 (/.f64 a1 b1)))
  (*.f64 (sqrt.f64 a2) (/.f64 (sqrt.f64 a1) (sqrt.f64 b1)))
  (*.f64 (sqrt.f64 a2) (/.f64 (sqrt.f64 a1) (sqrt.f64 b1)))
  (*.f64 a2 (*.f64 (cbrt.f64 (/.f64 a1 b1)) (cbrt.f64 (/.f64 a1 b1))))
  (*.f64 a2 (sqrt.f64 (/.f64 a1 b1)))
  (*.f64 a2 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))))
  (*.f64 a2 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (sqrt.f64 b1)))
  (*.f64 a2 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)))
  (*.f64 a2 (/.f64 (sqrt.f64 a1) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))))
  (*.f64 a2 (/.f64 (sqrt.f64 a1) (sqrt.f64 b1)))
  (*.f64 a2 (sqrt.f64 a1))
  (/.f64 a2 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))
  (/.f64 a2 (sqrt.f64 b1))
  a2
  a2
  (*.f64 a2 a1)
  (*.f64 (/.f64 a1 b1) (cbrt.f64 a2))
  (*.f64 (/.f64 a1 b1) (sqrt.f64 a2))
  (*.f64 a2 (/.f64 a1 b1))
  (*.f64 a2 a1)
  (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2)
  (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2)
  (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2)
  (*.f64 a2 (/.f64 a1 b1))
  (*.f64 a2 (/.f64 a1 b1))
  (*.f64 a2 (/.f64 a1 b1))
0.876 * * * [progress]: adding candidates to table
0.905 * * [progress]: iteration 3 / 4
0.905 * * * [progress]: picking best candidate
0.922 * * * * [pick]: Picked  #<alt (λ (a1 a2 b1 b2) (*.f64 a2 (/.f64 (/.f64 a1 b1) b2)))>
0.922 * * * [progress]: localizing error
0.929 * * * [progress]: generating rewritten candidates
0.930 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.943 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.956 * * * [progress]: generating series expansions
0.956 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.956 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (a2 a1 b1 b2) around 0
0.956 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2
0.956 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.956 * [taylor]: Taking taylor expansion of a1 in b2
0.956 * [taylor]: Taking taylor expansion of a2 in b2
0.956 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.956 * [taylor]: Taking taylor expansion of b1 in b2
0.956 * [taylor]: Taking taylor expansion of b2 in b2
0.956 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1
0.956 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.956 * [taylor]: Taking taylor expansion of a1 in b1
0.956 * [taylor]: Taking taylor expansion of a2 in b1
0.956 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.956 * [taylor]: Taking taylor expansion of b1 in b1
0.956 * [taylor]: Taking taylor expansion of b2 in b1
0.957 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
0.957 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.957 * [taylor]: Taking taylor expansion of a1 in a1
0.957 * [taylor]: Taking taylor expansion of a2 in a1
0.957 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.957 * [taylor]: Taking taylor expansion of b1 in a1
0.957 * [taylor]: Taking taylor expansion of b2 in a1
0.957 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
0.957 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.957 * [taylor]: Taking taylor expansion of a1 in a2
0.957 * [taylor]: Taking taylor expansion of a2 in a2
0.957 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.957 * [taylor]: Taking taylor expansion of b1 in a2
0.957 * [taylor]: Taking taylor expansion of b2 in a2
0.957 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
0.957 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.957 * [taylor]: Taking taylor expansion of a1 in a2
0.957 * [taylor]: Taking taylor expansion of a2 in a2
0.957 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.957 * [taylor]: Taking taylor expansion of b1 in a2
0.957 * [taylor]: Taking taylor expansion of b2 in a2
0.957 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in a1
0.957 * [taylor]: Taking taylor expansion of a1 in a1
0.957 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.957 * [taylor]: Taking taylor expansion of b1 in a1
0.957 * [taylor]: Taking taylor expansion of b2 in a1
0.957 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1
0.957 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.957 * [taylor]: Taking taylor expansion of b1 in b1
0.957 * [taylor]: Taking taylor expansion of b2 in b1
0.957 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
0.957 * [taylor]: Taking taylor expansion of b2 in b2
0.958 * [taylor]: Taking taylor expansion of 0 in a1
0.958 * [taylor]: Taking taylor expansion of 0 in b1
0.958 * [taylor]: Taking taylor expansion of 0 in b1
0.958 * [taylor]: Taking taylor expansion of 0 in b2
0.958 * [taylor]: Taking taylor expansion of 0 in a1
0.958 * [taylor]: Taking taylor expansion of 0 in b1
0.958 * [taylor]: Taking taylor expansion of 0 in b1
0.958 * [taylor]: Taking taylor expansion of 0 in b1
0.958 * [taylor]: Taking taylor expansion of 0 in b2
0.959 * [taylor]: Taking taylor expansion of 0 in b2
0.959 * [taylor]: Taking taylor expansion of 0 in b2
0.959 * [taylor]: Taking taylor expansion of 0 in a1
0.959 * [taylor]: Taking taylor expansion of 0 in b1
0.959 * [taylor]: Taking taylor expansion of 0 in b1
0.959 * [taylor]: Taking taylor expansion of 0 in b1
0.959 * [taylor]: Taking taylor expansion of 0 in b1
0.959 * [taylor]: Taking taylor expansion of 0 in b2
0.959 * [taylor]: Taking taylor expansion of 0 in b2
0.959 * [taylor]: Taking taylor expansion of 0 in b2
0.959 * [taylor]: Taking taylor expansion of 0 in b2
0.959 * [taylor]: Taking taylor expansion of 0 in b2
0.960 * [taylor]: Taking taylor expansion of 0 in b2
0.960 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a2 a1 b1 b2) around 0
0.960 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.960 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.960 * [taylor]: Taking taylor expansion of b1 in b2
0.960 * [taylor]: Taking taylor expansion of b2 in b2
0.960 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.960 * [taylor]: Taking taylor expansion of a1 in b2
0.960 * [taylor]: Taking taylor expansion of a2 in b2
0.960 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.960 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.960 * [taylor]: Taking taylor expansion of b1 in b1
0.960 * [taylor]: Taking taylor expansion of b2 in b1
0.960 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.960 * [taylor]: Taking taylor expansion of a1 in b1
0.960 * [taylor]: Taking taylor expansion of a2 in b1
0.960 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.960 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.960 * [taylor]: Taking taylor expansion of b1 in a1
0.960 * [taylor]: Taking taylor expansion of b2 in a1
0.960 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.960 * [taylor]: Taking taylor expansion of a1 in a1
0.960 * [taylor]: Taking taylor expansion of a2 in a1
0.960 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.960 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.961 * [taylor]: Taking taylor expansion of b1 in a2
0.961 * [taylor]: Taking taylor expansion of b2 in a2
0.961 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.961 * [taylor]: Taking taylor expansion of a1 in a2
0.961 * [taylor]: Taking taylor expansion of a2 in a2
0.961 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.961 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.961 * [taylor]: Taking taylor expansion of b1 in a2
0.961 * [taylor]: Taking taylor expansion of b2 in a2
0.961 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.961 * [taylor]: Taking taylor expansion of a1 in a2
0.961 * [taylor]: Taking taylor expansion of a2 in a2
0.961 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in a1
0.961 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.961 * [taylor]: Taking taylor expansion of b1 in a1
0.961 * [taylor]: Taking taylor expansion of b2 in a1
0.961 * [taylor]: Taking taylor expansion of a1 in a1
0.961 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.961 * [taylor]: Taking taylor expansion of b1 in b1
0.961 * [taylor]: Taking taylor expansion of b2 in b1
0.961 * [taylor]: Taking taylor expansion of b2 in b2
0.961 * [taylor]: Taking taylor expansion of 0 in a1
0.961 * [taylor]: Taking taylor expansion of 0 in b1
0.961 * [taylor]: Taking taylor expansion of 0 in b2
0.961 * [taylor]: Taking taylor expansion of 0 in b2
0.962 * [taylor]: Taking taylor expansion of 0 in a1
0.962 * [taylor]: Taking taylor expansion of 0 in b1
0.962 * [taylor]: Taking taylor expansion of 0 in b2
0.962 * [taylor]: Taking taylor expansion of 0 in b1
0.962 * [taylor]: Taking taylor expansion of 0 in b2
0.962 * [taylor]: Taking taylor expansion of 0 in b2
0.962 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a2 a1 b1 b2) around 0
0.962 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.962 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.962 * [taylor]: Taking taylor expansion of b1 in b2
0.962 * [taylor]: Taking taylor expansion of b2 in b2
0.962 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.962 * [taylor]: Taking taylor expansion of a1 in b2
0.962 * [taylor]: Taking taylor expansion of a2 in b2
0.962 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.962 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.962 * [taylor]: Taking taylor expansion of b1 in b1
0.963 * [taylor]: Taking taylor expansion of b2 in b1
0.963 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.963 * [taylor]: Taking taylor expansion of a1 in b1
0.963 * [taylor]: Taking taylor expansion of a2 in b1
0.963 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.963 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.963 * [taylor]: Taking taylor expansion of b1 in a1
0.963 * [taylor]: Taking taylor expansion of b2 in a1
0.963 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.963 * [taylor]: Taking taylor expansion of a1 in a1
0.963 * [taylor]: Taking taylor expansion of a2 in a1
0.963 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.963 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.963 * [taylor]: Taking taylor expansion of b1 in a2
0.963 * [taylor]: Taking taylor expansion of b2 in a2
0.963 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.963 * [taylor]: Taking taylor expansion of a1 in a2
0.963 * [taylor]: Taking taylor expansion of a2 in a2
0.963 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.963 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.963 * [taylor]: Taking taylor expansion of b1 in a2
0.963 * [taylor]: Taking taylor expansion of b2 in a2
0.963 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.963 * [taylor]: Taking taylor expansion of a1 in a2
0.963 * [taylor]: Taking taylor expansion of a2 in a2
0.963 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in a1
0.963 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.963 * [taylor]: Taking taylor expansion of b1 in a1
0.963 * [taylor]: Taking taylor expansion of b2 in a1
0.963 * [taylor]: Taking taylor expansion of a1 in a1
0.963 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.963 * [taylor]: Taking taylor expansion of b1 in b1
0.963 * [taylor]: Taking taylor expansion of b2 in b1
0.963 * [taylor]: Taking taylor expansion of b2 in b2
0.964 * [taylor]: Taking taylor expansion of 0 in a1
0.964 * [taylor]: Taking taylor expansion of 0 in b1
0.964 * [taylor]: Taking taylor expansion of 0 in b2
0.964 * [taylor]: Taking taylor expansion of 0 in b2
0.964 * [taylor]: Taking taylor expansion of 0 in a1
0.964 * [taylor]: Taking taylor expansion of 0 in b1
0.964 * [taylor]: Taking taylor expansion of 0 in b2
0.964 * [taylor]: Taking taylor expansion of 0 in b1
0.964 * [taylor]: Taking taylor expansion of 0 in b2
0.964 * [taylor]: Taking taylor expansion of 0 in b2
0.964 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.965 * [approximate]: Taking taylor expansion of (/ a1 (* b1 b2)) in (a1 b1 b2) around 0
0.965 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in b2
0.965 * [taylor]: Taking taylor expansion of a1 in b2
0.965 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.965 * [taylor]: Taking taylor expansion of b1 in b2
0.965 * [taylor]: Taking taylor expansion of b2 in b2
0.965 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in b1
0.965 * [taylor]: Taking taylor expansion of a1 in b1
0.965 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.965 * [taylor]: Taking taylor expansion of b1 in b1
0.965 * [taylor]: Taking taylor expansion of b2 in b1
0.965 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in a1
0.965 * [taylor]: Taking taylor expansion of a1 in a1
0.965 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.965 * [taylor]: Taking taylor expansion of b1 in a1
0.965 * [taylor]: Taking taylor expansion of b2 in a1
0.965 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in a1
0.965 * [taylor]: Taking taylor expansion of a1 in a1
0.965 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.965 * [taylor]: Taking taylor expansion of b1 in a1
0.965 * [taylor]: Taking taylor expansion of b2 in a1
0.965 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1
0.965 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.965 * [taylor]: Taking taylor expansion of b1 in b1
0.965 * [taylor]: Taking taylor expansion of b2 in b1
0.965 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
0.965 * [taylor]: Taking taylor expansion of b2 in b2
0.965 * [taylor]: Taking taylor expansion of 0 in b1
0.966 * [taylor]: Taking taylor expansion of 0 in b2
0.966 * [taylor]: Taking taylor expansion of 0 in b1
0.966 * [taylor]: Taking taylor expansion of 0 in b2
0.966 * [taylor]: Taking taylor expansion of 0 in b2
0.966 * [taylor]: Taking taylor expansion of 0 in b1
0.966 * [taylor]: Taking taylor expansion of 0 in b2
0.966 * [taylor]: Taking taylor expansion of 0 in b2
0.966 * [taylor]: Taking taylor expansion of 0 in b2
0.967 * [approximate]: Taking taylor expansion of (/ (* b1 b2) a1) in (a1 b1 b2) around 0
0.967 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in b2
0.967 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.967 * [taylor]: Taking taylor expansion of b1 in b2
0.967 * [taylor]: Taking taylor expansion of b2 in b2
0.967 * [taylor]: Taking taylor expansion of a1 in b2
0.967 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in b1
0.967 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.967 * [taylor]: Taking taylor expansion of b1 in b1
0.967 * [taylor]: Taking taylor expansion of b2 in b1
0.967 * [taylor]: Taking taylor expansion of a1 in b1
0.967 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in a1
0.967 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.967 * [taylor]: Taking taylor expansion of b1 in a1
0.967 * [taylor]: Taking taylor expansion of b2 in a1
0.967 * [taylor]: Taking taylor expansion of a1 in a1
0.967 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in a1
0.967 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.967 * [taylor]: Taking taylor expansion of b1 in a1
0.967 * [taylor]: Taking taylor expansion of b2 in a1
0.967 * [taylor]: Taking taylor expansion of a1 in a1
0.967 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.967 * [taylor]: Taking taylor expansion of b1 in b1
0.967 * [taylor]: Taking taylor expansion of b2 in b1
0.967 * [taylor]: Taking taylor expansion of b2 in b2
0.967 * [taylor]: Taking taylor expansion of 0 in b1
0.967 * [taylor]: Taking taylor expansion of 0 in b2
0.968 * [taylor]: Taking taylor expansion of 0 in b2
0.968 * [taylor]: Taking taylor expansion of 0 in b1
0.968 * [taylor]: Taking taylor expansion of 0 in b2
0.968 * [taylor]: Taking taylor expansion of 0 in b2
0.968 * [taylor]: Taking taylor expansion of 0 in b2
0.968 * [approximate]: Taking taylor expansion of (* -1 (/ (* b1 b2) a1)) in (a1 b1 b2) around 0
0.968 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 b2) a1)) in b2
0.968 * [taylor]: Taking taylor expansion of -1 in b2
0.968 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in b2
0.968 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.968 * [taylor]: Taking taylor expansion of b1 in b2
0.968 * [taylor]: Taking taylor expansion of b2 in b2
0.968 * [taylor]: Taking taylor expansion of a1 in b2
0.968 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 b2) a1)) in b1
0.968 * [taylor]: Taking taylor expansion of -1 in b1
0.968 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in b1
0.968 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.968 * [taylor]: Taking taylor expansion of b1 in b1
0.968 * [taylor]: Taking taylor expansion of b2 in b1
0.968 * [taylor]: Taking taylor expansion of a1 in b1
0.968 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 b2) a1)) in a1
0.968 * [taylor]: Taking taylor expansion of -1 in a1
0.968 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in a1
0.968 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.968 * [taylor]: Taking taylor expansion of b1 in a1
0.968 * [taylor]: Taking taylor expansion of b2 in a1
0.968 * [taylor]: Taking taylor expansion of a1 in a1
0.969 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 b2) a1)) in a1
0.969 * [taylor]: Taking taylor expansion of -1 in a1
0.969 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in a1
0.969 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.969 * [taylor]: Taking taylor expansion of b1 in a1
0.969 * [taylor]: Taking taylor expansion of b2 in a1
0.969 * [taylor]: Taking taylor expansion of a1 in a1
0.969 * [taylor]: Taking taylor expansion of (* -1 (* b1 b2)) in b1
0.969 * [taylor]: Taking taylor expansion of -1 in b1
0.969 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.969 * [taylor]: Taking taylor expansion of b1 in b1
0.969 * [taylor]: Taking taylor expansion of b2 in b1
0.969 * [taylor]: Taking taylor expansion of (neg b2) in b2
0.969 * [taylor]: Taking taylor expansion of b2 in b2
0.969 * [taylor]: Taking taylor expansion of 0 in b1
0.969 * [taylor]: Taking taylor expansion of 0 in b2
0.969 * [taylor]: Taking taylor expansion of 0 in b2
0.969 * [taylor]: Taking taylor expansion of 0 in b1
0.969 * [taylor]: Taking taylor expansion of 0 in b2
0.969 * [taylor]: Taking taylor expansion of 0 in b2
0.970 * [taylor]: Taking taylor expansion of 0 in b2
0.970 * * * [progress]: simplifying candidates
0.971 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 a2 (/.f64 (/.f64 a1 b1) b2))
  (+.f64 (log.f64 a2) (-.f64 (-.f64 (log.f64 a1) (log.f64 b1)) (log.f64 b2)))
  (+.f64 (log.f64 a2) (-.f64 (log.f64 (/.f64 a1 b1)) (log.f64 b2)))
  (+.f64 (log.f64 a2) (log.f64 (/.f64 (/.f64 a1 b1) b2)))
  (log.f64 (*.f64 a2 (/.f64 (/.f64 a1 b1) b2)))
  (exp.f64 (*.f64 a2 (/.f64 (/.f64 a1 b1) b2)))
  (*.f64 (*.f64 (*.f64 a2 a2) a2) (/.f64 (/.f64 (*.f64 (*.f64 a1 a1) a1) (*.f64 (*.f64 b1 b1) b1)) (*.f64 (*.f64 b2 b2) b2)))
  (*.f64 (*.f64 (*.f64 a2 a2) a2) (/.f64 (*.f64 (*.f64 (/.f64 a1 b1) (/.f64 a1 b1)) (/.f64 a1 b1)) (*.f64 (*.f64 b2 b2) b2)))
  (*.f64 (*.f64 (*.f64 a2 a2) a2) (*.f64 (*.f64 (/.f64 (/.f64 a1 b1) b2) (/.f64 (/.f64 a1 b1) b2)) (/.f64 (/.f64 a1 b1) b2)))
  (*.f64 (cbrt.f64 (*.f64 a2 (/.f64 (/.f64 a1 b1) b2))) (cbrt.f64 (*.f64 a2 (/.f64 (/.f64 a1 b1) b2))))
  (cbrt.f64 (*.f64 a2 (/.f64 (/.f64 a1 b1) b2)))
  (*.f64 (*.f64 (*.f64 a2 (/.f64 (/.f64 a1 b1) b2)) (*.f64 a2 (/.f64 (/.f64 a1 b1) b2))) (*.f64 a2 (/.f64 (/.f64 a1 b1) b2)))
  (sqrt.f64 (*.f64 a2 (/.f64 (/.f64 a1 b1) b2)))
  (sqrt.f64 (*.f64 a2 (/.f64 (/.f64 a1 b1) b2)))
  (*.f64 (sqrt.f64 a2) (sqrt.f64 (/.f64 (/.f64 a1 b1) b2)))
  (*.f64 (sqrt.f64 a2) (sqrt.f64 (/.f64 (/.f64 a1 b1) b2)))
  (*.f64 (sqrt.f64 a2) (/.f64 (sqrt.f64 (/.f64 a1 b1)) (sqrt.f64 b2)))
  (*.f64 (sqrt.f64 a2) (/.f64 (sqrt.f64 (/.f64 a1 b1)) (sqrt.f64 b2)))
  (*.f64 (sqrt.f64 a2) (/.f64 (/.f64 (sqrt.f64 a1) (sqrt.f64 b1)) (sqrt.f64 b2)))
  (*.f64 (sqrt.f64 a2) (/.f64 (/.f64 (sqrt.f64 a1) (sqrt.f64 b1)) (sqrt.f64 b2)))
  (*.f64 a2 (*.f64 (cbrt.f64 (/.f64 (/.f64 a1 b1) b2)) (cbrt.f64 (/.f64 (/.f64 a1 b1) b2))))
  (*.f64 a2 (sqrt.f64 (/.f64 (/.f64 a1 b1) b2)))
  (*.f64 a2 (/.f64 (*.f64 (cbrt.f64 (/.f64 a1 b1)) (cbrt.f64 (/.f64 a1 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 a2 (/.f64 (*.f64 (cbrt.f64 (/.f64 a1 b1)) (cbrt.f64 (/.f64 a1 b1))) (sqrt.f64 b2)))
  (*.f64 a2 (/.f64 (*.f64 (cbrt.f64 (/.f64 a1 b1)) (cbrt.f64 (/.f64 a1 b1))) 1))
  (*.f64 a2 (/.f64 (sqrt.f64 (/.f64 a1 b1)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 a2 (/.f64 (sqrt.f64 (/.f64 a1 b1)) (sqrt.f64 b2)))
  (*.f64 a2 (/.f64 (sqrt.f64 (/.f64 a1 b1)) 1))
  (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (sqrt.f64 b2)))
  (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) 1))
  (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (sqrt.f64 b1)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (sqrt.f64 b1)) (sqrt.f64 b2)))
  (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (sqrt.f64 b1)) 1))
  (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) 1) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) 1) (sqrt.f64 b2)))
  (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) 1) 1))
  (*.f64 a2 (/.f64 (/.f64 (sqrt.f64 a1) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 a2 (/.f64 (/.f64 (sqrt.f64 a1) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (sqrt.f64 b2)))
  (*.f64 a2 (/.f64 (/.f64 (sqrt.f64 a1) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) 1))
  (*.f64 a2 (/.f64 (/.f64 (sqrt.f64 a1) (sqrt.f64 b1)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 a2 (/.f64 (/.f64 (sqrt.f64 a1) (sqrt.f64 b1)) (sqrt.f64 b2)))
  (*.f64 a2 (/.f64 (/.f64 (sqrt.f64 a1) (sqrt.f64 b1)) 1))
  (*.f64 a2 (/.f64 (/.f64 (sqrt.f64 a1) 1) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 a2 (/.f64 (/.f64 (sqrt.f64 a1) 1) (sqrt.f64 b2)))
  (*.f64 a2 (/.f64 (/.f64 (sqrt.f64 a1) 1) 1))
  (*.f64 a2 (/.f64 (/.f64 1 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 a2 (/.f64 (/.f64 1 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (sqrt.f64 b2)))
  (*.f64 a2 (/.f64 (/.f64 1 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) 1))
  (*.f64 a2 (/.f64 (/.f64 1 (sqrt.f64 b1)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 a2 (/.f64 (/.f64 1 (sqrt.f64 b1)) (sqrt.f64 b2)))
  (*.f64 a2 (/.f64 (/.f64 1 (sqrt.f64 b1)) 1))
  (*.f64 a2 (/.f64 (/.f64 1 1) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 a2 (/.f64 (/.f64 1 1) (sqrt.f64 b2)))
  (*.f64 a2 (/.f64 (/.f64 1 1) 1))
  (*.f64 a2 (/.f64 1 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 a2 (/.f64 1 (sqrt.f64 b2)))
  (*.f64 a2 (/.f64 1 1))
  (*.f64 a2 (/.f64 a1 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 a2 (/.f64 a1 (sqrt.f64 b2)))
  (*.f64 a2 (/.f64 a1 1))
  (*.f64 a2 1)
  (*.f64 a2 (/.f64 a1 b1))
  (*.f64 (cbrt.f64 a2) (/.f64 (/.f64 a1 b1) b2))
  (*.f64 (sqrt.f64 a2) (/.f64 (/.f64 a1 b1) b2))
  (*.f64 a2 (/.f64 (/.f64 a1 b1) b2))
  (*.f64 a2 (/.f64 a1 b1))
  (-.f64 (-.f64 (log.f64 a1) (log.f64 b1)) (log.f64 b2))
  (-.f64 (log.f64 (/.f64 a1 b1)) (log.f64 b2))
  (log.f64 (/.f64 (/.f64 a1 b1) b2))
  (exp.f64 (/.f64 (/.f64 a1 b1) b2))
  (/.f64 (/.f64 (*.f64 (*.f64 a1 a1) a1) (*.f64 (*.f64 b1 b1) b1)) (*.f64 (*.f64 b2 b2) b2))
  (/.f64 (*.f64 (*.f64 (/.f64 a1 b1) (/.f64 a1 b1)) (/.f64 a1 b1)) (*.f64 (*.f64 b2 b2) b2))
  (*.f64 (cbrt.f64 (/.f64 (/.f64 a1 b1) b2)) (cbrt.f64 (/.f64 (/.f64 a1 b1) b2)))
  (cbrt.f64 (/.f64 (/.f64 a1 b1) b2))
  (*.f64 (*.f64 (/.f64 (/.f64 a1 b1) b2) (/.f64 (/.f64 a1 b1) b2)) (/.f64 (/.f64 a1 b1) b2))
  (sqrt.f64 (/.f64 (/.f64 a1 b1) b2))
  (sqrt.f64 (/.f64 (/.f64 a1 b1) b2))
  (neg.f64 (/.f64 a1 b1))
  (neg.f64 b2)
  (/.f64 (*.f64 (cbrt.f64 (/.f64 a1 b1)) (cbrt.f64 (/.f64 a1 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 (cbrt.f64 (/.f64 a1 b1)) (cbrt.f64 b2))
  (/.f64 (*.f64 (cbrt.f64 (/.f64 a1 b1)) (cbrt.f64 (/.f64 a1 b1))) (sqrt.f64 b2))
  (/.f64 (cbrt.f64 (/.f64 a1 b1)) (sqrt.f64 b2))
  (/.f64 (*.f64 (cbrt.f64 (/.f64 a1 b1)) (cbrt.f64 (/.f64 a1 b1))) 1)
  (/.f64 (cbrt.f64 (/.f64 a1 b1)) b2)
  (/.f64 (sqrt.f64 (/.f64 a1 b1)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 (sqrt.f64 (/.f64 a1 b1)) (cbrt.f64 b2))
  (/.f64 (sqrt.f64 (/.f64 a1 b1)) (sqrt.f64 b2))
  (/.f64 (sqrt.f64 (/.f64 a1 b1)) (sqrt.f64 b2))
  (/.f64 (sqrt.f64 (/.f64 a1 b1)) 1)
  (/.f64 (sqrt.f64 (/.f64 a1 b1)) b2)
  (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (sqrt.f64 b2))
  (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (sqrt.f64 b2))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) 1)
  (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) b2)
  (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (sqrt.f64 b1)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 (/.f64 (cbrt.f64 a1) (sqrt.f64 b1)) (cbrt.f64 b2))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (sqrt.f64 b1)) (sqrt.f64 b2))
  (/.f64 (/.f64 (cbrt.f64 a1) (sqrt.f64 b1)) (sqrt.f64 b2))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (sqrt.f64 b1)) 1)
  (/.f64 (/.f64 (cbrt.f64 a1) (sqrt.f64 b1)) b2)
  (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) 1) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 (/.f64 (cbrt.f64 a1) b1) (cbrt.f64 b2))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) 1) (sqrt.f64 b2))
  (/.f64 (/.f64 (cbrt.f64 a1) b1) (sqrt.f64 b2))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) 1) 1)
  (/.f64 (/.f64 (cbrt.f64 a1) b1) b2)
  (/.f64 (/.f64 (sqrt.f64 a1) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 (/.f64 (sqrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2))
  (/.f64 (/.f64 (sqrt.f64 a1) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (sqrt.f64 b2))
  (/.f64 (/.f64 (sqrt.f64 a1) (cbrt.f64 b1)) (sqrt.f64 b2))
  (/.f64 (/.f64 (sqrt.f64 a1) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) 1)
  (/.f64 (/.f64 (sqrt.f64 a1) (cbrt.f64 b1)) b2)
  (/.f64 (/.f64 (sqrt.f64 a1) (sqrt.f64 b1)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 (/.f64 (sqrt.f64 a1) (sqrt.f64 b1)) (cbrt.f64 b2))
  (/.f64 (/.f64 (sqrt.f64 a1) (sqrt.f64 b1)) (sqrt.f64 b2))
  (/.f64 (/.f64 (sqrt.f64 a1) (sqrt.f64 b1)) (sqrt.f64 b2))
  (/.f64 (/.f64 (sqrt.f64 a1) (sqrt.f64 b1)) 1)
  (/.f64 (/.f64 (sqrt.f64 a1) (sqrt.f64 b1)) b2)
  (/.f64 (/.f64 (sqrt.f64 a1) 1) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 (/.f64 (sqrt.f64 a1) b1) (cbrt.f64 b2))
  (/.f64 (/.f64 (sqrt.f64 a1) 1) (sqrt.f64 b2))
  (/.f64 (/.f64 (sqrt.f64 a1) b1) (sqrt.f64 b2))
  (/.f64 (/.f64 (sqrt.f64 a1) 1) 1)
  (/.f64 (/.f64 (sqrt.f64 a1) b1) b2)
  (/.f64 (/.f64 1 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 (/.f64 a1 (cbrt.f64 b1)) (cbrt.f64 b2))
  (/.f64 (/.f64 1 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (sqrt.f64 b2))
  (/.f64 (/.f64 a1 (cbrt.f64 b1)) (sqrt.f64 b2))
  (/.f64 (/.f64 1 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) 1)
  (/.f64 (/.f64 a1 (cbrt.f64 b1)) b2)
  (/.f64 (/.f64 1 (sqrt.f64 b1)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 (/.f64 a1 (sqrt.f64 b1)) (cbrt.f64 b2))
  (/.f64 (/.f64 1 (sqrt.f64 b1)) (sqrt.f64 b2))
  (/.f64 (/.f64 a1 (sqrt.f64 b1)) (sqrt.f64 b2))
  (/.f64 (/.f64 1 (sqrt.f64 b1)) 1)
  (/.f64 (/.f64 a1 (sqrt.f64 b1)) b2)
  (/.f64 (/.f64 1 1) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 (/.f64 a1 b1) (cbrt.f64 b2))
  (/.f64 (/.f64 1 1) (sqrt.f64 b2))
  (/.f64 (/.f64 a1 b1) (sqrt.f64 b2))
  (/.f64 (/.f64 1 1) 1)
  (/.f64 (/.f64 a1 b1) b2)
  (/.f64 1 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 (/.f64 a1 b1) (cbrt.f64 b2))
  (/.f64 1 (sqrt.f64 b2))
  (/.f64 (/.f64 a1 b1) (sqrt.f64 b2))
  (/.f64 1 1)
  (/.f64 (/.f64 a1 b1) b2)
  (/.f64 a1 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 (/.f64 1 b1) (cbrt.f64 b2))
  (/.f64 a1 (sqrt.f64 b2))
  (/.f64 (/.f64 1 b1) (sqrt.f64 b2))
  (/.f64 a1 1)
  (/.f64 (/.f64 1 b1) b2)
  (/.f64 1 b2)
  (/.f64 b2 (/.f64 a1 b1))
  (/.f64 (/.f64 a1 b1) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 (/.f64 a1 b1) (sqrt.f64 b2))
  (/.f64 (/.f64 a1 b1) 1)
  (/.f64 b2 (cbrt.f64 (/.f64 a1 b1)))
  (/.f64 b2 (sqrt.f64 (/.f64 a1 b1)))
  (/.f64 b2 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)))
  (/.f64 b2 (/.f64 (cbrt.f64 a1) (sqrt.f64 b1)))
  (/.f64 b2 (/.f64 (cbrt.f64 a1) b1))
  (/.f64 b2 (/.f64 (sqrt.f64 a1) (cbrt.f64 b1)))
  (/.f64 b2 (/.f64 (sqrt.f64 a1) (sqrt.f64 b1)))
  (/.f64 b2 (/.f64 (sqrt.f64 a1) b1))
  (/.f64 b2 (/.f64 a1 (cbrt.f64 b1)))
  (/.f64 b2 (/.f64 a1 (sqrt.f64 b1)))
  (/.f64 b2 (/.f64 a1 b1))
  (/.f64 b2 (/.f64 a1 b1))
  (/.f64 b2 (/.f64 1 b1))
  (*.f64 b2 b1)
  (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
  (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
  (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
  (/.f64 a1 (*.f64 b1 b2))
  (/.f64 a1 (*.f64 b1 b2))
  (/.f64 a1 (*.f64 b1 b2))
1.068 * * [simplify]: iteration  0 :  4997  enodes  (cost  2193 )
1.069 * * [simplify]: iteration  1 :  4997  enodes  (cost  2193 )
1.083 * [simplify]: Simplified to:
   (*.f64 a2 (/.f64 (/.f64 a1 b1) b2))
  (log.f64 (*.f64 a2 (/.f64 (/.f64 a1 b1) b2)))
  (log.f64 (*.f64 a2 (/.f64 (/.f64 a1 b1) b2)))
  (log.f64 (*.f64 a2 (/.f64 (/.f64 a1 b1) b2)))
  (log.f64 (*.f64 a2 (/.f64 (/.f64 a1 b1) b2)))
  (exp.f64 (*.f64 a2 (/.f64 (/.f64 a1 b1) b2)))
  (pow.f64 (*.f64 a2 (/.f64 (/.f64 a1 b1) b2)) 3)
  (pow.f64 (*.f64 a2 (/.f64 (/.f64 a1 b1) b2)) 3)
  (pow.f64 (*.f64 a2 (/.f64 (/.f64 a1 b1) b2)) 3)
  (*.f64 (cbrt.f64 (*.f64 a2 (/.f64 (/.f64 a1 b1) b2))) (cbrt.f64 (*.f64 a2 (/.f64 (/.f64 a1 b1) b2))))
  (cbrt.f64 (*.f64 a2 (/.f64 (/.f64 a1 b1) b2)))
  (pow.f64 (*.f64 a2 (/.f64 (/.f64 a1 b1) b2)) 3)
  (sqrt.f64 (*.f64 a2 (/.f64 (/.f64 a1 b1) b2)))
  (sqrt.f64 (*.f64 a2 (/.f64 (/.f64 a1 b1) b2)))
  (*.f64 (sqrt.f64 a2) (sqrt.f64 (/.f64 (/.f64 a1 b1) b2)))
  (*.f64 (sqrt.f64 a2) (sqrt.f64 (/.f64 (/.f64 a1 b1) b2)))
  (*.f64 (sqrt.f64 a2) (/.f64 (sqrt.f64 (/.f64 a1 b1)) (sqrt.f64 b2)))
  (*.f64 (sqrt.f64 a2) (/.f64 (sqrt.f64 (/.f64 a1 b1)) (sqrt.f64 b2)))
  (*.f64 (sqrt.f64 a2) (/.f64 (/.f64 (sqrt.f64 a1) (sqrt.f64 b1)) (sqrt.f64 b2)))
  (*.f64 (sqrt.f64 a2) (/.f64 (/.f64 (sqrt.f64 a1) (sqrt.f64 b1)) (sqrt.f64 b2)))
  (*.f64 a2 (*.f64 (cbrt.f64 (/.f64 (/.f64 a1 b1) b2)) (cbrt.f64 (/.f64 (/.f64 a1 b1) b2))))
  (*.f64 a2 (sqrt.f64 (/.f64 (/.f64 a1 b1) b2)))
  (*.f64 a2 (/.f64 (*.f64 (cbrt.f64 (/.f64 a1 b1)) (cbrt.f64 (/.f64 a1 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 a2 (/.f64 (*.f64 (cbrt.f64 (/.f64 a1 b1)) (cbrt.f64 (/.f64 a1 b1))) (sqrt.f64 b2)))
  (*.f64 a2 (*.f64 (cbrt.f64 (/.f64 a1 b1)) (cbrt.f64 (/.f64 a1 b1))))
  (*.f64 a2 (/.f64 (sqrt.f64 (/.f64 a1 b1)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 a2 (/.f64 (sqrt.f64 (/.f64 a1 b1)) (sqrt.f64 b2)))
  (*.f64 a2 (sqrt.f64 (/.f64 a1 b1)))
  (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (sqrt.f64 b2)))
  (*.f64 a2 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))))
  (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (sqrt.f64 b1)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (sqrt.f64 b1)) (sqrt.f64 b2)))
  (*.f64 a2 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (sqrt.f64 b1)))
  (*.f64 a2 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 a2 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (sqrt.f64 b2)))
  (*.f64 a2 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)))
  (*.f64 a2 (/.f64 (/.f64 (sqrt.f64 a1) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 a2 (/.f64 (/.f64 (sqrt.f64 a1) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (sqrt.f64 b2)))
  (*.f64 a2 (/.f64 (sqrt.f64 a1) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))))
  (*.f64 a2 (/.f64 (/.f64 (sqrt.f64 a1) (sqrt.f64 b1)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 a2 (/.f64 (/.f64 (sqrt.f64 a1) (sqrt.f64 b1)) (sqrt.f64 b2)))
  (*.f64 a2 (/.f64 (sqrt.f64 a1) (sqrt.f64 b1)))
  (*.f64 a2 (/.f64 (sqrt.f64 a1) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 a2 (/.f64 (sqrt.f64 a1) (sqrt.f64 b2)))
  (*.f64 a2 (sqrt.f64 a1))
  (/.f64 a2 (*.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))))
  (/.f64 a2 (*.f64 (sqrt.f64 b2) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))))
  (/.f64 a2 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))
  (/.f64 a2 (*.f64 (sqrt.f64 b1) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (/.f64 a2 (*.f64 (sqrt.f64 b2) (sqrt.f64 b1)))
  (/.f64 a2 (sqrt.f64 b1))
  (/.f64 a2 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 a2 (sqrt.f64 b2))
  a2
  (/.f64 a2 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 a2 (sqrt.f64 b2))
  a2
  (*.f64 a2 (/.f64 a1 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 a2 (/.f64 a1 (sqrt.f64 b2)))
  (*.f64 a2 a1)
  a2
  (*.f64 a2 (/.f64 a1 b1))
  (*.f64 (/.f64 (/.f64 a1 b1) b2) (cbrt.f64 a2))
  (*.f64 (/.f64 (/.f64 a1 b1) b2) (sqrt.f64 a2))
  (*.f64 a2 (/.f64 (/.f64 a1 b1) b2))
  (*.f64 a2 (/.f64 a1 b1))
  (log.f64 (/.f64 (/.f64 a1 b1) b2))
  (log.f64 (/.f64 (/.f64 a1 b1) b2))
  (log.f64 (/.f64 (/.f64 a1 b1) b2))
  (exp.f64 (/.f64 (/.f64 a1 b1) b2))
  (pow.f64 (/.f64 (/.f64 a1 b1) b2) 3)
  (pow.f64 (/.f64 (/.f64 a1 b1) b2) 3)
  (*.f64 (cbrt.f64 (/.f64 (/.f64 a1 b1) b2)) (cbrt.f64 (/.f64 (/.f64 a1 b1) b2)))
  (cbrt.f64 (/.f64 (/.f64 a1 b1) b2))
  (pow.f64 (/.f64 (/.f64 a1 b1) b2) 3)
  (sqrt.f64 (/.f64 (/.f64 a1 b1) b2))
  (sqrt.f64 (/.f64 (/.f64 a1 b1) b2))
  (neg.f64 (/.f64 a1 b1))
  (neg.f64 b2)
  (/.f64 (*.f64 (cbrt.f64 (/.f64 a1 b1)) (cbrt.f64 (/.f64 a1 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 (cbrt.f64 (/.f64 a1 b1)) (cbrt.f64 b2))
  (/.f64 (*.f64 (cbrt.f64 (/.f64 a1 b1)) (cbrt.f64 (/.f64 a1 b1))) (sqrt.f64 b2))
  (/.f64 (cbrt.f64 (/.f64 a1 b1)) (sqrt.f64 b2))
  (*.f64 (cbrt.f64 (/.f64 a1 b1)) (cbrt.f64 (/.f64 a1 b1)))
  (/.f64 (cbrt.f64 (/.f64 a1 b1)) b2)
  (/.f64 (sqrt.f64 (/.f64 a1 b1)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 (sqrt.f64 (/.f64 a1 b1)) (cbrt.f64 b2))
  (/.f64 (sqrt.f64 (/.f64 a1 b1)) (sqrt.f64 b2))
  (/.f64 (sqrt.f64 (/.f64 a1 b1)) (sqrt.f64 b2))
  (sqrt.f64 (/.f64 a1 b1))
  (/.f64 (sqrt.f64 (/.f64 a1 b1)) b2)
  (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (sqrt.f64 b2))
  (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (sqrt.f64 b2))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))
  (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) b2)
  (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (sqrt.f64 b1)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 (/.f64 (cbrt.f64 a1) (sqrt.f64 b1)) (cbrt.f64 b2))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (sqrt.f64 b1)) (sqrt.f64 b2))
  (/.f64 (/.f64 (cbrt.f64 a1) (sqrt.f64 b1)) (sqrt.f64 b2))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (sqrt.f64 b1))
  (/.f64 (/.f64 (cbrt.f64 a1) (sqrt.f64 b1)) b2)
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 (/.f64 (cbrt.f64 a1) b1) (cbrt.f64 b2))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (sqrt.f64 b2))
  (/.f64 (/.f64 (cbrt.f64 a1) b1) (sqrt.f64 b2))
  (*.f64 (cbrt.f64 a1) (cbrt.f64 a1))
  (/.f64 (/.f64 (cbrt.f64 a1) b1) b2)
  (/.f64 (/.f64 (sqrt.f64 a1) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 (/.f64 (sqrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2))
  (/.f64 (/.f64 (sqrt.f64 a1) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (sqrt.f64 b2))
  (/.f64 (/.f64 (sqrt.f64 a1) (sqrt.f64 b2)) (cbrt.f64 b1))
  (/.f64 (sqrt.f64 a1) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))
  (/.f64 (/.f64 (sqrt.f64 a1) (cbrt.f64 b1)) b2)
  (/.f64 (/.f64 (sqrt.f64 a1) (sqrt.f64 b1)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 (/.f64 (sqrt.f64 a1) (sqrt.f64 b1)) (cbrt.f64 b2))
  (/.f64 (/.f64 (sqrt.f64 a1) (sqrt.f64 b1)) (sqrt.f64 b2))
  (/.f64 (/.f64 (sqrt.f64 a1) (sqrt.f64 b1)) (sqrt.f64 b2))
  (/.f64 (sqrt.f64 a1) (sqrt.f64 b1))
  (/.f64 (/.f64 (sqrt.f64 a1) (sqrt.f64 b1)) b2)
  (/.f64 (sqrt.f64 a1) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 (/.f64 (sqrt.f64 a1) b1) (cbrt.f64 b2))
  (/.f64 (sqrt.f64 a1) (sqrt.f64 b2))
  (/.f64 (/.f64 (sqrt.f64 a1) (sqrt.f64 b2)) b1)
  (sqrt.f64 a1)
  (/.f64 (/.f64 (sqrt.f64 a1) b1) b2)
  (/.f64 (/.f64 1 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 (/.f64 a1 (cbrt.f64 b1)) (cbrt.f64 b2))
  (/.f64 (/.f64 1 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (sqrt.f64 b2))
  (/.f64 (/.f64 a1 (sqrt.f64 b2)) (cbrt.f64 b1))
  (/.f64 1 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))
  (/.f64 (/.f64 a1 (cbrt.f64 b1)) b2)
  (/.f64 (/.f64 1 (sqrt.f64 b1)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 (/.f64 a1 (sqrt.f64 b1)) (cbrt.f64 b2))
  (/.f64 (/.f64 1 (sqrt.f64 b1)) (sqrt.f64 b2))
  (/.f64 (/.f64 a1 (sqrt.f64 b2)) (sqrt.f64 b1))
  (/.f64 1 (sqrt.f64 b1))
  (/.f64 (/.f64 a1 (sqrt.f64 b1)) b2)
  (/.f64 1 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 (/.f64 a1 b1) (cbrt.f64 b2))
  (/.f64 1 (sqrt.f64 b2))
  (/.f64 (/.f64 a1 b1) (sqrt.f64 b2))
  1
  (/.f64 (/.f64 a1 b1) b2)
  (/.f64 1 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 (/.f64 a1 b1) (cbrt.f64 b2))
  (/.f64 1 (sqrt.f64 b2))
  (/.f64 (/.f64 a1 b1) (sqrt.f64 b2))
  1
  (/.f64 (/.f64 a1 b1) b2)
  (/.f64 a1 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 (/.f64 1 b1) (cbrt.f64 b2))
  (/.f64 a1 (sqrt.f64 b2))
  (/.f64 (/.f64 1 (sqrt.f64 b2)) b1)
  a1
  (/.f64 (/.f64 1 b1) b2)
  (/.f64 1 b2)
  (/.f64 b2 (/.f64 a1 b1))
  (/.f64 (/.f64 a1 b1) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 (/.f64 a1 b1) (sqrt.f64 b2))
  (/.f64 a1 b1)
  (/.f64 b2 (cbrt.f64 (/.f64 a1 b1)))
  (/.f64 b2 (sqrt.f64 (/.f64 a1 b1)))
  (/.f64 b2 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)))
  (/.f64 b2 (/.f64 (cbrt.f64 a1) (sqrt.f64 b1)))
  (/.f64 b2 (/.f64 (cbrt.f64 a1) b1))
  (/.f64 b2 (/.f64 (sqrt.f64 a1) (cbrt.f64 b1)))
  (/.f64 b2 (/.f64 (sqrt.f64 a1) (sqrt.f64 b1)))
  (/.f64 b2 (/.f64 (sqrt.f64 a1) b1))
  (/.f64 b2 (/.f64 a1 (cbrt.f64 b1)))
  (/.f64 b2 (/.f64 a1 (sqrt.f64 b1)))
  (/.f64 b2 (/.f64 a1 b1))
  (/.f64 b2 (/.f64 a1 b1))
  (*.f64 b1 b2)
  (*.f64 b1 b2)
  (*.f64 a2 (/.f64 (/.f64 a1 b1) b2))
  (*.f64 a2 (/.f64 (/.f64 a1 b1) b2))
  (*.f64 a2 (/.f64 (/.f64 a1 b1) b2))
  (/.f64 (/.f64 a1 b1) b2)
  (/.f64 (/.f64 a1 b1) b2)
  (/.f64 (/.f64 a1 b1) b2)
1.083 * * * [progress]: adding candidates to table
1.147 * * [progress]: iteration 4 / 4
1.147 * * * [progress]: picking best candidate
1.160 * * * * [pick]: Picked  #<alt (λ (a1 a2 b1 b2) (*.f64 (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))) (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2))))>
1.160 * * * [progress]: localizing error
1.178 * * * [progress]: generating rewritten candidates
1.178 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.195 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
1.211 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2)
1.213 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 2)
1.218 * * * [progress]: generating series expansions
1.218 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.219 * [approximate]: Taking taylor expansion of (* (pow (/ (pow a1 2) (* (pow b1 2) (pow b2 2))) 1/3) a2) in (a2 a1 b1 b2) around 0
1.219 * [taylor]: Taking taylor expansion of (* (pow (/ (pow a1 2) (* (pow b1 2) (pow b2 2))) 1/3) a2) in b2
1.219 * [taylor]: Taking taylor expansion of (pow (/ (pow a1 2) (* (pow b1 2) (pow b2 2))) 1/3) in b2
1.219 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow a1 2) (* (pow b1 2) (pow b2 2)))))) in b2
1.219 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow a1 2) (* (pow b1 2) (pow b2 2))))) in b2
1.219 * [taylor]: Taking taylor expansion of 1/3 in b2
1.219 * [taylor]: Taking taylor expansion of (log (/ (pow a1 2) (* (pow b1 2) (pow b2 2)))) in b2
1.219 * [taylor]: Taking taylor expansion of (/ (pow a1 2) (* (pow b1 2) (pow b2 2))) in b2
1.219 * [taylor]: Taking taylor expansion of (pow a1 2) in b2
1.219 * [taylor]: Taking taylor expansion of a1 in b2
1.219 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in b2
1.219 * [taylor]: Taking taylor expansion of (pow b1 2) in b2
1.219 * [taylor]: Taking taylor expansion of b1 in b2
1.219 * [taylor]: Taking taylor expansion of (pow b2 2) in b2
1.219 * [taylor]: Taking taylor expansion of b2 in b2
1.220 * [taylor]: Taking taylor expansion of a2 in b2
1.220 * [taylor]: Taking taylor expansion of (* (pow (/ (pow a1 2) (* (pow b1 2) (pow b2 2))) 1/3) a2) in b1
1.220 * [taylor]: Taking taylor expansion of (pow (/ (pow a1 2) (* (pow b1 2) (pow b2 2))) 1/3) in b1
1.220 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow a1 2) (* (pow b1 2) (pow b2 2)))))) in b1
1.220 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow a1 2) (* (pow b1 2) (pow b2 2))))) in b1
1.220 * [taylor]: Taking taylor expansion of 1/3 in b1
1.220 * [taylor]: Taking taylor expansion of (log (/ (pow a1 2) (* (pow b1 2) (pow b2 2)))) in b1
1.220 * [taylor]: Taking taylor expansion of (/ (pow a1 2) (* (pow b1 2) (pow b2 2))) in b1
1.220 * [taylor]: Taking taylor expansion of (pow a1 2) in b1
1.220 * [taylor]: Taking taylor expansion of a1 in b1
1.220 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in b1
1.220 * [taylor]: Taking taylor expansion of (pow b1 2) in b1
1.220 * [taylor]: Taking taylor expansion of b1 in b1
1.220 * [taylor]: Taking taylor expansion of (pow b2 2) in b1
1.220 * [taylor]: Taking taylor expansion of b2 in b1
1.221 * [taylor]: Taking taylor expansion of a2 in b1
1.221 * [taylor]: Taking taylor expansion of (* (pow (/ (pow a1 2) (* (pow b1 2) (pow b2 2))) 1/3) a2) in a1
1.221 * [taylor]: Taking taylor expansion of (pow (/ (pow a1 2) (* (pow b1 2) (pow b2 2))) 1/3) in a1
1.221 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow a1 2) (* (pow b1 2) (pow b2 2)))))) in a1
1.221 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow a1 2) (* (pow b1 2) (pow b2 2))))) in a1
1.221 * [taylor]: Taking taylor expansion of 1/3 in a1
1.221 * [taylor]: Taking taylor expansion of (log (/ (pow a1 2) (* (pow b1 2) (pow b2 2)))) in a1
1.221 * [taylor]: Taking taylor expansion of (/ (pow a1 2) (* (pow b1 2) (pow b2 2))) in a1
1.221 * [taylor]: Taking taylor expansion of (pow a1 2) in a1
1.221 * [taylor]: Taking taylor expansion of a1 in a1
1.221 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in a1
1.221 * [taylor]: Taking taylor expansion of (pow b1 2) in a1
1.221 * [taylor]: Taking taylor expansion of b1 in a1
1.221 * [taylor]: Taking taylor expansion of (pow b2 2) in a1
1.221 * [taylor]: Taking taylor expansion of b2 in a1
1.222 * [taylor]: Taking taylor expansion of a2 in a1
1.222 * [taylor]: Taking taylor expansion of (* (pow (/ (pow a1 2) (* (pow b1 2) (pow b2 2))) 1/3) a2) in a2
1.222 * [taylor]: Taking taylor expansion of (pow (/ (pow a1 2) (* (pow b1 2) (pow b2 2))) 1/3) in a2
1.222 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow a1 2) (* (pow b1 2) (pow b2 2)))))) in a2
1.222 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow a1 2) (* (pow b1 2) (pow b2 2))))) in a2
1.222 * [taylor]: Taking taylor expansion of 1/3 in a2
1.222 * [taylor]: Taking taylor expansion of (log (/ (pow a1 2) (* (pow b1 2) (pow b2 2)))) in a2
1.222 * [taylor]: Taking taylor expansion of (/ (pow a1 2) (* (pow b1 2) (pow b2 2))) in a2
1.222 * [taylor]: Taking taylor expansion of (pow a1 2) in a2
1.222 * [taylor]: Taking taylor expansion of a1 in a2
1.222 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in a2
1.222 * [taylor]: Taking taylor expansion of (pow b1 2) in a2
1.222 * [taylor]: Taking taylor expansion of b1 in a2
1.222 * [taylor]: Taking taylor expansion of (pow b2 2) in a2
1.222 * [taylor]: Taking taylor expansion of b2 in a2
1.223 * [taylor]: Taking taylor expansion of a2 in a2
1.223 * [taylor]: Taking taylor expansion of (* (pow (/ (pow a1 2) (* (pow b1 2) (pow b2 2))) 1/3) a2) in a2
1.223 * [taylor]: Taking taylor expansion of (pow (/ (pow a1 2) (* (pow b1 2) (pow b2 2))) 1/3) in a2
1.223 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow a1 2) (* (pow b1 2) (pow b2 2)))))) in a2
1.223 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow a1 2) (* (pow b1 2) (pow b2 2))))) in a2
1.223 * [taylor]: Taking taylor expansion of 1/3 in a2
1.223 * [taylor]: Taking taylor expansion of (log (/ (pow a1 2) (* (pow b1 2) (pow b2 2)))) in a2
1.223 * [taylor]: Taking taylor expansion of (/ (pow a1 2) (* (pow b1 2) (pow b2 2))) in a2
1.223 * [taylor]: Taking taylor expansion of (pow a1 2) in a2
1.223 * [taylor]: Taking taylor expansion of a1 in a2
1.223 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in a2
1.223 * [taylor]: Taking taylor expansion of (pow b1 2) in a2
1.223 * [taylor]: Taking taylor expansion of b1 in a2
1.223 * [taylor]: Taking taylor expansion of (pow b2 2) in a2
1.223 * [taylor]: Taking taylor expansion of b2 in a2
1.224 * [taylor]: Taking taylor expansion of a2 in a2
1.225 * [taylor]: Taking taylor expansion of 0 in a1
1.225 * [taylor]: Taking taylor expansion of 0 in b1
1.225 * [taylor]: Taking taylor expansion of 0 in b2
1.226 * [taylor]: Taking taylor expansion of (pow (/ (pow a1 2) (* (pow b1 2) (pow b2 2))) 1/3) in a1
1.226 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow a1 2) (* (pow b1 2) (pow b2 2)))))) in a1
1.226 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow a1 2) (* (pow b1 2) (pow b2 2))))) in a1
1.226 * [taylor]: Taking taylor expansion of 1/3 in a1
1.226 * [taylor]: Taking taylor expansion of (log (/ (pow a1 2) (* (pow b1 2) (pow b2 2)))) in a1
1.226 * [taylor]: Taking taylor expansion of (/ (pow a1 2) (* (pow b1 2) (pow b2 2))) in a1
1.226 * [taylor]: Taking taylor expansion of (pow a1 2) in a1
1.226 * [taylor]: Taking taylor expansion of a1 in a1
1.226 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in a1
1.226 * [taylor]: Taking taylor expansion of (pow b1 2) in a1
1.226 * [taylor]: Taking taylor expansion of b1 in a1
1.226 * [taylor]: Taking taylor expansion of (pow b2 2) in a1
1.226 * [taylor]: Taking taylor expansion of b2 in a1
1.227 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log a1)) (log (/ 1 (* (pow b1 2) (pow b2 2))))))) in b1
1.227 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log a1)) (log (/ 1 (* (pow b1 2) (pow b2 2)))))) in b1
1.227 * [taylor]: Taking taylor expansion of 1/3 in b1
1.227 * [taylor]: Taking taylor expansion of (+ (* 2 (log a1)) (log (/ 1 (* (pow b1 2) (pow b2 2))))) in b1
1.227 * [taylor]: Taking taylor expansion of (* 2 (log a1)) in b1
1.227 * [taylor]: Taking taylor expansion of 2 in b1
1.227 * [taylor]: Taking taylor expansion of (log a1) in b1
1.227 * [taylor]: Taking taylor expansion of a1 in b1
1.227 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow b1 2) (pow b2 2)))) in b1
1.227 * [taylor]: Taking taylor expansion of (/ 1 (* (pow b1 2) (pow b2 2))) in b1
1.227 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in b1
1.227 * [taylor]: Taking taylor expansion of (pow b1 2) in b1
1.227 * [taylor]: Taking taylor expansion of b1 in b1
1.227 * [taylor]: Taking taylor expansion of (pow b2 2) in b1
1.227 * [taylor]: Taking taylor expansion of b2 in b1
1.228 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (* 2 (log a1)) (log (/ 1 (pow b2 2)))) (* 2 (log b1))))) in b2
1.228 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (* 2 (log a1)) (log (/ 1 (pow b2 2)))) (* 2 (log b1)))) in b2
1.228 * [taylor]: Taking taylor expansion of 1/3 in b2
1.228 * [taylor]: Taking taylor expansion of (- (+ (* 2 (log a1)) (log (/ 1 (pow b2 2)))) (* 2 (log b1))) in b2
1.228 * [taylor]: Taking taylor expansion of (+ (* 2 (log a1)) (log (/ 1 (pow b2 2)))) in b2
1.228 * [taylor]: Taking taylor expansion of (* 2 (log a1)) in b2
1.228 * [taylor]: Taking taylor expansion of 2 in b2
1.228 * [taylor]: Taking taylor expansion of (log a1) in b2
1.228 * [taylor]: Taking taylor expansion of a1 in b2
1.228 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b2 2))) in b2
1.228 * [taylor]: Taking taylor expansion of (/ 1 (pow b2 2)) in b2
1.228 * [taylor]: Taking taylor expansion of (pow b2 2) in b2
1.228 * [taylor]: Taking taylor expansion of b2 in b2
1.228 * [taylor]: Taking taylor expansion of (* 2 (log b1)) in b2
1.228 * [taylor]: Taking taylor expansion of 2 in b2
1.228 * [taylor]: Taking taylor expansion of (log b1) in b2
1.228 * [taylor]: Taking taylor expansion of b1 in b2
1.229 * [taylor]: Taking taylor expansion of 0 in b1
1.229 * [taylor]: Taking taylor expansion of 0 in b2
1.229 * [taylor]: Taking taylor expansion of 0 in b2
1.231 * [taylor]: Taking taylor expansion of 0 in a1
1.231 * [taylor]: Taking taylor expansion of 0 in b1
1.231 * [taylor]: Taking taylor expansion of 0 in b2
1.232 * [taylor]: Taking taylor expansion of 0 in b1
1.232 * [taylor]: Taking taylor expansion of 0 in b2
1.232 * [taylor]: Taking taylor expansion of 0 in b1
1.232 * [taylor]: Taking taylor expansion of 0 in b2
1.233 * [approximate]: Taking taylor expansion of (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) (/ 1 a2)) in (a2 a1 b1 b2) around 0
1.233 * [taylor]: Taking taylor expansion of (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) (/ 1 a2)) in b2
1.233 * [taylor]: Taking taylor expansion of (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) in b2
1.233 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2))))) in b2
1.233 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)))) in b2
1.233 * [taylor]: Taking taylor expansion of 1/3 in b2
1.233 * [taylor]: Taking taylor expansion of (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2))) in b2
1.233 * [taylor]: Taking taylor expansion of (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) in b2
1.233 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in b2
1.233 * [taylor]: Taking taylor expansion of (pow b1 2) in b2
1.233 * [taylor]: Taking taylor expansion of b1 in b2
1.233 * [taylor]: Taking taylor expansion of (pow b2 2) in b2
1.233 * [taylor]: Taking taylor expansion of b2 in b2
1.233 * [taylor]: Taking taylor expansion of (pow a1 2) in b2
1.233 * [taylor]: Taking taylor expansion of a1 in b2
1.234 * [taylor]: Taking taylor expansion of (/ 1 a2) in b2
1.234 * [taylor]: Taking taylor expansion of a2 in b2
1.234 * [taylor]: Taking taylor expansion of (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) (/ 1 a2)) in b1
1.234 * [taylor]: Taking taylor expansion of (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) in b1
1.234 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2))))) in b1
1.234 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)))) in b1
1.234 * [taylor]: Taking taylor expansion of 1/3 in b1
1.234 * [taylor]: Taking taylor expansion of (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2))) in b1
1.234 * [taylor]: Taking taylor expansion of (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) in b1
1.234 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in b1
1.234 * [taylor]: Taking taylor expansion of (pow b1 2) in b1
1.234 * [taylor]: Taking taylor expansion of b1 in b1
1.234 * [taylor]: Taking taylor expansion of (pow b2 2) in b1
1.234 * [taylor]: Taking taylor expansion of b2 in b1
1.234 * [taylor]: Taking taylor expansion of (pow a1 2) in b1
1.234 * [taylor]: Taking taylor expansion of a1 in b1
1.235 * [taylor]: Taking taylor expansion of (/ 1 a2) in b1
1.235 * [taylor]: Taking taylor expansion of a2 in b1
1.235 * [taylor]: Taking taylor expansion of (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) (/ 1 a2)) in a1
1.235 * [taylor]: Taking taylor expansion of (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) in a1
1.235 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2))))) in a1
1.235 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)))) in a1
1.235 * [taylor]: Taking taylor expansion of 1/3 in a1
1.235 * [taylor]: Taking taylor expansion of (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2))) in a1
1.235 * [taylor]: Taking taylor expansion of (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) in a1
1.235 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in a1
1.235 * [taylor]: Taking taylor expansion of (pow b1 2) in a1
1.235 * [taylor]: Taking taylor expansion of b1 in a1
1.235 * [taylor]: Taking taylor expansion of (pow b2 2) in a1
1.235 * [taylor]: Taking taylor expansion of b2 in a1
1.235 * [taylor]: Taking taylor expansion of (pow a1 2) in a1
1.235 * [taylor]: Taking taylor expansion of a1 in a1
1.236 * [taylor]: Taking taylor expansion of (/ 1 a2) in a1
1.236 * [taylor]: Taking taylor expansion of a2 in a1
1.236 * [taylor]: Taking taylor expansion of (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) (/ 1 a2)) in a2
1.236 * [taylor]: Taking taylor expansion of (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) in a2
1.236 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2))))) in a2
1.236 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)))) in a2
1.236 * [taylor]: Taking taylor expansion of 1/3 in a2
1.236 * [taylor]: Taking taylor expansion of (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2))) in a2
1.236 * [taylor]: Taking taylor expansion of (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) in a2
1.236 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in a2
1.236 * [taylor]: Taking taylor expansion of (pow b1 2) in a2
1.236 * [taylor]: Taking taylor expansion of b1 in a2
1.236 * [taylor]: Taking taylor expansion of (pow b2 2) in a2
1.236 * [taylor]: Taking taylor expansion of b2 in a2
1.236 * [taylor]: Taking taylor expansion of (pow a1 2) in a2
1.236 * [taylor]: Taking taylor expansion of a1 in a2
1.237 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2
1.237 * [taylor]: Taking taylor expansion of a2 in a2
1.237 * [taylor]: Taking taylor expansion of (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) (/ 1 a2)) in a2
1.237 * [taylor]: Taking taylor expansion of (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) in a2
1.237 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2))))) in a2
1.237 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)))) in a2
1.237 * [taylor]: Taking taylor expansion of 1/3 in a2
1.237 * [taylor]: Taking taylor expansion of (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2))) in a2
1.237 * [taylor]: Taking taylor expansion of (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) in a2
1.237 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in a2
1.237 * [taylor]: Taking taylor expansion of (pow b1 2) in a2
1.237 * [taylor]: Taking taylor expansion of b1 in a2
1.237 * [taylor]: Taking taylor expansion of (pow b2 2) in a2
1.237 * [taylor]: Taking taylor expansion of b2 in a2
1.237 * [taylor]: Taking taylor expansion of (pow a1 2) in a2
1.237 * [taylor]: Taking taylor expansion of a1 in a2
1.238 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2
1.238 * [taylor]: Taking taylor expansion of a2 in a2
1.239 * [taylor]: Taking taylor expansion of (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) in a1
1.239 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2))))) in a1
1.239 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)))) in a1
1.239 * [taylor]: Taking taylor expansion of 1/3 in a1
1.239 * [taylor]: Taking taylor expansion of (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2))) in a1
1.239 * [taylor]: Taking taylor expansion of (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) in a1
1.239 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in a1
1.239 * [taylor]: Taking taylor expansion of (pow b1 2) in a1
1.239 * [taylor]: Taking taylor expansion of b1 in a1
1.239 * [taylor]: Taking taylor expansion of (pow b2 2) in a1
1.239 * [taylor]: Taking taylor expansion of b2 in a1
1.239 * [taylor]: Taking taylor expansion of (pow a1 2) in a1
1.239 * [taylor]: Taking taylor expansion of a1 in a1
1.240 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* (pow b1 2) (pow b2 2))) (* 2 (log a1))))) in b1
1.240 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* (pow b1 2) (pow b2 2))) (* 2 (log a1)))) in b1
1.240 * [taylor]: Taking taylor expansion of 1/3 in b1
1.240 * [taylor]: Taking taylor expansion of (- (log (* (pow b1 2) (pow b2 2))) (* 2 (log a1))) in b1
1.240 * [taylor]: Taking taylor expansion of (log (* (pow b1 2) (pow b2 2))) in b1
1.240 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in b1
1.240 * [taylor]: Taking taylor expansion of (pow b1 2) in b1
1.240 * [taylor]: Taking taylor expansion of b1 in b1
1.240 * [taylor]: Taking taylor expansion of (pow b2 2) in b1
1.240 * [taylor]: Taking taylor expansion of b2 in b1
1.240 * [taylor]: Taking taylor expansion of (* 2 (log a1)) in b1
1.240 * [taylor]: Taking taylor expansion of 2 in b1
1.240 * [taylor]: Taking taylor expansion of (log a1) in b1
1.240 * [taylor]: Taking taylor expansion of a1 in b1
1.240 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log (pow b2 2)) (* 2 (log b1))) (* 2 (log a1))))) in b2
1.241 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log (pow b2 2)) (* 2 (log b1))) (* 2 (log a1)))) in b2
1.241 * [taylor]: Taking taylor expansion of 1/3 in b2
1.241 * [taylor]: Taking taylor expansion of (- (+ (log (pow b2 2)) (* 2 (log b1))) (* 2 (log a1))) in b2
1.241 * [taylor]: Taking taylor expansion of (+ (log (pow b2 2)) (* 2 (log b1))) in b2
1.241 * [taylor]: Taking taylor expansion of (log (pow b2 2)) in b2
1.241 * [taylor]: Taking taylor expansion of (pow b2 2) in b2
1.241 * [taylor]: Taking taylor expansion of b2 in b2
1.241 * [taylor]: Taking taylor expansion of (* 2 (log b1)) in b2
1.241 * [taylor]: Taking taylor expansion of 2 in b2
1.241 * [taylor]: Taking taylor expansion of (log b1) in b2
1.241 * [taylor]: Taking taylor expansion of b1 in b2
1.241 * [taylor]: Taking taylor expansion of (* 2 (log a1)) in b2
1.241 * [taylor]: Taking taylor expansion of 2 in b2
1.241 * [taylor]: Taking taylor expansion of (log a1) in b2
1.241 * [taylor]: Taking taylor expansion of a1 in b2
1.243 * [taylor]: Taking taylor expansion of 0 in a1
1.243 * [taylor]: Taking taylor expansion of 0 in b1
1.243 * [taylor]: Taking taylor expansion of 0 in b2
1.244 * [taylor]: Taking taylor expansion of 0 in b1
1.244 * [taylor]: Taking taylor expansion of 0 in b2
1.245 * [taylor]: Taking taylor expansion of 0 in b2
1.247 * [taylor]: Taking taylor expansion of 0 in a1
1.247 * [taylor]: Taking taylor expansion of 0 in b1
1.247 * [taylor]: Taking taylor expansion of 0 in b2
1.247 * [taylor]: Taking taylor expansion of 0 in b1
1.247 * [taylor]: Taking taylor expansion of 0 in b2
1.248 * [approximate]: Taking taylor expansion of (* -1 (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) (/ 1 (* a2 (pow (cbrt -1) 2))))) in (a2 a1 b1 b2) around 0
1.248 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) (/ 1 (* a2 (pow (cbrt -1) 2))))) in b2
1.248 * [taylor]: Taking taylor expansion of -1 in b2
1.248 * [taylor]: Taking taylor expansion of (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) (/ 1 (* a2 (pow (cbrt -1) 2)))) in b2
1.248 * [taylor]: Taking taylor expansion of (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) in b2
1.248 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2))))) in b2
1.248 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)))) in b2
1.248 * [taylor]: Taking taylor expansion of 1/3 in b2
1.248 * [taylor]: Taking taylor expansion of (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2))) in b2
1.248 * [taylor]: Taking taylor expansion of (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) in b2
1.248 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in b2
1.248 * [taylor]: Taking taylor expansion of (pow b1 2) in b2
1.248 * [taylor]: Taking taylor expansion of b1 in b2
1.248 * [taylor]: Taking taylor expansion of (pow b2 2) in b2
1.248 * [taylor]: Taking taylor expansion of b2 in b2
1.248 * [taylor]: Taking taylor expansion of (pow a1 2) in b2
1.248 * [taylor]: Taking taylor expansion of a1 in b2
1.249 * [taylor]: Taking taylor expansion of (/ 1 (* a2 (pow (cbrt -1) 2))) in b2
1.249 * [taylor]: Taking taylor expansion of (* a2 (pow (cbrt -1) 2)) in b2
1.249 * [taylor]: Taking taylor expansion of a2 in b2
1.249 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in b2
1.249 * [taylor]: Taking taylor expansion of (cbrt -1) in b2
1.249 * [taylor]: Taking taylor expansion of -1 in b2
1.250 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) (/ 1 (* a2 (pow (cbrt -1) 2))))) in b1
1.250 * [taylor]: Taking taylor expansion of -1 in b1
1.250 * [taylor]: Taking taylor expansion of (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) (/ 1 (* a2 (pow (cbrt -1) 2)))) in b1
1.250 * [taylor]: Taking taylor expansion of (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) in b1
1.250 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2))))) in b1
1.250 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)))) in b1
1.250 * [taylor]: Taking taylor expansion of 1/3 in b1
1.250 * [taylor]: Taking taylor expansion of (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2))) in b1
1.250 * [taylor]: Taking taylor expansion of (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) in b1
1.250 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in b1
1.250 * [taylor]: Taking taylor expansion of (pow b1 2) in b1
1.250 * [taylor]: Taking taylor expansion of b1 in b1
1.250 * [taylor]: Taking taylor expansion of (pow b2 2) in b1
1.250 * [taylor]: Taking taylor expansion of b2 in b1
1.250 * [taylor]: Taking taylor expansion of (pow a1 2) in b1
1.250 * [taylor]: Taking taylor expansion of a1 in b1
1.251 * [taylor]: Taking taylor expansion of (/ 1 (* a2 (pow (cbrt -1) 2))) in b1
1.251 * [taylor]: Taking taylor expansion of (* a2 (pow (cbrt -1) 2)) in b1
1.251 * [taylor]: Taking taylor expansion of a2 in b1
1.251 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in b1
1.251 * [taylor]: Taking taylor expansion of (cbrt -1) in b1
1.251 * [taylor]: Taking taylor expansion of -1 in b1
1.251 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) (/ 1 (* a2 (pow (cbrt -1) 2))))) in a1
1.251 * [taylor]: Taking taylor expansion of -1 in a1
1.251 * [taylor]: Taking taylor expansion of (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) (/ 1 (* a2 (pow (cbrt -1) 2)))) in a1
1.251 * [taylor]: Taking taylor expansion of (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) in a1
1.251 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2))))) in a1
1.251 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)))) in a1
1.251 * [taylor]: Taking taylor expansion of 1/3 in a1
1.251 * [taylor]: Taking taylor expansion of (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2))) in a1
1.251 * [taylor]: Taking taylor expansion of (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) in a1
1.251 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in a1
1.251 * [taylor]: Taking taylor expansion of (pow b1 2) in a1
1.251 * [taylor]: Taking taylor expansion of b1 in a1
1.251 * [taylor]: Taking taylor expansion of (pow b2 2) in a1
1.251 * [taylor]: Taking taylor expansion of b2 in a1
1.251 * [taylor]: Taking taylor expansion of (pow a1 2) in a1
1.251 * [taylor]: Taking taylor expansion of a1 in a1
1.252 * [taylor]: Taking taylor expansion of (/ 1 (* a2 (pow (cbrt -1) 2))) in a1
1.252 * [taylor]: Taking taylor expansion of (* a2 (pow (cbrt -1) 2)) in a1
1.252 * [taylor]: Taking taylor expansion of a2 in a1
1.252 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in a1
1.252 * [taylor]: Taking taylor expansion of (cbrt -1) in a1
1.252 * [taylor]: Taking taylor expansion of -1 in a1
1.253 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) (/ 1 (* a2 (pow (cbrt -1) 2))))) in a2
1.253 * [taylor]: Taking taylor expansion of -1 in a2
1.253 * [taylor]: Taking taylor expansion of (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) (/ 1 (* a2 (pow (cbrt -1) 2)))) in a2
1.253 * [taylor]: Taking taylor expansion of (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) in a2
1.253 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2))))) in a2
1.253 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)))) in a2
1.253 * [taylor]: Taking taylor expansion of 1/3 in a2
1.253 * [taylor]: Taking taylor expansion of (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2))) in a2
1.253 * [taylor]: Taking taylor expansion of (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) in a2
1.253 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in a2
1.253 * [taylor]: Taking taylor expansion of (pow b1 2) in a2
1.253 * [taylor]: Taking taylor expansion of b1 in a2
1.253 * [taylor]: Taking taylor expansion of (pow b2 2) in a2
1.253 * [taylor]: Taking taylor expansion of b2 in a2
1.253 * [taylor]: Taking taylor expansion of (pow a1 2) in a2
1.253 * [taylor]: Taking taylor expansion of a1 in a2
1.254 * [taylor]: Taking taylor expansion of (/ 1 (* a2 (pow (cbrt -1) 2))) in a2
1.254 * [taylor]: Taking taylor expansion of (* a2 (pow (cbrt -1) 2)) in a2
1.254 * [taylor]: Taking taylor expansion of a2 in a2
1.254 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in a2
1.254 * [taylor]: Taking taylor expansion of (cbrt -1) in a2
1.254 * [taylor]: Taking taylor expansion of -1 in a2
1.255 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) (/ 1 (* a2 (pow (cbrt -1) 2))))) in a2
1.255 * [taylor]: Taking taylor expansion of -1 in a2
1.255 * [taylor]: Taking taylor expansion of (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) (/ 1 (* a2 (pow (cbrt -1) 2)))) in a2
1.255 * [taylor]: Taking taylor expansion of (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) in a2
1.255 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2))))) in a2
1.255 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)))) in a2
1.255 * [taylor]: Taking taylor expansion of 1/3 in a2
1.255 * [taylor]: Taking taylor expansion of (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2))) in a2
1.255 * [taylor]: Taking taylor expansion of (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) in a2
1.255 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in a2
1.255 * [taylor]: Taking taylor expansion of (pow b1 2) in a2
1.255 * [taylor]: Taking taylor expansion of b1 in a2
1.255 * [taylor]: Taking taylor expansion of (pow b2 2) in a2
1.255 * [taylor]: Taking taylor expansion of b2 in a2
1.255 * [taylor]: Taking taylor expansion of (pow a1 2) in a2
1.255 * [taylor]: Taking taylor expansion of a1 in a2
1.256 * [taylor]: Taking taylor expansion of (/ 1 (* a2 (pow (cbrt -1) 2))) in a2
1.256 * [taylor]: Taking taylor expansion of (* a2 (pow (cbrt -1) 2)) in a2
1.256 * [taylor]: Taking taylor expansion of a2 in a2
1.256 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in a2
1.256 * [taylor]: Taking taylor expansion of (cbrt -1) in a2
1.256 * [taylor]: Taking taylor expansion of -1 in a2
1.257 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) (/ 1 (pow (cbrt -1) 2)))) in a1
1.257 * [taylor]: Taking taylor expansion of -1 in a1
1.257 * [taylor]: Taking taylor expansion of (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) (/ 1 (pow (cbrt -1) 2))) in a1
1.257 * [taylor]: Taking taylor expansion of (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) in a1
1.257 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2))))) in a1
1.257 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)))) in a1
1.257 * [taylor]: Taking taylor expansion of 1/3 in a1
1.257 * [taylor]: Taking taylor expansion of (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2))) in a1
1.257 * [taylor]: Taking taylor expansion of (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) in a1
1.257 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in a1
1.257 * [taylor]: Taking taylor expansion of (pow b1 2) in a1
1.257 * [taylor]: Taking taylor expansion of b1 in a1
1.257 * [taylor]: Taking taylor expansion of (pow b2 2) in a1
1.257 * [taylor]: Taking taylor expansion of b2 in a1
1.258 * [taylor]: Taking taylor expansion of (pow a1 2) in a1
1.258 * [taylor]: Taking taylor expansion of a1 in a1
1.258 * [taylor]: Taking taylor expansion of (/ 1 (pow (cbrt -1) 2)) in a1
1.258 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in a1
1.258 * [taylor]: Taking taylor expansion of (cbrt -1) in a1
1.258 * [taylor]: Taking taylor expansion of -1 in a1
1.259 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (* 1/3 (- (log (* (pow b1 2) (pow b2 2))) (* 2 (log a1))))) (pow (cbrt -1) 2))) in b1
1.259 * [taylor]: Taking taylor expansion of -1 in b1
1.259 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (* (pow b1 2) (pow b2 2))) (* 2 (log a1))))) (pow (cbrt -1) 2)) in b1
1.259 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* (pow b1 2) (pow b2 2))) (* 2 (log a1))))) in b1
1.259 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* (pow b1 2) (pow b2 2))) (* 2 (log a1)))) in b1
1.259 * [taylor]: Taking taylor expansion of 1/3 in b1
1.259 * [taylor]: Taking taylor expansion of (- (log (* (pow b1 2) (pow b2 2))) (* 2 (log a1))) in b1
1.259 * [taylor]: Taking taylor expansion of (log (* (pow b1 2) (pow b2 2))) in b1
1.259 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in b1
1.259 * [taylor]: Taking taylor expansion of (pow b1 2) in b1
1.259 * [taylor]: Taking taylor expansion of b1 in b1
1.259 * [taylor]: Taking taylor expansion of (pow b2 2) in b1
1.260 * [taylor]: Taking taylor expansion of b2 in b1
1.260 * [taylor]: Taking taylor expansion of (* 2 (log a1)) in b1
1.260 * [taylor]: Taking taylor expansion of 2 in b1
1.260 * [taylor]: Taking taylor expansion of (log a1) in b1
1.260 * [taylor]: Taking taylor expansion of a1 in b1
1.260 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in b1
1.260 * [taylor]: Taking taylor expansion of (cbrt -1) in b1
1.260 * [taylor]: Taking taylor expansion of -1 in b1
1.261 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (* 1/3 (- (+ (log (pow b2 2)) (* 2 (log b1))) (* 2 (log a1))))) (pow (cbrt -1) 2))) in b2
1.261 * [taylor]: Taking taylor expansion of -1 in b2
1.261 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (+ (log (pow b2 2)) (* 2 (log b1))) (* 2 (log a1))))) (pow (cbrt -1) 2)) in b2
1.261 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log (pow b2 2)) (* 2 (log b1))) (* 2 (log a1))))) in b2
1.261 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log (pow b2 2)) (* 2 (log b1))) (* 2 (log a1)))) in b2
1.261 * [taylor]: Taking taylor expansion of 1/3 in b2
1.261 * [taylor]: Taking taylor expansion of (- (+ (log (pow b2 2)) (* 2 (log b1))) (* 2 (log a1))) in b2
1.261 * [taylor]: Taking taylor expansion of (+ (log (pow b2 2)) (* 2 (log b1))) in b2
1.261 * [taylor]: Taking taylor expansion of (log (pow b2 2)) in b2
1.261 * [taylor]: Taking taylor expansion of (pow b2 2) in b2
1.261 * [taylor]: Taking taylor expansion of b2 in b2
1.261 * [taylor]: Taking taylor expansion of (* 2 (log b1)) in b2
1.261 * [taylor]: Taking taylor expansion of 2 in b2
1.261 * [taylor]: Taking taylor expansion of (log b1) in b2
1.261 * [taylor]: Taking taylor expansion of b1 in b2
1.261 * [taylor]: Taking taylor expansion of (* 2 (log a1)) in b2
1.261 * [taylor]: Taking taylor expansion of 2 in b2
1.261 * [taylor]: Taking taylor expansion of (log a1) in b2
1.261 * [taylor]: Taking taylor expansion of a1 in b2
1.262 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in b2
1.262 * [taylor]: Taking taylor expansion of (cbrt -1) in b2
1.262 * [taylor]: Taking taylor expansion of -1 in b2
1.266 * [taylor]: Taking taylor expansion of 0 in a1
1.266 * [taylor]: Taking taylor expansion of 0 in b1
1.266 * [taylor]: Taking taylor expansion of 0 in b2
1.268 * [taylor]: Taking taylor expansion of 0 in b1
1.268 * [taylor]: Taking taylor expansion of 0 in b2
1.269 * [taylor]: Taking taylor expansion of 0 in b2
1.274 * [taylor]: Taking taylor expansion of 0 in a1
1.274 * [taylor]: Taking taylor expansion of 0 in b1
1.274 * [taylor]: Taking taylor expansion of 0 in b2
1.274 * [taylor]: Taking taylor expansion of 0 in b1
1.274 * [taylor]: Taking taylor expansion of 0 in b2
1.274 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
1.275 * [approximate]: Taking taylor expansion of (pow (/ (pow a1 2) (* (pow b1 2) (pow b2 2))) 1/3) in (a1 b1 b2) around 0
1.275 * [taylor]: Taking taylor expansion of (pow (/ (pow a1 2) (* (pow b1 2) (pow b2 2))) 1/3) in b2
1.275 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow a1 2) (* (pow b1 2) (pow b2 2)))))) in b2
1.275 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow a1 2) (* (pow b1 2) (pow b2 2))))) in b2
1.275 * [taylor]: Taking taylor expansion of 1/3 in b2
1.275 * [taylor]: Taking taylor expansion of (log (/ (pow a1 2) (* (pow b1 2) (pow b2 2)))) in b2
1.275 * [taylor]: Taking taylor expansion of (/ (pow a1 2) (* (pow b1 2) (pow b2 2))) in b2
1.275 * [taylor]: Taking taylor expansion of (pow a1 2) in b2
1.275 * [taylor]: Taking taylor expansion of a1 in b2
1.275 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in b2
1.275 * [taylor]: Taking taylor expansion of (pow b1 2) in b2
1.275 * [taylor]: Taking taylor expansion of b1 in b2
1.275 * [taylor]: Taking taylor expansion of (pow b2 2) in b2
1.275 * [taylor]: Taking taylor expansion of b2 in b2
1.276 * [taylor]: Taking taylor expansion of (pow (/ (pow a1 2) (* (pow b1 2) (pow b2 2))) 1/3) in b1
1.276 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow a1 2) (* (pow b1 2) (pow b2 2)))))) in b1
1.276 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow a1 2) (* (pow b1 2) (pow b2 2))))) in b1
1.276 * [taylor]: Taking taylor expansion of 1/3 in b1
1.276 * [taylor]: Taking taylor expansion of (log (/ (pow a1 2) (* (pow b1 2) (pow b2 2)))) in b1
1.276 * [taylor]: Taking taylor expansion of (/ (pow a1 2) (* (pow b1 2) (pow b2 2))) in b1
1.276 * [taylor]: Taking taylor expansion of (pow a1 2) in b1
1.276 * [taylor]: Taking taylor expansion of a1 in b1
1.276 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in b1
1.276 * [taylor]: Taking taylor expansion of (pow b1 2) in b1
1.276 * [taylor]: Taking taylor expansion of b1 in b1
1.276 * [taylor]: Taking taylor expansion of (pow b2 2) in b1
1.276 * [taylor]: Taking taylor expansion of b2 in b1
1.277 * [taylor]: Taking taylor expansion of (pow (/ (pow a1 2) (* (pow b1 2) (pow b2 2))) 1/3) in a1
1.277 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow a1 2) (* (pow b1 2) (pow b2 2)))))) in a1
1.277 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow a1 2) (* (pow b1 2) (pow b2 2))))) in a1
1.277 * [taylor]: Taking taylor expansion of 1/3 in a1
1.277 * [taylor]: Taking taylor expansion of (log (/ (pow a1 2) (* (pow b1 2) (pow b2 2)))) in a1
1.277 * [taylor]: Taking taylor expansion of (/ (pow a1 2) (* (pow b1 2) (pow b2 2))) in a1
1.277 * [taylor]: Taking taylor expansion of (pow a1 2) in a1
1.277 * [taylor]: Taking taylor expansion of a1 in a1
1.277 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in a1
1.277 * [taylor]: Taking taylor expansion of (pow b1 2) in a1
1.277 * [taylor]: Taking taylor expansion of b1 in a1
1.277 * [taylor]: Taking taylor expansion of (pow b2 2) in a1
1.277 * [taylor]: Taking taylor expansion of b2 in a1
1.278 * [taylor]: Taking taylor expansion of (pow (/ (pow a1 2) (* (pow b1 2) (pow b2 2))) 1/3) in a1
1.278 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow a1 2) (* (pow b1 2) (pow b2 2)))))) in a1
1.278 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow a1 2) (* (pow b1 2) (pow b2 2))))) in a1
1.278 * [taylor]: Taking taylor expansion of 1/3 in a1
1.278 * [taylor]: Taking taylor expansion of (log (/ (pow a1 2) (* (pow b1 2) (pow b2 2)))) in a1
1.278 * [taylor]: Taking taylor expansion of (/ (pow a1 2) (* (pow b1 2) (pow b2 2))) in a1
1.278 * [taylor]: Taking taylor expansion of (pow a1 2) in a1
1.278 * [taylor]: Taking taylor expansion of a1 in a1
1.278 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in a1
1.278 * [taylor]: Taking taylor expansion of (pow b1 2) in a1
1.278 * [taylor]: Taking taylor expansion of b1 in a1
1.278 * [taylor]: Taking taylor expansion of (pow b2 2) in a1
1.278 * [taylor]: Taking taylor expansion of b2 in a1
1.279 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log a1)) (log (/ 1 (* (pow b1 2) (pow b2 2))))))) in b1
1.279 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log a1)) (log (/ 1 (* (pow b1 2) (pow b2 2)))))) in b1
1.279 * [taylor]: Taking taylor expansion of 1/3 in b1
1.279 * [taylor]: Taking taylor expansion of (+ (* 2 (log a1)) (log (/ 1 (* (pow b1 2) (pow b2 2))))) in b1
1.279 * [taylor]: Taking taylor expansion of (* 2 (log a1)) in b1
1.279 * [taylor]: Taking taylor expansion of 2 in b1
1.279 * [taylor]: Taking taylor expansion of (log a1) in b1
1.279 * [taylor]: Taking taylor expansion of a1 in b1
1.279 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow b1 2) (pow b2 2)))) in b1
1.279 * [taylor]: Taking taylor expansion of (/ 1 (* (pow b1 2) (pow b2 2))) in b1
1.279 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in b1
1.279 * [taylor]: Taking taylor expansion of (pow b1 2) in b1
1.279 * [taylor]: Taking taylor expansion of b1 in b1
1.279 * [taylor]: Taking taylor expansion of (pow b2 2) in b1
1.279 * [taylor]: Taking taylor expansion of b2 in b1
1.280 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (* 2 (log a1)) (log (/ 1 (pow b2 2)))) (* 2 (log b1))))) in b2
1.280 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (* 2 (log a1)) (log (/ 1 (pow b2 2)))) (* 2 (log b1)))) in b2
1.280 * [taylor]: Taking taylor expansion of 1/3 in b2
1.280 * [taylor]: Taking taylor expansion of (- (+ (* 2 (log a1)) (log (/ 1 (pow b2 2)))) (* 2 (log b1))) in b2
1.280 * [taylor]: Taking taylor expansion of (+ (* 2 (log a1)) (log (/ 1 (pow b2 2)))) in b2
1.280 * [taylor]: Taking taylor expansion of (* 2 (log a1)) in b2
1.280 * [taylor]: Taking taylor expansion of 2 in b2
1.280 * [taylor]: Taking taylor expansion of (log a1) in b2
1.280 * [taylor]: Taking taylor expansion of a1 in b2
1.280 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b2 2))) in b2
1.280 * [taylor]: Taking taylor expansion of (/ 1 (pow b2 2)) in b2
1.280 * [taylor]: Taking taylor expansion of (pow b2 2) in b2
1.280 * [taylor]: Taking taylor expansion of b2 in b2
1.280 * [taylor]: Taking taylor expansion of (* 2 (log b1)) in b2
1.280 * [taylor]: Taking taylor expansion of 2 in b2
1.280 * [taylor]: Taking taylor expansion of (log b1) in b2
1.280 * [taylor]: Taking taylor expansion of b1 in b2
1.282 * [taylor]: Taking taylor expansion of 0 in b1
1.282 * [taylor]: Taking taylor expansion of 0 in b2
1.283 * [taylor]: Taking taylor expansion of 0 in b2
1.285 * [taylor]: Taking taylor expansion of 0 in b1
1.285 * [taylor]: Taking taylor expansion of 0 in b2
1.285 * [taylor]: Taking taylor expansion of 0 in b2
1.286 * [taylor]: Taking taylor expansion of 0 in b2
1.287 * [approximate]: Taking taylor expansion of (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) in (a1 b1 b2) around 0
1.287 * [taylor]: Taking taylor expansion of (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) in b2
1.287 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2))))) in b2
1.287 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)))) in b2
1.287 * [taylor]: Taking taylor expansion of 1/3 in b2
1.287 * [taylor]: Taking taylor expansion of (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2))) in b2
1.287 * [taylor]: Taking taylor expansion of (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) in b2
1.287 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in b2
1.287 * [taylor]: Taking taylor expansion of (pow b1 2) in b2
1.287 * [taylor]: Taking taylor expansion of b1 in b2
1.287 * [taylor]: Taking taylor expansion of (pow b2 2) in b2
1.287 * [taylor]: Taking taylor expansion of b2 in b2
1.287 * [taylor]: Taking taylor expansion of (pow a1 2) in b2
1.287 * [taylor]: Taking taylor expansion of a1 in b2
1.288 * [taylor]: Taking taylor expansion of (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) in b1
1.288 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2))))) in b1
1.288 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)))) in b1
1.288 * [taylor]: Taking taylor expansion of 1/3 in b1
1.288 * [taylor]: Taking taylor expansion of (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2))) in b1
1.288 * [taylor]: Taking taylor expansion of (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) in b1
1.288 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in b1
1.288 * [taylor]: Taking taylor expansion of (pow b1 2) in b1
1.288 * [taylor]: Taking taylor expansion of b1 in b1
1.288 * [taylor]: Taking taylor expansion of (pow b2 2) in b1
1.288 * [taylor]: Taking taylor expansion of b2 in b1
1.288 * [taylor]: Taking taylor expansion of (pow a1 2) in b1
1.288 * [taylor]: Taking taylor expansion of a1 in b1
1.289 * [taylor]: Taking taylor expansion of (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) in a1
1.289 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2))))) in a1
1.289 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)))) in a1
1.289 * [taylor]: Taking taylor expansion of 1/3 in a1
1.289 * [taylor]: Taking taylor expansion of (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2))) in a1
1.289 * [taylor]: Taking taylor expansion of (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) in a1
1.289 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in a1
1.289 * [taylor]: Taking taylor expansion of (pow b1 2) in a1
1.289 * [taylor]: Taking taylor expansion of b1 in a1
1.289 * [taylor]: Taking taylor expansion of (pow b2 2) in a1
1.289 * [taylor]: Taking taylor expansion of b2 in a1
1.289 * [taylor]: Taking taylor expansion of (pow a1 2) in a1
1.289 * [taylor]: Taking taylor expansion of a1 in a1
1.290 * [taylor]: Taking taylor expansion of (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) in a1
1.290 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2))))) in a1
1.290 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)))) in a1
1.290 * [taylor]: Taking taylor expansion of 1/3 in a1
1.290 * [taylor]: Taking taylor expansion of (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2))) in a1
1.290 * [taylor]: Taking taylor expansion of (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) in a1
1.290 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in a1
1.290 * [taylor]: Taking taylor expansion of (pow b1 2) in a1
1.290 * [taylor]: Taking taylor expansion of b1 in a1
1.290 * [taylor]: Taking taylor expansion of (pow b2 2) in a1
1.290 * [taylor]: Taking taylor expansion of b2 in a1
1.290 * [taylor]: Taking taylor expansion of (pow a1 2) in a1
1.290 * [taylor]: Taking taylor expansion of a1 in a1
1.291 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* (pow b1 2) (pow b2 2))) (* 2 (log a1))))) in b1
1.291 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* (pow b1 2) (pow b2 2))) (* 2 (log a1)))) in b1
1.291 * [taylor]: Taking taylor expansion of 1/3 in b1
1.291 * [taylor]: Taking taylor expansion of (- (log (* (pow b1 2) (pow b2 2))) (* 2 (log a1))) in b1
1.291 * [taylor]: Taking taylor expansion of (log (* (pow b1 2) (pow b2 2))) in b1
1.291 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in b1
1.291 * [taylor]: Taking taylor expansion of (pow b1 2) in b1
1.291 * [taylor]: Taking taylor expansion of b1 in b1
1.291 * [taylor]: Taking taylor expansion of (pow b2 2) in b1
1.291 * [taylor]: Taking taylor expansion of b2 in b1
1.291 * [taylor]: Taking taylor expansion of (* 2 (log a1)) in b1
1.291 * [taylor]: Taking taylor expansion of 2 in b1
1.291 * [taylor]: Taking taylor expansion of (log a1) in b1
1.291 * [taylor]: Taking taylor expansion of a1 in b1
1.292 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log (pow b2 2)) (* 2 (log b1))) (* 2 (log a1))))) in b2
1.292 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log (pow b2 2)) (* 2 (log b1))) (* 2 (log a1)))) in b2
1.292 * [taylor]: Taking taylor expansion of 1/3 in b2
1.292 * [taylor]: Taking taylor expansion of (- (+ (log (pow b2 2)) (* 2 (log b1))) (* 2 (log a1))) in b2
1.292 * [taylor]: Taking taylor expansion of (+ (log (pow b2 2)) (* 2 (log b1))) in b2
1.292 * [taylor]: Taking taylor expansion of (log (pow b2 2)) in b2
1.292 * [taylor]: Taking taylor expansion of (pow b2 2) in b2
1.292 * [taylor]: Taking taylor expansion of b2 in b2
1.292 * [taylor]: Taking taylor expansion of (* 2 (log b1)) in b2
1.292 * [taylor]: Taking taylor expansion of 2 in b2
1.292 * [taylor]: Taking taylor expansion of (log b1) in b2
1.292 * [taylor]: Taking taylor expansion of b1 in b2
1.292 * [taylor]: Taking taylor expansion of (* 2 (log a1)) in b2
1.292 * [taylor]: Taking taylor expansion of 2 in b2
1.292 * [taylor]: Taking taylor expansion of (log a1) in b2
1.292 * [taylor]: Taking taylor expansion of a1 in b2
1.294 * [taylor]: Taking taylor expansion of 0 in b1
1.294 * [taylor]: Taking taylor expansion of 0 in b2
1.294 * [taylor]: Taking taylor expansion of 0 in b2
1.296 * [taylor]: Taking taylor expansion of 0 in b1
1.296 * [taylor]: Taking taylor expansion of 0 in b2
1.296 * [taylor]: Taking taylor expansion of 0 in b2
1.297 * [taylor]: Taking taylor expansion of 0 in b2
1.298 * [approximate]: Taking taylor expansion of (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) (/ 1 (pow (cbrt -1) 2))) in (a1 b1 b2) around 0
1.298 * [taylor]: Taking taylor expansion of (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) (/ 1 (pow (cbrt -1) 2))) in b2
1.298 * [taylor]: Taking taylor expansion of (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) in b2
1.298 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2))))) in b2
1.298 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)))) in b2
1.298 * [taylor]: Taking taylor expansion of 1/3 in b2
1.298 * [taylor]: Taking taylor expansion of (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2))) in b2
1.298 * [taylor]: Taking taylor expansion of (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) in b2
1.298 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in b2
1.298 * [taylor]: Taking taylor expansion of (pow b1 2) in b2
1.298 * [taylor]: Taking taylor expansion of b1 in b2
1.298 * [taylor]: Taking taylor expansion of (pow b2 2) in b2
1.298 * [taylor]: Taking taylor expansion of b2 in b2
1.298 * [taylor]: Taking taylor expansion of (pow a1 2) in b2
1.298 * [taylor]: Taking taylor expansion of a1 in b2
1.299 * [taylor]: Taking taylor expansion of (/ 1 (pow (cbrt -1) 2)) in b2
1.299 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in b2
1.299 * [taylor]: Taking taylor expansion of (cbrt -1) in b2
1.299 * [taylor]: Taking taylor expansion of -1 in b2
1.300 * [taylor]: Taking taylor expansion of (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) (/ 1 (pow (cbrt -1) 2))) in b1
1.300 * [taylor]: Taking taylor expansion of (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) in b1
1.300 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2))))) in b1
1.300 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)))) in b1
1.300 * [taylor]: Taking taylor expansion of 1/3 in b1
1.300 * [taylor]: Taking taylor expansion of (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2))) in b1
1.300 * [taylor]: Taking taylor expansion of (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) in b1
1.300 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in b1
1.300 * [taylor]: Taking taylor expansion of (pow b1 2) in b1
1.300 * [taylor]: Taking taylor expansion of b1 in b1
1.300 * [taylor]: Taking taylor expansion of (pow b2 2) in b1
1.300 * [taylor]: Taking taylor expansion of b2 in b1
1.300 * [taylor]: Taking taylor expansion of (pow a1 2) in b1
1.300 * [taylor]: Taking taylor expansion of a1 in b1
1.303 * [taylor]: Taking taylor expansion of (/ 1 (pow (cbrt -1) 2)) in b1
1.303 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in b1
1.303 * [taylor]: Taking taylor expansion of (cbrt -1) in b1
1.303 * [taylor]: Taking taylor expansion of -1 in b1
1.304 * [taylor]: Taking taylor expansion of (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) (/ 1 (pow (cbrt -1) 2))) in a1
1.304 * [taylor]: Taking taylor expansion of (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) in a1
1.304 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2))))) in a1
1.304 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)))) in a1
1.304 * [taylor]: Taking taylor expansion of 1/3 in a1
1.304 * [taylor]: Taking taylor expansion of (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2))) in a1
1.304 * [taylor]: Taking taylor expansion of (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) in a1
1.304 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in a1
1.304 * [taylor]: Taking taylor expansion of (pow b1 2) in a1
1.304 * [taylor]: Taking taylor expansion of b1 in a1
1.304 * [taylor]: Taking taylor expansion of (pow b2 2) in a1
1.304 * [taylor]: Taking taylor expansion of b2 in a1
1.304 * [taylor]: Taking taylor expansion of (pow a1 2) in a1
1.304 * [taylor]: Taking taylor expansion of a1 in a1
1.305 * [taylor]: Taking taylor expansion of (/ 1 (pow (cbrt -1) 2)) in a1
1.305 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in a1
1.305 * [taylor]: Taking taylor expansion of (cbrt -1) in a1
1.305 * [taylor]: Taking taylor expansion of -1 in a1
1.305 * [taylor]: Taking taylor expansion of (* (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) (/ 1 (pow (cbrt -1) 2))) in a1
1.305 * [taylor]: Taking taylor expansion of (pow (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) 1/3) in a1
1.305 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2))))) in a1
1.305 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)))) in a1
1.305 * [taylor]: Taking taylor expansion of 1/3 in a1
1.305 * [taylor]: Taking taylor expansion of (log (/ (* (pow b1 2) (pow b2 2)) (pow a1 2))) in a1
1.305 * [taylor]: Taking taylor expansion of (/ (* (pow b1 2) (pow b2 2)) (pow a1 2)) in a1
1.305 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in a1
1.305 * [taylor]: Taking taylor expansion of (pow b1 2) in a1
1.305 * [taylor]: Taking taylor expansion of b1 in a1
1.305 * [taylor]: Taking taylor expansion of (pow b2 2) in a1
1.305 * [taylor]: Taking taylor expansion of b2 in a1
1.305 * [taylor]: Taking taylor expansion of (pow a1 2) in a1
1.305 * [taylor]: Taking taylor expansion of a1 in a1
1.306 * [taylor]: Taking taylor expansion of (/ 1 (pow (cbrt -1) 2)) in a1
1.306 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in a1
1.306 * [taylor]: Taking taylor expansion of (cbrt -1) in a1
1.306 * [taylor]: Taking taylor expansion of -1 in a1
1.307 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (* (pow b1 2) (pow b2 2))) (* 2 (log a1))))) (pow (cbrt -1) 2)) in b1
1.307 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* (pow b1 2) (pow b2 2))) (* 2 (log a1))))) in b1
1.307 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* (pow b1 2) (pow b2 2))) (* 2 (log a1)))) in b1
1.307 * [taylor]: Taking taylor expansion of 1/3 in b1
1.307 * [taylor]: Taking taylor expansion of (- (log (* (pow b1 2) (pow b2 2))) (* 2 (log a1))) in b1
1.307 * [taylor]: Taking taylor expansion of (log (* (pow b1 2) (pow b2 2))) in b1
1.307 * [taylor]: Taking taylor expansion of (* (pow b1 2) (pow b2 2)) in b1
1.307 * [taylor]: Taking taylor expansion of (pow b1 2) in b1
1.307 * [taylor]: Taking taylor expansion of b1 in b1
1.307 * [taylor]: Taking taylor expansion of (pow b2 2) in b1
1.307 * [taylor]: Taking taylor expansion of b2 in b1
1.307 * [taylor]: Taking taylor expansion of (* 2 (log a1)) in b1
1.307 * [taylor]: Taking taylor expansion of 2 in b1
1.307 * [taylor]: Taking taylor expansion of (log a1) in b1
1.307 * [taylor]: Taking taylor expansion of a1 in b1
1.308 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in b1
1.308 * [taylor]: Taking taylor expansion of (cbrt -1) in b1
1.308 * [taylor]: Taking taylor expansion of -1 in b1
1.308 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (+ (log (pow b2 2)) (* 2 (log b1))) (* 2 (log a1))))) (pow (cbrt -1) 2)) in b2
1.308 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log (pow b2 2)) (* 2 (log b1))) (* 2 (log a1))))) in b2
1.308 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log (pow b2 2)) (* 2 (log b1))) (* 2 (log a1)))) in b2
1.308 * [taylor]: Taking taylor expansion of 1/3 in b2
1.308 * [taylor]: Taking taylor expansion of (- (+ (log (pow b2 2)) (* 2 (log b1))) (* 2 (log a1))) in b2
1.308 * [taylor]: Taking taylor expansion of (+ (log (pow b2 2)) (* 2 (log b1))) in b2
1.308 * [taylor]: Taking taylor expansion of (log (pow b2 2)) in b2
1.308 * [taylor]: Taking taylor expansion of (pow b2 2) in b2
1.308 * [taylor]: Taking taylor expansion of b2 in b2
1.308 * [taylor]: Taking taylor expansion of (* 2 (log b1)) in b2
1.308 * [taylor]: Taking taylor expansion of 2 in b2
1.309 * [taylor]: Taking taylor expansion of (log b1) in b2
1.309 * [taylor]: Taking taylor expansion of b1 in b2
1.309 * [taylor]: Taking taylor expansion of (* 2 (log a1)) in b2
1.309 * [taylor]: Taking taylor expansion of 2 in b2
1.309 * [taylor]: Taking taylor expansion of (log a1) in b2
1.309 * [taylor]: Taking taylor expansion of a1 in b2
1.309 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in b2
1.309 * [taylor]: Taking taylor expansion of (cbrt -1) in b2
1.309 * [taylor]: Taking taylor expansion of -1 in b2
1.311 * [taylor]: Taking taylor expansion of 0 in b1
1.312 * [taylor]: Taking taylor expansion of 0 in b2
1.313 * [taylor]: Taking taylor expansion of 0 in b2
1.316 * [taylor]: Taking taylor expansion of 0 in b1
1.316 * [taylor]: Taking taylor expansion of 0 in b2
1.316 * [taylor]: Taking taylor expansion of 0 in b2
1.318 * [taylor]: Taking taylor expansion of 0 in b2
1.318 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2)
1.319 * [approximate]: Taking taylor expansion of (pow b1 1/3) in (b1) around 0
1.319 * [taylor]: Taking taylor expansion of (pow b1 1/3) in b1
1.319 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log b1))) in b1
1.319 * [taylor]: Taking taylor expansion of (* 1/3 (log b1)) in b1
1.319 * [taylor]: Taking taylor expansion of 1/3 in b1
1.319 * [taylor]: Taking taylor expansion of (log b1) in b1
1.319 * [taylor]: Taking taylor expansion of b1 in b1
1.319 * [taylor]: Taking taylor expansion of (pow b1 1/3) in b1
1.319 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log b1))) in b1
1.319 * [taylor]: Taking taylor expansion of (* 1/3 (log b1)) in b1
1.319 * [taylor]: Taking taylor expansion of 1/3 in b1
1.319 * [taylor]: Taking taylor expansion of (log b1) in b1
1.319 * [taylor]: Taking taylor expansion of b1 in b1
1.322 * [approximate]: Taking taylor expansion of (pow (/ 1 b1) 1/3) in (b1) around 0
1.323 * [taylor]: Taking taylor expansion of (pow (/ 1 b1) 1/3) in b1
1.323 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b1)))) in b1
1.323 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b1))) in b1
1.323 * [taylor]: Taking taylor expansion of 1/3 in b1
1.323 * [taylor]: Taking taylor expansion of (log (/ 1 b1)) in b1
1.323 * [taylor]: Taking taylor expansion of (/ 1 b1) in b1
1.323 * [taylor]: Taking taylor expansion of b1 in b1
1.323 * [taylor]: Taking taylor expansion of (pow (/ 1 b1) 1/3) in b1
1.323 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b1)))) in b1
1.323 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b1))) in b1
1.323 * [taylor]: Taking taylor expansion of 1/3 in b1
1.323 * [taylor]: Taking taylor expansion of (log (/ 1 b1)) in b1
1.323 * [taylor]: Taking taylor expansion of (/ 1 b1) in b1
1.323 * [taylor]: Taking taylor expansion of b1 in b1
1.327 * [approximate]: Taking taylor expansion of (* (pow (/ 1 b1) 1/3) (cbrt -1)) in (b1) around 0
1.327 * [taylor]: Taking taylor expansion of (* (pow (/ 1 b1) 1/3) (cbrt -1)) in b1
1.327 * [taylor]: Taking taylor expansion of (pow (/ 1 b1) 1/3) in b1
1.327 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b1)))) in b1
1.327 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b1))) in b1
1.327 * [taylor]: Taking taylor expansion of 1/3 in b1
1.327 * [taylor]: Taking taylor expansion of (log (/ 1 b1)) in b1
1.327 * [taylor]: Taking taylor expansion of (/ 1 b1) in b1
1.327 * [taylor]: Taking taylor expansion of b1 in b1
1.327 * [taylor]: Taking taylor expansion of (cbrt -1) in b1
1.327 * [taylor]: Taking taylor expansion of -1 in b1
1.327 * [taylor]: Taking taylor expansion of (* (pow (/ 1 b1) 1/3) (cbrt -1)) in b1
1.327 * [taylor]: Taking taylor expansion of (pow (/ 1 b1) 1/3) in b1
1.327 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b1)))) in b1
1.327 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b1))) in b1
1.327 * [taylor]: Taking taylor expansion of 1/3 in b1
1.327 * [taylor]: Taking taylor expansion of (log (/ 1 b1)) in b1
1.327 * [taylor]: Taking taylor expansion of (/ 1 b1) in b1
1.327 * [taylor]: Taking taylor expansion of b1 in b1
1.327 * [taylor]: Taking taylor expansion of (cbrt -1) in b1
1.327 * [taylor]: Taking taylor expansion of -1 in b1
1.333 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 2)
1.333 * [approximate]: Taking taylor expansion of (pow b1 1/3) in (b1) around 0
1.333 * [taylor]: Taking taylor expansion of (pow b1 1/3) in b1
1.333 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log b1))) in b1
1.333 * [taylor]: Taking taylor expansion of (* 1/3 (log b1)) in b1
1.333 * [taylor]: Taking taylor expansion of 1/3 in b1
1.333 * [taylor]: Taking taylor expansion of (log b1) in b1
1.333 * [taylor]: Taking taylor expansion of b1 in b1
1.333 * [taylor]: Taking taylor expansion of (pow b1 1/3) in b1
1.333 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log b1))) in b1
1.333 * [taylor]: Taking taylor expansion of (* 1/3 (log b1)) in b1
1.333 * [taylor]: Taking taylor expansion of 1/3 in b1
1.333 * [taylor]: Taking taylor expansion of (log b1) in b1
1.333 * [taylor]: Taking taylor expansion of b1 in b1
1.337 * [approximate]: Taking taylor expansion of (pow (/ 1 b1) 1/3) in (b1) around 0
1.337 * [taylor]: Taking taylor expansion of (pow (/ 1 b1) 1/3) in b1
1.337 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b1)))) in b1
1.337 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b1))) in b1
1.337 * [taylor]: Taking taylor expansion of 1/3 in b1
1.337 * [taylor]: Taking taylor expansion of (log (/ 1 b1)) in b1
1.337 * [taylor]: Taking taylor expansion of (/ 1 b1) in b1
1.337 * [taylor]: Taking taylor expansion of b1 in b1
1.337 * [taylor]: Taking taylor expansion of (pow (/ 1 b1) 1/3) in b1
1.337 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b1)))) in b1
1.337 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b1))) in b1
1.337 * [taylor]: Taking taylor expansion of 1/3 in b1
1.337 * [taylor]: Taking taylor expansion of (log (/ 1 b1)) in b1
1.337 * [taylor]: Taking taylor expansion of (/ 1 b1) in b1
1.337 * [taylor]: Taking taylor expansion of b1 in b1
1.341 * [approximate]: Taking taylor expansion of (* (pow (/ 1 b1) 1/3) (cbrt -1)) in (b1) around 0
1.341 * [taylor]: Taking taylor expansion of (* (pow (/ 1 b1) 1/3) (cbrt -1)) in b1
1.341 * [taylor]: Taking taylor expansion of (pow (/ 1 b1) 1/3) in b1
1.341 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b1)))) in b1
1.341 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b1))) in b1
1.341 * [taylor]: Taking taylor expansion of 1/3 in b1
1.341 * [taylor]: Taking taylor expansion of (log (/ 1 b1)) in b1
1.341 * [taylor]: Taking taylor expansion of (/ 1 b1) in b1
1.341 * [taylor]: Taking taylor expansion of b1 in b1
1.341 * [taylor]: Taking taylor expansion of (cbrt -1) in b1
1.341 * [taylor]: Taking taylor expansion of -1 in b1
1.341 * [taylor]: Taking taylor expansion of (* (pow (/ 1 b1) 1/3) (cbrt -1)) in b1
1.341 * [taylor]: Taking taylor expansion of (pow (/ 1 b1) 1/3) in b1
1.341 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b1)))) in b1
1.341 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b1))) in b1
1.341 * [taylor]: Taking taylor expansion of 1/3 in b1
1.341 * [taylor]: Taking taylor expansion of (log (/ 1 b1)) in b1
1.341 * [taylor]: Taking taylor expansion of (/ 1 b1) in b1
1.341 * [taylor]: Taking taylor expansion of b1 in b1
1.341 * [taylor]: Taking taylor expansion of (cbrt -1) in b1
1.341 * [taylor]: Taking taylor expansion of -1 in b1
1.347 * * * [progress]: simplifying candidates
1.349 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (+.f64 (log.f64 a2) (-.f64 (-.f64 (+.f64 (log.f64 (cbrt.f64 a1)) (log.f64 (cbrt.f64 a1))) (+.f64 (log.f64 (cbrt.f64 b1)) (log.f64 (cbrt.f64 b1)))) (+.f64 (log.f64 (cbrt.f64 b2)) (log.f64 (cbrt.f64 b2)))))
  (+.f64 (log.f64 a2) (-.f64 (-.f64 (+.f64 (log.f64 (cbrt.f64 a1)) (log.f64 (cbrt.f64 a1))) (+.f64 (log.f64 (cbrt.f64 b1)) (log.f64 (cbrt.f64 b1)))) (log.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (+.f64 (log.f64 a2) (-.f64 (-.f64 (+.f64 (log.f64 (cbrt.f64 a1)) (log.f64 (cbrt.f64 a1))) (log.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))) (+.f64 (log.f64 (cbrt.f64 b2)) (log.f64 (cbrt.f64 b2)))))
  (+.f64 (log.f64 a2) (-.f64 (-.f64 (+.f64 (log.f64 (cbrt.f64 a1)) (log.f64 (cbrt.f64 a1))) (log.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))) (log.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (+.f64 (log.f64 a2) (-.f64 (-.f64 (log.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1))) (+.f64 (log.f64 (cbrt.f64 b1)) (log.f64 (cbrt.f64 b1)))) (+.f64 (log.f64 (cbrt.f64 b2)) (log.f64 (cbrt.f64 b2)))))
  (+.f64 (log.f64 a2) (-.f64 (-.f64 (log.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1))) (+.f64 (log.f64 (cbrt.f64 b1)) (log.f64 (cbrt.f64 b1)))) (log.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (+.f64 (log.f64 a2) (-.f64 (-.f64 (log.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1))) (log.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))) (+.f64 (log.f64 (cbrt.f64 b2)) (log.f64 (cbrt.f64 b2)))))
  (+.f64 (log.f64 a2) (-.f64 (-.f64 (log.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1))) (log.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))) (log.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (+.f64 (log.f64 a2) (-.f64 (log.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))) (+.f64 (log.f64 (cbrt.f64 b2)) (log.f64 (cbrt.f64 b2)))))
  (+.f64 (log.f64 a2) (-.f64 (log.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))) (log.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (+.f64 (log.f64 a2) (log.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (log.f64 (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (exp.f64 (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (*.f64 (*.f64 (*.f64 a2 a2) a2) (/.f64 (/.f64 (*.f64 a1 a1) (*.f64 b1 b1)) (*.f64 b2 b2)))
  (*.f64 (*.f64 (*.f64 a2 a2) a2) (/.f64 (/.f64 (*.f64 a1 a1) (*.f64 b1 b1)) (*.f64 (*.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (*.f64 (*.f64 (*.f64 a2 a2) a2) (/.f64 (/.f64 (*.f64 a1 a1) (*.f64 (*.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))) (*.f64 b2 b2)))
  (*.f64 (*.f64 (*.f64 a2 a2) a2) (/.f64 (/.f64 (*.f64 a1 a1) (*.f64 (*.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))) (*.f64 (*.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (*.f64 (*.f64 (*.f64 a2 a2) a2) (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 a1) (cbrt.f64 a1))) (*.f64 (cbrt.f64 a1) (cbrt.f64 a1))) (*.f64 b1 b1)) (*.f64 b2 b2)))
  (*.f64 (*.f64 (*.f64 a2 a2) a2) (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 a1) (cbrt.f64 a1))) (*.f64 (cbrt.f64 a1) (cbrt.f64 a1))) (*.f64 b1 b1)) (*.f64 (*.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (*.f64 (*.f64 (*.f64 a2 a2) a2) (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 a1) (cbrt.f64 a1))) (*.f64 (cbrt.f64 a1) (cbrt.f64 a1))) (*.f64 (*.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))) (*.f64 b2 b2)))
  (*.f64 (*.f64 (*.f64 a2 a2) a2) (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 a1) (cbrt.f64 a1))) (*.f64 (cbrt.f64 a1) (cbrt.f64 a1))) (*.f64 (*.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))) (*.f64 (*.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (*.f64 (*.f64 (*.f64 a2 a2) a2) (/.f64 (*.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))) (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))) (*.f64 b2 b2)))
  (*.f64 (*.f64 (*.f64 a2 a2) a2) (/.f64 (*.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))) (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))) (*.f64 (*.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (*.f64 (*.f64 (*.f64 a2 a2) a2) (*.f64 (*.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))) (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))) (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (*.f64 (cbrt.f64 (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))) (cbrt.f64 (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))))
  (cbrt.f64 (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (*.f64 (*.f64 (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))) (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))) (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (sqrt.f64 (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (sqrt.f64 (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (*.f64 (sqrt.f64 a2) (sqrt.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (*.f64 (sqrt.f64 a2) (sqrt.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (*.f64 (sqrt.f64 a2) (/.f64 (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))) (cbrt.f64 b2)))
  (*.f64 (sqrt.f64 a2) (/.f64 (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))) (cbrt.f64 b2)))
  (*.f64 (sqrt.f64 a2) (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2)))
  (*.f64 (sqrt.f64 a2) (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2)))
  (*.f64 a2 (*.f64 (cbrt.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))) (cbrt.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))))
  (*.f64 a2 (sqrt.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (*.f64 a2 (/.f64 (*.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))) (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))))) (cbrt.f64 b2)))
  (*.f64 a2 (/.f64 (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))) (cbrt.f64 b2)))
  (*.f64 a2 (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2)))
  (*.f64 a2 (/.f64 1 (cbrt.f64 b2)))
  (*.f64 a2 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (cbrt.f64 b2)))
  (*.f64 a2 1)
  (*.f64 a2 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))))
  (*.f64 (cbrt.f64 a2) (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 (sqrt.f64 a2) (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 a2 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))))
  (-.f64 (-.f64 (+.f64 (log.f64 (cbrt.f64 a1)) (log.f64 (cbrt.f64 a1))) (+.f64 (log.f64 (cbrt.f64 b1)) (log.f64 (cbrt.f64 b1)))) (+.f64 (log.f64 (cbrt.f64 b2)) (log.f64 (cbrt.f64 b2))))
  (-.f64 (-.f64 (+.f64 (log.f64 (cbrt.f64 a1)) (log.f64 (cbrt.f64 a1))) (+.f64 (log.f64 (cbrt.f64 b1)) (log.f64 (cbrt.f64 b1)))) (log.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (-.f64 (-.f64 (+.f64 (log.f64 (cbrt.f64 a1)) (log.f64 (cbrt.f64 a1))) (log.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))) (+.f64 (log.f64 (cbrt.f64 b2)) (log.f64 (cbrt.f64 b2))))
  (-.f64 (-.f64 (+.f64 (log.f64 (cbrt.f64 a1)) (log.f64 (cbrt.f64 a1))) (log.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))) (log.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (-.f64 (-.f64 (log.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1))) (+.f64 (log.f64 (cbrt.f64 b1)) (log.f64 (cbrt.f64 b1)))) (+.f64 (log.f64 (cbrt.f64 b2)) (log.f64 (cbrt.f64 b2))))
  (-.f64 (-.f64 (log.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1))) (+.f64 (log.f64 (cbrt.f64 b1)) (log.f64 (cbrt.f64 b1)))) (log.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (-.f64 (-.f64 (log.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1))) (log.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))) (+.f64 (log.f64 (cbrt.f64 b2)) (log.f64 (cbrt.f64 b2))))
  (-.f64 (-.f64 (log.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1))) (log.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))) (log.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (-.f64 (log.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))) (+.f64 (log.f64 (cbrt.f64 b2)) (log.f64 (cbrt.f64 b2))))
  (-.f64 (log.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))) (log.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (log.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (exp.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (/.f64 (/.f64 (*.f64 a1 a1) (*.f64 b1 b1)) (*.f64 b2 b2))
  (/.f64 (/.f64 (*.f64 a1 a1) (*.f64 b1 b1)) (*.f64 (*.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (/.f64 (/.f64 (*.f64 a1 a1) (*.f64 (*.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))) (*.f64 b2 b2))
  (/.f64 (/.f64 (*.f64 a1 a1) (*.f64 (*.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))) (*.f64 (*.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 a1) (cbrt.f64 a1))) (*.f64 (cbrt.f64 a1) (cbrt.f64 a1))) (*.f64 b1 b1)) (*.f64 b2 b2))
  (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 a1) (cbrt.f64 a1))) (*.f64 (cbrt.f64 a1) (cbrt.f64 a1))) (*.f64 b1 b1)) (*.f64 (*.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 a1) (cbrt.f64 a1))) (*.f64 (cbrt.f64 a1) (cbrt.f64 a1))) (*.f64 (*.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))) (*.f64 b2 b2))
  (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 a1) (cbrt.f64 a1))) (*.f64 (cbrt.f64 a1) (cbrt.f64 a1))) (*.f64 (*.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))) (*.f64 (*.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (/.f64 (*.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))) (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))) (*.f64 b2 b2))
  (/.f64 (*.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))) (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))) (*.f64 (*.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 (cbrt.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))) (cbrt.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (cbrt.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 (*.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))) (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))) (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (sqrt.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (sqrt.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (neg.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))))
  (neg.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 (*.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))) (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))))) (cbrt.f64 b2))
  (/.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))) (cbrt.f64 b2))
  (/.f64 (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))) (cbrt.f64 b2))
  (/.f64 (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))) (cbrt.f64 b2))
  (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2))
  (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2))
  (/.f64 1 (cbrt.f64 b2))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (cbrt.f64 b2))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (cbrt.f64 b2))
  (/.f64 (/.f64 1 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (cbrt.f64 b2))
  (/.f64 1 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)) (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (cbrt.f64 b2))
  (/.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)) (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))))
  (/.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)) (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))))
  (/.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)) (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)))
  (/.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)) (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))))
  (/.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)) (/.f64 1 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))))
  (*.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))
  (log.f64 (cbrt.f64 b1))
  (exp.f64 (cbrt.f64 b1))
  (cbrt.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))
  (cbrt.f64 (cbrt.f64 b1))
  (cbrt.f64 (sqrt.f64 b1))
  (cbrt.f64 (sqrt.f64 b1))
  (cbrt.f64 1)
  (cbrt.f64 b1)
  (*.f64 (cbrt.f64 (cbrt.f64 b1)) (cbrt.f64 (cbrt.f64 b1)))
  (cbrt.f64 (cbrt.f64 b1))
  (*.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (cbrt.f64 b1))
  (sqrt.f64 (cbrt.f64 b1))
  (sqrt.f64 (cbrt.f64 b1))
  (log.f64 (cbrt.f64 b1))
  (exp.f64 (cbrt.f64 b1))
  (cbrt.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))
  (cbrt.f64 (cbrt.f64 b1))
  (cbrt.f64 (sqrt.f64 b1))
  (cbrt.f64 (sqrt.f64 b1))
  (cbrt.f64 1)
  (cbrt.f64 b1)
  (*.f64 (cbrt.f64 (cbrt.f64 b1)) (cbrt.f64 (cbrt.f64 b1)))
  (cbrt.f64 (cbrt.f64 b1))
  (*.f64 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (cbrt.f64 b1))
  (sqrt.f64 (cbrt.f64 b1))
  (sqrt.f64 (cbrt.f64 b1))
  (*.f64 a2 (exp.f64 (*.f64 1/3 (-.f64 (*.f64 2 (log.f64 a1)) (+.f64 (*.f64 2 (log.f64 b2)) (*.f64 2 (log.f64 b1)))))))
  (*.f64 a2 (exp.f64 (*.f64 1/3 (-.f64 (+.f64 (*.f64 2 (log.f64 (/.f64 1 b2))) (*.f64 2 (log.f64 (/.f64 1 b1)))) (*.f64 2 (log.f64 (/.f64 1 a1)))))))
  (/.f64 (*.f64 a2 (exp.f64 (*.f64 1/3 (-.f64 (+.f64 (*.f64 2 (log.f64 (/.f64 -1 b1))) (*.f64 2 (log.f64 (/.f64 -1 b2)))) (*.f64 2 (log.f64 (/.f64 -1 a1))))))) (pow.f64 (cbrt.f64 -1) 2))
  (exp.f64 (*.f64 1/3 (-.f64 (*.f64 2 (log.f64 a1)) (+.f64 (*.f64 2 (log.f64 b2)) (*.f64 2 (log.f64 b1))))))
  (exp.f64 (*.f64 1/3 (-.f64 (+.f64 (*.f64 2 (log.f64 (/.f64 1 b2))) (*.f64 2 (log.f64 (/.f64 1 b1)))) (*.f64 2 (log.f64 (/.f64 1 a1))))))
  (/.f64 (exp.f64 (*.f64 1/3 (-.f64 (+.f64 (*.f64 2 (log.f64 (/.f64 -1 b1))) (*.f64 2 (log.f64 (/.f64 -1 b2)))) (*.f64 2 (log.f64 (/.f64 -1 a1)))))) (pow.f64 (cbrt.f64 -1) 2))
  (pow.f64 b1 1/3)
  (pow.f64 (/.f64 1 b1) -1/3)
  (*.f64 (pow.f64 (*.f64 -1 b1) 1/3) (cbrt.f64 -1))
  (pow.f64 b1 1/3)
  (pow.f64 (/.f64 1 b1) -1/3)
  (*.f64 (pow.f64 (*.f64 -1 b1) 1/3) (cbrt.f64 -1))
1.459 * * [simplify]: iteration  0 :  5216  enodes  (cost  2327 )
1.473 * [simplify]: Simplified to:
   (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (pow.f64 b1 2/3)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (+.f64 (log.f64 a2) (*.f64 2 (log.f64 (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2)))))
  (+.f64 (log.f64 a2) (*.f64 2 (log.f64 (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2)))))
  (+.f64 (log.f64 a2) (*.f64 2 (log.f64 (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2)))))
  (+.f64 (log.f64 a2) (*.f64 2 (log.f64 (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2)))))
  (+.f64 (log.f64 a2) (*.f64 2 (log.f64 (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2)))))
  (+.f64 (log.f64 a2) (*.f64 2 (log.f64 (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2)))))
  (+.f64 (log.f64 a2) (*.f64 2 (log.f64 (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2)))))
  (+.f64 (log.f64 a2) (*.f64 2 (log.f64 (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2)))))
  (+.f64 (log.f64 a2) (*.f64 2 (log.f64 (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2)))))
  (+.f64 (log.f64 a2) (*.f64 2 (log.f64 (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2)))))
  (+.f64 (log.f64 a2) (*.f64 2 (log.f64 (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2)))))
  (+.f64 (log.f64 a2) (*.f64 2 (log.f64 (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2)))))
  (pow.f64 (exp.f64 a2) (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (pow.f64 b1 2/3)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 (pow.f64 a2 3) (/.f64 (/.f64 (*.f64 a1 a1) (*.f64 b1 b1)) (*.f64 b2 b2)))
  (*.f64 (pow.f64 a2 3) (/.f64 (/.f64 (*.f64 a1 a1) (*.f64 b1 b1)) (*.f64 b2 b2)))
  (*.f64 (pow.f64 a2 3) (/.f64 (/.f64 (*.f64 a1 a1) (*.f64 b1 b1)) (*.f64 b2 b2)))
  (*.f64 (pow.f64 a2 3) (/.f64 (/.f64 (*.f64 a1 a1) (*.f64 b1 b1)) (*.f64 b2 b2)))
  (*.f64 (pow.f64 a2 3) (/.f64 (/.f64 (*.f64 a1 a1) (*.f64 b1 b1)) (*.f64 b2 b2)))
  (*.f64 (pow.f64 a2 3) (/.f64 (/.f64 (*.f64 a1 a1) (*.f64 b1 b1)) (*.f64 b2 b2)))
  (*.f64 (pow.f64 a2 3) (/.f64 (/.f64 (*.f64 a1 a1) (*.f64 b1 b1)) (*.f64 b2 b2)))
  (*.f64 (pow.f64 a2 3) (/.f64 (/.f64 (*.f64 a1 a1) (*.f64 b1 b1)) (*.f64 b2 b2)))
  (*.f64 (pow.f64 a2 3) (/.f64 (/.f64 (*.f64 a1 a1) (*.f64 b1 b1)) (*.f64 b2 b2)))
  (*.f64 (pow.f64 a2 3) (/.f64 (/.f64 (*.f64 a1 a1) (*.f64 b1 b1)) (*.f64 b2 b2)))
  (*.f64 (pow.f64 a2 3) (/.f64 (/.f64 (*.f64 a1 a1) (*.f64 b1 b1)) (*.f64 b2 b2)))
  (*.f64 (cbrt.f64 (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (pow.f64 b1 2/3)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))) (cbrt.f64 (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (pow.f64 b1 2/3)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))))
  (cbrt.f64 (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (pow.f64 b1 2/3)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (*.f64 (pow.f64 a2 3) (/.f64 (/.f64 (*.f64 a1 a1) (*.f64 b1 b1)) (*.f64 b2 b2)))
  (sqrt.f64 (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (pow.f64 b1 2/3)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (sqrt.f64 (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (pow.f64 b1 2/3)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (*.f64 (sqrt.f64 a2) (fabs.f64 (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2))))
  (*.f64 (sqrt.f64 a2) (fabs.f64 (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2))))
  (*.f64 (sqrt.f64 a2) (/.f64 (fabs.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1))) (cbrt.f64 b2)))
  (*.f64 (sqrt.f64 a2) (/.f64 (fabs.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1))) (cbrt.f64 b2)))
  (*.f64 (sqrt.f64 a2) (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2)))
  (*.f64 (sqrt.f64 a2) (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2)))
  (*.f64 a2 (*.f64 (cbrt.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (pow.f64 b1 2/3)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))) (cbrt.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (pow.f64 b1 2/3)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))))
  (*.f64 a2 (fabs.f64 (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2))))
  (*.f64 a2 (/.f64 (*.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (pow.f64 b1 2/3))) (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (pow.f64 b1 2/3)))) (cbrt.f64 b2)))
  (*.f64 a2 (/.f64 (fabs.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1))) (cbrt.f64 b2)))
  (*.f64 a2 (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2)))
  (/.f64 a2 (cbrt.f64 b2))
  (*.f64 a2 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (cbrt.f64 b2)))
  a2
  (*.f64 a2 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (pow.f64 b1 2/3)))
  (*.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (pow.f64 b1 2/3)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))) (cbrt.f64 a2))
  (*.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (pow.f64 b1 2/3)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))) (sqrt.f64 a2))
  (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (pow.f64 b1 2/3)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 a2 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (pow.f64 b1 2/3)))
  (*.f64 2 (log.f64 (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2))))
  (*.f64 2 (log.f64 (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2))))
  (*.f64 2 (log.f64 (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2))))
  (*.f64 2 (log.f64 (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2))))
  (*.f64 2 (log.f64 (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2))))
  (*.f64 2 (log.f64 (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2))))
  (*.f64 2 (log.f64 (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2))))
  (*.f64 2 (log.f64 (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2))))
  (*.f64 2 (log.f64 (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2))))
  (*.f64 2 (log.f64 (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2))))
  (*.f64 2 (log.f64 (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2))))
  (exp.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (pow.f64 b1 2/3)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (/.f64 (/.f64 (*.f64 a1 a1) (*.f64 b1 b1)) (*.f64 b2 b2))
  (/.f64 (/.f64 (*.f64 a1 a1) (*.f64 b1 b1)) (*.f64 b2 b2))
  (/.f64 (/.f64 (*.f64 a1 a1) (*.f64 b1 b1)) (*.f64 b2 b2))
  (/.f64 (/.f64 (*.f64 a1 a1) (*.f64 b1 b1)) (*.f64 b2 b2))
  (/.f64 (/.f64 (*.f64 a1 a1) (*.f64 b1 b1)) (*.f64 b2 b2))
  (/.f64 (/.f64 (*.f64 a1 a1) (*.f64 b1 b1)) (*.f64 b2 b2))
  (/.f64 (/.f64 (*.f64 a1 a1) (*.f64 b1 b1)) (*.f64 b2 b2))
  (/.f64 (/.f64 (*.f64 a1 a1) (*.f64 b1 b1)) (*.f64 b2 b2))
  (/.f64 (/.f64 (*.f64 a1 a1) (*.f64 b1 b1)) (*.f64 b2 b2))
  (/.f64 (/.f64 (*.f64 a1 a1) (*.f64 b1 b1)) (*.f64 b2 b2))
  (*.f64 (cbrt.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (pow.f64 b1 2/3)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))) (cbrt.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (pow.f64 b1 2/3)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))
  (cbrt.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (pow.f64 b1 2/3)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (/.f64 (/.f64 (*.f64 a1 a1) (*.f64 b1 b1)) (*.f64 b2 b2))
  (fabs.f64 (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2)))
  (fabs.f64 (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2)))
  (/.f64 (neg.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1))) (pow.f64 b1 2/3))
  (neg.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 (*.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (pow.f64 b1 2/3))) (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (pow.f64 b1 2/3)))) (cbrt.f64 b2))
  (/.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (pow.f64 b1 2/3))) (cbrt.f64 b2))
  (/.f64 (fabs.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1))) (cbrt.f64 b2))
  (/.f64 (fabs.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1))) (cbrt.f64 b2))
  (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2))
  (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2))
  (/.f64 1 (cbrt.f64 b2))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (pow.f64 b1 2/3)) (cbrt.f64 b2))
  (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (cbrt.f64 b2))
  (/.f64 (/.f64 1 (cbrt.f64 b2)) (pow.f64 b1 2/3))
  (/.f64 1 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (*.f64 (pow.f64 b1 2/3) (*.f64 (/.f64 (cbrt.f64 b2) (cbrt.f64 a1)) (/.f64 (cbrt.f64 b2) (cbrt.f64 a1))))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (pow.f64 b1 2/3)) (cbrt.f64 b2))
  (/.f64 (cbrt.f64 b2) (/.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (pow.f64 b1 2/3))) (cbrt.f64 b2)))
  (/.f64 (cbrt.f64 b2) (/.f64 (fabs.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1))) (cbrt.f64 b2)))
  (/.f64 (cbrt.f64 b2) (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2)))
  (*.f64 (pow.f64 b1 2/3) (*.f64 (/.f64 (cbrt.f64 b2) (cbrt.f64 a1)) (/.f64 (cbrt.f64 b2) (cbrt.f64 a1))))
  (*.f64 (pow.f64 b1 2/3) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (*.f64 (pow.f64 b1 2/3) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (log.f64 (cbrt.f64 b1))
  (exp.f64 (cbrt.f64 b1))
  (cbrt.f64 (pow.f64 b1 2/3))
  (cbrt.f64 (cbrt.f64 b1))
  (cbrt.f64 (sqrt.f64 b1))
  (cbrt.f64 (sqrt.f64 b1))
  (cbrt.f64 1)
  (cbrt.f64 b1)
  (*.f64 (cbrt.f64 (cbrt.f64 b1)) (cbrt.f64 (cbrt.f64 b1)))
  (cbrt.f64 (cbrt.f64 b1))
  b1
  (sqrt.f64 (cbrt.f64 b1))
  (sqrt.f64 (cbrt.f64 b1))
  (log.f64 (cbrt.f64 b1))
  (exp.f64 (cbrt.f64 b1))
  (cbrt.f64 (pow.f64 b1 2/3))
  (cbrt.f64 (cbrt.f64 b1))
  (cbrt.f64 (sqrt.f64 b1))
  (cbrt.f64 (sqrt.f64 b1))
  (cbrt.f64 1)
  (cbrt.f64 b1)
  (*.f64 (cbrt.f64 (cbrt.f64 b1)) (cbrt.f64 (cbrt.f64 b1)))
  (cbrt.f64 (cbrt.f64 b1))
  b1
  (sqrt.f64 (cbrt.f64 b1))
  (sqrt.f64 (cbrt.f64 b1))
  (*.f64 a2 (cbrt.f64 (/.f64 (/.f64 (*.f64 a1 a1) (*.f64 b1 b1)) (*.f64 b2 b2))))
  (*.f64 a2 (cbrt.f64 (/.f64 (/.f64 (*.f64 a1 a1) (*.f64 b1 b1)) (*.f64 b2 b2))))
  (/.f64 (*.f64 a2 (cbrt.f64 (/.f64 (/.f64 (*.f64 a1 a1) (*.f64 b1 b1)) (*.f64 b2 b2)))) (pow.f64 (cbrt.f64 -1) 2))
  (cbrt.f64 (/.f64 (/.f64 (*.f64 a1 a1) (*.f64 b1 b1)) (*.f64 b2 b2)))
  (cbrt.f64 (/.f64 (/.f64 (*.f64 a1 a1) (*.f64 b1 b1)) (*.f64 b2 b2)))
  (/.f64 (cbrt.f64 (/.f64 (/.f64 (*.f64 a1 a1) (*.f64 b1 b1)) (*.f64 b2 b2))) (pow.f64 (cbrt.f64 -1) 2))
  (cbrt.f64 b1)
  (pow.f64 (/.f64 1 b1) -1/3)
  (*.f64 (cbrt.f64 -1) (cbrt.f64 (neg.f64 b1)))
  (cbrt.f64 b1)
  (pow.f64 (/.f64 1 b1) -1/3)
  (*.f64 (cbrt.f64 -1) (cbrt.f64 (neg.f64 b1)))
1.474 * * * [progress]: adding candidates to table
1.538 * [progress]: [Phase 3 of 3] Extracting.
1.538 * * [regime]: Finding splitpoints for: (#<alt (λ (a1 a2 b1 b2) (*.f64 (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))) (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a1 b1) (/.f64 a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 a2 (/.f64 b2 (/.f64 a1 b1))))> #<alt (λ (a1 a2 b1 b2) (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 a2 (/.f64 (/.f64 a1 b1) b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 (/.f64 (*.f64 a2 a1) b1) b2))>)
1.539 * * * [regime-changes]: Trying 5 branch expressions: ((*.f64 b1 b2) b2 b1 a2 a1)
1.539 * * * * [regimes]: Trying to branch on (*.f64 b1 b2) from (#<alt (λ (a1 a2 b1 b2) (*.f64 (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))) (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a1 b1) (/.f64 a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 a2 (/.f64 b2 (/.f64 a1 b1))))> #<alt (λ (a1 a2 b1 b2) (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 a2 (/.f64 (/.f64 a1 b1) b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 (/.f64 (*.f64 a2 a1) b1) b2))>)
1.586 * * * * [regimes]: Trying to branch on b2 from (#<alt (λ (a1 a2 b1 b2) (*.f64 (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))) (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a1 b1) (/.f64 a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 a2 (/.f64 b2 (/.f64 a1 b1))))> #<alt (λ (a1 a2 b1 b2) (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 a2 (/.f64 (/.f64 a1 b1) b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 (/.f64 (*.f64 a2 a1) b1) b2))>)
1.630 * * * * [regimes]: Trying to branch on b1 from (#<alt (λ (a1 a2 b1 b2) (*.f64 (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))) (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a1 b1) (/.f64 a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 a2 (/.f64 b2 (/.f64 a1 b1))))> #<alt (λ (a1 a2 b1 b2) (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 a2 (/.f64 (/.f64 a1 b1) b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 (/.f64 (*.f64 a2 a1) b1) b2))>)
1.676 * * * * [regimes]: Trying to branch on a2 from (#<alt (λ (a1 a2 b1 b2) (*.f64 (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))) (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a1 b1) (/.f64 a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 a2 (/.f64 b2 (/.f64 a1 b1))))> #<alt (λ (a1 a2 b1 b2) (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 a2 (/.f64 (/.f64 a1 b1) b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 (/.f64 (*.f64 a2 a1) b1) b2))>)
1.722 * * * * [regimes]: Trying to branch on a1 from (#<alt (λ (a1 a2 b1 b2) (*.f64 (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))) (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a1 b1) (/.f64 a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (/.f64 a2 (/.f64 b2 (/.f64 a1 b1))))> #<alt (λ (a1 a2 b1 b2) (*.f64 a2 (/.f64 a1 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 a2 (/.f64 (/.f64 a1 b1) b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 (/.f64 (*.f64 a2 a1) b1) b2))>)
1.772 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
1.772 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))) (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2)))
1.775 * * [simplify]: iteration  0 :  19  enodes  (cost  46 )
1.775 * * [simplify]: iteration  1 :  19  enodes  (cost  46 )
1.776 * [simplify]: Simplified to:
   (*.f64 (*.f64 a2 (/.f64 (/.f64 (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))) (/.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 b2)))
3.040 * [regime-testing]: End program error score: 3.1294097186150003
3.106 * [regime-testing]: Target error score: 11.18549240549834