17.607 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.806 * * * [progress]: [2/2] Setting up program.
0.810 * [progress]: [Phase 2 of 3] Improving.
0.810 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
0.816 * * [simplify]: iteration  0 :  67  enodes  (cost  7 )
0.816 * * [simplify]: iteration  1 :  67  enodes  (cost  7 )
0.816 * [simplify]: Simplified to:
   (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
0.816 * * [progress]: iteration 1 / 4
0.816 * * * [progress]: picking best candidate
0.819 * * * * [pick]: Picked  #<alt (λ (a1 a2 b1 b2) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))>
0.819 * * * [progress]: localizing error
0.825 * * * [progress]: generating rewritten candidates
0.825 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.831 * * * [progress]: generating series expansions
0.831 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.832 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (a1 a2 b1 b2) around 0
0.832 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2
0.832 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.832 * [taylor]: Taking taylor expansion of a1 in b2
0.832 * [taylor]: Taking taylor expansion of a2 in b2
0.832 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.832 * [taylor]: Taking taylor expansion of b1 in b2
0.832 * [taylor]: Taking taylor expansion of b2 in b2
0.832 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1
0.832 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.832 * [taylor]: Taking taylor expansion of a1 in b1
0.832 * [taylor]: Taking taylor expansion of a2 in b1
0.832 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.832 * [taylor]: Taking taylor expansion of b1 in b1
0.832 * [taylor]: Taking taylor expansion of b2 in b1
0.832 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
0.832 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.832 * [taylor]: Taking taylor expansion of a1 in a2
0.832 * [taylor]: Taking taylor expansion of a2 in a2
0.832 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.832 * [taylor]: Taking taylor expansion of b1 in a2
0.832 * [taylor]: Taking taylor expansion of b2 in a2
0.832 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
0.832 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.832 * [taylor]: Taking taylor expansion of a1 in a1
0.832 * [taylor]: Taking taylor expansion of a2 in a1
0.832 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.832 * [taylor]: Taking taylor expansion of b1 in a1
0.832 * [taylor]: Taking taylor expansion of b2 in a1
0.832 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
0.832 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.832 * [taylor]: Taking taylor expansion of a1 in a1
0.832 * [taylor]: Taking taylor expansion of a2 in a1
0.832 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.832 * [taylor]: Taking taylor expansion of b1 in a1
0.832 * [taylor]: Taking taylor expansion of b2 in a1
0.833 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2
0.833 * [taylor]: Taking taylor expansion of a2 in a2
0.833 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.833 * [taylor]: Taking taylor expansion of b1 in a2
0.833 * [taylor]: Taking taylor expansion of b2 in a2
0.833 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1
0.833 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.833 * [taylor]: Taking taylor expansion of b1 in b1
0.833 * [taylor]: Taking taylor expansion of b2 in b1
0.833 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
0.833 * [taylor]: Taking taylor expansion of b2 in b2
0.833 * [taylor]: Taking taylor expansion of 0 in a2
0.833 * [taylor]: Taking taylor expansion of 0 in b1
0.834 * [taylor]: Taking taylor expansion of 0 in b1
0.834 * [taylor]: Taking taylor expansion of 0 in b2
0.834 * [taylor]: Taking taylor expansion of 0 in a2
0.834 * [taylor]: Taking taylor expansion of 0 in b1
0.834 * [taylor]: Taking taylor expansion of 0 in b1
0.834 * [taylor]: Taking taylor expansion of 0 in b1
0.834 * [taylor]: Taking taylor expansion of 0 in b2
0.835 * [taylor]: Taking taylor expansion of 0 in b2
0.835 * [taylor]: Taking taylor expansion of 0 in b2
0.835 * [taylor]: Taking taylor expansion of 0 in a2
0.835 * [taylor]: Taking taylor expansion of 0 in b1
0.835 * [taylor]: Taking taylor expansion of 0 in b1
0.835 * [taylor]: Taking taylor expansion of 0 in b1
0.835 * [taylor]: Taking taylor expansion of 0 in b1
0.835 * [taylor]: Taking taylor expansion of 0 in b2
0.835 * [taylor]: Taking taylor expansion of 0 in b2
0.835 * [taylor]: Taking taylor expansion of 0 in b2
0.835 * [taylor]: Taking taylor expansion of 0 in b2
0.835 * [taylor]: Taking taylor expansion of 0 in b2
0.836 * [taylor]: Taking taylor expansion of 0 in b2
0.836 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 a2 b1 b2) around 0
0.836 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.836 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.836 * [taylor]: Taking taylor expansion of b1 in b2
0.836 * [taylor]: Taking taylor expansion of b2 in b2
0.836 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.836 * [taylor]: Taking taylor expansion of a1 in b2
0.836 * [taylor]: Taking taylor expansion of a2 in b2
0.836 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.836 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.836 * [taylor]: Taking taylor expansion of b1 in b1
0.836 * [taylor]: Taking taylor expansion of b2 in b1
0.836 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.836 * [taylor]: Taking taylor expansion of a1 in b1
0.836 * [taylor]: Taking taylor expansion of a2 in b1
0.836 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.836 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.836 * [taylor]: Taking taylor expansion of b1 in a2
0.836 * [taylor]: Taking taylor expansion of b2 in a2
0.836 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.836 * [taylor]: Taking taylor expansion of a1 in a2
0.836 * [taylor]: Taking taylor expansion of a2 in a2
0.836 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.836 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.836 * [taylor]: Taking taylor expansion of b1 in a1
0.837 * [taylor]: Taking taylor expansion of b2 in a1
0.837 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.837 * [taylor]: Taking taylor expansion of a1 in a1
0.837 * [taylor]: Taking taylor expansion of a2 in a1
0.837 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.837 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.837 * [taylor]: Taking taylor expansion of b1 in a1
0.837 * [taylor]: Taking taylor expansion of b2 in a1
0.837 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.837 * [taylor]: Taking taylor expansion of a1 in a1
0.837 * [taylor]: Taking taylor expansion of a2 in a1
0.837 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
0.837 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.837 * [taylor]: Taking taylor expansion of b1 in a2
0.837 * [taylor]: Taking taylor expansion of b2 in a2
0.837 * [taylor]: Taking taylor expansion of a2 in a2
0.837 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.837 * [taylor]: Taking taylor expansion of b1 in b1
0.837 * [taylor]: Taking taylor expansion of b2 in b1
0.837 * [taylor]: Taking taylor expansion of b2 in b2
0.837 * [taylor]: Taking taylor expansion of 0 in a2
0.837 * [taylor]: Taking taylor expansion of 0 in b1
0.837 * [taylor]: Taking taylor expansion of 0 in b2
0.837 * [taylor]: Taking taylor expansion of 0 in b2
0.838 * [taylor]: Taking taylor expansion of 0 in a2
0.838 * [taylor]: Taking taylor expansion of 0 in b1
0.838 * [taylor]: Taking taylor expansion of 0 in b2
0.838 * [taylor]: Taking taylor expansion of 0 in b1
0.838 * [taylor]: Taking taylor expansion of 0 in b2
0.838 * [taylor]: Taking taylor expansion of 0 in b2
0.838 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 a2 b1 b2) around 0
0.838 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.838 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.838 * [taylor]: Taking taylor expansion of b1 in b2
0.838 * [taylor]: Taking taylor expansion of b2 in b2
0.838 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.838 * [taylor]: Taking taylor expansion of a1 in b2
0.838 * [taylor]: Taking taylor expansion of a2 in b2
0.838 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.838 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.838 * [taylor]: Taking taylor expansion of b1 in b1
0.838 * [taylor]: Taking taylor expansion of b2 in b1
0.838 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.839 * [taylor]: Taking taylor expansion of a1 in b1
0.839 * [taylor]: Taking taylor expansion of a2 in b1
0.839 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.839 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.839 * [taylor]: Taking taylor expansion of b1 in a2
0.839 * [taylor]: Taking taylor expansion of b2 in a2
0.839 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.839 * [taylor]: Taking taylor expansion of a1 in a2
0.839 * [taylor]: Taking taylor expansion of a2 in a2
0.839 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.839 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.839 * [taylor]: Taking taylor expansion of b1 in a1
0.839 * [taylor]: Taking taylor expansion of b2 in a1
0.839 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.839 * [taylor]: Taking taylor expansion of a1 in a1
0.839 * [taylor]: Taking taylor expansion of a2 in a1
0.839 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.839 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.839 * [taylor]: Taking taylor expansion of b1 in a1
0.839 * [taylor]: Taking taylor expansion of b2 in a1
0.839 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.839 * [taylor]: Taking taylor expansion of a1 in a1
0.839 * [taylor]: Taking taylor expansion of a2 in a1
0.839 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
0.839 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.839 * [taylor]: Taking taylor expansion of b1 in a2
0.839 * [taylor]: Taking taylor expansion of b2 in a2
0.839 * [taylor]: Taking taylor expansion of a2 in a2
0.839 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.839 * [taylor]: Taking taylor expansion of b1 in b1
0.839 * [taylor]: Taking taylor expansion of b2 in b1
0.839 * [taylor]: Taking taylor expansion of b2 in b2
0.840 * [taylor]: Taking taylor expansion of 0 in a2
0.840 * [taylor]: Taking taylor expansion of 0 in b1
0.840 * [taylor]: Taking taylor expansion of 0 in b2
0.840 * [taylor]: Taking taylor expansion of 0 in b2
0.840 * [taylor]: Taking taylor expansion of 0 in a2
0.840 * [taylor]: Taking taylor expansion of 0 in b1
0.840 * [taylor]: Taking taylor expansion of 0 in b2
0.840 * [taylor]: Taking taylor expansion of 0 in b1
0.840 * [taylor]: Taking taylor expansion of 0 in b2
0.840 * [taylor]: Taking taylor expansion of 0 in b2
0.840 * * * [progress]: simplifying candidates
0.841 * [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.892 * * [simplify]: iteration  0 :  5102  enodes  (cost  191 )
0.893 * [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.893 * * * [progress]: adding candidates to table
0.912 * * [progress]: iteration 2 / 4
0.912 * * * [progress]: picking best candidate
0.931 * * * * [pick]: Picked  #<alt (λ (a1 a2 b1 b2) (*.f64 (*.f64 a1 a2) (/.f64 1 (*.f64 b1 b2))))>
0.932 * * * [progress]: localizing error
0.938 * * * [progress]: generating rewritten candidates
0.938 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.947 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.954 * * * [progress]: generating series expansions
0.954 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.954 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (a1 a2 b1 b2) around 0
0.954 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2
0.955 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.955 * [taylor]: Taking taylor expansion of a1 in b2
0.955 * [taylor]: Taking taylor expansion of a2 in b2
0.955 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.955 * [taylor]: Taking taylor expansion of b1 in b2
0.955 * [taylor]: Taking taylor expansion of b2 in b2
0.955 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1
0.955 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.955 * [taylor]: Taking taylor expansion of a1 in b1
0.955 * [taylor]: Taking taylor expansion of a2 in b1
0.955 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.955 * [taylor]: Taking taylor expansion of b1 in b1
0.955 * [taylor]: Taking taylor expansion of b2 in b1
0.955 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
0.955 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.955 * [taylor]: Taking taylor expansion of a1 in a2
0.955 * [taylor]: Taking taylor expansion of a2 in a2
0.955 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.955 * [taylor]: Taking taylor expansion of b1 in a2
0.955 * [taylor]: Taking taylor expansion of b2 in a2
0.955 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
0.955 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.955 * [taylor]: Taking taylor expansion of a1 in a1
0.955 * [taylor]: Taking taylor expansion of a2 in a1
0.955 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.955 * [taylor]: Taking taylor expansion of b1 in a1
0.955 * [taylor]: Taking taylor expansion of b2 in a1
0.955 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
0.955 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.955 * [taylor]: Taking taylor expansion of a1 in a1
0.955 * [taylor]: Taking taylor expansion of a2 in a1
0.955 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.955 * [taylor]: Taking taylor expansion of b1 in a1
0.955 * [taylor]: Taking taylor expansion of b2 in a1
0.956 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2
0.956 * [taylor]: Taking taylor expansion of a2 in a2
0.956 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.956 * [taylor]: Taking taylor expansion of b1 in a2
0.956 * [taylor]: Taking taylor expansion of b2 in a2
0.956 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1
0.956 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.956 * [taylor]: Taking taylor expansion of b1 in b1
0.956 * [taylor]: Taking taylor expansion of b2 in b1
0.956 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
0.956 * [taylor]: Taking taylor expansion of b2 in b2
0.956 * [taylor]: Taking taylor expansion of 0 in a2
0.956 * [taylor]: Taking taylor expansion of 0 in b1
0.956 * [taylor]: Taking taylor expansion of 0 in b1
0.956 * [taylor]: Taking taylor expansion of 0 in b2
0.957 * [taylor]: Taking taylor expansion of 0 in a2
0.957 * [taylor]: Taking taylor expansion of 0 in b1
0.957 * [taylor]: Taking taylor expansion of 0 in b1
0.957 * [taylor]: Taking taylor expansion of 0 in b1
0.957 * [taylor]: Taking taylor expansion of 0 in b2
0.957 * [taylor]: Taking taylor expansion of 0 in b2
0.957 * [taylor]: Taking taylor expansion of 0 in b2
0.957 * [taylor]: Taking taylor expansion of 0 in a2
0.957 * [taylor]: Taking taylor expansion of 0 in b1
0.957 * [taylor]: Taking taylor expansion of 0 in b1
0.957 * [taylor]: Taking taylor expansion of 0 in b1
0.958 * [taylor]: Taking taylor expansion of 0 in b1
0.958 * [taylor]: Taking taylor expansion of 0 in b2
0.958 * [taylor]: Taking taylor expansion of 0 in b2
0.958 * [taylor]: Taking taylor expansion of 0 in b2
0.958 * [taylor]: Taking taylor expansion of 0 in b2
0.958 * [taylor]: Taking taylor expansion of 0 in b2
0.958 * [taylor]: Taking taylor expansion of 0 in b2
0.958 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 a2 b1 b2) around 0
0.958 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.958 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.958 * [taylor]: Taking taylor expansion of b1 in b2
0.958 * [taylor]: Taking taylor expansion of b2 in b2
0.958 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.958 * [taylor]: Taking taylor expansion of a1 in b2
0.958 * [taylor]: Taking taylor expansion of a2 in b2
0.958 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.958 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.958 * [taylor]: Taking taylor expansion of b1 in b1
0.958 * [taylor]: Taking taylor expansion of b2 in b1
0.958 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.958 * [taylor]: Taking taylor expansion of a1 in b1
0.958 * [taylor]: Taking taylor expansion of a2 in b1
0.959 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.959 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.959 * [taylor]: Taking taylor expansion of b1 in a2
0.959 * [taylor]: Taking taylor expansion of b2 in a2
0.959 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.959 * [taylor]: Taking taylor expansion of a1 in a2
0.959 * [taylor]: Taking taylor expansion of a2 in a2
0.959 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.959 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.959 * [taylor]: Taking taylor expansion of b1 in a1
0.959 * [taylor]: Taking taylor expansion of b2 in a1
0.959 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.959 * [taylor]: Taking taylor expansion of a1 in a1
0.959 * [taylor]: Taking taylor expansion of a2 in a1
0.959 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.959 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.959 * [taylor]: Taking taylor expansion of b1 in a1
0.959 * [taylor]: Taking taylor expansion of b2 in a1
0.959 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.959 * [taylor]: Taking taylor expansion of a1 in a1
0.959 * [taylor]: Taking taylor expansion of a2 in a1
0.959 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
0.959 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.959 * [taylor]: Taking taylor expansion of b1 in a2
0.959 * [taylor]: Taking taylor expansion of b2 in a2
0.959 * [taylor]: Taking taylor expansion of a2 in a2
0.959 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.959 * [taylor]: Taking taylor expansion of b1 in b1
0.959 * [taylor]: Taking taylor expansion of b2 in b1
0.959 * [taylor]: Taking taylor expansion of b2 in b2
0.960 * [taylor]: Taking taylor expansion of 0 in a2
0.960 * [taylor]: Taking taylor expansion of 0 in b1
0.960 * [taylor]: Taking taylor expansion of 0 in b2
0.960 * [taylor]: Taking taylor expansion of 0 in b2
0.960 * [taylor]: Taking taylor expansion of 0 in a2
0.960 * [taylor]: Taking taylor expansion of 0 in b1
0.960 * [taylor]: Taking taylor expansion of 0 in b2
0.960 * [taylor]: Taking taylor expansion of 0 in b1
0.960 * [taylor]: Taking taylor expansion of 0 in b2
0.960 * [taylor]: Taking taylor expansion of 0 in b2
0.960 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 a2 b1 b2) around 0
0.960 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.961 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.961 * [taylor]: Taking taylor expansion of b1 in b2
0.961 * [taylor]: Taking taylor expansion of b2 in b2
0.961 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.961 * [taylor]: Taking taylor expansion of a1 in b2
0.961 * [taylor]: Taking taylor expansion of a2 in b2
0.961 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.961 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.961 * [taylor]: Taking taylor expansion of b1 in b1
0.961 * [taylor]: Taking taylor expansion of b2 in b1
0.961 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.961 * [taylor]: Taking taylor expansion of a1 in b1
0.961 * [taylor]: Taking taylor expansion of a2 in b1
0.961 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.961 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.961 * [taylor]: Taking taylor expansion of b1 in a2
0.961 * [taylor]: Taking taylor expansion of b2 in a2
0.961 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.961 * [taylor]: Taking taylor expansion of a1 in a2
0.961 * [taylor]: Taking taylor expansion of a2 in a2
0.961 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.961 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.961 * [taylor]: Taking taylor expansion of b1 in a1
0.961 * [taylor]: Taking taylor expansion of b2 in a1
0.961 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.961 * [taylor]: Taking taylor expansion of a1 in a1
0.961 * [taylor]: Taking taylor expansion of a2 in a1
0.961 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.961 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.961 * [taylor]: Taking taylor expansion of b1 in a1
0.961 * [taylor]: Taking taylor expansion of b2 in a1
0.961 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.961 * [taylor]: Taking taylor expansion of a1 in a1
0.961 * [taylor]: Taking taylor expansion of a2 in a1
0.961 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
0.961 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.961 * [taylor]: Taking taylor expansion of b1 in a2
0.962 * [taylor]: Taking taylor expansion of b2 in a2
0.962 * [taylor]: Taking taylor expansion of a2 in a2
0.962 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.962 * [taylor]: Taking taylor expansion of b1 in b1
0.962 * [taylor]: Taking taylor expansion of b2 in b1
0.962 * [taylor]: Taking taylor expansion of b2 in b2
0.962 * [taylor]: Taking taylor expansion of 0 in a2
0.962 * [taylor]: Taking taylor expansion of 0 in b1
0.962 * [taylor]: Taking taylor expansion of 0 in b2
0.962 * [taylor]: Taking taylor expansion of 0 in b2
0.962 * [taylor]: Taking taylor expansion of 0 in a2
0.962 * [taylor]: Taking taylor expansion of 0 in b1
0.962 * [taylor]: Taking taylor expansion of 0 in b2
0.962 * [taylor]: Taking taylor expansion of 0 in b1
0.962 * [taylor]: Taking taylor expansion of 0 in b2
0.962 * [taylor]: Taking taylor expansion of 0 in b2
0.963 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.963 * [approximate]: Taking taylor expansion of (/ 1 (* b1 b2)) in (b1 b2) around 0
0.963 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b2
0.963 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.963 * [taylor]: Taking taylor expansion of b1 in b2
0.963 * [taylor]: Taking taylor expansion of b2 in b2
0.963 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1
0.963 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.963 * [taylor]: Taking taylor expansion of b1 in b1
0.963 * [taylor]: Taking taylor expansion of b2 in b1
0.963 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1
0.963 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.963 * [taylor]: Taking taylor expansion of b1 in b1
0.963 * [taylor]: Taking taylor expansion of b2 in b1
0.963 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
0.963 * [taylor]: Taking taylor expansion of b2 in b2
0.963 * [taylor]: Taking taylor expansion of 0 in b2
0.963 * [taylor]: Taking taylor expansion of 0 in b2
0.964 * [taylor]: Taking taylor expansion of 0 in b2
0.964 * [approximate]: Taking taylor expansion of (* b1 b2) in (b1 b2) around 0
0.964 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.964 * [taylor]: Taking taylor expansion of b1 in b2
0.964 * [taylor]: Taking taylor expansion of b2 in b2
0.964 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.964 * [taylor]: Taking taylor expansion of b1 in b1
0.964 * [taylor]: Taking taylor expansion of b2 in b1
0.964 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.964 * [taylor]: Taking taylor expansion of b1 in b1
0.964 * [taylor]: Taking taylor expansion of b2 in b1
0.964 * [taylor]: Taking taylor expansion of 0 in b2
0.964 * [taylor]: Taking taylor expansion of b2 in b2
0.964 * [taylor]: Taking taylor expansion of 0 in b2
0.964 * [taylor]: Taking taylor expansion of 0 in b2
0.964 * [taylor]: Taking taylor expansion of 0 in b2
0.965 * [approximate]: Taking taylor expansion of (* b1 b2) in (b1 b2) around 0
0.965 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.965 * [taylor]: Taking taylor expansion of b1 in b2
0.965 * [taylor]: Taking taylor expansion of b2 in b2
0.965 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.965 * [taylor]: Taking taylor expansion of b1 in b1
0.965 * [taylor]: Taking taylor expansion of b2 in b1
0.965 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.965 * [taylor]: Taking taylor expansion of b1 in b1
0.965 * [taylor]: Taking taylor expansion of b2 in b1
0.965 * [taylor]: Taking taylor expansion of 0 in b2
0.965 * [taylor]: Taking taylor expansion of b2 in b2
0.965 * [taylor]: Taking taylor expansion of 0 in b2
0.965 * [taylor]: Taking taylor expansion of 0 in b2
0.965 * [taylor]: Taking taylor expansion of 0 in b2
0.965 * * * [progress]: simplifying candidates
0.966 * [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))
1.014 * * [simplify]: iteration  0 :  4999  enodes  (cost  490 )
1.015 * * [simplify]: iteration  1 :  4999  enodes  (cost  490 )
1.017 * [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))
1.018 * * * [progress]: adding candidates to table
1.051 * * [progress]: iteration 3 / 4
1.051 * * * [progress]: picking best candidate
1.069 * * * * [pick]: Picked  #<alt (λ (a1 a2 b1 b2) (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))))>
1.070 * * * [progress]: localizing error
1.075 * * * [progress]: generating rewritten candidates
1.075 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
1.082 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
1.087 * * * [progress]: generating series expansions
1.088 * * * * [progress]: [ 1 / 2 ] generating series at (2)
1.088 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (a1 a2 b1 b2) around 0
1.088 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2
1.088 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
1.088 * [taylor]: Taking taylor expansion of a1 in b2
1.088 * [taylor]: Taking taylor expansion of a2 in b2
1.088 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.088 * [taylor]: Taking taylor expansion of b1 in b2
1.088 * [taylor]: Taking taylor expansion of b2 in b2
1.088 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1
1.088 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.088 * [taylor]: Taking taylor expansion of a1 in b1
1.088 * [taylor]: Taking taylor expansion of a2 in b1
1.088 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.088 * [taylor]: Taking taylor expansion of b1 in b1
1.088 * [taylor]: Taking taylor expansion of b2 in b1
1.088 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
1.088 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.088 * [taylor]: Taking taylor expansion of a1 in a2
1.088 * [taylor]: Taking taylor expansion of a2 in a2
1.088 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.088 * [taylor]: Taking taylor expansion of b1 in a2
1.088 * [taylor]: Taking taylor expansion of b2 in a2
1.088 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
1.088 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.088 * [taylor]: Taking taylor expansion of a1 in a1
1.088 * [taylor]: Taking taylor expansion of a2 in a1
1.088 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.088 * [taylor]: Taking taylor expansion of b1 in a1
1.088 * [taylor]: Taking taylor expansion of b2 in a1
1.089 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
1.089 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.089 * [taylor]: Taking taylor expansion of a1 in a1
1.089 * [taylor]: Taking taylor expansion of a2 in a1
1.089 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.089 * [taylor]: Taking taylor expansion of b1 in a1
1.089 * [taylor]: Taking taylor expansion of b2 in a1
1.089 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2
1.089 * [taylor]: Taking taylor expansion of a2 in a2
1.089 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.089 * [taylor]: Taking taylor expansion of b1 in a2
1.089 * [taylor]: Taking taylor expansion of b2 in a2
1.089 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1
1.089 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.089 * [taylor]: Taking taylor expansion of b1 in b1
1.089 * [taylor]: Taking taylor expansion of b2 in b1
1.089 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
1.089 * [taylor]: Taking taylor expansion of b2 in b2
1.089 * [taylor]: Taking taylor expansion of 0 in a2
1.089 * [taylor]: Taking taylor expansion of 0 in b1
1.089 * [taylor]: Taking taylor expansion of 0 in b1
1.089 * [taylor]: Taking taylor expansion of 0 in b2
1.090 * [taylor]: Taking taylor expansion of 0 in a2
1.090 * [taylor]: Taking taylor expansion of 0 in b1
1.090 * [taylor]: Taking taylor expansion of 0 in b1
1.090 * [taylor]: Taking taylor expansion of 0 in b1
1.090 * [taylor]: Taking taylor expansion of 0 in b2
1.090 * [taylor]: Taking taylor expansion of 0 in b2
1.090 * [taylor]: Taking taylor expansion of 0 in b2
1.090 * [taylor]: Taking taylor expansion of 0 in a2
1.090 * [taylor]: Taking taylor expansion of 0 in b1
1.091 * [taylor]: Taking taylor expansion of 0 in b1
1.091 * [taylor]: Taking taylor expansion of 0 in b1
1.091 * [taylor]: Taking taylor expansion of 0 in b1
1.091 * [taylor]: Taking taylor expansion of 0 in b2
1.091 * [taylor]: Taking taylor expansion of 0 in b2
1.091 * [taylor]: Taking taylor expansion of 0 in b2
1.091 * [taylor]: Taking taylor expansion of 0 in b2
1.091 * [taylor]: Taking taylor expansion of 0 in b2
1.091 * [taylor]: Taking taylor expansion of 0 in b2
1.091 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 a2 b1 b2) around 0
1.091 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
1.091 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.091 * [taylor]: Taking taylor expansion of b1 in b2
1.091 * [taylor]: Taking taylor expansion of b2 in b2
1.091 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
1.091 * [taylor]: Taking taylor expansion of a1 in b2
1.091 * [taylor]: Taking taylor expansion of a2 in b2
1.092 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
1.092 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.092 * [taylor]: Taking taylor expansion of b1 in b1
1.092 * [taylor]: Taking taylor expansion of b2 in b1
1.092 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.092 * [taylor]: Taking taylor expansion of a1 in b1
1.092 * [taylor]: Taking taylor expansion of a2 in b1
1.092 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
1.092 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.092 * [taylor]: Taking taylor expansion of b1 in a2
1.092 * [taylor]: Taking taylor expansion of b2 in a2
1.092 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.092 * [taylor]: Taking taylor expansion of a1 in a2
1.092 * [taylor]: Taking taylor expansion of a2 in a2
1.092 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
1.092 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.092 * [taylor]: Taking taylor expansion of b1 in a1
1.092 * [taylor]: Taking taylor expansion of b2 in a1
1.092 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.092 * [taylor]: Taking taylor expansion of a1 in a1
1.092 * [taylor]: Taking taylor expansion of a2 in a1
1.092 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
1.092 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.092 * [taylor]: Taking taylor expansion of b1 in a1
1.092 * [taylor]: Taking taylor expansion of b2 in a1
1.092 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.092 * [taylor]: Taking taylor expansion of a1 in a1
1.092 * [taylor]: Taking taylor expansion of a2 in a1
1.092 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
1.092 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.092 * [taylor]: Taking taylor expansion of b1 in a2
1.092 * [taylor]: Taking taylor expansion of b2 in a2
1.092 * [taylor]: Taking taylor expansion of a2 in a2
1.092 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.092 * [taylor]: Taking taylor expansion of b1 in b1
1.092 * [taylor]: Taking taylor expansion of b2 in b1
1.093 * [taylor]: Taking taylor expansion of b2 in b2
1.093 * [taylor]: Taking taylor expansion of 0 in a2
1.093 * [taylor]: Taking taylor expansion of 0 in b1
1.093 * [taylor]: Taking taylor expansion of 0 in b2
1.093 * [taylor]: Taking taylor expansion of 0 in b2
1.093 * [taylor]: Taking taylor expansion of 0 in a2
1.093 * [taylor]: Taking taylor expansion of 0 in b1
1.093 * [taylor]: Taking taylor expansion of 0 in b2
1.093 * [taylor]: Taking taylor expansion of 0 in b1
1.093 * [taylor]: Taking taylor expansion of 0 in b2
1.093 * [taylor]: Taking taylor expansion of 0 in b2
1.094 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 a2 b1 b2) around 0
1.094 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
1.094 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.094 * [taylor]: Taking taylor expansion of b1 in b2
1.094 * [taylor]: Taking taylor expansion of b2 in b2
1.094 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
1.094 * [taylor]: Taking taylor expansion of a1 in b2
1.094 * [taylor]: Taking taylor expansion of a2 in b2
1.094 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
1.094 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.094 * [taylor]: Taking taylor expansion of b1 in b1
1.094 * [taylor]: Taking taylor expansion of b2 in b1
1.094 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.094 * [taylor]: Taking taylor expansion of a1 in b1
1.094 * [taylor]: Taking taylor expansion of a2 in b1
1.094 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
1.094 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.094 * [taylor]: Taking taylor expansion of b1 in a2
1.094 * [taylor]: Taking taylor expansion of b2 in a2
1.094 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.094 * [taylor]: Taking taylor expansion of a1 in a2
1.094 * [taylor]: Taking taylor expansion of a2 in a2
1.094 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
1.094 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.094 * [taylor]: Taking taylor expansion of b1 in a1
1.094 * [taylor]: Taking taylor expansion of b2 in a1
1.094 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.094 * [taylor]: Taking taylor expansion of a1 in a1
1.094 * [taylor]: Taking taylor expansion of a2 in a1
1.094 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
1.094 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.094 * [taylor]: Taking taylor expansion of b1 in a1
1.094 * [taylor]: Taking taylor expansion of b2 in a1
1.095 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.095 * [taylor]: Taking taylor expansion of a1 in a1
1.095 * [taylor]: Taking taylor expansion of a2 in a1
1.095 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
1.095 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.095 * [taylor]: Taking taylor expansion of b1 in a2
1.095 * [taylor]: Taking taylor expansion of b2 in a2
1.095 * [taylor]: Taking taylor expansion of a2 in a2
1.095 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.095 * [taylor]: Taking taylor expansion of b1 in b1
1.095 * [taylor]: Taking taylor expansion of b2 in b1
1.095 * [taylor]: Taking taylor expansion of b2 in b2
1.095 * [taylor]: Taking taylor expansion of 0 in a2
1.095 * [taylor]: Taking taylor expansion of 0 in b1
1.095 * [taylor]: Taking taylor expansion of 0 in b2
1.095 * [taylor]: Taking taylor expansion of 0 in b2
1.095 * [taylor]: Taking taylor expansion of 0 in a2
1.095 * [taylor]: Taking taylor expansion of 0 in b1
1.096 * [taylor]: Taking taylor expansion of 0 in b2
1.096 * [taylor]: Taking taylor expansion of 0 in b1
1.096 * [taylor]: Taking taylor expansion of 0 in b2
1.096 * [taylor]: Taking taylor expansion of 0 in b2
1.096 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
1.096 * [approximate]: Taking taylor expansion of (/ a2 (* b1 b2)) in (a2 b1 b2) around 0
1.096 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b2
1.096 * [taylor]: Taking taylor expansion of a2 in b2
1.096 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.096 * [taylor]: Taking taylor expansion of b1 in b2
1.096 * [taylor]: Taking taylor expansion of b2 in b2
1.096 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b1
1.096 * [taylor]: Taking taylor expansion of a2 in b1
1.096 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.096 * [taylor]: Taking taylor expansion of b1 in b1
1.096 * [taylor]: Taking taylor expansion of b2 in b1
1.096 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2
1.096 * [taylor]: Taking taylor expansion of a2 in a2
1.096 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.096 * [taylor]: Taking taylor expansion of b1 in a2
1.096 * [taylor]: Taking taylor expansion of b2 in a2
1.096 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2
1.096 * [taylor]: Taking taylor expansion of a2 in a2
1.096 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.096 * [taylor]: Taking taylor expansion of b1 in a2
1.096 * [taylor]: Taking taylor expansion of b2 in a2
1.097 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1
1.097 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.097 * [taylor]: Taking taylor expansion of b1 in b1
1.097 * [taylor]: Taking taylor expansion of b2 in b1
1.097 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
1.097 * [taylor]: Taking taylor expansion of b2 in b2
1.097 * [taylor]: Taking taylor expansion of 0 in b1
1.097 * [taylor]: Taking taylor expansion of 0 in b2
1.097 * [taylor]: Taking taylor expansion of 0 in b1
1.097 * [taylor]: Taking taylor expansion of 0 in b2
1.097 * [taylor]: Taking taylor expansion of 0 in b2
1.098 * [taylor]: Taking taylor expansion of 0 in b1
1.098 * [taylor]: Taking taylor expansion of 0 in b2
1.098 * [taylor]: Taking taylor expansion of 0 in b2
1.098 * [taylor]: Taking taylor expansion of 0 in b2
1.098 * [approximate]: Taking taylor expansion of (/ (* b1 b2) a2) in (a2 b1 b2) around 0
1.098 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b2
1.098 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.098 * [taylor]: Taking taylor expansion of b1 in b2
1.098 * [taylor]: Taking taylor expansion of b2 in b2
1.098 * [taylor]: Taking taylor expansion of a2 in b2
1.098 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1
1.098 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.098 * [taylor]: Taking taylor expansion of b1 in b1
1.098 * [taylor]: Taking taylor expansion of b2 in b1
1.098 * [taylor]: Taking taylor expansion of a2 in b1
1.098 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
1.098 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.098 * [taylor]: Taking taylor expansion of b1 in a2
1.098 * [taylor]: Taking taylor expansion of b2 in a2
1.098 * [taylor]: Taking taylor expansion of a2 in a2
1.098 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
1.098 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.098 * [taylor]: Taking taylor expansion of b1 in a2
1.098 * [taylor]: Taking taylor expansion of b2 in a2
1.098 * [taylor]: Taking taylor expansion of a2 in a2
1.099 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.099 * [taylor]: Taking taylor expansion of b1 in b1
1.099 * [taylor]: Taking taylor expansion of b2 in b1
1.099 * [taylor]: Taking taylor expansion of b2 in b2
1.099 * [taylor]: Taking taylor expansion of 0 in b1
1.099 * [taylor]: Taking taylor expansion of 0 in b2
1.099 * [taylor]: Taking taylor expansion of 0 in b2
1.099 * [taylor]: Taking taylor expansion of 0 in b1
1.099 * [taylor]: Taking taylor expansion of 0 in b2
1.099 * [taylor]: Taking taylor expansion of 0 in b2
1.099 * [taylor]: Taking taylor expansion of 0 in b2
1.099 * [approximate]: Taking taylor expansion of (* -1 (/ (* b1 b2) a2)) in (a2 b1 b2) around 0
1.099 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 b2) a2)) in b2
1.099 * [taylor]: Taking taylor expansion of -1 in b2
1.099 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b2
1.099 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.099 * [taylor]: Taking taylor expansion of b1 in b2
1.099 * [taylor]: Taking taylor expansion of b2 in b2
1.099 * [taylor]: Taking taylor expansion of a2 in b2
1.099 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 b2) a2)) in b1
1.100 * [taylor]: Taking taylor expansion of -1 in b1
1.100 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1
1.100 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.100 * [taylor]: Taking taylor expansion of b1 in b1
1.100 * [taylor]: Taking taylor expansion of b2 in b1
1.100 * [taylor]: Taking taylor expansion of a2 in b1
1.100 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 b2) a2)) in a2
1.100 * [taylor]: Taking taylor expansion of -1 in a2
1.100 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
1.100 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.100 * [taylor]: Taking taylor expansion of b1 in a2
1.100 * [taylor]: Taking taylor expansion of b2 in a2
1.100 * [taylor]: Taking taylor expansion of a2 in a2
1.100 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 b2) a2)) in a2
1.100 * [taylor]: Taking taylor expansion of -1 in a2
1.100 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
1.100 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.100 * [taylor]: Taking taylor expansion of b1 in a2
1.100 * [taylor]: Taking taylor expansion of b2 in a2
1.100 * [taylor]: Taking taylor expansion of a2 in a2
1.100 * [taylor]: Taking taylor expansion of (* -1 (* b1 b2)) in b1
1.100 * [taylor]: Taking taylor expansion of -1 in b1
1.100 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.100 * [taylor]: Taking taylor expansion of b1 in b1
1.100 * [taylor]: Taking taylor expansion of b2 in b1
1.100 * [taylor]: Taking taylor expansion of (neg b2) in b2
1.100 * [taylor]: Taking taylor expansion of b2 in b2
1.100 * [taylor]: Taking taylor expansion of 0 in b1
1.100 * [taylor]: Taking taylor expansion of 0 in b2
1.100 * [taylor]: Taking taylor expansion of 0 in b2
1.101 * [taylor]: Taking taylor expansion of 0 in b1
1.101 * [taylor]: Taking taylor expansion of 0 in b2
1.101 * [taylor]: Taking taylor expansion of 0 in b2
1.101 * [taylor]: Taking taylor expansion of 0 in b2
1.101 * * * [progress]: simplifying candidates
1.102 * [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))
1.153 * * [simplify]: iteration  0 :  5070  enodes  (cost  386 )
1.157 * [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))
1.157 * * * [progress]: adding candidates to table
1.188 * * [progress]: iteration 4 / 4
1.188 * * * [progress]: picking best candidate
1.203 * * * * [pick]: Picked  #<alt (λ (a1 a2 b1 b2) (*.f64 (/.f64 (*.f64 a1 a2) b1) (/.f64 1 b2)))>
1.203 * * * [progress]: localizing error
1.209 * * * [progress]: generating rewritten candidates
1.209 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
1.222 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
1.229 * * * [progress]: generating series expansions
1.229 * * * * [progress]: [ 1 / 2 ] generating series at (2)
1.229 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (a1 a2 b1 b2) around 0
1.229 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2
1.229 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
1.229 * [taylor]: Taking taylor expansion of a1 in b2
1.230 * [taylor]: Taking taylor expansion of a2 in b2
1.230 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.230 * [taylor]: Taking taylor expansion of b1 in b2
1.230 * [taylor]: Taking taylor expansion of b2 in b2
1.230 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1
1.230 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.230 * [taylor]: Taking taylor expansion of a1 in b1
1.230 * [taylor]: Taking taylor expansion of a2 in b1
1.230 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.230 * [taylor]: Taking taylor expansion of b1 in b1
1.230 * [taylor]: Taking taylor expansion of b2 in b1
1.230 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
1.230 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.230 * [taylor]: Taking taylor expansion of a1 in a2
1.230 * [taylor]: Taking taylor expansion of a2 in a2
1.230 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.230 * [taylor]: Taking taylor expansion of b1 in a2
1.230 * [taylor]: Taking taylor expansion of b2 in a2
1.230 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
1.230 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.230 * [taylor]: Taking taylor expansion of a1 in a1
1.230 * [taylor]: Taking taylor expansion of a2 in a1
1.230 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.230 * [taylor]: Taking taylor expansion of b1 in a1
1.230 * [taylor]: Taking taylor expansion of b2 in a1
1.230 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
1.230 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.230 * [taylor]: Taking taylor expansion of a1 in a1
1.230 * [taylor]: Taking taylor expansion of a2 in a1
1.230 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.230 * [taylor]: Taking taylor expansion of b1 in a1
1.230 * [taylor]: Taking taylor expansion of b2 in a1
1.230 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2
1.231 * [taylor]: Taking taylor expansion of a2 in a2
1.231 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.231 * [taylor]: Taking taylor expansion of b1 in a2
1.231 * [taylor]: Taking taylor expansion of b2 in a2
1.231 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1
1.231 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.231 * [taylor]: Taking taylor expansion of b1 in b1
1.231 * [taylor]: Taking taylor expansion of b2 in b1
1.231 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
1.231 * [taylor]: Taking taylor expansion of b2 in b2
1.231 * [taylor]: Taking taylor expansion of 0 in a2
1.231 * [taylor]: Taking taylor expansion of 0 in b1
1.231 * [taylor]: Taking taylor expansion of 0 in b1
1.231 * [taylor]: Taking taylor expansion of 0 in b2
1.232 * [taylor]: Taking taylor expansion of 0 in a2
1.232 * [taylor]: Taking taylor expansion of 0 in b1
1.232 * [taylor]: Taking taylor expansion of 0 in b1
1.232 * [taylor]: Taking taylor expansion of 0 in b1
1.232 * [taylor]: Taking taylor expansion of 0 in b2
1.232 * [taylor]: Taking taylor expansion of 0 in b2
1.232 * [taylor]: Taking taylor expansion of 0 in b2
1.232 * [taylor]: Taking taylor expansion of 0 in a2
1.232 * [taylor]: Taking taylor expansion of 0 in b1
1.232 * [taylor]: Taking taylor expansion of 0 in b1
1.232 * [taylor]: Taking taylor expansion of 0 in b1
1.233 * [taylor]: Taking taylor expansion of 0 in b1
1.233 * [taylor]: Taking taylor expansion of 0 in b2
1.233 * [taylor]: Taking taylor expansion of 0 in b2
1.233 * [taylor]: Taking taylor expansion of 0 in b2
1.233 * [taylor]: Taking taylor expansion of 0 in b2
1.233 * [taylor]: Taking taylor expansion of 0 in b2
1.233 * [taylor]: Taking taylor expansion of 0 in b2
1.233 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 a2 b1 b2) around 0
1.233 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
1.233 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.233 * [taylor]: Taking taylor expansion of b1 in b2
1.233 * [taylor]: Taking taylor expansion of b2 in b2
1.233 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
1.233 * [taylor]: Taking taylor expansion of a1 in b2
1.233 * [taylor]: Taking taylor expansion of a2 in b2
1.233 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
1.233 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.233 * [taylor]: Taking taylor expansion of b1 in b1
1.233 * [taylor]: Taking taylor expansion of b2 in b1
1.233 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.233 * [taylor]: Taking taylor expansion of a1 in b1
1.233 * [taylor]: Taking taylor expansion of a2 in b1
1.233 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
1.234 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.234 * [taylor]: Taking taylor expansion of b1 in a2
1.234 * [taylor]: Taking taylor expansion of b2 in a2
1.234 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.234 * [taylor]: Taking taylor expansion of a1 in a2
1.234 * [taylor]: Taking taylor expansion of a2 in a2
1.234 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
1.234 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.234 * [taylor]: Taking taylor expansion of b1 in a1
1.234 * [taylor]: Taking taylor expansion of b2 in a1
1.234 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.234 * [taylor]: Taking taylor expansion of a1 in a1
1.234 * [taylor]: Taking taylor expansion of a2 in a1
1.234 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
1.234 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.234 * [taylor]: Taking taylor expansion of b1 in a1
1.234 * [taylor]: Taking taylor expansion of b2 in a1
1.234 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.234 * [taylor]: Taking taylor expansion of a1 in a1
1.234 * [taylor]: Taking taylor expansion of a2 in a1
1.234 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
1.234 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.234 * [taylor]: Taking taylor expansion of b1 in a2
1.234 * [taylor]: Taking taylor expansion of b2 in a2
1.234 * [taylor]: Taking taylor expansion of a2 in a2
1.234 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.234 * [taylor]: Taking taylor expansion of b1 in b1
1.234 * [taylor]: Taking taylor expansion of b2 in b1
1.234 * [taylor]: Taking taylor expansion of b2 in b2
1.234 * [taylor]: Taking taylor expansion of 0 in a2
1.235 * [taylor]: Taking taylor expansion of 0 in b1
1.235 * [taylor]: Taking taylor expansion of 0 in b2
1.235 * [taylor]: Taking taylor expansion of 0 in b2
1.235 * [taylor]: Taking taylor expansion of 0 in a2
1.235 * [taylor]: Taking taylor expansion of 0 in b1
1.235 * [taylor]: Taking taylor expansion of 0 in b2
1.235 * [taylor]: Taking taylor expansion of 0 in b1
1.235 * [taylor]: Taking taylor expansion of 0 in b2
1.235 * [taylor]: Taking taylor expansion of 0 in b2
1.235 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 a2 b1 b2) around 0
1.235 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
1.235 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.235 * [taylor]: Taking taylor expansion of b1 in b2
1.235 * [taylor]: Taking taylor expansion of b2 in b2
1.236 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
1.236 * [taylor]: Taking taylor expansion of a1 in b2
1.236 * [taylor]: Taking taylor expansion of a2 in b2
1.236 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
1.236 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.236 * [taylor]: Taking taylor expansion of b1 in b1
1.236 * [taylor]: Taking taylor expansion of b2 in b1
1.236 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.236 * [taylor]: Taking taylor expansion of a1 in b1
1.236 * [taylor]: Taking taylor expansion of a2 in b1
1.236 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
1.236 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.236 * [taylor]: Taking taylor expansion of b1 in a2
1.236 * [taylor]: Taking taylor expansion of b2 in a2
1.236 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.236 * [taylor]: Taking taylor expansion of a1 in a2
1.236 * [taylor]: Taking taylor expansion of a2 in a2
1.236 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
1.236 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.236 * [taylor]: Taking taylor expansion of b1 in a1
1.236 * [taylor]: Taking taylor expansion of b2 in a1
1.236 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.236 * [taylor]: Taking taylor expansion of a1 in a1
1.236 * [taylor]: Taking taylor expansion of a2 in a1
1.236 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
1.236 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.236 * [taylor]: Taking taylor expansion of b1 in a1
1.236 * [taylor]: Taking taylor expansion of b2 in a1
1.236 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.236 * [taylor]: Taking taylor expansion of a1 in a1
1.236 * [taylor]: Taking taylor expansion of a2 in a1
1.236 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
1.236 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.236 * [taylor]: Taking taylor expansion of b1 in a2
1.236 * [taylor]: Taking taylor expansion of b2 in a2
1.236 * [taylor]: Taking taylor expansion of a2 in a2
1.237 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.237 * [taylor]: Taking taylor expansion of b1 in b1
1.237 * [taylor]: Taking taylor expansion of b2 in b1
1.237 * [taylor]: Taking taylor expansion of b2 in b2
1.237 * [taylor]: Taking taylor expansion of 0 in a2
1.237 * [taylor]: Taking taylor expansion of 0 in b1
1.237 * [taylor]: Taking taylor expansion of 0 in b2
1.237 * [taylor]: Taking taylor expansion of 0 in b2
1.237 * [taylor]: Taking taylor expansion of 0 in a2
1.237 * [taylor]: Taking taylor expansion of 0 in b1
1.237 * [taylor]: Taking taylor expansion of 0 in b2
1.237 * [taylor]: Taking taylor expansion of 0 in b1
1.237 * [taylor]: Taking taylor expansion of 0 in b2
1.237 * [taylor]: Taking taylor expansion of 0 in b2
1.238 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
1.238 * [approximate]: Taking taylor expansion of (/ (* a1 a2) b1) in (a1 a2 b1) around 0
1.238 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b1) in b1
1.238 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.238 * [taylor]: Taking taylor expansion of a1 in b1
1.238 * [taylor]: Taking taylor expansion of a2 in b1
1.238 * [taylor]: Taking taylor expansion of b1 in b1
1.238 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b1) in a2
1.238 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.238 * [taylor]: Taking taylor expansion of a1 in a2
1.238 * [taylor]: Taking taylor expansion of a2 in a2
1.238 * [taylor]: Taking taylor expansion of b1 in a2
1.238 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b1) in a1
1.238 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.238 * [taylor]: Taking taylor expansion of a1 in a1
1.238 * [taylor]: Taking taylor expansion of a2 in a1
1.238 * [taylor]: Taking taylor expansion of b1 in a1
1.238 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b1) in a1
1.238 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.238 * [taylor]: Taking taylor expansion of a1 in a1
1.238 * [taylor]: Taking taylor expansion of a2 in a1
1.238 * [taylor]: Taking taylor expansion of b1 in a1
1.238 * [taylor]: Taking taylor expansion of (/ a2 b1) in a2
1.238 * [taylor]: Taking taylor expansion of a2 in a2
1.238 * [taylor]: Taking taylor expansion of b1 in a2
1.238 * [taylor]: Taking taylor expansion of (/ 1 b1) in b1
1.238 * [taylor]: Taking taylor expansion of b1 in b1
1.239 * [taylor]: Taking taylor expansion of 0 in a2
1.239 * [taylor]: Taking taylor expansion of 0 in b1
1.239 * [taylor]: Taking taylor expansion of 0 in b1
1.239 * [taylor]: Taking taylor expansion of 0 in a2
1.239 * [taylor]: Taking taylor expansion of 0 in b1
1.239 * [taylor]: Taking taylor expansion of 0 in b1
1.239 * [taylor]: Taking taylor expansion of 0 in b1
1.239 * [taylor]: Taking taylor expansion of 0 in a2
1.239 * [taylor]: Taking taylor expansion of 0 in b1
1.239 * [taylor]: Taking taylor expansion of 0 in b1
1.239 * [taylor]: Taking taylor expansion of 0 in b1
1.239 * [taylor]: Taking taylor expansion of 0 in b1
1.240 * [approximate]: Taking taylor expansion of (/ b1 (* a1 a2)) in (a1 a2 b1) around 0
1.240 * [taylor]: Taking taylor expansion of (/ b1 (* a1 a2)) in b1
1.240 * [taylor]: Taking taylor expansion of b1 in b1
1.240 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.240 * [taylor]: Taking taylor expansion of a1 in b1
1.240 * [taylor]: Taking taylor expansion of a2 in b1
1.240 * [taylor]: Taking taylor expansion of (/ b1 (* a1 a2)) in a2
1.240 * [taylor]: Taking taylor expansion of b1 in a2
1.240 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.240 * [taylor]: Taking taylor expansion of a1 in a2
1.240 * [taylor]: Taking taylor expansion of a2 in a2
1.240 * [taylor]: Taking taylor expansion of (/ b1 (* a1 a2)) in a1
1.240 * [taylor]: Taking taylor expansion of b1 in a1
1.240 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.240 * [taylor]: Taking taylor expansion of a1 in a1
1.240 * [taylor]: Taking taylor expansion of a2 in a1
1.240 * [taylor]: Taking taylor expansion of (/ b1 (* a1 a2)) in a1
1.240 * [taylor]: Taking taylor expansion of b1 in a1
1.240 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.240 * [taylor]: Taking taylor expansion of a1 in a1
1.240 * [taylor]: Taking taylor expansion of a2 in a1
1.240 * [taylor]: Taking taylor expansion of (/ b1 a2) in a2
1.240 * [taylor]: Taking taylor expansion of b1 in a2
1.240 * [taylor]: Taking taylor expansion of a2 in a2
1.240 * [taylor]: Taking taylor expansion of b1 in b1
1.240 * [taylor]: Taking taylor expansion of 0 in a2
1.240 * [taylor]: Taking taylor expansion of 0 in b1
1.241 * [taylor]: Taking taylor expansion of 0 in a2
1.241 * [taylor]: Taking taylor expansion of 0 in b1
1.241 * [taylor]: Taking taylor expansion of 0 in b1
1.241 * [approximate]: Taking taylor expansion of (* -1 (/ b1 (* a1 a2))) in (a1 a2 b1) around 0
1.241 * [taylor]: Taking taylor expansion of (* -1 (/ b1 (* a1 a2))) in b1
1.241 * [taylor]: Taking taylor expansion of -1 in b1
1.241 * [taylor]: Taking taylor expansion of (/ b1 (* a1 a2)) in b1
1.241 * [taylor]: Taking taylor expansion of b1 in b1
1.241 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.241 * [taylor]: Taking taylor expansion of a1 in b1
1.241 * [taylor]: Taking taylor expansion of a2 in b1
1.241 * [taylor]: Taking taylor expansion of (* -1 (/ b1 (* a1 a2))) in a2
1.241 * [taylor]: Taking taylor expansion of -1 in a2
1.241 * [taylor]: Taking taylor expansion of (/ b1 (* a1 a2)) in a2
1.241 * [taylor]: Taking taylor expansion of b1 in a2
1.241 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.241 * [taylor]: Taking taylor expansion of a1 in a2
1.241 * [taylor]: Taking taylor expansion of a2 in a2
1.241 * [taylor]: Taking taylor expansion of (* -1 (/ b1 (* a1 a2))) in a1
1.241 * [taylor]: Taking taylor expansion of -1 in a1
1.241 * [taylor]: Taking taylor expansion of (/ b1 (* a1 a2)) in a1
1.241 * [taylor]: Taking taylor expansion of b1 in a1
1.241 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.241 * [taylor]: Taking taylor expansion of a1 in a1
1.241 * [taylor]: Taking taylor expansion of a2 in a1
1.241 * [taylor]: Taking taylor expansion of (* -1 (/ b1 (* a1 a2))) in a1
1.241 * [taylor]: Taking taylor expansion of -1 in a1
1.241 * [taylor]: Taking taylor expansion of (/ b1 (* a1 a2)) in a1
1.241 * [taylor]: Taking taylor expansion of b1 in a1
1.241 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.241 * [taylor]: Taking taylor expansion of a1 in a1
1.241 * [taylor]: Taking taylor expansion of a2 in a1
1.242 * [taylor]: Taking taylor expansion of (* -1 (/ b1 a2)) in a2
1.242 * [taylor]: Taking taylor expansion of -1 in a2
1.242 * [taylor]: Taking taylor expansion of (/ b1 a2) in a2
1.242 * [taylor]: Taking taylor expansion of b1 in a2
1.242 * [taylor]: Taking taylor expansion of a2 in a2
1.242 * [taylor]: Taking taylor expansion of (* -1 b1) in b1
1.242 * [taylor]: Taking taylor expansion of -1 in b1
1.242 * [taylor]: Taking taylor expansion of b1 in b1
1.242 * [taylor]: Taking taylor expansion of 0 in a2
1.242 * [taylor]: Taking taylor expansion of 0 in b1
1.242 * [taylor]: Taking taylor expansion of 0 in a2
1.242 * [taylor]: Taking taylor expansion of 0 in b1
1.242 * [taylor]: Taking taylor expansion of 0 in b1
1.243 * * * [progress]: simplifying candidates
1.244 * [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.328 * * [simplify]: iteration  0 :  5171  enodes  (cost  637 )
1.333 * [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.333 * * * [progress]: adding candidates to table
1.421 * [progress]: [Phase 3 of 3] Extracting.
1.421 * * [regime]: Finding splitpoints for: (#<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 a1 (/.f64 b1 a2)) (/.f64 1 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 (/.f64 (*.f64 a1 a2) b2) b1))> #<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 (*.f64 a2 (/.f64 a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))))>)
1.423 * * * [regime-changes]: Trying 6 branch expressions: ((*.f64 b1 b2) (*.f64 a1 a2) b2 b1 a2 a1)
1.423 * * * * [regimes]: Trying to branch on (*.f64 b1 b2) from (#<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 a1 (/.f64 b1 a2)) (/.f64 1 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 (/.f64 (*.f64 a1 a2) b2) b1))> #<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 (*.f64 a2 (/.f64 a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))))>)
1.508 * * * * [regimes]: Trying to branch on (*.f64 a1 a2) from (#<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 a1 (/.f64 b1 a2)) (/.f64 1 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 (/.f64 (*.f64 a1 a2) b2) b1))> #<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 (*.f64 a2 (/.f64 a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))))>)
1.605 * * * * [regimes]: Trying to branch on (*.f64 a1 a2) from (#<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 (cbrt.f64 (/.f64 (*.f64 a1 a2) b1)) (cbrt.f64 (/.f64 (*.f64 a1 a2) b1))) (/.f64 (cbrt.f64 (/.f64 (*.f64 a1 a2) b1)) b2)))>)
1.658 * * * * [regimes]: Trying to branch on b2 from (#<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 a1 (/.f64 b1 a2)) (/.f64 1 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 (/.f64 (*.f64 a1 a2) b2) b1))> #<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 (*.f64 a2 (/.f64 a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))))>)
1.738 * * * * [regimes]: Trying to branch on b1 from (#<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 a1 (/.f64 b1 a2)) (/.f64 1 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 (/.f64 (*.f64 a1 a2) b2) b1))> #<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 (*.f64 a2 (/.f64 a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))))>)
1.819 * * * * [regimes]: Trying to branch on a2 from (#<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 a1 (/.f64 b1 a2)) (/.f64 1 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 (/.f64 (*.f64 a1 a2) b2) b1))> #<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 (*.f64 a2 (/.f64 a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))))>)
1.904 * * * * [regimes]: Trying to branch on a1 from (#<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 a1 (/.f64 b1 a2)) (/.f64 1 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 (/.f64 (*.f64 a1 a2) b2) b1))> #<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 (*.f64 a2 (/.f64 a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))))>)
1.991 * * * [regime]: Found split indices: #<option (#s(si 6 14) #s(si 2 65) #s(si 5 145) #s(si 3 246) #s(si 5 255))>
1.991 * [binary-search]: Only using regimes for bounds on (*.f64 a1 a2) and (#<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 a1 (/.f64 b1 a2)) (/.f64 1 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 (/.f64 (*.f64 a1 a2) b2) b1))> #<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 (*.f64 a2 (/.f64 a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))))>)
1.991 * [regimes]: Found splitpoints: (#s(sp 6 (*.f64 a1 a2) -1.824827973319818e+202) #s(sp 2 (*.f64 a1 a2) -3.8638100840414836e-76) #s(sp 5 (*.f64 a1 a2) 0.0) #s(sp 3 (*.f64 a1 a2) 6.994370282012423e+231) #s(sp 5 (*.f64 a1 a2) +nan.0)) , with alts (#<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 a1 (/.f64 b1 a2)) (/.f64 1 b2)))> #<alt (λ (a1 a2 b1 b2) (/.f64 (/.f64 (*.f64 a1 a2) b2) b1))> #<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 (*.f64 a2 (/.f64 a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (/.f64 a1 (/.f64 b1 (/.f64 a2 b2))))> #<alt (λ (a1 a2 b1 b2) (*.f64 a1 (/.f64 a2 (*.f64 b1 b2))))>)
1.992 * [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.993 * * [simplify]: iteration  0 :  37  enodes  (cost  68 )
1.993 * * [simplify]: iteration  1 :  37  enodes  (cost  68 )
1.994 * [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.371 * [regime-testing]: End program error score: 6.549361462412863
3.462 * [regime-testing]: Target error score: 11.284373798460669