59.052 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.064 * * * [progress]: [2/2] Setting up program.
0.070 * [progress]: [Phase 2 of 3] Improving.
0.070 * [simplify]: Simplifying:
  (+ (/ (* x x) (* y y)) (/ (* z z) (* t t)))
0.071 * * [simplify]: Extracting # 0 : cost  0
0.071 * * [simplify]: Extracting # 1 : cost  0
0.071 * * [simplify]: Extracting # 2 : cost  0
0.071 * * [simplify]: Extracting # 3 : cost  0
0.071 * * [simplify]: Extracting # 4 : cost  0
0.071 * * [simplify]: Extracting # 5 : cost  0
0.071 * * [simplify]: iteration  0 :  11  enodes  (cost  15 )
0.074 * * [simplify]: Extracting # 0 : cost  0
0.074 * * [simplify]: Extracting # 1 : cost  0
0.074 * * [simplify]: Extracting # 2 : cost  0
0.074 * * [simplify]: iteration  1 :  24  enodes  (cost  15 )
0.080 * * [simplify]: Extracting # 0 : cost  0
0.080 * * [simplify]: Extracting # 1 : cost  0
0.080 * * [simplify]: Extracting # 2 : cost  0
0.080 * * [simplify]: iteration  2 :  42  enodes  (cost  15 )
0.089 * * [simplify]: Extracting # 0 : cost  0
0.090 * * [simplify]: Extracting # 1 : cost  0
0.090 * * [simplify]: Extracting # 2 : cost  0
0.090 * * [simplify]: iteration  3 :  54  enodes  (cost  15 )
0.102 * * [simplify]: Extracting # 0 : cost  0
0.102 * * [simplify]: iteration done:  54  enodes  (cost  15 )
0.102 * [simplify]: Simplified to:
  (+ (/ (* x x) (* y y)) (/ (* z z) (* t t)))
0.103 * * [progress]: iteration 1 / 4
0.103 * * * [progress]: picking best candidate
0.109 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (/ (* x x) (* y y)) (/ (* z z) (* t t))))>
0.109 * * * [progress]: localizing error
0.156 * * * [progress]: generating rewritten candidates
0.156 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.178 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.203 * * * [progress]: generating series expansions
0.203 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.203 * [backup-simplify]: Simplify (/ (* x x) (* y y)) into (/ (pow x 2) (pow y 2))
0.204 * [approximate]: Taking taylor expansion of (/ (pow x 2) (pow y 2)) in (x y) around 0
0.204 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow y 2)) in y
0.204 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.204 * [taylor]: Taking taylor expansion of x in y
0.204 * [backup-simplify]: Simplify x into x
0.204 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.204 * [taylor]: Taking taylor expansion of y in y
0.204 * [backup-simplify]: Simplify 0 into 0
0.204 * [backup-simplify]: Simplify 1 into 1
0.204 * [backup-simplify]: Simplify (* x x) into (pow x 2)
0.204 * [backup-simplify]: Simplify (* 1 1) into 1
0.205 * [backup-simplify]: Simplify (/ (pow x 2) 1) into (pow x 2)
0.205 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow y 2)) in x
0.205 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.205 * [taylor]: Taking taylor expansion of x in x
0.205 * [backup-simplify]: Simplify 0 into 0
0.205 * [backup-simplify]: Simplify 1 into 1
0.205 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.205 * [taylor]: Taking taylor expansion of y in x
0.205 * [backup-simplify]: Simplify y into y
0.205 * [backup-simplify]: Simplify (* 1 1) into 1
0.205 * [backup-simplify]: Simplify (* y y) into (pow y 2)
0.205 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
0.205 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow y 2)) in x
0.205 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.206 * [taylor]: Taking taylor expansion of x in x
0.206 * [backup-simplify]: Simplify 0 into 0
0.206 * [backup-simplify]: Simplify 1 into 1
0.206 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.206 * [taylor]: Taking taylor expansion of y in x
0.206 * [backup-simplify]: Simplify y into y
0.206 * [backup-simplify]: Simplify (* 1 1) into 1
0.206 * [backup-simplify]: Simplify (* y y) into (pow y 2)
0.206 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
0.206 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.206 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.206 * [taylor]: Taking taylor expansion of y in y
0.206 * [backup-simplify]: Simplify 0 into 0
0.206 * [backup-simplify]: Simplify 1 into 1
0.207 * [backup-simplify]: Simplify (* 1 1) into 1
0.207 * [backup-simplify]: Simplify (/ 1 1) into 1
0.207 * [backup-simplify]: Simplify 1 into 1
0.208 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.208 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
0.208 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
0.208 * [taylor]: Taking taylor expansion of 0 in y
0.208 * [backup-simplify]: Simplify 0 into 0
0.209 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.210 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.210 * [backup-simplify]: Simplify 0 into 0
0.210 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.211 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
0.211 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
0.211 * [taylor]: Taking taylor expansion of 0 in y
0.211 * [backup-simplify]: Simplify 0 into 0
0.212 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.213 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.213 * [backup-simplify]: Simplify 0 into 0
0.214 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.215 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
0.215 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
0.215 * [taylor]: Taking taylor expansion of 0 in y
0.215 * [backup-simplify]: Simplify 0 into 0
0.215 * [backup-simplify]: Simplify 0 into 0
0.216 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.217 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.217 * [backup-simplify]: Simplify 0 into 0
0.218 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.219 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
0.220 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
0.220 * [taylor]: Taking taylor expansion of 0 in y
0.220 * [backup-simplify]: Simplify 0 into 0
0.220 * [backup-simplify]: Simplify 0 into 0
0.220 * [backup-simplify]: Simplify 0 into 0
0.220 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 y) x) 2)) into (/ (pow x 2) (pow y 2))
0.221 * [backup-simplify]: Simplify (/ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y))) into (/ (pow y 2) (pow x 2))
0.221 * [approximate]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in (x y) around 0
0.221 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in y
0.221 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.221 * [taylor]: Taking taylor expansion of y in y
0.221 * [backup-simplify]: Simplify 0 into 0
0.221 * [backup-simplify]: Simplify 1 into 1
0.221 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.221 * [taylor]: Taking taylor expansion of x in y
0.221 * [backup-simplify]: Simplify x into x
0.221 * [backup-simplify]: Simplify (* 1 1) into 1
0.221 * [backup-simplify]: Simplify (* x x) into (pow x 2)
0.222 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
0.222 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in x
0.222 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.222 * [taylor]: Taking taylor expansion of y in x
0.222 * [backup-simplify]: Simplify y into y
0.222 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.222 * [taylor]: Taking taylor expansion of x in x
0.222 * [backup-simplify]: Simplify 0 into 0
0.222 * [backup-simplify]: Simplify 1 into 1
0.222 * [backup-simplify]: Simplify (* y y) into (pow y 2)
0.222 * [backup-simplify]: Simplify (* 1 1) into 1
0.222 * [backup-simplify]: Simplify (/ (pow y 2) 1) into (pow y 2)
0.222 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in x
0.222 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.222 * [taylor]: Taking taylor expansion of y in x
0.222 * [backup-simplify]: Simplify y into y
0.222 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.223 * [taylor]: Taking taylor expansion of x in x
0.223 * [backup-simplify]: Simplify 0 into 0
0.223 * [backup-simplify]: Simplify 1 into 1
0.223 * [backup-simplify]: Simplify (* y y) into (pow y 2)
0.223 * [backup-simplify]: Simplify (* 1 1) into 1
0.223 * [backup-simplify]: Simplify (/ (pow y 2) 1) into (pow y 2)
0.223 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.223 * [taylor]: Taking taylor expansion of y in y
0.223 * [backup-simplify]: Simplify 0 into 0
0.223 * [backup-simplify]: Simplify 1 into 1
0.224 * [backup-simplify]: Simplify (* 1 1) into 1
0.224 * [backup-simplify]: Simplify 1 into 1
0.224 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
0.224 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.225 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow y 2) (/ 0 1)))) into 0
0.225 * [taylor]: Taking taylor expansion of 0 in y
0.225 * [backup-simplify]: Simplify 0 into 0
0.225 * [backup-simplify]: Simplify 0 into 0
0.226 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.226 * [backup-simplify]: Simplify 0 into 0
0.227 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
0.227 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.229 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow y 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.229 * [taylor]: Taking taylor expansion of 0 in y
0.229 * [backup-simplify]: Simplify 0 into 0
0.229 * [backup-simplify]: Simplify 0 into 0
0.229 * [backup-simplify]: Simplify 0 into 0
0.230 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.230 * [backup-simplify]: Simplify 0 into 0
0.230 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
0.231 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.233 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow y 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.233 * [taylor]: Taking taylor expansion of 0 in y
0.233 * [backup-simplify]: Simplify 0 into 0
0.233 * [backup-simplify]: Simplify 0 into 0
0.233 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 y) (/ 1 (/ 1 x))) 2)) into (/ (pow x 2) (pow y 2))
0.234 * [backup-simplify]: Simplify (/ (* (/ 1 (- x)) (/ 1 (- x))) (* (/ 1 (- y)) (/ 1 (- y)))) into (/ (pow y 2) (pow x 2))
0.234 * [approximate]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in (x y) around 0
0.234 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in y
0.234 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.234 * [taylor]: Taking taylor expansion of y in y
0.234 * [backup-simplify]: Simplify 0 into 0
0.234 * [backup-simplify]: Simplify 1 into 1
0.234 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.234 * [taylor]: Taking taylor expansion of x in y
0.234 * [backup-simplify]: Simplify x into x
0.234 * [backup-simplify]: Simplify (* 1 1) into 1
0.234 * [backup-simplify]: Simplify (* x x) into (pow x 2)
0.234 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
0.234 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in x
0.234 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.235 * [taylor]: Taking taylor expansion of y in x
0.235 * [backup-simplify]: Simplify y into y
0.235 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.235 * [taylor]: Taking taylor expansion of x in x
0.235 * [backup-simplify]: Simplify 0 into 0
0.235 * [backup-simplify]: Simplify 1 into 1
0.235 * [backup-simplify]: Simplify (* y y) into (pow y 2)
0.235 * [backup-simplify]: Simplify (* 1 1) into 1
0.235 * [backup-simplify]: Simplify (/ (pow y 2) 1) into (pow y 2)
0.235 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in x
0.235 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.235 * [taylor]: Taking taylor expansion of y in x
0.235 * [backup-simplify]: Simplify y into y
0.235 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.235 * [taylor]: Taking taylor expansion of x in x
0.235 * [backup-simplify]: Simplify 0 into 0
0.235 * [backup-simplify]: Simplify 1 into 1
0.235 * [backup-simplify]: Simplify (* y y) into (pow y 2)
0.236 * [backup-simplify]: Simplify (* 1 1) into 1
0.236 * [backup-simplify]: Simplify (/ (pow y 2) 1) into (pow y 2)
0.236 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.236 * [taylor]: Taking taylor expansion of y in y
0.236 * [backup-simplify]: Simplify 0 into 0
0.236 * [backup-simplify]: Simplify 1 into 1
0.237 * [backup-simplify]: Simplify (* 1 1) into 1
0.237 * [backup-simplify]: Simplify 1 into 1
0.237 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
0.237 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.238 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow y 2) (/ 0 1)))) into 0
0.238 * [taylor]: Taking taylor expansion of 0 in y
0.238 * [backup-simplify]: Simplify 0 into 0
0.238 * [backup-simplify]: Simplify 0 into 0
0.239 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.239 * [backup-simplify]: Simplify 0 into 0
0.239 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
0.240 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.241 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow y 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.241 * [taylor]: Taking taylor expansion of 0 in y
0.241 * [backup-simplify]: Simplify 0 into 0
0.241 * [backup-simplify]: Simplify 0 into 0
0.241 * [backup-simplify]: Simplify 0 into 0
0.242 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.242 * [backup-simplify]: Simplify 0 into 0
0.243 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
0.244 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.253 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow y 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.253 * [taylor]: Taking taylor expansion of 0 in y
0.253 * [backup-simplify]: Simplify 0 into 0
0.253 * [backup-simplify]: Simplify 0 into 0
0.253 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (- y)) (/ 1 (/ 1 (- x)))) 2)) into (/ (pow x 2) (pow y 2))
0.253 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.254 * [backup-simplify]: Simplify (/ (* z z) (* t t)) into (/ (pow z 2) (pow t 2))
0.254 * [approximate]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in (z t) around 0
0.254 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in t
0.254 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.254 * [taylor]: Taking taylor expansion of z in t
0.254 * [backup-simplify]: Simplify z into z
0.254 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.254 * [taylor]: Taking taylor expansion of t in t
0.254 * [backup-simplify]: Simplify 0 into 0
0.254 * [backup-simplify]: Simplify 1 into 1
0.254 * [backup-simplify]: Simplify (* z z) into (pow z 2)
0.254 * [backup-simplify]: Simplify (* 1 1) into 1
0.254 * [backup-simplify]: Simplify (/ (pow z 2) 1) into (pow z 2)
0.254 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z
0.255 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.255 * [taylor]: Taking taylor expansion of z in z
0.255 * [backup-simplify]: Simplify 0 into 0
0.255 * [backup-simplify]: Simplify 1 into 1
0.255 * [taylor]: Taking taylor expansion of (pow t 2) in z
0.255 * [taylor]: Taking taylor expansion of t in z
0.255 * [backup-simplify]: Simplify t into t
0.255 * [backup-simplify]: Simplify (* 1 1) into 1
0.255 * [backup-simplify]: Simplify (* t t) into (pow t 2)
0.255 * [backup-simplify]: Simplify (/ 1 (pow t 2)) into (/ 1 (pow t 2))
0.255 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z
0.255 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.255 * [taylor]: Taking taylor expansion of z in z
0.255 * [backup-simplify]: Simplify 0 into 0
0.255 * [backup-simplify]: Simplify 1 into 1
0.255 * [taylor]: Taking taylor expansion of (pow t 2) in z
0.255 * [taylor]: Taking taylor expansion of t in z
0.255 * [backup-simplify]: Simplify t into t
0.256 * [backup-simplify]: Simplify (* 1 1) into 1
0.256 * [backup-simplify]: Simplify (* t t) into (pow t 2)
0.256 * [backup-simplify]: Simplify (/ 1 (pow t 2)) into (/ 1 (pow t 2))
0.256 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
0.256 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.256 * [taylor]: Taking taylor expansion of t in t
0.256 * [backup-simplify]: Simplify 0 into 0
0.256 * [backup-simplify]: Simplify 1 into 1
0.257 * [backup-simplify]: Simplify (* 1 1) into 1
0.257 * [backup-simplify]: Simplify (/ 1 1) into 1
0.257 * [backup-simplify]: Simplify 1 into 1
0.257 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.258 * [backup-simplify]: Simplify (+ (* t 0) (* 0 t)) into 0
0.258 * [backup-simplify]: Simplify (- (/ 0 (pow t 2)) (+ (* (/ 1 (pow t 2)) (/ 0 (pow t 2))))) into 0
0.258 * [taylor]: Taking taylor expansion of 0 in t
0.258 * [backup-simplify]: Simplify 0 into 0
0.259 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.259 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.259 * [backup-simplify]: Simplify 0 into 0
0.260 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.260 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 t))) into 0
0.261 * [backup-simplify]: Simplify (- (/ 0 (pow t 2)) (+ (* (/ 1 (pow t 2)) (/ 0 (pow t 2))) (* 0 (/ 0 (pow t 2))))) into 0
0.261 * [taylor]: Taking taylor expansion of 0 in t
0.261 * [backup-simplify]: Simplify 0 into 0
0.262 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.262 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.263 * [backup-simplify]: Simplify 0 into 0
0.263 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.264 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 0) (* 0 t)))) into 0
0.265 * [backup-simplify]: Simplify (- (/ 0 (pow t 2)) (+ (* (/ 1 (pow t 2)) (/ 0 (pow t 2))) (* 0 (/ 0 (pow t 2))) (* 0 (/ 0 (pow t 2))))) into 0
0.265 * [taylor]: Taking taylor expansion of 0 in t
0.265 * [backup-simplify]: Simplify 0 into 0
0.265 * [backup-simplify]: Simplify 0 into 0
0.266 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.266 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.267 * [backup-simplify]: Simplify 0 into 0
0.268 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.269 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 t))))) into 0
0.269 * [backup-simplify]: Simplify (- (/ 0 (pow t 2)) (+ (* (/ 1 (pow t 2)) (/ 0 (pow t 2))) (* 0 (/ 0 (pow t 2))) (* 0 (/ 0 (pow t 2))) (* 0 (/ 0 (pow t 2))))) into 0
0.269 * [taylor]: Taking taylor expansion of 0 in t
0.269 * [backup-simplify]: Simplify 0 into 0
0.269 * [backup-simplify]: Simplify 0 into 0
0.269 * [backup-simplify]: Simplify 0 into 0
0.270 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 t) z) 2)) into (/ (pow z 2) (pow t 2))
0.270 * [backup-simplify]: Simplify (/ (* (/ 1 z) (/ 1 z)) (* (/ 1 t) (/ 1 t))) into (/ (pow t 2) (pow z 2))
0.270 * [approximate]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in (z t) around 0
0.270 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in t
0.270 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.270 * [taylor]: Taking taylor expansion of t in t
0.270 * [backup-simplify]: Simplify 0 into 0
0.270 * [backup-simplify]: Simplify 1 into 1
0.270 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.270 * [taylor]: Taking taylor expansion of z in t
0.270 * [backup-simplify]: Simplify z into z
0.271 * [backup-simplify]: Simplify (* 1 1) into 1
0.271 * [backup-simplify]: Simplify (* z z) into (pow z 2)
0.271 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
0.271 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z
0.271 * [taylor]: Taking taylor expansion of (pow t 2) in z
0.271 * [taylor]: Taking taylor expansion of t in z
0.271 * [backup-simplify]: Simplify t into t
0.271 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.271 * [taylor]: Taking taylor expansion of z in z
0.271 * [backup-simplify]: Simplify 0 into 0
0.271 * [backup-simplify]: Simplify 1 into 1
0.271 * [backup-simplify]: Simplify (* t t) into (pow t 2)
0.271 * [backup-simplify]: Simplify (* 1 1) into 1
0.272 * [backup-simplify]: Simplify (/ (pow t 2) 1) into (pow t 2)
0.272 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z
0.272 * [taylor]: Taking taylor expansion of (pow t 2) in z
0.272 * [taylor]: Taking taylor expansion of t in z
0.272 * [backup-simplify]: Simplify t into t
0.272 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.272 * [taylor]: Taking taylor expansion of z in z
0.272 * [backup-simplify]: Simplify 0 into 0
0.272 * [backup-simplify]: Simplify 1 into 1
0.272 * [backup-simplify]: Simplify (* t t) into (pow t 2)
0.272 * [backup-simplify]: Simplify (* 1 1) into 1
0.272 * [backup-simplify]: Simplify (/ (pow t 2) 1) into (pow t 2)
0.272 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.272 * [taylor]: Taking taylor expansion of t in t
0.272 * [backup-simplify]: Simplify 0 into 0
0.272 * [backup-simplify]: Simplify 1 into 1
0.273 * [backup-simplify]: Simplify (* 1 1) into 1
0.273 * [backup-simplify]: Simplify 1 into 1
0.273 * [backup-simplify]: Simplify (+ (* t 0) (* 0 t)) into 0
0.274 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.274 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow t 2) (/ 0 1)))) into 0
0.274 * [taylor]: Taking taylor expansion of 0 in t
0.275 * [backup-simplify]: Simplify 0 into 0
0.275 * [backup-simplify]: Simplify 0 into 0
0.275 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.275 * [backup-simplify]: Simplify 0 into 0
0.276 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 t))) into 0
0.277 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.278 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow t 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.278 * [taylor]: Taking taylor expansion of 0 in t
0.278 * [backup-simplify]: Simplify 0 into 0
0.278 * [backup-simplify]: Simplify 0 into 0
0.278 * [backup-simplify]: Simplify 0 into 0
0.279 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.279 * [backup-simplify]: Simplify 0 into 0
0.280 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 0) (* 0 t)))) into 0
0.281 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.283 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow t 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.283 * [taylor]: Taking taylor expansion of 0 in t
0.283 * [backup-simplify]: Simplify 0 into 0
0.283 * [backup-simplify]: Simplify 0 into 0
0.283 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 t) (/ 1 (/ 1 z))) 2)) into (/ (pow z 2) (pow t 2))
0.283 * [backup-simplify]: Simplify (/ (* (/ 1 (- z)) (/ 1 (- z))) (* (/ 1 (- t)) (/ 1 (- t)))) into (/ (pow t 2) (pow z 2))
0.283 * [approximate]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in (z t) around 0
0.283 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in t
0.283 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.283 * [taylor]: Taking taylor expansion of t in t
0.283 * [backup-simplify]: Simplify 0 into 0
0.283 * [backup-simplify]: Simplify 1 into 1
0.283 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.284 * [taylor]: Taking taylor expansion of z in t
0.284 * [backup-simplify]: Simplify z into z
0.284 * [backup-simplify]: Simplify (* 1 1) into 1
0.284 * [backup-simplify]: Simplify (* z z) into (pow z 2)
0.284 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
0.284 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z
0.284 * [taylor]: Taking taylor expansion of (pow t 2) in z
0.284 * [taylor]: Taking taylor expansion of t in z
0.284 * [backup-simplify]: Simplify t into t
0.284 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.284 * [taylor]: Taking taylor expansion of z in z
0.284 * [backup-simplify]: Simplify 0 into 0
0.284 * [backup-simplify]: Simplify 1 into 1
0.284 * [backup-simplify]: Simplify (* t t) into (pow t 2)
0.285 * [backup-simplify]: Simplify (* 1 1) into 1
0.285 * [backup-simplify]: Simplify (/ (pow t 2) 1) into (pow t 2)
0.285 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z
0.285 * [taylor]: Taking taylor expansion of (pow t 2) in z
0.285 * [taylor]: Taking taylor expansion of t in z
0.285 * [backup-simplify]: Simplify t into t
0.285 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.285 * [taylor]: Taking taylor expansion of z in z
0.285 * [backup-simplify]: Simplify 0 into 0
0.285 * [backup-simplify]: Simplify 1 into 1
0.285 * [backup-simplify]: Simplify (* t t) into (pow t 2)
0.285 * [backup-simplify]: Simplify (* 1 1) into 1
0.286 * [backup-simplify]: Simplify (/ (pow t 2) 1) into (pow t 2)
0.286 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.286 * [taylor]: Taking taylor expansion of t in t
0.286 * [backup-simplify]: Simplify 0 into 0
0.286 * [backup-simplify]: Simplify 1 into 1
0.286 * [backup-simplify]: Simplify (* 1 1) into 1
0.286 * [backup-simplify]: Simplify 1 into 1
0.286 * [backup-simplify]: Simplify (+ (* t 0) (* 0 t)) into 0
0.287 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.288 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow t 2) (/ 0 1)))) into 0
0.288 * [taylor]: Taking taylor expansion of 0 in t
0.288 * [backup-simplify]: Simplify 0 into 0
0.288 * [backup-simplify]: Simplify 0 into 0
0.288 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.288 * [backup-simplify]: Simplify 0 into 0
0.289 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 t))) into 0
0.290 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.291 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow t 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.291 * [taylor]: Taking taylor expansion of 0 in t
0.291 * [backup-simplify]: Simplify 0 into 0
0.291 * [backup-simplify]: Simplify 0 into 0
0.291 * [backup-simplify]: Simplify 0 into 0
0.292 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.292 * [backup-simplify]: Simplify 0 into 0
0.293 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 0) (* 0 t)))) into 0
0.293 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.295 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow t 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.295 * [taylor]: Taking taylor expansion of 0 in t
0.295 * [backup-simplify]: Simplify 0 into 0
0.295 * [backup-simplify]: Simplify 0 into 0
0.296 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (- t)) (/ 1 (/ 1 (- z)))) 2)) into (/ (pow z 2) (pow t 2))
0.296 * * * [progress]: simplifying candidates
0.297 * [simplify]: Simplifying:
  (- (+ (log x) (log x)) (+ (log y) (log y)))
  (- (+ (log x) (log x)) (log (* y y)))
  (- (log (* x x)) (+ (log y) (log y)))
  (- (log (* x x)) (log (* y y)))
  (log (/ (* x x) (* y y)))
  (exp (/ (* x x) (* y y)))
  (/ (* (* (* x x) x) (* (* x x) x)) (* (* (* y y) y) (* (* y y) y)))
  (/ (* (* (* x x) x) (* (* x x) x)) (* (* (* y y) (* y y)) (* y y)))
  (/ (* (* (* x x) (* x x)) (* x x)) (* (* (* y y) y) (* (* y y) y)))
  (/ (* (* (* x x) (* x x)) (* x x)) (* (* (* y y) (* y y)) (* y y)))
  (* (cbrt (/ (* x x) (* y y))) (cbrt (/ (* x x) (* y y))))
  (cbrt (/ (* x x) (* y y)))
  (* (* (/ (* x x) (* y y)) (/ (* x x) (* y y))) (/ (* x x) (* y y)))
  (sqrt (/ (* x x) (* y y)))
  (sqrt (/ (* x x) (* y y)))
  (- (* x x))
  (- (* y y))
  (/ x y)
  (/ x y)
  (/ 1 (* y y))
  (/ (* y y) (* x x))
  (/ (* x x) y)
  (/ (* y y) x)
  (- (+ (log z) (log z)) (+ (log t) (log t)))
  (- (+ (log z) (log z)) (log (* t t)))
  (- (log (* z z)) (+ (log t) (log t)))
  (- (log (* z z)) (log (* t t)))
  (log (/ (* z z) (* t t)))
  (exp (/ (* z z) (* t t)))
  (/ (* (* (* z z) z) (* (* z z) z)) (* (* (* t t) t) (* (* t t) t)))
  (/ (* (* (* z z) z) (* (* z z) z)) (* (* (* t t) (* t t)) (* t t)))
  (/ (* (* (* z z) (* z z)) (* z z)) (* (* (* t t) t) (* (* t t) t)))
  (/ (* (* (* z z) (* z z)) (* z z)) (* (* (* t t) (* t t)) (* t t)))
  (* (cbrt (/ (* z z) (* t t))) (cbrt (/ (* z z) (* t t))))
  (cbrt (/ (* z z) (* t t)))
  (* (* (/ (* z z) (* t t)) (/ (* z z) (* t t))) (/ (* z z) (* t t)))
  (sqrt (/ (* z z) (* t t)))
  (sqrt (/ (* z z) (* t t)))
  (- (* z z))
  (- (* t t))
  (/ z t)
  (/ z t)
  (/ 1 (* t t))
  (/ (* t t) (* z z))
  (/ (* z z) t)
  (/ (* t t) z)
  (/ (pow x 2) (pow y 2))
  (/ (pow x 2) (pow y 2))
  (/ (pow x 2) (pow y 2))
  (/ (pow z 2) (pow t 2))
  (/ (pow z 2) (pow t 2))
  (/ (pow z 2) (pow t 2))
0.298 * * [simplify]: Extracting # 0 : cost  0
0.298 * * [simplify]: Extracting # 1 : cost  0
0.299 * * [simplify]: Extracting # 2 : cost  0
0.299 * * [simplify]: Extracting # 3 : cost  0
0.299 * * [simplify]: Extracting # 4 : cost  0
0.299 * * [simplify]: Extracting # 5 : cost  0
0.300 * * [simplify]: iteration  0 :  90  enodes  (cost  538 )
0.333 * * [simplify]: Extracting # 0 : cost  0
0.334 * * [simplify]: Extracting # 1 : cost  0
0.335 * * [simplify]: Extracting # 2 : cost  0
0.335 * * [simplify]: iteration  1 :  319  enodes  (cost  522 )
0.804 * * [simplify]: Extracting # 0 : cost  0
0.814 * * [simplify]: Extracting # 1 : cost  0
0.829 * * [simplify]: Extracting # 2 : cost  0
0.839 * * [simplify]: Extracting # 3 : cost  0
0.849 * * [simplify]: Extracting # 4 : cost  0
0.861 * * [simplify]: Extracting # 5 : cost  0
0.871 * * [simplify]: iteration  2 :  3459  enodes  (cost  356 )
2.492 * * [simplify]: Extracting # 0 : cost  0
2.500 * * [simplify]: Extracting # 1 : cost  0
2.511 * * [simplify]: Extracting # 2 : cost  0
2.520 * * [simplify]: Extracting # 3 : cost  0
2.530 * * [simplify]: iteration done:  5002  enodes  (cost  356 )
2.530 * [simplify]: Simplified to:
  (* 2 (- (log x) (log y)))
  (* 2 (- (log x) (log y)))
  (* 2 (- (log x) (log y)))
  (* 2 (- (log x) (log y)))
  (* 2 (- (log x) (log y)))
  (exp (/ (* x x) (* y y)))
  (pow (/ (* x x) (* y y)) 3)
  (pow (/ (* x x) (* y y)) 3)
  (pow (/ (* x x) (* y y)) 3)
  (pow (/ (* x x) (* y y)) 3)
  (* (cbrt (/ (* x x) (* y y))) (cbrt (/ (* x x) (* y y))))
  (cbrt (/ (* x x) (* y y)))
  (pow (/ (* x x) (* y y)) 3)
  (fabs (/ x y))
  (fabs (/ x y))
  (- (* x x))
  (- (* y y))
  (/ x y)
  (/ x y)
  (/ 1 (* y y))
  (/ (* y y) (* x x))
  (/ (* x x) y)
  (/ (* y y) x)
  (* 2 (- (log z) (log t)))
  (* 2 (- (log z) (log t)))
  (* 2 (- (log z) (log t)))
  (* 2 (- (log z) (log t)))
  (* 2 (- (log z) (log t)))
  (exp (/ (* z z) (* t t)))
  (pow (/ (* z z) (* t t)) 3)
  (pow (/ (* z z) (* t t)) 3)
  (pow (/ (* z z) (* t t)) 3)
  (pow (/ (* z z) (* t t)) 3)
  (* (cbrt (/ (* z z) (* t t))) (cbrt (/ (* z z) (* t t))))
  (cbrt (/ (* z z) (* t t)))
  (pow (/ (* z z) (* t t)) 3)
  (fabs (/ z t))
  (fabs (/ z t))
  (- (* z z))
  (- (* t t))
  (/ z t)
  (/ z t)
  (/ 1 (* t t))
  (/ (* t t) (* z z))
  (/ (* z z) t)
  (/ (* t t) z)
  (/ (* x x) (* y y))
  (/ (* x x) (* y y))
  (/ (* x x) (* y y))
  (/ (* z z) (* t t))
  (/ (* z z) (* t t))
  (/ (* z z) (* t t))
2.530 * * * [progress]: adding candidates to table
2.720 * * [progress]: iteration 2 / 4
2.720 * * * [progress]: picking best candidate
2.760 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (/ (* z z) (* t t))))>
2.760 * * * [progress]: localizing error
2.784 * * * [progress]: generating rewritten candidates
2.784 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
2.805 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
2.817 * * * [progress]: generating series expansions
2.817 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
2.818 * [backup-simplify]: Simplify (/ (* z z) (* t t)) into (/ (pow z 2) (pow t 2))
2.818 * [approximate]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in (z t) around 0
2.818 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in t
2.818 * [taylor]: Taking taylor expansion of (pow z 2) in t
2.818 * [taylor]: Taking taylor expansion of z in t
2.818 * [backup-simplify]: Simplify z into z
2.818 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.818 * [taylor]: Taking taylor expansion of t in t
2.818 * [backup-simplify]: Simplify 0 into 0
2.818 * [backup-simplify]: Simplify 1 into 1
2.818 * [backup-simplify]: Simplify (* z z) into (pow z 2)
2.819 * [backup-simplify]: Simplify (* 1 1) into 1
2.819 * [backup-simplify]: Simplify (/ (pow z 2) 1) into (pow z 2)
2.819 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z
2.819 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.819 * [taylor]: Taking taylor expansion of z in z
2.819 * [backup-simplify]: Simplify 0 into 0
2.819 * [backup-simplify]: Simplify 1 into 1
2.819 * [taylor]: Taking taylor expansion of (pow t 2) in z
2.819 * [taylor]: Taking taylor expansion of t in z
2.819 * [backup-simplify]: Simplify t into t
2.820 * [backup-simplify]: Simplify (* 1 1) into 1
2.820 * [backup-simplify]: Simplify (* t t) into (pow t 2)
2.820 * [backup-simplify]: Simplify (/ 1 (pow t 2)) into (/ 1 (pow t 2))
2.820 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z
2.820 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.820 * [taylor]: Taking taylor expansion of z in z
2.820 * [backup-simplify]: Simplify 0 into 0
2.820 * [backup-simplify]: Simplify 1 into 1
2.820 * [taylor]: Taking taylor expansion of (pow t 2) in z
2.820 * [taylor]: Taking taylor expansion of t in z
2.820 * [backup-simplify]: Simplify t into t
2.820 * [backup-simplify]: Simplify (* 1 1) into 1
2.820 * [backup-simplify]: Simplify (* t t) into (pow t 2)
2.820 * [backup-simplify]: Simplify (/ 1 (pow t 2)) into (/ 1 (pow t 2))
2.821 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
2.821 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.821 * [taylor]: Taking taylor expansion of t in t
2.821 * [backup-simplify]: Simplify 0 into 0
2.821 * [backup-simplify]: Simplify 1 into 1
2.821 * [backup-simplify]: Simplify (* 1 1) into 1
2.821 * [backup-simplify]: Simplify (/ 1 1) into 1
2.821 * [backup-simplify]: Simplify 1 into 1
2.822 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.822 * [backup-simplify]: Simplify (+ (* t 0) (* 0 t)) into 0
2.822 * [backup-simplify]: Simplify (- (/ 0 (pow t 2)) (+ (* (/ 1 (pow t 2)) (/ 0 (pow t 2))))) into 0
2.822 * [taylor]: Taking taylor expansion of 0 in t
2.822 * [backup-simplify]: Simplify 0 into 0
2.823 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.823 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.824 * [backup-simplify]: Simplify 0 into 0
2.824 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.825 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 t))) into 0
2.825 * [backup-simplify]: Simplify (- (/ 0 (pow t 2)) (+ (* (/ 1 (pow t 2)) (/ 0 (pow t 2))) (* 0 (/ 0 (pow t 2))))) into 0
2.825 * [taylor]: Taking taylor expansion of 0 in t
2.825 * [backup-simplify]: Simplify 0 into 0
2.826 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.827 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.827 * [backup-simplify]: Simplify 0 into 0
2.828 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.828 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 0) (* 0 t)))) into 0
2.829 * [backup-simplify]: Simplify (- (/ 0 (pow t 2)) (+ (* (/ 1 (pow t 2)) (/ 0 (pow t 2))) (* 0 (/ 0 (pow t 2))) (* 0 (/ 0 (pow t 2))))) into 0
2.829 * [taylor]: Taking taylor expansion of 0 in t
2.829 * [backup-simplify]: Simplify 0 into 0
2.829 * [backup-simplify]: Simplify 0 into 0
2.830 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.831 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.831 * [backup-simplify]: Simplify 0 into 0
2.832 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.833 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 t))))) into 0
2.833 * [backup-simplify]: Simplify (- (/ 0 (pow t 2)) (+ (* (/ 1 (pow t 2)) (/ 0 (pow t 2))) (* 0 (/ 0 (pow t 2))) (* 0 (/ 0 (pow t 2))) (* 0 (/ 0 (pow t 2))))) into 0
2.833 * [taylor]: Taking taylor expansion of 0 in t
2.833 * [backup-simplify]: Simplify 0 into 0
2.833 * [backup-simplify]: Simplify 0 into 0
2.833 * [backup-simplify]: Simplify 0 into 0
2.834 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 t) z) 2)) into (/ (pow z 2) (pow t 2))
2.834 * [backup-simplify]: Simplify (/ (* (/ 1 z) (/ 1 z)) (* (/ 1 t) (/ 1 t))) into (/ (pow t 2) (pow z 2))
2.834 * [approximate]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in (z t) around 0
2.834 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in t
2.834 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.834 * [taylor]: Taking taylor expansion of t in t
2.834 * [backup-simplify]: Simplify 0 into 0
2.834 * [backup-simplify]: Simplify 1 into 1
2.834 * [taylor]: Taking taylor expansion of (pow z 2) in t
2.834 * [taylor]: Taking taylor expansion of z in t
2.834 * [backup-simplify]: Simplify z into z
2.834 * [backup-simplify]: Simplify (* 1 1) into 1
2.835 * [backup-simplify]: Simplify (* z z) into (pow z 2)
2.835 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
2.835 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z
2.835 * [taylor]: Taking taylor expansion of (pow t 2) in z
2.835 * [taylor]: Taking taylor expansion of t in z
2.835 * [backup-simplify]: Simplify t into t
2.835 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.835 * [taylor]: Taking taylor expansion of z in z
2.835 * [backup-simplify]: Simplify 0 into 0
2.835 * [backup-simplify]: Simplify 1 into 1
2.835 * [backup-simplify]: Simplify (* t t) into (pow t 2)
2.835 * [backup-simplify]: Simplify (* 1 1) into 1
2.835 * [backup-simplify]: Simplify (/ (pow t 2) 1) into (pow t 2)
2.835 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z
2.835 * [taylor]: Taking taylor expansion of (pow t 2) in z
2.836 * [taylor]: Taking taylor expansion of t in z
2.836 * [backup-simplify]: Simplify t into t
2.836 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.836 * [taylor]: Taking taylor expansion of z in z
2.836 * [backup-simplify]: Simplify 0 into 0
2.836 * [backup-simplify]: Simplify 1 into 1
2.836 * [backup-simplify]: Simplify (* t t) into (pow t 2)
2.836 * [backup-simplify]: Simplify (* 1 1) into 1
2.836 * [backup-simplify]: Simplify (/ (pow t 2) 1) into (pow t 2)
2.836 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.836 * [taylor]: Taking taylor expansion of t in t
2.836 * [backup-simplify]: Simplify 0 into 0
2.836 * [backup-simplify]: Simplify 1 into 1
2.837 * [backup-simplify]: Simplify (* 1 1) into 1
2.837 * [backup-simplify]: Simplify 1 into 1
2.837 * [backup-simplify]: Simplify (+ (* t 0) (* 0 t)) into 0
2.837 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.838 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow t 2) (/ 0 1)))) into 0
2.838 * [taylor]: Taking taylor expansion of 0 in t
2.838 * [backup-simplify]: Simplify 0 into 0
2.838 * [backup-simplify]: Simplify 0 into 0
2.839 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.839 * [backup-simplify]: Simplify 0 into 0
2.839 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 t))) into 0
2.840 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.841 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow t 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.841 * [taylor]: Taking taylor expansion of 0 in t
2.841 * [backup-simplify]: Simplify 0 into 0
2.841 * [backup-simplify]: Simplify 0 into 0
2.841 * [backup-simplify]: Simplify 0 into 0
2.842 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.842 * [backup-simplify]: Simplify 0 into 0
2.843 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 0) (* 0 t)))) into 0
2.844 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.845 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow t 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.845 * [taylor]: Taking taylor expansion of 0 in t
2.845 * [backup-simplify]: Simplify 0 into 0
2.845 * [backup-simplify]: Simplify 0 into 0
2.846 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 t) (/ 1 (/ 1 z))) 2)) into (/ (pow z 2) (pow t 2))
2.846 * [backup-simplify]: Simplify (/ (* (/ 1 (- z)) (/ 1 (- z))) (* (/ 1 (- t)) (/ 1 (- t)))) into (/ (pow t 2) (pow z 2))
2.846 * [approximate]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in (z t) around 0
2.846 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in t
2.846 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.846 * [taylor]: Taking taylor expansion of t in t
2.846 * [backup-simplify]: Simplify 0 into 0
2.846 * [backup-simplify]: Simplify 1 into 1
2.846 * [taylor]: Taking taylor expansion of (pow z 2) in t
2.846 * [taylor]: Taking taylor expansion of z in t
2.846 * [backup-simplify]: Simplify z into z
2.846 * [backup-simplify]: Simplify (* 1 1) into 1
2.846 * [backup-simplify]: Simplify (* z z) into (pow z 2)
2.847 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
2.847 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z
2.847 * [taylor]: Taking taylor expansion of (pow t 2) in z
2.847 * [taylor]: Taking taylor expansion of t in z
2.847 * [backup-simplify]: Simplify t into t
2.847 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.847 * [taylor]: Taking taylor expansion of z in z
2.847 * [backup-simplify]: Simplify 0 into 0
2.847 * [backup-simplify]: Simplify 1 into 1
2.847 * [backup-simplify]: Simplify (* t t) into (pow t 2)
2.847 * [backup-simplify]: Simplify (* 1 1) into 1
2.847 * [backup-simplify]: Simplify (/ (pow t 2) 1) into (pow t 2)
2.847 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z
2.847 * [taylor]: Taking taylor expansion of (pow t 2) in z
2.847 * [taylor]: Taking taylor expansion of t in z
2.847 * [backup-simplify]: Simplify t into t
2.847 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.848 * [taylor]: Taking taylor expansion of z in z
2.848 * [backup-simplify]: Simplify 0 into 0
2.848 * [backup-simplify]: Simplify 1 into 1
2.848 * [backup-simplify]: Simplify (* t t) into (pow t 2)
2.848 * [backup-simplify]: Simplify (* 1 1) into 1
2.848 * [backup-simplify]: Simplify (/ (pow t 2) 1) into (pow t 2)
2.848 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.848 * [taylor]: Taking taylor expansion of t in t
2.848 * [backup-simplify]: Simplify 0 into 0
2.848 * [backup-simplify]: Simplify 1 into 1
2.849 * [backup-simplify]: Simplify (* 1 1) into 1
2.849 * [backup-simplify]: Simplify 1 into 1
2.849 * [backup-simplify]: Simplify (+ (* t 0) (* 0 t)) into 0
2.849 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.850 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow t 2) (/ 0 1)))) into 0
2.850 * [taylor]: Taking taylor expansion of 0 in t
2.850 * [backup-simplify]: Simplify 0 into 0
2.850 * [backup-simplify]: Simplify 0 into 0
2.851 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.851 * [backup-simplify]: Simplify 0 into 0
2.851 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 t))) into 0
2.852 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.853 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow t 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.853 * [taylor]: Taking taylor expansion of 0 in t
2.853 * [backup-simplify]: Simplify 0 into 0
2.853 * [backup-simplify]: Simplify 0 into 0
2.853 * [backup-simplify]: Simplify 0 into 0
2.854 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.854 * [backup-simplify]: Simplify 0 into 0
2.855 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 0) (* 0 t)))) into 0
2.855 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.857 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow t 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.857 * [taylor]: Taking taylor expansion of 0 in t
2.857 * [backup-simplify]: Simplify 0 into 0
2.857 * [backup-simplify]: Simplify 0 into 0
2.858 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (- t)) (/ 1 (/ 1 (- z)))) 2)) into (/ (pow z 2) (pow t 2))
2.858 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
2.858 * [backup-simplify]: Simplify (* (fabs (/ x y)) (fabs (/ x y))) into (pow (fabs (/ x y)) 2)
2.858 * [approximate]: Taking taylor expansion of (pow (fabs (/ x y)) 2) in (x y) around 0
2.858 * [taylor]: Taking taylor expansion of (pow (fabs (/ x y)) 2) in y
2.858 * [taylor]: Taking taylor expansion of (fabs (/ x y)) in y
2.858 * [backup-simplify]: Simplify (fabs (/ x y)) into (fabs (/ x y))
2.858 * [taylor]: Taking taylor expansion of (pow (fabs (/ x y)) 2) in x
2.858 * [taylor]: Taking taylor expansion of (fabs (/ x y)) in x
2.858 * [backup-simplify]: Simplify (fabs (/ x y)) into (fabs (/ x y))
2.858 * [taylor]: Taking taylor expansion of (pow (fabs (/ x y)) 2) in x
2.858 * [taylor]: Taking taylor expansion of (fabs (/ x y)) in x
2.859 * [backup-simplify]: Simplify (fabs (/ x y)) into (fabs (/ x y))
2.859 * [backup-simplify]: Simplify (* (fabs (/ x y)) (fabs (/ x y))) into (pow (fabs (/ x y)) 2)
2.859 * [taylor]: Taking taylor expansion of (pow (fabs (/ x y)) 2) in y
2.859 * [taylor]: Taking taylor expansion of (fabs (/ x y)) in y
2.859 * [backup-simplify]: Simplify (fabs (/ x y)) into (fabs (/ x y))
2.859 * [backup-simplify]: Simplify (* (fabs (/ x y)) (fabs (/ x y))) into (pow (fabs (/ x y)) 2)
2.859 * [backup-simplify]: Simplify (pow (fabs (/ x y)) 2) into (pow (fabs (/ x y)) 2)
2.859 * [backup-simplify]: Simplify (+ (* (fabs (/ x y)) 0) (* 0 (fabs (/ x y)))) into 0
2.859 * [taylor]: Taking taylor expansion of 0 in y
2.859 * [backup-simplify]: Simplify 0 into 0
2.859 * [backup-simplify]: Simplify 0 into 0
2.860 * [backup-simplify]: Simplify (+ (* (fabs (/ x y)) 0) (* 0 (fabs (/ x y)))) into 0
2.860 * [backup-simplify]: Simplify 0 into 0
2.860 * [backup-simplify]: Simplify (+ (* (fabs (/ x y)) 0) (+ (* 0 0) (* 0 (fabs (/ x y))))) into 0
2.860 * [taylor]: Taking taylor expansion of 0 in y
2.860 * [backup-simplify]: Simplify 0 into 0
2.860 * [backup-simplify]: Simplify 0 into 0
2.860 * [backup-simplify]: Simplify 0 into 0
2.861 * [backup-simplify]: Simplify (+ (* (fabs (/ x y)) 0) (+ (* 0 0) (* 0 (fabs (/ x y))))) into 0
2.861 * [backup-simplify]: Simplify 0 into 0
2.862 * [backup-simplify]: Simplify (+ (* (fabs (/ x y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ x y)))))) into 0
2.862 * [taylor]: Taking taylor expansion of 0 in y
2.862 * [backup-simplify]: Simplify 0 into 0
2.862 * [backup-simplify]: Simplify 0 into 0
2.862 * [backup-simplify]: Simplify (pow (fabs (/ x y)) 2) into (pow (fabs (/ x y)) 2)
2.862 * [backup-simplify]: Simplify (* (fabs (/ (/ 1 x) (/ 1 y))) (fabs (/ (/ 1 x) (/ 1 y)))) into (pow (fabs (/ y x)) 2)
2.862 * [approximate]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in (x y) around 0
2.862 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in y
2.862 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in y
2.863 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
2.863 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in x
2.863 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in x
2.863 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
2.863 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in x
2.863 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in x
2.863 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
2.863 * [backup-simplify]: Simplify (* (fabs (/ y x)) (fabs (/ y x))) into (pow (fabs (/ y x)) 2)
2.863 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in y
2.863 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in y
2.863 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
2.863 * [backup-simplify]: Simplify (* (fabs (/ y x)) (fabs (/ y x))) into (pow (fabs (/ y x)) 2)
2.863 * [backup-simplify]: Simplify (pow (fabs (/ y x)) 2) into (pow (fabs (/ y x)) 2)
2.864 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (* 0 (fabs (/ y x)))) into 0
2.864 * [taylor]: Taking taylor expansion of 0 in y
2.864 * [backup-simplify]: Simplify 0 into 0
2.864 * [backup-simplify]: Simplify 0 into 0
2.864 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (* 0 (fabs (/ y x)))) into 0
2.864 * [backup-simplify]: Simplify 0 into 0
2.865 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (+ (* 0 0) (* 0 (fabs (/ y x))))) into 0
2.865 * [taylor]: Taking taylor expansion of 0 in y
2.865 * [backup-simplify]: Simplify 0 into 0
2.865 * [backup-simplify]: Simplify 0 into 0
2.865 * [backup-simplify]: Simplify 0 into 0
2.865 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (+ (* 0 0) (* 0 (fabs (/ y x))))) into 0
2.865 * [backup-simplify]: Simplify 0 into 0
2.866 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ y x)))))) into 0
2.866 * [taylor]: Taking taylor expansion of 0 in y
2.866 * [backup-simplify]: Simplify 0 into 0
2.866 * [backup-simplify]: Simplify 0 into 0
2.866 * [backup-simplify]: Simplify (pow (fabs (/ (/ 1 y) (/ 1 x))) 2) into (pow (fabs (/ x y)) 2)
2.867 * [backup-simplify]: Simplify (* (fabs (/ (/ 1 (- x)) (/ 1 (- y)))) (fabs (/ (/ 1 (- x)) (/ 1 (- y))))) into (pow (fabs (/ y x)) 2)
2.867 * [approximate]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in (x y) around 0
2.867 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in y
2.867 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in y
2.867 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
2.867 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in x
2.867 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in x
2.867 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
2.867 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in x
2.867 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in x
2.867 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
2.867 * [backup-simplify]: Simplify (* (fabs (/ y x)) (fabs (/ y x))) into (pow (fabs (/ y x)) 2)
2.867 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in y
2.867 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in y
2.868 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
2.868 * [backup-simplify]: Simplify (* (fabs (/ y x)) (fabs (/ y x))) into (pow (fabs (/ y x)) 2)
2.868 * [backup-simplify]: Simplify (pow (fabs (/ y x)) 2) into (pow (fabs (/ y x)) 2)
2.868 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (* 0 (fabs (/ y x)))) into 0
2.868 * [taylor]: Taking taylor expansion of 0 in y
2.868 * [backup-simplify]: Simplify 0 into 0
2.868 * [backup-simplify]: Simplify 0 into 0
2.868 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (* 0 (fabs (/ y x)))) into 0
2.868 * [backup-simplify]: Simplify 0 into 0
2.869 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (+ (* 0 0) (* 0 (fabs (/ y x))))) into 0
2.869 * [taylor]: Taking taylor expansion of 0 in y
2.869 * [backup-simplify]: Simplify 0 into 0
2.869 * [backup-simplify]: Simplify 0 into 0
2.869 * [backup-simplify]: Simplify 0 into 0
2.870 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (+ (* 0 0) (* 0 (fabs (/ y x))))) into 0
2.870 * [backup-simplify]: Simplify 0 into 0
2.878 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ y x)))))) into 0
2.878 * [taylor]: Taking taylor expansion of 0 in y
2.878 * [backup-simplify]: Simplify 0 into 0
2.878 * [backup-simplify]: Simplify 0 into 0
2.878 * [backup-simplify]: Simplify (pow (fabs (/ (/ 1 (- y)) (/ 1 (- x)))) 2) into (pow (fabs (/ x y)) 2)
2.878 * * * [progress]: simplifying candidates
2.880 * [simplify]: Simplifying:
  (- (+ (log z) (log z)) (+ (log t) (log t)))
  (- (+ (log z) (log z)) (log (* t t)))
  (- (log (* z z)) (+ (log t) (log t)))
  (- (log (* z z)) (log (* t t)))
  (log (/ (* z z) (* t t)))
  (exp (/ (* z z) (* t t)))
  (/ (* (* (* z z) z) (* (* z z) z)) (* (* (* t t) t) (* (* t t) t)))
  (/ (* (* (* z z) z) (* (* z z) z)) (* (* (* t t) (* t t)) (* t t)))
  (/ (* (* (* z z) (* z z)) (* z z)) (* (* (* t t) t) (* (* t t) t)))
  (/ (* (* (* z z) (* z z)) (* z z)) (* (* (* t t) (* t t)) (* t t)))
  (* (cbrt (/ (* z z) (* t t))) (cbrt (/ (* z z) (* t t))))
  (cbrt (/ (* z z) (* t t)))
  (* (* (/ (* z z) (* t t)) (/ (* z z) (* t t))) (/ (* z z) (* t t)))
  (sqrt (/ (* z z) (* t t)))
  (sqrt (/ (* z z) (* t t)))
  (- (* z z))
  (- (* t t))
  (/ z t)
  (/ z t)
  (/ 1 (* t t))
  (/ (* t t) (* z z))
  (/ (* z z) t)
  (/ (* t t) z)
  (+ 1 1)
  (* (fabs (/ x y)) (fabs (/ x y)))
  (+ 1 1)
  (+ (log (fabs (/ x y))) (log (fabs (/ x y))))
  (log (* (fabs (/ x y)) (fabs (/ x y))))
  (exp (* (fabs (/ x y)) (fabs (/ x y))))
  (* (* (* (fabs (/ x y)) (fabs (/ x y))) (fabs (/ x y))) (* (* (fabs (/ x y)) (fabs (/ x y))) (fabs (/ x y))))
  (* (cbrt (* (fabs (/ x y)) (fabs (/ x y)))) (cbrt (* (fabs (/ x y)) (fabs (/ x y)))))
  (cbrt (* (fabs (/ x y)) (fabs (/ x y))))
  (* (* (* (fabs (/ x y)) (fabs (/ x y))) (* (fabs (/ x y)) (fabs (/ x y)))) (* (fabs (/ x y)) (fabs (/ x y))))
  (sqrt (* (fabs (/ x y)) (fabs (/ x y))))
  (sqrt (* (fabs (/ x y)) (fabs (/ x y))))
  (* (* (cbrt (fabs (/ x y))) (cbrt (fabs (/ x y)))) (* (cbrt (fabs (/ x y))) (cbrt (fabs (/ x y)))))
  (* (cbrt (fabs (/ x y))) (cbrt (fabs (/ x y))))
  (* (sqrt (fabs (/ x y))) (sqrt (fabs (/ x y))))
  (* (sqrt (fabs (/ x y))) (sqrt (fabs (/ x y))))
  (* 1 1)
  (* (fabs (/ x y)) (fabs (/ x y)))
  (* (sqrt (fabs (/ x y))) (sqrt (fabs (/ x y))))
  (* (sqrt (fabs (/ x y))) (sqrt (fabs (/ x y))))
  (* 2 1)
  (* (fabs (/ x y)) (* (cbrt (fabs (/ x y))) (cbrt (fabs (/ x y)))))
  (* (fabs (/ x y)) (sqrt (fabs (/ x y))))
  (* (fabs (/ x y)) 1)
  (* (cbrt (fabs (/ x y))) (fabs (/ x y)))
  (* (sqrt (fabs (/ x y))) (fabs (/ x y)))
  (* (fabs (/ x y)) (fabs (/ x y)))
  (/ (pow z 2) (pow t 2))
  (/ (pow z 2) (pow t 2))
  (/ (pow z 2) (pow t 2))
  (pow (fabs (/ x y)) 2)
  (pow (fabs (/ x y)) 2)
  (pow (fabs (/ x y)) 2)
2.881 * * [simplify]: Extracting # 0 : cost  0
2.881 * * [simplify]: Extracting # 1 : cost  0
2.882 * * [simplify]: Extracting # 2 : cost  0
2.882 * * [simplify]: Extracting # 3 : cost  0
2.882 * * [simplify]: Extracting # 4 : cost  0
2.882 * * [simplify]: Extracting # 5 : cost  0
2.882 * * [simplify]: Extracting # 6 : cost  0
2.882 * * [simplify]: Extracting # 7 : cost  0
2.883 * * [simplify]: Extracting # 8 : cost  0
2.883 * * [simplify]: iteration  0 :  76  enodes  (cost  596 )
2.911 * * [simplify]: Extracting # 0 : cost  0
2.911 * * [simplify]: Extracting # 1 : cost  0
2.912 * * [simplify]: Extracting # 2 : cost  0
2.912 * * [simplify]: iteration  1 :  249  enodes  (cost  497 )
3.220 * * [simplify]: Extracting # 0 : cost  0
3.225 * * [simplify]: Extracting # 1 : cost  0
3.230 * * [simplify]: Extracting # 2 : cost  0
3.236 * * [simplify]: Extracting # 3 : cost  0
3.241 * * [simplify]: Extracting # 4 : cost  0
3.247 * * [simplify]: Extracting # 5 : cost  0
3.252 * * [simplify]: iteration  2 :  2475  enodes  (cost  376 )
5.005 * * [simplify]: Extracting # 0 : cost  0
5.025 * * [simplify]: Extracting # 1 : cost  0
5.046 * * [simplify]: Extracting # 2 : cost  0
5.058 * * [simplify]: Extracting # 3 : cost  0
5.069 * * [simplify]: iteration done:  5002  enodes  (cost  365 )
5.070 * [simplify]: Simplified to:
  (* 2 (- (log z) (log t)))
  (* 2 (- (log z) (log t)))
  (* 2 (- (log z) (log t)))
  (* 2 (- (log z) (log t)))
  (* 2 (- (log z) (log t)))
  (exp (/ (* z z) (* t t)))
  (pow (/ (* z z) (* t t)) 3)
  (pow (/ (* z z) (* t t)) 3)
  (pow (/ (* z z) (* t t)) 3)
  (pow (/ (* z z) (* t t)) 3)
  (* (cbrt (/ (* z z) (* t t))) (cbrt (/ (* z z) (* t t))))
  (cbrt (/ (* z z) (* t t)))
  (pow (/ (* z z) (* t t)) 3)
  (fabs (/ z t))
  (fabs (/ z t))
  (- (* z z))
  (- (* t t))
  (/ z t)
  (/ z t)
  (/ 1 (* t t))
  (/ (* t t) (* z z))
  (/ (* z z) t)
  (/ (* t t) z)
  2
  (pow (fabs (/ x y)) 2)
  2
  (log (pow (fabs (/ x y)) 2))
  (log (pow (fabs (/ x y)) 2))
  (exp (pow (fabs (/ x y)) 2))
  (pow (pow (fabs (/ x y)) 2) 3)
  (* (cbrt (pow (fabs (/ x y)) 2)) (cbrt (pow (fabs (/ x y)) 2)))
  (cbrt (pow (fabs (/ x y)) 2))
  (pow (pow (fabs (/ x y)) 2) 3)
  (fabs (fabs (/ x y)))
  (fabs (fabs (/ x y)))
  (pow (cbrt (fabs (/ x y))) (+ 3 1))
  (* (cbrt (fabs (/ x y))) (cbrt (fabs (/ x y))))
  (fabs (/ x y))
  (fabs (/ x y))
  1
  (pow (fabs (/ x y)) 2)
  (fabs (/ x y))
  (fabs (/ x y))
  2
  (* (cbrt (fabs (/ x y))) (pow (cbrt (fabs (/ x y))) (+ 3 1)))
  (pow (sqrt (fabs (/ x y))) 3)
  (fabs (/ x y))
  (pow (cbrt (fabs (/ x y))) (+ 3 1))
  (pow (sqrt (fabs (/ x y))) 3)
  (pow (fabs (/ x y)) 2)
  (/ (* z z) (* t t))
  (/ (* z z) (* t t))
  (/ (* z z) (* t t))
  (pow (fabs (/ x y)) 2)
  (pow (fabs (/ x y)) 2)
  (pow (fabs (/ x y)) 2)
5.070 * * * [progress]: adding candidates to table
5.332 * * [progress]: iteration 3 / 4
5.332 * * * [progress]: picking best candidate
5.402 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (fabs (/ z t)) (fabs (/ z t)))))>
5.402 * * * [progress]: localizing error
5.435 * * * [progress]: generating rewritten candidates
5.435 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
5.447 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
5.461 * * * [progress]: generating series expansions
5.461 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
5.461 * [backup-simplify]: Simplify (* (fabs (/ z t)) (fabs (/ z t))) into (pow (fabs (/ z t)) 2)
5.461 * [approximate]: Taking taylor expansion of (pow (fabs (/ z t)) 2) in (z t) around 0
5.461 * [taylor]: Taking taylor expansion of (pow (fabs (/ z t)) 2) in t
5.461 * [taylor]: Taking taylor expansion of (fabs (/ z t)) in t
5.462 * [backup-simplify]: Simplify (fabs (/ z t)) into (fabs (/ z t))
5.462 * [taylor]: Taking taylor expansion of (pow (fabs (/ z t)) 2) in z
5.462 * [taylor]: Taking taylor expansion of (fabs (/ z t)) in z
5.462 * [backup-simplify]: Simplify (fabs (/ z t)) into (fabs (/ z t))
5.462 * [taylor]: Taking taylor expansion of (pow (fabs (/ z t)) 2) in z
5.462 * [taylor]: Taking taylor expansion of (fabs (/ z t)) in z
5.462 * [backup-simplify]: Simplify (fabs (/ z t)) into (fabs (/ z t))
5.462 * [backup-simplify]: Simplify (* (fabs (/ z t)) (fabs (/ z t))) into (pow (fabs (/ z t)) 2)
5.462 * [taylor]: Taking taylor expansion of (pow (fabs (/ z t)) 2) in t
5.462 * [taylor]: Taking taylor expansion of (fabs (/ z t)) in t
5.462 * [backup-simplify]: Simplify (fabs (/ z t)) into (fabs (/ z t))
5.462 * [backup-simplify]: Simplify (* (fabs (/ z t)) (fabs (/ z t))) into (pow (fabs (/ z t)) 2)
5.463 * [backup-simplify]: Simplify (pow (fabs (/ z t)) 2) into (pow (fabs (/ z t)) 2)
5.463 * [backup-simplify]: Simplify (+ (* (fabs (/ z t)) 0) (* 0 (fabs (/ z t)))) into 0
5.463 * [taylor]: Taking taylor expansion of 0 in t
5.463 * [backup-simplify]: Simplify 0 into 0
5.463 * [backup-simplify]: Simplify 0 into 0
5.463 * [backup-simplify]: Simplify (+ (* (fabs (/ z t)) 0) (* 0 (fabs (/ z t)))) into 0
5.463 * [backup-simplify]: Simplify 0 into 0
5.464 * [backup-simplify]: Simplify (+ (* (fabs (/ z t)) 0) (+ (* 0 0) (* 0 (fabs (/ z t))))) into 0
5.464 * [taylor]: Taking taylor expansion of 0 in t
5.464 * [backup-simplify]: Simplify 0 into 0
5.464 * [backup-simplify]: Simplify 0 into 0
5.464 * [backup-simplify]: Simplify 0 into 0
5.465 * [backup-simplify]: Simplify (+ (* (fabs (/ z t)) 0) (+ (* 0 0) (* 0 (fabs (/ z t))))) into 0
5.465 * [backup-simplify]: Simplify 0 into 0
5.466 * [backup-simplify]: Simplify (+ (* (fabs (/ z t)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ z t)))))) into 0
5.466 * [taylor]: Taking taylor expansion of 0 in t
5.466 * [backup-simplify]: Simplify 0 into 0
5.466 * [backup-simplify]: Simplify 0 into 0
5.466 * [backup-simplify]: Simplify (pow (fabs (/ z t)) 2) into (pow (fabs (/ z t)) 2)
5.466 * [backup-simplify]: Simplify (* (fabs (/ (/ 1 z) (/ 1 t))) (fabs (/ (/ 1 z) (/ 1 t)))) into (pow (fabs (/ t z)) 2)
5.466 * [approximate]: Taking taylor expansion of (pow (fabs (/ t z)) 2) in (z t) around 0
5.466 * [taylor]: Taking taylor expansion of (pow (fabs (/ t z)) 2) in t
5.466 * [taylor]: Taking taylor expansion of (fabs (/ t z)) in t
5.467 * [backup-simplify]: Simplify (fabs (/ t z)) into (fabs (/ t z))
5.467 * [taylor]: Taking taylor expansion of (pow (fabs (/ t z)) 2) in z
5.467 * [taylor]: Taking taylor expansion of (fabs (/ t z)) in z
5.467 * [backup-simplify]: Simplify (fabs (/ t z)) into (fabs (/ t z))
5.467 * [taylor]: Taking taylor expansion of (pow (fabs (/ t z)) 2) in z
5.467 * [taylor]: Taking taylor expansion of (fabs (/ t z)) in z
5.467 * [backup-simplify]: Simplify (fabs (/ t z)) into (fabs (/ t z))
5.467 * [backup-simplify]: Simplify (* (fabs (/ t z)) (fabs (/ t z))) into (pow (fabs (/ t z)) 2)
5.467 * [taylor]: Taking taylor expansion of (pow (fabs (/ t z)) 2) in t
5.467 * [taylor]: Taking taylor expansion of (fabs (/ t z)) in t
5.467 * [backup-simplify]: Simplify (fabs (/ t z)) into (fabs (/ t z))
5.467 * [backup-simplify]: Simplify (* (fabs (/ t z)) (fabs (/ t z))) into (pow (fabs (/ t z)) 2)
5.468 * [backup-simplify]: Simplify (pow (fabs (/ t z)) 2) into (pow (fabs (/ t z)) 2)
5.468 * [backup-simplify]: Simplify (+ (* (fabs (/ t z)) 0) (* 0 (fabs (/ t z)))) into 0
5.468 * [taylor]: Taking taylor expansion of 0 in t
5.468 * [backup-simplify]: Simplify 0 into 0
5.468 * [backup-simplify]: Simplify 0 into 0
5.468 * [backup-simplify]: Simplify (+ (* (fabs (/ t z)) 0) (* 0 (fabs (/ t z)))) into 0
5.468 * [backup-simplify]: Simplify 0 into 0
5.469 * [backup-simplify]: Simplify (+ (* (fabs (/ t z)) 0) (+ (* 0 0) (* 0 (fabs (/ t z))))) into 0
5.469 * [taylor]: Taking taylor expansion of 0 in t
5.469 * [backup-simplify]: Simplify 0 into 0
5.469 * [backup-simplify]: Simplify 0 into 0
5.469 * [backup-simplify]: Simplify 0 into 0
5.470 * [backup-simplify]: Simplify (+ (* (fabs (/ t z)) 0) (+ (* 0 0) (* 0 (fabs (/ t z))))) into 0
5.470 * [backup-simplify]: Simplify 0 into 0
5.471 * [backup-simplify]: Simplify (+ (* (fabs (/ t z)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ t z)))))) into 0
5.471 * [taylor]: Taking taylor expansion of 0 in t
5.471 * [backup-simplify]: Simplify 0 into 0
5.471 * [backup-simplify]: Simplify 0 into 0
5.471 * [backup-simplify]: Simplify (pow (fabs (/ (/ 1 t) (/ 1 z))) 2) into (pow (fabs (/ z t)) 2)
5.472 * [backup-simplify]: Simplify (* (fabs (/ (/ 1 (- z)) (/ 1 (- t)))) (fabs (/ (/ 1 (- z)) (/ 1 (- t))))) into (pow (fabs (/ t z)) 2)
5.472 * [approximate]: Taking taylor expansion of (pow (fabs (/ t z)) 2) in (z t) around 0
5.472 * [taylor]: Taking taylor expansion of (pow (fabs (/ t z)) 2) in t
5.472 * [taylor]: Taking taylor expansion of (fabs (/ t z)) in t
5.472 * [backup-simplify]: Simplify (fabs (/ t z)) into (fabs (/ t z))
5.472 * [taylor]: Taking taylor expansion of (pow (fabs (/ t z)) 2) in z
5.472 * [taylor]: Taking taylor expansion of (fabs (/ t z)) in z
5.472 * [backup-simplify]: Simplify (fabs (/ t z)) into (fabs (/ t z))
5.472 * [taylor]: Taking taylor expansion of (pow (fabs (/ t z)) 2) in z
5.472 * [taylor]: Taking taylor expansion of (fabs (/ t z)) in z
5.472 * [backup-simplify]: Simplify (fabs (/ t z)) into (fabs (/ t z))
5.472 * [backup-simplify]: Simplify (* (fabs (/ t z)) (fabs (/ t z))) into (pow (fabs (/ t z)) 2)
5.472 * [taylor]: Taking taylor expansion of (pow (fabs (/ t z)) 2) in t
5.472 * [taylor]: Taking taylor expansion of (fabs (/ t z)) in t
5.472 * [backup-simplify]: Simplify (fabs (/ t z)) into (fabs (/ t z))
5.473 * [backup-simplify]: Simplify (* (fabs (/ t z)) (fabs (/ t z))) into (pow (fabs (/ t z)) 2)
5.473 * [backup-simplify]: Simplify (pow (fabs (/ t z)) 2) into (pow (fabs (/ t z)) 2)
5.473 * [backup-simplify]: Simplify (+ (* (fabs (/ t z)) 0) (* 0 (fabs (/ t z)))) into 0
5.473 * [taylor]: Taking taylor expansion of 0 in t
5.473 * [backup-simplify]: Simplify 0 into 0
5.473 * [backup-simplify]: Simplify 0 into 0
5.473 * [backup-simplify]: Simplify (+ (* (fabs (/ t z)) 0) (* 0 (fabs (/ t z)))) into 0
5.473 * [backup-simplify]: Simplify 0 into 0
5.474 * [backup-simplify]: Simplify (+ (* (fabs (/ t z)) 0) (+ (* 0 0) (* 0 (fabs (/ t z))))) into 0
5.474 * [taylor]: Taking taylor expansion of 0 in t
5.474 * [backup-simplify]: Simplify 0 into 0
5.474 * [backup-simplify]: Simplify 0 into 0
5.474 * [backup-simplify]: Simplify 0 into 0
5.475 * [backup-simplify]: Simplify (+ (* (fabs (/ t z)) 0) (+ (* 0 0) (* 0 (fabs (/ t z))))) into 0
5.475 * [backup-simplify]: Simplify 0 into 0
5.476 * [backup-simplify]: Simplify (+ (* (fabs (/ t z)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ t z)))))) into 0
5.476 * [taylor]: Taking taylor expansion of 0 in t
5.476 * [backup-simplify]: Simplify 0 into 0
5.476 * [backup-simplify]: Simplify 0 into 0
5.476 * [backup-simplify]: Simplify (pow (fabs (/ (/ 1 (- t)) (/ 1 (- z)))) 2) into (pow (fabs (/ z t)) 2)
5.476 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
5.476 * [backup-simplify]: Simplify (* (fabs (/ x y)) (fabs (/ x y))) into (pow (fabs (/ x y)) 2)
5.476 * [approximate]: Taking taylor expansion of (pow (fabs (/ x y)) 2) in (x y) around 0
5.476 * [taylor]: Taking taylor expansion of (pow (fabs (/ x y)) 2) in y
5.476 * [taylor]: Taking taylor expansion of (fabs (/ x y)) in y
5.477 * [backup-simplify]: Simplify (fabs (/ x y)) into (fabs (/ x y))
5.477 * [taylor]: Taking taylor expansion of (pow (fabs (/ x y)) 2) in x
5.477 * [taylor]: Taking taylor expansion of (fabs (/ x y)) in x
5.477 * [backup-simplify]: Simplify (fabs (/ x y)) into (fabs (/ x y))
5.477 * [taylor]: Taking taylor expansion of (pow (fabs (/ x y)) 2) in x
5.477 * [taylor]: Taking taylor expansion of (fabs (/ x y)) in x
5.477 * [backup-simplify]: Simplify (fabs (/ x y)) into (fabs (/ x y))
5.477 * [backup-simplify]: Simplify (* (fabs (/ x y)) (fabs (/ x y))) into (pow (fabs (/ x y)) 2)
5.477 * [taylor]: Taking taylor expansion of (pow (fabs (/ x y)) 2) in y
5.477 * [taylor]: Taking taylor expansion of (fabs (/ x y)) in y
5.477 * [backup-simplify]: Simplify (fabs (/ x y)) into (fabs (/ x y))
5.477 * [backup-simplify]: Simplify (* (fabs (/ x y)) (fabs (/ x y))) into (pow (fabs (/ x y)) 2)
5.477 * [backup-simplify]: Simplify (pow (fabs (/ x y)) 2) into (pow (fabs (/ x y)) 2)
5.478 * [backup-simplify]: Simplify (+ (* (fabs (/ x y)) 0) (* 0 (fabs (/ x y)))) into 0
5.478 * [taylor]: Taking taylor expansion of 0 in y
5.478 * [backup-simplify]: Simplify 0 into 0
5.478 * [backup-simplify]: Simplify 0 into 0
5.478 * [backup-simplify]: Simplify (+ (* (fabs (/ x y)) 0) (* 0 (fabs (/ x y)))) into 0
5.478 * [backup-simplify]: Simplify 0 into 0
5.479 * [backup-simplify]: Simplify (+ (* (fabs (/ x y)) 0) (+ (* 0 0) (* 0 (fabs (/ x y))))) into 0
5.479 * [taylor]: Taking taylor expansion of 0 in y
5.479 * [backup-simplify]: Simplify 0 into 0
5.479 * [backup-simplify]: Simplify 0 into 0
5.479 * [backup-simplify]: Simplify 0 into 0
5.479 * [backup-simplify]: Simplify (+ (* (fabs (/ x y)) 0) (+ (* 0 0) (* 0 (fabs (/ x y))))) into 0
5.479 * [backup-simplify]: Simplify 0 into 0
5.480 * [backup-simplify]: Simplify (+ (* (fabs (/ x y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ x y)))))) into 0
5.480 * [taylor]: Taking taylor expansion of 0 in y
5.480 * [backup-simplify]: Simplify 0 into 0
5.480 * [backup-simplify]: Simplify 0 into 0
5.481 * [backup-simplify]: Simplify (pow (fabs (/ x y)) 2) into (pow (fabs (/ x y)) 2)
5.481 * [backup-simplify]: Simplify (* (fabs (/ (/ 1 x) (/ 1 y))) (fabs (/ (/ 1 x) (/ 1 y)))) into (pow (fabs (/ y x)) 2)
5.481 * [approximate]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in (x y) around 0
5.481 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in y
5.481 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in y
5.481 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
5.481 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in x
5.481 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in x
5.481 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
5.481 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in x
5.481 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in x
5.481 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
5.482 * [backup-simplify]: Simplify (* (fabs (/ y x)) (fabs (/ y x))) into (pow (fabs (/ y x)) 2)
5.482 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in y
5.482 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in y
5.482 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
5.482 * [backup-simplify]: Simplify (* (fabs (/ y x)) (fabs (/ y x))) into (pow (fabs (/ y x)) 2)
5.482 * [backup-simplify]: Simplify (pow (fabs (/ y x)) 2) into (pow (fabs (/ y x)) 2)
5.482 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (* 0 (fabs (/ y x)))) into 0
5.482 * [taylor]: Taking taylor expansion of 0 in y
5.482 * [backup-simplify]: Simplify 0 into 0
5.482 * [backup-simplify]: Simplify 0 into 0
5.483 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (* 0 (fabs (/ y x)))) into 0
5.483 * [backup-simplify]: Simplify 0 into 0
5.483 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (+ (* 0 0) (* 0 (fabs (/ y x))))) into 0
5.483 * [taylor]: Taking taylor expansion of 0 in y
5.483 * [backup-simplify]: Simplify 0 into 0
5.483 * [backup-simplify]: Simplify 0 into 0
5.483 * [backup-simplify]: Simplify 0 into 0
5.484 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (+ (* 0 0) (* 0 (fabs (/ y x))))) into 0
5.484 * [backup-simplify]: Simplify 0 into 0
5.485 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ y x)))))) into 0
5.485 * [taylor]: Taking taylor expansion of 0 in y
5.485 * [backup-simplify]: Simplify 0 into 0
5.485 * [backup-simplify]: Simplify 0 into 0
5.485 * [backup-simplify]: Simplify (pow (fabs (/ (/ 1 y) (/ 1 x))) 2) into (pow (fabs (/ x y)) 2)
5.486 * [backup-simplify]: Simplify (* (fabs (/ (/ 1 (- x)) (/ 1 (- y)))) (fabs (/ (/ 1 (- x)) (/ 1 (- y))))) into (pow (fabs (/ y x)) 2)
5.486 * [approximate]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in (x y) around 0
5.486 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in y
5.486 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in y
5.486 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
5.486 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in x
5.486 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in x
5.486 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
5.486 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in x
5.486 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in x
5.486 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
5.486 * [backup-simplify]: Simplify (* (fabs (/ y x)) (fabs (/ y x))) into (pow (fabs (/ y x)) 2)
5.486 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in y
5.486 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in y
5.486 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
5.487 * [backup-simplify]: Simplify (* (fabs (/ y x)) (fabs (/ y x))) into (pow (fabs (/ y x)) 2)
5.487 * [backup-simplify]: Simplify (pow (fabs (/ y x)) 2) into (pow (fabs (/ y x)) 2)
5.487 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (* 0 (fabs (/ y x)))) into 0
5.487 * [taylor]: Taking taylor expansion of 0 in y
5.487 * [backup-simplify]: Simplify 0 into 0
5.487 * [backup-simplify]: Simplify 0 into 0
5.487 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (* 0 (fabs (/ y x)))) into 0
5.487 * [backup-simplify]: Simplify 0 into 0
5.488 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (+ (* 0 0) (* 0 (fabs (/ y x))))) into 0
5.488 * [taylor]: Taking taylor expansion of 0 in y
5.488 * [backup-simplify]: Simplify 0 into 0
5.488 * [backup-simplify]: Simplify 0 into 0
5.488 * [backup-simplify]: Simplify 0 into 0
5.489 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (+ (* 0 0) (* 0 (fabs (/ y x))))) into 0
5.489 * [backup-simplify]: Simplify 0 into 0
5.490 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ y x)))))) into 0
5.490 * [taylor]: Taking taylor expansion of 0 in y
5.490 * [backup-simplify]: Simplify 0 into 0
5.490 * [backup-simplify]: Simplify 0 into 0
5.490 * [backup-simplify]: Simplify (pow (fabs (/ (/ 1 (- y)) (/ 1 (- x)))) 2) into (pow (fabs (/ x y)) 2)
5.490 * * * [progress]: simplifying candidates
5.491 * [simplify]: Simplifying:
  (+ 1 1)
  (* (fabs (/ z t)) (fabs (/ z t)))
  (+ 1 1)
  (+ (log (fabs (/ z t))) (log (fabs (/ z t))))
  (log (* (fabs (/ z t)) (fabs (/ z t))))
  (exp (* (fabs (/ z t)) (fabs (/ z t))))
  (* (* (* (fabs (/ z t)) (fabs (/ z t))) (fabs (/ z t))) (* (* (fabs (/ z t)) (fabs (/ z t))) (fabs (/ z t))))
  (* (cbrt (* (fabs (/ z t)) (fabs (/ z t)))) (cbrt (* (fabs (/ z t)) (fabs (/ z t)))))
  (cbrt (* (fabs (/ z t)) (fabs (/ z t))))
  (* (* (* (fabs (/ z t)) (fabs (/ z t))) (* (fabs (/ z t)) (fabs (/ z t)))) (* (fabs (/ z t)) (fabs (/ z t))))
  (sqrt (* (fabs (/ z t)) (fabs (/ z t))))
  (sqrt (* (fabs (/ z t)) (fabs (/ z t))))
  (* (* (cbrt (fabs (/ z t))) (cbrt (fabs (/ z t)))) (* (cbrt (fabs (/ z t))) (cbrt (fabs (/ z t)))))
  (* (cbrt (fabs (/ z t))) (cbrt (fabs (/ z t))))
  (* (sqrt (fabs (/ z t))) (sqrt (fabs (/ z t))))
  (* (sqrt (fabs (/ z t))) (sqrt (fabs (/ z t))))
  (* 1 1)
  (* (fabs (/ z t)) (fabs (/ z t)))
  (* (sqrt (fabs (/ z t))) (sqrt (fabs (/ z t))))
  (* (sqrt (fabs (/ z t))) (sqrt (fabs (/ z t))))
  (* 2 1)
  (* (fabs (/ z t)) (* (cbrt (fabs (/ z t))) (cbrt (fabs (/ z t)))))
  (* (fabs (/ z t)) (sqrt (fabs (/ z t))))
  (* (fabs (/ z t)) 1)
  (* (cbrt (fabs (/ z t))) (fabs (/ z t)))
  (* (sqrt (fabs (/ z t))) (fabs (/ z t)))
  (* (fabs (/ z t)) (fabs (/ z t)))
  (+ 1 1)
  (* (fabs (/ x y)) (fabs (/ x y)))
  (+ 1 1)
  (+ (log (fabs (/ x y))) (log (fabs (/ x y))))
  (log (* (fabs (/ x y)) (fabs (/ x y))))
  (exp (* (fabs (/ x y)) (fabs (/ x y))))
  (* (* (* (fabs (/ x y)) (fabs (/ x y))) (fabs (/ x y))) (* (* (fabs (/ x y)) (fabs (/ x y))) (fabs (/ x y))))
  (* (cbrt (* (fabs (/ x y)) (fabs (/ x y)))) (cbrt (* (fabs (/ x y)) (fabs (/ x y)))))
  (cbrt (* (fabs (/ x y)) (fabs (/ x y))))
  (* (* (* (fabs (/ x y)) (fabs (/ x y))) (* (fabs (/ x y)) (fabs (/ x y)))) (* (fabs (/ x y)) (fabs (/ x y))))
  (sqrt (* (fabs (/ x y)) (fabs (/ x y))))
  (sqrt (* (fabs (/ x y)) (fabs (/ x y))))
  (* (* (cbrt (fabs (/ x y))) (cbrt (fabs (/ x y)))) (* (cbrt (fabs (/ x y))) (cbrt (fabs (/ x y)))))
  (* (cbrt (fabs (/ x y))) (cbrt (fabs (/ x y))))
  (* (sqrt (fabs (/ x y))) (sqrt (fabs (/ x y))))
  (* (sqrt (fabs (/ x y))) (sqrt (fabs (/ x y))))
  (* 1 1)
  (* (fabs (/ x y)) (fabs (/ x y)))
  (* (sqrt (fabs (/ x y))) (sqrt (fabs (/ x y))))
  (* (sqrt (fabs (/ x y))) (sqrt (fabs (/ x y))))
  (* 2 1)
  (* (fabs (/ x y)) (* (cbrt (fabs (/ x y))) (cbrt (fabs (/ x y)))))
  (* (fabs (/ x y)) (sqrt (fabs (/ x y))))
  (* (fabs (/ x y)) 1)
  (* (cbrt (fabs (/ x y))) (fabs (/ x y)))
  (* (sqrt (fabs (/ x y))) (fabs (/ x y)))
  (* (fabs (/ x y)) (fabs (/ x y)))
  (pow (fabs (/ z t)) 2)
  (pow (fabs (/ z t)) 2)
  (pow (fabs (/ z t)) 2)
  (pow (fabs (/ x y)) 2)
  (pow (fabs (/ x y)) 2)
  (pow (fabs (/ x y)) 2)
5.493 * * [simplify]: Extracting # 0 : cost  0
5.493 * * [simplify]: Extracting # 1 : cost  0
5.493 * * [simplify]: Extracting # 2 : cost  0
5.493 * * [simplify]: Extracting # 3 : cost  0
5.493 * * [simplify]: Extracting # 4 : cost  0
5.494 * * [simplify]: Extracting # 5 : cost  0
5.494 * * [simplify]: Extracting # 6 : cost  0
5.494 * * [simplify]: Extracting # 7 : cost  0
5.494 * * [simplify]: iteration  0 :  59  enodes  (cost  654 )
5.517 * * [simplify]: Extracting # 0 : cost  0
5.518 * * [simplify]: Extracting # 1 : cost  0
5.518 * * [simplify]: Extracting # 2 : cost  0
5.519 * * [simplify]: iteration  1 :  162  enodes  (cost  472 )
5.674 * * [simplify]: Extracting # 0 : cost  0
5.677 * * [simplify]: Extracting # 1 : cost  0
5.688 * * [simplify]: Extracting # 2 : cost  0
5.692 * * [simplify]: Extracting # 3 : cost  0
5.696 * * [simplify]: Extracting # 4 : cost  0
5.700 * * [simplify]: Extracting # 5 : cost  0
5.703 * * [simplify]: iteration  2 :  1648  enodes  (cost  386 )
7.740 * * [simplify]: Extracting # 0 : cost  0
7.977 * * [simplify]: Extracting # 1 : cost  0
7.991 * * [simplify]: Extracting # 2 : cost  0
8.001 * * [simplify]: Extracting # 3 : cost  0
8.012 * * [simplify]: iteration done:  5002  enodes  (cost  374 )
8.012 * [simplify]: Simplified to:
  2
  (pow (fabs (/ z t)) 2)
  2
  (* 2 (log (fabs (/ z t))))
  (* 2 (log (fabs (/ z t))))
  (exp (pow (fabs (/ z t)) 2))
  (pow (pow (fabs (/ z t)) 2) 3)
  (* (cbrt (pow (fabs (/ z t)) 2)) (cbrt (pow (fabs (/ z t)) 2)))
  (cbrt (pow (fabs (/ z t)) 2))
  (pow (pow (fabs (/ z t)) 2) 3)
  (fabs (fabs (/ z t)))
  (fabs (fabs (/ z t)))
  (pow (cbrt (fabs (/ z t))) (+ 3 1))
  (* (cbrt (fabs (/ z t))) (cbrt (fabs (/ z t))))
  (fabs (/ z t))
  (fabs (/ z t))
  1
  (pow (fabs (/ z t)) 2)
  (fabs (/ z t))
  (fabs (/ z t))
  2
  (* (cbrt (fabs (/ z t))) (pow (cbrt (fabs (/ z t))) (+ 3 1)))
  (pow (sqrt (fabs (/ z t))) 3)
  (fabs (/ z t))
  (pow (cbrt (fabs (/ z t))) (+ 3 1))
  (pow (sqrt (fabs (/ z t))) 3)
  (pow (fabs (/ z t)) 2)
  2
  (pow (fabs (/ x y)) 2)
  2
  (* 2 (log (fabs (/ x y))))
  (* 2 (log (fabs (/ x y))))
  (exp (pow (fabs (/ x y)) 2))
  (pow (pow (fabs (/ x y)) 2) 3)
  (* (cbrt (pow (fabs (/ x y)) 2)) (cbrt (pow (fabs (/ x y)) 2)))
  (cbrt (pow (fabs (/ x y)) 2))
  (pow (pow (fabs (/ x y)) 2) 3)
  (fabs (fabs (/ x y)))
  (fabs (fabs (/ x y)))
  (pow (cbrt (fabs (/ x y))) (+ 3 1))
  (* (cbrt (fabs (/ x y))) (cbrt (fabs (/ x y))))
  (fabs (/ x y))
  (fabs (/ x y))
  1
  (pow (fabs (/ x y)) 2)
  (fabs (/ x y))
  (fabs (/ x y))
  2
  (* (cbrt (fabs (/ x y))) (pow (cbrt (fabs (/ x y))) (+ 3 1)))
  (pow (sqrt (fabs (/ x y))) 3)
  (fabs (/ x y))
  (pow (cbrt (fabs (/ x y))) (+ 3 1))
  (pow (sqrt (fabs (/ x y))) 3)
  (pow (fabs (/ x y)) 2)
  (pow (fabs (/ z t)) 2)
  (pow (fabs (/ z t)) 2)
  (pow (fabs (/ z t)) 2)
  (pow (fabs (/ x y)) 2)
  (pow (fabs (/ x y)) 2)
  (pow (fabs (/ x y)) 2)
8.013 * * * [progress]: adding candidates to table
8.325 * * [progress]: iteration 4 / 4
8.325 * * * [progress]: picking best candidate
8.398 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (pow (sqrt (fabs (/ z t))) 3) (sqrt (fabs (/ z t))))))>
8.398 * * * [progress]: localizing error
8.436 * * * [progress]: generating rewritten candidates
8.436 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
8.438 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1)
8.448 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
8.455 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
8.471 * * * [progress]: generating series expansions
8.471 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
8.472 * [backup-simplify]: Simplify (sqrt (fabs (/ z t))) into (sqrt (fabs (/ z t)))
8.472 * [approximate]: Taking taylor expansion of (sqrt (fabs (/ z t))) in (z t) around 0
8.472 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ z t))) in t
8.472 * [taylor]: Taking taylor expansion of (fabs (/ z t)) in t
8.472 * [backup-simplify]: Simplify (fabs (/ z t)) into (fabs (/ z t))
8.472 * [backup-simplify]: Simplify (sqrt (fabs (/ z t))) into (sqrt (fabs (/ z t)))
8.472 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ z t))))) into 0
8.472 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ z t))) in z
8.472 * [taylor]: Taking taylor expansion of (fabs (/ z t)) in z
8.472 * [backup-simplify]: Simplify (fabs (/ z t)) into (fabs (/ z t))
8.472 * [backup-simplify]: Simplify (sqrt (fabs (/ z t))) into (sqrt (fabs (/ z t)))
8.473 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ z t))))) into 0
8.473 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ z t))) in z
8.473 * [taylor]: Taking taylor expansion of (fabs (/ z t)) in z
8.473 * [backup-simplify]: Simplify (fabs (/ z t)) into (fabs (/ z t))
8.473 * [backup-simplify]: Simplify (sqrt (fabs (/ z t))) into (sqrt (fabs (/ z t)))
8.473 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ z t))))) into 0
8.473 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ z t))) in t
8.473 * [taylor]: Taking taylor expansion of (fabs (/ z t)) in t
8.473 * [backup-simplify]: Simplify (fabs (/ z t)) into (fabs (/ z t))
8.473 * [backup-simplify]: Simplify (sqrt (fabs (/ z t))) into (sqrt (fabs (/ z t)))
8.473 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ z t))))) into 0
8.474 * [backup-simplify]: Simplify (sqrt (fabs (/ z t))) into (sqrt (fabs (/ z t)))
8.474 * [taylor]: Taking taylor expansion of 0 in t
8.474 * [backup-simplify]: Simplify 0 into 0
8.474 * [backup-simplify]: Simplify 0 into 0
8.474 * [backup-simplify]: Simplify 0 into 0
8.475 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ z t))))) into 0
8.475 * [taylor]: Taking taylor expansion of 0 in t
8.475 * [backup-simplify]: Simplify 0 into 0
8.475 * [backup-simplify]: Simplify 0 into 0
8.475 * [backup-simplify]: Simplify 0 into 0
8.476 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ z t))))) into 0
8.476 * [backup-simplify]: Simplify 0 into 0
8.477 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (/ z t))))) into 0
8.477 * [taylor]: Taking taylor expansion of 0 in t
8.477 * [backup-simplify]: Simplify 0 into 0
8.477 * [backup-simplify]: Simplify 0 into 0
8.477 * [backup-simplify]: Simplify (sqrt (fabs (/ z t))) into (sqrt (fabs (/ z t)))
8.477 * [backup-simplify]: Simplify (sqrt (fabs (/ (/ 1 z) (/ 1 t)))) into (sqrt (fabs (/ t z)))
8.477 * [approximate]: Taking taylor expansion of (sqrt (fabs (/ t z))) in (z t) around 0
8.477 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ t z))) in t
8.477 * [taylor]: Taking taylor expansion of (fabs (/ t z)) in t
8.477 * [backup-simplify]: Simplify (fabs (/ t z)) into (fabs (/ t z))
8.477 * [backup-simplify]: Simplify (sqrt (fabs (/ t z))) into (sqrt (fabs (/ t z)))
8.478 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ t z))))) into 0
8.478 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ t z))) in z
8.478 * [taylor]: Taking taylor expansion of (fabs (/ t z)) in z
8.478 * [backup-simplify]: Simplify (fabs (/ t z)) into (fabs (/ t z))
8.478 * [backup-simplify]: Simplify (sqrt (fabs (/ t z))) into (sqrt (fabs (/ t z)))
8.478 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ t z))))) into 0
8.478 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ t z))) in z
8.478 * [taylor]: Taking taylor expansion of (fabs (/ t z)) in z
8.478 * [backup-simplify]: Simplify (fabs (/ t z)) into (fabs (/ t z))
8.478 * [backup-simplify]: Simplify (sqrt (fabs (/ t z))) into (sqrt (fabs (/ t z)))
8.478 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ t z))))) into 0
8.478 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ t z))) in t
8.478 * [taylor]: Taking taylor expansion of (fabs (/ t z)) in t
8.478 * [backup-simplify]: Simplify (fabs (/ t z)) into (fabs (/ t z))
8.479 * [backup-simplify]: Simplify (sqrt (fabs (/ t z))) into (sqrt (fabs (/ t z)))
8.479 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ t z))))) into 0
8.479 * [backup-simplify]: Simplify (sqrt (fabs (/ t z))) into (sqrt (fabs (/ t z)))
8.479 * [taylor]: Taking taylor expansion of 0 in t
8.479 * [backup-simplify]: Simplify 0 into 0
8.479 * [backup-simplify]: Simplify 0 into 0
8.479 * [backup-simplify]: Simplify 0 into 0
8.480 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ t z))))) into 0
8.480 * [taylor]: Taking taylor expansion of 0 in t
8.480 * [backup-simplify]: Simplify 0 into 0
8.480 * [backup-simplify]: Simplify 0 into 0
8.480 * [backup-simplify]: Simplify 0 into 0
8.481 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ t z))))) into 0
8.481 * [backup-simplify]: Simplify 0 into 0
8.482 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (/ t z))))) into 0
8.482 * [taylor]: Taking taylor expansion of 0 in t
8.482 * [backup-simplify]: Simplify 0 into 0
8.482 * [backup-simplify]: Simplify 0 into 0
8.482 * [backup-simplify]: Simplify (sqrt (fabs (/ (/ 1 t) (/ 1 z)))) into (sqrt (fabs (/ z t)))
8.483 * [backup-simplify]: Simplify (sqrt (fabs (/ (/ 1 (- z)) (/ 1 (- t))))) into (sqrt (fabs (/ t z)))
8.483 * [approximate]: Taking taylor expansion of (sqrt (fabs (/ t z))) in (z t) around 0
8.483 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ t z))) in t
8.483 * [taylor]: Taking taylor expansion of (fabs (/ t z)) in t
8.483 * [backup-simplify]: Simplify (fabs (/ t z)) into (fabs (/ t z))
8.483 * [backup-simplify]: Simplify (sqrt (fabs (/ t z))) into (sqrt (fabs (/ t z)))
8.483 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ t z))))) into 0
8.483 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ t z))) in z
8.483 * [taylor]: Taking taylor expansion of (fabs (/ t z)) in z
8.483 * [backup-simplify]: Simplify (fabs (/ t z)) into (fabs (/ t z))
8.483 * [backup-simplify]: Simplify (sqrt (fabs (/ t z))) into (sqrt (fabs (/ t z)))
8.483 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ t z))))) into 0
8.483 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ t z))) in z
8.483 * [taylor]: Taking taylor expansion of (fabs (/ t z)) in z
8.484 * [backup-simplify]: Simplify (fabs (/ t z)) into (fabs (/ t z))
8.484 * [backup-simplify]: Simplify (sqrt (fabs (/ t z))) into (sqrt (fabs (/ t z)))
8.484 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ t z))))) into 0
8.484 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ t z))) in t
8.484 * [taylor]: Taking taylor expansion of (fabs (/ t z)) in t
8.484 * [backup-simplify]: Simplify (fabs (/ t z)) into (fabs (/ t z))
8.484 * [backup-simplify]: Simplify (sqrt (fabs (/ t z))) into (sqrt (fabs (/ t z)))
8.484 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ t z))))) into 0
8.484 * [backup-simplify]: Simplify (sqrt (fabs (/ t z))) into (sqrt (fabs (/ t z)))
8.484 * [taylor]: Taking taylor expansion of 0 in t
8.484 * [backup-simplify]: Simplify 0 into 0
8.484 * [backup-simplify]: Simplify 0 into 0
8.484 * [backup-simplify]: Simplify 0 into 0
8.485 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ t z))))) into 0
8.485 * [taylor]: Taking taylor expansion of 0 in t
8.486 * [backup-simplify]: Simplify 0 into 0
8.486 * [backup-simplify]: Simplify 0 into 0
8.486 * [backup-simplify]: Simplify 0 into 0
8.486 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ t z))))) into 0
8.486 * [backup-simplify]: Simplify 0 into 0
8.487 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (/ t z))))) into 0
8.487 * [taylor]: Taking taylor expansion of 0 in t
8.487 * [backup-simplify]: Simplify 0 into 0
8.487 * [backup-simplify]: Simplify 0 into 0
8.487 * [backup-simplify]: Simplify (sqrt (fabs (/ (/ 1 (- t)) (/ 1 (- z))))) into (sqrt (fabs (/ z t)))
8.488 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1)
8.488 * [backup-simplify]: Simplify (sqrt (fabs (/ z t))) into (sqrt (fabs (/ z t)))
8.488 * [approximate]: Taking taylor expansion of (sqrt (fabs (/ z t))) in (z t) around 0
8.488 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ z t))) in t
8.488 * [taylor]: Taking taylor expansion of (fabs (/ z t)) in t
8.488 * [backup-simplify]: Simplify (fabs (/ z t)) into (fabs (/ z t))
8.488 * [backup-simplify]: Simplify (sqrt (fabs (/ z t))) into (sqrt (fabs (/ z t)))
8.488 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ z t))))) into 0
8.488 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ z t))) in z
8.488 * [taylor]: Taking taylor expansion of (fabs (/ z t)) in z
8.488 * [backup-simplify]: Simplify (fabs (/ z t)) into (fabs (/ z t))
8.488 * [backup-simplify]: Simplify (sqrt (fabs (/ z t))) into (sqrt (fabs (/ z t)))
8.489 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ z t))))) into 0
8.489 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ z t))) in z
8.489 * [taylor]: Taking taylor expansion of (fabs (/ z t)) in z
8.489 * [backup-simplify]: Simplify (fabs (/ z t)) into (fabs (/ z t))
8.489 * [backup-simplify]: Simplify (sqrt (fabs (/ z t))) into (sqrt (fabs (/ z t)))
8.489 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ z t))))) into 0
8.489 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ z t))) in t
8.489 * [taylor]: Taking taylor expansion of (fabs (/ z t)) in t
8.489 * [backup-simplify]: Simplify (fabs (/ z t)) into (fabs (/ z t))
8.489 * [backup-simplify]: Simplify (sqrt (fabs (/ z t))) into (sqrt (fabs (/ z t)))
8.489 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ z t))))) into 0
8.490 * [backup-simplify]: Simplify (sqrt (fabs (/ z t))) into (sqrt (fabs (/ z t)))
8.490 * [taylor]: Taking taylor expansion of 0 in t
8.490 * [backup-simplify]: Simplify 0 into 0
8.490 * [backup-simplify]: Simplify 0 into 0
8.490 * [backup-simplify]: Simplify 0 into 0
8.491 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ z t))))) into 0
8.491 * [taylor]: Taking taylor expansion of 0 in t
8.491 * [backup-simplify]: Simplify 0 into 0
8.491 * [backup-simplify]: Simplify 0 into 0
8.491 * [backup-simplify]: Simplify 0 into 0
8.492 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ z t))))) into 0
8.492 * [backup-simplify]: Simplify 0 into 0
8.492 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (/ z t))))) into 0
8.492 * [taylor]: Taking taylor expansion of 0 in t
8.492 * [backup-simplify]: Simplify 0 into 0
8.493 * [backup-simplify]: Simplify 0 into 0
8.493 * [backup-simplify]: Simplify (sqrt (fabs (/ z t))) into (sqrt (fabs (/ z t)))
8.493 * [backup-simplify]: Simplify (sqrt (fabs (/ (/ 1 z) (/ 1 t)))) into (sqrt (fabs (/ t z)))
8.493 * [approximate]: Taking taylor expansion of (sqrt (fabs (/ t z))) in (z t) around 0
8.493 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ t z))) in t
8.493 * [taylor]: Taking taylor expansion of (fabs (/ t z)) in t
8.493 * [backup-simplify]: Simplify (fabs (/ t z)) into (fabs (/ t z))
8.493 * [backup-simplify]: Simplify (sqrt (fabs (/ t z))) into (sqrt (fabs (/ t z)))
8.493 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ t z))))) into 0
8.493 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ t z))) in z
8.493 * [taylor]: Taking taylor expansion of (fabs (/ t z)) in z
8.493 * [backup-simplify]: Simplify (fabs (/ t z)) into (fabs (/ t z))
8.493 * [backup-simplify]: Simplify (sqrt (fabs (/ t z))) into (sqrt (fabs (/ t z)))
8.494 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ t z))))) into 0
8.494 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ t z))) in z
8.494 * [taylor]: Taking taylor expansion of (fabs (/ t z)) in z
8.494 * [backup-simplify]: Simplify (fabs (/ t z)) into (fabs (/ t z))
8.494 * [backup-simplify]: Simplify (sqrt (fabs (/ t z))) into (sqrt (fabs (/ t z)))
8.494 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ t z))))) into 0
8.494 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ t z))) in t
8.494 * [taylor]: Taking taylor expansion of (fabs (/ t z)) in t
8.494 * [backup-simplify]: Simplify (fabs (/ t z)) into (fabs (/ t z))
8.494 * [backup-simplify]: Simplify (sqrt (fabs (/ t z))) into (sqrt (fabs (/ t z)))
8.494 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ t z))))) into 0
8.495 * [backup-simplify]: Simplify (sqrt (fabs (/ t z))) into (sqrt (fabs (/ t z)))
8.495 * [taylor]: Taking taylor expansion of 0 in t
8.495 * [backup-simplify]: Simplify 0 into 0
8.495 * [backup-simplify]: Simplify 0 into 0
8.495 * [backup-simplify]: Simplify 0 into 0
8.496 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ t z))))) into 0
8.496 * [taylor]: Taking taylor expansion of 0 in t
8.496 * [backup-simplify]: Simplify 0 into 0
8.496 * [backup-simplify]: Simplify 0 into 0
8.496 * [backup-simplify]: Simplify 0 into 0
8.496 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ t z))))) into 0
8.497 * [backup-simplify]: Simplify 0 into 0
8.497 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (/ t z))))) into 0
8.497 * [taylor]: Taking taylor expansion of 0 in t
8.497 * [backup-simplify]: Simplify 0 into 0
8.497 * [backup-simplify]: Simplify 0 into 0
8.498 * [backup-simplify]: Simplify (sqrt (fabs (/ (/ 1 t) (/ 1 z)))) into (sqrt (fabs (/ z t)))
8.498 * [backup-simplify]: Simplify (sqrt (fabs (/ (/ 1 (- z)) (/ 1 (- t))))) into (sqrt (fabs (/ t z)))
8.498 * [approximate]: Taking taylor expansion of (sqrt (fabs (/ t z))) in (z t) around 0
8.498 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ t z))) in t
8.498 * [taylor]: Taking taylor expansion of (fabs (/ t z)) in t
8.498 * [backup-simplify]: Simplify (fabs (/ t z)) into (fabs (/ t z))
8.498 * [backup-simplify]: Simplify (sqrt (fabs (/ t z))) into (sqrt (fabs (/ t z)))
8.498 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ t z))))) into 0
8.498 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ t z))) in z
8.498 * [taylor]: Taking taylor expansion of (fabs (/ t z)) in z
8.498 * [backup-simplify]: Simplify (fabs (/ t z)) into (fabs (/ t z))
8.499 * [backup-simplify]: Simplify (sqrt (fabs (/ t z))) into (sqrt (fabs (/ t z)))
8.499 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ t z))))) into 0
8.499 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ t z))) in z
8.499 * [taylor]: Taking taylor expansion of (fabs (/ t z)) in z
8.499 * [backup-simplify]: Simplify (fabs (/ t z)) into (fabs (/ t z))
8.499 * [backup-simplify]: Simplify (sqrt (fabs (/ t z))) into (sqrt (fabs (/ t z)))
8.499 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ t z))))) into 0
8.499 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ t z))) in t
8.499 * [taylor]: Taking taylor expansion of (fabs (/ t z)) in t
8.499 * [backup-simplify]: Simplify (fabs (/ t z)) into (fabs (/ t z))
8.499 * [backup-simplify]: Simplify (sqrt (fabs (/ t z))) into (sqrt (fabs (/ t z)))
8.500 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ t z))))) into 0
8.500 * [backup-simplify]: Simplify (sqrt (fabs (/ t z))) into (sqrt (fabs (/ t z)))
8.500 * [taylor]: Taking taylor expansion of 0 in t
8.500 * [backup-simplify]: Simplify 0 into 0
8.500 * [backup-simplify]: Simplify 0 into 0
8.500 * [backup-simplify]: Simplify 0 into 0
8.501 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ t z))))) into 0
8.501 * [taylor]: Taking taylor expansion of 0 in t
8.501 * [backup-simplify]: Simplify 0 into 0
8.501 * [backup-simplify]: Simplify 0 into 0
8.501 * [backup-simplify]: Simplify 0 into 0
8.502 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ t z))))) into 0
8.502 * [backup-simplify]: Simplify 0 into 0
8.503 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (/ t z))))) into 0
8.503 * [taylor]: Taking taylor expansion of 0 in t
8.503 * [backup-simplify]: Simplify 0 into 0
8.503 * [backup-simplify]: Simplify 0 into 0
8.503 * [backup-simplify]: Simplify (sqrt (fabs (/ (/ 1 (- t)) (/ 1 (- z))))) into (sqrt (fabs (/ z t)))
8.503 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
8.503 * [backup-simplify]: Simplify (pow (sqrt (fabs (/ z t))) 3) into (pow (sqrt (fabs (/ z t))) 3)
8.503 * [approximate]: Taking taylor expansion of (pow (sqrt (fabs (/ z t))) 3) in (z t) around 0
8.503 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (/ z t))) 3) in t
8.503 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ z t))) in t
8.503 * [taylor]: Taking taylor expansion of (fabs (/ z t)) in t
8.504 * [backup-simplify]: Simplify (fabs (/ z t)) into (fabs (/ z t))
8.504 * [backup-simplify]: Simplify (sqrt (fabs (/ z t))) into (sqrt (fabs (/ z t)))
8.504 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ z t))))) into 0
8.504 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (/ z t))) 3) in z
8.504 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ z t))) in z
8.504 * [taylor]: Taking taylor expansion of (fabs (/ z t)) in z
8.504 * [backup-simplify]: Simplify (fabs (/ z t)) into (fabs (/ z t))
8.504 * [backup-simplify]: Simplify (sqrt (fabs (/ z t))) into (sqrt (fabs (/ z t)))
8.504 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ z t))))) into 0
8.504 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (/ z t))) 3) in z
8.504 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ z t))) in z
8.504 * [taylor]: Taking taylor expansion of (fabs (/ z t)) in z
8.504 * [backup-simplify]: Simplify (fabs (/ z t)) into (fabs (/ z t))
8.505 * [backup-simplify]: Simplify (sqrt (fabs (/ z t))) into (sqrt (fabs (/ z t)))
8.505 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ z t))))) into 0
8.505 * [backup-simplify]: Simplify (* (sqrt (fabs (/ z t))) (sqrt (fabs (/ z t)))) into (fabs (/ z t))
8.505 * [backup-simplify]: Simplify (* (sqrt (fabs (/ z t))) (fabs (/ z t))) into (sqrt (pow (fabs (/ z t)) 3))
8.505 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ z t)) 3)) in t
8.505 * [taylor]: Taking taylor expansion of (pow (fabs (/ z t)) 3) in t
8.505 * [taylor]: Taking taylor expansion of (fabs (/ z t)) in t
8.505 * [backup-simplify]: Simplify (fabs (/ z t)) into (fabs (/ z t))
8.506 * [backup-simplify]: Simplify (* (fabs (/ z t)) (fabs (/ z t))) into (pow (fabs (/ z t)) 2)
8.506 * [backup-simplify]: Simplify (* (fabs (/ z t)) (pow (fabs (/ z t)) 2)) into (pow (fabs (/ z t)) 3)
8.506 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ z t)) 3)) into (sqrt (pow (fabs (/ z t)) 3))
8.506 * [backup-simplify]: Simplify (+ (* (fabs (/ z t)) 0) (* 0 (fabs (/ z t)))) into 0
8.507 * [backup-simplify]: Simplify (+ (* (fabs (/ z t)) 0) (* 0 (pow (fabs (/ z t)) 2))) into 0
8.507 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ z t)) 3)))) into 0
8.507 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ z t)) 3)) into (sqrt (pow (fabs (/ z t)) 3))
8.508 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ z t))) 0) (* 0 (sqrt (fabs (/ z t))))) into 0
8.508 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ z t))) 0) (* 0 (fabs (/ z t)))) into 0
8.508 * [taylor]: Taking taylor expansion of 0 in t
8.508 * [backup-simplify]: Simplify 0 into 0
8.508 * [backup-simplify]: Simplify 0 into 0
8.508 * [backup-simplify]: Simplify 0 into 0
8.509 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ z t))))) into 0
8.510 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ z t))) 0) (+ (* 0 0) (* 0 (sqrt (fabs (/ z t)))))) into 0
8.511 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ z t))) 0) (+ (* 0 0) (* 0 (fabs (/ z t))))) into 0
8.511 * [taylor]: Taking taylor expansion of 0 in t
8.511 * [backup-simplify]: Simplify 0 into 0
8.511 * [backup-simplify]: Simplify 0 into 0
8.511 * [backup-simplify]: Simplify 0 into 0
8.512 * [backup-simplify]: Simplify (+ (* (fabs (/ z t)) 0) (+ (* 0 0) (* 0 (fabs (/ z t))))) into 0
8.512 * [backup-simplify]: Simplify (+ (* (fabs (/ z t)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ z t)) 2)))) into 0
8.513 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (/ z t)) 3)))) into 0
8.514 * [backup-simplify]: Simplify 0 into 0
8.515 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (/ z t))))) into 0
8.516 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ z t))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (fabs (/ z t))))))) into 0
8.517 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ z t))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ z t)))))) into 0
8.517 * [taylor]: Taking taylor expansion of 0 in t
8.517 * [backup-simplify]: Simplify 0 into 0
8.517 * [backup-simplify]: Simplify 0 into 0
8.517 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ z t)) 3)) into (sqrt (pow (fabs (/ z t)) 3))
8.517 * [backup-simplify]: Simplify (pow (sqrt (fabs (/ (/ 1 z) (/ 1 t)))) 3) into (pow (sqrt (fabs (/ t z))) 3)
8.517 * [approximate]: Taking taylor expansion of (pow (sqrt (fabs (/ t z))) 3) in (z t) around 0
8.518 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (/ t z))) 3) in t
8.518 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ t z))) in t
8.518 * [taylor]: Taking taylor expansion of (fabs (/ t z)) in t
8.518 * [backup-simplify]: Simplify (fabs (/ t z)) into (fabs (/ t z))
8.518 * [backup-simplify]: Simplify (sqrt (fabs (/ t z))) into (sqrt (fabs (/ t z)))
8.518 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ t z))))) into 0
8.518 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (/ t z))) 3) in z
8.518 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ t z))) in z
8.518 * [taylor]: Taking taylor expansion of (fabs (/ t z)) in z
8.518 * [backup-simplify]: Simplify (fabs (/ t z)) into (fabs (/ t z))
8.518 * [backup-simplify]: Simplify (sqrt (fabs (/ t z))) into (sqrt (fabs (/ t z)))
8.518 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ t z))))) into 0
8.518 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (/ t z))) 3) in z
8.518 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ t z))) in z
8.519 * [taylor]: Taking taylor expansion of (fabs (/ t z)) in z
8.519 * [backup-simplify]: Simplify (fabs (/ t z)) into (fabs (/ t z))
8.519 * [backup-simplify]: Simplify (sqrt (fabs (/ t z))) into (sqrt (fabs (/ t z)))
8.519 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ t z))))) into 0
8.519 * [backup-simplify]: Simplify (* (sqrt (fabs (/ t z))) (sqrt (fabs (/ t z)))) into (fabs (/ t z))
8.519 * [backup-simplify]: Simplify (* (sqrt (fabs (/ t z))) (fabs (/ t z))) into (sqrt (pow (fabs (/ t z)) 3))
8.519 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ t z)) 3)) in t
8.519 * [taylor]: Taking taylor expansion of (pow (fabs (/ t z)) 3) in t
8.519 * [taylor]: Taking taylor expansion of (fabs (/ t z)) in t
8.520 * [backup-simplify]: Simplify (fabs (/ t z)) into (fabs (/ t z))
8.520 * [backup-simplify]: Simplify (* (fabs (/ t z)) (fabs (/ t z))) into (pow (fabs (/ t z)) 2)
8.520 * [backup-simplify]: Simplify (* (fabs (/ t z)) (pow (fabs (/ t z)) 2)) into (pow (fabs (/ t z)) 3)
8.520 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ t z)) 3)) into (sqrt (pow (fabs (/ t z)) 3))
8.520 * [backup-simplify]: Simplify (+ (* (fabs (/ t z)) 0) (* 0 (fabs (/ t z)))) into 0
8.521 * [backup-simplify]: Simplify (+ (* (fabs (/ t z)) 0) (* 0 (pow (fabs (/ t z)) 2))) into 0
8.521 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ t z)) 3)))) into 0
8.521 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ t z)) 3)) into (sqrt (pow (fabs (/ t z)) 3))
8.521 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ t z))) 0) (* 0 (sqrt (fabs (/ t z))))) into 0
8.522 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ t z))) 0) (* 0 (fabs (/ t z)))) into 0
8.522 * [taylor]: Taking taylor expansion of 0 in t
8.522 * [backup-simplify]: Simplify 0 into 0
8.522 * [backup-simplify]: Simplify 0 into 0
8.522 * [backup-simplify]: Simplify 0 into 0
8.523 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ t z))))) into 0
8.523 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ t z))) 0) (+ (* 0 0) (* 0 (sqrt (fabs (/ t z)))))) into 0
8.524 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ t z))) 0) (+ (* 0 0) (* 0 (fabs (/ t z))))) into 0
8.524 * [taylor]: Taking taylor expansion of 0 in t
8.524 * [backup-simplify]: Simplify 0 into 0
8.524 * [backup-simplify]: Simplify 0 into 0
8.524 * [backup-simplify]: Simplify 0 into 0
8.525 * [backup-simplify]: Simplify (+ (* (fabs (/ t z)) 0) (+ (* 0 0) (* 0 (fabs (/ t z))))) into 0
8.525 * [backup-simplify]: Simplify (+ (* (fabs (/ t z)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ t z)) 2)))) into 0
8.526 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (/ t z)) 3)))) into 0
8.526 * [backup-simplify]: Simplify 0 into 0
8.527 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (/ t z))))) into 0
8.528 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ t z))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (fabs (/ t z))))))) into 0
8.529 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ t z))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ t z)))))) into 0
8.529 * [taylor]: Taking taylor expansion of 0 in t
8.529 * [backup-simplify]: Simplify 0 into 0
8.529 * [backup-simplify]: Simplify 0 into 0
8.529 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ (/ 1 t) (/ 1 z))) 3)) into (sqrt (pow (fabs (/ z t)) 3))
8.530 * [backup-simplify]: Simplify (pow (sqrt (fabs (/ (/ 1 (- z)) (/ 1 (- t))))) 3) into (pow (sqrt (fabs (/ t z))) 3)
8.530 * [approximate]: Taking taylor expansion of (pow (sqrt (fabs (/ t z))) 3) in (z t) around 0
8.530 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (/ t z))) 3) in t
8.530 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ t z))) in t
8.530 * [taylor]: Taking taylor expansion of (fabs (/ t z)) in t
8.530 * [backup-simplify]: Simplify (fabs (/ t z)) into (fabs (/ t z))
8.530 * [backup-simplify]: Simplify (sqrt (fabs (/ t z))) into (sqrt (fabs (/ t z)))
8.530 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ t z))))) into 0
8.530 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (/ t z))) 3) in z
8.530 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ t z))) in z
8.530 * [taylor]: Taking taylor expansion of (fabs (/ t z)) in z
8.530 * [backup-simplify]: Simplify (fabs (/ t z)) into (fabs (/ t z))
8.530 * [backup-simplify]: Simplify (sqrt (fabs (/ t z))) into (sqrt (fabs (/ t z)))
8.530 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ t z))))) into 0
8.530 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (/ t z))) 3) in z
8.530 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ t z))) in z
8.530 * [taylor]: Taking taylor expansion of (fabs (/ t z)) in z
8.531 * [backup-simplify]: Simplify (fabs (/ t z)) into (fabs (/ t z))
8.531 * [backup-simplify]: Simplify (sqrt (fabs (/ t z))) into (sqrt (fabs (/ t z)))
8.531 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ t z))))) into 0
8.531 * [backup-simplify]: Simplify (* (sqrt (fabs (/ t z))) (sqrt (fabs (/ t z)))) into (fabs (/ t z))
8.531 * [backup-simplify]: Simplify (* (sqrt (fabs (/ t z))) (fabs (/ t z))) into (sqrt (pow (fabs (/ t z)) 3))
8.531 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ t z)) 3)) in t
8.531 * [taylor]: Taking taylor expansion of (pow (fabs (/ t z)) 3) in t
8.531 * [taylor]: Taking taylor expansion of (fabs (/ t z)) in t
8.532 * [backup-simplify]: Simplify (fabs (/ t z)) into (fabs (/ t z))
8.532 * [backup-simplify]: Simplify (* (fabs (/ t z)) (fabs (/ t z))) into (pow (fabs (/ t z)) 2)
8.532 * [backup-simplify]: Simplify (* (fabs (/ t z)) (pow (fabs (/ t z)) 2)) into (pow (fabs (/ t z)) 3)
8.532 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ t z)) 3)) into (sqrt (pow (fabs (/ t z)) 3))
8.533 * [backup-simplify]: Simplify (+ (* (fabs (/ t z)) 0) (* 0 (fabs (/ t z)))) into 0
8.533 * [backup-simplify]: Simplify (+ (* (fabs (/ t z)) 0) (* 0 (pow (fabs (/ t z)) 2))) into 0
8.533 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ t z)) 3)))) into 0
8.533 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ t z)) 3)) into (sqrt (pow (fabs (/ t z)) 3))
8.534 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ t z))) 0) (* 0 (sqrt (fabs (/ t z))))) into 0
8.534 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ t z))) 0) (* 0 (fabs (/ t z)))) into 0
8.534 * [taylor]: Taking taylor expansion of 0 in t
8.534 * [backup-simplify]: Simplify 0 into 0
8.534 * [backup-simplify]: Simplify 0 into 0
8.534 * [backup-simplify]: Simplify 0 into 0
8.535 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ t z))))) into 0
8.536 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ t z))) 0) (+ (* 0 0) (* 0 (sqrt (fabs (/ t z)))))) into 0
8.537 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ t z))) 0) (+ (* 0 0) (* 0 (fabs (/ t z))))) into 0
8.537 * [taylor]: Taking taylor expansion of 0 in t
8.537 * [backup-simplify]: Simplify 0 into 0
8.537 * [backup-simplify]: Simplify 0 into 0
8.537 * [backup-simplify]: Simplify 0 into 0
8.537 * [backup-simplify]: Simplify (+ (* (fabs (/ t z)) 0) (+ (* 0 0) (* 0 (fabs (/ t z))))) into 0
8.538 * [backup-simplify]: Simplify (+ (* (fabs (/ t z)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ t z)) 2)))) into 0
8.539 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (/ t z)) 3)))) into 0
8.539 * [backup-simplify]: Simplify 0 into 0
8.540 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (/ t z))))) into 0
8.542 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ t z))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (fabs (/ t z))))))) into 0
8.543 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ t z))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ t z)))))) into 0
8.543 * [taylor]: Taking taylor expansion of 0 in t
8.543 * [backup-simplify]: Simplify 0 into 0
8.543 * [backup-simplify]: Simplify 0 into 0
8.543 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ (/ 1 (- t)) (/ 1 (- z)))) 3)) into (sqrt (pow (fabs (/ z t)) 3))
8.543 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
8.544 * [backup-simplify]: Simplify (* (fabs (/ x y)) (fabs (/ x y))) into (pow (fabs (/ x y)) 2)
8.544 * [approximate]: Taking taylor expansion of (pow (fabs (/ x y)) 2) in (x y) around 0
8.544 * [taylor]: Taking taylor expansion of (pow (fabs (/ x y)) 2) in y
8.544 * [taylor]: Taking taylor expansion of (fabs (/ x y)) in y
8.544 * [backup-simplify]: Simplify (fabs (/ x y)) into (fabs (/ x y))
8.544 * [taylor]: Taking taylor expansion of (pow (fabs (/ x y)) 2) in x
8.544 * [taylor]: Taking taylor expansion of (fabs (/ x y)) in x
8.544 * [backup-simplify]: Simplify (fabs (/ x y)) into (fabs (/ x y))
8.544 * [taylor]: Taking taylor expansion of (pow (fabs (/ x y)) 2) in x
8.544 * [taylor]: Taking taylor expansion of (fabs (/ x y)) in x
8.544 * [backup-simplify]: Simplify (fabs (/ x y)) into (fabs (/ x y))
8.544 * [backup-simplify]: Simplify (* (fabs (/ x y)) (fabs (/ x y))) into (pow (fabs (/ x y)) 2)
8.544 * [taylor]: Taking taylor expansion of (pow (fabs (/ x y)) 2) in y
8.544 * [taylor]: Taking taylor expansion of (fabs (/ x y)) in y
8.544 * [backup-simplify]: Simplify (fabs (/ x y)) into (fabs (/ x y))
8.545 * [backup-simplify]: Simplify (* (fabs (/ x y)) (fabs (/ x y))) into (pow (fabs (/ x y)) 2)
8.545 * [backup-simplify]: Simplify (pow (fabs (/ x y)) 2) into (pow (fabs (/ x y)) 2)
8.545 * [backup-simplify]: Simplify (+ (* (fabs (/ x y)) 0) (* 0 (fabs (/ x y)))) into 0
8.545 * [taylor]: Taking taylor expansion of 0 in y
8.545 * [backup-simplify]: Simplify 0 into 0
8.545 * [backup-simplify]: Simplify 0 into 0
8.545 * [backup-simplify]: Simplify (+ (* (fabs (/ x y)) 0) (* 0 (fabs (/ x y)))) into 0
8.545 * [backup-simplify]: Simplify 0 into 0
8.546 * [backup-simplify]: Simplify (+ (* (fabs (/ x y)) 0) (+ (* 0 0) (* 0 (fabs (/ x y))))) into 0
8.546 * [taylor]: Taking taylor expansion of 0 in y
8.546 * [backup-simplify]: Simplify 0 into 0
8.546 * [backup-simplify]: Simplify 0 into 0
8.546 * [backup-simplify]: Simplify 0 into 0
8.547 * [backup-simplify]: Simplify (+ (* (fabs (/ x y)) 0) (+ (* 0 0) (* 0 (fabs (/ x y))))) into 0
8.547 * [backup-simplify]: Simplify 0 into 0
8.548 * [backup-simplify]: Simplify (+ (* (fabs (/ x y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ x y)))))) into 0
8.548 * [taylor]: Taking taylor expansion of 0 in y
8.548 * [backup-simplify]: Simplify 0 into 0
8.548 * [backup-simplify]: Simplify 0 into 0
8.548 * [backup-simplify]: Simplify (pow (fabs (/ x y)) 2) into (pow (fabs (/ x y)) 2)
8.548 * [backup-simplify]: Simplify (* (fabs (/ (/ 1 x) (/ 1 y))) (fabs (/ (/ 1 x) (/ 1 y)))) into (pow (fabs (/ y x)) 2)
8.548 * [approximate]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in (x y) around 0
8.548 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in y
8.548 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in y
8.548 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
8.548 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in x
8.548 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in x
8.548 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
8.549 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in x
8.549 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in x
8.549 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
8.549 * [backup-simplify]: Simplify (* (fabs (/ y x)) (fabs (/ y x))) into (pow (fabs (/ y x)) 2)
8.549 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in y
8.549 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in y
8.549 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
8.549 * [backup-simplify]: Simplify (* (fabs (/ y x)) (fabs (/ y x))) into (pow (fabs (/ y x)) 2)
8.549 * [backup-simplify]: Simplify (pow (fabs (/ y x)) 2) into (pow (fabs (/ y x)) 2)
8.550 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (* 0 (fabs (/ y x)))) into 0
8.550 * [taylor]: Taking taylor expansion of 0 in y
8.550 * [backup-simplify]: Simplify 0 into 0
8.550 * [backup-simplify]: Simplify 0 into 0
8.550 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (* 0 (fabs (/ y x)))) into 0
8.550 * [backup-simplify]: Simplify 0 into 0
8.551 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (+ (* 0 0) (* 0 (fabs (/ y x))))) into 0
8.551 * [taylor]: Taking taylor expansion of 0 in y
8.551 * [backup-simplify]: Simplify 0 into 0
8.551 * [backup-simplify]: Simplify 0 into 0
8.551 * [backup-simplify]: Simplify 0 into 0
8.551 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (+ (* 0 0) (* 0 (fabs (/ y x))))) into 0
8.551 * [backup-simplify]: Simplify 0 into 0
8.552 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ y x)))))) into 0
8.552 * [taylor]: Taking taylor expansion of 0 in y
8.552 * [backup-simplify]: Simplify 0 into 0
8.552 * [backup-simplify]: Simplify 0 into 0
8.553 * [backup-simplify]: Simplify (pow (fabs (/ (/ 1 y) (/ 1 x))) 2) into (pow (fabs (/ x y)) 2)
8.553 * [backup-simplify]: Simplify (* (fabs (/ (/ 1 (- x)) (/ 1 (- y)))) (fabs (/ (/ 1 (- x)) (/ 1 (- y))))) into (pow (fabs (/ y x)) 2)
8.553 * [approximate]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in (x y) around 0
8.553 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in y
8.553 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in y
8.553 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
8.553 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in x
8.553 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in x
8.553 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
8.553 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in x
8.553 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in x
8.553 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
8.554 * [backup-simplify]: Simplify (* (fabs (/ y x)) (fabs (/ y x))) into (pow (fabs (/ y x)) 2)
8.554 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in y
8.554 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in y
8.554 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
8.554 * [backup-simplify]: Simplify (* (fabs (/ y x)) (fabs (/ y x))) into (pow (fabs (/ y x)) 2)
8.554 * [backup-simplify]: Simplify (pow (fabs (/ y x)) 2) into (pow (fabs (/ y x)) 2)
8.554 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (* 0 (fabs (/ y x)))) into 0
8.554 * [taylor]: Taking taylor expansion of 0 in y
8.554 * [backup-simplify]: Simplify 0 into 0
8.554 * [backup-simplify]: Simplify 0 into 0
8.555 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (* 0 (fabs (/ y x)))) into 0
8.555 * [backup-simplify]: Simplify 0 into 0
8.555 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (+ (* 0 0) (* 0 (fabs (/ y x))))) into 0
8.555 * [taylor]: Taking taylor expansion of 0 in y
8.555 * [backup-simplify]: Simplify 0 into 0
8.555 * [backup-simplify]: Simplify 0 into 0
8.556 * [backup-simplify]: Simplify 0 into 0
8.556 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (+ (* 0 0) (* 0 (fabs (/ y x))))) into 0
8.556 * [backup-simplify]: Simplify 0 into 0
8.557 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ y x)))))) into 0
8.557 * [taylor]: Taking taylor expansion of 0 in y
8.557 * [backup-simplify]: Simplify 0 into 0
8.557 * [backup-simplify]: Simplify 0 into 0
8.557 * [backup-simplify]: Simplify (pow (fabs (/ (/ 1 (- y)) (/ 1 (- x)))) 2) into (pow (fabs (/ x y)) 2)
8.557 * * * [progress]: simplifying candidates
8.559 * [simplify]: Simplifying:
  (log (sqrt (fabs (/ z t))))
  (exp (sqrt (fabs (/ z t))))
  (* (cbrt (sqrt (fabs (/ z t)))) (cbrt (sqrt (fabs (/ z t)))))
  (cbrt (sqrt (fabs (/ z t))))
  (* (* (sqrt (fabs (/ z t))) (sqrt (fabs (/ z t)))) (sqrt (fabs (/ z t))))
  (sqrt (* (cbrt (fabs (/ z t))) (cbrt (fabs (/ z t)))))
  (sqrt (cbrt (fabs (/ z t))))
  (sqrt (sqrt (fabs (/ z t))))
  (sqrt (sqrt (fabs (/ z t))))
  (sqrt 1)
  (sqrt (fabs (/ z t)))
  (/ 1 2)
  (sqrt (sqrt (fabs (/ z t))))
  (sqrt (sqrt (fabs (/ z t))))
  (log (sqrt (fabs (/ z t))))
  (exp (sqrt (fabs (/ z t))))
  (* (cbrt (sqrt (fabs (/ z t)))) (cbrt (sqrt (fabs (/ z t)))))
  (cbrt (sqrt (fabs (/ z t))))
  (* (* (sqrt (fabs (/ z t))) (sqrt (fabs (/ z t)))) (sqrt (fabs (/ z t))))
  (sqrt (* (cbrt (fabs (/ z t))) (cbrt (fabs (/ z t)))))
  (sqrt (cbrt (fabs (/ z t))))
  (sqrt (sqrt (fabs (/ z t))))
  (sqrt (sqrt (fabs (/ z t))))
  (sqrt 1)
  (sqrt (fabs (/ z t)))
  (/ 1 2)
  (sqrt (sqrt (fabs (/ z t))))
  (sqrt (sqrt (fabs (/ z t))))
  (* (log (sqrt (fabs (/ z t)))) 3)
  (* (log (sqrt (fabs (/ z t)))) 3)
  (* 1/2 3)
  (* 1 3)
  (* (/ 1 2) 3)
  (pow (sqrt (fabs (/ z t))) (* (cbrt 3) (cbrt 3)))
  (pow (sqrt (fabs (/ z t))) (sqrt 3))
  (pow (sqrt (fabs (/ z t))) 1)
  (pow (* (cbrt (sqrt (fabs (/ z t)))) (cbrt (sqrt (fabs (/ z t))))) 3)
  (pow (cbrt (sqrt (fabs (/ z t)))) 3)
  (pow (sqrt (* (cbrt (fabs (/ z t))) (cbrt (fabs (/ z t))))) 3)
  (pow (sqrt (cbrt (fabs (/ z t)))) 3)
  (pow (sqrt (sqrt (fabs (/ z t)))) 3)
  (pow (sqrt (sqrt (fabs (/ z t)))) 3)
  (pow (sqrt 1) 3)
  (pow (sqrt (fabs (/ z t))) 3)
  (pow (sqrt (sqrt (fabs (/ z t)))) 3)
  (pow (sqrt (sqrt (fabs (/ z t)))) 3)
  (pow 1 3)
  (pow (sqrt (fabs (/ z t))) 3)
  (* (sqrt (fabs (/ z t))) (sqrt (fabs (/ z t))))
  (log (pow (sqrt (fabs (/ z t))) 3))
  (exp (pow (sqrt (fabs (/ z t))) 3))
  (* (cbrt (pow (sqrt (fabs (/ z t))) 3)) (cbrt (pow (sqrt (fabs (/ z t))) 3)))
  (cbrt (pow (sqrt (fabs (/ z t))) 3))
  (* (* (pow (sqrt (fabs (/ z t))) 3) (pow (sqrt (fabs (/ z t))) 3)) (pow (sqrt (fabs (/ z t))) 3))
  (pow (* (cbrt (sqrt (fabs (/ z t)))) (cbrt (sqrt (fabs (/ z t))))) 3)
  (pow (cbrt (sqrt (fabs (/ z t)))) 3)
  (pow (sqrt (* (cbrt (fabs (/ z t))) (cbrt (fabs (/ z t))))) 3)
  (pow (sqrt (cbrt (fabs (/ z t)))) 3)
  (pow (sqrt (sqrt (fabs (/ z t)))) 3)
  (pow (sqrt (sqrt (fabs (/ z t)))) 3)
  (pow (sqrt 1) 3)
  (pow (sqrt (fabs (/ z t))) 3)
  (pow (sqrt (sqrt (fabs (/ z t)))) 3)
  (pow (sqrt (sqrt (fabs (/ z t)))) 3)
  (pow 1 3)
  (pow (sqrt (fabs (/ z t))) 3)
  (* (sqrt (fabs (/ z t))) (sqrt (fabs (/ z t))))
  (/ 3 2)
  (sqrt (pow (sqrt (fabs (/ z t))) 3))
  (sqrt (pow (sqrt (fabs (/ z t))) 3))
  (pow (sqrt (fabs (/ z t))) (/ 3 2))
  (pow (sqrt (fabs (/ z t))) (/ 3 2))
  (+ 1 1)
  (* (fabs (/ x y)) (fabs (/ x y)))
  (+ 1 1)
  (+ (log (fabs (/ x y))) (log (fabs (/ x y))))
  (log (* (fabs (/ x y)) (fabs (/ x y))))
  (exp (* (fabs (/ x y)) (fabs (/ x y))))
  (* (* (* (fabs (/ x y)) (fabs (/ x y))) (fabs (/ x y))) (* (* (fabs (/ x y)) (fabs (/ x y))) (fabs (/ x y))))
  (* (cbrt (* (fabs (/ x y)) (fabs (/ x y)))) (cbrt (* (fabs (/ x y)) (fabs (/ x y)))))
  (cbrt (* (fabs (/ x y)) (fabs (/ x y))))
  (* (* (* (fabs (/ x y)) (fabs (/ x y))) (* (fabs (/ x y)) (fabs (/ x y)))) (* (fabs (/ x y)) (fabs (/ x y))))
  (sqrt (* (fabs (/ x y)) (fabs (/ x y))))
  (sqrt (* (fabs (/ x y)) (fabs (/ x y))))
  (* (* (cbrt (fabs (/ x y))) (cbrt (fabs (/ x y)))) (* (cbrt (fabs (/ x y))) (cbrt (fabs (/ x y)))))
  (* (cbrt (fabs (/ x y))) (cbrt (fabs (/ x y))))
  (* (sqrt (fabs (/ x y))) (sqrt (fabs (/ x y))))
  (* (sqrt (fabs (/ x y))) (sqrt (fabs (/ x y))))
  (* 1 1)
  (* (fabs (/ x y)) (fabs (/ x y)))
  (* (sqrt (fabs (/ x y))) (sqrt (fabs (/ x y))))
  (* (sqrt (fabs (/ x y))) (sqrt (fabs (/ x y))))
  (* 2 1)
  (* (fabs (/ x y)) (* (cbrt (fabs (/ x y))) (cbrt (fabs (/ x y)))))
  (* (fabs (/ x y)) (sqrt (fabs (/ x y))))
  (* (fabs (/ x y)) 1)
  (* (cbrt (fabs (/ x y))) (fabs (/ x y)))
  (* (sqrt (fabs (/ x y))) (fabs (/ x y)))
  (* (fabs (/ x y)) (fabs (/ x y)))
  (sqrt (fabs (/ z t)))
  (sqrt (fabs (/ z t)))
  (sqrt (fabs (/ z t)))
  (sqrt (fabs (/ z t)))
  (sqrt (fabs (/ z t)))
  (sqrt (fabs (/ z t)))
  (sqrt (pow (fabs (/ z t)) 3))
  (sqrt (pow (fabs (/ z t)) 3))
  (sqrt (pow (fabs (/ z t)) 3))
  (pow (fabs (/ x y)) 2)
  (pow (fabs (/ x y)) 2)
  (pow (fabs (/ x y)) 2)
8.562 * * [simplify]: Extracting # 0 : cost  0
8.562 * * [simplify]: Extracting # 1 : cost  0
8.562 * * [simplify]: Extracting # 2 : cost  0
8.562 * * [simplify]: Extracting # 3 : cost  0
8.562 * * [simplify]: Extracting # 4 : cost  0
8.563 * * [simplify]: Extracting # 5 : cost  0
8.563 * * [simplify]: Extracting # 6 : cost  0
8.563 * * [simplify]: Extracting # 7 : cost  0
8.563 * * [simplify]: Extracting # 8 : cost  0
8.563 * * [simplify]: Extracting # 9 : cost  0
8.564 * * [simplify]: iteration  0 :  81  enodes  (cost  950 )
8.616 * * [simplify]: Extracting # 0 : cost  0
8.617 * * [simplify]: Extracting # 1 : cost  0
8.617 * * [simplify]: Extracting # 2 : cost  0
8.617 * * [simplify]: Extracting # 3 : cost  0
8.618 * * [simplify]: Extracting # 4 : cost  0
8.618 * * [simplify]: iteration  1 :  243  enodes  (cost  738 )
8.853 * * [simplify]: Extracting # 0 : cost  0
8.856 * * [simplify]: Extracting # 1 : cost  0
8.859 * * [simplify]: Extracting # 2 : cost  0
8.861 * * [simplify]: Extracting # 3 : cost  0
8.863 * * [simplify]: Extracting # 4 : cost  0
8.865 * * [simplify]: iteration  2 :  1563  enodes  (cost  673 )
10.528 * * [simplify]: Extracting # 0 : cost  0
10.562 * * [simplify]: Extracting # 1 : cost  0
10.578 * * [simplify]: Extracting # 2 : cost  0
10.589 * * [simplify]: Extracting # 3 : cost  0
10.601 * * [simplify]: Extracting # 4 : cost  0
10.613 * * [simplify]: iteration done:  5001  enodes  (cost  646 )
10.614 * [simplify]: Simplified to:
  (log (sqrt (fabs (/ z t))))
  (exp (sqrt (fabs (/ z t))))
  (cbrt (fabs (/ z t)))
  (cbrt (sqrt (fabs (/ z t))))
  (pow (sqrt (fabs (/ z t))) 3)
  (fabs (cbrt (fabs (/ z t))))
  (sqrt (cbrt (fabs (/ z t))))
  (sqrt (sqrt (fabs (/ z t))))
  (sqrt (sqrt (fabs (/ z t))))
  1
  (sqrt (fabs (/ z t)))
  1/2
  (sqrt (sqrt (fabs (/ z t))))
  (sqrt (sqrt (fabs (/ z t))))
  (log (sqrt (fabs (/ z t))))
  (exp (sqrt (fabs (/ z t))))
  (cbrt (fabs (/ z t)))
  (cbrt (sqrt (fabs (/ z t))))
  (pow (sqrt (fabs (/ z t))) 3)
  (fabs (cbrt (fabs (/ z t))))
  (sqrt (cbrt (fabs (/ z t))))
  (sqrt (sqrt (fabs (/ z t))))
  (sqrt (sqrt (fabs (/ z t))))
  1
  (sqrt (fabs (/ z t)))
  1/2
  (sqrt (sqrt (fabs (/ z t))))
  (sqrt (sqrt (fabs (/ z t))))
  (* (log (sqrt (fabs (/ z t)))) 3)
  (* (log (sqrt (fabs (/ z t)))) 3)
  3/2
  3
  3/2
  (pow (sqrt (fabs (/ z t))) (* (cbrt 3) (cbrt 3)))
  (pow (sqrt (fabs (/ z t))) (sqrt 3))
  (sqrt (fabs (/ z t)))
  (fabs (/ z t))
  (sqrt (fabs (/ z t)))
  (pow (fabs (cbrt (fabs (/ z t)))) 3)
  (pow (sqrt (cbrt (fabs (/ z t)))) 3)
  (pow (sqrt (sqrt (fabs (/ z t)))) 3)
  (pow (sqrt (sqrt (fabs (/ z t)))) 3)
  1
  (pow (sqrt (fabs (/ z t))) 3)
  (pow (sqrt (sqrt (fabs (/ z t)))) 3)
  (pow (sqrt (sqrt (fabs (/ z t)))) 3)
  1
  (pow (sqrt (fabs (/ z t))) 3)
  (fabs (/ z t))
  (* (log (sqrt (fabs (/ z t)))) 3)
  (exp (pow (sqrt (fabs (/ z t))) 3))
  (fabs (/ z t))
  (sqrt (fabs (/ z t)))
  (pow (pow (sqrt (fabs (/ z t))) 3) 3)
  (fabs (/ z t))
  (sqrt (fabs (/ z t)))
  (pow (fabs (cbrt (fabs (/ z t)))) 3)
  (pow (sqrt (cbrt (fabs (/ z t)))) 3)
  (pow (sqrt (sqrt (fabs (/ z t)))) 3)
  (pow (sqrt (sqrt (fabs (/ z t)))) 3)
  1
  (pow (sqrt (fabs (/ z t))) 3)
  (pow (sqrt (sqrt (fabs (/ z t)))) 3)
  (pow (sqrt (sqrt (fabs (/ z t)))) 3)
  1
  (pow (sqrt (fabs (/ z t))) 3)
  (fabs (/ z t))
  3/2
  (sqrt (pow (sqrt (fabs (/ z t))) 3))
  (sqrt (pow (sqrt (fabs (/ z t))) 3))
  (pow (sqrt (fabs (/ z t))) 3/2)
  (pow (sqrt (fabs (/ z t))) 3/2)
  2
  (pow (fabs (/ x y)) 2)
  2
  (* 2 (log (fabs (/ x y))))
  (* 2 (log (fabs (/ x y))))
  (exp (pow (fabs (/ x y)) 2))
  (pow (pow (fabs (/ x y)) 2) 3)
  (* (cbrt (pow (fabs (/ x y)) 2)) (cbrt (pow (fabs (/ x y)) 2)))
  (cbrt (pow (fabs (/ x y)) 2))
  (pow (pow (fabs (/ x y)) 2) 3)
  (fabs (fabs (/ x y)))
  (fabs (fabs (/ x y)))
  (pow (cbrt (fabs (/ x y))) (+ 3 1))
  (* (cbrt (fabs (/ x y))) (cbrt (fabs (/ x y))))
  (fabs (/ x y))
  (fabs (/ x y))
  1
  (pow (fabs (/ x y)) 2)
  (fabs (/ x y))
  (fabs (/ x y))
  2
  (* (cbrt (fabs (/ x y))) (pow (cbrt (fabs (/ x y))) (+ 3 1)))
  (pow (sqrt (fabs (/ x y))) 3)
  (fabs (/ x y))
  (pow (cbrt (fabs (/ x y))) (+ 3 1))
  (pow (sqrt (fabs (/ x y))) 3)
  (pow (fabs (/ x y)) 2)
  (sqrt (fabs (/ z t)))
  (sqrt (fabs (/ z t)))
  (sqrt (fabs (/ z t)))
  (sqrt (fabs (/ z t)))
  (sqrt (fabs (/ z t)))
  (sqrt (fabs (/ z t)))
  (sqrt (pow (fabs (/ z t)) 3))
  (sqrt (pow (fabs (/ z t)) 3))
  (sqrt (pow (fabs (/ z t)) 3))
  (pow (fabs (/ x y)) 2)
  (pow (fabs (/ x y)) 2)
  (pow (fabs (/ x y)) 2)
10.615 * * * [progress]: adding candidates to table
11.159 * [progress]: [Phase 3 of 3] Extracting.
11.159 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (+ (/ x (/ (* y y) x)) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (sqrt (fabs (/ x y))) (pow (sqrt (fabs (/ x y))) 3)) (* (fabs (/ z t)) (fabs (/ z t)))))> #<alt (λ (x y z t) (+ (/ (/ (* x x) y) y) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (/ (* x x) (* y y)) (/ z (/ (* t t) z))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (/ (/ (* z z) t) t)))> #<alt (λ (x y z t) (+ (cbrt (pow (pow (fabs (/ x y)) 2) 3)) (* (fabs (/ z t)) (fabs (/ z t)))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (pow (sqrt (fabs (/ z t))) 3) (* (cbrt (fabs (/ z t))) (cbrt (sqrt (fabs (/ z t))))))))> #<alt (λ (x y z t) (+ (* (* (cbrt (fabs (/ x y))) (pow (cbrt (fabs (/ x y))) (+ 3 1))) (cbrt (fabs (/ x y)))) (* (fabs (/ z t)) (fabs (/ z t)))))> #<alt (λ (x y z t) (+ (* (* x x) (/ 1 (* y y))) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (pow (fabs (/ z t)) 3/2) (sqrt (fabs (/ z t))))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (fabs (/ z t)) (sqrt (fabs (/ z t)))) (sqrt (fabs (/ z t))))))> #<alt (λ (x y z t) (+ (* (* (cbrt (pow (fabs (/ x y)) 2)) (cbrt (pow (fabs (/ x y)) 2))) (cbrt (pow (fabs (/ x y)) 2))) (* (fabs (/ z t)) (fabs (/ z t)))))>)
11.170 * * * [regime-changes]: Trying 10 branch expressions: ((* t t) (* z z) (/ (* z z) (* t t)) (* y y) (* x x) (/ (* x x) (* y y)) t z y x)
11.170 * * * * [regimes]: Trying to branch on (* t t) from (#<alt (λ (x y z t) (+ (/ x (/ (* y y) x)) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (sqrt (fabs (/ x y))) (pow (sqrt (fabs (/ x y))) 3)) (* (fabs (/ z t)) (fabs (/ z t)))))> #<alt (λ (x y z t) (+ (/ (/ (* x x) y) y) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (/ (* x x) (* y y)) (/ z (/ (* t t) z))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (/ (/ (* z z) t) t)))> #<alt (λ (x y z t) (+ (cbrt (pow (pow (fabs (/ x y)) 2) 3)) (* (fabs (/ z t)) (fabs (/ z t)))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (pow (sqrt (fabs (/ z t))) 3) (* (cbrt (fabs (/ z t))) (cbrt (sqrt (fabs (/ z t))))))))> #<alt (λ (x y z t) (+ (* (* (cbrt (fabs (/ x y))) (pow (cbrt (fabs (/ x y))) (+ 3 1))) (cbrt (fabs (/ x y)))) (* (fabs (/ z t)) (fabs (/ z t)))))> #<alt (λ (x y z t) (+ (* (* x x) (/ 1 (* y y))) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (pow (fabs (/ z t)) 3/2) (sqrt (fabs (/ z t))))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (fabs (/ z t)) (sqrt (fabs (/ z t)))) (sqrt (fabs (/ z t))))))> #<alt (λ (x y z t) (+ (* (* (cbrt (pow (fabs (/ x y)) 2)) (cbrt (pow (fabs (/ x y)) 2))) (cbrt (pow (fabs (/ x y)) 2))) (* (fabs (/ z t)) (fabs (/ z t)))))>)
11.316 * * * * [regimes]: Trying to branch on (* t t) from (#<alt (λ (x y z t) (+ (/ x (/ (* y y) x)) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (/ (/ (* x x) y) y) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (/ (* x x) (* y y)) (/ z (/ (* t t) z))))> #<alt (λ (x y z t) (+ (* (* x x) (/ 1 (* y y))) (/ (* z z) (* t t))))>)
11.409 * * * * [regimes]: Trying to branch on (* z z) from (#<alt (λ (x y z t) (+ (/ x (/ (* y y) x)) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (sqrt (fabs (/ x y))) (pow (sqrt (fabs (/ x y))) 3)) (* (fabs (/ z t)) (fabs (/ z t)))))> #<alt (λ (x y z t) (+ (/ (/ (* x x) y) y) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (/ (* x x) (* y y)) (/ z (/ (* t t) z))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (/ (/ (* z z) t) t)))> #<alt (λ (x y z t) (+ (cbrt (pow (pow (fabs (/ x y)) 2) 3)) (* (fabs (/ z t)) (fabs (/ z t)))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (pow (sqrt (fabs (/ z t))) 3) (* (cbrt (fabs (/ z t))) (cbrt (sqrt (fabs (/ z t))))))))> #<alt (λ (x y z t) (+ (* (* (cbrt (fabs (/ x y))) (pow (cbrt (fabs (/ x y))) (+ 3 1))) (cbrt (fabs (/ x y)))) (* (fabs (/ z t)) (fabs (/ z t)))))> #<alt (λ (x y z t) (+ (* (* x x) (/ 1 (* y y))) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (pow (fabs (/ z t)) 3/2) (sqrt (fabs (/ z t))))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (fabs (/ z t)) (sqrt (fabs (/ z t)))) (sqrt (fabs (/ z t))))))> #<alt (λ (x y z t) (+ (* (* (cbrt (pow (fabs (/ x y)) 2)) (cbrt (pow (fabs (/ x y)) 2))) (cbrt (pow (fabs (/ x y)) 2))) (* (fabs (/ z t)) (fabs (/ z t)))))>)
11.564 * * * * [regimes]: Trying to branch on (* z z) from (#<alt (λ (x y z t) (+ (/ x (/ (* y y) x)) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (/ (/ (* x x) y) y) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (/ (/ (* z z) t) t)))> #<alt (λ (x y z t) (+ (* (* x x) (/ 1 (* y y))) (/ (* z z) (* t t))))>)
11.653 * * * * [regimes]: Trying to branch on (/ (* z z) (* t t)) from (#<alt (λ (x y z t) (+ (/ x (/ (* y y) x)) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (sqrt (fabs (/ x y))) (pow (sqrt (fabs (/ x y))) 3)) (* (fabs (/ z t)) (fabs (/ z t)))))> #<alt (λ (x y z t) (+ (/ (/ (* x x) y) y) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (/ (* x x) (* y y)) (/ z (/ (* t t) z))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (/ (/ (* z z) t) t)))> #<alt (λ (x y z t) (+ (cbrt (pow (pow (fabs (/ x y)) 2) 3)) (* (fabs (/ z t)) (fabs (/ z t)))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (pow (sqrt (fabs (/ z t))) 3) (* (cbrt (fabs (/ z t))) (cbrt (sqrt (fabs (/ z t))))))))> #<alt (λ (x y z t) (+ (* (* (cbrt (fabs (/ x y))) (pow (cbrt (fabs (/ x y))) (+ 3 1))) (cbrt (fabs (/ x y)))) (* (fabs (/ z t)) (fabs (/ z t)))))> #<alt (λ (x y z t) (+ (* (* x x) (/ 1 (* y y))) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (pow (fabs (/ z t)) 3/2) (sqrt (fabs (/ z t))))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (fabs (/ z t)) (sqrt (fabs (/ z t)))) (sqrt (fabs (/ z t))))))> #<alt (λ (x y z t) (+ (* (* (cbrt (pow (fabs (/ x y)) 2)) (cbrt (pow (fabs (/ x y)) 2))) (cbrt (pow (fabs (/ x y)) 2))) (* (fabs (/ z t)) (fabs (/ z t)))))>)
11.817 * * * * [regimes]: Trying to branch on (/ (* z z) (* t t)) from (#<alt (λ (x y z t) (+ (/ x (/ (* y y) x)) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (/ (/ (* x x) y) y) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (* x x) (/ 1 (* y y))) (/ (* z z) (* t t))))>)
11.895 * * * * [regimes]: Trying to branch on (* y y) from (#<alt (λ (x y z t) (+ (/ x (/ (* y y) x)) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (sqrt (fabs (/ x y))) (pow (sqrt (fabs (/ x y))) 3)) (* (fabs (/ z t)) (fabs (/ z t)))))> #<alt (λ (x y z t) (+ (/ (/ (* x x) y) y) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (/ (* x x) (* y y)) (/ z (/ (* t t) z))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (/ (/ (* z z) t) t)))> #<alt (λ (x y z t) (+ (cbrt (pow (pow (fabs (/ x y)) 2) 3)) (* (fabs (/ z t)) (fabs (/ z t)))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (pow (sqrt (fabs (/ z t))) 3) (* (cbrt (fabs (/ z t))) (cbrt (sqrt (fabs (/ z t))))))))> #<alt (λ (x y z t) (+ (* (* (cbrt (fabs (/ x y))) (pow (cbrt (fabs (/ x y))) (+ 3 1))) (cbrt (fabs (/ x y)))) (* (fabs (/ z t)) (fabs (/ z t)))))> #<alt (λ (x y z t) (+ (* (* x x) (/ 1 (* y y))) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (pow (fabs (/ z t)) 3/2) (sqrt (fabs (/ z t))))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (fabs (/ z t)) (sqrt (fabs (/ z t)))) (sqrt (fabs (/ z t))))))> #<alt (λ (x y z t) (+ (* (* (cbrt (pow (fabs (/ x y)) 2)) (cbrt (pow (fabs (/ x y)) 2))) (cbrt (pow (fabs (/ x y)) 2))) (* (fabs (/ z t)) (fabs (/ z t)))))>)
12.062 * * * * [regimes]: Trying to branch on (* y y) from (#<alt (λ (x y z t) (+ (/ x (/ (* y y) x)) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (/ (* x x) (* y y)) (/ z (/ (* t t) z))))> #<alt (λ (x y z t) (+ (* (* x x) (/ 1 (* y y))) (/ (* z z) (* t t))))>)
12.152 * * * * [regimes]: Trying to branch on (* x x) from (#<alt (λ (x y z t) (+ (/ x (/ (* y y) x)) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (sqrt (fabs (/ x y))) (pow (sqrt (fabs (/ x y))) 3)) (* (fabs (/ z t)) (fabs (/ z t)))))> #<alt (λ (x y z t) (+ (/ (/ (* x x) y) y) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (/ (* x x) (* y y)) (/ z (/ (* t t) z))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (/ (/ (* z z) t) t)))> #<alt (λ (x y z t) (+ (cbrt (pow (pow (fabs (/ x y)) 2) 3)) (* (fabs (/ z t)) (fabs (/ z t)))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (pow (sqrt (fabs (/ z t))) 3) (* (cbrt (fabs (/ z t))) (cbrt (sqrt (fabs (/ z t))))))))> #<alt (λ (x y z t) (+ (* (* (cbrt (fabs (/ x y))) (pow (cbrt (fabs (/ x y))) (+ 3 1))) (cbrt (fabs (/ x y)))) (* (fabs (/ z t)) (fabs (/ z t)))))> #<alt (λ (x y z t) (+ (* (* x x) (/ 1 (* y y))) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (pow (fabs (/ z t)) 3/2) (sqrt (fabs (/ z t))))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (fabs (/ z t)) (sqrt (fabs (/ z t)))) (sqrt (fabs (/ z t))))))> #<alt (λ (x y z t) (+ (* (* (cbrt (pow (fabs (/ x y)) 2)) (cbrt (pow (fabs (/ x y)) 2))) (cbrt (pow (fabs (/ x y)) 2))) (* (fabs (/ z t)) (fabs (/ z t)))))>)
12.314 * * * * [regimes]: Trying to branch on (* x x) from (#<alt (λ (x y z t) (+ (/ (/ (* x x) y) y) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (/ (* x x) (* y y)) (/ z (/ (* t t) z))))> #<alt (λ (x y z t) (+ (* (* x x) (/ 1 (* y y))) (/ (* z z) (* t t))))>)
12.398 * * * * [regimes]: Trying to branch on (/ (* x x) (* y y)) from (#<alt (λ (x y z t) (+ (/ x (/ (* y y) x)) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (sqrt (fabs (/ x y))) (pow (sqrt (fabs (/ x y))) 3)) (* (fabs (/ z t)) (fabs (/ z t)))))> #<alt (λ (x y z t) (+ (/ (/ (* x x) y) y) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (/ (* x x) (* y y)) (/ z (/ (* t t) z))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (/ (/ (* z z) t) t)))> #<alt (λ (x y z t) (+ (cbrt (pow (pow (fabs (/ x y)) 2) 3)) (* (fabs (/ z t)) (fabs (/ z t)))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (pow (sqrt (fabs (/ z t))) 3) (* (cbrt (fabs (/ z t))) (cbrt (sqrt (fabs (/ z t))))))))> #<alt (λ (x y z t) (+ (* (* (cbrt (fabs (/ x y))) (pow (cbrt (fabs (/ x y))) (+ 3 1))) (cbrt (fabs (/ x y)))) (* (fabs (/ z t)) (fabs (/ z t)))))> #<alt (λ (x y z t) (+ (* (* x x) (/ 1 (* y y))) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (pow (fabs (/ z t)) 3/2) (sqrt (fabs (/ z t))))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (fabs (/ z t)) (sqrt (fabs (/ z t)))) (sqrt (fabs (/ z t))))))> #<alt (λ (x y z t) (+ (* (* (cbrt (pow (fabs (/ x y)) 2)) (cbrt (pow (fabs (/ x y)) 2))) (cbrt (pow (fabs (/ x y)) 2))) (* (fabs (/ z t)) (fabs (/ z t)))))>)
12.561 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (+ (/ x (/ (* y y) x)) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (sqrt (fabs (/ x y))) (pow (sqrt (fabs (/ x y))) 3)) (* (fabs (/ z t)) (fabs (/ z t)))))> #<alt (λ (x y z t) (+ (/ (/ (* x x) y) y) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (/ (* x x) (* y y)) (/ z (/ (* t t) z))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (/ (/ (* z z) t) t)))> #<alt (λ (x y z t) (+ (cbrt (pow (pow (fabs (/ x y)) 2) 3)) (* (fabs (/ z t)) (fabs (/ z t)))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (pow (sqrt (fabs (/ z t))) 3) (* (cbrt (fabs (/ z t))) (cbrt (sqrt (fabs (/ z t))))))))> #<alt (λ (x y z t) (+ (* (* (cbrt (fabs (/ x y))) (pow (cbrt (fabs (/ x y))) (+ 3 1))) (cbrt (fabs (/ x y)))) (* (fabs (/ z t)) (fabs (/ z t)))))> #<alt (λ (x y z t) (+ (* (* x x) (/ 1 (* y y))) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (pow (fabs (/ z t)) 3/2) (sqrt (fabs (/ z t))))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (fabs (/ z t)) (sqrt (fabs (/ z t)))) (sqrt (fabs (/ z t))))))> #<alt (λ (x y z t) (+ (* (* (cbrt (pow (fabs (/ x y)) 2)) (cbrt (pow (fabs (/ x y)) 2))) (cbrt (pow (fabs (/ x y)) 2))) (* (fabs (/ z t)) (fabs (/ z t)))))>)
12.738 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (+ (/ x (/ (* y y) x)) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (sqrt (fabs (/ x y))) (pow (sqrt (fabs (/ x y))) 3)) (* (fabs (/ z t)) (fabs (/ z t)))))> #<alt (λ (x y z t) (+ (/ (/ (* x x) y) y) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (/ (* x x) (* y y)) (/ z (/ (* t t) z))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (/ (/ (* z z) t) t)))> #<alt (λ (x y z t) (+ (cbrt (pow (pow (fabs (/ x y)) 2) 3)) (* (fabs (/ z t)) (fabs (/ z t)))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (pow (sqrt (fabs (/ z t))) 3) (* (cbrt (fabs (/ z t))) (cbrt (sqrt (fabs (/ z t))))))))> #<alt (λ (x y z t) (+ (* (* (cbrt (fabs (/ x y))) (pow (cbrt (fabs (/ x y))) (+ 3 1))) (cbrt (fabs (/ x y)))) (* (fabs (/ z t)) (fabs (/ z t)))))> #<alt (λ (x y z t) (+ (* (* x x) (/ 1 (* y y))) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (pow (fabs (/ z t)) 3/2) (sqrt (fabs (/ z t))))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (fabs (/ z t)) (sqrt (fabs (/ z t)))) (sqrt (fabs (/ z t))))))> #<alt (λ (x y z t) (+ (* (* (cbrt (pow (fabs (/ x y)) 2)) (cbrt (pow (fabs (/ x y)) 2))) (cbrt (pow (fabs (/ x y)) 2))) (* (fabs (/ z t)) (fabs (/ z t)))))>)
12.912 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (+ (/ x (/ (* y y) x)) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (sqrt (fabs (/ x y))) (pow (sqrt (fabs (/ x y))) 3)) (* (fabs (/ z t)) (fabs (/ z t)))))> #<alt (λ (x y z t) (+ (/ (/ (* x x) y) y) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (/ (* x x) (* y y)) (/ z (/ (* t t) z))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (/ (/ (* z z) t) t)))> #<alt (λ (x y z t) (+ (cbrt (pow (pow (fabs (/ x y)) 2) 3)) (* (fabs (/ z t)) (fabs (/ z t)))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (pow (sqrt (fabs (/ z t))) 3) (* (cbrt (fabs (/ z t))) (cbrt (sqrt (fabs (/ z t))))))))> #<alt (λ (x y z t) (+ (* (* (cbrt (fabs (/ x y))) (pow (cbrt (fabs (/ x y))) (+ 3 1))) (cbrt (fabs (/ x y)))) (* (fabs (/ z t)) (fabs (/ z t)))))> #<alt (λ (x y z t) (+ (* (* x x) (/ 1 (* y y))) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (pow (fabs (/ z t)) 3/2) (sqrt (fabs (/ z t))))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (fabs (/ z t)) (sqrt (fabs (/ z t)))) (sqrt (fabs (/ z t))))))> #<alt (λ (x y z t) (+ (* (* (cbrt (pow (fabs (/ x y)) 2)) (cbrt (pow (fabs (/ x y)) 2))) (cbrt (pow (fabs (/ x y)) 2))) (* (fabs (/ z t)) (fabs (/ z t)))))>)
13.057 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (+ (/ x (/ (* y y) x)) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (sqrt (fabs (/ x y))) (pow (sqrt (fabs (/ x y))) 3)) (* (fabs (/ z t)) (fabs (/ z t)))))> #<alt (λ (x y z t) (+ (/ (/ (* x x) y) y) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (/ (* x x) (* y y)) (/ z (/ (* t t) z))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (/ (/ (* z z) t) t)))> #<alt (λ (x y z t) (+ (cbrt (pow (pow (fabs (/ x y)) 2) 3)) (* (fabs (/ z t)) (fabs (/ z t)))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (pow (sqrt (fabs (/ z t))) 3) (* (cbrt (fabs (/ z t))) (cbrt (sqrt (fabs (/ z t))))))))> #<alt (λ (x y z t) (+ (* (* (cbrt (fabs (/ x y))) (pow (cbrt (fabs (/ x y))) (+ 3 1))) (cbrt (fabs (/ x y)))) (* (fabs (/ z t)) (fabs (/ z t)))))> #<alt (λ (x y z t) (+ (* (* x x) (/ 1 (* y y))) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (pow (fabs (/ z t)) 3/2) (sqrt (fabs (/ z t))))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (fabs (/ z t)) (sqrt (fabs (/ z t)))) (sqrt (fabs (/ z t))))))> #<alt (λ (x y z t) (+ (* (* (cbrt (pow (fabs (/ x y)) 2)) (cbrt (pow (fabs (/ x y)) 2))) (cbrt (pow (fabs (/ x y)) 2))) (* (fabs (/ z t)) (fabs (/ z t)))))>)
13.232 * * * [regime]: Found split indices: #<option (#s(si 9 255))>
13.232 * [simplify]: Simplifying:
  (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (pow (fabs (/ z t)) 3/2) (sqrt (fabs (/ z t)))))
13.232 * * [simplify]: Extracting # 0 : cost  0
13.232 * * [simplify]: Extracting # 1 : cost  0
13.233 * * [simplify]: Extracting # 2 : cost  0
13.233 * * [simplify]: Extracting # 3 : cost  0
13.233 * * [simplify]: Extracting # 4 : cost  0
13.233 * * [simplify]: Extracting # 5 : cost  0
13.233 * * [simplify]: Extracting # 6 : cost  0
13.233 * * [simplify]: Extracting # 7 : cost  0
13.233 * * [simplify]: Extracting # 8 : cost  0
13.233 * * [simplify]: iteration  0 :  14  enodes  (cost  22 )
13.234 * * [simplify]: Extracting # 0 : cost  0
13.234 * * [simplify]: iteration  1 :  16  enodes  (cost  22 )
13.235 * * [simplify]: Extracting # 0 : cost  0
13.235 * * [simplify]: iteration done:  16  enodes  (cost  22 )
13.235 * [simplify]: Simplified to:
  (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (pow (fabs (/ z t)) 3/2) (sqrt (fabs (/ z t)))))
18.526 * [regime-testing]: Baseline error score: 0.464760165353453
18.530 * [regime-testing]: Oracle error score: 0.10620199712518152
18.537 * [regime-testing]: End program error score: 0.464760165353453
18.705 * [regime-testing]: Target error score: 0.43279996562809575