12.245 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.018 * * * [progress]: [2/2] Setting up program.
0.020 * [progress]: [Phase 2 of 3] Improving.
0.021 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (- (* b c) (* a d)) (+ (* c c) (* d d)))
0.021 * * [simplify]: iteration  0 :  11  enodes  (cost  15 )
0.023 * * [simplify]: iteration  1 :  19  enodes  (cost  15 )
0.025 * * [simplify]: iteration  2 :  36  enodes  (cost  15 )
0.029 * * [simplify]: iteration  3 :  48  enodes  (cost  15 )
0.035 * * [simplify]: iteration  4 :  66  enodes  (cost  15 )
0.042 * * [simplify]: iteration  5 :  72  enodes  (cost  15 )
0.053 * * [simplify]: iteration  done :  72  enodes  (cost  15 )
0.053 * [simplify]: Simplified to:
   (/ (- (* b c) (* a d)) (+ (* c c) (* d d)))
0.053 * * [progress]: iteration 1 / 4
0.053 * * * [progress]: picking best candidate
0.055 * * * * [pick]: Picked  #<alt (λ (a b c d) (/ (- (* b c) (* a d)) (+ (* c c) (* d d))))>
0.055 * * * [progress]: localizing error
0.064 * * * [progress]: generating rewritten candidates
0.064 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.074 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.077 * * * [progress]: generating series expansions
0.078 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.078 * [approximate]: Taking taylor expansion of (/ (- (* b c) (* d a)) (+ (pow d 2) (pow c 2))) in (b c a d) around 0
0.078 * [taylor]: Taking taylor expansion of (/ (- (* b c) (* d a)) (+ (pow d 2) (pow c 2))) in d
0.078 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in d
0.078 * [taylor]: Taking taylor expansion of (* b c) in d
0.078 * [taylor]: Taking taylor expansion of b in d
0.078 * [taylor]: Taking taylor expansion of c in d
0.078 * [taylor]: Taking taylor expansion of (* d a) in d
0.078 * [taylor]: Taking taylor expansion of d in d
0.078 * [taylor]: Taking taylor expansion of a in d
0.078 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in d
0.078 * [taylor]: Taking taylor expansion of (pow d 2) in d
0.078 * [taylor]: Taking taylor expansion of d in d
0.078 * [taylor]: Taking taylor expansion of (pow c 2) in d
0.078 * [taylor]: Taking taylor expansion of c in d
0.079 * [taylor]: Taking taylor expansion of (/ (- (* b c) (* d a)) (+ (pow d 2) (pow c 2))) in a
0.079 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in a
0.079 * [taylor]: Taking taylor expansion of (* b c) in a
0.079 * [taylor]: Taking taylor expansion of b in a
0.079 * [taylor]: Taking taylor expansion of c in a
0.079 * [taylor]: Taking taylor expansion of (* d a) in a
0.079 * [taylor]: Taking taylor expansion of d in a
0.079 * [taylor]: Taking taylor expansion of a in a
0.079 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in a
0.079 * [taylor]: Taking taylor expansion of (pow d 2) in a
0.079 * [taylor]: Taking taylor expansion of d in a
0.079 * [taylor]: Taking taylor expansion of (pow c 2) in a
0.079 * [taylor]: Taking taylor expansion of c in a
0.080 * [taylor]: Taking taylor expansion of (/ (- (* b c) (* d a)) (+ (pow d 2) (pow c 2))) in c
0.080 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in c
0.080 * [taylor]: Taking taylor expansion of (* b c) in c
0.080 * [taylor]: Taking taylor expansion of b in c
0.080 * [taylor]: Taking taylor expansion of c in c
0.080 * [taylor]: Taking taylor expansion of (* d a) in c
0.080 * [taylor]: Taking taylor expansion of d in c
0.080 * [taylor]: Taking taylor expansion of a in c
0.080 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
0.080 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.080 * [taylor]: Taking taylor expansion of d in c
0.080 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.080 * [taylor]: Taking taylor expansion of c in c
0.080 * [taylor]: Taking taylor expansion of (/ (- (* b c) (* d a)) (+ (pow d 2) (pow c 2))) in b
0.080 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
0.080 * [taylor]: Taking taylor expansion of (* b c) in b
0.080 * [taylor]: Taking taylor expansion of b in b
0.080 * [taylor]: Taking taylor expansion of c in b
0.080 * [taylor]: Taking taylor expansion of (* d a) in b
0.080 * [taylor]: Taking taylor expansion of d in b
0.080 * [taylor]: Taking taylor expansion of a in b
0.080 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in b
0.080 * [taylor]: Taking taylor expansion of (pow d 2) in b
0.080 * [taylor]: Taking taylor expansion of d in b
0.080 * [taylor]: Taking taylor expansion of (pow c 2) in b
0.080 * [taylor]: Taking taylor expansion of c in b
0.081 * [taylor]: Taking taylor expansion of (/ (- (* b c) (* d a)) (+ (pow d 2) (pow c 2))) in b
0.081 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
0.081 * [taylor]: Taking taylor expansion of (* b c) in b
0.081 * [taylor]: Taking taylor expansion of b in b
0.081 * [taylor]: Taking taylor expansion of c in b
0.081 * [taylor]: Taking taylor expansion of (* d a) in b
0.081 * [taylor]: Taking taylor expansion of d in b
0.081 * [taylor]: Taking taylor expansion of a in b
0.081 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in b
0.081 * [taylor]: Taking taylor expansion of (pow d 2) in b
0.081 * [taylor]: Taking taylor expansion of d in b
0.081 * [taylor]: Taking taylor expansion of (pow c 2) in b
0.081 * [taylor]: Taking taylor expansion of c in b
0.082 * [taylor]: Taking taylor expansion of (* -1 (/ (* d a) (+ (pow d 2) (pow c 2)))) in c
0.082 * [taylor]: Taking taylor expansion of -1 in c
0.082 * [taylor]: Taking taylor expansion of (/ (* d a) (+ (pow d 2) (pow c 2))) in c
0.082 * [taylor]: Taking taylor expansion of (* d a) in c
0.082 * [taylor]: Taking taylor expansion of d in c
0.082 * [taylor]: Taking taylor expansion of a in c
0.082 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
0.082 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.082 * [taylor]: Taking taylor expansion of d in c
0.082 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.082 * [taylor]: Taking taylor expansion of c in c
0.082 * [taylor]: Taking taylor expansion of (* -1 (/ a d)) in a
0.082 * [taylor]: Taking taylor expansion of -1 in a
0.082 * [taylor]: Taking taylor expansion of (/ a d) in a
0.082 * [taylor]: Taking taylor expansion of a in a
0.082 * [taylor]: Taking taylor expansion of d in a
0.083 * [taylor]: Taking taylor expansion of (/ c (+ (pow d 2) (pow c 2))) in c
0.083 * [taylor]: Taking taylor expansion of c in c
0.083 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
0.083 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.083 * [taylor]: Taking taylor expansion of d in c
0.084 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.084 * [taylor]: Taking taylor expansion of c in c
0.084 * [taylor]: Taking taylor expansion of 0 in a
0.084 * [taylor]: Taking taylor expansion of 0 in d
0.085 * [taylor]: Taking taylor expansion of (/ -1 d) in d
0.085 * [taylor]: Taking taylor expansion of -1 in d
0.085 * [taylor]: Taking taylor expansion of d in d
0.088 * [taylor]: Taking taylor expansion of 0 in c
0.088 * [taylor]: Taking taylor expansion of 0 in a
0.088 * [taylor]: Taking taylor expansion of 0 in d
0.088 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
0.088 * [taylor]: Taking taylor expansion of (pow d 2) in a
0.088 * [taylor]: Taking taylor expansion of d in a
0.088 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
0.088 * [taylor]: Taking taylor expansion of (pow d 2) in d
0.088 * [taylor]: Taking taylor expansion of d in d
0.092 * [taylor]: Taking taylor expansion of (/ a (pow d 3)) in a
0.092 * [taylor]: Taking taylor expansion of a in a
0.092 * [taylor]: Taking taylor expansion of (pow d 3) in a
0.092 * [taylor]: Taking taylor expansion of d in a
0.092 * [taylor]: Taking taylor expansion of 0 in d
0.093 * [taylor]: Taking taylor expansion of 0 in d
0.093 * [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.093 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* b c)) (/ 1 (* d a))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
0.093 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
0.093 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
0.093 * [taylor]: Taking taylor expansion of (* b c) in d
0.093 * [taylor]: Taking taylor expansion of b in d
0.093 * [taylor]: Taking taylor expansion of c in d
0.093 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
0.093 * [taylor]: Taking taylor expansion of (* d a) in d
0.093 * [taylor]: Taking taylor expansion of d in d
0.093 * [taylor]: Taking taylor expansion of a in d
0.094 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
0.094 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
0.094 * [taylor]: Taking taylor expansion of (pow c 2) in d
0.094 * [taylor]: Taking taylor expansion of c in d
0.094 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
0.094 * [taylor]: Taking taylor expansion of (pow d 2) in d
0.094 * [taylor]: Taking taylor expansion of d in d
0.095 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* b c)) (/ 1 (* d a))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in a
0.095 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
0.095 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
0.095 * [taylor]: Taking taylor expansion of (* b c) in a
0.095 * [taylor]: Taking taylor expansion of b in a
0.095 * [taylor]: Taking taylor expansion of c in a
0.095 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
0.095 * [taylor]: Taking taylor expansion of (* d a) in a
0.095 * [taylor]: Taking taylor expansion of d in a
0.095 * [taylor]: Taking taylor expansion of a in a
0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in a
0.095 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in a
0.095 * [taylor]: Taking taylor expansion of (pow c 2) in a
0.095 * [taylor]: Taking taylor expansion of c in a
0.095 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
0.095 * [taylor]: Taking taylor expansion of (pow d 2) in a
0.095 * [taylor]: Taking taylor expansion of d in a
0.096 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* b c)) (/ 1 (* d a))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
0.096 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
0.096 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
0.096 * [taylor]: Taking taylor expansion of (* b c) in c
0.096 * [taylor]: Taking taylor expansion of b in c
0.096 * [taylor]: Taking taylor expansion of c in c
0.096 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
0.096 * [taylor]: Taking taylor expansion of (* d a) in c
0.096 * [taylor]: Taking taylor expansion of d in c
0.096 * [taylor]: Taking taylor expansion of a in c
0.096 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
0.096 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
0.096 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.096 * [taylor]: Taking taylor expansion of c in c
0.097 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
0.097 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.097 * [taylor]: Taking taylor expansion of d in c
0.097 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* b c)) (/ 1 (* d a))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
0.097 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
0.097 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
0.097 * [taylor]: Taking taylor expansion of (* b c) in b
0.097 * [taylor]: Taking taylor expansion of b in b
0.097 * [taylor]: Taking taylor expansion of c in b
0.098 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
0.098 * [taylor]: Taking taylor expansion of (* d a) in b
0.098 * [taylor]: Taking taylor expansion of d in b
0.098 * [taylor]: Taking taylor expansion of a in b
0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
0.098 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
0.098 * [taylor]: Taking taylor expansion of (pow c 2) in b
0.098 * [taylor]: Taking taylor expansion of c in b
0.098 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
0.098 * [taylor]: Taking taylor expansion of (pow d 2) in b
0.098 * [taylor]: Taking taylor expansion of d in b
0.098 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* b c)) (/ 1 (* d a))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
0.098 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
0.098 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
0.098 * [taylor]: Taking taylor expansion of (* b c) in b
0.098 * [taylor]: Taking taylor expansion of b in b
0.098 * [taylor]: Taking taylor expansion of c in b
0.099 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
0.099 * [taylor]: Taking taylor expansion of (* d a) in b
0.099 * [taylor]: Taking taylor expansion of d in b
0.099 * [taylor]: Taking taylor expansion of a in b
0.099 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
0.099 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
0.099 * [taylor]: Taking taylor expansion of (pow c 2) in b
0.099 * [taylor]: Taking taylor expansion of c in b
0.099 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
0.099 * [taylor]: Taking taylor expansion of (pow d 2) in b
0.099 * [taylor]: Taking taylor expansion of d in b
0.100 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) c)) in c
0.100 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) c) in c
0.100 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
0.100 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
0.100 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.100 * [taylor]: Taking taylor expansion of c in c
0.100 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
0.100 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.100 * [taylor]: Taking taylor expansion of d in c
0.100 * [taylor]: Taking taylor expansion of c in c
0.102 * [taylor]: Taking taylor expansion of 1 in a
0.104 * [taylor]: Taking taylor expansion of (- (/ 1 (* d (* a (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))))) in c
0.104 * [taylor]: Taking taylor expansion of (/ 1 (* d (* a (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in c
0.104 * [taylor]: Taking taylor expansion of (* d (* a (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
0.104 * [taylor]: Taking taylor expansion of d in c
0.104 * [taylor]: Taking taylor expansion of (* a (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
0.104 * [taylor]: Taking taylor expansion of a in c
0.104 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
0.104 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
0.104 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.104 * [taylor]: Taking taylor expansion of c in c
0.105 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
0.105 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.105 * [taylor]: Taking taylor expansion of d in c
0.107 * [taylor]: Taking taylor expansion of 0 in a
0.107 * [taylor]: Taking taylor expansion of 1 in d
0.111 * [taylor]: Taking taylor expansion of 0 in c
0.111 * [taylor]: Taking taylor expansion of 0 in a
0.111 * [taylor]: Taking taylor expansion of (- (/ 1 (* d a))) in a
0.111 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
0.111 * [taylor]: Taking taylor expansion of (* d a) in a
0.111 * [taylor]: Taking taylor expansion of d in a
0.111 * [taylor]: Taking taylor expansion of a in a
0.111 * [taylor]: Taking taylor expansion of (- (/ 1 d)) in d
0.111 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.111 * [taylor]: Taking taylor expansion of d in d
0.115 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d 2))) in a
0.115 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
0.115 * [taylor]: Taking taylor expansion of (pow d 2) in a
0.115 * [taylor]: Taking taylor expansion of d in a
0.116 * [taylor]: Taking taylor expansion of 0 in d
0.116 * [taylor]: Taking taylor expansion of 0 in d
0.121 * [taylor]: Taking taylor expansion of 0 in c
0.121 * [taylor]: Taking taylor expansion of 0 in a
0.121 * [taylor]: Taking taylor expansion of 0 in a
0.122 * [taylor]: Taking taylor expansion of 0 in a
0.126 * [taylor]: Taking taylor expansion of 0 in a
0.126 * [taylor]: Taking taylor expansion of 0 in d
0.126 * [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.126 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* b c)) (/ 1 (* d a))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
0.126 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
0.126 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
0.126 * [taylor]: Taking taylor expansion of (* b c) in d
0.126 * [taylor]: Taking taylor expansion of b in d
0.126 * [taylor]: Taking taylor expansion of c in d
0.126 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
0.126 * [taylor]: Taking taylor expansion of (* d a) in d
0.126 * [taylor]: Taking taylor expansion of d in d
0.126 * [taylor]: Taking taylor expansion of a in d
0.127 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
0.127 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
0.127 * [taylor]: Taking taylor expansion of (pow c 2) in d
0.127 * [taylor]: Taking taylor expansion of c in d
0.127 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
0.127 * [taylor]: Taking taylor expansion of (pow d 2) in d
0.127 * [taylor]: Taking taylor expansion of d in d
0.128 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* b c)) (/ 1 (* d a))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in a
0.128 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
0.128 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
0.128 * [taylor]: Taking taylor expansion of (* b c) in a
0.128 * [taylor]: Taking taylor expansion of b in a
0.128 * [taylor]: Taking taylor expansion of c in a
0.128 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
0.128 * [taylor]: Taking taylor expansion of (* d a) in a
0.128 * [taylor]: Taking taylor expansion of d in a
0.128 * [taylor]: Taking taylor expansion of a in a
0.128 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in a
0.128 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in a
0.128 * [taylor]: Taking taylor expansion of (pow c 2) in a
0.128 * [taylor]: Taking taylor expansion of c in a
0.128 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
0.129 * [taylor]: Taking taylor expansion of (pow d 2) in a
0.129 * [taylor]: Taking taylor expansion of d in a
0.129 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* b c)) (/ 1 (* d a))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
0.129 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
0.129 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
0.129 * [taylor]: Taking taylor expansion of (* b c) in c
0.129 * [taylor]: Taking taylor expansion of b in c
0.129 * [taylor]: Taking taylor expansion of c in c
0.129 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
0.129 * [taylor]: Taking taylor expansion of (* d a) in c
0.129 * [taylor]: Taking taylor expansion of d in c
0.130 * [taylor]: Taking taylor expansion of a in c
0.130 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
0.130 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
0.130 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.130 * [taylor]: Taking taylor expansion of c in c
0.130 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
0.130 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.130 * [taylor]: Taking taylor expansion of d in c
0.131 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* b c)) (/ 1 (* d a))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
0.131 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
0.131 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
0.131 * [taylor]: Taking taylor expansion of (* b c) in b
0.131 * [taylor]: Taking taylor expansion of b in b
0.131 * [taylor]: Taking taylor expansion of c in b
0.131 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
0.131 * [taylor]: Taking taylor expansion of (* d a) in b
0.131 * [taylor]: Taking taylor expansion of d in b
0.131 * [taylor]: Taking taylor expansion of a in b
0.131 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
0.131 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
0.131 * [taylor]: Taking taylor expansion of (pow c 2) in b
0.131 * [taylor]: Taking taylor expansion of c in b
0.131 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
0.131 * [taylor]: Taking taylor expansion of (pow d 2) in b
0.131 * [taylor]: Taking taylor expansion of d in b
0.132 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* b c)) (/ 1 (* d a))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
0.132 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
0.132 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
0.132 * [taylor]: Taking taylor expansion of (* b c) in b
0.132 * [taylor]: Taking taylor expansion of b in b
0.132 * [taylor]: Taking taylor expansion of c in b
0.132 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
0.132 * [taylor]: Taking taylor expansion of (* d a) in b
0.132 * [taylor]: Taking taylor expansion of d in b
0.132 * [taylor]: Taking taylor expansion of a in b
0.132 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
0.132 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
0.132 * [taylor]: Taking taylor expansion of (pow c 2) in b
0.132 * [taylor]: Taking taylor expansion of c in b
0.132 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
0.133 * [taylor]: Taking taylor expansion of (pow d 2) in b
0.133 * [taylor]: Taking taylor expansion of d in b
0.133 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) c)) in c
0.133 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) c) in c
0.133 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
0.133 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
0.133 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.133 * [taylor]: Taking taylor expansion of c in c
0.134 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
0.134 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.134 * [taylor]: Taking taylor expansion of d in c
0.134 * [taylor]: Taking taylor expansion of c in c
0.136 * [taylor]: Taking taylor expansion of 1 in a
0.138 * [taylor]: Taking taylor expansion of (- (/ 1 (* d (* a (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))))) in c
0.138 * [taylor]: Taking taylor expansion of (/ 1 (* d (* a (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in c
0.138 * [taylor]: Taking taylor expansion of (* d (* a (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
0.138 * [taylor]: Taking taylor expansion of d in c
0.138 * [taylor]: Taking taylor expansion of (* a (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
0.138 * [taylor]: Taking taylor expansion of a in c
0.138 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
0.138 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
0.138 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.138 * [taylor]: Taking taylor expansion of c in c
0.138 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
0.138 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.138 * [taylor]: Taking taylor expansion of d in c
0.144 * [taylor]: Taking taylor expansion of 0 in a
0.144 * [taylor]: Taking taylor expansion of 1 in d
0.148 * [taylor]: Taking taylor expansion of 0 in c
0.148 * [taylor]: Taking taylor expansion of 0 in a
0.148 * [taylor]: Taking taylor expansion of (- (/ 1 (* d a))) in a
0.148 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
0.148 * [taylor]: Taking taylor expansion of (* d a) in a
0.148 * [taylor]: Taking taylor expansion of d in a
0.148 * [taylor]: Taking taylor expansion of a in a
0.148 * [taylor]: Taking taylor expansion of (- (/ 1 d)) in d
0.148 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.148 * [taylor]: Taking taylor expansion of d in d
0.152 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d 2))) in a
0.152 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
0.152 * [taylor]: Taking taylor expansion of (pow d 2) in a
0.153 * [taylor]: Taking taylor expansion of d in a
0.153 * [taylor]: Taking taylor expansion of 0 in d
0.153 * [taylor]: Taking taylor expansion of 0 in d
0.157 * [taylor]: Taking taylor expansion of 0 in c
0.157 * [taylor]: Taking taylor expansion of 0 in a
0.157 * [taylor]: Taking taylor expansion of 0 in a
0.159 * [taylor]: Taking taylor expansion of 0 in a
0.163 * [taylor]: Taking taylor expansion of 0 in a
0.163 * [taylor]: Taking taylor expansion of 0 in d
0.163 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.163 * [approximate]: Taking taylor expansion of (- (* b c) (* d a)) in (b c a d) around 0
0.163 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in d
0.163 * [taylor]: Taking taylor expansion of (* b c) in d
0.163 * [taylor]: Taking taylor expansion of b in d
0.163 * [taylor]: Taking taylor expansion of c in d
0.163 * [taylor]: Taking taylor expansion of (* d a) in d
0.163 * [taylor]: Taking taylor expansion of d in d
0.163 * [taylor]: Taking taylor expansion of a in d
0.163 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in a
0.163 * [taylor]: Taking taylor expansion of (* b c) in a
0.163 * [taylor]: Taking taylor expansion of b in a
0.163 * [taylor]: Taking taylor expansion of c in a
0.163 * [taylor]: Taking taylor expansion of (* d a) in a
0.163 * [taylor]: Taking taylor expansion of d in a
0.163 * [taylor]: Taking taylor expansion of a in a
0.163 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in c
0.163 * [taylor]: Taking taylor expansion of (* b c) in c
0.163 * [taylor]: Taking taylor expansion of b in c
0.163 * [taylor]: Taking taylor expansion of c in c
0.163 * [taylor]: Taking taylor expansion of (* d a) in c
0.163 * [taylor]: Taking taylor expansion of d in c
0.163 * [taylor]: Taking taylor expansion of a in c
0.163 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
0.163 * [taylor]: Taking taylor expansion of (* b c) in b
0.163 * [taylor]: Taking taylor expansion of b in b
0.164 * [taylor]: Taking taylor expansion of c in b
0.164 * [taylor]: Taking taylor expansion of (* d a) in b
0.164 * [taylor]: Taking taylor expansion of d in b
0.164 * [taylor]: Taking taylor expansion of a in b
0.164 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
0.164 * [taylor]: Taking taylor expansion of (* b c) in b
0.164 * [taylor]: Taking taylor expansion of b in b
0.164 * [taylor]: Taking taylor expansion of c in b
0.164 * [taylor]: Taking taylor expansion of (* d a) in b
0.164 * [taylor]: Taking taylor expansion of d in b
0.164 * [taylor]: Taking taylor expansion of a in b
0.164 * [taylor]: Taking taylor expansion of (- (* d a)) in c
0.164 * [taylor]: Taking taylor expansion of (* d a) in c
0.164 * [taylor]: Taking taylor expansion of d in c
0.164 * [taylor]: Taking taylor expansion of a in c
0.164 * [taylor]: Taking taylor expansion of (- (* d a)) in a
0.164 * [taylor]: Taking taylor expansion of (* d a) in a
0.164 * [taylor]: Taking taylor expansion of d in a
0.164 * [taylor]: Taking taylor expansion of a in a
0.164 * [taylor]: Taking taylor expansion of 0 in d
0.165 * [taylor]: Taking taylor expansion of c in c
0.165 * [taylor]: Taking taylor expansion of 0 in a
0.165 * [taylor]: Taking taylor expansion of 0 in d
0.165 * [taylor]: Taking taylor expansion of 0 in a
0.165 * [taylor]: Taking taylor expansion of 0 in d
0.165 * [taylor]: Taking taylor expansion of (- d) in d
0.165 * [taylor]: Taking taylor expansion of d in d
0.167 * [taylor]: Taking taylor expansion of 0 in c
0.167 * [taylor]: Taking taylor expansion of 0 in a
0.167 * [taylor]: Taking taylor expansion of 0 in d
0.167 * [approximate]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in (b c a d) around 0
0.167 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
0.167 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
0.167 * [taylor]: Taking taylor expansion of (* b c) in d
0.167 * [taylor]: Taking taylor expansion of b in d
0.167 * [taylor]: Taking taylor expansion of c in d
0.167 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
0.167 * [taylor]: Taking taylor expansion of (* d a) in d
0.167 * [taylor]: Taking taylor expansion of d in d
0.167 * [taylor]: Taking taylor expansion of a in d
0.168 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
0.168 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
0.168 * [taylor]: Taking taylor expansion of (* b c) in a
0.168 * [taylor]: Taking taylor expansion of b in a
0.168 * [taylor]: Taking taylor expansion of c in a
0.168 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
0.168 * [taylor]: Taking taylor expansion of (* d a) in a
0.168 * [taylor]: Taking taylor expansion of d in a
0.168 * [taylor]: Taking taylor expansion of a in a
0.168 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
0.168 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
0.168 * [taylor]: Taking taylor expansion of (* b c) in c
0.168 * [taylor]: Taking taylor expansion of b in c
0.168 * [taylor]: Taking taylor expansion of c in c
0.169 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
0.169 * [taylor]: Taking taylor expansion of (* d a) in c
0.169 * [taylor]: Taking taylor expansion of d in c
0.169 * [taylor]: Taking taylor expansion of a in c
0.169 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
0.169 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
0.169 * [taylor]: Taking taylor expansion of (* b c) in b
0.169 * [taylor]: Taking taylor expansion of b in b
0.169 * [taylor]: Taking taylor expansion of c in b
0.169 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
0.169 * [taylor]: Taking taylor expansion of (* d a) in b
0.169 * [taylor]: Taking taylor expansion of d in b
0.169 * [taylor]: Taking taylor expansion of a in b
0.169 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
0.169 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
0.169 * [taylor]: Taking taylor expansion of (* b c) in b
0.169 * [taylor]: Taking taylor expansion of b in b
0.169 * [taylor]: Taking taylor expansion of c in b
0.170 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
0.170 * [taylor]: Taking taylor expansion of (* d a) in b
0.170 * [taylor]: Taking taylor expansion of d in b
0.170 * [taylor]: Taking taylor expansion of a in b
0.170 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.170 * [taylor]: Taking taylor expansion of c in c
0.170 * [taylor]: Taking taylor expansion of 1 in a
0.171 * [taylor]: Taking taylor expansion of (- (/ 1 (* d a))) in c
0.171 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
0.171 * [taylor]: Taking taylor expansion of (* d a) in c
0.171 * [taylor]: Taking taylor expansion of d in c
0.171 * [taylor]: Taking taylor expansion of a in c
0.171 * [taylor]: Taking taylor expansion of 0 in a
0.171 * [taylor]: Taking taylor expansion of 1 in d
0.173 * [taylor]: Taking taylor expansion of 0 in c
0.173 * [taylor]: Taking taylor expansion of (- (/ 1 (* d a))) in a
0.173 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
0.173 * [taylor]: Taking taylor expansion of (* d a) in a
0.173 * [taylor]: Taking taylor expansion of d in a
0.173 * [taylor]: Taking taylor expansion of a in a
0.173 * [taylor]: Taking taylor expansion of (- (/ 1 d)) in d
0.173 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.173 * [taylor]: Taking taylor expansion of d in d
0.174 * [taylor]: Taking taylor expansion of 0 in a
0.174 * [taylor]: Taking taylor expansion of 0 in d
0.174 * [taylor]: Taking taylor expansion of 0 in d
0.176 * [taylor]: Taking taylor expansion of 0 in c
0.176 * [taylor]: Taking taylor expansion of 0 in a
0.177 * [taylor]: Taking taylor expansion of 0 in a
0.177 * [taylor]: Taking taylor expansion of 0 in a
0.178 * [taylor]: Taking taylor expansion of 0 in d
0.178 * [taylor]: Taking taylor expansion of 0 in d
0.178 * [taylor]: Taking taylor expansion of 0 in d
0.178 * [taylor]: Taking taylor expansion of 0 in d
0.181 * [taylor]: Taking taylor expansion of 0 in c
0.181 * [taylor]: Taking taylor expansion of 0 in a
0.181 * [taylor]: Taking taylor expansion of 0 in a
0.182 * [taylor]: Taking taylor expansion of 0 in a
0.182 * [taylor]: Taking taylor expansion of 0 in a
0.182 * [taylor]: Taking taylor expansion of 0 in d
0.182 * [taylor]: Taking taylor expansion of 0 in d
0.182 * [taylor]: Taking taylor expansion of 0 in d
0.183 * [taylor]: Taking taylor expansion of 0 in d
0.183 * [taylor]: Taking taylor expansion of 0 in d
0.183 * [taylor]: Taking taylor expansion of 0 in d
0.183 * [taylor]: Taking taylor expansion of 0 in d
0.184 * [approximate]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in (b c a d) around 0
0.184 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
0.184 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
0.184 * [taylor]: Taking taylor expansion of (* b c) in d
0.184 * [taylor]: Taking taylor expansion of b in d
0.184 * [taylor]: Taking taylor expansion of c in d
0.184 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
0.184 * [taylor]: Taking taylor expansion of (* d a) in d
0.184 * [taylor]: Taking taylor expansion of d in d
0.184 * [taylor]: Taking taylor expansion of a in d
0.184 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
0.184 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
0.184 * [taylor]: Taking taylor expansion of (* b c) in a
0.184 * [taylor]: Taking taylor expansion of b in a
0.185 * [taylor]: Taking taylor expansion of c in a
0.185 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
0.185 * [taylor]: Taking taylor expansion of (* d a) in a
0.185 * [taylor]: Taking taylor expansion of d in a
0.185 * [taylor]: Taking taylor expansion of a in a
0.185 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
0.185 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
0.185 * [taylor]: Taking taylor expansion of (* b c) in c
0.185 * [taylor]: Taking taylor expansion of b in c
0.185 * [taylor]: Taking taylor expansion of c in c
0.185 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
0.185 * [taylor]: Taking taylor expansion of (* d a) in c
0.185 * [taylor]: Taking taylor expansion of d in c
0.185 * [taylor]: Taking taylor expansion of a in c
0.185 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
0.185 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
0.185 * [taylor]: Taking taylor expansion of (* b c) in b
0.185 * [taylor]: Taking taylor expansion of b in b
0.185 * [taylor]: Taking taylor expansion of c in b
0.186 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
0.186 * [taylor]: Taking taylor expansion of (* d a) in b
0.186 * [taylor]: Taking taylor expansion of d in b
0.186 * [taylor]: Taking taylor expansion of a in b
0.186 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
0.186 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
0.186 * [taylor]: Taking taylor expansion of (* b c) in b
0.186 * [taylor]: Taking taylor expansion of b in b
0.186 * [taylor]: Taking taylor expansion of c in b
0.186 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
0.186 * [taylor]: Taking taylor expansion of (* d a) in b
0.186 * [taylor]: Taking taylor expansion of d in b
0.186 * [taylor]: Taking taylor expansion of a in b
0.187 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.187 * [taylor]: Taking taylor expansion of c in c
0.187 * [taylor]: Taking taylor expansion of 1 in a
0.188 * [taylor]: Taking taylor expansion of (- (/ 1 (* d a))) in c
0.188 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
0.188 * [taylor]: Taking taylor expansion of (* d a) in c
0.188 * [taylor]: Taking taylor expansion of d in c
0.188 * [taylor]: Taking taylor expansion of a in c
0.188 * [taylor]: Taking taylor expansion of 0 in a
0.188 * [taylor]: Taking taylor expansion of 1 in d
0.190 * [taylor]: Taking taylor expansion of 0 in c
0.190 * [taylor]: Taking taylor expansion of (- (/ 1 (* d a))) in a
0.190 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
0.190 * [taylor]: Taking taylor expansion of (* d a) in a
0.190 * [taylor]: Taking taylor expansion of d in a
0.190 * [taylor]: Taking taylor expansion of a in a
0.190 * [taylor]: Taking taylor expansion of (- (/ 1 d)) in d
0.190 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.190 * [taylor]: Taking taylor expansion of d in d
0.191 * [taylor]: Taking taylor expansion of 0 in a
0.191 * [taylor]: Taking taylor expansion of 0 in d
0.191 * [taylor]: Taking taylor expansion of 0 in d
0.193 * [taylor]: Taking taylor expansion of 0 in c
0.193 * [taylor]: Taking taylor expansion of 0 in a
0.194 * [taylor]: Taking taylor expansion of 0 in a
0.194 * [taylor]: Taking taylor expansion of 0 in a
0.195 * [taylor]: Taking taylor expansion of 0 in d
0.195 * [taylor]: Taking taylor expansion of 0 in d
0.195 * [taylor]: Taking taylor expansion of 0 in d
0.195 * [taylor]: Taking taylor expansion of 0 in d
0.198 * [taylor]: Taking taylor expansion of 0 in c
0.198 * [taylor]: Taking taylor expansion of 0 in a
0.198 * [taylor]: Taking taylor expansion of 0 in a
0.199 * [taylor]: Taking taylor expansion of 0 in a
0.199 * [taylor]: Taking taylor expansion of 0 in a
0.199 * [taylor]: Taking taylor expansion of 0 in d
0.199 * [taylor]: Taking taylor expansion of 0 in d
0.199 * [taylor]: Taking taylor expansion of 0 in d
0.200 * [taylor]: Taking taylor expansion of 0 in d
0.200 * [taylor]: Taking taylor expansion of 0 in d
0.200 * [taylor]: Taking taylor expansion of 0 in d
0.200 * [taylor]: Taking taylor expansion of 0 in d
0.201 * * * [progress]: simplifying candidates
0.202 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (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))))
  (- (- (* b c) (* a d)))
  (- (+ (* 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))))
  (- (* a d))
  (- (* (* b c) (* b c)) (* (* a d) (* a d)))
  (+ (* b c) (* a d))
  (- (* a d))
  0
  0
  0
  0
  (- (* b c) (* d a))
  (- (* b c) (* d a))
0.204 * * [simplify]: iteration  0 :  88  enodes  (cost  954 )
0.221 * * [simplify]: iteration  1 :  250  enodes  (cost  936 )
0.271 * * [simplify]: iteration  2 :  880  enodes  (cost  854 )
0.492 * * [simplify]: iteration  3 :  3225  enodes  (cost  850 )
1.345 * * [simplify]: iteration  done :  5000  enodes  (cost  849 )
1.346 * [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))))
  (- (* d a) (* b c))
  (- (+ (* 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) (* d a)) (+ (* 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) (* d a))
  (/ (+ (* 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) (* d a)) (+ (pow d 6) (pow c 6)))
  (/ (- (* b c) (* d a)) (- (pow c 4) (pow d 4)))
  (* (+ (* (* a d) (+ (* b c) (* a d))) (* (* b c) (* b c))) (+ (* c c) (* d d)))
  (* (+ (* c c) (* d d)) (+ (* b c) (* a d)))
  (exp (- (* b c) (* d a)))
  (log (- (* b c) (* a d)))
  (exp (- (* b c) (* d a)))
  (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d))))
  (cbrt (- (* b c) (* d a)))
  (pow (- (* b c) (* d a)) 3)
  (sqrt (- (* b c) (* a d)))
  (sqrt (- (* b c) (* a d)))
  (- (pow (* b c) 3) (pow (* a d) 3))
  (+ (* (* a d) (+ (* b c) (* a d))) (* (* b c) (* b c)))
  (- (* d a))
  (- (* (* b c) (* b c)) (* (* a d) (* a d)))
  (+ (* b c) (* a d))
  (- (* d a))
  0
  0
  0
  0
  (- (* b c) (* d a))
  (- (* b c) (* d a))
1.346 * * * [progress]: adding candidates to table
1.481 * * [progress]: iteration 2 / 4
1.481 * * * [progress]: picking best candidate
1.493 * * * * [pick]: Picked  #<alt (λ (a b c d) (/ (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) (sqrt (+ (* c c) (* d d)))))>
1.493 * * * [progress]: localizing error
1.505 * * * [progress]: generating rewritten candidates
1.505 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
1.509 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
1.512 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1.523 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
1.530 * * * [progress]: generating series expansions
1.530 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
1.531 * [approximate]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in (c d) around 0
1.531 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in d
1.531 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in d
1.531 * [taylor]: Taking taylor expansion of (pow d 2) in d
1.531 * [taylor]: Taking taylor expansion of d in d
1.531 * [taylor]: Taking taylor expansion of (pow c 2) in d
1.531 * [taylor]: Taking taylor expansion of c in d
1.532 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
1.532 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
1.532 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.532 * [taylor]: Taking taylor expansion of d in c
1.532 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.532 * [taylor]: Taking taylor expansion of c in c
1.532 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
1.532 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
1.532 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.532 * [taylor]: Taking taylor expansion of d in c
1.532 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.532 * [taylor]: Taking taylor expansion of c in c
1.533 * [taylor]: Taking taylor expansion of d in d
1.533 * [taylor]: Taking taylor expansion of 0 in d
1.534 * [taylor]: Taking taylor expansion of (/ 1/2 d) in d
1.534 * [taylor]: Taking taylor expansion of 1/2 in d
1.534 * [taylor]: Taking taylor expansion of d in d
1.536 * [taylor]: Taking taylor expansion of 0 in d
1.537 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (c d) around 0
1.537 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
1.537 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
1.537 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
1.537 * [taylor]: Taking taylor expansion of (pow c 2) in d
1.537 * [taylor]: Taking taylor expansion of c in d
1.537 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
1.537 * [taylor]: Taking taylor expansion of (pow d 2) in d
1.537 * [taylor]: Taking taylor expansion of d in d
1.540 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.540 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.540 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.540 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.540 * [taylor]: Taking taylor expansion of c in c
1.540 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.540 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.540 * [taylor]: Taking taylor expansion of d in c
1.542 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.543 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.543 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.543 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.543 * [taylor]: Taking taylor expansion of c in c
1.543 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.543 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.543 * [taylor]: Taking taylor expansion of d in c
1.545 * [taylor]: Taking taylor expansion of 1 in d
1.545 * [taylor]: Taking taylor expansion of 0 in d
1.547 * [taylor]: Taking taylor expansion of (/ 1/2 (pow d 2)) in d
1.547 * [taylor]: Taking taylor expansion of 1/2 in d
1.547 * [taylor]: Taking taylor expansion of (pow d 2) in d
1.547 * [taylor]: Taking taylor expansion of d in d
1.551 * [taylor]: Taking taylor expansion of 0 in d
1.552 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (c d) around 0
1.552 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
1.552 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
1.552 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
1.552 * [taylor]: Taking taylor expansion of (pow c 2) in d
1.552 * [taylor]: Taking taylor expansion of c in d
1.552 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
1.552 * [taylor]: Taking taylor expansion of (pow d 2) in d
1.552 * [taylor]: Taking taylor expansion of d in d
1.555 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.555 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.555 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.555 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.555 * [taylor]: Taking taylor expansion of c in c
1.555 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.555 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.555 * [taylor]: Taking taylor expansion of d in c
1.557 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.557 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.557 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.557 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.557 * [taylor]: Taking taylor expansion of c in c
1.558 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.558 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.558 * [taylor]: Taking taylor expansion of d in c
1.560 * [taylor]: Taking taylor expansion of 1 in d
1.560 * [taylor]: Taking taylor expansion of 0 in d
1.562 * [taylor]: Taking taylor expansion of (/ 1/2 (pow d 2)) in d
1.562 * [taylor]: Taking taylor expansion of 1/2 in d
1.562 * [taylor]: Taking taylor expansion of (pow d 2) in d
1.562 * [taylor]: Taking taylor expansion of d in d
1.565 * [taylor]: Taking taylor expansion of 0 in d
1.566 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
1.566 * [approximate]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in (c d) around 0
1.566 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in d
1.567 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in d
1.567 * [taylor]: Taking taylor expansion of (pow d 2) in d
1.567 * [taylor]: Taking taylor expansion of d in d
1.567 * [taylor]: Taking taylor expansion of (pow c 2) in d
1.567 * [taylor]: Taking taylor expansion of c in d
1.567 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
1.567 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
1.567 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.567 * [taylor]: Taking taylor expansion of d in c
1.567 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.567 * [taylor]: Taking taylor expansion of c in c
1.568 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
1.568 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
1.568 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.568 * [taylor]: Taking taylor expansion of d in c
1.568 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.568 * [taylor]: Taking taylor expansion of c in c
1.568 * [taylor]: Taking taylor expansion of d in d
1.568 * [taylor]: Taking taylor expansion of 0 in d
1.570 * [taylor]: Taking taylor expansion of (/ 1/2 d) in d
1.570 * [taylor]: Taking taylor expansion of 1/2 in d
1.570 * [taylor]: Taking taylor expansion of d in d
1.572 * [taylor]: Taking taylor expansion of 0 in d
1.572 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (c d) around 0
1.572 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
1.572 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
1.572 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
1.572 * [taylor]: Taking taylor expansion of (pow c 2) in d
1.572 * [taylor]: Taking taylor expansion of c in d
1.573 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
1.573 * [taylor]: Taking taylor expansion of (pow d 2) in d
1.573 * [taylor]: Taking taylor expansion of d in d
1.575 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.575 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.575 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.575 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.575 * [taylor]: Taking taylor expansion of c in c
1.576 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.576 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.576 * [taylor]: Taking taylor expansion of d in c
1.578 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.578 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.578 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.578 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.578 * [taylor]: Taking taylor expansion of c in c
1.578 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.578 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.578 * [taylor]: Taking taylor expansion of d in c
1.580 * [taylor]: Taking taylor expansion of 1 in d
1.580 * [taylor]: Taking taylor expansion of 0 in d
1.582 * [taylor]: Taking taylor expansion of (/ 1/2 (pow d 2)) in d
1.582 * [taylor]: Taking taylor expansion of 1/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.586 * [taylor]: Taking taylor expansion of 0 in d
1.587 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (c d) around 0
1.587 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
1.587 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
1.587 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
1.587 * [taylor]: Taking taylor expansion of (pow c 2) in d
1.587 * [taylor]: Taking taylor expansion of c in d
1.587 * [taylor]: Taking taylor expansion of (/ 1 (pow d 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.590 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.590 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.590 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.590 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.590 * [taylor]: Taking taylor expansion of c in c
1.590 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.590 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.590 * [taylor]: Taking taylor expansion of d in c
1.592 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.592 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.592 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.592 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.592 * [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.595 * [taylor]: Taking taylor expansion of 1 in d
1.595 * [taylor]: Taking taylor expansion of 0 in d
1.597 * [taylor]: Taking taylor expansion of (/ 1/2 (pow d 2)) in d
1.597 * [taylor]: Taking taylor expansion of 1/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.600 * [taylor]: Taking taylor expansion of 0 in d
1.602 * * * * [progress]: [ 3 / 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.603 * [taylor]: Taking taylor expansion of (* (- (* b c) (* d a)) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in a
1.603 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in a
1.603 * [taylor]: Taking taylor expansion of (* b c) in a
1.603 * [taylor]: Taking taylor expansion of b in a
1.603 * [taylor]: Taking taylor expansion of c in a
1.603 * [taylor]: Taking taylor expansion of (* d a) in a
1.603 * [taylor]: Taking taylor expansion of d in a
1.603 * [taylor]: Taking taylor expansion of a in a
1.603 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in a
1.603 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in a
1.603 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in a
1.603 * [taylor]: Taking taylor expansion of (pow d 2) in a
1.603 * [taylor]: Taking taylor expansion of d in a
1.603 * [taylor]: Taking taylor expansion of (pow c 2) in a
1.603 * [taylor]: Taking taylor expansion of c in a
1.605 * [taylor]: Taking taylor expansion of (* (- (* b c) (* d a)) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in c
1.605 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in c
1.605 * [taylor]: Taking taylor expansion of (* b c) in c
1.605 * [taylor]: Taking taylor expansion of b in c
1.605 * [taylor]: Taking taylor expansion of c in c
1.605 * [taylor]: Taking taylor expansion of (* d a) in c
1.605 * [taylor]: Taking taylor expansion of d in c
1.605 * [taylor]: Taking taylor expansion of a in c
1.605 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in c
1.605 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in c
1.605 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
1.605 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.605 * [taylor]: Taking taylor expansion of d in c
1.605 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.605 * [taylor]: Taking taylor expansion of c in c
1.606 * [taylor]: Taking taylor expansion of (* (- (* b c) (* d a)) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in b
1.606 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
1.606 * [taylor]: Taking taylor expansion of (* b c) in b
1.606 * [taylor]: Taking taylor expansion of b in b
1.606 * [taylor]: Taking taylor expansion of c in b
1.606 * [taylor]: Taking taylor expansion of (* d a) in b
1.606 * [taylor]: Taking taylor expansion of d in b
1.606 * [taylor]: Taking taylor expansion of a in b
1.606 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in b
1.606 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in b
1.606 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in b
1.606 * [taylor]: Taking taylor expansion of (pow d 2) in b
1.606 * [taylor]: Taking taylor expansion of d in b
1.606 * [taylor]: Taking taylor expansion of (pow c 2) in b
1.606 * [taylor]: Taking taylor expansion of c in b
1.607 * [taylor]: Taking taylor expansion of (* (- (* b c) (* d a)) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in b
1.607 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
1.607 * [taylor]: Taking taylor expansion of (* b c) in b
1.607 * [taylor]: Taking taylor expansion of b in b
1.607 * [taylor]: Taking taylor expansion of c in b
1.607 * [taylor]: Taking taylor expansion of (* d a) in b
1.607 * [taylor]: Taking taylor expansion of d in b
1.607 * [taylor]: Taking taylor expansion of a in b
1.607 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in b
1.607 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in b
1.607 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in b
1.607 * [taylor]: Taking taylor expansion of (pow d 2) in b
1.607 * [taylor]: Taking taylor expansion of d in b
1.607 * [taylor]: Taking taylor expansion of (pow c 2) in b
1.607 * [taylor]: Taking taylor expansion of c in b
1.609 * [taylor]: Taking taylor expansion of (* -1 (* (* d a) (sqrt (/ 1 (+ (pow d 2) (pow c 2)))))) in c
1.609 * [taylor]: Taking taylor expansion of -1 in c
1.609 * [taylor]: Taking taylor expansion of (* (* d a) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in c
1.609 * [taylor]: Taking taylor expansion of (* d a) in c
1.609 * [taylor]: Taking taylor expansion of d in c
1.609 * [taylor]: Taking taylor expansion of a in c
1.609 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in c
1.609 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in c
1.609 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
1.609 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.609 * [taylor]: Taking taylor expansion of d in c
1.609 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.609 * [taylor]: Taking taylor expansion of c in c
1.610 * [taylor]: Taking taylor expansion of (* -1 a) in a
1.610 * [taylor]: Taking taylor expansion of -1 in a
1.610 * [taylor]: Taking taylor expansion of a in a
1.610 * [taylor]: Taking taylor expansion of 0 in d
1.611 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) c) in c
1.611 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in c
1.611 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in c
1.611 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
1.611 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.611 * [taylor]: Taking taylor expansion of d in c
1.611 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.611 * [taylor]: Taking taylor expansion of c in c
1.612 * [taylor]: Taking taylor expansion of c in c
1.612 * [taylor]: Taking taylor expansion of 0 in a
1.612 * [taylor]: Taking taylor expansion of 0 in d
1.612 * [taylor]: Taking taylor expansion of 0 in a
1.612 * [taylor]: Taking taylor expansion of 0 in d
1.613 * [taylor]: Taking taylor expansion of -1 in d
1.621 * [taylor]: Taking taylor expansion of 0 in c
1.621 * [taylor]: Taking taylor expansion of 0 in a
1.621 * [taylor]: Taking taylor expansion of 0 in d
1.622 * [taylor]: Taking taylor expansion of (/ 1 d) in a
1.622 * [taylor]: Taking taylor expansion of d in a
1.622 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.622 * [taylor]: Taking taylor expansion of d in d
1.625 * [taylor]: Taking taylor expansion of (* 1/2 (/ a (pow d 2))) in a
1.625 * [taylor]: Taking taylor expansion of 1/2 in a
1.625 * [taylor]: Taking taylor expansion of (/ a (pow d 2)) in a
1.625 * [taylor]: Taking taylor expansion of a 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.626 * [taylor]: Taking taylor expansion of 0 in d
1.627 * [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.627 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in d
1.627 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
1.627 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
1.627 * [taylor]: Taking taylor expansion of (* b c) in d
1.627 * [taylor]: Taking taylor expansion of b in d
1.627 * [taylor]: Taking taylor expansion of c in d
1.627 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
1.627 * [taylor]: Taking taylor expansion of (* d a) in d
1.627 * [taylor]: Taking taylor expansion of d in d
1.627 * [taylor]: Taking taylor expansion of a in d
1.627 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in d
1.627 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
1.627 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
1.627 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
1.627 * [taylor]: Taking taylor expansion of (pow c 2) in d
1.627 * [taylor]: Taking taylor expansion of c in d
1.627 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
1.627 * [taylor]: Taking taylor expansion of (pow d 2) in d
1.627 * [taylor]: Taking taylor expansion of d in d
1.630 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in a
1.630 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
1.630 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
1.630 * [taylor]: Taking taylor expansion of (* b c) in a
1.630 * [taylor]: Taking taylor expansion of b in a
1.630 * [taylor]: Taking taylor expansion of c in a
1.630 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
1.631 * [taylor]: Taking taylor expansion of (* d a) in a
1.631 * [taylor]: Taking taylor expansion of d in a
1.631 * [taylor]: Taking taylor expansion of a in a
1.631 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in a
1.631 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in a
1.631 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in a
1.631 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in a
1.631 * [taylor]: Taking taylor expansion of (pow c 2) in a
1.631 * [taylor]: Taking taylor expansion of c in a
1.631 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
1.631 * [taylor]: Taking taylor expansion of (pow d 2) in a
1.631 * [taylor]: Taking taylor expansion of d in a
1.633 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in c
1.633 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
1.633 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
1.633 * [taylor]: Taking taylor expansion of (* b c) in c
1.633 * [taylor]: Taking taylor expansion of b in c
1.633 * [taylor]: Taking taylor expansion of c in c
1.633 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
1.633 * [taylor]: Taking taylor expansion of (* d a) in c
1.633 * [taylor]: Taking taylor expansion of d in c
1.633 * [taylor]: Taking taylor expansion of a in c
1.633 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
1.633 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.633 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.633 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.633 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.633 * [taylor]: Taking taylor expansion of c in c
1.634 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.634 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.634 * [taylor]: Taking taylor expansion of d in c
1.637 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in b
1.637 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
1.637 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
1.637 * [taylor]: Taking taylor expansion of (* b c) in b
1.637 * [taylor]: Taking taylor expansion of b in b
1.637 * [taylor]: Taking taylor expansion of c in b
1.637 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
1.637 * [taylor]: Taking taylor expansion of (* d a) in b
1.637 * [taylor]: Taking taylor expansion of d in b
1.637 * [taylor]: Taking taylor expansion of a in b
1.638 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in b
1.638 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
1.638 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
1.638 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
1.638 * [taylor]: Taking taylor expansion of (pow c 2) in b
1.638 * [taylor]: Taking taylor expansion of c in b
1.638 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
1.638 * [taylor]: Taking taylor expansion of (pow d 2) in b
1.638 * [taylor]: Taking taylor expansion of d in b
1.640 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in b
1.640 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
1.640 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
1.640 * [taylor]: Taking taylor expansion of (* b c) in b
1.640 * [taylor]: Taking taylor expansion of b in b
1.640 * [taylor]: Taking taylor expansion of c in b
1.640 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
1.640 * [taylor]: Taking taylor expansion of (* d a) in b
1.640 * [taylor]: Taking taylor expansion of d in b
1.640 * [taylor]: Taking taylor expansion of a in b
1.640 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in b
1.640 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
1.640 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
1.640 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
1.640 * [taylor]: Taking taylor expansion of (pow c 2) in b
1.640 * [taylor]: Taking taylor expansion of c in b
1.641 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
1.641 * [taylor]: Taking taylor expansion of (pow d 2) in b
1.641 * [taylor]: Taking taylor expansion of d in b
1.642 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) (/ 1 c)) in c
1.642 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
1.642 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.642 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.642 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.643 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.643 * [taylor]: Taking taylor expansion of c in c
1.643 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.643 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.643 * [taylor]: Taking taylor expansion of d in c
1.646 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.646 * [taylor]: Taking taylor expansion of c in c
1.646 * [taylor]: Taking taylor expansion of 1 in a
1.647 * [taylor]: Taking taylor expansion of (- (* (/ 1 (* d a)) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))))) in c
1.647 * [taylor]: Taking taylor expansion of (* (/ 1 (* d a)) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in c
1.647 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
1.647 * [taylor]: Taking taylor expansion of (* d a) in c
1.647 * [taylor]: Taking taylor expansion of d in c
1.647 * [taylor]: Taking taylor expansion of a in c
1.647 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
1.647 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.647 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.647 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.647 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.647 * [taylor]: Taking taylor expansion of c in c
1.648 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.648 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.648 * [taylor]: Taking taylor expansion of d in c
1.651 * [taylor]: Taking taylor expansion of 0 in a
1.651 * [taylor]: Taking taylor expansion of 1 in d
1.655 * [taylor]: Taking taylor expansion of 0 in c
1.655 * [taylor]: Taking taylor expansion of 0 in a
1.655 * [taylor]: Taking taylor expansion of (- (/ 1 (* d a))) in a
1.655 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
1.655 * [taylor]: Taking taylor expansion of (* d a) in a
1.656 * [taylor]: Taking taylor expansion of d in a
1.656 * [taylor]: Taking taylor expansion of a in a
1.656 * [taylor]: Taking taylor expansion of (- (/ 1 d)) in d
1.656 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.656 * [taylor]: Taking taylor expansion of d in d
1.660 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow d 2)))) in a
1.660 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow d 2))) in a
1.660 * [taylor]: Taking taylor expansion of 1/2 in a
1.660 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
1.660 * [taylor]: Taking taylor expansion of (pow d 2) in a
1.660 * [taylor]: Taking taylor expansion of d in a
1.660 * [taylor]: Taking taylor expansion of 0 in d
1.660 * [taylor]: Taking taylor expansion of 0 in d
1.666 * [taylor]: Taking taylor expansion of 0 in c
1.666 * [taylor]: Taking taylor expansion of 0 in a
1.666 * [taylor]: Taking taylor expansion of 0 in a
1.667 * [taylor]: Taking taylor expansion of 0 in a
1.670 * [taylor]: Taking taylor expansion of 0 in a
1.671 * [taylor]: Taking taylor expansion of 0 in d
1.671 * [taylor]: Taking taylor expansion of 0 in d
1.672 * [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.672 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in d
1.672 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
1.672 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
1.672 * [taylor]: Taking taylor expansion of (* b c) in d
1.672 * [taylor]: Taking taylor expansion of b in d
1.672 * [taylor]: Taking taylor expansion of c in d
1.672 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
1.672 * [taylor]: Taking taylor expansion of (* d a) in d
1.672 * [taylor]: Taking taylor expansion of d in d
1.672 * [taylor]: Taking taylor expansion of a in d
1.672 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in d
1.672 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
1.672 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
1.672 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
1.672 * [taylor]: Taking taylor expansion of (pow c 2) in d
1.672 * [taylor]: Taking taylor expansion of c in d
1.672 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
1.672 * [taylor]: Taking taylor expansion of (pow d 2) in d
1.672 * [taylor]: Taking taylor expansion of d in d
1.675 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in a
1.675 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
1.675 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
1.675 * [taylor]: Taking taylor expansion of (* b c) in a
1.675 * [taylor]: Taking taylor expansion of b in a
1.675 * [taylor]: Taking taylor expansion of c in a
1.675 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
1.675 * [taylor]: Taking taylor expansion of (* d a) in a
1.675 * [taylor]: Taking taylor expansion of d in a
1.675 * [taylor]: Taking taylor expansion of a in a
1.676 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in a
1.676 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in a
1.676 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in a
1.676 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in a
1.676 * [taylor]: Taking taylor expansion of (pow c 2) in a
1.676 * [taylor]: Taking taylor expansion of c in a
1.676 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
1.676 * [taylor]: Taking taylor expansion of (pow d 2) in a
1.676 * [taylor]: Taking taylor expansion of d in a
1.678 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in c
1.678 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
1.678 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
1.678 * [taylor]: Taking taylor expansion of (* b c) in c
1.678 * [taylor]: Taking taylor expansion of b in c
1.678 * [taylor]: Taking taylor expansion of c in c
1.678 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
1.678 * [taylor]: Taking taylor expansion of (* d a) in c
1.678 * [taylor]: Taking taylor expansion of d in c
1.678 * [taylor]: Taking taylor expansion of a in c
1.678 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
1.678 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.678 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.678 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.678 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.678 * [taylor]: Taking taylor expansion of c in c
1.679 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.679 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.679 * [taylor]: Taking taylor expansion of d in c
1.682 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in b
1.682 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
1.682 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
1.682 * [taylor]: Taking taylor expansion of (* b c) in b
1.682 * [taylor]: Taking taylor expansion of b in b
1.682 * [taylor]: Taking taylor expansion of c in b
1.682 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
1.682 * [taylor]: Taking taylor expansion of (* d a) in b
1.682 * [taylor]: Taking taylor expansion of d in b
1.682 * [taylor]: Taking taylor expansion of a in b
1.682 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in b
1.682 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
1.682 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
1.682 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
1.682 * [taylor]: Taking taylor expansion of (pow c 2) in b
1.682 * [taylor]: Taking taylor expansion of c in b
1.682 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
1.682 * [taylor]: Taking taylor expansion of (pow d 2) in b
1.682 * [taylor]: Taking taylor expansion of d in b
1.684 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in b
1.684 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
1.684 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
1.684 * [taylor]: Taking taylor expansion of (* b c) in b
1.684 * [taylor]: Taking taylor expansion of b in b
1.684 * [taylor]: Taking taylor expansion of c in b
1.685 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
1.685 * [taylor]: Taking taylor expansion of (* d a) in b
1.685 * [taylor]: Taking taylor expansion of d in b
1.685 * [taylor]: Taking taylor expansion of a in b
1.685 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in b
1.685 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
1.685 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
1.685 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
1.685 * [taylor]: Taking taylor expansion of (pow c 2) in b
1.685 * [taylor]: Taking taylor expansion of c in b
1.685 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
1.685 * [taylor]: Taking taylor expansion of (pow d 2) in b
1.685 * [taylor]: Taking taylor expansion of d in b
1.687 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) (/ 1 c)) in c
1.687 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
1.687 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.687 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.687 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.687 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.687 * [taylor]: Taking taylor expansion of c in c
1.688 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.688 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.688 * [taylor]: Taking taylor expansion of d in c
1.690 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.690 * [taylor]: Taking taylor expansion of c in c
1.691 * [taylor]: Taking taylor expansion of 1 in a
1.692 * [taylor]: Taking taylor expansion of (- (* (/ 1 (* d a)) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))))) in c
1.692 * [taylor]: Taking taylor expansion of (* (/ 1 (* d a)) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in c
1.692 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
1.692 * [taylor]: Taking taylor expansion of (* d a) in c
1.692 * [taylor]: Taking taylor expansion of d in c
1.692 * [taylor]: Taking taylor expansion of a in c
1.692 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
1.692 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
1.692 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
1.692 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.692 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.692 * [taylor]: Taking taylor expansion of c in c
1.692 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
1.692 * [taylor]: Taking taylor expansion of (pow d 2) in c
1.692 * [taylor]: Taking taylor expansion of d in c
1.696 * [taylor]: Taking taylor expansion of 0 in a
1.696 * [taylor]: Taking taylor expansion of 1 in d
1.700 * [taylor]: Taking taylor expansion of 0 in c
1.700 * [taylor]: Taking taylor expansion of 0 in a
1.700 * [taylor]: Taking taylor expansion of (- (/ 1 (* d a))) in a
1.700 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
1.700 * [taylor]: Taking taylor expansion of (* d a) in a
1.700 * [taylor]: Taking taylor expansion of d in a
1.700 * [taylor]: Taking taylor expansion of a in a
1.700 * [taylor]: Taking taylor expansion of (- (/ 1 d)) in d
1.700 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.700 * [taylor]: Taking taylor expansion of d in d
1.705 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow d 2)))) in a
1.705 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow d 2))) in a
1.705 * [taylor]: Taking taylor expansion of 1/2 in a
1.705 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
1.705 * [taylor]: Taking taylor expansion of (pow d 2) in a
1.705 * [taylor]: Taking taylor expansion of d in a
1.705 * [taylor]: Taking taylor expansion of 0 in d
1.705 * [taylor]: Taking taylor expansion of 0 in d
1.715 * [taylor]: Taking taylor expansion of 0 in c
1.715 * [taylor]: Taking taylor expansion of 0 in a
1.715 * [taylor]: Taking taylor expansion of 0 in a
1.715 * [taylor]: Taking taylor expansion of 0 in a
1.719 * [taylor]: Taking taylor expansion of 0 in a
1.719 * [taylor]: Taking taylor expansion of 0 in d
1.720 * [taylor]: Taking taylor expansion of 0 in d
1.720 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
1.720 * [approximate]: Taking taylor expansion of (- (* b c) (* d a)) in (b c a d) around 0
1.720 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in d
1.720 * [taylor]: Taking taylor expansion of (* b c) in d
1.720 * [taylor]: Taking taylor expansion of b in d
1.720 * [taylor]: Taking taylor expansion of c in d
1.720 * [taylor]: Taking taylor expansion of (* d a) in d
1.721 * [taylor]: Taking taylor expansion of d in d
1.721 * [taylor]: Taking taylor expansion of a in d
1.721 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in a
1.721 * [taylor]: Taking taylor expansion of (* b c) in a
1.721 * [taylor]: Taking taylor expansion of b in a
1.721 * [taylor]: Taking taylor expansion of c in a
1.721 * [taylor]: Taking taylor expansion of (* d a) in a
1.721 * [taylor]: Taking taylor expansion of d in a
1.721 * [taylor]: Taking taylor expansion of a in a
1.721 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in c
1.721 * [taylor]: Taking taylor expansion of (* b c) in c
1.721 * [taylor]: Taking taylor expansion of b in c
1.721 * [taylor]: Taking taylor expansion of c in c
1.721 * [taylor]: Taking taylor expansion of (* d a) in c
1.721 * [taylor]: Taking taylor expansion of d in c
1.721 * [taylor]: Taking taylor expansion of a in c
1.721 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
1.721 * [taylor]: Taking taylor expansion of (* b c) in b
1.721 * [taylor]: Taking taylor expansion of b in b
1.721 * [taylor]: Taking taylor expansion of c in b
1.721 * [taylor]: Taking taylor expansion of (* d a) in b
1.721 * [taylor]: Taking taylor expansion of d in b
1.721 * [taylor]: Taking taylor expansion of a in b
1.721 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
1.721 * [taylor]: Taking taylor expansion of (* b c) in b
1.721 * [taylor]: Taking taylor expansion of b in b
1.721 * [taylor]: Taking taylor expansion of c in b
1.721 * [taylor]: Taking taylor expansion of (* d a) in b
1.721 * [taylor]: Taking taylor expansion of d in b
1.721 * [taylor]: Taking taylor expansion of a in b
1.721 * [taylor]: Taking taylor expansion of (- (* d a)) in c
1.721 * [taylor]: Taking taylor expansion of (* d a) in c
1.721 * [taylor]: Taking taylor expansion of d in c
1.721 * [taylor]: Taking taylor expansion of a in c
1.721 * [taylor]: Taking taylor expansion of (- (* d a)) in a
1.721 * [taylor]: Taking taylor expansion of (* d a) in a
1.721 * [taylor]: Taking taylor expansion of d in a
1.721 * [taylor]: Taking taylor expansion of a in a
1.722 * [taylor]: Taking taylor expansion of 0 in d
1.722 * [taylor]: Taking taylor expansion of c in c
1.722 * [taylor]: Taking taylor expansion of 0 in a
1.722 * [taylor]: Taking taylor expansion of 0 in d
1.722 * [taylor]: Taking taylor expansion of 0 in a
1.723 * [taylor]: Taking taylor expansion of 0 in d
1.723 * [taylor]: Taking taylor expansion of (- d) in d
1.723 * [taylor]: Taking taylor expansion of d in d
1.724 * [taylor]: Taking taylor expansion of 0 in c
1.724 * [taylor]: Taking taylor expansion of 0 in a
1.724 * [taylor]: Taking taylor expansion of 0 in d
1.725 * [approximate]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in (b c a d) around 0
1.725 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
1.725 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
1.725 * [taylor]: Taking taylor expansion of (* b c) in d
1.725 * [taylor]: Taking taylor expansion of b in d
1.725 * [taylor]: Taking taylor expansion of c in d
1.725 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
1.725 * [taylor]: Taking taylor expansion of (* d a) in d
1.725 * [taylor]: Taking taylor expansion of d in d
1.725 * [taylor]: Taking taylor expansion of a in d
1.725 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
1.725 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
1.725 * [taylor]: Taking taylor expansion of (* b c) in a
1.725 * [taylor]: Taking taylor expansion of b in a
1.725 * [taylor]: Taking taylor expansion of c in a
1.725 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
1.725 * [taylor]: Taking taylor expansion of (* d a) in a
1.725 * [taylor]: Taking taylor expansion of d in a
1.725 * [taylor]: Taking taylor expansion of a in a
1.726 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
1.726 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
1.726 * [taylor]: Taking taylor expansion of (* b c) in c
1.726 * [taylor]: Taking taylor expansion of b in c
1.726 * [taylor]: Taking taylor expansion of c in c
1.726 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
1.726 * [taylor]: Taking taylor expansion of (* d a) in c
1.726 * [taylor]: Taking taylor expansion of d in c
1.726 * [taylor]: Taking taylor expansion of a in c
1.726 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
1.726 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
1.726 * [taylor]: Taking taylor expansion of (* b c) in b
1.726 * [taylor]: Taking taylor expansion of b in b
1.726 * [taylor]: Taking taylor expansion of c in b
1.727 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
1.727 * [taylor]: Taking taylor expansion of (* d a) in b
1.727 * [taylor]: Taking taylor expansion of d in b
1.727 * [taylor]: Taking taylor expansion of a in b
1.727 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
1.727 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
1.727 * [taylor]: Taking taylor expansion of (* b c) in b
1.727 * [taylor]: Taking taylor expansion of b in b
1.727 * [taylor]: Taking taylor expansion of c in b
1.727 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
1.727 * [taylor]: Taking taylor expansion of (* d a) in b
1.727 * [taylor]: Taking taylor expansion of d in b
1.727 * [taylor]: Taking taylor expansion of a in b
1.727 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.727 * [taylor]: Taking taylor expansion of c in c
1.728 * [taylor]: Taking taylor expansion of 1 in a
1.728 * [taylor]: Taking taylor expansion of (- (/ 1 (* d a))) in c
1.728 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
1.728 * [taylor]: Taking taylor expansion of (* d a) in c
1.728 * [taylor]: Taking taylor expansion of d in c
1.728 * [taylor]: Taking taylor expansion of a in c
1.729 * [taylor]: Taking taylor expansion of 0 in a
1.729 * [taylor]: Taking taylor expansion of 1 in d
1.730 * [taylor]: Taking taylor expansion of 0 in c
1.730 * [taylor]: Taking taylor expansion of (- (/ 1 (* d a))) in a
1.730 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
1.730 * [taylor]: Taking taylor expansion of (* d a) in a
1.730 * [taylor]: Taking taylor expansion of d in a
1.730 * [taylor]: Taking taylor expansion of a in a
1.731 * [taylor]: Taking taylor expansion of (- (/ 1 d)) in d
1.731 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.731 * [taylor]: Taking taylor expansion of d in d
1.732 * [taylor]: Taking taylor expansion of 0 in a
1.732 * [taylor]: Taking taylor expansion of 0 in d
1.732 * [taylor]: Taking taylor expansion of 0 in d
1.734 * [taylor]: Taking taylor expansion of 0 in c
1.734 * [taylor]: Taking taylor expansion of 0 in a
1.734 * [taylor]: Taking taylor expansion of 0 in a
1.735 * [taylor]: Taking taylor expansion of 0 in a
1.735 * [taylor]: Taking taylor expansion of 0 in d
1.735 * [taylor]: Taking taylor expansion of 0 in d
1.735 * [taylor]: Taking taylor expansion of 0 in d
1.735 * [taylor]: Taking taylor expansion of 0 in d
1.739 * [taylor]: Taking taylor expansion of 0 in c
1.739 * [taylor]: Taking taylor expansion of 0 in a
1.739 * [taylor]: Taking taylor expansion of 0 in a
1.739 * [taylor]: Taking taylor expansion of 0 in a
1.740 * [taylor]: Taking taylor expansion of 0 in a
1.740 * [taylor]: Taking taylor expansion of 0 in d
1.740 * [taylor]: Taking taylor expansion of 0 in d
1.740 * [taylor]: Taking taylor expansion of 0 in d
1.741 * [taylor]: Taking taylor expansion of 0 in d
1.741 * [taylor]: Taking taylor expansion of 0 in d
1.741 * [taylor]: Taking taylor expansion of 0 in d
1.741 * [taylor]: Taking taylor expansion of 0 in d
1.741 * [approximate]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in (b c a d) around 0
1.741 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
1.742 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
1.742 * [taylor]: Taking taylor expansion of (* b c) in d
1.742 * [taylor]: Taking taylor expansion of b in d
1.742 * [taylor]: Taking taylor expansion of c in d
1.742 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
1.742 * [taylor]: Taking taylor expansion of (* d a) in d
1.742 * [taylor]: Taking taylor expansion of d in d
1.742 * [taylor]: Taking taylor expansion of a in d
1.742 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
1.742 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
1.742 * [taylor]: Taking taylor expansion of (* b c) in a
1.742 * [taylor]: Taking taylor expansion of b in a
1.742 * [taylor]: Taking taylor expansion of c in a
1.742 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
1.742 * [taylor]: Taking taylor expansion of (* d a) in a
1.742 * [taylor]: Taking taylor expansion of d in a
1.742 * [taylor]: Taking taylor expansion of a in a
1.742 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
1.743 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
1.743 * [taylor]: Taking taylor expansion of (* b c) in c
1.743 * [taylor]: Taking taylor expansion of b in c
1.743 * [taylor]: Taking taylor expansion of c in c
1.743 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
1.743 * [taylor]: Taking taylor expansion of (* d a) in c
1.743 * [taylor]: Taking taylor expansion of d in c
1.743 * [taylor]: Taking taylor expansion of a in c
1.743 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
1.743 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
1.743 * [taylor]: Taking taylor expansion of (* b c) in b
1.743 * [taylor]: Taking taylor expansion of b in b
1.743 * [taylor]: Taking taylor expansion of c in b
1.743 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
1.743 * [taylor]: Taking taylor expansion of (* d a) in b
1.743 * [taylor]: Taking taylor expansion of d in b
1.743 * [taylor]: Taking taylor expansion of a in b
1.743 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
1.743 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
1.743 * [taylor]: Taking taylor expansion of (* b c) in b
1.744 * [taylor]: Taking taylor expansion of b in b
1.744 * [taylor]: Taking taylor expansion of c in b
1.744 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
1.744 * [taylor]: Taking taylor expansion of (* d a) in b
1.744 * [taylor]: Taking taylor expansion of d in b
1.744 * [taylor]: Taking taylor expansion of a in b
1.744 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.744 * [taylor]: Taking taylor expansion of c in c
1.744 * [taylor]: Taking taylor expansion of 1 in a
1.745 * [taylor]: Taking taylor expansion of (- (/ 1 (* d a))) in c
1.745 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
1.745 * [taylor]: Taking taylor expansion of (* d a) in c
1.745 * [taylor]: Taking taylor expansion of d in c
1.745 * [taylor]: Taking taylor expansion of a in c
1.746 * [taylor]: Taking taylor expansion of 0 in a
1.746 * [taylor]: Taking taylor expansion of 1 in d
1.747 * [taylor]: Taking taylor expansion of 0 in c
1.747 * [taylor]: Taking taylor expansion of (- (/ 1 (* d a))) in a
1.747 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
1.747 * [taylor]: Taking taylor expansion of (* d a) in a
1.747 * [taylor]: Taking taylor expansion of d in a
1.747 * [taylor]: Taking taylor expansion of a in a
1.747 * [taylor]: Taking taylor expansion of (- (/ 1 d)) in d
1.747 * [taylor]: Taking taylor expansion of (/ 1 d) in d
1.747 * [taylor]: Taking taylor expansion of d in d
1.748 * [taylor]: Taking taylor expansion of 0 in a
1.748 * [taylor]: Taking taylor expansion of 0 in d
1.748 * [taylor]: Taking taylor expansion of 0 in d
1.750 * [taylor]: Taking taylor expansion of 0 in c
1.750 * [taylor]: Taking taylor expansion of 0 in a
1.751 * [taylor]: Taking taylor expansion of 0 in a
1.751 * [taylor]: Taking taylor expansion of 0 in a
1.752 * [taylor]: Taking taylor expansion of 0 in d
1.752 * [taylor]: Taking taylor expansion of 0 in d
1.752 * [taylor]: Taking taylor expansion of 0 in d
1.752 * [taylor]: Taking taylor expansion of 0 in d
1.755 * [taylor]: Taking taylor expansion of 0 in c
1.755 * [taylor]: Taking taylor expansion of 0 in a
1.755 * [taylor]: Taking taylor expansion of 0 in a
1.756 * [taylor]: Taking taylor expansion of 0 in a
1.756 * [taylor]: Taking taylor expansion of 0 in a
1.756 * [taylor]: Taking taylor expansion of 0 in d
1.756 * [taylor]: Taking taylor expansion of 0 in d
1.757 * [taylor]: Taking taylor expansion of 0 in d
1.757 * [taylor]: Taking taylor expansion of 0 in d
1.757 * [taylor]: Taking taylor expansion of 0 in d
1.757 * [taylor]: Taking taylor expansion of 0 in d
1.757 * [taylor]: Taking taylor expansion of 0 in d
1.758 * * * [progress]: simplifying candidates
1.759 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (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)))))
  (- (- (* b c) (* a d)))
  (- (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))))
  (- (* a d))
  (- (* (* b c) (* b c)) (* (* a d) (* a d)))
  (+ (* b c) (* a d))
  (- (* 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.763 * * [simplify]: iteration  0 :  120  enodes  (cost  1814 )
1.786 * * [simplify]: iteration  1 :  311  enodes  (cost  1690 )
1.845 * * [simplify]: iteration  2 :  983  enodes  (cost  1574 )
2.093 * * [simplify]: iteration  3 :  3224  enodes  (cost  1558 )
2.954 * * [simplify]: iteration  done :  5000  enodes  (cost  1557 )
2.954 * [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 d 6) (pow c 6)))
  (sqrt (+ (* (* d d) (- (* d d) (* c c))) (pow c 4)))
  (sqrt (- (pow c 4) (pow d 4)))
  (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 d 6) (pow c 6)))
  (sqrt (+ (* (* d d) (- (* d d) (* c c))) (pow c 4)))
  (sqrt (- (pow c 4) (pow d 4)))
  (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)))))
  (- (* d a) (* b c))
  (- (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)))) (fabs (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))))
  (/ (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)))))
  (/ (- (* 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 d 6) (pow c 6))))
  (/ (- (* b c) (* a d)) (sqrt (- (pow c 4) (pow d 4))))
  (* (+ (* (* d a) (+ (* b c) (* a d))) (* (* 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))
  (+ (* (* d a) (+ (* b c) (* a d))) (* (* b c) (* b c)))
  (* (- a) d)
  (- (* (* b c) (* b c)) (* (* a d) (* a d)))
  (+ (* b c) (* a d))
  (* (- a) d)
  d
  c
  (- c)
  d
  c
  (- c)
  (- a)
  b
  (- b)
  0
  (- (* b c) (* a d))
  (- (* b c) (* a d))
2.955 * * * [progress]: adding candidates to table
3.405 * * [progress]: iteration 3 / 4
3.405 * * * [progress]: picking best candidate
3.423 * * * * [pick]: Picked  #<alt (λ (a b c d) (/ (/ 1 (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))) (sqrt (+ (* c c) (* d d)))))>
3.423 * * * [progress]: localizing error
3.436 * * * [progress]: generating rewritten candidates
3.436 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
3.439 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1)
3.442 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
3.452 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2)
3.457 * * * [progress]: generating series expansions
3.457 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
3.457 * [approximate]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in (c d) around 0
3.457 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in d
3.457 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in d
3.457 * [taylor]: Taking taylor expansion of (pow d 2) in d
3.457 * [taylor]: Taking taylor expansion of d in d
3.457 * [taylor]: Taking taylor expansion of (pow c 2) in d
3.457 * [taylor]: Taking taylor expansion of c in d
3.458 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
3.458 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
3.458 * [taylor]: Taking taylor expansion of (pow d 2) in c
3.458 * [taylor]: Taking taylor expansion of d in c
3.458 * [taylor]: Taking taylor expansion of (pow c 2) in c
3.458 * [taylor]: Taking taylor expansion of c in c
3.458 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
3.458 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
3.458 * [taylor]: Taking taylor expansion of (pow d 2) in c
3.458 * [taylor]: Taking taylor expansion of d in c
3.458 * [taylor]: Taking taylor expansion of (pow c 2) in c
3.459 * [taylor]: Taking taylor expansion of c in c
3.459 * [taylor]: Taking taylor expansion of d in d
3.459 * [taylor]: Taking taylor expansion of 0 in d
3.461 * [taylor]: Taking taylor expansion of (/ 1/2 d) in d
3.461 * [taylor]: Taking taylor expansion of 1/2 in d
3.461 * [taylor]: Taking taylor expansion of d in d
3.462 * [taylor]: Taking taylor expansion of 0 in d
3.463 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (c d) around 0
3.463 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
3.463 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
3.463 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
3.463 * [taylor]: Taking taylor expansion of (pow c 2) in d
3.463 * [taylor]: Taking taylor expansion of c in d
3.463 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
3.463 * [taylor]: Taking taylor expansion of (pow d 2) in d
3.463 * [taylor]: Taking taylor expansion of d in d
3.466 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
3.466 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
3.466 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
3.466 * [taylor]: Taking taylor expansion of (pow c 2) in c
3.466 * [taylor]: Taking taylor expansion of c in c
3.466 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
3.466 * [taylor]: Taking taylor expansion of (pow d 2) in c
3.466 * [taylor]: Taking taylor expansion of d in c
3.468 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
3.468 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
3.468 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
3.468 * [taylor]: Taking taylor expansion of (pow c 2) in c
3.468 * [taylor]: Taking taylor expansion of c in c
3.469 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
3.469 * [taylor]: Taking taylor expansion of (pow d 2) in c
3.469 * [taylor]: Taking taylor expansion of d in c
3.471 * [taylor]: Taking taylor expansion of 1 in d
3.471 * [taylor]: Taking taylor expansion of 0 in d
3.473 * [taylor]: Taking taylor expansion of (/ 1/2 (pow d 2)) in d
3.473 * [taylor]: Taking taylor expansion of 1/2 in d
3.473 * [taylor]: Taking taylor expansion of (pow d 2) in d
3.473 * [taylor]: Taking taylor expansion of d in d
3.476 * [taylor]: Taking taylor expansion of 0 in d
3.477 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (c d) around 0
3.477 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
3.477 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
3.477 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
3.477 * [taylor]: Taking taylor expansion of (pow c 2) in d
3.477 * [taylor]: Taking taylor expansion of c in d
3.477 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
3.477 * [taylor]: Taking taylor expansion of (pow d 2) in d
3.477 * [taylor]: Taking taylor expansion of d in d
3.479 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
3.479 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
3.479 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
3.479 * [taylor]: Taking taylor expansion of (pow c 2) in c
3.479 * [taylor]: Taking taylor expansion of c in c
3.480 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
3.480 * [taylor]: Taking taylor expansion of (pow d 2) in c
3.480 * [taylor]: Taking taylor expansion of d in c
3.482 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
3.482 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
3.482 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
3.482 * [taylor]: Taking taylor expansion of (pow c 2) in c
3.482 * [taylor]: Taking taylor expansion of c in c
3.482 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
3.482 * [taylor]: Taking taylor expansion of (pow d 2) in c
3.482 * [taylor]: Taking taylor expansion of d in c
3.484 * [taylor]: Taking taylor expansion of 1 in d
3.484 * [taylor]: Taking taylor expansion of 0 in d
3.486 * [taylor]: Taking taylor expansion of (/ 1/2 (pow d 2)) in d
3.486 * [taylor]: Taking taylor expansion of 1/2 in d
3.486 * [taylor]: Taking taylor expansion of (pow d 2) in d
3.486 * [taylor]: Taking taylor expansion of d in d
3.489 * [taylor]: Taking taylor expansion of 0 in d
3.490 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1)
3.491 * [approximate]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in (c d) around 0
3.491 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in d
3.491 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in d
3.491 * [taylor]: Taking taylor expansion of (pow d 2) in d
3.491 * [taylor]: Taking taylor expansion of d in d
3.491 * [taylor]: Taking taylor expansion of (pow c 2) in d
3.491 * [taylor]: Taking taylor expansion of c in d
3.491 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
3.491 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
3.491 * [taylor]: Taking taylor expansion of (pow d 2) in c
3.491 * [taylor]: Taking taylor expansion of d in c
3.491 * [taylor]: Taking taylor expansion of (pow c 2) in c
3.491 * [taylor]: Taking taylor expansion of c in c
3.492 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
3.492 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
3.492 * [taylor]: Taking taylor expansion of (pow d 2) in c
3.492 * [taylor]: Taking taylor expansion of d in c
3.492 * [taylor]: Taking taylor expansion of (pow c 2) in c
3.492 * [taylor]: Taking taylor expansion of c in c
3.492 * [taylor]: Taking taylor expansion of d in d
3.492 * [taylor]: Taking taylor expansion of 0 in d
3.494 * [taylor]: Taking taylor expansion of (/ 1/2 d) in d
3.494 * [taylor]: Taking taylor expansion of 1/2 in d
3.494 * [taylor]: Taking taylor expansion of d in d
3.498 * [taylor]: Taking taylor expansion of 0 in d
3.499 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (c d) around 0
3.499 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
3.499 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
3.499 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
3.499 * [taylor]: Taking taylor expansion of (pow c 2) in d
3.499 * [taylor]: Taking taylor expansion of c in d
3.499 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
3.499 * [taylor]: Taking taylor expansion of (pow d 2) in d
3.499 * [taylor]: Taking taylor expansion of d in d
3.502 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
3.502 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
3.502 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
3.502 * [taylor]: Taking taylor expansion of (pow c 2) in c
3.502 * [taylor]: Taking taylor expansion of c in c
3.502 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
3.502 * [taylor]: Taking taylor expansion of (pow d 2) in c
3.502 * [taylor]: Taking taylor expansion of d in c
3.504 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
3.504 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
3.504 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
3.504 * [taylor]: Taking taylor expansion of (pow c 2) in c
3.504 * [taylor]: Taking taylor expansion of c in c
3.505 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
3.505 * [taylor]: Taking taylor expansion of (pow d 2) in c
3.505 * [taylor]: Taking taylor expansion of d in c
3.507 * [taylor]: Taking taylor expansion of 1 in d
3.507 * [taylor]: Taking taylor expansion of 0 in d
3.509 * [taylor]: Taking taylor expansion of (/ 1/2 (pow d 2)) in d
3.509 * [taylor]: Taking taylor expansion of 1/2 in d
3.509 * [taylor]: Taking taylor expansion of (pow d 2) in d
3.509 * [taylor]: Taking taylor expansion of d in d
3.512 * [taylor]: Taking taylor expansion of 0 in d
3.513 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (c d) around 0
3.513 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
3.513 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
3.513 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
3.513 * [taylor]: Taking taylor expansion of (pow c 2) in d
3.513 * [taylor]: Taking taylor expansion of c in d
3.513 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
3.513 * [taylor]: Taking taylor expansion of (pow d 2) in d
3.513 * [taylor]: Taking taylor expansion of d in d
3.516 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
3.516 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
3.516 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
3.516 * [taylor]: Taking taylor expansion of (pow c 2) in c
3.516 * [taylor]: Taking taylor expansion of c in c
3.516 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
3.516 * [taylor]: Taking taylor expansion of (pow d 2) in c
3.516 * [taylor]: Taking taylor expansion of d in c
3.518 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
3.518 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
3.518 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
3.518 * [taylor]: Taking taylor expansion of (pow c 2) in c
3.518 * [taylor]: Taking taylor expansion of c in c
3.519 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
3.519 * [taylor]: Taking taylor expansion of (pow d 2) in c
3.519 * [taylor]: Taking taylor expansion of d in c
3.521 * [taylor]: Taking taylor expansion of 1 in d
3.521 * [taylor]: Taking taylor expansion of 0 in d
3.522 * [taylor]: Taking taylor expansion of (/ 1/2 (pow d 2)) in d
3.522 * [taylor]: Taking taylor expansion of 1/2 in d
3.523 * [taylor]: Taking taylor expansion of (pow d 2) in d
3.523 * [taylor]: Taking taylor expansion of d in d
3.525 * [taylor]: Taking taylor expansion of 0 in d
3.527 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
3.527 * [approximate]: Taking taylor expansion of (* (/ 1 (- (* b c) (* d a))) (sqrt (+ (pow d 2) (pow c 2)))) in (c d b a) around 0
3.527 * [taylor]: Taking taylor expansion of (* (/ 1 (- (* b c) (* d a))) (sqrt (+ (pow d 2) (pow c 2)))) in a
3.527 * [taylor]: Taking taylor expansion of (/ 1 (- (* b c) (* d a))) in a
3.527 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in a
3.527 * [taylor]: Taking taylor expansion of (* b c) in a
3.527 * [taylor]: Taking taylor expansion of b in a
3.527 * [taylor]: Taking taylor expansion of c in a
3.527 * [taylor]: Taking taylor expansion of (* d a) in a
3.527 * [taylor]: Taking taylor expansion of d in a
3.527 * [taylor]: Taking taylor expansion of a in a
3.527 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in a
3.527 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in a
3.527 * [taylor]: Taking taylor expansion of (pow d 2) in a
3.527 * [taylor]: Taking taylor expansion of d in a
3.527 * [taylor]: Taking taylor expansion of (pow c 2) in a
3.527 * [taylor]: Taking taylor expansion of c in a
3.528 * [taylor]: Taking taylor expansion of (* (/ 1 (- (* b c) (* d a))) (sqrt (+ (pow d 2) (pow c 2)))) in b
3.528 * [taylor]: Taking taylor expansion of (/ 1 (- (* b c) (* d a))) in b
3.528 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
3.528 * [taylor]: Taking taylor expansion of (* b c) in b
3.528 * [taylor]: Taking taylor expansion of b in b
3.528 * [taylor]: Taking taylor expansion of c in b
3.528 * [taylor]: Taking taylor expansion of (* d a) in b
3.528 * [taylor]: Taking taylor expansion of d in b
3.528 * [taylor]: Taking taylor expansion of a in b
3.528 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in b
3.528 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in b
3.528 * [taylor]: Taking taylor expansion of (pow d 2) in b
3.528 * [taylor]: Taking taylor expansion of d in b
3.529 * [taylor]: Taking taylor expansion of (pow c 2) in b
3.529 * [taylor]: Taking taylor expansion of c in b
3.529 * [taylor]: Taking taylor expansion of (* (/ 1 (- (* b c) (* d a))) (sqrt (+ (pow d 2) (pow c 2)))) in d
3.529 * [taylor]: Taking taylor expansion of (/ 1 (- (* b c) (* d a))) in d
3.529 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in d
3.529 * [taylor]: Taking taylor expansion of (* b c) in d
3.529 * [taylor]: Taking taylor expansion of b in d
3.529 * [taylor]: Taking taylor expansion of c in d
3.529 * [taylor]: Taking taylor expansion of (* d a) in d
3.529 * [taylor]: Taking taylor expansion of d in d
3.529 * [taylor]: Taking taylor expansion of a in d
3.530 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in d
3.530 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in d
3.530 * [taylor]: Taking taylor expansion of (pow d 2) in d
3.530 * [taylor]: Taking taylor expansion of d in d
3.530 * [taylor]: Taking taylor expansion of (pow c 2) in d
3.530 * [taylor]: Taking taylor expansion of c in d
3.530 * [taylor]: Taking taylor expansion of (* (/ 1 (- (* b c) (* d a))) (sqrt (+ (pow d 2) (pow c 2)))) in c
3.530 * [taylor]: Taking taylor expansion of (/ 1 (- (* b c) (* d a))) in c
3.530 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in c
3.530 * [taylor]: Taking taylor expansion of (* b c) in c
3.530 * [taylor]: Taking taylor expansion of b in c
3.530 * [taylor]: Taking taylor expansion of c in c
3.530 * [taylor]: Taking taylor expansion of (* d a) in c
3.530 * [taylor]: Taking taylor expansion of d in c
3.530 * [taylor]: Taking taylor expansion of a in c
3.531 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
3.531 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
3.531 * [taylor]: Taking taylor expansion of (pow d 2) in c
3.531 * [taylor]: Taking taylor expansion of d in c
3.531 * [taylor]: Taking taylor expansion of (pow c 2) in c
3.531 * [taylor]: Taking taylor expansion of c in c
3.531 * [taylor]: Taking taylor expansion of (* (/ 1 (- (* b c) (* d a))) (sqrt (+ (pow d 2) (pow c 2)))) in c
3.531 * [taylor]: Taking taylor expansion of (/ 1 (- (* b c) (* d a))) in c
3.531 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in c
3.531 * [taylor]: Taking taylor expansion of (* b c) in c
3.531 * [taylor]: Taking taylor expansion of b in c
3.531 * [taylor]: Taking taylor expansion of c in c
3.531 * [taylor]: Taking taylor expansion of (* d a) in c
3.531 * [taylor]: Taking taylor expansion of d in c
3.531 * [taylor]: Taking taylor expansion of a in c
3.532 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
3.532 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
3.532 * [taylor]: Taking taylor expansion of (pow d 2) in c
3.532 * [taylor]: Taking taylor expansion of d in c
3.532 * [taylor]: Taking taylor expansion of (pow c 2) in c
3.532 * [taylor]: Taking taylor expansion of c in c
3.532 * [taylor]: Taking taylor expansion of (/ -1 a) in d
3.532 * [taylor]: Taking taylor expansion of -1 in d
3.532 * [taylor]: Taking taylor expansion of a in d
3.532 * [taylor]: Taking taylor expansion of (/ -1 a) in b
3.532 * [taylor]: Taking taylor expansion of -1 in b
3.532 * [taylor]: Taking taylor expansion of a in b
3.532 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.533 * [taylor]: Taking taylor expansion of -1 in a
3.533 * [taylor]: Taking taylor expansion of a in a
3.534 * [taylor]: Taking taylor expansion of (- (/ b (* d (pow a 2)))) in d
3.534 * [taylor]: Taking taylor expansion of (/ b (* d (pow a 2))) in d
3.534 * [taylor]: Taking taylor expansion of b in d
3.534 * [taylor]: Taking taylor expansion of (* d (pow a 2)) in d
3.534 * [taylor]: Taking taylor expansion of d in d
3.534 * [taylor]: Taking taylor expansion of (pow a 2) in d
3.534 * [taylor]: Taking taylor expansion of a in d
3.536 * [taylor]: Taking taylor expansion of 0 in b
3.536 * [taylor]: Taking taylor expansion of 0 in a
3.536 * [taylor]: Taking taylor expansion of 0 in b
3.536 * [taylor]: Taking taylor expansion of 0 in a
3.536 * [taylor]: Taking taylor expansion of 0 in a
3.540 * [taylor]: Taking taylor expansion of (- (+ (/ (pow b 2) (* (pow d 2) (pow a 3))) (* 1/2 (/ 1 (* (pow d 2) a))))) in d
3.540 * [taylor]: Taking taylor expansion of (+ (/ (pow b 2) (* (pow d 2) (pow a 3))) (* 1/2 (/ 1 (* (pow d 2) a)))) in d
3.540 * [taylor]: Taking taylor expansion of (/ (pow b 2) (* (pow d 2) (pow a 3))) in d
3.540 * [taylor]: Taking taylor expansion of (pow b 2) in d
3.540 * [taylor]: Taking taylor expansion of b in d
3.540 * [taylor]: Taking taylor expansion of (* (pow d 2) (pow a 3)) in d
3.540 * [taylor]: Taking taylor expansion of (pow d 2) in d
3.540 * [taylor]: Taking taylor expansion of d in d
3.540 * [taylor]: Taking taylor expansion of (pow a 3) in d
3.540 * [taylor]: Taking taylor expansion of a in d
3.541 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow d 2) a))) in d
3.541 * [taylor]: Taking taylor expansion of 1/2 in d
3.541 * [taylor]: Taking taylor expansion of (/ 1 (* (pow d 2) a)) in d
3.541 * [taylor]: Taking taylor expansion of (* (pow d 2) a) in d
3.541 * [taylor]: Taking taylor expansion of (pow d 2) in d
3.541 * [taylor]: Taking taylor expansion of d in d
3.541 * [taylor]: Taking taylor expansion of a in d
3.547 * [taylor]: Taking taylor expansion of 0 in b
3.547 * [taylor]: Taking taylor expansion of 0 in a
3.547 * [approximate]: Taking taylor expansion of (* (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in (c d b a) around 0
3.547 * [taylor]: Taking taylor expansion of (* (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in a
3.547 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) in a
3.547 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
3.547 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
3.547 * [taylor]: Taking taylor expansion of (* b c) in a
3.547 * [taylor]: Taking taylor expansion of b in a
3.547 * [taylor]: Taking taylor expansion of c in a
3.547 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
3.547 * [taylor]: Taking taylor expansion of (* d a) in a
3.547 * [taylor]: Taking taylor expansion of d in a
3.547 * [taylor]: Taking taylor expansion of a in a
3.548 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in a
3.548 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in a
3.548 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in a
3.548 * [taylor]: Taking taylor expansion of (pow c 2) in a
3.548 * [taylor]: Taking taylor expansion of c in a
3.548 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
3.548 * [taylor]: Taking taylor expansion of (pow d 2) in a
3.548 * [taylor]: Taking taylor expansion of d in a
3.549 * [taylor]: Taking taylor expansion of (* (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in b
3.549 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) in b
3.549 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
3.549 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
3.549 * [taylor]: Taking taylor expansion of (* b c) in b
3.549 * [taylor]: Taking taylor expansion of b in b
3.549 * [taylor]: Taking taylor expansion of c in b
3.549 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
3.549 * [taylor]: Taking taylor expansion of (* d a) in b
3.549 * [taylor]: Taking taylor expansion of d in b
3.549 * [taylor]: Taking taylor expansion of a in b
3.550 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
3.550 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
3.550 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
3.550 * [taylor]: Taking taylor expansion of (pow c 2) in b
3.550 * [taylor]: Taking taylor expansion of c in b
3.550 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
3.550 * [taylor]: Taking taylor expansion of (pow d 2) in b
3.550 * [taylor]: Taking taylor expansion of d in b
3.551 * [taylor]: Taking taylor expansion of (* (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in d
3.551 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) in d
3.551 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
3.551 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
3.551 * [taylor]: Taking taylor expansion of (* b c) in d
3.551 * [taylor]: Taking taylor expansion of b in d
3.551 * [taylor]: Taking taylor expansion of c in d
3.551 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
3.551 * [taylor]: Taking taylor expansion of (* d a) in d
3.551 * [taylor]: Taking taylor expansion of d in d
3.551 * [taylor]: Taking taylor expansion of a in d
3.551 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
3.552 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
3.552 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
3.552 * [taylor]: Taking taylor expansion of (pow c 2) in d
3.552 * [taylor]: Taking taylor expansion of c in d
3.552 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
3.552 * [taylor]: Taking taylor expansion of (pow d 2) in d
3.552 * [taylor]: Taking taylor expansion of d in d
3.554 * [taylor]: Taking taylor expansion of (* (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
3.554 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) in c
3.554 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
3.554 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
3.554 * [taylor]: Taking taylor expansion of (* b c) in c
3.554 * [taylor]: Taking taylor expansion of b in c
3.554 * [taylor]: Taking taylor expansion of c in c
3.554 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
3.554 * [taylor]: Taking taylor expansion of (* d a) in c
3.554 * [taylor]: Taking taylor expansion of d in c
3.554 * [taylor]: Taking taylor expansion of a in c
3.555 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
3.555 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
3.555 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
3.555 * [taylor]: Taking taylor expansion of (pow c 2) in c
3.555 * [taylor]: Taking taylor expansion of c in c
3.555 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
3.555 * [taylor]: Taking taylor expansion of (pow d 2) in c
3.555 * [taylor]: Taking taylor expansion of d in c
3.557 * [taylor]: Taking taylor expansion of (* (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
3.557 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) in c
3.557 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
3.557 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
3.557 * [taylor]: Taking taylor expansion of (* b c) in c
3.557 * [taylor]: Taking taylor expansion of b in c
3.557 * [taylor]: Taking taylor expansion of c in c
3.557 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
3.557 * [taylor]: Taking taylor expansion of (* d a) in c
3.557 * [taylor]: Taking taylor expansion of d in c
3.557 * [taylor]: Taking taylor expansion of a in c
3.558 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
3.558 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
3.558 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
3.558 * [taylor]: Taking taylor expansion of (pow c 2) in c
3.558 * [taylor]: Taking taylor expansion of c in c
3.558 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
3.558 * [taylor]: Taking taylor expansion of (pow d 2) in c
3.558 * [taylor]: Taking taylor expansion of d in c
3.560 * [taylor]: Taking taylor expansion of b in d
3.560 * [taylor]: Taking taylor expansion of b in b
3.560 * [taylor]: Taking taylor expansion of 1 in a
3.561 * [taylor]: Taking taylor expansion of (/ (pow b 2) (* d a)) in d
3.561 * [taylor]: Taking taylor expansion of (pow b 2) in d
3.561 * [taylor]: Taking taylor expansion of b in d
3.561 * [taylor]: Taking taylor expansion of (* d a) in d
3.561 * [taylor]: Taking taylor expansion of d in d
3.561 * [taylor]: Taking taylor expansion of a in d
3.562 * [taylor]: Taking taylor expansion of 0 in b
3.562 * [taylor]: Taking taylor expansion of 0 in a
3.562 * [taylor]: Taking taylor expansion of 0 in b
3.562 * [taylor]: Taking taylor expansion of 0 in a
3.562 * [taylor]: Taking taylor expansion of 0 in a
3.566 * [taylor]: Taking taylor expansion of (+ (/ (pow b 3) (* (pow d 2) (pow a 2))) (* 1/2 (/ b (pow d 2)))) in d
3.566 * [taylor]: Taking taylor expansion of (/ (pow b 3) (* (pow d 2) (pow a 2))) in d
3.566 * [taylor]: Taking taylor expansion of (pow b 3) in d
3.566 * [taylor]: Taking taylor expansion of b in d
3.566 * [taylor]: Taking taylor expansion of (* (pow d 2) (pow a 2)) in d
3.566 * [taylor]: Taking taylor expansion of (pow d 2) in d
3.566 * [taylor]: Taking taylor expansion of d in d
3.566 * [taylor]: Taking taylor expansion of (pow a 2) in d
3.566 * [taylor]: Taking taylor expansion of a in d
3.567 * [taylor]: Taking taylor expansion of (* 1/2 (/ b (pow d 2))) in d
3.567 * [taylor]: Taking taylor expansion of 1/2 in d
3.567 * [taylor]: Taking taylor expansion of (/ b (pow d 2)) in d
3.567 * [taylor]: Taking taylor expansion of b in d
3.567 * [taylor]: Taking taylor expansion of (pow d 2) in d
3.567 * [taylor]: Taking taylor expansion of d in d
3.573 * [taylor]: Taking taylor expansion of 0 in b
3.573 * [taylor]: Taking taylor expansion of 0 in a
3.573 * [approximate]: Taking taylor expansion of (* (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in (c d b a) around 0
3.574 * [taylor]: Taking taylor expansion of (* (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in a
3.574 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) in a
3.574 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
3.574 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
3.574 * [taylor]: Taking taylor expansion of (* b c) in a
3.574 * [taylor]: Taking taylor expansion of b in a
3.574 * [taylor]: Taking taylor expansion of c in a
3.574 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
3.574 * [taylor]: Taking taylor expansion of (* d a) in a
3.574 * [taylor]: Taking taylor expansion of d in a
3.574 * [taylor]: Taking taylor expansion of a in a
3.574 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in a
3.574 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in a
3.574 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in a
3.574 * [taylor]: Taking taylor expansion of (pow c 2) in a
3.574 * [taylor]: Taking taylor expansion of c in a
3.574 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
3.574 * [taylor]: Taking taylor expansion of (pow d 2) in a
3.574 * [taylor]: Taking taylor expansion of d in a
3.575 * [taylor]: Taking taylor expansion of (* (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in b
3.575 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) in b
3.575 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
3.576 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
3.576 * [taylor]: Taking taylor expansion of (* b c) in b
3.576 * [taylor]: Taking taylor expansion of b in b
3.576 * [taylor]: Taking taylor expansion of c in b
3.576 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
3.576 * [taylor]: Taking taylor expansion of (* d a) in b
3.576 * [taylor]: Taking taylor expansion of d in b
3.576 * [taylor]: Taking taylor expansion of a in b
3.576 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
3.576 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
3.576 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
3.576 * [taylor]: Taking taylor expansion of (pow c 2) in b
3.576 * [taylor]: Taking taylor expansion of c in b
3.576 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
3.576 * [taylor]: Taking taylor expansion of (pow d 2) in b
3.576 * [taylor]: Taking taylor expansion of d in b
3.577 * [taylor]: Taking taylor expansion of (* (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in d
3.577 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) in d
3.577 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
3.577 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
3.577 * [taylor]: Taking taylor expansion of (* b c) in d
3.577 * [taylor]: Taking taylor expansion of b in d
3.577 * [taylor]: Taking taylor expansion of c in d
3.577 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
3.577 * [taylor]: Taking taylor expansion of (* d a) in d
3.577 * [taylor]: Taking taylor expansion of d in d
3.577 * [taylor]: Taking taylor expansion of a in d
3.578 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
3.578 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
3.578 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
3.578 * [taylor]: Taking taylor expansion of (pow c 2) in d
3.578 * [taylor]: Taking taylor expansion of c in d
3.578 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
3.578 * [taylor]: Taking taylor expansion of (pow d 2) in d
3.578 * [taylor]: Taking taylor expansion of d in d
3.580 * [taylor]: Taking taylor expansion of (* (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
3.580 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) in c
3.581 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
3.581 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
3.581 * [taylor]: Taking taylor expansion of (* b c) in c
3.581 * [taylor]: Taking taylor expansion of b in c
3.581 * [taylor]: Taking taylor expansion of c in c
3.584 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
3.584 * [taylor]: Taking taylor expansion of (* d a) in c
3.584 * [taylor]: Taking taylor expansion of d in c
3.584 * [taylor]: Taking taylor expansion of a in c
3.584 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
3.584 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
3.584 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
3.584 * [taylor]: Taking taylor expansion of (pow c 2) in c
3.584 * [taylor]: Taking taylor expansion of c in c
3.584 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
3.584 * [taylor]: Taking taylor expansion of (pow d 2) in c
3.584 * [taylor]: Taking taylor expansion of d in c
3.586 * [taylor]: Taking taylor expansion of (* (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
3.586 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) in c
3.586 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
3.586 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
3.586 * [taylor]: Taking taylor expansion of (* b c) in c
3.587 * [taylor]: Taking taylor expansion of b in c
3.587 * [taylor]: Taking taylor expansion of c in c
3.587 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
3.587 * [taylor]: Taking taylor expansion of (* d a) in c
3.587 * [taylor]: Taking taylor expansion of d in c
3.587 * [taylor]: Taking taylor expansion of a in c
3.587 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
3.587 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
3.587 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
3.587 * [taylor]: Taking taylor expansion of (pow c 2) in c
3.587 * [taylor]: Taking taylor expansion of c in c
3.588 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
3.588 * [taylor]: Taking taylor expansion of (pow d 2) in c
3.588 * [taylor]: Taking taylor expansion of d in c
3.589 * [taylor]: Taking taylor expansion of b in d
3.590 * [taylor]: Taking taylor expansion of b in b
3.590 * [taylor]: Taking taylor expansion of 1 in a
3.590 * [taylor]: Taking taylor expansion of (/ (pow b 2) (* d a)) in d
3.590 * [taylor]: Taking taylor expansion of (pow b 2) in d
3.590 * [taylor]: Taking taylor expansion of b in d
3.590 * [taylor]: Taking taylor expansion of (* d a) in d
3.591 * [taylor]: Taking taylor expansion of d in d
3.591 * [taylor]: Taking taylor expansion of a in d
3.592 * [taylor]: Taking taylor expansion of 0 in b
3.592 * [taylor]: Taking taylor expansion of 0 in a
3.592 * [taylor]: Taking taylor expansion of 0 in b
3.592 * [taylor]: Taking taylor expansion of 0 in a
3.592 * [taylor]: Taking taylor expansion of 0 in a
3.595 * [taylor]: Taking taylor expansion of (+ (/ (pow b 3) (* (pow d 2) (pow a 2))) (* 1/2 (/ b (pow d 2)))) in d
3.595 * [taylor]: Taking taylor expansion of (/ (pow b 3) (* (pow d 2) (pow a 2))) in d
3.595 * [taylor]: Taking taylor expansion of (pow b 3) in d
3.595 * [taylor]: Taking taylor expansion of b in d
3.595 * [taylor]: Taking taylor expansion of (* (pow d 2) (pow a 2)) in d
3.595 * [taylor]: Taking taylor expansion of (pow d 2) in d
3.595 * [taylor]: Taking taylor expansion of d in d
3.595 * [taylor]: Taking taylor expansion of (pow a 2) in d
3.595 * [taylor]: Taking taylor expansion of a in d
3.596 * [taylor]: Taking taylor expansion of (* 1/2 (/ b (pow d 2))) in d
3.596 * [taylor]: Taking taylor expansion of 1/2 in d
3.596 * [taylor]: Taking taylor expansion of (/ b (pow d 2)) in d
3.596 * [taylor]: Taking taylor expansion of b in d
3.596 * [taylor]: Taking taylor expansion of (pow d 2) in d
3.596 * [taylor]: Taking taylor expansion of d in d
3.602 * [taylor]: Taking taylor expansion of 0 in b
3.602 * [taylor]: Taking taylor expansion of 0 in a
3.603 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2)
3.603 * [approximate]: Taking taylor expansion of (- (* b c) (* d a)) in (b c a d) around 0
3.603 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in d
3.603 * [taylor]: Taking taylor expansion of (* b c) in d
3.603 * [taylor]: Taking taylor expansion of b in d
3.603 * [taylor]: Taking taylor expansion of c in d
3.603 * [taylor]: Taking taylor expansion of (* d a) in d
3.603 * [taylor]: Taking taylor expansion of d in d
3.603 * [taylor]: Taking taylor expansion of a in d
3.603 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in a
3.603 * [taylor]: Taking taylor expansion of (* b c) in a
3.603 * [taylor]: Taking taylor expansion of b in a
3.603 * [taylor]: Taking taylor expansion of c in a
3.603 * [taylor]: Taking taylor expansion of (* d a) in a
3.603 * [taylor]: Taking taylor expansion of d in a
3.603 * [taylor]: Taking taylor expansion of a in a
3.603 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in c
3.603 * [taylor]: Taking taylor expansion of (* b c) in c
3.603 * [taylor]: Taking taylor expansion of b in c
3.603 * [taylor]: Taking taylor expansion of c in c
3.603 * [taylor]: Taking taylor expansion of (* d a) in c
3.603 * [taylor]: Taking taylor expansion of d in c
3.603 * [taylor]: Taking taylor expansion of a in c
3.603 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
3.603 * [taylor]: Taking taylor expansion of (* b c) in b
3.603 * [taylor]: Taking taylor expansion of b in b
3.603 * [taylor]: Taking taylor expansion of c in b
3.603 * [taylor]: Taking taylor expansion of (* d a) in b
3.603 * [taylor]: Taking taylor expansion of d in b
3.603 * [taylor]: Taking taylor expansion of a in b
3.603 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
3.603 * [taylor]: Taking taylor expansion of (* b c) in b
3.603 * [taylor]: Taking taylor expansion of b in b
3.603 * [taylor]: Taking taylor expansion of c in b
3.603 * [taylor]: Taking taylor expansion of (* d a) in b
3.603 * [taylor]: Taking taylor expansion of d in b
3.603 * [taylor]: Taking taylor expansion of a in b
3.603 * [taylor]: Taking taylor expansion of (- (* d a)) in c
3.603 * [taylor]: Taking taylor expansion of (* d a) in c
3.603 * [taylor]: Taking taylor expansion of d in c
3.603 * [taylor]: Taking taylor expansion of a in c
3.603 * [taylor]: Taking taylor expansion of (- (* d a)) in a
3.603 * [taylor]: Taking taylor expansion of (* d a) in a
3.604 * [taylor]: Taking taylor expansion of d in a
3.604 * [taylor]: Taking taylor expansion of a in a
3.604 * [taylor]: Taking taylor expansion of 0 in d
3.604 * [taylor]: Taking taylor expansion of c in c
3.604 * [taylor]: Taking taylor expansion of 0 in a
3.604 * [taylor]: Taking taylor expansion of 0 in d
3.605 * [taylor]: Taking taylor expansion of 0 in a
3.605 * [taylor]: Taking taylor expansion of 0 in d
3.605 * [taylor]: Taking taylor expansion of (- d) in d
3.605 * [taylor]: Taking taylor expansion of d in d
3.606 * [taylor]: Taking taylor expansion of 0 in c
3.606 * [taylor]: Taking taylor expansion of 0 in a
3.606 * [taylor]: Taking taylor expansion of 0 in d
3.607 * [approximate]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in (b c a d) around 0
3.607 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
3.607 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
3.607 * [taylor]: Taking taylor expansion of (* b c) in d
3.607 * [taylor]: Taking taylor expansion of b in d
3.607 * [taylor]: Taking taylor expansion of c in d
3.607 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
3.607 * [taylor]: Taking taylor expansion of (* d a) in d
3.607 * [taylor]: Taking taylor expansion of d in d
3.607 * [taylor]: Taking taylor expansion of a in d
3.607 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
3.607 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
3.607 * [taylor]: Taking taylor expansion of (* b c) in a
3.607 * [taylor]: Taking taylor expansion of b in a
3.607 * [taylor]: Taking taylor expansion of c in a
3.607 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
3.607 * [taylor]: Taking taylor expansion of (* d a) in a
3.607 * [taylor]: Taking taylor expansion of d in a
3.607 * [taylor]: Taking taylor expansion of a in a
3.608 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
3.608 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
3.608 * [taylor]: Taking taylor expansion of (* b c) in c
3.608 * [taylor]: Taking taylor expansion of b in c
3.608 * [taylor]: Taking taylor expansion of c in c
3.608 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
3.608 * [taylor]: Taking taylor expansion of (* d a) in c
3.608 * [taylor]: Taking taylor expansion of d in c
3.608 * [taylor]: Taking taylor expansion of a in c
3.608 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
3.608 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
3.608 * [taylor]: Taking taylor expansion of (* b c) in b
3.608 * [taylor]: Taking taylor expansion of b in b
3.608 * [taylor]: Taking taylor expansion of c in b
3.608 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
3.608 * [taylor]: Taking taylor expansion of (* d a) in b
3.609 * [taylor]: Taking taylor expansion of d in b
3.609 * [taylor]: Taking taylor expansion of a in b
3.609 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
3.609 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
3.609 * [taylor]: Taking taylor expansion of (* b c) in b
3.609 * [taylor]: Taking taylor expansion of b in b
3.609 * [taylor]: Taking taylor expansion of c in b
3.609 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
3.609 * [taylor]: Taking taylor expansion of (* d a) in b
3.609 * [taylor]: Taking taylor expansion of d in b
3.609 * [taylor]: Taking taylor expansion of a in b
3.609 * [taylor]: Taking taylor expansion of (/ 1 c) in c
3.609 * [taylor]: Taking taylor expansion of c in c
3.609 * [taylor]: Taking taylor expansion of 1 in a
3.610 * [taylor]: Taking taylor expansion of (- (/ 1 (* d a))) in c
3.610 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
3.610 * [taylor]: Taking taylor expansion of (* d a) in c
3.610 * [taylor]: Taking taylor expansion of d in c
3.610 * [taylor]: Taking taylor expansion of a in c
3.611 * [taylor]: Taking taylor expansion of 0 in a
3.611 * [taylor]: Taking taylor expansion of 1 in d
3.612 * [taylor]: Taking taylor expansion of 0 in c
3.612 * [taylor]: Taking taylor expansion of (- (/ 1 (* d a))) in a
3.612 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
3.612 * [taylor]: Taking taylor expansion of (* d a) in a
3.612 * [taylor]: Taking taylor expansion of d in a
3.612 * [taylor]: Taking taylor expansion of a in a
3.613 * [taylor]: Taking taylor expansion of (- (/ 1 d)) in d
3.613 * [taylor]: Taking taylor expansion of (/ 1 d) in d
3.613 * [taylor]: Taking taylor expansion of d in d
3.614 * [taylor]: Taking taylor expansion of 0 in a
3.614 * [taylor]: Taking taylor expansion of 0 in d
3.614 * [taylor]: Taking taylor expansion of 0 in d
3.616 * [taylor]: Taking taylor expansion of 0 in c
3.616 * [taylor]: Taking taylor expansion of 0 in a
3.616 * [taylor]: Taking taylor expansion of 0 in a
3.616 * [taylor]: Taking taylor expansion of 0 in a
3.617 * [taylor]: Taking taylor expansion of 0 in d
3.617 * [taylor]: Taking taylor expansion of 0 in d
3.617 * [taylor]: Taking taylor expansion of 0 in d
3.617 * [taylor]: Taking taylor expansion of 0 in d
3.620 * [taylor]: Taking taylor expansion of 0 in c
3.620 * [taylor]: Taking taylor expansion of 0 in a
3.620 * [taylor]: Taking taylor expansion of 0 in a
3.621 * [taylor]: Taking taylor expansion of 0 in a
3.621 * [taylor]: Taking taylor expansion of 0 in a
3.621 * [taylor]: Taking taylor expansion of 0 in d
3.621 * [taylor]: Taking taylor expansion of 0 in d
3.622 * [taylor]: Taking taylor expansion of 0 in d
3.622 * [taylor]: Taking taylor expansion of 0 in d
3.622 * [taylor]: Taking taylor expansion of 0 in d
3.622 * [taylor]: Taking taylor expansion of 0 in d
3.622 * [taylor]: Taking taylor expansion of 0 in d
3.623 * [approximate]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in (b c a d) around 0
3.623 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
3.623 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
3.623 * [taylor]: Taking taylor expansion of (* b c) in d
3.623 * [taylor]: Taking taylor expansion of b in d
3.623 * [taylor]: Taking taylor expansion of c in d
3.623 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
3.623 * [taylor]: Taking taylor expansion of (* d a) in d
3.623 * [taylor]: Taking taylor expansion of d in d
3.623 * [taylor]: Taking taylor expansion of a in d
3.624 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
3.624 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
3.624 * [taylor]: Taking taylor expansion of (* b c) in a
3.624 * [taylor]: Taking taylor expansion of b in a
3.624 * [taylor]: Taking taylor expansion of c in a
3.624 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
3.624 * [taylor]: Taking taylor expansion of (* d a) in a
3.624 * [taylor]: Taking taylor expansion of d in a
3.624 * [taylor]: Taking taylor expansion of a in a
3.624 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
3.624 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
3.624 * [taylor]: Taking taylor expansion of (* b c) in c
3.624 * [taylor]: Taking taylor expansion of b in c
3.624 * [taylor]: Taking taylor expansion of c in c
3.624 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
3.624 * [taylor]: Taking taylor expansion of (* d a) in c
3.624 * [taylor]: Taking taylor expansion of d in c
3.624 * [taylor]: Taking taylor expansion of a in c
3.625 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
3.625 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
3.625 * [taylor]: Taking taylor expansion of (* b c) in b
3.625 * [taylor]: Taking taylor expansion of b in b
3.625 * [taylor]: Taking taylor expansion of c in b
3.625 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
3.625 * [taylor]: Taking taylor expansion of (* d a) in b
3.625 * [taylor]: Taking taylor expansion of d in b
3.625 * [taylor]: Taking taylor expansion of a in b
3.625 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
3.625 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
3.625 * [taylor]: Taking taylor expansion of (* b c) in b
3.625 * [taylor]: Taking taylor expansion of b in b
3.625 * [taylor]: Taking taylor expansion of c in b
3.625 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
3.625 * [taylor]: Taking taylor expansion of (* d a) in b
3.625 * [taylor]: Taking taylor expansion of d in b
3.625 * [taylor]: Taking taylor expansion of a in b
3.626 * [taylor]: Taking taylor expansion of (/ 1 c) in c
3.626 * [taylor]: Taking taylor expansion of c in c
3.626 * [taylor]: Taking taylor expansion of 1 in a
3.626 * [taylor]: Taking taylor expansion of (- (/ 1 (* d a))) in c
3.627 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
3.627 * [taylor]: Taking taylor expansion of (* d a) in c
3.627 * [taylor]: Taking taylor expansion of d in c
3.627 * [taylor]: Taking taylor expansion of a in c
3.627 * [taylor]: Taking taylor expansion of 0 in a
3.627 * [taylor]: Taking taylor expansion of 1 in d
3.628 * [taylor]: Taking taylor expansion of 0 in c
3.628 * [taylor]: Taking taylor expansion of (- (/ 1 (* d a))) in a
3.628 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
3.629 * [taylor]: Taking taylor expansion of (* d a) in a
3.629 * [taylor]: Taking taylor expansion of d in a
3.629 * [taylor]: Taking taylor expansion of a in a
3.629 * [taylor]: Taking taylor expansion of (- (/ 1 d)) in d
3.629 * [taylor]: Taking taylor expansion of (/ 1 d) in d
3.629 * [taylor]: Taking taylor expansion of d in d
3.630 * [taylor]: Taking taylor expansion of 0 in a
3.630 * [taylor]: Taking taylor expansion of 0 in d
3.630 * [taylor]: Taking taylor expansion of 0 in d
3.632 * [taylor]: Taking taylor expansion of 0 in c
3.632 * [taylor]: Taking taylor expansion of 0 in a
3.632 * [taylor]: Taking taylor expansion of 0 in a
3.633 * [taylor]: Taking taylor expansion of 0 in a
3.633 * [taylor]: Taking taylor expansion of 0 in d
3.633 * [taylor]: Taking taylor expansion of 0 in d
3.633 * [taylor]: Taking taylor expansion of 0 in d
3.633 * [taylor]: Taking taylor expansion of 0 in d
3.636 * [taylor]: Taking taylor expansion of 0 in c
3.636 * [taylor]: Taking taylor expansion of 0 in a
3.636 * [taylor]: Taking taylor expansion of 0 in a
3.637 * [taylor]: Taking taylor expansion of 0 in a
3.638 * [taylor]: Taking taylor expansion of 0 in a
3.638 * [taylor]: Taking taylor expansion of 0 in d
3.638 * [taylor]: Taking taylor expansion of 0 in d
3.638 * [taylor]: Taking taylor expansion of 0 in d
3.639 * [taylor]: Taking taylor expansion of 0 in d
3.639 * [taylor]: Taking taylor expansion of 0 in d
3.639 * [taylor]: Taking taylor expansion of 0 in d
3.639 * [taylor]: Taking taylor expansion of 0 in d
3.639 * * * [progress]: simplifying candidates
3.641 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (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)))) (log (- (* b c) (* a d))))
  (log (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d))))
  (exp (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d))))
  (/ (* (* (sqrt (+ (* c c) (* d d))) (sqrt (+ (* c c) (* d d)))) (sqrt (+ (* c c) (* d d)))) (* (* (- (* b c) (* a d)) (- (* b c) (* a d))) (- (* b c) (* a d))))
  (* (cbrt (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))) (cbrt (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))))
  (cbrt (/ (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))) (- (* b c) (* a d))))
  (sqrt (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d))))
  (sqrt (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d))))
  (- (sqrt (+ (* c c) (* d d))))
  (- (- (* b c) (* a d)))
  (/ (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))) (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))))
  (/ (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (- (* 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))))
  (/ (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))) 1)
  (/ (cbrt (sqrt (+ (* c c) (* d d)))) (- (* b c) (* a d)))
  (/ (sqrt (* (cbrt (+ (* c c) (* d d))) (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))))
  (/ (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 (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d))))) 1)
  (/ (sqrt (cbrt (+ (* c c) (* d d)))) (- (* b c) (* a d)))
  (/ (sqrt (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)))) (sqrt (- (* b c) (* a d))))
  (/ (sqrt (sqrt (+ (* c c) (* d d)))) (sqrt (- (* b c) (* a d))))
  (/ (sqrt (sqrt (+ (* c c) (* d d)))) 1)
  (/ (sqrt (sqrt (+ (* c c) (* d d)))) (- (* b c) (* a d)))
  (/ (sqrt 1) (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))))
  (/ (sqrt (+ (* c c) (* d d))) (cbrt (- (* b c) (* a d))))
  (/ (sqrt 1) (sqrt (- (* b c) (* a d))))
  (/ (sqrt (+ (* c c) (* d d))) (sqrt (- (* b c) (* a d))))
  (/ (sqrt 1) 1)
  (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))
  (/ (sqrt (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)))) (sqrt (- (* b c) (* a d))))
  (/ (sqrt (sqrt (+ (* c c) (* d d)))) (sqrt (- (* b c) (* a d))))
  (/ (sqrt (sqrt (+ (* c c) (* d d)))) 1)
  (/ (sqrt (sqrt (+ (* c c) (* d d)))) (- (* b c) (* a d)))
  (/ 1 (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))))
  (/ (sqrt (+ (* c c) (* d d))) (cbrt (- (* b c) (* a d))))
  (/ 1 (sqrt (- (* b c) (* a d))))
  (/ (sqrt (+ (* c c) (* d d))) (sqrt (- (* b c) (* a d))))
  (/ 1 1)
  (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))
  (/ 1 (- (* b c) (* a d)))
  (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (+ (* c c) (* d d))) (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))))
  (/ (sqrt (+ (* c c) (* d d))) (sqrt (- (* b c) (* a d))))
  (/ (sqrt (+ (* c c) (* d d))) 1)
  (/ (- (* b c) (* a d)) (cbrt (sqrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt (cbrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (+ (* c c) (* d d))) (- (pow (* b c) 3) (pow (* a d) 3)))
  (/ (sqrt (+ (* c c) (* d d))) (- (* (* b c) (* b c)) (* (* a d) (* a d))))
  (* (- (* b c) (* a d)) (sqrt (+ (* (* c c) (* c c)) (- (* (* d d) (* d d)) (* (* c c) (* d d))))))
  (* (- (* b c) (* a d)) (sqrt (- (* c c) (* d 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))))
  (- (* a d))
  (- (* (* b c) (* b c)) (* (* a d) (* a d)))
  (+ (* b c) (* a d))
  (- (* a d))
  d
  c
  (* -1 c)
  d
  c
  (* -1 c)
  0
  0
  0
  0
  (- (* b c) (* d a))
  (- (* b c) (* d a))
3.645 * * [simplify]: iteration  0 :  115  enodes  (cost  1782 )
3.665 * * [simplify]: iteration  1 :  276  enodes  (cost  1664 )
3.714 * * [simplify]: iteration  2 :  794  enodes  (cost  1562 )
3.891 * * [simplify]: iteration  3 :  2267  enodes  (cost  1548 )
4.465 * * [simplify]: iteration  done :  5000  enodes  (cost  1547 )
4.466 * [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 d 6) (pow c 6)))
  (sqrt (+ (* (* c c) (- (* c c) (* d d))) (pow d 4)))
  (sqrt (- (pow c 4) (pow d 4)))
  (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 d 6) (pow c 6)))
  (sqrt (+ (* (* c c) (- (* c c) (* d d))) (pow d 4)))
  (sqrt (- (pow c 4) (pow d 4)))
  (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))) (- (* b c) (* a d))))
  (log (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d))))
  (exp (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d))))
  (pow (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d))) 3)
  (* (cbrt (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))) (cbrt (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))))
  (cbrt (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d))))
  (pow (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d))) 3)
  (sqrt (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d))))
  (sqrt (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d))))
  (- (sqrt (+ (* c c) (* d d))))
  (- (* a d) (* b c))
  (/ (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))) (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))))
  (/ (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (- (* 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))))
  (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (/ (cbrt (sqrt (+ (* c c) (* d d)))) (- (* 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))))
  (/ (fabs (cbrt (+ (* c c) (* d d)))) (sqrt (- (* b c) (* a d))))
  (/ (sqrt (cbrt (+ (* c c) (* d d)))) (sqrt (- (* b c) (* a d))))
  (fabs (cbrt (+ (* c c) (* d d))))
  (/ (sqrt (cbrt (+ (* c c) (* d d)))) (- (* b c) (* a d)))
  (/ (sqrt (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)))) (sqrt (- (* b c) (* a d))))
  (/ (sqrt (sqrt (+ (* c c) (* d d)))) (sqrt (- (* b c) (* a d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (sqrt (+ (* c c) (* d d)))) (- (* b c) (* a d)))
  (/ 1 (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))))
  (/ (sqrt (+ (* c c) (* d d))) (cbrt (- (* b c) (* a d))))
  (/ 1 (sqrt (- (* b c) (* a d))))
  (/ (sqrt (+ (* c c) (* d d))) (sqrt (- (* b c) (* a d))))
  1
  (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))
  (/ (sqrt (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)))) (sqrt (- (* b c) (* a d))))
  (/ (sqrt (sqrt (+ (* c c) (* d d)))) (sqrt (- (* b c) (* a d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (sqrt (+ (* c c) (* d d)))) (- (* b c) (* a d)))
  (/ 1 (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))))
  (/ (sqrt (+ (* c c) (* d d))) (cbrt (- (* b c) (* a d))))
  (/ 1 (sqrt (- (* b c) (* a d))))
  (/ (sqrt (+ (* c c) (* d d))) (sqrt (- (* b c) (* a d))))
  1
  (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))
  (/ 1 (- (* b c) (* a d)))
  (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (+ (* c c) (* d d))) (* (cbrt (- (* b c) (* a 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)) (cbrt (sqrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt (cbrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (+ (* c c) (* d d))) (- (pow (* b c) 3) (pow (* a d) 3)))
  (/ (sqrt (+ (* c c) (* d d))) (- (* (* b c) (* b c)) (* (* a d) (* a d))))
  (* (sqrt (+ (* (* c c) (- (* c c) (* d d))) (pow d 4))) (- (* b c) (* a d)))
  (* (- (* b c) (* a d)) (sqrt (- (* c c) (* d 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))
  (+ (* (* b c) (* b c)) (* (* d a) (+ (* b c) (* a d))))
  (- (* a d))
  (- (* (* b c) (* b c)) (* (* a d) (* a d)))
  (+ (* b c) (* a d))
  (- (* a d))
  d
  c
  (- c)
  d
  c
  (- c)
  0
  0
  0
  0
  (- (* b c) (* a d))
  (- (* b c) (* a d))
4.466 * * * [progress]: adding candidates to table
4.731 * * [progress]: iteration 4 / 4
4.731 * * * [progress]: picking best candidate
4.744 * * * * [pick]: Picked  #<alt (λ (a b c d) (/ (* (- (* b c) (* a d)) (/ 1 (sqrt (+ (* c c) (* d d))))) (sqrt (+ (* c c) (* d d)))))>
4.745 * * * [progress]: localizing error
4.757 * * * [progress]: generating rewritten candidates
4.757 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
4.760 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2)
4.764 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
4.792 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
4.797 * * * [progress]: generating series expansions
4.797 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
4.797 * [approximate]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in (c d) around 0
4.797 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in d
4.797 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in d
4.797 * [taylor]: Taking taylor expansion of (pow d 2) in d
4.797 * [taylor]: Taking taylor expansion of d in d
4.797 * [taylor]: Taking taylor expansion of (pow c 2) in d
4.797 * [taylor]: Taking taylor expansion of c in d
4.798 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
4.798 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
4.798 * [taylor]: Taking taylor expansion of (pow d 2) in c
4.798 * [taylor]: Taking taylor expansion of d in c
4.798 * [taylor]: Taking taylor expansion of (pow c 2) in c
4.798 * [taylor]: Taking taylor expansion of c in c
4.799 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
4.799 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
4.799 * [taylor]: Taking taylor expansion of (pow d 2) in c
4.799 * [taylor]: Taking taylor expansion of d in c
4.799 * [taylor]: Taking taylor expansion of (pow c 2) in c
4.799 * [taylor]: Taking taylor expansion of c in c
4.799 * [taylor]: Taking taylor expansion of d in d
4.799 * [taylor]: Taking taylor expansion of 0 in d
4.801 * [taylor]: Taking taylor expansion of (/ 1/2 d) in d
4.801 * [taylor]: Taking taylor expansion of 1/2 in d
4.801 * [taylor]: Taking taylor expansion of d in d
4.802 * [taylor]: Taking taylor expansion of 0 in d
4.803 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (c d) around 0
4.803 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
4.803 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
4.803 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
4.803 * [taylor]: Taking taylor expansion of (pow c 2) in d
4.803 * [taylor]: Taking taylor expansion of c in d
4.803 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
4.803 * [taylor]: Taking taylor expansion of (pow d 2) in d
4.803 * [taylor]: Taking taylor expansion of d in d
4.806 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
4.806 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
4.806 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
4.806 * [taylor]: Taking taylor expansion of (pow c 2) in c
4.806 * [taylor]: Taking taylor expansion of c in c
4.806 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
4.806 * [taylor]: Taking taylor expansion of (pow d 2) in c
4.806 * [taylor]: Taking taylor expansion of d in c
4.808 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
4.808 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
4.808 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
4.808 * [taylor]: Taking taylor expansion of (pow c 2) in c
4.808 * [taylor]: Taking taylor expansion of c in c
4.809 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
4.809 * [taylor]: Taking taylor expansion of (pow d 2) in c
4.809 * [taylor]: Taking taylor expansion of d in c
4.811 * [taylor]: Taking taylor expansion of 1 in d
4.811 * [taylor]: Taking taylor expansion of 0 in d
4.813 * [taylor]: Taking taylor expansion of (/ 1/2 (pow d 2)) in d
4.813 * [taylor]: Taking taylor expansion of 1/2 in d
4.813 * [taylor]: Taking taylor expansion of (pow d 2) in d
4.813 * [taylor]: Taking taylor expansion of d in d
4.816 * [taylor]: Taking taylor expansion of 0 in d
4.817 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (c d) around 0
4.817 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
4.817 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
4.817 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
4.817 * [taylor]: Taking taylor expansion of (pow c 2) in d
4.817 * [taylor]: Taking taylor expansion of c in d
4.817 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
4.817 * [taylor]: Taking taylor expansion of (pow d 2) in d
4.817 * [taylor]: Taking taylor expansion of d in d
4.820 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
4.820 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
4.820 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
4.820 * [taylor]: Taking taylor expansion of (pow c 2) in c
4.820 * [taylor]: Taking taylor expansion of c in c
4.820 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
4.820 * [taylor]: Taking taylor expansion of (pow d 2) in c
4.820 * [taylor]: Taking taylor expansion of d in c
4.822 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
4.822 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
4.822 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
4.822 * [taylor]: Taking taylor expansion of (pow c 2) in c
4.822 * [taylor]: Taking taylor expansion of c in c
4.823 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
4.823 * [taylor]: Taking taylor expansion of (pow d 2) in c
4.823 * [taylor]: Taking taylor expansion of d in c
4.825 * [taylor]: Taking taylor expansion of 1 in d
4.825 * [taylor]: Taking taylor expansion of 0 in d
4.827 * [taylor]: Taking taylor expansion of (/ 1/2 (pow d 2)) in d
4.827 * [taylor]: Taking taylor expansion of 1/2 in d
4.827 * [taylor]: Taking taylor expansion of (pow d 2) in d
4.827 * [taylor]: Taking taylor expansion of d in d
4.830 * [taylor]: Taking taylor expansion of 0 in d
4.831 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2)
4.831 * [approximate]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in (c d) around 0
4.831 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in d
4.831 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in d
4.831 * [taylor]: Taking taylor expansion of (pow d 2) in d
4.831 * [taylor]: Taking taylor expansion of d in d
4.831 * [taylor]: Taking taylor expansion of (pow c 2) in d
4.831 * [taylor]: Taking taylor expansion of c in d
4.832 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
4.832 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
4.832 * [taylor]: Taking taylor expansion of (pow d 2) in c
4.832 * [taylor]: Taking taylor expansion of d in c
4.832 * [taylor]: Taking taylor expansion of (pow c 2) in c
4.832 * [taylor]: Taking taylor expansion of c in c
4.832 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
4.832 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
4.832 * [taylor]: Taking taylor expansion of (pow d 2) in c
4.832 * [taylor]: Taking taylor expansion of d in c
4.832 * [taylor]: Taking taylor expansion of (pow c 2) in c
4.832 * [taylor]: Taking taylor expansion of c in c
4.833 * [taylor]: Taking taylor expansion of d in d
4.833 * [taylor]: Taking taylor expansion of 0 in d
4.834 * [taylor]: Taking taylor expansion of (/ 1/2 d) in d
4.834 * [taylor]: Taking taylor expansion of 1/2 in d
4.834 * [taylor]: Taking taylor expansion of d in d
4.836 * [taylor]: Taking taylor expansion of 0 in d
4.837 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (c d) around 0
4.837 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
4.837 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
4.837 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
4.837 * [taylor]: Taking taylor expansion of (pow c 2) in d
4.837 * [taylor]: Taking taylor expansion of c in d
4.837 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
4.837 * [taylor]: Taking taylor expansion of (pow d 2) in d
4.837 * [taylor]: Taking taylor expansion of d in d
4.839 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
4.839 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
4.839 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
4.839 * [taylor]: Taking taylor expansion of (pow c 2) in c
4.839 * [taylor]: Taking taylor expansion of c in c
4.840 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
4.840 * [taylor]: Taking taylor expansion of (pow d 2) in c
4.840 * [taylor]: Taking taylor expansion of d in c
4.842 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
4.842 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
4.842 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
4.842 * [taylor]: Taking taylor expansion of (pow c 2) in c
4.842 * [taylor]: Taking taylor expansion of c in c
4.842 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
4.842 * [taylor]: Taking taylor expansion of (pow d 2) in c
4.842 * [taylor]: Taking taylor expansion of d in c
4.844 * [taylor]: Taking taylor expansion of 1 in d
4.844 * [taylor]: Taking taylor expansion of 0 in d
4.846 * [taylor]: Taking taylor expansion of (/ 1/2 (pow d 2)) in d
4.846 * [taylor]: Taking taylor expansion of 1/2 in d
4.846 * [taylor]: Taking taylor expansion of (pow d 2) in d
4.846 * [taylor]: Taking taylor expansion of d in d
4.853 * [taylor]: Taking taylor expansion of 0 in d
4.854 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (c d) around 0
4.854 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
4.854 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
4.854 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
4.854 * [taylor]: Taking taylor expansion of (pow c 2) in d
4.854 * [taylor]: Taking taylor expansion of c in d
4.854 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
4.854 * [taylor]: Taking taylor expansion of (pow d 2) in d
4.854 * [taylor]: Taking taylor expansion of d in d
4.857 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
4.857 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
4.857 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
4.857 * [taylor]: Taking taylor expansion of (pow c 2) in c
4.857 * [taylor]: Taking taylor expansion of c in c
4.857 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
4.857 * [taylor]: Taking taylor expansion of (pow d 2) in c
4.857 * [taylor]: Taking taylor expansion of d in c
4.859 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
4.859 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
4.859 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
4.859 * [taylor]: Taking taylor expansion of (pow c 2) in c
4.859 * [taylor]: Taking taylor expansion of c in c
4.860 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
4.860 * [taylor]: Taking taylor expansion of (pow d 2) in c
4.860 * [taylor]: Taking taylor expansion of d in c
4.862 * [taylor]: Taking taylor expansion of 1 in d
4.862 * [taylor]: Taking taylor expansion of 0 in d
4.864 * [taylor]: Taking taylor expansion of (/ 1/2 (pow d 2)) in d
4.864 * [taylor]: Taking taylor expansion of 1/2 in d
4.864 * [taylor]: Taking taylor expansion of (pow d 2) in d
4.864 * [taylor]: Taking taylor expansion of d in d
4.867 * [taylor]: Taking taylor expansion of 0 in d
4.868 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
4.868 * [approximate]: Taking taylor expansion of (* (- (* b c) (* d a)) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in (b c a d) around 0
4.868 * [taylor]: Taking taylor expansion of (* (- (* b c) (* d a)) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in d
4.868 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in d
4.868 * [taylor]: Taking taylor expansion of (* b c) in d
4.868 * [taylor]: Taking taylor expansion of b in d
4.868 * [taylor]: Taking taylor expansion of c in d
4.868 * [taylor]: Taking taylor expansion of (* d a) in d
4.868 * [taylor]: Taking taylor expansion of d in d
4.868 * [taylor]: Taking taylor expansion of a in d
4.868 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in d
4.868 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in d
4.868 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in d
4.868 * [taylor]: Taking taylor expansion of (pow d 2) in d
4.868 * [taylor]: Taking taylor expansion of d in d
4.868 * [taylor]: Taking taylor expansion of (pow c 2) in d
4.868 * [taylor]: Taking taylor expansion of c in d
4.869 * [taylor]: Taking taylor expansion of (* (- (* b c) (* d a)) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in a
4.869 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in a
4.869 * [taylor]: Taking taylor expansion of (* b c) in a
4.869 * [taylor]: Taking taylor expansion of b in a
4.869 * [taylor]: Taking taylor expansion of c in a
4.869 * [taylor]: Taking taylor expansion of (* d a) in a
4.869 * [taylor]: Taking taylor expansion of d in a
4.869 * [taylor]: Taking taylor expansion of a in a
4.869 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in a
4.869 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in a
4.869 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in a
4.869 * [taylor]: Taking taylor expansion of (pow d 2) in a
4.869 * [taylor]: Taking taylor expansion of d in a
4.869 * [taylor]: Taking taylor expansion of (pow c 2) in a
4.869 * [taylor]: Taking taylor expansion of c in a
4.871 * [taylor]: Taking taylor expansion of (* (- (* b c) (* d a)) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in c
4.871 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in c
4.871 * [taylor]: Taking taylor expansion of (* b c) in c
4.871 * [taylor]: Taking taylor expansion of b in c
4.871 * [taylor]: Taking taylor expansion of c in c
4.871 * [taylor]: Taking taylor expansion of (* d a) in c
4.871 * [taylor]: Taking taylor expansion of d in c
4.871 * [taylor]: Taking taylor expansion of a in c
4.871 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in c
4.871 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in c
4.871 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
4.871 * [taylor]: Taking taylor expansion of (pow d 2) in c
4.871 * [taylor]: Taking taylor expansion of d in c
4.871 * [taylor]: Taking taylor expansion of (pow c 2) in c
4.871 * [taylor]: Taking taylor expansion of c in c
4.871 * [taylor]: Taking taylor expansion of (* (- (* b c) (* d a)) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in b
4.872 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
4.872 * [taylor]: Taking taylor expansion of (* b c) in b
4.872 * [taylor]: Taking taylor expansion of b in b
4.872 * [taylor]: Taking taylor expansion of c in b
4.872 * [taylor]: Taking taylor expansion of (* d a) in b
4.872 * [taylor]: Taking taylor expansion of d in b
4.872 * [taylor]: Taking taylor expansion of a in b
4.872 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in b
4.872 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in b
4.872 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in b
4.872 * [taylor]: Taking taylor expansion of (pow d 2) in b
4.872 * [taylor]: Taking taylor expansion of d in b
4.872 * [taylor]: Taking taylor expansion of (pow c 2) in b
4.872 * [taylor]: Taking taylor expansion of c in b
4.873 * [taylor]: Taking taylor expansion of (* (- (* b c) (* d a)) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in b
4.873 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
4.873 * [taylor]: Taking taylor expansion of (* b c) in b
4.873 * [taylor]: Taking taylor expansion of b in b
4.873 * [taylor]: Taking taylor expansion of c in b
4.873 * [taylor]: Taking taylor expansion of (* d a) in b
4.873 * [taylor]: Taking taylor expansion of d in b
4.873 * [taylor]: Taking taylor expansion of a in b
4.873 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in b
4.873 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in b
4.873 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in b
4.873 * [taylor]: Taking taylor expansion of (pow d 2) in b
4.873 * [taylor]: Taking taylor expansion of d in b
4.873 * [taylor]: Taking taylor expansion of (pow c 2) in b
4.873 * [taylor]: Taking taylor expansion of c in b
4.874 * [taylor]: Taking taylor expansion of (* -1 (* (* d a) (sqrt (/ 1 (+ (pow d 2) (pow c 2)))))) in c
4.874 * [taylor]: Taking taylor expansion of -1 in c
4.875 * [taylor]: Taking taylor expansion of (* (* d a) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in c
4.875 * [taylor]: Taking taylor expansion of (* d a) in c
4.875 * [taylor]: Taking taylor expansion of d in c
4.875 * [taylor]: Taking taylor expansion of a in c
4.875 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in c
4.875 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in c
4.875 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
4.875 * [taylor]: Taking taylor expansion of (pow d 2) in c
4.875 * [taylor]: Taking taylor expansion of d in c
4.875 * [taylor]: Taking taylor expansion of (pow c 2) in c
4.875 * [taylor]: Taking taylor expansion of c in c
4.875 * [taylor]: Taking taylor expansion of (* -1 a) in a
4.875 * [taylor]: Taking taylor expansion of -1 in a
4.876 * [taylor]: Taking taylor expansion of a in a
4.876 * [taylor]: Taking taylor expansion of 0 in d
4.877 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) c) in c
4.877 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in c
4.877 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in c
4.877 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
4.877 * [taylor]: Taking taylor expansion of (pow d 2) in c
4.877 * [taylor]: Taking taylor expansion of d in c
4.877 * [taylor]: Taking taylor expansion of (pow c 2) in c
4.877 * [taylor]: Taking taylor expansion of c in c
4.877 * [taylor]: Taking taylor expansion of c in c
4.878 * [taylor]: Taking taylor expansion of 0 in a
4.878 * [taylor]: Taking taylor expansion of 0 in d
4.878 * [taylor]: Taking taylor expansion of 0 in a
4.878 * [taylor]: Taking taylor expansion of 0 in d
4.878 * [taylor]: Taking taylor expansion of -1 in d
4.882 * [taylor]: Taking taylor expansion of 0 in c
4.882 * [taylor]: Taking taylor expansion of 0 in a
4.882 * [taylor]: Taking taylor expansion of 0 in d
4.882 * [taylor]: Taking taylor expansion of (/ 1 d) in a
4.882 * [taylor]: Taking taylor expansion of d in a
4.882 * [taylor]: Taking taylor expansion of (/ 1 d) in d
4.882 * [taylor]: Taking taylor expansion of d in d
4.885 * [taylor]: Taking taylor expansion of (* 1/2 (/ a (pow d 2))) in a
4.885 * [taylor]: Taking taylor expansion of 1/2 in a
4.885 * [taylor]: Taking taylor expansion of (/ a (pow d 2)) in a
4.885 * [taylor]: Taking taylor expansion of a in a
4.885 * [taylor]: Taking taylor expansion of (pow d 2) in a
4.885 * [taylor]: Taking taylor expansion of d in a
4.885 * [taylor]: Taking taylor expansion of 0 in d
4.886 * [taylor]: Taking taylor expansion of 0 in d
4.886 * [taylor]: Taking taylor expansion of 0 in d
4.887 * [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
4.887 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in d
4.887 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
4.887 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
4.887 * [taylor]: Taking taylor expansion of (* b c) in d
4.887 * [taylor]: Taking taylor expansion of b in d
4.887 * [taylor]: Taking taylor expansion of c in d
4.887 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
4.887 * [taylor]: Taking taylor expansion of (* d a) in d
4.887 * [taylor]: Taking taylor expansion of d in d
4.887 * [taylor]: Taking taylor expansion of a in d
4.887 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in d
4.887 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
4.887 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
4.887 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
4.887 * [taylor]: Taking taylor expansion of (pow c 2) in d
4.887 * [taylor]: Taking taylor expansion of c in d
4.887 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
4.887 * [taylor]: Taking taylor expansion of (pow d 2) in d
4.887 * [taylor]: Taking taylor expansion of d in d
4.890 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in a
4.890 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
4.890 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
4.890 * [taylor]: Taking taylor expansion of (* b c) in a
4.890 * [taylor]: Taking taylor expansion of b in a
4.890 * [taylor]: Taking taylor expansion of c in a
4.890 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
4.890 * [taylor]: Taking taylor expansion of (* d a) in a
4.890 * [taylor]: Taking taylor expansion of d in a
4.890 * [taylor]: Taking taylor expansion of a in a
4.891 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in a
4.891 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in a
4.891 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in a
4.891 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in a
4.891 * [taylor]: Taking taylor expansion of (pow c 2) in a
4.891 * [taylor]: Taking taylor expansion of c in a
4.891 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
4.891 * [taylor]: Taking taylor expansion of (pow d 2) in a
4.891 * [taylor]: Taking taylor expansion of d in a
4.893 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in c
4.893 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
4.893 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
4.893 * [taylor]: Taking taylor expansion of (* b c) in c
4.893 * [taylor]: Taking taylor expansion of b in c
4.893 * [taylor]: Taking taylor expansion of c in c
4.893 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
4.893 * [taylor]: Taking taylor expansion of (* d a) in c
4.893 * [taylor]: Taking taylor expansion of d in c
4.893 * [taylor]: Taking taylor expansion of a in c
4.893 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
4.893 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
4.893 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
4.893 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
4.893 * [taylor]: Taking taylor expansion of (pow c 2) in c
4.893 * [taylor]: Taking taylor expansion of c in c
4.894 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
4.894 * [taylor]: Taking taylor expansion of (pow d 2) in c
4.894 * [taylor]: Taking taylor expansion of d in c
4.896 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in b
4.896 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
4.896 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
4.896 * [taylor]: Taking taylor expansion of (* b c) in b
4.896 * [taylor]: Taking taylor expansion of b in b
4.896 * [taylor]: Taking taylor expansion of c in b
4.897 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
4.897 * [taylor]: Taking taylor expansion of (* d a) in b
4.897 * [taylor]: Taking taylor expansion of d in b
4.897 * [taylor]: Taking taylor expansion of a in b
4.897 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in b
4.897 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
4.897 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
4.897 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
4.897 * [taylor]: Taking taylor expansion of (pow c 2) in b
4.897 * [taylor]: Taking taylor expansion of c in b
4.897 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
4.897 * [taylor]: Taking taylor expansion of (pow d 2) in b
4.897 * [taylor]: Taking taylor expansion of d in b
4.899 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in b
4.899 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
4.899 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
4.899 * [taylor]: Taking taylor expansion of (* b c) in b
4.899 * [taylor]: Taking taylor expansion of b in b
4.899 * [taylor]: Taking taylor expansion of c in b
4.899 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
4.899 * [taylor]: Taking taylor expansion of (* d a) in b
4.899 * [taylor]: Taking taylor expansion of d in b
4.899 * [taylor]: Taking taylor expansion of a in b
4.899 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in b
4.899 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
4.899 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
4.899 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
4.899 * [taylor]: Taking taylor expansion of (pow c 2) in b
4.899 * [taylor]: Taking taylor expansion of c in b
4.899 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
4.899 * [taylor]: Taking taylor expansion of (pow d 2) in b
4.899 * [taylor]: Taking taylor expansion of d in b
4.901 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) (/ 1 c)) in c
4.901 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
4.901 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
4.901 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
4.901 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
4.901 * [taylor]: Taking taylor expansion of (pow c 2) in c
4.901 * [taylor]: Taking taylor expansion of c in c
4.902 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
4.902 * [taylor]: Taking taylor expansion of (pow d 2) in c
4.902 * [taylor]: Taking taylor expansion of d in c
4.904 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.904 * [taylor]: Taking taylor expansion of c in c
4.905 * [taylor]: Taking taylor expansion of 1 in a
4.906 * [taylor]: Taking taylor expansion of (- (* (/ 1 (* d a)) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))))) in c
4.906 * [taylor]: Taking taylor expansion of (* (/ 1 (* d a)) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in c
4.906 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
4.906 * [taylor]: Taking taylor expansion of (* d a) in c
4.906 * [taylor]: Taking taylor expansion of d in c
4.906 * [taylor]: Taking taylor expansion of a in c
4.906 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
4.906 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
4.906 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
4.906 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
4.906 * [taylor]: Taking taylor expansion of (pow c 2) in c
4.906 * [taylor]: Taking taylor expansion of c in c
4.906 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
4.906 * [taylor]: Taking taylor expansion of (pow d 2) in c
4.906 * [taylor]: Taking taylor expansion of d in c
4.910 * [taylor]: Taking taylor expansion of 0 in a
4.910 * [taylor]: Taking taylor expansion of 1 in d
4.914 * [taylor]: Taking taylor expansion of 0 in c
4.914 * [taylor]: Taking taylor expansion of 0 in a
4.914 * [taylor]: Taking taylor expansion of (- (/ 1 (* d a))) in a
4.914 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
4.914 * [taylor]: Taking taylor expansion of (* d a) in a
4.914 * [taylor]: Taking taylor expansion of d in a
4.914 * [taylor]: Taking taylor expansion of a in a
4.914 * [taylor]: Taking taylor expansion of (- (/ 1 d)) in d
4.914 * [taylor]: Taking taylor expansion of (/ 1 d) in d
4.914 * [taylor]: Taking taylor expansion of d in d
4.919 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow d 2)))) in a
4.919 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow d 2))) in a
4.919 * [taylor]: Taking taylor expansion of 1/2 in a
4.919 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
4.919 * [taylor]: Taking taylor expansion of (pow d 2) in a
4.919 * [taylor]: Taking taylor expansion of d in a
4.919 * [taylor]: Taking taylor expansion of 0 in d
4.919 * [taylor]: Taking taylor expansion of 0 in d
4.924 * [taylor]: Taking taylor expansion of 0 in c
4.924 * [taylor]: Taking taylor expansion of 0 in a
4.924 * [taylor]: Taking taylor expansion of 0 in a
4.925 * [taylor]: Taking taylor expansion of 0 in a
4.929 * [taylor]: Taking taylor expansion of 0 in a
4.929 * [taylor]: Taking taylor expansion of 0 in d
4.930 * [taylor]: Taking taylor expansion of 0 in d
4.930 * [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
4.930 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in d
4.930 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
4.930 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
4.930 * [taylor]: Taking taylor expansion of (* b c) in d
4.930 * [taylor]: Taking taylor expansion of b in d
4.930 * [taylor]: Taking taylor expansion of c in d
4.930 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
4.930 * [taylor]: Taking taylor expansion of (* d a) in d
4.930 * [taylor]: Taking taylor expansion of d in d
4.930 * [taylor]: Taking taylor expansion of a in d
4.931 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in d
4.931 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
4.931 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
4.931 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
4.931 * [taylor]: Taking taylor expansion of (pow c 2) in d
4.931 * [taylor]: Taking taylor expansion of c in d
4.931 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
4.931 * [taylor]: Taking taylor expansion of (pow d 2) in d
4.931 * [taylor]: Taking taylor expansion of d in d
4.934 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in a
4.934 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
4.934 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
4.934 * [taylor]: Taking taylor expansion of (* b c) in a
4.934 * [taylor]: Taking taylor expansion of b in a
4.934 * [taylor]: Taking taylor expansion of c in a
4.934 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
4.934 * [taylor]: Taking taylor expansion of (* d a) in a
4.934 * [taylor]: Taking taylor expansion of d in a
4.934 * [taylor]: Taking taylor expansion of a in a
4.934 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in a
4.934 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in a
4.934 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in a
4.934 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in a
4.934 * [taylor]: Taking taylor expansion of (pow c 2) in a
4.934 * [taylor]: Taking taylor expansion of c in a
4.935 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
4.935 * [taylor]: Taking taylor expansion of (pow d 2) in a
4.935 * [taylor]: Taking taylor expansion of d in a
4.939 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in c
4.939 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
4.939 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
4.939 * [taylor]: Taking taylor expansion of (* b c) in c
4.939 * [taylor]: Taking taylor expansion of b in c
4.939 * [taylor]: Taking taylor expansion of c in c
4.939 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
4.939 * [taylor]: Taking taylor expansion of (* d a) in c
4.939 * [taylor]: Taking taylor expansion of d in c
4.939 * [taylor]: Taking taylor expansion of a in c
4.939 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
4.939 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
4.939 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
4.939 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
4.939 * [taylor]: Taking taylor expansion of (pow c 2) in c
4.939 * [taylor]: Taking taylor expansion of c in c
4.940 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
4.940 * [taylor]: Taking taylor expansion of (pow d 2) in c
4.940 * [taylor]: Taking taylor expansion of d in c
4.942 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in b
4.942 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
4.942 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
4.942 * [taylor]: Taking taylor expansion of (* b c) in b
4.942 * [taylor]: Taking taylor expansion of b in b
4.942 * [taylor]: Taking taylor expansion of c in b
4.943 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
4.943 * [taylor]: Taking taylor expansion of (* d a) in b
4.943 * [taylor]: Taking taylor expansion of d in b
4.943 * [taylor]: Taking taylor expansion of a in b
4.943 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in b
4.943 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
4.943 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
4.943 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
4.943 * [taylor]: Taking taylor expansion of (pow c 2) in b
4.943 * [taylor]: Taking taylor expansion of c in b
4.943 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
4.943 * [taylor]: Taking taylor expansion of (pow d 2) in b
4.943 * [taylor]: Taking taylor expansion of d in b
4.944 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in b
4.945 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
4.945 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
4.945 * [taylor]: Taking taylor expansion of (* b c) in b
4.945 * [taylor]: Taking taylor expansion of b in b
4.945 * [taylor]: Taking taylor expansion of c in b
4.945 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
4.945 * [taylor]: Taking taylor expansion of (* d a) in b
4.945 * [taylor]: Taking taylor expansion of d in b
4.945 * [taylor]: Taking taylor expansion of a in b
4.945 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in b
4.945 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
4.945 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
4.945 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
4.945 * [taylor]: Taking taylor expansion of (pow c 2) in b
4.945 * [taylor]: Taking taylor expansion of c in b
4.945 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
4.945 * [taylor]: Taking taylor expansion of (pow d 2) in b
4.945 * [taylor]: Taking taylor expansion of d in b
4.947 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) (/ 1 c)) in c
4.947 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
4.947 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
4.947 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
4.947 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
4.947 * [taylor]: Taking taylor expansion of (pow c 2) in c
4.947 * [taylor]: Taking taylor expansion of c in c
4.948 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
4.948 * [taylor]: Taking taylor expansion of (pow d 2) in c
4.948 * [taylor]: Taking taylor expansion of d in c
4.950 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.950 * [taylor]: Taking taylor expansion of c in c
4.951 * [taylor]: Taking taylor expansion of 1 in a
4.952 * [taylor]: Taking taylor expansion of (- (* (/ 1 (* d a)) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))))) in c
4.952 * [taylor]: Taking taylor expansion of (* (/ 1 (* d a)) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in c
4.952 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
4.952 * [taylor]: Taking taylor expansion of (* d a) in c
4.952 * [taylor]: Taking taylor expansion of d in c
4.952 * [taylor]: Taking taylor expansion of a in c
4.952 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
4.952 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
4.952 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
4.952 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
4.952 * [taylor]: Taking taylor expansion of (pow c 2) in c
4.952 * [taylor]: Taking taylor expansion of c in c
4.952 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
4.952 * [taylor]: Taking taylor expansion of (pow d 2) in c
4.952 * [taylor]: Taking taylor expansion of d in c
4.956 * [taylor]: Taking taylor expansion of 0 in a
4.956 * [taylor]: Taking taylor expansion of 1 in d
4.960 * [taylor]: Taking taylor expansion of 0 in c
4.960 * [taylor]: Taking taylor expansion of 0 in a
4.960 * [taylor]: Taking taylor expansion of (- (/ 1 (* d a))) in a
4.960 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
4.960 * [taylor]: Taking taylor expansion of (* d a) in a
4.960 * [taylor]: Taking taylor expansion of d in a
4.960 * [taylor]: Taking taylor expansion of a in a
4.960 * [taylor]: Taking taylor expansion of (- (/ 1 d)) in d
4.960 * [taylor]: Taking taylor expansion of (/ 1 d) in d
4.960 * [taylor]: Taking taylor expansion of d in d
4.964 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow d 2)))) in a
4.964 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow d 2))) in a
4.964 * [taylor]: Taking taylor expansion of 1/2 in a
4.964 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
4.964 * [taylor]: Taking taylor expansion of (pow d 2) in a
4.964 * [taylor]: Taking taylor expansion of d in a
4.965 * [taylor]: Taking taylor expansion of 0 in d
4.965 * [taylor]: Taking taylor expansion of 0 in d
4.970 * [taylor]: Taking taylor expansion of 0 in c
4.970 * [taylor]: Taking taylor expansion of 0 in a
4.970 * [taylor]: Taking taylor expansion of 0 in a
4.971 * [taylor]: Taking taylor expansion of 0 in a
4.975 * [taylor]: Taking taylor expansion of 0 in a
4.975 * [taylor]: Taking taylor expansion of 0 in d
4.975 * [taylor]: Taking taylor expansion of 0 in d
4.976 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
4.976 * [approximate]: Taking taylor expansion of (- (* b c) (* d a)) in (b c a d) around 0
4.976 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in d
4.976 * [taylor]: Taking taylor expansion of (* b c) in d
4.976 * [taylor]: Taking taylor expansion of b in d
4.976 * [taylor]: Taking taylor expansion of c in d
4.976 * [taylor]: Taking taylor expansion of (* d a) in d
4.976 * [taylor]: Taking taylor expansion of d in d
4.976 * [taylor]: Taking taylor expansion of a in d
4.976 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in a
4.976 * [taylor]: Taking taylor expansion of (* b c) in a
4.976 * [taylor]: Taking taylor expansion of b in a
4.976 * [taylor]: Taking taylor expansion of c in a
4.976 * [taylor]: Taking taylor expansion of (* d a) in a
4.976 * [taylor]: Taking taylor expansion of d in a
4.976 * [taylor]: Taking taylor expansion of a in a
4.976 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in c
4.976 * [taylor]: Taking taylor expansion of (* b c) in c
4.976 * [taylor]: Taking taylor expansion of b in c
4.976 * [taylor]: Taking taylor expansion of c in c
4.976 * [taylor]: Taking taylor expansion of (* d a) in c
4.976 * [taylor]: Taking taylor expansion of d in c
4.976 * [taylor]: Taking taylor expansion of a in c
4.976 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
4.976 * [taylor]: Taking taylor expansion of (* b c) in b
4.976 * [taylor]: Taking taylor expansion of b in b
4.976 * [taylor]: Taking taylor expansion of c in b
4.976 * [taylor]: Taking taylor expansion of (* d a) in b
4.976 * [taylor]: Taking taylor expansion of d in b
4.976 * [taylor]: Taking taylor expansion of a in b
4.976 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
4.976 * [taylor]: Taking taylor expansion of (* b c) in b
4.976 * [taylor]: Taking taylor expansion of b in b
4.976 * [taylor]: Taking taylor expansion of c in b
4.976 * [taylor]: Taking taylor expansion of (* d a) in b
4.976 * [taylor]: Taking taylor expansion of d in b
4.976 * [taylor]: Taking taylor expansion of a in b
4.976 * [taylor]: Taking taylor expansion of (- (* d a)) in c
4.976 * [taylor]: Taking taylor expansion of (* d a) in c
4.976 * [taylor]: Taking taylor expansion of d in c
4.976 * [taylor]: Taking taylor expansion of a in c
4.977 * [taylor]: Taking taylor expansion of (- (* d a)) in a
4.977 * [taylor]: Taking taylor expansion of (* d a) in a
4.977 * [taylor]: Taking taylor expansion of d in a
4.977 * [taylor]: Taking taylor expansion of a in a
4.977 * [taylor]: Taking taylor expansion of 0 in d
4.977 * [taylor]: Taking taylor expansion of c in c
4.977 * [taylor]: Taking taylor expansion of 0 in a
4.977 * [taylor]: Taking taylor expansion of 0 in d
4.978 * [taylor]: Taking taylor expansion of 0 in a
4.978 * [taylor]: Taking taylor expansion of 0 in d
4.978 * [taylor]: Taking taylor expansion of (- d) in d
4.978 * [taylor]: Taking taylor expansion of d in d
4.979 * [taylor]: Taking taylor expansion of 0 in c
4.979 * [taylor]: Taking taylor expansion of 0 in a
4.980 * [taylor]: Taking taylor expansion of 0 in d
4.980 * [approximate]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in (b c a d) around 0
4.980 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
4.980 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
4.980 * [taylor]: Taking taylor expansion of (* b c) in d
4.980 * [taylor]: Taking taylor expansion of b in d
4.980 * [taylor]: Taking taylor expansion of c in d
4.980 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
4.980 * [taylor]: Taking taylor expansion of (* d a) in d
4.980 * [taylor]: Taking taylor expansion of d in d
4.980 * [taylor]: Taking taylor expansion of a in d
4.980 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
4.980 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
4.980 * [taylor]: Taking taylor expansion of (* b c) in a
4.980 * [taylor]: Taking taylor expansion of b in a
4.980 * [taylor]: Taking taylor expansion of c in a
4.980 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
4.980 * [taylor]: Taking taylor expansion of (* d a) in a
4.980 * [taylor]: Taking taylor expansion of d in a
4.980 * [taylor]: Taking taylor expansion of a in a
4.981 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
4.981 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
4.981 * [taylor]: Taking taylor expansion of (* b c) in c
4.981 * [taylor]: Taking taylor expansion of b in c
4.981 * [taylor]: Taking taylor expansion of c in c
4.981 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
4.981 * [taylor]: Taking taylor expansion of (* d a) in c
4.981 * [taylor]: Taking taylor expansion of d in c
4.981 * [taylor]: Taking taylor expansion of a in c
4.981 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
4.981 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
4.981 * [taylor]: Taking taylor expansion of (* b c) in b
4.981 * [taylor]: Taking taylor expansion of b in b
4.981 * [taylor]: Taking taylor expansion of c in b
4.982 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
4.982 * [taylor]: Taking taylor expansion of (* d a) in b
4.982 * [taylor]: Taking taylor expansion of d in b
4.982 * [taylor]: Taking taylor expansion of a in b
4.982 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
4.982 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
4.982 * [taylor]: Taking taylor expansion of (* b c) in b
4.982 * [taylor]: Taking taylor expansion of b in b
4.982 * [taylor]: Taking taylor expansion of c in b
4.982 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
4.982 * [taylor]: Taking taylor expansion of (* d a) in b
4.982 * [taylor]: Taking taylor expansion of d in b
4.982 * [taylor]: Taking taylor expansion of a in b
4.982 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.982 * [taylor]: Taking taylor expansion of c in c
4.982 * [taylor]: Taking taylor expansion of 1 in a
4.983 * [taylor]: Taking taylor expansion of (- (/ 1 (* d a))) in c
4.983 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
4.983 * [taylor]: Taking taylor expansion of (* d a) in c
4.983 * [taylor]: Taking taylor expansion of d in c
4.983 * [taylor]: Taking taylor expansion of a in c
4.984 * [taylor]: Taking taylor expansion of 0 in a
4.984 * [taylor]: Taking taylor expansion of 1 in d
4.985 * [taylor]: Taking taylor expansion of 0 in c
4.985 * [taylor]: Taking taylor expansion of (- (/ 1 (* d a))) in a
4.985 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
4.985 * [taylor]: Taking taylor expansion of (* d a) in a
4.985 * [taylor]: Taking taylor expansion of d in a
4.985 * [taylor]: Taking taylor expansion of a in a
4.986 * [taylor]: Taking taylor expansion of (- (/ 1 d)) in d
4.986 * [taylor]: Taking taylor expansion of (/ 1 d) in d
4.986 * [taylor]: Taking taylor expansion of d in d
4.987 * [taylor]: Taking taylor expansion of 0 in a
4.987 * [taylor]: Taking taylor expansion of 0 in d
4.987 * [taylor]: Taking taylor expansion of 0 in d
4.988 * [taylor]: Taking taylor expansion of 0 in c
4.988 * [taylor]: Taking taylor expansion of 0 in a
4.989 * [taylor]: Taking taylor expansion of 0 in a
4.989 * [taylor]: Taking taylor expansion of 0 in a
4.990 * [taylor]: Taking taylor expansion of 0 in d
4.990 * [taylor]: Taking taylor expansion of 0 in d
4.990 * [taylor]: Taking taylor expansion of 0 in d
4.990 * [taylor]: Taking taylor expansion of 0 in d
4.993 * [taylor]: Taking taylor expansion of 0 in c
4.993 * [taylor]: Taking taylor expansion of 0 in a
4.993 * [taylor]: Taking taylor expansion of 0 in a
4.994 * [taylor]: Taking taylor expansion of 0 in a
4.994 * [taylor]: Taking taylor expansion of 0 in a
4.994 * [taylor]: Taking taylor expansion of 0 in d
4.995 * [taylor]: Taking taylor expansion of 0 in d
4.995 * [taylor]: Taking taylor expansion of 0 in d
4.995 * [taylor]: Taking taylor expansion of 0 in d
4.995 * [taylor]: Taking taylor expansion of 0 in d
4.995 * [taylor]: Taking taylor expansion of 0 in d
4.995 * [taylor]: Taking taylor expansion of 0 in d
4.996 * [approximate]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in (b c a d) around 0
4.996 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
4.996 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
4.996 * [taylor]: Taking taylor expansion of (* b c) in d
4.996 * [taylor]: Taking taylor expansion of b in d
4.996 * [taylor]: Taking taylor expansion of c in d
4.996 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
4.996 * [taylor]: Taking taylor expansion of (* d a) in d
4.996 * [taylor]: Taking taylor expansion of d in d
4.996 * [taylor]: Taking taylor expansion of a in d
4.996 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
4.997 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
4.997 * [taylor]: Taking taylor expansion of (* b c) in a
4.997 * [taylor]: Taking taylor expansion of b in a
4.997 * [taylor]: Taking taylor expansion of c in a
4.997 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
4.997 * [taylor]: Taking taylor expansion of (* d a) in a
4.997 * [taylor]: Taking taylor expansion of d in a
4.997 * [taylor]: Taking taylor expansion of a in a
4.997 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
4.997 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
4.997 * [taylor]: Taking taylor expansion of (* b c) in c
4.997 * [taylor]: Taking taylor expansion of b in c
4.997 * [taylor]: Taking taylor expansion of c in c
4.997 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
4.997 * [taylor]: Taking taylor expansion of (* d a) in c
4.997 * [taylor]: Taking taylor expansion of d in c
4.997 * [taylor]: Taking taylor expansion of a in c
4.997 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
4.997 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
4.998 * [taylor]: Taking taylor expansion of (* b c) in b
4.998 * [taylor]: Taking taylor expansion of b in b
4.998 * [taylor]: Taking taylor expansion of c in b
4.998 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
4.998 * [taylor]: Taking taylor expansion of (* d a) in b
4.998 * [taylor]: Taking taylor expansion of d in b
4.998 * [taylor]: Taking taylor expansion of a in b
4.998 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
4.998 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
4.998 * [taylor]: Taking taylor expansion of (* b c) in b
4.998 * [taylor]: Taking taylor expansion of b in b
4.998 * [taylor]: Taking taylor expansion of c in b
4.998 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
4.998 * [taylor]: Taking taylor expansion of (* d a) in b
4.998 * [taylor]: Taking taylor expansion of d in b
4.998 * [taylor]: Taking taylor expansion of a in b
4.999 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.999 * [taylor]: Taking taylor expansion of c in c
4.999 * [taylor]: Taking taylor expansion of 1 in a
4.999 * [taylor]: Taking taylor expansion of (- (/ 1 (* d a))) in c
5.000 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
5.000 * [taylor]: Taking taylor expansion of (* d a) in c
5.000 * [taylor]: Taking taylor expansion of d in c
5.000 * [taylor]: Taking taylor expansion of a in c
5.000 * [taylor]: Taking taylor expansion of 0 in a
5.000 * [taylor]: Taking taylor expansion of 1 in d
5.001 * [taylor]: Taking taylor expansion of 0 in c
5.001 * [taylor]: Taking taylor expansion of (- (/ 1 (* d a))) in a
5.002 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
5.002 * [taylor]: Taking taylor expansion of (* d a) in a
5.002 * [taylor]: Taking taylor expansion of d in a
5.002 * [taylor]: Taking taylor expansion of a in a
5.002 * [taylor]: Taking taylor expansion of (- (/ 1 d)) in d
5.002 * [taylor]: Taking taylor expansion of (/ 1 d) in d
5.002 * [taylor]: Taking taylor expansion of d in d
5.003 * [taylor]: Taking taylor expansion of 0 in a
5.003 * [taylor]: Taking taylor expansion of 0 in d
5.003 * [taylor]: Taking taylor expansion of 0 in d
5.005 * [taylor]: Taking taylor expansion of 0 in c
5.005 * [taylor]: Taking taylor expansion of 0 in a
5.005 * [taylor]: Taking taylor expansion of 0 in a
5.006 * [taylor]: Taking taylor expansion of 0 in a
5.006 * [taylor]: Taking taylor expansion of 0 in d
5.006 * [taylor]: Taking taylor expansion of 0 in d
5.006 * [taylor]: Taking taylor expansion of 0 in d
5.007 * [taylor]: Taking taylor expansion of 0 in d
5.009 * [taylor]: Taking taylor expansion of 0 in c
5.010 * [taylor]: Taking taylor expansion of 0 in a
5.010 * [taylor]: Taking taylor expansion of 0 in a
5.010 * [taylor]: Taking taylor expansion of 0 in a
5.011 * [taylor]: Taking taylor expansion of 0 in a
5.011 * [taylor]: Taking taylor expansion of 0 in d
5.011 * [taylor]: Taking taylor expansion of 0 in d
5.011 * [taylor]: Taking taylor expansion of 0 in d
5.012 * [taylor]: Taking taylor expansion of 0 in d
5.012 * [taylor]: Taking taylor expansion of 0 in d
5.012 * [taylor]: Taking taylor expansion of 0 in d
5.012 * [taylor]: Taking taylor expansion of 0 in d
5.012 * * * [progress]: simplifying candidates
5.014 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (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))))
  (* (- (* b c) (* a d)) (/ 1 (sqrt (+ (* c c) (* d d)))))
  (+ (log (- (* b c) (* a d))) (- (log (sqrt (+ (* c c) (* d d))))))
  (+ (log (- (* b c) (* a d))) (- 0 (log (sqrt (+ (* c c) (* d d))))))
  (+ (log (- (* b c) (* a d))) (- (log 1) (log (sqrt (+ (* c c) (* d d))))))
  (+ (log (- (* b c) (* a d))) (log (/ 1 (sqrt (+ (* c c) (* d d))))))
  (log (* (- (* b c) (* a d)) (/ 1 (sqrt (+ (* c c) (* d d))))))
  (exp (* (- (* b c) (* a d)) (/ 1 (sqrt (+ (* c c) (* d d))))))
  (* (* (* (- (* b c) (* a d)) (- (* b c) (* a d))) (- (* b c) (* a d))) (/ (* (* 1 1) 1) (* (* (sqrt (+ (* c c) (* d d))) (sqrt (+ (* c c) (* d d)))) (sqrt (+ (* c c) (* d d))))))
  (* (* (* (- (* b c) (* a d)) (- (* b c) (* a d))) (- (* b c) (* a d))) (* (* (/ 1 (sqrt (+ (* c c) (* d d)))) (/ 1 (sqrt (+ (* c c) (* d d))))) (/ 1 (sqrt (+ (* c c) (* d d))))))
  (* (cbrt (* (- (* b c) (* a d)) (/ 1 (sqrt (+ (* c c) (* d d)))))) (cbrt (* (- (* b c) (* a d)) (/ 1 (sqrt (+ (* c c) (* d d)))))))
  (cbrt (* (- (* b c) (* a d)) (/ 1 (sqrt (+ (* c c) (* d d))))))
  (* (* (* (- (* b c) (* a d)) (/ 1 (sqrt (+ (* c c) (* d d))))) (* (- (* b c) (* a d)) (/ 1 (sqrt (+ (* c c) (* d d)))))) (* (- (* b c) (* a d)) (/ 1 (sqrt (+ (* c c) (* d d))))))
  (sqrt (* (- (* b c) (* a d)) (/ 1 (sqrt (+ (* c c) (* d d))))))
  (sqrt (* (- (* b c) (* a d)) (/ 1 (sqrt (+ (* c c) (* d d))))))
  (* (- (pow (* b c) 3) (pow (* a d) 3)) 1)
  (* (+ (* (* b c) (* b c)) (+ (* (* a d) (* a d)) (* (* b c) (* a d)))) (sqrt (+ (* c c) (* d d))))
  (* (- (* (* b c) (* b c)) (* (* a d) (* a d))) 1)
  (* (+ (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
  (* (sqrt (- (* b c) (* a d))) (sqrt (/ 1 (sqrt (+ (* c c) (* d d))))))
  (* (sqrt (- (* b c) (* a d))) (sqrt (/ 1 (sqrt (+ (* c c) (* d d))))))
  (* (sqrt (- (* b c) (* a d))) (/ (sqrt 1) (sqrt (sqrt (+ (* c c) (* d d))))))
  (* (sqrt (- (* b c) (* a d))) (/ (sqrt 1) (sqrt (sqrt (+ (* c c) (* d d))))))
  (* (sqrt (- (* b c) (* a d))) (/ (sqrt 1) (sqrt (sqrt (+ (* c c) (* d d))))))
  (* (sqrt (- (* b c) (* a d))) (/ (sqrt 1) (sqrt (sqrt (+ (* c c) (* d d))))))
  (* (sqrt (- (* b c) (* a d))) (/ 1 (sqrt (sqrt (+ (* c c) (* d d))))))
  (* (sqrt (- (* b c) (* a d))) (/ 1 (sqrt (sqrt (+ (* c c) (* d d))))))
  (* (sqrt (- (* b c) (* a d))) (/ 1 (sqrt (sqrt (+ (* c c) (* d d))))))
  (* (sqrt (- (* b c) (* a d))) (/ 1 (sqrt (sqrt (+ (* c c) (* d d))))))
  (* (- (* b c) (* a d)) (* (cbrt (/ 1 (sqrt (+ (* c c) (* d d))))) (cbrt (/ 1 (sqrt (+ (* c c) (* d d)))))))
  (* (- (* b c) (* a d)) (sqrt (/ 1 (sqrt (+ (* c c) (* d d))))))
  (* (- (* b c) (* a d)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d)))))))
  (* (- (* b c) (* a d)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d)))))))
  (* (- (* b c) (* a d)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt (+ (* c c) (* d d))))))
  (* (- (* b c) (* a d)) (/ (* (cbrt 1) (cbrt 1)) (sqrt 1)))
  (* (- (* b c) (* a d)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt (+ (* c c) (* d d))))))
  (* (- (* b c) (* a d)) (/ (* (cbrt 1) (cbrt 1)) 1))
  (* (- (* b c) (* a d)) (/ (sqrt 1) (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d)))))))
  (* (- (* b c) (* a d)) (/ (sqrt 1) (sqrt (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d)))))))
  (* (- (* b c) (* a d)) (/ (sqrt 1) (sqrt (sqrt (+ (* c c) (* d d))))))
  (* (- (* b c) (* a d)) (/ (sqrt 1) (sqrt 1)))
  (* (- (* b c) (* a d)) (/ (sqrt 1) (sqrt (sqrt (+ (* c c) (* d d))))))
  (* (- (* b c) (* a d)) (/ (sqrt 1) 1))
  (* (- (* b c) (* a d)) (/ 1 (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d)))))))
  (* (- (* b c) (* a d)) (/ 1 (sqrt (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d)))))))
  (* (- (* b c) (* a d)) (/ 1 (sqrt (sqrt (+ (* c c) (* d d))))))
  (* (- (* b c) (* a d)) (/ 1 (sqrt 1)))
  (* (- (* b c) (* a d)) (/ 1 (sqrt (sqrt (+ (* c c) (* d d))))))
  (* (- (* b c) (* a d)) (/ 1 1))
  (* (- (* b c) (* a d)) 1)
  (* (- (* b c) (* a d)) 1)
  (* (- (* b c) (* a d)) (/ 1 (sqrt (+ (pow (* c c) 3) (pow (* d d) 3)))))
  (* (- (* b c) (* a d)) (/ 1 (sqrt (- (* (* c c) (* c c)) (* (* d d) (* d d))))))
  (* (cbrt (- (* b c) (* a d))) (/ 1 (sqrt (+ (* c c) (* d d)))))
  (* (sqrt (- (* b c) (* a d))) (/ 1 (sqrt (+ (* c c) (* d d)))))
  (* (- (* b c) (* a d)) (/ 1 (sqrt (+ (* c c) (* d d)))))
  (* (- (* b c) (* a d)) 1)
  (* (- (pow (* b c) 3) (pow (* a d) 3)) (/ 1 (sqrt (+ (* c c) (* d d)))))
  (* (- (* (* b c) (* b c)) (* (* a d) (* a d))) (/ 1 (sqrt (+ (* c c) (* d 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))))
  (- (* a d))
  (- (* (* b c) (* b c)) (* (* a d) (* a d)))
  (+ (* b c) (* a d))
  (- (* a d))
  d
  c
  (* -1 c)
  d
  c
  (* -1 c)
  (* -1 a)
  b
  (* -1 b)
  0
  (- (* b c) (* d a))
  (- (* b c) (* d a))
5.021 * * [simplify]: iteration  0 :  147  enodes  (cost  1896 )
5.045 * * [simplify]: iteration  1 :  391  enodes  (cost  1689 )
5.139 * * [simplify]: iteration  2 :  1363  enodes  (cost  1483 )
5.873 * * [simplify]: iteration  3 :  4699  enodes  (cost  1467 )
7.808 * * [simplify]: iteration  done :  5000  enodes  (cost  1467 )
7.809 * [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 d 6) (pow c 6)))
  (sqrt (+ (pow d 4) (* (* c c) (- (* c c) (* d d)))))
  (sqrt (- (pow c 4) (pow d 4)))
  (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 d 6) (pow c 6)))
  (sqrt (+ (pow d 4) (* (* c c) (- (* c c) (* d d)))))
  (sqrt (- (pow c 4) (pow d 4)))
  (sqrt (- (* c c) (* d d)))
  1/2
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (/ (- (* b c) (* a d)) (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)))))
  (log (/ (- (* b c) (* a d)) (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)
  (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)))))
  (- (pow (* b c) 3) (pow (* a d) 3))
  (* (sqrt (+ (* c c) (* d d))) (+ (* (* a d) (+ (* b c) (* a d))) (* (* b c) (* b c))))
  (- (* (* b c) (* b c)) (* (* a d) (* a d)))
  (* (+ (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
  (* (sqrt (- (* b c) (* a d))) (sqrt (/ 1 (sqrt (+ (* c c) (* d d))))))
  (* (sqrt (- (* b c) (* a d))) (sqrt (/ 1 (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 (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 (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)))))
  (* (- (* b c) (* a d)) (* (cbrt (/ 1 (sqrt (+ (* c c) (* d d))))) (cbrt (/ 1 (sqrt (+ (* c c) (* d d)))))))
  (* (- (* b c) (* a d)) (sqrt (/ 1 (sqrt (+ (* c c) (* d d))))))
  (/ (- (* b c) (* d a)) (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (- (* b c) (* d a)) (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))
  (/ (- (* b c) (* d a)) (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (- (* b c) (* d a)) (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))
  (/ (- (* b c) (* d a)) (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (- (* b c) (* d a)) (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))
  (- (* b c) (* a d))
  (- (* b c) (* a d))
  (/ (- (* b c) (* a d)) (sqrt (+ (pow d 6) (pow c 6))))
  (/ (- (* b c) (* a d)) (sqrt (- (pow c 4) (pow d 4))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
  (- (* b c) (* a d))
  (/ (- (pow (* b c) 3) (pow (* a d) 3)) (sqrt (+ (* c c) (* d d))))
  (/ (- (* (* b c) (* b c)) (* (* a d) (* a d))) (sqrt (+ (* c c) (* d 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) (+ (* b c) (* a d))) (* (* b c) (* b c)))
  (* a (- d))
  (- (* (* b c) (* b c)) (* (* a d) (* a d)))
  (+ (* b c) (* a d))
  (* a (- d))
  d
  c
  (- c)
  d
  c
  (- c)
  (- a)
  b
  (- b)
  0
  (- (* b c) (* a d))
  (- (* b c) (* a d))
7.809 * * * [progress]: adding candidates to table
8.082 * [progress]: [Phase 3 of 3] Extracting.
8.083 * * [regime]: Finding splitpoints for: (#<alt (λ (a b c d) (/ (- (* b c) (* a d)) (+ (* c c) (* d d))))> #<alt (λ (a b c d) (/ (* (- (* b c) (* a d)) (/ 1 (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) (/ (* (* (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)))))) (sqrt (+ (* c c) (* d d)))))> #<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) 0)> #<alt (λ (a b c d) (/ 1 (/ (+ (* c c) (* d d)) (- (* b c) (* a d)))))> #<alt (λ (a b c d) (/ (- b) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (/ (/ 1 (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))) (exp (log (sqrt (+ (* c c) (* d d)))))))>)
8.085 * * * [regime-changes]: Trying 5 branch expressions: ((/ (- (* b c) (* a d)) (+ (* c c) (* d d))) d c b a)
8.085 * * * * [regimes]: Trying to branch on (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) from (#<alt (λ (a b c d) (/ (- (* b c) (* a d)) (+ (* c c) (* d d))))> #<alt (λ (a b c d) (/ (* (- (* b c) (* a d)) (/ 1 (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) (/ (* (* (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)))))) (sqrt (+ (* c c) (* d d)))))> #<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) 0)> #<alt (λ (a b c d) (/ 1 (/ (+ (* c c) (* d d)) (- (* b c) (* a d)))))> #<alt (λ (a b c d) (/ (- b) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (/ (/ 1 (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))) (exp (log (sqrt (+ (* c c) (* d d)))))))>)
8.118 * * * * [regimes]: Trying to branch on (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) from (#<alt (λ (a b c d) (/ (- (* b c) (* a d)) (+ (* c c) (* d d))))> #<alt (λ (a b c d) 0)>)
8.130 * * * * [regimes]: Trying to branch on d from (#<alt (λ (a b c d) (/ (- (* b c) (* a d)) (+ (* c c) (* d d))))> #<alt (λ (a b c d) (/ (* (- (* b c) (* a d)) (/ 1 (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) (/ (* (* (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)))))) (sqrt (+ (* c c) (* d d)))))> #<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) 0)> #<alt (λ (a b c d) (/ 1 (/ (+ (* c c) (* d d)) (- (* b c) (* a d)))))> #<alt (λ (a b c d) (/ (- b) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (/ (/ 1 (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))) (exp (log (sqrt (+ (* c c) (* d d)))))))>)
8.162 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a b c d) (/ (- (* b c) (* a d)) (+ (* c c) (* d d))))> #<alt (λ (a b c d) (/ (* (- (* b c) (* a d)) (/ 1 (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) (/ (* (* (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)))))) (sqrt (+ (* c c) (* d d)))))> #<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) 0)> #<alt (λ (a b c d) (/ 1 (/ (+ (* c c) (* d d)) (- (* b c) (* a d)))))> #<alt (λ (a b c d) (/ (- b) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (/ (/ 1 (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))) (exp (log (sqrt (+ (* c c) (* d d)))))))>)
8.194 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b c d) (/ (- (* b c) (* a d)) (+ (* c c) (* d d))))> #<alt (λ (a b c d) (/ (* (- (* b c) (* a d)) (/ 1 (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) (/ (* (* (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)))))) (sqrt (+ (* c c) (* d d)))))> #<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) 0)> #<alt (λ (a b c d) (/ 1 (/ (+ (* c c) (* d d)) (- (* b c) (* a d)))))> #<alt (λ (a b c d) (/ (- b) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (/ (/ 1 (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))) (exp (log (sqrt (+ (* c c) (* d d)))))))>)
8.226 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b c d) (/ (- (* b c) (* a d)) (+ (* c c) (* d d))))> #<alt (λ (a b c d) (/ (* (- (* b c) (* a d)) (/ 1 (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) (/ (* (* (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)))))) (sqrt (+ (* c c) (* d d)))))> #<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) 0)> #<alt (λ (a b c d) (/ 1 (/ (+ (* c c) (* d d)) (- (* b c) (* a d)))))> #<alt (λ (a b c d) (/ (- b) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (/ (/ 1 (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))) (exp (log (sqrt (+ (* c c) (* d d)))))))>)
8.258 * * * [regime]: Found split indices: #<option (#s(si 4 255))>
8.258 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (/ 1 (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))) (sqrt (+ (* c c) (* d d))))
8.259 * * [simplify]: iteration  0 :  15  enodes  (cost  27 )
8.259 * * [simplify]: iteration  1 :  20  enodes  (cost  27 )
8.260 * * [simplify]: iteration  done :  20  enodes  (cost  27 )
8.260 * [simplify]: Simplified to:
   (/ (/ 1 (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))) (sqrt (+ (* c c) (* d d))))
9.060 * [regime-testing]: Baseline error score: 25.93731065841672
9.060 * [regime-testing]: Oracle error score: 23.76497312949426
9.062 * [regime-testing]: End program error score: 25.93731065841672
9.102 * [regime-testing]: Target error score: 0.5483615178889631