9.431 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.017 * * * [progress]: [2/2] Setting up program.
0.019 * [progress]: [Phase 2 of 3] Improving.
0.019 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (* x y) (* z t))
0.020 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
0.021 * * [simplify]: iteration  1 :  11  enodes  (cost  6 )
0.022 * * [simplify]: iteration  2 :  14  enodes  (cost  6 )
0.023 * * [simplify]: iteration  done :  14  enodes  (cost  6 )
0.023 * [simplify]: Simplified to:
   (fma x y (* z t))
0.026 * * [progress]: iteration 1 / 4
0.026 * * * [progress]: picking best candidate
0.028 * * * * [pick]: Picked  #<alt (λ (x y z t) (fma x y (* z t)))>
0.028 * * * [progress]: localizing error
0.033 * * * [progress]: generating rewritten candidates
0.033 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.034 * * * [progress]: generating series expansions
0.034 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.034 * [approximate]: Taking taylor expansion of (fma x y (* t z)) in (x y z t) around 0
0.034 * [taylor]: Taking taylor expansion of (fma x y (* t z)) in t
0.034 * [taylor]: Rewrote expression to (+ (* x y) (* t z))
0.034 * [taylor]: Taking taylor expansion of (* x y) in t
0.034 * [taylor]: Taking taylor expansion of x in t
0.034 * [taylor]: Taking taylor expansion of y in t
0.034 * [taylor]: Taking taylor expansion of (* t z) in t
0.034 * [taylor]: Taking taylor expansion of t in t
0.034 * [taylor]: Taking taylor expansion of z in t
0.034 * [taylor]: Taking taylor expansion of (fma x y (* t z)) in z
0.034 * [taylor]: Rewrote expression to (+ (* x y) (* t z))
0.034 * [taylor]: Taking taylor expansion of (* x y) in z
0.034 * [taylor]: Taking taylor expansion of x in z
0.034 * [taylor]: Taking taylor expansion of y in z
0.034 * [taylor]: Taking taylor expansion of (* t z) in z
0.034 * [taylor]: Taking taylor expansion of t in z
0.034 * [taylor]: Taking taylor expansion of z in z
0.034 * [taylor]: Taking taylor expansion of (fma x y (* t z)) in y
0.034 * [taylor]: Rewrote expression to (+ (* x y) (* t z))
0.034 * [taylor]: Taking taylor expansion of (* x y) in y
0.034 * [taylor]: Taking taylor expansion of x in y
0.034 * [taylor]: Taking taylor expansion of y in y
0.034 * [taylor]: Taking taylor expansion of (* t z) in y
0.034 * [taylor]: Taking taylor expansion of t in y
0.034 * [taylor]: Taking taylor expansion of z in y
0.034 * [taylor]: Taking taylor expansion of (fma x y (* t z)) in x
0.035 * [taylor]: Rewrote expression to (+ (* x y) (* t z))
0.035 * [taylor]: Taking taylor expansion of (* x y) in x
0.035 * [taylor]: Taking taylor expansion of x in x
0.035 * [taylor]: Taking taylor expansion of y in x
0.035 * [taylor]: Taking taylor expansion of (* t z) in x
0.035 * [taylor]: Taking taylor expansion of t in x
0.035 * [taylor]: Taking taylor expansion of z in x
0.035 * [taylor]: Taking taylor expansion of (fma x y (* t z)) in x
0.035 * [taylor]: Rewrote expression to (+ (* x y) (* t z))
0.035 * [taylor]: Taking taylor expansion of (* x y) in x
0.035 * [taylor]: Taking taylor expansion of x in x
0.035 * [taylor]: Taking taylor expansion of y in x
0.035 * [taylor]: Taking taylor expansion of (* t z) in x
0.035 * [taylor]: Taking taylor expansion of t in x
0.035 * [taylor]: Taking taylor expansion of z in x
0.035 * [taylor]: Taking taylor expansion of (* t z) in y
0.035 * [taylor]: Taking taylor expansion of t in y
0.035 * [taylor]: Taking taylor expansion of z in y
0.035 * [taylor]: Taking taylor expansion of (* t z) in z
0.035 * [taylor]: Taking taylor expansion of t in z
0.035 * [taylor]: Taking taylor expansion of z in z
0.035 * [taylor]: Taking taylor expansion of 0 in t
0.036 * [taylor]: Taking taylor expansion of y in y
0.036 * [taylor]: Taking taylor expansion of 0 in z
0.036 * [taylor]: Taking taylor expansion of 0 in t
0.036 * [taylor]: Taking taylor expansion of 0 in z
0.036 * [taylor]: Taking taylor expansion of 0 in t
0.036 * [taylor]: Taking taylor expansion of t in t
0.037 * [taylor]: Taking taylor expansion of 0 in y
0.037 * [taylor]: Taking taylor expansion of 0 in z
0.037 * [taylor]: Taking taylor expansion of 0 in t
0.037 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in (x y z t) around 0
0.037 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in t
0.038 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 (* t z)))
0.038 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in t
0.038 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.038 * [taylor]: Taking taylor expansion of x in t
0.038 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.038 * [taylor]: Taking taylor expansion of y in t
0.038 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
0.038 * [taylor]: Taking taylor expansion of (* t z) in t
0.038 * [taylor]: Taking taylor expansion of t in t
0.038 * [taylor]: Taking taylor expansion of z in t
0.038 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in z
0.038 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 (* t z)))
0.038 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in z
0.038 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.038 * [taylor]: Taking taylor expansion of x in z
0.038 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.038 * [taylor]: Taking taylor expansion of y in z
0.038 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.038 * [taylor]: Taking taylor expansion of (* t z) in z
0.038 * [taylor]: Taking taylor expansion of t in z
0.038 * [taylor]: Taking taylor expansion of z in z
0.039 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in y
0.039 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 (* t z)))
0.039 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in y
0.039 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.039 * [taylor]: Taking taylor expansion of x in y
0.039 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.039 * [taylor]: Taking taylor expansion of y in y
0.039 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.039 * [taylor]: Taking taylor expansion of (* t z) in y
0.039 * [taylor]: Taking taylor expansion of t in y
0.039 * [taylor]: Taking taylor expansion of z in y
0.039 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in x
0.039 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 (* t z)))
0.039 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x
0.039 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.039 * [taylor]: Taking taylor expansion of x in x
0.040 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.040 * [taylor]: Taking taylor expansion of y in x
0.040 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.040 * [taylor]: Taking taylor expansion of (* t z) in x
0.040 * [taylor]: Taking taylor expansion of t in x
0.040 * [taylor]: Taking taylor expansion of z in x
0.040 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in x
0.040 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 (* t z)))
0.040 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x
0.040 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.040 * [taylor]: Taking taylor expansion of x in x
0.040 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.040 * [taylor]: Taking taylor expansion of y in x
0.040 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.040 * [taylor]: Taking taylor expansion of (* t z) in x
0.040 * [taylor]: Taking taylor expansion of t in x
0.040 * [taylor]: Taking taylor expansion of z in x
0.041 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.041 * [taylor]: Taking taylor expansion of y in y
0.041 * [taylor]: Taking taylor expansion of 1 in z
0.042 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.042 * [taylor]: Taking taylor expansion of (* t z) in y
0.042 * [taylor]: Taking taylor expansion of t in y
0.042 * [taylor]: Taking taylor expansion of z in y
0.042 * [taylor]: Taking taylor expansion of 0 in z
0.042 * [taylor]: Taking taylor expansion of 1 in t
0.044 * [taylor]: Taking taylor expansion of 0 in y
0.044 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.044 * [taylor]: Taking taylor expansion of (* t z) in z
0.044 * [taylor]: Taking taylor expansion of t in z
0.044 * [taylor]: Taking taylor expansion of z in z
0.044 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.044 * [taylor]: Taking taylor expansion of t in t
0.045 * [taylor]: Taking taylor expansion of 0 in z
0.045 * [taylor]: Taking taylor expansion of 0 in t
0.045 * [taylor]: Taking taylor expansion of 0 in t
0.050 * [taylor]: Taking taylor expansion of 0 in y
0.050 * [taylor]: Taking taylor expansion of 0 in z
0.050 * [taylor]: Taking taylor expansion of 0 in z
0.051 * [taylor]: Taking taylor expansion of 0 in z
0.051 * [taylor]: Taking taylor expansion of 0 in t
0.051 * [taylor]: Taking taylor expansion of 0 in t
0.051 * [taylor]: Taking taylor expansion of 0 in t
0.051 * [taylor]: Taking taylor expansion of 0 in t
0.054 * [taylor]: Taking taylor expansion of 0 in y
0.054 * [taylor]: Taking taylor expansion of 0 in z
0.055 * [taylor]: Taking taylor expansion of 0 in z
0.055 * [taylor]: Taking taylor expansion of 0 in z
0.055 * [taylor]: Taking taylor expansion of 0 in z
0.056 * [taylor]: Taking taylor expansion of 0 in t
0.056 * [taylor]: Taking taylor expansion of 0 in t
0.056 * [taylor]: Taking taylor expansion of 0 in t
0.056 * [taylor]: Taking taylor expansion of 0 in t
0.056 * [taylor]: Taking taylor expansion of 0 in t
0.056 * [taylor]: Taking taylor expansion of 0 in t
0.056 * [taylor]: Taking taylor expansion of 0 in t
0.057 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in (x y z t) around 0
0.057 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in t
0.057 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 1 (* t z)))
0.057 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in t
0.057 * [taylor]: Taking taylor expansion of (/ -1 x) in t
0.057 * [taylor]: Taking taylor expansion of -1 in t
0.057 * [taylor]: Taking taylor expansion of x in t
0.057 * [taylor]: Taking taylor expansion of (/ -1 y) in t
0.057 * [taylor]: Taking taylor expansion of -1 in t
0.057 * [taylor]: Taking taylor expansion of y in t
0.057 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
0.057 * [taylor]: Taking taylor expansion of (* t z) in t
0.057 * [taylor]: Taking taylor expansion of t in t
0.057 * [taylor]: Taking taylor expansion of z in t
0.058 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in z
0.058 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 1 (* t z)))
0.058 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in z
0.058 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.058 * [taylor]: Taking taylor expansion of -1 in z
0.058 * [taylor]: Taking taylor expansion of x in z
0.058 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.058 * [taylor]: Taking taylor expansion of -1 in z
0.058 * [taylor]: Taking taylor expansion of y in z
0.058 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.058 * [taylor]: Taking taylor expansion of (* t z) in z
0.058 * [taylor]: Taking taylor expansion of t in z
0.058 * [taylor]: Taking taylor expansion of z in z
0.058 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in y
0.058 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 1 (* t z)))
0.058 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in y
0.058 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.058 * [taylor]: Taking taylor expansion of -1 in y
0.058 * [taylor]: Taking taylor expansion of x in y
0.059 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.059 * [taylor]: Taking taylor expansion of -1 in y
0.059 * [taylor]: Taking taylor expansion of y in y
0.059 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.059 * [taylor]: Taking taylor expansion of (* t z) in y
0.059 * [taylor]: Taking taylor expansion of t in y
0.059 * [taylor]: Taking taylor expansion of z in y
0.059 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in x
0.059 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 1 (* t z)))
0.059 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x
0.059 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.059 * [taylor]: Taking taylor expansion of -1 in x
0.059 * [taylor]: Taking taylor expansion of x in x
0.059 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.059 * [taylor]: Taking taylor expansion of -1 in x
0.059 * [taylor]: Taking taylor expansion of y in x
0.060 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.060 * [taylor]: Taking taylor expansion of (* t z) in x
0.060 * [taylor]: Taking taylor expansion of t in x
0.060 * [taylor]: Taking taylor expansion of z in x
0.060 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in x
0.060 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 1 (* t z)))
0.060 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x
0.060 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.060 * [taylor]: Taking taylor expansion of -1 in x
0.060 * [taylor]: Taking taylor expansion of x in x
0.060 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.060 * [taylor]: Taking taylor expansion of -1 in x
0.060 * [taylor]: Taking taylor expansion of y in x
0.060 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.060 * [taylor]: Taking taylor expansion of (* t z) in x
0.060 * [taylor]: Taking taylor expansion of t in x
0.060 * [taylor]: Taking taylor expansion of z in x
0.060 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.060 * [taylor]: Taking taylor expansion of y in y
0.061 * [taylor]: Taking taylor expansion of 1 in z
0.062 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.062 * [taylor]: Taking taylor expansion of (* t z) in y
0.062 * [taylor]: Taking taylor expansion of t in y
0.062 * [taylor]: Taking taylor expansion of z in y
0.062 * [taylor]: Taking taylor expansion of 0 in z
0.062 * [taylor]: Taking taylor expansion of 1 in t
0.064 * [taylor]: Taking taylor expansion of 0 in y
0.064 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.064 * [taylor]: Taking taylor expansion of (* t z) in z
0.064 * [taylor]: Taking taylor expansion of t in z
0.064 * [taylor]: Taking taylor expansion of z in z
0.064 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.064 * [taylor]: Taking taylor expansion of t in t
0.065 * [taylor]: Taking taylor expansion of 0 in z
0.065 * [taylor]: Taking taylor expansion of 0 in t
0.065 * [taylor]: Taking taylor expansion of 0 in t
0.067 * [taylor]: Taking taylor expansion of 0 in y
0.067 * [taylor]: Taking taylor expansion of 0 in z
0.067 * [taylor]: Taking taylor expansion of 0 in z
0.068 * [taylor]: Taking taylor expansion of 0 in z
0.069 * [taylor]: Taking taylor expansion of 0 in t
0.069 * [taylor]: Taking taylor expansion of 0 in t
0.069 * [taylor]: Taking taylor expansion of 0 in t
0.069 * [taylor]: Taking taylor expansion of 0 in t
0.072 * [taylor]: Taking taylor expansion of 0 in y
0.072 * [taylor]: Taking taylor expansion of 0 in z
0.072 * [taylor]: Taking taylor expansion of 0 in z
0.072 * [taylor]: Taking taylor expansion of 0 in z
0.073 * [taylor]: Taking taylor expansion of 0 in z
0.073 * [taylor]: Taking taylor expansion of 0 in t
0.073 * [taylor]: Taking taylor expansion of 0 in t
0.073 * [taylor]: Taking taylor expansion of 0 in t
0.073 * [taylor]: Taking taylor expansion of 0 in t
0.074 * [taylor]: Taking taylor expansion of 0 in t
0.074 * [taylor]: Taking taylor expansion of 0 in t
0.074 * [taylor]: Taking taylor expansion of 0 in t
0.074 * * * [progress]: simplifying candidates
0.074 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (fma x y (* z t)))
  (log1p (fma x y (* z t)))
  (* x y)
  (log (fma x y (* z t)))
  (exp (fma x y (* z t)))
  (* (cbrt (fma x y (* z t))) (cbrt (fma x y (* z t))))
  (cbrt (fma x y (* z t)))
  (* (* (fma x y (* z t)) (fma x y (* z t))) (fma x y (* z t)))
  (sqrt (fma x y (* z t)))
  (sqrt (fma x y (* z t)))
  0
  (+ (* t z) (* x y))
  (+ (* t z) (* x y))
0.076 * * [simplify]: iteration  0 :  19  enodes  (cost  102 )
0.078 * * [simplify]: iteration  1 :  23  enodes  (cost  100 )
0.080 * * [simplify]: iteration  2 :  47  enodes  (cost  88 )
0.088 * * [simplify]: iteration  3 :  132  enodes  (cost  88 )
0.122 * * [simplify]: iteration  4 :  422  enodes  (cost  88 )
0.325 * * [simplify]: iteration  5 :  1582  enodes  (cost  88 )
1.809 * * [simplify]: iteration  done :  5000  enodes  (cost  88 )
1.809 * [simplify]: Simplified to:
   (expm1 (fma x y (* z t)))
  (log1p (fma x y (* z t)))
  (* x y)
  (log (fma x y (* z t)))
  (exp (fma x y (* z t)))
  (* (cbrt (fma x y (* z t))) (cbrt (fma x y (* z t))))
  (cbrt (fma x y (* z t)))
  (pow (fma x y (* z t)) 3)
  (sqrt (fma x y (* z t)))
  (sqrt (fma x y (* z t)))
  0
  (fma x y (* z t))
  (fma x y (* z t))
1.809 * * * [progress]: adding candidates to table
1.837 * * [progress]: iteration 2 / 4
1.837 * * * [progress]: picking best candidate
1.841 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (sqrt (fma x y (* z t))) (sqrt (fma x y (* z t)))))>
1.841 * * * [progress]: localizing error
1.848 * * * [progress]: generating rewritten candidates
1.848 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
1.849 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1.850 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
1.859 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
1.861 * * * [progress]: generating series expansions
1.861 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
1.862 * [approximate]: Taking taylor expansion of (sqrt (fma x y (* t z))) in (x y z t) around 0
1.862 * [taylor]: Taking taylor expansion of (sqrt (fma x y (* t z))) in t
1.862 * [taylor]: Taking taylor expansion of (fma x y (* t z)) in t
1.862 * [taylor]: Rewrote expression to (+ (* x y) (* t z))
1.862 * [taylor]: Taking taylor expansion of (* x y) in t
1.862 * [taylor]: Taking taylor expansion of x in t
1.862 * [taylor]: Taking taylor expansion of y in t
1.862 * [taylor]: Taking taylor expansion of (* t z) in t
1.862 * [taylor]: Taking taylor expansion of t in t
1.862 * [taylor]: Taking taylor expansion of z in t
1.863 * [taylor]: Taking taylor expansion of (sqrt (fma x y (* t z))) in z
1.863 * [taylor]: Taking taylor expansion of (fma x y (* t z)) in z
1.863 * [taylor]: Rewrote expression to (+ (* x y) (* t z))
1.863 * [taylor]: Taking taylor expansion of (* x y) in z
1.863 * [taylor]: Taking taylor expansion of x in z
1.863 * [taylor]: Taking taylor expansion of y in z
1.863 * [taylor]: Taking taylor expansion of (* t z) in z
1.863 * [taylor]: Taking taylor expansion of t in z
1.863 * [taylor]: Taking taylor expansion of z in z
1.863 * [taylor]: Taking taylor expansion of (sqrt (fma x y (* t z))) in y
1.863 * [taylor]: Taking taylor expansion of (fma x y (* t z)) in y
1.864 * [taylor]: Rewrote expression to (+ (* x y) (* t z))
1.864 * [taylor]: Taking taylor expansion of (* x y) in y
1.864 * [taylor]: Taking taylor expansion of x in y
1.864 * [taylor]: Taking taylor expansion of y in y
1.864 * [taylor]: Taking taylor expansion of (* t z) in y
1.864 * [taylor]: Taking taylor expansion of t in y
1.864 * [taylor]: Taking taylor expansion of z in y
1.864 * [taylor]: Taking taylor expansion of (sqrt (fma x y (* t z))) in x
1.864 * [taylor]: Taking taylor expansion of (fma x y (* t z)) in x
1.864 * [taylor]: Rewrote expression to (+ (* x y) (* t z))
1.864 * [taylor]: Taking taylor expansion of (* x y) in x
1.864 * [taylor]: Taking taylor expansion of x in x
1.864 * [taylor]: Taking taylor expansion of y in x
1.864 * [taylor]: Taking taylor expansion of (* t z) in x
1.864 * [taylor]: Taking taylor expansion of t in x
1.864 * [taylor]: Taking taylor expansion of z in x
1.865 * [taylor]: Taking taylor expansion of (sqrt (fma x y (* t z))) in x
1.865 * [taylor]: Taking taylor expansion of (fma x y (* t z)) in x
1.865 * [taylor]: Rewrote expression to (+ (* x y) (* t z))
1.865 * [taylor]: Taking taylor expansion of (* x y) in x
1.865 * [taylor]: Taking taylor expansion of x in x
1.865 * [taylor]: Taking taylor expansion of y in x
1.865 * [taylor]: Taking taylor expansion of (* t z) in x
1.865 * [taylor]: Taking taylor expansion of t in x
1.865 * [taylor]: Taking taylor expansion of z in x
1.866 * [taylor]: Taking taylor expansion of (sqrt (* t z)) in y
1.866 * [taylor]: Taking taylor expansion of (* t z) in y
1.866 * [taylor]: Taking taylor expansion of t in y
1.866 * [taylor]: Taking taylor expansion of z in y
1.866 * [taylor]: Taking taylor expansion of (sqrt (* t z)) in z
1.866 * [taylor]: Taking taylor expansion of (* t z) in z
1.866 * [taylor]: Taking taylor expansion of t in z
1.866 * [taylor]: Taking taylor expansion of z in z
1.867 * [taylor]: Taking taylor expansion of 0 in t
1.867 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt (/ 1 (* t z))) y)) in y
1.867 * [taylor]: Taking taylor expansion of 1/2 in y
1.867 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (* t z))) y) in y
1.867 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (* t z))) in y
1.867 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.867 * [taylor]: Taking taylor expansion of (* t z) in y
1.867 * [taylor]: Taking taylor expansion of t in y
1.867 * [taylor]: Taking taylor expansion of z in y
1.868 * [taylor]: Taking taylor expansion of y in y
1.868 * [taylor]: Taking taylor expansion of 0 in z
1.868 * [taylor]: Taking taylor expansion of 0 in t
1.868 * [taylor]: Taking taylor expansion of 0 in z
1.868 * [taylor]: Taking taylor expansion of 0 in t
1.868 * [taylor]: Taking taylor expansion of (* +nan.0 t) in t
1.868 * [taylor]: Taking taylor expansion of +nan.0 in t
1.868 * [taylor]: Taking taylor expansion of t in t
1.870 * [taylor]: Taking taylor expansion of (* -1/8 (* (sqrt (/ 1 (* (pow t 3) (pow z 3)))) (pow y 2))) in y
1.870 * [taylor]: Taking taylor expansion of -1/8 in y
1.870 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (* (pow t 3) (pow z 3)))) (pow y 2)) in y
1.870 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (* (pow t 3) (pow z 3)))) in y
1.870 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in y
1.870 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in y
1.870 * [taylor]: Taking taylor expansion of (pow t 3) in y
1.870 * [taylor]: Taking taylor expansion of t in y
1.870 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.870 * [taylor]: Taking taylor expansion of z in y
1.871 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.871 * [taylor]: Taking taylor expansion of y in y
1.872 * [taylor]: Taking taylor expansion of (* 1/2 (sqrt (/ 1 (* t z)))) in z
1.872 * [taylor]: Taking taylor expansion of 1/2 in z
1.872 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (* t z))) in z
1.872 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.872 * [taylor]: Taking taylor expansion of (* t z) in z
1.872 * [taylor]: Taking taylor expansion of t in z
1.872 * [taylor]: Taking taylor expansion of z in z
1.873 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 t))) in t
1.873 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 t)) in t
1.873 * [taylor]: Taking taylor expansion of +nan.0 in t
1.874 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.874 * [taylor]: Taking taylor expansion of t in t
1.875 * [approximate]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 (* t z)))) in (x y z t) around 0
1.875 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 (* t z)))) in t
1.875 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in t
1.876 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 (* t z)))
1.876 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in t
1.876 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.876 * [taylor]: Taking taylor expansion of x in t
1.876 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.876 * [taylor]: Taking taylor expansion of y in t
1.876 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.876 * [taylor]: Taking taylor expansion of (* t z) in t
1.876 * [taylor]: Taking taylor expansion of t in t
1.876 * [taylor]: Taking taylor expansion of z in t
1.877 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 (* t z)))) in z
1.877 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in z
1.877 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 (* t z)))
1.877 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in z
1.877 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.877 * [taylor]: Taking taylor expansion of x in z
1.877 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.877 * [taylor]: Taking taylor expansion of y in z
1.877 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.877 * [taylor]: Taking taylor expansion of (* t z) in z
1.877 * [taylor]: Taking taylor expansion of t in z
1.877 * [taylor]: Taking taylor expansion of z in z
1.878 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 (* t z)))) in y
1.878 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in y
1.878 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 (* t z)))
1.878 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in y
1.878 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.878 * [taylor]: Taking taylor expansion of x in y
1.878 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.878 * [taylor]: Taking taylor expansion of y in y
1.879 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.879 * [taylor]: Taking taylor expansion of (* t z) in y
1.879 * [taylor]: Taking taylor expansion of t in y
1.879 * [taylor]: Taking taylor expansion of z in y
1.880 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 (* t z)))) in x
1.880 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in x
1.880 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 (* t z)))
1.880 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x
1.880 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.880 * [taylor]: Taking taylor expansion of x in x
1.880 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.880 * [taylor]: Taking taylor expansion of y in x
1.880 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.880 * [taylor]: Taking taylor expansion of (* t z) in x
1.880 * [taylor]: Taking taylor expansion of t in x
1.880 * [taylor]: Taking taylor expansion of z in x
1.881 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 (* t z)))) in x
1.881 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in x
1.881 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 (* t z)))
1.881 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x
1.881 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.881 * [taylor]: Taking taylor expansion of x in x
1.881 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.881 * [taylor]: Taking taylor expansion of y in x
1.881 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.881 * [taylor]: Taking taylor expansion of (* t z) in x
1.882 * [taylor]: Taking taylor expansion of t in x
1.882 * [taylor]: Taking taylor expansion of z in x
1.882 * [taylor]: Taking taylor expansion of 0 in y
1.882 * [taylor]: Taking taylor expansion of (/ +nan.0 y) in y
1.882 * [taylor]: Taking taylor expansion of +nan.0 in y
1.882 * [taylor]: Taking taylor expansion of y in y
1.883 * [taylor]: Taking taylor expansion of +nan.0 in z
1.883 * [taylor]: Taking taylor expansion of 0 in z
1.884 * [taylor]: Taking taylor expansion of (* +nan.0 (- (/ 1 (* t z)) (* +nan.0 (/ 1 (pow y 2))))) in y
1.884 * [taylor]: Taking taylor expansion of +nan.0 in y
1.884 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z)) (* +nan.0 (/ 1 (pow y 2)))) in y
1.884 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.884 * [taylor]: Taking taylor expansion of (* t z) in y
1.884 * [taylor]: Taking taylor expansion of t in y
1.884 * [taylor]: Taking taylor expansion of z in y
1.884 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y
1.884 * [taylor]: Taking taylor expansion of +nan.0 in y
1.884 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.884 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.885 * [taylor]: Taking taylor expansion of y in y
1.888 * [taylor]: Taking taylor expansion of 0 in z
1.888 * [taylor]: Taking taylor expansion of 0 in z
1.889 * [taylor]: Taking taylor expansion of 0 in z
1.889 * [taylor]: Taking taylor expansion of +nan.0 in t
1.889 * [taylor]: Taking taylor expansion of 0 in t
1.891 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (* t (* z y)))) (- (* +nan.0 (/ 1 (pow y 3)))))) in y
1.891 * [taylor]: Taking taylor expansion of +nan.0 in y
1.891 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* t (* z y)))) (- (* +nan.0 (/ 1 (pow y 3))))) in y
1.891 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* t (* z y)))) in y
1.891 * [taylor]: Taking taylor expansion of +nan.0 in y
1.891 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
1.891 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.891 * [taylor]: Taking taylor expansion of t in y
1.891 * [taylor]: Taking taylor expansion of (* z y) in y
1.891 * [taylor]: Taking taylor expansion of z in y
1.891 * [taylor]: Taking taylor expansion of y in y
1.892 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow y 3)))) in y
1.892 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 3))) in y
1.892 * [taylor]: Taking taylor expansion of +nan.0 in y
1.892 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
1.892 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.892 * [taylor]: Taking taylor expansion of y in y
1.898 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* t z)))) in z
1.899 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* t z))) in z
1.899 * [taylor]: Taking taylor expansion of +nan.0 in z
1.899 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.899 * [taylor]: Taking taylor expansion of (* t z) in z
1.899 * [taylor]: Taking taylor expansion of t in z
1.899 * [taylor]: Taking taylor expansion of z in z
1.899 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 t))) in t
1.899 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 t)) in t
1.899 * [taylor]: Taking taylor expansion of +nan.0 in t
1.899 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.899 * [taylor]: Taking taylor expansion of t in t
1.903 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* t z)))) in z
1.903 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* t z))) in z
1.903 * [taylor]: Taking taylor expansion of +nan.0 in z
1.903 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.903 * [taylor]: Taking taylor expansion of (* t z) in z
1.903 * [taylor]: Taking taylor expansion of t in z
1.903 * [taylor]: Taking taylor expansion of z in z
1.903 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 t))) in t
1.903 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 t)) in t
1.903 * [taylor]: Taking taylor expansion of +nan.0 in t
1.903 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.903 * [taylor]: Taking taylor expansion of t in t
1.905 * [taylor]: Taking taylor expansion of 0 in z
1.905 * [taylor]: Taking taylor expansion of 0 in z
1.905 * [taylor]: Taking taylor expansion of 0 in t
1.905 * [taylor]: Taking taylor expansion of 0 in t
1.905 * [taylor]: Taking taylor expansion of 0 in t
1.905 * [taylor]: Taking taylor expansion of 0 in t
1.905 * [taylor]: Taking taylor expansion of 0 in t
1.907 * [approximate]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 y) (/ 1 (* t z)))) in (x y z t) around 0
1.907 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 y) (/ 1 (* t z)))) in t
1.907 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in t
1.907 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 1 (* t z)))
1.907 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in t
1.907 * [taylor]: Taking taylor expansion of (/ -1 x) in t
1.907 * [taylor]: Taking taylor expansion of -1 in t
1.907 * [taylor]: Taking taylor expansion of x in t
1.907 * [taylor]: Taking taylor expansion of (/ -1 y) in t
1.907 * [taylor]: Taking taylor expansion of -1 in t
1.907 * [taylor]: Taking taylor expansion of y in t
1.907 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.907 * [taylor]: Taking taylor expansion of (* t z) in t
1.907 * [taylor]: Taking taylor expansion of t in t
1.907 * [taylor]: Taking taylor expansion of z in t
1.908 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 y) (/ 1 (* t z)))) in z
1.908 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in z
1.908 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 1 (* t z)))
1.908 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in z
1.908 * [taylor]: Taking taylor expansion of (/ -1 x) in z
1.908 * [taylor]: Taking taylor expansion of -1 in z
1.908 * [taylor]: Taking taylor expansion of x in z
1.908 * [taylor]: Taking taylor expansion of (/ -1 y) in z
1.908 * [taylor]: Taking taylor expansion of -1 in z
1.908 * [taylor]: Taking taylor expansion of y in z
1.908 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.908 * [taylor]: Taking taylor expansion of (* t z) in z
1.908 * [taylor]: Taking taylor expansion of t in z
1.908 * [taylor]: Taking taylor expansion of z in z
1.909 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 y) (/ 1 (* t z)))) in y
1.909 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in y
1.909 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 1 (* t z)))
1.910 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in y
1.910 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.910 * [taylor]: Taking taylor expansion of -1 in y
1.910 * [taylor]: Taking taylor expansion of x in y
1.910 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.910 * [taylor]: Taking taylor expansion of -1 in y
1.910 * [taylor]: Taking taylor expansion of y in y
1.910 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.910 * [taylor]: Taking taylor expansion of (* t z) in y
1.910 * [taylor]: Taking taylor expansion of t in y
1.910 * [taylor]: Taking taylor expansion of z in y
1.911 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 y) (/ 1 (* t z)))) in x
1.911 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in x
1.911 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 1 (* t z)))
1.911 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x
1.911 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.911 * [taylor]: Taking taylor expansion of -1 in x
1.911 * [taylor]: Taking taylor expansion of x in x
1.911 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.911 * [taylor]: Taking taylor expansion of -1 in x
1.911 * [taylor]: Taking taylor expansion of y in x
1.911 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.911 * [taylor]: Taking taylor expansion of (* t z) in x
1.911 * [taylor]: Taking taylor expansion of t in x
1.911 * [taylor]: Taking taylor expansion of z in x
1.912 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 y) (/ 1 (* t z)))) in x
1.912 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in x
1.912 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 1 (* t z)))
1.912 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x
1.912 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.912 * [taylor]: Taking taylor expansion of -1 in x
1.912 * [taylor]: Taking taylor expansion of x in x
1.913 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.913 * [taylor]: Taking taylor expansion of -1 in x
1.913 * [taylor]: Taking taylor expansion of y in x
1.913 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.913 * [taylor]: Taking taylor expansion of (* t z) in x
1.913 * [taylor]: Taking taylor expansion of t in x
1.913 * [taylor]: Taking taylor expansion of z in x
1.914 * [taylor]: Taking taylor expansion of 0 in y
1.914 * [taylor]: Taking taylor expansion of (/ +nan.0 y) in y
1.914 * [taylor]: Taking taylor expansion of +nan.0 in y
1.914 * [taylor]: Taking taylor expansion of y in y
1.914 * [taylor]: Taking taylor expansion of +nan.0 in z
1.914 * [taylor]: Taking taylor expansion of 0 in z
1.916 * [taylor]: Taking taylor expansion of (* +nan.0 (- (/ 1 (* t z)) (* +nan.0 (/ 1 (pow y 2))))) in y
1.916 * [taylor]: Taking taylor expansion of +nan.0 in y
1.916 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z)) (* +nan.0 (/ 1 (pow y 2)))) in y
1.916 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.916 * [taylor]: Taking taylor expansion of (* t z) in y
1.916 * [taylor]: Taking taylor expansion of t in y
1.916 * [taylor]: Taking taylor expansion of z in y
1.916 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y
1.916 * [taylor]: Taking taylor expansion of +nan.0 in y
1.916 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.916 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.916 * [taylor]: Taking taylor expansion of y in y
1.920 * [taylor]: Taking taylor expansion of 0 in z
1.921 * [taylor]: Taking taylor expansion of 0 in z
1.921 * [taylor]: Taking taylor expansion of 0 in z
1.921 * [taylor]: Taking taylor expansion of +nan.0 in t
1.921 * [taylor]: Taking taylor expansion of 0 in t
1.923 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (* t (* z y)))) (- (* +nan.0 (/ 1 (pow y 3)))))) in y
1.923 * [taylor]: Taking taylor expansion of +nan.0 in y
1.923 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* t (* z y)))) (- (* +nan.0 (/ 1 (pow y 3))))) in y
1.923 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* t (* z y)))) in y
1.923 * [taylor]: Taking taylor expansion of +nan.0 in y
1.923 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
1.923 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.923 * [taylor]: Taking taylor expansion of t in y
1.923 * [taylor]: Taking taylor expansion of (* z y) in y
1.923 * [taylor]: Taking taylor expansion of z in y
1.923 * [taylor]: Taking taylor expansion of y in y
1.924 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow y 3)))) in y
1.924 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 3))) in y
1.924 * [taylor]: Taking taylor expansion of +nan.0 in y
1.924 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
1.924 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.924 * [taylor]: Taking taylor expansion of y in y
1.931 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* t z)))) in z
1.931 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* t z))) in z
1.931 * [taylor]: Taking taylor expansion of +nan.0 in z
1.931 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.931 * [taylor]: Taking taylor expansion of (* t z) in z
1.931 * [taylor]: Taking taylor expansion of t in z
1.931 * [taylor]: Taking taylor expansion of z in z
1.931 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 t))) in t
1.931 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 t)) in t
1.931 * [taylor]: Taking taylor expansion of +nan.0 in t
1.931 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.931 * [taylor]: Taking taylor expansion of t in t
1.934 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* t z)))) in z
1.935 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* t z))) in z
1.935 * [taylor]: Taking taylor expansion of +nan.0 in z
1.935 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.935 * [taylor]: Taking taylor expansion of (* t z) in z
1.935 * [taylor]: Taking taylor expansion of t in z
1.935 * [taylor]: Taking taylor expansion of z in z
1.935 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 t))) in t
1.935 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 t)) in t
1.935 * [taylor]: Taking taylor expansion of +nan.0 in t
1.935 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.935 * [taylor]: Taking taylor expansion of t in t
1.937 * [taylor]: Taking taylor expansion of 0 in z
1.937 * [taylor]: Taking taylor expansion of 0 in z
1.937 * [taylor]: Taking taylor expansion of 0 in t
1.937 * [taylor]: Taking taylor expansion of 0 in t
1.937 * [taylor]: Taking taylor expansion of 0 in t
1.937 * [taylor]: Taking taylor expansion of 0 in t
1.937 * [taylor]: Taking taylor expansion of 0 in t
1.938 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1.938 * [approximate]: Taking taylor expansion of (sqrt (fma x y (* t z))) in (x y z t) around 0
1.938 * [taylor]: Taking taylor expansion of (sqrt (fma x y (* t z))) in t
1.938 * [taylor]: Taking taylor expansion of (fma x y (* t z)) in t
1.938 * [taylor]: Rewrote expression to (+ (* x y) (* t z))
1.938 * [taylor]: Taking taylor expansion of (* x y) in t
1.938 * [taylor]: Taking taylor expansion of x in t
1.938 * [taylor]: Taking taylor expansion of y in t
1.938 * [taylor]: Taking taylor expansion of (* t z) in t
1.938 * [taylor]: Taking taylor expansion of t in t
1.938 * [taylor]: Taking taylor expansion of z in t
1.939 * [taylor]: Taking taylor expansion of (sqrt (fma x y (* t z))) in z
1.939 * [taylor]: Taking taylor expansion of (fma x y (* t z)) in z
1.939 * [taylor]: Rewrote expression to (+ (* x y) (* t z))
1.939 * [taylor]: Taking taylor expansion of (* x y) in z
1.939 * [taylor]: Taking taylor expansion of x in z
1.939 * [taylor]: Taking taylor expansion of y in z
1.939 * [taylor]: Taking taylor expansion of (* t z) in z
1.939 * [taylor]: Taking taylor expansion of t in z
1.939 * [taylor]: Taking taylor expansion of z in z
1.940 * [taylor]: Taking taylor expansion of (sqrt (fma x y (* t z))) in y
1.940 * [taylor]: Taking taylor expansion of (fma x y (* t z)) in y
1.940 * [taylor]: Rewrote expression to (+ (* x y) (* t z))
1.940 * [taylor]: Taking taylor expansion of (* x y) in y
1.940 * [taylor]: Taking taylor expansion of x in y
1.940 * [taylor]: Taking taylor expansion of y in y
1.940 * [taylor]: Taking taylor expansion of (* t z) in y
1.940 * [taylor]: Taking taylor expansion of t in y
1.940 * [taylor]: Taking taylor expansion of z in y
1.940 * [taylor]: Taking taylor expansion of (sqrt (fma x y (* t z))) in x
1.940 * [taylor]: Taking taylor expansion of (fma x y (* t z)) in x
1.941 * [taylor]: Rewrote expression to (+ (* x y) (* t z))
1.941 * [taylor]: Taking taylor expansion of (* x y) in x
1.941 * [taylor]: Taking taylor expansion of x in x
1.941 * [taylor]: Taking taylor expansion of y in x
1.941 * [taylor]: Taking taylor expansion of (* t z) in x
1.941 * [taylor]: Taking taylor expansion of t in x
1.941 * [taylor]: Taking taylor expansion of z in x
1.941 * [taylor]: Taking taylor expansion of (sqrt (fma x y (* t z))) in x
1.941 * [taylor]: Taking taylor expansion of (fma x y (* t z)) in x
1.941 * [taylor]: Rewrote expression to (+ (* x y) (* t z))
1.941 * [taylor]: Taking taylor expansion of (* x y) in x
1.941 * [taylor]: Taking taylor expansion of x in x
1.941 * [taylor]: Taking taylor expansion of y in x
1.941 * [taylor]: Taking taylor expansion of (* t z) in x
1.941 * [taylor]: Taking taylor expansion of t in x
1.941 * [taylor]: Taking taylor expansion of z in x
1.942 * [taylor]: Taking taylor expansion of (sqrt (* t z)) in y
1.942 * [taylor]: Taking taylor expansion of (* t z) in y
1.942 * [taylor]: Taking taylor expansion of t in y
1.942 * [taylor]: Taking taylor expansion of z in y
1.942 * [taylor]: Taking taylor expansion of (sqrt (* t z)) in z
1.942 * [taylor]: Taking taylor expansion of (* t z) in z
1.942 * [taylor]: Taking taylor expansion of t in z
1.942 * [taylor]: Taking taylor expansion of z in z
1.943 * [taylor]: Taking taylor expansion of 0 in t
1.943 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt (/ 1 (* t z))) y)) in y
1.943 * [taylor]: Taking taylor expansion of 1/2 in y
1.943 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (* t z))) y) in y
1.943 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (* t z))) in y
1.943 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.943 * [taylor]: Taking taylor expansion of (* t z) in y
1.943 * [taylor]: Taking taylor expansion of t in y
1.943 * [taylor]: Taking taylor expansion of z in y
1.944 * [taylor]: Taking taylor expansion of y in y
1.944 * [taylor]: Taking taylor expansion of 0 in z
1.944 * [taylor]: Taking taylor expansion of 0 in t
1.944 * [taylor]: Taking taylor expansion of 0 in z
1.944 * [taylor]: Taking taylor expansion of 0 in t
1.944 * [taylor]: Taking taylor expansion of (* +nan.0 t) in t
1.944 * [taylor]: Taking taylor expansion of +nan.0 in t
1.944 * [taylor]: Taking taylor expansion of t in t
1.946 * [taylor]: Taking taylor expansion of (* -1/8 (* (sqrt (/ 1 (* (pow t 3) (pow z 3)))) (pow y 2))) in y
1.946 * [taylor]: Taking taylor expansion of -1/8 in y
1.946 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (* (pow t 3) (pow z 3)))) (pow y 2)) in y
1.946 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (* (pow t 3) (pow z 3)))) in y
1.949 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in y
1.949 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in y
1.949 * [taylor]: Taking taylor expansion of (pow t 3) in y
1.949 * [taylor]: Taking taylor expansion of t in y
1.949 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.949 * [taylor]: Taking taylor expansion of z in y
1.950 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.950 * [taylor]: Taking taylor expansion of y in y
1.951 * [taylor]: Taking taylor expansion of (* 1/2 (sqrt (/ 1 (* t z)))) in z
1.951 * [taylor]: Taking taylor expansion of 1/2 in z
1.951 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (* t z))) in z
1.951 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.951 * [taylor]: Taking taylor expansion of (* t z) in z
1.951 * [taylor]: Taking taylor expansion of t in z
1.951 * [taylor]: Taking taylor expansion of z in z
1.952 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 t))) in t
1.952 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 t)) in t
1.952 * [taylor]: Taking taylor expansion of +nan.0 in t
1.952 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.952 * [taylor]: Taking taylor expansion of t in t
1.954 * [approximate]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 (* t z)))) in (x y z t) around 0
1.954 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 (* t z)))) in t
1.954 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in t
1.954 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 (* t z)))
1.954 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in t
1.954 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.954 * [taylor]: Taking taylor expansion of x in t
1.954 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.954 * [taylor]: Taking taylor expansion of y in t
1.954 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.954 * [taylor]: Taking taylor expansion of (* t z) in t
1.954 * [taylor]: Taking taylor expansion of t in t
1.954 * [taylor]: Taking taylor expansion of z in t
1.955 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 (* t z)))) in z
1.955 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in z
1.956 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 (* t z)))
1.956 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in z
1.956 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.956 * [taylor]: Taking taylor expansion of x in z
1.956 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.956 * [taylor]: Taking taylor expansion of y in z
1.956 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.956 * [taylor]: Taking taylor expansion of (* t z) in z
1.956 * [taylor]: Taking taylor expansion of t in z
1.956 * [taylor]: Taking taylor expansion of z in z
1.957 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 (* t z)))) in y
1.957 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in y
1.957 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 (* t z)))
1.957 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in y
1.957 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.957 * [taylor]: Taking taylor expansion of x in y
1.957 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.957 * [taylor]: Taking taylor expansion of y in y
1.957 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.957 * [taylor]: Taking taylor expansion of (* t z) in y
1.957 * [taylor]: Taking taylor expansion of t in y
1.957 * [taylor]: Taking taylor expansion of z in y
1.958 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 (* t z)))) in x
1.958 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in x
1.959 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 (* t z)))
1.960 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x
1.960 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.960 * [taylor]: Taking taylor expansion of x in x
1.960 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.960 * [taylor]: Taking taylor expansion of y in x
1.960 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.960 * [taylor]: Taking taylor expansion of (* t z) in x
1.960 * [taylor]: Taking taylor expansion of t in x
1.960 * [taylor]: Taking taylor expansion of z in x
1.962 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 (* t z)))) in x
1.962 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in x
1.962 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 (* t z)))
1.962 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x
1.962 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.962 * [taylor]: Taking taylor expansion of x in x
1.962 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.962 * [taylor]: Taking taylor expansion of y in x
1.962 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.963 * [taylor]: Taking taylor expansion of (* t z) in x
1.963 * [taylor]: Taking taylor expansion of t in x
1.963 * [taylor]: Taking taylor expansion of z in x
1.964 * [taylor]: Taking taylor expansion of 0 in y
1.964 * [taylor]: Taking taylor expansion of (/ +nan.0 y) in y
1.964 * [taylor]: Taking taylor expansion of +nan.0 in y
1.964 * [taylor]: Taking taylor expansion of y in y
1.964 * [taylor]: Taking taylor expansion of +nan.0 in z
1.964 * [taylor]: Taking taylor expansion of 0 in z
1.967 * [taylor]: Taking taylor expansion of (* +nan.0 (- (/ 1 (* t z)) (* +nan.0 (/ 1 (pow y 2))))) in y
1.967 * [taylor]: Taking taylor expansion of +nan.0 in y
1.967 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z)) (* +nan.0 (/ 1 (pow y 2)))) in y
1.967 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.967 * [taylor]: Taking taylor expansion of (* t z) in y
1.967 * [taylor]: Taking taylor expansion of t in y
1.967 * [taylor]: Taking taylor expansion of z in y
1.968 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y
1.968 * [taylor]: Taking taylor expansion of +nan.0 in y
1.968 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.968 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.968 * [taylor]: Taking taylor expansion of y in y
1.973 * [taylor]: Taking taylor expansion of 0 in z
1.974 * [taylor]: Taking taylor expansion of 0 in z
1.974 * [taylor]: Taking taylor expansion of 0 in z
1.975 * [taylor]: Taking taylor expansion of +nan.0 in t
1.975 * [taylor]: Taking taylor expansion of 0 in t
1.978 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (* t (* z y)))) (- (* +nan.0 (/ 1 (pow y 3)))))) in y
1.979 * [taylor]: Taking taylor expansion of +nan.0 in y
1.979 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* t (* z y)))) (- (* +nan.0 (/ 1 (pow y 3))))) in y
1.979 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* t (* z y)))) in y
1.979 * [taylor]: Taking taylor expansion of +nan.0 in y
1.979 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
1.979 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.979 * [taylor]: Taking taylor expansion of t in y
1.979 * [taylor]: Taking taylor expansion of (* z y) in y
1.979 * [taylor]: Taking taylor expansion of z in y
1.979 * [taylor]: Taking taylor expansion of y in y
1.980 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow y 3)))) in y
1.980 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 3))) in y
1.980 * [taylor]: Taking taylor expansion of +nan.0 in y
1.980 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
1.980 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.980 * [taylor]: Taking taylor expansion of y in y
1.990 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* t z)))) in z
1.991 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* t z))) in z
1.991 * [taylor]: Taking taylor expansion of +nan.0 in z
1.991 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.991 * [taylor]: Taking taylor expansion of (* t z) in z
1.991 * [taylor]: Taking taylor expansion of t in z
1.991 * [taylor]: Taking taylor expansion of z in z
1.991 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 t))) in t
1.991 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 t)) in t
1.991 * [taylor]: Taking taylor expansion of +nan.0 in t
1.991 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.991 * [taylor]: Taking taylor expansion of t in t
1.994 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* t z)))) in z
1.994 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* t z))) in z
1.994 * [taylor]: Taking taylor expansion of +nan.0 in z
1.994 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.994 * [taylor]: Taking taylor expansion of (* t z) in z
1.995 * [taylor]: Taking taylor expansion of t in z
1.995 * [taylor]: Taking taylor expansion of z in z
1.995 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 t))) in t
1.995 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 t)) in t
1.995 * [taylor]: Taking taylor expansion of +nan.0 in t
1.995 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.995 * [taylor]: Taking taylor expansion of t in t
1.997 * [taylor]: Taking taylor expansion of 0 in z
1.997 * [taylor]: Taking taylor expansion of 0 in z
1.997 * [taylor]: Taking taylor expansion of 0 in t
1.997 * [taylor]: Taking taylor expansion of 0 in t
1.997 * [taylor]: Taking taylor expansion of 0 in t
1.997 * [taylor]: Taking taylor expansion of 0 in t
1.997 * [taylor]: Taking taylor expansion of 0 in t
1.998 * [approximate]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 y) (/ 1 (* t z)))) in (x y z t) around 0
1.998 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 y) (/ 1 (* t z)))) in t
1.998 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in t
1.998 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 1 (* t z)))
1.998 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in t
1.998 * [taylor]: Taking taylor expansion of (/ -1 x) in t
1.998 * [taylor]: Taking taylor expansion of -1 in t
1.998 * [taylor]: Taking taylor expansion of x in t
1.998 * [taylor]: Taking taylor expansion of (/ -1 y) in t
1.998 * [taylor]: Taking taylor expansion of -1 in t
1.998 * [taylor]: Taking taylor expansion of y in t
1.998 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.998 * [taylor]: Taking taylor expansion of (* t z) in t
1.998 * [taylor]: Taking taylor expansion of t in t
1.998 * [taylor]: Taking taylor expansion of z in t
1.999 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 y) (/ 1 (* t z)))) in z
1.999 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in z
2.000 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 1 (* t z)))
2.000 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in z
2.000 * [taylor]: Taking taylor expansion of (/ -1 x) in z
2.000 * [taylor]: Taking taylor expansion of -1 in z
2.000 * [taylor]: Taking taylor expansion of x in z
2.000 * [taylor]: Taking taylor expansion of (/ -1 y) in z
2.000 * [taylor]: Taking taylor expansion of -1 in z
2.000 * [taylor]: Taking taylor expansion of y in z
2.000 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
2.000 * [taylor]: Taking taylor expansion of (* t z) in z
2.000 * [taylor]: Taking taylor expansion of t in z
2.000 * [taylor]: Taking taylor expansion of z in z
2.001 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 y) (/ 1 (* t z)))) in y
2.001 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in y
2.001 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 1 (* t z)))
2.001 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in y
2.001 * [taylor]: Taking taylor expansion of (/ -1 x) in y
2.001 * [taylor]: Taking taylor expansion of -1 in y
2.001 * [taylor]: Taking taylor expansion of x in y
2.001 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.001 * [taylor]: Taking taylor expansion of -1 in y
2.001 * [taylor]: Taking taylor expansion of y in y
2.001 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
2.002 * [taylor]: Taking taylor expansion of (* t z) in y
2.002 * [taylor]: Taking taylor expansion of t in y
2.002 * [taylor]: Taking taylor expansion of z in y
2.002 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 y) (/ 1 (* t z)))) in x
2.002 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in x
2.002 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 1 (* t z)))
2.003 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x
2.003 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.003 * [taylor]: Taking taylor expansion of -1 in x
2.003 * [taylor]: Taking taylor expansion of x in x
2.003 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.003 * [taylor]: Taking taylor expansion of -1 in x
2.003 * [taylor]: Taking taylor expansion of y in x
2.003 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
2.003 * [taylor]: Taking taylor expansion of (* t z) in x
2.003 * [taylor]: Taking taylor expansion of t in x
2.003 * [taylor]: Taking taylor expansion of z in x
2.004 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 y) (/ 1 (* t z)))) in x
2.004 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in x
2.004 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 1 (* t z)))
2.004 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x
2.004 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.004 * [taylor]: Taking taylor expansion of -1 in x
2.004 * [taylor]: Taking taylor expansion of x in x
2.004 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.004 * [taylor]: Taking taylor expansion of -1 in x
2.004 * [taylor]: Taking taylor expansion of y in x
2.004 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
2.004 * [taylor]: Taking taylor expansion of (* t z) in x
2.004 * [taylor]: Taking taylor expansion of t in x
2.004 * [taylor]: Taking taylor expansion of z in x
2.005 * [taylor]: Taking taylor expansion of 0 in y
2.005 * [taylor]: Taking taylor expansion of (/ +nan.0 y) in y
2.005 * [taylor]: Taking taylor expansion of +nan.0 in y
2.005 * [taylor]: Taking taylor expansion of y in y
2.006 * [taylor]: Taking taylor expansion of +nan.0 in z
2.006 * [taylor]: Taking taylor expansion of 0 in z
2.007 * [taylor]: Taking taylor expansion of (* +nan.0 (- (/ 1 (* t z)) (* +nan.0 (/ 1 (pow y 2))))) in y
2.007 * [taylor]: Taking taylor expansion of +nan.0 in y
2.007 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z)) (* +nan.0 (/ 1 (pow y 2)))) in y
2.007 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
2.007 * [taylor]: Taking taylor expansion of (* t z) in y
2.007 * [taylor]: Taking taylor expansion of t in y
2.007 * [taylor]: Taking taylor expansion of z in y
2.008 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y
2.008 * [taylor]: Taking taylor expansion of +nan.0 in y
2.008 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.008 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.008 * [taylor]: Taking taylor expansion of y in y
2.011 * [taylor]: Taking taylor expansion of 0 in z
2.012 * [taylor]: Taking taylor expansion of 0 in z
2.012 * [taylor]: Taking taylor expansion of 0 in z
2.012 * [taylor]: Taking taylor expansion of +nan.0 in t
2.012 * [taylor]: Taking taylor expansion of 0 in t
2.014 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (* t (* z y)))) (- (* +nan.0 (/ 1 (pow y 3)))))) in y
2.014 * [taylor]: Taking taylor expansion of +nan.0 in y
2.014 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* t (* z y)))) (- (* +nan.0 (/ 1 (pow y 3))))) in y
2.014 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* t (* z y)))) in y
2.014 * [taylor]: Taking taylor expansion of +nan.0 in y
2.014 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
2.014 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.014 * [taylor]: Taking taylor expansion of t in y
2.014 * [taylor]: Taking taylor expansion of (* z y) in y
2.014 * [taylor]: Taking taylor expansion of z in y
2.014 * [taylor]: Taking taylor expansion of y in y
2.015 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow y 3)))) in y
2.015 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 3))) in y
2.015 * [taylor]: Taking taylor expansion of +nan.0 in y
2.015 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
2.015 * [taylor]: Taking taylor expansion of (pow y 3) in y
2.015 * [taylor]: Taking taylor expansion of y in y
2.021 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* t z)))) in z
2.021 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* t z))) in z
2.021 * [taylor]: Taking taylor expansion of +nan.0 in z
2.022 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
2.022 * [taylor]: Taking taylor expansion of (* t z) in z
2.022 * [taylor]: Taking taylor expansion of t in z
2.022 * [taylor]: Taking taylor expansion of z in z
2.022 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 t))) in t
2.022 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 t)) in t
2.022 * [taylor]: Taking taylor expansion of +nan.0 in t
2.022 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.022 * [taylor]: Taking taylor expansion of t in t
2.025 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* t z)))) in z
2.026 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* t z))) in z
2.026 * [taylor]: Taking taylor expansion of +nan.0 in z
2.026 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
2.026 * [taylor]: Taking taylor expansion of (* t z) in z
2.026 * [taylor]: Taking taylor expansion of t in z
2.026 * [taylor]: Taking taylor expansion of z in z
2.026 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 t))) in t
2.026 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 t)) in t
2.026 * [taylor]: Taking taylor expansion of +nan.0 in t
2.026 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.026 * [taylor]: Taking taylor expansion of t in t
2.028 * [taylor]: Taking taylor expansion of 0 in z
2.028 * [taylor]: Taking taylor expansion of 0 in z
2.028 * [taylor]: Taking taylor expansion of 0 in t
2.028 * [taylor]: Taking taylor expansion of 0 in t
2.028 * [taylor]: Taking taylor expansion of 0 in t
2.028 * [taylor]: Taking taylor expansion of 0 in t
2.028 * [taylor]: Taking taylor expansion of 0 in t
2.029 * * * * [progress]: [ 3 / 4 ] generating series at (2)
2.029 * [approximate]: Taking taylor expansion of (fma x y (* t z)) in (x y z t) around 0
2.029 * [taylor]: Taking taylor expansion of (fma x y (* t z)) in t
2.029 * [taylor]: Rewrote expression to (+ (* x y) (* t z))
2.030 * [taylor]: Taking taylor expansion of (* x y) in t
2.030 * [taylor]: Taking taylor expansion of x in t
2.030 * [taylor]: Taking taylor expansion of y in t
2.030 * [taylor]: Taking taylor expansion of (* t z) in t
2.030 * [taylor]: Taking taylor expansion of t in t
2.030 * [taylor]: Taking taylor expansion of z in t
2.030 * [taylor]: Taking taylor expansion of (fma x y (* t z)) in z
2.030 * [taylor]: Rewrote expression to (+ (* x y) (* t z))
2.030 * [taylor]: Taking taylor expansion of (* x y) in z
2.030 * [taylor]: Taking taylor expansion of x in z
2.030 * [taylor]: Taking taylor expansion of y in z
2.030 * [taylor]: Taking taylor expansion of (* t z) in z
2.030 * [taylor]: Taking taylor expansion of t in z
2.030 * [taylor]: Taking taylor expansion of z in z
2.030 * [taylor]: Taking taylor expansion of (fma x y (* t z)) in y
2.030 * [taylor]: Rewrote expression to (+ (* x y) (* t z))
2.030 * [taylor]: Taking taylor expansion of (* x y) in y
2.030 * [taylor]: Taking taylor expansion of x in y
2.030 * [taylor]: Taking taylor expansion of y in y
2.030 * [taylor]: Taking taylor expansion of (* t z) in y
2.030 * [taylor]: Taking taylor expansion of t in y
2.030 * [taylor]: Taking taylor expansion of z in y
2.030 * [taylor]: Taking taylor expansion of (fma x y (* t z)) in x
2.030 * [taylor]: Rewrote expression to (+ (* x y) (* t z))
2.030 * [taylor]: Taking taylor expansion of (* x y) in x
2.030 * [taylor]: Taking taylor expansion of x in x
2.030 * [taylor]: Taking taylor expansion of y in x
2.030 * [taylor]: Taking taylor expansion of (* t z) in x
2.030 * [taylor]: Taking taylor expansion of t in x
2.030 * [taylor]: Taking taylor expansion of z in x
2.030 * [taylor]: Taking taylor expansion of (fma x y (* t z)) in x
2.030 * [taylor]: Rewrote expression to (+ (* x y) (* t z))
2.030 * [taylor]: Taking taylor expansion of (* x y) in x
2.030 * [taylor]: Taking taylor expansion of x in x
2.030 * [taylor]: Taking taylor expansion of y in x
2.031 * [taylor]: Taking taylor expansion of (* t z) in x
2.031 * [taylor]: Taking taylor expansion of t in x
2.031 * [taylor]: Taking taylor expansion of z in x
2.031 * [taylor]: Taking taylor expansion of (* t z) in y
2.031 * [taylor]: Taking taylor expansion of t in y
2.031 * [taylor]: Taking taylor expansion of z in y
2.031 * [taylor]: Taking taylor expansion of (* t z) in z
2.031 * [taylor]: Taking taylor expansion of t in z
2.031 * [taylor]: Taking taylor expansion of z in z
2.031 * [taylor]: Taking taylor expansion of 0 in t
2.031 * [taylor]: Taking taylor expansion of y in y
2.031 * [taylor]: Taking taylor expansion of 0 in z
2.031 * [taylor]: Taking taylor expansion of 0 in t
2.031 * [taylor]: Taking taylor expansion of 0 in z
2.031 * [taylor]: Taking taylor expansion of 0 in t
2.032 * [taylor]: Taking taylor expansion of t in t
2.033 * [taylor]: Taking taylor expansion of 0 in y
2.033 * [taylor]: Taking taylor expansion of 0 in z
2.033 * [taylor]: Taking taylor expansion of 0 in t
2.033 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in (x y z t) around 0
2.033 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in t
2.033 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 (* t z)))
2.033 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in t
2.033 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.033 * [taylor]: Taking taylor expansion of x in t
2.033 * [taylor]: Taking taylor expansion of (/ 1 y) in t
2.033 * [taylor]: Taking taylor expansion of y in t
2.033 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
2.034 * [taylor]: Taking taylor expansion of (* t z) in t
2.034 * [taylor]: Taking taylor expansion of t in t
2.034 * [taylor]: Taking taylor expansion of z in t
2.034 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in z
2.034 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 (* t z)))
2.034 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in z
2.034 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.034 * [taylor]: Taking taylor expansion of x in z
2.034 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.034 * [taylor]: Taking taylor expansion of y in z
2.034 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
2.034 * [taylor]: Taking taylor expansion of (* t z) in z
2.034 * [taylor]: Taking taylor expansion of t in z
2.034 * [taylor]: Taking taylor expansion of z in z
2.035 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in y
2.035 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 (* t z)))
2.035 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in y
2.035 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.035 * [taylor]: Taking taylor expansion of x in y
2.035 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.035 * [taylor]: Taking taylor expansion of y in y
2.035 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
2.035 * [taylor]: Taking taylor expansion of (* t z) in y
2.035 * [taylor]: Taking taylor expansion of t in y
2.035 * [taylor]: Taking taylor expansion of z in y
2.035 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in x
2.035 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 (* t z)))
2.035 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x
2.035 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.035 * [taylor]: Taking taylor expansion of x in x
2.036 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.036 * [taylor]: Taking taylor expansion of y in x
2.036 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
2.036 * [taylor]: Taking taylor expansion of (* t z) in x
2.036 * [taylor]: Taking taylor expansion of t in x
2.036 * [taylor]: Taking taylor expansion of z in x
2.036 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in x
2.036 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 (* t z)))
2.036 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x
2.036 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.036 * [taylor]: Taking taylor expansion of x in x
2.036 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.036 * [taylor]: Taking taylor expansion of y in x
2.036 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
2.036 * [taylor]: Taking taylor expansion of (* t z) in x
2.036 * [taylor]: Taking taylor expansion of t in x
2.036 * [taylor]: Taking taylor expansion of z in x
2.037 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.037 * [taylor]: Taking taylor expansion of y in y
2.037 * [taylor]: Taking taylor expansion of 1 in z
2.038 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
2.038 * [taylor]: Taking taylor expansion of (* t z) in y
2.038 * [taylor]: Taking taylor expansion of t in y
2.038 * [taylor]: Taking taylor expansion of z in y
2.038 * [taylor]: Taking taylor expansion of 0 in z
2.038 * [taylor]: Taking taylor expansion of 1 in t
2.040 * [taylor]: Taking taylor expansion of 0 in y
2.040 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
2.040 * [taylor]: Taking taylor expansion of (* t z) in z
2.040 * [taylor]: Taking taylor expansion of t in z
2.040 * [taylor]: Taking taylor expansion of z in z
2.040 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.040 * [taylor]: Taking taylor expansion of t in t
2.041 * [taylor]: Taking taylor expansion of 0 in z
2.041 * [taylor]: Taking taylor expansion of 0 in t
2.041 * [taylor]: Taking taylor expansion of 0 in t
2.043 * [taylor]: Taking taylor expansion of 0 in y
2.043 * [taylor]: Taking taylor expansion of 0 in z
2.043 * [taylor]: Taking taylor expansion of 0 in z
2.044 * [taylor]: Taking taylor expansion of 0 in z
2.044 * [taylor]: Taking taylor expansion of 0 in t
2.044 * [taylor]: Taking taylor expansion of 0 in t
2.044 * [taylor]: Taking taylor expansion of 0 in t
2.044 * [taylor]: Taking taylor expansion of 0 in t
2.048 * [taylor]: Taking taylor expansion of 0 in y
2.048 * [taylor]: Taking taylor expansion of 0 in z
2.048 * [taylor]: Taking taylor expansion of 0 in z
2.048 * [taylor]: Taking taylor expansion of 0 in z
2.049 * [taylor]: Taking taylor expansion of 0 in z
2.049 * [taylor]: Taking taylor expansion of 0 in t
2.049 * [taylor]: Taking taylor expansion of 0 in t
2.049 * [taylor]: Taking taylor expansion of 0 in t
2.049 * [taylor]: Taking taylor expansion of 0 in t
2.049 * [taylor]: Taking taylor expansion of 0 in t
2.049 * [taylor]: Taking taylor expansion of 0 in t
2.049 * [taylor]: Taking taylor expansion of 0 in t
2.050 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in (x y z t) around 0
2.050 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in t
2.050 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 1 (* t z)))
2.050 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in t
2.050 * [taylor]: Taking taylor expansion of (/ -1 x) in t
2.051 * [taylor]: Taking taylor expansion of -1 in t
2.051 * [taylor]: Taking taylor expansion of x in t
2.051 * [taylor]: Taking taylor expansion of (/ -1 y) in t
2.051 * [taylor]: Taking taylor expansion of -1 in t
2.051 * [taylor]: Taking taylor expansion of y in t
2.051 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
2.051 * [taylor]: Taking taylor expansion of (* t z) in t
2.051 * [taylor]: Taking taylor expansion of t in t
2.051 * [taylor]: Taking taylor expansion of z in t
2.051 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in z
2.051 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 1 (* t z)))
2.051 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in z
2.051 * [taylor]: Taking taylor expansion of (/ -1 x) in z
2.051 * [taylor]: Taking taylor expansion of -1 in z
2.051 * [taylor]: Taking taylor expansion of x in z
2.051 * [taylor]: Taking taylor expansion of (/ -1 y) in z
2.051 * [taylor]: Taking taylor expansion of -1 in z
2.051 * [taylor]: Taking taylor expansion of y in z
2.054 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
2.054 * [taylor]: Taking taylor expansion of (* t z) in z
2.054 * [taylor]: Taking taylor expansion of t in z
2.054 * [taylor]: Taking taylor expansion of z in z
2.054 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in y
2.054 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 1 (* t z)))
2.054 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in y
2.054 * [taylor]: Taking taylor expansion of (/ -1 x) in y
2.054 * [taylor]: Taking taylor expansion of -1 in y
2.054 * [taylor]: Taking taylor expansion of x in y
2.054 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.054 * [taylor]: Taking taylor expansion of -1 in y
2.054 * [taylor]: Taking taylor expansion of y in y
2.055 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
2.055 * [taylor]: Taking taylor expansion of (* t z) in y
2.055 * [taylor]: Taking taylor expansion of t in y
2.055 * [taylor]: Taking taylor expansion of z in y
2.055 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in x
2.055 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 1 (* t z)))
2.055 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x
2.055 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.055 * [taylor]: Taking taylor expansion of -1 in x
2.055 * [taylor]: Taking taylor expansion of x in x
2.055 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.055 * [taylor]: Taking taylor expansion of -1 in x
2.055 * [taylor]: Taking taylor expansion of y in x
2.056 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
2.056 * [taylor]: Taking taylor expansion of (* t z) in x
2.056 * [taylor]: Taking taylor expansion of t in x
2.056 * [taylor]: Taking taylor expansion of z in x
2.056 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in x
2.056 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 1 (* t z)))
2.056 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x
2.056 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.056 * [taylor]: Taking taylor expansion of -1 in x
2.056 * [taylor]: Taking taylor expansion of x in x
2.056 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.056 * [taylor]: Taking taylor expansion of -1 in x
2.056 * [taylor]: Taking taylor expansion of y in x
2.056 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
2.056 * [taylor]: Taking taylor expansion of (* t z) in x
2.056 * [taylor]: Taking taylor expansion of t in x
2.056 * [taylor]: Taking taylor expansion of z in x
2.056 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.056 * [taylor]: Taking taylor expansion of y in y
2.057 * [taylor]: Taking taylor expansion of 1 in z
2.058 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
2.058 * [taylor]: Taking taylor expansion of (* t z) in y
2.058 * [taylor]: Taking taylor expansion of t in y
2.058 * [taylor]: Taking taylor expansion of z in y
2.058 * [taylor]: Taking taylor expansion of 0 in z
2.058 * [taylor]: Taking taylor expansion of 1 in t
2.060 * [taylor]: Taking taylor expansion of 0 in y
2.060 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
2.060 * [taylor]: Taking taylor expansion of (* t z) in z
2.060 * [taylor]: Taking taylor expansion of t in z
2.060 * [taylor]: Taking taylor expansion of z in z
2.060 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.060 * [taylor]: Taking taylor expansion of t in t
2.061 * [taylor]: Taking taylor expansion of 0 in z
2.061 * [taylor]: Taking taylor expansion of 0 in t
2.061 * [taylor]: Taking taylor expansion of 0 in t
2.063 * [taylor]: Taking taylor expansion of 0 in y
2.063 * [taylor]: Taking taylor expansion of 0 in z
2.064 * [taylor]: Taking taylor expansion of 0 in z
2.064 * [taylor]: Taking taylor expansion of 0 in z
2.065 * [taylor]: Taking taylor expansion of 0 in t
2.065 * [taylor]: Taking taylor expansion of 0 in t
2.065 * [taylor]: Taking taylor expansion of 0 in t
2.065 * [taylor]: Taking taylor expansion of 0 in t
2.068 * [taylor]: Taking taylor expansion of 0 in y
2.068 * [taylor]: Taking taylor expansion of 0 in z
2.068 * [taylor]: Taking taylor expansion of 0 in z
2.068 * [taylor]: Taking taylor expansion of 0 in z
2.069 * [taylor]: Taking taylor expansion of 0 in z
2.069 * [taylor]: Taking taylor expansion of 0 in t
2.069 * [taylor]: Taking taylor expansion of 0 in t
2.069 * [taylor]: Taking taylor expansion of 0 in t
2.070 * [taylor]: Taking taylor expansion of 0 in t
2.070 * [taylor]: Taking taylor expansion of 0 in t
2.070 * [taylor]: Taking taylor expansion of 0 in t
2.070 * [taylor]: Taking taylor expansion of 0 in t
2.071 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
2.071 * [approximate]: Taking taylor expansion of (fma x y (* t z)) in (x y z t) around 0
2.071 * [taylor]: Taking taylor expansion of (fma x y (* t z)) in t
2.071 * [taylor]: Rewrote expression to (+ (* x y) (* t z))
2.071 * [taylor]: Taking taylor expansion of (* x y) in t
2.071 * [taylor]: Taking taylor expansion of x in t
2.071 * [taylor]: Taking taylor expansion of y in t
2.071 * [taylor]: Taking taylor expansion of (* t z) in t
2.071 * [taylor]: Taking taylor expansion of t in t
2.071 * [taylor]: Taking taylor expansion of z in t
2.071 * [taylor]: Taking taylor expansion of (fma x y (* t z)) in z
2.071 * [taylor]: Rewrote expression to (+ (* x y) (* t z))
2.071 * [taylor]: Taking taylor expansion of (* x y) in z
2.071 * [taylor]: Taking taylor expansion of x in z
2.071 * [taylor]: Taking taylor expansion of y in z
2.071 * [taylor]: Taking taylor expansion of (* t z) in z
2.071 * [taylor]: Taking taylor expansion of t in z
2.071 * [taylor]: Taking taylor expansion of z in z
2.071 * [taylor]: Taking taylor expansion of (fma x y (* t z)) in y
2.071 * [taylor]: Rewrote expression to (+ (* x y) (* t z))
2.071 * [taylor]: Taking taylor expansion of (* x y) in y
2.071 * [taylor]: Taking taylor expansion of x in y
2.071 * [taylor]: Taking taylor expansion of y in y
2.071 * [taylor]: Taking taylor expansion of (* t z) in y
2.071 * [taylor]: Taking taylor expansion of t in y
2.072 * [taylor]: Taking taylor expansion of z in y
2.072 * [taylor]: Taking taylor expansion of (fma x y (* t z)) in x
2.072 * [taylor]: Rewrote expression to (+ (* x y) (* t z))
2.072 * [taylor]: Taking taylor expansion of (* x y) in x
2.072 * [taylor]: Taking taylor expansion of x in x
2.072 * [taylor]: Taking taylor expansion of y in x
2.072 * [taylor]: Taking taylor expansion of (* t z) in x
2.072 * [taylor]: Taking taylor expansion of t in x
2.072 * [taylor]: Taking taylor expansion of z in x
2.072 * [taylor]: Taking taylor expansion of (fma x y (* t z)) in x
2.072 * [taylor]: Rewrote expression to (+ (* x y) (* t z))
2.072 * [taylor]: Taking taylor expansion of (* x y) in x
2.072 * [taylor]: Taking taylor expansion of x in x
2.072 * [taylor]: Taking taylor expansion of y in x
2.072 * [taylor]: Taking taylor expansion of (* t z) in x
2.072 * [taylor]: Taking taylor expansion of t in x
2.072 * [taylor]: Taking taylor expansion of z in x
2.072 * [taylor]: Taking taylor expansion of (* t z) in y
2.072 * [taylor]: Taking taylor expansion of t in y
2.072 * [taylor]: Taking taylor expansion of z in y
2.072 * [taylor]: Taking taylor expansion of (* t z) in z
2.072 * [taylor]: Taking taylor expansion of t in z
2.072 * [taylor]: Taking taylor expansion of z in z
2.072 * [taylor]: Taking taylor expansion of 0 in t
2.073 * [taylor]: Taking taylor expansion of y in y
2.073 * [taylor]: Taking taylor expansion of 0 in z
2.073 * [taylor]: Taking taylor expansion of 0 in t
2.073 * [taylor]: Taking taylor expansion of 0 in z
2.073 * [taylor]: Taking taylor expansion of 0 in t
2.073 * [taylor]: Taking taylor expansion of t in t
2.074 * [taylor]: Taking taylor expansion of 0 in y
2.074 * [taylor]: Taking taylor expansion of 0 in z
2.074 * [taylor]: Taking taylor expansion of 0 in t
2.074 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in (x y z t) around 0
2.074 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in t
2.074 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 (* t z)))
2.074 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in t
2.075 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.075 * [taylor]: Taking taylor expansion of x in t
2.075 * [taylor]: Taking taylor expansion of (/ 1 y) in t
2.075 * [taylor]: Taking taylor expansion of y in t
2.075 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
2.075 * [taylor]: Taking taylor expansion of (* t z) in t
2.075 * [taylor]: Taking taylor expansion of t in t
2.075 * [taylor]: Taking taylor expansion of z in t
2.075 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in z
2.075 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 (* t z)))
2.075 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in z
2.075 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.075 * [taylor]: Taking taylor expansion of x in z
2.075 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.075 * [taylor]: Taking taylor expansion of y in z
2.075 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
2.075 * [taylor]: Taking taylor expansion of (* t z) in z
2.076 * [taylor]: Taking taylor expansion of t in z
2.076 * [taylor]: Taking taylor expansion of z in z
2.076 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in y
2.076 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 (* t z)))
2.076 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in y
2.076 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.076 * [taylor]: Taking taylor expansion of x in y
2.076 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.076 * [taylor]: Taking taylor expansion of y in y
2.076 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
2.076 * [taylor]: Taking taylor expansion of (* t z) in y
2.076 * [taylor]: Taking taylor expansion of t in y
2.076 * [taylor]: Taking taylor expansion of z in y
2.077 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in x
2.077 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 (* t z)))
2.077 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x
2.077 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.077 * [taylor]: Taking taylor expansion of x in x
2.077 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.077 * [taylor]: Taking taylor expansion of y in x
2.077 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
2.077 * [taylor]: Taking taylor expansion of (* t z) in x
2.077 * [taylor]: Taking taylor expansion of t in x
2.077 * [taylor]: Taking taylor expansion of z in x
2.077 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in x
2.077 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 (* t z)))
2.077 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x
2.077 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.077 * [taylor]: Taking taylor expansion of x in x
2.078 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.078 * [taylor]: Taking taylor expansion of y in x
2.078 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
2.078 * [taylor]: Taking taylor expansion of (* t z) in x
2.078 * [taylor]: Taking taylor expansion of t in x
2.078 * [taylor]: Taking taylor expansion of z in x
2.078 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.078 * [taylor]: Taking taylor expansion of y in y
2.078 * [taylor]: Taking taylor expansion of 1 in z
2.079 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
2.079 * [taylor]: Taking taylor expansion of (* t z) in y
2.079 * [taylor]: Taking taylor expansion of t in y
2.079 * [taylor]: Taking taylor expansion of z in y
2.080 * [taylor]: Taking taylor expansion of 0 in z
2.080 * [taylor]: Taking taylor expansion of 1 in t
2.081 * [taylor]: Taking taylor expansion of 0 in y
2.081 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
2.081 * [taylor]: Taking taylor expansion of (* t z) in z
2.081 * [taylor]: Taking taylor expansion of t in z
2.081 * [taylor]: Taking taylor expansion of z in z
2.082 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.082 * [taylor]: Taking taylor expansion of t in t
2.082 * [taylor]: Taking taylor expansion of 0 in z
2.082 * [taylor]: Taking taylor expansion of 0 in t
2.083 * [taylor]: Taking taylor expansion of 0 in t
2.085 * [taylor]: Taking taylor expansion of 0 in y
2.085 * [taylor]: Taking taylor expansion of 0 in z
2.085 * [taylor]: Taking taylor expansion of 0 in z
2.085 * [taylor]: Taking taylor expansion of 0 in z
2.086 * [taylor]: Taking taylor expansion of 0 in t
2.086 * [taylor]: Taking taylor expansion of 0 in t
2.086 * [taylor]: Taking taylor expansion of 0 in t
2.086 * [taylor]: Taking taylor expansion of 0 in t
2.089 * [taylor]: Taking taylor expansion of 0 in y
2.089 * [taylor]: Taking taylor expansion of 0 in z
2.089 * [taylor]: Taking taylor expansion of 0 in z
2.090 * [taylor]: Taking taylor expansion of 0 in z
2.090 * [taylor]: Taking taylor expansion of 0 in z
2.090 * [taylor]: Taking taylor expansion of 0 in t
2.090 * [taylor]: Taking taylor expansion of 0 in t
2.090 * [taylor]: Taking taylor expansion of 0 in t
2.091 * [taylor]: Taking taylor expansion of 0 in t
2.091 * [taylor]: Taking taylor expansion of 0 in t
2.091 * [taylor]: Taking taylor expansion of 0 in t
2.091 * [taylor]: Taking taylor expansion of 0 in t
2.092 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in (x y z t) around 0
2.092 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in t
2.092 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 1 (* t z)))
2.092 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in t
2.092 * [taylor]: Taking taylor expansion of (/ -1 x) in t
2.092 * [taylor]: Taking taylor expansion of -1 in t
2.092 * [taylor]: Taking taylor expansion of x in t
2.092 * [taylor]: Taking taylor expansion of (/ -1 y) in t
2.092 * [taylor]: Taking taylor expansion of -1 in t
2.092 * [taylor]: Taking taylor expansion of y in t
2.092 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
2.092 * [taylor]: Taking taylor expansion of (* t z) in t
2.092 * [taylor]: Taking taylor expansion of t in t
2.092 * [taylor]: Taking taylor expansion of z in t
2.092 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in z
2.092 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 1 (* t z)))
2.092 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in z
2.092 * [taylor]: Taking taylor expansion of (/ -1 x) in z
2.092 * [taylor]: Taking taylor expansion of -1 in z
2.092 * [taylor]: Taking taylor expansion of x in z
2.092 * [taylor]: Taking taylor expansion of (/ -1 y) in z
2.092 * [taylor]: Taking taylor expansion of -1 in z
2.093 * [taylor]: Taking taylor expansion of y in z
2.093 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
2.093 * [taylor]: Taking taylor expansion of (* t z) in z
2.093 * [taylor]: Taking taylor expansion of t in z
2.093 * [taylor]: Taking taylor expansion of z in z
2.093 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in y
2.093 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 1 (* t z)))
2.093 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in y
2.093 * [taylor]: Taking taylor expansion of (/ -1 x) in y
2.093 * [taylor]: Taking taylor expansion of -1 in y
2.093 * [taylor]: Taking taylor expansion of x in y
2.093 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.093 * [taylor]: Taking taylor expansion of -1 in y
2.093 * [taylor]: Taking taylor expansion of y in y
2.093 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
2.094 * [taylor]: Taking taylor expansion of (* t z) in y
2.094 * [taylor]: Taking taylor expansion of t in y
2.094 * [taylor]: Taking taylor expansion of z in y
2.094 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in x
2.094 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 1 (* t z)))
2.094 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x
2.094 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.094 * [taylor]: Taking taylor expansion of -1 in x
2.094 * [taylor]: Taking taylor expansion of x in x
2.094 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.094 * [taylor]: Taking taylor expansion of -1 in x
2.094 * [taylor]: Taking taylor expansion of y in x
2.094 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
2.094 * [taylor]: Taking taylor expansion of (* t z) in x
2.094 * [taylor]: Taking taylor expansion of t in x
2.094 * [taylor]: Taking taylor expansion of z in x
2.094 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in x
2.094 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 1 (* t z)))
2.094 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x
2.094 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.094 * [taylor]: Taking taylor expansion of -1 in x
2.094 * [taylor]: Taking taylor expansion of x in x
2.095 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.095 * [taylor]: Taking taylor expansion of -1 in x
2.095 * [taylor]: Taking taylor expansion of y in x
2.095 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
2.095 * [taylor]: Taking taylor expansion of (* t z) in x
2.095 * [taylor]: Taking taylor expansion of t in x
2.095 * [taylor]: Taking taylor expansion of z in x
2.095 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.095 * [taylor]: Taking taylor expansion of y in y
2.095 * [taylor]: Taking taylor expansion of 1 in z
2.096 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
2.096 * [taylor]: Taking taylor expansion of (* t z) in y
2.096 * [taylor]: Taking taylor expansion of t in y
2.096 * [taylor]: Taking taylor expansion of z in y
2.097 * [taylor]: Taking taylor expansion of 0 in z
2.097 * [taylor]: Taking taylor expansion of 1 in t
2.099 * [taylor]: Taking taylor expansion of 0 in y
2.099 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
2.099 * [taylor]: Taking taylor expansion of (* t z) in z
2.099 * [taylor]: Taking taylor expansion of t in z
2.099 * [taylor]: Taking taylor expansion of z in z
2.099 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.099 * [taylor]: Taking taylor expansion of t in t
2.100 * [taylor]: Taking taylor expansion of 0 in z
2.100 * [taylor]: Taking taylor expansion of 0 in t
2.100 * [taylor]: Taking taylor expansion of 0 in t
2.102 * [taylor]: Taking taylor expansion of 0 in y
2.102 * [taylor]: Taking taylor expansion of 0 in z
2.102 * [taylor]: Taking taylor expansion of 0 in z
2.103 * [taylor]: Taking taylor expansion of 0 in z
2.103 * [taylor]: Taking taylor expansion of 0 in t
2.103 * [taylor]: Taking taylor expansion of 0 in t
2.103 * [taylor]: Taking taylor expansion of 0 in t
2.103 * [taylor]: Taking taylor expansion of 0 in t
2.107 * [taylor]: Taking taylor expansion of 0 in y
2.107 * [taylor]: Taking taylor expansion of 0 in z
2.107 * [taylor]: Taking taylor expansion of 0 in z
2.107 * [taylor]: Taking taylor expansion of 0 in z
2.108 * [taylor]: Taking taylor expansion of 0 in z
2.108 * [taylor]: Taking taylor expansion of 0 in t
2.108 * [taylor]: Taking taylor expansion of 0 in t
2.108 * [taylor]: Taking taylor expansion of 0 in t
2.109 * [taylor]: Taking taylor expansion of 0 in t
2.109 * [taylor]: Taking taylor expansion of 0 in t
2.109 * [taylor]: Taking taylor expansion of 0 in t
2.109 * [taylor]: Taking taylor expansion of 0 in t
2.109 * * * [progress]: simplifying candidates
2.111 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (sqrt (fma x y (* z t))))
  (log1p (sqrt (fma x y (* z t))))
  (log (sqrt (fma x y (* z t))))
  (exp (sqrt (fma x y (* z t))))
  (* (cbrt (sqrt (fma x y (* z t)))) (cbrt (sqrt (fma x y (* z t)))))
  (cbrt (sqrt (fma x y (* z t))))
  (* (* (sqrt (fma x y (* z t))) (sqrt (fma x y (* z t)))) (sqrt (fma x y (* z t))))
  (sqrt (* (cbrt (fma x y (* z t))) (cbrt (fma x y (* z t)))))
  (sqrt (cbrt (fma x y (* z t))))
  (sqrt (sqrt (fma x y (* z t))))
  (sqrt (sqrt (fma x y (* z t))))
  (sqrt 1)
  (sqrt (fma x y (* z t)))
  (/ 1 2)
  (sqrt (sqrt (fma x y (* z t))))
  (sqrt (sqrt (fma x y (* z t))))
  (expm1 (sqrt (fma x y (* z t))))
  (log1p (sqrt (fma x y (* z t))))
  (log (sqrt (fma x y (* z t))))
  (exp (sqrt (fma x y (* z t))))
  (* (cbrt (sqrt (fma x y (* z t)))) (cbrt (sqrt (fma x y (* z t)))))
  (cbrt (sqrt (fma x y (* z t))))
  (* (* (sqrt (fma x y (* z t))) (sqrt (fma x y (* z t)))) (sqrt (fma x y (* z t))))
  (sqrt (* (cbrt (fma x y (* z t))) (cbrt (fma x y (* z t)))))
  (sqrt (cbrt (fma x y (* z t))))
  (sqrt (sqrt (fma x y (* z t))))
  (sqrt (sqrt (fma x y (* z t))))
  (sqrt 1)
  (sqrt (fma x y (* z t)))
  (/ 1 2)
  (sqrt (sqrt (fma x y (* z t))))
  (sqrt (sqrt (fma x y (* z t))))
  (expm1 (* (sqrt (fma x y (* z t))) (sqrt (fma x y (* z t)))))
  (log1p (* (sqrt (fma x y (* z t))) (sqrt (fma x y (* z t)))))
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (* (fma x y (* z t)) (fma x y (* z t)))
  (* (sqrt (fma x y (* z t))) (sqrt (fma x y (* z t))))
  (* (fma x y (* z t)) (fma x y (* z t)))
  (+ 1 1)
  (+ (log (sqrt (fma x y (* z t)))) (log (sqrt (fma x y (* z t)))))
  (log (* (sqrt (fma x y (* z t))) (sqrt (fma x y (* z t)))))
  (exp (* (sqrt (fma x y (* z t))) (sqrt (fma x y (* z t)))))
  (* (* (* (sqrt (fma x y (* z t))) (sqrt (fma x y (* z t)))) (sqrt (fma x y (* z t)))) (* (* (sqrt (fma x y (* z t))) (sqrt (fma x y (* z t)))) (sqrt (fma x y (* z t)))))
  (* (cbrt (* (sqrt (fma x y (* z t))) (sqrt (fma x y (* z t))))) (cbrt (* (sqrt (fma x y (* z t))) (sqrt (fma x y (* z t))))))
  (cbrt (* (sqrt (fma x y (* z t))) (sqrt (fma x y (* z t)))))
  (* (* (* (sqrt (fma x y (* z t))) (sqrt (fma x y (* z t)))) (* (sqrt (fma x y (* z t))) (sqrt (fma x y (* z t))))) (* (sqrt (fma x y (* z t))) (sqrt (fma x y (* z t)))))
  (* (fma x y (* z t)) (fma x y (* z t)))
  (sqrt (* (sqrt (fma x y (* z t))) (sqrt (fma x y (* z t)))))
  (sqrt (* (sqrt (fma x y (* z t))) (sqrt (fma x y (* z t)))))
  (* (* (cbrt (sqrt (fma x y (* z t)))) (cbrt (sqrt (fma x y (* z t))))) (* (cbrt (sqrt (fma x y (* z t)))) (cbrt (sqrt (fma x y (* z t))))))
  (* (cbrt (sqrt (fma x y (* z t)))) (cbrt (sqrt (fma x y (* z t)))))
  (* (sqrt (* (cbrt (fma x y (* z t))) (cbrt (fma x y (* z t))))) (sqrt (* (cbrt (fma x y (* z t))) (cbrt (fma x y (* z t))))))
  (* (sqrt (cbrt (fma x y (* z t)))) (sqrt (cbrt (fma x y (* z t)))))
  (* (sqrt (sqrt (fma x y (* z t)))) (sqrt (sqrt (fma x y (* z t)))))
  (* (sqrt (sqrt (fma x y (* z t)))) (sqrt (sqrt (fma x y (* z t)))))
  (* (sqrt (sqrt (fma x y (* z t)))) (sqrt (sqrt (fma x y (* z t)))))
  (* (sqrt (sqrt (fma x y (* z t)))) (sqrt (sqrt (fma x y (* z t)))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (fma x y (* z t))) (sqrt (fma x y (* z t))))
  (* (sqrt (sqrt (fma x y (* z t)))) (sqrt (sqrt (fma x y (* z t)))))
  (* (sqrt (sqrt (fma x y (* z t)))) (sqrt (sqrt (fma x y (* z t)))))
  (* (sqrt (sqrt (fma x y (* z t)))) (sqrt (sqrt (fma x y (* z t)))))
  (* (sqrt (sqrt (fma x y (* z t)))) (sqrt (sqrt (fma x y (* z t)))))
  (* 1 1)
  (* (sqrt (fma x y (* z t))) (sqrt (fma x y (* z t))))
  (* (sqrt (sqrt (fma x y (* z t)))) (sqrt (sqrt (fma x y (* z t)))))
  (* (sqrt (sqrt (fma x y (* z t)))) (sqrt (sqrt (fma x y (* z t)))))
  (* (sqrt (sqrt (fma x y (* z t)))) (sqrt (sqrt (fma x y (* z t)))))
  (* (sqrt (sqrt (fma x y (* z t)))) (sqrt (sqrt (fma x y (* z t)))))
  (* (sqrt (sqrt (fma x y (* z t)))) (sqrt (sqrt (fma x y (* z t)))))
  (* (sqrt (sqrt (fma x y (* z t)))) (sqrt (sqrt (fma x y (* z t)))))
  (* (sqrt (sqrt (fma x y (* z t)))) (sqrt (sqrt (fma x y (* z t)))))
  (* (sqrt (sqrt (fma x y (* z t)))) (sqrt (sqrt (fma x y (* z t)))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* (sqrt (fma x y (* z t))) (* (cbrt (sqrt (fma x y (* z t)))) (cbrt (sqrt (fma x y (* z t))))))
  (* (sqrt (fma x y (* z t))) (sqrt (* (cbrt (fma x y (* z t))) (cbrt (fma x y (* z t))))))
  (* (sqrt (fma x y (* z t))) (sqrt (sqrt (fma x y (* z t)))))
  (* (sqrt (fma x y (* z t))) (sqrt 1))
  (* (sqrt (fma x y (* z t))) (sqrt (sqrt (fma x y (* z t)))))
  (* (sqrt (fma x y (* z t))) 1)
  (* (cbrt (sqrt (fma x y (* z t)))) (sqrt (fma x y (* z t))))
  (* (sqrt (cbrt (fma x y (* z t)))) (sqrt (fma x y (* z t))))
  (* (sqrt (sqrt (fma x y (* z t)))) (sqrt (fma x y (* z t))))
  (* (sqrt (fma x y (* z t))) (sqrt (fma x y (* z t))))
  (* (sqrt (sqrt (fma x y (* z t)))) (sqrt (fma x y (* z t))))
  (* (sqrt (fma x y (* z t))) (sqrt (fma x y (* z t))))
  (expm1 (fma x y (* z t)))
  (log1p (fma x y (* z t)))
  (* x y)
  (log (fma x y (* z t)))
  (exp (fma x y (* z t)))
  (* (cbrt (fma x y (* z t))) (cbrt (fma x y (* z t))))
  (cbrt (fma x y (* z t)))
  (* (* (fma x y (* z t)) (fma x y (* z t))) (fma x y (* z t)))
  (sqrt (fma x y (* z t)))
  (sqrt (fma x y (* z t)))
  0
  (- (+ (* +nan.0 y) (- (+ (* +nan.0 (/ (* t (* z y)) (pow x 2))) (- (* +nan.0 (/ (* t z) x)))))))
  (- (+ (* +nan.0 y) (- (+ (* +nan.0 (/ (* t (* z y)) (pow x 2))) (- (* +nan.0 (/ (* t z) x)))))))
  0
  (- (+ (* +nan.0 y) (- (+ (* +nan.0 (/ (* t (* z y)) (pow x 2))) (- (* +nan.0 (/ (* t z) x)))))))
  (- (+ (* +nan.0 y) (- (+ (* +nan.0 (/ (* t (* z y)) (pow x 2))) (- (* +nan.0 (/ (* t z) x)))))))
  0
  (+ (* t z) (* x y))
  (+ (* t z) (* x y))
  0
  (+ (* t z) (* x y))
  (+ (* t z) (* x y))
2.115 * * [simplify]: iteration  0 :  82  enodes  (cost  1472 )
2.134 * * [simplify]: iteration  1 :  149  enodes  (cost  995 )
2.156 * * [simplify]: iteration  2 :  426  enodes  (cost  901 )
2.359 * * [simplify]: iteration  3 :  1589  enodes  (cost  844 )
3.173 * * [simplify]: iteration  done :  5000  enodes  (cost  840 )
3.174 * [simplify]: Simplified to:
   (expm1 (sqrt (fma x y (* z t))))
  (log1p (sqrt (fma x y (* z t))))
  (log (sqrt (fma x y (* z t))))
  (exp (sqrt (fma x y (* z t))))
  (* (cbrt (sqrt (fma x y (* z t)))) (cbrt (sqrt (fma x y (* z t)))))
  (cbrt (sqrt (fma x y (* z t))))
  (pow (sqrt (fma x y (* z t))) 3)
  (fabs (cbrt (fma x y (* z t))))
  (sqrt (cbrt (fma x y (* z t))))
  (sqrt (sqrt (fma x y (* z t))))
  (sqrt (sqrt (fma x y (* z t))))
  1
  (sqrt (fma x y (* z t)))
  1/2
  (sqrt (sqrt (fma x y (* z t))))
  (sqrt (sqrt (fma x y (* z t))))
  (expm1 (sqrt (fma x y (* z t))))
  (log1p (sqrt (fma x y (* z t))))
  (log (sqrt (fma x y (* z t))))
  (exp (sqrt (fma x y (* z t))))
  (* (cbrt (sqrt (fma x y (* z t)))) (cbrt (sqrt (fma x y (* z t)))))
  (cbrt (sqrt (fma x y (* z t))))
  (pow (sqrt (fma x y (* z t))) 3)
  (fabs (cbrt (fma x y (* z t))))
  (sqrt (cbrt (fma x y (* z t))))
  (sqrt (sqrt (fma x y (* z t))))
  (sqrt (sqrt (fma x y (* z t))))
  1
  (sqrt (fma x y (* z t)))
  1/2
  (sqrt (sqrt (fma x y (* z t))))
  (sqrt (sqrt (fma x y (* z t))))
  (expm1 (fma x y (* z t)))
  (log1p (fma x y (* z t)))
  1
  1
  2
  1
  1
  (pow (sqrt (fma x y (* z t))) 4)
  (fma x y (* z t))
  (pow (sqrt (fma x y (* z t))) 4)
  2
  (log (fma x y (* z t)))
  (log (fma x y (* z t)))
  (exp (fma x y (* z t)))
  (pow (fma x y (* z t)) 3)
  (* (cbrt (fma x y (* z t))) (cbrt (fma x y (* z t))))
  (cbrt (fma x y (* z t)))
  (pow (fma x y (* z t)) 3)
  (pow (sqrt (fma x y (* z t))) 4)
  (sqrt (fma x y (* z t)))
  (sqrt (fma x y (* z t)))
  (pow (cbrt (sqrt (fma x y (* z t)))) 4)
  (* (cbrt (sqrt (fma x y (* z t)))) (cbrt (sqrt (fma x y (* z t)))))
  (* (cbrt (fma x y (* z t))) (cbrt (fma x y (* z t))))
  (cbrt (fma x y (* z t)))
  (sqrt (fma x y (* z t)))
  (sqrt (fma x y (* z t)))
  (sqrt (fma x y (* z t)))
  (sqrt (fma x y (* z t)))
  1
  (fma x y (* z t))
  (sqrt (fma x y (* z t)))
  (sqrt (fma x y (* z t)))
  (sqrt (fma x y (* z t)))
  (sqrt (fma x y (* z t)))
  1
  (fma x y (* z t))
  (sqrt (fma x y (* z t)))
  (sqrt (fma x y (* z t)))
  (sqrt (fma x y (* z t)))
  (sqrt (fma x y (* z t)))
  (sqrt (fma x y (* z t)))
  (sqrt (fma x y (* z t)))
  (sqrt (fma x y (* z t)))
  (sqrt (fma x y (* z t)))
  1
  2
  1
  (* (cbrt (sqrt (fma x y (* z t)))) (pow (cbrt (sqrt (fma x y (* z t)))) 4))
  (* (sqrt (fma x y (* z t))) (fabs (cbrt (fma x y (* z t)))))
  (pow (sqrt (sqrt (fma x y (* z t)))) 3)
  (sqrt (fma x y (* z t)))
  (pow (sqrt (sqrt (fma x y (* z t)))) 3)
  (sqrt (fma x y (* z t)))
  (pow (cbrt (sqrt (fma x y (* z t)))) 4)
  (* (sqrt (cbrt (fma x y (* z t)))) (sqrt (fma x y (* z t))))
  (pow (sqrt (sqrt (fma x y (* z t)))) 3)
  (fma x y (* z t))
  (pow (sqrt (sqrt (fma x y (* z t)))) 3)
  (fma x y (* z t))
  (expm1 (fma x y (* z t)))
  (log1p (fma x y (* z t)))
  (* x y)
  (log (fma x y (* z t)))
  (exp (fma x y (* z t)))
  (* (cbrt (fma x y (* z t))) (cbrt (fma x y (* z t))))
  (cbrt (fma x y (* z t)))
  (pow (fma x y (* z t)) 3)
  (sqrt (fma x y (* z t)))
  (sqrt (fma x y (* z t)))
  0
  (* (- (* (/ t x) (- (/ (* z y) x) z)) y) +nan.0)
  (* (- (* (/ t x) (- (/ (* z y) x) z)) y) +nan.0)
  0
  (* (- (* (/ t x) (- (/ (* z y) x) z)) y) +nan.0)
  (* (- (* (/ t x) (- (/ (* z y) x) z)) y) +nan.0)
  0
  (fma x y (* z t))
  (fma x y (* z t))
  0
  (fma x y (* z t))
  (fma x y (* z t))
3.174 * * * [progress]: adding candidates to table
3.362 * * [progress]: iteration 3 / 4
3.362 * * * [progress]: picking best candidate
3.365 * * * * [pick]: Picked  #<alt (λ (x y z t) (cbrt (pow (fma x y (* z t)) 3)))>
3.365 * * * [progress]: localizing error
3.374 * * * [progress]: generating rewritten candidates
3.374 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
3.375 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
3.376 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
3.378 * * * [progress]: generating series expansions
3.378 * * * * [progress]: [ 1 / 3 ] generating series at (2)
3.378 * [approximate]: Taking taylor expansion of (fma x y (* t z)) in (x y z t) around 0
3.378 * [taylor]: Taking taylor expansion of (fma x y (* t z)) in t
3.378 * [taylor]: Rewrote expression to (+ (* x y) (* t z))
3.378 * [taylor]: Taking taylor expansion of (* x y) in t
3.378 * [taylor]: Taking taylor expansion of x in t
3.378 * [taylor]: Taking taylor expansion of y in t
3.378 * [taylor]: Taking taylor expansion of (* t z) in t
3.378 * [taylor]: Taking taylor expansion of t in t
3.378 * [taylor]: Taking taylor expansion of z in t
3.378 * [taylor]: Taking taylor expansion of (fma x y (* t z)) in z
3.378 * [taylor]: Rewrote expression to (+ (* x y) (* t z))
3.378 * [taylor]: Taking taylor expansion of (* x y) in z
3.378 * [taylor]: Taking taylor expansion of x in z
3.378 * [taylor]: Taking taylor expansion of y in z
3.378 * [taylor]: Taking taylor expansion of (* t z) in z
3.378 * [taylor]: Taking taylor expansion of t in z
3.378 * [taylor]: Taking taylor expansion of z in z
3.378 * [taylor]: Taking taylor expansion of (fma x y (* t z)) in y
3.378 * [taylor]: Rewrote expression to (+ (* x y) (* t z))
3.378 * [taylor]: Taking taylor expansion of (* x y) in y
3.378 * [taylor]: Taking taylor expansion of x in y
3.378 * [taylor]: Taking taylor expansion of y in y
3.379 * [taylor]: Taking taylor expansion of (* t z) in y
3.379 * [taylor]: Taking taylor expansion of t in y
3.379 * [taylor]: Taking taylor expansion of z in y
3.379 * [taylor]: Taking taylor expansion of (fma x y (* t z)) in x
3.379 * [taylor]: Rewrote expression to (+ (* x y) (* t z))
3.379 * [taylor]: Taking taylor expansion of (* x y) in x
3.379 * [taylor]: Taking taylor expansion of x in x
3.379 * [taylor]: Taking taylor expansion of y in x
3.379 * [taylor]: Taking taylor expansion of (* t z) in x
3.379 * [taylor]: Taking taylor expansion of t in x
3.379 * [taylor]: Taking taylor expansion of z in x
3.379 * [taylor]: Taking taylor expansion of (fma x y (* t z)) in x
3.379 * [taylor]: Rewrote expression to (+ (* x y) (* t z))
3.379 * [taylor]: Taking taylor expansion of (* x y) in x
3.379 * [taylor]: Taking taylor expansion of x in x
3.379 * [taylor]: Taking taylor expansion of y in x
3.379 * [taylor]: Taking taylor expansion of (* t z) in x
3.379 * [taylor]: Taking taylor expansion of t in x
3.379 * [taylor]: Taking taylor expansion of z in x
3.379 * [taylor]: Taking taylor expansion of (* t z) in y
3.379 * [taylor]: Taking taylor expansion of t in y
3.379 * [taylor]: Taking taylor expansion of z in y
3.379 * [taylor]: Taking taylor expansion of (* t z) in z
3.379 * [taylor]: Taking taylor expansion of t in z
3.379 * [taylor]: Taking taylor expansion of z in z
3.379 * [taylor]: Taking taylor expansion of 0 in t
3.380 * [taylor]: Taking taylor expansion of y in y
3.380 * [taylor]: Taking taylor expansion of 0 in z
3.380 * [taylor]: Taking taylor expansion of 0 in t
3.380 * [taylor]: Taking taylor expansion of 0 in z
3.380 * [taylor]: Taking taylor expansion of 0 in t
3.380 * [taylor]: Taking taylor expansion of t in t
3.381 * [taylor]: Taking taylor expansion of 0 in y
3.381 * [taylor]: Taking taylor expansion of 0 in z
3.381 * [taylor]: Taking taylor expansion of 0 in t
3.382 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in (x y z t) around 0
3.382 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in t
3.382 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 (* t z)))
3.382 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in t
3.382 * [taylor]: Taking taylor expansion of (/ 1 x) in t
3.382 * [taylor]: Taking taylor expansion of x in t
3.382 * [taylor]: Taking taylor expansion of (/ 1 y) in t
3.382 * [taylor]: Taking taylor expansion of y in t
3.382 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
3.382 * [taylor]: Taking taylor expansion of (* t z) in t
3.382 * [taylor]: Taking taylor expansion of t in t
3.382 * [taylor]: Taking taylor expansion of z in t
3.382 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in z
3.382 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 (* t z)))
3.382 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in z
3.382 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.382 * [taylor]: Taking taylor expansion of x in z
3.383 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.383 * [taylor]: Taking taylor expansion of y in z
3.383 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
3.383 * [taylor]: Taking taylor expansion of (* t z) in z
3.383 * [taylor]: Taking taylor expansion of t in z
3.383 * [taylor]: Taking taylor expansion of z in z
3.383 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in y
3.383 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 (* t z)))
3.383 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in y
3.383 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.383 * [taylor]: Taking taylor expansion of x in y
3.383 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.383 * [taylor]: Taking taylor expansion of y in y
3.384 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
3.384 * [taylor]: Taking taylor expansion of (* t z) in y
3.384 * [taylor]: Taking taylor expansion of t in y
3.384 * [taylor]: Taking taylor expansion of z in y
3.384 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in x
3.384 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 (* t z)))
3.384 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x
3.384 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.384 * [taylor]: Taking taylor expansion of x in x
3.384 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.384 * [taylor]: Taking taylor expansion of y in x
3.384 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
3.384 * [taylor]: Taking taylor expansion of (* t z) in x
3.384 * [taylor]: Taking taylor expansion of t in x
3.384 * [taylor]: Taking taylor expansion of z in x
3.384 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in x
3.385 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 (* t z)))
3.385 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x
3.385 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.385 * [taylor]: Taking taylor expansion of x in x
3.385 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.385 * [taylor]: Taking taylor expansion of y in x
3.385 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
3.385 * [taylor]: Taking taylor expansion of (* t z) in x
3.385 * [taylor]: Taking taylor expansion of t in x
3.385 * [taylor]: Taking taylor expansion of z in x
3.385 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.385 * [taylor]: Taking taylor expansion of y in y
3.385 * [taylor]: Taking taylor expansion of 1 in z
3.386 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
3.387 * [taylor]: Taking taylor expansion of (* t z) in y
3.387 * [taylor]: Taking taylor expansion of t in y
3.387 * [taylor]: Taking taylor expansion of z in y
3.387 * [taylor]: Taking taylor expansion of 0 in z
3.387 * [taylor]: Taking taylor expansion of 1 in t
3.389 * [taylor]: Taking taylor expansion of 0 in y
3.389 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
3.389 * [taylor]: Taking taylor expansion of (* t z) in z
3.389 * [taylor]: Taking taylor expansion of t in z
3.389 * [taylor]: Taking taylor expansion of z in z
3.389 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.389 * [taylor]: Taking taylor expansion of t in t
3.390 * [taylor]: Taking taylor expansion of 0 in z
3.390 * [taylor]: Taking taylor expansion of 0 in t
3.390 * [taylor]: Taking taylor expansion of 0 in t
3.392 * [taylor]: Taking taylor expansion of 0 in y
3.392 * [taylor]: Taking taylor expansion of 0 in z
3.392 * [taylor]: Taking taylor expansion of 0 in z
3.393 * [taylor]: Taking taylor expansion of 0 in z
3.393 * [taylor]: Taking taylor expansion of 0 in t
3.393 * [taylor]: Taking taylor expansion of 0 in t
3.393 * [taylor]: Taking taylor expansion of 0 in t
3.393 * [taylor]: Taking taylor expansion of 0 in t
3.397 * [taylor]: Taking taylor expansion of 0 in y
3.397 * [taylor]: Taking taylor expansion of 0 in z
3.397 * [taylor]: Taking taylor expansion of 0 in z
3.398 * [taylor]: Taking taylor expansion of 0 in z
3.398 * [taylor]: Taking taylor expansion of 0 in z
3.398 * [taylor]: Taking taylor expansion of 0 in t
3.398 * [taylor]: Taking taylor expansion of 0 in t
3.398 * [taylor]: Taking taylor expansion of 0 in t
3.399 * [taylor]: Taking taylor expansion of 0 in t
3.399 * [taylor]: Taking taylor expansion of 0 in t
3.399 * [taylor]: Taking taylor expansion of 0 in t
3.399 * [taylor]: Taking taylor expansion of 0 in t
3.400 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in (x y z t) around 0
3.400 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in t
3.400 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 1 (* t z)))
3.400 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in t
3.400 * [taylor]: Taking taylor expansion of (/ -1 x) in t
3.400 * [taylor]: Taking taylor expansion of -1 in t
3.400 * [taylor]: Taking taylor expansion of x in t
3.400 * [taylor]: Taking taylor expansion of (/ -1 y) in t
3.400 * [taylor]: Taking taylor expansion of -1 in t
3.400 * [taylor]: Taking taylor expansion of y in t
3.400 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
3.400 * [taylor]: Taking taylor expansion of (* t z) in t
3.400 * [taylor]: Taking taylor expansion of t in t
3.400 * [taylor]: Taking taylor expansion of z in t
3.400 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in z
3.401 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 1 (* t z)))
3.401 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in z
3.401 * [taylor]: Taking taylor expansion of (/ -1 x) in z
3.401 * [taylor]: Taking taylor expansion of -1 in z
3.401 * [taylor]: Taking taylor expansion of x in z
3.401 * [taylor]: Taking taylor expansion of (/ -1 y) in z
3.401 * [taylor]: Taking taylor expansion of -1 in z
3.401 * [taylor]: Taking taylor expansion of y in z
3.401 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
3.401 * [taylor]: Taking taylor expansion of (* t z) in z
3.401 * [taylor]: Taking taylor expansion of t in z
3.401 * [taylor]: Taking taylor expansion of z in z
3.401 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in y
3.401 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 1 (* t z)))
3.401 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in y
3.401 * [taylor]: Taking taylor expansion of (/ -1 x) in y
3.401 * [taylor]: Taking taylor expansion of -1 in y
3.401 * [taylor]: Taking taylor expansion of x in y
3.401 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.401 * [taylor]: Taking taylor expansion of -1 in y
3.401 * [taylor]: Taking taylor expansion of y in y
3.402 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
3.402 * [taylor]: Taking taylor expansion of (* t z) in y
3.402 * [taylor]: Taking taylor expansion of t in y
3.402 * [taylor]: Taking taylor expansion of z in y
3.402 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in x
3.402 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 1 (* t z)))
3.402 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x
3.402 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.402 * [taylor]: Taking taylor expansion of -1 in x
3.402 * [taylor]: Taking taylor expansion of x in x
3.402 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.403 * [taylor]: Taking taylor expansion of -1 in x
3.403 * [taylor]: Taking taylor expansion of y in x
3.403 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
3.403 * [taylor]: Taking taylor expansion of (* t z) in x
3.403 * [taylor]: Taking taylor expansion of t in x
3.403 * [taylor]: Taking taylor expansion of z in x
3.403 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in x
3.403 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 1 (* t z)))
3.403 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x
3.403 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.403 * [taylor]: Taking taylor expansion of -1 in x
3.403 * [taylor]: Taking taylor expansion of x in x
3.403 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.403 * [taylor]: Taking taylor expansion of -1 in x
3.403 * [taylor]: Taking taylor expansion of y in x
3.403 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
3.403 * [taylor]: Taking taylor expansion of (* t z) in x
3.403 * [taylor]: Taking taylor expansion of t in x
3.403 * [taylor]: Taking taylor expansion of z in x
3.404 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.404 * [taylor]: Taking taylor expansion of y in y
3.404 * [taylor]: Taking taylor expansion of 1 in z
3.405 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
3.405 * [taylor]: Taking taylor expansion of (* t z) in y
3.405 * [taylor]: Taking taylor expansion of t in y
3.405 * [taylor]: Taking taylor expansion of z in y
3.406 * [taylor]: Taking taylor expansion of 0 in z
3.406 * [taylor]: Taking taylor expansion of 1 in t
3.407 * [taylor]: Taking taylor expansion of 0 in y
3.407 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
3.407 * [taylor]: Taking taylor expansion of (* t z) in z
3.407 * [taylor]: Taking taylor expansion of t in z
3.407 * [taylor]: Taking taylor expansion of z in z
3.408 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.408 * [taylor]: Taking taylor expansion of t in t
3.409 * [taylor]: Taking taylor expansion of 0 in z
3.409 * [taylor]: Taking taylor expansion of 0 in t
3.409 * [taylor]: Taking taylor expansion of 0 in t
3.411 * [taylor]: Taking taylor expansion of 0 in y
3.411 * [taylor]: Taking taylor expansion of 0 in z
3.411 * [taylor]: Taking taylor expansion of 0 in z
3.412 * [taylor]: Taking taylor expansion of 0 in z
3.412 * [taylor]: Taking taylor expansion of 0 in t
3.412 * [taylor]: Taking taylor expansion of 0 in t
3.412 * [taylor]: Taking taylor expansion of 0 in t
3.412 * [taylor]: Taking taylor expansion of 0 in t
3.416 * [taylor]: Taking taylor expansion of 0 in y
3.417 * [taylor]: Taking taylor expansion of 0 in z
3.417 * [taylor]: Taking taylor expansion of 0 in z
3.417 * [taylor]: Taking taylor expansion of 0 in z
3.418 * [taylor]: Taking taylor expansion of 0 in z
3.418 * [taylor]: Taking taylor expansion of 0 in t
3.418 * [taylor]: Taking taylor expansion of 0 in t
3.418 * [taylor]: Taking taylor expansion of 0 in t
3.419 * [taylor]: Taking taylor expansion of 0 in t
3.419 * [taylor]: Taking taylor expansion of 0 in t
3.419 * [taylor]: Taking taylor expansion of 0 in t
3.419 * [taylor]: Taking taylor expansion of 0 in t
3.419 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
3.420 * [approximate]: Taking taylor expansion of (pow (fma x y (* t z)) 3) in (x y z t) around 0
3.420 * [taylor]: Taking taylor expansion of (pow (fma x y (* t z)) 3) in t
3.420 * [taylor]: Taking taylor expansion of (fma x y (* t z)) in t
3.420 * [taylor]: Rewrote expression to (+ (* x y) (* t z))
3.420 * [taylor]: Taking taylor expansion of (* x y) in t
3.420 * [taylor]: Taking taylor expansion of x in t
3.420 * [taylor]: Taking taylor expansion of y in t
3.420 * [taylor]: Taking taylor expansion of (* t z) in t
3.420 * [taylor]: Taking taylor expansion of t in t
3.420 * [taylor]: Taking taylor expansion of z in t
3.420 * [taylor]: Taking taylor expansion of (pow (fma x y (* t z)) 3) in z
3.420 * [taylor]: Taking taylor expansion of (fma x y (* t z)) in z
3.420 * [taylor]: Rewrote expression to (+ (* x y) (* t z))
3.420 * [taylor]: Taking taylor expansion of (* x y) in z
3.420 * [taylor]: Taking taylor expansion of x in z
3.420 * [taylor]: Taking taylor expansion of y in z
3.420 * [taylor]: Taking taylor expansion of (* t z) in z
3.420 * [taylor]: Taking taylor expansion of t in z
3.420 * [taylor]: Taking taylor expansion of z in z
3.420 * [taylor]: Taking taylor expansion of (pow (fma x y (* t z)) 3) in y
3.420 * [taylor]: Taking taylor expansion of (fma x y (* t z)) in y
3.420 * [taylor]: Rewrote expression to (+ (* x y) (* t z))
3.420 * [taylor]: Taking taylor expansion of (* x y) in y
3.420 * [taylor]: Taking taylor expansion of x in y
3.420 * [taylor]: Taking taylor expansion of y in y
3.420 * [taylor]: Taking taylor expansion of (* t z) in y
3.420 * [taylor]: Taking taylor expansion of t in y
3.420 * [taylor]: Taking taylor expansion of z in y
3.420 * [taylor]: Taking taylor expansion of (pow (fma x y (* t z)) 3) in x
3.420 * [taylor]: Taking taylor expansion of (fma x y (* t z)) in x
3.421 * [taylor]: Rewrote expression to (+ (* x y) (* t z))
3.421 * [taylor]: Taking taylor expansion of (* x y) in x
3.421 * [taylor]: Taking taylor expansion of x in x
3.421 * [taylor]: Taking taylor expansion of y in x
3.421 * [taylor]: Taking taylor expansion of (* t z) in x
3.421 * [taylor]: Taking taylor expansion of t in x
3.421 * [taylor]: Taking taylor expansion of z in x
3.421 * [taylor]: Taking taylor expansion of (pow (fma x y (* t z)) 3) in x
3.421 * [taylor]: Taking taylor expansion of (fma x y (* t z)) in x
3.421 * [taylor]: Rewrote expression to (+ (* x y) (* t z))
3.421 * [taylor]: Taking taylor expansion of (* x y) in x
3.421 * [taylor]: Taking taylor expansion of x in x
3.421 * [taylor]: Taking taylor expansion of y in x
3.421 * [taylor]: Taking taylor expansion of (* t z) in x
3.421 * [taylor]: Taking taylor expansion of t in x
3.421 * [taylor]: Taking taylor expansion of z in x
3.421 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in y
3.421 * [taylor]: Taking taylor expansion of (pow t 3) in y
3.421 * [taylor]: Taking taylor expansion of t in y
3.421 * [taylor]: Taking taylor expansion of (pow z 3) in y
3.421 * [taylor]: Taking taylor expansion of z in y
3.422 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in z
3.422 * [taylor]: Taking taylor expansion of (pow t 3) in z
3.422 * [taylor]: Taking taylor expansion of t in z
3.422 * [taylor]: Taking taylor expansion of (pow z 3) in z
3.422 * [taylor]: Taking taylor expansion of z in z
3.422 * [taylor]: Taking taylor expansion of (* 3 (* (pow t 2) (* (pow z 2) y))) in y
3.423 * [taylor]: Taking taylor expansion of 3 in y
3.423 * [taylor]: Taking taylor expansion of (* (pow t 2) (* (pow z 2) y)) in y
3.423 * [taylor]: Taking taylor expansion of (pow t 2) in y
3.423 * [taylor]: Taking taylor expansion of t in y
3.423 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
3.423 * [taylor]: Taking taylor expansion of (pow z 2) in y
3.423 * [taylor]: Taking taylor expansion of z in y
3.423 * [taylor]: Taking taylor expansion of y in y
3.423 * [taylor]: Taking taylor expansion of 0 in z
3.423 * [taylor]: Taking taylor expansion of 0 in t
3.424 * [taylor]: Taking taylor expansion of 0 in z
3.424 * [taylor]: Taking taylor expansion of 0 in t
3.425 * [taylor]: Taking taylor expansion of (* 3 (* t (* z (pow y 2)))) in y
3.425 * [taylor]: Taking taylor expansion of 3 in y
3.425 * [taylor]: Taking taylor expansion of (* t (* z (pow y 2))) in y
3.425 * [taylor]: Taking taylor expansion of t in y
3.425 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in y
3.425 * [taylor]: Taking taylor expansion of z in y
3.425 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.425 * [taylor]: Taking taylor expansion of y in y
3.427 * [taylor]: Taking taylor expansion of (* 3 (* (pow t 2) (pow z 2))) in z
3.427 * [taylor]: Taking taylor expansion of 3 in z
3.427 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in z
3.427 * [taylor]: Taking taylor expansion of (pow t 2) in z
3.427 * [taylor]: Taking taylor expansion of t in z
3.427 * [taylor]: Taking taylor expansion of (pow z 2) in z
3.427 * [taylor]: Taking taylor expansion of z in z
3.429 * [taylor]: Taking taylor expansion of 0 in z
3.429 * [taylor]: Taking taylor expansion of 0 in t
3.429 * [taylor]: Taking taylor expansion of 0 in t
3.429 * [taylor]: Taking taylor expansion of 0 in t
3.429 * [approximate]: Taking taylor expansion of (pow (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) 3) in (x y z t) around 0
3.429 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) 3) in t
3.429 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in t
3.429 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 (* t z)))
3.429 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in t
3.429 * [taylor]: Taking taylor expansion of (/ 1 x) in t
3.429 * [taylor]: Taking taylor expansion of x in t
3.429 * [taylor]: Taking taylor expansion of (/ 1 y) in t
3.429 * [taylor]: Taking taylor expansion of y in t
3.429 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
3.429 * [taylor]: Taking taylor expansion of (* t z) in t
3.429 * [taylor]: Taking taylor expansion of t in t
3.429 * [taylor]: Taking taylor expansion of z in t
3.430 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) 3) in z
3.430 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in z
3.430 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 (* t z)))
3.430 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in z
3.430 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.430 * [taylor]: Taking taylor expansion of x in z
3.430 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.430 * [taylor]: Taking taylor expansion of y in z
3.430 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
3.430 * [taylor]: Taking taylor expansion of (* t z) in z
3.430 * [taylor]: Taking taylor expansion of t in z
3.430 * [taylor]: Taking taylor expansion of z in z
3.430 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) 3) in y
3.430 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in y
3.430 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 (* t z)))
3.430 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in y
3.430 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.431 * [taylor]: Taking taylor expansion of x in y
3.431 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.431 * [taylor]: Taking taylor expansion of y in y
3.431 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
3.431 * [taylor]: Taking taylor expansion of (* t z) in y
3.431 * [taylor]: Taking taylor expansion of t in y
3.431 * [taylor]: Taking taylor expansion of z in y
3.431 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) 3) in x
3.431 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in x
3.431 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 (* t z)))
3.431 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x
3.431 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.431 * [taylor]: Taking taylor expansion of x in x
3.432 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.432 * [taylor]: Taking taylor expansion of y in x
3.432 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
3.432 * [taylor]: Taking taylor expansion of (* t z) in x
3.432 * [taylor]: Taking taylor expansion of t in x
3.432 * [taylor]: Taking taylor expansion of z in x
3.432 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) 3) in x
3.432 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in x
3.432 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 (* t z)))
3.432 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x
3.432 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.432 * [taylor]: Taking taylor expansion of x in x
3.432 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.432 * [taylor]: Taking taylor expansion of y in x
3.432 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
3.432 * [taylor]: Taking taylor expansion of (* t z) in x
3.432 * [taylor]: Taking taylor expansion of t in x
3.432 * [taylor]: Taking taylor expansion of z in x
3.433 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
3.433 * [taylor]: Taking taylor expansion of (pow y 3) in y
3.433 * [taylor]: Taking taylor expansion of y in y
3.434 * [taylor]: Taking taylor expansion of 1 in z
3.435 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* t (* z (pow y 2))))) in y
3.435 * [taylor]: Taking taylor expansion of 3 in y
3.435 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z (pow y 2)))) in y
3.435 * [taylor]: Taking taylor expansion of (* t (* z (pow y 2))) in y
3.435 * [taylor]: Taking taylor expansion of t in y
3.435 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in y
3.435 * [taylor]: Taking taylor expansion of z in y
3.435 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.435 * [taylor]: Taking taylor expansion of y in y
3.437 * [taylor]: Taking taylor expansion of 0 in z
3.439 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow t 2) (* (pow z 2) y)))) in y
3.439 * [taylor]: Taking taylor expansion of 3 in y
3.439 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (* (pow z 2) y))) in y
3.439 * [taylor]: Taking taylor expansion of (* (pow t 2) (* (pow z 2) y)) in y
3.439 * [taylor]: Taking taylor expansion of (pow t 2) in y
3.439 * [taylor]: Taking taylor expansion of t in y
3.439 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
3.439 * [taylor]: Taking taylor expansion of (pow z 2) in y
3.439 * [taylor]: Taking taylor expansion of z in y
3.439 * [taylor]: Taking taylor expansion of y in y
3.441 * [taylor]: Taking taylor expansion of (/ 3 (* t z)) in z
3.441 * [taylor]: Taking taylor expansion of 3 in z
3.441 * [taylor]: Taking taylor expansion of (* t z) in z
3.441 * [taylor]: Taking taylor expansion of t in z
3.441 * [taylor]: Taking taylor expansion of z in z
3.442 * [taylor]: Taking taylor expansion of 0 in z
3.445 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in y
3.445 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in y
3.445 * [taylor]: Taking taylor expansion of (pow t 3) in y
3.445 * [taylor]: Taking taylor expansion of t in y
3.445 * [taylor]: Taking taylor expansion of (pow z 3) in y
3.445 * [taylor]: Taking taylor expansion of z in y
3.447 * [taylor]: Taking taylor expansion of 0 in z
3.448 * [taylor]: Taking taylor expansion of 0 in z
3.449 * [taylor]: Taking taylor expansion of 1 in t
3.452 * [taylor]: Taking taylor expansion of 0 in y
3.452 * [taylor]: Taking taylor expansion of (/ 3 (* (pow t 2) (pow z 2))) in z
3.452 * [taylor]: Taking taylor expansion of 3 in z
3.452 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in z
3.452 * [taylor]: Taking taylor expansion of (pow t 2) in z
3.452 * [taylor]: Taking taylor expansion of t in z
3.452 * [taylor]: Taking taylor expansion of (pow z 2) in z
3.452 * [taylor]: Taking taylor expansion of z in z
3.457 * [taylor]: Taking taylor expansion of 0 in z
3.459 * [taylor]: Taking taylor expansion of 0 in z
3.459 * [taylor]: Taking taylor expansion of (/ 3 t) in t
3.459 * [taylor]: Taking taylor expansion of 3 in t
3.459 * [taylor]: Taking taylor expansion of t in t
3.460 * [taylor]: Taking taylor expansion of 0 in t
3.460 * [taylor]: Taking taylor expansion of 0 in t
3.465 * [taylor]: Taking taylor expansion of 0 in y
3.467 * [taylor]: Taking taylor expansion of 0 in z
3.469 * [taylor]: Taking taylor expansion of 0 in z
3.472 * [taylor]: Taking taylor expansion of 0 in z
3.472 * [taylor]: Taking taylor expansion of (/ 3 (pow t 2)) in t
3.472 * [taylor]: Taking taylor expansion of 3 in t
3.472 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.472 * [taylor]: Taking taylor expansion of t in t
3.473 * [taylor]: Taking taylor expansion of 0 in t
3.473 * [taylor]: Taking taylor expansion of 0 in t
3.473 * [taylor]: Taking taylor expansion of 0 in t
3.473 * [taylor]: Taking taylor expansion of 0 in t
3.478 * [taylor]: Taking taylor expansion of 0 in y
3.479 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in z
3.479 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in z
3.479 * [taylor]: Taking taylor expansion of (pow t 3) in z
3.479 * [taylor]: Taking taylor expansion of t in z
3.479 * [taylor]: Taking taylor expansion of (pow z 3) in z
3.479 * [taylor]: Taking taylor expansion of z in z
3.479 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t
3.480 * [taylor]: Taking taylor expansion of (pow t 3) in t
3.480 * [taylor]: Taking taylor expansion of t in t
3.484 * [taylor]: Taking taylor expansion of 0 in z
3.487 * [taylor]: Taking taylor expansion of 0 in z
3.490 * [taylor]: Taking taylor expansion of 0 in z
3.491 * [taylor]: Taking taylor expansion of 0 in t
3.491 * [taylor]: Taking taylor expansion of 0 in t
3.491 * [taylor]: Taking taylor expansion of 0 in t
3.491 * [taylor]: Taking taylor expansion of 0 in t
3.492 * [taylor]: Taking taylor expansion of 0 in t
3.492 * [taylor]: Taking taylor expansion of 0 in t
3.492 * [taylor]: Taking taylor expansion of 0 in t
3.493 * [approximate]: Taking taylor expansion of (pow (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) 3) in (x y z t) around 0
3.494 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) 3) in t
3.494 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in t
3.494 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 1 (* t z)))
3.494 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in t
3.494 * [taylor]: Taking taylor expansion of (/ -1 x) in t
3.494 * [taylor]: Taking taylor expansion of -1 in t
3.494 * [taylor]: Taking taylor expansion of x in t
3.494 * [taylor]: Taking taylor expansion of (/ -1 y) in t
3.494 * [taylor]: Taking taylor expansion of -1 in t
3.494 * [taylor]: Taking taylor expansion of y in t
3.494 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
3.494 * [taylor]: Taking taylor expansion of (* t z) in t
3.494 * [taylor]: Taking taylor expansion of t in t
3.494 * [taylor]: Taking taylor expansion of z in t
3.494 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) 3) in z
3.494 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in z
3.495 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 1 (* t z)))
3.495 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in z
3.495 * [taylor]: Taking taylor expansion of (/ -1 x) in z
3.495 * [taylor]: Taking taylor expansion of -1 in z
3.495 * [taylor]: Taking taylor expansion of x in z
3.495 * [taylor]: Taking taylor expansion of (/ -1 y) in z
3.495 * [taylor]: Taking taylor expansion of -1 in z
3.495 * [taylor]: Taking taylor expansion of y in z
3.495 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
3.495 * [taylor]: Taking taylor expansion of (* t z) in z
3.495 * [taylor]: Taking taylor expansion of t in z
3.495 * [taylor]: Taking taylor expansion of z in z
3.495 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) 3) in y
3.495 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in y
3.495 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 1 (* t z)))
3.495 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in y
3.495 * [taylor]: Taking taylor expansion of (/ -1 x) in y
3.495 * [taylor]: Taking taylor expansion of -1 in y
3.495 * [taylor]: Taking taylor expansion of x in y
3.495 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.495 * [taylor]: Taking taylor expansion of -1 in y
3.496 * [taylor]: Taking taylor expansion of y in y
3.496 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
3.496 * [taylor]: Taking taylor expansion of (* t z) in y
3.496 * [taylor]: Taking taylor expansion of t in y
3.496 * [taylor]: Taking taylor expansion of z in y
3.496 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) 3) in x
3.496 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in x
3.496 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 1 (* t z)))
3.496 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x
3.496 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.496 * [taylor]: Taking taylor expansion of -1 in x
3.496 * [taylor]: Taking taylor expansion of x in x
3.497 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.497 * [taylor]: Taking taylor expansion of -1 in x
3.497 * [taylor]: Taking taylor expansion of y in x
3.497 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
3.497 * [taylor]: Taking taylor expansion of (* t z) in x
3.497 * [taylor]: Taking taylor expansion of t in x
3.497 * [taylor]: Taking taylor expansion of z in x
3.497 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) 3) in x
3.497 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in x
3.497 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 1 (* t z)))
3.497 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x
3.497 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.497 * [taylor]: Taking taylor expansion of -1 in x
3.497 * [taylor]: Taking taylor expansion of x in x
3.497 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.497 * [taylor]: Taking taylor expansion of -1 in x
3.497 * [taylor]: Taking taylor expansion of y in x
3.498 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
3.498 * [taylor]: Taking taylor expansion of (* t z) in x
3.498 * [taylor]: Taking taylor expansion of t in x
3.498 * [taylor]: Taking taylor expansion of z in x
3.498 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
3.498 * [taylor]: Taking taylor expansion of (pow y 3) in y
3.498 * [taylor]: Taking taylor expansion of y in y
3.499 * [taylor]: Taking taylor expansion of 1 in z
3.500 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* t (* z (pow y 2))))) in y
3.500 * [taylor]: Taking taylor expansion of 3 in y
3.500 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z (pow y 2)))) in y
3.500 * [taylor]: Taking taylor expansion of (* t (* z (pow y 2))) in y
3.500 * [taylor]: Taking taylor expansion of t in y
3.500 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in y
3.500 * [taylor]: Taking taylor expansion of z in y
3.500 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.500 * [taylor]: Taking taylor expansion of y in y
3.502 * [taylor]: Taking taylor expansion of 0 in z
3.504 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow t 2) (* (pow z 2) y)))) in y
3.504 * [taylor]: Taking taylor expansion of 3 in y
3.504 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (* (pow z 2) y))) in y
3.504 * [taylor]: Taking taylor expansion of (* (pow t 2) (* (pow z 2) y)) in y
3.504 * [taylor]: Taking taylor expansion of (pow t 2) in y
3.504 * [taylor]: Taking taylor expansion of t in y
3.504 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
3.504 * [taylor]: Taking taylor expansion of (pow z 2) in y
3.504 * [taylor]: Taking taylor expansion of z in y
3.504 * [taylor]: Taking taylor expansion of y in y
3.506 * [taylor]: Taking taylor expansion of (/ 3 (* t z)) in z
3.506 * [taylor]: Taking taylor expansion of 3 in z
3.506 * [taylor]: Taking taylor expansion of (* t z) in z
3.506 * [taylor]: Taking taylor expansion of t in z
3.506 * [taylor]: Taking taylor expansion of z in z
3.507 * [taylor]: Taking taylor expansion of 0 in z
3.510 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in y
3.510 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in y
3.510 * [taylor]: Taking taylor expansion of (pow t 3) in y
3.510 * [taylor]: Taking taylor expansion of t in y
3.510 * [taylor]: Taking taylor expansion of (pow z 3) in y
3.510 * [taylor]: Taking taylor expansion of z in y
3.512 * [taylor]: Taking taylor expansion of 0 in z
3.514 * [taylor]: Taking taylor expansion of 0 in z
3.514 * [taylor]: Taking taylor expansion of 1 in t
3.518 * [taylor]: Taking taylor expansion of 0 in y
3.518 * [taylor]: Taking taylor expansion of (/ 3 (* (pow t 2) (pow z 2))) in z
3.518 * [taylor]: Taking taylor expansion of 3 in z
3.518 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in z
3.518 * [taylor]: Taking taylor expansion of (pow t 2) in z
3.518 * [taylor]: Taking taylor expansion of t in z
3.518 * [taylor]: Taking taylor expansion of (pow z 2) in z
3.518 * [taylor]: Taking taylor expansion of z in z
3.520 * [taylor]: Taking taylor expansion of 0 in z
3.522 * [taylor]: Taking taylor expansion of 0 in z
3.522 * [taylor]: Taking taylor expansion of (/ 3 t) in t
3.522 * [taylor]: Taking taylor expansion of 3 in t
3.522 * [taylor]: Taking taylor expansion of t in t
3.523 * [taylor]: Taking taylor expansion of 0 in t
3.523 * [taylor]: Taking taylor expansion of 0 in t
3.527 * [taylor]: Taking taylor expansion of 0 in y
3.529 * [taylor]: Taking taylor expansion of 0 in z
3.532 * [taylor]: Taking taylor expansion of 0 in z
3.534 * [taylor]: Taking taylor expansion of 0 in z
3.534 * [taylor]: Taking taylor expansion of (/ 3 (pow t 2)) in t
3.534 * [taylor]: Taking taylor expansion of 3 in t
3.534 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.534 * [taylor]: Taking taylor expansion of t in t
3.535 * [taylor]: Taking taylor expansion of 0 in t
3.535 * [taylor]: Taking taylor expansion of 0 in t
3.535 * [taylor]: Taking taylor expansion of 0 in t
3.535 * [taylor]: Taking taylor expansion of 0 in t
3.541 * [taylor]: Taking taylor expansion of 0 in y
3.541 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in z
3.541 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in z
3.541 * [taylor]: Taking taylor expansion of (pow t 3) in z
3.541 * [taylor]: Taking taylor expansion of t in z
3.541 * [taylor]: Taking taylor expansion of (pow z 3) in z
3.541 * [taylor]: Taking taylor expansion of z in z
3.542 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t
3.542 * [taylor]: Taking taylor expansion of (pow t 3) in t
3.542 * [taylor]: Taking taylor expansion of t in t
3.549 * [taylor]: Taking taylor expansion of 0 in z
3.553 * [taylor]: Taking taylor expansion of 0 in z
3.555 * [taylor]: Taking taylor expansion of 0 in z
3.556 * [taylor]: Taking taylor expansion of 0 in t
3.556 * [taylor]: Taking taylor expansion of 0 in t
3.556 * [taylor]: Taking taylor expansion of 0 in t
3.557 * [taylor]: Taking taylor expansion of 0 in t
3.557 * [taylor]: Taking taylor expansion of 0 in t
3.557 * [taylor]: Taking taylor expansion of 0 in t
3.557 * [taylor]: Taking taylor expansion of 0 in t
3.558 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
3.558 * [approximate]: Taking taylor expansion of (fma x y (* t z)) in (x y z t) around 0
3.559 * [taylor]: Taking taylor expansion of (fma x y (* t z)) in t
3.559 * [taylor]: Rewrote expression to (+ (* x y) (* t z))
3.559 * [taylor]: Taking taylor expansion of (* x y) in t
3.559 * [taylor]: Taking taylor expansion of x in t
3.559 * [taylor]: Taking taylor expansion of y in t
3.559 * [taylor]: Taking taylor expansion of (* t z) in t
3.559 * [taylor]: Taking taylor expansion of t in t
3.559 * [taylor]: Taking taylor expansion of z in t
3.559 * [taylor]: Taking taylor expansion of (fma x y (* t z)) in z
3.559 * [taylor]: Rewrote expression to (+ (* x y) (* t z))
3.559 * [taylor]: Taking taylor expansion of (* x y) in z
3.559 * [taylor]: Taking taylor expansion of x in z
3.559 * [taylor]: Taking taylor expansion of y in z
3.559 * [taylor]: Taking taylor expansion of (* t z) in z
3.559 * [taylor]: Taking taylor expansion of t in z
3.559 * [taylor]: Taking taylor expansion of z in z
3.559 * [taylor]: Taking taylor expansion of (fma x y (* t z)) in y
3.559 * [taylor]: Rewrote expression to (+ (* x y) (* t z))
3.559 * [taylor]: Taking taylor expansion of (* x y) in y
3.559 * [taylor]: Taking taylor expansion of x in y
3.559 * [taylor]: Taking taylor expansion of y in y
3.559 * [taylor]: Taking taylor expansion of (* t z) in y
3.559 * [taylor]: Taking taylor expansion of t in y
3.559 * [taylor]: Taking taylor expansion of z in y
3.559 * [taylor]: Taking taylor expansion of (fma x y (* t z)) in x
3.559 * [taylor]: Rewrote expression to (+ (* x y) (* t z))
3.559 * [taylor]: Taking taylor expansion of (* x y) in x
3.559 * [taylor]: Taking taylor expansion of x in x
3.559 * [taylor]: Taking taylor expansion of y in x
3.559 * [taylor]: Taking taylor expansion of (* t z) in x
3.559 * [taylor]: Taking taylor expansion of t in x
3.559 * [taylor]: Taking taylor expansion of z in x
3.559 * [taylor]: Taking taylor expansion of (fma x y (* t z)) in x
3.559 * [taylor]: Rewrote expression to (+ (* x y) (* t z))
3.559 * [taylor]: Taking taylor expansion of (* x y) in x
3.559 * [taylor]: Taking taylor expansion of x in x
3.559 * [taylor]: Taking taylor expansion of y in x
3.559 * [taylor]: Taking taylor expansion of (* t z) in x
3.560 * [taylor]: Taking taylor expansion of t in x
3.560 * [taylor]: Taking taylor expansion of z in x
3.560 * [taylor]: Taking taylor expansion of (* t z) in y
3.560 * [taylor]: Taking taylor expansion of t in y
3.560 * [taylor]: Taking taylor expansion of z in y
3.560 * [taylor]: Taking taylor expansion of (* t z) in z
3.560 * [taylor]: Taking taylor expansion of t in z
3.560 * [taylor]: Taking taylor expansion of z in z
3.560 * [taylor]: Taking taylor expansion of 0 in t
3.560 * [taylor]: Taking taylor expansion of y in y
3.560 * [taylor]: Taking taylor expansion of 0 in z
3.560 * [taylor]: Taking taylor expansion of 0 in t
3.560 * [taylor]: Taking taylor expansion of 0 in z
3.560 * [taylor]: Taking taylor expansion of 0 in t
3.561 * [taylor]: Taking taylor expansion of t in t
3.562 * [taylor]: Taking taylor expansion of 0 in y
3.562 * [taylor]: Taking taylor expansion of 0 in z
3.562 * [taylor]: Taking taylor expansion of 0 in t
3.562 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in (x y z t) around 0
3.562 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in t
3.562 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 (* t z)))
3.562 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in t
3.562 * [taylor]: Taking taylor expansion of (/ 1 x) in t
3.562 * [taylor]: Taking taylor expansion of x in t
3.562 * [taylor]: Taking taylor expansion of (/ 1 y) in t
3.562 * [taylor]: Taking taylor expansion of y in t
3.562 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
3.562 * [taylor]: Taking taylor expansion of (* t z) in t
3.562 * [taylor]: Taking taylor expansion of t in t
3.562 * [taylor]: Taking taylor expansion of z in t
3.563 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in z
3.563 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 (* t z)))
3.563 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in z
3.563 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.563 * [taylor]: Taking taylor expansion of x in z
3.563 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.563 * [taylor]: Taking taylor expansion of y in z
3.563 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
3.563 * [taylor]: Taking taylor expansion of (* t z) in z
3.563 * [taylor]: Taking taylor expansion of t in z
3.563 * [taylor]: Taking taylor expansion of z in z
3.564 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in y
3.564 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 (* t z)))
3.564 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in y
3.564 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.564 * [taylor]: Taking taylor expansion of x in y
3.564 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.564 * [taylor]: Taking taylor expansion of y in y
3.564 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
3.564 * [taylor]: Taking taylor expansion of (* t z) in y
3.564 * [taylor]: Taking taylor expansion of t in y
3.564 * [taylor]: Taking taylor expansion of z in y
3.564 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in x
3.564 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 (* t z)))
3.564 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x
3.565 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.565 * [taylor]: Taking taylor expansion of x in x
3.565 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.565 * [taylor]: Taking taylor expansion of y in x
3.565 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
3.565 * [taylor]: Taking taylor expansion of (* t z) in x
3.565 * [taylor]: Taking taylor expansion of t in x
3.565 * [taylor]: Taking taylor expansion of z in x
3.565 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 (* t z))) in x
3.565 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 (* t z)))
3.565 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x
3.565 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.565 * [taylor]: Taking taylor expansion of x in x
3.566 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.566 * [taylor]: Taking taylor expansion of y in x
3.566 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
3.566 * [taylor]: Taking taylor expansion of (* t z) in x
3.566 * [taylor]: Taking taylor expansion of t in x
3.566 * [taylor]: Taking taylor expansion of z in x
3.566 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.566 * [taylor]: Taking taylor expansion of y in y
3.566 * [taylor]: Taking taylor expansion of 1 in z
3.567 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
3.567 * [taylor]: Taking taylor expansion of (* t z) in y
3.567 * [taylor]: Taking taylor expansion of t in y
3.567 * [taylor]: Taking taylor expansion of z in y
3.568 * [taylor]: Taking taylor expansion of 0 in z
3.568 * [taylor]: Taking taylor expansion of 1 in t
3.569 * [taylor]: Taking taylor expansion of 0 in y
3.569 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
3.570 * [taylor]: Taking taylor expansion of (* t z) in z
3.570 * [taylor]: Taking taylor expansion of t in z
3.570 * [taylor]: Taking taylor expansion of z in z
3.570 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.570 * [taylor]: Taking taylor expansion of t in t
3.571 * [taylor]: Taking taylor expansion of 0 in z
3.571 * [taylor]: Taking taylor expansion of 0 in t
3.571 * [taylor]: Taking taylor expansion of 0 in t
3.573 * [taylor]: Taking taylor expansion of 0 in y
3.573 * [taylor]: Taking taylor expansion of 0 in z
3.573 * [taylor]: Taking taylor expansion of 0 in z
3.574 * [taylor]: Taking taylor expansion of 0 in z
3.574 * [taylor]: Taking taylor expansion of 0 in t
3.574 * [taylor]: Taking taylor expansion of 0 in t
3.574 * [taylor]: Taking taylor expansion of 0 in t
3.574 * [taylor]: Taking taylor expansion of 0 in t
3.577 * [taylor]: Taking taylor expansion of 0 in y
3.577 * [taylor]: Taking taylor expansion of 0 in z
3.578 * [taylor]: Taking taylor expansion of 0 in z
3.578 * [taylor]: Taking taylor expansion of 0 in z
3.579 * [taylor]: Taking taylor expansion of 0 in z
3.579 * [taylor]: Taking taylor expansion of 0 in t
3.579 * [taylor]: Taking taylor expansion of 0 in t
3.579 * [taylor]: Taking taylor expansion of 0 in t
3.579 * [taylor]: Taking taylor expansion of 0 in t
3.579 * [taylor]: Taking taylor expansion of 0 in t
3.579 * [taylor]: Taking taylor expansion of 0 in t
3.579 * [taylor]: Taking taylor expansion of 0 in t
3.580 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in (x y z t) around 0
3.580 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in t
3.580 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 1 (* t z)))
3.580 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in t
3.580 * [taylor]: Taking taylor expansion of (/ -1 x) in t
3.580 * [taylor]: Taking taylor expansion of -1 in t
3.580 * [taylor]: Taking taylor expansion of x in t
3.580 * [taylor]: Taking taylor expansion of (/ -1 y) in t
3.580 * [taylor]: Taking taylor expansion of -1 in t
3.580 * [taylor]: Taking taylor expansion of y in t
3.580 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
3.580 * [taylor]: Taking taylor expansion of (* t z) in t
3.580 * [taylor]: Taking taylor expansion of t in t
3.581 * [taylor]: Taking taylor expansion of z in t
3.581 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in z
3.581 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 1 (* t z)))
3.581 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in z
3.581 * [taylor]: Taking taylor expansion of (/ -1 x) in z
3.581 * [taylor]: Taking taylor expansion of -1 in z
3.581 * [taylor]: Taking taylor expansion of x in z
3.581 * [taylor]: Taking taylor expansion of (/ -1 y) in z
3.581 * [taylor]: Taking taylor expansion of -1 in z
3.581 * [taylor]: Taking taylor expansion of y in z
3.581 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
3.581 * [taylor]: Taking taylor expansion of (* t z) in z
3.581 * [taylor]: Taking taylor expansion of t in z
3.581 * [taylor]: Taking taylor expansion of z in z
3.582 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in y
3.582 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 1 (* t z)))
3.582 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in y
3.582 * [taylor]: Taking taylor expansion of (/ -1 x) in y
3.582 * [taylor]: Taking taylor expansion of -1 in y
3.582 * [taylor]: Taking taylor expansion of x in y
3.582 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.582 * [taylor]: Taking taylor expansion of -1 in y
3.582 * [taylor]: Taking taylor expansion of y in y
3.582 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
3.582 * [taylor]: Taking taylor expansion of (* t z) in y
3.582 * [taylor]: Taking taylor expansion of t in y
3.582 * [taylor]: Taking taylor expansion of z in y
3.582 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in x
3.582 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 1 (* t z)))
3.582 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x
3.583 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.583 * [taylor]: Taking taylor expansion of -1 in x
3.583 * [taylor]: Taking taylor expansion of x in x
3.583 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.583 * [taylor]: Taking taylor expansion of -1 in x
3.583 * [taylor]: Taking taylor expansion of y in x
3.583 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
3.583 * [taylor]: Taking taylor expansion of (* t z) in x
3.583 * [taylor]: Taking taylor expansion of t in x
3.583 * [taylor]: Taking taylor expansion of z in x
3.583 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 1 (* t z))) in x
3.583 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 1 (* t z)))
3.583 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x
3.583 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.583 * [taylor]: Taking taylor expansion of -1 in x
3.583 * [taylor]: Taking taylor expansion of x in x
3.584 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.584 * [taylor]: Taking taylor expansion of -1 in x
3.584 * [taylor]: Taking taylor expansion of y in x
3.584 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
3.584 * [taylor]: Taking taylor expansion of (* t z) in x
3.584 * [taylor]: Taking taylor expansion of t in x
3.584 * [taylor]: Taking taylor expansion of z in x
3.584 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.584 * [taylor]: Taking taylor expansion of y in y
3.584 * [taylor]: Taking taylor expansion of 1 in z
3.585 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
3.585 * [taylor]: Taking taylor expansion of (* t z) in y
3.585 * [taylor]: Taking taylor expansion of t in y
3.585 * [taylor]: Taking taylor expansion of z in y
3.586 * [taylor]: Taking taylor expansion of 0 in z
3.586 * [taylor]: Taking taylor expansion of 1 in t
3.588 * [taylor]: Taking taylor expansion of 0 in y
3.588 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
3.588 * [taylor]: Taking taylor expansion of (* t z) in z
3.588 * [taylor]: Taking taylor expansion of t in z
3.588 * [taylor]: Taking taylor expansion of z in z
3.588 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.588 * [taylor]: Taking taylor expansion of t in t
3.589 * [taylor]: Taking taylor expansion of 0 in z
3.589 * [taylor]: Taking taylor expansion of 0 in t
3.589 * [taylor]: Taking taylor expansion of 0 in t
3.591 * [taylor]: Taking taylor expansion of 0 in y
3.591 * [taylor]: Taking taylor expansion of 0 in z
3.591 * [taylor]: Taking taylor expansion of 0 in z
3.592 * [taylor]: Taking taylor expansion of 0 in z
3.592 * [taylor]: Taking taylor expansion of 0 in t
3.593 * [taylor]: Taking taylor expansion of 0 in t
3.593 * [taylor]: Taking taylor expansion of 0 in t
3.593 * [taylor]: Taking taylor expansion of 0 in t
3.596 * [taylor]: Taking taylor expansion of 0 in y
3.596 * [taylor]: Taking taylor expansion of 0 in z
3.596 * [taylor]: Taking taylor expansion of 0 in z
3.596 * [taylor]: Taking taylor expansion of 0 in z
3.597 * [taylor]: Taking taylor expansion of 0 in z
3.597 * [taylor]: Taking taylor expansion of 0 in t
3.597 * [taylor]: Taking taylor expansion of 0 in t
3.597 * [taylor]: Taking taylor expansion of 0 in t
3.598 * [taylor]: Taking taylor expansion of 0 in t
3.598 * [taylor]: Taking taylor expansion of 0 in t
3.598 * [taylor]: Taking taylor expansion of 0 in t
3.598 * [taylor]: Taking taylor expansion of 0 in t
3.598 * * * [progress]: simplifying candidates
3.599 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (cbrt (pow (fma x y (* z t)) 3)))
  (log1p (cbrt (pow (fma x y (* z t)) 3)))
  (log (cbrt (pow (fma x y (* z t)) 3)))
  (exp (cbrt (pow (fma x y (* z t)) 3)))
  (cbrt (pow (* (cbrt (fma x y (* z t))) (cbrt (fma x y (* z t)))) 3))
  (cbrt (pow (cbrt (fma x y (* z t))) 3))
  (cbrt (pow (sqrt (fma x y (* z t))) 3))
  (cbrt (pow (sqrt (fma x y (* z t))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (fma x y (* z t)) 3))
  (cbrt (* (fma x y (* z t)) (fma x y (* z t))))
  (cbrt (fma x y (* z t)))
  (cbrt (* (cbrt (pow (fma x y (* z t)) 3)) (cbrt (pow (fma x y (* z t)) 3))))
  (cbrt (cbrt (pow (fma x y (* z t)) 3)))
  (cbrt (pow (* (cbrt (fma x y (* z t))) (cbrt (fma x y (* z t)))) 3))
  (cbrt (pow (cbrt (fma x y (* z t))) 3))
  (cbrt (pow (sqrt (fma x y (* z t))) 3))
  (cbrt (pow (sqrt (fma x y (* z t))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (fma x y (* z t)) 3))
  (cbrt (fma x y (* z t)))
  (cbrt (* (fma x y (* z t)) (fma x y (* z t))))
  (cbrt (sqrt (pow (fma x y (* z t)) 3)))
  (cbrt (sqrt (pow (fma x y (* z t)) 3)))
  (cbrt 1)
  (cbrt (pow (fma x y (* z t)) 3))
  (cbrt (pow (fma x y (* z t)) (/ 3 2)))
  (cbrt (pow (fma x y (* z t)) (/ 3 2)))
  (* (cbrt (cbrt (pow (fma x y (* z t)) 3))) (cbrt (cbrt (pow (fma x y (* z t)) 3))))
  (cbrt (cbrt (pow (fma x y (* z t)) 3)))
  (* (* (cbrt (pow (fma x y (* z t)) 3)) (cbrt (pow (fma x y (* z t)) 3))) (cbrt (pow (fma x y (* z t)) 3)))
  (sqrt (cbrt (pow (fma x y (* z t)) 3)))
  (sqrt (cbrt (pow (fma x y (* z t)) 3)))
  (expm1 (pow (fma x y (* z t)) 3))
  (log1p (pow (fma x y (* z t)) 3))
  (* (log (fma x y (* z t))) 3)
  (* (log (fma x y (* z t))) 3)
  (* 1 3)
  (pow (fma x y (* z t)) (* (cbrt 3) (cbrt 3)))
  (pow (fma x y (* z t)) (sqrt 3))
  (pow (fma x y (* z t)) 1)
  (pow (* (cbrt (fma x y (* z t))) (cbrt (fma x y (* z t)))) 3)
  (pow (cbrt (fma x y (* z t))) 3)
  (pow (sqrt (fma x y (* z t))) 3)
  (pow (sqrt (fma x y (* z t))) 3)
  (pow 1 3)
  (pow (fma x y (* z t)) 3)
  (* (fma x y (* z t)) (fma x y (* z t)))
  (log (pow (fma x y (* z t)) 3))
  (exp (pow (fma x y (* z t)) 3))
  (* (cbrt (pow (fma x y (* z t)) 3)) (cbrt (pow (fma x y (* z t)) 3)))
  (cbrt (pow (fma x y (* z t)) 3))
  (* (* (pow (fma x y (* z t)) 3) (pow (fma x y (* z t)) 3)) (pow (fma x y (* z t)) 3))
  (pow (* (cbrt (fma x y (* z t))) (cbrt (fma x y (* z t)))) 3)
  (pow (cbrt (fma x y (* z t))) 3)
  (pow (sqrt (fma x y (* z t))) 3)
  (pow (sqrt (fma x y (* z t))) 3)
  (pow 1 3)
  (pow (fma x y (* z t)) 3)
  (* (fma x y (* z t)) (fma x y (* z t)))
  (sqrt (pow (fma x y (* z t)) 3))
  (sqrt (pow (fma x y (* z t)) 3))
  (pow (fma x y (* z t)) (/ 3 2))
  (pow (fma x y (* z t)) (/ 3 2))
  (expm1 (fma x y (* z t)))
  (log1p (fma x y (* z t)))
  (* x y)
  (log (fma x y (* z t)))
  (exp (fma x y (* z t)))
  (* (cbrt (fma x y (* z t))) (cbrt (fma x y (* z t))))
  (cbrt (fma x y (* z t)))
  (* (* (fma x y (* z t)) (fma x y (* z t))) (fma x y (* z t)))
  (sqrt (fma x y (* z t)))
  (sqrt (fma x y (* z t)))
  0
  (+ (* t z) (* x y))
  (+ (* t z) (* x y))
  0
  (+ (* 3 (* (pow t 2) (* x (* (pow z 2) y)))) (+ (* (pow t 3) (pow z 3)) (* 3 (* t (* (pow x 2) (* z (pow y 2)))))))
  (+ (* 3 (* (pow t 2) (* x (* (pow z 2) y)))) (+ (* (pow t 3) (pow z 3)) (* 3 (* t (* (pow x 2) (* z (pow y 2)))))))
  0
  (+ (* t z) (* x y))
  (+ (* t z) (* x y))
3.602 * * [simplify]: iteration  0 :  80  enodes  (cost  869 )
3.620 * * [simplify]: iteration  1 :  175  enodes  (cost  700 )
3.665 * * [simplify]: iteration  2 :  564  enodes  (cost  633 )
4.014 * * [simplify]: iteration  3 :  3358  enodes  (cost  631 )
5.382 * * [simplify]: iteration  done :  5000  enodes  (cost  631 )
5.382 * [simplify]: Simplified to:
   (expm1 (fma x y (* z t)))
  (log1p (fma x y (* z t)))
  (log (fma x y (* z t)))
  (exp (fma x y (* z t)))
  (cbrt (pow (fma t z (* x y)) 2))
  (cbrt (fma x y (* z t)))
  (sqrt (fma x y (* z t)))
  (sqrt (fma x y (* z t)))
  1
  (fma t z (* x y))
  (cbrt (pow (fma t z (* x y)) 2))
  (cbrt (fma x y (* z t)))
  (cbrt (pow (fma t z (* x y)) 2))
  (cbrt (fma x y (* z t)))
  (cbrt (pow (fma t z (* x y)) 2))
  (cbrt (fma x y (* z t)))
  (sqrt (fma x y (* z t)))
  (sqrt (fma x y (* z t)))
  1
  (fma t z (* x y))
  (cbrt (fma x y (* z t)))
  (cbrt (pow (fma t z (* x y)) 2))
  (cbrt (sqrt (pow (fma x y (* z t)) 3)))
  (cbrt (sqrt (pow (fma x y (* z t)) 3)))
  1
  (fma t z (* x y))
  (cbrt (pow (fma t z (* x y)) 3/2))
  (cbrt (pow (fma t z (* x y)) 3/2))
  (cbrt (pow (fma t z (* x y)) 2))
  (cbrt (fma x y (* z t)))
  (pow (fma t z (* x y)) 3)
  (sqrt (fma x y (* z t)))
  (sqrt (fma x y (* z t)))
  (expm1 (pow (fma x y (* z t)) 3))
  (log1p (pow (fma x y (* z t)) 3))
  (log (pow (fma x y (* z t)) 3))
  (log (pow (fma x y (* z t)) 3))
  3
  (pow (fma x y (* z t)) (* (cbrt 3) (cbrt 3)))
  (pow (fma x y (* z t)) (sqrt 3))
  (fma t z (* x y))
  (pow (fma t z (* x y)) 2)
  (fma t z (* x y))
  (pow (sqrt (fma x y (* z t))) 3)
  (pow (sqrt (fma x y (* z t))) 3)
  1
  (pow (fma t z (* x y)) 3)
  (pow (fma t z (* x y)) 2)
  (log (pow (fma x y (* z t)) 3))
  (exp (pow (fma x y (* z t)) 3))
  (pow (fma t z (* x y)) 2)
  (fma t z (* x y))
  (pow (pow (fma t z (* x y)) 3) 3)
  (pow (fma t z (* x y)) 2)
  (fma t z (* x y))
  (pow (sqrt (fma x y (* z t))) 3)
  (pow (sqrt (fma x y (* z t))) 3)
  1
  (pow (fma t z (* x y)) 3)
  (pow (fma t z (* x y)) 2)
  (sqrt (pow (fma x y (* z t)) 3))
  (sqrt (pow (fma x y (* z t)) 3))
  (pow (fma t z (* x y)) 3/2)
  (pow (fma t z (* x y)) 3/2)
  (expm1 (fma x y (* z t)))
  (log1p (fma x y (* z t)))
  (* x y)
  (log (fma x y (* z t)))
  (exp (fma x y (* z t)))
  (cbrt (pow (fma t z (* x y)) 2))
  (cbrt (fma x y (* z t)))
  (pow (fma t z (* x y)) 3)
  (sqrt (fma x y (* z t)))
  (sqrt (fma x y (* z t)))
  0
  (fma t z (* x y))
  (fma t z (* x y))
  0
  (fma (pow z 3) (pow t 3) (* 3 (+ (* t (* (pow x 2) (* z (pow y 2)))) (* (pow t 2) (* x (* (pow z 2) y))))))
  (fma (pow z 3) (pow t 3) (* 3 (+ (* t (* (pow x 2) (* z (pow y 2)))) (* (pow t 2) (* x (* (pow z 2) y))))))
  0
  (fma t z (* x y))
  (fma t z (* x y))
5.383 * * * [progress]: adding candidates to table
5.531 * * [progress]: iteration 4 / 4
5.531 * * * [progress]: picking best candidate
5.533 * * * * [pick]: Picked  #<alt (λ (x y z t) (fma t z (* x y)))>
5.533 * * * [progress]: localizing error
5.538 * * * [progress]: generating rewritten candidates
5.538 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
5.539 * * * [progress]: generating series expansions
5.539 * * * * [progress]: [ 1 / 1 ] generating series at (2)
5.539 * [approximate]: Taking taylor expansion of (fma t z (* x y)) in (t z x y) around 0
5.539 * [taylor]: Taking taylor expansion of (fma t z (* x y)) in y
5.539 * [taylor]: Rewrote expression to (+ (* t z) (* x y))
5.539 * [taylor]: Taking taylor expansion of (* t z) in y
5.539 * [taylor]: Taking taylor expansion of t in y
5.539 * [taylor]: Taking taylor expansion of z in y
5.539 * [taylor]: Taking taylor expansion of (* x y) in y
5.539 * [taylor]: Taking taylor expansion of x in y
5.539 * [taylor]: Taking taylor expansion of y in y
5.539 * [taylor]: Taking taylor expansion of (fma t z (* x y)) in x
5.539 * [taylor]: Rewrote expression to (+ (* t z) (* x y))
5.539 * [taylor]: Taking taylor expansion of (* t z) in x
5.539 * [taylor]: Taking taylor expansion of t in x
5.539 * [taylor]: Taking taylor expansion of z in x
5.539 * [taylor]: Taking taylor expansion of (* x y) in x
5.539 * [taylor]: Taking taylor expansion of x in x
5.539 * [taylor]: Taking taylor expansion of y in x
5.539 * [taylor]: Taking taylor expansion of (fma t z (* x y)) in z
5.539 * [taylor]: Rewrote expression to (+ (* t z) (* x y))
5.540 * [taylor]: Taking taylor expansion of (* t z) in z
5.540 * [taylor]: Taking taylor expansion of t in z
5.540 * [taylor]: Taking taylor expansion of z in z
5.540 * [taylor]: Taking taylor expansion of (* x y) in z
5.540 * [taylor]: Taking taylor expansion of x in z
5.540 * [taylor]: Taking taylor expansion of y in z
5.540 * [taylor]: Taking taylor expansion of (fma t z (* x y)) in t
5.540 * [taylor]: Rewrote expression to (+ (* t z) (* x y))
5.540 * [taylor]: Taking taylor expansion of (* t z) in t
5.540 * [taylor]: Taking taylor expansion of t in t
5.540 * [taylor]: Taking taylor expansion of z in t
5.540 * [taylor]: Taking taylor expansion of (* x y) in t
5.540 * [taylor]: Taking taylor expansion of x in t
5.540 * [taylor]: Taking taylor expansion of y in t
5.540 * [taylor]: Taking taylor expansion of (fma t z (* x y)) in t
5.540 * [taylor]: Rewrote expression to (+ (* t z) (* x y))
5.540 * [taylor]: Taking taylor expansion of (* t z) in t
5.540 * [taylor]: Taking taylor expansion of t in t
5.540 * [taylor]: Taking taylor expansion of z in t
5.540 * [taylor]: Taking taylor expansion of (* x y) in t
5.540 * [taylor]: Taking taylor expansion of x in t
5.540 * [taylor]: Taking taylor expansion of y in t
5.540 * [taylor]: Taking taylor expansion of (* x y) in z
5.540 * [taylor]: Taking taylor expansion of x in z
5.540 * [taylor]: Taking taylor expansion of y in z
5.540 * [taylor]: Taking taylor expansion of (* x y) in x
5.540 * [taylor]: Taking taylor expansion of x in x
5.540 * [taylor]: Taking taylor expansion of y in x
5.540 * [taylor]: Taking taylor expansion of 0 in y
5.541 * [taylor]: Taking taylor expansion of z in z
5.541 * [taylor]: Taking taylor expansion of 0 in x
5.541 * [taylor]: Taking taylor expansion of 0 in y
5.541 * [taylor]: Taking taylor expansion of 0 in x
5.541 * [taylor]: Taking taylor expansion of 0 in y
5.541 * [taylor]: Taking taylor expansion of y in y
5.542 * [taylor]: Taking taylor expansion of 0 in z
5.542 * [taylor]: Taking taylor expansion of 0 in x
5.542 * [taylor]: Taking taylor expansion of 0 in y
5.543 * [approximate]: Taking taylor expansion of (fma (/ 1 t) (/ 1 z) (/ 1 (* x y))) in (t z x y) around 0
5.543 * [taylor]: Taking taylor expansion of (fma (/ 1 t) (/ 1 z) (/ 1 (* x y))) in y
5.543 * [taylor]: Rewrote expression to (+ (* (/ 1 t) (/ 1 z)) (/ 1 (* x y)))
5.543 * [taylor]: Taking taylor expansion of (* (/ 1 t) (/ 1 z)) in y
5.543 * [taylor]: Taking taylor expansion of (/ 1 t) in y
5.543 * [taylor]: Taking taylor expansion of t in y
5.543 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.543 * [taylor]: Taking taylor expansion of z in y
5.543 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
5.543 * [taylor]: Taking taylor expansion of (* x y) in y
5.543 * [taylor]: Taking taylor expansion of x in y
5.543 * [taylor]: Taking taylor expansion of y in y
5.543 * [taylor]: Taking taylor expansion of (fma (/ 1 t) (/ 1 z) (/ 1 (* x y))) in x
5.544 * [taylor]: Rewrote expression to (+ (* (/ 1 t) (/ 1 z)) (/ 1 (* x y)))
5.544 * [taylor]: Taking taylor expansion of (* (/ 1 t) (/ 1 z)) in x
5.544 * [taylor]: Taking taylor expansion of (/ 1 t) in x
5.544 * [taylor]: Taking taylor expansion of t in x
5.544 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.544 * [taylor]: Taking taylor expansion of z in x
5.544 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.544 * [taylor]: Taking taylor expansion of (* x y) in x
5.544 * [taylor]: Taking taylor expansion of x in x
5.544 * [taylor]: Taking taylor expansion of y in x
5.544 * [taylor]: Taking taylor expansion of (fma (/ 1 t) (/ 1 z) (/ 1 (* x y))) in z
5.544 * [taylor]: Rewrote expression to (+ (* (/ 1 t) (/ 1 z)) (/ 1 (* x y)))
5.544 * [taylor]: Taking taylor expansion of (* (/ 1 t) (/ 1 z)) in z
5.544 * [taylor]: Taking taylor expansion of (/ 1 t) in z
5.544 * [taylor]: Taking taylor expansion of t in z
5.544 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.544 * [taylor]: Taking taylor expansion of z in z
5.545 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
5.545 * [taylor]: Taking taylor expansion of (* x y) in z
5.545 * [taylor]: Taking taylor expansion of x in z
5.545 * [taylor]: Taking taylor expansion of y in z
5.545 * [taylor]: Taking taylor expansion of (fma (/ 1 t) (/ 1 z) (/ 1 (* x y))) in t
5.545 * [taylor]: Rewrote expression to (+ (* (/ 1 t) (/ 1 z)) (/ 1 (* x y)))
5.545 * [taylor]: Taking taylor expansion of (* (/ 1 t) (/ 1 z)) in t
5.545 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.545 * [taylor]: Taking taylor expansion of t in t
5.545 * [taylor]: Taking taylor expansion of (/ 1 z) in t
5.545 * [taylor]: Taking taylor expansion of z in t
5.545 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
5.545 * [taylor]: Taking taylor expansion of (* x y) in t
5.545 * [taylor]: Taking taylor expansion of x in t
5.545 * [taylor]: Taking taylor expansion of y in t
5.545 * [taylor]: Taking taylor expansion of (fma (/ 1 t) (/ 1 z) (/ 1 (* x y))) in t
5.545 * [taylor]: Rewrote expression to (+ (* (/ 1 t) (/ 1 z)) (/ 1 (* x y)))
5.545 * [taylor]: Taking taylor expansion of (* (/ 1 t) (/ 1 z)) in t
5.545 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.546 * [taylor]: Taking taylor expansion of t in t
5.546 * [taylor]: Taking taylor expansion of (/ 1 z) in t
5.546 * [taylor]: Taking taylor expansion of z in t
5.546 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
5.546 * [taylor]: Taking taylor expansion of (* x y) in t
5.546 * [taylor]: Taking taylor expansion of x in t
5.546 * [taylor]: Taking taylor expansion of y in t
5.546 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.546 * [taylor]: Taking taylor expansion of z in z
5.546 * [taylor]: Taking taylor expansion of 1 in x
5.547 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
5.547 * [taylor]: Taking taylor expansion of (* x y) in z
5.547 * [taylor]: Taking taylor expansion of x in z
5.547 * [taylor]: Taking taylor expansion of y in z
5.548 * [taylor]: Taking taylor expansion of 0 in x
5.548 * [taylor]: Taking taylor expansion of 1 in y
5.550 * [taylor]: Taking taylor expansion of 0 in z
5.550 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.550 * [taylor]: Taking taylor expansion of (* x y) in x
5.550 * [taylor]: Taking taylor expansion of x in x
5.550 * [taylor]: Taking taylor expansion of y in x
5.550 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.550 * [taylor]: Taking taylor expansion of y in y
5.551 * [taylor]: Taking taylor expansion of 0 in x
5.551 * [taylor]: Taking taylor expansion of 0 in y
5.551 * [taylor]: Taking taylor expansion of 0 in y
5.553 * [taylor]: Taking taylor expansion of 0 in z
5.553 * [taylor]: Taking taylor expansion of 0 in x
5.553 * [taylor]: Taking taylor expansion of 0 in x
5.554 * [taylor]: Taking taylor expansion of 0 in x
5.555 * [taylor]: Taking taylor expansion of 0 in y
5.555 * [taylor]: Taking taylor expansion of 0 in y
5.555 * [taylor]: Taking taylor expansion of 0 in y
5.555 * [taylor]: Taking taylor expansion of 0 in y
5.558 * [taylor]: Taking taylor expansion of 0 in z
5.558 * [taylor]: Taking taylor expansion of 0 in x
5.558 * [taylor]: Taking taylor expansion of 0 in x
5.558 * [taylor]: Taking taylor expansion of 0 in x
5.559 * [taylor]: Taking taylor expansion of 0 in x
5.559 * [taylor]: Taking taylor expansion of 0 in y
5.559 * [taylor]: Taking taylor expansion of 0 in y
5.559 * [taylor]: Taking taylor expansion of 0 in y
5.560 * [taylor]: Taking taylor expansion of 0 in y
5.560 * [taylor]: Taking taylor expansion of 0 in y
5.560 * [taylor]: Taking taylor expansion of 0 in y
5.560 * [taylor]: Taking taylor expansion of 0 in y
5.561 * [approximate]: Taking taylor expansion of (fma (/ -1 t) (/ -1 z) (/ 1 (* x y))) in (t z x y) around 0
5.561 * [taylor]: Taking taylor expansion of (fma (/ -1 t) (/ -1 z) (/ 1 (* x y))) in y
5.561 * [taylor]: Rewrote expression to (+ (* (/ -1 t) (/ -1 z)) (/ 1 (* x y)))
5.561 * [taylor]: Taking taylor expansion of (* (/ -1 t) (/ -1 z)) in y
5.561 * [taylor]: Taking taylor expansion of (/ -1 t) in y
5.561 * [taylor]: Taking taylor expansion of -1 in y
5.561 * [taylor]: Taking taylor expansion of t in y
5.561 * [taylor]: Taking taylor expansion of (/ -1 z) in y
5.561 * [taylor]: Taking taylor expansion of -1 in y
5.561 * [taylor]: Taking taylor expansion of z in y
5.561 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
5.561 * [taylor]: Taking taylor expansion of (* x y) in y
5.561 * [taylor]: Taking taylor expansion of x in y
5.561 * [taylor]: Taking taylor expansion of y in y
5.561 * [taylor]: Taking taylor expansion of (fma (/ -1 t) (/ -1 z) (/ 1 (* x y))) in x
5.562 * [taylor]: Rewrote expression to (+ (* (/ -1 t) (/ -1 z)) (/ 1 (* x y)))
5.562 * [taylor]: Taking taylor expansion of (* (/ -1 t) (/ -1 z)) in x
5.562 * [taylor]: Taking taylor expansion of (/ -1 t) in x
5.562 * [taylor]: Taking taylor expansion of -1 in x
5.562 * [taylor]: Taking taylor expansion of t in x
5.562 * [taylor]: Taking taylor expansion of (/ -1 z) in x
5.562 * [taylor]: Taking taylor expansion of -1 in x
5.562 * [taylor]: Taking taylor expansion of z in x
5.562 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.562 * [taylor]: Taking taylor expansion of (* x y) in x
5.562 * [taylor]: Taking taylor expansion of x in x
5.562 * [taylor]: Taking taylor expansion of y in x
5.562 * [taylor]: Taking taylor expansion of (fma (/ -1 t) (/ -1 z) (/ 1 (* x y))) in z
5.562 * [taylor]: Rewrote expression to (+ (* (/ -1 t) (/ -1 z)) (/ 1 (* x y)))
5.562 * [taylor]: Taking taylor expansion of (* (/ -1 t) (/ -1 z)) in z
5.562 * [taylor]: Taking taylor expansion of (/ -1 t) in z
5.562 * [taylor]: Taking taylor expansion of -1 in z
5.562 * [taylor]: Taking taylor expansion of t in z
5.562 * [taylor]: Taking taylor expansion of (/ -1 z) in z
5.562 * [taylor]: Taking taylor expansion of -1 in z
5.562 * [taylor]: Taking taylor expansion of z in z
5.563 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
5.563 * [taylor]: Taking taylor expansion of (* x y) in z
5.563 * [taylor]: Taking taylor expansion of x in z
5.563 * [taylor]: Taking taylor expansion of y in z
5.563 * [taylor]: Taking taylor expansion of (fma (/ -1 t) (/ -1 z) (/ 1 (* x y))) in t
5.563 * [taylor]: Rewrote expression to (+ (* (/ -1 t) (/ -1 z)) (/ 1 (* x y)))
5.563 * [taylor]: Taking taylor expansion of (* (/ -1 t) (/ -1 z)) in t
5.563 * [taylor]: Taking taylor expansion of (/ -1 t) in t
5.563 * [taylor]: Taking taylor expansion of -1 in t
5.563 * [taylor]: Taking taylor expansion of t in t
5.563 * [taylor]: Taking taylor expansion of (/ -1 z) in t
5.563 * [taylor]: Taking taylor expansion of -1 in t
5.563 * [taylor]: Taking taylor expansion of z in t
5.563 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
5.563 * [taylor]: Taking taylor expansion of (* x y) in t
5.563 * [taylor]: Taking taylor expansion of x in t
5.563 * [taylor]: Taking taylor expansion of y in t
5.564 * [taylor]: Taking taylor expansion of (fma (/ -1 t) (/ -1 z) (/ 1 (* x y))) in t
5.564 * [taylor]: Rewrote expression to (+ (* (/ -1 t) (/ -1 z)) (/ 1 (* x y)))
5.564 * [taylor]: Taking taylor expansion of (* (/ -1 t) (/ -1 z)) in t
5.564 * [taylor]: Taking taylor expansion of (/ -1 t) in t
5.564 * [taylor]: Taking taylor expansion of -1 in t
5.564 * [taylor]: Taking taylor expansion of t in t
5.564 * [taylor]: Taking taylor expansion of (/ -1 z) in t
5.564 * [taylor]: Taking taylor expansion of -1 in t
5.564 * [taylor]: Taking taylor expansion of z in t
5.564 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
5.564 * [taylor]: Taking taylor expansion of (* x y) in t
5.564 * [taylor]: Taking taylor expansion of x in t
5.564 * [taylor]: Taking taylor expansion of y in t
5.564 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.564 * [taylor]: Taking taylor expansion of z in z
5.565 * [taylor]: Taking taylor expansion of 1 in x
5.566 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
5.566 * [taylor]: Taking taylor expansion of (* x y) in z
5.566 * [taylor]: Taking taylor expansion of x in z
5.566 * [taylor]: Taking taylor expansion of y in z
5.566 * [taylor]: Taking taylor expansion of 0 in x
5.566 * [taylor]: Taking taylor expansion of 1 in y
5.568 * [taylor]: Taking taylor expansion of 0 in z
5.568 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.568 * [taylor]: Taking taylor expansion of (* x y) in x
5.568 * [taylor]: Taking taylor expansion of x in x
5.568 * [taylor]: Taking taylor expansion of y in x
5.568 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.568 * [taylor]: Taking taylor expansion of y in y
5.569 * [taylor]: Taking taylor expansion of 0 in x
5.569 * [taylor]: Taking taylor expansion of 0 in y
5.569 * [taylor]: Taking taylor expansion of 0 in y
5.571 * [taylor]: Taking taylor expansion of 0 in z
5.571 * [taylor]: Taking taylor expansion of 0 in x
5.572 * [taylor]: Taking taylor expansion of 0 in x
5.572 * [taylor]: Taking taylor expansion of 0 in x
5.573 * [taylor]: Taking taylor expansion of 0 in y
5.573 * [taylor]: Taking taylor expansion of 0 in y
5.573 * [taylor]: Taking taylor expansion of 0 in y
5.573 * [taylor]: Taking taylor expansion of 0 in y
5.576 * [taylor]: Taking taylor expansion of 0 in z
5.576 * [taylor]: Taking taylor expansion of 0 in x
5.576 * [taylor]: Taking taylor expansion of 0 in x
5.577 * [taylor]: Taking taylor expansion of 0 in x
5.577 * [taylor]: Taking taylor expansion of 0 in x
5.577 * [taylor]: Taking taylor expansion of 0 in y
5.577 * [taylor]: Taking taylor expansion of 0 in y
5.578 * [taylor]: Taking taylor expansion of 0 in y
5.578 * [taylor]: Taking taylor expansion of 0 in y
5.578 * [taylor]: Taking taylor expansion of 0 in y
5.579 * [taylor]: Taking taylor expansion of 0 in y
5.579 * [taylor]: Taking taylor expansion of 0 in y
5.579 * * * [progress]: simplifying candidates
5.579 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (fma t z (* x y)))
  (log1p (fma t z (* x y)))
  (* t z)
  (log (fma t z (* x y)))
  (exp (fma t z (* x y)))
  (* (cbrt (fma t z (* x y))) (cbrt (fma t z (* x y))))
  (cbrt (fma t z (* x y)))
  (* (* (fma t z (* x y)) (fma t z (* x y))) (fma t z (* x y)))
  (sqrt (fma t z (* x y)))
  (sqrt (fma t z (* x y)))
  0
  (+ (* t z) (* x y))
  (+ (* t z) (* x y))
5.581 * * [simplify]: iteration  0 :  18  enodes  (cost  102 )
5.583 * * [simplify]: iteration  1 :  22  enodes  (cost  100 )
5.585 * * [simplify]: iteration  2 :  47  enodes  (cost  88 )
5.594 * * [simplify]: iteration  3 :  132  enodes  (cost  88 )
5.628 * * [simplify]: iteration  4 :  420  enodes  (cost  88 )
5.835 * * [simplify]: iteration  5 :  1581  enodes  (cost  88 )
7.502 * * [simplify]: iteration  done :  5000  enodes  (cost  88 )
7.502 * [simplify]: Simplified to:
   (expm1 (fma t z (* x y)))
  (log1p (fma t z (* x y)))
  (* t z)
  (log (fma t z (* x y)))
  (exp (fma t z (* x y)))
  (* (cbrt (fma t z (* x y))) (cbrt (fma t z (* x y))))
  (cbrt (fma t z (* x y)))
  (pow (fma t z (* x y)) 3)
  (sqrt (fma t z (* x y)))
  (sqrt (fma t z (* x y)))
  0
  (fma t z (* x y))
  (fma t z (* x y))
7.502 * * * [progress]: adding candidates to table
7.531 * [progress]: [Phase 3 of 3] Extracting.
7.531 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (fma t z (* x y)))> #<alt (λ (x y z t) (fma x y (* z t)))>)
7.532 * * * [regime-changes]: Trying 6 branch expressions: ((* z t) (* x y) t z y x)
7.532 * * * * [regimes]: Trying to branch on (* z t) from (#<alt (λ (x y z t) (fma t z (* x y)))> #<alt (λ (x y z t) (fma x y (* z t)))>)
7.548 * * * * [regimes]: Trying to branch on (* x y) from (#<alt (λ (x y z t) (fma t z (* x y)))> #<alt (λ (x y z t) (fma x y (* z t)))>)
7.562 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (fma t z (* x y)))> #<alt (λ (x y z t) (fma x y (* z t)))>)
7.576 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (fma t z (* x y)))> #<alt (λ (x y z t) (fma x y (* z t)))>)
7.592 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (fma t z (* x y)))> #<alt (λ (x y z t) (fma x y (* z t)))>)
7.606 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (fma t z (* x y)))> #<alt (λ (x y z t) (fma x y (* z t)))>)
7.622 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
7.622 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fma t z (* x y))
7.622 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
7.622 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
7.622 * * [simplify]: iteration  done :  7  enodes  (cost  6 )
7.622 * [simplify]: Simplified to:
   (fma t z (* x y))
8.221 * [regime-testing]: Baseline error score: 0.004698707651046526
8.221 * [regime-testing]: Oracle error score: 0.00012501562695336918
8.222 * [regime-testing]: End program error score: 0.004698707651046526