16.451 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.592 * * * [progress]: [2/2] Setting up program.
0.595 * [progress]: [Phase 2 of 3] Improving.
0.596 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
0.601 * * [simplify]: iteration  0 :  67  enodes  (cost  7 )
0.601 * * [simplify]: iteration  1 :  67  enodes  (cost  7 )
0.601 * [simplify]: Simplified to:
   (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
0.601 * * [progress]: iteration 1 / 4
0.602 * * * [progress]: picking best candidate
0.605 * * * * [pick]: Picked  #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))>
0.605 * * * [progress]: localizing error
0.610 * * * [progress]: generating rewritten candidates
0.610 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.617 * * * [progress]: generating series expansions
0.617 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.617 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (a1 a2 b1 b2) around 0
0.617 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 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) 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) (* b1 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) in b1
0.617 * [taylor]: Taking taylor expansion of b1 in b1
0.617 * [taylor]: Taking taylor expansion of b2 in b1
0.618 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
0.618 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.618 * [taylor]: Taking taylor expansion of a1 in a2
0.618 * [taylor]: Taking taylor expansion of 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 (/ (* a1 a2) (* b1 b2)) in a1
0.618 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.618 * [taylor]: Taking taylor expansion of a1 in a1
0.618 * [taylor]: Taking taylor expansion of a2 in a1
0.618 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.618 * [taylor]: Taking taylor expansion of b1 in a1
0.618 * [taylor]: Taking taylor expansion of b2 in a1
0.618 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
0.618 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.618 * [taylor]: Taking taylor expansion of a1 in a1
0.618 * [taylor]: Taking taylor expansion of a2 in a1
0.618 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.618 * [taylor]: Taking taylor expansion of b1 in a1
0.618 * [taylor]: Taking taylor expansion of b2 in a1
0.618 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2
0.618 * [taylor]: Taking taylor expansion of 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 (/ 1 (* b1 b2)) in b1
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 (/ 1 b2) in b2
0.618 * [taylor]: Taking taylor expansion of b2 in b2
0.619 * [taylor]: Taking taylor expansion of 0 in a2
0.619 * [taylor]: Taking taylor expansion of 0 in b1
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 a2
0.619 * [taylor]: Taking taylor expansion of 0 in b1
0.619 * [taylor]: Taking taylor expansion of 0 in b1
0.619 * [taylor]: Taking taylor expansion of 0 in b1
0.620 * [taylor]: Taking taylor expansion of 0 in b2
0.620 * [taylor]: Taking taylor expansion of 0 in b2
0.620 * [taylor]: Taking taylor expansion of 0 in b2
0.620 * [taylor]: Taking taylor expansion of 0 in a2
0.620 * [taylor]: Taking taylor expansion of 0 in b1
0.620 * [taylor]: Taking taylor expansion of 0 in b1
0.620 * [taylor]: Taking taylor expansion of 0 in b1
0.620 * [taylor]: Taking taylor expansion of 0 in b1
0.620 * [taylor]: Taking taylor expansion of 0 in b2
0.620 * [taylor]: Taking taylor expansion of 0 in b2
0.620 * [taylor]: Taking taylor expansion of 0 in b2
0.620 * [taylor]: Taking taylor expansion of 0 in b2
0.620 * [taylor]: Taking taylor expansion of 0 in b2
0.621 * [taylor]: Taking taylor expansion of 0 in b2
0.621 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 a2 b1 b2) around 0
0.621 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.621 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.621 * [taylor]: Taking taylor expansion of b1 in b2
0.621 * [taylor]: Taking taylor expansion of b2 in b2
0.621 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.621 * [taylor]: Taking taylor expansion of a1 in b2
0.621 * [taylor]: Taking taylor expansion of a2 in b2
0.621 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.621 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.621 * [taylor]: Taking taylor expansion of b1 in b1
0.621 * [taylor]: Taking taylor expansion of b2 in b1
0.621 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.621 * [taylor]: Taking taylor expansion of a1 in b1
0.621 * [taylor]: Taking taylor expansion of a2 in b1
0.621 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.621 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.621 * [taylor]: Taking taylor expansion of b1 in a2
0.621 * [taylor]: Taking taylor expansion of b2 in a2
0.621 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.621 * [taylor]: Taking taylor expansion of a1 in a2
0.621 * [taylor]: Taking taylor expansion of a2 in a2
0.621 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.621 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.621 * [taylor]: Taking taylor expansion of b1 in a1
0.622 * [taylor]: Taking taylor expansion of b2 in a1
0.622 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.622 * [taylor]: Taking taylor expansion of a1 in a1
0.622 * [taylor]: Taking taylor expansion of a2 in a1
0.622 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.622 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.622 * [taylor]: Taking taylor expansion of b1 in a1
0.622 * [taylor]: Taking taylor expansion of b2 in a1
0.622 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.622 * [taylor]: Taking taylor expansion of a1 in a1
0.622 * [taylor]: Taking taylor expansion of a2 in a1
0.622 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
0.622 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.622 * [taylor]: Taking taylor expansion of b1 in a2
0.622 * [taylor]: Taking taylor expansion of b2 in a2
0.622 * [taylor]: Taking taylor expansion of a2 in a2
0.622 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.622 * [taylor]: Taking taylor expansion of b1 in b1
0.622 * [taylor]: Taking taylor expansion of b2 in b1
0.622 * [taylor]: Taking taylor expansion of b2 in b2
0.622 * [taylor]: Taking taylor expansion of 0 in a2
0.622 * [taylor]: Taking taylor expansion of 0 in b1
0.622 * [taylor]: Taking taylor expansion of 0 in b2
0.622 * [taylor]: Taking taylor expansion of 0 in b2
0.623 * [taylor]: Taking taylor expansion of 0 in a2
0.623 * [taylor]: Taking taylor expansion of 0 in b1
0.623 * [taylor]: Taking taylor expansion of 0 in b2
0.623 * [taylor]: Taking taylor expansion of 0 in b1
0.623 * [taylor]: Taking taylor expansion of 0 in b2
0.623 * [taylor]: Taking taylor expansion of 0 in b2
0.623 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 a2 b1 b2) around 0
0.623 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.623 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.623 * [taylor]: Taking taylor expansion of b1 in b2
0.623 * [taylor]: Taking taylor expansion of b2 in b2
0.623 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.623 * [taylor]: Taking taylor expansion of a1 in b2
0.623 * [taylor]: Taking taylor expansion of a2 in b2
0.623 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.623 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.623 * [taylor]: Taking taylor expansion of b1 in b1
0.623 * [taylor]: Taking taylor expansion of b2 in b1
0.623 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.623 * [taylor]: Taking taylor expansion of a1 in b1
0.624 * [taylor]: Taking taylor expansion of a2 in b1
0.624 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.624 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.624 * [taylor]: Taking taylor expansion of b1 in a2
0.624 * [taylor]: Taking taylor expansion of b2 in a2
0.624 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.624 * [taylor]: Taking taylor expansion of a1 in a2
0.624 * [taylor]: Taking taylor expansion of a2 in a2
0.624 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.624 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.624 * [taylor]: Taking taylor expansion of b1 in a1
0.624 * [taylor]: Taking taylor expansion of b2 in a1
0.624 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.624 * [taylor]: Taking taylor expansion of a1 in a1
0.624 * [taylor]: Taking taylor expansion of a2 in a1
0.624 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.624 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.624 * [taylor]: Taking taylor expansion of b1 in a1
0.624 * [taylor]: Taking taylor expansion of b2 in a1
0.624 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.624 * [taylor]: Taking taylor expansion of a1 in a1
0.624 * [taylor]: Taking taylor expansion of a2 in a1
0.624 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
0.624 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.624 * [taylor]: Taking taylor expansion of b1 in a2
0.624 * [taylor]: Taking taylor expansion of b2 in a2
0.624 * [taylor]: Taking taylor expansion of a2 in a2
0.624 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.624 * [taylor]: Taking taylor expansion of b1 in b1
0.624 * [taylor]: Taking taylor expansion of b2 in b1
0.624 * [taylor]: Taking taylor expansion of b2 in b2
0.625 * [taylor]: Taking taylor expansion of 0 in a2
0.625 * [taylor]: Taking taylor expansion of 0 in b1
0.625 * [taylor]: Taking taylor expansion of 0 in b2
0.625 * [taylor]: Taking taylor expansion of 0 in b2
0.625 * [taylor]: Taking taylor expansion of 0 in a2
0.625 * [taylor]: Taking taylor expansion of 0 in b1
0.625 * [taylor]: Taking taylor expansion of 0 in b2
0.625 * [taylor]: Taking taylor expansion of 0 in b1
0.625 * [taylor]: Taking taylor expansion of 0 in b2
0.625 * [taylor]: Taking taylor expansion of 0 in b2
0.625 * * * [progress]: simplifying candidates
0.626 * [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.676 * * [simplify]: iteration  0 :  5102  enodes  (cost  191 )
0.678 * [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.678 * * * [progress]: adding candidates to table
0.701 * * [progress]: iteration 2 / 4
0.701 * * * [progress]: picking best candidate
0.719 * * * * [pick]: Picked  #<alt (λ (a1 a2 b1 b2) (*.f64 (*.f64 a1 a2) (/.f64 1 (*.f64 b1 b2))))>
0.719 * * * [progress]: localizing error
0.725 * * * [progress]: generating rewritten candidates
0.725 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.735 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.742 * * * [progress]: generating series expansions
0.742 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.742 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (a1 a2 b1 b2) around 0
0.742 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2
0.742 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.742 * [taylor]: Taking taylor expansion of a1 in b2
0.742 * [taylor]: Taking taylor expansion of a2 in b2
0.743 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.743 * [taylor]: Taking taylor expansion of b1 in b2
0.743 * [taylor]: Taking taylor expansion of b2 in b2
0.743 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1
0.743 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.743 * [taylor]: Taking taylor expansion of a1 in b1
0.743 * [taylor]: Taking taylor expansion of a2 in b1
0.743 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.743 * [taylor]: Taking taylor expansion of b1 in b1
0.743 * [taylor]: Taking taylor expansion of b2 in b1
0.743 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
0.743 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.743 * [taylor]: Taking taylor expansion of a1 in a2
0.743 * [taylor]: Taking taylor expansion of a2 in a2
0.743 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.743 * [taylor]: Taking taylor expansion of b1 in a2
0.743 * [taylor]: Taking taylor expansion of b2 in a2
0.743 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
0.743 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.743 * [taylor]: Taking taylor expansion of a1 in a1
0.743 * [taylor]: Taking taylor expansion of a2 in a1
0.743 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.743 * [taylor]: Taking taylor expansion of b1 in a1
0.743 * [taylor]: Taking taylor expansion of b2 in a1
0.743 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
0.743 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.743 * [taylor]: Taking taylor expansion of a1 in a1
0.743 * [taylor]: Taking taylor expansion of a2 in a1
0.743 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.743 * [taylor]: Taking taylor expansion of b1 in a1
0.743 * [taylor]: Taking taylor expansion of b2 in a1
0.744 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2
0.744 * [taylor]: Taking taylor expansion of a2 in a2
0.744 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.744 * [taylor]: Taking taylor expansion of b1 in a2
0.744 * [taylor]: Taking taylor expansion of b2 in a2
0.744 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1
0.744 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.744 * [taylor]: Taking taylor expansion of b1 in b1
0.744 * [taylor]: Taking taylor expansion of b2 in b1
0.744 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
0.744 * [taylor]: Taking taylor expansion of b2 in b2
0.744 * [taylor]: Taking taylor expansion of 0 in a2
0.744 * [taylor]: Taking taylor expansion of 0 in b1
0.744 * [taylor]: Taking taylor expansion of 0 in b1
0.744 * [taylor]: Taking taylor expansion of 0 in b2
0.745 * [taylor]: Taking taylor expansion of 0 in a2
0.745 * [taylor]: Taking taylor expansion of 0 in b1
0.745 * [taylor]: Taking taylor expansion of 0 in b1
0.745 * [taylor]: Taking taylor expansion of 0 in b1
0.745 * [taylor]: Taking taylor expansion of 0 in b2
0.745 * [taylor]: Taking taylor expansion of 0 in b2
0.745 * [taylor]: Taking taylor expansion of 0 in b2
0.745 * [taylor]: Taking taylor expansion of 0 in a2
0.745 * [taylor]: Taking taylor expansion of 0 in b1
0.745 * [taylor]: Taking taylor expansion of 0 in b1
0.745 * [taylor]: Taking taylor expansion of 0 in b1
0.746 * [taylor]: Taking taylor expansion of 0 in b1
0.746 * [taylor]: Taking taylor expansion of 0 in b2
0.746 * [taylor]: Taking taylor expansion of 0 in b2
0.746 * [taylor]: Taking taylor expansion of 0 in b2
0.746 * [taylor]: Taking taylor expansion of 0 in b2
0.746 * [taylor]: Taking taylor expansion of 0 in b2
0.746 * [taylor]: Taking taylor expansion of 0 in b2
0.746 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 a2 b1 b2) around 0
0.746 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.746 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.746 * [taylor]: Taking taylor expansion of b1 in b2
0.746 * [taylor]: Taking taylor expansion of b2 in b2
0.746 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.746 * [taylor]: Taking taylor expansion of a1 in b2
0.746 * [taylor]: Taking taylor expansion of a2 in b2
0.746 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.746 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.746 * [taylor]: Taking taylor expansion of b1 in b1
0.746 * [taylor]: Taking taylor expansion of b2 in b1
0.746 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.746 * [taylor]: Taking taylor expansion of a1 in b1
0.746 * [taylor]: Taking taylor expansion of a2 in b1
0.747 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.747 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.747 * [taylor]: Taking taylor expansion of b1 in a2
0.747 * [taylor]: Taking taylor expansion of b2 in a2
0.747 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.747 * [taylor]: Taking taylor expansion of a1 in a2
0.747 * [taylor]: Taking taylor expansion of a2 in a2
0.747 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.747 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.747 * [taylor]: Taking taylor expansion of b1 in a1
0.747 * [taylor]: Taking taylor expansion of b2 in a1
0.747 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.747 * [taylor]: Taking taylor expansion of a1 in a1
0.747 * [taylor]: Taking taylor expansion of a2 in a1
0.747 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.747 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.747 * [taylor]: Taking taylor expansion of b1 in a1
0.747 * [taylor]: Taking taylor expansion of b2 in a1
0.747 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.747 * [taylor]: Taking taylor expansion of a1 in a1
0.747 * [taylor]: Taking taylor expansion of a2 in a1
0.747 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
0.747 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.747 * [taylor]: Taking taylor expansion of b1 in a2
0.747 * [taylor]: Taking taylor expansion of b2 in a2
0.747 * [taylor]: Taking taylor expansion of a2 in a2
0.747 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.747 * [taylor]: Taking taylor expansion of b1 in b1
0.747 * [taylor]: Taking taylor expansion of b2 in b1
0.747 * [taylor]: Taking taylor expansion of b2 in b2
0.748 * [taylor]: Taking taylor expansion of 0 in a2
0.748 * [taylor]: Taking taylor expansion of 0 in b1
0.748 * [taylor]: Taking taylor expansion of 0 in b2
0.748 * [taylor]: Taking taylor expansion of 0 in b2
0.748 * [taylor]: Taking taylor expansion of 0 in a2
0.748 * [taylor]: Taking taylor expansion of 0 in b1
0.748 * [taylor]: Taking taylor expansion of 0 in b2
0.748 * [taylor]: Taking taylor expansion of 0 in b1
0.748 * [taylor]: Taking taylor expansion of 0 in b2
0.748 * [taylor]: Taking taylor expansion of 0 in b2
0.748 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 a2 b1 b2) around 0
0.749 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.749 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.749 * [taylor]: Taking taylor expansion of b1 in b2
0.749 * [taylor]: Taking taylor expansion of b2 in b2
0.749 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.749 * [taylor]: Taking taylor expansion of a1 in b2
0.749 * [taylor]: Taking taylor expansion of a2 in b2
0.749 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.749 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.749 * [taylor]: Taking taylor expansion of b1 in b1
0.749 * [taylor]: Taking taylor expansion of b2 in b1
0.749 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.749 * [taylor]: Taking taylor expansion of a1 in b1
0.749 * [taylor]: Taking taylor expansion of a2 in b1
0.749 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.749 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.749 * [taylor]: Taking taylor expansion of b1 in a2
0.749 * [taylor]: Taking taylor expansion of b2 in a2
0.749 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.749 * [taylor]: Taking taylor expansion of a1 in a2
0.749 * [taylor]: Taking taylor expansion of a2 in a2
0.749 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.749 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.749 * [taylor]: Taking taylor expansion of b1 in a1
0.749 * [taylor]: Taking taylor expansion of b2 in a1
0.749 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.749 * [taylor]: Taking taylor expansion of a1 in a1
0.749 * [taylor]: Taking taylor expansion of a2 in a1
0.749 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.749 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.749 * [taylor]: Taking taylor expansion of b1 in a1
0.749 * [taylor]: Taking taylor expansion of b2 in a1
0.749 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.749 * [taylor]: Taking taylor expansion of a1 in a1
0.749 * [taylor]: Taking taylor expansion of a2 in a1
0.750 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
0.750 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.750 * [taylor]: Taking taylor expansion of b1 in a2
0.750 * [taylor]: Taking taylor expansion of b2 in a2
0.750 * [taylor]: Taking taylor expansion of a2 in a2
0.750 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.750 * [taylor]: Taking taylor expansion of b1 in b1
0.750 * [taylor]: Taking taylor expansion of b2 in b1
0.750 * [taylor]: Taking taylor expansion of b2 in b2
0.750 * [taylor]: Taking taylor expansion of 0 in a2
0.750 * [taylor]: Taking taylor expansion of 0 in b1
0.750 * [taylor]: Taking taylor expansion of 0 in b2
0.750 * [taylor]: Taking taylor expansion of 0 in b2
0.750 * [taylor]: Taking taylor expansion of 0 in a2
0.750 * [taylor]: Taking taylor expansion of 0 in b1
0.750 * [taylor]: Taking taylor expansion of 0 in b2
0.750 * [taylor]: Taking taylor expansion of 0 in b1
0.751 * [taylor]: Taking taylor expansion of 0 in b2
0.751 * [taylor]: Taking taylor expansion of 0 in b2
0.751 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.751 * [approximate]: Taking taylor expansion of (/ 1 (* b1 b2)) in (b1 b2) around 0
0.751 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b2
0.751 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.751 * [taylor]: Taking taylor expansion of b1 in b2
0.751 * [taylor]: Taking taylor expansion of b2 in b2
0.751 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1
0.751 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.751 * [taylor]: Taking taylor expansion of b1 in b1
0.751 * [taylor]: Taking taylor expansion of b2 in b1
0.751 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1
0.751 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.751 * [taylor]: Taking taylor expansion of b1 in b1
0.751 * [taylor]: Taking taylor expansion of b2 in b1
0.751 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
0.751 * [taylor]: Taking taylor expansion of b2 in b2
0.751 * [taylor]: Taking taylor expansion of 0 in b2
0.752 * [taylor]: Taking taylor expansion of 0 in b2
0.752 * [taylor]: Taking taylor expansion of 0 in b2
0.752 * [approximate]: Taking taylor expansion of (* b1 b2) in (b1 b2) around 0
0.752 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.752 * [taylor]: Taking taylor expansion of b1 in b2
0.752 * [taylor]: Taking taylor expansion of b2 in b2
0.752 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.752 * [taylor]: Taking taylor expansion of b1 in b1
0.752 * [taylor]: Taking taylor expansion of b2 in b1
0.752 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.752 * [taylor]: Taking taylor expansion of b1 in b1
0.752 * [taylor]: Taking taylor expansion of b2 in b1
0.752 * [taylor]: Taking taylor expansion of 0 in b2
0.752 * [taylor]: Taking taylor expansion of b2 in b2
0.752 * [taylor]: Taking taylor expansion of 0 in b2
0.752 * [taylor]: Taking taylor expansion of 0 in b2
0.753 * [taylor]: Taking taylor expansion of 0 in b2
0.753 * [approximate]: Taking taylor expansion of (* b1 b2) in (b1 b2) around 0
0.753 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.753 * [taylor]: Taking taylor expansion of b1 in b2
0.753 * [taylor]: Taking taylor expansion of b2 in b2
0.753 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.753 * [taylor]: Taking taylor expansion of b1 in b1
0.753 * [taylor]: Taking taylor expansion of b2 in b1
0.753 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.753 * [taylor]: Taking taylor expansion of b1 in b1
0.753 * [taylor]: Taking taylor expansion of b2 in b1
0.753 * [taylor]: Taking taylor expansion of 0 in b2
0.753 * [taylor]: Taking taylor expansion of b2 in b2
0.753 * [taylor]: Taking taylor expansion of 0 in b2
0.755 * [taylor]: Taking taylor expansion of 0 in b2
0.755 * [taylor]: Taking taylor expansion of 0 in b2
0.756 * * * [progress]: simplifying candidates
0.756 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (*.f64 a1 a2) (/.f64 1 (*.f64 b1 b2)))
  (*.f64 (*.f64 a1 a2) (/.f64 1 (*.f64 b1 b2)))
  (+.f64 (+.f64 (log.f64 a1) (log.f64 a2)) (neg.f64 (+.f64 (log.f64 b1) (log.f64 b2))))
  (+.f64 (+.f64 (log.f64 a1) (log.f64 a2)) (neg.f64 (log.f64 (*.f64 b1 b2))))
  (+.f64 (+.f64 (log.f64 a1) (log.f64 a2)) (-.f64 0 (+.f64 (log.f64 b1) (log.f64 b2))))
  (+.f64 (+.f64 (log.f64 a1) (log.f64 a2)) (-.f64 0 (log.f64 (*.f64 b1 b2))))
  (+.f64 (+.f64 (log.f64 a1) (log.f64 a2)) (-.f64 (log.f64 1) (+.f64 (log.f64 b1) (log.f64 b2))))
  (+.f64 (+.f64 (log.f64 a1) (log.f64 a2)) (-.f64 (log.f64 1) (log.f64 (*.f64 b1 b2))))
  (+.f64 (+.f64 (log.f64 a1) (log.f64 a2)) (log.f64 (/.f64 1 (*.f64 b1 b2))))
  (+.f64 (log.f64 (*.f64 a1 a2)) (neg.f64 (+.f64 (log.f64 b1) (log.f64 b2))))
  (+.f64 (log.f64 (*.f64 a1 a2)) (neg.f64 (log.f64 (*.f64 b1 b2))))
  (+.f64 (log.f64 (*.f64 a1 a2)) (-.f64 0 (+.f64 (log.f64 b1) (log.f64 b2))))
  (+.f64 (log.f64 (*.f64 a1 a2)) (-.f64 0 (log.f64 (*.f64 b1 b2))))
  (+.f64 (log.f64 (*.f64 a1 a2)) (-.f64 (log.f64 1) (+.f64 (log.f64 b1) (log.f64 b2))))
  (+.f64 (log.f64 (*.f64 a1 a2)) (-.f64 (log.f64 1) (log.f64 (*.f64 b1 b2))))
  (+.f64 (log.f64 (*.f64 a1 a2)) (log.f64 (/.f64 1 (*.f64 b1 b2))))
  (log.f64 (*.f64 (*.f64 a1 a2) (/.f64 1 (*.f64 b1 b2))))
  (exp.f64 (*.f64 (*.f64 a1 a2) (/.f64 1 (*.f64 b1 b2))))
  (*.f64 (*.f64 (*.f64 (*.f64 a1 a1) a1) (*.f64 (*.f64 a2 a2) a2)) (/.f64 (*.f64 (*.f64 1 1) 1) (*.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 1 1) 1) (*.f64 (*.f64 (*.f64 b1 b2) (*.f64 b1 b2)) (*.f64 b1 b2))))
  (*.f64 (*.f64 (*.f64 (*.f64 a1 a1) a1) (*.f64 (*.f64 a2 a2) a2)) (*.f64 (*.f64 (/.f64 1 (*.f64 b1 b2)) (/.f64 1 (*.f64 b1 b2))) (/.f64 1 (*.f64 b1 b2))))
  (*.f64 (*.f64 (*.f64 (*.f64 a1 a2) (*.f64 a1 a2)) (*.f64 a1 a2)) (/.f64 (*.f64 (*.f64 1 1) 1) (*.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 1 1) 1) (*.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 1 (*.f64 b1 b2)) (/.f64 1 (*.f64 b1 b2))) (/.f64 1 (*.f64 b1 b2))))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 a1 a2) (/.f64 1 (*.f64 b1 b2)))) (cbrt.f64 (*.f64 (*.f64 a1 a2) (/.f64 1 (*.f64 b1 b2)))))
  (cbrt.f64 (*.f64 (*.f64 a1 a2) (/.f64 1 (*.f64 b1 b2))))
  (*.f64 (*.f64 (*.f64 (*.f64 a1 a2) (/.f64 1 (*.f64 b1 b2))) (*.f64 (*.f64 a1 a2) (/.f64 1 (*.f64 b1 b2)))) (*.f64 (*.f64 a1 a2) (/.f64 1 (*.f64 b1 b2))))
  (sqrt.f64 (*.f64 (*.f64 a1 a2) (/.f64 1 (*.f64 b1 b2))))
  (sqrt.f64 (*.f64 (*.f64 a1 a2) (/.f64 1 (*.f64 b1 b2))))
  (*.f64 (*.f64 a1 a2) (*.f64 (cbrt.f64 (/.f64 1 (*.f64 b1 b2))) (cbrt.f64 (/.f64 1 (*.f64 b1 b2)))))
  (*.f64 (*.f64 a1 a2) (sqrt.f64 (/.f64 1 (*.f64 b1 b2))))
  (*.f64 (*.f64 a1 a2) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) b1))
  (*.f64 (*.f64 a1 a2) (/.f64 (sqrt.f64 1) b1))
  (*.f64 (*.f64 a1 a2) (/.f64 1 b1))
  (*.f64 (*.f64 a1 a2) 1)
  (*.f64 (*.f64 a1 a2) 1)
  (*.f64 a2 (/.f64 1 (*.f64 b1 b2)))
  (*.f64 (*.f64 a1 a2) 1)
  (neg.f64 1)
  (neg.f64 1)
  (neg.f64 (+.f64 (log.f64 b1) (log.f64 b2)))
  (neg.f64 (log.f64 (*.f64 b1 b2)))
  (-.f64 0 (+.f64 (log.f64 b1) (log.f64 b2)))
  (-.f64 0 (log.f64 (*.f64 b1 b2)))
  (-.f64 (log.f64 1) (+.f64 (log.f64 b1) (log.f64 b2)))
  (-.f64 (log.f64 1) (log.f64 (*.f64 b1 b2)))
  (log.f64 (/.f64 1 (*.f64 b1 b2)))
  (exp.f64 (/.f64 1 (*.f64 b1 b2)))
  (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (*.f64 b1 b1) b1) (*.f64 (*.f64 b2 b2) b2)))
  (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (*.f64 b1 b2) (*.f64 b1 b2)) (*.f64 b1 b2)))
  (*.f64 (cbrt.f64 (/.f64 1 (*.f64 b1 b2))) (cbrt.f64 (/.f64 1 (*.f64 b1 b2))))
  (cbrt.f64 (/.f64 1 (*.f64 b1 b2)))
  (*.f64 (*.f64 (/.f64 1 (*.f64 b1 b2)) (/.f64 1 (*.f64 b1 b2))) (/.f64 1 (*.f64 b1 b2)))
  (sqrt.f64 (/.f64 1 (*.f64 b1 b2)))
  (sqrt.f64 (/.f64 1 (*.f64 b1 b2)))
  (neg.f64 1)
  (neg.f64 (*.f64 b1 b2))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) b1)
  (/.f64 (cbrt.f64 1) b2)
  (/.f64 (sqrt.f64 1) b1)
  (/.f64 (sqrt.f64 1) b2)
  (/.f64 1 b1)
  (/.f64 1 b2)
  (/.f64 1 (*.f64 b1 b2))
  (/.f64 (*.f64 b1 b2) 1)
  (/.f64 1 b1)
  (/.f64 (*.f64 b1 b2) (cbrt.f64 1))
  (/.f64 (*.f64 b1 b2) (sqrt.f64 1))
  (/.f64 (*.f64 b1 b2) 1)
  (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
  (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
  (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
  (/.f64 1 (*.f64 b1 b2))
  (/.f64 1 (*.f64 b1 b2))
  (/.f64 1 (*.f64 b1 b2))
0.805 * * [simplify]: iteration  0 :  4999  enodes  (cost  490 )
0.806 * * [simplify]: iteration  1 :  4999  enodes  (cost  490 )
0.808 * [simplify]: Simplified to:
   (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
  (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
  (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))
  (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))
  (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))
  (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))
  (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))
  (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))
  (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))
  (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))
  (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))
  (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))
  (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))
  (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))
  (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))
  (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))
  (log.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))
  (exp.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))
  (pow.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 3)
  (pow.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 3)
  (pow.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 3)
  (pow.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 3)
  (pow.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) 3)
  (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)))
  (*.f64 (*.f64 a1 a2) (*.f64 (cbrt.f64 (/.f64 1 (*.f64 b1 b2))) (cbrt.f64 (/.f64 1 (*.f64 b1 b2)))))
  (*.f64 (*.f64 a1 a2) (sqrt.f64 (/.f64 1 (*.f64 b1 b2))))
  (*.f64 (*.f64 a1 a2) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) b1))
  (/.f64 (*.f64 a1 a2) b1)
  (/.f64 (*.f64 a1 a2) b1)
  (*.f64 a1 a2)
  (*.f64 a1 a2)
  (/.f64 a2 (*.f64 b1 b2))
  (*.f64 a1 a2)
  -1
  -1
  (neg.f64 (log.f64 (*.f64 b1 b2)))
  (neg.f64 (log.f64 (*.f64 b1 b2)))
  (neg.f64 (log.f64 (*.f64 b1 b2)))
  (neg.f64 (log.f64 (*.f64 b1 b2)))
  (neg.f64 (log.f64 (*.f64 b1 b2)))
  (neg.f64 (log.f64 (*.f64 b1 b2)))
  (neg.f64 (log.f64 (*.f64 b1 b2)))
  (exp.f64 (/.f64 1 (*.f64 b1 b2)))
  (/.f64 1 (pow.f64 (*.f64 b1 b2) 3))
  (/.f64 1 (pow.f64 (*.f64 b1 b2) 3))
  (*.f64 (cbrt.f64 (/.f64 1 (*.f64 b1 b2))) (cbrt.f64 (/.f64 1 (*.f64 b1 b2))))
  (cbrt.f64 (/.f64 1 (*.f64 b1 b2)))
  (/.f64 1 (pow.f64 (*.f64 b1 b2) 3))
  (sqrt.f64 (/.f64 1 (*.f64 b1 b2)))
  (sqrt.f64 (/.f64 1 (*.f64 b1 b2)))
  -1
  (neg.f64 (*.f64 b1 b2))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) b1)
  (/.f64 (cbrt.f64 1) b2)
  (/.f64 1 b1)
  (/.f64 1 b2)
  (/.f64 1 b1)
  (/.f64 1 b2)
  (/.f64 1 (*.f64 b1 b2))
  (*.f64 b1 b2)
  (/.f64 1 b1)
  (/.f64 b1 (/.f64 (cbrt.f64 1) b2))
  (*.f64 b1 b2)
  (*.f64 b1 b2)
  (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
  (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
  (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
  (/.f64 1 (*.f64 b1 b2))
  (/.f64 1 (*.f64 b1 b2))
  (/.f64 1 (*.f64 b1 b2))
0.809 * * * [progress]: adding candidates to table
0.840 * * [progress]: iteration 3 / 4
0.841 * * * [progress]: picking best candidate
0.861 * * * * [pick]: Picked  #<alt (λ (a1 a2 b1 b2) (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))))>
0.861 * * * [progress]: localizing error
0.867 * * * [progress]: generating rewritten candidates
0.867 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.874 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.879 * * * [progress]: generating series expansions
0.879 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.880 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (a1 a2 b1 b2) around 0
0.880 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2
0.880 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.880 * [taylor]: Taking taylor expansion of a1 in b2
0.880 * [taylor]: Taking taylor expansion of a2 in b2
0.880 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.880 * [taylor]: Taking taylor expansion of b1 in b2
0.880 * [taylor]: Taking taylor expansion of b2 in b2
0.880 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1
0.880 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.880 * [taylor]: Taking taylor expansion of a1 in b1
0.880 * [taylor]: Taking taylor expansion of a2 in b1
0.880 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.880 * [taylor]: Taking taylor expansion of b1 in b1
0.880 * [taylor]: Taking taylor expansion of b2 in b1
0.880 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
0.880 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.880 * [taylor]: Taking taylor expansion of a1 in a2
0.880 * [taylor]: Taking taylor expansion of a2 in a2
0.880 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.880 * [taylor]: Taking taylor expansion of b1 in a2
0.880 * [taylor]: Taking taylor expansion of b2 in a2
0.880 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
0.880 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.880 * [taylor]: Taking taylor expansion of a1 in a1
0.880 * [taylor]: Taking taylor expansion of a2 in a1
0.880 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.880 * [taylor]: Taking taylor expansion of b1 in a1
0.880 * [taylor]: Taking taylor expansion of b2 in a1
0.881 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
0.881 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.881 * [taylor]: Taking taylor expansion of a1 in a1
0.881 * [taylor]: Taking taylor expansion of a2 in a1
0.881 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.881 * [taylor]: Taking taylor expansion of b1 in a1
0.881 * [taylor]: Taking taylor expansion of b2 in a1
0.881 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2
0.881 * [taylor]: Taking taylor expansion of a2 in a2
0.881 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.881 * [taylor]: Taking taylor expansion of b1 in a2
0.881 * [taylor]: Taking taylor expansion of b2 in a2
0.881 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1
0.881 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.881 * [taylor]: Taking taylor expansion of b1 in b1
0.881 * [taylor]: Taking taylor expansion of b2 in b1
0.881 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
0.881 * [taylor]: Taking taylor expansion of b2 in b2
0.881 * [taylor]: Taking taylor expansion of 0 in a2
0.881 * [taylor]: Taking taylor expansion of 0 in b1
0.881 * [taylor]: Taking taylor expansion of 0 in b1
0.882 * [taylor]: Taking taylor expansion of 0 in b2
0.882 * [taylor]: Taking taylor expansion of 0 in a2
0.882 * [taylor]: Taking taylor expansion of 0 in b1
0.882 * [taylor]: Taking taylor expansion of 0 in b1
0.882 * [taylor]: Taking taylor expansion of 0 in b1
0.882 * [taylor]: Taking taylor expansion of 0 in b2
0.882 * [taylor]: Taking taylor expansion of 0 in b2
0.882 * [taylor]: Taking taylor expansion of 0 in b2
0.883 * [taylor]: Taking taylor expansion of 0 in a2
0.883 * [taylor]: Taking taylor expansion of 0 in b1
0.883 * [taylor]: Taking taylor expansion of 0 in b1
0.883 * [taylor]: Taking taylor expansion of 0 in b1
0.883 * [taylor]: Taking taylor expansion of 0 in b1
0.883 * [taylor]: Taking taylor expansion of 0 in b2
0.883 * [taylor]: Taking taylor expansion of 0 in b2
0.883 * [taylor]: Taking taylor expansion of 0 in b2
0.883 * [taylor]: Taking taylor expansion of 0 in b2
0.883 * [taylor]: Taking taylor expansion of 0 in b2
0.883 * [taylor]: Taking taylor expansion of 0 in b2
0.883 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 a2 b1 b2) around 0
0.883 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.883 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.883 * [taylor]: Taking taylor expansion of b1 in b2
0.883 * [taylor]: Taking taylor expansion of b2 in b2
0.883 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.883 * [taylor]: Taking taylor expansion of a1 in b2
0.883 * [taylor]: Taking taylor expansion of a2 in b2
0.884 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.884 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.884 * [taylor]: Taking taylor expansion of b1 in b1
0.884 * [taylor]: Taking taylor expansion of b2 in b1
0.884 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.884 * [taylor]: Taking taylor expansion of a1 in b1
0.884 * [taylor]: Taking taylor expansion of a2 in b1
0.884 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.884 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.884 * [taylor]: Taking taylor expansion of b1 in a2
0.884 * [taylor]: Taking taylor expansion of b2 in a2
0.884 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.884 * [taylor]: Taking taylor expansion of a1 in a2
0.884 * [taylor]: Taking taylor expansion of a2 in a2
0.884 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.884 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.884 * [taylor]: Taking taylor expansion of b1 in a1
0.884 * [taylor]: Taking taylor expansion of b2 in a1
0.884 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.884 * [taylor]: Taking taylor expansion of a1 in a1
0.884 * [taylor]: Taking taylor expansion of a2 in a1
0.884 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.884 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.884 * [taylor]: Taking taylor expansion of b1 in a1
0.884 * [taylor]: Taking taylor expansion of b2 in a1
0.884 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.884 * [taylor]: Taking taylor expansion of a1 in a1
0.884 * [taylor]: Taking taylor expansion of a2 in a1
0.884 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
0.884 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.884 * [taylor]: Taking taylor expansion of b1 in a2
0.884 * [taylor]: Taking taylor expansion of b2 in a2
0.884 * [taylor]: Taking taylor expansion of a2 in a2
0.885 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.885 * [taylor]: Taking taylor expansion of b1 in b1
0.885 * [taylor]: Taking taylor expansion of b2 in b1
0.885 * [taylor]: Taking taylor expansion of b2 in b2
0.885 * [taylor]: Taking taylor expansion of 0 in a2
0.885 * [taylor]: Taking taylor expansion of 0 in b1
0.885 * [taylor]: Taking taylor expansion of 0 in b2
0.885 * [taylor]: Taking taylor expansion of 0 in b2
0.885 * [taylor]: Taking taylor expansion of 0 in a2
0.885 * [taylor]: Taking taylor expansion of 0 in b1
0.885 * [taylor]: Taking taylor expansion of 0 in b2
0.885 * [taylor]: Taking taylor expansion of 0 in b1
0.885 * [taylor]: Taking taylor expansion of 0 in b2
0.885 * [taylor]: Taking taylor expansion of 0 in b2
0.886 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 a2 b1 b2) around 0
0.886 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.886 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.886 * [taylor]: Taking taylor expansion of b1 in b2
0.886 * [taylor]: Taking taylor expansion of b2 in b2
0.886 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.886 * [taylor]: Taking taylor expansion of a1 in b2
0.886 * [taylor]: Taking taylor expansion of a2 in b2
0.886 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.886 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.886 * [taylor]: Taking taylor expansion of b1 in b1
0.886 * [taylor]: Taking taylor expansion of b2 in b1
0.886 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.886 * [taylor]: Taking taylor expansion of a1 in b1
0.886 * [taylor]: Taking taylor expansion of a2 in b1
0.886 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.886 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.886 * [taylor]: Taking taylor expansion of b1 in a2
0.886 * [taylor]: Taking taylor expansion of b2 in a2
0.886 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.886 * [taylor]: Taking taylor expansion of a1 in a2
0.886 * [taylor]: Taking taylor expansion of a2 in a2
0.886 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.886 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.886 * [taylor]: Taking taylor expansion of b1 in a1
0.886 * [taylor]: Taking taylor expansion of b2 in a1
0.886 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.886 * [taylor]: Taking taylor expansion of a1 in a1
0.886 * [taylor]: Taking taylor expansion of a2 in a1
0.887 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.887 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.887 * [taylor]: Taking taylor expansion of b1 in a1
0.887 * [taylor]: Taking taylor expansion of b2 in a1
0.887 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.887 * [taylor]: Taking taylor expansion of a1 in a1
0.887 * [taylor]: Taking taylor expansion of a2 in a1
0.887 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
0.887 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.887 * [taylor]: Taking taylor expansion of b1 in a2
0.887 * [taylor]: Taking taylor expansion of b2 in a2
0.887 * [taylor]: Taking taylor expansion of a2 in a2
0.887 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.887 * [taylor]: Taking taylor expansion of b1 in b1
0.887 * [taylor]: Taking taylor expansion of b2 in b1
0.887 * [taylor]: Taking taylor expansion of b2 in b2
0.887 * [taylor]: Taking taylor expansion of 0 in a2
0.887 * [taylor]: Taking taylor expansion of 0 in b1
0.887 * [taylor]: Taking taylor expansion of 0 in b2
0.887 * [taylor]: Taking taylor expansion of 0 in b2
0.888 * [taylor]: Taking taylor expansion of 0 in a2
0.888 * [taylor]: Taking taylor expansion of 0 in b1
0.888 * [taylor]: Taking taylor expansion of 0 in b2
0.888 * [taylor]: Taking taylor expansion of 0 in b1
0.888 * [taylor]: Taking taylor expansion of 0 in b2
0.888 * [taylor]: Taking taylor expansion of 0 in b2
0.888 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.888 * [approximate]: Taking taylor expansion of (/ a2 (* b1 b2)) in (a2 b1 b2) around 0
0.888 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b2
0.888 * [taylor]: Taking taylor expansion of a2 in b2
0.888 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.888 * [taylor]: Taking taylor expansion of b1 in b2
0.888 * [taylor]: Taking taylor expansion of b2 in b2
0.888 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b1
0.888 * [taylor]: Taking taylor expansion of a2 in b1
0.888 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.888 * [taylor]: Taking taylor expansion of b1 in b1
0.888 * [taylor]: Taking taylor expansion of b2 in b1
0.888 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2
0.888 * [taylor]: Taking taylor expansion of a2 in a2
0.888 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.888 * [taylor]: Taking taylor expansion of b1 in a2
0.888 * [taylor]: Taking taylor expansion of b2 in a2
0.889 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2
0.889 * [taylor]: Taking taylor expansion of a2 in a2
0.889 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.889 * [taylor]: Taking taylor expansion of b1 in a2
0.889 * [taylor]: Taking taylor expansion of b2 in a2
0.889 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1
0.889 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.889 * [taylor]: Taking taylor expansion of b1 in b1
0.889 * [taylor]: Taking taylor expansion of b2 in b1
0.889 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
0.889 * [taylor]: Taking taylor expansion of b2 in b2
0.889 * [taylor]: Taking taylor expansion of 0 in b1
0.889 * [taylor]: Taking taylor expansion of 0 in b2
0.889 * [taylor]: Taking taylor expansion of 0 in b1
0.889 * [taylor]: Taking taylor expansion of 0 in b2
0.890 * [taylor]: Taking taylor expansion of 0 in b2
0.890 * [taylor]: Taking taylor expansion of 0 in b1
0.890 * [taylor]: Taking taylor expansion of 0 in b2
0.890 * [taylor]: Taking taylor expansion of 0 in b2
0.890 * [taylor]: Taking taylor expansion of 0 in b2
0.890 * [approximate]: Taking taylor expansion of (/ (* b1 b2) a2) in (a2 b1 b2) around 0
0.890 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b2
0.890 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.890 * [taylor]: Taking taylor expansion of b1 in b2
0.890 * [taylor]: Taking taylor expansion of b2 in b2
0.890 * [taylor]: Taking taylor expansion of a2 in b2
0.890 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1
0.890 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.890 * [taylor]: Taking taylor expansion of b1 in b1
0.890 * [taylor]: Taking taylor expansion of b2 in b1
0.890 * [taylor]: Taking taylor expansion of a2 in b1
0.891 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
0.891 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.891 * [taylor]: Taking taylor expansion of b1 in a2
0.891 * [taylor]: Taking taylor expansion of b2 in a2
0.891 * [taylor]: Taking taylor expansion of a2 in a2
0.891 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
0.891 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.891 * [taylor]: Taking taylor expansion of b1 in a2
0.891 * [taylor]: Taking taylor expansion of b2 in a2
0.891 * [taylor]: Taking taylor expansion of a2 in a2
0.891 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.891 * [taylor]: Taking taylor expansion of b1 in b1
0.891 * [taylor]: Taking taylor expansion of b2 in b1
0.891 * [taylor]: Taking taylor expansion of b2 in b2
0.891 * [taylor]: Taking taylor expansion of 0 in b1
0.891 * [taylor]: Taking taylor expansion of 0 in b2
0.891 * [taylor]: Taking taylor expansion of 0 in b2
0.891 * [taylor]: Taking taylor expansion of 0 in b1
0.891 * [taylor]: Taking taylor expansion of 0 in b2
0.891 * [taylor]: Taking taylor expansion of 0 in b2
0.891 * [taylor]: Taking taylor expansion of 0 in b2
0.892 * [approximate]: Taking taylor expansion of (* -1 (/ (* b1 b2) a2)) in (a2 b1 b2) around 0
0.892 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 b2) a2)) in b2
0.892 * [taylor]: Taking taylor expansion of -1 in b2
0.892 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b2
0.892 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.892 * [taylor]: Taking taylor expansion of b1 in b2
0.892 * [taylor]: Taking taylor expansion of b2 in b2
0.892 * [taylor]: Taking taylor expansion of a2 in b2
0.892 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 b2) a2)) in b1
0.892 * [taylor]: Taking taylor expansion of -1 in b1
0.892 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1
0.892 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.892 * [taylor]: Taking taylor expansion of b1 in b1
0.892 * [taylor]: Taking taylor expansion of b2 in b1
0.892 * [taylor]: Taking taylor expansion of a2 in b1
0.892 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 b2) a2)) in a2
0.892 * [taylor]: Taking taylor expansion of -1 in a2
0.892 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
0.892 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.892 * [taylor]: Taking taylor expansion of b1 in a2
0.892 * [taylor]: Taking taylor expansion of b2 in a2
0.892 * [taylor]: Taking taylor expansion of a2 in a2
0.892 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 b2) a2)) in a2
0.892 * [taylor]: Taking taylor expansion of -1 in a2
0.892 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
0.892 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.892 * [taylor]: Taking taylor expansion of b1 in a2
0.892 * [taylor]: Taking taylor expansion of b2 in a2
0.892 * [taylor]: Taking taylor expansion of a2 in a2
0.892 * [taylor]: Taking taylor expansion of (* -1 (* b1 b2)) in b1
0.892 * [taylor]: Taking taylor expansion of -1 in b1
0.893 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.893 * [taylor]: Taking taylor expansion of b1 in b1
0.893 * [taylor]: Taking taylor expansion of b2 in b1
0.893 * [taylor]: Taking taylor expansion of (neg b2) in b2
0.893 * [taylor]: Taking taylor expansion of b2 in b2
0.893 * [taylor]: Taking taylor expansion of 0 in b1
0.893 * [taylor]: Taking taylor expansion of 0 in b2
0.893 * [taylor]: Taking taylor expansion of 0 in b2
0.893 * [taylor]: Taking taylor expansion of 0 in b1
0.893 * [taylor]: Taking taylor expansion of 0 in b2
0.893 * [taylor]: Taking taylor expansion of 0 in b2
0.893 * [taylor]: Taking taylor expansion of 0 in b2
0.893 * * * [progress]: simplifying candidates
0.894 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 a1 (/.f64 a2 (*.f64 b1 b2)))
  (+.f64 (log.f64 a1) (-.f64 (log.f64 a2) (+.f64 (log.f64 b1) (log.f64 b2))))
  (+.f64 (log.f64 a1) (-.f64 (log.f64 a2) (log.f64 (*.f64 b1 b2))))
  (+.f64 (log.f64 a1) (log.f64 (/.f64 a2 (*.f64 b1 b2))))
  (log.f64 (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))))
  (exp.f64 (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))))
  (*.f64 (*.f64 (*.f64 a1 a1) a1) (/.f64 (*.f64 (*.f64 a2 a2) a2) (*.f64 (*.f64 (*.f64 b1 b1) b1) (*.f64 (*.f64 b2 b2) b2))))
  (*.f64 (*.f64 (*.f64 a1 a1) a1) (/.f64 (*.f64 (*.f64 a2 a2) a2) (*.f64 (*.f64 (*.f64 b1 b2) (*.f64 b1 b2)) (*.f64 b1 b2))))
  (*.f64 (*.f64 (*.f64 a1 a1) a1) (*.f64 (*.f64 (/.f64 a2 (*.f64 b1 b2)) (/.f64 a2 (*.f64 b1 b2))) (/.f64 a2 (*.f64 b1 b2))))
  (*.f64 (cbrt.f64 (*.f64 a1 (/.f64 a2 (*.f64 b1 b2)))) (cbrt.f64 (*.f64 a1 (/.f64 a2 (*.f64 b1 b2)))))
  (cbrt.f64 (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))))
  (*.f64 (*.f64 (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))) (*.f64 a1 (/.f64 a2 (*.f64 b1 b2)))) (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))))
  (sqrt.f64 (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))))
  (sqrt.f64 (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))))
  (*.f64 (sqrt.f64 a1) (sqrt.f64 (/.f64 a2 (*.f64 b1 b2))))
  (*.f64 (sqrt.f64 a1) (sqrt.f64 (/.f64 a2 (*.f64 b1 b2))))
  (*.f64 a1 (*.f64 (cbrt.f64 (/.f64 a2 (*.f64 b1 b2))) (cbrt.f64 (/.f64 a2 (*.f64 b1 b2)))))
  (*.f64 a1 (sqrt.f64 (/.f64 a2 (*.f64 b1 b2))))
  (*.f64 a1 (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) b1))
  (*.f64 a1 (/.f64 (sqrt.f64 a2) b1))
  (*.f64 a1 (/.f64 1 b1))
  (*.f64 a1 1)
  (*.f64 a1 a2)
  (*.f64 (cbrt.f64 a1) (/.f64 a2 (*.f64 b1 b2)))
  (*.f64 (sqrt.f64 a1) (/.f64 a2 (*.f64 b1 b2)))
  (*.f64 a1 (/.f64 a2 (*.f64 b1 b2)))
  (*.f64 a1 a2)
  (-.f64 (log.f64 a2) (+.f64 (log.f64 b1) (log.f64 b2)))
  (-.f64 (log.f64 a2) (log.f64 (*.f64 b1 b2)))
  (log.f64 (/.f64 a2 (*.f64 b1 b2)))
  (exp.f64 (/.f64 a2 (*.f64 b1 b2)))
  (/.f64 (*.f64 (*.f64 a2 a2) a2) (*.f64 (*.f64 (*.f64 b1 b1) b1) (*.f64 (*.f64 b2 b2) b2)))
  (/.f64 (*.f64 (*.f64 a2 a2) a2) (*.f64 (*.f64 (*.f64 b1 b2) (*.f64 b1 b2)) (*.f64 b1 b2)))
  (*.f64 (cbrt.f64 (/.f64 a2 (*.f64 b1 b2))) (cbrt.f64 (/.f64 a2 (*.f64 b1 b2))))
  (cbrt.f64 (/.f64 a2 (*.f64 b1 b2)))
  (*.f64 (*.f64 (/.f64 a2 (*.f64 b1 b2)) (/.f64 a2 (*.f64 b1 b2))) (/.f64 a2 (*.f64 b1 b2)))
  (sqrt.f64 (/.f64 a2 (*.f64 b1 b2)))
  (sqrt.f64 (/.f64 a2 (*.f64 b1 b2)))
  (neg.f64 a2)
  (neg.f64 (*.f64 b1 b2))
  (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) b1)
  (/.f64 (cbrt.f64 a2) b2)
  (/.f64 (sqrt.f64 a2) b1)
  (/.f64 (sqrt.f64 a2) b2)
  (/.f64 1 b1)
  (/.f64 a2 b2)
  (/.f64 1 (*.f64 b1 b2))
  (/.f64 (*.f64 b1 b2) a2)
  (/.f64 a2 b1)
  (/.f64 (*.f64 b1 b2) (cbrt.f64 a2))
  (/.f64 (*.f64 b1 b2) (sqrt.f64 a2))
  (/.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))
  (/.f64 a2 (*.f64 b1 b2))
  (/.f64 a2 (*.f64 b1 b2))
  (/.f64 a2 (*.f64 b1 b2))
0.949 * * [simplify]: iteration  0 :  5070  enodes  (cost  386 )
0.952 * [simplify]: Simplified to:
   (*.f64 a1 (/.f64 a2 (*.f64 b1 b2)))
  (log.f64 (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))))
  (log.f64 (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))))
  (log.f64 (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))))
  (log.f64 (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))))
  (exp.f64 (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))))
  (pow.f64 (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))) 3)
  (pow.f64 (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))) 3)
  (pow.f64 (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))) 3)
  (*.f64 (cbrt.f64 (*.f64 a1 (/.f64 a2 (*.f64 b1 b2)))) (cbrt.f64 (*.f64 a1 (/.f64 a2 (*.f64 b1 b2)))))
  (cbrt.f64 (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))))
  (pow.f64 (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))) 3)
  (sqrt.f64 (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))))
  (sqrt.f64 (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))))
  (*.f64 (sqrt.f64 a1) (sqrt.f64 (/.f64 a2 (*.f64 b1 b2))))
  (*.f64 (sqrt.f64 a1) (sqrt.f64 (/.f64 a2 (*.f64 b1 b2))))
  (*.f64 a1 (*.f64 (cbrt.f64 (/.f64 a2 (*.f64 b1 b2))) (cbrt.f64 (/.f64 a2 (*.f64 b1 b2)))))
  (*.f64 a1 (sqrt.f64 (/.f64 a2 (*.f64 b1 b2))))
  (*.f64 a1 (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) b1))
  (*.f64 a1 (/.f64 (sqrt.f64 a2) b1))
  (/.f64 a1 b1)
  a1
  (*.f64 a1 a2)
  (*.f64 (/.f64 a2 (*.f64 b1 b2)) (cbrt.f64 a1))
  (*.f64 (/.f64 a2 (*.f64 b1 b2)) (sqrt.f64 a1))
  (*.f64 a1 (/.f64 a2 (*.f64 b1 b2)))
  (*.f64 a1 a2)
  (log.f64 (/.f64 a2 (*.f64 b1 b2)))
  (log.f64 (/.f64 a2 (*.f64 b1 b2)))
  (log.f64 (/.f64 a2 (*.f64 b1 b2)))
  (exp.f64 (/.f64 a2 (*.f64 b1 b2)))
  (pow.f64 (/.f64 a2 (*.f64 b1 b2)) 3)
  (pow.f64 (/.f64 a2 (*.f64 b1 b2)) 3)
  (*.f64 (cbrt.f64 (/.f64 a2 (*.f64 b1 b2))) (cbrt.f64 (/.f64 a2 (*.f64 b1 b2))))
  (cbrt.f64 (/.f64 a2 (*.f64 b1 b2)))
  (pow.f64 (/.f64 a2 (*.f64 b1 b2)) 3)
  (sqrt.f64 (/.f64 a2 (*.f64 b1 b2)))
  (sqrt.f64 (/.f64 a2 (*.f64 b1 b2)))
  (neg.f64 a2)
  (neg.f64 (*.f64 b1 b2))
  (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) b1)
  (/.f64 (cbrt.f64 a2) b2)
  (/.f64 (sqrt.f64 a2) b1)
  (/.f64 (sqrt.f64 a2) b2)
  (/.f64 1 b1)
  (/.f64 a2 b2)
  (/.f64 1 (*.f64 b1 b2))
  (/.f64 b1 (/.f64 a2 b2))
  (/.f64 a2 b1)
  (/.f64 b1 (/.f64 (cbrt.f64 a2) b2))
  (/.f64 b1 (/.f64 (sqrt.f64 a2) b2))
  (/.f64 b1 (/.f64 a2 b2))
  (*.f64 a1 (/.f64 a2 (*.f64 b1 b2)))
  (*.f64 a1 (/.f64 a2 (*.f64 b1 b2)))
  (*.f64 a1 (/.f64 a2 (*.f64 b1 b2)))
  (/.f64 a2 (*.f64 b1 b2))
  (/.f64 a2 (*.f64 b1 b2))
  (/.f64 a2 (*.f64 b1 b2))
0.952 * * * [progress]: adding candidates to table
0.984 * * [progress]: iteration 4 / 4
0.985 * * * [progress]: picking best candidate
1.002 * * * * [pick]: Picked  #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 (*.f64 a1 a2) b1) (/.f64 1 b2)))>
1.002 * * * [progress]: localizing error
1.009 * * * [progress]: generating rewritten candidates
1.009 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
1.020 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
1.027 * * * [progress]: generating series expansions
1.027 * * * * [progress]: [ 1 / 2 ] generating series at (2)
1.027 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (a1 a2 b1 b2) around 0
1.027 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2
1.027 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
1.027 * [taylor]: Taking taylor expansion of a1 in b2
1.027 * [taylor]: Taking taylor expansion of a2 in b2
1.027 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.027 * [taylor]: Taking taylor expansion of b1 in b2
1.027 * [taylor]: Taking taylor expansion of b2 in b2
1.027 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1
1.027 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.027 * [taylor]: Taking taylor expansion of a1 in b1
1.027 * [taylor]: Taking taylor expansion of a2 in b1
1.027 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.027 * [taylor]: Taking taylor expansion of b1 in b1
1.027 * [taylor]: Taking taylor expansion of b2 in b1
1.028 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
1.028 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.028 * [taylor]: Taking taylor expansion of a1 in a2
1.028 * [taylor]: Taking taylor expansion of a2 in a2
1.028 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.028 * [taylor]: Taking taylor expansion of b1 in a2
1.028 * [taylor]: Taking taylor expansion of b2 in a2
1.028 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
1.028 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.028 * [taylor]: Taking taylor expansion of a1 in a1
1.028 * [taylor]: Taking taylor expansion of a2 in a1
1.028 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.028 * [taylor]: Taking taylor expansion of b1 in a1
1.028 * [taylor]: Taking taylor expansion of b2 in a1
1.028 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
1.028 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.028 * [taylor]: Taking taylor expansion of a1 in a1
1.028 * [taylor]: Taking taylor expansion of a2 in a1
1.028 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.028 * [taylor]: Taking taylor expansion of b1 in a1
1.028 * [taylor]: Taking taylor expansion of b2 in a1
1.028 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2
1.028 * [taylor]: Taking taylor expansion of a2 in a2
1.028 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.028 * [taylor]: Taking taylor expansion of b1 in a2
1.028 * [taylor]: Taking taylor expansion of b2 in a2
1.028 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1
1.028 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.028 * [taylor]: Taking taylor expansion of b1 in b1
1.028 * [taylor]: Taking taylor expansion of b2 in b1
1.028 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
1.028 * [taylor]: Taking taylor expansion of b2 in b2
1.029 * [taylor]: Taking taylor expansion of 0 in a2
1.029 * [taylor]: Taking taylor expansion of 0 in b1
1.029 * [taylor]: Taking taylor expansion of 0 in b1
1.029 * [taylor]: Taking taylor expansion of 0 in b2
1.029 * [taylor]: Taking taylor expansion of 0 in a2
1.029 * [taylor]: Taking taylor expansion of 0 in b1
1.029 * [taylor]: Taking taylor expansion of 0 in b1
1.029 * [taylor]: Taking taylor expansion of 0 in b1
1.029 * [taylor]: Taking taylor expansion of 0 in b2
1.029 * [taylor]: Taking taylor expansion of 0 in b2
1.030 * [taylor]: Taking taylor expansion of 0 in b2
1.030 * [taylor]: Taking taylor expansion of 0 in a2
1.030 * [taylor]: Taking taylor expansion of 0 in b1
1.030 * [taylor]: Taking taylor expansion of 0 in b1
1.030 * [taylor]: Taking taylor expansion of 0 in b1
1.030 * [taylor]: Taking taylor expansion of 0 in b1
1.030 * [taylor]: Taking taylor expansion of 0 in b2
1.030 * [taylor]: Taking taylor expansion of 0 in b2
1.030 * [taylor]: Taking taylor expansion of 0 in b2
1.030 * [taylor]: Taking taylor expansion of 0 in b2
1.030 * [taylor]: Taking taylor expansion of 0 in b2
1.030 * [taylor]: Taking taylor expansion of 0 in b2
1.031 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 a2 b1 b2) around 0
1.031 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
1.031 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.031 * [taylor]: Taking taylor expansion of b1 in b2
1.031 * [taylor]: Taking taylor expansion of b2 in b2
1.031 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
1.031 * [taylor]: Taking taylor expansion of a1 in b2
1.031 * [taylor]: Taking taylor expansion of a2 in b2
1.031 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
1.031 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.031 * [taylor]: Taking taylor expansion of b1 in b1
1.031 * [taylor]: Taking taylor expansion of b2 in b1
1.031 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.031 * [taylor]: Taking taylor expansion of a1 in b1
1.031 * [taylor]: Taking taylor expansion of a2 in b1
1.031 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
1.031 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.031 * [taylor]: Taking taylor expansion of b1 in a2
1.031 * [taylor]: Taking taylor expansion of b2 in a2
1.031 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.031 * [taylor]: Taking taylor expansion of a1 in a2
1.031 * [taylor]: Taking taylor expansion of a2 in a2
1.031 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
1.031 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.031 * [taylor]: Taking taylor expansion of b1 in a1
1.031 * [taylor]: Taking taylor expansion of b2 in a1
1.031 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.031 * [taylor]: Taking taylor expansion of a1 in a1
1.031 * [taylor]: Taking taylor expansion of a2 in a1
1.032 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
1.032 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.032 * [taylor]: Taking taylor expansion of b1 in a1
1.032 * [taylor]: Taking taylor expansion of b2 in a1
1.032 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.032 * [taylor]: Taking taylor expansion of a1 in a1
1.032 * [taylor]: Taking taylor expansion of a2 in a1
1.032 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
1.032 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.032 * [taylor]: Taking taylor expansion of b1 in a2
1.032 * [taylor]: Taking taylor expansion of b2 in a2
1.032 * [taylor]: Taking taylor expansion of a2 in a2
1.032 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.032 * [taylor]: Taking taylor expansion of b1 in b1
1.032 * [taylor]: Taking taylor expansion of b2 in b1
1.032 * [taylor]: Taking taylor expansion of b2 in b2
1.032 * [taylor]: Taking taylor expansion of 0 in a2
1.032 * [taylor]: Taking taylor expansion of 0 in b1
1.032 * [taylor]: Taking taylor expansion of 0 in b2
1.032 * [taylor]: Taking taylor expansion of 0 in b2
1.033 * [taylor]: Taking taylor expansion of 0 in a2
1.033 * [taylor]: Taking taylor expansion of 0 in b1
1.033 * [taylor]: Taking taylor expansion of 0 in b2
1.033 * [taylor]: Taking taylor expansion of 0 in b1
1.033 * [taylor]: Taking taylor expansion of 0 in b2
1.033 * [taylor]: Taking taylor expansion of 0 in b2
1.033 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 a2 b1 b2) around 0
1.033 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
1.033 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.033 * [taylor]: Taking taylor expansion of b1 in b2
1.033 * [taylor]: Taking taylor expansion of b2 in b2
1.033 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
1.033 * [taylor]: Taking taylor expansion of a1 in b2
1.033 * [taylor]: Taking taylor expansion of a2 in b2
1.033 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
1.033 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.033 * [taylor]: Taking taylor expansion of b1 in b1
1.033 * [taylor]: Taking taylor expansion of b2 in b1
1.033 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.033 * [taylor]: Taking taylor expansion of a1 in b1
1.033 * [taylor]: Taking taylor expansion of a2 in b1
1.034 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
1.034 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.034 * [taylor]: Taking taylor expansion of b1 in a2
1.034 * [taylor]: Taking taylor expansion of b2 in a2
1.034 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.034 * [taylor]: Taking taylor expansion of a1 in a2
1.034 * [taylor]: Taking taylor expansion of a2 in a2
1.034 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
1.034 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.034 * [taylor]: Taking taylor expansion of b1 in a1
1.034 * [taylor]: Taking taylor expansion of b2 in a1
1.034 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.034 * [taylor]: Taking taylor expansion of a1 in a1
1.034 * [taylor]: Taking taylor expansion of a2 in a1
1.034 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
1.034 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.034 * [taylor]: Taking taylor expansion of b1 in a1
1.034 * [taylor]: Taking taylor expansion of b2 in a1
1.034 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.034 * [taylor]: Taking taylor expansion of a1 in a1
1.034 * [taylor]: Taking taylor expansion of a2 in a1
1.034 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
1.034 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.034 * [taylor]: Taking taylor expansion of b1 in a2
1.034 * [taylor]: Taking taylor expansion of b2 in a2
1.034 * [taylor]: Taking taylor expansion of a2 in a2
1.034 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.034 * [taylor]: Taking taylor expansion of b1 in b1
1.034 * [taylor]: Taking taylor expansion of b2 in b1
1.034 * [taylor]: Taking taylor expansion of b2 in b2
1.035 * [taylor]: Taking taylor expansion of 0 in a2
1.035 * [taylor]: Taking taylor expansion of 0 in b1
1.035 * [taylor]: Taking taylor expansion of 0 in b2
1.035 * [taylor]: Taking taylor expansion of 0 in b2
1.035 * [taylor]: Taking taylor expansion of 0 in a2
1.035 * [taylor]: Taking taylor expansion of 0 in b1
1.035 * [taylor]: Taking taylor expansion of 0 in b2
1.035 * [taylor]: Taking taylor expansion of 0 in b1
1.035 * [taylor]: Taking taylor expansion of 0 in b2
1.035 * [taylor]: Taking taylor expansion of 0 in b2
1.035 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
1.035 * [approximate]: Taking taylor expansion of (/ (* a1 a2) b1) in (a1 a2 b1) around 0
1.035 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b1) in b1
1.036 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.036 * [taylor]: Taking taylor expansion of a1 in b1
1.036 * [taylor]: Taking taylor expansion of a2 in b1
1.036 * [taylor]: Taking taylor expansion of b1 in b1
1.036 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b1) in a2
1.036 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.036 * [taylor]: Taking taylor expansion of a1 in a2
1.036 * [taylor]: Taking taylor expansion of a2 in a2
1.036 * [taylor]: Taking taylor expansion of b1 in a2
1.036 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b1) in a1
1.036 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.036 * [taylor]: Taking taylor expansion of a1 in a1
1.036 * [taylor]: Taking taylor expansion of a2 in a1
1.036 * [taylor]: Taking taylor expansion of b1 in a1
1.036 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b1) in a1
1.036 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.036 * [taylor]: Taking taylor expansion of a1 in a1
1.036 * [taylor]: Taking taylor expansion of a2 in a1
1.036 * [taylor]: Taking taylor expansion of b1 in a1
1.036 * [taylor]: Taking taylor expansion of (/ a2 b1) in a2
1.036 * [taylor]: Taking taylor expansion of a2 in a2
1.036 * [taylor]: Taking taylor expansion of b1 in a2
1.036 * [taylor]: Taking taylor expansion of (/ 1 b1) in b1
1.036 * [taylor]: Taking taylor expansion of b1 in b1
1.036 * [taylor]: Taking taylor expansion of 0 in a2
1.036 * [taylor]: Taking taylor expansion of 0 in b1
1.036 * [taylor]: Taking taylor expansion of 0 in b1
1.037 * [taylor]: Taking taylor expansion of 0 in a2
1.037 * [taylor]: Taking taylor expansion of 0 in b1
1.037 * [taylor]: Taking taylor expansion of 0 in b1
1.037 * [taylor]: Taking taylor expansion of 0 in b1
1.037 * [taylor]: Taking taylor expansion of 0 in a2
1.037 * [taylor]: Taking taylor expansion of 0 in b1
1.037 * [taylor]: Taking taylor expansion of 0 in b1
1.037 * [taylor]: Taking taylor expansion of 0 in b1
1.037 * [taylor]: Taking taylor expansion of 0 in b1
1.037 * [approximate]: Taking taylor expansion of (/ b1 (* a1 a2)) in (a1 a2 b1) around 0
1.037 * [taylor]: Taking taylor expansion of (/ b1 (* a1 a2)) in b1
1.037 * [taylor]: Taking taylor expansion of b1 in b1
1.037 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.037 * [taylor]: Taking taylor expansion of a1 in b1
1.037 * [taylor]: Taking taylor expansion of a2 in b1
1.037 * [taylor]: Taking taylor expansion of (/ b1 (* a1 a2)) in a2
1.037 * [taylor]: Taking taylor expansion of b1 in a2
1.037 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.038 * [taylor]: Taking taylor expansion of a1 in a2
1.038 * [taylor]: Taking taylor expansion of a2 in a2
1.038 * [taylor]: Taking taylor expansion of (/ b1 (* a1 a2)) in a1
1.038 * [taylor]: Taking taylor expansion of b1 in a1
1.038 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.038 * [taylor]: Taking taylor expansion of a1 in a1
1.038 * [taylor]: Taking taylor expansion of a2 in a1
1.038 * [taylor]: Taking taylor expansion of (/ b1 (* a1 a2)) in a1
1.038 * [taylor]: Taking taylor expansion of b1 in a1
1.038 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.038 * [taylor]: Taking taylor expansion of a1 in a1
1.038 * [taylor]: Taking taylor expansion of a2 in a1
1.038 * [taylor]: Taking taylor expansion of (/ b1 a2) in a2
1.038 * [taylor]: Taking taylor expansion of b1 in a2
1.038 * [taylor]: Taking taylor expansion of a2 in a2
1.038 * [taylor]: Taking taylor expansion of b1 in b1
1.038 * [taylor]: Taking taylor expansion of 0 in a2
1.038 * [taylor]: Taking taylor expansion of 0 in b1
1.038 * [taylor]: Taking taylor expansion of 0 in a2
1.038 * [taylor]: Taking taylor expansion of 0 in b1
1.038 * [taylor]: Taking taylor expansion of 0 in b1
1.039 * [approximate]: Taking taylor expansion of (* -1 (/ b1 (* a1 a2))) in (a1 a2 b1) around 0
1.039 * [taylor]: Taking taylor expansion of (* -1 (/ b1 (* a1 a2))) in b1
1.039 * [taylor]: Taking taylor expansion of -1 in b1
1.039 * [taylor]: Taking taylor expansion of (/ b1 (* a1 a2)) in b1
1.039 * [taylor]: Taking taylor expansion of b1 in b1
1.039 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.039 * [taylor]: Taking taylor expansion of a1 in b1
1.039 * [taylor]: Taking taylor expansion of a2 in b1
1.039 * [taylor]: Taking taylor expansion of (* -1 (/ b1 (* a1 a2))) in a2
1.039 * [taylor]: Taking taylor expansion of -1 in a2
1.039 * [taylor]: Taking taylor expansion of (/ b1 (* a1 a2)) in a2
1.039 * [taylor]: Taking taylor expansion of b1 in a2
1.039 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.039 * [taylor]: Taking taylor expansion of a1 in a2
1.039 * [taylor]: Taking taylor expansion of a2 in a2
1.039 * [taylor]: Taking taylor expansion of (* -1 (/ b1 (* a1 a2))) in a1
1.039 * [taylor]: Taking taylor expansion of -1 in a1
1.039 * [taylor]: Taking taylor expansion of (/ b1 (* a1 a2)) in a1
1.039 * [taylor]: Taking taylor expansion of b1 in a1
1.039 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.039 * [taylor]: Taking taylor expansion of a1 in a1
1.039 * [taylor]: Taking taylor expansion of a2 in a1
1.039 * [taylor]: Taking taylor expansion of (* -1 (/ b1 (* a1 a2))) in a1
1.039 * [taylor]: Taking taylor expansion of -1 in a1
1.039 * [taylor]: Taking taylor expansion of (/ b1 (* a1 a2)) in a1
1.039 * [taylor]: Taking taylor expansion of b1 in a1
1.039 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.039 * [taylor]: Taking taylor expansion of a1 in a1
1.039 * [taylor]: Taking taylor expansion of a2 in a1
1.039 * [taylor]: Taking taylor expansion of (* -1 (/ b1 a2)) in a2
1.039 * [taylor]: Taking taylor expansion of -1 in a2
1.039 * [taylor]: Taking taylor expansion of (/ b1 a2) in a2
1.040 * [taylor]: Taking taylor expansion of b1 in a2
1.040 * [taylor]: Taking taylor expansion of a2 in a2
1.040 * [taylor]: Taking taylor expansion of (* -1 b1) in b1
1.040 * [taylor]: Taking taylor expansion of -1 in b1
1.040 * [taylor]: Taking taylor expansion of b1 in b1
1.040 * [taylor]: Taking taylor expansion of 0 in a2
1.040 * [taylor]: Taking taylor expansion of 0 in b1
1.040 * [taylor]: Taking taylor expansion of 0 in a2
1.040 * [taylor]: Taking taylor expansion of 0 in b1
1.040 * [taylor]: Taking taylor expansion of 0 in b1
1.040 * * * [progress]: simplifying candidates
1.041 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (/.f64 (*.f64 a1 a2) b1) (/.f64 1 b2))
  (+.f64 (-.f64 (+.f64 (log.f64 a1) (log.f64 a2)) (log.f64 b1)) (neg.f64 (log.f64 b2)))
  (+.f64 (-.f64 (+.f64 (log.f64 a1) (log.f64 a2)) (log.f64 b1)) (-.f64 0 (log.f64 b2)))
  (+.f64 (-.f64 (+.f64 (log.f64 a1) (log.f64 a2)) (log.f64 b1)) (-.f64 (log.f64 1) (log.f64 b2)))
  (+.f64 (-.f64 (+.f64 (log.f64 a1) (log.f64 a2)) (log.f64 b1)) (log.f64 (/.f64 1 b2)))
  (+.f64 (-.f64 (log.f64 (*.f64 a1 a2)) (log.f64 b1)) (neg.f64 (log.f64 b2)))
  (+.f64 (-.f64 (log.f64 (*.f64 a1 a2)) (log.f64 b1)) (-.f64 0 (log.f64 b2)))
  (+.f64 (-.f64 (log.f64 (*.f64 a1 a2)) (log.f64 b1)) (-.f64 (log.f64 1) (log.f64 b2)))
  (+.f64 (-.f64 (log.f64 (*.f64 a1 a2)) (log.f64 b1)) (log.f64 (/.f64 1 b2)))
  (+.f64 (log.f64 (/.f64 (*.f64 a1 a2) b1)) (neg.f64 (log.f64 b2)))
  (+.f64 (log.f64 (/.f64 (*.f64 a1 a2) b1)) (-.f64 0 (log.f64 b2)))
  (+.f64 (log.f64 (/.f64 (*.f64 a1 a2) b1)) (-.f64 (log.f64 1) (log.f64 b2)))
  (+.f64 (log.f64 (/.f64 (*.f64 a1 a2) b1)) (log.f64 (/.f64 1 b2)))
  (log.f64 (*.f64 (/.f64 (*.f64 a1 a2) b1) (/.f64 1 b2)))
  (exp.f64 (*.f64 (/.f64 (*.f64 a1 a2) b1) (/.f64 1 b2)))
  (*.f64 (/.f64 (*.f64 (*.f64 (*.f64 a1 a1) a1) (*.f64 (*.f64 a2 a2) a2)) (*.f64 (*.f64 b1 b1) b1)) (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 b2 b2) b2)))
  (*.f64 (/.f64 (*.f64 (*.f64 (*.f64 a1 a1) a1) (*.f64 (*.f64 a2 a2) a2)) (*.f64 (*.f64 b1 b1) b1)) (*.f64 (*.f64 (/.f64 1 b2) (/.f64 1 b2)) (/.f64 1 b2)))
  (*.f64 (/.f64 (*.f64 (*.f64 (*.f64 a1 a2) (*.f64 a1 a2)) (*.f64 a1 a2)) (*.f64 (*.f64 b1 b1) b1)) (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 b2 b2) b2)))
  (*.f64 (/.f64 (*.f64 (*.f64 (*.f64 a1 a2) (*.f64 a1 a2)) (*.f64 a1 a2)) (*.f64 (*.f64 b1 b1) b1)) (*.f64 (*.f64 (/.f64 1 b2) (/.f64 1 b2)) (/.f64 1 b2)))
  (*.f64 (*.f64 (*.f64 (/.f64 (*.f64 a1 a2) b1) (/.f64 (*.f64 a1 a2) b1)) (/.f64 (*.f64 a1 a2) b1)) (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 b2 b2) b2)))
  (*.f64 (*.f64 (*.f64 (/.f64 (*.f64 a1 a2) b1) (/.f64 (*.f64 a1 a2) b1)) (/.f64 (*.f64 a1 a2) b1)) (*.f64 (*.f64 (/.f64 1 b2) (/.f64 1 b2)) (/.f64 1 b2)))
  (*.f64 (cbrt.f64 (*.f64 (/.f64 (*.f64 a1 a2) b1) (/.f64 1 b2))) (cbrt.f64 (*.f64 (/.f64 (*.f64 a1 a2) b1) (/.f64 1 b2))))
  (cbrt.f64 (*.f64 (/.f64 (*.f64 a1 a2) b1) (/.f64 1 b2)))
  (*.f64 (*.f64 (*.f64 (/.f64 (*.f64 a1 a2) b1) (/.f64 1 b2)) (*.f64 (/.f64 (*.f64 a1 a2) b1) (/.f64 1 b2))) (*.f64 (/.f64 (*.f64 a1 a2) b1) (/.f64 1 b2)))
  (sqrt.f64 (*.f64 (/.f64 (*.f64 a1 a2) b1) (/.f64 1 b2)))
  (sqrt.f64 (*.f64 (/.f64 (*.f64 a1 a2) b1) (/.f64 1 b2)))
  (*.f64 (*.f64 a1 a2) 1)
  (*.f64 b1 b2)
  (*.f64 (sqrt.f64 (/.f64 (*.f64 a1 a2) b1)) (sqrt.f64 (/.f64 1 b2)))
  (*.f64 (sqrt.f64 (/.f64 (*.f64 a1 a2) b1)) (sqrt.f64 (/.f64 1 b2)))
  (*.f64 (sqrt.f64 (/.f64 (*.f64 a1 a2) b1)) (/.f64 (sqrt.f64 1) (sqrt.f64 b2)))
  (*.f64 (sqrt.f64 (/.f64 (*.f64 a1 a2) b1)) (/.f64 (sqrt.f64 1) (sqrt.f64 b2)))
  (*.f64 (sqrt.f64 (/.f64 (*.f64 a1 a2) b1)) (/.f64 1 (sqrt.f64 b2)))
  (*.f64 (sqrt.f64 (/.f64 (*.f64 a1 a2) b1)) (/.f64 1 (sqrt.f64 b2)))
  (*.f64 (/.f64 (*.f64 a1 a2) b1) (*.f64 (cbrt.f64 (/.f64 1 b2)) (cbrt.f64 (/.f64 1 b2))))
  (*.f64 (/.f64 (*.f64 a1 a2) b1) (sqrt.f64 (/.f64 1 b2)))
  (*.f64 (/.f64 (*.f64 a1 a2) b1) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 (/.f64 (*.f64 a1 a2) b1) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 b2)))
  (*.f64 (/.f64 (*.f64 a1 a2) b1) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) 1))
  (*.f64 (/.f64 (*.f64 a1 a2) b1) (/.f64 (sqrt.f64 1) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 (/.f64 (*.f64 a1 a2) b1) (/.f64 (sqrt.f64 1) (sqrt.f64 b2)))
  (*.f64 (/.f64 (*.f64 a1 a2) b1) (/.f64 (sqrt.f64 1) 1))
  (*.f64 (/.f64 (*.f64 a1 a2) b1) (/.f64 1 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 (/.f64 (*.f64 a1 a2) b1) (/.f64 1 (sqrt.f64 b2)))
  (*.f64 (/.f64 (*.f64 a1 a2) b1) (/.f64 1 1))
  (*.f64 (/.f64 (*.f64 a1 a2) b1) 1)
  (*.f64 (/.f64 (*.f64 a1 a2) b1) 1)
  (*.f64 (cbrt.f64 (/.f64 (*.f64 a1 a2) b1)) (/.f64 1 b2))
  (*.f64 (sqrt.f64 (/.f64 (*.f64 a1 a2) b1)) (/.f64 1 b2))
  (*.f64 (/.f64 a2 (cbrt.f64 b1)) (/.f64 1 b2))
  (*.f64 (/.f64 a2 (sqrt.f64 b1)) (/.f64 1 b2))
  (*.f64 (/.f64 a2 b1) (/.f64 1 b2))
  (*.f64 (/.f64 (*.f64 a1 a2) b1) (/.f64 1 b2))
  (*.f64 (/.f64 1 b1) (/.f64 1 b2))
  (*.f64 (/.f64 (*.f64 a1 a2) b1) 1)
  (*.f64 (*.f64 a1 a2) (/.f64 1 b2))
  (-.f64 (+.f64 (log.f64 a1) (log.f64 a2)) (log.f64 b1))
  (-.f64 (log.f64 (*.f64 a1 a2)) (log.f64 b1))
  (log.f64 (/.f64 (*.f64 a1 a2) b1))
  (exp.f64 (/.f64 (*.f64 a1 a2) b1))
  (/.f64 (*.f64 (*.f64 (*.f64 a1 a1) a1) (*.f64 (*.f64 a2 a2) a2)) (*.f64 (*.f64 b1 b1) b1))
  (/.f64 (*.f64 (*.f64 (*.f64 a1 a2) (*.f64 a1 a2)) (*.f64 a1 a2)) (*.f64 (*.f64 b1 b1) b1))
  (*.f64 (cbrt.f64 (/.f64 (*.f64 a1 a2) b1)) (cbrt.f64 (/.f64 (*.f64 a1 a2) b1)))
  (cbrt.f64 (/.f64 (*.f64 a1 a2) b1))
  (*.f64 (*.f64 (/.f64 (*.f64 a1 a2) b1) (/.f64 (*.f64 a1 a2) b1)) (/.f64 (*.f64 a1 a2) b1))
  (sqrt.f64 (/.f64 (*.f64 a1 a2) b1))
  (sqrt.f64 (/.f64 (*.f64 a1 a2) b1))
  (neg.f64 (*.f64 a1 a2))
  (neg.f64 b1)
  (/.f64 a1 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))
  (/.f64 a2 (cbrt.f64 b1))
  (/.f64 a1 (sqrt.f64 b1))
  (/.f64 a2 (sqrt.f64 b1))
  (/.f64 a1 1)
  (/.f64 a2 b1)
  (/.f64 1 b1)
  (/.f64 b1 (*.f64 a1 a2))
  (/.f64 (*.f64 a1 a2) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))
  (/.f64 (*.f64 a1 a2) (sqrt.f64 b1))
  (/.f64 (*.f64 a1 a2) 1)
  (/.f64 b1 a2)
  (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
  (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
  (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
  (/.f64 (*.f64 a1 a2) b1)
  (/.f64 (*.f64 a1 a2) b1)
  (/.f64 (*.f64 a1 a2) b1)
1.109 * * [simplify]: iteration  0 :  5171  enodes  (cost  637 )
1.112 * [simplify]: Simplified to:
   (/.f64 (/.f64 (*.f64 a1 a2) b1) b2)
  (log.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2))
  (log.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2))
  (log.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2))
  (log.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2))
  (log.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2))
  (log.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2))
  (log.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2))
  (log.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2))
  (log.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2))
  (log.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2))
  (log.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2))
  (log.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2))
  (log.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2))
  (exp.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2))
  (pow.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2) 3)
  (pow.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2) 3)
  (pow.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2) 3)
  (pow.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2) 3)
  (pow.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2) 3)
  (pow.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2) 3)
  (*.f64 (cbrt.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2)) (cbrt.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2)))
  (cbrt.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2))
  (pow.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2) 3)
  (sqrt.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2))
  (sqrt.f64 (/.f64 (/.f64 (*.f64 a1 a2) b1) b2))
  (*.f64 a1 a2)
  (*.f64 b1 b2)
  (*.f64 (sqrt.f64 (/.f64 (*.f64 a1 a2) b1)) (sqrt.f64 (/.f64 1 b2)))
  (*.f64 (sqrt.f64 (/.f64 (*.f64 a1 a2) b1)) (sqrt.f64 (/.f64 1 b2)))
  (/.f64 (sqrt.f64 (/.f64 (*.f64 a1 a2) b1)) (sqrt.f64 b2))
  (/.f64 (sqrt.f64 (/.f64 (*.f64 a1 a2) b1)) (sqrt.f64 b2))
  (/.f64 (sqrt.f64 (/.f64 (*.f64 a1 a2) b1)) (sqrt.f64 b2))
  (/.f64 (sqrt.f64 (/.f64 (*.f64 a1 a2) b1)) (sqrt.f64 b2))
  (*.f64 (/.f64 (*.f64 a1 a2) b1) (*.f64 (cbrt.f64 (/.f64 1 b2)) (cbrt.f64 (/.f64 1 b2))))
  (*.f64 (/.f64 (*.f64 a1 a2) b1) (sqrt.f64 (/.f64 1 b2)))
  (*.f64 (/.f64 (*.f64 a1 a2) b1) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2))))
  (*.f64 (/.f64 (*.f64 a1 a2) b1) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 b2)))
  (*.f64 (/.f64 (*.f64 a1 a2) b1) (*.f64 (cbrt.f64 1) (cbrt.f64 1)))
  (/.f64 (/.f64 (*.f64 a1 a2) b1) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 (/.f64 (*.f64 a1 a2) b1) (sqrt.f64 b2))
  (/.f64 (*.f64 a1 a2) b1)
  (/.f64 (/.f64 (*.f64 a1 a2) b1) (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))
  (/.f64 (/.f64 (*.f64 a1 a2) b1) (sqrt.f64 b2))
  (/.f64 (*.f64 a1 a2) b1)
  (/.f64 (*.f64 a1 a2) b1)
  (/.f64 (*.f64 a1 a2) b1)
  (/.f64 (cbrt.f64 (/.f64 (*.f64 a1 a2) b1)) b2)
  (/.f64 (sqrt.f64 (/.f64 (*.f64 a1 a2) b1)) b2)
  (/.f64 (/.f64 a2 (cbrt.f64 b1)) b2)
  (/.f64 (/.f64 a2 (sqrt.f64 b1)) b2)
  (/.f64 a2 (*.f64 b1 b2))
  (/.f64 (/.f64 (*.f64 a1 a2) b1) b2)
  (/.f64 1 (*.f64 b1 b2))
  (/.f64 (*.f64 a1 a2) b1)
  (/.f64 (*.f64 a1 a2) b2)
  (log.f64 (/.f64 (*.f64 a1 a2) b1))
  (log.f64 (/.f64 (*.f64 a1 a2) b1))
  (log.f64 (/.f64 (*.f64 a1 a2) b1))
  (exp.f64 (/.f64 (*.f64 a1 a2) b1))
  (pow.f64 (/.f64 (*.f64 a1 a2) b1) 3)
  (pow.f64 (/.f64 (*.f64 a1 a2) b1) 3)
  (*.f64 (cbrt.f64 (/.f64 (*.f64 a1 a2) b1)) (cbrt.f64 (/.f64 (*.f64 a1 a2) b1)))
  (cbrt.f64 (/.f64 (*.f64 a1 a2) b1))
  (pow.f64 (/.f64 (*.f64 a1 a2) b1) 3)
  (sqrt.f64 (/.f64 (*.f64 a1 a2) b1))
  (sqrt.f64 (/.f64 (*.f64 a1 a2) b1))
  (neg.f64 (*.f64 a1 a2))
  (neg.f64 b1)
  (/.f64 a1 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1)))
  (/.f64 a2 (cbrt.f64 b1))
  (/.f64 a1 (sqrt.f64 b1))
  (/.f64 a2 (sqrt.f64 b1))
  a1
  (/.f64 a2 b1)
  (/.f64 1 b1)
  (/.f64 b1 (*.f64 a1 a2))
  (*.f64 a2 (/.f64 a1 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))))
  (*.f64 a2 (/.f64 a1 (sqrt.f64 b1)))
  (*.f64 a1 a2)
  (/.f64 b1 a2)
  (/.f64 (/.f64 (*.f64 a1 a2) b1) b2)
  (/.f64 (/.f64 (*.f64 a1 a2) b1) b2)
  (/.f64 (/.f64 (*.f64 a1 a2) b1) b2)
  (/.f64 (*.f64 a1 a2) b1)
  (/.f64 (*.f64 a1 a2) b1)
  (/.f64 (*.f64 a1 a2) b1)
1.112 * * * [progress]: adding candidates to table
1.164 * [progress]: [Phase 3 of 3] Extracting.
1.164 * * [regime]: Finding splitpoints for: (#<alt (λ (a1 a2 b1 b2) (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (*.f64 (cbrt.f64 (/.f64 (*.f64 a1 a2) b1)) (cbrt.f64 (/.f64 (*.f64 a1 a2) b1))) (/.f64 (cbrt.f64 (/.f64 (*.f64 a1 a2) b1)) b2)))> #<alt (λ (a1 a2 b1 b2) (*.f64 (sqrt.f64 (/.f64 (*.f64 a1 a2) b1)) (/.f64 (sqrt.f64 (/.f64 (*.f64 a1 a2) b1)) b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 (/.f64 (*.f64 a1 a2) b2) b1))> #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a1 (/.f64 b1 a2)) (/.f64 1 b2)))>)
1.165 * * * [regime-changes]: Trying 6 branch expressions: ((*.f64 b1 b2) (*.f64 a1 a2) b2 b1 a2 a1)
1.165 * * * * [regimes]: Trying to branch on (*.f64 b1 b2) from (#<alt (λ (a1 a2 b1 b2) (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (*.f64 (cbrt.f64 (/.f64 (*.f64 a1 a2) b1)) (cbrt.f64 (/.f64 (*.f64 a1 a2) b1))) (/.f64 (cbrt.f64 (/.f64 (*.f64 a1 a2) b1)) b2)))> #<alt (λ (a1 a2 b1 b2) (*.f64 (sqrt.f64 (/.f64 (*.f64 a1 a2) b1)) (/.f64 (sqrt.f64 (/.f64 (*.f64 a1 a2) b1)) b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 (/.f64 (*.f64 a1 a2) b2) b1))> #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a1 (/.f64 b1 a2)) (/.f64 1 b2)))>)
1.246 * * * * [regimes]: Trying to branch on (*.f64 a1 a2) from (#<alt (λ (a1 a2 b1 b2) (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (*.f64 (cbrt.f64 (/.f64 (*.f64 a1 a2) b1)) (cbrt.f64 (/.f64 (*.f64 a1 a2) b1))) (/.f64 (cbrt.f64 (/.f64 (*.f64 a1 a2) b1)) b2)))> #<alt (λ (a1 a2 b1 b2) (*.f64 (sqrt.f64 (/.f64 (*.f64 a1 a2) b1)) (/.f64 (sqrt.f64 (/.f64 (*.f64 a1 a2) b1)) b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 (/.f64 (*.f64 a1 a2) b2) b1))> #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a1 (/.f64 b1 a2)) (/.f64 1 b2)))>)
1.331 * * * * [regimes]: Trying to branch on (*.f64 a1 a2) from (#<alt (λ (a1 a2 b1 b2) (*.f64 (*.f64 (cbrt.f64 (/.f64 (*.f64 a1 a2) b1)) (cbrt.f64 (/.f64 (*.f64 a1 a2) b1))) (/.f64 (cbrt.f64 (/.f64 (*.f64 a1 a2) b1)) b2)))> #<alt (λ (a1 a2 b1 b2) (*.f64 (sqrt.f64 (/.f64 (*.f64 a1 a2) b1)) (/.f64 (sqrt.f64 (/.f64 (*.f64 a1 a2) b1)) b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 (/.f64 (*.f64 a1 a2) b2) b1))>)
1.386 * * * * [regimes]: Trying to branch on b2 from (#<alt (λ (a1 a2 b1 b2) (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (*.f64 (cbrt.f64 (/.f64 (*.f64 a1 a2) b1)) (cbrt.f64 (/.f64 (*.f64 a1 a2) b1))) (/.f64 (cbrt.f64 (/.f64 (*.f64 a1 a2) b1)) b2)))> #<alt (λ (a1 a2 b1 b2) (*.f64 (sqrt.f64 (/.f64 (*.f64 a1 a2) b1)) (/.f64 (sqrt.f64 (/.f64 (*.f64 a1 a2) b1)) b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 (/.f64 (*.f64 a1 a2) b2) b1))> #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a1 (/.f64 b1 a2)) (/.f64 1 b2)))>)
1.470 * * * * [regimes]: Trying to branch on b1 from (#<alt (λ (a1 a2 b1 b2) (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (*.f64 (cbrt.f64 (/.f64 (*.f64 a1 a2) b1)) (cbrt.f64 (/.f64 (*.f64 a1 a2) b1))) (/.f64 (cbrt.f64 (/.f64 (*.f64 a1 a2) b1)) b2)))> #<alt (λ (a1 a2 b1 b2) (*.f64 (sqrt.f64 (/.f64 (*.f64 a1 a2) b1)) (/.f64 (sqrt.f64 (/.f64 (*.f64 a1 a2) b1)) b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 (/.f64 (*.f64 a1 a2) b2) b1))> #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a1 (/.f64 b1 a2)) (/.f64 1 b2)))>)
1.552 * * * * [regimes]: Trying to branch on a2 from (#<alt (λ (a1 a2 b1 b2) (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (*.f64 (cbrt.f64 (/.f64 (*.f64 a1 a2) b1)) (cbrt.f64 (/.f64 (*.f64 a1 a2) b1))) (/.f64 (cbrt.f64 (/.f64 (*.f64 a1 a2) b1)) b2)))> #<alt (λ (a1 a2 b1 b2) (*.f64 (sqrt.f64 (/.f64 (*.f64 a1 a2) b1)) (/.f64 (sqrt.f64 (/.f64 (*.f64 a1 a2) b1)) b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 (/.f64 (*.f64 a1 a2) b2) b1))> #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a1 (/.f64 b1 a2)) (/.f64 1 b2)))>)
1.639 * * * * [regimes]: Trying to branch on a1 from (#<alt (λ (a1 a2 b1 b2) (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (*.f64 (cbrt.f64 (/.f64 (*.f64 a1 a2) b1)) (cbrt.f64 (/.f64 (*.f64 a1 a2) b1))) (/.f64 (cbrt.f64 (/.f64 (*.f64 a1 a2) b1)) b2)))> #<alt (λ (a1 a2 b1 b2) (*.f64 (sqrt.f64 (/.f64 (*.f64 a1 a2) b1)) (/.f64 (sqrt.f64 (/.f64 (*.f64 a1 a2) b1)) b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 (/.f64 (*.f64 a1 a2) b2) b1))> #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a1 (/.f64 b1 a2)) (/.f64 1 b2)))>)
1.727 * * * [regime]: Found split indices: #<option (#s(si 0 14) #s(si 3 65) #s(si 5 145) #s(si 1 246) #s(si 5 255))>
1.728 * [binary-search]: Only using regimes for bounds on (*.f64 a1 a2) and (#<alt (λ (a1 a2 b1 b2) (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (*.f64 (cbrt.f64 (/.f64 (*.f64 a1 a2) b1)) (cbrt.f64 (/.f64 (*.f64 a1 a2) b1))) (/.f64 (cbrt.f64 (/.f64 (*.f64 a1 a2) b1)) b2)))> #<alt (λ (a1 a2 b1 b2) (*.f64 (sqrt.f64 (/.f64 (*.f64 a1 a2) b1)) (/.f64 (sqrt.f64 (/.f64 (*.f64 a1 a2) b1)) b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 (/.f64 (*.f64 a1 a2) b2) b1))> #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a1 (/.f64 b1 a2)) (/.f64 1 b2)))>)
1.728 * [regimes]: Found splitpoints: (#s(sp 0 (*.f64 a1 a2) -1.824827973319818e+202) #s(sp 3 (*.f64 a1 a2) -3.8638100840414836e-76) #s(sp 5 (*.f64 a1 a2) 0.0) #s(sp 1 (*.f64 a1 a2) 6.994370282012423e+231) #s(sp 5 (*.f64 a1 a2) +nan.0)) , with alts (#<alt (λ (a1 a2 b1 b2) (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (*.f64 (cbrt.f64 (/.f64 (*.f64 a1 a2) b1)) (cbrt.f64 (/.f64 (*.f64 a1 a2) b1))) (/.f64 (cbrt.f64 (/.f64 (*.f64 a1 a2) b1)) b2)))> #<alt (λ (a1 a2 b1 b2) (*.f64 (sqrt.f64 (/.f64 (*.f64 a1 a2) b1)) (/.f64 (sqrt.f64 (/.f64 (*.f64 a1 a2) b1)) b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 (/.f64 (*.f64 a1 a2) b2) b1))> #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a2 (/.f64 a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 a1 (/.f64 b1 a2)) (/.f64 1 b2)))>)
1.729 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<=.f64 (*.f64 a1 a2) -1.824827973319818e+202) (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))) (if (<=.f64 (*.f64 a1 a2) -3.8638100840414836e-76) (/.f64 (/.f64 (*.f64 a1 a2) b2) b1) (if (<=.f64 (*.f64 a1 a2) 0.0) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))) (if (<=.f64 (*.f64 a1 a2) 6.994370282012423e+231) (*.f64 (*.f64 (cbrt.f64 (/.f64 (*.f64 a1 a2) b1)) (cbrt.f64 (/.f64 (*.f64 a1 a2) b1))) (/.f64 (cbrt.f64 (/.f64 (*.f64 a1 a2) b1)) b2)) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2)))))))
1.730 * * [simplify]: iteration  0 :  37  enodes  (cost  68 )
1.731 * * [simplify]: iteration  1 :  37  enodes  (cost  68 )
1.731 * [simplify]: Simplified to:
   (if (<=.f64 (*.f64 a1 a2) -1.824827973319818e+202) (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))) (if (<=.f64 (*.f64 a1 a2) -3.8638100840414836e-76) (/.f64 (/.f64 (*.f64 a1 a2) b2) b1) (if (or (<=.f64 (*.f64 a1 a2) 0.0) (not (<=.f64 (*.f64 a1 a2) 6.994370282012423e+231))) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))) (*.f64 (*.f64 (cbrt.f64 (/.f64 (*.f64 a1 a2) b1)) (cbrt.f64 (/.f64 (*.f64 a1 a2) b1))) (/.f64 (cbrt.f64 (/.f64 (*.f64 a1 a2) b1)) b2)))))
3.164 * [regime-testing]: End program error score: 6.549361462412863
3.258 * [regime-testing]: Target error score: 11.284373798460669