35.425 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.038 * * * [progress]: [2/2] Setting up program.
0.040 * [progress]: [Phase 2 of 3] Improving.
0.040 * [simplify]: Simplifying:
  (/ (- (+ x y) z) (* t 2.0))
0.040 * * [simplify]: Extracting # 0 : cost  0
0.040 * * [simplify]: Extracting # 1 : cost  0
0.040 * * [simplify]: Extracting # 2 : cost  0
0.040 * * [simplify]: Extracting # 3 : cost  0
0.040 * * [simplify]: Extracting # 4 : cost  0
0.040 * * [simplify]: Extracting # 5 : cost  0
0.040 * * [simplify]: iteration  0 :  9  enodes  (cost  9 )
0.042 * * [simplify]: Extracting # 0 : cost  0
0.042 * * [simplify]: Extracting # 1 : cost  0
0.042 * * [simplify]: Extracting # 2 : cost  0
0.042 * * [simplify]: iteration  1 :  20  enodes  (cost  9 )
0.045 * * [simplify]: Extracting # 0 : cost  0
0.045 * * [simplify]: Extracting # 1 : cost  0
0.045 * * [simplify]: Extracting # 2 : cost  0
0.045 * * [simplify]: iteration  2 :  41  enodes  (cost  9 )
0.051 * * [simplify]: Extracting # 0 : cost  0
0.052 * * [simplify]: Extracting # 1 : cost  0
0.052 * * [simplify]: Extracting # 2 : cost  0
0.052 * * [simplify]: iteration  3 :  57  enodes  (cost  9 )
0.059 * * [simplify]: Extracting # 0 : cost  0
0.059 * * [simplify]: Extracting # 1 : cost  0
0.059 * * [simplify]: Extracting # 2 : cost  0
0.059 * * [simplify]: iteration  4 :  76  enodes  (cost  9 )
0.078 * * [simplify]: Extracting # 0 : cost  0
0.078 * * [simplify]: Extracting # 1 : cost  0
0.078 * * [simplify]: Extracting # 2 : cost  0
0.078 * * [simplify]: iteration  5 :  110  enodes  (cost  9 )
0.107 * * [simplify]: Extracting # 0 : cost  0
0.108 * * [simplify]: Extracting # 1 : cost  0
0.108 * * [simplify]: Extracting # 2 : cost  0
0.108 * * [simplify]: iteration  6 :  219  enodes  (cost  9 )
0.145 * * [simplify]: Extracting # 0 : cost  0
0.145 * * [simplify]: Extracting # 1 : cost  0
0.146 * * [simplify]: Extracting # 2 : cost  0
0.146 * * [simplify]: iteration  7 :  525  enodes  (cost  9 )
0.368 * * [simplify]: Extracting # 0 : cost  0
0.371 * * [simplify]: Extracting # 1 : cost  0
0.374 * * [simplify]: Extracting # 2 : cost  0
0.377 * * [simplify]: iteration  8 :  1516  enodes  (cost  9 )
1.628 * * [simplify]: Extracting # 0 : cost  0
1.639 * * [simplify]: Extracting # 1 : cost  0
1.649 * * [simplify]: Extracting # 2 : cost  0
1.656 * * [simplify]: iteration  9 :  4944  enodes  (cost  9 )
2.505 * * [simplify]: Extracting # 0 : cost  0
2.510 * * [simplify]: Extracting # 1 : cost  0
2.518 * * [simplify]: Extracting # 2 : cost  0
2.528 * * [simplify]: iteration done:  5000  enodes  (cost  9 )
2.528 * [simplify]: Simplified to:
  (/ (- (+ x y) z) (* t 2.0))
2.529 * * [progress]: iteration 1 / 4
2.529 * * * [progress]: picking best candidate
2.532 * * * * [pick]: Picked  #<alt (λ (x y z t) (/ (- (+ x y) z) (* t 2.0)))>
2.532 * * * [progress]: localizing error
2.549 * * * [progress]: generating rewritten candidates
2.549 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
2.645 * * * [progress]: generating series expansions
2.645 * * * * [progress]: [ 1 / 1 ] generating series at (2)
2.646 * [backup-simplify]: Simplify (/ (- (+ x y) z) (* t 2.0)) into (* 0.5 (/ (- (+ x y) z) t))
2.646 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in (x y z t) around 0
2.646 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in t
2.646 * [taylor]: Taking taylor expansion of 0.5 in t
2.646 * [backup-simplify]: Simplify 0.5 into 0.5
2.646 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in t
2.646 * [taylor]: Taking taylor expansion of (- (+ x y) z) in t
2.646 * [taylor]: Taking taylor expansion of (+ x y) in t
2.646 * [taylor]: Taking taylor expansion of x in t
2.646 * [backup-simplify]: Simplify x into x
2.646 * [taylor]: Taking taylor expansion of y in t
2.646 * [backup-simplify]: Simplify y into y
2.646 * [taylor]: Taking taylor expansion of z in t
2.646 * [backup-simplify]: Simplify z into z
2.646 * [taylor]: Taking taylor expansion of t in t
2.646 * [backup-simplify]: Simplify 0 into 0
2.646 * [backup-simplify]: Simplify 1 into 1
2.646 * [backup-simplify]: Simplify (+ x y) into (+ x y)
2.646 * [backup-simplify]: Simplify (- z) into (- z)
2.646 * [backup-simplify]: Simplify (+ (+ x y) (- z)) into (- (+ x y) z)
2.647 * [backup-simplify]: Simplify (/ (- (+ x y) z) 1) into (- (+ x y) z)
2.647 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in z
2.647 * [taylor]: Taking taylor expansion of 0.5 in z
2.647 * [backup-simplify]: Simplify 0.5 into 0.5
2.647 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in z
2.647 * [taylor]: Taking taylor expansion of (- (+ x y) z) in z
2.647 * [taylor]: Taking taylor expansion of (+ x y) in z
2.647 * [taylor]: Taking taylor expansion of x in z
2.647 * [backup-simplify]: Simplify x into x
2.647 * [taylor]: Taking taylor expansion of y in z
2.647 * [backup-simplify]: Simplify y into y
2.647 * [taylor]: Taking taylor expansion of z in z
2.647 * [backup-simplify]: Simplify 0 into 0
2.647 * [backup-simplify]: Simplify 1 into 1
2.647 * [taylor]: Taking taylor expansion of t in z
2.647 * [backup-simplify]: Simplify t into t
2.647 * [backup-simplify]: Simplify (+ x y) into (+ x y)
2.648 * [backup-simplify]: Simplify (- 0) into 0
2.648 * [backup-simplify]: Simplify (+ (+ x y) 0) into (+ x y)
2.649 * [backup-simplify]: Simplify (/ (+ x y) t) into (/ (+ x y) t)
2.649 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in y
2.649 * [taylor]: Taking taylor expansion of 0.5 in y
2.649 * [backup-simplify]: Simplify 0.5 into 0.5
2.649 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in y
2.649 * [taylor]: Taking taylor expansion of (- (+ x y) z) in y
2.649 * [taylor]: Taking taylor expansion of (+ x y) in y
2.649 * [taylor]: Taking taylor expansion of x in y
2.649 * [backup-simplify]: Simplify x into x
2.649 * [taylor]: Taking taylor expansion of y in y
2.649 * [backup-simplify]: Simplify 0 into 0
2.649 * [backup-simplify]: Simplify 1 into 1
2.649 * [taylor]: Taking taylor expansion of z in y
2.649 * [backup-simplify]: Simplify z into z
2.649 * [taylor]: Taking taylor expansion of t in y
2.649 * [backup-simplify]: Simplify t into t
2.649 * [backup-simplify]: Simplify (+ x 0) into x
2.649 * [backup-simplify]: Simplify (- z) into (- z)
2.649 * [backup-simplify]: Simplify (+ x (- z)) into (- x z)
2.649 * [backup-simplify]: Simplify (/ (- x z) t) into (/ (- x z) t)
2.649 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in x
2.649 * [taylor]: Taking taylor expansion of 0.5 in x
2.650 * [backup-simplify]: Simplify 0.5 into 0.5
2.650 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in x
2.650 * [taylor]: Taking taylor expansion of (- (+ x y) z) in x
2.650 * [taylor]: Taking taylor expansion of (+ x y) in x
2.650 * [taylor]: Taking taylor expansion of x in x
2.650 * [backup-simplify]: Simplify 0 into 0
2.650 * [backup-simplify]: Simplify 1 into 1
2.650 * [taylor]: Taking taylor expansion of y in x
2.650 * [backup-simplify]: Simplify y into y
2.650 * [taylor]: Taking taylor expansion of z in x
2.650 * [backup-simplify]: Simplify z into z
2.650 * [taylor]: Taking taylor expansion of t in x
2.650 * [backup-simplify]: Simplify t into t
2.650 * [backup-simplify]: Simplify (+ 0 y) into y
2.650 * [backup-simplify]: Simplify (- z) into (- z)
2.650 * [backup-simplify]: Simplify (+ y (- z)) into (- y z)
2.650 * [backup-simplify]: Simplify (/ (- y z) t) into (/ (- y z) t)
2.650 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in x
2.650 * [taylor]: Taking taylor expansion of 0.5 in x
2.650 * [backup-simplify]: Simplify 0.5 into 0.5
2.650 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in x
2.650 * [taylor]: Taking taylor expansion of (- (+ x y) z) in x
2.650 * [taylor]: Taking taylor expansion of (+ x y) in x
2.650 * [taylor]: Taking taylor expansion of x in x
2.650 * [backup-simplify]: Simplify 0 into 0
2.650 * [backup-simplify]: Simplify 1 into 1
2.651 * [taylor]: Taking taylor expansion of y in x
2.651 * [backup-simplify]: Simplify y into y
2.651 * [taylor]: Taking taylor expansion of z in x
2.651 * [backup-simplify]: Simplify z into z
2.651 * [taylor]: Taking taylor expansion of t in x
2.651 * [backup-simplify]: Simplify t into t
2.651 * [backup-simplify]: Simplify (+ 0 y) into y
2.651 * [backup-simplify]: Simplify (- z) into (- z)
2.651 * [backup-simplify]: Simplify (+ y (- z)) into (- y z)
2.651 * [backup-simplify]: Simplify (/ (- y z) t) into (/ (- y z) t)
2.651 * [backup-simplify]: Simplify (* 0.5 (/ (- y z) t)) into (* 0.5 (/ (- y z) t))
2.651 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- y z) t)) in y
2.651 * [taylor]: Taking taylor expansion of 0.5 in y
2.651 * [backup-simplify]: Simplify 0.5 into 0.5
2.651 * [taylor]: Taking taylor expansion of (/ (- y z) t) in y
2.651 * [taylor]: Taking taylor expansion of (- y z) in y
2.651 * [taylor]: Taking taylor expansion of y in y
2.651 * [backup-simplify]: Simplify 0 into 0
2.652 * [backup-simplify]: Simplify 1 into 1
2.652 * [taylor]: Taking taylor expansion of z in y
2.652 * [backup-simplify]: Simplify z into z
2.652 * [taylor]: Taking taylor expansion of t in y
2.652 * [backup-simplify]: Simplify t into t
2.652 * [backup-simplify]: Simplify (- z) into (- z)
2.652 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
2.652 * [backup-simplify]: Simplify (/ (- z) t) into (* -1 (/ z t))
2.652 * [backup-simplify]: Simplify (* 0.5 (* -1 (/ z t))) into (* -0.5 (/ z t))
2.652 * [taylor]: Taking taylor expansion of (* -0.5 (/ z t)) in z
2.652 * [taylor]: Taking taylor expansion of -0.5 in z
2.652 * [backup-simplify]: Simplify -0.5 into -0.5
2.652 * [taylor]: Taking taylor expansion of (/ z t) in z
2.652 * [taylor]: Taking taylor expansion of z in z
2.652 * [backup-simplify]: Simplify 0 into 0
2.652 * [backup-simplify]: Simplify 1 into 1
2.652 * [taylor]: Taking taylor expansion of t in z
2.652 * [backup-simplify]: Simplify t into t
2.652 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.653 * [backup-simplify]: Simplify (+ 1 0) into 1
2.653 * [backup-simplify]: Simplify (- 0) into 0
2.654 * [backup-simplify]: Simplify (+ 1 0) into 1
2.654 * [backup-simplify]: Simplify (- (/ 1 t) (+ (* (/ (- y z) t) (/ 0 t)))) into (/ 1 t)
2.654 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 t)) (* 0 (/ (- y z) t))) into (* 0.5 (/ 1 t))
2.654 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in y
2.654 * [taylor]: Taking taylor expansion of 0.5 in y
2.655 * [backup-simplify]: Simplify 0.5 into 0.5
2.655 * [taylor]: Taking taylor expansion of (/ 1 t) in y
2.655 * [taylor]: Taking taylor expansion of t in y
2.655 * [backup-simplify]: Simplify t into t
2.655 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.655 * [backup-simplify]: Simplify (* 0.5 (/ 1 t)) into (/ 0.5 t)
2.655 * [taylor]: Taking taylor expansion of (/ 0.5 t) in z
2.655 * [taylor]: Taking taylor expansion of 0.5 in z
2.655 * [backup-simplify]: Simplify 0.5 into 0.5
2.655 * [taylor]: Taking taylor expansion of t in z
2.655 * [backup-simplify]: Simplify t into t
2.655 * [backup-simplify]: Simplify (/ 0.5 t) into (/ 0.5 t)
2.655 * [taylor]: Taking taylor expansion of (/ 0.5 t) in t
2.655 * [taylor]: Taking taylor expansion of 0.5 in t
2.655 * [backup-simplify]: Simplify 0.5 into 0.5
2.655 * [taylor]: Taking taylor expansion of t in t
2.655 * [backup-simplify]: Simplify 0 into 0
2.655 * [backup-simplify]: Simplify 1 into 1
2.656 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
2.656 * [backup-simplify]: Simplify 0.5 into 0.5
2.657 * [backup-simplify]: Simplify (- 0) into 0
2.657 * [backup-simplify]: Simplify (+ 1 0) into 1
2.657 * [backup-simplify]: Simplify (- (/ 1 t) (+ (* (* -1 (/ z t)) (/ 0 t)))) into (/ 1 t)
2.657 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 t)) (* 0 (* -1 (/ z t)))) into (* 0.5 (/ 1 t))
2.658 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in z
2.658 * [taylor]: Taking taylor expansion of 0.5 in z
2.658 * [backup-simplify]: Simplify 0.5 into 0.5
2.658 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.658 * [taylor]: Taking taylor expansion of t in z
2.658 * [backup-simplify]: Simplify t into t
2.658 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.658 * [backup-simplify]: Simplify (* 0.5 (/ 1 t)) into (/ 0.5 t)
2.658 * [taylor]: Taking taylor expansion of (/ 0.5 t) in t
2.658 * [taylor]: Taking taylor expansion of 0.5 in t
2.658 * [backup-simplify]: Simplify 0.5 into 0.5
2.658 * [taylor]: Taking taylor expansion of t in t
2.658 * [backup-simplify]: Simplify 0 into 0
2.658 * [backup-simplify]: Simplify 1 into 1
2.659 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
2.659 * [backup-simplify]: Simplify 0.5 into 0.5
2.659 * [backup-simplify]: Simplify (* -0.5 (/ 1 t)) into (/ -0.5 t)
2.659 * [taylor]: Taking taylor expansion of (/ -0.5 t) in t
2.659 * [taylor]: Taking taylor expansion of -0.5 in t
2.659 * [backup-simplify]: Simplify -0.5 into -0.5
2.659 * [taylor]: Taking taylor expansion of t in t
2.659 * [backup-simplify]: Simplify 0 into 0
2.659 * [backup-simplify]: Simplify 1 into 1
2.660 * [backup-simplify]: Simplify (/ -0.5 1) into -0.5
2.660 * [backup-simplify]: Simplify -0.5 into -0.5
2.661 * [backup-simplify]: Simplify (+ (* -0.5 (* (/ 1 t) (* z (* 1 1)))) (+ (* 0.5 (* (/ 1 t) (* 1 (* y 1)))) (* 0.5 (* (/ 1 t) (* 1 (* 1 x)))))) into (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t)))
2.662 * [backup-simplify]: Simplify (/ (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)) (* (/ 1 t) 2.0)) into (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))))
2.662 * [approximate]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in (x y z t) around 0
2.662 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in t
2.662 * [taylor]: Taking taylor expansion of 0.5 in t
2.662 * [backup-simplify]: Simplify 0.5 into 0.5
2.662 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in t
2.662 * [taylor]: Taking taylor expansion of t in t
2.662 * [backup-simplify]: Simplify 0 into 0
2.662 * [backup-simplify]: Simplify 1 into 1
2.662 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in t
2.662 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
2.662 * [taylor]: Taking taylor expansion of (/ 1 y) in t
2.662 * [taylor]: Taking taylor expansion of y in t
2.662 * [backup-simplify]: Simplify y into y
2.662 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.662 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.662 * [taylor]: Taking taylor expansion of x in t
2.662 * [backup-simplify]: Simplify x into x
2.662 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.662 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.663 * [taylor]: Taking taylor expansion of z in t
2.663 * [backup-simplify]: Simplify z into z
2.663 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.663 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in z
2.663 * [taylor]: Taking taylor expansion of 0.5 in z
2.663 * [backup-simplify]: Simplify 0.5 into 0.5
2.663 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in z
2.663 * [taylor]: Taking taylor expansion of t in z
2.663 * [backup-simplify]: Simplify t into t
2.663 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in z
2.663 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
2.663 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.663 * [taylor]: Taking taylor expansion of y in z
2.663 * [backup-simplify]: Simplify y into y
2.663 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.663 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.663 * [taylor]: Taking taylor expansion of x in z
2.663 * [backup-simplify]: Simplify x into x
2.663 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.663 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.663 * [taylor]: Taking taylor expansion of z in z
2.663 * [backup-simplify]: Simplify 0 into 0
2.663 * [backup-simplify]: Simplify 1 into 1
2.664 * [backup-simplify]: Simplify (/ 1 1) into 1
2.664 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in y
2.664 * [taylor]: Taking taylor expansion of 0.5 in y
2.664 * [backup-simplify]: Simplify 0.5 into 0.5
2.664 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in y
2.664 * [taylor]: Taking taylor expansion of t in y
2.664 * [backup-simplify]: Simplify t into t
2.664 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in y
2.664 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
2.664 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.664 * [taylor]: Taking taylor expansion of y in y
2.664 * [backup-simplify]: Simplify 0 into 0
2.665 * [backup-simplify]: Simplify 1 into 1
2.665 * [backup-simplify]: Simplify (/ 1 1) into 1
2.665 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.665 * [taylor]: Taking taylor expansion of x in y
2.665 * [backup-simplify]: Simplify x into x
2.665 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.665 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.665 * [taylor]: Taking taylor expansion of z in y
2.665 * [backup-simplify]: Simplify z into z
2.665 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.665 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in x
2.665 * [taylor]: Taking taylor expansion of 0.5 in x
2.665 * [backup-simplify]: Simplify 0.5 into 0.5
2.665 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in x
2.666 * [taylor]: Taking taylor expansion of t in x
2.666 * [backup-simplify]: Simplify t into t
2.666 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in x
2.666 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
2.666 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.666 * [taylor]: Taking taylor expansion of y in x
2.666 * [backup-simplify]: Simplify y into y
2.666 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.666 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.666 * [taylor]: Taking taylor expansion of x in x
2.666 * [backup-simplify]: Simplify 0 into 0
2.666 * [backup-simplify]: Simplify 1 into 1
2.666 * [backup-simplify]: Simplify (/ 1 1) into 1
2.666 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.666 * [taylor]: Taking taylor expansion of z in x
2.666 * [backup-simplify]: Simplify z into z
2.666 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.667 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in x
2.667 * [taylor]: Taking taylor expansion of 0.5 in x
2.667 * [backup-simplify]: Simplify 0.5 into 0.5
2.667 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in x
2.667 * [taylor]: Taking taylor expansion of t in x
2.667 * [backup-simplify]: Simplify t into t
2.667 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in x
2.667 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
2.667 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.667 * [taylor]: Taking taylor expansion of y in x
2.667 * [backup-simplify]: Simplify y into y
2.667 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.667 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.667 * [taylor]: Taking taylor expansion of x in x
2.667 * [backup-simplify]: Simplify 0 into 0
2.667 * [backup-simplify]: Simplify 1 into 1
2.667 * [backup-simplify]: Simplify (/ 1 1) into 1
2.667 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.668 * [taylor]: Taking taylor expansion of z in x
2.668 * [backup-simplify]: Simplify z into z
2.668 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.668 * [backup-simplify]: Simplify (+ 0 1) into 1
2.669 * [backup-simplify]: Simplify (+ 1 0) into 1
2.669 * [backup-simplify]: Simplify (* t 1) into t
2.669 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
2.669 * [taylor]: Taking taylor expansion of (* 0.5 t) in y
2.669 * [taylor]: Taking taylor expansion of 0.5 in y
2.669 * [backup-simplify]: Simplify 0.5 into 0.5
2.669 * [taylor]: Taking taylor expansion of t in y
2.669 * [backup-simplify]: Simplify t into t
2.670 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.670 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
2.670 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
2.670 * [backup-simplify]: Simplify (+ (/ 1 y) (- (/ 1 z))) into (- (/ 1 y) (/ 1 z))
2.671 * [backup-simplify]: Simplify (+ (* t (- (/ 1 y) (/ 1 z))) (* 0 1)) into (- (/ t y) (/ t z))
2.671 * [backup-simplify]: Simplify (+ (* 0.5 (- (/ t y) (/ t z))) (* 0 t)) into (- (* 0.5 (/ t y)) (* 0.5 (/ t z)))
2.671 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t y)) (* 0.5 (/ t z))) in y
2.671 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y
2.671 * [taylor]: Taking taylor expansion of 0.5 in y
2.671 * [backup-simplify]: Simplify 0.5 into 0.5
2.671 * [taylor]: Taking taylor expansion of (/ t y) in y
2.671 * [taylor]: Taking taylor expansion of t in y
2.671 * [backup-simplify]: Simplify t into t
2.671 * [taylor]: Taking taylor expansion of y in y
2.671 * [backup-simplify]: Simplify 0 into 0
2.671 * [backup-simplify]: Simplify 1 into 1
2.672 * [backup-simplify]: Simplify (/ t 1) into t
2.672 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in y
2.672 * [taylor]: Taking taylor expansion of 0.5 in y
2.672 * [backup-simplify]: Simplify 0.5 into 0.5
2.672 * [taylor]: Taking taylor expansion of (/ t z) in y
2.672 * [taylor]: Taking taylor expansion of t in y
2.672 * [backup-simplify]: Simplify t into t
2.672 * [taylor]: Taking taylor expansion of z in y
2.672 * [backup-simplify]: Simplify z into z
2.672 * [backup-simplify]: Simplify (/ t z) into (/ t z)
2.672 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
2.672 * [backup-simplify]: Simplify (+ (* 0.5 t) 0) into (* 0.5 t)
2.672 * [taylor]: Taking taylor expansion of (* 0.5 t) in z
2.672 * [taylor]: Taking taylor expansion of 0.5 in z
2.672 * [backup-simplify]: Simplify 0.5 into 0.5
2.672 * [taylor]: Taking taylor expansion of t in z
2.672 * [backup-simplify]: Simplify t into t
2.672 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
2.672 * [taylor]: Taking taylor expansion of (* 0.5 t) in z
2.672 * [taylor]: Taking taylor expansion of 0.5 in z
2.672 * [backup-simplify]: Simplify 0.5 into 0.5
2.672 * [taylor]: Taking taylor expansion of t in z
2.672 * [backup-simplify]: Simplify t into t
2.673 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.678 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.679 * [backup-simplify]: Simplify (+ 0 0) into 0
2.679 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
2.679 * [backup-simplify]: Simplify (- 0) into 0
2.680 * [backup-simplify]: Simplify (+ 0 0) into 0
2.680 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 (- (/ 1 y) (/ 1 z))) (* 0 1))) into 0
2.681 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (- (/ t y) (/ t z))) (* 0 t))) into 0
2.681 * [taylor]: Taking taylor expansion of 0 in y
2.681 * [backup-simplify]: Simplify 0 into 0
2.682 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
2.682 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
2.682 * [backup-simplify]: Simplify (* 0.5 (/ t z)) into (* 0.5 (/ t z))
2.683 * [backup-simplify]: Simplify (- (* 0.5 (/ t z))) into (- (* 0.5 (/ t z)))
2.683 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ t z)))) into (- (* 0.5 (/ t z)))
2.683 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t z))) in z
2.683 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z
2.683 * [taylor]: Taking taylor expansion of 0.5 in z
2.683 * [backup-simplify]: Simplify 0.5 into 0.5
2.683 * [taylor]: Taking taylor expansion of (/ t z) in z
2.683 * [taylor]: Taking taylor expansion of t in z
2.683 * [backup-simplify]: Simplify t into t
2.683 * [taylor]: Taking taylor expansion of z in z
2.683 * [backup-simplify]: Simplify 0 into 0
2.683 * [backup-simplify]: Simplify 1 into 1
2.683 * [backup-simplify]: Simplify (/ t 1) into t
2.683 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
2.683 * [backup-simplify]: Simplify (- (* 0.5 t)) into (- (* 0.5 t))
2.683 * [taylor]: Taking taylor expansion of (- (* 0.5 t)) in t
2.683 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
2.684 * [taylor]: Taking taylor expansion of 0.5 in t
2.684 * [backup-simplify]: Simplify 0.5 into 0.5
2.684 * [taylor]: Taking taylor expansion of t in t
2.684 * [backup-simplify]: Simplify 0 into 0
2.684 * [backup-simplify]: Simplify 1 into 1
2.684 * [backup-simplify]: Simplify (* 0.5 0) into 0
2.684 * [backup-simplify]: Simplify (- 0) into 0
2.685 * [backup-simplify]: Simplify 0 into 0
2.685 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
2.685 * [taylor]: Taking taylor expansion of 0 in z
2.685 * [backup-simplify]: Simplify 0 into 0
2.685 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
2.685 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
2.685 * [taylor]: Taking taylor expansion of 0.5 in t
2.685 * [backup-simplify]: Simplify 0.5 into 0.5
2.685 * [taylor]: Taking taylor expansion of t in t
2.685 * [backup-simplify]: Simplify 0 into 0
2.685 * [backup-simplify]: Simplify 1 into 1
2.686 * [backup-simplify]: Simplify (* 0.5 0) into 0
2.686 * [backup-simplify]: Simplify 0 into 0
2.686 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
2.686 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
2.686 * [taylor]: Taking taylor expansion of 0.5 in t
2.686 * [backup-simplify]: Simplify 0.5 into 0.5
2.686 * [taylor]: Taking taylor expansion of t in t
2.686 * [backup-simplify]: Simplify 0 into 0
2.686 * [backup-simplify]: Simplify 1 into 1
2.687 * [backup-simplify]: Simplify (* 0.5 0) into 0
2.687 * [backup-simplify]: Simplify 0 into 0
2.687 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.688 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.688 * [backup-simplify]: Simplify (+ 0 0) into 0
2.688 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
2.689 * [backup-simplify]: Simplify (- 0) into 0
2.689 * [backup-simplify]: Simplify (+ 0 0) into 0
2.690 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y) (/ 1 z))) (* 0 1)))) into 0
2.691 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (- (/ t y) (/ t z))) (* 0 t)))) into 0
2.691 * [taylor]: Taking taylor expansion of 0 in y
2.691 * [backup-simplify]: Simplify 0 into 0
2.691 * [taylor]: Taking taylor expansion of 0 in z
2.691 * [backup-simplify]: Simplify 0 into 0
2.693 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.694 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
2.694 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
2.694 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ t z))) into 0
2.695 * [backup-simplify]: Simplify (- 0) into 0
2.695 * [backup-simplify]: Simplify (+ 0 0) into 0
2.695 * [taylor]: Taking taylor expansion of 0 in z
2.695 * [backup-simplify]: Simplify 0 into 0
2.696 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
2.696 * [taylor]: Taking taylor expansion of 0 in z
2.696 * [backup-simplify]: Simplify 0 into 0
2.697 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
2.697 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
2.697 * [backup-simplify]: Simplify (- 0) into 0
2.697 * [taylor]: Taking taylor expansion of 0 in t
2.697 * [backup-simplify]: Simplify 0 into 0
2.697 * [backup-simplify]: Simplify 0 into 0
2.697 * [taylor]: Taking taylor expansion of 0 in t
2.697 * [backup-simplify]: Simplify 0 into 0
2.698 * [backup-simplify]: Simplify 0 into 0
2.698 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
2.698 * [taylor]: Taking taylor expansion of 0 in t
2.698 * [backup-simplify]: Simplify 0 into 0
2.698 * [backup-simplify]: Simplify 0 into 0
2.698 * [backup-simplify]: Simplify 0 into 0
2.699 * [backup-simplify]: Simplify (/ (- (+ (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) (* (/ 1 (- t)) 2.0)) into (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))))
2.699 * [approximate]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in (x y z t) around 0
2.699 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in t
2.699 * [taylor]: Taking taylor expansion of -0.5 in t
2.699 * [backup-simplify]: Simplify -0.5 into -0.5
2.699 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in t
2.699 * [taylor]: Taking taylor expansion of t in t
2.699 * [backup-simplify]: Simplify 0 into 0
2.699 * [backup-simplify]: Simplify 1 into 1
2.699 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in t
2.699 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.699 * [taylor]: Taking taylor expansion of z in t
2.699 * [backup-simplify]: Simplify z into z
2.699 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.699 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
2.699 * [taylor]: Taking taylor expansion of (/ 1 y) in t
2.699 * [taylor]: Taking taylor expansion of y in t
2.699 * [backup-simplify]: Simplify y into y
2.699 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.699 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.699 * [taylor]: Taking taylor expansion of x in t
2.699 * [backup-simplify]: Simplify x into x
2.699 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.700 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in z
2.700 * [taylor]: Taking taylor expansion of -0.5 in z
2.700 * [backup-simplify]: Simplify -0.5 into -0.5
2.700 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in z
2.700 * [taylor]: Taking taylor expansion of t in z
2.700 * [backup-simplify]: Simplify t into t
2.700 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in z
2.700 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.700 * [taylor]: Taking taylor expansion of z in z
2.700 * [backup-simplify]: Simplify 0 into 0
2.700 * [backup-simplify]: Simplify 1 into 1
2.700 * [backup-simplify]: Simplify (/ 1 1) into 1
2.700 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
2.700 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.700 * [taylor]: Taking taylor expansion of y in z
2.700 * [backup-simplify]: Simplify y into y
2.700 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.700 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.700 * [taylor]: Taking taylor expansion of x in z
2.700 * [backup-simplify]: Simplify x into x
2.700 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.700 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in y
2.700 * [taylor]: Taking taylor expansion of -0.5 in y
2.701 * [backup-simplify]: Simplify -0.5 into -0.5
2.701 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in y
2.701 * [taylor]: Taking taylor expansion of t in y
2.701 * [backup-simplify]: Simplify t into t
2.701 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in y
2.701 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.701 * [taylor]: Taking taylor expansion of z in y
2.701 * [backup-simplify]: Simplify z into z
2.701 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.701 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
2.701 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.701 * [taylor]: Taking taylor expansion of y in y
2.701 * [backup-simplify]: Simplify 0 into 0
2.701 * [backup-simplify]: Simplify 1 into 1
2.701 * [backup-simplify]: Simplify (/ 1 1) into 1
2.701 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.701 * [taylor]: Taking taylor expansion of x in y
2.701 * [backup-simplify]: Simplify x into x
2.701 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.701 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in x
2.701 * [taylor]: Taking taylor expansion of -0.5 in x
2.701 * [backup-simplify]: Simplify -0.5 into -0.5
2.701 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x
2.701 * [taylor]: Taking taylor expansion of t in x
2.702 * [backup-simplify]: Simplify t into t
2.702 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
2.702 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.702 * [taylor]: Taking taylor expansion of z in x
2.702 * [backup-simplify]: Simplify z into z
2.702 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.702 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
2.702 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.702 * [taylor]: Taking taylor expansion of y in x
2.702 * [backup-simplify]: Simplify y into y
2.702 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.702 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.702 * [taylor]: Taking taylor expansion of x in x
2.702 * [backup-simplify]: Simplify 0 into 0
2.702 * [backup-simplify]: Simplify 1 into 1
2.702 * [backup-simplify]: Simplify (/ 1 1) into 1
2.702 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in x
2.702 * [taylor]: Taking taylor expansion of -0.5 in x
2.702 * [backup-simplify]: Simplify -0.5 into -0.5
2.702 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x
2.702 * [taylor]: Taking taylor expansion of t in x
2.702 * [backup-simplify]: Simplify t into t
2.702 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
2.702 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.703 * [taylor]: Taking taylor expansion of z in x
2.703 * [backup-simplify]: Simplify z into z
2.703 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.703 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
2.703 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.703 * [taylor]: Taking taylor expansion of y in x
2.703 * [backup-simplify]: Simplify y into y
2.703 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.703 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.703 * [taylor]: Taking taylor expansion of x in x
2.703 * [backup-simplify]: Simplify 0 into 0
2.703 * [backup-simplify]: Simplify 1 into 1
2.703 * [backup-simplify]: Simplify (/ 1 1) into 1
2.704 * [backup-simplify]: Simplify (+ 0 1) into 1
2.704 * [backup-simplify]: Simplify (- 1) into -1
2.704 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.704 * [backup-simplify]: Simplify (* t -1) into (* -1 t)
2.704 * [backup-simplify]: Simplify (* -0.5 (* -1 t)) into (* 0.5 t)
2.704 * [taylor]: Taking taylor expansion of (* 0.5 t) in y
2.705 * [taylor]: Taking taylor expansion of 0.5 in y
2.705 * [backup-simplify]: Simplify 0.5 into 0.5
2.705 * [taylor]: Taking taylor expansion of t in y
2.705 * [backup-simplify]: Simplify t into t
2.705 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.705 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
2.705 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.706 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 y))) into (- (/ 1 z) (/ 1 y))
2.706 * [backup-simplify]: Simplify (+ (* t (- (/ 1 z) (/ 1 y))) (* 0 -1)) into (- (/ t z) (/ t y))
2.707 * [backup-simplify]: Simplify (+ (* -0.5 (- (/ t z) (/ t y))) (* 0 (* -1 t))) into (- (* 0.5 (/ t y)) (* 0.5 (/ t z)))
2.707 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t y)) (* 0.5 (/ t z))) in y
2.707 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y
2.707 * [taylor]: Taking taylor expansion of 0.5 in y
2.707 * [backup-simplify]: Simplify 0.5 into 0.5
2.707 * [taylor]: Taking taylor expansion of (/ t y) in y
2.707 * [taylor]: Taking taylor expansion of t in y
2.707 * [backup-simplify]: Simplify t into t
2.707 * [taylor]: Taking taylor expansion of y in y
2.707 * [backup-simplify]: Simplify 0 into 0
2.707 * [backup-simplify]: Simplify 1 into 1
2.707 * [backup-simplify]: Simplify (/ t 1) into t
2.707 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in y
2.707 * [taylor]: Taking taylor expansion of 0.5 in y
2.707 * [backup-simplify]: Simplify 0.5 into 0.5
2.707 * [taylor]: Taking taylor expansion of (/ t z) in y
2.707 * [taylor]: Taking taylor expansion of t in y
2.707 * [backup-simplify]: Simplify t into t
2.707 * [taylor]: Taking taylor expansion of z in y
2.707 * [backup-simplify]: Simplify z into z
2.707 * [backup-simplify]: Simplify (/ t z) into (/ t z)
2.707 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
2.707 * [backup-simplify]: Simplify (+ (* 0.5 t) 0) into (* 0.5 t)
2.707 * [taylor]: Taking taylor expansion of (* 0.5 t) in z
2.707 * [taylor]: Taking taylor expansion of 0.5 in z
2.707 * [backup-simplify]: Simplify 0.5 into 0.5
2.707 * [taylor]: Taking taylor expansion of t in z
2.708 * [backup-simplify]: Simplify t into t
2.708 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
2.708 * [taylor]: Taking taylor expansion of (* 0.5 t) in z
2.708 * [taylor]: Taking taylor expansion of 0.5 in z
2.708 * [backup-simplify]: Simplify 0.5 into 0.5
2.708 * [taylor]: Taking taylor expansion of t in z
2.708 * [backup-simplify]: Simplify t into t
2.708 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
2.708 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.709 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.709 * [backup-simplify]: Simplify (+ 0 0) into 0
2.710 * [backup-simplify]: Simplify (- 0) into 0
2.710 * [backup-simplify]: Simplify (+ 0 0) into 0
2.711 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 (- (/ 1 z) (/ 1 y))) (* 0 -1))) into 0
2.711 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 (- (/ t z) (/ t y))) (* 0 (* -1 t)))) into 0
2.711 * [taylor]: Taking taylor expansion of 0 in y
2.712 * [backup-simplify]: Simplify 0 into 0
2.712 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
2.713 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
2.713 * [backup-simplify]: Simplify (* 0.5 (/ t z)) into (* 0.5 (/ t z))
2.713 * [backup-simplify]: Simplify (- (* 0.5 (/ t z))) into (- (* 0.5 (/ t z)))
2.713 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ t z)))) into (- (* 0.5 (/ t z)))
2.713 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t z))) in z
2.713 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z
2.713 * [taylor]: Taking taylor expansion of 0.5 in z
2.713 * [backup-simplify]: Simplify 0.5 into 0.5
2.713 * [taylor]: Taking taylor expansion of (/ t z) in z
2.713 * [taylor]: Taking taylor expansion of t in z
2.713 * [backup-simplify]: Simplify t into t
2.714 * [taylor]: Taking taylor expansion of z in z
2.714 * [backup-simplify]: Simplify 0 into 0
2.714 * [backup-simplify]: Simplify 1 into 1
2.714 * [backup-simplify]: Simplify (/ t 1) into t
2.714 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
2.714 * [backup-simplify]: Simplify (- (* 0.5 t)) into (- (* 0.5 t))
2.714 * [taylor]: Taking taylor expansion of (- (* 0.5 t)) in t
2.714 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
2.714 * [taylor]: Taking taylor expansion of 0.5 in t
2.714 * [backup-simplify]: Simplify 0.5 into 0.5
2.714 * [taylor]: Taking taylor expansion of t in t
2.714 * [backup-simplify]: Simplify 0 into 0
2.714 * [backup-simplify]: Simplify 1 into 1
2.714 * [backup-simplify]: Simplify (* 0.5 0) into 0
2.715 * [backup-simplify]: Simplify (- 0) into 0
2.715 * [backup-simplify]: Simplify 0 into 0
2.715 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
2.715 * [taylor]: Taking taylor expansion of 0 in z
2.715 * [backup-simplify]: Simplify 0 into 0
2.715 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
2.715 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
2.715 * [taylor]: Taking taylor expansion of 0.5 in t
2.716 * [backup-simplify]: Simplify 0.5 into 0.5
2.716 * [taylor]: Taking taylor expansion of t in t
2.716 * [backup-simplify]: Simplify 0 into 0
2.716 * [backup-simplify]: Simplify 1 into 1
2.716 * [backup-simplify]: Simplify (* 0.5 0) into 0
2.716 * [backup-simplify]: Simplify 0 into 0
2.716 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
2.716 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
2.716 * [taylor]: Taking taylor expansion of 0.5 in t
2.716 * [backup-simplify]: Simplify 0.5 into 0.5
2.716 * [taylor]: Taking taylor expansion of t in t
2.716 * [backup-simplify]: Simplify 0 into 0
2.716 * [backup-simplify]: Simplify 1 into 1
2.717 * [backup-simplify]: Simplify (* 0.5 0) into 0
2.717 * [backup-simplify]: Simplify 0 into 0
2.717 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
2.717 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.718 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.718 * [backup-simplify]: Simplify (+ 0 0) into 0
2.719 * [backup-simplify]: Simplify (- 0) into 0
2.719 * [backup-simplify]: Simplify (+ 0 0) into 0
2.720 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 (- (/ 1 z) (/ 1 y))) (* 0 -1)))) into 0
2.721 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 0) (+ (* 0 (- (/ t z) (/ t y))) (* 0 (* -1 t))))) into 0
2.721 * [taylor]: Taking taylor expansion of 0 in y
2.721 * [backup-simplify]: Simplify 0 into 0
2.721 * [taylor]: Taking taylor expansion of 0 in z
2.721 * [backup-simplify]: Simplify 0 into 0
2.723 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.723 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
2.724 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
2.724 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ t z))) into 0
2.724 * [backup-simplify]: Simplify (- 0) into 0
2.725 * [backup-simplify]: Simplify (+ 0 0) into 0
2.725 * [taylor]: Taking taylor expansion of 0 in z
2.725 * [backup-simplify]: Simplify 0 into 0
2.726 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
2.726 * [taylor]: Taking taylor expansion of 0 in z
2.726 * [backup-simplify]: Simplify 0 into 0
2.727 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
2.727 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
2.727 * [backup-simplify]: Simplify (- 0) into 0
2.727 * [taylor]: Taking taylor expansion of 0 in t
2.727 * [backup-simplify]: Simplify 0 into 0
2.727 * [backup-simplify]: Simplify 0 into 0
2.727 * [taylor]: Taking taylor expansion of 0 in t
2.728 * [backup-simplify]: Simplify 0 into 0
2.728 * [backup-simplify]: Simplify 0 into 0
2.728 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
2.728 * [taylor]: Taking taylor expansion of 0 in t
2.728 * [backup-simplify]: Simplify 0 into 0
2.728 * [backup-simplify]: Simplify 0 into 0
2.728 * [backup-simplify]: Simplify 0 into 0
2.728 * * * [progress]: simplifying candidates
2.729 * [simplify]: Simplifying:
  (expm1 (/ (- (+ x y) z) (* t 2.0)))
  (log1p (/ (- (+ x y) z) (* t 2.0)))
  (- (log (- (+ x y) z)) (+ (log t) (log 2.0)))
  (- (log (- (+ x y) z)) (log (* t 2.0)))
  (log (/ (- (+ x y) z) (* t 2.0)))
  (exp (/ (- (+ x y) z) (* t 2.0)))
  (/ (* (* (- (+ x y) z) (- (+ x y) z)) (- (+ x y) z)) (* (* (* t t) t) (* (* 2.0 2.0) 2.0)))
  (/ (* (* (- (+ x y) z) (- (+ x y) z)) (- (+ x y) z)) (* (* (* t 2.0) (* t 2.0)) (* t 2.0)))
  (* (cbrt (/ (- (+ x y) z) (* t 2.0))) (cbrt (/ (- (+ x y) z) (* t 2.0))))
  (cbrt (/ (- (+ x y) z) (* t 2.0)))
  (* (* (/ (- (+ x y) z) (* t 2.0)) (/ (- (+ x y) z) (* t 2.0))) (/ (- (+ x y) z) (* t 2.0)))
  (sqrt (/ (- (+ x y) z) (* t 2.0)))
  (sqrt (/ (- (+ x y) z) (* t 2.0)))
  (- (- (+ x y) z))
  (- (* t 2.0))
  (/ (+ x y) (* t 2.0))
  (/ z (* t 2.0))
  (/ (* (cbrt (- (+ x y) z)) (cbrt (- (+ x y) z))) t)
  (/ (cbrt (- (+ x y) z)) 2.0)
  (/ (sqrt (- (+ x y) z)) t)
  (/ (sqrt (- (+ x y) z)) 2.0)
  (/ 1 t)
  (/ (- (+ x y) z) 2.0)
  (/ (+ (sqrt (+ x y)) (sqrt z)) t)
  (/ (- (sqrt (+ x y)) (sqrt z)) 2.0)
  (/ 1 t)
  (/ (- (+ x y) z) 2.0)
  (/ 1 t)
  (/ (- (+ x y) z) 2.0)
  (/ 1 (* t 2.0))
  (/ (* t 2.0) (- (+ x y) z))
  (/ (- (+ x y) z) t)
  (/ (* t 2.0) (cbrt (- (+ x y) z)))
  (/ (* t 2.0) (sqrt (- (+ x y) z)))
  (/ (* t 2.0) (- (+ x y) z))
  (/ (* t 2.0) (- (sqrt (+ x y)) (sqrt z)))
  (/ (* t 2.0) (- (+ x y) z))
  (/ (* t 2.0) (- (+ x y) z))
  (* (* t 2.0) (+ (* (+ x y) (+ x y)) (+ (* z z) (* (+ x y) z))))
  (* (* t 2.0) (+ (+ x y) z))
  (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t)))
  0
  0
2.731 * * [simplify]: Extracting # 0 : cost  0
2.731 * * [simplify]: Extracting # 1 : cost  0
2.731 * * [simplify]: Extracting # 2 : cost  0
2.731 * * [simplify]: Extracting # 3 : cost  0
2.731 * * [simplify]: Extracting # 4 : cost  0
2.732 * * [simplify]: Extracting # 5 : cost  0
2.732 * * [simplify]: Extracting # 6 : cost  0
2.732 * * [simplify]: Extracting # 7 : cost  0
2.732 * * [simplify]: iteration  0 :  80  enodes  (cost  438 )
2.758 * * [simplify]: Extracting # 0 : cost  0
2.758 * * [simplify]: Extracting # 1 : cost  0
2.759 * * [simplify]: Extracting # 2 : cost  0
2.759 * * [simplify]: Extracting # 3 : cost  0
2.759 * * [simplify]: iteration  1 :  206  enodes  (cost  430 )
2.842 * * [simplify]: Extracting # 0 : cost  0
2.844 * * [simplify]: Extracting # 1 : cost  0
2.846 * * [simplify]: Extracting # 2 : cost  0
2.848 * * [simplify]: Extracting # 3 : cost  0
2.850 * * [simplify]: Extracting # 4 : cost  0
2.852 * * [simplify]: Extracting # 5 : cost  0
2.854 * * [simplify]: iteration  2 :  754  enodes  (cost  374 )
3.675 * * [simplify]: Extracting # 0 : cost  0
3.685 * * [simplify]: Extracting # 1 : cost  0
3.695 * * [simplify]: Extracting # 2 : cost  0
3.712 * * [simplify]: Extracting # 3 : cost  0
3.721 * * [simplify]: Extracting # 4 : cost  0
3.730 * * [simplify]: iteration  3 :  4216  enodes  (cost  372 )
4.958 * * [simplify]: Extracting # 0 : cost  0
4.966 * * [simplify]: Extracting # 1 : cost  0
4.973 * * [simplify]: iteration done:  5000  enodes  (cost  372 )
4.973 * [simplify]: Simplified to:
  (expm1 (/ (- (+ x y) z) (* t 2.0)))
  (log1p (/ (- (+ x y) z) (* t 2.0)))
  (log (/ (- (+ x y) z) (* t 2.0)))
  (log (/ (- (+ x y) z) (* t 2.0)))
  (log (/ (- (+ x y) z) (* t 2.0)))
  (exp (/ (- (+ x y) z) (* t 2.0)))
  (pow (/ (- (+ x y) z) (* t 2.0)) 3)
  (pow (/ (- (+ x y) z) (* t 2.0)) 3)
  (* (cbrt (/ (- (+ x y) z) (* t 2.0))) (cbrt (/ (- (+ x y) z) (* t 2.0))))
  (cbrt (/ (- (+ x y) z) (* t 2.0)))
  (pow (/ (- (+ x y) z) (* t 2.0)) 3)
  (sqrt (/ (- (+ x y) z) (* t 2.0)))
  (sqrt (/ (- (+ x y) z) (* t 2.0)))
  (- (- (+ x y) z))
  (- (* t 2.0))
  (/ (+ x y) (* t 2.0))
  (/ z (* t 2.0))
  (/ (* (cbrt (- (+ x y) z)) (cbrt (- (+ x y) z))) t)
  (/ (cbrt (- (+ x y) z)) 2.0)
  (/ (sqrt (- (+ x y) z)) t)
  (/ (sqrt (- (+ x y) z)) 2.0)
  (/ 1 t)
  (/ (- (+ x y) z) 2.0)
  (/ (+ (sqrt (+ x y)) (sqrt z)) t)
  (/ (- (sqrt (+ x y)) (sqrt z)) 2.0)
  (/ 1 t)
  (/ (- (+ x y) z) 2.0)
  (/ 1 t)
  (/ (- (+ x y) z) 2.0)
  (/ 1 (* t 2.0))
  (/ (* t 2.0) (- (+ x y) z))
  (/ (- (+ x y) z) t)
  (/ (* t 2.0) (cbrt (- (+ x y) z)))
  (/ (* t 2.0) (sqrt (- (+ x y) z)))
  (/ (* t 2.0) (- (+ x y) z))
  (/ (* t 2.0) (- (sqrt (+ x y)) (sqrt z)))
  (/ (* t 2.0) (- (+ x y) z))
  (/ (* t 2.0) (- (+ x y) z))
  (* (* t 2.0) (fma z z (* (+ x y) (+ (+ x y) z))))
  (* (* t 2.0) (+ (+ x y) z))
  (* 0.5 (- (+ (/ y t) (/ x t)) (/ z t)))
  0
  0
4.973 * * * [progress]: adding candidates to table
5.047 * * [progress]: iteration 2 / 4
5.047 * * * [progress]: picking best candidate
5.050 * * * * [pick]: Picked  #<alt (λ (x y z t) (/ (/ (- (+ x y) z) t) 2.0))>
5.050 * * * [progress]: localizing error
5.063 * * * [progress]: generating rewritten candidates
5.063 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
5.159 * * * [progress]: generating series expansions
5.159 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
5.160 * [backup-simplify]: Simplify (/ (- (+ x y) z) t) into (/ (- (+ x y) z) t)
5.160 * [approximate]: Taking taylor expansion of (/ (- (+ x y) z) t) in (x y z t) around 0
5.160 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in t
5.160 * [taylor]: Taking taylor expansion of (- (+ x y) z) in t
5.160 * [taylor]: Taking taylor expansion of (+ x y) in t
5.160 * [taylor]: Taking taylor expansion of x in t
5.160 * [backup-simplify]: Simplify x into x
5.160 * [taylor]: Taking taylor expansion of y in t
5.160 * [backup-simplify]: Simplify y into y
5.160 * [taylor]: Taking taylor expansion of z in t
5.160 * [backup-simplify]: Simplify z into z
5.160 * [taylor]: Taking taylor expansion of t in t
5.160 * [backup-simplify]: Simplify 0 into 0
5.160 * [backup-simplify]: Simplify 1 into 1
5.160 * [backup-simplify]: Simplify (+ x y) into (+ x y)
5.160 * [backup-simplify]: Simplify (- z) into (- z)
5.160 * [backup-simplify]: Simplify (+ (+ x y) (- z)) into (- (+ x y) z)
5.160 * [backup-simplify]: Simplify (/ (- (+ x y) z) 1) into (- (+ x y) z)
5.160 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in z
5.160 * [taylor]: Taking taylor expansion of (- (+ x y) z) in z
5.160 * [taylor]: Taking taylor expansion of (+ x y) in z
5.160 * [taylor]: Taking taylor expansion of x in z
5.160 * [backup-simplify]: Simplify x into x
5.160 * [taylor]: Taking taylor expansion of y in z
5.160 * [backup-simplify]: Simplify y into y
5.160 * [taylor]: Taking taylor expansion of z in z
5.160 * [backup-simplify]: Simplify 0 into 0
5.160 * [backup-simplify]: Simplify 1 into 1
5.160 * [taylor]: Taking taylor expansion of t in z
5.160 * [backup-simplify]: Simplify t into t
5.160 * [backup-simplify]: Simplify (+ x y) into (+ x y)
5.161 * [backup-simplify]: Simplify (- 0) into 0
5.161 * [backup-simplify]: Simplify (+ (+ x y) 0) into (+ x y)
5.161 * [backup-simplify]: Simplify (/ (+ x y) t) into (/ (+ x y) t)
5.161 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in y
5.161 * [taylor]: Taking taylor expansion of (- (+ x y) z) in y
5.161 * [taylor]: Taking taylor expansion of (+ x y) in y
5.161 * [taylor]: Taking taylor expansion of x in y
5.161 * [backup-simplify]: Simplify x into x
5.161 * [taylor]: Taking taylor expansion of y in y
5.161 * [backup-simplify]: Simplify 0 into 0
5.161 * [backup-simplify]: Simplify 1 into 1
5.161 * [taylor]: Taking taylor expansion of z in y
5.161 * [backup-simplify]: Simplify z into z
5.161 * [taylor]: Taking taylor expansion of t in y
5.161 * [backup-simplify]: Simplify t into t
5.161 * [backup-simplify]: Simplify (+ x 0) into x
5.161 * [backup-simplify]: Simplify (- z) into (- z)
5.161 * [backup-simplify]: Simplify (+ x (- z)) into (- x z)
5.161 * [backup-simplify]: Simplify (/ (- x z) t) into (/ (- x z) t)
5.161 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in x
5.161 * [taylor]: Taking taylor expansion of (- (+ x y) z) in x
5.161 * [taylor]: Taking taylor expansion of (+ x y) in x
5.161 * [taylor]: Taking taylor expansion of x in x
5.161 * [backup-simplify]: Simplify 0 into 0
5.161 * [backup-simplify]: Simplify 1 into 1
5.161 * [taylor]: Taking taylor expansion of y in x
5.161 * [backup-simplify]: Simplify y into y
5.161 * [taylor]: Taking taylor expansion of z in x
5.161 * [backup-simplify]: Simplify z into z
5.161 * [taylor]: Taking taylor expansion of t in x
5.161 * [backup-simplify]: Simplify t into t
5.161 * [backup-simplify]: Simplify (+ 0 y) into y
5.161 * [backup-simplify]: Simplify (- z) into (- z)
5.161 * [backup-simplify]: Simplify (+ y (- z)) into (- y z)
5.161 * [backup-simplify]: Simplify (/ (- y z) t) into (/ (- y z) t)
5.162 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in x
5.162 * [taylor]: Taking taylor expansion of (- (+ x y) z) in x
5.162 * [taylor]: Taking taylor expansion of (+ x y) in x
5.162 * [taylor]: Taking taylor expansion of x in x
5.162 * [backup-simplify]: Simplify 0 into 0
5.162 * [backup-simplify]: Simplify 1 into 1
5.162 * [taylor]: Taking taylor expansion of y in x
5.162 * [backup-simplify]: Simplify y into y
5.162 * [taylor]: Taking taylor expansion of z in x
5.162 * [backup-simplify]: Simplify z into z
5.162 * [taylor]: Taking taylor expansion of t in x
5.162 * [backup-simplify]: Simplify t into t
5.162 * [backup-simplify]: Simplify (+ 0 y) into y
5.162 * [backup-simplify]: Simplify (- z) into (- z)
5.162 * [backup-simplify]: Simplify (+ y (- z)) into (- y z)
5.162 * [backup-simplify]: Simplify (/ (- y z) t) into (/ (- y z) t)
5.162 * [taylor]: Taking taylor expansion of (/ (- y z) t) in y
5.162 * [taylor]: Taking taylor expansion of (- y z) in y
5.162 * [taylor]: Taking taylor expansion of y in y
5.162 * [backup-simplify]: Simplify 0 into 0
5.162 * [backup-simplify]: Simplify 1 into 1
5.162 * [taylor]: Taking taylor expansion of z in y
5.162 * [backup-simplify]: Simplify z into z
5.162 * [taylor]: Taking taylor expansion of t in y
5.162 * [backup-simplify]: Simplify t into t
5.162 * [backup-simplify]: Simplify (- z) into (- z)
5.162 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
5.162 * [backup-simplify]: Simplify (/ (- z) t) into (* -1 (/ z t))
5.162 * [taylor]: Taking taylor expansion of (* -1 (/ z t)) in z
5.162 * [taylor]: Taking taylor expansion of -1 in z
5.162 * [backup-simplify]: Simplify -1 into -1
5.162 * [taylor]: Taking taylor expansion of (/ z t) in z
5.162 * [taylor]: Taking taylor expansion of z in z
5.162 * [backup-simplify]: Simplify 0 into 0
5.162 * [backup-simplify]: Simplify 1 into 1
5.162 * [taylor]: Taking taylor expansion of t in z
5.162 * [backup-simplify]: Simplify t into t
5.162 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.163 * [backup-simplify]: Simplify (+ 1 0) into 1
5.163 * [backup-simplify]: Simplify (- 0) into 0
5.163 * [backup-simplify]: Simplify (+ 1 0) into 1
5.163 * [backup-simplify]: Simplify (- (/ 1 t) (+ (* (/ (- y z) t) (/ 0 t)))) into (/ 1 t)
5.163 * [taylor]: Taking taylor expansion of (/ 1 t) in y
5.163 * [taylor]: Taking taylor expansion of t in y
5.163 * [backup-simplify]: Simplify t into t
5.163 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.163 * [taylor]: Taking taylor expansion of (/ 1 t) in z
5.163 * [taylor]: Taking taylor expansion of t in z
5.163 * [backup-simplify]: Simplify t into t
5.163 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.163 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.163 * [taylor]: Taking taylor expansion of t in t
5.163 * [backup-simplify]: Simplify 0 into 0
5.163 * [backup-simplify]: Simplify 1 into 1
5.164 * [backup-simplify]: Simplify (/ 1 1) into 1
5.164 * [backup-simplify]: Simplify 1 into 1
5.164 * [backup-simplify]: Simplify (- 0) into 0
5.164 * [backup-simplify]: Simplify (+ 1 0) into 1
5.164 * [backup-simplify]: Simplify (- (/ 1 t) (+ (* (* -1 (/ z t)) (/ 0 t)))) into (/ 1 t)
5.164 * [taylor]: Taking taylor expansion of (/ 1 t) in z
5.164 * [taylor]: Taking taylor expansion of t in z
5.164 * [backup-simplify]: Simplify t into t
5.164 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.164 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.164 * [taylor]: Taking taylor expansion of t in t
5.164 * [backup-simplify]: Simplify 0 into 0
5.165 * [backup-simplify]: Simplify 1 into 1
5.165 * [backup-simplify]: Simplify (/ 1 1) into 1
5.165 * [backup-simplify]: Simplify 1 into 1
5.165 * [backup-simplify]: Simplify (* -1 (/ 1 t)) into (/ -1 t)
5.165 * [taylor]: Taking taylor expansion of (/ -1 t) in t
5.165 * [taylor]: Taking taylor expansion of -1 in t
5.165 * [backup-simplify]: Simplify -1 into -1
5.165 * [taylor]: Taking taylor expansion of t in t
5.165 * [backup-simplify]: Simplify 0 into 0
5.165 * [backup-simplify]: Simplify 1 into 1
5.165 * [backup-simplify]: Simplify (/ -1 1) into -1
5.165 * [backup-simplify]: Simplify -1 into -1
5.166 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 t) (* z (* 1 1)))) (+ (* 1 (* (/ 1 t) (* 1 (* y 1)))) (* 1 (* (/ 1 t) (* 1 (* 1 x)))))) into (- (+ (/ y t) (/ x t)) (/ z t))
5.166 * [backup-simplify]: Simplify (/ (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)) (/ 1 t)) into (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))
5.166 * [approximate]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in (x y z t) around 0
5.166 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in t
5.166 * [taylor]: Taking taylor expansion of t in t
5.166 * [backup-simplify]: Simplify 0 into 0
5.166 * [backup-simplify]: Simplify 1 into 1
5.166 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in t
5.166 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
5.166 * [taylor]: Taking taylor expansion of (/ 1 y) in t
5.166 * [taylor]: Taking taylor expansion of y in t
5.166 * [backup-simplify]: Simplify y into y
5.166 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.166 * [taylor]: Taking taylor expansion of (/ 1 x) in t
5.166 * [taylor]: Taking taylor expansion of x in t
5.166 * [backup-simplify]: Simplify x into x
5.166 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.166 * [taylor]: Taking taylor expansion of (/ 1 z) in t
5.166 * [taylor]: Taking taylor expansion of z in t
5.166 * [backup-simplify]: Simplify z into z
5.166 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.166 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in z
5.166 * [taylor]: Taking taylor expansion of t in z
5.166 * [backup-simplify]: Simplify t into t
5.166 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in z
5.166 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
5.166 * [taylor]: Taking taylor expansion of (/ 1 y) in z
5.166 * [taylor]: Taking taylor expansion of y in z
5.166 * [backup-simplify]: Simplify y into y
5.166 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.167 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.167 * [taylor]: Taking taylor expansion of x in z
5.167 * [backup-simplify]: Simplify x into x
5.167 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.167 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.167 * [taylor]: Taking taylor expansion of z in z
5.167 * [backup-simplify]: Simplify 0 into 0
5.167 * [backup-simplify]: Simplify 1 into 1
5.167 * [backup-simplify]: Simplify (/ 1 1) into 1
5.167 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in y
5.167 * [taylor]: Taking taylor expansion of t in y
5.167 * [backup-simplify]: Simplify t into t
5.167 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in y
5.167 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
5.167 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.167 * [taylor]: Taking taylor expansion of y in y
5.167 * [backup-simplify]: Simplify 0 into 0
5.167 * [backup-simplify]: Simplify 1 into 1
5.167 * [backup-simplify]: Simplify (/ 1 1) into 1
5.167 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.167 * [taylor]: Taking taylor expansion of x in y
5.167 * [backup-simplify]: Simplify x into x
5.167 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.167 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.167 * [taylor]: Taking taylor expansion of z in y
5.167 * [backup-simplify]: Simplify z into z
5.167 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.167 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in x
5.167 * [taylor]: Taking taylor expansion of t in x
5.168 * [backup-simplify]: Simplify t into t
5.168 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in x
5.168 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
5.168 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.168 * [taylor]: Taking taylor expansion of y in x
5.168 * [backup-simplify]: Simplify y into y
5.168 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.168 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.168 * [taylor]: Taking taylor expansion of x in x
5.168 * [backup-simplify]: Simplify 0 into 0
5.168 * [backup-simplify]: Simplify 1 into 1
5.168 * [backup-simplify]: Simplify (/ 1 1) into 1
5.168 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.168 * [taylor]: Taking taylor expansion of z in x
5.168 * [backup-simplify]: Simplify z into z
5.168 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.168 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in x
5.168 * [taylor]: Taking taylor expansion of t in x
5.168 * [backup-simplify]: Simplify t into t
5.168 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in x
5.168 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
5.168 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.168 * [taylor]: Taking taylor expansion of y in x
5.168 * [backup-simplify]: Simplify y into y
5.168 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.168 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.168 * [taylor]: Taking taylor expansion of x in x
5.168 * [backup-simplify]: Simplify 0 into 0
5.168 * [backup-simplify]: Simplify 1 into 1
5.168 * [backup-simplify]: Simplify (/ 1 1) into 1
5.169 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.169 * [taylor]: Taking taylor expansion of z in x
5.169 * [backup-simplify]: Simplify z into z
5.169 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.169 * [backup-simplify]: Simplify (+ 0 1) into 1
5.169 * [backup-simplify]: Simplify (+ 1 0) into 1
5.169 * [backup-simplify]: Simplify (* t 1) into t
5.169 * [taylor]: Taking taylor expansion of t in y
5.169 * [backup-simplify]: Simplify t into t
5.170 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.170 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
5.170 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
5.170 * [backup-simplify]: Simplify (+ (/ 1 y) (- (/ 1 z))) into (- (/ 1 y) (/ 1 z))
5.170 * [backup-simplify]: Simplify (+ (* t (- (/ 1 y) (/ 1 z))) (* 0 1)) into (- (/ t y) (/ t z))
5.170 * [taylor]: Taking taylor expansion of (- (/ t y) (/ t z)) in y
5.170 * [taylor]: Taking taylor expansion of (/ t y) in y
5.170 * [taylor]: Taking taylor expansion of t in y
5.170 * [backup-simplify]: Simplify t into t
5.170 * [taylor]: Taking taylor expansion of y in y
5.170 * [backup-simplify]: Simplify 0 into 0
5.170 * [backup-simplify]: Simplify 1 into 1
5.170 * [backup-simplify]: Simplify (/ t 1) into t
5.170 * [taylor]: Taking taylor expansion of (/ t z) in y
5.170 * [taylor]: Taking taylor expansion of t in y
5.170 * [backup-simplify]: Simplify t into t
5.170 * [taylor]: Taking taylor expansion of z in y
5.170 * [backup-simplify]: Simplify z into z
5.171 * [backup-simplify]: Simplify (/ t z) into (/ t z)
5.171 * [backup-simplify]: Simplify (+ t 0) into t
5.171 * [taylor]: Taking taylor expansion of t in z
5.171 * [backup-simplify]: Simplify t into t
5.171 * [taylor]: Taking taylor expansion of t in z
5.171 * [backup-simplify]: Simplify t into t
5.171 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.171 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.171 * [backup-simplify]: Simplify (+ 0 0) into 0
5.172 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
5.172 * [backup-simplify]: Simplify (- 0) into 0
5.172 * [backup-simplify]: Simplify (+ 0 0) into 0
5.172 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 (- (/ 1 y) (/ 1 z))) (* 0 1))) into 0
5.172 * [taylor]: Taking taylor expansion of 0 in y
5.172 * [backup-simplify]: Simplify 0 into 0
5.173 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
5.173 * [backup-simplify]: Simplify (- (/ t z)) into (- (/ t z))
5.173 * [backup-simplify]: Simplify (+ 0 (- (/ t z))) into (- (/ t z))
5.173 * [taylor]: Taking taylor expansion of (- (/ t z)) in z
5.173 * [taylor]: Taking taylor expansion of (/ t z) in z
5.173 * [taylor]: Taking taylor expansion of t in z
5.173 * [backup-simplify]: Simplify t into t
5.173 * [taylor]: Taking taylor expansion of z in z
5.173 * [backup-simplify]: Simplify 0 into 0
5.173 * [backup-simplify]: Simplify 1 into 1
5.173 * [backup-simplify]: Simplify (/ t 1) into t
5.173 * [backup-simplify]: Simplify (- t) into (- t)
5.173 * [taylor]: Taking taylor expansion of (- t) in t
5.174 * [taylor]: Taking taylor expansion of t in t
5.174 * [backup-simplify]: Simplify 0 into 0
5.174 * [backup-simplify]: Simplify 1 into 1
5.174 * [backup-simplify]: Simplify (- 0) into 0
5.174 * [backup-simplify]: Simplify 0 into 0
5.174 * [taylor]: Taking taylor expansion of 0 in z
5.174 * [backup-simplify]: Simplify 0 into 0
5.174 * [taylor]: Taking taylor expansion of t in t
5.174 * [backup-simplify]: Simplify 0 into 0
5.174 * [backup-simplify]: Simplify 1 into 1
5.174 * [backup-simplify]: Simplify 0 into 0
5.174 * [taylor]: Taking taylor expansion of t in t
5.174 * [backup-simplify]: Simplify 0 into 0
5.174 * [backup-simplify]: Simplify 1 into 1
5.174 * [backup-simplify]: Simplify 0 into 0
5.174 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.175 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.175 * [backup-simplify]: Simplify (+ 0 0) into 0
5.175 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.175 * [backup-simplify]: Simplify (- 0) into 0
5.175 * [backup-simplify]: Simplify (+ 0 0) into 0
5.176 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y) (/ 1 z))) (* 0 1)))) into 0
5.176 * [taylor]: Taking taylor expansion of 0 in y
5.176 * [backup-simplify]: Simplify 0 into 0
5.176 * [taylor]: Taking taylor expansion of 0 in z
5.176 * [backup-simplify]: Simplify 0 into 0
5.177 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.177 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
5.177 * [backup-simplify]: Simplify (- 0) into 0
5.177 * [backup-simplify]: Simplify (+ 0 0) into 0
5.177 * [taylor]: Taking taylor expansion of 0 in z
5.178 * [backup-simplify]: Simplify 0 into 0
5.178 * [taylor]: Taking taylor expansion of 0 in z
5.178 * [backup-simplify]: Simplify 0 into 0
5.178 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
5.178 * [backup-simplify]: Simplify (- 0) into 0
5.178 * [taylor]: Taking taylor expansion of 0 in t
5.178 * [backup-simplify]: Simplify 0 into 0
5.178 * [backup-simplify]: Simplify 0 into 0
5.178 * [taylor]: Taking taylor expansion of 0 in t
5.178 * [backup-simplify]: Simplify 0 into 0
5.178 * [backup-simplify]: Simplify 0 into 0
5.178 * [taylor]: Taking taylor expansion of 0 in t
5.178 * [backup-simplify]: Simplify 0 into 0
5.178 * [backup-simplify]: Simplify 0 into 0
5.179 * [backup-simplify]: Simplify 0 into 0
5.179 * [backup-simplify]: Simplify (/ (- (+ (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) (/ 1 (- t))) into (* -1 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))))
5.179 * [approximate]: Taking taylor expansion of (* -1 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in (x y z t) around 0
5.179 * [taylor]: Taking taylor expansion of (* -1 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in t
5.179 * [taylor]: Taking taylor expansion of -1 in t
5.179 * [backup-simplify]: Simplify -1 into -1
5.179 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in t
5.179 * [taylor]: Taking taylor expansion of t in t
5.179 * [backup-simplify]: Simplify 0 into 0
5.179 * [backup-simplify]: Simplify 1 into 1
5.179 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in t
5.179 * [taylor]: Taking taylor expansion of (/ 1 z) in t
5.179 * [taylor]: Taking taylor expansion of z in t
5.179 * [backup-simplify]: Simplify z into z
5.179 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.179 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
5.179 * [taylor]: Taking taylor expansion of (/ 1 y) in t
5.179 * [taylor]: Taking taylor expansion of y in t
5.179 * [backup-simplify]: Simplify y into y
5.179 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.179 * [taylor]: Taking taylor expansion of (/ 1 x) in t
5.179 * [taylor]: Taking taylor expansion of x in t
5.179 * [backup-simplify]: Simplify x into x
5.179 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.179 * [taylor]: Taking taylor expansion of (* -1 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in z
5.179 * [taylor]: Taking taylor expansion of -1 in z
5.179 * [backup-simplify]: Simplify -1 into -1
5.179 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in z
5.179 * [taylor]: Taking taylor expansion of t in z
5.179 * [backup-simplify]: Simplify t into t
5.179 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in z
5.179 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.179 * [taylor]: Taking taylor expansion of z in z
5.179 * [backup-simplify]: Simplify 0 into 0
5.179 * [backup-simplify]: Simplify 1 into 1
5.180 * [backup-simplify]: Simplify (/ 1 1) into 1
5.180 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
5.180 * [taylor]: Taking taylor expansion of (/ 1 y) in z
5.180 * [taylor]: Taking taylor expansion of y in z
5.180 * [backup-simplify]: Simplify y into y
5.180 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.180 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.180 * [taylor]: Taking taylor expansion of x in z
5.180 * [backup-simplify]: Simplify x into x
5.180 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.180 * [taylor]: Taking taylor expansion of (* -1 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in y
5.180 * [taylor]: Taking taylor expansion of -1 in y
5.180 * [backup-simplify]: Simplify -1 into -1
5.180 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in y
5.180 * [taylor]: Taking taylor expansion of t in y
5.180 * [backup-simplify]: Simplify t into t
5.180 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in y
5.180 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.180 * [taylor]: Taking taylor expansion of z in y
5.180 * [backup-simplify]: Simplify z into z
5.180 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.180 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
5.180 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.180 * [taylor]: Taking taylor expansion of y in y
5.180 * [backup-simplify]: Simplify 0 into 0
5.180 * [backup-simplify]: Simplify 1 into 1
5.180 * [backup-simplify]: Simplify (/ 1 1) into 1
5.180 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.180 * [taylor]: Taking taylor expansion of x in y
5.180 * [backup-simplify]: Simplify x into x
5.180 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.180 * [taylor]: Taking taylor expansion of (* -1 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in x
5.180 * [taylor]: Taking taylor expansion of -1 in x
5.180 * [backup-simplify]: Simplify -1 into -1
5.180 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x
5.180 * [taylor]: Taking taylor expansion of t in x
5.180 * [backup-simplify]: Simplify t into t
5.180 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
5.181 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.181 * [taylor]: Taking taylor expansion of z in x
5.181 * [backup-simplify]: Simplify z into z
5.181 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.181 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
5.181 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.181 * [taylor]: Taking taylor expansion of y in x
5.181 * [backup-simplify]: Simplify y into y
5.181 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.181 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.181 * [taylor]: Taking taylor expansion of x in x
5.181 * [backup-simplify]: Simplify 0 into 0
5.181 * [backup-simplify]: Simplify 1 into 1
5.181 * [backup-simplify]: Simplify (/ 1 1) into 1
5.181 * [taylor]: Taking taylor expansion of (* -1 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in x
5.181 * [taylor]: Taking taylor expansion of -1 in x
5.181 * [backup-simplify]: Simplify -1 into -1
5.181 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x
5.181 * [taylor]: Taking taylor expansion of t in x
5.181 * [backup-simplify]: Simplify t into t
5.181 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
5.181 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.181 * [taylor]: Taking taylor expansion of z in x
5.181 * [backup-simplify]: Simplify z into z
5.181 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.181 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
5.181 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.181 * [taylor]: Taking taylor expansion of y in x
5.181 * [backup-simplify]: Simplify y into y
5.181 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.181 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.181 * [taylor]: Taking taylor expansion of x in x
5.181 * [backup-simplify]: Simplify 0 into 0
5.181 * [backup-simplify]: Simplify 1 into 1
5.182 * [backup-simplify]: Simplify (/ 1 1) into 1
5.182 * [backup-simplify]: Simplify (+ 0 1) into 1
5.182 * [backup-simplify]: Simplify (- 1) into -1
5.182 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.182 * [backup-simplify]: Simplify (* t -1) into (* -1 t)
5.182 * [backup-simplify]: Simplify (* -1 (* -1 t)) into t
5.182 * [taylor]: Taking taylor expansion of t in y
5.182 * [backup-simplify]: Simplify t into t
5.183 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.183 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
5.183 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
5.183 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 y))) into (- (/ 1 z) (/ 1 y))
5.183 * [backup-simplify]: Simplify (+ (* t (- (/ 1 z) (/ 1 y))) (* 0 -1)) into (- (/ t z) (/ t y))
5.184 * [backup-simplify]: Simplify (+ (* -1 (- (/ t z) (/ t y))) (* 0 (* -1 t))) into (- (/ t y) (/ t z))
5.184 * [taylor]: Taking taylor expansion of (- (/ t y) (/ t z)) in y
5.184 * [taylor]: Taking taylor expansion of (/ t y) in y
5.184 * [taylor]: Taking taylor expansion of t in y
5.184 * [backup-simplify]: Simplify t into t
5.184 * [taylor]: Taking taylor expansion of y in y
5.184 * [backup-simplify]: Simplify 0 into 0
5.184 * [backup-simplify]: Simplify 1 into 1
5.184 * [backup-simplify]: Simplify (/ t 1) into t
5.184 * [taylor]: Taking taylor expansion of (/ t z) in y
5.184 * [taylor]: Taking taylor expansion of t in y
5.184 * [backup-simplify]: Simplify t into t
5.184 * [taylor]: Taking taylor expansion of z in y
5.184 * [backup-simplify]: Simplify z into z
5.184 * [backup-simplify]: Simplify (/ t z) into (/ t z)
5.184 * [backup-simplify]: Simplify (+ t 0) into t
5.184 * [taylor]: Taking taylor expansion of t in z
5.184 * [backup-simplify]: Simplify t into t
5.184 * [taylor]: Taking taylor expansion of t in z
5.184 * [backup-simplify]: Simplify t into t
5.184 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
5.184 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.185 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.185 * [backup-simplify]: Simplify (+ 0 0) into 0
5.185 * [backup-simplify]: Simplify (- 0) into 0
5.185 * [backup-simplify]: Simplify (+ 0 0) into 0
5.186 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 (- (/ 1 z) (/ 1 y))) (* 0 -1))) into 0
5.186 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (- (/ t z) (/ t y))) (* 0 (* -1 t)))) into 0
5.186 * [taylor]: Taking taylor expansion of 0 in y
5.186 * [backup-simplify]: Simplify 0 into 0
5.187 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
5.187 * [backup-simplify]: Simplify (- (/ t z)) into (- (/ t z))
5.187 * [backup-simplify]: Simplify (+ 0 (- (/ t z))) into (- (/ t z))
5.187 * [taylor]: Taking taylor expansion of (- (/ t z)) in z
5.187 * [taylor]: Taking taylor expansion of (/ t z) in z
5.187 * [taylor]: Taking taylor expansion of t in z
5.187 * [backup-simplify]: Simplify t into t
5.187 * [taylor]: Taking taylor expansion of z in z
5.187 * [backup-simplify]: Simplify 0 into 0
5.187 * [backup-simplify]: Simplify 1 into 1
5.187 * [backup-simplify]: Simplify (/ t 1) into t
5.187 * [backup-simplify]: Simplify (- t) into (- t)
5.187 * [taylor]: Taking taylor expansion of (- t) in t
5.187 * [taylor]: Taking taylor expansion of t in t
5.187 * [backup-simplify]: Simplify 0 into 0
5.187 * [backup-simplify]: Simplify 1 into 1
5.187 * [backup-simplify]: Simplify (- 0) into 0
5.187 * [backup-simplify]: Simplify 0 into 0
5.187 * [taylor]: Taking taylor expansion of 0 in z
5.187 * [backup-simplify]: Simplify 0 into 0
5.187 * [taylor]: Taking taylor expansion of t in t
5.187 * [backup-simplify]: Simplify 0 into 0
5.187 * [backup-simplify]: Simplify 1 into 1
5.187 * [backup-simplify]: Simplify 0 into 0
5.187 * [taylor]: Taking taylor expansion of t in t
5.188 * [backup-simplify]: Simplify 0 into 0
5.188 * [backup-simplify]: Simplify 1 into 1
5.188 * [backup-simplify]: Simplify 0 into 0
5.188 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.188 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.188 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.189 * [backup-simplify]: Simplify (+ 0 0) into 0
5.189 * [backup-simplify]: Simplify (- 0) into 0
5.189 * [backup-simplify]: Simplify (+ 0 0) into 0
5.190 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 (- (/ 1 z) (/ 1 y))) (* 0 -1)))) into 0
5.190 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (- (/ t z) (/ t y))) (* 0 (* -1 t))))) into 0
5.190 * [taylor]: Taking taylor expansion of 0 in y
5.190 * [backup-simplify]: Simplify 0 into 0
5.190 * [taylor]: Taking taylor expansion of 0 in z
5.190 * [backup-simplify]: Simplify 0 into 0
5.191 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.191 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
5.191 * [backup-simplify]: Simplify (- 0) into 0
5.192 * [backup-simplify]: Simplify (+ 0 0) into 0
5.192 * [taylor]: Taking taylor expansion of 0 in z
5.192 * [backup-simplify]: Simplify 0 into 0
5.192 * [taylor]: Taking taylor expansion of 0 in z
5.192 * [backup-simplify]: Simplify 0 into 0
5.192 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
5.192 * [backup-simplify]: Simplify (- 0) into 0
5.192 * [taylor]: Taking taylor expansion of 0 in t
5.192 * [backup-simplify]: Simplify 0 into 0
5.192 * [backup-simplify]: Simplify 0 into 0
5.193 * [taylor]: Taking taylor expansion of 0 in t
5.193 * [backup-simplify]: Simplify 0 into 0
5.193 * [backup-simplify]: Simplify 0 into 0
5.193 * [taylor]: Taking taylor expansion of 0 in t
5.193 * [backup-simplify]: Simplify 0 into 0
5.193 * [backup-simplify]: Simplify 0 into 0
5.193 * [backup-simplify]: Simplify 0 into 0
5.193 * * * [progress]: simplifying candidates
5.194 * [simplify]: Simplifying:
  (expm1 (/ (- (+ x y) z) t))
  (log1p (/ (- (+ x y) z) t))
  (- (log (- (+ x y) z)) (log t))
  (log (/ (- (+ x y) z) t))
  (exp (/ (- (+ x y) z) t))
  (/ (* (* (- (+ x y) z) (- (+ x y) z)) (- (+ x y) z)) (* (* t t) t))
  (* (cbrt (/ (- (+ x y) z) t)) (cbrt (/ (- (+ x y) z) t)))
  (cbrt (/ (- (+ x y) z) t))
  (* (* (/ (- (+ x y) z) t) (/ (- (+ x y) z) t)) (/ (- (+ x y) z) t))
  (sqrt (/ (- (+ x y) z) t))
  (sqrt (/ (- (+ x y) z) t))
  (- (- (+ x y) z))
  (- t)
  (/ (+ x y) t)
  (/ z t)
  (/ (* (cbrt (- (+ x y) z)) (cbrt (- (+ x y) z))) (* (cbrt t) (cbrt t)))
  (/ (cbrt (- (+ x y) z)) (cbrt t))
  (/ (* (cbrt (- (+ x y) z)) (cbrt (- (+ x y) z))) (sqrt t))
  (/ (cbrt (- (+ x y) z)) (sqrt t))
  (/ (* (cbrt (- (+ x y) z)) (cbrt (- (+ x y) z))) 1)
  (/ (cbrt (- (+ x y) z)) t)
  (/ (sqrt (- (+ x y) z)) (* (cbrt t) (cbrt t)))
  (/ (sqrt (- (+ x y) z)) (cbrt t))
  (/ (sqrt (- (+ x y) z)) (sqrt t))
  (/ (sqrt (- (+ x y) z)) (sqrt t))
  (/ (sqrt (- (+ x y) z)) 1)
  (/ (sqrt (- (+ x y) z)) t)
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (- (+ x y) z) (cbrt t))
  (/ 1 (sqrt t))
  (/ (- (+ x y) z) (sqrt t))
  (/ 1 1)
  (/ (- (+ x y) z) t)
  (/ (+ (sqrt (+ x y)) (sqrt z)) (* (cbrt t) (cbrt t)))
  (/ (- (sqrt (+ x y)) (sqrt z)) (cbrt t))
  (/ (+ (sqrt (+ x y)) (sqrt z)) (sqrt t))
  (/ (- (sqrt (+ x y)) (sqrt z)) (sqrt t))
  (/ (+ (sqrt (+ x y)) (sqrt z)) 1)
  (/ (- (sqrt (+ x y)) (sqrt z)) t)
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (- (+ x y) z) (cbrt t))
  (/ 1 (sqrt t))
  (/ (- (+ x y) z) (sqrt t))
  (/ 1 1)
  (/ (- (+ x y) z) t)
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (- (+ x y) z) (cbrt t))
  (/ 1 (sqrt t))
  (/ (- (+ x y) z) (sqrt t))
  (/ 1 1)
  (/ (- (+ x y) z) t)
  (/ 1 t)
  (/ t (- (+ x y) z))
  (/ (- (+ x y) z) (* (cbrt t) (cbrt t)))
  (/ (- (+ x y) z) (sqrt t))
  (/ (- (+ x y) z) 1)
  (/ t (cbrt (- (+ x y) z)))
  (/ t (sqrt (- (+ x y) z)))
  (/ t (- (+ x y) z))
  (/ t (- (sqrt (+ x y)) (sqrt z)))
  (/ t (- (+ x y) z))
  (/ t (- (+ x y) z))
  (* t (+ (* (+ x y) (+ x y)) (+ (* z z) (* (+ x y) z))))
  (* t (+ (+ x y) z))
  (- (+ (/ y t) (/ x t)) (/ z t))
  0
  0
5.195 * * [simplify]: Extracting # 0 : cost  0
5.195 * * [simplify]: Extracting # 1 : cost  0
5.196 * * [simplify]: Extracting # 2 : cost  0
5.196 * * [simplify]: Extracting # 3 : cost  0
5.196 * * [simplify]: Extracting # 4 : cost  0
5.196 * * [simplify]: Extracting # 5 : cost  0
5.196 * * [simplify]: Extracting # 6 : cost  0
5.196 * * [simplify]: iteration  0 :  81  enodes  (cost  568 )
5.211 * * [simplify]: Extracting # 0 : cost  0
5.212 * * [simplify]: Extracting # 1 : cost  0
5.212 * * [simplify]: Extracting # 2 : cost  0
5.213 * * [simplify]: iteration  1 :  185  enodes  (cost  550 )
5.281 * * [simplify]: Extracting # 0 : cost  0
5.282 * * [simplify]: Extracting # 1 : cost  0
5.284 * * [simplify]: Extracting # 2 : cost  0
5.285 * * [simplify]: Extracting # 3 : cost  0
5.286 * * [simplify]: Extracting # 4 : cost  0
5.287 * * [simplify]: iteration  2 :  643  enodes  (cost  524 )
5.807 * * [simplify]: Extracting # 0 : cost  0
5.818 * * [simplify]: Extracting # 1 : cost  0
5.827 * * [simplify]: Extracting # 2 : cost  0
5.836 * * [simplify]: Extracting # 3 : cost  0
5.845 * * [simplify]: Extracting # 4 : cost  0
5.854 * * [simplify]: iteration  3 :  4205  enodes  (cost  520 )
7.102 * * [simplify]: Extracting # 0 : cost  0
7.108 * * [simplify]: Extracting # 1 : cost  0
7.121 * * [simplify]: iteration done:  5000  enodes  (cost  520 )
7.121 * [simplify]: Simplified to:
  (expm1 (/ (- (+ x y) z) t))
  (log1p (/ (- (+ x y) z) t))
  (log (/ (- (+ x y) z) t))
  (log (/ (- (+ x y) z) t))
  (exp (/ (- (+ x y) z) t))
  (pow (/ (- (+ x y) z) t) 3)
  (* (cbrt (/ (- (+ x y) z) t)) (cbrt (/ (- (+ x y) z) t)))
  (cbrt (/ (- (+ x y) z) t))
  (pow (/ (- (+ x y) z) t) 3)
  (sqrt (/ (- (+ x y) z) t))
  (sqrt (/ (- (+ x y) z) t))
  (- (- (+ x y) z))
  (- t)
  (/ (+ x y) t)
  (/ z t)
  (/ (* (cbrt (- (+ x y) z)) (cbrt (- (+ x y) z))) (* (cbrt t) (cbrt t)))
  (/ (cbrt (- (+ x y) z)) (cbrt t))
  (/ (* (cbrt (- (+ x y) z)) (cbrt (- (+ x y) z))) (sqrt t))
  (/ (cbrt (- (+ x y) z)) (sqrt t))
  (* (cbrt (- (+ x y) z)) (cbrt (- (+ x y) z)))
  (/ (cbrt (- (+ x y) z)) t)
  (/ (sqrt (- (+ x y) z)) (* (cbrt t) (cbrt t)))
  (/ (sqrt (- (+ x y) z)) (cbrt t))
  (/ (sqrt (- (+ x y) z)) (sqrt t))
  (/ (sqrt (- (+ x y) z)) (sqrt t))
  (sqrt (- (+ x y) z))
  (/ (sqrt (- (+ x y) z)) t)
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (- (+ x y) z) (cbrt t))
  (/ 1 (sqrt t))
  (/ (- (+ x y) z) (sqrt t))
  1
  (/ (- (+ x y) z) t)
  (/ (+ (sqrt (+ x y)) (sqrt z)) (* (cbrt t) (cbrt t)))
  (/ (- (sqrt (+ x y)) (sqrt z)) (cbrt t))
  (/ (+ (sqrt (+ x y)) (sqrt z)) (sqrt t))
  (/ (- (sqrt (+ x y)) (sqrt z)) (sqrt t))
  (+ (sqrt (+ x y)) (sqrt z))
  (/ (- (sqrt (+ x y)) (sqrt z)) t)
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (- (+ x y) z) (cbrt t))
  (/ 1 (sqrt t))
  (/ (- (+ x y) z) (sqrt t))
  1
  (/ (- (+ x y) z) t)
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (- (+ x y) z) (cbrt t))
  (/ 1 (sqrt t))
  (/ (- (+ x y) z) (sqrt t))
  1
  (/ (- (+ x y) z) t)
  (/ 1 t)
  (/ t (- (+ x y) z))
  (/ (- (+ x y) z) (* (cbrt t) (cbrt t)))
  (/ (- (+ x y) z) (sqrt t))
  (- (+ x y) z)
  (/ t (cbrt (- (+ x y) z)))
  (/ t (sqrt (- (+ x y) z)))
  (/ t (- (+ x y) z))
  (/ t (- (sqrt (+ x y)) (sqrt z)))
  (/ t (- (+ x y) z))
  (/ t (- (+ x y) z))
  (* t (fma z z (* (+ x y) (+ (+ x y) z))))
  (* t (+ (+ x y) z))
  (- (+ (/ y t) (/ x t)) (/ z t))
  0
  0
7.122 * * * [progress]: adding candidates to table
7.223 * * [progress]: iteration 3 / 4
7.223 * * * [progress]: picking best candidate
7.225 * * * * [pick]: Picked  #<alt (λ (x y z t) (/ (- (/ (+ x y) t) (/ z t)) 2.0))>
7.225 * * * [progress]: localizing error
7.236 * * * [progress]: generating rewritten candidates
7.236 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
7.346 * * * [progress]: generating series expansions
7.346 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
7.346 * [backup-simplify]: Simplify (- (/ (+ x y) t) (/ z t)) into (- (+ (/ x t) (/ y t)) (/ z t))
7.346 * [approximate]: Taking taylor expansion of (- (+ (/ x t) (/ y t)) (/ z t)) in (x y t z) around 0
7.346 * [taylor]: Taking taylor expansion of (- (+ (/ x t) (/ y t)) (/ z t)) in z
7.346 * [taylor]: Taking taylor expansion of (+ (/ x t) (/ y t)) in z
7.346 * [taylor]: Taking taylor expansion of (/ x t) in z
7.346 * [taylor]: Taking taylor expansion of x in z
7.346 * [backup-simplify]: Simplify x into x
7.346 * [taylor]: Taking taylor expansion of t in z
7.347 * [backup-simplify]: Simplify t into t
7.347 * [backup-simplify]: Simplify (/ x t) into (/ x t)
7.347 * [taylor]: Taking taylor expansion of (/ y t) in z
7.347 * [taylor]: Taking taylor expansion of y in z
7.347 * [backup-simplify]: Simplify y into y
7.347 * [taylor]: Taking taylor expansion of t in z
7.347 * [backup-simplify]: Simplify t into t
7.347 * [backup-simplify]: Simplify (/ y t) into (/ y t)
7.347 * [taylor]: Taking taylor expansion of (/ z t) in z
7.347 * [taylor]: Taking taylor expansion of z in z
7.347 * [backup-simplify]: Simplify 0 into 0
7.347 * [backup-simplify]: Simplify 1 into 1
7.347 * [taylor]: Taking taylor expansion of t in z
7.347 * [backup-simplify]: Simplify t into t
7.347 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
7.347 * [taylor]: Taking taylor expansion of (- (+ (/ x t) (/ y t)) (/ z t)) in t
7.347 * [taylor]: Taking taylor expansion of (+ (/ x t) (/ y t)) in t
7.347 * [taylor]: Taking taylor expansion of (/ x t) in t
7.347 * [taylor]: Taking taylor expansion of x in t
7.347 * [backup-simplify]: Simplify x into x
7.347 * [taylor]: Taking taylor expansion of t in t
7.347 * [backup-simplify]: Simplify 0 into 0
7.347 * [backup-simplify]: Simplify 1 into 1
7.347 * [backup-simplify]: Simplify (/ x 1) into x
7.347 * [taylor]: Taking taylor expansion of (/ y t) in t
7.347 * [taylor]: Taking taylor expansion of y in t
7.347 * [backup-simplify]: Simplify y into y
7.347 * [taylor]: Taking taylor expansion of t in t
7.347 * [backup-simplify]: Simplify 0 into 0
7.347 * [backup-simplify]: Simplify 1 into 1
7.347 * [backup-simplify]: Simplify (/ y 1) into y
7.347 * [taylor]: Taking taylor expansion of (/ z t) in t
7.347 * [taylor]: Taking taylor expansion of z in t
7.347 * [backup-simplify]: Simplify z into z
7.347 * [taylor]: Taking taylor expansion of t in t
7.347 * [backup-simplify]: Simplify 0 into 0
7.347 * [backup-simplify]: Simplify 1 into 1
7.347 * [backup-simplify]: Simplify (/ z 1) into z
7.347 * [taylor]: Taking taylor expansion of (- (+ (/ x t) (/ y t)) (/ z t)) in y
7.347 * [taylor]: Taking taylor expansion of (+ (/ x t) (/ y t)) in y
7.347 * [taylor]: Taking taylor expansion of (/ x t) in y
7.347 * [taylor]: Taking taylor expansion of x in y
7.347 * [backup-simplify]: Simplify x into x
7.347 * [taylor]: Taking taylor expansion of t in y
7.347 * [backup-simplify]: Simplify t into t
7.347 * [backup-simplify]: Simplify (/ x t) into (/ x t)
7.347 * [taylor]: Taking taylor expansion of (/ y t) in y
7.347 * [taylor]: Taking taylor expansion of y in y
7.347 * [backup-simplify]: Simplify 0 into 0
7.347 * [backup-simplify]: Simplify 1 into 1
7.347 * [taylor]: Taking taylor expansion of t in y
7.347 * [backup-simplify]: Simplify t into t
7.347 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
7.348 * [taylor]: Taking taylor expansion of (/ z t) in y
7.348 * [taylor]: Taking taylor expansion of z in y
7.348 * [backup-simplify]: Simplify z into z
7.348 * [taylor]: Taking taylor expansion of t in y
7.348 * [backup-simplify]: Simplify t into t
7.348 * [backup-simplify]: Simplify (/ z t) into (/ z t)
7.348 * [taylor]: Taking taylor expansion of (- (+ (/ x t) (/ y t)) (/ z t)) in x
7.348 * [taylor]: Taking taylor expansion of (+ (/ x t) (/ y t)) in x
7.348 * [taylor]: Taking taylor expansion of (/ x t) in x
7.348 * [taylor]: Taking taylor expansion of x in x
7.348 * [backup-simplify]: Simplify 0 into 0
7.348 * [backup-simplify]: Simplify 1 into 1
7.348 * [taylor]: Taking taylor expansion of t in x
7.348 * [backup-simplify]: Simplify t into t
7.348 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
7.348 * [taylor]: Taking taylor expansion of (/ y t) in x
7.348 * [taylor]: Taking taylor expansion of y in x
7.348 * [backup-simplify]: Simplify y into y
7.348 * [taylor]: Taking taylor expansion of t in x
7.348 * [backup-simplify]: Simplify t into t
7.348 * [backup-simplify]: Simplify (/ y t) into (/ y t)
7.348 * [taylor]: Taking taylor expansion of (/ z t) in x
7.348 * [taylor]: Taking taylor expansion of z in x
7.348 * [backup-simplify]: Simplify z into z
7.348 * [taylor]: Taking taylor expansion of t in x
7.348 * [backup-simplify]: Simplify t into t
7.348 * [backup-simplify]: Simplify (/ z t) into (/ z t)
7.348 * [taylor]: Taking taylor expansion of (- (+ (/ x t) (/ y t)) (/ z t)) in x
7.348 * [taylor]: Taking taylor expansion of (+ (/ x t) (/ y t)) in x
7.348 * [taylor]: Taking taylor expansion of (/ x t) in x
7.348 * [taylor]: Taking taylor expansion of x in x
7.348 * [backup-simplify]: Simplify 0 into 0
7.348 * [backup-simplify]: Simplify 1 into 1
7.348 * [taylor]: Taking taylor expansion of t in x
7.348 * [backup-simplify]: Simplify t into t
7.348 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
7.348 * [taylor]: Taking taylor expansion of (/ y t) in x
7.348 * [taylor]: Taking taylor expansion of y in x
7.348 * [backup-simplify]: Simplify y into y
7.348 * [taylor]: Taking taylor expansion of t in x
7.348 * [backup-simplify]: Simplify t into t
7.348 * [backup-simplify]: Simplify (/ y t) into (/ y t)
7.348 * [taylor]: Taking taylor expansion of (/ z t) in x
7.348 * [taylor]: Taking taylor expansion of z in x
7.348 * [backup-simplify]: Simplify z into z
7.348 * [taylor]: Taking taylor expansion of t in x
7.348 * [backup-simplify]: Simplify t into t
7.348 * [backup-simplify]: Simplify (/ z t) into (/ z t)
7.349 * [backup-simplify]: Simplify (+ 0 (/ y t)) into (/ y t)
7.349 * [backup-simplify]: Simplify (- (/ z t)) into (- (/ z t))
7.349 * [backup-simplify]: Simplify (+ (/ y t) (- (/ z t))) into (- (/ y t) (/ z t))
7.349 * [taylor]: Taking taylor expansion of (- (/ y t) (/ z t)) in y
7.349 * [taylor]: Taking taylor expansion of (/ y t) in y
7.349 * [taylor]: Taking taylor expansion of y in y
7.349 * [backup-simplify]: Simplify 0 into 0
7.349 * [backup-simplify]: Simplify 1 into 1
7.349 * [taylor]: Taking taylor expansion of t in y
7.349 * [backup-simplify]: Simplify t into t
7.349 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
7.349 * [taylor]: Taking taylor expansion of (/ z t) in y
7.349 * [taylor]: Taking taylor expansion of z in y
7.349 * [backup-simplify]: Simplify z into z
7.349 * [taylor]: Taking taylor expansion of t in y
7.349 * [backup-simplify]: Simplify t into t
7.349 * [backup-simplify]: Simplify (/ z t) into (/ z t)
7.349 * [backup-simplify]: Simplify (- (/ z t)) into (- (/ z t))
7.349 * [backup-simplify]: Simplify (+ 0 (- (/ z t))) into (- (/ z t))
7.349 * [taylor]: Taking taylor expansion of (- (/ z t)) in t
7.349 * [taylor]: Taking taylor expansion of (/ z t) in t
7.349 * [taylor]: Taking taylor expansion of z in t
7.349 * [backup-simplify]: Simplify z into z
7.349 * [taylor]: Taking taylor expansion of t in t
7.349 * [backup-simplify]: Simplify 0 into 0
7.349 * [backup-simplify]: Simplify 1 into 1
7.349 * [backup-simplify]: Simplify (/ z 1) into z
7.349 * [backup-simplify]: Simplify (- z) into (- z)
7.349 * [taylor]: Taking taylor expansion of (- z) in z
7.349 * [taylor]: Taking taylor expansion of z in z
7.349 * [backup-simplify]: Simplify 0 into 0
7.349 * [backup-simplify]: Simplify 1 into 1
7.350 * [backup-simplify]: Simplify (- 0) into 0
7.350 * [backup-simplify]: Simplify 0 into 0
7.350 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ y t) (/ 0 t)))) into 0
7.350 * [backup-simplify]: Simplify (+ (/ 1 t) 0) into (/ 1 t)
7.350 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ z t) (/ 0 t)))) into 0
7.350 * [backup-simplify]: Simplify (- 0) into 0
7.351 * [backup-simplify]: Simplify (+ (/ 1 t) 0) into (/ 1 t)
7.351 * [taylor]: Taking taylor expansion of (/ 1 t) in y
7.351 * [taylor]: Taking taylor expansion of t in y
7.351 * [backup-simplify]: Simplify t into t
7.351 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
7.351 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.351 * [taylor]: Taking taylor expansion of t in t
7.351 * [backup-simplify]: Simplify 0 into 0
7.351 * [backup-simplify]: Simplify 1 into 1
7.351 * [backup-simplify]: Simplify (/ 1 1) into 1
7.351 * [taylor]: Taking taylor expansion of 1 in z
7.351 * [backup-simplify]: Simplify 1 into 1
7.351 * [backup-simplify]: Simplify 1 into 1
7.351 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ z t) (/ 0 t)))) into 0
7.351 * [backup-simplify]: Simplify (- 0) into 0
7.351 * [backup-simplify]: Simplify (+ (/ 1 t) 0) into (/ 1 t)
7.352 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.352 * [taylor]: Taking taylor expansion of t in t
7.352 * [backup-simplify]: Simplify 0 into 0
7.352 * [backup-simplify]: Simplify 1 into 1
7.352 * [backup-simplify]: Simplify (/ 1 1) into 1
7.352 * [taylor]: Taking taylor expansion of 1 in z
7.352 * [backup-simplify]: Simplify 1 into 1
7.352 * [backup-simplify]: Simplify 1 into 1
7.352 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
7.353 * [backup-simplify]: Simplify (- 0) into 0
7.353 * [taylor]: Taking taylor expansion of 0 in z
7.353 * [backup-simplify]: Simplify 0 into 0
7.353 * [backup-simplify]: Simplify 0 into 0
7.353 * [backup-simplify]: Simplify (- 1) into -1
7.353 * [backup-simplify]: Simplify -1 into -1
7.353 * [backup-simplify]: Simplify (+ (* -1 (* z (* (/ 1 t) (* 1 1)))) (+ (* 1 (* 1 (* (/ 1 t) (* y 1)))) (* 1 (* 1 (* (/ 1 t) (* 1 x)))))) into (- (+ (/ y t) (/ x t)) (/ z t))
7.354 * [backup-simplify]: Simplify (- (/ (+ (/ 1 x) (/ 1 y)) (/ 1 t)) (/ (/ 1 z) (/ 1 t))) into (- (+ (/ t y) (/ t x)) (/ t z))
7.354 * [approximate]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in (x y t z) around 0
7.354 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in z
7.354 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in z
7.354 * [taylor]: Taking taylor expansion of (/ t y) in z
7.354 * [taylor]: Taking taylor expansion of t in z
7.354 * [backup-simplify]: Simplify t into t
7.354 * [taylor]: Taking taylor expansion of y in z
7.354 * [backup-simplify]: Simplify y into y
7.354 * [backup-simplify]: Simplify (/ t y) into (/ t y)
7.354 * [taylor]: Taking taylor expansion of (/ t x) in z
7.354 * [taylor]: Taking taylor expansion of t in z
7.354 * [backup-simplify]: Simplify t into t
7.354 * [taylor]: Taking taylor expansion of x in z
7.354 * [backup-simplify]: Simplify x into x
7.354 * [backup-simplify]: Simplify (/ t x) into (/ t x)
7.354 * [taylor]: Taking taylor expansion of (/ t z) in z
7.354 * [taylor]: Taking taylor expansion of t in z
7.354 * [backup-simplify]: Simplify t into t
7.354 * [taylor]: Taking taylor expansion of z in z
7.354 * [backup-simplify]: Simplify 0 into 0
7.354 * [backup-simplify]: Simplify 1 into 1
7.354 * [backup-simplify]: Simplify (/ t 1) into t
7.354 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in t
7.354 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in t
7.354 * [taylor]: Taking taylor expansion of (/ t y) in t
7.354 * [taylor]: Taking taylor expansion of t in t
7.354 * [backup-simplify]: Simplify 0 into 0
7.354 * [backup-simplify]: Simplify 1 into 1
7.354 * [taylor]: Taking taylor expansion of y in t
7.354 * [backup-simplify]: Simplify y into y
7.354 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.354 * [taylor]: Taking taylor expansion of (/ t x) in t
7.354 * [taylor]: Taking taylor expansion of t in t
7.354 * [backup-simplify]: Simplify 0 into 0
7.354 * [backup-simplify]: Simplify 1 into 1
7.354 * [taylor]: Taking taylor expansion of x in t
7.354 * [backup-simplify]: Simplify x into x
7.354 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.354 * [taylor]: Taking taylor expansion of (/ t z) in t
7.354 * [taylor]: Taking taylor expansion of t in t
7.355 * [backup-simplify]: Simplify 0 into 0
7.355 * [backup-simplify]: Simplify 1 into 1
7.355 * [taylor]: Taking taylor expansion of z in t
7.355 * [backup-simplify]: Simplify z into z
7.355 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.355 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in y
7.355 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in y
7.355 * [taylor]: Taking taylor expansion of (/ t y) in y
7.355 * [taylor]: Taking taylor expansion of t in y
7.355 * [backup-simplify]: Simplify t into t
7.355 * [taylor]: Taking taylor expansion of y in y
7.355 * [backup-simplify]: Simplify 0 into 0
7.355 * [backup-simplify]: Simplify 1 into 1
7.355 * [backup-simplify]: Simplify (/ t 1) into t
7.355 * [taylor]: Taking taylor expansion of (/ t x) in y
7.355 * [taylor]: Taking taylor expansion of t in y
7.355 * [backup-simplify]: Simplify t into t
7.355 * [taylor]: Taking taylor expansion of x in y
7.355 * [backup-simplify]: Simplify x into x
7.355 * [backup-simplify]: Simplify (/ t x) into (/ t x)
7.355 * [taylor]: Taking taylor expansion of (/ t z) in y
7.355 * [taylor]: Taking taylor expansion of t in y
7.355 * [backup-simplify]: Simplify t into t
7.355 * [taylor]: Taking taylor expansion of z in y
7.355 * [backup-simplify]: Simplify z into z
7.355 * [backup-simplify]: Simplify (/ t z) into (/ t z)
7.355 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in x
7.355 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in x
7.355 * [taylor]: Taking taylor expansion of (/ t y) in x
7.355 * [taylor]: Taking taylor expansion of t in x
7.355 * [backup-simplify]: Simplify t into t
7.355 * [taylor]: Taking taylor expansion of y in x
7.355 * [backup-simplify]: Simplify y into y
7.355 * [backup-simplify]: Simplify (/ t y) into (/ t y)
7.355 * [taylor]: Taking taylor expansion of (/ t x) in x
7.355 * [taylor]: Taking taylor expansion of t in x
7.355 * [backup-simplify]: Simplify t into t
7.355 * [taylor]: Taking taylor expansion of x in x
7.355 * [backup-simplify]: Simplify 0 into 0
7.355 * [backup-simplify]: Simplify 1 into 1
7.355 * [backup-simplify]: Simplify (/ t 1) into t
7.355 * [taylor]: Taking taylor expansion of (/ t z) in x
7.355 * [taylor]: Taking taylor expansion of t in x
7.355 * [backup-simplify]: Simplify t into t
7.355 * [taylor]: Taking taylor expansion of z in x
7.355 * [backup-simplify]: Simplify z into z
7.355 * [backup-simplify]: Simplify (/ t z) into (/ t z)
7.355 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in x
7.355 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in x
7.355 * [taylor]: Taking taylor expansion of (/ t y) in x
7.355 * [taylor]: Taking taylor expansion of t in x
7.355 * [backup-simplify]: Simplify t into t
7.355 * [taylor]: Taking taylor expansion of y in x
7.355 * [backup-simplify]: Simplify y into y
7.356 * [backup-simplify]: Simplify (/ t y) into (/ t y)
7.356 * [taylor]: Taking taylor expansion of (/ t x) in x
7.356 * [taylor]: Taking taylor expansion of t in x
7.356 * [backup-simplify]: Simplify t into t
7.356 * [taylor]: Taking taylor expansion of x in x
7.356 * [backup-simplify]: Simplify 0 into 0
7.356 * [backup-simplify]: Simplify 1 into 1
7.356 * [backup-simplify]: Simplify (/ t 1) into t
7.356 * [taylor]: Taking taylor expansion of (/ t z) in x
7.356 * [taylor]: Taking taylor expansion of t in x
7.356 * [backup-simplify]: Simplify t into t
7.356 * [taylor]: Taking taylor expansion of z in x
7.356 * [backup-simplify]: Simplify z into z
7.356 * [backup-simplify]: Simplify (/ t z) into (/ t z)
7.356 * [backup-simplify]: Simplify (+ 0 t) into t
7.356 * [backup-simplify]: Simplify (+ t 0) into t
7.356 * [taylor]: Taking taylor expansion of t in y
7.356 * [backup-simplify]: Simplify t into t
7.356 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
7.357 * [backup-simplify]: Simplify (+ (/ t y) 0) into (/ t y)
7.357 * [backup-simplify]: Simplify (- (/ t z)) into (- (/ t z))
7.357 * [backup-simplify]: Simplify (+ (/ t y) (- (/ t z))) into (- (/ t y) (/ t z))
7.357 * [taylor]: Taking taylor expansion of (- (/ t y) (/ t z)) in y
7.357 * [taylor]: Taking taylor expansion of (/ t y) in y
7.357 * [taylor]: Taking taylor expansion of t in y
7.357 * [backup-simplify]: Simplify t into t
7.357 * [taylor]: Taking taylor expansion of y in y
7.357 * [backup-simplify]: Simplify 0 into 0
7.357 * [backup-simplify]: Simplify 1 into 1
7.357 * [backup-simplify]: Simplify (/ t 1) into t
7.357 * [taylor]: Taking taylor expansion of (/ t z) in y
7.357 * [taylor]: Taking taylor expansion of t in y
7.357 * [backup-simplify]: Simplify t into t
7.357 * [taylor]: Taking taylor expansion of z in y
7.357 * [backup-simplify]: Simplify z into z
7.357 * [backup-simplify]: Simplify (/ t z) into (/ t z)
7.357 * [backup-simplify]: Simplify (+ t 0) into t
7.357 * [taylor]: Taking taylor expansion of t in t
7.357 * [backup-simplify]: Simplify 0 into 0
7.357 * [backup-simplify]: Simplify 1 into 1
7.357 * [taylor]: Taking taylor expansion of 1 in z
7.357 * [backup-simplify]: Simplify 1 into 1
7.357 * [taylor]: Taking taylor expansion of t in t
7.357 * [backup-simplify]: Simplify 0 into 0
7.357 * [backup-simplify]: Simplify 1 into 1
7.357 * [taylor]: Taking taylor expansion of 1 in z
7.357 * [backup-simplify]: Simplify 1 into 1
7.357 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ t y) (/ 0 y)))) into 0
7.358 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.358 * [backup-simplify]: Simplify (+ 0 0) into 0
7.358 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
7.359 * [backup-simplify]: Simplify (- 0) into 0
7.359 * [backup-simplify]: Simplify (+ 0 0) into 0
7.359 * [taylor]: Taking taylor expansion of 0 in y
7.359 * [backup-simplify]: Simplify 0 into 0
7.359 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
7.360 * [backup-simplify]: Simplify (- (/ t z)) into (- (/ t z))
7.360 * [backup-simplify]: Simplify (+ 0 (- (/ t z))) into (- (/ t z))
7.360 * [taylor]: Taking taylor expansion of (- (/ t z)) in t
7.360 * [taylor]: Taking taylor expansion of (/ t z) in t
7.360 * [taylor]: Taking taylor expansion of t in t
7.360 * [backup-simplify]: Simplify 0 into 0
7.360 * [backup-simplify]: Simplify 1 into 1
7.360 * [taylor]: Taking taylor expansion of z in t
7.360 * [backup-simplify]: Simplify z into z
7.360 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.360 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
7.360 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
7.360 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.360 * [taylor]: Taking taylor expansion of z in z
7.360 * [backup-simplify]: Simplify 0 into 0
7.360 * [backup-simplify]: Simplify 1 into 1
7.360 * [backup-simplify]: Simplify (/ 1 1) into 1
7.360 * [backup-simplify]: Simplify (- 1) into -1
7.360 * [backup-simplify]: Simplify -1 into -1
7.360 * [taylor]: Taking taylor expansion of 0 in t
7.360 * [backup-simplify]: Simplify 0 into 0
7.360 * [taylor]: Taking taylor expansion of 0 in z
7.360 * [backup-simplify]: Simplify 0 into 0
7.361 * [taylor]: Taking taylor expansion of 0 in z
7.361 * [backup-simplify]: Simplify 0 into 0
7.361 * [taylor]: Taking taylor expansion of 0 in z
7.361 * [backup-simplify]: Simplify 0 into 0
7.361 * [backup-simplify]: Simplify 1 into 1
7.361 * [backup-simplify]: Simplify 1 into 1
7.361 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 t) (* 1 (/ 1 (/ 1 x)))))) (+ (* 1 (* 1 (* (/ 1 t) (* (/ 1 (/ 1 y)) 1)))) (* -1 (* (/ 1 (/ 1 z)) (* (/ 1 t) (* 1 1)))))) into (- (+ (/ x t) (/ y t)) (/ z t))
7.361 * [backup-simplify]: Simplify (- (/ (+ (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- t))) (/ (/ 1 (- z)) (/ 1 (- t)))) into (- (+ (/ t y) (/ t x)) (/ t z))
7.362 * [approximate]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in (x y t z) around 0
7.362 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in z
7.362 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in z
7.362 * [taylor]: Taking taylor expansion of (/ t y) in z
7.362 * [taylor]: Taking taylor expansion of t in z
7.362 * [backup-simplify]: Simplify t into t
7.362 * [taylor]: Taking taylor expansion of y in z
7.362 * [backup-simplify]: Simplify y into y
7.362 * [backup-simplify]: Simplify (/ t y) into (/ t y)
7.362 * [taylor]: Taking taylor expansion of (/ t x) in z
7.362 * [taylor]: Taking taylor expansion of t in z
7.362 * [backup-simplify]: Simplify t into t
7.362 * [taylor]: Taking taylor expansion of x in z
7.362 * [backup-simplify]: Simplify x into x
7.362 * [backup-simplify]: Simplify (/ t x) into (/ t x)
7.362 * [taylor]: Taking taylor expansion of (/ t z) in z
7.362 * [taylor]: Taking taylor expansion of t in z
7.362 * [backup-simplify]: Simplify t into t
7.362 * [taylor]: Taking taylor expansion of z in z
7.362 * [backup-simplify]: Simplify 0 into 0
7.362 * [backup-simplify]: Simplify 1 into 1
7.362 * [backup-simplify]: Simplify (/ t 1) into t
7.362 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in t
7.362 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in t
7.362 * [taylor]: Taking taylor expansion of (/ t y) in t
7.362 * [taylor]: Taking taylor expansion of t in t
7.362 * [backup-simplify]: Simplify 0 into 0
7.362 * [backup-simplify]: Simplify 1 into 1
7.362 * [taylor]: Taking taylor expansion of y in t
7.362 * [backup-simplify]: Simplify y into y
7.362 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.362 * [taylor]: Taking taylor expansion of (/ t x) in t
7.362 * [taylor]: Taking taylor expansion of t in t
7.362 * [backup-simplify]: Simplify 0 into 0
7.362 * [backup-simplify]: Simplify 1 into 1
7.362 * [taylor]: Taking taylor expansion of x in t
7.362 * [backup-simplify]: Simplify x into x
7.362 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.362 * [taylor]: Taking taylor expansion of (/ t z) in t
7.362 * [taylor]: Taking taylor expansion of t in t
7.362 * [backup-simplify]: Simplify 0 into 0
7.362 * [backup-simplify]: Simplify 1 into 1
7.362 * [taylor]: Taking taylor expansion of z in t
7.362 * [backup-simplify]: Simplify z into z
7.362 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.362 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in y
7.362 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in y
7.362 * [taylor]: Taking taylor expansion of (/ t y) in y
7.362 * [taylor]: Taking taylor expansion of t in y
7.362 * [backup-simplify]: Simplify t into t
7.362 * [taylor]: Taking taylor expansion of y in y
7.362 * [backup-simplify]: Simplify 0 into 0
7.362 * [backup-simplify]: Simplify 1 into 1
7.362 * [backup-simplify]: Simplify (/ t 1) into t
7.363 * [taylor]: Taking taylor expansion of (/ t x) in y
7.363 * [taylor]: Taking taylor expansion of t in y
7.363 * [backup-simplify]: Simplify t into t
7.363 * [taylor]: Taking taylor expansion of x in y
7.363 * [backup-simplify]: Simplify x into x
7.363 * [backup-simplify]: Simplify (/ t x) into (/ t x)
7.363 * [taylor]: Taking taylor expansion of (/ t z) in y
7.363 * [taylor]: Taking taylor expansion of t in y
7.363 * [backup-simplify]: Simplify t into t
7.363 * [taylor]: Taking taylor expansion of z in y
7.363 * [backup-simplify]: Simplify z into z
7.363 * [backup-simplify]: Simplify (/ t z) into (/ t z)
7.363 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in x
7.363 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in x
7.363 * [taylor]: Taking taylor expansion of (/ t y) in x
7.363 * [taylor]: Taking taylor expansion of t in x
7.363 * [backup-simplify]: Simplify t into t
7.363 * [taylor]: Taking taylor expansion of y in x
7.363 * [backup-simplify]: Simplify y into y
7.363 * [backup-simplify]: Simplify (/ t y) into (/ t y)
7.363 * [taylor]: Taking taylor expansion of (/ t x) in x
7.363 * [taylor]: Taking taylor expansion of t in x
7.363 * [backup-simplify]: Simplify t into t
7.363 * [taylor]: Taking taylor expansion of x in x
7.363 * [backup-simplify]: Simplify 0 into 0
7.363 * [backup-simplify]: Simplify 1 into 1
7.363 * [backup-simplify]: Simplify (/ t 1) into t
7.363 * [taylor]: Taking taylor expansion of (/ t z) in x
7.363 * [taylor]: Taking taylor expansion of t in x
7.363 * [backup-simplify]: Simplify t into t
7.363 * [taylor]: Taking taylor expansion of z in x
7.363 * [backup-simplify]: Simplify z into z
7.363 * [backup-simplify]: Simplify (/ t z) into (/ t z)
7.363 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in x
7.363 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in x
7.363 * [taylor]: Taking taylor expansion of (/ t y) in x
7.363 * [taylor]: Taking taylor expansion of t in x
7.363 * [backup-simplify]: Simplify t into t
7.363 * [taylor]: Taking taylor expansion of y in x
7.363 * [backup-simplify]: Simplify y into y
7.363 * [backup-simplify]: Simplify (/ t y) into (/ t y)
7.363 * [taylor]: Taking taylor expansion of (/ t x) in x
7.363 * [taylor]: Taking taylor expansion of t in x
7.363 * [backup-simplify]: Simplify t into t
7.363 * [taylor]: Taking taylor expansion of x in x
7.363 * [backup-simplify]: Simplify 0 into 0
7.363 * [backup-simplify]: Simplify 1 into 1
7.363 * [backup-simplify]: Simplify (/ t 1) into t
7.363 * [taylor]: Taking taylor expansion of (/ t z) in x
7.363 * [taylor]: Taking taylor expansion of t in x
7.363 * [backup-simplify]: Simplify t into t
7.363 * [taylor]: Taking taylor expansion of z in x
7.363 * [backup-simplify]: Simplify z into z
7.364 * [backup-simplify]: Simplify (/ t z) into (/ t z)
7.364 * [backup-simplify]: Simplify (+ 0 t) into t
7.364 * [backup-simplify]: Simplify (+ t 0) into t
7.364 * [taylor]: Taking taylor expansion of t in y
7.364 * [backup-simplify]: Simplify t into t
7.364 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
7.364 * [backup-simplify]: Simplify (+ (/ t y) 0) into (/ t y)
7.364 * [backup-simplify]: Simplify (- (/ t z)) into (- (/ t z))
7.364 * [backup-simplify]: Simplify (+ (/ t y) (- (/ t z))) into (- (/ t y) (/ t z))
7.364 * [taylor]: Taking taylor expansion of (- (/ t y) (/ t z)) in y
7.364 * [taylor]: Taking taylor expansion of (/ t y) in y
7.364 * [taylor]: Taking taylor expansion of t in y
7.364 * [backup-simplify]: Simplify t into t
7.365 * [taylor]: Taking taylor expansion of y in y
7.365 * [backup-simplify]: Simplify 0 into 0
7.365 * [backup-simplify]: Simplify 1 into 1
7.365 * [backup-simplify]: Simplify (/ t 1) into t
7.365 * [taylor]: Taking taylor expansion of (/ t z) in y
7.365 * [taylor]: Taking taylor expansion of t in y
7.365 * [backup-simplify]: Simplify t into t
7.365 * [taylor]: Taking taylor expansion of z in y
7.365 * [backup-simplify]: Simplify z into z
7.365 * [backup-simplify]: Simplify (/ t z) into (/ t z)
7.365 * [backup-simplify]: Simplify (+ t 0) into t
7.365 * [taylor]: Taking taylor expansion of t in t
7.365 * [backup-simplify]: Simplify 0 into 0
7.365 * [backup-simplify]: Simplify 1 into 1
7.365 * [taylor]: Taking taylor expansion of 1 in z
7.365 * [backup-simplify]: Simplify 1 into 1
7.365 * [taylor]: Taking taylor expansion of t in t
7.365 * [backup-simplify]: Simplify 0 into 0
7.365 * [backup-simplify]: Simplify 1 into 1
7.365 * [taylor]: Taking taylor expansion of 1 in z
7.365 * [backup-simplify]: Simplify 1 into 1
7.365 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ t y) (/ 0 y)))) into 0
7.366 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.366 * [backup-simplify]: Simplify (+ 0 0) into 0
7.366 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
7.366 * [backup-simplify]: Simplify (- 0) into 0
7.367 * [backup-simplify]: Simplify (+ 0 0) into 0
7.367 * [taylor]: Taking taylor expansion of 0 in y
7.367 * [backup-simplify]: Simplify 0 into 0
7.367 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
7.367 * [backup-simplify]: Simplify (- (/ t z)) into (- (/ t z))
7.367 * [backup-simplify]: Simplify (+ 0 (- (/ t z))) into (- (/ t z))
7.367 * [taylor]: Taking taylor expansion of (- (/ t z)) in t
7.367 * [taylor]: Taking taylor expansion of (/ t z) in t
7.367 * [taylor]: Taking taylor expansion of t in t
7.367 * [backup-simplify]: Simplify 0 into 0
7.367 * [backup-simplify]: Simplify 1 into 1
7.367 * [taylor]: Taking taylor expansion of z in t
7.367 * [backup-simplify]: Simplify z into z
7.367 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.368 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
7.368 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
7.368 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.368 * [taylor]: Taking taylor expansion of z in z
7.368 * [backup-simplify]: Simplify 0 into 0
7.368 * [backup-simplify]: Simplify 1 into 1
7.368 * [backup-simplify]: Simplify (/ 1 1) into 1
7.368 * [backup-simplify]: Simplify (- 1) into -1
7.368 * [backup-simplify]: Simplify -1 into -1
7.368 * [taylor]: Taking taylor expansion of 0 in t
7.368 * [backup-simplify]: Simplify 0 into 0
7.368 * [taylor]: Taking taylor expansion of 0 in z
7.368 * [backup-simplify]: Simplify 0 into 0
7.368 * [taylor]: Taking taylor expansion of 0 in z
7.368 * [backup-simplify]: Simplify 0 into 0
7.368 * [taylor]: Taking taylor expansion of 0 in z
7.368 * [backup-simplify]: Simplify 0 into 0
7.368 * [backup-simplify]: Simplify 1 into 1
7.368 * [backup-simplify]: Simplify 1 into 1
7.369 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (- t)) (* 1 (/ 1 (/ 1 (- x))))))) (+ (* 1 (* 1 (* (/ 1 (- t)) (* (/ 1 (/ 1 (- y))) 1)))) (* -1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (- t)) (* 1 1)))))) into (- (+ (/ x t) (/ y t)) (/ z t))
7.369 * * * [progress]: simplifying candidates
7.374 * [simplify]: Simplifying:
  (fma (* (cbrt (/ (+ x y) t)) (cbrt (/ (+ x y) t))) (cbrt (/ (+ x y) t)) (- (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t))))))
  (fma (- (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (fma (* (cbrt (/ (+ x y) t)) (cbrt (/ (+ x y) t))) (cbrt (/ (+ x y) t)) (- (* (sqrt (/ z t)) (sqrt (/ z t)))))
  (fma (- (sqrt (/ z t))) (sqrt (/ z t)) (* (sqrt (/ z t)) (sqrt (/ z t))))
  (fma (* (cbrt (/ (+ x y) t)) (cbrt (/ (+ x y) t))) (cbrt (/ (+ x y) t)) (- (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (cbrt z) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))) (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))))
  (fma (* (cbrt (/ (+ x y) t)) (cbrt (/ (+ x y) t))) (cbrt (/ (+ x y) t)) (- (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t)))))
  (fma (- (/ (cbrt z) (sqrt t))) (/ (* (cbrt z) (cbrt z)) (sqrt t)) (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t))))
  (fma (* (cbrt (/ (+ x y) t)) (cbrt (/ (+ x y) t))) (cbrt (/ (+ x y) t)) (- (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1))))
  (fma (- (/ (cbrt z) t)) (/ (* (cbrt z) (cbrt z)) 1) (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1)))
  (fma (* (cbrt (/ (+ x y) t)) (cbrt (/ (+ x y) t))) (cbrt (/ (+ x y) t)) (- (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (sqrt z) (cbrt t))) (/ (sqrt z) (* (cbrt t) (cbrt t))) (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t)))))
  (fma (* (cbrt (/ (+ x y) t)) (cbrt (/ (+ x y) t))) (cbrt (/ (+ x y) t)) (- (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t)))))
  (fma (- (/ (sqrt z) (sqrt t))) (/ (sqrt z) (sqrt t)) (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t))))
  (fma (* (cbrt (/ (+ x y) t)) (cbrt (/ (+ x y) t))) (cbrt (/ (+ x y) t)) (- (* (/ (sqrt z) t) (/ (sqrt z) 1))))
  (fma (- (/ (sqrt z) t)) (/ (sqrt z) 1) (* (/ (sqrt z) t) (/ (sqrt z) 1)))
  (fma (* (cbrt (/ (+ x y) t)) (cbrt (/ (+ x y) t))) (cbrt (/ (+ x y) t)) (- (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t))))))
  (fma (- (/ z (cbrt t))) (/ 1 (* (cbrt t) (cbrt t))) (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t)))))
  (fma (* (cbrt (/ (+ x y) t)) (cbrt (/ (+ x y) t))) (cbrt (/ (+ x y) t)) (- (* (/ z (sqrt t)) (/ 1 (sqrt t)))))
  (fma (- (/ z (sqrt t))) (/ 1 (sqrt t)) (* (/ z (sqrt t)) (/ 1 (sqrt t))))
  (fma (* (cbrt (/ (+ x y) t)) (cbrt (/ (+ x y) t))) (cbrt (/ (+ x y) t)) (- (* (/ z t) (/ 1 1))))
  (fma (- (/ z t)) (/ 1 1) (* (/ z t) (/ 1 1)))
  (fma (* (cbrt (/ (+ x y) t)) (cbrt (/ (+ x y) t))) (cbrt (/ (+ x y) t)) (- (* (/ z t) 1)))
  (fma (- (/ z t)) 1 (* (/ z t) 1))
  (fma (* (cbrt (/ (+ x y) t)) (cbrt (/ (+ x y) t))) (cbrt (/ (+ x y) t)) (- (* (/ 1 t) z)))
  (fma (- (/ 1 t)) z (* (/ 1 t) z))
  (fma (sqrt (/ (+ x y) t)) (sqrt (/ (+ x y) t)) (- (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t))))))
  (fma (- (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (fma (sqrt (/ (+ x y) t)) (sqrt (/ (+ x y) t)) (- (* (sqrt (/ z t)) (sqrt (/ z t)))))
  (fma (- (sqrt (/ z t))) (sqrt (/ z t)) (* (sqrt (/ z t)) (sqrt (/ z t))))
  (fma (sqrt (/ (+ x y) t)) (sqrt (/ (+ x y) t)) (- (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (cbrt z) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))) (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))))
  (fma (sqrt (/ (+ x y) t)) (sqrt (/ (+ x y) t)) (- (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t)))))
  (fma (- (/ (cbrt z) (sqrt t))) (/ (* (cbrt z) (cbrt z)) (sqrt t)) (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t))))
  (fma (sqrt (/ (+ x y) t)) (sqrt (/ (+ x y) t)) (- (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1))))
  (fma (- (/ (cbrt z) t)) (/ (* (cbrt z) (cbrt z)) 1) (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1)))
  (fma (sqrt (/ (+ x y) t)) (sqrt (/ (+ x y) t)) (- (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (sqrt z) (cbrt t))) (/ (sqrt z) (* (cbrt t) (cbrt t))) (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t)))))
  (fma (sqrt (/ (+ x y) t)) (sqrt (/ (+ x y) t)) (- (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t)))))
  (fma (- (/ (sqrt z) (sqrt t))) (/ (sqrt z) (sqrt t)) (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t))))
  (fma (sqrt (/ (+ x y) t)) (sqrt (/ (+ x y) t)) (- (* (/ (sqrt z) t) (/ (sqrt z) 1))))
  (fma (- (/ (sqrt z) t)) (/ (sqrt z) 1) (* (/ (sqrt z) t) (/ (sqrt z) 1)))
  (fma (sqrt (/ (+ x y) t)) (sqrt (/ (+ x y) t)) (- (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t))))))
  (fma (- (/ z (cbrt t))) (/ 1 (* (cbrt t) (cbrt t))) (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t)))))
  (fma (sqrt (/ (+ x y) t)) (sqrt (/ (+ x y) t)) (- (* (/ z (sqrt t)) (/ 1 (sqrt t)))))
  (fma (- (/ z (sqrt t))) (/ 1 (sqrt t)) (* (/ z (sqrt t)) (/ 1 (sqrt t))))
  (fma (sqrt (/ (+ x y) t)) (sqrt (/ (+ x y) t)) (- (* (/ z t) (/ 1 1))))
  (fma (- (/ z t)) (/ 1 1) (* (/ z t) (/ 1 1)))
  (fma (sqrt (/ (+ x y) t)) (sqrt (/ (+ x y) t)) (- (* (/ z t) 1)))
  (fma (- (/ z t)) 1 (* (/ z t) 1))
  (fma (sqrt (/ (+ x y) t)) (sqrt (/ (+ x y) t)) (- (* (/ 1 t) z)))
  (fma (- (/ 1 t)) z (* (/ 1 t) z))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt t) (cbrt t))) (/ (cbrt (+ x y)) (cbrt t)) (- (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t))))))
  (fma (- (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt t) (cbrt t))) (/ (cbrt (+ x y)) (cbrt t)) (- (* (sqrt (/ z t)) (sqrt (/ z t)))))
  (fma (- (sqrt (/ z t))) (sqrt (/ z t)) (* (sqrt (/ z t)) (sqrt (/ z t))))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt t) (cbrt t))) (/ (cbrt (+ x y)) (cbrt t)) (- (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (cbrt z) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))) (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt t) (cbrt t))) (/ (cbrt (+ x y)) (cbrt t)) (- (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t)))))
  (fma (- (/ (cbrt z) (sqrt t))) (/ (* (cbrt z) (cbrt z)) (sqrt t)) (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t))))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt t) (cbrt t))) (/ (cbrt (+ x y)) (cbrt t)) (- (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1))))
  (fma (- (/ (cbrt z) t)) (/ (* (cbrt z) (cbrt z)) 1) (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1)))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt t) (cbrt t))) (/ (cbrt (+ x y)) (cbrt t)) (- (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (sqrt z) (cbrt t))) (/ (sqrt z) (* (cbrt t) (cbrt t))) (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t)))))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt t) (cbrt t))) (/ (cbrt (+ x y)) (cbrt t)) (- (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t)))))
  (fma (- (/ (sqrt z) (sqrt t))) (/ (sqrt z) (sqrt t)) (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t))))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt t) (cbrt t))) (/ (cbrt (+ x y)) (cbrt t)) (- (* (/ (sqrt z) t) (/ (sqrt z) 1))))
  (fma (- (/ (sqrt z) t)) (/ (sqrt z) 1) (* (/ (sqrt z) t) (/ (sqrt z) 1)))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt t) (cbrt t))) (/ (cbrt (+ x y)) (cbrt t)) (- (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t))))))
  (fma (- (/ z (cbrt t))) (/ 1 (* (cbrt t) (cbrt t))) (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t)))))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt t) (cbrt t))) (/ (cbrt (+ x y)) (cbrt t)) (- (* (/ z (sqrt t)) (/ 1 (sqrt t)))))
  (fma (- (/ z (sqrt t))) (/ 1 (sqrt t)) (* (/ z (sqrt t)) (/ 1 (sqrt t))))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt t) (cbrt t))) (/ (cbrt (+ x y)) (cbrt t)) (- (* (/ z t) (/ 1 1))))
  (fma (- (/ z t)) (/ 1 1) (* (/ z t) (/ 1 1)))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt t) (cbrt t))) (/ (cbrt (+ x y)) (cbrt t)) (- (* (/ z t) 1)))
  (fma (- (/ z t)) 1 (* (/ z t) 1))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt t) (cbrt t))) (/ (cbrt (+ x y)) (cbrt t)) (- (* (/ 1 t) z)))
  (fma (- (/ 1 t)) z (* (/ 1 t) z))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt t)) (/ (cbrt (+ x y)) (sqrt t)) (- (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t))))))
  (fma (- (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt t)) (/ (cbrt (+ x y)) (sqrt t)) (- (* (sqrt (/ z t)) (sqrt (/ z t)))))
  (fma (- (sqrt (/ z t))) (sqrt (/ z t)) (* (sqrt (/ z t)) (sqrt (/ z t))))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt t)) (/ (cbrt (+ x y)) (sqrt t)) (- (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (cbrt z) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))) (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt t)) (/ (cbrt (+ x y)) (sqrt t)) (- (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t)))))
  (fma (- (/ (cbrt z) (sqrt t))) (/ (* (cbrt z) (cbrt z)) (sqrt t)) (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t))))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt t)) (/ (cbrt (+ x y)) (sqrt t)) (- (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1))))
  (fma (- (/ (cbrt z) t)) (/ (* (cbrt z) (cbrt z)) 1) (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1)))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt t)) (/ (cbrt (+ x y)) (sqrt t)) (- (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (sqrt z) (cbrt t))) (/ (sqrt z) (* (cbrt t) (cbrt t))) (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t)))))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt t)) (/ (cbrt (+ x y)) (sqrt t)) (- (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t)))))
  (fma (- (/ (sqrt z) (sqrt t))) (/ (sqrt z) (sqrt t)) (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t))))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt t)) (/ (cbrt (+ x y)) (sqrt t)) (- (* (/ (sqrt z) t) (/ (sqrt z) 1))))
  (fma (- (/ (sqrt z) t)) (/ (sqrt z) 1) (* (/ (sqrt z) t) (/ (sqrt z) 1)))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt t)) (/ (cbrt (+ x y)) (sqrt t)) (- (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t))))))
  (fma (- (/ z (cbrt t))) (/ 1 (* (cbrt t) (cbrt t))) (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t)))))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt t)) (/ (cbrt (+ x y)) (sqrt t)) (- (* (/ z (sqrt t)) (/ 1 (sqrt t)))))
  (fma (- (/ z (sqrt t))) (/ 1 (sqrt t)) (* (/ z (sqrt t)) (/ 1 (sqrt t))))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt t)) (/ (cbrt (+ x y)) (sqrt t)) (- (* (/ z t) (/ 1 1))))
  (fma (- (/ z t)) (/ 1 1) (* (/ z t) (/ 1 1)))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt t)) (/ (cbrt (+ x y)) (sqrt t)) (- (* (/ z t) 1)))
  (fma (- (/ z t)) 1 (* (/ z t) 1))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt t)) (/ (cbrt (+ x y)) (sqrt t)) (- (* (/ 1 t) z)))
  (fma (- (/ 1 t)) z (* (/ 1 t) z))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (/ (cbrt (+ x y)) t) (- (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t))))))
  (fma (- (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (/ (cbrt (+ x y)) t) (- (* (sqrt (/ z t)) (sqrt (/ z t)))))
  (fma (- (sqrt (/ z t))) (sqrt (/ z t)) (* (sqrt (/ z t)) (sqrt (/ z t))))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (/ (cbrt (+ x y)) t) (- (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (cbrt z) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))) (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (/ (cbrt (+ x y)) t) (- (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t)))))
  (fma (- (/ (cbrt z) (sqrt t))) (/ (* (cbrt z) (cbrt z)) (sqrt t)) (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t))))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (/ (cbrt (+ x y)) t) (- (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1))))
  (fma (- (/ (cbrt z) t)) (/ (* (cbrt z) (cbrt z)) 1) (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1)))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (/ (cbrt (+ x y)) t) (- (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (sqrt z) (cbrt t))) (/ (sqrt z) (* (cbrt t) (cbrt t))) (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t)))))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (/ (cbrt (+ x y)) t) (- (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t)))))
  (fma (- (/ (sqrt z) (sqrt t))) (/ (sqrt z) (sqrt t)) (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t))))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (/ (cbrt (+ x y)) t) (- (* (/ (sqrt z) t) (/ (sqrt z) 1))))
  (fma (- (/ (sqrt z) t)) (/ (sqrt z) 1) (* (/ (sqrt z) t) (/ (sqrt z) 1)))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (/ (cbrt (+ x y)) t) (- (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t))))))
  (fma (- (/ z (cbrt t))) (/ 1 (* (cbrt t) (cbrt t))) (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t)))))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (/ (cbrt (+ x y)) t) (- (* (/ z (sqrt t)) (/ 1 (sqrt t)))))
  (fma (- (/ z (sqrt t))) (/ 1 (sqrt t)) (* (/ z (sqrt t)) (/ 1 (sqrt t))))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (/ (cbrt (+ x y)) t) (- (* (/ z t) (/ 1 1))))
  (fma (- (/ z t)) (/ 1 1) (* (/ z t) (/ 1 1)))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (/ (cbrt (+ x y)) t) (- (* (/ z t) 1)))
  (fma (- (/ z t)) 1 (* (/ z t) 1))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (/ (cbrt (+ x y)) t) (- (* (/ 1 t) z)))
  (fma (- (/ 1 t)) z (* (/ 1 t) z))
  (fma (/ (sqrt (+ x y)) (* (cbrt t) (cbrt t))) (/ (sqrt (+ x y)) (cbrt t)) (- (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t))))))
  (fma (- (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (fma (/ (sqrt (+ x y)) (* (cbrt t) (cbrt t))) (/ (sqrt (+ x y)) (cbrt t)) (- (* (sqrt (/ z t)) (sqrt (/ z t)))))
  (fma (- (sqrt (/ z t))) (sqrt (/ z t)) (* (sqrt (/ z t)) (sqrt (/ z t))))
  (fma (/ (sqrt (+ x y)) (* (cbrt t) (cbrt t))) (/ (sqrt (+ x y)) (cbrt t)) (- (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (cbrt z) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))) (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))))
  (fma (/ (sqrt (+ x y)) (* (cbrt t) (cbrt t))) (/ (sqrt (+ x y)) (cbrt t)) (- (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t)))))
  (fma (- (/ (cbrt z) (sqrt t))) (/ (* (cbrt z) (cbrt z)) (sqrt t)) (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t))))
  (fma (/ (sqrt (+ x y)) (* (cbrt t) (cbrt t))) (/ (sqrt (+ x y)) (cbrt t)) (- (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1))))
  (fma (- (/ (cbrt z) t)) (/ (* (cbrt z) (cbrt z)) 1) (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1)))
  (fma (/ (sqrt (+ x y)) (* (cbrt t) (cbrt t))) (/ (sqrt (+ x y)) (cbrt t)) (- (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (sqrt z) (cbrt t))) (/ (sqrt z) (* (cbrt t) (cbrt t))) (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t)))))
  (fma (/ (sqrt (+ x y)) (* (cbrt t) (cbrt t))) (/ (sqrt (+ x y)) (cbrt t)) (- (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t)))))
  (fma (- (/ (sqrt z) (sqrt t))) (/ (sqrt z) (sqrt t)) (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t))))
  (fma (/ (sqrt (+ x y)) (* (cbrt t) (cbrt t))) (/ (sqrt (+ x y)) (cbrt t)) (- (* (/ (sqrt z) t) (/ (sqrt z) 1))))
  (fma (- (/ (sqrt z) t)) (/ (sqrt z) 1) (* (/ (sqrt z) t) (/ (sqrt z) 1)))
  (fma (/ (sqrt (+ x y)) (* (cbrt t) (cbrt t))) (/ (sqrt (+ x y)) (cbrt t)) (- (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t))))))
  (fma (- (/ z (cbrt t))) (/ 1 (* (cbrt t) (cbrt t))) (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t)))))
  (fma (/ (sqrt (+ x y)) (* (cbrt t) (cbrt t))) (/ (sqrt (+ x y)) (cbrt t)) (- (* (/ z (sqrt t)) (/ 1 (sqrt t)))))
  (fma (- (/ z (sqrt t))) (/ 1 (sqrt t)) (* (/ z (sqrt t)) (/ 1 (sqrt t))))
  (fma (/ (sqrt (+ x y)) (* (cbrt t) (cbrt t))) (/ (sqrt (+ x y)) (cbrt t)) (- (* (/ z t) (/ 1 1))))
  (fma (- (/ z t)) (/ 1 1) (* (/ z t) (/ 1 1)))
  (fma (/ (sqrt (+ x y)) (* (cbrt t) (cbrt t))) (/ (sqrt (+ x y)) (cbrt t)) (- (* (/ z t) 1)))
  (fma (- (/ z t)) 1 (* (/ z t) 1))
  (fma (/ (sqrt (+ x y)) (* (cbrt t) (cbrt t))) (/ (sqrt (+ x y)) (cbrt t)) (- (* (/ 1 t) z)))
  (fma (- (/ 1 t)) z (* (/ 1 t) z))
  (fma (/ (sqrt (+ x y)) (sqrt t)) (/ (sqrt (+ x y)) (sqrt t)) (- (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t))))))
  (fma (- (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (fma (/ (sqrt (+ x y)) (sqrt t)) (/ (sqrt (+ x y)) (sqrt t)) (- (* (sqrt (/ z t)) (sqrt (/ z t)))))
  (fma (- (sqrt (/ z t))) (sqrt (/ z t)) (* (sqrt (/ z t)) (sqrt (/ z t))))
  (fma (/ (sqrt (+ x y)) (sqrt t)) (/ (sqrt (+ x y)) (sqrt t)) (- (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (cbrt z) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))) (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))))
  (fma (/ (sqrt (+ x y)) (sqrt t)) (/ (sqrt (+ x y)) (sqrt t)) (- (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t)))))
  (fma (- (/ (cbrt z) (sqrt t))) (/ (* (cbrt z) (cbrt z)) (sqrt t)) (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t))))
  (fma (/ (sqrt (+ x y)) (sqrt t)) (/ (sqrt (+ x y)) (sqrt t)) (- (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1))))
  (fma (- (/ (cbrt z) t)) (/ (* (cbrt z) (cbrt z)) 1) (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1)))
  (fma (/ (sqrt (+ x y)) (sqrt t)) (/ (sqrt (+ x y)) (sqrt t)) (- (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (sqrt z) (cbrt t))) (/ (sqrt z) (* (cbrt t) (cbrt t))) (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t)))))
  (fma (/ (sqrt (+ x y)) (sqrt t)) (/ (sqrt (+ x y)) (sqrt t)) (- (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t)))))
  (fma (- (/ (sqrt z) (sqrt t))) (/ (sqrt z) (sqrt t)) (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t))))
  (fma (/ (sqrt (+ x y)) (sqrt t)) (/ (sqrt (+ x y)) (sqrt t)) (- (* (/ (sqrt z) t) (/ (sqrt z) 1))))
  (fma (- (/ (sqrt z) t)) (/ (sqrt z) 1) (* (/ (sqrt z) t) (/ (sqrt z) 1)))
  (fma (/ (sqrt (+ x y)) (sqrt t)) (/ (sqrt (+ x y)) (sqrt t)) (- (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t))))))
  (fma (- (/ z (cbrt t))) (/ 1 (* (cbrt t) (cbrt t))) (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t)))))
  (fma (/ (sqrt (+ x y)) (sqrt t)) (/ (sqrt (+ x y)) (sqrt t)) (- (* (/ z (sqrt t)) (/ 1 (sqrt t)))))
  (fma (- (/ z (sqrt t))) (/ 1 (sqrt t)) (* (/ z (sqrt t)) (/ 1 (sqrt t))))
  (fma (/ (sqrt (+ x y)) (sqrt t)) (/ (sqrt (+ x y)) (sqrt t)) (- (* (/ z t) (/ 1 1))))
  (fma (- (/ z t)) (/ 1 1) (* (/ z t) (/ 1 1)))
  (fma (/ (sqrt (+ x y)) (sqrt t)) (/ (sqrt (+ x y)) (sqrt t)) (- (* (/ z t) 1)))
  (fma (- (/ z t)) 1 (* (/ z t) 1))
  (fma (/ (sqrt (+ x y)) (sqrt t)) (/ (sqrt (+ x y)) (sqrt t)) (- (* (/ 1 t) z)))
  (fma (- (/ 1 t)) z (* (/ 1 t) z))
  (fma (/ (sqrt (+ x y)) 1) (/ (sqrt (+ x y)) t) (- (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t))))))
  (fma (- (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (fma (/ (sqrt (+ x y)) 1) (/ (sqrt (+ x y)) t) (- (* (sqrt (/ z t)) (sqrt (/ z t)))))
  (fma (- (sqrt (/ z t))) (sqrt (/ z t)) (* (sqrt (/ z t)) (sqrt (/ z t))))
  (fma (/ (sqrt (+ x y)) 1) (/ (sqrt (+ x y)) t) (- (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (cbrt z) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))) (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))))
  (fma (/ (sqrt (+ x y)) 1) (/ (sqrt (+ x y)) t) (- (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t)))))
  (fma (- (/ (cbrt z) (sqrt t))) (/ (* (cbrt z) (cbrt z)) (sqrt t)) (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t))))
  (fma (/ (sqrt (+ x y)) 1) (/ (sqrt (+ x y)) t) (- (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1))))
  (fma (- (/ (cbrt z) t)) (/ (* (cbrt z) (cbrt z)) 1) (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1)))
  (fma (/ (sqrt (+ x y)) 1) (/ (sqrt (+ x y)) t) (- (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (sqrt z) (cbrt t))) (/ (sqrt z) (* (cbrt t) (cbrt t))) (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t)))))
  (fma (/ (sqrt (+ x y)) 1) (/ (sqrt (+ x y)) t) (- (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t)))))
  (fma (- (/ (sqrt z) (sqrt t))) (/ (sqrt z) (sqrt t)) (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t))))
  (fma (/ (sqrt (+ x y)) 1) (/ (sqrt (+ x y)) t) (- (* (/ (sqrt z) t) (/ (sqrt z) 1))))
  (fma (- (/ (sqrt z) t)) (/ (sqrt z) 1) (* (/ (sqrt z) t) (/ (sqrt z) 1)))
  (fma (/ (sqrt (+ x y)) 1) (/ (sqrt (+ x y)) t) (- (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t))))))
  (fma (- (/ z (cbrt t))) (/ 1 (* (cbrt t) (cbrt t))) (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t)))))
  (fma (/ (sqrt (+ x y)) 1) (/ (sqrt (+ x y)) t) (- (* (/ z (sqrt t)) (/ 1 (sqrt t)))))
  (fma (- (/ z (sqrt t))) (/ 1 (sqrt t)) (* (/ z (sqrt t)) (/ 1 (sqrt t))))
  (fma (/ (sqrt (+ x y)) 1) (/ (sqrt (+ x y)) t) (- (* (/ z t) (/ 1 1))))
  (fma (- (/ z t)) (/ 1 1) (* (/ z t) (/ 1 1)))
  (fma (/ (sqrt (+ x y)) 1) (/ (sqrt (+ x y)) t) (- (* (/ z t) 1)))
  (fma (- (/ z t)) 1 (* (/ z t) 1))
  (fma (/ (sqrt (+ x y)) 1) (/ (sqrt (+ x y)) t) (- (* (/ 1 t) z)))
  (fma (- (/ 1 t)) z (* (/ 1 t) z))
  (fma (/ 1 (* (cbrt t) (cbrt t))) (/ (+ x y) (cbrt t)) (- (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t))))))
  (fma (- (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (fma (/ 1 (* (cbrt t) (cbrt t))) (/ (+ x y) (cbrt t)) (- (* (sqrt (/ z t)) (sqrt (/ z t)))))
  (fma (- (sqrt (/ z t))) (sqrt (/ z t)) (* (sqrt (/ z t)) (sqrt (/ z t))))
  (fma (/ 1 (* (cbrt t) (cbrt t))) (/ (+ x y) (cbrt t)) (- (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (cbrt z) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))) (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))))
  (fma (/ 1 (* (cbrt t) (cbrt t))) (/ (+ x y) (cbrt t)) (- (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t)))))
  (fma (- (/ (cbrt z) (sqrt t))) (/ (* (cbrt z) (cbrt z)) (sqrt t)) (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t))))
  (fma (/ 1 (* (cbrt t) (cbrt t))) (/ (+ x y) (cbrt t)) (- (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1))))
  (fma (- (/ (cbrt z) t)) (/ (* (cbrt z) (cbrt z)) 1) (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1)))
  (fma (/ 1 (* (cbrt t) (cbrt t))) (/ (+ x y) (cbrt t)) (- (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (sqrt z) (cbrt t))) (/ (sqrt z) (* (cbrt t) (cbrt t))) (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t)))))
  (fma (/ 1 (* (cbrt t) (cbrt t))) (/ (+ x y) (cbrt t)) (- (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t)))))
  (fma (- (/ (sqrt z) (sqrt t))) (/ (sqrt z) (sqrt t)) (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t))))
  (fma (/ 1 (* (cbrt t) (cbrt t))) (/ (+ x y) (cbrt t)) (- (* (/ (sqrt z) t) (/ (sqrt z) 1))))
  (fma (- (/ (sqrt z) t)) (/ (sqrt z) 1) (* (/ (sqrt z) t) (/ (sqrt z) 1)))
  (fma (/ 1 (* (cbrt t) (cbrt t))) (/ (+ x y) (cbrt t)) (- (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t))))))
  (fma (- (/ z (cbrt t))) (/ 1 (* (cbrt t) (cbrt t))) (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t)))))
  (fma (/ 1 (* (cbrt t) (cbrt t))) (/ (+ x y) (cbrt t)) (- (* (/ z (sqrt t)) (/ 1 (sqrt t)))))
  (fma (- (/ z (sqrt t))) (/ 1 (sqrt t)) (* (/ z (sqrt t)) (/ 1 (sqrt t))))
  (fma (/ 1 (* (cbrt t) (cbrt t))) (/ (+ x y) (cbrt t)) (- (* (/ z t) (/ 1 1))))
  (fma (- (/ z t)) (/ 1 1) (* (/ z t) (/ 1 1)))
  (fma (/ 1 (* (cbrt t) (cbrt t))) (/ (+ x y) (cbrt t)) (- (* (/ z t) 1)))
  (fma (- (/ z t)) 1 (* (/ z t) 1))
  (fma (/ 1 (* (cbrt t) (cbrt t))) (/ (+ x y) (cbrt t)) (- (* (/ 1 t) z)))
  (fma (- (/ 1 t)) z (* (/ 1 t) z))
  (fma (/ 1 (sqrt t)) (/ (+ x y) (sqrt t)) (- (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t))))))
  (fma (- (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (fma (/ 1 (sqrt t)) (/ (+ x y) (sqrt t)) (- (* (sqrt (/ z t)) (sqrt (/ z t)))))
  (fma (- (sqrt (/ z t))) (sqrt (/ z t)) (* (sqrt (/ z t)) (sqrt (/ z t))))
  (fma (/ 1 (sqrt t)) (/ (+ x y) (sqrt t)) (- (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (cbrt z) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))) (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))))
  (fma (/ 1 (sqrt t)) (/ (+ x y) (sqrt t)) (- (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t)))))
  (fma (- (/ (cbrt z) (sqrt t))) (/ (* (cbrt z) (cbrt z)) (sqrt t)) (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t))))
  (fma (/ 1 (sqrt t)) (/ (+ x y) (sqrt t)) (- (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1))))
  (fma (- (/ (cbrt z) t)) (/ (* (cbrt z) (cbrt z)) 1) (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1)))
  (fma (/ 1 (sqrt t)) (/ (+ x y) (sqrt t)) (- (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (sqrt z) (cbrt t))) (/ (sqrt z) (* (cbrt t) (cbrt t))) (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t)))))
  (fma (/ 1 (sqrt t)) (/ (+ x y) (sqrt t)) (- (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t)))))
  (fma (- (/ (sqrt z) (sqrt t))) (/ (sqrt z) (sqrt t)) (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t))))
  (fma (/ 1 (sqrt t)) (/ (+ x y) (sqrt t)) (- (* (/ (sqrt z) t) (/ (sqrt z) 1))))
  (fma (- (/ (sqrt z) t)) (/ (sqrt z) 1) (* (/ (sqrt z) t) (/ (sqrt z) 1)))
  (fma (/ 1 (sqrt t)) (/ (+ x y) (sqrt t)) (- (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t))))))
  (fma (- (/ z (cbrt t))) (/ 1 (* (cbrt t) (cbrt t))) (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t)))))
  (fma (/ 1 (sqrt t)) (/ (+ x y) (sqrt t)) (- (* (/ z (sqrt t)) (/ 1 (sqrt t)))))
  (fma (- (/ z (sqrt t))) (/ 1 (sqrt t)) (* (/ z (sqrt t)) (/ 1 (sqrt t))))
  (fma (/ 1 (sqrt t)) (/ (+ x y) (sqrt t)) (- (* (/ z t) (/ 1 1))))
  (fma (- (/ z t)) (/ 1 1) (* (/ z t) (/ 1 1)))
  (fma (/ 1 (sqrt t)) (/ (+ x y) (sqrt t)) (- (* (/ z t) 1)))
  (fma (- (/ z t)) 1 (* (/ z t) 1))
  (fma (/ 1 (sqrt t)) (/ (+ x y) (sqrt t)) (- (* (/ 1 t) z)))
  (fma (- (/ 1 t)) z (* (/ 1 t) z))
  (fma (/ 1 1) (/ (+ x y) t) (- (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t))))))
  (fma (- (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (fma (/ 1 1) (/ (+ x y) t) (- (* (sqrt (/ z t)) (sqrt (/ z t)))))
  (fma (- (sqrt (/ z t))) (sqrt (/ z t)) (* (sqrt (/ z t)) (sqrt (/ z t))))
  (fma (/ 1 1) (/ (+ x y) t) (- (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (cbrt z) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))) (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))))
  (fma (/ 1 1) (/ (+ x y) t) (- (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t)))))
  (fma (- (/ (cbrt z) (sqrt t))) (/ (* (cbrt z) (cbrt z)) (sqrt t)) (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t))))
  (fma (/ 1 1) (/ (+ x y) t) (- (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1))))
  (fma (- (/ (cbrt z) t)) (/ (* (cbrt z) (cbrt z)) 1) (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1)))
  (fma (/ 1 1) (/ (+ x y) t) (- (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (sqrt z) (cbrt t))) (/ (sqrt z) (* (cbrt t) (cbrt t))) (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t)))))
  (fma (/ 1 1) (/ (+ x y) t) (- (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t)))))
  (fma (- (/ (sqrt z) (sqrt t))) (/ (sqrt z) (sqrt t)) (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t))))
  (fma (/ 1 1) (/ (+ x y) t) (- (* (/ (sqrt z) t) (/ (sqrt z) 1))))
  (fma (- (/ (sqrt z) t)) (/ (sqrt z) 1) (* (/ (sqrt z) t) (/ (sqrt z) 1)))
  (fma (/ 1 1) (/ (+ x y) t) (- (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t))))))
  (fma (- (/ z (cbrt t))) (/ 1 (* (cbrt t) (cbrt t))) (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t)))))
  (fma (/ 1 1) (/ (+ x y) t) (- (* (/ z (sqrt t)) (/ 1 (sqrt t)))))
  (fma (- (/ z (sqrt t))) (/ 1 (sqrt t)) (* (/ z (sqrt t)) (/ 1 (sqrt t))))
  (fma (/ 1 1) (/ (+ x y) t) (- (* (/ z t) (/ 1 1))))
  (fma (- (/ z t)) (/ 1 1) (* (/ z t) (/ 1 1)))
  (fma (/ 1 1) (/ (+ x y) t) (- (* (/ z t) 1)))
  (fma (- (/ z t)) 1 (* (/ z t) 1))
  (fma (/ 1 1) (/ (+ x y) t) (- (* (/ 1 t) z)))
  (fma (- (/ 1 t)) z (* (/ 1 t) z))
  (fma (/ 1 (* (cbrt t) (cbrt t))) (/ (+ x y) (cbrt t)) (- (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t))))))
  (fma (- (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (fma (/ 1 (* (cbrt t) (cbrt t))) (/ (+ x y) (cbrt t)) (- (* (sqrt (/ z t)) (sqrt (/ z t)))))
  (fma (- (sqrt (/ z t))) (sqrt (/ z t)) (* (sqrt (/ z t)) (sqrt (/ z t))))
  (fma (/ 1 (* (cbrt t) (cbrt t))) (/ (+ x y) (cbrt t)) (- (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (cbrt z) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))) (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))))
  (fma (/ 1 (* (cbrt t) (cbrt t))) (/ (+ x y) (cbrt t)) (- (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t)))))
  (fma (- (/ (cbrt z) (sqrt t))) (/ (* (cbrt z) (cbrt z)) (sqrt t)) (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t))))
  (fma (/ 1 (* (cbrt t) (cbrt t))) (/ (+ x y) (cbrt t)) (- (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1))))
  (fma (- (/ (cbrt z) t)) (/ (* (cbrt z) (cbrt z)) 1) (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1)))
  (fma (/ 1 (* (cbrt t) (cbrt t))) (/ (+ x y) (cbrt t)) (- (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (sqrt z) (cbrt t))) (/ (sqrt z) (* (cbrt t) (cbrt t))) (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t)))))
  (fma (/ 1 (* (cbrt t) (cbrt t))) (/ (+ x y) (cbrt t)) (- (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t)))))
  (fma (- (/ (sqrt z) (sqrt t))) (/ (sqrt z) (sqrt t)) (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t))))
  (fma (/ 1 (* (cbrt t) (cbrt t))) (/ (+ x y) (cbrt t)) (- (* (/ (sqrt z) t) (/ (sqrt z) 1))))
  (fma (- (/ (sqrt z) t)) (/ (sqrt z) 1) (* (/ (sqrt z) t) (/ (sqrt z) 1)))
  (fma (/ 1 (* (cbrt t) (cbrt t))) (/ (+ x y) (cbrt t)) (- (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t))))))
  (fma (- (/ z (cbrt t))) (/ 1 (* (cbrt t) (cbrt t))) (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t)))))
  (fma (/ 1 (* (cbrt t) (cbrt t))) (/ (+ x y) (cbrt t)) (- (* (/ z (sqrt t)) (/ 1 (sqrt t)))))
  (fma (- (/ z (sqrt t))) (/ 1 (sqrt t)) (* (/ z (sqrt t)) (/ 1 (sqrt t))))
  (fma (/ 1 (* (cbrt t) (cbrt t))) (/ (+ x y) (cbrt t)) (- (* (/ z t) (/ 1 1))))
  (fma (- (/ z t)) (/ 1 1) (* (/ z t) (/ 1 1)))
  (fma (/ 1 (* (cbrt t) (cbrt t))) (/ (+ x y) (cbrt t)) (- (* (/ z t) 1)))
  (fma (- (/ z t)) 1 (* (/ z t) 1))
  (fma (/ 1 (* (cbrt t) (cbrt t))) (/ (+ x y) (cbrt t)) (- (* (/ 1 t) z)))
  (fma (- (/ 1 t)) z (* (/ 1 t) z))
  (fma (/ 1 (sqrt t)) (/ (+ x y) (sqrt t)) (- (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t))))))
  (fma (- (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (fma (/ 1 (sqrt t)) (/ (+ x y) (sqrt t)) (- (* (sqrt (/ z t)) (sqrt (/ z t)))))
  (fma (- (sqrt (/ z t))) (sqrt (/ z t)) (* (sqrt (/ z t)) (sqrt (/ z t))))
  (fma (/ 1 (sqrt t)) (/ (+ x y) (sqrt t)) (- (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (cbrt z) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))) (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))))
  (fma (/ 1 (sqrt t)) (/ (+ x y) (sqrt t)) (- (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t)))))
  (fma (- (/ (cbrt z) (sqrt t))) (/ (* (cbrt z) (cbrt z)) (sqrt t)) (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t))))
  (fma (/ 1 (sqrt t)) (/ (+ x y) (sqrt t)) (- (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1))))
  (fma (- (/ (cbrt z) t)) (/ (* (cbrt z) (cbrt z)) 1) (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1)))
  (fma (/ 1 (sqrt t)) (/ (+ x y) (sqrt t)) (- (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (sqrt z) (cbrt t))) (/ (sqrt z) (* (cbrt t) (cbrt t))) (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t)))))
  (fma (/ 1 (sqrt t)) (/ (+ x y) (sqrt t)) (- (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t)))))
  (fma (- (/ (sqrt z) (sqrt t))) (/ (sqrt z) (sqrt t)) (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t))))
  (fma (/ 1 (sqrt t)) (/ (+ x y) (sqrt t)) (- (* (/ (sqrt z) t) (/ (sqrt z) 1))))
  (fma (- (/ (sqrt z) t)) (/ (sqrt z) 1) (* (/ (sqrt z) t) (/ (sqrt z) 1)))
  (fma (/ 1 (sqrt t)) (/ (+ x y) (sqrt t)) (- (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t))))))
  (fma (- (/ z (cbrt t))) (/ 1 (* (cbrt t) (cbrt t))) (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t)))))
  (fma (/ 1 (sqrt t)) (/ (+ x y) (sqrt t)) (- (* (/ z (sqrt t)) (/ 1 (sqrt t)))))
  (fma (- (/ z (sqrt t))) (/ 1 (sqrt t)) (* (/ z (sqrt t)) (/ 1 (sqrt t))))
  (fma (/ 1 (sqrt t)) (/ (+ x y) (sqrt t)) (- (* (/ z t) (/ 1 1))))
  (fma (- (/ z t)) (/ 1 1) (* (/ z t) (/ 1 1)))
  (fma (/ 1 (sqrt t)) (/ (+ x y) (sqrt t)) (- (* (/ z t) 1)))
  (fma (- (/ z t)) 1 (* (/ z t) 1))
  (fma (/ 1 (sqrt t)) (/ (+ x y) (sqrt t)) (- (* (/ 1 t) z)))
  (fma (- (/ 1 t)) z (* (/ 1 t) z))
  (fma (/ 1 1) (/ (+ x y) t) (- (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t))))))
  (fma (- (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (fma (/ 1 1) (/ (+ x y) t) (- (* (sqrt (/ z t)) (sqrt (/ z t)))))
  (fma (- (sqrt (/ z t))) (sqrt (/ z t)) (* (sqrt (/ z t)) (sqrt (/ z t))))
  (fma (/ 1 1) (/ (+ x y) t) (- (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (cbrt z) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))) (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))))
  (fma (/ 1 1) (/ (+ x y) t) (- (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t)))))
  (fma (- (/ (cbrt z) (sqrt t))) (/ (* (cbrt z) (cbrt z)) (sqrt t)) (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t))))
  (fma (/ 1 1) (/ (+ x y) t) (- (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1))))
  (fma (- (/ (cbrt z) t)) (/ (* (cbrt z) (cbrt z)) 1) (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1)))
  (fma (/ 1 1) (/ (+ x y) t) (- (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (sqrt z) (cbrt t))) (/ (sqrt z) (* (cbrt t) (cbrt t))) (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t)))))
  (fma (/ 1 1) (/ (+ x y) t) (- (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t)))))
  (fma (- (/ (sqrt z) (sqrt t))) (/ (sqrt z) (sqrt t)) (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t))))
  (fma (/ 1 1) (/ (+ x y) t) (- (* (/ (sqrt z) t) (/ (sqrt z) 1))))
  (fma (- (/ (sqrt z) t)) (/ (sqrt z) 1) (* (/ (sqrt z) t) (/ (sqrt z) 1)))
  (fma (/ 1 1) (/ (+ x y) t) (- (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t))))))
  (fma (- (/ z (cbrt t))) (/ 1 (* (cbrt t) (cbrt t))) (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t)))))
  (fma (/ 1 1) (/ (+ x y) t) (- (* (/ z (sqrt t)) (/ 1 (sqrt t)))))
  (fma (- (/ z (sqrt t))) (/ 1 (sqrt t)) (* (/ z (sqrt t)) (/ 1 (sqrt t))))
  (fma (/ 1 1) (/ (+ x y) t) (- (* (/ z t) (/ 1 1))))
  (fma (- (/ z t)) (/ 1 1) (* (/ z t) (/ 1 1)))
  (fma (/ 1 1) (/ (+ x y) t) (- (* (/ z t) 1)))
  (fma (- (/ z t)) 1 (* (/ z t) 1))
  (fma (/ 1 1) (/ (+ x y) t) (- (* (/ 1 t) z)))
  (fma (- (/ 1 t)) z (* (/ 1 t) z))
  (fma 1 (/ (+ x y) t) (- (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t))))))
  (fma (- (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (fma 1 (/ (+ x y) t) (- (* (sqrt (/ z t)) (sqrt (/ z t)))))
  (fma (- (sqrt (/ z t))) (sqrt (/ z t)) (* (sqrt (/ z t)) (sqrt (/ z t))))
  (fma 1 (/ (+ x y) t) (- (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (cbrt z) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))) (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))))
  (fma 1 (/ (+ x y) t) (- (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t)))))
  (fma (- (/ (cbrt z) (sqrt t))) (/ (* (cbrt z) (cbrt z)) (sqrt t)) (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t))))
  (fma 1 (/ (+ x y) t) (- (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1))))
  (fma (- (/ (cbrt z) t)) (/ (* (cbrt z) (cbrt z)) 1) (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1)))
  (fma 1 (/ (+ x y) t) (- (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (sqrt z) (cbrt t))) (/ (sqrt z) (* (cbrt t) (cbrt t))) (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t)))))
  (fma 1 (/ (+ x y) t) (- (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t)))))
  (fma (- (/ (sqrt z) (sqrt t))) (/ (sqrt z) (sqrt t)) (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t))))
  (fma 1 (/ (+ x y) t) (- (* (/ (sqrt z) t) (/ (sqrt z) 1))))
  (fma (- (/ (sqrt z) t)) (/ (sqrt z) 1) (* (/ (sqrt z) t) (/ (sqrt z) 1)))
  (fma 1 (/ (+ x y) t) (- (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t))))))
  (fma (- (/ z (cbrt t))) (/ 1 (* (cbrt t) (cbrt t))) (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t)))))
  (fma 1 (/ (+ x y) t) (- (* (/ z (sqrt t)) (/ 1 (sqrt t)))))
  (fma (- (/ z (sqrt t))) (/ 1 (sqrt t)) (* (/ z (sqrt t)) (/ 1 (sqrt t))))
  (fma 1 (/ (+ x y) t) (- (* (/ z t) (/ 1 1))))
  (fma (- (/ z t)) (/ 1 1) (* (/ z t) (/ 1 1)))
  (fma 1 (/ (+ x y) t) (- (* (/ z t) 1)))
  (fma (- (/ z t)) 1 (* (/ z t) 1))
  (fma 1 (/ (+ x y) t) (- (* (/ 1 t) z)))
  (fma (- (/ 1 t)) z (* (/ 1 t) z))
  (fma (+ x y) (/ 1 t) (- (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t))))))
  (fma (- (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (fma (+ x y) (/ 1 t) (- (* (sqrt (/ z t)) (sqrt (/ z t)))))
  (fma (- (sqrt (/ z t))) (sqrt (/ z t)) (* (sqrt (/ z t)) (sqrt (/ z t))))
  (fma (+ x y) (/ 1 t) (- (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (cbrt z) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))) (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))))
  (fma (+ x y) (/ 1 t) (- (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t)))))
  (fma (- (/ (cbrt z) (sqrt t))) (/ (* (cbrt z) (cbrt z)) (sqrt t)) (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t))))
  (fma (+ x y) (/ 1 t) (- (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1))))
  (fma (- (/ (cbrt z) t)) (/ (* (cbrt z) (cbrt z)) 1) (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1)))
  (fma (+ x y) (/ 1 t) (- (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (sqrt z) (cbrt t))) (/ (sqrt z) (* (cbrt t) (cbrt t))) (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t)))))
  (fma (+ x y) (/ 1 t) (- (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t)))))
  (fma (- (/ (sqrt z) (sqrt t))) (/ (sqrt z) (sqrt t)) (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t))))
  (fma (+ x y) (/ 1 t) (- (* (/ (sqrt z) t) (/ (sqrt z) 1))))
  (fma (- (/ (sqrt z) t)) (/ (sqrt z) 1) (* (/ (sqrt z) t) (/ (sqrt z) 1)))
  (fma (+ x y) (/ 1 t) (- (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t))))))
  (fma (- (/ z (cbrt t))) (/ 1 (* (cbrt t) (cbrt t))) (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t)))))
  (fma (+ x y) (/ 1 t) (- (* (/ z (sqrt t)) (/ 1 (sqrt t)))))
  (fma (- (/ z (sqrt t))) (/ 1 (sqrt t)) (* (/ z (sqrt t)) (/ 1 (sqrt t))))
  (fma (+ x y) (/ 1 t) (- (* (/ z t) (/ 1 1))))
  (fma (- (/ z t)) (/ 1 1) (* (/ z t) (/ 1 1)))
  (fma (+ x y) (/ 1 t) (- (* (/ z t) 1)))
  (fma (- (/ z t)) 1 (* (/ z t) 1))
  (fma (+ x y) (/ 1 t) (- (* (/ 1 t) z)))
  (fma (- (/ 1 t)) z (* (/ 1 t) z))
  (expm1 (- (/ (+ x y) t) (/ z t)))
  (log1p (- (/ (+ x y) t) (/ z t)))
  (- (/ z t))
  (- (/ z t))
  (- (/ z t))
  (- (/ z t))
  (- (/ z t))
  (- (/ z t))
  (- (/ z t))
  (- (/ z t))
  (- (/ z t))
  (- (/ z t))
  (- (/ z t))
  (- (/ z t))
  (- (/ z t))
  (- (/ z t))
  (- (/ z t))
  (- (/ z t))
  (/ (exp (/ (+ x y) t)) (exp (/ z t)))
  (log (- (/ (+ x y) t) (/ z t)))
  (exp (- (/ (+ x y) t) (/ z t)))
  (* (cbrt (- (/ (+ x y) t) (/ z t))) (cbrt (- (/ (+ x y) t) (/ z t))))
  (cbrt (- (/ (+ x y) t) (/ z t)))
  (* (* (- (/ (+ x y) t) (/ z t)) (- (/ (+ x y) t) (/ z t))) (- (/ (+ x y) t) (/ z t)))
  (sqrt (- (/ (+ x y) t) (/ z t)))
  (sqrt (- (/ (+ x y) t) (/ z t)))
  (- (+ x y) z)
  (- (* (+ x y) t) (* t z))
  (* t t)
  (- (pow (/ (+ x y) t) 3) (pow (/ z t) 3))
  (+ (* (/ (+ x y) t) (/ (+ x y) t)) (+ (* (/ z t) (/ z t)) (* (/ (+ x y) t) (/ z t))))
  (- (/ z t))
  (- (* (/ (+ x y) t) (/ (+ x y) t)) (* (/ z t) (/ z t)))
  (+ (/ (+ x y) t) (/ z t))
  (+ (sqrt (/ (+ x y) t)) (sqrt (/ z t)))
  (- (sqrt (/ (+ x y) t)) (sqrt (/ z t)))
  (+ (sqrt (/ (+ x y) t)) (/ (sqrt z) (sqrt t)))
  (- (sqrt (/ (+ x y) t)) (/ (sqrt z) (sqrt t)))
  (+ (/ (sqrt (+ x y)) (sqrt t)) (sqrt (/ z t)))
  (- (/ (sqrt (+ x y)) (sqrt t)) (sqrt (/ z t)))
  (+ (/ (sqrt (+ x y)) (sqrt t)) (/ (sqrt z) (sqrt t)))
  (- (/ (sqrt (+ x y)) (sqrt t)) (/ (sqrt z) (sqrt t)))
  (- (/ (+ x y) (cbrt t)) (/ z (cbrt t)))
  (- (/ (+ x y) (sqrt t)) (/ z (sqrt t)))
  (- (/ (+ x y) t) (/ z t))
  (- (/ (+ x y) (cbrt t)) (/ z (cbrt t)))
  (- (/ (+ x y) (sqrt t)) (/ z (sqrt t)))
  (- (/ (+ x y) t) (/ z t))
  (- (/ (+ x y) t) (/ z t))
  (- (+ x y) z)
  (- (/ z t))
  (- (+ (/ y t) (/ x t)) (/ z t))
  (- (+ (/ x t) (/ y t)) (/ z t))
  (- (+ (/ x t) (/ y t)) (/ z t))
7.394 * * [simplify]: Extracting # 0 : cost  0
7.394 * * [simplify]: Extracting # 1 : cost  0
7.395 * * [simplify]: Extracting # 2 : cost  0
7.396 * * [simplify]: Extracting # 3 : cost  0
7.396 * * [simplify]: Extracting # 4 : cost  0
7.397 * * [simplify]: Extracting # 5 : cost  0
7.397 * * [simplify]: Extracting # 6 : cost  0
7.398 * * [simplify]: Extracting # 7 : cost  0
7.398 * * [simplify]: Extracting # 8 : cost  0
7.399 * * [simplify]: iteration  0 :  318  enodes  (cost  10421 )
7.468 * * [simplify]: Extracting # 0 : cost  0
7.469 * * [simplify]: Extracting # 1 : cost  0
7.470 * * [simplify]: Extracting # 2 : cost  0
7.471 * * [simplify]: Extracting # 3 : cost  0
7.477 * * [simplify]: Extracting # 4 : cost  0
7.478 * * [simplify]: iteration  1 :  725  enodes  (cost  9223 )
7.751 * * [simplify]: Extracting # 0 : cost  0
7.754 * * [simplify]: Extracting # 1 : cost  0
7.757 * * [simplify]: Extracting # 2 : cost  0
7.759 * * [simplify]: Extracting # 3 : cost  0
7.762 * * [simplify]: Extracting # 4 : cost  0
7.772 * * [simplify]: iteration  2 :  2263  enodes  (cost  7101 )
9.456 * * [simplify]: Extracting # 0 : cost  0
9.484 * * [simplify]: Extracting # 1 : cost  0
9.491 * * [simplify]: Extracting # 2 : cost  0
9.497 * * [simplify]: Extracting # 3 : cost  0
9.505 * * [simplify]: Extracting # 4 : cost  0
9.511 * * [simplify]: Extracting # 5 : cost  0
9.517 * * [simplify]: iteration done:  5001  enodes  (cost  5147 )
9.520 * [simplify]: Simplified to:
  (- (pow (cbrt (/ (+ x y) t)) 3) (/ z t))
  0
  (- (pow (cbrt (/ (+ x y) t)) 3) (/ z t))
  0
  (- (pow (cbrt (/ (+ x y) t)) 3) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (pow (cbrt (/ (+ x y) t)) 3) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (pow (cbrt (/ (+ x y) t)) 3) (/ z t))
  0
  (- (pow (cbrt (/ (+ x y) t)) 3) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (pow (cbrt (/ (+ x y) t)) 3) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (pow (cbrt (/ (+ x y) t)) 3) (/ z t))
  0
  (- (pow (cbrt (/ (+ x y) t)) 3) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (pow (cbrt (/ (+ x y) t)) 3) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (pow (cbrt (/ (+ x y) t)) 3) (/ z t))
  0
  (- (pow (cbrt (/ (+ x y) t)) 3) (/ z t))
  0
  (- (pow (cbrt (/ (+ x y) t)) 3) (/ z t))
  0
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (/ (+ x y) t) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (/ (+ x y) t) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (/ (+ x y) t) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z t))
  0
  (- (pow (/ (cbrt (+ x y)) (cbrt t)) 3) (/ z t))
  0
  (- (pow (/ (cbrt (+ x y)) (cbrt t)) 3) (/ z t))
  0
  (- (pow (/ (cbrt (+ x y)) (cbrt t)) 3) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (pow (/ (cbrt (+ x y)) (cbrt t)) 3) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (pow (/ (cbrt (+ x y)) (cbrt t)) 3) (/ z t))
  0
  (- (pow (/ (cbrt (+ x y)) (cbrt t)) 3) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (pow (/ (cbrt (+ x y)) (cbrt t)) 3) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (pow (/ (cbrt (+ x y)) (cbrt t)) 3) (/ z t))
  0
  (- (pow (/ (cbrt (+ x y)) (cbrt t)) 3) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (pow (/ (cbrt (+ x y)) (cbrt t)) 3) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (pow (/ (cbrt (+ x y)) (cbrt t)) 3) (/ z t))
  0
  (- (pow (/ (cbrt (+ x y)) (cbrt t)) 3) (/ z t))
  0
  (- (pow (/ (cbrt (+ x y)) (cbrt t)) 3) (/ z t))
  0
  (- (* (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt t)) (/ (cbrt (+ x y)) (sqrt t))) (/ z t))
  0
  (- (* (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt t)) (/ (cbrt (+ x y)) (sqrt t))) (/ z t))
  0
  (- (* (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt t)) (/ (cbrt (+ x y)) (sqrt t))) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (* (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt t)) (/ (cbrt (+ x y)) (sqrt t))) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (* (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt t)) (/ (cbrt (+ x y)) (sqrt t))) (/ z t))
  0
  (- (* (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt t)) (/ (cbrt (+ x y)) (sqrt t))) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (* (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt t)) (/ (cbrt (+ x y)) (sqrt t))) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (* (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt t)) (/ (cbrt (+ x y)) (sqrt t))) (/ z t))
  0
  (- (* (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt t)) (/ (cbrt (+ x y)) (sqrt t))) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (* (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt t)) (/ (cbrt (+ x y)) (sqrt t))) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (* (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt t)) (/ (cbrt (+ x y)) (sqrt t))) (/ z t))
  0
  (- (* (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt t)) (/ (cbrt (+ x y)) (sqrt t))) (/ z t))
  0
  (- (* (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt t)) (/ (cbrt (+ x y)) (sqrt t))) (/ z t))
  0
  (fma (cbrt (+ x y)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) t)) (- (/ z t)))
  0
  (fma (cbrt (+ x y)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) t)) (- (/ z t)))
  0
  (- (* (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) t)) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (* (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) t)) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (fma (cbrt (+ x y)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) t)) (- (/ z t)))
  0
  (- (* (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) t)) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (* (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) t)) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (fma (cbrt (+ x y)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) t)) (- (/ z t)))
  0
  (- (* (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) t)) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (* (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) t)) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (fma (cbrt (+ x y)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) t)) (- (/ z t)))
  0
  (fma (cbrt (+ x y)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) t)) (- (/ z t)))
  0
  (fma (cbrt (+ x y)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) t)) (- (/ z t)))
  0
  (- (* (/ (sqrt (+ x y)) (* (cbrt t) (cbrt t))) (/ (sqrt (+ x y)) (cbrt t))) (/ z t))
  0
  (- (* (/ (sqrt (+ x y)) (* (cbrt t) (cbrt t))) (/ (sqrt (+ x y)) (cbrt t))) (/ z t))
  0
  (- (* (/ (sqrt (+ x y)) (* (cbrt t) (cbrt t))) (/ (sqrt (+ x y)) (cbrt t))) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (fma (/ (sqrt (+ x y)) (* (cbrt t) (cbrt t))) (/ (sqrt (+ x y)) (cbrt t)) (- (/ (/ z (sqrt t)) (sqrt t))))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (* (/ (sqrt (+ x y)) (* (cbrt t) (cbrt t))) (/ (sqrt (+ x y)) (cbrt t))) (/ z t))
  0
  (- (* (/ (sqrt (+ x y)) (* (cbrt t) (cbrt t))) (/ (sqrt (+ x y)) (cbrt t))) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (fma (/ (sqrt (+ x y)) (* (cbrt t) (cbrt t))) (/ (sqrt (+ x y)) (cbrt t)) (- (/ (/ z (sqrt t)) (sqrt t))))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (* (/ (sqrt (+ x y)) (* (cbrt t) (cbrt t))) (/ (sqrt (+ x y)) (cbrt t))) (/ z t))
  0
  (- (* (/ (sqrt (+ x y)) (* (cbrt t) (cbrt t))) (/ (sqrt (+ x y)) (cbrt t))) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (fma (/ (sqrt (+ x y)) (* (cbrt t) (cbrt t))) (/ (sqrt (+ x y)) (cbrt t)) (- (/ (/ z (sqrt t)) (sqrt t))))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (* (/ (sqrt (+ x y)) (* (cbrt t) (cbrt t))) (/ (sqrt (+ x y)) (cbrt t))) (/ z t))
  0
  (- (* (/ (sqrt (+ x y)) (* (cbrt t) (cbrt t))) (/ (sqrt (+ x y)) (cbrt t))) (/ z t))
  0
  (- (* (/ (sqrt (+ x y)) (* (cbrt t) (cbrt t))) (/ (sqrt (+ x y)) (cbrt t))) (/ z t))
  0
  (- (* (/ (sqrt (+ x y)) (sqrt t)) (/ (sqrt (+ x y)) (sqrt t))) (/ z t))
  0
  (- (* (/ (sqrt (+ x y)) (sqrt t)) (/ (sqrt (+ x y)) (sqrt t))) (/ z t))
  0
  (- (* (/ (sqrt (+ x y)) (sqrt t)) (/ (sqrt (+ x y)) (sqrt t))) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (* (/ (sqrt (+ x y)) (sqrt t)) (/ (sqrt (+ x y)) (sqrt t))) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (* (/ (sqrt (+ x y)) (sqrt t)) (/ (sqrt (+ x y)) (sqrt t))) (/ z t))
  0
  (- (* (/ (sqrt (+ x y)) (sqrt t)) (/ (sqrt (+ x y)) (sqrt t))) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (* (/ (sqrt (+ x y)) (sqrt t)) (/ (sqrt (+ x y)) (sqrt t))) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (* (/ (sqrt (+ x y)) (sqrt t)) (/ (sqrt (+ x y)) (sqrt t))) (/ z t))
  0
  (- (* (/ (sqrt (+ x y)) (sqrt t)) (/ (sqrt (+ x y)) (sqrt t))) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (* (/ (sqrt (+ x y)) (sqrt t)) (/ (sqrt (+ x y)) (sqrt t))) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (* (/ (sqrt (+ x y)) (sqrt t)) (/ (sqrt (+ x y)) (sqrt t))) (/ z t))
  0
  (- (* (/ (sqrt (+ x y)) (sqrt t)) (/ (sqrt (+ x y)) (sqrt t))) (/ z t))
  0
  (- (* (/ (sqrt (+ x y)) (sqrt t)) (/ (sqrt (+ x y)) (sqrt t))) (/ z t))
  0
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (/ (+ x y) t) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (/ (+ x y) t) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (/ (+ x y) t) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (/ (+ x y) (cbrt t)) (* (cbrt t) (cbrt t))) (/ z t))
  0
  (- (/ (/ (+ x y) (cbrt t)) (* (cbrt t) (cbrt t))) (/ z t))
  0
  (- (/ (/ (+ x y) (cbrt t)) (* (cbrt t) (cbrt t))) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (/ (/ (+ x y) (cbrt t)) (* (cbrt t) (cbrt t))) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (/ (/ (+ x y) (cbrt t)) (* (cbrt t) (cbrt t))) (/ z t))
  0
  (- (/ (/ (+ x y) (cbrt t)) (* (cbrt t) (cbrt t))) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (/ (/ (+ x y) (cbrt t)) (* (cbrt t) (cbrt t))) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (/ (/ (+ x y) (cbrt t)) (* (cbrt t) (cbrt t))) (/ z t))
  0
  (- (/ (/ (+ x y) (cbrt t)) (* (cbrt t) (cbrt t))) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (/ (/ (+ x y) (cbrt t)) (* (cbrt t) (cbrt t))) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (/ (/ (+ x y) (cbrt t)) (* (cbrt t) (cbrt t))) (/ z t))
  0
  (- (/ (/ (+ x y) (cbrt t)) (* (cbrt t) (cbrt t))) (/ z t))
  0
  (- (/ (/ (+ x y) (cbrt t)) (* (cbrt t) (cbrt t))) (/ z t))
  0
  (- (/ (/ (+ x y) (sqrt t)) (sqrt t)) (/ z t))
  0
  (- (/ (/ (+ x y) (sqrt t)) (sqrt t)) (/ z t))
  0
  (- (/ (/ (+ x y) (sqrt t)) (sqrt t)) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (/ (/ (+ x y) (sqrt t)) (sqrt t)) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (/ (/ (+ x y) (sqrt t)) (sqrt t)) (/ z t))
  0
  (- (/ (/ (+ x y) (sqrt t)) (sqrt t)) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (/ (/ (+ x y) (sqrt t)) (sqrt t)) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (/ (/ (+ x y) (sqrt t)) (sqrt t)) (/ z t))
  0
  (- (/ (/ (+ x y) (sqrt t)) (sqrt t)) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (/ (/ (+ x y) (sqrt t)) (sqrt t)) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (/ (/ (+ x y) (sqrt t)) (sqrt t)) (/ z t))
  0
  (- (/ (/ (+ x y) (sqrt t)) (sqrt t)) (/ z t))
  0
  (- (/ (/ (+ x y) (sqrt t)) (sqrt t)) (/ z t))
  0
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (/ (+ x y) t) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (/ (+ x y) t) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (/ (+ x y) t) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (/ (+ x y) (cbrt t)) (* (cbrt t) (cbrt t))) (/ z t))
  0
  (- (/ (/ (+ x y) (cbrt t)) (* (cbrt t) (cbrt t))) (/ z t))
  0
  (- (/ (/ (+ x y) (cbrt t)) (* (cbrt t) (cbrt t))) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (/ (/ (+ x y) (cbrt t)) (* (cbrt t) (cbrt t))) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (/ (/ (+ x y) (cbrt t)) (* (cbrt t) (cbrt t))) (/ z t))
  0
  (- (/ (/ (+ x y) (cbrt t)) (* (cbrt t) (cbrt t))) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (/ (/ (+ x y) (cbrt t)) (* (cbrt t) (cbrt t))) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (/ (/ (+ x y) (cbrt t)) (* (cbrt t) (cbrt t))) (/ z t))
  0
  (- (/ (/ (+ x y) (cbrt t)) (* (cbrt t) (cbrt t))) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (/ (/ (+ x y) (cbrt t)) (* (cbrt t) (cbrt t))) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (/ (/ (+ x y) (cbrt t)) (* (cbrt t) (cbrt t))) (/ z t))
  0
  (- (/ (/ (+ x y) (cbrt t)) (* (cbrt t) (cbrt t))) (/ z t))
  0
  (- (/ (/ (+ x y) (cbrt t)) (* (cbrt t) (cbrt t))) (/ z t))
  0
  (- (/ (/ (+ x y) (sqrt t)) (sqrt t)) (/ z t))
  0
  (- (/ (/ (+ x y) (sqrt t)) (sqrt t)) (/ z t))
  0
  (- (/ (/ (+ x y) (sqrt t)) (sqrt t)) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (/ (/ (+ x y) (sqrt t)) (sqrt t)) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (/ (/ (+ x y) (sqrt t)) (sqrt t)) (/ z t))
  0
  (- (/ (/ (+ x y) (sqrt t)) (sqrt t)) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (/ (/ (+ x y) (sqrt t)) (sqrt t)) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (/ (/ (+ x y) (sqrt t)) (sqrt t)) (/ z t))
  0
  (- (/ (/ (+ x y) (sqrt t)) (sqrt t)) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (/ (/ (+ x y) (sqrt t)) (sqrt t)) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (/ (/ (+ x y) (sqrt t)) (sqrt t)) (/ z t))
  0
  (- (/ (/ (+ x y) (sqrt t)) (sqrt t)) (/ z t))
  0
  (- (/ (/ (+ x y) (sqrt t)) (sqrt t)) (/ z t))
  0
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (/ (+ x y) t) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (/ (+ x y) t) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (/ (+ x y) t) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (/ (+ x y) t) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (/ (+ x y) t) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (/ (+ x y) t) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (/ (+ x y) t) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (/ (+ x y) t) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (/ (+ x y) t) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z t))
  0
  (expm1 (- (/ (+ x y) t) (/ z t)))
  (log1p (- (/ (+ x y) t) (/ z t)))
  (/ (- z) t)
  (/ (- z) t)
  (/ (- z) t)
  (/ (- z) t)
  (/ (- z) t)
  (/ (- z) t)
  (/ (- z) t)
  (/ (- z) t)
  (/ (- z) t)
  (/ (- z) t)
  (/ (- z) t)
  (/ (- z) t)
  (/ (- z) t)
  (/ (- z) t)
  (/ (- z) t)
  (/ (- z) t)
  (exp (- (/ (+ x y) t) (/ z t)))
  (log (- (/ (+ x y) t) (/ z t)))
  (exp (- (/ (+ x y) t) (/ z t)))
  (* (cbrt (- (/ (+ x y) t) (/ z t))) (cbrt (- (/ (+ x y) t) (/ z t))))
  (cbrt (- (/ (+ x y) t) (/ z t)))
  (pow (- (/ (+ x y) t) (/ z t)) 3)
  (sqrt (- (/ (+ x y) t) (/ z t)))
  (sqrt (- (/ (+ x y) t) (/ z t)))
  (- (+ x y) z)
  (* t (- (+ x y) z))
  (* t t)
  (- (pow (/ (+ x y) t) 3) (pow (/ z t) 3))
  (fma (/ (+ x y) t) (/ (+ x y) t) (* (/ z t) (+ (/ z t) (/ (+ x y) t))))
  (/ (- z) t)
  (- (* (/ (+ x y) t) (/ (+ x y) t)) (* (/ z t) (/ z t)))
  (+ (/ (+ x y) t) (/ z t))
  (+ (sqrt (/ (+ x y) t)) (sqrt (/ z t)))
  (- (sqrt (/ (+ x y) t)) (sqrt (/ z t)))
  (+ (sqrt (/ (+ x y) t)) (/ (sqrt z) (sqrt t)))
  (- (sqrt (/ (+ x y) t)) (/ (sqrt z) (sqrt t)))
  (+ (/ (sqrt (+ x y)) (sqrt t)) (sqrt (/ z t)))
  (- (/ (sqrt (+ x y)) (sqrt t)) (sqrt (/ z t)))
  (+ (/ (sqrt (+ x y)) (sqrt t)) (/ (sqrt z) (sqrt t)))
  (- (/ (sqrt (+ x y)) (sqrt t)) (/ (sqrt z) (sqrt t)))
  (- (/ (+ x y) (cbrt t)) (/ z (cbrt t)))
  (- (/ (+ x y) (sqrt t)) (/ z (sqrt t)))
  (- (/ (+ x y) t) (/ z t))
  (- (/ (+ x y) (cbrt t)) (/ z (cbrt t)))
  (- (/ (+ x y) (sqrt t)) (/ z (sqrt t)))
  (- (/ (+ x y) t) (/ z t))
  (- (/ (+ x y) t) (/ z t))
  (- (+ x y) z)
  (/ (- z) t)
  (- (+ (/ y t) (/ x t)) (/ z t))
  (- (+ (/ y t) (/ x t)) (/ z t))
  (- (+ (/ y t) (/ x t)) (/ z t))
9.525 * * * [progress]: adding candidates to table
10.214 * [progress]: [Phase 3 of 3] Extracting.
10.214 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (/ (- (/ (+ x y) t) (/ z t)) 2.0))> #<alt (λ (x y z t) (/ (/ (- (+ x y) z) t) 2.0))>)
10.215 * * * [regime-changes]: Trying 6 branch expressions: ((+ x y) (- (+ x y) z) t z y x)
10.215 * * * * [regimes]: Trying to branch on (+ x y) from (#<alt (λ (x y z t) (/ (- (/ (+ x y) t) (/ z t)) 2.0))> #<alt (λ (x y z t) (/ (/ (- (+ x y) z) t) 2.0))>)
10.246 * * * * [regimes]: Trying to branch on (- (+ x y) z) from (#<alt (λ (x y z t) (/ (- (/ (+ x y) t) (/ z t)) 2.0))> #<alt (λ (x y z t) (/ (/ (- (+ x y) z) t) 2.0))>)
10.273 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (/ (- (/ (+ x y) t) (/ z t)) 2.0))> #<alt (λ (x y z t) (/ (/ (- (+ x y) z) t) 2.0))>)
10.304 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (/ (- (/ (+ x y) t) (/ z t)) 2.0))> #<alt (λ (x y z t) (/ (/ (- (+ x y) z) t) 2.0))>)
10.328 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (/ (- (/ (+ x y) t) (/ z t)) 2.0))> #<alt (λ (x y z t) (/ (/ (- (+ x y) z) t) 2.0))>)
10.342 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (/ (- (/ (+ x y) t) (/ z t)) 2.0))> #<alt (λ (x y z t) (/ (/ (- (+ x y) z) t) 2.0))>)
10.358 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
10.358 * [simplify]: Simplifying:
  (/ (/ (- (+ x y) z) t) 2.0)
10.358 * * [simplify]: Extracting # 0 : cost  0
10.359 * * [simplify]: Extracting # 1 : cost  0
10.359 * * [simplify]: Extracting # 2 : cost  0
10.359 * * [simplify]: Extracting # 3 : cost  0
10.359 * * [simplify]: Extracting # 4 : cost  0
10.359 * * [simplify]: Extracting # 5 : cost  0
10.359 * * [simplify]: Extracting # 6 : cost  0
10.359 * * [simplify]: iteration  0 :  9  enodes  (cost  9 )
10.359 * * [simplify]: Extracting # 0 : cost  0
10.359 * * [simplify]: iteration  1 :  10  enodes  (cost  9 )
10.360 * * [simplify]: Extracting # 0 : cost  0
10.360 * * [simplify]: iteration done:  10  enodes  (cost  9 )
10.360 * [simplify]: Simplified to:
  (/ (/ (- (+ x y) z) t) 2.0)
11.629 * [regime-testing]: Baseline error score: 0.023502937867233405
11.632 * [regime-testing]: Oracle error score: 0.012501562695336917
11.637 * [regime-testing]: End program error score: 0.023502937867233405