36.616 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.631 * * * [progress]: [2/2] Setting up program.
0.635 * [progress]: [Phase 2 of 3] Improving.
0.635 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (* a1 a2) (* b1 b2))
0.638 * * [simplify]: iteration  0 :  67  enodes  (cost  7 )
0.638 * * [simplify]: iteration  1 :  67  enodes  (cost  7 )
0.638 * [simplify]: Simplified to:
   (* a1 (/ a2 (* b1 b2)))
0.642 * * [progress]: iteration 1 / 4
0.642 * * * [progress]: picking best candidate
0.649 * * * * [pick]: Picked  #<alt (λ (a1 a2 b1 b2) (/ (* a1 a2) (* b1 b2)))>
0.649 * * * [progress]: localizing error
0.654 * * * [progress]: generating rewritten candidates
0.654 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.660 * * * [progress]: generating series expansions
0.660 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.660 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (a1 a2 b1 b2) around 0
0.660 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2
0.660 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.660 * [taylor]: Taking taylor expansion of a1 in b2
0.660 * [taylor]: Taking taylor expansion of a2 in b2
0.660 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.660 * [taylor]: Taking taylor expansion of b1 in b2
0.660 * [taylor]: Taking taylor expansion of b2 in b2
0.660 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1
0.660 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.660 * [taylor]: Taking taylor expansion of a1 in b1
0.660 * [taylor]: Taking taylor expansion of a2 in b1
0.660 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.660 * [taylor]: Taking taylor expansion of b1 in b1
0.660 * [taylor]: Taking taylor expansion of b2 in b1
0.660 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
0.660 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.660 * [taylor]: Taking taylor expansion of a1 in a2
0.660 * [taylor]: Taking taylor expansion of a2 in a2
0.660 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.660 * [taylor]: Taking taylor expansion of b1 in a2
0.660 * [taylor]: Taking taylor expansion of b2 in a2
0.661 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
0.661 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.661 * [taylor]: Taking taylor expansion of a1 in a1
0.661 * [taylor]: Taking taylor expansion of a2 in a1
0.661 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.661 * [taylor]: Taking taylor expansion of b1 in a1
0.661 * [taylor]: Taking taylor expansion of b2 in a1
0.661 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
0.661 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.661 * [taylor]: Taking taylor expansion of a1 in a1
0.661 * [taylor]: Taking taylor expansion of a2 in a1
0.661 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.661 * [taylor]: Taking taylor expansion of b1 in a1
0.661 * [taylor]: Taking taylor expansion of b2 in a1
0.661 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2
0.661 * [taylor]: Taking taylor expansion of a2 in a2
0.661 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.661 * [taylor]: Taking taylor expansion of b1 in a2
0.661 * [taylor]: Taking taylor expansion of b2 in a2
0.661 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1
0.661 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.661 * [taylor]: Taking taylor expansion of b1 in b1
0.661 * [taylor]: Taking taylor expansion of b2 in b1
0.661 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
0.661 * [taylor]: Taking taylor expansion of b2 in b2
0.661 * [taylor]: Taking taylor expansion of 0 in a2
0.661 * [taylor]: Taking taylor expansion of 0 in b1
0.662 * [taylor]: Taking taylor expansion of 0 in b1
0.662 * [taylor]: Taking taylor expansion of 0 in b2
0.662 * [taylor]: Taking taylor expansion of 0 in a2
0.662 * [taylor]: Taking taylor expansion of 0 in b1
0.662 * [taylor]: Taking taylor expansion of 0 in b1
0.662 * [taylor]: Taking taylor expansion of 0 in b1
0.662 * [taylor]: Taking taylor expansion of 0 in b2
0.662 * [taylor]: Taking taylor expansion of 0 in b2
0.662 * [taylor]: Taking taylor expansion of 0 in b2
0.663 * [taylor]: Taking taylor expansion of 0 in a2
0.663 * [taylor]: Taking taylor expansion of 0 in b1
0.663 * [taylor]: Taking taylor expansion of 0 in b1
0.663 * [taylor]: Taking taylor expansion of 0 in b1
0.663 * [taylor]: Taking taylor expansion of 0 in b1
0.663 * [taylor]: Taking taylor expansion of 0 in b2
0.663 * [taylor]: Taking taylor expansion of 0 in b2
0.663 * [taylor]: Taking taylor expansion of 0 in b2
0.663 * [taylor]: Taking taylor expansion of 0 in b2
0.663 * [taylor]: Taking taylor expansion of 0 in b2
0.663 * [taylor]: Taking taylor expansion of 0 in b2
0.663 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 a2 b1 b2) around 0
0.663 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.663 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.663 * [taylor]: Taking taylor expansion of b1 in b2
0.663 * [taylor]: Taking taylor expansion of b2 in b2
0.663 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.663 * [taylor]: Taking taylor expansion of a1 in b2
0.663 * [taylor]: Taking taylor expansion of a2 in b2
0.663 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.664 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.664 * [taylor]: Taking taylor expansion of b1 in b1
0.664 * [taylor]: Taking taylor expansion of b2 in b1
0.664 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.664 * [taylor]: Taking taylor expansion of a1 in b1
0.664 * [taylor]: Taking taylor expansion of a2 in b1
0.664 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.664 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.664 * [taylor]: Taking taylor expansion of b1 in a2
0.664 * [taylor]: Taking taylor expansion of b2 in a2
0.664 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.664 * [taylor]: Taking taylor expansion of a1 in a2
0.664 * [taylor]: Taking taylor expansion of a2 in a2
0.664 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.664 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.664 * [taylor]: Taking taylor expansion of b1 in a1
0.664 * [taylor]: Taking taylor expansion of b2 in a1
0.664 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.664 * [taylor]: Taking taylor expansion of a1 in a1
0.664 * [taylor]: Taking taylor expansion of a2 in a1
0.664 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.664 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.664 * [taylor]: Taking taylor expansion of b1 in a1
0.664 * [taylor]: Taking taylor expansion of b2 in a1
0.664 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.664 * [taylor]: Taking taylor expansion of a1 in a1
0.664 * [taylor]: Taking taylor expansion of a2 in a1
0.664 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
0.664 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.664 * [taylor]: Taking taylor expansion of b1 in a2
0.664 * [taylor]: Taking taylor expansion of b2 in a2
0.664 * [taylor]: Taking taylor expansion of a2 in a2
0.664 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.664 * [taylor]: Taking taylor expansion of b1 in b1
0.664 * [taylor]: Taking taylor expansion of b2 in b1
0.664 * [taylor]: Taking taylor expansion of b2 in b2
0.665 * [taylor]: Taking taylor expansion of 0 in a2
0.665 * [taylor]: Taking taylor expansion of 0 in b1
0.665 * [taylor]: Taking taylor expansion of 0 in b2
0.665 * [taylor]: Taking taylor expansion of 0 in b2
0.665 * [taylor]: Taking taylor expansion of 0 in a2
0.665 * [taylor]: Taking taylor expansion of 0 in b1
0.665 * [taylor]: Taking taylor expansion of 0 in b2
0.665 * [taylor]: Taking taylor expansion of 0 in b1
0.665 * [taylor]: Taking taylor expansion of 0 in b2
0.665 * [taylor]: Taking taylor expansion of 0 in b2
0.665 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 a2 b1 b2) around 0
0.665 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.665 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.665 * [taylor]: Taking taylor expansion of b1 in b2
0.665 * [taylor]: Taking taylor expansion of b2 in b2
0.665 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.665 * [taylor]: Taking taylor expansion of a1 in b2
0.665 * [taylor]: Taking taylor expansion of a2 in b2
0.666 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.666 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.666 * [taylor]: Taking taylor expansion of b1 in b1
0.666 * [taylor]: Taking taylor expansion of b2 in b1
0.666 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.666 * [taylor]: Taking taylor expansion of a1 in b1
0.666 * [taylor]: Taking taylor expansion of a2 in b1
0.666 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.666 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.666 * [taylor]: Taking taylor expansion of b1 in a2
0.666 * [taylor]: Taking taylor expansion of b2 in a2
0.666 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.666 * [taylor]: Taking taylor expansion of a1 in a2
0.666 * [taylor]: Taking taylor expansion of a2 in a2
0.666 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.666 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.666 * [taylor]: Taking taylor expansion of b1 in a1
0.666 * [taylor]: Taking taylor expansion of b2 in a1
0.666 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.666 * [taylor]: Taking taylor expansion of a1 in a1
0.666 * [taylor]: Taking taylor expansion of a2 in a1
0.666 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.666 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.666 * [taylor]: Taking taylor expansion of b1 in a1
0.666 * [taylor]: Taking taylor expansion of b2 in a1
0.666 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.666 * [taylor]: Taking taylor expansion of a1 in a1
0.666 * [taylor]: Taking taylor expansion of a2 in a1
0.666 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
0.666 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.666 * [taylor]: Taking taylor expansion of b1 in a2
0.666 * [taylor]: Taking taylor expansion of b2 in a2
0.666 * [taylor]: Taking taylor expansion of a2 in a2
0.666 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.666 * [taylor]: Taking taylor expansion of b1 in b1
0.666 * [taylor]: Taking taylor expansion of b2 in b1
0.666 * [taylor]: Taking taylor expansion of b2 in b2
0.667 * [taylor]: Taking taylor expansion of 0 in a2
0.667 * [taylor]: Taking taylor expansion of 0 in b1
0.667 * [taylor]: Taking taylor expansion of 0 in b2
0.667 * [taylor]: Taking taylor expansion of 0 in b2
0.667 * [taylor]: Taking taylor expansion of 0 in a2
0.667 * [taylor]: Taking taylor expansion of 0 in b1
0.667 * [taylor]: Taking taylor expansion of 0 in b2
0.667 * [taylor]: Taking taylor expansion of 0 in b1
0.667 * [taylor]: Taking taylor expansion of 0 in b2
0.667 * [taylor]: Taking taylor expansion of 0 in b2
0.667 * * * [progress]: simplifying candidates
0.668 * [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.713 * * [simplify]: iteration  0 :  5102  enodes  (cost  191 )
0.715 * [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.715 * * * [progress]: adding candidates to table
0.749 * * [progress]: iteration 2 / 4
0.749 * * * [progress]: picking best candidate
0.769 * * * * [pick]: Picked  #<alt (λ (a1 a2 b1 b2) (* a2 (/ a1 (* b1 b2))))>
0.769 * * * [progress]: localizing error
0.774 * * * [progress]: generating rewritten candidates
0.774 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.781 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.788 * * * [progress]: generating series expansions
0.788 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.788 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (a2 a1 b1 b2) around 0
0.788 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2
0.788 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.788 * [taylor]: Taking taylor expansion of a1 in b2
0.788 * [taylor]: Taking taylor expansion of a2 in b2
0.788 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.788 * [taylor]: Taking taylor expansion of b1 in b2
0.788 * [taylor]: Taking taylor expansion of b2 in b2
0.788 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1
0.788 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.788 * [taylor]: Taking taylor expansion of a1 in b1
0.788 * [taylor]: Taking taylor expansion of a2 in b1
0.788 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.788 * [taylor]: Taking taylor expansion of b1 in b1
0.788 * [taylor]: Taking taylor expansion of b2 in b1
0.788 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
0.788 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.788 * [taylor]: Taking taylor expansion of a1 in a1
0.788 * [taylor]: Taking taylor expansion of a2 in a1
0.788 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.788 * [taylor]: Taking taylor expansion of b1 in a1
0.788 * [taylor]: Taking taylor expansion of b2 in a1
0.788 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
0.788 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.788 * [taylor]: Taking taylor expansion of a1 in a2
0.788 * [taylor]: Taking taylor expansion of a2 in a2
0.788 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.789 * [taylor]: Taking taylor expansion of b1 in a2
0.789 * [taylor]: Taking taylor expansion of b2 in a2
0.789 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
0.789 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.789 * [taylor]: Taking taylor expansion of a1 in a2
0.789 * [taylor]: Taking taylor expansion of a2 in a2
0.789 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.789 * [taylor]: Taking taylor expansion of b1 in a2
0.789 * [taylor]: Taking taylor expansion of b2 in a2
0.789 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in a1
0.789 * [taylor]: Taking taylor expansion of a1 in a1
0.789 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.789 * [taylor]: Taking taylor expansion of b1 in a1
0.789 * [taylor]: Taking taylor expansion of b2 in a1
0.789 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1
0.789 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.789 * [taylor]: Taking taylor expansion of b1 in b1
0.789 * [taylor]: Taking taylor expansion of b2 in b1
0.789 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
0.789 * [taylor]: Taking taylor expansion of b2 in b2
0.789 * [taylor]: Taking taylor expansion of 0 in a1
0.789 * [taylor]: Taking taylor expansion of 0 in b1
0.789 * [taylor]: Taking taylor expansion of 0 in b1
0.790 * [taylor]: Taking taylor expansion of 0 in b2
0.790 * [taylor]: Taking taylor expansion of 0 in a1
0.790 * [taylor]: Taking taylor expansion of 0 in b1
0.790 * [taylor]: Taking taylor expansion of 0 in b1
0.790 * [taylor]: Taking taylor expansion of 0 in b1
0.790 * [taylor]: Taking taylor expansion of 0 in b2
0.790 * [taylor]: Taking taylor expansion of 0 in b2
0.790 * [taylor]: Taking taylor expansion of 0 in b2
0.790 * [taylor]: Taking taylor expansion of 0 in a1
0.790 * [taylor]: Taking taylor expansion of 0 in b1
0.790 * [taylor]: Taking taylor expansion of 0 in b1
0.790 * [taylor]: Taking taylor expansion of 0 in b1
0.791 * [taylor]: Taking taylor expansion of 0 in b1
0.791 * [taylor]: Taking taylor expansion of 0 in b2
0.791 * [taylor]: Taking taylor expansion of 0 in b2
0.791 * [taylor]: Taking taylor expansion of 0 in b2
0.791 * [taylor]: Taking taylor expansion of 0 in b2
0.791 * [taylor]: Taking taylor expansion of 0 in b2
0.791 * [taylor]: Taking taylor expansion of 0 in b2
0.791 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a2 a1 b1 b2) around 0
0.791 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.791 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.791 * [taylor]: Taking taylor expansion of b1 in b2
0.791 * [taylor]: Taking taylor expansion of b2 in b2
0.791 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.791 * [taylor]: Taking taylor expansion of a1 in b2
0.791 * [taylor]: Taking taylor expansion of a2 in b2
0.791 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.791 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.791 * [taylor]: Taking taylor expansion of b1 in b1
0.791 * [taylor]: Taking taylor expansion of b2 in b1
0.791 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.791 * [taylor]: Taking taylor expansion of a1 in b1
0.792 * [taylor]: Taking taylor expansion of a2 in b1
0.792 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.792 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.792 * [taylor]: Taking taylor expansion of b1 in a1
0.792 * [taylor]: Taking taylor expansion of b2 in a1
0.792 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.792 * [taylor]: Taking taylor expansion of a1 in a1
0.792 * [taylor]: Taking taylor expansion of a2 in a1
0.792 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.792 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.792 * [taylor]: Taking taylor expansion of b1 in a2
0.792 * [taylor]: Taking taylor expansion of b2 in a2
0.792 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.792 * [taylor]: Taking taylor expansion of a1 in a2
0.792 * [taylor]: Taking taylor expansion of a2 in a2
0.792 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.792 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.792 * [taylor]: Taking taylor expansion of b1 in a2
0.792 * [taylor]: Taking taylor expansion of b2 in a2
0.792 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.792 * [taylor]: Taking taylor expansion of a1 in a2
0.792 * [taylor]: Taking taylor expansion of a2 in a2
0.792 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in a1
0.792 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.792 * [taylor]: Taking taylor expansion of b1 in a1
0.792 * [taylor]: Taking taylor expansion of b2 in a1
0.792 * [taylor]: Taking taylor expansion of a1 in a1
0.792 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.792 * [taylor]: Taking taylor expansion of b1 in b1
0.792 * [taylor]: Taking taylor expansion of b2 in b1
0.792 * [taylor]: Taking taylor expansion of b2 in b2
0.793 * [taylor]: Taking taylor expansion of 0 in a1
0.793 * [taylor]: Taking taylor expansion of 0 in b1
0.793 * [taylor]: Taking taylor expansion of 0 in b2
0.793 * [taylor]: Taking taylor expansion of 0 in b2
0.793 * [taylor]: Taking taylor expansion of 0 in a1
0.793 * [taylor]: Taking taylor expansion of 0 in b1
0.793 * [taylor]: Taking taylor expansion of 0 in b2
0.793 * [taylor]: Taking taylor expansion of 0 in b1
0.793 * [taylor]: Taking taylor expansion of 0 in b2
0.793 * [taylor]: Taking taylor expansion of 0 in b2
0.793 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a2 a1 b1 b2) around 0
0.793 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.793 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.793 * [taylor]: Taking taylor expansion of b1 in b2
0.793 * [taylor]: Taking taylor expansion of b2 in b2
0.793 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.793 * [taylor]: Taking taylor expansion of a1 in b2
0.794 * [taylor]: Taking taylor expansion of a2 in b2
0.794 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.794 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.794 * [taylor]: Taking taylor expansion of b1 in b1
0.794 * [taylor]: Taking taylor expansion of b2 in b1
0.794 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.794 * [taylor]: Taking taylor expansion of a1 in b1
0.794 * [taylor]: Taking taylor expansion of a2 in b1
0.794 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.794 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.794 * [taylor]: Taking taylor expansion of b1 in a1
0.794 * [taylor]: Taking taylor expansion of b2 in a1
0.794 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.794 * [taylor]: Taking taylor expansion of a1 in a1
0.794 * [taylor]: Taking taylor expansion of a2 in a1
0.794 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.794 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.794 * [taylor]: Taking taylor expansion of b1 in a2
0.794 * [taylor]: Taking taylor expansion of b2 in a2
0.794 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.794 * [taylor]: Taking taylor expansion of a1 in a2
0.794 * [taylor]: Taking taylor expansion of a2 in a2
0.794 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.794 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.794 * [taylor]: Taking taylor expansion of b1 in a2
0.794 * [taylor]: Taking taylor expansion of b2 in a2
0.794 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.794 * [taylor]: Taking taylor expansion of a1 in a2
0.794 * [taylor]: Taking taylor expansion of a2 in a2
0.795 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in a1
0.795 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.795 * [taylor]: Taking taylor expansion of b1 in a1
0.795 * [taylor]: Taking taylor expansion of b2 in a1
0.795 * [taylor]: Taking taylor expansion of a1 in a1
0.795 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.795 * [taylor]: Taking taylor expansion of b1 in b1
0.795 * [taylor]: Taking taylor expansion of b2 in b1
0.795 * [taylor]: Taking taylor expansion of b2 in b2
0.795 * [taylor]: Taking taylor expansion of 0 in a1
0.795 * [taylor]: Taking taylor expansion of 0 in b1
0.795 * [taylor]: Taking taylor expansion of 0 in b2
0.795 * [taylor]: Taking taylor expansion of 0 in b2
0.795 * [taylor]: Taking taylor expansion of 0 in a1
0.795 * [taylor]: Taking taylor expansion of 0 in b1
0.795 * [taylor]: Taking taylor expansion of 0 in b2
0.795 * [taylor]: Taking taylor expansion of 0 in b1
0.795 * [taylor]: Taking taylor expansion of 0 in b2
0.796 * [taylor]: Taking taylor expansion of 0 in b2
0.796 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.796 * [approximate]: Taking taylor expansion of (/ a1 (* b1 b2)) in (a1 b1 b2) around 0
0.796 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in b2
0.796 * [taylor]: Taking taylor expansion of a1 in b2
0.796 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.796 * [taylor]: Taking taylor expansion of b1 in b2
0.796 * [taylor]: Taking taylor expansion of b2 in b2
0.796 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in b1
0.796 * [taylor]: Taking taylor expansion of a1 in b1
0.796 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.796 * [taylor]: Taking taylor expansion of b1 in b1
0.796 * [taylor]: Taking taylor expansion of b2 in b1
0.796 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in a1
0.796 * [taylor]: Taking taylor expansion of a1 in a1
0.796 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.796 * [taylor]: Taking taylor expansion of b1 in a1
0.796 * [taylor]: Taking taylor expansion of b2 in a1
0.796 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in a1
0.796 * [taylor]: Taking taylor expansion of a1 in a1
0.796 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.796 * [taylor]: Taking taylor expansion of b1 in a1
0.796 * [taylor]: Taking taylor expansion of b2 in a1
0.796 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1
0.796 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.796 * [taylor]: Taking taylor expansion of b1 in b1
0.796 * [taylor]: Taking taylor expansion of b2 in b1
0.796 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
0.797 * [taylor]: Taking taylor expansion of b2 in b2
0.797 * [taylor]: Taking taylor expansion of 0 in b1
0.797 * [taylor]: Taking taylor expansion of 0 in b2
0.797 * [taylor]: Taking taylor expansion of 0 in b1
0.797 * [taylor]: Taking taylor expansion of 0 in b2
0.797 * [taylor]: Taking taylor expansion of 0 in b2
0.797 * [taylor]: Taking taylor expansion of 0 in b1
0.797 * [taylor]: Taking taylor expansion of 0 in b2
0.797 * [taylor]: Taking taylor expansion of 0 in b2
0.798 * [taylor]: Taking taylor expansion of 0 in b2
0.798 * [approximate]: Taking taylor expansion of (/ (* b1 b2) a1) in (a1 b1 b2) around 0
0.798 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in b2
0.798 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.798 * [taylor]: Taking taylor expansion of b1 in b2
0.798 * [taylor]: Taking taylor expansion of b2 in b2
0.798 * [taylor]: Taking taylor expansion of a1 in b2
0.798 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in b1
0.798 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.798 * [taylor]: Taking taylor expansion of b1 in b1
0.798 * [taylor]: Taking taylor expansion of b2 in b1
0.798 * [taylor]: Taking taylor expansion of a1 in b1
0.798 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in a1
0.798 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.798 * [taylor]: Taking taylor expansion of b1 in a1
0.798 * [taylor]: Taking taylor expansion of b2 in a1
0.798 * [taylor]: Taking taylor expansion of a1 in a1
0.798 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in a1
0.798 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.798 * [taylor]: Taking taylor expansion of b1 in a1
0.798 * [taylor]: Taking taylor expansion of b2 in a1
0.798 * [taylor]: Taking taylor expansion of a1 in a1
0.798 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.798 * [taylor]: Taking taylor expansion of b1 in b1
0.798 * [taylor]: Taking taylor expansion of b2 in b1
0.798 * [taylor]: Taking taylor expansion of b2 in b2
0.798 * [taylor]: Taking taylor expansion of 0 in b1
0.799 * [taylor]: Taking taylor expansion of 0 in b2
0.799 * [taylor]: Taking taylor expansion of 0 in b2
0.799 * [taylor]: Taking taylor expansion of 0 in b1
0.799 * [taylor]: Taking taylor expansion of 0 in b2
0.799 * [taylor]: Taking taylor expansion of 0 in b2
0.799 * [taylor]: Taking taylor expansion of 0 in b2
0.799 * [approximate]: Taking taylor expansion of (* -1 (/ (* b1 b2) a1)) in (a1 b1 b2) around 0
0.799 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 b2) a1)) in b2
0.799 * [taylor]: Taking taylor expansion of -1 in b2
0.799 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in b2
0.799 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.799 * [taylor]: Taking taylor expansion of b1 in b2
0.799 * [taylor]: Taking taylor expansion of b2 in b2
0.799 * [taylor]: Taking taylor expansion of a1 in b2
0.799 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 b2) a1)) in b1
0.799 * [taylor]: Taking taylor expansion of -1 in b1
0.799 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in b1
0.799 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.799 * [taylor]: Taking taylor expansion of b1 in b1
0.799 * [taylor]: Taking taylor expansion of b2 in b1
0.799 * [taylor]: Taking taylor expansion of a1 in b1
0.799 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 b2) a1)) in a1
0.799 * [taylor]: Taking taylor expansion of -1 in a1
0.799 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in a1
0.799 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.799 * [taylor]: Taking taylor expansion of b1 in a1
0.799 * [taylor]: Taking taylor expansion of b2 in a1
0.799 * [taylor]: Taking taylor expansion of a1 in a1
0.799 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 b2) a1)) in a1
0.799 * [taylor]: Taking taylor expansion of -1 in a1
0.800 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in a1
0.800 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.800 * [taylor]: Taking taylor expansion of b1 in a1
0.800 * [taylor]: Taking taylor expansion of b2 in a1
0.800 * [taylor]: Taking taylor expansion of a1 in a1
0.800 * [taylor]: Taking taylor expansion of (* -1 (* b1 b2)) in b1
0.800 * [taylor]: Taking taylor expansion of -1 in b1
0.800 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.800 * [taylor]: Taking taylor expansion of b1 in b1
0.800 * [taylor]: Taking taylor expansion of b2 in b1
0.800 * [taylor]: Taking taylor expansion of (neg b2) in b2
0.800 * [taylor]: Taking taylor expansion of b2 in b2
0.800 * [taylor]: Taking taylor expansion of 0 in b1
0.800 * [taylor]: Taking taylor expansion of 0 in b2
0.800 * [taylor]: Taking taylor expansion of 0 in b2
0.800 * [taylor]: Taking taylor expansion of 0 in b1
0.800 * [taylor]: Taking taylor expansion of 0 in b2
0.800 * [taylor]: Taking taylor expansion of 0 in b2
0.800 * [taylor]: Taking taylor expansion of 0 in b2
0.801 * * * [progress]: simplifying candidates
0.801 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* a2 (/ a1 (* b1 b2)))
  (+ (log a2) (- (log a1) (+ (log b1) (log b2))))
  (+ (log a2) (- (log a1) (log (* b1 b2))))
  (+ (log a2) (log (/ a1 (* b1 b2))))
  (log (* a2 (/ a1 (* b1 b2))))
  (exp (* a2 (/ a1 (* b1 b2))))
  (* (* (* a2 a2) a2) (/ (* (* a1 a1) a1) (* (* (* b1 b1) b1) (* (* b2 b2) b2))))
  (* (* (* a2 a2) a2) (/ (* (* a1 a1) a1) (* (* (* b1 b2) (* b1 b2)) (* b1 b2))))
  (* (* (* a2 a2) a2) (* (* (/ a1 (* b1 b2)) (/ a1 (* b1 b2))) (/ a1 (* b1 b2))))
  (* (cbrt (* a2 (/ a1 (* b1 b2)))) (cbrt (* a2 (/ a1 (* b1 b2)))))
  (cbrt (* a2 (/ a1 (* b1 b2))))
  (* (* (* a2 (/ a1 (* b1 b2))) (* a2 (/ a1 (* b1 b2)))) (* a2 (/ a1 (* b1 b2))))
  (sqrt (* a2 (/ a1 (* b1 b2))))
  (sqrt (* a2 (/ a1 (* b1 b2))))
  (* (sqrt a2) (sqrt (/ a1 (* b1 b2))))
  (* (sqrt a2) (sqrt (/ a1 (* b1 b2))))
  (* a2 (* (cbrt (/ a1 (* b1 b2))) (cbrt (/ a1 (* b1 b2)))))
  (* a2 (sqrt (/ a1 (* b1 b2))))
  (* a2 (/ (* (cbrt a1) (cbrt a1)) b1))
  (* a2 (/ (sqrt a1) b1))
  (* a2 (/ 1 b1))
  (* a2 1)
  (* a2 a1)
  (* (cbrt a2) (/ a1 (* b1 b2)))
  (* (sqrt a2) (/ a1 (* b1 b2)))
  (* a2 (/ a1 (* b1 b2)))
  (* a2 a1)
  (- (log a1) (+ (log b1) (log b2)))
  (- (log a1) (log (* b1 b2)))
  (log (/ a1 (* b1 b2)))
  (exp (/ a1 (* b1 b2)))
  (/ (* (* a1 a1) a1) (* (* (* b1 b1) b1) (* (* b2 b2) b2)))
  (/ (* (* a1 a1) a1) (* (* (* b1 b2) (* b1 b2)) (* b1 b2)))
  (* (cbrt (/ a1 (* b1 b2))) (cbrt (/ a1 (* b1 b2))))
  (cbrt (/ a1 (* b1 b2)))
  (* (* (/ a1 (* b1 b2)) (/ a1 (* b1 b2))) (/ a1 (* b1 b2)))
  (sqrt (/ a1 (* b1 b2)))
  (sqrt (/ a1 (* b1 b2)))
  (neg a1)
  (neg (* b1 b2))
  (/ (* (cbrt a1) (cbrt a1)) b1)
  (/ (cbrt a1) b2)
  (/ (sqrt a1) b1)
  (/ (sqrt a1) b2)
  (/ 1 b1)
  (/ a1 b2)
  (/ 1 (* b1 b2))
  (/ (* b1 b2) a1)
  (/ a1 b1)
  (/ (* b1 b2) (cbrt a1))
  (/ (* b1 b2) (sqrt a1))
  (/ (* b1 b2) a1)
  (/ (* a1 a2) (* b1 b2))
  (/ (* a1 a2) (* b1 b2))
  (/ (* a1 a2) (* b1 b2))
  (/ a1 (* b1 b2))
  (/ a1 (* b1 b2))
  (/ a1 (* b1 b2))
0.848 * * [simplify]: iteration  0 :  5090  enodes  (cost  386 )
0.850 * [simplify]: Simplified to:
   (* 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 b2))) a2)
  (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))))
  (* (sqrt a2) (sqrt (/ a1 (* b1 b2))))
  (* (sqrt a2) (sqrt (/ a1 (* b1 b2))))
  (* a2 (* (cbrt (/ a1 (* b1 b2))) (cbrt (/ a1 (* b1 b2)))))
  (* a2 (sqrt (/ a1 (* b1 b2))))
  (* a2 (* (cbrt a1) (/ (cbrt a1) b1)))
  (* a2 (/ (sqrt a1) b1))
  (/ a2 b1)
  a2
  (* a2 a1)
  (* (/ a1 (* b1 b2)) (cbrt a2))
  (* (/ a1 (* b1 b2)) (sqrt a2))
  (* a2 (/ a1 (* b1 b2)))
  (* a2 a1)
  (log (/ a1 (* b1 b2)))
  (log (/ a1 (* b1 b2)))
  (log (/ a1 (* b1 b2)))
  (exp (/ a1 (* b1 b2)))
  (pow (/ a1 (* b1 b2)) 3)
  (pow (/ a1 (* b1 b2)) 3)
  (* (cbrt (/ a1 (* b1 b2))) (cbrt (/ a1 (* b1 b2))))
  (cbrt (/ a1 (* b1 b2)))
  (pow (/ a1 (* b1 b2)) 3)
  (sqrt (/ a1 (* b1 b2)))
  (sqrt (/ a1 (* b1 b2)))
  (neg a1)
  (* b1 (neg b2))
  (* (cbrt a1) (/ (cbrt a1) b1))
  (/ (cbrt a1) b2)
  (/ (sqrt a1) b1)
  (/ (sqrt a1) b2)
  (/ 1 b1)
  (/ a1 b2)
  (/ 1 (* b1 b2))
  (* b2 (/ b1 a1))
  (/ a1 b1)
  (* b2 (/ b1 (cbrt a1)))
  (* b2 (/ b1 (sqrt a1)))
  (* b2 (/ b1 a1))
  (* a2 (/ a1 (* b1 b2)))
  (* a2 (/ a1 (* b1 b2)))
  (* a2 (/ a1 (* b1 b2)))
  (/ a1 (* b1 b2))
  (/ a1 (* b1 b2))
  (/ a1 (* b1 b2))
0.850 * * * [progress]: adding candidates to table
0.926 * * [progress]: iteration 3 / 4
0.926 * * * [progress]: picking best candidate
0.954 * * * * [pick]: Picked  #<alt (λ (a1 a2 b1 b2) (* (/ a2 b1) (/ a1 b2)))>
0.954 * * * [progress]: localizing error
0.963 * * * [progress]: generating rewritten candidates
0.963 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.983 * * * [progress]: generating series expansions
0.983 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.983 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (a2 b1 a1 b2) around 0
0.983 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2
0.983 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.983 * [taylor]: Taking taylor expansion of a1 in b2
0.983 * [taylor]: Taking taylor expansion of a2 in b2
0.983 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.983 * [taylor]: Taking taylor expansion of b1 in b2
0.983 * [taylor]: Taking taylor expansion of b2 in b2
0.983 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
0.983 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.983 * [taylor]: Taking taylor expansion of a1 in a1
0.983 * [taylor]: Taking taylor expansion of a2 in a1
0.983 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.983 * [taylor]: Taking taylor expansion of b1 in a1
0.984 * [taylor]: Taking taylor expansion of b2 in a1
0.984 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1
0.984 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.984 * [taylor]: Taking taylor expansion of a1 in b1
0.984 * [taylor]: Taking taylor expansion of a2 in b1
0.984 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.984 * [taylor]: Taking taylor expansion of b1 in b1
0.984 * [taylor]: Taking taylor expansion of b2 in b1
0.984 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
0.984 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.984 * [taylor]: Taking taylor expansion of a1 in a2
0.984 * [taylor]: Taking taylor expansion of a2 in a2
0.984 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.984 * [taylor]: Taking taylor expansion of b1 in a2
0.984 * [taylor]: Taking taylor expansion of b2 in a2
0.984 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
0.984 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.984 * [taylor]: Taking taylor expansion of a1 in a2
0.984 * [taylor]: Taking taylor expansion of a2 in a2
0.984 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.984 * [taylor]: Taking taylor expansion of b1 in a2
0.984 * [taylor]: Taking taylor expansion of b2 in a2
0.985 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in b1
0.985 * [taylor]: Taking taylor expansion of a1 in b1
0.985 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.985 * [taylor]: Taking taylor expansion of b1 in b1
0.985 * [taylor]: Taking taylor expansion of b2 in b1
0.985 * [taylor]: Taking taylor expansion of (/ a1 b2) in a1
0.985 * [taylor]: Taking taylor expansion of a1 in a1
0.985 * [taylor]: Taking taylor expansion of b2 in a1
0.985 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
0.985 * [taylor]: Taking taylor expansion of b2 in b2
0.985 * [taylor]: Taking taylor expansion of 0 in b1
0.985 * [taylor]: Taking taylor expansion of 0 in a1
0.985 * [taylor]: Taking taylor expansion of 0 in b2
0.986 * [taylor]: Taking taylor expansion of 0 in b2
0.986 * [taylor]: Taking taylor expansion of 0 in b1
0.986 * [taylor]: Taking taylor expansion of 0 in a1
0.986 * [taylor]: Taking taylor expansion of 0 in b2
0.986 * [taylor]: Taking taylor expansion of 0 in a1
0.986 * [taylor]: Taking taylor expansion of 0 in b2
0.986 * [taylor]: Taking taylor expansion of 0 in b2
0.987 * [taylor]: Taking taylor expansion of 0 in b2
0.987 * [taylor]: Taking taylor expansion of 0 in b1
0.987 * [taylor]: Taking taylor expansion of 0 in a1
0.987 * [taylor]: Taking taylor expansion of 0 in b2
0.987 * [taylor]: Taking taylor expansion of 0 in a1
0.987 * [taylor]: Taking taylor expansion of 0 in b2
0.987 * [taylor]: Taking taylor expansion of 0 in a1
0.988 * [taylor]: Taking taylor expansion of 0 in b2
0.988 * [taylor]: Taking taylor expansion of 0 in b2
0.988 * [taylor]: Taking taylor expansion of 0 in b2
0.988 * [taylor]: Taking taylor expansion of 0 in b2
0.988 * [taylor]: Taking taylor expansion of 0 in b2
0.988 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a2 b1 a1 b2) around 0
0.988 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.988 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.988 * [taylor]: Taking taylor expansion of b1 in b2
0.988 * [taylor]: Taking taylor expansion of b2 in b2
0.988 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.988 * [taylor]: Taking taylor expansion of a1 in b2
0.988 * [taylor]: Taking taylor expansion of a2 in b2
0.989 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.989 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.989 * [taylor]: Taking taylor expansion of b1 in a1
0.989 * [taylor]: Taking taylor expansion of b2 in a1
0.989 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.989 * [taylor]: Taking taylor expansion of a1 in a1
0.989 * [taylor]: Taking taylor expansion of a2 in a1
0.989 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.989 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.989 * [taylor]: Taking taylor expansion of b1 in b1
0.989 * [taylor]: Taking taylor expansion of b2 in b1
0.989 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.989 * [taylor]: Taking taylor expansion of a1 in b1
0.989 * [taylor]: Taking taylor expansion of a2 in b1
0.989 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.989 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.989 * [taylor]: Taking taylor expansion of b1 in a2
0.989 * [taylor]: Taking taylor expansion of b2 in a2
0.989 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.989 * [taylor]: Taking taylor expansion of a1 in a2
0.989 * [taylor]: Taking taylor expansion of a2 in a2
0.989 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.989 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.989 * [taylor]: Taking taylor expansion of b1 in a2
0.989 * [taylor]: Taking taylor expansion of b2 in a2
0.989 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.989 * [taylor]: Taking taylor expansion of a1 in a2
0.990 * [taylor]: Taking taylor expansion of a2 in a2
0.990 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in b1
0.990 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.990 * [taylor]: Taking taylor expansion of b1 in b1
0.990 * [taylor]: Taking taylor expansion of b2 in b1
0.990 * [taylor]: Taking taylor expansion of a1 in b1
0.990 * [taylor]: Taking taylor expansion of (/ b2 a1) in a1
0.990 * [taylor]: Taking taylor expansion of b2 in a1
0.990 * [taylor]: Taking taylor expansion of a1 in a1
0.990 * [taylor]: Taking taylor expansion of b2 in b2
0.990 * [taylor]: Taking taylor expansion of 0 in b1
0.990 * [taylor]: Taking taylor expansion of 0 in a1
0.991 * [taylor]: Taking taylor expansion of 0 in a1
0.991 * [taylor]: Taking taylor expansion of 0 in b2
0.991 * [taylor]: Taking taylor expansion of 0 in b1
0.991 * [taylor]: Taking taylor expansion of 0 in a1
0.991 * [taylor]: Taking taylor expansion of 0 in a1
0.991 * [taylor]: Taking taylor expansion of 0 in a1
0.991 * [taylor]: Taking taylor expansion of 0 in b2
0.991 * [taylor]: Taking taylor expansion of 0 in b2
0.991 * [taylor]: Taking taylor expansion of 0 in b2
0.992 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a2 b1 a1 b2) around 0
0.992 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.992 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.992 * [taylor]: Taking taylor expansion of b1 in b2
0.992 * [taylor]: Taking taylor expansion of b2 in b2
0.992 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.992 * [taylor]: Taking taylor expansion of a1 in b2
0.992 * [taylor]: Taking taylor expansion of a2 in b2
0.992 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.992 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.992 * [taylor]: Taking taylor expansion of b1 in a1
0.992 * [taylor]: Taking taylor expansion of b2 in a1
0.992 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.992 * [taylor]: Taking taylor expansion of a1 in a1
0.992 * [taylor]: Taking taylor expansion of a2 in a1
0.992 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.993 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.993 * [taylor]: Taking taylor expansion of b1 in b1
0.993 * [taylor]: Taking taylor expansion of b2 in b1
0.993 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.993 * [taylor]: Taking taylor expansion of a1 in b1
0.993 * [taylor]: Taking taylor expansion of a2 in b1
0.993 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.993 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.993 * [taylor]: Taking taylor expansion of b1 in a2
0.993 * [taylor]: Taking taylor expansion of b2 in a2
0.993 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.993 * [taylor]: Taking taylor expansion of a1 in a2
0.993 * [taylor]: Taking taylor expansion of a2 in a2
0.993 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.993 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.993 * [taylor]: Taking taylor expansion of b1 in a2
0.993 * [taylor]: Taking taylor expansion of b2 in a2
0.993 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.993 * [taylor]: Taking taylor expansion of a1 in a2
0.993 * [taylor]: Taking taylor expansion of a2 in a2
0.993 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in b1
0.993 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.993 * [taylor]: Taking taylor expansion of b1 in b1
0.993 * [taylor]: Taking taylor expansion of b2 in b1
0.993 * [taylor]: Taking taylor expansion of a1 in b1
0.994 * [taylor]: Taking taylor expansion of (/ b2 a1) in a1
0.994 * [taylor]: Taking taylor expansion of b2 in a1
0.994 * [taylor]: Taking taylor expansion of a1 in a1
0.994 * [taylor]: Taking taylor expansion of b2 in b2
0.994 * [taylor]: Taking taylor expansion of 0 in b1
0.994 * [taylor]: Taking taylor expansion of 0 in a1
0.994 * [taylor]: Taking taylor expansion of 0 in a1
0.994 * [taylor]: Taking taylor expansion of 0 in b2
0.995 * [taylor]: Taking taylor expansion of 0 in b1
0.995 * [taylor]: Taking taylor expansion of 0 in a1
0.995 * [taylor]: Taking taylor expansion of 0 in a1
0.995 * [taylor]: Taking taylor expansion of 0 in a1
0.995 * [taylor]: Taking taylor expansion of 0 in b2
0.995 * [taylor]: Taking taylor expansion of 0 in b2
0.995 * [taylor]: Taking taylor expansion of 0 in b2
0.995 * * * [progress]: simplifying candidates
0.997 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (/ a2 b1) (/ a1 b2))
  (+ (- (log a2) (log b1)) (- (log a1) (log b2)))
  (+ (- (log a2) (log b1)) (log (/ a1 b2)))
  (+ (log (/ a2 b1)) (- (log a1) (log b2)))
  (+ (log (/ a2 b1)) (log (/ a1 b2)))
  (log (* (/ a2 b1) (/ a1 b2)))
  (exp (* (/ a2 b1) (/ a1 b2)))
  (* (/ (* (* a2 a2) a2) (* (* b1 b1) b1)) (/ (* (* a1 a1) a1) (* (* b2 b2) b2)))
  (* (/ (* (* a2 a2) a2) (* (* b1 b1) b1)) (* (* (/ a1 b2) (/ a1 b2)) (/ a1 b2)))
  (* (* (* (/ a2 b1) (/ a2 b1)) (/ a2 b1)) (/ (* (* a1 a1) a1) (* (* b2 b2) b2)))
  (* (* (* (/ a2 b1) (/ a2 b1)) (/ a2 b1)) (* (* (/ a1 b2) (/ a1 b2)) (/ a1 b2)))
  (* (cbrt (* (/ a2 b1) (/ a1 b2))) (cbrt (* (/ a2 b1) (/ a1 b2))))
  (cbrt (* (/ a2 b1) (/ a1 b2)))
  (* (* (* (/ a2 b1) (/ a1 b2)) (* (/ a2 b1) (/ a1 b2))) (* (/ a2 b1) (/ a1 b2)))
  (sqrt (* (/ a2 b1) (/ a1 b2)))
  (sqrt (* (/ a2 b1) (/ a1 b2)))
  (* a2 a1)
  (* b1 b2)
  (* (sqrt (/ a2 b1)) (sqrt (/ a1 b2)))
  (* (sqrt (/ a2 b1)) (sqrt (/ a1 b2)))
  (* (sqrt (/ a2 b1)) (/ (sqrt a1) (sqrt b2)))
  (* (sqrt (/ a2 b1)) (/ (sqrt a1) (sqrt b2)))
  (* (/ (sqrt a2) (sqrt b1)) (sqrt (/ a1 b2)))
  (* (/ (sqrt a2) (sqrt b1)) (sqrt (/ a1 b2)))
  (* (/ (sqrt a2) (sqrt b1)) (/ (sqrt a1) (sqrt b2)))
  (* (/ (sqrt a2) (sqrt b1)) (/ (sqrt a1) (sqrt b2)))
  (* (/ a2 b1) (* (cbrt (/ a1 b2)) (cbrt (/ a1 b2))))
  (* (/ a2 b1) (sqrt (/ a1 b2)))
  (* (/ a2 b1) (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b2) (cbrt b2))))
  (* (/ a2 b1) (/ (* (cbrt a1) (cbrt a1)) (sqrt b2)))
  (* (/ a2 b1) (/ (* (cbrt a1) (cbrt a1)) 1))
  (* (/ a2 b1) (/ (sqrt a1) (* (cbrt b2) (cbrt b2))))
  (* (/ a2 b1) (/ (sqrt a1) (sqrt b2)))
  (* (/ a2 b1) (/ (sqrt a1) 1))
  (* (/ a2 b1) (/ 1 (* (cbrt b2) (cbrt b2))))
  (* (/ a2 b1) (/ 1 (sqrt b2)))
  (* (/ a2 b1) (/ 1 1))
  (* (/ a2 b1) 1)
  (* (/ a2 b1) a1)
  (* (cbrt (/ a2 b1)) (/ a1 b2))
  (* (sqrt (/ a2 b1)) (/ a1 b2))
  (* (/ (cbrt a2) (cbrt b1)) (/ a1 b2))
  (* (/ (cbrt a2) (sqrt b1)) (/ a1 b2))
  (* (/ (cbrt a2) b1) (/ a1 b2))
  (* (/ (sqrt a2) (cbrt b1)) (/ a1 b2))
  (* (/ (sqrt a2) (sqrt b1)) (/ a1 b2))
  (* (/ (sqrt a2) b1) (/ a1 b2))
  (* (/ a2 (cbrt b1)) (/ a1 b2))
  (* (/ a2 (sqrt b1)) (/ a1 b2))
  (* (/ a2 b1) (/ a1 b2))
  (* (/ a2 b1) (/ a1 b2))
  (* (/ 1 b1) (/ a1 b2))
  (* (/ a2 b1) a1)
  (* a2 (/ a1 b2))
  (/ (* a1 a2) (* b1 b2))
  (/ (* a1 a2) (* b1 b2))
  (/ (* a1 a2) (* b1 b2))
1.057 * * [simplify]: iteration  0 :  5134  enodes  (cost  471 )
1.059 * [simplify]: Simplified to:
   (* a2 (/ a1 (* b1 b2)))
  (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 (/ a2 b1)) (/ a1 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))))
  (* a2 a1)
  (* b1 b2)
  (* (sqrt (/ a2 b1)) (sqrt (/ a1 b2)))
  (* (sqrt (/ a2 b1)) (sqrt (/ a1 b2)))
  (* (sqrt (/ a2 b1)) (/ (sqrt a1) (sqrt b2)))
  (* (sqrt (/ a2 b1)) (/ (sqrt a1) (sqrt b2)))
  (* (sqrt (/ a1 b2)) (/ (sqrt a2) (sqrt b1)))
  (* (sqrt (/ a1 b2)) (/ (sqrt a2) (sqrt b1)))
  (* (/ (sqrt a1) (sqrt b2)) (/ (sqrt a2) (sqrt b1)))
  (* (/ (sqrt a1) (sqrt b2)) (/ (sqrt a2) (sqrt b1)))
  (* (/ a2 b1) (* (cbrt (/ a1 b2)) (cbrt (/ a1 b2))))
  (* (/ a2 b1) (sqrt (/ a1 b2)))
  (* (/ a2 b1) (* (cbrt a1) (/ (cbrt a1) (* (cbrt b2) (cbrt b2)))))
  (* (/ a2 b1) (* (cbrt a1) (/ (cbrt a1) (sqrt b2))))
  (* a2 (/ (* (cbrt a1) (cbrt a1)) b1))
  (* (/ a2 b1) (/ (sqrt a1) (* (cbrt b2) (cbrt b2))))
  (* (/ a2 b1) (/ (sqrt a1) (sqrt b2)))
  (* a2 (/ (sqrt a1) b1))
  (/ a2 (* b1 (* (cbrt b2) (cbrt b2))))
  (/ a2 (* b1 (sqrt b2)))
  (/ a2 b1)
  (/ a2 b1)
  (* a2 (/ a1 b1))
  (* (/ a1 b2) (cbrt (/ a2 b1)))
  (* (/ a1 b2) (sqrt (/ a2 b1)))
  (* (/ a1 b2) (/ (cbrt a2) (cbrt b1)))
  (* (/ a1 b2) (/ (cbrt a2) (sqrt b1)))
  (* (/ a1 b2) (/ (cbrt a2) b1))
  (* (/ a1 b2) (/ (sqrt a2) (cbrt b1)))
  (* (/ a1 b2) (/ (sqrt a2) (sqrt b1)))
  (* (/ a1 b2) (/ (sqrt a2) b1))
  (* (/ a1 b2) (/ a2 (cbrt b1)))
  (* (/ a1 b2) (/ a2 (sqrt b1)))
  (* a2 (/ a1 (* b1 b2)))
  (* a2 (/ a1 (* b1 b2)))
  (/ a1 (* b1 b2))
  (* a2 (/ a1 b1))
  (* a2 (/ a1 b2))
  (* a2 (/ a1 (* b1 b2)))
  (* a2 (/ a1 (* b1 b2)))
  (* a2 (/ a1 (* b1 b2)))
1.059 * * * [progress]: adding candidates to table
1.140 * * [progress]: iteration 4 / 4
1.140 * * * [progress]: picking best candidate
1.178 * * * * [pick]: Picked  #<alt (λ (a1 a2 b1 b2) (* (* (cbrt a2) (cbrt a2)) (* (/ a1 (* b1 b2)) (cbrt a2))))>
1.179 * * * [progress]: localizing error
1.195 * * * [progress]: generating rewritten candidates
1.195 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
1.199 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1.211 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
1.218 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
1.221 * * * [progress]: generating series expansions
1.222 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
1.222 * [approximate]: Taking taylor expansion of (/ a1 (* b1 b2)) in (a1 b1 b2) around 0
1.222 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in b2
1.222 * [taylor]: Taking taylor expansion of a1 in b2
1.222 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.222 * [taylor]: Taking taylor expansion of b1 in b2
1.222 * [taylor]: Taking taylor expansion of b2 in b2
1.222 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in b1
1.222 * [taylor]: Taking taylor expansion of a1 in b1
1.222 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.222 * [taylor]: Taking taylor expansion of b1 in b1
1.222 * [taylor]: Taking taylor expansion of b2 in b1
1.222 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in a1
1.222 * [taylor]: Taking taylor expansion of a1 in a1
1.222 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.222 * [taylor]: Taking taylor expansion of b1 in a1
1.222 * [taylor]: Taking taylor expansion of b2 in a1
1.222 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in a1
1.222 * [taylor]: Taking taylor expansion of a1 in a1
1.222 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.222 * [taylor]: Taking taylor expansion of b1 in a1
1.222 * [taylor]: Taking taylor expansion of b2 in a1
1.222 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1
1.222 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.222 * [taylor]: Taking taylor expansion of b1 in b1
1.222 * [taylor]: Taking taylor expansion of b2 in b1
1.222 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
1.222 * [taylor]: Taking taylor expansion of b2 in b2
1.222 * [taylor]: Taking taylor expansion of 0 in b1
1.223 * [taylor]: Taking taylor expansion of 0 in b2
1.223 * [taylor]: Taking taylor expansion of 0 in b1
1.223 * [taylor]: Taking taylor expansion of 0 in b2
1.223 * [taylor]: Taking taylor expansion of 0 in b2
1.223 * [taylor]: Taking taylor expansion of 0 in b1
1.223 * [taylor]: Taking taylor expansion of 0 in b2
1.223 * [taylor]: Taking taylor expansion of 0 in b2
1.223 * [taylor]: Taking taylor expansion of 0 in b2
1.223 * [approximate]: Taking taylor expansion of (/ (* b1 b2) a1) in (a1 b1 b2) around 0
1.223 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in b2
1.223 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.224 * [taylor]: Taking taylor expansion of b1 in b2
1.224 * [taylor]: Taking taylor expansion of b2 in b2
1.224 * [taylor]: Taking taylor expansion of a1 in b2
1.224 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in b1
1.224 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.224 * [taylor]: Taking taylor expansion of b1 in b1
1.224 * [taylor]: Taking taylor expansion of b2 in b1
1.224 * [taylor]: Taking taylor expansion of a1 in b1
1.224 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in a1
1.224 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.224 * [taylor]: Taking taylor expansion of b1 in a1
1.224 * [taylor]: Taking taylor expansion of b2 in a1
1.224 * [taylor]: Taking taylor expansion of a1 in a1
1.224 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in a1
1.224 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.224 * [taylor]: Taking taylor expansion of b1 in a1
1.224 * [taylor]: Taking taylor expansion of b2 in a1
1.224 * [taylor]: Taking taylor expansion of a1 in a1
1.224 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.224 * [taylor]: Taking taylor expansion of b1 in b1
1.224 * [taylor]: Taking taylor expansion of b2 in b1
1.224 * [taylor]: Taking taylor expansion of b2 in b2
1.224 * [taylor]: Taking taylor expansion of 0 in b1
1.224 * [taylor]: Taking taylor expansion of 0 in b2
1.224 * [taylor]: Taking taylor expansion of 0 in b2
1.224 * [taylor]: Taking taylor expansion of 0 in b1
1.224 * [taylor]: Taking taylor expansion of 0 in b2
1.224 * [taylor]: Taking taylor expansion of 0 in b2
1.224 * [taylor]: Taking taylor expansion of 0 in b2
1.225 * [approximate]: Taking taylor expansion of (* -1 (/ (* b1 b2) a1)) in (a1 b1 b2) around 0
1.225 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 b2) a1)) in b2
1.225 * [taylor]: Taking taylor expansion of -1 in b2
1.225 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in b2
1.225 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.225 * [taylor]: Taking taylor expansion of b1 in b2
1.225 * [taylor]: Taking taylor expansion of b2 in b2
1.225 * [taylor]: Taking taylor expansion of a1 in b2
1.225 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 b2) a1)) in b1
1.225 * [taylor]: Taking taylor expansion of -1 in b1
1.225 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in b1
1.225 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.225 * [taylor]: Taking taylor expansion of b1 in b1
1.225 * [taylor]: Taking taylor expansion of b2 in b1
1.225 * [taylor]: Taking taylor expansion of a1 in b1
1.225 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 b2) a1)) in a1
1.225 * [taylor]: Taking taylor expansion of -1 in a1
1.225 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in a1
1.225 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.225 * [taylor]: Taking taylor expansion of b1 in a1
1.225 * [taylor]: Taking taylor expansion of b2 in a1
1.225 * [taylor]: Taking taylor expansion of a1 in a1
1.225 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 b2) a1)) in a1
1.225 * [taylor]: Taking taylor expansion of -1 in a1
1.225 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in a1
1.225 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.225 * [taylor]: Taking taylor expansion of b1 in a1
1.225 * [taylor]: Taking taylor expansion of b2 in a1
1.225 * [taylor]: Taking taylor expansion of a1 in a1
1.225 * [taylor]: Taking taylor expansion of (* -1 (* b1 b2)) in b1
1.225 * [taylor]: Taking taylor expansion of -1 in b1
1.225 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.225 * [taylor]: Taking taylor expansion of b1 in b1
1.225 * [taylor]: Taking taylor expansion of b2 in b1
1.225 * [taylor]: Taking taylor expansion of (neg b2) in b2
1.225 * [taylor]: Taking taylor expansion of b2 in b2
1.226 * [taylor]: Taking taylor expansion of 0 in b1
1.226 * [taylor]: Taking taylor expansion of 0 in b2
1.226 * [taylor]: Taking taylor expansion of 0 in b2
1.226 * [taylor]: Taking taylor expansion of 0 in b1
1.226 * [taylor]: Taking taylor expansion of 0 in b2
1.226 * [taylor]: Taking taylor expansion of 0 in b2
1.226 * [taylor]: Taking taylor expansion of 0 in b2
1.226 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1.226 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (a2 a1 b1 b2) around 0
1.226 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2
1.226 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
1.226 * [taylor]: Taking taylor expansion of a1 in b2
1.226 * [taylor]: Taking taylor expansion of a2 in b2
1.226 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.226 * [taylor]: Taking taylor expansion of b1 in b2
1.226 * [taylor]: Taking taylor expansion of b2 in b2
1.227 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1
1.227 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.227 * [taylor]: Taking taylor expansion of a1 in b1
1.227 * [taylor]: Taking taylor expansion of a2 in b1
1.227 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.227 * [taylor]: Taking taylor expansion of b1 in b1
1.227 * [taylor]: Taking taylor expansion of b2 in b1
1.227 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
1.227 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.227 * [taylor]: Taking taylor expansion of a1 in a1
1.227 * [taylor]: Taking taylor expansion of a2 in a1
1.227 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.227 * [taylor]: Taking taylor expansion of b1 in a1
1.227 * [taylor]: Taking taylor expansion of b2 in a1
1.227 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
1.227 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.227 * [taylor]: Taking taylor expansion of a1 in a2
1.227 * [taylor]: Taking taylor expansion of a2 in a2
1.227 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.227 * [taylor]: Taking taylor expansion of b1 in a2
1.227 * [taylor]: Taking taylor expansion of b2 in a2
1.227 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
1.227 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.227 * [taylor]: Taking taylor expansion of a1 in a2
1.227 * [taylor]: Taking taylor expansion of a2 in a2
1.227 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.227 * [taylor]: Taking taylor expansion of b1 in a2
1.227 * [taylor]: Taking taylor expansion of b2 in a2
1.227 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in a1
1.227 * [taylor]: Taking taylor expansion of a1 in a1
1.227 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.227 * [taylor]: Taking taylor expansion of b1 in a1
1.227 * [taylor]: Taking taylor expansion of b2 in a1
1.227 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1
1.227 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.227 * [taylor]: Taking taylor expansion of b1 in b1
1.227 * [taylor]: Taking taylor expansion of b2 in b1
1.228 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
1.228 * [taylor]: Taking taylor expansion of b2 in b2
1.228 * [taylor]: Taking taylor expansion of 0 in a1
1.228 * [taylor]: Taking taylor expansion of 0 in b1
1.228 * [taylor]: Taking taylor expansion of 0 in b1
1.228 * [taylor]: Taking taylor expansion of 0 in b2
1.228 * [taylor]: Taking taylor expansion of 0 in a1
1.228 * [taylor]: Taking taylor expansion of 0 in b1
1.228 * [taylor]: Taking taylor expansion of 0 in b1
1.228 * [taylor]: Taking taylor expansion of 0 in b1
1.228 * [taylor]: Taking taylor expansion of 0 in b2
1.228 * [taylor]: Taking taylor expansion of 0 in b2
1.229 * [taylor]: Taking taylor expansion of 0 in b2
1.229 * [taylor]: Taking taylor expansion of 0 in a1
1.229 * [taylor]: Taking taylor expansion of 0 in b1
1.229 * [taylor]: Taking taylor expansion of 0 in b1
1.229 * [taylor]: Taking taylor expansion of 0 in b1
1.229 * [taylor]: Taking taylor expansion of 0 in b1
1.229 * [taylor]: Taking taylor expansion of 0 in b2
1.229 * [taylor]: Taking taylor expansion of 0 in b2
1.229 * [taylor]: Taking taylor expansion of 0 in b2
1.229 * [taylor]: Taking taylor expansion of 0 in b2
1.229 * [taylor]: Taking taylor expansion of 0 in b2
1.229 * [taylor]: Taking taylor expansion of 0 in b2
1.230 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a2 a1 b1 b2) around 0
1.230 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
1.230 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.230 * [taylor]: Taking taylor expansion of b1 in b2
1.230 * [taylor]: Taking taylor expansion of b2 in b2
1.230 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
1.230 * [taylor]: Taking taylor expansion of a1 in b2
1.230 * [taylor]: Taking taylor expansion of a2 in b2
1.230 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
1.230 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.230 * [taylor]: Taking taylor expansion of b1 in b1
1.230 * [taylor]: Taking taylor expansion of b2 in b1
1.230 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.230 * [taylor]: Taking taylor expansion of a1 in b1
1.230 * [taylor]: Taking taylor expansion of a2 in b1
1.230 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
1.230 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.230 * [taylor]: Taking taylor expansion of b1 in a1
1.230 * [taylor]: Taking taylor expansion of b2 in a1
1.230 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.230 * [taylor]: Taking taylor expansion of a1 in a1
1.230 * [taylor]: Taking taylor expansion of a2 in a1
1.230 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
1.230 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.230 * [taylor]: Taking taylor expansion of b1 in a2
1.230 * [taylor]: Taking taylor expansion of b2 in a2
1.230 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.230 * [taylor]: Taking taylor expansion of a1 in a2
1.230 * [taylor]: Taking taylor expansion of a2 in a2
1.230 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
1.230 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.230 * [taylor]: Taking taylor expansion of b1 in a2
1.230 * [taylor]: Taking taylor expansion of b2 in a2
1.230 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.230 * [taylor]: Taking taylor expansion of a1 in a2
1.230 * [taylor]: Taking taylor expansion of a2 in a2
1.231 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in a1
1.231 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.231 * [taylor]: Taking taylor expansion of b1 in a1
1.231 * [taylor]: Taking taylor expansion of b2 in a1
1.231 * [taylor]: Taking taylor expansion of a1 in a1
1.231 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.231 * [taylor]: Taking taylor expansion of b1 in b1
1.231 * [taylor]: Taking taylor expansion of b2 in b1
1.231 * [taylor]: Taking taylor expansion of b2 in b2
1.231 * [taylor]: Taking taylor expansion of 0 in a1
1.231 * [taylor]: Taking taylor expansion of 0 in b1
1.231 * [taylor]: Taking taylor expansion of 0 in b2
1.231 * [taylor]: Taking taylor expansion of 0 in b2
1.231 * [taylor]: Taking taylor expansion of 0 in a1
1.231 * [taylor]: Taking taylor expansion of 0 in b1
1.231 * [taylor]: Taking taylor expansion of 0 in b2
1.231 * [taylor]: Taking taylor expansion of 0 in b1
1.231 * [taylor]: Taking taylor expansion of 0 in b2
1.231 * [taylor]: Taking taylor expansion of 0 in b2
1.232 * [approximate]: Taking taylor expansion of (* -1 (/ (* b1 (* (pow (cbrt -1) 3) b2)) (* a1 a2))) in (a2 a1 b1 b2) around 0
1.232 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 (* (pow (cbrt -1) 3) b2)) (* a1 a2))) in b2
1.232 * [taylor]: Taking taylor expansion of -1 in b2
1.232 * [taylor]: Taking taylor expansion of (/ (* b1 (* (pow (cbrt -1) 3) b2)) (* a1 a2)) in b2
1.232 * [taylor]: Taking taylor expansion of (* b1 (* (pow (cbrt -1) 3) b2)) in b2
1.232 * [taylor]: Taking taylor expansion of b1 in b2
1.232 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) b2) in b2
1.232 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in b2
1.232 * [taylor]: Taking taylor expansion of (cbrt -1) in b2
1.232 * [taylor]: Taking taylor expansion of -1 in b2
1.232 * [taylor]: Taking taylor expansion of b2 in b2
1.232 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
1.232 * [taylor]: Taking taylor expansion of a1 in b2
1.232 * [taylor]: Taking taylor expansion of a2 in b2
1.233 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 (* (pow (cbrt -1) 3) b2)) (* a1 a2))) in b1
1.233 * [taylor]: Taking taylor expansion of -1 in b1
1.233 * [taylor]: Taking taylor expansion of (/ (* b1 (* (pow (cbrt -1) 3) b2)) (* a1 a2)) in b1
1.233 * [taylor]: Taking taylor expansion of (* b1 (* (pow (cbrt -1) 3) b2)) in b1
1.233 * [taylor]: Taking taylor expansion of b1 in b1
1.233 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) b2) in b1
1.233 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in b1
1.233 * [taylor]: Taking taylor expansion of (cbrt -1) in b1
1.233 * [taylor]: Taking taylor expansion of -1 in b1
1.233 * [taylor]: Taking taylor expansion of b2 in b1
1.233 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
1.233 * [taylor]: Taking taylor expansion of a1 in b1
1.233 * [taylor]: Taking taylor expansion of a2 in b1
1.234 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 (* (pow (cbrt -1) 3) b2)) (* a1 a2))) in a1
1.234 * [taylor]: Taking taylor expansion of -1 in a1
1.234 * [taylor]: Taking taylor expansion of (/ (* b1 (* (pow (cbrt -1) 3) b2)) (* a1 a2)) in a1
1.234 * [taylor]: Taking taylor expansion of (* b1 (* (pow (cbrt -1) 3) b2)) in a1
1.234 * [taylor]: Taking taylor expansion of b1 in a1
1.234 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) b2) in a1
1.234 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in a1
1.234 * [taylor]: Taking taylor expansion of (cbrt -1) in a1
1.234 * [taylor]: Taking taylor expansion of -1 in a1
1.234 * [taylor]: Taking taylor expansion of b2 in a1
1.234 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
1.234 * [taylor]: Taking taylor expansion of a1 in a1
1.234 * [taylor]: Taking taylor expansion of a2 in a1
1.235 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 (* (pow (cbrt -1) 3) b2)) (* a1 a2))) in a2
1.235 * [taylor]: Taking taylor expansion of -1 in a2
1.235 * [taylor]: Taking taylor expansion of (/ (* b1 (* (pow (cbrt -1) 3) b2)) (* a1 a2)) in a2
1.235 * [taylor]: Taking taylor expansion of (* b1 (* (pow (cbrt -1) 3) b2)) in a2
1.235 * [taylor]: Taking taylor expansion of b1 in a2
1.235 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) b2) in a2
1.235 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in a2
1.235 * [taylor]: Taking taylor expansion of (cbrt -1) in a2
1.235 * [taylor]: Taking taylor expansion of -1 in a2
1.235 * [taylor]: Taking taylor expansion of b2 in a2
1.235 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.235 * [taylor]: Taking taylor expansion of a1 in a2
1.235 * [taylor]: Taking taylor expansion of a2 in a2
1.235 * [taylor]: Taking taylor expansion of (* -1 (/ (* b1 (* (pow (cbrt -1) 3) b2)) (* a1 a2))) in a2
1.235 * [taylor]: Taking taylor expansion of -1 in a2
1.235 * [taylor]: Taking taylor expansion of (/ (* b1 (* (pow (cbrt -1) 3) b2)) (* a1 a2)) in a2
1.235 * [taylor]: Taking taylor expansion of (* b1 (* (pow (cbrt -1) 3) b2)) in a2
1.235 * [taylor]: Taking taylor expansion of b1 in a2
1.235 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) b2) in a2
1.235 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in a2
1.236 * [taylor]: Taking taylor expansion of (cbrt -1) in a2
1.236 * [taylor]: Taking taylor expansion of -1 in a2
1.236 * [taylor]: Taking taylor expansion of b2 in a2
1.236 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
1.236 * [taylor]: Taking taylor expansion of a1 in a2
1.236 * [taylor]: Taking taylor expansion of a2 in a2
1.236 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in a1
1.236 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.236 * [taylor]: Taking taylor expansion of b1 in a1
1.236 * [taylor]: Taking taylor expansion of b2 in a1
1.236 * [taylor]: Taking taylor expansion of a1 in a1
1.236 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.236 * [taylor]: Taking taylor expansion of b1 in b1
1.236 * [taylor]: Taking taylor expansion of b2 in b1
1.236 * [taylor]: Taking taylor expansion of b2 in b2
1.237 * [taylor]: Taking taylor expansion of 0 in a1
1.237 * [taylor]: Taking taylor expansion of 0 in b1
1.237 * [taylor]: Taking taylor expansion of 0 in b2
1.237 * [taylor]: Taking taylor expansion of 0 in b2
1.238 * [taylor]: Taking taylor expansion of 0 in a1
1.238 * [taylor]: Taking taylor expansion of 0 in b1
1.238 * [taylor]: Taking taylor expansion of 0 in b2
1.238 * [taylor]: Taking taylor expansion of 0 in b1
1.238 * [taylor]: Taking taylor expansion of 0 in b2
1.238 * [taylor]: Taking taylor expansion of 0 in b2
1.238 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
1.238 * [approximate]: Taking taylor expansion of (* (/ a1 (* b1 b2)) (pow a2 1/3)) in (a1 b1 b2 a2) around 0
1.238 * [taylor]: Taking taylor expansion of (* (/ a1 (* b1 b2)) (pow a2 1/3)) in a2
1.238 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in a2
1.238 * [taylor]: Taking taylor expansion of a1 in a2
1.238 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.238 * [taylor]: Taking taylor expansion of b1 in a2
1.238 * [taylor]: Taking taylor expansion of b2 in a2
1.239 * [taylor]: Taking taylor expansion of (pow a2 1/3) in a2
1.239 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a2))) in a2
1.239 * [taylor]: Taking taylor expansion of (* 1/3 (log a2)) in a2
1.239 * [taylor]: Taking taylor expansion of 1/3 in a2
1.239 * [taylor]: Taking taylor expansion of (log a2) in a2
1.239 * [taylor]: Taking taylor expansion of a2 in a2
1.239 * [taylor]: Taking taylor expansion of (* (/ a1 (* b1 b2)) (pow a2 1/3)) in b2
1.239 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in b2
1.239 * [taylor]: Taking taylor expansion of a1 in b2
1.239 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.239 * [taylor]: Taking taylor expansion of b1 in b2
1.239 * [taylor]: Taking taylor expansion of b2 in b2
1.239 * [taylor]: Taking taylor expansion of (pow a2 1/3) in b2
1.239 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a2))) in b2
1.239 * [taylor]: Taking taylor expansion of (* 1/3 (log a2)) in b2
1.239 * [taylor]: Taking taylor expansion of 1/3 in b2
1.239 * [taylor]: Taking taylor expansion of (log a2) in b2
1.239 * [taylor]: Taking taylor expansion of a2 in b2
1.239 * [taylor]: Taking taylor expansion of (* (/ a1 (* b1 b2)) (pow a2 1/3)) in b1
1.239 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in b1
1.239 * [taylor]: Taking taylor expansion of a1 in b1
1.239 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.239 * [taylor]: Taking taylor expansion of b1 in b1
1.239 * [taylor]: Taking taylor expansion of b2 in b1
1.239 * [taylor]: Taking taylor expansion of (pow a2 1/3) in b1
1.239 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a2))) in b1
1.239 * [taylor]: Taking taylor expansion of (* 1/3 (log a2)) in b1
1.239 * [taylor]: Taking taylor expansion of 1/3 in b1
1.239 * [taylor]: Taking taylor expansion of (log a2) in b1
1.239 * [taylor]: Taking taylor expansion of a2 in b1
1.239 * [taylor]: Taking taylor expansion of (* (/ a1 (* b1 b2)) (pow a2 1/3)) in a1
1.239 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in a1
1.239 * [taylor]: Taking taylor expansion of a1 in a1
1.239 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.239 * [taylor]: Taking taylor expansion of b1 in a1
1.239 * [taylor]: Taking taylor expansion of b2 in a1
1.239 * [taylor]: Taking taylor expansion of (pow a2 1/3) in a1
1.239 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a2))) in a1
1.240 * [taylor]: Taking taylor expansion of (* 1/3 (log a2)) in a1
1.240 * [taylor]: Taking taylor expansion of 1/3 in a1
1.240 * [taylor]: Taking taylor expansion of (log a2) in a1
1.240 * [taylor]: Taking taylor expansion of a2 in a1
1.240 * [taylor]: Taking taylor expansion of (* (/ a1 (* b1 b2)) (pow a2 1/3)) in a1
1.240 * [taylor]: Taking taylor expansion of (/ a1 (* b1 b2)) in a1
1.240 * [taylor]: Taking taylor expansion of a1 in a1
1.240 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.240 * [taylor]: Taking taylor expansion of b1 in a1
1.240 * [taylor]: Taking taylor expansion of b2 in a1
1.240 * [taylor]: Taking taylor expansion of (pow a2 1/3) in a1
1.240 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a2))) in a1
1.240 * [taylor]: Taking taylor expansion of (* 1/3 (log a2)) in a1
1.240 * [taylor]: Taking taylor expansion of 1/3 in a1
1.240 * [taylor]: Taking taylor expansion of (log a2) in a1
1.240 * [taylor]: Taking taylor expansion of a2 in a1
1.240 * [taylor]: Taking taylor expansion of (* (/ 1 (* b1 b2)) (pow a2 1/3)) in b1
1.240 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1
1.240 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.240 * [taylor]: Taking taylor expansion of b1 in b1
1.240 * [taylor]: Taking taylor expansion of b2 in b1
1.240 * [taylor]: Taking taylor expansion of (pow a2 1/3) in b1
1.240 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a2))) in b1
1.240 * [taylor]: Taking taylor expansion of (* 1/3 (log a2)) in b1
1.240 * [taylor]: Taking taylor expansion of 1/3 in b1
1.240 * [taylor]: Taking taylor expansion of (log a2) in b1
1.240 * [taylor]: Taking taylor expansion of a2 in b1
1.240 * [taylor]: Taking taylor expansion of (* (/ 1 b2) (pow a2 1/3)) in b2
1.240 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
1.240 * [taylor]: Taking taylor expansion of b2 in b2
1.240 * [taylor]: Taking taylor expansion of (pow a2 1/3) in b2
1.240 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a2))) in b2
1.240 * [taylor]: Taking taylor expansion of (* 1/3 (log a2)) in b2
1.240 * [taylor]: Taking taylor expansion of 1/3 in b2
1.240 * [taylor]: Taking taylor expansion of (log a2) in b2
1.240 * [taylor]: Taking taylor expansion of a2 in b2
1.241 * [taylor]: Taking taylor expansion of (pow a2 1/3) in a2
1.241 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a2))) in a2
1.241 * [taylor]: Taking taylor expansion of (* 1/3 (log a2)) in a2
1.241 * [taylor]: Taking taylor expansion of 1/3 in a2
1.241 * [taylor]: Taking taylor expansion of (log a2) in a2
1.241 * [taylor]: Taking taylor expansion of a2 in a2
1.241 * [taylor]: Taking taylor expansion of 0 in b1
1.242 * [taylor]: Taking taylor expansion of 0 in b2
1.242 * [taylor]: Taking taylor expansion of 0 in a2
1.243 * [taylor]: Taking taylor expansion of 0 in b1
1.243 * [taylor]: Taking taylor expansion of 0 in b2
1.243 * [taylor]: Taking taylor expansion of 0 in b2
1.243 * [taylor]: Taking taylor expansion of 0 in a2
1.244 * [taylor]: Taking taylor expansion of 0 in a2
1.244 * [approximate]: Taking taylor expansion of (* (/ (* b1 b2) a1) (pow (/ 1 a2) 1/3)) in (a1 b1 b2 a2) around 0
1.245 * [taylor]: Taking taylor expansion of (* (/ (* b1 b2) a1) (pow (/ 1 a2) 1/3)) in a2
1.245 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in a2
1.245 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
1.245 * [taylor]: Taking taylor expansion of b1 in a2
1.245 * [taylor]: Taking taylor expansion of b2 in a2
1.245 * [taylor]: Taking taylor expansion of a1 in a2
1.245 * [taylor]: Taking taylor expansion of (pow (/ 1 a2) 1/3) in a2
1.245 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a2)))) in a2
1.245 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a2))) in a2
1.245 * [taylor]: Taking taylor expansion of 1/3 in a2
1.245 * [taylor]: Taking taylor expansion of (log (/ 1 a2)) in a2
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 (* (/ (* b1 b2) a1) (pow (/ 1 a2) 1/3)) in b2
1.245 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in b2
1.245 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
1.245 * [taylor]: Taking taylor expansion of b1 in b2
1.245 * [taylor]: Taking taylor expansion of b2 in b2
1.245 * [taylor]: Taking taylor expansion of a1 in b2
1.245 * [taylor]: Taking taylor expansion of (pow (/ 1 a2) 1/3) in b2
1.245 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a2)))) in b2
1.245 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a2))) in b2
1.245 * [taylor]: Taking taylor expansion of 1/3 in b2
1.245 * [taylor]: Taking taylor expansion of (log (/ 1 a2)) in b2
1.245 * [taylor]: Taking taylor expansion of (/ 1 a2) in b2
1.245 * [taylor]: Taking taylor expansion of a2 in b2
1.245 * [taylor]: Taking taylor expansion of (* (/ (* b1 b2) a1) (pow (/ 1 a2) 1/3)) in b1
1.245 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in b1
1.245 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.245 * [taylor]: Taking taylor expansion of b1 in b1
1.245 * [taylor]: Taking taylor expansion of b2 in b1
1.245 * [taylor]: Taking taylor expansion of a1 in b1
1.245 * [taylor]: Taking taylor expansion of (pow (/ 1 a2) 1/3) in b1
1.245 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a2)))) in b1
1.245 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a2))) in b1
1.245 * [taylor]: Taking taylor expansion of 1/3 in b1
1.245 * [taylor]: Taking taylor expansion of (log (/ 1 a2)) in b1
1.245 * [taylor]: Taking taylor expansion of (/ 1 a2) in b1
1.246 * [taylor]: Taking taylor expansion of a2 in b1
1.246 * [taylor]: Taking taylor expansion of (* (/ (* b1 b2) a1) (pow (/ 1 a2) 1/3)) in a1
1.246 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in a1
1.246 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.246 * [taylor]: Taking taylor expansion of b1 in a1
1.246 * [taylor]: Taking taylor expansion of b2 in a1
1.246 * [taylor]: Taking taylor expansion of a1 in a1
1.246 * [taylor]: Taking taylor expansion of (pow (/ 1 a2) 1/3) in a1
1.246 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a2)))) in a1
1.246 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a2))) in a1
1.246 * [taylor]: Taking taylor expansion of 1/3 in a1
1.246 * [taylor]: Taking taylor expansion of (log (/ 1 a2)) in a1
1.246 * [taylor]: Taking taylor expansion of (/ 1 a2) in a1
1.246 * [taylor]: Taking taylor expansion of a2 in a1
1.246 * [taylor]: Taking taylor expansion of (* (/ (* b1 b2) a1) (pow (/ 1 a2) 1/3)) in a1
1.246 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a1) in a1
1.246 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
1.246 * [taylor]: Taking taylor expansion of b1 in a1
1.246 * [taylor]: Taking taylor expansion of b2 in a1
1.246 * [taylor]: Taking taylor expansion of a1 in a1
1.246 * [taylor]: Taking taylor expansion of (pow (/ 1 a2) 1/3) in a1
1.246 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a2)))) in a1
1.246 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a2))) in a1
1.246 * [taylor]: Taking taylor expansion of 1/3 in a1
1.246 * [taylor]: Taking taylor expansion of (log (/ 1 a2)) in a1
1.246 * [taylor]: Taking taylor expansion of (/ 1 a2) in a1
1.246 * [taylor]: Taking taylor expansion of a2 in a1
1.246 * [taylor]: Taking taylor expansion of (* (* b1 b2) (pow (/ 1 a2) 1/3)) in b1
1.246 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
1.246 * [taylor]: Taking taylor expansion of b1 in b1
1.246 * [taylor]: Taking taylor expansion of b2 in b1
1.246 * [taylor]: Taking taylor expansion of (pow (/ 1 a2) 1/3) in b1
1.246 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a2)))) in b1
1.247 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a2))) in b1
1.247 * [taylor]: Taking taylor expansion of 1/3 in b1
1.247 * [taylor]: Taking taylor expansion of (log (/ 1 a2)) in b1
1.247 * [taylor]: Taking taylor expansion of (/ 1 a2) in b1
1.247 * [taylor]: Taking taylor expansion of a2 in b1
1.247 * [taylor]: Taking taylor expansion of (* b2 (pow (/ 1 a2) 1/3)) in b2
1.247 * [taylor]: Taking taylor expansion of b2 in b2
1.247 * [taylor]: Taking taylor expansion of (pow (/ 1 a2) 1/3) in b2
1.247 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a2)))) in b2
1.247 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a2))) in b2
1.247 * [taylor]: Taking taylor expansion of 1/3 in b2
1.247 * [taylor]: Taking taylor expansion of (log (/ 1 a2)) in b2
1.247 * [taylor]: Taking taylor expansion of (/ 1 a2) in b2
1.247 * [taylor]: Taking taylor expansion of a2 in b2
1.248 * [taylor]: Taking taylor expansion of (pow (/ 1 a2) 1/3) in a2
1.248 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a2)))) in a2
1.248 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a2))) in a2
1.248 * [taylor]: Taking taylor expansion of 1/3 in a2
1.248 * [taylor]: Taking taylor expansion of (log (/ 1 a2)) in a2
1.248 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2
1.248 * [taylor]: Taking taylor expansion of a2 in a2
1.248 * [taylor]: Taking taylor expansion of 0 in b1
1.248 * [taylor]: Taking taylor expansion of 0 in b2
1.248 * [taylor]: Taking taylor expansion of 0 in a2
1.249 * [taylor]: Taking taylor expansion of 0 in b2
1.249 * [taylor]: Taking taylor expansion of 0 in a2
1.250 * [taylor]: Taking taylor expansion of 0 in a2
1.250 * [taylor]: Taking taylor expansion of 0 in b1
1.250 * [taylor]: Taking taylor expansion of 0 in b2
1.250 * [taylor]: Taking taylor expansion of 0 in a2
1.251 * [taylor]: Taking taylor expansion of 0 in b2
1.251 * [taylor]: Taking taylor expansion of 0 in a2
1.251 * [approximate]: Taking taylor expansion of (* -1 (* (/ (* b1 (* b2 (cbrt -1))) a1) (pow (/ 1 a2) 1/3))) in (a1 b1 b2 a2) around 0
1.251 * [taylor]: Taking taylor expansion of (* -1 (* (/ (* b1 (* b2 (cbrt -1))) a1) (pow (/ 1 a2) 1/3))) in a2
1.251 * [taylor]: Taking taylor expansion of -1 in a2
1.251 * [taylor]: Taking taylor expansion of (* (/ (* b1 (* b2 (cbrt -1))) a1) (pow (/ 1 a2) 1/3)) in a2
1.251 * [taylor]: Taking taylor expansion of (/ (* b1 (* b2 (cbrt -1))) a1) in a2
1.251 * [taylor]: Taking taylor expansion of (* b1 (* b2 (cbrt -1))) in a2
1.251 * [taylor]: Taking taylor expansion of b1 in a2
1.251 * [taylor]: Taking taylor expansion of (* b2 (cbrt -1)) in a2
1.251 * [taylor]: Taking taylor expansion of b2 in a2
1.251 * [taylor]: Taking taylor expansion of (cbrt -1) in a2
1.251 * [taylor]: Taking taylor expansion of -1 in a2
1.251 * [taylor]: Taking taylor expansion of a1 in a2
1.251 * [taylor]: Taking taylor expansion of (pow (/ 1 a2) 1/3) in a2
1.251 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a2)))) in a2
1.251 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a2))) in a2
1.251 * [taylor]: Taking taylor expansion of 1/3 in a2
1.251 * [taylor]: Taking taylor expansion of (log (/ 1 a2)) in a2
1.251 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2
1.251 * [taylor]: Taking taylor expansion of a2 in a2
1.252 * [taylor]: Taking taylor expansion of (* -1 (* (/ (* b1 (* b2 (cbrt -1))) a1) (pow (/ 1 a2) 1/3))) in b2
1.252 * [taylor]: Taking taylor expansion of -1 in b2
1.252 * [taylor]: Taking taylor expansion of (* (/ (* b1 (* b2 (cbrt -1))) a1) (pow (/ 1 a2) 1/3)) in b2
1.252 * [taylor]: Taking taylor expansion of (/ (* b1 (* b2 (cbrt -1))) a1) in b2
1.252 * [taylor]: Taking taylor expansion of (* b1 (* b2 (cbrt -1))) in b2
1.252 * [taylor]: Taking taylor expansion of b1 in b2
1.252 * [taylor]: Taking taylor expansion of (* b2 (cbrt -1)) in b2
1.252 * [taylor]: Taking taylor expansion of b2 in b2
1.252 * [taylor]: Taking taylor expansion of (cbrt -1) in b2
1.252 * [taylor]: Taking taylor expansion of -1 in b2
1.252 * [taylor]: Taking taylor expansion of a1 in b2
1.252 * [taylor]: Taking taylor expansion of (pow (/ 1 a2) 1/3) in b2
1.252 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a2)))) in b2
1.252 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a2))) in b2
1.252 * [taylor]: Taking taylor expansion of 1/3 in b2
1.252 * [taylor]: Taking taylor expansion of (log (/ 1 a2)) in b2
1.252 * [taylor]: Taking taylor expansion of (/ 1 a2) in b2
1.252 * [taylor]: Taking taylor expansion of a2 in b2
1.252 * [taylor]: Taking taylor expansion of (* -1 (* (/ (* b1 (* b2 (cbrt -1))) a1) (pow (/ 1 a2) 1/3))) in b1
1.252 * [taylor]: Taking taylor expansion of -1 in b1
1.252 * [taylor]: Taking taylor expansion of (* (/ (* b1 (* b2 (cbrt -1))) a1) (pow (/ 1 a2) 1/3)) in b1
1.252 * [taylor]: Taking taylor expansion of (/ (* b1 (* b2 (cbrt -1))) a1) in b1
1.252 * [taylor]: Taking taylor expansion of (* b1 (* b2 (cbrt -1))) in b1
1.252 * [taylor]: Taking taylor expansion of b1 in b1
1.252 * [taylor]: Taking taylor expansion of (* b2 (cbrt -1)) in b1
1.252 * [taylor]: Taking taylor expansion of b2 in b1
1.252 * [taylor]: Taking taylor expansion of (cbrt -1) in b1
1.252 * [taylor]: Taking taylor expansion of -1 in b1
1.253 * [taylor]: Taking taylor expansion of a1 in b1
1.253 * [taylor]: Taking taylor expansion of (pow (/ 1 a2) 1/3) in b1
1.253 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a2)))) in b1
1.253 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a2))) in b1
1.253 * [taylor]: Taking taylor expansion of 1/3 in b1
1.253 * [taylor]: Taking taylor expansion of (log (/ 1 a2)) in b1
1.253 * [taylor]: Taking taylor expansion of (/ 1 a2) in b1
1.253 * [taylor]: Taking taylor expansion of a2 in b1
1.253 * [taylor]: Taking taylor expansion of (* -1 (* (/ (* b1 (* b2 (cbrt -1))) a1) (pow (/ 1 a2) 1/3))) in a1
1.253 * [taylor]: Taking taylor expansion of -1 in a1
1.253 * [taylor]: Taking taylor expansion of (* (/ (* b1 (* b2 (cbrt -1))) a1) (pow (/ 1 a2) 1/3)) in a1
1.253 * [taylor]: Taking taylor expansion of (/ (* b1 (* b2 (cbrt -1))) a1) in a1
1.253 * [taylor]: Taking taylor expansion of (* b1 (* b2 (cbrt -1))) in a1
1.253 * [taylor]: Taking taylor expansion of b1 in a1
1.253 * [taylor]: Taking taylor expansion of (* b2 (cbrt -1)) in a1
1.253 * [taylor]: Taking taylor expansion of b2 in a1
1.253 * [taylor]: Taking taylor expansion of (cbrt -1) in a1
1.253 * [taylor]: Taking taylor expansion of -1 in a1
1.253 * [taylor]: Taking taylor expansion of a1 in a1
1.254 * [taylor]: Taking taylor expansion of (pow (/ 1 a2) 1/3) in a1
1.254 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a2)))) in a1
1.254 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a2))) in a1
1.254 * [taylor]: Taking taylor expansion of 1/3 in a1
1.254 * [taylor]: Taking taylor expansion of (log (/ 1 a2)) in a1
1.254 * [taylor]: Taking taylor expansion of (/ 1 a2) in a1
1.254 * [taylor]: Taking taylor expansion of a2 in a1
1.254 * [taylor]: Taking taylor expansion of (* -1 (* (/ (* b1 (* b2 (cbrt -1))) a1) (pow (/ 1 a2) 1/3))) in a1
1.254 * [taylor]: Taking taylor expansion of -1 in a1
1.254 * [taylor]: Taking taylor expansion of (* (/ (* b1 (* b2 (cbrt -1))) a1) (pow (/ 1 a2) 1/3)) in a1
1.254 * [taylor]: Taking taylor expansion of (/ (* b1 (* b2 (cbrt -1))) a1) in a1
1.254 * [taylor]: Taking taylor expansion of (* b1 (* b2 (cbrt -1))) in a1
1.254 * [taylor]: Taking taylor expansion of b1 in a1
1.254 * [taylor]: Taking taylor expansion of (* b2 (cbrt -1)) in a1
1.254 * [taylor]: Taking taylor expansion of b2 in a1
1.254 * [taylor]: Taking taylor expansion of (cbrt -1) in a1
1.254 * [taylor]: Taking taylor expansion of -1 in a1
1.254 * [taylor]: Taking taylor expansion of a1 in a1
1.254 * [taylor]: Taking taylor expansion of (pow (/ 1 a2) 1/3) in a1
1.254 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a2)))) in a1
1.254 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a2))) in a1
1.254 * [taylor]: Taking taylor expansion of 1/3 in a1
1.254 * [taylor]: Taking taylor expansion of (log (/ 1 a2)) in a1
1.254 * [taylor]: Taking taylor expansion of (/ 1 a2) in a1
1.254 * [taylor]: Taking taylor expansion of a2 in a1
1.255 * [taylor]: Taking taylor expansion of (* -1 (* (* b1 (* (cbrt -1) b2)) (pow (/ 1 a2) 1/3))) in b1
1.255 * [taylor]: Taking taylor expansion of -1 in b1
1.255 * [taylor]: Taking taylor expansion of (* (* b1 (* (cbrt -1) b2)) (pow (/ 1 a2) 1/3)) in b1
1.255 * [taylor]: Taking taylor expansion of (* b1 (* (cbrt -1) b2)) in b1
1.255 * [taylor]: Taking taylor expansion of b1 in b1
1.255 * [taylor]: Taking taylor expansion of (* (cbrt -1) b2) in b1
1.255 * [taylor]: Taking taylor expansion of (cbrt -1) in b1
1.255 * [taylor]: Taking taylor expansion of -1 in b1
1.255 * [taylor]: Taking taylor expansion of b2 in b1
1.255 * [taylor]: Taking taylor expansion of (pow (/ 1 a2) 1/3) in b1
1.255 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a2)))) in b1
1.255 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a2))) in b1
1.255 * [taylor]: Taking taylor expansion of 1/3 in b1
1.255 * [taylor]: Taking taylor expansion of (log (/ 1 a2)) in b1
1.255 * [taylor]: Taking taylor expansion of (/ 1 a2) in b1
1.255 * [taylor]: Taking taylor expansion of a2 in b1
1.256 * [taylor]: Taking taylor expansion of (neg (* (* (cbrt -1) b2) (pow (/ 1 a2) 1/3))) in b2
1.256 * [taylor]: Taking taylor expansion of (* (* (cbrt -1) b2) (pow (/ 1 a2) 1/3)) in b2
1.256 * [taylor]: Taking taylor expansion of (* (cbrt -1) b2) in b2
1.256 * [taylor]: Taking taylor expansion of (cbrt -1) in b2
1.256 * [taylor]: Taking taylor expansion of -1 in b2
1.256 * [taylor]: Taking taylor expansion of b2 in b2
1.256 * [taylor]: Taking taylor expansion of (pow (/ 1 a2) 1/3) in b2
1.256 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a2)))) in b2
1.256 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a2))) in b2
1.256 * [taylor]: Taking taylor expansion of 1/3 in b2
1.256 * [taylor]: Taking taylor expansion of (log (/ 1 a2)) in b2
1.256 * [taylor]: Taking taylor expansion of (/ 1 a2) in b2
1.256 * [taylor]: Taking taylor expansion of a2 in b2
1.259 * [taylor]: Taking taylor expansion of (neg (* (cbrt -1) (pow (/ 1 a2) 1/3))) in a2
1.259 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a2) 1/3)) in a2
1.259 * [taylor]: Taking taylor expansion of (cbrt -1) in a2
1.259 * [taylor]: Taking taylor expansion of -1 in a2
1.260 * [taylor]: Taking taylor expansion of (pow (/ 1 a2) 1/3) in a2
1.260 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a2)))) in a2
1.260 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a2))) in a2
1.260 * [taylor]: Taking taylor expansion of 1/3 in a2
1.260 * [taylor]: Taking taylor expansion of (log (/ 1 a2)) in a2
1.260 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2
1.260 * [taylor]: Taking taylor expansion of a2 in a2
1.261 * [taylor]: Taking taylor expansion of 0 in b1
1.261 * [taylor]: Taking taylor expansion of 0 in b2
1.261 * [taylor]: Taking taylor expansion of 0 in a2
1.262 * [taylor]: Taking taylor expansion of 0 in b2
1.262 * [taylor]: Taking taylor expansion of 0 in a2
1.263 * [taylor]: Taking taylor expansion of 0 in a2
1.264 * [taylor]: Taking taylor expansion of 0 in b1
1.264 * [taylor]: Taking taylor expansion of 0 in b2
1.264 * [taylor]: Taking taylor expansion of 0 in a2
1.264 * [taylor]: Taking taylor expansion of 0 in b2
1.264 * [taylor]: Taking taylor expansion of 0 in a2
1.265 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
1.265 * [approximate]: Taking taylor expansion of (pow a2 1/3) in (a2) around 0
1.265 * [taylor]: Taking taylor expansion of (pow a2 1/3) in a2
1.265 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a2))) in a2
1.265 * [taylor]: Taking taylor expansion of (* 1/3 (log a2)) in a2
1.265 * [taylor]: Taking taylor expansion of 1/3 in a2
1.265 * [taylor]: Taking taylor expansion of (log a2) in a2
1.265 * [taylor]: Taking taylor expansion of a2 in a2
1.265 * [taylor]: Taking taylor expansion of (pow a2 1/3) in a2
1.265 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a2))) in a2
1.265 * [taylor]: Taking taylor expansion of (* 1/3 (log a2)) in a2
1.265 * [taylor]: Taking taylor expansion of 1/3 in a2
1.265 * [taylor]: Taking taylor expansion of (log a2) in a2
1.265 * [taylor]: Taking taylor expansion of a2 in a2
1.271 * [approximate]: Taking taylor expansion of (pow (/ 1 a2) 1/3) in (a2) around 0
1.271 * [taylor]: Taking taylor expansion of (pow (/ 1 a2) 1/3) in a2
1.271 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a2)))) in a2
1.271 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a2))) in a2
1.271 * [taylor]: Taking taylor expansion of 1/3 in a2
1.271 * [taylor]: Taking taylor expansion of (log (/ 1 a2)) in a2
1.271 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2
1.271 * [taylor]: Taking taylor expansion of a2 in a2
1.271 * [taylor]: Taking taylor expansion of (pow (/ 1 a2) 1/3) in a2
1.271 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a2)))) in a2
1.271 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a2))) in a2
1.271 * [taylor]: Taking taylor expansion of 1/3 in a2
1.271 * [taylor]: Taking taylor expansion of (log (/ 1 a2)) in a2
1.271 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2
1.271 * [taylor]: Taking taylor expansion of a2 in a2
1.277 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a2) 1/3)) in (a2) around 0
1.277 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a2) 1/3)) in a2
1.277 * [taylor]: Taking taylor expansion of (cbrt -1) in a2
1.277 * [taylor]: Taking taylor expansion of -1 in a2
1.277 * [taylor]: Taking taylor expansion of (pow (/ 1 a2) 1/3) in a2
1.277 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a2)))) in a2
1.277 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a2))) in a2
1.277 * [taylor]: Taking taylor expansion of 1/3 in a2
1.277 * [taylor]: Taking taylor expansion of (log (/ 1 a2)) in a2
1.277 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2
1.277 * [taylor]: Taking taylor expansion of a2 in a2
1.278 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a2) 1/3)) in a2
1.278 * [taylor]: Taking taylor expansion of (cbrt -1) in a2
1.278 * [taylor]: Taking taylor expansion of -1 in a2
1.278 * [taylor]: Taking taylor expansion of (pow (/ 1 a2) 1/3) in a2
1.278 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a2)))) in a2
1.278 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a2))) in a2
1.278 * [taylor]: Taking taylor expansion of 1/3 in a2
1.278 * [taylor]: Taking taylor expansion of (log (/ 1 a2)) in a2
1.278 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2
1.278 * [taylor]: Taking taylor expansion of a2 in a2
1.285 * * * [progress]: simplifying candidates
1.286 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log a1) (+ (log b1) (log b2)))
  (- (log a1) (log (* b1 b2)))
  (log (/ a1 (* b1 b2)))
  (exp (/ a1 (* b1 b2)))
  (/ (* (* a1 a1) a1) (* (* (* b1 b1) b1) (* (* b2 b2) b2)))
  (/ (* (* a1 a1) a1) (* (* (* b1 b2) (* b1 b2)) (* b1 b2)))
  (* (cbrt (/ a1 (* b1 b2))) (cbrt (/ a1 (* b1 b2))))
  (cbrt (/ a1 (* b1 b2)))
  (* (* (/ a1 (* b1 b2)) (/ a1 (* b1 b2))) (/ a1 (* b1 b2)))
  (sqrt (/ a1 (* b1 b2)))
  (sqrt (/ a1 (* b1 b2)))
  (neg a1)
  (neg (* b1 b2))
  (/ (* (cbrt a1) (cbrt a1)) b1)
  (/ (cbrt a1) b2)
  (/ (sqrt a1) b1)
  (/ (sqrt a1) b2)
  (/ 1 b1)
  (/ a1 b2)
  (/ 1 (* b1 b2))
  (/ (* b1 b2) a1)
  (/ a1 b1)
  (/ (* b1 b2) (cbrt a1))
  (/ (* b1 b2) (sqrt a1))
  (/ (* b1 b2) a1)
  (* (* (cbrt a2) (cbrt a2)) (* (/ a1 (* b1 b2)) (cbrt a2)))
  (* (* (cbrt a2) (cbrt a2)) (* (/ a1 (* b1 b2)) (cbrt a2)))
  (* (* (cbrt a2) (cbrt a2)) (* (/ a1 (* b1 b2)) (cbrt a2)))
  (* (* (cbrt a2) (cbrt a2)) (* (/ a1 (* b1 b2)) (cbrt a2)))
  (+ (+ (log (cbrt a2)) (log (cbrt a2))) (+ (- (log a1) (+ (log b1) (log b2))) (log (cbrt a2))))
  (+ (+ (log (cbrt a2)) (log (cbrt a2))) (+ (- (log a1) (log (* b1 b2))) (log (cbrt a2))))
  (+ (+ (log (cbrt a2)) (log (cbrt a2))) (+ (log (/ a1 (* b1 b2))) (log (cbrt a2))))
  (+ (+ (log (cbrt a2)) (log (cbrt a2))) (log (* (/ a1 (* b1 b2)) (cbrt a2))))
  (+ (log (* (cbrt a2) (cbrt a2))) (+ (- (log a1) (+ (log b1) (log b2))) (log (cbrt a2))))
  (+ (log (* (cbrt a2) (cbrt a2))) (+ (- (log a1) (log (* b1 b2))) (log (cbrt a2))))
  (+ (log (* (cbrt a2) (cbrt a2))) (+ (log (/ a1 (* b1 b2))) (log (cbrt a2))))
  (+ (log (* (cbrt a2) (cbrt a2))) (log (* (/ a1 (* b1 b2)) (cbrt a2))))
  (log (* (* (cbrt a2) (cbrt a2)) (* (/ a1 (* b1 b2)) (cbrt a2))))
  (exp (* (* (cbrt a2) (cbrt a2)) (* (/ a1 (* b1 b2)) (cbrt a2))))
  (* (* a2 a2) (* (/ (* (* a1 a1) a1) (* (* (* b1 b1) b1) (* (* b2 b2) b2))) a2))
  (* (* a2 a2) (* (/ (* (* a1 a1) a1) (* (* (* b1 b2) (* b1 b2)) (* b1 b2))) a2))
  (* (* a2 a2) (* (* (* (/ a1 (* b1 b2)) (/ a1 (* b1 b2))) (/ a1 (* b1 b2))) a2))
  (* (* a2 a2) (* (* (* (/ a1 (* b1 b2)) (cbrt a2)) (* (/ a1 (* b1 b2)) (cbrt a2))) (* (/ a1 (* b1 b2)) (cbrt a2))))
  (* (* (* (* (cbrt a2) (cbrt a2)) (* (cbrt a2) (cbrt a2))) (* (cbrt a2) (cbrt a2))) (* (/ (* (* a1 a1) a1) (* (* (* b1 b1) b1) (* (* b2 b2) b2))) a2))
  (* (* (* (* (cbrt a2) (cbrt a2)) (* (cbrt a2) (cbrt a2))) (* (cbrt a2) (cbrt a2))) (* (/ (* (* a1 a1) a1) (* (* (* b1 b2) (* b1 b2)) (* b1 b2))) a2))
  (* (* (* (* (cbrt a2) (cbrt a2)) (* (cbrt a2) (cbrt a2))) (* (cbrt a2) (cbrt a2))) (* (* (* (/ a1 (* b1 b2)) (/ a1 (* b1 b2))) (/ a1 (* b1 b2))) a2))
  (* (* (* (* (cbrt a2) (cbrt a2)) (* (cbrt a2) (cbrt a2))) (* (cbrt a2) (cbrt a2))) (* (* (* (/ a1 (* b1 b2)) (cbrt a2)) (* (/ a1 (* b1 b2)) (cbrt a2))) (* (/ a1 (* b1 b2)) (cbrt a2))))
  (* (cbrt (* (* (cbrt a2) (cbrt a2)) (* (/ a1 (* b1 b2)) (cbrt a2)))) (cbrt (* (* (cbrt a2) (cbrt a2)) (* (/ a1 (* b1 b2)) (cbrt a2)))))
  (cbrt (* (* (cbrt a2) (cbrt a2)) (* (/ a1 (* b1 b2)) (cbrt a2))))
  (* (* (* (* (cbrt a2) (cbrt a2)) (* (/ a1 (* b1 b2)) (cbrt a2))) (* (* (cbrt a2) (cbrt a2)) (* (/ a1 (* b1 b2)) (cbrt a2)))) (* (* (cbrt a2) (cbrt a2)) (* (/ a1 (* b1 b2)) (cbrt a2))))
  (sqrt (* (* (cbrt a2) (cbrt a2)) (* (/ a1 (* b1 b2)) (cbrt a2))))
  (sqrt (* (* (cbrt a2) (cbrt a2)) (* (/ a1 (* b1 b2)) (cbrt a2))))
  (* (* (cbrt a2) (cbrt a2)) (/ a1 (* b1 b2)))
  (* (cbrt a2) (* (/ a1 (* b1 b2)) (cbrt a2)))
  (* (* (cbrt a2) (cbrt a2)) (* a1 (cbrt a2)))
  (* (/ a1 (* b1 b2)) (cbrt a2))
  (+ (- (log a1) (+ (log b1) (log b2))) (log (cbrt a2)))
  (+ (- (log a1) (log (* b1 b2))) (log (cbrt a2)))
  (+ (log (/ a1 (* b1 b2))) (log (cbrt a2)))
  (log (* (/ a1 (* b1 b2)) (cbrt a2)))
  (exp (* (/ a1 (* b1 b2)) (cbrt a2)))
  (* (/ (* (* a1 a1) a1) (* (* (* b1 b1) b1) (* (* b2 b2) b2))) a2)
  (* (/ (* (* a1 a1) a1) (* (* (* b1 b2) (* b1 b2)) (* b1 b2))) a2)
  (* (* (* (/ a1 (* b1 b2)) (/ a1 (* b1 b2))) (/ a1 (* b1 b2))) a2)
  (* (cbrt (* (/ a1 (* b1 b2)) (cbrt a2))) (cbrt (* (/ a1 (* b1 b2)) (cbrt a2))))
  (cbrt (* (/ a1 (* b1 b2)) (cbrt a2)))
  (* (* (* (/ a1 (* b1 b2)) (cbrt a2)) (* (/ a1 (* b1 b2)) (cbrt a2))) (* (/ a1 (* b1 b2)) (cbrt a2)))
  (sqrt (* (/ a1 (* b1 b2)) (cbrt a2)))
  (sqrt (* (/ a1 (* b1 b2)) (cbrt a2)))
  (* (sqrt (/ a1 (* b1 b2))) (cbrt (sqrt a2)))
  (* (sqrt (/ a1 (* b1 b2))) (cbrt (sqrt a2)))
  (* (sqrt (/ a1 (* b1 b2))) (sqrt (cbrt a2)))
  (* (sqrt (/ a1 (* b1 b2))) (sqrt (cbrt a2)))
  (* (/ a1 (* b1 b2)) (cbrt (* (cbrt a2) (cbrt a2))))
  (* (/ a1 (* b1 b2)) (cbrt (sqrt a2)))
  (* (/ a1 (* b1 b2)) (cbrt 1))
  (* (/ a1 (* b1 b2)) (* (cbrt (cbrt a2)) (cbrt (cbrt a2))))
  (* (/ a1 (* b1 b2)) (sqrt (cbrt a2)))
  (* (/ a1 (* b1 b2)) 1)
  (* (cbrt (/ a1 (* b1 b2))) (cbrt a2))
  (* (sqrt (/ a1 (* b1 b2))) (cbrt a2))
  (* (/ (cbrt a1) b2) (cbrt a2))
  (* (/ (sqrt a1) b2) (cbrt a2))
  (* (/ a1 b2) (cbrt a2))
  (* (/ a1 (* b1 b2)) (cbrt a2))
  (* (/ 1 (* b1 b2)) (cbrt a2))
  (* a1 (cbrt a2))
  (log (cbrt a2))
  (exp (cbrt a2))
  (cbrt (* (cbrt a2) (cbrt a2)))
  (cbrt (cbrt a2))
  (cbrt (sqrt a2))
  (cbrt (sqrt a2))
  (cbrt 1)
  (cbrt a2)
  (* (cbrt (cbrt a2)) (cbrt (cbrt a2)))
  (cbrt (cbrt a2))
  (* (* (cbrt a2) (cbrt a2)) (cbrt a2))
  (sqrt (cbrt a2))
  (sqrt (cbrt a2))
  (/ a1 (* b1 b2))
  (/ a1 (* b1 b2))
  (/ a1 (* b1 b2))
  (/ (* a1 a2) (* b1 b2))
  (/ (* a1 a2) (* b1 b2))
  (/ (* a1 a2) (* b1 b2))
  (/ (* a1 (exp (* 1/3 (+ (log 1) (log a2))))) (* b1 b2))
  (/ (* a1 (exp (* 1/3 (- (log 1) (log (/ 1 a2)))))) (* b1 b2))
  (/ (* (cbrt -1) (* (exp (* 1/3 (- (log 1) (log (/ -1 a2))))) a1)) (* b1 b2))
  (exp (* 1/3 (+ (log 1) (log a2))))
  (exp (* 1/3 (- (log 1) (log (/ 1 a2)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 a2))))))
1.348 * * [simplify]: iteration  0 :  4940  enodes  (cost  789 )
1.349 * * [simplify]: iteration  1 :  4940  enodes  (cost  789 )
1.352 * [simplify]: Simplified to:
   (log (/ a1 (* b1 b2)))
  (log (/ a1 (* b1 b2)))
  (log (/ a1 (* b1 b2)))
  (exp (/ a1 (* b1 b2)))
  (pow (/ a1 (* b1 b2)) 3)
  (pow (/ a1 (* b1 b2)) 3)
  (* (cbrt (/ a1 (* b1 b2))) (cbrt (/ a1 (* b1 b2))))
  (cbrt (/ a1 (* b1 b2)))
  (pow (/ a1 (* b1 b2)) 3)
  (sqrt (/ a1 (* b1 b2)))
  (sqrt (/ a1 (* b1 b2)))
  (neg a1)
  (* b1 (neg b2))
  (* (cbrt a1) (/ (cbrt a1) b1))
  (/ (cbrt a1) b2)
  (/ (sqrt a1) b1)
  (/ (sqrt a1) b2)
  (/ 1 b1)
  (/ a1 b2)
  (/ 1 (* b1 b2))
  (* b1 (/ b2 a1))
  (/ a1 b1)
  (* b2 (/ b1 (cbrt a1)))
  (* b2 (/ b1 (sqrt a1)))
  (* b1 (/ b2 a1))
  (* (/ a1 (* b1 b2)) a2)
  (* (/ a1 (* b1 b2)) a2)
  (* (/ a1 (* b1 b2)) a2)
  (* (/ a1 (* b1 b2)) a2)
  (log (* (/ a1 (* b1 b2)) a2))
  (log (* (/ a1 (* b1 b2)) a2))
  (log (* (/ a1 (* b1 b2)) a2))
  (log (* (/ a1 (* b1 b2)) a2))
  (log (* (/ a1 (* b1 b2)) a2))
  (log (* (/ a1 (* b1 b2)) a2))
  (log (* (/ a1 (* b1 b2)) a2))
  (log (* (/ a1 (* b1 b2)) a2))
  (log (* (/ a1 (* b1 b2)) a2))
  (pow (exp (/ a1 (* b1 b2))) a2)
  (pow (* (/ a1 (* b1 b2)) a2) 3)
  (pow (* (/ a1 (* b1 b2)) a2) 3)
  (pow (* (/ a1 (* b1 b2)) a2) 3)
  (pow (* (/ a1 (* b1 b2)) a2) 3)
  (pow (* (/ a1 (* b1 b2)) a2) 3)
  (pow (* (/ a1 (* b1 b2)) a2) 3)
  (pow (* (/ a1 (* b1 b2)) a2) 3)
  (pow (* (/ a1 (* b1 b2)) a2) 3)
  (* (cbrt (* (/ a1 (* b1 b2)) a2)) (cbrt (* (/ a1 (* b1 b2)) a2)))
  (cbrt (* (/ a1 (* b1 b2)) a2))
  (pow (* (/ a1 (* b1 b2)) a2) 3)
  (sqrt (* (/ a1 (* b1 b2)) a2))
  (sqrt (* (/ a1 (* b1 b2)) a2))
  (* (/ a1 (* b1 b2)) (pow (cbrt a2) 2))
  (* (/ a1 (* b1 b2)) (pow (cbrt a2) 2))
  (* a1 a2)
  (* (/ a1 (* b1 b2)) (cbrt a2))
  (log (* (/ a1 (* b1 b2)) (cbrt a2)))
  (log (* (/ a1 (* b1 b2)) (cbrt a2)))
  (log (* (/ a1 (* b1 b2)) (cbrt a2)))
  (log (* (/ a1 (* b1 b2)) (cbrt a2)))
  (pow (exp (/ a1 (* b1 b2))) (cbrt a2))
  (* (pow (/ a1 (* b1 b2)) 3) a2)
  (* (pow (/ a1 (* b1 b2)) 3) a2)
  (* (pow (/ a1 (* b1 b2)) 3) a2)
  (* (cbrt (* (/ a1 (* b1 b2)) (cbrt a2))) (cbrt (* (/ a1 (* b1 b2)) (cbrt a2))))
  (cbrt (* (/ a1 (* b1 b2)) (cbrt a2)))
  (* (pow (/ a1 (* b1 b2)) 3) a2)
  (sqrt (* (/ a1 (* b1 b2)) (cbrt a2)))
  (sqrt (* (/ a1 (* b1 b2)) (cbrt a2)))
  (* (sqrt (/ a1 (* b1 b2))) (cbrt (sqrt a2)))
  (* (sqrt (/ a1 (* b1 b2))) (cbrt (sqrt a2)))
  (* (sqrt (/ a1 (* b1 b2))) (sqrt (cbrt a2)))
  (* (sqrt (/ a1 (* b1 b2))) (sqrt (cbrt a2)))
  (* (/ a1 (* b1 b2)) (cbrt (pow (cbrt a2) 2)))
  (* (/ a1 (* b1 b2)) (cbrt (sqrt a2)))
  (/ a1 (* b1 b2))
  (* (/ a1 (* b1 b2)) (* (cbrt (cbrt a2)) (cbrt (cbrt a2))))
  (* (/ a1 (* b1 b2)) (sqrt (cbrt a2)))
  (/ a1 (* b1 b2))
  (* (cbrt (/ a1 (* b1 b2))) (cbrt a2))
  (* (sqrt (/ a1 (* b1 b2))) (cbrt a2))
  (* (/ (cbrt a1) b2) (cbrt a2))
  (* (/ (sqrt a1) b2) (cbrt a2))
  (* a1 (/ (cbrt a2) b2))
  (* (/ a1 (* b1 b2)) (cbrt a2))
  (/ (cbrt a2) (* b1 b2))
  (* a1 (cbrt a2))
  (log (cbrt a2))
  (exp (cbrt a2))
  (cbrt (pow (cbrt a2) 2))
  (cbrt (cbrt a2))
  (cbrt (sqrt a2))
  (cbrt (sqrt a2))
  1
  (cbrt a2)
  (* (cbrt (cbrt a2)) (cbrt (cbrt a2)))
  (cbrt (cbrt a2))
  a2
  (sqrt (cbrt a2))
  (sqrt (cbrt a2))
  (/ a1 (* b1 b2))
  (/ a1 (* b1 b2))
  (/ a1 (* b1 b2))
  (* (/ a1 (* b1 b2)) a2)
  (* (/ a1 (* b1 b2)) a2)
  (* (/ a1 (* b1 b2)) a2)
  (* (/ a1 (* b1 b2)) (cbrt a2))
  (* (/ a1 (* b1 b2)) (cbrt a2))
  (* (/ a1 b2) (/ (cbrt -1) (/ b1 (cbrt (* -1 a2)))))
  (cbrt a2)
  (cbrt a2)
  (* (cbrt -1) (cbrt (* -1 a2)))
1.352 * * * [progress]: adding candidates to table
1.455 * [progress]: [Phase 3 of 3] Extracting.
1.455 * * [regime]: Finding splitpoints for: (#<alt (λ (a1 a2 b1 b2) (/ (* a2 (/ a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (* (* (/ a2 b1) (/ (sqrt a1) (* (cbrt b2) (cbrt b2)))) (/ (sqrt a1) (cbrt b2))))> #<alt (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/ a1 (* b1 (/ b2 a2))))> #<alt (λ (a1 a2 b1 b2) (* (/ a2 b1) (/ a1 b2)))> #<alt (λ (a1 a2 b1 b2) (/ (* a1 a2) (* b1 b2)))> #<alt (λ (a1 a2 b1 b2) (* (* (cbrt a2) (cbrt a2)) (* (/ a1 (* b1 b2)) (cbrt a2))))> #<alt (λ (a1 a2 b1 b2) (* a1 (/ a2 (* b1 b2))))>)
1.456 * * * [regime-changes]: Trying 7 branch expressions: ((* b1 b2) (* a1 a2) (/ (* a1 a2) (* b1 b2)) b2 b1 a2 a1)
1.456 * * * * [regimes]: Trying to branch on (* b1 b2) from (#<alt (λ (a1 a2 b1 b2) (/ (* a2 (/ a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (* (* (/ a2 b1) (/ (sqrt a1) (* (cbrt b2) (cbrt b2)))) (/ (sqrt a1) (cbrt b2))))> #<alt (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/ a1 (* b1 (/ b2 a2))))> #<alt (λ (a1 a2 b1 b2) (* (/ a2 b1) (/ a1 b2)))> #<alt (λ (a1 a2 b1 b2) (/ (* a1 a2) (* b1 b2)))> #<alt (λ (a1 a2 b1 b2) (* (* (cbrt a2) (cbrt a2)) (* (/ a1 (* b1 b2)) (cbrt a2))))> #<alt (λ (a1 a2 b1 b2) (* a1 (/ a2 (* b1 b2))))>)
1.541 * * * * [regimes]: Trying to branch on (* b1 b2) from (#<alt (λ (a1 a2 b1 b2) (/ (* a1 a2) (* b1 b2)))> #<alt (λ (a1 a2 b1 b2) (* (* (cbrt a2) (cbrt a2)) (* (/ a1 (* b1 b2)) (cbrt a2))))> #<alt (λ (a1 a2 b1 b2) (* a1 (/ a2 (* b1 b2))))>)
1.596 * * * * [regimes]: Trying to branch on (* a1 a2) from (#<alt (λ (a1 a2 b1 b2) (/ (* a2 (/ a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (* (* (/ a2 b1) (/ (sqrt a1) (* (cbrt b2) (cbrt b2)))) (/ (sqrt a1) (cbrt b2))))> #<alt (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/ a1 (* b1 (/ b2 a2))))> #<alt (λ (a1 a2 b1 b2) (* (/ a2 b1) (/ a1 b2)))> #<alt (λ (a1 a2 b1 b2) (/ (* a1 a2) (* b1 b2)))> #<alt (λ (a1 a2 b1 b2) (* (* (cbrt a2) (cbrt a2)) (* (/ a1 (* b1 b2)) (cbrt a2))))> #<alt (λ (a1 a2 b1 b2) (* a1 (/ a2 (* b1 b2))))>)
1.682 * * * * [regimes]: Trying to branch on (/ (* a1 a2) (* b1 b2)) from (#<alt (λ (a1 a2 b1 b2) (/ (* a2 (/ a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (* (* (/ a2 b1) (/ (sqrt a1) (* (cbrt b2) (cbrt b2)))) (/ (sqrt a1) (cbrt b2))))> #<alt (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/ a1 (* b1 (/ b2 a2))))> #<alt (λ (a1 a2 b1 b2) (* (/ a2 b1) (/ a1 b2)))> #<alt (λ (a1 a2 b1 b2) (/ (* a1 a2) (* b1 b2)))> #<alt (λ (a1 a2 b1 b2) (* (* (cbrt a2) (cbrt a2)) (* (/ a1 (* b1 b2)) (cbrt a2))))> #<alt (λ (a1 a2 b1 b2) (* a1 (/ a2 (* b1 b2))))>)
1.766 * * * * [regimes]: Trying to branch on b2 from (#<alt (λ (a1 a2 b1 b2) (/ (* a2 (/ a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (* (* (/ a2 b1) (/ (sqrt a1) (* (cbrt b2) (cbrt b2)))) (/ (sqrt a1) (cbrt b2))))> #<alt (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/ a1 (* b1 (/ b2 a2))))> #<alt (λ (a1 a2 b1 b2) (* (/ a2 b1) (/ a1 b2)))> #<alt (λ (a1 a2 b1 b2) (/ (* a1 a2) (* b1 b2)))> #<alt (λ (a1 a2 b1 b2) (* (* (cbrt a2) (cbrt a2)) (* (/ a1 (* b1 b2)) (cbrt a2))))> #<alt (λ (a1 a2 b1 b2) (* a1 (/ a2 (* b1 b2))))>)
1.868 * * * * [regimes]: Trying to branch on b1 from (#<alt (λ (a1 a2 b1 b2) (/ (* a2 (/ a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (* (* (/ a2 b1) (/ (sqrt a1) (* (cbrt b2) (cbrt b2)))) (/ (sqrt a1) (cbrt b2))))> #<alt (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/ a1 (* b1 (/ b2 a2))))> #<alt (λ (a1 a2 b1 b2) (* (/ a2 b1) (/ a1 b2)))> #<alt (λ (a1 a2 b1 b2) (/ (* a1 a2) (* b1 b2)))> #<alt (λ (a1 a2 b1 b2) (* (* (cbrt a2) (cbrt a2)) (* (/ a1 (* b1 b2)) (cbrt a2))))> #<alt (λ (a1 a2 b1 b2) (* a1 (/ a2 (* b1 b2))))>)
1.969 * * * * [regimes]: Trying to branch on a2 from (#<alt (λ (a1 a2 b1 b2) (/ (* a2 (/ a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (* (* (/ a2 b1) (/ (sqrt a1) (* (cbrt b2) (cbrt b2)))) (/ (sqrt a1) (cbrt b2))))> #<alt (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/ a1 (* b1 (/ b2 a2))))> #<alt (λ (a1 a2 b1 b2) (* (/ a2 b1) (/ a1 b2)))> #<alt (λ (a1 a2 b1 b2) (/ (* a1 a2) (* b1 b2)))> #<alt (λ (a1 a2 b1 b2) (* (* (cbrt a2) (cbrt a2)) (* (/ a1 (* b1 b2)) (cbrt a2))))> #<alt (λ (a1 a2 b1 b2) (* a1 (/ a2 (* b1 b2))))>)
2.055 * * * * [regimes]: Trying to branch on a1 from (#<alt (λ (a1 a2 b1 b2) (/ (* a2 (/ a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (* (* (/ a2 b1) (/ (sqrt a1) (* (cbrt b2) (cbrt b2)))) (/ (sqrt a1) (cbrt b2))))> #<alt (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/ a1 (* b1 (/ b2 a2))))> #<alt (λ (a1 a2 b1 b2) (* (/ a2 b1) (/ a1 b2)))> #<alt (λ (a1 a2 b1 b2) (/ (* a1 a2) (* b1 b2)))> #<alt (λ (a1 a2 b1 b2) (* (* (cbrt a2) (cbrt a2)) (* (/ a1 (* b1 b2)) (cbrt a2))))> #<alt (λ (a1 a2 b1 b2) (* a1 (/ a2 (* b1 b2))))>)
2.158 * * * [regime]: Found split indices: #<option (#s(si 2 15) #s(si 5 89) #s(si 3 163) #s(si 5 237) #s(si 2 255))>
2.159 * [binary-search]: Only using regimes for bounds on (/ (* a1 a2) (* b1 b2)) and (#<alt (λ (a1 a2 b1 b2) (/ (* a2 (/ a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (* (* (/ a2 b1) (/ (sqrt a1) (* (cbrt b2) (cbrt b2)))) (/ (sqrt a1) (cbrt b2))))> #<alt (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/ a1 (* b1 (/ b2 a2))))> #<alt (λ (a1 a2 b1 b2) (* (/ a2 b1) (/ a1 b2)))> #<alt (λ (a1 a2 b1 b2) (/ (* a1 a2) (* b1 b2)))> #<alt (λ (a1 a2 b1 b2) (* (* (cbrt a2) (cbrt a2)) (* (/ a1 (* b1 b2)) (cbrt a2))))> #<alt (λ (a1 a2 b1 b2) (* a1 (/ a2 (* b1 b2))))>)
2.159 * [regimes]: Found splitpoints: (#s(sp 2 (/ (* a1 a2) (* b1 b2)) -1.0486969344217753e+269) #s(sp 5 (/ (* a1 a2) (* b1 b2)) -7.268695233203412e-303) #s(sp 3 (/ (* a1 a2) (* b1 b2)) 0.0) #s(sp 5 (/ (* a1 a2) (* b1 b2)) 9.191577884368106e+278) #s(sp 2 (/ (* a1 a2) (* b1 b2)) +nan.0)) , with alts (#<alt (λ (a1 a2 b1 b2) (/ (* a2 (/ a1 b1)) b2))> #<alt (λ (a1 a2 b1 b2) (* (* (/ a2 b1) (/ (sqrt a1) (* (cbrt b2) (cbrt b2)))) (/ (sqrt a1) (cbrt b2))))> #<alt (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/ a1 (* b1 (/ b2 a2))))> #<alt (λ (a1 a2 b1 b2) (* (/ a2 b1) (/ a1 b2)))> #<alt (λ (a1 a2 b1 b2) (/ (* a1 a2) (* b1 b2)))> #<alt (λ (a1 a2 b1 b2) (* (* (cbrt a2) (cbrt a2)) (* (/ a1 (* b1 b2)) (cbrt a2))))> #<alt (λ (a1 a2 b1 b2) (* a1 (/ a2 (* b1 b2))))>)
2.160 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= (/ (* a1 a2) (* b1 b2)) -1.0486969344217753e+269) (* (/ a1 b1) (/ a2 b2)) (if (<= (/ (* a1 a2) (* b1 b2)) -7.268695233203412e-303) (/ (* a1 a2) (* b1 b2)) (if (<= (/ (* a1 a2) (* b1 b2)) 0.0) (/ a1 (* b1 (/ b2 a2))) (if (<= (/ (* a1 a2) (* b1 b2)) 9.191577884368106e+278) (/ (* a1 a2) (* b1 b2)) (* (/ a1 b1) (/ a2 b2))))))
2.160 * * [simplify]: iteration  0 :  29  enodes  (cost  75 )
2.160 * * [simplify]: iteration  1 :  29  enodes  (cost  75 )
2.161 * [simplify]: Simplified to:
   (if (<= (/ (* a1 a2) (* b1 b2)) -1.0486969344217753e+269) (* (/ a1 b1) (/ a2 b2)) (if (<= (/ (* a1 a2) (* b1 b2)) -7.268695233203412e-303) (/ (* a1 a2) (* b1 b2)) (if (<= (/ (* a1 a2) (* b1 b2)) 0.0) (/ a1 (* b1 (/ b2 a2))) (if (<= (/ (* a1 a2) (* b1 b2)) 9.191577884368106e+278) (/ (* a1 a2) (* b1 b2)) (* (/ a1 b1) (/ a2 b2))))))
3.533 * [regime-testing]: End program error score: 2.972295341052167
3.623 * [regime-testing]: Target error score: 10.846861690590783