25.014 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.068 * * * [progress]: [2/2] Setting up program.
0.077 * [progress]: [Phase 2 of 3] Improving.
0.078 * [simplify]: Simplifying:
  (+ (/ x y) (/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z)))
0.078 * * [simplify]: iteration 0: 14 enodes
0.082 * * [simplify]: iteration 1: 25 enodes
0.090 * * [simplify]: iteration 2: 49 enodes
0.107 * * [simplify]: iteration 3: 106 enodes
0.149 * * [simplify]: iteration 4: 228 enodes
0.245 * * [simplify]: iteration 5: 403 enodes
0.442 * * [simplify]: iteration 6: 1065 enodes
1.559 * * [simplify]: iteration 7: 4902 enodes
2.708 * * [simplify]: iteration complete: 5000 enodes
2.709 * * [simplify]: Extracting #0: cost 1 inf + 0
2.709 * * [simplify]: Extracting #1: cost 25 inf + 0
2.710 * * [simplify]: Extracting #2: cost 358 inf + 1
2.719 * * [simplify]: Extracting #3: cost 914 inf + 7952
2.751 * * [simplify]: Extracting #4: cost 669 inf + 66967
2.795 * * [simplify]: Extracting #5: cost 18 inf + 130530
2.859 * * [simplify]: Extracting #6: cost 0 inf + 132868
2.926 * * [simplify]: Extracting #7: cost 0 inf + 132828
2.967 * [simplify]: Simplified to:
  (fma (- (/ (fma z 1.0 1) (* t z)) 1) 2.0 (/ x y))
2.980 * * [progress]: iteration 1 / 4
2.980 * * * [progress]: picking best candidate
2.990 * * * * [pick]: Picked  #<alt (λ (x y z t) (fma (- (/ (fma z 1.0 1) (* t z)) 1) 2.0 (/ x y)))>
2.990 * * * [progress]: localizing error
3.026 * * * [progress]: generating rewritten candidates
3.026 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 1)
3.036 * * * [progress]: generating series expansions
3.037 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 1)
3.037 * [backup-simplify]: Simplify (/ (fma z 1.0 1) (* t z)) into (/ (fma z 1.0 1) (* t z))
3.037 * [approximate]: Taking taylor expansion of (/ (fma z 1.0 1) (* t z)) in (z t) around 0
3.037 * [taylor]: Taking taylor expansion of (/ (fma z 1.0 1) (* t z)) in t
3.037 * [taylor]: Taking taylor expansion of (fma z 1.0 1) in t
3.037 * [taylor]: Rewrote expression to (+ (* z 1.0) 1)
3.037 * [taylor]: Taking taylor expansion of (* z 1.0) in t
3.037 * [taylor]: Taking taylor expansion of z in t
3.037 * [backup-simplify]: Simplify z into z
3.037 * [taylor]: Taking taylor expansion of 1.0 in t
3.037 * [backup-simplify]: Simplify 1.0 into 1.0
3.037 * [taylor]: Taking taylor expansion of 1 in t
3.037 * [backup-simplify]: Simplify 1 into 1
3.037 * [taylor]: Taking taylor expansion of (* t z) in t
3.037 * [taylor]: Taking taylor expansion of t in t
3.037 * [backup-simplify]: Simplify 0 into 0
3.037 * [backup-simplify]: Simplify 1 into 1
3.037 * [taylor]: Taking taylor expansion of z in t
3.037 * [backup-simplify]: Simplify z into z
3.037 * [backup-simplify]: Simplify (* z 1.0) into (* 1.0 z)
3.037 * [backup-simplify]: Simplify (+ (* 1.0 z) 1) into (+ (* 1.0 z) 1)
3.037 * [backup-simplify]: Simplify (* 0 z) into 0
3.038 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
3.038 * [backup-simplify]: Simplify (/ (+ (* 1.0 z) 1) z) into (/ (+ (* 1.0 z) 1) z)
3.038 * [taylor]: Taking taylor expansion of (/ (fma z 1.0 1) (* t z)) in z
3.038 * [taylor]: Taking taylor expansion of (fma z 1.0 1) in z
3.038 * [taylor]: Rewrote expression to (+ (* z 1.0) 1)
3.038 * [taylor]: Taking taylor expansion of (* z 1.0) in z
3.038 * [taylor]: Taking taylor expansion of z in z
3.038 * [backup-simplify]: Simplify 0 into 0
3.038 * [backup-simplify]: Simplify 1 into 1
3.038 * [taylor]: Taking taylor expansion of 1.0 in z
3.038 * [backup-simplify]: Simplify 1.0 into 1.0
3.038 * [taylor]: Taking taylor expansion of 1 in z
3.038 * [backup-simplify]: Simplify 1 into 1
3.038 * [taylor]: Taking taylor expansion of (* t z) in z
3.038 * [taylor]: Taking taylor expansion of t in z
3.038 * [backup-simplify]: Simplify t into t
3.038 * [taylor]: Taking taylor expansion of z in z
3.038 * [backup-simplify]: Simplify 0 into 0
3.038 * [backup-simplify]: Simplify 1 into 1
3.038 * [backup-simplify]: Simplify (* 0 1.0) into 0
3.039 * [backup-simplify]: Simplify (+ 0 1) into 1
3.039 * [backup-simplify]: Simplify (* t 0) into 0
3.039 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
3.039 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.039 * [taylor]: Taking taylor expansion of (/ (fma z 1.0 1) (* t z)) in z
3.039 * [taylor]: Taking taylor expansion of (fma z 1.0 1) in z
3.039 * [taylor]: Rewrote expression to (+ (* z 1.0) 1)
3.039 * [taylor]: Taking taylor expansion of (* z 1.0) in z
3.039 * [taylor]: Taking taylor expansion of z in z
3.039 * [backup-simplify]: Simplify 0 into 0
3.039 * [backup-simplify]: Simplify 1 into 1
3.039 * [taylor]: Taking taylor expansion of 1.0 in z
3.039 * [backup-simplify]: Simplify 1.0 into 1.0
3.039 * [taylor]: Taking taylor expansion of 1 in z
3.039 * [backup-simplify]: Simplify 1 into 1
3.039 * [taylor]: Taking taylor expansion of (* t z) in z
3.039 * [taylor]: Taking taylor expansion of t in z
3.039 * [backup-simplify]: Simplify t into t
3.039 * [taylor]: Taking taylor expansion of z in z
3.039 * [backup-simplify]: Simplify 0 into 0
3.039 * [backup-simplify]: Simplify 1 into 1
3.040 * [backup-simplify]: Simplify (* 0 1.0) into 0
3.040 * [backup-simplify]: Simplify (+ 0 1) into 1
3.040 * [backup-simplify]: Simplify (* t 0) into 0
3.040 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
3.040 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.040 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.040 * [taylor]: Taking taylor expansion of t in t
3.040 * [backup-simplify]: Simplify 0 into 0
3.040 * [backup-simplify]: Simplify 1 into 1
3.041 * [backup-simplify]: Simplify (/ 1 1) into 1
3.041 * [backup-simplify]: Simplify 1 into 1
3.042 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 1.0)) into 1.0
3.042 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.042 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 1) (* 0 0))) into 0
3.042 * [backup-simplify]: Simplify (- (/ 1.0 t) (+ (* (/ 1 t) (/ 0 t)))) into (* 1.0 (/ 1 t))
3.043 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
3.043 * [taylor]: Taking taylor expansion of 1.0 in t
3.043 * [backup-simplify]: Simplify 1.0 into 1.0
3.043 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.043 * [taylor]: Taking taylor expansion of t in t
3.043 * [backup-simplify]: Simplify 0 into 0
3.043 * [backup-simplify]: Simplify 1 into 1
3.043 * [backup-simplify]: Simplify (/ 1 1) into 1
3.043 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
3.043 * [backup-simplify]: Simplify 1.0 into 1.0
3.044 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.044 * [backup-simplify]: Simplify 0 into 0
3.044 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 1.0))) into 0
3.045 * [backup-simplify]: Simplify (+ 0 0) into 0
3.045 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.045 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)) (* (* 1.0 (/ 1 t)) (/ 0 t)))) into 0
3.045 * [taylor]: Taking taylor expansion of 0 in t
3.045 * [backup-simplify]: Simplify 0 into 0
3.046 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.046 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
3.046 * [backup-simplify]: Simplify 0 into 0
3.047 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.047 * [backup-simplify]: Simplify 0 into 0
3.048 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 1.0)))) into 0
3.048 * [backup-simplify]: Simplify (+ 0 0) into 0
3.048 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
3.049 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)) (* (* 1.0 (/ 1 t)) (/ 0 t)) (* 0 (/ 0 t)))) into 0
3.049 * [taylor]: Taking taylor expansion of 0 in t
3.049 * [backup-simplify]: Simplify 0 into 0
3.049 * [backup-simplify]: Simplify 0 into 0
3.049 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.050 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
3.050 * [backup-simplify]: Simplify 0 into 0
3.050 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.050 * [backup-simplify]: Simplify 0 into 0
3.050 * [backup-simplify]: Simplify (+ (* 1.0 (* (/ 1 t) 1)) (* 1 (* (/ 1 t) (/ 1 z)))) into (+ (* 1.0 (/ 1 t)) (/ 1 (* t z)))
3.051 * [backup-simplify]: Simplify (/ (fma (/ 1 z) 1.0 1) (* (/ 1 t) (/ 1 z))) into (* t (* z (fma (/ 1 z) 1.0 1)))
3.051 * [approximate]: Taking taylor expansion of (* t (* z (fma (/ 1 z) 1.0 1))) in (z t) around 0
3.051 * [taylor]: Taking taylor expansion of (* t (* z (fma (/ 1 z) 1.0 1))) in t
3.051 * [taylor]: Taking taylor expansion of t in t
3.051 * [backup-simplify]: Simplify 0 into 0
3.051 * [backup-simplify]: Simplify 1 into 1
3.051 * [taylor]: Taking taylor expansion of (* z (fma (/ 1 z) 1.0 1)) in t
3.051 * [taylor]: Taking taylor expansion of z in t
3.051 * [backup-simplify]: Simplify z into z
3.051 * [taylor]: Taking taylor expansion of (fma (/ 1 z) 1.0 1) in t
3.051 * [taylor]: Rewrote expression to (+ (* (/ 1 z) 1.0) 1)
3.051 * [taylor]: Taking taylor expansion of (* (/ 1 z) 1.0) in t
3.051 * [taylor]: Taking taylor expansion of (/ 1 z) in t
3.051 * [taylor]: Taking taylor expansion of z in t
3.051 * [backup-simplify]: Simplify z into z
3.051 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.051 * [taylor]: Taking taylor expansion of 1.0 in t
3.051 * [backup-simplify]: Simplify 1.0 into 1.0
3.051 * [taylor]: Taking taylor expansion of 1 in t
3.051 * [backup-simplify]: Simplify 1 into 1
3.051 * [taylor]: Taking taylor expansion of (* t (* z (fma (/ 1 z) 1.0 1))) in z
3.051 * [taylor]: Taking taylor expansion of t in z
3.051 * [backup-simplify]: Simplify t into t
3.051 * [taylor]: Taking taylor expansion of (* z (fma (/ 1 z) 1.0 1)) in z
3.051 * [taylor]: Taking taylor expansion of z in z
3.051 * [backup-simplify]: Simplify 0 into 0
3.051 * [backup-simplify]: Simplify 1 into 1
3.051 * [taylor]: Taking taylor expansion of (fma (/ 1 z) 1.0 1) in z
3.051 * [taylor]: Rewrote expression to (+ (* (/ 1 z) 1.0) 1)
3.051 * [taylor]: Taking taylor expansion of (* (/ 1 z) 1.0) in z
3.051 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.051 * [taylor]: Taking taylor expansion of z in z
3.051 * [backup-simplify]: Simplify 0 into 0
3.051 * [backup-simplify]: Simplify 1 into 1
3.052 * [backup-simplify]: Simplify (/ 1 1) into 1
3.052 * [taylor]: Taking taylor expansion of 1.0 in z
3.052 * [backup-simplify]: Simplify 1.0 into 1.0
3.052 * [taylor]: Taking taylor expansion of 1 in z
3.052 * [backup-simplify]: Simplify 1 into 1
3.052 * [taylor]: Taking taylor expansion of (* t (* z (fma (/ 1 z) 1.0 1))) in z
3.052 * [taylor]: Taking taylor expansion of t in z
3.052 * [backup-simplify]: Simplify t into t
3.052 * [taylor]: Taking taylor expansion of (* z (fma (/ 1 z) 1.0 1)) in z
3.052 * [taylor]: Taking taylor expansion of z in z
3.052 * [backup-simplify]: Simplify 0 into 0
3.052 * [backup-simplify]: Simplify 1 into 1
3.052 * [taylor]: Taking taylor expansion of (fma (/ 1 z) 1.0 1) in z
3.052 * [taylor]: Rewrote expression to (+ (* (/ 1 z) 1.0) 1)
3.052 * [taylor]: Taking taylor expansion of (* (/ 1 z) 1.0) in z
3.052 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.052 * [taylor]: Taking taylor expansion of z in z
3.052 * [backup-simplify]: Simplify 0 into 0
3.052 * [backup-simplify]: Simplify 1 into 1
3.052 * [backup-simplify]: Simplify (/ 1 1) into 1
3.052 * [taylor]: Taking taylor expansion of 1.0 in z
3.052 * [backup-simplify]: Simplify 1.0 into 1.0
3.052 * [taylor]: Taking taylor expansion of 1 in z
3.052 * [backup-simplify]: Simplify 1 into 1
3.053 * [backup-simplify]: Simplify (* 1 1.0) into 1.0
3.053 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.053 * [backup-simplify]: Simplify (* 0 1.0) into 0
3.053 * [backup-simplify]: Simplify (* t 0) into 0
3.053 * [taylor]: Taking taylor expansion of 0 in t
3.053 * [backup-simplify]: Simplify 0 into 0
3.053 * [backup-simplify]: Simplify 0 into 0
3.054 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.054 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1.0)) into 0
3.054 * [backup-simplify]: Simplify (+ 0 1) into 1
3.055 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1.0)) into 1.0
3.056 * [backup-simplify]: Simplify (+ (* t 1.0) (* 0 0)) into (* 1.0 t)
3.056 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.056 * [taylor]: Taking taylor expansion of 1.0 in t
3.056 * [backup-simplify]: Simplify 1.0 into 1.0
3.056 * [taylor]: Taking taylor expansion of t in t
3.056 * [backup-simplify]: Simplify 0 into 0
3.056 * [backup-simplify]: Simplify 1 into 1
3.056 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.056 * [backup-simplify]: Simplify 0 into 0
3.056 * [backup-simplify]: Simplify 0 into 0
3.057 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.057 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1.0))) into 0
3.057 * [backup-simplify]: Simplify (+ 0 0) into 0
3.058 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1.0))) into 1
3.058 * [backup-simplify]: Simplify (+ (* t 1) (+ (* 0 1.0) (* 0 0))) into t
3.058 * [taylor]: Taking taylor expansion of t in t
3.058 * [backup-simplify]: Simplify 0 into 0
3.058 * [backup-simplify]: Simplify 1 into 1
3.058 * [backup-simplify]: Simplify 0 into 0
3.059 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
3.059 * [backup-simplify]: Simplify 1.0 into 1.0
3.059 * [backup-simplify]: Simplify 0 into 0
3.060 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.061 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))) into 0
3.061 * [backup-simplify]: Simplify (+ 0 0) into 0
3.062 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1.0)))) into 0
3.063 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 1) (+ (* 0 1.0) (* 0 0)))) into 0
3.063 * [taylor]: Taking taylor expansion of 0 in t
3.063 * [backup-simplify]: Simplify 0 into 0
3.063 * [backup-simplify]: Simplify 0 into 0
3.063 * [backup-simplify]: Simplify 1 into 1
3.064 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
3.064 * [backup-simplify]: Simplify 0 into 0
3.064 * [backup-simplify]: Simplify 0 into 0
3.065 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.066 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))) into 0
3.066 * [backup-simplify]: Simplify (+ 0 0) into 0
3.068 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 1.0))))) into 0
3.069 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 1.0) (* 0 0))))) into 0
3.069 * [taylor]: Taking taylor expansion of 0 in t
3.069 * [backup-simplify]: Simplify 0 into 0
3.069 * [backup-simplify]: Simplify 0 into 0
3.069 * [backup-simplify]: Simplify 0 into 0
3.069 * [backup-simplify]: Simplify 0 into 0
3.070 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.070 * [backup-simplify]: Simplify 0 into 0
3.070 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 t) (/ 1 z))) (* 1.0 (* (/ 1 t) 1))) into (+ (* 1.0 (/ 1 t)) (/ 1 (* t z)))
3.071 * [backup-simplify]: Simplify (/ (fma (/ 1 (- z)) 1.0 1) (* (/ 1 (- t)) (/ 1 (- z)))) into (* t (* (fma (/ -1 z) 1.0 1) z))
3.071 * [approximate]: Taking taylor expansion of (* t (* (fma (/ -1 z) 1.0 1) z)) in (z t) around 0
3.071 * [taylor]: Taking taylor expansion of (* t (* (fma (/ -1 z) 1.0 1) z)) in t
3.071 * [taylor]: Taking taylor expansion of t in t
3.071 * [backup-simplify]: Simplify 0 into 0
3.071 * [backup-simplify]: Simplify 1 into 1
3.071 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) 1.0 1) z) in t
3.071 * [taylor]: Taking taylor expansion of (fma (/ -1 z) 1.0 1) in t
3.071 * [taylor]: Rewrote expression to (+ (* (/ -1 z) 1.0) 1)
3.071 * [taylor]: Taking taylor expansion of (* (/ -1 z) 1.0) in t
3.071 * [taylor]: Taking taylor expansion of (/ -1 z) in t
3.071 * [taylor]: Taking taylor expansion of -1 in t
3.071 * [backup-simplify]: Simplify -1 into -1
3.071 * [taylor]: Taking taylor expansion of z in t
3.071 * [backup-simplify]: Simplify z into z
3.071 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
3.071 * [taylor]: Taking taylor expansion of 1.0 in t
3.071 * [backup-simplify]: Simplify 1.0 into 1.0
3.071 * [taylor]: Taking taylor expansion of 1 in t
3.071 * [backup-simplify]: Simplify 1 into 1
3.071 * [taylor]: Taking taylor expansion of z in t
3.072 * [backup-simplify]: Simplify z into z
3.072 * [taylor]: Taking taylor expansion of (* t (* (fma (/ -1 z) 1.0 1) z)) in z
3.072 * [taylor]: Taking taylor expansion of t in z
3.072 * [backup-simplify]: Simplify t into t
3.072 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) 1.0 1) z) in z
3.072 * [taylor]: Taking taylor expansion of (fma (/ -1 z) 1.0 1) in z
3.072 * [taylor]: Rewrote expression to (+ (* (/ -1 z) 1.0) 1)
3.072 * [taylor]: Taking taylor expansion of (* (/ -1 z) 1.0) in z
3.072 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.072 * [taylor]: Taking taylor expansion of -1 in z
3.072 * [backup-simplify]: Simplify -1 into -1
3.072 * [taylor]: Taking taylor expansion of z in z
3.072 * [backup-simplify]: Simplify 0 into 0
3.072 * [backup-simplify]: Simplify 1 into 1
3.073 * [backup-simplify]: Simplify (/ -1 1) into -1
3.073 * [taylor]: Taking taylor expansion of 1.0 in z
3.073 * [backup-simplify]: Simplify 1.0 into 1.0
3.073 * [taylor]: Taking taylor expansion of 1 in z
3.073 * [backup-simplify]: Simplify 1 into 1
3.073 * [taylor]: Taking taylor expansion of z in z
3.073 * [backup-simplify]: Simplify 0 into 0
3.073 * [backup-simplify]: Simplify 1 into 1
3.073 * [taylor]: Taking taylor expansion of (* t (* (fma (/ -1 z) 1.0 1) z)) in z
3.073 * [taylor]: Taking taylor expansion of t in z
3.073 * [backup-simplify]: Simplify t into t
3.073 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) 1.0 1) z) in z
3.073 * [taylor]: Taking taylor expansion of (fma (/ -1 z) 1.0 1) in z
3.073 * [taylor]: Rewrote expression to (+ (* (/ -1 z) 1.0) 1)
3.073 * [taylor]: Taking taylor expansion of (* (/ -1 z) 1.0) in z
3.073 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.073 * [taylor]: Taking taylor expansion of -1 in z
3.073 * [backup-simplify]: Simplify -1 into -1
3.073 * [taylor]: Taking taylor expansion of z in z
3.073 * [backup-simplify]: Simplify 0 into 0
3.073 * [backup-simplify]: Simplify 1 into 1
3.074 * [backup-simplify]: Simplify (/ -1 1) into -1
3.074 * [taylor]: Taking taylor expansion of 1.0 in z
3.074 * [backup-simplify]: Simplify 1.0 into 1.0
3.074 * [taylor]: Taking taylor expansion of 1 in z
3.074 * [backup-simplify]: Simplify 1 into 1
3.074 * [taylor]: Taking taylor expansion of z in z
3.074 * [backup-simplify]: Simplify 0 into 0
3.074 * [backup-simplify]: Simplify 1 into 1
3.074 * [backup-simplify]: Simplify (* -1 1.0) into -1.0
3.075 * [backup-simplify]: Simplify (+ -1.0 0) into (- 1.0)
3.075 * [backup-simplify]: Simplify (* (- 1.0) 0) into 0
3.075 * [backup-simplify]: Simplify (* t 0) into 0
3.076 * [taylor]: Taking taylor expansion of 0 in t
3.076 * [backup-simplify]: Simplify 0 into 0
3.076 * [backup-simplify]: Simplify 0 into 0
3.076 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
3.077 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1.0)) into 0
3.078 * [backup-simplify]: Simplify (+ 0 1) into 1
3.080 * [backup-simplify]: Simplify (+ (* (- 1.0) 1) (* 1 0)) into (- 1.0)
3.080 * [backup-simplify]: Simplify (+ (* t (- 1.0)) (* 0 0)) into (- (* 1.0 t))
3.080 * [taylor]: Taking taylor expansion of (- (* 1.0 t)) in t
3.080 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.081 * [taylor]: Taking taylor expansion of 1.0 in t
3.081 * [backup-simplify]: Simplify 1.0 into 1.0
3.081 * [taylor]: Taking taylor expansion of t in t
3.081 * [backup-simplify]: Simplify 0 into 0
3.081 * [backup-simplify]: Simplify 1 into 1
3.081 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.081 * [backup-simplify]: Simplify (- 0) into 0
3.081 * [backup-simplify]: Simplify 0 into 0
3.082 * [backup-simplify]: Simplify 0 into 0
3.083 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.083 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1.0))) into 0
3.084 * [backup-simplify]: Simplify (+ 0 0) into 0
3.085 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 1) (* 0 0))) into 1
3.086 * [backup-simplify]: Simplify (+ (* t 1) (+ (* 0 (- 1.0)) (* 0 0))) into t
3.086 * [taylor]: Taking taylor expansion of t in t
3.086 * [backup-simplify]: Simplify 0 into 0
3.086 * [backup-simplify]: Simplify 1 into 1
3.086 * [backup-simplify]: Simplify 0 into 0
3.087 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
3.088 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
3.088 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
3.088 * [backup-simplify]: Simplify 0 into 0
3.089 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.090 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))) into 0
3.090 * [backup-simplify]: Simplify (+ 0 0) into 0
3.091 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
3.092 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 1) (+ (* 0 (- 1.0)) (* 0 0)))) into 0
3.092 * [taylor]: Taking taylor expansion of 0 in t
3.092 * [backup-simplify]: Simplify 0 into 0
3.092 * [backup-simplify]: Simplify 0 into 0
3.092 * [backup-simplify]: Simplify 1 into 1
3.092 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
3.093 * [backup-simplify]: Simplify (- 0) into 0
3.093 * [backup-simplify]: Simplify 0 into 0
3.093 * [backup-simplify]: Simplify 0 into 0
3.093 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.094 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))) into 0
3.094 * [backup-simplify]: Simplify (+ 0 0) into 0
3.095 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
3.096 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- 1.0)) (* 0 0))))) into 0
3.096 * [taylor]: Taking taylor expansion of 0 in t
3.096 * [backup-simplify]: Simplify 0 into 0
3.096 * [backup-simplify]: Simplify 0 into 0
3.096 * [backup-simplify]: Simplify 0 into 0
3.096 * [backup-simplify]: Simplify 0 into 0
3.097 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.097 * [backup-simplify]: Simplify (- 0) into 0
3.097 * [backup-simplify]: Simplify 0 into 0
3.098 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (- t)) (/ 1 (- z)))) (* (- 1.0) (* (/ 1 (- t)) 1))) into (+ (* 1.0 (/ 1 t)) (/ 1 (* t z)))
3.098 * * * [progress]: simplifying candidates
3.098 * [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)))
3.099 * * [simplify]: iteration 0: 52 enodes
3.107 * * [simplify]: iteration 1: 114 enodes
3.134 * * [simplify]: iteration 2: 393 enodes
3.662 * * [simplify]: iteration 3: 2518 enodes
4.504 * * [simplify]: iteration complete: 5000 enodes
4.504 * * [simplify]: Extracting #0: cost 22 inf + 0
4.506 * * [simplify]: Extracting #1: cost 334 inf + 0
4.518 * * [simplify]: Extracting #2: cost 1394 inf + 14851
4.584 * * [simplify]: Extracting #3: cost 601 inf + 188179
4.666 * * [simplify]: Extracting #4: cost 3 inf + 289027
4.776 * * [simplify]: Extracting #5: cost 0 inf + 287665
4.890 * [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)))
  (* (/ (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 z)) (* (/ (fma 1.0 z 1) (* t z)) (/ (fma 1.0 z 1) (* t z))))
  (* (cbrt (/ (fma 1.0 z 1) (* t z))) (cbrt (/ (fma 1.0 z 1) (* t z))))
  (cbrt (/ (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 z))))
  (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))
  (fma 1.0 (/ 1 t) (/ (/ 1 t) z))
  (fma 1.0 (/ 1 t) (/ (/ 1 t) z))
  (fma 1.0 (/ 1 t) (/ (/ 1 t) z))
4.893 * * * [progress]: adding candidates to table
5.100 * * [progress]: iteration 2 / 4
5.101 * * * [progress]: picking best candidate
5.129 * * * * [pick]: Picked  #<alt (λ (x y z t) (fma (- (* (/ 1 t) (/ (fma z 1.0 1) z)) 1) 2.0 (/ x y)))>
5.129 * * * [progress]: localizing error
5.147 * * * [progress]: generating rewritten candidates
5.147 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
5.167 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1 2)
5.174 * * * [progress]: generating series expansions
5.174 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
5.174 * [backup-simplify]: Simplify (* (/ 1 t) (/ (fma z 1.0 1) z)) into (/ (fma z 1.0 1) (* t z))
5.174 * [approximate]: Taking taylor expansion of (/ (fma z 1.0 1) (* t z)) in (t z) around 0
5.174 * [taylor]: Taking taylor expansion of (/ (fma z 1.0 1) (* t z)) in z
5.174 * [taylor]: Taking taylor expansion of (fma z 1.0 1) in z
5.174 * [taylor]: Rewrote expression to (+ (* z 1.0) 1)
5.174 * [taylor]: Taking taylor expansion of (* z 1.0) in z
5.174 * [taylor]: Taking taylor expansion of z in z
5.174 * [backup-simplify]: Simplify 0 into 0
5.174 * [backup-simplify]: Simplify 1 into 1
5.174 * [taylor]: Taking taylor expansion of 1.0 in z
5.174 * [backup-simplify]: Simplify 1.0 into 1.0
5.174 * [taylor]: Taking taylor expansion of 1 in z
5.174 * [backup-simplify]: Simplify 1 into 1
5.174 * [taylor]: Taking taylor expansion of (* t z) in z
5.174 * [taylor]: Taking taylor expansion of t in z
5.174 * [backup-simplify]: Simplify t into t
5.174 * [taylor]: Taking taylor expansion of z in z
5.174 * [backup-simplify]: Simplify 0 into 0
5.174 * [backup-simplify]: Simplify 1 into 1
5.175 * [backup-simplify]: Simplify (* 0 1.0) into 0
5.175 * [backup-simplify]: Simplify (+ 0 1) into 1
5.175 * [backup-simplify]: Simplify (* t 0) into 0
5.176 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
5.176 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.176 * [taylor]: Taking taylor expansion of (/ (fma z 1.0 1) (* t z)) in t
5.176 * [taylor]: Taking taylor expansion of (fma z 1.0 1) in t
5.176 * [taylor]: Rewrote expression to (+ (* z 1.0) 1)
5.176 * [taylor]: Taking taylor expansion of (* z 1.0) in t
5.176 * [taylor]: Taking taylor expansion of z in t
5.176 * [backup-simplify]: Simplify z into z
5.176 * [taylor]: Taking taylor expansion of 1.0 in t
5.176 * [backup-simplify]: Simplify 1.0 into 1.0
5.176 * [taylor]: Taking taylor expansion of 1 in t
5.176 * [backup-simplify]: Simplify 1 into 1
5.176 * [taylor]: Taking taylor expansion of (* t z) in t
5.176 * [taylor]: Taking taylor expansion of t in t
5.176 * [backup-simplify]: Simplify 0 into 0
5.176 * [backup-simplify]: Simplify 1 into 1
5.176 * [taylor]: Taking taylor expansion of z in t
5.176 * [backup-simplify]: Simplify z into z
5.176 * [backup-simplify]: Simplify (* z 1.0) into (* 1.0 z)
5.177 * [backup-simplify]: Simplify (+ (* 1.0 z) 1) into (+ (* 1.0 z) 1)
5.177 * [backup-simplify]: Simplify (* 0 z) into 0
5.177 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
5.177 * [backup-simplify]: Simplify (/ (+ (* 1.0 z) 1) z) into (/ (+ (* 1.0 z) 1) z)
5.177 * [taylor]: Taking taylor expansion of (/ (fma z 1.0 1) (* t z)) in t
5.177 * [taylor]: Taking taylor expansion of (fma z 1.0 1) in t
5.177 * [taylor]: Rewrote expression to (+ (* z 1.0) 1)
5.177 * [taylor]: Taking taylor expansion of (* z 1.0) in t
5.177 * [taylor]: Taking taylor expansion of z in t
5.177 * [backup-simplify]: Simplify z into z
5.177 * [taylor]: Taking taylor expansion of 1.0 in t
5.177 * [backup-simplify]: Simplify 1.0 into 1.0
5.177 * [taylor]: Taking taylor expansion of 1 in t
5.177 * [backup-simplify]: Simplify 1 into 1
5.177 * [taylor]: Taking taylor expansion of (* t z) in t
5.177 * [taylor]: Taking taylor expansion of t in t
5.177 * [backup-simplify]: Simplify 0 into 0
5.177 * [backup-simplify]: Simplify 1 into 1
5.177 * [taylor]: Taking taylor expansion of z in t
5.177 * [backup-simplify]: Simplify z into z
5.177 * [backup-simplify]: Simplify (* z 1.0) into (* 1.0 z)
5.178 * [backup-simplify]: Simplify (+ (* 1.0 z) 1) into (+ (* 1.0 z) 1)
5.178 * [backup-simplify]: Simplify (* 0 z) into 0
5.178 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
5.178 * [backup-simplify]: Simplify (/ (+ (* 1.0 z) 1) z) into (/ (+ (* 1.0 z) 1) z)
5.178 * [taylor]: Taking taylor expansion of (/ (+ (* 1.0 z) 1) z) in z
5.178 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) 1) in z
5.178 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
5.178 * [taylor]: Taking taylor expansion of 1.0 in z
5.178 * [backup-simplify]: Simplify 1.0 into 1.0
5.178 * [taylor]: Taking taylor expansion of z in z
5.178 * [backup-simplify]: Simplify 0 into 0
5.178 * [backup-simplify]: Simplify 1 into 1
5.178 * [taylor]: Taking taylor expansion of 1 in z
5.178 * [backup-simplify]: Simplify 1 into 1
5.178 * [taylor]: Taking taylor expansion of z in z
5.178 * [backup-simplify]: Simplify 0 into 0
5.178 * [backup-simplify]: Simplify 1 into 1
5.178 * [backup-simplify]: Simplify (* 1.0 0) into 0
5.179 * [backup-simplify]: Simplify (+ 0 1) into 1
5.179 * [backup-simplify]: Simplify (/ 1 1) into 1
5.179 * [backup-simplify]: Simplify 1 into 1
5.179 * [backup-simplify]: Simplify (+ (* z 0) (* 0 1.0)) into 0
5.180 * [backup-simplify]: Simplify (+ 0 0) into 0
5.180 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
5.180 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ (+ (* 1.0 z) 1) z) (/ 0 z)))) into 0
5.180 * [taylor]: Taking taylor expansion of 0 in z
5.180 * [backup-simplify]: Simplify 0 into 0
5.181 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
5.182 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
5.183 * [backup-simplify]: Simplify (- (/ 1.0 1) (+ (* 1 (/ 0 1)))) into 1.0
5.183 * [backup-simplify]: Simplify 1.0 into 1.0
5.189 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 1.0))) into 0
5.190 * [backup-simplify]: Simplify (+ 0 0) into 0
5.191 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0
5.192 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ (+ (* 1.0 z) 1) z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.192 * [taylor]: Taking taylor expansion of 0 in z
5.192 * [backup-simplify]: Simplify 0 into 0
5.192 * [backup-simplify]: Simplify 0 into 0
5.193 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
5.194 * [backup-simplify]: Simplify (+ 0 0) into 0
5.195 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1.0 (/ 0 1)))) into 0
5.195 * [backup-simplify]: Simplify 0 into 0
5.196 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))) into 0
5.196 * [backup-simplify]: Simplify (+ 0 0) into 0
5.198 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 z))))) into 0
5.198 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ (+ (* 1.0 z) 1) z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.199 * [taylor]: Taking taylor expansion of 0 in z
5.199 * [backup-simplify]: Simplify 0 into 0
5.199 * [backup-simplify]: Simplify 0 into 0
5.199 * [backup-simplify]: Simplify 0 into 0
5.200 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.200 * [backup-simplify]: Simplify (+ 0 0) into 0
5.201 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.201 * [backup-simplify]: Simplify 0 into 0
5.202 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))) into 0
5.203 * [backup-simplify]: Simplify (+ 0 0) into 0
5.205 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))))) into 0
5.205 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ (+ (* 1.0 z) 1) z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.205 * [taylor]: Taking taylor expansion of 0 in z
5.205 * [backup-simplify]: Simplify 0 into 0
5.205 * [backup-simplify]: Simplify 0 into 0
5.205 * [backup-simplify]: Simplify (+ (* 1.0 (* 1 (/ 1 t))) (* 1 (* (/ 1 z) (/ 1 t)))) into (+ (* 1.0 (/ 1 t)) (/ 1 (* t z)))
5.206 * [backup-simplify]: Simplify (* (/ 1 (/ 1 t)) (/ (fma (/ 1 z) 1.0 1) (/ 1 z))) into (* t (* z (fma (/ 1 z) 1.0 1)))
5.206 * [approximate]: Taking taylor expansion of (* t (* z (fma (/ 1 z) 1.0 1))) in (t z) around 0
5.206 * [taylor]: Taking taylor expansion of (* t (* z (fma (/ 1 z) 1.0 1))) in z
5.206 * [taylor]: Taking taylor expansion of t in z
5.206 * [backup-simplify]: Simplify t into t
5.206 * [taylor]: Taking taylor expansion of (* z (fma (/ 1 z) 1.0 1)) in z
5.206 * [taylor]: Taking taylor expansion of z in z
5.206 * [backup-simplify]: Simplify 0 into 0
5.206 * [backup-simplify]: Simplify 1 into 1
5.206 * [taylor]: Taking taylor expansion of (fma (/ 1 z) 1.0 1) in z
5.206 * [taylor]: Rewrote expression to (+ (* (/ 1 z) 1.0) 1)
5.206 * [taylor]: Taking taylor expansion of (* (/ 1 z) 1.0) in z
5.206 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.206 * [taylor]: Taking taylor expansion of z in z
5.206 * [backup-simplify]: Simplify 0 into 0
5.206 * [backup-simplify]: Simplify 1 into 1
5.207 * [backup-simplify]: Simplify (/ 1 1) into 1
5.207 * [taylor]: Taking taylor expansion of 1.0 in z
5.207 * [backup-simplify]: Simplify 1.0 into 1.0
5.207 * [taylor]: Taking taylor expansion of 1 in z
5.207 * [backup-simplify]: Simplify 1 into 1
5.207 * [taylor]: Taking taylor expansion of (* t (* z (fma (/ 1 z) 1.0 1))) in t
5.207 * [taylor]: Taking taylor expansion of t in t
5.207 * [backup-simplify]: Simplify 0 into 0
5.207 * [backup-simplify]: Simplify 1 into 1
5.207 * [taylor]: Taking taylor expansion of (* z (fma (/ 1 z) 1.0 1)) in t
5.207 * [taylor]: Taking taylor expansion of z in t
5.207 * [backup-simplify]: Simplify z into z
5.207 * [taylor]: Taking taylor expansion of (fma (/ 1 z) 1.0 1) in t
5.207 * [taylor]: Rewrote expression to (+ (* (/ 1 z) 1.0) 1)
5.207 * [taylor]: Taking taylor expansion of (* (/ 1 z) 1.0) in t
5.207 * [taylor]: Taking taylor expansion of (/ 1 z) in t
5.207 * [taylor]: Taking taylor expansion of z in t
5.207 * [backup-simplify]: Simplify z into z
5.207 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.207 * [taylor]: Taking taylor expansion of 1.0 in t
5.208 * [backup-simplify]: Simplify 1.0 into 1.0
5.208 * [taylor]: Taking taylor expansion of 1 in t
5.208 * [backup-simplify]: Simplify 1 into 1
5.208 * [taylor]: Taking taylor expansion of (* t (* z (fma (/ 1 z) 1.0 1))) in t
5.208 * [taylor]: Taking taylor expansion of t in t
5.208 * [backup-simplify]: Simplify 0 into 0
5.208 * [backup-simplify]: Simplify 1 into 1
5.208 * [taylor]: Taking taylor expansion of (* z (fma (/ 1 z) 1.0 1)) in t
5.208 * [taylor]: Taking taylor expansion of z in t
5.208 * [backup-simplify]: Simplify z into z
5.208 * [taylor]: Taking taylor expansion of (fma (/ 1 z) 1.0 1) in t
5.208 * [taylor]: Rewrote expression to (+ (* (/ 1 z) 1.0) 1)
5.208 * [taylor]: Taking taylor expansion of (* (/ 1 z) 1.0) in t
5.208 * [taylor]: Taking taylor expansion of (/ 1 z) in t
5.208 * [taylor]: Taking taylor expansion of z in t
5.208 * [backup-simplify]: Simplify z into z
5.208 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.208 * [taylor]: Taking taylor expansion of 1.0 in t
5.208 * [backup-simplify]: Simplify 1.0 into 1.0
5.208 * [taylor]: Taking taylor expansion of 1 in t
5.208 * [backup-simplify]: Simplify 1 into 1
5.208 * [backup-simplify]: Simplify (* (/ 1 z) 1.0) into (/ 1.0 z)
5.209 * [backup-simplify]: Simplify (+ (/ 1.0 z) 1) into (+ 1 (* 1.0 (/ 1 z)))
5.209 * [backup-simplify]: Simplify (* z (+ 1 (* 1.0 (/ 1 z)))) into (* z (+ 1 (* 1.0 (/ 1 z))))
5.209 * [backup-simplify]: Simplify (* 0 (* z (+ 1 (* 1.0 (/ 1 z))))) into 0
5.209 * [taylor]: Taking taylor expansion of 0 in z
5.209 * [backup-simplify]: Simplify 0 into 0
5.209 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
5.210 * [backup-simplify]: Simplify (+ (* (/ 1 z) 0) (* 0 1.0)) into 0
5.210 * [backup-simplify]: Simplify (+ 0 0) into 0
5.210 * [backup-simplify]: Simplify (+ (* z 0) (* 0 (+ 1 (* 1.0 (/ 1 z))))) into 0
5.211 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (* z (+ 1 (* 1.0 (/ 1 z)))))) into (+ z 1.0)
5.211 * [taylor]: Taking taylor expansion of (+ z 1.0) in z
5.211 * [taylor]: Taking taylor expansion of z in z
5.211 * [backup-simplify]: Simplify 0 into 0
5.211 * [backup-simplify]: Simplify 1 into 1
5.211 * [taylor]: Taking taylor expansion of 1.0 in z
5.211 * [backup-simplify]: Simplify 1.0 into 1.0
5.211 * [backup-simplify]: Simplify 0 into 0
5.211 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.212 * [backup-simplify]: Simplify (+ (* (/ 1 z) 0) (+ (* 0 0) (* 0 1.0))) into 0
5.212 * [backup-simplify]: Simplify (+ 0 0) into 0
5.213 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 (+ 1 (* 1.0 (/ 1 z)))))) into 0
5.214 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (* z (+ 1 (* 1.0 (/ 1 z))))))) into 0
5.214 * [taylor]: Taking taylor expansion of 0 in z
5.214 * [backup-simplify]: Simplify 0 into 0
5.214 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.214 * [backup-simplify]: Simplify 1.0 into 1.0
5.214 * [backup-simplify]: Simplify 0 into 0
5.215 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.215 * [backup-simplify]: Simplify (+ (* (/ 1 z) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))) into 0
5.216 * [backup-simplify]: Simplify (+ 0 0) into 0
5.217 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ 1 (* 1.0 (/ 1 z))))))) into 0
5.218 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (* z (+ 1 (* 1.0 (/ 1 z)))))))) into 0
5.218 * [taylor]: Taking taylor expansion of 0 in z
5.218 * [backup-simplify]: Simplify 0 into 0
5.218 * [backup-simplify]: Simplify 0 into 0
5.219 * [backup-simplify]: Simplify (+ 1 0) into 1
5.219 * [backup-simplify]: Simplify 1 into 1
5.219 * [backup-simplify]: Simplify 0 into 0
5.219 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.220 * [backup-simplify]: Simplify (+ (* (/ 1 z) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))) into 0
5.220 * [backup-simplify]: Simplify (+ 0 0) into 0
5.221 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ 1 (* 1.0 (/ 1 z)))))))) into 0
5.223 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* z (+ 1 (* 1.0 (/ 1 z))))))))) into 0
5.223 * [taylor]: Taking taylor expansion of 0 in z
5.223 * [backup-simplify]: Simplify 0 into 0
5.223 * [backup-simplify]: Simplify 0 into 0
5.223 * [backup-simplify]: Simplify 0 into 0
5.224 * [backup-simplify]: Simplify (+ 0 0) into 0
5.224 * [backup-simplify]: Simplify 0 into 0
5.224 * [backup-simplify]: Simplify 0 into 0
5.224 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.225 * [backup-simplify]: Simplify (+ (* (/ 1 z) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))))) into 0
5.225 * [backup-simplify]: Simplify (+ 0 0) into 0
5.227 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ 1 (* 1.0 (/ 1 z))))))))) into 0
5.229 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* z (+ 1 (* 1.0 (/ 1 z)))))))))) into 0
5.229 * [taylor]: Taking taylor expansion of 0 in z
5.229 * [backup-simplify]: Simplify 0 into 0
5.229 * [backup-simplify]: Simplify 0 into 0
5.229 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 z) (/ 1 t))) (* 1.0 (* 1 (/ 1 t)))) into (+ (* 1.0 (/ 1 t)) (/ 1 (* t z)))
5.229 * [backup-simplify]: Simplify (* (/ 1 (/ 1 (- t))) (/ (fma (/ 1 (- z)) 1.0 1) (/ 1 (- z)))) into (* t (* (fma (/ -1 z) 1.0 1) z))
5.229 * [approximate]: Taking taylor expansion of (* t (* (fma (/ -1 z) 1.0 1) z)) in (t z) around 0
5.230 * [taylor]: Taking taylor expansion of (* t (* (fma (/ -1 z) 1.0 1) z)) in z
5.230 * [taylor]: Taking taylor expansion of t in z
5.230 * [backup-simplify]: Simplify t into t
5.230 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) 1.0 1) z) in z
5.230 * [taylor]: Taking taylor expansion of (fma (/ -1 z) 1.0 1) in z
5.230 * [taylor]: Rewrote expression to (+ (* (/ -1 z) 1.0) 1)
5.230 * [taylor]: Taking taylor expansion of (* (/ -1 z) 1.0) in z
5.230 * [taylor]: Taking taylor expansion of (/ -1 z) in z
5.230 * [taylor]: Taking taylor expansion of -1 in z
5.230 * [backup-simplify]: Simplify -1 into -1
5.230 * [taylor]: Taking taylor expansion of z in z
5.230 * [backup-simplify]: Simplify 0 into 0
5.230 * [backup-simplify]: Simplify 1 into 1
5.230 * [backup-simplify]: Simplify (/ -1 1) into -1
5.230 * [taylor]: Taking taylor expansion of 1.0 in z
5.230 * [backup-simplify]: Simplify 1.0 into 1.0
5.231 * [taylor]: Taking taylor expansion of 1 in z
5.231 * [backup-simplify]: Simplify 1 into 1
5.231 * [taylor]: Taking taylor expansion of z in z
5.231 * [backup-simplify]: Simplify 0 into 0
5.231 * [backup-simplify]: Simplify 1 into 1
5.231 * [taylor]: Taking taylor expansion of (* t (* (fma (/ -1 z) 1.0 1) z)) in t
5.231 * [taylor]: Taking taylor expansion of t in t
5.231 * [backup-simplify]: Simplify 0 into 0
5.231 * [backup-simplify]: Simplify 1 into 1
5.231 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) 1.0 1) z) in t
5.231 * [taylor]: Taking taylor expansion of (fma (/ -1 z) 1.0 1) in t
5.231 * [taylor]: Rewrote expression to (+ (* (/ -1 z) 1.0) 1)
5.231 * [taylor]: Taking taylor expansion of (* (/ -1 z) 1.0) in t
5.231 * [taylor]: Taking taylor expansion of (/ -1 z) in t
5.231 * [taylor]: Taking taylor expansion of -1 in t
5.231 * [backup-simplify]: Simplify -1 into -1
5.231 * [taylor]: Taking taylor expansion of z in t
5.231 * [backup-simplify]: Simplify z into z
5.231 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
5.231 * [taylor]: Taking taylor expansion of 1.0 in t
5.231 * [backup-simplify]: Simplify 1.0 into 1.0
5.231 * [taylor]: Taking taylor expansion of 1 in t
5.231 * [backup-simplify]: Simplify 1 into 1
5.231 * [taylor]: Taking taylor expansion of z in t
5.231 * [backup-simplify]: Simplify z into z
5.231 * [taylor]: Taking taylor expansion of (* t (* (fma (/ -1 z) 1.0 1) z)) in t
5.231 * [taylor]: Taking taylor expansion of t in t
5.231 * [backup-simplify]: Simplify 0 into 0
5.231 * [backup-simplify]: Simplify 1 into 1
5.231 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) 1.0 1) z) in t
5.231 * [taylor]: Taking taylor expansion of (fma (/ -1 z) 1.0 1) in t
5.232 * [taylor]: Rewrote expression to (+ (* (/ -1 z) 1.0) 1)
5.232 * [taylor]: Taking taylor expansion of (* (/ -1 z) 1.0) in t
5.232 * [taylor]: Taking taylor expansion of (/ -1 z) in t
5.232 * [taylor]: Taking taylor expansion of -1 in t
5.232 * [backup-simplify]: Simplify -1 into -1
5.232 * [taylor]: Taking taylor expansion of z in t
5.232 * [backup-simplify]: Simplify z into z
5.232 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
5.232 * [taylor]: Taking taylor expansion of 1.0 in t
5.232 * [backup-simplify]: Simplify 1.0 into 1.0
5.232 * [taylor]: Taking taylor expansion of 1 in t
5.232 * [backup-simplify]: Simplify 1 into 1
5.232 * [taylor]: Taking taylor expansion of z in t
5.232 * [backup-simplify]: Simplify z into z
5.232 * [backup-simplify]: Simplify (* (/ -1 z) 1.0) into (/ -1.0 z)
5.232 * [backup-simplify]: Simplify (+ (/ -1.0 z) 1) into (- 1 (* 1.0 (/ 1 z)))
5.232 * [backup-simplify]: Simplify (* (- 1 (* 1.0 (/ 1 z))) z) into (* z (- 1 (* 1.0 (/ 1 z))))
5.232 * [backup-simplify]: Simplify (* 0 (* z (- 1 (* 1.0 (/ 1 z))))) into 0
5.232 * [taylor]: Taking taylor expansion of 0 in z
5.232 * [backup-simplify]: Simplify 0 into 0
5.233 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0
5.233 * [backup-simplify]: Simplify (+ (* (/ -1 z) 0) (* 0 1.0)) into 0
5.234 * [backup-simplify]: Simplify (+ 0 0) into 0
5.234 * [backup-simplify]: Simplify (+ (* (- 1 (* 1.0 (/ 1 z))) 0) (* 0 z)) into 0
5.234 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (* z (- 1 (* 1.0 (/ 1 z)))))) into (- z 1.0)
5.234 * [taylor]: Taking taylor expansion of (- z 1.0) in z
5.234 * [taylor]: Taking taylor expansion of z in z
5.234 * [backup-simplify]: Simplify 0 into 0
5.235 * [backup-simplify]: Simplify 1 into 1
5.235 * [taylor]: Taking taylor expansion of 1.0 in z
5.235 * [backup-simplify]: Simplify 1.0 into 1.0
5.235 * [backup-simplify]: Simplify 0 into 0
5.235 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.236 * [backup-simplify]: Simplify (+ (* (/ -1 z) 0) (+ (* 0 0) (* 0 1.0))) into 0
5.236 * [backup-simplify]: Simplify (+ 0 0) into 0
5.236 * [backup-simplify]: Simplify (+ (* (- 1 (* 1.0 (/ 1 z))) 0) (+ (* 0 0) (* 0 z))) into 0
5.237 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (* z (- 1 (* 1.0 (/ 1 z))))))) into 0
5.237 * [taylor]: Taking taylor expansion of 0 in z
5.237 * [backup-simplify]: Simplify 0 into 0
5.238 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
5.239 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
5.239 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
5.239 * [backup-simplify]: Simplify 0 into 0
5.239 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.240 * [backup-simplify]: Simplify (+ (* (/ -1 z) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))) into 0
5.241 * [backup-simplify]: Simplify (+ 0 0) into 0
5.241 * [backup-simplify]: Simplify (+ (* (- 1 (* 1.0 (/ 1 z))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
5.243 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (* z (- 1 (* 1.0 (/ 1 z)))))))) into 0
5.243 * [taylor]: Taking taylor expansion of 0 in z
5.243 * [backup-simplify]: Simplify 0 into 0
5.243 * [backup-simplify]: Simplify 0 into 0
5.243 * [backup-simplify]: Simplify (- 0) into 0
5.244 * [backup-simplify]: Simplify (+ 1 0) into 1
5.244 * [backup-simplify]: Simplify 1 into 1
5.244 * [backup-simplify]: Simplify 0 into 0
5.244 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.245 * [backup-simplify]: Simplify (+ (* (/ -1 z) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))) into 0
5.245 * [backup-simplify]: Simplify (+ 0 0) into 0
5.246 * [backup-simplify]: Simplify (+ (* (- 1 (* 1.0 (/ 1 z))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 z))))) into 0
5.247 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* z (- 1 (* 1.0 (/ 1 z))))))))) into 0
5.247 * [taylor]: Taking taylor expansion of 0 in z
5.247 * [backup-simplify]: Simplify 0 into 0
5.247 * [backup-simplify]: Simplify 0 into 0
5.247 * [backup-simplify]: Simplify 0 into 0
5.247 * [backup-simplify]: Simplify (- 0) into 0
5.248 * [backup-simplify]: Simplify (+ 0 0) into 0
5.248 * [backup-simplify]: Simplify 0 into 0
5.248 * [backup-simplify]: Simplify 0 into 0
5.248 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.249 * [backup-simplify]: Simplify (+ (* (/ -1 z) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))))) into 0
5.249 * [backup-simplify]: Simplify (+ 0 0) into 0
5.250 * [backup-simplify]: Simplify (+ (* (- 1 (* 1.0 (/ 1 z))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))))) into 0
5.251 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* z (- 1 (* 1.0 (/ 1 z)))))))))) into 0
5.251 * [taylor]: Taking taylor expansion of 0 in z
5.251 * [backup-simplify]: Simplify 0 into 0
5.251 * [backup-simplify]: Simplify 0 into 0
5.252 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (- z)) (/ 1 (- t)))) (* (- 1.0) (* 1 (/ 1 (- t))))) into (+ (* 1.0 (/ 1 t)) (/ 1 (* t z)))
5.252 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1 2)
5.252 * [backup-simplify]: Simplify (/ (fma z 1.0 1) z) into (/ (fma z 1.0 1) z)
5.252 * [approximate]: Taking taylor expansion of (/ (fma z 1.0 1) z) in (z) around 0
5.252 * [taylor]: Taking taylor expansion of (/ (fma z 1.0 1) z) in z
5.252 * [taylor]: Taking taylor expansion of (fma z 1.0 1) in z
5.252 * [taylor]: Rewrote expression to (+ (* z 1.0) 1)
5.252 * [taylor]: Taking taylor expansion of (* z 1.0) in z
5.252 * [taylor]: Taking taylor expansion of z in z
5.252 * [backup-simplify]: Simplify 0 into 0
5.252 * [backup-simplify]: Simplify 1 into 1
5.252 * [taylor]: Taking taylor expansion of 1.0 in z
5.252 * [backup-simplify]: Simplify 1.0 into 1.0
5.252 * [taylor]: Taking taylor expansion of 1 in z
5.252 * [backup-simplify]: Simplify 1 into 1
5.252 * [taylor]: Taking taylor expansion of z in z
5.252 * [backup-simplify]: Simplify 0 into 0
5.252 * [backup-simplify]: Simplify 1 into 1
5.252 * [backup-simplify]: Simplify (* 0 1.0) into 0
5.253 * [backup-simplify]: Simplify (+ 0 1) into 1
5.253 * [backup-simplify]: Simplify (/ 1 1) into 1
5.253 * [taylor]: Taking taylor expansion of (/ (fma z 1.0 1) z) in z
5.253 * [taylor]: Taking taylor expansion of (fma z 1.0 1) in z
5.253 * [taylor]: Rewrote expression to (+ (* z 1.0) 1)
5.253 * [taylor]: Taking taylor expansion of (* z 1.0) in z
5.253 * [taylor]: Taking taylor expansion of z in z
5.253 * [backup-simplify]: Simplify 0 into 0
5.253 * [backup-simplify]: Simplify 1 into 1
5.253 * [taylor]: Taking taylor expansion of 1.0 in z
5.253 * [backup-simplify]: Simplify 1.0 into 1.0
5.253 * [taylor]: Taking taylor expansion of 1 in z
5.253 * [backup-simplify]: Simplify 1 into 1
5.253 * [taylor]: Taking taylor expansion of z in z
5.253 * [backup-simplify]: Simplify 0 into 0
5.253 * [backup-simplify]: Simplify 1 into 1
5.254 * [backup-simplify]: Simplify (* 0 1.0) into 0
5.254 * [backup-simplify]: Simplify (+ 0 1) into 1
5.254 * [backup-simplify]: Simplify (/ 1 1) into 1
5.254 * [backup-simplify]: Simplify 1 into 1
5.255 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 1.0)) into 1.0
5.255 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
5.257 * [backup-simplify]: Simplify (- (/ 1.0 1) (+ (* 1 (/ 0 1)))) into 1.0
5.257 * [backup-simplify]: Simplify 1.0 into 1.0
5.258 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 1.0))) into 0
5.258 * [backup-simplify]: Simplify (+ 0 0) into 0
5.258 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1.0 (/ 0 1)))) into 0
5.259 * [backup-simplify]: Simplify 0 into 0
5.259 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 1.0)))) into 0
5.259 * [backup-simplify]: Simplify (+ 0 0) into 0
5.260 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.260 * [backup-simplify]: Simplify 0 into 0
5.261 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))) into 0
5.261 * [backup-simplify]: Simplify (+ 0 0) into 0
5.262 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.262 * [backup-simplify]: Simplify 0 into 0
5.263 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))))) into 0
5.263 * [backup-simplify]: Simplify (+ 0 0) into 0
5.263 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.264 * [backup-simplify]: Simplify 0 into 0
5.264 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))))) into 0
5.265 * [backup-simplify]: Simplify (+ 0 0) into 0
5.265 * [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
5.265 * [backup-simplify]: Simplify 0 into 0
5.267 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))))))) into 0
5.267 * [backup-simplify]: Simplify (+ 0 0) into 0
5.267 * [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
5.268 * [backup-simplify]: Simplify 0 into 0
5.268 * [backup-simplify]: Simplify (+ 1.0 (* 1 (/ 1 z))) into (+ 1.0 (/ 1 z))
5.268 * [backup-simplify]: Simplify (/ (fma (/ 1 z) 1.0 1) (/ 1 z)) into (* z (fma (/ 1 z) 1.0 1))
5.268 * [approximate]: Taking taylor expansion of (* z (fma (/ 1 z) 1.0 1)) in (z) around 0
5.268 * [taylor]: Taking taylor expansion of (* z (fma (/ 1 z) 1.0 1)) in z
5.268 * [taylor]: Taking taylor expansion of z in z
5.268 * [backup-simplify]: Simplify 0 into 0
5.268 * [backup-simplify]: Simplify 1 into 1
5.268 * [taylor]: Taking taylor expansion of (fma (/ 1 z) 1.0 1) in z
5.268 * [taylor]: Rewrote expression to (+ (* (/ 1 z) 1.0) 1)
5.268 * [taylor]: Taking taylor expansion of (* (/ 1 z) 1.0) in z
5.268 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.268 * [taylor]: Taking taylor expansion of z in z
5.268 * [backup-simplify]: Simplify 0 into 0
5.268 * [backup-simplify]: Simplify 1 into 1
5.268 * [backup-simplify]: Simplify (/ 1 1) into 1
5.268 * [taylor]: Taking taylor expansion of 1.0 in z
5.268 * [backup-simplify]: Simplify 1.0 into 1.0
5.268 * [taylor]: Taking taylor expansion of 1 in z
5.268 * [backup-simplify]: Simplify 1 into 1
5.268 * [taylor]: Taking taylor expansion of (* z (fma (/ 1 z) 1.0 1)) in z
5.268 * [taylor]: Taking taylor expansion of z in z
5.268 * [backup-simplify]: Simplify 0 into 0
5.268 * [backup-simplify]: Simplify 1 into 1
5.268 * [taylor]: Taking taylor expansion of (fma (/ 1 z) 1.0 1) in z
5.269 * [taylor]: Rewrote expression to (+ (* (/ 1 z) 1.0) 1)
5.269 * [taylor]: Taking taylor expansion of (* (/ 1 z) 1.0) in z
5.269 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.269 * [taylor]: Taking taylor expansion of z in z
5.269 * [backup-simplify]: Simplify 0 into 0
5.269 * [backup-simplify]: Simplify 1 into 1
5.269 * [backup-simplify]: Simplify (/ 1 1) into 1
5.269 * [taylor]: Taking taylor expansion of 1.0 in z
5.269 * [backup-simplify]: Simplify 1.0 into 1.0
5.269 * [taylor]: Taking taylor expansion of 1 in z
5.269 * [backup-simplify]: Simplify 1 into 1
5.269 * [backup-simplify]: Simplify (* 1 1.0) into 1.0
5.270 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
5.270 * [backup-simplify]: Simplify (* 0 1.0) into 0
5.270 * [backup-simplify]: Simplify 0 into 0
5.270 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.271 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1.0)) into 0
5.271 * [backup-simplify]: Simplify (+ 0 1) into 1
5.272 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1.0)) into 1.0
5.272 * [backup-simplify]: Simplify 1.0 into 1.0
5.272 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.273 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1.0))) into 0
5.273 * [backup-simplify]: Simplify (+ 0 0) into 0
5.274 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1.0))) into 1
5.274 * [backup-simplify]: Simplify 1 into 1
5.274 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.275 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))) into 0
5.275 * [backup-simplify]: Simplify (+ 0 0) into 0
5.276 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1.0)))) into 0
5.276 * [backup-simplify]: Simplify 0 into 0
5.277 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.277 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))) into 0
5.278 * [backup-simplify]: Simplify (+ 0 0) into 0
5.279 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 1.0))))) into 0
5.279 * [backup-simplify]: Simplify 0 into 0
5.279 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.280 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))))) into 0
5.280 * [backup-simplify]: Simplify (+ 0 0) into 0
5.281 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1.0)))))) into 0
5.281 * [backup-simplify]: Simplify 0 into 0
5.282 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.283 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))))) into 0
5.283 * [backup-simplify]: Simplify (+ 0 0) into 0
5.284 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1.0))))))) into 0
5.284 * [backup-simplify]: Simplify 0 into 0
5.284 * [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
5.285 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))))))) into 0
5.286 * [backup-simplify]: Simplify (+ 0 0) into 0
5.287 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1.0)))))))) into 0
5.287 * [backup-simplify]: Simplify 0 into 0
5.287 * [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
5.289 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))))))) into 0
5.289 * [backup-simplify]: Simplify (+ 0 0) into 0
5.290 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1.0))))))))) into 0
5.290 * [backup-simplify]: Simplify 0 into 0
5.291 * [backup-simplify]: Simplify (+ (* 1 (/ 1 z)) 1.0) into (+ 1.0 (/ 1 z))
5.291 * [backup-simplify]: Simplify (/ (fma (/ 1 (- z)) 1.0 1) (/ 1 (- z))) into (* -1 (* (fma (/ -1 z) 1.0 1) z))
5.291 * [approximate]: Taking taylor expansion of (* -1 (* (fma (/ -1 z) 1.0 1) z)) in (z) around 0
5.291 * [taylor]: Taking taylor expansion of (* -1 (* (fma (/ -1 z) 1.0 1) z)) in z
5.291 * [taylor]: Taking taylor expansion of -1 in z
5.291 * [backup-simplify]: Simplify -1 into -1
5.291 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) 1.0 1) z) in z
5.291 * [taylor]: Taking taylor expansion of (fma (/ -1 z) 1.0 1) in z
5.291 * [taylor]: Rewrote expression to (+ (* (/ -1 z) 1.0) 1)
5.291 * [taylor]: Taking taylor expansion of (* (/ -1 z) 1.0) in z
5.291 * [taylor]: Taking taylor expansion of (/ -1 z) in z
5.291 * [taylor]: Taking taylor expansion of -1 in z
5.291 * [backup-simplify]: Simplify -1 into -1
5.291 * [taylor]: Taking taylor expansion of z in z
5.291 * [backup-simplify]: Simplify 0 into 0
5.291 * [backup-simplify]: Simplify 1 into 1
5.291 * [backup-simplify]: Simplify (/ -1 1) into -1
5.291 * [taylor]: Taking taylor expansion of 1.0 in z
5.291 * [backup-simplify]: Simplify 1.0 into 1.0
5.291 * [taylor]: Taking taylor expansion of 1 in z
5.291 * [backup-simplify]: Simplify 1 into 1
5.291 * [taylor]: Taking taylor expansion of z in z
5.291 * [backup-simplify]: Simplify 0 into 0
5.291 * [backup-simplify]: Simplify 1 into 1
5.292 * [taylor]: Taking taylor expansion of (* -1 (* (fma (/ -1 z) 1.0 1) z)) in z
5.292 * [taylor]: Taking taylor expansion of -1 in z
5.292 * [backup-simplify]: Simplify -1 into -1
5.292 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) 1.0 1) z) in z
5.292 * [taylor]: Taking taylor expansion of (fma (/ -1 z) 1.0 1) in z
5.292 * [taylor]: Rewrote expression to (+ (* (/ -1 z) 1.0) 1)
5.292 * [taylor]: Taking taylor expansion of (* (/ -1 z) 1.0) in z
5.292 * [taylor]: Taking taylor expansion of (/ -1 z) in z
5.292 * [taylor]: Taking taylor expansion of -1 in z
5.292 * [backup-simplify]: Simplify -1 into -1
5.292 * [taylor]: Taking taylor expansion of z in z
5.292 * [backup-simplify]: Simplify 0 into 0
5.292 * [backup-simplify]: Simplify 1 into 1
5.292 * [backup-simplify]: Simplify (/ -1 1) into -1
5.292 * [taylor]: Taking taylor expansion of 1.0 in z
5.292 * [backup-simplify]: Simplify 1.0 into 1.0
5.292 * [taylor]: Taking taylor expansion of 1 in z
5.292 * [backup-simplify]: Simplify 1 into 1
5.292 * [taylor]: Taking taylor expansion of z in z
5.292 * [backup-simplify]: Simplify 0 into 0
5.292 * [backup-simplify]: Simplify 1 into 1
5.293 * [backup-simplify]: Simplify (* -1 1.0) into -1.0
5.293 * [backup-simplify]: Simplify (+ -1.0 0) into (- 1.0)
5.293 * [backup-simplify]: Simplify (* (- 1.0) 0) into 0
5.293 * [backup-simplify]: Simplify (* -1 0) into 0
5.293 * [backup-simplify]: Simplify 0 into 0
5.294 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
5.294 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1.0)) into 0
5.295 * [backup-simplify]: Simplify (+ 0 1) into 1
5.296 * [backup-simplify]: Simplify (+ (* (- 1.0) 1) (* 1 0)) into (- 1.0)
5.300 * [backup-simplify]: Simplify (+ (* -1 (- 1.0)) (* 0 0)) into 1.0
5.300 * [backup-simplify]: Simplify 1.0 into 1.0
5.301 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.302 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1.0))) into 0
5.302 * [backup-simplify]: Simplify (+ 0 0) into 0
5.304 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 1) (* 0 0))) into 1
5.305 * [backup-simplify]: Simplify (+ (* -1 1) (+ (* 0 (- 1.0)) (* 0 0))) into -1
5.305 * [backup-simplify]: Simplify -1 into -1
5.306 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.307 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))) into 0
5.308 * [backup-simplify]: Simplify (+ 0 0) into 0
5.309 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
5.311 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (+ (* 0 (- 1.0)) (* 0 0)))) into 0
5.311 * [backup-simplify]: Simplify 0 into 0
5.312 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.313 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))) into 0
5.313 * [backup-simplify]: Simplify (+ 0 0) into 0
5.315 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
5.317 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- 1.0)) (* 0 0))))) into 0
5.317 * [backup-simplify]: Simplify 0 into 0
5.318 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.319 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))))) into 0
5.320 * [backup-simplify]: Simplify (+ 0 0) into 0
5.322 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
5.324 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- 1.0)) (* 0 0)))))) into 0
5.324 * [backup-simplify]: Simplify 0 into 0
5.325 * [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
5.326 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))))) into 0
5.326 * [backup-simplify]: Simplify (+ 0 0) into 0
5.327 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
5.329 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- 1.0)) (* 0 0))))))) into 0
5.329 * [backup-simplify]: Simplify 0 into 0
5.329 * [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
5.330 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0)))))))) into 0
5.331 * [backup-simplify]: Simplify (+ 0 0) into 0
5.332 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
5.333 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- 1.0)) (* 0 0)))))))) into 0
5.333 * [backup-simplify]: Simplify 0 into 0
5.334 * [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
5.335 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1.0))))))))) into 0
5.335 * [backup-simplify]: Simplify (+ 0 0) into 0
5.336 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
5.338 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- 1.0)) (* 0 0))))))))) into 0
5.338 * [backup-simplify]: Simplify 0 into 0
5.338 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (- z))) 1.0) into (+ 1.0 (/ 1 z))
5.338 * * * [progress]: simplifying candidates
5.339 * [simplify]: Simplifying:
  (expm1 (* (/ 1 t) (/ (fma z 1.0 1) z)))
  (log1p (* (/ 1 t) (/ (fma z 1.0 1) z)))
  (* (/ 1 t) (/ (fma z 1.0 1) z))
  (+ (- (log t)) (- (log (fma z 1.0 1)) (log z)))
  (+ (- (log t)) (log (/ (fma z 1.0 1) z)))
  (+ (- 0 (log t)) (- (log (fma z 1.0 1)) (log z)))
  (+ (- 0 (log t)) (log (/ (fma z 1.0 1) z)))
  (+ (- (log 1) (log t)) (- (log (fma z 1.0 1)) (log z)))
  (+ (- (log 1) (log t)) (log (/ (fma z 1.0 1) z)))
  (+ (log (/ 1 t)) (- (log (fma z 1.0 1)) (log z)))
  (+ (log (/ 1 t)) (log (/ (fma z 1.0 1) z)))
  (log (* (/ 1 t) (/ (fma z 1.0 1) z)))
  (exp (* (/ 1 t) (/ (fma z 1.0 1) z)))
  (* (/ (* (* 1 1) 1) (* (* t t) t)) (/ (* (* (fma z 1.0 1) (fma z 1.0 1)) (fma z 1.0 1)) (* (* z z) z)))
  (* (/ (* (* 1 1) 1) (* (* t t) t)) (* (* (/ (fma z 1.0 1) z) (/ (fma z 1.0 1) z)) (/ (fma z 1.0 1) z)))
  (* (* (* (/ 1 t) (/ 1 t)) (/ 1 t)) (/ (* (* (fma z 1.0 1) (fma z 1.0 1)) (fma z 1.0 1)) (* (* z z) z)))
  (* (* (* (/ 1 t) (/ 1 t)) (/ 1 t)) (* (* (/ (fma z 1.0 1) z) (/ (fma z 1.0 1) z)) (/ (fma z 1.0 1) z)))
  (* (cbrt (* (/ 1 t) (/ (fma z 1.0 1) z))) (cbrt (* (/ 1 t) (/ (fma z 1.0 1) z))))
  (cbrt (* (/ 1 t) (/ (fma z 1.0 1) z)))
  (* (* (* (/ 1 t) (/ (fma z 1.0 1) z)) (* (/ 1 t) (/ (fma z 1.0 1) z))) (* (/ 1 t) (/ (fma z 1.0 1) z)))
  (sqrt (* (/ 1 t) (/ (fma z 1.0 1) z)))
  (sqrt (* (/ 1 t) (/ (fma z 1.0 1) z)))
  (* 1 (fma z 1.0 1))
  (* t z)
  (* (sqrt (/ 1 t)) (sqrt (/ (fma z 1.0 1) z)))
  (* (sqrt (/ 1 t)) (sqrt (/ (fma z 1.0 1) z)))
  (* (sqrt (/ 1 t)) (/ (sqrt (fma z 1.0 1)) (sqrt z)))
  (* (sqrt (/ 1 t)) (/ (sqrt (fma z 1.0 1)) (sqrt z)))
  (* (/ (sqrt 1) (sqrt t)) (sqrt (/ (fma z 1.0 1) z)))
  (* (/ (sqrt 1) (sqrt t)) (sqrt (/ (fma z 1.0 1) z)))
  (* (/ (sqrt 1) (sqrt t)) (/ (sqrt (fma z 1.0 1)) (sqrt z)))
  (* (/ (sqrt 1) (sqrt t)) (/ (sqrt (fma z 1.0 1)) (sqrt z)))
  (* (/ 1 (sqrt t)) (sqrt (/ (fma z 1.0 1) z)))
  (* (/ 1 (sqrt t)) (sqrt (/ (fma z 1.0 1) z)))
  (* (/ 1 (sqrt t)) (/ (sqrt (fma z 1.0 1)) (sqrt z)))
  (* (/ 1 (sqrt t)) (/ (sqrt (fma z 1.0 1)) (sqrt z)))
  (* (/ 1 t) (* (cbrt (/ (fma z 1.0 1) z)) (cbrt (/ (fma z 1.0 1) z))))
  (* (/ 1 t) (sqrt (/ (fma z 1.0 1) z)))
  (* (/ 1 t) (/ (* (cbrt (fma z 1.0 1)) (cbrt (fma z 1.0 1))) (* (cbrt z) (cbrt z))))
  (* (/ 1 t) (/ (* (cbrt (fma z 1.0 1)) (cbrt (fma z 1.0 1))) (sqrt z)))
  (* (/ 1 t) (/ (* (cbrt (fma z 1.0 1)) (cbrt (fma z 1.0 1))) 1))
  (* (/ 1 t) (/ (sqrt (fma z 1.0 1)) (* (cbrt z) (cbrt z))))
  (* (/ 1 t) (/ (sqrt (fma z 1.0 1)) (sqrt z)))
  (* (/ 1 t) (/ (sqrt (fma z 1.0 1)) 1))
  (* (/ 1 t) (/ 1 (* (cbrt z) (cbrt z))))
  (* (/ 1 t) (/ 1 (sqrt z)))
  (* (/ 1 t) (/ 1 1))
  (* (/ 1 t) 1)
  (* (/ 1 t) (fma z 1.0 1))
  (* (cbrt (/ 1 t)) (/ (fma z 1.0 1) z))
  (* (sqrt (/ 1 t)) (/ (fma z 1.0 1) z))
  (* (/ (cbrt 1) (cbrt t)) (/ (fma z 1.0 1) z))
  (* (/ (cbrt 1) (sqrt t)) (/ (fma z 1.0 1) z))
  (* (/ (cbrt 1) t) (/ (fma z 1.0 1) z))
  (* (/ (sqrt 1) (cbrt t)) (/ (fma z 1.0 1) z))
  (* (/ (sqrt 1) (sqrt t)) (/ (fma z 1.0 1) z))
  (* (/ (sqrt 1) t) (/ (fma z 1.0 1) z))
  (* (/ 1 (cbrt t)) (/ (fma z 1.0 1) z))
  (* (/ 1 (sqrt t)) (/ (fma z 1.0 1) z))
  (* (/ 1 t) (/ (fma z 1.0 1) z))
  (* (/ 1 t) (/ (fma z 1.0 1) z))
  (* (/ 1 t) (/ (fma z 1.0 1) z))
  (* (/ 1 t) (fma z 1.0 1))
  (* 1 (/ (fma z 1.0 1) z))
  (expm1 (/ (fma z 1.0 1) z))
  (log1p (/ (fma z 1.0 1) z))
  (- (log (fma z 1.0 1)) (log z))
  (log (/ (fma z 1.0 1) z))
  (exp (/ (fma z 1.0 1) z))
  (/ (* (* (fma z 1.0 1) (fma z 1.0 1)) (fma z 1.0 1)) (* (* z z) z))
  (* (cbrt (/ (fma z 1.0 1) z)) (cbrt (/ (fma z 1.0 1) z)))
  (cbrt (/ (fma z 1.0 1) z))
  (* (* (/ (fma z 1.0 1) z) (/ (fma z 1.0 1) z)) (/ (fma z 1.0 1) z))
  (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)) (cbrt (fma z 1.0 1))) (sqrt z))
  (/ (cbrt (fma z 1.0 1)) (sqrt z))
  (/ (* (cbrt (fma z 1.0 1)) (cbrt (fma z 1.0 1))) 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)) 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 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) 1)
  (/ z (cbrt (fma z 1.0 1)))
  (/ z (sqrt (fma z 1.0 1)))
  (/ 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)))
  (+ 1.0 (/ 1 z))
  (+ 1.0 (/ 1 z))
  (+ 1.0 (/ 1 z))
5.340 * * [simplify]: iteration 0: 140 enodes
5.371 * * [simplify]: iteration 1: 386 enodes
5.613 * * [simplify]: iteration 2: 2275 enodes
6.710 * * [simplify]: iteration complete: 5000 enodes
6.710 * * [simplify]: Extracting #0: cost 65 inf + 0
6.712 * * [simplify]: Extracting #1: cost 513 inf + 1
6.718 * * [simplify]: Extracting #2: cost 1214 inf + 2737
6.732 * * [simplify]: Extracting #3: cost 1193 inf + 25956
6.779 * * [simplify]: Extracting #4: cost 495 inf + 157322
6.843 * * [simplify]: Extracting #5: cost 13 inf + 245649
6.906 * * [simplify]: Extracting #6: cost 0 inf + 245797
6.952 * * [simplify]: Extracting #7: cost 0 inf + 245757
7.019 * [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))
  (* (* (/ (/ (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) z) (/ (/ (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) z)) (/ (/ (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) z))
  (* (cbrt (/ (/ (fma 1.0 z 1) t) z)) (cbrt (/ (/ (fma 1.0 z 1) t) z)))
  (cbrt (/ (/ (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) z))
  (sqrt (/ (/ (fma 1.0 z 1) t) z))
  (sqrt (/ (/ (fma 1.0 z 1) t) z))
  (fma 1.0 z 1)
  (* z 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 (/ 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 z)) (/ (cbrt (fma 1.0 z 1)) (cbrt z))) t)
  (/ (/ (* (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))
  (log (/ (fma 1.0 z 1) z))
  (log (/ (fma 1.0 z 1) z))
  (exp (/ (fma 1.0 z 1) z))
  (* (* (/ (fma 1.0 z 1) z) (/ (fma 1.0 z 1) z)) (/ (fma 1.0 z 1) 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 z)) (/ (cbrt (fma 1.0 z 1)) (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)))
  (/ (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 (* z t)) (/ 1.0 t))
  (+ (/ 1 (* z t)) (/ 1.0 t))
  (+ (/ 1 (* z t)) (/ 1.0 t))
  (+ (/ 1 z) 1.0)
  (+ (/ 1 z) 1.0)
  (+ (/ 1 z) 1.0)
7.025 * * * [progress]: adding candidates to table
7.566 * * [progress]: iteration 3 / 4
7.566 * * * [progress]: picking best candidate
7.586 * * * * [pick]: Picked  #<alt (λ (x y z t) (fma (- (/ (/ (fma 1.0 z 1) z) t) 1) 2.0 (/ x y)))>
7.586 * * * [progress]: localizing error
7.602 * * * [progress]: generating rewritten candidates
7.602 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
7.617 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1 1)
7.624 * * * [progress]: generating series expansions
7.624 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
7.624 * [backup-simplify]: Simplify (/ (/ (fma 1.0 z 1) z) t) into (/ (fma 1.0 z 1) (* t z))
7.624 * [approximate]: Taking taylor expansion of (/ (fma 1.0 z 1) (* t z)) in (z t) around 0
7.624 * [taylor]: Taking taylor expansion of (/ (fma 1.0 z 1) (* t z)) in t
7.624 * [taylor]: Taking taylor expansion of (fma 1.0 z 1) in t
7.624 * [taylor]: Rewrote expression to (+ (* 1.0 z) 1)
7.624 * [taylor]: Taking taylor expansion of (* 1.0 z) in t
7.624 * [taylor]: Taking taylor expansion of 1.0 in t
7.624 * [backup-simplify]: Simplify 1.0 into 1.0
7.624 * [taylor]: Taking taylor expansion of z in t
7.624 * [backup-simplify]: Simplify z into z
7.624 * [taylor]: Taking taylor expansion of 1 in t
7.624 * [backup-simplify]: Simplify 1 into 1
7.624 * [taylor]: Taking taylor expansion of (* t z) in t
7.624 * [taylor]: Taking taylor expansion of t in t
7.624 * [backup-simplify]: Simplify 0 into 0
7.624 * [backup-simplify]: Simplify 1 into 1
7.624 * [taylor]: Taking taylor expansion of z in t
7.624 * [backup-simplify]: Simplify z into z
7.625 * [backup-simplify]: Simplify (* 1.0 z) into (* 1.0 z)
7.625 * [backup-simplify]: Simplify (+ (* 1.0 z) 1) into (+ (* 1.0 z) 1)
7.625 * [backup-simplify]: Simplify (* 0 z) into 0
7.625 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
7.625 * [backup-simplify]: Simplify (/ (+ (* 1.0 z) 1) z) into (/ (+ (* 1.0 z) 1) z)
7.625 * [taylor]: Taking taylor expansion of (/ (fma 1.0 z 1) (* t z)) in z
7.625 * [taylor]: Taking taylor expansion of (fma 1.0 z 1) in z
7.625 * [taylor]: Rewrote expression to (+ (* 1.0 z) 1)
7.625 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
7.625 * [taylor]: Taking taylor expansion of 1.0 in z
7.625 * [backup-simplify]: Simplify 1.0 into 1.0
7.625 * [taylor]: Taking taylor expansion of z in z
7.625 * [backup-simplify]: Simplify 0 into 0
7.625 * [backup-simplify]: Simplify 1 into 1
7.625 * [taylor]: Taking taylor expansion of 1 in z
7.625 * [backup-simplify]: Simplify 1 into 1
7.626 * [taylor]: Taking taylor expansion of (* t z) in z
7.626 * [taylor]: Taking taylor expansion of t in z
7.626 * [backup-simplify]: Simplify t into t
7.626 * [taylor]: Taking taylor expansion of z in z
7.626 * [backup-simplify]: Simplify 0 into 0
7.626 * [backup-simplify]: Simplify 1 into 1
7.626 * [backup-simplify]: Simplify (* 1.0 0) into 0
7.626 * [backup-simplify]: Simplify (+ 0 1) into 1
7.626 * [backup-simplify]: Simplify (* t 0) into 0
7.626 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
7.626 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
7.627 * [taylor]: Taking taylor expansion of (/ (fma 1.0 z 1) (* t z)) in z
7.627 * [taylor]: Taking taylor expansion of (fma 1.0 z 1) in z
7.627 * [taylor]: Rewrote expression to (+ (* 1.0 z) 1)
7.627 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
7.627 * [taylor]: Taking taylor expansion of 1.0 in z
7.627 * [backup-simplify]: Simplify 1.0 into 1.0
7.627 * [taylor]: Taking taylor expansion of z in z
7.627 * [backup-simplify]: Simplify 0 into 0
7.627 * [backup-simplify]: Simplify 1 into 1
7.627 * [taylor]: Taking taylor expansion of 1 in z
7.627 * [backup-simplify]: Simplify 1 into 1
7.627 * [taylor]: Taking taylor expansion of (* t z) in z
7.627 * [taylor]: Taking taylor expansion of t in z
7.627 * [backup-simplify]: Simplify t into t
7.627 * [taylor]: Taking taylor expansion of z in z
7.627 * [backup-simplify]: Simplify 0 into 0
7.627 * [backup-simplify]: Simplify 1 into 1
7.627 * [backup-simplify]: Simplify (* 1.0 0) into 0
7.627 * [backup-simplify]: Simplify (+ 0 1) into 1
7.627 * [backup-simplify]: Simplify (* t 0) into 0
7.628 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
7.628 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
7.628 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.628 * [taylor]: Taking taylor expansion of t in t
7.628 * [backup-simplify]: Simplify 0 into 0
7.628 * [backup-simplify]: Simplify 1 into 1
7.628 * [backup-simplify]: Simplify (/ 1 1) into 1
7.628 * [backup-simplify]: Simplify 1 into 1
7.629 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
7.629 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
7.630 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 1) (* 0 0))) into 0
7.630 * [backup-simplify]: Simplify (- (/ 1.0 t) (+ (* (/ 1 t) (/ 0 t)))) into (* 1.0 (/ 1 t))
7.630 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
7.630 * [taylor]: Taking taylor expansion of 1.0 in t
7.630 * [backup-simplify]: Simplify 1.0 into 1.0
7.630 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.630 * [taylor]: Taking taylor expansion of t in t
7.630 * [backup-simplify]: Simplify 0 into 0
7.630 * [backup-simplify]: Simplify 1 into 1
7.630 * [backup-simplify]: Simplify (/ 1 1) into 1
7.631 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
7.631 * [backup-simplify]: Simplify 1.0 into 1.0
7.631 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.631 * [backup-simplify]: Simplify 0 into 0
7.632 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
7.632 * [backup-simplify]: Simplify (+ 0 0) into 0
7.633 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
7.633 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)) (* (* 1.0 (/ 1 t)) (/ 0 t)))) into 0
7.633 * [taylor]: Taking taylor expansion of 0 in t
7.633 * [backup-simplify]: Simplify 0 into 0
7.633 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.634 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
7.634 * [backup-simplify]: Simplify 0 into 0
7.634 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.634 * [backup-simplify]: Simplify 0 into 0
7.635 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
7.635 * [backup-simplify]: Simplify (+ 0 0) into 0
7.636 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
7.636 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)) (* (* 1.0 (/ 1 t)) (/ 0 t)) (* 0 (/ 0 t)))) into 0
7.636 * [taylor]: Taking taylor expansion of 0 in t
7.636 * [backup-simplify]: Simplify 0 into 0
7.636 * [backup-simplify]: Simplify 0 into 0
7.636 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.637 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
7.637 * [backup-simplify]: Simplify 0 into 0
7.638 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.638 * [backup-simplify]: Simplify 0 into 0
7.638 * [backup-simplify]: Simplify (+ (* 1.0 (* (/ 1 t) 1)) (* 1 (* (/ 1 t) (/ 1 z)))) into (+ (* 1.0 (/ 1 t)) (/ 1 (* t z)))
7.638 * [backup-simplify]: Simplify (/ (/ (fma 1.0 (/ 1 z) 1) (/ 1 z)) (/ 1 t)) into (* t (* (fma 1.0 (/ 1 z) 1) z))
7.638 * [approximate]: Taking taylor expansion of (* t (* (fma 1.0 (/ 1 z) 1) z)) in (z t) around 0
7.638 * [taylor]: Taking taylor expansion of (* t (* (fma 1.0 (/ 1 z) 1) z)) in t
7.638 * [taylor]: Taking taylor expansion of t in t
7.638 * [backup-simplify]: Simplify 0 into 0
7.638 * [backup-simplify]: Simplify 1 into 1
7.638 * [taylor]: Taking taylor expansion of (* (fma 1.0 (/ 1 z) 1) z) in t
7.638 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 z) 1) in t
7.638 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 z)) 1)
7.638 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in t
7.638 * [taylor]: Taking taylor expansion of 1.0 in t
7.638 * [backup-simplify]: Simplify 1.0 into 1.0
7.638 * [taylor]: Taking taylor expansion of (/ 1 z) in t
7.638 * [taylor]: Taking taylor expansion of z in t
7.638 * [backup-simplify]: Simplify z into z
7.638 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.638 * [taylor]: Taking taylor expansion of 1 in t
7.638 * [backup-simplify]: Simplify 1 into 1
7.638 * [taylor]: Taking taylor expansion of z in t
7.638 * [backup-simplify]: Simplify z into z
7.638 * [taylor]: Taking taylor expansion of (* t (* (fma 1.0 (/ 1 z) 1) z)) in z
7.638 * [taylor]: Taking taylor expansion of t in z
7.638 * [backup-simplify]: Simplify t into t
7.638 * [taylor]: Taking taylor expansion of (* (fma 1.0 (/ 1 z) 1) z) in z
7.638 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 z) 1) in z
7.638 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 z)) 1)
7.639 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
7.639 * [taylor]: Taking taylor expansion of 1.0 in z
7.639 * [backup-simplify]: Simplify 1.0 into 1.0
7.639 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.639 * [taylor]: Taking taylor expansion of z in z
7.639 * [backup-simplify]: Simplify 0 into 0
7.639 * [backup-simplify]: Simplify 1 into 1
7.639 * [backup-simplify]: Simplify (/ 1 1) into 1
7.639 * [taylor]: Taking taylor expansion of 1 in z
7.639 * [backup-simplify]: Simplify 1 into 1
7.639 * [taylor]: Taking taylor expansion of z in z
7.639 * [backup-simplify]: Simplify 0 into 0
7.639 * [backup-simplify]: Simplify 1 into 1
7.639 * [taylor]: Taking taylor expansion of (* t (* (fma 1.0 (/ 1 z) 1) z)) in z
7.639 * [taylor]: Taking taylor expansion of t in z
7.639 * [backup-simplify]: Simplify t into t
7.639 * [taylor]: Taking taylor expansion of (* (fma 1.0 (/ 1 z) 1) z) in z
7.639 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 z) 1) in z
7.639 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 z)) 1)
7.639 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
7.639 * [taylor]: Taking taylor expansion of 1.0 in z
7.639 * [backup-simplify]: Simplify 1.0 into 1.0
7.639 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.639 * [taylor]: Taking taylor expansion of z in z
7.639 * [backup-simplify]: Simplify 0 into 0
7.639 * [backup-simplify]: Simplify 1 into 1
7.639 * [backup-simplify]: Simplify (/ 1 1) into 1
7.640 * [taylor]: Taking taylor expansion of 1 in z
7.640 * [backup-simplify]: Simplify 1 into 1
7.640 * [taylor]: Taking taylor expansion of z in z
7.640 * [backup-simplify]: Simplify 0 into 0
7.640 * [backup-simplify]: Simplify 1 into 1
7.640 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
7.640 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
7.640 * [backup-simplify]: Simplify (* 1.0 0) into 0
7.640 * [backup-simplify]: Simplify (* t 0) into 0
7.640 * [taylor]: Taking taylor expansion of 0 in t
7.641 * [backup-simplify]: Simplify 0 into 0
7.641 * [backup-simplify]: Simplify 0 into 0
7.641 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.641 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
7.642 * [backup-simplify]: Simplify (+ 0 1) into 1
7.643 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 1 0)) into 1.0
7.643 * [backup-simplify]: Simplify (+ (* t 1.0) (* 0 0)) into (* 1.0 t)
7.643 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
7.643 * [taylor]: Taking taylor expansion of 1.0 in t
7.643 * [backup-simplify]: Simplify 1.0 into 1.0
7.643 * [taylor]: Taking taylor expansion of t in t
7.643 * [backup-simplify]: Simplify 0 into 0
7.643 * [backup-simplify]: Simplify 1 into 1
7.643 * [backup-simplify]: Simplify (* 1.0 0) into 0
7.643 * [backup-simplify]: Simplify 0 into 0
7.643 * [backup-simplify]: Simplify 0 into 0
7.644 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.644 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
7.645 * [backup-simplify]: Simplify (+ 0 0) into 0
7.645 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1 1) (* 0 0))) into 1
7.646 * [backup-simplify]: Simplify (+ (* t 1) (+ (* 0 1.0) (* 0 0))) into t
7.646 * [taylor]: Taking taylor expansion of t in t
7.646 * [backup-simplify]: Simplify 0 into 0
7.646 * [backup-simplify]: Simplify 1 into 1
7.646 * [backup-simplify]: Simplify 0 into 0
7.647 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
7.647 * [backup-simplify]: Simplify 1.0 into 1.0
7.647 * [backup-simplify]: Simplify 0 into 0
7.647 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.648 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.648 * [backup-simplify]: Simplify (+ 0 0) into 0
7.649 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
7.649 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 1) (+ (* 0 1.0) (* 0 0)))) into 0
7.649 * [taylor]: Taking taylor expansion of 0 in t
7.650 * [backup-simplify]: Simplify 0 into 0
7.650 * [backup-simplify]: Simplify 0 into 0
7.650 * [backup-simplify]: Simplify 1 into 1
7.650 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
7.650 * [backup-simplify]: Simplify 0 into 0
7.650 * [backup-simplify]: Simplify 0 into 0
7.651 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.651 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.652 * [backup-simplify]: Simplify (+ 0 0) into 0
7.653 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
7.653 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 1.0) (* 0 0))))) into 0
7.653 * [taylor]: Taking taylor expansion of 0 in t
7.653 * [backup-simplify]: Simplify 0 into 0
7.653 * [backup-simplify]: Simplify 0 into 0
7.653 * [backup-simplify]: Simplify 0 into 0
7.653 * [backup-simplify]: Simplify 0 into 0
7.654 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
7.654 * [backup-simplify]: Simplify 0 into 0
7.654 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 t) (/ 1 z))) (* 1.0 (* (/ 1 t) 1))) into (+ (* 1.0 (/ 1 t)) (/ 1 (* t z)))
7.654 * [backup-simplify]: Simplify (/ (/ (fma 1.0 (/ 1 (- z)) 1) (/ 1 (- z))) (/ 1 (- t))) into (* t (* (fma 1.0 (/ -1 z) 1) z))
7.654 * [approximate]: Taking taylor expansion of (* t (* (fma 1.0 (/ -1 z) 1) z)) in (z t) around 0
7.654 * [taylor]: Taking taylor expansion of (* t (* (fma 1.0 (/ -1 z) 1) z)) in t
7.654 * [taylor]: Taking taylor expansion of t in t
7.654 * [backup-simplify]: Simplify 0 into 0
7.654 * [backup-simplify]: Simplify 1 into 1
7.654 * [taylor]: Taking taylor expansion of (* (fma 1.0 (/ -1 z) 1) z) in t
7.654 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 z) 1) in t
7.655 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 z)) 1)
7.655 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 z)) in t
7.655 * [taylor]: Taking taylor expansion of 1.0 in t
7.655 * [backup-simplify]: Simplify 1.0 into 1.0
7.655 * [taylor]: Taking taylor expansion of (/ -1 z) in t
7.655 * [taylor]: Taking taylor expansion of -1 in t
7.655 * [backup-simplify]: Simplify -1 into -1
7.655 * [taylor]: Taking taylor expansion of z in t
7.655 * [backup-simplify]: Simplify z into z
7.655 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
7.655 * [taylor]: Taking taylor expansion of 1 in t
7.655 * [backup-simplify]: Simplify 1 into 1
7.655 * [taylor]: Taking taylor expansion of z in t
7.655 * [backup-simplify]: Simplify z into z
7.655 * [taylor]: Taking taylor expansion of (* t (* (fma 1.0 (/ -1 z) 1) z)) in z
7.655 * [taylor]: Taking taylor expansion of t in z
7.655 * [backup-simplify]: Simplify t into t
7.655 * [taylor]: Taking taylor expansion of (* (fma 1.0 (/ -1 z) 1) z) in z
7.655 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 z) 1) in z
7.655 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 z)) 1)
7.655 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 z)) in z
7.655 * [taylor]: Taking taylor expansion of 1.0 in z
7.655 * [backup-simplify]: Simplify 1.0 into 1.0
7.655 * [taylor]: Taking taylor expansion of (/ -1 z) in z
7.655 * [taylor]: Taking taylor expansion of -1 in z
7.655 * [backup-simplify]: Simplify -1 into -1
7.655 * [taylor]: Taking taylor expansion of z in z
7.655 * [backup-simplify]: Simplify 0 into 0
7.655 * [backup-simplify]: Simplify 1 into 1
7.655 * [backup-simplify]: Simplify (/ -1 1) into -1
7.655 * [taylor]: Taking taylor expansion of 1 in z
7.655 * [backup-simplify]: Simplify 1 into 1
7.655 * [taylor]: Taking taylor expansion of z in z
7.655 * [backup-simplify]: Simplify 0 into 0
7.656 * [backup-simplify]: Simplify 1 into 1
7.656 * [taylor]: Taking taylor expansion of (* t (* (fma 1.0 (/ -1 z) 1) z)) in z
7.656 * [taylor]: Taking taylor expansion of t in z
7.656 * [backup-simplify]: Simplify t into t
7.656 * [taylor]: Taking taylor expansion of (* (fma 1.0 (/ -1 z) 1) z) in z
7.656 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 z) 1) in z
7.656 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 z)) 1)
7.656 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 z)) in z
7.656 * [taylor]: Taking taylor expansion of 1.0 in z
7.656 * [backup-simplify]: Simplify 1.0 into 1.0
7.656 * [taylor]: Taking taylor expansion of (/ -1 z) in z
7.656 * [taylor]: Taking taylor expansion of -1 in z
7.656 * [backup-simplify]: Simplify -1 into -1
7.656 * [taylor]: Taking taylor expansion of z in z
7.656 * [backup-simplify]: Simplify 0 into 0
7.656 * [backup-simplify]: Simplify 1 into 1
7.656 * [backup-simplify]: Simplify (/ -1 1) into -1
7.656 * [taylor]: Taking taylor expansion of 1 in z
7.656 * [backup-simplify]: Simplify 1 into 1
7.656 * [taylor]: Taking taylor expansion of z in z
7.656 * [backup-simplify]: Simplify 0 into 0
7.656 * [backup-simplify]: Simplify 1 into 1
7.656 * [backup-simplify]: Simplify (* 1.0 -1) into -1.0
7.657 * [backup-simplify]: Simplify (+ -1.0 0) into (- 1.0)
7.657 * [backup-simplify]: Simplify (* (- 1.0) 0) into 0
7.657 * [backup-simplify]: Simplify (* t 0) into 0
7.657 * [taylor]: Taking taylor expansion of 0 in t
7.657 * [backup-simplify]: Simplify 0 into 0
7.657 * [backup-simplify]: Simplify 0 into 0
7.658 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
7.658 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 -1)) into 0
7.658 * [backup-simplify]: Simplify (+ 0 1) into 1
7.660 * [backup-simplify]: Simplify (+ (* (- 1.0) 1) (* 1 0)) into (- 1.0)
7.660 * [backup-simplify]: Simplify (+ (* t (- 1.0)) (* 0 0)) into (- (* 1.0 t))
7.660 * [taylor]: Taking taylor expansion of (- (* 1.0 t)) in t
7.660 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
7.660 * [taylor]: Taking taylor expansion of 1.0 in t
7.660 * [backup-simplify]: Simplify 1.0 into 1.0
7.660 * [taylor]: Taking taylor expansion of t in t
7.660 * [backup-simplify]: Simplify 0 into 0
7.660 * [backup-simplify]: Simplify 1 into 1
7.661 * [backup-simplify]: Simplify (* 1.0 0) into 0
7.661 * [backup-simplify]: Simplify (- 0) into 0
7.661 * [backup-simplify]: Simplify 0 into 0
7.661 * [backup-simplify]: Simplify 0 into 0
7.662 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.663 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 -1))) into 0
7.663 * [backup-simplify]: Simplify (+ 0 0) into 0
7.664 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 1) (* 0 0))) into 1
7.665 * [backup-simplify]: Simplify (+ (* t 1) (+ (* 0 (- 1.0)) (* 0 0))) into t
7.665 * [taylor]: Taking taylor expansion of t in t
7.665 * [backup-simplify]: Simplify 0 into 0
7.665 * [backup-simplify]: Simplify 1 into 1
7.665 * [backup-simplify]: Simplify 0 into 0
7.666 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
7.666 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
7.667 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
7.667 * [backup-simplify]: Simplify 0 into 0
7.668 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.669 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
7.669 * [backup-simplify]: Simplify (+ 0 0) into 0
7.670 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
7.671 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 1) (+ (* 0 (- 1.0)) (* 0 0)))) into 0
7.671 * [taylor]: Taking taylor expansion of 0 in t
7.671 * [backup-simplify]: Simplify 0 into 0
7.671 * [backup-simplify]: Simplify 0 into 0
7.672 * [backup-simplify]: Simplify 1 into 1
7.672 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
7.673 * [backup-simplify]: Simplify (- 0) into 0
7.673 * [backup-simplify]: Simplify 0 into 0
7.673 * [backup-simplify]: Simplify 0 into 0
7.674 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.675 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0
7.675 * [backup-simplify]: Simplify (+ 0 0) into 0
7.677 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
7.678 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- 1.0)) (* 0 0))))) into 0
7.678 * [taylor]: Taking taylor expansion of 0 in t
7.678 * [backup-simplify]: Simplify 0 into 0
7.678 * [backup-simplify]: Simplify 0 into 0
7.678 * [backup-simplify]: Simplify 0 into 0
7.678 * [backup-simplify]: Simplify 0 into 0
7.679 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
7.679 * [backup-simplify]: Simplify (- 0) into 0
7.679 * [backup-simplify]: Simplify 0 into 0
7.680 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (- t)) (/ 1 (- z)))) (* (- 1.0) (* (/ 1 (- t)) 1))) into (+ (* 1.0 (/ 1 t)) (/ 1 (* t z)))
7.680 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1 1)
7.680 * [backup-simplify]: Simplify (/ (fma 1.0 z 1) z) into (/ (fma 1.0 z 1) z)
7.680 * [approximate]: Taking taylor expansion of (/ (fma 1.0 z 1) z) in (z) around 0
7.680 * [taylor]: Taking taylor expansion of (/ (fma 1.0 z 1) z) in z
7.680 * [taylor]: Taking taylor expansion of (fma 1.0 z 1) in z
7.681 * [taylor]: Rewrote expression to (+ (* 1.0 z) 1)
7.681 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
7.681 * [taylor]: Taking taylor expansion of 1.0 in z
7.681 * [backup-simplify]: Simplify 1.0 into 1.0
7.681 * [taylor]: Taking taylor expansion of z in z
7.681 * [backup-simplify]: Simplify 0 into 0
7.681 * [backup-simplify]: Simplify 1 into 1
7.681 * [taylor]: Taking taylor expansion of 1 in z
7.681 * [backup-simplify]: Simplify 1 into 1
7.681 * [taylor]: Taking taylor expansion of z in z
7.681 * [backup-simplify]: Simplify 0 into 0
7.681 * [backup-simplify]: Simplify 1 into 1
7.681 * [backup-simplify]: Simplify (* 1.0 0) into 0
7.682 * [backup-simplify]: Simplify (+ 0 1) into 1
7.682 * [backup-simplify]: Simplify (/ 1 1) into 1
7.682 * [taylor]: Taking taylor expansion of (/ (fma 1.0 z 1) z) in z
7.682 * [taylor]: Taking taylor expansion of (fma 1.0 z 1) in z
7.682 * [taylor]: Rewrote expression to (+ (* 1.0 z) 1)
7.682 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
7.682 * [taylor]: Taking taylor expansion of 1.0 in z
7.682 * [backup-simplify]: Simplify 1.0 into 1.0
7.682 * [taylor]: Taking taylor expansion of z in z
7.682 * [backup-simplify]: Simplify 0 into 0
7.682 * [backup-simplify]: Simplify 1 into 1
7.682 * [taylor]: Taking taylor expansion of 1 in z
7.682 * [backup-simplify]: Simplify 1 into 1
7.682 * [taylor]: Taking taylor expansion of z in z
7.683 * [backup-simplify]: Simplify 0 into 0
7.683 * [backup-simplify]: Simplify 1 into 1
7.683 * [backup-simplify]: Simplify (* 1.0 0) into 0
7.683 * [backup-simplify]: Simplify (+ 0 1) into 1
7.684 * [backup-simplify]: Simplify (/ 1 1) into 1
7.684 * [backup-simplify]: Simplify 1 into 1
7.685 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
7.686 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
7.687 * [backup-simplify]: Simplify (- (/ 1.0 1) (+ (* 1 (/ 0 1)))) into 1.0
7.687 * [backup-simplify]: Simplify 1.0 into 1.0
7.688 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
7.689 * [backup-simplify]: Simplify (+ 0 0) into 0
7.689 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1.0 (/ 0 1)))) into 0
7.689 * [backup-simplify]: Simplify 0 into 0
7.690 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
7.691 * [backup-simplify]: Simplify (+ 0 0) into 0
7.692 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.692 * [backup-simplify]: Simplify 0 into 0
7.693 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
7.693 * [backup-simplify]: Simplify (+ 0 0) into 0
7.694 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.694 * [backup-simplify]: Simplify 0 into 0
7.696 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
7.696 * [backup-simplify]: Simplify (+ 0 0) into 0
7.697 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.697 * [backup-simplify]: Simplify 0 into 0
7.699 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
7.699 * [backup-simplify]: Simplify (+ 0 0) into 0
7.700 * [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
7.700 * [backup-simplify]: Simplify 0 into 0
7.702 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
7.702 * [backup-simplify]: Simplify (+ 0 0) into 0
7.703 * [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
7.703 * [backup-simplify]: Simplify 0 into 0
7.703 * [backup-simplify]: Simplify (+ 1.0 (* 1 (/ 1 z))) into (+ 1.0 (/ 1 z))
7.703 * [backup-simplify]: Simplify (/ (fma 1.0 (/ 1 z) 1) (/ 1 z)) into (* (fma 1.0 (/ 1 z) 1) z)
7.703 * [approximate]: Taking taylor expansion of (* (fma 1.0 (/ 1 z) 1) z) in (z) around 0
7.703 * [taylor]: Taking taylor expansion of (* (fma 1.0 (/ 1 z) 1) z) in z
7.704 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 z) 1) in z
7.704 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 z)) 1)
7.704 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
7.704 * [taylor]: Taking taylor expansion of 1.0 in z
7.704 * [backup-simplify]: Simplify 1.0 into 1.0
7.704 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.704 * [taylor]: Taking taylor expansion of z in z
7.704 * [backup-simplify]: Simplify 0 into 0
7.704 * [backup-simplify]: Simplify 1 into 1
7.704 * [backup-simplify]: Simplify (/ 1 1) into 1
7.704 * [taylor]: Taking taylor expansion of 1 in z
7.704 * [backup-simplify]: Simplify 1 into 1
7.704 * [taylor]: Taking taylor expansion of z in z
7.704 * [backup-simplify]: Simplify 0 into 0
7.704 * [backup-simplify]: Simplify 1 into 1
7.704 * [taylor]: Taking taylor expansion of (* (fma 1.0 (/ 1 z) 1) z) in z
7.704 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 z) 1) in z
7.705 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 z)) 1)
7.705 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
7.705 * [taylor]: Taking taylor expansion of 1.0 in z
7.705 * [backup-simplify]: Simplify 1.0 into 1.0
7.705 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.705 * [taylor]: Taking taylor expansion of z in z
7.705 * [backup-simplify]: Simplify 0 into 0
7.705 * [backup-simplify]: Simplify 1 into 1
7.705 * [backup-simplify]: Simplify (/ 1 1) into 1
7.705 * [taylor]: Taking taylor expansion of 1 in z
7.705 * [backup-simplify]: Simplify 1 into 1
7.705 * [taylor]: Taking taylor expansion of z in z
7.705 * [backup-simplify]: Simplify 0 into 0
7.705 * [backup-simplify]: Simplify 1 into 1
7.706 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
7.706 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
7.707 * [backup-simplify]: Simplify (* 1.0 0) into 0
7.707 * [backup-simplify]: Simplify 0 into 0
7.707 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.711 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
7.711 * [backup-simplify]: Simplify (+ 0 1) into 1
7.712 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 1 0)) into 1.0
7.712 * [backup-simplify]: Simplify 1.0 into 1.0
7.713 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.713 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
7.714 * [backup-simplify]: Simplify (+ 0 0) into 0
7.714 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1 1) (* 0 0))) into 1
7.714 * [backup-simplify]: Simplify 1 into 1
7.715 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.715 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.716 * [backup-simplify]: Simplify (+ 0 0) into 0
7.716 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
7.716 * [backup-simplify]: Simplify 0 into 0
7.717 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.718 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.718 * [backup-simplify]: Simplify (+ 0 0) into 0
7.719 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
7.719 * [backup-simplify]: Simplify 0 into 0
7.720 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.722 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.722 * [backup-simplify]: Simplify (+ 0 0) into 0
7.723 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
7.723 * [backup-simplify]: Simplify 0 into 0
7.723 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.724 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.725 * [backup-simplify]: Simplify (+ 0 0) into 0
7.725 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
7.726 * [backup-simplify]: Simplify 0 into 0
7.726 * [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
7.727 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
7.727 * [backup-simplify]: Simplify (+ 0 0) into 0
7.728 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
7.728 * [backup-simplify]: Simplify 0 into 0
7.729 * [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
7.730 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
7.731 * [backup-simplify]: Simplify (+ 0 0) into 0
7.733 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
7.733 * [backup-simplify]: Simplify 0 into 0
7.733 * [backup-simplify]: Simplify (+ (* 1 (/ 1 z)) 1.0) into (+ 1.0 (/ 1 z))
7.733 * [backup-simplify]: Simplify (/ (fma 1.0 (/ 1 (- z)) 1) (/ 1 (- z))) into (* -1 (* (fma 1.0 (/ -1 z) 1) z))
7.733 * [approximate]: Taking taylor expansion of (* -1 (* (fma 1.0 (/ -1 z) 1) z)) in (z) around 0
7.733 * [taylor]: Taking taylor expansion of (* -1 (* (fma 1.0 (/ -1 z) 1) z)) in z
7.733 * [taylor]: Taking taylor expansion of -1 in z
7.734 * [backup-simplify]: Simplify -1 into -1
7.734 * [taylor]: Taking taylor expansion of (* (fma 1.0 (/ -1 z) 1) z) in z
7.734 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 z) 1) in z
7.734 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 z)) 1)
7.734 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 z)) in z
7.734 * [taylor]: Taking taylor expansion of 1.0 in z
7.734 * [backup-simplify]: Simplify 1.0 into 1.0
7.734 * [taylor]: Taking taylor expansion of (/ -1 z) in z
7.734 * [taylor]: Taking taylor expansion of -1 in z
7.734 * [backup-simplify]: Simplify -1 into -1
7.734 * [taylor]: Taking taylor expansion of z in z
7.734 * [backup-simplify]: Simplify 0 into 0
7.734 * [backup-simplify]: Simplify 1 into 1
7.734 * [backup-simplify]: Simplify (/ -1 1) into -1
7.734 * [taylor]: Taking taylor expansion of 1 in z
7.734 * [backup-simplify]: Simplify 1 into 1
7.734 * [taylor]: Taking taylor expansion of z in z
7.734 * [backup-simplify]: Simplify 0 into 0
7.735 * [backup-simplify]: Simplify 1 into 1
7.735 * [taylor]: Taking taylor expansion of (* -1 (* (fma 1.0 (/ -1 z) 1) z)) in z
7.735 * [taylor]: Taking taylor expansion of -1 in z
7.735 * [backup-simplify]: Simplify -1 into -1
7.735 * [taylor]: Taking taylor expansion of (* (fma 1.0 (/ -1 z) 1) z) in z
7.735 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 z) 1) in z
7.735 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 z)) 1)
7.735 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 z)) in z
7.735 * [taylor]: Taking taylor expansion of 1.0 in z
7.735 * [backup-simplify]: Simplify 1.0 into 1.0
7.735 * [taylor]: Taking taylor expansion of (/ -1 z) in z
7.735 * [taylor]: Taking taylor expansion of -1 in z
7.735 * [backup-simplify]: Simplify -1 into -1
7.735 * [taylor]: Taking taylor expansion of z in z
7.735 * [backup-simplify]: Simplify 0 into 0
7.735 * [backup-simplify]: Simplify 1 into 1
7.735 * [backup-simplify]: Simplify (/ -1 1) into -1
7.735 * [taylor]: Taking taylor expansion of 1 in z
7.736 * [backup-simplify]: Simplify 1 into 1
7.736 * [taylor]: Taking taylor expansion of z in z
7.736 * [backup-simplify]: Simplify 0 into 0
7.736 * [backup-simplify]: Simplify 1 into 1
7.736 * [backup-simplify]: Simplify (* 1.0 -1) into -1.0
7.736 * [backup-simplify]: Simplify (+ -1.0 0) into (- 1.0)
7.737 * [backup-simplify]: Simplify (* (- 1.0) 0) into 0
7.737 * [backup-simplify]: Simplify (* -1 0) into 0
7.737 * [backup-simplify]: Simplify 0 into 0
7.738 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
7.739 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 -1)) into 0
7.739 * [backup-simplify]: Simplify (+ 0 1) into 1
7.741 * [backup-simplify]: Simplify (+ (* (- 1.0) 1) (* 1 0)) into (- 1.0)
7.743 * [backup-simplify]: Simplify (+ (* -1 (- 1.0)) (* 0 0)) into 1.0
7.743 * [backup-simplify]: Simplify 1.0 into 1.0
7.744 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.745 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 -1))) into 0
7.745 * [backup-simplify]: Simplify (+ 0 0) into 0
7.746 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 1) (* 0 0))) into 1
7.747 * [backup-simplify]: Simplify (+ (* -1 1) (+ (* 0 (- 1.0)) (* 0 0))) into -1
7.747 * [backup-simplify]: Simplify -1 into -1
7.747 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.748 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
7.748 * [backup-simplify]: Simplify (+ 0 0) into 0
7.749 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
7.750 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (+ (* 0 (- 1.0)) (* 0 0)))) into 0
7.750 * [backup-simplify]: Simplify 0 into 0
7.750 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.751 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0
7.751 * [backup-simplify]: Simplify (+ 0 0) into 0
7.752 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
7.753 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- 1.0)) (* 0 0))))) into 0
7.753 * [backup-simplify]: Simplify 0 into 0
7.754 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.755 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))) into 0
7.755 * [backup-simplify]: Simplify (+ 0 0) into 0
7.756 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
7.758 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- 1.0)) (* 0 0)))))) into 0
7.758 * [backup-simplify]: Simplify 0 into 0
7.759 * [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
7.760 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))) into 0
7.761 * [backup-simplify]: Simplify (+ 0 0) into 0
7.763 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
7.765 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- 1.0)) (* 0 0))))))) into 0
7.765 * [backup-simplify]: Simplify 0 into 0
7.766 * [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
7.767 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))))) into 0
7.768 * [backup-simplify]: Simplify (+ 0 0) into 0
7.770 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
7.772 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- 1.0)) (* 0 0)))))))) into 0
7.772 * [backup-simplify]: Simplify 0 into 0
7.773 * [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
7.775 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))))) into 0
7.775 * [backup-simplify]: Simplify (+ 0 0) into 0
7.778 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
7.780 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- 1.0)) (* 0 0))))))))) into 0
7.780 * [backup-simplify]: Simplify 0 into 0
7.780 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (- z))) 1.0) into (+ 1.0 (/ 1 z))
7.780 * * * [progress]: simplifying candidates
7.783 * [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))
7.786 * * [simplify]: iteration 0: 165 enodes
7.817 * * [simplify]: iteration 1: 358 enodes
7.922 * * [simplify]: iteration 2: 1410 enodes
8.422 * * [simplify]: iteration complete: 5001 enodes
8.427 * * [simplify]: Extracting #0: cost 118 inf + 0
8.429 * * [simplify]: Extracting #1: cost 883 inf + 1
8.436 * * [simplify]: Extracting #2: cost 1682 inf + 7156
8.454 * * [simplify]: Extracting #3: cost 1350 inf + 62149
8.485 * * [simplify]: Extracting #4: cost 746 inf + 171450
8.562 * * [simplify]: Extracting #5: cost 43 inf + 323221
8.660 * * [simplify]: Extracting #6: cost 0 inf + 335475
8.753 * [simplify]: Simplified to:
  (expm1 (/ (/ (fma z 1.0 1) z) t))
  (log1p (/ (/ (fma z 1.0 1) z) t))
  (log (/ (/ (fma z 1.0 1) z) t))
  (log (/ (/ (fma z 1.0 1) z) t))
  (log (/ (/ (fma z 1.0 1) z) t))
  (exp (/ (/ (fma z 1.0 1) z) t))
  (* (/ (/ (fma z 1.0 1) z) t) (* (/ (/ (fma z 1.0 1) z) t) (/ (/ (fma z 1.0 1) z) t)))
  (* (/ (/ (fma z 1.0 1) z) t) (* (/ (/ (fma z 1.0 1) z) t) (/ (/ (fma z 1.0 1) z) t)))
  (* (cbrt (/ (/ (fma z 1.0 1) z) t)) (cbrt (/ (/ (fma z 1.0 1) z) t)))
  (cbrt (/ (/ (fma z 1.0 1) z) t))
  (* (/ (/ (fma z 1.0 1) z) t) (* (/ (/ (fma z 1.0 1) z) t) (/ (/ (fma z 1.0 1) z) t)))
  (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 t)) (/ (cbrt (/ (fma z 1.0 1) z)) (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 t) (cbrt z))) (/ (cbrt (fma z 1.0 1)) (* (cbrt t) (cbrt z))))
  (/ (cbrt (fma z 1.0 1)) (* (cbrt t) (cbrt z)))
  (/ (* (/ (cbrt (fma z 1.0 1)) (cbrt z)) (/ (cbrt (fma z 1.0 1)) (cbrt z))) (sqrt t))
  (/ (cbrt (fma z 1.0 1)) (* (cbrt z) (sqrt t)))
  (* (/ (cbrt (fma z 1.0 1)) (cbrt z)) (/ (cbrt (fma z 1.0 1)) (cbrt z)))
  (/ (/ (cbrt (fma z 1.0 1)) t) (cbrt z))
  (/ (* (/ (cbrt (fma z 1.0 1)) (cbrt t)) (/ (cbrt (fma z 1.0 1)) (cbrt t))) (sqrt z))
  (/ (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 (fma z 1.0 1)) (cbrt t)))
  (/ (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 t) (cbrt z)) (* (cbrt t) (cbrt z))))
  (/ (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 t) (cbrt z)) (* (cbrt t) (cbrt z))))
  (/ (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))
  (log (/ (fma z 1.0 1) z))
  (log (/ (fma z 1.0 1) z))
  (exp (/ (fma z 1.0 1) z))
  (* (/ (fma z 1.0 1) z) (* (/ (fma z 1.0 1) z) (/ (fma z 1.0 1) z)))
  (* (cbrt (/ (fma z 1.0 1) z)) (cbrt (/ (fma z 1.0 1) z)))
  (cbrt (/ (fma z 1.0 1) z))
  (* (/ (fma z 1.0 1) z) (* (/ (fma z 1.0 1) z) (/ (fma z 1.0 1) z)))
  (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 z)) (/ (cbrt (fma z 1.0 1)) (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.761 * * * [progress]: adding candidates to table
9.517 * * [progress]: iteration 4 / 4
9.517 * * * [progress]: picking best candidate
9.528 * * * * [pick]: Picked  #<alt (λ (x y z t) (fma (- (+ (/ 1 (* z t)) (/ 1.0 t)) 1) 2.0 (/ x y)))>
9.528 * * * [progress]: localizing error
9.545 * * * [progress]: generating rewritten candidates
9.545 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1 1)
9.554 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1)
9.589 * * * [progress]: generating series expansions
9.589 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1 1)
9.589 * [backup-simplify]: Simplify (/ 1 (* z t)) into (/ 1 (* t z))
9.589 * [approximate]: Taking taylor expansion of (/ 1 (* t z)) in (z t) around 0
9.589 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
9.589 * [taylor]: Taking taylor expansion of (* t z) in t
9.589 * [taylor]: Taking taylor expansion of t in t
9.589 * [backup-simplify]: Simplify 0 into 0
9.589 * [backup-simplify]: Simplify 1 into 1
9.589 * [taylor]: Taking taylor expansion of z in t
9.589 * [backup-simplify]: Simplify z into z
9.589 * [backup-simplify]: Simplify (* 0 z) into 0
9.590 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
9.590 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.590 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
9.590 * [taylor]: Taking taylor expansion of (* t z) in z
9.590 * [taylor]: Taking taylor expansion of t in z
9.590 * [backup-simplify]: Simplify t into t
9.590 * [taylor]: Taking taylor expansion of z in z
9.590 * [backup-simplify]: Simplify 0 into 0
9.590 * [backup-simplify]: Simplify 1 into 1
9.590 * [backup-simplify]: Simplify (* t 0) into 0
9.591 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
9.591 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
9.591 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
9.591 * [taylor]: Taking taylor expansion of (* t z) in z
9.591 * [taylor]: Taking taylor expansion of t in z
9.591 * [backup-simplify]: Simplify t into t
9.591 * [taylor]: Taking taylor expansion of z in z
9.591 * [backup-simplify]: Simplify 0 into 0
9.591 * [backup-simplify]: Simplify 1 into 1
9.591 * [backup-simplify]: Simplify (* t 0) into 0
9.591 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
9.591 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
9.591 * [taylor]: Taking taylor expansion of (/ 1 t) in t
9.591 * [taylor]: Taking taylor expansion of t in t
9.592 * [backup-simplify]: Simplify 0 into 0
9.592 * [backup-simplify]: Simplify 1 into 1
9.592 * [backup-simplify]: Simplify (/ 1 1) into 1
9.592 * [backup-simplify]: Simplify 1 into 1
9.593 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 1) (* 0 0))) into 0
9.593 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
9.593 * [taylor]: Taking taylor expansion of 0 in t
9.593 * [backup-simplify]: Simplify 0 into 0
9.594 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.594 * [backup-simplify]: Simplify 0 into 0
9.594 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
9.595 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
9.595 * [taylor]: Taking taylor expansion of 0 in t
9.595 * [backup-simplify]: Simplify 0 into 0
9.595 * [backup-simplify]: Simplify 0 into 0
9.596 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.596 * [backup-simplify]: Simplify 0 into 0
9.596 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
9.597 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)))) into 0
9.597 * [taylor]: Taking taylor expansion of 0 in t
9.597 * [backup-simplify]: Simplify 0 into 0
9.597 * [backup-simplify]: Simplify 0 into 0
9.597 * [backup-simplify]: Simplify 0 into 0
9.598 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.598 * [backup-simplify]: Simplify 0 into 0
9.598 * [backup-simplify]: Simplify (* 1 (* (/ 1 t) (/ 1 z))) into (/ 1 (* t z))
9.598 * [backup-simplify]: Simplify (/ 1 (* (/ 1 z) (/ 1 t))) into (* t z)
9.598 * [approximate]: Taking taylor expansion of (* t z) in (z t) around 0
9.598 * [taylor]: Taking taylor expansion of (* t z) in t
9.598 * [taylor]: Taking taylor expansion of t in t
9.598 * [backup-simplify]: Simplify 0 into 0
9.598 * [backup-simplify]: Simplify 1 into 1
9.598 * [taylor]: Taking taylor expansion of z in t
9.598 * [backup-simplify]: Simplify z into z
9.598 * [taylor]: Taking taylor expansion of (* t z) in z
9.598 * [taylor]: Taking taylor expansion of t in z
9.598 * [backup-simplify]: Simplify t into t
9.598 * [taylor]: Taking taylor expansion of z in z
9.598 * [backup-simplify]: Simplify 0 into 0
9.598 * [backup-simplify]: Simplify 1 into 1
9.598 * [taylor]: Taking taylor expansion of (* t z) in z
9.598 * [taylor]: Taking taylor expansion of t in z
9.598 * [backup-simplify]: Simplify t into t
9.598 * [taylor]: Taking taylor expansion of z in z
9.598 * [backup-simplify]: Simplify 0 into 0
9.598 * [backup-simplify]: Simplify 1 into 1
9.599 * [backup-simplify]: Simplify (* t 0) into 0
9.599 * [taylor]: Taking taylor expansion of 0 in t
9.599 * [backup-simplify]: Simplify 0 into 0
9.599 * [backup-simplify]: Simplify 0 into 0
9.599 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
9.599 * [taylor]: Taking taylor expansion of t in t
9.599 * [backup-simplify]: Simplify 0 into 0
9.599 * [backup-simplify]: Simplify 1 into 1
9.599 * [backup-simplify]: Simplify 0 into 0
9.599 * [backup-simplify]: Simplify 0 into 0
9.600 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 1) (* 0 0))) into 0
9.600 * [taylor]: Taking taylor expansion of 0 in t
9.600 * [backup-simplify]: Simplify 0 into 0
9.600 * [backup-simplify]: Simplify 0 into 0
9.600 * [backup-simplify]: Simplify 1 into 1
9.600 * [backup-simplify]: Simplify 0 into 0
9.601 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
9.601 * [taylor]: Taking taylor expansion of 0 in t
9.601 * [backup-simplify]: Simplify 0 into 0
9.601 * [backup-simplify]: Simplify 0 into 0
9.601 * [backup-simplify]: Simplify 0 into 0
9.601 * [backup-simplify]: Simplify 0 into 0
9.601 * [backup-simplify]: Simplify 0 into 0
9.602 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
9.603 * [taylor]: Taking taylor expansion of 0 in t
9.603 * [backup-simplify]: Simplify 0 into 0
9.603 * [backup-simplify]: Simplify 0 into 0
9.603 * [backup-simplify]: Simplify (* 1 (* (/ 1 t) (/ 1 z))) into (/ 1 (* t z))
9.603 * [backup-simplify]: Simplify (/ 1 (* (/ 1 (- z)) (/ 1 (- t)))) into (* t z)
9.603 * [approximate]: Taking taylor expansion of (* t z) in (z t) around 0
9.603 * [taylor]: Taking taylor expansion of (* t z) in t
9.603 * [taylor]: Taking taylor expansion of t in t
9.603 * [backup-simplify]: Simplify 0 into 0
9.603 * [backup-simplify]: Simplify 1 into 1
9.603 * [taylor]: Taking taylor expansion of z in t
9.603 * [backup-simplify]: Simplify z into z
9.603 * [taylor]: Taking taylor expansion of (* t z) in z
9.603 * [taylor]: Taking taylor expansion of t in z
9.603 * [backup-simplify]: Simplify t into t
9.603 * [taylor]: Taking taylor expansion of z in z
9.603 * [backup-simplify]: Simplify 0 into 0
9.603 * [backup-simplify]: Simplify 1 into 1
9.603 * [taylor]: Taking taylor expansion of (* t z) in z
9.603 * [taylor]: Taking taylor expansion of t in z
9.603 * [backup-simplify]: Simplify t into t
9.603 * [taylor]: Taking taylor expansion of z in z
9.603 * [backup-simplify]: Simplify 0 into 0
9.603 * [backup-simplify]: Simplify 1 into 1
9.603 * [backup-simplify]: Simplify (* t 0) into 0
9.603 * [taylor]: Taking taylor expansion of 0 in t
9.603 * [backup-simplify]: Simplify 0 into 0
9.603 * [backup-simplify]: Simplify 0 into 0
9.604 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
9.604 * [taylor]: Taking taylor expansion of t in t
9.604 * [backup-simplify]: Simplify 0 into 0
9.604 * [backup-simplify]: Simplify 1 into 1
9.604 * [backup-simplify]: Simplify 0 into 0
9.604 * [backup-simplify]: Simplify 0 into 0
9.605 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 1) (* 0 0))) into 0
9.605 * [taylor]: Taking taylor expansion of 0 in t
9.605 * [backup-simplify]: Simplify 0 into 0
9.605 * [backup-simplify]: Simplify 0 into 0
9.605 * [backup-simplify]: Simplify 1 into 1
9.605 * [backup-simplify]: Simplify 0 into 0
9.606 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
9.606 * [taylor]: Taking taylor expansion of 0 in t
9.606 * [backup-simplify]: Simplify 0 into 0
9.606 * [backup-simplify]: Simplify 0 into 0
9.606 * [backup-simplify]: Simplify 0 into 0
9.606 * [backup-simplify]: Simplify 0 into 0
9.606 * [backup-simplify]: Simplify 0 into 0
9.607 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
9.607 * [taylor]: Taking taylor expansion of 0 in t
9.607 * [backup-simplify]: Simplify 0 into 0
9.607 * [backup-simplify]: Simplify 0 into 0
9.607 * [backup-simplify]: Simplify (* 1 (* (/ 1 (- t)) (/ 1 (- z)))) into (/ 1 (* t z))
9.607 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1)
9.607 * [backup-simplify]: Simplify (+ (/ 1 (* z t)) (/ 1.0 t)) into (+ (* 1.0 (/ 1 t)) (/ 1 (* t z)))
9.607 * [approximate]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) (/ 1 (* t z))) in (z t) around 0
9.607 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) (/ 1 (* t z))) in t
9.607 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
9.607 * [taylor]: Taking taylor expansion of 1.0 in t
9.607 * [backup-simplify]: Simplify 1.0 into 1.0
9.607 * [taylor]: Taking taylor expansion of (/ 1 t) in t
9.607 * [taylor]: Taking taylor expansion of t in t
9.607 * [backup-simplify]: Simplify 0 into 0
9.607 * [backup-simplify]: Simplify 1 into 1
9.608 * [backup-simplify]: Simplify (/ 1 1) into 1
9.608 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
9.608 * [taylor]: Taking taylor expansion of (* t z) in t
9.608 * [taylor]: Taking taylor expansion of t in t
9.608 * [backup-simplify]: Simplify 0 into 0
9.608 * [backup-simplify]: Simplify 1 into 1
9.608 * [taylor]: Taking taylor expansion of z in t
9.608 * [backup-simplify]: Simplify z into z
9.608 * [backup-simplify]: Simplify (* 0 z) into 0
9.608 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
9.608 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.608 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) (/ 1 (* t z))) in z
9.608 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in z
9.608 * [taylor]: Taking taylor expansion of 1.0 in z
9.608 * [backup-simplify]: Simplify 1.0 into 1.0
9.608 * [taylor]: Taking taylor expansion of (/ 1 t) in z
9.609 * [taylor]: Taking taylor expansion of t in z
9.609 * [backup-simplify]: Simplify t into t
9.609 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
9.609 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
9.609 * [taylor]: Taking taylor expansion of (* t z) in z
9.609 * [taylor]: Taking taylor expansion of t in z
9.609 * [backup-simplify]: Simplify t into t
9.609 * [taylor]: Taking taylor expansion of z in z
9.609 * [backup-simplify]: Simplify 0 into 0
9.609 * [backup-simplify]: Simplify 1 into 1
9.609 * [backup-simplify]: Simplify (* t 0) into 0
9.609 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
9.609 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
9.609 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) (/ 1 (* t z))) in z
9.609 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in z
9.609 * [taylor]: Taking taylor expansion of 1.0 in z
9.609 * [backup-simplify]: Simplify 1.0 into 1.0
9.609 * [taylor]: Taking taylor expansion of (/ 1 t) in z
9.609 * [taylor]: Taking taylor expansion of t in z
9.609 * [backup-simplify]: Simplify t into t
9.609 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
9.609 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
9.610 * [taylor]: Taking taylor expansion of (* t z) in z
9.610 * [taylor]: Taking taylor expansion of t in z
9.610 * [backup-simplify]: Simplify t into t
9.610 * [taylor]: Taking taylor expansion of z in z
9.610 * [backup-simplify]: Simplify 0 into 0
9.610 * [backup-simplify]: Simplify 1 into 1
9.610 * [backup-simplify]: Simplify (* t 0) into 0
9.610 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
9.610 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
9.610 * [backup-simplify]: Simplify (+ 0 (/ 1 t)) into (/ 1 t)
9.610 * [taylor]: Taking taylor expansion of (/ 1 t) in t
9.610 * [taylor]: Taking taylor expansion of t in t
9.610 * [backup-simplify]: Simplify 0 into 0
9.610 * [backup-simplify]: Simplify 1 into 1
9.611 * [backup-simplify]: Simplify (/ 1 1) into 1
9.611 * [backup-simplify]: Simplify 1 into 1
9.611 * [backup-simplify]: Simplify (* 1.0 (/ 1 t)) into (/ 1.0 t)
9.611 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 1) (* 0 0))) into 0
9.612 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
9.612 * [backup-simplify]: Simplify (+ (/ 1.0 t) 0) into (* 1.0 (/ 1 t))
9.612 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
9.612 * [taylor]: Taking taylor expansion of 1.0 in t
9.612 * [backup-simplify]: Simplify 1.0 into 1.0
9.612 * [taylor]: Taking taylor expansion of (/ 1 t) in t
9.612 * [taylor]: Taking taylor expansion of t in t
9.612 * [backup-simplify]: Simplify 0 into 0
9.612 * [backup-simplify]: Simplify 1 into 1
9.612 * [backup-simplify]: Simplify (/ 1 1) into 1
9.613 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
9.613 * [backup-simplify]: Simplify 1.0 into 1.0
9.613 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.613 * [backup-simplify]: Simplify 0 into 0
9.613 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
9.614 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 t))) into 0
9.615 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
9.615 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
9.615 * [backup-simplify]: Simplify (+ 0 0) into 0
9.615 * [taylor]: Taking taylor expansion of 0 in t
9.615 * [backup-simplify]: Simplify 0 into 0
9.616 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.616 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
9.617 * [backup-simplify]: Simplify 0 into 0
9.617 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.617 * [backup-simplify]: Simplify 0 into 0
9.617 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
9.618 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (/ 1 t)))) into 0
9.619 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
9.619 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)))) into 0
9.620 * [backup-simplify]: Simplify (+ 0 0) into 0
9.620 * [taylor]: Taking taylor expansion of 0 in t
9.620 * [backup-simplify]: Simplify 0 into 0
9.620 * [backup-simplify]: Simplify 0 into 0
9.620 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.621 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
9.621 * [backup-simplify]: Simplify 0 into 0
9.622 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.622 * [backup-simplify]: Simplify 0 into 0
9.622 * [backup-simplify]: Simplify (+ (* 1.0 (* (/ 1 t) 1)) (* 1 (* (/ 1 t) (/ 1 z)))) into (+ (* 1.0 (/ 1 t)) (/ 1 (* t z)))
9.623 * [backup-simplify]: Simplify (+ (/ 1 (* (/ 1 z) (/ 1 t))) (/ 1.0 (/ 1 t))) into (+ (* 1.0 t) (* t z))
9.623 * [approximate]: Taking taylor expansion of (+ (* 1.0 t) (* t z)) in (z t) around 0
9.623 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) (* t z)) in t
9.623 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
9.623 * [taylor]: Taking taylor expansion of 1.0 in t
9.623 * [backup-simplify]: Simplify 1.0 into 1.0
9.623 * [taylor]: Taking taylor expansion of t in t
9.623 * [backup-simplify]: Simplify 0 into 0
9.623 * [backup-simplify]: Simplify 1 into 1
9.623 * [taylor]: Taking taylor expansion of (* t z) in t
9.623 * [taylor]: Taking taylor expansion of t in t
9.623 * [backup-simplify]: Simplify 0 into 0
9.623 * [backup-simplify]: Simplify 1 into 1
9.623 * [taylor]: Taking taylor expansion of z in t
9.623 * [backup-simplify]: Simplify z into z
9.623 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) (* t z)) in z
9.623 * [taylor]: Taking taylor expansion of (* 1.0 t) in z
9.623 * [taylor]: Taking taylor expansion of 1.0 in z
9.623 * [backup-simplify]: Simplify 1.0 into 1.0
9.623 * [taylor]: Taking taylor expansion of t in z
9.623 * [backup-simplify]: Simplify t into t
9.623 * [taylor]: Taking taylor expansion of (* t z) in z
9.623 * [taylor]: Taking taylor expansion of t in z
9.623 * [backup-simplify]: Simplify t into t
9.623 * [taylor]: Taking taylor expansion of z in z
9.623 * [backup-simplify]: Simplify 0 into 0
9.623 * [backup-simplify]: Simplify 1 into 1
9.623 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) (* t z)) in z
9.624 * [taylor]: Taking taylor expansion of (* 1.0 t) in z
9.624 * [taylor]: Taking taylor expansion of 1.0 in z
9.624 * [backup-simplify]: Simplify 1.0 into 1.0
9.624 * [taylor]: Taking taylor expansion of t in z
9.624 * [backup-simplify]: Simplify t into t
9.624 * [taylor]: Taking taylor expansion of (* t z) in z
9.624 * [taylor]: Taking taylor expansion of t in z
9.624 * [backup-simplify]: Simplify t into t
9.624 * [taylor]: Taking taylor expansion of z in z
9.624 * [backup-simplify]: Simplify 0 into 0
9.624 * [backup-simplify]: Simplify 1 into 1
9.624 * [backup-simplify]: Simplify (* 1.0 t) into (* 1.0 t)
9.624 * [backup-simplify]: Simplify (* t 0) into 0
9.624 * [backup-simplify]: Simplify (+ (* 1.0 t) 0) into (* 1.0 t)
9.624 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
9.624 * [taylor]: Taking taylor expansion of 1.0 in t
9.624 * [backup-simplify]: Simplify 1.0 into 1.0
9.624 * [taylor]: Taking taylor expansion of t in t
9.624 * [backup-simplify]: Simplify 0 into 0
9.624 * [backup-simplify]: Simplify 1 into 1
9.625 * [backup-simplify]: Simplify (* 1.0 0) into 0
9.625 * [backup-simplify]: Simplify 0 into 0
9.625 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 t)) into 0
9.626 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
9.626 * [backup-simplify]: Simplify (+ 0 t) into t
9.626 * [taylor]: Taking taylor expansion of t in t
9.626 * [backup-simplify]: Simplify 0 into 0
9.626 * [backup-simplify]: Simplify 1 into 1
9.626 * [backup-simplify]: Simplify 0 into 0
9.627 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
9.627 * [backup-simplify]: Simplify 1.0 into 1.0
9.628 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 t))) into 0
9.628 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 1) (* 0 0))) into 0
9.629 * [backup-simplify]: Simplify (+ 0 0) into 0
9.629 * [taylor]: Taking taylor expansion of 0 in t
9.629 * [backup-simplify]: Simplify 0 into 0
9.629 * [backup-simplify]: Simplify 0 into 0
9.629 * [backup-simplify]: Simplify 1 into 1
9.630 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
9.630 * [backup-simplify]: Simplify 0 into 0
9.631 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 t)))) into 0
9.631 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
9.632 * [backup-simplify]: Simplify (+ 0 0) into 0
9.632 * [taylor]: Taking taylor expansion of 0 in t
9.632 * [backup-simplify]: Simplify 0 into 0
9.632 * [backup-simplify]: Simplify 0 into 0
9.632 * [backup-simplify]: Simplify 0 into 0
9.632 * [backup-simplify]: Simplify 0 into 0
9.633 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
9.633 * [backup-simplify]: Simplify 0 into 0
9.634 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 t))))) into 0
9.635 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
9.636 * [backup-simplify]: Simplify (+ 0 0) into 0
9.636 * [taylor]: Taking taylor expansion of 0 in t
9.636 * [backup-simplify]: Simplify 0 into 0
9.636 * [backup-simplify]: Simplify 0 into 0
9.636 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 t) (/ 1 z))) (* 1.0 (* (/ 1 t) 1))) into (+ (* 1.0 (/ 1 t)) (/ 1 (* t z)))
9.636 * [backup-simplify]: Simplify (+ (/ 1 (* (/ 1 (- z)) (/ 1 (- t)))) (/ 1.0 (/ 1 (- t)))) into (- (* t z) (* 1.0 t))
9.636 * [approximate]: Taking taylor expansion of (- (* t z) (* 1.0 t)) in (z t) around 0
9.636 * [taylor]: Taking taylor expansion of (- (* t z) (* 1.0 t)) in t
9.636 * [taylor]: Taking taylor expansion of (* t z) in t
9.636 * [taylor]: Taking taylor expansion of t in t
9.636 * [backup-simplify]: Simplify 0 into 0
9.636 * [backup-simplify]: Simplify 1 into 1
9.636 * [taylor]: Taking taylor expansion of z in t
9.636 * [backup-simplify]: Simplify z into z
9.636 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
9.637 * [taylor]: Taking taylor expansion of 1.0 in t
9.637 * [backup-simplify]: Simplify 1.0 into 1.0
9.637 * [taylor]: Taking taylor expansion of t in t
9.637 * [backup-simplify]: Simplify 0 into 0
9.637 * [backup-simplify]: Simplify 1 into 1
9.637 * [taylor]: Taking taylor expansion of (- (* t z) (* 1.0 t)) in z
9.637 * [taylor]: Taking taylor expansion of (* t z) in z
9.637 * [taylor]: Taking taylor expansion of t in z
9.637 * [backup-simplify]: Simplify t into t
9.637 * [taylor]: Taking taylor expansion of z in z
9.637 * [backup-simplify]: Simplify 0 into 0
9.637 * [backup-simplify]: Simplify 1 into 1
9.637 * [taylor]: Taking taylor expansion of (* 1.0 t) in z
9.637 * [taylor]: Taking taylor expansion of 1.0 in z
9.637 * [backup-simplify]: Simplify 1.0 into 1.0
9.637 * [taylor]: Taking taylor expansion of t in z
9.637 * [backup-simplify]: Simplify t into t
9.637 * [taylor]: Taking taylor expansion of (- (* t z) (* 1.0 t)) in z
9.637 * [taylor]: Taking taylor expansion of (* t z) in z
9.637 * [taylor]: Taking taylor expansion of t in z
9.637 * [backup-simplify]: Simplify t into t
9.637 * [taylor]: Taking taylor expansion of z in z
9.637 * [backup-simplify]: Simplify 0 into 0
9.637 * [backup-simplify]: Simplify 1 into 1
9.637 * [taylor]: Taking taylor expansion of (* 1.0 t) in z
9.637 * [taylor]: Taking taylor expansion of 1.0 in z
9.637 * [backup-simplify]: Simplify 1.0 into 1.0
9.637 * [taylor]: Taking taylor expansion of t in z
9.637 * [backup-simplify]: Simplify t into t
9.638 * [backup-simplify]: Simplify (* t 0) into 0
9.638 * [backup-simplify]: Simplify (* 1.0 t) into (* 1.0 t)
9.638 * [backup-simplify]: Simplify (- (* 1.0 t)) into (- (* 1.0 t))
9.638 * [backup-simplify]: Simplify (+ 0 (- (* 1.0 t))) into (- (* 1.0 t))
9.638 * [taylor]: Taking taylor expansion of (- (* 1.0 t)) in t
9.638 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
9.638 * [taylor]: Taking taylor expansion of 1.0 in t
9.638 * [backup-simplify]: Simplify 1.0 into 1.0
9.638 * [taylor]: Taking taylor expansion of t in t
9.638 * [backup-simplify]: Simplify 0 into 0
9.638 * [backup-simplify]: Simplify 1 into 1
9.638 * [backup-simplify]: Simplify (* 1.0 0) into 0
9.638 * [backup-simplify]: Simplify (- 0) into 0
9.638 * [backup-simplify]: Simplify 0 into 0
9.639 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
9.639 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 t)) into 0
9.639 * [backup-simplify]: Simplify (- 0) into 0
9.639 * [backup-simplify]: Simplify (+ t 0) into t
9.639 * [taylor]: Taking taylor expansion of t in t
9.639 * [backup-simplify]: Simplify 0 into 0
9.639 * [backup-simplify]: Simplify 1 into 1
9.639 * [backup-simplify]: Simplify 0 into 0
9.640 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
9.640 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
9.641 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
9.641 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 1) (* 0 0))) into 0
9.642 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 t))) into 0
9.642 * [backup-simplify]: Simplify (- 0) into 0
9.642 * [backup-simplify]: Simplify (+ 0 0) into 0
9.642 * [taylor]: Taking taylor expansion of 0 in t
9.642 * [backup-simplify]: Simplify 0 into 0
9.642 * [backup-simplify]: Simplify 0 into 0
9.642 * [backup-simplify]: Simplify 1 into 1
9.643 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
9.643 * [backup-simplify]: Simplify (- 0) into 0
9.643 * [backup-simplify]: Simplify 0 into 0
9.643 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
9.644 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 t)))) into 0
9.644 * [backup-simplify]: Simplify (- 0) into 0
9.645 * [backup-simplify]: Simplify (+ 0 0) into 0
9.645 * [taylor]: Taking taylor expansion of 0 in t
9.645 * [backup-simplify]: Simplify 0 into 0
9.645 * [backup-simplify]: Simplify 0 into 0
9.645 * [backup-simplify]: Simplify 0 into 0
9.645 * [backup-simplify]: Simplify 0 into 0
9.645 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
9.646 * [backup-simplify]: Simplify (- 0) into 0
9.646 * [backup-simplify]: Simplify 0 into 0
9.646 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
9.647 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 t))))) into 0
9.647 * [backup-simplify]: Simplify (- 0) into 0
9.648 * [backup-simplify]: Simplify (+ 0 0) into 0
9.648 * [taylor]: Taking taylor expansion of 0 in t
9.648 * [backup-simplify]: Simplify 0 into 0
9.648 * [backup-simplify]: Simplify 0 into 0
9.648 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (- t)) (/ 1 (- z)))) (* (- 1.0) (* (/ 1 (- t)) 1))) into (+ (* 1.0 (/ 1 t)) (/ 1 (* t z)))
9.648 * * * [progress]: simplifying candidates
9.649 * [simplify]: Simplifying:
  (expm1 (/ 1 (* z t)))
  (log1p (/ 1 (* z t)))
  (- 1)
  (- 1)
  (- (+ (log z) (log t)))
  (- (log (* z t)))
  (- 0 (+ (log z) (log t)))
  (- 0 (log (* z t)))
  (- (log 1) (+ (log z) (log t)))
  (- (log 1) (log (* z t)))
  (log (/ 1 (* z t)))
  (exp (/ 1 (* z t)))
  (/ (* (* 1 1) 1) (* (* (* z z) z) (* (* t t) t)))
  (/ (* (* 1 1) 1) (* (* (* z t) (* z t)) (* z t)))
  (* (cbrt (/ 1 (* z t))) (cbrt (/ 1 (* z t))))
  (cbrt (/ 1 (* z t)))
  (* (* (/ 1 (* z t)) (/ 1 (* z t))) (/ 1 (* z t)))
  (sqrt (/ 1 (* z t)))
  (sqrt (/ 1 (* z t)))
  (- 1)
  (- (* z t))
  (/ (* (cbrt 1) (cbrt 1)) z)
  (/ (cbrt 1) t)
  (/ (sqrt 1) z)
  (/ (sqrt 1) t)
  (/ 1 z)
  (/ 1 t)
  (/ 1 (* z t))
  (/ (* z t) 1)
  (/ 1 z)
  (/ (* z t) (cbrt 1))
  (/ (* z t) (sqrt 1))
  (/ (* z t) 1)
  (expm1 (+ (/ 1 (* z t)) (/ 1.0 t)))
  (log1p (+ (/ 1 (* z t)) (/ 1.0 t)))
  (* (exp (/ 1 (* z t))) (exp (/ 1.0 t)))
  (log (+ (/ 1 (* z t)) (/ 1.0 t)))
  (exp (+ (/ 1 (* z t)) (/ 1.0 t)))
  (* (cbrt (+ (/ 1 (* z t)) (/ 1.0 t))) (cbrt (+ (/ 1 (* z t)) (/ 1.0 t))))
  (cbrt (+ (/ 1 (* z t)) (/ 1.0 t)))
  (* (* (+ (/ 1 (* z t)) (/ 1.0 t)) (+ (/ 1 (* z t)) (/ 1.0 t))) (+ (/ 1 (* z t)) (/ 1.0 t)))
  (sqrt (+ (/ 1 (* z t)) (/ 1.0 t)))
  (sqrt (+ (/ 1 (* z t)) (/ 1.0 t)))
  (+ (* 1 t) (* (* z t) 1.0))
  (* (* z t) t)
  (+ (pow (/ 1 (* z t)) 3) (pow (/ 1.0 t) 3))
  (+ (* (/ 1 (* z t)) (/ 1 (* z t))) (- (* (/ 1.0 t) (/ 1.0 t)) (* (/ 1 (* z t)) (/ 1.0 t))))
  (- (* (/ 1 (* z t)) (/ 1 (* z t))) (* (/ 1.0 t) (/ 1.0 t)))
  (- (/ 1 (* z t)) (/ 1.0 t))
  (+ (/ 1 (* z t)) (/ 1.0 t))
  (+ (/ 1 (* z t)) (/ 1.0 t))
  (+ (/ 1 z) 1.0)
  (/ 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.649 * * [simplify]: iteration 0: 84 enodes
9.668 * * [simplify]: iteration 1: 230 enodes
9.753 * * [simplify]: iteration 2: 1048 enodes
10.308 * * [simplify]: iteration complete: 5000 enodes
10.308 * * [simplify]: Extracting #0: cost 32 inf + 0
10.309 * * [simplify]: Extracting #1: cost 642 inf + 1
10.321 * * [simplify]: Extracting #2: cost 1555 inf + 4401
10.347 * * [simplify]: Extracting #3: cost 1132 inf + 84966
10.408 * * [simplify]: Extracting #4: cost 153 inf + 258262
10.491 * * [simplify]: Extracting #5: cost 5 inf + 284778
10.556 * * [simplify]: Extracting #6: cost 0 inf + 285086
10.613 * [simplify]: Simplified to:
  (expm1 (/ (/ 1 z) t))
  (log1p (/ (/ 1 z) t))
  -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 z) t))
  (* (* (/ (/ 1 z) t) (/ (/ 1 z) t)) (/ (/ 1 z) t))
  (* (* (/ (/ 1 z) t) (/ (/ 1 z) t)) (/ (/ 1 z) t))
  (* (cbrt (/ (/ 1 z) t)) (cbrt (/ (/ 1 z) t)))
  (cbrt (/ (/ 1 z) t))
  (* (* (/ (/ 1 z) t) (/ (/ 1 z) t)) (/ (/ 1 z) t))
  (sqrt (/ (/ 1 z) t))
  (sqrt (/ (/ 1 z) t))
  -1
  (- (* t z))
  (/ 1 z)
  (/ 1 t)
  (/ 1 z)
  (/ 1 t)
  (/ 1 z)
  (/ 1 t)
  (/ (/ 1 z) t)
  (* t z)
  (/ 1 z)
  (* t z)
  (* t z)
  (* t z)
  (expm1 (+ (/ (/ 1 z) t) (/ 1.0 t)))
  (log1p (+ (/ (/ 1 z) t) (/ 1.0 t)))
  (exp (+ (/ (/ 1 z) t) (/ 1.0 t)))
  (log (+ (/ (/ 1 z) t) (/ 1.0 t)))
  (exp (+ (/ (/ 1 z) t) (/ 1.0 t)))
  (* (cbrt (+ (/ (/ 1 z) t) (/ 1.0 t))) (cbrt (+ (/ (/ 1 z) t) (/ 1.0 t))))
  (cbrt (+ (/ (/ 1 z) t) (/ 1.0 t)))
  (* (* (+ (/ (/ 1 z) t) (/ 1.0 t)) (+ (/ (/ 1 z) t) (/ 1.0 t))) (+ (/ (/ 1 z) t) (/ 1.0 t)))
  (sqrt (+ (/ (/ 1 z) t) (/ 1.0 t)))
  (sqrt (+ (/ (/ 1 z) t) (/ 1.0 t)))
  (fma z (* t 1.0) t)
  (* (* t z) t)
  (fma (* (/ 1.0 t) (/ 1.0 t)) (/ 1.0 t) (* (* (/ (/ 1 z) t) (/ (/ 1 z) t)) (/ (/ 1 z) t)))
  (fma (- (/ 1.0 t) (/ (/ 1 z) t)) (/ 1.0 t) (* (/ (/ 1 z) t) (/ (/ 1 z) t)))
  (- (* (/ (/ 1 z) t) (/ (/ 1 z) t)) (* (/ 1.0 t) (/ 1.0 t)))
  (- (/ (/ 1 z) t) (/ 1.0 t))
  (+ (/ (/ 1 z) t) (/ 1.0 t))
  (+ (/ (/ 1 z) t) (/ 1.0 t))
  (+ (/ 1 z) 1.0)
  (/ (/ 1 z) t)
  (/ (/ 1 z) t)
  (/ (/ 1 z) t)
  (+ (/ (/ 1 z) t) (/ 1.0 t))
  (+ (/ (/ 1 z) t) (/ 1.0 t))
  (+ (/ (/ 1 z) t) (/ 1.0 t))
10.616 * * * [progress]: adding candidates to table
10.905 * [progress]: [Phase 3 of 3] Extracting.
10.906 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (fma (- (+ (/ 1 (* z t)) (/ 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)))> #<alt (λ (x y z t) (fma (- (* (/ 1 t) (+ (/ 1 z) 1.0)) 1) 2.0 (/ x y)))>)
10.906 * * * [regime-changes]: Trying 5 branch expressions: ((/ x y) t z y x)
10.906 * * * * [regimes]: Trying to branch on (/ x y) from (#<alt (λ (x y z t) (fma (- (+ (/ 1 (* z t)) (/ 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)))> #<alt (λ (x y z t) (fma (- (* (/ 1 t) (+ (/ 1 z) 1.0)) 1) 2.0 (/ x y)))>)
10.956 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (fma (- (+ (/ 1 (* z t)) (/ 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)))> #<alt (λ (x y z t) (fma (- (* (/ 1 t) (+ (/ 1 z) 1.0)) 1) 2.0 (/ x y)))>)
11.006 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (fma (- (+ (/ 1 (* z t)) (/ 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)))> #<alt (λ (x y z t) (fma (- (* (/ 1 t) (+ (/ 1 z) 1.0)) 1) 2.0 (/ x y)))>)
11.066 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (fma (- (+ (/ 1 (* z t)) (/ 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)))> #<alt (λ (x y z t) (fma (- (* (/ 1 t) (+ (/ 1 z) 1.0)) 1) 2.0 (/ x y)))>)
11.117 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (fma (- (+ (/ 1 (* z t)) (/ 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)))> #<alt (λ (x y z t) (fma (- (* (/ 1 t) (+ (/ 1 z) 1.0)) 1) 2.0 (/ x y)))>)
11.182 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
11.182 * [simplify]: Simplifying:
  (fma (- (/ (/ (fma 1.0 z 1) z) t) 1) 2.0 (/ x y))
11.183 * * [simplify]: iteration 0: 13 enodes
11.184 * * [simplify]: iteration 1: 15 enodes
11.184 * * [simplify]: iteration complete: 15 enodes
11.184 * * [simplify]: Extracting #0: cost 1 inf + 0
11.184 * * [simplify]: Extracting #1: cost 4 inf + 0
11.185 * * [simplify]: Extracting #2: cost 7 inf + 1
11.185 * * [simplify]: Extracting #3: cost 5 inf + 46
11.185 * * [simplify]: Extracting #4: cost 6 inf + 47
11.185 * * [simplify]: Extracting #5: cost 6 inf + 48
11.185 * * [simplify]: Extracting #6: cost 5 inf + 49
11.185 * * [simplify]: Extracting #7: cost 4 inf + 107
11.185 * * [simplify]: Extracting #8: cost 1 inf + 523
11.185 * * [simplify]: Extracting #9: cost 0 inf + 800
11.185 * [simplify]: Simplified to:
  (fma (- (/ (/ (fma 1.0 z 1) z) t) 1) 2.0 (/ x y))
13.894 * [regime-testing]: Baseline error score: 0.08545880266292301
13.909 * [regime-testing]: Oracle error score: 0.022575942305378318
13.937 * [regime-testing]: End program error score: 0.08545880266292301
14.103 * [regime-testing]: Target error score: 0.08445867764729606