13.738 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
6.360 * * * [progress]: [2/2] Setting up program.
6.363 * [progress]: [Phase 2 of 3] Improving.
6.364 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (- (* b c) (* a d)) (+ (* c c) (* d d)))
6.366 * * [simplify]: iteration  0 :  19  enodes  (cost  7 )
6.367 * * [simplify]: iteration  1 :  36  enodes  (cost  7 )
6.368 * * [simplify]: iteration  2 :  48  enodes  (cost  7 )
6.369 * * [simplify]: iteration  3 :  66  enodes  (cost  7 )
6.371 * * [simplify]: iteration  4 :  72  enodes  (cost  7 )
6.372 * * [simplify]: iteration  5 :  72  enodes  (cost  7 )
6.373 * [simplify]: Simplified to:
   (/ (- (* b c) (* a d)) (+ (* c c) (* d d)))
6.373 * * [progress]: iteration 1 / 4
6.373 * * * [progress]: picking best candidate
6.376 * * * * [pick]: Picked  #<alt (λ (a b c d) (/ (- (* b c) (* a d)) (+ (* c c) (* d d))))>
6.376 * * * [progress]: localizing error
6.386 * * * [progress]: generating rewritten candidates
6.386 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
6.394 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
6.398 * * * [progress]: generating series expansions
6.398 * * * * [progress]: [ 1 / 2 ] generating series at (2)
6.399 * [approximate]: Taking taylor expansion of (/ (- (* b c) (* d a)) (+ (pow d 2) (pow c 2))) in (b c a d) around 0
6.399 * [taylor]: Taking taylor expansion of (/ (- (* b c) (* d a)) (+ (pow d 2) (pow c 2))) in d
6.399 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in d
6.399 * [taylor]: Taking taylor expansion of (* b c) in d
6.399 * [taylor]: Taking taylor expansion of b in d
6.399 * [taylor]: Taking taylor expansion of c in d
6.399 * [taylor]: Taking taylor expansion of (* d a) in d
6.399 * [taylor]: Taking taylor expansion of d in d
6.399 * [taylor]: Taking taylor expansion of a in d
6.399 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in d
6.399 * [taylor]: Taking taylor expansion of (pow d 2) in d
6.399 * [taylor]: Taking taylor expansion of d in d
6.399 * [taylor]: Taking taylor expansion of (pow c 2) in d
6.399 * [taylor]: Taking taylor expansion of c in d
6.399 * [taylor]: Taking taylor expansion of (/ (- (* b c) (* d a)) (+ (pow d 2) (pow c 2))) in a
6.399 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in a
6.399 * [taylor]: Taking taylor expansion of (* b c) in a
6.399 * [taylor]: Taking taylor expansion of b in a
6.399 * [taylor]: Taking taylor expansion of c in a
6.399 * [taylor]: Taking taylor expansion of (* d a) in a
6.399 * [taylor]: Taking taylor expansion of d in a
6.399 * [taylor]: Taking taylor expansion of a in a
6.399 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in a
6.399 * [taylor]: Taking taylor expansion of (pow d 2) in a
6.399 * [taylor]: Taking taylor expansion of d in a
6.399 * [taylor]: Taking taylor expansion of (pow c 2) in a
6.399 * [taylor]: Taking taylor expansion of c in a
6.400 * [taylor]: Taking taylor expansion of (/ (- (* b c) (* d a)) (+ (pow d 2) (pow c 2))) in c
6.400 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in c
6.400 * [taylor]: Taking taylor expansion of (* b c) in c
6.400 * [taylor]: Taking taylor expansion of b in c
6.400 * [taylor]: Taking taylor expansion of c in c
6.400 * [taylor]: Taking taylor expansion of (* d a) in c
6.400 * [taylor]: Taking taylor expansion of d in c
6.400 * [taylor]: Taking taylor expansion of a in c
6.400 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
6.400 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.400 * [taylor]: Taking taylor expansion of d in c
6.400 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.400 * [taylor]: Taking taylor expansion of c in c
6.400 * [taylor]: Taking taylor expansion of (/ (- (* b c) (* d a)) (+ (pow d 2) (pow c 2))) in b
6.400 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
6.400 * [taylor]: Taking taylor expansion of (* b c) in b
6.400 * [taylor]: Taking taylor expansion of b in b
6.400 * [taylor]: Taking taylor expansion of c in b
6.400 * [taylor]: Taking taylor expansion of (* d a) in b
6.400 * [taylor]: Taking taylor expansion of d in b
6.400 * [taylor]: Taking taylor expansion of a in b
6.400 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in b
6.400 * [taylor]: Taking taylor expansion of (pow d 2) in b
6.400 * [taylor]: Taking taylor expansion of d in b
6.400 * [taylor]: Taking taylor expansion of (pow c 2) in b
6.400 * [taylor]: Taking taylor expansion of c in b
6.401 * [taylor]: Taking taylor expansion of (/ (- (* b c) (* d a)) (+ (pow d 2) (pow c 2))) in b
6.401 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
6.401 * [taylor]: Taking taylor expansion of (* b c) in b
6.401 * [taylor]: Taking taylor expansion of b in b
6.401 * [taylor]: Taking taylor expansion of c in b
6.401 * [taylor]: Taking taylor expansion of (* d a) in b
6.401 * [taylor]: Taking taylor expansion of d in b
6.401 * [taylor]: Taking taylor expansion of a in b
6.401 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in b
6.401 * [taylor]: Taking taylor expansion of (pow d 2) in b
6.401 * [taylor]: Taking taylor expansion of d in b
6.401 * [taylor]: Taking taylor expansion of (pow c 2) in b
6.401 * [taylor]: Taking taylor expansion of c in b
6.401 * [taylor]: Taking taylor expansion of (* -1 (/ (* d a) (+ (pow d 2) (pow c 2)))) in c
6.401 * [taylor]: Taking taylor expansion of -1 in c
6.401 * [taylor]: Taking taylor expansion of (/ (* d a) (+ (pow d 2) (pow c 2))) in c
6.401 * [taylor]: Taking taylor expansion of (* d a) in c
6.401 * [taylor]: Taking taylor expansion of d in c
6.401 * [taylor]: Taking taylor expansion of a in c
6.401 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
6.401 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.401 * [taylor]: Taking taylor expansion of d in c
6.401 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.401 * [taylor]: Taking taylor expansion of c in c
6.402 * [taylor]: Taking taylor expansion of (* -1 (/ a d)) in a
6.402 * [taylor]: Taking taylor expansion of -1 in a
6.402 * [taylor]: Taking taylor expansion of (/ a d) in a
6.402 * [taylor]: Taking taylor expansion of a in a
6.402 * [taylor]: Taking taylor expansion of d in a
6.402 * [taylor]: Taking taylor expansion of (/ c (+ (pow d 2) (pow c 2))) in c
6.402 * [taylor]: Taking taylor expansion of c in c
6.402 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
6.402 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.402 * [taylor]: Taking taylor expansion of d in c
6.402 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.402 * [taylor]: Taking taylor expansion of c in c
6.403 * [taylor]: Taking taylor expansion of 0 in a
6.403 * [taylor]: Taking taylor expansion of 0 in d
6.403 * [taylor]: Taking taylor expansion of (/ -1 d) in d
6.403 * [taylor]: Taking taylor expansion of -1 in d
6.403 * [taylor]: Taking taylor expansion of d in d
6.404 * [taylor]: Taking taylor expansion of 0 in c
6.404 * [taylor]: Taking taylor expansion of 0 in a
6.404 * [taylor]: Taking taylor expansion of 0 in d
6.404 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
6.404 * [taylor]: Taking taylor expansion of (pow d 2) in a
6.404 * [taylor]: Taking taylor expansion of d in a
6.404 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
6.404 * [taylor]: Taking taylor expansion of (pow d 2) in d
6.404 * [taylor]: Taking taylor expansion of d in d
6.404 * [taylor]: Taking taylor expansion of (/ a (pow d 3)) in a
6.404 * [taylor]: Taking taylor expansion of a in a
6.404 * [taylor]: Taking taylor expansion of (pow d 3) in a
6.404 * [taylor]: Taking taylor expansion of d in a
6.405 * [taylor]: Taking taylor expansion of 0 in d
6.405 * [taylor]: Taking taylor expansion of 0 in d
6.405 * [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
6.405 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* b c)) (/ 1 (* d a))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
6.405 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
6.405 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
6.405 * [taylor]: Taking taylor expansion of (* b c) in d
6.405 * [taylor]: Taking taylor expansion of b in d
6.405 * [taylor]: Taking taylor expansion of c in d
6.405 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
6.405 * [taylor]: Taking taylor expansion of (* d a) in d
6.405 * [taylor]: Taking taylor expansion of d in d
6.405 * [taylor]: Taking taylor expansion of a in d
6.405 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
6.405 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
6.405 * [taylor]: Taking taylor expansion of (pow c 2) in d
6.405 * [taylor]: Taking taylor expansion of c in d
6.405 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
6.405 * [taylor]: Taking taylor expansion of (pow d 2) in d
6.405 * [taylor]: Taking taylor expansion of d in d
6.406 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* b c)) (/ 1 (* d a))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in a
6.406 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
6.406 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
6.406 * [taylor]: Taking taylor expansion of (* b c) in a
6.406 * [taylor]: Taking taylor expansion of b in a
6.406 * [taylor]: Taking taylor expansion of c in a
6.406 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
6.406 * [taylor]: Taking taylor expansion of (* d a) in a
6.406 * [taylor]: Taking taylor expansion of d in a
6.406 * [taylor]: Taking taylor expansion of a in a
6.406 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in a
6.406 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in a
6.406 * [taylor]: Taking taylor expansion of (pow c 2) in a
6.406 * [taylor]: Taking taylor expansion of c in a
6.406 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
6.406 * [taylor]: Taking taylor expansion of (pow d 2) in a
6.406 * [taylor]: Taking taylor expansion of d in a
6.406 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* b c)) (/ 1 (* d a))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
6.406 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
6.406 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
6.406 * [taylor]: Taking taylor expansion of (* b c) in c
6.406 * [taylor]: Taking taylor expansion of b in c
6.406 * [taylor]: Taking taylor expansion of c in c
6.406 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
6.407 * [taylor]: Taking taylor expansion of (* d a) in c
6.407 * [taylor]: Taking taylor expansion of d in c
6.407 * [taylor]: Taking taylor expansion of a in c
6.407 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
6.407 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
6.407 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.407 * [taylor]: Taking taylor expansion of c in c
6.407 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
6.407 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.407 * [taylor]: Taking taylor expansion of d in c
6.407 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* b c)) (/ 1 (* d a))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
6.407 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
6.407 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
6.407 * [taylor]: Taking taylor expansion of (* b c) in b
6.407 * [taylor]: Taking taylor expansion of b in b
6.407 * [taylor]: Taking taylor expansion of c in b
6.407 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
6.407 * [taylor]: Taking taylor expansion of (* d a) in b
6.407 * [taylor]: Taking taylor expansion of d in b
6.407 * [taylor]: Taking taylor expansion of a in b
6.407 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
6.407 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
6.407 * [taylor]: Taking taylor expansion of (pow c 2) in b
6.407 * [taylor]: Taking taylor expansion of c in b
6.407 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
6.407 * [taylor]: Taking taylor expansion of (pow d 2) in b
6.407 * [taylor]: Taking taylor expansion of d in b
6.408 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* b c)) (/ 1 (* d a))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
6.408 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
6.408 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
6.408 * [taylor]: Taking taylor expansion of (* b c) in b
6.408 * [taylor]: Taking taylor expansion of b in b
6.408 * [taylor]: Taking taylor expansion of c in b
6.408 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
6.408 * [taylor]: Taking taylor expansion of (* d a) in b
6.408 * [taylor]: Taking taylor expansion of d in b
6.408 * [taylor]: Taking taylor expansion of a in b
6.408 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
6.408 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
6.408 * [taylor]: Taking taylor expansion of (pow c 2) in b
6.408 * [taylor]: Taking taylor expansion of c in b
6.408 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
6.408 * [taylor]: Taking taylor expansion of (pow d 2) in b
6.408 * [taylor]: Taking taylor expansion of d in b
6.408 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) c)) in c
6.409 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) c) in c
6.409 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
6.409 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
6.409 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.409 * [taylor]: Taking taylor expansion of c in c
6.409 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
6.409 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.409 * [taylor]: Taking taylor expansion of d in c
6.409 * [taylor]: Taking taylor expansion of c in c
6.409 * [taylor]: Taking taylor expansion of 1 in a
6.410 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d (* a (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))))) in c
6.410 * [taylor]: Taking taylor expansion of (/ 1 (* d (* a (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in c
6.410 * [taylor]: Taking taylor expansion of (* d (* a (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
6.410 * [taylor]: Taking taylor expansion of d in c
6.410 * [taylor]: Taking taylor expansion of (* a (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
6.410 * [taylor]: Taking taylor expansion of a in c
6.410 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
6.410 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
6.410 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.410 * [taylor]: Taking taylor expansion of c in c
6.410 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
6.410 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.410 * [taylor]: Taking taylor expansion of d in c
6.410 * [taylor]: Taking taylor expansion of 0 in a
6.410 * [taylor]: Taking taylor expansion of 1 in d
6.412 * [taylor]: Taking taylor expansion of 0 in c
6.412 * [taylor]: Taking taylor expansion of 0 in a
6.412 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in a
6.412 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
6.412 * [taylor]: Taking taylor expansion of (* d a) in a
6.412 * [taylor]: Taking taylor expansion of d in a
6.412 * [taylor]: Taking taylor expansion of a in a
6.412 * [taylor]: Taking taylor expansion of (neg (/ 1 d)) in d
6.412 * [taylor]: Taking taylor expansion of (/ 1 d) in d
6.412 * [taylor]: Taking taylor expansion of d in d
6.412 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow d 2))) in a
6.412 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
6.413 * [taylor]: Taking taylor expansion of (pow d 2) in a
6.413 * [taylor]: Taking taylor expansion of d in a
6.413 * [taylor]: Taking taylor expansion of 0 in d
6.413 * [taylor]: Taking taylor expansion of 0 in d
6.414 * [taylor]: Taking taylor expansion of 0 in c
6.414 * [taylor]: Taking taylor expansion of 0 in a
6.414 * [taylor]: Taking taylor expansion of 0 in a
6.414 * [taylor]: Taking taylor expansion of 0 in a
6.415 * [taylor]: Taking taylor expansion of 0 in a
6.415 * [taylor]: Taking taylor expansion of 0 in d
6.415 * [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
6.415 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* b c)) (/ 1 (* d a))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
6.415 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
6.415 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
6.415 * [taylor]: Taking taylor expansion of (* b c) in d
6.416 * [taylor]: Taking taylor expansion of b in d
6.416 * [taylor]: Taking taylor expansion of c in d
6.416 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
6.416 * [taylor]: Taking taylor expansion of (* d a) in d
6.416 * [taylor]: Taking taylor expansion of d in d
6.416 * [taylor]: Taking taylor expansion of a in d
6.416 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
6.416 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
6.416 * [taylor]: Taking taylor expansion of (pow c 2) in d
6.416 * [taylor]: Taking taylor expansion of c in d
6.416 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
6.416 * [taylor]: Taking taylor expansion of (pow d 2) in d
6.416 * [taylor]: Taking taylor expansion of d in d
6.416 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* b c)) (/ 1 (* d a))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in a
6.416 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
6.416 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
6.416 * [taylor]: Taking taylor expansion of (* b c) in a
6.416 * [taylor]: Taking taylor expansion of b in a
6.416 * [taylor]: Taking taylor expansion of c in a
6.416 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
6.416 * [taylor]: Taking taylor expansion of (* d a) in a
6.416 * [taylor]: Taking taylor expansion of d in a
6.416 * [taylor]: Taking taylor expansion of a in a
6.416 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in a
6.416 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in a
6.416 * [taylor]: Taking taylor expansion of (pow c 2) in a
6.416 * [taylor]: Taking taylor expansion of c in a
6.416 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
6.416 * [taylor]: Taking taylor expansion of (pow d 2) in a
6.416 * [taylor]: Taking taylor expansion of d in a
6.417 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* b c)) (/ 1 (* d a))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
6.417 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
6.417 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
6.417 * [taylor]: Taking taylor expansion of (* b c) in c
6.417 * [taylor]: Taking taylor expansion of b in c
6.417 * [taylor]: Taking taylor expansion of c in c
6.417 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
6.417 * [taylor]: Taking taylor expansion of (* d a) in c
6.417 * [taylor]: Taking taylor expansion of d in c
6.417 * [taylor]: Taking taylor expansion of a in c
6.417 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
6.417 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
6.417 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.417 * [taylor]: Taking taylor expansion of c in c
6.417 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
6.417 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.417 * [taylor]: Taking taylor expansion of d in c
6.417 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* b c)) (/ 1 (* d a))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
6.417 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
6.417 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
6.417 * [taylor]: Taking taylor expansion of (* b c) in b
6.417 * [taylor]: Taking taylor expansion of b in b
6.417 * [taylor]: Taking taylor expansion of c in b
6.418 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
6.418 * [taylor]: Taking taylor expansion of (* d a) in b
6.418 * [taylor]: Taking taylor expansion of d in b
6.418 * [taylor]: Taking taylor expansion of a in b
6.418 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
6.418 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
6.418 * [taylor]: Taking taylor expansion of (pow c 2) in b
6.418 * [taylor]: Taking taylor expansion of c in b
6.418 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
6.418 * [taylor]: Taking taylor expansion of (pow d 2) in b
6.418 * [taylor]: Taking taylor expansion of d in b
6.418 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* b c)) (/ 1 (* d a))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
6.418 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
6.418 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
6.418 * [taylor]: Taking taylor expansion of (* b c) in b
6.418 * [taylor]: Taking taylor expansion of b in b
6.418 * [taylor]: Taking taylor expansion of c in b
6.418 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
6.418 * [taylor]: Taking taylor expansion of (* d a) in b
6.418 * [taylor]: Taking taylor expansion of d in b
6.418 * [taylor]: Taking taylor expansion of a in b
6.418 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
6.418 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
6.418 * [taylor]: Taking taylor expansion of (pow c 2) in b
6.418 * [taylor]: Taking taylor expansion of c in b
6.419 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
6.419 * [taylor]: Taking taylor expansion of (pow d 2) in b
6.419 * [taylor]: Taking taylor expansion of d in b
6.419 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) c)) in c
6.419 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) c) in c
6.419 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
6.419 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
6.419 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.419 * [taylor]: Taking taylor expansion of c in c
6.419 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
6.419 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.419 * [taylor]: Taking taylor expansion of d in c
6.419 * [taylor]: Taking taylor expansion of c in c
6.419 * [taylor]: Taking taylor expansion of 1 in a
6.420 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d (* a (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))))) in c
6.420 * [taylor]: Taking taylor expansion of (/ 1 (* d (* a (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in c
6.420 * [taylor]: Taking taylor expansion of (* d (* a (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
6.420 * [taylor]: Taking taylor expansion of d in c
6.420 * [taylor]: Taking taylor expansion of (* a (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
6.420 * [taylor]: Taking taylor expansion of a in c
6.420 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
6.420 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
6.420 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.420 * [taylor]: Taking taylor expansion of c in c
6.420 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
6.420 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.420 * [taylor]: Taking taylor expansion of d in c
6.421 * [taylor]: Taking taylor expansion of 0 in a
6.421 * [taylor]: Taking taylor expansion of 1 in d
6.422 * [taylor]: Taking taylor expansion of 0 in c
6.422 * [taylor]: Taking taylor expansion of 0 in a
6.422 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in a
6.422 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
6.422 * [taylor]: Taking taylor expansion of (* d a) in a
6.422 * [taylor]: Taking taylor expansion of d in a
6.422 * [taylor]: Taking taylor expansion of a in a
6.422 * [taylor]: Taking taylor expansion of (neg (/ 1 d)) in d
6.422 * [taylor]: Taking taylor expansion of (/ 1 d) in d
6.422 * [taylor]: Taking taylor expansion of d in d
6.423 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow d 2))) in a
6.423 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
6.423 * [taylor]: Taking taylor expansion of (pow d 2) in a
6.423 * [taylor]: Taking taylor expansion of d in a
6.423 * [taylor]: Taking taylor expansion of 0 in d
6.423 * [taylor]: Taking taylor expansion of 0 in d
6.425 * [taylor]: Taking taylor expansion of 0 in c
6.425 * [taylor]: Taking taylor expansion of 0 in a
6.425 * [taylor]: Taking taylor expansion of 0 in a
6.425 * [taylor]: Taking taylor expansion of 0 in a
6.426 * [taylor]: Taking taylor expansion of 0 in a
6.426 * [taylor]: Taking taylor expansion of 0 in d
6.426 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
6.426 * [approximate]: Taking taylor expansion of (- (* b c) (* d a)) in (b c a d) around 0
6.426 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in d
6.426 * [taylor]: Taking taylor expansion of (* b c) in d
6.426 * [taylor]: Taking taylor expansion of b in d
6.426 * [taylor]: Taking taylor expansion of c in d
6.426 * [taylor]: Taking taylor expansion of (* d a) in d
6.426 * [taylor]: Taking taylor expansion of d in d
6.426 * [taylor]: Taking taylor expansion of a in d
6.426 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in a
6.426 * [taylor]: Taking taylor expansion of (* b c) in a
6.426 * [taylor]: Taking taylor expansion of b in a
6.426 * [taylor]: Taking taylor expansion of c in a
6.426 * [taylor]: Taking taylor expansion of (* d a) in a
6.426 * [taylor]: Taking taylor expansion of d in a
6.426 * [taylor]: Taking taylor expansion of a in a
6.426 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in c
6.426 * [taylor]: Taking taylor expansion of (* b c) in c
6.426 * [taylor]: Taking taylor expansion of b in c
6.426 * [taylor]: Taking taylor expansion of c in c
6.426 * [taylor]: Taking taylor expansion of (* d a) in c
6.426 * [taylor]: Taking taylor expansion of d in c
6.426 * [taylor]: Taking taylor expansion of a in c
6.426 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
6.426 * [taylor]: Taking taylor expansion of (* b c) in b
6.426 * [taylor]: Taking taylor expansion of b in b
6.426 * [taylor]: Taking taylor expansion of c in b
6.426 * [taylor]: Taking taylor expansion of (* d a) in b
6.426 * [taylor]: Taking taylor expansion of d in b
6.426 * [taylor]: Taking taylor expansion of a in b
6.426 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
6.426 * [taylor]: Taking taylor expansion of (* b c) in b
6.426 * [taylor]: Taking taylor expansion of b in b
6.426 * [taylor]: Taking taylor expansion of c in b
6.426 * [taylor]: Taking taylor expansion of (* d a) in b
6.426 * [taylor]: Taking taylor expansion of d in b
6.426 * [taylor]: Taking taylor expansion of a in b
6.426 * [taylor]: Taking taylor expansion of (neg (* d a)) in c
6.426 * [taylor]: Taking taylor expansion of (* d a) in c
6.426 * [taylor]: Taking taylor expansion of d in c
6.426 * [taylor]: Taking taylor expansion of a in c
6.427 * [taylor]: Taking taylor expansion of (neg (* d a)) in a
6.427 * [taylor]: Taking taylor expansion of (* d a) in a
6.427 * [taylor]: Taking taylor expansion of d in a
6.427 * [taylor]: Taking taylor expansion of a in a
6.427 * [taylor]: Taking taylor expansion of 0 in d
6.427 * [taylor]: Taking taylor expansion of c in c
6.427 * [taylor]: Taking taylor expansion of 0 in a
6.427 * [taylor]: Taking taylor expansion of 0 in d
6.427 * [taylor]: Taking taylor expansion of 0 in a
6.427 * [taylor]: Taking taylor expansion of 0 in d
6.427 * [taylor]: Taking taylor expansion of (neg d) in d
6.427 * [taylor]: Taking taylor expansion of d in d
6.427 * [taylor]: Taking taylor expansion of 0 in c
6.427 * [taylor]: Taking taylor expansion of 0 in a
6.427 * [taylor]: Taking taylor expansion of 0 in d
6.427 * [approximate]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in (b c a d) around 0
6.427 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
6.427 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
6.427 * [taylor]: Taking taylor expansion of (* b c) in d
6.427 * [taylor]: Taking taylor expansion of b in d
6.427 * [taylor]: Taking taylor expansion of c in d
6.427 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
6.427 * [taylor]: Taking taylor expansion of (* d a) in d
6.427 * [taylor]: Taking taylor expansion of d in d
6.427 * [taylor]: Taking taylor expansion of a in d
6.427 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
6.428 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
6.428 * [taylor]: Taking taylor expansion of (* b c) in a
6.428 * [taylor]: Taking taylor expansion of b in a
6.428 * [taylor]: Taking taylor expansion of c in a
6.428 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
6.428 * [taylor]: Taking taylor expansion of (* d a) in a
6.428 * [taylor]: Taking taylor expansion of d in a
6.428 * [taylor]: Taking taylor expansion of a in a
6.428 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
6.428 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
6.428 * [taylor]: Taking taylor expansion of (* b c) in c
6.428 * [taylor]: Taking taylor expansion of b in c
6.428 * [taylor]: Taking taylor expansion of c in c
6.428 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
6.428 * [taylor]: Taking taylor expansion of (* d a) in c
6.428 * [taylor]: Taking taylor expansion of d in c
6.428 * [taylor]: Taking taylor expansion of a in c
6.428 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
6.428 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
6.428 * [taylor]: Taking taylor expansion of (* b c) in b
6.428 * [taylor]: Taking taylor expansion of b in b
6.428 * [taylor]: Taking taylor expansion of c in b
6.428 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
6.428 * [taylor]: Taking taylor expansion of (* d a) in b
6.428 * [taylor]: Taking taylor expansion of d in b
6.428 * [taylor]: Taking taylor expansion of a in b
6.428 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
6.428 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
6.428 * [taylor]: Taking taylor expansion of (* b c) in b
6.428 * [taylor]: Taking taylor expansion of b in b
6.428 * [taylor]: Taking taylor expansion of c in b
6.428 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
6.428 * [taylor]: Taking taylor expansion of (* d a) in b
6.428 * [taylor]: Taking taylor expansion of d in b
6.428 * [taylor]: Taking taylor expansion of a in b
6.428 * [taylor]: Taking taylor expansion of (/ 1 c) in c
6.429 * [taylor]: Taking taylor expansion of c in c
6.429 * [taylor]: Taking taylor expansion of 1 in a
6.429 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in c
6.429 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
6.429 * [taylor]: Taking taylor expansion of (* d a) in c
6.429 * [taylor]: Taking taylor expansion of d in c
6.429 * [taylor]: Taking taylor expansion of a in c
6.429 * [taylor]: Taking taylor expansion of 0 in a
6.429 * [taylor]: Taking taylor expansion of 1 in d
6.429 * [taylor]: Taking taylor expansion of 0 in c
6.429 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in a
6.429 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
6.429 * [taylor]: Taking taylor expansion of (* d a) in a
6.429 * [taylor]: Taking taylor expansion of d in a
6.429 * [taylor]: Taking taylor expansion of a in a
6.429 * [taylor]: Taking taylor expansion of (neg (/ 1 d)) in d
6.429 * [taylor]: Taking taylor expansion of (/ 1 d) in d
6.429 * [taylor]: Taking taylor expansion of d in d
6.429 * [taylor]: Taking taylor expansion of 0 in a
6.429 * [taylor]: Taking taylor expansion of 0 in d
6.430 * [taylor]: Taking taylor expansion of 0 in d
6.430 * [taylor]: Taking taylor expansion of 0 in c
6.430 * [taylor]: Taking taylor expansion of 0 in a
6.430 * [taylor]: Taking taylor expansion of 0 in a
6.430 * [taylor]: Taking taylor expansion of 0 in a
6.430 * [taylor]: Taking taylor expansion of 0 in d
6.430 * [taylor]: Taking taylor expansion of 0 in d
6.430 * [taylor]: Taking taylor expansion of 0 in d
6.430 * [taylor]: Taking taylor expansion of 0 in d
6.431 * [taylor]: Taking taylor expansion of 0 in c
6.431 * [taylor]: Taking taylor expansion of 0 in a
6.431 * [taylor]: Taking taylor expansion of 0 in a
6.431 * [taylor]: Taking taylor expansion of 0 in a
6.431 * [taylor]: Taking taylor expansion of 0 in a
6.431 * [taylor]: Taking taylor expansion of 0 in d
6.431 * [taylor]: Taking taylor expansion of 0 in d
6.431 * [taylor]: Taking taylor expansion of 0 in d
6.431 * [taylor]: Taking taylor expansion of 0 in d
6.431 * [taylor]: Taking taylor expansion of 0 in d
6.431 * [taylor]: Taking taylor expansion of 0 in d
6.431 * [taylor]: Taking taylor expansion of 0 in d
6.432 * [approximate]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in (b c a d) around 0
6.432 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
6.432 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
6.432 * [taylor]: Taking taylor expansion of (* b c) in d
6.432 * [taylor]: Taking taylor expansion of b in d
6.432 * [taylor]: Taking taylor expansion of c in d
6.432 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
6.432 * [taylor]: Taking taylor expansion of (* d a) in d
6.432 * [taylor]: Taking taylor expansion of d in d
6.432 * [taylor]: Taking taylor expansion of a in d
6.432 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
6.432 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
6.432 * [taylor]: Taking taylor expansion of (* b c) in a
6.432 * [taylor]: Taking taylor expansion of b in a
6.432 * [taylor]: Taking taylor expansion of c in a
6.432 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
6.432 * [taylor]: Taking taylor expansion of (* d a) in a
6.432 * [taylor]: Taking taylor expansion of d in a
6.432 * [taylor]: Taking taylor expansion of a in a
6.432 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
6.432 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
6.432 * [taylor]: Taking taylor expansion of (* b c) in c
6.432 * [taylor]: Taking taylor expansion of b in c
6.432 * [taylor]: Taking taylor expansion of c in c
6.432 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
6.432 * [taylor]: Taking taylor expansion of (* d a) in c
6.432 * [taylor]: Taking taylor expansion of d in c
6.432 * [taylor]: Taking taylor expansion of a in c
6.432 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
6.432 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
6.432 * [taylor]: Taking taylor expansion of (* b c) in b
6.432 * [taylor]: Taking taylor expansion of b in b
6.432 * [taylor]: Taking taylor expansion of c in b
6.432 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
6.432 * [taylor]: Taking taylor expansion of (* d a) in b
6.432 * [taylor]: Taking taylor expansion of d in b
6.432 * [taylor]: Taking taylor expansion of a in b
6.433 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
6.433 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
6.433 * [taylor]: Taking taylor expansion of (* b c) in b
6.433 * [taylor]: Taking taylor expansion of b in b
6.433 * [taylor]: Taking taylor expansion of c in b
6.433 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
6.433 * [taylor]: Taking taylor expansion of (* d a) in b
6.433 * [taylor]: Taking taylor expansion of d in b
6.433 * [taylor]: Taking taylor expansion of a in b
6.433 * [taylor]: Taking taylor expansion of (/ 1 c) in c
6.433 * [taylor]: Taking taylor expansion of c in c
6.433 * [taylor]: Taking taylor expansion of 1 in a
6.433 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in c
6.433 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
6.433 * [taylor]: Taking taylor expansion of (* d a) in c
6.433 * [taylor]: Taking taylor expansion of d in c
6.433 * [taylor]: Taking taylor expansion of a in c
6.433 * [taylor]: Taking taylor expansion of 0 in a
6.433 * [taylor]: Taking taylor expansion of 1 in d
6.433 * [taylor]: Taking taylor expansion of 0 in c
6.433 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in a
6.434 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
6.434 * [taylor]: Taking taylor expansion of (* d a) in a
6.434 * [taylor]: Taking taylor expansion of d in a
6.434 * [taylor]: Taking taylor expansion of a in a
6.434 * [taylor]: Taking taylor expansion of (neg (/ 1 d)) in d
6.434 * [taylor]: Taking taylor expansion of (/ 1 d) in d
6.434 * [taylor]: Taking taylor expansion of d in d
6.434 * [taylor]: Taking taylor expansion of 0 in a
6.434 * [taylor]: Taking taylor expansion of 0 in d
6.434 * [taylor]: Taking taylor expansion of 0 in d
6.434 * [taylor]: Taking taylor expansion of 0 in c
6.434 * [taylor]: Taking taylor expansion of 0 in a
6.434 * [taylor]: Taking taylor expansion of 0 in a
6.434 * [taylor]: Taking taylor expansion of 0 in a
6.434 * [taylor]: Taking taylor expansion of 0 in d
6.434 * [taylor]: Taking taylor expansion of 0 in d
6.434 * [taylor]: Taking taylor expansion of 0 in d
6.435 * [taylor]: Taking taylor expansion of 0 in d
6.435 * [taylor]: Taking taylor expansion of 0 in c
6.435 * [taylor]: Taking taylor expansion of 0 in a
6.435 * [taylor]: Taking taylor expansion of 0 in a
6.435 * [taylor]: Taking taylor expansion of 0 in a
6.435 * [taylor]: Taking taylor expansion of 0 in a
6.435 * [taylor]: Taking taylor expansion of 0 in d
6.435 * [taylor]: Taking taylor expansion of 0 in d
6.435 * [taylor]: Taking taylor expansion of 0 in d
6.435 * [taylor]: Taking taylor expansion of 0 in d
6.435 * [taylor]: Taking taylor expansion of 0 in d
6.435 * [taylor]: Taking taylor expansion of 0 in d
6.435 * [taylor]: Taking taylor expansion of 0 in d
6.436 * * * [progress]: simplifying candidates
6.436 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log (- (* b c) (* a d))) (log (+ (* c c) (* d d))))
  (log (/ (- (* b c) (* a d)) (+ (* c c) (* d d))))
  (exp (/ (- (* b c) (* a d)) (+ (* c c) (* d d))))
  (/ (* (* (- (* b c) (* a d)) (- (* b c) (* a d))) (- (* b c) (* a d))) (* (* (+ (* c c) (* d d)) (+ (* c c) (* d d))) (+ (* c c) (* d d))))
  (* (cbrt (/ (- (* b c) (* a d)) (+ (* c c) (* d d)))) (cbrt (/ (- (* b c) (* a d)) (+ (* c c) (* d d)))))
  (cbrt (/ (- (* b c) (* a d)) (+ (* c c) (* d d))))
  (* (* (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (/ (- (* b c) (* a d)) (+ (* c c) (* d d)))) (/ (- (* b c) (* a d)) (+ (* c c) (* d d))))
  (sqrt (/ (- (* b c) (* a d)) (+ (* c c) (* d d))))
  (sqrt (/ (- (* b c) (* a d)) (+ (* c c) (* d d))))
  (neg (- (* b c) (* a d)))
  (neg (+ (* c c) (* d d)))
  (/ (* b c) (+ (* c c) (* d d)))
  (/ (* a d) (+ (* c c) (* d d)))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d)))))
  (/ (cbrt (- (* b c) (* a d))) (cbrt (+ (* c c) (* d d))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (sqrt (+ (* c c) (* d d))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) 1)
  (/ (cbrt (- (* b c) (* a d))) (+ (* c c) (* d d)))
  (/ (sqrt (- (* b c) (* a d))) (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (cbrt (+ (* c c) (* d d))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (- (* b c) (* a d))) 1)
  (/ (sqrt (- (* b c) (* a d))) (+ (* c c) (* d d)))
  (/ 1 (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (cbrt (+ (* c c) (* d d))))
  (/ 1 (sqrt (+ (* c c) (* d d))))
  (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
  (/ 1 1)
  (/ (- (* b c) (* a d)) (+ (* c c) (* d d)))
  (/ 1 (+ (* c c) (* d d)))
  (/ (+ (* c c) (* d d)) (- (* b c) (* a d)))
  (/ (- (* b c) (* a d)) (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
  (/ (- (* b c) (* a d)) 1)
  (/ (+ (* c c) (* d d)) (cbrt (- (* b c) (* a d))))
  (/ (+ (* c c) (* d d)) (sqrt (- (* b c) (* a d))))
  (/ (+ (* c c) (* d d)) (- (* b c) (* a d)))
  (/ (- (* b c) (* a d)) (+ (pow (* c c) 3) (pow (* d d) 3)))
  (/ (- (* b c) (* a d)) (- (* (* c c) (* c c)) (* (* d d) (* d d))))
  (* (+ (* c c) (* d d)) (+ (* (* b c) (* b c)) (+ (* (* a d) (* a d)) (* (* b c) (* a d)))))
  (* (+ (* c c) (* d d)) (+ (* b c) (* a d)))
  (/ (exp (* b c)) (exp (* a d)))
  (log (- (* b c) (* a d)))
  (exp (- (* b c) (* a d)))
  (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d))))
  (cbrt (- (* b c) (* a d)))
  (* (* (- (* b c) (* a d)) (- (* b c) (* a d))) (- (* b c) (* a d)))
  (sqrt (- (* b c) (* a d)))
  (sqrt (- (* b c) (* a d)))
  (- (pow (* b c) 3) (pow (* a d) 3))
  (+ (* (* b c) (* b c)) (+ (* (* a d) (* a d)) (* (* b c) (* a d))))
  (neg (* a d))
  (- (* (* b c) (* b c)) (* (* a d) (* a d)))
  (+ (* b c) (* a d))
  (neg (* a d))
  0
  0
  0
  0
  (- (* b c) (* d a))
  (- (* b c) (* d a))
6.441 * * [simplify]: iteration  0 :  251  enodes  (cost  464 )
6.445 * * [simplify]: iteration  1 :  938  enodes  (cost  427 )
6.463 * * [simplify]: iteration  2 :  3490  enodes  (cost  426 )
6.533 * * [simplify]: iteration  3 :  5002  enodes  (cost  426 )
6.536 * [simplify]: Simplified to:
   (log (/ (- (* b c) (* a d)) (+ (* c c) (* d d))))
  (log (/ (- (* b c) (* a d)) (+ (* c c) (* d d))))
  (exp (/ (- (* b c) (* a d)) (+ (* c c) (* d d))))
  (pow (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) 3)
  (* (cbrt (/ (- (* b c) (* a d)) (+ (* c c) (* d d)))) (cbrt (/ (- (* b c) (* a d)) (+ (* c c) (* d d)))))
  (cbrt (/ (- (* b c) (* a d)) (+ (* c c) (* d d))))
  (pow (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) 3)
  (sqrt (/ (- (* b c) (* a d)) (+ (* c c) (* d d))))
  (sqrt (/ (- (* b c) (* a d)) (+ (* c c) (* d d))))
  (neg (- (* b c) (* a d)))
  (neg (+ (* c c) (* d d)))
  (/ (* b c) (+ (* c c) (* d d)))
  (/ (* a d) (+ (* c c) (* d d)))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d)))))
  (/ (cbrt (- (* b c) (* a d))) (cbrt (+ (* c c) (* d d))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (sqrt (+ (* c c) (* d d))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d))))
  (/ (cbrt (- (* b c) (* a d))) (+ (* c c) (* d d)))
  (/ (sqrt (- (* b c) (* a d))) (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (cbrt (+ (* c c) (* d d))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (sqrt (- (* b c) (* a d)))
  (/ (sqrt (- (* b c) (* a d))) (+ (* c c) (* d d)))
  (/ 1 (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (cbrt (+ (* c c) (* d d))))
  (/ 1 (sqrt (+ (* c c) (* d d))))
  (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
  1
  (/ (- (* b c) (* a d)) (+ (* c c) (* d d)))
  (/ 1 (+ (* c c) (* d d)))
  (/ (+ (* c c) (* d d)) (- (* b c) (* a d)))
  (/ (- (* b c) (* a d)) (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
  (- (* b c) (* a d))
  (/ (+ (* c c) (* d d)) (cbrt (- (* b c) (* a d))))
  (/ (+ (* c c) (* d d)) (sqrt (- (* b c) (* a d))))
  (/ (+ (* c c) (* d d)) (- (* b c) (* a d)))
  (/ (- (* b c) (* a d)) (+ (pow (* c c) 3) (pow (* d d) 3)))
  (/ (- (* b c) (* a d)) (+ (* (neg (pow d 3)) d) (* (pow c 3) c)))
  (* (+ (* (* a d) (+ (* a d) (* b c))) (* (* b c) (* b c))) (+ (* c c) (* d d)))
  (* (+ (* c c) (* d d)) (+ (* b c) (* a d)))
  (exp (- (* b c) (* a d)))
  (log (- (* b c) (* a d)))
  (exp (- (* b c) (* a d)))
  (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d))))
  (cbrt (- (* b c) (* a d)))
  (pow (- (* b c) (* a d)) 3)
  (sqrt (- (* b c) (* a d)))
  (sqrt (- (* b c) (* a d)))
  (- (pow (* b c) 3) (pow (* a d) 3))
  (+ (* (* a d) (+ (* a d) (* b c))) (* (* b c) (* b c)))
  (neg (* a d))
  (- (* (* b c) (* b c)) (* (* a d) (* a d)))
  (+ (* b c) (* a d))
  (neg (* a d))
  0
  0
  0
  0
  (- (* b c) (* a d))
  (- (* b c) (* a d))
6.536 * * * [progress]: adding candidates to table
6.603 * * [progress]: iteration 2 / 4
6.603 * * * [progress]: picking best candidate
6.635 * * * * [pick]: Picked  #<alt (λ (a b c d) (/ (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) (sqrt (+ (* c c) (* d d)))))>
6.635 * * * [progress]: localizing error
6.646 * * * [progress]: generating rewritten candidates
6.646 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
6.650 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
6.653 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
6.662 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
6.669 * * * [progress]: generating series expansions
6.669 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
6.670 * [approximate]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in (c d) around 0
6.670 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in d
6.670 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in d
6.670 * [taylor]: Taking taylor expansion of (pow d 2) in d
6.670 * [taylor]: Taking taylor expansion of d in d
6.670 * [taylor]: Taking taylor expansion of (pow c 2) in d
6.670 * [taylor]: Taking taylor expansion of c in d
6.670 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
6.670 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
6.670 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.670 * [taylor]: Taking taylor expansion of d in c
6.670 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.670 * [taylor]: Taking taylor expansion of c in c
6.670 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
6.670 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
6.670 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.670 * [taylor]: Taking taylor expansion of d in c
6.670 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.670 * [taylor]: Taking taylor expansion of c in c
6.671 * [taylor]: Taking taylor expansion of d in d
6.671 * [taylor]: Taking taylor expansion of 0 in d
6.671 * [taylor]: Taking taylor expansion of (/ 1/2 d) in d
6.671 * [taylor]: Taking taylor expansion of 1/2 in d
6.671 * [taylor]: Taking taylor expansion of d in d
6.671 * [taylor]: Taking taylor expansion of 0 in d
6.671 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (c d) around 0
6.671 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
6.671 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
6.671 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
6.672 * [taylor]: Taking taylor expansion of (pow c 2) in d
6.672 * [taylor]: Taking taylor expansion of c in d
6.672 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
6.672 * [taylor]: Taking taylor expansion of (pow d 2) in d
6.672 * [taylor]: Taking taylor expansion of d in d
6.672 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
6.672 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
6.672 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
6.672 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.672 * [taylor]: Taking taylor expansion of c in c
6.672 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
6.672 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.672 * [taylor]: Taking taylor expansion of d in c
6.672 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
6.672 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
6.672 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
6.672 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.672 * [taylor]: Taking taylor expansion of c in c
6.672 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
6.672 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.672 * [taylor]: Taking taylor expansion of d in c
6.672 * [taylor]: Taking taylor expansion of 1 in d
6.672 * [taylor]: Taking taylor expansion of 0 in d
6.673 * [taylor]: Taking taylor expansion of (/ 1/2 (pow d 2)) in d
6.673 * [taylor]: Taking taylor expansion of 1/2 in d
6.673 * [taylor]: Taking taylor expansion of (pow d 2) in d
6.673 * [taylor]: Taking taylor expansion of d in d
6.673 * [taylor]: Taking taylor expansion of 0 in d
6.673 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (c d) around 0
6.674 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
6.674 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
6.674 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
6.674 * [taylor]: Taking taylor expansion of (pow c 2) in d
6.674 * [taylor]: Taking taylor expansion of c in d
6.674 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
6.674 * [taylor]: Taking taylor expansion of (pow d 2) in d
6.674 * [taylor]: Taking taylor expansion of d in d
6.674 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
6.674 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
6.674 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
6.674 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.674 * [taylor]: Taking taylor expansion of c in c
6.674 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
6.674 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.674 * [taylor]: Taking taylor expansion of d in c
6.674 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
6.674 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
6.674 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
6.674 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.674 * [taylor]: Taking taylor expansion of c in c
6.674 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
6.674 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.674 * [taylor]: Taking taylor expansion of d in c
6.674 * [taylor]: Taking taylor expansion of 1 in d
6.675 * [taylor]: Taking taylor expansion of 0 in d
6.675 * [taylor]: Taking taylor expansion of (/ 1/2 (pow d 2)) in d
6.675 * [taylor]: Taking taylor expansion of 1/2 in d
6.675 * [taylor]: Taking taylor expansion of (pow d 2) in d
6.675 * [taylor]: Taking taylor expansion of d in d
6.675 * [taylor]: Taking taylor expansion of 0 in d
6.675 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
6.676 * [approximate]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in (c d) around 0
6.676 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in d
6.676 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in d
6.676 * [taylor]: Taking taylor expansion of (pow d 2) in d
6.676 * [taylor]: Taking taylor expansion of d in d
6.676 * [taylor]: Taking taylor expansion of (pow c 2) in d
6.676 * [taylor]: Taking taylor expansion of c in d
6.676 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
6.676 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
6.676 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.676 * [taylor]: Taking taylor expansion of d in c
6.676 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.676 * [taylor]: Taking taylor expansion of c in c
6.676 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
6.676 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
6.676 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.676 * [taylor]: Taking taylor expansion of d in c
6.676 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.676 * [taylor]: Taking taylor expansion of c in c
6.677 * [taylor]: Taking taylor expansion of d in d
6.677 * [taylor]: Taking taylor expansion of 0 in d
6.677 * [taylor]: Taking taylor expansion of (/ 1/2 d) in d
6.677 * [taylor]: Taking taylor expansion of 1/2 in d
6.677 * [taylor]: Taking taylor expansion of d in d
6.677 * [taylor]: Taking taylor expansion of 0 in d
6.677 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (c d) around 0
6.677 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
6.677 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
6.677 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
6.677 * [taylor]: Taking taylor expansion of (pow c 2) in d
6.677 * [taylor]: Taking taylor expansion of c in d
6.677 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
6.677 * [taylor]: Taking taylor expansion of (pow d 2) in d
6.677 * [taylor]: Taking taylor expansion of d in d
6.678 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
6.678 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
6.678 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
6.678 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.678 * [taylor]: Taking taylor expansion of c in c
6.678 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
6.678 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.678 * [taylor]: Taking taylor expansion of d in c
6.678 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
6.678 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
6.678 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
6.678 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.678 * [taylor]: Taking taylor expansion of c in c
6.678 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
6.678 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.678 * [taylor]: Taking taylor expansion of d in c
6.678 * [taylor]: Taking taylor expansion of 1 in d
6.678 * [taylor]: Taking taylor expansion of 0 in d
6.679 * [taylor]: Taking taylor expansion of (/ 1/2 (pow d 2)) in d
6.679 * [taylor]: Taking taylor expansion of 1/2 in d
6.679 * [taylor]: Taking taylor expansion of (pow d 2) in d
6.679 * [taylor]: Taking taylor expansion of d in d
6.679 * [taylor]: Taking taylor expansion of 0 in d
6.679 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (c d) around 0
6.679 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
6.679 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
6.679 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
6.679 * [taylor]: Taking taylor expansion of (pow c 2) in d
6.679 * [taylor]: Taking taylor expansion of c in d
6.679 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
6.679 * [taylor]: Taking taylor expansion of (pow d 2) in d
6.680 * [taylor]: Taking taylor expansion of d in d
6.680 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
6.680 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
6.680 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
6.680 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.680 * [taylor]: Taking taylor expansion of c in c
6.680 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
6.680 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.680 * [taylor]: Taking taylor expansion of d in c
6.680 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
6.680 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
6.680 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
6.680 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.680 * [taylor]: Taking taylor expansion of c in c
6.680 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
6.680 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.680 * [taylor]: Taking taylor expansion of d in c
6.680 * [taylor]: Taking taylor expansion of 1 in d
6.680 * [taylor]: Taking taylor expansion of 0 in d
6.681 * [taylor]: Taking taylor expansion of (/ 1/2 (pow d 2)) in d
6.681 * [taylor]: Taking taylor expansion of 1/2 in d
6.681 * [taylor]: Taking taylor expansion of (pow d 2) in d
6.681 * [taylor]: Taking taylor expansion of d in d
6.681 * [taylor]: Taking taylor expansion of 0 in d
6.681 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
6.681 * [approximate]: Taking taylor expansion of (* (- (* b c) (* d a)) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in (b c a d) around 0
6.681 * [taylor]: Taking taylor expansion of (* (- (* b c) (* d a)) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in d
6.681 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in d
6.682 * [taylor]: Taking taylor expansion of (* b c) in d
6.682 * [taylor]: Taking taylor expansion of b in d
6.682 * [taylor]: Taking taylor expansion of c in d
6.682 * [taylor]: Taking taylor expansion of (* d a) in d
6.682 * [taylor]: Taking taylor expansion of d in d
6.682 * [taylor]: Taking taylor expansion of a in d
6.682 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in d
6.682 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in d
6.682 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in d
6.682 * [taylor]: Taking taylor expansion of (pow d 2) in d
6.682 * [taylor]: Taking taylor expansion of d in d
6.682 * [taylor]: Taking taylor expansion of (pow c 2) in d
6.682 * [taylor]: Taking taylor expansion of c in d
6.682 * [taylor]: Taking taylor expansion of (* (- (* b c) (* d a)) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in a
6.682 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in a
6.682 * [taylor]: Taking taylor expansion of (* b c) in a
6.682 * [taylor]: Taking taylor expansion of b in a
6.682 * [taylor]: Taking taylor expansion of c in a
6.682 * [taylor]: Taking taylor expansion of (* d a) in a
6.682 * [taylor]: Taking taylor expansion of d in a
6.682 * [taylor]: Taking taylor expansion of a in a
6.682 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in a
6.682 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in a
6.682 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in a
6.682 * [taylor]: Taking taylor expansion of (pow d 2) in a
6.682 * [taylor]: Taking taylor expansion of d in a
6.682 * [taylor]: Taking taylor expansion of (pow c 2) in a
6.682 * [taylor]: Taking taylor expansion of c in a
6.683 * [taylor]: Taking taylor expansion of (* (- (* b c) (* d a)) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in c
6.683 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in c
6.683 * [taylor]: Taking taylor expansion of (* b c) in c
6.683 * [taylor]: Taking taylor expansion of b in c
6.683 * [taylor]: Taking taylor expansion of c in c
6.683 * [taylor]: Taking taylor expansion of (* d a) in c
6.683 * [taylor]: Taking taylor expansion of d in c
6.683 * [taylor]: Taking taylor expansion of a in c
6.683 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in c
6.683 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in c
6.683 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
6.683 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.683 * [taylor]: Taking taylor expansion of d in c
6.683 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.683 * [taylor]: Taking taylor expansion of c in c
6.684 * [taylor]: Taking taylor expansion of (* (- (* b c) (* d a)) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in b
6.684 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
6.684 * [taylor]: Taking taylor expansion of (* b c) in b
6.684 * [taylor]: Taking taylor expansion of b in b
6.684 * [taylor]: Taking taylor expansion of c in b
6.684 * [taylor]: Taking taylor expansion of (* d a) in b
6.684 * [taylor]: Taking taylor expansion of d in b
6.684 * [taylor]: Taking taylor expansion of a in b
6.684 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in b
6.684 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in b
6.684 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in b
6.684 * [taylor]: Taking taylor expansion of (pow d 2) in b
6.684 * [taylor]: Taking taylor expansion of d in b
6.684 * [taylor]: Taking taylor expansion of (pow c 2) in b
6.684 * [taylor]: Taking taylor expansion of c in b
6.685 * [taylor]: Taking taylor expansion of (* (- (* b c) (* d a)) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in b
6.685 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
6.685 * [taylor]: Taking taylor expansion of (* b c) in b
6.685 * [taylor]: Taking taylor expansion of b in b
6.685 * [taylor]: Taking taylor expansion of c in b
6.685 * [taylor]: Taking taylor expansion of (* d a) in b
6.685 * [taylor]: Taking taylor expansion of d in b
6.685 * [taylor]: Taking taylor expansion of a in b
6.685 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in b
6.685 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in b
6.685 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in b
6.685 * [taylor]: Taking taylor expansion of (pow d 2) in b
6.685 * [taylor]: Taking taylor expansion of d in b
6.685 * [taylor]: Taking taylor expansion of (pow c 2) in b
6.685 * [taylor]: Taking taylor expansion of c in b
6.686 * [taylor]: Taking taylor expansion of (* -1 (* (* d a) (sqrt (/ 1 (+ (pow d 2) (pow c 2)))))) in c
6.686 * [taylor]: Taking taylor expansion of -1 in c
6.686 * [taylor]: Taking taylor expansion of (* (* d a) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in c
6.686 * [taylor]: Taking taylor expansion of (* d a) in c
6.686 * [taylor]: Taking taylor expansion of d in c
6.686 * [taylor]: Taking taylor expansion of a in c
6.686 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in c
6.686 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in c
6.686 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
6.686 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.686 * [taylor]: Taking taylor expansion of d in c
6.686 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.686 * [taylor]: Taking taylor expansion of c in c
6.687 * [taylor]: Taking taylor expansion of (* -1 a) in a
6.687 * [taylor]: Taking taylor expansion of -1 in a
6.687 * [taylor]: Taking taylor expansion of a in a
6.687 * [taylor]: Taking taylor expansion of 0 in d
6.687 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) c) in c
6.687 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in c
6.687 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in c
6.687 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
6.687 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.687 * [taylor]: Taking taylor expansion of d in c
6.687 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.687 * [taylor]: Taking taylor expansion of c in c
6.688 * [taylor]: Taking taylor expansion of c in c
6.688 * [taylor]: Taking taylor expansion of 0 in a
6.688 * [taylor]: Taking taylor expansion of 0 in d
6.688 * [taylor]: Taking taylor expansion of 0 in a
6.688 * [taylor]: Taking taylor expansion of 0 in d
6.688 * [taylor]: Taking taylor expansion of (neg 1) in d
6.688 * [taylor]: Taking taylor expansion of 1 in d
6.689 * [taylor]: Taking taylor expansion of 0 in c
6.689 * [taylor]: Taking taylor expansion of 0 in a
6.689 * [taylor]: Taking taylor expansion of 0 in d
6.689 * [taylor]: Taking taylor expansion of (/ 1 d) in a
6.689 * [taylor]: Taking taylor expansion of d in a
6.689 * [taylor]: Taking taylor expansion of (/ 1 d) in d
6.689 * [taylor]: Taking taylor expansion of d in d
6.690 * [taylor]: Taking taylor expansion of (* 1/2 (/ a (pow d 2))) in a
6.690 * [taylor]: Taking taylor expansion of 1/2 in a
6.690 * [taylor]: Taking taylor expansion of (/ a (pow d 2)) in a
6.690 * [taylor]: Taking taylor expansion of a in a
6.690 * [taylor]: Taking taylor expansion of (pow d 2) in a
6.690 * [taylor]: Taking taylor expansion of d in a
6.690 * [taylor]: Taking taylor expansion of 0 in d
6.690 * [taylor]: Taking taylor expansion of 0 in d
6.690 * [taylor]: Taking taylor expansion of 0 in d
6.690 * [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
6.690 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in d
6.690 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
6.690 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
6.690 * [taylor]: Taking taylor expansion of (* b c) in d
6.690 * [taylor]: Taking taylor expansion of b in d
6.690 * [taylor]: Taking taylor expansion of c in d
6.691 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
6.691 * [taylor]: Taking taylor expansion of (* d a) in d
6.691 * [taylor]: Taking taylor expansion of d in d
6.691 * [taylor]: Taking taylor expansion of a in d
6.691 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in d
6.691 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
6.691 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
6.691 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
6.691 * [taylor]: Taking taylor expansion of (pow c 2) in d
6.691 * [taylor]: Taking taylor expansion of c in d
6.691 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
6.691 * [taylor]: Taking taylor expansion of (pow d 2) in d
6.691 * [taylor]: Taking taylor expansion of d in d
6.691 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in a
6.691 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
6.691 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
6.691 * [taylor]: Taking taylor expansion of (* b c) in a
6.691 * [taylor]: Taking taylor expansion of b in a
6.691 * [taylor]: Taking taylor expansion of c in a
6.691 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
6.691 * [taylor]: Taking taylor expansion of (* d a) in a
6.691 * [taylor]: Taking taylor expansion of d in a
6.691 * [taylor]: Taking taylor expansion of a in a
6.691 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in a
6.691 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in a
6.691 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in a
6.691 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in a
6.691 * [taylor]: Taking taylor expansion of (pow c 2) in a
6.691 * [taylor]: Taking taylor expansion of c in a
6.691 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
6.691 * [taylor]: Taking taylor expansion of (pow d 2) in a
6.691 * [taylor]: Taking taylor expansion of d in a
6.693 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in c
6.693 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
6.693 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
6.693 * [taylor]: Taking taylor expansion of (* b c) in c
6.693 * [taylor]: Taking taylor expansion of b in c
6.693 * [taylor]: Taking taylor expansion of c in c
6.693 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
6.693 * [taylor]: Taking taylor expansion of (* d a) in c
6.693 * [taylor]: Taking taylor expansion of d in c
6.693 * [taylor]: Taking taylor expansion of a in c
6.693 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
6.693 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
6.693 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
6.693 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
6.693 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.693 * [taylor]: Taking taylor expansion of c in c
6.693 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
6.693 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.693 * [taylor]: Taking taylor expansion of d in c
6.693 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in b
6.693 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
6.693 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
6.693 * [taylor]: Taking taylor expansion of (* b c) in b
6.693 * [taylor]: Taking taylor expansion of b in b
6.693 * [taylor]: Taking taylor expansion of c in b
6.693 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
6.693 * [taylor]: Taking taylor expansion of (* d a) in b
6.693 * [taylor]: Taking taylor expansion of d in b
6.693 * [taylor]: Taking taylor expansion of a in b
6.693 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in b
6.693 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
6.693 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
6.693 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
6.693 * [taylor]: Taking taylor expansion of (pow c 2) in b
6.694 * [taylor]: Taking taylor expansion of c in b
6.694 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
6.694 * [taylor]: Taking taylor expansion of (pow d 2) in b
6.694 * [taylor]: Taking taylor expansion of d in b
6.695 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in b
6.695 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
6.695 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
6.695 * [taylor]: Taking taylor expansion of (* b c) in b
6.695 * [taylor]: Taking taylor expansion of b in b
6.695 * [taylor]: Taking taylor expansion of c in b
6.695 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
6.695 * [taylor]: Taking taylor expansion of (* d a) in b
6.695 * [taylor]: Taking taylor expansion of d in b
6.695 * [taylor]: Taking taylor expansion of a in b
6.695 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in b
6.695 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
6.695 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
6.695 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
6.695 * [taylor]: Taking taylor expansion of (pow c 2) in b
6.695 * [taylor]: Taking taylor expansion of c in b
6.695 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
6.695 * [taylor]: Taking taylor expansion of (pow d 2) in b
6.695 * [taylor]: Taking taylor expansion of d in b
6.696 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) (/ 1 c)) in c
6.696 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
6.697 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
6.697 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
6.697 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
6.697 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.697 * [taylor]: Taking taylor expansion of c in c
6.697 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
6.697 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.697 * [taylor]: Taking taylor expansion of d in c
6.697 * [taylor]: Taking taylor expansion of (/ 1 c) in c
6.697 * [taylor]: Taking taylor expansion of c in c
6.697 * [taylor]: Taking taylor expansion of 1 in a
6.697 * [taylor]: Taking taylor expansion of (neg (* (/ 1 (* d a)) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))))) in c
6.697 * [taylor]: Taking taylor expansion of (* (/ 1 (* d a)) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in c
6.697 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
6.697 * [taylor]: Taking taylor expansion of (* d a) in c
6.697 * [taylor]: Taking taylor expansion of d in c
6.697 * [taylor]: Taking taylor expansion of a in c
6.697 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
6.697 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
6.697 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
6.698 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
6.698 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.698 * [taylor]: Taking taylor expansion of c in c
6.698 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
6.698 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.698 * [taylor]: Taking taylor expansion of d in c
6.698 * [taylor]: Taking taylor expansion of 0 in a
6.698 * [taylor]: Taking taylor expansion of 1 in d
6.699 * [taylor]: Taking taylor expansion of 0 in c
6.699 * [taylor]: Taking taylor expansion of 0 in a
6.699 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in a
6.699 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
6.699 * [taylor]: Taking taylor expansion of (* d a) in a
6.699 * [taylor]: Taking taylor expansion of d in a
6.699 * [taylor]: Taking taylor expansion of a in a
6.700 * [taylor]: Taking taylor expansion of (neg (/ 1 d)) in d
6.700 * [taylor]: Taking taylor expansion of (/ 1 d) in d
6.700 * [taylor]: Taking taylor expansion of d in d
6.700 * [taylor]: Taking taylor expansion of (neg (* 1/2 (/ 1 (pow d 2)))) in a
6.700 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow d 2))) in a
6.700 * [taylor]: Taking taylor expansion of 1/2 in a
6.700 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
6.700 * [taylor]: Taking taylor expansion of (pow d 2) in a
6.700 * [taylor]: Taking taylor expansion of d in a
6.700 * [taylor]: Taking taylor expansion of 0 in d
6.700 * [taylor]: Taking taylor expansion of 0 in d
6.702 * [taylor]: Taking taylor expansion of 0 in c
6.702 * [taylor]: Taking taylor expansion of 0 in a
6.702 * [taylor]: Taking taylor expansion of 0 in a
6.702 * [taylor]: Taking taylor expansion of 0 in a
6.703 * [taylor]: Taking taylor expansion of 0 in a
6.703 * [taylor]: Taking taylor expansion of 0 in d
6.703 * [taylor]: Taking taylor expansion of 0 in d
6.703 * [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
6.703 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in d
6.703 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
6.703 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
6.703 * [taylor]: Taking taylor expansion of (* b c) in d
6.703 * [taylor]: Taking taylor expansion of b in d
6.703 * [taylor]: Taking taylor expansion of c in d
6.704 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
6.704 * [taylor]: Taking taylor expansion of (* d a) in d
6.704 * [taylor]: Taking taylor expansion of d in d
6.704 * [taylor]: Taking taylor expansion of a in d
6.704 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in d
6.704 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
6.704 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
6.704 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
6.704 * [taylor]: Taking taylor expansion of (pow c 2) in d
6.704 * [taylor]: Taking taylor expansion of c in d
6.704 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
6.704 * [taylor]: Taking taylor expansion of (pow d 2) in d
6.704 * [taylor]: Taking taylor expansion of d in d
6.704 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in a
6.704 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
6.704 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
6.704 * [taylor]: Taking taylor expansion of (* b c) in a
6.704 * [taylor]: Taking taylor expansion of b in a
6.704 * [taylor]: Taking taylor expansion of c in a
6.704 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
6.704 * [taylor]: Taking taylor expansion of (* d a) in a
6.704 * [taylor]: Taking taylor expansion of d in a
6.704 * [taylor]: Taking taylor expansion of a in a
6.704 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in a
6.704 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in a
6.704 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in a
6.704 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in a
6.704 * [taylor]: Taking taylor expansion of (pow c 2) in a
6.704 * [taylor]: Taking taylor expansion of c in a
6.704 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
6.704 * [taylor]: Taking taylor expansion of (pow d 2) in a
6.704 * [taylor]: Taking taylor expansion of d in a
6.706 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in c
6.706 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
6.706 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
6.706 * [taylor]: Taking taylor expansion of (* b c) in c
6.706 * [taylor]: Taking taylor expansion of b in c
6.706 * [taylor]: Taking taylor expansion of c in c
6.706 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
6.706 * [taylor]: Taking taylor expansion of (* d a) in c
6.706 * [taylor]: Taking taylor expansion of d in c
6.706 * [taylor]: Taking taylor expansion of a in c
6.706 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
6.706 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
6.706 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
6.706 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
6.706 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.706 * [taylor]: Taking taylor expansion of c in c
6.706 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
6.706 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.706 * [taylor]: Taking taylor expansion of d in c
6.706 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in b
6.706 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
6.706 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
6.706 * [taylor]: Taking taylor expansion of (* b c) in b
6.706 * [taylor]: Taking taylor expansion of b in b
6.706 * [taylor]: Taking taylor expansion of c in b
6.706 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
6.706 * [taylor]: Taking taylor expansion of (* d a) in b
6.706 * [taylor]: Taking taylor expansion of d in b
6.706 * [taylor]: Taking taylor expansion of a in b
6.706 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in b
6.706 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
6.706 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
6.706 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
6.707 * [taylor]: Taking taylor expansion of (pow c 2) in b
6.707 * [taylor]: Taking taylor expansion of c in b
6.707 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
6.707 * [taylor]: Taking taylor expansion of (pow d 2) in b
6.707 * [taylor]: Taking taylor expansion of d in b
6.708 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in b
6.708 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
6.708 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
6.708 * [taylor]: Taking taylor expansion of (* b c) in b
6.708 * [taylor]: Taking taylor expansion of b in b
6.708 * [taylor]: Taking taylor expansion of c in b
6.708 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
6.708 * [taylor]: Taking taylor expansion of (* d a) in b
6.708 * [taylor]: Taking taylor expansion of d in b
6.708 * [taylor]: Taking taylor expansion of a in b
6.708 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in b
6.708 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
6.708 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
6.708 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
6.708 * [taylor]: Taking taylor expansion of (pow c 2) in b
6.708 * [taylor]: Taking taylor expansion of c in b
6.708 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
6.708 * [taylor]: Taking taylor expansion of (pow d 2) in b
6.708 * [taylor]: Taking taylor expansion of d in b
6.709 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) (/ 1 c)) in c
6.710 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
6.710 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
6.710 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
6.710 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
6.710 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.710 * [taylor]: Taking taylor expansion of c in c
6.710 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
6.710 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.710 * [taylor]: Taking taylor expansion of d in c
6.710 * [taylor]: Taking taylor expansion of (/ 1 c) in c
6.710 * [taylor]: Taking taylor expansion of c in c
6.710 * [taylor]: Taking taylor expansion of 1 in a
6.710 * [taylor]: Taking taylor expansion of (neg (* (/ 1 (* d a)) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))))) in c
6.710 * [taylor]: Taking taylor expansion of (* (/ 1 (* d a)) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in c
6.710 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
6.710 * [taylor]: Taking taylor expansion of (* d a) in c
6.710 * [taylor]: Taking taylor expansion of d in c
6.710 * [taylor]: Taking taylor expansion of a in c
6.710 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
6.710 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
6.711 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
6.711 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
6.711 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.711 * [taylor]: Taking taylor expansion of c in c
6.711 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
6.711 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.711 * [taylor]: Taking taylor expansion of d in c
6.711 * [taylor]: Taking taylor expansion of 0 in a
6.711 * [taylor]: Taking taylor expansion of 1 in d
6.712 * [taylor]: Taking taylor expansion of 0 in c
6.712 * [taylor]: Taking taylor expansion of 0 in a
6.712 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in a
6.712 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
6.712 * [taylor]: Taking taylor expansion of (* d a) in a
6.712 * [taylor]: Taking taylor expansion of d in a
6.712 * [taylor]: Taking taylor expansion of a in a
6.713 * [taylor]: Taking taylor expansion of (neg (/ 1 d)) in d
6.713 * [taylor]: Taking taylor expansion of (/ 1 d) in d
6.713 * [taylor]: Taking taylor expansion of d in d
6.713 * [taylor]: Taking taylor expansion of (neg (* 1/2 (/ 1 (pow d 2)))) in a
6.713 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow d 2))) in a
6.713 * [taylor]: Taking taylor expansion of 1/2 in a
6.713 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
6.713 * [taylor]: Taking taylor expansion of (pow d 2) in a
6.713 * [taylor]: Taking taylor expansion of d in a
6.713 * [taylor]: Taking taylor expansion of 0 in d
6.713 * [taylor]: Taking taylor expansion of 0 in d
6.715 * [taylor]: Taking taylor expansion of 0 in c
6.715 * [taylor]: Taking taylor expansion of 0 in a
6.715 * [taylor]: Taking taylor expansion of 0 in a
6.715 * [taylor]: Taking taylor expansion of 0 in a
6.716 * [taylor]: Taking taylor expansion of 0 in a
6.716 * [taylor]: Taking taylor expansion of 0 in d
6.716 * [taylor]: Taking taylor expansion of 0 in d
6.716 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
6.716 * [approximate]: Taking taylor expansion of (- (* b c) (* d a)) in (b c a d) around 0
6.716 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in d
6.716 * [taylor]: Taking taylor expansion of (* b c) in d
6.716 * [taylor]: Taking taylor expansion of b in d
6.716 * [taylor]: Taking taylor expansion of c in d
6.716 * [taylor]: Taking taylor expansion of (* d a) in d
6.716 * [taylor]: Taking taylor expansion of d in d
6.716 * [taylor]: Taking taylor expansion of a in d
6.716 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in a
6.716 * [taylor]: Taking taylor expansion of (* b c) in a
6.716 * [taylor]: Taking taylor expansion of b in a
6.716 * [taylor]: Taking taylor expansion of c in a
6.716 * [taylor]: Taking taylor expansion of (* d a) in a
6.716 * [taylor]: Taking taylor expansion of d in a
6.717 * [taylor]: Taking taylor expansion of a in a
6.717 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in c
6.717 * [taylor]: Taking taylor expansion of (* b c) in c
6.717 * [taylor]: Taking taylor expansion of b in c
6.717 * [taylor]: Taking taylor expansion of c in c
6.717 * [taylor]: Taking taylor expansion of (* d a) in c
6.717 * [taylor]: Taking taylor expansion of d in c
6.717 * [taylor]: Taking taylor expansion of a in c
6.717 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
6.717 * [taylor]: Taking taylor expansion of (* b c) in b
6.717 * [taylor]: Taking taylor expansion of b in b
6.717 * [taylor]: Taking taylor expansion of c in b
6.717 * [taylor]: Taking taylor expansion of (* d a) in b
6.717 * [taylor]: Taking taylor expansion of d in b
6.717 * [taylor]: Taking taylor expansion of a in b
6.717 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
6.717 * [taylor]: Taking taylor expansion of (* b c) in b
6.717 * [taylor]: Taking taylor expansion of b in b
6.717 * [taylor]: Taking taylor expansion of c in b
6.717 * [taylor]: Taking taylor expansion of (* d a) in b
6.717 * [taylor]: Taking taylor expansion of d in b
6.717 * [taylor]: Taking taylor expansion of a in b
6.717 * [taylor]: Taking taylor expansion of (neg (* d a)) in c
6.717 * [taylor]: Taking taylor expansion of (* d a) in c
6.717 * [taylor]: Taking taylor expansion of d in c
6.717 * [taylor]: Taking taylor expansion of a in c
6.717 * [taylor]: Taking taylor expansion of (neg (* d a)) in a
6.717 * [taylor]: Taking taylor expansion of (* d a) in a
6.717 * [taylor]: Taking taylor expansion of d in a
6.717 * [taylor]: Taking taylor expansion of a in a
6.717 * [taylor]: Taking taylor expansion of 0 in d
6.717 * [taylor]: Taking taylor expansion of c in c
6.717 * [taylor]: Taking taylor expansion of 0 in a
6.717 * [taylor]: Taking taylor expansion of 0 in d
6.717 * [taylor]: Taking taylor expansion of 0 in a
6.717 * [taylor]: Taking taylor expansion of 0 in d
6.717 * [taylor]: Taking taylor expansion of (neg d) in d
6.717 * [taylor]: Taking taylor expansion of d in d
6.718 * [taylor]: Taking taylor expansion of 0 in c
6.718 * [taylor]: Taking taylor expansion of 0 in a
6.718 * [taylor]: Taking taylor expansion of 0 in d
6.718 * [approximate]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in (b c a d) around 0
6.718 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
6.718 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
6.718 * [taylor]: Taking taylor expansion of (* b c) in d
6.718 * [taylor]: Taking taylor expansion of b in d
6.718 * [taylor]: Taking taylor expansion of c in d
6.718 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
6.718 * [taylor]: Taking taylor expansion of (* d a) in d
6.718 * [taylor]: Taking taylor expansion of d in d
6.718 * [taylor]: Taking taylor expansion of a in d
6.718 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
6.718 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
6.718 * [taylor]: Taking taylor expansion of (* b c) in a
6.718 * [taylor]: Taking taylor expansion of b in a
6.718 * [taylor]: Taking taylor expansion of c in a
6.718 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
6.718 * [taylor]: Taking taylor expansion of (* d a) in a
6.718 * [taylor]: Taking taylor expansion of d in a
6.718 * [taylor]: Taking taylor expansion of a in a
6.718 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
6.718 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
6.718 * [taylor]: Taking taylor expansion of (* b c) in c
6.718 * [taylor]: Taking taylor expansion of b in c
6.718 * [taylor]: Taking taylor expansion of c in c
6.718 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
6.718 * [taylor]: Taking taylor expansion of (* d a) in c
6.718 * [taylor]: Taking taylor expansion of d in c
6.718 * [taylor]: Taking taylor expansion of a in c
6.719 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
6.719 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
6.719 * [taylor]: Taking taylor expansion of (* b c) in b
6.719 * [taylor]: Taking taylor expansion of b in b
6.719 * [taylor]: Taking taylor expansion of c in b
6.719 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
6.719 * [taylor]: Taking taylor expansion of (* d a) in b
6.719 * [taylor]: Taking taylor expansion of d in b
6.719 * [taylor]: Taking taylor expansion of a in b
6.719 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
6.719 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
6.719 * [taylor]: Taking taylor expansion of (* b c) in b
6.719 * [taylor]: Taking taylor expansion of b in b
6.719 * [taylor]: Taking taylor expansion of c in b
6.719 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
6.719 * [taylor]: Taking taylor expansion of (* d a) in b
6.719 * [taylor]: Taking taylor expansion of d in b
6.719 * [taylor]: Taking taylor expansion of a in b
6.719 * [taylor]: Taking taylor expansion of (/ 1 c) in c
6.719 * [taylor]: Taking taylor expansion of c in c
6.719 * [taylor]: Taking taylor expansion of 1 in a
6.719 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in c
6.719 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
6.719 * [taylor]: Taking taylor expansion of (* d a) in c
6.719 * [taylor]: Taking taylor expansion of d in c
6.719 * [taylor]: Taking taylor expansion of a in c
6.719 * [taylor]: Taking taylor expansion of 0 in a
6.719 * [taylor]: Taking taylor expansion of 1 in d
6.720 * [taylor]: Taking taylor expansion of 0 in c
6.720 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in a
6.720 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
6.720 * [taylor]: Taking taylor expansion of (* d a) in a
6.720 * [taylor]: Taking taylor expansion of d in a
6.720 * [taylor]: Taking taylor expansion of a in a
6.720 * [taylor]: Taking taylor expansion of (neg (/ 1 d)) in d
6.720 * [taylor]: Taking taylor expansion of (/ 1 d) in d
6.720 * [taylor]: Taking taylor expansion of d in d
6.720 * [taylor]: Taking taylor expansion of 0 in a
6.720 * [taylor]: Taking taylor expansion of 0 in d
6.720 * [taylor]: Taking taylor expansion of 0 in d
6.720 * [taylor]: Taking taylor expansion of 0 in c
6.720 * [taylor]: Taking taylor expansion of 0 in a
6.720 * [taylor]: Taking taylor expansion of 0 in a
6.721 * [taylor]: Taking taylor expansion of 0 in a
6.721 * [taylor]: Taking taylor expansion of 0 in d
6.721 * [taylor]: Taking taylor expansion of 0 in d
6.721 * [taylor]: Taking taylor expansion of 0 in d
6.721 * [taylor]: Taking taylor expansion of 0 in d
6.721 * [taylor]: Taking taylor expansion of 0 in c
6.721 * [taylor]: Taking taylor expansion of 0 in a
6.721 * [taylor]: Taking taylor expansion of 0 in a
6.721 * [taylor]: Taking taylor expansion of 0 in a
6.721 * [taylor]: Taking taylor expansion of 0 in a
6.721 * [taylor]: Taking taylor expansion of 0 in d
6.722 * [taylor]: Taking taylor expansion of 0 in d
6.722 * [taylor]: Taking taylor expansion of 0 in d
6.722 * [taylor]: Taking taylor expansion of 0 in d
6.722 * [taylor]: Taking taylor expansion of 0 in d
6.722 * [taylor]: Taking taylor expansion of 0 in d
6.722 * [taylor]: Taking taylor expansion of 0 in d
6.722 * [approximate]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in (b c a d) around 0
6.722 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
6.722 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
6.722 * [taylor]: Taking taylor expansion of (* b c) in d
6.722 * [taylor]: Taking taylor expansion of b in d
6.722 * [taylor]: Taking taylor expansion of c in d
6.722 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
6.722 * [taylor]: Taking taylor expansion of (* d a) in d
6.722 * [taylor]: Taking taylor expansion of d in d
6.722 * [taylor]: Taking taylor expansion of a in d
6.722 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
6.722 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
6.722 * [taylor]: Taking taylor expansion of (* b c) in a
6.722 * [taylor]: Taking taylor expansion of b in a
6.722 * [taylor]: Taking taylor expansion of c in a
6.722 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
6.723 * [taylor]: Taking taylor expansion of (* d a) in a
6.723 * [taylor]: Taking taylor expansion of d in a
6.723 * [taylor]: Taking taylor expansion of a in a
6.723 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
6.723 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
6.723 * [taylor]: Taking taylor expansion of (* b c) in c
6.723 * [taylor]: Taking taylor expansion of b in c
6.723 * [taylor]: Taking taylor expansion of c in c
6.723 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
6.723 * [taylor]: Taking taylor expansion of (* d a) in c
6.723 * [taylor]: Taking taylor expansion of d in c
6.723 * [taylor]: Taking taylor expansion of a in c
6.723 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
6.723 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
6.723 * [taylor]: Taking taylor expansion of (* b c) in b
6.723 * [taylor]: Taking taylor expansion of b in b
6.723 * [taylor]: Taking taylor expansion of c in b
6.723 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
6.723 * [taylor]: Taking taylor expansion of (* d a) in b
6.723 * [taylor]: Taking taylor expansion of d in b
6.723 * [taylor]: Taking taylor expansion of a in b
6.723 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
6.723 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
6.723 * [taylor]: Taking taylor expansion of (* b c) in b
6.723 * [taylor]: Taking taylor expansion of b in b
6.723 * [taylor]: Taking taylor expansion of c in b
6.723 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
6.723 * [taylor]: Taking taylor expansion of (* d a) in b
6.723 * [taylor]: Taking taylor expansion of d in b
6.723 * [taylor]: Taking taylor expansion of a in b
6.723 * [taylor]: Taking taylor expansion of (/ 1 c) in c
6.723 * [taylor]: Taking taylor expansion of c in c
6.723 * [taylor]: Taking taylor expansion of 1 in a
6.724 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in c
6.724 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
6.724 * [taylor]: Taking taylor expansion of (* d a) in c
6.724 * [taylor]: Taking taylor expansion of d in c
6.724 * [taylor]: Taking taylor expansion of a in c
6.724 * [taylor]: Taking taylor expansion of 0 in a
6.724 * [taylor]: Taking taylor expansion of 1 in d
6.724 * [taylor]: Taking taylor expansion of 0 in c
6.724 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in a
6.724 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
6.724 * [taylor]: Taking taylor expansion of (* d a) in a
6.724 * [taylor]: Taking taylor expansion of d in a
6.724 * [taylor]: Taking taylor expansion of a in a
6.724 * [taylor]: Taking taylor expansion of (neg (/ 1 d)) in d
6.724 * [taylor]: Taking taylor expansion of (/ 1 d) in d
6.724 * [taylor]: Taking taylor expansion of d in d
6.724 * [taylor]: Taking taylor expansion of 0 in a
6.724 * [taylor]: Taking taylor expansion of 0 in d
6.724 * [taylor]: Taking taylor expansion of 0 in d
6.725 * [taylor]: Taking taylor expansion of 0 in c
6.725 * [taylor]: Taking taylor expansion of 0 in a
6.725 * [taylor]: Taking taylor expansion of 0 in a
6.725 * [taylor]: Taking taylor expansion of 0 in a
6.725 * [taylor]: Taking taylor expansion of 0 in d
6.725 * [taylor]: Taking taylor expansion of 0 in d
6.725 * [taylor]: Taking taylor expansion of 0 in d
6.725 * [taylor]: Taking taylor expansion of 0 in d
6.725 * [taylor]: Taking taylor expansion of 0 in c
6.725 * [taylor]: Taking taylor expansion of 0 in a
6.726 * [taylor]: Taking taylor expansion of 0 in a
6.726 * [taylor]: Taking taylor expansion of 0 in a
6.726 * [taylor]: Taking taylor expansion of 0 in a
6.726 * [taylor]: Taking taylor expansion of 0 in d
6.726 * [taylor]: Taking taylor expansion of 0 in d
6.726 * [taylor]: Taking taylor expansion of 0 in d
6.726 * [taylor]: Taking taylor expansion of 0 in d
6.726 * [taylor]: Taking taylor expansion of 0 in d
6.726 * [taylor]: Taking taylor expansion of 0 in d
6.726 * [taylor]: Taking taylor expansion of 0 in d
6.726 * * * [progress]: simplifying candidates
6.728 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (sqrt (+ (* c c) (* d d))))
  (exp (sqrt (+ (* c c) (* d d))))
  (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (cbrt (sqrt (+ (* c c) (* d d))))
  (* (* (sqrt (+ (* c c) (* d d))) (sqrt (+ (* c c) (* d d)))) (sqrt (+ (* c c) (* d d))))
  (sqrt (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d)))))
  (sqrt (cbrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt 1)
  (sqrt (+ (* c c) (* d d)))
  (sqrt (+ (pow (* c c) 3) (pow (* d d) 3)))
  (sqrt (+ (* (* c c) (* c c)) (- (* (* d d) (* d d)) (* (* c c) (* d d)))))
  (sqrt (- (* (* c c) (* c c)) (* (* d d) (* d d))))
  (sqrt (- (* c c) (* d d)))
  (/ 1 2)
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (log (sqrt (+ (* c c) (* d d))))
  (exp (sqrt (+ (* c c) (* d d))))
  (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (cbrt (sqrt (+ (* c c) (* d d))))
  (* (* (sqrt (+ (* c c) (* d d))) (sqrt (+ (* c c) (* d d)))) (sqrt (+ (* c c) (* d d))))
  (sqrt (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d)))))
  (sqrt (cbrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt 1)
  (sqrt (+ (* c c) (* d d)))
  (sqrt (+ (pow (* c c) 3) (pow (* d d) 3)))
  (sqrt (+ (* (* c c) (* c c)) (- (* (* d d) (* d d)) (* (* c c) (* d d)))))
  (sqrt (- (* (* c c) (* c c)) (* (* d d) (* d d))))
  (sqrt (- (* c c) (* d d)))
  (/ 1 2)
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (- (log (- (* b c) (* a d))) (log (sqrt (+ (* c c) (* d d)))))
  (log (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (exp (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (/ (* (* (- (* b c) (* a d)) (- (* b c) (* a d))) (- (* b c) (* a d))) (* (* (sqrt (+ (* c c) (* d d))) (sqrt (+ (* c c) (* d d)))) (sqrt (+ (* c c) (* d d)))))
  (* (cbrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))) (cbrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))))
  (cbrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (* (* (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))) (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (sqrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (sqrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (neg (- (* b c) (* a d)))
  (neg (sqrt (+ (* c c) (* d d))))
  (/ (* b c) (sqrt (+ (* c c) (* d d))))
  (/ (* a d) (sqrt (+ (* c c) (* d d))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (cbrt (- (* b c) (* a d))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (sqrt (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d))))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (cbrt (+ (* c c) (* d d)))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (sqrt 1))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) 1)
  (/ (cbrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (- (* b c) (* a d))) (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (sqrt (- (* b c) (* a d))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d))))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (cbrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt 1))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) 1)
  (/ (sqrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ 1 (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (- (* b c) (* a d)) (cbrt (sqrt (+ (* c c) (* d d)))))
  (/ 1 (sqrt (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d))))))
  (/ (- (* b c) (* a d)) (sqrt (cbrt (+ (* c c) (* d d)))))
  (/ 1 (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ 1 (sqrt 1))
  (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
  (/ 1 (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ 1 1)
  (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
  (/ 1 (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))
  (/ (- (* b c) (* a d)) (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (- (* b c) (* a d)) (sqrt (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d))))))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt 1))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) 1)
  (/ (sqrt (+ (* c c) (* d d))) (cbrt (- (* b c) (* a d))))
  (/ (sqrt (+ (* c c) (* d d))) (sqrt (- (* b c) (* a d))))
  (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))
  (/ (- (* b c) (* a d)) (sqrt (+ (pow (* c c) 3) (pow (* d d) 3))))
  (/ (- (* b c) (* a d)) (sqrt (- (* (* c c) (* c c)) (* (* d d) (* d d)))))
  (* (sqrt (+ (* c c) (* d d))) (+ (* (* b c) (* b c)) (+ (* (* a d) (* a d)) (* (* b c) (* a d)))))
  (* (sqrt (+ (* c c) (* d d))) (+ (* b c) (* a d)))
  (/ (exp (* b c)) (exp (* a d)))
  (log (- (* b c) (* a d)))
  (exp (- (* b c) (* a d)))
  (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d))))
  (cbrt (- (* b c) (* a d)))
  (* (* (- (* b c) (* a d)) (- (* b c) (* a d))) (- (* b c) (* a d)))
  (sqrt (- (* b c) (* a d)))
  (sqrt (- (* b c) (* a d)))
  (- (pow (* b c) 3) (pow (* a d) 3))
  (+ (* (* b c) (* b c)) (+ (* (* a d) (* a d)) (* (* b c) (* a d))))
  (neg (* a d))
  (- (* (* b c) (* b c)) (* (* a d) (* a d)))
  (+ (* b c) (* a d))
  (neg (* a d))
  d
  c
  (* -1 c)
  d
  c
  (* -1 c)
  (* -1 a)
  b
  (* -1 b)
  0
  (- (* b c) (* d a))
  (- (* b c) (* d a))
6.733 * * [simplify]: iteration  0 :  304  enodes  (cost  910 )
6.739 * * [simplify]: iteration  1 :  990  enodes  (cost  857 )
6.756 * * [simplify]: iteration  2 :  3340  enodes  (cost  845 )
6.818 * * [simplify]: iteration  3 :  5003  enodes  (cost  845 )
6.823 * [simplify]: Simplified to:
   (log (sqrt (+ (* c c) (* d d))))
  (exp (sqrt (+ (* c c) (* d d))))
  (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (cbrt (sqrt (+ (* c c) (* d d))))
  (pow (sqrt (+ (* c c) (* d d))) 3)
  (fabs (cbrt (+ (* c c) (* d d))))
  (sqrt (cbrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  1
  (sqrt (+ (* c c) (* d d)))
  (sqrt (+ (pow (* c c) 3) (pow (* d d) 3)))
  (sqrt (+ (* (* c c) (* c c)) (- (* (* d d) (* d d)) (* (* c c) (* d d)))))
  (sqrt (- (* (* c c) (* c c)) (* (* d d) (* d d))))
  (sqrt (- (* c c) (* d d)))
  1/2
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (log (sqrt (+ (* c c) (* d d))))
  (exp (sqrt (+ (* c c) (* d d))))
  (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (cbrt (sqrt (+ (* c c) (* d d))))
  (pow (sqrt (+ (* c c) (* d d))) 3)
  (fabs (cbrt (+ (* c c) (* d d))))
  (sqrt (cbrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  1
  (sqrt (+ (* c c) (* d d)))
  (sqrt (+ (pow (* c c) 3) (pow (* d d) 3)))
  (sqrt (+ (* (* c c) (* c c)) (- (* (* d d) (* d d)) (* (* c c) (* d d)))))
  (sqrt (- (* (* c c) (* c c)) (* (* d d) (* d d))))
  (sqrt (- (* c c) (* d d)))
  1/2
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (log (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (log (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (exp (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (pow (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) 3)
  (* (cbrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))) (cbrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))))
  (cbrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (pow (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) 3)
  (sqrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (sqrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (neg (- (* b c) (* a d)))
  (neg (sqrt (+ (* c c) (* d d))))
  (/ (* b c) (sqrt (+ (* c c) (* d d))))
  (/ (* a d) (sqrt (+ (* c c) (* d d))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (cbrt (- (* b c) (* a d))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (/ (cbrt (- (* b c) (* a d))) (/ (fabs (cbrt (+ (* c c) (* d d)))) (cbrt (- (* b c) (* a d)))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (cbrt (+ (* c c) (* d d)))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (- (* b c) (* a d))) (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (sqrt (- (* b c) (* a d))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (fabs (cbrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (cbrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (sqrt (- (* b c) (* a d)))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (sqrt (- (* b c) (* a d)))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ 1 (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (- (* b c) (* a d)) (cbrt (sqrt (+ (* c c) (* d d)))))
  (/ 1 (* (fabs (cbrt (+ (* c c) (* d d)))) 1))
  (/ (- (* b c) (* a d)) (sqrt (cbrt (+ (* c c) (* d d)))))
  (/ 1 (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  1
  (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
  (/ 1 (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  1
  (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
  (/ 1 (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))
  (/ (- (* b c) (* a d)) (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (- (* b c) (* a d)) (fabs (cbrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  (- (* b c) (* a d))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  (- (* b c) (* a d))
  (/ (sqrt (+ (* c c) (* d d))) (cbrt (- (* b c) (* a d))))
  (/ (sqrt (+ (* c c) (* d d))) (sqrt (- (* b c) (* a d))))
  (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))
  (/ (- (* b c) (* a d)) (sqrt (+ (pow (* c c) 3) (pow (* d d) 3))))
  (/ (- (* b c) (* a d)) (sqrt (- (* (* c c) (* c c)) (* (* d d) (* d d)))))
  (* (+ (* (* a d) (+ (* a d) (* b c))) (* (* b c) (* b c))) (sqrt (+ (* c c) (* d d))))
  (* (sqrt (+ (* c c) (* d d))) (+ (* b c) (* a d)))
  (exp (- (* b c) (* a d)))
  (log (- (* b c) (* a d)))
  (exp (- (* b c) (* a d)))
  (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d))))
  (cbrt (- (* b c) (* a d)))
  (pow (- (* b c) (* a d)) 3)
  (sqrt (- (* b c) (* a d)))
  (sqrt (- (* b c) (* a d)))
  (- (pow (* b c) 3) (pow (* a d) 3))
  (+ (* (* a d) (+ (* a d) (* b c))) (* (* b c) (* b c)))
  (neg (* a d))
  (- (* (* b c) (* b c)) (* (* a d) (* a d)))
  (+ (* b c) (* a d))
  (neg (* a d))
  d
  c
  (* -1 c)
  d
  c
  (* -1 c)
  (* -1 a)
  b
  (* -1 b)
  0
  (- (* b c) (* a d))
  (- (* b c) (* a d))
6.824 * * * [progress]: adding candidates to table
6.911 * * [progress]: iteration 3 / 4
6.911 * * * [progress]: picking best candidate
6.950 * * * * [pick]: Picked  #<alt (λ (a b c d) (/ (/ 1 (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))) (sqrt (+ (* c c) (* d d)))))>
6.950 * * * [progress]: localizing error
6.965 * * * [progress]: generating rewritten candidates
6.965 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
6.969 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1)
6.972 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
6.981 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2)
6.986 * * * [progress]: generating series expansions
6.986 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
6.987 * [approximate]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in (c d) around 0
6.987 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in d
6.987 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in d
6.987 * [taylor]: Taking taylor expansion of (pow d 2) in d
6.987 * [taylor]: Taking taylor expansion of d in d
6.987 * [taylor]: Taking taylor expansion of (pow c 2) in d
6.987 * [taylor]: Taking taylor expansion of c in d
6.987 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
6.987 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
6.987 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.987 * [taylor]: Taking taylor expansion of d in c
6.987 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.987 * [taylor]: Taking taylor expansion of c in c
6.987 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
6.987 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
6.987 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.987 * [taylor]: Taking taylor expansion of d in c
6.987 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.987 * [taylor]: Taking taylor expansion of c in c
6.988 * [taylor]: Taking taylor expansion of d in d
6.988 * [taylor]: Taking taylor expansion of 0 in d
6.988 * [taylor]: Taking taylor expansion of (/ 1/2 d) in d
6.988 * [taylor]: Taking taylor expansion of 1/2 in d
6.988 * [taylor]: Taking taylor expansion of d in d
6.988 * [taylor]: Taking taylor expansion of 0 in d
6.988 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (c d) around 0
6.988 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
6.988 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
6.988 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
6.988 * [taylor]: Taking taylor expansion of (pow c 2) in d
6.988 * [taylor]: Taking taylor expansion of c in d
6.988 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
6.988 * [taylor]: Taking taylor expansion of (pow d 2) in d
6.988 * [taylor]: Taking taylor expansion of d in d
6.989 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
6.989 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
6.989 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
6.989 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.989 * [taylor]: Taking taylor expansion of c in c
6.989 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
6.989 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.989 * [taylor]: Taking taylor expansion of d in c
6.989 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
6.989 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
6.989 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
6.989 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.989 * [taylor]: Taking taylor expansion of c in c
6.989 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
6.989 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.989 * [taylor]: Taking taylor expansion of d in c
6.989 * [taylor]: Taking taylor expansion of 1 in d
6.989 * [taylor]: Taking taylor expansion of 0 in d
6.990 * [taylor]: Taking taylor expansion of (/ 1/2 (pow d 2)) in d
6.990 * [taylor]: Taking taylor expansion of 1/2 in d
6.990 * [taylor]: Taking taylor expansion of (pow d 2) in d
6.990 * [taylor]: Taking taylor expansion of d in d
6.990 * [taylor]: Taking taylor expansion of 0 in d
6.990 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (c d) around 0
6.990 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
6.990 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
6.990 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
6.990 * [taylor]: Taking taylor expansion of (pow c 2) in d
6.990 * [taylor]: Taking taylor expansion of c in d
6.991 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
6.991 * [taylor]: Taking taylor expansion of (pow d 2) in d
6.991 * [taylor]: Taking taylor expansion of d in d
6.991 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
6.991 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
6.991 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
6.991 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.991 * [taylor]: Taking taylor expansion of c in c
6.991 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
6.991 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.991 * [taylor]: Taking taylor expansion of d in c
6.991 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
6.991 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
6.991 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
6.991 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.991 * [taylor]: Taking taylor expansion of c in c
6.991 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
6.991 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.991 * [taylor]: Taking taylor expansion of d in c
6.991 * [taylor]: Taking taylor expansion of 1 in d
6.991 * [taylor]: Taking taylor expansion of 0 in d
6.992 * [taylor]: Taking taylor expansion of (/ 1/2 (pow d 2)) in d
6.992 * [taylor]: Taking taylor expansion of 1/2 in d
6.992 * [taylor]: Taking taylor expansion of (pow d 2) in d
6.992 * [taylor]: Taking taylor expansion of d in d
6.992 * [taylor]: Taking taylor expansion of 0 in d
6.992 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1)
6.992 * [approximate]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in (c d) around 0
6.992 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in d
6.992 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in d
6.992 * [taylor]: Taking taylor expansion of (pow d 2) in d
6.992 * [taylor]: Taking taylor expansion of d in d
6.993 * [taylor]: Taking taylor expansion of (pow c 2) in d
6.993 * [taylor]: Taking taylor expansion of c in d
6.993 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
6.993 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
6.993 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.993 * [taylor]: Taking taylor expansion of d in c
6.993 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.993 * [taylor]: Taking taylor expansion of c in c
6.993 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
6.993 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
6.993 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.993 * [taylor]: Taking taylor expansion of d in c
6.993 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.993 * [taylor]: Taking taylor expansion of c in c
6.993 * [taylor]: Taking taylor expansion of d in d
6.993 * [taylor]: Taking taylor expansion of 0 in d
6.994 * [taylor]: Taking taylor expansion of (/ 1/2 d) in d
6.994 * [taylor]: Taking taylor expansion of 1/2 in d
6.994 * [taylor]: Taking taylor expansion of d in d
6.994 * [taylor]: Taking taylor expansion of 0 in d
6.994 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (c d) around 0
6.994 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
6.994 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
6.994 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
6.994 * [taylor]: Taking taylor expansion of (pow c 2) in d
6.994 * [taylor]: Taking taylor expansion of c in d
6.994 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
6.994 * [taylor]: Taking taylor expansion of (pow d 2) in d
6.994 * [taylor]: Taking taylor expansion of d in d
6.994 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
6.994 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
6.994 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
6.994 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.994 * [taylor]: Taking taylor expansion of c in c
6.995 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
6.995 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.995 * [taylor]: Taking taylor expansion of d in c
6.995 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
6.995 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
6.995 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
6.995 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.995 * [taylor]: Taking taylor expansion of c in c
6.995 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
6.995 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.995 * [taylor]: Taking taylor expansion of d in c
6.995 * [taylor]: Taking taylor expansion of 1 in d
6.995 * [taylor]: Taking taylor expansion of 0 in d
6.995 * [taylor]: Taking taylor expansion of (/ 1/2 (pow d 2)) in d
6.995 * [taylor]: Taking taylor expansion of 1/2 in d
6.995 * [taylor]: Taking taylor expansion of (pow d 2) in d
6.995 * [taylor]: Taking taylor expansion of d in d
6.996 * [taylor]: Taking taylor expansion of 0 in d
6.996 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (c d) around 0
6.996 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
6.996 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
6.996 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
6.996 * [taylor]: Taking taylor expansion of (pow c 2) in d
6.996 * [taylor]: Taking taylor expansion of c in d
6.996 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
6.996 * [taylor]: Taking taylor expansion of (pow d 2) in d
6.996 * [taylor]: Taking taylor expansion of d in d
6.996 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
6.996 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
6.997 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
6.997 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.997 * [taylor]: Taking taylor expansion of c in c
6.997 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
6.997 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.997 * [taylor]: Taking taylor expansion of d in c
6.997 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
6.997 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
6.997 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
6.997 * [taylor]: Taking taylor expansion of (pow c 2) in c
6.997 * [taylor]: Taking taylor expansion of c in c
6.997 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
6.997 * [taylor]: Taking taylor expansion of (pow d 2) in c
6.997 * [taylor]: Taking taylor expansion of d in c
6.997 * [taylor]: Taking taylor expansion of 1 in d
6.997 * [taylor]: Taking taylor expansion of 0 in d
6.997 * [taylor]: Taking taylor expansion of (/ 1/2 (pow d 2)) in d
6.997 * [taylor]: Taking taylor expansion of 1/2 in d
6.997 * [taylor]: Taking taylor expansion of (pow d 2) in d
6.997 * [taylor]: Taking taylor expansion of d in d
6.998 * [taylor]: Taking taylor expansion of 0 in d
6.998 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
6.998 * [approximate]: Taking taylor expansion of (* (/ 1 (- (* b c) (* d a))) (sqrt (+ (pow d 2) (pow c 2)))) in (c d b a) around 0
6.998 * [taylor]: Taking taylor expansion of (* (/ 1 (- (* b c) (* d a))) (sqrt (+ (pow d 2) (pow c 2)))) in a
6.998 * [taylor]: Taking taylor expansion of (/ 1 (- (* b c) (* d a))) in a
6.998 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in a
6.998 * [taylor]: Taking taylor expansion of (* b c) in a
6.998 * [taylor]: Taking taylor expansion of b in a
6.998 * [taylor]: Taking taylor expansion of c in a
6.998 * [taylor]: Taking taylor expansion of (* d a) in a
6.998 * [taylor]: Taking taylor expansion of d in a
6.998 * [taylor]: Taking taylor expansion of a in a
6.999 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in a
6.999 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in a
6.999 * [taylor]: Taking taylor expansion of (pow d 2) in a
6.999 * [taylor]: Taking taylor expansion of d in a
6.999 * [taylor]: Taking taylor expansion of (pow c 2) in a
6.999 * [taylor]: Taking taylor expansion of c in a
6.999 * [taylor]: Taking taylor expansion of (* (/ 1 (- (* b c) (* d a))) (sqrt (+ (pow d 2) (pow c 2)))) in b
6.999 * [taylor]: Taking taylor expansion of (/ 1 (- (* b c) (* d a))) in b
6.999 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
6.999 * [taylor]: Taking taylor expansion of (* b c) in b
6.999 * [taylor]: Taking taylor expansion of b in b
6.999 * [taylor]: Taking taylor expansion of c in b
6.999 * [taylor]: Taking taylor expansion of (* d a) in b
6.999 * [taylor]: Taking taylor expansion of d in b
6.999 * [taylor]: Taking taylor expansion of a in b
6.999 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in b
6.999 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in b
6.999 * [taylor]: Taking taylor expansion of (pow d 2) in b
6.999 * [taylor]: Taking taylor expansion of d in b
6.999 * [taylor]: Taking taylor expansion of (pow c 2) in b
6.999 * [taylor]: Taking taylor expansion of c in b
7.000 * [taylor]: Taking taylor expansion of (* (/ 1 (- (* b c) (* d a))) (sqrt (+ (pow d 2) (pow c 2)))) in d
7.000 * [taylor]: Taking taylor expansion of (/ 1 (- (* b c) (* d a))) in d
7.000 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in d
7.000 * [taylor]: Taking taylor expansion of (* b c) in d
7.000 * [taylor]: Taking taylor expansion of b in d
7.000 * [taylor]: Taking taylor expansion of c in d
7.000 * [taylor]: Taking taylor expansion of (* d a) in d
7.000 * [taylor]: Taking taylor expansion of d in d
7.000 * [taylor]: Taking taylor expansion of a in d
7.000 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in d
7.000 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in d
7.000 * [taylor]: Taking taylor expansion of (pow d 2) in d
7.000 * [taylor]: Taking taylor expansion of d in d
7.000 * [taylor]: Taking taylor expansion of (pow c 2) in d
7.000 * [taylor]: Taking taylor expansion of c in d
7.000 * [taylor]: Taking taylor expansion of (* (/ 1 (- (* b c) (* d a))) (sqrt (+ (pow d 2) (pow c 2)))) in c
7.000 * [taylor]: Taking taylor expansion of (/ 1 (- (* b c) (* d a))) in c
7.000 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in c
7.000 * [taylor]: Taking taylor expansion of (* b c) in c
7.000 * [taylor]: Taking taylor expansion of b in c
7.000 * [taylor]: Taking taylor expansion of c in c
7.000 * [taylor]: Taking taylor expansion of (* d a) in c
7.000 * [taylor]: Taking taylor expansion of d in c
7.001 * [taylor]: Taking taylor expansion of a in c
7.001 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
7.001 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
7.001 * [taylor]: Taking taylor expansion of (pow d 2) in c
7.001 * [taylor]: Taking taylor expansion of d in c
7.001 * [taylor]: Taking taylor expansion of (pow c 2) in c
7.001 * [taylor]: Taking taylor expansion of c in c
7.001 * [taylor]: Taking taylor expansion of (* (/ 1 (- (* b c) (* d a))) (sqrt (+ (pow d 2) (pow c 2)))) in c
7.001 * [taylor]: Taking taylor expansion of (/ 1 (- (* b c) (* d a))) in c
7.001 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in c
7.001 * [taylor]: Taking taylor expansion of (* b c) in c
7.001 * [taylor]: Taking taylor expansion of b in c
7.001 * [taylor]: Taking taylor expansion of c in c
7.001 * [taylor]: Taking taylor expansion of (* d a) in c
7.001 * [taylor]: Taking taylor expansion of d in c
7.001 * [taylor]: Taking taylor expansion of a in c
7.001 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
7.001 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
7.001 * [taylor]: Taking taylor expansion of (pow d 2) in c
7.001 * [taylor]: Taking taylor expansion of d in c
7.001 * [taylor]: Taking taylor expansion of (pow c 2) in c
7.001 * [taylor]: Taking taylor expansion of c in c
7.002 * [taylor]: Taking taylor expansion of (/ -1 a) in d
7.002 * [taylor]: Taking taylor expansion of -1 in d
7.002 * [taylor]: Taking taylor expansion of a in d
7.002 * [taylor]: Taking taylor expansion of (/ -1 a) in b
7.002 * [taylor]: Taking taylor expansion of -1 in b
7.002 * [taylor]: Taking taylor expansion of a in b
7.002 * [taylor]: Taking taylor expansion of (/ -1 a) in a
7.002 * [taylor]: Taking taylor expansion of -1 in a
7.002 * [taylor]: Taking taylor expansion of a in a
7.002 * [taylor]: Taking taylor expansion of (neg (/ b (* d (pow a 2)))) in d
7.002 * [taylor]: Taking taylor expansion of (/ b (* d (pow a 2))) in d
7.002 * [taylor]: Taking taylor expansion of b in d
7.002 * [taylor]: Taking taylor expansion of (* d (pow a 2)) in d
7.002 * [taylor]: Taking taylor expansion of d in d
7.002 * [taylor]: Taking taylor expansion of (pow a 2) in d
7.002 * [taylor]: Taking taylor expansion of a in d
7.003 * [taylor]: Taking taylor expansion of 0 in b
7.003 * [taylor]: Taking taylor expansion of 0 in a
7.003 * [taylor]: Taking taylor expansion of 0 in b
7.003 * [taylor]: Taking taylor expansion of 0 in a
7.003 * [taylor]: Taking taylor expansion of 0 in a
7.004 * [taylor]: Taking taylor expansion of (neg (+ (/ (pow b 2) (* (pow d 2) (pow a 3))) (* 1/2 (/ 1 (* (pow d 2) a))))) in d
7.004 * [taylor]: Taking taylor expansion of (+ (/ (pow b 2) (* (pow d 2) (pow a 3))) (* 1/2 (/ 1 (* (pow d 2) a)))) in d
7.004 * [taylor]: Taking taylor expansion of (/ (pow b 2) (* (pow d 2) (pow a 3))) in d
7.004 * [taylor]: Taking taylor expansion of (pow b 2) in d
7.004 * [taylor]: Taking taylor expansion of b in d
7.004 * [taylor]: Taking taylor expansion of (* (pow d 2) (pow a 3)) in d
7.004 * [taylor]: Taking taylor expansion of (pow d 2) in d
7.004 * [taylor]: Taking taylor expansion of d in d
7.004 * [taylor]: Taking taylor expansion of (pow a 3) in d
7.004 * [taylor]: Taking taylor expansion of a in d
7.004 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow d 2) a))) in d
7.004 * [taylor]: Taking taylor expansion of 1/2 in d
7.004 * [taylor]: Taking taylor expansion of (/ 1 (* (pow d 2) a)) in d
7.004 * [taylor]: Taking taylor expansion of (* (pow d 2) a) in d
7.004 * [taylor]: Taking taylor expansion of (pow d 2) in d
7.004 * [taylor]: Taking taylor expansion of d in d
7.004 * [taylor]: Taking taylor expansion of a in d
7.006 * [taylor]: Taking taylor expansion of 0 in b
7.006 * [taylor]: Taking taylor expansion of 0 in a
7.006 * [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
7.006 * [taylor]: Taking taylor expansion of (* (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in a
7.006 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) in a
7.006 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
7.006 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
7.006 * [taylor]: Taking taylor expansion of (* b c) in a
7.006 * [taylor]: Taking taylor expansion of b in a
7.006 * [taylor]: Taking taylor expansion of c in a
7.006 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
7.006 * [taylor]: Taking taylor expansion of (* d a) in a
7.006 * [taylor]: Taking taylor expansion of d in a
7.006 * [taylor]: Taking taylor expansion of a in a
7.006 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in a
7.006 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in a
7.006 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in a
7.006 * [taylor]: Taking taylor expansion of (pow c 2) in a
7.006 * [taylor]: Taking taylor expansion of c in a
7.006 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
7.006 * [taylor]: Taking taylor expansion of (pow d 2) in a
7.006 * [taylor]: Taking taylor expansion of d in a
7.007 * [taylor]: Taking taylor expansion of (* (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in b
7.007 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) in b
7.007 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
7.007 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
7.007 * [taylor]: Taking taylor expansion of (* b c) in b
7.007 * [taylor]: Taking taylor expansion of b in b
7.007 * [taylor]: Taking taylor expansion of c in b
7.007 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
7.007 * [taylor]: Taking taylor expansion of (* d a) in b
7.007 * [taylor]: Taking taylor expansion of d in b
7.007 * [taylor]: Taking taylor expansion of a in b
7.007 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
7.007 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
7.007 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
7.008 * [taylor]: Taking taylor expansion of (pow c 2) in b
7.008 * [taylor]: Taking taylor expansion of c in b
7.008 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
7.008 * [taylor]: Taking taylor expansion of (pow d 2) in b
7.008 * [taylor]: Taking taylor expansion of d in b
7.008 * [taylor]: Taking taylor expansion of (* (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in d
7.008 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) in d
7.008 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
7.008 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
7.008 * [taylor]: Taking taylor expansion of (* b c) in d
7.008 * [taylor]: Taking taylor expansion of b in d
7.008 * [taylor]: Taking taylor expansion of c in d
7.008 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
7.009 * [taylor]: Taking taylor expansion of (* d a) in d
7.009 * [taylor]: Taking taylor expansion of d in d
7.009 * [taylor]: Taking taylor expansion of a in d
7.009 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
7.009 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
7.009 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
7.009 * [taylor]: Taking taylor expansion of (pow c 2) in d
7.009 * [taylor]: Taking taylor expansion of c in d
7.009 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
7.009 * [taylor]: Taking taylor expansion of (pow d 2) in d
7.009 * [taylor]: Taking taylor expansion of d in d
7.009 * [taylor]: Taking taylor expansion of (* (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
7.009 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) in c
7.009 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
7.009 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
7.009 * [taylor]: Taking taylor expansion of (* b c) in c
7.009 * [taylor]: Taking taylor expansion of b in c
7.009 * [taylor]: Taking taylor expansion of c in c
7.009 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
7.009 * [taylor]: Taking taylor expansion of (* d a) in c
7.009 * [taylor]: Taking taylor expansion of d in c
7.009 * [taylor]: Taking taylor expansion of a in c
7.009 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
7.009 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
7.009 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
7.009 * [taylor]: Taking taylor expansion of (pow c 2) in c
7.009 * [taylor]: Taking taylor expansion of c in c
7.009 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
7.009 * [taylor]: Taking taylor expansion of (pow d 2) in c
7.009 * [taylor]: Taking taylor expansion of d in c
7.010 * [taylor]: Taking taylor expansion of (* (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
7.010 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) in c
7.010 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
7.010 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
7.010 * [taylor]: Taking taylor expansion of (* b c) in c
7.010 * [taylor]: Taking taylor expansion of b in c
7.010 * [taylor]: Taking taylor expansion of c in c
7.010 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
7.010 * [taylor]: Taking taylor expansion of (* d a) in c
7.010 * [taylor]: Taking taylor expansion of d in c
7.010 * [taylor]: Taking taylor expansion of a in c
7.010 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
7.010 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
7.010 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
7.010 * [taylor]: Taking taylor expansion of (pow c 2) in c
7.010 * [taylor]: Taking taylor expansion of c in c
7.010 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
7.010 * [taylor]: Taking taylor expansion of (pow d 2) in c
7.010 * [taylor]: Taking taylor expansion of d in c
7.010 * [taylor]: Taking taylor expansion of b in d
7.010 * [taylor]: Taking taylor expansion of b in b
7.010 * [taylor]: Taking taylor expansion of 1 in a
7.011 * [taylor]: Taking taylor expansion of (/ (pow b 2) (* d a)) in d
7.011 * [taylor]: Taking taylor expansion of (pow b 2) in d
7.011 * [taylor]: Taking taylor expansion of b in d
7.011 * [taylor]: Taking taylor expansion of (* d a) in d
7.011 * [taylor]: Taking taylor expansion of d in d
7.011 * [taylor]: Taking taylor expansion of a in d
7.011 * [taylor]: Taking taylor expansion of 0 in b
7.011 * [taylor]: Taking taylor expansion of 0 in a
7.011 * [taylor]: Taking taylor expansion of 0 in b
7.011 * [taylor]: Taking taylor expansion of 0 in a
7.011 * [taylor]: Taking taylor expansion of 0 in a
7.012 * [taylor]: Taking taylor expansion of (+ (/ (pow b 3) (* (pow d 2) (pow a 2))) (* 1/2 (/ b (pow d 2)))) in d
7.012 * [taylor]: Taking taylor expansion of (/ (pow b 3) (* (pow d 2) (pow a 2))) in d
7.012 * [taylor]: Taking taylor expansion of (pow b 3) in d
7.012 * [taylor]: Taking taylor expansion of b in d
7.012 * [taylor]: Taking taylor expansion of (* (pow d 2) (pow a 2)) in d
7.012 * [taylor]: Taking taylor expansion of (pow d 2) in d
7.012 * [taylor]: Taking taylor expansion of d in d
7.012 * [taylor]: Taking taylor expansion of (pow a 2) in d
7.012 * [taylor]: Taking taylor expansion of a in d
7.013 * [taylor]: Taking taylor expansion of (* 1/2 (/ b (pow d 2))) in d
7.013 * [taylor]: Taking taylor expansion of 1/2 in d
7.013 * [taylor]: Taking taylor expansion of (/ b (pow d 2)) in d
7.013 * [taylor]: Taking taylor expansion of b in d
7.013 * [taylor]: Taking taylor expansion of (pow d 2) in d
7.013 * [taylor]: Taking taylor expansion of d in d
7.014 * [taylor]: Taking taylor expansion of 0 in b
7.014 * [taylor]: Taking taylor expansion of 0 in a
7.014 * [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
7.014 * [taylor]: Taking taylor expansion of (* (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in a
7.014 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) in a
7.014 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
7.014 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
7.014 * [taylor]: Taking taylor expansion of (* b c) in a
7.014 * [taylor]: Taking taylor expansion of b in a
7.014 * [taylor]: Taking taylor expansion of c in a
7.014 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
7.014 * [taylor]: Taking taylor expansion of (* d a) in a
7.014 * [taylor]: Taking taylor expansion of d in a
7.014 * [taylor]: Taking taylor expansion of a in a
7.014 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in a
7.014 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in a
7.014 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in a
7.015 * [taylor]: Taking taylor expansion of (pow c 2) in a
7.015 * [taylor]: Taking taylor expansion of c in a
7.015 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
7.015 * [taylor]: Taking taylor expansion of (pow d 2) in a
7.015 * [taylor]: Taking taylor expansion of d in a
7.015 * [taylor]: Taking taylor expansion of (* (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in b
7.015 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) in b
7.015 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
7.015 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
7.015 * [taylor]: Taking taylor expansion of (* b c) in b
7.015 * [taylor]: Taking taylor expansion of b in b
7.015 * [taylor]: Taking taylor expansion of c in b
7.016 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
7.016 * [taylor]: Taking taylor expansion of (* d a) in b
7.016 * [taylor]: Taking taylor expansion of d in b
7.016 * [taylor]: Taking taylor expansion of a in b
7.016 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
7.016 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
7.016 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
7.016 * [taylor]: Taking taylor expansion of (pow c 2) in b
7.016 * [taylor]: Taking taylor expansion of c in b
7.016 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
7.016 * [taylor]: Taking taylor expansion of (pow d 2) in b
7.016 * [taylor]: Taking taylor expansion of d in b
7.017 * [taylor]: Taking taylor expansion of (* (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in d
7.017 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) in d
7.017 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
7.017 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
7.017 * [taylor]: Taking taylor expansion of (* b c) in d
7.017 * [taylor]: Taking taylor expansion of b in d
7.017 * [taylor]: Taking taylor expansion of c in d
7.017 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
7.017 * [taylor]: Taking taylor expansion of (* d a) in d
7.017 * [taylor]: Taking taylor expansion of d in d
7.017 * [taylor]: Taking taylor expansion of a in d
7.017 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
7.017 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
7.017 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
7.017 * [taylor]: Taking taylor expansion of (pow c 2) in d
7.017 * [taylor]: Taking taylor expansion of c in d
7.017 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
7.017 * [taylor]: Taking taylor expansion of (pow d 2) in d
7.017 * [taylor]: Taking taylor expansion of d in d
7.017 * [taylor]: Taking taylor expansion of (* (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
7.017 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) in c
7.017 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
7.017 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
7.017 * [taylor]: Taking taylor expansion of (* b c) in c
7.017 * [taylor]: Taking taylor expansion of b in c
7.017 * [taylor]: Taking taylor expansion of c in c
7.017 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
7.017 * [taylor]: Taking taylor expansion of (* d a) in c
7.017 * [taylor]: Taking taylor expansion of d in c
7.017 * [taylor]: Taking taylor expansion of a in c
7.018 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
7.018 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
7.018 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
7.018 * [taylor]: Taking taylor expansion of (pow c 2) in c
7.018 * [taylor]: Taking taylor expansion of c in c
7.018 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
7.018 * [taylor]: Taking taylor expansion of (pow d 2) in c
7.018 * [taylor]: Taking taylor expansion of d in c
7.018 * [taylor]: Taking taylor expansion of (* (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
7.018 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (* b c)) (/ 1 (* d a)))) in c
7.018 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
7.018 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
7.018 * [taylor]: Taking taylor expansion of (* b c) in c
7.018 * [taylor]: Taking taylor expansion of b in c
7.018 * [taylor]: Taking taylor expansion of c in c
7.018 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
7.018 * [taylor]: Taking taylor expansion of (* d a) in c
7.018 * [taylor]: Taking taylor expansion of d in c
7.018 * [taylor]: Taking taylor expansion of a in c
7.018 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
7.018 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
7.018 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
7.018 * [taylor]: Taking taylor expansion of (pow c 2) in c
7.018 * [taylor]: Taking taylor expansion of c in c
7.018 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
7.018 * [taylor]: Taking taylor expansion of (pow d 2) in c
7.018 * [taylor]: Taking taylor expansion of d in c
7.019 * [taylor]: Taking taylor expansion of b in d
7.019 * [taylor]: Taking taylor expansion of b in b
7.019 * [taylor]: Taking taylor expansion of 1 in a
7.019 * [taylor]: Taking taylor expansion of (/ (pow b 2) (* d a)) in d
7.019 * [taylor]: Taking taylor expansion of (pow b 2) in d
7.019 * [taylor]: Taking taylor expansion of b in d
7.019 * [taylor]: Taking taylor expansion of (* d a) in d
7.019 * [taylor]: Taking taylor expansion of d in d
7.019 * [taylor]: Taking taylor expansion of a in d
7.020 * [taylor]: Taking taylor expansion of 0 in b
7.020 * [taylor]: Taking taylor expansion of 0 in a
7.020 * [taylor]: Taking taylor expansion of 0 in b
7.020 * [taylor]: Taking taylor expansion of 0 in a
7.020 * [taylor]: Taking taylor expansion of 0 in a
7.021 * [taylor]: Taking taylor expansion of (+ (/ (pow b 3) (* (pow d 2) (pow a 2))) (* 1/2 (/ b (pow d 2)))) in d
7.021 * [taylor]: Taking taylor expansion of (/ (pow b 3) (* (pow d 2) (pow a 2))) in d
7.021 * [taylor]: Taking taylor expansion of (pow b 3) in d
7.021 * [taylor]: Taking taylor expansion of b in d
7.021 * [taylor]: Taking taylor expansion of (* (pow d 2) (pow a 2)) in d
7.021 * [taylor]: Taking taylor expansion of (pow d 2) in d
7.021 * [taylor]: Taking taylor expansion of d in d
7.021 * [taylor]: Taking taylor expansion of (pow a 2) in d
7.021 * [taylor]: Taking taylor expansion of a in d
7.021 * [taylor]: Taking taylor expansion of (* 1/2 (/ b (pow d 2))) in d
7.021 * [taylor]: Taking taylor expansion of 1/2 in d
7.021 * [taylor]: Taking taylor expansion of (/ b (pow d 2)) in d
7.021 * [taylor]: Taking taylor expansion of b in d
7.021 * [taylor]: Taking taylor expansion of (pow d 2) in d
7.021 * [taylor]: Taking taylor expansion of d in d
7.022 * [taylor]: Taking taylor expansion of 0 in b
7.022 * [taylor]: Taking taylor expansion of 0 in a
7.022 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2)
7.022 * [approximate]: Taking taylor expansion of (- (* b c) (* d a)) in (b c a d) around 0
7.022 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in d
7.022 * [taylor]: Taking taylor expansion of (* b c) in d
7.022 * [taylor]: Taking taylor expansion of b in d
7.022 * [taylor]: Taking taylor expansion of c in d
7.022 * [taylor]: Taking taylor expansion of (* d a) in d
7.022 * [taylor]: Taking taylor expansion of d in d
7.022 * [taylor]: Taking taylor expansion of a in d
7.022 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in a
7.022 * [taylor]: Taking taylor expansion of (* b c) in a
7.023 * [taylor]: Taking taylor expansion of b in a
7.023 * [taylor]: Taking taylor expansion of c in a
7.023 * [taylor]: Taking taylor expansion of (* d a) in a
7.023 * [taylor]: Taking taylor expansion of d in a
7.023 * [taylor]: Taking taylor expansion of a in a
7.023 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in c
7.023 * [taylor]: Taking taylor expansion of (* b c) in c
7.023 * [taylor]: Taking taylor expansion of b in c
7.023 * [taylor]: Taking taylor expansion of c in c
7.023 * [taylor]: Taking taylor expansion of (* d a) in c
7.023 * [taylor]: Taking taylor expansion of d in c
7.023 * [taylor]: Taking taylor expansion of a in c
7.023 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
7.023 * [taylor]: Taking taylor expansion of (* b c) in b
7.023 * [taylor]: Taking taylor expansion of b in b
7.023 * [taylor]: Taking taylor expansion of c in b
7.023 * [taylor]: Taking taylor expansion of (* d a) in b
7.023 * [taylor]: Taking taylor expansion of d in b
7.023 * [taylor]: Taking taylor expansion of a in b
7.023 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
7.023 * [taylor]: Taking taylor expansion of (* b c) in b
7.023 * [taylor]: Taking taylor expansion of b in b
7.023 * [taylor]: Taking taylor expansion of c in b
7.023 * [taylor]: Taking taylor expansion of (* d a) in b
7.023 * [taylor]: Taking taylor expansion of d in b
7.023 * [taylor]: Taking taylor expansion of a in b
7.023 * [taylor]: Taking taylor expansion of (neg (* d a)) in c
7.023 * [taylor]: Taking taylor expansion of (* d a) in c
7.023 * [taylor]: Taking taylor expansion of d in c
7.023 * [taylor]: Taking taylor expansion of a in c
7.023 * [taylor]: Taking taylor expansion of (neg (* d a)) in a
7.023 * [taylor]: Taking taylor expansion of (* d a) in a
7.023 * [taylor]: Taking taylor expansion of d in a
7.023 * [taylor]: Taking taylor expansion of a in a
7.023 * [taylor]: Taking taylor expansion of 0 in d
7.023 * [taylor]: Taking taylor expansion of c in c
7.023 * [taylor]: Taking taylor expansion of 0 in a
7.023 * [taylor]: Taking taylor expansion of 0 in d
7.023 * [taylor]: Taking taylor expansion of 0 in a
7.023 * [taylor]: Taking taylor expansion of 0 in d
7.024 * [taylor]: Taking taylor expansion of (neg d) in d
7.024 * [taylor]: Taking taylor expansion of d in d
7.024 * [taylor]: Taking taylor expansion of 0 in c
7.024 * [taylor]: Taking taylor expansion of 0 in a
7.024 * [taylor]: Taking taylor expansion of 0 in d
7.024 * [approximate]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in (b c a d) around 0
7.024 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
7.024 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
7.024 * [taylor]: Taking taylor expansion of (* b c) in d
7.024 * [taylor]: Taking taylor expansion of b in d
7.024 * [taylor]: Taking taylor expansion of c in d
7.024 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
7.024 * [taylor]: Taking taylor expansion of (* d a) in d
7.024 * [taylor]: Taking taylor expansion of d in d
7.024 * [taylor]: Taking taylor expansion of a in d
7.024 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
7.024 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
7.024 * [taylor]: Taking taylor expansion of (* b c) in a
7.024 * [taylor]: Taking taylor expansion of b in a
7.024 * [taylor]: Taking taylor expansion of c in a
7.024 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
7.024 * [taylor]: Taking taylor expansion of (* d a) in a
7.024 * [taylor]: Taking taylor expansion of d in a
7.024 * [taylor]: Taking taylor expansion of a in a
7.024 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
7.024 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
7.024 * [taylor]: Taking taylor expansion of (* b c) in c
7.024 * [taylor]: Taking taylor expansion of b in c
7.024 * [taylor]: Taking taylor expansion of c in c
7.024 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
7.024 * [taylor]: Taking taylor expansion of (* d a) in c
7.025 * [taylor]: Taking taylor expansion of d in c
7.025 * [taylor]: Taking taylor expansion of a in c
7.025 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
7.025 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
7.025 * [taylor]: Taking taylor expansion of (* b c) in b
7.025 * [taylor]: Taking taylor expansion of b in b
7.025 * [taylor]: Taking taylor expansion of c in b
7.025 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
7.025 * [taylor]: Taking taylor expansion of (* d a) in b
7.025 * [taylor]: Taking taylor expansion of d in b
7.025 * [taylor]: Taking taylor expansion of a in b
7.025 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
7.025 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
7.025 * [taylor]: Taking taylor expansion of (* b c) in b
7.025 * [taylor]: Taking taylor expansion of b in b
7.025 * [taylor]: Taking taylor expansion of c in b
7.025 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
7.025 * [taylor]: Taking taylor expansion of (* d a) in b
7.025 * [taylor]: Taking taylor expansion of d in b
7.025 * [taylor]: Taking taylor expansion of a in b
7.025 * [taylor]: Taking taylor expansion of (/ 1 c) in c
7.025 * [taylor]: Taking taylor expansion of c in c
7.025 * [taylor]: Taking taylor expansion of 1 in a
7.025 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in c
7.025 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
7.025 * [taylor]: Taking taylor expansion of (* d a) in c
7.025 * [taylor]: Taking taylor expansion of d in c
7.025 * [taylor]: Taking taylor expansion of a in c
7.025 * [taylor]: Taking taylor expansion of 0 in a
7.026 * [taylor]: Taking taylor expansion of 1 in d
7.026 * [taylor]: Taking taylor expansion of 0 in c
7.026 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in a
7.026 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
7.026 * [taylor]: Taking taylor expansion of (* d a) in a
7.026 * [taylor]: Taking taylor expansion of d in a
7.026 * [taylor]: Taking taylor expansion of a in a
7.026 * [taylor]: Taking taylor expansion of (neg (/ 1 d)) in d
7.026 * [taylor]: Taking taylor expansion of (/ 1 d) in d
7.026 * [taylor]: Taking taylor expansion of d in d
7.026 * [taylor]: Taking taylor expansion of 0 in a
7.026 * [taylor]: Taking taylor expansion of 0 in d
7.026 * [taylor]: Taking taylor expansion of 0 in d
7.026 * [taylor]: Taking taylor expansion of 0 in c
7.026 * [taylor]: Taking taylor expansion of 0 in a
7.027 * [taylor]: Taking taylor expansion of 0 in a
7.027 * [taylor]: Taking taylor expansion of 0 in a
7.027 * [taylor]: Taking taylor expansion of 0 in d
7.027 * [taylor]: Taking taylor expansion of 0 in d
7.027 * [taylor]: Taking taylor expansion of 0 in d
7.027 * [taylor]: Taking taylor expansion of 0 in d
7.027 * [taylor]: Taking taylor expansion of 0 in c
7.027 * [taylor]: Taking taylor expansion of 0 in a
7.027 * [taylor]: Taking taylor expansion of 0 in a
7.027 * [taylor]: Taking taylor expansion of 0 in a
7.027 * [taylor]: Taking taylor expansion of 0 in a
7.028 * [taylor]: Taking taylor expansion of 0 in d
7.028 * [taylor]: Taking taylor expansion of 0 in d
7.028 * [taylor]: Taking taylor expansion of 0 in d
7.028 * [taylor]: Taking taylor expansion of 0 in d
7.028 * [taylor]: Taking taylor expansion of 0 in d
7.028 * [taylor]: Taking taylor expansion of 0 in d
7.028 * [taylor]: Taking taylor expansion of 0 in d
7.028 * [approximate]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in (b c a d) around 0
7.028 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
7.028 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
7.028 * [taylor]: Taking taylor expansion of (* b c) in d
7.028 * [taylor]: Taking taylor expansion of b in d
7.028 * [taylor]: Taking taylor expansion of c in d
7.028 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
7.028 * [taylor]: Taking taylor expansion of (* d a) in d
7.028 * [taylor]: Taking taylor expansion of d in d
7.028 * [taylor]: Taking taylor expansion of a in d
7.028 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
7.028 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
7.028 * [taylor]: Taking taylor expansion of (* b c) in a
7.028 * [taylor]: Taking taylor expansion of b in a
7.028 * [taylor]: Taking taylor expansion of c in a
7.029 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
7.029 * [taylor]: Taking taylor expansion of (* d a) in a
7.029 * [taylor]: Taking taylor expansion of d in a
7.029 * [taylor]: Taking taylor expansion of a in a
7.029 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
7.029 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
7.029 * [taylor]: Taking taylor expansion of (* b c) in c
7.029 * [taylor]: Taking taylor expansion of b in c
7.029 * [taylor]: Taking taylor expansion of c in c
7.029 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
7.029 * [taylor]: Taking taylor expansion of (* d a) in c
7.029 * [taylor]: Taking taylor expansion of d in c
7.029 * [taylor]: Taking taylor expansion of a in c
7.029 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
7.029 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
7.029 * [taylor]: Taking taylor expansion of (* b c) in b
7.029 * [taylor]: Taking taylor expansion of b in b
7.029 * [taylor]: Taking taylor expansion of c in b
7.029 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
7.029 * [taylor]: Taking taylor expansion of (* d a) in b
7.029 * [taylor]: Taking taylor expansion of d in b
7.029 * [taylor]: Taking taylor expansion of a in b
7.029 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
7.029 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
7.029 * [taylor]: Taking taylor expansion of (* b c) in b
7.029 * [taylor]: Taking taylor expansion of b in b
7.029 * [taylor]: Taking taylor expansion of c in b
7.029 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
7.029 * [taylor]: Taking taylor expansion of (* d a) in b
7.029 * [taylor]: Taking taylor expansion of d in b
7.029 * [taylor]: Taking taylor expansion of a in b
7.029 * [taylor]: Taking taylor expansion of (/ 1 c) in c
7.029 * [taylor]: Taking taylor expansion of c in c
7.029 * [taylor]: Taking taylor expansion of 1 in a
7.030 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in c
7.030 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
7.030 * [taylor]: Taking taylor expansion of (* d a) in c
7.030 * [taylor]: Taking taylor expansion of d in c
7.030 * [taylor]: Taking taylor expansion of a in c
7.030 * [taylor]: Taking taylor expansion of 0 in a
7.030 * [taylor]: Taking taylor expansion of 1 in d
7.030 * [taylor]: Taking taylor expansion of 0 in c
7.030 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in a
7.030 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
7.030 * [taylor]: Taking taylor expansion of (* d a) in a
7.030 * [taylor]: Taking taylor expansion of d in a
7.030 * [taylor]: Taking taylor expansion of a in a
7.030 * [taylor]: Taking taylor expansion of (neg (/ 1 d)) in d
7.030 * [taylor]: Taking taylor expansion of (/ 1 d) in d
7.030 * [taylor]: Taking taylor expansion of d in d
7.030 * [taylor]: Taking taylor expansion of 0 in a
7.030 * [taylor]: Taking taylor expansion of 0 in d
7.030 * [taylor]: Taking taylor expansion of 0 in d
7.031 * [taylor]: Taking taylor expansion of 0 in c
7.031 * [taylor]: Taking taylor expansion of 0 in a
7.031 * [taylor]: Taking taylor expansion of 0 in a
7.031 * [taylor]: Taking taylor expansion of 0 in a
7.031 * [taylor]: Taking taylor expansion of 0 in d
7.031 * [taylor]: Taking taylor expansion of 0 in d
7.031 * [taylor]: Taking taylor expansion of 0 in d
7.031 * [taylor]: Taking taylor expansion of 0 in d
7.032 * [taylor]: Taking taylor expansion of 0 in c
7.032 * [taylor]: Taking taylor expansion of 0 in a
7.032 * [taylor]: Taking taylor expansion of 0 in a
7.032 * [taylor]: Taking taylor expansion of 0 in a
7.032 * [taylor]: Taking taylor expansion of 0 in a
7.032 * [taylor]: Taking taylor expansion of 0 in d
7.032 * [taylor]: Taking taylor expansion of 0 in d
7.032 * [taylor]: Taking taylor expansion of 0 in d
7.032 * [taylor]: Taking taylor expansion of 0 in d
7.032 * [taylor]: Taking taylor expansion of 0 in d
7.032 * [taylor]: Taking taylor expansion of 0 in d
7.032 * [taylor]: Taking taylor expansion of 0 in d
7.032 * * * [progress]: simplifying candidates
7.034 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (sqrt (+ (* c c) (* d d))))
  (exp (sqrt (+ (* c c) (* d d))))
  (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (cbrt (sqrt (+ (* c c) (* d d))))
  (* (* (sqrt (+ (* c c) (* d d))) (sqrt (+ (* c c) (* d d)))) (sqrt (+ (* c c) (* d d))))
  (sqrt (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d)))))
  (sqrt (cbrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt 1)
  (sqrt (+ (* c c) (* d d)))
  (sqrt (+ (pow (* c c) 3) (pow (* d d) 3)))
  (sqrt (+ (* (* c c) (* c c)) (- (* (* d d) (* d d)) (* (* c c) (* d d)))))
  (sqrt (- (* (* c c) (* c c)) (* (* d d) (* d d))))
  (sqrt (- (* c c) (* d d)))
  (/ 1 2)
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (log (sqrt (+ (* c c) (* d d))))
  (exp (sqrt (+ (* c c) (* d d))))
  (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (cbrt (sqrt (+ (* c c) (* d d))))
  (* (* (sqrt (+ (* c c) (* d d))) (sqrt (+ (* c c) (* d d)))) (sqrt (+ (* c c) (* d d))))
  (sqrt (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d)))))
  (sqrt (cbrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt 1)
  (sqrt (+ (* c c) (* d d)))
  (sqrt (+ (pow (* c c) 3) (pow (* d d) 3)))
  (sqrt (+ (* (* c c) (* c c)) (- (* (* d d) (* d d)) (* (* c c) (* d d)))))
  (sqrt (- (* (* c c) (* c c)) (* (* d d) (* d d))))
  (sqrt (- (* c c) (* d d)))
  (/ 1 2)
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (- (log (sqrt (+ (* c c) (* d d)))) (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))))
  (neg (sqrt (+ (* c c) (* d d))))
  (neg (- (* 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))))
  (neg (* a d))
  (- (* (* b c) (* b c)) (* (* a d) (* a d)))
  (+ (* b c) (* a d))
  (neg (* a d))
  d
  c
  (* -1 c)
  d
  c
  (* -1 c)
  0
  0
  0
  0
  (- (* b c) (* d a))
  (- (* b c) (* d a))
7.039 * * [simplify]: iteration  0 :  264  enodes  (cost  887 )
7.044 * * [simplify]: iteration  1 :  808  enodes  (cost  842 )
7.058 * * [simplify]: iteration  2 :  2343  enodes  (cost  837 )
7.096 * * [simplify]: iteration  3 :  5001  enodes  (cost  837 )
7.104 * [simplify]: Simplified to:
   (log (sqrt (+ (* c c) (* d d))))
  (exp (sqrt (+ (* c c) (* d d))))
  (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (cbrt (sqrt (+ (* c c) (* d d))))
  (pow (sqrt (+ (* c c) (* d d))) 3)
  (fabs (cbrt (+ (* c c) (* d d))))
  (sqrt (cbrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  1
  (sqrt (+ (* c c) (* d d)))
  (sqrt (+ (pow (* c c) 3) (pow (* d d) 3)))
  (sqrt (+ (* (* c c) (* c c)) (- (* (* d d) (* d d)) (* (* c c) (* d d)))))
  (sqrt (- (* (* c c) (* c c)) (* (* d d) (* d d))))
  (sqrt (- (* c c) (* d d)))
  1/2
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (log (sqrt (+ (* c c) (* d d))))
  (exp (sqrt (+ (* c c) (* d d))))
  (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (cbrt (sqrt (+ (* c c) (* d d))))
  (pow (sqrt (+ (* c c) (* d d))) 3)
  (fabs (cbrt (+ (* c c) (* d d))))
  (sqrt (cbrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  1
  (sqrt (+ (* c c) (* d d)))
  (sqrt (+ (pow (* c c) 3) (pow (* d d) 3)))
  (sqrt (+ (* (* c c) (* c c)) (- (* (* d d) (* d d)) (* (* c c) (* d d)))))
  (sqrt (- (* (* c c) (* c c)) (* (* d d) (* d d))))
  (sqrt (- (* c c) (* d d)))
  1/2
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (log (/ (sqrt (+ (* c c) (* d d))) (- (* 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))))
  (neg (sqrt (+ (* c c) (* d d))))
  (neg (- (* 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)))))
  (/ (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))) 1))
  (/ (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))))
  (* (- (* 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) (* a d)))
  (log (- (* b c) (* d a)))
  (exp (- (* b c) (* a d)))
  (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d))))
  (cbrt (- (* b c) (* a d)))
  (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) (+ (* a d) (* b c))) (* (* b c) (* b c)))
  (neg (* a d))
  (- (* (* b c) (* b c)) (* (* a d) (* a d)))
  (+ (* b c) (* a d))
  (neg (* a d))
  d
  c
  (* -1 c)
  d
  c
  (* -1 c)
  0
  0
  0
  0
  (- (* b c) (* d a))
  (- (* b c) (* d a))
7.105 * * * [progress]: adding candidates to table
7.190 * * [progress]: iteration 4 / 4
7.190 * * * [progress]: picking best candidate
7.227 * * * * [pick]: Picked  #<alt (λ (a b c d) (* (/ 1 (sqrt (+ (* c c) (* d d)))) (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))))>
7.227 * * * [progress]: localizing error
7.240 * * * [progress]: generating rewritten candidates
7.240 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
7.243 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
7.247 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
7.256 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
7.262 * * * [progress]: generating series expansions
7.262 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
7.262 * [approximate]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in (c d) around 0
7.262 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in d
7.262 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in d
7.262 * [taylor]: Taking taylor expansion of (pow d 2) in d
7.262 * [taylor]: Taking taylor expansion of d in d
7.262 * [taylor]: Taking taylor expansion of (pow c 2) in d
7.262 * [taylor]: Taking taylor expansion of c in d
7.262 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
7.262 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
7.262 * [taylor]: Taking taylor expansion of (pow d 2) in c
7.262 * [taylor]: Taking taylor expansion of d in c
7.262 * [taylor]: Taking taylor expansion of (pow c 2) in c
7.262 * [taylor]: Taking taylor expansion of c in c
7.262 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
7.262 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
7.263 * [taylor]: Taking taylor expansion of (pow d 2) in c
7.263 * [taylor]: Taking taylor expansion of d in c
7.263 * [taylor]: Taking taylor expansion of (pow c 2) in c
7.263 * [taylor]: Taking taylor expansion of c in c
7.263 * [taylor]: Taking taylor expansion of d in d
7.263 * [taylor]: Taking taylor expansion of 0 in d
7.263 * [taylor]: Taking taylor expansion of (/ 1/2 d) in d
7.263 * [taylor]: Taking taylor expansion of 1/2 in d
7.263 * [taylor]: Taking taylor expansion of d in d
7.263 * [taylor]: Taking taylor expansion of 0 in d
7.264 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (c d) around 0
7.264 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
7.264 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
7.264 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
7.264 * [taylor]: Taking taylor expansion of (pow c 2) in d
7.264 * [taylor]: Taking taylor expansion of c in d
7.264 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
7.264 * [taylor]: Taking taylor expansion of (pow d 2) in d
7.264 * [taylor]: Taking taylor expansion of d in d
7.264 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
7.264 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
7.264 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
7.264 * [taylor]: Taking taylor expansion of (pow c 2) in c
7.264 * [taylor]: Taking taylor expansion of c in c
7.264 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
7.264 * [taylor]: Taking taylor expansion of (pow d 2) in c
7.264 * [taylor]: Taking taylor expansion of d in c
7.264 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
7.264 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
7.264 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
7.264 * [taylor]: Taking taylor expansion of (pow c 2) in c
7.264 * [taylor]: Taking taylor expansion of c in c
7.264 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
7.264 * [taylor]: Taking taylor expansion of (pow d 2) in c
7.264 * [taylor]: Taking taylor expansion of d in c
7.264 * [taylor]: Taking taylor expansion of 1 in d
7.265 * [taylor]: Taking taylor expansion of 0 in d
7.265 * [taylor]: Taking taylor expansion of (/ 1/2 (pow d 2)) in d
7.265 * [taylor]: Taking taylor expansion of 1/2 in d
7.265 * [taylor]: Taking taylor expansion of (pow d 2) in d
7.265 * [taylor]: Taking taylor expansion of d in d
7.265 * [taylor]: Taking taylor expansion of 0 in d
7.266 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (c d) around 0
7.266 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
7.266 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
7.266 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
7.266 * [taylor]: Taking taylor expansion of (pow c 2) in d
7.266 * [taylor]: Taking taylor expansion of c in d
7.266 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
7.266 * [taylor]: Taking taylor expansion of (pow d 2) in d
7.266 * [taylor]: Taking taylor expansion of d in d
7.266 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
7.266 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
7.266 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
7.266 * [taylor]: Taking taylor expansion of (pow c 2) in c
7.266 * [taylor]: Taking taylor expansion of c in c
7.266 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
7.266 * [taylor]: Taking taylor expansion of (pow d 2) in c
7.266 * [taylor]: Taking taylor expansion of d in c
7.266 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
7.266 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
7.266 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
7.266 * [taylor]: Taking taylor expansion of (pow c 2) in c
7.266 * [taylor]: Taking taylor expansion of c in c
7.266 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
7.266 * [taylor]: Taking taylor expansion of (pow d 2) in c
7.266 * [taylor]: Taking taylor expansion of d in c
7.267 * [taylor]: Taking taylor expansion of 1 in d
7.267 * [taylor]: Taking taylor expansion of 0 in d
7.267 * [taylor]: Taking taylor expansion of (/ 1/2 (pow d 2)) in d
7.267 * [taylor]: Taking taylor expansion of 1/2 in d
7.267 * [taylor]: Taking taylor expansion of (pow d 2) in d
7.267 * [taylor]: Taking taylor expansion of d in d
7.267 * [taylor]: Taking taylor expansion of 0 in d
7.268 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
7.268 * [approximate]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in (c d) around 0
7.268 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in d
7.268 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in d
7.268 * [taylor]: Taking taylor expansion of (pow d 2) in d
7.268 * [taylor]: Taking taylor expansion of d in d
7.268 * [taylor]: Taking taylor expansion of (pow c 2) in d
7.268 * [taylor]: Taking taylor expansion of c in d
7.268 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
7.268 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
7.268 * [taylor]: Taking taylor expansion of (pow d 2) in c
7.268 * [taylor]: Taking taylor expansion of d in c
7.268 * [taylor]: Taking taylor expansion of (pow c 2) in c
7.268 * [taylor]: Taking taylor expansion of c in c
7.268 * [taylor]: Taking taylor expansion of (sqrt (+ (pow d 2) (pow c 2))) in c
7.268 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
7.268 * [taylor]: Taking taylor expansion of (pow d 2) in c
7.268 * [taylor]: Taking taylor expansion of d in c
7.268 * [taylor]: Taking taylor expansion of (pow c 2) in c
7.268 * [taylor]: Taking taylor expansion of c in c
7.269 * [taylor]: Taking taylor expansion of d in d
7.269 * [taylor]: Taking taylor expansion of 0 in d
7.269 * [taylor]: Taking taylor expansion of (/ 1/2 d) in d
7.269 * [taylor]: Taking taylor expansion of 1/2 in d
7.269 * [taylor]: Taking taylor expansion of d in d
7.269 * [taylor]: Taking taylor expansion of 0 in d
7.269 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (c d) around 0
7.269 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
7.269 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
7.269 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
7.269 * [taylor]: Taking taylor expansion of (pow c 2) in d
7.269 * [taylor]: Taking taylor expansion of c in d
7.270 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
7.270 * [taylor]: Taking taylor expansion of (pow d 2) in d
7.270 * [taylor]: Taking taylor expansion of d in d
7.270 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
7.270 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
7.270 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
7.270 * [taylor]: Taking taylor expansion of (pow c 2) in c
7.270 * [taylor]: Taking taylor expansion of c in c
7.270 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
7.270 * [taylor]: Taking taylor expansion of (pow d 2) in c
7.270 * [taylor]: Taking taylor expansion of d in c
7.270 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
7.270 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
7.270 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
7.270 * [taylor]: Taking taylor expansion of (pow c 2) in c
7.270 * [taylor]: Taking taylor expansion of c in c
7.270 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
7.270 * [taylor]: Taking taylor expansion of (pow d 2) in c
7.270 * [taylor]: Taking taylor expansion of d in c
7.270 * [taylor]: Taking taylor expansion of 1 in d
7.270 * [taylor]: Taking taylor expansion of 0 in d
7.271 * [taylor]: Taking taylor expansion of (/ 1/2 (pow d 2)) in d
7.271 * [taylor]: Taking taylor expansion of 1/2 in d
7.271 * [taylor]: Taking taylor expansion of (pow d 2) in d
7.271 * [taylor]: Taking taylor expansion of d in d
7.271 * [taylor]: Taking taylor expansion of 0 in d
7.271 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (c d) around 0
7.271 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
7.271 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
7.272 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
7.272 * [taylor]: Taking taylor expansion of (pow c 2) in d
7.272 * [taylor]: Taking taylor expansion of c in d
7.272 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
7.272 * [taylor]: Taking taylor expansion of (pow d 2) in d
7.272 * [taylor]: Taking taylor expansion of d in d
7.272 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
7.272 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
7.272 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
7.272 * [taylor]: Taking taylor expansion of (pow c 2) in c
7.272 * [taylor]: Taking taylor expansion of c in c
7.272 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
7.272 * [taylor]: Taking taylor expansion of (pow d 2) in c
7.272 * [taylor]: Taking taylor expansion of d in c
7.272 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
7.272 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
7.272 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
7.272 * [taylor]: Taking taylor expansion of (pow c 2) in c
7.272 * [taylor]: Taking taylor expansion of c in c
7.272 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
7.272 * [taylor]: Taking taylor expansion of (pow d 2) in c
7.272 * [taylor]: Taking taylor expansion of d in c
7.272 * [taylor]: Taking taylor expansion of 1 in d
7.272 * [taylor]: Taking taylor expansion of 0 in d
7.273 * [taylor]: Taking taylor expansion of (/ 1/2 (pow d 2)) in d
7.273 * [taylor]: Taking taylor expansion of 1/2 in d
7.273 * [taylor]: Taking taylor expansion of (pow d 2) in d
7.273 * [taylor]: Taking taylor expansion of d in d
7.273 * [taylor]: Taking taylor expansion of 0 in d
7.273 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
7.274 * [approximate]: Taking taylor expansion of (* (- (* b c) (* d a)) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in (b c a d) around 0
7.274 * [taylor]: Taking taylor expansion of (* (- (* b c) (* d a)) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in d
7.274 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in d
7.274 * [taylor]: Taking taylor expansion of (* b c) in d
7.274 * [taylor]: Taking taylor expansion of b in d
7.274 * [taylor]: Taking taylor expansion of c in d
7.274 * [taylor]: Taking taylor expansion of (* d a) in d
7.274 * [taylor]: Taking taylor expansion of d in d
7.274 * [taylor]: Taking taylor expansion of a in d
7.274 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in d
7.274 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in d
7.274 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in d
7.274 * [taylor]: Taking taylor expansion of (pow d 2) in d
7.274 * [taylor]: Taking taylor expansion of d in d
7.274 * [taylor]: Taking taylor expansion of (pow c 2) in d
7.274 * [taylor]: Taking taylor expansion of c in d
7.274 * [taylor]: Taking taylor expansion of (* (- (* b c) (* d a)) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in a
7.274 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in a
7.274 * [taylor]: Taking taylor expansion of (* b c) in a
7.274 * [taylor]: Taking taylor expansion of b in a
7.274 * [taylor]: Taking taylor expansion of c in a
7.274 * [taylor]: Taking taylor expansion of (* d a) in a
7.274 * [taylor]: Taking taylor expansion of d in a
7.274 * [taylor]: Taking taylor expansion of a in a
7.274 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in a
7.274 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in a
7.274 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in a
7.274 * [taylor]: Taking taylor expansion of (pow d 2) in a
7.274 * [taylor]: Taking taylor expansion of d in a
7.274 * [taylor]: Taking taylor expansion of (pow c 2) in a
7.275 * [taylor]: Taking taylor expansion of c in a
7.275 * [taylor]: Taking taylor expansion of (* (- (* b c) (* d a)) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in c
7.275 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in c
7.275 * [taylor]: Taking taylor expansion of (* b c) in c
7.275 * [taylor]: Taking taylor expansion of b in c
7.275 * [taylor]: Taking taylor expansion of c in c
7.275 * [taylor]: Taking taylor expansion of (* d a) in c
7.275 * [taylor]: Taking taylor expansion of d in c
7.275 * [taylor]: Taking taylor expansion of a in c
7.275 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in c
7.275 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in c
7.275 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
7.275 * [taylor]: Taking taylor expansion of (pow d 2) in c
7.275 * [taylor]: Taking taylor expansion of d in c
7.275 * [taylor]: Taking taylor expansion of (pow c 2) in c
7.275 * [taylor]: Taking taylor expansion of c in c
7.276 * [taylor]: Taking taylor expansion of (* (- (* b c) (* d a)) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in b
7.276 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
7.276 * [taylor]: Taking taylor expansion of (* b c) in b
7.276 * [taylor]: Taking taylor expansion of b in b
7.276 * [taylor]: Taking taylor expansion of c in b
7.276 * [taylor]: Taking taylor expansion of (* d a) in b
7.276 * [taylor]: Taking taylor expansion of d in b
7.276 * [taylor]: Taking taylor expansion of a in b
7.276 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in b
7.276 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in b
7.276 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in b
7.276 * [taylor]: Taking taylor expansion of (pow d 2) in b
7.276 * [taylor]: Taking taylor expansion of d in b
7.276 * [taylor]: Taking taylor expansion of (pow c 2) in b
7.276 * [taylor]: Taking taylor expansion of c in b
7.277 * [taylor]: Taking taylor expansion of (* (- (* b c) (* d a)) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in b
7.277 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
7.277 * [taylor]: Taking taylor expansion of (* b c) in b
7.277 * [taylor]: Taking taylor expansion of b in b
7.277 * [taylor]: Taking taylor expansion of c in b
7.277 * [taylor]: Taking taylor expansion of (* d a) in b
7.277 * [taylor]: Taking taylor expansion of d in b
7.277 * [taylor]: Taking taylor expansion of a in b
7.277 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in b
7.277 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in b
7.277 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in b
7.277 * [taylor]: Taking taylor expansion of (pow d 2) in b
7.277 * [taylor]: Taking taylor expansion of d in b
7.277 * [taylor]: Taking taylor expansion of (pow c 2) in b
7.277 * [taylor]: Taking taylor expansion of c in b
7.278 * [taylor]: Taking taylor expansion of (* -1 (* (* d a) (sqrt (/ 1 (+ (pow d 2) (pow c 2)))))) in c
7.278 * [taylor]: Taking taylor expansion of -1 in c
7.278 * [taylor]: Taking taylor expansion of (* (* d a) (sqrt (/ 1 (+ (pow d 2) (pow c 2))))) in c
7.278 * [taylor]: Taking taylor expansion of (* d a) in c
7.278 * [taylor]: Taking taylor expansion of d in c
7.278 * [taylor]: Taking taylor expansion of a in c
7.278 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in c
7.278 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in c
7.278 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
7.278 * [taylor]: Taking taylor expansion of (pow d 2) in c
7.278 * [taylor]: Taking taylor expansion of d in c
7.278 * [taylor]: Taking taylor expansion of (pow c 2) in c
7.278 * [taylor]: Taking taylor expansion of c in c
7.279 * [taylor]: Taking taylor expansion of (* -1 a) in a
7.279 * [taylor]: Taking taylor expansion of -1 in a
7.279 * [taylor]: Taking taylor expansion of a in a
7.279 * [taylor]: Taking taylor expansion of 0 in d
7.279 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) c) in c
7.279 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow d 2) (pow c 2)))) in c
7.279 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow d 2) (pow c 2))) in c
7.279 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
7.279 * [taylor]: Taking taylor expansion of (pow d 2) in c
7.279 * [taylor]: Taking taylor expansion of d in c
7.279 * [taylor]: Taking taylor expansion of (pow c 2) in c
7.279 * [taylor]: Taking taylor expansion of c in c
7.280 * [taylor]: Taking taylor expansion of c in c
7.280 * [taylor]: Taking taylor expansion of 0 in a
7.280 * [taylor]: Taking taylor expansion of 0 in d
7.280 * [taylor]: Taking taylor expansion of 0 in a
7.280 * [taylor]: Taking taylor expansion of 0 in d
7.280 * [taylor]: Taking taylor expansion of (neg 1) in d
7.280 * [taylor]: Taking taylor expansion of 1 in d
7.281 * [taylor]: Taking taylor expansion of 0 in c
7.281 * [taylor]: Taking taylor expansion of 0 in a
7.281 * [taylor]: Taking taylor expansion of 0 in d
7.281 * [taylor]: Taking taylor expansion of (/ 1 d) in a
7.281 * [taylor]: Taking taylor expansion of d in a
7.281 * [taylor]: Taking taylor expansion of (/ 1 d) in d
7.281 * [taylor]: Taking taylor expansion of d in d
7.282 * [taylor]: Taking taylor expansion of (* 1/2 (/ a (pow d 2))) in a
7.282 * [taylor]: Taking taylor expansion of 1/2 in a
7.282 * [taylor]: Taking taylor expansion of (/ a (pow d 2)) in a
7.282 * [taylor]: Taking taylor expansion of a in a
7.282 * [taylor]: Taking taylor expansion of (pow d 2) in a
7.282 * [taylor]: Taking taylor expansion of d in a
7.282 * [taylor]: Taking taylor expansion of 0 in d
7.282 * [taylor]: Taking taylor expansion of 0 in d
7.282 * [taylor]: Taking taylor expansion of 0 in d
7.282 * [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
7.282 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in d
7.282 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
7.282 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
7.282 * [taylor]: Taking taylor expansion of (* b c) in d
7.282 * [taylor]: Taking taylor expansion of b in d
7.282 * [taylor]: Taking taylor expansion of c in d
7.282 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
7.282 * [taylor]: Taking taylor expansion of (* d a) in d
7.282 * [taylor]: Taking taylor expansion of d in d
7.282 * [taylor]: Taking taylor expansion of a in d
7.282 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in d
7.283 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
7.283 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
7.283 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
7.283 * [taylor]: Taking taylor expansion of (pow c 2) in d
7.283 * [taylor]: Taking taylor expansion of c in d
7.283 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
7.283 * [taylor]: Taking taylor expansion of (pow d 2) in d
7.283 * [taylor]: Taking taylor expansion of d in d
7.283 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in a
7.283 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
7.283 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
7.283 * [taylor]: Taking taylor expansion of (* b c) in a
7.283 * [taylor]: Taking taylor expansion of b in a
7.283 * [taylor]: Taking taylor expansion of c in a
7.283 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
7.283 * [taylor]: Taking taylor expansion of (* d a) in a
7.283 * [taylor]: Taking taylor expansion of d in a
7.283 * [taylor]: Taking taylor expansion of a in a
7.283 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in a
7.283 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in a
7.283 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in a
7.283 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in a
7.283 * [taylor]: Taking taylor expansion of (pow c 2) in a
7.283 * [taylor]: Taking taylor expansion of c in a
7.283 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
7.283 * [taylor]: Taking taylor expansion of (pow d 2) in a
7.283 * [taylor]: Taking taylor expansion of d in a
7.284 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in c
7.284 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
7.284 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
7.284 * [taylor]: Taking taylor expansion of (* b c) in c
7.285 * [taylor]: Taking taylor expansion of b in c
7.285 * [taylor]: Taking taylor expansion of c in c
7.285 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
7.285 * [taylor]: Taking taylor expansion of (* d a) in c
7.285 * [taylor]: Taking taylor expansion of d in c
7.285 * [taylor]: Taking taylor expansion of a in c
7.285 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
7.285 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
7.285 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
7.285 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
7.285 * [taylor]: Taking taylor expansion of (pow c 2) in c
7.285 * [taylor]: Taking taylor expansion of c in c
7.285 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
7.285 * [taylor]: Taking taylor expansion of (pow d 2) in c
7.285 * [taylor]: Taking taylor expansion of d in c
7.285 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in b
7.285 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
7.285 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
7.285 * [taylor]: Taking taylor expansion of (* b c) in b
7.285 * [taylor]: Taking taylor expansion of b in b
7.285 * [taylor]: Taking taylor expansion of c in b
7.285 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
7.285 * [taylor]: Taking taylor expansion of (* d a) in b
7.285 * [taylor]: Taking taylor expansion of d in b
7.285 * [taylor]: Taking taylor expansion of a in b
7.285 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in b
7.285 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
7.285 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
7.285 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
7.285 * [taylor]: Taking taylor expansion of (pow c 2) in b
7.285 * [taylor]: Taking taylor expansion of c in b
7.285 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
7.285 * [taylor]: Taking taylor expansion of (pow d 2) in b
7.285 * [taylor]: Taking taylor expansion of d in b
7.287 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in b
7.287 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
7.287 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
7.287 * [taylor]: Taking taylor expansion of (* b c) in b
7.287 * [taylor]: Taking taylor expansion of b in b
7.287 * [taylor]: Taking taylor expansion of c in b
7.287 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
7.287 * [taylor]: Taking taylor expansion of (* d a) in b
7.287 * [taylor]: Taking taylor expansion of d in b
7.287 * [taylor]: Taking taylor expansion of a in b
7.287 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in b
7.287 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
7.287 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
7.287 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
7.287 * [taylor]: Taking taylor expansion of (pow c 2) in b
7.287 * [taylor]: Taking taylor expansion of c in b
7.287 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
7.287 * [taylor]: Taking taylor expansion of (pow d 2) in b
7.287 * [taylor]: Taking taylor expansion of d in b
7.288 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) (/ 1 c)) in c
7.288 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
7.288 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
7.288 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
7.288 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
7.288 * [taylor]: Taking taylor expansion of (pow c 2) in c
7.288 * [taylor]: Taking taylor expansion of c in c
7.289 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
7.289 * [taylor]: Taking taylor expansion of (pow d 2) in c
7.289 * [taylor]: Taking taylor expansion of d in c
7.289 * [taylor]: Taking taylor expansion of (/ 1 c) in c
7.289 * [taylor]: Taking taylor expansion of c in c
7.289 * [taylor]: Taking taylor expansion of 1 in a
7.289 * [taylor]: Taking taylor expansion of (neg (* (/ 1 (* d a)) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))))) in c
7.289 * [taylor]: Taking taylor expansion of (* (/ 1 (* d a)) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in c
7.289 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
7.289 * [taylor]: Taking taylor expansion of (* d a) in c
7.289 * [taylor]: Taking taylor expansion of d in c
7.289 * [taylor]: Taking taylor expansion of a in c
7.289 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
7.289 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
7.289 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
7.289 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
7.289 * [taylor]: Taking taylor expansion of (pow c 2) in c
7.289 * [taylor]: Taking taylor expansion of c in c
7.289 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
7.289 * [taylor]: Taking taylor expansion of (pow d 2) in c
7.290 * [taylor]: Taking taylor expansion of d in c
7.290 * [taylor]: Taking taylor expansion of 0 in a
7.290 * [taylor]: Taking taylor expansion of 1 in d
7.291 * [taylor]: Taking taylor expansion of 0 in c
7.291 * [taylor]: Taking taylor expansion of 0 in a
7.291 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in a
7.291 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
7.291 * [taylor]: Taking taylor expansion of (* d a) in a
7.291 * [taylor]: Taking taylor expansion of d in a
7.291 * [taylor]: Taking taylor expansion of a in a
7.291 * [taylor]: Taking taylor expansion of (neg (/ 1 d)) in d
7.291 * [taylor]: Taking taylor expansion of (/ 1 d) in d
7.291 * [taylor]: Taking taylor expansion of d in d
7.292 * [taylor]: Taking taylor expansion of (neg (* 1/2 (/ 1 (pow d 2)))) in a
7.292 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow d 2))) in a
7.292 * [taylor]: Taking taylor expansion of 1/2 in a
7.292 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
7.292 * [taylor]: Taking taylor expansion of (pow d 2) in a
7.292 * [taylor]: Taking taylor expansion of d in a
7.292 * [taylor]: Taking taylor expansion of 0 in d
7.292 * [taylor]: Taking taylor expansion of 0 in d
7.294 * [taylor]: Taking taylor expansion of 0 in c
7.294 * [taylor]: Taking taylor expansion of 0 in a
7.294 * [taylor]: Taking taylor expansion of 0 in a
7.294 * [taylor]: Taking taylor expansion of 0 in a
7.295 * [taylor]: Taking taylor expansion of 0 in a
7.295 * [taylor]: Taking taylor expansion of 0 in d
7.295 * [taylor]: Taking taylor expansion of 0 in d
7.295 * [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
7.295 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in d
7.295 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
7.295 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
7.295 * [taylor]: Taking taylor expansion of (* b c) in d
7.295 * [taylor]: Taking taylor expansion of b in d
7.295 * [taylor]: Taking taylor expansion of c in d
7.295 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
7.295 * [taylor]: Taking taylor expansion of (* d a) in d
7.296 * [taylor]: Taking taylor expansion of d in d
7.296 * [taylor]: Taking taylor expansion of a in d
7.296 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in d
7.296 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
7.296 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
7.296 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
7.296 * [taylor]: Taking taylor expansion of (pow c 2) in d
7.296 * [taylor]: Taking taylor expansion of c in d
7.296 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
7.296 * [taylor]: Taking taylor expansion of (pow d 2) in d
7.296 * [taylor]: Taking taylor expansion of d in d
7.296 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in a
7.296 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
7.296 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
7.296 * [taylor]: Taking taylor expansion of (* b c) in a
7.296 * [taylor]: Taking taylor expansion of b in a
7.296 * [taylor]: Taking taylor expansion of c in a
7.296 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
7.296 * [taylor]: Taking taylor expansion of (* d a) in a
7.296 * [taylor]: Taking taylor expansion of d in a
7.296 * [taylor]: Taking taylor expansion of a in a
7.296 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in a
7.296 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in a
7.296 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in a
7.296 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in a
7.296 * [taylor]: Taking taylor expansion of (pow c 2) in a
7.296 * [taylor]: Taking taylor expansion of c in a
7.296 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
7.296 * [taylor]: Taking taylor expansion of (pow d 2) in a
7.296 * [taylor]: Taking taylor expansion of d in a
7.298 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in c
7.298 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
7.298 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
7.298 * [taylor]: Taking taylor expansion of (* b c) in c
7.298 * [taylor]: Taking taylor expansion of b in c
7.298 * [taylor]: Taking taylor expansion of c in c
7.298 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
7.298 * [taylor]: Taking taylor expansion of (* d a) in c
7.298 * [taylor]: Taking taylor expansion of d in c
7.298 * [taylor]: Taking taylor expansion of a in c
7.298 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
7.298 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
7.298 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
7.298 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
7.298 * [taylor]: Taking taylor expansion of (pow c 2) in c
7.298 * [taylor]: Taking taylor expansion of c in c
7.298 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
7.298 * [taylor]: Taking taylor expansion of (pow d 2) in c
7.298 * [taylor]: Taking taylor expansion of d in c
7.298 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in b
7.298 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
7.298 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
7.298 * [taylor]: Taking taylor expansion of (* b c) in b
7.298 * [taylor]: Taking taylor expansion of b in b
7.298 * [taylor]: Taking taylor expansion of c in b
7.298 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
7.299 * [taylor]: Taking taylor expansion of (* d a) in b
7.299 * [taylor]: Taking taylor expansion of d in b
7.299 * [taylor]: Taking taylor expansion of a in b
7.299 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in b
7.299 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
7.299 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
7.299 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
7.299 * [taylor]: Taking taylor expansion of (pow c 2) in b
7.299 * [taylor]: Taking taylor expansion of c in b
7.299 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
7.299 * [taylor]: Taking taylor expansion of (pow d 2) in b
7.299 * [taylor]: Taking taylor expansion of d in b
7.300 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* b c)) (/ 1 (* d a))) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in b
7.300 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
7.300 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
7.300 * [taylor]: Taking taylor expansion of (* b c) in b
7.300 * [taylor]: Taking taylor expansion of b in b
7.300 * [taylor]: Taking taylor expansion of c in b
7.300 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
7.300 * [taylor]: Taking taylor expansion of (* d a) in b
7.300 * [taylor]: Taking taylor expansion of d in b
7.300 * [taylor]: Taking taylor expansion of a in b
7.300 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in b
7.300 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
7.300 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
7.300 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
7.300 * [taylor]: Taking taylor expansion of (pow c 2) in b
7.300 * [taylor]: Taking taylor expansion of c in b
7.300 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
7.300 * [taylor]: Taking taylor expansion of (pow d 2) in b
7.300 * [taylor]: Taking taylor expansion of d in b
7.302 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) (/ 1 c)) in c
7.302 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
7.302 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
7.302 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
7.302 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
7.302 * [taylor]: Taking taylor expansion of (pow c 2) in c
7.302 * [taylor]: Taking taylor expansion of c in c
7.302 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
7.302 * [taylor]: Taking taylor expansion of (pow d 2) in c
7.302 * [taylor]: Taking taylor expansion of d in c
7.302 * [taylor]: Taking taylor expansion of (/ 1 c) in c
7.302 * [taylor]: Taking taylor expansion of c in c
7.302 * [taylor]: Taking taylor expansion of 1 in a
7.302 * [taylor]: Taking taylor expansion of (neg (* (/ 1 (* d a)) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))))) in c
7.303 * [taylor]: Taking taylor expansion of (* (/ 1 (* d a)) (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))))) in c
7.303 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
7.303 * [taylor]: Taking taylor expansion of (* d a) in c
7.303 * [taylor]: Taking taylor expansion of d in c
7.303 * [taylor]: Taking taylor expansion of a in c
7.303 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))))) in c
7.303 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
7.303 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
7.303 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
7.303 * [taylor]: Taking taylor expansion of (pow c 2) in c
7.303 * [taylor]: Taking taylor expansion of c in c
7.303 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
7.303 * [taylor]: Taking taylor expansion of (pow d 2) in c
7.303 * [taylor]: Taking taylor expansion of d in c
7.303 * [taylor]: Taking taylor expansion of 0 in a
7.303 * [taylor]: Taking taylor expansion of 1 in d
7.304 * [taylor]: Taking taylor expansion of 0 in c
7.304 * [taylor]: Taking taylor expansion of 0 in a
7.305 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in a
7.305 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
7.305 * [taylor]: Taking taylor expansion of (* d a) in a
7.305 * [taylor]: Taking taylor expansion of d in a
7.305 * [taylor]: Taking taylor expansion of a in a
7.305 * [taylor]: Taking taylor expansion of (neg (/ 1 d)) in d
7.305 * [taylor]: Taking taylor expansion of (/ 1 d) in d
7.305 * [taylor]: Taking taylor expansion of d in d
7.305 * [taylor]: Taking taylor expansion of (neg (* 1/2 (/ 1 (pow d 2)))) in a
7.305 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow d 2))) in a
7.305 * [taylor]: Taking taylor expansion of 1/2 in a
7.305 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
7.305 * [taylor]: Taking taylor expansion of (pow d 2) in a
7.305 * [taylor]: Taking taylor expansion of d in a
7.306 * [taylor]: Taking taylor expansion of 0 in d
7.306 * [taylor]: Taking taylor expansion of 0 in d
7.307 * [taylor]: Taking taylor expansion of 0 in c
7.307 * [taylor]: Taking taylor expansion of 0 in a
7.307 * [taylor]: Taking taylor expansion of 0 in a
7.307 * [taylor]: Taking taylor expansion of 0 in a
7.308 * [taylor]: Taking taylor expansion of 0 in a
7.308 * [taylor]: Taking taylor expansion of 0 in d
7.308 * [taylor]: Taking taylor expansion of 0 in d
7.308 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
7.308 * [approximate]: Taking taylor expansion of (- (* b c) (* d a)) in (b c a d) around 0
7.308 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in d
7.309 * [taylor]: Taking taylor expansion of (* b c) in d
7.309 * [taylor]: Taking taylor expansion of b in d
7.309 * [taylor]: Taking taylor expansion of c in d
7.309 * [taylor]: Taking taylor expansion of (* d a) in d
7.309 * [taylor]: Taking taylor expansion of d in d
7.309 * [taylor]: Taking taylor expansion of a in d
7.309 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in a
7.309 * [taylor]: Taking taylor expansion of (* b c) in a
7.309 * [taylor]: Taking taylor expansion of b in a
7.309 * [taylor]: Taking taylor expansion of c in a
7.309 * [taylor]: Taking taylor expansion of (* d a) in a
7.309 * [taylor]: Taking taylor expansion of d in a
7.309 * [taylor]: Taking taylor expansion of a in a
7.309 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in c
7.309 * [taylor]: Taking taylor expansion of (* b c) in c
7.309 * [taylor]: Taking taylor expansion of b in c
7.309 * [taylor]: Taking taylor expansion of c in c
7.309 * [taylor]: Taking taylor expansion of (* d a) in c
7.309 * [taylor]: Taking taylor expansion of d in c
7.309 * [taylor]: Taking taylor expansion of a in c
7.309 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
7.309 * [taylor]: Taking taylor expansion of (* b c) in b
7.309 * [taylor]: Taking taylor expansion of b in b
7.309 * [taylor]: Taking taylor expansion of c in b
7.309 * [taylor]: Taking taylor expansion of (* d a) in b
7.309 * [taylor]: Taking taylor expansion of d in b
7.309 * [taylor]: Taking taylor expansion of a in b
7.309 * [taylor]: Taking taylor expansion of (- (* b c) (* d a)) in b
7.309 * [taylor]: Taking taylor expansion of (* b c) in b
7.309 * [taylor]: Taking taylor expansion of b in b
7.309 * [taylor]: Taking taylor expansion of c in b
7.309 * [taylor]: Taking taylor expansion of (* d a) in b
7.309 * [taylor]: Taking taylor expansion of d in b
7.309 * [taylor]: Taking taylor expansion of a in b
7.309 * [taylor]: Taking taylor expansion of (neg (* d a)) in c
7.309 * [taylor]: Taking taylor expansion of (* d a) in c
7.309 * [taylor]: Taking taylor expansion of d in c
7.309 * [taylor]: Taking taylor expansion of a in c
7.309 * [taylor]: Taking taylor expansion of (neg (* d a)) in a
7.309 * [taylor]: Taking taylor expansion of (* d a) in a
7.309 * [taylor]: Taking taylor expansion of d in a
7.309 * [taylor]: Taking taylor expansion of a in a
7.309 * [taylor]: Taking taylor expansion of 0 in d
7.309 * [taylor]: Taking taylor expansion of c in c
7.309 * [taylor]: Taking taylor expansion of 0 in a
7.310 * [taylor]: Taking taylor expansion of 0 in d
7.310 * [taylor]: Taking taylor expansion of 0 in a
7.310 * [taylor]: Taking taylor expansion of 0 in d
7.310 * [taylor]: Taking taylor expansion of (neg d) in d
7.310 * [taylor]: Taking taylor expansion of d in d
7.310 * [taylor]: Taking taylor expansion of 0 in c
7.310 * [taylor]: Taking taylor expansion of 0 in a
7.310 * [taylor]: Taking taylor expansion of 0 in d
7.310 * [approximate]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in (b c a d) around 0
7.310 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
7.310 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
7.310 * [taylor]: Taking taylor expansion of (* b c) in d
7.310 * [taylor]: Taking taylor expansion of b in d
7.310 * [taylor]: Taking taylor expansion of c in d
7.310 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
7.310 * [taylor]: Taking taylor expansion of (* d a) in d
7.310 * [taylor]: Taking taylor expansion of d in d
7.310 * [taylor]: Taking taylor expansion of a in d
7.310 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
7.310 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
7.310 * [taylor]: Taking taylor expansion of (* b c) in a
7.310 * [taylor]: Taking taylor expansion of b in a
7.310 * [taylor]: Taking taylor expansion of c in a
7.310 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
7.310 * [taylor]: Taking taylor expansion of (* d a) in a
7.310 * [taylor]: Taking taylor expansion of d in a
7.310 * [taylor]: Taking taylor expansion of a in a
7.310 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
7.311 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
7.311 * [taylor]: Taking taylor expansion of (* b c) in c
7.311 * [taylor]: Taking taylor expansion of b in c
7.311 * [taylor]: Taking taylor expansion of c in c
7.311 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
7.311 * [taylor]: Taking taylor expansion of (* d a) in c
7.311 * [taylor]: Taking taylor expansion of d in c
7.311 * [taylor]: Taking taylor expansion of a in c
7.311 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
7.311 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
7.311 * [taylor]: Taking taylor expansion of (* b c) in b
7.311 * [taylor]: Taking taylor expansion of b in b
7.311 * [taylor]: Taking taylor expansion of c in b
7.311 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
7.311 * [taylor]: Taking taylor expansion of (* d a) in b
7.311 * [taylor]: Taking taylor expansion of d in b
7.311 * [taylor]: Taking taylor expansion of a in b
7.311 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
7.311 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
7.311 * [taylor]: Taking taylor expansion of (* b c) in b
7.311 * [taylor]: Taking taylor expansion of b in b
7.311 * [taylor]: Taking taylor expansion of c in b
7.311 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
7.311 * [taylor]: Taking taylor expansion of (* d a) in b
7.311 * [taylor]: Taking taylor expansion of d in b
7.311 * [taylor]: Taking taylor expansion of a in b
7.311 * [taylor]: Taking taylor expansion of (/ 1 c) in c
7.311 * [taylor]: Taking taylor expansion of c in c
7.311 * [taylor]: Taking taylor expansion of 1 in a
7.311 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in c
7.312 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
7.312 * [taylor]: Taking taylor expansion of (* d a) in c
7.312 * [taylor]: Taking taylor expansion of d in c
7.312 * [taylor]: Taking taylor expansion of a in c
7.312 * [taylor]: Taking taylor expansion of 0 in a
7.312 * [taylor]: Taking taylor expansion of 1 in d
7.312 * [taylor]: Taking taylor expansion of 0 in c
7.312 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in a
7.312 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
7.312 * [taylor]: Taking taylor expansion of (* d a) in a
7.312 * [taylor]: Taking taylor expansion of d in a
7.312 * [taylor]: Taking taylor expansion of a in a
7.312 * [taylor]: Taking taylor expansion of (neg (/ 1 d)) in d
7.312 * [taylor]: Taking taylor expansion of (/ 1 d) in d
7.312 * [taylor]: Taking taylor expansion of d in d
7.312 * [taylor]: Taking taylor expansion of 0 in a
7.312 * [taylor]: Taking taylor expansion of 0 in d
7.312 * [taylor]: Taking taylor expansion of 0 in d
7.313 * [taylor]: Taking taylor expansion of 0 in c
7.313 * [taylor]: Taking taylor expansion of 0 in a
7.313 * [taylor]: Taking taylor expansion of 0 in a
7.313 * [taylor]: Taking taylor expansion of 0 in a
7.313 * [taylor]: Taking taylor expansion of 0 in d
7.313 * [taylor]: Taking taylor expansion of 0 in d
7.313 * [taylor]: Taking taylor expansion of 0 in d
7.313 * [taylor]: Taking taylor expansion of 0 in d
7.313 * [taylor]: Taking taylor expansion of 0 in c
7.313 * [taylor]: Taking taylor expansion of 0 in a
7.313 * [taylor]: Taking taylor expansion of 0 in a
7.314 * [taylor]: Taking taylor expansion of 0 in a
7.314 * [taylor]: Taking taylor expansion of 0 in a
7.314 * [taylor]: Taking taylor expansion of 0 in d
7.314 * [taylor]: Taking taylor expansion of 0 in d
7.314 * [taylor]: Taking taylor expansion of 0 in d
7.314 * [taylor]: Taking taylor expansion of 0 in d
7.314 * [taylor]: Taking taylor expansion of 0 in d
7.314 * [taylor]: Taking taylor expansion of 0 in d
7.314 * [taylor]: Taking taylor expansion of 0 in d
7.314 * [approximate]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in (b c a d) around 0
7.314 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in d
7.314 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in d
7.314 * [taylor]: Taking taylor expansion of (* b c) in d
7.314 * [taylor]: Taking taylor expansion of b in d
7.314 * [taylor]: Taking taylor expansion of c in d
7.314 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in d
7.314 * [taylor]: Taking taylor expansion of (* d a) in d
7.314 * [taylor]: Taking taylor expansion of d in d
7.315 * [taylor]: Taking taylor expansion of a in d
7.315 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in a
7.315 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in a
7.315 * [taylor]: Taking taylor expansion of (* b c) in a
7.315 * [taylor]: Taking taylor expansion of b in a
7.315 * [taylor]: Taking taylor expansion of c in a
7.315 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
7.315 * [taylor]: Taking taylor expansion of (* d a) in a
7.315 * [taylor]: Taking taylor expansion of d in a
7.315 * [taylor]: Taking taylor expansion of a in a
7.315 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in c
7.315 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in c
7.315 * [taylor]: Taking taylor expansion of (* b c) in c
7.315 * [taylor]: Taking taylor expansion of b in c
7.315 * [taylor]: Taking taylor expansion of c in c
7.315 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
7.315 * [taylor]: Taking taylor expansion of (* d a) in c
7.315 * [taylor]: Taking taylor expansion of d in c
7.315 * [taylor]: Taking taylor expansion of a in c
7.315 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
7.315 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
7.315 * [taylor]: Taking taylor expansion of (* b c) in b
7.315 * [taylor]: Taking taylor expansion of b in b
7.315 * [taylor]: Taking taylor expansion of c in b
7.315 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
7.315 * [taylor]: Taking taylor expansion of (* d a) in b
7.315 * [taylor]: Taking taylor expansion of d in b
7.315 * [taylor]: Taking taylor expansion of a in b
7.315 * [taylor]: Taking taylor expansion of (- (/ 1 (* b c)) (/ 1 (* d a))) in b
7.315 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b
7.315 * [taylor]: Taking taylor expansion of (* b c) in b
7.315 * [taylor]: Taking taylor expansion of b in b
7.315 * [taylor]: Taking taylor expansion of c in b
7.315 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b
7.315 * [taylor]: Taking taylor expansion of (* d a) in b
7.315 * [taylor]: Taking taylor expansion of d in b
7.315 * [taylor]: Taking taylor expansion of a in b
7.316 * [taylor]: Taking taylor expansion of (/ 1 c) in c
7.316 * [taylor]: Taking taylor expansion of c in c
7.316 * [taylor]: Taking taylor expansion of 1 in a
7.316 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in c
7.316 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in c
7.316 * [taylor]: Taking taylor expansion of (* d a) in c
7.316 * [taylor]: Taking taylor expansion of d in c
7.316 * [taylor]: Taking taylor expansion of a in c
7.316 * [taylor]: Taking taylor expansion of 0 in a
7.316 * [taylor]: Taking taylor expansion of 1 in d
7.316 * [taylor]: Taking taylor expansion of 0 in c
7.316 * [taylor]: Taking taylor expansion of (neg (/ 1 (* d a))) in a
7.316 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a
7.316 * [taylor]: Taking taylor expansion of (* d a) in a
7.316 * [taylor]: Taking taylor expansion of d in a
7.316 * [taylor]: Taking taylor expansion of a in a
7.316 * [taylor]: Taking taylor expansion of (neg (/ 1 d)) in d
7.316 * [taylor]: Taking taylor expansion of (/ 1 d) in d
7.316 * [taylor]: Taking taylor expansion of d in d
7.317 * [taylor]: Taking taylor expansion of 0 in a
7.317 * [taylor]: Taking taylor expansion of 0 in d
7.317 * [taylor]: Taking taylor expansion of 0 in d
7.317 * [taylor]: Taking taylor expansion of 0 in c
7.317 * [taylor]: Taking taylor expansion of 0 in a
7.317 * [taylor]: Taking taylor expansion of 0 in a
7.317 * [taylor]: Taking taylor expansion of 0 in a
7.317 * [taylor]: Taking taylor expansion of 0 in d
7.317 * [taylor]: Taking taylor expansion of 0 in d
7.317 * [taylor]: Taking taylor expansion of 0 in d
7.317 * [taylor]: Taking taylor expansion of 0 in d
7.320 * [taylor]: Taking taylor expansion of 0 in c
7.320 * [taylor]: Taking taylor expansion of 0 in a
7.320 * [taylor]: Taking taylor expansion of 0 in a
7.320 * [taylor]: Taking taylor expansion of 0 in a
7.320 * [taylor]: Taking taylor expansion of 0 in a
7.320 * [taylor]: Taking taylor expansion of 0 in d
7.320 * [taylor]: Taking taylor expansion of 0 in d
7.320 * [taylor]: Taking taylor expansion of 0 in d
7.320 * [taylor]: Taking taylor expansion of 0 in d
7.320 * [taylor]: Taking taylor expansion of 0 in d
7.320 * [taylor]: Taking taylor expansion of 0 in d
7.320 * [taylor]: Taking taylor expansion of 0 in d
7.321 * * * [progress]: simplifying candidates
7.322 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (sqrt (+ (* c c) (* d d))))
  (exp (sqrt (+ (* c c) (* d d))))
  (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (cbrt (sqrt (+ (* c c) (* d d))))
  (* (* (sqrt (+ (* c c) (* d d))) (sqrt (+ (* c c) (* d d)))) (sqrt (+ (* c c) (* d d))))
  (sqrt (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d)))))
  (sqrt (cbrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt 1)
  (sqrt (+ (* c c) (* d d)))
  (sqrt (+ (pow (* c c) 3) (pow (* d d) 3)))
  (sqrt (+ (* (* c c) (* c c)) (- (* (* d d) (* d d)) (* (* c c) (* d d)))))
  (sqrt (- (* (* c c) (* c c)) (* (* d d) (* d d))))
  (sqrt (- (* c c) (* d d)))
  (/ 1 2)
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (log (sqrt (+ (* c c) (* d d))))
  (exp (sqrt (+ (* c c) (* d d))))
  (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (cbrt (sqrt (+ (* c c) (* d d))))
  (* (* (sqrt (+ (* c c) (* d d))) (sqrt (+ (* c c) (* d d)))) (sqrt (+ (* c c) (* d d))))
  (sqrt (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d)))))
  (sqrt (cbrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt 1)
  (sqrt (+ (* c c) (* d d)))
  (sqrt (+ (pow (* c c) 3) (pow (* d d) 3)))
  (sqrt (+ (* (* c c) (* c c)) (- (* (* d d) (* d d)) (* (* c c) (* d d)))))
  (sqrt (- (* (* c c) (* c c)) (* (* d d) (* d d))))
  (sqrt (- (* c c) (* d d)))
  (/ 1 2)
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (- (log (- (* b c) (* a d))) (log (sqrt (+ (* c c) (* d d)))))
  (log (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (exp (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (/ (* (* (- (* b c) (* a d)) (- (* b c) (* a d))) (- (* b c) (* a d))) (* (* (sqrt (+ (* c c) (* d d))) (sqrt (+ (* c c) (* d d)))) (sqrt (+ (* c c) (* d d)))))
  (* (cbrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))) (cbrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))))
  (cbrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (* (* (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))) (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (sqrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (sqrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (neg (- (* b c) (* a d)))
  (neg (sqrt (+ (* c c) (* d d))))
  (/ (* b c) (sqrt (+ (* c c) (* d d))))
  (/ (* a d) (sqrt (+ (* c c) (* d d))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (cbrt (- (* b c) (* a d))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (sqrt (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d))))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (cbrt (+ (* c c) (* d d)))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (sqrt 1))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) 1)
  (/ (cbrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (- (* b c) (* a d))) (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (sqrt (- (* b c) (* a d))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d))))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (cbrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt 1))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) 1)
  (/ (sqrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ 1 (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (- (* b c) (* a d)) (cbrt (sqrt (+ (* c c) (* d d)))))
  (/ 1 (sqrt (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d))))))
  (/ (- (* b c) (* a d)) (sqrt (cbrt (+ (* c c) (* d d)))))
  (/ 1 (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ 1 (sqrt 1))
  (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
  (/ 1 (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ 1 1)
  (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
  (/ 1 (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))
  (/ (- (* b c) (* a d)) (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (- (* b c) (* a d)) (sqrt (* (cbrt (+ (* c c) (* d d))) (cbrt (+ (* c c) (* d d))))))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt 1))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) 1)
  (/ (sqrt (+ (* c c) (* d d))) (cbrt (- (* b c) (* a d))))
  (/ (sqrt (+ (* c c) (* d d))) (sqrt (- (* b c) (* a d))))
  (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))
  (/ (- (* b c) (* a d)) (sqrt (+ (pow (* c c) 3) (pow (* d d) 3))))
  (/ (- (* b c) (* a d)) (sqrt (- (* (* c c) (* c c)) (* (* d d) (* d d)))))
  (* (sqrt (+ (* c c) (* d d))) (+ (* (* b c) (* b c)) (+ (* (* a d) (* a d)) (* (* b c) (* a d)))))
  (* (sqrt (+ (* c c) (* d d))) (+ (* b c) (* a d)))
  (/ (exp (* b c)) (exp (* a d)))
  (log (- (* b c) (* a d)))
  (exp (- (* b c) (* a d)))
  (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d))))
  (cbrt (- (* b c) (* a d)))
  (* (* (- (* b c) (* a d)) (- (* b c) (* a d))) (- (* b c) (* a d)))
  (sqrt (- (* b c) (* a d)))
  (sqrt (- (* b c) (* a d)))
  (- (pow (* b c) 3) (pow (* a d) 3))
  (+ (* (* b c) (* b c)) (+ (* (* a d) (* a d)) (* (* b c) (* a d))))
  (neg (* a d))
  (- (* (* b c) (* b c)) (* (* a d) (* a d)))
  (+ (* b c) (* a d))
  (neg (* a d))
  d
  c
  (* -1 c)
  d
  c
  (* -1 c)
  (* -1 a)
  b
  (* -1 b)
  0
  (- (* b c) (* d a))
  (- (* b c) (* d a))
7.328 * * [simplify]: iteration  0 :  304  enodes  (cost  910 )
7.333 * * [simplify]: iteration  1 :  990  enodes  (cost  857 )
7.351 * * [simplify]: iteration  2 :  3340  enodes  (cost  845 )
7.413 * * [simplify]: iteration  3 :  5003  enodes  (cost  845 )
7.418 * [simplify]: Simplified to:
   (log (sqrt (+ (* c c) (* d d))))
  (exp (sqrt (+ (* c c) (* d d))))
  (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (cbrt (sqrt (+ (* c c) (* d d))))
  (pow (sqrt (+ (* c c) (* d d))) 3)
  (fabs (cbrt (+ (* c c) (* d d))))
  (sqrt (cbrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  1
  (sqrt (+ (* c c) (* d d)))
  (sqrt (+ (pow (* c c) 3) (pow (* d d) 3)))
  (sqrt (+ (* (* c c) (* c c)) (- (* (* d d) (* d d)) (* (* c c) (* d d)))))
  (sqrt (- (* (* c c) (* c c)) (* (* d d) (* d d))))
  (sqrt (- (* c c) (* d d)))
  1/2
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (log (sqrt (+ (* c c) (* d d))))
  (exp (sqrt (+ (* c c) (* d d))))
  (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (cbrt (sqrt (+ (* c c) (* d d))))
  (pow (sqrt (+ (* c c) (* d d))) 3)
  (fabs (cbrt (+ (* c c) (* d d))))
  (sqrt (cbrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  1
  (sqrt (+ (* c c) (* d d)))
  (sqrt (+ (pow (* c c) 3) (pow (* d d) 3)))
  (sqrt (+ (* (* c c) (* c c)) (- (* (* d d) (* d d)) (* (* c c) (* d d)))))
  (sqrt (- (* (* c c) (* c c)) (* (* d d) (* d d))))
  (sqrt (- (* c c) (* d d)))
  1/2
  (sqrt (sqrt (+ (* c c) (* d d))))
  (sqrt (sqrt (+ (* c c) (* d d))))
  (log (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (log (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (exp (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (pow (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) 3)
  (* (cbrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))) (cbrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))))
  (cbrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (pow (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) 3)
  (sqrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (sqrt (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))))
  (neg (- (* b c) (* a d)))
  (neg (sqrt (+ (* c c) (* d d))))
  (/ (* b c) (sqrt (+ (* c c) (* d d))))
  (/ (* a d) (sqrt (+ (* c c) (* d d))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (cbrt (- (* b c) (* a d))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (/ (cbrt (- (* b c) (* a d))) (/ (fabs (cbrt (+ (* c c) (* d d)))) (cbrt (- (* b c) (* a d)))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (cbrt (+ (* c c) (* d d)))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d)))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d))))
  (/ (cbrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (- (* b c) (* a d))) (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (sqrt (- (* b c) (* a d))) (cbrt (sqrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (fabs (cbrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (cbrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (sqrt (- (* b c) (* a d)))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (sqrt (+ (* c c) (* d d)))))
  (sqrt (- (* b c) (* a d)))
  (/ (sqrt (- (* b c) (* a d))) (sqrt (+ (* c c) (* d d))))
  (/ 1 (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (- (* b c) (* a d)) (cbrt (sqrt (+ (* c c) (* d d)))))
  (/ 1 (* (fabs (cbrt (+ (* c c) (* d d)))) 1))
  (/ (- (* b c) (* a d)) (sqrt (cbrt (+ (* c c) (* d d)))))
  (/ 1 (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  1
  (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
  (/ 1 (sqrt (sqrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  1
  (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
  (/ 1 (sqrt (+ (* c c) (* d d))))
  (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))
  (/ (- (* b c) (* a d)) (* (cbrt (sqrt (+ (* c c) (* d d)))) (cbrt (sqrt (+ (* c c) (* d d))))))
  (/ (- (* b c) (* a d)) (fabs (cbrt (+ (* c c) (* d d)))))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  (- (* b c) (* a d))
  (/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
  (- (* b c) (* a d))
  (/ (sqrt (+ (* c c) (* d d))) (cbrt (- (* b c) (* a d))))
  (/ (sqrt (+ (* c c) (* d d))) (sqrt (- (* b c) (* a d))))
  (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))
  (/ (- (* b c) (* a d)) (sqrt (+ (pow (* c c) 3) (pow (* d d) 3))))
  (/ (- (* b c) (* a d)) (sqrt (- (* (* c c) (* c c)) (* (* d d) (* d d)))))
  (* (+ (* (* a d) (+ (* a d) (* b c))) (* (* b c) (* b c))) (sqrt (+ (* c c) (* d d))))
  (* (sqrt (+ (* c c) (* d d))) (+ (* b c) (* a d)))
  (exp (- (* b c) (* a d)))
  (log (- (* b c) (* a d)))
  (exp (- (* b c) (* a d)))
  (* (cbrt (- (* b c) (* a d))) (cbrt (- (* b c) (* a d))))
  (cbrt (- (* b c) (* a d)))
  (pow (- (* b c) (* a d)) 3)
  (sqrt (- (* b c) (* a d)))
  (sqrt (- (* b c) (* a d)))
  (- (pow (* b c) 3) (pow (* a d) 3))
  (+ (* (* a d) (+ (* a d) (* b c))) (* (* b c) (* b c)))
  (neg (* a d))
  (- (* (* b c) (* b c)) (* (* a d) (* a d)))
  (+ (* b c) (* a d))
  (neg (* a d))
  d
  c
  (* -1 c)
  d
  c
  (* -1 c)
  (* -1 a)
  b
  (* -1 b)
  0
  (- (* b c) (* a d))
  (- (* b c) (* a d))
7.418 * * * [progress]: adding candidates to table
7.504 * [progress]: [Phase 3 of 3] Extracting.
7.504 * * [regime]: Finding splitpoints for: (#<alt (λ (a b c d) (/ (* -1 a) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) 0)> #<alt (λ (a b c d) (/ b (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (/ (* -1 b) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (exp (log (/ (- (* b c) (* a d)) (+ (* 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) (* (/ 1 (sqrt (+ (* c c) (* d d)))) (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))))> #<alt (λ (a b c d) (/ (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) (* (fabs (cbrt (+ (* c c) (* d d)))) (sqrt (cbrt (+ (* c c) (* d d)))))))> #<alt (λ (a b c d) (* (- (* b c) (* a d)) (/ 1 (+ (* c c) (* d d)))))> #<alt (λ (a b c 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))))))> #<alt (λ (a b c d) (* (/ 1 (sqrt (+ (* c c) (* d d)))) b))> #<alt (λ (a b c d) (/ (/ (- (* b c) (* a d)) (* -1 c)) (sqrt (+ (* c c) (* d d)))))>)
7.507 * * * [regime-changes]: Trying 5 branch expressions: ((/ (- (* b c) (* a d)) (+ (* c c) (* d d))) d c b a)
7.507 * * * * [regimes]: Trying to branch on (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) from (#<alt (λ (a b c d) (/ (* -1 a) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) 0)> #<alt (λ (a b c d) (/ b (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (/ (* -1 b) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (exp (log (/ (- (* b c) (* a d)) (+ (* 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) (* (/ 1 (sqrt (+ (* c c) (* d d)))) (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))))> #<alt (λ (a b c d) (/ (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) (* (fabs (cbrt (+ (* c c) (* d d)))) (sqrt (cbrt (+ (* c c) (* d d)))))))> #<alt (λ (a b c d) (* (- (* b c) (* a d)) (/ 1 (+ (* c c) (* d d)))))> #<alt (λ (a b c 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))))))> #<alt (λ (a b c d) (* (/ 1 (sqrt (+ (* c c) (* d d)))) b))> #<alt (λ (a b c d) (/ (/ (- (* b c) (* a d)) (* -1 c)) (sqrt (+ (* c c) (* d d)))))>)
7.599 * * * * [regimes]: Trying to branch on (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) from (#<alt (λ (a b c d) 0)> #<alt (λ (a b c d) (exp (log (/ (- (* b c) (* a d)) (+ (* c c) (* d d))))))> #<alt (λ (a b c 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))))))>)
7.650 * * * * [regimes]: Trying to branch on d from (#<alt (λ (a b c d) (/ (* -1 a) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) 0)> #<alt (λ (a b c d) (/ b (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (/ (* -1 b) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (exp (log (/ (- (* b c) (* a d)) (+ (* 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) (* (/ 1 (sqrt (+ (* c c) (* d d)))) (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))))> #<alt (λ (a b c d) (/ (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) (* (fabs (cbrt (+ (* c c) (* d d)))) (sqrt (cbrt (+ (* c c) (* d d)))))))> #<alt (λ (a b c d) (* (- (* b c) (* a d)) (/ 1 (+ (* c c) (* d d)))))> #<alt (λ (a b c 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))))))> #<alt (λ (a b c d) (* (/ 1 (sqrt (+ (* c c) (* d d)))) b))> #<alt (λ (a b c d) (/ (/ (- (* b c) (* a d)) (* -1 c)) (sqrt (+ (* c c) (* d d)))))>)
7.739 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a b c d) (/ (* -1 a) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) 0)> #<alt (λ (a b c d) (/ b (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (/ (* -1 b) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (exp (log (/ (- (* b c) (* a d)) (+ (* 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) (* (/ 1 (sqrt (+ (* c c) (* d d)))) (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))))> #<alt (λ (a b c d) (/ (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) (* (fabs (cbrt (+ (* c c) (* d d)))) (sqrt (cbrt (+ (* c c) (* d d)))))))> #<alt (λ (a b c d) (* (- (* b c) (* a d)) (/ 1 (+ (* c c) (* d d)))))> #<alt (λ (a b c 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))))))> #<alt (λ (a b c d) (* (/ 1 (sqrt (+ (* c c) (* d d)))) b))> #<alt (λ (a b c d) (/ (/ (- (* b c) (* a d)) (* -1 c)) (sqrt (+ (* c c) (* d d)))))>)
7.827 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b c d) (/ (* -1 a) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) 0)> #<alt (λ (a b c d) (/ b (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (/ (* -1 b) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (exp (log (/ (- (* b c) (* a d)) (+ (* 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) (* (/ 1 (sqrt (+ (* c c) (* d d)))) (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))))> #<alt (λ (a b c d) (/ (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) (* (fabs (cbrt (+ (* c c) (* d d)))) (sqrt (cbrt (+ (* c c) (* d d)))))))> #<alt (λ (a b c d) (* (- (* b c) (* a d)) (/ 1 (+ (* c c) (* d d)))))> #<alt (λ (a b c 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))))))> #<alt (λ (a b c d) (* (/ 1 (sqrt (+ (* c c) (* d d)))) b))> #<alt (λ (a b c d) (/ (/ (- (* b c) (* a d)) (* -1 c)) (sqrt (+ (* c c) (* d d)))))>)
7.916 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b c d) (/ (* -1 a) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) 0)> #<alt (λ (a b c d) (/ b (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (/ (* -1 b) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (exp (log (/ (- (* b c) (* a d)) (+ (* 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) (* (/ 1 (sqrt (+ (* c c) (* d d)))) (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))))> #<alt (λ (a b c d) (/ (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) (* (fabs (cbrt (+ (* c c) (* d d)))) (sqrt (cbrt (+ (* c c) (* d d)))))))> #<alt (λ (a b c d) (* (- (* b c) (* a d)) (/ 1 (+ (* c c) (* d d)))))> #<alt (λ (a b c 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))))))> #<alt (λ (a b c d) (* (/ 1 (sqrt (+ (* c c) (* d d)))) b))> #<alt (λ (a b c d) (/ (/ (- (* b c) (* a d)) (* -1 c)) (sqrt (+ (* c c) (* d d)))))>)
8.005 * * * [regime]: Found split indices: #<option (#s(si 5 188) #s(si 3 255))>
8.006 * [binary-search]: Only using regimes for bounds on (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) and (#<alt (λ (a b c d) (/ (* -1 a) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) 0)> #<alt (λ (a b c d) (/ b (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (/ (* -1 b) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (exp (log (/ (- (* b c) (* a d)) (+ (* 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) (* (/ 1 (sqrt (+ (* c c) (* d d)))) (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))))> #<alt (λ (a b c d) (/ (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) (* (fabs (cbrt (+ (* c c) (* d d)))) (sqrt (cbrt (+ (* c c) (* d d)))))))> #<alt (λ (a b c d) (* (- (* b c) (* a d)) (/ 1 (+ (* c c) (* d d)))))> #<alt (λ (a b c 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))))))> #<alt (λ (a b c d) (* (/ 1 (sqrt (+ (* c c) (* d d)))) b))> #<alt (λ (a b c d) (/ (/ (- (* b c) (* a d)) (* -1 c)) (sqrt (+ (* c c) (* d d)))))>)
8.006 * [regimes]: Found splitpoints: (#s(sp 5 (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) 6.964271266268849e+282) #s(sp 3 (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) +nan.0)) , with alts (#<alt (λ (a b c d) (/ (* -1 a) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) 0)> #<alt (λ (a b c d) (/ b (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (/ (* -1 b) (sqrt (+ (* c c) (* d d)))))> #<alt (λ (a b c d) (exp (log (/ (- (* b c) (* a d)) (+ (* 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) (* (/ 1 (sqrt (+ (* c c) (* d d)))) (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))))> #<alt (λ (a b c d) (/ (/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d)))) (* (fabs (cbrt (+ (* c c) (* d d)))) (sqrt (cbrt (+ (* c c) (* d d)))))))> #<alt (λ (a b c d) (* (- (* b c) (* a d)) (/ 1 (+ (* c c) (* d d)))))> #<alt (λ (a b c 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))))))> #<alt (λ (a b c d) (* (/ 1 (sqrt (+ (* c c) (* d d)))) b))> #<alt (λ (a b c d) (/ (/ (- (* b c) (* a d)) (* -1 c)) (sqrt (+ (* c c) (* d d)))))>)
8.006 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) 6.964271266268849e+282) (/ (/ 1 (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))) (sqrt (+ (* c c) (* d d)))) (/ (* -1 b) (sqrt (+ (* c c) (* d d)))))
8.007 * * [simplify]: iteration  0 :  29  enodes  (cost  27 )
8.007 * * [simplify]: iteration  1 :  31  enodes  (cost  27 )
8.007 * * [simplify]: iteration  2 :  31  enodes  (cost  27 )
8.008 * [simplify]: Simplified to:
   (if (<= (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) 6.964271266268849e+282) (/ (/ 1 (/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))) (sqrt (+ (* c c) (* d d)))) (/ (* -1 b) (sqrt (+ (* c c) (* d d)))))
17.051 * [regime-testing]: End program error score: 25.726434770118054
17.174 * [regime-testing]: Target error score: 0.45483771223965197