29.594 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.034 * * * [progress]: [2/2] Setting up program.
0.040 * [progress]: [Phase 2 of 3] Improving.
0.040 * [simplify]: Simplifying:
  (sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))
0.041 * * [simplify]: iteration 0: 8 enodes
0.043 * * [simplify]: iteration 1: 18 enodes
0.050 * * [simplify]: iteration 2: 43 enodes
0.075 * * [simplify]: iteration 3: 85 enodes
0.109 * * [simplify]: iteration 4: 228 enodes
0.180 * * [simplify]: iteration 5: 753 enodes
0.592 * * [simplify]: iteration 6: 2324 enodes
1.513 * * [simplify]: iteration complete: 5004 enodes
1.513 * * [simplify]: Extracting #0: cost 1 inf + 0
1.513 * * [simplify]: Extracting #1: cost 2 inf + 0
1.513 * * [simplify]: Extracting #2: cost 3 inf + 0
1.514 * * [simplify]: Extracting #3: cost 587 inf + 0
1.521 * * [simplify]: Extracting #4: cost 1670 inf + 699
1.543 * * [simplify]: Extracting #5: cost 1831 inf + 13127
1.576 * * [simplify]: Extracting #6: cost 943 inf + 90070
1.641 * * [simplify]: Extracting #7: cost 92 inf + 198084
1.702 * * [simplify]: Extracting #8: cost 0 inf + 212629
1.784 * [simplify]: Simplified to:
  (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
1.795 * * [progress]: iteration 1 / 4
1.795 * * * [progress]: picking best candidate
1.803 * * * * [pick]: Picked  #<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))>
1.803 * * * [progress]: localizing error
1.826 * * * [progress]: generating rewritten candidates
1.826 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
1.828 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1 2)
1.856 * * * [progress]: generating series expansions
1.856 * * * * [progress]: [ 1 / 2 ] generating series at (2)
1.856 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1.856 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
1.856 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1.856 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1.857 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1.857 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1.857 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1.857 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1.857 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1.858 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1.858 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1.858 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1.858 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
1.858 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
1.858 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1.858 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1.858 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1.859 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
1.859 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
1.859 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
1.859 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1.859 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1.859 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1.859 * [taylor]: Taking taylor expansion of 0 in a
1.859 * [backup-simplify]: Simplify 0 into 0
1.859 * [backup-simplify]: Simplify 0 into 0
1.859 * [backup-simplify]: Simplify 0 into 0
1.860 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1.860 * [taylor]: Taking taylor expansion of 0 in a
1.860 * [backup-simplify]: Simplify 0 into 0
1.860 * [backup-simplify]: Simplify 0 into 0
1.860 * [backup-simplify]: Simplify 0 into 0
1.861 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1.861 * [backup-simplify]: Simplify 0 into 0
1.862 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
1.862 * [taylor]: Taking taylor expansion of 0 in a
1.862 * [backup-simplify]: Simplify 0 into 0
1.862 * [backup-simplify]: Simplify 0 into 0
1.862 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1.862 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a)))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1.862 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1.862 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1.862 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1.862 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1.863 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1.863 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1.863 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1.863 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1.863 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1.863 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1.863 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1.863 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1.863 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1.864 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1.864 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1.864 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1.864 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1.864 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1.864 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1.864 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1.865 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1.865 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1.865 * [taylor]: Taking taylor expansion of 0 in a
1.865 * [backup-simplify]: Simplify 0 into 0
1.865 * [backup-simplify]: Simplify 0 into 0
1.865 * [backup-simplify]: Simplify 0 into 0
1.865 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1.865 * [taylor]: Taking taylor expansion of 0 in a
1.866 * [backup-simplify]: Simplify 0 into 0
1.866 * [backup-simplify]: Simplify 0 into 0
1.866 * [backup-simplify]: Simplify 0 into 0
1.866 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1.866 * [backup-simplify]: Simplify 0 into 0
1.868 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1.868 * [taylor]: Taking taylor expansion of 0 in a
1.868 * [backup-simplify]: Simplify 0 into 0
1.868 * [backup-simplify]: Simplify 0 into 0
1.868 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 a) 2) (pow (/ 1 b) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1.869 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a))))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1.869 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
1.869 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1.869 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1.869 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1.870 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1.870 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1.870 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1.870 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1.870 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1.871 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1.871 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1.871 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
1.871 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
1.871 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1.872 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1.872 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1.872 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
1.872 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
1.873 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
1.873 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1.873 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1.874 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
1.874 * [taylor]: Taking taylor expansion of 0 in a
1.874 * [backup-simplify]: Simplify 0 into 0
1.874 * [backup-simplify]: Simplify 0 into 0
1.874 * [backup-simplify]: Simplify 0 into 0
1.875 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1.875 * [taylor]: Taking taylor expansion of 0 in a
1.875 * [backup-simplify]: Simplify 0 into 0
1.875 * [backup-simplify]: Simplify 0 into 0
1.875 * [backup-simplify]: Simplify 0 into 0
1.876 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1.876 * [backup-simplify]: Simplify 0 into 0
1.877 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
1.877 * [taylor]: Taking taylor expansion of 0 in a
1.877 * [backup-simplify]: Simplify 0 into 0
1.878 * [backup-simplify]: Simplify 0 into 0
1.878 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
1.878 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1 2)
1.878 * [backup-simplify]: Simplify (* (/ b a) (/ b a)) into (/ (pow b 2) (pow a 2))
1.878 * [approximate]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0
1.878 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a
1.878 * [taylor]: Taking taylor expansion of (pow b 2) in a
1.878 * [taylor]: Taking taylor expansion of b in a
1.878 * [backup-simplify]: Simplify b into b
1.878 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.878 * [taylor]: Taking taylor expansion of a in a
1.878 * [backup-simplify]: Simplify 0 into 0
1.878 * [backup-simplify]: Simplify 1 into 1
1.879 * [backup-simplify]: Simplify (* b b) into (pow b 2)
1.879 * [backup-simplify]: Simplify (* 1 1) into 1
1.879 * [backup-simplify]: Simplify (/ (pow b 2) 1) into (pow b 2)
1.879 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
1.879 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.879 * [taylor]: Taking taylor expansion of b in b
1.879 * [backup-simplify]: Simplify 0 into 0
1.879 * [backup-simplify]: Simplify 1 into 1
1.879 * [taylor]: Taking taylor expansion of (pow a 2) in b
1.879 * [taylor]: Taking taylor expansion of a in b
1.879 * [backup-simplify]: Simplify a into a
1.880 * [backup-simplify]: Simplify (* 1 1) into 1
1.880 * [backup-simplify]: Simplify (* a a) into (pow a 2)
1.880 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
1.880 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
1.880 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.880 * [taylor]: Taking taylor expansion of b in b
1.880 * [backup-simplify]: Simplify 0 into 0
1.880 * [backup-simplify]: Simplify 1 into 1
1.880 * [taylor]: Taking taylor expansion of (pow a 2) in b
1.880 * [taylor]: Taking taylor expansion of a in b
1.880 * [backup-simplify]: Simplify a into a
1.880 * [backup-simplify]: Simplify (* 1 1) into 1
1.881 * [backup-simplify]: Simplify (* a a) into (pow a 2)
1.881 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
1.881 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
1.881 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.881 * [taylor]: Taking taylor expansion of a in a
1.881 * [backup-simplify]: Simplify 0 into 0
1.881 * [backup-simplify]: Simplify 1 into 1
1.881 * [backup-simplify]: Simplify (* 1 1) into 1
1.882 * [backup-simplify]: Simplify (/ 1 1) into 1
1.882 * [backup-simplify]: Simplify 1 into 1
1.882 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.882 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
1.883 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0
1.883 * [taylor]: Taking taylor expansion of 0 in a
1.883 * [backup-simplify]: Simplify 0 into 0
1.884 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.884 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.884 * [backup-simplify]: Simplify 0 into 0
1.885 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.886 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1.886 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0
1.886 * [taylor]: Taking taylor expansion of 0 in a
1.886 * [backup-simplify]: Simplify 0 into 0
1.887 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.888 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.888 * [backup-simplify]: Simplify 0 into 0
1.889 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.890 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1.891 * [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
1.891 * [taylor]: Taking taylor expansion of 0 in a
1.891 * [backup-simplify]: Simplify 0 into 0
1.891 * [backup-simplify]: Simplify 0 into 0
1.892 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.893 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.893 * [backup-simplify]: Simplify 0 into 0
1.894 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.895 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0
1.896 * [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
1.896 * [taylor]: Taking taylor expansion of 0 in a
1.896 * [backup-simplify]: Simplify 0 into 0
1.896 * [backup-simplify]: Simplify 0 into 0
1.896 * [backup-simplify]: Simplify 0 into 0
1.896 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2))
1.897 * [backup-simplify]: Simplify (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))) into (/ (pow a 2) (pow b 2))
1.897 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
1.897 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
1.897 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.897 * [taylor]: Taking taylor expansion of a in a
1.897 * [backup-simplify]: Simplify 0 into 0
1.897 * [backup-simplify]: Simplify 1 into 1
1.897 * [taylor]: Taking taylor expansion of (pow b 2) in a
1.897 * [taylor]: Taking taylor expansion of b in a
1.897 * [backup-simplify]: Simplify b into b
1.897 * [backup-simplify]: Simplify (* 1 1) into 1
1.897 * [backup-simplify]: Simplify (* b b) into (pow b 2)
1.898 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1.898 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1.898 * [taylor]: Taking taylor expansion of (pow a 2) in b
1.898 * [taylor]: Taking taylor expansion of a in b
1.898 * [backup-simplify]: Simplify a into a
1.898 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.898 * [taylor]: Taking taylor expansion of b in b
1.898 * [backup-simplify]: Simplify 0 into 0
1.898 * [backup-simplify]: Simplify 1 into 1
1.898 * [backup-simplify]: Simplify (* a a) into (pow a 2)
1.898 * [backup-simplify]: Simplify (* 1 1) into 1
1.898 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2)
1.898 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1.898 * [taylor]: Taking taylor expansion of (pow a 2) in b
1.899 * [taylor]: Taking taylor expansion of a in b
1.899 * [backup-simplify]: Simplify a into a
1.899 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.899 * [taylor]: Taking taylor expansion of b in b
1.899 * [backup-simplify]: Simplify 0 into 0
1.899 * [backup-simplify]: Simplify 1 into 1
1.899 * [backup-simplify]: Simplify (* a a) into (pow a 2)
1.899 * [backup-simplify]: Simplify (* 1 1) into 1
1.899 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2)
1.899 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.899 * [taylor]: Taking taylor expansion of a in a
1.899 * [backup-simplify]: Simplify 0 into 0
1.899 * [backup-simplify]: Simplify 1 into 1
1.900 * [backup-simplify]: Simplify (* 1 1) into 1
1.900 * [backup-simplify]: Simplify 1 into 1
1.900 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
1.901 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.902 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
1.902 * [taylor]: Taking taylor expansion of 0 in a
1.902 * [backup-simplify]: Simplify 0 into 0
1.902 * [backup-simplify]: Simplify 0 into 0
1.902 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.902 * [backup-simplify]: Simplify 0 into 0
1.903 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1.904 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.905 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.905 * [taylor]: Taking taylor expansion of 0 in a
1.905 * [backup-simplify]: Simplify 0 into 0
1.905 * [backup-simplify]: Simplify 0 into 0
1.905 * [backup-simplify]: Simplify 0 into 0
1.906 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.906 * [backup-simplify]: Simplify 0 into 0
1.907 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1.908 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.910 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.910 * [taylor]: Taking taylor expansion of 0 in a
1.910 * [backup-simplify]: Simplify 0 into 0
1.910 * [backup-simplify]: Simplify 0 into 0
1.911 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2))
1.911 * [backup-simplify]: Simplify (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))) into (/ (pow a 2) (pow b 2))
1.911 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
1.911 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
1.911 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.911 * [taylor]: Taking taylor expansion of a in a
1.911 * [backup-simplify]: Simplify 0 into 0
1.911 * [backup-simplify]: Simplify 1 into 1
1.911 * [taylor]: Taking taylor expansion of (pow b 2) in a
1.911 * [taylor]: Taking taylor expansion of b in a
1.911 * [backup-simplify]: Simplify b into b
1.912 * [backup-simplify]: Simplify (* 1 1) into 1
1.912 * [backup-simplify]: Simplify (* b b) into (pow b 2)
1.912 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1.912 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1.912 * [taylor]: Taking taylor expansion of (pow a 2) in b
1.912 * [taylor]: Taking taylor expansion of a in b
1.912 * [backup-simplify]: Simplify a into a
1.912 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.912 * [taylor]: Taking taylor expansion of b in b
1.912 * [backup-simplify]: Simplify 0 into 0
1.912 * [backup-simplify]: Simplify 1 into 1
1.912 * [backup-simplify]: Simplify (* a a) into (pow a 2)
1.913 * [backup-simplify]: Simplify (* 1 1) into 1
1.913 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2)
1.913 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
1.913 * [taylor]: Taking taylor expansion of (pow a 2) in b
1.913 * [taylor]: Taking taylor expansion of a in b
1.913 * [backup-simplify]: Simplify a into a
1.913 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.913 * [taylor]: Taking taylor expansion of b in b
1.913 * [backup-simplify]: Simplify 0 into 0
1.913 * [backup-simplify]: Simplify 1 into 1
1.913 * [backup-simplify]: Simplify (* a a) into (pow a 2)
1.913 * [backup-simplify]: Simplify (* 1 1) into 1
1.914 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2)
1.914 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.914 * [taylor]: Taking taylor expansion of a in a
1.914 * [backup-simplify]: Simplify 0 into 0
1.914 * [backup-simplify]: Simplify 1 into 1
1.914 * [backup-simplify]: Simplify (* 1 1) into 1
1.914 * [backup-simplify]: Simplify 1 into 1
1.914 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
1.915 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.915 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
1.915 * [taylor]: Taking taylor expansion of 0 in a
1.915 * [backup-simplify]: Simplify 0 into 0
1.915 * [backup-simplify]: Simplify 0 into 0
1.916 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.916 * [backup-simplify]: Simplify 0 into 0
1.916 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
1.917 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.918 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.918 * [taylor]: Taking taylor expansion of 0 in a
1.918 * [backup-simplify]: Simplify 0 into 0
1.918 * [backup-simplify]: Simplify 0 into 0
1.918 * [backup-simplify]: Simplify 0 into 0
1.918 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.918 * [backup-simplify]: Simplify 0 into 0
1.919 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
1.919 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.920 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.921 * [taylor]: Taking taylor expansion of 0 in a
1.921 * [backup-simplify]: Simplify 0 into 0
1.921 * [backup-simplify]: Simplify 0 into 0
1.921 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2))
1.921 * * * [progress]: simplifying candidates
1.922 * [simplify]: Simplifying:
  (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))))))
  (+ 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))
  (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.923 * * [simplify]: iteration 0: 128 enodes
1.966 * * [simplify]: iteration 1: 403 enodes
2.215 * * [simplify]: iteration 2: 1385 enodes
3.057 * * [simplify]: iteration 3: 4051 enodes
4.232 * * [simplify]: iteration complete: 5006 enodes
4.232 * * [simplify]: Extracting #0: cost 61 inf + 0
4.235 * * [simplify]: Extracting #1: cost 662 inf + 45
4.245 * * [simplify]: Extracting #2: cost 1499 inf + 13623
4.283 * * [simplify]: Extracting #3: cost 985 inf + 130881
4.354 * * [simplify]: Extracting #4: cost 248 inf + 270001
4.463 * * [simplify]: Extracting #5: cost 28 inf + 322319
4.561 * * [simplify]: Extracting #6: cost 0 inf + 330162
4.632 * * [simplify]: Extracting #7: cost 0 inf + 330042
4.724 * [simplify]: Simplified to:
  (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))))))
  (* (fabs (- 1 (* (/ b a) (/ b a)))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
  (fabs (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))))))
  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))))))
  2
  (* (/ b a) (/ b a))
  2
  (log (* (/ b a) (/ b a)))
  (log (* (/ b a) (/ b a)))
  (log (* (/ b a) (/ b a)))
  (log (* (/ b a) (/ b a)))
  (log (* (/ b a) (/ b a)))
  (exp (* (/ b a) (/ b a)))
  (* (* (/ b a) (/ b a)) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))))
  (* (* (/ b a) (/ b a)) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))))
  (* (* (/ b a) (/ b a)) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b 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))))
  (fabs (/ b a))
  (fabs (/ b a))
  (* b b)
  (* a a)
  (* (/ b a) (cbrt (/ b a)))
  (* (cbrt (/ b a)) (cbrt (/ b a)))
  (/ b a)
  (/ b a)
  (* (* (/ (cbrt b) (cbrt a)) (/ (cbrt b) (cbrt a))) (* (/ (cbrt b) (cbrt a)) (/ (cbrt b) (cbrt a))))
  (* (/ (cbrt b) (cbrt a)) (/ (cbrt b) (cbrt a)))
  (* (* (/ (cbrt b) (sqrt a)) (cbrt b)) (* (/ (cbrt b) (sqrt a)) (cbrt b)))
  (/ (* (cbrt b) (cbrt b)) a)
  (* (cbrt b) b)
  (* (/ (cbrt b) a) (/ (cbrt b) a))
  (/ (/ b (* (cbrt a) (cbrt a))) (* (cbrt a) (cbrt a)))
  (/ b (* (cbrt a) (cbrt a)))
  (/ (/ b (sqrt a)) (sqrt a))
  (/ (/ b (sqrt a)) (sqrt a))
  b
  (/ (/ b a) a)
  (/ (/ 1 (* (cbrt a) (cbrt a))) (* (cbrt a) (cbrt a)))
  (* (/ b (cbrt a)) (/ b (cbrt a)))
  (/ (/ 1 (sqrt a)) (sqrt a))
  (/ (* b b) a)
  1
  (* (/ b a) (/ b a))
  1
  (* (/ b a) (/ b a))
  (* b b)
  (/ (/ 1 a) a)
  (/ b a)
  (/ b a)
  (* (/ (sqrt (/ b a)) (sqrt a)) (sqrt b))
  (* (/ (sqrt (/ b a)) (sqrt a)) (sqrt b))
  (* (/ (sqrt (/ b a)) (sqrt a)) (sqrt b))
  (* (/ (sqrt (/ b a)) (sqrt a)) (sqrt b))
  (/ (/ b (sqrt a)) (sqrt a))
  (/ (/ b (sqrt a)) (sqrt a))
  2
  (* (* (/ b a) (cbrt (/ b a))) (cbrt (/ b a)))
  (* (sqrt (/ b a)) (/ b a))
  (* (/ b a) (* (/ (cbrt b) (cbrt a)) (/ (cbrt b) (cbrt a))))
  (/ (* (/ b a) (cbrt b)) (/ (sqrt a) (cbrt b)))
  (/ (* (* (cbrt b) b) (cbrt b)) a)
  (/ (/ b (/ a (sqrt b))) (* (cbrt a) (cbrt a)))
  (/ (/ b (/ a (sqrt b))) (sqrt a))
  (/ b (/ a (sqrt b)))
  (/ (/ b (* (cbrt a) (cbrt a))) a)
  (/ (/ b (sqrt a)) a)
  (/ b a)
  (/ b a)
  (/ (* b b) a)
  (* (/ b a) (cbrt (/ b a)))
  (* (sqrt (/ b a)) (/ b a))
  (/ (/ (* (cbrt b) b) (cbrt a)) a)
  (* (/ (cbrt b) (sqrt a)) (/ b a))
  (/ (cbrt b) (/ a (/ b a)))
  (/ (/ (* (sqrt b) b) (cbrt a)) a)
  (/ (/ b (/ a (sqrt b))) (sqrt a))
  (* (/ (/ (sqrt b) a) a) b)
  (/ (/ (* b b) a) (cbrt a))
  (/ (/ (* b b) a) (sqrt a))
  (* (/ b a) (/ b a))
  (* (/ b a) (/ b a))
  (/ (/ b a) a)
  (/ (* b b) a)
  (/ (* b b) a)
  (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
  (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
  (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
  (* (/ b a) (/ b a))
  (* (/ b a) (/ b a))
  (* (/ b a) (/ b a))
4.732 * * * [progress]: adding candidates to table
5.172 * * [progress]: iteration 2 / 4
5.172 * * * [progress]: picking best candidate
5.180 * * * * [pick]: Picked  #<alt (λ (a b) (sqrt (fabs (- 1 (* (/ 1 (sqrt a)) (* (/ b (sqrt a)) (/ b a)))))))>
5.180 * * * [progress]: localizing error
5.204 * * * [progress]: generating rewritten candidates
5.204 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
5.205 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
5.250 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 2)
5.274 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2 1)
5.286 * * * [progress]: generating series expansions
5.286 * * * * [progress]: [ 1 / 4 ] generating series at (2)
5.287 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (* (/ 1 (sqrt a)) (* (/ b (sqrt a)) (/ b a)))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
5.287 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (a b) around 0
5.287 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
5.287 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
5.287 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
5.287 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
5.287 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
5.287 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
5.287 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
5.288 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
5.288 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
5.288 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
5.288 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
5.288 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
5.288 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
5.288 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
5.289 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
5.289 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
5.289 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
5.289 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
5.289 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
5.289 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
5.289 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
5.289 * [taylor]: Taking taylor expansion of 0 in b
5.289 * [backup-simplify]: Simplify 0 into 0
5.289 * [backup-simplify]: Simplify 0 into 0
5.290 * [backup-simplify]: Simplify 0 into 0
5.290 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
5.290 * [taylor]: Taking taylor expansion of 0 in b
5.290 * [backup-simplify]: Simplify 0 into 0
5.290 * [backup-simplify]: Simplify 0 into 0
5.290 * [backup-simplify]: Simplify 0 into 0
5.291 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
5.291 * [backup-simplify]: Simplify 0 into 0
5.292 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
5.292 * [taylor]: Taking taylor expansion of 0 in b
5.292 * [backup-simplify]: Simplify 0 into 0
5.292 * [backup-simplify]: Simplify 0 into 0
5.292 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
5.292 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (* (/ 1 (sqrt (/ 1 a))) (* (/ (/ 1 b) (sqrt (/ 1 a))) (/ (/ 1 b) (/ 1 a))))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
5.292 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (a b) around 0
5.292 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
5.292 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
5.293 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
5.293 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
5.293 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
5.293 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
5.293 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
5.293 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
5.293 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
5.294 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
5.294 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
5.294 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
5.294 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
5.294 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
5.294 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
5.294 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
5.294 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
5.294 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
5.295 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
5.295 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
5.295 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
5.295 * [taylor]: Taking taylor expansion of 0 in b
5.295 * [backup-simplify]: Simplify 0 into 0
5.295 * [backup-simplify]: Simplify 0 into 0
5.295 * [backup-simplify]: Simplify 0 into 0
5.296 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
5.296 * [taylor]: Taking taylor expansion of 0 in b
5.296 * [backup-simplify]: Simplify 0 into 0
5.296 * [backup-simplify]: Simplify 0 into 0
5.296 * [backup-simplify]: Simplify 0 into 0
5.296 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
5.296 * [backup-simplify]: Simplify 0 into 0
5.297 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
5.297 * [taylor]: Taking taylor expansion of 0 in b
5.297 * [backup-simplify]: Simplify 0 into 0
5.297 * [backup-simplify]: Simplify 0 into 0
5.298 * [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.298 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (* (/ 1 (sqrt (/ 1 (- a)))) (* (/ (/ 1 (- b)) (sqrt (/ 1 (- a)))) (/ (/ 1 (- b)) (/ 1 (- a)))))))) into (sqrt (fabs (+ (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2))) 1)))
5.298 * [approximate]: Taking taylor expansion of (sqrt (fabs (+ (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2))) 1))) in (a b) around 0
5.298 * [taylor]: Taking taylor expansion of (sqrt (fabs (+ (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2))) 1))) in b
5.298 * [taylor]: Taking taylor expansion of (fabs (+ (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2))) 1)) in b
5.298 * [backup-simplify]: Simplify (fabs (+ (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2))) 1)) into (fabs (+ (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2))) 1))
5.299 * [backup-simplify]: Simplify (sqrt (fabs (+ (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2))) 1))) into (sqrt (fabs (+ (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2))) 1)))
5.299 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (+ (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2))) 1))))) into 0
5.299 * [taylor]: Taking taylor expansion of (sqrt (fabs (+ (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2))) 1))) in a
5.299 * [taylor]: Taking taylor expansion of (fabs (+ (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2))) 1)) in a
5.299 * [backup-simplify]: Simplify (fabs (+ (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2))) 1)) into (fabs (+ (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2))) 1))
5.299 * [backup-simplify]: Simplify (sqrt (fabs (+ (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2))) 1))) into (sqrt (fabs (+ (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2))) 1)))
5.300 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (+ (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2))) 1))))) into 0
5.300 * [taylor]: Taking taylor expansion of (sqrt (fabs (+ (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2))) 1))) in a
5.300 * [taylor]: Taking taylor expansion of (fabs (+ (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2))) 1)) in a
5.300 * [backup-simplify]: Simplify (fabs (+ (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2))) 1)) into (fabs (+ (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2))) 1))
5.300 * [backup-simplify]: Simplify (sqrt (fabs (+ (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2))) 1))) into (sqrt (fabs (+ (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2))) 1)))
5.300 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (+ (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2))) 1))))) into 0
5.300 * [taylor]: Taking taylor expansion of (sqrt (fabs (+ (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2))) 1))) in b
5.300 * [taylor]: Taking taylor expansion of (fabs (+ (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2))) 1)) in b
5.301 * [backup-simplify]: Simplify (fabs (+ (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2))) 1)) into (fabs (+ (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2))) 1))
5.301 * [backup-simplify]: Simplify (sqrt (fabs (+ (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2))) 1))) into (sqrt (fabs (+ (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2))) 1)))
5.301 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (+ (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2))) 1))))) into 0
5.301 * [backup-simplify]: Simplify (sqrt (fabs (+ (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2))) 1))) into (sqrt (fabs (+ (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2))) 1)))
5.301 * [taylor]: Taking taylor expansion of 0 in b
5.302 * [backup-simplify]: Simplify 0 into 0
5.302 * [backup-simplify]: Simplify 0 into 0
5.302 * [backup-simplify]: Simplify 0 into 0
5.302 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (+ (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2))) 1))))) into 0
5.302 * [taylor]: Taking taylor expansion of 0 in b
5.302 * [backup-simplify]: Simplify 0 into 0
5.302 * [backup-simplify]: Simplify 0 into 0
5.302 * [backup-simplify]: Simplify 0 into 0
5.303 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (+ (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2))) 1))))) into 0
5.303 * [backup-simplify]: Simplify 0 into 0
5.304 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (+ (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2))) 1))))) into 0
5.304 * [taylor]: Taking taylor expansion of 0 in b
5.304 * [backup-simplify]: Simplify 0 into 0
5.304 * [backup-simplify]: Simplify 0 into 0
5.304 * [backup-simplify]: Simplify (sqrt (fabs (+ (/ (/ 1 (- a)) (* (pow (/ 1 (- b)) 2) (pow (sqrt (/ -1 (/ 1 (- a)))) 2))) 1))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
5.304 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
5.304 * [backup-simplify]: Simplify (* (/ 1 (sqrt a)) (* (/ b (sqrt a)) (/ b a))) into (/ (pow b 2) (pow a 2))
5.304 * [approximate]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (a b) around 0
5.304 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
5.305 * [taylor]: Taking taylor expansion of (pow b 2) in b
5.305 * [taylor]: Taking taylor expansion of b in b
5.305 * [backup-simplify]: Simplify 0 into 0
5.305 * [backup-simplify]: Simplify 1 into 1
5.305 * [taylor]: Taking taylor expansion of (pow a 2) in b
5.305 * [taylor]: Taking taylor expansion of a in b
5.305 * [backup-simplify]: Simplify a into a
5.305 * [backup-simplify]: Simplify (* 1 1) into 1
5.305 * [backup-simplify]: Simplify (* a a) into (pow a 2)
5.305 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
5.305 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a
5.305 * [taylor]: Taking taylor expansion of (pow b 2) in a
5.305 * [taylor]: Taking taylor expansion of b in a
5.305 * [backup-simplify]: Simplify b into b
5.305 * [taylor]: Taking taylor expansion of (pow a 2) in a
5.305 * [taylor]: Taking taylor expansion of a in a
5.305 * [backup-simplify]: Simplify 0 into 0
5.305 * [backup-simplify]: Simplify 1 into 1
5.305 * [backup-simplify]: Simplify (* b b) into (pow b 2)
5.305 * [backup-simplify]: Simplify (* 1 1) into 1
5.305 * [backup-simplify]: Simplify (/ (pow b 2) 1) into (pow b 2)
5.305 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a
5.306 * [taylor]: Taking taylor expansion of (pow b 2) in a
5.306 * [taylor]: Taking taylor expansion of b in a
5.306 * [backup-simplify]: Simplify b into b
5.306 * [taylor]: Taking taylor expansion of (pow a 2) in a
5.306 * [taylor]: Taking taylor expansion of a in a
5.306 * [backup-simplify]: Simplify 0 into 0
5.306 * [backup-simplify]: Simplify 1 into 1
5.306 * [backup-simplify]: Simplify (* b b) into (pow b 2)
5.306 * [backup-simplify]: Simplify (* 1 1) into 1
5.306 * [backup-simplify]: Simplify (/ (pow b 2) 1) into (pow b 2)
5.306 * [taylor]: Taking taylor expansion of (pow b 2) in b
5.306 * [taylor]: Taking taylor expansion of b in b
5.306 * [backup-simplify]: Simplify 0 into 0
5.306 * [backup-simplify]: Simplify 1 into 1
5.306 * [backup-simplify]: Simplify (* 1 1) into 1
5.306 * [backup-simplify]: Simplify 1 into 1
5.306 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0
5.307 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.307 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow b 2) (/ 0 1)))) into 0
5.307 * [taylor]: Taking taylor expansion of 0 in b
5.307 * [backup-simplify]: Simplify 0 into 0
5.307 * [backup-simplify]: Simplify 0 into 0
5.308 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.308 * [backup-simplify]: Simplify 0 into 0
5.308 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0
5.309 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.310 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow b 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.310 * [taylor]: Taking taylor expansion of 0 in b
5.310 * [backup-simplify]: Simplify 0 into 0
5.310 * [backup-simplify]: Simplify 0 into 0
5.310 * [backup-simplify]: Simplify 0 into 0
5.310 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.310 * [backup-simplify]: Simplify 0 into 0
5.311 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0
5.311 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.313 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow b 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.313 * [taylor]: Taking taylor expansion of 0 in b
5.313 * [backup-simplify]: Simplify 0 into 0
5.313 * [backup-simplify]: Simplify 0 into 0
5.313 * [backup-simplify]: Simplify (* 1 (pow (* b (/ 1 a)) 2)) into (/ (pow b 2) (pow a 2))
5.313 * [backup-simplify]: Simplify (* (/ 1 (sqrt (/ 1 a))) (* (/ (/ 1 b) (sqrt (/ 1 a))) (/ (/ 1 b) (/ 1 a)))) into (/ (pow a 2) (pow b 2))
5.313 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (a b) around 0
5.313 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
5.313 * [taylor]: Taking taylor expansion of (pow a 2) in b
5.313 * [taylor]: Taking taylor expansion of a in b
5.313 * [backup-simplify]: Simplify a into a
5.313 * [taylor]: Taking taylor expansion of (pow b 2) in b
5.313 * [taylor]: Taking taylor expansion of b in b
5.313 * [backup-simplify]: Simplify 0 into 0
5.313 * [backup-simplify]: Simplify 1 into 1
5.313 * [backup-simplify]: Simplify (* a a) into (pow a 2)
5.314 * [backup-simplify]: Simplify (* 1 1) into 1
5.314 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2)
5.314 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
5.314 * [taylor]: Taking taylor expansion of (pow a 2) in a
5.314 * [taylor]: Taking taylor expansion of a in a
5.314 * [backup-simplify]: Simplify 0 into 0
5.314 * [backup-simplify]: Simplify 1 into 1
5.314 * [taylor]: Taking taylor expansion of (pow b 2) in a
5.314 * [taylor]: Taking taylor expansion of b in a
5.314 * [backup-simplify]: Simplify b into b
5.314 * [backup-simplify]: Simplify (* 1 1) into 1
5.314 * [backup-simplify]: Simplify (* b b) into (pow b 2)
5.314 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
5.314 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
5.314 * [taylor]: Taking taylor expansion of (pow a 2) in a
5.314 * [taylor]: Taking taylor expansion of a in a
5.314 * [backup-simplify]: Simplify 0 into 0
5.314 * [backup-simplify]: Simplify 1 into 1
5.314 * [taylor]: Taking taylor expansion of (pow b 2) in a
5.314 * [taylor]: Taking taylor expansion of b in a
5.314 * [backup-simplify]: Simplify b into b
5.315 * [backup-simplify]: Simplify (* 1 1) into 1
5.315 * [backup-simplify]: Simplify (* b b) into (pow b 2)
5.315 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
5.315 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
5.315 * [taylor]: Taking taylor expansion of (pow b 2) in b
5.315 * [taylor]: Taking taylor expansion of b in b
5.315 * [backup-simplify]: Simplify 0 into 0
5.315 * [backup-simplify]: Simplify 1 into 1
5.315 * [backup-simplify]: Simplify (* 1 1) into 1
5.315 * [backup-simplify]: Simplify (/ 1 1) into 1
5.315 * [backup-simplify]: Simplify 1 into 1
5.316 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.316 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0
5.316 * [backup-simplify]: Simplify (- (/ 0 (pow b 2)) (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))))) into 0
5.316 * [taylor]: Taking taylor expansion of 0 in b
5.316 * [backup-simplify]: Simplify 0 into 0
5.317 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.317 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.317 * [backup-simplify]: Simplify 0 into 0
5.318 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.318 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0
5.318 * [backup-simplify]: Simplify (- (/ 0 (pow b 2)) (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0
5.318 * [taylor]: Taking taylor expansion of 0 in b
5.318 * [backup-simplify]: Simplify 0 into 0
5.319 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.319 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.319 * [backup-simplify]: Simplify 0 into 0
5.320 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.321 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0
5.321 * [backup-simplify]: Simplify (- (/ 0 (pow b 2)) (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0
5.321 * [taylor]: Taking taylor expansion of 0 in b
5.321 * [backup-simplify]: Simplify 0 into 0
5.321 * [backup-simplify]: Simplify 0 into 0
5.322 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.322 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.322 * [backup-simplify]: Simplify 0 into 0
5.323 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.324 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 b))))) into 0
5.324 * [backup-simplify]: Simplify (- (/ 0 (pow b 2)) (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0
5.324 * [taylor]: Taking taylor expansion of 0 in b
5.324 * [backup-simplify]: Simplify 0 into 0
5.324 * [backup-simplify]: Simplify 0 into 0
5.325 * [backup-simplify]: Simplify 0 into 0
5.325 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (/ 1 b)) (/ 1 a)) 2)) into (/ (pow b 2) (pow a 2))
5.325 * [backup-simplify]: Simplify (* (/ 1 (sqrt (/ 1 (- a)))) (* (/ (/ 1 (- b)) (sqrt (/ 1 (- a)))) (/ (/ 1 (- b)) (/ 1 (- a))))) into (* -1 (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2))))
5.325 * [approximate]: Taking taylor expansion of (* -1 (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2)))) in (a b) around 0
5.325 * [taylor]: Taking taylor expansion of (* -1 (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2)))) in b
5.325 * [taylor]: Taking taylor expansion of -1 in b
5.325 * [backup-simplify]: Simplify -1 into -1
5.325 * [taylor]: Taking taylor expansion of (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2))) in b
5.325 * [taylor]: Taking taylor expansion of a in b
5.325 * [backup-simplify]: Simplify a into a
5.325 * [taylor]: Taking taylor expansion of (* (pow b 2) (pow (sqrt (/ -1 a)) 2)) in b
5.325 * [taylor]: Taking taylor expansion of (pow b 2) in b
5.325 * [taylor]: Taking taylor expansion of b in b
5.325 * [backup-simplify]: Simplify 0 into 0
5.325 * [backup-simplify]: Simplify 1 into 1
5.325 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 a)) 2) in b
5.325 * [taylor]: Taking taylor expansion of (sqrt (/ -1 a)) in b
5.325 * [taylor]: Taking taylor expansion of (/ -1 a) in b
5.325 * [taylor]: Taking taylor expansion of -1 in b
5.325 * [backup-simplify]: Simplify -1 into -1
5.325 * [taylor]: Taking taylor expansion of a in b
5.325 * [backup-simplify]: Simplify a into a
5.325 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
5.325 * [backup-simplify]: Simplify (sqrt (/ -1 a)) into (sqrt (/ -1 a))
5.325 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0
5.325 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 a)))) into 0
5.326 * [backup-simplify]: Simplify (* 1 1) into 1
5.326 * [backup-simplify]: Simplify (* (sqrt (/ -1 a)) (sqrt (/ -1 a))) into (pow (sqrt (/ -1 a)) 2)
5.326 * [backup-simplify]: Simplify (* 1 (pow (sqrt (/ -1 a)) 2)) into (pow (sqrt (/ -1 a)) 2)
5.326 * [backup-simplify]: Simplify (/ a (pow (sqrt (/ -1 a)) 2)) into (/ a (pow (sqrt (/ -1 a)) 2))
5.326 * [taylor]: Taking taylor expansion of (* -1 (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2)))) in a
5.326 * [taylor]: Taking taylor expansion of -1 in a
5.326 * [backup-simplify]: Simplify -1 into -1
5.326 * [taylor]: Taking taylor expansion of (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2))) in a
5.326 * [taylor]: Taking taylor expansion of a in a
5.326 * [backup-simplify]: Simplify 0 into 0
5.326 * [backup-simplify]: Simplify 1 into 1
5.326 * [taylor]: Taking taylor expansion of (* (pow b 2) (pow (sqrt (/ -1 a)) 2)) in a
5.326 * [taylor]: Taking taylor expansion of (pow b 2) in a
5.326 * [taylor]: Taking taylor expansion of b in a
5.326 * [backup-simplify]: Simplify b into b
5.326 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 a)) 2) in a
5.326 * [taylor]: Taking taylor expansion of (sqrt (/ -1 a)) in a
5.326 * [taylor]: Taking taylor expansion of (/ -1 a) in a
5.326 * [taylor]: Taking taylor expansion of -1 in a
5.326 * [backup-simplify]: Simplify -1 into -1
5.326 * [taylor]: Taking taylor expansion of a in a
5.326 * [backup-simplify]: Simplify 0 into 0
5.326 * [backup-simplify]: Simplify 1 into 1
5.327 * [backup-simplify]: Simplify (/ -1 1) into -1
5.327 * [backup-simplify]: Simplify (sqrt 0) into 0
5.328 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
5.328 * [backup-simplify]: Simplify (* b b) into (pow b 2)
5.328 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0
5.329 * [backup-simplify]: Simplify (* (pow b 2) +nan.0) into (* +nan.0 (pow b 2))
5.329 * [backup-simplify]: Simplify (/ 1 (* +nan.0 (pow b 2))) into (/ +nan.0 (pow b 2))
5.329 * [taylor]: Taking taylor expansion of (* -1 (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2)))) in a
5.329 * [taylor]: Taking taylor expansion of -1 in a
5.329 * [backup-simplify]: Simplify -1 into -1
5.329 * [taylor]: Taking taylor expansion of (/ a (* (pow b 2) (pow (sqrt (/ -1 a)) 2))) in a
5.329 * [taylor]: Taking taylor expansion of a in a
5.329 * [backup-simplify]: Simplify 0 into 0
5.329 * [backup-simplify]: Simplify 1 into 1
5.329 * [taylor]: Taking taylor expansion of (* (pow b 2) (pow (sqrt (/ -1 a)) 2)) in a
5.329 * [taylor]: Taking taylor expansion of (pow b 2) in a
5.329 * [taylor]: Taking taylor expansion of b in a
5.329 * [backup-simplify]: Simplify b into b
5.329 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 a)) 2) in a
5.329 * [taylor]: Taking taylor expansion of (sqrt (/ -1 a)) in a
5.329 * [taylor]: Taking taylor expansion of (/ -1 a) in a
5.329 * [taylor]: Taking taylor expansion of -1 in a
5.329 * [backup-simplify]: Simplify -1 into -1
5.329 * [taylor]: Taking taylor expansion of a in a
5.329 * [backup-simplify]: Simplify 0 into 0
5.329 * [backup-simplify]: Simplify 1 into 1
5.330 * [backup-simplify]: Simplify (/ -1 1) into -1
5.330 * [backup-simplify]: Simplify (sqrt 0) into 0
5.331 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
5.331 * [backup-simplify]: Simplify (* b b) into (pow b 2)
5.331 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0
5.331 * [backup-simplify]: Simplify (* (pow b 2) +nan.0) into (* +nan.0 (pow b 2))
5.331 * [backup-simplify]: Simplify (/ 1 (* +nan.0 (pow b 2))) into (/ +nan.0 (pow b 2))
5.331 * [backup-simplify]: Simplify (* -1 (/ +nan.0 (pow b 2))) into (/ +nan.0 (pow b 2))
5.331 * [taylor]: Taking taylor expansion of (/ +nan.0 (pow b 2)) in b
5.331 * [taylor]: Taking taylor expansion of +nan.0 in b
5.331 * [backup-simplify]: Simplify +nan.0 into +nan.0
5.331 * [taylor]: Taking taylor expansion of (pow b 2) in b
5.331 * [taylor]: Taking taylor expansion of b in b
5.331 * [backup-simplify]: Simplify 0 into 0
5.331 * [backup-simplify]: Simplify 1 into 1
5.332 * [backup-simplify]: Simplify (* 1 1) into 1
5.332 * [backup-simplify]: Simplify (/ +nan.0 1) into +nan.0
5.332 * [backup-simplify]: Simplify +nan.0 into +nan.0
5.333 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
5.334 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
5.335 * [backup-simplify]: Simplify (+ (* +nan.0 +nan.0) (* +nan.0 +nan.0)) into (- +nan.0)
5.335 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0
5.336 * [backup-simplify]: Simplify (+ (* (pow b 2) (- +nan.0)) (* 0 +nan.0)) into (- (* +nan.0 (pow b 2)))
5.336 * [backup-simplify]: Simplify (- (/ 0 (* +nan.0 (pow b 2))) (+ (* (/ +nan.0 (pow b 2)) (/ (- (* +nan.0 (pow b 2))) (* +nan.0 (pow b 2)))))) into (- (* +nan.0 (/ 1 (pow b 2))))
5.336 * [backup-simplify]: Simplify (+ (* -1 (- (* +nan.0 (/ 1 (pow b 2))))) (* 0 (/ +nan.0 (pow b 2)))) into (- (* +nan.0 (/ 1 (pow b 2))))
5.336 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow b 2)))) in b
5.336 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow b 2))) in b
5.336 * [taylor]: Taking taylor expansion of +nan.0 in b
5.336 * [backup-simplify]: Simplify +nan.0 into +nan.0
5.336 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
5.336 * [taylor]: Taking taylor expansion of (pow b 2) in b
5.336 * [taylor]: Taking taylor expansion of b in b
5.336 * [backup-simplify]: Simplify 0 into 0
5.337 * [backup-simplify]: Simplify 1 into 1
5.337 * [backup-simplify]: Simplify (* 1 1) into 1
5.337 * [backup-simplify]: Simplify (/ 1 1) into 1
5.337 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
5.337 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
5.338 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
5.338 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.339 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)))) into 0
5.339 * [backup-simplify]: Simplify 0 into 0
5.339 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.342 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
5.343 * [backup-simplify]: Simplify (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 +nan.0))) into (- +nan.0)
5.343 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0
5.344 * [backup-simplify]: Simplify (+ (* (pow b 2) (- +nan.0)) (+ (* 0 (- +nan.0)) (* 0 +nan.0))) into (- (* +nan.0 (pow b 2)))
5.345 * [backup-simplify]: Simplify (- (/ 0 (* +nan.0 (pow b 2))) (+ (* (/ +nan.0 (pow b 2)) (/ (- (* +nan.0 (pow b 2))) (* +nan.0 (pow b 2)))) (* (- (* +nan.0 (/ 1 (pow b 2)))) (/ (- (* +nan.0 (pow b 2))) (* +nan.0 (pow b 2)))))) into (- (* +nan.0 (/ 1 (pow b 2))))
5.345 * [backup-simplify]: Simplify (+ (* -1 (- (* +nan.0 (/ 1 (pow b 2))))) (+ (* 0 (- (* +nan.0 (/ 1 (pow b 2))))) (* 0 (/ +nan.0 (pow b 2))))) into (- (* +nan.0 (/ 1 (pow b 2))))
5.345 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow b 2)))) in b
5.345 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow b 2))) in b
5.345 * [taylor]: Taking taylor expansion of +nan.0 in b
5.345 * [backup-simplify]: Simplify +nan.0 into +nan.0
5.345 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
5.345 * [taylor]: Taking taylor expansion of (pow b 2) in b
5.345 * [taylor]: Taking taylor expansion of b in b
5.345 * [backup-simplify]: Simplify 0 into 0
5.345 * [backup-simplify]: Simplify 1 into 1
5.346 * [backup-simplify]: Simplify (* 1 1) into 1
5.346 * [backup-simplify]: Simplify (/ 1 1) into 1
5.346 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
5.346 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
5.347 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
5.348 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (pow (/ 1 (- b)) -2) (pow (/ 1 (- a)) 3))) (+ (* (- +nan.0) (pow (* (/ 1 (/ 1 (- b))) (/ 1 (- a))) 2)) (* +nan.0 (* (pow (/ 1 (- b)) -2) (/ 1 (- a)))))) into (- (+ (* +nan.0 (/ (pow b 2) (pow a 3))) (- (+ (* +nan.0 (/ (pow b 2) (pow a 2))) (- (* +nan.0 (/ (pow b 2) a)))))))
5.348 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 2)
5.348 * [backup-simplify]: Simplify (* (/ b (sqrt a)) (/ b a)) into (* (sqrt (/ 1 (pow a 3))) (pow b 2))
5.348 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 (pow a 3))) (pow b 2)) in (b a) around 0
5.348 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (pow a 3))) (pow b 2)) in a
5.348 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow a 3))) in a
5.348 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a
5.348 * [taylor]: Taking taylor expansion of (pow a 3) in a
5.348 * [taylor]: Taking taylor expansion of a in a
5.348 * [backup-simplify]: Simplify 0 into 0
5.348 * [backup-simplify]: Simplify 1 into 1
5.349 * [backup-simplify]: Simplify (* 1 1) into 1
5.349 * [backup-simplify]: Simplify (* 1 1) into 1
5.349 * [backup-simplify]: Simplify (/ 1 1) into 1
5.349 * [backup-simplify]: Simplify (sqrt 0) into 0
5.350 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
5.350 * [taylor]: Taking taylor expansion of (pow b 2) in a
5.350 * [taylor]: Taking taylor expansion of b in a
5.350 * [backup-simplify]: Simplify b into b
5.350 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (pow a 3))) (pow b 2)) in b
5.350 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow a 3))) in b
5.350 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in b
5.350 * [taylor]: Taking taylor expansion of (pow a 3) in b
5.350 * [taylor]: Taking taylor expansion of a in b
5.350 * [backup-simplify]: Simplify a into a
5.350 * [backup-simplify]: Simplify (* a a) into (pow a 2)
5.350 * [backup-simplify]: Simplify (* a (pow a 2)) into (pow a 3)
5.351 * [backup-simplify]: Simplify (/ 1 (pow a 3)) into (/ 1 (pow a 3))
5.351 * [backup-simplify]: Simplify (sqrt (/ 1 (pow a 3))) into (sqrt (/ 1 (pow a 3)))
5.351 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
5.351 * [backup-simplify]: Simplify (+ (* a 0) (* 0 (pow a 2))) into 0
5.351 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow a 3)) (/ 0 (pow a 3))))) into 0
5.351 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (pow a 3))))) into 0
5.351 * [taylor]: Taking taylor expansion of (pow b 2) in b
5.351 * [taylor]: Taking taylor expansion of b in b
5.351 * [backup-simplify]: Simplify 0 into 0
5.351 * [backup-simplify]: Simplify 1 into 1
5.351 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (pow a 3))) (pow b 2)) in b
5.351 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow a 3))) in b
5.351 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in b
5.351 * [taylor]: Taking taylor expansion of (pow a 3) in b
5.351 * [taylor]: Taking taylor expansion of a in b
5.351 * [backup-simplify]: Simplify a into a
5.351 * [backup-simplify]: Simplify (* a a) into (pow a 2)
5.351 * [backup-simplify]: Simplify (* a (pow a 2)) into (pow a 3)
5.351 * [backup-simplify]: Simplify (/ 1 (pow a 3)) into (/ 1 (pow a 3))
5.352 * [backup-simplify]: Simplify (sqrt (/ 1 (pow a 3))) into (sqrt (/ 1 (pow a 3)))
5.352 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
5.352 * [backup-simplify]: Simplify (+ (* a 0) (* 0 (pow a 2))) into 0
5.352 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow a 3)) (/ 0 (pow a 3))))) into 0
5.352 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (pow a 3))))) into 0
5.352 * [taylor]: Taking taylor expansion of (pow b 2) in b
5.352 * [taylor]: Taking taylor expansion of b in b
5.352 * [backup-simplify]: Simplify 0 into 0
5.352 * [backup-simplify]: Simplify 1 into 1
5.352 * [backup-simplify]: Simplify (* 1 1) into 1
5.353 * [backup-simplify]: Simplify (* (sqrt (/ 1 (pow a 3))) 1) into (sqrt (/ 1 (pow a 3)))
5.353 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow a 3))) in a
5.353 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a
5.353 * [taylor]: Taking taylor expansion of (pow a 3) in a
5.353 * [taylor]: Taking taylor expansion of a in a
5.353 * [backup-simplify]: Simplify 0 into 0
5.353 * [backup-simplify]: Simplify 1 into 1
5.353 * [backup-simplify]: Simplify (* 1 1) into 1
5.353 * [backup-simplify]: Simplify (* 1 1) into 1
5.353 * [backup-simplify]: Simplify (/ 1 1) into 1
5.354 * [backup-simplify]: Simplify (sqrt 0) into 0
5.354 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
5.354 * [backup-simplify]: Simplify 0 into 0
5.355 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.355 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (pow a 3))) 0) (* 0 1)) into 0
5.355 * [taylor]: Taking taylor expansion of 0 in a
5.355 * [backup-simplify]: Simplify 0 into 0
5.355 * [backup-simplify]: Simplify +nan.0 into +nan.0
5.356 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.356 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
5.357 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 (pow a 2)))) into 0
5.357 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow a 3)) (/ 0 (pow a 3))) (* 0 (/ 0 (pow a 3))))) into 0
5.357 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (pow a 3))))) into 0
5.358 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (pow a 3))) 0) (+ (* 0 0) (* 0 1))) into 0
5.358 * [taylor]: Taking taylor expansion of 0 in a
5.358 * [backup-simplify]: Simplify 0 into 0
5.358 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.359 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.359 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.365 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
5.365 * [backup-simplify]: Simplify +nan.0 into +nan.0
5.366 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.367 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
5.368 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow a 2))))) into 0
5.369 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow a 3)) (/ 0 (pow a 3))) (* 0 (/ 0 (pow a 3))) (* 0 (/ 0 (pow a 3))))) into 0
5.370 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 (pow a 3))))) into 0
5.371 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (pow a 3))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.371 * [taylor]: Taking taylor expansion of 0 in a
5.371 * [backup-simplify]: Simplify 0 into 0
5.371 * [backup-simplify]: Simplify 0 into 0
5.371 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.372 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.372 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.375 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
5.375 * [backup-simplify]: Simplify +nan.0 into +nan.0
5.375 * [backup-simplify]: Simplify (+ (* +nan.0 (* a (pow b 2))) (+ (* +nan.0 (pow (* 1 b) 2)) (* +nan.0 (* (/ 1 a) (pow b 2))))) into (- (+ (* +nan.0 (pow b 2)) (- (+ (* +nan.0 (* a (pow b 2))) (- (* +nan.0 (/ (pow b 2) a)))))))
5.376 * [backup-simplify]: Simplify (* (/ (/ 1 b) (sqrt (/ 1 a))) (/ (/ 1 b) (/ 1 a))) into (* (sqrt (pow a 3)) (/ 1 (pow b 2)))
5.376 * [approximate]: Taking taylor expansion of (* (sqrt (pow a 3)) (/ 1 (pow b 2))) in (b a) around 0
5.376 * [taylor]: Taking taylor expansion of (* (sqrt (pow a 3)) (/ 1 (pow b 2))) in a
5.376 * [taylor]: Taking taylor expansion of (sqrt (pow a 3)) in a
5.376 * [taylor]: Taking taylor expansion of (pow a 3) in a
5.376 * [taylor]: Taking taylor expansion of a in a
5.376 * [backup-simplify]: Simplify 0 into 0
5.376 * [backup-simplify]: Simplify 1 into 1
5.376 * [backup-simplify]: Simplify (* 1 1) into 1
5.376 * [backup-simplify]: Simplify (* 1 1) into 1
5.377 * [backup-simplify]: Simplify (sqrt 0) into 0
5.378 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
5.378 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
5.378 * [taylor]: Taking taylor expansion of (pow b 2) in a
5.378 * [taylor]: Taking taylor expansion of b in a
5.378 * [backup-simplify]: Simplify b into b
5.378 * [backup-simplify]: Simplify (* b b) into (pow b 2)
5.378 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
5.378 * [taylor]: Taking taylor expansion of (* (sqrt (pow a 3)) (/ 1 (pow b 2))) in b
5.378 * [taylor]: Taking taylor expansion of (sqrt (pow a 3)) in b
5.378 * [taylor]: Taking taylor expansion of (pow a 3) in b
5.378 * [taylor]: Taking taylor expansion of a in b
5.378 * [backup-simplify]: Simplify a into a
5.378 * [backup-simplify]: Simplify (* a a) into (pow a 2)
5.378 * [backup-simplify]: Simplify (* a (pow a 2)) into (pow a 3)
5.378 * [backup-simplify]: Simplify (sqrt (pow a 3)) into (sqrt (pow a 3))
5.379 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
5.379 * [backup-simplify]: Simplify (+ (* a 0) (* 0 (pow a 2))) into 0
5.379 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow a 3)))) into 0
5.379 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
5.379 * [taylor]: Taking taylor expansion of (pow b 2) in b
5.379 * [taylor]: Taking taylor expansion of b in b
5.379 * [backup-simplify]: Simplify 0 into 0
5.379 * [backup-simplify]: Simplify 1 into 1
5.379 * [backup-simplify]: Simplify (* 1 1) into 1
5.379 * [backup-simplify]: Simplify (/ 1 1) into 1
5.379 * [taylor]: Taking taylor expansion of (* (sqrt (pow a 3)) (/ 1 (pow b 2))) in b
5.379 * [taylor]: Taking taylor expansion of (sqrt (pow a 3)) in b
5.379 * [taylor]: Taking taylor expansion of (pow a 3) in b
5.379 * [taylor]: Taking taylor expansion of a in b
5.380 * [backup-simplify]: Simplify a into a
5.380 * [backup-simplify]: Simplify (* a a) into (pow a 2)
5.380 * [backup-simplify]: Simplify (* a (pow a 2)) into (pow a 3)
5.380 * [backup-simplify]: Simplify (sqrt (pow a 3)) into (sqrt (pow a 3))
5.380 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
5.380 * [backup-simplify]: Simplify (+ (* a 0) (* 0 (pow a 2))) into 0
5.380 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow a 3)))) into 0
5.380 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
5.380 * [taylor]: Taking taylor expansion of (pow b 2) in b
5.380 * [taylor]: Taking taylor expansion of b in b
5.380 * [backup-simplify]: Simplify 0 into 0
5.380 * [backup-simplify]: Simplify 1 into 1
5.380 * [backup-simplify]: Simplify (* 1 1) into 1
5.381 * [backup-simplify]: Simplify (/ 1 1) into 1
5.381 * [backup-simplify]: Simplify (* (sqrt (pow a 3)) 1) into (sqrt (pow a 3))
5.381 * [taylor]: Taking taylor expansion of (sqrt (pow a 3)) in a
5.381 * [taylor]: Taking taylor expansion of (pow a 3) in a
5.381 * [taylor]: Taking taylor expansion of a in a
5.381 * [backup-simplify]: Simplify 0 into 0
5.381 * [backup-simplify]: Simplify 1 into 1
5.381 * [backup-simplify]: Simplify (* 1 1) into 1
5.381 * [backup-simplify]: Simplify (* 1 1) into 1
5.382 * [backup-simplify]: Simplify (sqrt 0) into 0
5.383 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
5.383 * [backup-simplify]: Simplify 0 into 0
5.383 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.384 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.384 * [backup-simplify]: Simplify (+ (* (sqrt (pow a 3)) 0) (* 0 1)) into 0
5.384 * [taylor]: Taking taylor expansion of 0 in a
5.384 * [backup-simplify]: Simplify 0 into 0
5.384 * [backup-simplify]: Simplify 0 into 0
5.384 * [backup-simplify]: Simplify +nan.0 into +nan.0
5.385 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.386 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.386 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
5.386 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 (pow a 2)))) into 0
5.387 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow a 3)))) into 0
5.387 * [backup-simplify]: Simplify (+ (* (sqrt (pow a 3)) 0) (+ (* 0 0) (* 0 1))) into 0
5.387 * [taylor]: Taking taylor expansion of 0 in a
5.387 * [backup-simplify]: Simplify 0 into 0
5.387 * [backup-simplify]: Simplify 0 into 0
5.387 * [backup-simplify]: Simplify 0 into 0
5.388 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.388 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.390 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
5.390 * [backup-simplify]: Simplify +nan.0 into +nan.0
5.391 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.391 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.392 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
5.392 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow a 2))))) into 0
5.393 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow a 3)))) into 0
5.393 * [backup-simplify]: Simplify (+ (* (sqrt (pow a 3)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.393 * [taylor]: Taking taylor expansion of 0 in a
5.393 * [backup-simplify]: Simplify 0 into 0
5.393 * [backup-simplify]: Simplify 0 into 0
5.394 * [backup-simplify]: Simplify 0 into 0
5.394 * [backup-simplify]: Simplify 0 into 0
5.394 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.395 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.397 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
5.397 * [backup-simplify]: Simplify +nan.0 into +nan.0
5.398 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (* (pow (/ 1 a) 2) (/ 1 (/ 1 b))) 2)) (+ (* +nan.0 (* (pow (/ 1 a) 3) (pow (/ 1 b) -2))) (* +nan.0 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)))) into (- (+ (* +nan.0 (/ (pow b 2) (pow a 3))) (- (+ (* +nan.0 (/ (pow b 2) (pow a 4))) (- (* +nan.0 (/ (pow b 2) (pow a 2))))))))
5.398 * [backup-simplify]: Simplify (* (/ (/ 1 (- b)) (sqrt (/ 1 (- a)))) (/ (/ 1 (- b)) (/ 1 (- a)))) into (* -1 (/ a (* (pow b 2) (sqrt (/ -1 a)))))
5.398 * [approximate]: Taking taylor expansion of (* -1 (/ a (* (pow b 2) (sqrt (/ -1 a))))) in (b a) around 0
5.398 * [taylor]: Taking taylor expansion of (* -1 (/ a (* (pow b 2) (sqrt (/ -1 a))))) in a
5.398 * [taylor]: Taking taylor expansion of -1 in a
5.398 * [backup-simplify]: Simplify -1 into -1
5.398 * [taylor]: Taking taylor expansion of (/ a (* (pow b 2) (sqrt (/ -1 a)))) in a
5.398 * [taylor]: Taking taylor expansion of a in a
5.398 * [backup-simplify]: Simplify 0 into 0
5.398 * [backup-simplify]: Simplify 1 into 1
5.398 * [taylor]: Taking taylor expansion of (* (pow b 2) (sqrt (/ -1 a))) in a
5.398 * [taylor]: Taking taylor expansion of (pow b 2) in a
5.398 * [taylor]: Taking taylor expansion of b in a
5.398 * [backup-simplify]: Simplify b into b
5.398 * [taylor]: Taking taylor expansion of (sqrt (/ -1 a)) in a
5.398 * [taylor]: Taking taylor expansion of (/ -1 a) in a
5.398 * [taylor]: Taking taylor expansion of -1 in a
5.398 * [backup-simplify]: Simplify -1 into -1
5.398 * [taylor]: Taking taylor expansion of a in a
5.398 * [backup-simplify]: Simplify 0 into 0
5.398 * [backup-simplify]: Simplify 1 into 1
5.399 * [backup-simplify]: Simplify (/ -1 1) into -1
5.399 * [backup-simplify]: Simplify (sqrt 0) into 0
5.400 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
5.400 * [backup-simplify]: Simplify (* b b) into (pow b 2)
5.400 * [backup-simplify]: Simplify (* (pow b 2) 0) into 0
5.400 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0
5.400 * [backup-simplify]: Simplify (+ (* (pow b 2) +nan.0) (* 0 0)) into (- (* +nan.0 (pow b 2)))
5.400 * [backup-simplify]: Simplify (/ 1 (- (* +nan.0 (pow b 2)))) into (/ +nan.0 (pow b 2))
5.400 * [taylor]: Taking taylor expansion of (* -1 (/ a (* (pow b 2) (sqrt (/ -1 a))))) in b
5.400 * [taylor]: Taking taylor expansion of -1 in b
5.401 * [backup-simplify]: Simplify -1 into -1
5.401 * [taylor]: Taking taylor expansion of (/ a (* (pow b 2) (sqrt (/ -1 a)))) in b
5.401 * [taylor]: Taking taylor expansion of a in b
5.401 * [backup-simplify]: Simplify a into a
5.401 * [taylor]: Taking taylor expansion of (* (pow b 2) (sqrt (/ -1 a))) in b
5.401 * [taylor]: Taking taylor expansion of (pow b 2) in b
5.401 * [taylor]: Taking taylor expansion of b in b
5.401 * [backup-simplify]: Simplify 0 into 0
5.401 * [backup-simplify]: Simplify 1 into 1
5.401 * [taylor]: Taking taylor expansion of (sqrt (/ -1 a)) in b
5.401 * [taylor]: Taking taylor expansion of (/ -1 a) in b
5.401 * [taylor]: Taking taylor expansion of -1 in b
5.401 * [backup-simplify]: Simplify -1 into -1
5.401 * [taylor]: Taking taylor expansion of a in b
5.401 * [backup-simplify]: Simplify a into a
5.401 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
5.401 * [backup-simplify]: Simplify (sqrt (/ -1 a)) into (sqrt (/ -1 a))
5.401 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0
5.401 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 a)))) into 0
5.401 * [backup-simplify]: Simplify (* 1 1) into 1
5.401 * [backup-simplify]: Simplify (* 1 (sqrt (/ -1 a))) into (sqrt (/ -1 a))
5.401 * [backup-simplify]: Simplify (/ a (sqrt (/ -1 a))) into (/ a (sqrt (/ -1 a)))
5.401 * [taylor]: Taking taylor expansion of (* -1 (/ a (* (pow b 2) (sqrt (/ -1 a))))) in b
5.401 * [taylor]: Taking taylor expansion of -1 in b
5.401 * [backup-simplify]: Simplify -1 into -1
5.401 * [taylor]: Taking taylor expansion of (/ a (* (pow b 2) (sqrt (/ -1 a)))) in b
5.401 * [taylor]: Taking taylor expansion of a in b
5.401 * [backup-simplify]: Simplify a into a
5.401 * [taylor]: Taking taylor expansion of (* (pow b 2) (sqrt (/ -1 a))) in b
5.401 * [taylor]: Taking taylor expansion of (pow b 2) in b
5.401 * [taylor]: Taking taylor expansion of b in b
5.401 * [backup-simplify]: Simplify 0 into 0
5.401 * [backup-simplify]: Simplify 1 into 1
5.401 * [taylor]: Taking taylor expansion of (sqrt (/ -1 a)) in b
5.401 * [taylor]: Taking taylor expansion of (/ -1 a) in b
5.401 * [taylor]: Taking taylor expansion of -1 in b
5.402 * [backup-simplify]: Simplify -1 into -1
5.402 * [taylor]: Taking taylor expansion of a in b
5.402 * [backup-simplify]: Simplify a into a
5.402 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
5.402 * [backup-simplify]: Simplify (sqrt (/ -1 a)) into (sqrt (/ -1 a))
5.402 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0
5.402 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 a)))) into 0
5.402 * [backup-simplify]: Simplify (* 1 1) into 1
5.402 * [backup-simplify]: Simplify (* 1 (sqrt (/ -1 a))) into (sqrt (/ -1 a))
5.402 * [backup-simplify]: Simplify (/ a (sqrt (/ -1 a))) into (/ a (sqrt (/ -1 a)))
5.402 * [backup-simplify]: Simplify (* -1 (/ a (sqrt (/ -1 a)))) into (* -1 (/ a (sqrt (/ -1 a))))
5.402 * [taylor]: Taking taylor expansion of (* -1 (/ a (sqrt (/ -1 a)))) in a
5.402 * [taylor]: Taking taylor expansion of -1 in a
5.402 * [backup-simplify]: Simplify -1 into -1
5.402 * [taylor]: Taking taylor expansion of (/ a (sqrt (/ -1 a))) in a
5.402 * [taylor]: Taking taylor expansion of a in a
5.402 * [backup-simplify]: Simplify 0 into 0
5.402 * [backup-simplify]: Simplify 1 into 1
5.402 * [taylor]: Taking taylor expansion of (sqrt (/ -1 a)) in a
5.402 * [taylor]: Taking taylor expansion of (/ -1 a) in a
5.402 * [taylor]: Taking taylor expansion of -1 in a
5.403 * [backup-simplify]: Simplify -1 into -1
5.403 * [taylor]: Taking taylor expansion of a in a
5.403 * [backup-simplify]: Simplify 0 into 0
5.403 * [backup-simplify]: Simplify 1 into 1
5.403 * [backup-simplify]: Simplify (/ -1 1) into -1
5.403 * [backup-simplify]: Simplify (sqrt 0) into 0
5.405 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
5.405 * [backup-simplify]: Simplify (/ 1 +nan.0) into +nan.0
5.406 * [backup-simplify]: Simplify (* -1 +nan.0) into +nan.0
5.406 * [backup-simplify]: Simplify +nan.0 into +nan.0
5.406 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.407 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (sqrt (/ -1 a)))) into 0
5.407 * [backup-simplify]: Simplify (- (/ 0 (sqrt (/ -1 a))) (+ (* (/ a (sqrt (/ -1 a))) (/ 0 (sqrt (/ -1 a)))))) into 0
5.408 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ a (sqrt (/ -1 a))))) into 0
5.408 * [taylor]: Taking taylor expansion of 0 in a
5.408 * [backup-simplify]: Simplify 0 into 0
5.408 * [backup-simplify]: Simplify 0 into 0
5.409 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
5.411 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
5.414 * [backup-simplify]: Simplify (- (/ 0 +nan.0) (+ (* +nan.0 (/ +nan.0 +nan.0)))) into (- +nan.0)
5.416 * [backup-simplify]: Simplify (+ (* -1 (- +nan.0)) (* 0 +nan.0)) into (- +nan.0)
5.416 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
5.416 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
5.417 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ -1 a)))) into 0
5.418 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.419 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt (/ -1 a))))) into 0
5.419 * [backup-simplify]: Simplify (- (/ 0 (sqrt (/ -1 a))) (+ (* (/ a (sqrt (/ -1 a))) (/ 0 (sqrt (/ -1 a)))) (* 0 (/ 0 (sqrt (/ -1 a)))))) into 0
5.420 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ a (sqrt (/ -1 a)))))) into 0
5.420 * [taylor]: Taking taylor expansion of 0 in a
5.420 * [backup-simplify]: Simplify 0 into 0
5.420 * [backup-simplify]: Simplify 0 into 0
5.420 * [backup-simplify]: Simplify 0 into 0
5.421 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.425 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
5.429 * [backup-simplify]: Simplify (- (/ 0 +nan.0) (+ (* +nan.0 (/ +nan.0 +nan.0)) (* (- +nan.0) (/ +nan.0 +nan.0)))) into (- +nan.0)
5.432 * [backup-simplify]: Simplify (+ (* -1 (- +nan.0)) (+ (* 0 (- +nan.0)) (* 0 +nan.0))) into (- +nan.0)
5.432 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
5.434 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (pow (/ 1 (- a)) 3) (pow (/ 1 (- b)) -2))) (+ (* (- +nan.0) (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) (* +nan.0 (* (/ 1 (- a)) (pow (/ 1 (- b)) -2))))) into (- (+ (* +nan.0 (/ (pow b 2) (pow a 3))) (- (+ (* +nan.0 (/ (pow b 2) (pow a 2))) (- (* +nan.0 (/ (pow b 2) a)))))))
5.435 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2 1)
5.435 * [backup-simplify]: Simplify (/ b (sqrt a)) into (* (sqrt (/ 1 a)) b)
5.435 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 a)) b) in (b a) around 0
5.435 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 a)) b) in a
5.435 * [taylor]: Taking taylor expansion of (sqrt (/ 1 a)) in a
5.435 * [taylor]: Taking taylor expansion of (/ 1 a) in a
5.435 * [taylor]: Taking taylor expansion of a in a
5.435 * [backup-simplify]: Simplify 0 into 0
5.435 * [backup-simplify]: Simplify 1 into 1
5.435 * [backup-simplify]: Simplify (/ 1 1) into 1
5.436 * [backup-simplify]: Simplify (sqrt 0) into 0
5.437 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
5.437 * [taylor]: Taking taylor expansion of b in a
5.437 * [backup-simplify]: Simplify b into b
5.437 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 a)) b) in b
5.437 * [taylor]: Taking taylor expansion of (sqrt (/ 1 a)) in b
5.437 * [taylor]: Taking taylor expansion of (/ 1 a) in b
5.437 * [taylor]: Taking taylor expansion of a in b
5.437 * [backup-simplify]: Simplify a into a
5.437 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
5.437 * [backup-simplify]: Simplify (sqrt (/ 1 a)) into (sqrt (/ 1 a))
5.437 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
5.438 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 a)))) into 0
5.438 * [taylor]: Taking taylor expansion of b in b
5.438 * [backup-simplify]: Simplify 0 into 0
5.438 * [backup-simplify]: Simplify 1 into 1
5.438 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 a)) b) in b
5.438 * [taylor]: Taking taylor expansion of (sqrt (/ 1 a)) in b
5.438 * [taylor]: Taking taylor expansion of (/ 1 a) in b
5.438 * [taylor]: Taking taylor expansion of a in b
5.438 * [backup-simplify]: Simplify a into a
5.438 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
5.438 * [backup-simplify]: Simplify (sqrt (/ 1 a)) into (sqrt (/ 1 a))
5.438 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
5.438 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 a)))) into 0
5.438 * [taylor]: Taking taylor expansion of b in b
5.438 * [backup-simplify]: Simplify 0 into 0
5.438 * [backup-simplify]: Simplify 1 into 1
5.438 * [backup-simplify]: Simplify (* (sqrt (/ 1 a)) 0) into 0
5.438 * [taylor]: Taking taylor expansion of 0 in a
5.438 * [backup-simplify]: Simplify 0 into 0
5.439 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 a)) 1) (* 0 0)) into (sqrt (/ 1 a))
5.439 * [taylor]: Taking taylor expansion of (sqrt (/ 1 a)) in a
5.439 * [taylor]: Taking taylor expansion of (/ 1 a) in a
5.439 * [taylor]: Taking taylor expansion of a in a
5.439 * [backup-simplify]: Simplify 0 into 0
5.439 * [backup-simplify]: Simplify 1 into 1
5.440 * [backup-simplify]: Simplify (/ 1 1) into 1
5.440 * [backup-simplify]: Simplify (sqrt 0) into 0
5.441 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
5.441 * [backup-simplify]: Simplify 0 into 0
5.441 * [backup-simplify]: Simplify 0 into 0
5.441 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
5.442 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 a)))) into 0
5.443 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 a)) 0) (+ (* 0 1) (* 0 0))) into 0
5.443 * [taylor]: Taking taylor expansion of 0 in a
5.443 * [backup-simplify]: Simplify 0 into 0
5.443 * [backup-simplify]: Simplify +nan.0 into +nan.0
5.443 * [backup-simplify]: Simplify 0 into 0
5.443 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0
5.444 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 a)))) into 0
5.445 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.445 * [taylor]: Taking taylor expansion of 0 in a
5.445 * [backup-simplify]: Simplify 0 into 0
5.445 * [backup-simplify]: Simplify 0 into 0
5.446 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.449 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
5.449 * [backup-simplify]: Simplify +nan.0 into +nan.0
5.450 * [backup-simplify]: Simplify 0 into 0
5.450 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0
5.451 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 a)))) into 0
5.452 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
5.452 * [taylor]: Taking taylor expansion of 0 in a
5.452 * [backup-simplify]: Simplify 0 into 0
5.452 * [backup-simplify]: Simplify 0 into 0
5.452 * [backup-simplify]: Simplify 0 into 0
5.453 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.458 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
5.458 * [backup-simplify]: Simplify +nan.0 into +nan.0
5.459 * [backup-simplify]: Simplify (+ (* +nan.0 (* (pow a 2) b)) (+ (* +nan.0 (* a b)) (* +nan.0 (* 1 b)))) into (- (+ (* +nan.0 (* a b)) (- (+ (* +nan.0 b) (- (* +nan.0 (* (pow a 2) b)))))))
5.459 * [backup-simplify]: Simplify (/ (/ 1 b) (sqrt (/ 1 a))) into (* (sqrt a) (/ 1 b))
5.459 * [approximate]: Taking taylor expansion of (* (sqrt a) (/ 1 b)) in (b a) around 0
5.459 * [taylor]: Taking taylor expansion of (* (sqrt a) (/ 1 b)) in a
5.459 * [taylor]: Taking taylor expansion of (sqrt a) in a
5.459 * [taylor]: Taking taylor expansion of a in a
5.459 * [backup-simplify]: Simplify 0 into 0
5.459 * [backup-simplify]: Simplify 1 into 1
5.459 * [backup-simplify]: Simplify (sqrt 0) into 0
5.461 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
5.461 * [taylor]: Taking taylor expansion of (/ 1 b) in a
5.461 * [taylor]: Taking taylor expansion of b in a
5.461 * [backup-simplify]: Simplify b into b
5.461 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
5.461 * [taylor]: Taking taylor expansion of (* (sqrt a) (/ 1 b)) in b
5.461 * [taylor]: Taking taylor expansion of (sqrt a) in b
5.461 * [taylor]: Taking taylor expansion of a in b
5.461 * [backup-simplify]: Simplify a into a
5.461 * [backup-simplify]: Simplify (sqrt a) into (sqrt a)
5.461 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt a))) into 0
5.461 * [taylor]: Taking taylor expansion of (/ 1 b) in b
5.461 * [taylor]: Taking taylor expansion of b in b
5.461 * [backup-simplify]: Simplify 0 into 0
5.461 * [backup-simplify]: Simplify 1 into 1
5.462 * [backup-simplify]: Simplify (/ 1 1) into 1
5.462 * [taylor]: Taking taylor expansion of (* (sqrt a) (/ 1 b)) in b
5.462 * [taylor]: Taking taylor expansion of (sqrt a) in b
5.462 * [taylor]: Taking taylor expansion of a in b
5.462 * [backup-simplify]: Simplify a into a
5.462 * [backup-simplify]: Simplify (sqrt a) into (sqrt a)
5.462 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt a))) into 0
5.462 * [taylor]: Taking taylor expansion of (/ 1 b) in b
5.462 * [taylor]: Taking taylor expansion of b in b
5.462 * [backup-simplify]: Simplify 0 into 0
5.462 * [backup-simplify]: Simplify 1 into 1
5.462 * [backup-simplify]: Simplify (/ 1 1) into 1
5.463 * [backup-simplify]: Simplify (* (sqrt a) 1) into (sqrt a)
5.463 * [taylor]: Taking taylor expansion of (sqrt a) in a
5.463 * [taylor]: Taking taylor expansion of a in a
5.463 * [backup-simplify]: Simplify 0 into 0
5.463 * [backup-simplify]: Simplify 1 into 1
5.463 * [backup-simplify]: Simplify (sqrt 0) into 0
5.464 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
5.464 * [backup-simplify]: Simplify 0 into 0
5.465 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.466 * [backup-simplify]: Simplify (+ (* (sqrt a) 0) (* 0 1)) into 0
5.466 * [taylor]: Taking taylor expansion of 0 in a
5.466 * [backup-simplify]: Simplify 0 into 0
5.466 * [backup-simplify]: Simplify 0 into 0
5.466 * [backup-simplify]: Simplify +nan.0 into +nan.0
5.467 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.468 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt a))) into 0
5.468 * [backup-simplify]: Simplify (+ (* (sqrt a) 0) (+ (* 0 0) (* 0 1))) into 0
5.468 * [taylor]: Taking taylor expansion of 0 in a
5.468 * [backup-simplify]: Simplify 0 into 0
5.468 * [backup-simplify]: Simplify 0 into 0
5.469 * [backup-simplify]: Simplify 0 into 0
5.472 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
5.472 * [backup-simplify]: Simplify +nan.0 into +nan.0
5.473 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.474 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt a))) into 0
5.474 * [backup-simplify]: Simplify (+ (* (sqrt a) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.474 * [taylor]: Taking taylor expansion of 0 in a
5.474 * [backup-simplify]: Simplify 0 into 0
5.474 * [backup-simplify]: Simplify 0 into 0
5.475 * [backup-simplify]: Simplify 0 into 0
5.475 * [backup-simplify]: Simplify 0 into 0
5.479 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
5.479 * [backup-simplify]: Simplify +nan.0 into +nan.0
5.480 * [backup-simplify]: Simplify (+ (* +nan.0 (* (pow (/ 1 a) 3) (/ 1 (/ 1 b)))) (+ (* +nan.0 (* (pow (/ 1 a) 2) (/ 1 (/ 1 b)))) (* +nan.0 (* (/ 1 a) (/ 1 (/ 1 b)))))) into (- (+ (* +nan.0 (/ b (pow a 2))) (- (+ (* +nan.0 (/ b (pow a 3))) (- (* +nan.0 (/ b a)))))))
5.480 * [backup-simplify]: Simplify (/ (/ 1 (- b)) (sqrt (/ 1 (- a)))) into (/ -1 (* b (sqrt (/ -1 a))))
5.480 * [approximate]: Taking taylor expansion of (/ -1 (* b (sqrt (/ -1 a)))) in (b a) around 0
5.480 * [taylor]: Taking taylor expansion of (/ -1 (* b (sqrt (/ -1 a)))) in a
5.480 * [taylor]: Taking taylor expansion of -1 in a
5.480 * [backup-simplify]: Simplify -1 into -1
5.480 * [taylor]: Taking taylor expansion of (* b (sqrt (/ -1 a))) in a
5.480 * [taylor]: Taking taylor expansion of b in a
5.480 * [backup-simplify]: Simplify b into b
5.480 * [taylor]: Taking taylor expansion of (sqrt (/ -1 a)) in a
5.480 * [taylor]: Taking taylor expansion of (/ -1 a) in a
5.480 * [taylor]: Taking taylor expansion of -1 in a
5.480 * [backup-simplify]: Simplify -1 into -1
5.480 * [taylor]: Taking taylor expansion of a in a
5.480 * [backup-simplify]: Simplify 0 into 0
5.480 * [backup-simplify]: Simplify 1 into 1
5.481 * [backup-simplify]: Simplify (/ -1 1) into -1
5.481 * [backup-simplify]: Simplify (sqrt 0) into 0
5.482 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
5.482 * [backup-simplify]: Simplify (* b 0) into 0
5.483 * [backup-simplify]: Simplify (+ (* b +nan.0) (* 0 0)) into (- (* +nan.0 b))
5.483 * [backup-simplify]: Simplify (/ -1 (- (* +nan.0 b))) into (/ +nan.0 b)
5.483 * [taylor]: Taking taylor expansion of (/ -1 (* b (sqrt (/ -1 a)))) in b
5.483 * [taylor]: Taking taylor expansion of -1 in b
5.483 * [backup-simplify]: Simplify -1 into -1
5.483 * [taylor]: Taking taylor expansion of (* b (sqrt (/ -1 a))) in b
5.483 * [taylor]: Taking taylor expansion of b in b
5.483 * [backup-simplify]: Simplify 0 into 0
5.483 * [backup-simplify]: Simplify 1 into 1
5.483 * [taylor]: Taking taylor expansion of (sqrt (/ -1 a)) in b
5.483 * [taylor]: Taking taylor expansion of (/ -1 a) in b
5.483 * [taylor]: Taking taylor expansion of -1 in b
5.483 * [backup-simplify]: Simplify -1 into -1
5.483 * [taylor]: Taking taylor expansion of a in b
5.483 * [backup-simplify]: Simplify a into a
5.483 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
5.483 * [backup-simplify]: Simplify (sqrt (/ -1 a)) into (sqrt (/ -1 a))
5.484 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0
5.484 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 a)))) into 0
5.484 * [backup-simplify]: Simplify (* 0 (sqrt (/ -1 a))) into 0
5.484 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt (/ -1 a)))) into (sqrt (/ -1 a))
5.484 * [backup-simplify]: Simplify (/ -1 (sqrt (/ -1 a))) into (/ -1 (sqrt (/ -1 a)))
5.484 * [taylor]: Taking taylor expansion of (/ -1 (* b (sqrt (/ -1 a)))) in b
5.484 * [taylor]: Taking taylor expansion of -1 in b
5.484 * [backup-simplify]: Simplify -1 into -1
5.485 * [taylor]: Taking taylor expansion of (* b (sqrt (/ -1 a))) in b
5.485 * [taylor]: Taking taylor expansion of b in b
5.485 * [backup-simplify]: Simplify 0 into 0
5.485 * [backup-simplify]: Simplify 1 into 1
5.485 * [taylor]: Taking taylor expansion of (sqrt (/ -1 a)) in b
5.485 * [taylor]: Taking taylor expansion of (/ -1 a) in b
5.485 * [taylor]: Taking taylor expansion of -1 in b
5.485 * [backup-simplify]: Simplify -1 into -1
5.485 * [taylor]: Taking taylor expansion of a in b
5.485 * [backup-simplify]: Simplify a into a
5.485 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
5.485 * [backup-simplify]: Simplify (sqrt (/ -1 a)) into (sqrt (/ -1 a))
5.485 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0
5.485 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 a)))) into 0
5.485 * [backup-simplify]: Simplify (* 0 (sqrt (/ -1 a))) into 0
5.486 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt (/ -1 a)))) into (sqrt (/ -1 a))
5.486 * [backup-simplify]: Simplify (/ -1 (sqrt (/ -1 a))) into (/ -1 (sqrt (/ -1 a)))
5.486 * [taylor]: Taking taylor expansion of (/ -1 (sqrt (/ -1 a))) in a
5.486 * [taylor]: Taking taylor expansion of -1 in a
5.486 * [backup-simplify]: Simplify -1 into -1
5.486 * [taylor]: Taking taylor expansion of (sqrt (/ -1 a)) in a
5.486 * [taylor]: Taking taylor expansion of (/ -1 a) in a
5.486 * [taylor]: Taking taylor expansion of -1 in a
5.486 * [backup-simplify]: Simplify -1 into -1
5.486 * [taylor]: Taking taylor expansion of a in a
5.486 * [backup-simplify]: Simplify 0 into 0
5.486 * [backup-simplify]: Simplify 1 into 1
5.487 * [backup-simplify]: Simplify (/ -1 1) into -1
5.487 * [backup-simplify]: Simplify (sqrt 0) into 0
5.488 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
5.489 * [backup-simplify]: Simplify (/ -1 +nan.0) into +nan.0
5.489 * [backup-simplify]: Simplify +nan.0 into +nan.0
5.489 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
5.490 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ -1 a)))) into 0
5.491 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt (/ -1 a))))) into 0
5.491 * [backup-simplify]: Simplify (- (/ 0 (sqrt (/ -1 a))) (+ (* (/ -1 (sqrt (/ -1 a))) (/ 0 (sqrt (/ -1 a)))))) into 0
5.491 * [taylor]: Taking taylor expansion of 0 in a
5.491 * [backup-simplify]: Simplify 0 into 0
5.491 * [backup-simplify]: Simplify 0 into 0
5.492 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
5.498 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
5.501 * [backup-simplify]: Simplify (- (/ 0 +nan.0) (+ (* +nan.0 (/ +nan.0 +nan.0)))) into (- +nan.0)
5.501 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
5.502 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0
5.502 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ -1 a)))) into 0
5.504 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt (/ -1 a)))))) into 0
5.504 * [backup-simplify]: Simplify (- (/ 0 (sqrt (/ -1 a))) (+ (* (/ -1 (sqrt (/ -1 a))) (/ 0 (sqrt (/ -1 a)))) (* 0 (/ 0 (sqrt (/ -1 a)))))) into 0
5.504 * [taylor]: Taking taylor expansion of 0 in a
5.504 * [backup-simplify]: Simplify 0 into 0
5.504 * [backup-simplify]: Simplify 0 into 0
5.504 * [backup-simplify]: Simplify 0 into 0
5.505 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.510 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
5.514 * [backup-simplify]: Simplify (- (/ 0 +nan.0) (+ (* +nan.0 (/ +nan.0 +nan.0)) (* (- +nan.0) (/ +nan.0 +nan.0)))) into (- +nan.0)
5.515 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
5.516 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (pow (/ 1 (- a)) 2) (/ 1 (/ 1 (- b))))) (+ (* (- +nan.0) (* (/ 1 (- a)) (/ 1 (/ 1 (- b))))) (* +nan.0 (* 1 (/ 1 (/ 1 (- b))))))) into (- (+ (* +nan.0 (/ b (pow a 2))) (- (+ (* +nan.0 b) (- (* +nan.0 (/ b a)))))))
5.517 * * * [progress]: simplifying candidates
5.522 * [simplify]: Simplifying:
  (log (sqrt (fabs (- 1 (* (/ 1 (sqrt a)) (* (/ b (sqrt a)) (/ b a)))))))
  (exp (sqrt (fabs (- 1 (* (/ 1 (sqrt a)) (* (/ b (sqrt a)) (/ b a)))))))
  (* (cbrt (sqrt (fabs (- 1 (* (/ 1 (sqrt a)) (* (/ b (sqrt a)) (/ b a))))))) (cbrt (sqrt (fabs (- 1 (* (/ 1 (sqrt a)) (* (/ b (sqrt a)) (/ b a))))))))
  (cbrt (sqrt (fabs (- 1 (* (/ 1 (sqrt a)) (* (/ b (sqrt a)) (/ b a)))))))
  (* (* (sqrt (fabs (- 1 (* (/ 1 (sqrt a)) (* (/ b (sqrt a)) (/ b a)))))) (sqrt (fabs (- 1 (* (/ 1 (sqrt a)) (* (/ b (sqrt a)) (/ b a))))))) (sqrt (fabs (- 1 (* (/ 1 (sqrt a)) (* (/ b (sqrt a)) (/ b a)))))))
  (sqrt (* (cbrt (fabs (- 1 (* (/ 1 (sqrt a)) (* (/ b (sqrt a)) (/ b a)))))) (cbrt (fabs (- 1 (* (/ 1 (sqrt a)) (* (/ b (sqrt a)) (/ b a))))))))
  (sqrt (cbrt (fabs (- 1 (* (/ 1 (sqrt a)) (* (/ b (sqrt a)) (/ b a)))))))
  (sqrt (sqrt (fabs (- 1 (* (/ 1 (sqrt a)) (* (/ b (sqrt a)) (/ b a)))))))
  (sqrt (sqrt (fabs (- 1 (* (/ 1 (sqrt a)) (* (/ b (sqrt a)) (/ b a)))))))
  (sqrt 1)
  (sqrt (fabs (- 1 (* (/ 1 (sqrt a)) (* (/ b (sqrt a)) (/ b a))))))
  (/ 1 2)
  (sqrt (sqrt (fabs (- 1 (* (/ 1 (sqrt a)) (* (/ b (sqrt a)) (/ b a)))))))
  (sqrt (sqrt (fabs (- 1 (* (/ 1 (sqrt a)) (* (/ b (sqrt a)) (/ b a)))))))
  (* (/ 1 (sqrt a)) (* (/ b (sqrt a)) (/ b a)))
  (* (/ 1 (sqrt a)) (* (/ b (sqrt a)) (/ b a)))
  (+ (- (log (sqrt a))) (+ (- (log b) (log (sqrt a))) (- (log b) (log a))))
  (+ (- (log (sqrt a))) (+ (- (log b) (log (sqrt a))) (log (/ b a))))
  (+ (- (log (sqrt a))) (+ (log (/ b (sqrt a))) (- (log b) (log a))))
  (+ (- (log (sqrt a))) (+ (log (/ b (sqrt a))) (log (/ b a))))
  (+ (- (log (sqrt a))) (log (* (/ b (sqrt a)) (/ b a))))
  (+ (- 0 (log (sqrt a))) (+ (- (log b) (log (sqrt a))) (- (log b) (log a))))
  (+ (- 0 (log (sqrt a))) (+ (- (log b) (log (sqrt a))) (log (/ b a))))
  (+ (- 0 (log (sqrt a))) (+ (log (/ b (sqrt a))) (- (log b) (log a))))
  (+ (- 0 (log (sqrt a))) (+ (log (/ b (sqrt a))) (log (/ b a))))
  (+ (- 0 (log (sqrt a))) (log (* (/ b (sqrt a)) (/ b a))))
  (+ (- (log 1) (log (sqrt a))) (+ (- (log b) (log (sqrt a))) (- (log b) (log a))))
  (+ (- (log 1) (log (sqrt a))) (+ (- (log b) (log (sqrt a))) (log (/ b a))))
  (+ (- (log 1) (log (sqrt a))) (+ (log (/ b (sqrt a))) (- (log b) (log a))))
  (+ (- (log 1) (log (sqrt a))) (+ (log (/ b (sqrt a))) (log (/ b a))))
  (+ (- (log 1) (log (sqrt a))) (log (* (/ b (sqrt a)) (/ b a))))
  (+ (log (/ 1 (sqrt a))) (+ (- (log b) (log (sqrt a))) (- (log b) (log a))))
  (+ (log (/ 1 (sqrt a))) (+ (- (log b) (log (sqrt a))) (log (/ b a))))
  (+ (log (/ 1 (sqrt a))) (+ (log (/ b (sqrt a))) (- (log b) (log a))))
  (+ (log (/ 1 (sqrt a))) (+ (log (/ b (sqrt a))) (log (/ b a))))
  (+ (log (/ 1 (sqrt a))) (log (* (/ b (sqrt a)) (/ b a))))
  (log (* (/ 1 (sqrt a)) (* (/ b (sqrt a)) (/ b a))))
  (exp (* (/ 1 (sqrt a)) (* (/ b (sqrt a)) (/ b a))))
  (* (/ (* (* 1 1) 1) (* (* (sqrt a) (sqrt a)) (sqrt a))) (* (/ (* (* b b) b) (* (* (sqrt a) (sqrt a)) (sqrt a))) (/ (* (* b b) b) (* (* a a) a))))
  (* (/ (* (* 1 1) 1) (* (* (sqrt a) (sqrt a)) (sqrt a))) (* (/ (* (* b b) b) (* (* (sqrt a) (sqrt a)) (sqrt a))) (* (* (/ b a) (/ b a)) (/ b a))))
  (* (/ (* (* 1 1) 1) (* (* (sqrt a) (sqrt a)) (sqrt a))) (* (* (* (/ b (sqrt a)) (/ b (sqrt a))) (/ b (sqrt a))) (/ (* (* b b) b) (* (* a a) a))))
  (* (/ (* (* 1 1) 1) (* (* (sqrt a) (sqrt a)) (sqrt a))) (* (* (* (/ b (sqrt a)) (/ b (sqrt a))) (/ b (sqrt a))) (* (* (/ b a) (/ b a)) (/ b a))))
  (* (/ (* (* 1 1) 1) (* (* (sqrt a) (sqrt a)) (sqrt a))) (* (* (* (/ b (sqrt a)) (/ b a)) (* (/ b (sqrt a)) (/ b a))) (* (/ b (sqrt a)) (/ b a))))
  (* (* (* (/ 1 (sqrt a)) (/ 1 (sqrt a))) (/ 1 (sqrt a))) (* (/ (* (* b b) b) (* (* (sqrt a) (sqrt a)) (sqrt a))) (/ (* (* b b) b) (* (* a a) a))))
  (* (* (* (/ 1 (sqrt a)) (/ 1 (sqrt a))) (/ 1 (sqrt a))) (* (/ (* (* b b) b) (* (* (sqrt a) (sqrt a)) (sqrt a))) (* (* (/ b a) (/ b a)) (/ b a))))
  (* (* (* (/ 1 (sqrt a)) (/ 1 (sqrt a))) (/ 1 (sqrt a))) (* (* (* (/ b (sqrt a)) (/ b (sqrt a))) (/ b (sqrt a))) (/ (* (* b b) b) (* (* a a) a))))
  (* (* (* (/ 1 (sqrt a)) (/ 1 (sqrt a))) (/ 1 (sqrt a))) (* (* (* (/ b (sqrt a)) (/ b (sqrt a))) (/ b (sqrt a))) (* (* (/ b a) (/ b a)) (/ b a))))
  (* (* (* (/ 1 (sqrt a)) (/ 1 (sqrt a))) (/ 1 (sqrt a))) (* (* (* (/ b (sqrt a)) (/ b a)) (* (/ b (sqrt a)) (/ b a))) (* (/ b (sqrt a)) (/ b a))))
  (* (cbrt (* (/ 1 (sqrt a)) (* (/ b (sqrt a)) (/ b a)))) (cbrt (* (/ 1 (sqrt a)) (* (/ b (sqrt a)) (/ b a)))))
  (cbrt (* (/ 1 (sqrt a)) (* (/ b (sqrt a)) (/ b a))))
  (* (* (* (/ 1 (sqrt a)) (* (/ b (sqrt a)) (/ b a))) (* (/ 1 (sqrt a)) (* (/ b (sqrt a)) (/ b a)))) (* (/ 1 (sqrt a)) (* (/ b (sqrt a)) (/ b a))))
  (sqrt (* (/ 1 (sqrt a)) (* (/ b (sqrt a)) (/ b a))))
  (sqrt (* (/ 1 (sqrt a)) (* (/ b (sqrt a)) (/ b a))))
  (* 1 (* b b))
  (* (sqrt a) (* (sqrt a) a))
  (* 1 (* (/ b (sqrt a)) b))
  (* (sqrt a) a)
  (* 1 (* b (/ b a)))
  (* (sqrt a) (sqrt a))
  (* (/ 1 (sqrt a)) (/ b (sqrt a)))
  (* (cbrt (/ 1 (sqrt a))) (* (/ b (sqrt a)) (/ b a)))
  (* (sqrt (/ 1 (sqrt a))) (* (/ b (sqrt a)) (/ b a)))
  (* (/ (cbrt 1) (cbrt (sqrt a))) (* (/ b (sqrt a)) (/ b a)))
  (* (/ (cbrt 1) (sqrt (cbrt a))) (* (/ b (sqrt a)) (/ b a)))
  (* (/ (cbrt 1) (sqrt (sqrt a))) (* (/ b (sqrt a)) (/ b a)))
  (* (/ (cbrt 1) (sqrt a)) (* (/ b (sqrt a)) (/ b a)))
  (* (/ (cbrt 1) (sqrt (sqrt a))) (* (/ b (sqrt a)) (/ b a)))
  (* (/ (cbrt 1) (sqrt a)) (* (/ b (sqrt a)) (/ b a)))
  (* (/ (sqrt 1) (cbrt (sqrt a))) (* (/ b (sqrt a)) (/ b a)))
  (* (/ (sqrt 1) (sqrt (cbrt a))) (* (/ b (sqrt a)) (/ b a)))
  (* (/ (sqrt 1) (sqrt (sqrt a))) (* (/ b (sqrt a)) (/ b a)))
  (* (/ (sqrt 1) (sqrt a)) (* (/ b (sqrt a)) (/ b a)))
  (* (/ (sqrt 1) (sqrt (sqrt a))) (* (/ b (sqrt a)) (/ b a)))
  (* (/ (sqrt 1) (sqrt a)) (* (/ b (sqrt a)) (/ b a)))
  (* (/ 1 (cbrt (sqrt a))) (* (/ b (sqrt a)) (/ b a)))
  (* (/ 1 (sqrt (cbrt a))) (* (/ b (sqrt a)) (/ b a)))
  (* (/ 1 (sqrt (sqrt a))) (* (/ b (sqrt a)) (/ b a)))
  (* (/ 1 (sqrt a)) (* (/ b (sqrt a)) (/ b a)))
  (* (/ 1 (sqrt (sqrt a))) (* (/ b (sqrt a)) (/ b a)))
  (* (/ 1 (sqrt a)) (* (/ b (sqrt a)) (/ b a)))
  (* (/ 1 (sqrt a)) (* (/ b (sqrt a)) (/ b a)))
  (* (/ 1 (sqrt a)) (* (/ b (sqrt a)) (/ b a)))
  (* (/ 1 (sqrt a)) (* b b))
  (* (/ 1 (sqrt a)) (* (/ b (sqrt a)) b))
  (* (/ 1 (sqrt a)) (* b (/ b a)))
  (* 1 (* (/ b (sqrt a)) (/ b a)))
  (* (/ b (sqrt a)) (/ b a))
  (+ (- (log b) (log (sqrt a))) (- (log b) (log a)))
  (+ (- (log b) (log (sqrt a))) (log (/ b a)))
  (+ (log (/ b (sqrt a))) (- (log b) (log a)))
  (+ (log (/ b (sqrt a))) (log (/ b a)))
  (log (* (/ b (sqrt a)) (/ b a)))
  (exp (* (/ b (sqrt a)) (/ b a)))
  (* (/ (* (* b b) b) (* (* (sqrt a) (sqrt a)) (sqrt a))) (/ (* (* b b) b) (* (* a a) a)))
  (* (/ (* (* b b) b) (* (* (sqrt a) (sqrt a)) (sqrt a))) (* (* (/ b a) (/ b a)) (/ b a)))
  (* (* (* (/ b (sqrt a)) (/ b (sqrt a))) (/ b (sqrt a))) (/ (* (* b b) b) (* (* a a) a)))
  (* (* (* (/ b (sqrt a)) (/ b (sqrt a))) (/ b (sqrt a))) (* (* (/ b a) (/ b a)) (/ b a)))
  (* (cbrt (* (/ b (sqrt a)) (/ b a))) (cbrt (* (/ b (sqrt a)) (/ b a))))
  (cbrt (* (/ b (sqrt a)) (/ b a)))
  (* (* (* (/ b (sqrt a)) (/ b a)) (* (/ b (sqrt a)) (/ b a))) (* (/ b (sqrt a)) (/ b a)))
  (sqrt (* (/ b (sqrt a)) (/ b a)))
  (sqrt (* (/ b (sqrt a)) (/ b a)))
  (* b b)
  (* (sqrt a) 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)))
  (* (/ (sqrt b) (sqrt (sqrt a))) (sqrt (/ b a)))
  (* (/ (sqrt b) (sqrt (sqrt a))) (sqrt (/ b a)))
  (* (/ (sqrt b) (sqrt (sqrt a))) (/ (sqrt b) (sqrt a)))
  (* (/ (sqrt b) (sqrt (sqrt a))) (/ (sqrt b) (sqrt a)))
  (* (/ (sqrt b) (sqrt (sqrt a))) (sqrt (/ b a)))
  (* (/ (sqrt b) (sqrt (sqrt a))) (sqrt (/ b a)))
  (* (/ (sqrt b) (sqrt (sqrt a))) (/ (sqrt b) (sqrt a)))
  (* (/ (sqrt b) (sqrt (sqrt a))) (/ (sqrt b) (sqrt a)))
  (* (/ b (sqrt a)) (* (cbrt (/ b a)) (cbrt (/ b a))))
  (* (/ b (sqrt a)) (sqrt (/ b a)))
  (* (/ b (sqrt a)) (/ (* (cbrt b) (cbrt b)) (* (cbrt a) (cbrt a))))
  (* (/ b (sqrt a)) (/ (* (cbrt b) (cbrt b)) (sqrt a)))
  (* (/ b (sqrt a)) (/ (* (cbrt b) (cbrt b)) 1))
  (* (/ b (sqrt a)) (/ (sqrt b) (* (cbrt a) (cbrt a))))
  (* (/ b (sqrt a)) (/ (sqrt b) (sqrt a)))
  (* (/ b (sqrt a)) (/ (sqrt b) 1))
  (* (/ b (sqrt a)) (/ 1 (* (cbrt a) (cbrt a))))
  (* (/ b (sqrt a)) (/ 1 (sqrt a)))
  (* (/ b (sqrt a)) (/ 1 1))
  (* (/ b (sqrt a)) 1)
  (* (/ b (sqrt a)) b)
  (* (cbrt (/ b (sqrt a))) (/ b a))
  (* (sqrt (/ b (sqrt a))) (/ b a))
  (* (/ (cbrt b) (cbrt (sqrt a))) (/ b a))
  (* (/ (cbrt b) (sqrt (cbrt a))) (/ b a))
  (* (/ (cbrt b) (sqrt (sqrt a))) (/ b a))
  (* (/ (cbrt b) (sqrt a)) (/ b a))
  (* (/ (cbrt b) (sqrt (sqrt a))) (/ b a))
  (* (/ (cbrt b) (sqrt a)) (/ b a))
  (* (/ (sqrt b) (cbrt (sqrt a))) (/ b a))
  (* (/ (sqrt b) (sqrt (cbrt a))) (/ b a))
  (* (/ (sqrt b) (sqrt (sqrt a))) (/ b a))
  (* (/ (sqrt b) (sqrt a)) (/ b a))
  (* (/ (sqrt b) (sqrt (sqrt a))) (/ b a))
  (* (/ (sqrt b) (sqrt a)) (/ b a))
  (* (/ b (cbrt (sqrt a))) (/ b a))
  (* (/ b (sqrt (cbrt a))) (/ b a))
  (* (/ b (sqrt (sqrt a))) (/ b a))
  (* (/ b (sqrt a)) (/ b a))
  (* (/ b (sqrt (sqrt a))) (/ b a))
  (* (/ b (sqrt a)) (/ b a))
  (* (/ b (sqrt a)) (/ b a))
  (* (/ 1 (sqrt a)) (/ b a))
  (* (/ b (sqrt a)) b)
  (* b (/ b a))
  (- (log b) (log (sqrt a)))
  (log (/ b (sqrt a)))
  (exp (/ b (sqrt a)))
  (/ (* (* b b) b) (* (* (sqrt a) (sqrt a)) (sqrt a)))
  (* (cbrt (/ b (sqrt a))) (cbrt (/ b (sqrt a))))
  (cbrt (/ b (sqrt a)))
  (* (* (/ b (sqrt a)) (/ b (sqrt a))) (/ b (sqrt a)))
  (sqrt (/ b (sqrt a)))
  (sqrt (/ b (sqrt a)))
  (- b)
  (- (sqrt a))
  (/ (* (cbrt b) (cbrt b)) (* (cbrt (sqrt a)) (cbrt (sqrt a))))
  (/ (cbrt b) (cbrt (sqrt a)))
  (/ (* (cbrt b) (cbrt b)) (sqrt (* (cbrt a) (cbrt a))))
  (/ (cbrt b) (sqrt (cbrt a)))
  (/ (* (cbrt b) (cbrt b)) (sqrt (sqrt a)))
  (/ (cbrt b) (sqrt (sqrt a)))
  (/ (* (cbrt b) (cbrt b)) (sqrt 1))
  (/ (cbrt b) (sqrt a))
  (/ (* (cbrt b) (cbrt b)) (sqrt (sqrt a)))
  (/ (cbrt b) (sqrt (sqrt a)))
  (/ (* (cbrt b) (cbrt b)) 1)
  (/ (cbrt b) (sqrt a))
  (/ (sqrt b) (* (cbrt (sqrt a)) (cbrt (sqrt a))))
  (/ (sqrt b) (cbrt (sqrt a)))
  (/ (sqrt b) (sqrt (* (cbrt a) (cbrt a))))
  (/ (sqrt b) (sqrt (cbrt a)))
  (/ (sqrt b) (sqrt (sqrt a)))
  (/ (sqrt b) (sqrt (sqrt a)))
  (/ (sqrt b) (sqrt 1))
  (/ (sqrt b) (sqrt a))
  (/ (sqrt b) (sqrt (sqrt a)))
  (/ (sqrt b) (sqrt (sqrt a)))
  (/ (sqrt b) 1)
  (/ (sqrt b) (sqrt a))
  (/ 1 (* (cbrt (sqrt a)) (cbrt (sqrt a))))
  (/ b (cbrt (sqrt a)))
  (/ 1 (sqrt (* (cbrt a) (cbrt a))))
  (/ b (sqrt (cbrt a)))
  (/ 1 (sqrt (sqrt a)))
  (/ b (sqrt (sqrt a)))
  (/ 1 (sqrt 1))
  (/ b (sqrt a))
  (/ 1 (sqrt (sqrt a)))
  (/ b (sqrt (sqrt a)))
  (/ 1 1)
  (/ b (sqrt a))
  (/ 1 (sqrt a))
  (/ (sqrt a) b)
  (/ b (* (cbrt (sqrt a)) (cbrt (sqrt a))))
  (/ b (sqrt (* (cbrt a) (cbrt a))))
  (/ b (sqrt (sqrt a)))
  (/ b (sqrt 1))
  (/ b (sqrt (sqrt a)))
  (/ b 1)
  (/ (sqrt a) (cbrt b))
  (/ (sqrt a) (sqrt b))
  (/ (sqrt a) b)
  (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))
  (- (+ (* +nan.0 (/ (pow b 2) (pow a 3))) (- (+ (* +nan.0 (/ (pow b 2) (pow a 2))) (- (* +nan.0 (/ (pow b 2) a)))))))
  (- (+ (* +nan.0 (pow b 2)) (- (+ (* +nan.0 (* a (pow b 2))) (- (* +nan.0 (/ (pow b 2) a)))))))
  (- (+ (* +nan.0 (/ (pow b 2) (pow a 3))) (- (+ (* +nan.0 (/ (pow b 2) (pow a 4))) (- (* +nan.0 (/ (pow b 2) (pow a 2))))))))
  (- (+ (* +nan.0 (/ (pow b 2) (pow a 3))) (- (+ (* +nan.0 (/ (pow b 2) (pow a 2))) (- (* +nan.0 (/ (pow b 2) a)))))))
  (- (+ (* +nan.0 (* a b)) (- (+ (* +nan.0 b) (- (* +nan.0 (* (pow a 2) b)))))))
  (- (+ (* +nan.0 (/ b (pow a 2))) (- (+ (* +nan.0 (/ b (pow a 3))) (- (* +nan.0 (/ b a)))))))
  (- (+ (* +nan.0 (/ b (pow a 2))) (- (+ (* +nan.0 b) (- (* +nan.0 (/ b a)))))))
5.529 * * [simplify]: iteration 0: 290 enodes
5.674 * * [simplify]: iteration 1: 844 enodes
6.071 * * [simplify]: iteration 2: 2904 enodes
7.308 * * [simplify]: iteration complete: 5000 enodes
7.308 * * [simplify]: Extracting #0: cost 109 inf + 0
7.310 * * [simplify]: Extracting #1: cost 780 inf + 45
7.317 * * [simplify]: Extracting #2: cost 1175 inf + 24195
7.354 * * [simplify]: Extracting #3: cost 631 inf + 174813
7.452 * * [simplify]: Extracting #4: cost 256 inf + 257095
7.549 * * [simplify]: Extracting #5: cost 20 inf + 307143
7.616 * * [simplify]: Extracting #6: cost 0 inf + 310307
7.696 * * [simplify]: Extracting #7: cost 0 inf + 310267
7.793 * [simplify]: Simplified to:
  (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)))) (fabs (- 1 (/ (* (/ b a) b) a))))
  (fabs (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)))))
  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)))))
  (/ (* (/ b a) b) a)
  (/ (* (/ b a) b) a)
  (log (/ (* (/ b a) b) a))
  (log (/ (* (/ b a) b) a))
  (log (/ (* (/ b a) b) a))
  (log (/ (* (/ b a) b) a))
  (log (/ (* (/ b a) b) a))
  (log (/ (* (/ b a) b) a))
  (log (/ (* (/ b a) b) a))
  (log (/ (* (/ b a) b) a))
  (log (/ (* (/ b a) b) a))
  (log (/ (* (/ b a) b) a))
  (log (/ (* (/ b a) b) a))
  (log (/ (* (/ b a) b) a))
  (log (/ (* (/ b a) b) a))
  (log (/ (* (/ b a) b) a))
  (log (/ (* (/ b a) b) a))
  (log (/ (* (/ b a) b) a))
  (log (/ (* (/ b a) b) a))
  (log (/ (* (/ b a) b) a))
  (log (/ (* (/ b a) b) a))
  (log (/ (* (/ b a) b) a))
  (log (/ (* (/ b a) b) a))
  (exp (/ (* (/ b a) b) a))
  (* (* (* (/ b a) (/ b a)) (/ b a)) (* (* (/ b a) (/ b a)) (/ b a)))
  (* (* (* (/ b a) (/ b a)) (/ b a)) (* (* (/ b a) (/ b a)) (/ b a)))
  (* (* (* (/ b a) (/ b a)) (/ b a)) (* (* (/ b a) (/ b a)) (/ b a)))
  (* (* (* (/ b a) (/ b a)) (/ b a)) (* (* (/ b a) (/ b a)) (/ b a)))
  (* (* (* (/ b a) (/ b a)) (/ b a)) (* (* (/ b a) (/ b a)) (/ b a)))
  (* (* (* (/ b a) (/ b a)) (/ b a)) (* (* (/ b a) (/ b a)) (/ b a)))
  (* (* (* (/ b a) (/ b a)) (/ b a)) (* (* (/ b a) (/ b a)) (/ b a)))
  (* (* (* (/ b a) (/ b a)) (/ b a)) (* (* (/ b a) (/ b a)) (/ b a)))
  (* (* (* (/ b a) (/ b a)) (/ b a)) (* (* (/ b a) (/ b a)) (/ b 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)
  (/ b (/ (sqrt a) b))
  (* a (sqrt a))
  (* (/ b a) b)
  a
  (/ (/ b (sqrt a)) (sqrt a))
  (* (cbrt (/ 1 (sqrt a))) (/ (* (/ b a) b) (sqrt a)))
  (* (sqrt (/ 1 (sqrt a))) (/ (* (/ b a) b) (sqrt a)))
  (/ (/ (* (/ b a) b) (sqrt a)) (cbrt (sqrt a)))
  (* (/ (/ b (sqrt a)) (sqrt (cbrt a))) (/ b a))
  (/ (/ (* (/ b a) b) (sqrt a)) (sqrt (sqrt a)))
  (/ (* (/ b a) b) a)
  (/ (/ (* (/ b a) b) (sqrt a)) (sqrt (sqrt a)))
  (/ (* (/ b a) b) a)
  (/ (/ (* (/ b a) b) (sqrt a)) (cbrt (sqrt a)))
  (* (/ (/ b (sqrt a)) (sqrt (cbrt a))) (/ b a))
  (/ (/ (* (/ b a) b) (sqrt a)) (sqrt (sqrt a)))
  (/ (* (/ b a) b) a)
  (/ (/ (* (/ b a) b) (sqrt a)) (sqrt (sqrt a)))
  (/ (* (/ b a) b) a)
  (/ (/ (* (/ b a) b) (sqrt a)) (cbrt (sqrt a)))
  (* (/ (/ b (sqrt a)) (sqrt (cbrt a))) (/ b a))
  (/ (/ (* (/ b a) b) (sqrt a)) (sqrt (sqrt a)))
  (/ (* (/ b a) b) a)
  (/ (/ (* (/ b a) b) (sqrt a)) (sqrt (sqrt a)))
  (/ (* (/ b a) b) a)
  (/ (* (/ b a) b) a)
  (/ (* (/ b a) b) a)
  (/ b (/ (sqrt a) b))
  (* (/ b a) b)
  (/ (* (/ b a) b) (sqrt a))
  (/ (* (/ b a) b) (sqrt a))
  (/ (* (/ b a) b) (sqrt a))
  (log (/ (* (/ b a) b) (sqrt a)))
  (log (/ (* (/ b a) b) (sqrt a)))
  (log (/ (* (/ b a) b) (sqrt a)))
  (log (/ (* (/ b a) b) (sqrt a)))
  (log (/ (* (/ b a) b) (sqrt a)))
  (exp (/ (* (/ b a) b) (sqrt a)))
  (* (* (/ (* (/ b a) b) (sqrt a)) (/ (* (/ b a) b) (sqrt a))) (/ (* (/ b a) b) (sqrt a)))
  (* (* (/ (* (/ b a) b) (sqrt a)) (/ (* (/ b a) b) (sqrt a))) (/ (* (/ b a) b) (sqrt a)))
  (* (* (/ (* (/ b a) b) (sqrt a)) (/ (* (/ b a) b) (sqrt a))) (/ (* (/ b a) b) (sqrt a)))
  (* (* (/ (* (/ b a) b) (sqrt a)) (/ (* (/ b a) b) (sqrt a))) (/ (* (/ b a) b) (sqrt a)))
  (* (cbrt (/ (* (/ b a) b) (sqrt a))) (cbrt (/ (* (/ b a) b) (sqrt a))))
  (cbrt (/ (* (/ b a) b) (sqrt a)))
  (* (* (/ (* (/ b a) b) (sqrt a)) (/ (* (/ b a) b) (sqrt a))) (/ (* (/ b a) b) (sqrt a)))
  (sqrt (/ (* (/ b a) b) (sqrt a)))
  (sqrt (/ (* (/ b a) b) (sqrt a)))
  (* b b)
  (* a (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)) (sqrt (/ b (sqrt a))))
  (* (sqrt (/ b a)) (/ (sqrt b) (sqrt (sqrt a))))
  (* (sqrt (/ b a)) (/ (sqrt b) (sqrt (sqrt a))))
  (/ (/ b (sqrt a)) (sqrt (sqrt a)))
  (/ (/ b (sqrt a)) (sqrt (sqrt a)))
  (* (sqrt (/ b a)) (/ (sqrt b) (sqrt (sqrt a))))
  (* (sqrt (/ b a)) (/ (sqrt b) (sqrt (sqrt a))))
  (/ (/ b (sqrt a)) (sqrt (sqrt a)))
  (/ (/ b (sqrt a)) (sqrt (sqrt a)))
  (* (/ b (sqrt a)) (* (cbrt (/ b a)) (cbrt (/ b a))))
  (* (sqrt (/ b a)) (/ b (sqrt a)))
  (* (* (/ b (sqrt a)) (/ (cbrt b) (cbrt a))) (/ (cbrt b) (cbrt a)))
  (/ (* (* (cbrt b) (cbrt b)) (/ b (sqrt a))) (sqrt a))
  (* (cbrt b) (* (cbrt b) (/ b (sqrt a))))
  (/ (/ (* (sqrt b) (/ b (sqrt a))) (cbrt a)) (cbrt a))
  (/ (* (/ (sqrt b) (sqrt a)) b) (sqrt a))
  (* (/ b (sqrt a)) (sqrt b))
  (/ (/ (/ b (sqrt a)) (cbrt a)) (cbrt a))
  (/ (/ b (sqrt a)) (sqrt a))
  (/ b (sqrt a))
  (/ b (sqrt a))
  (/ b (/ (sqrt a) b))
  (/ (cbrt (/ b (sqrt a))) (/ a b))
  (* (sqrt (/ b (sqrt a))) (/ b a))
  (/ (* (cbrt b) (/ b a)) (cbrt (sqrt a)))
  (/ (* (/ b a) (cbrt b)) (sqrt (cbrt a)))
  (/ (* (cbrt b) (/ b a)) (sqrt (sqrt a)))
  (/ (* (/ (cbrt b) (sqrt a)) b) a)
  (/ (* (cbrt b) (/ b a)) (sqrt (sqrt a)))
  (/ (* (/ (cbrt b) (sqrt a)) b) a)
  (* (/ (sqrt b) (cbrt (sqrt a))) (/ b a))
  (/ (* (sqrt b) (/ b a)) (sqrt (cbrt a)))
  (/ (/ (sqrt b) (sqrt (sqrt a))) (/ a b))
  (/ (sqrt b) (/ (sqrt a) (/ b a)))
  (/ (/ (sqrt b) (sqrt (sqrt a))) (/ a b))
  (/ (sqrt b) (/ (sqrt a) (/ b a)))
  (/ b (/ (cbrt (sqrt a)) (/ b a)))
  (/ (* b (/ b a)) (sqrt (cbrt a)))
  (/ (/ (* b b) (sqrt (sqrt a))) a)
  (/ (* (/ b a) b) (sqrt a))
  (/ (/ (* b b) (sqrt (sqrt a))) a)
  (/ (* (/ b a) b) (sqrt a))
  (/ (* (/ b a) b) (sqrt a))
  (/ (/ b a) (sqrt a))
  (/ b (/ (sqrt a) b))
  (* (/ b a) b)
  (log (/ b (sqrt a)))
  (log (/ b (sqrt a)))
  (exp (/ b (sqrt a)))
  (* (* (/ b (sqrt a)) (/ b (sqrt a))) (/ b (sqrt a)))
  (* (cbrt (/ b (sqrt a))) (cbrt (/ b (sqrt a))))
  (cbrt (/ b (sqrt a)))
  (* (* (/ b (sqrt a)) (/ b (sqrt a))) (/ b (sqrt a)))
  (sqrt (/ b (sqrt a)))
  (sqrt (/ b (sqrt a)))
  (- b)
  (- (sqrt a))
  (* (/ (cbrt b) (cbrt (sqrt a))) (/ (cbrt b) (cbrt (sqrt a))))
  (/ (cbrt b) (cbrt (sqrt a)))
  (/ (* (cbrt b) (cbrt b)) (fabs (cbrt a)))
  (/ (cbrt b) (sqrt (cbrt a)))
  (* (/ (cbrt b) (sqrt (sqrt a))) (cbrt b))
  (/ (cbrt b) (sqrt (sqrt a)))
  (* (cbrt b) (cbrt b))
  (/ (cbrt b) (sqrt a))
  (* (/ (cbrt b) (sqrt (sqrt a))) (cbrt b))
  (/ (cbrt b) (sqrt (sqrt a)))
  (* (cbrt b) (cbrt b))
  (/ (cbrt b) (sqrt a))
  (/ (/ (sqrt b) (cbrt (sqrt a))) (cbrt (sqrt a)))
  (/ (sqrt b) (cbrt (sqrt a)))
  (/ (sqrt b) (fabs (cbrt a)))
  (/ (sqrt b) (sqrt (cbrt a)))
  (/ (sqrt b) (sqrt (sqrt a)))
  (/ (sqrt b) (sqrt (sqrt a)))
  (sqrt b)
  (/ (sqrt b) (sqrt a))
  (/ (sqrt b) (sqrt (sqrt a)))
  (/ (sqrt b) (sqrt (sqrt a)))
  (sqrt b)
  (/ (sqrt b) (sqrt a))
  (/ 1 (* (cbrt (sqrt a)) (cbrt (sqrt a))))
  (/ b (cbrt (sqrt a)))
  (/ 1 (fabs (cbrt a)))
  (/ b (sqrt (cbrt a)))
  (/ 1 (sqrt (sqrt a)))
  (/ b (sqrt (sqrt a)))
  1
  (/ b (sqrt a))
  (/ 1 (sqrt (sqrt a)))
  (/ b (sqrt (sqrt a)))
  1
  (/ b (sqrt a))
  (/ 1 (sqrt a))
  (/ (sqrt a) b)
  (/ b (* (cbrt (sqrt a)) (cbrt (sqrt a))))
  (/ b (fabs (cbrt a)))
  (/ b (sqrt (sqrt a)))
  b
  (/ b (sqrt (sqrt a)))
  b
  (/ (sqrt a) (cbrt b))
  (/ (sqrt a) (sqrt b))
  (/ (sqrt a) b)
  (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
  (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
  (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
  (* (/ b a) (/ b a))
  (* (/ b a) (/ b a))
  (- (- (* (/ +nan.0 a) (* (/ b a) (/ b a))) (* +nan.0 (- (* (/ b a) (/ b a)) (* (/ b a) b)))))
  (- (- (* +nan.0 (* b b)) (* +nan.0 (- (* (* b b) a) (* (/ b a) b)))))
  (- (- (* (/ +nan.0 a) (* (/ b a) (/ b a))) (* +nan.0 (- (* (/ b (* a a)) (/ b (* a a))) (* (/ b a) (/ b a))))))
  (- (- (* (/ +nan.0 a) (* (/ b a) (/ b a))) (* +nan.0 (- (* (/ b a) (/ b a)) (* (/ b a) b)))))
  (- (- (* (* +nan.0 a) b) (- (* +nan.0 b) (* (* +nan.0 b) (* a a)))))
  (- (- (/ +nan.0 (/ (* a a) b)) (* +nan.0 (- (/ b (* (* a a) a)) (/ b a)))))
  (+ (* (- (/ b (* a a))) +nan.0) (* +nan.0 (- b (/ b a))))
7.808 * * * [progress]: adding candidates to table
8.756 * * [progress]: iteration 3 / 4
8.756 * * * [progress]: picking best candidate
8.764 * * * * [pick]: Picked  #<alt (λ (a b) (cbrt (* (fabs (- 1 (* (/ b a) (/ b a)))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>
8.764 * * * [progress]: localizing error
8.804 * * * [progress]: generating rewritten candidates
8.804 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
8.811 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
8.813 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 2)
8.851 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2)
8.890 * * * [progress]: generating series expansions
8.890 * * * * [progress]: [ 1 / 4 ] generating series at (2)
8.890 * [backup-simplify]: Simplify (cbrt (* (fabs (- 1 (* (/ b a) (/ b a)))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
8.890 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
8.890 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
8.890 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
8.891 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
8.891 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
8.891 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
8.891 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
8.891 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
8.891 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
8.891 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
8.892 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
8.892 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
8.892 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
8.892 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
8.892 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
8.892 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
8.892 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
8.892 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
8.892 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
8.893 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
8.893 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
8.893 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
8.893 * [taylor]: Taking taylor expansion of 0 in a
8.893 * [backup-simplify]: Simplify 0 into 0
8.893 * [backup-simplify]: Simplify 0 into 0
8.893 * [backup-simplify]: Simplify 0 into 0
8.894 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
8.894 * [taylor]: Taking taylor expansion of 0 in a
8.894 * [backup-simplify]: Simplify 0 into 0
8.894 * [backup-simplify]: Simplify 0 into 0
8.894 * [backup-simplify]: Simplify 0 into 0
8.895 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
8.895 * [backup-simplify]: Simplify 0 into 0
8.896 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
8.896 * [taylor]: Taking taylor expansion of 0 in a
8.896 * [backup-simplify]: Simplify 0 into 0
8.896 * [backup-simplify]: Simplify 0 into 0
8.896 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
8.896 * [backup-simplify]: Simplify (cbrt (* (fabs (- 1 (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))))) (sqrt (fabs (- 1 (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a)))))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
8.896 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
8.896 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
8.896 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
8.897 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
8.897 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
8.897 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
8.897 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
8.897 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
8.897 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
8.897 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
8.898 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
8.898 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
8.898 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
8.898 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
8.898 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
8.898 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
8.898 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
8.898 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
8.898 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
8.899 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
8.899 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
8.899 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
8.899 * [taylor]: Taking taylor expansion of 0 in a
8.899 * [backup-simplify]: Simplify 0 into 0
8.899 * [backup-simplify]: Simplify 0 into 0
8.899 * [backup-simplify]: Simplify 0 into 0
8.900 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
8.900 * [taylor]: Taking taylor expansion of 0 in a
8.900 * [backup-simplify]: Simplify 0 into 0
8.900 * [backup-simplify]: Simplify 0 into 0
8.900 * [backup-simplify]: Simplify 0 into 0
8.900 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
8.900 * [backup-simplify]: Simplify 0 into 0
8.901 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
8.901 * [taylor]: Taking taylor expansion of 0 in a
8.901 * [backup-simplify]: Simplify 0 into 0
8.901 * [backup-simplify]: Simplify 0 into 0
8.901 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 a) 2) (pow (/ 1 b) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
8.902 * [backup-simplify]: Simplify (cbrt (* (fabs (- 1 (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))))) (sqrt (fabs (- 1 (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a))))))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
8.902 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
8.902 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
8.902 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
8.902 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
8.902 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
8.903 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
8.903 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
8.903 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
8.903 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
8.903 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
8.903 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
8.903 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
8.903 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
8.903 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
8.904 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
8.904 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
8.904 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
8.904 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
8.904 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
8.904 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
8.904 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
8.905 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
8.905 * [taylor]: Taking taylor expansion of 0 in a
8.905 * [backup-simplify]: Simplify 0 into 0
8.905 * [backup-simplify]: Simplify 0 into 0
8.905 * [backup-simplify]: Simplify 0 into 0
8.905 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
8.905 * [taylor]: Taking taylor expansion of 0 in a
8.905 * [backup-simplify]: Simplify 0 into 0
8.905 * [backup-simplify]: Simplify 0 into 0
8.905 * [backup-simplify]: Simplify 0 into 0
8.906 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
8.906 * [backup-simplify]: Simplify 0 into 0
8.907 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
8.907 * [taylor]: Taking taylor expansion of 0 in a
8.907 * [backup-simplify]: Simplify 0 into 0
8.907 * [backup-simplify]: Simplify 0 into 0
8.907 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
8.907 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
8.907 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
8.907 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0
8.907 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
8.907 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
8.908 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
8.908 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
8.908 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
8.908 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
8.908 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
8.908 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
8.909 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
8.909 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
8.909 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b
8.909 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b
8.909 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
8.909 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
8.909 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
8.909 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a
8.909 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a
8.910 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2))))
8.910 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
8.910 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
8.910 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
8.910 * [taylor]: Taking taylor expansion of 0 in a
8.910 * [backup-simplify]: Simplify 0 into 0
8.910 * [backup-simplify]: Simplify 0 into 0
8.910 * [backup-simplify]: Simplify 0 into 0
8.911 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
8.911 * [taylor]: Taking taylor expansion of 0 in a
8.911 * [backup-simplify]: Simplify 0 into 0
8.911 * [backup-simplify]: Simplify 0 into 0
8.911 * [backup-simplify]: Simplify 0 into 0
8.912 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
8.912 * [backup-simplify]: Simplify 0 into 0
8.912 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0
8.912 * [taylor]: Taking taylor expansion of 0 in a
8.912 * [backup-simplify]: Simplify 0 into 0
8.912 * [backup-simplify]: Simplify 0 into 0
8.913 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
8.913 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a)))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
8.913 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
8.913 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
8.913 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
8.913 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
8.913 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
8.913 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
8.913 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
8.914 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
8.914 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
8.914 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
8.914 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
8.914 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
8.914 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
8.914 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
8.915 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
8.915 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
8.915 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
8.915 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
8.915 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
8.916 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
8.916 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
8.917 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
8.917 * [taylor]: Taking taylor expansion of 0 in a
8.917 * [backup-simplify]: Simplify 0 into 0
8.917 * [backup-simplify]: Simplify 0 into 0
8.917 * [backup-simplify]: Simplify 0 into 0
8.918 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
8.918 * [taylor]: Taking taylor expansion of 0 in a
8.918 * [backup-simplify]: Simplify 0 into 0
8.918 * [backup-simplify]: Simplify 0 into 0
8.918 * [backup-simplify]: Simplify 0 into 0
8.919 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
8.919 * [backup-simplify]: Simplify 0 into 0
8.920 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
8.920 * [taylor]: Taking taylor expansion of 0 in a
8.920 * [backup-simplify]: Simplify 0 into 0
8.920 * [backup-simplify]: Simplify 0 into 0
8.921 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 a) 2) (pow (/ 1 b) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
8.921 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a))))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
8.921 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0
8.921 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
8.921 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
8.922 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
8.922 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
8.922 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
8.922 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
8.922 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
8.923 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
8.923 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
8.923 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
8.923 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b
8.923 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b
8.924 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
8.924 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
8.924 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
8.925 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a
8.925 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a
8.925 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2))))
8.925 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
8.926 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
8.926 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2)))))
8.926 * [taylor]: Taking taylor expansion of 0 in a
8.926 * [backup-simplify]: Simplify 0 into 0
8.926 * [backup-simplify]: Simplify 0 into 0
8.926 * [backup-simplify]: Simplify 0 into 0
8.927 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
8.927 * [taylor]: Taking taylor expansion of 0 in a
8.927 * [backup-simplify]: Simplify 0 into 0
8.927 * [backup-simplify]: Simplify 0 into 0
8.927 * [backup-simplify]: Simplify 0 into 0
8.928 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
8.928 * [backup-simplify]: Simplify 0 into 0
8.930 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0
8.930 * [taylor]: Taking taylor expansion of 0 in a
8.930 * [backup-simplify]: Simplify 0 into 0
8.930 * [backup-simplify]: Simplify 0 into 0
8.930 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))
8.930 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 2)
8.930 * [backup-simplify]: Simplify (* (/ b a) (/ b a)) into (/ (pow b 2) (pow a 2))
8.930 * [approximate]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0
8.930 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a
8.931 * [taylor]: Taking taylor expansion of (pow b 2) in a
8.931 * [taylor]: Taking taylor expansion of b in a
8.931 * [backup-simplify]: Simplify b into b
8.931 * [taylor]: Taking taylor expansion of (pow a 2) in a
8.931 * [taylor]: Taking taylor expansion of a in a
8.931 * [backup-simplify]: Simplify 0 into 0
8.931 * [backup-simplify]: Simplify 1 into 1
8.931 * [backup-simplify]: Simplify (* b b) into (pow b 2)
8.931 * [backup-simplify]: Simplify (* 1 1) into 1
8.931 * [backup-simplify]: Simplify (/ (pow b 2) 1) into (pow b 2)
8.931 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
8.931 * [taylor]: Taking taylor expansion of (pow b 2) in b
8.931 * [taylor]: Taking taylor expansion of b in b
8.931 * [backup-simplify]: Simplify 0 into 0
8.932 * [backup-simplify]: Simplify 1 into 1
8.932 * [taylor]: Taking taylor expansion of (pow a 2) in b
8.932 * [taylor]: Taking taylor expansion of a in b
8.932 * [backup-simplify]: Simplify a into a
8.932 * [backup-simplify]: Simplify (* 1 1) into 1
8.932 * [backup-simplify]: Simplify (* a a) into (pow a 2)
8.932 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
8.932 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
8.932 * [taylor]: Taking taylor expansion of (pow b 2) in b
8.932 * [taylor]: Taking taylor expansion of b in b
8.932 * [backup-simplify]: Simplify 0 into 0
8.932 * [backup-simplify]: Simplify 1 into 1
8.932 * [taylor]: Taking taylor expansion of (pow a 2) in b
8.932 * [taylor]: Taking taylor expansion of a in b
8.933 * [backup-simplify]: Simplify a into a
8.933 * [backup-simplify]: Simplify (* 1 1) into 1
8.933 * [backup-simplify]: Simplify (* a a) into (pow a 2)
8.933 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
8.933 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
8.933 * [taylor]: Taking taylor expansion of (pow a 2) in a
8.933 * [taylor]: Taking taylor expansion of a in a
8.933 * [backup-simplify]: Simplify 0 into 0
8.933 * [backup-simplify]: Simplify 1 into 1
8.934 * [backup-simplify]: Simplify (* 1 1) into 1
8.934 * [backup-simplify]: Simplify (/ 1 1) into 1
8.934 * [backup-simplify]: Simplify 1 into 1
8.935 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.935 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
8.935 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0
8.935 * [taylor]: Taking taylor expansion of 0 in a
8.935 * [backup-simplify]: Simplify 0 into 0
8.936 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.937 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.937 * [backup-simplify]: Simplify 0 into 0
8.938 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.938 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
8.939 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0
8.939 * [taylor]: Taking taylor expansion of 0 in a
8.939 * [backup-simplify]: Simplify 0 into 0
8.943 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.944 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.944 * [backup-simplify]: Simplify 0 into 0
8.945 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.945 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
8.946 * [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
8.946 * [taylor]: Taking taylor expansion of 0 in a
8.946 * [backup-simplify]: Simplify 0 into 0
8.946 * [backup-simplify]: Simplify 0 into 0
8.946 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.947 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.947 * [backup-simplify]: Simplify 0 into 0
8.948 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.948 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0
8.949 * [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
8.949 * [taylor]: Taking taylor expansion of 0 in a
8.949 * [backup-simplify]: Simplify 0 into 0
8.949 * [backup-simplify]: Simplify 0 into 0
8.949 * [backup-simplify]: Simplify 0 into 0
8.949 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2))
8.949 * [backup-simplify]: Simplify (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))) into (/ (pow a 2) (pow b 2))
8.949 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
8.949 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
8.949 * [taylor]: Taking taylor expansion of (pow a 2) in a
8.949 * [taylor]: Taking taylor expansion of a in a
8.949 * [backup-simplify]: Simplify 0 into 0
8.949 * [backup-simplify]: Simplify 1 into 1
8.949 * [taylor]: Taking taylor expansion of (pow b 2) in a
8.949 * [taylor]: Taking taylor expansion of b in a
8.949 * [backup-simplify]: Simplify b into b
8.950 * [backup-simplify]: Simplify (* 1 1) into 1
8.950 * [backup-simplify]: Simplify (* b b) into (pow b 2)
8.950 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
8.950 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
8.950 * [taylor]: Taking taylor expansion of (pow a 2) in b
8.950 * [taylor]: Taking taylor expansion of a in b
8.950 * [backup-simplify]: Simplify a into a
8.950 * [taylor]: Taking taylor expansion of (pow b 2) in b
8.950 * [taylor]: Taking taylor expansion of b in b
8.950 * [backup-simplify]: Simplify 0 into 0
8.950 * [backup-simplify]: Simplify 1 into 1
8.950 * [backup-simplify]: Simplify (* a a) into (pow a 2)
8.950 * [backup-simplify]: Simplify (* 1 1) into 1
8.950 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2)
8.950 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
8.950 * [taylor]: Taking taylor expansion of (pow a 2) in b
8.950 * [taylor]: Taking taylor expansion of a in b
8.950 * [backup-simplify]: Simplify a into a
8.950 * [taylor]: Taking taylor expansion of (pow b 2) in b
8.950 * [taylor]: Taking taylor expansion of b in b
8.950 * [backup-simplify]: Simplify 0 into 0
8.950 * [backup-simplify]: Simplify 1 into 1
8.950 * [backup-simplify]: Simplify (* a a) into (pow a 2)
8.951 * [backup-simplify]: Simplify (* 1 1) into 1
8.951 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2)
8.951 * [taylor]: Taking taylor expansion of (pow a 2) in a
8.951 * [taylor]: Taking taylor expansion of a in a
8.951 * [backup-simplify]: Simplify 0 into 0
8.951 * [backup-simplify]: Simplify 1 into 1
8.951 * [backup-simplify]: Simplify (* 1 1) into 1
8.951 * [backup-simplify]: Simplify 1 into 1
8.951 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
8.951 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.952 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
8.952 * [taylor]: Taking taylor expansion of 0 in a
8.952 * [backup-simplify]: Simplify 0 into 0
8.952 * [backup-simplify]: Simplify 0 into 0
8.953 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.953 * [backup-simplify]: Simplify 0 into 0
8.953 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
8.953 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.954 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.954 * [taylor]: Taking taylor expansion of 0 in a
8.954 * [backup-simplify]: Simplify 0 into 0
8.954 * [backup-simplify]: Simplify 0 into 0
8.954 * [backup-simplify]: Simplify 0 into 0
8.955 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.955 * [backup-simplify]: Simplify 0 into 0
8.955 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
8.956 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.957 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.957 * [taylor]: Taking taylor expansion of 0 in a
8.957 * [backup-simplify]: Simplify 0 into 0
8.957 * [backup-simplify]: Simplify 0 into 0
8.957 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2))
8.957 * [backup-simplify]: Simplify (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))) into (/ (pow a 2) (pow b 2))
8.957 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
8.957 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
8.958 * [taylor]: Taking taylor expansion of (pow a 2) in a
8.958 * [taylor]: Taking taylor expansion of a in a
8.958 * [backup-simplify]: Simplify 0 into 0
8.958 * [backup-simplify]: Simplify 1 into 1
8.958 * [taylor]: Taking taylor expansion of (pow b 2) in a
8.958 * [taylor]: Taking taylor expansion of b in a
8.958 * [backup-simplify]: Simplify b into b
8.958 * [backup-simplify]: Simplify (* 1 1) into 1
8.958 * [backup-simplify]: Simplify (* b b) into (pow b 2)
8.958 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
8.958 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
8.958 * [taylor]: Taking taylor expansion of (pow a 2) in b
8.958 * [taylor]: Taking taylor expansion of a in b
8.958 * [backup-simplify]: Simplify a into a
8.958 * [taylor]: Taking taylor expansion of (pow b 2) in b
8.958 * [taylor]: Taking taylor expansion of b in b
8.958 * [backup-simplify]: Simplify 0 into 0
8.958 * [backup-simplify]: Simplify 1 into 1
8.958 * [backup-simplify]: Simplify (* a a) into (pow a 2)
8.958 * [backup-simplify]: Simplify (* 1 1) into 1
8.959 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2)
8.959 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
8.959 * [taylor]: Taking taylor expansion of (pow a 2) in b
8.959 * [taylor]: Taking taylor expansion of a in b
8.959 * [backup-simplify]: Simplify a into a
8.959 * [taylor]: Taking taylor expansion of (pow b 2) in b
8.959 * [taylor]: Taking taylor expansion of b in b
8.959 * [backup-simplify]: Simplify 0 into 0
8.959 * [backup-simplify]: Simplify 1 into 1
8.959 * [backup-simplify]: Simplify (* a a) into (pow a 2)
8.959 * [backup-simplify]: Simplify (* 1 1) into 1
8.959 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2)
8.959 * [taylor]: Taking taylor expansion of (pow a 2) in a
8.959 * [taylor]: Taking taylor expansion of a in a
8.959 * [backup-simplify]: Simplify 0 into 0
8.959 * [backup-simplify]: Simplify 1 into 1
8.960 * [backup-simplify]: Simplify (* 1 1) into 1
8.960 * [backup-simplify]: Simplify 1 into 1
8.960 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
8.960 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.961 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
8.961 * [taylor]: Taking taylor expansion of 0 in a
8.961 * [backup-simplify]: Simplify 0 into 0
8.961 * [backup-simplify]: Simplify 0 into 0
8.961 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.961 * [backup-simplify]: Simplify 0 into 0
8.961 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
8.962 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.963 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.963 * [taylor]: Taking taylor expansion of 0 in a
8.963 * [backup-simplify]: Simplify 0 into 0
8.963 * [backup-simplify]: Simplify 0 into 0
8.963 * [backup-simplify]: Simplify 0 into 0
8.963 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.963 * [backup-simplify]: Simplify 0 into 0
8.964 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
8.965 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.966 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.966 * [taylor]: Taking taylor expansion of 0 in a
8.966 * [backup-simplify]: Simplify 0 into 0
8.966 * [backup-simplify]: Simplify 0 into 0
8.966 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2))
8.966 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2)
8.966 * [backup-simplify]: Simplify (* (/ b a) (/ b a)) into (/ (pow b 2) (pow a 2))
8.966 * [approximate]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0
8.966 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a
8.966 * [taylor]: Taking taylor expansion of (pow b 2) in a
8.966 * [taylor]: Taking taylor expansion of b in a
8.966 * [backup-simplify]: Simplify b into b
8.966 * [taylor]: Taking taylor expansion of (pow a 2) in a
8.966 * [taylor]: Taking taylor expansion of a in a
8.966 * [backup-simplify]: Simplify 0 into 0
8.966 * [backup-simplify]: Simplify 1 into 1
8.966 * [backup-simplify]: Simplify (* b b) into (pow b 2)
8.967 * [backup-simplify]: Simplify (* 1 1) into 1
8.967 * [backup-simplify]: Simplify (/ (pow b 2) 1) into (pow b 2)
8.967 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
8.967 * [taylor]: Taking taylor expansion of (pow b 2) in b
8.967 * [taylor]: Taking taylor expansion of b in b
8.967 * [backup-simplify]: Simplify 0 into 0
8.967 * [backup-simplify]: Simplify 1 into 1
8.967 * [taylor]: Taking taylor expansion of (pow a 2) in b
8.967 * [taylor]: Taking taylor expansion of a in b
8.967 * [backup-simplify]: Simplify a into a
8.967 * [backup-simplify]: Simplify (* 1 1) into 1
8.967 * [backup-simplify]: Simplify (* a a) into (pow a 2)
8.967 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
8.967 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b
8.967 * [taylor]: Taking taylor expansion of (pow b 2) in b
8.967 * [taylor]: Taking taylor expansion of b in b
8.967 * [backup-simplify]: Simplify 0 into 0
8.967 * [backup-simplify]: Simplify 1 into 1
8.967 * [taylor]: Taking taylor expansion of (pow a 2) in b
8.967 * [taylor]: Taking taylor expansion of a in b
8.967 * [backup-simplify]: Simplify a into a
8.967 * [backup-simplify]: Simplify (* 1 1) into 1
8.968 * [backup-simplify]: Simplify (* a a) into (pow a 2)
8.968 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
8.968 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
8.968 * [taylor]: Taking taylor expansion of (pow a 2) in a
8.968 * [taylor]: Taking taylor expansion of a in a
8.968 * [backup-simplify]: Simplify 0 into 0
8.968 * [backup-simplify]: Simplify 1 into 1
8.968 * [backup-simplify]: Simplify (* 1 1) into 1
8.968 * [backup-simplify]: Simplify (/ 1 1) into 1
8.968 * [backup-simplify]: Simplify 1 into 1
8.969 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.969 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
8.969 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0
8.969 * [taylor]: Taking taylor expansion of 0 in a
8.969 * [backup-simplify]: Simplify 0 into 0
8.969 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.970 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.970 * [backup-simplify]: Simplify 0 into 0
8.970 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.971 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
8.971 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0
8.971 * [taylor]: Taking taylor expansion of 0 in a
8.971 * [backup-simplify]: Simplify 0 into 0
8.971 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.972 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.972 * [backup-simplify]: Simplify 0 into 0
8.973 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.973 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
8.973 * [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
8.973 * [taylor]: Taking taylor expansion of 0 in a
8.974 * [backup-simplify]: Simplify 0 into 0
8.974 * [backup-simplify]: Simplify 0 into 0
8.974 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.975 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.975 * [backup-simplify]: Simplify 0 into 0
8.975 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.976 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0
8.976 * [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
8.976 * [taylor]: Taking taylor expansion of 0 in a
8.977 * [backup-simplify]: Simplify 0 into 0
8.977 * [backup-simplify]: Simplify 0 into 0
8.977 * [backup-simplify]: Simplify 0 into 0
8.977 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2))
8.977 * [backup-simplify]: Simplify (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))) into (/ (pow a 2) (pow b 2))
8.977 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
8.977 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
8.977 * [taylor]: Taking taylor expansion of (pow a 2) in a
8.977 * [taylor]: Taking taylor expansion of a in a
8.977 * [backup-simplify]: Simplify 0 into 0
8.977 * [backup-simplify]: Simplify 1 into 1
8.977 * [taylor]: Taking taylor expansion of (pow b 2) in a
8.977 * [taylor]: Taking taylor expansion of b in a
8.977 * [backup-simplify]: Simplify b into b
8.977 * [backup-simplify]: Simplify (* 1 1) into 1
8.977 * [backup-simplify]: Simplify (* b b) into (pow b 2)
8.977 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
8.977 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
8.977 * [taylor]: Taking taylor expansion of (pow a 2) in b
8.977 * [taylor]: Taking taylor expansion of a in b
8.977 * [backup-simplify]: Simplify a into a
8.977 * [taylor]: Taking taylor expansion of (pow b 2) in b
8.977 * [taylor]: Taking taylor expansion of b in b
8.977 * [backup-simplify]: Simplify 0 into 0
8.977 * [backup-simplify]: Simplify 1 into 1
8.978 * [backup-simplify]: Simplify (* a a) into (pow a 2)
8.978 * [backup-simplify]: Simplify (* 1 1) into 1
8.978 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2)
8.978 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
8.978 * [taylor]: Taking taylor expansion of (pow a 2) in b
8.978 * [taylor]: Taking taylor expansion of a in b
8.978 * [backup-simplify]: Simplify a into a
8.978 * [taylor]: Taking taylor expansion of (pow b 2) in b
8.978 * [taylor]: Taking taylor expansion of b in b
8.978 * [backup-simplify]: Simplify 0 into 0
8.978 * [backup-simplify]: Simplify 1 into 1
8.978 * [backup-simplify]: Simplify (* a a) into (pow a 2)
8.978 * [backup-simplify]: Simplify (* 1 1) into 1
8.978 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2)
8.978 * [taylor]: Taking taylor expansion of (pow a 2) in a
8.978 * [taylor]: Taking taylor expansion of a in a
8.978 * [backup-simplify]: Simplify 0 into 0
8.978 * [backup-simplify]: Simplify 1 into 1
8.979 * [backup-simplify]: Simplify (* 1 1) into 1
8.979 * [backup-simplify]: Simplify 1 into 1
8.979 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
8.979 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.980 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
8.980 * [taylor]: Taking taylor expansion of 0 in a
8.980 * [backup-simplify]: Simplify 0 into 0
8.980 * [backup-simplify]: Simplify 0 into 0
8.980 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.980 * [backup-simplify]: Simplify 0 into 0
8.980 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
8.981 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.982 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.982 * [taylor]: Taking taylor expansion of 0 in a
8.982 * [backup-simplify]: Simplify 0 into 0
8.982 * [backup-simplify]: Simplify 0 into 0
8.982 * [backup-simplify]: Simplify 0 into 0
8.982 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.982 * [backup-simplify]: Simplify 0 into 0
8.983 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
8.984 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.985 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.985 * [taylor]: Taking taylor expansion of 0 in a
8.985 * [backup-simplify]: Simplify 0 into 0
8.985 * [backup-simplify]: Simplify 0 into 0
8.985 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2))
8.985 * [backup-simplify]: Simplify (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))) into (/ (pow a 2) (pow b 2))
8.985 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0
8.985 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a
8.985 * [taylor]: Taking taylor expansion of (pow a 2) in a
8.985 * [taylor]: Taking taylor expansion of a in a
8.985 * [backup-simplify]: Simplify 0 into 0
8.985 * [backup-simplify]: Simplify 1 into 1
8.985 * [taylor]: Taking taylor expansion of (pow b 2) in a
8.985 * [taylor]: Taking taylor expansion of b in a
8.985 * [backup-simplify]: Simplify b into b
8.986 * [backup-simplify]: Simplify (* 1 1) into 1
8.986 * [backup-simplify]: Simplify (* b b) into (pow b 2)
8.986 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
8.986 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
8.986 * [taylor]: Taking taylor expansion of (pow a 2) in b
8.986 * [taylor]: Taking taylor expansion of a in b
8.986 * [backup-simplify]: Simplify a into a
8.986 * [taylor]: Taking taylor expansion of (pow b 2) in b
8.986 * [taylor]: Taking taylor expansion of b in b
8.986 * [backup-simplify]: Simplify 0 into 0
8.986 * [backup-simplify]: Simplify 1 into 1
8.986 * [backup-simplify]: Simplify (* a a) into (pow a 2)
8.986 * [backup-simplify]: Simplify (* 1 1) into 1
8.986 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2)
8.986 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b
8.986 * [taylor]: Taking taylor expansion of (pow a 2) in b
8.986 * [taylor]: Taking taylor expansion of a in b
8.986 * [backup-simplify]: Simplify a into a
8.986 * [taylor]: Taking taylor expansion of (pow b 2) in b
8.986 * [taylor]: Taking taylor expansion of b in b
8.986 * [backup-simplify]: Simplify 0 into 0
8.986 * [backup-simplify]: Simplify 1 into 1
8.986 * [backup-simplify]: Simplify (* a a) into (pow a 2)
8.987 * [backup-simplify]: Simplify (* 1 1) into 1
8.987 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2)
8.987 * [taylor]: Taking taylor expansion of (pow a 2) in a
8.987 * [taylor]: Taking taylor expansion of a in a
8.987 * [backup-simplify]: Simplify 0 into 0
8.987 * [backup-simplify]: Simplify 1 into 1
8.987 * [backup-simplify]: Simplify (* 1 1) into 1
8.987 * [backup-simplify]: Simplify 1 into 1
8.987 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
8.988 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.988 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0
8.988 * [taylor]: Taking taylor expansion of 0 in a
8.988 * [backup-simplify]: Simplify 0 into 0
8.988 * [backup-simplify]: Simplify 0 into 0
8.989 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.989 * [backup-simplify]: Simplify 0 into 0
8.989 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
8.989 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.990 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.990 * [taylor]: Taking taylor expansion of 0 in a
8.990 * [backup-simplify]: Simplify 0 into 0
8.990 * [backup-simplify]: Simplify 0 into 0
8.990 * [backup-simplify]: Simplify 0 into 0
8.991 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.991 * [backup-simplify]: Simplify 0 into 0
8.992 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
8.993 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.995 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.995 * [taylor]: Taking taylor expansion of 0 in a
8.995 * [backup-simplify]: Simplify 0 into 0
8.995 * [backup-simplify]: Simplify 0 into 0
8.995 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2))
8.995 * * * [progress]: simplifying candidates
8.999 * [simplify]: Simplifying:
  (log (cbrt (* (fabs (- 1 (* (/ b a) (/ b a)))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
  (exp (cbrt (* (fabs (- 1 (* (/ b a) (/ b a)))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
  (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))
  (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
  (* (cbrt (cbrt (* (fabs (- 1 (* (/ b a) (/ b a)))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) (cbrt (cbrt (* (fabs (- 1 (* (/ b a) (/ b a)))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))))
  (cbrt (cbrt (* (fabs (- 1 (* (/ b a) (/ b a)))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
  (* (* (cbrt (* (fabs (- 1 (* (/ b a) (/ b a)))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (cbrt (* (fabs (- 1 (* (/ b a) (/ b a)))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) (cbrt (* (fabs (- 1 (* (/ b a) (/ b a)))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
  (sqrt (cbrt (* (fabs (- 1 (* (/ b a) (/ b a)))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))
  (sqrt (cbrt (* (fabs (- 1 (* (/ b a) (/ b a)))) (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))))))
  (+ 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))
  (+ 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))
  (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)))))
  (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))
  (/ (pow b 2) (pow a 2))
  (/ (pow b 2) (pow a 2))
  (/ (pow b 2) (pow a 2))
9.003 * * [simplify]: iteration 0: 137 enodes
9.045 * * [simplify]: iteration 1: 411 enodes
9.251 * * [simplify]: iteration 2: 1304 enodes
10.061 * * [simplify]: iteration 3: 4056 enodes
11.715 * * [simplify]: iteration complete: 5098 enodes
11.715 * * [simplify]: Extracting #0: cost 62 inf + 0
11.718 * * [simplify]: Extracting #1: cost 614 inf + 4
11.729 * * [simplify]: Extracting #2: cost 1643 inf + 11033
11.776 * * [simplify]: Extracting #3: cost 806 inf + 167439
11.828 * * [simplify]: Extracting #4: cost 133 inf + 305254
11.905 * * [simplify]: Extracting #5: cost 3 inf + 341109
11.963 * * [simplify]: Extracting #6: cost 0 inf + 341033
12.055 * [simplify]: Simplified to:
  (log (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
  (exp (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
  (cbrt (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)))))))
  (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
  (* (fabs (- 1 (* (/ b a) (/ b a)))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
  (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
  (sqrt (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))))))
  (* (fabs (- 1 (* (/ b a) (/ b a)))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))
  (fabs (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))))))
  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))))))
  2
  (* (/ b a) (/ b a))
  2
  (log (* (/ b a) (/ b a)))
  (log (* (/ b a) (/ b a)))
  (log (* (/ b a) (/ b a)))
  (log (* (/ b a) (/ b a)))
  (log (* (/ b a) (/ b a)))
  (exp (* (/ b a) (/ b a)))
  (* (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))) (* (/ b a) (/ b a)))
  (* (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))) (* (/ b a) (/ b a)))
  (* (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))) (* (/ b a) (/ b 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)))
  (fabs (/ b a))
  (fabs (/ b a))
  (* b b)
  (* a a)
  (* (/ b a) (cbrt (/ b a)))
  (* (cbrt (/ b a)) (cbrt (/ b a)))
  (/ b a)
  (/ b a)
  (* (* (/ (cbrt b) (cbrt a)) (/ (cbrt b) (cbrt a))) (* (/ (cbrt b) (cbrt a)) (/ (cbrt b) (cbrt a))))
  (* (/ (cbrt b) (cbrt a)) (/ (cbrt b) (cbrt a)))
  (/ (/ b (/ (sqrt a) (cbrt b))) (sqrt a))
  (/ (* (cbrt b) (cbrt b)) a)
  (* b (cbrt b))
  (* (/ (cbrt b) a) (/ (cbrt b) a))
  (/ (/ (/ (/ b (cbrt a)) (cbrt a)) (cbrt a)) (cbrt a))
  (/ (/ b (cbrt a)) (cbrt a))
  (/ (/ b (sqrt a)) (sqrt a))
  (/ (/ b (sqrt a)) (sqrt a))
  b
  (/ (/ b a) a)
  (* (/ 1 (* (cbrt a) (cbrt a))) (/ 1 (* (cbrt a) (cbrt a))))
  (* (/ b (cbrt a)) (/ b (cbrt a)))
  (* (/ 1 (sqrt a)) (/ 1 (sqrt a)))
  (/ (* b b) a)
  1
  (* (/ b a) (/ b a))
  1
  (* (/ b a) (/ b a))
  (* b b)
  (* (/ 1 a) (/ 1 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 (sqrt a)) (sqrt a))
  (/ (/ b (sqrt a)) (sqrt a))
  2
  (* (* (cbrt (/ b a)) (cbrt (/ b a))) (/ b a))
  (* (sqrt (/ b a)) (/ b a))
  (* (* (/ (cbrt b) (cbrt a)) (/ (cbrt b) (cbrt a))) (/ b a))
  (* (/ (cbrt b) (/ (sqrt a) (cbrt b))) (/ b a))
  (/ (* (* b (cbrt b)) (cbrt b)) a)
  (/ (/ (* (/ b a) (sqrt b)) (cbrt a)) (cbrt a))
  (/ (* (/ b a) (sqrt b)) (sqrt a))
  (* (/ b a) (sqrt b))
  (/ (/ (/ b (cbrt a)) (cbrt a)) a)
  (/ (/ b a) (sqrt a))
  (/ b a)
  (/ b a)
  (* (/ b a) b)
  (* (/ b a) (cbrt (/ b a)))
  (* (sqrt (/ b a)) (/ b a))
  (/ (* (/ b a) (cbrt b)) (cbrt a))
  (/ (* (/ b a) (cbrt b)) (sqrt a))
  (/ (/ (* b (cbrt b)) a) a)
  (/ (* (/ b a) (sqrt b)) (cbrt a))
  (/ (* (/ b a) (sqrt b)) (sqrt a))
  (/ (* (/ b a) (sqrt b)) a)
  (/ (* (/ b a) b) (cbrt a))
  (/ (* b (/ b (sqrt a))) a)
  (* (/ b a) (/ b a))
  (* (/ b a) (/ b a))
  (/ (/ b a) a)
  (* (/ b a) b)
  (* (/ b a) b)
  2
  (* (/ b a) (/ b a))
  2
  (log (* (/ b a) (/ b a)))
  (log (* (/ b a) (/ b a)))
  (log (* (/ b a) (/ b a)))
  (log (* (/ b a) (/ b a)))
  (log (* (/ b a) (/ b a)))
  (exp (* (/ b a) (/ b a)))
  (* (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))) (* (/ b a) (/ b a)))
  (* (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))) (* (/ b a) (/ b a)))
  (* (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))) (* (/ b a) (/ b 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)))
  (fabs (/ b a))
  (fabs (/ b a))
  (* b b)
  (* a a)
  (* (/ b a) (cbrt (/ b a)))
  (* (cbrt (/ b a)) (cbrt (/ b a)))
  (/ b a)
  (/ b a)
  (* (* (/ (cbrt b) (cbrt a)) (/ (cbrt b) (cbrt a))) (* (/ (cbrt b) (cbrt a)) (/ (cbrt b) (cbrt a))))
  (* (/ (cbrt b) (cbrt a)) (/ (cbrt b) (cbrt a)))
  (/ (/ b (/ (sqrt a) (cbrt b))) (sqrt a))
  (/ (* (cbrt b) (cbrt b)) a)
  (* b (cbrt b))
  (* (/ (cbrt b) a) (/ (cbrt b) a))
  (/ (/ (/ (/ b (cbrt a)) (cbrt a)) (cbrt a)) (cbrt a))
  (/ (/ b (cbrt a)) (cbrt a))
  (/ (/ b (sqrt a)) (sqrt a))
  (/ (/ b (sqrt a)) (sqrt a))
  b
  (/ (/ b a) a)
  (* (/ 1 (* (cbrt a) (cbrt a))) (/ 1 (* (cbrt a) (cbrt a))))
  (* (/ b (cbrt a)) (/ b (cbrt a)))
  (* (/ 1 (sqrt a)) (/ 1 (sqrt a)))
  (/ (* b b) a)
  1
  (* (/ b a) (/ b a))
  1
  (* (/ b a) (/ b a))
  (* b b)
  (* (/ 1 a) (/ 1 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 (sqrt a)) (sqrt a))
  (/ (/ b (sqrt a)) (sqrt a))
  2
  (* (* (cbrt (/ b a)) (cbrt (/ b a))) (/ b a))
  (* (sqrt (/ b a)) (/ b a))
  (* (* (/ (cbrt b) (cbrt a)) (/ (cbrt b) (cbrt a))) (/ b a))
  (* (/ (cbrt b) (/ (sqrt a) (cbrt b))) (/ b a))
  (/ (* (* b (cbrt b)) (cbrt b)) a)
  (/ (/ (* (/ b a) (sqrt b)) (cbrt a)) (cbrt a))
  (/ (* (/ b a) (sqrt b)) (sqrt a))
  (* (/ b a) (sqrt b))
  (/ (/ (/ b (cbrt a)) (cbrt a)) a)
  (/ (/ b a) (sqrt a))
  (/ b a)
  (/ b a)
  (* (/ b a) b)
  (* (/ b a) (cbrt (/ b a)))
  (* (sqrt (/ b a)) (/ b a))
  (/ (* (/ b a) (cbrt b)) (cbrt a))
  (/ (* (/ b a) (cbrt b)) (sqrt a))
  (/ (/ (* b (cbrt b)) a) a)
  (/ (* (/ b a) (sqrt b)) (cbrt a))
  (/ (* (/ b a) (sqrt b)) (sqrt a))
  (/ (* (/ b a) (sqrt b)) a)
  (/ (* (/ b a) b) (cbrt a))
  (/ (* b (/ b (sqrt a))) a)
  (* (/ b a) (/ b a))
  (* (/ b a) (/ b a))
  (/ (/ b a) a)
  (* (/ b a) b)
  (* (/ b a) b)
  (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 (fabs (- 1 (* (/ b a) (/ b a)))))
  (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
  (* (/ b a) (/ b a))
  (* (/ b a) (/ b a))
  (* (/ b a) (/ b a))
  (* (/ b a) (/ b a))
  (* (/ b a) (/ b a))
  (* (/ b a) (/ b a))
12.071 * * * [progress]: adding candidates to table
13.038 * [progress]: [Phase 3 of 3] Extracting.
13.038 * * [regime]: Finding splitpoints for: (#<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))> #<alt (λ (a b) (sqrt (fabs (- 1 (* (/ 1 (sqrt a)) (* (/ b (sqrt a)) (/ b a)))))))> #<alt (λ (a b) (cbrt (* (fabs (- 1 (* (/ b a) (/ b a)))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>)
13.039 * * * [regime-changes]: Trying 2 branch expressions: (b a)
13.039 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))> #<alt (λ (a b) (sqrt (fabs (- 1 (* (/ 1 (sqrt a)) (* (/ b (sqrt a)) (/ b a)))))))> #<alt (λ (a b) (cbrt (* (fabs (- 1 (* (/ b a) (/ b a)))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>)
13.070 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))> #<alt (λ (a b) (sqrt (fabs (- 1 (* (/ 1 (sqrt a)) (* (/ b (sqrt a)) (/ b a)))))))> #<alt (λ (a b) (cbrt (* (fabs (- 1 (* (/ b a) (/ b a)))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))>)
13.103 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
13.103 * [simplify]: Simplifying:
  (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
13.103 * * [simplify]: iteration 0: 8 enodes
13.104 * * [simplify]: iteration 1: 10 enodes
13.104 * * [simplify]: iteration complete: 10 enodes
13.104 * * [simplify]: Extracting #0: cost 1 inf + 0
13.104 * * [simplify]: Extracting #1: cost 2 inf + 0
13.104 * * [simplify]: Extracting #2: cost 3 inf + 0
13.104 * * [simplify]: Extracting #3: cost 5 inf + 0
13.104 * * [simplify]: Extracting #4: cost 5 inf + 1
13.104 * * [simplify]: Extracting #5: cost 7 inf + 1
13.104 * * [simplify]: Extracting #6: cost 0 inf + 616
13.105 * [simplify]: Simplified to:
  (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))
14.534 * [regime-testing]: Baseline error score: 8.334938107888668
14.543 * [regime-testing]: Oracle error score: 8.328989243968087
14.567 * [regime-testing]: End program error score: 8.334938107888668