18.410 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.045 * * * [progress]: [2/2] Setting up program.
0.048 * [progress]: [Phase 2 of 3] Improving.
0.048 * [simplify]: Simplifying:
  (/ (- (+ x y) z) (* t 2.0))
0.048 * * [simplify]: Extracting # 0 : cost  0
0.048 * * [simplify]: Extracting # 1 : cost  0
0.048 * * [simplify]: Extracting # 2 : cost  0
0.048 * * [simplify]: Extracting # 3 : cost  0
0.049 * * [simplify]: Extracting # 4 : cost  0
0.049 * * [simplify]: Extracting # 5 : cost  0
0.049 * * [simplify]: iteration  0 :  9  enodes  (cost  9 )
0.051 * * [simplify]: Extracting # 0 : cost  0
0.051 * * [simplify]: Extracting # 1 : cost  0
0.052 * * [simplify]: Extracting # 2 : cost  0
0.052 * * [simplify]: iteration  1 :  20  enodes  (cost  9 )
0.058 * * [simplify]: Extracting # 0 : cost  0
0.058 * * [simplify]: Extracting # 1 : cost  0
0.058 * * [simplify]: Extracting # 2 : cost  0
0.058 * * [simplify]: iteration  2 :  41  enodes  (cost  9 )
0.070 * * [simplify]: Extracting # 0 : cost  0
0.070 * * [simplify]: Extracting # 1 : cost  0
0.070 * * [simplify]: Extracting # 2 : cost  0
0.070 * * [simplify]: iteration  3 :  57  enodes  (cost  9 )
0.085 * * [simplify]: Extracting # 0 : cost  0
0.085 * * [simplify]: Extracting # 1 : cost  0
0.086 * * [simplify]: Extracting # 2 : cost  0
0.086 * * [simplify]: iteration  4 :  76  enodes  (cost  9 )
0.106 * * [simplify]: Extracting # 0 : cost  0
0.106 * * [simplify]: Extracting # 1 : cost  0
0.106 * * [simplify]: Extracting # 2 : cost  0
0.106 * * [simplify]: iteration  5 :  110  enodes  (cost  9 )
0.137 * * [simplify]: Extracting # 0 : cost  0
0.137 * * [simplify]: Extracting # 1 : cost  0
0.137 * * [simplify]: Extracting # 2 : cost  0
0.137 * * [simplify]: iteration  6 :  166  enodes  (cost  9 )
0.171 * * [simplify]: Extracting # 0 : cost  0
0.172 * * [simplify]: Extracting # 1 : cost  0
0.172 * * [simplify]: Extracting # 2 : cost  0
0.172 * * [simplify]: iteration  7 :  220  enodes  (cost  9 )
0.233 * * [simplify]: Extracting # 0 : cost  0
0.233 * * [simplify]: Extracting # 1 : cost  0
0.234 * * [simplify]: Extracting # 2 : cost  0
0.234 * * [simplify]: iteration  8 :  319  enodes  (cost  9 )
0.360 * * [simplify]: Extracting # 0 : cost  0
0.361 * * [simplify]: Extracting # 1 : cost  0
0.361 * * [simplify]: Extracting # 2 : cost  0
0.361 * * [simplify]: iteration  9 :  423  enodes  (cost  9 )
0.454 * * [simplify]: Extracting # 0 : cost  0
0.455 * * [simplify]: Extracting # 1 : cost  0
0.455 * * [simplify]: Extracting # 2 : cost  0
0.455 * * [simplify]: iteration  10 :  479  enodes  (cost  9 )
0.547 * * [simplify]: Extracting # 0 : cost  0
0.548 * * [simplify]: Extracting # 1 : cost  0
0.548 * * [simplify]: iteration  11 :  500  enodes  (cost  9 )
0.693 * * [simplify]: Extracting # 0 : cost  0
0.694 * * [simplify]: Extracting # 1 : cost  0
0.694 * * [simplify]: Extracting # 2 : cost  0
0.695 * * [simplify]: iteration  12 :  510  enodes  (cost  9 )
0.853 * * [simplify]: Extracting # 0 : cost  0
0.853 * * [simplify]: Extracting # 1 : cost  0
0.854 * * [simplify]: iteration done:  510  enodes  (cost  9 )
0.854 * [simplify]: Simplified to:
  (/ (- (+ x y) z) (* t 2.0))
0.855 * * [progress]: iteration 1 / 4
0.855 * * * [progress]: picking best candidate
0.858 * * * * [pick]: Picked  #<alt (λ (x y z t) (/ (- (+ x y) z) (* t 2.0)))>
0.858 * * * [progress]: localizing error
0.874 * * * [progress]: generating rewritten candidates
0.874 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.009 * * * [progress]: generating series expansions
1.009 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.010 * [backup-simplify]: Simplify (/ (- (+ x y) z) (* t 2.0)) into (* 0.5 (/ (- (+ x y) z) t))
1.010 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in (x y z t) around 0
1.010 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in t
1.010 * [taylor]: Taking taylor expansion of 0.5 in t
1.010 * [backup-simplify]: Simplify 0.5 into 0.5
1.010 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in t
1.010 * [taylor]: Taking taylor expansion of (- (+ x y) z) in t
1.010 * [taylor]: Taking taylor expansion of (+ x y) in t
1.010 * [taylor]: Taking taylor expansion of x in t
1.010 * [backup-simplify]: Simplify x into x
1.010 * [taylor]: Taking taylor expansion of y in t
1.010 * [backup-simplify]: Simplify y into y
1.010 * [taylor]: Taking taylor expansion of z in t
1.010 * [backup-simplify]: Simplify z into z
1.010 * [taylor]: Taking taylor expansion of t in t
1.010 * [backup-simplify]: Simplify 0 into 0
1.010 * [backup-simplify]: Simplify 1 into 1
1.010 * [backup-simplify]: Simplify (+ x y) into (+ x y)
1.010 * [backup-simplify]: Simplify (- z) into (- z)
1.010 * [backup-simplify]: Simplify (+ (+ x y) (- z)) into (- (+ x y) z)
1.011 * [backup-simplify]: Simplify (/ (- (+ x y) z) 1) into (- (+ x y) z)
1.011 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in z
1.011 * [taylor]: Taking taylor expansion of 0.5 in z
1.011 * [backup-simplify]: Simplify 0.5 into 0.5
1.011 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in z
1.011 * [taylor]: Taking taylor expansion of (- (+ x y) z) in z
1.011 * [taylor]: Taking taylor expansion of (+ x y) in z
1.011 * [taylor]: Taking taylor expansion of x in z
1.011 * [backup-simplify]: Simplify x into x
1.011 * [taylor]: Taking taylor expansion of y in z
1.011 * [backup-simplify]: Simplify y into y
1.011 * [taylor]: Taking taylor expansion of z in z
1.011 * [backup-simplify]: Simplify 0 into 0
1.011 * [backup-simplify]: Simplify 1 into 1
1.011 * [taylor]: Taking taylor expansion of t in z
1.011 * [backup-simplify]: Simplify t into t
1.011 * [backup-simplify]: Simplify (+ x y) into (+ x y)
1.012 * [backup-simplify]: Simplify (- 0) into 0
1.012 * [backup-simplify]: Simplify (+ (+ x y) 0) into (+ x y)
1.012 * [backup-simplify]: Simplify (/ (+ x y) t) into (/ (+ x y) t)
1.012 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in y
1.012 * [taylor]: Taking taylor expansion of 0.5 in y
1.012 * [backup-simplify]: Simplify 0.5 into 0.5
1.012 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in y
1.012 * [taylor]: Taking taylor expansion of (- (+ x y) z) in y
1.012 * [taylor]: Taking taylor expansion of (+ x y) in y
1.012 * [taylor]: Taking taylor expansion of x in y
1.012 * [backup-simplify]: Simplify x into x
1.012 * [taylor]: Taking taylor expansion of y in y
1.012 * [backup-simplify]: Simplify 0 into 0
1.012 * [backup-simplify]: Simplify 1 into 1
1.012 * [taylor]: Taking taylor expansion of z in y
1.012 * [backup-simplify]: Simplify z into z
1.012 * [taylor]: Taking taylor expansion of t in y
1.012 * [backup-simplify]: Simplify t into t
1.012 * [backup-simplify]: Simplify (+ x 0) into x
1.012 * [backup-simplify]: Simplify (- z) into (- z)
1.012 * [backup-simplify]: Simplify (+ x (- z)) into (- x z)
1.012 * [backup-simplify]: Simplify (/ (- x z) t) into (/ (- x z) t)
1.012 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in x
1.013 * [taylor]: Taking taylor expansion of 0.5 in x
1.013 * [backup-simplify]: Simplify 0.5 into 0.5
1.013 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in x
1.013 * [taylor]: Taking taylor expansion of (- (+ x y) z) in x
1.013 * [taylor]: Taking taylor expansion of (+ x y) in x
1.013 * [taylor]: Taking taylor expansion of x in x
1.013 * [backup-simplify]: Simplify 0 into 0
1.013 * [backup-simplify]: Simplify 1 into 1
1.013 * [taylor]: Taking taylor expansion of y in x
1.013 * [backup-simplify]: Simplify y into y
1.013 * [taylor]: Taking taylor expansion of z in x
1.013 * [backup-simplify]: Simplify z into z
1.013 * [taylor]: Taking taylor expansion of t in x
1.013 * [backup-simplify]: Simplify t into t
1.013 * [backup-simplify]: Simplify (+ 0 y) into y
1.013 * [backup-simplify]: Simplify (- z) into (- z)
1.013 * [backup-simplify]: Simplify (+ y (- z)) into (- y z)
1.013 * [backup-simplify]: Simplify (/ (- y z) t) into (/ (- y z) t)
1.013 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in x
1.013 * [taylor]: Taking taylor expansion of 0.5 in x
1.013 * [backup-simplify]: Simplify 0.5 into 0.5
1.013 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in x
1.013 * [taylor]: Taking taylor expansion of (- (+ x y) z) in x
1.013 * [taylor]: Taking taylor expansion of (+ x y) in x
1.013 * [taylor]: Taking taylor expansion of x in x
1.013 * [backup-simplify]: Simplify 0 into 0
1.013 * [backup-simplify]: Simplify 1 into 1
1.013 * [taylor]: Taking taylor expansion of y in x
1.013 * [backup-simplify]: Simplify y into y
1.013 * [taylor]: Taking taylor expansion of z in x
1.014 * [backup-simplify]: Simplify z into z
1.014 * [taylor]: Taking taylor expansion of t in x
1.014 * [backup-simplify]: Simplify t into t
1.014 * [backup-simplify]: Simplify (+ 0 y) into y
1.014 * [backup-simplify]: Simplify (- z) into (- z)
1.014 * [backup-simplify]: Simplify (+ y (- z)) into (- y z)
1.014 * [backup-simplify]: Simplify (/ (- y z) t) into (/ (- y z) t)
1.014 * [backup-simplify]: Simplify (* 0.5 (/ (- y z) t)) into (* 0.5 (/ (- y z) t))
1.014 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- y z) t)) in y
1.014 * [taylor]: Taking taylor expansion of 0.5 in y
1.014 * [backup-simplify]: Simplify 0.5 into 0.5
1.014 * [taylor]: Taking taylor expansion of (/ (- y z) t) in y
1.014 * [taylor]: Taking taylor expansion of (- y z) in y
1.014 * [taylor]: Taking taylor expansion of y in y
1.014 * [backup-simplify]: Simplify 0 into 0
1.014 * [backup-simplify]: Simplify 1 into 1
1.014 * [taylor]: Taking taylor expansion of z in y
1.014 * [backup-simplify]: Simplify z into z
1.014 * [taylor]: Taking taylor expansion of t in y
1.014 * [backup-simplify]: Simplify t into t
1.014 * [backup-simplify]: Simplify (- z) into (- z)
1.014 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
1.014 * [backup-simplify]: Simplify (/ (- z) t) into (* -1 (/ z t))
1.015 * [backup-simplify]: Simplify (* 0.5 (* -1 (/ z t))) into (* -0.5 (/ z t))
1.015 * [taylor]: Taking taylor expansion of (* -0.5 (/ z t)) in z
1.015 * [taylor]: Taking taylor expansion of -0.5 in z
1.015 * [backup-simplify]: Simplify -0.5 into -0.5
1.015 * [taylor]: Taking taylor expansion of (/ z t) in z
1.015 * [taylor]: Taking taylor expansion of z in z
1.015 * [backup-simplify]: Simplify 0 into 0
1.015 * [backup-simplify]: Simplify 1 into 1
1.015 * [taylor]: Taking taylor expansion of t in z
1.015 * [backup-simplify]: Simplify t into t
1.015 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
1.015 * [backup-simplify]: Simplify (+ 1 0) into 1
1.016 * [backup-simplify]: Simplify (- 0) into 0
1.016 * [backup-simplify]: Simplify (+ 1 0) into 1
1.016 * [backup-simplify]: Simplify (- (/ 1 t) (+ (* (/ (- y z) t) (/ 0 t)))) into (/ 1 t)
1.017 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 t)) (* 0 (/ (- y z) t))) into (* 0.5 (/ 1 t))
1.017 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in y
1.017 * [taylor]: Taking taylor expansion of 0.5 in y
1.017 * [backup-simplify]: Simplify 0.5 into 0.5
1.017 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.017 * [taylor]: Taking taylor expansion of t in y
1.017 * [backup-simplify]: Simplify t into t
1.017 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
1.017 * [backup-simplify]: Simplify (* 0.5 (/ 1 t)) into (/ 0.5 t)
1.017 * [taylor]: Taking taylor expansion of (/ 0.5 t) in z
1.017 * [taylor]: Taking taylor expansion of 0.5 in z
1.017 * [backup-simplify]: Simplify 0.5 into 0.5
1.017 * [taylor]: Taking taylor expansion of t in z
1.017 * [backup-simplify]: Simplify t into t
1.017 * [backup-simplify]: Simplify (/ 0.5 t) into (/ 0.5 t)
1.017 * [taylor]: Taking taylor expansion of (/ 0.5 t) in t
1.017 * [taylor]: Taking taylor expansion of 0.5 in t
1.017 * [backup-simplify]: Simplify 0.5 into 0.5
1.017 * [taylor]: Taking taylor expansion of t in t
1.017 * [backup-simplify]: Simplify 0 into 0
1.017 * [backup-simplify]: Simplify 1 into 1
1.018 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
1.018 * [backup-simplify]: Simplify 0.5 into 0.5
1.018 * [backup-simplify]: Simplify (- 0) into 0
1.019 * [backup-simplify]: Simplify (+ 1 0) into 1
1.019 * [backup-simplify]: Simplify (- (/ 1 t) (+ (* (* -1 (/ z t)) (/ 0 t)))) into (/ 1 t)
1.019 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 t)) (* 0 (* -1 (/ z t)))) into (* 0.5 (/ 1 t))
1.019 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in z
1.019 * [taylor]: Taking taylor expansion of 0.5 in z
1.019 * [backup-simplify]: Simplify 0.5 into 0.5
1.019 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.019 * [taylor]: Taking taylor expansion of t in z
1.019 * [backup-simplify]: Simplify t into t
1.020 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
1.020 * [backup-simplify]: Simplify (* 0.5 (/ 1 t)) into (/ 0.5 t)
1.020 * [taylor]: Taking taylor expansion of (/ 0.5 t) in t
1.020 * [taylor]: Taking taylor expansion of 0.5 in t
1.020 * [backup-simplify]: Simplify 0.5 into 0.5
1.020 * [taylor]: Taking taylor expansion of t in t
1.020 * [backup-simplify]: Simplify 0 into 0
1.020 * [backup-simplify]: Simplify 1 into 1
1.020 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
1.020 * [backup-simplify]: Simplify 0.5 into 0.5
1.020 * [backup-simplify]: Simplify (* -0.5 (/ 1 t)) into (/ -0.5 t)
1.020 * [taylor]: Taking taylor expansion of (/ -0.5 t) in t
1.020 * [taylor]: Taking taylor expansion of -0.5 in t
1.020 * [backup-simplify]: Simplify -0.5 into -0.5
1.020 * [taylor]: Taking taylor expansion of t in t
1.021 * [backup-simplify]: Simplify 0 into 0
1.021 * [backup-simplify]: Simplify 1 into 1
1.021 * [backup-simplify]: Simplify (/ -0.5 1) into -0.5
1.021 * [backup-simplify]: Simplify -0.5 into -0.5
1.022 * [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)))
1.022 * [backup-simplify]: Simplify (/ (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)) (* (/ 1 t) 2.0)) into (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))))
1.022 * [approximate]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in (x y z t) around 0
1.022 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in t
1.022 * [taylor]: Taking taylor expansion of 0.5 in t
1.022 * [backup-simplify]: Simplify 0.5 into 0.5
1.022 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in t
1.022 * [taylor]: Taking taylor expansion of t in t
1.023 * [backup-simplify]: Simplify 0 into 0
1.023 * [backup-simplify]: Simplify 1 into 1
1.023 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in t
1.023 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
1.023 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.023 * [taylor]: Taking taylor expansion of y in t
1.023 * [backup-simplify]: Simplify y into y
1.023 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.023 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.023 * [taylor]: Taking taylor expansion of x in t
1.023 * [backup-simplify]: Simplify x into x
1.023 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.023 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.023 * [taylor]: Taking taylor expansion of z in t
1.023 * [backup-simplify]: Simplify z into z
1.023 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.023 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in z
1.023 * [taylor]: Taking taylor expansion of 0.5 in z
1.023 * [backup-simplify]: Simplify 0.5 into 0.5
1.023 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in z
1.023 * [taylor]: Taking taylor expansion of t in z
1.023 * [backup-simplify]: Simplify t into t
1.023 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in z
1.023 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
1.023 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.023 * [taylor]: Taking taylor expansion of y in z
1.023 * [backup-simplify]: Simplify y into y
1.023 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.023 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.023 * [taylor]: Taking taylor expansion of x in z
1.023 * [backup-simplify]: Simplify x into x
1.023 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.024 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.024 * [taylor]: Taking taylor expansion of z in z
1.024 * [backup-simplify]: Simplify 0 into 0
1.024 * [backup-simplify]: Simplify 1 into 1
1.024 * [backup-simplify]: Simplify (/ 1 1) into 1
1.024 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in y
1.024 * [taylor]: Taking taylor expansion of 0.5 in y
1.024 * [backup-simplify]: Simplify 0.5 into 0.5
1.024 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in y
1.024 * [taylor]: Taking taylor expansion of t in y
1.024 * [backup-simplify]: Simplify t into t
1.024 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in y
1.024 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
1.024 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.024 * [taylor]: Taking taylor expansion of y in y
1.024 * [backup-simplify]: Simplify 0 into 0
1.024 * [backup-simplify]: Simplify 1 into 1
1.025 * [backup-simplify]: Simplify (/ 1 1) into 1
1.025 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.025 * [taylor]: Taking taylor expansion of x in y
1.025 * [backup-simplify]: Simplify x into x
1.025 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.025 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.025 * [taylor]: Taking taylor expansion of z in y
1.025 * [backup-simplify]: Simplify z into z
1.025 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.025 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in x
1.025 * [taylor]: Taking taylor expansion of 0.5 in x
1.025 * [backup-simplify]: Simplify 0.5 into 0.5
1.025 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in x
1.025 * [taylor]: Taking taylor expansion of t in x
1.025 * [backup-simplify]: Simplify t into t
1.025 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in x
1.025 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.025 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.025 * [taylor]: Taking taylor expansion of y in x
1.025 * [backup-simplify]: Simplify y into y
1.025 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.025 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.025 * [taylor]: Taking taylor expansion of x in x
1.025 * [backup-simplify]: Simplify 0 into 0
1.025 * [backup-simplify]: Simplify 1 into 1
1.026 * [backup-simplify]: Simplify (/ 1 1) into 1
1.026 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.026 * [taylor]: Taking taylor expansion of z in x
1.026 * [backup-simplify]: Simplify z into z
1.026 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.026 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in x
1.026 * [taylor]: Taking taylor expansion of 0.5 in x
1.026 * [backup-simplify]: Simplify 0.5 into 0.5
1.026 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in x
1.026 * [taylor]: Taking taylor expansion of t in x
1.026 * [backup-simplify]: Simplify t into t
1.026 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in x
1.026 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.026 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.026 * [taylor]: Taking taylor expansion of y in x
1.026 * [backup-simplify]: Simplify y into y
1.026 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.026 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.026 * [taylor]: Taking taylor expansion of x in x
1.026 * [backup-simplify]: Simplify 0 into 0
1.026 * [backup-simplify]: Simplify 1 into 1
1.027 * [backup-simplify]: Simplify (/ 1 1) into 1
1.027 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.027 * [taylor]: Taking taylor expansion of z in x
1.027 * [backup-simplify]: Simplify z into z
1.027 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.027 * [backup-simplify]: Simplify (+ 0 1) into 1
1.028 * [backup-simplify]: Simplify (+ 1 0) into 1
1.028 * [backup-simplify]: Simplify (* t 1) into t
1.028 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
1.028 * [taylor]: Taking taylor expansion of (* 0.5 t) in y
1.028 * [taylor]: Taking taylor expansion of 0.5 in y
1.028 * [backup-simplify]: Simplify 0.5 into 0.5
1.028 * [taylor]: Taking taylor expansion of t in y
1.028 * [backup-simplify]: Simplify t into t
1.029 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.029 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
1.029 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
1.029 * [backup-simplify]: Simplify (+ (/ 1 y) (- (/ 1 z))) into (- (/ 1 y) (/ 1 z))
1.030 * [backup-simplify]: Simplify (+ (* t (- (/ 1 y) (/ 1 z))) (* 0 1)) into (- (/ t y) (/ t z))
1.030 * [backup-simplify]: Simplify (+ (* 0.5 (- (/ t y) (/ t z))) (* 0 t)) into (- (* 0.5 (/ t y)) (* 0.5 (/ t z)))
1.030 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t y)) (* 0.5 (/ t z))) in y
1.030 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y
1.030 * [taylor]: Taking taylor expansion of 0.5 in y
1.030 * [backup-simplify]: Simplify 0.5 into 0.5
1.030 * [taylor]: Taking taylor expansion of (/ t y) in y
1.030 * [taylor]: Taking taylor expansion of t in y
1.030 * [backup-simplify]: Simplify t into t
1.030 * [taylor]: Taking taylor expansion of y in y
1.030 * [backup-simplify]: Simplify 0 into 0
1.030 * [backup-simplify]: Simplify 1 into 1
1.030 * [backup-simplify]: Simplify (/ t 1) into t
1.030 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in y
1.030 * [taylor]: Taking taylor expansion of 0.5 in y
1.030 * [backup-simplify]: Simplify 0.5 into 0.5
1.031 * [taylor]: Taking taylor expansion of (/ t z) in y
1.031 * [taylor]: Taking taylor expansion of t in y
1.031 * [backup-simplify]: Simplify t into t
1.031 * [taylor]: Taking taylor expansion of z in y
1.031 * [backup-simplify]: Simplify z into z
1.031 * [backup-simplify]: Simplify (/ t z) into (/ t z)
1.031 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
1.031 * [backup-simplify]: Simplify (+ (* 0.5 t) 0) into (* 0.5 t)
1.031 * [taylor]: Taking taylor expansion of (* 0.5 t) in z
1.031 * [taylor]: Taking taylor expansion of 0.5 in z
1.031 * [backup-simplify]: Simplify 0.5 into 0.5
1.031 * [taylor]: Taking taylor expansion of t in z
1.031 * [backup-simplify]: Simplify t into t
1.031 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
1.031 * [taylor]: Taking taylor expansion of (* 0.5 t) in z
1.031 * [taylor]: Taking taylor expansion of 0.5 in z
1.031 * [backup-simplify]: Simplify 0.5 into 0.5
1.031 * [taylor]: Taking taylor expansion of t in z
1.031 * [backup-simplify]: Simplify t into t
1.031 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.032 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.033 * [backup-simplify]: Simplify (+ 0 0) into 0
1.033 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.033 * [backup-simplify]: Simplify (- 0) into 0
1.033 * [backup-simplify]: Simplify (+ 0 0) into 0
1.034 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 (- (/ 1 y) (/ 1 z))) (* 0 1))) into 0
1.035 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (- (/ t y) (/ t z))) (* 0 t))) into 0
1.035 * [taylor]: Taking taylor expansion of 0 in y
1.035 * [backup-simplify]: Simplify 0 into 0
1.036 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
1.036 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
1.036 * [backup-simplify]: Simplify (* 0.5 (/ t z)) into (* 0.5 (/ t z))
1.036 * [backup-simplify]: Simplify (- (* 0.5 (/ t z))) into (- (* 0.5 (/ t z)))
1.037 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ t z)))) into (- (* 0.5 (/ t z)))
1.037 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t z))) in z
1.037 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z
1.037 * [taylor]: Taking taylor expansion of 0.5 in z
1.037 * [backup-simplify]: Simplify 0.5 into 0.5
1.037 * [taylor]: Taking taylor expansion of (/ t z) in z
1.037 * [taylor]: Taking taylor expansion of t in z
1.037 * [backup-simplify]: Simplify t into t
1.037 * [taylor]: Taking taylor expansion of z in z
1.037 * [backup-simplify]: Simplify 0 into 0
1.037 * [backup-simplify]: Simplify 1 into 1
1.037 * [backup-simplify]: Simplify (/ t 1) into t
1.037 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
1.037 * [backup-simplify]: Simplify (- (* 0.5 t)) into (- (* 0.5 t))
1.037 * [taylor]: Taking taylor expansion of (- (* 0.5 t)) in t
1.037 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
1.037 * [taylor]: Taking taylor expansion of 0.5 in t
1.037 * [backup-simplify]: Simplify 0.5 into 0.5
1.037 * [taylor]: Taking taylor expansion of t in t
1.037 * [backup-simplify]: Simplify 0 into 0
1.037 * [backup-simplify]: Simplify 1 into 1
1.038 * [backup-simplify]: Simplify (* 0.5 0) into 0
1.038 * [backup-simplify]: Simplify (- 0) into 0
1.038 * [backup-simplify]: Simplify 0 into 0
1.039 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
1.039 * [taylor]: Taking taylor expansion of 0 in z
1.039 * [backup-simplify]: Simplify 0 into 0
1.039 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
1.039 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
1.039 * [taylor]: Taking taylor expansion of 0.5 in t
1.039 * [backup-simplify]: Simplify 0.5 into 0.5
1.039 * [taylor]: Taking taylor expansion of t in t
1.039 * [backup-simplify]: Simplify 0 into 0
1.039 * [backup-simplify]: Simplify 1 into 1
1.040 * [backup-simplify]: Simplify (* 0.5 0) into 0
1.040 * [backup-simplify]: Simplify 0 into 0
1.040 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
1.040 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
1.040 * [taylor]: Taking taylor expansion of 0.5 in t
1.040 * [backup-simplify]: Simplify 0.5 into 0.5
1.040 * [taylor]: Taking taylor expansion of t in t
1.040 * [backup-simplify]: Simplify 0 into 0
1.040 * [backup-simplify]: Simplify 1 into 1
1.040 * [backup-simplify]: Simplify (* 0.5 0) into 0
1.040 * [backup-simplify]: Simplify 0 into 0
1.041 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.042 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.042 * [backup-simplify]: Simplify (+ 0 0) into 0
1.042 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.043 * [backup-simplify]: Simplify (- 0) into 0
1.043 * [backup-simplify]: Simplify (+ 0 0) into 0
1.044 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y) (/ 1 z))) (* 0 1)))) into 0
1.045 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (- (/ t y) (/ t z))) (* 0 t)))) into 0
1.045 * [taylor]: Taking taylor expansion of 0 in y
1.045 * [backup-simplify]: Simplify 0 into 0
1.045 * [taylor]: Taking taylor expansion of 0 in z
1.045 * [backup-simplify]: Simplify 0 into 0
1.046 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.047 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
1.047 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
1.048 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ t z))) into 0
1.049 * [backup-simplify]: Simplify (- 0) into 0
1.049 * [backup-simplify]: Simplify (+ 0 0) into 0
1.049 * [taylor]: Taking taylor expansion of 0 in z
1.049 * [backup-simplify]: Simplify 0 into 0
1.050 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
1.050 * [taylor]: Taking taylor expansion of 0 in z
1.050 * [backup-simplify]: Simplify 0 into 0
1.051 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
1.051 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
1.052 * [backup-simplify]: Simplify (- 0) into 0
1.052 * [taylor]: Taking taylor expansion of 0 in t
1.052 * [backup-simplify]: Simplify 0 into 0
1.052 * [backup-simplify]: Simplify 0 into 0
1.052 * [taylor]: Taking taylor expansion of 0 in t
1.052 * [backup-simplify]: Simplify 0 into 0
1.052 * [backup-simplify]: Simplify 0 into 0
1.052 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
1.052 * [taylor]: Taking taylor expansion of 0 in t
1.052 * [backup-simplify]: Simplify 0 into 0
1.053 * [backup-simplify]: Simplify 0 into 0
1.053 * [backup-simplify]: Simplify 0 into 0
1.053 * [backup-simplify]: Simplify (/ (- (+ (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) (* (/ 1 (- t)) 2.0)) into (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))))
1.053 * [approximate]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in (x y z t) around 0
1.053 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in t
1.053 * [taylor]: Taking taylor expansion of -0.5 in t
1.053 * [backup-simplify]: Simplify -0.5 into -0.5
1.053 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in t
1.053 * [taylor]: Taking taylor expansion of t in t
1.053 * [backup-simplify]: Simplify 0 into 0
1.053 * [backup-simplify]: Simplify 1 into 1
1.053 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in t
1.053 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.053 * [taylor]: Taking taylor expansion of z in t
1.053 * [backup-simplify]: Simplify z into z
1.053 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.053 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
1.054 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.054 * [taylor]: Taking taylor expansion of y in t
1.054 * [backup-simplify]: Simplify y into y
1.054 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.054 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.054 * [taylor]: Taking taylor expansion of x in t
1.054 * [backup-simplify]: Simplify x into x
1.054 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.054 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in z
1.054 * [taylor]: Taking taylor expansion of -0.5 in z
1.054 * [backup-simplify]: Simplify -0.5 into -0.5
1.054 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in z
1.054 * [taylor]: Taking taylor expansion of t in z
1.054 * [backup-simplify]: Simplify t into t
1.054 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in z
1.054 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.054 * [taylor]: Taking taylor expansion of z in z
1.054 * [backup-simplify]: Simplify 0 into 0
1.054 * [backup-simplify]: Simplify 1 into 1
1.054 * [backup-simplify]: Simplify (/ 1 1) into 1
1.055 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
1.055 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.055 * [taylor]: Taking taylor expansion of y in z
1.055 * [backup-simplify]: Simplify y into y
1.055 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.055 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.055 * [taylor]: Taking taylor expansion of x in z
1.055 * [backup-simplify]: Simplify x into x
1.055 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.055 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in y
1.055 * [taylor]: Taking taylor expansion of -0.5 in y
1.055 * [backup-simplify]: Simplify -0.5 into -0.5
1.055 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in y
1.055 * [taylor]: Taking taylor expansion of t in y
1.055 * [backup-simplify]: Simplify t into t
1.055 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in y
1.055 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.055 * [taylor]: Taking taylor expansion of z in y
1.055 * [backup-simplify]: Simplify z into z
1.055 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.055 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
1.055 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.055 * [taylor]: Taking taylor expansion of y in y
1.055 * [backup-simplify]: Simplify 0 into 0
1.055 * [backup-simplify]: Simplify 1 into 1
1.056 * [backup-simplify]: Simplify (/ 1 1) into 1
1.056 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.056 * [taylor]: Taking taylor expansion of x in y
1.056 * [backup-simplify]: Simplify x into x
1.056 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.056 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in x
1.056 * [taylor]: Taking taylor expansion of -0.5 in x
1.056 * [backup-simplify]: Simplify -0.5 into -0.5
1.056 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x
1.056 * [taylor]: Taking taylor expansion of t in x
1.056 * [backup-simplify]: Simplify t into t
1.056 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
1.056 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.056 * [taylor]: Taking taylor expansion of z in x
1.056 * [backup-simplify]: Simplify z into z
1.056 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.056 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.056 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.056 * [taylor]: Taking taylor expansion of y in x
1.056 * [backup-simplify]: Simplify y into y
1.056 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.056 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.056 * [taylor]: Taking taylor expansion of x in x
1.057 * [backup-simplify]: Simplify 0 into 0
1.057 * [backup-simplify]: Simplify 1 into 1
1.057 * [backup-simplify]: Simplify (/ 1 1) into 1
1.057 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in x
1.057 * [taylor]: Taking taylor expansion of -0.5 in x
1.057 * [backup-simplify]: Simplify -0.5 into -0.5
1.057 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x
1.057 * [taylor]: Taking taylor expansion of t in x
1.057 * [backup-simplify]: Simplify t into t
1.057 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
1.057 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.057 * [taylor]: Taking taylor expansion of z in x
1.057 * [backup-simplify]: Simplify z into z
1.057 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.057 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.057 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.057 * [taylor]: Taking taylor expansion of y in x
1.057 * [backup-simplify]: Simplify y into y
1.057 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.058 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.058 * [taylor]: Taking taylor expansion of x in x
1.058 * [backup-simplify]: Simplify 0 into 0
1.058 * [backup-simplify]: Simplify 1 into 1
1.058 * [backup-simplify]: Simplify (/ 1 1) into 1
1.058 * [backup-simplify]: Simplify (+ 0 1) into 1
1.059 * [backup-simplify]: Simplify (- 1) into -1
1.059 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.059 * [backup-simplify]: Simplify (* t -1) into (* -1 t)
1.059 * [backup-simplify]: Simplify (* -0.5 (* -1 t)) into (* 0.5 t)
1.059 * [taylor]: Taking taylor expansion of (* 0.5 t) in y
1.059 * [taylor]: Taking taylor expansion of 0.5 in y
1.059 * [backup-simplify]: Simplify 0.5 into 0.5
1.060 * [taylor]: Taking taylor expansion of t in y
1.060 * [backup-simplify]: Simplify t into t
1.060 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.060 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
1.060 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
1.061 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 y))) into (- (/ 1 z) (/ 1 y))
1.061 * [backup-simplify]: Simplify (+ (* t (- (/ 1 z) (/ 1 y))) (* 0 -1)) into (- (/ t z) (/ t y))
1.062 * [backup-simplify]: Simplify (+ (* -0.5 (- (/ t z) (/ t y))) (* 0 (* -1 t))) into (- (* 0.5 (/ t y)) (* 0.5 (/ t z)))
1.062 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t y)) (* 0.5 (/ t z))) in y
1.062 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y
1.062 * [taylor]: Taking taylor expansion of 0.5 in y
1.062 * [backup-simplify]: Simplify 0.5 into 0.5
1.062 * [taylor]: Taking taylor expansion of (/ t y) in y
1.062 * [taylor]: Taking taylor expansion of t in y
1.062 * [backup-simplify]: Simplify t into t
1.062 * [taylor]: Taking taylor expansion of y in y
1.062 * [backup-simplify]: Simplify 0 into 0
1.062 * [backup-simplify]: Simplify 1 into 1
1.062 * [backup-simplify]: Simplify (/ t 1) into t
1.062 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in y
1.062 * [taylor]: Taking taylor expansion of 0.5 in y
1.062 * [backup-simplify]: Simplify 0.5 into 0.5
1.062 * [taylor]: Taking taylor expansion of (/ t z) in y
1.062 * [taylor]: Taking taylor expansion of t in y
1.062 * [backup-simplify]: Simplify t into t
1.062 * [taylor]: Taking taylor expansion of z in y
1.062 * [backup-simplify]: Simplify z into z
1.062 * [backup-simplify]: Simplify (/ t z) into (/ t z)
1.062 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
1.062 * [backup-simplify]: Simplify (+ (* 0.5 t) 0) into (* 0.5 t)
1.062 * [taylor]: Taking taylor expansion of (* 0.5 t) in z
1.062 * [taylor]: Taking taylor expansion of 0.5 in z
1.062 * [backup-simplify]: Simplify 0.5 into 0.5
1.063 * [taylor]: Taking taylor expansion of t in z
1.063 * [backup-simplify]: Simplify t into t
1.063 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
1.063 * [taylor]: Taking taylor expansion of (* 0.5 t) in z
1.063 * [taylor]: Taking taylor expansion of 0.5 in z
1.063 * [backup-simplify]: Simplify 0.5 into 0.5
1.063 * [taylor]: Taking taylor expansion of t in z
1.063 * [backup-simplify]: Simplify t into t
1.063 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.063 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.064 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.064 * [backup-simplify]: Simplify (+ 0 0) into 0
1.065 * [backup-simplify]: Simplify (- 0) into 0
1.065 * [backup-simplify]: Simplify (+ 0 0) into 0
1.066 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 (- (/ 1 z) (/ 1 y))) (* 0 -1))) into 0
1.066 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 (- (/ t z) (/ t y))) (* 0 (* -1 t)))) into 0
1.066 * [taylor]: Taking taylor expansion of 0 in y
1.066 * [backup-simplify]: Simplify 0 into 0
1.067 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
1.067 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
1.067 * [backup-simplify]: Simplify (* 0.5 (/ t z)) into (* 0.5 (/ t z))
1.067 * [backup-simplify]: Simplify (- (* 0.5 (/ t z))) into (- (* 0.5 (/ t z)))
1.067 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ t z)))) into (- (* 0.5 (/ t z)))
1.067 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t z))) in z
1.067 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z
1.067 * [taylor]: Taking taylor expansion of 0.5 in z
1.067 * [backup-simplify]: Simplify 0.5 into 0.5
1.067 * [taylor]: Taking taylor expansion of (/ t z) in z
1.067 * [taylor]: Taking taylor expansion of t in z
1.067 * [backup-simplify]: Simplify t into t
1.067 * [taylor]: Taking taylor expansion of z in z
1.067 * [backup-simplify]: Simplify 0 into 0
1.067 * [backup-simplify]: Simplify 1 into 1
1.067 * [backup-simplify]: Simplify (/ t 1) into t
1.067 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
1.067 * [backup-simplify]: Simplify (- (* 0.5 t)) into (- (* 0.5 t))
1.067 * [taylor]: Taking taylor expansion of (- (* 0.5 t)) in t
1.068 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
1.068 * [taylor]: Taking taylor expansion of 0.5 in t
1.068 * [backup-simplify]: Simplify 0.5 into 0.5
1.068 * [taylor]: Taking taylor expansion of t in t
1.068 * [backup-simplify]: Simplify 0 into 0
1.068 * [backup-simplify]: Simplify 1 into 1
1.068 * [backup-simplify]: Simplify (* 0.5 0) into 0
1.068 * [backup-simplify]: Simplify (- 0) into 0
1.068 * [backup-simplify]: Simplify 0 into 0
1.068 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
1.068 * [taylor]: Taking taylor expansion of 0 in z
1.068 * [backup-simplify]: Simplify 0 into 0
1.069 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
1.069 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
1.069 * [taylor]: Taking taylor expansion of 0.5 in t
1.069 * [backup-simplify]: Simplify 0.5 into 0.5
1.069 * [taylor]: Taking taylor expansion of t in t
1.069 * [backup-simplify]: Simplify 0 into 0
1.069 * [backup-simplify]: Simplify 1 into 1
1.069 * [backup-simplify]: Simplify (* 0.5 0) into 0
1.069 * [backup-simplify]: Simplify 0 into 0
1.069 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
1.069 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
1.069 * [taylor]: Taking taylor expansion of 0.5 in t
1.069 * [backup-simplify]: Simplify 0.5 into 0.5
1.069 * [taylor]: Taking taylor expansion of t in t
1.069 * [backup-simplify]: Simplify 0 into 0
1.069 * [backup-simplify]: Simplify 1 into 1
1.069 * [backup-simplify]: Simplify (* 0.5 0) into 0
1.069 * [backup-simplify]: Simplify 0 into 0
1.070 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.070 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.070 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.070 * [backup-simplify]: Simplify (+ 0 0) into 0
1.071 * [backup-simplify]: Simplify (- 0) into 0
1.071 * [backup-simplify]: Simplify (+ 0 0) into 0
1.071 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 (- (/ 1 z) (/ 1 y))) (* 0 -1)))) into 0
1.072 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 0) (+ (* 0 (- (/ t z) (/ t y))) (* 0 (* -1 t))))) into 0
1.072 * [taylor]: Taking taylor expansion of 0 in y
1.072 * [backup-simplify]: Simplify 0 into 0
1.072 * [taylor]: Taking taylor expansion of 0 in z
1.072 * [backup-simplify]: Simplify 0 into 0
1.073 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.073 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
1.074 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
1.074 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ t z))) into 0
1.074 * [backup-simplify]: Simplify (- 0) into 0
1.074 * [backup-simplify]: Simplify (+ 0 0) into 0
1.074 * [taylor]: Taking taylor expansion of 0 in z
1.074 * [backup-simplify]: Simplify 0 into 0
1.075 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
1.075 * [taylor]: Taking taylor expansion of 0 in z
1.075 * [backup-simplify]: Simplify 0 into 0
1.076 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
1.076 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
1.076 * [backup-simplify]: Simplify (- 0) into 0
1.076 * [taylor]: Taking taylor expansion of 0 in t
1.076 * [backup-simplify]: Simplify 0 into 0
1.076 * [backup-simplify]: Simplify 0 into 0
1.076 * [taylor]: Taking taylor expansion of 0 in t
1.076 * [backup-simplify]: Simplify 0 into 0
1.076 * [backup-simplify]: Simplify 0 into 0
1.076 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
1.077 * [taylor]: Taking taylor expansion of 0 in t
1.077 * [backup-simplify]: Simplify 0 into 0
1.077 * [backup-simplify]: Simplify 0 into 0
1.077 * [backup-simplify]: Simplify 0 into 0
1.077 * * * [progress]: simplifying candidates
1.077 * [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
1.078 * * [simplify]: Extracting # 0 : cost  0
1.078 * * [simplify]: Extracting # 1 : cost  0
1.078 * * [simplify]: Extracting # 2 : cost  0
1.078 * * [simplify]: Extracting # 3 : cost  0
1.078 * * [simplify]: Extracting # 4 : cost  0
1.078 * * [simplify]: Extracting # 5 : cost  0
1.079 * * [simplify]: Extracting # 6 : cost  0
1.079 * * [simplify]: Extracting # 7 : cost  0
1.079 * * [simplify]: iteration  0 :  80  enodes  (cost  438 )
1.096 * * [simplify]: Extracting # 0 : cost  0
1.096 * * [simplify]: Extracting # 1 : cost  0
1.096 * * [simplify]: Extracting # 2 : cost  0
1.096 * * [simplify]: Extracting # 3 : cost  0
1.097 * * [simplify]: iteration  1 :  206  enodes  (cost  430 )
1.178 * * [simplify]: Extracting # 0 : cost  0
1.180 * * [simplify]: Extracting # 1 : cost  0
1.181 * * [simplify]: Extracting # 2 : cost  0
1.183 * * [simplify]: Extracting # 3 : cost  0
1.184 * * [simplify]: Extracting # 4 : cost  0
1.186 * * [simplify]: iteration  2 :  730  enodes  (cost  374 )
1.892 * * [simplify]: Extracting # 0 : cost  0
1.896 * * [simplify]: Extracting # 1 : cost  0
1.899 * * [simplify]: Extracting # 2 : cost  0
1.902 * * [simplify]: Extracting # 3 : cost  0
1.905 * * [simplify]: Extracting # 4 : cost  0
1.908 * * [simplify]: iteration  3 :  3341  enodes  (cost  372 )
2.943 * * [simplify]: Extracting # 0 : cost  0
2.949 * * [simplify]: Extracting # 1 : cost  0
2.958 * * [simplify]: Extracting # 2 : cost  0
2.967 * * [simplify]: iteration done:  5000  enodes  (cost  372 )
2.968 * [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))
  (* 2.0 (* t (fma z z (* (+ x y) (+ (+ x y) z)))))
  (* (* t 2.0) (+ (+ x y) z))
  (* 0.5 (- (+ (/ y t) (/ x t)) (/ z t)))
  0
  0
2.968 * * * [progress]: adding candidates to table
3.075 * * [progress]: iteration 2 / 4
3.075 * * * [progress]: picking best candidate
3.078 * * * * [pick]: Picked  #<alt (λ (x y z t) (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))>
3.079 * * * [progress]: localizing error
3.093 * * * [progress]: generating rewritten candidates
3.093 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
3.228 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
3.275 * * * [progress]: generating series expansions
3.275 * * * * [progress]: [ 1 / 2 ] generating series at (2)
3.275 * [backup-simplify]: Simplify (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))) into (- (+ (* 0.5 (/ x t)) (* 0.5 (/ y t))) (* 0.5 (/ z t)))
3.275 * [approximate]: Taking taylor expansion of (- (+ (* 0.5 (/ x t)) (* 0.5 (/ y t))) (* 0.5 (/ z t))) in (x y t z) around 0
3.275 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ x t)) (* 0.5 (/ y t))) (* 0.5 (/ z t))) in z
3.275 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ x t)) (* 0.5 (/ y t))) in z
3.276 * [taylor]: Taking taylor expansion of (* 0.5 (/ x t)) in z
3.276 * [taylor]: Taking taylor expansion of 0.5 in z
3.276 * [backup-simplify]: Simplify 0.5 into 0.5
3.276 * [taylor]: Taking taylor expansion of (/ x t) in z
3.276 * [taylor]: Taking taylor expansion of x in z
3.276 * [backup-simplify]: Simplify x into x
3.276 * [taylor]: Taking taylor expansion of t in z
3.276 * [backup-simplify]: Simplify t into t
3.276 * [backup-simplify]: Simplify (/ x t) into (/ x t)
3.276 * [taylor]: Taking taylor expansion of (* 0.5 (/ y t)) in z
3.276 * [taylor]: Taking taylor expansion of 0.5 in z
3.276 * [backup-simplify]: Simplify 0.5 into 0.5
3.276 * [taylor]: Taking taylor expansion of (/ y t) in z
3.276 * [taylor]: Taking taylor expansion of y in z
3.276 * [backup-simplify]: Simplify y into y
3.276 * [taylor]: Taking taylor expansion of t in z
3.276 * [backup-simplify]: Simplify t into t
3.276 * [backup-simplify]: Simplify (/ y t) into (/ y t)
3.276 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in z
3.276 * [taylor]: Taking taylor expansion of 0.5 in z
3.276 * [backup-simplify]: Simplify 0.5 into 0.5
3.276 * [taylor]: Taking taylor expansion of (/ z t) in z
3.276 * [taylor]: Taking taylor expansion of z in z
3.276 * [backup-simplify]: Simplify 0 into 0
3.276 * [backup-simplify]: Simplify 1 into 1
3.276 * [taylor]: Taking taylor expansion of t in z
3.276 * [backup-simplify]: Simplify t into t
3.276 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.276 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ x t)) (* 0.5 (/ y t))) (* 0.5 (/ z t))) in t
3.276 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ x t)) (* 0.5 (/ y t))) in t
3.276 * [taylor]: Taking taylor expansion of (* 0.5 (/ x t)) in t
3.276 * [taylor]: Taking taylor expansion of 0.5 in t
3.276 * [backup-simplify]: Simplify 0.5 into 0.5
3.276 * [taylor]: Taking taylor expansion of (/ x t) in t
3.276 * [taylor]: Taking taylor expansion of x in t
3.276 * [backup-simplify]: Simplify x into x
3.277 * [taylor]: Taking taylor expansion of t in t
3.277 * [backup-simplify]: Simplify 0 into 0
3.277 * [backup-simplify]: Simplify 1 into 1
3.277 * [backup-simplify]: Simplify (/ x 1) into x
3.277 * [taylor]: Taking taylor expansion of (* 0.5 (/ y t)) in t
3.277 * [taylor]: Taking taylor expansion of 0.5 in t
3.277 * [backup-simplify]: Simplify 0.5 into 0.5
3.277 * [taylor]: Taking taylor expansion of (/ y t) in t
3.277 * [taylor]: Taking taylor expansion of y in t
3.277 * [backup-simplify]: Simplify y into y
3.277 * [taylor]: Taking taylor expansion of t in t
3.277 * [backup-simplify]: Simplify 0 into 0
3.277 * [backup-simplify]: Simplify 1 into 1
3.277 * [backup-simplify]: Simplify (/ y 1) into y
3.277 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in t
3.277 * [taylor]: Taking taylor expansion of 0.5 in t
3.277 * [backup-simplify]: Simplify 0.5 into 0.5
3.277 * [taylor]: Taking taylor expansion of (/ z t) in t
3.277 * [taylor]: Taking taylor expansion of z in t
3.277 * [backup-simplify]: Simplify z into z
3.277 * [taylor]: Taking taylor expansion of t in t
3.277 * [backup-simplify]: Simplify 0 into 0
3.277 * [backup-simplify]: Simplify 1 into 1
3.277 * [backup-simplify]: Simplify (/ z 1) into z
3.277 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ x t)) (* 0.5 (/ y t))) (* 0.5 (/ z t))) in y
3.277 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ x t)) (* 0.5 (/ y t))) in y
3.277 * [taylor]: Taking taylor expansion of (* 0.5 (/ x t)) in y
3.277 * [taylor]: Taking taylor expansion of 0.5 in y
3.277 * [backup-simplify]: Simplify 0.5 into 0.5
3.277 * [taylor]: Taking taylor expansion of (/ x t) in y
3.277 * [taylor]: Taking taylor expansion of x in y
3.277 * [backup-simplify]: Simplify x into x
3.277 * [taylor]: Taking taylor expansion of t in y
3.277 * [backup-simplify]: Simplify t into t
3.277 * [backup-simplify]: Simplify (/ x t) into (/ x t)
3.278 * [taylor]: Taking taylor expansion of (* 0.5 (/ y t)) in y
3.278 * [taylor]: Taking taylor expansion of 0.5 in y
3.278 * [backup-simplify]: Simplify 0.5 into 0.5
3.278 * [taylor]: Taking taylor expansion of (/ y t) in y
3.278 * [taylor]: Taking taylor expansion of y in y
3.278 * [backup-simplify]: Simplify 0 into 0
3.278 * [backup-simplify]: Simplify 1 into 1
3.278 * [taylor]: Taking taylor expansion of t in y
3.278 * [backup-simplify]: Simplify t into t
3.278 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.278 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in y
3.278 * [taylor]: Taking taylor expansion of 0.5 in y
3.278 * [backup-simplify]: Simplify 0.5 into 0.5
3.278 * [taylor]: Taking taylor expansion of (/ z t) in y
3.278 * [taylor]: Taking taylor expansion of z in y
3.278 * [backup-simplify]: Simplify z into z
3.278 * [taylor]: Taking taylor expansion of t in y
3.278 * [backup-simplify]: Simplify t into t
3.278 * [backup-simplify]: Simplify (/ z t) into (/ z t)
3.278 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ x t)) (* 0.5 (/ y t))) (* 0.5 (/ z t))) in x
3.278 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ x t)) (* 0.5 (/ y t))) in x
3.278 * [taylor]: Taking taylor expansion of (* 0.5 (/ x t)) in x
3.278 * [taylor]: Taking taylor expansion of 0.5 in x
3.278 * [backup-simplify]: Simplify 0.5 into 0.5
3.278 * [taylor]: Taking taylor expansion of (/ x t) in x
3.278 * [taylor]: Taking taylor expansion of x in x
3.278 * [backup-simplify]: Simplify 0 into 0
3.278 * [backup-simplify]: Simplify 1 into 1
3.278 * [taylor]: Taking taylor expansion of t in x
3.278 * [backup-simplify]: Simplify t into t
3.278 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.278 * [taylor]: Taking taylor expansion of (* 0.5 (/ y t)) in x
3.278 * [taylor]: Taking taylor expansion of 0.5 in x
3.278 * [backup-simplify]: Simplify 0.5 into 0.5
3.278 * [taylor]: Taking taylor expansion of (/ y t) in x
3.278 * [taylor]: Taking taylor expansion of y in x
3.279 * [backup-simplify]: Simplify y into y
3.279 * [taylor]: Taking taylor expansion of t in x
3.279 * [backup-simplify]: Simplify t into t
3.279 * [backup-simplify]: Simplify (/ y t) into (/ y t)
3.279 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in x
3.279 * [taylor]: Taking taylor expansion of 0.5 in x
3.279 * [backup-simplify]: Simplify 0.5 into 0.5
3.279 * [taylor]: Taking taylor expansion of (/ z t) in x
3.279 * [taylor]: Taking taylor expansion of z in x
3.279 * [backup-simplify]: Simplify z into z
3.279 * [taylor]: Taking taylor expansion of t in x
3.279 * [backup-simplify]: Simplify t into t
3.279 * [backup-simplify]: Simplify (/ z t) into (/ z t)
3.279 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ x t)) (* 0.5 (/ y t))) (* 0.5 (/ z t))) in x
3.279 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ x t)) (* 0.5 (/ y t))) in x
3.279 * [taylor]: Taking taylor expansion of (* 0.5 (/ x t)) in x
3.279 * [taylor]: Taking taylor expansion of 0.5 in x
3.279 * [backup-simplify]: Simplify 0.5 into 0.5
3.279 * [taylor]: Taking taylor expansion of (/ x t) in x
3.279 * [taylor]: Taking taylor expansion of x in x
3.279 * [backup-simplify]: Simplify 0 into 0
3.279 * [backup-simplify]: Simplify 1 into 1
3.279 * [taylor]: Taking taylor expansion of t in x
3.279 * [backup-simplify]: Simplify t into t
3.279 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.279 * [taylor]: Taking taylor expansion of (* 0.5 (/ y t)) in x
3.279 * [taylor]: Taking taylor expansion of 0.5 in x
3.279 * [backup-simplify]: Simplify 0.5 into 0.5
3.279 * [taylor]: Taking taylor expansion of (/ y t) in x
3.279 * [taylor]: Taking taylor expansion of y in x
3.279 * [backup-simplify]: Simplify y into y
3.279 * [taylor]: Taking taylor expansion of t in x
3.279 * [backup-simplify]: Simplify t into t
3.279 * [backup-simplify]: Simplify (/ y t) into (/ y t)
3.279 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in x
3.280 * [taylor]: Taking taylor expansion of 0.5 in x
3.280 * [backup-simplify]: Simplify 0.5 into 0.5
3.280 * [taylor]: Taking taylor expansion of (/ z t) in x
3.280 * [taylor]: Taking taylor expansion of z in x
3.280 * [backup-simplify]: Simplify z into z
3.280 * [taylor]: Taking taylor expansion of t in x
3.280 * [backup-simplify]: Simplify t into t
3.280 * [backup-simplify]: Simplify (/ z t) into (/ z t)
3.280 * [backup-simplify]: Simplify (* 0.5 (/ y t)) into (* 0.5 (/ y t))
3.280 * [backup-simplify]: Simplify (+ 0 (* 0.5 (/ y t))) into (* 0.5 (/ y t))
3.280 * [backup-simplify]: Simplify (* 0.5 (/ z t)) into (* 0.5 (/ z t))
3.280 * [backup-simplify]: Simplify (- (* 0.5 (/ z t))) into (- (* 0.5 (/ z t)))
3.280 * [backup-simplify]: Simplify (+ (* 0.5 (/ y t)) (- (* 0.5 (/ z t)))) into (- (* 0.5 (/ y t)) (* 0.5 (/ z t)))
3.281 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ y t)) (* 0.5 (/ z t))) in y
3.281 * [taylor]: Taking taylor expansion of (* 0.5 (/ y t)) in y
3.281 * [taylor]: Taking taylor expansion of 0.5 in y
3.281 * [backup-simplify]: Simplify 0.5 into 0.5
3.281 * [taylor]: Taking taylor expansion of (/ y t) in y
3.281 * [taylor]: Taking taylor expansion of y in y
3.281 * [backup-simplify]: Simplify 0 into 0
3.281 * [backup-simplify]: Simplify 1 into 1
3.281 * [taylor]: Taking taylor expansion of t in y
3.281 * [backup-simplify]: Simplify t into t
3.281 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.281 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in y
3.281 * [taylor]: Taking taylor expansion of 0.5 in y
3.281 * [backup-simplify]: Simplify 0.5 into 0.5
3.281 * [taylor]: Taking taylor expansion of (/ z t) in y
3.281 * [taylor]: Taking taylor expansion of z in y
3.281 * [backup-simplify]: Simplify z into z
3.281 * [taylor]: Taking taylor expansion of t in y
3.281 * [backup-simplify]: Simplify t into t
3.281 * [backup-simplify]: Simplify (/ z t) into (/ z t)
3.281 * [backup-simplify]: Simplify (* 0.5 (/ z t)) into (* 0.5 (/ z t))
3.281 * [backup-simplify]: Simplify (- (* 0.5 (/ z t))) into (- (* 0.5 (/ z t)))
3.281 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ z t)))) into (- (* 0.5 (/ z t)))
3.281 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ z t))) in t
3.282 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in t
3.282 * [taylor]: Taking taylor expansion of 0.5 in t
3.282 * [backup-simplify]: Simplify 0.5 into 0.5
3.282 * [taylor]: Taking taylor expansion of (/ z t) in t
3.282 * [taylor]: Taking taylor expansion of z in t
3.282 * [backup-simplify]: Simplify z into z
3.282 * [taylor]: Taking taylor expansion of t in t
3.282 * [backup-simplify]: Simplify 0 into 0
3.282 * [backup-simplify]: Simplify 1 into 1
3.282 * [backup-simplify]: Simplify (/ z 1) into z
3.282 * [backup-simplify]: Simplify (* 0.5 z) into (* 0.5 z)
3.282 * [backup-simplify]: Simplify (- (* 0.5 z)) into (- (* 0.5 z))
3.282 * [taylor]: Taking taylor expansion of (- (* 0.5 z)) in z
3.282 * [taylor]: Taking taylor expansion of (* 0.5 z) in z
3.282 * [taylor]: Taking taylor expansion of 0.5 in z
3.282 * [backup-simplify]: Simplify 0.5 into 0.5
3.282 * [taylor]: Taking taylor expansion of z in z
3.282 * [backup-simplify]: Simplify 0 into 0
3.282 * [backup-simplify]: Simplify 1 into 1
3.283 * [backup-simplify]: Simplify (* 0.5 0) into 0
3.283 * [backup-simplify]: Simplify (- 0) into 0
3.283 * [backup-simplify]: Simplify 0 into 0
3.283 * [backup-simplify]: Simplify (* 0.5 (/ 1 t)) into (/ 0.5 t)
3.283 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ y t) (/ 0 t)))) into 0
3.284 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ y t))) into 0
3.284 * [backup-simplify]: Simplify (+ (/ 0.5 t) 0) into (* 0.5 (/ 1 t))
3.284 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ z t) (/ 0 t)))) into 0
3.285 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ z t))) into 0
3.285 * [backup-simplify]: Simplify (- 0) into 0
3.285 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 t)) 0) into (* 0.5 (/ 1 t))
3.285 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in y
3.285 * [taylor]: Taking taylor expansion of 0.5 in y
3.285 * [backup-simplify]: Simplify 0.5 into 0.5
3.285 * [taylor]: Taking taylor expansion of (/ 1 t) in y
3.285 * [taylor]: Taking taylor expansion of t in y
3.285 * [backup-simplify]: Simplify t into t
3.285 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.285 * [backup-simplify]: Simplify (* 0.5 (/ 1 t)) into (/ 0.5 t)
3.285 * [taylor]: Taking taylor expansion of (/ 0.5 t) in t
3.286 * [taylor]: Taking taylor expansion of 0.5 in t
3.286 * [backup-simplify]: Simplify 0.5 into 0.5
3.286 * [taylor]: Taking taylor expansion of t in t
3.286 * [backup-simplify]: Simplify 0 into 0
3.286 * [backup-simplify]: Simplify 1 into 1
3.286 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
3.286 * [taylor]: Taking taylor expansion of 0.5 in z
3.286 * [backup-simplify]: Simplify 0.5 into 0.5
3.286 * [backup-simplify]: Simplify 0.5 into 0.5
3.286 * [backup-simplify]: Simplify (* 0.5 (/ 1 t)) into (/ 0.5 t)
3.286 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ z t) (/ 0 t)))) into 0
3.287 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ z t))) into 0
3.287 * [backup-simplify]: Simplify (- 0) into 0
3.287 * [backup-simplify]: Simplify (+ (/ 0.5 t) 0) into (* 0.5 (/ 1 t))
3.287 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in t
3.287 * [taylor]: Taking taylor expansion of 0.5 in t
3.287 * [backup-simplify]: Simplify 0.5 into 0.5
3.287 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.287 * [taylor]: Taking taylor expansion of t in t
3.287 * [backup-simplify]: Simplify 0 into 0
3.288 * [backup-simplify]: Simplify 1 into 1
3.288 * [backup-simplify]: Simplify (/ 1 1) into 1
3.288 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
3.288 * [taylor]: Taking taylor expansion of 0.5 in z
3.288 * [backup-simplify]: Simplify 0.5 into 0.5
3.288 * [backup-simplify]: Simplify 0.5 into 0.5
3.289 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
3.290 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 z)) into 0
3.290 * [backup-simplify]: Simplify (- 0) into 0
3.290 * [taylor]: Taking taylor expansion of 0 in z
3.290 * [backup-simplify]: Simplify 0 into 0
3.290 * [backup-simplify]: Simplify 0 into 0
3.291 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
3.292 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
3.292 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
3.293 * [backup-simplify]: Simplify (+ (* (- 0.5) (* z (* (/ 1 t) (* 1 1)))) (+ (* 0.5 (* 1 (* (/ 1 t) (* y 1)))) (* 0.5 (* 1 (* (/ 1 t) (* 1 x)))))) into (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t)))
3.293 * [backup-simplify]: Simplify (- (/ (+ (/ 1 x) (/ 1 y)) (* (/ 1 t) 2.0)) (/ (/ 1 z) (* (/ 1 t) 2.0))) into (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z)))
3.293 * [approximate]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in (x y t z) around 0
3.293 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in z
3.294 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) in z
3.294 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in z
3.294 * [taylor]: Taking taylor expansion of 0.5 in z
3.294 * [backup-simplify]: Simplify 0.5 into 0.5
3.294 * [taylor]: Taking taylor expansion of (/ t y) in z
3.294 * [taylor]: Taking taylor expansion of t in z
3.294 * [backup-simplify]: Simplify t into t
3.294 * [taylor]: Taking taylor expansion of y in z
3.294 * [backup-simplify]: Simplify y into y
3.294 * [backup-simplify]: Simplify (/ t y) into (/ t y)
3.294 * [taylor]: Taking taylor expansion of (* 0.5 (/ t x)) in z
3.294 * [taylor]: Taking taylor expansion of 0.5 in z
3.294 * [backup-simplify]: Simplify 0.5 into 0.5
3.294 * [taylor]: Taking taylor expansion of (/ t x) in z
3.294 * [taylor]: Taking taylor expansion of t in z
3.294 * [backup-simplify]: Simplify t into t
3.294 * [taylor]: Taking taylor expansion of x in z
3.294 * [backup-simplify]: Simplify x into x
3.294 * [backup-simplify]: Simplify (/ t x) into (/ t x)
3.294 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z
3.294 * [taylor]: Taking taylor expansion of 0.5 in z
3.294 * [backup-simplify]: Simplify 0.5 into 0.5
3.294 * [taylor]: Taking taylor expansion of (/ t z) in z
3.294 * [taylor]: Taking taylor expansion of t in z
3.294 * [backup-simplify]: Simplify t into t
3.294 * [taylor]: Taking taylor expansion of z in z
3.294 * [backup-simplify]: Simplify 0 into 0
3.294 * [backup-simplify]: Simplify 1 into 1
3.294 * [backup-simplify]: Simplify (/ t 1) into t
3.294 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in t
3.294 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) in t
3.294 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in t
3.294 * [taylor]: Taking taylor expansion of 0.5 in t
3.294 * [backup-simplify]: Simplify 0.5 into 0.5
3.295 * [taylor]: Taking taylor expansion of (/ t y) in t
3.295 * [taylor]: Taking taylor expansion of t in t
3.295 * [backup-simplify]: Simplify 0 into 0
3.295 * [backup-simplify]: Simplify 1 into 1
3.295 * [taylor]: Taking taylor expansion of y in t
3.295 * [backup-simplify]: Simplify y into y
3.295 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.295 * [taylor]: Taking taylor expansion of (* 0.5 (/ t x)) in t
3.295 * [taylor]: Taking taylor expansion of 0.5 in t
3.295 * [backup-simplify]: Simplify 0.5 into 0.5
3.295 * [taylor]: Taking taylor expansion of (/ t x) in t
3.295 * [taylor]: Taking taylor expansion of t in t
3.295 * [backup-simplify]: Simplify 0 into 0
3.295 * [backup-simplify]: Simplify 1 into 1
3.295 * [taylor]: Taking taylor expansion of x in t
3.295 * [backup-simplify]: Simplify x into x
3.295 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.295 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in t
3.295 * [taylor]: Taking taylor expansion of 0.5 in t
3.295 * [backup-simplify]: Simplify 0.5 into 0.5
3.295 * [taylor]: Taking taylor expansion of (/ t z) in t
3.295 * [taylor]: Taking taylor expansion of t in t
3.295 * [backup-simplify]: Simplify 0 into 0
3.295 * [backup-simplify]: Simplify 1 into 1
3.295 * [taylor]: Taking taylor expansion of z in t
3.295 * [backup-simplify]: Simplify z into z
3.295 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.295 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in y
3.295 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) in y
3.295 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y
3.295 * [taylor]: Taking taylor expansion of 0.5 in y
3.295 * [backup-simplify]: Simplify 0.5 into 0.5
3.295 * [taylor]: Taking taylor expansion of (/ t y) in y
3.295 * [taylor]: Taking taylor expansion of t in y
3.295 * [backup-simplify]: Simplify t into t
3.295 * [taylor]: Taking taylor expansion of y in y
3.295 * [backup-simplify]: Simplify 0 into 0
3.295 * [backup-simplify]: Simplify 1 into 1
3.296 * [backup-simplify]: Simplify (/ t 1) into t
3.296 * [taylor]: Taking taylor expansion of (* 0.5 (/ t x)) in y
3.296 * [taylor]: Taking taylor expansion of 0.5 in y
3.296 * [backup-simplify]: Simplify 0.5 into 0.5
3.296 * [taylor]: Taking taylor expansion of (/ t x) in y
3.296 * [taylor]: Taking taylor expansion of t in y
3.296 * [backup-simplify]: Simplify t into t
3.296 * [taylor]: Taking taylor expansion of x in y
3.296 * [backup-simplify]: Simplify x into x
3.296 * [backup-simplify]: Simplify (/ t x) into (/ t x)
3.296 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in y
3.296 * [taylor]: Taking taylor expansion of 0.5 in y
3.296 * [backup-simplify]: Simplify 0.5 into 0.5
3.296 * [taylor]: Taking taylor expansion of (/ t z) in y
3.296 * [taylor]: Taking taylor expansion of t in y
3.296 * [backup-simplify]: Simplify t into t
3.296 * [taylor]: Taking taylor expansion of z in y
3.296 * [backup-simplify]: Simplify z into z
3.296 * [backup-simplify]: Simplify (/ t z) into (/ t z)
3.296 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in x
3.296 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) in x
3.296 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in x
3.296 * [taylor]: Taking taylor expansion of 0.5 in x
3.296 * [backup-simplify]: Simplify 0.5 into 0.5
3.296 * [taylor]: Taking taylor expansion of (/ t y) in x
3.296 * [taylor]: Taking taylor expansion of t in x
3.296 * [backup-simplify]: Simplify t into t
3.296 * [taylor]: Taking taylor expansion of y in x
3.296 * [backup-simplify]: Simplify y into y
3.296 * [backup-simplify]: Simplify (/ t y) into (/ t y)
3.296 * [taylor]: Taking taylor expansion of (* 0.5 (/ t x)) in x
3.296 * [taylor]: Taking taylor expansion of 0.5 in x
3.296 * [backup-simplify]: Simplify 0.5 into 0.5
3.296 * [taylor]: Taking taylor expansion of (/ t x) in x
3.297 * [taylor]: Taking taylor expansion of t in x
3.297 * [backup-simplify]: Simplify t into t
3.297 * [taylor]: Taking taylor expansion of x in x
3.297 * [backup-simplify]: Simplify 0 into 0
3.297 * [backup-simplify]: Simplify 1 into 1
3.297 * [backup-simplify]: Simplify (/ t 1) into t
3.297 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in x
3.297 * [taylor]: Taking taylor expansion of 0.5 in x
3.297 * [backup-simplify]: Simplify 0.5 into 0.5
3.297 * [taylor]: Taking taylor expansion of (/ t z) in x
3.297 * [taylor]: Taking taylor expansion of t in x
3.297 * [backup-simplify]: Simplify t into t
3.297 * [taylor]: Taking taylor expansion of z in x
3.297 * [backup-simplify]: Simplify z into z
3.297 * [backup-simplify]: Simplify (/ t z) into (/ t z)
3.297 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in x
3.297 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) in x
3.297 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in x
3.297 * [taylor]: Taking taylor expansion of 0.5 in x
3.297 * [backup-simplify]: Simplify 0.5 into 0.5
3.297 * [taylor]: Taking taylor expansion of (/ t y) in x
3.297 * [taylor]: Taking taylor expansion of t in x
3.297 * [backup-simplify]: Simplify t into t
3.297 * [taylor]: Taking taylor expansion of y in x
3.297 * [backup-simplify]: Simplify y into y
3.297 * [backup-simplify]: Simplify (/ t y) into (/ t y)
3.297 * [taylor]: Taking taylor expansion of (* 0.5 (/ t x)) in x
3.297 * [taylor]: Taking taylor expansion of 0.5 in x
3.297 * [backup-simplify]: Simplify 0.5 into 0.5
3.297 * [taylor]: Taking taylor expansion of (/ t x) in x
3.297 * [taylor]: Taking taylor expansion of t in x
3.297 * [backup-simplify]: Simplify t into t
3.297 * [taylor]: Taking taylor expansion of x in x
3.297 * [backup-simplify]: Simplify 0 into 0
3.297 * [backup-simplify]: Simplify 1 into 1
3.298 * [backup-simplify]: Simplify (/ t 1) into t
3.298 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in x
3.298 * [taylor]: Taking taylor expansion of 0.5 in x
3.298 * [backup-simplify]: Simplify 0.5 into 0.5
3.298 * [taylor]: Taking taylor expansion of (/ t z) in x
3.298 * [taylor]: Taking taylor expansion of t in x
3.298 * [backup-simplify]: Simplify t into t
3.298 * [taylor]: Taking taylor expansion of z in x
3.298 * [backup-simplify]: Simplify z into z
3.298 * [backup-simplify]: Simplify (/ t z) into (/ t z)
3.298 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
3.298 * [backup-simplify]: Simplify (+ 0 (* 0.5 t)) into (* 0.5 t)
3.298 * [backup-simplify]: Simplify (+ (* 0.5 t) 0) into (* 0.5 t)
3.298 * [taylor]: Taking taylor expansion of (* 0.5 t) in y
3.298 * [taylor]: Taking taylor expansion of 0.5 in y
3.298 * [backup-simplify]: Simplify 0.5 into 0.5
3.298 * [taylor]: Taking taylor expansion of t in y
3.298 * [backup-simplify]: Simplify t into t
3.298 * [backup-simplify]: Simplify (* 0.5 (/ t y)) into (* 0.5 (/ t y))
3.299 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
3.299 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
3.300 * [backup-simplify]: Simplify (+ (* 0.5 (/ t y)) 0) into (* 0.5 (/ t y))
3.300 * [backup-simplify]: Simplify (* 0.5 (/ t z)) into (* 0.5 (/ t z))
3.300 * [backup-simplify]: Simplify (- (* 0.5 (/ t z))) into (- (* 0.5 (/ t z)))
3.300 * [backup-simplify]: Simplify (+ (* 0.5 (/ t y)) (- (* 0.5 (/ t z)))) into (- (* 0.5 (/ t y)) (* 0.5 (/ t z)))
3.300 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t y)) (* 0.5 (/ t z))) in y
3.300 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y
3.300 * [taylor]: Taking taylor expansion of 0.5 in y
3.300 * [backup-simplify]: Simplify 0.5 into 0.5
3.300 * [taylor]: Taking taylor expansion of (/ t y) in y
3.300 * [taylor]: Taking taylor expansion of t in y
3.300 * [backup-simplify]: Simplify t into t
3.300 * [taylor]: Taking taylor expansion of y in y
3.300 * [backup-simplify]: Simplify 0 into 0
3.300 * [backup-simplify]: Simplify 1 into 1
3.300 * [backup-simplify]: Simplify (/ t 1) into t
3.300 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in y
3.300 * [taylor]: Taking taylor expansion of 0.5 in y
3.300 * [backup-simplify]: Simplify 0.5 into 0.5
3.300 * [taylor]: Taking taylor expansion of (/ t z) in y
3.300 * [taylor]: Taking taylor expansion of t in y
3.301 * [backup-simplify]: Simplify t into t
3.301 * [taylor]: Taking taylor expansion of z in y
3.301 * [backup-simplify]: Simplify z into z
3.301 * [backup-simplify]: Simplify (/ t z) into (/ t z)
3.301 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
3.301 * [backup-simplify]: Simplify (+ (* 0.5 t) 0) into (* 0.5 t)
3.301 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
3.301 * [taylor]: Taking taylor expansion of 0.5 in t
3.301 * [backup-simplify]: Simplify 0.5 into 0.5
3.301 * [taylor]: Taking taylor expansion of t in t
3.301 * [backup-simplify]: Simplify 0 into 0
3.301 * [backup-simplify]: Simplify 1 into 1
3.302 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
3.302 * [taylor]: Taking taylor expansion of 0.5 in z
3.302 * [backup-simplify]: Simplify 0.5 into 0.5
3.302 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
3.302 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
3.302 * [taylor]: Taking taylor expansion of 0.5 in t
3.302 * [backup-simplify]: Simplify 0.5 into 0.5
3.302 * [taylor]: Taking taylor expansion of t in t
3.303 * [backup-simplify]: Simplify 0 into 0
3.303 * [backup-simplify]: Simplify 1 into 1
3.304 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
3.304 * [taylor]: Taking taylor expansion of 0.5 in z
3.304 * [backup-simplify]: Simplify 0.5 into 0.5
3.304 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ t y) (/ 0 y)))) into 0
3.305 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ t y))) into 0
3.306 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.306 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
3.307 * [backup-simplify]: Simplify (+ 0 0) into 0
3.307 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
3.307 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ t z))) into 0
3.308 * [backup-simplify]: Simplify (- 0) into 0
3.308 * [backup-simplify]: Simplify (+ 0 0) into 0
3.308 * [taylor]: Taking taylor expansion of 0 in y
3.308 * [backup-simplify]: Simplify 0 into 0
3.309 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
3.309 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
3.309 * [backup-simplify]: Simplify (* 0.5 (/ t z)) into (* 0.5 (/ t z))
3.310 * [backup-simplify]: Simplify (- (* 0.5 (/ t z))) into (- (* 0.5 (/ t z)))
3.310 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ t z)))) into (- (* 0.5 (/ t z)))
3.310 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t z))) in t
3.310 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in t
3.310 * [taylor]: Taking taylor expansion of 0.5 in t
3.310 * [backup-simplify]: Simplify 0.5 into 0.5
3.310 * [taylor]: Taking taylor expansion of (/ t z) in t
3.310 * [taylor]: Taking taylor expansion of t in t
3.310 * [backup-simplify]: Simplify 0 into 0
3.310 * [backup-simplify]: Simplify 1 into 1
3.310 * [taylor]: Taking taylor expansion of z in t
3.310 * [backup-simplify]: Simplify z into z
3.310 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.310 * [backup-simplify]: Simplify (* 0.5 (/ 1 z)) into (/ 0.5 z)
3.310 * [backup-simplify]: Simplify (- (/ 0.5 z)) into (- (* 0.5 (/ 1 z)))
3.310 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 z))) in z
3.310 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
3.310 * [taylor]: Taking taylor expansion of 0.5 in z
3.310 * [backup-simplify]: Simplify 0.5 into 0.5
3.310 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.310 * [taylor]: Taking taylor expansion of z in z
3.310 * [backup-simplify]: Simplify 0 into 0
3.310 * [backup-simplify]: Simplify 1 into 1
3.311 * [backup-simplify]: Simplify (/ 1 1) into 1
3.311 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
3.312 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
3.312 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
3.313 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
3.313 * [taylor]: Taking taylor expansion of 0 in t
3.313 * [backup-simplify]: Simplify 0 into 0
3.313 * [taylor]: Taking taylor expansion of 0 in z
3.313 * [backup-simplify]: Simplify 0 into 0
3.314 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
3.314 * [taylor]: Taking taylor expansion of 0 in z
3.314 * [backup-simplify]: Simplify 0 into 0
3.314 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
3.315 * [taylor]: Taking taylor expansion of 0 in z
3.315 * [backup-simplify]: Simplify 0 into 0
3.315 * [backup-simplify]: Simplify 0.5 into 0.5
3.315 * [backup-simplify]: Simplify 0.5 into 0.5
3.316 * [backup-simplify]: Simplify (+ (* 0.5 (* 1 (* (/ 1 t) (* 1 (/ 1 (/ 1 x)))))) (+ (* 0.5 (* 1 (* (/ 1 t) (* (/ 1 (/ 1 y)) 1)))) (* (- 0.5) (* (/ 1 (/ 1 z)) (* (/ 1 t) (* 1 1)))))) into (- (+ (* 0.5 (/ x t)) (* 0.5 (/ y t))) (* 0.5 (/ z t)))
3.316 * [backup-simplify]: Simplify (- (/ (+ (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- t)) 2.0)) (/ (/ 1 (- z)) (* (/ 1 (- t)) 2.0))) into (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z)))
3.317 * [approximate]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in (x y t z) around 0
3.317 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in z
3.317 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) in z
3.317 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in z
3.317 * [taylor]: Taking taylor expansion of 0.5 in z
3.317 * [backup-simplify]: Simplify 0.5 into 0.5
3.317 * [taylor]: Taking taylor expansion of (/ t y) in z
3.317 * [taylor]: Taking taylor expansion of t in z
3.317 * [backup-simplify]: Simplify t into t
3.317 * [taylor]: Taking taylor expansion of y in z
3.317 * [backup-simplify]: Simplify y into y
3.317 * [backup-simplify]: Simplify (/ t y) into (/ t y)
3.317 * [taylor]: Taking taylor expansion of (* 0.5 (/ t x)) in z
3.317 * [taylor]: Taking taylor expansion of 0.5 in z
3.317 * [backup-simplify]: Simplify 0.5 into 0.5
3.317 * [taylor]: Taking taylor expansion of (/ t x) in z
3.317 * [taylor]: Taking taylor expansion of t in z
3.317 * [backup-simplify]: Simplify t into t
3.317 * [taylor]: Taking taylor expansion of x in z
3.317 * [backup-simplify]: Simplify x into x
3.317 * [backup-simplify]: Simplify (/ t x) into (/ t x)
3.317 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z
3.317 * [taylor]: Taking taylor expansion of 0.5 in z
3.317 * [backup-simplify]: Simplify 0.5 into 0.5
3.317 * [taylor]: Taking taylor expansion of (/ t z) in z
3.317 * [taylor]: Taking taylor expansion of t in z
3.317 * [backup-simplify]: Simplify t into t
3.317 * [taylor]: Taking taylor expansion of z in z
3.317 * [backup-simplify]: Simplify 0 into 0
3.317 * [backup-simplify]: Simplify 1 into 1
3.317 * [backup-simplify]: Simplify (/ t 1) into t
3.317 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in t
3.317 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) in t
3.318 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in t
3.318 * [taylor]: Taking taylor expansion of 0.5 in t
3.318 * [backup-simplify]: Simplify 0.5 into 0.5
3.318 * [taylor]: Taking taylor expansion of (/ t y) in t
3.318 * [taylor]: Taking taylor expansion of t in t
3.318 * [backup-simplify]: Simplify 0 into 0
3.318 * [backup-simplify]: Simplify 1 into 1
3.318 * [taylor]: Taking taylor expansion of y in t
3.318 * [backup-simplify]: Simplify y into y
3.318 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.318 * [taylor]: Taking taylor expansion of (* 0.5 (/ t x)) in t
3.318 * [taylor]: Taking taylor expansion of 0.5 in t
3.318 * [backup-simplify]: Simplify 0.5 into 0.5
3.318 * [taylor]: Taking taylor expansion of (/ t x) in t
3.318 * [taylor]: Taking taylor expansion of t in t
3.318 * [backup-simplify]: Simplify 0 into 0
3.318 * [backup-simplify]: Simplify 1 into 1
3.318 * [taylor]: Taking taylor expansion of x in t
3.318 * [backup-simplify]: Simplify x into x
3.318 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.318 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in t
3.318 * [taylor]: Taking taylor expansion of 0.5 in t
3.318 * [backup-simplify]: Simplify 0.5 into 0.5
3.318 * [taylor]: Taking taylor expansion of (/ t z) in t
3.318 * [taylor]: Taking taylor expansion of t in t
3.318 * [backup-simplify]: Simplify 0 into 0
3.318 * [backup-simplify]: Simplify 1 into 1
3.318 * [taylor]: Taking taylor expansion of z in t
3.318 * [backup-simplify]: Simplify z into z
3.318 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.318 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in y
3.318 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) in y
3.318 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y
3.318 * [taylor]: Taking taylor expansion of 0.5 in y
3.319 * [backup-simplify]: Simplify 0.5 into 0.5
3.319 * [taylor]: Taking taylor expansion of (/ t y) in y
3.319 * [taylor]: Taking taylor expansion of t in y
3.319 * [backup-simplify]: Simplify t into t
3.319 * [taylor]: Taking taylor expansion of y in y
3.319 * [backup-simplify]: Simplify 0 into 0
3.319 * [backup-simplify]: Simplify 1 into 1
3.319 * [backup-simplify]: Simplify (/ t 1) into t
3.319 * [taylor]: Taking taylor expansion of (* 0.5 (/ t x)) in y
3.319 * [taylor]: Taking taylor expansion of 0.5 in y
3.319 * [backup-simplify]: Simplify 0.5 into 0.5
3.319 * [taylor]: Taking taylor expansion of (/ t x) in y
3.319 * [taylor]: Taking taylor expansion of t in y
3.319 * [backup-simplify]: Simplify t into t
3.319 * [taylor]: Taking taylor expansion of x in y
3.319 * [backup-simplify]: Simplify x into x
3.319 * [backup-simplify]: Simplify (/ t x) into (/ t x)
3.319 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in y
3.319 * [taylor]: Taking taylor expansion of 0.5 in y
3.319 * [backup-simplify]: Simplify 0.5 into 0.5
3.319 * [taylor]: Taking taylor expansion of (/ t z) in y
3.319 * [taylor]: Taking taylor expansion of t in y
3.319 * [backup-simplify]: Simplify t into t
3.319 * [taylor]: Taking taylor expansion of z in y
3.319 * [backup-simplify]: Simplify z into z
3.319 * [backup-simplify]: Simplify (/ t z) into (/ t z)
3.319 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in x
3.319 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) in x
3.319 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in x
3.319 * [taylor]: Taking taylor expansion of 0.5 in x
3.319 * [backup-simplify]: Simplify 0.5 into 0.5
3.319 * [taylor]: Taking taylor expansion of (/ t y) in x
3.319 * [taylor]: Taking taylor expansion of t in x
3.319 * [backup-simplify]: Simplify t into t
3.320 * [taylor]: Taking taylor expansion of y in x
3.320 * [backup-simplify]: Simplify y into y
3.320 * [backup-simplify]: Simplify (/ t y) into (/ t y)
3.320 * [taylor]: Taking taylor expansion of (* 0.5 (/ t x)) in x
3.320 * [taylor]: Taking taylor expansion of 0.5 in x
3.320 * [backup-simplify]: Simplify 0.5 into 0.5
3.320 * [taylor]: Taking taylor expansion of (/ t x) in x
3.320 * [taylor]: Taking taylor expansion of t in x
3.320 * [backup-simplify]: Simplify t into t
3.320 * [taylor]: Taking taylor expansion of x in x
3.320 * [backup-simplify]: Simplify 0 into 0
3.320 * [backup-simplify]: Simplify 1 into 1
3.320 * [backup-simplify]: Simplify (/ t 1) into t
3.320 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in x
3.320 * [taylor]: Taking taylor expansion of 0.5 in x
3.320 * [backup-simplify]: Simplify 0.5 into 0.5
3.320 * [taylor]: Taking taylor expansion of (/ t z) in x
3.320 * [taylor]: Taking taylor expansion of t in x
3.320 * [backup-simplify]: Simplify t into t
3.320 * [taylor]: Taking taylor expansion of z in x
3.320 * [backup-simplify]: Simplify z into z
3.320 * [backup-simplify]: Simplify (/ t z) into (/ t z)
3.320 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in x
3.320 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) in x
3.320 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in x
3.320 * [taylor]: Taking taylor expansion of 0.5 in x
3.320 * [backup-simplify]: Simplify 0.5 into 0.5
3.320 * [taylor]: Taking taylor expansion of (/ t y) in x
3.320 * [taylor]: Taking taylor expansion of t in x
3.320 * [backup-simplify]: Simplify t into t
3.320 * [taylor]: Taking taylor expansion of y in x
3.320 * [backup-simplify]: Simplify y into y
3.320 * [backup-simplify]: Simplify (/ t y) into (/ t y)
3.320 * [taylor]: Taking taylor expansion of (* 0.5 (/ t x)) in x
3.321 * [taylor]: Taking taylor expansion of 0.5 in x
3.321 * [backup-simplify]: Simplify 0.5 into 0.5
3.321 * [taylor]: Taking taylor expansion of (/ t x) in x
3.321 * [taylor]: Taking taylor expansion of t in x
3.321 * [backup-simplify]: Simplify t into t
3.321 * [taylor]: Taking taylor expansion of x in x
3.321 * [backup-simplify]: Simplify 0 into 0
3.321 * [backup-simplify]: Simplify 1 into 1
3.321 * [backup-simplify]: Simplify (/ t 1) into t
3.321 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in x
3.321 * [taylor]: Taking taylor expansion of 0.5 in x
3.321 * [backup-simplify]: Simplify 0.5 into 0.5
3.321 * [taylor]: Taking taylor expansion of (/ t z) in x
3.321 * [taylor]: Taking taylor expansion of t in x
3.321 * [backup-simplify]: Simplify t into t
3.321 * [taylor]: Taking taylor expansion of z in x
3.321 * [backup-simplify]: Simplify z into z
3.321 * [backup-simplify]: Simplify (/ t z) into (/ t z)
3.321 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
3.321 * [backup-simplify]: Simplify (+ 0 (* 0.5 t)) into (* 0.5 t)
3.322 * [backup-simplify]: Simplify (+ (* 0.5 t) 0) into (* 0.5 t)
3.322 * [taylor]: Taking taylor expansion of (* 0.5 t) in y
3.322 * [taylor]: Taking taylor expansion of 0.5 in y
3.322 * [backup-simplify]: Simplify 0.5 into 0.5
3.322 * [taylor]: Taking taylor expansion of t in y
3.322 * [backup-simplify]: Simplify t into t
3.322 * [backup-simplify]: Simplify (* 0.5 (/ t y)) into (* 0.5 (/ t y))
3.323 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
3.323 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
3.323 * [backup-simplify]: Simplify (+ (* 0.5 (/ t y)) 0) into (* 0.5 (/ t y))
3.323 * [backup-simplify]: Simplify (* 0.5 (/ t z)) into (* 0.5 (/ t z))
3.323 * [backup-simplify]: Simplify (- (* 0.5 (/ t z))) into (- (* 0.5 (/ t z)))
3.324 * [backup-simplify]: Simplify (+ (* 0.5 (/ t y)) (- (* 0.5 (/ t z)))) into (- (* 0.5 (/ t y)) (* 0.5 (/ t z)))
3.324 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t y)) (* 0.5 (/ t z))) in y
3.324 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y
3.324 * [taylor]: Taking taylor expansion of 0.5 in y
3.324 * [backup-simplify]: Simplify 0.5 into 0.5
3.324 * [taylor]: Taking taylor expansion of (/ t y) in y
3.324 * [taylor]: Taking taylor expansion of t in y
3.324 * [backup-simplify]: Simplify t into t
3.324 * [taylor]: Taking taylor expansion of y in y
3.324 * [backup-simplify]: Simplify 0 into 0
3.324 * [backup-simplify]: Simplify 1 into 1
3.324 * [backup-simplify]: Simplify (/ t 1) into t
3.324 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in y
3.324 * [taylor]: Taking taylor expansion of 0.5 in y
3.324 * [backup-simplify]: Simplify 0.5 into 0.5
3.324 * [taylor]: Taking taylor expansion of (/ t z) in y
3.324 * [taylor]: Taking taylor expansion of t in y
3.324 * [backup-simplify]: Simplify t into t
3.324 * [taylor]: Taking taylor expansion of z in y
3.324 * [backup-simplify]: Simplify z into z
3.324 * [backup-simplify]: Simplify (/ t z) into (/ t z)
3.324 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
3.324 * [backup-simplify]: Simplify (+ (* 0.5 t) 0) into (* 0.5 t)
3.324 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
3.324 * [taylor]: Taking taylor expansion of 0.5 in t
3.324 * [backup-simplify]: Simplify 0.5 into 0.5
3.324 * [taylor]: Taking taylor expansion of t in t
3.324 * [backup-simplify]: Simplify 0 into 0
3.325 * [backup-simplify]: Simplify 1 into 1
3.326 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
3.326 * [taylor]: Taking taylor expansion of 0.5 in z
3.326 * [backup-simplify]: Simplify 0.5 into 0.5
3.326 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
3.326 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
3.326 * [taylor]: Taking taylor expansion of 0.5 in t
3.326 * [backup-simplify]: Simplify 0.5 into 0.5
3.326 * [taylor]: Taking taylor expansion of t in t
3.326 * [backup-simplify]: Simplify 0 into 0
3.326 * [backup-simplify]: Simplify 1 into 1
3.327 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
3.327 * [taylor]: Taking taylor expansion of 0.5 in z
3.327 * [backup-simplify]: Simplify 0.5 into 0.5
3.328 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ t y) (/ 0 y)))) into 0
3.328 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ t y))) into 0
3.333 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.334 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
3.334 * [backup-simplify]: Simplify (+ 0 0) into 0
3.335 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
3.335 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ t z))) into 0
3.335 * [backup-simplify]: Simplify (- 0) into 0
3.336 * [backup-simplify]: Simplify (+ 0 0) into 0
3.336 * [taylor]: Taking taylor expansion of 0 in y
3.336 * [backup-simplify]: Simplify 0 into 0
3.337 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
3.337 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
3.337 * [backup-simplify]: Simplify (* 0.5 (/ t z)) into (* 0.5 (/ t z))
3.337 * [backup-simplify]: Simplify (- (* 0.5 (/ t z))) into (- (* 0.5 (/ t z)))
3.338 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ t z)))) into (- (* 0.5 (/ t z)))
3.338 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t z))) in t
3.338 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in t
3.338 * [taylor]: Taking taylor expansion of 0.5 in t
3.338 * [backup-simplify]: Simplify 0.5 into 0.5
3.338 * [taylor]: Taking taylor expansion of (/ t z) in t
3.338 * [taylor]: Taking taylor expansion of t in t
3.338 * [backup-simplify]: Simplify 0 into 0
3.338 * [backup-simplify]: Simplify 1 into 1
3.338 * [taylor]: Taking taylor expansion of z in t
3.338 * [backup-simplify]: Simplify z into z
3.338 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.338 * [backup-simplify]: Simplify (* 0.5 (/ 1 z)) into (/ 0.5 z)
3.338 * [backup-simplify]: Simplify (- (/ 0.5 z)) into (- (* 0.5 (/ 1 z)))
3.338 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 z))) in z
3.338 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
3.338 * [taylor]: Taking taylor expansion of 0.5 in z
3.338 * [backup-simplify]: Simplify 0.5 into 0.5
3.338 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.338 * [taylor]: Taking taylor expansion of z in z
3.338 * [backup-simplify]: Simplify 0 into 0
3.338 * [backup-simplify]: Simplify 1 into 1
3.339 * [backup-simplify]: Simplify (/ 1 1) into 1
3.339 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
3.340 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
3.340 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
3.340 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
3.340 * [taylor]: Taking taylor expansion of 0 in t
3.340 * [backup-simplify]: Simplify 0 into 0
3.341 * [taylor]: Taking taylor expansion of 0 in z
3.341 * [backup-simplify]: Simplify 0 into 0
3.341 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
3.341 * [taylor]: Taking taylor expansion of 0 in z
3.341 * [backup-simplify]: Simplify 0 into 0
3.342 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
3.342 * [taylor]: Taking taylor expansion of 0 in z
3.342 * [backup-simplify]: Simplify 0 into 0
3.343 * [backup-simplify]: Simplify 0.5 into 0.5
3.343 * [backup-simplify]: Simplify 0.5 into 0.5
3.344 * [backup-simplify]: Simplify (+ (* 0.5 (* 1 (* (/ 1 (- t)) (* 1 (/ 1 (/ 1 (- x))))))) (+ (* 0.5 (* 1 (* (/ 1 (- t)) (* (/ 1 (/ 1 (- y))) 1)))) (* (- 0.5) (* (/ 1 (/ 1 (- z))) (* (/ 1 (- t)) (* 1 1)))))) into (- (+ (* 0.5 (/ x t)) (* 0.5 (/ y t))) (* 0.5 (/ z t)))
3.344 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
3.344 * [backup-simplify]: Simplify (/ (+ x y) (* t 2.0)) into (* 0.5 (/ (+ x y) t))
3.344 * [approximate]: Taking taylor expansion of (* 0.5 (/ (+ x y) t)) in (x y t) around 0
3.344 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) t)) in t
3.344 * [taylor]: Taking taylor expansion of 0.5 in t
3.344 * [backup-simplify]: Simplify 0.5 into 0.5
3.344 * [taylor]: Taking taylor expansion of (/ (+ x y) t) in t
3.344 * [taylor]: Taking taylor expansion of (+ x y) in t
3.344 * [taylor]: Taking taylor expansion of x in t
3.344 * [backup-simplify]: Simplify x into x
3.345 * [taylor]: Taking taylor expansion of y in t
3.345 * [backup-simplify]: Simplify y into y
3.345 * [taylor]: Taking taylor expansion of t in t
3.345 * [backup-simplify]: Simplify 0 into 0
3.345 * [backup-simplify]: Simplify 1 into 1
3.345 * [backup-simplify]: Simplify (+ x y) into (+ x y)
3.345 * [backup-simplify]: Simplify (/ (+ x y) 1) into (+ x y)
3.345 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) t)) in y
3.345 * [taylor]: Taking taylor expansion of 0.5 in y
3.345 * [backup-simplify]: Simplify 0.5 into 0.5
3.345 * [taylor]: Taking taylor expansion of (/ (+ x y) t) in y
3.345 * [taylor]: Taking taylor expansion of (+ x y) in y
3.345 * [taylor]: Taking taylor expansion of x in y
3.345 * [backup-simplify]: Simplify x into x
3.345 * [taylor]: Taking taylor expansion of y in y
3.345 * [backup-simplify]: Simplify 0 into 0
3.345 * [backup-simplify]: Simplify 1 into 1
3.345 * [taylor]: Taking taylor expansion of t in y
3.345 * [backup-simplify]: Simplify t into t
3.345 * [backup-simplify]: Simplify (+ x 0) into x
3.345 * [backup-simplify]: Simplify (/ x t) into (/ x t)
3.345 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) t)) in x
3.345 * [taylor]: Taking taylor expansion of 0.5 in x
3.345 * [backup-simplify]: Simplify 0.5 into 0.5
3.345 * [taylor]: Taking taylor expansion of (/ (+ x y) t) in x
3.345 * [taylor]: Taking taylor expansion of (+ x y) in x
3.345 * [taylor]: Taking taylor expansion of x in x
3.345 * [backup-simplify]: Simplify 0 into 0
3.345 * [backup-simplify]: Simplify 1 into 1
3.345 * [taylor]: Taking taylor expansion of y in x
3.345 * [backup-simplify]: Simplify y into y
3.345 * [taylor]: Taking taylor expansion of t in x
3.345 * [backup-simplify]: Simplify t into t
3.346 * [backup-simplify]: Simplify (+ 0 y) into y
3.346 * [backup-simplify]: Simplify (/ y t) into (/ y t)
3.346 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) t)) in x
3.346 * [taylor]: Taking taylor expansion of 0.5 in x
3.346 * [backup-simplify]: Simplify 0.5 into 0.5
3.346 * [taylor]: Taking taylor expansion of (/ (+ x y) t) in x
3.346 * [taylor]: Taking taylor expansion of (+ x y) in x
3.346 * [taylor]: Taking taylor expansion of x in x
3.346 * [backup-simplify]: Simplify 0 into 0
3.346 * [backup-simplify]: Simplify 1 into 1
3.346 * [taylor]: Taking taylor expansion of y in x
3.346 * [backup-simplify]: Simplify y into y
3.346 * [taylor]: Taking taylor expansion of t in x
3.346 * [backup-simplify]: Simplify t into t
3.346 * [backup-simplify]: Simplify (+ 0 y) into y
3.346 * [backup-simplify]: Simplify (/ y t) into (/ y t)
3.346 * [backup-simplify]: Simplify (* 0.5 (/ y t)) into (* 0.5 (/ y t))
3.346 * [taylor]: Taking taylor expansion of (* 0.5 (/ y t)) in y
3.346 * [taylor]: Taking taylor expansion of 0.5 in y
3.346 * [backup-simplify]: Simplify 0.5 into 0.5
3.346 * [taylor]: Taking taylor expansion of (/ y t) in y
3.346 * [taylor]: Taking taylor expansion of y in y
3.346 * [backup-simplify]: Simplify 0 into 0
3.346 * [backup-simplify]: Simplify 1 into 1
3.346 * [taylor]: Taking taylor expansion of t in y
3.346 * [backup-simplify]: Simplify t into t
3.346 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.347 * [backup-simplify]: Simplify (+ 1 0) into 1
3.347 * [backup-simplify]: Simplify (- (/ 1 t) (+ (* (/ y t) (/ 0 t)))) into (/ 1 t)
3.347 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 t)) (* 0 (/ y t))) into (* 0.5 (/ 1 t))
3.347 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in y
3.347 * [taylor]: Taking taylor expansion of 0.5 in y
3.347 * [backup-simplify]: Simplify 0.5 into 0.5
3.347 * [taylor]: Taking taylor expansion of (/ 1 t) in y
3.347 * [taylor]: Taking taylor expansion of t in y
3.347 * [backup-simplify]: Simplify t into t
3.347 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.348 * [backup-simplify]: Simplify (* 0.5 (/ 1 t)) into (/ 0.5 t)
3.348 * [taylor]: Taking taylor expansion of (/ 0.5 t) in t
3.348 * [taylor]: Taking taylor expansion of 0.5 in t
3.348 * [backup-simplify]: Simplify 0.5 into 0.5
3.348 * [taylor]: Taking taylor expansion of t in t
3.348 * [backup-simplify]: Simplify 0 into 0
3.348 * [backup-simplify]: Simplify 1 into 1
3.348 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
3.348 * [backup-simplify]: Simplify 0.5 into 0.5
3.348 * [backup-simplify]: Simplify (* 0.5 (/ 1 t)) into (/ 0.5 t)
3.348 * [taylor]: Taking taylor expansion of (/ 0.5 t) in t
3.348 * [taylor]: Taking taylor expansion of 0.5 in t
3.348 * [backup-simplify]: Simplify 0.5 into 0.5
3.348 * [taylor]: Taking taylor expansion of t in t
3.348 * [backup-simplify]: Simplify 0 into 0
3.348 * [backup-simplify]: Simplify 1 into 1
3.349 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
3.349 * [backup-simplify]: Simplify 0.5 into 0.5
3.349 * [backup-simplify]: Simplify (+ 0 0) into 0
3.350 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ y t) (/ 0 t)) (* (/ 1 t) (/ 0 t)))) into 0
3.350 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (/ 1 t)) (* 0 (/ y t)))) into 0
3.350 * [taylor]: Taking taylor expansion of 0 in y
3.350 * [backup-simplify]: Simplify 0 into 0
3.350 * [taylor]: Taking taylor expansion of 0 in t
3.350 * [backup-simplify]: Simplify 0 into 0
3.350 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
3.350 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 t))) into 0
3.350 * [taylor]: Taking taylor expansion of 0 in t
3.350 * [backup-simplify]: Simplify 0 into 0
3.351 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)))) into 0
3.351 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 t))) into 0
3.351 * [taylor]: Taking taylor expansion of 0 in t
3.351 * [backup-simplify]: Simplify 0 into 0
3.351 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)))) into 0
3.351 * [backup-simplify]: Simplify 0 into 0
3.352 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)))) into 0
3.352 * [backup-simplify]: Simplify 0 into 0
3.352 * [backup-simplify]: Simplify (+ 0 0) into 0
3.352 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ y t) (/ 0 t)) (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
3.353 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (/ 1 t)) (* 0 (/ y t))))) into 0
3.353 * [taylor]: Taking taylor expansion of 0 in y
3.353 * [backup-simplify]: Simplify 0 into 0
3.353 * [taylor]: Taking taylor expansion of 0 in t
3.353 * [backup-simplify]: Simplify 0 into 0
3.353 * [taylor]: Taking taylor expansion of 0 in t
3.353 * [backup-simplify]: Simplify 0 into 0
3.353 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
3.354 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 t)))) into 0
3.354 * [taylor]: Taking taylor expansion of 0 in t
3.354 * [backup-simplify]: Simplify 0 into 0
3.354 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
3.354 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 t)))) into 0
3.354 * [taylor]: Taking taylor expansion of 0 in t
3.354 * [backup-simplify]: Simplify 0 into 0
3.354 * [backup-simplify]: Simplify 0 into 0
3.354 * [backup-simplify]: Simplify 0 into 0
3.355 * [backup-simplify]: Simplify 0 into 0
3.355 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.355 * [backup-simplify]: Simplify 0 into 0
3.355 * [backup-simplify]: Simplify (+ (* 0.5 (* (/ 1 t) (* y 1))) (* 0.5 (* (/ 1 t) (* 1 x)))) into (+ (* 0.5 (/ y t)) (* 0.5 (/ x t)))
3.355 * [backup-simplify]: Simplify (/ (+ (/ 1 x) (/ 1 y)) (* (/ 1 t) 2.0)) into (* 0.5 (* t (+ (/ 1 y) (/ 1 x))))
3.355 * [approximate]: Taking taylor expansion of (* 0.5 (* t (+ (/ 1 y) (/ 1 x)))) in (x y t) around 0
3.356 * [taylor]: Taking taylor expansion of (* 0.5 (* t (+ (/ 1 y) (/ 1 x)))) in t
3.356 * [taylor]: Taking taylor expansion of 0.5 in t
3.356 * [backup-simplify]: Simplify 0.5 into 0.5
3.356 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in t
3.356 * [taylor]: Taking taylor expansion of t in t
3.356 * [backup-simplify]: Simplify 0 into 0
3.356 * [backup-simplify]: Simplify 1 into 1
3.356 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
3.356 * [taylor]: Taking taylor expansion of (/ 1 y) in t
3.356 * [taylor]: Taking taylor expansion of y in t
3.356 * [backup-simplify]: Simplify y into y
3.356 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.356 * [taylor]: Taking taylor expansion of (/ 1 x) in t
3.356 * [taylor]: Taking taylor expansion of x in t
3.356 * [backup-simplify]: Simplify x into x
3.356 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.356 * [taylor]: Taking taylor expansion of (* 0.5 (* t (+ (/ 1 y) (/ 1 x)))) in y
3.356 * [taylor]: Taking taylor expansion of 0.5 in y
3.356 * [backup-simplify]: Simplify 0.5 into 0.5
3.356 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in y
3.356 * [taylor]: Taking taylor expansion of t in y
3.356 * [backup-simplify]: Simplify t into t
3.356 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
3.356 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.356 * [taylor]: Taking taylor expansion of y in y
3.356 * [backup-simplify]: Simplify 0 into 0
3.356 * [backup-simplify]: Simplify 1 into 1
3.356 * [backup-simplify]: Simplify (/ 1 1) into 1
3.356 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.356 * [taylor]: Taking taylor expansion of x in y
3.356 * [backup-simplify]: Simplify x into x
3.356 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.356 * [taylor]: Taking taylor expansion of (* 0.5 (* t (+ (/ 1 y) (/ 1 x)))) in x
3.356 * [taylor]: Taking taylor expansion of 0.5 in x
3.356 * [backup-simplify]: Simplify 0.5 into 0.5
3.356 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in x
3.356 * [taylor]: Taking taylor expansion of t in x
3.356 * [backup-simplify]: Simplify t into t
3.356 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
3.356 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.356 * [taylor]: Taking taylor expansion of y in x
3.356 * [backup-simplify]: Simplify y into y
3.357 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.357 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.357 * [taylor]: Taking taylor expansion of x in x
3.357 * [backup-simplify]: Simplify 0 into 0
3.357 * [backup-simplify]: Simplify 1 into 1
3.357 * [backup-simplify]: Simplify (/ 1 1) into 1
3.357 * [taylor]: Taking taylor expansion of (* 0.5 (* t (+ (/ 1 y) (/ 1 x)))) in x
3.357 * [taylor]: Taking taylor expansion of 0.5 in x
3.357 * [backup-simplify]: Simplify 0.5 into 0.5
3.357 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in x
3.357 * [taylor]: Taking taylor expansion of t in x
3.357 * [backup-simplify]: Simplify t into t
3.357 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
3.357 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.357 * [taylor]: Taking taylor expansion of y in x
3.357 * [backup-simplify]: Simplify y into y
3.357 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.357 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.357 * [taylor]: Taking taylor expansion of x in x
3.357 * [backup-simplify]: Simplify 0 into 0
3.357 * [backup-simplify]: Simplify 1 into 1
3.357 * [backup-simplify]: Simplify (/ 1 1) into 1
3.358 * [backup-simplify]: Simplify (+ 0 1) into 1
3.358 * [backup-simplify]: Simplify (* t 1) into t
3.358 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
3.358 * [taylor]: Taking taylor expansion of (* 0.5 t) in y
3.358 * [taylor]: Taking taylor expansion of 0.5 in y
3.358 * [backup-simplify]: Simplify 0.5 into 0.5
3.358 * [taylor]: Taking taylor expansion of t in y
3.358 * [backup-simplify]: Simplify t into t
3.358 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.358 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
3.359 * [backup-simplify]: Simplify (+ (* t (/ 1 y)) (* 0 1)) into (/ t y)
3.359 * [backup-simplify]: Simplify (+ (* 0.5 (/ t y)) (* 0 t)) into (* 0.5 (/ t y))
3.359 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y
3.359 * [taylor]: Taking taylor expansion of 0.5 in y
3.359 * [backup-simplify]: Simplify 0.5 into 0.5
3.359 * [taylor]: Taking taylor expansion of (/ t y) in y
3.359 * [taylor]: Taking taylor expansion of t in y
3.359 * [backup-simplify]: Simplify t into t
3.359 * [taylor]: Taking taylor expansion of y in y
3.359 * [backup-simplify]: Simplify 0 into 0
3.359 * [backup-simplify]: Simplify 1 into 1
3.359 * [backup-simplify]: Simplify (/ t 1) into t
3.359 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
3.359 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
3.359 * [taylor]: Taking taylor expansion of 0.5 in t
3.359 * [backup-simplify]: Simplify 0.5 into 0.5
3.359 * [taylor]: Taking taylor expansion of t in t
3.359 * [backup-simplify]: Simplify 0 into 0
3.359 * [backup-simplify]: Simplify 1 into 1
3.359 * [backup-simplify]: Simplify (* 0.5 0) into 0
3.359 * [backup-simplify]: Simplify 0 into 0
3.359 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
3.359 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
3.360 * [taylor]: Taking taylor expansion of 0.5 in t
3.360 * [backup-simplify]: Simplify 0.5 into 0.5
3.360 * [taylor]: Taking taylor expansion of t in t
3.360 * [backup-simplify]: Simplify 0 into 0
3.360 * [backup-simplify]: Simplify 1 into 1
3.360 * [backup-simplify]: Simplify (* 0.5 0) into 0
3.360 * [backup-simplify]: Simplify 0 into 0
3.360 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.360 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.361 * [backup-simplify]: Simplify (+ 0 0) into 0
3.361 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0
3.361 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (/ t y)) (* 0 t))) into 0
3.361 * [taylor]: Taking taylor expansion of 0 in y
3.361 * [backup-simplify]: Simplify 0 into 0
3.362 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
3.362 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
3.362 * [taylor]: Taking taylor expansion of 0 in t
3.362 * [backup-simplify]: Simplify 0 into 0
3.362 * [backup-simplify]: Simplify 0 into 0
3.363 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
3.363 * [taylor]: Taking taylor expansion of 0 in t
3.363 * [backup-simplify]: Simplify 0 into 0
3.363 * [backup-simplify]: Simplify 0 into 0
3.364 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
3.364 * [backup-simplify]: Simplify 0.5 into 0.5
3.365 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
3.365 * [backup-simplify]: Simplify 0.5 into 0.5
3.365 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.365 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.365 * [backup-simplify]: Simplify (+ 0 0) into 0
3.366 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0
3.367 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (/ t y)) (* 0 t)))) into 0
3.367 * [taylor]: Taking taylor expansion of 0 in y
3.367 * [backup-simplify]: Simplify 0 into 0
3.367 * [taylor]: Taking taylor expansion of 0 in t
3.367 * [backup-simplify]: Simplify 0 into 0
3.367 * [backup-simplify]: Simplify 0 into 0
3.368 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.368 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
3.368 * [taylor]: Taking taylor expansion of 0 in t
3.368 * [backup-simplify]: Simplify 0 into 0
3.368 * [backup-simplify]: Simplify 0 into 0
3.369 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
3.369 * [taylor]: Taking taylor expansion of 0 in t
3.369 * [backup-simplify]: Simplify 0 into 0
3.369 * [backup-simplify]: Simplify 0 into 0
3.369 * [backup-simplify]: Simplify 0 into 0
3.369 * [backup-simplify]: Simplify 0 into 0
3.370 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
3.370 * [backup-simplify]: Simplify 0 into 0
3.370 * [backup-simplify]: Simplify (+ (* 0.5 (* (/ 1 t) (* 1 (/ 1 (/ 1 x))))) (* 0.5 (* (/ 1 t) (* (/ 1 (/ 1 y)) 1)))) into (+ (* 0.5 (/ x t)) (* 0.5 (/ y t)))
3.370 * [backup-simplify]: Simplify (/ (+ (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- t)) 2.0)) into (* 0.5 (* t (+ (/ 1 y) (/ 1 x))))
3.370 * [approximate]: Taking taylor expansion of (* 0.5 (* t (+ (/ 1 y) (/ 1 x)))) in (x y t) around 0
3.370 * [taylor]: Taking taylor expansion of (* 0.5 (* t (+ (/ 1 y) (/ 1 x)))) in t
3.370 * [taylor]: Taking taylor expansion of 0.5 in t
3.370 * [backup-simplify]: Simplify 0.5 into 0.5
3.370 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in t
3.370 * [taylor]: Taking taylor expansion of t in t
3.371 * [backup-simplify]: Simplify 0 into 0
3.371 * [backup-simplify]: Simplify 1 into 1
3.371 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
3.371 * [taylor]: Taking taylor expansion of (/ 1 y) in t
3.371 * [taylor]: Taking taylor expansion of y in t
3.371 * [backup-simplify]: Simplify y into y
3.371 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.371 * [taylor]: Taking taylor expansion of (/ 1 x) in t
3.371 * [taylor]: Taking taylor expansion of x in t
3.371 * [backup-simplify]: Simplify x into x
3.371 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.371 * [taylor]: Taking taylor expansion of (* 0.5 (* t (+ (/ 1 y) (/ 1 x)))) in y
3.371 * [taylor]: Taking taylor expansion of 0.5 in y
3.371 * [backup-simplify]: Simplify 0.5 into 0.5
3.371 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in y
3.371 * [taylor]: Taking taylor expansion of t in y
3.371 * [backup-simplify]: Simplify t into t
3.371 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
3.371 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.371 * [taylor]: Taking taylor expansion of y in y
3.371 * [backup-simplify]: Simplify 0 into 0
3.371 * [backup-simplify]: Simplify 1 into 1
3.371 * [backup-simplify]: Simplify (/ 1 1) into 1
3.371 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.371 * [taylor]: Taking taylor expansion of x in y
3.371 * [backup-simplify]: Simplify x into x
3.372 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.372 * [taylor]: Taking taylor expansion of (* 0.5 (* t (+ (/ 1 y) (/ 1 x)))) in x
3.372 * [taylor]: Taking taylor expansion of 0.5 in x
3.372 * [backup-simplify]: Simplify 0.5 into 0.5
3.372 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in x
3.372 * [taylor]: Taking taylor expansion of t in x
3.372 * [backup-simplify]: Simplify t into t
3.372 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
3.372 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.372 * [taylor]: Taking taylor expansion of y in x
3.372 * [backup-simplify]: Simplify y into y
3.372 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.372 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.372 * [taylor]: Taking taylor expansion of x in x
3.372 * [backup-simplify]: Simplify 0 into 0
3.372 * [backup-simplify]: Simplify 1 into 1
3.372 * [backup-simplify]: Simplify (/ 1 1) into 1
3.372 * [taylor]: Taking taylor expansion of (* 0.5 (* t (+ (/ 1 y) (/ 1 x)))) in x
3.372 * [taylor]: Taking taylor expansion of 0.5 in x
3.372 * [backup-simplify]: Simplify 0.5 into 0.5
3.372 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in x
3.372 * [taylor]: Taking taylor expansion of t in x
3.372 * [backup-simplify]: Simplify t into t
3.372 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
3.372 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.372 * [taylor]: Taking taylor expansion of y in x
3.372 * [backup-simplify]: Simplify y into y
3.372 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.372 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.372 * [taylor]: Taking taylor expansion of x in x
3.372 * [backup-simplify]: Simplify 0 into 0
3.372 * [backup-simplify]: Simplify 1 into 1
3.373 * [backup-simplify]: Simplify (/ 1 1) into 1
3.373 * [backup-simplify]: Simplify (+ 0 1) into 1
3.373 * [backup-simplify]: Simplify (* t 1) into t
3.373 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
3.373 * [taylor]: Taking taylor expansion of (* 0.5 t) in y
3.373 * [taylor]: Taking taylor expansion of 0.5 in y
3.373 * [backup-simplify]: Simplify 0.5 into 0.5
3.373 * [taylor]: Taking taylor expansion of t in y
3.373 * [backup-simplify]: Simplify t into t
3.374 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.374 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
3.374 * [backup-simplify]: Simplify (+ (* t (/ 1 y)) (* 0 1)) into (/ t y)
3.374 * [backup-simplify]: Simplify (+ (* 0.5 (/ t y)) (* 0 t)) into (* 0.5 (/ t y))
3.374 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y
3.374 * [taylor]: Taking taylor expansion of 0.5 in y
3.374 * [backup-simplify]: Simplify 0.5 into 0.5
3.374 * [taylor]: Taking taylor expansion of (/ t y) in y
3.374 * [taylor]: Taking taylor expansion of t in y
3.374 * [backup-simplify]: Simplify t into t
3.374 * [taylor]: Taking taylor expansion of y in y
3.374 * [backup-simplify]: Simplify 0 into 0
3.374 * [backup-simplify]: Simplify 1 into 1
3.374 * [backup-simplify]: Simplify (/ t 1) into t
3.374 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
3.374 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
3.374 * [taylor]: Taking taylor expansion of 0.5 in t
3.374 * [backup-simplify]: Simplify 0.5 into 0.5
3.374 * [taylor]: Taking taylor expansion of t in t
3.374 * [backup-simplify]: Simplify 0 into 0
3.374 * [backup-simplify]: Simplify 1 into 1
3.375 * [backup-simplify]: Simplify (* 0.5 0) into 0
3.375 * [backup-simplify]: Simplify 0 into 0
3.375 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
3.375 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
3.375 * [taylor]: Taking taylor expansion of 0.5 in t
3.375 * [backup-simplify]: Simplify 0.5 into 0.5
3.375 * [taylor]: Taking taylor expansion of t in t
3.375 * [backup-simplify]: Simplify 0 into 0
3.375 * [backup-simplify]: Simplify 1 into 1
3.375 * [backup-simplify]: Simplify (* 0.5 0) into 0
3.375 * [backup-simplify]: Simplify 0 into 0
3.375 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.376 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.376 * [backup-simplify]: Simplify (+ 0 0) into 0
3.376 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0
3.377 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (/ t y)) (* 0 t))) into 0
3.377 * [taylor]: Taking taylor expansion of 0 in y
3.377 * [backup-simplify]: Simplify 0 into 0
3.377 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
3.378 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
3.378 * [taylor]: Taking taylor expansion of 0 in t
3.378 * [backup-simplify]: Simplify 0 into 0
3.378 * [backup-simplify]: Simplify 0 into 0
3.378 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
3.378 * [taylor]: Taking taylor expansion of 0 in t
3.378 * [backup-simplify]: Simplify 0 into 0
3.378 * [backup-simplify]: Simplify 0 into 0
3.379 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
3.379 * [backup-simplify]: Simplify 0.5 into 0.5
3.380 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
3.380 * [backup-simplify]: Simplify 0.5 into 0.5
3.380 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.380 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.381 * [backup-simplify]: Simplify (+ 0 0) into 0
3.381 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0
3.382 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (/ t y)) (* 0 t)))) into 0
3.382 * [taylor]: Taking taylor expansion of 0 in y
3.382 * [backup-simplify]: Simplify 0 into 0
3.382 * [taylor]: Taking taylor expansion of 0 in t
3.382 * [backup-simplify]: Simplify 0 into 0
3.382 * [backup-simplify]: Simplify 0 into 0
3.383 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.383 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
3.383 * [taylor]: Taking taylor expansion of 0 in t
3.383 * [backup-simplify]: Simplify 0 into 0
3.383 * [backup-simplify]: Simplify 0 into 0
3.384 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
3.384 * [taylor]: Taking taylor expansion of 0 in t
3.384 * [backup-simplify]: Simplify 0 into 0
3.384 * [backup-simplify]: Simplify 0 into 0
3.384 * [backup-simplify]: Simplify 0 into 0
3.384 * [backup-simplify]: Simplify 0 into 0
3.385 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
3.385 * [backup-simplify]: Simplify 0 into 0
3.385 * [backup-simplify]: Simplify (+ (* 0.5 (* (/ 1 (- t)) (* 1 (/ 1 (/ 1 (- x)))))) (* 0.5 (* (/ 1 (- t)) (* (/ 1 (/ 1 (- y))) 1)))) into (+ (* 0.5 (/ x t)) (* 0.5 (/ y t)))
3.385 * * * [progress]: simplifying candidates
3.387 * [simplify]: Simplifying:
  (fma (* (cbrt (/ (+ x y) (* t 2.0))) (cbrt (/ (+ x y) (* t 2.0)))) (cbrt (/ (+ x y) (* t 2.0))) (- (* (cbrt (/ z (* t 2.0))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0)))))))
  (fma (- (cbrt (/ z (* t 2.0)))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0)))) (* (cbrt (/ z (* t 2.0))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0))))))
  (fma (* (cbrt (/ (+ x y) (* t 2.0))) (cbrt (/ (+ x y) (* t 2.0)))) (cbrt (/ (+ x y) (* t 2.0))) (- (* (sqrt (/ z (* t 2.0))) (sqrt (/ z (* t 2.0))))))
  (fma (- (sqrt (/ z (* t 2.0)))) (sqrt (/ z (* t 2.0))) (* (sqrt (/ z (* t 2.0))) (sqrt (/ z (* t 2.0)))))
  (fma (* (cbrt (/ (+ x y) (* t 2.0))) (cbrt (/ (+ x y) (* t 2.0)))) (cbrt (/ (+ x y) (* t 2.0))) (- (* (/ (cbrt z) 2.0) (/ (* (cbrt z) (cbrt z)) t))))
  (fma (- (/ (cbrt z) 2.0)) (/ (* (cbrt z) (cbrt z)) t) (* (/ (cbrt z) 2.0) (/ (* (cbrt z) (cbrt z)) t)))
  (fma (* (cbrt (/ (+ x y) (* t 2.0))) (cbrt (/ (+ x y) (* t 2.0)))) (cbrt (/ (+ x y) (* t 2.0))) (- (* (/ (sqrt z) 2.0) (/ (sqrt z) t))))
  (fma (- (/ (sqrt z) 2.0)) (/ (sqrt z) t) (* (/ (sqrt z) 2.0) (/ (sqrt z) t)))
  (fma (* (cbrt (/ (+ x y) (* t 2.0))) (cbrt (/ (+ x y) (* t 2.0)))) (cbrt (/ (+ x y) (* t 2.0))) (- (* (/ z 2.0) (/ 1 t))))
  (fma (- (/ z 2.0)) (/ 1 t) (* (/ z 2.0) (/ 1 t)))
  (fma (* (cbrt (/ (+ x y) (* t 2.0))) (cbrt (/ (+ x y) (* t 2.0)))) (cbrt (/ (+ x y) (* t 2.0))) (- (* (/ z (* t 2.0)) 1)))
  (fma (- (/ z (* t 2.0))) 1 (* (/ z (* t 2.0)) 1))
  (fma (* (cbrt (/ (+ x y) (* t 2.0))) (cbrt (/ (+ x y) (* t 2.0)))) (cbrt (/ (+ x y) (* t 2.0))) (- (* (/ 1 (* t 2.0)) z)))
  (fma (- (/ 1 (* t 2.0))) z (* (/ 1 (* t 2.0)) z))
  (fma (sqrt (/ (+ x y) (* t 2.0))) (sqrt (/ (+ x y) (* t 2.0))) (- (* (cbrt (/ z (* t 2.0))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0)))))))
  (fma (- (cbrt (/ z (* t 2.0)))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0)))) (* (cbrt (/ z (* t 2.0))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0))))))
  (fma (sqrt (/ (+ x y) (* t 2.0))) (sqrt (/ (+ x y) (* t 2.0))) (- (* (sqrt (/ z (* t 2.0))) (sqrt (/ z (* t 2.0))))))
  (fma (- (sqrt (/ z (* t 2.0)))) (sqrt (/ z (* t 2.0))) (* (sqrt (/ z (* t 2.0))) (sqrt (/ z (* t 2.0)))))
  (fma (sqrt (/ (+ x y) (* t 2.0))) (sqrt (/ (+ x y) (* t 2.0))) (- (* (/ (cbrt z) 2.0) (/ (* (cbrt z) (cbrt z)) t))))
  (fma (- (/ (cbrt z) 2.0)) (/ (* (cbrt z) (cbrt z)) t) (* (/ (cbrt z) 2.0) (/ (* (cbrt z) (cbrt z)) t)))
  (fma (sqrt (/ (+ x y) (* t 2.0))) (sqrt (/ (+ x y) (* t 2.0))) (- (* (/ (sqrt z) 2.0) (/ (sqrt z) t))))
  (fma (- (/ (sqrt z) 2.0)) (/ (sqrt z) t) (* (/ (sqrt z) 2.0) (/ (sqrt z) t)))
  (fma (sqrt (/ (+ x y) (* t 2.0))) (sqrt (/ (+ x y) (* t 2.0))) (- (* (/ z 2.0) (/ 1 t))))
  (fma (- (/ z 2.0)) (/ 1 t) (* (/ z 2.0) (/ 1 t)))
  (fma (sqrt (/ (+ x y) (* t 2.0))) (sqrt (/ (+ x y) (* t 2.0))) (- (* (/ z (* t 2.0)) 1)))
  (fma (- (/ z (* t 2.0))) 1 (* (/ z (* t 2.0)) 1))
  (fma (sqrt (/ (+ x y) (* t 2.0))) (sqrt (/ (+ x y) (* t 2.0))) (- (* (/ 1 (* t 2.0)) z)))
  (fma (- (/ 1 (* t 2.0))) z (* (/ 1 (* t 2.0)) z))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) t) (/ (cbrt (+ x y)) 2.0) (- (* (cbrt (/ z (* t 2.0))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0)))))))
  (fma (- (cbrt (/ z (* t 2.0)))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0)))) (* (cbrt (/ z (* t 2.0))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0))))))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) t) (/ (cbrt (+ x y)) 2.0) (- (* (sqrt (/ z (* t 2.0))) (sqrt (/ z (* t 2.0))))))
  (fma (- (sqrt (/ z (* t 2.0)))) (sqrt (/ z (* t 2.0))) (* (sqrt (/ z (* t 2.0))) (sqrt (/ z (* t 2.0)))))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) t) (/ (cbrt (+ x y)) 2.0) (- (* (/ (cbrt z) 2.0) (/ (* (cbrt z) (cbrt z)) t))))
  (fma (- (/ (cbrt z) 2.0)) (/ (* (cbrt z) (cbrt z)) t) (* (/ (cbrt z) 2.0) (/ (* (cbrt z) (cbrt z)) t)))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) t) (/ (cbrt (+ x y)) 2.0) (- (* (/ (sqrt z) 2.0) (/ (sqrt z) t))))
  (fma (- (/ (sqrt z) 2.0)) (/ (sqrt z) t) (* (/ (sqrt z) 2.0) (/ (sqrt z) t)))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) t) (/ (cbrt (+ x y)) 2.0) (- (* (/ z 2.0) (/ 1 t))))
  (fma (- (/ z 2.0)) (/ 1 t) (* (/ z 2.0) (/ 1 t)))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) t) (/ (cbrt (+ x y)) 2.0) (- (* (/ z (* t 2.0)) 1)))
  (fma (- (/ z (* t 2.0))) 1 (* (/ z (* t 2.0)) 1))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) t) (/ (cbrt (+ x y)) 2.0) (- (* (/ 1 (* t 2.0)) z)))
  (fma (- (/ 1 (* t 2.0))) z (* (/ 1 (* t 2.0)) z))
  (fma (/ (sqrt (+ x y)) t) (/ (sqrt (+ x y)) 2.0) (- (* (cbrt (/ z (* t 2.0))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0)))))))
  (fma (- (cbrt (/ z (* t 2.0)))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0)))) (* (cbrt (/ z (* t 2.0))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0))))))
  (fma (/ (sqrt (+ x y)) t) (/ (sqrt (+ x y)) 2.0) (- (* (sqrt (/ z (* t 2.0))) (sqrt (/ z (* t 2.0))))))
  (fma (- (sqrt (/ z (* t 2.0)))) (sqrt (/ z (* t 2.0))) (* (sqrt (/ z (* t 2.0))) (sqrt (/ z (* t 2.0)))))
  (fma (/ (sqrt (+ x y)) t) (/ (sqrt (+ x y)) 2.0) (- (* (/ (cbrt z) 2.0) (/ (* (cbrt z) (cbrt z)) t))))
  (fma (- (/ (cbrt z) 2.0)) (/ (* (cbrt z) (cbrt z)) t) (* (/ (cbrt z) 2.0) (/ (* (cbrt z) (cbrt z)) t)))
  (fma (/ (sqrt (+ x y)) t) (/ (sqrt (+ x y)) 2.0) (- (* (/ (sqrt z) 2.0) (/ (sqrt z) t))))
  (fma (- (/ (sqrt z) 2.0)) (/ (sqrt z) t) (* (/ (sqrt z) 2.0) (/ (sqrt z) t)))
  (fma (/ (sqrt (+ x y)) t) (/ (sqrt (+ x y)) 2.0) (- (* (/ z 2.0) (/ 1 t))))
  (fma (- (/ z 2.0)) (/ 1 t) (* (/ z 2.0) (/ 1 t)))
  (fma (/ (sqrt (+ x y)) t) (/ (sqrt (+ x y)) 2.0) (- (* (/ z (* t 2.0)) 1)))
  (fma (- (/ z (* t 2.0))) 1 (* (/ z (* t 2.0)) 1))
  (fma (/ (sqrt (+ x y)) t) (/ (sqrt (+ x y)) 2.0) (- (* (/ 1 (* t 2.0)) z)))
  (fma (- (/ 1 (* t 2.0))) z (* (/ 1 (* t 2.0)) z))
  (fma (/ 1 t) (/ (+ x y) 2.0) (- (* (cbrt (/ z (* t 2.0))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0)))))))
  (fma (- (cbrt (/ z (* t 2.0)))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0)))) (* (cbrt (/ z (* t 2.0))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0))))))
  (fma (/ 1 t) (/ (+ x y) 2.0) (- (* (sqrt (/ z (* t 2.0))) (sqrt (/ z (* t 2.0))))))
  (fma (- (sqrt (/ z (* t 2.0)))) (sqrt (/ z (* t 2.0))) (* (sqrt (/ z (* t 2.0))) (sqrt (/ z (* t 2.0)))))
  (fma (/ 1 t) (/ (+ x y) 2.0) (- (* (/ (cbrt z) 2.0) (/ (* (cbrt z) (cbrt z)) t))))
  (fma (- (/ (cbrt z) 2.0)) (/ (* (cbrt z) (cbrt z)) t) (* (/ (cbrt z) 2.0) (/ (* (cbrt z) (cbrt z)) t)))
  (fma (/ 1 t) (/ (+ x y) 2.0) (- (* (/ (sqrt z) 2.0) (/ (sqrt z) t))))
  (fma (- (/ (sqrt z) 2.0)) (/ (sqrt z) t) (* (/ (sqrt z) 2.0) (/ (sqrt z) t)))
  (fma (/ 1 t) (/ (+ x y) 2.0) (- (* (/ z 2.0) (/ 1 t))))
  (fma (- (/ z 2.0)) (/ 1 t) (* (/ z 2.0) (/ 1 t)))
  (fma (/ 1 t) (/ (+ x y) 2.0) (- (* (/ z (* t 2.0)) 1)))
  (fma (- (/ z (* t 2.0))) 1 (* (/ z (* t 2.0)) 1))
  (fma (/ 1 t) (/ (+ x y) 2.0) (- (* (/ 1 (* t 2.0)) z)))
  (fma (- (/ 1 (* t 2.0))) z (* (/ 1 (* t 2.0)) z))
  (fma (/ 1 t) (/ (+ x y) 2.0) (- (* (cbrt (/ z (* t 2.0))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0)))))))
  (fma (- (cbrt (/ z (* t 2.0)))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0)))) (* (cbrt (/ z (* t 2.0))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0))))))
  (fma (/ 1 t) (/ (+ x y) 2.0) (- (* (sqrt (/ z (* t 2.0))) (sqrt (/ z (* t 2.0))))))
  (fma (- (sqrt (/ z (* t 2.0)))) (sqrt (/ z (* t 2.0))) (* (sqrt (/ z (* t 2.0))) (sqrt (/ z (* t 2.0)))))
  (fma (/ 1 t) (/ (+ x y) 2.0) (- (* (/ (cbrt z) 2.0) (/ (* (cbrt z) (cbrt z)) t))))
  (fma (- (/ (cbrt z) 2.0)) (/ (* (cbrt z) (cbrt z)) t) (* (/ (cbrt z) 2.0) (/ (* (cbrt z) (cbrt z)) t)))
  (fma (/ 1 t) (/ (+ x y) 2.0) (- (* (/ (sqrt z) 2.0) (/ (sqrt z) t))))
  (fma (- (/ (sqrt z) 2.0)) (/ (sqrt z) t) (* (/ (sqrt z) 2.0) (/ (sqrt z) t)))
  (fma (/ 1 t) (/ (+ x y) 2.0) (- (* (/ z 2.0) (/ 1 t))))
  (fma (- (/ z 2.0)) (/ 1 t) (* (/ z 2.0) (/ 1 t)))
  (fma (/ 1 t) (/ (+ x y) 2.0) (- (* (/ z (* t 2.0)) 1)))
  (fma (- (/ z (* t 2.0))) 1 (* (/ z (* t 2.0)) 1))
  (fma (/ 1 t) (/ (+ x y) 2.0) (- (* (/ 1 (* t 2.0)) z)))
  (fma (- (/ 1 (* t 2.0))) z (* (/ 1 (* t 2.0)) z))
  (fma 1 (/ (+ x y) (* t 2.0)) (- (* (cbrt (/ z (* t 2.0))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0)))))))
  (fma (- (cbrt (/ z (* t 2.0)))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0)))) (* (cbrt (/ z (* t 2.0))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0))))))
  (fma 1 (/ (+ x y) (* t 2.0)) (- (* (sqrt (/ z (* t 2.0))) (sqrt (/ z (* t 2.0))))))
  (fma (- (sqrt (/ z (* t 2.0)))) (sqrt (/ z (* t 2.0))) (* (sqrt (/ z (* t 2.0))) (sqrt (/ z (* t 2.0)))))
  (fma 1 (/ (+ x y) (* t 2.0)) (- (* (/ (cbrt z) 2.0) (/ (* (cbrt z) (cbrt z)) t))))
  (fma (- (/ (cbrt z) 2.0)) (/ (* (cbrt z) (cbrt z)) t) (* (/ (cbrt z) 2.0) (/ (* (cbrt z) (cbrt z)) t)))
  (fma 1 (/ (+ x y) (* t 2.0)) (- (* (/ (sqrt z) 2.0) (/ (sqrt z) t))))
  (fma (- (/ (sqrt z) 2.0)) (/ (sqrt z) t) (* (/ (sqrt z) 2.0) (/ (sqrt z) t)))
  (fma 1 (/ (+ x y) (* t 2.0)) (- (* (/ z 2.0) (/ 1 t))))
  (fma (- (/ z 2.0)) (/ 1 t) (* (/ z 2.0) (/ 1 t)))
  (fma 1 (/ (+ x y) (* t 2.0)) (- (* (/ z (* t 2.0)) 1)))
  (fma (- (/ z (* t 2.0))) 1 (* (/ z (* t 2.0)) 1))
  (fma 1 (/ (+ x y) (* t 2.0)) (- (* (/ 1 (* t 2.0)) z)))
  (fma (- (/ 1 (* t 2.0))) z (* (/ 1 (* t 2.0)) z))
  (fma (+ x y) (/ 1 (* t 2.0)) (- (* (cbrt (/ z (* t 2.0))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0)))))))
  (fma (- (cbrt (/ z (* t 2.0)))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0)))) (* (cbrt (/ z (* t 2.0))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0))))))
  (fma (+ x y) (/ 1 (* t 2.0)) (- (* (sqrt (/ z (* t 2.0))) (sqrt (/ z (* t 2.0))))))
  (fma (- (sqrt (/ z (* t 2.0)))) (sqrt (/ z (* t 2.0))) (* (sqrt (/ z (* t 2.0))) (sqrt (/ z (* t 2.0)))))
  (fma (+ x y) (/ 1 (* t 2.0)) (- (* (/ (cbrt z) 2.0) (/ (* (cbrt z) (cbrt z)) t))))
  (fma (- (/ (cbrt z) 2.0)) (/ (* (cbrt z) (cbrt z)) t) (* (/ (cbrt z) 2.0) (/ (* (cbrt z) (cbrt z)) t)))
  (fma (+ x y) (/ 1 (* t 2.0)) (- (* (/ (sqrt z) 2.0) (/ (sqrt z) t))))
  (fma (- (/ (sqrt z) 2.0)) (/ (sqrt z) t) (* (/ (sqrt z) 2.0) (/ (sqrt z) t)))
  (fma (+ x y) (/ 1 (* t 2.0)) (- (* (/ z 2.0) (/ 1 t))))
  (fma (- (/ z 2.0)) (/ 1 t) (* (/ z 2.0) (/ 1 t)))
  (fma (+ x y) (/ 1 (* t 2.0)) (- (* (/ z (* t 2.0)) 1)))
  (fma (- (/ z (* t 2.0))) 1 (* (/ z (* t 2.0)) 1))
  (fma (+ x y) (/ 1 (* t 2.0)) (- (* (/ 1 (* t 2.0)) z)))
  (fma (- (/ 1 (* t 2.0))) z (* (/ 1 (* t 2.0)) z))
  (expm1 (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))
  (log1p (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))
  (- (/ z (* t 2.0)))
  (- (/ z (* t 2.0)))
  (- (/ z (* t 2.0)))
  (- (/ z (* t 2.0)))
  (- (/ z (* t 2.0)))
  (- (/ z (* t 2.0)))
  (- (/ z (* t 2.0)))
  (- (/ z (* t 2.0)))
  (/ (exp (/ (+ x y) (* t 2.0))) (exp (/ z (* t 2.0))))
  (log (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))
  (exp (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))
  (* (cbrt (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0)))) (cbrt (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0)))))
  (cbrt (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))
  (* (* (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))) (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0)))) (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))
  (sqrt (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))
  (sqrt (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))
  (- (+ x y) z)
  (- (* (+ x y) (* t 2.0)) (* (* t 2.0) z))
  (* (* t 2.0) (* t 2.0))
  (- (pow (/ (+ x y) (* t 2.0)) 3) (pow (/ z (* t 2.0)) 3))
  (+ (* (/ (+ x y) (* t 2.0)) (/ (+ x y) (* t 2.0))) (+ (* (/ z (* t 2.0)) (/ z (* t 2.0))) (* (/ (+ x y) (* t 2.0)) (/ z (* t 2.0)))))
  (- (/ z (* t 2.0)))
  (- (* (/ (+ x y) (* t 2.0)) (/ (+ x y) (* t 2.0))) (* (/ z (* t 2.0)) (/ z (* t 2.0))))
  (+ (/ (+ x y) (* t 2.0)) (/ z (* t 2.0)))
  (+ (sqrt (/ (+ x y) (* t 2.0))) (sqrt (/ z (* t 2.0))))
  (- (sqrt (/ (+ x y) (* t 2.0))) (sqrt (/ z (* t 2.0))))
  (- (/ (+ x y) 2.0) (/ z 2.0))
  (- (/ (+ x y) 2.0) (/ z 2.0))
  (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0)))
  (- (+ x y) z)
  (- (/ z (* t 2.0)))
  (expm1 (/ (+ x y) (* t 2.0)))
  (log1p (/ (+ x y) (* t 2.0)))
  (- (log (+ x y)) (+ (log t) (log 2.0)))
  (- (log (+ x y)) (log (* t 2.0)))
  (log (/ (+ x y) (* t 2.0)))
  (exp (/ (+ x y) (* t 2.0)))
  (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (* t t) t) (* (* 2.0 2.0) 2.0)))
  (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (* t 2.0) (* t 2.0)) (* t 2.0)))
  (* (cbrt (/ (+ x y) (* t 2.0))) (cbrt (/ (+ x y) (* t 2.0))))
  (cbrt (/ (+ x y) (* t 2.0)))
  (* (* (/ (+ x y) (* t 2.0)) (/ (+ x y) (* t 2.0))) (/ (+ x y) (* t 2.0)))
  (sqrt (/ (+ x y) (* t 2.0)))
  (sqrt (/ (+ x y) (* t 2.0)))
  (- (+ x y))
  (- (* t 2.0))
  (/ (* (cbrt (+ x y)) (cbrt (+ x y))) t)
  (/ (cbrt (+ x y)) 2.0)
  (/ (sqrt (+ x y)) t)
  (/ (sqrt (+ x y)) 2.0)
  (/ 1 t)
  (/ (+ x y) 2.0)
  (/ 1 t)
  (/ (+ x y) 2.0)
  (/ 1 (* t 2.0))
  (/ (* t 2.0) (+ x y))
  (/ (+ x y) t)
  (/ (* t 2.0) (cbrt (+ x y)))
  (/ (* t 2.0) (sqrt (+ x y)))
  (/ (* t 2.0) (+ x y))
  (/ (* t 2.0) (+ x y))
  (* (* t 2.0) (+ (* x x) (- (* y y) (* x y))))
  (* (* t 2.0) (- x y))
  (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t)))
  (- (+ (* 0.5 (/ x t)) (* 0.5 (/ y t))) (* 0.5 (/ z t)))
  (- (+ (* 0.5 (/ x t)) (* 0.5 (/ y t))) (* 0.5 (/ z t)))
  (+ (* 0.5 (/ y t)) (* 0.5 (/ x t)))
  (+ (* 0.5 (/ x t)) (* 0.5 (/ y t)))
  (+ (* 0.5 (/ x t)) (* 0.5 (/ y t)))
3.392 * * [simplify]: Extracting # 0 : cost  0
3.392 * * [simplify]: Extracting # 1 : cost  0
3.392 * * [simplify]: Extracting # 2 : cost  0
3.392 * * [simplify]: Extracting # 3 : cost  0
3.392 * * [simplify]: Extracting # 4 : cost  0
3.393 * * [simplify]: Extracting # 5 : cost  0
3.393 * * [simplify]: Extracting # 6 : cost  0
3.393 * * [simplify]: Extracting # 7 : cost  0
3.393 * * [simplify]: iteration  0 :  189  enodes  (cost  3481 )
3.434 * * [simplify]: Extracting # 0 : cost  0
3.436 * * [simplify]: Extracting # 1 : cost  0
3.437 * * [simplify]: Extracting # 2 : cost  0
3.438 * * [simplify]: Extracting # 3 : cost  0
3.439 * * [simplify]: Extracting # 4 : cost  0
3.440 * * [simplify]: iteration  1 :  476  enodes  (cost  2921 )
3.673 * * [simplify]: Extracting # 0 : cost  0
3.676 * * [simplify]: Extracting # 1 : cost  0
3.679 * * [simplify]: Extracting # 2 : cost  0
3.681 * * [simplify]: Extracting # 3 : cost  0
3.683 * * [simplify]: iteration  2 :  1365  enodes  (cost  2349 )
4.696 * * [simplify]: Extracting # 0 : cost  0
4.704 * * [simplify]: Extracting # 1 : cost  0
4.717 * * [simplify]: Extracting # 2 : cost  0
4.723 * * [simplify]: Extracting # 3 : cost  0
4.731 * * [simplify]: Extracting # 4 : cost  0
4.738 * * [simplify]: Extracting # 5 : cost  0
4.748 * * [simplify]: iteration done:  5000  enodes  (cost  1689 )
4.749 * [simplify]: Simplified to:
  (- (pow (cbrt (/ (+ x y) (* t 2.0))) 3) (/ (/ z 2.0) t))
  0
  (- (pow (cbrt (/ (+ x y) (* t 2.0))) 3) (/ (/ z 2.0) t))
  0
  (- (pow (cbrt (/ (+ x y) (* t 2.0))) 3) (/ (/ (pow (cbrt z) 3) 2.0) t))
  (* (/ (* (cbrt z) (cbrt z)) t) (+ (- (/ (cbrt z) 2.0)) (/ (cbrt z) 2.0)))
  (- (pow (cbrt (/ (+ x y) (* t 2.0))) 3) (/ (/ z 2.0) t))
  0
  (- (pow (cbrt (/ (+ x y) (* t 2.0))) 3) (/ (/ z 2.0) t))
  0
  (- (pow (cbrt (/ (+ x y) (* t 2.0))) 3) (/ (/ z 2.0) t))
  0
  (- (pow (cbrt (/ (+ x y) (* t 2.0))) 3) (/ (/ z 2.0) t))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (- (/ (/ (+ x y) 2.0) t) (/ (/ (pow (cbrt z) 3) 2.0) t))
  (* (/ (* (cbrt z) (cbrt z)) t) (+ (- (/ (cbrt z) 2.0)) (/ (cbrt z) 2.0)))
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (fma (/ (cbrt (+ x y)) 2.0) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) t) (- (/ z (* t 2.0))))
  0
  (fma (/ (cbrt (+ x y)) 2.0) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) t) (- (/ z (* t 2.0))))
  0
  (fma (/ (cbrt (+ x y)) 2.0) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) t) (/ (- (/ (pow (cbrt z) 3) 2.0)) t))
  (* (/ (* (cbrt z) (cbrt z)) t) (+ (- (/ (cbrt z) 2.0)) (/ (cbrt z) 2.0)))
  (fma (/ (cbrt (+ x y)) 2.0) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) t) (- (/ z (* t 2.0))))
  0
  (fma (/ (cbrt (+ x y)) 2.0) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) t) (- (/ z (* t 2.0))))
  0
  (fma (/ (cbrt (+ x y)) 2.0) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) t) (- (/ z (* t 2.0))))
  0
  (fma (/ (cbrt (+ x y)) 2.0) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) t) (- (/ z (* t 2.0))))
  0
  (- (* (/ (sqrt (+ x y)) t) (/ (sqrt (+ x y)) 2.0)) (/ (/ z 2.0) t))
  0
  (- (* (/ (sqrt (+ x y)) t) (/ (sqrt (+ x y)) 2.0)) (/ (/ z 2.0) t))
  0
  (- (* (/ (sqrt (+ x y)) t) (/ (sqrt (+ x y)) 2.0)) (/ (/ (pow (cbrt z) 3) 2.0) t))
  (* (/ (* (cbrt z) (cbrt z)) t) (+ (- (/ (cbrt z) 2.0)) (/ (cbrt z) 2.0)))
  (- (* (/ (sqrt (+ x y)) t) (/ (sqrt (+ x y)) 2.0)) (/ (/ z 2.0) t))
  0
  (- (* (/ (sqrt (+ x y)) t) (/ (sqrt (+ x y)) 2.0)) (/ (/ z 2.0) t))
  0
  (- (* (/ (sqrt (+ x y)) t) (/ (sqrt (+ x y)) 2.0)) (/ (/ z 2.0) t))
  0
  (- (* (/ (sqrt (+ x y)) t) (/ (sqrt (+ x y)) 2.0)) (/ (/ z 2.0) t))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (- (/ (/ (+ x y) 2.0) t) (/ (/ (pow (cbrt z) 3) 2.0) t))
  (* (/ (* (cbrt z) (cbrt z)) t) (+ (- (/ (cbrt z) 2.0)) (/ (cbrt z) 2.0)))
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (- (/ (/ (+ x y) 2.0) t) (/ (/ (pow (cbrt z) 3) 2.0) t))
  (* (/ (* (cbrt z) (cbrt z)) t) (+ (- (/ (cbrt z) 2.0)) (/ (cbrt z) 2.0)))
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (- (/ (/ (+ x y) 2.0) t) (/ (/ (pow (cbrt z) 3) 2.0) t))
  (* (/ (* (cbrt z) (cbrt z)) t) (+ (- (/ (cbrt z) 2.0)) (/ (cbrt z) 2.0)))
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (- (/ (/ (+ x y) 2.0) t) (/ (/ (pow (cbrt z) 3) 2.0) t))
  (* (/ (* (cbrt z) (cbrt z)) t) (+ (- (/ (cbrt z) 2.0)) (/ (cbrt z) 2.0)))
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (expm1 (* (/ 1 (* t 2.0)) (- (+ x y) z)))
  (log1p (* (/ 1 (* t 2.0)) (- (+ x y) z)))
  (/ (- (/ z t)) 2.0)
  (/ (- (/ z t)) 2.0)
  (/ (- (/ z t)) 2.0)
  (/ (- (/ z t)) 2.0)
  (/ (- (/ z t)) 2.0)
  (/ (- (/ z t)) 2.0)
  (/ (- (/ z t)) 2.0)
  (/ (- (/ z t)) 2.0)
  (exp (* (/ 1 (* t 2.0)) (- (+ x y) z)))
  (log (* (/ 1 (* t 2.0)) (- (+ x y) z)))
  (exp (* (/ 1 (* t 2.0)) (- (+ x y) z)))
  (* (cbrt (* (/ 1 (* t 2.0)) (- (+ x y) z))) (cbrt (* (/ 1 (* t 2.0)) (- (+ x y) z))))
  (cbrt (* (/ 1 (* t 2.0)) (- (+ x y) z)))
  (pow (* (/ 1 (* t 2.0)) (- (+ x y) z)) 3)
  (sqrt (* (/ 1 (* t 2.0)) (- (+ x y) z)))
  (sqrt (* (/ 1 (* t 2.0)) (- (+ x y) z)))
  (- (+ x y) z)
  (* (* t 2.0) (- (+ x y) z))
  (* (* t 2.0) (* t 2.0))
  (- (pow (/ (+ x y) (* t 2.0)) 3) (pow (/ z (* t 2.0)) 3))
  (fma (/ z (* 2.0 t)) (/ z (* 2.0 t)) (* (/ (/ (/ (+ x y) t) 2.0) t) (+ (/ z 2.0) (/ (+ x y) 2.0))))
  (/ (- (/ z t)) 2.0)
  (* (* (/ 1 (* t 2.0)) (- (+ x y) z)) (+ (/ (/ z 2.0) t) (/ (/ (+ x y) t) 2.0)))
  (+ (/ (/ z 2.0) t) (/ (/ (+ x y) t) 2.0))
  (+ (sqrt (/ (+ x y) (* t 2.0))) (sqrt (/ z (* t 2.0))))
  (- (sqrt (/ (+ x y) (* t 2.0))) (sqrt (/ z (* t 2.0))))
  (- (/ (+ x y) 2.0) (/ z 2.0))
  (- (/ (+ x y) 2.0) (/ z 2.0))
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  (- (+ x y) z)
  (/ (- (/ z t)) 2.0)
  (expm1 (/ (+ x y) (* t 2.0)))
  (log1p (/ (+ x y) (* t 2.0)))
  (log (/ (+ x y) (* t 2.0)))
  (log (/ (+ x y) (* t 2.0)))
  (log (/ (+ x y) (* t 2.0)))
  (exp (/ (+ x y) (* t 2.0)))
  (pow (/ (/ (+ x y) t) 2.0) 3)
  (pow (/ (/ (+ x y) t) 2.0) 3)
  (* (cbrt (/ (+ x y) (* t 2.0))) (cbrt (/ (+ x y) (* t 2.0))))
  (cbrt (/ (+ x y) (* t 2.0)))
  (pow (/ (/ (+ x y) t) 2.0) 3)
  (sqrt (/ (+ x y) (* t 2.0)))
  (sqrt (/ (+ x y) (* t 2.0)))
  (- (+ x y))
  (- (* t 2.0))
  (/ (* (cbrt (+ x y)) (cbrt (+ x y))) t)
  (/ (cbrt (+ x y)) 2.0)
  (/ (sqrt (+ x y)) t)
  (/ (sqrt (+ x y)) 2.0)
  (/ 1 t)
  (/ (+ x y) 2.0)
  (/ 1 t)
  (/ (+ x y) 2.0)
  (/ 1 (* t 2.0))
  (/ (* t 2.0) (+ x y))
  (/ (+ x y) t)
  (/ (* t 2.0) (cbrt (+ x y)))
  (/ (* t 2.0) (sqrt (+ x y)))
  (/ (* t 2.0) (+ x y))
  (/ (* t 2.0) (+ x y))
  (* (* t 2.0) (fma x x (* y (- y x))))
  (* (* t 2.0) (- x y))
  (* 0.5 (- (+ (/ x t) (/ y t)) (/ z t)))
  (* 0.5 (- (+ (/ x t) (/ y t)) (/ z t)))
  (* 0.5 (- (+ (/ x t) (/ y t)) (/ z t)))
  (* 0.5 (+ (/ y t) (/ x t)))
  (* 0.5 (+ (/ y t) (/ x t)))
  (* 0.5 (+ (/ y t) (/ x t)))
4.751 * * * [progress]: adding candidates to table
5.011 * * [progress]: iteration 3 / 4
5.011 * * * [progress]: picking best candidate
5.014 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (/ 1 (* t 2.0)) (- (+ x y) z)))>
5.014 * * * [progress]: localizing error
5.033 * * * [progress]: generating rewritten candidates
5.033 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
5.246 * * * [progress]: generating series expansions
5.246 * * * * [progress]: [ 1 / 1 ] generating series at (2)
5.246 * [backup-simplify]: Simplify (* (/ 1 (* t 2.0)) (- (+ x y) z)) into (* 0.5 (/ (- (+ x y) z) t))
5.246 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in (t x y z) around 0
5.246 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in z
5.246 * [taylor]: Taking taylor expansion of 0.5 in z
5.246 * [backup-simplify]: Simplify 0.5 into 0.5
5.246 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in z
5.246 * [taylor]: Taking taylor expansion of (- (+ x y) z) in z
5.246 * [taylor]: Taking taylor expansion of (+ x y) in z
5.246 * [taylor]: Taking taylor expansion of x in z
5.246 * [backup-simplify]: Simplify x into x
5.246 * [taylor]: Taking taylor expansion of y in z
5.246 * [backup-simplify]: Simplify y into y
5.246 * [taylor]: Taking taylor expansion of z in z
5.246 * [backup-simplify]: Simplify 0 into 0
5.246 * [backup-simplify]: Simplify 1 into 1
5.246 * [taylor]: Taking taylor expansion of t in z
5.246 * [backup-simplify]: Simplify t into t
5.247 * [backup-simplify]: Simplify (+ x y) into (+ x y)
5.247 * [backup-simplify]: Simplify (- 0) into 0
5.247 * [backup-simplify]: Simplify (+ (+ x y) 0) into (+ x y)
5.247 * [backup-simplify]: Simplify (/ (+ x y) t) into (/ (+ x y) t)
5.247 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in y
5.247 * [taylor]: Taking taylor expansion of 0.5 in y
5.247 * [backup-simplify]: Simplify 0.5 into 0.5
5.247 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in y
5.247 * [taylor]: Taking taylor expansion of (- (+ x y) z) in y
5.247 * [taylor]: Taking taylor expansion of (+ x y) in y
5.247 * [taylor]: Taking taylor expansion of x in y
5.247 * [backup-simplify]: Simplify x into x
5.247 * [taylor]: Taking taylor expansion of y in y
5.247 * [backup-simplify]: Simplify 0 into 0
5.247 * [backup-simplify]: Simplify 1 into 1
5.247 * [taylor]: Taking taylor expansion of z in y
5.247 * [backup-simplify]: Simplify z into z
5.247 * [taylor]: Taking taylor expansion of t in y
5.247 * [backup-simplify]: Simplify t into t
5.247 * [backup-simplify]: Simplify (+ x 0) into x
5.247 * [backup-simplify]: Simplify (- z) into (- z)
5.248 * [backup-simplify]: Simplify (+ x (- z)) into (- x z)
5.248 * [backup-simplify]: Simplify (/ (- x z) t) into (/ (- x z) t)
5.248 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in x
5.248 * [taylor]: Taking taylor expansion of 0.5 in x
5.248 * [backup-simplify]: Simplify 0.5 into 0.5
5.248 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in x
5.248 * [taylor]: Taking taylor expansion of (- (+ x y) z) in x
5.248 * [taylor]: Taking taylor expansion of (+ x y) in x
5.248 * [taylor]: Taking taylor expansion of x in x
5.248 * [backup-simplify]: Simplify 0 into 0
5.248 * [backup-simplify]: Simplify 1 into 1
5.248 * [taylor]: Taking taylor expansion of y in x
5.248 * [backup-simplify]: Simplify y into y
5.248 * [taylor]: Taking taylor expansion of z in x
5.248 * [backup-simplify]: Simplify z into z
5.248 * [taylor]: Taking taylor expansion of t in x
5.248 * [backup-simplify]: Simplify t into t
5.248 * [backup-simplify]: Simplify (+ 0 y) into y
5.248 * [backup-simplify]: Simplify (- z) into (- z)
5.248 * [backup-simplify]: Simplify (+ y (- z)) into (- y z)
5.248 * [backup-simplify]: Simplify (/ (- y z) t) into (/ (- y z) t)
5.248 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in t
5.248 * [taylor]: Taking taylor expansion of 0.5 in t
5.248 * [backup-simplify]: Simplify 0.5 into 0.5
5.248 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in t
5.248 * [taylor]: Taking taylor expansion of (- (+ x y) z) in t
5.248 * [taylor]: Taking taylor expansion of (+ x y) in t
5.248 * [taylor]: Taking taylor expansion of x in t
5.248 * [backup-simplify]: Simplify x into x
5.248 * [taylor]: Taking taylor expansion of y in t
5.248 * [backup-simplify]: Simplify y into y
5.248 * [taylor]: Taking taylor expansion of z in t
5.248 * [backup-simplify]: Simplify z into z
5.248 * [taylor]: Taking taylor expansion of t in t
5.248 * [backup-simplify]: Simplify 0 into 0
5.248 * [backup-simplify]: Simplify 1 into 1
5.248 * [backup-simplify]: Simplify (+ x y) into (+ x y)
5.248 * [backup-simplify]: Simplify (- z) into (- z)
5.248 * [backup-simplify]: Simplify (+ (+ x y) (- z)) into (- (+ x y) z)
5.248 * [backup-simplify]: Simplify (/ (- (+ x y) z) 1) into (- (+ x y) z)
5.248 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in t
5.248 * [taylor]: Taking taylor expansion of 0.5 in t
5.248 * [backup-simplify]: Simplify 0.5 into 0.5
5.248 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in t
5.248 * [taylor]: Taking taylor expansion of (- (+ x y) z) in t
5.248 * [taylor]: Taking taylor expansion of (+ x y) in t
5.248 * [taylor]: Taking taylor expansion of x in t
5.248 * [backup-simplify]: Simplify x into x
5.248 * [taylor]: Taking taylor expansion of y in t
5.248 * [backup-simplify]: Simplify y into y
5.248 * [taylor]: Taking taylor expansion of z in t
5.249 * [backup-simplify]: Simplify z into z
5.249 * [taylor]: Taking taylor expansion of t in t
5.249 * [backup-simplify]: Simplify 0 into 0
5.249 * [backup-simplify]: Simplify 1 into 1
5.249 * [backup-simplify]: Simplify (+ x y) into (+ x y)
5.249 * [backup-simplify]: Simplify (- z) into (- z)
5.249 * [backup-simplify]: Simplify (+ (+ x y) (- z)) into (- (+ x y) z)
5.249 * [backup-simplify]: Simplify (/ (- (+ x y) z) 1) into (- (+ x y) z)
5.249 * [backup-simplify]: Simplify (* 0.5 (- (+ x y) z)) into (* 0.5 (- (+ x y) z))
5.249 * [taylor]: Taking taylor expansion of (* 0.5 (- (+ x y) z)) in x
5.249 * [taylor]: Taking taylor expansion of 0.5 in x
5.249 * [backup-simplify]: Simplify 0.5 into 0.5
5.249 * [taylor]: Taking taylor expansion of (- (+ x y) z) in x
5.249 * [taylor]: Taking taylor expansion of (+ x y) in x
5.249 * [taylor]: Taking taylor expansion of x in x
5.249 * [backup-simplify]: Simplify 0 into 0
5.249 * [backup-simplify]: Simplify 1 into 1
5.249 * [taylor]: Taking taylor expansion of y in x
5.249 * [backup-simplify]: Simplify y into y
5.249 * [taylor]: Taking taylor expansion of z in x
5.249 * [backup-simplify]: Simplify z into z
5.249 * [backup-simplify]: Simplify (+ 0 y) into y
5.249 * [backup-simplify]: Simplify (- z) into (- z)
5.249 * [backup-simplify]: Simplify (+ y (- z)) into (- y z)
5.249 * [backup-simplify]: Simplify (* 0.5 (- y z)) into (* 0.5 (- y z))
5.249 * [taylor]: Taking taylor expansion of (* 0.5 (- y z)) in y
5.249 * [taylor]: Taking taylor expansion of 0.5 in y
5.249 * [backup-simplify]: Simplify 0.5 into 0.5
5.249 * [taylor]: Taking taylor expansion of (- y z) in y
5.249 * [taylor]: Taking taylor expansion of y in y
5.249 * [backup-simplify]: Simplify 0 into 0
5.249 * [backup-simplify]: Simplify 1 into 1
5.249 * [taylor]: Taking taylor expansion of z in y
5.249 * [backup-simplify]: Simplify z into z
5.249 * [backup-simplify]: Simplify (- z) into (- z)
5.249 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
5.249 * [backup-simplify]: Simplify (* 0.5 (- z)) into (* -0.5 z)
5.249 * [taylor]: Taking taylor expansion of (* -0.5 z) in z
5.249 * [taylor]: Taking taylor expansion of -0.5 in z
5.249 * [backup-simplify]: Simplify -0.5 into -0.5
5.249 * [taylor]: Taking taylor expansion of z in z
5.250 * [backup-simplify]: Simplify 0 into 0
5.250 * [backup-simplify]: Simplify 1 into 1
5.250 * [backup-simplify]: Simplify (* -0.5 0) into 0
5.250 * [backup-simplify]: Simplify 0 into 0
5.250 * [backup-simplify]: Simplify (+ 0 0) into 0
5.251 * [backup-simplify]: Simplify (- 0) into 0
5.251 * [backup-simplify]: Simplify (+ 0 0) into 0
5.252 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (+ x y) z) (/ 0 1)))) into 0
5.253 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (- (+ x y) z))) into 0
5.253 * [taylor]: Taking taylor expansion of 0 in x
5.253 * [backup-simplify]: Simplify 0 into 0
5.253 * [taylor]: Taking taylor expansion of 0 in y
5.253 * [backup-simplify]: Simplify 0 into 0
5.253 * [taylor]: Taking taylor expansion of 0 in z
5.253 * [backup-simplify]: Simplify 0 into 0
5.253 * [backup-simplify]: Simplify 0 into 0
5.253 * [backup-simplify]: Simplify (+ 1 0) into 1
5.254 * [backup-simplify]: Simplify (- 0) into 0
5.254 * [backup-simplify]: Simplify (+ 1 0) into 1
5.254 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 (- y z))) into 0.5
5.254 * [taylor]: Taking taylor expansion of 0.5 in y
5.255 * [backup-simplify]: Simplify 0.5 into 0.5
5.255 * [taylor]: Taking taylor expansion of 0.5 in z
5.255 * [backup-simplify]: Simplify 0.5 into 0.5
5.255 * [backup-simplify]: Simplify 0.5 into 0.5
5.255 * [backup-simplify]: Simplify (- 0) into 0
5.255 * [backup-simplify]: Simplify (+ 1 0) into 1
5.256 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 (- z))) into 0.5
5.256 * [taylor]: Taking taylor expansion of 0.5 in z
5.256 * [backup-simplify]: Simplify 0.5 into 0.5
5.256 * [backup-simplify]: Simplify 0.5 into 0.5
5.257 * [backup-simplify]: Simplify (+ (* -0.5 1) (* 0 0)) into (- 0.5)
5.258 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
5.259 * [backup-simplify]: Simplify (+ (* (- 0.5) (* z (* 1 (* 1 (/ 1 t))))) (+ (* 0.5 (* 1 (* y (* 1 (/ 1 t))))) (* 0.5 (* 1 (* 1 (* x (/ 1 t))))))) into (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t)))
5.259 * [backup-simplify]: Simplify (* (/ 1 (* (/ 1 t) 2.0)) (- (+ (/ 1 x) (/ 1 y)) (/ 1 z))) into (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))))
5.259 * [approximate]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in (t x y z) around 0
5.259 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in z
5.259 * [taylor]: Taking taylor expansion of 0.5 in z
5.259 * [backup-simplify]: Simplify 0.5 into 0.5
5.259 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in z
5.259 * [taylor]: Taking taylor expansion of t in z
5.259 * [backup-simplify]: Simplify t into t
5.259 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in z
5.259 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
5.259 * [taylor]: Taking taylor expansion of (/ 1 y) in z
5.259 * [taylor]: Taking taylor expansion of y in z
5.259 * [backup-simplify]: Simplify y into y
5.260 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.260 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.260 * [taylor]: Taking taylor expansion of x in z
5.260 * [backup-simplify]: Simplify x into x
5.260 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.260 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.260 * [taylor]: Taking taylor expansion of z in z
5.260 * [backup-simplify]: Simplify 0 into 0
5.260 * [backup-simplify]: Simplify 1 into 1
5.260 * [backup-simplify]: Simplify (/ 1 1) into 1
5.260 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in y
5.260 * [taylor]: Taking taylor expansion of 0.5 in y
5.260 * [backup-simplify]: Simplify 0.5 into 0.5
5.260 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in y
5.260 * [taylor]: Taking taylor expansion of t in y
5.260 * [backup-simplify]: Simplify t into t
5.260 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in y
5.260 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
5.260 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.260 * [taylor]: Taking taylor expansion of y in y
5.260 * [backup-simplify]: Simplify 0 into 0
5.260 * [backup-simplify]: Simplify 1 into 1
5.261 * [backup-simplify]: Simplify (/ 1 1) into 1
5.261 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.261 * [taylor]: Taking taylor expansion of x in y
5.261 * [backup-simplify]: Simplify x into x
5.261 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.261 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.261 * [taylor]: Taking taylor expansion of z in y
5.261 * [backup-simplify]: Simplify z into z
5.261 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.261 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in x
5.261 * [taylor]: Taking taylor expansion of 0.5 in x
5.261 * [backup-simplify]: Simplify 0.5 into 0.5
5.261 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in x
5.261 * [taylor]: Taking taylor expansion of t in x
5.261 * [backup-simplify]: Simplify t into t
5.261 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in x
5.261 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
5.261 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.261 * [taylor]: Taking taylor expansion of y in x
5.261 * [backup-simplify]: Simplify y into y
5.262 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.262 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.262 * [taylor]: Taking taylor expansion of x in x
5.262 * [backup-simplify]: Simplify 0 into 0
5.262 * [backup-simplify]: Simplify 1 into 1
5.262 * [backup-simplify]: Simplify (/ 1 1) into 1
5.262 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.262 * [taylor]: Taking taylor expansion of z in x
5.262 * [backup-simplify]: Simplify z into z
5.262 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.262 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in t
5.262 * [taylor]: Taking taylor expansion of 0.5 in t
5.262 * [backup-simplify]: Simplify 0.5 into 0.5
5.262 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in t
5.262 * [taylor]: Taking taylor expansion of t in t
5.262 * [backup-simplify]: Simplify 0 into 0
5.262 * [backup-simplify]: Simplify 1 into 1
5.262 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in t
5.262 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
5.262 * [taylor]: Taking taylor expansion of (/ 1 y) in t
5.262 * [taylor]: Taking taylor expansion of y in t
5.263 * [backup-simplify]: Simplify y into y
5.263 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.263 * [taylor]: Taking taylor expansion of (/ 1 x) in t
5.263 * [taylor]: Taking taylor expansion of x in t
5.263 * [backup-simplify]: Simplify x into x
5.263 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.263 * [taylor]: Taking taylor expansion of (/ 1 z) in t
5.263 * [taylor]: Taking taylor expansion of z in t
5.263 * [backup-simplify]: Simplify z into z
5.263 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.263 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in t
5.263 * [taylor]: Taking taylor expansion of 0.5 in t
5.263 * [backup-simplify]: Simplify 0.5 into 0.5
5.263 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in t
5.263 * [taylor]: Taking taylor expansion of t in t
5.263 * [backup-simplify]: Simplify 0 into 0
5.263 * [backup-simplify]: Simplify 1 into 1
5.263 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in t
5.263 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
5.263 * [taylor]: Taking taylor expansion of (/ 1 y) in t
5.263 * [taylor]: Taking taylor expansion of y in t
5.263 * [backup-simplify]: Simplify y into y
5.263 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.263 * [taylor]: Taking taylor expansion of (/ 1 x) in t
5.263 * [taylor]: Taking taylor expansion of x in t
5.263 * [backup-simplify]: Simplify x into x
5.263 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.263 * [taylor]: Taking taylor expansion of (/ 1 z) in t
5.263 * [taylor]: Taking taylor expansion of z in t
5.263 * [backup-simplify]: Simplify z into z
5.264 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.264 * [backup-simplify]: Simplify (+ (/ 1 y) (/ 1 x)) into (+ (/ 1 y) (/ 1 x))
5.264 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
5.264 * [backup-simplify]: Simplify (+ (+ (/ 1 y) (/ 1 x)) (- (/ 1 z))) into (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))
5.264 * [backup-simplify]: Simplify (* 0 (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) into 0
5.265 * [backup-simplify]: Simplify (* 0.5 0) into 0
5.265 * [taylor]: Taking taylor expansion of 0 in x
5.265 * [backup-simplify]: Simplify 0 into 0
5.265 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.265 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
5.265 * [backup-simplify]: Simplify (+ 0 0) into 0
5.265 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
5.266 * [backup-simplify]: Simplify (- 0) into 0
5.266 * [backup-simplify]: Simplify (+ 0 0) into 0
5.267 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) into (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))
5.267 * [backup-simplify]: Simplify (+ (* 0.5 (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) (* 0 0)) into (- (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) (* 0.5 (/ 1 z)))
5.267 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) (* 0.5 (/ 1 z))) in x
5.268 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in x
5.268 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
5.268 * [taylor]: Taking taylor expansion of 0.5 in x
5.268 * [backup-simplify]: Simplify 0.5 into 0.5
5.268 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.268 * [taylor]: Taking taylor expansion of y in x
5.268 * [backup-simplify]: Simplify y into y
5.268 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.268 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
5.268 * [taylor]: Taking taylor expansion of 0.5 in x
5.268 * [backup-simplify]: Simplify 0.5 into 0.5
5.268 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.268 * [taylor]: Taking taylor expansion of x in x
5.268 * [backup-simplify]: Simplify 0 into 0
5.268 * [backup-simplify]: Simplify 1 into 1
5.268 * [backup-simplify]: Simplify (/ 1 1) into 1
5.268 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x
5.268 * [taylor]: Taking taylor expansion of 0.5 in x
5.268 * [backup-simplify]: Simplify 0.5 into 0.5
5.268 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.268 * [taylor]: Taking taylor expansion of z in x
5.268 * [backup-simplify]: Simplify z into z
5.269 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.269 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
5.269 * [backup-simplify]: Simplify (+ 0 0.5) into 0.5
5.270 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5
5.270 * [taylor]: Taking taylor expansion of 0.5 in y
5.270 * [backup-simplify]: Simplify 0.5 into 0.5
5.270 * [taylor]: Taking taylor expansion of 0 in y
5.270 * [backup-simplify]: Simplify 0 into 0
5.270 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.270 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.271 * [backup-simplify]: Simplify (+ 0 0) into 0
5.271 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.275 * [backup-simplify]: Simplify (- 0) into 0
5.276 * [backup-simplify]: Simplify (+ 0 0) into 0
5.277 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))))) into 0
5.278 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) (* 0 0))) into 0
5.278 * [taylor]: Taking taylor expansion of 0 in x
5.278 * [backup-simplify]: Simplify 0 into 0
5.278 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
5.279 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.280 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
5.280 * [backup-simplify]: Simplify (+ (/ 0.5 y) 0) into (* 0.5 (/ 1 y))
5.280 * [backup-simplify]: Simplify (* 0.5 (/ 1 z)) into (/ 0.5 z)
5.280 * [backup-simplify]: Simplify (- (/ 0.5 z)) into (- (* 0.5 (/ 1 z)))
5.280 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 y)) (- (* 0.5 (/ 1 z)))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 z)))
5.280 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 z))) in y
5.280 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
5.280 * [taylor]: Taking taylor expansion of 0.5 in y
5.280 * [backup-simplify]: Simplify 0.5 into 0.5
5.280 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.280 * [taylor]: Taking taylor expansion of y in y
5.280 * [backup-simplify]: Simplify 0 into 0
5.280 * [backup-simplify]: Simplify 1 into 1
5.281 * [backup-simplify]: Simplify (/ 1 1) into 1
5.281 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in y
5.281 * [taylor]: Taking taylor expansion of 0.5 in y
5.281 * [backup-simplify]: Simplify 0.5 into 0.5
5.281 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.281 * [taylor]: Taking taylor expansion of z in y
5.281 * [backup-simplify]: Simplify z into z
5.281 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.281 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
5.282 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5
5.282 * [taylor]: Taking taylor expansion of 0.5 in z
5.282 * [backup-simplify]: Simplify 0.5 into 0.5
5.282 * [taylor]: Taking taylor expansion of 0 in y
5.282 * [backup-simplify]: Simplify 0 into 0
5.282 * [taylor]: Taking taylor expansion of 0.5 in z
5.282 * [backup-simplify]: Simplify 0.5 into 0.5
5.282 * [taylor]: Taking taylor expansion of 0 in z
5.282 * [backup-simplify]: Simplify 0 into 0
5.282 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.283 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.283 * [backup-simplify]: Simplify (+ 0 0) into 0
5.283 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.284 * [backup-simplify]: Simplify (- 0) into 0
5.284 * [backup-simplify]: Simplify (+ 0 0) into 0
5.285 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))))) into 0
5.287 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) (* 0 0)))) into 0
5.287 * [taylor]: Taking taylor expansion of 0 in x
5.287 * [backup-simplify]: Simplify 0 into 0
5.287 * [taylor]: Taking taylor expansion of 0 in y
5.287 * [backup-simplify]: Simplify 0 into 0
5.287 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.287 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0
5.288 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.289 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
5.290 * [backup-simplify]: Simplify (+ 0 0) into 0
5.290 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
5.290 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 z))) into 0
5.291 * [backup-simplify]: Simplify (- 0) into 0
5.291 * [backup-simplify]: Simplify (+ 0 0) into 0
5.291 * [taylor]: Taking taylor expansion of 0 in y
5.291 * [backup-simplify]: Simplify 0 into 0
5.291 * [taylor]: Taking taylor expansion of 0 in y
5.291 * [backup-simplify]: Simplify 0 into 0
5.292 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.292 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
5.292 * [backup-simplify]: Simplify (* 0.5 (/ 1 z)) into (/ 0.5 z)
5.293 * [backup-simplify]: Simplify (- (/ 0.5 z)) into (- (* 0.5 (/ 1 z)))
5.293 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ 1 z)))) into (- (* 0.5 (/ 1 z)))
5.293 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 z))) in z
5.293 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
5.293 * [taylor]: Taking taylor expansion of 0.5 in z
5.293 * [backup-simplify]: Simplify 0.5 into 0.5
5.293 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.293 * [taylor]: Taking taylor expansion of z in z
5.293 * [backup-simplify]: Simplify 0 into 0
5.293 * [backup-simplify]: Simplify 1 into 1
5.293 * [backup-simplify]: Simplify (/ 1 1) into 1
5.294 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
5.294 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
5.294 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
5.295 * [taylor]: Taking taylor expansion of 0 in z
5.295 * [backup-simplify]: Simplify 0 into 0
5.295 * [taylor]: Taking taylor expansion of 0 in z
5.295 * [backup-simplify]: Simplify 0 into 0
5.295 * [taylor]: Taking taylor expansion of 0 in z
5.295 * [backup-simplify]: Simplify 0 into 0
5.295 * [backup-simplify]: Simplify 0.5 into 0.5
5.295 * [backup-simplify]: Simplify 0.5 into 0.5
5.296 * [backup-simplify]: Simplify (+ (* 0.5 (* 1 (* 1 (* (/ 1 (/ 1 x)) (/ 1 t))))) (+ (* 0.5 (* 1 (* (/ 1 (/ 1 y)) (* 1 (/ 1 t))))) (* (- 0.5) (* (/ 1 (/ 1 z)) (* 1 (* 1 (/ 1 t))))))) into (- (+ (* 0.5 (/ x t)) (* 0.5 (/ y t))) (* 0.5 (/ z t)))
5.296 * [backup-simplify]: Simplify (* (/ 1 (* (/ 1 (- t)) 2.0)) (- (+ (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z)))) into (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))))
5.296 * [approximate]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in (t x y z) around 0
5.296 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in z
5.296 * [taylor]: Taking taylor expansion of -0.5 in z
5.296 * [backup-simplify]: Simplify -0.5 into -0.5
5.296 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in z
5.296 * [taylor]: Taking taylor expansion of t in z
5.297 * [backup-simplify]: Simplify t into t
5.297 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in z
5.297 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.297 * [taylor]: Taking taylor expansion of z in z
5.297 * [backup-simplify]: Simplify 0 into 0
5.297 * [backup-simplify]: Simplify 1 into 1
5.297 * [backup-simplify]: Simplify (/ 1 1) into 1
5.297 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
5.297 * [taylor]: Taking taylor expansion of (/ 1 y) in z
5.297 * [taylor]: Taking taylor expansion of y in z
5.297 * [backup-simplify]: Simplify y into y
5.297 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.297 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.297 * [taylor]: Taking taylor expansion of x in z
5.297 * [backup-simplify]: Simplify x into x
5.297 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.297 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in y
5.297 * [taylor]: Taking taylor expansion of -0.5 in y
5.297 * [backup-simplify]: Simplify -0.5 into -0.5
5.297 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in y
5.297 * [taylor]: Taking taylor expansion of t in y
5.297 * [backup-simplify]: Simplify t into t
5.297 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in y
5.297 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.298 * [taylor]: Taking taylor expansion of z in y
5.298 * [backup-simplify]: Simplify z into z
5.298 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.298 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
5.298 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.298 * [taylor]: Taking taylor expansion of y in y
5.298 * [backup-simplify]: Simplify 0 into 0
5.298 * [backup-simplify]: Simplify 1 into 1
5.298 * [backup-simplify]: Simplify (/ 1 1) into 1
5.298 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.298 * [taylor]: Taking taylor expansion of x in y
5.298 * [backup-simplify]: Simplify x into x
5.298 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.298 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in x
5.298 * [taylor]: Taking taylor expansion of -0.5 in x
5.298 * [backup-simplify]: Simplify -0.5 into -0.5
5.298 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x
5.298 * [taylor]: Taking taylor expansion of t in x
5.298 * [backup-simplify]: Simplify t into t
5.298 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
5.298 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.298 * [taylor]: Taking taylor expansion of z in x
5.298 * [backup-simplify]: Simplify z into z
5.298 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.298 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
5.298 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.298 * [taylor]: Taking taylor expansion of y in x
5.298 * [backup-simplify]: Simplify y into y
5.298 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.298 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.298 * [taylor]: Taking taylor expansion of x in x
5.298 * [backup-simplify]: Simplify 0 into 0
5.298 * [backup-simplify]: Simplify 1 into 1
5.299 * [backup-simplify]: Simplify (/ 1 1) into 1
5.299 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in t
5.299 * [taylor]: Taking taylor expansion of -0.5 in t
5.299 * [backup-simplify]: Simplify -0.5 into -0.5
5.299 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in t
5.299 * [taylor]: Taking taylor expansion of t in t
5.299 * [backup-simplify]: Simplify 0 into 0
5.299 * [backup-simplify]: Simplify 1 into 1
5.299 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in t
5.299 * [taylor]: Taking taylor expansion of (/ 1 z) in t
5.299 * [taylor]: Taking taylor expansion of z in t
5.299 * [backup-simplify]: Simplify z into z
5.299 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.299 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
5.299 * [taylor]: Taking taylor expansion of (/ 1 y) in t
5.299 * [taylor]: Taking taylor expansion of y in t
5.299 * [backup-simplify]: Simplify y into y
5.299 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.299 * [taylor]: Taking taylor expansion of (/ 1 x) in t
5.299 * [taylor]: Taking taylor expansion of x in t
5.299 * [backup-simplify]: Simplify x into x
5.299 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.299 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in t
5.299 * [taylor]: Taking taylor expansion of -0.5 in t
5.299 * [backup-simplify]: Simplify -0.5 into -0.5
5.299 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in t
5.299 * [taylor]: Taking taylor expansion of t in t
5.299 * [backup-simplify]: Simplify 0 into 0
5.299 * [backup-simplify]: Simplify 1 into 1
5.299 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in t
5.299 * [taylor]: Taking taylor expansion of (/ 1 z) in t
5.299 * [taylor]: Taking taylor expansion of z in t
5.299 * [backup-simplify]: Simplify z into z
5.299 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.299 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
5.299 * [taylor]: Taking taylor expansion of (/ 1 y) in t
5.299 * [taylor]: Taking taylor expansion of y in t
5.299 * [backup-simplify]: Simplify y into y
5.299 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.299 * [taylor]: Taking taylor expansion of (/ 1 x) in t
5.299 * [taylor]: Taking taylor expansion of x in t
5.299 * [backup-simplify]: Simplify x into x
5.299 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.299 * [backup-simplify]: Simplify (+ (/ 1 y) (/ 1 x)) into (+ (/ 1 y) (/ 1 x))
5.300 * [backup-simplify]: Simplify (- (+ (/ 1 y) (/ 1 x))) into (- (+ (/ 1 y) (/ 1 x)))
5.300 * [backup-simplify]: Simplify (+ (/ 1 z) (- (+ (/ 1 y) (/ 1 x)))) into (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))
5.300 * [backup-simplify]: Simplify (* 0 (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) into 0
5.300 * [backup-simplify]: Simplify (* -0.5 0) into 0
5.300 * [taylor]: Taking taylor expansion of 0 in x
5.300 * [backup-simplify]: Simplify 0 into 0
5.300 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
5.300 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.300 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
5.301 * [backup-simplify]: Simplify (+ 0 0) into 0
5.301 * [backup-simplify]: Simplify (- 0) into 0
5.301 * [backup-simplify]: Simplify (+ 0 0) into 0
5.301 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) into (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))
5.302 * [backup-simplify]: Simplify (+ (* -0.5 (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) (* 0 0)) into (- (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) (* 0.5 (/ 1 z)))
5.302 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) (* 0.5 (/ 1 z))) in x
5.302 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in x
5.302 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
5.302 * [taylor]: Taking taylor expansion of 0.5 in x
5.302 * [backup-simplify]: Simplify 0.5 into 0.5
5.302 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.302 * [taylor]: Taking taylor expansion of y in x
5.302 * [backup-simplify]: Simplify y into y
5.302 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.302 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
5.302 * [taylor]: Taking taylor expansion of 0.5 in x
5.302 * [backup-simplify]: Simplify 0.5 into 0.5
5.302 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.302 * [taylor]: Taking taylor expansion of x in x
5.302 * [backup-simplify]: Simplify 0 into 0
5.302 * [backup-simplify]: Simplify 1 into 1
5.303 * [backup-simplify]: Simplify (/ 1 1) into 1
5.303 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x
5.303 * [taylor]: Taking taylor expansion of 0.5 in x
5.303 * [backup-simplify]: Simplify 0.5 into 0.5
5.303 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.303 * [taylor]: Taking taylor expansion of z in x
5.303 * [backup-simplify]: Simplify z into z
5.303 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.303 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
5.304 * [backup-simplify]: Simplify (+ 0 0.5) into 0.5
5.304 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5
5.304 * [taylor]: Taking taylor expansion of 0.5 in y
5.304 * [backup-simplify]: Simplify 0.5 into 0.5
5.304 * [taylor]: Taking taylor expansion of 0 in y
5.304 * [backup-simplify]: Simplify 0 into 0
5.304 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.304 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.305 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.305 * [backup-simplify]: Simplify (+ 0 0) into 0
5.305 * [backup-simplify]: Simplify (- 0) into 0
5.306 * [backup-simplify]: Simplify (+ 0 0) into 0
5.306 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))))) into 0
5.307 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) (* 0 0))) into 0
5.307 * [taylor]: Taking taylor expansion of 0 in x
5.307 * [backup-simplify]: Simplify 0 into 0
5.307 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
5.308 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.309 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
5.309 * [backup-simplify]: Simplify (+ (/ 0.5 y) 0) into (* 0.5 (/ 1 y))
5.309 * [backup-simplify]: Simplify (* 0.5 (/ 1 z)) into (/ 0.5 z)
5.309 * [backup-simplify]: Simplify (- (/ 0.5 z)) into (- (* 0.5 (/ 1 z)))
5.309 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 y)) (- (* 0.5 (/ 1 z)))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 z)))
5.309 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 z))) in y
5.309 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
5.309 * [taylor]: Taking taylor expansion of 0.5 in y
5.309 * [backup-simplify]: Simplify 0.5 into 0.5
5.309 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.309 * [taylor]: Taking taylor expansion of y in y
5.309 * [backup-simplify]: Simplify 0 into 0
5.309 * [backup-simplify]: Simplify 1 into 1
5.310 * [backup-simplify]: Simplify (/ 1 1) into 1
5.310 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in y
5.310 * [taylor]: Taking taylor expansion of 0.5 in y
5.310 * [backup-simplify]: Simplify 0.5 into 0.5
5.310 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.310 * [taylor]: Taking taylor expansion of z in y
5.310 * [backup-simplify]: Simplify z into z
5.310 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.310 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
5.311 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5
5.311 * [taylor]: Taking taylor expansion of 0.5 in z
5.311 * [backup-simplify]: Simplify 0.5 into 0.5
5.311 * [taylor]: Taking taylor expansion of 0 in y
5.311 * [backup-simplify]: Simplify 0 into 0
5.311 * [taylor]: Taking taylor expansion of 0.5 in z
5.311 * [backup-simplify]: Simplify 0.5 into 0.5
5.311 * [taylor]: Taking taylor expansion of 0 in z
5.311 * [backup-simplify]: Simplify 0 into 0
5.311 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.312 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.312 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.312 * [backup-simplify]: Simplify (+ 0 0) into 0
5.312 * [backup-simplify]: Simplify (- 0) into 0
5.313 * [backup-simplify]: Simplify (+ 0 0) into 0
5.314 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))))) into 0
5.315 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 0) (+ (* 0 (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) (* 0 0)))) into 0
5.315 * [taylor]: Taking taylor expansion of 0 in x
5.315 * [backup-simplify]: Simplify 0 into 0
5.315 * [taylor]: Taking taylor expansion of 0 in y
5.315 * [backup-simplify]: Simplify 0 into 0
5.316 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.316 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0
5.317 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.318 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
5.318 * [backup-simplify]: Simplify (+ 0 0) into 0
5.318 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
5.319 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 z))) into 0
5.319 * [backup-simplify]: Simplify (- 0) into 0
5.319 * [backup-simplify]: Simplify (+ 0 0) into 0
5.319 * [taylor]: Taking taylor expansion of 0 in y
5.319 * [backup-simplify]: Simplify 0 into 0
5.319 * [taylor]: Taking taylor expansion of 0 in y
5.319 * [backup-simplify]: Simplify 0 into 0
5.320 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.321 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
5.321 * [backup-simplify]: Simplify (* 0.5 (/ 1 z)) into (/ 0.5 z)
5.321 * [backup-simplify]: Simplify (- (/ 0.5 z)) into (- (* 0.5 (/ 1 z)))
5.321 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ 1 z)))) into (- (* 0.5 (/ 1 z)))
5.321 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 z))) in z
5.321 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
5.321 * [taylor]: Taking taylor expansion of 0.5 in z
5.321 * [backup-simplify]: Simplify 0.5 into 0.5
5.321 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.321 * [taylor]: Taking taylor expansion of z in z
5.321 * [backup-simplify]: Simplify 0 into 0
5.321 * [backup-simplify]: Simplify 1 into 1
5.322 * [backup-simplify]: Simplify (/ 1 1) into 1
5.322 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
5.322 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
5.323 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
5.323 * [taylor]: Taking taylor expansion of 0 in z
5.323 * [backup-simplify]: Simplify 0 into 0
5.323 * [taylor]: Taking taylor expansion of 0 in z
5.323 * [backup-simplify]: Simplify 0 into 0
5.323 * [taylor]: Taking taylor expansion of 0 in z
5.323 * [backup-simplify]: Simplify 0 into 0
5.323 * [backup-simplify]: Simplify 0.5 into 0.5
5.323 * [backup-simplify]: Simplify 0.5 into 0.5
5.324 * [backup-simplify]: Simplify (+ (* 0.5 (* 1 (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (- t)))))) (+ (* 0.5 (* 1 (* (/ 1 (/ 1 (- y))) (* 1 (/ 1 (- t)))))) (* (- 0.5) (* (/ 1 (/ 1 (- z))) (* 1 (* 1 (/ 1 (- t)))))))) into (- (+ (* 0.5 (/ x t)) (* 0.5 (/ y t))) (* 0.5 (/ z t)))
5.324 * * * [progress]: simplifying candidates
5.327 * [simplify]: Simplifying:
  (expm1 (* (/ 1 (* t 2.0)) (- (+ x y) z)))
  (log1p (* (/ 1 (* t 2.0)) (- (+ x y) z)))
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  (+ (- (+ (log t) (log 2.0))) (log (- (+ x y) z)))
  (+ (- (log (* t 2.0))) (log (- (+ x y) z)))
  (+ (- 0 (+ (log t) (log 2.0))) (log (- (+ x y) z)))
  (+ (- 0 (log (* t 2.0))) (log (- (+ x y) z)))
  (+ (- (log 1) (+ (log t) (log 2.0))) (log (- (+ x y) z)))
  (+ (- (log 1) (log (* t 2.0))) (log (- (+ x y) z)))
  (+ (log (/ 1 (* t 2.0))) (log (- (+ x y) z)))
  (log (* (/ 1 (* t 2.0)) (- (+ x y) z)))
  (exp (* (/ 1 (* t 2.0)) (- (+ x y) z)))
  (* (/ (* (* 1 1) 1) (* (* (* t t) t) (* (* 2.0 2.0) 2.0))) (* (* (- (+ x y) z) (- (+ x y) z)) (- (+ x y) z)))
  (* (/ (* (* 1 1) 1) (* (* (* t 2.0) (* t 2.0)) (* t 2.0))) (* (* (- (+ x y) z) (- (+ x y) z)) (- (+ x y) z)))
  (* (* (* (/ 1 (* t 2.0)) (/ 1 (* t 2.0))) (/ 1 (* t 2.0))) (* (* (- (+ x y) z) (- (+ x y) z)) (- (+ x y) z)))
  (* (cbrt (* (/ 1 (* t 2.0)) (- (+ x y) z))) (cbrt (* (/ 1 (* t 2.0)) (- (+ x y) z))))
  (cbrt (* (/ 1 (* t 2.0)) (- (+ x y) z)))
  (* (* (* (/ 1 (* t 2.0)) (- (+ x y) z)) (* (/ 1 (* t 2.0)) (- (+ x y) z))) (* (/ 1 (* t 2.0)) (- (+ x y) z)))
  (sqrt (* (/ 1 (* t 2.0)) (- (+ x y) z)))
  (sqrt (* (/ 1 (* t 2.0)) (- (+ x y) z)))
  (* 1 (- (pow (+ x y) 3) (pow z 3)))
  (* (* t 2.0) (+ (* (+ x y) (+ x y)) (+ (* z z) (* (+ x y) z))))
  (* 1 (- (* (+ x y) (+ x y)) (* z z)))
  (* (* t 2.0) (+ (+ x y) z))
  (* (sqrt (/ 1 (* t 2.0))) (sqrt (- (+ x y) z)))
  (* (sqrt (/ 1 (* t 2.0))) (sqrt (- (+ x y) z)))
  (* (/ 1 (* t 2.0)) (fma (* (cbrt (+ x y)) (cbrt (+ x y))) (cbrt (+ x y)) (- (* (cbrt z) (* (cbrt z) (cbrt z))))))
  (* (/ 1 (* t 2.0)) (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))))
  (* (/ 1 (* t 2.0)) (fma (* (cbrt (+ x y)) (cbrt (+ x y))) (cbrt (+ x y)) (- (* (sqrt z) (sqrt z)))))
  (* (/ 1 (* t 2.0)) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))))
  (* (/ 1 (* t 2.0)) (fma (* (cbrt (+ x y)) (cbrt (+ x y))) (cbrt (+ x y)) (- (* z 1))))
  (* (/ 1 (* t 2.0)) (fma (- z) 1 (* z 1)))
  (* (/ 1 (* t 2.0)) (fma (sqrt (+ x y)) (sqrt (+ x y)) (- (* (cbrt z) (* (cbrt z) (cbrt z))))))
  (* (/ 1 (* t 2.0)) (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))))
  (* (/ 1 (* t 2.0)) (fma (sqrt (+ x y)) (sqrt (+ x y)) (- (* (sqrt z) (sqrt z)))))
  (* (/ 1 (* t 2.0)) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))))
  (* (/ 1 (* t 2.0)) (fma (sqrt (+ x y)) (sqrt (+ x y)) (- (* z 1))))
  (* (/ 1 (* t 2.0)) (fma (- z) 1 (* z 1)))
  (* (/ 1 (* t 2.0)) (fma 1 (+ x y) (- (* (cbrt z) (* (cbrt z) (cbrt z))))))
  (* (/ 1 (* t 2.0)) (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))))
  (* (/ 1 (* t 2.0)) (fma 1 (+ x y) (- (* (sqrt z) (sqrt z)))))
  (* (/ 1 (* t 2.0)) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))))
  (* (/ 1 (* t 2.0)) (fma 1 (+ x y) (- (* z 1))))
  (* (/ 1 (* t 2.0)) (fma (- z) 1 (* z 1)))
  (* (/ 1 (* t 2.0)) (fma 1 (+ x y) (- (* (cbrt z) (* (cbrt z) (cbrt z))))))
  (* (/ 1 (* t 2.0)) (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))))
  (* (/ 1 (* t 2.0)) (fma 1 (+ x y) (- (* (sqrt z) (sqrt z)))))
  (* (/ 1 (* t 2.0)) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))))
  (* (/ 1 (* t 2.0)) (fma 1 (+ x y) (- (* z 1))))
  (* (/ 1 (* t 2.0)) (fma (- z) 1 (* z 1)))
  (* (/ 1 (* t 2.0)) (+ x y))
  (* (/ 1 (* t 2.0)) (- z))
  (* (/ 1 (* t 2.0)) x)
  (* (/ 1 (* t 2.0)) (- y z))
  (* (/ 1 (* t 2.0)) (+ x y))
  (* (/ 1 (* t 2.0)) (- z))
  (* (fma (* (cbrt (+ x y)) (cbrt (+ x y))) (cbrt (+ x y)) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (/ 1 (* t 2.0)))
  (* (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) (/ 1 (* t 2.0)))
  (* (fma (* (cbrt (+ x y)) (cbrt (+ x y))) (cbrt (+ x y)) (- (* (sqrt z) (sqrt z)))) (/ 1 (* t 2.0)))
  (* (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (/ 1 (* t 2.0)))
  (* (fma (* (cbrt (+ x y)) (cbrt (+ x y))) (cbrt (+ x y)) (- (* z 1))) (/ 1 (* t 2.0)))
  (* (fma (- z) 1 (* z 1)) (/ 1 (* t 2.0)))
  (* (fma (sqrt (+ x y)) (sqrt (+ x y)) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (/ 1 (* t 2.0)))
  (* (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) (/ 1 (* t 2.0)))
  (* (fma (sqrt (+ x y)) (sqrt (+ x y)) (- (* (sqrt z) (sqrt z)))) (/ 1 (* t 2.0)))
  (* (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (/ 1 (* t 2.0)))
  (* (fma (sqrt (+ x y)) (sqrt (+ x y)) (- (* z 1))) (/ 1 (* t 2.0)))
  (* (fma (- z) 1 (* z 1)) (/ 1 (* t 2.0)))
  (* (fma 1 (+ x y) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (/ 1 (* t 2.0)))
  (* (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) (/ 1 (* t 2.0)))
  (* (fma 1 (+ x y) (- (* (sqrt z) (sqrt z)))) (/ 1 (* t 2.0)))
  (* (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (/ 1 (* t 2.0)))
  (* (fma 1 (+ x y) (- (* z 1))) (/ 1 (* t 2.0)))
  (* (fma (- z) 1 (* z 1)) (/ 1 (* t 2.0)))
  (* (fma 1 (+ x y) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (/ 1 (* t 2.0)))
  (* (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) (/ 1 (* t 2.0)))
  (* (fma 1 (+ x y) (- (* (sqrt z) (sqrt z)))) (/ 1 (* t 2.0)))
  (* (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (/ 1 (* t 2.0)))
  (* (fma 1 (+ x y) (- (* z 1))) (/ 1 (* t 2.0)))
  (* (fma (- z) 1 (* z 1)) (/ 1 (* t 2.0)))
  (* (+ x y) (/ 1 (* t 2.0)))
  (* (- z) (/ 1 (* t 2.0)))
  (* x (/ 1 (* t 2.0)))
  (* (- y z) (/ 1 (* t 2.0)))
  (* (+ x y) (/ 1 (* t 2.0)))
  (* (- z) (/ 1 (* t 2.0)))
  (* (/ 1 (* t 2.0)) (* (cbrt (- (+ x y) z)) (cbrt (- (+ x y) z))))
  (* (/ 1 (* t 2.0)) (sqrt (- (+ x y) z)))
  (* (/ 1 (* t 2.0)) 1)
  (* (/ 1 (* t 2.0)) (+ (sqrt (+ x y)) (sqrt z)))
  (* (/ 1 (* t 2.0)) 1)
  (* (/ 1 (* t 2.0)) 1)
  (* (cbrt (/ 1 (* t 2.0))) (- (+ x y) z))
  (* (sqrt (/ 1 (* t 2.0))) (- (+ x y) z))
  (* (/ (cbrt 1) 2.0) (- (+ x y) z))
  (* (/ (sqrt 1) 2.0) (- (+ x y) z))
  (* (/ 1 2.0) (- (+ x y) z))
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  (* (/ 1 (* t 2.0)) (- (pow (+ x y) 3) (pow z 3)))
  (* (/ 1 (* t 2.0)) (- (* (+ x y) (+ x y)) (* z z)))
  (* 1 (- (+ x y) z))
  (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t)))
  (- (+ (* 0.5 (/ x t)) (* 0.5 (/ y t))) (* 0.5 (/ z t)))
  (- (+ (* 0.5 (/ x t)) (* 0.5 (/ y t))) (* 0.5 (/ z t)))
5.331 * * [simplify]: Extracting # 0 : cost  0
5.331 * * [simplify]: Extracting # 1 : cost  0
5.332 * * [simplify]: Extracting # 2 : cost  0
5.332 * * [simplify]: Extracting # 3 : cost  0
5.332 * * [simplify]: Extracting # 4 : cost  0
5.333 * * [simplify]: Extracting # 5 : cost  0
5.333 * * [simplify]: Extracting # 6 : cost  0
5.334 * * [simplify]: Extracting # 7 : cost  0
5.334 * * [simplify]: iteration  0 :  169  enodes  (cost  1682 )
5.394 * * [simplify]: Extracting # 0 : cost  0
5.395 * * [simplify]: Extracting # 1 : cost  0
5.395 * * [simplify]: Extracting # 2 : cost  0
5.395 * * [simplify]: Extracting # 3 : cost  0
5.396 * * [simplify]: Extracting # 4 : cost  0
5.396 * * [simplify]: iteration  1 :  441  enodes  (cost  1361 )
5.615 * * [simplify]: Extracting # 0 : cost  0
5.618 * * [simplify]: Extracting # 1 : cost  0
5.619 * * [simplify]: Extracting # 2 : cost  0
5.621 * * [simplify]: Extracting # 3 : cost  0
5.623 * * [simplify]: Extracting # 4 : cost  0
5.625 * * [simplify]: Extracting # 5 : cost  0
5.626 * * [simplify]: Extracting # 6 : cost  0
5.628 * * [simplify]: iteration  2 :  1584  enodes  (cost  1025 )
6.376 * * [simplify]: Extracting # 0 : cost  0
6.382 * * [simplify]: Extracting # 1 : cost  0
6.390 * * [simplify]: Extracting # 2 : cost  0
6.396 * * [simplify]: Extracting # 3 : cost  0
6.403 * * [simplify]: Extracting # 4 : cost  0
6.409 * * [simplify]: iteration done:  5000  enodes  (cost  972 )
6.410 * [simplify]: Simplified to:
  (expm1 (/ (- (+ x y) z) (* t 2.0)))
  (log1p (/ (- (+ x y) z) (* t 2.0)))
  (/ (/ (- (+ x y) z) 2.0) t)
  (log (/ (- (+ 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)))
  (log (/ (- (+ 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) 2.0) t) 3)
  (pow (/ (/ (- (+ x y) z) 2.0) t) 3)
  (pow (/ (/ (- (+ x y) z) 2.0) t) 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) 2.0) t) 3)
  (sqrt (/ (- (+ x y) z) (* t 2.0)))
  (sqrt (/ (- (+ x y) z) (* t 2.0)))
  (- (pow (+ x y) 3) (pow z 3))
  (* (fma z z (* (+ y x) (+ (+ x y) z))) (* t 2.0))
  (- (* (+ x y) (+ x y)) (* z z))
  (* (* t 2.0) (+ (+ x y) z))
  (* (sqrt (/ 1 (* t 2.0))) (sqrt (- (+ x y) z)))
  (* (sqrt (/ 1 (* t 2.0))) (sqrt (- (+ x y) z)))
  (/ (- (pow (cbrt (+ x y)) 3) z) (* 2.0 t))
  (/ (+ (- z) z) (* t 2.0))
  (/ (- (pow (cbrt (+ x y)) 3) z) (* 2.0 t))
  (/ (+ (- z) z) (* t 2.0))
  (/ (- (pow (cbrt (+ x y)) 3) z) (* 2.0 t))
  (/ (+ (- z) z) (* t 2.0))
  (/ (/ (- (+ x y) z) 2.0) t)
  (/ (+ (- z) z) (* t 2.0))
  (/ (/ (- (+ x y) z) 2.0) t)
  (/ (+ (- z) z) (* t 2.0))
  (/ (/ (- (+ x y) z) 2.0) t)
  (/ (+ (- z) z) (* t 2.0))
  (/ (/ (- (+ x y) z) 2.0) t)
  (/ (+ (- z) z) (* t 2.0))
  (/ (/ (- (+ x y) z) 2.0) t)
  (/ (+ (- z) z) (* t 2.0))
  (/ (/ (- (+ x y) z) 2.0) t)
  (/ (+ (- z) z) (* t 2.0))
  (/ (/ (- (+ x y) z) 2.0) t)
  (/ (+ (- z) z) (* t 2.0))
  (/ (/ (- (+ x y) z) 2.0) t)
  (/ (+ (- z) z) (* t 2.0))
  (/ (/ (- (+ x y) z) 2.0) t)
  (/ (+ (- z) z) (* t 2.0))
  (/ (+ y x) (* t 2.0))
  (/ (- z) (* t 2.0))
  (/ x (* t 2.0))
  (/ (- y z) (* t 2.0))
  (/ (+ y x) (* t 2.0))
  (/ (- z) (* t 2.0))
  (/ (- (pow (cbrt (+ x y)) 3) z) (* 2.0 t))
  (/ (+ (- z) z) (* t 2.0))
  (/ (- (pow (cbrt (+ x y)) 3) z) (* 2.0 t))
  (/ (+ (- z) z) (* t 2.0))
  (/ (- (pow (cbrt (+ x y)) 3) z) (* 2.0 t))
  (/ (+ (- z) z) (* t 2.0))
  (/ (/ (- (+ x y) z) 2.0) t)
  (/ (+ (- z) z) (* t 2.0))
  (/ (/ (- (+ x y) z) 2.0) t)
  (/ (+ (- z) z) (* t 2.0))
  (/ (/ (- (+ x y) z) 2.0) t)
  (/ (+ (- z) z) (* t 2.0))
  (/ (/ (- (+ x y) z) 2.0) t)
  (/ (+ (- z) z) (* t 2.0))
  (/ (/ (- (+ x y) z) 2.0) t)
  (/ (+ (- z) z) (* t 2.0))
  (/ (/ (- (+ x y) z) 2.0) t)
  (/ (+ (- z) z) (* t 2.0))
  (/ (/ (- (+ x y) z) 2.0) t)
  (/ (+ (- z) z) (* t 2.0))
  (/ (/ (- (+ x y) z) 2.0) t)
  (/ (+ (- z) z) (* t 2.0))
  (/ (/ (- (+ x y) z) 2.0) t)
  (/ (+ (- z) z) (* t 2.0))
  (/ (+ y x) (* t 2.0))
  (/ (- z) (* t 2.0))
  (/ x (* t 2.0))
  (/ (- y z) (* t 2.0))
  (/ (+ y x) (* t 2.0))
  (/ (- z) (* t 2.0))
  (/ (* (cbrt (- (+ x y) z)) (cbrt (- (+ x y) z))) (* t 2.0))
  (/ (sqrt (- (+ x y) z)) (* t 2.0))
  (/ 1 (* t 2.0))
  (/ (+ (sqrt (+ x y)) (sqrt z)) (* t 2.0))
  (/ 1 (* t 2.0))
  (/ 1 (* t 2.0))
  (* (cbrt (/ 1 (* t 2.0))) (- (+ x y) z))
  (* (sqrt (/ 1 (* t 2.0))) (- (+ x y) z))
  (/ (- (+ x y) z) 2.0)
  (/ (- (+ x y) z) 2.0)
  (/ (- (+ x y) z) 2.0)
  (/ (/ (- (+ x y) z) 2.0) t)
  (/ (/ (- (+ x y) z) 2.0) t)
  (/ (- (pow (+ x y) 3) (pow z 3)) (* t 2.0))
  (/ (- (* (+ x y) (+ x y)) (* z z)) (* t 2.0))
  (- (+ y x) z)
  (fma 0.5 (/ (- y z) t) (* 0.5 (/ x t)))
  (fma 0.5 (/ (- y z) t) (* 0.5 (/ x t)))
  (fma 0.5 (/ (- y z) t) (* 0.5 (/ x t)))
6.410 * * * [progress]: adding candidates to table
6.515 * [progress]: [Phase 3 of 3] Extracting.
6.515 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))> #<alt (λ (x y z t) (/ (- (+ x y) z) (* t 2.0)))> #<alt (λ (x y z t) (* (/ 1 (* t 2.0)) (- (+ x y) z)))>)
6.516 * * * [regime-changes]: Trying 8 branch expressions: ((* t 2.0) (+ x y) (- (+ x y) z) (/ (- (+ x y) z) (* t 2.0)) t z y x)
6.516 * * * * [regimes]: Trying to branch on (* t 2.0) from (#<alt (λ (x y z t) (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))> #<alt (λ (x y z t) (/ (- (+ x y) z) (* t 2.0)))> #<alt (λ (x y z t) (* (/ 1 (* t 2.0)) (- (+ x y) z)))>)
6.535 * * * * [regimes]: Trying to branch on (+ x y) from (#<alt (λ (x y z t) (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))> #<alt (λ (x y z t) (/ (- (+ x y) z) (* t 2.0)))> #<alt (λ (x y z t) (* (/ 1 (* t 2.0)) (- (+ x y) z)))>)
6.552 * * * * [regimes]: Trying to branch on (- (+ x y) z) from (#<alt (λ (x y z t) (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))> #<alt (λ (x y z t) (/ (- (+ x y) z) (* t 2.0)))> #<alt (λ (x y z t) (* (/ 1 (* t 2.0)) (- (+ x y) z)))>)
6.571 * * * * [regimes]: Trying to branch on (/ (- (+ x y) z) (* t 2.0)) from (#<alt (λ (x y z t) (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))> #<alt (λ (x y z t) (/ (- (+ x y) z) (* t 2.0)))> #<alt (λ (x y z t) (* (/ 1 (* t 2.0)) (- (+ x y) z)))>)
6.588 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))> #<alt (λ (x y z t) (/ (- (+ x y) z) (* t 2.0)))> #<alt (λ (x y z t) (* (/ 1 (* t 2.0)) (- (+ x y) z)))>)
6.606 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))> #<alt (λ (x y z t) (/ (- (+ x y) z) (* t 2.0)))> #<alt (λ (x y z t) (* (/ 1 (* t 2.0)) (- (+ x y) z)))>)
6.622 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))> #<alt (λ (x y z t) (/ (- (+ x y) z) (* t 2.0)))> #<alt (λ (x y z t) (* (/ 1 (* t 2.0)) (- (+ x y) z)))>)
6.638 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))> #<alt (λ (x y z t) (/ (- (+ x y) z) (* t 2.0)))> #<alt (λ (x y z t) (* (/ 1 (* t 2.0)) (- (+ x y) z)))>)
6.657 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
6.658 * [simplify]: Simplifying:
  (/ (- (+ x y) z) (* t 2.0))
6.658 * * [simplify]: Extracting # 0 : cost  0
6.658 * * [simplify]: Extracting # 1 : cost  0
6.658 * * [simplify]: Extracting # 2 : cost  0
6.658 * * [simplify]: Extracting # 3 : cost  0
6.658 * * [simplify]: Extracting # 4 : cost  0
6.658 * * [simplify]: Extracting # 5 : cost  0
6.658 * * [simplify]: iteration  0 :  9  enodes  (cost  9 )
6.658 * * [simplify]: Extracting # 0 : cost  0
6.658 * * [simplify]: iteration  1 :  11  enodes  (cost  9 )
6.659 * * [simplify]: Extracting # 0 : cost  0
6.659 * * [simplify]: iteration done:  11  enodes  (cost  9 )
6.659 * [simplify]: Simplified to:
  (/ (- (+ x y) z) (* t 2.0))
8.429 * [regime-testing]: Baseline error score: 0.07596800356317275
8.431 * [regime-testing]: Oracle error score: 0.062091268971348756
8.435 * [regime-testing]: End program error score: 0.07596800356317275