48.724 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.049 * * * [progress]: [2/2] Setting up program.
0.058 * [progress]: [Phase 2 of 3] Improving.
0.058 * [simplify]: Simplifying:
  (+ (/ x y) (/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z)))
0.058 * * [simplify]: iteration 0: 14 enodes
0.062 * * [simplify]: iteration 1: 25 enodes
0.070 * * [simplify]: iteration 2: 49 enodes
0.088 * * [simplify]: iteration 3: 106 enodes
0.146 * * [simplify]: iteration 4: 228 enodes
0.249 * * [simplify]: iteration 5: 403 enodes
0.446 * * [simplify]: iteration 6: 1065 enodes
1.664 * * [simplify]: iteration 7: 4902 enodes
2.698 * * [simplify]: iteration complete: 5000 enodes
2.698 * * [simplify]: Extracting #0: cost 1 inf + 0
2.698 * * [simplify]: Extracting #1: cost 25 inf + 0
2.699 * * [simplify]: Extracting #2: cost 358 inf + 1
2.705 * * [simplify]: Extracting #3: cost 914 inf + 483
2.715 * * [simplify]: Extracting #4: cost 669 inf + 3903
2.725 * * [simplify]: Extracting #5: cost 18 inf + 7450
2.735 * * [simplify]: Extracting #6: cost 0 inf + 7576
2.745 * * [simplify]: Extracting #7: cost 0 inf + 7574
2.760 * [simplify]: Simplified to:
  (fma (- (/ (fma z 1.0 1) (* t z)) 1) 2.0 (/ x y))
2.772 * * [progress]: iteration 1 / 4
2.772 * * * [progress]: picking best candidate
2.782 * * * * [pick]: Picked  #<alt (λ (x y z t) (fma (- (/ (fma z 1.0 1) (* t z)) 1) 2.0 (/ x y)))>
2.782 * * * [progress]: localizing error
2.814 * * * [progress]: generating rewritten candidates
2.814 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 1)
2.827 * * * [progress]: generating series expansions
2.827 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 1)
2.828 * [backup-simplify]: Simplify (/ (fma z 1.0 1) (* t z)) into (/ (fma z 1.0 1) (* t z))
2.828 * [approximate]: Taking taylor expansion of (/ (fma z 1.0 1) (* t z)) in (z t) around 0
2.828 * [taylor]: Taking taylor expansion of (/ (fma z 1.0 1) (* t z)) in t
2.828 * [taylor]: Taking taylor expansion of (fma z 1.0 1) in t
2.828 * [taylor]: Rewrote expression to (+ (* z 1.0) 1)
2.828 * [taylor]: Taking taylor expansion of (* z 1.0) in t
2.828 * [taylor]: Taking taylor expansion of z in t
2.828 * [backup-simplify]: Simplify z into z
2.828 * [taylor]: Taking taylor expansion of 1.0 in t
2.828 * [backup-simplify]: Simplify 1.0 into 1.0
2.828 * [taylor]: Taking taylor expansion of 1 in t
2.828 * [backup-simplify]: Simplify 1 into 1
2.828 * [taylor]: Taking taylor expansion of (* t z) in t
2.828 * [taylor]: Taking taylor expansion of t in t
2.828 * [backup-simplify]: Simplify 0 into 0
2.828 * [backup-simplify]: Simplify 1 into 1
2.828 * [taylor]: Taking taylor expansion of z in t
2.828 * [backup-simplify]: Simplify z into z
2.828 * [backup-simplify]: Simplify (* z 1.0) into (* 1.0 z)
2.829 * [backup-simplify]: Simplify (+ (* 1.0 z) 1) into (+ (* 1.0 z) 1)
2.829 * [backup-simplify]: Simplify (* 0 z) into 0
2.829 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
2.829 * [backup-simplify]: Simplify (/ (+ (* 1.0 z) 1) z) into (/ (+ (* 1.0 z) 1) z)
2.829 * [taylor]: Taking taylor expansion of (/ (fma z 1.0 1) (* t z)) in z
2.829 * [taylor]: Taking taylor expansion of (fma z 1.0 1) in z
2.830 * [taylor]: Rewrote expression to (+ (* z 1.0) 1)
2.830 * [taylor]: Taking taylor expansion of (* z 1.0) in z
2.830 * [taylor]: Taking taylor expansion of z in z
2.830 * [backup-simplify]: Simplify 0 into 0
2.830 * [backup-simplify]: Simplify 1 into 1
2.830 * [taylor]: Taking taylor expansion of 1.0 in z
2.830 * [backup-simplify]: Simplify 1.0 into 1.0
2.830 * [taylor]: Taking taylor expansion of 1 in z
2.830 * [backup-simplify]: Simplify 1 into 1
2.830 * [taylor]: Taking taylor expansion of (* t z) in z
2.830 * [taylor]: Taking taylor expansion of t in z
2.830 * [backup-simplify]: Simplify t into t
2.830 * [taylor]: Taking taylor expansion of z in z
2.830 * [backup-simplify]: Simplify 0 into 0
2.830 * [backup-simplify]: Simplify 1 into 1
2.831 * [backup-simplify]: Simplify (* 0 1.0) into 0
2.831 * [backup-simplify]: Simplify (+ 0 1) into 1
2.831 * [backup-simplify]: Simplify (* t 0) into 0
2.831 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
2.832 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.832 * [taylor]: Taking taylor expansion of (/ (fma z 1.0 1) (* t z)) in z
2.832 * [taylor]: Taking taylor expansion of (fma z 1.0 1) in z
2.832 * [taylor]: Rewrote expression to (+ (* z 1.0) 1)
2.832 * [taylor]: Taking taylor expansion of (* z 1.0) in z
2.832 * [taylor]: Taking taylor expansion of z in z
2.832 * [backup-simplify]: Simplify 0 into 0
2.832 * [backup-simplify]: Simplify 1 into 1
2.832 * [taylor]: Taking taylor expansion of 1.0 in z
2.832 * [backup-simplify]: Simplify 1.0 into 1.0
2.832 * [taylor]: Taking taylor expansion of 1 in z
2.832 * [backup-simplify]: Simplify 1 into 1
2.832 * [taylor]: Taking taylor expansion of (* t z) in z
2.832 * [taylor]: Taking taylor expansion of t in z
2.832 * [backup-simplify]: Simplify t into t
2.832 * [taylor]: Taking taylor expansion of z in z
2.832 * [backup-simplify]: Simplify 0 into 0
2.832 * [backup-simplify]: Simplify 1 into 1
2.833 * [backup-simplify]: Simplify (* 0 1.0) into 0
2.833 * [backup-simplify]: Simplify (+ 0 1) into 1
2.833 * [backup-simplify]: Simplify (* t 0) into 0
2.834 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
2.834 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.834 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.834 * [taylor]: Taking taylor expansion of t in t
2.834 * [backup-simplify]: Simplify 0 into 0
2.834 * [backup-simplify]: Simplify 1 into 1
2.834 * [backup-simplify]: Simplify (/ 1 1) into 1
2.834 * [backup-simplify]: Simplify 1 into 1
2.836 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 1.0)) into 1.0
2.836 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.837 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 1) (* 0 0))) into 0
2.837 * [backup-simplify]: Simplify (- (/ 1.0 t) (+ (* (/ 1 t) (/ 0 t)))) into (* 1.0 (/ 1 t))
2.837 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
2.837 * [taylor]: Taking taylor expansion of 1.0 in t
2.837 * [backup-simplify]: Simplify 1.0 into 1.0
2.837 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.837 * [taylor]: Taking taylor expansion of t in t
2.838 * [backup-simplify]: Simplify 0 into 0
2.838 * [backup-simplify]: Simplify 1 into 1
2.838 * [backup-simplify]: Simplify (/ 1 1) into 1
2.838 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
2.838 * [backup-simplify]: Simplify 1.0 into 1.0
2.839 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.839 * [backup-simplify]: Simplify 0 into 0
2.840 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 1.0))) into 0
2.841 * [backup-simplify]: Simplify (+ 0 0) into 0
2.841 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.842 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)) (* (* 1.0 (/ 1 t)) (/ 0 t)))) into 0
2.842 * [taylor]: Taking taylor expansion of 0 in t
2.842 * [backup-simplify]: Simplify 0 into 0
2.842 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.843 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
2.843 * [backup-simplify]: Simplify 0 into 0
2.844 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.844 * [backup-simplify]: Simplify 0 into 0
2.845 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 1.0)))) into 0
2.846 * [backup-simplify]: Simplify (+ 0 0) into 0
2.847 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
2.847 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)) (* (* 1.0 (/ 1 t)) (/ 0 t)) (* 0 (/ 0 t)))) into 0
2.847 * [taylor]: Taking taylor expansion of 0 in t
2.847 * [backup-simplify]: Simplify 0 into 0
2.847 * [backup-simplify]: Simplify 0 into 0
2.848 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.849 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
2.849 * [backup-simplify]: Simplify 0 into 0
2.850 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.850 * [backup-simplify]: Simplify 0 into 0
2.850 * [backup-simplify]: Simplify (+ (* 1.0 (* (/ 1 t) 1)) (* 1 (* (/ 1 t) (/ 1 z)))) into (+ (* 1.0 (/ 1 t)) (/ 1 (* t z)))
2.850 * [backup-simplify]: Simplify (/ (fma (/ 1 z) 1.0 1) (* (/ 1 t) (/ 1 z))) into (* t (* z (fma (/ 1 z) 1.0 1)))
2.851 * [approximate]: Taking taylor expansion of (* t (* z (fma (/ 1 z) 1.0 1))) in (z t) around 0
2.851 * [taylor]: Taking taylor expansion of (* t (* z (fma (/ 1 z) 1.0 1))) in t
2.851 * [taylor]: Taking taylor expansion of t in t
2.851 * [backup-simplify]: Simplify 0 into 0
2.851 * [backup-simplify]: Simplify 1 into 1
2.851 * [taylor]: Taking taylor expansion of (* z (fma (/ 1 z) 1.0 1)) in t
2.851 * [taylor]: Taking taylor expansion of z in t
2.851 * [backup-simplify]: Simplify z into z
2.851 * [taylor]: Taking taylor expansion of (fma (/ 1 z) 1.0 1) in t
2.851 * [taylor]: Rewrote expression to (+ (* (/ 1 z) 1.0) 1)
2.851 * [taylor]: Taking taylor expansion of (* (/ 1 z) 1.0) in t
2.851 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.851 * [taylor]: Taking taylor expansion of z in t
2.851 * [backup-simplify]: Simplify z into z
2.851 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.851 * [taylor]: Taking taylor expansion of 1.0 in t
2.851 * [backup-simplify]: Simplify 1.0 into 1.0
2.851 * [taylor]: Taking taylor expansion of 1 in t
2.852 * [backup-simplify]: Simplify 1 into 1
2.852 * [taylor]: Taking taylor expansion of (* t (* z (fma (/ 1 z) 1.0 1))) in z
2.852 * [taylor]: Taking taylor expansion of t in z
2.852 * [backup-simplify]: Simplify t into t
2.852 * [taylor]: Taking taylor expansion of (* z (fma (/ 1 z) 1.0 1)) in z
2.852 * [taylor]: Taking taylor expansion of z in z
2.852 * [backup-simplify]: Simplify 0 into 0
2.852 * [backup-simplify]: Simplify 1 into 1
2.852 * [taylor]: Taking taylor expansion of (fma (/ 1 z) 1.0 1) in z
2.852 * [taylor]: Rewrote expression to (+ (* (/ 1 z) 1.0) 1)
2.852 * [taylor]: Taking taylor expansion of (* (/ 1 z) 1.0) in z
2.852 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.852 * [taylor]: Taking taylor expansion of z in z
2.852 * [backup-simplify]: Simplify 0 into 0
2.852 * [backup-simplify]: Simplify 1 into 1
2.852 * [backup-simplify]: Simplify (/ 1 1) into 1
2.853 * [taylor]: Taking taylor expansion of 1.0 in z
2.853 * [backup-simplify]: Simplify 1.0 into 1.0
2.853 * [taylor]: Taking taylor expansion of 1 in z
2.853 * [backup-simplify]: Simplify 1 into 1
2.853 * [taylor]: Taking taylor expansion of (* t (* z (fma (/ 1 z) 1.0 1))) in z
2.853 * [taylor]: Taking taylor expansion of t in z
2.853 * [backup-simplify]: Simplify t into t
2.853 * [taylor]: Taking taylor expansion of (* z (fma (/ 1 z) 1.0 1)) in z
2.853 * [taylor]: Taking taylor expansion of z in z
2.853 * [backup-simplify]: Simplify 0 into 0
2.853 * [backup-simplify]: Simplify 1 into 1
2.853 * [taylor]: Taking taylor expansion of (fma (/ 1 z) 1.0 1) in z
2.853 * [taylor]: Rewrote expression to (+ (* (/ 1 z) 1.0) 1)
2.853 * [taylor]: Taking taylor expansion of (* (/ 1 z) 1.0) in z
2.853 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.853 * [taylor]: Taking taylor expansion of z in z
2.853 * [backup-simplify]: Simplify 0 into 0
2.853 * [backup-simplify]: Simplify 1 into 1
2.854 * [backup-simplify]: Simplify (/ 1 1) into 1
2.854 * [taylor]: Taking taylor expansion of 1.0 in z
2.854 * [backup-simplify]: Simplify 1.0 into 1.0
2.854 * [taylor]: Taking taylor expansion of 1 in z
2.854 * [backup-simplify]: Simplify 1 into 1
2.854 * [backup-simplify]: Simplify (* 1 1.0) into 1.0
2.855 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.855 * [backup-simplify]: Simplify (* 0 1.0) into 0
2.855 * [backup-simplify]: Simplify (* t 0) into 0
2.855 * [taylor]: Taking taylor expansion of 0 in t
2.855 * [backup-simplify]: Simplify 0 into 0
2.855 * [backup-simplify]: Simplify 0 into 0
2.856 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.857 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1.0)) into 0
2.857 * [backup-simplify]: Simplify (+ 0 1) into 1
2.859 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1.0)) into 1.0
2.859 * [backup-simplify]: Simplify (+ (* t 1.0) (* 0 0)) into (* 1.0 t)
2.859 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
2.859 * [taylor]: Taking taylor expansion of 1.0 in t
2.860 * [backup-simplify]: Simplify 1.0 into 1.0
2.860 * [taylor]: Taking taylor expansion of t in t
2.860 * [backup-simplify]: Simplify 0 into 0
2.860 * [backup-simplify]: Simplify 1 into 1
2.860 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.860 * [backup-simplify]: Simplify 0 into 0
2.860 * [backup-simplify]: Simplify 0 into 0
2.861 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.862 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1.0))) into 0
2.863 * [backup-simplify]: Simplify (+ 0 0) into 0
2.864 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1.0))) into 1
2.864 * [backup-simplify]: Simplify (+ (* t 1) (+ (* 0 1.0) (* 0 0))) into t
2.864 * [taylor]: Taking taylor expansion of t in t
2.864 * [backup-simplify]: Simplify 0 into 0
2.864 * [backup-simplify]: Simplify 1 into 1
2.864 * [backup-simplify]: Simplify 0 into 0
2.866 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
2.866 * [backup-simplify]: Simplify 1.0 into 1.0
2.866 * [backup-simplify]: Simplify 0 into 0
2.867 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.868 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))) into 0
2.869 * [backup-simplify]: Simplify (+ 0 0) into 0
2.870 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1.0)))) into 0
2.871 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 1) (+ (* 0 1.0) (* 0 0)))) into 0
2.871 * [taylor]: Taking taylor expansion of 0 in t
2.871 * [backup-simplify]: Simplify 0 into 0
2.871 * [backup-simplify]: Simplify 0 into 0
2.871 * [backup-simplify]: Simplify 1 into 1
2.872 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
2.872 * [backup-simplify]: Simplify 0 into 0
2.872 * [backup-simplify]: Simplify 0 into 0
2.873 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.874 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))) into 0
2.875 * [backup-simplify]: Simplify (+ 0 0) into 0
2.876 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 1.0))))) into 0
2.878 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 1.0) (* 0 0))))) into 0
2.878 * [taylor]: Taking taylor expansion of 0 in t
2.878 * [backup-simplify]: Simplify 0 into 0
2.878 * [backup-simplify]: Simplify 0 into 0
2.878 * [backup-simplify]: Simplify 0 into 0
2.878 * [backup-simplify]: Simplify 0 into 0
2.879 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.879 * [backup-simplify]: Simplify 0 into 0
2.879 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 t) (/ 1 z))) (* 1.0 (* (/ 1 t) 1))) into (+ (* 1.0 (/ 1 t)) (/ 1 (* t z)))
2.880 * [backup-simplify]: Simplify (/ (fma (/ 1 (- z)) 1.0 1) (* (/ 1 (- t)) (/ 1 (- z)))) into (* t (* (fma (/ -1 z) 1.0 1) z))
2.880 * [approximate]: Taking taylor expansion of (* t (* (fma (/ -1 z) 1.0 1) z)) in (z t) around 0
2.880 * [taylor]: Taking taylor expansion of (* t (* (fma (/ -1 z) 1.0 1) z)) in t
2.880 * [taylor]: Taking taylor expansion of t in t
2.880 * [backup-simplify]: Simplify 0 into 0
2.880 * [backup-simplify]: Simplify 1 into 1
2.880 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) 1.0 1) z) in t
2.880 * [taylor]: Taking taylor expansion of (fma (/ -1 z) 1.0 1) in t
2.880 * [taylor]: Rewrote expression to (+ (* (/ -1 z) 1.0) 1)
2.880 * [taylor]: Taking taylor expansion of (* (/ -1 z) 1.0) in t
2.880 * [taylor]: Taking taylor expansion of (/ -1 z) in t
2.880 * [taylor]: Taking taylor expansion of -1 in t
2.880 * [backup-simplify]: Simplify -1 into -1
2.880 * [taylor]: Taking taylor expansion of z in t
2.880 * [backup-simplify]: Simplify z into z
2.880 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
2.880 * [taylor]: Taking taylor expansion of 1.0 in t
2.881 * [backup-simplify]: Simplify 1.0 into 1.0
2.881 * [taylor]: Taking taylor expansion of 1 in t
2.881 * [backup-simplify]: Simplify 1 into 1
2.881 * [taylor]: Taking taylor expansion of z in t
2.881 * [backup-simplify]: Simplify z into z
2.881 * [taylor]: Taking taylor expansion of (* t (* (fma (/ -1 z) 1.0 1) z)) in z
2.881 * [taylor]: Taking taylor expansion of t in z
2.881 * [backup-simplify]: Simplify t into t
2.881 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) 1.0 1) z) in z
2.881 * [taylor]: Taking taylor expansion of (fma (/ -1 z) 1.0 1) in z
2.881 * [taylor]: Rewrote expression to (+ (* (/ -1 z) 1.0) 1)
2.881 * [taylor]: Taking taylor expansion of (* (/ -1 z) 1.0) in z
2.881 * [taylor]: Taking taylor expansion of (/ -1 z) in z
2.881 * [taylor]: Taking taylor expansion of -1 in z
2.881 * [backup-simplify]: Simplify -1 into -1
2.881 * [taylor]: Taking taylor expansion of z in z
2.881 * [backup-simplify]: Simplify 0 into 0
2.881 * [backup-simplify]: Simplify 1 into 1
2.882 * [backup-simplify]: Simplify (/ -1 1) into -1
2.882 * [taylor]: Taking taylor expansion of 1.0 in z
2.882 * [backup-simplify]: Simplify 1.0 into 1.0
2.882 * [taylor]: Taking taylor expansion of 1 in z
2.882 * [backup-simplify]: Simplify 1 into 1
2.882 * [taylor]: Taking taylor expansion of z in z
2.882 * [backup-simplify]: Simplify 0 into 0
2.882 * [backup-simplify]: Simplify 1 into 1
2.882 * [taylor]: Taking taylor expansion of (* t (* (fma (/ -1 z) 1.0 1) z)) in z
2.882 * [taylor]: Taking taylor expansion of t in z
2.882 * [backup-simplify]: Simplify t into t
2.882 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) 1.0 1) z) in z
2.882 * [taylor]: Taking taylor expansion of (fma (/ -1 z) 1.0 1) in z
2.882 * [taylor]: Rewrote expression to (+ (* (/ -1 z) 1.0) 1)
2.882 * [taylor]: Taking taylor expansion of (* (/ -1 z) 1.0) in z
2.882 * [taylor]: Taking taylor expansion of (/ -1 z) in z
2.882 * [taylor]: Taking taylor expansion of -1 in z
2.882 * [backup-simplify]: Simplify -1 into -1
2.882 * [taylor]: Taking taylor expansion of z in z
2.882 * [backup-simplify]: Simplify 0 into 0
2.882 * [backup-simplify]: Simplify 1 into 1
2.883 * [backup-simplify]: Simplify (/ -1 1) into -1
2.883 * [taylor]: Taking taylor expansion of 1.0 in z
2.883 * [backup-simplify]: Simplify 1.0 into 1.0
2.883 * [taylor]: Taking taylor expansion of 1 in z
2.883 * [backup-simplify]: Simplify 1 into 1
2.883 * [taylor]: Taking taylor expansion of z in z
2.883 * [backup-simplify]: Simplify 0 into 0
2.883 * [backup-simplify]: Simplify 1 into 1
2.884 * [backup-simplify]: Simplify (* -1 1.0) into -1.0
2.884 * [backup-simplify]: Simplify (+ -1.0 0) into (- 1.0)
2.885 * [backup-simplify]: Simplify (* (- 1.0) 0) into 0
2.885 * [backup-simplify]: Simplify (* t 0) into 0
2.885 * [taylor]: Taking taylor expansion of 0 in t
2.885 * [backup-simplify]: Simplify 0 into 0
2.885 * [backup-simplify]: Simplify 0 into 0
2.886 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.887 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1.0)) into 0
2.887 * [backup-simplify]: Simplify (+ 0 1) into 1
2.889 * [backup-simplify]: Simplify (+ (* (- 1.0) 1) (* 1 0)) into (- 1.0)
2.890 * [backup-simplify]: Simplify (+ (* t (- 1.0)) (* 0 0)) into (- (* 1.0 t))
2.890 * [taylor]: Taking taylor expansion of (- (* 1.0 t)) in t
2.890 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
2.890 * [taylor]: Taking taylor expansion of 1.0 in t
2.890 * [backup-simplify]: Simplify 1.0 into 1.0
2.890 * [taylor]: Taking taylor expansion of t in t
2.890 * [backup-simplify]: Simplify 0 into 0
2.891 * [backup-simplify]: Simplify 1 into 1
2.891 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.891 * [backup-simplify]: Simplify (- 0) into 0
2.891 * [backup-simplify]: Simplify 0 into 0
2.891 * [backup-simplify]: Simplify 0 into 0
2.892 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.894 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1.0))) into 0
2.894 * [backup-simplify]: Simplify (+ 0 0) into 0
2.895 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 1) (* 0 0))) into 1
2.896 * [backup-simplify]: Simplify (+ (* t 1) (+ (* 0 (- 1.0)) (* 0 0))) into t
2.896 * [taylor]: Taking taylor expansion of t in t
2.896 * [backup-simplify]: Simplify 0 into 0
2.896 * [backup-simplify]: Simplify 1 into 1
2.896 * [backup-simplify]: Simplify 0 into 0
2.898 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
2.898 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.898 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.899 * [backup-simplify]: Simplify 0 into 0
2.900 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.907 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))) into 0
2.908 * [backup-simplify]: Simplify (+ 0 0) into 0
2.910 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
2.911 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 1) (+ (* 0 (- 1.0)) (* 0 0)))) into 0
2.911 * [taylor]: Taking taylor expansion of 0 in t
2.911 * [backup-simplify]: Simplify 0 into 0
2.911 * [backup-simplify]: Simplify 0 into 0
2.911 * [backup-simplify]: Simplify 1 into 1
2.912 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
2.913 * [backup-simplify]: Simplify (- 0) into 0
2.913 * [backup-simplify]: Simplify 0 into 0
2.913 * [backup-simplify]: Simplify 0 into 0
2.914 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.915 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))) into 0
2.916 * [backup-simplify]: Simplify (+ 0 0) into 0
2.918 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
2.920 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- 1.0)) (* 0 0))))) into 0
2.920 * [taylor]: Taking taylor expansion of 0 in t
2.920 * [backup-simplify]: Simplify 0 into 0
2.920 * [backup-simplify]: Simplify 0 into 0
2.920 * [backup-simplify]: Simplify 0 into 0
2.920 * [backup-simplify]: Simplify 0 into 0
2.921 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.922 * [backup-simplify]: Simplify (- 0) into 0
2.922 * [backup-simplify]: Simplify 0 into 0
2.922 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (- t)) (/ 1 (- z)))) (* (- 1.0) (* (/ 1 (- t)) 1))) into (+ (* 1.0 (/ 1 t)) (/ 1 (* t z)))
2.922 * * * [progress]: simplifying candidates
2.923 * [simplify]: Simplifying:
  (expm1 (/ (fma z 1.0 1) (* t z)))
  (log1p (/ (fma z 1.0 1) (* t z)))
  (- (log (fma z 1.0 1)) (+ (log t) (log z)))
  (- (log (fma z 1.0 1)) (log (* t z)))
  (log (/ (fma z 1.0 1) (* t z)))
  (exp (/ (fma z 1.0 1) (* t z)))
  (/ (* (* (fma z 1.0 1) (fma z 1.0 1)) (fma z 1.0 1)) (* (* (* t t) t) (* (* z z) z)))
  (/ (* (* (fma z 1.0 1) (fma z 1.0 1)) (fma z 1.0 1)) (* (* (* t z) (* t z)) (* t z)))
  (* (cbrt (/ (fma z 1.0 1) (* t z))) (cbrt (/ (fma z 1.0 1) (* t z))))
  (cbrt (/ (fma z 1.0 1) (* t z)))
  (* (* (/ (fma z 1.0 1) (* t z)) (/ (fma z 1.0 1) (* t z))) (/ (fma z 1.0 1) (* t z)))
  (sqrt (/ (fma z 1.0 1) (* t z)))
  (sqrt (/ (fma z 1.0 1) (* t z)))
  (- (fma z 1.0 1))
  (- (* t z))
  (/ (* (cbrt (fma z 1.0 1)) (cbrt (fma z 1.0 1))) t)
  (/ (cbrt (fma z 1.0 1)) z)
  (/ (sqrt (fma z 1.0 1)) t)
  (/ (sqrt (fma z 1.0 1)) z)
  (/ 1 t)
  (/ (fma z 1.0 1) z)
  (/ 1 (* t z))
  (/ (* t z) (fma z 1.0 1))
  (/ (fma z 1.0 1) t)
  (/ (* t z) (cbrt (fma z 1.0 1)))
  (/ (* t z) (sqrt (fma z 1.0 1)))
  (/ (* t z) (fma z 1.0 1))
  (+ (* 1.0 (/ 1 t)) (/ 1 (* t z)))
  (+ (* 1.0 (/ 1 t)) (/ 1 (* t z)))
  (+ (* 1.0 (/ 1 t)) (/ 1 (* t z)))
2.924 * * [simplify]: iteration 0: 52 enodes
2.941 * * [simplify]: iteration 1: 114 enodes
2.971 * * [simplify]: iteration 2: 393 enodes
3.534 * * [simplify]: iteration 3: 2518 enodes
4.323 * * [simplify]: iteration complete: 5000 enodes
4.323 * * [simplify]: Extracting #0: cost 22 inf + 0
4.324 * * [simplify]: Extracting #1: cost 334 inf + 0
4.333 * * [simplify]: Extracting #2: cost 1394 inf + 868
4.349 * * [simplify]: Extracting #3: cost 601 inf + 11001
4.362 * * [simplify]: Extracting #4: cost 3 inf + 17473
4.375 * * [simplify]: Extracting #5: cost 0 inf + 17518
4.387 * [simplify]: Simplified to:
  (expm1 (/ (fma 1.0 z 1) (* t z)))
  (log1p (/ (fma 1.0 z 1) (* t z)))
  (log (/ (fma 1.0 z 1) (* t z)))
  (log (/ (fma 1.0 z 1) (* t z)))
  (log (/ (fma 1.0 z 1) (* t z)))
  (exp (/ (fma 1.0 z 1) (* t z)))
  (pow (/ (fma 1.0 z 1) (* t z)) 3)
  (pow (/ (fma 1.0 z 1) (* t z)) 3)
  (* (cbrt (/ (fma 1.0 z 1) (* t z))) (cbrt (/ (fma 1.0 z 1) (* t z))))
  (cbrt (/ (fma 1.0 z 1) (* t z)))
  (pow (/ (fma 1.0 z 1) (* t z)) 3)
  (sqrt (/ (fma 1.0 z 1) (* t z)))
  (sqrt (/ (fma 1.0 z 1) (* t z)))
  (fma z (- 1.0) -1)
  (- (* z t))
  (/ (* (cbrt (fma 1.0 z 1)) (cbrt (fma 1.0 z 1))) t)
  (/ (cbrt (fma 1.0 z 1)) z)
  (/ (sqrt (fma 1.0 z 1)) t)
  (/ (sqrt (fma 1.0 z 1)) z)
  (/ 1 t)
  (/ (fma 1.0 z 1) z)
  (/ (/ 1 t) z)
  (/ (* t z) (fma 1.0 z 1))
  (/ (fma 1.0 z 1) t)
  (/ (* t z) (cbrt (fma 1.0 z 1)))
  (/ (* t z) (sqrt (fma 1.0 z 1)))
  (/ (* t z) (fma 1.0 z 1))
  (+ (/ (/ 1 t) z) (/ 1.0 t))
  (+ (/ (/ 1 t) z) (/ 1.0 t))
  (+ (/ (/ 1 t) z) (/ 1.0 t))
4.388 * * * [progress]: adding candidates to table
4.533 * * [progress]: iteration 2 / 4
4.533 * * * [progress]: picking best candidate
4.559 * * * * [pick]: Picked  #<alt (λ (x y z t) (fma (- (* (/ 1 t) (/ (fma 1.0 z 1) z)) 1) 2.0 (/ x y)))>
4.559 * * * [progress]: localizing error
4.591 * * * [progress]: generating rewritten candidates
4.591 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
4.618 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1 2)
4.632 * * * [progress]: generating series expansions
4.632 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
4.632 * [backup-simplify]: Simplify (* (/ 1 t) (/ (fma 1.0 z 1) z)) into (/ (fma 1.0 z 1) (* t z))
4.632 * [approximate]: Taking taylor expansion of (/ (fma 1.0 z 1) (* t z)) in (t z) around 0
4.632 * [taylor]: Taking taylor expansion of (/ (fma 1.0 z 1) (* t z)) in z
4.632 * [taylor]: Taking taylor expansion of (fma 1.0 z 1) in z
4.633 * [taylor]: Rewrote expression to (+ (* 1.0 z) 1)
4.633 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
4.633 * [taylor]: Taking taylor expansion of 1.0 in z
4.633 * [backup-simplify]: Simplify 1.0 into 1.0
4.633 * [taylor]: Taking taylor expansion of z in z
4.633 * [backup-simplify]: Simplify 0 into 0
4.633 * [backup-simplify]: Simplify 1 into 1
4.633 * [taylor]: Taking taylor expansion of 1 in z
4.633 * [backup-simplify]: Simplify 1 into 1
4.633 * [taylor]: Taking taylor expansion of (* t z) in z
4.633 * [taylor]: Taking taylor expansion of t in z
4.633 * [backup-simplify]: Simplify t into t
4.633 * [taylor]: Taking taylor expansion of z in z
4.633 * [backup-simplify]: Simplify 0 into 0
4.633 * [backup-simplify]: Simplify 1 into 1
4.634 * [backup-simplify]: Simplify (* 1.0 0) into 0
4.634 * [backup-simplify]: Simplify (+ 0 1) into 1
4.634 * [backup-simplify]: Simplify (* t 0) into 0
4.635 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
4.635 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
4.635 * [taylor]: Taking taylor expansion of (/ (fma 1.0 z 1) (* t z)) in t
4.635 * [taylor]: Taking taylor expansion of (fma 1.0 z 1) in t
4.635 * [taylor]: Rewrote expression to (+ (* 1.0 z) 1)
4.635 * [taylor]: Taking taylor expansion of (* 1.0 z) in t
4.635 * [taylor]: Taking taylor expansion of 1.0 in t
4.635 * [backup-simplify]: Simplify 1.0 into 1.0
4.635 * [taylor]: Taking taylor expansion of z in t
4.635 * [backup-simplify]: Simplify z into z
4.635 * [taylor]: Taking taylor expansion of 1 in t
4.635 * [backup-simplify]: Simplify 1 into 1
4.635 * [taylor]: Taking taylor expansion of (* t z) in t
4.635 * [taylor]: Taking taylor expansion of t in t
4.635 * [backup-simplify]: Simplify 0 into 0
4.635 * [backup-simplify]: Simplify 1 into 1
4.635 * [taylor]: Taking taylor expansion of z in t
4.635 * [backup-simplify]: Simplify z into z
4.635 * [backup-simplify]: Simplify (* 1.0 z) into (* 1.0 z)
4.635 * [backup-simplify]: Simplify (+ (* 1.0 z) 1) into (+ (* 1.0 z) 1)
4.635 * [backup-simplify]: Simplify (* 0 z) into 0
4.636 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
4.636 * [backup-simplify]: Simplify (/ (+ (* 1.0 z) 1) z) into (/ (+ (* 1.0 z) 1) z)
4.636 * [taylor]: Taking taylor expansion of (/ (fma 1.0 z 1) (* t z)) in t
4.636 * [taylor]: Taking taylor expansion of (fma 1.0 z 1) in t
4.636 * [taylor]: Rewrote expression to (+ (* 1.0 z) 1)
4.636 * [taylor]: Taking taylor expansion of (* 1.0 z) in t
4.636 * [taylor]: Taking taylor expansion of 1.0 in t
4.636 * [backup-simplify]: Simplify 1.0 into 1.0
4.636 * [taylor]: Taking taylor expansion of z in t
4.636 * [backup-simplify]: Simplify z into z
4.636 * [taylor]: Taking taylor expansion of 1 in t
4.636 * [backup-simplify]: Simplify 1 into 1
4.636 * [taylor]: Taking taylor expansion of (* t z) in t
4.636 * [taylor]: Taking taylor expansion of t in t
4.636 * [backup-simplify]: Simplify 0 into 0
4.637 * [backup-simplify]: Simplify 1 into 1
4.637 * [taylor]: Taking taylor expansion of z in t
4.637 * [backup-simplify]: Simplify z into z
4.637 * [backup-simplify]: Simplify (* 1.0 z) into (* 1.0 z)
4.637 * [backup-simplify]: Simplify (+ (* 1.0 z) 1) into (+ (* 1.0 z) 1)
4.637 * [backup-simplify]: Simplify (* 0 z) into 0
4.637 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
4.637 * [backup-simplify]: Simplify (/ (+ (* 1.0 z) 1) z) into (/ (+ (* 1.0 z) 1) z)
4.637 * [taylor]: Taking taylor expansion of (/ (+ (* 1.0 z) 1) z) in z
4.637 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) 1) in z
4.637 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
4.637 * [taylor]: Taking taylor expansion of 1.0 in z
4.637 * [backup-simplify]: Simplify 1.0 into 1.0
4.638 * [taylor]: Taking taylor expansion of z in z
4.638 * [backup-simplify]: Simplify 0 into 0
4.638 * [backup-simplify]: Simplify 1 into 1
4.638 * [taylor]: Taking taylor expansion of 1 in z
4.638 * [backup-simplify]: Simplify 1 into 1
4.638 * [taylor]: Taking taylor expansion of z in z
4.638 * [backup-simplify]: Simplify 0 into 0
4.638 * [backup-simplify]: Simplify 1 into 1
4.638 * [backup-simplify]: Simplify (* 1.0 0) into 0
4.638 * [backup-simplify]: Simplify (+ 0 1) into 1
4.639 * [backup-simplify]: Simplify (/ 1 1) into 1
4.639 * [backup-simplify]: Simplify 1 into 1
4.639 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 z)) into 0
4.640 * [backup-simplify]: Simplify (+ 0 0) into 0
4.641 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
4.641 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ (+ (* 1.0 z) 1) z) (/ 0 z)))) into 0
4.641 * [taylor]: Taking taylor expansion of 0 in z
4.641 * [backup-simplify]: Simplify 0 into 0
4.642 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
4.643 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
4.645 * [backup-simplify]: Simplify (- (/ 1.0 1) (+ (* 1 (/ 0 1)))) into 1.0
4.645 * [backup-simplify]: Simplify 1.0 into 1.0
4.646 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 z))) into 0
4.646 * [backup-simplify]: Simplify (+ 0 0) into 0
4.647 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0
4.648 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ (+ (* 1.0 z) 1) z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.648 * [taylor]: Taking taylor expansion of 0 in z
4.648 * [backup-simplify]: Simplify 0 into 0
4.648 * [backup-simplify]: Simplify 0 into 0
4.649 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
4.649 * [backup-simplify]: Simplify (+ 0 0) into 0
4.650 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1.0 (/ 0 1)))) into 0
4.650 * [backup-simplify]: Simplify 0 into 0
4.651 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
4.652 * [backup-simplify]: Simplify (+ 0 0) into 0
4.653 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 z))))) into 0
4.654 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ (+ (* 1.0 z) 1) z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.654 * [taylor]: Taking taylor expansion of 0 in z
4.654 * [backup-simplify]: Simplify 0 into 0
4.654 * [backup-simplify]: Simplify 0 into 0
4.654 * [backup-simplify]: Simplify 0 into 0
4.655 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
4.655 * [backup-simplify]: Simplify (+ 0 0) into 0
4.656 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.656 * [backup-simplify]: Simplify 0 into 0
4.658 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 z))))) into 0
4.658 * [backup-simplify]: Simplify (+ 0 0) into 0
4.660 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))))) into 0
4.660 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ (+ (* 1.0 z) 1) z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.660 * [taylor]: Taking taylor expansion of 0 in z
4.661 * [backup-simplify]: Simplify 0 into 0
4.661 * [backup-simplify]: Simplify 0 into 0
4.661 * [backup-simplify]: Simplify (+ (* 1.0 (* 1 (/ 1 t))) (* 1 (* (/ 1 z) (/ 1 t)))) into (+ (* 1.0 (/ 1 t)) (/ 1 (* t z)))
4.661 * [backup-simplify]: Simplify (* (/ 1 (/ 1 t)) (/ (fma 1.0 (/ 1 z) 1) (/ 1 z))) into (* t (* (fma 1.0 (/ 1 z) 1) z))
4.661 * [approximate]: Taking taylor expansion of (* t (* (fma 1.0 (/ 1 z) 1) z)) in (t z) around 0
4.661 * [taylor]: Taking taylor expansion of (* t (* (fma 1.0 (/ 1 z) 1) z)) in z
4.661 * [taylor]: Taking taylor expansion of t in z
4.661 * [backup-simplify]: Simplify t into t
4.661 * [taylor]: Taking taylor expansion of (* (fma 1.0 (/ 1 z) 1) z) in z
4.661 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 z) 1) in z
4.661 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 z)) 1)
4.661 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
4.661 * [taylor]: Taking taylor expansion of 1.0 in z
4.661 * [backup-simplify]: Simplify 1.0 into 1.0
4.662 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.662 * [taylor]: Taking taylor expansion of z in z
4.662 * [backup-simplify]: Simplify 0 into 0
4.662 * [backup-simplify]: Simplify 1 into 1
4.662 * [backup-simplify]: Simplify (/ 1 1) into 1
4.662 * [taylor]: Taking taylor expansion of 1 in z
4.662 * [backup-simplify]: Simplify 1 into 1
4.662 * [taylor]: Taking taylor expansion of z in z
4.662 * [backup-simplify]: Simplify 0 into 0
4.662 * [backup-simplify]: Simplify 1 into 1
4.662 * [taylor]: Taking taylor expansion of (* t (* (fma 1.0 (/ 1 z) 1) z)) in t
4.662 * [taylor]: Taking taylor expansion of t in t
4.662 * [backup-simplify]: Simplify 0 into 0
4.662 * [backup-simplify]: Simplify 1 into 1
4.662 * [taylor]: Taking taylor expansion of (* (fma 1.0 (/ 1 z) 1) z) in t
4.662 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 z) 1) in t
4.662 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 z)) 1)
4.662 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in t
4.662 * [taylor]: Taking taylor expansion of 1.0 in t
4.662 * [backup-simplify]: Simplify 1.0 into 1.0
4.663 * [taylor]: Taking taylor expansion of (/ 1 z) in t
4.663 * [taylor]: Taking taylor expansion of z in t
4.663 * [backup-simplify]: Simplify z into z
4.663 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.663 * [taylor]: Taking taylor expansion of 1 in t
4.663 * [backup-simplify]: Simplify 1 into 1
4.663 * [taylor]: Taking taylor expansion of z in t
4.663 * [backup-simplify]: Simplify z into z
4.663 * [taylor]: Taking taylor expansion of (* t (* (fma 1.0 (/ 1 z) 1) z)) in t
4.663 * [taylor]: Taking taylor expansion of t in t
4.663 * [backup-simplify]: Simplify 0 into 0
4.663 * [backup-simplify]: Simplify 1 into 1
4.663 * [taylor]: Taking taylor expansion of (* (fma 1.0 (/ 1 z) 1) z) in t
4.663 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 z) 1) in t
4.663 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 z)) 1)
4.663 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in t
4.663 * [taylor]: Taking taylor expansion of 1.0 in t
4.663 * [backup-simplify]: Simplify 1.0 into 1.0
4.663 * [taylor]: Taking taylor expansion of (/ 1 z) in t
4.663 * [taylor]: Taking taylor expansion of z in t
4.663 * [backup-simplify]: Simplify z into z
4.663 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.663 * [taylor]: Taking taylor expansion of 1 in t
4.663 * [backup-simplify]: Simplify 1 into 1
4.663 * [taylor]: Taking taylor expansion of z in t
4.663 * [backup-simplify]: Simplify z into z
4.664 * [backup-simplify]: Simplify (* 1.0 (/ 1 z)) into (/ 1.0 z)
4.664 * [backup-simplify]: Simplify (+ (/ 1.0 z) 1) into (+ 1 (* 1.0 (/ 1 z)))
4.664 * [backup-simplify]: Simplify (* (+ 1 (* 1.0 (/ 1 z))) z) into (* z (+ 1 (* 1.0 (/ 1 z))))
4.664 * [backup-simplify]: Simplify (* 0 (* z (+ 1 (* 1.0 (/ 1 z))))) into 0
4.664 * [taylor]: Taking taylor expansion of 0 in z
4.664 * [backup-simplify]: Simplify 0 into 0
4.664 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
4.665 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 z))) into 0
4.665 * [backup-simplify]: Simplify (+ 0 0) into 0
4.665 * [backup-simplify]: Simplify (+ (* (+ 1 (* 1.0 (/ 1 z))) 0) (* 0 z)) into 0
4.666 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (* z (+ 1 (* 1.0 (/ 1 z)))))) into (+ z 1.0)
4.666 * [taylor]: Taking taylor expansion of (+ z 1.0) in z
4.666 * [taylor]: Taking taylor expansion of z in z
4.666 * [backup-simplify]: Simplify 0 into 0
4.666 * [backup-simplify]: Simplify 1 into 1
4.666 * [taylor]: Taking taylor expansion of 1.0 in z
4.666 * [backup-simplify]: Simplify 1.0 into 1.0
4.666 * [backup-simplify]: Simplify 0 into 0
4.666 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.667 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0
4.667 * [backup-simplify]: Simplify (+ 0 0) into 0
4.668 * [backup-simplify]: Simplify (+ (* (+ 1 (* 1.0 (/ 1 z))) 0) (+ (* 0 0) (* 0 z))) into 0
4.669 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (* z (+ 1 (* 1.0 (/ 1 z))))))) into 0
4.669 * [taylor]: Taking taylor expansion of 0 in z
4.669 * [backup-simplify]: Simplify 0 into 0
4.669 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
4.669 * [backup-simplify]: Simplify 1.0 into 1.0
4.669 * [backup-simplify]: Simplify 0 into 0
4.670 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.671 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 z))))) into 0
4.671 * [backup-simplify]: Simplify (+ 0 0) into 0
4.672 * [backup-simplify]: Simplify (+ (* (+ 1 (* 1.0 (/ 1 z))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
4.673 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (* z (+ 1 (* 1.0 (/ 1 z)))))))) into 0
4.673 * [taylor]: Taking taylor expansion of 0 in z
4.673 * [backup-simplify]: Simplify 0 into 0
4.674 * [backup-simplify]: Simplify 0 into 0
4.674 * [backup-simplify]: Simplify (+ 1 0) into 1
4.674 * [backup-simplify]: Simplify 1 into 1
4.674 * [backup-simplify]: Simplify 0 into 0
4.674 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.676 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 z)))))) into 0
4.677 * [backup-simplify]: Simplify (+ 0 0) into 0
4.678 * [backup-simplify]: Simplify (+ (* (+ 1 (* 1.0 (/ 1 z))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 z))))) into 0
4.679 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* z (+ 1 (* 1.0 (/ 1 z))))))))) into 0
4.679 * [taylor]: Taking taylor expansion of 0 in z
4.679 * [backup-simplify]: Simplify 0 into 0
4.679 * [backup-simplify]: Simplify 0 into 0
4.679 * [backup-simplify]: Simplify 0 into 0
4.679 * [backup-simplify]: Simplify (+ 0 0) into 0
4.680 * [backup-simplify]: Simplify 0 into 0
4.680 * [backup-simplify]: Simplify 0 into 0
4.680 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.681 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 z))))))) into 0
4.681 * [backup-simplify]: Simplify (+ 0 0) into 0
4.682 * [backup-simplify]: Simplify (+ (* (+ 1 (* 1.0 (/ 1 z))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))))) into 0
4.684 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* z (+ 1 (* 1.0 (/ 1 z)))))))))) into 0
4.684 * [taylor]: Taking taylor expansion of 0 in z
4.684 * [backup-simplify]: Simplify 0 into 0
4.684 * [backup-simplify]: Simplify 0 into 0
4.684 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 z) (/ 1 t))) (* 1.0 (* 1 (/ 1 t)))) into (+ (* 1.0 (/ 1 t)) (/ 1 (* t z)))
4.684 * [backup-simplify]: Simplify (* (/ 1 (/ 1 (- t))) (/ (fma 1.0 (/ 1 (- z)) 1) (/ 1 (- z)))) into (* t (* (fma 1.0 (/ -1 z) 1) z))
4.684 * [approximate]: Taking taylor expansion of (* t (* (fma 1.0 (/ -1 z) 1) z)) in (t z) around 0
4.684 * [taylor]: Taking taylor expansion of (* t (* (fma 1.0 (/ -1 z) 1) z)) in z
4.684 * [taylor]: Taking taylor expansion of t in z
4.684 * [backup-simplify]: Simplify t into t
4.684 * [taylor]: Taking taylor expansion of (* (fma 1.0 (/ -1 z) 1) z) in z
4.684 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 z) 1) in z
4.684 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 z)) 1)
4.684 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 z)) in z
4.684 * [taylor]: Taking taylor expansion of 1.0 in z
4.684 * [backup-simplify]: Simplify 1.0 into 1.0
4.684 * [taylor]: Taking taylor expansion of (/ -1 z) in z
4.684 * [taylor]: Taking taylor expansion of -1 in z
4.684 * [backup-simplify]: Simplify -1 into -1
4.684 * [taylor]: Taking taylor expansion of z in z
4.684 * [backup-simplify]: Simplify 0 into 0
4.684 * [backup-simplify]: Simplify 1 into 1
4.685 * [backup-simplify]: Simplify (/ -1 1) into -1
4.685 * [taylor]: Taking taylor expansion of 1 in z
4.685 * [backup-simplify]: Simplify 1 into 1
4.685 * [taylor]: Taking taylor expansion of z in z
4.685 * [backup-simplify]: Simplify 0 into 0
4.685 * [backup-simplify]: Simplify 1 into 1
4.685 * [taylor]: Taking taylor expansion of (* t (* (fma 1.0 (/ -1 z) 1) z)) in t
4.685 * [taylor]: Taking taylor expansion of t in t
4.685 * [backup-simplify]: Simplify 0 into 0
4.685 * [backup-simplify]: Simplify 1 into 1
4.685 * [taylor]: Taking taylor expansion of (* (fma 1.0 (/ -1 z) 1) z) in t
4.685 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 z) 1) in t
4.685 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 z)) 1)
4.685 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 z)) in t
4.685 * [taylor]: Taking taylor expansion of 1.0 in t
4.685 * [backup-simplify]: Simplify 1.0 into 1.0
4.685 * [taylor]: Taking taylor expansion of (/ -1 z) in t
4.685 * [taylor]: Taking taylor expansion of -1 in t
4.685 * [backup-simplify]: Simplify -1 into -1
4.685 * [taylor]: Taking taylor expansion of z in t
4.685 * [backup-simplify]: Simplify z into z
4.685 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
4.685 * [taylor]: Taking taylor expansion of 1 in t
4.685 * [backup-simplify]: Simplify 1 into 1
4.685 * [taylor]: Taking taylor expansion of z in t
4.685 * [backup-simplify]: Simplify z into z
4.685 * [taylor]: Taking taylor expansion of (* t (* (fma 1.0 (/ -1 z) 1) z)) in t
4.685 * [taylor]: Taking taylor expansion of t in t
4.685 * [backup-simplify]: Simplify 0 into 0
4.685 * [backup-simplify]: Simplify 1 into 1
4.685 * [taylor]: Taking taylor expansion of (* (fma 1.0 (/ -1 z) 1) z) in t
4.685 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 z) 1) in t
4.685 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 z)) 1)
4.685 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 z)) in t
4.685 * [taylor]: Taking taylor expansion of 1.0 in t
4.685 * [backup-simplify]: Simplify 1.0 into 1.0
4.685 * [taylor]: Taking taylor expansion of (/ -1 z) in t
4.685 * [taylor]: Taking taylor expansion of -1 in t
4.685 * [backup-simplify]: Simplify -1 into -1
4.685 * [taylor]: Taking taylor expansion of z in t
4.685 * [backup-simplify]: Simplify z into z
4.685 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
4.686 * [taylor]: Taking taylor expansion of 1 in t
4.686 * [backup-simplify]: Simplify 1 into 1
4.686 * [taylor]: Taking taylor expansion of z in t
4.686 * [backup-simplify]: Simplify z into z
4.686 * [backup-simplify]: Simplify (* 1.0 (/ -1 z)) into (/ -1.0 z)
4.686 * [backup-simplify]: Simplify (+ (/ -1.0 z) 1) into (- 1 (* 1.0 (/ 1 z)))
4.686 * [backup-simplify]: Simplify (* (- 1 (* 1.0 (/ 1 z))) z) into (* z (- 1 (* 1.0 (/ 1 z))))
4.686 * [backup-simplify]: Simplify (* 0 (* z (- 1 (* 1.0 (/ 1 z))))) into 0
4.686 * [taylor]: Taking taylor expansion of 0 in z
4.686 * [backup-simplify]: Simplify 0 into 0
4.686 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0
4.686 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ -1 z))) into 0
4.687 * [backup-simplify]: Simplify (+ 0 0) into 0
4.687 * [backup-simplify]: Simplify (+ (* (- 1 (* 1.0 (/ 1 z))) 0) (* 0 z)) into 0
4.687 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (* z (- 1 (* 1.0 (/ 1 z)))))) into (- z 1.0)
4.687 * [taylor]: Taking taylor expansion of (- z 1.0) in z
4.687 * [taylor]: Taking taylor expansion of z in z
4.687 * [backup-simplify]: Simplify 0 into 0
4.687 * [backup-simplify]: Simplify 1 into 1
4.687 * [taylor]: Taking taylor expansion of 1.0 in z
4.687 * [backup-simplify]: Simplify 1.0 into 1.0
4.687 * [backup-simplify]: Simplify 0 into 0
4.687 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.688 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (/ -1 z)))) into 0
4.688 * [backup-simplify]: Simplify (+ 0 0) into 0
4.688 * [backup-simplify]: Simplify (+ (* (- 1 (* 1.0 (/ 1 z))) 0) (+ (* 0 0) (* 0 z))) into 0
4.689 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (* z (- 1 (* 1.0 (/ 1 z))))))) into 0
4.689 * [taylor]: Taking taylor expansion of 0 in z
4.689 * [backup-simplify]: Simplify 0 into 0
4.689 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.690 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
4.690 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.690 * [backup-simplify]: Simplify 0 into 0
4.690 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.691 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 z))))) into 0
4.691 * [backup-simplify]: Simplify (+ 0 0) into 0
4.692 * [backup-simplify]: Simplify (+ (* (- 1 (* 1.0 (/ 1 z))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
4.693 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (* z (- 1 (* 1.0 (/ 1 z)))))))) into 0
4.693 * [taylor]: Taking taylor expansion of 0 in z
4.693 * [backup-simplify]: Simplify 0 into 0
4.693 * [backup-simplify]: Simplify 0 into 0
4.693 * [backup-simplify]: Simplify (- 0) into 0
4.693 * [backup-simplify]: Simplify (+ 1 0) into 1
4.693 * [backup-simplify]: Simplify 1 into 1
4.693 * [backup-simplify]: Simplify 0 into 0
4.693 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.694 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 z)))))) into 0
4.695 * [backup-simplify]: Simplify (+ 0 0) into 0
4.695 * [backup-simplify]: Simplify (+ (* (- 1 (* 1.0 (/ 1 z))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 z))))) into 0
4.696 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* z (- 1 (* 1.0 (/ 1 z))))))))) into 0
4.696 * [taylor]: Taking taylor expansion of 0 in z
4.696 * [backup-simplify]: Simplify 0 into 0
4.696 * [backup-simplify]: Simplify 0 into 0
4.696 * [backup-simplify]: Simplify 0 into 0
4.697 * [backup-simplify]: Simplify (- 0) into 0
4.697 * [backup-simplify]: Simplify (+ 0 0) into 0
4.697 * [backup-simplify]: Simplify 0 into 0
4.697 * [backup-simplify]: Simplify 0 into 0
4.697 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.698 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 z))))))) into 0
4.699 * [backup-simplify]: Simplify (+ 0 0) into 0
4.700 * [backup-simplify]: Simplify (+ (* (- 1 (* 1.0 (/ 1 z))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))))) into 0
4.701 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* z (- 1 (* 1.0 (/ 1 z)))))))))) into 0
4.701 * [taylor]: Taking taylor expansion of 0 in z
4.701 * [backup-simplify]: Simplify 0 into 0
4.701 * [backup-simplify]: Simplify 0 into 0
4.701 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (- z)) (/ 1 (- t)))) (* (- 1.0) (* 1 (/ 1 (- t))))) into (+ (* 1.0 (/ 1 t)) (/ 1 (* t z)))
4.701 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1 2)
4.701 * [backup-simplify]: Simplify (/ (fma 1.0 z 1) z) into (/ (fma 1.0 z 1) z)
4.701 * [approximate]: Taking taylor expansion of (/ (fma 1.0 z 1) z) in (z) around 0
4.701 * [taylor]: Taking taylor expansion of (/ (fma 1.0 z 1) z) in z
4.701 * [taylor]: Taking taylor expansion of (fma 1.0 z 1) in z
4.702 * [taylor]: Rewrote expression to (+ (* 1.0 z) 1)
4.702 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
4.702 * [taylor]: Taking taylor expansion of 1.0 in z
4.702 * [backup-simplify]: Simplify 1.0 into 1.0
4.702 * [taylor]: Taking taylor expansion of z in z
4.702 * [backup-simplify]: Simplify 0 into 0
4.702 * [backup-simplify]: Simplify 1 into 1
4.702 * [taylor]: Taking taylor expansion of 1 in z
4.702 * [backup-simplify]: Simplify 1 into 1
4.702 * [taylor]: Taking taylor expansion of z in z
4.702 * [backup-simplify]: Simplify 0 into 0
4.702 * [backup-simplify]: Simplify 1 into 1
4.702 * [backup-simplify]: Simplify (* 1.0 0) into 0
4.702 * [backup-simplify]: Simplify (+ 0 1) into 1
4.703 * [backup-simplify]: Simplify (/ 1 1) into 1
4.703 * [taylor]: Taking taylor expansion of (/ (fma 1.0 z 1) z) in z
4.703 * [taylor]: Taking taylor expansion of (fma 1.0 z 1) in z
4.703 * [taylor]: Rewrote expression to (+ (* 1.0 z) 1)
4.703 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
4.703 * [taylor]: Taking taylor expansion of 1.0 in z
4.703 * [backup-simplify]: Simplify 1.0 into 1.0
4.703 * [taylor]: Taking taylor expansion of z in z
4.703 * [backup-simplify]: Simplify 0 into 0
4.703 * [backup-simplify]: Simplify 1 into 1
4.703 * [taylor]: Taking taylor expansion of 1 in z
4.703 * [backup-simplify]: Simplify 1 into 1
4.703 * [taylor]: Taking taylor expansion of z in z
4.703 * [backup-simplify]: Simplify 0 into 0
4.703 * [backup-simplify]: Simplify 1 into 1
4.703 * [backup-simplify]: Simplify (* 1.0 0) into 0
4.703 * [backup-simplify]: Simplify (+ 0 1) into 1
4.704 * [backup-simplify]: Simplify (/ 1 1) into 1
4.704 * [backup-simplify]: Simplify 1 into 1
4.707 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
4.707 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
4.709 * [backup-simplify]: Simplify (- (/ 1.0 1) (+ (* 1 (/ 0 1)))) into 1.0
4.709 * [backup-simplify]: Simplify 1.0 into 1.0
4.709 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
4.710 * [backup-simplify]: Simplify (+ 0 0) into 0
4.710 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1.0 (/ 0 1)))) into 0
4.710 * [backup-simplify]: Simplify 0 into 0
4.711 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
4.711 * [backup-simplify]: Simplify (+ 0 0) into 0
4.712 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.712 * [backup-simplify]: Simplify 0 into 0
4.714 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
4.714 * [backup-simplify]: Simplify (+ 0 0) into 0
4.715 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.715 * [backup-simplify]: Simplify 0 into 0
4.717 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
4.717 * [backup-simplify]: Simplify (+ 0 0) into 0
4.718 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.718 * [backup-simplify]: Simplify 0 into 0
4.720 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
4.720 * [backup-simplify]: Simplify (+ 0 0) into 0
4.721 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.722 * [backup-simplify]: Simplify 0 into 0
4.723 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
4.724 * [backup-simplify]: Simplify (+ 0 0) into 0
4.725 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.725 * [backup-simplify]: Simplify 0 into 0
4.725 * [backup-simplify]: Simplify (+ 1.0 (* 1 (/ 1 z))) into (+ 1.0 (/ 1 z))
4.725 * [backup-simplify]: Simplify (/ (fma 1.0 (/ 1 z) 1) (/ 1 z)) into (* (fma 1.0 (/ 1 z) 1) z)
4.725 * [approximate]: Taking taylor expansion of (* (fma 1.0 (/ 1 z) 1) z) in (z) around 0
4.725 * [taylor]: Taking taylor expansion of (* (fma 1.0 (/ 1 z) 1) z) in z
4.725 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 z) 1) in z
4.726 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 z)) 1)
4.726 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
4.726 * [taylor]: Taking taylor expansion of 1.0 in z
4.726 * [backup-simplify]: Simplify 1.0 into 1.0
4.726 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.726 * [taylor]: Taking taylor expansion of z in z
4.726 * [backup-simplify]: Simplify 0 into 0
4.726 * [backup-simplify]: Simplify 1 into 1
4.726 * [backup-simplify]: Simplify (/ 1 1) into 1
4.726 * [taylor]: Taking taylor expansion of 1 in z
4.726 * [backup-simplify]: Simplify 1 into 1
4.726 * [taylor]: Taking taylor expansion of z in z
4.726 * [backup-simplify]: Simplify 0 into 0
4.726 * [backup-simplify]: Simplify 1 into 1
4.726 * [taylor]: Taking taylor expansion of (* (fma 1.0 (/ 1 z) 1) z) in z
4.726 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 z) 1) in z
4.727 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 z)) 1)
4.727 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
4.727 * [taylor]: Taking taylor expansion of 1.0 in z
4.727 * [backup-simplify]: Simplify 1.0 into 1.0
4.727 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.727 * [taylor]: Taking taylor expansion of z in z
4.727 * [backup-simplify]: Simplify 0 into 0
4.727 * [backup-simplify]: Simplify 1 into 1
4.728 * [backup-simplify]: Simplify (/ 1 1) into 1
4.728 * [taylor]: Taking taylor expansion of 1 in z
4.728 * [backup-simplify]: Simplify 1 into 1
4.728 * [taylor]: Taking taylor expansion of z in z
4.728 * [backup-simplify]: Simplify 0 into 0
4.728 * [backup-simplify]: Simplify 1 into 1
4.728 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
4.729 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
4.729 * [backup-simplify]: Simplify (* 1.0 0) into 0
4.729 * [backup-simplify]: Simplify 0 into 0
4.730 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.731 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
4.731 * [backup-simplify]: Simplify (+ 0 1) into 1
4.732 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 1 0)) into 1.0
4.733 * [backup-simplify]: Simplify 1.0 into 1.0
4.733 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.734 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
4.735 * [backup-simplify]: Simplify (+ 0 0) into 0
4.736 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1 1) (* 0 0))) into 1
4.736 * [backup-simplify]: Simplify 1 into 1
4.737 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.738 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.738 * [backup-simplify]: Simplify (+ 0 0) into 0
4.739 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
4.739 * [backup-simplify]: Simplify 0 into 0
4.740 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.742 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.742 * [backup-simplify]: Simplify (+ 0 0) into 0
4.743 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
4.743 * [backup-simplify]: Simplify 0 into 0
4.744 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.744 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.745 * [backup-simplify]: Simplify (+ 0 0) into 0
4.745 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
4.746 * [backup-simplify]: Simplify 0 into 0
4.746 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.747 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.747 * [backup-simplify]: Simplify (+ 0 0) into 0
4.748 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
4.748 * [backup-simplify]: Simplify 0 into 0
4.749 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.750 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
4.750 * [backup-simplify]: Simplify (+ 0 0) into 0
4.751 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
4.751 * [backup-simplify]: Simplify 0 into 0
4.752 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.753 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
4.753 * [backup-simplify]: Simplify (+ 0 0) into 0
4.754 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
4.754 * [backup-simplify]: Simplify 0 into 0
4.754 * [backup-simplify]: Simplify (+ (* 1 (/ 1 z)) 1.0) into (+ 1.0 (/ 1 z))
4.754 * [backup-simplify]: Simplify (/ (fma 1.0 (/ 1 (- z)) 1) (/ 1 (- z))) into (* -1 (* (fma 1.0 (/ -1 z) 1) z))
4.754 * [approximate]: Taking taylor expansion of (* -1 (* (fma 1.0 (/ -1 z) 1) z)) in (z) around 0
4.754 * [taylor]: Taking taylor expansion of (* -1 (* (fma 1.0 (/ -1 z) 1) z)) in z
4.754 * [taylor]: Taking taylor expansion of -1 in z
4.754 * [backup-simplify]: Simplify -1 into -1
4.754 * [taylor]: Taking taylor expansion of (* (fma 1.0 (/ -1 z) 1) z) in z
4.754 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 z) 1) in z
4.755 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 z)) 1)
4.755 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 z)) in z
4.755 * [taylor]: Taking taylor expansion of 1.0 in z
4.755 * [backup-simplify]: Simplify 1.0 into 1.0
4.755 * [taylor]: Taking taylor expansion of (/ -1 z) in z
4.755 * [taylor]: Taking taylor expansion of -1 in z
4.755 * [backup-simplify]: Simplify -1 into -1
4.755 * [taylor]: Taking taylor expansion of z in z
4.755 * [backup-simplify]: Simplify 0 into 0
4.755 * [backup-simplify]: Simplify 1 into 1
4.755 * [backup-simplify]: Simplify (/ -1 1) into -1
4.755 * [taylor]: Taking taylor expansion of 1 in z
4.755 * [backup-simplify]: Simplify 1 into 1
4.755 * [taylor]: Taking taylor expansion of z in z
4.755 * [backup-simplify]: Simplify 0 into 0
4.755 * [backup-simplify]: Simplify 1 into 1
4.755 * [taylor]: Taking taylor expansion of (* -1 (* (fma 1.0 (/ -1 z) 1) z)) in z
4.755 * [taylor]: Taking taylor expansion of -1 in z
4.755 * [backup-simplify]: Simplify -1 into -1
4.755 * [taylor]: Taking taylor expansion of (* (fma 1.0 (/ -1 z) 1) z) in z
4.755 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 z) 1) in z
4.755 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 z)) 1)
4.755 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 z)) in z
4.755 * [taylor]: Taking taylor expansion of 1.0 in z
4.755 * [backup-simplify]: Simplify 1.0 into 1.0
4.755 * [taylor]: Taking taylor expansion of (/ -1 z) in z
4.755 * [taylor]: Taking taylor expansion of -1 in z
4.755 * [backup-simplify]: Simplify -1 into -1
4.755 * [taylor]: Taking taylor expansion of z in z
4.755 * [backup-simplify]: Simplify 0 into 0
4.755 * [backup-simplify]: Simplify 1 into 1
4.756 * [backup-simplify]: Simplify (/ -1 1) into -1
4.756 * [taylor]: Taking taylor expansion of 1 in z
4.756 * [backup-simplify]: Simplify 1 into 1
4.756 * [taylor]: Taking taylor expansion of z in z
4.756 * [backup-simplify]: Simplify 0 into 0
4.756 * [backup-simplify]: Simplify 1 into 1
4.756 * [backup-simplify]: Simplify (* 1.0 -1) into -1.0
4.756 * [backup-simplify]: Simplify (+ -1.0 0) into (- 1.0)
4.757 * [backup-simplify]: Simplify (* (- 1.0) 0) into 0
4.757 * [backup-simplify]: Simplify (* -1 0) into 0
4.757 * [backup-simplify]: Simplify 0 into 0
4.758 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.758 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 -1)) into 0
4.758 * [backup-simplify]: Simplify (+ 0 1) into 1
4.759 * [backup-simplify]: Simplify (+ (* (- 1.0) 1) (* 1 0)) into (- 1.0)
4.761 * [backup-simplify]: Simplify (+ (* -1 (- 1.0)) (* 0 0)) into 1.0
4.761 * [backup-simplify]: Simplify 1.0 into 1.0
4.761 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.762 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 -1))) into 0
4.762 * [backup-simplify]: Simplify (+ 0 0) into 0
4.763 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 1) (* 0 0))) into 1
4.763 * [backup-simplify]: Simplify (+ (* -1 1) (+ (* 0 (- 1.0)) (* 0 0))) into -1
4.763 * [backup-simplify]: Simplify -1 into -1
4.764 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.765 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
4.765 * [backup-simplify]: Simplify (+ 0 0) into 0
4.766 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
4.766 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (+ (* 0 (- 1.0)) (* 0 0)))) into 0
4.766 * [backup-simplify]: Simplify 0 into 0
4.767 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.768 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0
4.768 * [backup-simplify]: Simplify (+ 0 0) into 0
4.769 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
4.770 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- 1.0)) (* 0 0))))) into 0
4.770 * [backup-simplify]: Simplify 0 into 0
4.771 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.772 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))) into 0
4.772 * [backup-simplify]: Simplify (+ 0 0) into 0
4.773 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
4.774 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- 1.0)) (* 0 0)))))) into 0
4.774 * [backup-simplify]: Simplify 0 into 0
4.774 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.775 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))) into 0
4.776 * [backup-simplify]: Simplify (+ 0 0) into 0
4.777 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
4.778 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- 1.0)) (* 0 0))))))) into 0
4.778 * [backup-simplify]: Simplify 0 into 0
4.779 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.780 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))))) into 0
4.780 * [backup-simplify]: Simplify (+ 0 0) into 0
4.781 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
4.782 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- 1.0)) (* 0 0)))))))) into 0
4.782 * [backup-simplify]: Simplify 0 into 0
4.783 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.785 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))))) into 0
4.785 * [backup-simplify]: Simplify (+ 0 0) into 0
4.787 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
4.790 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- 1.0)) (* 0 0))))))))) into 0
4.790 * [backup-simplify]: Simplify 0 into 0
4.790 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (- z))) 1.0) into (+ 1.0 (/ 1 z))
4.790 * * * [progress]: simplifying candidates
4.792 * [simplify]: Simplifying:
  (expm1 (* (/ 1 t) (/ (fma 1.0 z 1) z)))
  (log1p (* (/ 1 t) (/ (fma 1.0 z 1) z)))
  (* (/ 1 t) (/ (fma 1.0 z 1) z))
  (+ (- (log t)) (- (log (fma 1.0 z 1)) (log z)))
  (+ (- (log t)) (log (/ (fma 1.0 z 1) z)))
  (+ (- 0 (log t)) (- (log (fma 1.0 z 1)) (log z)))
  (+ (- 0 (log t)) (log (/ (fma 1.0 z 1) z)))
  (+ (- (log 1) (log t)) (- (log (fma 1.0 z 1)) (log z)))
  (+ (- (log 1) (log t)) (log (/ (fma 1.0 z 1) z)))
  (+ (log (/ 1 t)) (- (log (fma 1.0 z 1)) (log z)))
  (+ (log (/ 1 t)) (log (/ (fma 1.0 z 1) z)))
  (log (* (/ 1 t) (/ (fma 1.0 z 1) z)))
  (exp (* (/ 1 t) (/ (fma 1.0 z 1) z)))
  (* (/ (* (* 1 1) 1) (* (* t t) t)) (/ (* (* (fma 1.0 z 1) (fma 1.0 z 1)) (fma 1.0 z 1)) (* (* z z) z)))
  (* (/ (* (* 1 1) 1) (* (* t t) t)) (* (* (/ (fma 1.0 z 1) z) (/ (fma 1.0 z 1) z)) (/ (fma 1.0 z 1) z)))
  (* (* (* (/ 1 t) (/ 1 t)) (/ 1 t)) (/ (* (* (fma 1.0 z 1) (fma 1.0 z 1)) (fma 1.0 z 1)) (* (* z z) z)))
  (* (* (* (/ 1 t) (/ 1 t)) (/ 1 t)) (* (* (/ (fma 1.0 z 1) z) (/ (fma 1.0 z 1) z)) (/ (fma 1.0 z 1) z)))
  (* (cbrt (* (/ 1 t) (/ (fma 1.0 z 1) z))) (cbrt (* (/ 1 t) (/ (fma 1.0 z 1) z))))
  (cbrt (* (/ 1 t) (/ (fma 1.0 z 1) z)))
  (* (* (* (/ 1 t) (/ (fma 1.0 z 1) z)) (* (/ 1 t) (/ (fma 1.0 z 1) z))) (* (/ 1 t) (/ (fma 1.0 z 1) z)))
  (sqrt (* (/ 1 t) (/ (fma 1.0 z 1) z)))
  (sqrt (* (/ 1 t) (/ (fma 1.0 z 1) z)))
  (* 1 (fma 1.0 z 1))
  (* t z)
  (* (sqrt (/ 1 t)) (sqrt (/ (fma 1.0 z 1) z)))
  (* (sqrt (/ 1 t)) (sqrt (/ (fma 1.0 z 1) z)))
  (* (sqrt (/ 1 t)) (/ (sqrt (fma 1.0 z 1)) (sqrt z)))
  (* (sqrt (/ 1 t)) (/ (sqrt (fma 1.0 z 1)) (sqrt z)))
  (* (/ (sqrt 1) (sqrt t)) (sqrt (/ (fma 1.0 z 1) z)))
  (* (/ (sqrt 1) (sqrt t)) (sqrt (/ (fma 1.0 z 1) z)))
  (* (/ (sqrt 1) (sqrt t)) (/ (sqrt (fma 1.0 z 1)) (sqrt z)))
  (* (/ (sqrt 1) (sqrt t)) (/ (sqrt (fma 1.0 z 1)) (sqrt z)))
  (* (/ 1 (sqrt t)) (sqrt (/ (fma 1.0 z 1) z)))
  (* (/ 1 (sqrt t)) (sqrt (/ (fma 1.0 z 1) z)))
  (* (/ 1 (sqrt t)) (/ (sqrt (fma 1.0 z 1)) (sqrt z)))
  (* (/ 1 (sqrt t)) (/ (sqrt (fma 1.0 z 1)) (sqrt z)))
  (* (/ 1 t) (* (cbrt (/ (fma 1.0 z 1) z)) (cbrt (/ (fma 1.0 z 1) z))))
  (* (/ 1 t) (sqrt (/ (fma 1.0 z 1) z)))
  (* (/ 1 t) (/ (* (cbrt (fma 1.0 z 1)) (cbrt (fma 1.0 z 1))) (* (cbrt z) (cbrt z))))
  (* (/ 1 t) (/ (* (cbrt (fma 1.0 z 1)) (cbrt (fma 1.0 z 1))) (sqrt z)))
  (* (/ 1 t) (/ (* (cbrt (fma 1.0 z 1)) (cbrt (fma 1.0 z 1))) 1))
  (* (/ 1 t) (/ (sqrt (fma 1.0 z 1)) (* (cbrt z) (cbrt z))))
  (* (/ 1 t) (/ (sqrt (fma 1.0 z 1)) (sqrt z)))
  (* (/ 1 t) (/ (sqrt (fma 1.0 z 1)) 1))
  (* (/ 1 t) (/ 1 (* (cbrt z) (cbrt z))))
  (* (/ 1 t) (/ 1 (sqrt z)))
  (* (/ 1 t) (/ 1 1))
  (* (/ 1 t) 1)
  (* (/ 1 t) (fma 1.0 z 1))
  (* (cbrt (/ 1 t)) (/ (fma 1.0 z 1) z))
  (* (sqrt (/ 1 t)) (/ (fma 1.0 z 1) z))
  (* (/ (cbrt 1) (cbrt t)) (/ (fma 1.0 z 1) z))
  (* (/ (cbrt 1) (sqrt t)) (/ (fma 1.0 z 1) z))
  (* (/ (cbrt 1) t) (/ (fma 1.0 z 1) z))
  (* (/ (sqrt 1) (cbrt t)) (/ (fma 1.0 z 1) z))
  (* (/ (sqrt 1) (sqrt t)) (/ (fma 1.0 z 1) z))
  (* (/ (sqrt 1) t) (/ (fma 1.0 z 1) z))
  (* (/ 1 (cbrt t)) (/ (fma 1.0 z 1) z))
  (* (/ 1 (sqrt t)) (/ (fma 1.0 z 1) z))
  (* (/ 1 t) (/ (fma 1.0 z 1) z))
  (* (/ 1 t) (/ (fma 1.0 z 1) z))
  (* (/ 1 t) (/ (fma 1.0 z 1) z))
  (* (/ 1 t) (fma 1.0 z 1))
  (* 1 (/ (fma 1.0 z 1) z))
  (expm1 (/ (fma 1.0 z 1) z))
  (log1p (/ (fma 1.0 z 1) z))
  (- (log (fma 1.0 z 1)) (log z))
  (log (/ (fma 1.0 z 1) z))
  (exp (/ (fma 1.0 z 1) z))
  (/ (* (* (fma 1.0 z 1) (fma 1.0 z 1)) (fma 1.0 z 1)) (* (* z z) z))
  (* (cbrt (/ (fma 1.0 z 1) z)) (cbrt (/ (fma 1.0 z 1) z)))
  (cbrt (/ (fma 1.0 z 1) z))
  (* (* (/ (fma 1.0 z 1) z) (/ (fma 1.0 z 1) z)) (/ (fma 1.0 z 1) z))
  (sqrt (/ (fma 1.0 z 1) z))
  (sqrt (/ (fma 1.0 z 1) z))
  (- (fma 1.0 z 1))
  (- z)
  (/ (* (cbrt (fma 1.0 z 1)) (cbrt (fma 1.0 z 1))) (* (cbrt z) (cbrt z)))
  (/ (cbrt (fma 1.0 z 1)) (cbrt z))
  (/ (* (cbrt (fma 1.0 z 1)) (cbrt (fma 1.0 z 1))) (sqrt z))
  (/ (cbrt (fma 1.0 z 1)) (sqrt z))
  (/ (* (cbrt (fma 1.0 z 1)) (cbrt (fma 1.0 z 1))) 1)
  (/ (cbrt (fma 1.0 z 1)) z)
  (/ (sqrt (fma 1.0 z 1)) (* (cbrt z) (cbrt z)))
  (/ (sqrt (fma 1.0 z 1)) (cbrt z))
  (/ (sqrt (fma 1.0 z 1)) (sqrt z))
  (/ (sqrt (fma 1.0 z 1)) (sqrt z))
  (/ (sqrt (fma 1.0 z 1)) 1)
  (/ (sqrt (fma 1.0 z 1)) z)
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (fma 1.0 z 1) (cbrt z))
  (/ 1 (sqrt z))
  (/ (fma 1.0 z 1) (sqrt z))
  (/ 1 1)
  (/ (fma 1.0 z 1) z)
  (/ 1 z)
  (/ z (fma 1.0 z 1))
  (/ (fma 1.0 z 1) (* (cbrt z) (cbrt z)))
  (/ (fma 1.0 z 1) (sqrt z))
  (/ (fma 1.0 z 1) 1)
  (/ z (cbrt (fma 1.0 z 1)))
  (/ z (sqrt (fma 1.0 z 1)))
  (/ z (fma 1.0 z 1))
  (+ (* 1.0 (/ 1 t)) (/ 1 (* t z)))
  (+ (* 1.0 (/ 1 t)) (/ 1 (* t z)))
  (+ (* 1.0 (/ 1 t)) (/ 1 (* t z)))
  (+ 1.0 (/ 1 z))
  (+ 1.0 (/ 1 z))
  (+ 1.0 (/ 1 z))
4.795 * * [simplify]: iteration 0: 140 enodes
4.852 * * [simplify]: iteration 1: 386 enodes
5.070 * * [simplify]: iteration 2: 2275 enodes
6.113 * * [simplify]: iteration complete: 5001 enodes
6.114 * * [simplify]: Extracting #0: cost 65 inf + 0
6.115 * * [simplify]: Extracting #1: cost 513 inf + 1
6.118 * * [simplify]: Extracting #2: cost 1215 inf + 105
6.122 * * [simplify]: Extracting #3: cost 1189 inf + 1358
6.127 * * [simplify]: Extracting #4: cost 477 inf + 9257
6.138 * * [simplify]: Extracting #5: cost 26 inf + 15213
6.142 * * [simplify]: Extracting #6: cost 0 inf + 15589
6.147 * [simplify]: Simplified to:
  (expm1 (/ (/ (fma 1.0 z 1) t) z))
  (log1p (/ (/ (fma 1.0 z 1) t) z))
  (/ (/ (fma 1.0 z 1) t) z)
  (log (/ (/ (fma 1.0 z 1) t) z))
  (log (/ (/ (fma 1.0 z 1) t) z))
  (log (/ (/ (fma 1.0 z 1) t) z))
  (log (/ (/ (fma 1.0 z 1) t) z))
  (log (/ (/ (fma 1.0 z 1) t) z))
  (log (/ (/ (fma 1.0 z 1) t) z))
  (log (/ (/ (fma 1.0 z 1) t) z))
  (log (/ (/ (fma 1.0 z 1) t) z))
  (log (/ (/ (fma 1.0 z 1) t) z))
  (exp (/ (/ (fma 1.0 z 1) t) z))
  (pow (/ (/ (fma 1.0 z 1) t) z) 3)
  (pow (/ (/ (fma 1.0 z 1) t) z) 3)
  (pow (/ (/ (fma 1.0 z 1) t) z) 3)
  (pow (/ (/ (fma 1.0 z 1) t) z) 3)
  (* (cbrt (/ (/ (fma 1.0 z 1) t) z)) (cbrt (/ (/ (fma 1.0 z 1) t) z)))
  (cbrt (/ (/ (fma 1.0 z 1) t) z))
  (pow (/ (/ (fma 1.0 z 1) t) z) 3)
  (sqrt (/ (/ (fma 1.0 z 1) t) z))
  (sqrt (/ (/ (fma 1.0 z 1) t) z))
  (fma 1.0 z 1)
  (* t z)
  (* (sqrt (/ (fma 1.0 z 1) z)) (sqrt (/ 1 t)))
  (* (sqrt (/ (fma 1.0 z 1) z)) (sqrt (/ 1 t)))
  (/ (* (sqrt (fma 1.0 z 1)) (sqrt (/ 1 t))) (sqrt z))
  (/ (* (sqrt (fma 1.0 z 1)) (sqrt (/ 1 t))) (sqrt z))
  (/ (sqrt (/ (fma 1.0 z 1) z)) (sqrt t))
  (/ (sqrt (/ (fma 1.0 z 1) z)) (sqrt t))
  (/ (/ (sqrt (fma 1.0 z 1)) (sqrt t)) (sqrt z))
  (/ (/ (sqrt (fma 1.0 z 1)) (sqrt t)) (sqrt z))
  (/ (sqrt (/ (fma 1.0 z 1) z)) (sqrt t))
  (/ (sqrt (/ (fma 1.0 z 1) z)) (sqrt t))
  (/ (/ (sqrt (fma 1.0 z 1)) (sqrt t)) (sqrt z))
  (/ (/ (sqrt (fma 1.0 z 1)) (sqrt t)) (sqrt z))
  (* (/ (cbrt (/ (fma 1.0 z 1) z)) t) (cbrt (/ (fma 1.0 z 1) z)))
  (/ (sqrt (/ (fma 1.0 z 1) z)) t)
  (/ (/ (* (cbrt (fma 1.0 z 1)) (cbrt (fma 1.0 z 1))) t) (* (cbrt z) (cbrt z)))
  (/ (/ (* (cbrt (fma 1.0 z 1)) (cbrt (fma 1.0 z 1))) t) (sqrt z))
  (/ (* (cbrt (fma 1.0 z 1)) (cbrt (fma 1.0 z 1))) t)
  (/ (/ (/ (sqrt (fma 1.0 z 1)) t) (cbrt z)) (cbrt z))
  (/ (/ (sqrt (fma 1.0 z 1)) (sqrt z)) t)
  (/ (sqrt (fma 1.0 z 1)) t)
  (/ (/ 1 t) (* (cbrt z) (cbrt z)))
  (/ (/ 1 t) (sqrt z))
  (/ 1 t)
  (/ 1 t)
  (/ (fma 1.0 z 1) t)
  (/ (cbrt (/ 1 t)) (/ z (fma 1.0 z 1)))
  (/ (sqrt (/ 1 t)) (/ z (fma 1.0 z 1)))
  (/ (/ (fma 1.0 z 1) (cbrt t)) z)
  (/ (/ (fma 1.0 z 1) z) (sqrt t))
  (/ (/ (fma 1.0 z 1) t) z)
  (/ (/ (fma 1.0 z 1) (cbrt t)) z)
  (/ (/ (fma 1.0 z 1) z) (sqrt t))
  (/ (/ (fma 1.0 z 1) t) z)
  (/ (/ (fma 1.0 z 1) (cbrt t)) z)
  (/ (/ (fma 1.0 z 1) z) (sqrt t))
  (/ (/ (fma 1.0 z 1) t) z)
  (/ (/ (fma 1.0 z 1) t) z)
  (/ (/ (fma 1.0 z 1) t) z)
  (/ (fma 1.0 z 1) t)
  (/ (fma 1.0 z 1) z)
  (expm1 (/ (fma 1.0 z 1) z))
  (log1p (/ (fma 1.0 z 1) z))
  (- (log1p (* 1.0 z)) (log z))
  (- (log1p (* 1.0 z)) (log z))
  (exp (/ (fma 1.0 z 1) z))
  (pow (/ (fma 1.0 z 1) z) 3)
  (* (cbrt (/ (fma 1.0 z 1) z)) (cbrt (/ (fma 1.0 z 1) z)))
  (cbrt (/ (fma 1.0 z 1) z))
  (pow (/ (fma 1.0 z 1) z) 3)
  (sqrt (/ (fma 1.0 z 1) z))
  (sqrt (/ (fma 1.0 z 1) z))
  (- (fma 1.0 z 1))
  (- z)
  (/ (* (cbrt (fma 1.0 z 1)) (/ (cbrt (fma 1.0 z 1)) (cbrt z))) (cbrt z))
  (/ (cbrt (fma 1.0 z 1)) (cbrt z))
  (* (/ (cbrt (fma 1.0 z 1)) (sqrt z)) (cbrt (fma 1.0 z 1)))
  (/ (cbrt (fma 1.0 z 1)) (sqrt z))
  (* (cbrt (fma 1.0 z 1)) (cbrt (fma 1.0 z 1)))
  (/ (cbrt (fma 1.0 z 1)) z)
  (/ (sqrt (fma 1.0 z 1)) (* (cbrt z) (cbrt z)))
  (/ (sqrt (fma 1.0 z 1)) (cbrt z))
  (/ (sqrt (fma 1.0 z 1)) (sqrt z))
  (/ (sqrt (fma 1.0 z 1)) (sqrt z))
  (sqrt (fma 1.0 z 1))
  (/ (sqrt (fma 1.0 z 1)) z)
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (fma 1.0 z 1) (cbrt z))
  (/ 1 (sqrt z))
  (/ (fma 1.0 z 1) (sqrt z))
  1
  (/ (fma 1.0 z 1) z)
  (/ 1 z)
  (/ z (fma 1.0 z 1))
  (/ (/ (fma 1.0 z 1) (cbrt z)) (cbrt z))
  (/ (fma 1.0 z 1) (sqrt z))
  (fma 1.0 z 1)
  (/ z (cbrt (fma 1.0 z 1)))
  (/ z (sqrt (fma 1.0 z 1)))
  (/ z (fma 1.0 z 1))
  (+ (/ 1 (* t z)) (/ 1.0 t))
  (+ (/ 1 (* t z)) (/ 1.0 t))
  (+ (/ 1 (* t z)) (/ 1.0 t))
  (+ (/ 1 z) 1.0)
  (+ (/ 1 z) 1.0)
  (+ (/ 1 z) 1.0)
6.148 * * * [progress]: adding candidates to table
6.705 * * [progress]: iteration 3 / 4
6.705 * * * [progress]: picking best candidate
6.723 * * * * [pick]: Picked  #<alt (λ (x y z t) (fma (- (/ (/ (fma 1.0 z 1) z) t) 1) 2.0 (/ x y)))>
6.723 * * * [progress]: localizing error
6.741 * * * [progress]: generating rewritten candidates
6.741 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
6.755 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1 1)
6.770 * * * [progress]: generating series expansions
6.770 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
6.770 * [backup-simplify]: Simplify (/ (/ (fma 1.0 z 1) z) t) into (/ (fma 1.0 z 1) (* t z))
6.770 * [approximate]: Taking taylor expansion of (/ (fma 1.0 z 1) (* t z)) in (z t) around 0
6.770 * [taylor]: Taking taylor expansion of (/ (fma 1.0 z 1) (* t z)) in t
6.770 * [taylor]: Taking taylor expansion of (fma 1.0 z 1) in t
6.770 * [taylor]: Rewrote expression to (+ (* 1.0 z) 1)
6.770 * [taylor]: Taking taylor expansion of (* 1.0 z) in t
6.770 * [taylor]: Taking taylor expansion of 1.0 in t
6.771 * [backup-simplify]: Simplify 1.0 into 1.0
6.771 * [taylor]: Taking taylor expansion of z in t
6.771 * [backup-simplify]: Simplify z into z
6.771 * [taylor]: Taking taylor expansion of 1 in t
6.771 * [backup-simplify]: Simplify 1 into 1
6.771 * [taylor]: Taking taylor expansion of (* t z) in t
6.771 * [taylor]: Taking taylor expansion of t in t
6.771 * [backup-simplify]: Simplify 0 into 0
6.771 * [backup-simplify]: Simplify 1 into 1
6.771 * [taylor]: Taking taylor expansion of z in t
6.771 * [backup-simplify]: Simplify z into z
6.771 * [backup-simplify]: Simplify (* 1.0 z) into (* 1.0 z)
6.771 * [backup-simplify]: Simplify (+ (* 1.0 z) 1) into (+ (* 1.0 z) 1)
6.771 * [backup-simplify]: Simplify (* 0 z) into 0
6.772 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
6.772 * [backup-simplify]: Simplify (/ (+ (* 1.0 z) 1) z) into (/ (+ (* 1.0 z) 1) z)
6.772 * [taylor]: Taking taylor expansion of (/ (fma 1.0 z 1) (* t z)) in z
6.772 * [taylor]: Taking taylor expansion of (fma 1.0 z 1) in z
6.772 * [taylor]: Rewrote expression to (+ (* 1.0 z) 1)
6.772 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
6.772 * [taylor]: Taking taylor expansion of 1.0 in z
6.772 * [backup-simplify]: Simplify 1.0 into 1.0
6.772 * [taylor]: Taking taylor expansion of z in z
6.772 * [backup-simplify]: Simplify 0 into 0
6.772 * [backup-simplify]: Simplify 1 into 1
6.772 * [taylor]: Taking taylor expansion of 1 in z
6.772 * [backup-simplify]: Simplify 1 into 1
6.772 * [taylor]: Taking taylor expansion of (* t z) in z
6.772 * [taylor]: Taking taylor expansion of t in z
6.772 * [backup-simplify]: Simplify t into t
6.773 * [taylor]: Taking taylor expansion of z in z
6.773 * [backup-simplify]: Simplify 0 into 0
6.773 * [backup-simplify]: Simplify 1 into 1
6.773 * [backup-simplify]: Simplify (* 1.0 0) into 0
6.774 * [backup-simplify]: Simplify (+ 0 1) into 1
6.774 * [backup-simplify]: Simplify (* t 0) into 0
6.774 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
6.774 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
6.774 * [taylor]: Taking taylor expansion of (/ (fma 1.0 z 1) (* t z)) in z
6.774 * [taylor]: Taking taylor expansion of (fma 1.0 z 1) in z
6.774 * [taylor]: Rewrote expression to (+ (* 1.0 z) 1)
6.774 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
6.774 * [taylor]: Taking taylor expansion of 1.0 in z
6.774 * [backup-simplify]: Simplify 1.0 into 1.0
6.774 * [taylor]: Taking taylor expansion of z in z
6.774 * [backup-simplify]: Simplify 0 into 0
6.774 * [backup-simplify]: Simplify 1 into 1
6.774 * [taylor]: Taking taylor expansion of 1 in z
6.775 * [backup-simplify]: Simplify 1 into 1
6.775 * [taylor]: Taking taylor expansion of (* t z) in z
6.775 * [taylor]: Taking taylor expansion of t in z
6.775 * [backup-simplify]: Simplify t into t
6.775 * [taylor]: Taking taylor expansion of z in z
6.775 * [backup-simplify]: Simplify 0 into 0
6.775 * [backup-simplify]: Simplify 1 into 1
6.775 * [backup-simplify]: Simplify (* 1.0 0) into 0
6.776 * [backup-simplify]: Simplify (+ 0 1) into 1
6.776 * [backup-simplify]: Simplify (* t 0) into 0
6.776 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
6.776 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
6.776 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.776 * [taylor]: Taking taylor expansion of t in t
6.776 * [backup-simplify]: Simplify 0 into 0
6.776 * [backup-simplify]: Simplify 1 into 1
6.777 * [backup-simplify]: Simplify (/ 1 1) into 1
6.777 * [backup-simplify]: Simplify 1 into 1
6.778 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
6.779 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.779 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 1) (* 0 0))) into 0
6.780 * [backup-simplify]: Simplify (- (/ 1.0 t) (+ (* (/ 1 t) (/ 0 t)))) into (* 1.0 (/ 1 t))
6.780 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
6.780 * [taylor]: Taking taylor expansion of 1.0 in t
6.780 * [backup-simplify]: Simplify 1.0 into 1.0
6.780 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.780 * [taylor]: Taking taylor expansion of t in t
6.780 * [backup-simplify]: Simplify 0 into 0
6.780 * [backup-simplify]: Simplify 1 into 1
6.780 * [backup-simplify]: Simplify (/ 1 1) into 1
6.781 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
6.781 * [backup-simplify]: Simplify 1.0 into 1.0
6.782 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.782 * [backup-simplify]: Simplify 0 into 0
6.783 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
6.783 * [backup-simplify]: Simplify (+ 0 0) into 0
6.783 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
6.783 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)) (* (* 1.0 (/ 1 t)) (/ 0 t)))) into 0
6.783 * [taylor]: Taking taylor expansion of 0 in t
6.784 * [backup-simplify]: Simplify 0 into 0
6.784 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.784 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
6.784 * [backup-simplify]: Simplify 0 into 0
6.785 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.785 * [backup-simplify]: Simplify 0 into 0
6.786 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
6.786 * [backup-simplify]: Simplify (+ 0 0) into 0
6.786 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
6.787 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)) (* (* 1.0 (/ 1 t)) (/ 0 t)) (* 0 (/ 0 t)))) into 0
6.787 * [taylor]: Taking taylor expansion of 0 in t
6.787 * [backup-simplify]: Simplify 0 into 0
6.787 * [backup-simplify]: Simplify 0 into 0
6.787 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.788 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
6.788 * [backup-simplify]: Simplify 0 into 0
6.788 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.788 * [backup-simplify]: Simplify 0 into 0
6.789 * [backup-simplify]: Simplify (+ (* 1.0 (* (/ 1 t) 1)) (* 1 (* (/ 1 t) (/ 1 z)))) into (+ (* 1.0 (/ 1 t)) (/ 1 (* t z)))
6.789 * [backup-simplify]: Simplify (/ (/ (fma 1.0 (/ 1 z) 1) (/ 1 z)) (/ 1 t)) into (* t (* (fma 1.0 (/ 1 z) 1) z))
6.789 * [approximate]: Taking taylor expansion of (* t (* (fma 1.0 (/ 1 z) 1) z)) in (z t) around 0
6.789 * [taylor]: Taking taylor expansion of (* t (* (fma 1.0 (/ 1 z) 1) z)) in t
6.789 * [taylor]: Taking taylor expansion of t in t
6.789 * [backup-simplify]: Simplify 0 into 0
6.789 * [backup-simplify]: Simplify 1 into 1
6.789 * [taylor]: Taking taylor expansion of (* (fma 1.0 (/ 1 z) 1) z) in t
6.789 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 z) 1) in t
6.789 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 z)) 1)
6.789 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in t
6.789 * [taylor]: Taking taylor expansion of 1.0 in t
6.789 * [backup-simplify]: Simplify 1.0 into 1.0
6.789 * [taylor]: Taking taylor expansion of (/ 1 z) in t
6.789 * [taylor]: Taking taylor expansion of z in t
6.789 * [backup-simplify]: Simplify z into z
6.789 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.789 * [taylor]: Taking taylor expansion of 1 in t
6.789 * [backup-simplify]: Simplify 1 into 1
6.789 * [taylor]: Taking taylor expansion of z in t
6.789 * [backup-simplify]: Simplify z into z
6.789 * [taylor]: Taking taylor expansion of (* t (* (fma 1.0 (/ 1 z) 1) z)) in z
6.789 * [taylor]: Taking taylor expansion of t in z
6.789 * [backup-simplify]: Simplify t into t
6.789 * [taylor]: Taking taylor expansion of (* (fma 1.0 (/ 1 z) 1) z) in z
6.789 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 z) 1) in z
6.789 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 z)) 1)
6.789 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
6.789 * [taylor]: Taking taylor expansion of 1.0 in z
6.789 * [backup-simplify]: Simplify 1.0 into 1.0
6.789 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.789 * [taylor]: Taking taylor expansion of z in z
6.789 * [backup-simplify]: Simplify 0 into 0
6.789 * [backup-simplify]: Simplify 1 into 1
6.790 * [backup-simplify]: Simplify (/ 1 1) into 1
6.790 * [taylor]: Taking taylor expansion of 1 in z
6.790 * [backup-simplify]: Simplify 1 into 1
6.790 * [taylor]: Taking taylor expansion of z in z
6.790 * [backup-simplify]: Simplify 0 into 0
6.790 * [backup-simplify]: Simplify 1 into 1
6.790 * [taylor]: Taking taylor expansion of (* t (* (fma 1.0 (/ 1 z) 1) z)) in z
6.790 * [taylor]: Taking taylor expansion of t in z
6.790 * [backup-simplify]: Simplify t into t
6.790 * [taylor]: Taking taylor expansion of (* (fma 1.0 (/ 1 z) 1) z) in z
6.790 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 z) 1) in z
6.790 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 z)) 1)
6.790 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
6.790 * [taylor]: Taking taylor expansion of 1.0 in z
6.790 * [backup-simplify]: Simplify 1.0 into 1.0
6.790 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.790 * [taylor]: Taking taylor expansion of z in z
6.790 * [backup-simplify]: Simplify 0 into 0
6.790 * [backup-simplify]: Simplify 1 into 1
6.790 * [backup-simplify]: Simplify (/ 1 1) into 1
6.790 * [taylor]: Taking taylor expansion of 1 in z
6.790 * [backup-simplify]: Simplify 1 into 1
6.790 * [taylor]: Taking taylor expansion of z in z
6.790 * [backup-simplify]: Simplify 0 into 0
6.790 * [backup-simplify]: Simplify 1 into 1
6.791 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
6.791 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.791 * [backup-simplify]: Simplify (* 1.0 0) into 0
6.791 * [backup-simplify]: Simplify (* t 0) into 0
6.791 * [taylor]: Taking taylor expansion of 0 in t
6.791 * [backup-simplify]: Simplify 0 into 0
6.791 * [backup-simplify]: Simplify 0 into 0
6.792 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.792 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
6.792 * [backup-simplify]: Simplify (+ 0 1) into 1
6.793 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 1 0)) into 1.0
6.794 * [backup-simplify]: Simplify (+ (* t 1.0) (* 0 0)) into (* 1.0 t)
6.794 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
6.794 * [taylor]: Taking taylor expansion of 1.0 in t
6.794 * [backup-simplify]: Simplify 1.0 into 1.0
6.794 * [taylor]: Taking taylor expansion of t in t
6.794 * [backup-simplify]: Simplify 0 into 0
6.794 * [backup-simplify]: Simplify 1 into 1
6.794 * [backup-simplify]: Simplify (* 1.0 0) into 0
6.794 * [backup-simplify]: Simplify 0 into 0
6.794 * [backup-simplify]: Simplify 0 into 0
6.795 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.795 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
6.796 * [backup-simplify]: Simplify (+ 0 0) into 0
6.796 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1 1) (* 0 0))) into 1
6.797 * [backup-simplify]: Simplify (+ (* t 1) (+ (* 0 1.0) (* 0 0))) into t
6.797 * [taylor]: Taking taylor expansion of t in t
6.797 * [backup-simplify]: Simplify 0 into 0
6.797 * [backup-simplify]: Simplify 1 into 1
6.797 * [backup-simplify]: Simplify 0 into 0
6.797 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
6.798 * [backup-simplify]: Simplify 1.0 into 1.0
6.798 * [backup-simplify]: Simplify 0 into 0
6.798 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.799 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.799 * [backup-simplify]: Simplify (+ 0 0) into 0
6.800 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
6.800 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 1) (+ (* 0 1.0) (* 0 0)))) into 0
6.800 * [taylor]: Taking taylor expansion of 0 in t
6.800 * [backup-simplify]: Simplify 0 into 0
6.800 * [backup-simplify]: Simplify 0 into 0
6.800 * [backup-simplify]: Simplify 1 into 1
6.801 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
6.801 * [backup-simplify]: Simplify 0 into 0
6.801 * [backup-simplify]: Simplify 0 into 0
6.802 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.802 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.803 * [backup-simplify]: Simplify (+ 0 0) into 0
6.804 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
6.805 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 1.0) (* 0 0))))) into 0
6.805 * [taylor]: Taking taylor expansion of 0 in t
6.805 * [backup-simplify]: Simplify 0 into 0
6.805 * [backup-simplify]: Simplify 0 into 0
6.805 * [backup-simplify]: Simplify 0 into 0
6.805 * [backup-simplify]: Simplify 0 into 0
6.807 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
6.807 * [backup-simplify]: Simplify 0 into 0
6.807 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 t) (/ 1 z))) (* 1.0 (* (/ 1 t) 1))) into (+ (* 1.0 (/ 1 t)) (/ 1 (* t z)))
6.807 * [backup-simplify]: Simplify (/ (/ (fma 1.0 (/ 1 (- z)) 1) (/ 1 (- z))) (/ 1 (- t))) into (* t (* (fma 1.0 (/ -1 z) 1) z))
6.807 * [approximate]: Taking taylor expansion of (* t (* (fma 1.0 (/ -1 z) 1) z)) in (z t) around 0
6.807 * [taylor]: Taking taylor expansion of (* t (* (fma 1.0 (/ -1 z) 1) z)) in t
6.807 * [taylor]: Taking taylor expansion of t in t
6.807 * [backup-simplify]: Simplify 0 into 0
6.807 * [backup-simplify]: Simplify 1 into 1
6.807 * [taylor]: Taking taylor expansion of (* (fma 1.0 (/ -1 z) 1) z) in t
6.807 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 z) 1) in t
6.808 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 z)) 1)
6.808 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 z)) in t
6.808 * [taylor]: Taking taylor expansion of 1.0 in t
6.808 * [backup-simplify]: Simplify 1.0 into 1.0
6.808 * [taylor]: Taking taylor expansion of (/ -1 z) in t
6.808 * [taylor]: Taking taylor expansion of -1 in t
6.808 * [backup-simplify]: Simplify -1 into -1
6.808 * [taylor]: Taking taylor expansion of z in t
6.808 * [backup-simplify]: Simplify z into z
6.808 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
6.808 * [taylor]: Taking taylor expansion of 1 in t
6.808 * [backup-simplify]: Simplify 1 into 1
6.808 * [taylor]: Taking taylor expansion of z in t
6.808 * [backup-simplify]: Simplify z into z
6.808 * [taylor]: Taking taylor expansion of (* t (* (fma 1.0 (/ -1 z) 1) z)) in z
6.808 * [taylor]: Taking taylor expansion of t in z
6.808 * [backup-simplify]: Simplify t into t
6.808 * [taylor]: Taking taylor expansion of (* (fma 1.0 (/ -1 z) 1) z) in z
6.808 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 z) 1) in z
6.808 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 z)) 1)
6.808 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 z)) in z
6.808 * [taylor]: Taking taylor expansion of 1.0 in z
6.809 * [backup-simplify]: Simplify 1.0 into 1.0
6.809 * [taylor]: Taking taylor expansion of (/ -1 z) in z
6.809 * [taylor]: Taking taylor expansion of -1 in z
6.809 * [backup-simplify]: Simplify -1 into -1
6.809 * [taylor]: Taking taylor expansion of z in z
6.809 * [backup-simplify]: Simplify 0 into 0
6.809 * [backup-simplify]: Simplify 1 into 1
6.809 * [backup-simplify]: Simplify (/ -1 1) into -1
6.809 * [taylor]: Taking taylor expansion of 1 in z
6.809 * [backup-simplify]: Simplify 1 into 1
6.809 * [taylor]: Taking taylor expansion of z in z
6.809 * [backup-simplify]: Simplify 0 into 0
6.809 * [backup-simplify]: Simplify 1 into 1
6.809 * [taylor]: Taking taylor expansion of (* t (* (fma 1.0 (/ -1 z) 1) z)) in z
6.809 * [taylor]: Taking taylor expansion of t in z
6.809 * [backup-simplify]: Simplify t into t
6.809 * [taylor]: Taking taylor expansion of (* (fma 1.0 (/ -1 z) 1) z) in z
6.809 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 z) 1) in z
6.810 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 z)) 1)
6.810 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 z)) in z
6.810 * [taylor]: Taking taylor expansion of 1.0 in z
6.810 * [backup-simplify]: Simplify 1.0 into 1.0
6.810 * [taylor]: Taking taylor expansion of (/ -1 z) in z
6.810 * [taylor]: Taking taylor expansion of -1 in z
6.810 * [backup-simplify]: Simplify -1 into -1
6.810 * [taylor]: Taking taylor expansion of z in z
6.810 * [backup-simplify]: Simplify 0 into 0
6.810 * [backup-simplify]: Simplify 1 into 1
6.810 * [backup-simplify]: Simplify (/ -1 1) into -1
6.810 * [taylor]: Taking taylor expansion of 1 in z
6.810 * [backup-simplify]: Simplify 1 into 1
6.810 * [taylor]: Taking taylor expansion of z in z
6.811 * [backup-simplify]: Simplify 0 into 0
6.811 * [backup-simplify]: Simplify 1 into 1
6.811 * [backup-simplify]: Simplify (* 1.0 -1) into -1.0
6.812 * [backup-simplify]: Simplify (+ -1.0 0) into (- 1.0)
6.812 * [backup-simplify]: Simplify (* (- 1.0) 0) into 0
6.812 * [backup-simplify]: Simplify (* t 0) into 0
6.812 * [taylor]: Taking taylor expansion of 0 in t
6.812 * [backup-simplify]: Simplify 0 into 0
6.812 * [backup-simplify]: Simplify 0 into 0
6.813 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
6.814 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 -1)) into 0
6.815 * [backup-simplify]: Simplify (+ 0 1) into 1
6.817 * [backup-simplify]: Simplify (+ (* (- 1.0) 1) (* 1 0)) into (- 1.0)
6.818 * [backup-simplify]: Simplify (+ (* t (- 1.0)) (* 0 0)) into (- (* 1.0 t))
6.818 * [taylor]: Taking taylor expansion of (- (* 1.0 t)) in t
6.818 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
6.818 * [taylor]: Taking taylor expansion of 1.0 in t
6.818 * [backup-simplify]: Simplify 1.0 into 1.0
6.818 * [taylor]: Taking taylor expansion of t in t
6.818 * [backup-simplify]: Simplify 0 into 0
6.818 * [backup-simplify]: Simplify 1 into 1
6.818 * [backup-simplify]: Simplify (* 1.0 0) into 0
6.819 * [backup-simplify]: Simplify (- 0) into 0
6.819 * [backup-simplify]: Simplify 0 into 0
6.819 * [backup-simplify]: Simplify 0 into 0
6.820 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.821 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 -1))) into 0
6.822 * [backup-simplify]: Simplify (+ 0 0) into 0
6.823 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 1) (* 0 0))) into 1
6.824 * [backup-simplify]: Simplify (+ (* t 1) (+ (* 0 (- 1.0)) (* 0 0))) into t
6.824 * [taylor]: Taking taylor expansion of t in t
6.824 * [backup-simplify]: Simplify 0 into 0
6.824 * [backup-simplify]: Simplify 1 into 1
6.824 * [backup-simplify]: Simplify 0 into 0
6.825 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
6.826 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.826 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.826 * [backup-simplify]: Simplify 0 into 0
6.827 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.828 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
6.829 * [backup-simplify]: Simplify (+ 0 0) into 0
6.830 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
6.831 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 1) (+ (* 0 (- 1.0)) (* 0 0)))) into 0
6.831 * [taylor]: Taking taylor expansion of 0 in t
6.831 * [backup-simplify]: Simplify 0 into 0
6.831 * [backup-simplify]: Simplify 0 into 0
6.831 * [backup-simplify]: Simplify 1 into 1
6.832 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
6.833 * [backup-simplify]: Simplify (- 0) into 0
6.833 * [backup-simplify]: Simplify 0 into 0
6.833 * [backup-simplify]: Simplify 0 into 0
6.840 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.842 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0
6.842 * [backup-simplify]: Simplify (+ 0 0) into 0
6.844 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
6.845 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- 1.0)) (* 0 0))))) into 0
6.845 * [taylor]: Taking taylor expansion of 0 in t
6.845 * [backup-simplify]: Simplify 0 into 0
6.846 * [backup-simplify]: Simplify 0 into 0
6.846 * [backup-simplify]: Simplify 0 into 0
6.846 * [backup-simplify]: Simplify 0 into 0
6.847 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
6.847 * [backup-simplify]: Simplify (- 0) into 0
6.847 * [backup-simplify]: Simplify 0 into 0
6.848 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (- t)) (/ 1 (- z)))) (* (- 1.0) (* (/ 1 (- t)) 1))) into (+ (* 1.0 (/ 1 t)) (/ 1 (* t z)))
6.848 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1 1)
6.848 * [backup-simplify]: Simplify (/ (fma 1.0 z 1) z) into (/ (fma 1.0 z 1) z)
6.848 * [approximate]: Taking taylor expansion of (/ (fma 1.0 z 1) z) in (z) around 0
6.848 * [taylor]: Taking taylor expansion of (/ (fma 1.0 z 1) z) in z
6.848 * [taylor]: Taking taylor expansion of (fma 1.0 z 1) in z
6.848 * [taylor]: Rewrote expression to (+ (* 1.0 z) 1)
6.849 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
6.849 * [taylor]: Taking taylor expansion of 1.0 in z
6.849 * [backup-simplify]: Simplify 1.0 into 1.0
6.849 * [taylor]: Taking taylor expansion of z in z
6.849 * [backup-simplify]: Simplify 0 into 0
6.849 * [backup-simplify]: Simplify 1 into 1
6.849 * [taylor]: Taking taylor expansion of 1 in z
6.849 * [backup-simplify]: Simplify 1 into 1
6.849 * [taylor]: Taking taylor expansion of z in z
6.849 * [backup-simplify]: Simplify 0 into 0
6.849 * [backup-simplify]: Simplify 1 into 1
6.849 * [backup-simplify]: Simplify (* 1.0 0) into 0
6.850 * [backup-simplify]: Simplify (+ 0 1) into 1
6.850 * [backup-simplify]: Simplify (/ 1 1) into 1
6.850 * [taylor]: Taking taylor expansion of (/ (fma 1.0 z 1) z) in z
6.850 * [taylor]: Taking taylor expansion of (fma 1.0 z 1) in z
6.850 * [taylor]: Rewrote expression to (+ (* 1.0 z) 1)
6.850 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
6.850 * [taylor]: Taking taylor expansion of 1.0 in z
6.850 * [backup-simplify]: Simplify 1.0 into 1.0
6.850 * [taylor]: Taking taylor expansion of z in z
6.850 * [backup-simplify]: Simplify 0 into 0
6.851 * [backup-simplify]: Simplify 1 into 1
6.851 * [taylor]: Taking taylor expansion of 1 in z
6.851 * [backup-simplify]: Simplify 1 into 1
6.851 * [taylor]: Taking taylor expansion of z in z
6.851 * [backup-simplify]: Simplify 0 into 0
6.851 * [backup-simplify]: Simplify 1 into 1
6.851 * [backup-simplify]: Simplify (* 1.0 0) into 0
6.852 * [backup-simplify]: Simplify (+ 0 1) into 1
6.852 * [backup-simplify]: Simplify (/ 1 1) into 1
6.852 * [backup-simplify]: Simplify 1 into 1
6.853 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
6.854 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.856 * [backup-simplify]: Simplify (- (/ 1.0 1) (+ (* 1 (/ 0 1)))) into 1.0
6.856 * [backup-simplify]: Simplify 1.0 into 1.0
6.857 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
6.857 * [backup-simplify]: Simplify (+ 0 0) into 0
6.858 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1.0 (/ 0 1)))) into 0
6.858 * [backup-simplify]: Simplify 0 into 0
6.859 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
6.860 * [backup-simplify]: Simplify (+ 0 0) into 0
6.861 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.861 * [backup-simplify]: Simplify 0 into 0
6.862 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
6.863 * [backup-simplify]: Simplify (+ 0 0) into 0
6.864 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.864 * [backup-simplify]: Simplify 0 into 0
6.865 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
6.866 * [backup-simplify]: Simplify (+ 0 0) into 0
6.867 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.867 * [backup-simplify]: Simplify 0 into 0
6.868 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
6.869 * [backup-simplify]: Simplify (+ 0 0) into 0
6.870 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.870 * [backup-simplify]: Simplify 0 into 0
6.872 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
6.872 * [backup-simplify]: Simplify (+ 0 0) into 0
6.874 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.874 * [backup-simplify]: Simplify 0 into 0
6.874 * [backup-simplify]: Simplify (+ 1.0 (* 1 (/ 1 z))) into (+ 1.0 (/ 1 z))
6.874 * [backup-simplify]: Simplify (/ (fma 1.0 (/ 1 z) 1) (/ 1 z)) into (* (fma 1.0 (/ 1 z) 1) z)
6.874 * [approximate]: Taking taylor expansion of (* (fma 1.0 (/ 1 z) 1) z) in (z) around 0
6.874 * [taylor]: Taking taylor expansion of (* (fma 1.0 (/ 1 z) 1) z) in z
6.874 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 z) 1) in z
6.874 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 z)) 1)
6.874 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
6.874 * [taylor]: Taking taylor expansion of 1.0 in z
6.875 * [backup-simplify]: Simplify 1.0 into 1.0
6.875 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.875 * [taylor]: Taking taylor expansion of z in z
6.875 * [backup-simplify]: Simplify 0 into 0
6.875 * [backup-simplify]: Simplify 1 into 1
6.875 * [backup-simplify]: Simplify (/ 1 1) into 1
6.875 * [taylor]: Taking taylor expansion of 1 in z
6.875 * [backup-simplify]: Simplify 1 into 1
6.875 * [taylor]: Taking taylor expansion of z in z
6.875 * [backup-simplify]: Simplify 0 into 0
6.875 * [backup-simplify]: Simplify 1 into 1
6.875 * [taylor]: Taking taylor expansion of (* (fma 1.0 (/ 1 z) 1) z) in z
6.875 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 z) 1) in z
6.875 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 z)) 1)
6.875 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
6.875 * [taylor]: Taking taylor expansion of 1.0 in z
6.876 * [backup-simplify]: Simplify 1.0 into 1.0
6.876 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.876 * [taylor]: Taking taylor expansion of z in z
6.876 * [backup-simplify]: Simplify 0 into 0
6.876 * [backup-simplify]: Simplify 1 into 1
6.876 * [backup-simplify]: Simplify (/ 1 1) into 1
6.876 * [taylor]: Taking taylor expansion of 1 in z
6.876 * [backup-simplify]: Simplify 1 into 1
6.876 * [taylor]: Taking taylor expansion of z in z
6.876 * [backup-simplify]: Simplify 0 into 0
6.876 * [backup-simplify]: Simplify 1 into 1
6.877 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
6.877 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.878 * [backup-simplify]: Simplify (* 1.0 0) into 0
6.878 * [backup-simplify]: Simplify 0 into 0
6.878 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.879 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
6.880 * [backup-simplify]: Simplify (+ 0 1) into 1
6.881 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 1 0)) into 1.0
6.881 * [backup-simplify]: Simplify 1.0 into 1.0
6.882 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.883 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
6.883 * [backup-simplify]: Simplify (+ 0 0) into 0
6.884 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1 1) (* 0 0))) into 1
6.885 * [backup-simplify]: Simplify 1 into 1
6.886 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.887 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.887 * [backup-simplify]: Simplify (+ 0 0) into 0
6.889 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
6.889 * [backup-simplify]: Simplify 0 into 0
6.890 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.891 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.892 * [backup-simplify]: Simplify (+ 0 0) into 0
6.893 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
6.893 * [backup-simplify]: Simplify 0 into 0
6.894 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.896 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.896 * [backup-simplify]: Simplify (+ 0 0) into 0
6.898 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
6.898 * [backup-simplify]: Simplify 0 into 0
6.899 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.900 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.901 * [backup-simplify]: Simplify (+ 0 0) into 0
6.903 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
6.903 * [backup-simplify]: Simplify 0 into 0
6.904 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.906 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
6.906 * [backup-simplify]: Simplify (+ 0 0) into 0
6.908 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
6.908 * [backup-simplify]: Simplify 0 into 0
6.909 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.911 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
6.911 * [backup-simplify]: Simplify (+ 0 0) into 0
6.914 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
6.914 * [backup-simplify]: Simplify 0 into 0
6.914 * [backup-simplify]: Simplify (+ (* 1 (/ 1 z)) 1.0) into (+ 1.0 (/ 1 z))
6.914 * [backup-simplify]: Simplify (/ (fma 1.0 (/ 1 (- z)) 1) (/ 1 (- z))) into (* -1 (* (fma 1.0 (/ -1 z) 1) z))
6.914 * [approximate]: Taking taylor expansion of (* -1 (* (fma 1.0 (/ -1 z) 1) z)) in (z) around 0
6.914 * [taylor]: Taking taylor expansion of (* -1 (* (fma 1.0 (/ -1 z) 1) z)) in z
6.914 * [taylor]: Taking taylor expansion of -1 in z
6.914 * [backup-simplify]: Simplify -1 into -1
6.914 * [taylor]: Taking taylor expansion of (* (fma 1.0 (/ -1 z) 1) z) in z
6.914 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 z) 1) in z
6.915 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 z)) 1)
6.915 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 z)) in z
6.915 * [taylor]: Taking taylor expansion of 1.0 in z
6.915 * [backup-simplify]: Simplify 1.0 into 1.0
6.915 * [taylor]: Taking taylor expansion of (/ -1 z) in z
6.915 * [taylor]: Taking taylor expansion of -1 in z
6.915 * [backup-simplify]: Simplify -1 into -1
6.915 * [taylor]: Taking taylor expansion of z in z
6.915 * [backup-simplify]: Simplify 0 into 0
6.915 * [backup-simplify]: Simplify 1 into 1
6.915 * [backup-simplify]: Simplify (/ -1 1) into -1
6.915 * [taylor]: Taking taylor expansion of 1 in z
6.915 * [backup-simplify]: Simplify 1 into 1
6.915 * [taylor]: Taking taylor expansion of z in z
6.915 * [backup-simplify]: Simplify 0 into 0
6.915 * [backup-simplify]: Simplify 1 into 1
6.915 * [taylor]: Taking taylor expansion of (* -1 (* (fma 1.0 (/ -1 z) 1) z)) in z
6.915 * [taylor]: Taking taylor expansion of -1 in z
6.916 * [backup-simplify]: Simplify -1 into -1
6.916 * [taylor]: Taking taylor expansion of (* (fma 1.0 (/ -1 z) 1) z) in z
6.916 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 z) 1) in z
6.916 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 z)) 1)
6.916 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 z)) in z
6.916 * [taylor]: Taking taylor expansion of 1.0 in z
6.916 * [backup-simplify]: Simplify 1.0 into 1.0
6.916 * [taylor]: Taking taylor expansion of (/ -1 z) in z
6.916 * [taylor]: Taking taylor expansion of -1 in z
6.916 * [backup-simplify]: Simplify -1 into -1
6.916 * [taylor]: Taking taylor expansion of z in z
6.916 * [backup-simplify]: Simplify 0 into 0
6.916 * [backup-simplify]: Simplify 1 into 1
6.916 * [backup-simplify]: Simplify (/ -1 1) into -1
6.916 * [taylor]: Taking taylor expansion of 1 in z
6.916 * [backup-simplify]: Simplify 1 into 1
6.917 * [taylor]: Taking taylor expansion of z in z
6.917 * [backup-simplify]: Simplify 0 into 0
6.917 * [backup-simplify]: Simplify 1 into 1
6.917 * [backup-simplify]: Simplify (* 1.0 -1) into -1.0
6.917 * [backup-simplify]: Simplify (+ -1.0 0) into (- 1.0)
6.918 * [backup-simplify]: Simplify (* (- 1.0) 0) into 0
6.918 * [backup-simplify]: Simplify (* -1 0) into 0
6.918 * [backup-simplify]: Simplify 0 into 0
6.919 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
6.920 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 -1)) into 0
6.921 * [backup-simplify]: Simplify (+ 0 1) into 1
6.923 * [backup-simplify]: Simplify (+ (* (- 1.0) 1) (* 1 0)) into (- 1.0)
6.924 * [backup-simplify]: Simplify (+ (* -1 (- 1.0)) (* 0 0)) into 1.0
6.924 * [backup-simplify]: Simplify 1.0 into 1.0
6.925 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.926 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 -1))) into 0
6.927 * [backup-simplify]: Simplify (+ 0 0) into 0
6.928 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 1) (* 0 0))) into 1
6.929 * [backup-simplify]: Simplify (+ (* -1 1) (+ (* 0 (- 1.0)) (* 0 0))) into -1
6.929 * [backup-simplify]: Simplify -1 into -1
6.930 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.931 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
6.932 * [backup-simplify]: Simplify (+ 0 0) into 0
6.933 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
6.934 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (+ (* 0 (- 1.0)) (* 0 0)))) into 0
6.935 * [backup-simplify]: Simplify 0 into 0
6.936 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.937 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0
6.937 * [backup-simplify]: Simplify (+ 0 0) into 0
6.939 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
6.940 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- 1.0)) (* 0 0))))) into 0
6.940 * [backup-simplify]: Simplify 0 into 0
6.941 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.943 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))) into 0
6.943 * [backup-simplify]: Simplify (+ 0 0) into 0
6.945 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
6.947 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- 1.0)) (* 0 0)))))) into 0
6.947 * [backup-simplify]: Simplify 0 into 0
6.948 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.950 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))) into 0
6.950 * [backup-simplify]: Simplify (+ 0 0) into 0
6.952 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
6.954 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- 1.0)) (* 0 0))))))) into 0
6.954 * [backup-simplify]: Simplify 0 into 0
6.955 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.958 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))))) into 0
6.958 * [backup-simplify]: Simplify (+ 0 0) into 0
6.961 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
6.963 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- 1.0)) (* 0 0)))))))) into 0
6.963 * [backup-simplify]: Simplify 0 into 0
6.964 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.966 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))))) into 0
6.967 * [backup-simplify]: Simplify (+ 0 0) into 0
6.968 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
6.971 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- 1.0)) (* 0 0))))))))) into 0
6.971 * [backup-simplify]: Simplify 0 into 0
6.971 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (- z))) 1.0) into (+ 1.0 (/ 1 z))
6.971 * * * [progress]: simplifying candidates
6.974 * [simplify]: Simplifying:
  (expm1 (/ (/ (fma 1.0 z 1) z) t))
  (log1p (/ (/ (fma 1.0 z 1) z) t))
  (- (- (log (fma 1.0 z 1)) (log z)) (log t))
  (- (log (/ (fma 1.0 z 1) z)) (log t))
  (log (/ (/ (fma 1.0 z 1) z) t))
  (exp (/ (/ (fma 1.0 z 1) z) t))
  (/ (/ (* (* (fma 1.0 z 1) (fma 1.0 z 1)) (fma 1.0 z 1)) (* (* z z) z)) (* (* t t) t))
  (/ (* (* (/ (fma 1.0 z 1) z) (/ (fma 1.0 z 1) z)) (/ (fma 1.0 z 1) z)) (* (* t t) t))
  (* (cbrt (/ (/ (fma 1.0 z 1) z) t)) (cbrt (/ (/ (fma 1.0 z 1) z) t)))
  (cbrt (/ (/ (fma 1.0 z 1) z) t))
  (* (* (/ (/ (fma 1.0 z 1) z) t) (/ (/ (fma 1.0 z 1) z) t)) (/ (/ (fma 1.0 z 1) z) t))
  (sqrt (/ (/ (fma 1.0 z 1) z) t))
  (sqrt (/ (/ (fma 1.0 z 1) z) t))
  (- (/ (fma 1.0 z 1) z))
  (- t)
  (/ (* (cbrt (/ (fma 1.0 z 1) z)) (cbrt (/ (fma 1.0 z 1) z))) (* (cbrt t) (cbrt t)))
  (/ (cbrt (/ (fma 1.0 z 1) z)) (cbrt t))
  (/ (* (cbrt (/ (fma 1.0 z 1) z)) (cbrt (/ (fma 1.0 z 1) z))) (sqrt t))
  (/ (cbrt (/ (fma 1.0 z 1) z)) (sqrt t))
  (/ (* (cbrt (/ (fma 1.0 z 1) z)) (cbrt (/ (fma 1.0 z 1) z))) 1)
  (/ (cbrt (/ (fma 1.0 z 1) z)) t)
  (/ (sqrt (/ (fma 1.0 z 1) z)) (* (cbrt t) (cbrt t)))
  (/ (sqrt (/ (fma 1.0 z 1) z)) (cbrt t))
  (/ (sqrt (/ (fma 1.0 z 1) z)) (sqrt t))
  (/ (sqrt (/ (fma 1.0 z 1) z)) (sqrt t))
  (/ (sqrt (/ (fma 1.0 z 1) z)) 1)
  (/ (sqrt (/ (fma 1.0 z 1) z)) t)
  (/ (/ (* (cbrt (fma 1.0 z 1)) (cbrt (fma 1.0 z 1))) (* (cbrt z) (cbrt z))) (* (cbrt t) (cbrt t)))
  (/ (/ (cbrt (fma 1.0 z 1)) (cbrt z)) (cbrt t))
  (/ (/ (* (cbrt (fma 1.0 z 1)) (cbrt (fma 1.0 z 1))) (* (cbrt z) (cbrt z))) (sqrt t))
  (/ (/ (cbrt (fma 1.0 z 1)) (cbrt z)) (sqrt t))
  (/ (/ (* (cbrt (fma 1.0 z 1)) (cbrt (fma 1.0 z 1))) (* (cbrt z) (cbrt z))) 1)
  (/ (/ (cbrt (fma 1.0 z 1)) (cbrt z)) t)
  (/ (/ (* (cbrt (fma 1.0 z 1)) (cbrt (fma 1.0 z 1))) (sqrt z)) (* (cbrt t) (cbrt t)))
  (/ (/ (cbrt (fma 1.0 z 1)) (sqrt z)) (cbrt t))
  (/ (/ (* (cbrt (fma 1.0 z 1)) (cbrt (fma 1.0 z 1))) (sqrt z)) (sqrt t))
  (/ (/ (cbrt (fma 1.0 z 1)) (sqrt z)) (sqrt t))
  (/ (/ (* (cbrt (fma 1.0 z 1)) (cbrt (fma 1.0 z 1))) (sqrt z)) 1)
  (/ (/ (cbrt (fma 1.0 z 1)) (sqrt z)) t)
  (/ (/ (* (cbrt (fma 1.0 z 1)) (cbrt (fma 1.0 z 1))) 1) (* (cbrt t) (cbrt t)))
  (/ (/ (cbrt (fma 1.0 z 1)) z) (cbrt t))
  (/ (/ (* (cbrt (fma 1.0 z 1)) (cbrt (fma 1.0 z 1))) 1) (sqrt t))
  (/ (/ (cbrt (fma 1.0 z 1)) z) (sqrt t))
  (/ (/ (* (cbrt (fma 1.0 z 1)) (cbrt (fma 1.0 z 1))) 1) 1)
  (/ (/ (cbrt (fma 1.0 z 1)) z) t)
  (/ (/ (sqrt (fma 1.0 z 1)) (* (cbrt z) (cbrt z))) (* (cbrt t) (cbrt t)))
  (/ (/ (sqrt (fma 1.0 z 1)) (cbrt z)) (cbrt t))
  (/ (/ (sqrt (fma 1.0 z 1)) (* (cbrt z) (cbrt z))) (sqrt t))
  (/ (/ (sqrt (fma 1.0 z 1)) (cbrt z)) (sqrt t))
  (/ (/ (sqrt (fma 1.0 z 1)) (* (cbrt z) (cbrt z))) 1)
  (/ (/ (sqrt (fma 1.0 z 1)) (cbrt z)) t)
  (/ (/ (sqrt (fma 1.0 z 1)) (sqrt z)) (* (cbrt t) (cbrt t)))
  (/ (/ (sqrt (fma 1.0 z 1)) (sqrt z)) (cbrt t))
  (/ (/ (sqrt (fma 1.0 z 1)) (sqrt z)) (sqrt t))
  (/ (/ (sqrt (fma 1.0 z 1)) (sqrt z)) (sqrt t))
  (/ (/ (sqrt (fma 1.0 z 1)) (sqrt z)) 1)
  (/ (/ (sqrt (fma 1.0 z 1)) (sqrt z)) t)
  (/ (/ (sqrt (fma 1.0 z 1)) 1) (* (cbrt t) (cbrt t)))
  (/ (/ (sqrt (fma 1.0 z 1)) z) (cbrt t))
  (/ (/ (sqrt (fma 1.0 z 1)) 1) (sqrt t))
  (/ (/ (sqrt (fma 1.0 z 1)) z) (sqrt t))
  (/ (/ (sqrt (fma 1.0 z 1)) 1) 1)
  (/ (/ (sqrt (fma 1.0 z 1)) z) t)
  (/ (/ 1 (* (cbrt z) (cbrt z))) (* (cbrt t) (cbrt t)))
  (/ (/ (fma 1.0 z 1) (cbrt z)) (cbrt t))
  (/ (/ 1 (* (cbrt z) (cbrt z))) (sqrt t))
  (/ (/ (fma 1.0 z 1) (cbrt z)) (sqrt t))
  (/ (/ 1 (* (cbrt z) (cbrt z))) 1)
  (/ (/ (fma 1.0 z 1) (cbrt z)) t)
  (/ (/ 1 (sqrt z)) (* (cbrt t) (cbrt t)))
  (/ (/ (fma 1.0 z 1) (sqrt z)) (cbrt t))
  (/ (/ 1 (sqrt z)) (sqrt t))
  (/ (/ (fma 1.0 z 1) (sqrt z)) (sqrt t))
  (/ (/ 1 (sqrt z)) 1)
  (/ (/ (fma 1.0 z 1) (sqrt z)) t)
  (/ (/ 1 1) (* (cbrt t) (cbrt t)))
  (/ (/ (fma 1.0 z 1) z) (cbrt t))
  (/ (/ 1 1) (sqrt t))
  (/ (/ (fma 1.0 z 1) z) (sqrt t))
  (/ (/ 1 1) 1)
  (/ (/ (fma 1.0 z 1) z) t)
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (/ (fma 1.0 z 1) z) (cbrt t))
  (/ 1 (sqrt t))
  (/ (/ (fma 1.0 z 1) z) (sqrt t))
  (/ 1 1)
  (/ (/ (fma 1.0 z 1) z) t)
  (/ (fma 1.0 z 1) (* (cbrt t) (cbrt t)))
  (/ (/ 1 z) (cbrt t))
  (/ (fma 1.0 z 1) (sqrt t))
  (/ (/ 1 z) (sqrt t))
  (/ (fma 1.0 z 1) 1)
  (/ (/ 1 z) t)
  (/ 1 t)
  (/ t (/ (fma 1.0 z 1) z))
  (/ (/ (fma 1.0 z 1) z) (* (cbrt t) (cbrt t)))
  (/ (/ (fma 1.0 z 1) z) (sqrt t))
  (/ (/ (fma 1.0 z 1) z) 1)
  (/ t (cbrt (/ (fma 1.0 z 1) z)))
  (/ t (sqrt (/ (fma 1.0 z 1) z)))
  (/ t (/ (cbrt (fma 1.0 z 1)) (cbrt z)))
  (/ t (/ (cbrt (fma 1.0 z 1)) (sqrt z)))
  (/ t (/ (cbrt (fma 1.0 z 1)) z))
  (/ t (/ (sqrt (fma 1.0 z 1)) (cbrt z)))
  (/ t (/ (sqrt (fma 1.0 z 1)) (sqrt z)))
  (/ t (/ (sqrt (fma 1.0 z 1)) z))
  (/ t (/ (fma 1.0 z 1) (cbrt z)))
  (/ t (/ (fma 1.0 z 1) (sqrt z)))
  (/ t (/ (fma 1.0 z 1) z))
  (/ t (/ (fma 1.0 z 1) z))
  (/ t (/ 1 z))
  (* t z)
  (expm1 (/ (fma 1.0 z 1) z))
  (log1p (/ (fma 1.0 z 1) z))
  (- (log (fma 1.0 z 1)) (log z))
  (log (/ (fma 1.0 z 1) z))
  (exp (/ (fma 1.0 z 1) z))
  (/ (* (* (fma 1.0 z 1) (fma 1.0 z 1)) (fma 1.0 z 1)) (* (* z z) z))
  (* (cbrt (/ (fma 1.0 z 1) z)) (cbrt (/ (fma 1.0 z 1) z)))
  (cbrt (/ (fma 1.0 z 1) z))
  (* (* (/ (fma 1.0 z 1) z) (/ (fma 1.0 z 1) z)) (/ (fma 1.0 z 1) z))
  (sqrt (/ (fma 1.0 z 1) z))
  (sqrt (/ (fma 1.0 z 1) z))
  (- (fma 1.0 z 1))
  (- z)
  (/ (* (cbrt (fma 1.0 z 1)) (cbrt (fma 1.0 z 1))) (* (cbrt z) (cbrt z)))
  (/ (cbrt (fma 1.0 z 1)) (cbrt z))
  (/ (* (cbrt (fma 1.0 z 1)) (cbrt (fma 1.0 z 1))) (sqrt z))
  (/ (cbrt (fma 1.0 z 1)) (sqrt z))
  (/ (* (cbrt (fma 1.0 z 1)) (cbrt (fma 1.0 z 1))) 1)
  (/ (cbrt (fma 1.0 z 1)) z)
  (/ (sqrt (fma 1.0 z 1)) (* (cbrt z) (cbrt z)))
  (/ (sqrt (fma 1.0 z 1)) (cbrt z))
  (/ (sqrt (fma 1.0 z 1)) (sqrt z))
  (/ (sqrt (fma 1.0 z 1)) (sqrt z))
  (/ (sqrt (fma 1.0 z 1)) 1)
  (/ (sqrt (fma 1.0 z 1)) z)
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (fma 1.0 z 1) (cbrt z))
  (/ 1 (sqrt z))
  (/ (fma 1.0 z 1) (sqrt z))
  (/ 1 1)
  (/ (fma 1.0 z 1) z)
  (/ 1 z)
  (/ z (fma 1.0 z 1))
  (/ (fma 1.0 z 1) (* (cbrt z) (cbrt z)))
  (/ (fma 1.0 z 1) (sqrt z))
  (/ (fma 1.0 z 1) 1)
  (/ z (cbrt (fma 1.0 z 1)))
  (/ z (sqrt (fma 1.0 z 1)))
  (/ z (fma 1.0 z 1))
  (+ (* 1.0 (/ 1 t)) (/ 1 (* t z)))
  (+ (* 1.0 (/ 1 t)) (/ 1 (* t z)))
  (+ (* 1.0 (/ 1 t)) (/ 1 (* t z)))
  (+ 1.0 (/ 1 z))
  (+ 1.0 (/ 1 z))
  (+ 1.0 (/ 1 z))
6.977 * * [simplify]: iteration 0: 165 enodes
7.031 * * [simplify]: iteration 1: 358 enodes
7.145 * * [simplify]: iteration 2: 1410 enodes
8.034 * * [simplify]: iteration complete: 5001 enodes
8.035 * * [simplify]: Extracting #0: cost 118 inf + 0
8.037 * * [simplify]: Extracting #1: cost 883 inf + 1
8.044 * * [simplify]: Extracting #2: cost 1682 inf + 295
8.056 * * [simplify]: Extracting #3: cost 1350 inf + 2439
8.068 * * [simplify]: Extracting #4: cost 746 inf + 8901
8.080 * * [simplify]: Extracting #5: cost 43 inf + 19160
8.092 * * [simplify]: Extracting #6: cost 0 inf + 19759
8.110 * [simplify]: Simplified to:
  (expm1 (/ (/ (fma z 1.0 1) z) t))
  (log1p (/ (/ (fma z 1.0 1) z) t))
  (- (log1p (* z 1.0)) (log (* t z)))
  (- (log1p (* z 1.0)) (log (* t z)))
  (- (log1p (* z 1.0)) (log (* t z)))
  (exp (/ (/ (fma z 1.0 1) z) t))
  (/ (pow (/ (fma z 1.0 1) z) 3) (pow t 3))
  (/ (pow (/ (fma z 1.0 1) z) 3) (pow t 3))
  (* (cbrt (/ (/ (fma z 1.0 1) z) t)) (cbrt (/ (/ (fma z 1.0 1) z) t)))
  (cbrt (/ (/ (fma z 1.0 1) z) t))
  (pow (/ (/ (fma z 1.0 1) z) t) 3)
  (sqrt (/ (/ (fma z 1.0 1) z) t))
  (sqrt (/ (/ (fma z 1.0 1) z) t))
  (- (/ (fma z 1.0 1) z))
  (- t)
  (/ (* (cbrt (/ (fma z 1.0 1) z)) (/ (cbrt (/ (fma z 1.0 1) z)) (cbrt t))) (cbrt t))
  (/ (cbrt (/ (fma z 1.0 1) z)) (cbrt t))
  (* (cbrt (/ (fma z 1.0 1) z)) (/ (cbrt (/ (fma z 1.0 1) z)) (sqrt t)))
  (/ (cbrt (/ (fma z 1.0 1) z)) (sqrt t))
  (* (cbrt (/ (fma z 1.0 1) z)) (cbrt (/ (fma z 1.0 1) z)))
  (/ (cbrt (/ (fma z 1.0 1) z)) t)
  (/ (sqrt (/ (fma z 1.0 1) z)) (* (cbrt t) (cbrt t)))
  (/ (sqrt (/ (fma z 1.0 1) z)) (cbrt t))
  (/ (sqrt (/ (fma z 1.0 1) z)) (sqrt t))
  (/ (sqrt (/ (fma z 1.0 1) z)) (sqrt t))
  (sqrt (/ (fma z 1.0 1) z))
  (/ (sqrt (/ (fma z 1.0 1) z)) t)
  (* (/ (cbrt (fma z 1.0 1)) (* (* (* (cbrt z) (cbrt z)) (cbrt t)) (cbrt t))) (cbrt (fma z 1.0 1)))
  (/ (cbrt (fma z 1.0 1)) (* (cbrt t) (cbrt z)))
  (* (/ (cbrt (fma z 1.0 1)) (sqrt t)) (/ (cbrt (fma z 1.0 1)) (* (cbrt z) (cbrt z))))
  (/ (cbrt (fma z 1.0 1)) (* (cbrt z) (sqrt t)))
  (* (cbrt (fma z 1.0 1)) (/ (cbrt (fma z 1.0 1)) (* (cbrt z) (cbrt z))))
  (/ (/ (cbrt (fma z 1.0 1)) t) (cbrt z))
  (* (/ (/ (cbrt (fma z 1.0 1)) (sqrt z)) (* (cbrt t) (cbrt t))) (cbrt (fma z 1.0 1)))
  (/ (cbrt (fma z 1.0 1)) (* (sqrt z) (cbrt t)))
  (* (/ (/ (cbrt (fma z 1.0 1)) (sqrt t)) (sqrt z)) (cbrt (fma z 1.0 1)))
  (/ (/ (cbrt (fma z 1.0 1)) (sqrt t)) (sqrt z))
  (* (/ (cbrt (fma z 1.0 1)) (sqrt z)) (cbrt (fma z 1.0 1)))
  (/ (cbrt (fma z 1.0 1)) (* t (sqrt z)))
  (* (/ (cbrt (fma z 1.0 1)) (* (cbrt t) (cbrt t))) (cbrt (fma z 1.0 1)))
  (/ (cbrt (fma z 1.0 1)) (* z (cbrt t)))
  (* (cbrt (fma z 1.0 1)) (/ (cbrt (fma z 1.0 1)) (sqrt t)))
  (/ (/ (cbrt (fma z 1.0 1)) z) (sqrt t))
  (* (cbrt (fma z 1.0 1)) (cbrt (fma z 1.0 1)))
  (/ (cbrt (fma z 1.0 1)) (* t z))
  (/ (sqrt (fma z 1.0 1)) (* (* (* (cbrt z) (cbrt z)) (cbrt t)) (cbrt t)))
  (/ (sqrt (fma z 1.0 1)) (* (cbrt t) (cbrt z)))
  (/ (/ (sqrt (fma z 1.0 1)) (sqrt t)) (* (cbrt z) (cbrt z)))
  (/ (/ (sqrt (fma z 1.0 1)) (cbrt z)) (sqrt t))
  (/ (sqrt (fma z 1.0 1)) (* (cbrt z) (cbrt z)))
  (/ (sqrt (fma z 1.0 1)) (* t (cbrt z)))
  (/ (/ (sqrt (fma z 1.0 1)) (* (cbrt t) (cbrt t))) (sqrt z))
  (/ (sqrt (fma z 1.0 1)) (* (sqrt z) (cbrt t)))
  (/ (sqrt (fma z 1.0 1)) (* (sqrt t) (sqrt z)))
  (/ (sqrt (fma z 1.0 1)) (* (sqrt t) (sqrt z)))
  (/ (sqrt (fma z 1.0 1)) (sqrt z))
  (/ (sqrt (fma z 1.0 1)) (* t (sqrt z)))
  (/ (sqrt (fma z 1.0 1)) (* (cbrt t) (cbrt t)))
  (/ (/ (sqrt (fma z 1.0 1)) z) (cbrt t))
  (/ (sqrt (fma z 1.0 1)) (sqrt t))
  (/ (/ (sqrt (fma z 1.0 1)) z) (sqrt t))
  (sqrt (fma z 1.0 1))
  (/ (/ (sqrt (fma z 1.0 1)) t) z)
  (/ 1 (* (* (* (cbrt z) (cbrt z)) (cbrt t)) (cbrt t)))
  (/ (fma z 1.0 1) (* (cbrt t) (cbrt z)))
  (/ 1 (* (* (cbrt z) (cbrt z)) (sqrt t)))
  (/ (fma z 1.0 1) (* (cbrt z) (sqrt t)))
  (/ (/ 1 (cbrt z)) (cbrt z))
  (/ (/ (fma z 1.0 1) t) (cbrt z))
  (/ 1 (* (cbrt t) (* (cbrt t) (sqrt z))))
  (/ (fma z 1.0 1) (* (cbrt t) (sqrt z)))
  (/ (/ 1 (sqrt t)) (sqrt z))
  (/ (fma z 1.0 1) (* (sqrt t) (sqrt z)))
  (/ 1 (sqrt z))
  (/ (fma z 1.0 1) (* t (sqrt z)))
  (/ (/ 1 (cbrt t)) (cbrt t))
  (/ (fma z 1.0 1) (* (cbrt t) z))
  (/ 1 (sqrt t))
  (/ (fma z 1.0 1) (* z (sqrt t)))
  1
  (/ (/ (fma z 1.0 1) z) t)
  (/ (/ 1 (cbrt t)) (cbrt t))
  (/ (fma z 1.0 1) (* (cbrt t) z))
  (/ 1 (sqrt t))
  (/ (fma z 1.0 1) (* z (sqrt t)))
  1
  (/ (/ (fma z 1.0 1) z) t)
  (/ (/ (fma z 1.0 1) (cbrt t)) (cbrt t))
  (/ (/ 1 z) (cbrt t))
  (/ (fma z 1.0 1) (sqrt t))
  (/ 1 (* z (sqrt t)))
  (fma z 1.0 1)
  (/ (/ 1 z) t)
  (/ 1 t)
  (* (/ t (fma z 1.0 1)) z)
  (/ (/ (fma z 1.0 1) (* (cbrt t) z)) (cbrt t))
  (/ (fma z 1.0 1) (* z (sqrt t)))
  (/ (fma z 1.0 1) z)
  (/ t (cbrt (/ (fma z 1.0 1) z)))
  (/ t (sqrt (/ (fma z 1.0 1) z)))
  (/ (* t (cbrt z)) (cbrt (fma z 1.0 1)))
  (/ t (/ (cbrt (fma z 1.0 1)) (sqrt z)))
  (/ (* t z) (cbrt (fma z 1.0 1)))
  (/ (* t (cbrt z)) (sqrt (fma z 1.0 1)))
  (/ (* t (sqrt z)) (sqrt (fma z 1.0 1)))
  (/ (* z t) (sqrt (fma z 1.0 1)))
  (/ (* t (cbrt z)) (fma z 1.0 1))
  (/ (* (sqrt z) t) (fma z 1.0 1))
  (* (/ t (fma z 1.0 1)) z)
  (* (/ t (fma z 1.0 1)) z)
  (* t z)
  (* t z)
  (expm1 (/ (fma z 1.0 1) z))
  (log1p (/ (fma z 1.0 1) z))
  (- (log1p (* z 1.0)) (log z))
  (- (log1p (* z 1.0)) (log z))
  (exp (/ (fma z 1.0 1) z))
  (pow (/ (fma z 1.0 1) z) 3)
  (* (cbrt (/ (fma z 1.0 1) z)) (cbrt (/ (fma z 1.0 1) z)))
  (cbrt (/ (fma z 1.0 1) z))
  (pow (/ (fma z 1.0 1) z) 3)
  (sqrt (/ (fma z 1.0 1) z))
  (sqrt (/ (fma z 1.0 1) z))
  (- (fma z 1.0 1))
  (- z)
  (* (cbrt (fma z 1.0 1)) (/ (cbrt (fma z 1.0 1)) (* (cbrt z) (cbrt z))))
  (/ (cbrt (fma z 1.0 1)) (cbrt z))
  (* (/ (cbrt (fma z 1.0 1)) (sqrt z)) (cbrt (fma z 1.0 1)))
  (/ (cbrt (fma z 1.0 1)) (sqrt z))
  (* (cbrt (fma z 1.0 1)) (cbrt (fma z 1.0 1)))
  (/ (cbrt (fma z 1.0 1)) z)
  (/ (sqrt (fma z 1.0 1)) (* (cbrt z) (cbrt z)))
  (/ (sqrt (fma z 1.0 1)) (cbrt z))
  (/ (sqrt (fma z 1.0 1)) (sqrt z))
  (/ (sqrt (fma z 1.0 1)) (sqrt z))
  (sqrt (fma z 1.0 1))
  (/ (sqrt (fma z 1.0 1)) z)
  (/ (/ 1 (cbrt z)) (cbrt z))
  (/ (fma z 1.0 1) (cbrt z))
  (/ 1 (sqrt z))
  (/ (fma z 1.0 1) (sqrt z))
  1
  (/ (fma z 1.0 1) z)
  (/ 1 z)
  (/ z (fma z 1.0 1))
  (/ (fma z 1.0 1) (* (cbrt z) (cbrt z)))
  (/ (fma z 1.0 1) (sqrt z))
  (fma z 1.0 1)
  (/ z (cbrt (fma z 1.0 1)))
  (/ z (sqrt (fma z 1.0 1)))
  (/ z (fma z 1.0 1))
  (+ (/ (/ 1 z) t) (/ 1.0 t))
  (+ (/ (/ 1 z) t) (/ 1.0 t))
  (+ (/ (/ 1 z) t) (/ 1.0 t))
  (+ 1.0 (/ 1 z))
  (+ 1.0 (/ 1 z))
  (+ 1.0 (/ 1 z))
8.111 * * * [progress]: adding candidates to table
8.873 * * [progress]: iteration 4 / 4
8.873 * * * [progress]: picking best candidate
8.891 * * * * [pick]: Picked  #<alt (λ (x y z t) (fma (- (+ (/ 1 (* t z)) (/ 1.0 t)) 1) 2.0 (/ x y)))>
8.891 * * * [progress]: localizing error
8.909 * * * [progress]: generating rewritten candidates
8.909 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1 1)
8.918 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1)
8.949 * * * [progress]: generating series expansions
8.949 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1 1)
8.949 * [backup-simplify]: Simplify (/ 1 (* t z)) into (/ 1 (* t z))
8.949 * [approximate]: Taking taylor expansion of (/ 1 (* t z)) in (t z) around 0
8.949 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
8.949 * [taylor]: Taking taylor expansion of (* t z) in z
8.949 * [taylor]: Taking taylor expansion of t in z
8.949 * [backup-simplify]: Simplify t into t
8.949 * [taylor]: Taking taylor expansion of z in z
8.949 * [backup-simplify]: Simplify 0 into 0
8.949 * [backup-simplify]: Simplify 1 into 1
8.949 * [backup-simplify]: Simplify (* t 0) into 0
8.950 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
8.950 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
8.950 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
8.950 * [taylor]: Taking taylor expansion of (* t z) in t
8.950 * [taylor]: Taking taylor expansion of t in t
8.950 * [backup-simplify]: Simplify 0 into 0
8.950 * [backup-simplify]: Simplify 1 into 1
8.950 * [taylor]: Taking taylor expansion of z in t
8.950 * [backup-simplify]: Simplify z into z
8.950 * [backup-simplify]: Simplify (* 0 z) into 0
8.951 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
8.951 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
8.951 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
8.951 * [taylor]: Taking taylor expansion of (* t z) in t
8.951 * [taylor]: Taking taylor expansion of t in t
8.951 * [backup-simplify]: Simplify 0 into 0
8.951 * [backup-simplify]: Simplify 1 into 1
8.951 * [taylor]: Taking taylor expansion of z in t
8.951 * [backup-simplify]: Simplify z into z
8.951 * [backup-simplify]: Simplify (* 0 z) into 0
8.952 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
8.952 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
8.952 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.952 * [taylor]: Taking taylor expansion of z in z
8.952 * [backup-simplify]: Simplify 0 into 0
8.952 * [backup-simplify]: Simplify 1 into 1
8.952 * [backup-simplify]: Simplify (/ 1 1) into 1
8.952 * [backup-simplify]: Simplify 1 into 1
8.953 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
8.953 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
8.953 * [taylor]: Taking taylor expansion of 0 in z
8.953 * [backup-simplify]: Simplify 0 into 0
8.954 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.954 * [backup-simplify]: Simplify 0 into 0
8.955 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0
8.956 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
8.956 * [taylor]: Taking taylor expansion of 0 in z
8.956 * [backup-simplify]: Simplify 0 into 0
8.956 * [backup-simplify]: Simplify 0 into 0
8.957 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.957 * [backup-simplify]: Simplify 0 into 0
8.959 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 z))))) into 0
8.959 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
8.959 * [taylor]: Taking taylor expansion of 0 in z
8.959 * [backup-simplify]: Simplify 0 into 0
8.959 * [backup-simplify]: Simplify 0 into 0
8.959 * [backup-simplify]: Simplify 0 into 0
8.960 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.960 * [backup-simplify]: Simplify 0 into 0
8.960 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (/ 1 t))) into (/ 1 (* t z))
8.960 * [backup-simplify]: Simplify (/ 1 (* (/ 1 t) (/ 1 z))) into (* t z)
8.960 * [approximate]: Taking taylor expansion of (* t z) in (t z) around 0
8.960 * [taylor]: Taking taylor expansion of (* t z) in z
8.960 * [taylor]: Taking taylor expansion of t in z
8.960 * [backup-simplify]: Simplify t into t
8.960 * [taylor]: Taking taylor expansion of z in z
8.960 * [backup-simplify]: Simplify 0 into 0
8.960 * [backup-simplify]: Simplify 1 into 1
8.961 * [taylor]: Taking taylor expansion of (* t z) in t
8.961 * [taylor]: Taking taylor expansion of t in t
8.961 * [backup-simplify]: Simplify 0 into 0
8.961 * [backup-simplify]: Simplify 1 into 1
8.961 * [taylor]: Taking taylor expansion of z in t
8.961 * [backup-simplify]: Simplify z into z
8.961 * [taylor]: Taking taylor expansion of (* t z) in t
8.961 * [taylor]: Taking taylor expansion of t in t
8.961 * [backup-simplify]: Simplify 0 into 0
8.961 * [backup-simplify]: Simplify 1 into 1
8.961 * [taylor]: Taking taylor expansion of z in t
8.961 * [backup-simplify]: Simplify z into z
8.961 * [backup-simplify]: Simplify (* 0 z) into 0
8.961 * [taylor]: Taking taylor expansion of 0 in z
8.961 * [backup-simplify]: Simplify 0 into 0
8.961 * [backup-simplify]: Simplify 0 into 0
8.961 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
8.961 * [taylor]: Taking taylor expansion of z in z
8.962 * [backup-simplify]: Simplify 0 into 0
8.962 * [backup-simplify]: Simplify 1 into 1
8.962 * [backup-simplify]: Simplify 0 into 0
8.962 * [backup-simplify]: Simplify 0 into 0
8.962 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
8.963 * [taylor]: Taking taylor expansion of 0 in z
8.963 * [backup-simplify]: Simplify 0 into 0
8.963 * [backup-simplify]: Simplify 0 into 0
8.963 * [backup-simplify]: Simplify 1 into 1
8.963 * [backup-simplify]: Simplify 0 into 0
8.964 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0
8.964 * [taylor]: Taking taylor expansion of 0 in z
8.964 * [backup-simplify]: Simplify 0 into 0
8.964 * [backup-simplify]: Simplify 0 into 0
8.964 * [backup-simplify]: Simplify 0 into 0
8.964 * [backup-simplify]: Simplify 0 into 0
8.964 * [backup-simplify]: Simplify 0 into 0
8.966 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 z))))) into 0
8.966 * [taylor]: Taking taylor expansion of 0 in z
8.966 * [backup-simplify]: Simplify 0 into 0
8.966 * [backup-simplify]: Simplify 0 into 0
8.966 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (/ 1 t))) into (/ 1 (* t z))
8.966 * [backup-simplify]: Simplify (/ 1 (* (/ 1 (- t)) (/ 1 (- z)))) into (* t z)
8.966 * [approximate]: Taking taylor expansion of (* t z) in (t z) around 0
8.966 * [taylor]: Taking taylor expansion of (* t z) in z
8.966 * [taylor]: Taking taylor expansion of t in z
8.966 * [backup-simplify]: Simplify t into t
8.966 * [taylor]: Taking taylor expansion of z in z
8.966 * [backup-simplify]: Simplify 0 into 0
8.966 * [backup-simplify]: Simplify 1 into 1
8.966 * [taylor]: Taking taylor expansion of (* t z) in t
8.966 * [taylor]: Taking taylor expansion of t in t
8.966 * [backup-simplify]: Simplify 0 into 0
8.966 * [backup-simplify]: Simplify 1 into 1
8.967 * [taylor]: Taking taylor expansion of z in t
8.967 * [backup-simplify]: Simplify z into z
8.967 * [taylor]: Taking taylor expansion of (* t z) in t
8.967 * [taylor]: Taking taylor expansion of t in t
8.967 * [backup-simplify]: Simplify 0 into 0
8.967 * [backup-simplify]: Simplify 1 into 1
8.967 * [taylor]: Taking taylor expansion of z in t
8.967 * [backup-simplify]: Simplify z into z
8.967 * [backup-simplify]: Simplify (* 0 z) into 0
8.967 * [taylor]: Taking taylor expansion of 0 in z
8.967 * [backup-simplify]: Simplify 0 into 0
8.967 * [backup-simplify]: Simplify 0 into 0
8.967 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
8.967 * [taylor]: Taking taylor expansion of z in z
8.967 * [backup-simplify]: Simplify 0 into 0
8.967 * [backup-simplify]: Simplify 1 into 1
8.967 * [backup-simplify]: Simplify 0 into 0
8.968 * [backup-simplify]: Simplify 0 into 0
8.968 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
8.968 * [taylor]: Taking taylor expansion of 0 in z
8.968 * [backup-simplify]: Simplify 0 into 0
8.968 * [backup-simplify]: Simplify 0 into 0
8.969 * [backup-simplify]: Simplify 1 into 1
8.969 * [backup-simplify]: Simplify 0 into 0
8.970 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0
8.970 * [taylor]: Taking taylor expansion of 0 in z
8.970 * [backup-simplify]: Simplify 0 into 0
8.970 * [backup-simplify]: Simplify 0 into 0
8.970 * [backup-simplify]: Simplify 0 into 0
8.970 * [backup-simplify]: Simplify 0 into 0
8.970 * [backup-simplify]: Simplify 0 into 0
8.972 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 z))))) into 0
8.972 * [taylor]: Taking taylor expansion of 0 in z
8.972 * [backup-simplify]: Simplify 0 into 0
8.972 * [backup-simplify]: Simplify 0 into 0
8.972 * [backup-simplify]: Simplify (* 1 (* (/ 1 (- z)) (/ 1 (- t)))) into (/ 1 (* t z))
8.972 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1)
8.972 * [backup-simplify]: Simplify (+ (/ 1 (* t z)) (/ 1.0 t)) into (+ (* 1.0 (/ 1 t)) (/ 1 (* t z)))
8.972 * [approximate]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) (/ 1 (* t z))) in (t z) around 0
8.972 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) (/ 1 (* t z))) in z
8.972 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in z
8.972 * [taylor]: Taking taylor expansion of 1.0 in z
8.972 * [backup-simplify]: Simplify 1.0 into 1.0
8.972 * [taylor]: Taking taylor expansion of (/ 1 t) in z
8.972 * [taylor]: Taking taylor expansion of t in z
8.972 * [backup-simplify]: Simplify t into t
8.972 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
8.972 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
8.972 * [taylor]: Taking taylor expansion of (* t z) in z
8.972 * [taylor]: Taking taylor expansion of t in z
8.973 * [backup-simplify]: Simplify t into t
8.973 * [taylor]: Taking taylor expansion of z in z
8.973 * [backup-simplify]: Simplify 0 into 0
8.973 * [backup-simplify]: Simplify 1 into 1
8.973 * [backup-simplify]: Simplify (* t 0) into 0
8.973 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
8.973 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
8.973 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) (/ 1 (* t z))) in t
8.973 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
8.973 * [taylor]: Taking taylor expansion of 1.0 in t
8.973 * [backup-simplify]: Simplify 1.0 into 1.0
8.973 * [taylor]: Taking taylor expansion of (/ 1 t) in t
8.973 * [taylor]: Taking taylor expansion of t in t
8.973 * [backup-simplify]: Simplify 0 into 0
8.973 * [backup-simplify]: Simplify 1 into 1
8.974 * [backup-simplify]: Simplify (/ 1 1) into 1
8.974 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
8.974 * [taylor]: Taking taylor expansion of (* t z) in t
8.974 * [taylor]: Taking taylor expansion of t in t
8.974 * [backup-simplify]: Simplify 0 into 0
8.974 * [backup-simplify]: Simplify 1 into 1
8.974 * [taylor]: Taking taylor expansion of z in t
8.974 * [backup-simplify]: Simplify z into z
8.974 * [backup-simplify]: Simplify (* 0 z) into 0
8.974 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
8.975 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
8.975 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) (/ 1 (* t z))) in t
8.975 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
8.975 * [taylor]: Taking taylor expansion of 1.0 in t
8.975 * [backup-simplify]: Simplify 1.0 into 1.0
8.975 * [taylor]: Taking taylor expansion of (/ 1 t) in t
8.975 * [taylor]: Taking taylor expansion of t in t
8.975 * [backup-simplify]: Simplify 0 into 0
8.975 * [backup-simplify]: Simplify 1 into 1
8.975 * [backup-simplify]: Simplify (/ 1 1) into 1
8.975 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
8.975 * [taylor]: Taking taylor expansion of (* t z) in t
8.975 * [taylor]: Taking taylor expansion of t in t
8.975 * [backup-simplify]: Simplify 0 into 0
8.975 * [backup-simplify]: Simplify 1 into 1
8.975 * [taylor]: Taking taylor expansion of z in t
8.975 * [backup-simplify]: Simplify z into z
8.975 * [backup-simplify]: Simplify (* 0 z) into 0
8.976 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
8.976 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
8.976 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
8.977 * [backup-simplify]: Simplify (+ 1.0 (/ 1 z)) into (+ 1.0 (/ 1 z))
8.977 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 z)) in z
8.977 * [taylor]: Taking taylor expansion of 1.0 in z
8.977 * [backup-simplify]: Simplify 1.0 into 1.0
8.977 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.977 * [taylor]: Taking taylor expansion of z in z
8.977 * [backup-simplify]: Simplify 0 into 0
8.977 * [backup-simplify]: Simplify 1 into 1
8.977 * [backup-simplify]: Simplify (/ 1 1) into 1
8.978 * [backup-simplify]: Simplify (+ 0 1) into 1
8.978 * [backup-simplify]: Simplify 1 into 1
8.978 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.979 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
8.980 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
8.980 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
8.980 * [backup-simplify]: Simplify (+ 0 0) into 0
8.981 * [taylor]: Taking taylor expansion of 0 in z
8.981 * [backup-simplify]: Simplify 0 into 0
8.981 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.982 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
8.982 * [backup-simplify]: Simplify 1.0 into 1.0
8.983 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.984 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
8.985 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0
8.985 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
8.986 * [backup-simplify]: Simplify (+ 0 0) into 0
8.986 * [taylor]: Taking taylor expansion of 0 in z
8.986 * [backup-simplify]: Simplify 0 into 0
8.986 * [backup-simplify]: Simplify 0 into 0
8.987 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.987 * [backup-simplify]: Simplify (+ 0 0) into 0
8.987 * [backup-simplify]: Simplify 0 into 0
8.988 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.989 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.991 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 z))))) into 0
8.991 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
8.991 * [backup-simplify]: Simplify (+ 0 0) into 0
8.991 * [taylor]: Taking taylor expansion of 0 in z
8.991 * [backup-simplify]: Simplify 0 into 0
8.991 * [backup-simplify]: Simplify 0 into 0
8.991 * [backup-simplify]: Simplify 0 into 0
8.992 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.993 * [backup-simplify]: Simplify (+ 0 0) into 0
8.993 * [backup-simplify]: Simplify 0 into 0
8.994 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.995 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.997 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))))) into 0
8.997 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
8.997 * [backup-simplify]: Simplify (+ 0 0) into 0
8.998 * [taylor]: Taking taylor expansion of 0 in z
8.998 * [backup-simplify]: Simplify 0 into 0
8.998 * [backup-simplify]: Simplify 0 into 0
8.998 * [backup-simplify]: Simplify (+ (* 1.0 (* 1 (/ 1 t))) (* 1 (* (/ 1 z) (/ 1 t)))) into (+ (* 1.0 (/ 1 t)) (/ 1 (* t z)))
8.998 * [backup-simplify]: Simplify (+ (/ 1 (* (/ 1 t) (/ 1 z))) (/ 1.0 (/ 1 t))) into (+ (* 1.0 t) (* t z))
8.998 * [approximate]: Taking taylor expansion of (+ (* 1.0 t) (* t z)) in (t z) around 0
8.998 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) (* t z)) in z
8.998 * [taylor]: Taking taylor expansion of (* 1.0 t) in z
8.998 * [taylor]: Taking taylor expansion of 1.0 in z
8.998 * [backup-simplify]: Simplify 1.0 into 1.0
8.998 * [taylor]: Taking taylor expansion of t in z
8.998 * [backup-simplify]: Simplify t into t
8.998 * [taylor]: Taking taylor expansion of (* t z) in z
8.998 * [taylor]: Taking taylor expansion of t in z
8.998 * [backup-simplify]: Simplify t into t
8.998 * [taylor]: Taking taylor expansion of z in z
8.998 * [backup-simplify]: Simplify 0 into 0
8.998 * [backup-simplify]: Simplify 1 into 1
8.998 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) (* t z)) in t
8.998 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
8.999 * [taylor]: Taking taylor expansion of 1.0 in t
8.999 * [backup-simplify]: Simplify 1.0 into 1.0
8.999 * [taylor]: Taking taylor expansion of t in t
8.999 * [backup-simplify]: Simplify 0 into 0
8.999 * [backup-simplify]: Simplify 1 into 1
8.999 * [taylor]: Taking taylor expansion of (* t z) in t
8.999 * [taylor]: Taking taylor expansion of t in t
8.999 * [backup-simplify]: Simplify 0 into 0
8.999 * [backup-simplify]: Simplify 1 into 1
8.999 * [taylor]: Taking taylor expansion of z in t
8.999 * [backup-simplify]: Simplify z into z
8.999 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) (* t z)) in t
8.999 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
8.999 * [taylor]: Taking taylor expansion of 1.0 in t
8.999 * [backup-simplify]: Simplify 1.0 into 1.0
8.999 * [taylor]: Taking taylor expansion of t in t
8.999 * [backup-simplify]: Simplify 0 into 0
8.999 * [backup-simplify]: Simplify 1 into 1
8.999 * [taylor]: Taking taylor expansion of (* t z) in t
8.999 * [taylor]: Taking taylor expansion of t in t
8.999 * [backup-simplify]: Simplify 0 into 0
8.999 * [backup-simplify]: Simplify 1 into 1
8.999 * [taylor]: Taking taylor expansion of z in t
8.999 * [backup-simplify]: Simplify z into z
9.000 * [backup-simplify]: Simplify (* 1.0 0) into 0
9.000 * [backup-simplify]: Simplify (* 0 z) into 0
9.000 * [backup-simplify]: Simplify (+ 0 0) into 0
9.000 * [taylor]: Taking taylor expansion of 0 in z
9.000 * [backup-simplify]: Simplify 0 into 0
9.000 * [backup-simplify]: Simplify 0 into 0
9.001 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
9.002 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
9.002 * [backup-simplify]: Simplify (+ 1.0 z) into (+ z 1.0)
9.002 * [taylor]: Taking taylor expansion of (+ z 1.0) in z
9.002 * [taylor]: Taking taylor expansion of z in z
9.002 * [backup-simplify]: Simplify 0 into 0
9.002 * [backup-simplify]: Simplify 1 into 1
9.002 * [taylor]: Taking taylor expansion of 1.0 in z
9.002 * [backup-simplify]: Simplify 1.0 into 1.0
9.002 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
9.002 * [backup-simplify]: Simplify 1.0 into 1.0
9.003 * [backup-simplify]: Simplify 0 into 0
9.003 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
9.004 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
9.005 * [backup-simplify]: Simplify (+ 0 0) into 0
9.005 * [taylor]: Taking taylor expansion of 0 in z
9.005 * [backup-simplify]: Simplify 0 into 0
9.005 * [backup-simplify]: Simplify 0 into 0
9.005 * [backup-simplify]: Simplify (+ 1 0) into 1
9.005 * [backup-simplify]: Simplify 1 into 1
9.005 * [backup-simplify]: Simplify 0 into 0
9.006 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
9.007 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0
9.008 * [backup-simplify]: Simplify (+ 0 0) into 0
9.008 * [taylor]: Taking taylor expansion of 0 in z
9.008 * [backup-simplify]: Simplify 0 into 0
9.008 * [backup-simplify]: Simplify 0 into 0
9.008 * [backup-simplify]: Simplify 0 into 0
9.009 * [backup-simplify]: Simplify (+ 0 0) into 0
9.009 * [backup-simplify]: Simplify 0 into 0
9.009 * [backup-simplify]: Simplify 0 into 0
9.010 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
9.011 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 z))))) into 0
9.012 * [backup-simplify]: Simplify (+ 0 0) into 0
9.012 * [taylor]: Taking taylor expansion of 0 in z
9.012 * [backup-simplify]: Simplify 0 into 0
9.012 * [backup-simplify]: Simplify 0 into 0
9.012 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 z) (/ 1 t))) (* 1.0 (* 1 (/ 1 t)))) into (+ (* 1.0 (/ 1 t)) (/ 1 (* t z)))
9.012 * [backup-simplify]: Simplify (+ (/ 1 (* (/ 1 (- t)) (/ 1 (- z)))) (/ 1.0 (/ 1 (- t)))) into (- (* t z) (* 1.0 t))
9.012 * [approximate]: Taking taylor expansion of (- (* t z) (* 1.0 t)) in (t z) around 0
9.012 * [taylor]: Taking taylor expansion of (- (* t z) (* 1.0 t)) in z
9.012 * [taylor]: Taking taylor expansion of (* t z) in z
9.013 * [taylor]: Taking taylor expansion of t in z
9.013 * [backup-simplify]: Simplify t into t
9.013 * [taylor]: Taking taylor expansion of z in z
9.013 * [backup-simplify]: Simplify 0 into 0
9.013 * [backup-simplify]: Simplify 1 into 1
9.013 * [taylor]: Taking taylor expansion of (* 1.0 t) in z
9.013 * [taylor]: Taking taylor expansion of 1.0 in z
9.013 * [backup-simplify]: Simplify 1.0 into 1.0
9.013 * [taylor]: Taking taylor expansion of t in z
9.013 * [backup-simplify]: Simplify t into t
9.013 * [taylor]: Taking taylor expansion of (- (* t z) (* 1.0 t)) in t
9.013 * [taylor]: Taking taylor expansion of (* t z) in t
9.013 * [taylor]: Taking taylor expansion of t in t
9.013 * [backup-simplify]: Simplify 0 into 0
9.013 * [backup-simplify]: Simplify 1 into 1
9.013 * [taylor]: Taking taylor expansion of z in t
9.013 * [backup-simplify]: Simplify z into z
9.013 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
9.013 * [taylor]: Taking taylor expansion of 1.0 in t
9.013 * [backup-simplify]: Simplify 1.0 into 1.0
9.013 * [taylor]: Taking taylor expansion of t in t
9.013 * [backup-simplify]: Simplify 0 into 0
9.013 * [backup-simplify]: Simplify 1 into 1
9.013 * [taylor]: Taking taylor expansion of (- (* t z) (* 1.0 t)) in t
9.013 * [taylor]: Taking taylor expansion of (* t z) in t
9.013 * [taylor]: Taking taylor expansion of t in t
9.013 * [backup-simplify]: Simplify 0 into 0
9.013 * [backup-simplify]: Simplify 1 into 1
9.013 * [taylor]: Taking taylor expansion of z in t
9.013 * [backup-simplify]: Simplify z into z
9.013 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
9.013 * [taylor]: Taking taylor expansion of 1.0 in t
9.013 * [backup-simplify]: Simplify 1.0 into 1.0
9.013 * [taylor]: Taking taylor expansion of t in t
9.013 * [backup-simplify]: Simplify 0 into 0
9.013 * [backup-simplify]: Simplify 1 into 1
9.013 * [backup-simplify]: Simplify (* 0 z) into 0
9.014 * [backup-simplify]: Simplify (* 1.0 0) into 0
9.014 * [backup-simplify]: Simplify (- 0) into 0
9.015 * [backup-simplify]: Simplify (+ 0 0) into 0
9.015 * [taylor]: Taking taylor expansion of 0 in z
9.015 * [backup-simplify]: Simplify 0 into 0
9.015 * [backup-simplify]: Simplify 0 into 0
9.016 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
9.017 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
9.018 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
9.018 * [backup-simplify]: Simplify (+ z (- 1.0)) into (- z 1.0)
9.018 * [taylor]: Taking taylor expansion of (- z 1.0) in z
9.018 * [taylor]: Taking taylor expansion of z in z
9.018 * [backup-simplify]: Simplify 0 into 0
9.018 * [backup-simplify]: Simplify 1 into 1
9.018 * [taylor]: Taking taylor expansion of 1.0 in z
9.018 * [backup-simplify]: Simplify 1.0 into 1.0
9.019 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
9.020 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
9.020 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
9.020 * [backup-simplify]: Simplify 0 into 0
9.021 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
9.022 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
9.022 * [backup-simplify]: Simplify (- 0) into 0
9.023 * [backup-simplify]: Simplify (+ 0 0) into 0
9.023 * [taylor]: Taking taylor expansion of 0 in z
9.023 * [backup-simplify]: Simplify 0 into 0
9.023 * [backup-simplify]: Simplify 0 into 0
9.023 * [backup-simplify]: Simplify (- 0) into 0
9.023 * [backup-simplify]: Simplify (+ 1 0) into 1
9.023 * [backup-simplify]: Simplify 1 into 1
9.024 * [backup-simplify]: Simplify 0 into 0
9.025 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0
9.026 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
9.026 * [backup-simplify]: Simplify (- 0) into 0
9.026 * [backup-simplify]: Simplify (+ 0 0) into 0
9.026 * [taylor]: Taking taylor expansion of 0 in z
9.026 * [backup-simplify]: Simplify 0 into 0
9.026 * [backup-simplify]: Simplify 0 into 0
9.027 * [backup-simplify]: Simplify 0 into 0
9.027 * [backup-simplify]: Simplify (- 0) into 0
9.027 * [backup-simplify]: Simplify (+ 0 0) into 0
9.027 * [backup-simplify]: Simplify 0 into 0
9.027 * [backup-simplify]: Simplify 0 into 0
9.029 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 z))))) into 0
9.030 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
9.030 * [backup-simplify]: Simplify (- 0) into 0
9.031 * [backup-simplify]: Simplify (+ 0 0) into 0
9.031 * [taylor]: Taking taylor expansion of 0 in z
9.031 * [backup-simplify]: Simplify 0 into 0
9.031 * [backup-simplify]: Simplify 0 into 0
9.031 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (- z)) (/ 1 (- t)))) (* (- 1.0) (* 1 (/ 1 (- t))))) into (+ (* 1.0 (/ 1 t)) (/ 1 (* t z)))
9.032 * * * [progress]: simplifying candidates
9.033 * [simplify]: Simplifying:
  (expm1 (/ 1 (* t z)))
  (log1p (/ 1 (* t z)))
  (- 1)
  (- 1)
  (- (+ (log t) (log z)))
  (- (log (* t z)))
  (- 0 (+ (log t) (log z)))
  (- 0 (log (* t z)))
  (- (log 1) (+ (log t) (log z)))
  (- (log 1) (log (* t z)))
  (log (/ 1 (* t z)))
  (exp (/ 1 (* t z)))
  (/ (* (* 1 1) 1) (* (* (* t t) t) (* (* z z) z)))
  (/ (* (* 1 1) 1) (* (* (* t z) (* t z)) (* t z)))
  (* (cbrt (/ 1 (* t z))) (cbrt (/ 1 (* t z))))
  (cbrt (/ 1 (* t z)))
  (* (* (/ 1 (* t z)) (/ 1 (* t z))) (/ 1 (* t z)))
  (sqrt (/ 1 (* t z)))
  (sqrt (/ 1 (* t z)))
  (- 1)
  (- (* t z))
  (/ (* (cbrt 1) (cbrt 1)) t)
  (/ (cbrt 1) z)
  (/ (sqrt 1) t)
  (/ (sqrt 1) z)
  (/ 1 t)
  (/ 1 z)
  (/ 1 (* t z))
  (/ (* t z) 1)
  (/ 1 t)
  (/ (* t z) (cbrt 1))
  (/ (* t z) (sqrt 1))
  (/ (* t z) 1)
  (expm1 (+ (/ 1 (* t z)) (/ 1.0 t)))
  (log1p (+ (/ 1 (* t z)) (/ 1.0 t)))
  (* (exp (/ 1 (* t z))) (exp (/ 1.0 t)))
  (log (+ (/ 1 (* t z)) (/ 1.0 t)))
  (exp (+ (/ 1 (* t z)) (/ 1.0 t)))
  (* (cbrt (+ (/ 1 (* t z)) (/ 1.0 t))) (cbrt (+ (/ 1 (* t z)) (/ 1.0 t))))
  (cbrt (+ (/ 1 (* t z)) (/ 1.0 t)))
  (* (* (+ (/ 1 (* t z)) (/ 1.0 t)) (+ (/ 1 (* t z)) (/ 1.0 t))) (+ (/ 1 (* t z)) (/ 1.0 t)))
  (sqrt (+ (/ 1 (* t z)) (/ 1.0 t)))
  (sqrt (+ (/ 1 (* t z)) (/ 1.0 t)))
  (+ (* 1 t) (* (* t z) 1.0))
  (* (* t z) t)
  (+ (pow (/ 1 (* t z)) 3) (pow (/ 1.0 t) 3))
  (+ (* (/ 1 (* t z)) (/ 1 (* t z))) (- (* (/ 1.0 t) (/ 1.0 t)) (* (/ 1 (* t z)) (/ 1.0 t))))
  (- (* (/ 1 (* t z)) (/ 1 (* t z))) (* (/ 1.0 t) (/ 1.0 t)))
  (- (/ 1 (* t z)) (/ 1.0 t))
  (+ (/ 1 (* t z)) (/ 1.0 t))
  (+ (/ 1 (* t z)) (/ 1.0 t))
  (/ 1 (* t z))
  (/ 1 (* t z))
  (/ 1 (* t z))
  (+ (* 1.0 (/ 1 t)) (/ 1 (* t z)))
  (+ (* 1.0 (/ 1 t)) (/ 1 (* t z)))
  (+ (* 1.0 (/ 1 t)) (/ 1 (* t z)))
9.034 * * [simplify]: iteration 0: 81 enodes
9.069 * * [simplify]: iteration 1: 221 enodes
9.199 * * [simplify]: iteration 2: 1031 enodes
9.794 * * [simplify]: iteration complete: 5000 enodes
9.794 * * [simplify]: Extracting #0: cost 30 inf + 0
9.795 * * [simplify]: Extracting #1: cost 495 inf + 1
9.807 * * [simplify]: Extracting #2: cost 1410 inf + 430
9.819 * * [simplify]: Extracting #3: cost 884 inf + 6052
9.827 * * [simplify]: Extracting #4: cost 90 inf + 14407
9.834 * * [simplify]: Extracting #5: cost 3 inf + 15436
9.840 * * [simplify]: Extracting #6: cost 0 inf + 15459
9.846 * [simplify]: Simplified to:
  (expm1 (/ (/ 1 t) z))
  (log1p (/ (/ 1 t) z))
  -1
  -1
  (- (log (* t z)))
  (- (log (* t z)))
  (- (log (* t z)))
  (- (log (* t z)))
  (- (log (* t z)))
  (- (log (* t z)))
  (- (log (* t z)))
  (exp (/ (/ 1 t) z))
  (pow (/ (/ 1 t) z) 3)
  (pow (/ (/ 1 t) z) 3)
  (* (cbrt (/ (/ 1 t) z)) (cbrt (/ (/ 1 t) z)))
  (cbrt (/ (/ 1 t) z))
  (pow (/ (/ 1 t) z) 3)
  (sqrt (/ (/ 1 t) z))
  (sqrt (/ (/ 1 t) z))
  -1
  (* (- t) z)
  (/ 1 t)
  (/ 1 z)
  (/ 1 t)
  (/ 1 z)
  (/ 1 t)
  (/ 1 z)
  (/ (/ 1 t) z)
  (* t z)
  (/ 1 t)
  (* t z)
  (* t z)
  (* t z)
  (expm1 (+ (/ (/ 1 t) z) (/ 1.0 t)))
  (log1p (+ (/ (/ 1 t) z) (/ 1.0 t)))
  (exp (+ (/ (/ 1 t) z) (/ 1.0 t)))
  (log (+ (/ (/ 1 t) z) (/ 1.0 t)))
  (exp (+ (/ (/ 1 t) z) (/ 1.0 t)))
  (* (cbrt (+ (/ (/ 1 t) z) (/ 1.0 t))) (cbrt (+ (/ (/ 1 t) z) (/ 1.0 t))))
  (cbrt (+ (/ (/ 1 t) z) (/ 1.0 t)))
  (pow (+ (/ (/ 1 t) z) (/ 1.0 t)) 3)
  (sqrt (+ (/ (/ 1 t) z) (/ 1.0 t)))
  (sqrt (+ (/ (/ 1 t) z) (/ 1.0 t)))
  (fma 1.0 (* t z) t)
  (* (* t t) z)
  (+ (pow (/ 1.0 t) 3) (pow (/ (/ 1 t) z) 3))
  (fma (- (/ 1.0 t) (/ (/ 1 t) z)) (/ 1.0 t) (/ (/ (/ (/ 1 t) z) t) z))
  (- (/ (/ (/ (/ 1 t) z) t) z) (* (/ 1.0 t) (/ 1.0 t)))
  (- (/ (/ 1 t) z) (/ 1.0 t))
  (+ (/ (/ 1 t) z) (/ 1.0 t))
  (+ (/ (/ 1 t) z) (/ 1.0 t))
  (/ (/ 1 t) z)
  (/ (/ 1 t) z)
  (/ (/ 1 t) z)
  (+ (/ (/ 1 t) z) (/ 1.0 t))
  (+ (/ (/ 1 t) z) (/ 1.0 t))
  (+ (/ (/ 1 t) z) (/ 1.0 t))
9.847 * * * [progress]: adding candidates to table
10.109 * [progress]: [Phase 3 of 3] Extracting.
10.109 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (fma (- (* (/ 1 t) (+ (/ 1 z) 1.0)) 1) 2.0 (/ x y)))> #<alt (λ (x y z t) (fma (- (+ (/ 1 (* t z)) (/ 1.0 t)) 1) 2.0 (/ x y)))> #<alt (λ (x y z t) (fma (- (/ (/ (fma 1.0 z 1) z) t) 1) 2.0 (/ x y)))>)
10.109 * * * [regime-changes]: Trying 5 branch expressions: ((/ x y) t z y x)
10.109 * * * * [regimes]: Trying to branch on (/ x y) from (#<alt (λ (x y z t) (fma (- (* (/ 1 t) (+ (/ 1 z) 1.0)) 1) 2.0 (/ x y)))> #<alt (λ (x y z t) (fma (- (+ (/ 1 (* t z)) (/ 1.0 t)) 1) 2.0 (/ x y)))> #<alt (λ (x y z t) (fma (- (/ (/ (fma 1.0 z 1) z) t) 1) 2.0 (/ x y)))>)
10.170 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (fma (- (* (/ 1 t) (+ (/ 1 z) 1.0)) 1) 2.0 (/ x y)))> #<alt (λ (x y z t) (fma (- (+ (/ 1 (* t z)) (/ 1.0 t)) 1) 2.0 (/ x y)))> #<alt (λ (x y z t) (fma (- (/ (/ (fma 1.0 z 1) z) t) 1) 2.0 (/ x y)))>)
10.237 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (fma (- (* (/ 1 t) (+ (/ 1 z) 1.0)) 1) 2.0 (/ x y)))> #<alt (λ (x y z t) (fma (- (+ (/ 1 (* t z)) (/ 1.0 t)) 1) 2.0 (/ x y)))> #<alt (λ (x y z t) (fma (- (/ (/ (fma 1.0 z 1) z) t) 1) 2.0 (/ x y)))>)
10.306 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (fma (- (* (/ 1 t) (+ (/ 1 z) 1.0)) 1) 2.0 (/ x y)))> #<alt (λ (x y z t) (fma (- (+ (/ 1 (* t z)) (/ 1.0 t)) 1) 2.0 (/ x y)))> #<alt (λ (x y z t) (fma (- (/ (/ (fma 1.0 z 1) z) t) 1) 2.0 (/ x y)))>)
10.392 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (fma (- (* (/ 1 t) (+ (/ 1 z) 1.0)) 1) 2.0 (/ x y)))> #<alt (λ (x y z t) (fma (- (+ (/ 1 (* t z)) (/ 1.0 t)) 1) 2.0 (/ x y)))> #<alt (λ (x y z t) (fma (- (/ (/ (fma 1.0 z 1) z) t) 1) 2.0 (/ x y)))>)
10.466 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
10.467 * [simplify]: Simplifying:
  (fma (- (/ (/ (fma 1.0 z 1) z) t) 1) 2.0 (/ x y))
10.467 * * [simplify]: iteration 0: 13 enodes
10.468 * * [simplify]: iteration 1: 15 enodes
10.469 * * [simplify]: iteration complete: 15 enodes
10.469 * * [simplify]: Extracting #0: cost 1 inf + 0
10.469 * * [simplify]: Extracting #1: cost 4 inf + 0
10.469 * * [simplify]: Extracting #2: cost 7 inf + 1
10.469 * * [simplify]: Extracting #3: cost 5 inf + 7
10.469 * * [simplify]: Extracting #4: cost 6 inf + 8
10.469 * * [simplify]: Extracting #5: cost 6 inf + 9
10.469 * * [simplify]: Extracting #6: cost 5 inf + 10
10.470 * * [simplify]: Extracting #7: cost 4 inf + 14
10.470 * * [simplify]: Extracting #8: cost 1 inf + 38
10.470 * * [simplify]: Extracting #9: cost 0 inf + 53
10.470 * [simplify]: Simplified to:
  (fma (- (/ (/ (fma 1.0 z 1) z) t) 1) 2.0 (/ x y))
13.061 * [regime-testing]: Baseline error score: 0.08545880266292301
13.079 * [regime-testing]: Oracle error score: 0.022575942305378318
13.109 * [regime-testing]: End program error score: 0.08545880266292301
13.258 * [regime-testing]: Target error score: 0.08445867764729606