20.717 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.033 * * * [progress]: [2/2] Setting up program.
0.035 * [progress]: [Phase 2 of 3] Improving.
0.035 * [simplify]: Simplifying:
  (+ x (* (- y z) (- t x)))
0.036 * * [simplify]: Extracting # 0 : cost  0
0.036 * * [simplify]: Extracting # 1 : cost  0
0.036 * * [simplify]: Extracting # 2 : cost  0
0.036 * * [simplify]: Extracting # 3 : cost  0
0.036 * * [simplify]: Extracting # 4 : cost  0
0.036 * * [simplify]: Extracting # 5 : cost  0
0.036 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.037 * * [simplify]: Extracting # 0 : cost  0
0.037 * * [simplify]: Extracting # 1 : cost  0
0.037 * * [simplify]: Extracting # 2 : cost  0
0.037 * * [simplify]: iteration  1 :  14  enodes  (cost  9 )
0.039 * * [simplify]: Extracting # 0 : cost  0
0.039 * * [simplify]: Extracting # 1 : cost  0
0.039 * * [simplify]: Extracting # 2 : cost  0
0.039 * * [simplify]: iteration  2 :  30  enodes  (cost  8 )
0.046 * * [simplify]: Extracting # 0 : cost  0
0.047 * * [simplify]: Extracting # 1 : cost  0
0.047 * * [simplify]: Extracting # 2 : cost  0
0.047 * * [simplify]: iteration  3 :  86  enodes  (cost  8 )
0.098 * * [simplify]: Extracting # 0 : cost  0
0.098 * * [simplify]: Extracting # 1 : cost  0
0.098 * * [simplify]: Extracting # 2 : cost  0
0.099 * * [simplify]: iteration  4 :  286  enodes  (cost  8 )
0.296 * * [simplify]: Extracting # 0 : cost  0
0.298 * * [simplify]: Extracting # 1 : cost  0
0.299 * * [simplify]: Extracting # 2 : cost  0
0.300 * * [simplify]: Extracting # 3 : cost  0
0.300 * * [simplify]: Extracting # 4 : cost  0
0.300 * * [simplify]: iteration  5 :  671  enodes  (cost  8 )
1.059 * * [simplify]: Extracting # 0 : cost  0
1.061 * * [simplify]: Extracting # 1 : cost  0
1.062 * * [simplify]: Extracting # 2 : cost  0
1.062 * * [simplify]: iteration  6 :  1270  enodes  (cost  8 )
2.988 * * [simplify]: Extracting # 0 : cost  0
2.991 * * [simplify]: Extracting # 1 : cost  0
2.992 * * [simplify]: Extracting # 2 : cost  0
2.994 * * [simplify]: Extracting # 3 : cost  0
2.996 * * [simplify]: iteration  7 :  2430  enodes  (cost  8 )
7.272 * * [simplify]: Extracting # 0 : cost  0
7.279 * * [simplify]: Extracting # 1 : cost  0
7.282 * * [simplify]: Extracting # 2 : cost  0
7.285 * * [simplify]: iteration  8 :  3189  enodes  (cost  8 )
13.109 * * [simplify]: Extracting # 0 : cost  0
13.114 * * [simplify]: Extracting # 1 : cost  0
13.115 * * [simplify]: Extracting # 2 : cost  0
13.117 * * [simplify]: iteration  9 :  4565  enodes  (cost  8 )
17.692 * * [simplify]: Extracting # 0 : cost  0
17.696 * * [simplify]: Extracting # 1 : cost  0
17.700 * * [simplify]: Extracting # 2 : cost  0
17.703 * * [simplify]: iteration  10 :  4932  enodes  (cost  8 )
18.354 * * [simplify]: Extracting # 0 : cost  0
18.356 * * [simplify]: iteration done:  5000  enodes  (cost  8 )
18.356 * [simplify]: Simplified to:
  (fma (- y z) (- t x) x)
18.360 * * [progress]: iteration 1 / 4
18.360 * * * [progress]: picking best candidate
18.362 * * * * [pick]: Picked  #<alt (λ (x y z t) (fma (- y z) (- t x) x))>
18.362 * * * [progress]: localizing error
18.378 * * * [progress]: generating rewritten candidates
18.378 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
18.379 * * * [progress]: generating series expansions
18.379 * * * * [progress]: [ 1 / 1 ] generating series at (2)
18.380 * [backup-simplify]: Simplify (fma (- y z) (- t x) x) into (fma (- y z) (- t x) x)
18.380 * [approximate]: Taking taylor expansion of (fma (- y z) (- t x) x) in (y z t x) around 0
18.380 * [taylor]: Taking taylor expansion of (fma (- y z) (- t x) x) in x
18.380 * [taylor]: Rewrote expression to (+ (* (- y z) (- t x)) x)
18.380 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in x
18.380 * [taylor]: Taking taylor expansion of (- y z) in x
18.380 * [taylor]: Taking taylor expansion of y in x
18.380 * [backup-simplify]: Simplify y into y
18.380 * [taylor]: Taking taylor expansion of z in x
18.380 * [backup-simplify]: Simplify z into z
18.380 * [taylor]: Taking taylor expansion of (- t x) in x
18.380 * [taylor]: Taking taylor expansion of t in x
18.380 * [backup-simplify]: Simplify t into t
18.380 * [taylor]: Taking taylor expansion of x in x
18.380 * [backup-simplify]: Simplify 0 into 0
18.380 * [backup-simplify]: Simplify 1 into 1
18.380 * [taylor]: Taking taylor expansion of x in x
18.380 * [backup-simplify]: Simplify 0 into 0
18.381 * [backup-simplify]: Simplify 1 into 1
18.381 * [taylor]: Taking taylor expansion of (fma (- y z) (- t x) x) in t
18.381 * [taylor]: Rewrote expression to (+ (* (- y z) (- t x)) x)
18.381 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in t
18.381 * [taylor]: Taking taylor expansion of (- y z) in t
18.381 * [taylor]: Taking taylor expansion of y in t
18.381 * [backup-simplify]: Simplify y into y
18.381 * [taylor]: Taking taylor expansion of z in t
18.381 * [backup-simplify]: Simplify z into z
18.381 * [taylor]: Taking taylor expansion of (- t x) in t
18.381 * [taylor]: Taking taylor expansion of t in t
18.381 * [backup-simplify]: Simplify 0 into 0
18.381 * [backup-simplify]: Simplify 1 into 1
18.381 * [taylor]: Taking taylor expansion of x in t
18.381 * [backup-simplify]: Simplify x into x
18.381 * [taylor]: Taking taylor expansion of x in t
18.381 * [backup-simplify]: Simplify x into x
18.381 * [taylor]: Taking taylor expansion of (fma (- y z) (- t x) x) in z
18.381 * [taylor]: Rewrote expression to (+ (* (- y z) (- t x)) x)
18.381 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in z
18.381 * [taylor]: Taking taylor expansion of (- y z) in z
18.381 * [taylor]: Taking taylor expansion of y in z
18.381 * [backup-simplify]: Simplify y into y
18.381 * [taylor]: Taking taylor expansion of z in z
18.381 * [backup-simplify]: Simplify 0 into 0
18.382 * [backup-simplify]: Simplify 1 into 1
18.382 * [taylor]: Taking taylor expansion of (- t x) in z
18.382 * [taylor]: Taking taylor expansion of t in z
18.382 * [backup-simplify]: Simplify t into t
18.382 * [taylor]: Taking taylor expansion of x in z
18.382 * [backup-simplify]: Simplify x into x
18.382 * [taylor]: Taking taylor expansion of x in z
18.382 * [backup-simplify]: Simplify x into x
18.382 * [taylor]: Taking taylor expansion of (fma (- y z) (- t x) x) in y
18.382 * [taylor]: Rewrote expression to (+ (* (- y z) (- t x)) x)
18.382 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in y
18.382 * [taylor]: Taking taylor expansion of (- y z) in y
18.382 * [taylor]: Taking taylor expansion of y in y
18.382 * [backup-simplify]: Simplify 0 into 0
18.382 * [backup-simplify]: Simplify 1 into 1
18.382 * [taylor]: Taking taylor expansion of z in y
18.382 * [backup-simplify]: Simplify z into z
18.382 * [taylor]: Taking taylor expansion of (- t x) in y
18.382 * [taylor]: Taking taylor expansion of t in y
18.382 * [backup-simplify]: Simplify t into t
18.382 * [taylor]: Taking taylor expansion of x in y
18.382 * [backup-simplify]: Simplify x into x
18.382 * [taylor]: Taking taylor expansion of x in y
18.382 * [backup-simplify]: Simplify x into x
18.382 * [taylor]: Taking taylor expansion of (fma (- y z) (- t x) x) in y
18.382 * [taylor]: Rewrote expression to (+ (* (- y z) (- t x)) x)
18.383 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in y
18.383 * [taylor]: Taking taylor expansion of (- y z) in y
18.383 * [taylor]: Taking taylor expansion of y in y
18.383 * [backup-simplify]: Simplify 0 into 0
18.383 * [backup-simplify]: Simplify 1 into 1
18.383 * [taylor]: Taking taylor expansion of z in y
18.383 * [backup-simplify]: Simplify z into z
18.383 * [taylor]: Taking taylor expansion of (- t x) in y
18.383 * [taylor]: Taking taylor expansion of t in y
18.383 * [backup-simplify]: Simplify t into t
18.383 * [taylor]: Taking taylor expansion of x in y
18.383 * [backup-simplify]: Simplify x into x
18.383 * [taylor]: Taking taylor expansion of x in y
18.383 * [backup-simplify]: Simplify x into x
18.383 * [backup-simplify]: Simplify (- z) into (- z)
18.383 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
18.383 * [backup-simplify]: Simplify (- x) into (- x)
18.383 * [backup-simplify]: Simplify (+ t (- x)) into (- t x)
18.383 * [backup-simplify]: Simplify (* (- z) (- t x)) into (* -1 (* z (- t x)))
18.384 * [backup-simplify]: Simplify (+ (* -1 (* z (- t x))) x) into (- (+ (* x z) x) (* t z))
18.384 * [taylor]: Taking taylor expansion of (- (+ (* x z) x) (* t z)) in z
18.384 * [taylor]: Taking taylor expansion of (+ (* x z) x) in z
18.384 * [taylor]: Taking taylor expansion of (* x z) in z
18.384 * [taylor]: Taking taylor expansion of x in z
18.384 * [backup-simplify]: Simplify x into x
18.384 * [taylor]: Taking taylor expansion of z in z
18.384 * [backup-simplify]: Simplify 0 into 0
18.384 * [backup-simplify]: Simplify 1 into 1
18.384 * [taylor]: Taking taylor expansion of x in z
18.384 * [backup-simplify]: Simplify x into x
18.384 * [taylor]: Taking taylor expansion of (* t z) in z
18.384 * [taylor]: Taking taylor expansion of t in z
18.384 * [backup-simplify]: Simplify t into t
18.384 * [taylor]: Taking taylor expansion of z in z
18.384 * [backup-simplify]: Simplify 0 into 0
18.384 * [backup-simplify]: Simplify 1 into 1
18.384 * [backup-simplify]: Simplify (* x 0) into 0
18.384 * [backup-simplify]: Simplify (+ 0 x) into x
18.384 * [backup-simplify]: Simplify (* t 0) into 0
18.385 * [backup-simplify]: Simplify (- 0) into 0
18.385 * [backup-simplify]: Simplify (+ x 0) into x
18.385 * [taylor]: Taking taylor expansion of x in t
18.385 * [backup-simplify]: Simplify x into x
18.385 * [taylor]: Taking taylor expansion of x in x
18.385 * [backup-simplify]: Simplify 0 into 0
18.385 * [backup-simplify]: Simplify 1 into 1
18.385 * [backup-simplify]: Simplify 0 into 0
18.386 * [backup-simplify]: Simplify (- 0) into 0
18.386 * [backup-simplify]: Simplify (+ 0 0) into 0
18.387 * [backup-simplify]: Simplify (- 0) into 0
18.387 * [backup-simplify]: Simplify (+ 1 0) into 1
18.388 * [backup-simplify]: Simplify (+ (* (- z) 0) (* 1 (- t x))) into (- t x)
18.388 * [backup-simplify]: Simplify (+ (- t x) 0) into (- t x)
18.388 * [taylor]: Taking taylor expansion of (- t x) in z
18.388 * [taylor]: Taking taylor expansion of t in z
18.388 * [backup-simplify]: Simplify t into t
18.388 * [taylor]: Taking taylor expansion of x in z
18.388 * [backup-simplify]: Simplify x into x
18.388 * [backup-simplify]: Simplify (- x) into (- x)
18.388 * [backup-simplify]: Simplify (+ t (- x)) into (- t x)
18.388 * [taylor]: Taking taylor expansion of (- t x) in t
18.388 * [taylor]: Taking taylor expansion of t in t
18.388 * [backup-simplify]: Simplify 0 into 0
18.388 * [backup-simplify]: Simplify 1 into 1
18.388 * [taylor]: Taking taylor expansion of x in t
18.388 * [backup-simplify]: Simplify x into x
18.388 * [backup-simplify]: Simplify (- x) into (- x)
18.388 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
18.388 * [taylor]: Taking taylor expansion of (- x) in x
18.388 * [taylor]: Taking taylor expansion of x in x
18.388 * [backup-simplify]: Simplify 0 into 0
18.388 * [backup-simplify]: Simplify 1 into 1
18.389 * [backup-simplify]: Simplify (- 0) into 0
18.389 * [backup-simplify]: Simplify 0 into 0
18.390 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
18.390 * [backup-simplify]: Simplify (+ x 0) into x
18.390 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
18.390 * [backup-simplify]: Simplify (- t) into (- t)
18.390 * [backup-simplify]: Simplify (+ x (- t)) into (- x t)
18.390 * [taylor]: Taking taylor expansion of (- x t) in t
18.390 * [taylor]: Taking taylor expansion of x in t
18.390 * [backup-simplify]: Simplify x into x
18.390 * [taylor]: Taking taylor expansion of t in t
18.390 * [backup-simplify]: Simplify 0 into 0
18.390 * [backup-simplify]: Simplify 1 into 1
18.391 * [backup-simplify]: Simplify (- 0) into 0
18.391 * [backup-simplify]: Simplify (+ x 0) into x
18.391 * [taylor]: Taking taylor expansion of x in x
18.391 * [backup-simplify]: Simplify 0 into 0
18.391 * [backup-simplify]: Simplify 1 into 1
18.391 * [backup-simplify]: Simplify 0 into 0
18.391 * [taylor]: Taking taylor expansion of 0 in x
18.391 * [backup-simplify]: Simplify 0 into 0
18.391 * [backup-simplify]: Simplify 0 into 0
18.391 * [backup-simplify]: Simplify 1 into 1
18.392 * [backup-simplify]: Simplify (- 0) into 0
18.392 * [backup-simplify]: Simplify (+ 0 0) into 0
18.393 * [backup-simplify]: Simplify (- 0) into 0
18.393 * [backup-simplify]: Simplify (+ 0 0) into 0
18.394 * [backup-simplify]: Simplify (+ (* (- z) 0) (+ (* 1 0) (* 0 (- t x)))) into 0
18.394 * [backup-simplify]: Simplify (+ 0 0) into 0
18.394 * [taylor]: Taking taylor expansion of 0 in z
18.394 * [backup-simplify]: Simplify 0 into 0
18.394 * [taylor]: Taking taylor expansion of 0 in t
18.394 * [backup-simplify]: Simplify 0 into 0
18.394 * [taylor]: Taking taylor expansion of 0 in x
18.394 * [backup-simplify]: Simplify 0 into 0
18.394 * [backup-simplify]: Simplify 0 into 0
18.395 * [backup-simplify]: Simplify (- 0) into 0
18.395 * [backup-simplify]: Simplify (+ 0 0) into 0
18.395 * [taylor]: Taking taylor expansion of 0 in t
18.395 * [backup-simplify]: Simplify 0 into 0
18.395 * [taylor]: Taking taylor expansion of 0 in x
18.395 * [backup-simplify]: Simplify 0 into 0
18.395 * [backup-simplify]: Simplify 0 into 0
18.396 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
18.397 * [backup-simplify]: Simplify (+ 0 0) into 0
18.398 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 1) (* 0 0))) into 0
18.399 * [backup-simplify]: Simplify (- 0) into 0
18.399 * [backup-simplify]: Simplify (+ 0 0) into 0
18.399 * [taylor]: Taking taylor expansion of 0 in t
18.399 * [backup-simplify]: Simplify 0 into 0
18.399 * [taylor]: Taking taylor expansion of 0 in x
18.399 * [backup-simplify]: Simplify 0 into 0
18.399 * [backup-simplify]: Simplify 0 into 0
18.400 * [backup-simplify]: Simplify (- 0) into 0
18.400 * [backup-simplify]: Simplify (+ 1 0) into 1
18.400 * [taylor]: Taking taylor expansion of 1 in x
18.401 * [backup-simplify]: Simplify 1 into 1
18.401 * [backup-simplify]: Simplify 1 into 1
18.401 * [backup-simplify]: Simplify (- 1) into -1
18.402 * [backup-simplify]: Simplify (+ 0 -1) into -1
18.402 * [taylor]: Taking taylor expansion of -1 in x
18.402 * [backup-simplify]: Simplify -1 into -1
18.402 * [backup-simplify]: Simplify -1 into -1
18.403 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* t (* z 1)))) (+ (* 1 (* 1 (* t (* 1 y)))) (* 1 (* x (* 1 (* 1 1)))))) into (- (+ (* t y) x) (* t z))
18.403 * [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))
18.403 * [approximate]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x)) (/ 1 x)) in (y z t x) around 0
18.403 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x)) (/ 1 x)) in x
18.403 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) (/ 1 x))
18.403 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in x
18.403 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
18.403 * [taylor]: Taking taylor expansion of (/ 1 y) in x
18.403 * [taylor]: Taking taylor expansion of y in x
18.403 * [backup-simplify]: Simplify y into y
18.403 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
18.403 * [taylor]: Taking taylor expansion of (/ 1 z) in x
18.403 * [taylor]: Taking taylor expansion of z in x
18.403 * [backup-simplify]: Simplify z into z
18.404 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
18.404 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in x
18.404 * [taylor]: Taking taylor expansion of (/ 1 t) in x
18.404 * [taylor]: Taking taylor expansion of t in x
18.404 * [backup-simplify]: Simplify t into t
18.404 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
18.404 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.404 * [taylor]: Taking taylor expansion of x in x
18.404 * [backup-simplify]: Simplify 0 into 0
18.404 * [backup-simplify]: Simplify 1 into 1
18.404 * [backup-simplify]: Simplify (/ 1 1) into 1
18.404 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.404 * [taylor]: Taking taylor expansion of x in x
18.404 * [backup-simplify]: Simplify 0 into 0
18.404 * [backup-simplify]: Simplify 1 into 1
18.404 * [backup-simplify]: Simplify (/ 1 1) into 1
18.404 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x)) (/ 1 x)) in t
18.405 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) (/ 1 x))
18.405 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in t
18.405 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t
18.405 * [taylor]: Taking taylor expansion of (/ 1 y) in t
18.405 * [taylor]: Taking taylor expansion of y in t
18.405 * [backup-simplify]: Simplify y into y
18.405 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
18.405 * [taylor]: Taking taylor expansion of (/ 1 z) in t
18.405 * [taylor]: Taking taylor expansion of z in t
18.405 * [backup-simplify]: Simplify z into z
18.405 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
18.405 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
18.405 * [taylor]: Taking taylor expansion of (/ 1 t) in t
18.405 * [taylor]: Taking taylor expansion of t in t
18.405 * [backup-simplify]: Simplify 0 into 0
18.405 * [backup-simplify]: Simplify 1 into 1
18.405 * [backup-simplify]: Simplify (/ 1 1) into 1
18.405 * [taylor]: Taking taylor expansion of (/ 1 x) in t
18.405 * [taylor]: Taking taylor expansion of x in t
18.405 * [backup-simplify]: Simplify x into x
18.405 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.405 * [taylor]: Taking taylor expansion of (/ 1 x) in t
18.405 * [taylor]: Taking taylor expansion of x in t
18.405 * [backup-simplify]: Simplify x into x
18.405 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.405 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x)) (/ 1 x)) in z
18.406 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) (/ 1 x))
18.406 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in z
18.406 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
18.406 * [taylor]: Taking taylor expansion of (/ 1 y) in z
18.406 * [taylor]: Taking taylor expansion of y in z
18.406 * [backup-simplify]: Simplify y into y
18.406 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
18.406 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.406 * [taylor]: Taking taylor expansion of z in z
18.406 * [backup-simplify]: Simplify 0 into 0
18.406 * [backup-simplify]: Simplify 1 into 1
18.406 * [backup-simplify]: Simplify (/ 1 1) into 1
18.406 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in z
18.406 * [taylor]: Taking taylor expansion of (/ 1 t) in z
18.406 * [taylor]: Taking taylor expansion of t in z
18.406 * [backup-simplify]: Simplify t into t
18.406 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
18.406 * [taylor]: Taking taylor expansion of (/ 1 x) in z
18.406 * [taylor]: Taking taylor expansion of x in z
18.406 * [backup-simplify]: Simplify x into x
18.406 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.406 * [taylor]: Taking taylor expansion of (/ 1 x) in z
18.406 * [taylor]: Taking taylor expansion of x in z
18.406 * [backup-simplify]: Simplify x into x
18.406 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.406 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x)) (/ 1 x)) in y
18.407 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) (/ 1 x))
18.407 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in y
18.407 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
18.407 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.407 * [taylor]: Taking taylor expansion of y in y
18.407 * [backup-simplify]: Simplify 0 into 0
18.407 * [backup-simplify]: Simplify 1 into 1
18.407 * [backup-simplify]: Simplify (/ 1 1) into 1
18.407 * [taylor]: Taking taylor expansion of (/ 1 z) in y
18.407 * [taylor]: Taking taylor expansion of z in y
18.407 * [backup-simplify]: Simplify z into z
18.407 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
18.407 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in y
18.407 * [taylor]: Taking taylor expansion of (/ 1 t) in y
18.407 * [taylor]: Taking taylor expansion of t in y
18.407 * [backup-simplify]: Simplify t into t
18.407 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
18.407 * [taylor]: Taking taylor expansion of (/ 1 x) in y
18.407 * [taylor]: Taking taylor expansion of x in y
18.407 * [backup-simplify]: Simplify x into x
18.407 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.407 * [taylor]: Taking taylor expansion of (/ 1 x) in y
18.407 * [taylor]: Taking taylor expansion of x in y
18.407 * [backup-simplify]: Simplify x into x
18.407 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.407 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x)) (/ 1 x)) in y
18.408 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) (/ 1 x))
18.408 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in y
18.408 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
18.408 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.408 * [taylor]: Taking taylor expansion of y in y
18.408 * [backup-simplify]: Simplify 0 into 0
18.408 * [backup-simplify]: Simplify 1 into 1
18.408 * [backup-simplify]: Simplify (/ 1 1) into 1
18.408 * [taylor]: Taking taylor expansion of (/ 1 z) in y
18.408 * [taylor]: Taking taylor expansion of z in y
18.408 * [backup-simplify]: Simplify z into z
18.408 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
18.408 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in y
18.408 * [taylor]: Taking taylor expansion of (/ 1 t) in y
18.408 * [taylor]: Taking taylor expansion of t in y
18.408 * [backup-simplify]: Simplify t into t
18.408 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
18.408 * [taylor]: Taking taylor expansion of (/ 1 x) in y
18.408 * [taylor]: Taking taylor expansion of x in y
18.408 * [backup-simplify]: Simplify x into x
18.408 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.408 * [taylor]: Taking taylor expansion of (/ 1 x) in y
18.408 * [taylor]: Taking taylor expansion of x in y
18.408 * [backup-simplify]: Simplify x into x
18.408 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.409 * [backup-simplify]: Simplify (+ 1 0) into 1
18.409 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
18.409 * [backup-simplify]: Simplify (+ (/ 1 t) (- (/ 1 x))) into (- (/ 1 t) (/ 1 x))
18.409 * [backup-simplify]: Simplify (* 1 (- (/ 1 t) (/ 1 x))) into (- (/ 1 t) (/ 1 x))
18.409 * [backup-simplify]: Simplify (+ (- (/ 1 t) (/ 1 x)) 0) into (- (/ 1 t) (/ 1 x))
18.409 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in z
18.409 * [taylor]: Taking taylor expansion of (/ 1 t) in z
18.409 * [taylor]: Taking taylor expansion of t in z
18.409 * [backup-simplify]: Simplify t into t
18.409 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
18.409 * [taylor]: Taking taylor expansion of (/ 1 x) in z
18.409 * [taylor]: Taking taylor expansion of x in z
18.409 * [backup-simplify]: Simplify x into x
18.409 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.409 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
18.410 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
18.410 * [backup-simplify]: Simplify (- 0) into 0
18.410 * [backup-simplify]: Simplify (+ 0 0) into 0
18.411 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.411 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
18.411 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
18.411 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 z)) (- (/ 1 t) (/ 1 x)))) into (- (/ 1 (* x z)) (/ 1 (* t z)))
18.411 * [backup-simplify]: Simplify (+ (- (/ 1 (* x z)) (/ 1 (* t z))) (/ 1 x)) into (- (+ (/ 1 (* x z)) (/ 1 x)) (/ 1 (* t z)))
18.412 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 x)) (/ 1 (* t z))) in z
18.412 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in z
18.412 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
18.412 * [taylor]: Taking taylor expansion of (* x z) in z
18.412 * [taylor]: Taking taylor expansion of x in z
18.412 * [backup-simplify]: Simplify x into x
18.412 * [taylor]: Taking taylor expansion of z in z
18.412 * [backup-simplify]: Simplify 0 into 0
18.412 * [backup-simplify]: Simplify 1 into 1
18.412 * [backup-simplify]: Simplify (* x 0) into 0
18.412 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
18.412 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.412 * [taylor]: Taking taylor expansion of (/ 1 x) in z
18.412 * [taylor]: Taking taylor expansion of x in z
18.412 * [backup-simplify]: Simplify x into x
18.412 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.412 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
18.412 * [taylor]: Taking taylor expansion of (* t z) in z
18.412 * [taylor]: Taking taylor expansion of t in z
18.412 * [backup-simplify]: Simplify t into t
18.412 * [taylor]: Taking taylor expansion of z in z
18.412 * [backup-simplify]: Simplify 0 into 0
18.412 * [backup-simplify]: Simplify 1 into 1
18.412 * [backup-simplify]: Simplify (* t 0) into 0
18.413 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
18.413 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
18.413 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
18.413 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
18.413 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 t))) into (- (/ 1 x) (/ 1 t))
18.413 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
18.413 * [taylor]: Taking taylor expansion of (/ 1 x) in t
18.413 * [taylor]: Taking taylor expansion of x in t
18.413 * [backup-simplify]: Simplify x into x
18.413 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.413 * [taylor]: Taking taylor expansion of (/ 1 t) in t
18.413 * [taylor]: Taking taylor expansion of t in t
18.413 * [backup-simplify]: Simplify 0 into 0
18.413 * [backup-simplify]: Simplify 1 into 1
18.413 * [backup-simplify]: Simplify (/ 1 1) into 1
18.414 * [backup-simplify]: Simplify (- 1) into -1
18.414 * [backup-simplify]: Simplify (+ 0 -1) into -1
18.414 * [taylor]: Taking taylor expansion of -1 in x
18.414 * [backup-simplify]: Simplify -1 into -1
18.414 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
18.414 * [backup-simplify]: Simplify (+ (/ 1 t) (- (/ 1 x))) into (- (/ 1 t) (/ 1 x))
18.414 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
18.414 * [taylor]: Taking taylor expansion of (/ 1 t) in t
18.414 * [taylor]: Taking taylor expansion of t in t
18.414 * [backup-simplify]: Simplify 0 into 0
18.414 * [backup-simplify]: Simplify 1 into 1
18.415 * [backup-simplify]: Simplify (/ 1 1) into 1
18.415 * [taylor]: Taking taylor expansion of (/ 1 x) in t
18.415 * [taylor]: Taking taylor expansion of x in t
18.415 * [backup-simplify]: Simplify x into x
18.415 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.415 * [backup-simplify]: Simplify (+ 1 0) into 1
18.415 * [taylor]: Taking taylor expansion of 1 in x
18.415 * [backup-simplify]: Simplify 1 into 1
18.415 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
18.415 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
18.416 * [backup-simplify]: Simplify (- 0) into 0
18.416 * [backup-simplify]: Simplify (+ 0 0) into 0
18.416 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.417 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
18.417 * [backup-simplify]: Simplify (- 0) into 0
18.417 * [backup-simplify]: Simplify (+ 0 0) into 0
18.418 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 z)) 0) (* 0 (- (/ 1 t) (/ 1 x))))) into 0
18.418 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
18.418 * [backup-simplify]: Simplify (+ 0 0) into 0
18.418 * [taylor]: Taking taylor expansion of 0 in z
18.418 * [backup-simplify]: Simplify 0 into 0
18.418 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
18.418 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
18.419 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x)
18.419 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 1) (* 0 0))) into 0
18.419 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
18.419 * [backup-simplify]: Simplify (- 0) into 0
18.419 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
18.419 * [taylor]: Taking taylor expansion of (/ 1 x) in t
18.419 * [taylor]: Taking taylor expansion of x in t
18.419 * [backup-simplify]: Simplify x into x
18.420 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.420 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
18.420 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
18.420 * [backup-simplify]: Simplify (- 0) into 0
18.420 * [backup-simplify]: Simplify (+ 0 0) into 0
18.420 * [taylor]: Taking taylor expansion of 0 in t
18.420 * [backup-simplify]: Simplify 0 into 0
18.421 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.421 * [backup-simplify]: Simplify (- 0) into 0
18.421 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
18.421 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.421 * [taylor]: Taking taylor expansion of x in x
18.421 * [backup-simplify]: Simplify 0 into 0
18.421 * [backup-simplify]: Simplify 1 into 1
18.421 * [backup-simplify]: Simplify (/ 1 1) into 1
18.421 * [backup-simplify]: Simplify 1 into 1
18.422 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.422 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
18.422 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x))
18.422 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
18.422 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.422 * [taylor]: Taking taylor expansion of x in x
18.422 * [backup-simplify]: Simplify 0 into 0
18.422 * [backup-simplify]: Simplify 1 into 1
18.422 * [backup-simplify]: Simplify (/ 1 1) into 1
18.423 * [backup-simplify]: Simplify (- 1) into -1
18.423 * [backup-simplify]: Simplify -1 into -1
18.423 * [backup-simplify]: Simplify -1 into -1
18.423 * [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)))
18.424 * [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))
18.424 * [approximate]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 y)) (- (/ 1 x) (/ 1 t)) (/ -1 x)) in (y z t x) around 0
18.424 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 y)) (- (/ 1 x) (/ 1 t)) (/ -1 x)) in x
18.424 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 y)) (- (/ 1 x) (/ 1 t))) (/ -1 x))
18.424 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 x) (/ 1 t))) in x
18.424 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
18.424 * [taylor]: Taking taylor expansion of (/ 1 z) in x
18.424 * [taylor]: Taking taylor expansion of z in x
18.424 * [backup-simplify]: Simplify z into z
18.424 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
18.424 * [taylor]: Taking taylor expansion of (/ 1 y) in x
18.424 * [taylor]: Taking taylor expansion of y in x
18.424 * [backup-simplify]: Simplify y into y
18.424 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
18.424 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in x
18.424 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.424 * [taylor]: Taking taylor expansion of x in x
18.424 * [backup-simplify]: Simplify 0 into 0
18.424 * [backup-simplify]: Simplify 1 into 1
18.424 * [backup-simplify]: Simplify (/ 1 1) into 1
18.424 * [taylor]: Taking taylor expansion of (/ 1 t) in x
18.424 * [taylor]: Taking taylor expansion of t in x
18.424 * [backup-simplify]: Simplify t into t
18.425 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
18.425 * [taylor]: Taking taylor expansion of (/ -1 x) in x
18.425 * [taylor]: Taking taylor expansion of -1 in x
18.425 * [backup-simplify]: Simplify -1 into -1
18.425 * [taylor]: Taking taylor expansion of x in x
18.425 * [backup-simplify]: Simplify 0 into 0
18.425 * [backup-simplify]: Simplify 1 into 1
18.425 * [backup-simplify]: Simplify (/ -1 1) into -1
18.425 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 y)) (- (/ 1 x) (/ 1 t)) (/ -1 x)) in t
18.425 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 y)) (- (/ 1 x) (/ 1 t))) (/ -1 x))
18.425 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 x) (/ 1 t))) in t
18.425 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
18.425 * [taylor]: Taking taylor expansion of (/ 1 z) in t
18.425 * [taylor]: Taking taylor expansion of z in t
18.425 * [backup-simplify]: Simplify z into z
18.425 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
18.425 * [taylor]: Taking taylor expansion of (/ 1 y) in t
18.425 * [taylor]: Taking taylor expansion of y in t
18.425 * [backup-simplify]: Simplify y into y
18.425 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
18.425 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
18.425 * [taylor]: Taking taylor expansion of (/ 1 x) in t
18.425 * [taylor]: Taking taylor expansion of x in t
18.425 * [backup-simplify]: Simplify x into x
18.426 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.426 * [taylor]: Taking taylor expansion of (/ 1 t) in t
18.426 * [taylor]: Taking taylor expansion of t in t
18.426 * [backup-simplify]: Simplify 0 into 0
18.426 * [backup-simplify]: Simplify 1 into 1
18.426 * [backup-simplify]: Simplify (/ 1 1) into 1
18.426 * [taylor]: Taking taylor expansion of (/ -1 x) in t
18.426 * [taylor]: Taking taylor expansion of -1 in t
18.426 * [backup-simplify]: Simplify -1 into -1
18.426 * [taylor]: Taking taylor expansion of x in t
18.426 * [backup-simplify]: Simplify x into x
18.426 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
18.426 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 y)) (- (/ 1 x) (/ 1 t)) (/ -1 x)) in z
18.426 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 y)) (- (/ 1 x) (/ 1 t))) (/ -1 x))
18.426 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 x) (/ 1 t))) in z
18.426 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
18.426 * [taylor]: Taking taylor expansion of (/ 1 z) in z
18.426 * [taylor]: Taking taylor expansion of z in z
18.426 * [backup-simplify]: Simplify 0 into 0
18.426 * [backup-simplify]: Simplify 1 into 1
18.434 * [backup-simplify]: Simplify (/ 1 1) into 1
18.434 * [taylor]: Taking taylor expansion of (/ 1 y) in z
18.434 * [taylor]: Taking taylor expansion of y in z
18.435 * [backup-simplify]: Simplify y into y
18.435 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
18.435 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in z
18.435 * [taylor]: Taking taylor expansion of (/ 1 x) in z
18.435 * [taylor]: Taking taylor expansion of x in z
18.435 * [backup-simplify]: Simplify x into x
18.435 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.435 * [taylor]: Taking taylor expansion of (/ 1 t) in z
18.435 * [taylor]: Taking taylor expansion of t in z
18.435 * [backup-simplify]: Simplify t into t
18.435 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
18.435 * [taylor]: Taking taylor expansion of (/ -1 x) in z
18.435 * [taylor]: Taking taylor expansion of -1 in z
18.435 * [backup-simplify]: Simplify -1 into -1
18.435 * [taylor]: Taking taylor expansion of x in z
18.435 * [backup-simplify]: Simplify x into x
18.435 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
18.435 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 y)) (- (/ 1 x) (/ 1 t)) (/ -1 x)) in y
18.435 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 y)) (- (/ 1 x) (/ 1 t))) (/ -1 x))
18.435 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 x) (/ 1 t))) in y
18.435 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
18.435 * [taylor]: Taking taylor expansion of (/ 1 z) in y
18.435 * [taylor]: Taking taylor expansion of z in y
18.435 * [backup-simplify]: Simplify z into z
18.435 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
18.435 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.435 * [taylor]: Taking taylor expansion of y in y
18.436 * [backup-simplify]: Simplify 0 into 0
18.436 * [backup-simplify]: Simplify 1 into 1
18.436 * [backup-simplify]: Simplify (/ 1 1) into 1
18.436 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in y
18.436 * [taylor]: Taking taylor expansion of (/ 1 x) in y
18.436 * [taylor]: Taking taylor expansion of x in y
18.436 * [backup-simplify]: Simplify x into x
18.436 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.436 * [taylor]: Taking taylor expansion of (/ 1 t) in y
18.436 * [taylor]: Taking taylor expansion of t in y
18.436 * [backup-simplify]: Simplify t into t
18.436 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
18.436 * [taylor]: Taking taylor expansion of (/ -1 x) in y
18.436 * [taylor]: Taking taylor expansion of -1 in y
18.436 * [backup-simplify]: Simplify -1 into -1
18.436 * [taylor]: Taking taylor expansion of x in y
18.436 * [backup-simplify]: Simplify x into x
18.437 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
18.437 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 y)) (- (/ 1 x) (/ 1 t)) (/ -1 x)) in y
18.437 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 y)) (- (/ 1 x) (/ 1 t))) (/ -1 x))
18.437 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 x) (/ 1 t))) in y
18.437 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
18.437 * [taylor]: Taking taylor expansion of (/ 1 z) in y
18.437 * [taylor]: Taking taylor expansion of z in y
18.437 * [backup-simplify]: Simplify z into z
18.437 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
18.437 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.437 * [taylor]: Taking taylor expansion of y in y
18.437 * [backup-simplify]: Simplify 0 into 0
18.437 * [backup-simplify]: Simplify 1 into 1
18.437 * [backup-simplify]: Simplify (/ 1 1) into 1
18.438 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in y
18.438 * [taylor]: Taking taylor expansion of (/ 1 x) in y
18.438 * [taylor]: Taking taylor expansion of x in y
18.438 * [backup-simplify]: Simplify x into x
18.438 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.438 * [taylor]: Taking taylor expansion of (/ 1 t) in y
18.438 * [taylor]: Taking taylor expansion of t in y
18.438 * [backup-simplify]: Simplify t into t
18.438 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
18.438 * [taylor]: Taking taylor expansion of (/ -1 x) in y
18.438 * [taylor]: Taking taylor expansion of -1 in y
18.438 * [backup-simplify]: Simplify -1 into -1
18.438 * [taylor]: Taking taylor expansion of x in y
18.438 * [backup-simplify]: Simplify x into x
18.438 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
18.438 * [backup-simplify]: Simplify (- 1) into -1
18.439 * [backup-simplify]: Simplify (+ 0 -1) into -1
18.439 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
18.439 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 t))) into (- (/ 1 x) (/ 1 t))
18.439 * [backup-simplify]: Simplify (* -1 (- (/ 1 x) (/ 1 t))) into (* -1 (- (/ 1 x) (/ 1 t)))
18.439 * [backup-simplify]: Simplify (+ (* -1 (- (/ 1 x) (/ 1 t))) 0) into (- (/ 1 t) (/ 1 x))
18.439 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in z
18.439 * [taylor]: Taking taylor expansion of (/ 1 t) in z
18.439 * [taylor]: Taking taylor expansion of t in z
18.439 * [backup-simplify]: Simplify t into t
18.439 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
18.439 * [taylor]: Taking taylor expansion of (/ 1 x) in z
18.439 * [taylor]: Taking taylor expansion of x in z
18.439 * [backup-simplify]: Simplify x into x
18.439 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.439 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
18.439 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
18.440 * [backup-simplify]: Simplify (- 0) into 0
18.440 * [backup-simplify]: Simplify (+ 0 0) into 0
18.441 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.441 * [backup-simplify]: Simplify (- 0) into 0
18.441 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
18.441 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 z) (- (/ 1 x) (/ 1 t)))) into (- (/ 1 (* x z)) (/ 1 (* t z)))
18.441 * [backup-simplify]: Simplify (+ (- (/ 1 (* x z)) (/ 1 (* t z))) (/ -1 x)) into (- (/ 1 (* x z)) (+ (/ 1 (* t z)) (/ 1 x)))
18.442 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (+ (/ 1 (* t z)) (/ 1 x))) in z
18.442 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
18.442 * [taylor]: Taking taylor expansion of (* x z) in z
18.442 * [taylor]: Taking taylor expansion of x in z
18.442 * [backup-simplify]: Simplify x into x
18.442 * [taylor]: Taking taylor expansion of z in z
18.442 * [backup-simplify]: Simplify 0 into 0
18.442 * [backup-simplify]: Simplify 1 into 1
18.442 * [backup-simplify]: Simplify (* x 0) into 0
18.442 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
18.442 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.442 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 x)) in z
18.442 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
18.442 * [taylor]: Taking taylor expansion of (* t z) in z
18.442 * [taylor]: Taking taylor expansion of t in z
18.442 * [backup-simplify]: Simplify t into t
18.442 * [taylor]: Taking taylor expansion of z in z
18.442 * [backup-simplify]: Simplify 0 into 0
18.442 * [backup-simplify]: Simplify 1 into 1
18.442 * [backup-simplify]: Simplify (* t 0) into 0
18.443 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
18.443 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
18.443 * [taylor]: Taking taylor expansion of (/ 1 x) in z
18.443 * [taylor]: Taking taylor expansion of x in z
18.443 * [backup-simplify]: Simplify x into x
18.443 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.443 * [backup-simplify]: Simplify (+ (/ 1 t) 0) into (/ 1 t)
18.443 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
18.443 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 t))) into (- (/ 1 x) (/ 1 t))
18.443 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
18.443 * [taylor]: Taking taylor expansion of (/ 1 x) in t
18.443 * [taylor]: Taking taylor expansion of x in t
18.443 * [backup-simplify]: Simplify x into x
18.443 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.443 * [taylor]: Taking taylor expansion of (/ 1 t) in t
18.443 * [taylor]: Taking taylor expansion of t in t
18.443 * [backup-simplify]: Simplify 0 into 0
18.443 * [backup-simplify]: Simplify 1 into 1
18.444 * [backup-simplify]: Simplify (/ 1 1) into 1
18.444 * [backup-simplify]: Simplify (- 1) into -1
18.445 * [backup-simplify]: Simplify (+ 0 -1) into -1
18.445 * [taylor]: Taking taylor expansion of -1 in x
18.445 * [backup-simplify]: Simplify -1 into -1
18.445 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
18.445 * [backup-simplify]: Simplify (+ (/ 1 t) (- (/ 1 x))) into (- (/ 1 t) (/ 1 x))
18.445 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
18.446 * [taylor]: Taking taylor expansion of (/ 1 t) in t
18.446 * [taylor]: Taking taylor expansion of t in t
18.446 * [backup-simplify]: Simplify 0 into 0
18.446 * [backup-simplify]: Simplify 1 into 1
18.446 * [backup-simplify]: Simplify (/ 1 1) into 1
18.446 * [taylor]: Taking taylor expansion of (/ 1 x) in t
18.446 * [taylor]: Taking taylor expansion of x in t
18.446 * [backup-simplify]: Simplify x into x
18.446 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.447 * [backup-simplify]: Simplify (+ 1 0) into 1
18.447 * [taylor]: Taking taylor expansion of 1 in x
18.447 * [backup-simplify]: Simplify 1 into 1
18.448 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
18.448 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
18.448 * [backup-simplify]: Simplify (- 0) into 0
18.449 * [backup-simplify]: Simplify (+ 0 0) into 0
18.449 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
18.450 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.451 * [backup-simplify]: Simplify (- 0) into 0
18.451 * [backup-simplify]: Simplify (+ 0 0) into 0
18.452 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 z) 0) (* 0 (- (/ 1 x) (/ 1 t))))) into 0
18.452 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
18.453 * [backup-simplify]: Simplify (+ 0 0) into 0
18.453 * [taylor]: Taking taylor expansion of 0 in z
18.453 * [backup-simplify]: Simplify 0 into 0
18.454 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
18.454 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
18.455 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 1) (* 0 0))) into 0
18.455 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
18.456 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x)
18.456 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
18.456 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x))
18.456 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in t
18.456 * [taylor]: Taking taylor expansion of (/ 1 x) in t
18.456 * [taylor]: Taking taylor expansion of x in t
18.456 * [backup-simplify]: Simplify x into x
18.456 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.456 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
18.456 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
18.457 * [backup-simplify]: Simplify (- 0) into 0
18.458 * [backup-simplify]: Simplify (+ 0 0) into 0
18.458 * [taylor]: Taking taylor expansion of 0 in t
18.458 * [backup-simplify]: Simplify 0 into 0
18.459 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.460 * [backup-simplify]: Simplify (- 0) into 0
18.460 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
18.460 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.460 * [taylor]: Taking taylor expansion of x in x
18.460 * [backup-simplify]: Simplify 0 into 0
18.460 * [backup-simplify]: Simplify 1 into 1
18.460 * [backup-simplify]: Simplify (/ 1 1) into 1
18.460 * [backup-simplify]: Simplify 1 into 1
18.461 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.461 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
18.461 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x))
18.461 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
18.461 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.461 * [taylor]: Taking taylor expansion of x in x
18.461 * [backup-simplify]: Simplify 0 into 0
18.461 * [backup-simplify]: Simplify 1 into 1
18.461 * [backup-simplify]: Simplify (/ 1 1) into 1
18.461 * [backup-simplify]: Simplify (- 1) into -1
18.461 * [backup-simplify]: Simplify -1 into -1
18.462 * [backup-simplify]: Simplify -1 into -1
18.462 * [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)))
18.462 * * * [progress]: simplifying candidates
18.462 * [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)))
18.463 * * [simplify]: Extracting # 0 : cost  0
18.463 * * [simplify]: Extracting # 1 : cost  0
18.463 * * [simplify]: Extracting # 2 : cost  0
18.463 * * [simplify]: Extracting # 3 : cost  0
18.463 * * [simplify]: Extracting # 4 : cost  0
18.463 * * [simplify]: Extracting # 5 : cost  0
18.463 * * [simplify]: iteration  0 :  25  enodes  (cost  146 )
18.467 * * [simplify]: Extracting # 0 : cost  0
18.467 * * [simplify]: Extracting # 1 : cost  0
18.468 * * [simplify]: Extracting # 2 : cost  0
18.468 * * [simplify]: iteration  1 :  49  enodes  (cost  143 )
18.477 * * [simplify]: Extracting # 0 : cost  0
18.477 * * [simplify]: Extracting # 1 : cost  0
18.477 * * [simplify]: Extracting # 2 : cost  0
18.477 * * [simplify]: iteration  2 :  114  enodes  (cost  125 )
18.514 * * [simplify]: Extracting # 0 : cost  0
18.514 * * [simplify]: Extracting # 1 : cost  0
18.515 * * [simplify]: Extracting # 2 : cost  0
18.515 * * [simplify]: Extracting # 3 : cost  0
18.515 * * [simplify]: iteration  3 :  339  enodes  (cost  124 )
18.806 * * [simplify]: Extracting # 0 : cost  0
18.809 * * [simplify]: Extracting # 1 : cost  0
18.813 * * [simplify]: Extracting # 2 : cost  0
18.816 * * [simplify]: Extracting # 3 : cost  0
18.819 * * [simplify]: Extracting # 4 : cost  0
18.822 * * [simplify]: Extracting # 5 : cost  0
18.831 * * [simplify]: iteration  4 :  1523  enodes  (cost  123 )
19.593 * * [simplify]: Extracting # 0 : cost  0
19.599 * * [simplify]: Extracting # 1 : cost  0
19.607 * * [simplify]: Extracting # 2 : cost  0
19.614 * * [simplify]: Extracting # 3 : cost  0
19.621 * * [simplify]: Extracting # 4 : cost  0
19.634 * * [simplify]: iteration done:  5000  enodes  (cost  123 )
19.634 * [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))
19.634 * * * [progress]: adding candidates to table
19.710 * * [progress]: iteration 2 / 4
19.710 * * * [progress]: picking best candidate
19.727 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (* (cbrt (fma (- y z) (- t x) x)) (cbrt (fma (- y z) (- t x) x))) (cbrt (fma (- y z) (- t x) x))))>
19.727 * * * [progress]: localizing error
19.755 * * * [progress]: generating rewritten candidates
19.755 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
19.779 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
19.790 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
19.792 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
19.798 * * * [progress]: generating series expansions
19.798 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
19.799 * [backup-simplify]: Simplify (* (cbrt (fma (- y z) (- t x) x)) (cbrt (fma (- y z) (- t x) x))) into (pow (pow (fma (- y z) (- t x) x) 2) 1/3)
19.799 * [approximate]: Taking taylor expansion of (pow (pow (fma (- y z) (- t x) x) 2) 1/3) in (y z t x) around 0
19.799 * [taylor]: Taking taylor expansion of (pow (pow (fma (- y z) (- t x) x) 2) 1/3) in x
19.799 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma (- y z) (- t x) x) 2)))) in x
19.799 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma (- y z) (- t x) x) 2))) in x
19.799 * [taylor]: Taking taylor expansion of 1/3 in x
19.799 * [backup-simplify]: Simplify 1/3 into 1/3
19.799 * [taylor]: Taking taylor expansion of (log (pow (fma (- y z) (- t x) x) 2)) in x
19.799 * [taylor]: Taking taylor expansion of (pow (fma (- y z) (- t x) x) 2) in x
19.799 * [taylor]: Taking taylor expansion of (fma (- y z) (- t x) x) in x
19.799 * [taylor]: Rewrote expression to (+ (* (- y z) (- t x)) x)
19.800 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in x
19.800 * [taylor]: Taking taylor expansion of (- y z) in x
19.800 * [taylor]: Taking taylor expansion of y in x
19.800 * [backup-simplify]: Simplify y into y
19.800 * [taylor]: Taking taylor expansion of z in x
19.800 * [backup-simplify]: Simplify z into z
19.800 * [taylor]: Taking taylor expansion of (- t x) in x
19.800 * [taylor]: Taking taylor expansion of t in x
19.800 * [backup-simplify]: Simplify t into t
19.800 * [taylor]: Taking taylor expansion of x in x
19.800 * [backup-simplify]: Simplify 0 into 0
19.800 * [backup-simplify]: Simplify 1 into 1
19.800 * [taylor]: Taking taylor expansion of x in x
19.800 * [backup-simplify]: Simplify 0 into 0
19.800 * [backup-simplify]: Simplify 1 into 1
19.800 * [backup-simplify]: Simplify (- z) into (- z)
19.800 * [backup-simplify]: Simplify (+ y (- z)) into (- y z)
19.801 * [backup-simplify]: Simplify (- 0) into 0
19.801 * [backup-simplify]: Simplify (+ t 0) into t
19.801 * [backup-simplify]: Simplify (* (- y z) t) into (* (- y z) t)
19.801 * [backup-simplify]: Simplify (+ (* (- y z) t) 0) into (- (* t y) (* t z))
19.801 * [backup-simplify]: Simplify (* (- (* t y) (* t z)) (- (* t y) (* t z))) into (pow (- (* t y) (* t z)) 2)
19.802 * [backup-simplify]: Simplify (log (pow (- (* t y) (* t z)) 2)) into (log (pow (- (* t y) (* t z)) 2))
19.802 * [backup-simplify]: Simplify (* 1/3 (log (pow (- (* t y) (* t z)) 2))) into (* 1/3 (log (pow (- (* t y) (* t z)) 2)))
19.802 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (- (* t y) (* t z)) 2)))) into (pow (pow (- (* t y) (* t z)) 2) 1/3)
19.803 * [taylor]: Taking taylor expansion of (pow (pow (fma (- y z) (- t x) x) 2) 1/3) in t
19.803 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma (- y z) (- t x) x) 2)))) in t
19.803 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma (- y z) (- t x) x) 2))) in t
19.803 * [taylor]: Taking taylor expansion of 1/3 in t
19.803 * [backup-simplify]: Simplify 1/3 into 1/3
19.803 * [taylor]: Taking taylor expansion of (log (pow (fma (- y z) (- t x) x) 2)) in t
19.803 * [taylor]: Taking taylor expansion of (pow (fma (- y z) (- t x) x) 2) in t
19.803 * [taylor]: Taking taylor expansion of (fma (- y z) (- t x) x) in t
19.803 * [taylor]: Rewrote expression to (+ (* (- y z) (- t x)) x)
19.803 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in t
19.803 * [taylor]: Taking taylor expansion of (- y z) in t
19.803 * [taylor]: Taking taylor expansion of y in t
19.803 * [backup-simplify]: Simplify y into y
19.803 * [taylor]: Taking taylor expansion of z in t
19.803 * [backup-simplify]: Simplify z into z
19.803 * [taylor]: Taking taylor expansion of (- t x) in t
19.803 * [taylor]: Taking taylor expansion of t in t
19.803 * [backup-simplify]: Simplify 0 into 0
19.803 * [backup-simplify]: Simplify 1 into 1
19.803 * [taylor]: Taking taylor expansion of x in t
19.803 * [backup-simplify]: Simplify x into x
19.803 * [taylor]: Taking taylor expansion of x in t
19.803 * [backup-simplify]: Simplify x into x
19.803 * [backup-simplify]: Simplify (- z) into (- z)
19.803 * [backup-simplify]: Simplify (+ y (- z)) into (- y z)
19.803 * [backup-simplify]: Simplify (- x) into (- x)
19.804 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
19.804 * [backup-simplify]: Simplify (* (- y z) (- x)) into (* -1 (* (- y z) x))
19.804 * [backup-simplify]: Simplify (+ (* -1 (* (- y z) x)) x) into (- (+ (* x z) x) (* x y))
19.804 * [backup-simplify]: Simplify (* (- (+ (* x z) x) (* x y)) (- (+ (* x z) x) (* x y))) into (pow (- (+ (* x z) x) (* x y)) 2)
19.804 * [backup-simplify]: Simplify (log (pow (- (+ (* x z) x) (* x y)) 2)) into (log (pow (- (+ (* x z) x) (* x y)) 2))
19.805 * [backup-simplify]: Simplify (* 1/3 (log (pow (- (+ (* x z) x) (* x y)) 2))) into (* 1/3 (log (pow (- (+ (* x z) x) (* x y)) 2)))
19.806 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (- (+ (* x z) x) (* x y)) 2)))) into (pow (pow (- (+ (* x z) x) (* x y)) 2) 1/3)
19.806 * [taylor]: Taking taylor expansion of (pow (pow (fma (- y z) (- t x) x) 2) 1/3) in z
19.806 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma (- y z) (- t x) x) 2)))) in z
19.806 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma (- y z) (- t x) x) 2))) in z
19.806 * [taylor]: Taking taylor expansion of 1/3 in z
19.806 * [backup-simplify]: Simplify 1/3 into 1/3
19.806 * [taylor]: Taking taylor expansion of (log (pow (fma (- y z) (- t x) x) 2)) in z
19.806 * [taylor]: Taking taylor expansion of (pow (fma (- y z) (- t x) x) 2) in z
19.806 * [taylor]: Taking taylor expansion of (fma (- y z) (- t x) x) in z
19.806 * [taylor]: Rewrote expression to (+ (* (- y z) (- t x)) x)
19.806 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in z
19.806 * [taylor]: Taking taylor expansion of (- y z) in z
19.806 * [taylor]: Taking taylor expansion of y in z
19.806 * [backup-simplify]: Simplify y into y
19.806 * [taylor]: Taking taylor expansion of z in z
19.806 * [backup-simplify]: Simplify 0 into 0
19.806 * [backup-simplify]: Simplify 1 into 1
19.806 * [taylor]: Taking taylor expansion of (- t x) in z
19.806 * [taylor]: Taking taylor expansion of t in z
19.806 * [backup-simplify]: Simplify t into t
19.806 * [taylor]: Taking taylor expansion of x in z
19.806 * [backup-simplify]: Simplify x into x
19.806 * [taylor]: Taking taylor expansion of x in z
19.806 * [backup-simplify]: Simplify x into x
19.807 * [backup-simplify]: Simplify (- 0) into 0
19.807 * [backup-simplify]: Simplify (+ y 0) into y
19.807 * [backup-simplify]: Simplify (- x) into (- x)
19.807 * [backup-simplify]: Simplify (+ t (- x)) into (- t x)
19.808 * [backup-simplify]: Simplify (* y (- t x)) into (* (- t x) y)
19.808 * [backup-simplify]: Simplify (+ (* (- t x) y) x) into (- (+ (* t y) x) (* x y))
19.808 * [backup-simplify]: Simplify (* (- (+ (* t y) x) (* x y)) (- (+ (* t y) x) (* x y))) into (pow (- (+ (* t y) x) (* x y)) 2)
19.808 * [backup-simplify]: Simplify (log (pow (- (+ (* t y) x) (* x y)) 2)) into (log (pow (- (+ (* t y) x) (* x y)) 2))
19.809 * [backup-simplify]: Simplify (* 1/3 (log (pow (- (+ (* t y) x) (* x y)) 2))) into (* 1/3 (log (pow (- (+ (* t y) x) (* x y)) 2)))
19.809 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (- (+ (* t y) x) (* x y)) 2)))) into (pow (pow (- (+ (* t y) x) (* x y)) 2) 1/3)
19.809 * [taylor]: Taking taylor expansion of (pow (pow (fma (- y z) (- t x) x) 2) 1/3) in y
19.809 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma (- y z) (- t x) x) 2)))) in y
19.809 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma (- y z) (- t x) x) 2))) in y
19.809 * [taylor]: Taking taylor expansion of 1/3 in y
19.809 * [backup-simplify]: Simplify 1/3 into 1/3
19.809 * [taylor]: Taking taylor expansion of (log (pow (fma (- y z) (- t x) x) 2)) in y
19.809 * [taylor]: Taking taylor expansion of (pow (fma (- y z) (- t x) x) 2) in y
19.809 * [taylor]: Taking taylor expansion of (fma (- y z) (- t x) x) in y
19.810 * [taylor]: Rewrote expression to (+ (* (- y z) (- t x)) x)
19.810 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in y
19.810 * [taylor]: Taking taylor expansion of (- y z) in y
19.810 * [taylor]: Taking taylor expansion of y in y
19.810 * [backup-simplify]: Simplify 0 into 0
19.810 * [backup-simplify]: Simplify 1 into 1
19.810 * [taylor]: Taking taylor expansion of z in y
19.810 * [backup-simplify]: Simplify z into z
19.810 * [taylor]: Taking taylor expansion of (- t x) in y
19.810 * [taylor]: Taking taylor expansion of t in y
19.810 * [backup-simplify]: Simplify t into t
19.810 * [taylor]: Taking taylor expansion of x in y
19.810 * [backup-simplify]: Simplify x into x
19.810 * [taylor]: Taking taylor expansion of x in y
19.810 * [backup-simplify]: Simplify x into x
19.810 * [backup-simplify]: Simplify (- z) into (- z)
19.810 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
19.810 * [backup-simplify]: Simplify (- x) into (- x)
19.810 * [backup-simplify]: Simplify (+ t (- x)) into (- t x)
19.810 * [backup-simplify]: Simplify (* (- z) (- t x)) into (* -1 (* z (- t x)))
19.811 * [backup-simplify]: Simplify (+ (* -1 (* z (- t x))) x) into (- (+ (* x z) x) (* t z))
19.811 * [backup-simplify]: Simplify (* (- (+ (* x z) x) (* t z)) (- (+ (* x z) x) (* t z))) into (pow (- (+ (* x z) x) (* t z)) 2)
19.811 * [backup-simplify]: Simplify (log (pow (- (+ (* x z) x) (* t z)) 2)) into (log (pow (- (+ (* x z) x) (* t z)) 2))
19.812 * [backup-simplify]: Simplify (* 1/3 (log (pow (- (+ (* x z) x) (* t z)) 2))) into (* 1/3 (log (pow (- (+ (* x z) x) (* t z)) 2)))
19.812 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (- (+ (* x z) x) (* t z)) 2)))) into (pow (pow (- (+ (* x z) x) (* t z)) 2) 1/3)
19.812 * [taylor]: Taking taylor expansion of (pow (pow (fma (- y z) (- t x) x) 2) 1/3) in y
19.812 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma (- y z) (- t x) x) 2)))) in y
19.812 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma (- y z) (- t x) x) 2))) in y
19.812 * [taylor]: Taking taylor expansion of 1/3 in y
19.812 * [backup-simplify]: Simplify 1/3 into 1/3
19.812 * [taylor]: Taking taylor expansion of (log (pow (fma (- y z) (- t x) x) 2)) in y
19.812 * [taylor]: Taking taylor expansion of (pow (fma (- y z) (- t x) x) 2) in y
19.812 * [taylor]: Taking taylor expansion of (fma (- y z) (- t x) x) in y
19.813 * [taylor]: Rewrote expression to (+ (* (- y z) (- t x)) x)
19.813 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in y
19.813 * [taylor]: Taking taylor expansion of (- y z) in y
19.813 * [taylor]: Taking taylor expansion of y in y
19.813 * [backup-simplify]: Simplify 0 into 0
19.813 * [backup-simplify]: Simplify 1 into 1
19.813 * [taylor]: Taking taylor expansion of z in y
19.813 * [backup-simplify]: Simplify z into z
19.813 * [taylor]: Taking taylor expansion of (- t x) in y
19.813 * [taylor]: Taking taylor expansion of t in y
19.813 * [backup-simplify]: Simplify t into t
19.813 * [taylor]: Taking taylor expansion of x in y
19.813 * [backup-simplify]: Simplify x into x
19.813 * [taylor]: Taking taylor expansion of x in y
19.813 * [backup-simplify]: Simplify x into x
19.813 * [backup-simplify]: Simplify (- z) into (- z)
19.813 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
19.813 * [backup-simplify]: Simplify (- x) into (- x)
19.813 * [backup-simplify]: Simplify (+ t (- x)) into (- t x)
19.813 * [backup-simplify]: Simplify (* (- z) (- t x)) into (* -1 (* z (- t x)))
19.813 * [backup-simplify]: Simplify (+ (* -1 (* z (- t x))) x) into (- (+ (* x z) x) (* t z))
19.814 * [backup-simplify]: Simplify (* (- (+ (* x z) x) (* t z)) (- (+ (* x z) x) (* t z))) into (pow (- (+ (* x z) x) (* t z)) 2)
19.814 * [backup-simplify]: Simplify (log (pow (- (+ (* x z) x) (* t z)) 2)) into (log (pow (- (+ (* x z) x) (* t z)) 2))
19.815 * [backup-simplify]: Simplify (* 1/3 (log (pow (- (+ (* x z) x) (* t z)) 2))) into (* 1/3 (log (pow (- (+ (* x z) x) (* t z)) 2)))
19.815 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (- (+ (* x z) x) (* t z)) 2)))) into (pow (pow (- (+ (* x z) x) (* t z)) 2) 1/3)
19.815 * [taylor]: Taking taylor expansion of (pow (pow (- (+ (* x z) x) (* t z)) 2) 1/3) in z
19.815 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (+ (* x z) x) (* t z)) 2)))) in z
19.815 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (+ (* x z) x) (* t z)) 2))) in z
19.815 * [taylor]: Taking taylor expansion of 1/3 in z
19.815 * [backup-simplify]: Simplify 1/3 into 1/3
19.815 * [taylor]: Taking taylor expansion of (log (pow (- (+ (* x z) x) (* t z)) 2)) in z
19.815 * [taylor]: Taking taylor expansion of (pow (- (+ (* x z) x) (* t z)) 2) in z
19.815 * [taylor]: Taking taylor expansion of (- (+ (* x z) x) (* t z)) in z
19.815 * [taylor]: Taking taylor expansion of (+ (* x z) x) in z
19.815 * [taylor]: Taking taylor expansion of (* x z) in z
19.815 * [taylor]: Taking taylor expansion of x in z
19.815 * [backup-simplify]: Simplify x into x
19.815 * [taylor]: Taking taylor expansion of z in z
19.815 * [backup-simplify]: Simplify 0 into 0
19.815 * [backup-simplify]: Simplify 1 into 1
19.815 * [taylor]: Taking taylor expansion of x in z
19.815 * [backup-simplify]: Simplify x into x
19.815 * [taylor]: Taking taylor expansion of (* t z) in z
19.816 * [taylor]: Taking taylor expansion of t in z
19.816 * [backup-simplify]: Simplify t into t
19.816 * [taylor]: Taking taylor expansion of z in z
19.816 * [backup-simplify]: Simplify 0 into 0
19.816 * [backup-simplify]: Simplify 1 into 1
19.816 * [backup-simplify]: Simplify (* x 0) into 0
19.816 * [backup-simplify]: Simplify (+ 0 x) into x
19.816 * [backup-simplify]: Simplify (* t 0) into 0
19.816 * [backup-simplify]: Simplify (- 0) into 0
19.817 * [backup-simplify]: Simplify (+ x 0) into x