14.926 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.182 * * * [progress]: [2/2] Setting up program.
0.188 * [progress]: [Phase 2 of 3] Improving.
0.192 * [simplify]: Simplifying:
  (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
0.192 * * [simplify]: Extracting # 0 : cost  0
0.192 * * [simplify]: Extracting # 1 : cost  0
0.193 * * [simplify]: Extracting # 2 : cost  0
0.193 * * [simplify]: Extracting # 3 : cost  0
0.193 * * [simplify]: Extracting # 4 : cost  0
0.193 * * [simplify]: Extracting # 5 : cost  0
0.193 * * [simplify]: Extracting # 6 : cost  0
0.193 * * [simplify]: Extracting # 7 : cost  0
0.193 * * [simplify]: Extracting # 8 : cost  0
0.193 * * [simplify]: Extracting # 9 : cost  0
0.193 * * [simplify]: Extracting # 10 : cost  0
0.193 * * [simplify]: Extracting # 11 : cost  0
0.193 * * [simplify]: iteration  0 :  18  enodes  (cost  19 )
0.199 * * [simplify]: Extracting # 0 : cost  0
0.199 * * [simplify]: Extracting # 1 : cost  0
0.199 * * [simplify]: Extracting # 2 : cost  0
0.199 * * [simplify]: iteration  1 :  38  enodes  (cost  19 )
0.215 * * [simplify]: Extracting # 0 : cost  0
0.215 * * [simplify]: Extracting # 1 : cost  0
0.215 * * [simplify]: Extracting # 2 : cost  0
0.216 * * [simplify]: iteration  2 :  122  enodes  (cost  19 )
0.265 * * [simplify]: Extracting # 0 : cost  0
0.266 * * [simplify]: Extracting # 1 : cost  0
0.267 * * [simplify]: Extracting # 2 : cost  0
0.268 * * [simplify]: iteration  3 :  485  enodes  (cost  19 )
0.972 * * [simplify]: Extracting # 0 : cost  0
0.975 * * [simplify]: Extracting # 1 : cost  0
0.977 * * [simplify]: Extracting # 2 : cost  0
0.979 * * [simplify]: iteration  4 :  2025  enodes  (cost  19 )
6.753 * * [simplify]: Extracting # 0 : cost  0
6.765 * * [simplify]: Extracting # 1 : cost  0
6.770 * * [simplify]: Extracting # 2 : cost  0
6.776 * * [simplify]: iteration done:  5000  enodes  (cost  19 )
6.776 * [simplify]: Simplified to:
  (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
6.777 * * [progress]: iteration 1 / 4
6.777 * * * [progress]: picking best candidate
6.780 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))>
6.780 * * * [progress]: localizing error
6.803 * * * [progress]: generating rewritten candidates
6.803 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
6.846 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
6.980 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
6.996 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1)
7.041 * * * [progress]: generating series expansions
7.042 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1)
7.042 * [backup-simplify]: Simplify (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) into (* 0.05555555555555555 (/ x (* z y)))
7.042 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in (x y z) around 0
7.042 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in z
7.042 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
7.042 * [backup-simplify]: Simplify 0.05555555555555555 into 0.05555555555555555
7.042 * [taylor]: Taking taylor expansion of (/ x (* z y)) in z
7.042 * [taylor]: Taking taylor expansion of x in z
7.042 * [backup-simplify]: Simplify x into x
7.042 * [taylor]: Taking taylor expansion of (* z y) in z
7.042 * [taylor]: Taking taylor expansion of z in z
7.042 * [backup-simplify]: Simplify 0 into 0
7.042 * [backup-simplify]: Simplify 1 into 1
7.043 * [taylor]: Taking taylor expansion of y in z
7.043 * [backup-simplify]: Simplify y into y
7.043 * [backup-simplify]: Simplify (* 0 y) into 0
7.043 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
7.043 * [backup-simplify]: Simplify (/ x y) into (/ x y)
7.043 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in y
7.043 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
7.043 * [backup-simplify]: Simplify 0.05555555555555555 into 0.05555555555555555
7.043 * [taylor]: Taking taylor expansion of (/ x (* z y)) in y
7.043 * [taylor]: Taking taylor expansion of x in y
7.043 * [backup-simplify]: Simplify x into x
7.043 * [taylor]: Taking taylor expansion of (* z y) in y
7.043 * [taylor]: Taking taylor expansion of z in y
7.043 * [backup-simplify]: Simplify z into z
7.044 * [taylor]: Taking taylor expansion of y in y
7.044 * [backup-simplify]: Simplify 0 into 0
7.044 * [backup-simplify]: Simplify 1 into 1
7.044 * [backup-simplify]: Simplify (* z 0) into 0
7.044 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
7.044 * [backup-simplify]: Simplify (/ x z) into (/ x z)
7.044 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in x
7.044 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
7.044 * [backup-simplify]: Simplify 0.05555555555555555 into 0.05555555555555555
7.044 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x
7.044 * [taylor]: Taking taylor expansion of x in x
7.044 * [backup-simplify]: Simplify 0 into 0
7.044 * [backup-simplify]: Simplify 1 into 1
7.044 * [taylor]: Taking taylor expansion of (* z y) in x
7.044 * [taylor]: Taking taylor expansion of z in x
7.044 * [backup-simplify]: Simplify z into z
7.044 * [taylor]: Taking taylor expansion of y in x
7.044 * [backup-simplify]: Simplify y into y
7.044 * [backup-simplify]: Simplify (* z y) into (* z y)
7.044 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
7.044 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in x
7.044 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
7.044 * [backup-simplify]: Simplify 0.05555555555555555 into 0.05555555555555555
7.044 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x
7.044 * [taylor]: Taking taylor expansion of x in x
7.044 * [backup-simplify]: Simplify 0 into 0
7.044 * [backup-simplify]: Simplify 1 into 1
7.044 * [taylor]: Taking taylor expansion of (* z y) in x
7.044 * [taylor]: Taking taylor expansion of z in x
7.044 * [backup-simplify]: Simplify z into z
7.045 * [taylor]: Taking taylor expansion of y in x
7.045 * [backup-simplify]: Simplify y into y
7.045 * [backup-simplify]: Simplify (* z y) into (* z y)
7.045 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
7.045 * [backup-simplify]: Simplify (* 0.05555555555555555 (/ 1 (* z y))) into (/ 0.05555555555555555 (* z y))
7.045 * [taylor]: Taking taylor expansion of (/ 0.05555555555555555 (* z y)) in y
7.045 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
7.045 * [backup-simplify]: Simplify 0.05555555555555555 into 0.05555555555555555
7.045 * [taylor]: Taking taylor expansion of (* z y) in y
7.045 * [taylor]: Taking taylor expansion of z in y
7.045 * [backup-simplify]: Simplify z into z
7.045 * [taylor]: Taking taylor expansion of y in y
7.045 * [backup-simplify]: Simplify 0 into 0
7.045 * [backup-simplify]: Simplify 1 into 1
7.045 * [backup-simplify]: Simplify (* z 0) into 0
7.045 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
7.045 * [backup-simplify]: Simplify (/ 0.05555555555555555 z) into (/ 0.05555555555555555 z)
7.045 * [taylor]: Taking taylor expansion of (/ 0.05555555555555555 z) in z
7.045 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
7.046 * [backup-simplify]: Simplify 0.05555555555555555 into 0.05555555555555555
7.046 * [taylor]: Taking taylor expansion of z in z
7.046 * [backup-simplify]: Simplify 0 into 0
7.046 * [backup-simplify]: Simplify 1 into 1
7.046 * [backup-simplify]: Simplify (/ 0.05555555555555555 1) into 0.05555555555555555
7.046 * [backup-simplify]: Simplify 0.05555555555555555 into 0.05555555555555555
7.046 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
7.047 * [backup-simplify]: Simplify (- (/ 0 (* z y)) (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
7.047 * [backup-simplify]: Simplify (+ (* 0.05555555555555555 0) (* 0 (/ 1 (* z y)))) into 0
7.047 * [taylor]: Taking taylor expansion of 0 in y
7.047 * [backup-simplify]: Simplify 0 into 0
7.047 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
7.048 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.05555555555555555 z) (/ 0 z)))) into 0
7.048 * [taylor]: Taking taylor expansion of 0 in z
7.048 * [backup-simplify]: Simplify 0 into 0
7.048 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.05555555555555555 (/ 0 1)))) into 0
7.048 * [backup-simplify]: Simplify 0 into 0
7.049 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
7.049 * [backup-simplify]: Simplify (- (/ 0 (* z y)) (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0
7.050 * [backup-simplify]: Simplify (+ (* 0.05555555555555555 0) (+ (* 0 0) (* 0 (/ 1 (* z y))))) into 0
7.050 * [taylor]: Taking taylor expansion of 0 in y
7.050 * [backup-simplify]: Simplify 0 into 0
7.050 * [taylor]: Taking taylor expansion of 0 in z
7.050 * [backup-simplify]: Simplify 0 into 0
7.050 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
7.050 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.05555555555555555 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.050 * [taylor]: Taking taylor expansion of 0 in z
7.050 * [backup-simplify]: Simplify 0 into 0
7.050 * [backup-simplify]: Simplify 0 into 0
7.051 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.05555555555555555 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.051 * [backup-simplify]: Simplify 0 into 0
7.052 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
7.052 * [backup-simplify]: Simplify (- (/ 0 (* z y)) (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0
7.053 * [backup-simplify]: Simplify (+ (* 0.05555555555555555 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* z y)))))) into 0
7.053 * [taylor]: Taking taylor expansion of 0 in y
7.053 * [backup-simplify]: Simplify 0 into 0
7.053 * [taylor]: Taking taylor expansion of 0 in z
7.053 * [backup-simplify]: Simplify 0 into 0
7.053 * [taylor]: Taking taylor expansion of 0 in z
7.053 * [backup-simplify]: Simplify 0 into 0
7.054 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
7.054 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.05555555555555555 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.054 * [taylor]: Taking taylor expansion of 0 in z
7.054 * [backup-simplify]: Simplify 0 into 0
7.054 * [backup-simplify]: Simplify 0 into 0
7.054 * [backup-simplify]: Simplify 0 into 0
7.054 * [backup-simplify]: Simplify 0 into 0
7.054 * [backup-simplify]: Simplify (* 0.05555555555555555 (* (/ 1 z) (* (/ 1 y) x))) into (* 0.05555555555555555 (/ x (* z y)))
7.054 * [backup-simplify]: Simplify (/ (* 3.0 (/ (/ 1 x) (* (/ 1 y) 27.0))) (* (/ 1 z) 2.0)) into (* 0.05555555555555555 (/ (* z y) x))
7.054 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in (x y z) around 0
7.054 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in z
7.054 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
7.054 * [backup-simplify]: Simplify 0.05555555555555555 into 0.05555555555555555
7.054 * [taylor]: Taking taylor expansion of (/ (* z y) x) in z
7.055 * [taylor]: Taking taylor expansion of (* z y) in z
7.055 * [taylor]: Taking taylor expansion of z in z
7.055 * [backup-simplify]: Simplify 0 into 0
7.055 * [backup-simplify]: Simplify 1 into 1
7.055 * [taylor]: Taking taylor expansion of y in z
7.055 * [backup-simplify]: Simplify y into y
7.055 * [taylor]: Taking taylor expansion of x in z
7.055 * [backup-simplify]: Simplify x into x
7.055 * [backup-simplify]: Simplify (* 0 y) into 0
7.055 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
7.055 * [backup-simplify]: Simplify (/ y x) into (/ y x)
7.055 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in y
7.055 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
7.055 * [backup-simplify]: Simplify 0.05555555555555555 into 0.05555555555555555
7.055 * [taylor]: Taking taylor expansion of (/ (* z y) x) in y
7.055 * [taylor]: Taking taylor expansion of (* z y) in y
7.055 * [taylor]: Taking taylor expansion of z in y
7.055 * [backup-simplify]: Simplify z into z
7.055 * [taylor]: Taking taylor expansion of y in y
7.055 * [backup-simplify]: Simplify 0 into 0
7.055 * [backup-simplify]: Simplify 1 into 1
7.055 * [taylor]: Taking taylor expansion of x in y
7.055 * [backup-simplify]: Simplify x into x
7.055 * [backup-simplify]: Simplify (* z 0) into 0
7.056 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
7.056 * [backup-simplify]: Simplify (/ z x) into (/ z x)
7.056 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in x
7.056 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
7.056 * [backup-simplify]: Simplify 0.05555555555555555 into 0.05555555555555555
7.056 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
7.056 * [taylor]: Taking taylor expansion of (* z y) in x
7.056 * [taylor]: Taking taylor expansion of z in x
7.056 * [backup-simplify]: Simplify z into z
7.056 * [taylor]: Taking taylor expansion of y in x
7.056 * [backup-simplify]: Simplify y into y
7.056 * [taylor]: Taking taylor expansion of x in x
7.056 * [backup-simplify]: Simplify 0 into 0
7.056 * [backup-simplify]: Simplify 1 into 1
7.056 * [backup-simplify]: Simplify (* z y) into (* z y)
7.056 * [backup-simplify]: Simplify (/ (* z y) 1) into (* z y)
7.056 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in x
7.056 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
7.056 * [backup-simplify]: Simplify 0.05555555555555555 into 0.05555555555555555
7.056 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
7.056 * [taylor]: Taking taylor expansion of (* z y) in x
7.056 * [taylor]: Taking taylor expansion of z in x
7.056 * [backup-simplify]: Simplify z into z
7.056 * [taylor]: Taking taylor expansion of y in x
7.056 * [backup-simplify]: Simplify y into y
7.056 * [taylor]: Taking taylor expansion of x in x
7.056 * [backup-simplify]: Simplify 0 into 0
7.056 * [backup-simplify]: Simplify 1 into 1
7.056 * [backup-simplify]: Simplify (* z y) into (* z y)
7.056 * [backup-simplify]: Simplify (/ (* z y) 1) into (* z y)
7.057 * [backup-simplify]: Simplify (* 0.05555555555555555 (* z y)) into (* 0.05555555555555555 (* z y))
7.057 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* z y)) in y
7.057 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
7.057 * [backup-simplify]: Simplify 0.05555555555555555 into 0.05555555555555555
7.057 * [taylor]: Taking taylor expansion of (* z y) in y
7.057 * [taylor]: Taking taylor expansion of z in y
7.057 * [backup-simplify]: Simplify z into z
7.057 * [taylor]: Taking taylor expansion of y in y
7.057 * [backup-simplify]: Simplify 0 into 0
7.057 * [backup-simplify]: Simplify 1 into 1
7.057 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
7.057 * [backup-simplify]: Simplify (* z 0) into 0
7.057 * [backup-simplify]: Simplify (+ (* 0.05555555555555555 z) (* 0 0)) into (* 0.05555555555555555 z)
7.058 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 z) in z
7.058 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
7.058 * [backup-simplify]: Simplify 0.05555555555555555 into 0.05555555555555555
7.058 * [taylor]: Taking taylor expansion of z in z
7.058 * [backup-simplify]: Simplify 0 into 0
7.058 * [backup-simplify]: Simplify 1 into 1
7.059 * [backup-simplify]: Simplify (+ (* 0.05555555555555555 1) (* 0 0)) into 0.05555555555555555
7.059 * [backup-simplify]: Simplify 0.05555555555555555 into 0.05555555555555555
7.059 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
7.059 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* z y) (/ 0 1)))) into 0
7.060 * [backup-simplify]: Simplify (+ (* 0.05555555555555555 0) (* 0 (* z y))) into 0
7.060 * [taylor]: Taking taylor expansion of 0 in y
7.060 * [backup-simplify]: Simplify 0 into 0
7.060 * [taylor]: Taking taylor expansion of 0 in z
7.060 * [backup-simplify]: Simplify 0 into 0
7.060 * [backup-simplify]: Simplify 0 into 0
7.060 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
7.061 * [backup-simplify]: Simplify (+ (* 0.05555555555555555 0) (+ (* 0 z) (* 0 0))) into 0
7.061 * [taylor]: Taking taylor expansion of 0 in z
7.061 * [backup-simplify]: Simplify 0 into 0
7.061 * [backup-simplify]: Simplify 0 into 0
7.062 * [backup-simplify]: Simplify (+ (* 0.05555555555555555 0) (+ (* 0 1) (* 0 0))) into 0
7.062 * [backup-simplify]: Simplify 0 into 0
7.062 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
7.063 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* z y) (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.064 * [backup-simplify]: Simplify (+ (* 0.05555555555555555 0) (+ (* 0 0) (* 0 (* z y)))) into 0
7.064 * [taylor]: Taking taylor expansion of 0 in y
7.064 * [backup-simplify]: Simplify 0 into 0
7.064 * [taylor]: Taking taylor expansion of 0 in z
7.064 * [backup-simplify]: Simplify 0 into 0
7.064 * [backup-simplify]: Simplify 0 into 0
7.064 * [taylor]: Taking taylor expansion of 0 in z
7.064 * [backup-simplify]: Simplify 0 into 0
7.064 * [backup-simplify]: Simplify 0 into 0
7.064 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
7.065 * [backup-simplify]: Simplify (+ (* 0.05555555555555555 0) (+ (* 0 0) (+ (* 0 z) (* 0 0)))) into 0
7.065 * [taylor]: Taking taylor expansion of 0 in z
7.065 * [backup-simplify]: Simplify 0 into 0
7.065 * [backup-simplify]: Simplify 0 into 0
7.065 * [backup-simplify]: Simplify (* 0.05555555555555555 (* (/ 1 z) (* (/ 1 y) (/ 1 (/ 1 x))))) into (* 0.05555555555555555 (/ x (* z y)))
7.066 * [backup-simplify]: Simplify (/ (* 3.0 (/ (/ 1 (- x)) (* (/ 1 (- y)) 27.0))) (* (/ 1 (- z)) 2.0)) into (* -0.05555555555555555 (/ (* z y) x))
7.066 * [approximate]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in (x y z) around 0
7.066 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in z
7.066 * [taylor]: Taking taylor expansion of -0.05555555555555555 in z
7.066 * [backup-simplify]: Simplify -0.05555555555555555 into -0.05555555555555555
7.066 * [taylor]: Taking taylor expansion of (/ (* z y) x) in z
7.066 * [taylor]: Taking taylor expansion of (* z y) in z
7.066 * [taylor]: Taking taylor expansion of z in z
7.066 * [backup-simplify]: Simplify 0 into 0
7.066 * [backup-simplify]: Simplify 1 into 1
7.066 * [taylor]: Taking taylor expansion of y in z
7.066 * [backup-simplify]: Simplify y into y
7.066 * [taylor]: Taking taylor expansion of x in z
7.066 * [backup-simplify]: Simplify x into x
7.066 * [backup-simplify]: Simplify (* 0 y) into 0
7.066 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
7.066 * [backup-simplify]: Simplify (/ y x) into (/ y x)
7.066 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in y
7.066 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y
7.066 * [backup-simplify]: Simplify -0.05555555555555555 into -0.05555555555555555
7.066 * [taylor]: Taking taylor expansion of (/ (* z y) x) in y
7.066 * [taylor]: Taking taylor expansion of (* z y) in y
7.066 * [taylor]: Taking taylor expansion of z in y
7.067 * [backup-simplify]: Simplify z into z
7.067 * [taylor]: Taking taylor expansion of y in y
7.067 * [backup-simplify]: Simplify 0 into 0
7.067 * [backup-simplify]: Simplify 1 into 1
7.067 * [taylor]: Taking taylor expansion of x in y
7.067 * [backup-simplify]: Simplify x into x
7.067 * [backup-simplify]: Simplify (* z 0) into 0
7.067 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
7.067 * [backup-simplify]: Simplify (/ z x) into (/ z x)
7.067 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in x
7.067 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x
7.067 * [backup-simplify]: Simplify -0.05555555555555555 into -0.05555555555555555
7.067 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
7.067 * [taylor]: Taking taylor expansion of (* z y) in x
7.067 * [taylor]: Taking taylor expansion of z in x
7.067 * [backup-simplify]: Simplify z into z
7.067 * [taylor]: Taking taylor expansion of y in x
7.067 * [backup-simplify]: Simplify y into y
7.067 * [taylor]: Taking taylor expansion of x in x
7.067 * [backup-simplify]: Simplify 0 into 0
7.067 * [backup-simplify]: Simplify 1 into 1
7.067 * [backup-simplify]: Simplify (* z y) into (* z y)
7.067 * [backup-simplify]: Simplify (/ (* z y) 1) into (* z y)
7.067 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in x
7.067 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x
7.067 * [backup-simplify]: Simplify -0.05555555555555555 into -0.05555555555555555
7.067 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
7.067 * [taylor]: Taking taylor expansion of (* z y) in x
7.067 * [taylor]: Taking taylor expansion of z in x
7.067 * [backup-simplify]: Simplify z into z
7.067 * [taylor]: Taking taylor expansion of y in x
7.067 * [backup-simplify]: Simplify y into y
7.067 * [taylor]: Taking taylor expansion of x in x
7.067 * [backup-simplify]: Simplify 0 into 0
7.067 * [backup-simplify]: Simplify 1 into 1
7.068 * [backup-simplify]: Simplify (* z y) into (* z y)
7.068 * [backup-simplify]: Simplify (/ (* z y) 1) into (* z y)
7.068 * [backup-simplify]: Simplify (* -0.05555555555555555 (* z y)) into (* -0.05555555555555555 (* z y))
7.068 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (* z y)) in y
7.068 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y
7.068 * [backup-simplify]: Simplify -0.05555555555555555 into -0.05555555555555555
7.068 * [taylor]: Taking taylor expansion of (* z y) in y
7.068 * [taylor]: Taking taylor expansion of z in y
7.068 * [backup-simplify]: Simplify z into z
7.068 * [taylor]: Taking taylor expansion of y in y
7.068 * [backup-simplify]: Simplify 0 into 0
7.068 * [backup-simplify]: Simplify 1 into 1
7.068 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
7.068 * [backup-simplify]: Simplify (* z 0) into 0
7.069 * [backup-simplify]: Simplify (+ (* -0.05555555555555555 z) (* 0 0)) into (- (* 0.05555555555555555 z))
7.069 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 z)) in z
7.069 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 z) in z
7.069 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
7.069 * [backup-simplify]: Simplify 0.05555555555555555 into 0.05555555555555555
7.069 * [taylor]: Taking taylor expansion of z in z
7.069 * [backup-simplify]: Simplify 0 into 0
7.069 * [backup-simplify]: Simplify 1 into 1
7.070 * [backup-simplify]: Simplify (+ (* 0.05555555555555555 1) (* 0 0)) into 0.05555555555555555
7.070 * [backup-simplify]: Simplify (- 0.05555555555555555) into (- 0.05555555555555555)
7.070 * [backup-simplify]: Simplify (- 0.05555555555555555) into (- 0.05555555555555555)
7.071 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
7.071 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* z y) (/ 0 1)))) into 0
7.072 * [backup-simplify]: Simplify (+ (* -0.05555555555555555 0) (* 0 (* z y))) into 0
7.072 * [taylor]: Taking taylor expansion of 0 in y
7.072 * [backup-simplify]: Simplify 0 into 0
7.072 * [taylor]: Taking taylor expansion of 0 in z
7.072 * [backup-simplify]: Simplify 0 into 0
7.072 * [backup-simplify]: Simplify 0 into 0
7.072 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
7.073 * [backup-simplify]: Simplify (+ (* -0.05555555555555555 0) (+ (* 0 z) (* 0 0))) into 0
7.073 * [taylor]: Taking taylor expansion of 0 in z
7.073 * [backup-simplify]: Simplify 0 into 0
7.073 * [backup-simplify]: Simplify 0 into 0
7.074 * [backup-simplify]: Simplify (+ (* 0.05555555555555555 0) (+ (* 0 1) (* 0 0))) into 0
7.074 * [backup-simplify]: Simplify (- 0) into 0
7.074 * [backup-simplify]: Simplify 0 into 0
7.074 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
7.075 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* z y) (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.076 * [backup-simplify]: Simplify (+ (* -0.05555555555555555 0) (+ (* 0 0) (* 0 (* z y)))) into 0
7.076 * [taylor]: Taking taylor expansion of 0 in y
7.076 * [backup-simplify]: Simplify 0 into 0
7.076 * [taylor]: Taking taylor expansion of 0 in z
7.076 * [backup-simplify]: Simplify 0 into 0
7.076 * [backup-simplify]: Simplify 0 into 0
7.076 * [taylor]: Taking taylor expansion of 0 in z
7.076 * [backup-simplify]: Simplify 0 into 0
7.076 * [backup-simplify]: Simplify 0 into 0
7.077 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
7.078 * [backup-simplify]: Simplify (+ (* -0.05555555555555555 0) (+ (* 0 0) (+ (* 0 z) (* 0 0)))) into 0
7.078 * [taylor]: Taking taylor expansion of 0 in z
7.078 * [backup-simplify]: Simplify 0 into 0
7.078 * [backup-simplify]: Simplify 0 into 0
7.078 * [backup-simplify]: Simplify (* (- 0.05555555555555555) (* (/ 1 (- z)) (* (/ 1 (- y)) (/ 1 (/ 1 (- x)))))) into (* 0.05555555555555555 (/ x (* z y)))
7.078 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
7.079 * [backup-simplify]: Simplify (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) into (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))
7.079 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in (x y z t) around 0
7.079 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in t
7.079 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
7.079 * [backup-simplify]: Simplify 0.05555555555555555 into 0.05555555555555555
7.079 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in t
7.079 * [taylor]: Taking taylor expansion of (sqrt t) in t
7.079 * [taylor]: Taking taylor expansion of t in t
7.079 * [backup-simplify]: Simplify 0 into 0
7.079 * [backup-simplify]: Simplify 1 into 1
7.079 * [backup-simplify]: Simplify (sqrt 0) into 0
7.080 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
7.081 * [taylor]: Taking taylor expansion of (/ x (* z y)) in t
7.081 * [taylor]: Taking taylor expansion of x in t
7.081 * [backup-simplify]: Simplify x into x
7.081 * [taylor]: Taking taylor expansion of (* z y) in t
7.081 * [taylor]: Taking taylor expansion of z in t
7.081 * [backup-simplify]: Simplify z into z
7.081 * [taylor]: Taking taylor expansion of y in t
7.081 * [backup-simplify]: Simplify y into y
7.081 * [backup-simplify]: Simplify (* z y) into (* z y)
7.081 * [backup-simplify]: Simplify (/ x (* z y)) into (/ x (* z y))
7.081 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in z
7.081 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
7.081 * [backup-simplify]: Simplify 0.05555555555555555 into 0.05555555555555555
7.081 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in z
7.081 * [taylor]: Taking taylor expansion of (sqrt t) in z
7.081 * [taylor]: Taking taylor expansion of t in z
7.081 * [backup-simplify]: Simplify t into t
7.081 * [backup-simplify]: Simplify (sqrt t) into (sqrt t)
7.081 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt t))) into 0
7.081 * [taylor]: Taking taylor expansion of (/ x (* z y)) in z
7.081 * [taylor]: Taking taylor expansion of x in z
7.081 * [backup-simplify]: Simplify x into x
7.081 * [taylor]: Taking taylor expansion of (* z y) in z
7.081 * [taylor]: Taking taylor expansion of z in z
7.081 * [backup-simplify]: Simplify 0 into 0
7.081 * [backup-simplify]: Simplify 1 into 1
7.081 * [taylor]: Taking taylor expansion of y in z
7.081 * [backup-simplify]: Simplify y into y
7.081 * [backup-simplify]: Simplify (* 0 y) into 0
7.082 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
7.082 * [backup-simplify]: Simplify (/ x y) into (/ x y)
7.082 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in y
7.082 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
7.082 * [backup-simplify]: Simplify 0.05555555555555555 into 0.05555555555555555
7.082 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in y
7.082 * [taylor]: Taking taylor expansion of (sqrt t) in y
7.082 * [taylor]: Taking taylor expansion of t in y
7.082 * [backup-simplify]: Simplify t into t
7.082 * [backup-simplify]: Simplify (sqrt t) into (sqrt t)
7.082 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt t))) into 0
7.082 * [taylor]: Taking taylor expansion of (/ x (* z y)) in y
7.082 * [taylor]: Taking taylor expansion of x in y
7.082 * [backup-simplify]: Simplify x into x
7.082 * [taylor]: Taking taylor expansion of (* z y) in y
7.082 * [taylor]: Taking taylor expansion of z in y
7.082 * [backup-simplify]: Simplify z into z
7.082 * [taylor]: Taking taylor expansion of y in y
7.082 * [backup-simplify]: Simplify 0 into 0
7.082 * [backup-simplify]: Simplify 1 into 1
7.082 * [backup-simplify]: Simplify (* z 0) into 0
7.082 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
7.083 * [backup-simplify]: Simplify (/ x z) into (/ x z)
7.083 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in x
7.083 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
7.083 * [backup-simplify]: Simplify 0.05555555555555555 into 0.05555555555555555
7.083 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in x
7.083 * [taylor]: Taking taylor expansion of (sqrt t) in x
7.083 * [taylor]: Taking taylor expansion of t in x
7.083 * [backup-simplify]: Simplify t into t
7.083 * [backup-simplify]: Simplify (sqrt t) into (sqrt t)
7.083 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt t))) into 0
7.083 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x
7.083 * [taylor]: Taking taylor expansion of x in x
7.083 * [backup-simplify]: Simplify 0 into 0
7.083 * [backup-simplify]: Simplify 1 into 1
7.083 * [taylor]: Taking taylor expansion of (* z y) in x
7.083 * [taylor]: Taking taylor expansion of z in x
7.083 * [backup-simplify]: Simplify z into z
7.083 * [taylor]: Taking taylor expansion of y in x
7.083 * [backup-simplify]: Simplify y into y
7.083 * [backup-simplify]: Simplify (* z y) into (* z y)
7.083 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
7.083 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in x
7.083 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
7.083 * [backup-simplify]: Simplify 0.05555555555555555 into 0.05555555555555555
7.083 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in x
7.083 * [taylor]: Taking taylor expansion of (sqrt t) in x
7.083 * [taylor]: Taking taylor expansion of t in x
7.083 * [backup-simplify]: Simplify t into t
7.083 * [backup-simplify]: Simplify (sqrt t) into (sqrt t)
7.083 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt t))) into 0
7.083 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x
7.083 * [taylor]: Taking taylor expansion of x in x
7.083 * [backup-simplify]: Simplify 0 into 0
7.083 * [backup-simplify]: Simplify 1 into 1
7.083 * [taylor]: Taking taylor expansion of (* z y) in x
7.083 * [taylor]: Taking taylor expansion of z in x
7.083 * [backup-simplify]: Simplify z into z
7.083 * [taylor]: Taking taylor expansion of y in x
7.083 * [backup-simplify]: Simplify y into y
7.083 * [backup-simplify]: Simplify (* z y) into (* z y)
7.083 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
7.084 * [backup-simplify]: Simplify (* (sqrt t) (/ 1 (* z y))) into (* (sqrt t) (/ 1 (* z y)))
7.084 * [backup-simplify]: Simplify (* 0.05555555555555555 (* (sqrt t) (/ 1 (* z y)))) into (* 0.05555555555555555 (* (sqrt t) (/ 1 (* z y))))
7.084 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ 1 (* z y)))) in y
7.084 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
7.084 * [backup-simplify]: Simplify 0.05555555555555555 into 0.05555555555555555
7.084 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ 1 (* z y))) in y
7.084 * [taylor]: Taking taylor expansion of (sqrt t) in y
7.084 * [taylor]: Taking taylor expansion of t in y
7.084 * [backup-simplify]: Simplify t into t
7.084 * [backup-simplify]: Simplify (sqrt t) into (sqrt t)
7.084 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt t))) into 0
7.084 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
7.084 * [taylor]: Taking taylor expansion of (* z y) in y
7.084 * [taylor]: Taking taylor expansion of z in y
7.084 * [backup-simplify]: Simplify z into z
7.084 * [taylor]: Taking taylor expansion of y in y
7.084 * [backup-simplify]: Simplify 0 into 0
7.084 * [backup-simplify]: Simplify 1 into 1
7.084 * [backup-simplify]: Simplify (* z 0) into 0
7.085 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
7.085 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.085 * [backup-simplify]: Simplify (* (sqrt t) (/ 1 z)) into (* (sqrt t) (/ 1 z))
7.085 * [backup-simplify]: Simplify (* 0.05555555555555555 (* (sqrt t) (/ 1 z))) into (* 0.05555555555555555 (* (sqrt t) (/ 1 z)))
7.085 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ 1 z))) in z
7.085 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
7.085 * [backup-simplify]: Simplify 0.05555555555555555 into 0.05555555555555555
7.085 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ 1 z)) in z
7.085 * [taylor]: Taking taylor expansion of (sqrt t) in z
7.085 * [taylor]: Taking taylor expansion of t in z
7.085 * [backup-simplify]: Simplify t into t
7.085 * [backup-simplify]: Simplify (sqrt t) into (sqrt t)
7.085 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt t))) into 0
7.085 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.085 * [taylor]: Taking taylor expansion of z in z
7.085 * [backup-simplify]: Simplify 0 into 0
7.085 * [backup-simplify]: Simplify 1 into 1
7.086 * [backup-simplify]: Simplify (/ 1 1) into 1
7.086 * [backup-simplify]: Simplify (* (sqrt t) 1) into (sqrt t)
7.086 * [backup-simplify]: Simplify (* 0.05555555555555555 (sqrt t)) into (* 0.05555555555555555 (sqrt t))
7.086 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (sqrt t)) in t
7.086 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
7.086 * [backup-simplify]: Simplify 0.05555555555555555 into 0.05555555555555555
7.086 * [taylor]: Taking taylor expansion of (sqrt t) in t
7.086 * [taylor]: Taking taylor expansion of t in t
7.086 * [backup-simplify]: Simplify 0 into 0
7.086 * [backup-simplify]: Simplify 1 into 1
7.086 * [backup-simplify]: Simplify (sqrt 0) into 0
7.088 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
7.088 * [backup-simplify]: Simplify (* 0.05555555555555555 0) into 0
7.088 * [backup-simplify]: Simplify 0 into 0
7.088 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
7.089 * [backup-simplify]: Simplify (- (/ 0 (* z y)) (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
7.089 * [backup-simplify]: Simplify (+ (* (sqrt t) 0) (* 0 (/ 1 (* z y)))) into 0
7.090 * [backup-simplify]: Simplify (+ (* 0.05555555555555555 0) (* 0 (* (sqrt t) (/ 1 (* z y))))) into 0
7.090 * [taylor]: Taking taylor expansion of 0 in y
7.090 * [backup-simplify]: Simplify 0 into 0
7.091 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
7.091 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.091 * [backup-simplify]: Simplify (+ (* (sqrt t) 0) (* 0 (/ 1 z))) into 0
7.092 * [backup-simplify]: Simplify (+ (* 0.05555555555555555 0) (* 0 (* (sqrt t) (/ 1 z)))) into 0
7.092 * [taylor]: Taking taylor expansion of 0 in z
7.092 * [backup-simplify]: Simplify 0 into 0
7.093 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.093 * [backup-simplify]: Simplify (+ (* (sqrt t) 0) (* 0 1)) into 0
7.094 * [backup-simplify]: Simplify (+ (* 0.05555555555555555 0) (* 0 (sqrt t))) into 0
7.094 * [taylor]: Taking taylor expansion of 0 in t
7.094 * [backup-simplify]: Simplify 0 into 0
7.094 * [backup-simplify]: Simplify 0 into 0
7.096 * [backup-simplify]: Simplify (+ (* 0.05555555555555555 +nan.0) (* 0 0)) into (- +nan.0)
7.097 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.097 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
7.098 * [backup-simplify]: Simplify (- (/ 0 (* z y)) (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0
7.099 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt t))) into 0
7.100 * [backup-simplify]: Simplify (+ (* (sqrt t) 0) (+ (* 0 0) (* 0 (/ 1 (* z y))))) into 0
7.101 * [backup-simplify]: Simplify (+ (* 0.05555555555555555 0) (+ (* 0 0) (* 0 (* (sqrt t) (/ 1 (* z y)))))) into 0
7.101 * [taylor]: Taking taylor expansion of 0 in y
7.101 * [backup-simplify]: Simplify 0 into 0
7.101 * [taylor]: Taking taylor expansion of 0 in z
7.101 * [backup-simplify]: Simplify 0 into 0
7.102 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
7.103 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.103 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt t))) into 0
7.104 * [backup-simplify]: Simplify (+ (* (sqrt t) 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0
7.105 * [backup-simplify]: Simplify (+ (* 0.05555555555555555 0) (+ (* 0 0) (* 0 (* (sqrt t) (/ 1 z))))) into 0
7.105 * [taylor]: Taking taylor expansion of 0 in z
7.105 * [backup-simplify]: Simplify 0 into 0
7.105 * [taylor]: Taking taylor expansion of 0 in t
7.105 * [backup-simplify]: Simplify 0 into 0
7.105 * [backup-simplify]: Simplify 0 into 0
7.107 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.107 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt t))) into 0
7.108 * [backup-simplify]: Simplify (+ (* (sqrt t) 0) (+ (* 0 0) (* 0 1))) into 0
7.109 * [backup-simplify]: Simplify (+ (* 0.05555555555555555 0) (+ (* 0 0) (* 0 (sqrt t)))) into 0
7.109 * [taylor]: Taking taylor expansion of 0 in t
7.109 * [backup-simplify]: Simplify 0 into 0
7.109 * [backup-simplify]: Simplify 0 into 0
7.109 * [backup-simplify]: Simplify 0 into 0
7.113 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
7.116 * [backup-simplify]: Simplify (+ (* 0.05555555555555555 +nan.0) (+ (* 0 +nan.0) (* 0 0))) into (- +nan.0)
7.116 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.117 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
7.118 * [backup-simplify]: Simplify (- (/ 0 (* z y)) (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0
7.119 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt t))) into 0
7.120 * [backup-simplify]: Simplify (+ (* (sqrt t) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* z y)))))) into 0
7.121 * [backup-simplify]: Simplify (+ (* 0.05555555555555555 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (sqrt t) (/ 1 (* z y))))))) into 0
7.121 * [taylor]: Taking taylor expansion of 0 in y
7.121 * [backup-simplify]: Simplify 0 into 0
7.122 * [taylor]: Taking taylor expansion of 0 in z
7.122 * [backup-simplify]: Simplify 0 into 0
7.122 * [taylor]: Taking taylor expansion of 0 in z
7.122 * [backup-simplify]: Simplify 0 into 0
7.123 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
7.123 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.124 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt t))) into 0
7.125 * [backup-simplify]: Simplify (+ (* (sqrt t) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 z))))) into 0
7.127 * [backup-simplify]: Simplify (+ (* 0.05555555555555555 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (sqrt t) (/ 1 z)))))) into 0
7.127 * [taylor]: Taking taylor expansion of 0 in z
7.127 * [backup-simplify]: Simplify 0 into 0
7.127 * [taylor]: Taking taylor expansion of 0 in t
7.127 * [backup-simplify]: Simplify 0 into 0
7.127 * [backup-simplify]: Simplify 0 into 0
7.127 * [taylor]: Taking taylor expansion of 0 in t
7.127 * [backup-simplify]: Simplify 0 into 0
7.127 * [backup-simplify]: Simplify 0 into 0
7.127 * [taylor]: Taking taylor expansion of 0 in t
7.127 * [backup-simplify]: Simplify 0 into 0
7.127 * [backup-simplify]: Simplify 0 into 0
7.129 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.130 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt t))) into 0
7.131 * [backup-simplify]: Simplify (+ (* (sqrt t) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.133 * [backup-simplify]: Simplify (+ (* 0.05555555555555555 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt t))))) into 0
7.133 * [taylor]: Taking taylor expansion of 0 in t
7.133 * [backup-simplify]: Simplify 0 into 0
7.133 * [backup-simplify]: Simplify 0 into 0
7.133 * [backup-simplify]: Simplify 0 into 0
7.133 * [backup-simplify]: Simplify 0 into 0