30.858 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.026 * * * [progress]: [2/2] Setting up program.
0.029 * [progress]: [Phase 2 of 3] Improving.
0.029 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (/ x y) (/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z)))
0.030 * * [simplify]: iteration  0 :  14  enodes  (cost  17 )
0.032 * * [simplify]: iteration  1 :  25  enodes  (cost  17 )
0.035 * * [simplify]: iteration  2 :  49  enodes  (cost  16 )
0.042 * * [simplify]: iteration  3 :  89  enodes  (cost  16 )
0.057 * * [simplify]: iteration  4 :  163  enodes  (cost  16 )
0.090 * * [simplify]: iteration  5 :  257  enodes  (cost  15 )
0.184 * * [simplify]: iteration  6 :  420  enodes  (cost  15 )
0.375 * * [simplify]: iteration  7 :  855  enodes  (cost  15 )
1.376 * * [simplify]: iteration  8 :  3148  enodes  (cost  15 )
2.954 * * [simplify]: iteration  done :  5000  enodes  (cost  15 )
2.954 * [simplify]: Simplified to:
   (fma (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t) (/ x y))
2.958 * * [progress]: iteration 1 / 4
2.959 * * * [progress]: picking best candidate
2.968 * * * * [pick]: Picked  #<alt (λ (x y z t) (fma (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t) (/ x y)))>
2.968 * * * [progress]: localizing error
2.981 * * * [progress]: generating rewritten candidates
2.981 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
2.983 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
2.985 * * * [progress]: generating series expansions
2.985 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
2.985 * [approximate]: Taking taylor expansion of (/ (fma z (- 1.0 t) 1) z) in (z t) around 0
2.985 * [taylor]: Taking taylor expansion of (/ (fma z (- 1.0 t) 1) z) in t
2.985 * [taylor]: Taking taylor expansion of (fma z (- 1.0 t) 1) in t
2.985 * [taylor]: Rewrote expression to (+ (* z (- 1.0 t)) 1)
2.985 * [taylor]: Taking taylor expansion of (* z (- 1.0 t)) in t
2.985 * [taylor]: Taking taylor expansion of z in t
2.985 * [taylor]: Taking taylor expansion of (- 1.0 t) in t
2.985 * [taylor]: Taking taylor expansion of 1.0 in t
2.985 * [taylor]: Taking taylor expansion of t in t
2.985 * [taylor]: Taking taylor expansion of 1 in t
2.985 * [taylor]: Taking taylor expansion of z in t
2.986 * [taylor]: Taking taylor expansion of (/ (fma z (- 1.0 t) 1) z) in z
2.986 * [taylor]: Taking taylor expansion of (fma z (- 1.0 t) 1) in z
2.987 * [taylor]: Rewrote expression to (+ (* z (- 1.0 t)) 1)
2.987 * [taylor]: Taking taylor expansion of (* z (- 1.0 t)) in z
2.987 * [taylor]: Taking taylor expansion of z in z
2.987 * [taylor]: Taking taylor expansion of (- 1.0 t) in z
2.987 * [taylor]: Taking taylor expansion of 1.0 in z
2.987 * [taylor]: Taking taylor expansion of t in z
2.987 * [taylor]: Taking taylor expansion of 1 in z
2.987 * [taylor]: Taking taylor expansion of z in z
2.987 * [taylor]: Taking taylor expansion of (/ (fma z (- 1.0 t) 1) z) in z
2.987 * [taylor]: Taking taylor expansion of (fma z (- 1.0 t) 1) in z
2.988 * [taylor]: Rewrote expression to (+ (* z (- 1.0 t)) 1)
2.988 * [taylor]: Taking taylor expansion of (* z (- 1.0 t)) in z
2.988 * [taylor]: Taking taylor expansion of z in z
2.988 * [taylor]: Taking taylor expansion of (- 1.0 t) in z
2.988 * [taylor]: Taking taylor expansion of 1.0 in z
2.988 * [taylor]: Taking taylor expansion of t in z
2.988 * [taylor]: Taking taylor expansion of 1 in z
2.988 * [taylor]: Taking taylor expansion of z in z
2.989 * [taylor]: Taking taylor expansion of 1 in t
2.990 * [taylor]: Taking taylor expansion of (- 1.0 t) in t
2.990 * [taylor]: Taking taylor expansion of 1.0 in t
2.990 * [taylor]: Taking taylor expansion of t in t
2.993 * [taylor]: Taking taylor expansion of 0 in t
2.994 * [approximate]: Taking taylor expansion of (* (fma (/ 1 z) (- 1.0 (/ 1 t)) 1) z) in (z t) around 0
2.994 * [taylor]: Taking taylor expansion of (* (fma (/ 1 z) (- 1.0 (/ 1 t)) 1) z) in t
2.994 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- 1.0 (/ 1 t)) 1) in t
2.994 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1.0 (/ 1 t))) 1)
2.994 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1.0 (/ 1 t))) in t
2.994 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.994 * [taylor]: Taking taylor expansion of z in t
2.994 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
2.994 * [taylor]: Taking taylor expansion of 1.0 in t
2.994 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.994 * [taylor]: Taking taylor expansion of t in t
2.995 * [taylor]: Taking taylor expansion of 1 in t
2.995 * [taylor]: Taking taylor expansion of z in t
2.995 * [taylor]: Taking taylor expansion of (* (fma (/ 1 z) (- 1.0 (/ 1 t)) 1) z) in z
2.995 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- 1.0 (/ 1 t)) 1) in z
2.995 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1.0 (/ 1 t))) 1)
2.995 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1.0 (/ 1 t))) in z
2.995 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.995 * [taylor]: Taking taylor expansion of z in z
2.995 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in z
2.995 * [taylor]: Taking taylor expansion of 1.0 in z
2.995 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.995 * [taylor]: Taking taylor expansion of t in z
2.995 * [taylor]: Taking taylor expansion of 1 in z
2.995 * [taylor]: Taking taylor expansion of z in z
2.995 * [taylor]: Taking taylor expansion of (* (fma (/ 1 z) (- 1.0 (/ 1 t)) 1) z) in z
2.996 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- 1.0 (/ 1 t)) 1) in z
2.996 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1.0 (/ 1 t))) 1)
2.996 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1.0 (/ 1 t))) in z
2.996 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.996 * [taylor]: Taking taylor expansion of z in z
2.996 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in z
2.996 * [taylor]: Taking taylor expansion of 1.0 in z
2.996 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.996 * [taylor]: Taking taylor expansion of t in z
2.996 * [taylor]: Taking taylor expansion of 1 in z
2.996 * [taylor]: Taking taylor expansion of z in z
2.996 * [taylor]: Taking taylor expansion of 0 in t
2.998 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
2.999 * [taylor]: Taking taylor expansion of 1.0 in t
2.999 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.999 * [taylor]: Taking taylor expansion of t in t
3.002 * [taylor]: Taking taylor expansion of 1 in t
3.006 * [taylor]: Taking taylor expansion of 0 in t
3.006 * [approximate]: Taking taylor expansion of (* -1 (* (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) z)) in (z t) around 0
3.006 * [taylor]: Taking taylor expansion of (* -1 (* (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) z)) in t
3.006 * [taylor]: Taking taylor expansion of -1 in t
3.006 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) z) in t
3.006 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) in t
3.006 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (+ (/ 1 t) 1.0)) 1)
3.006 * [taylor]: Taking taylor expansion of (* (/ -1 z) (+ (/ 1 t) 1.0)) in t
3.006 * [taylor]: Taking taylor expansion of (/ -1 z) in t
3.006 * [taylor]: Taking taylor expansion of -1 in t
3.006 * [taylor]: Taking taylor expansion of z in t
3.006 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
3.006 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.006 * [taylor]: Taking taylor expansion of t in t
3.007 * [taylor]: Taking taylor expansion of 1.0 in t
3.007 * [taylor]: Taking taylor expansion of 1 in t
3.007 * [taylor]: Taking taylor expansion of z in t
3.007 * [taylor]: Taking taylor expansion of (* -1 (* (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) z)) in z
3.007 * [taylor]: Taking taylor expansion of -1 in z
3.007 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) z) in z
3.007 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) in z
3.007 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (+ (/ 1 t) 1.0)) 1)
3.007 * [taylor]: Taking taylor expansion of (* (/ -1 z) (+ (/ 1 t) 1.0)) in z
3.007 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.007 * [taylor]: Taking taylor expansion of -1 in z
3.007 * [taylor]: Taking taylor expansion of z in z
3.007 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in z
3.007 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.007 * [taylor]: Taking taylor expansion of t in z
3.007 * [taylor]: Taking taylor expansion of 1.0 in z
3.007 * [taylor]: Taking taylor expansion of 1 in z
3.008 * [taylor]: Taking taylor expansion of z in z
3.008 * [taylor]: Taking taylor expansion of (* -1 (* (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) z)) in z
3.008 * [taylor]: Taking taylor expansion of -1 in z
3.008 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) z) in z
3.008 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) in z
3.008 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (+ (/ 1 t) 1.0)) 1)
3.008 * [taylor]: Taking taylor expansion of (* (/ -1 z) (+ (/ 1 t) 1.0)) in z
3.008 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.008 * [taylor]: Taking taylor expansion of -1 in z
3.008 * [taylor]: Taking taylor expansion of z in z
3.008 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in z
3.008 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.008 * [taylor]: Taking taylor expansion of t in z
3.008 * [taylor]: Taking taylor expansion of 1.0 in z
3.008 * [taylor]: Taking taylor expansion of 1 in z
3.008 * [taylor]: Taking taylor expansion of z in z
3.009 * [taylor]: Taking taylor expansion of 0 in t
3.011 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
3.011 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.011 * [taylor]: Taking taylor expansion of t in t
3.011 * [taylor]: Taking taylor expansion of 1.0 in t
3.014 * [taylor]: Taking taylor expansion of (- 1) in t
3.014 * [taylor]: Taking taylor expansion of 1 in t
3.019 * [taylor]: Taking taylor expansion of 0 in t
3.020 * * * * [progress]: [ 2 / 2 ] generating series at (2)
3.020 * [approximate]: Taking taylor expansion of (fma (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t) (/ x y)) in (z t x y) around 0
3.020 * [taylor]: Taking taylor expansion of (fma (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t) (/ x y)) in y
3.020 * [taylor]: Rewrote expression to (+ (* (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t)) (/ x y))
3.020 * [taylor]: Taking taylor expansion of (* (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t)) in y
3.020 * [taylor]: Taking taylor expansion of (/ (fma z (- 1.0 t) 1) z) in y
3.020 * [taylor]: Taking taylor expansion of (fma z (- 1.0 t) 1) in y
3.020 * [taylor]: Rewrote expression to (+ (* z (- 1.0 t)) 1)
3.020 * [taylor]: Taking taylor expansion of (* z (- 1.0 t)) in y
3.020 * [taylor]: Taking taylor expansion of z in y
3.020 * [taylor]: Taking taylor expansion of (- 1.0 t) in y
3.020 * [taylor]: Taking taylor expansion of 1.0 in y
3.020 * [taylor]: Taking taylor expansion of t in y
3.020 * [taylor]: Taking taylor expansion of 1 in y
3.020 * [taylor]: Taking taylor expansion of z in y
3.021 * [taylor]: Taking taylor expansion of (/ 2.0 t) in y
3.021 * [taylor]: Taking taylor expansion of 2.0 in y
3.021 * [taylor]: Taking taylor expansion of t in y
3.021 * [taylor]: Taking taylor expansion of (/ x y) in y
3.021 * [taylor]: Taking taylor expansion of x in y
3.021 * [taylor]: Taking taylor expansion of y in y
3.021 * [taylor]: Taking taylor expansion of (fma (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t) (/ x y)) in x
3.021 * [taylor]: Rewrote expression to (+ (* (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t)) (/ x y))
3.021 * [taylor]: Taking taylor expansion of (* (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t)) in x
3.021 * [taylor]: Taking taylor expansion of (/ (fma z (- 1.0 t) 1) z) in x
3.021 * [taylor]: Taking taylor expansion of (fma z (- 1.0 t) 1) in x
3.021 * [taylor]: Rewrote expression to (+ (* z (- 1.0 t)) 1)
3.021 * [taylor]: Taking taylor expansion of (* z (- 1.0 t)) in x
3.021 * [taylor]: Taking taylor expansion of z in x
3.021 * [taylor]: Taking taylor expansion of (- 1.0 t) in x
3.021 * [taylor]: Taking taylor expansion of 1.0 in x
3.021 * [taylor]: Taking taylor expansion of t in x
3.021 * [taylor]: Taking taylor expansion of 1 in x
3.021 * [taylor]: Taking taylor expansion of z in x
3.021 * [taylor]: Taking taylor expansion of (/ 2.0 t) in x
3.021 * [taylor]: Taking taylor expansion of 2.0 in x
3.021 * [taylor]: Taking taylor expansion of t in x
3.021 * [taylor]: Taking taylor expansion of (/ x y) in x
3.021 * [taylor]: Taking taylor expansion of x in x
3.022 * [taylor]: Taking taylor expansion of y in x
3.022 * [taylor]: Taking taylor expansion of (fma (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t) (/ x y)) in t
3.022 * [taylor]: Rewrote expression to (+ (* (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t)) (/ x y))
3.022 * [taylor]: Taking taylor expansion of (* (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t)) in t
3.022 * [taylor]: Taking taylor expansion of (/ (fma z (- 1.0 t) 1) z) in t
3.022 * [taylor]: Taking taylor expansion of (fma z (- 1.0 t) 1) in t
3.022 * [taylor]: Rewrote expression to (+ (* z (- 1.0 t)) 1)
3.022 * [taylor]: Taking taylor expansion of (* z (- 1.0 t)) in t
3.022 * [taylor]: Taking taylor expansion of z in t
3.022 * [taylor]: Taking taylor expansion of (- 1.0 t) in t
3.022 * [taylor]: Taking taylor expansion of 1.0 in t
3.022 * [taylor]: Taking taylor expansion of t in t
3.022 * [taylor]: Taking taylor expansion of 1 in t
3.022 * [taylor]: Taking taylor expansion of z in t
3.023 * [taylor]: Taking taylor expansion of (/ 2.0 t) in t
3.023 * [taylor]: Taking taylor expansion of 2.0 in t
3.023 * [taylor]: Taking taylor expansion of t in t
3.023 * [taylor]: Taking taylor expansion of (/ x y) in t
3.023 * [taylor]: Taking taylor expansion of x in t
3.023 * [taylor]: Taking taylor expansion of y in t
3.023 * [taylor]: Taking taylor expansion of (fma (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t) (/ x y)) in z
3.024 * [taylor]: Rewrote expression to (+ (* (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t)) (/ x y))
3.024 * [taylor]: Taking taylor expansion of (* (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t)) in z
3.024 * [taylor]: Taking taylor expansion of (/ (fma z (- 1.0 t) 1) z) in z
3.024 * [taylor]: Taking taylor expansion of (fma z (- 1.0 t) 1) in z
3.024 * [taylor]: Rewrote expression to (+ (* z (- 1.0 t)) 1)
3.024 * [taylor]: Taking taylor expansion of (* z (- 1.0 t)) in z
3.024 * [taylor]: Taking taylor expansion of z in z
3.024 * [taylor]: Taking taylor expansion of (- 1.0 t) in z
3.024 * [taylor]: Taking taylor expansion of 1.0 in z
3.024 * [taylor]: Taking taylor expansion of t in z
3.024 * [taylor]: Taking taylor expansion of 1 in z
3.024 * [taylor]: Taking taylor expansion of z in z
3.025 * [taylor]: Taking taylor expansion of (/ 2.0 t) in z
3.025 * [taylor]: Taking taylor expansion of 2.0 in z
3.025 * [taylor]: Taking taylor expansion of t in z
3.025 * [taylor]: Taking taylor expansion of (/ x y) in z
3.025 * [taylor]: Taking taylor expansion of x in z
3.025 * [taylor]: Taking taylor expansion of y in z
3.025 * [taylor]: Taking taylor expansion of (fma (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t) (/ x y)) in z
3.025 * [taylor]: Rewrote expression to (+ (* (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t)) (/ x y))
3.025 * [taylor]: Taking taylor expansion of (* (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t)) in z
3.025 * [taylor]: Taking taylor expansion of (/ (fma z (- 1.0 t) 1) z) in z
3.025 * [taylor]: Taking taylor expansion of (fma z (- 1.0 t) 1) in z
3.025 * [taylor]: Rewrote expression to (+ (* z (- 1.0 t)) 1)
3.025 * [taylor]: Taking taylor expansion of (* z (- 1.0 t)) in z
3.025 * [taylor]: Taking taylor expansion of z in z
3.025 * [taylor]: Taking taylor expansion of (- 1.0 t) in z
3.025 * [taylor]: Taking taylor expansion of 1.0 in z
3.025 * [taylor]: Taking taylor expansion of t in z
3.025 * [taylor]: Taking taylor expansion of 1 in z
3.025 * [taylor]: Taking taylor expansion of z in z
3.026 * [taylor]: Taking taylor expansion of (/ 2.0 t) in z
3.026 * [taylor]: Taking taylor expansion of 2.0 in z
3.026 * [taylor]: Taking taylor expansion of t in z
3.026 * [taylor]: Taking taylor expansion of (/ x y) in z
3.026 * [taylor]: Taking taylor expansion of x in z
3.026 * [taylor]: Taking taylor expansion of y in z
3.026 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
3.026 * [taylor]: Taking taylor expansion of 2.0 in t
3.026 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.026 * [taylor]: Taking taylor expansion of t in t
3.027 * [taylor]: Taking taylor expansion of 2.0 in x
3.027 * [taylor]: Taking taylor expansion of 2.0 in y
3.029 * [taylor]: Taking taylor expansion of (- (+ (/ x y) (* 2.0 (/ 1 t))) 2.0) in t
3.029 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in t
3.029 * [taylor]: Taking taylor expansion of (/ x y) in t
3.029 * [taylor]: Taking taylor expansion of x in t
3.029 * [taylor]: Taking taylor expansion of y in t
3.029 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
3.029 * [taylor]: Taking taylor expansion of 2.0 in t
3.029 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.029 * [taylor]: Taking taylor expansion of t in t
3.029 * [taylor]: Taking taylor expansion of 2.0 in t
3.030 * [taylor]: Taking taylor expansion of 2.0 in x
3.030 * [taylor]: Taking taylor expansion of 2.0 in y
3.031 * [taylor]: Taking taylor expansion of 0 in x
3.031 * [taylor]: Taking taylor expansion of 0 in y
3.031 * [taylor]: Taking taylor expansion of 0 in y
3.034 * [taylor]: Taking taylor expansion of 0 in t
3.036 * [taylor]: Taking taylor expansion of (- (/ x y) 2.0) in x
3.036 * [taylor]: Taking taylor expansion of (/ x y) in x
3.036 * [taylor]: Taking taylor expansion of x in x
3.036 * [taylor]: Taking taylor expansion of y in x
3.036 * [taylor]: Taking taylor expansion of 2.0 in x
3.037 * [taylor]: Taking taylor expansion of (- 2.0) in y
3.037 * [taylor]: Taking taylor expansion of 2.0 in y
3.038 * [taylor]: Taking taylor expansion of 0 in x
3.038 * [taylor]: Taking taylor expansion of 0 in y
3.038 * [taylor]: Taking taylor expansion of 0 in y
3.038 * [taylor]: Taking taylor expansion of 0 in y
3.039 * [taylor]: Taking taylor expansion of 0 in y
3.042 * [taylor]: Taking taylor expansion of 0 in t
3.043 * [taylor]: Taking taylor expansion of 0 in x
3.043 * [taylor]: Taking taylor expansion of 0 in y
3.044 * [taylor]: Taking taylor expansion of 0 in x
3.045 * [taylor]: Taking taylor expansion of 0 in y
3.046 * [taylor]: Taking taylor expansion of 0 in x
3.046 * [taylor]: Taking taylor expansion of 0 in y
3.046 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.046 * [taylor]: Taking taylor expansion of y in y
3.047 * [approximate]: Taking taylor expansion of (fma (* (fma (/ 1 z) (- 1.0 (/ 1 t)) 1) z) (* 2.0 t) (/ y x)) in (z t x y) around 0
3.047 * [taylor]: Taking taylor expansion of (fma (* (fma (/ 1 z) (- 1.0 (/ 1 t)) 1) z) (* 2.0 t) (/ y x)) in y
3.048 * [taylor]: Rewrote expression to (+ (* (* (fma (/ 1 z) (- 1.0 (/ 1 t)) 1) z) (* 2.0 t)) (/ y x))
3.048 * [taylor]: Taking taylor expansion of (* (* (fma (/ 1 z) (- 1.0 (/ 1 t)) 1) z) (* 2.0 t)) in y
3.048 * [taylor]: Taking taylor expansion of (* (fma (/ 1 z) (- 1.0 (/ 1 t)) 1) z) in y
3.048 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- 1.0 (/ 1 t)) 1) in y
3.048 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1.0 (/ 1 t))) 1)
3.048 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1.0 (/ 1 t))) in y
3.048 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.048 * [taylor]: Taking taylor expansion of z in y
3.048 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in y
3.048 * [taylor]: Taking taylor expansion of 1.0 in y
3.048 * [taylor]: Taking taylor expansion of (/ 1 t) in y
3.048 * [taylor]: Taking taylor expansion of t in y
3.048 * [taylor]: Taking taylor expansion of 1 in y
3.048 * [taylor]: Taking taylor expansion of z in y
3.048 * [taylor]: Taking taylor expansion of (* 2.0 t) in y
3.048 * [taylor]: Taking taylor expansion of 2.0 in y
3.048 * [taylor]: Taking taylor expansion of t in y
3.048 * [taylor]: Taking taylor expansion of (/ y x) in y
3.048 * [taylor]: Taking taylor expansion of y in y
3.048 * [taylor]: Taking taylor expansion of x in y
3.048 * [taylor]: Taking taylor expansion of (fma (* (fma (/ 1 z) (- 1.0 (/ 1 t)) 1) z) (* 2.0 t) (/ y x)) in x
3.048 * [taylor]: Rewrote expression to (+ (* (* (fma (/ 1 z) (- 1.0 (/ 1 t)) 1) z) (* 2.0 t)) (/ y x))
3.048 * [taylor]: Taking taylor expansion of (* (* (fma (/ 1 z) (- 1.0 (/ 1 t)) 1) z) (* 2.0 t)) in x
3.048 * [taylor]: Taking taylor expansion of (* (fma (/ 1 z) (- 1.0 (/ 1 t)) 1) z) in x
3.048 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- 1.0 (/ 1 t)) 1) in x
3.048 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1.0 (/ 1 t))) 1)
3.048 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1.0 (/ 1 t))) in x
3.048 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.048 * [taylor]: Taking taylor expansion of z in x
3.048 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in x
3.048 * [taylor]: Taking taylor expansion of 1.0 in x
3.048 * [taylor]: Taking taylor expansion of (/ 1 t) in x
3.048 * [taylor]: Taking taylor expansion of t in x
3.049 * [taylor]: Taking taylor expansion of 1 in x
3.049 * [taylor]: Taking taylor expansion of z in x
3.049 * [taylor]: Taking taylor expansion of (* 2.0 t) in x
3.049 * [taylor]: Taking taylor expansion of 2.0 in x
3.049 * [taylor]: Taking taylor expansion of t in x
3.049 * [taylor]: Taking taylor expansion of (/ y x) in x
3.049 * [taylor]: Taking taylor expansion of y in x
3.049 * [taylor]: Taking taylor expansion of x in x
3.049 * [taylor]: Taking taylor expansion of (fma (* (fma (/ 1 z) (- 1.0 (/ 1 t)) 1) z) (* 2.0 t) (/ y x)) in t
3.049 * [taylor]: Rewrote expression to (+ (* (* (fma (/ 1 z) (- 1.0 (/ 1 t)) 1) z) (* 2.0 t)) (/ y x))
3.049 * [taylor]: Taking taylor expansion of (* (* (fma (/ 1 z) (- 1.0 (/ 1 t)) 1) z) (* 2.0 t)) in t
3.049 * [taylor]: Taking taylor expansion of (* (fma (/ 1 z) (- 1.0 (/ 1 t)) 1) z) in t
3.049 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- 1.0 (/ 1 t)) 1) in t
3.049 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1.0 (/ 1 t))) 1)
3.049 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1.0 (/ 1 t))) in t
3.049 * [taylor]: Taking taylor expansion of (/ 1 z) in t
3.049 * [taylor]: Taking taylor expansion of z in t
3.049 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
3.049 * [taylor]: Taking taylor expansion of 1.0 in t
3.049 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.049 * [taylor]: Taking taylor expansion of t in t
3.050 * [taylor]: Taking taylor expansion of 1 in t
3.050 * [taylor]: Taking taylor expansion of z in t
3.050 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
3.050 * [taylor]: Taking taylor expansion of 2.0 in t
3.050 * [taylor]: Taking taylor expansion of t in t
3.050 * [taylor]: Taking taylor expansion of (/ y x) in t
3.050 * [taylor]: Taking taylor expansion of y in t
3.050 * [taylor]: Taking taylor expansion of x in t
3.050 * [taylor]: Taking taylor expansion of (fma (* (fma (/ 1 z) (- 1.0 (/ 1 t)) 1) z) (* 2.0 t) (/ y x)) in z
3.050 * [taylor]: Rewrote expression to (+ (* (* (fma (/ 1 z) (- 1.0 (/ 1 t)) 1) z) (* 2.0 t)) (/ y x))
3.050 * [taylor]: Taking taylor expansion of (* (* (fma (/ 1 z) (- 1.0 (/ 1 t)) 1) z) (* 2.0 t)) in z
3.050 * [taylor]: Taking taylor expansion of (* (fma (/ 1 z) (- 1.0 (/ 1 t)) 1) z) in z
3.050 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- 1.0 (/ 1 t)) 1) in z
3.050 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1.0 (/ 1 t))) 1)
3.050 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1.0 (/ 1 t))) in z
3.050 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.050 * [taylor]: Taking taylor expansion of z in z
3.050 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in z
3.050 * [taylor]: Taking taylor expansion of 1.0 in z
3.050 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.050 * [taylor]: Taking taylor expansion of t in z
3.051 * [taylor]: Taking taylor expansion of 1 in z
3.051 * [taylor]: Taking taylor expansion of z in z
3.051 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
3.051 * [taylor]: Taking taylor expansion of 2.0 in z
3.051 * [taylor]: Taking taylor expansion of t in z
3.051 * [taylor]: Taking taylor expansion of (/ y x) in z
3.051 * [taylor]: Taking taylor expansion of y in z
3.051 * [taylor]: Taking taylor expansion of x in z
3.051 * [taylor]: Taking taylor expansion of (fma (* (fma (/ 1 z) (- 1.0 (/ 1 t)) 1) z) (* 2.0 t) (/ y x)) in z
3.051 * [taylor]: Rewrote expression to (+ (* (* (fma (/ 1 z) (- 1.0 (/ 1 t)) 1) z) (* 2.0 t)) (/ y x))
3.051 * [taylor]: Taking taylor expansion of (* (* (fma (/ 1 z) (- 1.0 (/ 1 t)) 1) z) (* 2.0 t)) in z
3.051 * [taylor]: Taking taylor expansion of (* (fma (/ 1 z) (- 1.0 (/ 1 t)) 1) z) in z
3.051 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- 1.0 (/ 1 t)) 1) in z
3.051 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1.0 (/ 1 t))) 1)
3.051 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1.0 (/ 1 t))) in z
3.051 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.051 * [taylor]: Taking taylor expansion of z in z
3.051 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in z
3.051 * [taylor]: Taking taylor expansion of 1.0 in z
3.051 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.051 * [taylor]: Taking taylor expansion of t in z
3.051 * [taylor]: Taking taylor expansion of 1 in z
3.051 * [taylor]: Taking taylor expansion of z in z
3.052 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
3.052 * [taylor]: Taking taylor expansion of 2.0 in z
3.052 * [taylor]: Taking taylor expansion of t in z
3.052 * [taylor]: Taking taylor expansion of (/ y x) in z
3.052 * [taylor]: Taking taylor expansion of y in z
3.052 * [taylor]: Taking taylor expansion of x in z
3.052 * [taylor]: Taking taylor expansion of 0 in t
3.055 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 t) (/ y x)) 2.0) in t
3.055 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in t
3.055 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
3.055 * [taylor]: Taking taylor expansion of 2.0 in t
3.055 * [taylor]: Taking taylor expansion of t in t
3.055 * [taylor]: Taking taylor expansion of (/ y x) in t
3.055 * [taylor]: Taking taylor expansion of y in t
3.055 * [taylor]: Taking taylor expansion of x in t
3.055 * [taylor]: Taking taylor expansion of 2.0 in t
3.055 * [taylor]: Taking taylor expansion of 0 in x
3.059 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
3.059 * [taylor]: Taking taylor expansion of 2.0 in t
3.059 * [taylor]: Taking taylor expansion of t in t
3.060 * [taylor]: Taking taylor expansion of (- (/ y x) 2.0) in x
3.060 * [taylor]: Taking taylor expansion of (/ y x) in x
3.060 * [taylor]: Taking taylor expansion of y in x
3.060 * [taylor]: Taking taylor expansion of x in x
3.060 * [taylor]: Taking taylor expansion of 2.0 in x
3.060 * [taylor]: Taking taylor expansion of y in y
3.060 * [taylor]: Taking taylor expansion of 0 in x
3.060 * [taylor]: Taking taylor expansion of 0 in y
3.069 * [taylor]: Taking taylor expansion of 0 in t
3.069 * [taylor]: Taking taylor expansion of 0 in x
3.071 * [taylor]: Taking taylor expansion of 2.0 in x
3.071 * [taylor]: Taking taylor expansion of 0 in x
3.073 * [taylor]: Taking taylor expansion of (- 2.0) in y
3.073 * [taylor]: Taking taylor expansion of 2.0 in y
3.073 * [taylor]: Taking taylor expansion of 0 in y
3.073 * [taylor]: Taking taylor expansion of 0 in y
3.079 * [taylor]: Taking taylor expansion of 0 in t
3.079 * [taylor]: Taking taylor expansion of 0 in x
3.080 * [taylor]: Taking taylor expansion of 2.0 in x
3.081 * [taylor]: Taking taylor expansion of 0 in x
3.082 * [taylor]: Taking taylor expansion of 0 in x
3.082 * [taylor]: Taking taylor expansion of 0 in y
3.082 * [taylor]: Taking taylor expansion of 2.0 in y
3.083 * [approximate]: Taking taylor expansion of (fma (* -1 (* (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) z)) (* -2.0 t) (/ y x)) in (z t x y) around 0
3.083 * [taylor]: Taking taylor expansion of (fma (* -1 (* (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) z)) (* -2.0 t) (/ y x)) in y
3.083 * [taylor]: Rewrote expression to (+ (* (* -1 (* (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) z)) (* -2.0 t)) (/ y x))
3.083 * [taylor]: Taking taylor expansion of (* (* -1 (* (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) z)) (* -2.0 t)) in y
3.083 * [taylor]: Taking taylor expansion of (* -1 (* (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) z)) in y
3.083 * [taylor]: Taking taylor expansion of -1 in y
3.083 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) z) in y
3.083 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) in y
3.083 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (+ (/ 1 t) 1.0)) 1)
3.083 * [taylor]: Taking taylor expansion of (* (/ -1 z) (+ (/ 1 t) 1.0)) in y
3.083 * [taylor]: Taking taylor expansion of (/ -1 z) in y
3.083 * [taylor]: Taking taylor expansion of -1 in y
3.083 * [taylor]: Taking taylor expansion of z in y
3.083 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in y
3.083 * [taylor]: Taking taylor expansion of (/ 1 t) in y
3.083 * [taylor]: Taking taylor expansion of t in y
3.083 * [taylor]: Taking taylor expansion of 1.0 in y
3.084 * [taylor]: Taking taylor expansion of 1 in y
3.084 * [taylor]: Taking taylor expansion of z in y
3.084 * [taylor]: Taking taylor expansion of (* -2.0 t) in y
3.084 * [taylor]: Taking taylor expansion of -2.0 in y
3.084 * [taylor]: Taking taylor expansion of t in y
3.084 * [taylor]: Taking taylor expansion of (/ y x) in y
3.084 * [taylor]: Taking taylor expansion of y in y
3.084 * [taylor]: Taking taylor expansion of x in y
3.084 * [taylor]: Taking taylor expansion of (fma (* -1 (* (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) z)) (* -2.0 t) (/ y x)) in x
3.084 * [taylor]: Rewrote expression to (+ (* (* -1 (* (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) z)) (* -2.0 t)) (/ y x))
3.084 * [taylor]: Taking taylor expansion of (* (* -1 (* (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) z)) (* -2.0 t)) in x
3.084 * [taylor]: Taking taylor expansion of (* -1 (* (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) z)) in x
3.084 * [taylor]: Taking taylor expansion of -1 in x
3.084 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) z) in x
3.084 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) in x
3.084 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (+ (/ 1 t) 1.0)) 1)
3.084 * [taylor]: Taking taylor expansion of (* (/ -1 z) (+ (/ 1 t) 1.0)) in x
3.084 * [taylor]: Taking taylor expansion of (/ -1 z) in x
3.084 * [taylor]: Taking taylor expansion of -1 in x
3.084 * [taylor]: Taking taylor expansion of z in x
3.084 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in x
3.084 * [taylor]: Taking taylor expansion of (/ 1 t) in x
3.084 * [taylor]: Taking taylor expansion of t in x
3.084 * [taylor]: Taking taylor expansion of 1.0 in x
3.084 * [taylor]: Taking taylor expansion of 1 in x
3.084 * [taylor]: Taking taylor expansion of z in x
3.084 * [taylor]: Taking taylor expansion of (* -2.0 t) in x
3.084 * [taylor]: Taking taylor expansion of -2.0 in x
3.084 * [taylor]: Taking taylor expansion of t in x
3.084 * [taylor]: Taking taylor expansion of (/ y x) in x
3.084 * [taylor]: Taking taylor expansion of y in x
3.084 * [taylor]: Taking taylor expansion of x in x
3.084 * [taylor]: Taking taylor expansion of (fma (* -1 (* (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) z)) (* -2.0 t) (/ y x)) in t
3.084 * [taylor]: Rewrote expression to (+ (* (* -1 (* (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) z)) (* -2.0 t)) (/ y x))
3.084 * [taylor]: Taking taylor expansion of (* (* -1 (* (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) z)) (* -2.0 t)) in t
3.084 * [taylor]: Taking taylor expansion of (* -1 (* (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) z)) in t
3.084 * [taylor]: Taking taylor expansion of -1 in t
3.085 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) z) in t
3.085 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) in t
3.085 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (+ (/ 1 t) 1.0)) 1)
3.085 * [taylor]: Taking taylor expansion of (* (/ -1 z) (+ (/ 1 t) 1.0)) in t
3.085 * [taylor]: Taking taylor expansion of (/ -1 z) in t
3.085 * [taylor]: Taking taylor expansion of -1 in t
3.085 * [taylor]: Taking taylor expansion of z in t
3.085 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
3.085 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.085 * [taylor]: Taking taylor expansion of t in t
3.085 * [taylor]: Taking taylor expansion of 1.0 in t
3.085 * [taylor]: Taking taylor expansion of 1 in t
3.085 * [taylor]: Taking taylor expansion of z in t
3.085 * [taylor]: Taking taylor expansion of (* -2.0 t) in t
3.085 * [taylor]: Taking taylor expansion of -2.0 in t
3.085 * [taylor]: Taking taylor expansion of t in t
3.085 * [taylor]: Taking taylor expansion of (/ y x) in t
3.085 * [taylor]: Taking taylor expansion of y in t
3.085 * [taylor]: Taking taylor expansion of x in t
3.085 * [taylor]: Taking taylor expansion of (fma (* -1 (* (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) z)) (* -2.0 t) (/ y x)) in z
3.086 * [taylor]: Rewrote expression to (+ (* (* -1 (* (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) z)) (* -2.0 t)) (/ y x))
3.086 * [taylor]: Taking taylor expansion of (* (* -1 (* (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) z)) (* -2.0 t)) in z
3.086 * [taylor]: Taking taylor expansion of (* -1 (* (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) z)) in z
3.086 * [taylor]: Taking taylor expansion of -1 in z
3.086 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) z) in z
3.086 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) in z
3.086 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (+ (/ 1 t) 1.0)) 1)
3.086 * [taylor]: Taking taylor expansion of (* (/ -1 z) (+ (/ 1 t) 1.0)) in z
3.086 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.086 * [taylor]: Taking taylor expansion of -1 in z
3.086 * [taylor]: Taking taylor expansion of z in z
3.086 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in z
3.086 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.086 * [taylor]: Taking taylor expansion of t in z
3.086 * [taylor]: Taking taylor expansion of 1.0 in z
3.086 * [taylor]: Taking taylor expansion of 1 in z
3.086 * [taylor]: Taking taylor expansion of z in z
3.086 * [taylor]: Taking taylor expansion of (* -2.0 t) in z
3.086 * [taylor]: Taking taylor expansion of -2.0 in z
3.086 * [taylor]: Taking taylor expansion of t in z
3.087 * [taylor]: Taking taylor expansion of (/ y x) in z
3.087 * [taylor]: Taking taylor expansion of y in z
3.087 * [taylor]: Taking taylor expansion of x in z
3.087 * [taylor]: Taking taylor expansion of (fma (* -1 (* (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) z)) (* -2.0 t) (/ y x)) in z
3.087 * [taylor]: Rewrote expression to (+ (* (* -1 (* (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) z)) (* -2.0 t)) (/ y x))
3.087 * [taylor]: Taking taylor expansion of (* (* -1 (* (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) z)) (* -2.0 t)) in z
3.087 * [taylor]: Taking taylor expansion of (* -1 (* (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) z)) in z
3.087 * [taylor]: Taking taylor expansion of -1 in z
3.087 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) z) in z
3.087 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (+ (/ 1 t) 1.0) 1) in z
3.087 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (+ (/ 1 t) 1.0)) 1)
3.087 * [taylor]: Taking taylor expansion of (* (/ -1 z) (+ (/ 1 t) 1.0)) in z
3.087 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.087 * [taylor]: Taking taylor expansion of -1 in z
3.087 * [taylor]: Taking taylor expansion of z in z
3.087 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in z
3.087 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.087 * [taylor]: Taking taylor expansion of t in z
3.087 * [taylor]: Taking taylor expansion of 1.0 in z
3.088 * [taylor]: Taking taylor expansion of 1 in z
3.088 * [taylor]: Taking taylor expansion of z in z
3.088 * [taylor]: Taking taylor expansion of (* -2.0 t) in z
3.088 * [taylor]: Taking taylor expansion of -2.0 in z
3.088 * [taylor]: Taking taylor expansion of t in z
3.088 * [taylor]: Taking taylor expansion of (/ y x) in z
3.088 * [taylor]: Taking taylor expansion of y in z
3.088 * [taylor]: Taking taylor expansion of x in z
3.089 * [taylor]: Taking taylor expansion of 0 in t
3.092 * [taylor]: Taking taylor expansion of (- (/ y x) (+ (* 2.0 t) 2.0)) in t
3.092 * [taylor]: Taking taylor expansion of (/ y x) in t
3.092 * [taylor]: Taking taylor expansion of y in t
3.092 * [taylor]: Taking taylor expansion of x in t
3.092 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in t
3.092 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
3.092 * [taylor]: Taking taylor expansion of 2.0 in t
3.092 * [taylor]: Taking taylor expansion of t in t
3.092 * [taylor]: Taking taylor expansion of 2.0 in t
3.092 * [taylor]: Taking taylor expansion of 0 in x
3.096 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
3.096 * [taylor]: Taking taylor expansion of 2.0 in t
3.096 * [taylor]: Taking taylor expansion of t in t
3.097 * [taylor]: Taking taylor expansion of (- (/ y x) 2.0) in x
3.097 * [taylor]: Taking taylor expansion of (/ y x) in x
3.097 * [taylor]: Taking taylor expansion of y in x
3.097 * [taylor]: Taking taylor expansion of x in x
3.097 * [taylor]: Taking taylor expansion of 2.0 in x
3.097 * [taylor]: Taking taylor expansion of y in y
3.097 * [taylor]: Taking taylor expansion of 0 in x
3.098 * [taylor]: Taking taylor expansion of 0 in y
3.103 * [taylor]: Taking taylor expansion of 0 in t
3.103 * [taylor]: Taking taylor expansion of 0 in x
3.105 * [taylor]: Taking taylor expansion of (- 2.0) in x
3.105 * [taylor]: Taking taylor expansion of 2.0 in x
3.105 * [taylor]: Taking taylor expansion of 0 in x
3.107 * [taylor]: Taking taylor expansion of (- 2.0) in y
3.107 * [taylor]: Taking taylor expansion of 2.0 in y
3.107 * [taylor]: Taking taylor expansion of 0 in y
3.107 * [taylor]: Taking taylor expansion of 0 in y
3.114 * [taylor]: Taking taylor expansion of 0 in t
3.114 * [taylor]: Taking taylor expansion of 0 in x
3.115 * [taylor]: Taking taylor expansion of 2.0 in x
3.117 * [taylor]: Taking taylor expansion of 0 in x
3.117 * [taylor]: Taking taylor expansion of 0 in x
3.117 * [taylor]: Taking taylor expansion of 0 in y
3.117 * [taylor]: Taking taylor expansion of (- 2.0) in y
3.117 * [taylor]: Taking taylor expansion of 2.0 in y
3.119 * * * [progress]: simplifying candidates
3.120 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (/ (fma z (- 1.0 t) 1) z))
  (log1p (/ (fma z (- 1.0 t) 1) z))
  (- (log (fma z (- 1.0 t) 1)) (log z))
  (log (/ (fma z (- 1.0 t) 1) z))
  (exp (/ (fma z (- 1.0 t) 1) z))
  (/ (* (* (fma z (- 1.0 t) 1) (fma z (- 1.0 t) 1)) (fma z (- 1.0 t) 1)) (* (* z z) z))
  (* (cbrt (/ (fma z (- 1.0 t) 1) z)) (cbrt (/ (fma z (- 1.0 t) 1) z)))
  (cbrt (/ (fma z (- 1.0 t) 1) z))
  (* (* (/ (fma z (- 1.0 t) 1) z) (/ (fma z (- 1.0 t) 1) z)) (/ (fma z (- 1.0 t) 1) z))
  (sqrt (/ (fma z (- 1.0 t) 1) z))
  (sqrt (/ (fma z (- 1.0 t) 1) z))
  (- (fma z (- 1.0 t) 1))
  (- z)
  (/ (* (cbrt (fma z (- 1.0 t) 1)) (cbrt (fma z (- 1.0 t) 1))) (* (cbrt z) (cbrt z)))
  (/ (cbrt (fma z (- 1.0 t) 1)) (cbrt z))
  (/ (* (cbrt (fma z (- 1.0 t) 1)) (cbrt (fma z (- 1.0 t) 1))) (sqrt z))
  (/ (cbrt (fma z (- 1.0 t) 1)) (sqrt z))
  (/ (* (cbrt (fma z (- 1.0 t) 1)) (cbrt (fma z (- 1.0 t) 1))) 1)
  (/ (cbrt (fma z (- 1.0 t) 1)) z)
  (/ (sqrt (fma z (- 1.0 t) 1)) (* (cbrt z) (cbrt z)))
  (/ (sqrt (fma z (- 1.0 t) 1)) (cbrt z))
  (/ (sqrt (fma z (- 1.0 t) 1)) (sqrt z))
  (/ (sqrt (fma z (- 1.0 t) 1)) (sqrt z))
  (/ (sqrt (fma z (- 1.0 t) 1)) 1)
  (/ (sqrt (fma z (- 1.0 t) 1)) z)
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (fma z (- 1.0 t) 1) (cbrt z))
  (/ 1 (sqrt z))
  (/ (fma z (- 1.0 t) 1) (sqrt z))
  (/ 1 1)
  (/ (fma z (- 1.0 t) 1) z)
  (/ 1 z)
  (/ z (fma z (- 1.0 t) 1))
  (/ (fma z (- 1.0 t) 1) (* (cbrt z) (cbrt z)))
  (/ (fma z (- 1.0 t) 1) (sqrt z))
  (/ (fma z (- 1.0 t) 1) 1)
  (/ z (cbrt (fma z (- 1.0 t) 1)))
  (/ z (sqrt (fma z (- 1.0 t) 1)))
  (/ z (fma z (- 1.0 t) 1))
  (expm1 (fma (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t) (/ x y)))
  (log1p (fma (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t) (/ x y)))
  (* (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t))
  (log (fma (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t) (/ x y)))
  (exp (fma (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t) (/ x y)))
  (* (cbrt (fma (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t) (/ x y))) (cbrt (fma (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t) (/ x y))))
  (cbrt (fma (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t) (/ x y)))
  (* (* (fma (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t) (/ x y)) (fma (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t) (/ x y))) (fma (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t) (/ x y)))
  (sqrt (fma (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t) (/ x y)))
  (sqrt (fma (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t) (/ x y)))
  (- (+ (/ 1 z) 1.0) t)
  (- (+ (/ 1 z) 1.0) t)
  (- (+ (/ 1 z) 1.0) t)
  (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t))))
  (- (+ (/ x y) (* 2.0 (/ 1 t))) 2.0)
  (- (+ (/ x y) (* 2.0 (/ 1 t))) 2.0)
3.122 * * [simplify]: iteration  0 :  80  enodes  (cost  669 )
3.134 * * [simplify]: iteration  1 :  142  enodes  (cost  659 )
3.168 * * [simplify]: iteration  2 :  333  enodes  (cost  590 )
3.323 * * [simplify]: iteration  3 :  906  enodes  (cost  590 )
3.836 * * [simplify]: iteration  4 :  3322  enodes  (cost  589 )
5.099 * * [simplify]: iteration  done :  5000  enodes  (cost  589 )
5.100 * [simplify]: Simplified to:
   (expm1 (/ (fma z (- 1.0 t) 1) z))
  (log1p (/ (fma z (- 1.0 t) 1) z))
  (log (/ (fma z (- 1.0 t) 1) z))
  (log (/ (fma z (- 1.0 t) 1) z))
  (exp (/ (fma z (- 1.0 t) 1) z))
  (pow (/ (fma z (- 1.0 t) 1) z) 3)
  (* (cbrt (/ (fma z (- 1.0 t) 1) z)) (cbrt (/ (fma z (- 1.0 t) 1) z)))
  (cbrt (/ (fma z (- 1.0 t) 1) z))
  (pow (/ (fma z (- 1.0 t) 1) z) 3)
  (sqrt (/ (fma z (- 1.0 t) 1) z))
  (sqrt (/ (fma z (- 1.0 t) 1) z))
  (- (fma z (- 1.0 t) 1))
  (- z)
  (/ (* (cbrt (fma z (- 1.0 t) 1)) (cbrt (fma z (- 1.0 t) 1))) (* (cbrt z) (cbrt z)))
  (/ (cbrt (fma z (- 1.0 t) 1)) (cbrt z))
  (/ (* (cbrt (fma z (- 1.0 t) 1)) (cbrt (fma z (- 1.0 t) 1))) (sqrt z))
  (/ (cbrt (fma z (- 1.0 t) 1)) (sqrt z))
  (* (cbrt (fma z (- 1.0 t) 1)) (cbrt (fma z (- 1.0 t) 1)))
  (/ (cbrt (fma z (- 1.0 t) 1)) z)
  (/ (sqrt (fma z (- 1.0 t) 1)) (* (cbrt z) (cbrt z)))
  (/ (sqrt (fma z (- 1.0 t) 1)) (cbrt z))
  (/ (sqrt (fma z (- 1.0 t) 1)) (sqrt z))
  (/ (sqrt (fma z (- 1.0 t) 1)) (sqrt z))
  (sqrt (fma z (- 1.0 t) 1))
  (/ (sqrt (fma z (- 1.0 t) 1)) z)
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (fma z (- 1.0 t) 1) (cbrt z))
  (/ 1 (sqrt z))
  (/ (fma z (- 1.0 t) 1) (sqrt z))
  1
  (/ (fma z (- 1.0 t) 1) z)
  (/ 1 z)
  (/ z (fma z (- 1.0 t) 1))
  (/ (fma z (- 1.0 t) 1) (* (cbrt z) (cbrt z)))
  (/ (fma z (- 1.0 t) 1) (sqrt z))
  (fma z (- 1.0 t) 1)
  (/ z (cbrt (fma z (- 1.0 t) 1)))
  (/ z (sqrt (fma z (- 1.0 t) 1)))
  (/ z (fma z (- 1.0 t) 1))
  (expm1 (fma (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t) (/ x y)))
  (log1p (fma (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t) (/ x y)))
  (* (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t))
  (log (fma (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t) (/ x y)))
  (exp (fma (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t) (/ x y)))
  (* (cbrt (fma (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t) (/ x y))) (cbrt (fma (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t) (/ x y))))
  (cbrt (fma (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t) (/ x y)))
  (pow (fma (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t) (/ x y)) 3)
  (sqrt (fma (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t) (/ x y)))
  (sqrt (fma (/ (fma z (- 1.0 t) 1) z) (/ 2.0 t) (/ x y)))
  (- (+ (/ 1 z) 1.0) t)
  (- (+ (/ 1 z) 1.0) t)
  (- (+ (/ 1 z) 1.0) t)
  (fma (/ 1 t) (+ 2.0 (/ 2.0 z)) (/ x y))
  (- (+ (/ x y) (/ 2.0 t)) 2.0)
  (- (+ (/ x y) (/ 2.0 t)) 2.0)
5.100 * * * [progress]: adding candidates to table
5.264 * * [progress]: iteration 2 / 4
5.264 * * * [progress]: picking best candidate
5.280 * * * * [pick]: Picked  #<alt (λ (x y z t) (fma (- (+ (/ 1 z) 1.0) t) (/ 2.0 t) (/ x y)))>
5.280 * * * [progress]: localizing error
5.292 * * * [progress]: generating rewritten candidates
5.292 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
5.292 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1)
5.304 * * * [progress]: generating series expansions
5.304 * * * * [progress]: [ 1 / 2 ] generating series at (2)
5.304 * [approximate]: Taking taylor expansion of (fma (- (+ (/ 1 z) 1.0) t) (/ 2.0 t) (/ x y)) in (z t x y) around 0
5.304 * [taylor]: Taking taylor expansion of (fma (- (+ (/ 1 z) 1.0) t) (/ 2.0 t) (/ x y)) in y
5.304 * [taylor]: Rewrote expression to (+ (* (- (+ (/ 1 z) 1.0) t) (/ 2.0 t)) (/ x y))
5.304 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 z) 1.0) t) (/ 2.0 t)) in y
5.304 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1.0) t) in y
5.304 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y
5.304 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.304 * [taylor]: Taking taylor expansion of z in y
5.305 * [taylor]: Taking taylor expansion of 1.0 in y
5.305 * [taylor]: Taking taylor expansion of t in y
5.305 * [taylor]: Taking taylor expansion of (/ 2.0 t) in y
5.305 * [taylor]: Taking taylor expansion of 2.0 in y
5.305 * [taylor]: Taking taylor expansion of t in y
5.305 * [taylor]: Taking taylor expansion of (/ x y) in y
5.305 * [taylor]: Taking taylor expansion of x in y
5.305 * [taylor]: Taking taylor expansion of y in y
5.305 * [taylor]: Taking taylor expansion of (fma (- (+ (/ 1 z) 1.0) t) (/ 2.0 t) (/ x y)) in x
5.305 * [taylor]: Rewrote expression to (+ (* (- (+ (/ 1 z) 1.0) t) (/ 2.0 t)) (/ x y))
5.305 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 z) 1.0) t) (/ 2.0 t)) in x
5.305 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1.0) t) in x
5.305 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in x
5.305 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.305 * [taylor]: Taking taylor expansion of z in x
5.305 * [taylor]: Taking taylor expansion of 1.0 in x
5.305 * [taylor]: Taking taylor expansion of t in x
5.305 * [taylor]: Taking taylor expansion of (/ 2.0 t) in x
5.305 * [taylor]: Taking taylor expansion of 2.0 in x
5.305 * [taylor]: Taking taylor expansion of t in x
5.305 * [taylor]: Taking taylor expansion of (/ x y) in x
5.305 * [taylor]: Taking taylor expansion of x in x
5.305 * [taylor]: Taking taylor expansion of y in x
5.305 * [taylor]: Taking taylor expansion of (fma (- (+ (/ 1 z) 1.0) t) (/ 2.0 t) (/ x y)) in t
5.305 * [taylor]: Rewrote expression to (+ (* (- (+ (/ 1 z) 1.0) t) (/ 2.0 t)) (/ x y))
5.305 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 z) 1.0) t) (/ 2.0 t)) in t
5.305 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1.0) t) in t
5.305 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in t
5.305 * [taylor]: Taking taylor expansion of (/ 1 z) in t
5.305 * [taylor]: Taking taylor expansion of z in t
5.305 * [taylor]: Taking taylor expansion of 1.0 in t
5.306 * [taylor]: Taking taylor expansion of t in t
5.306 * [taylor]: Taking taylor expansion of (/ 2.0 t) in t
5.306 * [taylor]: Taking taylor expansion of 2.0 in t
5.306 * [taylor]: Taking taylor expansion of t in t
5.306 * [taylor]: Taking taylor expansion of (/ x y) in t
5.306 * [taylor]: Taking taylor expansion of x in t
5.306 * [taylor]: Taking taylor expansion of y in t
5.306 * [taylor]: Taking taylor expansion of (fma (- (+ (/ 1 z) 1.0) t) (/ 2.0 t) (/ x y)) in z
5.306 * [taylor]: Rewrote expression to (+ (* (- (+ (/ 1 z) 1.0) t) (/ 2.0 t)) (/ x y))
5.306 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 z) 1.0) t) (/ 2.0 t)) in z
5.307 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1.0) t) in z
5.307 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
5.307 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.307 * [taylor]: Taking taylor expansion of z in z
5.307 * [taylor]: Taking taylor expansion of 1.0 in z
5.307 * [taylor]: Taking taylor expansion of t in z
5.307 * [taylor]: Taking taylor expansion of (/ 2.0 t) in z
5.307 * [taylor]: Taking taylor expansion of 2.0 in z
5.307 * [taylor]: Taking taylor expansion of t in z
5.307 * [taylor]: Taking taylor expansion of (/ x y) in z
5.307 * [taylor]: Taking taylor expansion of x in z
5.307 * [taylor]: Taking taylor expansion of y in z
5.307 * [taylor]: Taking taylor expansion of (fma (- (+ (/ 1 z) 1.0) t) (/ 2.0 t) (/ x y)) in z
5.307 * [taylor]: Rewrote expression to (+ (* (- (+ (/ 1 z) 1.0) t) (/ 2.0 t)) (/ x y))
5.307 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 z) 1.0) t) (/ 2.0 t)) in z
5.307 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1.0) t) in z
5.307 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
5.307 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.307 * [taylor]: Taking taylor expansion of z in z
5.308 * [taylor]: Taking taylor expansion of 1.0 in z
5.308 * [taylor]: Taking taylor expansion of t in z
5.308 * [taylor]: Taking taylor expansion of (/ 2.0 t) in z
5.308 * [taylor]: Taking taylor expansion of 2.0 in z
5.308 * [taylor]: Taking taylor expansion of t in z
5.308 * [taylor]: Taking taylor expansion of (/ x y) in z
5.308 * [taylor]: Taking taylor expansion of x in z
5.308 * [taylor]: Taking taylor expansion of y in z
5.309 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
5.309 * [taylor]: Taking taylor expansion of 2.0 in t
5.309 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.309 * [taylor]: Taking taylor expansion of t in t
5.309 * [taylor]: Taking taylor expansion of 2.0 in x
5.309 * [taylor]: Taking taylor expansion of 2.0 in y
5.311 * [taylor]: Taking taylor expansion of (- (+ (/ x y) (* 2.0 (/ 1 t))) 2.0) in t
5.311 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in t
5.311 * [taylor]: Taking taylor expansion of (/ x y) in t
5.311 * [taylor]: Taking taylor expansion of x in t
5.311 * [taylor]: Taking taylor expansion of y in t
5.311 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
5.311 * [taylor]: Taking taylor expansion of 2.0 in t
5.311 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.311 * [taylor]: Taking taylor expansion of t in t
5.311 * [taylor]: Taking taylor expansion of 2.0 in t
5.312 * [taylor]: Taking taylor expansion of 2.0 in x
5.312 * [taylor]: Taking taylor expansion of 2.0 in y
5.313 * [taylor]: Taking taylor expansion of 0 in x
5.313 * [taylor]: Taking taylor expansion of 0 in y
5.313 * [taylor]: Taking taylor expansion of 0 in y
5.316 * [taylor]: Taking taylor expansion of 0 in t
5.317 * [taylor]: Taking taylor expansion of (- (/ x y) 2.0) in x
5.317 * [taylor]: Taking taylor expansion of (/ x y) in x
5.317 * [taylor]: Taking taylor expansion of x in x
5.317 * [taylor]: Taking taylor expansion of y in x
5.317 * [taylor]: Taking taylor expansion of 2.0 in x
5.318 * [taylor]: Taking taylor expansion of (- 2.0) in y
5.318 * [taylor]: Taking taylor expansion of 2.0 in y
5.319 * [taylor]: Taking taylor expansion of 0 in x
5.319 * [taylor]: Taking taylor expansion of 0 in y
5.319 * [taylor]: Taking taylor expansion of 0 in y
5.319 * [taylor]: Taking taylor expansion of 0 in y
5.319 * [taylor]: Taking taylor expansion of 0 in y
5.322 * [taylor]: Taking taylor expansion of 0 in t
5.322 * [taylor]: Taking taylor expansion of 0 in x
5.322 * [taylor]: Taking taylor expansion of 0 in y
5.324 * [taylor]: Taking taylor expansion of 0 in x
5.324 * [taylor]: Taking taylor expansion of 0 in y
5.325 * [taylor]: Taking taylor expansion of 0 in x
5.325 * [taylor]: Taking taylor expansion of 0 in y
5.326 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.326 * [taylor]: Taking taylor expansion of y in y
5.327 * [approximate]: Taking taylor expansion of (fma (- (+ z 1.0) (/ 1 t)) (* 2.0 t) (/ y x)) in (z t x y) around 0
5.327 * [taylor]: Taking taylor expansion of (fma (- (+ z 1.0) (/ 1 t)) (* 2.0 t) (/ y x)) in y
5.327 * [taylor]: Rewrote expression to (+ (* (- (+ z 1.0) (/ 1 t)) (* 2.0 t)) (/ y x))
5.327 * [taylor]: Taking taylor expansion of (* (- (+ z 1.0) (/ 1 t)) (* 2.0 t)) in y
5.327 * [taylor]: Taking taylor expansion of (- (+ z 1.0) (/ 1 t)) in y
5.327 * [taylor]: Taking taylor expansion of (+ z 1.0) in y
5.327 * [taylor]: Taking taylor expansion of z in y
5.327 * [taylor]: Taking taylor expansion of 1.0 in y
5.327 * [taylor]: Taking taylor expansion of (/ 1 t) in y
5.327 * [taylor]: Taking taylor expansion of t in y
5.327 * [taylor]: Taking taylor expansion of (* 2.0 t) in y
5.327 * [taylor]: Taking taylor expansion of 2.0 in y
5.327 * [taylor]: Taking taylor expansion of t in y
5.327 * [taylor]: Taking taylor expansion of (/ y x) in y
5.327 * [taylor]: Taking taylor expansion of y in y
5.327 * [taylor]: Taking taylor expansion of x in y
5.327 * [taylor]: Taking taylor expansion of (fma (- (+ z 1.0) (/ 1 t)) (* 2.0 t) (/ y x)) in x
5.327 * [taylor]: Rewrote expression to (+ (* (- (+ z 1.0) (/ 1 t)) (* 2.0 t)) (/ y x))
5.327 * [taylor]: Taking taylor expansion of (* (- (+ z 1.0) (/ 1 t)) (* 2.0 t)) in x
5.327 * [taylor]: Taking taylor expansion of (- (+ z 1.0) (/ 1 t)) in x
5.327 * [taylor]: Taking taylor expansion of (+ z 1.0) in x
5.327 * [taylor]: Taking taylor expansion of z in x
5.327 * [taylor]: Taking taylor expansion of 1.0 in x
5.327 * [taylor]: Taking taylor expansion of (/ 1 t) in x
5.327 * [taylor]: Taking taylor expansion of t in x
5.328 * [taylor]: Taking taylor expansion of (* 2.0 t) in x
5.328 * [taylor]: Taking taylor expansion of 2.0 in x
5.328 * [taylor]: Taking taylor expansion of t in x
5.328 * [taylor]: Taking taylor expansion of (/ y x) in x
5.328 * [taylor]: Taking taylor expansion of y in x
5.328 * [taylor]: Taking taylor expansion of x in x
5.328 * [taylor]: Taking taylor expansion of (fma (- (+ z 1.0) (/ 1 t)) (* 2.0 t) (/ y x)) in t
5.328 * [taylor]: Rewrote expression to (+ (* (- (+ z 1.0) (/ 1 t)) (* 2.0 t)) (/ y x))
5.328 * [taylor]: Taking taylor expansion of (* (- (+ z 1.0) (/ 1 t)) (* 2.0 t)) in t
5.328 * [taylor]: Taking taylor expansion of (- (+ z 1.0) (/ 1 t)) in t
5.328 * [taylor]: Taking taylor expansion of (+ z 1.0) in t
5.328 * [taylor]: Taking taylor expansion of z in t
5.328 * [taylor]: Taking taylor expansion of 1.0 in t
5.328 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.328 * [taylor]: Taking taylor expansion of t in t
5.328 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
5.328 * [taylor]: Taking taylor expansion of 2.0 in t
5.328 * [taylor]: Taking taylor expansion of t in t
5.328 * [taylor]: Taking taylor expansion of (/ y x) in t
5.328 * [taylor]: Taking taylor expansion of y in t
5.328 * [taylor]: Taking taylor expansion of x in t
5.328 * [taylor]: Taking taylor expansion of (fma (- (+ z 1.0) (/ 1 t)) (* 2.0 t) (/ y x)) in z
5.329 * [taylor]: Rewrote expression to (+ (* (- (+ z 1.0) (/ 1 t)) (* 2.0 t)) (/ y x))
5.329 * [taylor]: Taking taylor expansion of (* (- (+ z 1.0) (/ 1 t)) (* 2.0 t)) in z
5.329 * [taylor]: Taking taylor expansion of (- (+ z 1.0) (/ 1 t)) in z
5.329 * [taylor]: Taking taylor expansion of (+ z 1.0) in z
5.329 * [taylor]: Taking taylor expansion of z in z
5.329 * [taylor]: Taking taylor expansion of 1.0 in z
5.329 * [taylor]: Taking taylor expansion of (/ 1 t) in z
5.329 * [taylor]: Taking taylor expansion of t in z
5.329 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
5.329 * [taylor]: Taking taylor expansion of 2.0 in z
5.329 * [taylor]: Taking taylor expansion of t in z
5.329 * [taylor]: Taking taylor expansion of (/ y x) in z
5.329 * [taylor]: Taking taylor expansion of y in z
5.329 * [taylor]: Taking taylor expansion of x in z
5.329 * [taylor]: Taking taylor expansion of (fma (- (+ z 1.0) (/ 1 t)) (* 2.0 t) (/ y x)) in z
5.329 * [taylor]: Rewrote expression to (+ (* (- (+ z 1.0) (/ 1 t)) (* 2.0 t)) (/ y x))
5.329 * [taylor]: Taking taylor expansion of (* (- (+ z 1.0) (/ 1 t)) (* 2.0 t)) in z
5.329 * [taylor]: Taking taylor expansion of (- (+ z 1.0) (/ 1 t)) in z
5.329 * [taylor]: Taking taylor expansion of (+ z 1.0) in z
5.329 * [taylor]: Taking taylor expansion of z in z
5.329 * [taylor]: Taking taylor expansion of 1.0 in z
5.329 * [taylor]: Taking taylor expansion of (/ 1 t) in z
5.329 * [taylor]: Taking taylor expansion of t in z
5.329 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
5.329 * [taylor]: Taking taylor expansion of 2.0 in z
5.329 * [taylor]: Taking taylor expansion of t in z
5.329 * [taylor]: Taking taylor expansion of (/ y x) in z
5.329 * [taylor]: Taking taylor expansion of y in z
5.329 * [taylor]: Taking taylor expansion of x in z
5.330 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 t) (/ y x)) 2.0) in t
5.330 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in t
5.330 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
5.330 * [taylor]: Taking taylor expansion of 2.0 in t
5.330 * [taylor]: Taking taylor expansion of t in t
5.330 * [taylor]: Taking taylor expansion of (/ y x) in t
5.330 * [taylor]: Taking taylor expansion of y in t
5.330 * [taylor]: Taking taylor expansion of x in t
5.330 * [taylor]: Taking taylor expansion of 2.0 in t
5.332 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
5.332 * [taylor]: Taking taylor expansion of 2.0 in t
5.332 * [taylor]: Taking taylor expansion of t in t
5.333 * [taylor]: Taking taylor expansion of (- (/ y x) 2.0) in x
5.333 * [taylor]: Taking taylor expansion of (/ y x) in x
5.333 * [taylor]: Taking taylor expansion of y in x
5.333 * [taylor]: Taking taylor expansion of x in x
5.333 * [taylor]: Taking taylor expansion of 2.0 in x
5.333 * [taylor]: Taking taylor expansion of y in y
5.335 * [taylor]: Taking taylor expansion of 0 in t
5.336 * [taylor]: Taking taylor expansion of 0 in x
5.338 * [taylor]: Taking taylor expansion of 2.0 in x
5.343 * [taylor]: Taking taylor expansion of (- 2.0) in y
5.343 * [taylor]: Taking taylor expansion of 2.0 in y
5.347 * [taylor]: Taking taylor expansion of 0 in t
5.347 * [taylor]: Taking taylor expansion of 0 in x
5.348 * [taylor]: Taking taylor expansion of 2.0 in x
5.349 * [taylor]: Taking taylor expansion of 0 in x
5.350 * [taylor]: Taking taylor expansion of 0 in y
5.350 * [taylor]: Taking taylor expansion of 2.0 in y
5.351 * [approximate]: Taking taylor expansion of (fma (- (+ (/ 1 t) 1.0) z) (* -2.0 t) (/ y x)) in (z t x y) around 0
5.351 * [taylor]: Taking taylor expansion of (fma (- (+ (/ 1 t) 1.0) z) (* -2.0 t) (/ y x)) in y
5.351 * [taylor]: Rewrote expression to (+ (* (- (+ (/ 1 t) 1.0) z) (* -2.0 t)) (/ y x))
5.351 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 t) 1.0) z) (* -2.0 t)) in y
5.351 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) 1.0) z) in y
5.351 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in y
5.351 * [taylor]: Taking taylor expansion of (/ 1 t) in y
5.351 * [taylor]: Taking taylor expansion of t in y
5.351 * [taylor]: Taking taylor expansion of 1.0 in y
5.351 * [taylor]: Taking taylor expansion of z in y
5.351 * [taylor]: Taking taylor expansion of (* -2.0 t) in y
5.351 * [taylor]: Taking taylor expansion of -2.0 in y
5.351 * [taylor]: Taking taylor expansion of t in y
5.351 * [taylor]: Taking taylor expansion of (/ y x) in y
5.351 * [taylor]: Taking taylor expansion of y in y
5.351 * [taylor]: Taking taylor expansion of x in y
5.351 * [taylor]: Taking taylor expansion of (fma (- (+ (/ 1 t) 1.0) z) (* -2.0 t) (/ y x)) in x
5.351 * [taylor]: Rewrote expression to (+ (* (- (+ (/ 1 t) 1.0) z) (* -2.0 t)) (/ y x))
5.351 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 t) 1.0) z) (* -2.0 t)) in x
5.352 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) 1.0) z) in x
5.352 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in x
5.352 * [taylor]: Taking taylor expansion of (/ 1 t) in x
5.352 * [taylor]: Taking taylor expansion of t in x
5.352 * [taylor]: Taking taylor expansion of 1.0 in x
5.352 * [taylor]: Taking taylor expansion of z in x
5.352 * [taylor]: Taking taylor expansion of (* -2.0 t) in x
5.352 * [taylor]: Taking taylor expansion of -2.0 in x
5.352 * [taylor]: Taking taylor expansion of t in x
5.352 * [taylor]: Taking taylor expansion of (/ y x) in x
5.352 * [taylor]: Taking taylor expansion of y in x
5.352 * [taylor]: Taking taylor expansion of x in x
5.352 * [taylor]: Taking taylor expansion of (fma (- (+ (/ 1 t) 1.0) z) (* -2.0 t) (/ y x)) in t
5.352 * [taylor]: Rewrote expression to (+ (* (- (+ (/ 1 t) 1.0) z) (* -2.0 t)) (/ y x))
5.352 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 t) 1.0) z) (* -2.0 t)) in t
5.352 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) 1.0) z) in t
5.352 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
5.352 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.352 * [taylor]: Taking taylor expansion of t in t
5.352 * [taylor]: Taking taylor expansion of 1.0 in t
5.352 * [taylor]: Taking taylor expansion of z in t
5.352 * [taylor]: Taking taylor expansion of (* -2.0 t) in t
5.352 * [taylor]: Taking taylor expansion of -2.0 in t
5.353 * [taylor]: Taking taylor expansion of t in t
5.353 * [taylor]: Taking taylor expansion of (/ y x) in t
5.353 * [taylor]: Taking taylor expansion of y in t
5.353 * [taylor]: Taking taylor expansion of x in t
5.353 * [taylor]: Taking taylor expansion of (fma (- (+ (/ 1 t) 1.0) z) (* -2.0 t) (/ y x)) in z
5.353 * [taylor]: Rewrote expression to (+ (* (- (+ (/ 1 t) 1.0) z) (* -2.0 t)) (/ y x))
5.353 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 t) 1.0) z) (* -2.0 t)) in z
5.353 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) 1.0) z) in z
5.353 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in z
5.353 * [taylor]: Taking taylor expansion of (/ 1 t) in z
5.353 * [taylor]: Taking taylor expansion of t in z
5.353 * [taylor]: Taking taylor expansion of 1.0 in z
5.353 * [taylor]: Taking taylor expansion of z in z
5.353 * [taylor]: Taking taylor expansion of (* -2.0 t) in z
5.353 * [taylor]: Taking taylor expansion of -2.0 in z
5.353 * [taylor]: Taking taylor expansion of t in z
5.353 * [taylor]: Taking taylor expansion of (/ y x) in z
5.353 * [taylor]: Taking taylor expansion of y in z
5.353 * [taylor]: Taking taylor expansion of x in z
5.353 * [taylor]: Taking taylor expansion of (fma (- (+ (/ 1 t) 1.0) z) (* -2.0 t) (/ y x)) in z
5.353 * [taylor]: Rewrote expression to (+ (* (- (+ (/ 1 t) 1.0) z) (* -2.0 t)) (/ y x))
5.353 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 t) 1.0) z) (* -2.0 t)) in z
5.353 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) 1.0) z) in z
5.353 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in z
5.353 * [taylor]: Taking taylor expansion of (/ 1 t) in z
5.353 * [taylor]: Taking taylor expansion of t in z
5.353 * [taylor]: Taking taylor expansion of 1.0 in z
5.353 * [taylor]: Taking taylor expansion of z in z
5.353 * [taylor]: Taking taylor expansion of (* -2.0 t) in z
5.353 * [taylor]: Taking taylor expansion of -2.0 in z
5.353 * [taylor]: Taking taylor expansion of t in z
5.353 * [taylor]: Taking taylor expansion of (/ y x) in z
5.353 * [taylor]: Taking taylor expansion of y in z
5.353 * [taylor]: Taking taylor expansion of x in z
5.354 * [taylor]: Taking taylor expansion of (- (/ y x) (+ (* 2.0 t) 2.0)) in t
5.354 * [taylor]: Taking taylor expansion of (/ y x) in t
5.354 * [taylor]: Taking taylor expansion of y in t
5.354 * [taylor]: Taking taylor expansion of x in t
5.354 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in t
5.354 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
5.354 * [taylor]: Taking taylor expansion of 2.0 in t
5.354 * [taylor]: Taking taylor expansion of t in t
5.354 * [taylor]: Taking taylor expansion of 2.0 in t
5.356 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
5.356 * [taylor]: Taking taylor expansion of 2.0 in t
5.356 * [taylor]: Taking taylor expansion of t in t
5.357 * [taylor]: Taking taylor expansion of (- (/ y x) 2.0) in x
5.357 * [taylor]: Taking taylor expansion of (/ y x) in x
5.357 * [taylor]: Taking taylor expansion of y in x
5.357 * [taylor]: Taking taylor expansion of x in x
5.357 * [taylor]: Taking taylor expansion of 2.0 in x
5.357 * [taylor]: Taking taylor expansion of y in y
5.360 * [taylor]: Taking taylor expansion of 0 in t
5.360 * [taylor]: Taking taylor expansion of 0 in x
5.362 * [taylor]: Taking taylor expansion of (- 2.0) in x
5.362 * [taylor]: Taking taylor expansion of 2.0 in x
5.364 * [taylor]: Taking taylor expansion of (- 2.0) in y
5.364 * [taylor]: Taking taylor expansion of 2.0 in y
5.367 * [taylor]: Taking taylor expansion of 0 in t
5.367 * [taylor]: Taking taylor expansion of 0 in x
5.368 * [taylor]: Taking taylor expansion of 2.0 in x
5.370 * [taylor]: Taking taylor expansion of 0 in x
5.370 * [taylor]: Taking taylor expansion of 0 in y
5.370 * [taylor]: Taking taylor expansion of (- 2.0) in y
5.370 * [taylor]: Taking taylor expansion of 2.0 in y
5.372 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1)
5.372 * [approximate]: Taking taylor expansion of (+ (/ 1 z) 1.0) in (z) around 0
5.372 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
5.372 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.372 * [taylor]: Taking taylor expansion of z in z
5.372 * [taylor]: Taking taylor expansion of 1.0 in z
5.372 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
5.372 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.372 * [taylor]: Taking taylor expansion of z in z
5.373 * [taylor]: Taking taylor expansion of 1.0 in z
5.379 * [approximate]: Taking taylor expansion of (+ z 1.0) in (z) around 0
5.379 * [taylor]: Taking taylor expansion of (+ z 1.0) in z
5.379 * [taylor]: Taking taylor expansion of z in z
5.379 * [taylor]: Taking taylor expansion of 1.0 in z
5.379 * [taylor]: Taking taylor expansion of (+ z 1.0) in z
5.379 * [taylor]: Taking taylor expansion of z in z
5.379 * [taylor]: Taking taylor expansion of 1.0 in z
5.381 * [approximate]: Taking taylor expansion of (- 1.0 z) in (z) around 0
5.382 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
5.382 * [taylor]: Taking taylor expansion of 1.0 in z
5.382 * [taylor]: Taking taylor expansion of z in z
5.382 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
5.382 * [taylor]: Taking taylor expansion of 1.0 in z
5.382 * [taylor]: Taking taylor expansion of z in z
5.386 * * * [progress]: simplifying candidates
5.386 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (fma (- (+ (/ 1 z) 1.0) t) (/ 2.0 t) (/ x y)))
  (log1p (fma (- (+ (/ 1 z) 1.0) t) (/ 2.0 t) (/ x y)))
  (* (- (+ (/ 1 z) 1.0) t) (/ 2.0 t))
  (log (fma (- (+ (/ 1 z) 1.0) t) (/ 2.0 t) (/ x y)))
  (exp (fma (- (+ (/ 1 z) 1.0) t) (/ 2.0 t) (/ x y)))
  (* (cbrt (fma (- (+ (/ 1 z) 1.0) t) (/ 2.0 t) (/ x y))) (cbrt (fma (- (+ (/ 1 z) 1.0) t) (/ 2.0 t) (/ x y))))
  (cbrt (fma (- (+ (/ 1 z) 1.0) t) (/ 2.0 t) (/ x y)))
  (* (* (fma (- (+ (/ 1 z) 1.0) t) (/ 2.0 t) (/ x y)) (fma (- (+ (/ 1 z) 1.0) t) (/ 2.0 t) (/ x y))) (fma (- (+ (/ 1 z) 1.0) t) (/ 2.0 t) (/ x y)))
  (sqrt (fma (- (+ (/ 1 z) 1.0) t) (/ 2.0 t) (/ x y)))
  (sqrt (fma (- (+ (/ 1 z) 1.0) t) (/ 2.0 t) (/ x y)))
  (expm1 (+ (/ 1 z) 1.0))
  (log1p (+ (/ 1 z) 1.0))
  (* (exp (/ 1 z)) (exp 1.0))
  (log (+ (/ 1 z) 1.0))
  (exp (+ (/ 1 z) 1.0))
  (* (cbrt (+ (/ 1 z) 1.0)) (cbrt (+ (/ 1 z) 1.0)))
  (cbrt (+ (/ 1 z) 1.0))
  (* (* (+ (/ 1 z) 1.0) (+ (/ 1 z) 1.0)) (+ (/ 1 z) 1.0))
  (sqrt (+ (/ 1 z) 1.0))
  (sqrt (+ (/ 1 z) 1.0))
  (+ (pow (/ 1 z) 3) (pow 1.0 3))
  (+ (* (/ 1 z) (/ 1 z)) (- (* 1.0 1.0) (* (/ 1 z) 1.0)))
  (- (* (/ 1 z) (/ 1 z)) (* 1.0 1.0))
  (- (/ 1 z) 1.0)
  (+ (/ 1 z) 1.0)
  (+ (/ 1 z) 1.0)
  (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t))))
  (- (+ (/ x y) (* 2.0 (/ 1 t))) 2.0)
  (- (+ (/ x y) (* 2.0 (/ 1 t))) 2.0)
  (+ (/ 1 z) 1.0)
  (+ (/ 1 z) 1.0)
  (+ (/ 1 z) 1.0)
5.388 * * [simplify]: iteration  0 :  54  enodes  (cost  376 )
5.398 * * [simplify]: iteration  1 :  133  enodes  (cost  371 )
5.431 * * [simplify]: iteration  2 :  302  enodes  (cost  322 )
5.511 * * [simplify]: iteration  3 :  800  enodes  (cost  322 )
5.841 * * [simplify]: iteration  4 :  3029  enodes  (cost  320 )
7.048 * * [simplify]: iteration  done :  5001  enodes  (cost  318 )
7.048 * [simplify]: Simplified to:
   (expm1 (fma (- (+ (/ 1 z) 1.0) t) (/ 2.0 t) (/ x y)))
  (log1p (fma (- (+ (/ 1 z) 1.0) t) (/ 2.0 t) (/ x y)))
  (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t)
  (log (fma (- (+ (/ 1 z) 1.0) t) (/ 2.0 t) (/ x y)))
  (exp (fma (- (+ (/ 1 z) 1.0) t) (/ 2.0 t) (/ x y)))
  (* (cbrt (fma (- (+ (/ 1 z) 1.0) t) (/ 2.0 t) (/ x y))) (cbrt (fma (- (+ (/ 1 z) 1.0) t) (/ 2.0 t) (/ x y))))
  (cbrt (fma (- (+ (/ 1 z) 1.0) t) (/ 2.0 t) (/ x y)))
  (pow (fma (- (+ (/ 1 z) 1.0) t) (/ 2.0 t) (/ x y)) 3)
  (sqrt (fma (- (+ (/ 1 z) 1.0) t) (/ 2.0 t) (/ x y)))
  (sqrt (fma (- (+ (/ 1 z) 1.0) t) (/ 2.0 t) (/ x y)))
  (expm1 (+ (/ 1 z) 1.0))
  (log1p (+ (/ 1 z) 1.0))
  (exp (+ (/ 1 z) 1.0))
  (log (+ (/ 1 z) 1.0))
  (exp (+ (/ 1 z) 1.0))
  (* (cbrt (+ (/ 1 z) 1.0)) (cbrt (+ (/ 1 z) 1.0)))
  (cbrt (+ (/ 1 z) 1.0))
  (pow (+ (/ 1 z) 1.0) 3)
  (sqrt (+ (/ 1 z) 1.0))
  (sqrt (+ (/ 1 z) 1.0))
  (+ (pow (/ 1 z) 3) (pow 1.0 3))
  (fma 1.0 1.0 (/ (- (/ 1 z) 1.0) z))
  (- (/ (/ 1 z) z) (* 1.0 1.0))
  (- (/ 1 z) 1.0)
  (+ (/ 1 z) 1.0)
  (+ (/ 1 z) 1.0)
  (fma (/ 1 t) (+ 2.0 (/ 2.0 z)) (/ x y))
  (+ (/ x y) (- (/ 2.0 t) 2.0))
  (+ (/ x y) (- (/ 2.0 t) 2.0))
  (+ (/ 1 z) 1.0)
  (+ (/ 1 z) 1.0)
  (+ (/ 1 z) 1.0)
7.048 * * * [progress]: adding candidates to table
7.207 * * [progress]: iteration 3 / 4
7.207 * * * [progress]: picking best candidate
7.221 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y)))>
7.221 * * * [progress]: localizing error
7.232 * * * [progress]: generating rewritten candidates
7.232 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
7.235 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
7.257 * * * [progress]: generating series expansions
7.257 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
7.257 * [approximate]: Taking taylor expansion of (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) in (t z) around 0
7.257 * [taylor]: Taking taylor expansion of (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) in z
7.257 * [taylor]: Taking taylor expansion of (fma (- 1.0 t) 2.0 (/ 2.0 z)) in z
7.257 * [taylor]: Rewrote expression to (+ (* (- 1.0 t) 2.0) (/ 2.0 z))
7.257 * [taylor]: Taking taylor expansion of (* (- 1.0 t) 2.0) in z
7.257 * [taylor]: Taking taylor expansion of (- 1.0 t) in z
7.257 * [taylor]: Taking taylor expansion of 1.0 in z
7.257 * [taylor]: Taking taylor expansion of t in z
7.257 * [taylor]: Taking taylor expansion of 2.0 in z
7.257 * [taylor]: Taking taylor expansion of (/ 2.0 z) in z
7.257 * [taylor]: Taking taylor expansion of 2.0 in z
7.257 * [taylor]: Taking taylor expansion of z in z
7.258 * [taylor]: Taking taylor expansion of t in z
7.259 * [taylor]: Taking taylor expansion of (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) in t
7.259 * [taylor]: Taking taylor expansion of (fma (- 1.0 t) 2.0 (/ 2.0 z)) in t
7.259 * [taylor]: Rewrote expression to (+ (* (- 1.0 t) 2.0) (/ 2.0 z))
7.259 * [taylor]: Taking taylor expansion of (* (- 1.0 t) 2.0) in t
7.259 * [taylor]: Taking taylor expansion of (- 1.0 t) in t
7.259 * [taylor]: Taking taylor expansion of 1.0 in t
7.259 * [taylor]: Taking taylor expansion of t in t
7.259 * [taylor]: Taking taylor expansion of 2.0 in t
7.259 * [taylor]: Taking taylor expansion of (/ 2.0 z) in t
7.259 * [taylor]: Taking taylor expansion of 2.0 in t
7.259 * [taylor]: Taking taylor expansion of z in t
7.259 * [taylor]: Taking taylor expansion of t in t
7.260 * [taylor]: Taking taylor expansion of (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) in t
7.260 * [taylor]: Taking taylor expansion of (fma (- 1.0 t) 2.0 (/ 2.0 z)) in t
7.260 * [taylor]: Rewrote expression to (+ (* (- 1.0 t) 2.0) (/ 2.0 z))
7.260 * [taylor]: Taking taylor expansion of (* (- 1.0 t) 2.0) in t
7.260 * [taylor]: Taking taylor expansion of (- 1.0 t) in t
7.260 * [taylor]: Taking taylor expansion of 1.0 in t
7.260 * [taylor]: Taking taylor expansion of t in t
7.260 * [taylor]: Taking taylor expansion of 2.0 in t
7.260 * [taylor]: Taking taylor expansion of (/ 2.0 z) in t
7.260 * [taylor]: Taking taylor expansion of 2.0 in t
7.260 * [taylor]: Taking taylor expansion of z in t
7.260 * [taylor]: Taking taylor expansion of t in t
7.262 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 z)) 2.0) in z
7.262 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in z
7.262 * [taylor]: Taking taylor expansion of 2.0 in z
7.262 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.262 * [taylor]: Taking taylor expansion of z in z
7.262 * [taylor]: Taking taylor expansion of 2.0 in z
7.266 * [taylor]: Taking taylor expansion of (- 2.0) in z
7.266 * [taylor]: Taking taylor expansion of 2.0 in z
7.270 * [taylor]: Taking taylor expansion of 0 in z
7.271 * [approximate]: Taking taylor expansion of (* t (fma (- 1.0 (/ 1 t)) 2.0 (* 2.0 z))) in (t z) around 0
7.271 * [taylor]: Taking taylor expansion of (* t (fma (- 1.0 (/ 1 t)) 2.0 (* 2.0 z))) in z
7.271 * [taylor]: Taking taylor expansion of t in z
7.271 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 t)) 2.0 (* 2.0 z)) in z
7.271 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 t)) 2.0) (* 2.0 z))
7.272 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 t)) 2.0) in z
7.272 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in z
7.272 * [taylor]: Taking taylor expansion of 1.0 in z
7.272 * [taylor]: Taking taylor expansion of (/ 1 t) in z
7.272 * [taylor]: Taking taylor expansion of t in z
7.272 * [taylor]: Taking taylor expansion of 2.0 in z
7.272 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
7.272 * [taylor]: Taking taylor expansion of 2.0 in z
7.272 * [taylor]: Taking taylor expansion of z in z
7.272 * [taylor]: Taking taylor expansion of (* t (fma (- 1.0 (/ 1 t)) 2.0 (* 2.0 z))) in t
7.272 * [taylor]: Taking taylor expansion of t in t
7.272 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 t)) 2.0 (* 2.0 z)) in t
7.272 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 t)) 2.0) (* 2.0 z))
7.272 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 t)) 2.0) in t
7.272 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
7.272 * [taylor]: Taking taylor expansion of 1.0 in t
7.272 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.272 * [taylor]: Taking taylor expansion of t in t
7.272 * [taylor]: Taking taylor expansion of 2.0 in t
7.272 * [taylor]: Taking taylor expansion of (* 2.0 z) in t
7.272 * [taylor]: Taking taylor expansion of 2.0 in t
7.272 * [taylor]: Taking taylor expansion of z in t
7.272 * [taylor]: Taking taylor expansion of (* t (fma (- 1.0 (/ 1 t)) 2.0 (* 2.0 z))) in t
7.272 * [taylor]: Taking taylor expansion of t in t
7.272 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 t)) 2.0 (* 2.0 z)) in t
7.273 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 t)) 2.0) (* 2.0 z))
7.273 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 t)) 2.0) in t
7.273 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
7.273 * [taylor]: Taking taylor expansion of 1.0 in t
7.273 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.273 * [taylor]: Taking taylor expansion of t in t
7.273 * [taylor]: Taking taylor expansion of 2.0 in t
7.273 * [taylor]: Taking taylor expansion of (* 2.0 z) in t
7.273 * [taylor]: Taking taylor expansion of 2.0 in t
7.273 * [taylor]: Taking taylor expansion of z in t
7.274 * [taylor]: Taking taylor expansion of 0 in z
7.277 * [taylor]: Taking taylor expansion of (- 2.0) in z
7.277 * [taylor]: Taking taylor expansion of 2.0 in z
7.280 * [taylor]: Taking taylor expansion of (+ (* 2.0 z) 2.0) in z
7.281 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
7.281 * [taylor]: Taking taylor expansion of 2.0 in z
7.281 * [taylor]: Taking taylor expansion of z in z
7.281 * [taylor]: Taking taylor expansion of 2.0 in z
7.285 * [taylor]: Taking taylor expansion of 0 in z
7.287 * [approximate]: Taking taylor expansion of (* -1 (* t (fma (+ (/ 1 t) 1.0) 2.0 (* -2.0 z)))) in (t z) around 0
7.287 * [taylor]: Taking taylor expansion of (* -1 (* t (fma (+ (/ 1 t) 1.0) 2.0 (* -2.0 z)))) in z
7.287 * [taylor]: Taking taylor expansion of -1 in z
7.287 * [taylor]: Taking taylor expansion of (* t (fma (+ (/ 1 t) 1.0) 2.0 (* -2.0 z))) in z
7.287 * [taylor]: Taking taylor expansion of t in z
7.287 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 t) 1.0) 2.0 (* -2.0 z)) in z
7.287 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 t) 1.0) 2.0) (* -2.0 z))
7.287 * [taylor]: Taking taylor expansion of (* (+ (/ 1 t) 1.0) 2.0) in z
7.287 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in z
7.287 * [taylor]: Taking taylor expansion of (/ 1 t) in z
7.287 * [taylor]: Taking taylor expansion of t in z
7.287 * [taylor]: Taking taylor expansion of 1.0 in z
7.287 * [taylor]: Taking taylor expansion of 2.0 in z
7.287 * [taylor]: Taking taylor expansion of (* -2.0 z) in z
7.287 * [taylor]: Taking taylor expansion of -2.0 in z
7.287 * [taylor]: Taking taylor expansion of z in z
7.287 * [taylor]: Taking taylor expansion of (* -1 (* t (fma (+ (/ 1 t) 1.0) 2.0 (* -2.0 z)))) in t
7.287 * [taylor]: Taking taylor expansion of -1 in t
7.287 * [taylor]: Taking taylor expansion of (* t (fma (+ (/ 1 t) 1.0) 2.0 (* -2.0 z))) in t
7.287 * [taylor]: Taking taylor expansion of t in t
7.287 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 t) 1.0) 2.0 (* -2.0 z)) in t
7.288 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 t) 1.0) 2.0) (* -2.0 z))
7.288 * [taylor]: Taking taylor expansion of (* (+ (/ 1 t) 1.0) 2.0) in t
7.288 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
7.288 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.288 * [taylor]: Taking taylor expansion of t in t
7.288 * [taylor]: Taking taylor expansion of 1.0 in t
7.288 * [taylor]: Taking taylor expansion of 2.0 in t
7.288 * [taylor]: Taking taylor expansion of (* -2.0 z) in t
7.288 * [taylor]: Taking taylor expansion of -2.0 in t
7.288 * [taylor]: Taking taylor expansion of z in t
7.288 * [taylor]: Taking taylor expansion of (* -1 (* t (fma (+ (/ 1 t) 1.0) 2.0 (* -2.0 z)))) in t
7.288 * [taylor]: Taking taylor expansion of -1 in t
7.288 * [taylor]: Taking taylor expansion of (* t (fma (+ (/ 1 t) 1.0) 2.0 (* -2.0 z))) in t
7.288 * [taylor]: Taking taylor expansion of t in t
7.288 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 t) 1.0) 2.0 (* -2.0 z)) in t
7.288 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 t) 1.0) 2.0) (* -2.0 z))
7.288 * [taylor]: Taking taylor expansion of (* (+ (/ 1 t) 1.0) 2.0) in t
7.288 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
7.288 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.288 * [taylor]: Taking taylor expansion of t in t
7.289 * [taylor]: Taking taylor expansion of 1.0 in t
7.289 * [taylor]: Taking taylor expansion of 2.0 in t
7.289 * [taylor]: Taking taylor expansion of (* -2.0 z) in t
7.289 * [taylor]: Taking taylor expansion of -2.0 in t
7.289 * [taylor]: Taking taylor expansion of z in t
7.291 * [taylor]: Taking taylor expansion of 0 in z
7.294 * [taylor]: Taking taylor expansion of (- 2.0) in z
7.294 * [taylor]: Taking taylor expansion of 2.0 in z
7.297 * [taylor]: Taking taylor expansion of (- (* 2.0 z) 2.0) in z
7.297 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
7.298 * [taylor]: Taking taylor expansion of 2.0 in z
7.298 * [taylor]: Taking taylor expansion of z in z
7.298 * [taylor]: Taking taylor expansion of 2.0 in z
7.303 * [taylor]: Taking taylor expansion of 0 in z
7.306 * * * * [progress]: [ 2 / 2 ] generating series at (2)
7.306 * [approximate]: Taking taylor expansion of (+ (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y)) in (t z x y) around 0
7.306 * [taylor]: Taking taylor expansion of (+ (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y)) in y
7.306 * [taylor]: Taking taylor expansion of (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) in y
7.306 * [taylor]: Taking taylor expansion of (fma (- 1.0 t) 2.0 (/ 2.0 z)) in y
7.306 * [taylor]: Rewrote expression to (+ (* (- 1.0 t) 2.0) (/ 2.0 z))
7.306 * [taylor]: Taking taylor expansion of (* (- 1.0 t) 2.0) in y
7.306 * [taylor]: Taking taylor expansion of (- 1.0 t) in y
7.306 * [taylor]: Taking taylor expansion of 1.0 in y
7.306 * [taylor]: Taking taylor expansion of t in y
7.306 * [taylor]: Taking taylor expansion of 2.0 in y
7.306 * [taylor]: Taking taylor expansion of (/ 2.0 z) in y
7.306 * [taylor]: Taking taylor expansion of 2.0 in y
7.306 * [taylor]: Taking taylor expansion of z in y
7.306 * [taylor]: Taking taylor expansion of t in y
7.307 * [taylor]: Taking taylor expansion of (/ x y) in y
7.307 * [taylor]: Taking taylor expansion of x in y
7.307 * [taylor]: Taking taylor expansion of y in y
7.307 * [taylor]: Taking taylor expansion of (+ (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y)) in x
7.307 * [taylor]: Taking taylor expansion of (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) in x
7.307 * [taylor]: Taking taylor expansion of (fma (- 1.0 t) 2.0 (/ 2.0 z)) in x
7.307 * [taylor]: Rewrote expression to (+ (* (- 1.0 t) 2.0) (/ 2.0 z))
7.307 * [taylor]: Taking taylor expansion of (* (- 1.0 t) 2.0) in x
7.307 * [taylor]: Taking taylor expansion of (- 1.0 t) in x
7.307 * [taylor]: Taking taylor expansion of 1.0 in x
7.307 * [taylor]: Taking taylor expansion of t in x
7.307 * [taylor]: Taking taylor expansion of 2.0 in x
7.307 * [taylor]: Taking taylor expansion of (/ 2.0 z) in x
7.307 * [taylor]: Taking taylor expansion of 2.0 in x
7.307 * [taylor]: Taking taylor expansion of z in x
7.307 * [taylor]: Taking taylor expansion of t in x
7.307 * [taylor]: Taking taylor expansion of (/ x y) in x
7.307 * [taylor]: Taking taylor expansion of x in x
7.307 * [taylor]: Taking taylor expansion of y in x
7.307 * [taylor]: Taking taylor expansion of (+ (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y)) in z
7.307 * [taylor]: Taking taylor expansion of (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) in z
7.307 * [taylor]: Taking taylor expansion of (fma (- 1.0 t) 2.0 (/ 2.0 z)) in z
7.307 * [taylor]: Rewrote expression to (+ (* (- 1.0 t) 2.0) (/ 2.0 z))
7.307 * [taylor]: Taking taylor expansion of (* (- 1.0 t) 2.0) in z
7.307 * [taylor]: Taking taylor expansion of (- 1.0 t) in z
7.307 * [taylor]: Taking taylor expansion of 1.0 in z
7.307 * [taylor]: Taking taylor expansion of t in z
7.308 * [taylor]: Taking taylor expansion of 2.0 in z
7.308 * [taylor]: Taking taylor expansion of (/ 2.0 z) in z
7.308 * [taylor]: Taking taylor expansion of 2.0 in z
7.308 * [taylor]: Taking taylor expansion of z in z
7.308 * [taylor]: Taking taylor expansion of t in z
7.308 * [taylor]: Taking taylor expansion of (/ x y) in z
7.308 * [taylor]: Taking taylor expansion of x in z
7.308 * [taylor]: Taking taylor expansion of y in z
7.309 * [taylor]: Taking taylor expansion of (+ (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y)) in t
7.309 * [taylor]: Taking taylor expansion of (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) in t
7.309 * [taylor]: Taking taylor expansion of (fma (- 1.0 t) 2.0 (/ 2.0 z)) in t
7.309 * [taylor]: Rewrote expression to (+ (* (- 1.0 t) 2.0) (/ 2.0 z))
7.309 * [taylor]: Taking taylor expansion of (* (- 1.0 t) 2.0) in t
7.309 * [taylor]: Taking taylor expansion of (- 1.0 t) in t
7.309 * [taylor]: Taking taylor expansion of 1.0 in t
7.309 * [taylor]: Taking taylor expansion of t in t
7.309 * [taylor]: Taking taylor expansion of 2.0 in t
7.309 * [taylor]: Taking taylor expansion of (/ 2.0 z) in t
7.309 * [taylor]: Taking taylor expansion of 2.0 in t
7.309 * [taylor]: Taking taylor expansion of z in t
7.309 * [taylor]: Taking taylor expansion of t in t
7.310 * [taylor]: Taking taylor expansion of (/ x y) in t
7.310 * [taylor]: Taking taylor expansion of x in t
7.310 * [taylor]: Taking taylor expansion of y in t
7.310 * [taylor]: Taking taylor expansion of (+ (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y)) in t
7.310 * [taylor]: Taking taylor expansion of (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) in t
7.310 * [taylor]: Taking taylor expansion of (fma (- 1.0 t) 2.0 (/ 2.0 z)) in t
7.310 * [taylor]: Rewrote expression to (+ (* (- 1.0 t) 2.0) (/ 2.0 z))
7.310 * [taylor]: Taking taylor expansion of (* (- 1.0 t) 2.0) in t
7.310 * [taylor]: Taking taylor expansion of (- 1.0 t) in t
7.310 * [taylor]: Taking taylor expansion of 1.0 in t
7.310 * [taylor]: Taking taylor expansion of t in t
7.310 * [taylor]: Taking taylor expansion of 2.0 in t
7.310 * [taylor]: Taking taylor expansion of (/ 2.0 z) in t
7.310 * [taylor]: Taking taylor expansion of 2.0 in t
7.310 * [taylor]: Taking taylor expansion of z in t
7.310 * [taylor]: Taking taylor expansion of t in t
7.311 * [taylor]: Taking taylor expansion of (/ x y) in t
7.311 * [taylor]: Taking taylor expansion of x in t
7.312 * [taylor]: Taking taylor expansion of y in t
7.312 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 z)) 2.0) in z
7.312 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in z
7.312 * [taylor]: Taking taylor expansion of 2.0 in z
7.312 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.312 * [taylor]: Taking taylor expansion of z in z
7.312 * [taylor]: Taking taylor expansion of 2.0 in z
7.313 * [taylor]: Taking taylor expansion of 2.0 in x
7.313 * [taylor]: Taking taylor expansion of 2.0 in y
7.317 * [taylor]: Taking taylor expansion of (- (/ x y) 2.0) in z
7.317 * [taylor]: Taking taylor expansion of (/ x y) in z
7.317 * [taylor]: Taking taylor expansion of x in z
7.317 * [taylor]: Taking taylor expansion of y in z
7.317 * [taylor]: Taking taylor expansion of 2.0 in z
7.318 * [taylor]: Taking taylor expansion of 2.0 in x
7.318 * [taylor]: Taking taylor expansion of 2.0 in y
7.318 * [taylor]: Taking taylor expansion of 0 in y
7.321 * [taylor]: Taking taylor expansion of 0 in z
7.322 * [taylor]: Taking taylor expansion of (- (/ x y) 2.0) in x
7.322 * [taylor]: Taking taylor expansion of (/ x y) in x
7.322 * [taylor]: Taking taylor expansion of x in x
7.322 * [taylor]: Taking taylor expansion of y in x
7.322 * [taylor]: Taking taylor expansion of 2.0 in x
7.323 * [taylor]: Taking taylor expansion of (- 2.0) in y
7.323 * [taylor]: Taking taylor expansion of 2.0 in y
7.324 * [taylor]: Taking taylor expansion of 0 in x
7.324 * [taylor]: Taking taylor expansion of 0 in y
7.324 * [taylor]: Taking taylor expansion of 0 in y
7.324 * [taylor]: Taking taylor expansion of 0 in y
7.328 * [taylor]: Taking taylor expansion of 0 in z
7.328 * [taylor]: Taking taylor expansion of 0 in x
7.328 * [taylor]: Taking taylor expansion of 0 in y
7.328 * [taylor]: Taking taylor expansion of 0 in x
7.328 * [taylor]: Taking taylor expansion of 0 in y
7.330 * [taylor]: Taking taylor expansion of 0 in x
7.330 * [taylor]: Taking taylor expansion of 0 in y
7.330 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.330 * [taylor]: Taking taylor expansion of y in y
7.331 * [approximate]: Taking taylor expansion of (+ (* t (fma (- 1.0 (/ 1 t)) 2.0 (* 2.0 z))) (/ y x)) in (t z x y) around 0
7.332 * [taylor]: Taking taylor expansion of (+ (* t (fma (- 1.0 (/ 1 t)) 2.0 (* 2.0 z))) (/ y x)) in y
7.332 * [taylor]: Taking taylor expansion of (* t (fma (- 1.0 (/ 1 t)) 2.0 (* 2.0 z))) in y
7.332 * [taylor]: Taking taylor expansion of t in y
7.332 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 t)) 2.0 (* 2.0 z)) in y
7.332 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 t)) 2.0) (* 2.0 z))
7.332 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 t)) 2.0) in y
7.332 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in y
7.332 * [taylor]: Taking taylor expansion of 1.0 in y
7.332 * [taylor]: Taking taylor expansion of (/ 1 t) in y
7.332 * [taylor]: Taking taylor expansion of t in y
7.332 * [taylor]: Taking taylor expansion of 2.0 in y
7.332 * [taylor]: Taking taylor expansion of (* 2.0 z) in y
7.332 * [taylor]: Taking taylor expansion of 2.0 in y
7.332 * [taylor]: Taking taylor expansion of z in y
7.332 * [taylor]: Taking taylor expansion of (/ y x) in y
7.332 * [taylor]: Taking taylor expansion of y in y
7.332 * [taylor]: Taking taylor expansion of x in y
7.332 * [taylor]: Taking taylor expansion of (+ (* t (fma (- 1.0 (/ 1 t)) 2.0 (* 2.0 z))) (/ y x)) in x
7.332 * [taylor]: Taking taylor expansion of (* t (fma (- 1.0 (/ 1 t)) 2.0 (* 2.0 z))) in x
7.332 * [taylor]: Taking taylor expansion of t in x
7.332 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 t)) 2.0 (* 2.0 z)) in x
7.332 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 t)) 2.0) (* 2.0 z))
7.332 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 t)) 2.0) in x
7.332 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in x
7.332 * [taylor]: Taking taylor expansion of 1.0 in x
7.332 * [taylor]: Taking taylor expansion of (/ 1 t) in x
7.332 * [taylor]: Taking taylor expansion of t in x
7.332 * [taylor]: Taking taylor expansion of 2.0 in x
7.332 * [taylor]: Taking taylor expansion of (* 2.0 z) in x
7.332 * [taylor]: Taking taylor expansion of 2.0 in x
7.332 * [taylor]: Taking taylor expansion of z in x
7.332 * [taylor]: Taking taylor expansion of (/ y x) in x
7.332 * [taylor]: Taking taylor expansion of y in x
7.332 * [taylor]: Taking taylor expansion of x in x
7.333 * [taylor]: Taking taylor expansion of (+ (* t (fma (- 1.0 (/ 1 t)) 2.0 (* 2.0 z))) (/ y x)) in z
7.333 * [taylor]: Taking taylor expansion of (* t (fma (- 1.0 (/ 1 t)) 2.0 (* 2.0 z))) in z
7.333 * [taylor]: Taking taylor expansion of t in z
7.333 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 t)) 2.0 (* 2.0 z)) in z
7.333 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 t)) 2.0) (* 2.0 z))
7.333 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 t)) 2.0) in z
7.333 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in z
7.333 * [taylor]: Taking taylor expansion of 1.0 in z
7.333 * [taylor]: Taking taylor expansion of (/ 1 t) in z
7.333 * [taylor]: Taking taylor expansion of t in z
7.333 * [taylor]: Taking taylor expansion of 2.0 in z
7.333 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
7.333 * [taylor]: Taking taylor expansion of 2.0 in z
7.333 * [taylor]: Taking taylor expansion of z in z
7.333 * [taylor]: Taking taylor expansion of (/ y x) in z
7.333 * [taylor]: Taking taylor expansion of y in z
7.333 * [taylor]: Taking taylor expansion of x in z
7.333 * [taylor]: Taking taylor expansion of (+ (* t (fma (- 1.0 (/ 1 t)) 2.0 (* 2.0 z))) (/ y x)) in t
7.333 * [taylor]: Taking taylor expansion of (* t (fma (- 1.0 (/ 1 t)) 2.0 (* 2.0 z))) in t
7.333 * [taylor]: Taking taylor expansion of t in t
7.333 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 t)) 2.0 (* 2.0 z)) in t
7.333 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 t)) 2.0) (* 2.0 z))
7.333 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 t)) 2.0) in t
7.333 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
7.333 * [taylor]: Taking taylor expansion of 1.0 in t
7.333 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.333 * [taylor]: Taking taylor expansion of t in t
7.334 * [taylor]: Taking taylor expansion of 2.0 in t
7.334 * [taylor]: Taking taylor expansion of (* 2.0 z) in t
7.334 * [taylor]: Taking taylor expansion of 2.0 in t
7.334 * [taylor]: Taking taylor expansion of z in t
7.334 * [taylor]: Taking taylor expansion of (/ y x) in t
7.334 * [taylor]: Taking taylor expansion of y in t
7.334 * [taylor]: Taking taylor expansion of x in t
7.334 * [taylor]: Taking taylor expansion of (+ (* t (fma (- 1.0 (/ 1 t)) 2.0 (* 2.0 z))) (/ y x)) in t
7.334 * [taylor]: Taking taylor expansion of (* t (fma (- 1.0 (/ 1 t)) 2.0 (* 2.0 z))) in t
7.334 * [taylor]: Taking taylor expansion of t in t
7.334 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 t)) 2.0 (* 2.0 z)) in t
7.334 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 t)) 2.0) (* 2.0 z))
7.334 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 t)) 2.0) in t
7.334 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
7.334 * [taylor]: Taking taylor expansion of 1.0 in t
7.334 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.334 * [taylor]: Taking taylor expansion of t in t
7.335 * [taylor]: Taking taylor expansion of 2.0 in t
7.335 * [taylor]: Taking taylor expansion of (* 2.0 z) in t
7.335 * [taylor]: Taking taylor expansion of 2.0 in t
7.335 * [taylor]: Taking taylor expansion of z in t
7.335 * [taylor]: Taking taylor expansion of (/ y x) in t
7.335 * [taylor]: Taking taylor expansion of y in t
7.335 * [taylor]: Taking taylor expansion of x in t
7.337 * [taylor]: Taking taylor expansion of 0 in z
7.337 * [taylor]: Taking taylor expansion of 0 in x
7.340 * [taylor]: Taking taylor expansion of (- (/ y x) 2.0) in z
7.340 * [taylor]: Taking taylor expansion of (/ y x) in z
7.340 * [taylor]: Taking taylor expansion of y in z
7.340 * [taylor]: Taking taylor expansion of x in z
7.340 * [taylor]: Taking taylor expansion of 2.0 in z
7.341 * [taylor]: Taking taylor expansion of (- (/ y x) 2.0) in x
7.341 * [taylor]: Taking taylor expansion of (/ y x) in x
7.341 * [taylor]: Taking taylor expansion of y in x
7.341 * [taylor]: Taking taylor expansion of x in x
7.341 * [taylor]: Taking taylor expansion of 2.0 in x
7.341 * [taylor]: Taking taylor expansion of y in y
7.341 * [taylor]: Taking taylor expansion of 0 in x
7.341 * [taylor]: Taking taylor expansion of 0 in y
7.344 * [taylor]: Taking taylor expansion of (+ (* 2.0 z) 2.0) in z
7.344 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
7.344 * [taylor]: Taking taylor expansion of 2.0 in z
7.344 * [taylor]: Taking taylor expansion of z in z
7.344 * [taylor]: Taking taylor expansion of 2.0 in z
7.345 * [taylor]: Taking taylor expansion of 2.0 in x
7.345 * [taylor]: Taking taylor expansion of 0 in x
7.346 * [taylor]: Taking taylor expansion of 0 in x
7.347 * [taylor]: Taking taylor expansion of (- 2.0) in y
7.347 * [taylor]: Taking taylor expansion of 2.0 in y
7.348 * [taylor]: Taking taylor expansion of 0 in y
7.348 * [taylor]: Taking taylor expansion of 0 in y
7.355 * [taylor]: Taking taylor expansion of 0 in z
7.355 * [taylor]: Taking taylor expansion of 0 in x
7.356 * [taylor]: Taking taylor expansion of 2.0 in x
7.357 * [taylor]: Taking taylor expansion of 0 in x
7.357 * [taylor]: Taking taylor expansion of 0 in x
7.357 * [taylor]: Taking taylor expansion of 2.0 in y
7.358 * [approximate]: Taking taylor expansion of (- (/ y x) (* t (fma (+ (/ 1 t) 1.0) 2.0 (* -2.0 z)))) in (t z x y) around 0
7.358 * [taylor]: Taking taylor expansion of (- (/ y x) (* t (fma (+ (/ 1 t) 1.0) 2.0 (* -2.0 z)))) in y
7.359 * [taylor]: Taking taylor expansion of (/ y x) in y
7.359 * [taylor]: Taking taylor expansion of y in y
7.359 * [taylor]: Taking taylor expansion of x in y
7.359 * [taylor]: Taking taylor expansion of (* t (fma (+ (/ 1 t) 1.0) 2.0 (* -2.0 z))) in y
7.359 * [taylor]: Taking taylor expansion of t in y
7.359 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 t) 1.0) 2.0 (* -2.0 z)) in y
7.359 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 t) 1.0) 2.0) (* -2.0 z))
7.359 * [taylor]: Taking taylor expansion of (* (+ (/ 1 t) 1.0) 2.0) in y
7.359 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in y
7.359 * [taylor]: Taking taylor expansion of (/ 1 t) in y
7.359 * [taylor]: Taking taylor expansion of t in y
7.359 * [taylor]: Taking taylor expansion of 1.0 in y
7.359 * [taylor]: Taking taylor expansion of 2.0 in y
7.359 * [taylor]: Taking taylor expansion of (* -2.0 z) in y
7.359 * [taylor]: Taking taylor expansion of -2.0 in y
7.359 * [taylor]: Taking taylor expansion of z in y
7.359 * [taylor]: Taking taylor expansion of (- (/ y x) (* t (fma (+ (/ 1 t) 1.0) 2.0 (* -2.0 z)))) in x
7.359 * [taylor]: Taking taylor expansion of (/ y x) in x
7.359 * [taylor]: Taking taylor expansion of y in x
7.359 * [taylor]: Taking taylor expansion of x in x
7.359 * [taylor]: Taking taylor expansion of (* t (fma (+ (/ 1 t) 1.0) 2.0 (* -2.0 z))) in x
7.359 * [taylor]: Taking taylor expansion of t in x
7.359 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 t) 1.0) 2.0 (* -2.0 z)) in x
7.359 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 t) 1.0) 2.0) (* -2.0 z))
7.359 * [taylor]: Taking taylor expansion of (* (+ (/ 1 t) 1.0) 2.0) in x
7.359 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in x
7.359 * [taylor]: Taking taylor expansion of (/ 1 t) in x
7.359 * [taylor]: Taking taylor expansion of t in x
7.359 * [taylor]: Taking taylor expansion of 1.0 in x
7.359 * [taylor]: Taking taylor expansion of 2.0 in x
7.359 * [taylor]: Taking taylor expansion of (* -2.0 z) in x
7.359 * [taylor]: Taking taylor expansion of -2.0 in x
7.360 * [taylor]: Taking taylor expansion of z in x
7.360 * [taylor]: Taking taylor expansion of (- (/ y x) (* t (fma (+ (/ 1 t) 1.0) 2.0 (* -2.0 z)))) in z
7.360 * [taylor]: Taking taylor expansion of (/ y x) in z
7.360 * [taylor]: Taking taylor expansion of y in z
7.360 * [taylor]: Taking taylor expansion of x in z
7.360 * [taylor]: Taking taylor expansion of (* t (fma (+ (/ 1 t) 1.0) 2.0 (* -2.0 z))) in z
7.360 * [taylor]: Taking taylor expansion of t in z
7.360 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 t) 1.0) 2.0 (* -2.0 z)) in z
7.360 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 t) 1.0) 2.0) (* -2.0 z))
7.360 * [taylor]: Taking taylor expansion of (* (+ (/ 1 t) 1.0) 2.0) in z
7.360 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in z
7.360 * [taylor]: Taking taylor expansion of (/ 1 t) in z
7.360 * [taylor]: Taking taylor expansion of t in z
7.360 * [taylor]: Taking taylor expansion of 1.0 in z
7.360 * [taylor]: Taking taylor expansion of 2.0 in z
7.360 * [taylor]: Taking taylor expansion of (* -2.0 z) in z
7.360 * [taylor]: Taking taylor expansion of -2.0 in z
7.360 * [taylor]: Taking taylor expansion of z in z
7.360 * [taylor]: Taking taylor expansion of (- (/ y x) (* t (fma (+ (/ 1 t) 1.0) 2.0 (* -2.0 z)))) in t
7.360 * [taylor]: Taking taylor expansion of (/ y x) in t
7.360 * [taylor]: Taking taylor expansion of y in t
7.360 * [taylor]: Taking taylor expansion of x in t
7.360 * [taylor]: Taking taylor expansion of (* t (fma (+ (/ 1 t) 1.0) 2.0 (* -2.0 z))) in t
7.360 * [taylor]: Taking taylor expansion of t in t
7.360 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 t) 1.0) 2.0 (* -2.0 z)) in t
7.360 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 t) 1.0) 2.0) (* -2.0 z))
7.360 * [taylor]: Taking taylor expansion of (* (+ (/ 1 t) 1.0) 2.0) in t
7.360 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
7.360 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.360 * [taylor]: Taking taylor expansion of t in t
7.361 * [taylor]: Taking taylor expansion of 1.0 in t
7.361 * [taylor]: Taking taylor expansion of 2.0 in t
7.361 * [taylor]: Taking taylor expansion of (* -2.0 z) in t
7.361 * [taylor]: Taking taylor expansion of -2.0 in t
7.361 * [taylor]: Taking taylor expansion of z in t
7.361 * [taylor]: Taking taylor expansion of (- (/ y x) (* t (fma (+ (/ 1 t) 1.0) 2.0 (* -2.0 z)))) in t
7.361 * [taylor]: Taking taylor expansion of (/ y x) in t
7.361 * [taylor]: Taking taylor expansion of y in t
7.361 * [taylor]: Taking taylor expansion of x in t
7.361 * [taylor]: Taking taylor expansion of (* t (fma (+ (/ 1 t) 1.0) 2.0 (* -2.0 z))) in t
7.361 * [taylor]: Taking taylor expansion of t in t
7.361 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 t) 1.0) 2.0 (* -2.0 z)) in t
7.361 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 t) 1.0) 2.0) (* -2.0 z))
7.361 * [taylor]: Taking taylor expansion of (* (+ (/ 1 t) 1.0) 2.0) in t
7.361 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
7.361 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.361 * [taylor]: Taking taylor expansion of t in t
7.362 * [taylor]: Taking taylor expansion of 1.0 in t
7.362 * [taylor]: Taking taylor expansion of 2.0 in t
7.362 * [taylor]: Taking taylor expansion of (* -2.0 z) in t
7.362 * [taylor]: Taking taylor expansion of -2.0 in t
7.362 * [taylor]: Taking taylor expansion of z in t
7.363 * [taylor]: Taking taylor expansion of 0 in z
7.363 * [taylor]: Taking taylor expansion of 0 in x
7.367 * [taylor]: Taking taylor expansion of (- (/ y x) 2.0) in z
7.367 * [taylor]: Taking taylor expansion of (/ y x) in z
7.367 * [taylor]: Taking taylor expansion of y in z
7.367 * [taylor]: Taking taylor expansion of x in z
7.367 * [taylor]: Taking taylor expansion of 2.0 in z
7.368 * [taylor]: Taking taylor expansion of (- (/ y x) 2.0) in x
7.368 * [taylor]: Taking taylor expansion of (/ y x) in x
7.368 * [taylor]: Taking taylor expansion of y in x
7.368 * [taylor]: Taking taylor expansion of x in x
7.368 * [taylor]: Taking taylor expansion of 2.0 in x
7.368 * [taylor]: Taking taylor expansion of y in y
7.368 * [taylor]: Taking taylor expansion of 0 in x
7.368 * [taylor]: Taking taylor expansion of 0 in y
7.371 * [taylor]: Taking taylor expansion of (- (* 2.0 z) 2.0) in z
7.371 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
7.371 * [taylor]: Taking taylor expansion of 2.0 in z
7.371 * [taylor]: Taking taylor expansion of z in z
7.371 * [taylor]: Taking taylor expansion of 2.0 in z
7.372 * [taylor]: Taking taylor expansion of (- 2.0) in x
7.372 * [taylor]: Taking taylor expansion of 2.0 in x
7.373 * [taylor]: Taking taylor expansion of 0 in x
7.373 * [taylor]: Taking taylor expansion of 0 in x
7.374 * [taylor]: Taking taylor expansion of (- 2.0) in y
7.374 * [taylor]: Taking taylor expansion of 2.0 in y
7.375 * [taylor]: Taking taylor expansion of 0 in y
7.375 * [taylor]: Taking taylor expansion of 0 in y
7.379 * [taylor]: Taking taylor expansion of 0 in z
7.379 * [taylor]: Taking taylor expansion of 0 in x
7.380 * [taylor]: Taking taylor expansion of 2.0 in x
7.381 * [taylor]: Taking taylor expansion of 0 in x
7.381 * [taylor]: Taking taylor expansion of 0 in x
7.382 * [taylor]: Taking taylor expansion of (- 2.0) in y
7.382 * [taylor]: Taking taylor expansion of 2.0 in y
7.383 * * * [progress]: simplifying candidates
7.384 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t))
  (log1p (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t))
  (- (log (fma (- 1.0 t) 2.0 (/ 2.0 z))) (log t))
  (log (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t))
  (exp (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t))
  (/ (* (* (fma (- 1.0 t) 2.0 (/ 2.0 z)) (fma (- 1.0 t) 2.0 (/ 2.0 z))) (fma (- 1.0 t) 2.0 (/ 2.0 z))) (* (* t t) t))
  (* (cbrt (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t)) (cbrt (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t)))
  (cbrt (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t))
  (* (* (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t)) (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t))
  (sqrt (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t))
  (sqrt (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t))
  (- (fma (- 1.0 t) 2.0 (/ 2.0 z)))
  (- t)
  (/ (* (cbrt (fma (- 1.0 t) 2.0 (/ 2.0 z))) (cbrt (fma (- 1.0 t) 2.0 (/ 2.0 z)))) (* (cbrt t) (cbrt t)))
  (/ (cbrt (fma (- 1.0 t) 2.0 (/ 2.0 z))) (cbrt t))
  (/ (* (cbrt (fma (- 1.0 t) 2.0 (/ 2.0 z))) (cbrt (fma (- 1.0 t) 2.0 (/ 2.0 z)))) (sqrt t))
  (/ (cbrt (fma (- 1.0 t) 2.0 (/ 2.0 z))) (sqrt t))
  (/ (* (cbrt (fma (- 1.0 t) 2.0 (/ 2.0 z))) (cbrt (fma (- 1.0 t) 2.0 (/ 2.0 z)))) 1)
  (/ (cbrt (fma (- 1.0 t) 2.0 (/ 2.0 z))) t)
  (/ (sqrt (fma (- 1.0 t) 2.0 (/ 2.0 z))) (* (cbrt t) (cbrt t)))
  (/ (sqrt (fma (- 1.0 t) 2.0 (/ 2.0 z))) (cbrt t))
  (/ (sqrt (fma (- 1.0 t) 2.0 (/ 2.0 z))) (sqrt t))
  (/ (sqrt (fma (- 1.0 t) 2.0 (/ 2.0 z))) (sqrt t))
  (/ (sqrt (fma (- 1.0 t) 2.0 (/ 2.0 z))) 1)
  (/ (sqrt (fma (- 1.0 t) 2.0 (/ 2.0 z))) t)
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) (cbrt t))
  (/ 1 (sqrt t))
  (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) (sqrt t))
  (/ 1 1)
  (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t)
  (/ 1 t)
  (/ t (fma (- 1.0 t) 2.0 (/ 2.0 z)))
  (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) (* (cbrt t) (cbrt t)))
  (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) (sqrt t))
  (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) 1)
  (/ t (cbrt (fma (- 1.0 t) 2.0 (/ 2.0 z))))
  (/ t (sqrt (fma (- 1.0 t) 2.0 (/ 2.0 z))))
  (/ t (fma (- 1.0 t) 2.0 (/ 2.0 z)))
  (expm1 (+ (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y)))
  (log1p (+ (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y)))
  (* (exp (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t)) (exp (/ x y)))
  (log (+ (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y)))
  (exp (+ (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y)))
  (* (cbrt (+ (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y))) (cbrt (+ (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y))))
  (cbrt (+ (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y)))
  (* (* (+ (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y)) (+ (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y))) (+ (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y)))
  (sqrt (+ (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y)))
  (sqrt (+ (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y)))
  (+ (* (fma (- 1.0 t) 2.0 (/ 2.0 z)) y) (* t x))
  (* t y)
  (+ (pow (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) 3) (pow (/ x y) 3))
  (+ (* (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t)) (- (* (/ x y) (/ x y)) (* (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y))))
  (- (* (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t)) (* (/ x y) (/ x y)))
  (- (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y))
  (+ (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y))
  (+ (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y))
  (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0)
  (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0)
  (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0)
  (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t))))
  (- (+ (/ x y) (* 2.0 (/ 1 t))) 2.0)
  (- (+ (/ x y) (* 2.0 (/ 1 t))) 2.0)
7.387 * * [simplify]: iteration  0 :  94  enodes  (cost  919 )
7.403 * * [simplify]: iteration  1 :  211  enodes  (cost  876 )
7.452 * * [simplify]: iteration  2 :  511  enodes  (cost  815 )
7.607 * * [simplify]: iteration  3 :  1324  enodes  (cost  808 )
8.197 * * [simplify]: iteration  4 :  3911  enodes  (cost  807 )
9.179 * * [simplify]: iteration  done :  5000  enodes  (cost  807 )
9.180 * [simplify]: Simplified to:
   (expm1 (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t))
  (log1p (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t))
  (log (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t))
  (log (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t))
  (exp (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t))
  (pow (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) 3)
  (* (cbrt (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t)) (cbrt (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t)))
  (cbrt (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t))
  (pow (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) 3)
  (sqrt (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t))
  (sqrt (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t))
  (- (fma (- 1.0 t) 2.0 (/ 2.0 z)))
  (- t)
  (/ (* (cbrt (fma (- 1.0 t) 2.0 (/ 2.0 z))) (cbrt (fma (- 1.0 t) 2.0 (/ 2.0 z)))) (* (cbrt t) (cbrt t)))
  (/ (cbrt (fma (- 1.0 t) 2.0 (/ 2.0 z))) (cbrt t))
  (/ (* (cbrt (fma (- 1.0 t) 2.0 (/ 2.0 z))) (cbrt (fma (- 1.0 t) 2.0 (/ 2.0 z)))) (sqrt t))
  (/ (cbrt (fma (- 1.0 t) 2.0 (/ 2.0 z))) (sqrt t))
  (* (cbrt (fma (- 1.0 t) 2.0 (/ 2.0 z))) (cbrt (fma (- 1.0 t) 2.0 (/ 2.0 z))))
  (/ (cbrt (fma (- 1.0 t) 2.0 (/ 2.0 z))) t)
  (/ (sqrt (fma (- 1.0 t) 2.0 (/ 2.0 z))) (* (cbrt t) (cbrt t)))
  (/ (sqrt (fma (- 1.0 t) 2.0 (/ 2.0 z))) (cbrt t))
  (/ (sqrt (fma (- 1.0 t) 2.0 (/ 2.0 z))) (sqrt t))
  (/ (sqrt (fma (- 1.0 t) 2.0 (/ 2.0 z))) (sqrt t))
  (sqrt (fma (- 1.0 t) 2.0 (/ 2.0 z)))
  (/ (sqrt (fma (- 1.0 t) 2.0 (/ 2.0 z))) t)
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) (cbrt t))
  (/ 1 (sqrt t))
  (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) (sqrt t))
  1
  (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t)
  (/ 1 t)
  (/ t (fma (- 1.0 t) 2.0 (/ 2.0 z)))
  (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) (* (cbrt t) (cbrt t)))
  (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) (sqrt t))
  (fma (- 1.0 t) 2.0 (/ 2.0 z))
  (/ t (cbrt (fma (- 1.0 t) 2.0 (/ 2.0 z))))
  (/ t (sqrt (fma (- 1.0 t) 2.0 (/ 2.0 z))))
  (/ t (fma (- 1.0 t) 2.0 (/ 2.0 z)))
  (expm1 (+ (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y)))
  (log1p (+ (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y)))
  (exp (+ (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y)))
  (log (+ (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y)))
  (exp (+ (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y)))
  (* (cbrt (+ (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y))) (cbrt (+ (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y))))
  (cbrt (+ (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y)))
  (pow (+ (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y)) 3)
  (sqrt (+ (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y)))
  (sqrt (+ (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y)))
  (fma (fma (- 1.0 t) 2.0 (/ 2.0 z)) y (* t x))
  (* t y)
  (+ (pow (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) 3) (pow (/ x y) 3))
  (fma (/ x y) (/ x y) (* (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (- (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y))))
  (- (* (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t)) (* (/ x y) (/ x y)))
  (- (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y))
  (+ (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y))
  (+ (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y))
  (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z))
  (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z))
  (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z))
  (fma (/ 1 t) (+ 2.0 (/ 2.0 z)) (/ x y))
  (+ (/ x y) (- (/ 2.0 t) 2.0))
  (+ (/ x y) (- (/ 2.0 t) 2.0))
9.180 * * * [progress]: adding candidates to table
9.405 * * [progress]: iteration 4 / 4
9.405 * * * [progress]: picking best candidate
9.412 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y)))>
9.412 * * * [progress]: localizing error
9.422 * * * [progress]: generating rewritten candidates
9.423 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2)
9.429 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
9.512 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
9.914 * * * [progress]: generating series expansions
9.914 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2)
9.914 * [approximate]: Taking taylor expansion of (/ 2.0 (* t z)) in (t z) around 0
9.914 * [taylor]: Taking taylor expansion of (/ 2.0 (* t z)) in z
9.914 * [taylor]: Taking taylor expansion of 2.0 in z
9.914 * [taylor]: Taking taylor expansion of (* t z) in z
9.914 * [taylor]: Taking taylor expansion of t in z
9.914 * [taylor]: Taking taylor expansion of z in z
9.915 * [taylor]: Taking taylor expansion of (/ 2.0 (* t z)) in t
9.915 * [taylor]: Taking taylor expansion of 2.0 in t
9.915 * [taylor]: Taking taylor expansion of (* t z) in t
9.915 * [taylor]: Taking taylor expansion of t in t
9.915 * [taylor]: Taking taylor expansion of z in t
9.916 * [taylor]: Taking taylor expansion of (/ 2.0 (* t z)) in t
9.916 * [taylor]: Taking taylor expansion of 2.0 in t
9.916 * [taylor]: Taking taylor expansion of (* t z) in t
9.916 * [taylor]: Taking taylor expansion of t in t
9.916 * [taylor]: Taking taylor expansion of z in t
9.916 * [taylor]: Taking taylor expansion of (/ 2.0 z) in z
9.916 * [taylor]: Taking taylor expansion of 2.0 in z
9.916 * [taylor]: Taking taylor expansion of z in z
9.917 * [taylor]: Taking taylor expansion of 0 in z
9.919 * [taylor]: Taking taylor expansion of 0 in z
9.921 * [taylor]: Taking taylor expansion of 0 in z
9.922 * [approximate]: Taking taylor expansion of (* 2.0 (* t z)) in (t z) around 0
9.922 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
9.922 * [taylor]: Taking taylor expansion of 2.0 in z
9.922 * [taylor]: Taking taylor expansion of (* t z) in z
9.922 * [taylor]: Taking taylor expansion of t in z
9.922 * [taylor]: Taking taylor expansion of z in z
9.922 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
9.922 * [taylor]: Taking taylor expansion of 2.0 in t
9.922 * [taylor]: Taking taylor expansion of (* t z) in t
9.922 * [taylor]: Taking taylor expansion of t in t
9.922 * [taylor]: Taking taylor expansion of z in t
9.922 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
9.922 * [taylor]: Taking taylor expansion of 2.0 in t
9.922 * [taylor]: Taking taylor expansion of (* t z) in t
9.922 * [taylor]: Taking taylor expansion of t in t
9.922 * [taylor]: Taking taylor expansion of z in t
9.922 * [taylor]: Taking taylor expansion of 0 in z
9.923 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
9.923 * [taylor]: Taking taylor expansion of 2.0 in z
9.923 * [taylor]: Taking taylor expansion of z in z
9.925 * [taylor]: Taking taylor expansion of 0 in z
9.927 * [taylor]: Taking taylor expansion of 0 in z
9.930 * [taylor]: Taking taylor expansion of 0 in z
9.930 * [approximate]: Taking taylor expansion of (* 2.0 (* t z)) in (t z) around 0
9.930 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
9.930 * [taylor]: Taking taylor expansion of 2.0 in z
9.930 * [taylor]: Taking taylor expansion of (* t z) in z
9.930 * [taylor]: Taking taylor expansion of t in z
9.930 * [taylor]: Taking taylor expansion of z in z
9.930 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
9.930 * [taylor]: Taking taylor expansion of 2.0 in t
9.931 * [taylor]: Taking taylor expansion of (* t z) in t
9.931 * [taylor]: Taking taylor expansion of t in t
9.931 * [taylor]: Taking taylor expansion of z in t
9.931 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
9.931 * [taylor]: Taking taylor expansion of 2.0 in t
9.931 * [taylor]: Taking taylor expansion of (* t z) in t
9.931 * [taylor]: Taking taylor expansion of t in t
9.931 * [taylor]: Taking taylor expansion of z in t
9.931 * [taylor]: Taking taylor expansion of 0 in z
9.932 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
9.932 * [taylor]: Taking taylor expansion of 2.0 in z
9.932 * [taylor]: Taking taylor expansion of z in z
9.933 * [taylor]: Taking taylor expansion of 0 in z
9.936 * [taylor]: Taking taylor expansion of 0 in z
9.938 * [taylor]: Taking taylor expansion of 0 in z
9.939 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
9.939 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0) in (t z) around 0
9.939 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0) in z
9.939 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in z
9.939 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in z
9.939 * [taylor]: Taking taylor expansion of 2.0 in z
9.939 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
9.939 * [taylor]: Taking taylor expansion of (* t z) in z
9.939 * [taylor]: Taking taylor expansion of t in z
9.939 * [taylor]: Taking taylor expansion of z in z
9.939 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in z
9.939 * [taylor]: Taking taylor expansion of 2.0 in z
9.940 * [taylor]: Taking taylor expansion of (/ 1 t) in z
9.940 * [taylor]: Taking taylor expansion of t in z
9.940 * [taylor]: Taking taylor expansion of 2.0 in z
9.940 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0) in t
9.940 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in t
9.940 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in t
9.940 * [taylor]: Taking taylor expansion of 2.0 in t
9.940 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
9.940 * [taylor]: Taking taylor expansion of (* t z) in t
9.940 * [taylor]: Taking taylor expansion of t in t
9.940 * [taylor]: Taking taylor expansion of z in t
9.940 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
9.940 * [taylor]: Taking taylor expansion of 2.0 in t
9.940 * [taylor]: Taking taylor expansion of (/ 1 t) in t
9.940 * [taylor]: Taking taylor expansion of t in t
9.940 * [taylor]: Taking taylor expansion of 2.0 in t
9.940 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0) in t
9.940 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in t
9.941 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in t
9.941 * [taylor]: Taking taylor expansion of 2.0 in t
9.941 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
9.941 * [taylor]: Taking taylor expansion of (* t z) in t
9.941 * [taylor]: Taking taylor expansion of t in t
9.941 * [taylor]: Taking taylor expansion of z in t
9.941 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
9.941 * [taylor]: Taking taylor expansion of 2.0 in t
9.941 * [taylor]: Taking taylor expansion of (/ 1 t) in t
9.941 * [taylor]: Taking taylor expansion of t in t
9.941 * [taylor]: Taking taylor expansion of 2.0 in t
9.942 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 z)) 2.0) in z
9.942 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in z
9.942 * [taylor]: Taking taylor expansion of 2.0 in z
9.942 * [taylor]: Taking taylor expansion of (/ 1 z) in z
9.942 * [taylor]: Taking taylor expansion of z in z
9.942 * [taylor]: Taking taylor expansion of 2.0 in z
9.946 * [taylor]: Taking taylor expansion of (- 2.0) in z
9.946 * [taylor]: Taking taylor expansion of 2.0 in z
9.951 * [taylor]: Taking taylor expansion of 0 in z
9.952 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (* 2.0 t)) 2.0) in (t z) around 0
9.952 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (* 2.0 t)) 2.0) in z
9.952 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in z
9.952 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
9.952 * [taylor]: Taking taylor expansion of 2.0 in z
9.952 * [taylor]: Taking taylor expansion of (* t z) in z
9.952 * [taylor]: Taking taylor expansion of t in z
9.952 * [taylor]: Taking taylor expansion of z in z
9.952 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
9.952 * [taylor]: Taking taylor expansion of 2.0 in z
9.952 * [taylor]: Taking taylor expansion of t in z
9.953 * [taylor]: Taking taylor expansion of 2.0 in z
9.953 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (* 2.0 t)) 2.0) in t
9.953 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in t
9.953 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
9.953 * [taylor]: Taking taylor expansion of 2.0 in t
9.953 * [taylor]: Taking taylor expansion of (* t z) in t
9.953 * [taylor]: Taking taylor expansion of t in t
9.953 * [taylor]: Taking taylor expansion of z in t
9.953 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
9.953 * [taylor]: Taking taylor expansion of 2.0 in t
9.953 * [taylor]: Taking taylor expansion of t in t
9.953 * [taylor]: Taking taylor expansion of 2.0 in t
9.953 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (* 2.0 t)) 2.0) in t
9.953 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in t
9.953 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
9.953 * [taylor]: Taking taylor expansion of 2.0 in t
9.953 * [taylor]: Taking taylor expansion of (* t z) in t
9.953 * [taylor]: Taking taylor expansion of t in t
9.953 * [taylor]: Taking taylor expansion of z in t
9.953 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
9.953 * [taylor]: Taking taylor expansion of 2.0 in t
9.953 * [taylor]: Taking taylor expansion of t in t
9.953 * [taylor]: Taking taylor expansion of 2.0 in t
9.955 * [taylor]: Taking taylor expansion of (- 2.0) in z
9.955 * [taylor]: Taking taylor expansion of 2.0 in z
9.958 * [taylor]: Taking taylor expansion of (+ (* 2.0 z) 2.0) in z
9.958 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
9.958 * [taylor]: Taking taylor expansion of 2.0 in z
9.958 * [taylor]: Taking taylor expansion of z in z
9.958 * [taylor]: Taking taylor expansion of 2.0 in z
9.961 * [taylor]: Taking taylor expansion of 0 in z
9.963 * [approximate]: Taking taylor expansion of (- (* 2.0 (* t z)) (+ (* 2.0 t) 2.0)) in (t z) around 0
9.963 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (+ (* 2.0 t) 2.0)) in z
9.963 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
9.963 * [taylor]: Taking taylor expansion of 2.0 in z
9.963 * [taylor]: Taking taylor expansion of (* t z) in z
9.963 * [taylor]: Taking taylor expansion of t in z
9.963 * [taylor]: Taking taylor expansion of z in z
9.963 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in z
9.963 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
9.963 * [taylor]: Taking taylor expansion of 2.0 in z
9.963 * [taylor]: Taking taylor expansion of t in z
9.963 * [taylor]: Taking taylor expansion of 2.0 in z
9.963 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (+ (* 2.0 t) 2.0)) in t
9.963 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
9.963 * [taylor]: Taking taylor expansion of 2.0 in t
9.963 * [taylor]: Taking taylor expansion of (* t z) in t
9.963 * [taylor]: Taking taylor expansion of t in t
9.963 * [taylor]: Taking taylor expansion of z in t
9.963 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in t
9.963 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
9.963 * [taylor]: Taking taylor expansion of 2.0 in t
9.963 * [taylor]: Taking taylor expansion of t in t
9.963 * [taylor]: Taking taylor expansion of 2.0 in t
9.963 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (+ (* 2.0 t) 2.0)) in t
9.964 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
9.964 * [taylor]: Taking taylor expansion of 2.0 in t
9.964 * [taylor]: Taking taylor expansion of (* t z) in t
9.964 * [taylor]: Taking taylor expansion of t in t
9.964 * [taylor]: Taking taylor expansion of z in t
9.964 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in t
9.964 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
9.964 * [taylor]: Taking taylor expansion of 2.0 in t
9.964 * [taylor]: Taking taylor expansion of t in t
9.964 * [taylor]: Taking taylor expansion of 2.0 in t
9.965 * [taylor]: Taking taylor expansion of (- 2.0) in z
9.966 * [taylor]: Taking taylor expansion of 2.0 in z
9.974 * [taylor]: Taking taylor expansion of (- (* 2.0 z) 2.0) in z
9.975 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
9.975 * [taylor]: Taking taylor expansion of 2.0 in z
9.975 * [taylor]: Taking taylor expansion of z in z
9.975 * [taylor]: Taking taylor expansion of 2.0 in z
9.979 * [taylor]: Taking taylor expansion of 0 in z
9.981 * * * * [progress]: [ 3 / 3 ] generating series at (2)
9.982 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in (t z x y) around 0
9.982 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in y
9.982 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in y
9.982 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in y
9.982 * [taylor]: Taking taylor expansion of 2.0 in y
9.982 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
9.982 * [taylor]: Taking taylor expansion of (* t z) in y
9.982 * [taylor]: Taking taylor expansion of t in y
9.982 * [taylor]: Taking taylor expansion of z in y
9.982 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in y
9.982 * [taylor]: Taking taylor expansion of (/ x y) in y
9.982 * [taylor]: Taking taylor expansion of x in y
9.982 * [taylor]: Taking taylor expansion of y in y
9.982 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in y
9.982 * [taylor]: Taking taylor expansion of 2.0 in y
9.982 * [taylor]: Taking taylor expansion of (/ 1 t) in y
9.982 * [taylor]: Taking taylor expansion of t in y
9.982 * [taylor]: Taking taylor expansion of 2.0 in y
9.982 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in x
9.982 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in x
9.982 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in x
9.982 * [taylor]: Taking taylor expansion of 2.0 in x
9.982 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
9.982 * [taylor]: Taking taylor expansion of (* t z) in x
9.982 * [taylor]: Taking taylor expansion of t in x
9.982 * [taylor]: Taking taylor expansion of z in x
9.982 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in x
9.982 * [taylor]: Taking taylor expansion of (/ x y) in x
9.982 * [taylor]: Taking taylor expansion of x in x
9.982 * [taylor]: Taking taylor expansion of y in x
9.982 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in x
9.982 * [taylor]: Taking taylor expansion of 2.0 in x
9.982 * [taylor]: Taking taylor expansion of (/ 1 t) in x
9.982 * [taylor]: Taking taylor expansion of t in x
9.982 * [taylor]: Taking taylor expansion of 2.0 in x
9.982 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in z
9.982 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in z
9.982 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in z
9.982 * [taylor]: Taking taylor expansion of 2.0 in z
9.982 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
9.982 * [taylor]: Taking taylor expansion of (* t z) in z
9.983 * [taylor]: Taking taylor expansion of t in z
9.983 * [taylor]: Taking taylor expansion of z in z
9.983 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in z
9.983 * [taylor]: Taking taylor expansion of (/ x y) in z
9.983 * [taylor]: Taking taylor expansion of x in z
9.983 * [taylor]: Taking taylor expansion of y in z
9.983 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in z
9.983 * [taylor]: Taking taylor expansion of 2.0 in z
9.983 * [taylor]: Taking taylor expansion of (/ 1 t) in z
9.983 * [taylor]: Taking taylor expansion of t in z
9.983 * [taylor]: Taking taylor expansion of 2.0 in z
9.983 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in t
9.983 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in t
9.983 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in t
9.983 * [taylor]: Taking taylor expansion of 2.0 in t
9.983 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
9.983 * [taylor]: Taking taylor expansion of (* t z) in t
9.983 * [taylor]: Taking taylor expansion of t in t
9.983 * [taylor]: Taking taylor expansion of z in t
9.984 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in t
9.984 * [taylor]: Taking taylor expansion of (/ x y) in t
9.984 * [taylor]: Taking taylor expansion of x in t
9.984 * [taylor]: Taking taylor expansion of y in t
9.984 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
9.984 * [taylor]: Taking taylor expansion of 2.0 in t
9.984 * [taylor]: Taking taylor expansion of (/ 1 t) in t
9.984 * [taylor]: Taking taylor expansion of t in t
9.984 * [taylor]: Taking taylor expansion of 2.0 in t
9.984 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in t
9.984 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in t
9.984 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in t
9.984 * [taylor]: Taking taylor expansion of 2.0 in t
9.984 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
9.984 * [taylor]: Taking taylor expansion of (* t z) in t
9.984 * [taylor]: Taking taylor expansion of t in t
9.984 * [taylor]: Taking taylor expansion of z in t
9.985 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in t
9.985 * [taylor]: Taking taylor expansion of (/ x y) in t
9.985 * [taylor]: Taking taylor expansion of x in t
9.985 * [taylor]: Taking taylor expansion of y in t
9.985 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
9.985 * [taylor]: Taking taylor expansion of 2.0 in t
9.985 * [taylor]: Taking taylor expansion of (/ 1 t) in t
9.985 * [taylor]: Taking taylor expansion of t in t
9.985 * [taylor]: Taking taylor expansion of 2.0 in t
9.986 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 z)) 2.0) in z
9.986 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in z
9.986 * [taylor]: Taking taylor expansion of 2.0 in z
9.986 * [taylor]: Taking taylor expansion of (/ 1 z) in z
9.986 * [taylor]: Taking taylor expansion of z in z
9.987 * [taylor]: Taking taylor expansion of 2.0 in z
9.987 * [taylor]: Taking taylor expansion of 2.0 in x
9.987 * [taylor]: Taking taylor expansion of 2.0 in y
9.990 * [taylor]: Taking taylor expansion of (- (/ x y) 2.0) in z
9.990 * [taylor]: Taking taylor expansion of (/ x y) in z
9.990 * [taylor]: Taking taylor expansion of x in z
9.990 * [taylor]: Taking taylor expansion of y in z
9.990 * [taylor]: Taking taylor expansion of 2.0 in z
9.991 * [taylor]: Taking taylor expansion of 2.0 in x
9.991 * [taylor]: Taking taylor expansion of 2.0 in y
9.991 * [taylor]: Taking taylor expansion of 0 in y
9.995 * [taylor]: Taking taylor expansion of 0 in z
9.996 * [taylor]: Taking taylor expansion of (- (/ x y) 2.0) in x
9.996 * [taylor]: Taking taylor expansion of (/ x y) in x
9.996 * [taylor]: Taking taylor expansion of x in x
9.996 * [taylor]: Taking taylor expansion of y in x
9.996 * [taylor]: Taking taylor expansion of 2.0 in x
9.997 * [taylor]: Taking taylor expansion of (- 2.0) in y
9.997 * [taylor]: Taking taylor expansion of 2.0 in y
9.998 * [taylor]: Taking taylor expansion of 0 in x
9.998 * [taylor]: Taking taylor expansion of 0 in y
9.998 * [taylor]: Taking taylor expansion of 0 in y
9.998 * [taylor]: Taking taylor expansion of 0 in y
10.003 * [taylor]: Taking taylor expansion of 0 in z
10.003 * [taylor]: Taking taylor expansion of 0 in x
10.003 * [taylor]: Taking taylor expansion of 0 in y
10.004 * [taylor]: Taking taylor expansion of 0 in x
10.004 * [taylor]: Taking taylor expansion of 0 in y
10.005 * [taylor]: Taking taylor expansion of 0 in x
10.005 * [taylor]: Taking taylor expansion of 0 in y
10.006 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.006 * [taylor]: Taking taylor expansion of y in y
10.007 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in (t z x y) around 0
10.007 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in y
10.007 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in y
10.007 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in y
10.007 * [taylor]: Taking taylor expansion of 2.0 in y
10.007 * [taylor]: Taking taylor expansion of (* t z) in y
10.007 * [taylor]: Taking taylor expansion of t in y
10.007 * [taylor]: Taking taylor expansion of z in y
10.007 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in y
10.007 * [taylor]: Taking taylor expansion of (* 2.0 t) in y
10.007 * [taylor]: Taking taylor expansion of 2.0 in y
10.007 * [taylor]: Taking taylor expansion of t in y
10.007 * [taylor]: Taking taylor expansion of (/ y x) in y
10.007 * [taylor]: Taking taylor expansion of y in y
10.007 * [taylor]: Taking taylor expansion of x in y
10.007 * [taylor]: Taking taylor expansion of 2.0 in y
10.007 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in x
10.007 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in x
10.007 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in x
10.007 * [taylor]: Taking taylor expansion of 2.0 in x
10.007 * [taylor]: Taking taylor expansion of (* t z) in x
10.007 * [taylor]: Taking taylor expansion of t in x
10.007 * [taylor]: Taking taylor expansion of z in x
10.007 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in x
10.007 * [taylor]: Taking taylor expansion of (* 2.0 t) in x
10.007 * [taylor]: Taking taylor expansion of 2.0 in x
10.007 * [taylor]: Taking taylor expansion of t in x
10.007 * [taylor]: Taking taylor expansion of (/ y x) in x
10.007 * [taylor]: Taking taylor expansion of y in x
10.007 * [taylor]: Taking taylor expansion of x in x
10.008 * [taylor]: Taking taylor expansion of 2.0 in x
10.008 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in z
10.008 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in z
10.008 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
10.008 * [taylor]: Taking taylor expansion of 2.0 in z
10.008 * [taylor]: Taking taylor expansion of (* t z) in z
10.008 * [taylor]: Taking taylor expansion of t in z
10.008 * [taylor]: Taking taylor expansion of z in z
10.008 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in z
10.008 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
10.008 * [taylor]: Taking taylor expansion of 2.0 in z
10.008 * [taylor]: Taking taylor expansion of t in z
10.008 * [taylor]: Taking taylor expansion of (/ y x) in z
10.008 * [taylor]: Taking taylor expansion of y in z
10.008 * [taylor]: Taking taylor expansion of x in z
10.008 * [taylor]: Taking taylor expansion of 2.0 in z
10.008 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in t
10.008 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in t
10.008 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
10.008 * [taylor]: Taking taylor expansion of 2.0 in t
10.008 * [taylor]: Taking taylor expansion of (* t z) in t
10.008 * [taylor]: Taking taylor expansion of t in t
10.008 * [taylor]: Taking taylor expansion of z in t
10.008 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in t
10.008 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
10.008 * [taylor]: Taking taylor expansion of 2.0 in t
10.008 * [taylor]: Taking taylor expansion of t in t
10.008 * [taylor]: Taking taylor expansion of (/ y x) in t
10.008 * [taylor]: Taking taylor expansion of y in t
10.008 * [taylor]: Taking taylor expansion of x in t
10.008 * [taylor]: Taking taylor expansion of 2.0 in t
10.008 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in t
10.008 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in t
10.008 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
10.008 * [taylor]: Taking taylor expansion of 2.0 in t
10.008 * [taylor]: Taking taylor expansion of (* t z) in t
10.008 * [taylor]: Taking taylor expansion of t in t
10.008 * [taylor]: Taking taylor expansion of z in t
10.008 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in t
10.008 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
10.008 * [taylor]: Taking taylor expansion of 2.0 in t
10.008 * [taylor]: Taking taylor expansion of t in t
10.008 * [taylor]: Taking taylor expansion of (/ y x) in t
10.008 * [taylor]: Taking taylor expansion of y in t
10.008 * [taylor]: Taking taylor expansion of x in t
10.008 * [taylor]: Taking taylor expansion of 2.0 in t
10.010 * [taylor]: Taking taylor expansion of (- (/ y x) 2.0) in z
10.010 * [taylor]: Taking taylor expansion of (/ y x) in z
10.010 * [taylor]: Taking taylor expansion of y in z
10.010 * [taylor]: Taking taylor expansion of x in z
10.010 * [taylor]: Taking taylor expansion of 2.0 in z
10.011 * [taylor]: Taking taylor expansion of (- (/ y x) 2.0) in x
10.011 * [taylor]: Taking taylor expansion of (/ y x) in x
10.011 * [taylor]: Taking taylor expansion of y in x
10.011 * [taylor]: Taking taylor expansion of x in x
10.011 * [taylor]: Taking taylor expansion of 2.0 in x
10.011 * [taylor]: Taking taylor expansion of y in y
10.013 * [taylor]: Taking taylor expansion of (+ (* 2.0 z) 2.0) in z
10.013 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
10.013 * [taylor]: Taking taylor expansion of 2.0 in z
10.013 * [taylor]: Taking taylor expansion of z in z
10.013 * [taylor]: Taking taylor expansion of 2.0 in z
10.014 * [taylor]: Taking taylor expansion of 2.0 in x
10.015 * [taylor]: Taking taylor expansion of 0 in x
10.016 * [taylor]: Taking taylor expansion of (- 2.0) in y
10.016 * [taylor]: Taking taylor expansion of 2.0 in y
10.019 * [taylor]: Taking taylor expansion of 0 in z
10.019 * [taylor]: Taking taylor expansion of 0 in x
10.021 * [taylor]: Taking taylor expansion of 2.0 in x
10.021 * [taylor]: Taking taylor expansion of 0 in x
10.021 * [taylor]: Taking taylor expansion of 2.0 in y
10.023 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in (t z x y) around 0
10.023 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in y
10.023 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in y
10.023 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in y
10.023 * [taylor]: Taking taylor expansion of 2.0 in y
10.023 * [taylor]: Taking taylor expansion of (* t z) in y
10.023 * [taylor]: Taking taylor expansion of t in y
10.023 * [taylor]: Taking taylor expansion of z in y
10.023 * [taylor]: Taking taylor expansion of (/ y x) in y
10.023 * [taylor]: Taking taylor expansion of y in y
10.023 * [taylor]: Taking taylor expansion of x in y
10.023 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in y
10.023 * [taylor]: Taking taylor expansion of (* 2.0 t) in y
10.023 * [taylor]: Taking taylor expansion of 2.0 in y
10.023 * [taylor]: Taking taylor expansion of t in y
10.023 * [taylor]: Taking taylor expansion of 2.0 in y
10.023 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in x
10.023 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in x
10.023 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in x
10.023 * [taylor]: Taking taylor expansion of 2.0 in x
10.023 * [taylor]: Taking taylor expansion of (* t z) in x
10.023 * [taylor]: Taking taylor expansion of t in x
10.023 * [taylor]: Taking taylor expansion of z in x
10.023 * [taylor]: Taking taylor expansion of (/ y x) in x
10.023 * [taylor]: Taking taylor expansion of y in x
10.023 * [taylor]: Taking taylor expansion of x in x
10.023 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in x
10.023 * [taylor]: Taking taylor expansion of (* 2.0 t) in x
10.023 * [taylor]: Taking taylor expansion of 2.0 in x
10.023 * [taylor]: Taking taylor expansion of t in x
10.023 * [taylor]: Taking taylor expansion of 2.0 in x
10.023 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in z
10.023 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in z
10.023 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z
10.023 * [taylor]: Taking taylor expansion of 2.0 in z
10.023 * [taylor]: Taking taylor expansion of (* t z) in z
10.023 * [taylor]: Taking taylor expansion of t in z
10.023 * [taylor]: Taking taylor expansion of z in z
10.023 * [taylor]: Taking taylor expansion of (/ y x) in z
10.023 * [taylor]: Taking taylor expansion of y in z
10.023 * [taylor]: Taking taylor expansion of x in z
10.023 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in z
10.023 * [taylor]: Taking taylor expansion of (* 2.0 t) in z
10.023 * [taylor]: Taking taylor expansion of 2.0 in z
10.023 * [taylor]: Taking taylor expansion of t in z
10.023 * [taylor]: Taking taylor expansion of 2.0 in z
10.023 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in t
10.023 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in t
10.023 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
10.024 * [taylor]: Taking taylor expansion of 2.0 in t
10.024 * [taylor]: Taking taylor expansion of (* t z) in t
10.024 * [taylor]: Taking taylor expansion of t in t
10.024 * [taylor]: Taking taylor expansion of z in t
10.024 * [taylor]: Taking taylor expansion of (/ y x) in t
10.024 * [taylor]: Taking taylor expansion of y in t
10.024 * [taylor]: Taking taylor expansion of x in t
10.024 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in t
10.024 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
10.024 * [taylor]: Taking taylor expansion of 2.0 in t
10.024 * [taylor]: Taking taylor expansion of t in t
10.024 * [taylor]: Taking taylor expansion of 2.0 in t
10.024 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in t
10.024 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in t
10.024 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t
10.024 * [taylor]: Taking taylor expansion of 2.0 in t
10.024 * [taylor]: Taking taylor expansion of (* t z) in t
10.024 * [taylor]: Taking taylor expansion of t in t
10.024 * [taylor]: Taking taylor expansion of z in t
10.024 * [taylor]: Taking taylor expansion of (/ y x) in t
10.024 * [taylor]: Taking taylor expansion of y in t
10.024 * [taylor]: Taking taylor expansion of x in t
10.024 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in t
10.024 * [taylor]: Taking taylor expansion of (* 2.0 t) in t
10.024 * [taylor]: Taking taylor expansion of 2.0 in t
10.024 * [taylor]: Taking taylor expansion of t in t
10.024 * [taylor]: Taking taylor expansion of 2.0 in t
10.026 * [taylor]: Taking taylor expansion of (- (/ y x) 2.0) in z
10.026 * [taylor]: Taking taylor expansion of (/ y x) in z
10.026 * [taylor]: Taking taylor expansion of y in z
10.026 * [taylor]: Taking taylor expansion of x in z
10.026 * [taylor]: Taking taylor expansion of 2.0 in z
10.027 * [taylor]: Taking taylor expansion of (- (/ y x) 2.0) in x
10.027 * [taylor]: Taking taylor expansion of (/ y x) in x
10.027 * [taylor]: Taking taylor expansion of y in x
10.027 * [taylor]: Taking taylor expansion of x in x
10.027 * [taylor]: Taking taylor expansion of 2.0 in x
10.027 * [taylor]: Taking taylor expansion of y in y
10.030 * [taylor]: Taking taylor expansion of (- (* 2.0 z) 2.0) in z
10.030 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
10.030 * [taylor]: Taking taylor expansion of 2.0 in z
10.030 * [taylor]: Taking taylor expansion of z in z
10.030 * [taylor]: Taking taylor expansion of 2.0 in z
10.031 * [taylor]: Taking taylor expansion of (- 2.0) in x
10.031 * [taylor]: Taking taylor expansion of 2.0 in x
10.032 * [taylor]: Taking taylor expansion of 0 in x
10.033 * [taylor]: Taking taylor expansion of (- 2.0) in y
10.033 * [taylor]: Taking taylor expansion of 2.0 in y
10.036 * [taylor]: Taking taylor expansion of 0 in z
10.036 * [taylor]: Taking taylor expansion of 0 in x
10.038 * [taylor]: Taking taylor expansion of 2.0 in x
10.038 * [taylor]: Taking taylor expansion of 0 in x
10.039 * [taylor]: Taking taylor expansion of (- 2.0) in y
10.039 * [taylor]: Taking taylor expansion of 2.0 in y
10.040 * * * [progress]: simplifying candidates
10.044 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (/ (/ 2.0 t) z))
  (log1p (/ (/ 2.0 t) z))
  (- (- (log 2.0) (log t)) (log z))
  (- (log (/ 2.0 t)) (log z))
  (log (/ (/ 2.0 t) z))
  (exp (/ (/ 2.0 t) z))
  (/ (/ (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* z z) z))
  (/ (* (* (/ 2.0 t) (/ 2.0 t)) (/ 2.0 t)) (* (* z z) z))
  (* (cbrt (/ (/ 2.0 t) z)) (cbrt (/ (/ 2.0 t) z)))
  (cbrt (/ (/ 2.0 t) z))
  (* (* (/ (/ 2.0 t) z) (/ (/ 2.0 t) z)) (/ (/ 2.0 t) z))
  (sqrt (/ (/ 2.0 t) z))
  (sqrt (/ (/ 2.0 t) z))
  (- (/ 2.0 t))
  (- z)
  (/ (* (cbrt (/ 2.0 t)) (cbrt (/ 2.0 t))) (* (cbrt z) (cbrt z)))
  (/ (cbrt (/ 2.0 t)) (cbrt z))
  (/ (* (cbrt (/ 2.0 t)) (cbrt (/ 2.0 t))) (sqrt z))
  (/ (cbrt (/ 2.0 t)) (sqrt z))
  (/ (* (cbrt (/ 2.0 t)) (cbrt (/ 2.0 t))) 1)
  (/ (cbrt (/ 2.0 t)) z)
  (/ (sqrt (/ 2.0 t)) (* (cbrt z) (cbrt z)))
  (/ (sqrt (/ 2.0 t)) (cbrt z))
  (/ (sqrt (/ 2.0 t)) (sqrt z))
  (/ (sqrt (/ 2.0 t)) (sqrt z))
  (/ (sqrt (/ 2.0 t)) 1)
  (/ (sqrt (/ 2.0 t)) z)
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt t) (cbrt t))) (* (cbrt z) (cbrt z)))
  (/ (/ (cbrt 2.0) (cbrt t)) (cbrt z))
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt t) (cbrt t))) (sqrt z))
  (/ (/ (cbrt 2.0) (cbrt t)) (sqrt z))
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt t) (cbrt t))) 1)
  (/ (/ (cbrt 2.0) (cbrt t)) z)
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt t)) (* (cbrt z) (cbrt z)))
  (/ (/ (cbrt 2.0) (sqrt t)) (cbrt z))
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt t)) (sqrt z))
  (/ (/ (cbrt 2.0) (sqrt t)) (sqrt z))
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt t)) 1)
  (/ (/ (cbrt 2.0) (sqrt t)) z)
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (* (cbrt z) (cbrt z)))
  (/ (/ (cbrt 2.0) t) (cbrt z))
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (sqrt z))
  (/ (/ (cbrt 2.0) t) (sqrt z))
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) 1) 1)
  (/ (/ (cbrt 2.0) t) z)
  (/ (/ (sqrt 2.0) (* (cbrt t) (cbrt t))) (* (cbrt z) (cbrt z)))
  (/ (/ (sqrt 2.0) (cbrt t)) (cbrt z))
  (/ (/ (sqrt 2.0) (* (cbrt t) (cbrt t))) (sqrt z))
  (/ (/ (sqrt 2.0) (cbrt t)) (sqrt z))
  (/ (/ (sqrt 2.0) (* (cbrt t) (cbrt t))) 1)
  (/ (/ (sqrt 2.0) (cbrt t)) z)
  (/ (/ (sqrt 2.0) (sqrt t)) (* (cbrt z) (cbrt z)))
  (/ (/ (sqrt 2.0) (sqrt t)) (cbrt z))
  (/ (/ (sqrt 2.0) (sqrt t)) (sqrt z))
  (/ (/ (sqrt 2.0) (sqrt t)) (sqrt z))
  (/ (/ (sqrt 2.0) (sqrt t)) 1)
  (/ (/ (sqrt 2.0) (sqrt t)) z)
  (/ (/ (sqrt 2.0) 1) (* (cbrt z) (cbrt z)))
  (/ (/ (sqrt 2.0) t) (cbrt z))
  (/ (/ (sqrt 2.0) 1) (sqrt z))
  (/ (/ (sqrt 2.0) t) (sqrt z))
  (/ (/ (sqrt 2.0) 1) 1)
  (/ (/ (sqrt 2.0) t) z)
  (/ (/ 1 (* (cbrt t) (cbrt t))) (* (cbrt z) (cbrt z)))
  (/ (/ 2.0 (cbrt t)) (cbrt z))
  (/ (/ 1 (* (cbrt t) (cbrt t))) (sqrt z))
  (/ (/ 2.0 (cbrt t)) (sqrt z))
  (/ (/ 1 (* (cbrt t) (cbrt t))) 1)
  (/ (/ 2.0 (cbrt t)) z)
  (/ (/ 1 (sqrt t)) (* (cbrt z) (cbrt z)))
  (/ (/ 2.0 (sqrt t)) (cbrt z))
  (/ (/ 1 (sqrt t)) (sqrt z))
  (/ (/ 2.0 (sqrt t)) (sqrt z))
  (/ (/ 1 (sqrt t)) 1)
  (/ (/ 2.0 (sqrt t)) z)
  (/ (/ 1 1) (* (cbrt z) (cbrt z)))
  (/ (/ 2.0 t) (cbrt z))
  (/ (/ 1 1) (sqrt z))
  (/ (/ 2.0 t) (sqrt z))
  (/ (/ 1 1) 1)
  (/ (/ 2.0 t) z)
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (/ 2.0 t) (cbrt z))
  (/ 1 (sqrt z))
  (/ (/ 2.0 t) (sqrt z))
  (/ 1 1)
  (/ (/ 2.0 t) z)
  (/ 2.0 (* (cbrt z) (cbrt z)))
  (/ (/ 1 t) (cbrt z))
  (/ 2.0 (sqrt z))
  (/ (/ 1 t) (sqrt z))
  (/ 2.0 1)
  (/ (/ 1 t) z)
  (/ 1 z)
  (/ z (/ 2.0 t))
  (/ (/ 2.0 t) (* (cbrt z) (cbrt z)))
  (/ (/ 2.0 t) (sqrt z))
  (/ (/ 2.0 t) 1)
  (/ z (cbrt (/ 2.0 t)))
  (/ z (sqrt (/ 2.0 t)))
  (/ z (/ (cbrt 2.0) (cbrt t)))
  (/ z (/ (cbrt 2.0) (sqrt t)))
  (/ z (/ (cbrt 2.0) t))
  (/ z (/ (sqrt 2.0) (cbrt t)))
  (/ z (/ (sqrt 2.0) (sqrt t)))
  (/ z (/ (sqrt 2.0) t))
  (/ z (/ 2.0 (cbrt t)))
  (/ z (/ 2.0 (sqrt t)))
  (/ z (/ 2.0 t))
  (/ z (/ 2.0 t))
  (/ z (/ 1 t))
  (* z t)
  (expm1 (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)))
  (log1p (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)))
  (* (/ (exp (/ 2.0 t)) (exp 2.0)) (exp (/ (/ 2.0 t) z)))
  (* (exp (- (/ 2.0 t) 2.0)) (exp (/ (/ 2.0 t) z)))
  (log (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)))
  (exp (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)))
  (* (cbrt (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z))) (cbrt (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z))))
  (cbrt (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)))
  (* (* (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z))) (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)))
  (sqrt (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)))
  (sqrt (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)))
  (+ (* (- (pow (/ 2.0 t) 3) (pow 2.0 3)) z) (* (+ (* (/ 2.0 t) (/ 2.0 t)) (+ (* 2.0 2.0) (* (/ 2.0 t) 2.0))) (/ 2.0 t)))
  (* (+ (* (/ 2.0 t) (/ 2.0 t)) (+ (* 2.0 2.0) (* (/ 2.0 t) 2.0))) z)
  (+ (* (- (* (/ 2.0 t) (/ 2.0 t)) (* 2.0 2.0)) z) (* (+ (/ 2.0 t) 2.0) (/ 2.0 t)))
  (* (+ (/ 2.0 t) 2.0) z)
  (+ (pow (- (/ 2.0 t) 2.0) 3) (pow (/ (/ 2.0 t) z) 3))
  (+ (* (- (/ 2.0 t) 2.0) (- (/ 2.0 t) 2.0)) (- (* (/ (/ 2.0 t) z) (/ (/ 2.0 t) z)) (* (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z))))
  (- (* (- (/ 2.0 t) 2.0) (- (/ 2.0 t) 2.0)) (* (/ (/ 2.0 t) z) (/ (/ 2.0 t) z)))
  (- (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z))
  (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z))
  (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z))
  (+ (fma (- (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))) (/ (/ 2.0 t) z))
  (+ (fma (- (sqrt 2.0)) (sqrt 2.0) (* (sqrt 2.0) (sqrt 2.0))) (/ (/ 2.0 t) z))
  (+ (fma (- 2.0) 1 (* 2.0 1)) (/ (/ 2.0 t) z))
  (+ (fma (- (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))) (/ (/ 2.0 t) z))
  (+ (fma (- (sqrt 2.0)) (sqrt 2.0) (* (sqrt 2.0) (sqrt 2.0))) (/ (/ 2.0 t) z))
  (+ (fma (- 2.0) 1 (* 2.0 1)) (/ (/ 2.0 t) z))
  (+ (fma (- (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))) (/ (/ 2.0 t) z))
  (+ (fma (- (sqrt 2.0)) (sqrt 2.0) (* (sqrt 2.0) (sqrt 2.0))) (/ (/ 2.0 t) z))
  (+ (fma (- 2.0) 1 (* 2.0 1)) (/ (/ 2.0 t) z))
  (+ (fma (- (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))) (/ (/ 2.0 t) z))
  (+ (fma (- (sqrt 2.0)) (sqrt 2.0) (* (sqrt 2.0) (sqrt 2.0))) (/ (/ 2.0 t) z))
  (+ (fma (- 2.0) 1 (* 2.0 1)) (/ (/ 2.0 t) z))
  (+ (fma (- (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))) (/ (/ 2.0 t) z))
  (+ (fma (- (sqrt 2.0)) (sqrt 2.0) (* (sqrt 2.0) (sqrt 2.0))) (/ (/ 2.0 t) z))
  (+ (fma (- 2.0) 1 (* 2.0 1)) (/ (/ 2.0 t) z))
  (+ (fma (- (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))) (/ (/ 2.0 t) z))
  (+ (fma (- (sqrt 2.0)) (sqrt 2.0) (* (sqrt 2.0) (sqrt 2.0))) (/ (/ 2.0 t) z))
  (+ (fma (- 2.0) 1 (* 2.0 1)) (/ (/ 2.0 t) z))
  (+ (fma (- (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))) (/ (/ 2.0 t) z))
  (+ (fma (- (sqrt 2.0)) (sqrt 2.0) (* (sqrt 2.0) (sqrt 2.0))) (/ (/ 2.0 t) z))
  (+ (fma (- 2.0) 1 (* 2.0 1)) (/ (/ 2.0 t) z))
  (+ (fma (- (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))) (/ (/ 2.0 t) z))
  (+ (fma (- (sqrt 2.0)) (sqrt 2.0) (* (sqrt 2.0) (sqrt 2.0))) (/ (/ 2.0 t) z))
  (+ (fma (- 2.0) 1 (* 2.0 1)) (/ (/ 2.0 t) z))
  (+ (fma (- (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))) (/ (/ 2.0 t) z))
  (+ (fma (- (sqrt 2.0)) (sqrt 2.0) (* (sqrt 2.0) (sqrt 2.0))) (/ (/ 2.0 t) z))
  (+ (fma (- 2.0) 1 (* 2.0 1)) (/ (/ 2.0 t) z))
  (+ (fma (- (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))) (/ (/ 2.0 t) z))
  (+ (fma (- (sqrt 2.0)) (sqrt 2.0) (* (sqrt 2.0) (sqrt 2.0))) (/ (/ 2.0 t) z))
  (+ (fma (- 2.0) 1 (* 2.0 1)) (/ (/ 2.0 t) z))
  (+ (fma (- (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))) (/ (/ 2.0 t) z))
  (+ (fma (- (sqrt 2.0)) (sqrt 2.0) (* (sqrt 2.0) (sqrt 2.0))) (/ (/ 2.0 t) z))
  (+ (fma (- 2.0) 1 (* 2.0 1)) (/ (/ 2.0 t) z))
  (+ (fma (- (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))) (/ (/ 2.0 t) z))
  (+ (fma (- (sqrt 2.0)) (sqrt 2.0) (* (sqrt 2.0) (sqrt 2.0))) (/ (/ 2.0 t) z))
  (+ (fma (- 2.0) 1 (* 2.0 1)) (/ (/ 2.0 t) z))
  (+ (fma (- (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))) (/ (/ 2.0 t) z))
  (+ (fma (- (sqrt 2.0)) (sqrt 2.0) (* (sqrt 2.0) (sqrt 2.0))) (/ (/ 2.0 t) z))
  (+ (fma (- 2.0) 1 (* 2.0 1)) (/ (/ 2.0 t) z))
  (+ (- 2.0) (/ (/ 2.0 t) z))
  (+ (- 2.0) (/ (/ 2.0 t) z))
  (- 2.0 (/ (/ 2.0 t) z))
  (expm1 (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y)))
  (log1p (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y)))
  (* (* (/ (exp (/ 2.0 t)) (exp 2.0)) (exp (/ (/ 2.0 t) z))) (exp (/ x y)))
  (* (* (exp (- (/ 2.0 t) 2.0)) (exp (/ (/ 2.0 t) z))) (exp (/ x y)))
  (* (exp (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z))) (exp (/ x y)))
  (log (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y)))
  (exp (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y)))
  (* (cbrt (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y))) (cbrt (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y))))
  (cbrt (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y)))
  (* (* (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y)) (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y))) (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y)))
  (sqrt (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y)))
  (sqrt (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y)))
  (+ (* (+ (* (- (pow (/ 2.0 t) 3) (pow 2.0 3)) z) (* (+ (* (/ 2.0 t) (/ 2.0 t)) (+ (* 2.0 2.0) (* (/ 2.0 t) 2.0))) (/ 2.0 t))) y) (* (* (+ (* (/ 2.0 t) (/ 2.0 t)) (+ (* 2.0 2.0) (* (/ 2.0 t) 2.0))) z) x))
  (* (* (+ (* (/ 2.0 t) (/ 2.0 t)) (+ (* 2.0 2.0) (* (/ 2.0 t) 2.0))) z) y)
  (+ (* (+ (* (- (* (/ 2.0 t) (/ 2.0 t)) (* 2.0 2.0)) z) (* (+ (/ 2.0 t) 2.0) (/ 2.0 t))) y) (* (* (+ (/ 2.0 t) 2.0) z) x))
  (* (* (+ (/ 2.0 t) 2.0) z) y)
  (+ (* (+ (pow (- (/ 2.0 t) 2.0) 3) (pow (/ (/ 2.0 t) z) 3)) y) (* (+ (* (- (/ 2.0 t) 2.0) (- (/ 2.0 t) 2.0)) (- (* (/ (/ 2.0 t) z) (/ (/ 2.0 t) z)) (* (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)))) x))
  (* (+ (* (- (/ 2.0 t) 2.0) (- (/ 2.0 t) 2.0)) (- (* (/ (/ 2.0 t) z) (/ (/ 2.0 t) z)) (* (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)))) y)
  (+ (* (- (* (- (/ 2.0 t) 2.0) (- (/ 2.0 t) 2.0)) (* (/ (/ 2.0 t) z) (/ (/ 2.0 t) z))) y) (* (- (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) x))
  (* (- (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) y)
  (+ (pow (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) 3) (pow (/ x y) 3))
  (+ (* (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z))) (- (* (/ x y) (/ x y)) (* (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y))))
  (- (* (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z))) (* (/ x y) (/ x y)))
  (- (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y))
  (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y))
  (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y))
  (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y))
  (+ (/ (/ 2.0 t) z) (/ x y))
  (- (- 2.0 (/ (/ 2.0 t) z)) (/ x y))
  (/ 2.0 (* t z))
  (/ 2.0 (* t z))
  (/ 2.0 (* t z))
  (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0)
  (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0)
  (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0)
  (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t))))
  (- (+ (/ x y) (* 2.0 (/ 1 t))) 2.0)
  (- (+ (/ x y) (* 2.0 (/ 1 t))) 2.0)
10.052 * * [simplify]: iteration  0 :  262  enodes  (cost  2718 )
10.138 * * [simplify]: iteration  1 :  638  enodes  (cost  2421 )
10.487 * * [simplify]: iteration  2 :  2023  enodes  (cost  2162 )
11.119 * * [simplify]: iteration  done :  5000  enodes  (cost  2162 )
11.120 * [simplify]: Simplified to:
   (expm1 (/ (/ 2.0 t) z))
  (log1p (/ (/ 2.0 t) z))
  (log (/ (/ 2.0 t) z))
  (log (/ (/ 2.0 t) z))
  (log (/ (/ 2.0 t) z))
  (exp (/ (/ 2.0 t) z))
  (pow (/ 2.0 (* t z)) 3)
  (pow (/ 2.0 (* t z)) 3)
  (* (cbrt (/ (/ 2.0 t) z)) (cbrt (/ (/ 2.0 t) z)))
  (cbrt (/ (/ 2.0 t) z))
  (pow (/ 2.0 (* t z)) 3)
  (sqrt (/ (/ 2.0 t) z))
  (sqrt (/ (/ 2.0 t) z))
  (- (/ 2.0 t))
  (- z)
  (/ (* (cbrt (/ 2.0 t)) (cbrt (/ 2.0 t))) (* (cbrt z) (cbrt z)))
  (/ (cbrt (/ 2.0 t)) (cbrt z))
  (/ (* (cbrt (/ 2.0 t)) (cbrt (/ 2.0 t))) (sqrt z))
  (/ (cbrt (/ 2.0 t)) (sqrt z))
  (* (cbrt (/ 2.0 t)) (cbrt (/ 2.0 t)))
  (/ (cbrt (/ 2.0 t)) z)
  (/ (sqrt (/ 2.0 t)) (* (cbrt z) (cbrt z)))
  (/ (sqrt (/ 2.0 t)) (cbrt z))
  (/ (sqrt (/ 2.0 t)) (sqrt z))
  (/ (sqrt (/ 2.0 t)) (sqrt z))
  (sqrt (/ 2.0 t))
  (/ (sqrt (/ 2.0 t)) z)
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt t) (cbrt t))) (* (cbrt z) (cbrt z)))
  (/ (/ (cbrt 2.0) (cbrt t)) (cbrt z))
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt t) (cbrt t))) (sqrt z))
  (/ (/ (cbrt 2.0) (cbrt t)) (sqrt z))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt t) (cbrt t)))
  (/ (/ (cbrt 2.0) (cbrt t)) z)
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt t)) (* (cbrt z) (cbrt z)))
  (/ (/ (cbrt 2.0) (sqrt t)) (cbrt z))
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt t)) (sqrt z))
  (/ (/ (cbrt 2.0) (sqrt t)) (sqrt z))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt t))
  (/ (/ (cbrt 2.0) (sqrt t)) z)
  (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt z) (cbrt z)))
  (/ (/ (cbrt 2.0) t) (cbrt z))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt z))
  (/ (/ (cbrt 2.0) t) (sqrt z))
  (* (cbrt 2.0) (cbrt 2.0))
  (/ (/ (cbrt 2.0) t) z)
  (/ (/ (sqrt 2.0) (* (cbrt t) (cbrt t))) (* (cbrt z) (cbrt z)))
  (/ (/ (sqrt 2.0) (cbrt t)) (cbrt z))
  (/ (/ (sqrt 2.0) (* (cbrt t) (cbrt t))) (sqrt z))
  (/ (/ (sqrt 2.0) (cbrt t)) (sqrt z))
  (/ (sqrt 2.0) (* (cbrt t) (cbrt t)))
  (/ (/ (sqrt 2.0) (cbrt t)) z)
  (/ (/ (sqrt 2.0) (sqrt t)) (* (cbrt z) (cbrt z)))
  (/ (/ (sqrt 2.0) (sqrt t)) (cbrt z))
  (/ (/ (sqrt 2.0) (sqrt t)) (sqrt z))
  (/ (/ (sqrt 2.0) (sqrt t)) (sqrt z))
  (/ (sqrt 2.0) (sqrt t))
  (/ (/ (sqrt 2.0) (sqrt t)) z)
  (/ (sqrt 2.0) (* (cbrt z) (cbrt z)))
  (/ (/ (sqrt 2.0) t) (cbrt z))
  (/ (sqrt 2.0) (sqrt z))
  (/ (/ (sqrt 2.0) t) (sqrt z))
  (sqrt 2.0)
  (/ (/ (sqrt 2.0) t) z)
  (/ (/ 1 (* (cbrt t) (cbrt t))) (* (cbrt z) (cbrt z)))
  (/ (/ 2.0 (cbrt t)) (cbrt z))
  (/ (/ 1 (* (cbrt t) (cbrt t))) (sqrt z))
  (/ (/ 2.0 (cbrt t)) (sqrt z))
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (/ 2.0 (cbrt t)) z)
  (/ (/ 1 (sqrt t)) (* (cbrt z) (cbrt z)))
  (/ (/ 2.0 (sqrt t)) (cbrt z))
  (/ (/ 1 (sqrt t)) (sqrt z))
  (/ (/ 2.0 (sqrt t)) (sqrt z))
  (/ 1 (sqrt t))
  (/ (/ 2.0 (sqrt t)) z)
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (/ 2.0 t) (cbrt z))
  (/ 1 (sqrt z))
  (/ (/ 2.0 t) (sqrt z))
  1
  (/ 2.0 (* t z))
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (/ 2.0 t) (cbrt z))
  (/ 1 (sqrt z))
  (/ (/ 2.0 t) (sqrt z))
  1
  (/ 2.0 (* t z))
  (/ 2.0 (* (cbrt z) (cbrt z)))
  (/ (/ 1 t) (cbrt z))
  (/ 2.0 (sqrt z))
  (/ (/ 1 t) (sqrt z))
  2.0
  (/ 1 (* t z))
  (/ 1 z)
  (/ z (/ 2.0 t))
  (/ (/ 2.0 t) (* (cbrt z) (cbrt z)))
  (/ (/ 2.0 t) (sqrt z))
  (/ 2.0 t)
  (/ z (cbrt (/ 2.0 t)))
  (/ z (sqrt (/ 2.0 t)))
  (/ z (/ (cbrt 2.0) (cbrt t)))
  (/ z (/ (cbrt 2.0) (sqrt t)))
  (/ z (/ (cbrt 2.0) t))
  (/ z (/ (sqrt 2.0) (cbrt t)))
  (/ z (/ (sqrt 2.0) (sqrt t)))
  (/ z (/ (sqrt 2.0) t))
  (/ z (/ 2.0 (cbrt t)))
  (/ z (/ 2.0 (sqrt t)))
  (/ z (/ 2.0 t))
  (/ z (/ 2.0 t))
  (* z t)
  (* z t)
  (expm1 (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)))
  (log1p (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)))
  (exp (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)))
  (exp (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)))
  (log (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)))
  (exp (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)))
  (* (cbrt (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z))) (cbrt (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z))))
  (cbrt (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)))
  (pow (- (/ 2.0 t) (- 2.0 (/ (/ 2.0 t) z))) 3)
  (sqrt (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)))
  (sqrt (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)))
  (fma (+ (* 2.0 2.0) (* (+ (/ 2.0 t) 2.0) (/ 2.0 t))) (/ 2.0 t) (* (- (pow (/ 2.0 t) 3) (pow 2.0 3)) z))
  (* (+ (* 2.0 2.0) (* (+ (/ 2.0 t) 2.0) (/ 2.0 t))) z)
  (fma (- (* (/ 2.0 t) (/ 2.0 t)) (* 2.0 2.0)) z (* (+ (/ 2.0 t) 2.0) (/ 2.0 t)))
  (* (+ (/ 2.0 t) 2.0) z)
  (+ (pow (- (/ 2.0 t) 2.0) 3) (pow (/ (/ 2.0 t) z) 3))
  (fma (- (/ 2.0 t) 2.0) (- (/ 2.0 t) 2.0) (* (/ 2.0 (* t z)) (- (/ 2.0 (* t z)) (- (/ 2.0 t) 2.0))))
  (- (* (- (/ 2.0 t) 2.0) (- (/ 2.0 t) 2.0)) (* (/ (/ 2.0 t) z) (/ (/ 2.0 t) z)))
  (- (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z))
  (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z))
  (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z))
  (+ (- (/ 2.0 (* t z)) 2.0) 2.0)
  (+ (- (/ 2.0 (* t z)) 2.0) 2.0)
  (+ (- (/ 2.0 (* t z)) 2.0) 2.0)
  (+ (- (/ 2.0 (* t z)) 2.0) 2.0)
  (+ (- (/ 2.0 (* t z)) 2.0) 2.0)
  (+ (- (/ 2.0 (* t z)) 2.0) 2.0)
  (+ (- (/ 2.0 (* t z)) 2.0) 2.0)
  (+ (- (/ 2.0 (* t z)) 2.0) 2.0)
  (+ (- (/ 2.0 (* t z)) 2.0) 2.0)
  (+ (- (/ 2.0 (* t z)) 2.0) 2.0)
  (+ (- (/ 2.0 (* t z)) 2.0) 2.0)
  (+ (- (/ 2.0 (* t z)) 2.0) 2.0)
  (+ (- (/ 2.0 (* t z)) 2.0) 2.0)
  (+ (- (/ 2.0 (* t z)) 2.0) 2.0)
  (+ (- (/ 2.0 (* t z)) 2.0) 2.0)
  (+ (- (/ 2.0 (* t z)) 2.0) 2.0)
  (+ (- (/ 2.0 (* t z)) 2.0) 2.0)
  (+ (- (/ 2.0 (* t z)) 2.0) 2.0)
  (+ (- (/ 2.0 (* t z)) 2.0) 2.0)
  (+ (- (/ 2.0 (* t z)) 2.0) 2.0)
  (+ (- (/ 2.0 (* t z)) 2.0) 2.0)
  (+ (- (/ 2.0 (* t z)) 2.0) 2.0)
  (+ (- (/ 2.0 (* t z)) 2.0) 2.0)
  (+ (- (/ 2.0 (* t z)) 2.0) 2.0)
  (+ (- (/ 2.0 (* t z)) 2.0) 2.0)
  (+ (- (/ 2.0 (* t z)) 2.0) 2.0)
  (+ (- (/ 2.0 (* t z)) 2.0) 2.0)
  (+ (- (/ 2.0 (* t z)) 2.0) 2.0)
  (+ (- (/ 2.0 (* t z)) 2.0) 2.0)
  (+ (- (/ 2.0 (* t z)) 2.0) 2.0)
  (+ (- (/ 2.0 (* t z)) 2.0) 2.0)
  (+ (- (/ 2.0 (* t z)) 2.0) 2.0)
  (+ (- (/ 2.0 (* t z)) 2.0) 2.0)
  (+ (- (/ 2.0 (* t z)) 2.0) 2.0)
  (+ (- (/ 2.0 (* t z)) 2.0) 2.0)
  (+ (- (/ 2.0 (* t z)) 2.0) 2.0)
  (+ (- (/ 2.0 (* t z)) 2.0) 2.0)
  (+ (- (/ 2.0 (* t z)) 2.0) 2.0)
  (+ (- (/ 2.0 (* t z)) 2.0) 2.0)
  (- (/ 2.0 (* t z)) 2.0)
  (- (/ 2.0 (* t z)) 2.0)
  (- 2.0 (/ (/ 2.0 t) z))
  (expm1 (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y)))
  (log1p (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y)))
  (exp (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y)))
  (exp (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y)))
  (exp (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y)))
  (log (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y)))
  (exp (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y)))
  (* (cbrt (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y))) (cbrt (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y))))
  (cbrt (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y)))
  (pow (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y)) 3)
  (sqrt (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y)))
  (sqrt (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y)))
  (fma (fma (+ (* 2.0 2.0) (* (+ (/ 2.0 t) 2.0) (/ 2.0 t))) (/ 2.0 t) (* (- (pow (/ 2.0 t) 3) (pow 2.0 3)) z)) y (* (* z x) (+ (* 2.0 2.0) (* (+ (/ 2.0 t) 2.0) (/ 2.0 t)))))
  (* (* z y) (+ (* 2.0 2.0) (* (+ (/ 2.0 t) 2.0) (/ 2.0 t))))
  (fma (fma (- (* (/ 2.0 t) (/ 2.0 t)) (* 2.0 2.0)) z (* (+ (/ 2.0 t) 2.0) (/ 2.0 t))) y (* (* (+ (/ 2.0 t) 2.0) z) x))
  (* (* (+ (/ 2.0 t) 2.0) z) y)
  (fma (+ (pow (- (/ 2.0 t) 2.0) 3) (pow (/ (/ 2.0 t) z) 3)) y (* x (fma (- (/ 2.0 t) 2.0) (- (/ 2.0 t) 2.0) (* (/ 2.0 (* t z)) (- (/ 2.0 (* t z)) (- (/ 2.0 t) 2.0))))))
  (* (fma (- (/ 2.0 t) 2.0) (- (/ 2.0 t) 2.0) (* (/ 2.0 (* t z)) (- (/ 2.0 (* t z)) (- (/ 2.0 t) 2.0)))) y)
  (fma (- (* (- (/ 2.0 t) 2.0) (- (/ 2.0 t) 2.0)) (* (/ (/ 2.0 t) z) (/ (/ 2.0 t) z))) y (* (- (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) x))
  (* (- (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) y)
  (+ (pow (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) 3) (pow (/ x y) 3))
  (fma (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (* (/ x y) (- (/ x y) (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)))))
  (- (* (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z))) (* (/ x y) (/ x y)))
  (- (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y))
  (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y))
  (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y))
  (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y))
  (+ (/ (/ 2.0 t) z) (/ x y))
  (- (- 2.0 (/ (/ 2.0 t) z)) (/ x y))
  (/ 2.0 (* t z))
  (/ 2.0 (* t z))
  (/ 2.0 (* t z))
  (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z))
  (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z))
  (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z))
  (+ (+ (/ (/ 2.0 t) z) (/ x y)) (/ 2.0 t))
  (- (+ (/ 2.0 t) (/ x y)) 2.0)
  (- (+ (/ 2.0 t) (/ x y)) 2.0)
11.121 * * * [progress]: adding candidates to table
11.760 * [progress]: [Phase 3 of 3] Extracting.
11.761 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 1 (* (cbrt t) (cbrt t))) (/ z (/ 2.0 (cbrt t))))) (/ x y)))> #<alt (λ (x y z t) (+ (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y)))> #<alt (λ (x y z t) (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y)))> #<alt (λ (x y z t) (+ (+ (- (/ 2.0 t) 2.0) (* (sqrt 2.0) (/ (/ (sqrt 2.0) t) z))) (/ x y)))> #<alt (λ (x y z t) (+ (/ 1 (/ t (fma (- 1.0 t) 2.0 (/ 2.0 z)))) (/ x y)))>)
11.762 * * * [regime-changes]: Trying 5 branch expressions: ((/ x y) t z y x)
11.762 * * * * [regimes]: Trying to branch on (/ x y) from (#<alt (λ (x y z t) (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 1 (* (cbrt t) (cbrt t))) (/ z (/ 2.0 (cbrt t))))) (/ x y)))> #<alt (λ (x y z t) (+ (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y)))> #<alt (λ (x y z t) (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y)))> #<alt (λ (x y z t) (+ (+ (- (/ 2.0 t) 2.0) (* (sqrt 2.0) (/ (/ (sqrt 2.0) t) z))) (/ x y)))> #<alt (λ (x y z t) (+ (/ 1 (/ t (fma (- 1.0 t) 2.0 (/ 2.0 z)))) (/ x y)))>)
11.788 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 1 (* (cbrt t) (cbrt t))) (/ z (/ 2.0 (cbrt t))))) (/ x y)))> #<alt (λ (x y z t) (+ (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y)))> #<alt (λ (x y z t) (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y)))> #<alt (λ (x y z t) (+ (+ (- (/ 2.0 t) 2.0) (* (sqrt 2.0) (/ (/ (sqrt 2.0) t) z))) (/ x y)))> #<alt (λ (x y z t) (+ (/ 1 (/ t (fma (- 1.0 t) 2.0 (/ 2.0 z)))) (/ x y)))>)
11.817 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 1 (* (cbrt t) (cbrt t))) (/ z (/ 2.0 (cbrt t))))) (/ x y)))> #<alt (λ (x y z t) (+ (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y)))> #<alt (λ (x y z t) (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y)))> #<alt (λ (x y z t) (+ (+ (- (/ 2.0 t) 2.0) (* (sqrt 2.0) (/ (/ (sqrt 2.0) t) z))) (/ x y)))> #<alt (λ (x y z t) (+ (/ 1 (/ t (fma (- 1.0 t) 2.0 (/ 2.0 z)))) (/ x y)))>)
11.846 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 1 (* (cbrt t) (cbrt t))) (/ z (/ 2.0 (cbrt t))))) (/ x y)))> #<alt (λ (x y z t) (+ (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y)))> #<alt (λ (x y z t) (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y)))> #<alt (λ (x y z t) (+ (+ (- (/ 2.0 t) 2.0) (* (sqrt 2.0) (/ (/ (sqrt 2.0) t) z))) (/ x y)))> #<alt (λ (x y z t) (+ (/ 1 (/ t (fma (- 1.0 t) 2.0 (/ 2.0 z)))) (/ x y)))>)
11.871 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 1 (* (cbrt t) (cbrt t))) (/ z (/ 2.0 (cbrt t))))) (/ x y)))> #<alt (λ (x y z t) (+ (/ (fma (- 1.0 t) 2.0 (/ 2.0 z)) t) (/ x y)))> #<alt (λ (x y z t) (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y)))> #<alt (λ (x y z t) (+ (+ (- (/ 2.0 t) 2.0) (* (sqrt 2.0) (/ (/ (sqrt 2.0) t) z))) (/ x y)))> #<alt (λ (x y z t) (+ (/ 1 (/ t (fma (- 1.0 t) 2.0 (/ 2.0 z)))) (/ x y)))>)
11.901 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
11.902 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y))
11.902 * * [simplify]: iteration  0 :  11  enodes  (cost  15 )
11.902 * * [simplify]: iteration  1 :  13  enodes  (cost  15 )
11.903 * * [simplify]: iteration  done :  13  enodes  (cost  15 )
11.903 * [simplify]: Simplified to:
   (+ (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)) (/ x y))
12.826 * [regime-testing]: Baseline error score: 0.07648548005026348
12.827 * [regime-testing]: Oracle error score: 0.01810318226304008
12.828 * [regime-testing]: End program error score: 0.07648548005026348
12.855 * [regime-testing]: Target error score: 0.07890610388816632