7.108 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.024 * * * [progress]: [2/2] Setting up program.
0.026 * [progress]: [Phase 2 of 3] Improving.
0.027 * [simplify]: Simplifying:
  (+ x (* (- y z) (- t x)))
0.027 * * [simplify]: Extracting # 0 : cost  0
0.027 * * [simplify]: Extracting # 1 : cost  0
0.027 * * [simplify]: Extracting # 2 : cost  0
0.027 * * [simplify]: Extracting # 3 : cost  0
0.027 * * [simplify]: Extracting # 4 : cost  0
0.027 * * [simplify]: Extracting # 5 : cost  0
0.027 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.028 * * [simplify]: Extracting # 0 : cost  0
0.028 * * [simplify]: Extracting # 1 : cost  0
0.028 * * [simplify]: Extracting # 2 : cost  0
0.028 * * [simplify]: iteration  1 :  14  enodes  (cost  9 )
0.030 * * [simplify]: Extracting # 0 : cost  0
0.031 * * [simplify]: Extracting # 1 : cost  0
0.031 * * [simplify]: Extracting # 2 : cost  0
0.031 * * [simplify]: iteration  2 :  30  enodes  (cost  8 )
0.037 * * [simplify]: Extracting # 0 : cost  0
0.037 * * [simplify]: Extracting # 1 : cost  0
0.038 * * [simplify]: Extracting # 2 : cost  0
0.038 * * [simplify]: iteration  3 :  86  enodes  (cost  8 )
0.070 * * [simplify]: Extracting # 0 : cost  0
0.070 * * [simplify]: Extracting # 1 : cost  0
0.071 * * [simplify]: Extracting # 2 : cost  0
0.071 * * [simplify]: iteration  4 :  286  enodes  (cost  8 )
0.199 * * [simplify]: Extracting # 0 : cost  0
0.200 * * [simplify]: Extracting # 1 : cost  0
0.201 * * [simplify]: Extracting # 2 : cost  0
0.201 * * [simplify]: Extracting # 3 : cost  0
0.201 * * [simplify]: Extracting # 4 : cost  0
0.202 * * [simplify]: iteration  5 :  671  enodes  (cost  8 )
0.717 * * [simplify]: Extracting # 0 : cost  0
0.719 * * [simplify]: Extracting # 1 : cost  0
0.719 * * [simplify]: Extracting # 2 : cost  0
0.720 * * [simplify]: iteration  6 :  1270  enodes  (cost  8 )
2.015 * * [simplify]: Extracting # 0 : cost  0
2.018 * * [simplify]: Extracting # 1 : cost  0
2.020 * * [simplify]: Extracting # 2 : cost  0
2.021 * * [simplify]: Extracting # 3 : cost  0
2.023 * * [simplify]: iteration  7 :  2430  enodes  (cost  8 )
4.728 * * [simplify]: Extracting # 0 : cost  0
4.731 * * [simplify]: Extracting # 1 : cost  0
4.733 * * [simplify]: Extracting # 2 : cost  0
4.734 * * [simplify]: iteration  8 :  3189  enodes  (cost  8 )
8.732 * * [simplify]: Extracting # 0 : cost  0
8.736 * * [simplify]: Extracting # 1 : cost  0
8.738 * * [simplify]: Extracting # 2 : cost  0
8.739 * * [simplify]: iteration  9 :  4565  enodes  (cost  8 )
11.507 * * [simplify]: Extracting # 0 : cost  0
11.509 * * [simplify]: Extracting # 1 : cost  0
11.512 * * [simplify]: Extracting # 2 : cost  0
11.514 * * [simplify]: iteration  10 :  4932  enodes  (cost  8 )
11.912 * * [simplify]: Extracting # 0 : cost  0
11.913 * * [simplify]: iteration done:  5000  enodes  (cost  8 )
11.914 * [simplify]: Simplified to:
  (fma (- y z) (- t x) x)
11.916 * * [progress]: iteration 1 / 4
11.916 * * * [progress]: picking best candidate
11.918 * * * * [pick]: Picked  #<alt (λ (x y z t) (fma (- y z) (- t x) x))>
11.918 * * * [progress]: localizing error
11.925 * * * [progress]: generating rewritten candidates
11.925 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
11.925 * * * [progress]: generating series expansions
11.925 * * * * [progress]: [ 1 / 1 ] generating series at (2)
11.926 * [backup-simplify]: Simplify (fma (- y z) (- t x) x) into (fma (- y z) (- t x) x)
11.926 * [approximate]: Taking taylor expansion of (fma (- y z) (- t x) x) in (y z t x) around 0
11.926 * [taylor]: Taking taylor expansion of (fma (- y z) (- t x) x) in x
11.926 * [taylor]: Rewrote expression to (+ (* (- y z) (- t x)) x)
11.926 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in x
11.926 * [taylor]: Taking taylor expansion of (- y z) in x
11.926 * [taylor]: Taking taylor expansion of y in x
11.926 * [backup-simplify]: Simplify y into y
11.926 * [taylor]: Taking taylor expansion of z in x
11.926 * [backup-simplify]: Simplify z into z
11.926 * [taylor]: Taking taylor expansion of (- t x) in x
11.926 * [taylor]: Taking taylor expansion of t in x
11.926 * [backup-simplify]: Simplify t into t
11.926 * [taylor]: Taking taylor expansion of x in x
11.926 * [backup-simplify]: Simplify 0 into 0
11.926 * [backup-simplify]: Simplify 1 into 1
11.926 * [taylor]: Taking taylor expansion of x in x
11.926 * [backup-simplify]: Simplify 0 into 0
11.926 * [backup-simplify]: Simplify 1 into 1
11.926 * [taylor]: Taking taylor expansion of (fma (- y z) (- t x) x) in t
11.926 * [taylor]: Rewrote expression to (+ (* (- y z) (- t x)) x)
11.926 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in t
11.926 * [taylor]: Taking taylor expansion of (- y z) in t
11.926 * [taylor]: Taking taylor expansion of y in t
11.926 * [backup-simplify]: Simplify y into y
11.926 * [taylor]: Taking taylor expansion of z in t
11.926 * [backup-simplify]: Simplify z into z
11.926 * [taylor]: Taking taylor expansion of (- t x) in t
11.926 * [taylor]: Taking taylor expansion of t in t
11.926 * [backup-simplify]: Simplify 0 into 0
11.926 * [backup-simplify]: Simplify 1 into 1
11.926 * [taylor]: Taking taylor expansion of x in t
11.926 * [backup-simplify]: Simplify x into x
11.926 * [taylor]: Taking taylor expansion of x in t
11.926 * [backup-simplify]: Simplify x into x
11.926 * [taylor]: Taking taylor expansion of (fma (- y z) (- t x) x) in z
11.926 * [taylor]: Rewrote expression to (+ (* (- y z) (- t x)) x)
11.926 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in z
11.926 * [taylor]: Taking taylor expansion of (- y z) in z
11.926 * [taylor]: Taking taylor expansion of y in z
11.926 * [backup-simplify]: Simplify y into y
11.926 * [taylor]: Taking taylor expansion of z in z
11.926 * [backup-simplify]: Simplify 0 into 0
11.926 * [backup-simplify]: Simplify 1 into 1
11.927 * [taylor]: Taking taylor expansion of (- t x) in z
11.927 * [taylor]: Taking taylor expansion of t in z
11.927 * [backup-simplify]: Simplify t into t
11.927 * [taylor]: Taking taylor expansion of x in z
11.927 * [backup-simplify]: Simplify x into x
11.927 * [taylor]: Taking taylor expansion of x in z
11.927 * [backup-simplify]: Simplify x into x
11.927 * [taylor]: Taking taylor expansion of (fma (- y z) (- t x) x) in y
11.927 * [taylor]: Rewrote expression to (+ (* (- y z) (- t x)) x)
11.927 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in y
11.927 * [taylor]: Taking taylor expansion of (- y z) in y
11.927 * [taylor]: Taking taylor expansion of y in y
11.927 * [backup-simplify]: Simplify 0 into 0
11.927 * [backup-simplify]: Simplify 1 into 1
11.927 * [taylor]: Taking taylor expansion of z in y
11.927 * [backup-simplify]: Simplify z into z
11.927 * [taylor]: Taking taylor expansion of (- t x) in y
11.927 * [taylor]: Taking taylor expansion of t in y
11.927 * [backup-simplify]: Simplify t into t
11.927 * [taylor]: Taking taylor expansion of x in y
11.927 * [backup-simplify]: Simplify x into x
11.927 * [taylor]: Taking taylor expansion of x in y
11.927 * [backup-simplify]: Simplify x into x
11.927 * [taylor]: Taking taylor expansion of (fma (- y z) (- t x) x) in y
11.927 * [taylor]: Rewrote expression to (+ (* (- y z) (- t x)) x)
11.927 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in y
11.927 * [taylor]: Taking taylor expansion of (- y z) in y
11.927 * [taylor]: Taking taylor expansion of y in y
11.927 * [backup-simplify]: Simplify 0 into 0
11.927 * [backup-simplify]: Simplify 1 into 1
11.927 * [taylor]: Taking taylor expansion of z in y
11.927 * [backup-simplify]: Simplify z into z
11.927 * [taylor]: Taking taylor expansion of (- t x) in y
11.927 * [taylor]: Taking taylor expansion of t in y
11.927 * [backup-simplify]: Simplify t into t
11.927 * [taylor]: Taking taylor expansion of x in y
11.927 * [backup-simplify]: Simplify x into x
11.927 * [taylor]: Taking taylor expansion of x in y
11.927 * [backup-simplify]: Simplify x into x
11.927 * [backup-simplify]: Simplify (- z) into (- z)
11.927 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
11.927 * [backup-simplify]: Simplify (- x) into (- x)
11.927 * [backup-simplify]: Simplify (+ t (- x)) into (- t x)
11.928 * [backup-simplify]: Simplify (* (- z) (- t x)) into (* -1 (* z (- t x)))
11.928 * [backup-simplify]: Simplify (+ (* -1 (* z (- t x))) x) into (- (+ (* x z) x) (* t z))
11.928 * [taylor]: Taking taylor expansion of (- (+ (* x z) x) (* t z)) in z
11.928 * [taylor]: Taking taylor expansion of (+ (* x z) x) in z
11.928 * [taylor]: Taking taylor expansion of (* x z) in z
11.928 * [taylor]: Taking taylor expansion of x in z
11.928 * [backup-simplify]: Simplify x into x
11.928 * [taylor]: Taking taylor expansion of z in z
11.928 * [backup-simplify]: Simplify 0 into 0
11.928 * [backup-simplify]: Simplify 1 into 1
11.928 * [taylor]: Taking taylor expansion of x in z
11.928 * [backup-simplify]: Simplify x into x
11.928 * [taylor]: Taking taylor expansion of (* t z) in z
11.928 * [taylor]: Taking taylor expansion of t in z
11.928 * [backup-simplify]: Simplify t into t
11.928 * [taylor]: Taking taylor expansion of z in z
11.928 * [backup-simplify]: Simplify 0 into 0
11.928 * [backup-simplify]: Simplify 1 into 1
11.928 * [backup-simplify]: Simplify (* x 0) into 0
11.928 * [backup-simplify]: Simplify (+ 0 x) into x
11.928 * [backup-simplify]: Simplify (* t 0) into 0
11.929 * [backup-simplify]: Simplify (- 0) into 0
11.929 * [backup-simplify]: Simplify (+ x 0) into x
11.929 * [taylor]: Taking taylor expansion of x in t
11.929 * [backup-simplify]: Simplify x into x
11.929 * [taylor]: Taking taylor expansion of x in x
11.929 * [backup-simplify]: Simplify 0 into 0
11.929 * [backup-simplify]: Simplify 1 into 1
11.929 * [backup-simplify]: Simplify 0 into 0
11.929 * [backup-simplify]: Simplify (- 0) into 0
11.929 * [backup-simplify]: Simplify (+ 0 0) into 0
11.930 * [backup-simplify]: Simplify (- 0) into 0
11.930 * [backup-simplify]: Simplify (+ 1 0) into 1
11.930 * [backup-simplify]: Simplify (+ (* (- z) 0) (* 1 (- t x))) into (- t x)
11.930 * [backup-simplify]: Simplify (+ (- t x) 0) into (- t x)
11.930 * [taylor]: Taking taylor expansion of (- t x) in z
11.930 * [taylor]: Taking taylor expansion of t in z
11.930 * [backup-simplify]: Simplify t into t
11.930 * [taylor]: Taking taylor expansion of x in z
11.930 * [backup-simplify]: Simplify x into x
11.930 * [backup-simplify]: Simplify (- x) into (- x)
11.930 * [backup-simplify]: Simplify (+ t (- x)) into (- t x)
11.930 * [taylor]: Taking taylor expansion of (- t x) in t
11.930 * [taylor]: Taking taylor expansion of t in t
11.930 * [backup-simplify]: Simplify 0 into 0
11.930 * [backup-simplify]: Simplify 1 into 1
11.930 * [taylor]: Taking taylor expansion of x in t
11.930 * [backup-simplify]: Simplify x into x
11.930 * [backup-simplify]: Simplify (- x) into (- x)
11.930 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
11.930 * [taylor]: Taking taylor expansion of (- x) in x
11.930 * [taylor]: Taking taylor expansion of x in x
11.930 * [backup-simplify]: Simplify 0 into 0
11.930 * [backup-simplify]: Simplify 1 into 1
11.931 * [backup-simplify]: Simplify (- 0) into 0
11.931 * [backup-simplify]: Simplify 0 into 0
11.931 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
11.931 * [backup-simplify]: Simplify (+ x 0) into x
11.931 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
11.931 * [backup-simplify]: Simplify (- t) into (- t)
11.931 * [backup-simplify]: Simplify (+ x (- t)) into (- x t)
11.931 * [taylor]: Taking taylor expansion of (- x t) in t
11.931 * [taylor]: Taking taylor expansion of x in t
11.931 * [backup-simplify]: Simplify x into x
11.931 * [taylor]: Taking taylor expansion of t in t
11.931 * [backup-simplify]: Simplify 0 into 0
11.932 * [backup-simplify]: Simplify 1 into 1
11.932 * [backup-simplify]: Simplify (- 0) into 0
11.932 * [backup-simplify]: Simplify (+ x 0) into x
11.932 * [taylor]: Taking taylor expansion of x in x
11.932 * [backup-simplify]: Simplify 0 into 0
11.932 * [backup-simplify]: Simplify 1 into 1
11.932 * [backup-simplify]: Simplify 0 into 0
11.932 * [taylor]: Taking taylor expansion of 0 in x
11.932 * [backup-simplify]: Simplify 0 into 0
11.932 * [backup-simplify]: Simplify 0 into 0
11.932 * [backup-simplify]: Simplify 1 into 1
11.932 * [backup-simplify]: Simplify (- 0) into 0
11.932 * [backup-simplify]: Simplify (+ 0 0) into 0
11.933 * [backup-simplify]: Simplify (- 0) into 0
11.933 * [backup-simplify]: Simplify (+ 0 0) into 0
11.933 * [backup-simplify]: Simplify (+ (* (- z) 0) (+ (* 1 0) (* 0 (- t x)))) into 0
11.934 * [backup-simplify]: Simplify (+ 0 0) into 0
11.934 * [taylor]: Taking taylor expansion of 0 in z
11.934 * [backup-simplify]: Simplify 0 into 0
11.934 * [taylor]: Taking taylor expansion of 0 in t
11.934 * [backup-simplify]: Simplify 0 into 0
11.934 * [taylor]: Taking taylor expansion of 0 in x
11.934 * [backup-simplify]: Simplify 0 into 0
11.934 * [backup-simplify]: Simplify 0 into 0
11.934 * [backup-simplify]: Simplify (- 0) into 0
11.934 * [backup-simplify]: Simplify (+ 0 0) into 0
11.934 * [taylor]: Taking taylor expansion of 0 in t
11.934 * [backup-simplify]: Simplify 0 into 0
11.934 * [taylor]: Taking taylor expansion of 0 in x
11.934 * [backup-simplify]: Simplify 0 into 0
11.934 * [backup-simplify]: Simplify 0 into 0
11.935 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
11.935 * [backup-simplify]: Simplify (+ 0 0) into 0
11.935 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 1) (* 0 0))) into 0
11.935 * [backup-simplify]: Simplify (- 0) into 0
11.936 * [backup-simplify]: Simplify (+ 0 0) into 0
11.936 * [taylor]: Taking taylor expansion of 0 in t
11.936 * [backup-simplify]: Simplify 0 into 0
11.936 * [taylor]: Taking taylor expansion of 0 in x
11.936 * [backup-simplify]: Simplify 0 into 0
11.936 * [backup-simplify]: Simplify 0 into 0
11.936 * [backup-simplify]: Simplify (- 0) into 0
11.936 * [backup-simplify]: Simplify (+ 1 0) into 1
11.936 * [taylor]: Taking taylor expansion of 1 in x
11.936 * [backup-simplify]: Simplify 1 into 1
11.936 * [backup-simplify]: Simplify 1 into 1
11.937 * [backup-simplify]: Simplify (- 1) into -1
11.937 * [backup-simplify]: Simplify (+ 0 -1) into -1
11.937 * [taylor]: Taking taylor expansion of -1 in x
11.937 * [backup-simplify]: Simplify -1 into -1
11.937 * [backup-simplify]: Simplify -1 into -1
11.937 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* t (* z 1)))) (+ (* 1 (* 1 (* t (* 1 y)))) (* 1 (* x (* 1 (* 1 1)))))) into (- (+ (* t y) x) (* t z))
11.938 * [backup-simplify]: Simplify (fma (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x)) (/ 1 x)) into (fma (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x)) (/ 1 x))
11.938 * [approximate]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x)) (/ 1 x)) in (y z t x) around 0
11.938 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x)) (/ 1 x)) in x
11.938 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) (/ 1 x))
11.938 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in x
11.938 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
11.938 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.938 * [taylor]: Taking taylor expansion of y in x
11.938 * [backup-simplify]: Simplify y into y
11.938 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.938 * [taylor]: Taking taylor expansion of (/ 1 z) in x
11.938 * [taylor]: Taking taylor expansion of z in x
11.938 * [backup-simplify]: Simplify z into z
11.938 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
11.938 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in x
11.938 * [taylor]: Taking taylor expansion of (/ 1 t) in x
11.938 * [taylor]: Taking taylor expansion of t in x
11.938 * [backup-simplify]: Simplify t into t
11.938 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
11.938 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.938 * [taylor]: Taking taylor expansion of x in x
11.938 * [backup-simplify]: Simplify 0 into 0
11.938 * [backup-simplify]: Simplify 1 into 1
11.939 * [backup-simplify]: Simplify (/ 1 1) into 1
11.939 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.939 * [taylor]: Taking taylor expansion of x in x
11.939 * [backup-simplify]: Simplify 0 into 0
11.939 * [backup-simplify]: Simplify 1 into 1
11.939 * [backup-simplify]: Simplify (/ 1 1) into 1
11.939 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x)) (/ 1 x)) in t
11.939 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) (/ 1 x))
11.939 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in t
11.939 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t
11.939 * [taylor]: Taking taylor expansion of (/ 1 y) in t
11.939 * [taylor]: Taking taylor expansion of y in t
11.939 * [backup-simplify]: Simplify y into y
11.939 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.939 * [taylor]: Taking taylor expansion of (/ 1 z) in t
11.939 * [taylor]: Taking taylor expansion of z in t
11.939 * [backup-simplify]: Simplify z into z
11.939 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
11.939 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
11.939 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.939 * [taylor]: Taking taylor expansion of t in t
11.939 * [backup-simplify]: Simplify 0 into 0
11.939 * [backup-simplify]: Simplify 1 into 1
11.940 * [backup-simplify]: Simplify (/ 1 1) into 1
11.940 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.940 * [taylor]: Taking taylor expansion of x in t
11.940 * [backup-simplify]: Simplify x into x
11.940 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.940 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.940 * [taylor]: Taking taylor expansion of x in t
11.940 * [backup-simplify]: Simplify x into x
11.940 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.940 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x)) (/ 1 x)) in z
11.940 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) (/ 1 x))
11.940 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in z
11.940 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
11.940 * [taylor]: Taking taylor expansion of (/ 1 y) in z
11.940 * [taylor]: Taking taylor expansion of y in z
11.940 * [backup-simplify]: Simplify y into y
11.940 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.940 * [taylor]: Taking taylor expansion of (/ 1 z) in z
11.940 * [taylor]: Taking taylor expansion of z in z
11.940 * [backup-simplify]: Simplify 0 into 0
11.940 * [backup-simplify]: Simplify 1 into 1
11.940 * [backup-simplify]: Simplify (/ 1 1) into 1
11.941 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in z
11.941 * [taylor]: Taking taylor expansion of (/ 1 t) in z
11.941 * [taylor]: Taking taylor expansion of t in z
11.941 * [backup-simplify]: Simplify t into t
11.941 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
11.941 * [taylor]: Taking taylor expansion of (/ 1 x) in z
11.941 * [taylor]: Taking taylor expansion of x in z
11.941 * [backup-simplify]: Simplify x into x
11.941 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.941 * [taylor]: Taking taylor expansion of (/ 1 x) in z
11.941 * [taylor]: Taking taylor expansion of x in z
11.941 * [backup-simplify]: Simplify x into x
11.941 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.941 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x)) (/ 1 x)) in y
11.941 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) (/ 1 x))
11.941 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in y
11.941 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
11.941 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.941 * [taylor]: Taking taylor expansion of y in y
11.941 * [backup-simplify]: Simplify 0 into 0
11.941 * [backup-simplify]: Simplify 1 into 1
11.941 * [backup-simplify]: Simplify (/ 1 1) into 1
11.941 * [taylor]: Taking taylor expansion of (/ 1 z) in y
11.941 * [taylor]: Taking taylor expansion of z in y
11.941 * [backup-simplify]: Simplify z into z
11.941 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
11.941 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in y
11.941 * [taylor]: Taking taylor expansion of (/ 1 t) in y
11.941 * [taylor]: Taking taylor expansion of t in y
11.942 * [backup-simplify]: Simplify t into t
11.942 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
11.942 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.942 * [taylor]: Taking taylor expansion of x in y
11.942 * [backup-simplify]: Simplify x into x
11.942 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.942 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.942 * [taylor]: Taking taylor expansion of x in y
11.942 * [backup-simplify]: Simplify x into x
11.942 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.942 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x)) (/ 1 x)) in y
11.942 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) (/ 1 x))
11.942 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in y
11.942 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
11.942 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.942 * [taylor]: Taking taylor expansion of y in y
11.942 * [backup-simplify]: Simplify 0 into 0
11.942 * [backup-simplify]: Simplify 1 into 1
11.943 * [backup-simplify]: Simplify (/ 1 1) into 1
11.943 * [taylor]: Taking taylor expansion of (/ 1 z) in y
11.943 * [taylor]: Taking taylor expansion of z in y
11.943 * [backup-simplify]: Simplify z into z
11.943 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
11.943 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in y
11.943 * [taylor]: Taking taylor expansion of (/ 1 t) in y
11.943 * [taylor]: Taking taylor expansion of t in y
11.943 * [backup-simplify]: Simplify t into t
11.943 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
11.943 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.943 * [taylor]: Taking taylor expansion of x in y
11.943 * [backup-simplify]: Simplify x into x
11.943 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.943 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.943 * [taylor]: Taking taylor expansion of x in y
11.943 * [backup-simplify]: Simplify x into x
11.943 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.943 * [backup-simplify]: Simplify (+ 1 0) into 1
11.943 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
11.944 * [backup-simplify]: Simplify (+ (/ 1 t) (- (/ 1 x))) into (- (/ 1 t) (/ 1 x))
11.944 * [backup-simplify]: Simplify (* 1 (- (/ 1 t) (/ 1 x))) into (- (/ 1 t) (/ 1 x))
11.944 * [backup-simplify]: Simplify (+ (- (/ 1 t) (/ 1 x)) 0) into (- (/ 1 t) (/ 1 x))
11.944 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in z
11.944 * [taylor]: Taking taylor expansion of (/ 1 t) in z
11.944 * [taylor]: Taking taylor expansion of t in z
11.944 * [backup-simplify]: Simplify t into t
11.944 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
11.944 * [taylor]: Taking taylor expansion of (/ 1 x) in z
11.944 * [taylor]: Taking taylor expansion of x in z
11.944 * [backup-simplify]: Simplify x into x
11.944 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.944 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
11.944 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
11.944 * [backup-simplify]: Simplify (- 0) into 0
11.945 * [backup-simplify]: Simplify (+ 0 0) into 0
11.945 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.945 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
11.945 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
11.946 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 z)) (- (/ 1 t) (/ 1 x)))) into (- (/ 1 (* x z)) (/ 1 (* t z)))
11.946 * [backup-simplify]: Simplify (+ (- (/ 1 (* x z)) (/ 1 (* t z))) (/ 1 x)) into (- (+ (/ 1 (* x z)) (/ 1 x)) (/ 1 (* t z)))
11.946 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 x)) (/ 1 (* t z))) in z
11.946 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in z
11.946 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
11.946 * [taylor]: Taking taylor expansion of (* x z) in z
11.946 * [taylor]: Taking taylor expansion of x in z
11.946 * [backup-simplify]: Simplify x into x
11.946 * [taylor]: Taking taylor expansion of z in z
11.946 * [backup-simplify]: Simplify 0 into 0
11.946 * [backup-simplify]: Simplify 1 into 1
11.946 * [backup-simplify]: Simplify (* x 0) into 0
11.946 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
11.946 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.946 * [taylor]: Taking taylor expansion of (/ 1 x) in z
11.946 * [taylor]: Taking taylor expansion of x in z
11.946 * [backup-simplify]: Simplify x into x
11.946 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.947 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
11.947 * [taylor]: Taking taylor expansion of (* t z) in z
11.947 * [taylor]: Taking taylor expansion of t in z
11.947 * [backup-simplify]: Simplify t into t
11.947 * [taylor]: Taking taylor expansion of z in z
11.947 * [backup-simplify]: Simplify 0 into 0
11.947 * [backup-simplify]: Simplify 1 into 1
11.947 * [backup-simplify]: Simplify (* t 0) into 0
11.947 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
11.947 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
11.947 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
11.947 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
11.947 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 t))) into (- (/ 1 x) (/ 1 t))
11.947 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
11.947 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.947 * [taylor]: Taking taylor expansion of x in t
11.947 * [backup-simplify]: Simplify x into x
11.947 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.947 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.947 * [taylor]: Taking taylor expansion of t in t
11.947 * [backup-simplify]: Simplify 0 into 0
11.947 * [backup-simplify]: Simplify 1 into 1
11.948 * [backup-simplify]: Simplify (/ 1 1) into 1
11.948 * [backup-simplify]: Simplify (- 1) into -1
11.948 * [backup-simplify]: Simplify (+ 0 -1) into -1
11.948 * [taylor]: Taking taylor expansion of -1 in x
11.948 * [backup-simplify]: Simplify -1 into -1
11.948 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
11.948 * [backup-simplify]: Simplify (+ (/ 1 t) (- (/ 1 x))) into (- (/ 1 t) (/ 1 x))
11.948 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
11.948 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.948 * [taylor]: Taking taylor expansion of t in t
11.948 * [backup-simplify]: Simplify 0 into 0
11.948 * [backup-simplify]: Simplify 1 into 1
11.949 * [backup-simplify]: Simplify (/ 1 1) into 1
11.949 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.949 * [taylor]: Taking taylor expansion of x in t
11.949 * [backup-simplify]: Simplify x into x
11.949 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.949 * [backup-simplify]: Simplify (+ 1 0) into 1
11.949 * [taylor]: Taking taylor expansion of 1 in x
11.949 * [backup-simplify]: Simplify 1 into 1
11.949 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
11.949 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
11.949 * [backup-simplify]: Simplify (- 0) into 0
11.950 * [backup-simplify]: Simplify (+ 0 0) into 0
11.950 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.950 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
11.951 * [backup-simplify]: Simplify (- 0) into 0
11.951 * [backup-simplify]: Simplify (+ 0 0) into 0
11.951 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 z)) 0) (* 0 (- (/ 1 t) (/ 1 x))))) into 0
11.951 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
11.951 * [backup-simplify]: Simplify (+ 0 0) into 0
11.951 * [taylor]: Taking taylor expansion of 0 in z
11.951 * [backup-simplify]: Simplify 0 into 0
11.952 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
11.952 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
11.952 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x)
11.952 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 1) (* 0 0))) into 0
11.953 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
11.953 * [backup-simplify]: Simplify (- 0) into 0
11.953 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
11.953 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.953 * [taylor]: Taking taylor expansion of x in t
11.953 * [backup-simplify]: Simplify x into x
11.953 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.953 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
11.953 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
11.953 * [backup-simplify]: Simplify (- 0) into 0
11.954 * [backup-simplify]: Simplify (+ 0 0) into 0
11.954 * [taylor]: Taking taylor expansion of 0 in t
11.954 * [backup-simplify]: Simplify 0 into 0
11.954 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.954 * [backup-simplify]: Simplify (- 0) into 0
11.954 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
11.954 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.954 * [taylor]: Taking taylor expansion of x in x
11.954 * [backup-simplify]: Simplify 0 into 0
11.954 * [backup-simplify]: Simplify 1 into 1
11.955 * [backup-simplify]: Simplify (/ 1 1) into 1
11.955 * [backup-simplify]: Simplify 1 into 1
11.955 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.955 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
11.955 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x))
11.955 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
11.955 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.955 * [taylor]: Taking taylor expansion of x in x
11.955 * [backup-simplify]: Simplify 0 into 0
11.955 * [backup-simplify]: Simplify 1 into 1
11.956 * [backup-simplify]: Simplify (/ 1 1) into 1
11.956 * [backup-simplify]: Simplify (- 1) into -1
11.956 * [backup-simplify]: Simplify -1 into -1
11.956 * [backup-simplify]: Simplify -1 into -1
11.956 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* (/ 1 (/ 1 t)) (* (/ 1 (/ 1 z)) 1)))) (+ (* -1 (* (/ 1 (/ 1 x)) (* 1 (* 1 (/ 1 (/ 1 y)))))) (* 1 (* (/ 1 (/ 1 x)) (* 1 (* (/ 1 (/ 1 z)) 1)))))) into (- (* x z) (+ (* t z) (* x y)))
11.957 * [backup-simplify]: Simplify (fma (- (/ 1 (- y)) (/ 1 (- z))) (- (/ 1 (- t)) (/ 1 (- x))) (/ 1 (- x))) into (fma (- (/ 1 z) (/ 1 y)) (- (/ 1 x) (/ 1 t)) (/ -1 x))
11.957 * [approximate]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 y)) (- (/ 1 x) (/ 1 t)) (/ -1 x)) in (y z t x) around 0
11.957 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 y)) (- (/ 1 x) (/ 1 t)) (/ -1 x)) in x
11.957 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 y)) (- (/ 1 x) (/ 1 t))) (/ -1 x))
11.957 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 x) (/ 1 t))) in x
11.957 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
11.957 * [taylor]: Taking taylor expansion of (/ 1 z) in x
11.957 * [taylor]: Taking taylor expansion of z in x
11.957 * [backup-simplify]: Simplify z into z
11.957 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
11.957 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.957 * [taylor]: Taking taylor expansion of y in x
11.957 * [backup-simplify]: Simplify y into y
11.957 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.957 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in x
11.957 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.957 * [taylor]: Taking taylor expansion of x in x
11.957 * [backup-simplify]: Simplify 0 into 0
11.957 * [backup-simplify]: Simplify 1 into 1
11.957 * [backup-simplify]: Simplify (/ 1 1) into 1
11.957 * [taylor]: Taking taylor expansion of (/ 1 t) in x
11.957 * [taylor]: Taking taylor expansion of t in x
11.957 * [backup-simplify]: Simplify t into t
11.958 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
11.958 * [taylor]: Taking taylor expansion of (/ -1 x) in x
11.958 * [taylor]: Taking taylor expansion of -1 in x
11.958 * [backup-simplify]: Simplify -1 into -1
11.958 * [taylor]: Taking taylor expansion of x in x
11.958 * [backup-simplify]: Simplify 0 into 0
11.958 * [backup-simplify]: Simplify 1 into 1
11.958 * [backup-simplify]: Simplify (/ -1 1) into -1
11.958 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 y)) (- (/ 1 x) (/ 1 t)) (/ -1 x)) in t
11.958 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 y)) (- (/ 1 x) (/ 1 t))) (/ -1 x))
11.958 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 x) (/ 1 t))) in t
11.958 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
11.958 * [taylor]: Taking taylor expansion of (/ 1 z) in t
11.958 * [taylor]: Taking taylor expansion of z in t
11.958 * [backup-simplify]: Simplify z into z
11.958 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
11.958 * [taylor]: Taking taylor expansion of (/ 1 y) in t
11.958 * [taylor]: Taking taylor expansion of y in t
11.958 * [backup-simplify]: Simplify y into y
11.958 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.958 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
11.958 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.958 * [taylor]: Taking taylor expansion of x in t
11.958 * [backup-simplify]: Simplify x into x
11.958 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.959 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.959 * [taylor]: Taking taylor expansion of t in t
11.959 * [backup-simplify]: Simplify 0 into 0
11.959 * [backup-simplify]: Simplify 1 into 1
11.959 * [backup-simplify]: Simplify (/ 1 1) into 1
11.959 * [taylor]: Taking taylor expansion of (/ -1 x) in t
11.959 * [taylor]: Taking taylor expansion of -1 in t
11.959 * [backup-simplify]: Simplify -1 into -1
11.959 * [taylor]: Taking taylor expansion of x in t
11.959 * [backup-simplify]: Simplify x into x
11.959 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
11.959 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 y)) (- (/ 1 x) (/ 1 t)) (/ -1 x)) in z
11.959 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 y)) (- (/ 1 x) (/ 1 t))) (/ -1 x))
11.959 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 x) (/ 1 t))) in z
11.959 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
11.959 * [taylor]: Taking taylor expansion of (/ 1 z) in z
11.959 * [taylor]: Taking taylor expansion of z in z
11.959 * [backup-simplify]: Simplify 0 into 0
11.959 * [backup-simplify]: Simplify 1 into 1
11.960 * [backup-simplify]: Simplify (/ 1 1) into 1
11.960 * [taylor]: Taking taylor expansion of (/ 1 y) in z
11.960 * [taylor]: Taking taylor expansion of y in z
11.960 * [backup-simplify]: Simplify y into y
11.960 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.960 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in z
11.960 * [taylor]: Taking taylor expansion of (/ 1 x) in z
11.960 * [taylor]: Taking taylor expansion of x in z
11.960 * [backup-simplify]: Simplify x into x
11.960 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.960 * [taylor]: Taking taylor expansion of (/ 1 t) in z
11.960 * [taylor]: Taking taylor expansion of t in z
11.960 * [backup-simplify]: Simplify t into t
11.960 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
11.960 * [taylor]: Taking taylor expansion of (/ -1 x) in z
11.960 * [taylor]: Taking taylor expansion of -1 in z
11.960 * [backup-simplify]: Simplify -1 into -1
11.960 * [taylor]: Taking taylor expansion of x in z
11.960 * [backup-simplify]: Simplify x into x
11.960 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
11.960 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 y)) (- (/ 1 x) (/ 1 t)) (/ -1 x)) in y
11.960 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 y)) (- (/ 1 x) (/ 1 t))) (/ -1 x))
11.960 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 x) (/ 1 t))) in y
11.960 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
11.960 * [taylor]: Taking taylor expansion of (/ 1 z) in y
11.960 * [taylor]: Taking taylor expansion of z in y
11.960 * [backup-simplify]: Simplify z into z
11.960 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
11.960 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.960 * [taylor]: Taking taylor expansion of y in y
11.960 * [backup-simplify]: Simplify 0 into 0
11.960 * [backup-simplify]: Simplify 1 into 1
11.961 * [backup-simplify]: Simplify (/ 1 1) into 1
11.961 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in y
11.961 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.961 * [taylor]: Taking taylor expansion of x in y
11.961 * [backup-simplify]: Simplify x into x
11.961 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.961 * [taylor]: Taking taylor expansion of (/ 1 t) in y
11.961 * [taylor]: Taking taylor expansion of t in y
11.961 * [backup-simplify]: Simplify t into t
11.961 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
11.961 * [taylor]: Taking taylor expansion of (/ -1 x) in y
11.961 * [taylor]: Taking taylor expansion of -1 in y
11.961 * [backup-simplify]: Simplify -1 into -1
11.961 * [taylor]: Taking taylor expansion of x in y
11.961 * [backup-simplify]: Simplify x into x
11.961 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
11.961 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 y)) (- (/ 1 x) (/ 1 t)) (/ -1 x)) in y
11.961 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 y)) (- (/ 1 x) (/ 1 t))) (/ -1 x))
11.961 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 x) (/ 1 t))) in y
11.961 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
11.961 * [taylor]: Taking taylor expansion of (/ 1 z) in y
11.961 * [taylor]: Taking taylor expansion of z in y
11.961 * [backup-simplify]: Simplify z into z
11.961 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
11.961 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.961 * [taylor]: Taking taylor expansion of y in y
11.961 * [backup-simplify]: Simplify 0 into 0
11.961 * [backup-simplify]: Simplify 1 into 1
11.962 * [backup-simplify]: Simplify (/ 1 1) into 1
11.962 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in y
11.962 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.962 * [taylor]: Taking taylor expansion of x in y
11.962 * [backup-simplify]: Simplify x into x
11.962 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.962 * [taylor]: Taking taylor expansion of (/ 1 t) in y
11.962 * [taylor]: Taking taylor expansion of t in y
11.962 * [backup-simplify]: Simplify t into t
11.962 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
11.962 * [taylor]: Taking taylor expansion of (/ -1 x) in y
11.962 * [taylor]: Taking taylor expansion of -1 in y
11.962 * [backup-simplify]: Simplify -1 into -1
11.962 * [taylor]: Taking taylor expansion of x in y
11.962 * [backup-simplify]: Simplify x into x
11.962 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
11.962 * [backup-simplify]: Simplify (- 1) into -1
11.963 * [backup-simplify]: Simplify (+ 0 -1) into -1
11.963 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
11.963 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 t))) into (- (/ 1 x) (/ 1 t))
11.963 * [backup-simplify]: Simplify (* -1 (- (/ 1 x) (/ 1 t))) into (* -1 (- (/ 1 x) (/ 1 t)))
11.963 * [backup-simplify]: Simplify (+ (* -1 (- (/ 1 x) (/ 1 t))) 0) into (- (/ 1 t) (/ 1 x))
11.963 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in z
11.963 * [taylor]: Taking taylor expansion of (/ 1 t) in z
11.963 * [taylor]: Taking taylor expansion of t in z
11.963 * [backup-simplify]: Simplify t into t
11.963 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
11.963 * [taylor]: Taking taylor expansion of (/ 1 x) in z
11.963 * [taylor]: Taking taylor expansion of x in z
11.963 * [backup-simplify]: Simplify x into x
11.963 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.963 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
11.963 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
11.964 * [backup-simplify]: Simplify (- 0) into 0
11.964 * [backup-simplify]: Simplify (+ 0 0) into 0
11.964 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.965 * [backup-simplify]: Simplify (- 0) into 0
11.965 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
11.965 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 z) (- (/ 1 x) (/ 1 t)))) into (- (/ 1 (* x z)) (/ 1 (* t z)))
11.965 * [backup-simplify]: Simplify (+ (- (/ 1 (* x z)) (/ 1 (* t z))) (/ -1 x)) into (- (/ 1 (* x z)) (+ (/ 1 (* t z)) (/ 1 x)))
11.965 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (+ (/ 1 (* t z)) (/ 1 x))) in z
11.965 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
11.965 * [taylor]: Taking taylor expansion of (* x z) in z
11.965 * [taylor]: Taking taylor expansion of x in z
11.965 * [backup-simplify]: Simplify x into x
11.965 * [taylor]: Taking taylor expansion of z in z
11.965 * [backup-simplify]: Simplify 0 into 0
11.965 * [backup-simplify]: Simplify 1 into 1
11.965 * [backup-simplify]: Simplify (* x 0) into 0
11.966 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
11.966 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.966 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 x)) in z
11.966 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
11.966 * [taylor]: Taking taylor expansion of (* t z) in z
11.966 * [taylor]: Taking taylor expansion of t in z
11.966 * [backup-simplify]: Simplify t into t
11.966 * [taylor]: Taking taylor expansion of z in z
11.966 * [backup-simplify]: Simplify 0 into 0
11.966 * [backup-simplify]: Simplify 1 into 1
11.966 * [backup-simplify]: Simplify (* t 0) into 0
11.966 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
11.966 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
11.966 * [taylor]: Taking taylor expansion of (/ 1 x) in z
11.966 * [taylor]: Taking taylor expansion of x in z
11.966 * [backup-simplify]: Simplify x into x
11.966 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.966 * [backup-simplify]: Simplify (+ (/ 1 t) 0) into (/ 1 t)
11.966 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
11.966 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 t))) into (- (/ 1 x) (/ 1 t))
11.966 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
11.966 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.967 * [taylor]: Taking taylor expansion of x in t
11.967 * [backup-simplify]: Simplify x into x
11.967 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.967 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.967 * [taylor]: Taking taylor expansion of t in t
11.967 * [backup-simplify]: Simplify 0 into 0
11.967 * [backup-simplify]: Simplify 1 into 1
11.967 * [backup-simplify]: Simplify (/ 1 1) into 1
11.967 * [backup-simplify]: Simplify (- 1) into -1
11.967 * [backup-simplify]: Simplify (+ 0 -1) into -1
11.967 * [taylor]: Taking taylor expansion of -1 in x
11.967 * [backup-simplify]: Simplify -1 into -1
11.967 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
11.968 * [backup-simplify]: Simplify (+ (/ 1 t) (- (/ 1 x))) into (- (/ 1 t) (/ 1 x))
11.968 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
11.968 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.968 * [taylor]: Taking taylor expansion of t in t
11.968 * [backup-simplify]: Simplify 0 into 0
11.968 * [backup-simplify]: Simplify 1 into 1
11.968 * [backup-simplify]: Simplify (/ 1 1) into 1
11.968 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.968 * [taylor]: Taking taylor expansion of x in t
11.968 * [backup-simplify]: Simplify x into x
11.968 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.968 * [backup-simplify]: Simplify (+ 1 0) into 1
11.968 * [taylor]: Taking taylor expansion of 1 in x
11.968 * [backup-simplify]: Simplify 1 into 1
11.968 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
11.969 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
11.969 * [backup-simplify]: Simplify (- 0) into 0
11.969 * [backup-simplify]: Simplify (+ 0 0) into 0
11.969 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
11.970 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.970 * [backup-simplify]: Simplify (- 0) into 0
11.970 * [backup-simplify]: Simplify (+ 0 0) into 0
11.970 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 z) 0) (* 0 (- (/ 1 x) (/ 1 t))))) into 0
11.971 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
11.971 * [backup-simplify]: Simplify (+ 0 0) into 0
11.971 * [taylor]: Taking taylor expansion of 0 in z
11.971 * [backup-simplify]: Simplify 0 into 0
11.971 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
11.971 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
11.972 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 1) (* 0 0))) into 0
11.972 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
11.972 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x)
11.972 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
11.972 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x))
11.972 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in t
11.972 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.972 * [taylor]: Taking taylor expansion of x in t
11.972 * [backup-simplify]: Simplify x into x
11.972 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.972 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
11.972 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
11.973 * [backup-simplify]: Simplify (- 0) into 0
11.973 * [backup-simplify]: Simplify (+ 0 0) into 0
11.973 * [taylor]: Taking taylor expansion of 0 in t
11.973 * [backup-simplify]: Simplify 0 into 0
11.973 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.974 * [backup-simplify]: Simplify (- 0) into 0
11.974 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
11.974 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.974 * [taylor]: Taking taylor expansion of x in x
11.974 * [backup-simplify]: Simplify 0 into 0
11.974 * [backup-simplify]: Simplify 1 into 1
11.974 * [backup-simplify]: Simplify (/ 1 1) into 1
11.974 * [backup-simplify]: Simplify 1 into 1
11.974 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.975 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
11.975 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x))
11.975 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
11.975 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.975 * [taylor]: Taking taylor expansion of x in x
11.975 * [backup-simplify]: Simplify 0 into 0
11.975 * [backup-simplify]: Simplify 1 into 1
11.975 * [backup-simplify]: Simplify (/ 1 1) into 1
11.975 * [backup-simplify]: Simplify (- 1) into -1
11.975 * [backup-simplify]: Simplify -1 into -1
11.975 * [backup-simplify]: Simplify -1 into -1
11.976 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* (/ 1 (/ 1 (- t))) (* (/ 1 (/ 1 (- z))) 1)))) (+ (* -1 (* (/ 1 (/ 1 (- x))) (* 1 (* 1 (/ 1 (/ 1 (- y))))))) (* 1 (* (/ 1 (/ 1 (- x))) (* 1 (* (/ 1 (/ 1 (- z))) 1)))))) into (- (* x z) (+ (* t z) (* x y)))
11.976 * * * [progress]: simplifying candidates
11.976 * [simplify]: Simplifying:
  (expm1 (fma (- y z) (- t x) x))
  (log1p (fma (- y z) (- t x) x))
  (* (- y z) (- t x))
  (log (fma (- y z) (- t x) x))
  (exp (fma (- y z) (- t x) x))
  (* (cbrt (fma (- y z) (- t x) x)) (cbrt (fma (- y z) (- t x) x)))
  (cbrt (fma (- y z) (- t x) x))
  (* (* (fma (- y z) (- t x) x) (fma (- y z) (- t x) x)) (fma (- y z) (- t x) x))
  (sqrt (fma (- y z) (- t x) x))
  (sqrt (fma (- y z) (- t x) x))
  (- (+ (* t y) x) (* t z))
  (- (* x z) (+ (* t z) (* x y)))
  (- (* x z) (+ (* t z) (* x y)))
11.976 * * [simplify]: Extracting # 0 : cost  0
11.976 * * [simplify]: Extracting # 1 : cost  0
11.976 * * [simplify]: Extracting # 2 : cost  0
11.977 * * [simplify]: Extracting # 3 : cost  0
11.977 * * [simplify]: Extracting # 4 : cost  0
11.977 * * [simplify]: Extracting # 5 : cost  0
11.977 * * [simplify]: iteration  0 :  25  enodes  (cost  146 )
11.981 * * [simplify]: Extracting # 0 : cost  0
11.981 * * [simplify]: Extracting # 1 : cost  0
11.981 * * [simplify]: Extracting # 2 : cost  0
11.981 * * [simplify]: iteration  1 :  49  enodes  (cost  143 )
11.994 * * [simplify]: Extracting # 0 : cost  0
11.994 * * [simplify]: Extracting # 1 : cost  0
11.994 * * [simplify]: Extracting # 2 : cost  0
11.994 * * [simplify]: iteration  2 :  114  enodes  (cost  125 )
12.023 * * [simplify]: Extracting # 0 : cost  0
12.023 * * [simplify]: Extracting # 1 : cost  0
12.024 * * [simplify]: Extracting # 2 : cost  0
12.024 * * [simplify]: Extracting # 3 : cost  0
12.024 * * [simplify]: iteration  3 :  339  enodes  (cost  124 )
12.201 * * [simplify]: Extracting # 0 : cost  0
12.203 * * [simplify]: Extracting # 1 : cost  0
12.204 * * [simplify]: Extracting # 2 : cost  0
12.206 * * [simplify]: Extracting # 3 : cost  0
12.208 * * [simplify]: Extracting # 4 : cost  0
12.209 * * [simplify]: Extracting # 5 : cost  0
12.211 * * [simplify]: iteration  4 :  1523  enodes  (cost  123 )
12.718 * * [simplify]: Extracting # 0 : cost  0
12.723 * * [simplify]: Extracting # 1 : cost  0
12.736 * * [simplify]: Extracting # 2 : cost  0
12.743 * * [simplify]: Extracting # 3 : cost  0
12.750 * * [simplify]: Extracting # 4 : cost  0
12.756 * * [simplify]: iteration done:  5000  enodes  (cost  123 )
12.756 * [simplify]: Simplified to:
  (expm1 (fma (- y z) (- t x) x))
  (log1p (fma (- y z) (- t x) x))
  (* (- y z) (- t x))
  (log (fma (- y z) (- t x) x))
  (exp (fma (- y z) (- t x) x))
  (* (cbrt (fma (- y z) (- t x) x)) (cbrt (fma (- y z) (- t x) x)))
  (cbrt (fma (- y z) (- t x) x))
  (pow (fma (- y z) (- t x) x) 3)
  (sqrt (fma (- y z) (- t x) x))
  (sqrt (fma (- y z) (- t x) x))
  (fma (- y z) t x)
  (- (* z (- x t)) (* x y))
  (- (* z (- x t)) (* x y))
12.756 * * * [progress]: adding candidates to table
12.792 * [progress]: [Phase 3 of 3] Extracting.
12.793 * [simplify]: Simplifying:
  (fma (- y z) (- t x) x)
12.794 * * [simplify]: Extracting # 0 : cost  0
12.794 * * [simplify]: Extracting # 1 : cost  0
12.794 * * [simplify]: Extracting # 2 : cost  0
12.794 * * [simplify]: Extracting # 3 : cost  0
12.794 * * [simplify]: Extracting # 4 : cost  0
12.794 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
12.794 * * [simplify]: Extracting # 0 : cost  0
12.794 * * [simplify]: iteration done:  7  enodes  (cost  8 )
12.794 * [simplify]: Simplified to:
  (fma (- y z) (- t x) x)
13.578 * [regime-testing]: End program error score: 0.01975246905863233
13.603 * [regime-testing]: Target error score: 0.026076379860072656