67.647 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.032 * * * [progress]: [2/2] Setting up program.
0.035 * [progress]: [Phase 2 of 3] Improving.
0.035 * [simplify]: Simplifying:
  (sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))
0.035 * * [simplify]: Extracting # 0 : cost  0
0.035 * * [simplify]: Extracting # 1 : cost  0
0.035 * * [simplify]: Extracting # 2 : cost  0
0.035 * * [simplify]: Extracting # 3 : cost  0
0.035 * * [simplify]: Extracting # 4 : cost  0
0.035 * * [simplify]: Extracting # 5 : cost  0
0.035 * * [simplify]: Extracting # 6 : cost  0
0.035 * * [simplify]: Extracting # 7 : cost  0
0.035 * * [simplify]: iteration  0 :  8  enodes  (cost  13 )
0.037 * * [simplify]: Extracting # 0 : cost  0
0.037 * * [simplify]: Extracting # 1 : cost  0
0.037 * * [simplify]: Extracting # 2 : cost  0
0.037 * * [simplify]: iteration  1 :  19  enodes  (cost  13 )
0.040 * * [simplify]: Extracting # 0 : cost  0
0.040 * * [simplify]: Extracting # 1 : cost  0
0.040 * * [simplify]: Extracting # 2 : cost  0
0.040 * * [simplify]: iteration  2 :  48  enodes  (cost  11 )
0.056 * * [simplify]: Extracting # 0 : cost  0
0.056 * * [simplify]: Extracting # 1 : cost  0
0.056 * * [simplify]: Extracting # 2 : cost  0
0.056 * * [simplify]: iteration  3 :  101  enodes  (cost  11 )
0.127 * * [simplify]: Extracting # 0 : cost  0
0.128 * * [simplify]: Extracting # 1 : cost  0
0.128 * * [simplify]: Extracting # 2 : cost  0
0.129 * * [simplify]: iteration  4 :  198  enodes  (cost  11 )
0.199 * * [simplify]: Extracting # 0 : cost  0
0.199 * * [simplify]: Extracting # 1 : cost  0
0.200 * * [simplify]: Extracting # 2 : cost  0
0.201 * * [simplify]: iteration  5 :  376  enodes  (cost  11 )
0.425 * * [simplify]: Extracting # 0 : cost  0
0.427 * * [simplify]: Extracting # 1 : cost  0
0.428 * * [simplify]: Extracting # 2 : cost  0
0.429 * * [simplify]: Extracting # 3 : cost  0
0.434 * * [simplify]: iteration  6 :  618  enodes  (cost  11 )
1.419 * * [simplify]: Extracting # 0 : cost  0
1.422 * * [simplify]: Extracting # 1 : cost  0
1.425 * * [simplify]: Extracting # 2 : cost  0
1.427 * * [simplify]: Extracting # 3 : cost  0
1.430 * * [simplify]: iteration  7 :  1653  enodes  (cost  11 )
5.428 * * [simplify]: Extracting # 0 : cost  0
5.434 * * [simplify]: Extracting # 1 : cost  0
5.451 * * [simplify]: Extracting # 2 : cost  0
5.460 * * [simplify]: Extracting # 3 : cost  0
5.465 * * [simplify]: Extracting # 4 : cost  0
5.469 * * [simplify]: iteration done:  5001  enodes  (cost  11 )
5.469 * [simplify]: Simplified to:
  (sqrt (fabs (- 1 (/ (* b b) (* a a)))))
5.473 * * [progress]: iteration 1 / 4
5.473 * * * [progress]: picking best candidate
5.475 * * * * [pick]: Picked  #<alt (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a))))))>
5.475 * * * [progress]: localizing error
5.484 * * * [progress]: generating rewritten candidates
5.484 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1 2)
5.511 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
5.516 * * * [progress]: generating series expansions
5.516 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1 2)
5.516 * [backup-simplify]: Simplify (/ (* b b) (* a a)) into (/ (pow b 2) (pow a 2))
5.516 * [approximate]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0
5.517 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a
5.517 * [taylor]: Taking taylor expansion of (pow b 2) in a
5.517 * [taylor]: Taking taylor expansion of b in a
5.517 * [backup-simplify]: Simplify b into b
5.517 * [taylor]: Taking taylor expansion of (pow a 2) in a
5.517 * [taylor]: Taking taylor expansion of a in a
5.517 * [backup-simplify]: Simplify 0 into 0
5.517 * [backup-simplify]: Simplify 1 into 1
5.517 * [backup-simplify]: Simplify (* b b) into (pow b 2)
5.518 * [backup-simplify]: Simplify (* 1 1) into 1
5.518 * [backup-simplify]: Simplify (/ (pow b 2) 1) into (pow b 2)
5.518 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
5.518 * [taylor]: Taking taylor expansion of (pow b 2) in b
5.518 * [taylor]: Taking taylor expansion of b in b
5.518 * [backup-simplify]: Simplify 0 into 0
5.518 * [backup-simplify]: Simplify 1 into 1
5.518 * [taylor]: Taking taylor expansion of (pow a 2) in b
5.519 * [taylor]: Taking taylor expansion of a in b
5.519 * [backup-simplify]: Simplify a into a
5.519 * [backup-simplify]: Simplify (* 1 1) into 1
5.519 * [backup-simplify]: Simplify (* a a) into (pow a 2)
5.519 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
5.519 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
5.519 * [taylor]: Taking taylor expansion of (pow b 2) in b
5.519 * [taylor]: Taking taylor expansion of b in b
5.519 * [backup-simplify]: Simplify 0 into 0
5.519 * [backup-simplify]: Simplify 1 into 1
5.520 * [taylor]: Taking taylor expansion of (pow a 2) in b
5.520 * [taylor]: Taking taylor expansion of a in b
5.520 * [backup-simplify]: Simplify a into a
5.520 * [backup-simplify]: Simplify (* 1 1) into 1
5.520 * [backup-simplify]: Simplify (* a a) into (pow a 2)
5.520 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
5.520 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
5.520 * [taylor]: Taking taylor expansion of (pow a 2) in a
5.520 * [taylor]: Taking taylor expansion of a in a
5.520 * [backup-simplify]: Simplify 0 into 0
5.521 * [backup-simplify]: Simplify 1 into 1
5.521 * [backup-simplify]: Simplify (* 1 1) into 1
5.521 * [backup-simplify]: Simplify (/ 1 1) into 1
5.521 * [backup-simplify]: Simplify 1 into 1
5.522 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.522 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
5.523 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0
5.523 * [taylor]: Taking taylor expansion of 0 in a
5.523 * [backup-simplify]: Simplify 0 into 0
5.523 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.523 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.524 * [backup-simplify]: Simplify 0 into 0
5.524 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.531 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
5.531 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0
5.531 * [taylor]: Taking taylor expansion of 0 in a
5.531 * [backup-simplify]: Simplify 0 into 0
5.534 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.534 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.534 * [backup-simplify]: Simplify 0 into 0
5.535 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.536 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
5.536 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0
5.536 * [taylor]: Taking taylor expansion of 0 in a
5.536 * [backup-simplify]: Simplify 0 into 0
5.536 * [backup-simplify]: Simplify 0 into 0
5.537 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.537 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.537 * [backup-simplify]: Simplify 0 into 0
5.538 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.539 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0
5.540 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0
5.540 * [taylor]: Taking taylor expansion of 0 in a
5.540 * [backup-simplify]: Simplify 0 into 0
5.540 * [backup-simplify]: Simplify 0 into 0
5.540 * [backup-simplify]: Simplify 0 into 0
5.540 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2))
5.541 * [backup-simplify]: Simplify (/ (* (/ 1 b) (/ 1 b)) (* (/ 1 a) (/ 1 a))) into (/ (pow a 2) (pow b 2))
5.541 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
5.541 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
5.541 * [taylor]: Taking taylor expansion of (pow a 2) in a
5.541 * [taylor]: Taking taylor expansion of a in a
5.541 * [backup-simplify]: Simplify 0 into 0
5.541 * [backup-simplify]: Simplify 1 into 1
5.541 * [taylor]: Taking taylor expansion of (pow b 2) in a
5.541 * [taylor]: Taking taylor expansion of b in a
5.541 * [backup-simplify]: Simplify b into b
5.541 * [backup-simplify]: Simplify (* 1 1) into 1
5.541 * [backup-simplify]: Simplify (* b b) into (pow b 2)
5.541 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
5.541 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
5.541 * [taylor]: Taking taylor expansion of (pow a 2) in b
5.541 * [taylor]: Taking taylor expansion of a in b
5.541 * [backup-simplify]: Simplify a into a
5.541 * [taylor]: Taking taylor expansion of (pow b 2) in b
5.541 * [taylor]: Taking taylor expansion of b in b
5.541 * [backup-simplify]: Simplify 0 into 0
5.541 * [backup-simplify]: Simplify 1 into 1
5.541 * [backup-simplify]: Simplify (* a a) into (pow a 2)
5.542 * [backup-simplify]: Simplify (* 1 1) into 1
5.542 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2)
5.542 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
5.542 * [taylor]: Taking taylor expansion of (pow a 2) in b
5.542 * [taylor]: Taking taylor expansion of a in b
5.542 * [backup-simplify]: Simplify a into a
5.542 * [taylor]: Taking taylor expansion of (pow b 2) in b
5.542 * [taylor]: Taking taylor expansion of b in b
5.542 * [backup-simplify]: Simplify 0 into 0
5.542 * [backup-simplify]: Simplify 1 into 1
5.542 * [backup-simplify]: Simplify (* a a) into (pow a 2)
5.542 * [backup-simplify]: Simplify (* 1 1) into 1
5.542 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2)
5.542 * [taylor]: Taking taylor expansion of (pow a 2) in a
5.542 * [taylor]: Taking taylor expansion of a in a
5.542 * [backup-simplify]: Simplify 0 into 0
5.542 * [backup-simplify]: Simplify 1 into 1
5.543 * [backup-simplify]: Simplify (* 1 1) into 1
5.543 * [backup-simplify]: Simplify 1 into 1
5.543 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
5.543 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.544 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
5.544 * [taylor]: Taking taylor expansion of 0 in a
5.544 * [backup-simplify]: Simplify 0 into 0
5.544 * [backup-simplify]: Simplify 0 into 0
5.544 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.544 * [backup-simplify]: Simplify 0 into 0
5.544 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
5.545 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.546 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.546 * [taylor]: Taking taylor expansion of 0 in a
5.546 * [backup-simplify]: Simplify 0 into 0
5.546 * [backup-simplify]: Simplify 0 into 0
5.546 * [backup-simplify]: Simplify 0 into 0
5.546 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.547 * [backup-simplify]: Simplify 0 into 0
5.547 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
5.548 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.549 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.549 * [taylor]: Taking taylor expansion of 0 in a
5.549 * [backup-simplify]: Simplify 0 into 0
5.549 * [backup-simplify]: Simplify 0 into 0
5.549 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2))
5.549 * [backup-simplify]: Simplify (/ (* (/ 1 (- b)) (/ 1 (- b))) (* (/ 1 (- a)) (/ 1 (- a)))) into (/ (pow a 2) (pow b 2))
5.549 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
5.549 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
5.549 * [taylor]: Taking taylor expansion of (pow a 2) in a
5.549 * [taylor]: Taking taylor expansion of a in a
5.549 * [backup-simplify]: Simplify 0 into 0
5.549 * [backup-simplify]: Simplify 1 into 1
5.549 * [taylor]: Taking taylor expansion of (pow b 2) in a
5.549 * [taylor]: Taking taylor expansion of b in a
5.549 * [backup-simplify]: Simplify b into b
5.550 * [backup-simplify]: Simplify (* 1 1) into 1
5.550 * [backup-simplify]: Simplify (* b b) into (pow b 2)
5.550 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
5.550 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
5.550 * [taylor]: Taking taylor expansion of (pow a 2) in b
5.550 * [taylor]: Taking taylor expansion of a in b
5.550 * [backup-simplify]: Simplify a into a
5.550 * [taylor]: Taking taylor expansion of (pow b 2) in b
5.550 * [taylor]: Taking taylor expansion of b in b
5.550 * [backup-simplify]: Simplify 0 into 0
5.550 * [backup-simplify]: Simplify 1 into 1
5.550 * [backup-simplify]: Simplify (* a a) into (pow a 2)
5.550 * [backup-simplify]: Simplify (* 1 1) into 1
5.550 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2)
5.550 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
5.550 * [taylor]: Taking taylor expansion of (pow a 2) in b
5.550 * [taylor]: Taking taylor expansion of a in b
5.550 * [backup-simplify]: Simplify a into a
5.550 * [taylor]: Taking taylor expansion of (pow b 2) in b
5.550 * [taylor]: Taking taylor expansion of b in b
5.550 * [backup-simplify]: Simplify 0 into 0
5.550 * [backup-simplify]: Simplify 1 into 1
5.551 * [backup-simplify]: Simplify (* a a) into (pow a 2)
5.551 * [backup-simplify]: Simplify (* 1 1) into 1
5.551 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2)
5.551 * [taylor]: Taking taylor expansion of (pow a 2) in a
5.551 * [taylor]: Taking taylor expansion of a in a
5.551 * [backup-simplify]: Simplify 0 into 0
5.551 * [backup-simplify]: Simplify 1 into 1
5.551 * [backup-simplify]: Simplify (* 1 1) into 1
5.551 * [backup-simplify]: Simplify 1 into 1
5.551 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
5.552 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.552 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
5.552 * [taylor]: Taking taylor expansion of 0 in a
5.552 * [backup-simplify]: Simplify 0 into 0
5.552 * [backup-simplify]: Simplify 0 into 0
5.553 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.553 * [backup-simplify]: Simplify 0 into 0
5.553 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
5.554 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.555 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.555 * [taylor]: Taking taylor expansion of 0 in a
5.555 * [backup-simplify]: Simplify 0 into 0
5.555 * [backup-simplify]: Simplify 0 into 0
5.555 * [backup-simplify]: Simplify 0 into 0
5.555 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.555 * [backup-simplify]: Simplify 0 into 0
5.556 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
5.556 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.557 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.557 * [taylor]: Taking taylor expansion of 0 in a
5.557 * [backup-simplify]: Simplify 0 into 0
5.557 * [backup-simplify]: Simplify 0 into 0
5.558 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2))
5.558 * * * * [progress]: [ 2 / 2 ] generating series at (2)
5.558 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (* b b) (* a a))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
5.558 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
5.558 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
5.558 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
5.558 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
5.559 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
5.559 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
5.559 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
5.559 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
5.559 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
5.559 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
5.560 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
5.560 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
5.560 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
5.560 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
5.560 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
5.560 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
5.560 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
5.560 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
5.561 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
5.561 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
5.561 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
5.561 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
5.561 * [taylor]: Taking taylor expansion of 0 in a
5.561 * [backup-simplify]: Simplify 0 into 0
5.561 * [backup-simplify]: Simplify 0 into 0
5.561 * [backup-simplify]: Simplify 0 into 0
5.562 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
5.562 * [taylor]: Taking taylor expansion of 0 in a
5.562 * [backup-simplify]: Simplify 0 into 0
5.562 * [backup-simplify]: Simplify 0 into 0
5.562 * [backup-simplify]: Simplify 0 into 0
5.563 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
5.563 * [backup-simplify]: Simplify 0 into 0
5.564 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
5.564 * [taylor]: Taking taylor expansion of 0 in a
5.564 * [backup-simplify]: Simplify 0 into 0
5.564 * [backup-simplify]: Simplify 0 into 0
5.564 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
5.564 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (* (/ 1 b) (/ 1 b)) (* (/ 1 a) (/ 1 a)))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
5.564 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
5.564 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
5.564 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
5.565 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
5.565 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
5.565 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
5.565 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
5.565 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
5.565 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
5.565 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
5.566 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
5.566 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
5.566 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
5.566 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
5.566 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
5.566 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
5.566 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
5.566 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
5.566 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
5.567 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
5.567 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
5.567 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
5.567 * [taylor]: Taking taylor expansion of 0 in a
5.567 * [backup-simplify]: Simplify 0 into 0
5.567 * [backup-simplify]: Simplify 0 into 0
5.567 * [backup-simplify]: Simplify 0 into 0
5.568 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
5.568 * [taylor]: Taking taylor expansion of 0 in a
5.568 * [backup-simplify]: Simplify 0 into 0
5.568 * [backup-simplify]: Simplify 0 into 0
5.568 * [backup-simplify]: Simplify 0 into 0
5.569 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
5.569 * [backup-simplify]: Simplify 0 into 0
5.569 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
5.569 * [taylor]: Taking taylor expansion of 0 in a
5.569 * [backup-simplify]: Simplify 0 into 0
5.569 * [backup-simplify]: Simplify 0 into 0
5.570 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 a) 2) (pow (/ 1 b) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
5.570 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (* (/ 1 (- b)) (/ 1 (- b))) (* (/ 1 (- a)) (/ 1 (- a))))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
5.570 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
5.570 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
5.570 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
5.570 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
5.570 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
5.571 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
5.571 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
5.571 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
5.571 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
5.571 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
5.571 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
5.571 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
5.571 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
5.571 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
5.572 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
5.572 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
5.572 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
5.572 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
5.572 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
5.572 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
5.572 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
5.573 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
5.573 * [taylor]: Taking taylor expansion of 0 in a
5.573 * [backup-simplify]: Simplify 0 into 0
5.573 * [backup-simplify]: Simplify 0 into 0
5.573 * [backup-simplify]: Simplify 0 into 0
5.574 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
5.574 * [taylor]: Taking taylor expansion of 0 in a
5.574 * [backup-simplify]: Simplify 0 into 0
5.574 * [backup-simplify]: Simplify 0 into 0
5.574 * [backup-simplify]: Simplify 0 into 0
5.574 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
5.574 * [backup-simplify]: Simplify 0 into 0
5.575 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
5.575 * [taylor]: Taking taylor expansion of 0 in a
5.575 * [backup-simplify]: Simplify 0 into 0
5.575 * [backup-simplify]: Simplify 0 into 0
5.575 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
5.575 * * * [progress]: simplifying candidates
5.576 * [simplify]: Simplifying:
  (expm1 (/ (* b b) (* a a)))
  (log1p (/ (* b b) (* a a)))
  (- (+ (log b) (log b)) (+ (log a) (log a)))
  (- (+ (log b) (log b)) (log (* a a)))
  (- (log (* b b)) (+ (log a) (log a)))
  (- (log (* b b)) (log (* a a)))
  (log (/ (* b b) (* a a)))
  (exp (/ (* b b) (* a a)))
  (/ (* (* (* b b) b) (* (* b b) b)) (* (* (* a a) a) (* (* a a) a)))
  (/ (* (* (* b b) b) (* (* b b) b)) (* (* (* a a) (* a a)) (* a a)))
  (/ (* (* (* b b) (* b b)) (* b b)) (* (* (* a a) a) (* (* a a) a)))
  (/ (* (* (* b b) (* b b)) (* b b)) (* (* (* a a) (* a a)) (* a a)))
  (* (cbrt (/ (* b b) (* a a))) (cbrt (/ (* b b) (* a a))))
  (cbrt (/ (* b b) (* a a)))
  (* (* (/ (* b b) (* a a)) (/ (* b b) (* a a))) (/ (* b b) (* a a)))
  (sqrt (/ (* b b) (* a a)))
  (sqrt (/ (* b b) (* a a)))
  (- (* b b))
  (- (* a a))
  (/ b a)
  (/ b a)
  (/ 1 (* a a))
  (/ (* a a) (* b b))
  (/ (* b b) a)
  (/ (* a a) b)
  (expm1 (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (log1p (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (log (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (exp (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (* (cbrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (cbrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))))
  (cbrt (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (* (* (sqrt (fabs (- 1 (/ (* b b) (* a a))))) (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (sqrt (* (cbrt (fabs (- 1 (/ (* b b) (* a a))))) (cbrt (fabs (- 1 (/ (* b b) (* a a)))))))
  (sqrt (cbrt (fabs (- 1 (/ (* b b) (* a a))))))
  (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (sqrt 1)
  (sqrt (fabs (- 1 (/ (* b b) (* a a)))))
  (/ 1 2)
  (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (/ (pow b 2) (pow a 2))
  (/ (pow b 2) (pow a 2))
  (/ (pow b 2) (pow a 2))
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
5.577 * * [simplify]: Extracting # 0 : cost  0
5.577 * * [simplify]: Extracting # 1 : cost  0
5.577 * * [simplify]: Extracting # 2 : cost  0
5.577 * * [simplify]: Extracting # 3 : cost  0
5.577 * * [simplify]: Extracting # 4 : cost  0
5.577 * * [simplify]: Extracting # 5 : cost  0
5.577 * * [simplify]: Extracting # 6 : cost  0
5.577 * * [simplify]: iteration  0 :  69  enodes  (cost  538 )
5.592 * * [simplify]: Extracting # 0 : cost  0
5.592 * * [simplify]: Extracting # 1 : cost  0
5.592 * * [simplify]: Extracting # 2 : cost  0
5.592 * * [simplify]: iteration  1 :  148  enodes  (cost  502 )
5.663 * * [simplify]: Extracting # 0 : cost  0
5.664 * * [simplify]: Extracting # 1 : cost  0
5.665 * * [simplify]: Extracting # 2 : cost  0
5.666 * * [simplify]: Extracting # 3 : cost  0
5.667 * * [simplify]: Extracting # 4 : cost  0
5.668 * * [simplify]: Extracting # 5 : cost  0
5.669 * * [simplify]: iteration  2 :  492  enodes  (cost  410 )
6.397 * * [simplify]: Extracting # 0 : cost  0
6.401 * * [simplify]: Extracting # 1 : cost  0
6.404 * * [simplify]: Extracting # 2 : cost  0
6.407 * * [simplify]: Extracting # 3 : cost  0
6.410 * * [simplify]: Extracting # 4 : cost  0
6.413 * * [simplify]: iteration  3 :  1862  enodes  (cost  395 )
14.503 * * [simplify]: Extracting # 0 : cost  0
14.511 * * [simplify]: Extracting # 1 : cost  0
14.514 * * [simplify]: Extracting # 2 : cost  0
14.517 * * [simplify]: Extracting # 3 : cost  0
14.520 * * [simplify]: Extracting # 4 : cost  0
14.530 * * [simplify]: iteration  4 :  4721  enodes  (cost  385 )
15.793 * * [simplify]: Extracting # 0 : cost  0
15.799 * * [simplify]: Extracting # 1 : cost  0
15.805 * * [simplify]: Extracting # 2 : cost  0
15.812 * * [simplify]: iteration done:  5000  enodes  (cost  385 )
15.812 * [simplify]: Simplified to:
  (expm1 (/ (* b b) (* a a)))
  (log1p (/ (* b b) (* a a)))
  (* (log (/ b a)) 2)
  (* (log (/ b a)) 2)
  (* (log (/ b a)) 2)
  (* (log (/ b a)) 2)
  (* (log (/ b a)) 2)
  (exp (/ (* b b) (* a a)))
  (pow (/ b a) 6)
  (pow (/ b a) 6)
  (pow (/ b a) 6)
  (pow (/ b a) 6)
  (* (cbrt (/ (* b b) (* a a))) (cbrt (/ (* b b) (* a a))))
  (cbrt (/ (* b b) (* a a)))
  (pow (/ b a) 6)
  (fabs (/ b a))
  (fabs (/ b a))
  (- (* b b))
  (- (* a a))
  (/ b a)
  (/ b a)
  (/ 1 (* a a))
  (/ (* a a) (* b b))
  (* b (/ b a))
  (* a (/ a b))
  (expm1 (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (log1p (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (log (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (exp (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (* (cbrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (cbrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))))
  (cbrt (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (pow (sqrt (fabs (- 1 (/ (* b b) (* a a))))) 3)
  (fabs (cbrt (fabs (- 1 (/ (* b b) (* a a))))))
  (sqrt (cbrt (fabs (- 1 (/ (* b b) (* a a))))))
  (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  1
  (sqrt (fabs (- 1 (/ (* b b) (* a a)))))
  1/2
  (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a))))))
  (/ (* b b) (* a a))
  (/ (* b b) (* a a))
  (/ (* b b) (* a a))
  (sqrt (fabs (- 1 (/ (* b b) (* a a)))))
  (sqrt (fabs (- 1 (/ (* b b) (* a a)))))
  (sqrt (fabs (- 1 (/ (* b b) (* a a)))))
15.813 * * * [progress]: adding candidates to table
15.991 * * [progress]: iteration 2 / 4
15.991 * * * [progress]: picking best candidate
15.993 * * * * [pick]: Picked  #<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))>
15.993 * * * [progress]: localizing error
16.001 * * * [progress]: generating rewritten candidates
16.002 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1 2)
16.039 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
16.455 * * * [progress]: generating series expansions
16.455 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1 2)
16.455 * [backup-simplify]: Simplify (* (/ b a) (/ b a)) into (/ (pow b 2) (pow a 2))
16.455 * [approximate]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0
16.455 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a
16.455 * [taylor]: Taking taylor expansion of (pow b 2) in a
16.455 * [taylor]: Taking taylor expansion of b in a
16.455 * [backup-simplify]: Simplify b into b
16.455 * [taylor]: Taking taylor expansion of (pow a 2) in a
16.455 * [taylor]: Taking taylor expansion of a in a
16.455 * [backup-simplify]: Simplify 0 into 0
16.455 * [backup-simplify]: Simplify 1 into 1
16.456 * [backup-simplify]: Simplify (* b b) into (pow b 2)
16.456 * [backup-simplify]: Simplify (* 1 1) into 1
16.456 * [backup-simplify]: Simplify (/ (pow b 2) 1) into (pow b 2)
16.456 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
16.456 * [taylor]: Taking taylor expansion of (pow b 2) in b
16.457 * [taylor]: Taking taylor expansion of b in b
16.457 * [backup-simplify]: Simplify 0 into 0
16.457 * [backup-simplify]: Simplify 1 into 1
16.457 * [taylor]: Taking taylor expansion of (pow a 2) in b
16.457 * [taylor]: Taking taylor expansion of a in b
16.457 * [backup-simplify]: Simplify a into a
16.457 * [backup-simplify]: Simplify (* 1 1) into 1
16.457 * [backup-simplify]: Simplify (* a a) into (pow a 2)
16.457 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
16.457 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
16.457 * [taylor]: Taking taylor expansion of (pow b 2) in b
16.457 * [taylor]: Taking taylor expansion of b in b
16.457 * [backup-simplify]: Simplify 0 into 0
16.457 * [backup-simplify]: Simplify 1 into 1
16.457 * [taylor]: Taking taylor expansion of (pow a 2) in b
16.458 * [taylor]: Taking taylor expansion of a in b
16.458 * [backup-simplify]: Simplify a into a
16.458 * [backup-simplify]: Simplify (* 1 1) into 1
16.458 * [backup-simplify]: Simplify (* a a) into (pow a 2)
16.458 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
16.458 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
16.458 * [taylor]: Taking taylor expansion of (pow a 2) in a
16.458 * [taylor]: Taking taylor expansion of a in a
16.458 * [backup-simplify]: Simplify 0 into 0
16.458 * [backup-simplify]: Simplify 1 into 1
16.459 * [backup-simplify]: Simplify (* 1 1) into 1
16.459 * [backup-simplify]: Simplify (/ 1 1) into 1
16.459 * [backup-simplify]: Simplify 1 into 1
16.460 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.460 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
16.460 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0
16.460 * [taylor]: Taking taylor expansion of 0 in a
16.460 * [backup-simplify]: Simplify 0 into 0
16.461 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.462 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
16.462 * [backup-simplify]: Simplify 0 into 0
16.463 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.466 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
16.467 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0
16.467 * [taylor]: Taking taylor expansion of 0 in a
16.467 * [backup-simplify]: Simplify 0 into 0
16.468 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.469 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.469 * [backup-simplify]: Simplify 0 into 0
16.470 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.471 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
16.471 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0
16.471 * [taylor]: Taking taylor expansion of 0 in a
16.472 * [backup-simplify]: Simplify 0 into 0
16.472 * [backup-simplify]: Simplify 0 into 0
16.473 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.474 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.474 * [backup-simplify]: Simplify 0 into 0
16.475 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.476 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0
16.477 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0
16.477 * [taylor]: Taking taylor expansion of 0 in a
16.477 * [backup-simplify]: Simplify 0 into 0
16.477 * [backup-simplify]: Simplify 0 into 0
16.477 * [backup-simplify]: Simplify 0 into 0
16.477 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2))
16.478 * [backup-simplify]: Simplify (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))) into (/ (pow a 2) (pow b 2))
16.478 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
16.478 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
16.478 * [taylor]: Taking taylor expansion of (pow a 2) in a
16.478 * [taylor]: Taking taylor expansion of a in a
16.478 * [backup-simplify]: Simplify 0 into 0
16.478 * [backup-simplify]: Simplify 1 into 1
16.478 * [taylor]: Taking taylor expansion of (pow b 2) in a
16.478 * [taylor]: Taking taylor expansion of b in a
16.478 * [backup-simplify]: Simplify b into b
16.478 * [backup-simplify]: Simplify (* 1 1) into 1
16.478 * [backup-simplify]: Simplify (* b b) into (pow b 2)
16.478 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
16.478 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
16.479 * [taylor]: Taking taylor expansion of (pow a 2) in b
16.479 * [taylor]: Taking taylor expansion of a in b
16.479 * [backup-simplify]: Simplify a into a
16.479 * [taylor]: Taking taylor expansion of (pow b 2) in b
16.479 * [taylor]: Taking taylor expansion of b in b
16.479 * [backup-simplify]: Simplify 0 into 0
16.479 * [backup-simplify]: Simplify 1 into 1
16.479 * [backup-simplify]: Simplify (* a a) into (pow a 2)
16.479 * [backup-simplify]: Simplify (* 1 1) into 1
16.479 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2)
16.479 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
16.479 * [taylor]: Taking taylor expansion of (pow a 2) in b
16.479 * [taylor]: Taking taylor expansion of a in b
16.479 * [backup-simplify]: Simplify a into a
16.479 * [taylor]: Taking taylor expansion of (pow b 2) in b
16.479 * [taylor]: Taking taylor expansion of b in b
16.479 * [backup-simplify]: Simplify 0 into 0
16.479 * [backup-simplify]: Simplify 1 into 1
16.480 * [backup-simplify]: Simplify (* a a) into (pow a 2)
16.480 * [backup-simplify]: Simplify (* 1 1) into 1
16.480 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2)
16.480 * [taylor]: Taking taylor expansion of (pow a 2) in a
16.480 * [taylor]: Taking taylor expansion of a in a
16.480 * [backup-simplify]: Simplify 0 into 0
16.480 * [backup-simplify]: Simplify 1 into 1
16.481 * [backup-simplify]: Simplify (* 1 1) into 1
16.481 * [backup-simplify]: Simplify 1 into 1
16.481 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
16.481 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.482 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
16.482 * [taylor]: Taking taylor expansion of 0 in a
16.482 * [backup-simplify]: Simplify 0 into 0
16.482 * [backup-simplify]: Simplify 0 into 0
16.483 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.483 * [backup-simplify]: Simplify 0 into 0
16.483 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
16.484 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.486 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.486 * [taylor]: Taking taylor expansion of 0 in a
16.486 * [backup-simplify]: Simplify 0 into 0
16.486 * [backup-simplify]: Simplify 0 into 0
16.486 * [backup-simplify]: Simplify 0 into 0
16.487 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.487 * [backup-simplify]: Simplify 0 into 0
16.488 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
16.489 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.491 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.491 * [taylor]: Taking taylor expansion of 0 in a
16.491 * [backup-simplify]: Simplify 0 into 0
16.491 * [backup-simplify]: Simplify 0 into 0
16.491 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2))
16.491 * [backup-simplify]: Simplify (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))) into (/ (pow a 2) (pow b 2))
16.491 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
16.491 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
16.491 * [taylor]: Taking taylor expansion of (pow a 2) in a
16.491 * [taylor]: Taking taylor expansion of a in a
16.491 * [backup-simplify]: Simplify 0 into 0
16.491 * [backup-simplify]: Simplify 1 into 1
16.492 * [taylor]: Taking taylor expansion of (pow b 2) in a
16.492 * [taylor]: Taking taylor expansion of b in a
16.492 * [backup-simplify]: Simplify b into b
16.492 * [backup-simplify]: Simplify (* 1 1) into 1
16.492 * [backup-simplify]: Simplify (* b b) into (pow b 2)
16.492 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
16.492 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
16.492 * [taylor]: Taking taylor expansion of (pow a 2) in b
16.492 * [taylor]: Taking taylor expansion of a in b
16.492 * [backup-simplify]: Simplify a into a
16.492 * [taylor]: Taking taylor expansion of (pow b 2) in b
16.492 * [taylor]: Taking taylor expansion of b in b
16.492 * [backup-simplify]: Simplify 0 into 0
16.492 * [backup-simplify]: Simplify 1 into 1
16.492 * [backup-simplify]: Simplify (* a a) into (pow a 2)
16.493 * [backup-simplify]: Simplify (* 1 1) into 1
16.493 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2)
16.493 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
16.493 * [taylor]: Taking taylor expansion of (pow a 2) in b
16.493 * [taylor]: Taking taylor expansion of a in b
16.493 * [backup-simplify]: Simplify a into a
16.493 * [taylor]: Taking taylor expansion of (pow b 2) in b
16.493 * [taylor]: Taking taylor expansion of b in b
16.493 * [backup-simplify]: Simplify 0 into 0
16.493 * [backup-simplify]: Simplify 1 into 1
16.493 * [backup-simplify]: Simplify (* a a) into (pow a 2)
16.494 * [backup-simplify]: Simplify (* 1 1) into 1
16.494 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2)
16.494 * [taylor]: Taking taylor expansion of (pow a 2) in a
16.494 * [taylor]: Taking taylor expansion of a in a
16.494 * [backup-simplify]: Simplify 0 into 0
16.494 * [backup-simplify]: Simplify 1 into 1
16.494 * [backup-simplify]: Simplify (* 1 1) into 1
16.494 * [backup-simplify]: Simplify 1 into 1
16.495 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
16.495 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.496 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
16.496 * [taylor]: Taking taylor expansion of 0 in a
16.496 * [backup-simplify]: Simplify 0 into 0
16.496 * [backup-simplify]: Simplify 0 into 0
16.497 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.497 * [backup-simplify]: Simplify 0 into 0
16.497 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
16.498 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.500 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.500 * [taylor]: Taking taylor expansion of 0 in a
16.500 * [backup-simplify]: Simplify 0 into 0
16.500 * [backup-simplify]: Simplify 0 into 0
16.500 * [backup-simplify]: Simplify 0 into 0
16.501 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.501 * [backup-simplify]: Simplify 0 into 0
16.501 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
16.502 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.504 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.504 * [taylor]: Taking taylor expansion of 0 in a
16.504 * [backup-simplify]: Simplify 0 into 0
16.504 * [backup-simplify]: Simplify 0 into 0
16.505 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2))
16.505 * * * * [progress]: [ 2 / 2 ] generating series at (2)
16.505 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
16.505 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
16.505 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
16.505 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
16.506 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
16.506 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
16.506 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
16.506 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
16.506 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
16.507 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
16.507 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
16.507 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
16.507 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
16.507 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
16.508 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
16.508 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
16.508 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
16.509 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
16.509 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
16.509 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
16.509 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
16.510 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
16.510 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
16.510 * [taylor]: Taking taylor expansion of 0 in a
16.510 * [backup-simplify]: Simplify 0 into 0
16.510 * [backup-simplify]: Simplify 0 into 0
16.510 * [backup-simplify]: Simplify 0 into 0
16.512 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
16.512 * [taylor]: Taking taylor expansion of 0 in a
16.512 * [backup-simplify]: Simplify 0 into 0
16.512 * [backup-simplify]: Simplify 0 into 0
16.512 * [backup-simplify]: Simplify 0 into 0
16.513 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
16.513 * [backup-simplify]: Simplify 0 into 0
16.514 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
16.514 * [taylor]: Taking taylor expansion of 0 in a
16.514 * [backup-simplify]: Simplify 0 into 0
16.514 * [backup-simplify]: Simplify 0 into 0
16.515 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
16.515 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a)))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
16.515 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
16.515 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
16.515 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
16.515 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
16.515 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
16.516 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
16.516 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
16.516 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
16.516 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
16.516 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
16.516 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
16.516 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
16.516 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
16.516 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
16.517 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
16.517 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
16.517 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
16.517 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
16.517 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
16.517 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
16.517 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
16.518 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
16.518 * [taylor]: Taking taylor expansion of 0 in a
16.518 * [backup-simplify]: Simplify 0 into 0
16.518 * [backup-simplify]: Simplify 0 into 0
16.518 * [backup-simplify]: Simplify 0 into 0
16.519 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
16.519 * [taylor]: Taking taylor expansion of 0 in a
16.519 * [backup-simplify]: Simplify 0 into 0
16.519 * [backup-simplify]: Simplify 0 into 0
16.519 * [backup-simplify]: Simplify 0 into 0
16.519 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
16.519 * [backup-simplify]: Simplify 0 into 0
16.520 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
16.520 * [taylor]: Taking taylor expansion of 0 in a
16.520 * [backup-simplify]: Simplify 0 into 0
16.520 * [backup-simplify]: Simplify 0 into 0
16.520 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 a) 2) (pow (/ 1 b) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
16.521 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a))))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
16.521 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
16.521 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
16.521 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
16.521 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
16.521 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
16.521 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
16.521 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
16.521 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
16.522 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
16.522 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
16.522 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
16.522 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
16.522 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
16.522 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
16.522 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
16.523 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
16.523 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
16.523 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
16.523 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
16.523 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
16.523 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
16.523 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
16.523 * [taylor]: Taking taylor expansion of 0 in a
16.524 * [backup-simplify]: Simplify 0 into 0
16.524 * [backup-simplify]: Simplify 0 into 0
16.524 * [backup-simplify]: Simplify 0 into 0
16.524 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
16.524 * [taylor]: Taking taylor expansion of 0 in a
16.524 * [backup-simplify]: Simplify 0 into 0
16.524 * [backup-simplify]: Simplify 0 into 0
16.524 * [backup-simplify]: Simplify 0 into 0
16.525 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
16.525 * [backup-simplify]: Simplify 0 into 0
16.526 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
16.526 * [taylor]: Taking taylor expansion of 0 in a
16.526 * [backup-simplify]: Simplify 0 into 0
16.526 * [backup-simplify]: Simplify 0 into 0
16.526 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
16.526 * * * [progress]: simplifying candidates
16.528 * [simplify]: Simplifying:
  (expm1 (* (/ b a) (/ b a)))
  (log1p (* (/ b a) (/ b a)))
  (+ 1 1)
  (* (/ b a) (/ b a))
  (+ 1 1)
  (+ (- (log b) (log a)) (- (log b) (log a)))
  (+ (- (log b) (log a)) (log (/ b a)))
  (+ (log (/ b a)) (- (log b) (log a)))
  (+ (log (/ b a)) (log (/ b a)))
  (log (* (/ b a) (/ b a)))
  (exp (* (/ b a) (/ b a)))
  (* (/ (* (* b b) b) (* (* a a) a)) (/ (* (* b b) b) (* (* a a) a)))
  (* (/ (* (* b b) b) (* (* a a) a)) (* (* (/ b a) (/ b a)) (/ b a)))
  (* (* (* (/ b a) (/ b a)) (/ b a)) (/ (* (* b b) b) (* (* a a) a)))
  (* (* (* (/ b a) (/ b a)) (/ b a)) (* (* (/ b a) (/ b a)) (/ b a)))
  (* (cbrt (* (/ b a) (/ b a))) (cbrt (* (/ b a) (/ b a))))
  (cbrt (* (/ b a) (/ b a)))
  (* (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))) (* (/ b a) (/ b a)))
  (sqrt (* (/ b a) (/ b a)))
  (sqrt (* (/ b a) (/ b a)))
  (* b b)
  (* a a)
  (* (* (cbrt (/ b a)) (cbrt (/ b a))) (* (cbrt (/ b a)) (cbrt (/ b a))))
  (* (cbrt (/ b a)) (cbrt (/ b a)))
  (* (sqrt (/ b a)) (sqrt (/ b a)))
  (* (sqrt (/ b a)) (sqrt (/ b a)))
  (* (/ (* (cbrt b) (cbrt b)) (* (cbrt a) (cbrt a))) (/ (* (cbrt b) (cbrt b)) (* (cbrt a) (cbrt a))))
  (* (/ (cbrt b) (cbrt a)) (/ (cbrt b) (cbrt a)))
  (* (/ (* (cbrt b) (cbrt b)) (sqrt a)) (/ (* (cbrt b) (cbrt b)) (sqrt a)))
  (* (/ (cbrt b) (sqrt a)) (/ (cbrt b) (sqrt a)))
  (* (/ (* (cbrt b) (cbrt b)) 1) (/ (* (cbrt b) (cbrt b)) 1))
  (* (/ (cbrt b) a) (/ (cbrt b) a))
  (* (/ (sqrt b) (* (cbrt a) (cbrt a))) (/ (sqrt b) (* (cbrt a) (cbrt a))))
  (* (/ (sqrt b) (cbrt a)) (/ (sqrt b) (cbrt a)))
  (* (/ (sqrt b) (sqrt a)) (/ (sqrt b) (sqrt a)))
  (* (/ (sqrt b) (sqrt a)) (/ (sqrt b) (sqrt a)))
  (* (/ (sqrt b) 1) (/ (sqrt b) 1))
  (* (/ (sqrt b) a) (/ (sqrt b) a))
  (* (/ 1 (* (cbrt a) (cbrt a))) (/ 1 (* (cbrt a) (cbrt a))))
  (* (/ b (cbrt a)) (/ b (cbrt a)))
  (* (/ 1 (sqrt a)) (/ 1 (sqrt a)))
  (* (/ b (sqrt a)) (/ b (sqrt a)))
  (* (/ 1 1) (/ 1 1))
  (* (/ b a) (/ b a))
  (* 1 1)
  (* (/ b a) (/ b a))
  (* b b)
  (* (/ 1 a) (/ 1 a))
  (* (sqrt (/ b a)) (sqrt (/ b a)))
  (* (sqrt (/ b a)) (sqrt (/ b a)))
  (* (sqrt (/ b a)) (/ (sqrt b) (sqrt a)))
  (* (sqrt (/ b a)) (/ (sqrt b) (sqrt a)))
  (* (/ (sqrt b) (sqrt a)) (sqrt (/ b a)))
  (* (/ (sqrt b) (sqrt a)) (sqrt (/ b a)))
  (* (/ (sqrt b) (sqrt a)) (/ (sqrt b) (sqrt a)))
  (* (/ (sqrt b) (sqrt a)) (/ (sqrt b) (sqrt a)))
  (* 2 1)
  (* (/ b a) (* (cbrt (/ b a)) (cbrt (/ b a))))
  (* (/ b a) (sqrt (/ b a)))
  (* (/ b a) (/ (* (cbrt b) (cbrt b)) (* (cbrt a) (cbrt a))))
  (* (/ b a) (/ (* (cbrt b) (cbrt b)) (sqrt a)))
  (* (/ b a) (/ (* (cbrt b) (cbrt b)) 1))
  (* (/ b a) (/ (sqrt b) (* (cbrt a) (cbrt a))))
  (* (/ b a) (/ (sqrt b) (sqrt a)))
  (* (/ b a) (/ (sqrt b) 1))
  (* (/ b a) (/ 1 (* (cbrt a) (cbrt a))))
  (* (/ b a) (/ 1 (sqrt a)))
  (* (/ b a) (/ 1 1))
  (* (/ b a) 1)
  (* (/ b a) b)
  (* (cbrt (/ b a)) (/ b a))
  (* (sqrt (/ b a)) (/ b a))
  (* (/ (cbrt b) (cbrt a)) (/ b a))
  (* (/ (cbrt b) (sqrt a)) (/ b a))
  (* (/ (cbrt b) a) (/ b a))
  (* (/ (sqrt b) (cbrt a)) (/ b a))
  (* (/ (sqrt b) (sqrt a)) (/ b a))
  (* (/ (sqrt b) a) (/ b a))
  (* (/ b (cbrt a)) (/ b a))
  (* (/ b (sqrt a)) (/ b a))
  (* (/ b a) (/ b a))
  (* (/ b a) (/ b a))
  (* (/ 1 a) (/ b a))
  (* (/ b a) b)
  (* b (/ b a))
  (expm1 (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
  (log1p (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
  (log (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
  (exp (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
  (* (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))
  (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
  (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
  (sqrt (* (cbrt (fabs (- 1 (* (/ b a) (/ b a))))) (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))))
  (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))
  (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
  (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
  (sqrt 1)
  (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
  (/ 1 2)
  (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
  (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
  (/ (pow b 2) (pow a 2))
  (/ (pow b 2) (pow a 2))
  (/ (pow b 2) (pow a 2))
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
16.529 * * [simplify]: Extracting # 0 : cost  0
16.530 * * [simplify]: Extracting # 1 : cost  0
16.530 * * [simplify]: Extracting # 2 : cost  0
16.530 * * [simplify]: Extracting # 3 : cost  0
16.530 * * [simplify]: Extracting # 4 : cost  0
16.530 * * [simplify]: Extracting # 5 : cost  0
16.530 * * [simplify]: iteration  0 :  132  enodes  (cost  1119 )
16.572 * * [simplify]: Extracting # 0 : cost  0
16.573 * * [simplify]: Extracting # 1 : cost  0
16.573 * * [simplify]: Extracting # 2 : cost  0
16.574 * * [simplify]: iteration  1 :  347  enodes  (cost  1003 )
16.816 * * [simplify]: Extracting # 0 : cost  0
16.819 * * [simplify]: Extracting # 1 : cost  0
16.821 * * [simplify]: Extracting # 2 : cost  0
16.824 * * [simplify]: Extracting # 3 : cost  0
16.827 * * [simplify]: Extracting # 4 : cost  0
16.829 * * [simplify]: iteration  2 :  1154  enodes  (cost  874 )
18.709 * * [simplify]: Extracting # 0 : cost  0
18.715 * * [simplify]: Extracting # 1 : cost  0
18.720 * * [simplify]: Extracting # 2 : cost  0
18.725 * * [simplify]: Extracting # 3 : cost  0
18.730 * * [simplify]: Extracting # 4 : cost  0
18.735 * * [simplify]: iteration  3 :  4969  enodes  (cost  763 )
20.835 * * [simplify]: Extracting # 0 : cost  0
20.841 * * [simplify]: Extracting # 1 : cost  0
20.846 * * [simplify]: Extracting # 2 : cost  0
20.851 * * [simplify]: iteration done:  5000  enodes  (cost  763 )
20.852 * [simplify]: Simplified to:
  (expm1 (pow (sqrt (/ b a)) 4))
  (log1p (pow (sqrt (/ b a)) 4))
  2
  (pow (sqrt (/ b a)) 4)
  2
  (* 2 (log (/ b a)))
  (* 2 (log (/ b a)))
  (* 2 (log (/ b a)))
  (* 2 (log (/ b a)))
  (* 2 (log (/ b a)))
  (exp (pow (sqrt (/ b a)) 4))
  (pow (/ b a) 6)
  (pow (/ b a) 6)
  (pow (/ b a) 6)
  (pow (/ b a) 6)
  (* (cbrt (pow (sqrt (/ b a)) 4)) (cbrt (pow (sqrt (/ b a)) 4)))
  (cbrt (pow (sqrt (/ b a)) 4))
  (pow (/ b a) 6)
  (fabs (/ b a))
  (fabs (/ b a))
  (* b b)
  (* a a)
  (pow (cbrt (/ b a)) 4)
  (* (cbrt (/ b a)) (cbrt (/ b a)))
  (/ b a)
  (/ b a)
  (* (pow (/ (cbrt b) (cbrt a)) 3) (/ (cbrt b) (cbrt a)))
  (/ (/ (cbrt b) (cbrt a)) (/ (cbrt a) (cbrt b)))
  (/ (* (cbrt b) (pow (cbrt b) 3)) a)
  (* (/ (cbrt b) a) (cbrt b))
  (* (cbrt b) (pow (cbrt b) 3))
  (* (/ (cbrt b) a) (/ (cbrt b) a))
  (/ (/ (/ b (cbrt a)) (cbrt a)) (* (cbrt a) (cbrt a)))
  (/ (/ b (cbrt a)) (cbrt a))
  (/ b a)
  (/ b a)
  b
  (/ b (* a a))
  (/ (/ (/ 1 (cbrt a)) (cbrt a)) (* (cbrt a) (cbrt a)))
  (* (/ b (cbrt a)) (/ b (cbrt a)))
  (/ 1 a)
  (* (/ b a) b)
  1
  (pow (sqrt (/ b a)) 4)
  1
  (pow (sqrt (/ b a)) 4)
  (* b b)
  (/ (/ 1 a) a)
  (/ b a)
  (/ b a)
  (* (/ (sqrt b) (sqrt a)) (sqrt (/ b a)))
  (* (/ (sqrt b) (sqrt a)) (sqrt (/ b a)))
  (* (/ (sqrt b) (sqrt a)) (sqrt (/ b a)))
  (* (/ (sqrt b) (sqrt a)) (sqrt (/ b a)))
  (/ b a)
  (/ b a)
  2
  (* (cbrt (/ b a)) (pow (cbrt (/ b a)) 4))
  (pow (sqrt (/ b a)) 3)
  (* (/ b a) (/ (* (cbrt b) (cbrt b)) (* (cbrt a) (cbrt a))))
  (* (/ b a) (/ (* (cbrt b) (cbrt b)) (sqrt a)))
  (* (/ b a) (* (cbrt b) (cbrt b)))
  (* (/ b a) (/ (sqrt b) (* (cbrt a) (cbrt a))))
  (* (/ (sqrt b) (sqrt a)) (/ b a))
  (* (/ (sqrt b) a) b)
  (/ (/ b a) (* (cbrt a) (cbrt a)))
  (/ (/ b a) (sqrt a))
  (/ b a)
  (/ b a)
  (* (/ b a) b)
  (pow (cbrt (/ b a)) 4)
  (pow (sqrt (/ b a)) 3)
  (* (/ (cbrt b) (cbrt a)) (/ b a))
  (* (/ (cbrt b) (sqrt a)) (/ b a))
  (* (/ (cbrt b) a) (/ b a))
  (* (/ (sqrt b) (cbrt a)) (/ b a))
  (* (/ (sqrt b) (sqrt a)) (/ b a))
  (* (/ (sqrt b) a) (/ b a))
  (* (/ b (cbrt a)) (/ b a))
  (* (/ b (sqrt a)) (/ b a))
  (pow (sqrt (/ b a)) 4)
  (pow (sqrt (/ b a)) 4)
  (/ b (* a a))
  (* (/ b a) b)
  (* (/ b a) b)
  (expm1 (sqrt (fabs (- 1 (pow (sqrt (/ b a)) 4)))))
  (log1p (sqrt (fabs (- 1 (pow (sqrt (/ b a)) 4)))))
  (log (sqrt (fabs (- 1 (pow (sqrt (/ b a)) 4)))))
  (exp (sqrt (fabs (- 1 (pow (sqrt (/ b a)) 4)))))
  (* (cbrt (sqrt (fabs (- 1 (pow (sqrt (/ b a)) 4))))) (cbrt (sqrt (fabs (- 1 (pow (sqrt (/ b a)) 4))))))
  (cbrt (sqrt (fabs (- 1 (pow (sqrt (/ b a)) 4)))))
  (pow (sqrt (fabs (- 1 (pow (sqrt (/ b a)) 4)))) 3)
  (fabs (cbrt (fabs (- 1 (pow (sqrt (/ b a)) 4)))))
  (sqrt (cbrt (fabs (- 1 (pow (sqrt (/ b a)) 4)))))
  (sqrt (sqrt (fabs (- 1 (pow (sqrt (/ b a)) 4)))))
  (sqrt (sqrt (fabs (- 1 (pow (sqrt (/ b a)) 4)))))
  1
  (sqrt (fabs (- 1 (pow (sqrt (/ b a)) 4))))
  1/2
  (sqrt (sqrt (fabs (- 1 (pow (sqrt (/ b a)) 4)))))
  (sqrt (sqrt (fabs (- 1 (pow (sqrt (/ b a)) 4)))))
  (pow (sqrt (/ b a)) 4)
  (pow (sqrt (/ b a)) 4)
  (pow (sqrt (/ b a)) 4)
  (sqrt (fabs (- 1 (pow (sqrt (/ b a)) 4))))
  (sqrt (fabs (- 1 (pow (sqrt (/ b a)) 4))))
  (sqrt (fabs (- 1 (pow (sqrt (/ b a)) 4))))
20.853 * * * [progress]: adding candidates to table
21.202 * * [progress]: iteration 3 / 4
21.202 * * * [progress]: picking best candidate
21.205 * * * * [pick]: Picked  #<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (pow (sqrt (/ b a)) 4)))))))>
21.205 * * * [progress]: localizing error
21.222 * * * [progress]: generating rewritten candidates
21.222 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
21.270 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1)
21.284 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 1 1)
21.292 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
21.299 * * * [progress]: generating series expansions
21.299 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
21.300 * [backup-simplify]: Simplify (log (exp (pow (sqrt (/ b a)) 4))) into (pow (sqrt (/ b a)) 4)
21.300 * [approximate]: Taking taylor expansion of (pow (sqrt (/ b a)) 4) in (b a) around 0
21.300 * [taylor]: Taking taylor expansion of (pow (sqrt (/ b a)) 4) in a
21.300 * [taylor]: Taking taylor expansion of (sqrt (/ b a)) in a
21.300 * [taylor]: Taking taylor expansion of (/ b a) in a
21.300 * [taylor]: Taking taylor expansion of b in a
21.300 * [backup-simplify]: Simplify b into b
21.300 * [taylor]: Taking taylor expansion of a in a
21.300 * [backup-simplify]: Simplify 0 into 0
21.300 * [backup-simplify]: Simplify 1 into 1
21.300 * [backup-simplify]: Simplify (/ b 1) into b
21.300 * [backup-simplify]: Simplify (sqrt 0) into 0
21.301 * [backup-simplify]: Simplify (/ b (* 2 (sqrt 0))) into (* +nan.0 b)
21.301 * [taylor]: Taking taylor expansion of (pow (sqrt (/ b a)) 4) in b
21.301 * [taylor]: Taking taylor expansion of (sqrt (/ b a)) in b
21.301 * [taylor]: Taking taylor expansion of (/ b a) in b
21.301 * [taylor]: Taking taylor expansion of b in b
21.301 * [backup-simplify]: Simplify 0 into 0
21.301 * [backup-simplify]: Simplify 1 into 1
21.301 * [taylor]: Taking taylor expansion of a in b
21.301 * [backup-simplify]: Simplify a into a
21.301 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
21.301 * [backup-simplify]: Simplify (sqrt 0) into 0
21.302 * [backup-simplify]: Simplify (/ (/ 1 a) (* 2 (sqrt 0))) into (/ +nan.0 a)
21.302 * [taylor]: Taking taylor expansion of (pow (sqrt (/ b a)) 4) in b
21.302 * [taylor]: Taking taylor expansion of (sqrt (/ b a)) in b
21.302 * [taylor]: Taking taylor expansion of (/ b a) in b
21.302 * [taylor]: Taking taylor expansion of b in b
21.302 * [backup-simplify]: Simplify 0 into 0
21.302 * [backup-simplify]: Simplify 1 into 1
21.302 * [taylor]: Taking taylor expansion of a in b
21.302 * [backup-simplify]: Simplify a into a
21.302 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
21.302 * [backup-simplify]: Simplify (sqrt 0) into 0
21.303 * [backup-simplify]: Simplify (/ (/ 1 a) (* 2 (sqrt 0))) into (/ +nan.0 a)
21.303 * [backup-simplify]: Simplify (* (/ +nan.0 a) (/ +nan.0 a)) into (/ +nan.0 (pow a 2))
21.303 * [backup-simplify]: Simplify (* (/ +nan.0 (pow a 2)) (/ +nan.0 (pow a 2))) into (/ +nan.0 (pow a 4))
21.303 * [taylor]: Taking taylor expansion of (/ +nan.0 (pow a 4)) in a
21.303 * [taylor]: Taking taylor expansion of +nan.0 in a
21.303 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.303 * [taylor]: Taking taylor expansion of (pow a 4) in a
21.303 * [taylor]: Taking taylor expansion of a in a
21.303 * [backup-simplify]: Simplify 0 into 0
21.303 * [backup-simplify]: Simplify 1 into 1
21.303 * [backup-simplify]: Simplify (* 1 1) into 1
21.304 * [backup-simplify]: Simplify (* 1 1) into 1
21.304 * [backup-simplify]: Simplify (/ +nan.0 1) into +nan.0
21.305 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
21.305 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.306 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.306 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.307 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
21.307 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.308 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)))) into 0
21.308 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.309 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.309 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.310 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.310 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.310 * [backup-simplify]: Simplify 0 into 0
21.311 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)))) into 0
21.311 * [backup-simplify]: Simplify (/ (- 0 (pow (/ +nan.0 a) 2) (+)) (* 2 0)) into (/ +nan.0 (pow a 2))
21.312 * [backup-simplify]: Simplify (+ (* (/ +nan.0 a) (/ +nan.0 (pow a 2))) (* (/ +nan.0 (pow a 2)) (/ +nan.0 a))) into (- (* +nan.0 (/ 1 (pow a 3))))
21.312 * [backup-simplify]: Simplify (+ (* (/ +nan.0 (pow a 2)) (- (* +nan.0 (/ 1 (pow a 3))))) (* (- (* +nan.0 (/ 1 (pow a 3)))) (/ +nan.0 (pow a 2)))) into (- (* +nan.0 (/ 1 (pow a 5))))
21.312 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow a 5)))) in a
21.312 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow a 5))) in a
21.312 * [taylor]: Taking taylor expansion of +nan.0 in a
21.312 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.312 * [taylor]: Taking taylor expansion of (/ 1 (pow a 5)) in a
21.312 * [taylor]: Taking taylor expansion of (pow a 5) in a
21.312 * [taylor]: Taking taylor expansion of a in a
21.312 * [backup-simplify]: Simplify 0 into 0
21.312 * [backup-simplify]: Simplify 1 into 1
21.313 * [backup-simplify]: Simplify (* 1 1) into 1
21.313 * [backup-simplify]: Simplify (* 1 1) into 1
21.313 * [backup-simplify]: Simplify (* 1 1) into 1
21.313 * [backup-simplify]: Simplify (/ 1 1) into 1
21.314 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
21.314 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.315 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
21.316 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.316 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.317 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
21.323 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
21.324 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.325 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.325 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.326 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
21.326 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.327 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
21.328 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
21.329 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.330 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.331 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.332 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.333 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.334 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.335 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
21.336 * [backup-simplify]: Simplify (- 0) into 0
21.336 * [backup-simplify]: Simplify 0 into 0
21.337 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
21.339 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
21.340 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.340 * [backup-simplify]: Simplify 0 into 0
21.340 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
21.341 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (/ +nan.0 a) (/ +nan.0 (pow a 2)))))) (* 2 0)) into (/ +nan.0 (pow a 3))
21.342 * [backup-simplify]: Simplify (+ (* (/ +nan.0 a) (/ +nan.0 (pow a 3))) (+ (* (/ +nan.0 (pow a 2)) (/ +nan.0 (pow a 2))) (* (/ +nan.0 (pow a 3)) (/ +nan.0 a)))) into (- (* +nan.0 (/ 1 (pow a 4))))
21.343 * [backup-simplify]: Simplify (+ (* (/ +nan.0 (pow a 2)) (- (* +nan.0 (/ 1 (pow a 4))))) (+ (* (- (* +nan.0 (/ 1 (pow a 3)))) (- (* +nan.0 (/ 1 (pow a 3))))) (* (- (* +nan.0 (/ 1 (pow a 4)))) (/ +nan.0 (pow a 2))))) into (- (* +nan.0 (/ 1 (pow a 6))))
21.343 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow a 6)))) in a
21.343 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow a 6))) in a
21.343 * [taylor]: Taking taylor expansion of +nan.0 in a
21.343 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.343 * [taylor]: Taking taylor expansion of (/ 1 (pow a 6)) in a
21.343 * [taylor]: Taking taylor expansion of (pow a 6) in a
21.343 * [taylor]: Taking taylor expansion of a in a
21.344 * [backup-simplify]: Simplify 0 into 0
21.344 * [backup-simplify]: Simplify 1 into 1
21.344 * [backup-simplify]: Simplify (* 1 1) into 1
21.344 * [backup-simplify]: Simplify (* 1 1) into 1
21.345 * [backup-simplify]: Simplify (* 1 1) into 1
21.345 * [backup-simplify]: Simplify (/ 1 1) into 1
21.347 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
21.348 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
21.349 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
21.350 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.351 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.352 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.354 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
21.355 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.356 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
21.357 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.358 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
21.359 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.361 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
21.361 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.362 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
21.363 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
21.364 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.365 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.366 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
21.367 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.368 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.369 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.370 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.371 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.373 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
21.373 * [backup-simplify]: Simplify (- 0) into 0
21.373 * [backup-simplify]: Simplify 0 into 0
21.375 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
21.377 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
21.378 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
21.379 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.381 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
21.381 * [backup-simplify]: Simplify (- 0) into 0
21.381 * [backup-simplify]: Simplify 0 into 0
21.383 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
21.385 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
21.386 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.386 * [backup-simplify]: Simplify 0 into 0
21.386 * [backup-simplify]: Simplify 0 into 0
21.386 * [backup-simplify]: Simplify (log (exp (pow (sqrt (/ (/ 1 b) (/ 1 a))) 4))) into (pow (sqrt (/ a b)) 4)
21.386 * [approximate]: Taking taylor expansion of (pow (sqrt (/ a b)) 4) in (b a) around 0
21.386 * [taylor]: Taking taylor expansion of (pow (sqrt (/ a b)) 4) in a
21.386 * [taylor]: Taking taylor expansion of (sqrt (/ a b)) in a
21.386 * [taylor]: Taking taylor expansion of (/ a b) in a
21.386 * [taylor]: Taking taylor expansion of a in a
21.386 * [backup-simplify]: Simplify 0 into 0
21.387 * [backup-simplify]: Simplify 1 into 1
21.387 * [taylor]: Taking taylor expansion of b in a
21.387 * [backup-simplify]: Simplify b into b
21.387 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
21.387 * [backup-simplify]: Simplify (sqrt 0) into 0
21.388 * [backup-simplify]: Simplify (/ (/ 1 b) (* 2 (sqrt 0))) into (/ +nan.0 b)
21.388 * [taylor]: Taking taylor expansion of (pow (sqrt (/ a b)) 4) in b
21.388 * [taylor]: Taking taylor expansion of (sqrt (/ a b)) in b
21.388 * [taylor]: Taking taylor expansion of (/ a b) in b
21.388 * [taylor]: Taking taylor expansion of a in b
21.388 * [backup-simplify]: Simplify a into a
21.388 * [taylor]: Taking taylor expansion of b in b
21.388 * [backup-simplify]: Simplify 0 into 0
21.388 * [backup-simplify]: Simplify 1 into 1
21.388 * [backup-simplify]: Simplify (/ a 1) into a
21.388 * [backup-simplify]: Simplify (sqrt 0) into 0
21.389 * [backup-simplify]: Simplify (/ a (* 2 (sqrt 0))) into (* +nan.0 a)
21.389 * [taylor]: Taking taylor expansion of (pow (sqrt (/ a b)) 4) in b
21.389 * [taylor]: Taking taylor expansion of (sqrt (/ a b)) in b
21.389 * [taylor]: Taking taylor expansion of (/ a b) in b
21.389 * [taylor]: Taking taylor expansion of a in b
21.389 * [backup-simplify]: Simplify a into a
21.389 * [taylor]: Taking taylor expansion of b in b
21.389 * [backup-simplify]: Simplify 0 into 0
21.389 * [backup-simplify]: Simplify 1 into 1
21.389 * [backup-simplify]: Simplify (/ a 1) into a
21.390 * [backup-simplify]: Simplify (sqrt 0) into 0
21.390 * [backup-simplify]: Simplify (/ a (* 2 (sqrt 0))) into (* +nan.0 a)
21.390 * [backup-simplify]: Simplify (* (* +nan.0 a) (* +nan.0 a)) into (* +nan.0 (pow a 2))
21.391 * [backup-simplify]: Simplify (* (* +nan.0 (pow a 2)) (* +nan.0 (pow a 2))) into (* +nan.0 (pow a 4))
21.391 * [taylor]: Taking taylor expansion of (* +nan.0 (pow a 4)) in a
21.391 * [taylor]: Taking taylor expansion of +nan.0 in a
21.391 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.391 * [taylor]: Taking taylor expansion of (pow a 4) in a
21.391 * [taylor]: Taking taylor expansion of a in a
21.391 * [backup-simplify]: Simplify 0 into 0
21.391 * [backup-simplify]: Simplify 1 into 1
21.391 * [backup-simplify]: Simplify (* 1 1) into 1
21.392 * [backup-simplify]: Simplify (* 1 1) into 1
21.392 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
21.392 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.393 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)))) into 0
21.394 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 a) 2) (+)) (* 2 0)) into (* +nan.0 (pow a 2))
21.395 * [backup-simplify]: Simplify (+ (* (* +nan.0 a) (* +nan.0 (pow a 2))) (* (* +nan.0 (pow a 2)) (* +nan.0 a))) into (- (* +nan.0 (pow a 3)))
21.396 * [backup-simplify]: Simplify (+ (* (* +nan.0 (pow a 2)) (- (* +nan.0 (pow a 3)))) (* (- (* +nan.0 (pow a 3))) (* +nan.0 (pow a 2)))) into (- (* +nan.0 (pow a 5)))
21.396 * [taylor]: Taking taylor expansion of (- (* +nan.0 (pow a 5))) in a
21.396 * [taylor]: Taking taylor expansion of (* +nan.0 (pow a 5)) in a
21.396 * [taylor]: Taking taylor expansion of +nan.0 in a
21.396 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.396 * [taylor]: Taking taylor expansion of (pow a 5) in a
21.396 * [taylor]: Taking taylor expansion of a in a
21.396 * [backup-simplify]: Simplify 0 into 0
21.396 * [backup-simplify]: Simplify 1 into 1
21.397 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.397 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.398 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
21.398 * [backup-simplify]: Simplify 0 into 0
21.399 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.400 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (* +nan.0 a) (* +nan.0 (pow a 2)))))) (* 2 0)) into (* +nan.0 (pow a 3))
21.401 * [backup-simplify]: Simplify (+ (* (* +nan.0 a) (* +nan.0 (pow a 3))) (+ (* (* +nan.0 (pow a 2)) (* +nan.0 (pow a 2))) (* (* +nan.0 (pow a 3)) (* +nan.0 a)))) into (- (* +nan.0 (pow a 4)))
21.402 * [backup-simplify]: Simplify (+ (* (* +nan.0 (pow a 2)) (- (* +nan.0 (pow a 4)))) (+ (* (- (* +nan.0 (pow a 3))) (- (* +nan.0 (pow a 3)))) (* (- (* +nan.0 (pow a 4))) (* +nan.0 (pow a 2))))) into (- (* +nan.0 (pow a 6)))
21.402 * [taylor]: Taking taylor expansion of (- (* +nan.0 (pow a 6))) in a
21.402 * [taylor]: Taking taylor expansion of (* +nan.0 (pow a 6)) in a
21.402 * [taylor]: Taking taylor expansion of +nan.0 in a
21.403 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.403 * [taylor]: Taking taylor expansion of (pow a 6) in a
21.403 * [taylor]: Taking taylor expansion of a in a
21.403 * [backup-simplify]: Simplify 0 into 0
21.403 * [backup-simplify]: Simplify 1 into 1
21.403 * [backup-simplify]: Simplify (* 1 1) into 1
21.403 * [backup-simplify]: Simplify (* 1 1) into 1
21.404 * [backup-simplify]: Simplify (* 1 1) into 1
21.404 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
21.405 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
21.405 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
21.406 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.407 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.408 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 0) (* 0 1))) into 0
21.408 * [backup-simplify]: Simplify 0 into 0
21.410 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.411 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 (pow a 2)) 2) (+ (* 2 (* (* +nan.0 a) (* +nan.0 (pow a 3)))))) (* 2 0)) into (* +nan.0 (pow a 4))
21.412 * [backup-simplify]: Simplify (+ (* (* +nan.0 a) (* +nan.0 (pow a 4))) (+ (* (* +nan.0 (pow a 2)) (* +nan.0 (pow a 3))) (+ (* (* +nan.0 (pow a 3)) (* +nan.0 (pow a 2))) (* (* +nan.0 (pow a 4)) (* +nan.0 a))))) into (- (* +nan.0 (pow a 5)))
21.414 * [backup-simplify]: Simplify (+ (* (* +nan.0 (pow a 2)) (- (* +nan.0 (pow a 5)))) (+ (* (- (* +nan.0 (pow a 3))) (- (* +nan.0 (pow a 4)))) (+ (* (- (* +nan.0 (pow a 4))) (- (* +nan.0 (pow a 3)))) (* (- (* +nan.0 (pow a 5))) (* +nan.0 (pow a 2)))))) into (- (* +nan.0 (pow a 7)))
21.414 * [taylor]: Taking taylor expansion of (- (* +nan.0 (pow a 7))) in a
21.414 * [taylor]: Taking taylor expansion of (* +nan.0 (pow a 7)) in a
21.414 * [taylor]: Taking taylor expansion of +nan.0 in a
21.414 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.414 * [taylor]: Taking taylor expansion of (pow a 7) in a
21.414 * [taylor]: Taking taylor expansion of a in a
21.414 * [backup-simplify]: Simplify 0 into 0
21.414 * [backup-simplify]: Simplify 1 into 1
21.415 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.416 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.417 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.417 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
21.418 * [backup-simplify]: Simplify (- 0) into 0
21.418 * [backup-simplify]: Simplify 0 into 0
21.419 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.420 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.421 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.421 * [backup-simplify]: Simplify 0 into 0
21.423 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.425 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (* +nan.0 a) (* +nan.0 (pow a 4)))) (* 2 (* (* +nan.0 (pow a 2)) (* +nan.0 (pow a 3)))))) (* 2 0)) into (* +nan.0 (pow a 5))
21.426 * [backup-simplify]: Simplify (+ (* (* +nan.0 a) (* +nan.0 (pow a 5))) (+ (* (* +nan.0 (pow a 2)) (* +nan.0 (pow a 4))) (+ (* (* +nan.0 (pow a 3)) (* +nan.0 (pow a 3))) (+ (* (* +nan.0 (pow a 4)) (* +nan.0 (pow a 2))) (* (* +nan.0 (pow a 5)) (* +nan.0 a)))))) into (- (* +nan.0 (pow a 6)))
21.428 * [backup-simplify]: Simplify (+ (* (* +nan.0 (pow a 2)) (- (* +nan.0 (pow a 6)))) (+ (* (- (* +nan.0 (pow a 3))) (- (* +nan.0 (pow a 5)))) (+ (* (- (* +nan.0 (pow a 4))) (- (* +nan.0 (pow a 4)))) (+ (* (- (* +nan.0 (pow a 5))) (- (* +nan.0 (pow a 3)))) (* (- (* +nan.0 (pow a 6))) (* +nan.0 (pow a 2))))))) into (- (* +nan.0 (pow a 8)))
21.428 * [taylor]: Taking taylor expansion of (- (* +nan.0 (pow a 8))) in a
21.428 * [taylor]: Taking taylor expansion of (* +nan.0 (pow a 8)) in a
21.428 * [taylor]: Taking taylor expansion of +nan.0 in a
21.429 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.429 * [taylor]: Taking taylor expansion of (pow a 8) in a
21.429 * [taylor]: Taking taylor expansion of a in a
21.429 * [backup-simplify]: Simplify 0 into 0
21.429 * [backup-simplify]: Simplify 1 into 1
21.429 * [backup-simplify]: Simplify (* 1 1) into 1
21.430 * [backup-simplify]: Simplify (* 1 1) into 1
21.430 * [backup-simplify]: Simplify (* 1 1) into 1
21.430 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
21.431 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
21.431 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
21.433 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (* (pow (/ 1 a) 3) (/ 1 b)) 2)) (+ (* (- +nan.0) (* (pow (/ 1 a) 5) (/ 1 b))) (* +nan.0 (pow (* (/ 1 a) 1) 4)))) into (- (+ (* +nan.0 (/ 1 (* (pow a 6) (pow b 2)))) (- (+ (* +nan.0 (/ 1 (pow a 4))) (- (* +nan.0 (/ 1 (* (pow a 5) b))))))))
21.433 * [backup-simplify]: Simplify (log (exp (pow (sqrt (/ (/ 1 (- b)) (/ 1 (- a)))) 4))) into (pow (sqrt (/ a b)) 4)
21.433 * [approximate]: Taking taylor expansion of (pow (sqrt (/ a b)) 4) in (b a) around 0
21.433 * [taylor]: Taking taylor expansion of (pow (sqrt (/ a b)) 4) in a
21.434 * [taylor]: Taking taylor expansion of (sqrt (/ a b)) in a
21.434 * [taylor]: Taking taylor expansion of (/ a b) in a
21.434 * [taylor]: Taking taylor expansion of a in a
21.434 * [backup-simplify]: Simplify 0 into 0
21.434 * [backup-simplify]: Simplify 1 into 1
21.434 * [taylor]: Taking taylor expansion of b in a
21.434 * [backup-simplify]: Simplify b into b
21.434 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
21.434 * [backup-simplify]: Simplify (sqrt 0) into 0
21.435 * [backup-simplify]: Simplify (/ (/ 1 b) (* 2 (sqrt 0))) into (/ +nan.0 b)
21.435 * [taylor]: Taking taylor expansion of (pow (sqrt (/ a b)) 4) in b
21.435 * [taylor]: Taking taylor expansion of (sqrt (/ a b)) in b
21.435 * [taylor]: Taking taylor expansion of (/ a b) in b
21.435 * [taylor]: Taking taylor expansion of a in b
21.435 * [backup-simplify]: Simplify a into a
21.435 * [taylor]: Taking taylor expansion of b in b
21.435 * [backup-simplify]: Simplify 0 into 0
21.435 * [backup-simplify]: Simplify 1 into 1
21.435 * [backup-simplify]: Simplify (/ a 1) into a
21.435 * [backup-simplify]: Simplify (sqrt 0) into 0
21.436 * [backup-simplify]: Simplify (/ a (* 2 (sqrt 0))) into (* +nan.0 a)
21.436 * [taylor]: Taking taylor expansion of (pow (sqrt (/ a b)) 4) in b
21.436 * [taylor]: Taking taylor expansion of (sqrt (/ a b)) in b
21.436 * [taylor]: Taking taylor expansion of (/ a b) in b
21.436 * [taylor]: Taking taylor expansion of a in b
21.436 * [backup-simplify]: Simplify a into a
21.436 * [taylor]: Taking taylor expansion of b in b
21.436 * [backup-simplify]: Simplify 0 into 0
21.436 * [backup-simplify]: Simplify 1 into 1
21.436 * [backup-simplify]: Simplify (/ a 1) into a
21.437 * [backup-simplify]: Simplify (sqrt 0) into 0
21.437 * [backup-simplify]: Simplify (/ a (* 2 (sqrt 0))) into (* +nan.0 a)
21.438 * [backup-simplify]: Simplify (* (* +nan.0 a) (* +nan.0 a)) into (* +nan.0 (pow a 2))
21.438 * [backup-simplify]: Simplify (* (* +nan.0 (pow a 2)) (* +nan.0 (pow a 2))) into (* +nan.0 (pow a 4))
21.438 * [taylor]: Taking taylor expansion of (* +nan.0 (pow a 4)) in a
21.438 * [taylor]: Taking taylor expansion of +nan.0 in a
21.438 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.438 * [taylor]: Taking taylor expansion of (pow a 4) in a
21.438 * [taylor]: Taking taylor expansion of a in a
21.438 * [backup-simplify]: Simplify 0 into 0
21.438 * [backup-simplify]: Simplify 1 into 1
21.438 * [backup-simplify]: Simplify (* 1 1) into 1
21.439 * [backup-simplify]: Simplify (* 1 1) into 1
21.439 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
21.439 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.440 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)))) into 0
21.441 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 a) 2) (+)) (* 2 0)) into (* +nan.0 (pow a 2))
21.442 * [backup-simplify]: Simplify (+ (* (* +nan.0 a) (* +nan.0 (pow a 2))) (* (* +nan.0 (pow a 2)) (* +nan.0 a))) into (- (* +nan.0 (pow a 3)))
21.442 * [backup-simplify]: Simplify (+ (* (* +nan.0 (pow a 2)) (- (* +nan.0 (pow a 3)))) (* (- (* +nan.0 (pow a 3))) (* +nan.0 (pow a 2)))) into (- (* +nan.0 (pow a 5)))
21.442 * [taylor]: Taking taylor expansion of (- (* +nan.0 (pow a 5))) in a
21.442 * [taylor]: Taking taylor expansion of (* +nan.0 (pow a 5)) in a
21.442 * [taylor]: Taking taylor expansion of +nan.0 in a
21.442 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.443 * [taylor]: Taking taylor expansion of (pow a 5) in a
21.443 * [taylor]: Taking taylor expansion of a in a
21.443 * [backup-simplify]: Simplify 0 into 0
21.443 * [backup-simplify]: Simplify 1 into 1
21.443 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.444 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.445 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
21.445 * [backup-simplify]: Simplify 0 into 0
21.446 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.447 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (* +nan.0 a) (* +nan.0 (pow a 2)))))) (* 2 0)) into (* +nan.0 (pow a 3))
21.448 * [backup-simplify]: Simplify (+ (* (* +nan.0 a) (* +nan.0 (pow a 3))) (+ (* (* +nan.0 (pow a 2)) (* +nan.0 (pow a 2))) (* (* +nan.0 (pow a 3)) (* +nan.0 a)))) into (- (* +nan.0 (pow a 4)))
21.449 * [backup-simplify]: Simplify (+ (* (* +nan.0 (pow a 2)) (- (* +nan.0 (pow a 4)))) (+ (* (- (* +nan.0 (pow a 3))) (- (* +nan.0 (pow a 3)))) (* (- (* +nan.0 (pow a 4))) (* +nan.0 (pow a 2))))) into (- (* +nan.0 (pow a 6)))
21.449 * [taylor]: Taking taylor expansion of (- (* +nan.0 (pow a 6))) in a
21.449 * [taylor]: Taking taylor expansion of (* +nan.0 (pow a 6)) in a
21.449 * [taylor]: Taking taylor expansion of +nan.0 in a
21.449 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.449 * [taylor]: Taking taylor expansion of (pow a 6) in a
21.449 * [taylor]: Taking taylor expansion of a in a
21.449 * [backup-simplify]: Simplify 0 into 0
21.449 * [backup-simplify]: Simplify 1 into 1
21.449 * [backup-simplify]: Simplify (* 1 1) into 1
21.450 * [backup-simplify]: Simplify (* 1 1) into 1
21.450 * [backup-simplify]: Simplify (* 1 1) into 1
21.450 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
21.451 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
21.451 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
21.452 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.453 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.454 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 0) (* 0 1))) into 0
21.454 * [backup-simplify]: Simplify 0 into 0
21.455 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.456 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 (pow a 2)) 2) (+ (* 2 (* (* +nan.0 a) (* +nan.0 (pow a 3)))))) (* 2 0)) into (* +nan.0 (pow a 4))
21.458 * [backup-simplify]: Simplify (+ (* (* +nan.0 a) (* +nan.0 (pow a 4))) (+ (* (* +nan.0 (pow a 2)) (* +nan.0 (pow a 3))) (+ (* (* +nan.0 (pow a 3)) (* +nan.0 (pow a 2))) (* (* +nan.0 (pow a 4)) (* +nan.0 a))))) into (- (* +nan.0 (pow a 5)))
21.459 * [backup-simplify]: Simplify (+ (* (* +nan.0 (pow a 2)) (- (* +nan.0 (pow a 5)))) (+ (* (- (* +nan.0 (pow a 3))) (- (* +nan.0 (pow a 4)))) (+ (* (- (* +nan.0 (pow a 4))) (- (* +nan.0 (pow a 3)))) (* (- (* +nan.0 (pow a 5))) (* +nan.0 (pow a 2)))))) into (- (* +nan.0 (pow a 7)))
21.459 * [taylor]: Taking taylor expansion of (- (* +nan.0 (pow a 7))) in a
21.459 * [taylor]: Taking taylor expansion of (* +nan.0 (pow a 7)) in a
21.459 * [taylor]: Taking taylor expansion of +nan.0 in a
21.459 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.459 * [taylor]: Taking taylor expansion of (pow a 7) in a
21.459 * [taylor]: Taking taylor expansion of a in a
21.459 * [backup-simplify]: Simplify 0 into 0
21.459 * [backup-simplify]: Simplify 1 into 1
21.460 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.460 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.461 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.462 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
21.462 * [backup-simplify]: Simplify (- 0) into 0
21.462 * [backup-simplify]: Simplify 0 into 0
21.463 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.464 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.465 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.465 * [backup-simplify]: Simplify 0 into 0
21.467 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.468 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (* +nan.0 a) (* +nan.0 (pow a 4)))) (* 2 (* (* +nan.0 (pow a 2)) (* +nan.0 (pow a 3)))))) (* 2 0)) into (* +nan.0 (pow a 5))
21.469 * [backup-simplify]: Simplify (+ (* (* +nan.0 a) (* +nan.0 (pow a 5))) (+ (* (* +nan.0 (pow a 2)) (* +nan.0 (pow a 4))) (+ (* (* +nan.0 (pow a 3)) (* +nan.0 (pow a 3))) (+ (* (* +nan.0 (pow a 4)) (* +nan.0 (pow a 2))) (* (* +nan.0 (pow a 5)) (* +nan.0 a)))))) into (- (* +nan.0 (pow a 6)))
21.471 * [backup-simplify]: Simplify (+ (* (* +nan.0 (pow a 2)) (- (* +nan.0 (pow a 6)))) (+ (* (- (* +nan.0 (pow a 3))) (- (* +nan.0 (pow a 5)))) (+ (* (- (* +nan.0 (pow a 4))) (- (* +nan.0 (pow a 4)))) (+ (* (- (* +nan.0 (pow a 5))) (- (* +nan.0 (pow a 3)))) (* (- (* +nan.0 (pow a 6))) (* +nan.0 (pow a 2))))))) into (- (* +nan.0 (pow a 8)))
21.471 * [taylor]: Taking taylor expansion of (- (* +nan.0 (pow a 8))) in a
21.471 * [taylor]: Taking taylor expansion of (* +nan.0 (pow a 8)) in a
21.472 * [taylor]: Taking taylor expansion of +nan.0 in a
21.472 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.472 * [taylor]: Taking taylor expansion of (pow a 8) in a
21.472 * [taylor]: Taking taylor expansion of a in a
21.472 * [backup-simplify]: Simplify 0 into 0
21.472 * [backup-simplify]: Simplify 1 into 1
21.478 * [backup-simplify]: Simplify (* 1 1) into 1
21.479 * [backup-simplify]: Simplify (* 1 1) into 1
21.479 * [backup-simplify]: Simplify (* 1 1) into 1
21.480 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
21.480 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
21.480 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
21.482 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (* (pow (/ 1 (- a)) 3) (/ 1 (- b))) 2)) (+ (* (- +nan.0) (* (pow (/ 1 (- a)) 5) (/ 1 (- b)))) (* +nan.0 (pow (* (/ 1 (- a)) 1) 4)))) into (- (+ (* +nan.0 (/ 1 (* (pow a 6) (pow b 2)))) (- (+ (* +nan.0 (/ 1 (pow a 4))) (- (* +nan.0 (/ 1 (* (pow a 5) b))))))))
21.482 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1)
21.482 * [backup-simplify]: Simplify (pow (sqrt (/ b a)) 4) into (pow (sqrt (/ b a)) 4)
21.482 * [approximate]: Taking taylor expansion of (pow (sqrt (/ b a)) 4) in (b a) around 0
21.482 * [taylor]: Taking taylor expansion of (pow (sqrt (/ b a)) 4) in a
21.482 * [taylor]: Taking taylor expansion of (sqrt (/ b a)) in a
21.482 * [taylor]: Taking taylor expansion of (/ b a) in a
21.482 * [taylor]: Taking taylor expansion of b in a
21.482 * [backup-simplify]: Simplify b into b
21.482 * [taylor]: Taking taylor expansion of a in a
21.482 * [backup-simplify]: Simplify 0 into 0
21.482 * [backup-simplify]: Simplify 1 into 1
21.483 * [backup-simplify]: Simplify (/ b 1) into b
21.483 * [backup-simplify]: Simplify (sqrt 0) into 0
21.483 * [backup-simplify]: Simplify (/ b (* 2 (sqrt 0))) into (* +nan.0 b)
21.483 * [taylor]: Taking taylor expansion of (pow (sqrt (/ b a)) 4) in b
21.483 * [taylor]: Taking taylor expansion of (sqrt (/ b a)) in b
21.483 * [taylor]: Taking taylor expansion of (/ b a) in b
21.483 * [taylor]: Taking taylor expansion of b in b
21.483 * [backup-simplify]: Simplify 0 into 0
21.484 * [backup-simplify]: Simplify 1 into 1
21.484 * [taylor]: Taking taylor expansion of a in b
21.484 * [backup-simplify]: Simplify a into a
21.484 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
21.484 * [backup-simplify]: Simplify (sqrt 0) into 0
21.484 * [backup-simplify]: Simplify (/ (/ 1 a) (* 2 (sqrt 0))) into (/ +nan.0 a)
21.484 * [taylor]: Taking taylor expansion of (pow (sqrt (/ b a)) 4) in b
21.485 * [taylor]: Taking taylor expansion of (sqrt (/ b a)) in b
21.485 * [taylor]: Taking taylor expansion of (/ b a) in b
21.485 * [taylor]: Taking taylor expansion of b in b
21.485 * [backup-simplify]: Simplify 0 into 0
21.485 * [backup-simplify]: Simplify 1 into 1
21.485 * [taylor]: Taking taylor expansion of a in b
21.485 * [backup-simplify]: Simplify a into a
21.485 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
21.485 * [backup-simplify]: Simplify (sqrt 0) into 0
21.486 * [backup-simplify]: Simplify (/ (/ 1 a) (* 2 (sqrt 0))) into (/ +nan.0 a)
21.486 * [backup-simplify]: Simplify (* (/ +nan.0 a) (/ +nan.0 a)) into (/ +nan.0 (pow a 2))
21.486 * [backup-simplify]: Simplify (* (/ +nan.0 (pow a 2)) (/ +nan.0 (pow a 2))) into (/ +nan.0 (pow a 4))
21.486 * [taylor]: Taking taylor expansion of (/ +nan.0 (pow a 4)) in a
21.486 * [taylor]: Taking taylor expansion of +nan.0 in a
21.486 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.486 * [taylor]: Taking taylor expansion of (pow a 4) in a
21.486 * [taylor]: Taking taylor expansion of a in a
21.486 * [backup-simplify]: Simplify 0 into 0
21.486 * [backup-simplify]: Simplify 1 into 1
21.487 * [backup-simplify]: Simplify (* 1 1) into 1
21.487 * [backup-simplify]: Simplify (* 1 1) into 1
21.487 * [backup-simplify]: Simplify (/ +nan.0 1) into +nan.0
21.488 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
21.489 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.490 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.491 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.492 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
21.493 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.494 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)))) into 0
21.495 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.496 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.497 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.498 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.499 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.499 * [backup-simplify]: Simplify 0 into 0
21.499 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)))) into 0
21.500 * [backup-simplify]: Simplify (/ (- 0 (pow (/ +nan.0 a) 2) (+)) (* 2 0)) into (/ +nan.0 (pow a 2))
21.500 * [backup-simplify]: Simplify (+ (* (/ +nan.0 a) (/ +nan.0 (pow a 2))) (* (/ +nan.0 (pow a 2)) (/ +nan.0 a))) into (- (* +nan.0 (/ 1 (pow a 3))))
21.501 * [backup-simplify]: Simplify (+ (* (/ +nan.0 (pow a 2)) (- (* +nan.0 (/ 1 (pow a 3))))) (* (- (* +nan.0 (/ 1 (pow a 3)))) (/ +nan.0 (pow a 2)))) into (- (* +nan.0 (/ 1 (pow a 5))))
21.501 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow a 5)))) in a
21.501 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow a 5))) in a
21.501 * [taylor]: Taking taylor expansion of +nan.0 in a
21.501 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.501 * [taylor]: Taking taylor expansion of (/ 1 (pow a 5)) in a
21.501 * [taylor]: Taking taylor expansion of (pow a 5) in a
21.501 * [taylor]: Taking taylor expansion of a in a
21.501 * [backup-simplify]: Simplify 0 into 0
21.501 * [backup-simplify]: Simplify 1 into 1
21.502 * [backup-simplify]: Simplify (* 1 1) into 1
21.502 * [backup-simplify]: Simplify (* 1 1) into 1
21.503 * [backup-simplify]: Simplify (* 1 1) into 1
21.503 * [backup-simplify]: Simplify (/ 1 1) into 1
21.504 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
21.505 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.506 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
21.507 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.508 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.509 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
21.510 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
21.511 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.512 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.513 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.514 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
21.515 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.515 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
21.516 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
21.516 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.517 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.517 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.518 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.518 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.519 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.520 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
21.520 * [backup-simplify]: Simplify (- 0) into 0
21.520 * [backup-simplify]: Simplify 0 into 0
21.521 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
21.521 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
21.522 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.522 * [backup-simplify]: Simplify 0 into 0
21.522 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
21.523 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (/ +nan.0 a) (/ +nan.0 (pow a 2)))))) (* 2 0)) into (/ +nan.0 (pow a 3))
21.523 * [backup-simplify]: Simplify (+ (* (/ +nan.0 a) (/ +nan.0 (pow a 3))) (+ (* (/ +nan.0 (pow a 2)) (/ +nan.0 (pow a 2))) (* (/ +nan.0 (pow a 3)) (/ +nan.0 a)))) into (- (* +nan.0 (/ 1 (pow a 4))))
21.524 * [backup-simplify]: Simplify (+ (* (/ +nan.0 (pow a 2)) (- (* +nan.0 (/ 1 (pow a 4))))) (+ (* (- (* +nan.0 (/ 1 (pow a 3)))) (- (* +nan.0 (/ 1 (pow a 3))))) (* (- (* +nan.0 (/ 1 (pow a 4)))) (/ +nan.0 (pow a 2))))) into (- (* +nan.0 (/ 1 (pow a 6))))
21.524 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow a 6)))) in a
21.524 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow a 6))) in a
21.524 * [taylor]: Taking taylor expansion of +nan.0 in a
21.524 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.524 * [taylor]: Taking taylor expansion of (/ 1 (pow a 6)) in a
21.524 * [taylor]: Taking taylor expansion of (pow a 6) in a
21.524 * [taylor]: Taking taylor expansion of a in a
21.524 * [backup-simplify]: Simplify 0 into 0
21.524 * [backup-simplify]: Simplify 1 into 1
21.524 * [backup-simplify]: Simplify (* 1 1) into 1
21.524 * [backup-simplify]: Simplify (* 1 1) into 1
21.525 * [backup-simplify]: Simplify (* 1 1) into 1
21.525 * [backup-simplify]: Simplify (/ 1 1) into 1
21.526 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
21.526 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
21.527 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
21.528 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.528 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.529 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.529 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
21.530 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.530 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
21.531 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.532 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
21.532 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.533 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
21.533 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.534 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
21.535 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
21.536 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.536 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.538 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
21.539 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.540 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.541 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.541 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.542 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.544 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
21.544 * [backup-simplify]: Simplify (- 0) into 0
21.545 * [backup-simplify]: Simplify 0 into 0
21.546 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
21.548 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
21.549 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
21.550 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.551 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
21.551 * [backup-simplify]: Simplify (- 0) into 0
21.551 * [backup-simplify]: Simplify 0 into 0
21.552 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
21.553 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
21.554 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.554 * [backup-simplify]: Simplify 0 into 0
21.554 * [backup-simplify]: Simplify 0 into 0
21.554 * [backup-simplify]: Simplify (pow (sqrt (/ (/ 1 b) (/ 1 a))) 4) into (pow (sqrt (/ a b)) 4)
21.554 * [approximate]: Taking taylor expansion of (pow (sqrt (/ a b)) 4) in (b a) around 0
21.554 * [taylor]: Taking taylor expansion of (pow (sqrt (/ a b)) 4) in a
21.554 * [taylor]: Taking taylor expansion of (sqrt (/ a b)) in a
21.554 * [taylor]: Taking taylor expansion of (/ a b) in a
21.554 * [taylor]: Taking taylor expansion of a in a
21.554 * [backup-simplify]: Simplify 0 into 0
21.554 * [backup-simplify]: Simplify 1 into 1
21.554 * [taylor]: Taking taylor expansion of b in a
21.554 * [backup-simplify]: Simplify b into b
21.554 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
21.554 * [backup-simplify]: Simplify (sqrt 0) into 0
21.555 * [backup-simplify]: Simplify (/ (/ 1 b) (* 2 (sqrt 0))) into (/ +nan.0 b)
21.555 * [taylor]: Taking taylor expansion of (pow (sqrt (/ a b)) 4) in b
21.555 * [taylor]: Taking taylor expansion of (sqrt (/ a b)) in b
21.555 * [taylor]: Taking taylor expansion of (/ a b) in b
21.555 * [taylor]: Taking taylor expansion of a in b
21.555 * [backup-simplify]: Simplify a into a
21.555 * [taylor]: Taking taylor expansion of b in b
21.555 * [backup-simplify]: Simplify 0 into 0
21.555 * [backup-simplify]: Simplify 1 into 1
21.555 * [backup-simplify]: Simplify (/ a 1) into a
21.555 * [backup-simplify]: Simplify (sqrt 0) into 0
21.555 * [backup-simplify]: Simplify (/ a (* 2 (sqrt 0))) into (* +nan.0 a)
21.555 * [taylor]: Taking taylor expansion of (pow (sqrt (/ a b)) 4) in b
21.556 * [taylor]: Taking taylor expansion of (sqrt (/ a b)) in b
21.556 * [taylor]: Taking taylor expansion of (/ a b) in b
21.556 * [taylor]: Taking taylor expansion of a in b
21.556 * [backup-simplify]: Simplify a into a
21.556 * [taylor]: Taking taylor expansion of b in b
21.556 * [backup-simplify]: Simplify 0 into 0
21.556 * [backup-simplify]: Simplify 1 into 1
21.556 * [backup-simplify]: Simplify (/ a 1) into a
21.556 * [backup-simplify]: Simplify (sqrt 0) into 0
21.556 * [backup-simplify]: Simplify (/ a (* 2 (sqrt 0))) into (* +nan.0 a)
21.556 * [backup-simplify]: Simplify (* (* +nan.0 a) (* +nan.0 a)) into (* +nan.0 (pow a 2))
21.557 * [backup-simplify]: Simplify (* (* +nan.0 (pow a 2)) (* +nan.0 (pow a 2))) into (* +nan.0 (pow a 4))
21.557 * [taylor]: Taking taylor expansion of (* +nan.0 (pow a 4)) in a
21.557 * [taylor]: Taking taylor expansion of +nan.0 in a
21.557 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.557 * [taylor]: Taking taylor expansion of (pow a 4) in a
21.557 * [taylor]: Taking taylor expansion of a in a
21.557 * [backup-simplify]: Simplify 0 into 0
21.557 * [backup-simplify]: Simplify 1 into 1
21.557 * [backup-simplify]: Simplify (* 1 1) into 1
21.557 * [backup-simplify]: Simplify (* 1 1) into 1
21.557 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
21.557 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.558 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)))) into 0
21.559 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 a) 2) (+)) (* 2 0)) into (* +nan.0 (pow a 2))
21.559 * [backup-simplify]: Simplify (+ (* (* +nan.0 a) (* +nan.0 (pow a 2))) (* (* +nan.0 (pow a 2)) (* +nan.0 a))) into (- (* +nan.0 (pow a 3)))
21.559 * [backup-simplify]: Simplify (+ (* (* +nan.0 (pow a 2)) (- (* +nan.0 (pow a 3)))) (* (- (* +nan.0 (pow a 3))) (* +nan.0 (pow a 2)))) into (- (* +nan.0 (pow a 5)))
21.559 * [taylor]: Taking taylor expansion of (- (* +nan.0 (pow a 5))) in a
21.559 * [taylor]: Taking taylor expansion of (* +nan.0 (pow a 5)) in a
21.559 * [taylor]: Taking taylor expansion of +nan.0 in a
21.559 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.559 * [taylor]: Taking taylor expansion of (pow a 5) in a
21.559 * [taylor]: Taking taylor expansion of a in a
21.559 * [backup-simplify]: Simplify 0 into 0
21.559 * [backup-simplify]: Simplify 1 into 1
21.560 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.560 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.561 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
21.561 * [backup-simplify]: Simplify 0 into 0
21.561 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.562 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (* +nan.0 a) (* +nan.0 (pow a 2)))))) (* 2 0)) into (* +nan.0 (pow a 3))
21.562 * [backup-simplify]: Simplify (+ (* (* +nan.0 a) (* +nan.0 (pow a 3))) (+ (* (* +nan.0 (pow a 2)) (* +nan.0 (pow a 2))) (* (* +nan.0 (pow a 3)) (* +nan.0 a)))) into (- (* +nan.0 (pow a 4)))
21.563 * [backup-simplify]: Simplify (+ (* (* +nan.0 (pow a 2)) (- (* +nan.0 (pow a 4)))) (+ (* (- (* +nan.0 (pow a 3))) (- (* +nan.0 (pow a 3)))) (* (- (* +nan.0 (pow a 4))) (* +nan.0 (pow a 2))))) into (- (* +nan.0 (pow a 6)))
21.563 * [taylor]: Taking taylor expansion of (- (* +nan.0 (pow a 6))) in a
21.563 * [taylor]: Taking taylor expansion of (* +nan.0 (pow a 6)) in a
21.563 * [taylor]: Taking taylor expansion of +nan.0 in a
21.563 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.563 * [taylor]: Taking taylor expansion of (pow a 6) in a
21.563 * [taylor]: Taking taylor expansion of a in a
21.563 * [backup-simplify]: Simplify 0 into 0
21.563 * [backup-simplify]: Simplify 1 into 1
21.563 * [backup-simplify]: Simplify (* 1 1) into 1
21.564 * [backup-simplify]: Simplify (* 1 1) into 1
21.564 * [backup-simplify]: Simplify (* 1 1) into 1
21.564 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
21.564 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
21.565 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
21.565 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.566 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.566 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 0) (* 0 1))) into 0
21.566 * [backup-simplify]: Simplify 0 into 0
21.567 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.568 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 (pow a 2)) 2) (+ (* 2 (* (* +nan.0 a) (* +nan.0 (pow a 3)))))) (* 2 0)) into (* +nan.0 (pow a 4))
21.568 * [backup-simplify]: Simplify (+ (* (* +nan.0 a) (* +nan.0 (pow a 4))) (+ (* (* +nan.0 (pow a 2)) (* +nan.0 (pow a 3))) (+ (* (* +nan.0 (pow a 3)) (* +nan.0 (pow a 2))) (* (* +nan.0 (pow a 4)) (* +nan.0 a))))) into (- (* +nan.0 (pow a 5)))
21.569 * [backup-simplify]: Simplify (+ (* (* +nan.0 (pow a 2)) (- (* +nan.0 (pow a 5)))) (+ (* (- (* +nan.0 (pow a 3))) (- (* +nan.0 (pow a 4)))) (+ (* (- (* +nan.0 (pow a 4))) (- (* +nan.0 (pow a 3)))) (* (- (* +nan.0 (pow a 5))) (* +nan.0 (pow a 2)))))) into (- (* +nan.0 (pow a 7)))
21.569 * [taylor]: Taking taylor expansion of (- (* +nan.0 (pow a 7))) in a
21.569 * [taylor]: Taking taylor expansion of (* +nan.0 (pow a 7)) in a
21.569 * [taylor]: Taking taylor expansion of +nan.0 in a
21.569 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.569 * [taylor]: Taking taylor expansion of (pow a 7) in a
21.569 * [taylor]: Taking taylor expansion of a in a
21.569 * [backup-simplify]: Simplify 0 into 0
21.569 * [backup-simplify]: Simplify 1 into 1
21.570 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.570 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.571 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.571 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
21.571 * [backup-simplify]: Simplify (- 0) into 0
21.571 * [backup-simplify]: Simplify 0 into 0
21.572 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.572 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.573 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.573 * [backup-simplify]: Simplify 0 into 0
21.575 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.575 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (* +nan.0 a) (* +nan.0 (pow a 4)))) (* 2 (* (* +nan.0 (pow a 2)) (* +nan.0 (pow a 3)))))) (* 2 0)) into (* +nan.0 (pow a 5))
21.576 * [backup-simplify]: Simplify (+ (* (* +nan.0 a) (* +nan.0 (pow a 5))) (+ (* (* +nan.0 (pow a 2)) (* +nan.0 (pow a 4))) (+ (* (* +nan.0 (pow a 3)) (* +nan.0 (pow a 3))) (+ (* (* +nan.0 (pow a 4)) (* +nan.0 (pow a 2))) (* (* +nan.0 (pow a 5)) (* +nan.0 a)))))) into (- (* +nan.0 (pow a 6)))
21.577 * [backup-simplify]: Simplify (+ (* (* +nan.0 (pow a 2)) (- (* +nan.0 (pow a 6)))) (+ (* (- (* +nan.0 (pow a 3))) (- (* +nan.0 (pow a 5)))) (+ (* (- (* +nan.0 (pow a 4))) (- (* +nan.0 (pow a 4)))) (+ (* (- (* +nan.0 (pow a 5))) (- (* +nan.0 (pow a 3)))) (* (- (* +nan.0 (pow a 6))) (* +nan.0 (pow a 2))))))) into (- (* +nan.0 (pow a 8)))
21.577 * [taylor]: Taking taylor expansion of (- (* +nan.0 (pow a 8))) in a
21.577 * [taylor]: Taking taylor expansion of (* +nan.0 (pow a 8)) in a
21.577 * [taylor]: Taking taylor expansion of +nan.0 in a
21.578 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.578 * [taylor]: Taking taylor expansion of (pow a 8) in a
21.578 * [taylor]: Taking taylor expansion of a in a
21.578 * [backup-simplify]: Simplify 0 into 0
21.578 * [backup-simplify]: Simplify 1 into 1
21.578 * [backup-simplify]: Simplify (* 1 1) into 1
21.578 * [backup-simplify]: Simplify (* 1 1) into 1
21.578 * [backup-simplify]: Simplify (* 1 1) into 1
21.579 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
21.579 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
21.579 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
21.580 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (* (pow (/ 1 a) 3) (/ 1 b)) 2)) (+ (* (- +nan.0) (* (pow (/ 1 a) 5) (/ 1 b))) (* +nan.0 (pow (* (/ 1 a) 1) 4)))) into (- (+ (* +nan.0 (/ 1 (* (pow a 6) (pow b 2)))) (- (+ (* +nan.0 (/ 1 (pow a 4))) (- (* +nan.0 (/ 1 (* (pow a 5) b))))))))
21.580 * [backup-simplify]: Simplify (pow (sqrt (/ (/ 1 (- b)) (/ 1 (- a)))) 4) into (pow (sqrt (/ a b)) 4)
21.580 * [approximate]: Taking taylor expansion of (pow (sqrt (/ a b)) 4) in (b a) around 0
21.580 * [taylor]: Taking taylor expansion of (pow (sqrt (/ a b)) 4) in a
21.580 * [taylor]: Taking taylor expansion of (sqrt (/ a b)) in a
21.580 * [taylor]: Taking taylor expansion of (/ a b) in a
21.580 * [taylor]: Taking taylor expansion of a in a
21.580 * [backup-simplify]: Simplify 0 into 0
21.580 * [backup-simplify]: Simplify 1 into 1
21.580 * [taylor]: Taking taylor expansion of b in a
21.580 * [backup-simplify]: Simplify b into b
21.580 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
21.581 * [backup-simplify]: Simplify (sqrt 0) into 0
21.581 * [backup-simplify]: Simplify (/ (/ 1 b) (* 2 (sqrt 0))) into (/ +nan.0 b)
21.581 * [taylor]: Taking taylor expansion of (pow (sqrt (/ a b)) 4) in b
21.581 * [taylor]: Taking taylor expansion of (sqrt (/ a b)) in b
21.581 * [taylor]: Taking taylor expansion of (/ a b) in b
21.581 * [taylor]: Taking taylor expansion of a in b
21.581 * [backup-simplify]: Simplify a into a
21.581 * [taylor]: Taking taylor expansion of b in b
21.581 * [backup-simplify]: Simplify 0 into 0
21.581 * [backup-simplify]: Simplify 1 into 1
21.581 * [backup-simplify]: Simplify (/ a 1) into a
21.581 * [backup-simplify]: Simplify (sqrt 0) into 0
21.582 * [backup-simplify]: Simplify (/ a (* 2 (sqrt 0))) into (* +nan.0 a)
21.582 * [taylor]: Taking taylor expansion of (pow (sqrt (/ a b)) 4) in b
21.582 * [taylor]: Taking taylor expansion of (sqrt (/ a b)) in b
21.582 * [taylor]: Taking taylor expansion of (/ a b) in b
21.582 * [taylor]: Taking taylor expansion of a in b
21.582 * [backup-simplify]: Simplify a into a
21.582 * [taylor]: Taking taylor expansion of b in b
21.582 * [backup-simplify]: Simplify 0 into 0
21.582 * [backup-simplify]: Simplify 1 into 1
21.582 * [backup-simplify]: Simplify (/ a 1) into a
21.582 * [backup-simplify]: Simplify (sqrt 0) into 0
21.583 * [backup-simplify]: Simplify (/ a (* 2 (sqrt 0))) into (* +nan.0 a)
21.583 * [backup-simplify]: Simplify (* (* +nan.0 a) (* +nan.0 a)) into (* +nan.0 (pow a 2))
21.583 * [backup-simplify]: Simplify (* (* +nan.0 (pow a 2)) (* +nan.0 (pow a 2))) into (* +nan.0 (pow a 4))
21.583 * [taylor]: Taking taylor expansion of (* +nan.0 (pow a 4)) in a
21.583 * [taylor]: Taking taylor expansion of +nan.0 in a
21.583 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.583 * [taylor]: Taking taylor expansion of (pow a 4) in a
21.583 * [taylor]: Taking taylor expansion of a in a
21.583 * [backup-simplify]: Simplify 0 into 0
21.583 * [backup-simplify]: Simplify 1 into 1
21.583 * [backup-simplify]: Simplify (* 1 1) into 1
21.583 * [backup-simplify]: Simplify (* 1 1) into 1
21.584 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
21.584 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.584 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)))) into 0
21.589 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 a) 2) (+)) (* 2 0)) into (* +nan.0 (pow a 2))
21.590 * [backup-simplify]: Simplify (+ (* (* +nan.0 a) (* +nan.0 (pow a 2))) (* (* +nan.0 (pow a 2)) (* +nan.0 a))) into (- (* +nan.0 (pow a 3)))
21.590 * [backup-simplify]: Simplify (+ (* (* +nan.0 (pow a 2)) (- (* +nan.0 (pow a 3)))) (* (- (* +nan.0 (pow a 3))) (* +nan.0 (pow a 2)))) into (- (* +nan.0 (pow a 5)))
21.590 * [taylor]: Taking taylor expansion of (- (* +nan.0 (pow a 5))) in a
21.590 * [taylor]: Taking taylor expansion of (* +nan.0 (pow a 5)) in a
21.590 * [taylor]: Taking taylor expansion of +nan.0 in a
21.590 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.590 * [taylor]: Taking taylor expansion of (pow a 5) in a
21.590 * [taylor]: Taking taylor expansion of a in a
21.590 * [backup-simplify]: Simplify 0 into 0
21.590 * [backup-simplify]: Simplify 1 into 1
21.591 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.591 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.592 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
21.592 * [backup-simplify]: Simplify 0 into 0
21.592 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.593 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (* +nan.0 a) (* +nan.0 (pow a 2)))))) (* 2 0)) into (* +nan.0 (pow a 3))
21.593 * [backup-simplify]: Simplify (+ (* (* +nan.0 a) (* +nan.0 (pow a 3))) (+ (* (* +nan.0 (pow a 2)) (* +nan.0 (pow a 2))) (* (* +nan.0 (pow a 3)) (* +nan.0 a)))) into (- (* +nan.0 (pow a 4)))
21.594 * [backup-simplify]: Simplify (+ (* (* +nan.0 (pow a 2)) (- (* +nan.0 (pow a 4)))) (+ (* (- (* +nan.0 (pow a 3))) (- (* +nan.0 (pow a 3)))) (* (- (* +nan.0 (pow a 4))) (* +nan.0 (pow a 2))))) into (- (* +nan.0 (pow a 6)))
21.594 * [taylor]: Taking taylor expansion of (- (* +nan.0 (pow a 6))) in a
21.594 * [taylor]: Taking taylor expansion of (* +nan.0 (pow a 6)) in a
21.594 * [taylor]: Taking taylor expansion of +nan.0 in a
21.594 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.594 * [taylor]: Taking taylor expansion of (pow a 6) in a
21.594 * [taylor]: Taking taylor expansion of a in a
21.594 * [backup-simplify]: Simplify 0 into 0
21.594 * [backup-simplify]: Simplify 1 into 1
21.594 * [backup-simplify]: Simplify (* 1 1) into 1
21.595 * [backup-simplify]: Simplify (* 1 1) into 1
21.595 * [backup-simplify]: Simplify (* 1 1) into 1
21.595 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
21.595 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
21.595 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
21.596 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.596 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.597 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 0) (* 0 1))) into 0
21.597 * [backup-simplify]: Simplify 0 into 0
21.598 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.599 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 (pow a 2)) 2) (+ (* 2 (* (* +nan.0 a) (* +nan.0 (pow a 3)))))) (* 2 0)) into (* +nan.0 (pow a 4))
21.599 * [backup-simplify]: Simplify (+ (* (* +nan.0 a) (* +nan.0 (pow a 4))) (+ (* (* +nan.0 (pow a 2)) (* +nan.0 (pow a 3))) (+ (* (* +nan.0 (pow a 3)) (* +nan.0 (pow a 2))) (* (* +nan.0 (pow a 4)) (* +nan.0 a))))) into (- (* +nan.0 (pow a 5)))
21.600 * [backup-simplify]: Simplify (+ (* (* +nan.0 (pow a 2)) (- (* +nan.0 (pow a 5)))) (+ (* (- (* +nan.0 (pow a 3))) (- (* +nan.0 (pow a 4)))) (+ (* (- (* +nan.0 (pow a 4))) (- (* +nan.0 (pow a 3)))) (* (- (* +nan.0 (pow a 5))) (* +nan.0 (pow a 2)))))) into (- (* +nan.0 (pow a 7)))
21.600 * [taylor]: Taking taylor expansion of (- (* +nan.0 (pow a 7))) in a
21.600 * [taylor]: Taking taylor expansion of (* +nan.0 (pow a 7)) in a
21.600 * [taylor]: Taking taylor expansion of +nan.0 in a
21.600 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.600 * [taylor]: Taking taylor expansion of (pow a 7) in a
21.600 * [taylor]: Taking taylor expansion of a in a
21.600 * [backup-simplify]: Simplify 0 into 0
21.600 * [backup-simplify]: Simplify 1 into 1
21.601 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.601 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.602 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.602 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
21.602 * [backup-simplify]: Simplify (- 0) into 0
21.602 * [backup-simplify]: Simplify 0 into 0
21.603 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.603 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.604 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.604 * [backup-simplify]: Simplify 0 into 0
21.605 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.606 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (* +nan.0 a) (* +nan.0 (pow a 4)))) (* 2 (* (* +nan.0 (pow a 2)) (* +nan.0 (pow a 3)))))) (* 2 0)) into (* +nan.0 (pow a 5))
21.607 * [backup-simplify]: Simplify (+ (* (* +nan.0 a) (* +nan.0 (pow a 5))) (+ (* (* +nan.0 (pow a 2)) (* +nan.0 (pow a 4))) (+ (* (* +nan.0 (pow a 3)) (* +nan.0 (pow a 3))) (+ (* (* +nan.0 (pow a 4)) (* +nan.0 (pow a 2))) (* (* +nan.0 (pow a 5)) (* +nan.0 a)))))) into (- (* +nan.0 (pow a 6)))
21.608 * [backup-simplify]: Simplify (+ (* (* +nan.0 (pow a 2)) (- (* +nan.0 (pow a 6)))) (+ (* (- (* +nan.0 (pow a 3))) (- (* +nan.0 (pow a 5)))) (+ (* (- (* +nan.0 (pow a 4))) (- (* +nan.0 (pow a 4)))) (+ (* (- (* +nan.0 (pow a 5))) (- (* +nan.0 (pow a 3)))) (* (- (* +nan.0 (pow a 6))) (* +nan.0 (pow a 2))))))) into (- (* +nan.0 (pow a 8)))
21.608 * [taylor]: Taking taylor expansion of (- (* +nan.0 (pow a 8))) in a
21.608 * [taylor]: Taking taylor expansion of (* +nan.0 (pow a 8)) in a
21.608 * [taylor]: Taking taylor expansion of +nan.0 in a
21.608 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.608 * [taylor]: Taking taylor expansion of (pow a 8) in a
21.608 * [taylor]: Taking taylor expansion of a in a
21.608 * [backup-simplify]: Simplify 0 into 0
21.608 * [backup-simplify]: Simplify 1 into 1
21.609 * [backup-simplify]: Simplify (* 1 1) into 1
21.609 * [backup-simplify]: Simplify (* 1 1) into 1
21.609 * [backup-simplify]: Simplify (* 1 1) into 1
21.609 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
21.609 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
21.610 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
21.611 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (* (pow (/ 1 (- a)) 3) (/ 1 (- b))) 2)) (+ (* (- +nan.0) (* (pow (/ 1 (- a)) 5) (/ 1 (- b)))) (* +nan.0 (pow (* (/ 1 (- a)) 1) 4)))) into (- (+ (* +nan.0 (/ 1 (* (pow a 6) (pow b 2)))) (- (+ (* +nan.0 (/ 1 (pow a 4))) (- (* +nan.0 (/ 1 (* (pow a 5) b))))))))
21.611 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 1 1)
21.611 * [backup-simplify]: Simplify (sqrt (/ b a)) into (sqrt (/ b a))
21.611 * [approximate]: Taking taylor expansion of (sqrt (/ b a)) in (b a) around 0
21.611 * [taylor]: Taking taylor expansion of (sqrt (/ b a)) in a
21.611 * [taylor]: Taking taylor expansion of (/ b a) in a
21.611 * [taylor]: Taking taylor expansion of b in a
21.611 * [backup-simplify]: Simplify b into b
21.611 * [taylor]: Taking taylor expansion of a in a
21.611 * [backup-simplify]: Simplify 0 into 0
21.611 * [backup-simplify]: Simplify 1 into 1
21.611 * [backup-simplify]: Simplify (/ b 1) into b
21.611 * [backup-simplify]: Simplify (sqrt 0) into 0
21.612 * [backup-simplify]: Simplify (/ b (* 2 (sqrt 0))) into (* +nan.0 b)
21.612 * [taylor]: Taking taylor expansion of (sqrt (/ b a)) in b
21.612 * [taylor]: Taking taylor expansion of (/ b a) in b
21.612 * [taylor]: Taking taylor expansion of b in b
21.612 * [backup-simplify]: Simplify 0 into 0
21.612 * [backup-simplify]: Simplify 1 into 1
21.612 * [taylor]: Taking taylor expansion of a in b
21.612 * [backup-simplify]: Simplify a into a
21.612 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
21.612 * [backup-simplify]: Simplify (sqrt 0) into 0
21.612 * [backup-simplify]: Simplify (/ (/ 1 a) (* 2 (sqrt 0))) into (/ +nan.0 a)
21.612 * [taylor]: Taking taylor expansion of (sqrt (/ b a)) in b
21.612 * [taylor]: Taking taylor expansion of (/ b a) in b
21.612 * [taylor]: Taking taylor expansion of b in b
21.612 * [backup-simplify]: Simplify 0 into 0
21.612 * [backup-simplify]: Simplify 1 into 1
21.613 * [taylor]: Taking taylor expansion of a in b
21.613 * [backup-simplify]: Simplify a into a
21.613 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
21.613 * [backup-simplify]: Simplify (sqrt 0) into 0
21.613 * [backup-simplify]: Simplify (/ (/ 1 a) (* 2 (sqrt 0))) into (/ +nan.0 a)
21.613 * [taylor]: Taking taylor expansion of 0 in a
21.613 * [backup-simplify]: Simplify 0 into 0
21.613 * [taylor]: Taking taylor expansion of (/ +nan.0 a) in a
21.613 * [taylor]: Taking taylor expansion of +nan.0 in a
21.613 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.613 * [taylor]: Taking taylor expansion of a in a
21.613 * [backup-simplify]: Simplify 0 into 0
21.613 * [backup-simplify]: Simplify 1 into 1
21.614 * [backup-simplify]: Simplify (/ +nan.0 1) into +nan.0
21.614 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.614 * [backup-simplify]: Simplify 0 into 0
21.614 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)))) into 0
21.614 * [backup-simplify]: Simplify (/ (- 0 (pow (/ +nan.0 a) 2) (+)) (* 2 0)) into (/ +nan.0 (pow a 2))
21.614 * [taylor]: Taking taylor expansion of (/ +nan.0 (pow a 2)) in a
21.614 * [taylor]: Taking taylor expansion of +nan.0 in a
21.614 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.614 * [taylor]: Taking taylor expansion of (pow a 2) in a
21.614 * [taylor]: Taking taylor expansion of a in a
21.614 * [backup-simplify]: Simplify 0 into 0
21.614 * [backup-simplify]: Simplify 1 into 1
21.615 * [backup-simplify]: Simplify (* 1 1) into 1
21.615 * [backup-simplify]: Simplify (/ +nan.0 1) into +nan.0
21.615 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.616 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)))) into 0
21.616 * [backup-simplify]: Simplify 0 into 0
21.616 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)))) into 0
21.616 * [backup-simplify]: Simplify 0 into 0
21.616 * [backup-simplify]: Simplify 0 into 0
21.617 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
21.617 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (/ +nan.0 a) (/ +nan.0 (pow a 2)))))) (* 2 0)) into (/ +nan.0 (pow a 3))
21.617 * [taylor]: Taking taylor expansion of (/ +nan.0 (pow a 3)) in a
21.617 * [taylor]: Taking taylor expansion of +nan.0 in a
21.617 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.617 * [taylor]: Taking taylor expansion of (pow a 3) in a
21.617 * [taylor]: Taking taylor expansion of a in a
21.617 * [backup-simplify]: Simplify 0 into 0
21.617 * [backup-simplify]: Simplify 1 into 1
21.617 * [backup-simplify]: Simplify (* 1 1) into 1
21.618 * [backup-simplify]: Simplify (* 1 1) into 1
21.618 * [backup-simplify]: Simplify (/ +nan.0 1) into +nan.0
21.618 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.619 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.619 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.620 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.620 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)))) into 0
21.621 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.621 * [backup-simplify]: Simplify 0 into 0
21.621 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.622 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.622 * [backup-simplify]: Simplify 0 into 0
21.622 * [backup-simplify]: Simplify (* +nan.0 (* (/ 1 a) b)) into (* +nan.0 (/ b a))
21.622 * [backup-simplify]: Simplify (sqrt (/ (/ 1 b) (/ 1 a))) into (sqrt (/ a b))
21.622 * [approximate]: Taking taylor expansion of (sqrt (/ a b)) in (b a) around 0
21.622 * [taylor]: Taking taylor expansion of (sqrt (/ a b)) in a
21.622 * [taylor]: Taking taylor expansion of (/ a b) in a
21.622 * [taylor]: Taking taylor expansion of a in a
21.622 * [backup-simplify]: Simplify 0 into 0
21.622 * [backup-simplify]: Simplify 1 into 1
21.622 * [taylor]: Taking taylor expansion of b in a
21.622 * [backup-simplify]: Simplify b into b
21.622 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
21.622 * [backup-simplify]: Simplify (sqrt 0) into 0
21.623 * [backup-simplify]: Simplify (/ (/ 1 b) (* 2 (sqrt 0))) into (/ +nan.0 b)
21.623 * [taylor]: Taking taylor expansion of (sqrt (/ a b)) in b
21.623 * [taylor]: Taking taylor expansion of (/ a b) in b
21.623 * [taylor]: Taking taylor expansion of a in b
21.623 * [backup-simplify]: Simplify a into a
21.623 * [taylor]: Taking taylor expansion of b in b
21.623 * [backup-simplify]: Simplify 0 into 0
21.623 * [backup-simplify]: Simplify 1 into 1
21.623 * [backup-simplify]: Simplify (/ a 1) into a
21.623 * [backup-simplify]: Simplify (sqrt 0) into 0
21.624 * [backup-simplify]: Simplify (/ a (* 2 (sqrt 0))) into (* +nan.0 a)
21.624 * [taylor]: Taking taylor expansion of (sqrt (/ a b)) in b
21.624 * [taylor]: Taking taylor expansion of (/ a b) in b
21.624 * [taylor]: Taking taylor expansion of a in b
21.624 * [backup-simplify]: Simplify a into a
21.624 * [taylor]: Taking taylor expansion of b in b
21.624 * [backup-simplify]: Simplify 0 into 0
21.624 * [backup-simplify]: Simplify 1 into 1
21.624 * [backup-simplify]: Simplify (/ a 1) into a
21.624 * [backup-simplify]: Simplify (sqrt 0) into 0
21.625 * [backup-simplify]: Simplify (/ a (* 2 (sqrt 0))) into (* +nan.0 a)
21.625 * [taylor]: Taking taylor expansion of 0 in a
21.625 * [backup-simplify]: Simplify 0 into 0
21.625 * [backup-simplify]: Simplify 0 into 0
21.625 * [taylor]: Taking taylor expansion of (* +nan.0 a) in a
21.625 * [taylor]: Taking taylor expansion of +nan.0 in a
21.625 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.625 * [taylor]: Taking taylor expansion of a in a
21.625 * [backup-simplify]: Simplify 0 into 0
21.625 * [backup-simplify]: Simplify 1 into 1
21.625 * [backup-simplify]: Simplify (* +nan.0 0) into 0
21.625 * [backup-simplify]: Simplify 0 into 0
21.625 * [backup-simplify]: Simplify 0 into 0
21.626 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)))) into 0
21.626 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 a) 2) (+)) (* 2 0)) into (* +nan.0 (pow a 2))
21.626 * [taylor]: Taking taylor expansion of (* +nan.0 (pow a 2)) in a
21.626 * [taylor]: Taking taylor expansion of +nan.0 in a
21.626 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.626 * [taylor]: Taking taylor expansion of (pow a 2) in a
21.626 * [taylor]: Taking taylor expansion of a in a
21.626 * [backup-simplify]: Simplify 0 into 0
21.626 * [backup-simplify]: Simplify 1 into 1
21.627 * [backup-simplify]: Simplify (+ (* +nan.0 1) (* 0 0)) into (- +nan.0)
21.628 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
21.628 * [backup-simplify]: Simplify 0 into 0
21.628 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.629 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (* +nan.0 a) (* +nan.0 (pow a 2)))))) (* 2 0)) into (* +nan.0 (pow a 3))
21.629 * [taylor]: Taking taylor expansion of (* +nan.0 (pow a 3)) in a
21.629 * [taylor]: Taking taylor expansion of +nan.0 in a
21.629 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.629 * [taylor]: Taking taylor expansion of (pow a 3) in a
21.629 * [taylor]: Taking taylor expansion of a in a
21.629 * [backup-simplify]: Simplify 0 into 0
21.629 * [backup-simplify]: Simplify 1 into 1
21.630 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 1) (* 0 0))) into 0
21.630 * [backup-simplify]: Simplify 0 into 0
21.630 * [backup-simplify]: Simplify 0 into 0
21.631 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.632 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 (pow a 2)) 2) (+ (* 2 (* (* +nan.0 a) (* +nan.0 (pow a 3)))))) (* 2 0)) into (* +nan.0 (pow a 4))
21.632 * [taylor]: Taking taylor expansion of (* +nan.0 (pow a 4)) in a
21.632 * [taylor]: Taking taylor expansion of +nan.0 in a
21.632 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.632 * [taylor]: Taking taylor expansion of (pow a 4) in a
21.632 * [taylor]: Taking taylor expansion of a in a
21.632 * [backup-simplify]: Simplify 0 into 0
21.632 * [backup-simplify]: Simplify 1 into 1
21.632 * [backup-simplify]: Simplify (* 1 1) into 1
21.632 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
21.632 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.633 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
21.633 * [backup-simplify]: Simplify 0 into 0
21.633 * [backup-simplify]: Simplify 0 into 0
21.634 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.635 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (* +nan.0 a) (* +nan.0 (pow a 4)))) (* 2 (* (* +nan.0 (pow a 2)) (* +nan.0 (pow a 3)))))) (* 2 0)) into (* +nan.0 (pow a 5))
21.635 * [taylor]: Taking taylor expansion of (* +nan.0 (pow a 5)) in a
21.635 * [taylor]: Taking taylor expansion of +nan.0 in a
21.635 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.635 * [taylor]: Taking taylor expansion of (pow a 5) in a
21.635 * [taylor]: Taking taylor expansion of a in a
21.635 * [backup-simplify]: Simplify 0 into 0
21.635 * [backup-simplify]: Simplify 1 into 1
21.636 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.636 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
21.636 * [backup-simplify]: Simplify 0 into 0
21.637 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
21.637 * [backup-simplify]: Simplify 0 into 0
21.637 * [backup-simplify]: Simplify 0 into 0
21.639 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.639 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 (pow a 3)) 2) (+ (* 2 (* (* +nan.0 a) (* +nan.0 (pow a 5)))) (* 2 (* (* +nan.0 (pow a 2)) (* +nan.0 (pow a 4)))))) (* 2 0)) into (* +nan.0 (pow a 6))
21.639 * [taylor]: Taking taylor expansion of (* +nan.0 (pow a 6)) in a
21.639 * [taylor]: Taking taylor expansion of +nan.0 in a
21.639 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.639 * [taylor]: Taking taylor expansion of (pow a 6) in a
21.639 * [taylor]: Taking taylor expansion of a in a
21.639 * [backup-simplify]: Simplify 0 into 0
21.640 * [backup-simplify]: Simplify 1 into 1
21.640 * [backup-simplify]: Simplify (* 1 1) into 1
21.640 * [backup-simplify]: Simplify (* 1 1) into 1
21.640 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
21.640 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.641 * [backup-simplify]: Simplify (+ (* +nan.0 (* (pow (/ 1 a) 3) (pow (/ 1 b) 2))) (+ (* +nan.0 (* (pow (/ 1 a) 2) (/ 1 b))) (* (- +nan.0) (* (/ 1 a) 1)))) into (- (+ (* +nan.0 (/ 1 (* (pow a 3) (pow b 2)))) (- (+ (* +nan.0 (/ 1 (* (pow a 2) b))) (- (* +nan.0 (/ 1 a)))))))
21.641 * [backup-simplify]: Simplify (sqrt (/ (/ 1 (- b)) (/ 1 (- a)))) into (sqrt (/ a b))
21.641 * [approximate]: Taking taylor expansion of (sqrt (/ a b)) in (b a) around 0
21.641 * [taylor]: Taking taylor expansion of (sqrt (/ a b)) in a
21.641 * [taylor]: Taking taylor expansion of (/ a b) in a
21.641 * [taylor]: Taking taylor expansion of a in a
21.641 * [backup-simplify]: Simplify 0 into 0
21.641 * [backup-simplify]: Simplify 1 into 1
21.641 * [taylor]: Taking taylor expansion of b in a
21.641 * [backup-simplify]: Simplify b into b
21.641 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
21.642 * [backup-simplify]: Simplify (sqrt 0) into 0
21.642 * [backup-simplify]: Simplify (/ (/ 1 b) (* 2 (sqrt 0))) into (/ +nan.0 b)
21.642 * [taylor]: Taking taylor expansion of (sqrt (/ a b)) in b
21.642 * [taylor]: Taking taylor expansion of (/ a b) in b
21.642 * [taylor]: Taking taylor expansion of a in b
21.642 * [backup-simplify]: Simplify a into a
21.642 * [taylor]: Taking taylor expansion of b in b
21.642 * [backup-simplify]: Simplify 0 into 0
21.642 * [backup-simplify]: Simplify 1 into 1
21.642 * [backup-simplify]: Simplify (/ a 1) into a
21.642 * [backup-simplify]: Simplify (sqrt 0) into 0
21.643 * [backup-simplify]: Simplify (/ a (* 2 (sqrt 0))) into (* +nan.0 a)
21.643 * [taylor]: Taking taylor expansion of (sqrt (/ a b)) in b
21.643 * [taylor]: Taking taylor expansion of (/ a b) in b
21.643 * [taylor]: Taking taylor expansion of a in b
21.643 * [backup-simplify]: Simplify a into a
21.643 * [taylor]: Taking taylor expansion of b in b
21.643 * [backup-simplify]: Simplify 0 into 0
21.643 * [backup-simplify]: Simplify 1 into 1
21.643 * [backup-simplify]: Simplify (/ a 1) into a
21.643 * [backup-simplify]: Simplify (sqrt 0) into 0
21.643 * [backup-simplify]: Simplify (/ a (* 2 (sqrt 0))) into (* +nan.0 a)
21.643 * [taylor]: Taking taylor expansion of 0 in a
21.643 * [backup-simplify]: Simplify 0 into 0
21.643 * [backup-simplify]: Simplify 0 into 0
21.643 * [taylor]: Taking taylor expansion of (* +nan.0 a) in a
21.644 * [taylor]: Taking taylor expansion of +nan.0 in a
21.644 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.644 * [taylor]: Taking taylor expansion of a in a
21.644 * [backup-simplify]: Simplify 0 into 0
21.644 * [backup-simplify]: Simplify 1 into 1
21.644 * [backup-simplify]: Simplify (* +nan.0 0) into 0
21.644 * [backup-simplify]: Simplify 0 into 0
21.644 * [backup-simplify]: Simplify 0 into 0
21.644 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)))) into 0
21.645 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 a) 2) (+)) (* 2 0)) into (* +nan.0 (pow a 2))
21.645 * [taylor]: Taking taylor expansion of (* +nan.0 (pow a 2)) in a
21.645 * [taylor]: Taking taylor expansion of +nan.0 in a
21.645 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.645 * [taylor]: Taking taylor expansion of (pow a 2) in a
21.645 * [taylor]: Taking taylor expansion of a in a
21.645 * [backup-simplify]: Simplify 0 into 0
21.645 * [backup-simplify]: Simplify 1 into 1
21.646 * [backup-simplify]: Simplify (+ (* +nan.0 1) (* 0 0)) into (- +nan.0)
21.646 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
21.646 * [backup-simplify]: Simplify 0 into 0
21.647 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.648 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (* +nan.0 a) (* +nan.0 (pow a 2)))))) (* 2 0)) into (* +nan.0 (pow a 3))
21.648 * [taylor]: Taking taylor expansion of (* +nan.0 (pow a 3)) in a
21.648 * [taylor]: Taking taylor expansion of +nan.0 in a
21.648 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.648 * [taylor]: Taking taylor expansion of (pow a 3) in a
21.648 * [taylor]: Taking taylor expansion of a in a
21.648 * [backup-simplify]: Simplify 0 into 0
21.648 * [backup-simplify]: Simplify 1 into 1
21.648 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 1) (* 0 0))) into 0
21.648 * [backup-simplify]: Simplify 0 into 0
21.648 * [backup-simplify]: Simplify 0 into 0
21.649 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.650 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 (pow a 2)) 2) (+ (* 2 (* (* +nan.0 a) (* +nan.0 (pow a 3)))))) (* 2 0)) into (* +nan.0 (pow a 4))
21.650 * [taylor]: Taking taylor expansion of (* +nan.0 (pow a 4)) in a
21.650 * [taylor]: Taking taylor expansion of +nan.0 in a
21.650 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.650 * [taylor]: Taking taylor expansion of (pow a 4) in a
21.650 * [taylor]: Taking taylor expansion of a in a
21.650 * [backup-simplify]: Simplify 0 into 0
21.650 * [backup-simplify]: Simplify 1 into 1
21.650 * [backup-simplify]: Simplify (* 1 1) into 1
21.651 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
21.651 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.651 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
21.651 * [backup-simplify]: Simplify 0 into 0
21.651 * [backup-simplify]: Simplify 0 into 0
21.653 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.653 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (* +nan.0 a) (* +nan.0 (pow a 4)))) (* 2 (* (* +nan.0 (pow a 2)) (* +nan.0 (pow a 3)))))) (* 2 0)) into (* +nan.0 (pow a 5))
21.653 * [taylor]: Taking taylor expansion of (* +nan.0 (pow a 5)) in a
21.653 * [taylor]: Taking taylor expansion of +nan.0 in a
21.653 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.653 * [taylor]: Taking taylor expansion of (pow a 5) in a
21.654 * [taylor]: Taking taylor expansion of a in a
21.654 * [backup-simplify]: Simplify 0 into 0
21.654 * [backup-simplify]: Simplify 1 into 1
21.654 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.654 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
21.654 * [backup-simplify]: Simplify 0 into 0
21.656 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
21.656 * [backup-simplify]: Simplify 0 into 0
21.656 * [backup-simplify]: Simplify 0 into 0
21.659 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.661 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 (pow a 3)) 2) (+ (* 2 (* (* +nan.0 a) (* +nan.0 (pow a 5)))) (* 2 (* (* +nan.0 (pow a 2)) (* +nan.0 (pow a 4)))))) (* 2 0)) into (* +nan.0 (pow a 6))
21.661 * [taylor]: Taking taylor expansion of (* +nan.0 (pow a 6)) in a
21.661 * [taylor]: Taking taylor expansion of +nan.0 in a
21.661 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.661 * [taylor]: Taking taylor expansion of (pow a 6) in a
21.661 * [taylor]: Taking taylor expansion of a in a
21.661 * [backup-simplify]: Simplify 0 into 0
21.661 * [backup-simplify]: Simplify 1 into 1
21.661 * [backup-simplify]: Simplify (* 1 1) into 1
21.662 * [backup-simplify]: Simplify (* 1 1) into 1
21.662 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
21.662 * [backup-simplify]: Simplify +nan.0 into +nan.0
21.663 * [backup-simplify]: Simplify (+ (* +nan.0 (* (pow (/ 1 (- a)) 3) (pow (/ 1 (- b)) 2))) (+ (* +nan.0 (* (pow (/ 1 (- a)) 2) (/ 1 (- b)))) (* (- +nan.0) (* (/ 1 (- a)) 1)))) into (- (+ (* +nan.0 (/ 1 (* (pow a 3) (pow b 2)))) (- (+ (* +nan.0 (/ 1 (* (pow a 2) b))) (- (* +nan.0 (/ 1 a)))))))
21.663 * * * * [progress]: [ 4 / 4 ] generating series at (2)
21.664 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (log (exp (pow (sqrt (/ b a)) 4)))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
21.664 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
21.664 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
21.664 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
21.664 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
21.665 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
21.665 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
21.665 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
21.665 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
21.666 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
21.666 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
21.666 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
21.666 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
21.666 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
21.667 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
21.667 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
21.668 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
21.668 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
21.668 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
21.668 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
21.668 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
21.669 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
21.669 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
21.669 * [taylor]: Taking taylor expansion of 0 in a
21.669 * [backup-simplify]: Simplify 0 into 0
21.669 * [backup-simplify]: Simplify 0 into 0
21.669 * [backup-simplify]: Simplify 0 into 0
21.671 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
21.671 * [taylor]: Taking taylor expansion of 0 in a
21.671 * [backup-simplify]: Simplify 0 into 0
21.671 * [backup-simplify]: Simplify 0 into 0
21.671 * [backup-simplify]: Simplify 0 into 0
21.672 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
21.672 * [backup-simplify]: Simplify 0 into 0
21.673 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
21.673 * [taylor]: Taking taylor expansion of 0 in a
21.673 * [backup-simplify]: Simplify 0 into 0
21.673 * [backup-simplify]: Simplify 0 into 0
21.674 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
21.675 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (log (exp (pow (sqrt (/ (/ 1 b) (/ 1 a))) 4)))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
21.675 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
21.675 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
21.675 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
21.675 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
21.676 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
21.676 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
21.676 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
21.676 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
21.677 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
21.677 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
21.677 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
21.677 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
21.677 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
21.678 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
21.678 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
21.678 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
21.679 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
21.679 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
21.679 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
21.679 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
21.680 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
21.680 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
21.680 * [taylor]: Taking taylor expansion of 0 in a
21.680 * [backup-simplify]: Simplify 0 into 0
21.680 * [backup-simplify]: Simplify 0 into 0
21.680 * [backup-simplify]: Simplify 0 into 0
21.682 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
21.682 * [taylor]: Taking taylor expansion of 0 in a
21.682 * [backup-simplify]: Simplify 0 into 0
21.682 * [backup-simplify]: Simplify 0 into 0
21.682 * [backup-simplify]: Simplify 0 into 0
21.683 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
21.683 * [backup-simplify]: Simplify 0 into 0
21.685 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
21.685 * [taylor]: Taking taylor expansion of 0 in a
21.685 * [backup-simplify]: Simplify 0 into 0
21.685 * [backup-simplify]: Simplify 0 into 0
21.685 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 a) 2) (pow (/ 1 b) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
21.686 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (log (exp (pow (sqrt (/ (/ 1 (- b)) (/ 1 (- a)))) 4)))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
21.686 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
21.686 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
21.686 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
21.686 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
21.686 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
21.687 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
21.687 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
21.687 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
21.687 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
21.688 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
21.688 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
21.688 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
21.688 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
21.688 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
21.689 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
21.689 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
21.689 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
21.689 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
21.690 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
21.690 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
21.690 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
21.691 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
21.691 * [taylor]: Taking taylor expansion of 0 in a
21.691 * [backup-simplify]: Simplify 0 into 0
21.691 * [backup-simplify]: Simplify 0 into 0
21.691 * [backup-simplify]: Simplify 0 into 0
21.692 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
21.692 * [taylor]: Taking taylor expansion of 0 in a
21.692 * [backup-simplify]: Simplify 0 into 0
21.692 * [backup-simplify]: Simplify 0 into 0
21.692 * [backup-simplify]: Simplify 0 into 0
21.693 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
21.693 * [backup-simplify]: Simplify 0 into 0
21.695 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
21.695 * [taylor]: Taking taylor expansion of 0 in a
21.695 * [backup-simplify]: Simplify 0 into 0
21.695 * [backup-simplify]: Simplify 0 into 0
21.695 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
21.695 * * * [progress]: simplifying candidates
21.698 * [simplify]: Simplifying:
  (expm1 (log (exp (pow (sqrt (/ b a)) 4))))
  (log1p (log (exp (pow (sqrt (/ b a)) 4))))
  (log (* (cbrt (exp (pow (sqrt (/ b a)) 4))) (cbrt (exp (pow (sqrt (/ b a)) 4)))))
  (log (cbrt (exp (pow (sqrt (/ b a)) 4))))
  (log (sqrt (exp (pow (sqrt (/ b a)) 4))))
  (log (sqrt (exp (pow (sqrt (/ b a)) 4))))
  (log 1)
  (log (exp (pow (sqrt (/ b a)) 4)))
  (log (exp (pow (sqrt (/ b a)) 4)))
  (log (exp (pow (* (cbrt (sqrt (/ b a))) (cbrt (sqrt (/ b a)))) 4)))
  (log (exp (pow (sqrt (* (cbrt (/ b a)) (cbrt (/ b a)))) 4)))
  (log (exp (pow (sqrt (sqrt (/ b a))) 4)))
  (log (exp (pow (sqrt (/ (* (cbrt b) (cbrt b)) (* (cbrt a) (cbrt a)))) 4)))
  (log (exp (pow (sqrt (/ (* (cbrt b) (cbrt b)) (sqrt a))) 4)))
  (log (exp (pow (sqrt (/ (* (cbrt b) (cbrt b)) 1)) 4)))
  (log (exp (pow (sqrt (/ (sqrt b) (* (cbrt a) (cbrt a)))) 4)))
  (log (exp (pow (sqrt (/ (sqrt b) (sqrt a))) 4)))
  (log (exp (pow (sqrt (/ (sqrt b) 1)) 4)))
  (log (exp (pow (sqrt (/ 1 (* (cbrt a) (cbrt a)))) 4)))
  (log (exp (pow (sqrt (/ 1 (sqrt a))) 4)))
  (log (exp (pow (sqrt (/ 1 1)) 4)))
  (log (exp (pow (sqrt 1) 4)))
  (log (exp (pow (sqrt b) 4)))
  (log (exp (pow (sqrt (sqrt (/ b a))) 4)))
  (log (exp (pow 1 4)))
  (log (exp (* (cbrt (pow (sqrt (/ b a)) 4)) (cbrt (pow (sqrt (/ b a)) 4)))))
  (log (exp (sqrt (pow (sqrt (/ b a)) 4))))
  (log (exp 1))
  (log (exp (pow (sqrt (/ b a)) (/ 4 2))))
  (log (log (exp (pow (sqrt (/ b a)) 4))))
  (exp (log (exp (pow (sqrt (/ b a)) 4))))
  (* (cbrt (log (exp (pow (sqrt (/ b a)) 4)))) (cbrt (log (exp (pow (sqrt (/ b a)) 4)))))
  (cbrt (log (exp (pow (sqrt (/ b a)) 4))))
  (* (* (log (exp (pow (sqrt (/ b a)) 4))) (log (exp (pow (sqrt (/ b a)) 4)))) (log (exp (pow (sqrt (/ b a)) 4))))
  (sqrt (log (exp (pow (sqrt (/ b a)) 4))))
  (sqrt (log (exp (pow (sqrt (/ b a)) 4))))
  (expm1 (pow (sqrt (/ b a)) 4))
  (log1p (pow (sqrt (/ b a)) 4))
  (* (log (sqrt (/ b a))) 4)
  (* (log (sqrt (/ b a))) 4)
  (* 1/2 4)
  (* 1 4)
  (* (/ 1 2) 4)
  (pow (sqrt (/ b a)) (* (cbrt 4) (cbrt 4)))
  (pow (sqrt (/ b a)) (sqrt 4))
  (pow (sqrt (/ b a)) 1)
  (pow (* (cbrt (sqrt (/ b a))) (cbrt (sqrt (/ b a)))) 4)
  (pow (cbrt (sqrt (/ b a))) 4)
  (pow (sqrt (* (cbrt (/ b a)) (cbrt (/ b a)))) 4)
  (pow (sqrt (cbrt (/ b a))) 4)
  (pow (sqrt (sqrt (/ b a))) 4)
  (pow (sqrt (sqrt (/ b a))) 4)
  (pow (sqrt (/ (* (cbrt b) (cbrt b)) (* (cbrt a) (cbrt a)))) 4)
  (pow (sqrt (/ (cbrt b) (cbrt a))) 4)
  (pow (sqrt (/ (* (cbrt b) (cbrt b)) (sqrt a))) 4)
  (pow (sqrt (/ (cbrt b) (sqrt a))) 4)
  (pow (sqrt (/ (* (cbrt b) (cbrt b)) 1)) 4)
  (pow (sqrt (/ (cbrt b) a)) 4)
  (pow (sqrt (/ (sqrt b) (* (cbrt a) (cbrt a)))) 4)
  (pow (sqrt (/ (sqrt b) (cbrt a))) 4)
  (pow (sqrt (/ (sqrt b) (sqrt a))) 4)
  (pow (sqrt (/ (sqrt b) (sqrt a))) 4)
  (pow (sqrt (/ (sqrt b) 1)) 4)
  (pow (sqrt (/ (sqrt b) a)) 4)
  (pow (sqrt (/ 1 (* (cbrt a) (cbrt a)))) 4)
  (pow (sqrt (/ b (cbrt a))) 4)
  (pow (sqrt (/ 1 (sqrt a))) 4)
  (pow (sqrt (/ b (sqrt a))) 4)
  (pow (sqrt (/ 1 1)) 4)
  (pow (sqrt (/ b a)) 4)
  (pow (sqrt 1) 4)
  (pow (sqrt (/ b a)) 4)
  (pow (sqrt b) 4)
  (pow (sqrt (/ 1 a)) 4)
  (pow (sqrt (sqrt (/ b a))) 4)
  (pow (sqrt (sqrt (/ b a))) 4)
  (pow 1 4)
  (pow (sqrt (/ b a)) 4)
  (log (pow (sqrt (/ b a)) 4))
  (exp (pow (sqrt (/ b a)) 4))
  (* (cbrt (pow (sqrt (/ b a)) 4)) (cbrt (pow (sqrt (/ b a)) 4)))
  (cbrt (pow (sqrt (/ b a)) 4))
  (* (* (pow (sqrt (/ b a)) 4) (pow (sqrt (/ b a)) 4)) (pow (sqrt (/ b a)) 4))
  (/ 4 2)
  (sqrt (pow (sqrt (/ b a)) 4))
  (sqrt (pow (sqrt (/ b a)) 4))
  (pow (sqrt (/ b a)) (/ 4 2))
  (pow (sqrt (/ b a)) (/ 4 2))
  (expm1 (sqrt (/ b a)))
  (log1p (sqrt (/ b a)))
  (log (sqrt (/ b a)))
  (exp (sqrt (/ b a)))
  (* (cbrt (sqrt (/ b a))) (cbrt (sqrt (/ b a))))
  (cbrt (sqrt (/ b a)))
  (* (* (sqrt (/ b a)) (sqrt (/ b a))) (sqrt (/ b a)))
  (sqrt (* (cbrt (/ b a)) (cbrt (/ b a))))
  (sqrt (cbrt (/ b a)))
  (sqrt (sqrt (/ b a)))
  (sqrt (sqrt (/ b a)))
  (sqrt (/ (* (cbrt b) (cbrt b)) (* (cbrt a) (cbrt a))))
  (sqrt (/ (cbrt b) (cbrt a)))
  (sqrt (/ (* (cbrt b) (cbrt b)) (sqrt a)))
  (sqrt (/ (cbrt b) (sqrt a)))
  (sqrt (/ (* (cbrt b) (cbrt b)) 1))
  (sqrt (/ (cbrt b) a))
  (sqrt (/ (sqrt b) (* (cbrt a) (cbrt a))))
  (sqrt (/ (sqrt b) (cbrt a)))
  (sqrt (/ (sqrt b) (sqrt a)))
  (sqrt (/ (sqrt b) (sqrt a)))
  (sqrt (/ (sqrt b) 1))
  (sqrt (/ (sqrt b) a))
  (sqrt (/ 1 (* (cbrt a) (cbrt a))))
  (sqrt (/ b (cbrt a)))
  (sqrt (/ 1 (sqrt a)))
  (sqrt (/ b (sqrt a)))
  (sqrt (/ 1 1))
  (sqrt (/ b a))
  (sqrt 1)
  (sqrt (/ b a))
  (sqrt b)
  (sqrt (/ 1 a))
  (sqrt b)
  (sqrt a)
  (/ 1 2)
  (sqrt (sqrt (/ b a)))
  (sqrt (sqrt (/ b a)))
  (expm1 (sqrt (fabs (- 1 (log (exp (pow (sqrt (/ b a)) 4)))))))
  (log1p (sqrt (fabs (- 1 (log (exp (pow (sqrt (/ b a)) 4)))))))
  (log (sqrt (fabs (- 1 (log (exp (pow (sqrt (/ b a)) 4)))))))
  (exp (sqrt (fabs (- 1 (log (exp (pow (sqrt (/ b a)) 4)))))))
  (* (cbrt (sqrt (fabs (- 1 (log (exp (pow (sqrt (/ b a)) 4))))))) (cbrt (sqrt (fabs (- 1 (log (exp (pow (sqrt (/ b a)) 4))))))))
  (cbrt (sqrt (fabs (- 1 (log (exp (pow (sqrt (/ b a)) 4)))))))
  (* (* (sqrt (fabs (- 1 (log (exp (pow (sqrt (/ b a)) 4)))))) (sqrt (fabs (- 1 (log (exp (pow (sqrt (/ b a)) 4))))))) (sqrt (fabs (- 1 (log (exp (pow (sqrt (/ b a)) 4)))))))
  (sqrt (* (cbrt (fabs (- 1 (log (exp (pow (sqrt (/ b a)) 4)))))) (cbrt (fabs (- 1 (log (exp (pow (sqrt (/ b a)) 4))))))))
  (sqrt (cbrt (fabs (- 1 (log (exp (pow (sqrt (/ b a)) 4)))))))
  (sqrt (sqrt (fabs (- 1 (log (exp (pow (sqrt (/ b a)) 4)))))))
  (sqrt (sqrt (fabs (- 1 (log (exp (pow (sqrt (/ b a)) 4)))))))
  (sqrt 1)
  (sqrt (fabs (- 1 (log (exp (pow (sqrt (/ b a)) 4))))))
  (/ 1 2)
  (sqrt (sqrt (fabs (- 1 (log (exp (pow (sqrt (/ b a)) 4)))))))
  (sqrt (sqrt (fabs (- 1 (log (exp (pow (sqrt (/ b a)) 4)))))))
  0
  (- (+ (* +nan.0 (/ 1 (* (pow a 6) (pow b 2)))) (- (+ (* +nan.0 (/ 1 (pow a 4))) (- (* +nan.0 (/ 1 (* (pow a 5) b))))))))
  (- (+ (* +nan.0 (/ 1 (* (pow a 6) (pow b 2)))) (- (+ (* +nan.0 (/ 1 (pow a 4))) (- (* +nan.0 (/ 1 (* (pow a 5) b))))))))
  0
  (- (+ (* +nan.0 (/ 1 (* (pow a 6) (pow b 2)))) (- (+ (* +nan.0 (/ 1 (pow a 4))) (- (* +nan.0 (/ 1 (* (pow a 5) b))))))))
  (- (+ (* +nan.0 (/ 1 (* (pow a 6) (pow b 2)))) (- (+ (* +nan.0 (/ 1 (pow a 4))) (- (* +nan.0 (/ 1 (* (pow a 5) b))))))))
  (* +nan.0 (/ b a))
  (- (+ (* +nan.0 (/ 1 (* (pow a 3) (pow b 2)))) (- (+ (* +nan.0 (/ 1 (* (pow a 2) b))) (- (* +nan.0 (/ 1 a)))))))
  (- (+ (* +nan.0 (/ 1 (* (pow a 3) (pow b 2)))) (- (+ (* +nan.0 (/ 1 (* (pow a 2) b))) (- (* +nan.0 (/ 1 a)))))))
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
  (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
21.703 * * [simplify]: Extracting # 0 : cost  0
21.704 * * [simplify]: Extracting # 1 : cost  0
21.704 * * [simplify]: Extracting # 2 : cost  0
21.705 * * [simplify]: Extracting # 3 : cost  0
21.705 * * [simplify]: Extracting # 4 : cost  0
21.706 * * [simplify]: Extracting # 5 : cost  0
21.706 * * [simplify]: Extracting # 6 : cost  0
21.706 * * [simplify]: Extracting # 7 : cost  0
21.707 * * [simplify]: Extracting # 8 : cost  0
21.714 * * [simplify]: Extracting # 9 : cost  0
21.715 * * [simplify]: Extracting # 10 : cost  0
21.715 * * [simplify]: Extracting # 11 : cost  0
21.716 * * [simplify]: Extracting # 12 : cost  0
21.716 * * [simplify]: iteration  0 :  222  enodes  (cost  1457 )
21.783 * * [simplify]: Extracting # 0 : cost  0
21.784 * * [simplify]: Extracting # 1 : cost  0
21.785 * * [simplify]: Extracting # 2 : cost  0
21.786 * * [simplify]: Extracting # 3 : cost  0
21.786 * * [simplify]: Extracting # 4 : cost  0
21.787 * * [simplify]: iteration  1 :  396  enodes  (cost  1210 )
21.916 * * [simplify]: Extracting # 0 : cost  0
21.917 * * [simplify]: Extracting # 1 : cost  0
21.918 * * [simplify]: Extracting # 2 : cost  0
21.919 * * [simplify]: Extracting # 3 : cost  0
21.920 * * [simplify]: Extracting # 4 : cost  0
21.921 * * [simplify]: iteration  2 :  880  enodes  (cost  1066 )
22.476 * * [simplify]: Extracting # 0 : cost  0
22.482 * * [simplify]: Extracting # 1 : cost  0
22.487 * * [simplify]: Extracting # 2 : cost  0
22.493 * * [simplify]: Extracting # 3 : cost  0
22.498 * * [simplify]: Extracting # 4 : cost  0
22.503 * * [simplify]: iteration  3 :  2395  enodes  (cost  1042 )
23.425 * * [simplify]: Extracting # 0 : cost  0
23.431 * * [simplify]: Extracting # 1 : cost  0
23.437 * * [simplify]: Extracting # 2 : cost  0
23.443 * * [simplify]: Extracting # 3 : cost  0
23.460 * * [simplify]: Extracting # 4 : cost  0
23.472 * * [simplify]: iteration done:  5000  enodes  (cost  1036 )
23.474 * [simplify]: Simplified to:
  (expm1 (pow (sqrt (/ b a)) 4))
  (log1p (pow (sqrt (/ b a)) 4))
  (* 2 (log (cbrt (exp (pow (sqrt (/ b a)) 4)))))
  (log (cbrt (exp (pow (sqrt (/ b a)) 4))))
  (log (sqrt (exp (pow (sqrt (/ b a)) 4))))
  (log (sqrt (exp (pow (sqrt (/ b a)) 4))))
  0
  (pow (sqrt (/ b a)) 4)
  (pow (sqrt (/ b a)) 4)
  (pow (cbrt (sqrt (/ b a))) 8)
  (pow (fabs (cbrt (/ b a))) 4)
  (/ b a)
  (pow (fabs (/ (cbrt b) (cbrt a))) 4)
  (pow (sqrt (/ (* (cbrt b) (cbrt b)) (sqrt a))) 4)
  (pow (fabs (cbrt b)) 4)
  (pow (sqrt (/ (sqrt b) (* (cbrt a) (cbrt a)))) 4)
  (pow (sqrt (/ (sqrt b) (sqrt a))) 4)
  b
  (pow (sqrt (/ 1 (* (cbrt a) (cbrt a)))) 4)
  (pow (sqrt (/ 1 (sqrt a))) 4)
  1
  1
  (pow b 2)
  (/ b a)
  1
  (* (cbrt (pow (sqrt (/ b a)) 4)) (cbrt (pow (sqrt (/ b a)) 4)))
  (fabs (/ b a))
  1
  (/ b a)
  (* 2 (log (/ b a)))
  (exp (pow (sqrt (/ b a)) 4))
  (* (cbrt (pow (sqrt (/ b a)) 4)) (cbrt (pow (sqrt (/ b a)) 4)))
  (cbrt (pow (sqrt (/ b a)) 4))
  (pow (/ b a) 6)
  (fabs (/ b a))
  (fabs (/ b a))
  (expm1 (pow (sqrt (/ b a)) 4))
  (log1p (pow (sqrt (/ b a)) 4))
  (* 2 (log (/ b a)))
  (* 2 (log (/ b a)))
  2
  4
  2
  (pow (sqrt (/ b a)) (* (cbrt 4) (cbrt 4)))
  (/ b a)
  (sqrt (/ b a))
  (pow (cbrt (sqrt (/ b a))) 8)
  (pow (cbrt (sqrt (/ b a))) 4)
  (pow (fabs (cbrt (/ b a))) 4)
  (pow (sqrt (cbrt (/ b a))) 4)
  (/ b a)
  (/ b a)
  (pow (fabs (/ (cbrt b) (cbrt a))) 4)
  (pow (sqrt (/ (cbrt b) (cbrt a))) 4)
  (pow (sqrt (/ (* (cbrt b) (cbrt b)) (sqrt a))) 4)
  (pow (sqrt (/ (cbrt b) (sqrt a))) 4)
  (pow (fabs (cbrt b)) 4)
  (pow (sqrt (/ (cbrt b) a)) 4)
  (pow (sqrt (/ (sqrt b) (* (cbrt a) (cbrt a)))) 4)
  (pow (sqrt (/ (sqrt b) (cbrt a))) 4)
  (pow (sqrt (/ (sqrt b) (sqrt a))) 4)
  (pow (sqrt (/ (sqrt b) (sqrt a))) 4)
  b
  (pow (sqrt (/ (sqrt b) a)) 4)
  (pow (sqrt (/ 1 (* (cbrt a) (cbrt a)))) 4)
  (pow (sqrt (/ b (cbrt a))) 4)
  (pow (sqrt (/ 1 (sqrt a))) 4)
  (pow (sqrt (/ b (sqrt a))) 4)
  1
  (pow (sqrt (/ b a)) 4)
  1
  (pow (sqrt (/ b a)) 4)
  (pow b 2)
  (pow (sqrt (/ 1 a)) 4)
  (/ b a)
  (/ b a)
  1
  (pow (sqrt (/ b a)) 4)
  (* 2 (log (/ b a)))
  (exp (pow (sqrt (/ b a)) 4))
  (* (cbrt (pow (sqrt (/ b a)) 4)) (cbrt (pow (sqrt (/ b a)) 4)))
  (cbrt (pow (sqrt (/ b a)) 4))
  (pow (/ b a) 6)
  2
  (fabs (/ b a))
  (fabs (/ b a))
  (/ b a)
  (/ b a)
  (expm1 (sqrt (/ b a)))
  (log1p (sqrt (/ b a)))
  (log (sqrt (/ b a)))
  (exp (sqrt (/ b a)))
  (pow (cbrt (sqrt (/ b a))) 2)
  (cbrt (sqrt (/ b a)))
  (pow (sqrt (/ b a)) 3)
  (fabs (cbrt (/ b a)))
  (sqrt (cbrt (/ b a)))
  (sqrt (sqrt (/ b a)))
  (sqrt (sqrt (/ b a)))
  (fabs (/ (cbrt b) (cbrt a)))
  (sqrt (/ (cbrt b) (cbrt a)))
  (sqrt (/ (* (cbrt b) (cbrt b)) (sqrt a)))
  (sqrt (/ (cbrt b) (sqrt a)))
  (fabs (cbrt b))
  (sqrt (/ (cbrt b) a))
  (sqrt (/ (sqrt b) (* (cbrt a) (cbrt a))))
  (sqrt (/ (sqrt b) (cbrt a)))
  (sqrt (/ (sqrt b) (sqrt a)))
  (sqrt (/ (sqrt b) (sqrt a)))
  (sqrt (sqrt b))
  (sqrt (/ (sqrt b) a))
  (sqrt (/ 1 (* (cbrt a) (cbrt a))))
  (sqrt (/ b (cbrt a)))
  (sqrt (/ 1 (sqrt a)))
  (sqrt (/ b (sqrt a)))
  1
  (sqrt (/ b a))
  1
  (sqrt (/ b a))
  (sqrt b)
  (sqrt (/ 1 a))
  (sqrt b)
  (sqrt a)
  1/2
  (sqrt (sqrt (/ b a)))
  (sqrt (sqrt (/ b a)))
  (expm1 (sqrt (fabs (- 1 (pow (sqrt (/ b a)) 4)))))
  (log1p (sqrt (fabs (- 1 (pow (sqrt (/ b a)) 4)))))
  (log (sqrt (fabs (- 1 (pow (sqrt (/ b a)) 4)))))
  (exp (sqrt (fabs (- 1 (pow (sqrt (/ b a)) 4)))))
  (* (cbrt (sqrt (fabs (- 1 (pow (sqrt (/ b a)) 4))))) (cbrt (sqrt (fabs (- 1 (pow (sqrt (/ b a)) 4))))))
  (cbrt (sqrt (fabs (- 1 (pow (sqrt (/ b a)) 4)))))
  (pow (sqrt (fabs (- 1 (pow (sqrt (/ b a)) 4)))) 3)
  (fabs (cbrt (fabs (- 1 (pow (sqrt (/ b a)) 4)))))
  (sqrt (cbrt (fabs (- 1 (pow (sqrt (/ b a)) 4)))))
  (sqrt (sqrt (fabs (- 1 (pow (sqrt (/ b a)) 4)))))
  (sqrt (sqrt (fabs (- 1 (pow (sqrt (/ b a)) 4)))))
  1
  (sqrt (fabs (- 1 (pow (sqrt (/ b a)) 4))))
  1/2
  (sqrt (sqrt (fabs (- 1 (pow (sqrt (/ b a)) 4)))))
  (sqrt (sqrt (fabs (- 1 (pow (sqrt (/ b a)) 4)))))
  0
  (- (- (/ +nan.0 (pow a 4)) (/ +nan.0 (* (pow a 5) b))) (/ +nan.0 (* (pow a 6) (pow b 2))))
  (- (- (/ +nan.0 (pow a 4)) (/ +nan.0 (* (pow a 5) b))) (/ +nan.0 (* (pow a 6) (pow b 2))))
  0
  (- (- (/ +nan.0 (pow a 4)) (/ +nan.0 (* (pow a 5) b))) (/ +nan.0 (* (pow a 6) (pow b 2))))
  (- (- (/ +nan.0 (pow a 4)) (/ +nan.0 (* (pow a 5) b))) (/ +nan.0 (* (pow a 6) (pow b 2))))
  (* +nan.0 (/ b a))
  (- (- (/ +nan.0 (* (pow a 2) b)) (/ +nan.0 a)) (/ +nan.0 (* (pow a 3) (pow b 2))))
  (- (- (/ +nan.0 (* (pow a 2) b)) (/ +nan.0 a)) (/ +nan.0 (* (pow a 3) (pow b 2))))
  (sqrt (fabs (- 1 (pow (sqrt (/ b a)) 4))))
  (sqrt (fabs (- 1 (pow (sqrt (/ b a)) 4))))
  (sqrt (fabs (- 1 (pow (sqrt (/ b a)) 4))))
23.476 * * * [progress]: adding candidates to table
24.178 * [progress]: [Phase 3 of 3] Extracting.
24.178 * * [regime]: Finding splitpoints for: (#<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (pow (sqrt (/ b a)) 4)))))))> #<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))>)
24.179 * * * [regime-changes]: Trying 2 branch expressions: (b a)
24.179 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (pow (sqrt (/ b a)) 4)))))))> #<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))>)
24.194 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b) (sqrt (fabs (- 1 (log (exp (pow (sqrt (/ b a)) 4)))))))> #<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))>)
24.226 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
24.226 * [simplify]: Simplifying:
  (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
24.226 * * [simplify]: Extracting # 0 : cost  0
24.226 * * [simplify]: Extracting # 1 : cost  0
24.226 * * [simplify]: Extracting # 2 : cost  0
24.226 * * [simplify]: Extracting # 3 : cost  0
24.226 * * [simplify]: Extracting # 4 : cost  0
24.226 * * [simplify]: Extracting # 5 : cost  0
24.226 * * [simplify]: Extracting # 6 : cost  0
24.226 * * [simplify]: Extracting # 7 : cost  0
24.227 * * [simplify]: iteration  0 :  8  enodes  (cost  11 )
24.228 * * [simplify]: Extracting # 0 : cost  0
24.228 * * [simplify]: iteration  1 :  10  enodes  (cost  11 )
24.229 * * [simplify]: Extracting # 0 : cost  0
24.229 * * [simplify]: iteration done:  10  enodes  (cost  11 )
24.229 * [simplify]: Simplified to:
  (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
25.810 * [regime-testing]: Baseline error score: 0.011251406425803226
25.815 * [regime-testing]: Oracle error score: 0.0026253281660207524
25.826 * [regime-testing]: End program error score: 0.011251406425803226