36.583 * [progress]: [Phase 1 of 3] Setting up.
0.000 * * * [progress]: [1/2] Preparing points
0.572 * * * [progress]: [2/2] Setting up program.
0.575 * [progress]: [Phase 2 of 3] Improving.
0.575 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (* a1 a2) (* b1 b2))
0.578 * * [simplify]: iteration  0 :  67  enodes  (cost  7 )
0.578 * * [simplify]: iteration  1 :  67  enodes  (cost  7 )
0.578 * [simplify]: Simplified to:
   (* a1 (/ a2 (* b1 b2)))
0.582 * * [progress]: iteration 1 / 4
0.582 * * * [progress]: picking best candidate
0.588 * * * * [pick]: Picked  #<alt (λ (a1 a2 b1 b2) (/ (* a1 a2) (* b1 b2)))>
0.588 * * * [progress]: localizing error
0.594 * * * [progress]: generating rewritten candidates
0.594 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.599 * * * [progress]: generating series expansions
0.599 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.600 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (a1 a2 b1 b2) around 0
0.600 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2
0.600 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.600 * [taylor]: Taking taylor expansion of a1 in b2
0.600 * [taylor]: Taking taylor expansion of a2 in b2
0.600 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.600 * [taylor]: Taking taylor expansion of b1 in b2
0.600 * [taylor]: Taking taylor expansion of b2 in b2
0.600 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1
0.600 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.600 * [taylor]: Taking taylor expansion of a1 in b1
0.600 * [taylor]: Taking taylor expansion of a2 in b1
0.600 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.600 * [taylor]: Taking taylor expansion of b1 in b1
0.600 * [taylor]: Taking taylor expansion of b2 in b1
0.600 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
0.600 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.600 * [taylor]: Taking taylor expansion of a1 in a2
0.600 * [taylor]: Taking taylor expansion of a2 in a2
0.600 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.600 * [taylor]: Taking taylor expansion of b1 in a2
0.600 * [taylor]: Taking taylor expansion of b2 in a2
0.600 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
0.600 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.600 * [taylor]: Taking taylor expansion of a1 in a1
0.600 * [taylor]: Taking taylor expansion of a2 in a1
0.600 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.600 * [taylor]: Taking taylor expansion of b1 in a1
0.600 * [taylor]: Taking taylor expansion of b2 in a1
0.600 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
0.600 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.600 * [taylor]: Taking taylor expansion of a1 in a1
0.600 * [taylor]: Taking taylor expansion of a2 in a1
0.600 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.600 * [taylor]: Taking taylor expansion of b1 in a1
0.600 * [taylor]: Taking taylor expansion of b2 in a1
0.600 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2
0.600 * [taylor]: Taking taylor expansion of a2 in a2
0.600 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.601 * [taylor]: Taking taylor expansion of b1 in a2
0.601 * [taylor]: Taking taylor expansion of b2 in a2
0.601 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1
0.601 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.601 * [taylor]: Taking taylor expansion of b1 in b1
0.601 * [taylor]: Taking taylor expansion of b2 in b1
0.601 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
0.601 * [taylor]: Taking taylor expansion of b2 in b2
0.601 * [taylor]: Taking taylor expansion of 0 in a2
0.601 * [taylor]: Taking taylor expansion of 0 in b1
0.601 * [taylor]: Taking taylor expansion of 0 in b1
0.601 * [taylor]: Taking taylor expansion of 0 in b2
0.601 * [taylor]: Taking taylor expansion of 0 in a2
0.601 * [taylor]: Taking taylor expansion of 0 in b1
0.601 * [taylor]: Taking taylor expansion of 0 in b1
0.602 * [taylor]: Taking taylor expansion of 0 in b1
0.602 * [taylor]: Taking taylor expansion of 0 in b2
0.602 * [taylor]: Taking taylor expansion of 0 in b2
0.602 * [taylor]: Taking taylor expansion of 0 in b2
0.602 * [taylor]: Taking taylor expansion of 0 in a2
0.602 * [taylor]: Taking taylor expansion of 0 in b1
0.602 * [taylor]: Taking taylor expansion of 0 in b1
0.602 * [taylor]: Taking taylor expansion of 0 in b1
0.602 * [taylor]: Taking taylor expansion of 0 in b1
0.602 * [taylor]: Taking taylor expansion of 0 in b2
0.602 * [taylor]: Taking taylor expansion of 0 in b2
0.602 * [taylor]: Taking taylor expansion of 0 in b2
0.602 * [taylor]: Taking taylor expansion of 0 in b2
0.602 * [taylor]: Taking taylor expansion of 0 in b2
0.603 * [taylor]: Taking taylor expansion of 0 in b2
0.603 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 a2 b1 b2) around 0
0.603 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.603 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.603 * [taylor]: Taking taylor expansion of b1 in b2
0.603 * [taylor]: Taking taylor expansion of b2 in b2
0.603 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.603 * [taylor]: Taking taylor expansion of a1 in b2
0.603 * [taylor]: Taking taylor expansion of a2 in b2
0.603 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.603 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.603 * [taylor]: Taking taylor expansion of b1 in b1
0.603 * [taylor]: Taking taylor expansion of b2 in b1
0.603 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.603 * [taylor]: Taking taylor expansion of a1 in b1
0.603 * [taylor]: Taking taylor expansion of a2 in b1
0.603 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.603 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.603 * [taylor]: Taking taylor expansion of b1 in a2
0.603 * [taylor]: Taking taylor expansion of b2 in a2
0.603 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.603 * [taylor]: Taking taylor expansion of a1 in a2
0.603 * [taylor]: Taking taylor expansion of a2 in a2
0.603 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.603 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.603 * [taylor]: Taking taylor expansion of b1 in a1
0.603 * [taylor]: Taking taylor expansion of b2 in a1
0.603 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.603 * [taylor]: Taking taylor expansion of a1 in a1
0.603 * [taylor]: Taking taylor expansion of a2 in a1
0.603 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.603 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.603 * [taylor]: Taking taylor expansion of b1 in a1
0.603 * [taylor]: Taking taylor expansion of b2 in a1
0.604 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.604 * [taylor]: Taking taylor expansion of a1 in a1
0.604 * [taylor]: Taking taylor expansion of a2 in a1
0.604 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
0.604 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.604 * [taylor]: Taking taylor expansion of b1 in a2
0.604 * [taylor]: Taking taylor expansion of b2 in a2
0.604 * [taylor]: Taking taylor expansion of a2 in a2
0.604 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.604 * [taylor]: Taking taylor expansion of b1 in b1
0.604 * [taylor]: Taking taylor expansion of b2 in b1
0.604 * [taylor]: Taking taylor expansion of b2 in b2
0.604 * [taylor]: Taking taylor expansion of 0 in a2
0.604 * [taylor]: Taking taylor expansion of 0 in b1
0.604 * [taylor]: Taking taylor expansion of 0 in b2
0.604 * [taylor]: Taking taylor expansion of 0 in b2
0.604 * [taylor]: Taking taylor expansion of 0 in a2
0.604 * [taylor]: Taking taylor expansion of 0 in b1
0.604 * [taylor]: Taking taylor expansion of 0 in b2
0.604 * [taylor]: Taking taylor expansion of 0 in b1
0.605 * [taylor]: Taking taylor expansion of 0 in b2
0.605 * [taylor]: Taking taylor expansion of 0 in b2
0.605 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 a2 b1 b2) around 0
0.605 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.605 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.605 * [taylor]: Taking taylor expansion of b1 in b2
0.605 * [taylor]: Taking taylor expansion of b2 in b2
0.605 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.605 * [taylor]: Taking taylor expansion of a1 in b2
0.605 * [taylor]: Taking taylor expansion of a2 in b2
0.605 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.605 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.605 * [taylor]: Taking taylor expansion of b1 in b1
0.605 * [taylor]: Taking taylor expansion of b2 in b1
0.605 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.605 * [taylor]: Taking taylor expansion of a1 in b1
0.605 * [taylor]: Taking taylor expansion of a2 in b1
0.605 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.605 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.605 * [taylor]: Taking taylor expansion of b1 in a2
0.605 * [taylor]: Taking taylor expansion of b2 in a2
0.605 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.605 * [taylor]: Taking taylor expansion of a1 in a2
0.605 * [taylor]: Taking taylor expansion of a2 in a2
0.605 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.605 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.605 * [taylor]: Taking taylor expansion of b1 in a1
0.605 * [taylor]: Taking taylor expansion of b2 in a1
0.605 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.605 * [taylor]: Taking taylor expansion of a1 in a1
0.605 * [taylor]: Taking taylor expansion of a2 in a1
0.605 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.606 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.606 * [taylor]: Taking taylor expansion of b1 in a1
0.606 * [taylor]: Taking taylor expansion of b2 in a1
0.606 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.606 * [taylor]: Taking taylor expansion of a1 in a1
0.606 * [taylor]: Taking taylor expansion of a2 in a1
0.606 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
0.606 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.606 * [taylor]: Taking taylor expansion of b1 in a2
0.606 * [taylor]: Taking taylor expansion of b2 in a2
0.606 * [taylor]: Taking taylor expansion of a2 in a2
0.606 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.606 * [taylor]: Taking taylor expansion of b1 in b1
0.606 * [taylor]: Taking taylor expansion of b2 in b1
0.606 * [taylor]: Taking taylor expansion of b2 in b2
0.606 * [taylor]: Taking taylor expansion of 0 in a2
0.606 * [taylor]: Taking taylor expansion of 0 in b1
0.606 * [taylor]: Taking taylor expansion of 0 in b2
0.606 * [taylor]: Taking taylor expansion of 0 in b2
0.606 * [taylor]: Taking taylor expansion of 0 in a2
0.606 * [taylor]: Taking taylor expansion of 0 in b1
0.606 * [taylor]: Taking taylor expansion of 0 in b2
0.607 * [taylor]: Taking taylor expansion of 0 in b1
0.607 * [taylor]: Taking taylor expansion of 0 in b2
0.607 * [taylor]: Taking taylor expansion of 0 in b2
0.607 * * * [progress]: simplifying candidates
0.607 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (+ (log a1) (log a2)) (+ (log b1) (log b2)))
  (- (+ (log a1) (log a2)) (log (* b1 b2)))
  (- (log (* a1 a2)) (+ (log b1) (log b2)))
  (- (log (* a1 a2)) (log (* b1 b2)))
  (log (/ (* a1 a2) (* b1 b2)))
  (exp (/ (* a1 a2) (* b1 b2)))
  (/ (* (* (* a1 a1) a1) (* (* a2 a2) a2)) (* (* (* b1 b1) b1) (* (* b2 b2) b2)))
  (/ (* (* (* a1 a1) a1) (* (* a2 a2) a2)) (* (* (* b1 b2) (* b1 b2)) (* b1 b2)))
  (/ (* (* (* a1 a2) (* a1 a2)) (* a1 a2)) (* (* (* b1 b1) b1) (* (* b2 b2) b2)))
  (/ (* (* (* a1 a2) (* a1 a2)) (* a1 a2)) (* (* (* b1 b2) (* b1 b2)) (* b1 b2)))
  (* (cbrt (/ (* a1 a2) (* b1 b2))) (cbrt (/ (* a1 a2) (* b1 b2))))
  (cbrt (/ (* a1 a2) (* b1 b2)))
  (* (* (/ (* a1 a2) (* b1 b2)) (/ (* a1 a2) (* b1 b2))) (/ (* a1 a2) (* b1 b2)))
  (sqrt (/ (* a1 a2) (* b1 b2)))
  (sqrt (/ (* a1 a2) (* b1 b2)))
  (neg (* a1 a2))
  (neg (* b1 b2))
  (/ a1 b1)
  (/ a2 b2)
  (/ 1 (* b1 b2))
  (/ (* b1 b2) (* a1 a2))
  (/ (* a1 a2) b1)
  (/ (* b1 b2) a2)
  (/ (* a1 a2) (* b1 b2))
  (/ (* a1 a2) (* b1 b2))
  (/ (* a1 a2) (* b1 b2))
0.666 * * [simplify]: iteration  0 :  6549  enodes  (cost  191 )
0.668 * [simplify]: Simplified to:
   (log (* a2 (/ a1 (* b1 b2))))
  (log (* a2 (/ a1 (* b1 b2))))
  (log (* a2 (/ a1 (* b1 b2))))
  (log (* a2 (/ a1 (* b1 b2))))
  (log (* a2 (/ a1 (* b1 b2))))
  (pow (exp (/ a1 b1)) (/ a2 b2))
  (pow (* a2 (/ a1 (* b1 b2))) 3)
  (pow (* a2 (/ a1 (* b1 b2))) 3)
  (pow (* a2 (/ a1 (* b1 b2))) 3)
  (pow (* a2 (/ a1 (* b1 b2))) 3)
  (* (cbrt (* a2 (/ a1 (* b1 b2)))) (cbrt (* a2 (/ a1 (* b1 b2)))))
  (cbrt (* a2 (/ a1 (* b1 b2))))
  (pow (* a2 (/ a1 (* b1 b2))) 3)
  (sqrt (* a2 (/ a1 (* b1 b2))))
  (sqrt (* a2 (/ a1 (* b1 b2))))
  (* a1 (neg a2))
  (* b1 (neg b2))
  (/ a1 b1)
  (/ a2 b2)
  (/ 1 (* b1 b2))
  (* b2 (/ b1 (* a1 a2)))
  (* a2 (/ a1 b1))
  (* b1 (/ b2 a2))
  (* a2 (/ a1 (* b1 b2)))
  (* a2 (/ a1 (* b1 b2)))
  (* a2 (/ a1 (* b1 b2)))
0.668 * * * [progress]: adding candidates to table
0.694 * * [progress]: iteration 2 / 4
0.694 * * * [progress]: picking best candidate
0.714 * * * * [pick]: Picked  #<alt (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2)))>
0.714 * * * [progress]: localizing error
0.719 * * * [progress]: generating rewritten candidates
0.719 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.731 * * * [progress]: generating series expansions
0.731 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.731 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (a1 b1 a2 b2) around 0
0.731 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2
0.731 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.731 * [taylor]: Taking taylor expansion of a1 in b2
0.731 * [taylor]: Taking taylor expansion of a2 in b2
0.731 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.731 * [taylor]: Taking taylor expansion of b1 in b2
0.731 * [taylor]: Taking taylor expansion of b2 in b2
0.731 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
0.731 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.731 * [taylor]: Taking taylor expansion of a1 in a2
0.731 * [taylor]: Taking taylor expansion of a2 in a2
0.731 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.731 * [taylor]: Taking taylor expansion of b1 in a2
0.731 * [taylor]: Taking taylor expansion of b2 in a2
0.731 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1
0.731 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.731 * [taylor]: Taking taylor expansion of a1 in b1
0.731 * [taylor]: Taking taylor expansion of a2 in b1
0.731 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.731 * [taylor]: Taking taylor expansion of b1 in b1
0.731 * [taylor]: Taking taylor expansion of b2 in b1
0.731 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
0.731 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.731 * [taylor]: Taking taylor expansion of a1 in a1
0.731 * [taylor]: Taking taylor expansion of a2 in a1
0.731 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.731 * [taylor]: Taking taylor expansion of b1 in a1
0.731 * [taylor]: Taking taylor expansion of b2 in a1
0.732 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
0.732 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.732 * [taylor]: Taking taylor expansion of a1 in a1
0.732 * [taylor]: Taking taylor expansion of a2 in a1
0.732 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.732 * [taylor]: Taking taylor expansion of b1 in a1
0.732 * [taylor]: Taking taylor expansion of b2 in a1
0.732 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b1
0.732 * [taylor]: Taking taylor expansion of a2 in b1
0.732 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.732 * [taylor]: Taking taylor expansion of b1 in b1
0.732 * [taylor]: Taking taylor expansion of b2 in b1
0.732 * [taylor]: Taking taylor expansion of (/ a2 b2) in a2
0.732 * [taylor]: Taking taylor expansion of a2 in a2
0.732 * [taylor]: Taking taylor expansion of b2 in a2
0.732 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
0.732 * [taylor]: Taking taylor expansion of b2 in b2
0.732 * [taylor]: Taking taylor expansion of 0 in b1
0.732 * [taylor]: Taking taylor expansion of 0 in a2
0.732 * [taylor]: Taking taylor expansion of 0 in b2
0.732 * [taylor]: Taking taylor expansion of 0 in b2
0.733 * [taylor]: Taking taylor expansion of 0 in b1
0.733 * [taylor]: Taking taylor expansion of 0 in a2
0.733 * [taylor]: Taking taylor expansion of 0 in b2
0.733 * [taylor]: Taking taylor expansion of 0 in a2
0.733 * [taylor]: Taking taylor expansion of 0 in b2
0.733 * [taylor]: Taking taylor expansion of 0 in b2
0.733 * [taylor]: Taking taylor expansion of 0 in b2
0.733 * [taylor]: Taking taylor expansion of 0 in b1
0.733 * [taylor]: Taking taylor expansion of 0 in a2
0.733 * [taylor]: Taking taylor expansion of 0 in b2
0.733 * [taylor]: Taking taylor expansion of 0 in a2
0.733 * [taylor]: Taking taylor expansion of 0 in b2
0.735 * [taylor]: Taking taylor expansion of 0 in a2
0.735 * [taylor]: Taking taylor expansion of 0 in b2
0.735 * [taylor]: Taking taylor expansion of 0 in b2
0.735 * [taylor]: Taking taylor expansion of 0 in b2
0.735 * [taylor]: Taking taylor expansion of 0 in b2
0.736 * [taylor]: Taking taylor expansion of 0 in b2
0.736 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 b1 a2 b2) around 0
0.736 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.736 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.736 * [taylor]: Taking taylor expansion of b1 in b2
0.736 * [taylor]: Taking taylor expansion of b2 in b2
0.736 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.736 * [taylor]: Taking taylor expansion of a1 in b2
0.736 * [taylor]: Taking taylor expansion of a2 in b2
0.736 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.736 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.736 * [taylor]: Taking taylor expansion of b1 in a2
0.736 * [taylor]: Taking taylor expansion of b2 in a2
0.736 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.736 * [taylor]: Taking taylor expansion of a1 in a2
0.736 * [taylor]: Taking taylor expansion of a2 in a2
0.736 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.736 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.736 * [taylor]: Taking taylor expansion of b1 in b1
0.736 * [taylor]: Taking taylor expansion of b2 in b1
0.736 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.736 * [taylor]: Taking taylor expansion of a1 in b1
0.736 * [taylor]: Taking taylor expansion of a2 in b1
0.736 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.736 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.736 * [taylor]: Taking taylor expansion of b1 in a1
0.736 * [taylor]: Taking taylor expansion of b2 in a1
0.736 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.736 * [taylor]: Taking taylor expansion of a1 in a1
0.736 * [taylor]: Taking taylor expansion of a2 in a1
0.736 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.737 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.737 * [taylor]: Taking taylor expansion of b1 in a1
0.737 * [taylor]: Taking taylor expansion of b2 in a1
0.737 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.737 * [taylor]: Taking taylor expansion of a1 in a1
0.737 * [taylor]: Taking taylor expansion of a2 in a1
0.737 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1
0.737 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.737 * [taylor]: Taking taylor expansion of b1 in b1
0.737 * [taylor]: Taking taylor expansion of b2 in b1
0.737 * [taylor]: Taking taylor expansion of a2 in b1
0.737 * [taylor]: Taking taylor expansion of (/ b2 a2) in a2
0.737 * [taylor]: Taking taylor expansion of b2 in a2
0.737 * [taylor]: Taking taylor expansion of a2 in a2
0.737 * [taylor]: Taking taylor expansion of b2 in b2
0.737 * [taylor]: Taking taylor expansion of 0 in b1
0.737 * [taylor]: Taking taylor expansion of 0 in a2
0.737 * [taylor]: Taking taylor expansion of 0 in a2
0.737 * [taylor]: Taking taylor expansion of 0 in b2
0.737 * [taylor]: Taking taylor expansion of 0 in b1
0.737 * [taylor]: Taking taylor expansion of 0 in a2
0.737 * [taylor]: Taking taylor expansion of 0 in a2
0.738 * [taylor]: Taking taylor expansion of 0 in a2
0.738 * [taylor]: Taking taylor expansion of 0 in b2
0.738 * [taylor]: Taking taylor expansion of 0 in b2
0.738 * [taylor]: Taking taylor expansion of 0 in b2
0.738 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 b1 a2 b2) around 0
0.738 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.738 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.738 * [taylor]: Taking taylor expansion of b1 in b2
0.738 * [taylor]: Taking taylor expansion of b2 in b2
0.738 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.738 * [taylor]: Taking taylor expansion of a1 in b2
0.738 * [taylor]: Taking taylor expansion of a2 in b2
0.738 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.738 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.738 * [taylor]: Taking taylor expansion of b1 in a2
0.738 * [taylor]: Taking taylor expansion of b2 in a2
0.738 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.738 * [taylor]: Taking taylor expansion of a1 in a2
0.738 * [taylor]: Taking taylor expansion of a2 in a2
0.738 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.738 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.738 * [taylor]: Taking taylor expansion of b1 in b1
0.738 * [taylor]: Taking taylor expansion of b2 in b1
0.738 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.738 * [taylor]: Taking taylor expansion of a1 in b1
0.738 * [taylor]: Taking taylor expansion of a2 in b1
0.738 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.739 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.739 * [taylor]: Taking taylor expansion of b1 in a1
0.739 * [taylor]: Taking taylor expansion of b2 in a1
0.739 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.739 * [taylor]: Taking taylor expansion of a1 in a1
0.739 * [taylor]: Taking taylor expansion of a2 in a1
0.739 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.739 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.739 * [taylor]: Taking taylor expansion of b1 in a1
0.739 * [taylor]: Taking taylor expansion of b2 in a1
0.739 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.739 * [taylor]: Taking taylor expansion of a1 in a1
0.739 * [taylor]: Taking taylor expansion of a2 in a1
0.739 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1
0.739 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.739 * [taylor]: Taking taylor expansion of b1 in b1
0.739 * [taylor]: Taking taylor expansion of b2 in b1
0.739 * [taylor]: Taking taylor expansion of a2 in b1
0.739 * [taylor]: Taking taylor expansion of (/ b2 a2) in a2
0.739 * [taylor]: Taking taylor expansion of b2 in a2
0.739 * [taylor]: Taking taylor expansion of a2 in a2
0.739 * [taylor]: Taking taylor expansion of b2 in b2
0.739 * [taylor]: Taking taylor expansion of 0 in b1
0.739 * [taylor]: Taking taylor expansion of 0 in a2
0.739 * [taylor]: Taking taylor expansion of 0 in a2
0.739 * [taylor]: Taking taylor expansion of 0 in b2
0.740 * [taylor]: Taking taylor expansion of 0 in b1
0.740 * [taylor]: Taking taylor expansion of 0 in a2
0.740 * [taylor]: Taking taylor expansion of 0 in a2
0.740 * [taylor]: Taking taylor expansion of 0 in a2
0.740 * [taylor]: Taking taylor expansion of 0 in b2
0.740 * [taylor]: Taking taylor expansion of 0 in b2
0.740 * [taylor]: Taking taylor expansion of 0 in b2
0.740 * * * [progress]: simplifying candidates
0.741 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (/ a1 b1) (/ a2 b2))
  (+ (- (log a1) (log b1)) (- (log a2) (log b2)))
  (+ (- (log a1) (log b1)) (log (/ a2 b2)))
  (+ (log (/ a1 b1)) (- (log a2) (log b2)))
  (+ (log (/ a1 b1)) (log (/ a2 b2)))
  (log (* (/ a1 b1) (/ a2 b2)))
  (exp (* (/ a1 b1) (/ a2 b2)))
  (* (/ (* (* a1 a1) a1) (* (* b1 b1) b1)) (/ (* (* a2 a2) a2) (* (* b2 b2) b2)))
  (* (/ (* (* a1 a1) a1) (* (* b1 b1) b1)) (* (* (/ a2 b2) (/ a2 b2)) (/ a2 b2)))
  (* (* (* (/ a1 b1) (/ a1 b1)) (/ a1 b1)) (/ (* (* a2 a2) a2) (* (* b2 b2) b2)))
  (* (* (* (/ a1 b1) (/ a1 b1)) (/ a1 b1)) (* (* (/ a2 b2) (/ a2 b2)) (/ a2 b2)))
  (* (cbrt (* (/ a1 b1) (/ a2 b2))) (cbrt (* (/ a1 b1) (/ a2 b2))))
  (cbrt (* (/ a1 b1) (/ a2 b2)))
  (* (* (* (/ a1 b1) (/ a2 b2)) (* (/ a1 b1) (/ a2 b2))) (* (/ a1 b1) (/ a2 b2)))
  (sqrt (* (/ a1 b1) (/ a2 b2)))
  (sqrt (* (/ a1 b1) (/ a2 b2)))
  (* a1 a2)
  (* b1 b2)
  (* (sqrt (/ a1 b1)) (sqrt (/ a2 b2)))
  (* (sqrt (/ a1 b1)) (sqrt (/ a2 b2)))
  (* (sqrt (/ a1 b1)) (/ (sqrt a2) (sqrt b2)))
  (* (sqrt (/ a1 b1)) (/ (sqrt a2) (sqrt b2)))
  (* (/ (sqrt a1) (sqrt b1)) (sqrt (/ a2 b2)))
  (* (/ (sqrt a1) (sqrt b1)) (sqrt (/ a2 b2)))
  (* (/ (sqrt a1) (sqrt b1)) (/ (sqrt a2) (sqrt b2)))
  (* (/ (sqrt a1) (sqrt b1)) (/ (sqrt a2) (sqrt b2)))
  (* (/ a1 b1) (* (cbrt (/ a2 b2)) (cbrt (/ a2 b2))))
  (* (/ a1 b1) (sqrt (/ a2 b2)))
  (* (/ a1 b1) (/ (* (cbrt a2) (cbrt a2)) (* (cbrt b2) (cbrt b2))))
  (* (/ a1 b1) (/ (* (cbrt a2) (cbrt a2)) (sqrt b2)))
  (* (/ a1 b1) (/ (* (cbrt a2) (cbrt a2)) 1))
  (* (/ a1 b1) (/ (sqrt a2) (* (cbrt b2) (cbrt b2))))
  (* (/ a1 b1) (/ (sqrt a2) (sqrt b2)))
  (* (/ a1 b1) (/ (sqrt a2) 1))
  (* (/ a1 b1) (/ 1 (* (cbrt b2) (cbrt b2))))
  (* (/ a1 b1) (/ 1 (sqrt b2)))
  (* (/ a1 b1) (/ 1 1))
  (* (/ a1 b1) 1)
  (* (/ a1 b1) a2)
  (* (cbrt (/ a1 b1)) (/ a2 b2))
  (* (sqrt (/ a1 b1)) (/ a2 b2))
  (* (/ (cbrt a1) (cbrt b1)) (/ a2 b2))
  (* (/ (cbrt a1) (sqrt b1)) (/ a2 b2))
  (* (/ (cbrt a1) b1) (/ a2 b2))
  (* (/ (sqrt a1) (cbrt b1)) (/ a2 b2))
  (* (/ (sqrt a1) (sqrt b1)) (/ a2 b2))
  (* (/ (sqrt a1) b1) (/ a2 b2))
  (* (/ a1 (cbrt b1)) (/ a2 b2))
  (* (/ a1 (sqrt b1)) (/ a2 b2))
  (* (/ a1 b1) (/ a2 b2))
  (* (/ a1 b1) (/ a2 b2))
  (* (/ 1 b1) (/ a2 b2))
  (* (/ a1 b1) a2)
  (* a1 (/ a2 b2))
  (/ (* a1 a2) (* b1 b2))
  (/ (* a1 a2) (* b1 b2))
  (/ (* a1 a2) (* b1 b2))
0.784 * * [simplify]: iteration  0 :  5239  enodes  (cost  471 )
0.786 * [simplify]: Simplified to:
   (* (/ a1 b1) (/ a2 b2))
  (log (* (/ a1 b1) (/ a2 b2)))
  (log (* (/ a1 b1) (/ a2 b2)))
  (log (* (/ a1 b1) (/ a2 b2)))
  (log (* (/ a1 b1) (/ a2 b2)))
  (log (* (/ a1 b1) (/ a2 b2)))
  (pow (exp (/ a1 b1)) (/ a2 b2))
  (pow (* (/ a1 b1) (/ a2 b2)) 3)
  (pow (* (/ a1 b1) (/ a2 b2)) 3)
  (pow (* (/ a1 b1) (/ a2 b2)) 3)
  (pow (* (/ a1 b1) (/ a2 b2)) 3)
  (* (cbrt (* (/ a1 b1) (/ a2 b2))) (cbrt (* (/ a1 b1) (/ a2 b2))))
  (cbrt (* (/ a1 b1) (/ a2 b2)))
  (pow (* (/ a1 b1) (/ a2 b2)) 3)
  (sqrt (* (/ a1 b1) (/ a2 b2)))
  (sqrt (* (/ a1 b1) (/ a2 b2)))
  (* a1 a2)
  (* b1 b2)
  (* (sqrt (/ a1 b1)) (sqrt (/ a2 b2)))
  (* (sqrt (/ a1 b1)) (sqrt (/ a2 b2)))
  (* (sqrt (/ a1 b1)) (/ (sqrt a2) (sqrt b2)))
  (* (sqrt (/ a1 b1)) (/ (sqrt a2) (sqrt b2)))
  (* (sqrt (/ a2 b2)) (/ (sqrt a1) (sqrt b1)))
  (* (sqrt (/ a2 b2)) (/ (sqrt a1) (sqrt b1)))
  (* (/ (sqrt a2) (sqrt b2)) (/ (sqrt a1) (sqrt b1)))
  (* (/ (sqrt a2) (sqrt b2)) (/ (sqrt a1) (sqrt b1)))
  (* (/ a1 b1) (* (cbrt (/ a2 b2)) (cbrt (/ a2 b2))))
  (* (/ a1 b1) (sqrt (/ a2 b2)))
  (* (/ a1 b1) (* (cbrt a2) (/ (cbrt a2) (* (cbrt b2) (cbrt b2)))))
  (* (/ a1 b1) (* (cbrt a2) (/ (cbrt a2) (sqrt b2))))
  (* a1 (/ (* (cbrt a2) (cbrt a2)) b1))
  (* (/ a1 b1) (/ (sqrt a2) (* (cbrt b2) (cbrt b2))))
  (* (/ a1 b1) (/ (sqrt a2) (sqrt b2)))
  (* a1 (/ (sqrt a2) b1))
  (/ a1 (* b1 (* (cbrt b2) (cbrt b2))))
  (/ a1 (* b1 (sqrt b2)))
  (/ a1 b1)
  (/ a1 b1)
  (* (/ a1 b1) a2)
  (* (/ a2 b2) (cbrt (/ a1 b1)))
  (* (/ a2 b2) (sqrt (/ a1 b1)))
  (* (/ a2 b2) (/ (cbrt a1) (cbrt b1)))
  (* (/ a2 b2) (/ (cbrt a1) (sqrt b1)))
  (* (/ a2 b2) (/ (cbrt a1) b1))
  (* (/ a2 b2) (/ (sqrt a1) (cbrt b1)))
  (* (/ a2 b2) (/ (sqrt a1) (sqrt b1)))
  (* (/ a2 b2) (/ (sqrt a1) b1))
  (* (/ a2 b2) (/ a1 (cbrt b1)))
  (* (/ a2 b2) (/ a1 (sqrt b1)))
  (* (/ a1 b1) (/ a2 b2))
  (* (/ a1 b1) (/ a2 b2))
  (/ a2 (* b1 b2))
  (* (/ a1 b1) a2)
  (* a1 (/ a2 b2))
  (* (/ a1 b1) (/ a2 b2))
  (* (/ a1 b1) (/ a2 b2))
  (* (/ a1 b1) (/ a2 b2))
0.786 * * * [progress]: adding candidates to table
0.825 * * [progress]: iteration 3 / 4
0.825 * * * [progress]: picking best candidate
0.857 * * * * [pick]: Picked  #<alt (λ (a1 a2 b1 b2) (* (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1))) (* (/ a2 b2) (/ (cbrt a1) (cbrt b1)))))>
0.857 * * * [progress]: localizing error
0.870 * * * [progress]: generating rewritten candidates
0.871 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.889 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
0.909 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1)
0.910 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
0.920 * * * [progress]: generating series expansions
0.920 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.920 * [approximate]: Taking taylor expansion of (* (pow (/ a1 b1) 1/3) (/ a2 b2)) in (a2 b2 a1 b1) around 0
0.920 * [taylor]: Taking taylor expansion of (* (pow (/ a1 b1) 1/3) (/ a2 b2)) in b1
0.920 * [taylor]: Taking taylor expansion of (pow (/ a1 b1) 1/3) in b1
0.920 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a1 b1)))) in b1
0.920 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a1 b1))) in b1
0.920 * [taylor]: Taking taylor expansion of 1/3 in b1
0.920 * [taylor]: Taking taylor expansion of (log (/ a1 b1)) in b1
0.920 * [taylor]: Taking taylor expansion of (/ a1 b1) in b1
0.920 * [taylor]: Taking taylor expansion of a1 in b1
0.920 * [taylor]: Taking taylor expansion of b1 in b1
0.920 * [taylor]: Taking taylor expansion of (/ a2 b2) in b1
0.920 * [taylor]: Taking taylor expansion of a2 in b1
0.920 * [taylor]: Taking taylor expansion of b2 in b1
0.920 * [taylor]: Taking taylor expansion of (* (pow (/ a1 b1) 1/3) (/ a2 b2)) in a1
0.920 * [taylor]: Taking taylor expansion of (pow (/ a1 b1) 1/3) in a1
0.920 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a1 b1)))) in a1
0.920 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a1 b1))) in a1
0.920 * [taylor]: Taking taylor expansion of 1/3 in a1
0.920 * [taylor]: Taking taylor expansion of (log (/ a1 b1)) in a1
0.920 * [taylor]: Taking taylor expansion of (/ a1 b1) in a1
0.920 * [taylor]: Taking taylor expansion of a1 in a1
0.920 * [taylor]: Taking taylor expansion of b1 in a1
0.921 * [taylor]: Taking taylor expansion of (/ a2 b2) in a1
0.921 * [taylor]: Taking taylor expansion of a2 in a1
0.921 * [taylor]: Taking taylor expansion of b2 in a1
0.921 * [taylor]: Taking taylor expansion of (* (pow (/ a1 b1) 1/3) (/ a2 b2)) in b2
0.921 * [taylor]: Taking taylor expansion of (pow (/ a1 b1) 1/3) in b2
0.921 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a1 b1)))) in b2
0.921 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a1 b1))) in b2
0.921 * [taylor]: Taking taylor expansion of 1/3 in b2
0.921 * [taylor]: Taking taylor expansion of (log (/ a1 b1)) in b2
0.921 * [taylor]: Taking taylor expansion of (/ a1 b1) in b2
0.921 * [taylor]: Taking taylor expansion of a1 in b2
0.921 * [taylor]: Taking taylor expansion of b1 in b2
0.921 * [taylor]: Taking taylor expansion of (/ a2 b2) in b2
0.921 * [taylor]: Taking taylor expansion of a2 in b2
0.921 * [taylor]: Taking taylor expansion of b2 in b2
0.921 * [taylor]: Taking taylor expansion of (* (pow (/ a1 b1) 1/3) (/ a2 b2)) in a2
0.921 * [taylor]: Taking taylor expansion of (pow (/ a1 b1) 1/3) in a2
0.921 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a1 b1)))) in a2
0.921 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a1 b1))) in a2
0.921 * [taylor]: Taking taylor expansion of 1/3 in a2
0.921 * [taylor]: Taking taylor expansion of (log (/ a1 b1)) in a2
0.921 * [taylor]: Taking taylor expansion of (/ a1 b1) in a2
0.921 * [taylor]: Taking taylor expansion of a1 in a2
0.921 * [taylor]: Taking taylor expansion of b1 in a2
0.921 * [taylor]: Taking taylor expansion of (/ a2 b2) in a2
0.921 * [taylor]: Taking taylor expansion of a2 in a2
0.921 * [taylor]: Taking taylor expansion of b2 in a2
0.921 * [taylor]: Taking taylor expansion of (* (pow (/ a1 b1) 1/3) (/ a2 b2)) in a2
0.921 * [taylor]: Taking taylor expansion of (pow (/ a1 b1) 1/3) in a2
0.921 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a1 b1)))) in a2
0.921 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a1 b1))) in a2
0.921 * [taylor]: Taking taylor expansion of 1/3 in a2
0.921 * [taylor]: Taking taylor expansion of (log (/ a1 b1)) in a2
0.921 * [taylor]: Taking taylor expansion of (/ a1 b1) in a2
0.921 * [taylor]: Taking taylor expansion of a1 in a2
0.921 * [taylor]: Taking taylor expansion of b1 in a2
0.921 * [taylor]: Taking taylor expansion of (/ a2 b2) in a2
0.922 * [taylor]: Taking taylor expansion of a2 in a2
0.922 * [taylor]: Taking taylor expansion of b2 in a2
0.922 * [taylor]: Taking taylor expansion of (* (pow (/ a1 b1) 1/3) (/ 1 b2)) in b2
0.922 * [taylor]: Taking taylor expansion of (pow (/ a1 b1) 1/3) in b2
0.922 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a1 b1)))) in b2
0.922 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a1 b1))) in b2
0.922 * [taylor]: Taking taylor expansion of 1/3 in b2
0.922 * [taylor]: Taking taylor expansion of (log (/ a1 b1)) in b2
0.922 * [taylor]: Taking taylor expansion of (/ a1 b1) in b2
0.922 * [taylor]: Taking taylor expansion of a1 in b2
0.922 * [taylor]: Taking taylor expansion of b1 in b2
0.922 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
0.922 * [taylor]: Taking taylor expansion of b2 in b2
0.922 * [taylor]: Taking taylor expansion of (pow (/ a1 b1) 1/3) in a1
0.922 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ a1 b1)))) in a1
0.922 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ a1 b1))) in a1
0.922 * [taylor]: Taking taylor expansion of 1/3 in a1
0.922 * [taylor]: Taking taylor expansion of (log (/ a1 b1)) in a1
0.922 * [taylor]: Taking taylor expansion of (/ a1 b1) in a1
0.922 * [taylor]: Taking taylor expansion of a1 in a1
0.922 * [taylor]: Taking taylor expansion of b1 in a1
0.922 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log a1) (log (/ 1 b1))))) in b1
0.922 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log a1) (log (/ 1 b1)))) in b1
0.922 * [taylor]: Taking taylor expansion of 1/3 in b1
0.922 * [taylor]: Taking taylor expansion of (+ (log a1) (log (/ 1 b1))) in b1
0.922 * [taylor]: Taking taylor expansion of (log a1) in b1
0.922 * [taylor]: Taking taylor expansion of a1 in b1
0.922 * [taylor]: Taking taylor expansion of (log (/ 1 b1)) in b1
0.922 * [taylor]: Taking taylor expansion of (/ 1 b1) in b1
0.923 * [taylor]: Taking taylor expansion of b1 in b1
0.923 * [taylor]: Taking taylor expansion of 0 in b2
0.924 * [taylor]: Taking taylor expansion of 0 in a1
0.924 * [taylor]: Taking taylor expansion of 0 in b1
0.924 * [taylor]: Taking taylor expansion of 0 in b1
0.925 * [taylor]: Taking taylor expansion of 0 in b2
0.925 * [taylor]: Taking taylor expansion of 0 in a1
0.925 * [taylor]: Taking taylor expansion of 0 in b1
0.926 * [taylor]: Taking taylor expansion of 0 in a1
0.926 * [taylor]: Taking taylor expansion of 0 in b1
0.926 * [taylor]: Taking taylor expansion of 0 in b1
0.926 * [approximate]: Taking taylor expansion of (* (pow (/ b1 a1) 1/3) (/ b2 a2)) in (a2 b2 a1 b1) around 0
0.926 * [taylor]: Taking taylor expansion of (* (pow (/ b1 a1) 1/3) (/ b2 a2)) in b1
0.926 * [taylor]: Taking taylor expansion of (pow (/ b1 a1) 1/3) in b1
0.926 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ b1 a1)))) in b1
0.926 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ b1 a1))) in b1
0.926 * [taylor]: Taking taylor expansion of 1/3 in b1
0.926 * [taylor]: Taking taylor expansion of (log (/ b1 a1)) in b1
0.926 * [taylor]: Taking taylor expansion of (/ b1 a1) in b1
0.926 * [taylor]: Taking taylor expansion of b1 in b1
0.926 * [taylor]: Taking taylor expansion of a1 in b1
0.927 * [taylor]: Taking taylor expansion of (/ b2 a2) in b1
0.927 * [taylor]: Taking taylor expansion of b2 in b1
0.927 * [taylor]: Taking taylor expansion of a2 in b1
0.927 * [taylor]: Taking taylor expansion of (* (pow (/ b1 a1) 1/3) (/ b2 a2)) in a1
0.927 * [taylor]: Taking taylor expansion of (pow (/ b1 a1) 1/3) in a1
0.927 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ b1 a1)))) in a1
0.927 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ b1 a1))) in a1
0.927 * [taylor]: Taking taylor expansion of 1/3 in a1
0.927 * [taylor]: Taking taylor expansion of (log (/ b1 a1)) in a1
0.927 * [taylor]: Taking taylor expansion of (/ b1 a1) in a1
0.927 * [taylor]: Taking taylor expansion of b1 in a1
0.927 * [taylor]: Taking taylor expansion of a1 in a1
0.927 * [taylor]: Taking taylor expansion of (/ b2 a2) in a1
0.927 * [taylor]: Taking taylor expansion of b2 in a1
0.927 * [taylor]: Taking taylor expansion of a2 in a1
0.927 * [taylor]: Taking taylor expansion of (* (pow (/ b1 a1) 1/3) (/ b2 a2)) in b2
0.927 * [taylor]: Taking taylor expansion of (pow (/ b1 a1) 1/3) in b2
0.927 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ b1 a1)))) in b2
0.927 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ b1 a1))) in b2
0.927 * [taylor]: Taking taylor expansion of 1/3 in b2
0.927 * [taylor]: Taking taylor expansion of (log (/ b1 a1)) in b2
0.927 * [taylor]: Taking taylor expansion of (/ b1 a1) in b2
0.927 * [taylor]: Taking taylor expansion of b1 in b2
0.927 * [taylor]: Taking taylor expansion of a1 in b2
0.927 * [taylor]: Taking taylor expansion of (/ b2 a2) in b2
0.927 * [taylor]: Taking taylor expansion of b2 in b2
0.927 * [taylor]: Taking taylor expansion of a2 in b2
0.927 * [taylor]: Taking taylor expansion of (* (pow (/ b1 a1) 1/3) (/ b2 a2)) in a2
0.927 * [taylor]: Taking taylor expansion of (pow (/ b1 a1) 1/3) in a2
0.927 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ b1 a1)))) in a2
0.927 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ b1 a1))) in a2
0.927 * [taylor]: Taking taylor expansion of 1/3 in a2
0.927 * [taylor]: Taking taylor expansion of (log (/ b1 a1)) in a2
0.927 * [taylor]: Taking taylor expansion of (/ b1 a1) in a2
0.927 * [taylor]: Taking taylor expansion of b1 in a2
0.927 * [taylor]: Taking taylor expansion of a1 in a2
0.927 * [taylor]: Taking taylor expansion of (/ b2 a2) in a2
0.927 * [taylor]: Taking taylor expansion of b2 in a2
0.927 * [taylor]: Taking taylor expansion of a2 in a2
0.928 * [taylor]: Taking taylor expansion of (* (pow (/ b1 a1) 1/3) (/ b2 a2)) in a2
0.928 * [taylor]: Taking taylor expansion of (pow (/ b1 a1) 1/3) in a2
0.928 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ b1 a1)))) in a2
0.928 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ b1 a1))) in a2
0.928 * [taylor]: Taking taylor expansion of 1/3 in a2
0.928 * [taylor]: Taking taylor expansion of (log (/ b1 a1)) in a2
0.928 * [taylor]: Taking taylor expansion of (/ b1 a1) in a2
0.928 * [taylor]: Taking taylor expansion of b1 in a2
0.928 * [taylor]: Taking taylor expansion of a1 in a2
0.928 * [taylor]: Taking taylor expansion of (/ b2 a2) in a2
0.928 * [taylor]: Taking taylor expansion of b2 in a2
0.928 * [taylor]: Taking taylor expansion of a2 in a2
0.928 * [taylor]: Taking taylor expansion of (* (pow (/ b1 a1) 1/3) b2) in b2
0.928 * [taylor]: Taking taylor expansion of (pow (/ b1 a1) 1/3) in b2
0.928 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ b1 a1)))) in b2
0.928 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ b1 a1))) in b2
0.928 * [taylor]: Taking taylor expansion of 1/3 in b2
0.928 * [taylor]: Taking taylor expansion of (log (/ b1 a1)) in b2
0.928 * [taylor]: Taking taylor expansion of (/ b1 a1) in b2
0.928 * [taylor]: Taking taylor expansion of b1 in b2
0.928 * [taylor]: Taking taylor expansion of a1 in b2
0.928 * [taylor]: Taking taylor expansion of b2 in b2
0.929 * [taylor]: Taking taylor expansion of (pow (/ b1 a1) 1/3) in a1
0.929 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ b1 a1)))) in a1
0.929 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ b1 a1))) in a1
0.929 * [taylor]: Taking taylor expansion of 1/3 in a1
0.929 * [taylor]: Taking taylor expansion of (log (/ b1 a1)) in a1
0.929 * [taylor]: Taking taylor expansion of (/ b1 a1) in a1
0.929 * [taylor]: Taking taylor expansion of b1 in a1
0.929 * [taylor]: Taking taylor expansion of a1 in a1
0.929 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log b1) (log a1)))) in b1
0.929 * [taylor]: Taking taylor expansion of (* 1/3 (- (log b1) (log a1))) in b1
0.929 * [taylor]: Taking taylor expansion of 1/3 in b1
0.929 * [taylor]: Taking taylor expansion of (- (log b1) (log a1)) in b1
0.929 * [taylor]: Taking taylor expansion of (log b1) in b1
0.929 * [taylor]: Taking taylor expansion of b1 in b1
0.929 * [taylor]: Taking taylor expansion of (log a1) in b1
0.929 * [taylor]: Taking taylor expansion of a1 in b1
0.930 * [taylor]: Taking taylor expansion of 0 in b2
0.930 * [taylor]: Taking taylor expansion of 0 in a1
0.930 * [taylor]: Taking taylor expansion of 0 in b1
0.930 * [taylor]: Taking taylor expansion of 0 in a1
0.930 * [taylor]: Taking taylor expansion of 0 in b1
0.931 * [taylor]: Taking taylor expansion of 0 in b1
0.932 * [taylor]: Taking taylor expansion of 0 in b2
0.932 * [taylor]: Taking taylor expansion of 0 in a1
0.932 * [taylor]: Taking taylor expansion of 0 in b1
0.932 * [taylor]: Taking taylor expansion of 0 in a1
0.932 * [taylor]: Taking taylor expansion of 0 in b1
0.932 * [approximate]: Taking taylor expansion of (* (pow (/ b1 a1) 1/3) (/ b2 a2)) in (a2 b2 a1 b1) around 0
0.932 * [taylor]: Taking taylor expansion of (* (pow (/ b1 a1) 1/3) (/ b2 a2)) in b1
0.932 * [taylor]: Taking taylor expansion of (pow (/ b1 a1) 1/3) in b1
0.932 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ b1 a1)))) in b1
0.932 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ b1 a1))) in b1
0.932 * [taylor]: Taking taylor expansion of 1/3 in b1
0.932 * [taylor]: Taking taylor expansion of (log (/ b1 a1)) in b1
0.932 * [taylor]: Taking taylor expansion of (/ b1 a1) in b1
0.932 * [taylor]: Taking taylor expansion of b1 in b1
0.932 * [taylor]: Taking taylor expansion of a1 in b1
0.932 * [taylor]: Taking taylor expansion of (/ b2 a2) in b1
0.933 * [taylor]: Taking taylor expansion of b2 in b1
0.933 * [taylor]: Taking taylor expansion of a2 in b1
0.933 * [taylor]: Taking taylor expansion of (* (pow (/ b1 a1) 1/3) (/ b2 a2)) in a1
0.933 * [taylor]: Taking taylor expansion of (pow (/ b1 a1) 1/3) in a1
0.933 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ b1 a1)))) in a1
0.933 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ b1 a1))) in a1
0.933 * [taylor]: Taking taylor expansion of 1/3 in a1
0.933 * [taylor]: Taking taylor expansion of (log (/ b1 a1)) in a1
0.933 * [taylor]: Taking taylor expansion of (/ b1 a1) in a1
0.933 * [taylor]: Taking taylor expansion of b1 in a1
0.933 * [taylor]: Taking taylor expansion of a1 in a1
0.933 * [taylor]: Taking taylor expansion of (/ b2 a2) in a1
0.933 * [taylor]: Taking taylor expansion of b2 in a1
0.933 * [taylor]: Taking taylor expansion of a2 in a1
0.933 * [taylor]: Taking taylor expansion of (* (pow (/ b1 a1) 1/3) (/ b2 a2)) in b2
0.933 * [taylor]: Taking taylor expansion of (pow (/ b1 a1) 1/3) in b2
0.933 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ b1 a1)))) in b2
0.933 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ b1 a1))) in b2
0.933 * [taylor]: Taking taylor expansion of 1/3 in b2
0.933 * [taylor]: Taking taylor expansion of (log (/ b1 a1)) in b2
0.933 * [taylor]: Taking taylor expansion of (/ b1 a1) in b2
0.933 * [taylor]: Taking taylor expansion of b1 in b2
0.933 * [taylor]: Taking taylor expansion of a1 in b2
0.933 * [taylor]: Taking taylor expansion of (/ b2 a2) in b2
0.933 * [taylor]: Taking taylor expansion of b2 in b2
0.933 * [taylor]: Taking taylor expansion of a2 in b2
0.933 * [taylor]: Taking taylor expansion of (* (pow (/ b1 a1) 1/3) (/ b2 a2)) in a2
0.933 * [taylor]: Taking taylor expansion of (pow (/ b1 a1) 1/3) in a2
0.933 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ b1 a1)))) in a2
0.933 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ b1 a1))) in a2
0.933 * [taylor]: Taking taylor expansion of 1/3 in a2
0.933 * [taylor]: Taking taylor expansion of (log (/ b1 a1)) in a2
0.933 * [taylor]: Taking taylor expansion of (/ b1 a1) in a2
0.933 * [taylor]: Taking taylor expansion of b1 in a2
0.933 * [taylor]: Taking taylor expansion of a1 in a2
0.933 * [taylor]: Taking taylor expansion of (/ b2 a2) in a2
0.933 * [taylor]: Taking taylor expansion of b2 in a2
0.933 * [taylor]: Taking taylor expansion of a2 in a2
0.933 * [taylor]: Taking taylor expansion of (* (pow (/ b1 a1) 1/3) (/ b2 a2)) in a2
0.934 * [taylor]: Taking taylor expansion of (pow (/ b1 a1) 1/3) in a2
0.934 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ b1 a1)))) in a2
0.934 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ b1 a1))) in a2
0.934 * [taylor]: Taking taylor expansion of 1/3 in a2
0.934 * [taylor]: Taking taylor expansion of (log (/ b1 a1)) in a2
0.934 * [taylor]: Taking taylor expansion of (/ b1 a1) in a2
0.934 * [taylor]: Taking taylor expansion of b1 in a2
0.934 * [taylor]: Taking taylor expansion of a1 in a2
0.934 * [taylor]: Taking taylor expansion of (/ b2 a2) in a2
0.934 * [taylor]: Taking taylor expansion of b2 in a2
0.934 * [taylor]: Taking taylor expansion of a2 in a2
0.934 * [taylor]: Taking taylor expansion of (* (pow (/ b1 a1) 1/3) b2) in b2
0.934 * [taylor]: Taking taylor expansion of (pow (/ b1 a1) 1/3) in b2
0.934 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ b1 a1)))) in b2
0.934 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ b1 a1))) in b2
0.934 * [taylor]: Taking taylor expansion of 1/3 in b2
0.934 * [taylor]: Taking taylor expansion of (log (/ b1 a1)) in b2
0.934 * [taylor]: Taking taylor expansion of (/ b1 a1) in b2
0.934 * [taylor]: Taking taylor expansion of b1 in b2
0.934 * [taylor]: Taking taylor expansion of a1 in b2
0.934 * [taylor]: Taking taylor expansion of b2 in b2
0.935 * [taylor]: Taking taylor expansion of (pow (/ b1 a1) 1/3) in a1
0.935 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ b1 a1)))) in a1
0.935 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ b1 a1))) in a1
0.935 * [taylor]: Taking taylor expansion of 1/3 in a1
0.935 * [taylor]: Taking taylor expansion of (log (/ b1 a1)) in a1
0.935 * [taylor]: Taking taylor expansion of (/ b1 a1) in a1
0.935 * [taylor]: Taking taylor expansion of b1 in a1
0.935 * [taylor]: Taking taylor expansion of a1 in a1
0.935 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log b1) (log a1)))) in b1
0.935 * [taylor]: Taking taylor expansion of (* 1/3 (- (log b1) (log a1))) in b1
0.935 * [taylor]: Taking taylor expansion of 1/3 in b1
0.935 * [taylor]: Taking taylor expansion of (- (log b1) (log a1)) in b1
0.935 * [taylor]: Taking taylor expansion of (log b1) in b1
0.935 * [taylor]: Taking taylor expansion of b1 in b1
0.935 * [taylor]: Taking taylor expansion of (log a1) in b1
0.935 * [taylor]: Taking taylor expansion of a1 in b1
0.936 * [taylor]: Taking taylor expansion of 0 in b2
0.936 * [taylor]: Taking taylor expansion of 0 in a1
0.936 * [taylor]: Taking taylor expansion of 0 in b1
0.936 * [taylor]: Taking taylor expansion of 0 in a1
0.937 * [taylor]: Taking taylor expansion of 0 in b1
0.937 * [taylor]: Taking taylor expansion of 0 in b1
0.938 * [taylor]: Taking taylor expansion of 0 in b2
0.938 * [taylor]: Taking taylor expansion of 0 in a1
0.938 * [taylor]: Taking taylor expansion of 0 in b1
0.938 * [taylor]: Taking taylor expansion of 0 in a1
0.938 * [taylor]: Taking taylor expansion of 0 in b1
0.938 * * * * [progress]: [ 2 / 4 ] generating series at (2)
0.938 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (a1 b1 a2 b2) around 0
0.938 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2
0.938 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.938 * [taylor]: Taking taylor expansion of a1 in b2
0.938 * [taylor]: Taking taylor expansion of a2 in b2
0.938 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.938 * [taylor]: Taking taylor expansion of b1 in b2
0.939 * [taylor]: Taking taylor expansion of b2 in b2
0.939 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
0.939 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.939 * [taylor]: Taking taylor expansion of a1 in a2
0.939 * [taylor]: Taking taylor expansion of a2 in a2
0.939 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.939 * [taylor]: Taking taylor expansion of b1 in a2
0.939 * [taylor]: Taking taylor expansion of b2 in a2
0.939 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1
0.939 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.939 * [taylor]: Taking taylor expansion of a1 in b1
0.939 * [taylor]: Taking taylor expansion of a2 in b1
0.939 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.939 * [taylor]: Taking taylor expansion of b1 in b1
0.939 * [taylor]: Taking taylor expansion of b2 in b1
0.939 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
0.939 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.939 * [taylor]: Taking taylor expansion of a1 in a1
0.939 * [taylor]: Taking taylor expansion of a2 in a1
0.939 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.939 * [taylor]: Taking taylor expansion of b1 in a1
0.939 * [taylor]: Taking taylor expansion of b2 in a1
0.939 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
0.939 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.939 * [taylor]: Taking taylor expansion of a1 in a1
0.939 * [taylor]: Taking taylor expansion of a2 in a1
0.939 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.939 * [taylor]: Taking taylor expansion of b1 in a1
0.939 * [taylor]: Taking taylor expansion of b2 in a1
0.939 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b1
0.939 * [taylor]: Taking taylor expansion of a2 in b1
0.939 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.939 * [taylor]: Taking taylor expansion of b1 in b1
0.939 * [taylor]: Taking taylor expansion of b2 in b1
0.939 * [taylor]: Taking taylor expansion of (/ a2 b2) in a2
0.939 * [taylor]: Taking taylor expansion of a2 in a2
0.939 * [taylor]: Taking taylor expansion of b2 in a2
0.940 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
0.940 * [taylor]: Taking taylor expansion of b2 in b2
0.940 * [taylor]: Taking taylor expansion of 0 in b1
0.940 * [taylor]: Taking taylor expansion of 0 in a2
0.940 * [taylor]: Taking taylor expansion of 0 in b2
0.940 * [taylor]: Taking taylor expansion of 0 in b2
0.940 * [taylor]: Taking taylor expansion of 0 in b1
0.940 * [taylor]: Taking taylor expansion of 0 in a2
0.940 * [taylor]: Taking taylor expansion of 0 in b2
0.940 * [taylor]: Taking taylor expansion of 0 in a2
0.940 * [taylor]: Taking taylor expansion of 0 in b2
0.940 * [taylor]: Taking taylor expansion of 0 in b2
0.940 * [taylor]: Taking taylor expansion of 0 in b2
0.941 * [taylor]: Taking taylor expansion of 0 in b1
0.941 * [taylor]: Taking taylor expansion of 0 in a2
0.941 * [taylor]: Taking taylor expansion of 0 in b2
0.941 * [taylor]: Taking taylor expansion of 0 in a2
0.941 * [taylor]: Taking taylor expansion of 0 in b2
0.941 * [taylor]: Taking taylor expansion of 0 in a2
0.941 * [taylor]: Taking taylor expansion of 0 in b2
0.941 * [taylor]: Taking taylor expansion of 0 in b2
0.941 * [taylor]: Taking taylor expansion of 0 in b2
0.941 * [taylor]: Taking taylor expansion of 0 in b2
0.941 * [taylor]: Taking taylor expansion of 0 in b2
0.942 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 b1 a2 b2) around 0
0.942 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.942 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.942 * [taylor]: Taking taylor expansion of b1 in b2
0.942 * [taylor]: Taking taylor expansion of b2 in b2
0.942 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.942 * [taylor]: Taking taylor expansion of a1 in b2
0.942 * [taylor]: Taking taylor expansion of a2 in b2
0.942 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.942 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.942 * [taylor]: Taking taylor expansion of b1 in a2
0.942 * [taylor]: Taking taylor expansion of b2 in a2
0.942 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.942 * [taylor]: Taking taylor expansion of a1 in a2
0.942 * [taylor]: Taking taylor expansion of a2 in a2
0.942 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.942 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.942 * [taylor]: Taking taylor expansion of b1 in b1
0.942 * [taylor]: Taking taylor expansion of b2 in b1
0.942 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.942 * [taylor]: Taking taylor expansion of a1 in b1
0.942 * [taylor]: Taking taylor expansion of a2 in b1
0.942 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.942 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.942 * [taylor]: Taking taylor expansion of b1 in a1
0.942 * [taylor]: Taking taylor expansion of b2 in a1
0.942 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.942 * [taylor]: Taking taylor expansion of a1 in a1
0.942 * [taylor]: Taking taylor expansion of a2 in a1
0.942 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.942 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.942 * [taylor]: Taking taylor expansion of b1 in a1
0.942 * [taylor]: Taking taylor expansion of b2 in a1
0.942 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.942 * [taylor]: Taking taylor expansion of a1 in a1
0.942 * [taylor]: Taking taylor expansion of a2 in a1
0.942 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1
0.942 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.942 * [taylor]: Taking taylor expansion of b1 in b1
0.943 * [taylor]: Taking taylor expansion of b2 in b1
0.943 * [taylor]: Taking taylor expansion of a2 in b1
0.943 * [taylor]: Taking taylor expansion of (/ b2 a2) in a2
0.943 * [taylor]: Taking taylor expansion of b2 in a2
0.943 * [taylor]: Taking taylor expansion of a2 in a2
0.943 * [taylor]: Taking taylor expansion of b2 in b2
0.943 * [taylor]: Taking taylor expansion of 0 in b1
0.943 * [taylor]: Taking taylor expansion of 0 in a2
0.943 * [taylor]: Taking taylor expansion of 0 in a2
0.943 * [taylor]: Taking taylor expansion of 0 in b2
0.943 * [taylor]: Taking taylor expansion of 0 in b1
0.943 * [taylor]: Taking taylor expansion of 0 in a2
0.943 * [taylor]: Taking taylor expansion of 0 in a2
0.943 * [taylor]: Taking taylor expansion of 0 in a2
0.943 * [taylor]: Taking taylor expansion of 0 in b2
0.943 * [taylor]: Taking taylor expansion of 0 in b2
0.943 * [taylor]: Taking taylor expansion of 0 in b2
0.944 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 b1 a2 b2) around 0
0.944 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.944 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.944 * [taylor]: Taking taylor expansion of b1 in b2
0.944 * [taylor]: Taking taylor expansion of b2 in b2
0.944 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.944 * [taylor]: Taking taylor expansion of a1 in b2
0.944 * [taylor]: Taking taylor expansion of a2 in b2
0.944 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.944 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.944 * [taylor]: Taking taylor expansion of b1 in a2
0.944 * [taylor]: Taking taylor expansion of b2 in a2
0.944 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.944 * [taylor]: Taking taylor expansion of a1 in a2
0.944 * [taylor]: Taking taylor expansion of a2 in a2
0.945 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.945 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.945 * [taylor]: Taking taylor expansion of b1 in b1
0.945 * [taylor]: Taking taylor expansion of b2 in b1
0.945 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.945 * [taylor]: Taking taylor expansion of a1 in b1
0.945 * [taylor]: Taking taylor expansion of a2 in b1
0.945 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.945 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.945 * [taylor]: Taking taylor expansion of b1 in a1
0.945 * [taylor]: Taking taylor expansion of b2 in a1
0.945 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.945 * [taylor]: Taking taylor expansion of a1 in a1
0.945 * [taylor]: Taking taylor expansion of a2 in a1
0.945 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.945 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.945 * [taylor]: Taking taylor expansion of b1 in a1
0.945 * [taylor]: Taking taylor expansion of b2 in a1
0.945 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.945 * [taylor]: Taking taylor expansion of a1 in a1
0.945 * [taylor]: Taking taylor expansion of a2 in a1
0.945 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1
0.945 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.945 * [taylor]: Taking taylor expansion of b1 in b1
0.945 * [taylor]: Taking taylor expansion of b2 in b1
0.945 * [taylor]: Taking taylor expansion of a2 in b1
0.945 * [taylor]: Taking taylor expansion of (/ b2 a2) in a2
0.945 * [taylor]: Taking taylor expansion of b2 in a2
0.945 * [taylor]: Taking taylor expansion of a2 in a2
0.945 * [taylor]: Taking taylor expansion of b2 in b2
0.945 * [taylor]: Taking taylor expansion of 0 in b1
0.945 * [taylor]: Taking taylor expansion of 0 in a2
0.946 * [taylor]: Taking taylor expansion of 0 in a2
0.946 * [taylor]: Taking taylor expansion of 0 in b2
0.946 * [taylor]: Taking taylor expansion of 0 in b1
0.946 * [taylor]: Taking taylor expansion of 0 in a2
0.946 * [taylor]: Taking taylor expansion of 0 in a2
0.946 * [taylor]: Taking taylor expansion of 0 in a2
0.946 * [taylor]: Taking taylor expansion of 0 in b2
0.946 * [taylor]: Taking taylor expansion of 0 in b2
0.946 * [taylor]: Taking taylor expansion of 0 in b2
0.946 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1)
0.946 * [approximate]: Taking taylor expansion of (pow a1 1/3) in (a1) around 0
0.946 * [taylor]: Taking taylor expansion of (pow a1 1/3) in a1
0.946 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a1))) in a1
0.946 * [taylor]: Taking taylor expansion of (* 1/3 (log a1)) in a1
0.946 * [taylor]: Taking taylor expansion of 1/3 in a1
0.946 * [taylor]: Taking taylor expansion of (log a1) in a1
0.946 * [taylor]: Taking taylor expansion of a1 in a1
0.947 * [taylor]: Taking taylor expansion of (pow a1 1/3) in a1
0.947 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a1))) in a1
0.947 * [taylor]: Taking taylor expansion of (* 1/3 (log a1)) in a1
0.947 * [taylor]: Taking taylor expansion of 1/3 in a1
0.947 * [taylor]: Taking taylor expansion of (log a1) in a1
0.947 * [taylor]: Taking taylor expansion of a1 in a1
0.953 * [approximate]: Taking taylor expansion of (pow (/ 1 a1) 1/3) in (a1) around 0
0.953 * [taylor]: Taking taylor expansion of (pow (/ 1 a1) 1/3) in a1
0.953 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a1)))) in a1
0.953 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a1))) in a1
0.953 * [taylor]: Taking taylor expansion of 1/3 in a1
0.953 * [taylor]: Taking taylor expansion of (log (/ 1 a1)) in a1
0.953 * [taylor]: Taking taylor expansion of (/ 1 a1) in a1
0.953 * [taylor]: Taking taylor expansion of a1 in a1
0.953 * [taylor]: Taking taylor expansion of (pow (/ 1 a1) 1/3) in a1
0.953 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a1)))) in a1
0.953 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a1))) in a1
0.953 * [taylor]: Taking taylor expansion of 1/3 in a1
0.953 * [taylor]: Taking taylor expansion of (log (/ 1 a1)) in a1
0.953 * [taylor]: Taking taylor expansion of (/ 1 a1) in a1
0.953 * [taylor]: Taking taylor expansion of a1 in a1
0.959 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a1) 1/3)) in (a1) around 0
0.959 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a1) 1/3)) in a1
0.959 * [taylor]: Taking taylor expansion of (cbrt -1) in a1
0.959 * [taylor]: Taking taylor expansion of -1 in a1
0.959 * [taylor]: Taking taylor expansion of (pow (/ 1 a1) 1/3) in a1
0.960 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a1)))) in a1
0.960 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a1))) in a1
0.960 * [taylor]: Taking taylor expansion of 1/3 in a1
0.960 * [taylor]: Taking taylor expansion of (log (/ 1 a1)) in a1
0.960 * [taylor]: Taking taylor expansion of (/ 1 a1) in a1
0.960 * [taylor]: Taking taylor expansion of a1 in a1
0.960 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a1) 1/3)) in a1
0.960 * [taylor]: Taking taylor expansion of (cbrt -1) in a1
0.960 * [taylor]: Taking taylor expansion of -1 in a1
0.960 * [taylor]: Taking taylor expansion of (pow (/ 1 a1) 1/3) in a1
0.960 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a1)))) in a1
0.960 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a1))) in a1
0.960 * [taylor]: Taking taylor expansion of 1/3 in a1
0.960 * [taylor]: Taking taylor expansion of (log (/ 1 a1)) in a1
0.960 * [taylor]: Taking taylor expansion of (/ 1 a1) in a1
0.960 * [taylor]: Taking taylor expansion of a1 in a1
0.968 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
0.968 * [approximate]: Taking taylor expansion of (pow a1 1/3) in (a1) around 0
0.968 * [taylor]: Taking taylor expansion of (pow a1 1/3) in a1
0.968 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a1))) in a1
0.968 * [taylor]: Taking taylor expansion of (* 1/3 (log a1)) in a1
0.968 * [taylor]: Taking taylor expansion of 1/3 in a1
0.968 * [taylor]: Taking taylor expansion of (log a1) in a1
0.968 * [taylor]: Taking taylor expansion of a1 in a1
0.968 * [taylor]: Taking taylor expansion of (pow a1 1/3) in a1
0.968 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a1))) in a1
0.968 * [taylor]: Taking taylor expansion of (* 1/3 (log a1)) in a1
0.968 * [taylor]: Taking taylor expansion of 1/3 in a1
0.968 * [taylor]: Taking taylor expansion of (log a1) in a1
0.968 * [taylor]: Taking taylor expansion of a1 in a1
0.974 * [approximate]: Taking taylor expansion of (pow (/ 1 a1) 1/3) in (a1) around 0
0.974 * [taylor]: Taking taylor expansion of (pow (/ 1 a1) 1/3) in a1
0.974 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a1)))) in a1
0.974 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a1))) in a1
0.974 * [taylor]: Taking taylor expansion of 1/3 in a1
0.974 * [taylor]: Taking taylor expansion of (log (/ 1 a1)) in a1
0.974 * [taylor]: Taking taylor expansion of (/ 1 a1) in a1
0.974 * [taylor]: Taking taylor expansion of a1 in a1
0.974 * [taylor]: Taking taylor expansion of (pow (/ 1 a1) 1/3) in a1
0.974 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a1)))) in a1
0.974 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a1))) in a1
0.974 * [taylor]: Taking taylor expansion of 1/3 in a1
0.974 * [taylor]: Taking taylor expansion of (log (/ 1 a1)) in a1
0.974 * [taylor]: Taking taylor expansion of (/ 1 a1) in a1
0.974 * [taylor]: Taking taylor expansion of a1 in a1
0.981 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a1) 1/3)) in (a1) around 0
0.981 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a1) 1/3)) in a1
0.981 * [taylor]: Taking taylor expansion of (cbrt -1) in a1
0.981 * [taylor]: Taking taylor expansion of -1 in a1
0.981 * [taylor]: Taking taylor expansion of (pow (/ 1 a1) 1/3) in a1
0.981 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a1)))) in a1
0.981 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a1))) in a1
0.981 * [taylor]: Taking taylor expansion of 1/3 in a1
0.981 * [taylor]: Taking taylor expansion of (log (/ 1 a1)) in a1
0.981 * [taylor]: Taking taylor expansion of (/ 1 a1) in a1
0.981 * [taylor]: Taking taylor expansion of a1 in a1
0.981 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a1) 1/3)) in a1
0.981 * [taylor]: Taking taylor expansion of (cbrt -1) in a1
0.981 * [taylor]: Taking taylor expansion of -1 in a1
0.981 * [taylor]: Taking taylor expansion of (pow (/ 1 a1) 1/3) in a1
0.981 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a1)))) in a1
0.981 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a1))) in a1
0.981 * [taylor]: Taking taylor expansion of 1/3 in a1
0.981 * [taylor]: Taking taylor expansion of (log (/ 1 a1)) in a1
0.981 * [taylor]: Taking taylor expansion of (/ 1 a1) in a1
0.981 * [taylor]: Taking taylor expansion of a1 in a1
0.993 * * * [progress]: simplifying candidates
0.995 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (/ a2 b2) (/ (cbrt a1) (cbrt b1)))
  (+ (- (log a2) (log b2)) (- (log (cbrt a1)) (log (cbrt b1))))
  (+ (- (log a2) (log b2)) (log (/ (cbrt a1) (cbrt b1))))
  (+ (log (/ a2 b2)) (- (log (cbrt a1)) (log (cbrt b1))))
  (+ (log (/ a2 b2)) (log (/ (cbrt a1) (cbrt b1))))
  (log (* (/ a2 b2) (/ (cbrt a1) (cbrt b1))))
  (exp (* (/ a2 b2) (/ (cbrt a1) (cbrt b1))))
  (* (/ (* (* a2 a2) a2) (* (* b2 b2) b2)) (/ a1 b1))
  (* (/ (* (* a2 a2) a2) (* (* b2 b2) b2)) (* (* (/ (cbrt a1) (cbrt b1)) (/ (cbrt a1) (cbrt b1))) (/ (cbrt a1) (cbrt b1))))
  (* (* (* (/ a2 b2) (/ a2 b2)) (/ a2 b2)) (/ a1 b1))
  (* (* (* (/ a2 b2) (/ a2 b2)) (/ a2 b2)) (* (* (/ (cbrt a1) (cbrt b1)) (/ (cbrt a1) (cbrt b1))) (/ (cbrt a1) (cbrt b1))))
  (* (cbrt (* (/ a2 b2) (/ (cbrt a1) (cbrt b1)))) (cbrt (* (/ a2 b2) (/ (cbrt a1) (cbrt b1)))))
  (cbrt (* (/ a2 b2) (/ (cbrt a1) (cbrt b1))))
  (* (* (* (/ a2 b2) (/ (cbrt a1) (cbrt b1))) (* (/ a2 b2) (/ (cbrt a1) (cbrt b1)))) (* (/ a2 b2) (/ (cbrt a1) (cbrt b1))))
  (sqrt (* (/ a2 b2) (/ (cbrt a1) (cbrt b1))))
  (sqrt (* (/ a2 b2) (/ (cbrt a1) (cbrt b1))))
  (* a2 (cbrt a1))
  (* b2 (cbrt b1))
  (* (sqrt (/ a2 b2)) (sqrt (/ (cbrt a1) (cbrt b1))))
  (* (sqrt (/ a2 b2)) (sqrt (/ (cbrt a1) (cbrt b1))))
  (* (sqrt (/ a2 b2)) (/ (cbrt (sqrt a1)) (cbrt (sqrt b1))))
  (* (sqrt (/ a2 b2)) (/ (cbrt (sqrt a1)) (cbrt (sqrt b1))))
  (* (sqrt (/ a2 b2)) (/ (cbrt (sqrt a1)) (sqrt (cbrt b1))))
  (* (sqrt (/ a2 b2)) (/ (cbrt (sqrt a1)) (sqrt (cbrt b1))))
  (* (sqrt (/ a2 b2)) (/ (sqrt (cbrt a1)) (cbrt (sqrt b1))))
  (* (sqrt (/ a2 b2)) (/ (sqrt (cbrt a1)) (cbrt (sqrt b1))))
  (* (sqrt (/ a2 b2)) (/ (sqrt (cbrt a1)) (sqrt (cbrt b1))))
  (* (sqrt (/ a2 b2)) (/ (sqrt (cbrt a1)) (sqrt (cbrt b1))))
  (* (/ (sqrt a2) (sqrt b2)) (sqrt (/ (cbrt a1) (cbrt b1))))
  (* (/ (sqrt a2) (sqrt b2)) (sqrt (/ (cbrt a1) (cbrt b1))))
  (* (/ (sqrt a2) (sqrt b2)) (/ (cbrt (sqrt a1)) (cbrt (sqrt b1))))
  (* (/ (sqrt a2) (sqrt b2)) (/ (cbrt (sqrt a1)) (cbrt (sqrt b1))))
  (* (/ (sqrt a2) (sqrt b2)) (/ (cbrt (sqrt a1)) (sqrt (cbrt b1))))
  (* (/ (sqrt a2) (sqrt b2)) (/ (cbrt (sqrt a1)) (sqrt (cbrt b1))))
  (* (/ (sqrt a2) (sqrt b2)) (/ (sqrt (cbrt a1)) (cbrt (sqrt b1))))
  (* (/ (sqrt a2) (sqrt b2)) (/ (sqrt (cbrt a1)) (cbrt (sqrt b1))))
  (* (/ (sqrt a2) (sqrt b2)) (/ (sqrt (cbrt a1)) (sqrt (cbrt b1))))
  (* (/ (sqrt a2) (sqrt b2)) (/ (sqrt (cbrt a1)) (sqrt (cbrt b1))))
  (* (/ a2 b2) (* (cbrt (/ (cbrt a1) (cbrt b1))) (cbrt (/ (cbrt a1) (cbrt b1)))))
  (* (/ a2 b2) (sqrt (/ (cbrt a1) (cbrt b1))))
  (* (/ a2 b2) (/ (cbrt (* (cbrt a1) (cbrt a1))) (cbrt (* (cbrt b1) (cbrt b1)))))
  (* (/ a2 b2) (/ (cbrt (* (cbrt a1) (cbrt a1))) (cbrt (sqrt b1))))
  (* (/ a2 b2) (/ (cbrt (* (cbrt a1) (cbrt a1))) (cbrt 1)))
  (* (/ a2 b2) (/ (cbrt (* (cbrt a1) (cbrt a1))) (* (cbrt (cbrt b1)) (cbrt (cbrt b1)))))
  (* (/ a2 b2) (/ (cbrt (* (cbrt a1) (cbrt a1))) (sqrt (cbrt b1))))
  (* (/ a2 b2) (/ (cbrt (* (cbrt a1) (cbrt a1))) 1))
  (* (/ a2 b2) (/ (cbrt (sqrt a1)) (cbrt (* (cbrt b1) (cbrt b1)))))
  (* (/ a2 b2) (/ (cbrt (sqrt a1)) (cbrt (sqrt b1))))
  (* (/ a2 b2) (/ (cbrt (sqrt a1)) (cbrt 1)))
  (* (/ a2 b2) (/ (cbrt (sqrt a1)) (* (cbrt (cbrt b1)) (cbrt (cbrt b1)))))
  (* (/ a2 b2) (/ (cbrt (sqrt a1)) (sqrt (cbrt b1))))
  (* (/ a2 b2) (/ (cbrt (sqrt a1)) 1))
  (* (/ a2 b2) (/ (cbrt 1) (cbrt (* (cbrt b1) (cbrt b1)))))
  (* (/ a2 b2) (/ (cbrt 1) (cbrt (sqrt b1))))
  (* (/ a2 b2) (/ (cbrt 1) (cbrt 1)))
  (* (/ a2 b2) (/ (cbrt 1) (* (cbrt (cbrt b1)) (cbrt (cbrt b1)))))
  (* (/ a2 b2) (/ (cbrt 1) (sqrt (cbrt b1))))
  (* (/ a2 b2) (/ (cbrt 1) 1))
  (* (/ a2 b2) (/ (* (cbrt (cbrt a1)) (cbrt (cbrt a1))) (cbrt (* (cbrt b1) (cbrt b1)))))
  (* (/ a2 b2) (/ (* (cbrt (cbrt a1)) (cbrt (cbrt a1))) (cbrt (sqrt b1))))
  (* (/ a2 b2) (/ (* (cbrt (cbrt a1)) (cbrt (cbrt a1))) (cbrt 1)))
  (* (/ a2 b2) (/ (* (cbrt (cbrt a1)) (cbrt (cbrt a1))) (* (cbrt (cbrt b1)) (cbrt (cbrt b1)))))
  (* (/ a2 b2) (/ (* (cbrt (cbrt a1)) (cbrt (cbrt a1))) (sqrt (cbrt b1))))
  (* (/ a2 b2) (/ (* (cbrt (cbrt a1)) (cbrt (cbrt a1))) 1))
  (* (/ a2 b2) (/ (sqrt (cbrt a1)) (cbrt (* (cbrt b1) (cbrt b1)))))
  (* (/ a2 b2) (/ (sqrt (cbrt a1)) (cbrt (sqrt b1))))
  (* (/ a2 b2) (/ (sqrt (cbrt a1)) (cbrt 1)))
  (* (/ a2 b2) (/ (sqrt (cbrt a1)) (* (cbrt (cbrt b1)) (cbrt (cbrt b1)))))
  (* (/ a2 b2) (/ (sqrt (cbrt a1)) (sqrt (cbrt b1))))
  (* (/ a2 b2) (/ (sqrt (cbrt a1)) 1))
  (* (/ a2 b2) (/ 1 (cbrt (* (cbrt b1) (cbrt b1)))))
  (* (/ a2 b2) (/ 1 (cbrt (sqrt b1))))
  (* (/ a2 b2) (/ 1 (cbrt 1)))
  (* (/ a2 b2) (/ 1 (* (cbrt (cbrt b1)) (cbrt (cbrt b1)))))
  (* (/ a2 b2) (/ 1 (sqrt (cbrt b1))))
  (* (/ a2 b2) (/ 1 1))
  (* (/ a2 b2) 1)
  (* (/ a2 b2) (cbrt a1))
  (* (cbrt (/ a2 b2)) (/ (cbrt a1) (cbrt b1)))
  (* (sqrt (/ a2 b2)) (/ (cbrt a1) (cbrt b1)))
  (* (/ (cbrt a2) (cbrt b2)) (/ (cbrt a1) (cbrt b1)))
  (* (/ (cbrt a2) (sqrt b2)) (/ (cbrt a1) (cbrt b1)))
  (* (/ (cbrt a2) b2) (/ (cbrt a1) (cbrt b1)))
  (* (/ (sqrt a2) (cbrt b2)) (/ (cbrt a1) (cbrt b1)))
  (* (/ (sqrt a2) (sqrt b2)) (/ (cbrt a1) (cbrt b1)))
  (* (/ (sqrt a2) b2) (/ (cbrt a1) (cbrt b1)))
  (* (/ a2 (cbrt b2)) (/ (cbrt a1) (cbrt b1)))
  (* (/ a2 (sqrt b2)) (/ (cbrt a1) (cbrt b1)))
  (* (/ a2 b2) (/ (cbrt a1) (cbrt b1)))
  (* (/ a2 b2) (/ (cbrt a1) (cbrt b1)))
  (* (/ 1 b2) (/ (cbrt a1) (cbrt b1)))
  (* (/ a2 b2) (cbrt a1))
  (* a2 (/ (cbrt a1) (cbrt b1)))
  (* (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1))) (* (/ a2 b2) (/ (cbrt a1) (cbrt b1))))
  (* (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1))) (* (/ a2 b2) (/ (cbrt a1) (cbrt b1))))
  (+ (- (+ (log (cbrt a1)) (log (cbrt a1))) (+ (log (cbrt b1)) (log (cbrt b1)))) (+ (- (log a2) (log b2)) (- (log (cbrt a1)) (log (cbrt b1)))))
  (+ (- (+ (log (cbrt a1)) (log (cbrt a1))) (+ (log (cbrt b1)) (log (cbrt b1)))) (+ (- (log a2) (log b2)) (log (/ (cbrt a1) (cbrt b1)))))
  (+ (- (+ (log (cbrt a1)) (log (cbrt a1))) (+ (log (cbrt b1)) (log (cbrt b1)))) (+ (log (/ a2 b2)) (- (log (cbrt a1)) (log (cbrt b1)))))
  (+ (- (+ (log (cbrt a1)) (log (cbrt a1))) (+ (log (cbrt b1)) (log (cbrt b1)))) (+ (log (/ a2 b2)) (log (/ (cbrt a1) (cbrt b1)))))
  (+ (- (+ (log (cbrt a1)) (log (cbrt a1))) (+ (log (cbrt b1)) (log (cbrt b1)))) (log (* (/ a2 b2) (/ (cbrt a1) (cbrt b1)))))
  (+ (- (+ (log (cbrt a1)) (log (cbrt a1))) (log (* (cbrt b1) (cbrt b1)))) (+ (- (log a2) (log b2)) (- (log (cbrt a1)) (log (cbrt b1)))))
  (+ (- (+ (log (cbrt a1)) (log (cbrt a1))) (log (* (cbrt b1) (cbrt b1)))) (+ (- (log a2) (log b2)) (log (/ (cbrt a1) (cbrt b1)))))
  (+ (- (+ (log (cbrt a1)) (log (cbrt a1))) (log (* (cbrt b1) (cbrt b1)))) (+ (log (/ a2 b2)) (- (log (cbrt a1)) (log (cbrt b1)))))
  (+ (- (+ (log (cbrt a1)) (log (cbrt a1))) (log (* (cbrt b1) (cbrt b1)))) (+ (log (/ a2 b2)) (log (/ (cbrt a1) (cbrt b1)))))
  (+ (- (+ (log (cbrt a1)) (log (cbrt a1))) (log (* (cbrt b1) (cbrt b1)))) (log (* (/ a2 b2) (/ (cbrt a1) (cbrt b1)))))
  (+ (- (log (* (cbrt a1) (cbrt a1))) (+ (log (cbrt b1)) (log (cbrt b1)))) (+ (- (log a2) (log b2)) (- (log (cbrt a1)) (log (cbrt b1)))))
  (+ (- (log (* (cbrt a1) (cbrt a1))) (+ (log (cbrt b1)) (log (cbrt b1)))) (+ (- (log a2) (log b2)) (log (/ (cbrt a1) (cbrt b1)))))
  (+ (- (log (* (cbrt a1) (cbrt a1))) (+ (log (cbrt b1)) (log (cbrt b1)))) (+ (log (/ a2 b2)) (- (log (cbrt a1)) (log (cbrt b1)))))
  (+ (- (log (* (cbrt a1) (cbrt a1))) (+ (log (cbrt b1)) (log (cbrt b1)))) (+ (log (/ a2 b2)) (log (/ (cbrt a1) (cbrt b1)))))
  (+ (- (log (* (cbrt a1) (cbrt a1))) (+ (log (cbrt b1)) (log (cbrt b1)))) (log (* (/ a2 b2) (/ (cbrt a1) (cbrt b1)))))
  (+ (- (log (* (cbrt a1) (cbrt a1))) (log (* (cbrt b1) (cbrt b1)))) (+ (- (log a2) (log b2)) (- (log (cbrt a1)) (log (cbrt b1)))))
  (+ (- (log (* (cbrt a1) (cbrt a1))) (log (* (cbrt b1) (cbrt b1)))) (+ (- (log a2) (log b2)) (log (/ (cbrt a1) (cbrt b1)))))
  (+ (- (log (* (cbrt a1) (cbrt a1))) (log (* (cbrt b1) (cbrt b1)))) (+ (log (/ a2 b2)) (- (log (cbrt a1)) (log (cbrt b1)))))
  (+ (- (log (* (cbrt a1) (cbrt a1))) (log (* (cbrt b1) (cbrt b1)))) (+ (log (/ a2 b2)) (log (/ (cbrt a1) (cbrt b1)))))
  (+ (- (log (* (cbrt a1) (cbrt a1))) (log (* (cbrt b1) (cbrt b1)))) (log (* (/ a2 b2) (/ (cbrt a1) (cbrt b1)))))
  (+ (log (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1)))) (+ (- (log a2) (log b2)) (- (log (cbrt a1)) (log (cbrt b1)))))
  (+ (log (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1)))) (+ (- (log a2) (log b2)) (log (/ (cbrt a1) (cbrt b1)))))
  (+ (log (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1)))) (+ (log (/ a2 b2)) (- (log (cbrt a1)) (log (cbrt b1)))))
  (+ (log (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1)))) (+ (log (/ a2 b2)) (log (/ (cbrt a1) (cbrt b1)))))
  (+ (log (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1)))) (log (* (/ a2 b2) (/ (cbrt a1) (cbrt b1)))))
  (log (* (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1))) (* (/ a2 b2) (/ (cbrt a1) (cbrt b1)))))
  (exp (* (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1))) (* (/ a2 b2) (/ (cbrt a1) (cbrt b1)))))
  (* (/ (* a1 a1) (* b1 b1)) (* (/ (* (* a2 a2) a2) (* (* b2 b2) b2)) (/ a1 b1)))
  (* (/ (* a1 a1) (* b1 b1)) (* (/ (* (* a2 a2) a2) (* (* b2 b2) b2)) (* (* (/ (cbrt a1) (cbrt b1)) (/ (cbrt a1) (cbrt b1))) (/ (cbrt a1) (cbrt b1)))))
  (* (/ (* a1 a1) (* b1 b1)) (* (* (* (/ a2 b2) (/ a2 b2)) (/ a2 b2)) (/ a1 b1)))
  (* (/ (* a1 a1) (* b1 b1)) (* (* (* (/ a2 b2) (/ a2 b2)) (/ a2 b2)) (* (* (/ (cbrt a1) (cbrt b1)) (/ (cbrt a1) (cbrt b1))) (/ (cbrt a1) (cbrt b1)))))
  (* (/ (* a1 a1) (* b1 b1)) (* (* (* (/ a2 b2) (/ (cbrt a1) (cbrt b1))) (* (/ a2 b2) (/ (cbrt a1) (cbrt b1)))) (* (/ a2 b2) (/ (cbrt a1) (cbrt b1)))))
  (* (/ (* a1 a1) (* (* (* (cbrt b1) (cbrt b1)) (* (cbrt b1) (cbrt b1))) (* (cbrt b1) (cbrt b1)))) (* (/ (* (* a2 a2) a2) (* (* b2 b2) b2)) (/ a1 b1)))
  (* (/ (* a1 a1) (* (* (* (cbrt b1) (cbrt b1)) (* (cbrt b1) (cbrt b1))) (* (cbrt b1) (cbrt b1)))) (* (/ (* (* a2 a2) a2) (* (* b2 b2) b2)) (* (* (/ (cbrt a1) (cbrt b1)) (/ (cbrt a1) (cbrt b1))) (/ (cbrt a1) (cbrt b1)))))
  (* (/ (* a1 a1) (* (* (* (cbrt b1) (cbrt b1)) (* (cbrt b1) (cbrt b1))) (* (cbrt b1) (cbrt b1)))) (* (* (* (/ a2 b2) (/ a2 b2)) (/ a2 b2)) (/ a1 b1)))
  (* (/ (* a1 a1) (* (* (* (cbrt b1) (cbrt b1)) (* (cbrt b1) (cbrt b1))) (* (cbrt b1) (cbrt b1)))) (* (* (* (/ a2 b2) (/ a2 b2)) (/ a2 b2)) (* (* (/ (cbrt a1) (cbrt b1)) (/ (cbrt a1) (cbrt b1))) (/ (cbrt a1) (cbrt b1)))))
  (* (/ (* a1 a1) (* (* (* (cbrt b1) (cbrt b1)) (* (cbrt b1) (cbrt b1))) (* (cbrt b1) (cbrt b1)))) (* (* (* (/ a2 b2) (/ (cbrt a1) (cbrt b1))) (* (/ a2 b2) (/ (cbrt a1) (cbrt b1)))) (* (/ a2 b2) (/ (cbrt a1) (cbrt b1)))))
  (* (/ (* (* (* (cbrt a1) (cbrt a1)) (* (cbrt a1) (cbrt a1))) (* (cbrt a1) (cbrt a1))) (* b1 b1)) (* (/ (* (* a2 a2) a2) (* (* b2 b2) b2)) (/ a1 b1)))
  (* (/ (* (* (* (cbrt a1) (cbrt a1)) (* (cbrt a1) (cbrt a1))) (* (cbrt a1) (cbrt a1))) (* b1 b1)) (* (/ (* (* a2 a2) a2) (* (* b2 b2) b2)) (* (* (/ (cbrt a1) (cbrt b1)) (/ (cbrt a1) (cbrt b1))) (/ (cbrt a1) (cbrt b1)))))
  (* (/ (* (* (* (cbrt a1) (cbrt a1)) (* (cbrt a1) (cbrt a1))) (* (cbrt a1) (cbrt a1))) (* b1 b1)) (* (* (* (/ a2 b2) (/ a2 b2)) (/ a2 b2)) (/ a1 b1)))
  (* (/ (* (* (* (cbrt a1) (cbrt a1)) (* (cbrt a1) (cbrt a1))) (* (cbrt a1) (cbrt a1))) (* b1 b1)) (* (* (* (/ a2 b2) (/ a2 b2)) (/ a2 b2)) (* (* (/ (cbrt a1) (cbrt b1)) (/ (cbrt a1) (cbrt b1))) (/ (cbrt a1) (cbrt b1)))))
  (* (/ (* (* (* (cbrt a1) (cbrt a1)) (* (cbrt a1) (cbrt a1))) (* (cbrt a1) (cbrt a1))) (* b1 b1)) (* (* (* (/ a2 b2) (/ (cbrt a1) (cbrt b1))) (* (/ a2 b2) (/ (cbrt a1) (cbrt b1)))) (* (/ a2 b2) (/ (cbrt a1) (cbrt b1)))))
  (* (/ (* (* (* (cbrt a1) (cbrt a1)) (* (cbrt a1) (cbrt a1))) (* (cbrt a1) (cbrt a1))) (* (* (* (cbrt b1) (cbrt b1)) (* (cbrt b1) (cbrt b1))) (* (cbrt b1) (cbrt b1)))) (* (/ (* (* a2 a2) a2) (* (* b2 b2) b2)) (/ a1 b1)))
  (* (/ (* (* (* (cbrt a1) (cbrt a1)) (* (cbrt a1) (cbrt a1))) (* (cbrt a1) (cbrt a1))) (* (* (* (cbrt b1) (cbrt b1)) (* (cbrt b1) (cbrt b1))) (* (cbrt b1) (cbrt b1)))) (* (/ (* (* a2 a2) a2) (* (* b2 b2) b2)) (* (* (/ (cbrt a1) (cbrt b1)) (/ (cbrt a1) (cbrt b1))) (/ (cbrt a1) (cbrt b1)))))
  (* (/ (* (* (* (cbrt a1) (cbrt a1)) (* (cbrt a1) (cbrt a1))) (* (cbrt a1) (cbrt a1))) (* (* (* (cbrt b1) (cbrt b1)) (* (cbrt b1) (cbrt b1))) (* (cbrt b1) (cbrt b1)))) (* (* (* (/ a2 b2) (/ a2 b2)) (/ a2 b2)) (/ a1 b1)))
  (* (/ (* (* (* (cbrt a1) (cbrt a1)) (* (cbrt a1) (cbrt a1))) (* (cbrt a1) (cbrt a1))) (* (* (* (cbrt b1) (cbrt b1)) (* (cbrt b1) (cbrt b1))) (* (cbrt b1) (cbrt b1)))) (* (* (* (/ a2 b2) (/ a2 b2)) (/ a2 b2)) (* (* (/ (cbrt a1) (cbrt b1)) (/ (cbrt a1) (cbrt b1))) (/ (cbrt a1) (cbrt b1)))))
  (* (/ (* (* (* (cbrt a1) (cbrt a1)) (* (cbrt a1) (cbrt a1))) (* (cbrt a1) (cbrt a1))) (* (* (* (cbrt b1) (cbrt b1)) (* (cbrt b1) (cbrt b1))) (* (cbrt b1) (cbrt b1)))) (* (* (* (/ a2 b2) (/ (cbrt a1) (cbrt b1))) (* (/ a2 b2) (/ (cbrt a1) (cbrt b1)))) (* (/ a2 b2) (/ (cbrt a1) (cbrt b1)))))
  (* (* (* (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1))) (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1)))) (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1)))) (* (/ (* (* a2 a2) a2) (* (* b2 b2) b2)) (/ a1 b1)))
  (* (* (* (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1))) (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1)))) (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1)))) (* (/ (* (* a2 a2) a2) (* (* b2 b2) b2)) (* (* (/ (cbrt a1) (cbrt b1)) (/ (cbrt a1) (cbrt b1))) (/ (cbrt a1) (cbrt b1)))))
  (* (* (* (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1))) (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1)))) (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1)))) (* (* (* (/ a2 b2) (/ a2 b2)) (/ a2 b2)) (/ a1 b1)))
  (* (* (* (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1))) (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1)))) (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1)))) (* (* (* (/ a2 b2) (/ a2 b2)) (/ a2 b2)) (* (* (/ (cbrt a1) (cbrt b1)) (/ (cbrt a1) (cbrt b1))) (/ (cbrt a1) (cbrt b1)))))
  (* (* (* (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1))) (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1)))) (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1)))) (* (* (* (/ a2 b2) (/ (cbrt a1) (cbrt b1))) (* (/ a2 b2) (/ (cbrt a1) (cbrt b1)))) (* (/ a2 b2) (/ (cbrt a1) (cbrt b1)))))
  (* (cbrt (* (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1))) (* (/ a2 b2) (/ (cbrt a1) (cbrt b1))))) (cbrt (* (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1))) (* (/ a2 b2) (/ (cbrt a1) (cbrt b1))))))
  (cbrt (* (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1))) (* (/ a2 b2) (/ (cbrt a1) (cbrt b1)))))
  (* (* (* (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1))) (* (/ a2 b2) (/ (cbrt a1) (cbrt b1)))) (* (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1))) (* (/ a2 b2) (/ (cbrt a1) (cbrt b1))))) (* (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1))) (* (/ a2 b2) (/ (cbrt a1) (cbrt b1)))))
  (sqrt (* (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1))) (* (/ a2 b2) (/ (cbrt a1) (cbrt b1)))))
  (sqrt (* (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1))) (* (/ a2 b2) (/ (cbrt a1) (cbrt b1)))))
  (* (* (cbrt a1) (cbrt a1)) (* a2 (cbrt a1)))
  (* (* (cbrt b1) (cbrt b1)) (* b2 (cbrt b1)))
  (* (* (cbrt a1) (cbrt a1)) (* (/ a2 b2) (cbrt a1)))
  (* (* (cbrt b1) (cbrt b1)) (cbrt b1))
  (* (* (cbrt a1) (cbrt a1)) (* a2 (/ (cbrt a1) (cbrt b1))))
  (* (* (cbrt b1) (cbrt b1)) b2)
  (* (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1))) (/ a2 b2))
  (* (cbrt (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1)))) (* (/ a2 b2) (/ (cbrt a1) (cbrt b1))))
  (* (sqrt (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1)))) (* (/ a2 b2) (/ (cbrt a1) (cbrt b1))))
  (* (/ (cbrt a1) (cbrt b1)) (* (/ a2 b2) (/ (cbrt a1) (cbrt b1))))
  (* (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1))) (* (/ a2 b2) (/ (cbrt a1) (cbrt b1))))
  (* (/ 1 (* (cbrt b1) (cbrt b1))) (* (/ a2 b2) (/ (cbrt a1) (cbrt b1))))
  (* (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1))) (* a2 (cbrt a1)))
  (* (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1))) (* (/ a2 b2) (cbrt a1)))
  (* (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1))) (* a2 (/ (cbrt a1) (cbrt b1))))
  (* (* (cbrt a1) (cbrt a1)) (* (/ a2 b2) (/ (cbrt a1) (cbrt b1))))
  (log (cbrt a1))
  (exp (cbrt a1))
  (cbrt (* (cbrt a1) (cbrt a1)))
  (cbrt (cbrt a1))
  (cbrt (sqrt a1))
  (cbrt (sqrt a1))
  (cbrt 1)
  (cbrt a1)
  (* (cbrt (cbrt a1)) (cbrt (cbrt a1)))
  (cbrt (cbrt a1))
  (* (* (cbrt a1) (cbrt a1)) (cbrt a1))
  (sqrt (cbrt a1))
  (sqrt (cbrt a1))
  (log (cbrt a1))
  (exp (cbrt a1))
  (cbrt (* (cbrt a1) (cbrt a1)))
  (cbrt (cbrt a1))
  (cbrt (sqrt a1))
  (cbrt (sqrt a1))
  (cbrt 1)
  (cbrt a1)
  (* (cbrt (cbrt a1)) (cbrt (cbrt a1)))
  (cbrt (cbrt a1))
  (* (* (cbrt a1) (cbrt a1)) (cbrt a1))
  (sqrt (cbrt a1))
  (sqrt (cbrt a1))
  (/ (* (exp (* 1/3 (- (+ (log 1) (log a1)) (log b1)))) a2) b2)
  (/ (* (exp (* 1/3 (- (+ (log 1) (log (/ 1 b1))) (log (/ 1 a1))))) a2) b2)
  (/ (* (exp (* 1/3 (- (+ (log 1) (log (/ -1 b1))) (log (/ -1 a1))))) a2) b2)
  (/ (* a1 a2) (* b1 b2))
  (/ (* a1 a2) (* b1 b2))
  (/ (* a1 a2) (* b1 b2))
  (exp (* 1/3 (+ (log 1) (log a1))))
  (exp (* 1/3 (- (log 1) (log (/ 1 a1)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 a1))))))
  (exp (* 1/3 (+ (log 1) (log a1))))
  (exp (* 1/3 (- (log 1) (log (/ 1 a1)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 a1))))))
1.077 * * [simplify]: iteration  0 :  4943  enodes  (cost  1778 )
1.077 * * [simplify]: iteration  1 :  4943  enodes  (cost  1778 )
1.083 * [simplify]: Simplified to:
   (* (/ a2 b2) (/ (cbrt a1) (cbrt b1)))
  (log (* (/ a2 b2) (/ (cbrt a1) (cbrt b1))))
  (log (* (/ a2 b2) (/ (cbrt a1) (cbrt b1))))
  (log (* (/ a2 b2) (/ (cbrt a1) (cbrt b1))))
  (log (* (/ a2 b2) (/ (cbrt a1) (cbrt b1))))
  (log (* (/ a2 b2) (/ (cbrt a1) (cbrt b1))))
  (pow (exp (/ a2 b2)) (/ (cbrt a1) (cbrt b1)))
  (* (pow (/ a2 b2) 3) (/ a1 b1))
  (* (pow (/ a2 b2) 3) (/ a1 b1))
  (* (pow (/ a2 b2) 3) (/ a1 b1))
  (* (pow (/ a2 b2) 3) (/ a1 b1))
  (* (cbrt (* (/ a2 b2) (/ (cbrt a1) (cbrt b1)))) (cbrt (* (/ a2 b2) (/ (cbrt a1) (cbrt b1)))))
  (cbrt (* (/ a2 b2) (/ (cbrt a1) (cbrt b1))))
  (* (pow (/ a2 b2) 3) (/ a1 b1))
  (sqrt (* (/ a2 b2) (/ (cbrt a1) (cbrt b1))))
  (sqrt (* (/ a2 b2) (/ (cbrt a1) (cbrt b1))))
  (* a2 (cbrt a1))
  (* b2 (cbrt b1))
  (* (sqrt (/ a2 b2)) (sqrt (/ (cbrt a1) (cbrt b1))))
  (* (sqrt (/ a2 b2)) (sqrt (/ (cbrt a1) (cbrt b1))))
  (* (sqrt (/ a2 b2)) (/ (cbrt (sqrt a1)) (cbrt (sqrt b1))))
  (* (sqrt (/ a2 b2)) (/ (cbrt (sqrt a1)) (cbrt (sqrt b1))))
  (* (sqrt (/ a2 b2)) (/ (cbrt (sqrt a1)) (sqrt (cbrt b1))))
  (* (sqrt (/ a2 b2)) (/ (cbrt (sqrt a1)) (sqrt (cbrt b1))))
  (* (sqrt (/ a2 b2)) (/ (sqrt (cbrt a1)) (cbrt (sqrt b1))))
  (* (sqrt (/ a2 b2)) (/ (sqrt (cbrt a1)) (cbrt (sqrt b1))))
  (* (sqrt (/ a2 b2)) (/ (sqrt (cbrt a1)) (sqrt (cbrt b1))))
  (* (sqrt (/ a2 b2)) (/ (sqrt (cbrt a1)) (sqrt (cbrt b1))))
  (* (sqrt (/ (cbrt a1) (cbrt b1))) (/ (sqrt a2) (sqrt b2)))
  (* (sqrt (/ (cbrt a1) (cbrt b1))) (/ (sqrt a2) (sqrt b2)))
  (* (/ (cbrt (sqrt a1)) (cbrt (sqrt b1))) (/ (sqrt a2) (sqrt b2)))
  (* (/ (cbrt (sqrt a1)) (cbrt (sqrt b1))) (/ (sqrt a2) (sqrt b2)))
  (* (/ (cbrt (sqrt a1)) (sqrt (cbrt b1))) (/ (sqrt a2) (sqrt b2)))
  (* (/ (cbrt (sqrt a1)) (sqrt (cbrt b1))) (/ (sqrt a2) (sqrt b2)))
  (* (/ (sqrt (cbrt a1)) (cbrt (sqrt b1))) (/ (sqrt a2) (sqrt b2)))
  (* (/ (sqrt (cbrt a1)) (cbrt (sqrt b1))) (/ (sqrt a2) (sqrt b2)))
  (* (/ (sqrt (cbrt a1)) (sqrt (cbrt b1))) (/ (sqrt a2) (sqrt b2)))
  (* (/ (sqrt (cbrt a1)) (sqrt (cbrt b1))) (/ (sqrt a2) (sqrt b2)))
  (* (/ a2 b2) (* (cbrt (/ (cbrt a1) (cbrt b1))) (cbrt (/ (cbrt a1) (cbrt b1)))))
  (* (/ a2 b2) (sqrt (/ (cbrt a1) (cbrt b1))))
  (* (/ a2 b2) (/ (cbrt (pow (cbrt a1) 2)) (cbrt (* (cbrt b1) (cbrt b1)))))
  (* (/ a2 b2) (/ (cbrt (pow (cbrt a1) 2)) (cbrt (sqrt b1))))
  (* (/ a2 b2) (cbrt (pow (cbrt a1) 2)))
  (* (/ a2 b2) (/ (cbrt (pow (cbrt a1) 2)) (* (cbrt (cbrt b1)) (cbrt (cbrt b1)))))
  (* (/ a2 b2) (/ (cbrt (pow (cbrt a1) 2)) (sqrt (cbrt b1))))
  (* (/ a2 b2) (cbrt (pow (cbrt a1) 2)))
  (* (/ a2 b2) (/ (cbrt (sqrt a1)) (cbrt (* (cbrt b1) (cbrt b1)))))
  (* (/ a2 b2) (/ (cbrt (sqrt a1)) (cbrt (sqrt b1))))
  (* (/ a2 b2) (cbrt (sqrt a1)))
  (* (/ a2 b2) (/ (cbrt (sqrt a1)) (* (cbrt (cbrt b1)) (cbrt (cbrt b1)))))
  (* (/ a2 b2) (/ (cbrt (sqrt a1)) (sqrt (cbrt b1))))
  (* (/ a2 b2) (cbrt (sqrt a1)))
  (/ a2 (* b2 (cbrt (* (cbrt b1) (cbrt b1)))))
  (/ a2 (* b2 (cbrt (sqrt b1))))
  (/ a2 b2)
  (/ a2 (* b2 (* (cbrt (cbrt b1)) (cbrt (cbrt b1)))))
  (/ a2 (* b2 (sqrt (cbrt b1))))
  (/ a2 b2)
  (* (/ a2 b2) (* (/ (cbrt (cbrt a1)) (cbrt (* (cbrt b1) (cbrt b1)))) (cbrt (cbrt a1))))
  (* (/ a2 b2) (* (/ (cbrt (cbrt a1)) (cbrt (sqrt b1))) (cbrt (cbrt a1))))
  (* (/ a2 b2) (* (cbrt (cbrt a1)) (cbrt (cbrt a1))))
  (* (/ a2 b2) (* (/ (cbrt (cbrt a1)) (cbrt (cbrt b1))) (/ (cbrt (cbrt a1)) (cbrt (cbrt b1)))))
  (* (/ a2 b2) (* (/ (cbrt (cbrt a1)) (sqrt (cbrt b1))) (cbrt (cbrt a1))))
  (* (/ a2 b2) (* (cbrt (cbrt a1)) (cbrt (cbrt a1))))
  (* (/ a2 b2) (/ (sqrt (cbrt a1)) (cbrt (* (cbrt b1) (cbrt b1)))))
  (* (/ a2 b2) (/ (sqrt (cbrt a1)) (cbrt (sqrt b1))))
  (* (/ a2 b2) (sqrt (cbrt a1)))
  (* (/ a2 b2) (/ (sqrt (cbrt a1)) (* (cbrt (cbrt b1)) (cbrt (cbrt b1)))))
  (* (/ a2 b2) (/ (sqrt (cbrt a1)) (sqrt (cbrt b1))))
  (* (/ a2 b2) (sqrt (cbrt a1)))
  (/ a2 (* b2 (cbrt (* (cbrt b1) (cbrt b1)))))
  (/ a2 (* b2 (cbrt (sqrt b1))))
  (/ a2 b2)
  (/ a2 (* b2 (* (cbrt (cbrt b1)) (cbrt (cbrt b1)))))
  (/ a2 (* b2 (sqrt (cbrt b1))))
  (/ a2 b2)
  (/ a2 b2)
  (* (/ a2 b2) (cbrt a1))
  (* (/ (cbrt a1) (cbrt b1)) (cbrt (/ a2 b2)))
  (* (/ (cbrt a1) (cbrt b1)) (sqrt (/ a2 b2)))
  (* (/ (cbrt a1) (cbrt b1)) (/ (cbrt a2) (cbrt b2)))
  (* (/ (cbrt a1) (cbrt b1)) (/ (cbrt a2) (sqrt b2)))
  (* (/ (cbrt a1) (cbrt b1)) (/ (cbrt a2) b2))
  (* (/ (cbrt a1) (cbrt b1)) (/ (sqrt a2) (cbrt b2)))
  (* (/ (cbrt a1) (cbrt b1)) (/ (sqrt a2) (sqrt b2)))
  (* (/ (cbrt a1) (cbrt b1)) (/ (sqrt a2) b2))
  (* (/ (cbrt a1) (cbrt b1)) (/ a2 (cbrt b2)))
  (* (/ (cbrt a1) (cbrt b1)) (/ a2 (sqrt b2)))
  (* (/ a2 b2) (/ (cbrt a1) (cbrt b1)))
  (* (/ a2 b2) (/ (cbrt a1) (cbrt b1)))
  (/ (/ (cbrt a1) (cbrt b1)) b2)
  (* (/ a2 b2) (cbrt a1))
  (* a2 (/ (cbrt a1) (cbrt b1)))
  (* (/ a2 b2) (/ a1 b1))
  (* (/ a2 b2) (/ a1 b1))
  (log (* (/ a2 b2) (/ a1 b1)))
  (log (* (/ a2 b2) (/ a1 b1)))
  (log (* (/ a2 b2) (/ a1 b1)))
  (log (* (/ a2 b2) (/ a1 b1)))
  (log (* (/ a2 b2) (/ a1 b1)))
  (log (* (/ a2 b2) (/ a1 b1)))
  (log (* (/ a2 b2) (/ a1 b1)))
  (log (* (/ a2 b2) (/ a1 b1)))
  (log (* (/ a2 b2) (/ a1 b1)))
  (log (* (/ a2 b2) (/ a1 b1)))
  (log (* (/ a2 b2) (/ a1 b1)))
  (log (* (/ a2 b2) (/ a1 b1)))
  (log (* (/ a2 b2) (/ a1 b1)))
  (log (* (/ a2 b2) (/ a1 b1)))
  (log (* (/ a2 b2) (/ a1 b1)))
  (log (* (/ a2 b2) (/ a1 b1)))
  (log (* (/ a2 b2) (/ a1 b1)))
  (log (* (/ a2 b2) (/ a1 b1)))
  (log (* (/ a2 b2) (/ a1 b1)))
  (log (* (/ a2 b2) (/ a1 b1)))
  (log (* (/ a2 b2) (/ a1 b1)))
  (log (* (/ a2 b2) (/ a1 b1)))
  (log (* (/ a2 b2) (/ a1 b1)))
  (log (* (/ a2 b2) (/ a1 b1)))
  (log (* (/ a2 b2) (/ a1 b1)))
  (log (* (/ a2 b2) (/ a1 b1)))
  (pow (exp (/ a2 b2)) (/ a1 b1))
  (pow (* (/ a2 b2) (/ a1 b1)) 3)
  (pow (* (/ a2 b2) (/ a1 b1)) 3)
  (pow (* (/ a2 b2) (/ a1 b1)) 3)
  (pow (* (/ a2 b2) (/ a1 b1)) 3)
  (pow (* (/ a2 b2) (/ a1 b1)) 3)
  (pow (* (/ a2 b2) (/ a1 b1)) 3)
  (pow (* (/ a2 b2) (/ a1 b1)) 3)
  (pow (* (/ a2 b2) (/ a1 b1)) 3)
  (pow (* (/ a2 b2) (/ a1 b1)) 3)
  (pow (* (/ a2 b2) (/ a1 b1)) 3)
  (pow (* (/ a2 b2) (/ a1 b1)) 3)
  (pow (* (/ a2 b2) (/ a1 b1)) 3)
  (pow (* (/ a2 b2) (/ a1 b1)) 3)
  (pow (* (/ a2 b2) (/ a1 b1)) 3)
  (pow (* (/ a2 b2) (/ a1 b1)) 3)
  (pow (* (/ a2 b2) (/ a1 b1)) 3)
  (pow (* (/ a2 b2) (/ a1 b1)) 3)
  (pow (* (/ a2 b2) (/ a1 b1)) 3)
  (pow (* (/ a2 b2) (/ a1 b1)) 3)
  (pow (* (/ a2 b2) (/ a1 b1)) 3)
  (pow (* (/ a2 b2) (/ a1 b1)) 3)
  (pow (* (/ a2 b2) (/ a1 b1)) 3)
  (pow (* (/ a2 b2) (/ a1 b1)) 3)
  (pow (* (/ a2 b2) (/ a1 b1)) 3)
  (pow (* (/ a2 b2) (/ a1 b1)) 3)
  (* (cbrt (* (/ a2 b2) (/ a1 b1))) (cbrt (* (/ a2 b2) (/ a1 b1))))
  (cbrt (* (/ a2 b2) (/ a1 b1)))
  (pow (* (/ a2 b2) (/ a1 b1)) 3)
  (sqrt (* (/ a2 b2) (/ a1 b1)))
  (sqrt (* (/ a2 b2) (/ a1 b1)))
  (* a2 a1)
  (* b2 b1)
  (* (/ a2 b2) a1)
  b1
  (/ (* a2 a1) (cbrt b1))
  (* b2 (* (cbrt b1) (cbrt b1)))
  (* (/ a2 b2) (/ (pow (cbrt a1) 2) (* (cbrt b1) (cbrt b1))))
  (* (/ a2 b2) (* (/ (cbrt a1) (cbrt b1)) (cbrt (/ (pow (cbrt a1) 2) (* (cbrt b1) (cbrt b1))))))
  (* (/ a2 b2) (* (/ (cbrt a1) (cbrt b1)) (fabs (/ (cbrt a1) (cbrt b1)))))
  (* (/ a2 b2) (/ (pow (cbrt a1) 2) (* (cbrt b1) (cbrt b1))))
  (* (/ a2 b2) (/ a1 b1))
  (* (/ (cbrt a1) (cbrt b1)) (/ (/ a2 b2) (* (cbrt b1) (cbrt b1))))
  (* a2 (/ a1 (* (cbrt b1) (cbrt b1))))
  (* (/ a2 b2) (/ a1 (* (cbrt b1) (cbrt b1))))
  (* a2 (/ a1 b1))
  (/ (* (/ a2 b2) a1) (cbrt b1))
  (log (cbrt a1))
  (exp (cbrt a1))
  (cbrt (pow (cbrt a1) 2))
  (cbrt (cbrt a1))
  (cbrt (sqrt a1))
  (cbrt (sqrt a1))
  1
  (cbrt a1)
  (* (cbrt (cbrt a1)) (cbrt (cbrt a1)))
  (cbrt (cbrt a1))
  a1
  (sqrt (cbrt a1))
  (sqrt (cbrt a1))
  (log (cbrt a1))
  (exp (cbrt a1))
  (cbrt (pow (cbrt a1) 2))
  (cbrt (cbrt a1))
  (cbrt (sqrt a1))
  (cbrt (sqrt a1))
  1
  (cbrt a1)
  (* (cbrt (cbrt a1)) (cbrt (cbrt a1)))
  (cbrt (cbrt a1))
  a1
  (sqrt (cbrt a1))
  (sqrt (cbrt a1))
  (* (/ a2 b2) (cbrt (/ a1 b1)))
  (* (/ a2 b2) (cbrt (* (/ 1 b1) a1)))
  (* (/ a2 b2) (cbrt (* (/ -1 b1) (* -1 a1))))
  (* (/ a2 b2) (/ a1 b1))
  (* (/ a2 b2) (/ a1 b1))
  (* (/ a2 b2) (/ a1 b1))
  (cbrt a1)
  (cbrt a1)
  (* (cbrt -1) (cbrt (* -1 a1)))
  (cbrt a1)
  (cbrt a1)
  (* (cbrt -1) (cbrt (* -1 a1)))
1.084 * * * [progress]: adding candidates to table
1.191 * * [progress]: iteration 4 / 4
1.191 * * * [progress]: picking best candidate
1.218 * * * * [pick]: Picked  #<alt (λ (a1 a2 b1 b2) (/ 1 (* b2 (/ b1 (* a1 a2)))))>
1.218 * * * [progress]: localizing error
1.224 * * * [progress]: generating rewritten candidates
1.224 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2)
1.229 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
1.235 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
1.244 * * * [progress]: generating series expansions
1.244 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2)
1.245 * [approximate]: Taking taylor expansion of (/ b1 (* a1 a2)) in (b1 a1 a2) around 0
1.245 * [taylor]: Taking taylor expansion of (/ b1 (* a1 a2)) in a2
1.245 * [taylor]: Taking taylor expansion of b1 in a2
1.245 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.245 * [taylor]: Taking taylor expansion of a1 in a2
1.245 * [taylor]: Taking taylor expansion of a2 in a2
1.245 * [taylor]: Taking taylor expansion of (/ b1 (* a1 a2)) in a1
1.245 * [taylor]: Taking taylor expansion of b1 in a1
1.245 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.245 * [taylor]: Taking taylor expansion of a1 in a1
1.245 * [taylor]: Taking taylor expansion of a2 in a1
1.245 * [taylor]: Taking taylor expansion of (/ b1 (* a1 a2)) in b1
1.245 * [taylor]: Taking taylor expansion of b1 in b1
1.245 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.245 * [taylor]: Taking taylor expansion of a1 in b1
1.245 * [taylor]: Taking taylor expansion of a2 in b1
1.245 * [taylor]: Taking taylor expansion of (/ b1 (* a1 a2)) in b1
1.245 * [taylor]: Taking taylor expansion of b1 in b1
1.245 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.245 * [taylor]: Taking taylor expansion of a1 in b1
1.245 * [taylor]: Taking taylor expansion of a2 in b1
1.245 * [taylor]: Taking taylor expansion of (/ 1 (* a1 a2)) in a1
1.245 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.245 * [taylor]: Taking taylor expansion of a1 in a1
1.245 * [taylor]: Taking taylor expansion of a2 in a1
1.245 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2
1.245 * [taylor]: Taking taylor expansion of a2 in a2
1.245 * [taylor]: Taking taylor expansion of 0 in a1
1.245 * [taylor]: Taking taylor expansion of 0 in a2
1.246 * [taylor]: Taking taylor expansion of 0 in a1
1.246 * [taylor]: Taking taylor expansion of 0 in a2
1.246 * [taylor]: Taking taylor expansion of 0 in a2
1.246 * [taylor]: Taking taylor expansion of 0 in a1
1.246 * [taylor]: Taking taylor expansion of 0 in a2
1.246 * [taylor]: Taking taylor expansion of 0 in a2
1.246 * [taylor]: Taking taylor expansion of 0 in a2
1.246 * [approximate]: Taking taylor expansion of (/ (* a1 a2) b1) in (b1 a1 a2) around 0
1.246 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b1) in a2
1.246 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.246 * [taylor]: Taking taylor expansion of a1 in a2
1.246 * [taylor]: Taking taylor expansion of a2 in a2
1.246 * [taylor]: Taking taylor expansion of b1 in a2
1.247 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b1) in a1
1.247 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.247 * [taylor]: Taking taylor expansion of a1 in a1
1.247 * [taylor]: Taking taylor expansion of a2 in a1
1.247 * [taylor]: Taking taylor expansion of b1 in a1
1.247 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b1) in b1
1.247 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.247 * [taylor]: Taking taylor expansion of a1 in b1
1.247 * [taylor]: Taking taylor expansion of a2 in b1
1.247 * [taylor]: Taking taylor expansion of b1 in b1
1.247 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b1) in b1
1.247 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.247 * [taylor]: Taking taylor expansion of a1 in b1
1.247 * [taylor]: Taking taylor expansion of a2 in b1
1.247 * [taylor]: Taking taylor expansion of b1 in b1
1.247 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.247 * [taylor]: Taking taylor expansion of a1 in a1
1.247 * [taylor]: Taking taylor expansion of a2 in a1
1.247 * [taylor]: Taking taylor expansion of a2 in a2
1.247 * [taylor]: Taking taylor expansion of 0 in a1
1.247 * [taylor]: Taking taylor expansion of 0 in a2
1.247 * [taylor]: Taking taylor expansion of 0 in a2
1.247 * [taylor]: Taking taylor expansion of 0 in a1
1.247 * [taylor]: Taking taylor expansion of 0 in a2
1.247 * [taylor]: Taking taylor expansion of 0 in a2
1.247 * [taylor]: Taking taylor expansion of 0 in a2
1.248 * [approximate]: Taking taylor expansion of (* -1 (/ (* a1 a2) b1)) in (b1 a1 a2) around 0
1.248 * [taylor]: Taking taylor expansion of (* -1 (/ (* a1 a2) b1)) in a2
1.248 * [taylor]: Taking taylor expansion of -1 in a2
1.248 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b1) in a2
1.248 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.248 * [taylor]: Taking taylor expansion of a1 in a2
1.248 * [taylor]: Taking taylor expansion of a2 in a2
1.248 * [taylor]: Taking taylor expansion of b1 in a2
1.248 * [taylor]: Taking taylor expansion of (* -1 (/ (* a1 a2) b1)) in a1
1.248 * [taylor]: Taking taylor expansion of -1 in a1
1.248 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b1) in a1
1.248 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.248 * [taylor]: Taking taylor expansion of a1 in a1
1.248 * [taylor]: Taking taylor expansion of a2 in a1
1.248 * [taylor]: Taking taylor expansion of b1 in a1
1.248 * [taylor]: Taking taylor expansion of (* -1 (/ (* a1 a2) b1)) in b1
1.248 * [taylor]: Taking taylor expansion of -1 in b1
1.248 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b1) in b1
1.248 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.248 * [taylor]: Taking taylor expansion of a1 in b1
1.248 * [taylor]: Taking taylor expansion of a2 in b1
1.248 * [taylor]: Taking taylor expansion of b1 in b1
1.248 * [taylor]: Taking taylor expansion of (* -1 (/ (* a1 a2) b1)) in b1
1.248 * [taylor]: Taking taylor expansion of -1 in b1
1.248 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b1) in b1
1.248 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.248 * [taylor]: Taking taylor expansion of a1 in b1
1.248 * [taylor]: Taking taylor expansion of a2 in b1
1.248 * [taylor]: Taking taylor expansion of b1 in b1
1.248 * [taylor]: Taking taylor expansion of (* -1 (* a1 a2)) in a1
1.248 * [taylor]: Taking taylor expansion of -1 in a1
1.248 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.248 * [taylor]: Taking taylor expansion of a1 in a1
1.248 * [taylor]: Taking taylor expansion of a2 in a1
1.248 * [taylor]: Taking taylor expansion of (neg a2) in a2
1.248 * [taylor]: Taking taylor expansion of a2 in a2
1.249 * [taylor]: Taking taylor expansion of 0 in a1
1.249 * [taylor]: Taking taylor expansion of 0 in a2
1.249 * [taylor]: Taking taylor expansion of 0 in a2
1.249 * [taylor]: Taking taylor expansion of 0 in a1
1.249 * [taylor]: Taking taylor expansion of 0 in a2
1.249 * [taylor]: Taking taylor expansion of 0 in a2
1.249 * [taylor]: Taking taylor expansion of 0 in a2
1.249 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
1.249 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (b2 b1 a1 a2) around 0
1.249 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
1.249 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.249 * [taylor]: Taking taylor expansion of b1 in a2
1.249 * [taylor]: Taking taylor expansion of b2 in a2
1.249 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.249 * [taylor]: Taking taylor expansion of a1 in a2
1.249 * [taylor]: Taking taylor expansion of a2 in a2
1.249 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
1.249 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.249 * [taylor]: Taking taylor expansion of b1 in a1
1.249 * [taylor]: Taking taylor expansion of b2 in a1
1.249 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.250 * [taylor]: Taking taylor expansion of a1 in a1
1.250 * [taylor]: Taking taylor expansion of a2 in a1
1.250 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
1.250 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.250 * [taylor]: Taking taylor expansion of b1 in b1
1.250 * [taylor]: Taking taylor expansion of b2 in b1
1.250 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.250 * [taylor]: Taking taylor expansion of a1 in b1
1.250 * [taylor]: Taking taylor expansion of a2 in b1
1.250 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
1.250 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.250 * [taylor]: Taking taylor expansion of b1 in b2
1.250 * [taylor]: Taking taylor expansion of b2 in b2
1.250 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
1.250 * [taylor]: Taking taylor expansion of a1 in b2
1.250 * [taylor]: Taking taylor expansion of a2 in b2
1.252 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
1.252 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.252 * [taylor]: Taking taylor expansion of b1 in b2
1.252 * [taylor]: Taking taylor expansion of b2 in b2
1.252 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
1.252 * [taylor]: Taking taylor expansion of a1 in b2
1.252 * [taylor]: Taking taylor expansion of a2 in b2
1.252 * [taylor]: Taking taylor expansion of (/ b1 (* a1 a2)) in b1
1.252 * [taylor]: Taking taylor expansion of b1 in b1
1.252 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.252 * [taylor]: Taking taylor expansion of a1 in b1
1.252 * [taylor]: Taking taylor expansion of a2 in b1
1.252 * [taylor]: Taking taylor expansion of (/ 1 (* a1 a2)) in a1
1.252 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.253 * [taylor]: Taking taylor expansion of a1 in a1
1.253 * [taylor]: Taking taylor expansion of a2 in a1
1.253 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2
1.253 * [taylor]: Taking taylor expansion of a2 in a2
1.253 * [taylor]: Taking taylor expansion of 0 in b1
1.253 * [taylor]: Taking taylor expansion of 0 in a1
1.253 * [taylor]: Taking taylor expansion of 0 in a1
1.253 * [taylor]: Taking taylor expansion of 0 in a2
1.253 * [taylor]: Taking taylor expansion of 0 in b1
1.253 * [taylor]: Taking taylor expansion of 0 in a1
1.253 * [taylor]: Taking taylor expansion of 0 in a1
1.253 * [taylor]: Taking taylor expansion of 0 in a1
1.253 * [taylor]: Taking taylor expansion of 0 in a2
1.253 * [taylor]: Taking taylor expansion of 0 in a2
1.254 * [taylor]: Taking taylor expansion of 0 in a2
1.254 * [taylor]: Taking taylor expansion of 0 in b1
1.254 * [taylor]: Taking taylor expansion of 0 in a1
1.254 * [taylor]: Taking taylor expansion of 0 in a1
1.254 * [taylor]: Taking taylor expansion of 0 in a1
1.254 * [taylor]: Taking taylor expansion of 0 in a1
1.254 * [taylor]: Taking taylor expansion of 0 in a2
1.254 * [taylor]: Taking taylor expansion of 0 in a2
1.254 * [taylor]: Taking taylor expansion of 0 in a2
1.254 * [taylor]: Taking taylor expansion of 0 in a2
1.254 * [taylor]: Taking taylor expansion of 0 in a2
1.254 * [taylor]: Taking taylor expansion of 0 in a2
1.255 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (b2 b1 a1 a2) around 0
1.255 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
1.255 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.255 * [taylor]: Taking taylor expansion of a1 in a2
1.255 * [taylor]: Taking taylor expansion of a2 in a2
1.255 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.255 * [taylor]: Taking taylor expansion of b1 in a2
1.255 * [taylor]: Taking taylor expansion of b2 in a2
1.255 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
1.255 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.255 * [taylor]: Taking taylor expansion of a1 in a1
1.255 * [taylor]: Taking taylor expansion of a2 in a1
1.255 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.255 * [taylor]: Taking taylor expansion of b1 in a1
1.255 * [taylor]: Taking taylor expansion of b2 in a1
1.255 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1
1.255 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.255 * [taylor]: Taking taylor expansion of a1 in b1
1.255 * [taylor]: Taking taylor expansion of a2 in b1
1.255 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.255 * [taylor]: Taking taylor expansion of b1 in b1
1.255 * [taylor]: Taking taylor expansion of b2 in b1
1.255 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2
1.255 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
1.255 * [taylor]: Taking taylor expansion of a1 in b2
1.255 * [taylor]: Taking taylor expansion of a2 in b2
1.255 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.255 * [taylor]: Taking taylor expansion of b1 in b2
1.255 * [taylor]: Taking taylor expansion of b2 in b2
1.255 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2
1.255 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
1.255 * [taylor]: Taking taylor expansion of a1 in b2
1.255 * [taylor]: Taking taylor expansion of a2 in b2
1.255 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.255 * [taylor]: Taking taylor expansion of b1 in b2
1.255 * [taylor]: Taking taylor expansion of b2 in b2
1.256 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b1) in b1
1.256 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.256 * [taylor]: Taking taylor expansion of a1 in b1
1.256 * [taylor]: Taking taylor expansion of a2 in b1
1.256 * [taylor]: Taking taylor expansion of b1 in b1
1.256 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.256 * [taylor]: Taking taylor expansion of a1 in a1
1.256 * [taylor]: Taking taylor expansion of a2 in a1
1.256 * [taylor]: Taking taylor expansion of a2 in a2
1.256 * [taylor]: Taking taylor expansion of 0 in b1
1.256 * [taylor]: Taking taylor expansion of 0 in a1
1.256 * [taylor]: Taking taylor expansion of 0 in a2
1.256 * [taylor]: Taking taylor expansion of 0 in a2
1.256 * [taylor]: Taking taylor expansion of 0 in b1
1.256 * [taylor]: Taking taylor expansion of 0 in a1
1.256 * [taylor]: Taking taylor expansion of 0 in a2
1.256 * [taylor]: Taking taylor expansion of 0 in a1
1.256 * [taylor]: Taking taylor expansion of 0 in a2
1.256 * [taylor]: Taking taylor expansion of 0 in a2
1.257 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (b2 b1 a1 a2) around 0
1.257 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
1.257 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.257 * [taylor]: Taking taylor expansion of a1 in a2
1.257 * [taylor]: Taking taylor expansion of a2 in a2
1.257 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.257 * [taylor]: Taking taylor expansion of b1 in a2
1.257 * [taylor]: Taking taylor expansion of b2 in a2
1.257 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
1.257 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.257 * [taylor]: Taking taylor expansion of a1 in a1
1.257 * [taylor]: Taking taylor expansion of a2 in a1
1.257 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.257 * [taylor]: Taking taylor expansion of b1 in a1
1.257 * [taylor]: Taking taylor expansion of b2 in a1
1.257 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1
1.257 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.257 * [taylor]: Taking taylor expansion of a1 in b1
1.257 * [taylor]: Taking taylor expansion of a2 in b1
1.257 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.257 * [taylor]: Taking taylor expansion of b1 in b1
1.257 * [taylor]: Taking taylor expansion of b2 in b1
1.257 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2
1.257 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
1.257 * [taylor]: Taking taylor expansion of a1 in b2
1.257 * [taylor]: Taking taylor expansion of a2 in b2
1.257 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.257 * [taylor]: Taking taylor expansion of b1 in b2
1.257 * [taylor]: Taking taylor expansion of b2 in b2
1.257 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2
1.257 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
1.257 * [taylor]: Taking taylor expansion of a1 in b2
1.257 * [taylor]: Taking taylor expansion of a2 in b2
1.257 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.257 * [taylor]: Taking taylor expansion of b1 in b2
1.257 * [taylor]: Taking taylor expansion of b2 in b2
1.258 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b1) in b1
1.258 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.258 * [taylor]: Taking taylor expansion of a1 in b1
1.258 * [taylor]: Taking taylor expansion of a2 in b1
1.258 * [taylor]: Taking taylor expansion of b1 in b1
1.258 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.258 * [taylor]: Taking taylor expansion of a1 in a1
1.258 * [taylor]: Taking taylor expansion of a2 in a1
1.258 * [taylor]: Taking taylor expansion of a2 in a2
1.258 * [taylor]: Taking taylor expansion of 0 in b1
1.258 * [taylor]: Taking taylor expansion of 0 in a1
1.258 * [taylor]: Taking taylor expansion of 0 in a2
1.258 * [taylor]: Taking taylor expansion of 0 in a2
1.258 * [taylor]: Taking taylor expansion of 0 in b1
1.258 * [taylor]: Taking taylor expansion of 0 in a1
1.258 * [taylor]: Taking taylor expansion of 0 in a2
1.258 * [taylor]: Taking taylor expansion of 0 in a1
1.258 * [taylor]: Taking taylor expansion of 0 in a2
1.259 * [taylor]: Taking taylor expansion of 0 in a2
1.259 * * * * [progress]: [ 3 / 3 ] generating series at (2)
1.259 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (b2 b1 a1 a2) around 0
1.259 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
1.259 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.259 * [taylor]: Taking taylor expansion of a1 in a2
1.259 * [taylor]: Taking taylor expansion of a2 in a2
1.259 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.259 * [taylor]: Taking taylor expansion of b1 in a2
1.259 * [taylor]: Taking taylor expansion of b2 in a2
1.259 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
1.259 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.259 * [taylor]: Taking taylor expansion of a1 in a1
1.259 * [taylor]: Taking taylor expansion of a2 in a1
1.259 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.259 * [taylor]: Taking taylor expansion of b1 in a1
1.259 * [taylor]: Taking taylor expansion of b2 in a1
1.259 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1
1.259 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.259 * [taylor]: Taking taylor expansion of a1 in b1
1.259 * [taylor]: Taking taylor expansion of a2 in b1
1.259 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.259 * [taylor]: Taking taylor expansion of b1 in b1
1.259 * [taylor]: Taking taylor expansion of b2 in b1
1.259 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2
1.259 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
1.259 * [taylor]: Taking taylor expansion of a1 in b2
1.259 * [taylor]: Taking taylor expansion of a2 in b2
1.259 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.259 * [taylor]: Taking taylor expansion of b1 in b2
1.259 * [taylor]: Taking taylor expansion of b2 in b2
1.260 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2
1.260 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
1.260 * [taylor]: Taking taylor expansion of a1 in b2
1.260 * [taylor]: Taking taylor expansion of a2 in b2
1.260 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.260 * [taylor]: Taking taylor expansion of b1 in b2
1.260 * [taylor]: Taking taylor expansion of b2 in b2
1.260 * [taylor]: Taking taylor expansion of (/ (* a1 a2) b1) in b1
1.260 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.260 * [taylor]: Taking taylor expansion of a1 in b1
1.260 * [taylor]: Taking taylor expansion of a2 in b1
1.260 * [taylor]: Taking taylor expansion of b1 in b1
1.260 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.260 * [taylor]: Taking taylor expansion of a1 in a1
1.260 * [taylor]: Taking taylor expansion of a2 in a1
1.260 * [taylor]: Taking taylor expansion of a2 in a2
1.260 * [taylor]: Taking taylor expansion of 0 in b1
1.260 * [taylor]: Taking taylor expansion of 0 in a1
1.260 * [taylor]: Taking taylor expansion of 0 in a2
1.260 * [taylor]: Taking taylor expansion of 0 in a2
1.260 * [taylor]: Taking taylor expansion of 0 in b1
1.260 * [taylor]: Taking taylor expansion of 0 in a1
1.260 * [taylor]: Taking taylor expansion of 0 in a2
1.261 * [taylor]: Taking taylor expansion of 0 in a1
1.261 * [taylor]: Taking taylor expansion of 0 in a2
1.261 * [taylor]: Taking taylor expansion of 0 in a2
1.261 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (b2 b1 a1 a2) around 0
1.261 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
1.261 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.261 * [taylor]: Taking taylor expansion of b1 in a2
1.261 * [taylor]: Taking taylor expansion of b2 in a2
1.261 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.261 * [taylor]: Taking taylor expansion of a1 in a2
1.261 * [taylor]: Taking taylor expansion of a2 in a2
1.261 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
1.261 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.261 * [taylor]: Taking taylor expansion of b1 in a1
1.261 * [taylor]: Taking taylor expansion of b2 in a1
1.261 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.261 * [taylor]: Taking taylor expansion of a1 in a1
1.261 * [taylor]: Taking taylor expansion of a2 in a1
1.261 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
1.261 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.261 * [taylor]: Taking taylor expansion of b1 in b1
1.261 * [taylor]: Taking taylor expansion of b2 in b1
1.261 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.261 * [taylor]: Taking taylor expansion of a1 in b1
1.261 * [taylor]: Taking taylor expansion of a2 in b1
1.261 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
1.261 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.261 * [taylor]: Taking taylor expansion of b1 in b2
1.261 * [taylor]: Taking taylor expansion of b2 in b2
1.261 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
1.261 * [taylor]: Taking taylor expansion of a1 in b2
1.261 * [taylor]: Taking taylor expansion of a2 in b2
1.262 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
1.262 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.262 * [taylor]: Taking taylor expansion of b1 in b2
1.262 * [taylor]: Taking taylor expansion of b2 in b2
1.262 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
1.262 * [taylor]: Taking taylor expansion of a1 in b2
1.262 * [taylor]: Taking taylor expansion of a2 in b2
1.262 * [taylor]: Taking taylor expansion of (/ b1 (* a1 a2)) in b1
1.262 * [taylor]: Taking taylor expansion of b1 in b1
1.262 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.262 * [taylor]: Taking taylor expansion of a1 in b1
1.262 * [taylor]: Taking taylor expansion of a2 in b1
1.262 * [taylor]: Taking taylor expansion of (/ 1 (* a1 a2)) in a1
1.262 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.262 * [taylor]: Taking taylor expansion of a1 in a1
1.262 * [taylor]: Taking taylor expansion of a2 in a1
1.262 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2
1.262 * [taylor]: Taking taylor expansion of a2 in a2
1.262 * [taylor]: Taking taylor expansion of 0 in b1
1.262 * [taylor]: Taking taylor expansion of 0 in a1
1.262 * [taylor]: Taking taylor expansion of 0 in a1
1.262 * [taylor]: Taking taylor expansion of 0 in a2
1.263 * [taylor]: Taking taylor expansion of 0 in b1
1.263 * [taylor]: Taking taylor expansion of 0 in a1
1.263 * [taylor]: Taking taylor expansion of 0 in a1
1.263 * [taylor]: Taking taylor expansion of 0 in a1
1.263 * [taylor]: Taking taylor expansion of 0 in a2
1.263 * [taylor]: Taking taylor expansion of 0 in a2
1.263 * [taylor]: Taking taylor expansion of 0 in a2
1.263 * [taylor]: Taking taylor expansion of 0 in b1
1.263 * [taylor]: Taking taylor expansion of 0 in a1
1.263 * [taylor]: Taking taylor expansion of 0 in a1
1.263 * [taylor]: Taking taylor expansion of 0 in a1
1.263 * [taylor]: Taking taylor expansion of 0 in a1
1.264 * [taylor]: Taking taylor expansion of 0 in a2
1.264 * [taylor]: Taking taylor expansion of 0 in a2
1.264 * [taylor]: Taking taylor expansion of 0 in a2
1.264 * [taylor]: Taking taylor expansion of 0 in a2
1.264 * [taylor]: Taking taylor expansion of 0 in a2
1.264 * [taylor]: Taking taylor expansion of 0 in a2
1.264 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (b2 b1 a1 a2) around 0
1.264 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
1.264 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.264 * [taylor]: Taking taylor expansion of b1 in a2
1.264 * [taylor]: Taking taylor expansion of b2 in a2
1.264 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.264 * [taylor]: Taking taylor expansion of a1 in a2
1.264 * [taylor]: Taking taylor expansion of a2 in a2
1.264 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
1.264 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.264 * [taylor]: Taking taylor expansion of b1 in a1
1.264 * [taylor]: Taking taylor expansion of b2 in a1
1.265 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.265 * [taylor]: Taking taylor expansion of a1 in a1
1.265 * [taylor]: Taking taylor expansion of a2 in a1
1.265 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
1.265 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.265 * [taylor]: Taking taylor expansion of b1 in b1
1.265 * [taylor]: Taking taylor expansion of b2 in b1
1.265 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.265 * [taylor]: Taking taylor expansion of a1 in b1
1.265 * [taylor]: Taking taylor expansion of a2 in b1
1.265 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
1.265 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.265 * [taylor]: Taking taylor expansion of b1 in b2
1.265 * [taylor]: Taking taylor expansion of b2 in b2
1.265 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
1.265 * [taylor]: Taking taylor expansion of a1 in b2
1.265 * [taylor]: Taking taylor expansion of a2 in b2
1.265 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
1.265 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.265 * [taylor]: Taking taylor expansion of b1 in b2
1.265 * [taylor]: Taking taylor expansion of b2 in b2
1.265 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
1.265 * [taylor]: Taking taylor expansion of a1 in b2
1.265 * [taylor]: Taking taylor expansion of a2 in b2
1.265 * [taylor]: Taking taylor expansion of (/ b1 (* a1 a2)) in b1
1.265 * [taylor]: Taking taylor expansion of b1 in b1
1.265 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.265 * [taylor]: Taking taylor expansion of a1 in b1
1.265 * [taylor]: Taking taylor expansion of a2 in b1
1.265 * [taylor]: Taking taylor expansion of (/ 1 (* a1 a2)) in a1
1.265 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.265 * [taylor]: Taking taylor expansion of a1 in a1
1.265 * [taylor]: Taking taylor expansion of a2 in a1
1.265 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2
1.265 * [taylor]: Taking taylor expansion of a2 in a2
1.266 * [taylor]: Taking taylor expansion of 0 in b1
1.266 * [taylor]: Taking taylor expansion of 0 in a1
1.266 * [taylor]: Taking taylor expansion of 0 in a1
1.266 * [taylor]: Taking taylor expansion of 0 in a2
1.266 * [taylor]: Taking taylor expansion of 0 in b1
1.266 * [taylor]: Taking taylor expansion of 0 in a1
1.266 * [taylor]: Taking taylor expansion of 0 in a1
1.266 * [taylor]: Taking taylor expansion of 0 in a1
1.266 * [taylor]: Taking taylor expansion of 0 in a2
1.266 * [taylor]: Taking taylor expansion of 0 in a2
1.267 * [taylor]: Taking taylor expansion of 0 in a2
1.267 * [taylor]: Taking taylor expansion of 0 in b1
1.267 * [taylor]: Taking taylor expansion of 0 in a1
1.267 * [taylor]: Taking taylor expansion of 0 in a1
1.267 * [taylor]: Taking taylor expansion of 0 in a1
1.267 * [taylor]: Taking taylor expansion of 0 in a1
1.267 * [taylor]: Taking taylor expansion of 0 in a2
1.267 * [taylor]: Taking taylor expansion of 0 in a2
1.267 * [taylor]: Taking taylor expansion of 0 in a2
1.267 * [taylor]: Taking taylor expansion of 0 in a2
1.267 * [taylor]: Taking taylor expansion of 0 in a2
1.267 * [taylor]: Taking taylor expansion of 0 in a2
1.268 * * * [progress]: simplifying candidates
1.269 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log b1) (+ (log a1) (log a2)))
  (- (log b1) (log (* a1 a2)))
  (log (/ b1 (* a1 a2)))
  (exp (/ b1 (* a1 a2)))
  (/ (* (* b1 b1) b1) (* (* (* a1 a1) a1) (* (* a2 a2) a2)))
  (/ (* (* b1 b1) b1) (* (* (* a1 a2) (* a1 a2)) (* a1 a2)))
  (* (cbrt (/ b1 (* a1 a2))) (cbrt (/ b1 (* a1 a2))))
  (cbrt (/ b1 (* a1 a2)))
  (* (* (/ b1 (* a1 a2)) (/ b1 (* a1 a2))) (/ b1 (* a1 a2)))
  (sqrt (/ b1 (* a1 a2)))
  (sqrt (/ b1 (* a1 a2)))
  (neg b1)
  (neg (* a1 a2))
  (/ (* (cbrt b1) (cbrt b1)) a1)
  (/ (cbrt b1) a2)
  (/ (sqrt b1) a1)
  (/ (sqrt b1) a2)
  (/ 1 a1)
  (/ b1 a2)
  (/ 1 (* a1 a2))
  (/ (* a1 a2) b1)
  (/ b1 a1)
  (/ (* a1 a2) (cbrt b1))
  (/ (* a1 a2) (sqrt b1))
  (/ (* a1 a2) b1)
  (* b2 (/ b1 (* a1 a2)))
  (+ (log b2) (- (log b1) (+ (log a1) (log a2))))
  (+ (log b2) (- (log b1) (log (* a1 a2))))
  (+ (log b2) (log (/ b1 (* a1 a2))))
  (log (* b2 (/ b1 (* a1 a2))))
  (exp (* b2 (/ b1 (* a1 a2))))
  (* (* (* b2 b2) b2) (/ (* (* b1 b1) b1) (* (* (* a1 a1) a1) (* (* a2 a2) a2))))
  (* (* (* b2 b2) b2) (/ (* (* b1 b1) b1) (* (* (* a1 a2) (* a1 a2)) (* a1 a2))))
  (* (* (* b2 b2) b2) (* (* (/ b1 (* a1 a2)) (/ b1 (* a1 a2))) (/ b1 (* a1 a2))))
  (* (cbrt (* b2 (/ b1 (* a1 a2)))) (cbrt (* b2 (/ b1 (* a1 a2)))))
  (cbrt (* b2 (/ b1 (* a1 a2))))
  (* (* (* b2 (/ b1 (* a1 a2))) (* b2 (/ b1 (* a1 a2)))) (* b2 (/ b1 (* a1 a2))))
  (sqrt (* b2 (/ b1 (* a1 a2))))
  (sqrt (* b2 (/ b1 (* a1 a2))))
  (* (sqrt b2) (sqrt (/ b1 (* a1 a2))))
  (* (sqrt b2) (sqrt (/ b1 (* a1 a2))))
  (* b2 (* (cbrt (/ b1 (* a1 a2))) (cbrt (/ b1 (* a1 a2)))))
  (* b2 (sqrt (/ b1 (* a1 a2))))
  (* b2 (/ (* (cbrt b1) (cbrt b1)) a1))
  (* b2 (/ (sqrt b1) a1))
  (* b2 (/ 1 a1))
  (* b2 1)
  (* b2 b1)
  (* (cbrt b2) (/ b1 (* a1 a2)))
  (* (sqrt b2) (/ b1 (* a1 a2)))
  (* b2 (/ b1 (* a1 a2)))
  (* b2 b1)
  (neg 1)
  (neg 1)
  (neg (+ (log b2) (- (log b1) (+ (log a1) (log a2)))))
  (neg (+ (log b2) (- (log b1) (log (* a1 a2)))))
  (neg (+ (log b2) (log (/ b1 (* a1 a2)))))
  (neg (log (* b2 (/ b1 (* a1 a2)))))
  (- 0 (+ (log b2) (- (log b1) (+ (log a1) (log a2)))))
  (- 0 (+ (log b2) (- (log b1) (log (* a1 a2)))))
  (- 0 (+ (log b2) (log (/ b1 (* a1 a2)))))
  (- 0 (log (* b2 (/ b1 (* a1 a2)))))
  (- (log 1) (+ (log b2) (- (log b1) (+ (log a1) (log a2)))))
  (- (log 1) (+ (log b2) (- (log b1) (log (* a1 a2)))))
  (- (log 1) (+ (log b2) (log (/ b1 (* a1 a2)))))
  (- (log 1) (log (* b2 (/ b1 (* a1 a2)))))
  (log (/ 1 (* b2 (/ b1 (* a1 a2)))))
  (exp (/ 1 (* b2 (/ b1 (* a1 a2)))))
  (/ (* (* 1 1) 1) (* (* (* b2 b2) b2) (/ (* (* b1 b1) b1) (* (* (* a1 a1) a1) (* (* a2 a2) a2)))))
  (/ (* (* 1 1) 1) (* (* (* b2 b2) b2) (/ (* (* b1 b1) b1) (* (* (* a1 a2) (* a1 a2)) (* a1 a2)))))
  (/ (* (* 1 1) 1) (* (* (* b2 b2) b2) (* (* (/ b1 (* a1 a2)) (/ b1 (* a1 a2))) (/ b1 (* a1 a2)))))
  (/ (* (* 1 1) 1) (* (* (* b2 (/ b1 (* a1 a2))) (* b2 (/ b1 (* a1 a2)))) (* b2 (/ b1 (* a1 a2)))))
  (* (cbrt (/ 1 (* b2 (/ b1 (* a1 a2))))) (cbrt (/ 1 (* b2 (/ b1 (* a1 a2))))))
  (cbrt (/ 1 (* b2 (/ b1 (* a1 a2)))))
  (* (* (/ 1 (* b2 (/ b1 (* a1 a2)))) (/ 1 (* b2 (/ b1 (* a1 a2))))) (/ 1 (* b2 (/ b1 (* a1 a2)))))
  (sqrt (/ 1 (* b2 (/ b1 (* a1 a2)))))
  (sqrt (/ 1 (* b2 (/ b1 (* a1 a2)))))
  (neg 1)
  (neg (* b2 (/ b1 (* a1 a2))))
  (/ (* (cbrt 1) (cbrt 1)) b2)
  (/ (cbrt 1) (/ b1 (* a1 a2)))
  (/ (sqrt 1) b2)
  (/ (sqrt 1) (/ b1 (* a1 a2)))
  (/ 1 b2)
  (/ 1 (/ b1 (* a1 a2)))
  (/ 1 (* b2 (/ b1 (* a1 a2))))
  (/ (* b2 (/ b1 (* a1 a2))) 1)
  (/ 1 b2)
  (/ (* b2 (/ b1 (* a1 a2))) (cbrt 1))
  (/ (* b2 (/ b1 (* a1 a2))) (sqrt 1))
  (/ (* b2 (/ b1 (* a1 a2))) 1)
  (/ 1 (* b2 b1))
  (/ b1 (* a1 a2))
  (/ b1 (* a1 a2))
  (/ b1 (* a1 a2))
  (/ (* b1 b2) (* a1 a2))
  (/ (* b1 b2) (* a1 a2))
  (/ (* b1 b2) (* a1 a2))
  (/ (* a1 a2) (* b1 b2))
  (/ (* a1 a2) (* b1 b2))
  (/ (* a1 a2) (* b1 b2))
1.310 * * [simplify]: iteration  0 :  4980  enodes  (cost  693 )
1.311 * * [simplify]: iteration  1 :  4980  enodes  (cost  693 )
1.314 * [simplify]: Simplified to:
   (log (/ b1 (* a1 a2)))
  (log (/ b1 (* a1 a2)))
  (log (/ b1 (* a1 a2)))
  (exp (/ b1 (* a1 a2)))
  (pow (/ b1 (* a1 a2)) 3)
  (pow (/ b1 (* a1 a2)) 3)
  (* (cbrt (/ b1 (* a1 a2))) (cbrt (/ b1 (* a1 a2))))
  (cbrt (/ b1 (* a1 a2)))
  (pow (/ b1 (* a1 a2)) 3)
  (sqrt (/ b1 (* a1 a2)))
  (sqrt (/ b1 (* a1 a2)))
  (neg b1)
  (* a1 (neg a2))
  (* (/ (cbrt b1) a1) (cbrt b1))
  (/ (cbrt b1) a2)
  (/ (sqrt b1) a1)
  (/ (sqrt b1) a2)
  (/ 1 a1)
  (/ b1 a2)
  (/ 1 (* a1 a2))
  (* (/ a1 b1) a2)
  (/ b1 a1)
  (* (/ a1 (cbrt b1)) a2)
  (* (/ a1 (sqrt b1)) a2)
  (* (/ a1 b1) a2)
  (* b1 (/ b2 (* a1 a2)))
  (log (* b1 (/ b2 (* a1 a2))))
  (log (* b1 (/ b2 (* a1 a2))))
  (log (* b1 (/ b2 (* a1 a2))))
  (log (* b1 (/ b2 (* a1 a2))))
  (pow (exp (/ b1 (* a1 a2))) b2)
  (pow (* b1 (/ b2 (* a1 a2))) 3)
  (pow (* b1 (/ b2 (* a1 a2))) 3)
  (pow (* b1 (/ b2 (* a1 a2))) 3)
  (* (cbrt (* b1 (/ b2 (* a1 a2)))) (cbrt (* b1 (/ b2 (* a1 a2)))))
  (cbrt (* b1 (/ b2 (* a1 a2))))
  (pow (* b1 (/ b2 (* a1 a2))) 3)
  (sqrt (* b1 (/ b2 (* a1 a2))))
  (sqrt (* b1 (/ b2 (* a1 a2))))
  (* (sqrt (/ b1 (* a1 a2))) (sqrt b2))
  (* (sqrt (/ b1 (* a1 a2))) (sqrt b2))
  (* (cbrt (/ b1 (* a1 a2))) (* (cbrt (/ b1 (* a1 a2))) b2))
  (* (sqrt (/ b1 (* a1 a2))) b2)
  (* (* (/ (cbrt b1) a1) (cbrt b1)) b2)
  (* (/ (sqrt b1) a1) b2)
  (/ b2 a1)
  b2
  (* b1 b2)
  (* (/ b1 (* a1 a2)) (cbrt b2))
  (* (/ b1 (* a1 a2)) (sqrt b2))
  (* b1 (/ b2 (* a1 a2)))
  (* b1 b2)
  -1
  -1
  (log (* (/ a1 b1) (/ a2 b2)))
  (log (* (/ a1 b1) (/ a2 b2)))
  (log (* (/ a1 b1) (/ a2 b2)))
  (log (* (/ a1 b1) (/ a2 b2)))
  (log (* (/ a1 b1) (/ a2 b2)))
  (log (* (/ a1 b1) (/ a2 b2)))
  (log (* (/ a1 b1) (/ a2 b2)))
  (log (* (/ a1 b1) (/ a2 b2)))
  (log (* (/ a1 b1) (/ a2 b2)))
  (log (* (/ a1 b1) (/ a2 b2)))
  (log (* (/ a1 b1) (/ a2 b2)))
  (log (* (/ a1 b1) (/ a2 b2)))
  (log (* (/ a1 b1) (/ a2 b2)))
  (pow (exp (/ a1 (* b1 b2))) a2)
  (pow (* (/ a1 b1) (/ a2 b2)) 3)
  (pow (* (/ a1 b1) (/ a2 b2)) 3)
  (pow (* (/ a1 b1) (/ a2 b2)) 3)
  (pow (* (/ a1 b1) (/ a2 b2)) 3)
  (* (cbrt (* (/ a1 b1) (/ a2 b2))) (cbrt (* (/ a1 b1) (/ a2 b2))))
  (cbrt (* (/ a1 b1) (/ a2 b2)))
  (pow (* (/ a1 b1) (/ a2 b2)) 3)
  (sqrt (* (/ a1 b1) (/ a2 b2)))
  (sqrt (* (/ a1 b1) (/ a2 b2)))
  -1
  (* b1 (neg (/ b2 (* a1 a2))))
  (* (cbrt 1) (/ (cbrt 1) b2))
  (* a1 (* a2 (/ (cbrt 1) b1)))
  (/ 1 b2)
  (* (/ a1 b1) a2)
  (/ 1 b2)
  (* (/ a1 b1) a2)
  (* (/ a1 b1) (/ a2 b2))
  (* b1 (/ b2 (* a1 a2)))
  (/ 1 b2)
  (* (/ b2 (cbrt 1)) (/ b1 (* a1 a2)))
  (* b1 (/ b2 (* a1 a2)))
  (* b1 (/ b2 (* a1 a2)))
  (/ 1 (* b1 b2))
  (/ b1 (* a1 a2))
  (/ b1 (* a1 a2))
  (/ b1 (* a1 a2))
  (* b1 (/ b2 (* a1 a2)))
  (* b1 (/ b2 (* a1 a2)))
  (* b1 (/ b2 (* a1 a2)))
  (* (/ a1 b1) (/ a2 b2))
  (* (/ a1 b1) (/ a2 b2))
  (* (/ a1 b1) (/ a2 b2))
1.314 * * * [progress]: adding candidates to table
1.377 * [progress]: [Phase 3 of 3] Extracting.
1.377 * * [regime]: Finding splitpoints for: (#<alt (λ (a1 a2 b1 b2) (* a2 (/ a1 (* b1 b2))))> #<alt (λ (a1 a2 b1 b2) (/ 1 (* b2 (* (/ 1 a1) (/ b1 a2)))))> #<alt (λ (a1 a2 b1 b2) (/ (* a2 (/ a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (/ 1 (* b2 (/ (/ b1 a1) a2))))> #<alt (λ (a1 a2 b1 b2) (/ 1 (* b1 (/ b2 (* a1 a2)))))> #<alt (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/ a1 (* b1 (/ b2 a2))))>)
1.378 * * * [regime-changes]: Trying 6 branch expressions: ((* b1 b2) (* a1 a2) b2 b1 a2 a1)
1.378 * * * * [regimes]: Trying to branch on (* b1 b2) from (#<alt (λ (a1 a2 b1 b2) (* a2 (/ a1 (* b1 b2))))> #<alt (λ (a1 a2 b1 b2) (/ 1 (* b2 (* (/ 1 a1) (/ b1 a2)))))> #<alt (λ (a1 a2 b1 b2) (/ (* a2 (/ a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (/ 1 (* b2 (/ (/ b1 a1) a2))))> #<alt (λ (a1 a2 b1 b2) (/ 1 (* b1 (/ b2 (* a1 a2)))))> #<alt (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/ a1 (* b1 (/ b2 a2))))>)
1.464 * * * * [regimes]: Trying to branch on (* a1 a2) from (#<alt (λ (a1 a2 b1 b2) (* a2 (/ a1 (* b1 b2))))> #<alt (λ (a1 a2 b1 b2) (/ 1 (* b2 (* (/ 1 a1) (/ b1 a2)))))> #<alt (λ (a1 a2 b1 b2) (/ (* a2 (/ a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (/ 1 (* b2 (/ (/ b1 a1) a2))))> #<alt (λ (a1 a2 b1 b2) (/ 1 (* b1 (/ b2 (* a1 a2)))))> #<alt (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/ a1 (* b1 (/ b2 a2))))>)
1.558 * * * * [regimes]: Trying to branch on b2 from (#<alt (λ (a1 a2 b1 b2) (* a2 (/ a1 (* b1 b2))))> #<alt (λ (a1 a2 b1 b2) (/ 1 (* b2 (* (/ 1 a1) (/ b1 a2)))))> #<alt (λ (a1 a2 b1 b2) (/ (* a2 (/ a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (/ 1 (* b2 (/ (/ b1 a1) a2))))> #<alt (λ (a1 a2 b1 b2) (/ 1 (* b1 (/ b2 (* a1 a2)))))> #<alt (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/ a1 (* b1 (/ b2 a2))))>)
1.641 * * * * [regimes]: Trying to branch on b1 from (#<alt (λ (a1 a2 b1 b2) (* a2 (/ a1 (* b1 b2))))> #<alt (λ (a1 a2 b1 b2) (/ 1 (* b2 (* (/ 1 a1) (/ b1 a2)))))> #<alt (λ (a1 a2 b1 b2) (/ (* a2 (/ a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (/ 1 (* b2 (/ (/ b1 a1) a2))))> #<alt (λ (a1 a2 b1 b2) (/ 1 (* b1 (/ b2 (* a1 a2)))))> #<alt (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/ a1 (* b1 (/ b2 a2))))>)
1.750 * * * * [regimes]: Trying to branch on a2 from (#<alt (λ (a1 a2 b1 b2) (* a2 (/ a1 (* b1 b2))))> #<alt (λ (a1 a2 b1 b2) (/ 1 (* b2 (* (/ 1 a1) (/ b1 a2)))))> #<alt (λ (a1 a2 b1 b2) (/ (* a2 (/ a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (/ 1 (* b2 (/ (/ b1 a1) a2))))> #<alt (λ (a1 a2 b1 b2) (/ 1 (* b1 (/ b2 (* a1 a2)))))> #<alt (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/ a1 (* b1 (/ b2 a2))))>)
1.841 * * * * [regimes]: Trying to branch on a1 from (#<alt (λ (a1 a2 b1 b2) (* a2 (/ a1 (* b1 b2))))> #<alt (λ (a1 a2 b1 b2) (/ 1 (* b2 (* (/ 1 a1) (/ b1 a2)))))> #<alt (λ (a1 a2 b1 b2) (/ (* a2 (/ a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (/ 1 (* b2 (/ (/ b1 a1) a2))))> #<alt (λ (a1 a2 b1 b2) (/ 1 (* b1 (/ b2 (* a1 a2)))))> #<alt (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/ a1 (* b1 (/ b2 a2))))>)
1.939 * * * [regime]: Found split indices: #<option (#s(si 5 19) #s(si 0 117) #s(si 1 141) #s(si 0 223) #s(si 2 255))>
1.939 * [binary-search]: Only using regimes for bounds on (* b1 b2) and (#<alt (λ (a1 a2 b1 b2) (* a2 (/ a1 (* b1 b2))))> #<alt (λ (a1 a2 b1 b2) (/ 1 (* b2 (* (/ 1 a1) (/ b1 a2)))))> #<alt (λ (a1 a2 b1 b2) (/ (* a2 (/ a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (/ 1 (* b2 (/ (/ b1 a1) a2))))> #<alt (λ (a1 a2 b1 b2) (/ 1 (* b1 (/ b2 (* a1 a2)))))> #<alt (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/ a1 (* b1 (/ b2 a2))))>)
1.940 * [regimes]: Found splitpoints: (#s(sp 5 (* b1 b2) -3.720837941461105e+286) #s(sp 0 (* b1 b2) -2.5109760299961963e-213) #s(sp 1 (* b1 b2) 2.4380641353373e-314) #s(sp 0 (* b1 b2) 8.308086189259792e+220) #s(sp 2 (* b1 b2) +nan.0)) , with alts (#<alt (λ (a1 a2 b1 b2) (* a2 (/ a1 (* b1 b2))))> #<alt (λ (a1 a2 b1 b2) (/ 1 (* b2 (* (/ 1 a1) (/ b1 a2)))))> #<alt (λ (a1 a2 b1 b2) (/ (* a2 (/ a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (/ 1 (* b2 (/ (/ b1 a1) a2))))> #<alt (λ (a1 a2 b1 b2) (/ 1 (* b1 (/ b2 (* a1 a2)))))> #<alt (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/ a1 (* b1 (/ b2 a2))))>)
1.940 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= (* b1 b2) -3.720837941461105e+286) (* (/ a1 b1) (/ a2 b2)) (if (<= (* b1 b2) -2.5109760299961963e-213) (* a2 (/ a1 (* b1 b2))) (if (<= (* b1 b2) 2.4380641353373e-314) (/ 1 (* b2 (* (/ 1 a1) (/ b1 a2)))) (if (<= (* b1 b2) 8.308086189259792e+220) (* a2 (/ a1 (* b1 b2))) (/ (* a2 (/ a1 b1)) b2)))))
1.941 * * [simplify]: iteration  0 :  37  enodes  (cost  63 )
1.941 * * [simplify]: iteration  1 :  37  enodes  (cost  63 )
1.941 * [simplify]: Simplified to:
   (if (<= (* b1 b2) -3.720837941461105e+286) (* (/ a1 b1) (/ a2 b2)) (if (<= (* b1 b2) -2.5109760299961963e-213) (* a2 (/ a1 (* b1 b2))) (if (<= (* b1 b2) 2.4380641353373e-314) (/ 1 (* b2 (* (/ 1 a1) (/ b1 a2)))) (if (<= (* b1 b2) 8.308086189259792e+220) (* a2 (/ a1 (* b1 b2))) (/ (* (/ a1 b1) a2) b2)))))
3.759 * [regime-testing]: End program error score: 5.451291339401994
3.851 * [regime-testing]: Target error score: 11.922471243018807