15.048 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.580 * * * [progress]: [2/2] Setting up program.
0.584 * [progress]: [Phase 2 of 3] Improving.
0.584 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (- (* b c) (* a d)) (+ (* c c) (* d d)))
0.590 * * [simplify]: iteration  0 :  19  enodes  (cost  7 )
0.591 * * [simplify]: iteration  1 :  36  enodes  (cost  7 )
0.593 * * [simplify]: iteration  2 :  48  enodes  (cost  7 )
0.594 * * [simplify]: iteration  3 :  66  enodes  (cost  7 )
0.596 * * [simplify]: iteration  4 :  72  enodes  (cost  7 )
0.598 * * [simplify]: iteration  5 :  72  enodes  (cost  7 )
0.598 * [simplify]: Simplified to:
   (/ (- (* b c) (* a d)) (+ (* c c) (* d d)))
0.599 * * [progress]: iteration 1 / 4
0.599 * * * [progress]: picking best candidate
0.602 * * * * [pick]: Picked  #<alt (λ (a b c d) (/ (- (* b c) (* a d)) (+ (* c c) (* d d))))>
0.602 * * * [progress]: localizing error
0.614 * * * [progress]: generating rewritten candidates
0.614 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.623 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
0.626 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
0.632 * * * [progress]: generating series expansions
0.632 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.632 * [approximate]: Taking taylor expansion of (/ (- (* b c) (* d a)) (+ (pow d 2) (pow c 2))) in (b c a d) around 0
0.633 * [taylor]: Taking taylor expansion of (/ (- (* b c) (* d a)) (+ (pow d 2) (pow c 2))) in d
0.633 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in d
0.633 * [taylor]: Taking taylor expansion of (* b c) in d
0.633 * [taylor]: Taking taylor expansion of b in d
0.633 * [taylor]: Taking taylor expansion of c in d
0.633 * [taylor]: Taking taylor expansion of (* d a) in d
0.633 * [taylor]: Taking taylor expansion of d in d
0.633 * [taylor]: Taking taylor expansion of a in d
0.633 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in d
0.633 * [taylor]: Taking taylor expansion of (pow d 2) in d
0.633 * [taylor]: Taking taylor expansion of d in d
0.633 * [taylor]: Taking taylor expansion of (pow c 2) in d
0.633 * [taylor]: Taking taylor expansion of c in d
0.633 * [taylor]: Taking taylor expansion of (/ (- (* b c) (* d a)) (+ (pow d 2) (pow c 2))) in a
0.633 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in a
0.633 * [taylor]: Taking taylor expansion of (* b c) in a
0.633 * [taylor]: Taking taylor expansion of b in a
0.633 * [taylor]: Taking taylor expansion of c in a
0.633 * [taylor]: Taking taylor expansion of (* d a) in a
0.633 * [taylor]: Taking taylor expansion of d in a
0.633 * [taylor]: Taking taylor expansion of a in a
0.633 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in a
0.633 * [taylor]: Taking taylor expansion of (pow d 2) in a
0.633 * [taylor]: Taking taylor expansion of d in a
0.633 * [taylor]: Taking taylor expansion of (pow c 2) in a
0.633 * [taylor]: Taking taylor expansion of c in a
0.634 * [taylor]: Taking taylor expansion of (/ (- (* b c) (* d a)) (+ (pow d 2) (pow c 2))) in c
0.634 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in c
0.634 * [taylor]: Taking taylor expansion of (* b c) in c
0.634 * [taylor]: Taking taylor expansion of b in c
0.634 * [taylor]: Taking taylor expansion of c in c
0.634 * [taylor]: Taking taylor expansion of (* d a) in c
0.634 * [taylor]: Taking taylor expansion of d in c
0.634 * [taylor]: Taking taylor expansion of a in c
0.634 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
0.634 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.634 * [taylor]: Taking taylor expansion of d in c
0.634 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.634 * [taylor]: Taking taylor expansion of c in c
0.634 * [taylor]: Taking taylor expansion of (/ (- (* b c) (* d a)) (+ (pow d 2) (pow c 2))) in b
0.634 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
0.634 * [taylor]: Taking taylor expansion of (* b c) in b
0.634 * [taylor]: Taking taylor expansion of b in b
0.634 * [taylor]: Taking taylor expansion of c in b
0.634 * [taylor]: Taking taylor expansion of (* d a) in b
0.634 * [taylor]: Taking taylor expansion of d in b
0.634 * [taylor]: Taking taylor expansion of a in b
0.634 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in b
0.634 * [taylor]: Taking taylor expansion of (pow d 2) in b
0.634 * [taylor]: Taking taylor expansion of d in b
0.635 * [taylor]: Taking taylor expansion of (pow c 2) in b
0.635 * [taylor]: Taking taylor expansion of c in b
0.635 * [taylor]: Taking taylor expansion of (/ (- (* b c) (* d a)) (+ (pow d 2) (pow c 2))) in b
0.635 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
0.635 * [taylor]: Taking taylor expansion of (* b c) in b
0.635 * [taylor]: Taking taylor expansion of b in b
0.635 * [taylor]: Taking taylor expansion of c in b
0.635 * [taylor]: Taking taylor expansion of (* d a) in b
0.635 * [taylor]: Taking taylor expansion of d in b
0.635 * [taylor]: Taking taylor expansion of a in b
0.635 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in b
0.635 * [taylor]: Taking taylor expansion of (pow d 2) in b
0.635 * [taylor]: Taking taylor expansion of d in b
0.635 * [taylor]: Taking taylor expansion of (pow c 2) in b
0.635 * [taylor]: Taking taylor expansion of c in b
0.636 * [taylor]: Taking taylor expansion of (* -1 (/ (* d a) (+ (pow d 2) (pow c 2)))) in c
0.636 * [taylor]: Taking taylor expansion of -1 in c
0.636 * [taylor]: Taking taylor expansion of (/ (* d a) (+ (pow d 2) (pow c 2))) in c
0.636 * [taylor]: Taking taylor expansion of (* d a) in c
0.636 * [taylor]: Taking taylor expansion of d in c
0.636 * [taylor]: Taking taylor expansion of a in c
0.636 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
0.636 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.636 * [taylor]: Taking taylor expansion of d in c
0.636 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.636 * [taylor]: Taking taylor expansion of c in c
0.637 * [taylor]: Taking taylor expansion of (* -1 (/ a d)) in a
0.637 * [taylor]: Taking taylor expansion of -1 in a
0.637 * [taylor]: Taking taylor expansion of (/ a d) in a
0.637 * [taylor]: Taking taylor expansion of a in a
0.637 * [taylor]: Taking taylor expansion of d in a
0.637 * [taylor]: Taking taylor expansion of (/ c (+ (pow d 2) (pow c 2))) in c
0.637 * [taylor]: Taking taylor expansion of c in c
0.637 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
0.637 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.637 * [taylor]: Taking taylor expansion of d in c
0.637 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.637 * [taylor]: Taking taylor expansion of c in c
0.638 * [taylor]: Taking taylor expansion of 0 in a
0.638 * [taylor]: Taking taylor expansion of 0 in d
0.638 * [taylor]: Taking taylor expansion of (/ -1 d) in d
0.638 * [taylor]: Taking taylor expansion of -1 in d
0.638 * [taylor]: Taking taylor expansion of d in d
0.639 * [taylor]: Taking taylor expansion of 0 in c
0.639 * [taylor]: Taking taylor expansion of 0 in a
0.639 * [taylor]: Taking taylor expansion of 0 in d
0.639 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
0.639 * [taylor]: Taking taylor expansion of (pow d 2) in a
0.639 * [taylor]: Taking taylor expansion of d in a
0.639 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
0.639 * [taylor]: Taking taylor expansion of (pow d 2) in d
0.639 * [taylor]: Taking taylor expansion of d in d
0.640 * [taylor]: Taking taylor expansion of (/ a (pow d 3)) in a
0.640 * [taylor]: Taking taylor expansion of a in a
0.640 * [taylor]: Taking taylor expansion of (pow d 3) in a
0.640 * [taylor]: Taking taylor expansion of d in a
0.640 * [taylor]: Taking taylor expansion of 0 in d
0.640 * [taylor]: Taking taylor expansion of 0 in d
0.640 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* b c)) (/ 1 (* d a))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (b c a d) around 0
0.640 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* b c)) (/ 1 (* d a))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
0.640 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
0.640 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
0.640 * [taylor]: Taking taylor expansion of (* b c) in d
0.640 * [taylor]: Taking taylor expansion of b in d
0.640 * [taylor]: Taking taylor expansion of c in d
0.640 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
0.640 * [taylor]: Taking taylor expansion of (* d a) in d
0.640 * [taylor]: Taking taylor expansion of d in d
0.640 * [taylor]: Taking taylor expansion of a in d
0.640 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
0.641 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
0.641 * [taylor]: Taking taylor expansion of (pow c 2) in d
0.641 * [taylor]: Taking taylor expansion of c in d
0.641 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
0.641 * [taylor]: Taking taylor expansion of (pow d 2) in d
0.641 * [taylor]: Taking taylor expansion of d in d
0.641 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* b c)) (/ 1 (* d a))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in a
0.641 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
0.641 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
0.641 * [taylor]: Taking taylor expansion of (* b c) in a
0.641 * [taylor]: Taking taylor expansion of b in a
0.641 * [taylor]: Taking taylor expansion of c in a
0.641 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
0.641 * [taylor]: Taking taylor expansion of (* d a) in a
0.641 * [taylor]: Taking taylor expansion of d in a
0.641 * [taylor]: Taking taylor expansion of a in a
0.641 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in a
0.641 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in a
0.641 * [taylor]: Taking taylor expansion of (pow c 2) in a
0.641 * [taylor]: Taking taylor expansion of c in a
0.641 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
0.641 * [taylor]: Taking taylor expansion of (pow d 2) in a
0.641 * [taylor]: Taking taylor expansion of d in a
0.642 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* b c)) (/ 1 (* d a))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
0.642 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
0.642 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
0.642 * [taylor]: Taking taylor expansion of (* b c) in c
0.642 * [taylor]: Taking taylor expansion of b in c
0.642 * [taylor]: Taking taylor expansion of c in c
0.642 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
0.642 * [taylor]: Taking taylor expansion of (* d a) in c
0.642 * [taylor]: Taking taylor expansion of d in c
0.642 * [taylor]: Taking taylor expansion of a in c
0.642 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
0.642 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
0.642 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.642 * [taylor]: Taking taylor expansion of c in c
0.642 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
0.642 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.642 * [taylor]: Taking taylor expansion of d in c
0.642 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* b c)) (/ 1 (* d a))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
0.642 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
0.642 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
0.642 * [taylor]: Taking taylor expansion of (* b c) in b
0.642 * [taylor]: Taking taylor expansion of b in b
0.642 * [taylor]: Taking taylor expansion of c in b
0.642 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
0.642 * [taylor]: Taking taylor expansion of (* d a) in b
0.643 * [taylor]: Taking taylor expansion of d in b
0.643 * [taylor]: Taking taylor expansion of a in b
0.643 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
0.643 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
0.643 * [taylor]: Taking taylor expansion of (pow c 2) in b
0.643 * [taylor]: Taking taylor expansion of c in b
0.643 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
0.643 * [taylor]: Taking taylor expansion of (pow d 2) in b
0.643 * [taylor]: Taking taylor expansion of d in b
0.643 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* b c)) (/ 1 (* d a))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
0.643 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
0.643 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
0.643 * [taylor]: Taking taylor expansion of (* b c) in b
0.643 * [taylor]: Taking taylor expansion of b in b
0.643 * [taylor]: Taking taylor expansion of c in b
0.643 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
0.643 * [taylor]: Taking taylor expansion of (* d a) in b
0.643 * [taylor]: Taking taylor expansion of d in b
0.643 * [taylor]: Taking taylor expansion of a in b
0.643 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
0.643 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
0.643 * [taylor]: Taking taylor expansion of (pow c 2) in b
0.644 * [taylor]: Taking taylor expansion of c in b
0.644 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
0.644 * [taylor]: Taking taylor expansion of (pow d 2) in b
0.644 * [taylor]: Taking taylor expansion of d in b
0.644 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) c)) in c
0.644 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) c) in c
0.644 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
0.644 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
0.644 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.644 * [taylor]: Taking taylor expansion of c in c
0.644 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
0.644 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.644 * [taylor]: Taking taylor expansion of d in c
0.644 * [taylor]: Taking taylor expansion of c in c
0.644 * [taylor]: Taking taylor expansion of 1 in a
0.645 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d (* a (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))))) in c
0.645 * [taylor]: Taking taylor expansion of (/ 1 (* d (* a (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in c
0.646 * [taylor]: Taking taylor expansion of (* d (* a (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
0.646 * [taylor]: Taking taylor expansion of d in c
0.646 * [taylor]: Taking taylor expansion of (* a (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
0.646 * [taylor]: Taking taylor expansion of a in c
0.646 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
0.646 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
0.646 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.646 * [taylor]: Taking taylor expansion of c in c
0.646 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
0.646 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.646 * [taylor]: Taking taylor expansion of d in c
0.646 * [taylor]: Taking taylor expansion of 0 in a
0.646 * [taylor]: Taking taylor expansion of 1 in d
0.648 * [taylor]: Taking taylor expansion of 0 in c
0.648 * [taylor]: Taking taylor expansion of 0 in a
0.648 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in a
0.648 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
0.648 * [taylor]: Taking taylor expansion of (* d a) in a
0.648 * [taylor]: Taking taylor expansion of d in a
0.648 * [taylor]: Taking taylor expansion of a in a
0.648 * [taylor]: Taking taylor expansion of (neg (/ 1 d)) in d
0.648 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.648 * [taylor]: Taking taylor expansion of d in d
0.649 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow d 2))) in a
0.649 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
0.649 * [taylor]: Taking taylor expansion of (pow d 2) in a
0.649 * [taylor]: Taking taylor expansion of d in a
0.649 * [taylor]: Taking taylor expansion of 0 in d
0.649 * [taylor]: Taking taylor expansion of 0 in d
0.651 * [taylor]: Taking taylor expansion of 0 in c
0.651 * [taylor]: Taking taylor expansion of 0 in a
0.651 * [taylor]: Taking taylor expansion of 0 in a
0.651 * [taylor]: Taking taylor expansion of 0 in a
0.652 * [taylor]: Taking taylor expansion of 0 in a
0.652 * [taylor]: Taking taylor expansion of 0 in d
0.652 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* b c)) (/ 1 (* d a))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (b c a d) around 0
0.652 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* b c)) (/ 1 (* d a))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
0.652 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
0.652 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
0.652 * [taylor]: Taking taylor expansion of (* b c) in d
0.652 * [taylor]: Taking taylor expansion of b in d
0.652 * [taylor]: Taking taylor expansion of c in d
0.652 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
0.652 * [taylor]: Taking taylor expansion of (* d a) in d
0.652 * [taylor]: Taking taylor expansion of d in d
0.652 * [taylor]: Taking taylor expansion of a in d
0.652 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
0.652 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
0.652 * [taylor]: Taking taylor expansion of (pow c 2) in d
0.652 * [taylor]: Taking taylor expansion of c in d
0.652 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
0.652 * [taylor]: Taking taylor expansion of (pow d 2) in d
0.652 * [taylor]: Taking taylor expansion of d in d
0.653 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* b c)) (/ 1 (* d a))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in a
0.653 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
0.653 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
0.653 * [taylor]: Taking taylor expansion of (* b c) in a
0.653 * [taylor]: Taking taylor expansion of b in a
0.653 * [taylor]: Taking taylor expansion of c in a
0.653 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
0.653 * [taylor]: Taking taylor expansion of (* d a) in a
0.653 * [taylor]: Taking taylor expansion of d in a
0.653 * [taylor]: Taking taylor expansion of a in a
0.653 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in a
0.653 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in a
0.653 * [taylor]: Taking taylor expansion of (pow c 2) in a
0.653 * [taylor]: Taking taylor expansion of c in a
0.653 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
0.653 * [taylor]: Taking taylor expansion of (pow d 2) in a
0.653 * [taylor]: Taking taylor expansion of d in a
0.654 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* b c)) (/ 1 (* d a))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
0.654 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
0.654 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
0.654 * [taylor]: Taking taylor expansion of (* b c) in c
0.654 * [taylor]: Taking taylor expansion of b in c
0.654 * [taylor]: Taking taylor expansion of c in c
0.654 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
0.654 * [taylor]: Taking taylor expansion of (* d a) in c
0.654 * [taylor]: Taking taylor expansion of d in c
0.654 * [taylor]: Taking taylor expansion of a in c
0.654 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
0.654 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
0.654 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.654 * [taylor]: Taking taylor expansion of c in c
0.654 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
0.654 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.654 * [taylor]: Taking taylor expansion of d in c
0.654 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* b c)) (/ 1 (* d a))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
0.654 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
0.654 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
0.654 * [taylor]: Taking taylor expansion of (* b c) in b
0.654 * [taylor]: Taking taylor expansion of b in b
0.654 * [taylor]: Taking taylor expansion of c in b
0.654 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
0.654 * [taylor]: Taking taylor expansion of (* d a) in b
0.654 * [taylor]: Taking taylor expansion of d in b
0.654 * [taylor]: Taking taylor expansion of a in b
0.654 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
0.654 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
0.654 * [taylor]: Taking taylor expansion of (pow c 2) in b
0.654 * [taylor]: Taking taylor expansion of c in b
0.655 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
0.655 * [taylor]: Taking taylor expansion of (pow d 2) in b
0.655 * [taylor]: Taking taylor expansion of d in b
0.655 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* b c)) (/ 1 (* d a))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
0.655 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
0.655 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
0.655 * [taylor]: Taking taylor expansion of (* b c) in b
0.655 * [taylor]: Taking taylor expansion of b in b
0.655 * [taylor]: Taking taylor expansion of c in b
0.655 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
0.655 * [taylor]: Taking taylor expansion of (* d a) in b
0.655 * [taylor]: Taking taylor expansion of d in b
0.655 * [taylor]: Taking taylor expansion of a in b
0.655 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
0.655 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
0.655 * [taylor]: Taking taylor expansion of (pow c 2) in b
0.655 * [taylor]: Taking taylor expansion of c in b
0.655 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
0.655 * [taylor]: Taking taylor expansion of (pow d 2) in b
0.655 * [taylor]: Taking taylor expansion of d in b
0.656 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) c)) in c
0.656 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) c) in c
0.656 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
0.656 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
0.656 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.656 * [taylor]: Taking taylor expansion of c in c
0.656 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
0.656 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.656 * [taylor]: Taking taylor expansion of d in c
0.656 * [taylor]: Taking taylor expansion of c in c
0.656 * [taylor]: Taking taylor expansion of 1 in a
0.657 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d (* a (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))))) in c
0.657 * [taylor]: Taking taylor expansion of (/ 1 (* d (* a (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in c
0.657 * [taylor]: Taking taylor expansion of (* d (* a (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
0.657 * [taylor]: Taking taylor expansion of d in c
0.657 * [taylor]: Taking taylor expansion of (* a (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
0.657 * [taylor]: Taking taylor expansion of a in c
0.657 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
0.657 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
0.657 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.657 * [taylor]: Taking taylor expansion of c in c
0.657 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
0.657 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.658 * [taylor]: Taking taylor expansion of d in c
0.658 * [taylor]: Taking taylor expansion of 0 in a
0.658 * [taylor]: Taking taylor expansion of 1 in d
0.659 * [taylor]: Taking taylor expansion of 0 in c
0.659 * [taylor]: Taking taylor expansion of 0 in a
0.659 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in a
0.659 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
0.660 * [taylor]: Taking taylor expansion of (* d a) in a
0.660 * [taylor]: Taking taylor expansion of d in a
0.660 * [taylor]: Taking taylor expansion of a in a
0.660 * [taylor]: Taking taylor expansion of (neg (/ 1 d)) in d
0.660 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.660 * [taylor]: Taking taylor expansion of d in d
0.660 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow d 2))) in a
0.660 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
0.660 * [taylor]: Taking taylor expansion of (pow d 2) in a
0.660 * [taylor]: Taking taylor expansion of d in a
0.660 * [taylor]: Taking taylor expansion of 0 in d
0.661 * [taylor]: Taking taylor expansion of 0 in d
0.662 * [taylor]: Taking taylor expansion of 0 in c
0.662 * [taylor]: Taking taylor expansion of 0 in a
0.662 * [taylor]: Taking taylor expansion of 0 in a
0.663 * [taylor]: Taking taylor expansion of 0 in a
0.663 * [taylor]: Taking taylor expansion of 0 in a
0.663 * [taylor]: Taking taylor expansion of 0 in d
0.663 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
0.663 * [approximate]: Taking taylor expansion of (- (* b c) (* d a)) in (b c a d) around 0
0.663 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in d
0.664 * [taylor]: Taking taylor expansion of (* b c) in d
0.664 * [taylor]: Taking taylor expansion of b in d
0.664 * [taylor]: Taking taylor expansion of c in d
0.664 * [taylor]: Taking taylor expansion of (* d a) in d
0.664 * [taylor]: Taking taylor expansion of d in d
0.664 * [taylor]: Taking taylor expansion of a in d
0.664 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in a
0.664 * [taylor]: Taking taylor expansion of (* b c) in a
0.664 * [taylor]: Taking taylor expansion of b in a
0.664 * [taylor]: Taking taylor expansion of c in a
0.664 * [taylor]: Taking taylor expansion of (* d a) in a
0.664 * [taylor]: Taking taylor expansion of d in a
0.664 * [taylor]: Taking taylor expansion of a in a
0.664 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in c
0.664 * [taylor]: Taking taylor expansion of (* b c) in c
0.664 * [taylor]: Taking taylor expansion of b in c
0.664 * [taylor]: Taking taylor expansion of c in c
0.664 * [taylor]: Taking taylor expansion of (* d a) in c
0.664 * [taylor]: Taking taylor expansion of d in c
0.664 * [taylor]: Taking taylor expansion of a in c
0.664 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
0.664 * [taylor]: Taking taylor expansion of (* b c) in b
0.664 * [taylor]: Taking taylor expansion of b in b
0.664 * [taylor]: Taking taylor expansion of c in b
0.664 * [taylor]: Taking taylor expansion of (* d a) in b
0.664 * [taylor]: Taking taylor expansion of d in b
0.664 * [taylor]: Taking taylor expansion of a in b
0.664 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
0.664 * [taylor]: Taking taylor expansion of (* b c) in b
0.664 * [taylor]: Taking taylor expansion of b in b
0.664 * [taylor]: Taking taylor expansion of c in b
0.664 * [taylor]: Taking taylor expansion of (* d a) in b
0.664 * [taylor]: Taking taylor expansion of d in b
0.664 * [taylor]: Taking taylor expansion of a in b
0.664 * [taylor]: Taking taylor expansion of (neg (* d a)) in c
0.664 * [taylor]: Taking taylor expansion of (* d a) in c
0.664 * [taylor]: Taking taylor expansion of d in c
0.664 * [taylor]: Taking taylor expansion of a in c
0.664 * [taylor]: Taking taylor expansion of (neg (* d a)) in a
0.664 * [taylor]: Taking taylor expansion of (* d a) in a
0.664 * [taylor]: Taking taylor expansion of d in a
0.664 * [taylor]: Taking taylor expansion of a in a
0.664 * [taylor]: Taking taylor expansion of 0 in d
0.665 * [taylor]: Taking taylor expansion of c in c
0.665 * [taylor]: Taking taylor expansion of 0 in a
0.665 * [taylor]: Taking taylor expansion of 0 in d
0.665 * [taylor]: Taking taylor expansion of 0 in a
0.665 * [taylor]: Taking taylor expansion of 0 in d
0.665 * [taylor]: Taking taylor expansion of (neg d) in d
0.665 * [taylor]: Taking taylor expansion of d in d
0.665 * [taylor]: Taking taylor expansion of 0 in c
0.665 * [taylor]: Taking taylor expansion of 0 in a
0.665 * [taylor]: Taking taylor expansion of 0 in d
0.665 * [approximate]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in (b c a d) around 0
0.665 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
0.665 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
0.665 * [taylor]: Taking taylor expansion of (* b c) in d
0.665 * [taylor]: Taking taylor expansion of b in d
0.665 * [taylor]: Taking taylor expansion of c in d
0.665 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
0.665 * [taylor]: Taking taylor expansion of (* d a) in d
0.665 * [taylor]: Taking taylor expansion of d in d
0.665 * [taylor]: Taking taylor expansion of a in d
0.665 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
0.665 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
0.665 * [taylor]: Taking taylor expansion of (* b c) in a
0.665 * [taylor]: Taking taylor expansion of b in a
0.665 * [taylor]: Taking taylor expansion of c in a
0.666 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
0.666 * [taylor]: Taking taylor expansion of (* d a) in a
0.666 * [taylor]: Taking taylor expansion of d in a
0.666 * [taylor]: Taking taylor expansion of a in a
0.666 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
0.666 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
0.666 * [taylor]: Taking taylor expansion of (* b c) in c
0.666 * [taylor]: Taking taylor expansion of b in c
0.666 * [taylor]: Taking taylor expansion of c in c
0.666 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
0.666 * [taylor]: Taking taylor expansion of (* d a) in c
0.666 * [taylor]: Taking taylor expansion of d in c
0.666 * [taylor]: Taking taylor expansion of a in c
0.666 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
0.666 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
0.666 * [taylor]: Taking taylor expansion of (* b c) in b
0.666 * [taylor]: Taking taylor expansion of b in b
0.666 * [taylor]: Taking taylor expansion of c in b
0.666 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
0.666 * [taylor]: Taking taylor expansion of (* d a) in b
0.666 * [taylor]: Taking taylor expansion of d in b
0.666 * [taylor]: Taking taylor expansion of a in b
0.666 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
0.666 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
0.666 * [taylor]: Taking taylor expansion of (* b c) in b
0.666 * [taylor]: Taking taylor expansion of b in b
0.666 * [taylor]: Taking taylor expansion of c in b
0.666 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
0.666 * [taylor]: Taking taylor expansion of (* d a) in b
0.666 * [taylor]: Taking taylor expansion of d in b
0.666 * [taylor]: Taking taylor expansion of a in b
0.666 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.667 * [taylor]: Taking taylor expansion of c in c
0.667 * [taylor]: Taking taylor expansion of 1 in a
0.667 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in c
0.667 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
0.667 * [taylor]: Taking taylor expansion of (* d a) in c
0.667 * [taylor]: Taking taylor expansion of d in c
0.667 * [taylor]: Taking taylor expansion of a in c
0.667 * [taylor]: Taking taylor expansion of 0 in a
0.667 * [taylor]: Taking taylor expansion of 1 in d
0.667 * [taylor]: Taking taylor expansion of 0 in c
0.667 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in a
0.667 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
0.667 * [taylor]: Taking taylor expansion of (* d a) in a
0.667 * [taylor]: Taking taylor expansion of d in a
0.667 * [taylor]: Taking taylor expansion of a in a
0.667 * [taylor]: Taking taylor expansion of (neg (/ 1 d)) in d
0.667 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.667 * [taylor]: Taking taylor expansion of d in d
0.668 * [taylor]: Taking taylor expansion of 0 in a
0.668 * [taylor]: Taking taylor expansion of 0 in d
0.668 * [taylor]: Taking taylor expansion of 0 in d
0.668 * [taylor]: Taking taylor expansion of 0 in c
0.668 * [taylor]: Taking taylor expansion of 0 in a
0.668 * [taylor]: Taking taylor expansion of 0 in a
0.668 * [taylor]: Taking taylor expansion of 0 in a
0.668 * [taylor]: Taking taylor expansion of 0 in d
0.668 * [taylor]: Taking taylor expansion of 0 in d
0.668 * [taylor]: Taking taylor expansion of 0 in d
0.668 * [taylor]: Taking taylor expansion of 0 in d
0.669 * [taylor]: Taking taylor expansion of 0 in c
0.669 * [taylor]: Taking taylor expansion of 0 in a
0.669 * [taylor]: Taking taylor expansion of 0 in a
0.669 * [taylor]: Taking taylor expansion of 0 in a
0.669 * [taylor]: Taking taylor expansion of 0 in a
0.669 * [taylor]: Taking taylor expansion of 0 in d
0.669 * [taylor]: Taking taylor expansion of 0 in d
0.669 * [taylor]: Taking taylor expansion of 0 in d
0.669 * [taylor]: Taking taylor expansion of 0 in d
0.669 * [taylor]: Taking taylor expansion of 0 in d
0.669 * [taylor]: Taking taylor expansion of 0 in d
0.670 * [taylor]: Taking taylor expansion of 0 in d
0.670 * [approximate]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in (b c a d) around 0
0.670 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
0.670 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
0.670 * [taylor]: Taking taylor expansion of (* b c) in d
0.670 * [taylor]: Taking taylor expansion of b in d
0.670 * [taylor]: Taking taylor expansion of c in d
0.670 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
0.670 * [taylor]: Taking taylor expansion of (* d a) in d
0.670 * [taylor]: Taking taylor expansion of d in d
0.670 * [taylor]: Taking taylor expansion of a in d
0.670 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
0.670 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
0.670 * [taylor]: Taking taylor expansion of (* b c) in a
0.670 * [taylor]: Taking taylor expansion of b in a
0.670 * [taylor]: Taking taylor expansion of c in a
0.670 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
0.670 * [taylor]: Taking taylor expansion of (* d a) in a
0.670 * [taylor]: Taking taylor expansion of d in a
0.670 * [taylor]: Taking taylor expansion of a in a
0.670 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
0.670 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
0.670 * [taylor]: Taking taylor expansion of (* b c) in c
0.670 * [taylor]: Taking taylor expansion of b in c
0.671 * [taylor]: Taking taylor expansion of c in c
0.671 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
0.671 * [taylor]: Taking taylor expansion of (* d a) in c
0.671 * [taylor]: Taking taylor expansion of d in c
0.671 * [taylor]: Taking taylor expansion of a in c
0.671 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
0.671 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
0.671 * [taylor]: Taking taylor expansion of (* b c) in b
0.671 * [taylor]: Taking taylor expansion of b in b
0.671 * [taylor]: Taking taylor expansion of c in b
0.671 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
0.671 * [taylor]: Taking taylor expansion of (* d a) in b
0.671 * [taylor]: Taking taylor expansion of d in b
0.671 * [taylor]: Taking taylor expansion of a in b
0.671 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
0.671 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
0.671 * [taylor]: Taking taylor expansion of (* b c) in b
0.671 * [taylor]: Taking taylor expansion of b in b
0.671 * [taylor]: Taking taylor expansion of c in b
0.671 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
0.671 * [taylor]: Taking taylor expansion of (* d a) in b
0.671 * [taylor]: Taking taylor expansion of d in b
0.671 * [taylor]: Taking taylor expansion of a in b
0.671 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.671 * [taylor]: Taking taylor expansion of c in c
0.671 * [taylor]: Taking taylor expansion of 1 in a
0.672 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in c
0.672 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
0.672 * [taylor]: Taking taylor expansion of (* d a) in c
0.672 * [taylor]: Taking taylor expansion of d in c
0.672 * [taylor]: Taking taylor expansion of a in c
0.672 * [taylor]: Taking taylor expansion of 0 in a
0.672 * [taylor]: Taking taylor expansion of 1 in d
0.672 * [taylor]: Taking taylor expansion of 0 in c
0.672 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in a
0.672 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
0.672 * [taylor]: Taking taylor expansion of (* d a) in a
0.672 * [taylor]: Taking taylor expansion of d in a
0.672 * [taylor]: Taking taylor expansion of a in a
0.672 * [taylor]: Taking taylor expansion of (neg (/ 1 d)) in d
0.672 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.672 * [taylor]: Taking taylor expansion of d in d
0.672 * [taylor]: Taking taylor expansion of 0 in a
0.672 * [taylor]: Taking taylor expansion of 0 in d
0.672 * [taylor]: Taking taylor expansion of 0 in d
0.673 * [taylor]: Taking taylor expansion of 0 in c
0.673 * [taylor]: Taking taylor expansion of 0 in a
0.673 * [taylor]: Taking taylor expansion of 0 in a
0.673 * [taylor]: Taking taylor expansion of 0 in a
0.673 * [taylor]: Taking taylor expansion of 0 in d
0.673 * [taylor]: Taking taylor expansion of 0 in d
0.673 * [taylor]: Taking taylor expansion of 0 in d
0.673 * [taylor]: Taking taylor expansion of 0 in d
0.674 * [taylor]: Taking taylor expansion of 0 in c
0.674 * [taylor]: Taking taylor expansion of 0 in a
0.674 * [taylor]: Taking taylor expansion of 0 in a
0.674 * [taylor]: Taking taylor expansion of 0 in a
0.674 * [taylor]: Taking taylor expansion of 0 in a
0.674 * [taylor]: Taking taylor expansion of 0 in d
0.674 * [taylor]: Taking taylor expansion of 0 in d
0.674 * [taylor]: Taking taylor expansion of 0 in d
0.674 * [taylor]: Taking taylor expansion of 0 in d
0.674 * [taylor]: Taking taylor expansion of 0 in d
0.674 * [taylor]: Taking taylor expansion of 0 in d
0.674 * [taylor]: Taking taylor expansion of 0 in d
0.675 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
0.675 * [approximate]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in (c d) around 0
0.675 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in d
0.675 * [taylor]: Taking taylor expansion of (pow d 2) in d
0.675 * [taylor]: Taking taylor expansion of d in d
0.675 * [taylor]: Taking taylor expansion of (pow c 2) in d
0.675 * [taylor]: Taking taylor expansion of c in d
0.675 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
0.675 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.675 * [taylor]: Taking taylor expansion of d in c
0.675 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.675 * [taylor]: Taking taylor expansion of c in c
0.675 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
0.675 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.675 * [taylor]: Taking taylor expansion of d in c
0.675 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.675 * [taylor]: Taking taylor expansion of c in c
0.675 * [taylor]: Taking taylor expansion of (pow d 2) in d
0.675 * [taylor]: Taking taylor expansion of d in d
0.675 * [taylor]: Taking taylor expansion of 0 in d
0.675 * [taylor]: Taking taylor expansion of 1 in d
0.675 * [taylor]: Taking taylor expansion of 0 in d
0.676 * [taylor]: Taking taylor expansion of 0 in d
0.676 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in (c d) around 0
0.676 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
0.676 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
0.676 * [taylor]: Taking taylor expansion of (pow c 2) in d
0.676 * [taylor]: Taking taylor expansion of c in d
0.676 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
0.676 * [taylor]: Taking taylor expansion of (pow d 2) in d
0.676 * [taylor]: Taking taylor expansion of d in d
0.676 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
0.676 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
0.676 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.676 * [taylor]: Taking taylor expansion of c in c
0.676 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
0.676 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.676 * [taylor]: Taking taylor expansion of d in c
0.677 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
0.677 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
0.677 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.677 * [taylor]: Taking taylor expansion of c in c
0.677 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
0.677 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.677 * [taylor]: Taking taylor expansion of d in c
0.677 * [taylor]: Taking taylor expansion of 1 in d
0.677 * [taylor]: Taking taylor expansion of 0 in d
0.677 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
0.677 * [taylor]: Taking taylor expansion of (pow d 2) in d
0.677 * [taylor]: Taking taylor expansion of d in d
0.677 * [taylor]: Taking taylor expansion of 0 in d
0.678 * [taylor]: Taking taylor expansion of 0 in d
0.678 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in (c d) around 0
0.678 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
0.678 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
0.678 * [taylor]: Taking taylor expansion of (pow c 2) in d
0.678 * [taylor]: Taking taylor expansion of c in d
0.679 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
0.679 * [taylor]: Taking taylor expansion of (pow d 2) in d
0.679 * [taylor]: Taking taylor expansion of d in d
0.679 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
0.679 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
0.679 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.679 * [taylor]: Taking taylor expansion of c in c
0.679 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
0.679 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.679 * [taylor]: Taking taylor expansion of d in c
0.679 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
0.679 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
0.679 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.679 * [taylor]: Taking taylor expansion of c in c
0.679 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
0.679 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.679 * [taylor]: Taking taylor expansion of d in c
0.679 * [taylor]: Taking taylor expansion of 1 in d
0.679 * [taylor]: Taking taylor expansion of 0 in d
0.679 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
0.679 * [taylor]: Taking taylor expansion of (pow d 2) in d
0.679 * [taylor]: Taking taylor expansion of d in d
0.680 * [taylor]: Taking taylor expansion of 0 in d
0.680 * [taylor]: Taking taylor expansion of 0 in d
0.681 * * * [progress]: simplifying candidates
0.682 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log (- (* b c) (* a d))) (log (+ (* c c) (* d d))))
  (log (/ (- (* b c) (* a d)) (+ (* c c) (* d d))))
  (exp (/ (- (* b c) (* a d)) (+ (* c c) (* d d))))
  (/ (* (* (- (* b c) (* a d)) (- (* b c) (* a d))) (- (* b c) (* a d))) (* (* (+ (* c c) (* d d)) (+ (* c c) (* d d))) (+ (* c c) (* d d))))
  (* (cbrt (/ (- (* b c) (* a d)) (+ (* c c) (* d d)))) (cbrt (/ (- (* b c) (* a d)) (+ (* c c) (* d d)))))
  (cbrt (/ (- (* b c) (* a d)) (+ (* c c) (* d d))))
  (* (* (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (/ (- (* b c) (* a d)) (+ (* c c) (* d d)))) (/ (- (* b c) (* a d)) (+ (* c c) (* d d))))
  (sqrt (/ (- (* b c) (* a d)) (+ (* c c) (* d d))))
  (sqrt (/ (- (* b c) (* a d)) (+ (* c c) (* d d))))
  (neg (- (* b c) (* a d)))
  (neg (+ (* c c) (* d d)))
  (/ (* b c) (+ (* c c) (* d d)))
  (/ (* a d) (+ (* c c) (* d d)))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d)))))
  (/ (cbrt (- (* b c) (* a d))) (cbrt (+ (* c c) (* d d))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (sqrt (+ (* c c) (* d d))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) 1)
  (/ (cbrt (- (* b c) (* a d))) (+ (* c c) (* d d)))
  (/ (sqrt (- (* b c) (* a d))) (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (cbrt (+ (* c c) (* d d))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (- (* b c) (* a d))) 1)
  (/ (sqrt (- (* b c) (* a d))) (+ (* c c) (* d d)))
  (/ 1 (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (cbrt (+ (* c c) (* d d))))
  (/ 1 (sqrt (+ (* c c) (* d d))))
  (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
  (/ 1 1)
  (/ (- (* b c) (* a d)) (+ (* c c) (* d d)))
  (/ 1 (+ (* c c) (* d d)))
  (/ (+ (* c c) (* d d)) (- (* b c) (* a d)))
  (/ (- (* b c) (* a d)) (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
  (/ (- (* b c) (* a d)) 1)
  (/ (+ (* c c) (* d d)) (cbrt (- (* b c) (* a d))))
  (/ (+ (* c c) (* d d)) (sqrt (- (* b c) (* a d))))
  (/ (+ (* c c) (* d d)) (- (* b c) (* a d)))
  (/ (- (* b c) (* a d)) (+ (pow (* c c) 3) (pow (* d d) 3)))
  (/ (- (* b c) (* a d)) (- (* (* c c) (* c c)) (* (* d d) (* d d))))
  (* (+ (* c c) (* d d)) (+ (* (* b c) (* b c)) (+ (* (* a d) (* a d)) (* (* b c) (* a d)))))
  (* (+ (* c c) (* d d)) (+ (* b c) (* a d)))
  (/ (exp (* b c)) (exp (* a d)))
  (log (- (* b c) (* a d)))
  (exp (- (* b c) (* a d)))
  (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d))))
  (cbrt (- (* b c) (* a d)))
  (* (* (- (* b c) (* a d)) (- (* b c) (* a d))) (- (* b c) (* a d)))
  (sqrt (- (* b c) (* a d)))
  (sqrt (- (* b c) (* a d)))
  (- (pow (* b c) 3) (pow (* a d) 3))
  (+ (* (* b c) (* b c)) (+ (* (* a d) (* a d)) (* (* b c) (* a d))))
  (neg (* a d))
  (- (* (* b c) (* b c)) (* (* a d) (* a d)))
  (+ (* b c) (* a d))
  (neg (* a d))
  (* (exp (* c c)) (exp (* d d)))
  (log (+ (* c c) (* d d)))
  (exp (+ (* c c) (* d d)))
  (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d))))
  (cbrt (+ (* c c) (* d d)))
  (* (* (+ (* c c) (* d d)) (+ (* c c) (* d d))) (+ (* c c) (* d d)))
  (sqrt (+ (* c c) (* d d)))
  (sqrt (+ (* c c) (* d d)))
  (+ (pow (* c c) 3) (pow (* d d) 3))
  (+ (* (* c c) (* c c)) (- (* (* d d) (* d d)) (* (* c c) (* d d))))
  (- (* (* c c) (* c c)) (* (* d d) (* d d)))
  (- (* c c) (* d d))
  0
  0
  0
  0
  (- (* b c) (* d a))
  (- (* b c) (* d a))
  (+ (pow c 2) (pow d 2))
  (+ (pow d 2) (pow c 2))
  (+ (pow d 2) (pow c 2))
0.687 * * [simplify]: iteration  0 :  292  enodes  (cost  541 )
0.694 * * [simplify]: iteration  1 :  1273  enodes  (cost  493 )
0.720 * * [simplify]: iteration  2 :  5001  enodes  (cost  491 )
0.724 * [simplify]: Simplified to:
   (log (/ (- (* b c) (* a d)) (+ (* c c) (* d d))))
  (log (/ (- (* b c) (* a d)) (+ (* c c) (* d d))))
  (exp (/ (- (* b c) (* a d)) (+ (* c c) (* d d))))
  (pow (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) 3)
  (* (cbrt (/ (- (* b c) (* a d)) (+ (* c c) (* d d)))) (cbrt (/ (- (* b c) (* a d)) (+ (* c c) (* d d)))))
  (cbrt (/ (- (* b c) (* a d)) (+ (* c c) (* d d))))
  (pow (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) 3)
  (sqrt (/ (- (* b c) (* a d)) (+ (* c c) (* d d))))
  (sqrt (/ (- (* b c) (* a d)) (+ (* c c) (* d d))))
  (neg (- (* b c) (* a d)))
  (neg (+ (* c c) (* d d)))
  (/ (* b c) (+ (* c c) (* d d)))
  (/ (* a d) (+ (* c c) (* d d)))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d)))))
  (/ (cbrt (- (* b c) (* a d))) (cbrt (+ (* c c) (* d d))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (sqrt (+ (* c c) (* d d))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d))))
  (/ (cbrt (- (* b c) (* a d))) (+ (* c c) (* d d)))
  (/ (sqrt (- (* b c) (* a d))) (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (cbrt (+ (* c c) (* d d))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (sqrt (- (* b c) (* a d)))
  (/ (sqrt (- (* b c) (* a d))) (+ (* c c) (* d d)))
  (/ 1 (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (cbrt (+ (* c c) (* d d))))
  (/ 1 (sqrt (+ (* c c) (* d d))))
  (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
  1
  (/ (- (* b c) (* a d)) (+ (* c c) (* d d)))
  (/ 1 (+ (* c c) (* d d)))
  (/ (+ (* c c) (* d d)) (- (* b c) (* a d)))
  (/ (- (* b c) (* a d)) (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
  (- (* b c) (* a d))
  (/ (+ (* c c) (* d d)) (cbrt (- (* b c) (* a d))))
  (/ (+ (* c c) (* d d)) (sqrt (- (* b c) (* a d))))
  (/ (+ (* c c) (* d d)) (- (* b c) (* a d)))
  (/ (- (* b c) (* a d)) (+ (pow (* c c) 3) (pow (* d d) 3)))
  (/ (- (* b c) (* a d)) (+ (* (neg (pow d 3)) d) (pow c 4)))
  (* (+ (* (* a d) (+ (* a d) (* b c))) (* (* b c) (* b c))) (+ (* c c) (* d d)))
  (* (+ (* c c) (* d d)) (+ (* b c) (* a d)))
  (exp (- (* b c) (* a d)))
  (log (- (* b c) (* a d)))
  (exp (- (* b c) (* a d)))
  (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d))))
  (cbrt (- (* b c) (* a d)))
  (pow (- (* b c) (* a d)) 3)
  (sqrt (- (* b c) (* a d)))
  (sqrt (- (* b c) (* a d)))
  (- (pow (* b c) 3) (pow (* a d) 3))
  (+ (* (* a d) (+ (* a d) (* b c))) (* (* b c) (* b c)))
  (neg (* a d))
  (- (* (* b c) (* b c)) (* (* a d) (* a d)))
  (+ (* b c) (* a d))
  (neg (* a d))
  (exp (+ (* c c) (* d d)))
  (log (+ (pow c 2) (pow d 2)))
  (exp (+ (* c c) (* d d)))
  (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d))))
  (cbrt (+ (* c c) (* d d)))
  (pow (+ (pow c 2) (pow d 2)) 3)
  (sqrt (+ (* c c) (* d d)))
  (sqrt (+ (* c c) (* d d)))
  (+ (pow (* c c) 3) (pow (* d d) 3))
  (- (pow d 4) (- (* (* c c) (* d d)) (pow c 4)))
  (+ (* (neg (pow d 3)) d) (pow c 4))
  (- (* c c) (* d d))
  0
  0
  0
  0
  (- (* b c) (* a d))
  (- (* b c) (* a d))
  (+ (pow c 2) (pow d 2))
  (+ (pow c 2) (pow d 2))
  (+ (pow c 2) (pow d 2))
0.724 * * * [progress]: adding candidates to table
0.814 * * [progress]: iteration 2 / 4
0.814 * * * [progress]: picking best candidate
0.843 * * * * [pick]: Picked  #<alt (λ (a b c d) (/ (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) (sqrt (+ (* c c) (* d d)))))>
0.843 * * * [progress]: localizing error
0.861 * * * [progress]: generating rewritten candidates
0.861 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.865 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
0.869 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
0.878 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
0.884 * * * [progress]: generating series expansions
0.884 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.884 * [approximate]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in (c d) around 0
0.884 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in d
0.884 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in d
0.884 * [taylor]: Taking taylor expansion of (pow d 2) in d
0.884 * [taylor]: Taking taylor expansion of d in d
0.884 * [taylor]: Taking taylor expansion of (pow c 2) in d
0.884 * [taylor]: Taking taylor expansion of c in d
0.885 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
0.885 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
0.885 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.885 * [taylor]: Taking taylor expansion of d in c
0.885 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.885 * [taylor]: Taking taylor expansion of c in c
0.885 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
0.885 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
0.885 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.885 * [taylor]: Taking taylor expansion of d in c
0.885 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.885 * [taylor]: Taking taylor expansion of c in c
0.886 * [taylor]: Taking taylor expansion of d in d
0.886 * [taylor]: Taking taylor expansion of 0 in d
0.886 * [taylor]: Taking taylor expansion of (/ 1/2 d) in d
0.886 * [taylor]: Taking taylor expansion of 1/2 in d
0.886 * [taylor]: Taking taylor expansion of d in d
0.886 * [taylor]: Taking taylor expansion of 0 in d
0.886 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (c d) around 0
0.886 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
0.886 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
0.886 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
0.886 * [taylor]: Taking taylor expansion of (pow c 2) in d
0.887 * [taylor]: Taking taylor expansion of c in d
0.887 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
0.887 * [taylor]: Taking taylor expansion of (pow d 2) in d
0.887 * [taylor]: Taking taylor expansion of d in d
0.887 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
0.887 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
0.887 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
0.887 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.887 * [taylor]: Taking taylor expansion of c in c
0.887 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
0.887 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.887 * [taylor]: Taking taylor expansion of d in c
0.887 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
0.887 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
0.887 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
0.887 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.887 * [taylor]: Taking taylor expansion of c in c
0.887 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
0.887 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.887 * [taylor]: Taking taylor expansion of d in c
0.888 * [taylor]: Taking taylor expansion of 1 in d
0.888 * [taylor]: Taking taylor expansion of 0 in d
0.888 * [taylor]: Taking taylor expansion of (/ 1/2 (pow d 2)) in d
0.888 * [taylor]: Taking taylor expansion of 1/2 in d
0.888 * [taylor]: Taking taylor expansion of (pow d 2) in d
0.888 * [taylor]: Taking taylor expansion of d in d
0.888 * [taylor]: Taking taylor expansion of 0 in d
0.889 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (c d) around 0
0.889 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
0.889 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
0.889 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
0.889 * [taylor]: Taking taylor expansion of (pow c 2) in d
0.889 * [taylor]: Taking taylor expansion of c in d
0.889 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
0.889 * [taylor]: Taking taylor expansion of (pow d 2) in d
0.889 * [taylor]: Taking taylor expansion of d in d
0.889 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
0.889 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
0.889 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
0.889 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.889 * [taylor]: Taking taylor expansion of c in c
0.889 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
0.889 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.889 * [taylor]: Taking taylor expansion of d in c
0.889 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
0.889 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
0.890 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
0.890 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.890 * [taylor]: Taking taylor expansion of c in c
0.890 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
0.890 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.890 * [taylor]: Taking taylor expansion of d in c
0.890 * [taylor]: Taking taylor expansion of 1 in d
0.890 * [taylor]: Taking taylor expansion of 0 in d
0.890 * [taylor]: Taking taylor expansion of (/ 1/2 (pow d 2)) in d
0.890 * [taylor]: Taking taylor expansion of 1/2 in d
0.890 * [taylor]: Taking taylor expansion of (pow d 2) in d
0.890 * [taylor]: Taking taylor expansion of d in d
0.891 * [taylor]: Taking taylor expansion of 0 in d
0.891 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
0.891 * [approximate]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in (c d) around 0
0.891 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in d
0.891 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in d
0.891 * [taylor]: Taking taylor expansion of (pow d 2) in d
0.891 * [taylor]: Taking taylor expansion of d in d
0.891 * [taylor]: Taking taylor expansion of (pow c 2) in d
0.891 * [taylor]: Taking taylor expansion of c in d
0.891 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
0.891 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
0.891 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.892 * [taylor]: Taking taylor expansion of d in c
0.892 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.892 * [taylor]: Taking taylor expansion of c in c
0.892 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
0.892 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
0.892 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.892 * [taylor]: Taking taylor expansion of d in c
0.892 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.892 * [taylor]: Taking taylor expansion of c in c
0.892 * [taylor]: Taking taylor expansion of d in d
0.892 * [taylor]: Taking taylor expansion of 0 in d
0.892 * [taylor]: Taking taylor expansion of (/ 1/2 d) in d
0.892 * [taylor]: Taking taylor expansion of 1/2 in d
0.892 * [taylor]: Taking taylor expansion of d in d
0.893 * [taylor]: Taking taylor expansion of 0 in d
0.893 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (c d) around 0
0.893 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
0.893 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
0.893 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
0.893 * [taylor]: Taking taylor expansion of (pow c 2) in d
0.893 * [taylor]: Taking taylor expansion of c in d
0.893 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
0.893 * [taylor]: Taking taylor expansion of (pow d 2) in d
0.893 * [taylor]: Taking taylor expansion of d in d
0.893 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
0.893 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
0.893 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
0.893 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.893 * [taylor]: Taking taylor expansion of c in c
0.893 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
0.893 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.893 * [taylor]: Taking taylor expansion of d in c
0.894 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
0.894 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
0.894 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
0.894 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.894 * [taylor]: Taking taylor expansion of c in c
0.894 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
0.894 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.894 * [taylor]: Taking taylor expansion of d in c
0.894 * [taylor]: Taking taylor expansion of 1 in d
0.894 * [taylor]: Taking taylor expansion of 0 in d
0.894 * [taylor]: Taking taylor expansion of (/ 1/2 (pow d 2)) in d
0.894 * [taylor]: Taking taylor expansion of 1/2 in d
0.894 * [taylor]: Taking taylor expansion of (pow d 2) in d
0.894 * [taylor]: Taking taylor expansion of d in d
0.895 * [taylor]: Taking taylor expansion of 0 in d
0.895 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (c d) around 0
0.895 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
0.895 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
0.895 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
0.895 * [taylor]: Taking taylor expansion of (pow c 2) in d
0.895 * [taylor]: Taking taylor expansion of c in d
0.895 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
0.895 * [taylor]: Taking taylor expansion of (pow d 2) in d
0.895 * [taylor]: Taking taylor expansion of d in d
0.896 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
0.896 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
0.896 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
0.896 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.896 * [taylor]: Taking taylor expansion of c in c
0.896 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
0.896 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.896 * [taylor]: Taking taylor expansion of d in c
0.896 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
0.896 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
0.896 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
0.896 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.896 * [taylor]: Taking taylor expansion of c in c
0.896 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
0.896 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.896 * [taylor]: Taking taylor expansion of d in c
0.896 * [taylor]: Taking taylor expansion of 1 in d
0.896 * [taylor]: Taking taylor expansion of 0 in d
0.897 * [taylor]: Taking taylor expansion of (/ 1/2 (pow d 2)) in d
0.897 * [taylor]: Taking taylor expansion of 1/2 in d
0.897 * [taylor]: Taking taylor expansion of (pow d 2) in d
0.897 * [taylor]: Taking taylor expansion of d in d
0.897 * [taylor]: Taking taylor expansion of 0 in d
0.897 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
0.898 * [approximate]: Taking taylor expansion of (* (- (* b c) (* d a)) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in (b c a d) around 0
0.898 * [taylor]: Taking taylor expansion of (* (- (* b c) (* d a)) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in d
0.898 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in d
0.898 * [taylor]: Taking taylor expansion of (* b c) in d
0.898 * [taylor]: Taking taylor expansion of b in d
0.898 * [taylor]: Taking taylor expansion of c in d
0.898 * [taylor]: Taking taylor expansion of (* d a) in d
0.898 * [taylor]: Taking taylor expansion of d in d
0.898 * [taylor]: Taking taylor expansion of a in d
0.898 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in d
0.898 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in d
0.898 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in d
0.898 * [taylor]: Taking taylor expansion of (pow d 2) in d
0.898 * [taylor]: Taking taylor expansion of d in d
0.898 * [taylor]: Taking taylor expansion of (pow c 2) in d
0.898 * [taylor]: Taking taylor expansion of c in d
0.898 * [taylor]: Taking taylor expansion of (* (- (* b c) (* d a)) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in a
0.898 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in a
0.898 * [taylor]: Taking taylor expansion of (* b c) in a
0.898 * [taylor]: Taking taylor expansion of b in a
0.898 * [taylor]: Taking taylor expansion of c in a
0.899 * [taylor]: Taking taylor expansion of (* d a) in a
0.899 * [taylor]: Taking taylor expansion of d in a
0.899 * [taylor]: Taking taylor expansion of a in a
0.899 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in a
0.899 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in a
0.899 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in a
0.899 * [taylor]: Taking taylor expansion of (pow d 2) in a
0.899 * [taylor]: Taking taylor expansion of d in a
0.899 * [taylor]: Taking taylor expansion of (pow c 2) in a
0.899 * [taylor]: Taking taylor expansion of c in a
0.899 * [taylor]: Taking taylor expansion of (* (- (* b c) (* d a)) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in c
0.899 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in c
0.900 * [taylor]: Taking taylor expansion of (* b c) in c
0.900 * [taylor]: Taking taylor expansion of b in c
0.900 * [taylor]: Taking taylor expansion of c in c
0.900 * [taylor]: Taking taylor expansion of (* d a) in c
0.900 * [taylor]: Taking taylor expansion of d in c
0.900 * [taylor]: Taking taylor expansion of a in c
0.900 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in c
0.900 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in c
0.900 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
0.900 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.900 * [taylor]: Taking taylor expansion of d in c
0.900 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.900 * [taylor]: Taking taylor expansion of c in c
0.900 * [taylor]: Taking taylor expansion of (* (- (* b c) (* d a)) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in b
0.900 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
0.900 * [taylor]: Taking taylor expansion of (* b c) in b
0.900 * [taylor]: Taking taylor expansion of b in b
0.900 * [taylor]: Taking taylor expansion of c in b
0.900 * [taylor]: Taking taylor expansion of (* d a) in b
0.900 * [taylor]: Taking taylor expansion of d in b
0.900 * [taylor]: Taking taylor expansion of a in b
0.900 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in b
0.900 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in b
0.900 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in b
0.900 * [taylor]: Taking taylor expansion of (pow d 2) in b
0.900 * [taylor]: Taking taylor expansion of d in b
0.900 * [taylor]: Taking taylor expansion of (pow c 2) in b
0.900 * [taylor]: Taking taylor expansion of c in b
0.902 * [taylor]: Taking taylor expansion of (* (- (* b c) (* d a)) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in b
0.902 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
0.902 * [taylor]: Taking taylor expansion of (* b c) in b
0.902 * [taylor]: Taking taylor expansion of b in b
0.902 * [taylor]: Taking taylor expansion of c in b
0.902 * [taylor]: Taking taylor expansion of (* d a) in b
0.902 * [taylor]: Taking taylor expansion of d in b
0.902 * [taylor]: Taking taylor expansion of a in b
0.902 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in b
0.902 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in b
0.902 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in b
0.902 * [taylor]: Taking taylor expansion of (pow d 2) in b
0.902 * [taylor]: Taking taylor expansion of d in b
0.902 * [taylor]: Taking taylor expansion of (pow c 2) in b
0.902 * [taylor]: Taking taylor expansion of c in b
0.903 * [taylor]: Taking taylor expansion of (* -1 (* (* d a) (sqrt (/ 1 (+ (pow d 2) (pow c 2)))))) in c
0.903 * [taylor]: Taking taylor expansion of -1 in c
0.903 * [taylor]: Taking taylor expansion of (* (* d a) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in c
0.903 * [taylor]: Taking taylor expansion of (* d a) in c
0.903 * [taylor]: Taking taylor expansion of d in c
0.903 * [taylor]: Taking taylor expansion of a in c
0.903 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in c
0.903 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in c
0.903 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
0.903 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.903 * [taylor]: Taking taylor expansion of d in c
0.903 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.903 * [taylor]: Taking taylor expansion of c in c
0.904 * [taylor]: Taking taylor expansion of (* -1 a) in a
0.904 * [taylor]: Taking taylor expansion of -1 in a
0.904 * [taylor]: Taking taylor expansion of a in a
0.904 * [taylor]: Taking taylor expansion of 0 in d
0.904 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) c) in c
0.904 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in c
0.904 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in c
0.904 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
0.904 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.904 * [taylor]: Taking taylor expansion of d in c
0.904 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.904 * [taylor]: Taking taylor expansion of c in c
0.905 * [taylor]: Taking taylor expansion of c in c
0.905 * [taylor]: Taking taylor expansion of 0 in a
0.905 * [taylor]: Taking taylor expansion of 0 in d
0.905 * [taylor]: Taking taylor expansion of 0 in a
0.905 * [taylor]: Taking taylor expansion of 0 in d
0.905 * [taylor]: Taking taylor expansion of (neg 1) in d
0.905 * [taylor]: Taking taylor expansion of 1 in d
0.906 * [taylor]: Taking taylor expansion of 0 in c
0.906 * [taylor]: Taking taylor expansion of 0 in a
0.906 * [taylor]: Taking taylor expansion of 0 in d
0.906 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.906 * [taylor]: Taking taylor expansion of d in a
0.906 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.906 * [taylor]: Taking taylor expansion of d in d
0.907 * [taylor]: Taking taylor expansion of (* 1/2 (/ a (pow d 2))) in a
0.907 * [taylor]: Taking taylor expansion of 1/2 in a
0.907 * [taylor]: Taking taylor expansion of (/ a (pow d 2)) in a
0.907 * [taylor]: Taking taylor expansion of a in a
0.907 * [taylor]: Taking taylor expansion of (pow d 2) in a
0.907 * [taylor]: Taking taylor expansion of d in a
0.907 * [taylor]: Taking taylor expansion of 0 in d
0.907 * [taylor]: Taking taylor expansion of 0 in d
0.907 * [taylor]: Taking taylor expansion of 0 in d
0.908 * [approximate]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in (b c a d) around 0
0.908 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in d
0.908 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
0.908 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
0.908 * [taylor]: Taking taylor expansion of (* b c) in d
0.908 * [taylor]: Taking taylor expansion of b in d
0.908 * [taylor]: Taking taylor expansion of c in d
0.908 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
0.908 * [taylor]: Taking taylor expansion of (* d a) in d
0.908 * [taylor]: Taking taylor expansion of d in d
0.908 * [taylor]: Taking taylor expansion of a in d
0.908 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in d
0.908 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
0.908 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
0.908 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
0.908 * [taylor]: Taking taylor expansion of (pow c 2) in d
0.908 * [taylor]: Taking taylor expansion of c in d
0.908 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
0.908 * [taylor]: Taking taylor expansion of (pow d 2) in d
0.908 * [taylor]: Taking taylor expansion of d in d
0.908 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in a
0.908 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
0.908 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
0.908 * [taylor]: Taking taylor expansion of (* b c) in a
0.908 * [taylor]: Taking taylor expansion of b in a
0.908 * [taylor]: Taking taylor expansion of c in a
0.908 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
0.908 * [taylor]: Taking taylor expansion of (* d a) in a
0.908 * [taylor]: Taking taylor expansion of d in a
0.908 * [taylor]: Taking taylor expansion of a in a
0.909 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in a
0.909 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in a
0.909 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in a
0.909 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in a
0.909 * [taylor]: Taking taylor expansion of (pow c 2) in a
0.909 * [taylor]: Taking taylor expansion of c in a
0.909 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
0.909 * [taylor]: Taking taylor expansion of (pow d 2) in a
0.909 * [taylor]: Taking taylor expansion of d in a
0.910 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in c
0.910 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
0.910 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
0.910 * [taylor]: Taking taylor expansion of (* b c) in c
0.910 * [taylor]: Taking taylor expansion of b in c
0.910 * [taylor]: Taking taylor expansion of c in c
0.910 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
0.910 * [taylor]: Taking taylor expansion of (* d a) in c
0.910 * [taylor]: Taking taylor expansion of d in c
0.910 * [taylor]: Taking taylor expansion of a in c
0.910 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
0.910 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
0.910 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
0.910 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
0.910 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.910 * [taylor]: Taking taylor expansion of c in c
0.910 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
0.910 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.910 * [taylor]: Taking taylor expansion of d in c
0.911 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in b
0.911 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
0.911 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
0.911 * [taylor]: Taking taylor expansion of (* b c) in b
0.911 * [taylor]: Taking taylor expansion of b in b
0.911 * [taylor]: Taking taylor expansion of c in b
0.911 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
0.911 * [taylor]: Taking taylor expansion of (* d a) in b
0.911 * [taylor]: Taking taylor expansion of d in b
0.911 * [taylor]: Taking taylor expansion of a in b
0.911 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in b
0.911 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
0.911 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
0.911 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
0.911 * [taylor]: Taking taylor expansion of (pow c 2) in b
0.911 * [taylor]: Taking taylor expansion of c in b
0.911 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
0.911 * [taylor]: Taking taylor expansion of (pow d 2) in b
0.911 * [taylor]: Taking taylor expansion of d in b
0.912 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in b
0.912 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
0.912 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
0.912 * [taylor]: Taking taylor expansion of (* b c) in b
0.912 * [taylor]: Taking taylor expansion of b in b
0.913 * [taylor]: Taking taylor expansion of c in b
0.913 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
0.913 * [taylor]: Taking taylor expansion of (* d a) in b
0.913 * [taylor]: Taking taylor expansion of d in b
0.913 * [taylor]: Taking taylor expansion of a in b
0.913 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in b
0.913 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
0.913 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
0.913 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
0.913 * [taylor]: Taking taylor expansion of (pow c 2) in b
0.913 * [taylor]: Taking taylor expansion of c in b
0.913 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
0.913 * [taylor]: Taking taylor expansion of (pow d 2) in b
0.913 * [taylor]: Taking taylor expansion of d in b
0.914 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) (/ 1 c)) in c
0.914 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
0.914 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
0.914 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
0.914 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
0.914 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.915 * [taylor]: Taking taylor expansion of c in c
0.915 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
0.915 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.915 * [taylor]: Taking taylor expansion of d in c
0.915 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.915 * [taylor]: Taking taylor expansion of c in c
0.915 * [taylor]: Taking taylor expansion of 1 in a
0.915 * [taylor]: Taking taylor expansion of (neg (* (/ 1 (* d a)) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))))) in c
0.915 * [taylor]: Taking taylor expansion of (* (/ 1 (* d a)) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in c
0.915 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
0.915 * [taylor]: Taking taylor expansion of (* d a) in c
0.915 * [taylor]: Taking taylor expansion of d in c
0.915 * [taylor]: Taking taylor expansion of a in c
0.915 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
0.916 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
0.916 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
0.916 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
0.916 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.916 * [taylor]: Taking taylor expansion of c in c
0.916 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
0.916 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.916 * [taylor]: Taking taylor expansion of d in c
0.916 * [taylor]: Taking taylor expansion of 0 in a
0.916 * [taylor]: Taking taylor expansion of 1 in d
0.918 * [taylor]: Taking taylor expansion of 0 in c
0.918 * [taylor]: Taking taylor expansion of 0 in a
0.918 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in a
0.918 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
0.918 * [taylor]: Taking taylor expansion of (* d a) in a
0.918 * [taylor]: Taking taylor expansion of d in a
0.918 * [taylor]: Taking taylor expansion of a in a
0.918 * [taylor]: Taking taylor expansion of (neg (/ 1 d)) in d
0.918 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.918 * [taylor]: Taking taylor expansion of d in d
0.919 * [taylor]: Taking taylor expansion of (neg (* 1/2 (/ 1 (pow d 2)))) in a
0.919 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow d 2))) in a
0.919 * [taylor]: Taking taylor expansion of 1/2 in a
0.919 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
0.919 * [taylor]: Taking taylor expansion of (pow d 2) in a
0.919 * [taylor]: Taking taylor expansion of d in a
0.919 * [taylor]: Taking taylor expansion of 0 in d
0.919 * [taylor]: Taking taylor expansion of 0 in d
0.921 * [taylor]: Taking taylor expansion of 0 in c
0.921 * [taylor]: Taking taylor expansion of 0 in a
0.921 * [taylor]: Taking taylor expansion of 0 in a
0.921 * [taylor]: Taking taylor expansion of 0 in a
0.922 * [taylor]: Taking taylor expansion of 0 in a
0.922 * [taylor]: Taking taylor expansion of 0 in d
0.922 * [taylor]: Taking taylor expansion of 0 in d
0.922 * [approximate]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in (b c a d) around 0
0.922 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in d
0.922 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
0.922 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
0.922 * [taylor]: Taking taylor expansion of (* b c) in d
0.922 * [taylor]: Taking taylor expansion of b in d
0.922 * [taylor]: Taking taylor expansion of c in d
0.922 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
0.922 * [taylor]: Taking taylor expansion of (* d a) in d
0.922 * [taylor]: Taking taylor expansion of d in d
0.922 * [taylor]: Taking taylor expansion of a in d
0.923 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in d
0.923 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
0.923 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
0.923 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
0.923 * [taylor]: Taking taylor expansion of (pow c 2) in d
0.923 * [taylor]: Taking taylor expansion of c in d
0.923 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
0.923 * [taylor]: Taking taylor expansion of (pow d 2) in d
0.923 * [taylor]: Taking taylor expansion of d in d
0.923 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in a
0.923 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
0.923 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
0.923 * [taylor]: Taking taylor expansion of (* b c) in a
0.923 * [taylor]: Taking taylor expansion of b in a
0.923 * [taylor]: Taking taylor expansion of c in a
0.923 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
0.923 * [taylor]: Taking taylor expansion of (* d a) in a
0.923 * [taylor]: Taking taylor expansion of d in a
0.923 * [taylor]: Taking taylor expansion of a in a
0.923 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in a
0.923 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in a
0.923 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in a
0.923 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in a
0.923 * [taylor]: Taking taylor expansion of (pow c 2) in a
0.923 * [taylor]: Taking taylor expansion of c in a
0.923 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
0.923 * [taylor]: Taking taylor expansion of (pow d 2) in a
0.923 * [taylor]: Taking taylor expansion of d in a
0.925 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in c
0.925 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
0.925 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
0.925 * [taylor]: Taking taylor expansion of (* b c) in c
0.925 * [taylor]: Taking taylor expansion of b in c
0.925 * [taylor]: Taking taylor expansion of c in c
0.925 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
0.925 * [taylor]: Taking taylor expansion of (* d a) in c
0.925 * [taylor]: Taking taylor expansion of d in c
0.925 * [taylor]: Taking taylor expansion of a in c
0.925 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
0.925 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
0.925 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
0.925 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
0.925 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.925 * [taylor]: Taking taylor expansion of c in c
0.925 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
0.925 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.925 * [taylor]: Taking taylor expansion of d in c
0.925 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in b
0.925 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
0.925 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
0.925 * [taylor]: Taking taylor expansion of (* b c) in b
0.925 * [taylor]: Taking taylor expansion of b in b
0.925 * [taylor]: Taking taylor expansion of c in b
0.926 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
0.926 * [taylor]: Taking taylor expansion of (* d a) in b
0.926 * [taylor]: Taking taylor expansion of d in b
0.926 * [taylor]: Taking taylor expansion of a in b
0.926 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in b
0.926 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
0.926 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
0.926 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
0.926 * [taylor]: Taking taylor expansion of (pow c 2) in b
0.926 * [taylor]: Taking taylor expansion of c in b
0.926 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
0.926 * [taylor]: Taking taylor expansion of (pow d 2) in b
0.926 * [taylor]: Taking taylor expansion of d in b
0.927 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in b
0.927 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
0.927 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
0.927 * [taylor]: Taking taylor expansion of (* b c) in b
0.927 * [taylor]: Taking taylor expansion of b in b
0.927 * [taylor]: Taking taylor expansion of c in b
0.927 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
0.927 * [taylor]: Taking taylor expansion of (* d a) in b
0.927 * [taylor]: Taking taylor expansion of d in b
0.927 * [taylor]: Taking taylor expansion of a in b
0.927 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in b
0.927 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
0.927 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
0.927 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
0.927 * [taylor]: Taking taylor expansion of (pow c 2) in b
0.927 * [taylor]: Taking taylor expansion of c in b
0.928 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
0.928 * [taylor]: Taking taylor expansion of (pow d 2) in b
0.928 * [taylor]: Taking taylor expansion of d in b
0.929 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) (/ 1 c)) in c
0.929 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
0.929 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
0.929 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
0.929 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
0.929 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.929 * [taylor]: Taking taylor expansion of c in c
0.929 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
0.929 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.929 * [taylor]: Taking taylor expansion of d in c
0.929 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.930 * [taylor]: Taking taylor expansion of c in c
0.930 * [taylor]: Taking taylor expansion of 1 in a
0.930 * [taylor]: Taking taylor expansion of (neg (* (/ 1 (* d a)) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))))) in c
0.930 * [taylor]: Taking taylor expansion of (* (/ 1 (* d a)) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in c
0.930 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
0.930 * [taylor]: Taking taylor expansion of (* d a) in c
0.930 * [taylor]: Taking taylor expansion of d in c
0.930 * [taylor]: Taking taylor expansion of a in c
0.930 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
0.930 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
0.930 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
0.930 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
0.930 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.930 * [taylor]: Taking taylor expansion of c in c
0.930 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
0.930 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.930 * [taylor]: Taking taylor expansion of d in c
0.931 * [taylor]: Taking taylor expansion of 0 in a
0.931 * [taylor]: Taking taylor expansion of 1 in d
0.932 * [taylor]: Taking taylor expansion of 0 in c
0.932 * [taylor]: Taking taylor expansion of 0 in a
0.932 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in a
0.932 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
0.932 * [taylor]: Taking taylor expansion of (* d a) in a
0.932 * [taylor]: Taking taylor expansion of d in a
0.932 * [taylor]: Taking taylor expansion of a in a
0.933 * [taylor]: Taking taylor expansion of (neg (/ 1 d)) in d
0.933 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.933 * [taylor]: Taking taylor expansion of d in d
0.933 * [taylor]: Taking taylor expansion of (neg (* 1/2 (/ 1 (pow d 2)))) in a
0.933 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow d 2))) in a
0.933 * [taylor]: Taking taylor expansion of 1/2 in a
0.933 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
0.933 * [taylor]: Taking taylor expansion of (pow d 2) in a
0.933 * [taylor]: Taking taylor expansion of d in a
0.934 * [taylor]: Taking taylor expansion of 0 in d
0.934 * [taylor]: Taking taylor expansion of 0 in d
0.936 * [taylor]: Taking taylor expansion of 0 in c
0.936 * [taylor]: Taking taylor expansion of 0 in a
0.936 * [taylor]: Taking taylor expansion of 0 in a
0.936 * [taylor]: Taking taylor expansion of 0 in a
0.937 * [taylor]: Taking taylor expansion of 0 in a
0.937 * [taylor]: Taking taylor expansion of 0 in d
0.937 * [taylor]: Taking taylor expansion of 0 in d
0.937 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
0.937 * [approximate]: Taking taylor expansion of (- (* b c) (* d a)) in (b c a d) around 0
0.937 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in d
0.937 * [taylor]: Taking taylor expansion of (* b c) in d
0.937 * [taylor]: Taking taylor expansion of b in d
0.937 * [taylor]: Taking taylor expansion of c in d
0.937 * [taylor]: Taking taylor expansion of (* d a) in d
0.937 * [taylor]: Taking taylor expansion of d in d
0.937 * [taylor]: Taking taylor expansion of a in d
0.937 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in a
0.937 * [taylor]: Taking taylor expansion of (* b c) in a
0.937 * [taylor]: Taking taylor expansion of b in a
0.937 * [taylor]: Taking taylor expansion of c in a
0.937 * [taylor]: Taking taylor expansion of (* d a) in a
0.937 * [taylor]: Taking taylor expansion of d in a
0.937 * [taylor]: Taking taylor expansion of a in a
0.937 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in c
0.937 * [taylor]: Taking taylor expansion of (* b c) in c
0.937 * [taylor]: Taking taylor expansion of b in c
0.937 * [taylor]: Taking taylor expansion of c in c
0.937 * [taylor]: Taking taylor expansion of (* d a) in c
0.937 * [taylor]: Taking taylor expansion of d in c
0.937 * [taylor]: Taking taylor expansion of a in c
0.937 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
0.937 * [taylor]: Taking taylor expansion of (* b c) in b
0.937 * [taylor]: Taking taylor expansion of b in b
0.937 * [taylor]: Taking taylor expansion of c in b
0.937 * [taylor]: Taking taylor expansion of (* d a) in b
0.937 * [taylor]: Taking taylor expansion of d in b
0.937 * [taylor]: Taking taylor expansion of a in b
0.937 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
0.937 * [taylor]: Taking taylor expansion of (* b c) in b
0.937 * [taylor]: Taking taylor expansion of b in b
0.938 * [taylor]: Taking taylor expansion of c in b
0.938 * [taylor]: Taking taylor expansion of (* d a) in b
0.938 * [taylor]: Taking taylor expansion of d in b
0.938 * [taylor]: Taking taylor expansion of a in b
0.938 * [taylor]: Taking taylor expansion of (neg (* d a)) in c
0.938 * [taylor]: Taking taylor expansion of (* d a) in c
0.938 * [taylor]: Taking taylor expansion of d in c
0.938 * [taylor]: Taking taylor expansion of a in c
0.938 * [taylor]: Taking taylor expansion of (neg (* d a)) in a
0.938 * [taylor]: Taking taylor expansion of (* d a) in a
0.938 * [taylor]: Taking taylor expansion of d in a
0.938 * [taylor]: Taking taylor expansion of a in a
0.938 * [taylor]: Taking taylor expansion of 0 in d
0.938 * [taylor]: Taking taylor expansion of c in c
0.938 * [taylor]: Taking taylor expansion of 0 in a
0.938 * [taylor]: Taking taylor expansion of 0 in d
0.938 * [taylor]: Taking taylor expansion of 0 in a
0.938 * [taylor]: Taking taylor expansion of 0 in d
0.938 * [taylor]: Taking taylor expansion of (neg d) in d
0.938 * [taylor]: Taking taylor expansion of d in d
0.938 * [taylor]: Taking taylor expansion of 0 in c
0.938 * [taylor]: Taking taylor expansion of 0 in a
0.938 * [taylor]: Taking taylor expansion of 0 in d
0.939 * [approximate]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in (b c a d) around 0
0.939 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
0.939 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
0.939 * [taylor]: Taking taylor expansion of (* b c) in d
0.939 * [taylor]: Taking taylor expansion of b in d
0.939 * [taylor]: Taking taylor expansion of c in d
0.939 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
0.939 * [taylor]: Taking taylor expansion of (* d a) in d
0.939 * [taylor]: Taking taylor expansion of d in d
0.939 * [taylor]: Taking taylor expansion of a in d
0.939 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
0.939 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
0.939 * [taylor]: Taking taylor expansion of (* b c) in a
0.939 * [taylor]: Taking taylor expansion of b in a
0.939 * [taylor]: Taking taylor expansion of c in a
0.939 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
0.939 * [taylor]: Taking taylor expansion of (* d a) in a
0.939 * [taylor]: Taking taylor expansion of d in a
0.939 * [taylor]: Taking taylor expansion of a in a
0.939 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
0.939 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
0.939 * [taylor]: Taking taylor expansion of (* b c) in c
0.939 * [taylor]: Taking taylor expansion of b in c
0.939 * [taylor]: Taking taylor expansion of c in c
0.939 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
0.939 * [taylor]: Taking taylor expansion of (* d a) in c
0.939 * [taylor]: Taking taylor expansion of d in c
0.939 * [taylor]: Taking taylor expansion of a in c
0.939 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
0.939 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
0.939 * [taylor]: Taking taylor expansion of (* b c) in b
0.939 * [taylor]: Taking taylor expansion of b in b
0.939 * [taylor]: Taking taylor expansion of c in b
0.939 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
0.939 * [taylor]: Taking taylor expansion of (* d a) in b
0.940 * [taylor]: Taking taylor expansion of d in b
0.940 * [taylor]: Taking taylor expansion of a in b
0.940 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
0.940 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
0.940 * [taylor]: Taking taylor expansion of (* b c) in b
0.940 * [taylor]: Taking taylor expansion of b in b
0.940 * [taylor]: Taking taylor expansion of c in b
0.940 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
0.940 * [taylor]: Taking taylor expansion of (* d a) in b
0.940 * [taylor]: Taking taylor expansion of d in b
0.940 * [taylor]: Taking taylor expansion of a in b
0.940 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.940 * [taylor]: Taking taylor expansion of c in c
0.940 * [taylor]: Taking taylor expansion of 1 in a
0.940 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in c
0.940 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
0.940 * [taylor]: Taking taylor expansion of (* d a) in c
0.940 * [taylor]: Taking taylor expansion of d in c
0.940 * [taylor]: Taking taylor expansion of a in c
0.940 * [taylor]: Taking taylor expansion of 0 in a
0.940 * [taylor]: Taking taylor expansion of 1 in d
0.941 * [taylor]: Taking taylor expansion of 0 in c
0.941 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in a
0.941 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
0.941 * [taylor]: Taking taylor expansion of (* d a) in a
0.941 * [taylor]: Taking taylor expansion of d in a
0.941 * [taylor]: Taking taylor expansion of a in a
0.941 * [taylor]: Taking taylor expansion of (neg (/ 1 d)) in d
0.941 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.941 * [taylor]: Taking taylor expansion of d in d
0.941 * [taylor]: Taking taylor expansion of 0 in a
0.941 * [taylor]: Taking taylor expansion of 0 in d
0.941 * [taylor]: Taking taylor expansion of 0 in d
0.941 * [taylor]: Taking taylor expansion of 0 in c
0.941 * [taylor]: Taking taylor expansion of 0 in a
0.942 * [taylor]: Taking taylor expansion of 0 in a
0.942 * [taylor]: Taking taylor expansion of 0 in a
0.942 * [taylor]: Taking taylor expansion of 0 in d
0.942 * [taylor]: Taking taylor expansion of 0 in d
0.942 * [taylor]: Taking taylor expansion of 0 in d
0.942 * [taylor]: Taking taylor expansion of 0 in d
0.942 * [taylor]: Taking taylor expansion of 0 in c
0.942 * [taylor]: Taking taylor expansion of 0 in a
0.942 * [taylor]: Taking taylor expansion of 0 in a
0.943 * [taylor]: Taking taylor expansion of 0 in a
0.943 * [taylor]: Taking taylor expansion of 0 in a
0.943 * [taylor]: Taking taylor expansion of 0 in d
0.943 * [taylor]: Taking taylor expansion of 0 in d
0.943 * [taylor]: Taking taylor expansion of 0 in d
0.943 * [taylor]: Taking taylor expansion of 0 in d
0.943 * [taylor]: Taking taylor expansion of 0 in d
0.943 * [taylor]: Taking taylor expansion of 0 in d
0.943 * [taylor]: Taking taylor expansion of 0 in d
0.943 * [approximate]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in (b c a d) around 0
0.943 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
0.943 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
0.943 * [taylor]: Taking taylor expansion of (* b c) in d
0.943 * [taylor]: Taking taylor expansion of b in d
0.943 * [taylor]: Taking taylor expansion of c in d
0.944 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
0.944 * [taylor]: Taking taylor expansion of (* d a) in d
0.944 * [taylor]: Taking taylor expansion of d in d
0.944 * [taylor]: Taking taylor expansion of a in d
0.944 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
0.944 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
0.944 * [taylor]: Taking taylor expansion of (* b c) in a
0.944 * [taylor]: Taking taylor expansion of b in a
0.944 * [taylor]: Taking taylor expansion of c in a
0.944 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
0.944 * [taylor]: Taking taylor expansion of (* d a) in a
0.944 * [taylor]: Taking taylor expansion of d in a
0.944 * [taylor]: Taking taylor expansion of a in a
0.944 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
0.944 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
0.944 * [taylor]: Taking taylor expansion of (* b c) in c
0.944 * [taylor]: Taking taylor expansion of b in c
0.944 * [taylor]: Taking taylor expansion of c in c
0.944 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
0.944 * [taylor]: Taking taylor expansion of (* d a) in c
0.944 * [taylor]: Taking taylor expansion of d in c
0.944 * [taylor]: Taking taylor expansion of a in c
0.944 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
0.944 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
0.944 * [taylor]: Taking taylor expansion of (* b c) in b
0.944 * [taylor]: Taking taylor expansion of b in b
0.944 * [taylor]: Taking taylor expansion of c in b
0.944 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
0.944 * [taylor]: Taking taylor expansion of (* d a) in b
0.944 * [taylor]: Taking taylor expansion of d in b
0.944 * [taylor]: Taking taylor expansion of a in b
0.944 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
0.944 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
0.944 * [taylor]: Taking taylor expansion of (* b c) in b
0.944 * [taylor]: Taking taylor expansion of b in b
0.944 * [taylor]: Taking taylor expansion of c in b
0.945 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
0.945 * [taylor]: Taking taylor expansion of (* d a) in b
0.945 * [taylor]: Taking taylor expansion of d in b
0.945 * [taylor]: Taking taylor expansion of a in b
0.945 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.945 * [taylor]: Taking taylor expansion of c in c
0.945 * [taylor]: Taking taylor expansion of 1 in a
0.945 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in c
0.945 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
0.945 * [taylor]: Taking taylor expansion of (* d a) in c
0.945 * [taylor]: Taking taylor expansion of d in c
0.945 * [taylor]: Taking taylor expansion of a in c
0.945 * [taylor]: Taking taylor expansion of 0 in a
0.945 * [taylor]: Taking taylor expansion of 1 in d
0.945 * [taylor]: Taking taylor expansion of 0 in c
0.945 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in a
0.946 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
0.946 * [taylor]: Taking taylor expansion of (* d a) in a
0.946 * [taylor]: Taking taylor expansion of d in a
0.946 * [taylor]: Taking taylor expansion of a in a
0.946 * [taylor]: Taking taylor expansion of (neg (/ 1 d)) in d
0.946 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.946 * [taylor]: Taking taylor expansion of d in d
0.946 * [taylor]: Taking taylor expansion of 0 in a
0.946 * [taylor]: Taking taylor expansion of 0 in d
0.946 * [taylor]: Taking taylor expansion of 0 in d
0.946 * [taylor]: Taking taylor expansion of 0 in c
0.946 * [taylor]: Taking taylor expansion of 0 in a
0.946 * [taylor]: Taking taylor expansion of 0 in a
0.946 * [taylor]: Taking taylor expansion of 0 in a
0.947 * [taylor]: Taking taylor expansion of 0 in d
0.947 * [taylor]: Taking taylor expansion of 0 in d
0.947 * [taylor]: Taking taylor expansion of 0 in d
0.947 * [taylor]: Taking taylor expansion of 0 in d
0.947 * [taylor]: Taking taylor expansion of 0 in c
0.947 * [taylor]: Taking taylor expansion of 0 in a
0.947 * [taylor]: Taking taylor expansion of 0 in a
0.947 * [taylor]: Taking taylor expansion of 0 in a
0.947 * [taylor]: Taking taylor expansion of 0 in a
0.947 * [taylor]: Taking taylor expansion of 0 in d
0.947 * [taylor]: Taking taylor expansion of 0 in d
0.947 * [taylor]: Taking taylor expansion of 0 in d
0.948 * [taylor]: Taking taylor expansion of 0 in d
0.948 * [taylor]: Taking taylor expansion of 0 in d
0.948 * [taylor]: Taking taylor expansion of 0 in d
0.948 * [taylor]: Taking taylor expansion of 0 in d
0.948 * * * [progress]: simplifying candidates
0.949 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (sqrt (+ (* c c) (* d d))))
  (exp (sqrt (+ (* c c) (* d d))))
  (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (cbrt (sqrt (+ (* c c) (* d d))))
  (* (* (sqrt (+ (* c c) (* d d))) (sqrt (+ (* c c) (* d d)))) (sqrt (+ (* c c) (* d d))))
  (sqrt (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d)))))
  (sqrt (cbrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt 1)
  (sqrt (+ (* c c) (* d d)))
  (sqrt (+ (pow (* c c) 3) (pow (* d d) 3)))
  (sqrt (+ (* (* c c) (* c c)) (- (* (* d d) (* d d)) (* (* c c) (* d d)))))
  (sqrt (- (* (* c c) (* c c)) (* (* d d) (* d d))))
  (sqrt (- (* c c) (* d d)))
  (/ 1 2)
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (log (sqrt (+ (* c c) (* d d))))
  (exp (sqrt (+ (* c c) (* d d))))
  (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (cbrt (sqrt (+ (* c c) (* d d))))
  (* (* (sqrt (+ (* c c) (* d d))) (sqrt (+ (* c c) (* d d)))) (sqrt (+ (* c c) (* d d))))
  (sqrt (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d)))))
  (sqrt (cbrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt 1)
  (sqrt (+ (* c c) (* d d)))
  (sqrt (+ (pow (* c c) 3) (pow (* d d) 3)))
  (sqrt (+ (* (* c c) (* c c)) (- (* (* d d) (* d d)) (* (* c c) (* d d)))))
  (sqrt (- (* (* c c) (* c c)) (* (* d d) (* d d))))
  (sqrt (- (* c c) (* d d)))
  (/ 1 2)
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (- (log (- (* b c) (* a d))) (log (sqrt (+ (* c c) (* d d)))))
  (log (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (exp (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (/ (* (* (- (* b c) (* a d)) (- (* b c) (* a d))) (- (* b c) (* a d))) (* (* (sqrt (+ (* c c) (* d d))) (sqrt (+ (* c c) (* d d)))) (sqrt (+ (* c c) (* d d)))))
  (* (cbrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))) (cbrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))))
  (cbrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (* (* (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))) (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (sqrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (sqrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (neg (- (* b c) (* a d)))
  (neg (sqrt (+ (* c c) (* d d))))
  (/ (* b c) (sqrt (+ (* c c) (* d d))))
  (/ (* a d) (sqrt (+ (* c c) (* d d))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (cbrt (- (* b c) (* a d))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (sqrt (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d))))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (cbrt (+ (* c c) (* d d)))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (sqrt 1))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) 1)
  (/ (cbrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (- (* b c) (* a d))) (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (sqrt (- (* b c) (* a d))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d))))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (cbrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt 1))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) 1)
  (/ (sqrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ 1 (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (- (* b c) (* a d)) (cbrt (sqrt (+ (* c c) (* d d)))))
  (/ 1 (sqrt (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d))))))
  (/ (- (* b c) (* a d)) (sqrt (cbrt (+ (* c c) (* d d)))))
  (/ 1 (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ 1 (sqrt 1))
  (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
  (/ 1 (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ 1 1)
  (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
  (/ 1 (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))
  (/ (- (* b c) (* a d)) (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (- (* b c) (* a d)) (sqrt (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d))))))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt 1))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) 1)
  (/ (sqrt (+ (* c c) (* d d))) (cbrt (- (* b c) (* a d))))
  (/ (sqrt (+ (* c c) (* d d))) (sqrt (- (* b c) (* a d))))
  (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))
  (/ (- (* b c) (* a d)) (sqrt (+ (pow (* c c) 3) (pow (* d d) 3))))
  (/ (- (* b c) (* a d)) (sqrt (- (* (* c c) (* c c)) (* (* d d) (* d d)))))
  (* (sqrt (+ (* c c) (* d d))) (+ (* (* b c) (* b c)) (+ (* (* a d) (* a d)) (* (* b c) (* a d)))))
  (* (sqrt (+ (* c c) (* d d))) (+ (* b c) (* a d)))
  (/ (exp (* b c)) (exp (* a d)))
  (log (- (* b c) (* a d)))
  (exp (- (* b c) (* a d)))
  (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d))))
  (cbrt (- (* b c) (* a d)))
  (* (* (- (* b c) (* a d)) (- (* b c) (* a d))) (- (* b c) (* a d)))
  (sqrt (- (* b c) (* a d)))
  (sqrt (- (* b c) (* a d)))
  (- (pow (* b c) 3) (pow (* a d) 3))
  (+ (* (* b c) (* b c)) (+ (* (* a d) (* a d)) (* (* b c) (* a d))))
  (neg (* a d))
  (- (* (* b c) (* b c)) (* (* a d) (* a d)))
  (+ (* b c) (* a d))
  (neg (* a d))
  d
  c
  (* -1 c)
  d
  c
  (* -1 c)
  (* -1 a)
  b
  (* -1 b)
  0
  (- (* b c) (* d a))
  (- (* b c) (* d a))
0.956 * * [simplify]: iteration  0 :  304  enodes  (cost  910 )
0.962 * * [simplify]: iteration  1 :  990  enodes  (cost  857 )
0.982 * * [simplify]: iteration  2 :  3340  enodes  (cost  845 )
1.052 * * [simplify]: iteration  3 :  5003  enodes  (cost  845 )
1.057 * [simplify]: Simplified to:
   (log (sqrt (+ (* c c) (* d d))))
  (exp (sqrt (+ (* c c) (* d d))))
  (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (cbrt (sqrt (+ (* c c) (* d d))))
  (pow (sqrt (+ (* c c) (* d d))) 3)
  (fabs (cbrt (+ (* c c) (* d d))))
  (sqrt (cbrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  1
  (sqrt (+ (* c c) (* d d)))
  (sqrt (+ (pow (* c c) 3) (pow (* d d) 3)))
  (sqrt (+ (* (* c c) (* c c)) (- (* (* d d) (* d d)) (* (* c c) (* d d)))))
  (sqrt (- (* (* c c) (* c c)) (* (* d d) (* d d))))
  (sqrt (- (* c c) (* d d)))
  1/2
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (log (sqrt (+ (* c c) (* d d))))
  (exp (sqrt (+ (* c c) (* d d))))
  (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (cbrt (sqrt (+ (* c c) (* d d))))
  (pow (sqrt (+ (* c c) (* d d))) 3)
  (fabs (cbrt (+ (* c c) (* d d))))
  (sqrt (cbrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  1
  (sqrt (+ (* c c) (* d d)))
  (sqrt (+ (pow (* c c) 3) (pow (* d d) 3)))
  (sqrt (+ (* (* c c) (* c c)) (- (* (* d d) (* d d)) (* (* c c) (* d d)))))
  (sqrt (- (* (* c c) (* c c)) (* (* d d) (* d d))))
  (sqrt (- (* c c) (* d d)))
  1/2
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (log (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (log (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (exp (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (pow (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) 3)
  (* (cbrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))) (cbrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))))
  (cbrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (pow (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) 3)
  (sqrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (sqrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (neg (- (* b c) (* a d)))
  (neg (sqrt (+ (* c c) (* d d))))
  (/ (* b c) (sqrt (+ (* c c) (* d d))))
  (/ (* a d) (sqrt (+ (* c c) (* d d))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (cbrt (- (* b c) (* a d))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (/ (cbrt (- (* b c) (* a d))) (/ (fabs (cbrt (+ (* c c) (* d d)))) (cbrt (- (* b c) (* a d)))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (cbrt (+ (* c c) (* d d)))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (- (* b c) (* a d))) (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (sqrt (- (* b c) (* a d))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (fabs (cbrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (cbrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (sqrt (- (* b c) (* a d)))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (sqrt (- (* b c) (* a d)))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ 1 (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (- (* b c) (* a d)) (cbrt (sqrt (+ (* c c) (* d d)))))
  (/ 1 (* (fabs (cbrt (+ (* c c) (* d d)))) 1))
  (/ (- (* b c) (* a d)) (sqrt (cbrt (+ (* c c) (* d d)))))
  (/ 1 (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  1
  (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
  (/ 1 (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  1
  (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
  (/ 1 (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))
  (/ (- (* b c) (* a d)) (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (- (* b c) (* a d)) (fabs (cbrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  (- (* b c) (* a d))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  (- (* b c) (* a d))
  (/ (sqrt (+ (* c c) (* d d))) (cbrt (- (* b c) (* a d))))
  (/ (sqrt (+ (* c c) (* d d))) (sqrt (- (* b c) (* a d))))
  (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))
  (/ (- (* b c) (* a d)) (sqrt (+ (pow (* c c) 3) (pow (* d d) 3))))
  (/ (- (* b c) (* a d)) (sqrt (- (* (* c c) (* c c)) (* (* d d) (* d d)))))
  (* (+ (* (* a d) (+ (* a d) (* b c))) (* (* b c) (* b c))) (sqrt (+ (* c c) (* d d))))
  (* (sqrt (+ (* c c) (* d d))) (+ (* b c) (* a d)))
  (exp (- (* b c) (* a d)))
  (log (- (* b c) (* a d)))
  (exp (- (* b c) (* a d)))
  (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d))))
  (cbrt (- (* b c) (* a d)))
  (pow (- (* b c) (* a d)) 3)
  (sqrt (- (* b c) (* a d)))
  (sqrt (- (* b c) (* a d)))
  (- (pow (* b c) 3) (pow (* a d) 3))
  (+ (* (* a d) (+ (* a d) (* b c))) (* (* b c) (* b c)))
  (neg (* a d))
  (- (* (* b c) (* b c)) (* (* a d) (* a d)))
  (+ (* b c) (* a d))
  (neg (* a d))
  d
  c
  (* -1 c)
  d
  c
  (* -1 c)
  (* -1 a)
  b
  (* -1 b)
  0
  (- (* b c) (* a d))
  (- (* b c) (* a d))
1.058 * * * [progress]: adding candidates to table
1.159 * * [progress]: iteration 3 / 4
1.159 * * * [progress]: picking best candidate
1.199 * * * * [pick]: Picked  #<alt (λ (a b c d) (* (/ 1 (sqrt (+ (* c c) (* d d)))) (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))))>
1.199 * * * [progress]: localizing error
1.214 * * * [progress]: generating rewritten candidates
1.214 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
1.218 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
1.222 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
1.232 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
1.238 * * * [progress]: generating series expansions
1.238 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
1.238 * [approximate]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in (c d) around 0
1.238 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in d
1.238 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in d
1.238 * [taylor]: Taking taylor expansion of (pow d 2) in d
1.238 * [taylor]: Taking taylor expansion of d in d
1.238 * [taylor]: Taking taylor expansion of (pow c 2) in d
1.238 * [taylor]: Taking taylor expansion of c in d
1.239 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
1.239 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
1.239 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.239 * [taylor]: Taking taylor expansion of d in c
1.239 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.239 * [taylor]: Taking taylor expansion of c in c
1.239 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
1.239 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
1.239 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.239 * [taylor]: Taking taylor expansion of d in c
1.239 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.239 * [taylor]: Taking taylor expansion of c in c
1.239 * [taylor]: Taking taylor expansion of d in d
1.240 * [taylor]: Taking taylor expansion of 0 in d
1.240 * [taylor]: Taking taylor expansion of (/ 1/2 d) in d
1.240 * [taylor]: Taking taylor expansion of 1/2 in d
1.240 * [taylor]: Taking taylor expansion of d in d
1.240 * [taylor]: Taking taylor expansion of 0 in d
1.240 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (c d) around 0
1.240 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
1.240 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
1.240 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
1.240 * [taylor]: Taking taylor expansion of (pow c 2) in d
1.240 * [taylor]: Taking taylor expansion of c in d
1.240 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
1.240 * [taylor]: Taking taylor expansion of (pow d 2) in d
1.240 * [taylor]: Taking taylor expansion of d in d
1.241 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.241 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.241 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.241 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.241 * [taylor]: Taking taylor expansion of c in c
1.241 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.241 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.241 * [taylor]: Taking taylor expansion of d in c
1.241 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.241 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.241 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.241 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.241 * [taylor]: Taking taylor expansion of c in c
1.241 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.241 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.241 * [taylor]: Taking taylor expansion of d in c
1.241 * [taylor]: Taking taylor expansion of 1 in d
1.241 * [taylor]: Taking taylor expansion of 0 in d
1.242 * [taylor]: Taking taylor expansion of (/ 1/2 (pow d 2)) in d
1.242 * [taylor]: Taking taylor expansion of 1/2 in d
1.242 * [taylor]: Taking taylor expansion of (pow d 2) in d
1.242 * [taylor]: Taking taylor expansion of d in d
1.242 * [taylor]: Taking taylor expansion of 0 in d
1.243 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (c d) around 0
1.243 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
1.243 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
1.243 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
1.243 * [taylor]: Taking taylor expansion of (pow c 2) in d
1.243 * [taylor]: Taking taylor expansion of c in d
1.243 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
1.243 * [taylor]: Taking taylor expansion of (pow d 2) in d
1.243 * [taylor]: Taking taylor expansion of d in d
1.243 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.243 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.243 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.243 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.243 * [taylor]: Taking taylor expansion of c in c
1.243 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.243 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.243 * [taylor]: Taking taylor expansion of d in c
1.243 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.243 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.243 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.243 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.243 * [taylor]: Taking taylor expansion of c in c
1.243 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.243 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.243 * [taylor]: Taking taylor expansion of d in c
1.244 * [taylor]: Taking taylor expansion of 1 in d
1.244 * [taylor]: Taking taylor expansion of 0 in d
1.244 * [taylor]: Taking taylor expansion of (/ 1/2 (pow d 2)) in d
1.244 * [taylor]: Taking taylor expansion of 1/2 in d
1.244 * [taylor]: Taking taylor expansion of (pow d 2) in d
1.244 * [taylor]: Taking taylor expansion of d in d
1.245 * [taylor]: Taking taylor expansion of 0 in d
1.245 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
1.245 * [approximate]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in (c d) around 0
1.245 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in d
1.245 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in d
1.245 * [taylor]: Taking taylor expansion of (pow d 2) in d
1.245 * [taylor]: Taking taylor expansion of d in d
1.245 * [taylor]: Taking taylor expansion of (pow c 2) in d
1.245 * [taylor]: Taking taylor expansion of c in d
1.245 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
1.245 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
1.245 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.245 * [taylor]: Taking taylor expansion of d in c
1.245 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.245 * [taylor]: Taking taylor expansion of c in c
1.246 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
1.246 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
1.246 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.246 * [taylor]: Taking taylor expansion of d in c
1.246 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.246 * [taylor]: Taking taylor expansion of c in c
1.246 * [taylor]: Taking taylor expansion of d in d
1.246 * [taylor]: Taking taylor expansion of 0 in d
1.246 * [taylor]: Taking taylor expansion of (/ 1/2 d) in d
1.246 * [taylor]: Taking taylor expansion of 1/2 in d
1.246 * [taylor]: Taking taylor expansion of d in d
1.246 * [taylor]: Taking taylor expansion of 0 in d
1.247 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (c d) around 0
1.247 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
1.247 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
1.247 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
1.247 * [taylor]: Taking taylor expansion of (pow c 2) in d
1.247 * [taylor]: Taking taylor expansion of c in d
1.247 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
1.247 * [taylor]: Taking taylor expansion of (pow d 2) in d
1.247 * [taylor]: Taking taylor expansion of d in d
1.247 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.247 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.247 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.247 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.247 * [taylor]: Taking taylor expansion of c in c
1.247 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.247 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.247 * [taylor]: Taking taylor expansion of d in c
1.247 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.247 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.247 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.247 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.248 * [taylor]: Taking taylor expansion of c in c
1.248 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.248 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.248 * [taylor]: Taking taylor expansion of d in c
1.248 * [taylor]: Taking taylor expansion of 1 in d
1.248 * [taylor]: Taking taylor expansion of 0 in d
1.248 * [taylor]: Taking taylor expansion of (/ 1/2 (pow d 2)) in d
1.248 * [taylor]: Taking taylor expansion of 1/2 in d
1.248 * [taylor]: Taking taylor expansion of (pow d 2) in d
1.248 * [taylor]: Taking taylor expansion of d in d
1.249 * [taylor]: Taking taylor expansion of 0 in d
1.249 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (c d) around 0
1.249 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
1.249 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
1.249 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
1.249 * [taylor]: Taking taylor expansion of (pow c 2) in d
1.249 * [taylor]: Taking taylor expansion of c in d
1.249 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
1.249 * [taylor]: Taking taylor expansion of (pow d 2) in d
1.249 * [taylor]: Taking taylor expansion of d in d
1.249 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.249 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.249 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.249 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.249 * [taylor]: Taking taylor expansion of c in c
1.250 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.250 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.250 * [taylor]: Taking taylor expansion of d in c
1.250 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.250 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.250 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.250 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.250 * [taylor]: Taking taylor expansion of c in c
1.250 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.250 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.250 * [taylor]: Taking taylor expansion of d in c
1.250 * [taylor]: Taking taylor expansion of 1 in d
1.250 * [taylor]: Taking taylor expansion of 0 in d
1.250 * [taylor]: Taking taylor expansion of (/ 1/2 (pow d 2)) in d
1.251 * [taylor]: Taking taylor expansion of 1/2 in d
1.251 * [taylor]: Taking taylor expansion of (pow d 2) in d
1.251 * [taylor]: Taking taylor expansion of d in d
1.251 * [taylor]: Taking taylor expansion of 0 in d
1.251 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
1.251 * [approximate]: Taking taylor expansion of (* (- (* b c) (* d a)) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in (b c a d) around 0
1.251 * [taylor]: Taking taylor expansion of (* (- (* b c) (* d a)) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in d
1.251 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in d
1.251 * [taylor]: Taking taylor expansion of (* b c) in d
1.251 * [taylor]: Taking taylor expansion of b in d
1.252 * [taylor]: Taking taylor expansion of c in d
1.252 * [taylor]: Taking taylor expansion of (* d a) in d
1.252 * [taylor]: Taking taylor expansion of d in d
1.252 * [taylor]: Taking taylor expansion of a in d
1.252 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in d
1.252 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in d
1.252 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in d
1.252 * [taylor]: Taking taylor expansion of (pow d 2) in d
1.252 * [taylor]: Taking taylor expansion of d in d
1.252 * [taylor]: Taking taylor expansion of (pow c 2) in d
1.252 * [taylor]: Taking taylor expansion of c in d
1.252 * [taylor]: Taking taylor expansion of (* (- (* b c) (* d a)) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in a
1.252 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in a
1.252 * [taylor]: Taking taylor expansion of (* b c) in a
1.252 * [taylor]: Taking taylor expansion of b in a
1.252 * [taylor]: Taking taylor expansion of c in a
1.252 * [taylor]: Taking taylor expansion of (* d a) in a
1.252 * [taylor]: Taking taylor expansion of d in a
1.252 * [taylor]: Taking taylor expansion of a in a
1.252 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in a
1.252 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in a
1.252 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in a
1.252 * [taylor]: Taking taylor expansion of (pow d 2) in a
1.252 * [taylor]: Taking taylor expansion of d in a
1.252 * [taylor]: Taking taylor expansion of (pow c 2) in a
1.252 * [taylor]: Taking taylor expansion of c in a
1.253 * [taylor]: Taking taylor expansion of (* (- (* b c) (* d a)) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in c
1.253 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in c
1.253 * [taylor]: Taking taylor expansion of (* b c) in c
1.254 * [taylor]: Taking taylor expansion of b in c
1.254 * [taylor]: Taking taylor expansion of c in c
1.254 * [taylor]: Taking taylor expansion of (* d a) in c
1.254 * [taylor]: Taking taylor expansion of d in c
1.254 * [taylor]: Taking taylor expansion of a in c
1.254 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in c
1.254 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in c
1.254 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
1.254 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.254 * [taylor]: Taking taylor expansion of d in c
1.254 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.254 * [taylor]: Taking taylor expansion of c in c
1.254 * [taylor]: Taking taylor expansion of (* (- (* b c) (* d a)) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in b
1.254 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
1.254 * [taylor]: Taking taylor expansion of (* b c) in b
1.254 * [taylor]: Taking taylor expansion of b in b
1.254 * [taylor]: Taking taylor expansion of c in b
1.254 * [taylor]: Taking taylor expansion of (* d a) in b
1.254 * [taylor]: Taking taylor expansion of d in b
1.254 * [taylor]: Taking taylor expansion of a in b
1.254 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in b
1.254 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in b
1.254 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in b
1.254 * [taylor]: Taking taylor expansion of (pow d 2) in b
1.254 * [taylor]: Taking taylor expansion of d in b
1.254 * [taylor]: Taking taylor expansion of (pow c 2) in b
1.254 * [taylor]: Taking taylor expansion of c in b
1.255 * [taylor]: Taking taylor expansion of (* (- (* b c) (* d a)) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in b
1.255 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
1.255 * [taylor]: Taking taylor expansion of (* b c) in b
1.255 * [taylor]: Taking taylor expansion of b in b
1.255 * [taylor]: Taking taylor expansion of c in b
1.255 * [taylor]: Taking taylor expansion of (* d a) in b
1.255 * [taylor]: Taking taylor expansion of d in b
1.255 * [taylor]: Taking taylor expansion of a in b
1.255 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in b
1.255 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in b
1.255 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in b
1.255 * [taylor]: Taking taylor expansion of (pow d 2) in b
1.255 * [taylor]: Taking taylor expansion of d in b
1.255 * [taylor]: Taking taylor expansion of (pow c 2) in b
1.255 * [taylor]: Taking taylor expansion of c in b
1.256 * [taylor]: Taking taylor expansion of (* -1 (* (* d a) (sqrt (/ 1 (+ (pow d 2) (pow c 2)))))) in c
1.257 * [taylor]: Taking taylor expansion of -1 in c
1.257 * [taylor]: Taking taylor expansion of (* (* d a) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in c
1.257 * [taylor]: Taking taylor expansion of (* d a) in c
1.257 * [taylor]: Taking taylor expansion of d in c
1.257 * [taylor]: Taking taylor expansion of a in c
1.257 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in c
1.257 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in c
1.257 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
1.257 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.257 * [taylor]: Taking taylor expansion of d in c
1.257 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.257 * [taylor]: Taking taylor expansion of c in c
1.257 * [taylor]: Taking taylor expansion of (* -1 a) in a
1.257 * [taylor]: Taking taylor expansion of -1 in a
1.257 * [taylor]: Taking taylor expansion of a in a
1.257 * [taylor]: Taking taylor expansion of 0 in d
1.258 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) c) in c
1.258 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in c
1.258 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in c
1.258 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
1.258 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.258 * [taylor]: Taking taylor expansion of d in c
1.258 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.258 * [taylor]: Taking taylor expansion of c in c
1.258 * [taylor]: Taking taylor expansion of c in c
1.258 * [taylor]: Taking taylor expansion of 0 in a
1.258 * [taylor]: Taking taylor expansion of 0 in d
1.258 * [taylor]: Taking taylor expansion of 0 in a
1.258 * [taylor]: Taking taylor expansion of 0 in d
1.258 * [taylor]: Taking taylor expansion of (neg 1) in d
1.258 * [taylor]: Taking taylor expansion of 1 in d
1.259 * [taylor]: Taking taylor expansion of 0 in c
1.259 * [taylor]: Taking taylor expansion of 0 in a
1.259 * [taylor]: Taking taylor expansion of 0 in d
1.260 * [taylor]: Taking taylor expansion of (/ 1 d) in a
1.260 * [taylor]: Taking taylor expansion of d in a
1.260 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.260 * [taylor]: Taking taylor expansion of d in d
1.260 * [taylor]: Taking taylor expansion of (* 1/2 (/ a (pow d 2))) in a
1.261 * [taylor]: Taking taylor expansion of 1/2 in a
1.261 * [taylor]: Taking taylor expansion of (/ a (pow d 2)) in a
1.261 * [taylor]: Taking taylor expansion of a in a
1.261 * [taylor]: Taking taylor expansion of (pow d 2) in a
1.261 * [taylor]: Taking taylor expansion of d in a
1.261 * [taylor]: Taking taylor expansion of 0 in d
1.261 * [taylor]: Taking taylor expansion of 0 in d
1.261 * [taylor]: Taking taylor expansion of 0 in d
1.261 * [approximate]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in (b c a d) around 0
1.261 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in d
1.261 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
1.261 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
1.261 * [taylor]: Taking taylor expansion of (* b c) in d
1.261 * [taylor]: Taking taylor expansion of b in d
1.261 * [taylor]: Taking taylor expansion of c in d
1.261 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
1.261 * [taylor]: Taking taylor expansion of (* d a) in d
1.261 * [taylor]: Taking taylor expansion of d in d
1.261 * [taylor]: Taking taylor expansion of a in d
1.261 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in d
1.261 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
1.261 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
1.262 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
1.262 * [taylor]: Taking taylor expansion of (pow c 2) in d
1.262 * [taylor]: Taking taylor expansion of c in d
1.262 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
1.262 * [taylor]: Taking taylor expansion of (pow d 2) in d
1.262 * [taylor]: Taking taylor expansion of d in d
1.262 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in a
1.262 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
1.262 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
1.262 * [taylor]: Taking taylor expansion of (* b c) in a
1.262 * [taylor]: Taking taylor expansion of b in a
1.262 * [taylor]: Taking taylor expansion of c in a
1.262 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
1.262 * [taylor]: Taking taylor expansion of (* d a) in a
1.262 * [taylor]: Taking taylor expansion of d in a
1.262 * [taylor]: Taking taylor expansion of a in a
1.262 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in a
1.262 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in a
1.262 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in a
1.262 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in a
1.262 * [taylor]: Taking taylor expansion of (pow c 2) in a
1.262 * [taylor]: Taking taylor expansion of c in a
1.262 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
1.262 * [taylor]: Taking taylor expansion of (pow d 2) in a
1.262 * [taylor]: Taking taylor expansion of d in a
1.264 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in c
1.264 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
1.264 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
1.264 * [taylor]: Taking taylor expansion of (* b c) in c
1.264 * [taylor]: Taking taylor expansion of b in c
1.264 * [taylor]: Taking taylor expansion of c in c
1.264 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
1.264 * [taylor]: Taking taylor expansion of (* d a) in c
1.264 * [taylor]: Taking taylor expansion of d in c
1.264 * [taylor]: Taking taylor expansion of a in c
1.264 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
1.264 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.264 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.264 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.264 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.264 * [taylor]: Taking taylor expansion of c in c
1.264 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.264 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.264 * [taylor]: Taking taylor expansion of d in c
1.264 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in b
1.264 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
1.264 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
1.264 * [taylor]: Taking taylor expansion of (* b c) in b
1.264 * [taylor]: Taking taylor expansion of b in b
1.264 * [taylor]: Taking taylor expansion of c in b
1.264 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
1.264 * [taylor]: Taking taylor expansion of (* d a) in b
1.264 * [taylor]: Taking taylor expansion of d in b
1.265 * [taylor]: Taking taylor expansion of a in b
1.265 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in b
1.265 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
1.265 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
1.265 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
1.265 * [taylor]: Taking taylor expansion of (pow c 2) in b
1.265 * [taylor]: Taking taylor expansion of c in b
1.265 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
1.265 * [taylor]: Taking taylor expansion of (pow d 2) in b
1.265 * [taylor]: Taking taylor expansion of d in b
1.266 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in b
1.266 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
1.266 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
1.266 * [taylor]: Taking taylor expansion of (* b c) in b
1.266 * [taylor]: Taking taylor expansion of b in b
1.266 * [taylor]: Taking taylor expansion of c in b
1.266 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
1.266 * [taylor]: Taking taylor expansion of (* d a) in b
1.266 * [taylor]: Taking taylor expansion of d in b
1.266 * [taylor]: Taking taylor expansion of a in b
1.266 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in b
1.266 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
1.266 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
1.266 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
1.266 * [taylor]: Taking taylor expansion of (pow c 2) in b
1.266 * [taylor]: Taking taylor expansion of c in b
1.266 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
1.267 * [taylor]: Taking taylor expansion of (pow d 2) in b
1.267 * [taylor]: Taking taylor expansion of d in b
1.268 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) (/ 1 c)) in c
1.268 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
1.268 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.268 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.268 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.268 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.268 * [taylor]: Taking taylor expansion of c in c
1.268 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.268 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.268 * [taylor]: Taking taylor expansion of d in c
1.268 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.268 * [taylor]: Taking taylor expansion of c in c
1.268 * [taylor]: Taking taylor expansion of 1 in a
1.269 * [taylor]: Taking taylor expansion of (neg (* (/ 1 (* d a)) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))))) in c
1.269 * [taylor]: Taking taylor expansion of (* (/ 1 (* d a)) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in c
1.269 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
1.269 * [taylor]: Taking taylor expansion of (* d a) in c
1.269 * [taylor]: Taking taylor expansion of d in c
1.269 * [taylor]: Taking taylor expansion of a in c
1.269 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
1.269 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.269 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.269 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.269 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.269 * [taylor]: Taking taylor expansion of c in c
1.269 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.269 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.269 * [taylor]: Taking taylor expansion of d in c
1.270 * [taylor]: Taking taylor expansion of 0 in a
1.270 * [taylor]: Taking taylor expansion of 1 in d
1.271 * [taylor]: Taking taylor expansion of 0 in c
1.271 * [taylor]: Taking taylor expansion of 0 in a
1.271 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in a
1.271 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
1.271 * [taylor]: Taking taylor expansion of (* d a) in a
1.271 * [taylor]: Taking taylor expansion of d in a
1.271 * [taylor]: Taking taylor expansion of a in a
1.271 * [taylor]: Taking taylor expansion of (neg (/ 1 d)) in d
1.271 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.271 * [taylor]: Taking taylor expansion of d in d
1.272 * [taylor]: Taking taylor expansion of (neg (* 1/2 (/ 1 (pow d 2)))) in a
1.272 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow d 2))) in a
1.272 * [taylor]: Taking taylor expansion of 1/2 in a
1.272 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
1.272 * [taylor]: Taking taylor expansion of (pow d 2) in a
1.272 * [taylor]: Taking taylor expansion of d in a
1.272 * [taylor]: Taking taylor expansion of 0 in d
1.272 * [taylor]: Taking taylor expansion of 0 in d
1.274 * [taylor]: Taking taylor expansion of 0 in c
1.274 * [taylor]: Taking taylor expansion of 0 in a
1.274 * [taylor]: Taking taylor expansion of 0 in a
1.275 * [taylor]: Taking taylor expansion of 0 in a
1.275 * [taylor]: Taking taylor expansion of 0 in a
1.275 * [taylor]: Taking taylor expansion of 0 in d
1.275 * [taylor]: Taking taylor expansion of 0 in d
1.276 * [approximate]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in (b c a d) around 0
1.276 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in d
1.276 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
1.276 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
1.276 * [taylor]: Taking taylor expansion of (* b c) in d
1.276 * [taylor]: Taking taylor expansion of b in d
1.276 * [taylor]: Taking taylor expansion of c in d
1.276 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
1.276 * [taylor]: Taking taylor expansion of (* d a) in d
1.276 * [taylor]: Taking taylor expansion of d in d
1.276 * [taylor]: Taking taylor expansion of a in d
1.276 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in d
1.276 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
1.276 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
1.276 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
1.276 * [taylor]: Taking taylor expansion of (pow c 2) in d
1.276 * [taylor]: Taking taylor expansion of c in d
1.276 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
1.276 * [taylor]: Taking taylor expansion of (pow d 2) in d
1.276 * [taylor]: Taking taylor expansion of d in d
1.277 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in a
1.277 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
1.277 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
1.277 * [taylor]: Taking taylor expansion of (* b c) in a
1.277 * [taylor]: Taking taylor expansion of b in a
1.277 * [taylor]: Taking taylor expansion of c in a
1.277 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
1.277 * [taylor]: Taking taylor expansion of (* d a) in a
1.277 * [taylor]: Taking taylor expansion of d in a
1.277 * [taylor]: Taking taylor expansion of a in a
1.277 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in a
1.277 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in a
1.277 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in a
1.277 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in a
1.277 * [taylor]: Taking taylor expansion of (pow c 2) in a
1.277 * [taylor]: Taking taylor expansion of c in a
1.277 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
1.277 * [taylor]: Taking taylor expansion of (pow d 2) in a
1.277 * [taylor]: Taking taylor expansion of d in a
1.278 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in c
1.278 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
1.278 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
1.278 * [taylor]: Taking taylor expansion of (* b c) in c
1.278 * [taylor]: Taking taylor expansion of b in c
1.278 * [taylor]: Taking taylor expansion of c in c
1.278 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
1.278 * [taylor]: Taking taylor expansion of (* d a) in c
1.278 * [taylor]: Taking taylor expansion of d in c
1.279 * [taylor]: Taking taylor expansion of a in c
1.279 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
1.279 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.279 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.279 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.279 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.279 * [taylor]: Taking taylor expansion of c in c
1.279 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.279 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.279 * [taylor]: Taking taylor expansion of d in c
1.279 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in b
1.279 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
1.279 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
1.279 * [taylor]: Taking taylor expansion of (* b c) in b
1.279 * [taylor]: Taking taylor expansion of b in b
1.279 * [taylor]: Taking taylor expansion of c in b
1.279 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
1.279 * [taylor]: Taking taylor expansion of (* d a) in b
1.279 * [taylor]: Taking taylor expansion of d in b
1.279 * [taylor]: Taking taylor expansion of a in b
1.279 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in b
1.279 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
1.279 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
1.279 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
1.279 * [taylor]: Taking taylor expansion of (pow c 2) in b
1.279 * [taylor]: Taking taylor expansion of c in b
1.279 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
1.279 * [taylor]: Taking taylor expansion of (pow d 2) in b
1.279 * [taylor]: Taking taylor expansion of d in b
1.281 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in b
1.281 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
1.281 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
1.281 * [taylor]: Taking taylor expansion of (* b c) in b
1.281 * [taylor]: Taking taylor expansion of b in b
1.281 * [taylor]: Taking taylor expansion of c in b
1.281 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
1.281 * [taylor]: Taking taylor expansion of (* d a) in b
1.281 * [taylor]: Taking taylor expansion of d in b
1.281 * [taylor]: Taking taylor expansion of a in b
1.281 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in b
1.281 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
1.281 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
1.281 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
1.281 * [taylor]: Taking taylor expansion of (pow c 2) in b
1.281 * [taylor]: Taking taylor expansion of c in b
1.281 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
1.281 * [taylor]: Taking taylor expansion of (pow d 2) in b
1.281 * [taylor]: Taking taylor expansion of d in b
1.283 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) (/ 1 c)) in c
1.283 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
1.283 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.283 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.283 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.283 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.283 * [taylor]: Taking taylor expansion of c in c
1.283 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.283 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.283 * [taylor]: Taking taylor expansion of d in c
1.283 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.283 * [taylor]: Taking taylor expansion of c in c
1.283 * [taylor]: Taking taylor expansion of 1 in a
1.284 * [taylor]: Taking taylor expansion of (neg (* (/ 1 (* d a)) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))))) in c
1.284 * [taylor]: Taking taylor expansion of (* (/ 1 (* d a)) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in c
1.284 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
1.284 * [taylor]: Taking taylor expansion of (* d a) in c
1.284 * [taylor]: Taking taylor expansion of d in c
1.284 * [taylor]: Taking taylor expansion of a in c
1.284 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
1.284 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.284 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.284 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.284 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.284 * [taylor]: Taking taylor expansion of c in c
1.284 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.284 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.284 * [taylor]: Taking taylor expansion of d in c
1.284 * [taylor]: Taking taylor expansion of 0 in a
1.284 * [taylor]: Taking taylor expansion of 1 in d
1.286 * [taylor]: Taking taylor expansion of 0 in c
1.286 * [taylor]: Taking taylor expansion of 0 in a
1.286 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in a
1.286 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
1.286 * [taylor]: Taking taylor expansion of (* d a) in a
1.286 * [taylor]: Taking taylor expansion of d in a
1.286 * [taylor]: Taking taylor expansion of a in a
1.286 * [taylor]: Taking taylor expansion of (neg (/ 1 d)) in d
1.286 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.286 * [taylor]: Taking taylor expansion of d in d
1.287 * [taylor]: Taking taylor expansion of (neg (* 1/2 (/ 1 (pow d 2)))) in a
1.287 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow d 2))) in a
1.287 * [taylor]: Taking taylor expansion of 1/2 in a
1.287 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
1.287 * [taylor]: Taking taylor expansion of (pow d 2) in a
1.287 * [taylor]: Taking taylor expansion of d in a
1.287 * [taylor]: Taking taylor expansion of 0 in d
1.287 * [taylor]: Taking taylor expansion of 0 in d
1.292 * [taylor]: Taking taylor expansion of 0 in c
1.292 * [taylor]: Taking taylor expansion of 0 in a
1.292 * [taylor]: Taking taylor expansion of 0 in a
1.292 * [taylor]: Taking taylor expansion of 0 in a
1.293 * [taylor]: Taking taylor expansion of 0 in a
1.293 * [taylor]: Taking taylor expansion of 0 in d
1.293 * [taylor]: Taking taylor expansion of 0 in d
1.293 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
1.293 * [approximate]: Taking taylor expansion of (- (* b c) (* d a)) in (b c a d) around 0
1.293 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in d
1.293 * [taylor]: Taking taylor expansion of (* b c) in d
1.293 * [taylor]: Taking taylor expansion of b in d
1.294 * [taylor]: Taking taylor expansion of c in d
1.294 * [taylor]: Taking taylor expansion of (* d a) in d
1.294 * [taylor]: Taking taylor expansion of d in d
1.294 * [taylor]: Taking taylor expansion of a in d
1.294 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in a
1.294 * [taylor]: Taking taylor expansion of (* b c) in a
1.294 * [taylor]: Taking taylor expansion of b in a
1.294 * [taylor]: Taking taylor expansion of c in a
1.294 * [taylor]: Taking taylor expansion of (* d a) in a
1.294 * [taylor]: Taking taylor expansion of d in a
1.294 * [taylor]: Taking taylor expansion of a in a
1.294 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in c
1.294 * [taylor]: Taking taylor expansion of (* b c) in c
1.294 * [taylor]: Taking taylor expansion of b in c
1.294 * [taylor]: Taking taylor expansion of c in c
1.294 * [taylor]: Taking taylor expansion of (* d a) in c
1.294 * [taylor]: Taking taylor expansion of d in c
1.294 * [taylor]: Taking taylor expansion of a in c
1.294 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
1.294 * [taylor]: Taking taylor expansion of (* b c) in b
1.294 * [taylor]: Taking taylor expansion of b in b
1.294 * [taylor]: Taking taylor expansion of c in b
1.294 * [taylor]: Taking taylor expansion of (* d a) in b
1.294 * [taylor]: Taking taylor expansion of d in b
1.294 * [taylor]: Taking taylor expansion of a in b
1.294 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
1.294 * [taylor]: Taking taylor expansion of (* b c) in b
1.294 * [taylor]: Taking taylor expansion of b in b
1.294 * [taylor]: Taking taylor expansion of c in b
1.294 * [taylor]: Taking taylor expansion of (* d a) in b
1.294 * [taylor]: Taking taylor expansion of d in b
1.294 * [taylor]: Taking taylor expansion of a in b
1.294 * [taylor]: Taking taylor expansion of (neg (* d a)) in c
1.294 * [taylor]: Taking taylor expansion of (* d a) in c
1.294 * [taylor]: Taking taylor expansion of d in c
1.294 * [taylor]: Taking taylor expansion of a in c
1.294 * [taylor]: Taking taylor expansion of (neg (* d a)) in a
1.294 * [taylor]: Taking taylor expansion of (* d a) in a
1.294 * [taylor]: Taking taylor expansion of d in a
1.294 * [taylor]: Taking taylor expansion of a in a
1.294 * [taylor]: Taking taylor expansion of 0 in d
1.295 * [taylor]: Taking taylor expansion of c in c
1.295 * [taylor]: Taking taylor expansion of 0 in a
1.295 * [taylor]: Taking taylor expansion of 0 in d
1.295 * [taylor]: Taking taylor expansion of 0 in a
1.295 * [taylor]: Taking taylor expansion of 0 in d
1.295 * [taylor]: Taking taylor expansion of (neg d) in d
1.295 * [taylor]: Taking taylor expansion of d in d
1.295 * [taylor]: Taking taylor expansion of 0 in c
1.295 * [taylor]: Taking taylor expansion of 0 in a
1.295 * [taylor]: Taking taylor expansion of 0 in d
1.295 * [approximate]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in (b c a d) around 0
1.295 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
1.295 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
1.295 * [taylor]: Taking taylor expansion of (* b c) in d
1.295 * [taylor]: Taking taylor expansion of b in d
1.295 * [taylor]: Taking taylor expansion of c in d
1.295 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
1.295 * [taylor]: Taking taylor expansion of (* d a) in d
1.295 * [taylor]: Taking taylor expansion of d in d
1.295 * [taylor]: Taking taylor expansion of a in d
1.296 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
1.296 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
1.296 * [taylor]: Taking taylor expansion of (* b c) in a
1.296 * [taylor]: Taking taylor expansion of b in a
1.296 * [taylor]: Taking taylor expansion of c in a
1.296 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
1.296 * [taylor]: Taking taylor expansion of (* d a) in a
1.296 * [taylor]: Taking taylor expansion of d in a
1.296 * [taylor]: Taking taylor expansion of a in a
1.296 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
1.296 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
1.296 * [taylor]: Taking taylor expansion of (* b c) in c
1.296 * [taylor]: Taking taylor expansion of b in c
1.296 * [taylor]: Taking taylor expansion of c in c
1.296 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
1.296 * [taylor]: Taking taylor expansion of (* d a) in c
1.296 * [taylor]: Taking taylor expansion of d in c
1.296 * [taylor]: Taking taylor expansion of a in c
1.296 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
1.296 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
1.296 * [taylor]: Taking taylor expansion of (* b c) in b
1.296 * [taylor]: Taking taylor expansion of b in b
1.296 * [taylor]: Taking taylor expansion of c in b
1.296 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
1.296 * [taylor]: Taking taylor expansion of (* d a) in b
1.296 * [taylor]: Taking taylor expansion of d in b
1.296 * [taylor]: Taking taylor expansion of a in b
1.296 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
1.296 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
1.296 * [taylor]: Taking taylor expansion of (* b c) in b
1.297 * [taylor]: Taking taylor expansion of b in b
1.297 * [taylor]: Taking taylor expansion of c in b
1.297 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
1.297 * [taylor]: Taking taylor expansion of (* d a) in b
1.297 * [taylor]: Taking taylor expansion of d in b
1.297 * [taylor]: Taking taylor expansion of a in b
1.297 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.297 * [taylor]: Taking taylor expansion of c in c
1.297 * [taylor]: Taking taylor expansion of 1 in a
1.297 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in c
1.297 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
1.297 * [taylor]: Taking taylor expansion of (* d a) in c
1.297 * [taylor]: Taking taylor expansion of d in c
1.297 * [taylor]: Taking taylor expansion of a in c
1.297 * [taylor]: Taking taylor expansion of 0 in a
1.297 * [taylor]: Taking taylor expansion of 1 in d
1.298 * [taylor]: Taking taylor expansion of 0 in c
1.298 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in a
1.298 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
1.298 * [taylor]: Taking taylor expansion of (* d a) in a
1.298 * [taylor]: Taking taylor expansion of d in a
1.298 * [taylor]: Taking taylor expansion of a in a
1.298 * [taylor]: Taking taylor expansion of (neg (/ 1 d)) in d
1.298 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.298 * [taylor]: Taking taylor expansion of d in d
1.298 * [taylor]: Taking taylor expansion of 0 in a
1.298 * [taylor]: Taking taylor expansion of 0 in d
1.298 * [taylor]: Taking taylor expansion of 0 in d
1.298 * [taylor]: Taking taylor expansion of 0 in c
1.298 * [taylor]: Taking taylor expansion of 0 in a
1.298 * [taylor]: Taking taylor expansion of 0 in a
1.299 * [taylor]: Taking taylor expansion of 0 in a
1.299 * [taylor]: Taking taylor expansion of 0 in d
1.299 * [taylor]: Taking taylor expansion of 0 in d
1.299 * [taylor]: Taking taylor expansion of 0 in d
1.299 * [taylor]: Taking taylor expansion of 0 in d
1.299 * [taylor]: Taking taylor expansion of 0 in c
1.299 * [taylor]: Taking taylor expansion of 0 in a
1.299 * [taylor]: Taking taylor expansion of 0 in a
1.299 * [taylor]: Taking taylor expansion of 0 in a
1.299 * [taylor]: Taking taylor expansion of 0 in a
1.300 * [taylor]: Taking taylor expansion of 0 in d
1.300 * [taylor]: Taking taylor expansion of 0 in d
1.300 * [taylor]: Taking taylor expansion of 0 in d
1.300 * [taylor]: Taking taylor expansion of 0 in d
1.300 * [taylor]: Taking taylor expansion of 0 in d
1.300 * [taylor]: Taking taylor expansion of 0 in d
1.300 * [taylor]: Taking taylor expansion of 0 in d
1.300 * [approximate]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in (b c a d) around 0
1.300 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
1.300 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
1.300 * [taylor]: Taking taylor expansion of (* b c) in d
1.300 * [taylor]: Taking taylor expansion of b in d
1.300 * [taylor]: Taking taylor expansion of c in d
1.300 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
1.300 * [taylor]: Taking taylor expansion of (* d a) in d
1.300 * [taylor]: Taking taylor expansion of d in d
1.300 * [taylor]: Taking taylor expansion of a in d
1.300 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
1.301 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
1.301 * [taylor]: Taking taylor expansion of (* b c) in a
1.301 * [taylor]: Taking taylor expansion of b in a
1.301 * [taylor]: Taking taylor expansion of c in a
1.301 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
1.301 * [taylor]: Taking taylor expansion of (* d a) in a
1.301 * [taylor]: Taking taylor expansion of d in a
1.301 * [taylor]: Taking taylor expansion of a in a
1.301 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
1.301 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
1.301 * [taylor]: Taking taylor expansion of (* b c) in c
1.301 * [taylor]: Taking taylor expansion of b in c
1.301 * [taylor]: Taking taylor expansion of c in c
1.301 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
1.301 * [taylor]: Taking taylor expansion of (* d a) in c
1.301 * [taylor]: Taking taylor expansion of d in c
1.301 * [taylor]: Taking taylor expansion of a in c
1.301 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
1.301 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
1.301 * [taylor]: Taking taylor expansion of (* b c) in b
1.301 * [taylor]: Taking taylor expansion of b in b
1.301 * [taylor]: Taking taylor expansion of c in b
1.301 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
1.301 * [taylor]: Taking taylor expansion of (* d a) in b
1.301 * [taylor]: Taking taylor expansion of d in b
1.301 * [taylor]: Taking taylor expansion of a in b
1.301 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
1.301 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
1.301 * [taylor]: Taking taylor expansion of (* b c) in b
1.301 * [taylor]: Taking taylor expansion of b in b
1.301 * [taylor]: Taking taylor expansion of c in b
1.301 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
1.301 * [taylor]: Taking taylor expansion of (* d a) in b
1.301 * [taylor]: Taking taylor expansion of d in b
1.301 * [taylor]: Taking taylor expansion of a in b
1.302 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.302 * [taylor]: Taking taylor expansion of c in c
1.302 * [taylor]: Taking taylor expansion of 1 in a
1.302 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in c
1.302 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
1.302 * [taylor]: Taking taylor expansion of (* d a) in c
1.302 * [taylor]: Taking taylor expansion of d in c
1.302 * [taylor]: Taking taylor expansion of a in c
1.302 * [taylor]: Taking taylor expansion of 0 in a
1.302 * [taylor]: Taking taylor expansion of 1 in d
1.302 * [taylor]: Taking taylor expansion of 0 in c
1.302 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in a
1.302 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
1.302 * [taylor]: Taking taylor expansion of (* d a) in a
1.302 * [taylor]: Taking taylor expansion of d in a
1.302 * [taylor]: Taking taylor expansion of a in a
1.302 * [taylor]: Taking taylor expansion of (neg (/ 1 d)) in d
1.303 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.303 * [taylor]: Taking taylor expansion of d in d
1.303 * [taylor]: Taking taylor expansion of 0 in a
1.303 * [taylor]: Taking taylor expansion of 0 in d
1.303 * [taylor]: Taking taylor expansion of 0 in d
1.303 * [taylor]: Taking taylor expansion of 0 in c
1.303 * [taylor]: Taking taylor expansion of 0 in a
1.303 * [taylor]: Taking taylor expansion of 0 in a
1.304 * [taylor]: Taking taylor expansion of 0 in a
1.304 * [taylor]: Taking taylor expansion of 0 in d
1.304 * [taylor]: Taking taylor expansion of 0 in d
1.304 * [taylor]: Taking taylor expansion of 0 in d
1.304 * [taylor]: Taking taylor expansion of 0 in d
1.304 * [taylor]: Taking taylor expansion of 0 in c
1.304 * [taylor]: Taking taylor expansion of 0 in a
1.304 * [taylor]: Taking taylor expansion of 0 in a
1.304 * [taylor]: Taking taylor expansion of 0 in a
1.305 * [taylor]: Taking taylor expansion of 0 in a
1.305 * [taylor]: Taking taylor expansion of 0 in d
1.305 * [taylor]: Taking taylor expansion of 0 in d
1.305 * [taylor]: Taking taylor expansion of 0 in d
1.305 * [taylor]: Taking taylor expansion of 0 in d
1.305 * [taylor]: Taking taylor expansion of 0 in d
1.305 * [taylor]: Taking taylor expansion of 0 in d
1.305 * [taylor]: Taking taylor expansion of 0 in d
1.305 * * * [progress]: simplifying candidates
1.307 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (sqrt (+ (* c c) (* d d))))
  (exp (sqrt (+ (* c c) (* d d))))
  (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (cbrt (sqrt (+ (* c c) (* d d))))
  (* (* (sqrt (+ (* c c) (* d d))) (sqrt (+ (* c c) (* d d)))) (sqrt (+ (* c c) (* d d))))
  (sqrt (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d)))))
  (sqrt (cbrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt 1)
  (sqrt (+ (* c c) (* d d)))
  (sqrt (+ (pow (* c c) 3) (pow (* d d) 3)))
  (sqrt (+ (* (* c c) (* c c)) (- (* (* d d) (* d d)) (* (* c c) (* d d)))))
  (sqrt (- (* (* c c) (* c c)) (* (* d d) (* d d))))
  (sqrt (- (* c c) (* d d)))
  (/ 1 2)
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (log (sqrt (+ (* c c) (* d d))))
  (exp (sqrt (+ (* c c) (* d d))))
  (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (cbrt (sqrt (+ (* c c) (* d d))))
  (* (* (sqrt (+ (* c c) (* d d))) (sqrt (+ (* c c) (* d d)))) (sqrt (+ (* c c) (* d d))))
  (sqrt (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d)))))
  (sqrt (cbrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt 1)
  (sqrt (+ (* c c) (* d d)))
  (sqrt (+ (pow (* c c) 3) (pow (* d d) 3)))
  (sqrt (+ (* (* c c) (* c c)) (- (* (* d d) (* d d)) (* (* c c) (* d d)))))
  (sqrt (- (* (* c c) (* c c)) (* (* d d) (* d d))))
  (sqrt (- (* c c) (* d d)))
  (/ 1 2)
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (- (log (- (* b c) (* a d))) (log (sqrt (+ (* c c) (* d d)))))
  (log (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (exp (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (/ (* (* (- (* b c) (* a d)) (- (* b c) (* a d))) (- (* b c) (* a d))) (* (* (sqrt (+ (* c c) (* d d))) (sqrt (+ (* c c) (* d d)))) (sqrt (+ (* c c) (* d d)))))
  (* (cbrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))) (cbrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))))
  (cbrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (* (* (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))) (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (sqrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (sqrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (neg (- (* b c) (* a d)))
  (neg (sqrt (+ (* c c) (* d d))))
  (/ (* b c) (sqrt (+ (* c c) (* d d))))
  (/ (* a d) (sqrt (+ (* c c) (* d d))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (cbrt (- (* b c) (* a d))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (sqrt (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d))))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (cbrt (+ (* c c) (* d d)))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (sqrt 1))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) 1)
  (/ (cbrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (- (* b c) (* a d))) (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (sqrt (- (* b c) (* a d))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d))))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (cbrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt 1))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) 1)
  (/ (sqrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ 1 (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (- (* b c) (* a d)) (cbrt (sqrt (+ (* c c) (* d d)))))
  (/ 1 (sqrt (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d))))))
  (/ (- (* b c) (* a d)) (sqrt (cbrt (+ (* c c) (* d d)))))
  (/ 1 (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ 1 (sqrt 1))
  (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
  (/ 1 (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ 1 1)
  (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
  (/ 1 (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))
  (/ (- (* b c) (* a d)) (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (- (* b c) (* a d)) (sqrt (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d))))))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt 1))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) 1)
  (/ (sqrt (+ (* c c) (* d d))) (cbrt (- (* b c) (* a d))))
  (/ (sqrt (+ (* c c) (* d d))) (sqrt (- (* b c) (* a d))))
  (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))
  (/ (- (* b c) (* a d)) (sqrt (+ (pow (* c c) 3) (pow (* d d) 3))))
  (/ (- (* b c) (* a d)) (sqrt (- (* (* c c) (* c c)) (* (* d d) (* d d)))))
  (* (sqrt (+ (* c c) (* d d))) (+ (* (* b c) (* b c)) (+ (* (* a d) (* a d)) (* (* b c) (* a d)))))
  (* (sqrt (+ (* c c) (* d d))) (+ (* b c) (* a d)))
  (/ (exp (* b c)) (exp (* a d)))
  (log (- (* b c) (* a d)))
  (exp (- (* b c) (* a d)))
  (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d))))
  (cbrt (- (* b c) (* a d)))
  (* (* (- (* b c) (* a d)) (- (* b c) (* a d))) (- (* b c) (* a d)))
  (sqrt (- (* b c) (* a d)))
  (sqrt (- (* b c) (* a d)))
  (- (pow (* b c) 3) (pow (* a d) 3))
  (+ (* (* b c) (* b c)) (+ (* (* a d) (* a d)) (* (* b c) (* a d))))
  (neg (* a d))
  (- (* (* b c) (* b c)) (* (* a d) (* a d)))
  (+ (* b c) (* a d))
  (neg (* a d))
  d
  c
  (* -1 c)
  d
  c
  (* -1 c)
  (* -1 a)
  b
  (* -1 b)
  0
  (- (* b c) (* d a))
  (- (* b c) (* d a))
1.313 * * [simplify]: iteration  0 :  304  enodes  (cost  910 )
1.319 * * [simplify]: iteration  1 :  990  enodes  (cost  857 )
1.339 * * [simplify]: iteration  2 :  3340  enodes  (cost  845 )
1.405 * * [simplify]: iteration  3 :  5003  enodes  (cost  845 )
1.411 * [simplify]: Simplified to:
   (log (sqrt (+ (* c c) (* d d))))
  (exp (sqrt (+ (* c c) (* d d))))
  (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (cbrt (sqrt (+ (* c c) (* d d))))
  (pow (sqrt (+ (* c c) (* d d))) 3)
  (fabs (cbrt (+ (* c c) (* d d))))
  (sqrt (cbrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  1
  (sqrt (+ (* c c) (* d d)))
  (sqrt (+ (pow (* c c) 3) (pow (* d d) 3)))
  (sqrt (+ (* (* c c) (* c c)) (- (* (* d d) (* d d)) (* (* c c) (* d d)))))
  (sqrt (- (* (* c c) (* c c)) (* (* d d) (* d d))))
  (sqrt (- (* c c) (* d d)))
  1/2
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (log (sqrt (+ (* c c) (* d d))))
  (exp (sqrt (+ (* c c) (* d d))))
  (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (cbrt (sqrt (+ (* c c) (* d d))))
  (pow (sqrt (+ (* c c) (* d d))) 3)
  (fabs (cbrt (+ (* c c) (* d d))))
  (sqrt (cbrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  1
  (sqrt (+ (* c c) (* d d)))
  (sqrt (+ (pow (* c c) 3) (pow (* d d) 3)))
  (sqrt (+ (* (* c c) (* c c)) (- (* (* d d) (* d d)) (* (* c c) (* d d)))))
  (sqrt (- (* (* c c) (* c c)) (* (* d d) (* d d))))
  (sqrt (- (* c c) (* d d)))
  1/2
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (log (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (log (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (exp (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (pow (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) 3)
  (* (cbrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))) (cbrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))))
  (cbrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (pow (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) 3)
  (sqrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (sqrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (neg (- (* b c) (* a d)))
  (neg (sqrt (+ (* c c) (* d d))))
  (/ (* b c) (sqrt (+ (* c c) (* d d))))
  (/ (* a d) (sqrt (+ (* c c) (* d d))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (cbrt (- (* b c) (* a d))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (/ (cbrt (- (* b c) (* a d))) (/ (fabs (cbrt (+ (* c c) (* d d)))) (cbrt (- (* b c) (* a d)))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (cbrt (+ (* c c) (* d d)))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (- (* b c) (* a d))) (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (sqrt (- (* b c) (* a d))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (fabs (cbrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (cbrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (sqrt (- (* b c) (* a d)))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (sqrt (- (* b c) (* a d)))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ 1 (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (- (* b c) (* a d)) (cbrt (sqrt (+ (* c c) (* d d)))))
  (/ 1 (* (fabs (cbrt (+ (* c c) (* d d)))) 1))
  (/ (- (* b c) (* a d)) (sqrt (cbrt (+ (* c c) (* d d)))))
  (/ 1 (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  1
  (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
  (/ 1 (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  1
  (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
  (/ 1 (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))
  (/ (- (* b c) (* a d)) (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (- (* b c) (* a d)) (fabs (cbrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  (- (* b c) (* a d))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  (- (* b c) (* a d))
  (/ (sqrt (+ (* c c) (* d d))) (cbrt (- (* b c) (* a d))))
  (/ (sqrt (+ (* c c) (* d d))) (sqrt (- (* b c) (* a d))))
  (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))
  (/ (- (* b c) (* a d)) (sqrt (+ (pow (* c c) 3) (pow (* d d) 3))))
  (/ (- (* b c) (* a d)) (sqrt (- (* (* c c) (* c c)) (* (* d d) (* d d)))))
  (* (+ (* (* a d) (+ (* a d) (* b c))) (* (* b c) (* b c))) (sqrt (+ (* c c) (* d d))))
  (* (sqrt (+ (* c c) (* d d))) (+ (* b c) (* a d)))
  (exp (- (* b c) (* a d)))
  (log (- (* b c) (* a d)))
  (exp (- (* b c) (* a d)))
  (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d))))
  (cbrt (- (* b c) (* a d)))
  (pow (- (* b c) (* a d)) 3)
  (sqrt (- (* b c) (* a d)))
  (sqrt (- (* b c) (* a d)))
  (- (pow (* b c) 3) (pow (* a d) 3))
  (+ (* (* a d) (+ (* a d) (* b c))) (* (* b c) (* b c)))
  (neg (* a d))
  (- (* (* b c) (* b c)) (* (* a d) (* a d)))
  (+ (* b c) (* a d))
  (neg (* a d))
  d
  c
  (* -1 c)
  d
  c
  (* -1 c)
  (* -1 a)
  b
  (* -1 b)
  0
  (- (* b c) (* a d))
  (- (* b c) (* a d))
1.411 * * * [progress]: adding candidates to table
1.504 * * [progress]: iteration 4 / 4
1.504 * * * [progress]: picking best candidate
1.540 * * * * [pick]: Picked  #<alt (λ (a b c d) (/ (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) (* (sqrt (sqrt (+ (* c c) (* d d)))) (sqrt (sqrt (+ (* c c) (* d d)))))))>
1.540 * * * [progress]: localizing error
1.557 * * * [progress]: generating rewritten candidates
1.557 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
1.561 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1)
1.565 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
1.569 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1.581 * * * [progress]: generating series expansions
1.581 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
1.581 * [approximate]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in (c d) around 0
1.581 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in d
1.581 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in d
1.582 * [taylor]: Taking taylor expansion of (pow d 2) in d
1.582 * [taylor]: Taking taylor expansion of d in d
1.582 * [taylor]: Taking taylor expansion of (pow c 2) in d
1.582 * [taylor]: Taking taylor expansion of c in d
1.582 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
1.582 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
1.582 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.582 * [taylor]: Taking taylor expansion of d in c
1.582 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.582 * [taylor]: Taking taylor expansion of c in c
1.582 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
1.582 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
1.582 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.582 * [taylor]: Taking taylor expansion of d in c
1.582 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.582 * [taylor]: Taking taylor expansion of c in c
1.583 * [taylor]: Taking taylor expansion of d in d
1.583 * [taylor]: Taking taylor expansion of 0 in d
1.583 * [taylor]: Taking taylor expansion of (/ 1/2 d) in d
1.583 * [taylor]: Taking taylor expansion of 1/2 in d
1.583 * [taylor]: Taking taylor expansion of d in d
1.583 * [taylor]: Taking taylor expansion of 0 in d
1.583 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (c d) around 0
1.583 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
1.584 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
1.584 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
1.584 * [taylor]: Taking taylor expansion of (pow c 2) in d
1.584 * [taylor]: Taking taylor expansion of c in d
1.584 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
1.584 * [taylor]: Taking taylor expansion of (pow d 2) in d
1.584 * [taylor]: Taking taylor expansion of d in d
1.584 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.584 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.584 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.584 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.584 * [taylor]: Taking taylor expansion of c in c
1.584 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.584 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.584 * [taylor]: Taking taylor expansion of d in c
1.584 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.584 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.584 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.584 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.584 * [taylor]: Taking taylor expansion of c in c
1.584 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.584 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.584 * [taylor]: Taking taylor expansion of d in c
1.585 * [taylor]: Taking taylor expansion of 1 in d
1.585 * [taylor]: Taking taylor expansion of 0 in d
1.585 * [taylor]: Taking taylor expansion of (/ 1/2 (pow d 2)) in d
1.585 * [taylor]: Taking taylor expansion of 1/2 in d
1.585 * [taylor]: Taking taylor expansion of (pow d 2) in d
1.585 * [taylor]: Taking taylor expansion of d in d
1.586 * [taylor]: Taking taylor expansion of 0 in d
1.586 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (c d) around 0
1.586 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
1.586 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
1.586 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
1.586 * [taylor]: Taking taylor expansion of (pow c 2) in d
1.586 * [taylor]: Taking taylor expansion of c in d
1.586 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
1.586 * [taylor]: Taking taylor expansion of (pow d 2) in d
1.586 * [taylor]: Taking taylor expansion of d in d
1.586 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.586 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.586 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.586 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.586 * [taylor]: Taking taylor expansion of c in c
1.586 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.586 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.586 * [taylor]: Taking taylor expansion of d in c
1.587 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.587 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.587 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.587 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.587 * [taylor]: Taking taylor expansion of c in c
1.587 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.587 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.587 * [taylor]: Taking taylor expansion of d in c
1.587 * [taylor]: Taking taylor expansion of 1 in d
1.587 * [taylor]: Taking taylor expansion of 0 in d
1.587 * [taylor]: Taking taylor expansion of (/ 1/2 (pow d 2)) in d
1.587 * [taylor]: Taking taylor expansion of 1/2 in d
1.587 * [taylor]: Taking taylor expansion of (pow d 2) in d
1.587 * [taylor]: Taking taylor expansion of d in d
1.588 * [taylor]: Taking taylor expansion of 0 in d
1.588 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1)
1.588 * [approximate]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in (c d) around 0
1.588 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in d
1.588 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in d
1.588 * [taylor]: Taking taylor expansion of (pow d 2) in d
1.588 * [taylor]: Taking taylor expansion of d in d
1.588 * [taylor]: Taking taylor expansion of (pow c 2) in d
1.588 * [taylor]: Taking taylor expansion of c in d
1.589 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
1.589 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
1.589 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.589 * [taylor]: Taking taylor expansion of d in c
1.589 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.589 * [taylor]: Taking taylor expansion of c in c
1.589 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
1.589 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
1.589 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.589 * [taylor]: Taking taylor expansion of d in c
1.589 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.589 * [taylor]: Taking taylor expansion of c in c
1.589 * [taylor]: Taking taylor expansion of d in d
1.589 * [taylor]: Taking taylor expansion of 0 in d
1.590 * [taylor]: Taking taylor expansion of (/ 1/2 d) in d
1.590 * [taylor]: Taking taylor expansion of 1/2 in d
1.590 * [taylor]: Taking taylor expansion of d in d
1.590 * [taylor]: Taking taylor expansion of 0 in d
1.590 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (c d) around 0
1.590 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
1.590 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
1.590 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
1.591 * [taylor]: Taking taylor expansion of (pow c 2) in d
1.591 * [taylor]: Taking taylor expansion of c in d
1.591 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
1.591 * [taylor]: Taking taylor expansion of (pow d 2) in d
1.591 * [taylor]: Taking taylor expansion of d in d
1.591 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.591 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.591 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.591 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.591 * [taylor]: Taking taylor expansion of c in c
1.591 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.591 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.591 * [taylor]: Taking taylor expansion of d in c
1.591 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.591 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.591 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.591 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.591 * [taylor]: Taking taylor expansion of c in c
1.591 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.591 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.591 * [taylor]: Taking taylor expansion of d in c
1.592 * [taylor]: Taking taylor expansion of 1 in d
1.592 * [taylor]: Taking taylor expansion of 0 in d
1.592 * [taylor]: Taking taylor expansion of (/ 1/2 (pow d 2)) in d
1.592 * [taylor]: Taking taylor expansion of 1/2 in d
1.592 * [taylor]: Taking taylor expansion of (pow d 2) in d
1.592 * [taylor]: Taking taylor expansion of d in d
1.592 * [taylor]: Taking taylor expansion of 0 in d
1.593 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (c d) around 0
1.593 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
1.593 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
1.593 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
1.593 * [taylor]: Taking taylor expansion of (pow c 2) in d
1.593 * [taylor]: Taking taylor expansion of c in d
1.593 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
1.593 * [taylor]: Taking taylor expansion of (pow d 2) in d
1.593 * [taylor]: Taking taylor expansion of d in d
1.593 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.593 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.593 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.593 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.593 * [taylor]: Taking taylor expansion of c in c
1.593 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.593 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.593 * [taylor]: Taking taylor expansion of d in c
1.593 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.593 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.593 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.594 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.594 * [taylor]: Taking taylor expansion of c in c
1.594 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.594 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.594 * [taylor]: Taking taylor expansion of d in c
1.594 * [taylor]: Taking taylor expansion of 1 in d
1.594 * [taylor]: Taking taylor expansion of 0 in d
1.594 * [taylor]: Taking taylor expansion of (/ 1/2 (pow d 2)) in d
1.594 * [taylor]: Taking taylor expansion of 1/2 in d
1.594 * [taylor]: Taking taylor expansion of (pow d 2) in d
1.594 * [taylor]: Taking taylor expansion of d in d
1.595 * [taylor]: Taking taylor expansion of 0 in d
1.595 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
1.595 * [approximate]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in (c d) around 0
1.595 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in d
1.595 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in d
1.595 * [taylor]: Taking taylor expansion of (pow d 2) in d
1.595 * [taylor]: Taking taylor expansion of d in d
1.595 * [taylor]: Taking taylor expansion of (pow c 2) in d
1.595 * [taylor]: Taking taylor expansion of c in d
1.595 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
1.595 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
1.595 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.595 * [taylor]: Taking taylor expansion of d in c
1.595 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.596 * [taylor]: Taking taylor expansion of c in c
1.596 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
1.596 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
1.596 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.596 * [taylor]: Taking taylor expansion of d in c
1.596 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.596 * [taylor]: Taking taylor expansion of c in c
1.596 * [taylor]: Taking taylor expansion of d in d
1.596 * [taylor]: Taking taylor expansion of 0 in d
1.596 * [taylor]: Taking taylor expansion of (/ 1/2 d) in d
1.596 * [taylor]: Taking taylor expansion of 1/2 in d
1.596 * [taylor]: Taking taylor expansion of d in d
1.597 * [taylor]: Taking taylor expansion of 0 in d
1.597 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (c d) around 0
1.597 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
1.597 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
1.597 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
1.597 * [taylor]: Taking taylor expansion of (pow c 2) in d
1.597 * [taylor]: Taking taylor expansion of c in d
1.597 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
1.597 * [taylor]: Taking taylor expansion of (pow d 2) in d
1.597 * [taylor]: Taking taylor expansion of d in d
1.597 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.597 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.597 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.597 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.597 * [taylor]: Taking taylor expansion of c in c
1.597 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.597 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.597 * [taylor]: Taking taylor expansion of d in c
1.598 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.598 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.598 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.598 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.598 * [taylor]: Taking taylor expansion of c in c
1.598 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.598 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.598 * [taylor]: Taking taylor expansion of d in c
1.598 * [taylor]: Taking taylor expansion of 1 in d
1.598 * [taylor]: Taking taylor expansion of 0 in d
1.598 * [taylor]: Taking taylor expansion of (/ 1/2 (pow d 2)) in d
1.598 * [taylor]: Taking taylor expansion of 1/2 in d
1.598 * [taylor]: Taking taylor expansion of (pow d 2) in d
1.598 * [taylor]: Taking taylor expansion of d in d
1.599 * [taylor]: Taking taylor expansion of 0 in d
1.599 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (c d) around 0
1.599 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
1.599 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
1.599 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
1.599 * [taylor]: Taking taylor expansion of (pow c 2) in d
1.599 * [taylor]: Taking taylor expansion of c in d
1.599 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
1.599 * [taylor]: Taking taylor expansion of (pow d 2) in d
1.599 * [taylor]: Taking taylor expansion of d in d
1.600 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.600 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.600 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.600 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.600 * [taylor]: Taking taylor expansion of c in c
1.600 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.600 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.600 * [taylor]: Taking taylor expansion of d in c
1.600 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.600 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.600 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.600 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.600 * [taylor]: Taking taylor expansion of c in c
1.600 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.600 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.600 * [taylor]: Taking taylor expansion of d in c
1.600 * [taylor]: Taking taylor expansion of 1 in d
1.600 * [taylor]: Taking taylor expansion of 0 in d
1.601 * [taylor]: Taking taylor expansion of (/ 1/2 (pow d 2)) in d
1.601 * [taylor]: Taking taylor expansion of 1/2 in d
1.601 * [taylor]: Taking taylor expansion of (pow d 2) in d
1.601 * [taylor]: Taking taylor expansion of d in d
1.601 * [taylor]: Taking taylor expansion of 0 in d
1.601 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1.602 * [approximate]: Taking taylor expansion of (* (- (* b c) (* d a)) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in (b c a d) around 0
1.602 * [taylor]: Taking taylor expansion of (* (- (* b c) (* d a)) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in d
1.602 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in d
1.602 * [taylor]: Taking taylor expansion of (* b c) in d
1.602 * [taylor]: Taking taylor expansion of b in d
1.602 * [taylor]: Taking taylor expansion of c in d
1.602 * [taylor]: Taking taylor expansion of (* d a) in d
1.602 * [taylor]: Taking taylor expansion of d in d
1.602 * [taylor]: Taking taylor expansion of a in d
1.602 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in d
1.602 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in d
1.602 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in d
1.602 * [taylor]: Taking taylor expansion of (pow d 2) in d
1.602 * [taylor]: Taking taylor expansion of d in d
1.602 * [taylor]: Taking taylor expansion of (pow c 2) in d
1.602 * [taylor]: Taking taylor expansion of c in d
1.602 * [taylor]: Taking taylor expansion of (* (- (* b c) (* d a)) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in a
1.602 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in a
1.602 * [taylor]: Taking taylor expansion of (* b c) in a
1.602 * [taylor]: Taking taylor expansion of b in a
1.602 * [taylor]: Taking taylor expansion of c in a
1.602 * [taylor]: Taking taylor expansion of (* d a) in a
1.602 * [taylor]: Taking taylor expansion of d in a
1.602 * [taylor]: Taking taylor expansion of a in a
1.602 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in a
1.602 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in a
1.602 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in a
1.602 * [taylor]: Taking taylor expansion of (pow d 2) in a
1.602 * [taylor]: Taking taylor expansion of d in a
1.602 * [taylor]: Taking taylor expansion of (pow c 2) in a
1.603 * [taylor]: Taking taylor expansion of c in a
1.603 * [taylor]: Taking taylor expansion of (* (- (* b c) (* d a)) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in c
1.603 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in c
1.603 * [taylor]: Taking taylor expansion of (* b c) in c
1.603 * [taylor]: Taking taylor expansion of b in c
1.603 * [taylor]: Taking taylor expansion of c in c
1.603 * [taylor]: Taking taylor expansion of (* d a) in c
1.603 * [taylor]: Taking taylor expansion of d in c
1.603 * [taylor]: Taking taylor expansion of a in c
1.603 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in c
1.603 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in c
1.603 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
1.603 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.604 * [taylor]: Taking taylor expansion of d in c
1.604 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.604 * [taylor]: Taking taylor expansion of c in c
1.604 * [taylor]: Taking taylor expansion of (* (- (* b c) (* d a)) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in b
1.604 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
1.604 * [taylor]: Taking taylor expansion of (* b c) in b
1.604 * [taylor]: Taking taylor expansion of b in b
1.604 * [taylor]: Taking taylor expansion of c in b
1.604 * [taylor]: Taking taylor expansion of (* d a) in b
1.604 * [taylor]: Taking taylor expansion of d in b
1.604 * [taylor]: Taking taylor expansion of a in b
1.604 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in b
1.604 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in b
1.604 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in b
1.604 * [taylor]: Taking taylor expansion of (pow d 2) in b
1.604 * [taylor]: Taking taylor expansion of d in b
1.604 * [taylor]: Taking taylor expansion of (pow c 2) in b
1.604 * [taylor]: Taking taylor expansion of c in b
1.605 * [taylor]: Taking taylor expansion of (* (- (* b c) (* d a)) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in b
1.605 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
1.605 * [taylor]: Taking taylor expansion of (* b c) in b
1.605 * [taylor]: Taking taylor expansion of b in b
1.605 * [taylor]: Taking taylor expansion of c in b
1.605 * [taylor]: Taking taylor expansion of (* d a) in b
1.605 * [taylor]: Taking taylor expansion of d in b
1.605 * [taylor]: Taking taylor expansion of a in b
1.605 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in b
1.605 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in b
1.605 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in b
1.605 * [taylor]: Taking taylor expansion of (pow d 2) in b
1.605 * [taylor]: Taking taylor expansion of d in b
1.605 * [taylor]: Taking taylor expansion of (pow c 2) in b
1.605 * [taylor]: Taking taylor expansion of c in b
1.606 * [taylor]: Taking taylor expansion of (* -1 (* (* d a) (sqrt (/ 1 (+ (pow d 2) (pow c 2)))))) in c
1.606 * [taylor]: Taking taylor expansion of -1 in c
1.606 * [taylor]: Taking taylor expansion of (* (* d a) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in c
1.606 * [taylor]: Taking taylor expansion of (* d a) in c
1.606 * [taylor]: Taking taylor expansion of d in c
1.606 * [taylor]: Taking taylor expansion of a in c
1.606 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in c
1.606 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in c
1.607 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
1.607 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.607 * [taylor]: Taking taylor expansion of d in c
1.607 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.607 * [taylor]: Taking taylor expansion of c in c
1.607 * [taylor]: Taking taylor expansion of (* -1 a) in a
1.607 * [taylor]: Taking taylor expansion of -1 in a
1.607 * [taylor]: Taking taylor expansion of a in a
1.607 * [taylor]: Taking taylor expansion of 0 in d
1.607 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) c) in c
1.607 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in c
1.607 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in c
1.607 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
1.608 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.608 * [taylor]: Taking taylor expansion of d in c
1.608 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.608 * [taylor]: Taking taylor expansion of c in c
1.608 * [taylor]: Taking taylor expansion of c in c
1.608 * [taylor]: Taking taylor expansion of 0 in a
1.608 * [taylor]: Taking taylor expansion of 0 in d
1.608 * [taylor]: Taking taylor expansion of 0 in a
1.608 * [taylor]: Taking taylor expansion of 0 in d
1.608 * [taylor]: Taking taylor expansion of (neg 1) in d
1.608 * [taylor]: Taking taylor expansion of 1 in d
1.609 * [taylor]: Taking taylor expansion of 0 in c
1.609 * [taylor]: Taking taylor expansion of 0 in a
1.609 * [taylor]: Taking taylor expansion of 0 in d
1.609 * [taylor]: Taking taylor expansion of (/ 1 d) in a
1.609 * [taylor]: Taking taylor expansion of d in a
1.609 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.609 * [taylor]: Taking taylor expansion of d in d
1.610 * [taylor]: Taking taylor expansion of (* 1/2 (/ a (pow d 2))) in a
1.610 * [taylor]: Taking taylor expansion of 1/2 in a
1.610 * [taylor]: Taking taylor expansion of (/ a (pow d 2)) in a
1.610 * [taylor]: Taking taylor expansion of a in a
1.610 * [taylor]: Taking taylor expansion of (pow d 2) in a
1.610 * [taylor]: Taking taylor expansion of d in a
1.611 * [taylor]: Taking taylor expansion of 0 in d
1.611 * [taylor]: Taking taylor expansion of 0 in d
1.611 * [taylor]: Taking taylor expansion of 0 in d
1.611 * [approximate]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in (b c a d) around 0
1.611 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in d
1.611 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
1.611 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
1.611 * [taylor]: Taking taylor expansion of (* b c) in d
1.611 * [taylor]: Taking taylor expansion of b in d
1.611 * [taylor]: Taking taylor expansion of c in d
1.611 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
1.611 * [taylor]: Taking taylor expansion of (* d a) in d
1.611 * [taylor]: Taking taylor expansion of d in d
1.611 * [taylor]: Taking taylor expansion of a in d
1.611 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in d
1.611 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
1.611 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
1.611 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
1.611 * [taylor]: Taking taylor expansion of (pow c 2) in d
1.611 * [taylor]: Taking taylor expansion of c in d
1.611 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
1.611 * [taylor]: Taking taylor expansion of (pow d 2) in d
1.611 * [taylor]: Taking taylor expansion of d in d
1.612 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in a
1.612 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
1.612 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
1.612 * [taylor]: Taking taylor expansion of (* b c) in a
1.612 * [taylor]: Taking taylor expansion of b in a
1.612 * [taylor]: Taking taylor expansion of c in a
1.612 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
1.612 * [taylor]: Taking taylor expansion of (* d a) in a
1.612 * [taylor]: Taking taylor expansion of d in a
1.612 * [taylor]: Taking taylor expansion of a in a
1.612 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in a
1.612 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in a
1.612 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in a
1.612 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in a
1.612 * [taylor]: Taking taylor expansion of (pow c 2) in a
1.612 * [taylor]: Taking taylor expansion of c in a
1.612 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
1.612 * [taylor]: Taking taylor expansion of (pow d 2) in a
1.612 * [taylor]: Taking taylor expansion of d in a
1.613 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in c
1.613 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
1.613 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
1.613 * [taylor]: Taking taylor expansion of (* b c) in c
1.614 * [taylor]: Taking taylor expansion of b in c
1.614 * [taylor]: Taking taylor expansion of c in c
1.614 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
1.614 * [taylor]: Taking taylor expansion of (* d a) in c
1.614 * [taylor]: Taking taylor expansion of d in c
1.614 * [taylor]: Taking taylor expansion of a in c
1.614 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
1.614 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.614 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.614 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.614 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.614 * [taylor]: Taking taylor expansion of c in c
1.614 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.614 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.614 * [taylor]: Taking taylor expansion of d in c
1.614 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in b
1.614 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
1.614 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
1.614 * [taylor]: Taking taylor expansion of (* b c) in b
1.614 * [taylor]: Taking taylor expansion of b in b
1.614 * [taylor]: Taking taylor expansion of c in b
1.614 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
1.614 * [taylor]: Taking taylor expansion of (* d a) in b
1.614 * [taylor]: Taking taylor expansion of d in b
1.614 * [taylor]: Taking taylor expansion of a in b
1.614 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in b
1.614 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
1.614 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
1.614 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
1.614 * [taylor]: Taking taylor expansion of (pow c 2) in b
1.614 * [taylor]: Taking taylor expansion of c in b
1.615 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
1.615 * [taylor]: Taking taylor expansion of (pow d 2) in b
1.615 * [taylor]: Taking taylor expansion of d in b
1.616 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in b
1.616 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
1.616 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
1.616 * [taylor]: Taking taylor expansion of (* b c) in b
1.616 * [taylor]: Taking taylor expansion of b in b
1.616 * [taylor]: Taking taylor expansion of c in b
1.616 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
1.616 * [taylor]: Taking taylor expansion of (* d a) in b
1.616 * [taylor]: Taking taylor expansion of d in b
1.616 * [taylor]: Taking taylor expansion of a in b
1.616 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in b
1.616 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
1.616 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
1.616 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
1.616 * [taylor]: Taking taylor expansion of (pow c 2) in b
1.616 * [taylor]: Taking taylor expansion of c in b
1.617 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
1.617 * [taylor]: Taking taylor expansion of (pow d 2) in b
1.617 * [taylor]: Taking taylor expansion of d in b
1.618 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) (/ 1 c)) in c
1.618 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
1.618 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.618 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.618 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.618 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.618 * [taylor]: Taking taylor expansion of c in c
1.618 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.618 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.618 * [taylor]: Taking taylor expansion of d in c
1.619 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.619 * [taylor]: Taking taylor expansion of c in c
1.619 * [taylor]: Taking taylor expansion of 1 in a
1.619 * [taylor]: Taking taylor expansion of (neg (* (/ 1 (* d a)) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))))) in c
1.619 * [taylor]: Taking taylor expansion of (* (/ 1 (* d a)) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in c
1.619 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
1.619 * [taylor]: Taking taylor expansion of (* d a) in c
1.619 * [taylor]: Taking taylor expansion of d in c
1.619 * [taylor]: Taking taylor expansion of a in c
1.619 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
1.619 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.619 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.619 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.619 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.619 * [taylor]: Taking taylor expansion of c in c
1.619 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.619 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.619 * [taylor]: Taking taylor expansion of d in c
1.622 * [taylor]: Taking taylor expansion of 0 in a
1.622 * [taylor]: Taking taylor expansion of 1 in d
1.624 * [taylor]: Taking taylor expansion of 0 in c
1.624 * [taylor]: Taking taylor expansion of 0 in a
1.624 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in a
1.624 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
1.624 * [taylor]: Taking taylor expansion of (* d a) in a
1.624 * [taylor]: Taking taylor expansion of d in a
1.624 * [taylor]: Taking taylor expansion of a in a
1.624 * [taylor]: Taking taylor expansion of (neg (/ 1 d)) in d
1.624 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.624 * [taylor]: Taking taylor expansion of d in d
1.625 * [taylor]: Taking taylor expansion of (neg (* 1/2 (/ 1 (pow d 2)))) in a
1.625 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow d 2))) in a
1.625 * [taylor]: Taking taylor expansion of 1/2 in a
1.625 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
1.625 * [taylor]: Taking taylor expansion of (pow d 2) in a
1.625 * [taylor]: Taking taylor expansion of d in a
1.625 * [taylor]: Taking taylor expansion of 0 in d
1.625 * [taylor]: Taking taylor expansion of 0 in d
1.627 * [taylor]: Taking taylor expansion of 0 in c
1.627 * [taylor]: Taking taylor expansion of 0 in a
1.627 * [taylor]: Taking taylor expansion of 0 in a
1.627 * [taylor]: Taking taylor expansion of 0 in a
1.628 * [taylor]: Taking taylor expansion of 0 in a
1.628 * [taylor]: Taking taylor expansion of 0 in d
1.628 * [taylor]: Taking taylor expansion of 0 in d
1.629 * [approximate]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in (b c a d) around 0
1.629 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in d
1.629 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
1.629 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
1.629 * [taylor]: Taking taylor expansion of (* b c) in d
1.629 * [taylor]: Taking taylor expansion of b in d
1.629 * [taylor]: Taking taylor expansion of c in d
1.629 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
1.629 * [taylor]: Taking taylor expansion of (* d a) in d
1.629 * [taylor]: Taking taylor expansion of d in d
1.629 * [taylor]: Taking taylor expansion of a in d
1.629 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in d
1.629 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
1.629 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
1.629 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
1.629 * [taylor]: Taking taylor expansion of (pow c 2) in d
1.629 * [taylor]: Taking taylor expansion of c in d
1.629 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
1.629 * [taylor]: Taking taylor expansion of (pow d 2) in d
1.629 * [taylor]: Taking taylor expansion of d in d
1.629 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in a
1.629 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
1.629 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
1.629 * [taylor]: Taking taylor expansion of (* b c) in a
1.629 * [taylor]: Taking taylor expansion of b in a
1.629 * [taylor]: Taking taylor expansion of c in a
1.629 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
1.630 * [taylor]: Taking taylor expansion of (* d a) in a
1.630 * [taylor]: Taking taylor expansion of d in a
1.630 * [taylor]: Taking taylor expansion of a in a
1.630 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in a
1.630 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in a
1.630 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in a
1.630 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in a
1.630 * [taylor]: Taking taylor expansion of (pow c 2) in a
1.630 * [taylor]: Taking taylor expansion of c in a
1.630 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
1.630 * [taylor]: Taking taylor expansion of (pow d 2) in a
1.630 * [taylor]: Taking taylor expansion of d in a
1.631 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in c
1.631 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
1.631 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
1.631 * [taylor]: Taking taylor expansion of (* b c) in c
1.631 * [taylor]: Taking taylor expansion of b in c
1.631 * [taylor]: Taking taylor expansion of c in c
1.631 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
1.631 * [taylor]: Taking taylor expansion of (* d a) in c
1.631 * [taylor]: Taking taylor expansion of d in c
1.631 * [taylor]: Taking taylor expansion of a in c
1.631 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
1.631 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.631 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.631 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.631 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.631 * [taylor]: Taking taylor expansion of c in c
1.631 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.631 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.632 * [taylor]: Taking taylor expansion of d in c
1.632 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in b
1.632 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
1.632 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
1.632 * [taylor]: Taking taylor expansion of (* b c) in b
1.632 * [taylor]: Taking taylor expansion of b in b
1.632 * [taylor]: Taking taylor expansion of c in b
1.632 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
1.632 * [taylor]: Taking taylor expansion of (* d a) in b
1.632 * [taylor]: Taking taylor expansion of d in b
1.632 * [taylor]: Taking taylor expansion of a in b
1.632 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in b
1.632 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
1.632 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
1.632 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
1.632 * [taylor]: Taking taylor expansion of (pow c 2) in b
1.632 * [taylor]: Taking taylor expansion of c in b
1.632 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
1.632 * [taylor]: Taking taylor expansion of (pow d 2) in b
1.632 * [taylor]: Taking taylor expansion of d in b
1.633 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in b
1.633 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
1.634 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
1.634 * [taylor]: Taking taylor expansion of (* b c) in b
1.634 * [taylor]: Taking taylor expansion of b in b
1.634 * [taylor]: Taking taylor expansion of c in b
1.634 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
1.634 * [taylor]: Taking taylor expansion of (* d a) in b
1.634 * [taylor]: Taking taylor expansion of d in b
1.634 * [taylor]: Taking taylor expansion of a in b
1.634 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in b
1.634 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
1.634 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
1.634 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
1.634 * [taylor]: Taking taylor expansion of (pow c 2) in b
1.634 * [taylor]: Taking taylor expansion of c in b
1.634 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
1.634 * [taylor]: Taking taylor expansion of (pow d 2) in b
1.634 * [taylor]: Taking taylor expansion of d in b
1.635 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) (/ 1 c)) in c
1.635 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
1.635 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.635 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.635 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.635 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.636 * [taylor]: Taking taylor expansion of c in c
1.636 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.636 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.636 * [taylor]: Taking taylor expansion of d in c
1.636 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.636 * [taylor]: Taking taylor expansion of c in c
1.636 * [taylor]: Taking taylor expansion of 1 in a
1.636 * [taylor]: Taking taylor expansion of (neg (* (/ 1 (* d a)) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))))) in c
1.636 * [taylor]: Taking taylor expansion of (* (/ 1 (* d a)) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in c
1.636 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
1.636 * [taylor]: Taking taylor expansion of (* d a) in c
1.636 * [taylor]: Taking taylor expansion of d in c
1.636 * [taylor]: Taking taylor expansion of a in c
1.637 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
1.637 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.637 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.637 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.637 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.637 * [taylor]: Taking taylor expansion of c in c
1.637 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.637 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.637 * [taylor]: Taking taylor expansion of d in c
1.637 * [taylor]: Taking taylor expansion of 0 in a
1.637 * [taylor]: Taking taylor expansion of 1 in d
1.639 * [taylor]: Taking taylor expansion of 0 in c
1.639 * [taylor]: Taking taylor expansion of 0 in a
1.639 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in a
1.639 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
1.639 * [taylor]: Taking taylor expansion of (* d a) in a
1.639 * [taylor]: Taking taylor expansion of d in a
1.639 * [taylor]: Taking taylor expansion of a in a
1.639 * [taylor]: Taking taylor expansion of (neg (/ 1 d)) in d
1.639 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.639 * [taylor]: Taking taylor expansion of d in d
1.640 * [taylor]: Taking taylor expansion of (neg (* 1/2 (/ 1 (pow d 2)))) in a
1.640 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow d 2))) in a
1.640 * [taylor]: Taking taylor expansion of 1/2 in a
1.640 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
1.640 * [taylor]: Taking taylor expansion of (pow d 2) in a
1.640 * [taylor]: Taking taylor expansion of d in a
1.640 * [taylor]: Taking taylor expansion of 0 in d
1.640 * [taylor]: Taking taylor expansion of 0 in d
1.642 * [taylor]: Taking taylor expansion of 0 in c
1.642 * [taylor]: Taking taylor expansion of 0 in a
1.642 * [taylor]: Taking taylor expansion of 0 in a
1.642 * [taylor]: Taking taylor expansion of 0 in a
1.643 * [taylor]: Taking taylor expansion of 0 in a
1.643 * [taylor]: Taking taylor expansion of 0 in d
1.643 * [taylor]: Taking taylor expansion of 0 in d
1.643 * * * [progress]: simplifying candidates
1.644 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (sqrt (+ (* c c) (* d d))))
  (exp (sqrt (+ (* c c) (* d d))))
  (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (cbrt (sqrt (+ (* c c) (* d d))))
  (* (* (sqrt (+ (* c c) (* d d))) (sqrt (+ (* c c) (* d d)))) (sqrt (+ (* c c) (* d d))))
  (sqrt (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d)))))
  (sqrt (cbrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt 1)
  (sqrt (+ (* c c) (* d d)))
  (sqrt (+ (pow (* c c) 3) (pow (* d d) 3)))
  (sqrt (+ (* (* c c) (* c c)) (- (* (* d d) (* d d)) (* (* c c) (* d d)))))
  (sqrt (- (* (* c c) (* c c)) (* (* d d) (* d d))))
  (sqrt (- (* c c) (* d d)))
  (/ 1 2)
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (log (sqrt (+ (* c c) (* d d))))
  (exp (sqrt (+ (* c c) (* d d))))
  (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (cbrt (sqrt (+ (* c c) (* d d))))
  (* (* (sqrt (+ (* c c) (* d d))) (sqrt (+ (* c c) (* d d)))) (sqrt (+ (* c c) (* d d))))
  (sqrt (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d)))))
  (sqrt (cbrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt 1)
  (sqrt (+ (* c c) (* d d)))
  (sqrt (+ (pow (* c c) 3) (pow (* d d) 3)))
  (sqrt (+ (* (* c c) (* c c)) (- (* (* d d) (* d d)) (* (* c c) (* d d)))))
  (sqrt (- (* (* c c) (* c c)) (* (* d d) (* d d))))
  (sqrt (- (* c c) (* d d)))
  (/ 1 2)
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (log (sqrt (+ (* c c) (* d d))))
  (exp (sqrt (+ (* c c) (* d d))))
  (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (cbrt (sqrt (+ (* c c) (* d d))))
  (* (* (sqrt (+ (* c c) (* d d))) (sqrt (+ (* c c) (* d d)))) (sqrt (+ (* c c) (* d d))))
  (sqrt (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d)))))
  (sqrt (cbrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt 1)
  (sqrt (+ (* c c) (* d d)))
  (sqrt (+ (pow (* c c) 3) (pow (* d d) 3)))
  (sqrt (+ (* (* c c) (* c c)) (- (* (* d d) (* d d)) (* (* c c) (* d d)))))
  (sqrt (- (* (* c c) (* c c)) (* (* d d) (* d d))))
  (sqrt (- (* c c) (* d d)))
  (/ 1 2)
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (- (log (- (* b c) (* a d))) (log (sqrt (+ (* c c) (* d d)))))
  (log (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (exp (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (/ (* (* (- (* b c) (* a d)) (- (* b c) (* a d))) (- (* b c) (* a d))) (* (* (sqrt (+ (* c c) (* d d))) (sqrt (+ (* c c) (* d d)))) (sqrt (+ (* c c) (* d d)))))
  (* (cbrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))) (cbrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))))
  (cbrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (* (* (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))) (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (sqrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (sqrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (neg (- (* b c) (* a d)))
  (neg (sqrt (+ (* c c) (* d d))))
  (/ (* b c) (sqrt (+ (* c c) (* d d))))
  (/ (* a d) (sqrt (+ (* c c) (* d d))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (cbrt (- (* b c) (* a d))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (sqrt (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d))))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (cbrt (+ (* c c) (* d d)))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (sqrt 1))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) 1)
  (/ (cbrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (- (* b c) (* a d))) (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (sqrt (- (* b c) (* a d))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d))))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (cbrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt 1))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) 1)
  (/ (sqrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ 1 (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (- (* b c) (* a d)) (cbrt (sqrt (+ (* c c) (* d d)))))
  (/ 1 (sqrt (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d))))))
  (/ (- (* b c) (* a d)) (sqrt (cbrt (+ (* c c) (* d d)))))
  (/ 1 (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ 1 (sqrt 1))
  (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
  (/ 1 (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ 1 1)
  (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
  (/ 1 (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))
  (/ (- (* b c) (* a d)) (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (- (* b c) (* a d)) (sqrt (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d))))))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt 1))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) 1)
  (/ (sqrt (+ (* c c) (* d d))) (cbrt (- (* b c) (* a d))))
  (/ (sqrt (+ (* c c) (* d d))) (sqrt (- (* b c) (* a d))))
  (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))
  (/ (- (* b c) (* a d)) (sqrt (+ (pow (* c c) 3) (pow (* d d) 3))))
  (/ (- (* b c) (* a d)) (sqrt (- (* (* c c) (* c c)) (* (* d d) (* d d)))))
  (* (sqrt (+ (* c c) (* d d))) (+ (* (* b c) (* b c)) (+ (* (* a d) (* a d)) (* (* b c) (* a d)))))
  (* (sqrt (+ (* c c) (* d d))) (+ (* b c) (* a d)))
  d
  c
  (* -1 c)
  d
  c
  (* -1 c)
  d
  c
  (* -1 c)
  (* -1 a)
  b
  (* -1 b)
1.651 * * [simplify]: iteration  0 :  269  enodes  (cost  932 )
1.656 * * [simplify]: iteration  1 :  854  enodes  (cost  883 )
1.674 * * [simplify]: iteration  2 :  2635  enodes  (cost  870 )
1.727 * * [simplify]: iteration  3 :  5001  enodes  (cost  870 )
1.733 * [simplify]: Simplified to:
   (log (sqrt (+ (* c c) (* d d))))
  (exp (sqrt (+ (* c c) (* d d))))
  (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (cbrt (sqrt (+ (* c c) (* d d))))
  (pow (sqrt (+ (* c c) (* d d))) 3)
  (fabs (cbrt (+ (* c c) (* d d))))
  (sqrt (cbrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  1
  (sqrt (+ (* c c) (* d d)))
  (sqrt (+ (pow (* c c) 3) (pow (* d d) 3)))
  (sqrt (+ (* (* c c) (* c c)) (- (* (* d d) (* d d)) (* (* c c) (* d d)))))
  (sqrt (- (* (* c c) (* c c)) (* (* d d) (* d d))))
  (sqrt (- (* c c) (* d d)))
  1/2
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (log (sqrt (+ (* c c) (* d d))))
  (exp (sqrt (+ (* c c) (* d d))))
  (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (cbrt (sqrt (+ (* c c) (* d d))))
  (pow (sqrt (+ (* c c) (* d d))) 3)
  (fabs (cbrt (+ (* c c) (* d d))))
  (sqrt (cbrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  1
  (sqrt (+ (* c c) (* d d)))
  (sqrt (+ (pow (* c c) 3) (pow (* d d) 3)))
  (sqrt (+ (* (* c c) (* c c)) (- (* (* d d) (* d d)) (* (* c c) (* d d)))))
  (sqrt (- (* (* c c) (* c c)) (* (* d d) (* d d))))
  (sqrt (- (* c c) (* d d)))
  1/2
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (log (sqrt (+ (* c c) (* d d))))
  (exp (sqrt (+ (* c c) (* d d))))
  (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (cbrt (sqrt (+ (* c c) (* d d))))
  (pow (sqrt (+ (* c c) (* d d))) 3)
  (fabs (cbrt (+ (* c c) (* d d))))
  (sqrt (cbrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  1
  (sqrt (+ (* c c) (* d d)))
  (sqrt (+ (pow (* c c) 3) (pow (* d d) 3)))
  (sqrt (+ (* (* c c) (* c c)) (- (* (* d d) (* d d)) (* (* c c) (* d d)))))
  (sqrt (- (* (* c c) (* c c)) (* (* d d) (* d d))))
  (sqrt (- (* c c) (* d d)))
  1/2
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (log (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (log (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (exp (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (pow (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) 3)
  (* (cbrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))) (cbrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))))
  (cbrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (pow (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) 3)
  (sqrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (sqrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (neg (- (* b c) (* a d)))
  (neg (sqrt (+ (* c c) (* d d))))
  (/ (* b c) (sqrt (+ (* c c) (* d d))))
  (/ (* a d) (sqrt (+ (* c c) (* d d))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (cbrt (- (* b c) (* a d))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (/ (cbrt (- (* b c) (* a d))) (/ (fabs (cbrt (+ (* c c) (* d d)))) (cbrt (- (* b c) (* a d)))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (cbrt (+ (* c c) (* d d)))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (- (* b c) (* a d))) (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (sqrt (- (* b c) (* a d))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (fabs (cbrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (cbrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (sqrt (- (* b c) (* a d)))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (sqrt (- (* b c) (* a d)))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ 1 (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (- (* b c) (* a d)) (cbrt (sqrt (+ (* c c) (* d d)))))
  (/ 1 (* (fabs (cbrt (+ (* c c) (* d d)))) 1))
  (/ (- (* b c) (* a d)) (sqrt (cbrt (+ (* c c) (* d d)))))
  (/ 1 (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  1
  (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
  (/ 1 (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  1
  (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
  (/ 1 (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))
  (/ (- (* b c) (* a d)) (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (- (* b c) (* a d)) (fabs (cbrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  (- (* b c) (* a d))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  (- (* b c) (* a d))
  (/ (sqrt (+ (* c c) (* d d))) (cbrt (- (* b c) (* a d))))
  (/ (sqrt (+ (* c c) (* d d))) (sqrt (- (* b c) (* a d))))
  (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))
  (/ (- (* b c) (* a d)) (sqrt (+ (pow (* c c) 3) (pow (* d d) 3))))
  (/ (- (* b c) (* a d)) (sqrt (- (* (* c c) (* c c)) (* (* d d) (* d d)))))
  (* (+ (* (* a d) (+ (* a d) (* b c))) (* (* b c) (* b c))) (sqrt (+ (* c c) (* d d))))
  (* (sqrt (+ (* c c) (* d d))) (+ (* b c) (* a d)))
  d
  c
  (* -1 c)
  d
  c
  (* -1 c)
  d
  c
  (* -1 c)
  (* -1 a)
  b
  (* -1 b)
1.734 * * * [progress]: adding candidates to table
1.831 * [progress]: [Phase 3 of 3] Extracting.
1.832 * * [regime]: Finding splitpoints for: (#<alt (λ (a b c d) (/ (* -1 a) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (/ (* -1 b) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (* (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (sqrt (+ (* c c) (* d d)))) (/ (cbrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))))> #<alt (λ (a b c d) (/ (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (/ b (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) 0)> #<alt (λ (a b c d) (* (/ 1 (sqrt (+ (* c c) (* d d)))) (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))))> #<alt (λ (a b c d) (/ (/ (- (* (* b c) (* b c)) (* (* a d) (* a d))) (* (sqrt (+ (* c c) (* d d))) (+ (* b c) (* a d)))) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (/ (/ (- (* b c) (* a d)) (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d))))) (cbrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (/ (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) (* (sqrt (sqrt (+ (* c c) (* d d)))) (sqrt (sqrt (+ (* c c) (* d d)))))))> #<alt (λ (a b c d) (* (- (* b c) (* a d)) (/ 1 (+ (* c c) (* d d)))))>)
1.835 * * * [regime-changes]: Trying 4 branch expressions: (d c b a)
1.835 * * * * [regimes]: Trying to branch on d from (#<alt (λ (a b c d) (/ (* -1 a) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (/ (* -1 b) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (* (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (sqrt (+ (* c c) (* d d)))) (/ (cbrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))))> #<alt (λ (a b c d) (/ (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (/ b (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) 0)> #<alt (λ (a b c d) (* (/ 1 (sqrt (+ (* c c) (* d d)))) (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))))> #<alt (λ (a b c d) (/ (/ (- (* (* b c) (* b c)) (* (* a d) (* a d))) (* (sqrt (+ (* c c) (* d d))) (+ (* b c) (* a d)))) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (/ (/ (- (* b c) (* a d)) (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d))))) (cbrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (/ (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) (* (sqrt (sqrt (+ (* c c) (* d d)))) (sqrt (sqrt (+ (* c c) (* d d)))))))> #<alt (λ (a b c d) (* (- (* b c) (* a d)) (/ 1 (+ (* c c) (* d d)))))>)
1.926 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a b c d) (/ (* -1 a) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (/ (* -1 b) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (* (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (sqrt (+ (* c c) (* d d)))) (/ (cbrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))))> #<alt (λ (a b c d) (/ (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (/ b (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) 0)> #<alt (λ (a b c d) (* (/ 1 (sqrt (+ (* c c) (* d d)))) (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))))> #<alt (λ (a b c d) (/ (/ (- (* (* b c) (* b c)) (* (* a d) (* a d))) (* (sqrt (+ (* c c) (* d d))) (+ (* b c) (* a d)))) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (/ (/ (- (* b c) (* a d)) (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d))))) (cbrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (/ (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) (* (sqrt (sqrt (+ (* c c) (* d d)))) (sqrt (sqrt (+ (* c c) (* d d)))))))> #<alt (λ (a b c d) (* (- (* b c) (* a d)) (/ 1 (+ (* c c) (* d d)))))>)
2.015 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b c d) (/ (* -1 a) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (/ (* -1 b) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (* (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (sqrt (+ (* c c) (* d d)))) (/ (cbrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))))> #<alt (λ (a b c d) (/ (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (/ b (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) 0)> #<alt (λ (a b c d) (* (/ 1 (sqrt (+ (* c c) (* d d)))) (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))))> #<alt (λ (a b c d) (/ (/ (- (* (* b c) (* b c)) (* (* a d) (* a d))) (* (sqrt (+ (* c c) (* d d))) (+ (* b c) (* a d)))) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (/ (/ (- (* b c) (* a d)) (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d))))) (cbrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (/ (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) (* (sqrt (sqrt (+ (* c c) (* d d)))) (sqrt (sqrt (+ (* c c) (* d d)))))))> #<alt (λ (a b c d) (* (- (* b c) (* a d)) (/ 1 (+ (* c c) (* d d)))))>)
2.102 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b c d) (/ (* -1 a) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (/ (* -1 b) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (* (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (sqrt (+ (* c c) (* d d)))) (/ (cbrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))))> #<alt (λ (a b c d) (/ (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (/ b (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) 0)> #<alt (λ (a b c d) (* (/ 1 (sqrt (+ (* c c) (* d d)))) (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))))> #<alt (λ (a b c d) (/ (/ (- (* (* b c) (* b c)) (* (* a d) (* a d))) (* (sqrt (+ (* c c) (* d d))) (+ (* b c) (* a d)))) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (/ (/ (- (* b c) (* a d)) (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d))))) (cbrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (/ (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) (* (sqrt (sqrt (+ (* c c) (* d d)))) (sqrt (sqrt (+ (* c c) (* d d)))))))> #<alt (λ (a b c d) (* (- (* b c) (* a d)) (/ 1 (+ (* c c) (* d d)))))>)
2.193 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
2.193 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) (sqrt (+ (* c c) (* d d))))
2.194 * * [simplify]: iteration  0 :  16  enodes  (cost  13 )
2.194 * * [simplify]: iteration  1 :  16  enodes  (cost  13 )
2.194 * [simplify]: Simplified to:
   (/ (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) (sqrt (+ (* c c) (* d d))))
4.705 * [regime-testing]: End program error score: 25.507539035617135
4.833 * [regime-testing]: Target error score: 0.47686784499524243