9.366 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.024 * * * [progress]: [2/2] Setting up program.
0.027 * [progress]: [Phase 2 of 3] Improving.
0.027 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))
0.028 * * [simplify]: iteration  0 :  8  enodes  (cost  13 )
0.029 * * [simplify]: iteration  1 :  18  enodes  (cost  13 )
0.031 * * [simplify]: iteration  2 :  47  enodes  (cost  11 )
0.038 * * [simplify]: iteration  3 :  107  enodes  (cost  11 )
0.059 * * [simplify]: iteration  4 :  238  enodes  (cost  11 )
0.118 * * [simplify]: iteration  5 :  625  enodes  (cost  11 )
1.529 * * [simplify]: iteration  6 :  3257  enodes  (cost  11 )
10.471 * * [simplify]: iteration  done :  5001  enodes  (cost  11 )
10.471 * [simplify]: Simplified to:
   (sqrt (fabs (- 1 (/ (* b b) (* a a)))))
10.474 * * [progress]: iteration 1 / 4
10.474 * * * [progress]: picking best candidate
10.477 * * * * [pick]: Picked  #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a))))))>
10.478 * * * [progress]: localizing error
10.486 * * * [progress]: generating rewritten candidates
10.486 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1 2)
10.491 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
10.492 * * * [progress]: generating series expansions
10.492 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1 2)
10.493 * [approximate]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0
10.493 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a
10.493 * [taylor]: Taking taylor expansion of (pow b 2) in a
10.493 * [taylor]: Taking taylor expansion of b in a
10.493 * [taylor]: Taking taylor expansion of (pow a 2) in a
10.493 * [taylor]: Taking taylor expansion of a in a
10.493 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
10.493 * [taylor]: Taking taylor expansion of (pow b 2) in b
10.493 * [taylor]: Taking taylor expansion of b in b
10.493 * [taylor]: Taking taylor expansion of (pow a 2) in b
10.493 * [taylor]: Taking taylor expansion of a in b
10.494 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
10.494 * [taylor]: Taking taylor expansion of (pow b 2) in b
10.494 * [taylor]: Taking taylor expansion of b in b
10.494 * [taylor]: Taking taylor expansion of (pow a 2) in b
10.494 * [taylor]: Taking taylor expansion of a in b
10.494 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
10.494 * [taylor]: Taking taylor expansion of (pow a 2) in a
10.494 * [taylor]: Taking taylor expansion of a in a
10.495 * [taylor]: Taking taylor expansion of 0 in a
10.497 * [taylor]: Taking taylor expansion of 0 in a
10.499 * [taylor]: Taking taylor expansion of 0 in a
10.506 * [taylor]: Taking taylor expansion of 0 in a
10.506 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
10.506 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
10.507 * [taylor]: Taking taylor expansion of (pow a 2) in a
10.507 * [taylor]: Taking taylor expansion of a in a
10.507 * [taylor]: Taking taylor expansion of (pow b 2) in a
10.507 * [taylor]: Taking taylor expansion of b in a
10.507 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
10.507 * [taylor]: Taking taylor expansion of (pow a 2) in b
10.507 * [taylor]: Taking taylor expansion of a in b
10.507 * [taylor]: Taking taylor expansion of (pow b 2) in b
10.507 * [taylor]: Taking taylor expansion of b in b
10.507 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
10.507 * [taylor]: Taking taylor expansion of (pow a 2) in b
10.507 * [taylor]: Taking taylor expansion of a in b
10.507 * [taylor]: Taking taylor expansion of (pow b 2) in b
10.507 * [taylor]: Taking taylor expansion of b in b
10.508 * [taylor]: Taking taylor expansion of (pow a 2) in a
10.508 * [taylor]: Taking taylor expansion of a in a
10.509 * [taylor]: Taking taylor expansion of 0 in a
10.511 * [taylor]: Taking taylor expansion of 0 in a
10.514 * [taylor]: Taking taylor expansion of 0 in a
10.514 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
10.514 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
10.514 * [taylor]: Taking taylor expansion of (pow a 2) in a
10.514 * [taylor]: Taking taylor expansion of a in a
10.514 * [taylor]: Taking taylor expansion of (pow b 2) in a
10.514 * [taylor]: Taking taylor expansion of b in a
10.514 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
10.514 * [taylor]: Taking taylor expansion of (pow a 2) in b
10.514 * [taylor]: Taking taylor expansion of a in b
10.514 * [taylor]: Taking taylor expansion of (pow b 2) in b
10.515 * [taylor]: Taking taylor expansion of b in b
10.515 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
10.515 * [taylor]: Taking taylor expansion of (pow a 2) in b
10.515 * [taylor]: Taking taylor expansion of a in b
10.515 * [taylor]: Taking taylor expansion of (pow b 2) in b
10.515 * [taylor]: Taking taylor expansion of b in b
10.515 * [taylor]: Taking taylor expansion of (pow a 2) in a
10.515 * [taylor]: Taking taylor expansion of a in a
10.517 * [taylor]: Taking taylor expansion of 0 in a
10.518 * [taylor]: Taking taylor expansion of 0 in a
10.521 * [taylor]: Taking taylor expansion of 0 in a
10.521 * * * * [progress]: [ 2 / 2 ] generating series at (2)
10.522 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
10.522 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
10.522 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
10.522 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
10.522 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
10.523 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
10.523 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
10.523 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
10.523 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
10.524 * [taylor]: Taking taylor expansion of 0 in a
10.525 * [taylor]: Taking taylor expansion of 0 in a
10.526 * [taylor]: Taking taylor expansion of 0 in a
10.527 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
10.527 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
10.527 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
10.527 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
10.527 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
10.528 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
10.528 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
10.528 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
10.528 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
10.529 * [taylor]: Taking taylor expansion of 0 in a
10.529 * [taylor]: Taking taylor expansion of 0 in a
10.531 * [taylor]: Taking taylor expansion of 0 in a
10.531 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
10.531 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
10.531 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
10.532 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
10.532 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
10.532 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
10.532 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
10.533 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
10.533 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
10.533 * [taylor]: Taking taylor expansion of 0 in a
10.534 * [taylor]: Taking taylor expansion of 0 in a
10.535 * [taylor]: Taking taylor expansion of 0 in a
10.536 * * * [progress]: simplifying candidates
10.536 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ (log b) (log b)) (+ (log a) (log a)))
  (- (+ (log b) (log b)) (log (* a a)))
  (- (log (* b b)) (+ (log a) (log a)))
  (- (log (* b b)) (log (* a a)))
  (log (/ (* b b) (* a a)))
  (exp (/ (* b b) (* a a)))
  (/ (* (* (* b b) b) (* (* b b) b)) (* (* (* a a) a) (* (* a a) a)))
  (/ (* (* (* b b) b) (* (* b b) b)) (* (* (* a a) (* a a)) (* a a)))
  (/ (* (* (* b b) (* b b)) (* b b)) (* (* (* a a) a) (* (* a a) a)))
  (/ (* (* (* b b) (* b b)) (* b b)) (* (* (* a a) (* a a)) (* a a)))
  (* (cbrt (/ (* b b) (* a a))) (cbrt (/ (* b b) (* a a))))
  (cbrt (/ (* b b) (* a a)))
  (* (* (/ (* b b) (* a a)) (/ (* b b) (* a a))) (/ (* b b) (* a a)))
  (sqrt (/ (* b b) (* a a)))
  (sqrt (/ (* b b) (* a a)))
  (- (* b b))
  (- (* a a))
  (/ b a)
  (/ b a)
  (/ 1 (* a a))
  (/ (* a a) (* b b))
  (/ (* b b) a)
  (/ (* a a) b)
  (log (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (exp (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (* (cbrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (cbrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))))
  (cbrt (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (* (* (sqrt (fabs (- 1 (/ (* b b) (* a a))))) (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (sqrt (* (cbrt (fabs (- 1 (/ (* b b) (* a a))))) (cbrt (fabs (- 1 (/ (* b b) (* a a)))))))
  (sqrt (cbrt (fabs (- 1 (/ (* b b) (* a a))))))
  (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (sqrt 1)
  (sqrt (fabs (- 1 (/ (* b b) (* a a)))))
  (/ 1 2)
  (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (/ (pow b 2) (pow a 2))
  (/ (pow b 2) (pow a 2))
  (/ (pow b 2) (pow a 2))
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
10.538 * * [simplify]: iteration  0 :  65  enodes  (cost  498 )
10.549 * * [simplify]: iteration  1 :  164  enodes  (cost  462 )
10.586 * * [simplify]: iteration  2 :  664  enodes  (cost  370 )
10.893 * * [simplify]: iteration  3 :  4769  enodes  (cost  355 )
14.654 * * [simplify]: iteration  done :  5000  enodes  (cost  355 )
14.654 * [simplify]: Simplified to:
   (* 2 (log (/ b a)))
  (* 2 (log (/ b a)))
  (* 2 (log (/ b a)))
  (* 2 (log (/ b a)))
  (* 2 (log (/ b a)))
  (exp (/ (* b b) (* a a)))
  (/ (pow b 6) (pow a 6))
  (/ (pow b 6) (pow a 6))
  (/ (pow b 6) (pow a 6))
  (/ (pow b 6) (pow a 6))
  (* (cbrt (/ (* b b) (* a a))) (cbrt (/ (* b b) (* a a))))
  (cbrt (/ (* b b) (* a a)))
  (/ (pow b 6) (pow a 6))
  (fabs (/ b a))
  (fabs (/ b a))
  (- (* b b))
  (- (* a a))
  (/ b a)
  (/ b a)
  (/ 1 (* a a))
  (/ (* a a) (* b b))
  (* b (/ b a))
  (* a (/ a b))
  (log (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (exp (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (* (cbrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (cbrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))))
  (cbrt (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (pow (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 3)
  (fabs (cbrt (fabs (- 1 (/ (* b b) (* a a))))))
  (sqrt (cbrt (fabs (- 1 (/ (* b b) (* a a))))))
  (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  1
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
  1/2
  (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (/ (pow b 2) (pow a 2))
  (/ (pow b 2) (pow a 2))
  (/ (pow b 2) (pow a 2))
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
14.655 * * * [progress]: adding candidates to table
14.731 * * [progress]: iteration 2 / 4
14.731 * * * [progress]: picking best candidate
14.735 * * * * [pick]: Picked  #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))>
14.735 * * * [progress]: localizing error
14.743 * * * [progress]: generating rewritten candidates
14.743 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 2)
14.748 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2 1)
14.755 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
14.758 * * * [progress]: generating series expansions
14.758 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 2)
14.758 * [approximate]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0
14.758 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a
14.758 * [taylor]: Taking taylor expansion of (pow b 2) in a
14.758 * [taylor]: Taking taylor expansion of b in a
14.758 * [taylor]: Taking taylor expansion of (pow a 2) in a
14.758 * [taylor]: Taking taylor expansion of a in a
14.759 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
14.759 * [taylor]: Taking taylor expansion of (pow b 2) in b
14.759 * [taylor]: Taking taylor expansion of b in b
14.759 * [taylor]: Taking taylor expansion of (pow a 2) in b
14.759 * [taylor]: Taking taylor expansion of a in b
14.759 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
14.759 * [taylor]: Taking taylor expansion of (pow b 2) in b
14.759 * [taylor]: Taking taylor expansion of b in b
14.759 * [taylor]: Taking taylor expansion of (pow a 2) in b
14.759 * [taylor]: Taking taylor expansion of a in b
14.760 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
14.760 * [taylor]: Taking taylor expansion of (pow a 2) in a
14.760 * [taylor]: Taking taylor expansion of a in a
14.761 * [taylor]: Taking taylor expansion of 0 in a
14.763 * [taylor]: Taking taylor expansion of 0 in a
14.765 * [taylor]: Taking taylor expansion of 0 in a
14.768 * [taylor]: Taking taylor expansion of 0 in a
14.768 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
14.768 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
14.768 * [taylor]: Taking taylor expansion of (pow a 2) in a
14.768 * [taylor]: Taking taylor expansion of a in a
14.768 * [taylor]: Taking taylor expansion of (pow b 2) in a
14.768 * [taylor]: Taking taylor expansion of b in a
14.768 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
14.768 * [taylor]: Taking taylor expansion of (pow a 2) in b
14.768 * [taylor]: Taking taylor expansion of a in b
14.768 * [taylor]: Taking taylor expansion of (pow b 2) in b
14.768 * [taylor]: Taking taylor expansion of b in b
14.769 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
14.769 * [taylor]: Taking taylor expansion of (pow a 2) in b
14.769 * [taylor]: Taking taylor expansion of a in b
14.769 * [taylor]: Taking taylor expansion of (pow b 2) in b
14.769 * [taylor]: Taking taylor expansion of b in b
14.769 * [taylor]: Taking taylor expansion of (pow a 2) in a
14.769 * [taylor]: Taking taylor expansion of a in a
14.770 * [taylor]: Taking taylor expansion of 0 in a
14.772 * [taylor]: Taking taylor expansion of 0 in a
14.775 * [taylor]: Taking taylor expansion of 0 in a
14.775 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
14.775 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
14.775 * [taylor]: Taking taylor expansion of (pow a 2) in a
14.775 * [taylor]: Taking taylor expansion of a in a
14.775 * [taylor]: Taking taylor expansion of (pow b 2) in a
14.775 * [taylor]: Taking taylor expansion of b in a
14.776 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
14.776 * [taylor]: Taking taylor expansion of (pow a 2) in b
14.776 * [taylor]: Taking taylor expansion of a in b
14.776 * [taylor]: Taking taylor expansion of (pow b 2) in b
14.776 * [taylor]: Taking taylor expansion of b in b
14.776 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
14.776 * [taylor]: Taking taylor expansion of (pow a 2) in b
14.776 * [taylor]: Taking taylor expansion of a in b
14.776 * [taylor]: Taking taylor expansion of (pow b 2) in b
14.776 * [taylor]: Taking taylor expansion of b in b
14.777 * [taylor]: Taking taylor expansion of (pow a 2) in a
14.777 * [taylor]: Taking taylor expansion of a in a
14.778 * [taylor]: Taking taylor expansion of 0 in a
14.782 * [taylor]: Taking taylor expansion of 0 in a
14.785 * [taylor]: Taking taylor expansion of 0 in a
14.785 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2 1)
14.785 * [approximate]: Taking taylor expansion of (/ (pow b 2) a) in (b a) around 0
14.785 * [taylor]: Taking taylor expansion of (/ (pow b 2) a) in a
14.786 * [taylor]: Taking taylor expansion of (pow b 2) in a
14.786 * [taylor]: Taking taylor expansion of b in a
14.786 * [taylor]: Taking taylor expansion of a in a
14.786 * [taylor]: Taking taylor expansion of (/ (pow b 2) a) in b
14.786 * [taylor]: Taking taylor expansion of (pow b 2) in b
14.786 * [taylor]: Taking taylor expansion of b in b
14.786 * [taylor]: Taking taylor expansion of a in b
14.786 * [taylor]: Taking taylor expansion of (/ (pow b 2) a) in b
14.786 * [taylor]: Taking taylor expansion of (pow b 2) in b
14.786 * [taylor]: Taking taylor expansion of b in b
14.786 * [taylor]: Taking taylor expansion of a in b
14.787 * [taylor]: Taking taylor expansion of (/ 1 a) in a
14.787 * [taylor]: Taking taylor expansion of a in a
14.787 * [taylor]: Taking taylor expansion of 0 in a
14.788 * [taylor]: Taking taylor expansion of 0 in a
14.789 * [taylor]: Taking taylor expansion of 0 in a
14.790 * [approximate]: Taking taylor expansion of (/ a (pow b 2)) in (b a) around 0
14.790 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in a
14.790 * [taylor]: Taking taylor expansion of a in a
14.790 * [taylor]: Taking taylor expansion of (pow b 2) in a
14.790 * [taylor]: Taking taylor expansion of b in a
14.790 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in b
14.790 * [taylor]: Taking taylor expansion of a in b
14.790 * [taylor]: Taking taylor expansion of (pow b 2) in b
14.790 * [taylor]: Taking taylor expansion of b in b
14.791 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in b
14.791 * [taylor]: Taking taylor expansion of a in b
14.791 * [taylor]: Taking taylor expansion of (pow b 2) in b
14.791 * [taylor]: Taking taylor expansion of b in b
14.791 * [taylor]: Taking taylor expansion of a in a
14.792 * [taylor]: Taking taylor expansion of 0 in a
14.793 * [taylor]: Taking taylor expansion of 0 in a
14.795 * [taylor]: Taking taylor expansion of 0 in a
14.795 * [approximate]: Taking taylor expansion of (* -1 (/ a (pow b 2))) in (b a) around 0
14.795 * [taylor]: Taking taylor expansion of (* -1 (/ a (pow b 2))) in a
14.795 * [taylor]: Taking taylor expansion of -1 in a
14.795 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in a
14.795 * [taylor]: Taking taylor expansion of a in a
14.795 * [taylor]: Taking taylor expansion of (pow b 2) in a
14.795 * [taylor]: Taking taylor expansion of b in a
14.795 * [taylor]: Taking taylor expansion of (* -1 (/ a (pow b 2))) in b
14.795 * [taylor]: Taking taylor expansion of -1 in b
14.795 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in b
14.796 * [taylor]: Taking taylor expansion of a in b
14.796 * [taylor]: Taking taylor expansion of (pow b 2) in b
14.796 * [taylor]: Taking taylor expansion of b in b
14.796 * [taylor]: Taking taylor expansion of (* -1 (/ a (pow b 2))) in b
14.796 * [taylor]: Taking taylor expansion of -1 in b
14.796 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in b
14.796 * [taylor]: Taking taylor expansion of a in b
14.796 * [taylor]: Taking taylor expansion of (pow b 2) in b
14.796 * [taylor]: Taking taylor expansion of b in b
14.796 * [taylor]: Taking taylor expansion of (* -1 a) in a
14.796 * [taylor]: Taking taylor expansion of -1 in a
14.796 * [taylor]: Taking taylor expansion of a in a
14.798 * [taylor]: Taking taylor expansion of 0 in a
14.800 * [taylor]: Taking taylor expansion of 0 in a
14.803 * [taylor]: Taking taylor expansion of 0 in a
14.804 * * * * [progress]: [ 3 / 3 ] generating series at (2)
14.804 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
14.804 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
14.804 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
14.805 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
14.805 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
14.805 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
14.805 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
14.806 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
14.806 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
14.806 * [taylor]: Taking taylor expansion of 0 in a
14.807 * [taylor]: Taking taylor expansion of 0 in a
14.808 * [taylor]: Taking taylor expansion of 0 in a
14.809 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
14.809 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
14.809 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
14.809 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
14.809 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
14.810 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
14.810 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
14.810 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
14.810 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
14.811 * [taylor]: Taking taylor expansion of 0 in a
14.812 * [taylor]: Taking taylor expansion of 0 in a
14.813 * [taylor]: Taking taylor expansion of 0 in a
14.813 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
14.814 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
14.814 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
14.814 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
14.814 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
14.815 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
14.815 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
14.815 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
14.815 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
14.816 * [taylor]: Taking taylor expansion of 0 in a
14.817 * [taylor]: Taking taylor expansion of 0 in a
14.818 * [taylor]: Taking taylor expansion of 0 in a
14.818 * * * [progress]: simplifying candidates
14.819 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ (log b) (- (log b) (log a))) (log a))
  (- (+ (log b) (log (/ b a))) (log a))
  (- (log (* b (/ b a))) (log a))
  (log (/ (* b (/ b a)) a))
  (exp (/ (* b (/ b a)) a))
  (/ (* (* (* b b) b) (/ (* (* b b) b) (* (* a a) a))) (* (* a a) a))
  (/ (* (* (* b b) b) (* (* (/ b a) (/ b a)) (/ b a))) (* (* a a) a))
  (/ (* (* (* b (/ b a)) (* b (/ b a))) (* b (/ b a))) (* (* a a) a))
  (* (cbrt (/ (* b (/ b a)) a)) (cbrt (/ (* b (/ b a)) a)))
  (cbrt (/ (* b (/ b a)) a))
  (* (* (/ (* b (/ b a)) a) (/ (* b (/ b a)) a)) (/ (* b (/ b a)) a))
  (sqrt (/ (* b (/ b a)) a))
  (sqrt (/ (* b (/ b a)) a))
  (- (* b (/ b a)))
  (- a)
  (/ b (* (cbrt a) (cbrt a)))
  (/ (/ b a) (cbrt a))
  (/ b (sqrt a))
  (/ (/ b a) (sqrt a))
  (/ b 1)
  (/ (/ b a) a)
  (/ 1 a)
  (/ a (* b (/ b a)))
  (/ (* b (/ b a)) (* (cbrt a) (cbrt a)))
  (/ (* b (/ b a)) (sqrt a))
  (/ (* b (/ b a)) 1)
  (/ a (/ b a))
  (* a a)
  (* b (/ b a))
  (+ (log b) (- (log b) (log a)))
  (+ (log b) (log (/ b a)))
  (log (* b (/ b a)))
  (exp (* b (/ b a)))
  (* (* (* b b) b) (/ (* (* b b) b) (* (* a a) a)))
  (* (* (* b b) b) (* (* (/ b a) (/ b a)) (/ b a)))
  (* (cbrt (* b (/ b a))) (cbrt (* b (/ b a))))
  (cbrt (* b (/ b a)))
  (* (* (* b (/ b a)) (* b (/ b a))) (* b (/ b a)))
  (sqrt (* b (/ b a)))
  (sqrt (* b (/ b a)))
  (* (sqrt b) (sqrt (/ b a)))
  (* (sqrt b) (sqrt (/ b a)))
  (* (sqrt b) (/ (sqrt b) (sqrt a)))
  (* (sqrt b) (/ (sqrt b) (sqrt a)))
  (* b (* (cbrt (/ b a)) (cbrt (/ b a))))
  (* b (sqrt (/ b a)))
  (* b (/ (* (cbrt b) (cbrt b)) (* (cbrt a) (cbrt a))))
  (* b (/ (* (cbrt b) (cbrt b)) (sqrt a)))
  (* b (/ (* (cbrt b) (cbrt b)) 1))
  (* b (/ (sqrt b) (* (cbrt a) (cbrt a))))
  (* b (/ (sqrt b) (sqrt a)))
  (* b (/ (sqrt b) 1))
  (* b (/ 1 (* (cbrt a) (cbrt a))))
  (* b (/ 1 (sqrt a)))
  (* b (/ 1 1))
  (* b 1)
  (* b b)
  (* (cbrt b) (/ b a))
  (* (sqrt b) (/ b a))
  (* b (/ b a))
  (* b b)
  (log (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  (* (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))
  (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  (sqrt (* (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))) (cbrt (fabs (- 1 (/ (* b (/ b a)) a))))))
  (sqrt (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  (sqrt 1)
  (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))
  (/ 1 2)
  (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  (/ (pow b 2) (pow a 2))
  (/ (pow b 2) (pow a 2))
  (/ (pow b 2) (pow a 2))
  (/ (pow b 2) a)
  (/ (pow b 2) a)
  (/ (pow b 2) a)
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
14.822 * * [simplify]: iteration  0 :  113  enodes  (cost  789 )
14.840 * * [simplify]: iteration  1 :  281  enodes  (cost  734 )
14.915 * * [simplify]: iteration  2 :  1321  enodes  (cost  623 )
15.370 * * [simplify]: iteration  done :  5000  enodes  (cost  623 )
15.370 * [simplify]: Simplified to:
   (log (/ (* b (/ b a)) a))
  (log (/ (* b (/ b a)) a))
  (log (/ (* b (/ b a)) a))
  (log (/ (* b (/ b a)) a))
  (exp (/ (* b (/ b a)) a))
  (pow (/ (pow b 2) (pow a 2)) 3)
  (pow (/ (pow b 2) (pow a 2)) 3)
  (pow (/ (pow b 2) (pow a 2)) 3)
  (* (cbrt (/ (* b (/ b a)) a)) (cbrt (/ (* b (/ b a)) a)))
  (cbrt (/ (* b (/ b a)) a))
  (pow (/ (pow b 2) (pow a 2)) 3)
  (fabs (/ b a))
  (fabs (/ b a))
  (- (* b (/ b a)))
  (- a)
  (/ b (* (cbrt a) (cbrt a)))
  (/ (/ b a) (cbrt a))
  (/ b (sqrt a))
  (/ (/ b a) (sqrt a))
  b
  (/ (/ b a) a)
  (/ 1 a)
  (/ (* a a) (* b b))
  (/ (* b (/ b a)) (* (cbrt a) (cbrt a)))
  (/ (* b (/ b a)) (sqrt a))
  (/ (pow b 2) a)
  (* (/ a b) a)
  (* a a)
  (/ (pow b 2) a)
  (log (/ (pow b 2) a))
  (log (/ (pow b 2) a))
  (log (/ (pow b 2) a))
  (exp (* b (/ b a)))
  (pow (/ (pow b 2) a) 3)
  (pow (/ (pow b 2) a) 3)
  (* (cbrt (* b (/ b a))) (cbrt (* b (/ b a))))
  (cbrt (* b (/ b a)))
  (pow (/ (pow b 2) a) 3)
  (sqrt (* b (/ b a)))
  (sqrt (* b (/ b a)))
  (* (sqrt b) (sqrt (/ b a)))
  (* (sqrt b) (sqrt (/ b a)))
  (/ b (sqrt a))
  (/ b (sqrt a))
  (* b (* (cbrt (/ b a)) (cbrt (/ b a))))
  (* b (sqrt (/ b a)))
  (* b (/ (* (cbrt b) (cbrt b)) (* (cbrt a) (cbrt a))))
  (* b (/ (* (cbrt b) (cbrt b)) (sqrt a)))
  (* (* (cbrt b) (cbrt b)) b)
  (* b (/ (sqrt b) (* (cbrt a) (cbrt a))))
  (* b (/ (sqrt b) (sqrt a)))
  (* b (sqrt b))
  (/ b (* (cbrt a) (cbrt a)))
  (/ b (sqrt a))
  b
  b
  (* b b)
  (* (cbrt b) (/ b a))
  (* (sqrt b) (/ b a))
  (/ (pow b 2) a)
  (* b b)
  (log (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  (* (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))
  (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  (pow (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 3)
  (fabs (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  (sqrt (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  1
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
  1/2
  (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  (* (/ (/ b a) a) b)
  (* (/ (/ b a) a) b)
  (* (/ (/ b a) a) b)
  (/ (pow b 2) a)
  (/ (pow b 2) a)
  (/ (pow b 2) a)
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
15.371 * * * [progress]: adding candidates to table
15.531 * * [progress]: iteration 3 / 4
15.531 * * * [progress]: picking best candidate
15.535 * * * * [pick]: Picked  #<alt (λ (a b) (log (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
15.535 * * * [progress]: localizing error
15.547 * * * [progress]: generating rewritten candidates
15.547 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1 2)
15.552 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2 1)
15.559 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
15.560 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
15.567 * * * [progress]: generating series expansions
15.567 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1 2)
15.567 * [approximate]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0
15.567 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a
15.567 * [taylor]: Taking taylor expansion of (pow b 2) in a
15.567 * [taylor]: Taking taylor expansion of b in a
15.568 * [taylor]: Taking taylor expansion of (pow a 2) in a
15.568 * [taylor]: Taking taylor expansion of a in a
15.568 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
15.568 * [taylor]: Taking taylor expansion of (pow b 2) in b
15.568 * [taylor]: Taking taylor expansion of b in b
15.568 * [taylor]: Taking taylor expansion of (pow a 2) in b
15.568 * [taylor]: Taking taylor expansion of a in b
15.569 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
15.569 * [taylor]: Taking taylor expansion of (pow b 2) in b
15.569 * [taylor]: Taking taylor expansion of b in b
15.569 * [taylor]: Taking taylor expansion of (pow a 2) in b
15.569 * [taylor]: Taking taylor expansion of a in b
15.569 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
15.569 * [taylor]: Taking taylor expansion of (pow a 2) in a
15.569 * [taylor]: Taking taylor expansion of a in a
15.570 * [taylor]: Taking taylor expansion of 0 in a
15.572 * [taylor]: Taking taylor expansion of 0 in a
15.574 * [taylor]: Taking taylor expansion of 0 in a
15.577 * [taylor]: Taking taylor expansion of 0 in a
15.577 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
15.577 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
15.577 * [taylor]: Taking taylor expansion of (pow a 2) in a
15.577 * [taylor]: Taking taylor expansion of a in a
15.577 * [taylor]: Taking taylor expansion of (pow b 2) in a
15.577 * [taylor]: Taking taylor expansion of b in a
15.578 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
15.578 * [taylor]: Taking taylor expansion of (pow a 2) in b
15.578 * [taylor]: Taking taylor expansion of a in b
15.578 * [taylor]: Taking taylor expansion of (pow b 2) in b
15.578 * [taylor]: Taking taylor expansion of b in b
15.578 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
15.578 * [taylor]: Taking taylor expansion of (pow a 2) in b
15.578 * [taylor]: Taking taylor expansion of a in b
15.578 * [taylor]: Taking taylor expansion of (pow b 2) in b
15.578 * [taylor]: Taking taylor expansion of b in b
15.579 * [taylor]: Taking taylor expansion of (pow a 2) in a
15.579 * [taylor]: Taking taylor expansion of a in a
15.580 * [taylor]: Taking taylor expansion of 0 in a
15.582 * [taylor]: Taking taylor expansion of 0 in a
15.584 * [taylor]: Taking taylor expansion of 0 in a
15.585 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
15.585 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
15.585 * [taylor]: Taking taylor expansion of (pow a 2) in a
15.585 * [taylor]: Taking taylor expansion of a in a
15.585 * [taylor]: Taking taylor expansion of (pow b 2) in a
15.585 * [taylor]: Taking taylor expansion of b in a
15.585 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
15.585 * [taylor]: Taking taylor expansion of (pow a 2) in b
15.585 * [taylor]: Taking taylor expansion of a in b
15.585 * [taylor]: Taking taylor expansion of (pow b 2) in b
15.585 * [taylor]: Taking taylor expansion of b in b
15.586 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
15.586 * [taylor]: Taking taylor expansion of (pow a 2) in b
15.586 * [taylor]: Taking taylor expansion of a in b
15.586 * [taylor]: Taking taylor expansion of (pow b 2) in b
15.586 * [taylor]: Taking taylor expansion of b in b
15.586 * [taylor]: Taking taylor expansion of (pow a 2) in a
15.586 * [taylor]: Taking taylor expansion of a in a
15.587 * [taylor]: Taking taylor expansion of 0 in a
15.589 * [taylor]: Taking taylor expansion of 0 in a
15.592 * [taylor]: Taking taylor expansion of 0 in a
15.592 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2 1)
15.593 * [approximate]: Taking taylor expansion of (/ (pow b 2) a) in (b a) around 0
15.593 * [taylor]: Taking taylor expansion of (/ (pow b 2) a) in a
15.593 * [taylor]: Taking taylor expansion of (pow b 2) in a
15.593 * [taylor]: Taking taylor expansion of b in a
15.593 * [taylor]: Taking taylor expansion of a in a
15.593 * [taylor]: Taking taylor expansion of (/ (pow b 2) a) in b
15.593 * [taylor]: Taking taylor expansion of (pow b 2) in b
15.593 * [taylor]: Taking taylor expansion of b in b
15.593 * [taylor]: Taking taylor expansion of a in b
15.593 * [taylor]: Taking taylor expansion of (/ (pow b 2) a) in b
15.593 * [taylor]: Taking taylor expansion of (pow b 2) in b
15.593 * [taylor]: Taking taylor expansion of b in b
15.593 * [taylor]: Taking taylor expansion of a in b
15.593 * [taylor]: Taking taylor expansion of (/ 1 a) in a
15.594 * [taylor]: Taking taylor expansion of a in a
15.594 * [taylor]: Taking taylor expansion of 0 in a
15.595 * [taylor]: Taking taylor expansion of 0 in a
15.596 * [taylor]: Taking taylor expansion of 0 in a
15.597 * [approximate]: Taking taylor expansion of (/ a (pow b 2)) in (b a) around 0
15.597 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in a
15.597 * [taylor]: Taking taylor expansion of a in a
15.597 * [taylor]: Taking taylor expansion of (pow b 2) in a
15.597 * [taylor]: Taking taylor expansion of b in a
15.597 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in b
15.597 * [taylor]: Taking taylor expansion of a in b
15.597 * [taylor]: Taking taylor expansion of (pow b 2) in b
15.597 * [taylor]: Taking taylor expansion of b in b
15.598 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in b
15.598 * [taylor]: Taking taylor expansion of a in b
15.598 * [taylor]: Taking taylor expansion of (pow b 2) in b
15.598 * [taylor]: Taking taylor expansion of b in b
15.598 * [taylor]: Taking taylor expansion of a in a
15.599 * [taylor]: Taking taylor expansion of 0 in a
15.600 * [taylor]: Taking taylor expansion of 0 in a
15.602 * [taylor]: Taking taylor expansion of 0 in a
15.602 * [approximate]: Taking taylor expansion of (* -1 (/ a (pow b 2))) in (b a) around 0
15.602 * [taylor]: Taking taylor expansion of (* -1 (/ a (pow b 2))) in a
15.602 * [taylor]: Taking taylor expansion of -1 in a
15.602 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in a
15.602 * [taylor]: Taking taylor expansion of a in a
15.602 * [taylor]: Taking taylor expansion of (pow b 2) in a
15.602 * [taylor]: Taking taylor expansion of b in a
15.602 * [taylor]: Taking taylor expansion of (* -1 (/ a (pow b 2))) in b
15.602 * [taylor]: Taking taylor expansion of -1 in b
15.602 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in b
15.602 * [taylor]: Taking taylor expansion of a in b
15.602 * [taylor]: Taking taylor expansion of (pow b 2) in b
15.602 * [taylor]: Taking taylor expansion of b in b
15.603 * [taylor]: Taking taylor expansion of (* -1 (/ a (pow b 2))) in b
15.603 * [taylor]: Taking taylor expansion of -1 in b
15.603 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in b
15.603 * [taylor]: Taking taylor expansion of a in b
15.603 * [taylor]: Taking taylor expansion of (pow b 2) in b
15.603 * [taylor]: Taking taylor expansion of b in b
15.603 * [taylor]: Taking taylor expansion of (* -1 a) in a
15.603 * [taylor]: Taking taylor expansion of -1 in a
15.603 * [taylor]: Taking taylor expansion of a in a
15.605 * [taylor]: Taking taylor expansion of 0 in a
15.607 * [taylor]: Taking taylor expansion of 0 in a
15.610 * [taylor]: Taking taylor expansion of 0 in a
15.610 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
15.610 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
15.610 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
15.610 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
15.611 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
15.611 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
15.611 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
15.611 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
15.612 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
15.612 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
15.613 * [taylor]: Taking taylor expansion of 0 in a
15.613 * [taylor]: Taking taylor expansion of 0 in a
15.615 * [taylor]: Taking taylor expansion of 0 in a
15.615 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
15.615 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
15.615 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
15.615 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
15.616 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
15.616 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
15.616 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
15.617 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
15.617 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
15.617 * [taylor]: Taking taylor expansion of 0 in a
15.618 * [taylor]: Taking taylor expansion of 0 in a
15.619 * [taylor]: Taking taylor expansion of 0 in a
15.620 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
15.620 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
15.620 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
15.620 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
15.620 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
15.621 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
15.621 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
15.621 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
15.621 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
15.622 * [taylor]: Taking taylor expansion of 0 in a
15.622 * [taylor]: Taking taylor expansion of 0 in a
15.624 * [taylor]: Taking taylor expansion of 0 in a
15.624 * * * * [progress]: [ 4 / 4 ] generating series at (2)
15.624 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
15.624 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
15.624 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
15.625 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
15.625 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
15.625 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
15.625 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
15.626 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
15.626 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
15.626 * [taylor]: Taking taylor expansion of 0 in a
15.627 * [taylor]: Taking taylor expansion of 0 in a
15.628 * [taylor]: Taking taylor expansion of 0 in a
15.629 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
15.629 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
15.629 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
15.629 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
15.629 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
15.630 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
15.630 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
15.630 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
15.630 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
15.631 * [taylor]: Taking taylor expansion of 0 in a
15.632 * [taylor]: Taking taylor expansion of 0 in a
15.633 * [taylor]: Taking taylor expansion of 0 in a
15.633 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
15.633 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
15.633 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
15.634 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
15.634 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
15.634 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
15.634 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
15.635 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
15.635 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
15.636 * [taylor]: Taking taylor expansion of 0 in a
15.636 * [taylor]: Taking taylor expansion of 0 in a
15.637 * [taylor]: Taking taylor expansion of 0 in a
15.638 * * * [progress]: simplifying candidates
15.639 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ (log b) (- (log b) (log a))) (log a))
  (- (+ (log b) (log (/ b a))) (log a))
  (- (log (* b (/ b a))) (log a))
  (log (/ (* b (/ b a)) a))
  (exp (/ (* b (/ b a)) a))
  (/ (* (* (* b b) b) (/ (* (* b b) b) (* (* a a) a))) (* (* a a) a))
  (/ (* (* (* b b) b) (* (* (/ b a) (/ b a)) (/ b a))) (* (* a a) a))
  (/ (* (* (* b (/ b a)) (* b (/ b a))) (* b (/ b a))) (* (* a a) a))
  (* (cbrt (/ (* b (/ b a)) a)) (cbrt (/ (* b (/ b a)) a)))
  (cbrt (/ (* b (/ b a)) a))
  (* (* (/ (* b (/ b a)) a) (/ (* b (/ b a)) a)) (/ (* b (/ b a)) a))
  (sqrt (/ (* b (/ b a)) a))
  (sqrt (/ (* b (/ b a)) a))
  (- (* b (/ b a)))
  (- a)
  (/ b (* (cbrt a) (cbrt a)))
  (/ (/ b a) (cbrt a))
  (/ b (sqrt a))
  (/ (/ b a) (sqrt a))
  (/ b 1)
  (/ (/ b a) a)
  (/ 1 a)
  (/ a (* b (/ b a)))
  (/ (* b (/ b a)) (* (cbrt a) (cbrt a)))
  (/ (* b (/ b a)) (sqrt a))
  (/ (* b (/ b a)) 1)
  (/ a (/ b a))
  (* a a)
  (* b (/ b a))
  (+ (log b) (- (log b) (log a)))
  (+ (log b) (log (/ b a)))
  (log (* b (/ b a)))
  (exp (* b (/ b a)))
  (* (* (* b b) b) (/ (* (* b b) b) (* (* a a) a)))
  (* (* (* b b) b) (* (* (/ b a) (/ b a)) (/ b a)))
  (* (cbrt (* b (/ b a))) (cbrt (* b (/ b a))))
  (cbrt (* b (/ b a)))
  (* (* (* b (/ b a)) (* b (/ b a))) (* b (/ b a)))
  (sqrt (* b (/ b a)))
  (sqrt (* b (/ b a)))
  (* (sqrt b) (sqrt (/ b a)))
  (* (sqrt b) (sqrt (/ b a)))
  (* (sqrt b) (/ (sqrt b) (sqrt a)))
  (* (sqrt b) (/ (sqrt b) (sqrt a)))
  (* b (* (cbrt (/ b a)) (cbrt (/ b a))))
  (* b (sqrt (/ b a)))
  (* b (/ (* (cbrt b) (cbrt b)) (* (cbrt a) (cbrt a))))
  (* b (/ (* (cbrt b) (cbrt b)) (sqrt a)))
  (* b (/ (* (cbrt b) (cbrt b)) 1))
  (* b (/ (sqrt b) (* (cbrt a) (cbrt a))))
  (* b (/ (sqrt b) (sqrt a)))
  (* b (/ (sqrt b) 1))
  (* b (/ 1 (* (cbrt a) (cbrt a))))
  (* b (/ 1 (sqrt a)))
  (* b (/ 1 1))
  (* b 1)
  (* b b)
  (* (cbrt b) (/ b a))
  (* (sqrt b) (/ b a))
  (* b (/ b a))
  (* b b)
  (log (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  (* (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))
  (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  (sqrt (* (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))) (cbrt (fabs (- 1 (/ (* b (/ b a)) a))))))
  (sqrt (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  (sqrt 1)
  (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))
  (/ 1 2)
  (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  (log (* (cbrt (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (cbrt (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))))
  (log (cbrt (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
  (log (sqrt (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
  (log (sqrt (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
  (log 1)
  (log (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))
  (log (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))
  (log (exp (* (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))))
  (log (exp (sqrt (* (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))) (cbrt (fabs (- 1 (/ (* b (/ b a)) a))))))))
  (log (exp (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
  (log (exp (sqrt 1)))
  (log (exp (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
  (log (exp 1))
  (log (log (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
  (exp (log (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
  (* (cbrt (log (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))) (cbrt (log (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))))
  (cbrt (log (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
  (* (* (log (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (log (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))) (log (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
  (sqrt (log (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
  (sqrt (log (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
  (/ (pow b 2) (pow a 2))
  (/ (pow b 2) (pow a 2))
  (/ (pow b 2) (pow a 2))
  (/ (pow b 2) a)
  (/ (pow b 2) a)
  (/ (pow b 2) a)
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
15.643 * * [simplify]: iteration  0 :  138  enodes  (cost  1148 )
15.666 * * [simplify]: iteration  1 :  311  enodes  (cost  1030 )
15.742 * * [simplify]: iteration  2 :  1372  enodes  (cost  898 )
16.213 * * [simplify]: iteration  done :  5000  enodes  (cost  898 )
16.213 * [simplify]: Simplified to:
   (log (/ (* b (/ b a)) a))
  (log (/ (* b (/ b a)) a))
  (log (/ (* b (/ b a)) a))
  (log (/ (* b (/ b a)) a))
  (exp (/ (* b (/ b a)) a))
  (pow (/ (pow b 2) (pow a 2)) 3)
  (pow (/ (pow b 2) (pow a 2)) 3)
  (pow (/ (pow b 2) (pow a 2)) 3)
  (* (cbrt (/ (* b (/ b a)) a)) (cbrt (/ (* b (/ b a)) a)))
  (cbrt (/ (* b (/ b a)) a))
  (pow (/ (pow b 2) (pow a 2)) 3)
  (fabs (/ b a))
  (fabs (/ b a))
  (- (* b (/ b a)))
  (- a)
  (/ b (* (cbrt a) (cbrt a)))
  (/ (/ b a) (cbrt a))
  (/ b (sqrt a))
  (/ (/ b a) (sqrt a))
  b
  (/ (/ b a) a)
  (/ 1 a)
  (/ (* a a) (* b b))
  (/ (* b (/ b a)) (* (cbrt a) (cbrt a)))
  (/ (* b (/ b a)) (sqrt a))
  (/ (pow b 2) a)
  (* (/ a b) a)
  (* a a)
  (/ (pow b 2) a)
  (log (/ (pow b 2) a))
  (log (/ (pow b 2) a))
  (log (/ (pow b 2) a))
  (exp (* b (/ b a)))
  (pow (/ (pow b 2) a) 3)
  (pow (/ (pow b 2) a) 3)
  (* (cbrt (* b (/ b a))) (cbrt (* b (/ b a))))
  (cbrt (* b (/ b a)))
  (pow (/ (pow b 2) a) 3)
  (sqrt (* b (/ b a)))
  (sqrt (* b (/ b a)))
  (* (sqrt b) (sqrt (/ b a)))
  (* (sqrt b) (sqrt (/ b a)))
  (/ b (sqrt a))
  (/ b (sqrt a))
  (* b (* (cbrt (/ b a)) (cbrt (/ b a))))
  (* b (sqrt (/ b a)))
  (* b (/ (* (cbrt b) (cbrt b)) (* (cbrt a) (cbrt a))))
  (* b (/ (* (cbrt b) (cbrt b)) (sqrt a)))
  (* (* (cbrt b) (cbrt b)) b)
  (* b (/ (sqrt b) (* (cbrt a) (cbrt a))))
  (* b (/ (sqrt b) (sqrt a)))
  (* b (sqrt b))
  (/ b (* (cbrt a) (cbrt a)))
  (/ b (sqrt a))
  b
  b
  (* b b)
  (* (cbrt b) (/ b a))
  (* (sqrt b) (/ b a))
  (/ (pow b 2) a)
  (* b b)
  (log (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  (* (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))
  (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  (pow (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 3)
  (fabs (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  (sqrt (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  1
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
  1/2
  (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  (* 2 (log (cbrt (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))))
  (log (cbrt (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
  (log (sqrt (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
  (log (sqrt (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))
  0
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
  (* (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))
  (fabs (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  1
  (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  1
  (log (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  (* (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))))
  (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  (pow (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 3)
  (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))
  (* (/ (/ b a) a) b)
  (* (/ (/ b a) a) b)
  (* (/ (/ b a) a) b)
  (/ (pow b 2) a)
  (/ (pow b 2) a)
  (/ (pow b 2) a)
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
16.214 * * * [progress]: adding candidates to table
16.451 * * [progress]: iteration 4 / 4
16.451 * * * [progress]: picking best candidate
16.453 * * * * [pick]: Picked  #<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>
16.453 * * * [progress]: localizing error
16.463 * * * [progress]: generating rewritten candidates
16.463 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 2)
16.470 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2)
16.475 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 2 1)
16.483 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 2 1)
16.493 * * * [progress]: generating series expansions
16.493 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 2)
16.494 * [approximate]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0
16.494 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a
16.494 * [taylor]: Taking taylor expansion of (pow b 2) in a
16.494 * [taylor]: Taking taylor expansion of b in a
16.494 * [taylor]: Taking taylor expansion of (pow a 2) in a
16.494 * [taylor]: Taking taylor expansion of a in a
16.494 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
16.494 * [taylor]: Taking taylor expansion of (pow b 2) in b
16.494 * [taylor]: Taking taylor expansion of b in b
16.494 * [taylor]: Taking taylor expansion of (pow a 2) in b
16.494 * [taylor]: Taking taylor expansion of a in b
16.495 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
16.495 * [taylor]: Taking taylor expansion of (pow b 2) in b
16.495 * [taylor]: Taking taylor expansion of b in b
16.495 * [taylor]: Taking taylor expansion of (pow a 2) in b
16.495 * [taylor]: Taking taylor expansion of a in b
16.495 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
16.495 * [taylor]: Taking taylor expansion of (pow a 2) in a
16.495 * [taylor]: Taking taylor expansion of a in a
16.497 * [taylor]: Taking taylor expansion of 0 in a
16.498 * [taylor]: Taking taylor expansion of 0 in a
16.501 * [taylor]: Taking taylor expansion of 0 in a
16.504 * [taylor]: Taking taylor expansion of 0 in a
16.504 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
16.504 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
16.504 * [taylor]: Taking taylor expansion of (pow a 2) in a
16.504 * [taylor]: Taking taylor expansion of a in a
16.504 * [taylor]: Taking taylor expansion of (pow b 2) in a
16.504 * [taylor]: Taking taylor expansion of b in a
16.504 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
16.504 * [taylor]: Taking taylor expansion of (pow a 2) in b
16.504 * [taylor]: Taking taylor expansion of a in b
16.504 * [taylor]: Taking taylor expansion of (pow b 2) in b
16.505 * [taylor]: Taking taylor expansion of b in b
16.505 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
16.505 * [taylor]: Taking taylor expansion of (pow a 2) in b
16.505 * [taylor]: Taking taylor expansion of a in b
16.505 * [taylor]: Taking taylor expansion of (pow b 2) in b
16.505 * [taylor]: Taking taylor expansion of b in b
16.505 * [taylor]: Taking taylor expansion of (pow a 2) in a
16.505 * [taylor]: Taking taylor expansion of a in a
16.507 * [taylor]: Taking taylor expansion of 0 in a
16.509 * [taylor]: Taking taylor expansion of 0 in a
16.511 * [taylor]: Taking taylor expansion of 0 in a
16.512 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
16.512 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
16.512 * [taylor]: Taking taylor expansion of (pow a 2) in a
16.512 * [taylor]: Taking taylor expansion of a in a
16.512 * [taylor]: Taking taylor expansion of (pow b 2) in a
16.512 * [taylor]: Taking taylor expansion of b in a
16.512 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
16.512 * [taylor]: Taking taylor expansion of (pow a 2) in b
16.512 * [taylor]: Taking taylor expansion of a in b
16.512 * [taylor]: Taking taylor expansion of (pow b 2) in b
16.512 * [taylor]: Taking taylor expansion of b in b
16.513 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
16.513 * [taylor]: Taking taylor expansion of (pow a 2) in b
16.513 * [taylor]: Taking taylor expansion of a in b
16.513 * [taylor]: Taking taylor expansion of (pow b 2) in b
16.513 * [taylor]: Taking taylor expansion of b in b
16.513 * [taylor]: Taking taylor expansion of (pow a 2) in a
16.513 * [taylor]: Taking taylor expansion of a in a
16.514 * [taylor]: Taking taylor expansion of 0 in a
16.516 * [taylor]: Taking taylor expansion of 0 in a
16.519 * [taylor]: Taking taylor expansion of 0 in a
16.519 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2)
16.519 * [approximate]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0
16.520 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a
16.520 * [taylor]: Taking taylor expansion of (pow b 2) in a
16.520 * [taylor]: Taking taylor expansion of b in a
16.520 * [taylor]: Taking taylor expansion of (pow a 2) in a
16.520 * [taylor]: Taking taylor expansion of a in a
16.520 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
16.520 * [taylor]: Taking taylor expansion of (pow b 2) in b
16.520 * [taylor]: Taking taylor expansion of b in b
16.520 * [taylor]: Taking taylor expansion of (pow a 2) in b
16.520 * [taylor]: Taking taylor expansion of a in b
16.520 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
16.520 * [taylor]: Taking taylor expansion of (pow b 2) in b
16.520 * [taylor]: Taking taylor expansion of b in b
16.520 * [taylor]: Taking taylor expansion of (pow a 2) in b
16.520 * [taylor]: Taking taylor expansion of a in b
16.521 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
16.521 * [taylor]: Taking taylor expansion of (pow a 2) in a
16.521 * [taylor]: Taking taylor expansion of a in a
16.522 * [taylor]: Taking taylor expansion of 0 in a
16.524 * [taylor]: Taking taylor expansion of 0 in a
16.526 * [taylor]: Taking taylor expansion of 0 in a
16.529 * [taylor]: Taking taylor expansion of 0 in a
16.529 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
16.529 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
16.529 * [taylor]: Taking taylor expansion of (pow a 2) in a
16.529 * [taylor]: Taking taylor expansion of a in a
16.529 * [taylor]: Taking taylor expansion of (pow b 2) in a
16.529 * [taylor]: Taking taylor expansion of b in a
16.529 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
16.529 * [taylor]: Taking taylor expansion of (pow a 2) in b
16.529 * [taylor]: Taking taylor expansion of a in b
16.530 * [taylor]: Taking taylor expansion of (pow b 2) in b
16.530 * [taylor]: Taking taylor expansion of b in b
16.530 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
16.530 * [taylor]: Taking taylor expansion of (pow a 2) in b
16.530 * [taylor]: Taking taylor expansion of a in b
16.530 * [taylor]: Taking taylor expansion of (pow b 2) in b
16.530 * [taylor]: Taking taylor expansion of b in b
16.530 * [taylor]: Taking taylor expansion of (pow a 2) in a
16.530 * [taylor]: Taking taylor expansion of a in a
16.532 * [taylor]: Taking taylor expansion of 0 in a
16.534 * [taylor]: Taking taylor expansion of 0 in a
16.537 * [taylor]: Taking taylor expansion of 0 in a
16.537 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
16.537 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
16.537 * [taylor]: Taking taylor expansion of (pow a 2) in a
16.537 * [taylor]: Taking taylor expansion of a in a
16.537 * [taylor]: Taking taylor expansion of (pow b 2) in a
16.537 * [taylor]: Taking taylor expansion of b in a
16.538 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
16.538 * [taylor]: Taking taylor expansion of (pow a 2) in b
16.538 * [taylor]: Taking taylor expansion of a in b
16.538 * [taylor]: Taking taylor expansion of (pow b 2) in b
16.538 * [taylor]: Taking taylor expansion of b in b
16.538 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
16.538 * [taylor]: Taking taylor expansion of (pow a 2) in b
16.538 * [taylor]: Taking taylor expansion of a in b
16.538 * [taylor]: Taking taylor expansion of (pow b 2) in b
16.538 * [taylor]: Taking taylor expansion of b in b
16.538 * [taylor]: Taking taylor expansion of (pow a 2) in a
16.538 * [taylor]: Taking taylor expansion of a in a
16.540 * [taylor]: Taking taylor expansion of 0 in a
16.542 * [taylor]: Taking taylor expansion of 0 in a
16.544 * [taylor]: Taking taylor expansion of 0 in a
16.545 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 2 1)
16.545 * [approximate]: Taking taylor expansion of (/ (pow b 2) a) in (b a) around 0
16.545 * [taylor]: Taking taylor expansion of (/ (pow b 2) a) in a
16.545 * [taylor]: Taking taylor expansion of (pow b 2) in a
16.545 * [taylor]: Taking taylor expansion of b in a
16.545 * [taylor]: Taking taylor expansion of a in a
16.545 * [taylor]: Taking taylor expansion of (/ (pow b 2) a) in b
16.545 * [taylor]: Taking taylor expansion of (pow b 2) in b
16.545 * [taylor]: Taking taylor expansion of b in b
16.545 * [taylor]: Taking taylor expansion of a in b
16.545 * [taylor]: Taking taylor expansion of (/ (pow b 2) a) in b
16.545 * [taylor]: Taking taylor expansion of (pow b 2) in b
16.545 * [taylor]: Taking taylor expansion of b in b
16.545 * [taylor]: Taking taylor expansion of a in b
16.546 * [taylor]: Taking taylor expansion of (/ 1 a) in a
16.546 * [taylor]: Taking taylor expansion of a in a
16.546 * [taylor]: Taking taylor expansion of 0 in a
16.547 * [taylor]: Taking taylor expansion of 0 in a
16.549 * [taylor]: Taking taylor expansion of 0 in a
16.549 * [approximate]: Taking taylor expansion of (/ a (pow b 2)) in (b a) around 0
16.549 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in a
16.549 * [taylor]: Taking taylor expansion of a in a
16.549 * [taylor]: Taking taylor expansion of (pow b 2) in a
16.549 * [taylor]: Taking taylor expansion of b in a
16.550 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in b
16.550 * [taylor]: Taking taylor expansion of a in b
16.550 * [taylor]: Taking taylor expansion of (pow b 2) in b
16.550 * [taylor]: Taking taylor expansion of b in b
16.550 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in b
16.550 * [taylor]: Taking taylor expansion of a in b
16.550 * [taylor]: Taking taylor expansion of (pow b 2) in b
16.550 * [taylor]: Taking taylor expansion of b in b
16.553 * [taylor]: Taking taylor expansion of a in a
16.554 * [taylor]: Taking taylor expansion of 0 in a
16.555 * [taylor]: Taking taylor expansion of 0 in a
16.557 * [taylor]: Taking taylor expansion of 0 in a
16.557 * [approximate]: Taking taylor expansion of (* -1 (/ a (pow b 2))) in (b a) around 0
16.557 * [taylor]: Taking taylor expansion of (* -1 (/ a (pow b 2))) in a
16.557 * [taylor]: Taking taylor expansion of -1 in a
16.557 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in a
16.557 * [taylor]: Taking taylor expansion of a in a
16.557 * [taylor]: Taking taylor expansion of (pow b 2) in a
16.558 * [taylor]: Taking taylor expansion of b in a
16.558 * [taylor]: Taking taylor expansion of (* -1 (/ a (pow b 2))) in b
16.558 * [taylor]: Taking taylor expansion of -1 in b
16.558 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in b
16.558 * [taylor]: Taking taylor expansion of a in b
16.558 * [taylor]: Taking taylor expansion of (pow b 2) in b
16.558 * [taylor]: Taking taylor expansion of b in b
16.558 * [taylor]: Taking taylor expansion of (* -1 (/ a (pow b 2))) in b
16.558 * [taylor]: Taking taylor expansion of -1 in b
16.558 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in b
16.558 * [taylor]: Taking taylor expansion of a in b
16.558 * [taylor]: Taking taylor expansion of (pow b 2) in b
16.558 * [taylor]: Taking taylor expansion of b in b
16.558 * [taylor]: Taking taylor expansion of (* -1 a) in a
16.558 * [taylor]: Taking taylor expansion of -1 in a
16.558 * [taylor]: Taking taylor expansion of a in a
16.560 * [taylor]: Taking taylor expansion of 0 in a
16.562 * [taylor]: Taking taylor expansion of 0 in a
16.565 * [taylor]: Taking taylor expansion of 0 in a
16.565 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 2 1)
16.565 * [approximate]: Taking taylor expansion of (/ (pow b 2) a) in (b a) around 0
16.565 * [taylor]: Taking taylor expansion of (/ (pow b 2) a) in a
16.565 * [taylor]: Taking taylor expansion of (pow b 2) in a
16.565 * [taylor]: Taking taylor expansion of b in a
16.566 * [taylor]: Taking taylor expansion of a in a
16.566 * [taylor]: Taking taylor expansion of (/ (pow b 2) a) in b
16.566 * [taylor]: Taking taylor expansion of (pow b 2) in b
16.566 * [taylor]: Taking taylor expansion of b in b
16.566 * [taylor]: Taking taylor expansion of a in b
16.566 * [taylor]: Taking taylor expansion of (/ (pow b 2) a) in b
16.566 * [taylor]: Taking taylor expansion of (pow b 2) in b
16.566 * [taylor]: Taking taylor expansion of b in b
16.566 * [taylor]: Taking taylor expansion of a in b
16.566 * [taylor]: Taking taylor expansion of (/ 1 a) in a
16.566 * [taylor]: Taking taylor expansion of a in a
16.567 * [taylor]: Taking taylor expansion of 0 in a
16.568 * [taylor]: Taking taylor expansion of 0 in a
16.569 * [taylor]: Taking taylor expansion of 0 in a
16.570 * [approximate]: Taking taylor expansion of (/ a (pow b 2)) in (b a) around 0
16.570 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in a
16.570 * [taylor]: Taking taylor expansion of a in a
16.570 * [taylor]: Taking taylor expansion of (pow b 2) in a
16.570 * [taylor]: Taking taylor expansion of b in a
16.570 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in b
16.570 * [taylor]: Taking taylor expansion of a in b
16.570 * [taylor]: Taking taylor expansion of (pow b 2) in b
16.570 * [taylor]: Taking taylor expansion of b in b
16.571 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in b
16.571 * [taylor]: Taking taylor expansion of a in b
16.571 * [taylor]: Taking taylor expansion of (pow b 2) in b
16.571 * [taylor]: Taking taylor expansion of b in b
16.571 * [taylor]: Taking taylor expansion of a in a
16.572 * [taylor]: Taking taylor expansion of 0 in a
16.573 * [taylor]: Taking taylor expansion of 0 in a
16.575 * [taylor]: Taking taylor expansion of 0 in a
16.575 * [approximate]: Taking taylor expansion of (* -1 (/ a (pow b 2))) in (b a) around 0
16.575 * [taylor]: Taking taylor expansion of (* -1 (/ a (pow b 2))) in a
16.575 * [taylor]: Taking taylor expansion of -1 in a
16.575 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in a
16.575 * [taylor]: Taking taylor expansion of a in a
16.575 * [taylor]: Taking taylor expansion of (pow b 2) in a
16.575 * [taylor]: Taking taylor expansion of b in a
16.575 * [taylor]: Taking taylor expansion of (* -1 (/ a (pow b 2))) in b
16.575 * [taylor]: Taking taylor expansion of -1 in b
16.575 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in b
16.575 * [taylor]: Taking taylor expansion of a in b
16.575 * [taylor]: Taking taylor expansion of (pow b 2) in b
16.575 * [taylor]: Taking taylor expansion of b in b
16.576 * [taylor]: Taking taylor expansion of (* -1 (/ a (pow b 2))) in b
16.576 * [taylor]: Taking taylor expansion of -1 in b
16.576 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in b
16.576 * [taylor]: Taking taylor expansion of a in b
16.576 * [taylor]: Taking taylor expansion of (pow b 2) in b
16.576 * [taylor]: Taking taylor expansion of b in b
16.576 * [taylor]: Taking taylor expansion of (* -1 a) in a
16.576 * [taylor]: Taking taylor expansion of -1 in a
16.576 * [taylor]: Taking taylor expansion of a in a
16.578 * [taylor]: Taking taylor expansion of 0 in a
16.580 * [taylor]: Taking taylor expansion of 0 in a
16.583 * [taylor]: Taking taylor expansion of 0 in a
16.583 * * * [progress]: simplifying candidates
16.585 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ (log b) (- (log b) (log a))) (log a))
  (- (+ (log b) (log (/ b a))) (log a))
  (- (log (* b (/ b a))) (log a))
  (log (/ (* b (/ b a)) a))
  (exp (/ (* b (/ b a)) a))
  (/ (* (* (* b b) b) (/ (* (* b b) b) (* (* a a) a))) (* (* a a) a))
  (/ (* (* (* b b) b) (* (* (/ b a) (/ b a)) (/ b a))) (* (* a a) a))
  (/ (* (* (* b (/ b a)) (* b (/ b a))) (* b (/ b a))) (* (* a a) a))
  (* (cbrt (/ (* b (/ b a)) a)) (cbrt (/ (* b (/ b a)) a)))
  (cbrt (/ (* b (/ b a)) a))
  (* (* (/ (* b (/ b a)) a) (/ (* b (/ b a)) a)) (/ (* b (/ b a)) a))
  (sqrt (/ (* b (/ b a)) a))
  (sqrt (/ (* b (/ b a)) a))
  (- (* b (/ b a)))
  (- a)
  (/ b (* (cbrt a) (cbrt a)))
  (/ (/ b a) (cbrt a))
  (/ b (sqrt a))
  (/ (/ b a) (sqrt a))
  (/ b 1)
  (/ (/ b a) a)
  (/ 1 a)
  (/ a (* b (/ b a)))
  (/ (* b (/ b a)) (* (cbrt a) (cbrt a)))
  (/ (* b (/ b a)) (sqrt a))
  (/ (* b (/ b a)) 1)
  (/ a (/ b a))
  (* a a)
  (- (+ (log b) (- (log b) (log a))) (log a))
  (- (+ (log b) (log (/ b a))) (log a))
  (- (log (* b (/ b a))) (log a))
  (log (/ (* b (/ b a)) a))
  (exp (/ (* b (/ b a)) a))
  (/ (* (* (* b b) b) (/ (* (* b b) b) (* (* a a) a))) (* (* a a) a))
  (/ (* (* (* b b) b) (* (* (/ b a) (/ b a)) (/ b a))) (* (* a a) a))
  (/ (* (* (* b (/ b a)) (* b (/ b a))) (* b (/ b a))) (* (* a a) a))
  (* (cbrt (/ (* b (/ b a)) a)) (cbrt (/ (* b (/ b a)) a)))
  (cbrt (/ (* b (/ b a)) a))
  (* (* (/ (* b (/ b a)) a) (/ (* b (/ b a)) a)) (/ (* b (/ b a)) a))
  (sqrt (/ (* b (/ b a)) a))
  (sqrt (/ (* b (/ b a)) a))
  (- (* b (/ b a)))
  (- a)
  (/ b (* (cbrt a) (cbrt a)))
  (/ (/ b a) (cbrt a))
  (/ b (sqrt a))
  (/ (/ b a) (sqrt a))
  (/ b 1)
  (/ (/ b a) a)
  (/ 1 a)
  (/ a (* b (/ b a)))
  (/ (* b (/ b a)) (* (cbrt a) (cbrt a)))
  (/ (* b (/ b a)) (sqrt a))
  (/ (* b (/ b a)) 1)
  (/ a (/ b a))
  (* a a)
  (* b (/ b a))
  (+ (log b) (- (log b) (log a)))
  (+ (log b) (log (/ b a)))
  (log (* b (/ b a)))
  (exp (* b (/ b a)))
  (* (* (* b b) b) (/ (* (* b b) b) (* (* a a) a)))
  (* (* (* b b) b) (* (* (/ b a) (/ b a)) (/ b a)))
  (* (cbrt (* b (/ b a))) (cbrt (* b (/ b a))))
  (cbrt (* b (/ b a)))
  (* (* (* b (/ b a)) (* b (/ b a))) (* b (/ b a)))
  (sqrt (* b (/ b a)))
  (sqrt (* b (/ b a)))
  (* (sqrt b) (sqrt (/ b a)))
  (* (sqrt b) (sqrt (/ b a)))
  (* (sqrt b) (/ (sqrt b) (sqrt a)))
  (* (sqrt b) (/ (sqrt b) (sqrt a)))
  (* b (* (cbrt (/ b a)) (cbrt (/ b a))))
  (* b (sqrt (/ b a)))
  (* b (/ (* (cbrt b) (cbrt b)) (* (cbrt a) (cbrt a))))
  (* b (/ (* (cbrt b) (cbrt b)) (sqrt a)))
  (* b (/ (* (cbrt b) (cbrt b)) 1))
  (* b (/ (sqrt b) (* (cbrt a) (cbrt a))))
  (* b (/ (sqrt b) (sqrt a)))
  (* b (/ (sqrt b) 1))
  (* b (/ 1 (* (cbrt a) (cbrt a))))
  (* b (/ 1 (sqrt a)))
  (* b (/ 1 1))
  (* b 1)
  (* b b)
  (* (cbrt b) (/ b a))
  (* (sqrt b) (/ b a))
  (* b (/ b a))
  (* b b)
  (* b (/ b a))
  (+ (log b) (- (log b) (log a)))
  (+ (log b) (log (/ b a)))
  (log (* b (/ b a)))
  (exp (* b (/ b a)))
  (* (* (* b b) b) (/ (* (* b b) b) (* (* a a) a)))
  (* (* (* b b) b) (* (* (/ b a) (/ b a)) (/ b a)))
  (* (cbrt (* b (/ b a))) (cbrt (* b (/ b a))))
  (cbrt (* b (/ b a)))
  (* (* (* b (/ b a)) (* b (/ b a))) (* b (/ b a)))
  (sqrt (* b (/ b a)))
  (sqrt (* b (/ b a)))
  (* (sqrt b) (sqrt (/ b a)))
  (* (sqrt b) (sqrt (/ b a)))
  (* (sqrt b) (/ (sqrt b) (sqrt a)))
  (* (sqrt b) (/ (sqrt b) (sqrt a)))
  (* b (* (cbrt (/ b a)) (cbrt (/ b a))))
  (* b (sqrt (/ b a)))
  (* b (/ (* (cbrt b) (cbrt b)) (* (cbrt a) (cbrt a))))
  (* b (/ (* (cbrt b) (cbrt b)) (sqrt a)))
  (* b (/ (* (cbrt b) (cbrt b)) 1))
  (* b (/ (sqrt b) (* (cbrt a) (cbrt a))))
  (* b (/ (sqrt b) (sqrt a)))
  (* b (/ (sqrt b) 1))
  (* b (/ 1 (* (cbrt a) (cbrt a))))
  (* b (/ 1 (sqrt a)))
  (* b (/ 1 1))
  (* b 1)
  (* b b)
  (* (cbrt b) (/ b a))
  (* (sqrt b) (/ b a))
  (* b (/ b a))
  (* b b)
  (/ (pow b 2) (pow a 2))
  (/ (pow b 2) (pow a 2))
  (/ (pow b 2) (pow a 2))
  (/ (pow b 2) (pow a 2))
  (/ (pow b 2) (pow a 2))
  (/ (pow b 2) (pow a 2))
  (/ (pow b 2) a)
  (/ (pow b 2) a)
  (/ (pow b 2) a)
  (/ (pow b 2) a)
  (/ (pow b 2) a)
  (/ (pow b 2) a)
16.588 * * [simplify]: iteration  0 :  94  enodes  (cost  1120 )
16.603 * * [simplify]: iteration  1 :  255  enodes  (cost  1066 )
16.672 * * [simplify]: iteration  2 :  1280  enodes  (cost  862 )
17.124 * * [simplify]: iteration  done :  5000  enodes  (cost  862 )
17.125 * [simplify]: Simplified to:
   (log (/ (* b (/ b a)) a))
  (log (/ (* b (/ b a)) a))
  (log (/ (* b (/ b a)) a))
  (log (/ (* b (/ b a)) a))
  (exp (/ (* b (/ b a)) a))
  (pow (/ (pow b 2) (pow a 2)) 3)
  (pow (/ (pow b 2) (pow a 2)) 3)
  (pow (/ (pow b 2) (pow a 2)) 3)
  (* (cbrt (/ (* b (/ b a)) a)) (cbrt (/ (* b (/ b a)) a)))
  (cbrt (/ (* b (/ b a)) a))
  (pow (/ (pow b 2) (pow a 2)) 3)
  (fabs (/ b a))
  (fabs (/ b a))
  (- (* b (/ b a)))
  (- a)
  (/ b (* (cbrt a) (cbrt a)))
  (/ (/ b a) (cbrt a))
  (/ b (sqrt a))
  (/ (/ b a) (sqrt a))
  b
  (/ (/ b a) a)
  (/ 1 a)
  (/ (* a a) (* b b))
  (/ (* b (/ b a)) (* (cbrt a) (cbrt a)))
  (/ (* b (/ b a)) (sqrt a))
  (/ (pow b 2) a)
  (/ a (/ b a))
  (* a a)
  (log (/ (* b (/ b a)) a))
  (log (/ (* b (/ b a)) a))
  (log (/ (* b (/ b a)) a))
  (log (/ (* b (/ b a)) a))
  (exp (/ (* b (/ b a)) a))
  (pow (/ (pow b 2) (pow a 2)) 3)
  (pow (/ (pow b 2) (pow a 2)) 3)
  (pow (/ (pow b 2) (pow a 2)) 3)
  (* (cbrt (/ (* b (/ b a)) a)) (cbrt (/ (* b (/ b a)) a)))
  (cbrt (/ (* b (/ b a)) a))
  (pow (/ (pow b 2) (pow a 2)) 3)
  (fabs (/ b a))
  (fabs (/ b a))
  (- (* b (/ b a)))
  (- a)
  (/ b (* (cbrt a) (cbrt a)))
  (/ (/ b a) (cbrt a))
  (/ b (sqrt a))
  (/ (/ b a) (sqrt a))
  b
  (/ (/ b a) a)
  (/ 1 a)
  (/ (* a a) (* b b))
  (/ (* b (/ b a)) (* (cbrt a) (cbrt a)))
  (/ (* b (/ b a)) (sqrt a))
  (/ (pow b 2) a)
  (/ a (/ b a))
  (* a a)
  (/ (pow b 2) a)
  (log (* b (/ b a)))
  (log (* b (/ b a)))
  (log (* b (/ b a)))
  (exp (* b (/ b a)))
  (pow (/ (pow b 2) a) 3)
  (pow (/ (pow b 2) a) 3)
  (* (cbrt (* b (/ b a))) (cbrt (* b (/ b a))))
  (cbrt (* b (/ b a)))
  (pow (/ (pow b 2) a) 3)
  (sqrt (* b (/ b a)))
  (sqrt (* b (/ b a)))
  (* (sqrt b) (sqrt (/ b a)))
  (* (sqrt b) (sqrt (/ b a)))
  (/ b (sqrt a))
  (/ b (sqrt a))
  (* b (* (cbrt (/ b a)) (cbrt (/ b a))))
  (* b (sqrt (/ b a)))
  (* b (/ (* (cbrt b) (cbrt b)) (* (cbrt a) (cbrt a))))
  (* b (/ (* (cbrt b) (cbrt b)) (sqrt a)))
  (* (* (cbrt b) (cbrt b)) b)
  (* b (/ (sqrt b) (* (cbrt a) (cbrt a))))
  (* b (/ (sqrt b) (sqrt a)))
  (* b (sqrt b))
  (/ b (* (cbrt a) (cbrt a)))
  (/ b (sqrt a))
  b
  b
  (* b b)
  (* (cbrt b) (/ b a))
  (* (sqrt b) (/ b a))
  (/ (pow b 2) a)
  (* b b)
  (/ (pow b 2) a)
  (log (* b (/ b a)))
  (log (* b (/ b a)))
  (log (* b (/ b a)))
  (exp (* b (/ b a)))
  (pow (/ (pow b 2) a) 3)
  (pow (/ (pow b 2) a) 3)
  (* (cbrt (* b (/ b a))) (cbrt (* b (/ b a))))
  (cbrt (* b (/ b a)))
  (pow (/ (pow b 2) a) 3)
  (sqrt (* b (/ b a)))
  (sqrt (* b (/ b a)))
  (* (sqrt b) (sqrt (/ b a)))
  (* (sqrt b) (sqrt (/ b a)))
  (/ b (sqrt a))
  (/ b (sqrt a))
  (* b (* (cbrt (/ b a)) (cbrt (/ b a))))
  (* b (sqrt (/ b a)))
  (* b (/ (* (cbrt b) (cbrt b)) (* (cbrt a) (cbrt a))))
  (* b (/ (* (cbrt b) (cbrt b)) (sqrt a)))
  (* (* (cbrt b) (cbrt b)) b)
  (* b (/ (sqrt b) (* (cbrt a) (cbrt a))))
  (* b (/ (sqrt b) (sqrt a)))
  (* b (sqrt b))
  (/ b (* (cbrt a) (cbrt a)))
  (/ b (sqrt a))
  b
  b
  (* b b)
  (* (cbrt b) (/ b a))
  (* (sqrt b) (/ b a))
  (/ (pow b 2) a)
  (* b b)
  (/ b (/ a (/ b a)))
  (/ b (/ a (/ b a)))
  (/ b (/ a (/ b a)))
  (/ b (/ a (/ b a)))
  (/ b (/ a (/ b a)))
  (/ b (/ a (/ b a)))
  (/ (pow b 2) a)
  (/ (pow b 2) a)
  (/ (pow b 2) a)
  (/ (pow b 2) a)
  (/ (pow b 2) a)
  (/ (pow b 2) a)
17.126 * * * [progress]: adding candidates to table
17.514 * [progress]: [Phase 3 of 3] Extracting.
17.514 * * [regime]: Finding splitpoints for: (#<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))> #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))> #<alt (λ (a b) (log (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>)
17.515 * * * [regime-changes]: Trying 2 branch expressions: (b a)
17.515 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))> #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))> #<alt (λ (a b) (log (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>)
17.529 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b) (* (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))> #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))> #<alt (λ (a b) (log (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))))>)
17.546 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
17.546 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))
17.547 * * [simplify]: iteration  0 :  9  enodes  (cost  11 )
17.547 * * [simplify]: iteration  1 :  12  enodes  (cost  11 )
17.547 * * [simplify]: iteration  done :  12  enodes  (cost  11 )
17.547 * [simplify]: Simplified to:
   (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))
18.329 * [regime-testing]: Baseline error score: 0.011001375171896487
18.330 * [regime-testing]: Oracle error score: 0.006916105525051551
18.331 * [regime-testing]: End program error score: 0.011001375171896487