26.731 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.034 * * * [progress]: [2/2] Setting up program.
0.041 * [progress]: [Phase 2 of 3] Improving.
0.042 * [simplify]: Simplifying:
  (sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))
0.042 * * [simplify]: iteration 0: 8 enodes
0.046 * * [simplify]: iteration 1: 19 enodes
0.054 * * [simplify]: iteration 2: 44 enodes
0.068 * * [simplify]: iteration 3: 88 enodes
0.128 * * [simplify]: iteration 4: 236 enodes
0.276 * * [simplify]: iteration 5: 811 enodes
1.494 * * [simplify]: iteration 6: 2542 enodes
3.623 * * [simplify]: iteration complete: 5087 enodes
3.624 * * [simplify]: Extracting #0: cost 1 inf + 0
3.624 * * [simplify]: Extracting #1: cost 2 inf + 0
3.624 * * [simplify]: Extracting #2: cost 3 inf + 0
3.626 * * [simplify]: Extracting #3: cost 688 inf + 0
3.635 * * [simplify]: Extracting #4: cost 1197 inf + 9228
3.672 * * [simplify]: Extracting #5: cost 632 inf + 78207
3.739 * * [simplify]: Extracting #6: cost 21 inf + 150974
3.817 * * [simplify]: Extracting #7: cost 0 inf + 153883
3.896 * [simplify]: Simplified to:
  (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
3.911 * * [progress]: iteration 1 / 4
3.911 * * * [progress]: picking best candidate
3.920 * * * * [pick]: Picked  #<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))>
3.920 * * * [progress]: localizing error
3.950 * * * [progress]: generating rewritten candidates
3.950 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
3.954 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2)
4.007 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
4.029 * * * [progress]: generating series expansions
4.029 * * * * [progress]: [ 1 / 3 ] generating series at (2)
4.029 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
4.030 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
4.030 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
4.030 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
4.030 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
4.031 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
4.031 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
4.031 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
4.031 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
4.032 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
4.032 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
4.032 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
4.032 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
4.032 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
4.033 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
4.033 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
4.033 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
4.034 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
4.034 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
4.034 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
4.034 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
4.035 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
4.035 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
4.035 * [taylor]: Taking taylor expansion of 0 in a
4.035 * [backup-simplify]: Simplify 0 into 0
4.035 * [backup-simplify]: Simplify 0 into 0
4.035 * [backup-simplify]: Simplify 0 into 0
4.037 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
4.037 * [taylor]: Taking taylor expansion of 0 in a
4.037 * [backup-simplify]: Simplify 0 into 0
4.037 * [backup-simplify]: Simplify 0 into 0
4.037 * [backup-simplify]: Simplify 0 into 0
4.038 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
4.038 * [backup-simplify]: Simplify 0 into 0
4.039 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
4.039 * [taylor]: Taking taylor expansion of 0 in a
4.039 * [backup-simplify]: Simplify 0 into 0
4.039 * [backup-simplify]: Simplify 0 into 0
4.040 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
4.040 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a)))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
4.040 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
4.040 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
4.040 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
4.040 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
4.041 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
4.041 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
4.041 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
4.041 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
4.042 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
4.042 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
4.042 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
4.042 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
4.042 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
4.043 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
4.043 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
4.043 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
4.043 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
4.043 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
4.044 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
4.044 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
4.044 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
4.045 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
4.045 * [taylor]: Taking taylor expansion of 0 in a
4.045 * [backup-simplify]: Simplify 0 into 0
4.045 * [backup-simplify]: Simplify 0 into 0
4.045 * [backup-simplify]: Simplify 0 into 0
4.046 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
4.046 * [taylor]: Taking taylor expansion of 0 in a
4.046 * [backup-simplify]: Simplify 0 into 0
4.046 * [backup-simplify]: Simplify 0 into 0
4.046 * [backup-simplify]: Simplify 0 into 0
4.047 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
4.048 * [backup-simplify]: Simplify 0 into 0
4.049 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
4.049 * [taylor]: Taking taylor expansion of 0 in a
4.049 * [backup-simplify]: Simplify 0 into 0
4.049 * [backup-simplify]: Simplify 0 into 0
4.049 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 a) 2) (pow (/ 1 b) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
4.050 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a))))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
4.050 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
4.050 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
4.050 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
4.050 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
4.051 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
4.051 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
4.051 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
4.051 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
4.052 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
4.052 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
4.052 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
4.052 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
4.052 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
4.053 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
4.053 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
4.053 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
4.053 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
4.053 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
4.054 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
4.054 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
4.054 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
4.055 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
4.055 * [taylor]: Taking taylor expansion of 0 in a
4.055 * [backup-simplify]: Simplify 0 into 0
4.055 * [backup-simplify]: Simplify 0 into 0
4.055 * [backup-simplify]: Simplify 0 into 0
4.056 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
4.056 * [taylor]: Taking taylor expansion of 0 in a
4.056 * [backup-simplify]: Simplify 0 into 0
4.056 * [backup-simplify]: Simplify 0 into 0
4.056 * [backup-simplify]: Simplify 0 into 0
4.057 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
4.058 * [backup-simplify]: Simplify 0 into 0
4.082 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
4.083 * [taylor]: Taking taylor expansion of 0 in a
4.083 * [backup-simplify]: Simplify 0 into 0
4.083 * [backup-simplify]: Simplify 0 into 0
4.084 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
4.084 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2)
4.084 * [backup-simplify]: Simplify (* (/ b a) (/ b a)) into (/ (pow b 2) (pow a 2))
4.084 * [approximate]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0
4.084 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a
4.084 * [taylor]: Taking taylor expansion of (pow b 2) in a
4.084 * [taylor]: Taking taylor expansion of b in a
4.084 * [backup-simplify]: Simplify b into b
4.084 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.084 * [taylor]: Taking taylor expansion of a in a
4.084 * [backup-simplify]: Simplify 0 into 0
4.084 * [backup-simplify]: Simplify 1 into 1
4.085 * [backup-simplify]: Simplify (* b b) into (pow b 2)
4.085 * [backup-simplify]: Simplify (* 1 1) into 1
4.086 * [backup-simplify]: Simplify (/ (pow b 2) 1) into (pow b 2)
4.086 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
4.086 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.086 * [taylor]: Taking taylor expansion of b in b
4.086 * [backup-simplify]: Simplify 0 into 0
4.086 * [backup-simplify]: Simplify 1 into 1
4.086 * [taylor]: Taking taylor expansion of (pow a 2) in b
4.086 * [taylor]: Taking taylor expansion of a in b
4.086 * [backup-simplify]: Simplify a into a
4.087 * [backup-simplify]: Simplify (* 1 1) into 1
4.087 * [backup-simplify]: Simplify (* a a) into (pow a 2)
4.087 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
4.087 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
4.087 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.087 * [taylor]: Taking taylor expansion of b in b
4.087 * [backup-simplify]: Simplify 0 into 0
4.087 * [backup-simplify]: Simplify 1 into 1
4.087 * [taylor]: Taking taylor expansion of (pow a 2) in b
4.087 * [taylor]: Taking taylor expansion of a in b
4.087 * [backup-simplify]: Simplify a into a
4.088 * [backup-simplify]: Simplify (* 1 1) into 1
4.088 * [backup-simplify]: Simplify (* a a) into (pow a 2)
4.088 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
4.088 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
4.088 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.088 * [taylor]: Taking taylor expansion of a in a
4.088 * [backup-simplify]: Simplify 0 into 0
4.088 * [backup-simplify]: Simplify 1 into 1
4.089 * [backup-simplify]: Simplify (* 1 1) into 1
4.090 * [backup-simplify]: Simplify (/ 1 1) into 1
4.090 * [backup-simplify]: Simplify 1 into 1
4.090 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.091 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
4.091 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0
4.091 * [taylor]: Taking taylor expansion of 0 in a
4.091 * [backup-simplify]: Simplify 0 into 0
4.092 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.093 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.093 * [backup-simplify]: Simplify 0 into 0
4.094 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.095 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
4.095 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0
4.095 * [taylor]: Taking taylor expansion of 0 in a
4.096 * [backup-simplify]: Simplify 0 into 0
4.097 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.098 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.098 * [backup-simplify]: Simplify 0 into 0
4.099 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.100 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
4.101 * [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
4.101 * [taylor]: Taking taylor expansion of 0 in a
4.101 * [backup-simplify]: Simplify 0 into 0
4.102 * [backup-simplify]: Simplify 0 into 0
4.103 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.104 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.105 * [backup-simplify]: Simplify 0 into 0
4.106 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.108 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0
4.109 * [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
4.109 * [taylor]: Taking taylor expansion of 0 in a
4.109 * [backup-simplify]: Simplify 0 into 0
4.109 * [backup-simplify]: Simplify 0 into 0
4.109 * [backup-simplify]: Simplify 0 into 0
4.110 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2))
4.110 * [backup-simplify]: Simplify (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))) into (/ (pow a 2) (pow b 2))
4.110 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
4.110 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
4.110 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.110 * [taylor]: Taking taylor expansion of a in a
4.110 * [backup-simplify]: Simplify 0 into 0
4.110 * [backup-simplify]: Simplify 1 into 1
4.110 * [taylor]: Taking taylor expansion of (pow b 2) in a
4.110 * [taylor]: Taking taylor expansion of b in a
4.110 * [backup-simplify]: Simplify b into b
4.111 * [backup-simplify]: Simplify (* 1 1) into 1
4.111 * [backup-simplify]: Simplify (* b b) into (pow b 2)
4.111 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
4.111 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
4.111 * [taylor]: Taking taylor expansion of (pow a 2) in b
4.111 * [taylor]: Taking taylor expansion of a in b
4.111 * [backup-simplify]: Simplify a into a
4.111 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.111 * [taylor]: Taking taylor expansion of b in b
4.111 * [backup-simplify]: Simplify 0 into 0
4.111 * [backup-simplify]: Simplify 1 into 1
4.111 * [backup-simplify]: Simplify (* a a) into (pow a 2)
4.112 * [backup-simplify]: Simplify (* 1 1) into 1
4.112 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2)
4.112 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
4.112 * [taylor]: Taking taylor expansion of (pow a 2) in b
4.112 * [taylor]: Taking taylor expansion of a in b
4.112 * [backup-simplify]: Simplify a into a
4.112 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.112 * [taylor]: Taking taylor expansion of b in b
4.112 * [backup-simplify]: Simplify 0 into 0
4.112 * [backup-simplify]: Simplify 1 into 1
4.112 * [backup-simplify]: Simplify (* a a) into (pow a 2)
4.113 * [backup-simplify]: Simplify (* 1 1) into 1
4.113 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2)
4.113 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.113 * [taylor]: Taking taylor expansion of a in a
4.113 * [backup-simplify]: Simplify 0 into 0
4.113 * [backup-simplify]: Simplify 1 into 1
4.113 * [backup-simplify]: Simplify (* 1 1) into 1
4.113 * [backup-simplify]: Simplify 1 into 1
4.114 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
4.114 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.115 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
4.115 * [taylor]: Taking taylor expansion of 0 in a
4.115 * [backup-simplify]: Simplify 0 into 0
4.115 * [backup-simplify]: Simplify 0 into 0
4.116 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.116 * [backup-simplify]: Simplify 0 into 0
4.116 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
4.117 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.119 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.119 * [taylor]: Taking taylor expansion of 0 in a
4.119 * [backup-simplify]: Simplify 0 into 0
4.119 * [backup-simplify]: Simplify 0 into 0
4.119 * [backup-simplify]: Simplify 0 into 0
4.120 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.120 * [backup-simplify]: Simplify 0 into 0
4.121 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
4.122 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.124 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.124 * [taylor]: Taking taylor expansion of 0 in a
4.124 * [backup-simplify]: Simplify 0 into 0
4.124 * [backup-simplify]: Simplify 0 into 0
4.125 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2))
4.125 * [backup-simplify]: Simplify (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))) into (/ (pow a 2) (pow b 2))
4.125 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
4.125 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
4.125 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.125 * [taylor]: Taking taylor expansion of a in a
4.125 * [backup-simplify]: Simplify 0 into 0
4.125 * [backup-simplify]: Simplify 1 into 1
4.125 * [taylor]: Taking taylor expansion of (pow b 2) in a
4.125 * [taylor]: Taking taylor expansion of b in a
4.125 * [backup-simplify]: Simplify b into b
4.126 * [backup-simplify]: Simplify (* 1 1) into 1
4.126 * [backup-simplify]: Simplify (* b b) into (pow b 2)
4.126 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
4.126 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
4.126 * [taylor]: Taking taylor expansion of (pow a 2) in b
4.126 * [taylor]: Taking taylor expansion of a in b
4.126 * [backup-simplify]: Simplify a into a
4.126 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.126 * [taylor]: Taking taylor expansion of b in b
4.126 * [backup-simplify]: Simplify 0 into 0
4.126 * [backup-simplify]: Simplify 1 into 1
4.126 * [backup-simplify]: Simplify (* a a) into (pow a 2)
4.127 * [backup-simplify]: Simplify (* 1 1) into 1
4.127 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2)
4.127 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
4.127 * [taylor]: Taking taylor expansion of (pow a 2) in b
4.127 * [taylor]: Taking taylor expansion of a in b
4.127 * [backup-simplify]: Simplify a into a
4.127 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.127 * [taylor]: Taking taylor expansion of b in b
4.127 * [backup-simplify]: Simplify 0 into 0
4.127 * [backup-simplify]: Simplify 1 into 1
4.127 * [backup-simplify]: Simplify (* a a) into (pow a 2)
4.128 * [backup-simplify]: Simplify (* 1 1) into 1
4.128 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2)
4.128 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.128 * [taylor]: Taking taylor expansion of a in a
4.128 * [backup-simplify]: Simplify 0 into 0
4.128 * [backup-simplify]: Simplify 1 into 1
4.128 * [backup-simplify]: Simplify (* 1 1) into 1
4.129 * [backup-simplify]: Simplify 1 into 1
4.129 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
4.129 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.130 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
4.130 * [taylor]: Taking taylor expansion of 0 in a
4.130 * [backup-simplify]: Simplify 0 into 0
4.131 * [backup-simplify]: Simplify 0 into 0
4.131 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.131 * [backup-simplify]: Simplify 0 into 0
4.132 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
4.133 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.134 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.134 * [taylor]: Taking taylor expansion of 0 in a
4.134 * [backup-simplify]: Simplify 0 into 0
4.134 * [backup-simplify]: Simplify 0 into 0
4.134 * [backup-simplify]: Simplify 0 into 0
4.135 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.135 * [backup-simplify]: Simplify 0 into 0
4.136 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
4.137 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.140 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.140 * [taylor]: Taking taylor expansion of 0 in a
4.140 * [backup-simplify]: Simplify 0 into 0
4.140 * [backup-simplify]: Simplify 0 into 0
4.140 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2))
4.140 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
4.141 * [backup-simplify]: Simplify (- 1 (* (/ b a) (/ b a))) into (- 1 (/ (pow b 2) (pow a 2)))
4.141 * [approximate]: Taking taylor expansion of (- 1 (/ (pow b 2) (pow a 2))) in (b a) around 0
4.141 * [taylor]: Taking taylor expansion of (- 1 (/ (pow b 2) (pow a 2))) in a
4.141 * [taylor]: Taking taylor expansion of 1 in a
4.141 * [backup-simplify]: Simplify 1 into 1
4.141 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a
4.141 * [taylor]: Taking taylor expansion of (pow b 2) in a
4.141 * [taylor]: Taking taylor expansion of b in a
4.141 * [backup-simplify]: Simplify b into b
4.141 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.141 * [taylor]: Taking taylor expansion of a in a
4.141 * [backup-simplify]: Simplify 0 into 0
4.141 * [backup-simplify]: Simplify 1 into 1
4.141 * [backup-simplify]: Simplify (* b b) into (pow b 2)
4.142 * [backup-simplify]: Simplify (* 1 1) into 1
4.142 * [backup-simplify]: Simplify (/ (pow b 2) 1) into (pow b 2)
4.142 * [taylor]: Taking taylor expansion of (- 1 (/ (pow b 2) (pow a 2))) in b
4.142 * [taylor]: Taking taylor expansion of 1 in b
4.142 * [backup-simplify]: Simplify 1 into 1
4.142 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
4.142 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.142 * [taylor]: Taking taylor expansion of b in b
4.142 * [backup-simplify]: Simplify 0 into 0
4.142 * [backup-simplify]: Simplify 1 into 1
4.142 * [taylor]: Taking taylor expansion of (pow a 2) in b
4.142 * [taylor]: Taking taylor expansion of a in b
4.142 * [backup-simplify]: Simplify a into a
4.143 * [backup-simplify]: Simplify (* 1 1) into 1
4.143 * [backup-simplify]: Simplify (* a a) into (pow a 2)
4.143 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
4.143 * [taylor]: Taking taylor expansion of (- 1 (/ (pow b 2) (pow a 2))) in b
4.143 * [taylor]: Taking taylor expansion of 1 in b
4.143 * [backup-simplify]: Simplify 1 into 1
4.143 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
4.143 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.143 * [taylor]: Taking taylor expansion of b in b
4.143 * [backup-simplify]: Simplify 0 into 0
4.143 * [backup-simplify]: Simplify 1 into 1
4.143 * [taylor]: Taking taylor expansion of (pow a 2) in b
4.143 * [taylor]: Taking taylor expansion of a in b
4.143 * [backup-simplify]: Simplify a into a
4.144 * [backup-simplify]: Simplify (* 1 1) into 1
4.144 * [backup-simplify]: Simplify (* a a) into (pow a 2)
4.144 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
4.144 * [backup-simplify]: Simplify (+ 1 0) into 1
4.144 * [taylor]: Taking taylor expansion of 1 in a
4.144 * [backup-simplify]: Simplify 1 into 1
4.145 * [backup-simplify]: Simplify (+ 0 0) into 0
4.145 * [taylor]: Taking taylor expansion of 0 in a
4.145 * [backup-simplify]: Simplify 0 into 0
4.145 * [backup-simplify]: Simplify (- (/ 1 (pow a 2))) into (- (/ 1 (pow a 2)))
4.145 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow a 2)))) into (- (/ 1 (pow a 2)))
4.145 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2))) in a
4.145 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
4.145 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.145 * [taylor]: Taking taylor expansion of a in a
4.145 * [backup-simplify]: Simplify 0 into 0
4.146 * [backup-simplify]: Simplify 1 into 1
4.146 * [backup-simplify]: Simplify (* 1 1) into 1
4.146 * [backup-simplify]: Simplify (/ 1 1) into 1
4.147 * [backup-simplify]: Simplify (- 1) into -1
4.147 * [backup-simplify]: Simplify -1 into -1
4.147 * [backup-simplify]: Simplify 1 into 1
4.147 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.148 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
4.148 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0
4.148 * [backup-simplify]: Simplify (- 0) into 0
4.149 * [backup-simplify]: Simplify (+ 0 0) into 0
4.149 * [taylor]: Taking taylor expansion of 0 in a
4.149 * [backup-simplify]: Simplify 0 into 0
4.150 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.150 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.151 * [backup-simplify]: Simplify (- 0) into 0
4.151 * [backup-simplify]: Simplify 0 into 0
4.151 * [backup-simplify]: Simplify 0 into 0
4.151 * [backup-simplify]: Simplify 0 into 0
4.152 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.152 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
4.153 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0
4.154 * [backup-simplify]: Simplify (- 0) into 0
4.154 * [backup-simplify]: Simplify (+ 0 0) into 0
4.154 * [taylor]: Taking taylor expansion of 0 in a
4.154 * [backup-simplify]: Simplify 0 into 0
4.155 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.157 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.157 * [backup-simplify]: Simplify (- 0) into 0
4.157 * [backup-simplify]: Simplify 0 into 0
4.157 * [backup-simplify]: Simplify 0 into 0
4.157 * [backup-simplify]: Simplify 0 into 0
4.158 * [backup-simplify]: Simplify (+ 1 (* -1 (pow (* (/ 1 a) b) 2))) into (- 1 (/ (pow b 2) (pow a 2)))
4.158 * [backup-simplify]: Simplify (- 1 (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a)))) into (- 1 (/ (pow a 2) (pow b 2)))
4.158 * [approximate]: Taking taylor expansion of (- 1 (/ (pow a 2) (pow b 2))) in (b a) around 0
4.158 * [taylor]: Taking taylor expansion of (- 1 (/ (pow a 2) (pow b 2))) in a
4.158 * [taylor]: Taking taylor expansion of 1 in a
4.159 * [backup-simplify]: Simplify 1 into 1
4.159 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
4.159 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.159 * [taylor]: Taking taylor expansion of a in a
4.159 * [backup-simplify]: Simplify 0 into 0
4.159 * [backup-simplify]: Simplify 1 into 1
4.159 * [taylor]: Taking taylor expansion of (pow b 2) in a
4.159 * [taylor]: Taking taylor expansion of b in a
4.159 * [backup-simplify]: Simplify b into b
4.159 * [backup-simplify]: Simplify (* 1 1) into 1
4.159 * [backup-simplify]: Simplify (* b b) into (pow b 2)
4.160 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
4.160 * [taylor]: Taking taylor expansion of (- 1 (/ (pow a 2) (pow b 2))) in b
4.160 * [taylor]: Taking taylor expansion of 1 in b
4.160 * [backup-simplify]: Simplify 1 into 1
4.160 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
4.160 * [taylor]: Taking taylor expansion of (pow a 2) in b
4.160 * [taylor]: Taking taylor expansion of a in b
4.160 * [backup-simplify]: Simplify a into a
4.160 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.160 * [taylor]: Taking taylor expansion of b in b
4.160 * [backup-simplify]: Simplify 0 into 0
4.160 * [backup-simplify]: Simplify 1 into 1
4.160 * [backup-simplify]: Simplify (* a a) into (pow a 2)
4.161 * [backup-simplify]: Simplify (* 1 1) into 1
4.161 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2)
4.161 * [taylor]: Taking taylor expansion of (- 1 (/ (pow a 2) (pow b 2))) in b
4.161 * [taylor]: Taking taylor expansion of 1 in b
4.161 * [backup-simplify]: Simplify 1 into 1
4.161 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
4.161 * [taylor]: Taking taylor expansion of (pow a 2) in b
4.161 * [taylor]: Taking taylor expansion of a in b
4.161 * [backup-simplify]: Simplify a into a
4.161 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.161 * [taylor]: Taking taylor expansion of b in b
4.161 * [backup-simplify]: Simplify 0 into 0
4.161 * [backup-simplify]: Simplify 1 into 1
4.161 * [backup-simplify]: Simplify (* a a) into (pow a 2)
4.162 * [backup-simplify]: Simplify (* 1 1) into 1
4.162 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2)
4.162 * [backup-simplify]: Simplify (- (pow a 2)) into (- (pow a 2))
4.162 * [backup-simplify]: Simplify (+ 0 (- (pow a 2))) into (- (pow a 2))
4.162 * [taylor]: Taking taylor expansion of (- (pow a 2)) in a
4.162 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.162 * [taylor]: Taking taylor expansion of a in a
4.162 * [backup-simplify]: Simplify 0 into 0
4.162 * [backup-simplify]: Simplify 1 into 1
4.162 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
4.163 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.165 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
4.165 * [backup-simplify]: Simplify (- 0) into 0
4.166 * [backup-simplify]: Simplify (+ 0 0) into 0
4.166 * [taylor]: Taking taylor expansion of 0 in a
4.166 * [backup-simplify]: Simplify 0 into 0
4.166 * [backup-simplify]: Simplify 0 into 0
4.167 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
4.168 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.170 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.170 * [backup-simplify]: Simplify (- 0) into 0
4.170 * [backup-simplify]: Simplify (+ 1 0) into 1
4.171 * [taylor]: Taking taylor expansion of 1 in a
4.171 * [backup-simplify]: Simplify 1 into 1
4.171 * [backup-simplify]: Simplify 1 into 1
4.171 * [backup-simplify]: Simplify 0 into 0
4.171 * [backup-simplify]: Simplify (* 1 1) into 1
4.171 * [backup-simplify]: Simplify (- 1) into -1
4.171 * [backup-simplify]: Simplify -1 into -1
4.172 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
4.173 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.175 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.176 * [backup-simplify]: Simplify (- 0) into 0
4.176 * [backup-simplify]: Simplify (+ 0 0) into 0
4.176 * [taylor]: Taking taylor expansion of 0 in a
4.176 * [backup-simplify]: Simplify 0 into 0
4.176 * [backup-simplify]: Simplify 0 into 0
4.176 * [backup-simplify]: Simplify 0 into 0
4.176 * [backup-simplify]: Simplify 0 into 0
4.177 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.177 * [backup-simplify]: Simplify (- 0) into 0
4.178 * [backup-simplify]: Simplify 0 into 0
4.179 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0
4.180 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.184 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.185 * [backup-simplify]: Simplify (- 0) into 0
4.185 * [backup-simplify]: Simplify (+ 0 0) into 0
4.185 * [taylor]: Taking taylor expansion of 0 in a
4.185 * [backup-simplify]: Simplify 0 into 0
4.185 * [backup-simplify]: Simplify 0 into 0
4.185 * [backup-simplify]: Simplify 0 into 0
4.186 * [backup-simplify]: Simplify (+ (* -1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) 1) into (- 1 (/ (pow b 2) (pow a 2)))
4.186 * [backup-simplify]: Simplify (- 1 (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a))))) into (- 1 (/ (pow a 2) (pow b 2)))
4.186 * [approximate]: Taking taylor expansion of (- 1 (/ (pow a 2) (pow b 2))) in (b a) around 0
4.186 * [taylor]: Taking taylor expansion of (- 1 (/ (pow a 2) (pow b 2))) in a
4.186 * [taylor]: Taking taylor expansion of 1 in a
4.186 * [backup-simplify]: Simplify 1 into 1
4.186 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
4.186 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.186 * [taylor]: Taking taylor expansion of a in a
4.186 * [backup-simplify]: Simplify 0 into 0
4.186 * [backup-simplify]: Simplify 1 into 1
4.186 * [taylor]: Taking taylor expansion of (pow b 2) in a
4.186 * [taylor]: Taking taylor expansion of b in a
4.186 * [backup-simplify]: Simplify b into b
4.187 * [backup-simplify]: Simplify (* 1 1) into 1
4.187 * [backup-simplify]: Simplify (* b b) into (pow b 2)
4.187 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
4.187 * [taylor]: Taking taylor expansion of (- 1 (/ (pow a 2) (pow b 2))) in b
4.187 * [taylor]: Taking taylor expansion of 1 in b
4.187 * [backup-simplify]: Simplify 1 into 1
4.187 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
4.187 * [taylor]: Taking taylor expansion of (pow a 2) in b
4.187 * [taylor]: Taking taylor expansion of a in b
4.187 * [backup-simplify]: Simplify a into a
4.187 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.188 * [taylor]: Taking taylor expansion of b in b
4.188 * [backup-simplify]: Simplify 0 into 0
4.188 * [backup-simplify]: Simplify 1 into 1
4.188 * [backup-simplify]: Simplify (* a a) into (pow a 2)
4.188 * [backup-simplify]: Simplify (* 1 1) into 1
4.188 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2)
4.188 * [taylor]: Taking taylor expansion of (- 1 (/ (pow a 2) (pow b 2))) in b
4.188 * [taylor]: Taking taylor expansion of 1 in b
4.188 * [backup-simplify]: Simplify 1 into 1
4.188 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
4.188 * [taylor]: Taking taylor expansion of (pow a 2) in b
4.188 * [taylor]: Taking taylor expansion of a in b
4.188 * [backup-simplify]: Simplify a into a
4.189 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.189 * [taylor]: Taking taylor expansion of b in b
4.189 * [backup-simplify]: Simplify 0 into 0
4.189 * [backup-simplify]: Simplify 1 into 1
4.189 * [backup-simplify]: Simplify (* a a) into (pow a 2)
4.189 * [backup-simplify]: Simplify (* 1 1) into 1
4.189 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2)
4.189 * [backup-simplify]: Simplify (- (pow a 2)) into (- (pow a 2))
4.190 * [backup-simplify]: Simplify (+ 0 (- (pow a 2))) into (- (pow a 2))
4.190 * [taylor]: Taking taylor expansion of (- (pow a 2)) in a
4.190 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.190 * [taylor]: Taking taylor expansion of a in a
4.190 * [backup-simplify]: Simplify 0 into 0
4.190 * [backup-simplify]: Simplify 1 into 1
4.190 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
4.191 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.192 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
4.192 * [backup-simplify]: Simplify (- 0) into 0
4.193 * [backup-simplify]: Simplify (+ 0 0) into 0
4.193 * [taylor]: Taking taylor expansion of 0 in a
4.193 * [backup-simplify]: Simplify 0 into 0
4.193 * [backup-simplify]: Simplify 0 into 0
4.193 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
4.194 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.196 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.197 * [backup-simplify]: Simplify (- 0) into 0
4.197 * [backup-simplify]: Simplify (+ 1 0) into 1
4.197 * [taylor]: Taking taylor expansion of 1 in a
4.197 * [backup-simplify]: Simplify 1 into 1
4.197 * [backup-simplify]: Simplify 1 into 1
4.198 * [backup-simplify]: Simplify 0 into 0
4.198 * [backup-simplify]: Simplify (* 1 1) into 1
4.198 * [backup-simplify]: Simplify (- 1) into -1
4.198 * [backup-simplify]: Simplify -1 into -1
4.199 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
4.200 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.202 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.203 * [backup-simplify]: Simplify (- 0) into 0
4.203 * [backup-simplify]: Simplify (+ 0 0) into 0
4.203 * [taylor]: Taking taylor expansion of 0 in a
4.203 * [backup-simplify]: Simplify 0 into 0
4.203 * [backup-simplify]: Simplify 0 into 0
4.203 * [backup-simplify]: Simplify 0 into 0
4.203 * [backup-simplify]: Simplify 0 into 0
4.204 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.205 * [backup-simplify]: Simplify (- 0) into 0
4.205 * [backup-simplify]: Simplify 0 into 0
4.206 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0
4.207 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.210 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.210 * [backup-simplify]: Simplify (- 0) into 0
4.211 * [backup-simplify]: Simplify (+ 0 0) into 0
4.211 * [taylor]: Taking taylor expansion of 0 in a
4.211 * [backup-simplify]: Simplify 0 into 0
4.211 * [backup-simplify]: Simplify 0 into 0
4.211 * [backup-simplify]: Simplify 0 into 0
4.212 * [backup-simplify]: Simplify (+ (* -1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) 1) into (- 1 (/ (pow b 2) (pow a 2)))
4.212 * * * [progress]: simplifying candidates
4.217 * [simplify]: Simplifying:
  (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))))))
  (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))
  (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (/ b a) (/ b a))))
  (fma (- (/ b a)) (/ b a) (* (/ b a) (/ b a)))
  (fma (sqrt 1) (sqrt 1) (- (* (/ b a) (/ b a))))
  (fma (- (/ b a)) (/ b a) (* (/ b a) (/ b a)))
  (fma 1 1 (- (* (/ b a) (/ b a))))
  (fma (- (/ b a)) (/ b a) (* (/ b a) (/ b a)))
  (expm1 (- 1 (* (/ b a) (/ b a))))
  (log1p (- 1 (* (/ b a) (/ b a))))
  (- (* (/ b a) (/ b a)))
  (- (* (/ b a) (/ b a)))
  (- (* (/ b a) (/ b a)))
  (/ (exp 1) (exp (* (/ b a) (/ b a))))
  (log (- 1 (* (/ b a) (/ b a))))
  (exp (- 1 (* (/ b a) (/ b a))))
  (* (cbrt (- 1 (* (/ b a) (/ b a)))) (cbrt (- 1 (* (/ b a) (/ b a)))))
  (cbrt (- 1 (* (/ b a) (/ b a))))
  (* (* (- 1 (* (/ b a) (/ b a))) (- 1 (* (/ b a) (/ b a)))) (- 1 (* (/ b a) (/ b a))))
  (sqrt (- 1 (* (/ b a) (/ b a))))
  (sqrt (- 1 (* (/ b a) (/ b a))))
  (- (pow 1 3) (pow (* (/ b a) (/ b a)) 3))
  (+ (* 1 1) (+ (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))) (* 1 (* (/ b a) (/ b a)))))
  (- (* (/ b a) (/ b a)))
  (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))))
  (+ 1 (* (/ b a) (/ b a)))
  (+ (sqrt 1) (/ b a))
  (- (sqrt 1) (/ b a))
  (+ 1 (/ b a))
  (- 1 (/ b a))
  (- (* (/ b a) (/ b 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)))))
  (/ (pow b 2) (pow a 2))
  (/ (pow b 2) (pow a 2))
  (/ (pow b 2) (pow a 2))
  (- 1 (/ (pow b 2) (pow a 2)))
  (- 1 (/ (pow b 2) (pow a 2)))
  (- 1 (/ (pow b 2) (pow a 2)))
4.220 * * [simplify]: iteration 0: 164 enodes
4.327 * * [simplify]: iteration 1: 493 enodes
4.979 * * [simplify]: iteration 2: 1622 enodes
7.315 * * [simplify]: iteration 3: 4839 enodes