42.410 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.059 * * * [progress]: [2/2] Setting up program.
0.062 * [progress]: [Phase 2 of 3] Improving.
0.063 * [simplify]: Simplifying:
  (+ (/ (* x x) (* y y)) (/ (* z z) (* t t)))
0.063 * * [simplify]: Extracting # 0 : cost  0
0.063 * * [simplify]: Extracting # 1 : cost  0
0.063 * * [simplify]: Extracting # 2 : cost  0
0.063 * * [simplify]: Extracting # 3 : cost  0
0.063 * * [simplify]: Extracting # 4 : cost  0
0.063 * * [simplify]: Extracting # 5 : cost  0
0.063 * * [simplify]: iteration  0 :  11  enodes  (cost  15 )
0.065 * * [simplify]: Extracting # 0 : cost  0
0.065 * * [simplify]: Extracting # 1 : cost  0
0.065 * * [simplify]: Extracting # 2 : cost  0
0.065 * * [simplify]: iteration  1 :  24  enodes  (cost  15 )
0.069 * * [simplify]: Extracting # 0 : cost  0
0.070 * * [simplify]: Extracting # 1 : cost  0
0.070 * * [simplify]: Extracting # 2 : cost  0
0.070 * * [simplify]: iteration  2 :  42  enodes  (cost  15 )
0.077 * * [simplify]: Extracting # 0 : cost  0
0.077 * * [simplify]: Extracting # 1 : cost  0
0.077 * * [simplify]: Extracting # 2 : cost  0
0.077 * * [simplify]: iteration  3 :  54  enodes  (cost  15 )
0.099 * * [simplify]: Extracting # 0 : cost  0
0.099 * * [simplify]: iteration done:  54  enodes  (cost  15 )
0.099 * [simplify]: Simplified to:
  (+ (/ (* x x) (* y y)) (/ (* z z) (* t t)))
0.100 * * [progress]: iteration 1 / 4
0.100 * * * [progress]: picking best candidate
0.103 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (/ (* x x) (* y y)) (/ (* z z) (* t t))))>
0.103 * * * [progress]: localizing error
0.120 * * * [progress]: generating rewritten candidates
0.121 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.141 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.160 * * * [progress]: generating series expansions
0.160 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.160 * [backup-simplify]: Simplify (/ (* x x) (* y y)) into (/ (pow x 2) (pow y 2))
0.160 * [approximate]: Taking taylor expansion of (/ (pow x 2) (pow y 2)) in (x y) around 0
0.160 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow y 2)) in y
0.160 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.160 * [taylor]: Taking taylor expansion of x in y
0.160 * [backup-simplify]: Simplify x into x
0.160 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.160 * [taylor]: Taking taylor expansion of y in y
0.160 * [backup-simplify]: Simplify 0 into 0
0.160 * [backup-simplify]: Simplify 1 into 1
0.160 * [backup-simplify]: Simplify (* x x) into (pow x 2)
0.161 * [backup-simplify]: Simplify (* 1 1) into 1
0.161 * [backup-simplify]: Simplify (/ (pow x 2) 1) into (pow x 2)
0.161 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow y 2)) in x
0.161 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.161 * [taylor]: Taking taylor expansion of x in x
0.161 * [backup-simplify]: Simplify 0 into 0
0.161 * [backup-simplify]: Simplify 1 into 1
0.161 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.161 * [taylor]: Taking taylor expansion of y in x
0.161 * [backup-simplify]: Simplify y into y
0.162 * [backup-simplify]: Simplify (* 1 1) into 1
0.162 * [backup-simplify]: Simplify (* y y) into (pow y 2)
0.162 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
0.162 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow y 2)) in x
0.162 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.162 * [taylor]: Taking taylor expansion of x in x
0.162 * [backup-simplify]: Simplify 0 into 0
0.162 * [backup-simplify]: Simplify 1 into 1
0.162 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.162 * [taylor]: Taking taylor expansion of y in x
0.162 * [backup-simplify]: Simplify y into y
0.162 * [backup-simplify]: Simplify (* 1 1) into 1
0.162 * [backup-simplify]: Simplify (* y y) into (pow y 2)
0.163 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
0.163 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.163 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.163 * [taylor]: Taking taylor expansion of y in y
0.163 * [backup-simplify]: Simplify 0 into 0
0.163 * [backup-simplify]: Simplify 1 into 1
0.163 * [backup-simplify]: Simplify (* 1 1) into 1
0.163 * [backup-simplify]: Simplify (/ 1 1) into 1
0.163 * [backup-simplify]: Simplify 1 into 1
0.164 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.164 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
0.164 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
0.164 * [taylor]: Taking taylor expansion of 0 in y
0.165 * [backup-simplify]: Simplify 0 into 0
0.165 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.166 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.166 * [backup-simplify]: Simplify 0 into 0
0.167 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.167 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
0.167 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
0.167 * [taylor]: Taking taylor expansion of 0 in y
0.167 * [backup-simplify]: Simplify 0 into 0
0.168 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.169 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.169 * [backup-simplify]: Simplify 0 into 0
0.170 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.171 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
0.171 * [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.171 * [taylor]: Taking taylor expansion of 0 in y
0.171 * [backup-simplify]: Simplify 0 into 0
0.171 * [backup-simplify]: Simplify 0 into 0
0.172 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.173 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.173 * [backup-simplify]: Simplify 0 into 0
0.174 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.175 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
0.175 * [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.175 * [taylor]: Taking taylor expansion of 0 in y
0.175 * [backup-simplify]: Simplify 0 into 0
0.175 * [backup-simplify]: Simplify 0 into 0
0.175 * [backup-simplify]: Simplify 0 into 0
0.176 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 y) x) 2)) into (/ (pow x 2) (pow y 2))
0.176 * [backup-simplify]: Simplify (/ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y))) into (/ (pow y 2) (pow x 2))
0.176 * [approximate]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in (x y) around 0
0.176 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in y
0.176 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.176 * [taylor]: Taking taylor expansion of y in y
0.176 * [backup-simplify]: Simplify 0 into 0
0.176 * [backup-simplify]: Simplify 1 into 1
0.176 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.176 * [taylor]: Taking taylor expansion of x in y
0.176 * [backup-simplify]: Simplify x into x
0.176 * [backup-simplify]: Simplify (* 1 1) into 1
0.176 * [backup-simplify]: Simplify (* x x) into (pow x 2)
0.177 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
0.177 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in x
0.177 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.177 * [taylor]: Taking taylor expansion of y in x
0.177 * [backup-simplify]: Simplify y into y
0.177 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.177 * [taylor]: Taking taylor expansion of x in x
0.177 * [backup-simplify]: Simplify 0 into 0
0.177 * [backup-simplify]: Simplify 1 into 1
0.177 * [backup-simplify]: Simplify (* y y) into (pow y 2)
0.177 * [backup-simplify]: Simplify (* 1 1) into 1
0.177 * [backup-simplify]: Simplify (/ (pow y 2) 1) into (pow y 2)
0.177 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in x
0.177 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.177 * [taylor]: Taking taylor expansion of y in x
0.177 * [backup-simplify]: Simplify y into y
0.177 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.177 * [taylor]: Taking taylor expansion of x in x
0.177 * [backup-simplify]: Simplify 0 into 0
0.177 * [backup-simplify]: Simplify 1 into 1
0.178 * [backup-simplify]: Simplify (* y y) into (pow y 2)
0.178 * [backup-simplify]: Simplify (* 1 1) into 1
0.178 * [backup-simplify]: Simplify (/ (pow y 2) 1) into (pow y 2)
0.178 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.178 * [taylor]: Taking taylor expansion of y in y
0.178 * [backup-simplify]: Simplify 0 into 0
0.178 * [backup-simplify]: Simplify 1 into 1
0.178 * [backup-simplify]: Simplify (* 1 1) into 1
0.178 * [backup-simplify]: Simplify 1 into 1
0.179 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
0.179 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.180 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow y 2) (/ 0 1)))) into 0
0.180 * [taylor]: Taking taylor expansion of 0 in y
0.180 * [backup-simplify]: Simplify 0 into 0
0.180 * [backup-simplify]: Simplify 0 into 0
0.181 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.181 * [backup-simplify]: Simplify 0 into 0
0.181 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
0.182 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.183 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow y 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.183 * [taylor]: Taking taylor expansion of 0 in y
0.183 * [backup-simplify]: Simplify 0 into 0
0.183 * [backup-simplify]: Simplify 0 into 0
0.183 * [backup-simplify]: Simplify 0 into 0
0.184 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.184 * [backup-simplify]: Simplify 0 into 0
0.184 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
0.185 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.187 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow y 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.187 * [taylor]: Taking taylor expansion of 0 in y
0.187 * [backup-simplify]: Simplify 0 into 0
0.187 * [backup-simplify]: Simplify 0 into 0
0.187 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 y) (/ 1 (/ 1 x))) 2)) into (/ (pow x 2) (pow y 2))
0.187 * [backup-simplify]: Simplify (/ (* (/ 1 (- x)) (/ 1 (- x))) (* (/ 1 (- y)) (/ 1 (- y)))) into (/ (pow y 2) (pow x 2))
0.187 * [approximate]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in (x y) around 0
0.187 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in y
0.187 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.187 * [taylor]: Taking taylor expansion of y in y
0.187 * [backup-simplify]: Simplify 0 into 0
0.187 * [backup-simplify]: Simplify 1 into 1
0.187 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.188 * [taylor]: Taking taylor expansion of x in y
0.188 * [backup-simplify]: Simplify x into x
0.188 * [backup-simplify]: Simplify (* 1 1) into 1
0.188 * [backup-simplify]: Simplify (* x x) into (pow x 2)
0.188 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
0.188 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in x
0.188 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.188 * [taylor]: Taking taylor expansion of y in x
0.188 * [backup-simplify]: Simplify y into y
0.188 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.188 * [taylor]: Taking taylor expansion of x in x
0.188 * [backup-simplify]: Simplify 0 into 0
0.188 * [backup-simplify]: Simplify 1 into 1
0.188 * [backup-simplify]: Simplify (* y y) into (pow y 2)
0.189 * [backup-simplify]: Simplify (* 1 1) into 1
0.189 * [backup-simplify]: Simplify (/ (pow y 2) 1) into (pow y 2)
0.189 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in x
0.189 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.189 * [taylor]: Taking taylor expansion of y in x
0.189 * [backup-simplify]: Simplify y into y
0.189 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.189 * [taylor]: Taking taylor expansion of x in x
0.189 * [backup-simplify]: Simplify 0 into 0
0.189 * [backup-simplify]: Simplify 1 into 1
0.189 * [backup-simplify]: Simplify (* y y) into (pow y 2)
0.189 * [backup-simplify]: Simplify (* 1 1) into 1
0.189 * [backup-simplify]: Simplify (/ (pow y 2) 1) into (pow y 2)
0.190 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.190 * [taylor]: Taking taylor expansion of y in y
0.190 * [backup-simplify]: Simplify 0 into 0
0.190 * [backup-simplify]: Simplify 1 into 1
0.190 * [backup-simplify]: Simplify (* 1 1) into 1
0.190 * [backup-simplify]: Simplify 1 into 1
0.190 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
0.191 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.191 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow y 2) (/ 0 1)))) into 0
0.191 * [taylor]: Taking taylor expansion of 0 in y
0.191 * [backup-simplify]: Simplify 0 into 0
0.191 * [backup-simplify]: Simplify 0 into 0
0.192 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.192 * [backup-simplify]: Simplify 0 into 0
0.192 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
0.193 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.194 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow y 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.194 * [taylor]: Taking taylor expansion of 0 in y
0.194 * [backup-simplify]: Simplify 0 into 0
0.194 * [backup-simplify]: Simplify 0 into 0
0.194 * [backup-simplify]: Simplify 0 into 0
0.202 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.202 * [backup-simplify]: Simplify 0 into 0
0.203 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
0.204 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.206 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow y 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.206 * [taylor]: Taking taylor expansion of 0 in y
0.206 * [backup-simplify]: Simplify 0 into 0
0.206 * [backup-simplify]: Simplify 0 into 0
0.207 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (- y)) (/ 1 (/ 1 (- x)))) 2)) into (/ (pow x 2) (pow y 2))
0.207 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.207 * [backup-simplify]: Simplify (/ (* z z) (* t t)) into (/ (pow z 2) (pow t 2))
0.207 * [approximate]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in (z t) around 0
0.207 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in t
0.207 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.207 * [taylor]: Taking taylor expansion of z in t
0.207 * [backup-simplify]: Simplify z into z
0.207 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.207 * [taylor]: Taking taylor expansion of t in t
0.207 * [backup-simplify]: Simplify 0 into 0
0.207 * [backup-simplify]: Simplify 1 into 1
0.207 * [backup-simplify]: Simplify (* z z) into (pow z 2)
0.208 * [backup-simplify]: Simplify (* 1 1) into 1
0.208 * [backup-simplify]: Simplify (/ (pow z 2) 1) into (pow z 2)
0.208 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z
0.208 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.208 * [taylor]: Taking taylor expansion of z in z
0.208 * [backup-simplify]: Simplify 0 into 0
0.208 * [backup-simplify]: Simplify 1 into 1
0.208 * [taylor]: Taking taylor expansion of (pow t 2) in z
0.208 * [taylor]: Taking taylor expansion of t in z
0.208 * [backup-simplify]: Simplify t into t
0.208 * [backup-simplify]: Simplify (* 1 1) into 1
0.208 * [backup-simplify]: Simplify (* t t) into (pow t 2)
0.209 * [backup-simplify]: Simplify (/ 1 (pow t 2)) into (/ 1 (pow t 2))
0.209 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z
0.209 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.209 * [taylor]: Taking taylor expansion of z in z
0.209 * [backup-simplify]: Simplify 0 into 0
0.209 * [backup-simplify]: Simplify 1 into 1
0.209 * [taylor]: Taking taylor expansion of (pow t 2) in z
0.209 * [taylor]: Taking taylor expansion of t in z
0.209 * [backup-simplify]: Simplify t into t
0.209 * [backup-simplify]: Simplify (* 1 1) into 1
0.209 * [backup-simplify]: Simplify (* t t) into (pow t 2)
0.209 * [backup-simplify]: Simplify (/ 1 (pow t 2)) into (/ 1 (pow t 2))
0.209 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
0.209 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.209 * [taylor]: Taking taylor expansion of t in t
0.210 * [backup-simplify]: Simplify 0 into 0
0.210 * [backup-simplify]: Simplify 1 into 1
0.210 * [backup-simplify]: Simplify (* 1 1) into 1
0.210 * [backup-simplify]: Simplify (/ 1 1) into 1
0.210 * [backup-simplify]: Simplify 1 into 1
0.211 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.211 * [backup-simplify]: Simplify (+ (* t 0) (* 0 t)) into 0
0.211 * [backup-simplify]: Simplify (- (/ 0 (pow t 2)) (+ (* (/ 1 (pow t 2)) (/ 0 (pow t 2))))) into 0
0.211 * [taylor]: Taking taylor expansion of 0 in t
0.211 * [backup-simplify]: Simplify 0 into 0
0.212 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.213 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.213 * [backup-simplify]: Simplify 0 into 0
0.214 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.214 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 t))) into 0
0.214 * [backup-simplify]: Simplify (- (/ 0 (pow t 2)) (+ (* (/ 1 (pow t 2)) (/ 0 (pow t 2))) (* 0 (/ 0 (pow t 2))))) into 0
0.214 * [taylor]: Taking taylor expansion of 0 in t
0.215 * [backup-simplify]: Simplify 0 into 0
0.215 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.216 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.216 * [backup-simplify]: Simplify 0 into 0
0.217 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.218 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 0) (* 0 t)))) into 0
0.219 * [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.219 * [taylor]: Taking taylor expansion of 0 in t
0.219 * [backup-simplify]: Simplify 0 into 0
0.219 * [backup-simplify]: Simplify 0 into 0
0.220 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.221 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.221 * [backup-simplify]: Simplify 0 into 0
0.222 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.223 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 t))))) into 0
0.224 * [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.224 * [taylor]: Taking taylor expansion of 0 in t
0.224 * [backup-simplify]: Simplify 0 into 0
0.224 * [backup-simplify]: Simplify 0 into 0
0.224 * [backup-simplify]: Simplify 0 into 0
0.224 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 t) z) 2)) into (/ (pow z 2) (pow t 2))
0.224 * [backup-simplify]: Simplify (/ (* (/ 1 z) (/ 1 z)) (* (/ 1 t) (/ 1 t))) into (/ (pow t 2) (pow z 2))
0.224 * [approximate]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in (z t) around 0
0.224 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in t
0.224 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.224 * [taylor]: Taking taylor expansion of t in t
0.224 * [backup-simplify]: Simplify 0 into 0
0.224 * [backup-simplify]: Simplify 1 into 1
0.225 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.225 * [taylor]: Taking taylor expansion of z in t
0.225 * [backup-simplify]: Simplify z into z
0.225 * [backup-simplify]: Simplify (* 1 1) into 1
0.225 * [backup-simplify]: Simplify (* z z) into (pow z 2)
0.225 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
0.225 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z
0.225 * [taylor]: Taking taylor expansion of (pow t 2) in z
0.225 * [taylor]: Taking taylor expansion of t in z
0.225 * [backup-simplify]: Simplify t into t
0.225 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.225 * [taylor]: Taking taylor expansion of z in z
0.225 * [backup-simplify]: Simplify 0 into 0
0.225 * [backup-simplify]: Simplify 1 into 1
0.225 * [backup-simplify]: Simplify (* t t) into (pow t 2)
0.226 * [backup-simplify]: Simplify (* 1 1) into 1
0.226 * [backup-simplify]: Simplify (/ (pow t 2) 1) into (pow t 2)
0.226 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z
0.226 * [taylor]: Taking taylor expansion of (pow t 2) in z
0.226 * [taylor]: Taking taylor expansion of t in z
0.226 * [backup-simplify]: Simplify t into t
0.226 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.226 * [taylor]: Taking taylor expansion of z in z
0.226 * [backup-simplify]: Simplify 0 into 0
0.226 * [backup-simplify]: Simplify 1 into 1
0.226 * [backup-simplify]: Simplify (* t t) into (pow t 2)
0.227 * [backup-simplify]: Simplify (* 1 1) into 1
0.227 * [backup-simplify]: Simplify (/ (pow t 2) 1) into (pow t 2)
0.227 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.227 * [taylor]: Taking taylor expansion of t in t
0.227 * [backup-simplify]: Simplify 0 into 0
0.227 * [backup-simplify]: Simplify 1 into 1
0.227 * [backup-simplify]: Simplify (* 1 1) into 1
0.227 * [backup-simplify]: Simplify 1 into 1
0.228 * [backup-simplify]: Simplify (+ (* t 0) (* 0 t)) into 0
0.228 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.229 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow t 2) (/ 0 1)))) into 0
0.229 * [taylor]: Taking taylor expansion of 0 in t
0.229 * [backup-simplify]: Simplify 0 into 0
0.229 * [backup-simplify]: Simplify 0 into 0
0.230 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.230 * [backup-simplify]: Simplify 0 into 0
0.231 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 t))) into 0
0.232 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.233 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow t 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.233 * [taylor]: Taking taylor expansion of 0 in t
0.233 * [backup-simplify]: Simplify 0 into 0
0.233 * [backup-simplify]: Simplify 0 into 0
0.233 * [backup-simplify]: Simplify 0 into 0
0.233 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.233 * [backup-simplify]: Simplify 0 into 0
0.234 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 0) (* 0 t)))) into 0
0.234 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.236 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow t 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.236 * [taylor]: Taking taylor expansion of 0 in t
0.236 * [backup-simplify]: Simplify 0 into 0
0.236 * [backup-simplify]: Simplify 0 into 0
0.236 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 t) (/ 1 (/ 1 z))) 2)) into (/ (pow z 2) (pow t 2))
0.236 * [backup-simplify]: Simplify (/ (* (/ 1 (- z)) (/ 1 (- z))) (* (/ 1 (- t)) (/ 1 (- t)))) into (/ (pow t 2) (pow z 2))
0.236 * [approximate]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in (z t) around 0
0.236 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in t
0.236 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.236 * [taylor]: Taking taylor expansion of t in t
0.236 * [backup-simplify]: Simplify 0 into 0
0.236 * [backup-simplify]: Simplify 1 into 1
0.236 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.236 * [taylor]: Taking taylor expansion of z in t
0.236 * [backup-simplify]: Simplify z into z
0.236 * [backup-simplify]: Simplify (* 1 1) into 1
0.236 * [backup-simplify]: Simplify (* z z) into (pow z 2)
0.237 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
0.237 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z
0.237 * [taylor]: Taking taylor expansion of (pow t 2) in z
0.237 * [taylor]: Taking taylor expansion of t in z
0.237 * [backup-simplify]: Simplify t into t
0.237 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.237 * [taylor]: Taking taylor expansion of z in z
0.237 * [backup-simplify]: Simplify 0 into 0
0.237 * [backup-simplify]: Simplify 1 into 1
0.237 * [backup-simplify]: Simplify (* t t) into (pow t 2)
0.237 * [backup-simplify]: Simplify (* 1 1) into 1
0.237 * [backup-simplify]: Simplify (/ (pow t 2) 1) into (pow t 2)
0.237 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z
0.237 * [taylor]: Taking taylor expansion of (pow t 2) in z
0.237 * [taylor]: Taking taylor expansion of t in z
0.237 * [backup-simplify]: Simplify t into t
0.237 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.237 * [taylor]: Taking taylor expansion of z in z
0.237 * [backup-simplify]: Simplify 0 into 0
0.237 * [backup-simplify]: Simplify 1 into 1
0.237 * [backup-simplify]: Simplify (* t t) into (pow t 2)
0.237 * [backup-simplify]: Simplify (* 1 1) into 1
0.238 * [backup-simplify]: Simplify (/ (pow t 2) 1) into (pow t 2)
0.238 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.238 * [taylor]: Taking taylor expansion of t in t
0.238 * [backup-simplify]: Simplify 0 into 0
0.238 * [backup-simplify]: Simplify 1 into 1
0.238 * [backup-simplify]: Simplify (* 1 1) into 1
0.238 * [backup-simplify]: Simplify 1 into 1
0.238 * [backup-simplify]: Simplify (+ (* t 0) (* 0 t)) into 0
0.238 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.239 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow t 2) (/ 0 1)))) into 0
0.239 * [taylor]: Taking taylor expansion of 0 in t
0.239 * [backup-simplify]: Simplify 0 into 0
0.239 * [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.240 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 t))) into 0
0.240 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.241 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow t 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.241 * [taylor]: Taking taylor expansion of 0 in t
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.242 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 0) (* 0 t)))) into 0
0.243 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.244 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow t 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.244 * [taylor]: Taking taylor expansion of 0 in t
0.244 * [backup-simplify]: Simplify 0 into 0
0.244 * [backup-simplify]: Simplify 0 into 0
0.244 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (- t)) (/ 1 (/ 1 (- z)))) 2)) into (/ (pow z 2) (pow t 2))
0.244 * * * [progress]: simplifying candidates
0.245 * [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.246 * * [simplify]: Extracting # 0 : cost  0
0.246 * * [simplify]: Extracting # 1 : cost  0
0.246 * * [simplify]: Extracting # 2 : cost  0
0.246 * * [simplify]: Extracting # 3 : cost  0
0.246 * * [simplify]: Extracting # 4 : cost  0
0.246 * * [simplify]: Extracting # 5 : cost  0
0.247 * * [simplify]: iteration  0 :  90  enodes  (cost  538 )
0.267 * * [simplify]: Extracting # 0 : cost  0
0.267 * * [simplify]: Extracting # 1 : cost  0
0.267 * * [simplify]: Extracting # 2 : cost  0
0.267 * * [simplify]: iteration  1 :  239  enodes  (cost  522 )
0.428 * * [simplify]: Extracting # 0 : cost  0
0.429 * * [simplify]: Extracting # 1 : cost  0
0.430 * * [simplify]: Extracting # 2 : cost  0
0.431 * * [simplify]: Extracting # 3 : cost  0
0.431 * * [simplify]: Extracting # 4 : cost  0
0.432 * * [simplify]: iteration  2 :  910  enodes  (cost  356 )
1.443 * * [simplify]: Extracting # 0 : cost  0
1.457 * * [simplify]: Extracting # 1 : cost  0
1.462 * * [simplify]: Extracting # 2 : cost  0
1.466 * * [simplify]: Extracting # 3 : cost  0
1.470 * * [simplify]: Extracting # 4 : cost  0
1.475 * * [simplify]: iteration  3 :  3578  enodes  (cost  326 )
3.021 * * [simplify]: Extracting # 0 : cost  0
3.027 * * [simplify]: Extracting # 1 : cost  0
3.031 * * [simplify]: Extracting # 2 : cost  0
3.035 * * [simplify]: iteration done:  5000  enodes  (cost  326 )
3.035 * [simplify]: Simplified to:
  (* (log (/ x y)) 2)
  (* (log (/ x y)) 2)
  (* (log (/ x y)) 2)
  (* (log (/ x y)) 2)
  (* (log (/ x y)) 2)
  (exp (/ (* x x) (* y y)))
  (/ (pow x 6) (pow y 6))
  (/ (pow x 6) (pow y 6))
  (/ (pow x 6) (pow y 6))
  (/ (pow x 6) (pow y 6))
  (* (cbrt (/ (* x x) (* y y))) (cbrt (/ (* x x) (* y y))))
  (cbrt (/ (* x x) (* y y)))
  (/ (pow x 6) (pow y 6))
  (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))
  (* (log (/ z t)) 2)
  (* (log (/ z t)) 2)
  (* (log (/ z t)) 2)
  (* (log (/ z t)) 2)
  (* (log (/ z t)) 2)
  (exp (/ (* z z) (* t t)))
  (/ (pow z 6) (pow t 6))
  (/ (pow z 6) (pow t 6))
  (/ (pow z 6) (pow t 6))
  (/ (pow z 6) (pow t 6))
  (* (cbrt (/ (* z z) (* t t))) (cbrt (/ (* z z) (* t t))))
  (cbrt (/ (* z z) (* t t)))
  (/ (pow z 6) (pow t 6))
  (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))
3.036 * * * [progress]: adding candidates to table
3.135 * * [progress]: iteration 2 / 4
3.135 * * * [progress]: picking best candidate
3.147 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (/ (* z z) (* t t))))>
3.147 * * * [progress]: localizing error
3.163 * * * [progress]: generating rewritten candidates
3.163 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
3.185 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
3.198 * * * [progress]: generating series expansions
3.198 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
3.198 * [backup-simplify]: Simplify (/ (* z z) (* t t)) into (/ (pow z 2) (pow t 2))
3.198 * [approximate]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in (z t) around 0
3.198 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in t
3.198 * [taylor]: Taking taylor expansion of (pow z 2) in t
3.198 * [taylor]: Taking taylor expansion of z in t
3.198 * [backup-simplify]: Simplify z into z
3.198 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.198 * [taylor]: Taking taylor expansion of t in t
3.198 * [backup-simplify]: Simplify 0 into 0
3.198 * [backup-simplify]: Simplify 1 into 1
3.198 * [backup-simplify]: Simplify (* z z) into (pow z 2)
3.199 * [backup-simplify]: Simplify (* 1 1) into 1
3.199 * [backup-simplify]: Simplify (/ (pow z 2) 1) into (pow z 2)
3.199 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z
3.199 * [taylor]: Taking taylor expansion of (pow z 2) in z
3.199 * [taylor]: Taking taylor expansion of z in z
3.199 * [backup-simplify]: Simplify 0 into 0
3.199 * [backup-simplify]: Simplify 1 into 1
3.199 * [taylor]: Taking taylor expansion of (pow t 2) in z
3.199 * [taylor]: Taking taylor expansion of t in z
3.199 * [backup-simplify]: Simplify t into t
3.199 * [backup-simplify]: Simplify (* 1 1) into 1
3.200 * [backup-simplify]: Simplify (* t t) into (pow t 2)
3.200 * [backup-simplify]: Simplify (/ 1 (pow t 2)) into (/ 1 (pow t 2))
3.200 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z
3.200 * [taylor]: Taking taylor expansion of (pow z 2) in z
3.200 * [taylor]: Taking taylor expansion of z in z
3.200 * [backup-simplify]: Simplify 0 into 0
3.200 * [backup-simplify]: Simplify 1 into 1
3.200 * [taylor]: Taking taylor expansion of (pow t 2) in z
3.200 * [taylor]: Taking taylor expansion of t in z
3.200 * [backup-simplify]: Simplify t into t
3.200 * [backup-simplify]: Simplify (* 1 1) into 1
3.200 * [backup-simplify]: Simplify (* t t) into (pow t 2)
3.200 * [backup-simplify]: Simplify (/ 1 (pow t 2)) into (/ 1 (pow t 2))
3.201 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
3.201 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.201 * [taylor]: Taking taylor expansion of t in t
3.201 * [backup-simplify]: Simplify 0 into 0
3.201 * [backup-simplify]: Simplify 1 into 1
3.201 * [backup-simplify]: Simplify (* 1 1) into 1
3.201 * [backup-simplify]: Simplify (/ 1 1) into 1
3.201 * [backup-simplify]: Simplify 1 into 1
3.202 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.202 * [backup-simplify]: Simplify (+ (* t 0) (* 0 t)) into 0
3.202 * [backup-simplify]: Simplify (- (/ 0 (pow t 2)) (+ (* (/ 1 (pow t 2)) (/ 0 (pow t 2))))) into 0
3.202 * [taylor]: Taking taylor expansion of 0 in t
3.202 * [backup-simplify]: Simplify 0 into 0
3.203 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.204 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.204 * [backup-simplify]: Simplify 0 into 0
3.204 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.205 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 t))) into 0
3.205 * [backup-simplify]: Simplify (- (/ 0 (pow t 2)) (+ (* (/ 1 (pow t 2)) (/ 0 (pow t 2))) (* 0 (/ 0 (pow t 2))))) into 0
3.205 * [taylor]: Taking taylor expansion of 0 in t
3.205 * [backup-simplify]: Simplify 0 into 0
3.206 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.207 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.207 * [backup-simplify]: Simplify 0 into 0
3.208 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.208 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 0) (* 0 t)))) into 0
3.209 * [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
3.209 * [taylor]: Taking taylor expansion of 0 in t
3.209 * [backup-simplify]: Simplify 0 into 0
3.209 * [backup-simplify]: Simplify 0 into 0
3.210 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.210 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.210 * [backup-simplify]: Simplify 0 into 0
3.211 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.212 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 t))))) into 0
3.213 * [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
3.213 * [taylor]: Taking taylor expansion of 0 in t
3.213 * [backup-simplify]: Simplify 0 into 0
3.213 * [backup-simplify]: Simplify 0 into 0
3.213 * [backup-simplify]: Simplify 0 into 0
3.213 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 t) z) 2)) into (/ (pow z 2) (pow t 2))
3.214 * [backup-simplify]: Simplify (/ (* (/ 1 z) (/ 1 z)) (* (/ 1 t) (/ 1 t))) into (/ (pow t 2) (pow z 2))
3.214 * [approximate]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in (z t) around 0
3.214 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in t
3.214 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.214 * [taylor]: Taking taylor expansion of t in t
3.214 * [backup-simplify]: Simplify 0 into 0
3.214 * [backup-simplify]: Simplify 1 into 1
3.214 * [taylor]: Taking taylor expansion of (pow z 2) in t
3.214 * [taylor]: Taking taylor expansion of z in t
3.214 * [backup-simplify]: Simplify z into z
3.214 * [backup-simplify]: Simplify (* 1 1) into 1
3.214 * [backup-simplify]: Simplify (* z z) into (pow z 2)
3.214 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
3.214 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z
3.214 * [taylor]: Taking taylor expansion of (pow t 2) in z
3.214 * [taylor]: Taking taylor expansion of t in z
3.214 * [backup-simplify]: Simplify t into t
3.214 * [taylor]: Taking taylor expansion of (pow z 2) in z
3.214 * [taylor]: Taking taylor expansion of z in z
3.214 * [backup-simplify]: Simplify 0 into 0
3.215 * [backup-simplify]: Simplify 1 into 1
3.215 * [backup-simplify]: Simplify (* t t) into (pow t 2)
3.215 * [backup-simplify]: Simplify (* 1 1) into 1
3.215 * [backup-simplify]: Simplify (/ (pow t 2) 1) into (pow t 2)
3.215 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z
3.215 * [taylor]: Taking taylor expansion of (pow t 2) in z
3.215 * [taylor]: Taking taylor expansion of t in z
3.215 * [backup-simplify]: Simplify t into t
3.215 * [taylor]: Taking taylor expansion of (pow z 2) in z
3.215 * [taylor]: Taking taylor expansion of z in z
3.215 * [backup-simplify]: Simplify 0 into 0
3.215 * [backup-simplify]: Simplify 1 into 1
3.215 * [backup-simplify]: Simplify (* t t) into (pow t 2)
3.216 * [backup-simplify]: Simplify (* 1 1) into 1
3.216 * [backup-simplify]: Simplify (/ (pow t 2) 1) into (pow t 2)
3.216 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.216 * [taylor]: Taking taylor expansion of t in t
3.216 * [backup-simplify]: Simplify 0 into 0
3.216 * [backup-simplify]: Simplify 1 into 1
3.216 * [backup-simplify]: Simplify (* 1 1) into 1
3.216 * [backup-simplify]: Simplify 1 into 1
3.216 * [backup-simplify]: Simplify (+ (* t 0) (* 0 t)) into 0
3.217 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.218 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow t 2) (/ 0 1)))) into 0
3.218 * [taylor]: Taking taylor expansion of 0 in t
3.218 * [backup-simplify]: Simplify 0 into 0
3.218 * [backup-simplify]: Simplify 0 into 0
3.218 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.218 * [backup-simplify]: Simplify 0 into 0
3.219 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 t))) into 0
3.219 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.221 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow t 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.221 * [taylor]: Taking taylor expansion of 0 in t
3.221 * [backup-simplify]: Simplify 0 into 0
3.221 * [backup-simplify]: Simplify 0 into 0
3.221 * [backup-simplify]: Simplify 0 into 0
3.221 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.221 * [backup-simplify]: Simplify 0 into 0
3.222 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 0) (* 0 t)))) into 0
3.223 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.224 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow t 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.224 * [taylor]: Taking taylor expansion of 0 in t
3.225 * [backup-simplify]: Simplify 0 into 0
3.225 * [backup-simplify]: Simplify 0 into 0
3.225 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 t) (/ 1 (/ 1 z))) 2)) into (/ (pow z 2) (pow t 2))
3.225 * [backup-simplify]: Simplify (/ (* (/ 1 (- z)) (/ 1 (- z))) (* (/ 1 (- t)) (/ 1 (- t)))) into (/ (pow t 2) (pow z 2))
3.225 * [approximate]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in (z t) around 0
3.225 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in t
3.225 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.225 * [taylor]: Taking taylor expansion of t in t
3.225 * [backup-simplify]: Simplify 0 into 0
3.225 * [backup-simplify]: Simplify 1 into 1
3.225 * [taylor]: Taking taylor expansion of (pow z 2) in t
3.225 * [taylor]: Taking taylor expansion of z in t
3.225 * [backup-simplify]: Simplify z into z
3.226 * [backup-simplify]: Simplify (* 1 1) into 1
3.226 * [backup-simplify]: Simplify (* z z) into (pow z 2)
3.226 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
3.226 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z
3.226 * [taylor]: Taking taylor expansion of (pow t 2) in z
3.226 * [taylor]: Taking taylor expansion of t in z
3.226 * [backup-simplify]: Simplify t into t
3.226 * [taylor]: Taking taylor expansion of (pow z 2) in z
3.226 * [taylor]: Taking taylor expansion of z in z
3.226 * [backup-simplify]: Simplify 0 into 0
3.226 * [backup-simplify]: Simplify 1 into 1
3.226 * [backup-simplify]: Simplify (* t t) into (pow t 2)
3.226 * [backup-simplify]: Simplify (* 1 1) into 1
3.227 * [backup-simplify]: Simplify (/ (pow t 2) 1) into (pow t 2)
3.227 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z
3.227 * [taylor]: Taking taylor expansion of (pow t 2) in z
3.227 * [taylor]: Taking taylor expansion of t in z
3.227 * [backup-simplify]: Simplify t into t
3.227 * [taylor]: Taking taylor expansion of (pow z 2) in z
3.227 * [taylor]: Taking taylor expansion of z in z
3.227 * [backup-simplify]: Simplify 0 into 0
3.227 * [backup-simplify]: Simplify 1 into 1
3.227 * [backup-simplify]: Simplify (* t t) into (pow t 2)
3.227 * [backup-simplify]: Simplify (* 1 1) into 1
3.227 * [backup-simplify]: Simplify (/ (pow t 2) 1) into (pow t 2)
3.227 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.227 * [taylor]: Taking taylor expansion of t in t
3.227 * [backup-simplify]: Simplify 0 into 0
3.227 * [backup-simplify]: Simplify 1 into 1
3.228 * [backup-simplify]: Simplify (* 1 1) into 1
3.228 * [backup-simplify]: Simplify 1 into 1
3.228 * [backup-simplify]: Simplify (+ (* t 0) (* 0 t)) into 0
3.228 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.229 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow t 2) (/ 0 1)))) into 0
3.229 * [taylor]: Taking taylor expansion of 0 in t
3.229 * [backup-simplify]: Simplify 0 into 0
3.229 * [backup-simplify]: Simplify 0 into 0
3.230 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.230 * [backup-simplify]: Simplify 0 into 0
3.230 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 t))) into 0
3.231 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.232 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow t 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.232 * [taylor]: Taking taylor expansion of 0 in t
3.232 * [backup-simplify]: Simplify 0 into 0
3.232 * [backup-simplify]: Simplify 0 into 0
3.232 * [backup-simplify]: Simplify 0 into 0
3.240 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.241 * [backup-simplify]: Simplify 0 into 0
3.242 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 0) (* 0 t)))) into 0
3.242 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.244 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow t 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.244 * [taylor]: Taking taylor expansion of 0 in t
3.244 * [backup-simplify]: Simplify 0 into 0
3.244 * [backup-simplify]: Simplify 0 into 0
3.245 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (- t)) (/ 1 (/ 1 (- z)))) 2)) into (/ (pow z 2) (pow t 2))
3.245 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
3.245 * [backup-simplify]: Simplify (* (fabs (/ x y)) (fabs (/ x y))) into (pow (fabs (/ x y)) 2)
3.245 * [approximate]: Taking taylor expansion of (pow (fabs (/ x y)) 2) in (x y) around 0
3.245 * [taylor]: Taking taylor expansion of (pow (fabs (/ x y)) 2) in y
3.245 * [taylor]: Taking taylor expansion of (fabs (/ x y)) in y
3.245 * [backup-simplify]: Simplify (fabs (/ x y)) into (fabs (/ x y))
3.245 * [taylor]: Taking taylor expansion of (pow (fabs (/ x y)) 2) in x
3.245 * [taylor]: Taking taylor expansion of (fabs (/ x y)) in x
3.245 * [backup-simplify]: Simplify (fabs (/ x y)) into (fabs (/ x y))
3.245 * [taylor]: Taking taylor expansion of (pow (fabs (/ x y)) 2) in x
3.245 * [taylor]: Taking taylor expansion of (fabs (/ x y)) in x
3.245 * [backup-simplify]: Simplify (fabs (/ x y)) into (fabs (/ x y))
3.245 * [backup-simplify]: Simplify (* (fabs (/ x y)) (fabs (/ x y))) into (pow (fabs (/ x y)) 2)
3.245 * [taylor]: Taking taylor expansion of (pow (fabs (/ x y)) 2) in y
3.245 * [taylor]: Taking taylor expansion of (fabs (/ x y)) in y
3.245 * [backup-simplify]: Simplify (fabs (/ x y)) into (fabs (/ x y))
3.245 * [backup-simplify]: Simplify (* (fabs (/ x y)) (fabs (/ x y))) into (pow (fabs (/ x y)) 2)
3.246 * [backup-simplify]: Simplify (pow (fabs (/ x y)) 2) into (pow (fabs (/ x y)) 2)
3.246 * [backup-simplify]: Simplify (+ (* (fabs (/ x y)) 0) (* 0 (fabs (/ x y)))) into 0
3.246 * [taylor]: Taking taylor expansion of 0 in y
3.246 * [backup-simplify]: Simplify 0 into 0
3.246 * [backup-simplify]: Simplify 0 into 0
3.246 * [backup-simplify]: Simplify (+ (* (fabs (/ x y)) 0) (* 0 (fabs (/ x y)))) into 0
3.246 * [backup-simplify]: Simplify 0 into 0
3.246 * [backup-simplify]: Simplify (+ (* (fabs (/ x y)) 0) (+ (* 0 0) (* 0 (fabs (/ x y))))) into 0
3.246 * [taylor]: Taking taylor expansion of 0 in y
3.246 * [backup-simplify]: Simplify 0 into 0
3.246 * [backup-simplify]: Simplify 0 into 0
3.246 * [backup-simplify]: Simplify 0 into 0
3.247 * [backup-simplify]: Simplify (+ (* (fabs (/ x y)) 0) (+ (* 0 0) (* 0 (fabs (/ x y))))) into 0
3.247 * [backup-simplify]: Simplify 0 into 0
3.247 * [backup-simplify]: Simplify (+ (* (fabs (/ x y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ x y)))))) into 0
3.247 * [taylor]: Taking taylor expansion of 0 in y
3.247 * [backup-simplify]: Simplify 0 into 0
3.248 * [backup-simplify]: Simplify 0 into 0
3.248 * [backup-simplify]: Simplify (pow (fabs (/ x y)) 2) into (pow (fabs (/ x y)) 2)
3.248 * [backup-simplify]: Simplify (* (fabs (/ (/ 1 x) (/ 1 y))) (fabs (/ (/ 1 x) (/ 1 y)))) into (pow (fabs (/ y x)) 2)
3.248 * [approximate]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in (x y) around 0
3.248 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in y
3.248 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in y
3.248 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
3.248 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in x
3.248 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in x
3.248 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
3.248 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in x
3.248 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in x
3.248 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
3.248 * [backup-simplify]: Simplify (* (fabs (/ y x)) (fabs (/ y x))) into (pow (fabs (/ y x)) 2)
3.248 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in y
3.248 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in y
3.248 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
3.248 * [backup-simplify]: Simplify (* (fabs (/ y x)) (fabs (/ y x))) into (pow (fabs (/ y x)) 2)
3.249 * [backup-simplify]: Simplify (pow (fabs (/ y x)) 2) into (pow (fabs (/ y x)) 2)
3.249 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (* 0 (fabs (/ y x)))) into 0
3.249 * [taylor]: Taking taylor expansion of 0 in y
3.249 * [backup-simplify]: Simplify 0 into 0
3.249 * [backup-simplify]: Simplify 0 into 0
3.249 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (* 0 (fabs (/ y x)))) into 0
3.249 * [backup-simplify]: Simplify 0 into 0
3.249 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (+ (* 0 0) (* 0 (fabs (/ y x))))) into 0
3.249 * [taylor]: Taking taylor expansion of 0 in y
3.249 * [backup-simplify]: Simplify 0 into 0
3.249 * [backup-simplify]: Simplify 0 into 0
3.249 * [backup-simplify]: Simplify 0 into 0
3.250 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (+ (* 0 0) (* 0 (fabs (/ y x))))) into 0
3.250 * [backup-simplify]: Simplify 0 into 0
3.250 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ y x)))))) into 0
3.250 * [taylor]: Taking taylor expansion of 0 in y
3.250 * [backup-simplify]: Simplify 0 into 0
3.250 * [backup-simplify]: Simplify 0 into 0
3.250 * [backup-simplify]: Simplify (pow (fabs (/ (/ 1 y) (/ 1 x))) 2) into (pow (fabs (/ x y)) 2)
3.251 * [backup-simplify]: Simplify (* (fabs (/ (/ 1 (- x)) (/ 1 (- y)))) (fabs (/ (/ 1 (- x)) (/ 1 (- y))))) into (pow (fabs (/ y x)) 2)
3.251 * [approximate]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in (x y) around 0
3.251 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in y
3.251 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in y
3.251 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
3.251 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in x
3.251 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in x
3.251 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
3.251 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in x
3.251 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in x
3.251 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
3.251 * [backup-simplify]: Simplify (* (fabs (/ y x)) (fabs (/ y x))) into (pow (fabs (/ y x)) 2)
3.251 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in y
3.251 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in y
3.251 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
3.251 * [backup-simplify]: Simplify (* (fabs (/ y x)) (fabs (/ y x))) into (pow (fabs (/ y x)) 2)
3.251 * [backup-simplify]: Simplify (pow (fabs (/ y x)) 2) into (pow (fabs (/ y x)) 2)
3.252 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (* 0 (fabs (/ y x)))) into 0
3.252 * [taylor]: Taking taylor expansion of 0 in y
3.252 * [backup-simplify]: Simplify 0 into 0
3.252 * [backup-simplify]: Simplify 0 into 0
3.252 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (* 0 (fabs (/ y x)))) into 0
3.252 * [backup-simplify]: Simplify 0 into 0
3.252 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (+ (* 0 0) (* 0 (fabs (/ y x))))) into 0
3.252 * [taylor]: Taking taylor expansion of 0 in y
3.252 * [backup-simplify]: Simplify 0 into 0
3.252 * [backup-simplify]: Simplify 0 into 0
3.252 * [backup-simplify]: Simplify 0 into 0
3.253 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (+ (* 0 0) (* 0 (fabs (/ y x))))) into 0
3.253 * [backup-simplify]: Simplify 0 into 0
3.253 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ y x)))))) into 0
3.253 * [taylor]: Taking taylor expansion of 0 in y
3.253 * [backup-simplify]: Simplify 0 into 0
3.253 * [backup-simplify]: Simplify 0 into 0
3.254 * [backup-simplify]: Simplify (pow (fabs (/ (/ 1 (- y)) (/ 1 (- x)))) 2) into (pow (fabs (/ x y)) 2)
3.254 * * * [progress]: simplifying candidates
3.254 * [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)
3.255 * * [simplify]: Extracting # 0 : cost  0
3.255 * * [simplify]: Extracting # 1 : cost  0
3.255 * * [simplify]: Extracting # 2 : cost  0
3.256 * * [simplify]: Extracting # 3 : cost  0
3.256 * * [simplify]: Extracting # 4 : cost  0
3.256 * * [simplify]: Extracting # 5 : cost  0
3.256 * * [simplify]: Extracting # 6 : cost  0
3.256 * * [simplify]: Extracting # 7 : cost  0
3.256 * * [simplify]: Extracting # 8 : cost  0
3.256 * * [simplify]: iteration  0 :  76  enodes  (cost  596 )
3.274 * * [simplify]: Extracting # 0 : cost  0
3.274 * * [simplify]: Extracting # 1 : cost  0
3.274 * * [simplify]: Extracting # 2 : cost  0
3.275 * * [simplify]: iteration  1 :  176  enodes  (cost  494 )
3.361 * * [simplify]: Extracting # 0 : cost  0
3.362 * * [simplify]: Extracting # 1 : cost  0
3.363 * * [simplify]: Extracting # 2 : cost  0
3.363 * * [simplify]: Extracting # 3 : cost  0
3.364 * * [simplify]: Extracting # 4 : cost  0
3.365 * * [simplify]: iteration  2 :  592  enodes  (cost  371 )
4.016 * * [simplify]: Extracting # 0 : cost  0
4.018 * * [simplify]: Extracting # 1 : cost  0
4.020 * * [simplify]: Extracting # 2 : cost  0
4.023 * * [simplify]: Extracting # 3 : cost  0
4.026 * * [simplify]: Extracting # 4 : cost  0
4.029 * * [simplify]: iteration  3 :  2120  enodes  (cost  340 )
8.896 * * [simplify]: Extracting # 0 : cost  0
8.905 * * [simplify]: Extracting # 1 : cost  0
8.909 * * [simplify]: Extracting # 2 : cost  0
8.913 * * [simplify]: Extracting # 3 : cost  0
8.917 * * [simplify]: Extracting # 4 : cost  0
8.921 * * [simplify]: iteration done:  5000  enodes  (cost  324 )
8.922 * [simplify]: Simplified to:
  (* 2 (log (/ z t)))
  (* 2 (log (/ z t)))
  (* 2 (log (/ z t)))
  (* 2 (log (/ z t)))
  (* 2 (log (/ z t)))
  (exp (/ (* z z) (* t t)))
  (pow (/ z t) 6)
  (pow (/ z t) 6)
  (pow (/ z t) 6)
  (pow (/ z t) 6)
  (* (cbrt (/ (* z z) (* t t))) (cbrt (/ (* z z) (* t t))))
  (cbrt (/ (* z z) (* t t)))
  (pow (/ z t) 6)
  (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 (fabs (/ x y)) 6)
  (* (cbrt (pow (fabs (/ x y)) 2)) (cbrt (pow (fabs (/ x y)) 2)))
  (cbrt (pow (fabs (/ x y)) 2))
  (pow (fabs (/ x y)) 6)
  (fabs (fabs (/ x y)))
  (fabs (fabs (/ x y)))
  (pow (cbrt (fabs (/ x y))) 4)
  (* (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
  (pow (cbrt (fabs (/ x y))) 5)
  (pow (sqrt (fabs (/ x y))) 3)
  (fabs (/ x y))
  (pow (cbrt (fabs (/ x y))) 4)
  (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)
8.922 * * * [progress]: adding candidates to table
9.053 * * [progress]: iteration 3 / 4
9.053 * * * [progress]: picking best candidate
9.074 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (/ z t) (/ z t))))>
9.074 * * * [progress]: localizing error
9.084 * * * [progress]: generating rewritten candidates
9.085 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
9.095 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
9.140 * * * [progress]: generating series expansions
9.140 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
9.140 * [backup-simplify]: Simplify (* (fabs (/ x y)) (fabs (/ x y))) into (pow (fabs (/ x y)) 2)
9.140 * [approximate]: Taking taylor expansion of (pow (fabs (/ x y)) 2) in (x y) around 0
9.140 * [taylor]: Taking taylor expansion of (pow (fabs (/ x y)) 2) in y
9.140 * [taylor]: Taking taylor expansion of (fabs (/ x y)) in y
9.140 * [backup-simplify]: Simplify (fabs (/ x y)) into (fabs (/ x y))
9.141 * [taylor]: Taking taylor expansion of (pow (fabs (/ x y)) 2) in x
9.141 * [taylor]: Taking taylor expansion of (fabs (/ x y)) in x
9.141 * [backup-simplify]: Simplify (fabs (/ x y)) into (fabs (/ x y))
9.141 * [taylor]: Taking taylor expansion of (pow (fabs (/ x y)) 2) in x
9.141 * [taylor]: Taking taylor expansion of (fabs (/ x y)) in x
9.141 * [backup-simplify]: Simplify (fabs (/ x y)) into (fabs (/ x y))
9.141 * [backup-simplify]: Simplify (* (fabs (/ x y)) (fabs (/ x y))) into (pow (fabs (/ x y)) 2)
9.141 * [taylor]: Taking taylor expansion of (pow (fabs (/ x y)) 2) in y
9.141 * [taylor]: Taking taylor expansion of (fabs (/ x y)) in y
9.141 * [backup-simplify]: Simplify (fabs (/ x y)) into (fabs (/ x y))
9.141 * [backup-simplify]: Simplify (* (fabs (/ x y)) (fabs (/ x y))) into (pow (fabs (/ x y)) 2)
9.141 * [backup-simplify]: Simplify (pow (fabs (/ x y)) 2) into (pow (fabs (/ x y)) 2)
9.142 * [backup-simplify]: Simplify (+ (* (fabs (/ x y)) 0) (* 0 (fabs (/ x y)))) into 0
9.142 * [taylor]: Taking taylor expansion of 0 in y
9.142 * [backup-simplify]: Simplify 0 into 0
9.142 * [backup-simplify]: Simplify 0 into 0
9.142 * [backup-simplify]: Simplify (+ (* (fabs (/ x y)) 0) (* 0 (fabs (/ x y)))) into 0
9.142 * [backup-simplify]: Simplify 0 into 0
9.143 * [backup-simplify]: Simplify (+ (* (fabs (/ x y)) 0) (+ (* 0 0) (* 0 (fabs (/ x y))))) into 0
9.143 * [taylor]: Taking taylor expansion of 0 in y
9.143 * [backup-simplify]: Simplify 0 into 0
9.143 * [backup-simplify]: Simplify 0 into 0
9.143 * [backup-simplify]: Simplify 0 into 0
9.143 * [backup-simplify]: Simplify (+ (* (fabs (/ x y)) 0) (+ (* 0 0) (* 0 (fabs (/ x y))))) into 0
9.143 * [backup-simplify]: Simplify 0 into 0
9.144 * [backup-simplify]: Simplify (+ (* (fabs (/ x y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ x y)))))) into 0
9.144 * [taylor]: Taking taylor expansion of 0 in y
9.144 * [backup-simplify]: Simplify 0 into 0
9.144 * [backup-simplify]: Simplify 0 into 0
9.144 * [backup-simplify]: Simplify (pow (fabs (/ x y)) 2) into (pow (fabs (/ x y)) 2)
9.144 * [backup-simplify]: Simplify (* (fabs (/ (/ 1 x) (/ 1 y))) (fabs (/ (/ 1 x) (/ 1 y)))) into (pow (fabs (/ y x)) 2)
9.144 * [approximate]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in (x y) around 0
9.144 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in y
9.144 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in y
9.145 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
9.145 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in x
9.145 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in x
9.145 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
9.145 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in x
9.145 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in x
9.145 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
9.145 * [backup-simplify]: Simplify (* (fabs (/ y x)) (fabs (/ y x))) into (pow (fabs (/ y x)) 2)
9.145 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in y
9.145 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in y
9.145 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
9.145 * [backup-simplify]: Simplify (* (fabs (/ y x)) (fabs (/ y x))) into (pow (fabs (/ y x)) 2)
9.145 * [backup-simplify]: Simplify (pow (fabs (/ y x)) 2) into (pow (fabs (/ y x)) 2)
9.146 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (* 0 (fabs (/ y x)))) into 0
9.146 * [taylor]: Taking taylor expansion of 0 in y
9.146 * [backup-simplify]: Simplify 0 into 0
9.146 * [backup-simplify]: Simplify 0 into 0
9.146 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (* 0 (fabs (/ y x)))) into 0
9.146 * [backup-simplify]: Simplify 0 into 0
9.146 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (+ (* 0 0) (* 0 (fabs (/ y x))))) into 0
9.146 * [taylor]: Taking taylor expansion of 0 in y
9.146 * [backup-simplify]: Simplify 0 into 0
9.146 * [backup-simplify]: Simplify 0 into 0
9.146 * [backup-simplify]: Simplify 0 into 0
9.147 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (+ (* 0 0) (* 0 (fabs (/ y x))))) into 0
9.147 * [backup-simplify]: Simplify 0 into 0
9.148 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ y x)))))) into 0
9.148 * [taylor]: Taking taylor expansion of 0 in y
9.148 * [backup-simplify]: Simplify 0 into 0
9.148 * [backup-simplify]: Simplify 0 into 0
9.148 * [backup-simplify]: Simplify (pow (fabs (/ (/ 1 y) (/ 1 x))) 2) into (pow (fabs (/ x y)) 2)
9.148 * [backup-simplify]: Simplify (* (fabs (/ (/ 1 (- x)) (/ 1 (- y)))) (fabs (/ (/ 1 (- x)) (/ 1 (- y))))) into (pow (fabs (/ y x)) 2)
9.148 * [approximate]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in (x y) around 0
9.148 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in y
9.148 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in y
9.148 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
9.148 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in x
9.148 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in x
9.148 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
9.149 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in x
9.149 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in x
9.149 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
9.149 * [backup-simplify]: Simplify (* (fabs (/ y x)) (fabs (/ y x))) into (pow (fabs (/ y x)) 2)
9.149 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 2) in y
9.149 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in y
9.149 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
9.149 * [backup-simplify]: Simplify (* (fabs (/ y x)) (fabs (/ y x))) into (pow (fabs (/ y x)) 2)
9.149 * [backup-simplify]: Simplify (pow (fabs (/ y x)) 2) into (pow (fabs (/ y x)) 2)
9.149 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (* 0 (fabs (/ y x)))) into 0
9.149 * [taylor]: Taking taylor expansion of 0 in y
9.149 * [backup-simplify]: Simplify 0 into 0
9.149 * [backup-simplify]: Simplify 0 into 0
9.150 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (* 0 (fabs (/ y x)))) into 0
9.150 * [backup-simplify]: Simplify 0 into 0
9.150 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (+ (* 0 0) (* 0 (fabs (/ y x))))) into 0
9.150 * [taylor]: Taking taylor expansion of 0 in y
9.150 * [backup-simplify]: Simplify 0 into 0
9.150 * [backup-simplify]: Simplify 0 into 0
9.150 * [backup-simplify]: Simplify 0 into 0
9.151 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (+ (* 0 0) (* 0 (fabs (/ y x))))) into 0
9.151 * [backup-simplify]: Simplify 0 into 0
9.151 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ y x)))))) into 0
9.151 * [taylor]: Taking taylor expansion of 0 in y
9.151 * [backup-simplify]: Simplify 0 into 0
9.152 * [backup-simplify]: Simplify 0 into 0
9.152 * [backup-simplify]: Simplify (pow (fabs (/ (/ 1 (- y)) (/ 1 (- x)))) 2) into (pow (fabs (/ x y)) 2)
9.152 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
9.152 * [backup-simplify]: Simplify (* (/ z t) (/ z t)) into (/ (pow z 2) (pow t 2))
9.152 * [approximate]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in (z t) around 0
9.152 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in t
9.152 * [taylor]: Taking taylor expansion of (pow z 2) in t
9.152 * [taylor]: Taking taylor expansion of z in t
9.152 * [backup-simplify]: Simplify z into z
9.152 * [taylor]: Taking taylor expansion of (pow t 2) in t
9.152 * [taylor]: Taking taylor expansion of t in t
9.152 * [backup-simplify]: Simplify 0 into 0
9.152 * [backup-simplify]: Simplify 1 into 1
9.152 * [backup-simplify]: Simplify (* z z) into (pow z 2)
9.152 * [backup-simplify]: Simplify (* 1 1) into 1
9.153 * [backup-simplify]: Simplify (/ (pow z 2) 1) into (pow z 2)
9.153 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z
9.153 * [taylor]: Taking taylor expansion of (pow z 2) in z
9.153 * [taylor]: Taking taylor expansion of z in z
9.153 * [backup-simplify]: Simplify 0 into 0
9.153 * [backup-simplify]: Simplify 1 into 1
9.153 * [taylor]: Taking taylor expansion of (pow t 2) in z
9.153 * [taylor]: Taking taylor expansion of t in z
9.153 * [backup-simplify]: Simplify t into t
9.153 * [backup-simplify]: Simplify (* 1 1) into 1
9.153 * [backup-simplify]: Simplify (* t t) into (pow t 2)
9.153 * [backup-simplify]: Simplify (/ 1 (pow t 2)) into (/ 1 (pow t 2))
9.153 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z
9.153 * [taylor]: Taking taylor expansion of (pow z 2) in z
9.153 * [taylor]: Taking taylor expansion of z in z
9.153 * [backup-simplify]: Simplify 0 into 0
9.153 * [backup-simplify]: Simplify 1 into 1
9.153 * [taylor]: Taking taylor expansion of (pow t 2) in z
9.153 * [taylor]: Taking taylor expansion of t in z
9.153 * [backup-simplify]: Simplify t into t
9.154 * [backup-simplify]: Simplify (* 1 1) into 1
9.154 * [backup-simplify]: Simplify (* t t) into (pow t 2)
9.154 * [backup-simplify]: Simplify (/ 1 (pow t 2)) into (/ 1 (pow t 2))
9.154 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
9.154 * [taylor]: Taking taylor expansion of (pow t 2) in t
9.154 * [taylor]: Taking taylor expansion of t in t
9.154 * [backup-simplify]: Simplify 0 into 0
9.154 * [backup-simplify]: Simplify 1 into 1
9.154 * [backup-simplify]: Simplify (* 1 1) into 1
9.155 * [backup-simplify]: Simplify (/ 1 1) into 1
9.155 * [backup-simplify]: Simplify 1 into 1
9.155 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.155 * [backup-simplify]: Simplify (+ (* t 0) (* 0 t)) into 0
9.156 * [backup-simplify]: Simplify (- (/ 0 (pow t 2)) (+ (* (/ 1 (pow t 2)) (/ 0 (pow t 2))))) into 0
9.156 * [taylor]: Taking taylor expansion of 0 in t
9.156 * [backup-simplify]: Simplify 0 into 0
9.156 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.157 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.157 * [backup-simplify]: Simplify 0 into 0
9.157 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.158 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 t))) into 0
9.158 * [backup-simplify]: Simplify (- (/ 0 (pow t 2)) (+ (* (/ 1 (pow t 2)) (/ 0 (pow t 2))) (* 0 (/ 0 (pow t 2))))) into 0
9.158 * [taylor]: Taking taylor expansion of 0 in t
9.158 * [backup-simplify]: Simplify 0 into 0
9.159 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.159 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.159 * [backup-simplify]: Simplify 0 into 0
9.160 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.161 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 0) (* 0 t)))) into 0
9.161 * [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
9.162 * [taylor]: Taking taylor expansion of 0 in t
9.162 * [backup-simplify]: Simplify 0 into 0
9.162 * [backup-simplify]: Simplify 0 into 0
9.162 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.163 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.163 * [backup-simplify]: Simplify 0 into 0
9.164 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.165 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 t))))) into 0
9.165 * [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
9.165 * [taylor]: Taking taylor expansion of 0 in t
9.165 * [backup-simplify]: Simplify 0 into 0
9.165 * [backup-simplify]: Simplify 0 into 0
9.165 * [backup-simplify]: Simplify 0 into 0
9.165 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 t) z) 2)) into (/ (pow z 2) (pow t 2))
9.165 * [backup-simplify]: Simplify (* (/ (/ 1 z) (/ 1 t)) (/ (/ 1 z) (/ 1 t))) into (/ (pow t 2) (pow z 2))
9.165 * [approximate]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in (z t) around 0
9.165 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in t
9.165 * [taylor]: Taking taylor expansion of (pow t 2) in t
9.166 * [taylor]: Taking taylor expansion of t in t
9.166 * [backup-simplify]: Simplify 0 into 0
9.166 * [backup-simplify]: Simplify 1 into 1
9.166 * [taylor]: Taking taylor expansion of (pow z 2) in t
9.166 * [taylor]: Taking taylor expansion of z in t
9.166 * [backup-simplify]: Simplify z into z
9.166 * [backup-simplify]: Simplify (* 1 1) into 1
9.166 * [backup-simplify]: Simplify (* z z) into (pow z 2)
9.166 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
9.166 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z
9.166 * [taylor]: Taking taylor expansion of (pow t 2) in z
9.166 * [taylor]: Taking taylor expansion of t in z
9.166 * [backup-simplify]: Simplify t into t
9.166 * [taylor]: Taking taylor expansion of (pow z 2) in z
9.166 * [taylor]: Taking taylor expansion of z in z
9.166 * [backup-simplify]: Simplify 0 into 0
9.166 * [backup-simplify]: Simplify 1 into 1
9.166 * [backup-simplify]: Simplify (* t t) into (pow t 2)
9.166 * [backup-simplify]: Simplify (* 1 1) into 1
9.166 * [backup-simplify]: Simplify (/ (pow t 2) 1) into (pow t 2)
9.167 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z
9.167 * [taylor]: Taking taylor expansion of (pow t 2) in z
9.167 * [taylor]: Taking taylor expansion of t in z
9.167 * [backup-simplify]: Simplify t into t
9.167 * [taylor]: Taking taylor expansion of (pow z 2) in z
9.167 * [taylor]: Taking taylor expansion of z in z
9.167 * [backup-simplify]: Simplify 0 into 0
9.167 * [backup-simplify]: Simplify 1 into 1
9.167 * [backup-simplify]: Simplify (* t t) into (pow t 2)
9.167 * [backup-simplify]: Simplify (* 1 1) into 1
9.167 * [backup-simplify]: Simplify (/ (pow t 2) 1) into (pow t 2)
9.167 * [taylor]: Taking taylor expansion of (pow t 2) in t
9.167 * [taylor]: Taking taylor expansion of t in t
9.167 * [backup-simplify]: Simplify 0 into 0
9.167 * [backup-simplify]: Simplify 1 into 1
9.167 * [backup-simplify]: Simplify (* 1 1) into 1
9.167 * [backup-simplify]: Simplify 1 into 1
9.167 * [backup-simplify]: Simplify (+ (* t 0) (* 0 t)) into 0
9.168 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.168 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow t 2) (/ 0 1)))) into 0
9.168 * [taylor]: Taking taylor expansion of 0 in t
9.168 * [backup-simplify]: Simplify 0 into 0
9.168 * [backup-simplify]: Simplify 0 into 0
9.169 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.169 * [backup-simplify]: Simplify 0 into 0
9.169 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 t))) into 0
9.170 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.171 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow t 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.171 * [taylor]: Taking taylor expansion of 0 in t
9.171 * [backup-simplify]: Simplify 0 into 0
9.171 * [backup-simplify]: Simplify 0 into 0
9.171 * [backup-simplify]: Simplify 0 into 0
9.171 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.171 * [backup-simplify]: Simplify 0 into 0
9.172 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 0) (* 0 t)))) into 0
9.172 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.173 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow t 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.173 * [taylor]: Taking taylor expansion of 0 in t
9.173 * [backup-simplify]: Simplify 0 into 0
9.173 * [backup-simplify]: Simplify 0 into 0
9.174 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 t) (/ 1 (/ 1 z))) 2)) into (/ (pow z 2) (pow t 2))
9.174 * [backup-simplify]: Simplify (* (/ (/ 1 (- z)) (/ 1 (- t))) (/ (/ 1 (- z)) (/ 1 (- t)))) into (/ (pow t 2) (pow z 2))
9.174 * [approximate]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in (z t) around 0
9.174 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in t
9.174 * [taylor]: Taking taylor expansion of (pow t 2) in t
9.174 * [taylor]: Taking taylor expansion of t in t
9.174 * [backup-simplify]: Simplify 0 into 0
9.174 * [backup-simplify]: Simplify 1 into 1
9.174 * [taylor]: Taking taylor expansion of (pow z 2) in t
9.174 * [taylor]: Taking taylor expansion of z in t
9.174 * [backup-simplify]: Simplify z into z
9.174 * [backup-simplify]: Simplify (* 1 1) into 1
9.174 * [backup-simplify]: Simplify (* z z) into (pow z 2)
9.174 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
9.174 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z
9.174 * [taylor]: Taking taylor expansion of (pow t 2) in z
9.174 * [taylor]: Taking taylor expansion of t in z
9.174 * [backup-simplify]: Simplify t into t
9.174 * [taylor]: Taking taylor expansion of (pow z 2) in z
9.174 * [taylor]: Taking taylor expansion of z in z
9.174 * [backup-simplify]: Simplify 0 into 0
9.174 * [backup-simplify]: Simplify 1 into 1
9.174 * [backup-simplify]: Simplify (* t t) into (pow t 2)
9.175 * [backup-simplify]: Simplify (* 1 1) into 1
9.175 * [backup-simplify]: Simplify (/ (pow t 2) 1) into (pow t 2)
9.175 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z
9.175 * [taylor]: Taking taylor expansion of (pow t 2) in z
9.175 * [taylor]: Taking taylor expansion of t in z
9.175 * [backup-simplify]: Simplify t into t
9.175 * [taylor]: Taking taylor expansion of (pow z 2) in z
9.175 * [taylor]: Taking taylor expansion of z in z
9.175 * [backup-simplify]: Simplify 0 into 0
9.175 * [backup-simplify]: Simplify 1 into 1
9.175 * [backup-simplify]: Simplify (* t t) into (pow t 2)
9.175 * [backup-simplify]: Simplify (* 1 1) into 1
9.175 * [backup-simplify]: Simplify (/ (pow t 2) 1) into (pow t 2)
9.175 * [taylor]: Taking taylor expansion of (pow t 2) in t
9.175 * [taylor]: Taking taylor expansion of t in t
9.175 * [backup-simplify]: Simplify 0 into 0
9.175 * [backup-simplify]: Simplify 1 into 1
9.176 * [backup-simplify]: Simplify (* 1 1) into 1
9.176 * [backup-simplify]: Simplify 1 into 1
9.176 * [backup-simplify]: Simplify (+ (* t 0) (* 0 t)) into 0
9.176 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.177 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow t 2) (/ 0 1)))) into 0
9.177 * [taylor]: Taking taylor expansion of 0 in t
9.177 * [backup-simplify]: Simplify 0 into 0
9.177 * [backup-simplify]: Simplify 0 into 0
9.178 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.178 * [backup-simplify]: Simplify 0 into 0
9.178 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 t))) into 0
9.179 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.180 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow t 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.180 * [taylor]: Taking taylor expansion of 0 in t
9.180 * [backup-simplify]: Simplify 0 into 0
9.180 * [backup-simplify]: Simplify 0 into 0
9.180 * [backup-simplify]: Simplify 0 into 0
9.181 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.181 * [backup-simplify]: Simplify 0 into 0
9.181 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 0) (* 0 t)))) into 0
9.182 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.183 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow t 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.183 * [taylor]: Taking taylor expansion of 0 in t
9.183 * [backup-simplify]: Simplify 0 into 0
9.184 * [backup-simplify]: Simplify 0 into 0
9.184 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (- t)) (/ 1 (/ 1 (- z)))) 2)) into (/ (pow z 2) (pow t 2))
9.184 * * * [progress]: simplifying candidates
9.185 * [simplify]: Simplifying:
  (+ 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)))
  (+ 1 1)
  (* (/ z t) (/ z t))
  (+ 1 1)
  (+ (- (log z) (log t)) (- (log z) (log t)))
  (+ (- (log z) (log t)) (log (/ z t)))
  (+ (log (/ z t)) (- (log z) (log t)))
  (+ (log (/ z t)) (log (/ z t)))
  (log (* (/ z t) (/ z t)))
  (exp (* (/ z t) (/ z t)))
  (* (/ (* (* z z) z) (* (* t t) t)) (/ (* (* z z) z) (* (* t t) t)))
  (* (/ (* (* z z) z) (* (* t t) t)) (* (* (/ z t) (/ z t)) (/ z t)))
  (* (* (* (/ z t) (/ z t)) (/ z t)) (/ (* (* z z) z) (* (* t t) t)))
  (* (* (* (/ z t) (/ z t)) (/ z t)) (* (* (/ z t) (/ z t)) (/ z t)))
  (* (cbrt (* (/ z t) (/ z t))) (cbrt (* (/ z t) (/ z t))))
  (cbrt (* (/ z t) (/ z t)))
  (* (* (* (/ z t) (/ z t)) (* (/ z t) (/ z t))) (* (/ z t) (/ z t)))
  (sqrt (* (/ z t) (/ z t)))
  (sqrt (* (/ z t) (/ z t)))
  (* z z)
  (* t t)
  (* (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (* (cbrt (/ z t)) (cbrt (/ z t)))
  (* (sqrt (/ z t)) (sqrt (/ z t)))
  (* (sqrt (/ z t)) (sqrt (/ z t)))
  (* (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))
  (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t)))
  (* (/ (* (cbrt z) (cbrt z)) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t)))
  (* (/ (cbrt z) (sqrt t)) (/ (cbrt z) (sqrt t)))
  (* (/ (* (cbrt z) (cbrt z)) 1) (/ (* (cbrt z) (cbrt z)) 1))
  (* (/ (cbrt z) t) (/ (cbrt z) t))
  (* (/ (sqrt z) (* (cbrt t) (cbrt t))) (/ (sqrt z) (* (cbrt t) (cbrt t))))
  (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (cbrt t)))
  (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t)))
  (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t)))
  (* (/ (sqrt z) 1) (/ (sqrt z) 1))
  (* (/ (sqrt z) t) (/ (sqrt z) t))
  (* (/ 1 (* (cbrt t) (cbrt t))) (/ 1 (* (cbrt t) (cbrt t))))
  (* (/ z (cbrt t)) (/ z (cbrt t)))
  (* (/ 1 (sqrt t)) (/ 1 (sqrt t)))
  (* (/ z (sqrt t)) (/ z (sqrt t)))
  (* (/ 1 1) (/ 1 1))
  (* (/ z t) (/ z t))
  (* 1 1)
  (* (/ z t) (/ z t))
  (* z z)
  (* (/ 1 t) (/ 1 t))
  (* (sqrt (/ z t)) (sqrt (/ z t)))
  (* (sqrt (/ z t)) (sqrt (/ z t)))
  (* (sqrt (/ z t)) (/ (sqrt z) (sqrt t)))
  (* (sqrt (/ z t)) (/ (sqrt z) (sqrt t)))
  (* (/ (sqrt z) (sqrt t)) (sqrt (/ z t)))
  (* (/ (sqrt z) (sqrt t)) (sqrt (/ z t)))
  (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t)))
  (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t)))
  (* 2 1)
  (* (/ z t) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (* (/ z t) (sqrt (/ z t)))
  (* (/ z t) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))
  (* (/ z t) (/ (* (cbrt z) (cbrt z)) (sqrt t)))
  (* (/ z t) (/ (* (cbrt z) (cbrt z)) 1))
  (* (/ z t) (/ (sqrt z) (* (cbrt t) (cbrt t))))
  (* (/ z t) (/ (sqrt z) (sqrt t)))
  (* (/ z t) (/ (sqrt z) 1))
  (* (/ z t) (/ 1 (* (cbrt t) (cbrt t))))
  (* (/ z t) (/ 1 (sqrt t)))
  (* (/ z t) (/ 1 1))
  (* (/ z t) 1)
  (* (/ z t) z)
  (* (cbrt (/ z t)) (/ z t))
  (* (sqrt (/ z t)) (/ z t))
  (* (/ (cbrt z) (cbrt t)) (/ z t))
  (* (/ (cbrt z) (sqrt t)) (/ z t))
  (* (/ (cbrt z) t) (/ z t))
  (* (/ (sqrt z) (cbrt t)) (/ z t))
  (* (/ (sqrt z) (sqrt t)) (/ z t))
  (* (/ (sqrt z) t) (/ z t))
  (* (/ z (cbrt t)) (/ z t))
  (* (/ z (sqrt t)) (/ z t))
  (* (/ z t) (/ z t))
  (* (/ z t) (/ z t))
  (* (/ 1 t) (/ z t))
  (* (/ z t) z)
  (* z (/ z t))
  (pow (fabs (/ x y)) 2)
  (pow (fabs (/ x y)) 2)
  (pow (fabs (/ x y)) 2)
  (/ (pow z 2) (pow t 2))
  (/ (pow z 2) (pow t 2))
  (/ (pow z 2) (pow t 2))
9.188 * * [simplify]: Extracting # 0 : cost  0
9.188 * * [simplify]: Extracting # 1 : cost  0
9.188 * * [simplify]: Extracting # 2 : cost  0
9.188 * * [simplify]: Extracting # 3 : cost  0
9.189 * * [simplify]: Extracting # 4 : cost  0
9.189 * * [simplify]: Extracting # 5 : cost  0
9.189 * * [simplify]: Extracting # 6 : cost  0
9.189 * * [simplify]: Extracting # 7 : cost  0
9.190 * * [simplify]: iteration  0 :  136  enodes  (cost  1177 )
9.241 * * [simplify]: Extracting # 0 : cost  0
9.242 * * [simplify]: Extracting # 1 : cost  0
9.242 * * [simplify]: Extracting # 2 : cost  0
9.243 * * [simplify]: Extracting # 3 : cost  0
9.243 * * [simplify]: iteration  1 :  365  enodes  (cost  995 )
9.474 * * [simplify]: Extracting # 0 : cost  0
9.476 * * [simplify]: Extracting # 1 : cost  0
9.478 * * [simplify]: Extracting # 2 : cost  0
9.480 * * [simplify]: Extracting # 3 : cost  0
9.486 * * [simplify]: Extracting # 4 : cost  0
9.488 * * [simplify]: iteration  2 :  1236  enodes  (cost  835 )
11.197 * * [simplify]: Extracting # 0 : cost  0
11.210 * * [simplify]: Extracting # 1 : cost  0
11.217 * * [simplify]: Extracting # 2 : cost  0
11.224 * * [simplify]: Extracting # 3 : cost  0
11.230 * * [simplify]: Extracting # 4 : cost  0
11.236 * * [simplify]: iteration done:  5000  enodes  (cost  766 )
11.237 * [simplify]: Simplified to:
  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)
  2
  (/ (pow z 2) (pow t 2))
  2
  (* 2 (log (/ z t)))
  (* 2 (log (/ z t)))
  (* 2 (log (/ z t)))
  (* 2 (log (/ z t)))
  (* 2 (log (/ z t)))
  (exp (* (/ z t) (/ z t)))
  (pow (/ z t) (* 2 3))
  (pow (/ z t) (* 2 3))
  (pow (/ z t) (* 2 3))
  (pow (/ z t) (* 2 3))
  (* (cbrt (* (/ z t) (/ z t))) (cbrt (* (/ z t) (/ z t))))
  (cbrt (* (/ z t) (/ z t)))
  (pow (/ z t) (* 2 3))
  (fabs (/ z t))
  (fabs (/ z t))
  (* z z)
  (* t t)
  (* (cbrt (/ z t)) (/ z t))
  (* (cbrt (/ z t)) (cbrt (/ z t)))
  (/ z t)
  (/ z t)
  (* (pow (/ (cbrt z) (cbrt t)) 3) (/ (cbrt z) (cbrt t)))
  (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))
  (/ (* (cbrt z) (pow (cbrt z) 3)) t)
  (* (/ (cbrt z) t) (cbrt z))
  (* (cbrt z) (pow (cbrt z) 3))
  (* (/ (cbrt z) t) (/ (cbrt z) t))
  (/ (/ (/ z (cbrt t)) (cbrt t)) (* (cbrt t) (cbrt t)))
  (/ (/ z (cbrt t)) (cbrt t))
  (/ z t)
  (/ z t)
  z
  (/ z (* t t))
  (/ (/ 1 (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t)))
  (* (/ z (cbrt t)) (/ z (cbrt t)))
  (/ 1 t)
  (/ (* z z) t)
  1
  (/ (pow z 2) (pow t 2))
  1
  (/ (pow z 2) (pow t 2))
  (* z z)
  (/ (/ 1 t) t)
  (/ z t)
  (/ z t)
  (* (sqrt (/ z t)) (/ (sqrt z) (sqrt t)))
  (* (sqrt (/ z t)) (/ (sqrt z) (sqrt t)))
  (* (sqrt (/ z t)) (/ (sqrt z) (sqrt t)))
  (* (sqrt (/ z t)) (/ (sqrt z) (sqrt t)))
  (/ z t)
  (/ z t)
  2
  (* (/ z t) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (pow (sqrt (/ z t)) 3)
  (* (/ z t) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))
  (* (/ z t) (/ (* (cbrt z) (cbrt z)) (sqrt t)))
  (* (* (cbrt z) (cbrt z)) (/ z t))
  (* (/ z t) (/ (sqrt z) (* (cbrt t) (cbrt t))))
  (* (/ (sqrt z) (sqrt t)) (/ z t))
  (* (/ (sqrt z) t) z)
  (/ (/ z t) (* (cbrt t) (cbrt t)))
  (/ (/ z t) (sqrt t))
  (/ z t)
  (/ z t)
  (/ (* z z) t)
  (* (cbrt (/ z t)) (/ z t))
  (pow (sqrt (/ z t)) 3)
  (* (/ (cbrt z) (cbrt t)) (/ z t))
  (* (/ (cbrt z) (sqrt t)) (/ z t))
  (* (/ (cbrt z) t) (/ z t))
  (* (/ (sqrt z) (cbrt t)) (/ z t))
  (* (/ (sqrt z) (sqrt t)) (/ z t))
  (* (/ (sqrt z) t) (/ z t))
  (* (/ z (cbrt t)) (/ z t))
  (* (/ z (sqrt t)) (/ z t))
  (/ (pow z 2) (pow t 2))
  (/ (pow z 2) (pow t 2))
  (/ z (* t t))
  (/ (* z z) t)
  (/ (* z z) t)
  (pow (fabs (/ x y)) 2)
  (pow (fabs (/ x y)) 2)
  (pow (fabs (/ x y)) 2)
  (/ (pow z 2) (pow t 2))
  (/ (pow z 2) (pow t 2))
  (/ (pow z 2) (pow t 2))
11.238 * * * [progress]: adding candidates to table
11.511 * * [progress]: iteration 4 / 4
11.511 * * * [progress]: picking best candidate
11.541 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (* (pow (sqrt (fabs (/ x y))) 3) (sqrt (fabs (/ x y)))) (* (/ z t) (/ z t))))>
11.542 * * * [progress]: localizing error
11.555 * * * [progress]: generating rewritten candidates
11.555 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
11.557 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
11.558 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
11.562 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
11.596 * * * [progress]: generating series expansions
11.596 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
11.596 * [backup-simplify]: Simplify (sqrt (fabs (/ x y))) into (sqrt (fabs (/ x y)))
11.596 * [approximate]: Taking taylor expansion of (sqrt (fabs (/ x y))) in (x y) around 0
11.596 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ x y))) in y
11.596 * [taylor]: Taking taylor expansion of (fabs (/ x y)) in y
11.596 * [backup-simplify]: Simplify (fabs (/ x y)) into (fabs (/ x y))
11.596 * [backup-simplify]: Simplify (sqrt (fabs (/ x y))) into (sqrt (fabs (/ x y)))
11.596 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ x y))))) into 0
11.596 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ x y))) in x
11.596 * [taylor]: Taking taylor expansion of (fabs (/ x y)) in x
11.596 * [backup-simplify]: Simplify (fabs (/ x y)) into (fabs (/ x y))
11.596 * [backup-simplify]: Simplify (sqrt (fabs (/ x y))) into (sqrt (fabs (/ x y)))
11.597 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ x y))))) into 0
11.597 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ x y))) in x
11.597 * [taylor]: Taking taylor expansion of (fabs (/ x y)) in x
11.597 * [backup-simplify]: Simplify (fabs (/ x y)) into (fabs (/ x y))
11.597 * [backup-simplify]: Simplify (sqrt (fabs (/ x y))) into (sqrt (fabs (/ x y)))
11.597 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ x y))))) into 0
11.597 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ x y))) in y
11.597 * [taylor]: Taking taylor expansion of (fabs (/ x y)) in y
11.597 * [backup-simplify]: Simplify (fabs (/ x y)) into (fabs (/ x y))
11.597 * [backup-simplify]: Simplify (sqrt (fabs (/ x y))) into (sqrt (fabs (/ x y)))
11.597 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ x y))))) into 0
11.597 * [backup-simplify]: Simplify (sqrt (fabs (/ x y))) into (sqrt (fabs (/ x y)))
11.597 * [taylor]: Taking taylor expansion of 0 in y
11.598 * [backup-simplify]: Simplify 0 into 0
11.598 * [backup-simplify]: Simplify 0 into 0
11.598 * [backup-simplify]: Simplify 0 into 0
11.599 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ x y))))) into 0
11.599 * [taylor]: Taking taylor expansion of 0 in y
11.599 * [backup-simplify]: Simplify 0 into 0
11.599 * [backup-simplify]: Simplify 0 into 0
11.599 * [backup-simplify]: Simplify 0 into 0
11.599 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ x y))))) into 0
11.599 * [backup-simplify]: Simplify 0 into 0
11.600 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (/ x y))))) into 0
11.600 * [taylor]: Taking taylor expansion of 0 in y
11.600 * [backup-simplify]: Simplify 0 into 0
11.600 * [backup-simplify]: Simplify 0 into 0
11.600 * [backup-simplify]: Simplify (sqrt (fabs (/ x y))) into (sqrt (fabs (/ x y)))
11.600 * [backup-simplify]: Simplify (sqrt (fabs (/ (/ 1 x) (/ 1 y)))) into (sqrt (fabs (/ y x)))
11.600 * [approximate]: Taking taylor expansion of (sqrt (fabs (/ y x))) in (x y) around 0
11.600 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ y x))) in y
11.601 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in y
11.601 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
11.601 * [backup-simplify]: Simplify (sqrt (fabs (/ y x))) into (sqrt (fabs (/ y x)))
11.601 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ y x))))) into 0
11.601 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ y x))) in x
11.601 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in x
11.601 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
11.601 * [backup-simplify]: Simplify (sqrt (fabs (/ y x))) into (sqrt (fabs (/ y x)))
11.601 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ y x))))) into 0
11.601 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ y x))) in x
11.601 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in x
11.601 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
11.601 * [backup-simplify]: Simplify (sqrt (fabs (/ y x))) into (sqrt (fabs (/ y x)))
11.601 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ y x))))) into 0
11.602 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ y x))) in y
11.602 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in y
11.602 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
11.602 * [backup-simplify]: Simplify (sqrt (fabs (/ y x))) into (sqrt (fabs (/ y x)))
11.602 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ y x))))) into 0
11.602 * [backup-simplify]: Simplify (sqrt (fabs (/ y x))) into (sqrt (fabs (/ y x)))
11.602 * [taylor]: Taking taylor expansion of 0 in y
11.602 * [backup-simplify]: Simplify 0 into 0
11.602 * [backup-simplify]: Simplify 0 into 0
11.602 * [backup-simplify]: Simplify 0 into 0
11.603 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ y x))))) into 0
11.603 * [taylor]: Taking taylor expansion of 0 in y
11.603 * [backup-simplify]: Simplify 0 into 0
11.603 * [backup-simplify]: Simplify 0 into 0
11.603 * [backup-simplify]: Simplify 0 into 0
11.603 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ y x))))) into 0
11.603 * [backup-simplify]: Simplify 0 into 0
11.604 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (/ y x))))) into 0
11.604 * [taylor]: Taking taylor expansion of 0 in y
11.604 * [backup-simplify]: Simplify 0 into 0
11.604 * [backup-simplify]: Simplify 0 into 0
11.604 * [backup-simplify]: Simplify (sqrt (fabs (/ (/ 1 y) (/ 1 x)))) into (sqrt (fabs (/ x y)))
11.604 * [backup-simplify]: Simplify (sqrt (fabs (/ (/ 1 (- x)) (/ 1 (- y))))) into (sqrt (fabs (/ y x)))
11.604 * [approximate]: Taking taylor expansion of (sqrt (fabs (/ y x))) in (x y) around 0
11.604 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ y x))) in y
11.604 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in y
11.604 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
11.604 * [backup-simplify]: Simplify (sqrt (fabs (/ y x))) into (sqrt (fabs (/ y x)))
11.604 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ y x))))) into 0
11.604 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ y x))) in x
11.604 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in x
11.604 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
11.605 * [backup-simplify]: Simplify (sqrt (fabs (/ y x))) into (sqrt (fabs (/ y x)))
11.605 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ y x))))) into 0
11.605 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ y x))) in x
11.605 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in x
11.605 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
11.605 * [backup-simplify]: Simplify (sqrt (fabs (/ y x))) into (sqrt (fabs (/ y x)))
11.605 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ y x))))) into 0
11.605 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ y x))) in y
11.605 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in y
11.605 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
11.605 * [backup-simplify]: Simplify (sqrt (fabs (/ y x))) into (sqrt (fabs (/ y x)))
11.605 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ y x))))) into 0
11.605 * [backup-simplify]: Simplify (sqrt (fabs (/ y x))) into (sqrt (fabs (/ y x)))
11.605 * [taylor]: Taking taylor expansion of 0 in y
11.605 * [backup-simplify]: Simplify 0 into 0
11.605 * [backup-simplify]: Simplify 0 into 0
11.605 * [backup-simplify]: Simplify 0 into 0
11.606 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ y x))))) into 0
11.606 * [taylor]: Taking taylor expansion of 0 in y
11.606 * [backup-simplify]: Simplify 0 into 0
11.606 * [backup-simplify]: Simplify 0 into 0
11.606 * [backup-simplify]: Simplify 0 into 0
11.606 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ y x))))) into 0
11.606 * [backup-simplify]: Simplify 0 into 0
11.607 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (/ y x))))) into 0
11.607 * [taylor]: Taking taylor expansion of 0 in y
11.607 * [backup-simplify]: Simplify 0 into 0
11.607 * [backup-simplify]: Simplify 0 into 0
11.607 * [backup-simplify]: Simplify (sqrt (fabs (/ (/ 1 (- y)) (/ 1 (- x))))) into (sqrt (fabs (/ x y)))
11.607 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
11.607 * [backup-simplify]: Simplify (sqrt (fabs (/ x y))) into (sqrt (fabs (/ x y)))
11.607 * [approximate]: Taking taylor expansion of (sqrt (fabs (/ x y))) in (x y) around 0
11.607 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ x y))) in y
11.607 * [taylor]: Taking taylor expansion of (fabs (/ x y)) in y
11.607 * [backup-simplify]: Simplify (fabs (/ x y)) into (fabs (/ x y))
11.607 * [backup-simplify]: Simplify (sqrt (fabs (/ x y))) into (sqrt (fabs (/ x y)))
11.608 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ x y))))) into 0
11.608 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ x y))) in x
11.608 * [taylor]: Taking taylor expansion of (fabs (/ x y)) in x
11.608 * [backup-simplify]: Simplify (fabs (/ x y)) into (fabs (/ x y))
11.608 * [backup-simplify]: Simplify (sqrt (fabs (/ x y))) into (sqrt (fabs (/ x y)))
11.608 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ x y))))) into 0
11.608 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ x y))) in x
11.608 * [taylor]: Taking taylor expansion of (fabs (/ x y)) in x
11.608 * [backup-simplify]: Simplify (fabs (/ x y)) into (fabs (/ x y))
11.608 * [backup-simplify]: Simplify (sqrt (fabs (/ x y))) into (sqrt (fabs (/ x y)))
11.608 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ x y))))) into 0
11.608 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ x y))) in y
11.608 * [taylor]: Taking taylor expansion of (fabs (/ x y)) in y
11.608 * [backup-simplify]: Simplify (fabs (/ x y)) into (fabs (/ x y))
11.608 * [backup-simplify]: Simplify (sqrt (fabs (/ x y))) into (sqrt (fabs (/ x y)))
11.608 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ x y))))) into 0
11.608 * [backup-simplify]: Simplify (sqrt (fabs (/ x y))) into (sqrt (fabs (/ x y)))
11.608 * [taylor]: Taking taylor expansion of 0 in y
11.608 * [backup-simplify]: Simplify 0 into 0
11.608 * [backup-simplify]: Simplify 0 into 0
11.608 * [backup-simplify]: Simplify 0 into 0
11.609 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ x y))))) into 0
11.609 * [taylor]: Taking taylor expansion of 0 in y
11.609 * [backup-simplify]: Simplify 0 into 0
11.609 * [backup-simplify]: Simplify 0 into 0
11.609 * [backup-simplify]: Simplify 0 into 0
11.609 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ x y))))) into 0
11.609 * [backup-simplify]: Simplify 0 into 0
11.610 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (/ x y))))) into 0
11.610 * [taylor]: Taking taylor expansion of 0 in y
11.610 * [backup-simplify]: Simplify 0 into 0
11.610 * [backup-simplify]: Simplify 0 into 0
11.610 * [backup-simplify]: Simplify (sqrt (fabs (/ x y))) into (sqrt (fabs (/ x y)))
11.610 * [backup-simplify]: Simplify (sqrt (fabs (/ (/ 1 x) (/ 1 y)))) into (sqrt (fabs (/ y x)))
11.610 * [approximate]: Taking taylor expansion of (sqrt (fabs (/ y x))) in (x y) around 0
11.610 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ y x))) in y
11.610 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in y
11.610 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
11.610 * [backup-simplify]: Simplify (sqrt (fabs (/ y x))) into (sqrt (fabs (/ y x)))
11.611 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ y x))))) into 0
11.611 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ y x))) in x
11.611 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in x
11.611 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
11.611 * [backup-simplify]: Simplify (sqrt (fabs (/ y x))) into (sqrt (fabs (/ y x)))
11.611 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ y x))))) into 0
11.611 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ y x))) in x
11.611 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in x
11.611 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
11.611 * [backup-simplify]: Simplify (sqrt (fabs (/ y x))) into (sqrt (fabs (/ y x)))
11.611 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ y x))))) into 0
11.611 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ y x))) in y
11.611 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in y
11.612 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
11.612 * [backup-simplify]: Simplify (sqrt (fabs (/ y x))) into (sqrt (fabs (/ y x)))
11.612 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ y x))))) into 0
11.612 * [backup-simplify]: Simplify (sqrt (fabs (/ y x))) into (sqrt (fabs (/ y x)))
11.612 * [taylor]: Taking taylor expansion of 0 in y
11.612 * [backup-simplify]: Simplify 0 into 0
11.612 * [backup-simplify]: Simplify 0 into 0
11.612 * [backup-simplify]: Simplify 0 into 0
11.613 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ y x))))) into 0
11.613 * [taylor]: Taking taylor expansion of 0 in y
11.613 * [backup-simplify]: Simplify 0 into 0
11.613 * [backup-simplify]: Simplify 0 into 0
11.613 * [backup-simplify]: Simplify 0 into 0
11.613 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ y x))))) into 0
11.613 * [backup-simplify]: Simplify 0 into 0
11.614 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (/ y x))))) into 0
11.614 * [taylor]: Taking taylor expansion of 0 in y
11.614 * [backup-simplify]: Simplify 0 into 0
11.614 * [backup-simplify]: Simplify 0 into 0
11.614 * [backup-simplify]: Simplify (sqrt (fabs (/ (/ 1 y) (/ 1 x)))) into (sqrt (fabs (/ x y)))
11.615 * [backup-simplify]: Simplify (sqrt (fabs (/ (/ 1 (- x)) (/ 1 (- y))))) into (sqrt (fabs (/ y x)))
11.615 * [approximate]: Taking taylor expansion of (sqrt (fabs (/ y x))) in (x y) around 0
11.615 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ y x))) in y
11.615 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in y
11.615 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
11.615 * [backup-simplify]: Simplify (sqrt (fabs (/ y x))) into (sqrt (fabs (/ y x)))
11.615 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ y x))))) into 0
11.615 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ y x))) in x
11.615 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in x
11.615 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
11.615 * [backup-simplify]: Simplify (sqrt (fabs (/ y x))) into (sqrt (fabs (/ y x)))
11.615 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ y x))))) into 0
11.615 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ y x))) in x
11.615 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in x
11.615 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
11.616 * [backup-simplify]: Simplify (sqrt (fabs (/ y x))) into (sqrt (fabs (/ y x)))
11.616 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ y x))))) into 0
11.616 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ y x))) in y
11.616 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in y
11.616 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
11.616 * [backup-simplify]: Simplify (sqrt (fabs (/ y x))) into (sqrt (fabs (/ y x)))
11.616 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ y x))))) into 0
11.616 * [backup-simplify]: Simplify (sqrt (fabs (/ y x))) into (sqrt (fabs (/ y x)))
11.616 * [taylor]: Taking taylor expansion of 0 in y
11.616 * [backup-simplify]: Simplify 0 into 0
11.616 * [backup-simplify]: Simplify 0 into 0
11.616 * [backup-simplify]: Simplify 0 into 0
11.617 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ y x))))) into 0
11.617 * [taylor]: Taking taylor expansion of 0 in y
11.617 * [backup-simplify]: Simplify 0 into 0
11.617 * [backup-simplify]: Simplify 0 into 0
11.617 * [backup-simplify]: Simplify 0 into 0
11.618 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ y x))))) into 0
11.618 * [backup-simplify]: Simplify 0 into 0
11.618 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (/ y x))))) into 0
11.619 * [taylor]: Taking taylor expansion of 0 in y
11.619 * [backup-simplify]: Simplify 0 into 0
11.619 * [backup-simplify]: Simplify 0 into 0
11.619 * [backup-simplify]: Simplify (sqrt (fabs (/ (/ 1 (- y)) (/ 1 (- x))))) into (sqrt (fabs (/ x y)))
11.619 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
11.619 * [backup-simplify]: Simplify (pow (sqrt (fabs (/ x y))) 3) into (pow (sqrt (fabs (/ x y))) 3)
11.619 * [approximate]: Taking taylor expansion of (pow (sqrt (fabs (/ x y))) 3) in (x y) around 0
11.619 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (/ x y))) 3) in y
11.619 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ x y))) in y
11.619 * [taylor]: Taking taylor expansion of (fabs (/ x y)) in y
11.619 * [backup-simplify]: Simplify (fabs (/ x y)) into (fabs (/ x y))
11.619 * [backup-simplify]: Simplify (sqrt (fabs (/ x y))) into (sqrt (fabs (/ x y)))
11.619 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ x y))))) into 0
11.620 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (/ x y))) 3) in x
11.620 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ x y))) in x
11.620 * [taylor]: Taking taylor expansion of (fabs (/ x y)) in x
11.620 * [backup-simplify]: Simplify (fabs (/ x y)) into (fabs (/ x y))
11.620 * [backup-simplify]: Simplify (sqrt (fabs (/ x y))) into (sqrt (fabs (/ x y)))
11.620 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ x y))))) into 0
11.620 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (/ x y))) 3) in x
11.620 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ x y))) in x
11.620 * [taylor]: Taking taylor expansion of (fabs (/ x y)) in x
11.620 * [backup-simplify]: Simplify (fabs (/ x y)) into (fabs (/ x y))
11.620 * [backup-simplify]: Simplify (sqrt (fabs (/ x y))) into (sqrt (fabs (/ x y)))
11.620 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ x y))))) into 0
11.620 * [backup-simplify]: Simplify (* (sqrt (fabs (/ x y))) (sqrt (fabs (/ x y)))) into (fabs (/ x y))
11.621 * [backup-simplify]: Simplify (* (sqrt (fabs (/ x y))) (fabs (/ x y))) into (sqrt (pow (fabs (/ x y)) 3))
11.621 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ x y)) 3)) in y
11.621 * [taylor]: Taking taylor expansion of (pow (fabs (/ x y)) 3) in y
11.621 * [taylor]: Taking taylor expansion of (fabs (/ x y)) in y
11.621 * [backup-simplify]: Simplify (fabs (/ x y)) into (fabs (/ x y))
11.621 * [backup-simplify]: Simplify (* (fabs (/ x y)) (fabs (/ x y))) into (pow (fabs (/ x y)) 2)
11.621 * [backup-simplify]: Simplify (* (fabs (/ x y)) (pow (fabs (/ x y)) 2)) into (pow (fabs (/ x y)) 3)
11.621 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ x y)) 3)) into (sqrt (pow (fabs (/ x y)) 3))
11.622 * [backup-simplify]: Simplify (+ (* (fabs (/ x y)) 0) (* 0 (fabs (/ x y)))) into 0
11.622 * [backup-simplify]: Simplify (+ (* (fabs (/ x y)) 0) (* 0 (pow (fabs (/ x y)) 2))) into 0
11.622 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ x y)) 3)))) into 0
11.622 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ x y)) 3)) into (sqrt (pow (fabs (/ x y)) 3))
11.622 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ x y))) 0) (* 0 (sqrt (fabs (/ x y))))) into 0
11.623 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ x y))) 0) (* 0 (fabs (/ x y)))) into 0
11.623 * [taylor]: Taking taylor expansion of 0 in y
11.623 * [backup-simplify]: Simplify 0 into 0
11.623 * [backup-simplify]: Simplify 0 into 0
11.623 * [backup-simplify]: Simplify 0 into 0
11.623 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ x y))))) into 0
11.624 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ x y))) 0) (+ (* 0 0) (* 0 (sqrt (fabs (/ x y)))))) into 0
11.624 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ x y))) 0) (+ (* 0 0) (* 0 (fabs (/ x y))))) into 0
11.624 * [taylor]: Taking taylor expansion of 0 in y
11.624 * [backup-simplify]: Simplify 0 into 0
11.625 * [backup-simplify]: Simplify 0 into 0
11.625 * [backup-simplify]: Simplify 0 into 0
11.625 * [backup-simplify]: Simplify (+ (* (fabs (/ x y)) 0) (+ (* 0 0) (* 0 (fabs (/ x y))))) into 0
11.626 * [backup-simplify]: Simplify (+ (* (fabs (/ x y)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ x y)) 2)))) into 0
11.626 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (/ x y)) 3)))) into 0
11.626 * [backup-simplify]: Simplify 0 into 0
11.627 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (/ x y))))) into 0
11.628 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ x y))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (fabs (/ x y))))))) into 0
11.629 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ x y))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ x y)))))) into 0
11.629 * [taylor]: Taking taylor expansion of 0 in y
11.629 * [backup-simplify]: Simplify 0 into 0
11.629 * [backup-simplify]: Simplify 0 into 0
11.629 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ x y)) 3)) into (sqrt (pow (fabs (/ x y)) 3))
11.629 * [backup-simplify]: Simplify (pow (sqrt (fabs (/ (/ 1 x) (/ 1 y)))) 3) into (pow (sqrt (fabs (/ y x))) 3)
11.629 * [approximate]: Taking taylor expansion of (pow (sqrt (fabs (/ y x))) 3) in (x y) around 0
11.629 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (/ y x))) 3) in y
11.629 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ y x))) in y
11.629 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in y
11.629 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
11.630 * [backup-simplify]: Simplify (sqrt (fabs (/ y x))) into (sqrt (fabs (/ y x)))
11.630 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ y x))))) into 0
11.630 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (/ y x))) 3) in x
11.630 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ y x))) in x
11.630 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in x
11.630 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
11.630 * [backup-simplify]: Simplify (sqrt (fabs (/ y x))) into (sqrt (fabs (/ y x)))
11.630 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ y x))))) into 0
11.630 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (/ y x))) 3) in x
11.630 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ y x))) in x
11.630 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in x
11.630 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
11.630 * [backup-simplify]: Simplify (sqrt (fabs (/ y x))) into (sqrt (fabs (/ y x)))
11.630 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ y x))))) into 0
11.631 * [backup-simplify]: Simplify (* (sqrt (fabs (/ y x))) (sqrt (fabs (/ y x)))) into (fabs (/ y x))
11.631 * [backup-simplify]: Simplify (* (sqrt (fabs (/ y x))) (fabs (/ y x))) into (sqrt (pow (fabs (/ y x)) 3))
11.631 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ y x)) 3)) in y
11.631 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 3) in y
11.631 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in y
11.631 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
11.631 * [backup-simplify]: Simplify (* (fabs (/ y x)) (fabs (/ y x))) into (pow (fabs (/ y x)) 2)
11.631 * [backup-simplify]: Simplify (* (fabs (/ y x)) (pow (fabs (/ y x)) 2)) into (pow (fabs (/ y x)) 3)
11.631 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ y x)) 3)) into (sqrt (pow (fabs (/ y x)) 3))
11.632 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (* 0 (fabs (/ y x)))) into 0
11.632 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (* 0 (pow (fabs (/ y x)) 2))) into 0
11.632 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ y x)) 3)))) into 0
11.632 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ y x)) 3)) into (sqrt (pow (fabs (/ y x)) 3))
11.632 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ y x))) 0) (* 0 (sqrt (fabs (/ y x))))) into 0
11.633 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ y x))) 0) (* 0 (fabs (/ y x)))) into 0
11.633 * [taylor]: Taking taylor expansion of 0 in y
11.633 * [backup-simplify]: Simplify 0 into 0
11.633 * [backup-simplify]: Simplify 0 into 0
11.633 * [backup-simplify]: Simplify 0 into 0
11.633 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ y x))))) into 0
11.634 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ y x))) 0) (+ (* 0 0) (* 0 (sqrt (fabs (/ y x)))))) into 0
11.635 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ y x))) 0) (+ (* 0 0) (* 0 (fabs (/ y x))))) into 0
11.635 * [taylor]: Taking taylor expansion of 0 in y
11.635 * [backup-simplify]: Simplify 0 into 0
11.635 * [backup-simplify]: Simplify 0 into 0
11.635 * [backup-simplify]: Simplify 0 into 0
11.635 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (+ (* 0 0) (* 0 (fabs (/ y x))))) into 0
11.636 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ y x)) 2)))) into 0
11.636 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (/ y x)) 3)))) into 0
11.637 * [backup-simplify]: Simplify 0 into 0
11.637 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (/ y x))))) into 0
11.638 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ y x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (fabs (/ y x))))))) into 0
11.639 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ y x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ y x)))))) into 0
11.639 * [taylor]: Taking taylor expansion of 0 in y
11.639 * [backup-simplify]: Simplify 0 into 0
11.639 * [backup-simplify]: Simplify 0 into 0
11.639 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ (/ 1 y) (/ 1 x))) 3)) into (sqrt (pow (fabs (/ x y)) 3))
11.639 * [backup-simplify]: Simplify (pow (sqrt (fabs (/ (/ 1 (- x)) (/ 1 (- y))))) 3) into (pow (sqrt (fabs (/ y x))) 3)
11.639 * [approximate]: Taking taylor expansion of (pow (sqrt (fabs (/ y x))) 3) in (x y) around 0
11.639 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (/ y x))) 3) in y
11.639 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ y x))) in y
11.639 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in y
11.640 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
11.640 * [backup-simplify]: Simplify (sqrt (fabs (/ y x))) into (sqrt (fabs (/ y x)))
11.640 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ y x))))) into 0
11.640 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (/ y x))) 3) in x
11.640 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ y x))) in x
11.640 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in x
11.640 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
11.640 * [backup-simplify]: Simplify (sqrt (fabs (/ y x))) into (sqrt (fabs (/ y x)))
11.640 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ y x))))) into 0
11.640 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (/ y x))) 3) in x
11.640 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ y x))) in x
11.640 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in x
11.640 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
11.640 * [backup-simplify]: Simplify (sqrt (fabs (/ y x))) into (sqrt (fabs (/ y x)))
11.640 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (/ y x))))) into 0
11.641 * [backup-simplify]: Simplify (* (sqrt (fabs (/ y x))) (sqrt (fabs (/ y x)))) into (fabs (/ y x))
11.641 * [backup-simplify]: Simplify (* (sqrt (fabs (/ y x))) (fabs (/ y x))) into (sqrt (pow (fabs (/ y x)) 3))
11.641 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ y x)) 3)) in y
11.641 * [taylor]: Taking taylor expansion of (pow (fabs (/ y x)) 3) in y
11.641 * [taylor]: Taking taylor expansion of (fabs (/ y x)) in y
11.641 * [backup-simplify]: Simplify (fabs (/ y x)) into (fabs (/ y x))
11.641 * [backup-simplify]: Simplify (* (fabs (/ y x)) (fabs (/ y x))) into (pow (fabs (/ y x)) 2)
11.641 * [backup-simplify]: Simplify (* (fabs (/ y x)) (pow (fabs (/ y x)) 2)) into (pow (fabs (/ y x)) 3)
11.642 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ y x)) 3)) into (sqrt (pow (fabs (/ y x)) 3))
11.642 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (* 0 (fabs (/ y x)))) into 0
11.642 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (* 0 (pow (fabs (/ y x)) 2))) into 0
11.642 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (/ y x)) 3)))) into 0
11.642 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ y x)) 3)) into (sqrt (pow (fabs (/ y x)) 3))
11.642 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ y x))) 0) (* 0 (sqrt (fabs (/ y x))))) into 0
11.643 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ y x))) 0) (* 0 (fabs (/ y x)))) into 0
11.643 * [taylor]: Taking taylor expansion of 0 in y
11.643 * [backup-simplify]: Simplify 0 into 0
11.643 * [backup-simplify]: Simplify 0 into 0
11.643 * [backup-simplify]: Simplify 0 into 0
11.643 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ y x))))) into 0
11.644 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ y x))) 0) (+ (* 0 0) (* 0 (sqrt (fabs (/ y x)))))) into 0
11.644 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ y x))) 0) (+ (* 0 0) (* 0 (fabs (/ y x))))) into 0
11.644 * [taylor]: Taking taylor expansion of 0 in y
11.644 * [backup-simplify]: Simplify 0 into 0
11.644 * [backup-simplify]: Simplify 0 into 0
11.644 * [backup-simplify]: Simplify 0 into 0
11.645 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (+ (* 0 0) (* 0 (fabs (/ y x))))) into 0
11.646 * [backup-simplify]: Simplify (+ (* (fabs (/ y x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ y x)) 2)))) into 0
11.646 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (/ y x)) 3)))) into 0
11.646 * [backup-simplify]: Simplify 0 into 0
11.647 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (/ y x))))) into 0
11.648 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ y x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (fabs (/ y x))))))) into 0
11.649 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (/ y x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ y x)))))) into 0
11.649 * [taylor]: Taking taylor expansion of 0 in y
11.649 * [backup-simplify]: Simplify 0 into 0
11.649 * [backup-simplify]: Simplify 0 into 0
11.649 * [backup-simplify]: Simplify (sqrt (pow (fabs (/ (/ 1 (- y)) (/ 1 (- x)))) 3)) into (sqrt (pow (fabs (/ x y)) 3))
11.649 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
11.649 * [backup-simplify]: Simplify (* (/ z t) (/ z t)) into (/ (pow z 2) (pow t 2))
11.649 * [approximate]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in (z t) around 0
11.649 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in t
11.649 * [taylor]: Taking taylor expansion of (pow z 2) in t
11.649 * [taylor]: Taking taylor expansion of z in t
11.649 * [backup-simplify]: Simplify z into z
11.649 * [taylor]: Taking taylor expansion of (pow t 2) in t
11.649 * [taylor]: Taking taylor expansion of t in t
11.649 * [backup-simplify]: Simplify 0 into 0
11.649 * [backup-simplify]: Simplify 1 into 1
11.649 * [backup-simplify]: Simplify (* z z) into (pow z 2)
11.650 * [backup-simplify]: Simplify (* 1 1) into 1
11.650 * [backup-simplify]: Simplify (/ (pow z 2) 1) into (pow z 2)
11.650 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z
11.650 * [taylor]: Taking taylor expansion of (pow z 2) in z
11.650 * [taylor]: Taking taylor expansion of z in z
11.650 * [backup-simplify]: Simplify 0 into 0
11.650 * [backup-simplify]: Simplify 1 into 1
11.650 * [taylor]: Taking taylor expansion of (pow t 2) in z
11.650 * [taylor]: Taking taylor expansion of t in z
11.650 * [backup-simplify]: Simplify t into t
11.650 * [backup-simplify]: Simplify (* 1 1) into 1
11.650 * [backup-simplify]: Simplify (* t t) into (pow t 2)
11.650 * [backup-simplify]: Simplify (/ 1 (pow t 2)) into (/ 1 (pow t 2))
11.651 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z
11.651 * [taylor]: Taking taylor expansion of (pow z 2) in z
11.651 * [taylor]: Taking taylor expansion of z in z
11.651 * [backup-simplify]: Simplify 0 into 0
11.651 * [backup-simplify]: Simplify 1 into 1
11.651 * [taylor]: Taking taylor expansion of (pow t 2) in z
11.651 * [taylor]: Taking taylor expansion of t in z
11.651 * [backup-simplify]: Simplify t into t
11.651 * [backup-simplify]: Simplify (* 1 1) into 1
11.651 * [backup-simplify]: Simplify (* t t) into (pow t 2)
11.651 * [backup-simplify]: Simplify (/ 1 (pow t 2)) into (/ 1 (pow t 2))
11.651 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
11.651 * [taylor]: Taking taylor expansion of (pow t 2) in t
11.651 * [taylor]: Taking taylor expansion of t in t
11.651 * [backup-simplify]: Simplify 0 into 0
11.651 * [backup-simplify]: Simplify 1 into 1
11.652 * [backup-simplify]: Simplify (* 1 1) into 1
11.652 * [backup-simplify]: Simplify (/ 1 1) into 1
11.652 * [backup-simplify]: Simplify 1 into 1
11.653 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.653 * [backup-simplify]: Simplify (+ (* t 0) (* 0 t)) into 0
11.653 * [backup-simplify]: Simplify (- (/ 0 (pow t 2)) (+ (* (/ 1 (pow t 2)) (/ 0 (pow t 2))))) into 0
11.653 * [taylor]: Taking taylor expansion of 0 in t
11.653 * [backup-simplify]: Simplify 0 into 0
11.653 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.654 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.654 * [backup-simplify]: Simplify 0 into 0
11.655 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.655 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 t))) into 0
11.656 * [backup-simplify]: Simplify (- (/ 0 (pow t 2)) (+ (* (/ 1 (pow t 2)) (/ 0 (pow t 2))) (* 0 (/ 0 (pow t 2))))) into 0
11.656 * [taylor]: Taking taylor expansion of 0 in t
11.656 * [backup-simplify]: Simplify 0 into 0
11.656 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.657 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.657 * [backup-simplify]: Simplify 0 into 0
11.658 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.659 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 0) (* 0 t)))) into 0
11.659 * [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
11.659 * [taylor]: Taking taylor expansion of 0 in t
11.659 * [backup-simplify]: Simplify 0 into 0
11.659 * [backup-simplify]: Simplify 0 into 0
11.660 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.661 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.661 * [backup-simplify]: Simplify 0 into 0
11.662 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.663 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 t))))) into 0
11.663 * [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
11.663 * [taylor]: Taking taylor expansion of 0 in t
11.663 * [backup-simplify]: Simplify 0 into 0
11.663 * [backup-simplify]: Simplify 0 into 0
11.663 * [backup-simplify]: Simplify 0 into 0
11.663 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 t) z) 2)) into (/ (pow z 2) (pow t 2))
11.664 * [backup-simplify]: Simplify (* (/ (/ 1 z) (/ 1 t)) (/ (/ 1 z) (/ 1 t))) into (/ (pow t 2) (pow z 2))
11.664 * [approximate]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in (z t) around 0
11.664 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in t
11.664 * [taylor]: Taking taylor expansion of (pow t 2) in t
11.664 * [taylor]: Taking taylor expansion of t in t
11.664 * [backup-simplify]: Simplify 0 into 0
11.664 * [backup-simplify]: Simplify 1 into 1
11.664 * [taylor]: Taking taylor expansion of (pow z 2) in t
11.664 * [taylor]: Taking taylor expansion of z in t
11.664 * [backup-simplify]: Simplify z into z
11.664 * [backup-simplify]: Simplify (* 1 1) into 1
11.664 * [backup-simplify]: Simplify (* z z) into (pow z 2)
11.664 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
11.664 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z
11.664 * [taylor]: Taking taylor expansion of (pow t 2) in z
11.664 * [taylor]: Taking taylor expansion of t in z
11.664 * [backup-simplify]: Simplify t into t
11.664 * [taylor]: Taking taylor expansion of (pow z 2) in z
11.665 * [taylor]: Taking taylor expansion of z in z
11.665 * [backup-simplify]: Simplify 0 into 0
11.665 * [backup-simplify]: Simplify 1 into 1
11.665 * [backup-simplify]: Simplify (* t t) into (pow t 2)
11.665 * [backup-simplify]: Simplify (* 1 1) into 1
11.665 * [backup-simplify]: Simplify (/ (pow t 2) 1) into (pow t 2)
11.665 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z
11.665 * [taylor]: Taking taylor expansion of (pow t 2) in z
11.665 * [taylor]: Taking taylor expansion of t in z
11.665 * [backup-simplify]: Simplify t into t
11.665 * [taylor]: Taking taylor expansion of (pow z 2) in z
11.665 * [taylor]: Taking taylor expansion of z in z
11.665 * [backup-simplify]: Simplify 0 into 0
11.665 * [backup-simplify]: Simplify 1 into 1
11.665 * [backup-simplify]: Simplify (* t t) into (pow t 2)
11.666 * [backup-simplify]: Simplify (* 1 1) into 1
11.666 * [backup-simplify]: Simplify (/ (pow t 2) 1) into (pow t 2)
11.666 * [taylor]: Taking taylor expansion of (pow t 2) in t
11.666 * [taylor]: Taking taylor expansion of t in t
11.666 * [backup-simplify]: Simplify 0 into 0
11.666 * [backup-simplify]: Simplify 1 into 1
11.666 * [backup-simplify]: Simplify (* 1 1) into 1
11.666 * [backup-simplify]: Simplify 1 into 1
11.666 * [backup-simplify]: Simplify (+ (* t 0) (* 0 t)) into 0
11.667 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.668 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow t 2) (/ 0 1)))) into 0
11.668 * [taylor]: Taking taylor expansion of 0 in t
11.668 * [backup-simplify]: Simplify 0 into 0
11.668 * [backup-simplify]: Simplify 0 into 0
11.668 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.668 * [backup-simplify]: Simplify 0 into 0
11.669 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 t))) into 0
11.669 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.670 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow t 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.670 * [taylor]: Taking taylor expansion of 0 in t
11.670 * [backup-simplify]: Simplify 0 into 0
11.670 * [backup-simplify]: Simplify 0 into 0
11.670 * [backup-simplify]: Simplify 0 into 0
11.671 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.671 * [backup-simplify]: Simplify 0 into 0
11.672 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 0) (* 0 t)))) into 0
11.673 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.674 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow t 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.674 * [taylor]: Taking taylor expansion of 0 in t
11.674 * [backup-simplify]: Simplify 0 into 0
11.674 * [backup-simplify]: Simplify 0 into 0
11.674 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 t) (/ 1 (/ 1 z))) 2)) into (/ (pow z 2) (pow t 2))
11.675 * [backup-simplify]: Simplify (* (/ (/ 1 (- z)) (/ 1 (- t))) (/ (/ 1 (- z)) (/ 1 (- t)))) into (/ (pow t 2) (pow z 2))
11.675 * [approximate]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in (z t) around 0
11.675 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in t
11.675 * [taylor]: Taking taylor expansion of (pow t 2) in t
11.675 * [taylor]: Taking taylor expansion of t in t
11.675 * [backup-simplify]: Simplify 0 into 0
11.675 * [backup-simplify]: Simplify 1 into 1
11.675 * [taylor]: Taking taylor expansion of (pow z 2) in t
11.675 * [taylor]: Taking taylor expansion of z in t
11.675 * [backup-simplify]: Simplify z into z
11.675 * [backup-simplify]: Simplify (* 1 1) into 1
11.675 * [backup-simplify]: Simplify (* z z) into (pow z 2)
11.675 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
11.675 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z
11.675 * [taylor]: Taking taylor expansion of (pow t 2) in z
11.675 * [taylor]: Taking taylor expansion of t in z
11.676 * [backup-simplify]: Simplify t into t
11.676 * [taylor]: Taking taylor expansion of (pow z 2) in z
11.676 * [taylor]: Taking taylor expansion of z in z
11.676 * [backup-simplify]: Simplify 0 into 0
11.676 * [backup-simplify]: Simplify 1 into 1
11.676 * [backup-simplify]: Simplify (* t t) into (pow t 2)
11.676 * [backup-simplify]: Simplify (* 1 1) into 1
11.676 * [backup-simplify]: Simplify (/ (pow t 2) 1) into (pow t 2)
11.676 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z
11.676 * [taylor]: Taking taylor expansion of (pow t 2) in z
11.676 * [taylor]: Taking taylor expansion of t in z
11.676 * [backup-simplify]: Simplify t into t
11.676 * [taylor]: Taking taylor expansion of (pow z 2) in z
11.676 * [taylor]: Taking taylor expansion of z in z
11.676 * [backup-simplify]: Simplify 0 into 0
11.676 * [backup-simplify]: Simplify 1 into 1
11.676 * [backup-simplify]: Simplify (* t t) into (pow t 2)
11.677 * [backup-simplify]: Simplify (* 1 1) into 1
11.677 * [backup-simplify]: Simplify (/ (pow t 2) 1) into (pow t 2)
11.677 * [taylor]: Taking taylor expansion of (pow t 2) in t
11.677 * [taylor]: Taking taylor expansion of t in t
11.677 * [backup-simplify]: Simplify 0 into 0
11.677 * [backup-simplify]: Simplify 1 into 1
11.677 * [backup-simplify]: Simplify (* 1 1) into 1
11.677 * [backup-simplify]: Simplify 1 into 1
11.677 * [backup-simplify]: Simplify (+ (* t 0) (* 0 t)) into 0
11.678 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.679 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow t 2) (/ 0 1)))) into 0
11.679 * [taylor]: Taking taylor expansion of 0 in t
11.679 * [backup-simplify]: Simplify 0 into 0
11.679 * [backup-simplify]: Simplify 0 into 0
11.679 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.679 * [backup-simplify]: Simplify 0 into 0
11.680 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 t))) into 0
11.680 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.685 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow t 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.685 * [taylor]: Taking taylor expansion of 0 in t
11.685 * [backup-simplify]: Simplify 0 into 0
11.685 * [backup-simplify]: Simplify 0 into 0
11.685 * [backup-simplify]: Simplify 0 into 0
11.686 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.686 * [backup-simplify]: Simplify 0 into 0
11.687 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 0) (* 0 t)))) into 0
11.688 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.689 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow t 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.689 * [taylor]: Taking taylor expansion of 0 in t
11.689 * [backup-simplify]: Simplify 0 into 0
11.689 * [backup-simplify]: Simplify 0 into 0
11.690 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (- t)) (/ 1 (/ 1 (- z)))) 2)) into (/ (pow z 2) (pow t 2))
11.690 * * * [progress]: simplifying candidates
11.692 * [simplify]: Simplifying:
  (log (sqrt (fabs (/ x y))))
  (exp (sqrt (fabs (/ x y))))
  (* (cbrt (sqrt (fabs (/ x y)))) (cbrt (sqrt (fabs (/ x y)))))
  (cbrt (sqrt (fabs (/ x y))))
  (* (* (sqrt (fabs (/ x y))) (sqrt (fabs (/ x y)))) (sqrt (fabs (/ x y))))
  (sqrt (* (cbrt (fabs (/ x y))) (cbrt (fabs (/ x y)))))
  (sqrt (cbrt (fabs (/ x y))))
  (sqrt (sqrt (fabs (/ x y))))
  (sqrt (sqrt (fabs (/ x y))))
  (sqrt 1)
  (sqrt (fabs (/ x y)))
  (/ 1 2)
  (sqrt (sqrt (fabs (/ x y))))
  (sqrt (sqrt (fabs (/ x y))))
  (log (sqrt (fabs (/ x y))))
  (exp (sqrt (fabs (/ x y))))
  (* (cbrt (sqrt (fabs (/ x y)))) (cbrt (sqrt (fabs (/ x y)))))
  (cbrt (sqrt (fabs (/ x y))))
  (* (* (sqrt (fabs (/ x y))) (sqrt (fabs (/ x y)))) (sqrt (fabs (/ x y))))
  (sqrt (* (cbrt (fabs (/ x y))) (cbrt (fabs (/ x y)))))
  (sqrt (cbrt (fabs (/ x y))))
  (sqrt (sqrt (fabs (/ x y))))
  (sqrt (sqrt (fabs (/ x y))))
  (sqrt 1)
  (sqrt (fabs (/ x y)))
  (/ 1 2)
  (sqrt (sqrt (fabs (/ x y))))
  (sqrt (sqrt (fabs (/ x y))))
  (* (log (sqrt (fabs (/ x y)))) 3)
  (* (log (sqrt (fabs (/ x y)))) 3)
  (* 1/2 3)
  (* 1 3)
  (* (/ 1 2) 3)
  (pow (sqrt (fabs (/ x y))) (* (cbrt 3) (cbrt 3)))
  (pow (sqrt (fabs (/ x y))) (sqrt 3))
  (pow (sqrt (fabs (/ x y))) 1)
  (pow (* (cbrt (sqrt (fabs (/ x y)))) (cbrt (sqrt (fabs (/ x y))))) 3)
  (pow (cbrt (sqrt (fabs (/ x y)))) 3)
  (pow (sqrt (* (cbrt (fabs (/ x y))) (cbrt (fabs (/ x y))))) 3)
  (pow (sqrt (cbrt (fabs (/ x y)))) 3)
  (pow (sqrt (sqrt (fabs (/ x y)))) 3)
  (pow (sqrt (sqrt (fabs (/ x y)))) 3)
  (pow (sqrt 1) 3)
  (pow (sqrt (fabs (/ x y))) 3)
  (pow (sqrt (sqrt (fabs (/ x y)))) 3)
  (pow (sqrt (sqrt (fabs (/ x y)))) 3)
  (pow 1 3)
  (pow (sqrt (fabs (/ x y))) 3)
  (* (sqrt (fabs (/ x y))) (sqrt (fabs (/ x y))))
  (log (pow (sqrt (fabs (/ x y))) 3))
  (exp (pow (sqrt (fabs (/ x y))) 3))
  (* (cbrt (pow (sqrt (fabs (/ x y))) 3)) (cbrt (pow (sqrt (fabs (/ x y))) 3)))
  (cbrt (pow (sqrt (fabs (/ x y))) 3))
  (* (* (pow (sqrt (fabs (/ x y))) 3) (pow (sqrt (fabs (/ x y))) 3)) (pow (sqrt (fabs (/ x y))) 3))
  (pow (* (cbrt (sqrt (fabs (/ x y)))) (cbrt (sqrt (fabs (/ x y))))) 3)
  (pow (cbrt (sqrt (fabs (/ x y)))) 3)
  (pow (sqrt (* (cbrt (fabs (/ x y))) (cbrt (fabs (/ x y))))) 3)
  (pow (sqrt (cbrt (fabs (/ x y)))) 3)
  (pow (sqrt (sqrt (fabs (/ x y)))) 3)
  (pow (sqrt (sqrt (fabs (/ x y)))) 3)
  (pow (sqrt 1) 3)
  (pow (sqrt (fabs (/ x y))) 3)
  (pow (sqrt (sqrt (fabs (/ x y)))) 3)
  (pow (sqrt (sqrt (fabs (/ x y)))) 3)
  (pow 1 3)
  (pow (sqrt (fabs (/ x y))) 3)
  (* (sqrt (fabs (/ x y))) (sqrt (fabs (/ x y))))
  (/ 3 2)
  (sqrt (pow (sqrt (fabs (/ x y))) 3))
  (sqrt (pow (sqrt (fabs (/ x y))) 3))
  (pow (sqrt (fabs (/ x y))) (/ 3 2))
  (pow (sqrt (fabs (/ x y))) (/ 3 2))
  (+ 1 1)
  (* (/ z t) (/ z t))
  (+ 1 1)
  (+ (- (log z) (log t)) (- (log z) (log t)))
  (+ (- (log z) (log t)) (log (/ z t)))
  (+ (log (/ z t)) (- (log z) (log t)))
  (+ (log (/ z t)) (log (/ z t)))
  (log (* (/ z t) (/ z t)))
  (exp (* (/ z t) (/ z t)))
  (* (/ (* (* z z) z) (* (* t t) t)) (/ (* (* z z) z) (* (* t t) t)))
  (* (/ (* (* z z) z) (* (* t t) t)) (* (* (/ z t) (/ z t)) (/ z t)))
  (* (* (* (/ z t) (/ z t)) (/ z t)) (/ (* (* z z) z) (* (* t t) t)))
  (* (* (* (/ z t) (/ z t)) (/ z t)) (* (* (/ z t) (/ z t)) (/ z t)))
  (* (cbrt (* (/ z t) (/ z t))) (cbrt (* (/ z t) (/ z t))))
  (cbrt (* (/ z t) (/ z t)))
  (* (* (* (/ z t) (/ z t)) (* (/ z t) (/ z t))) (* (/ z t) (/ z t)))
  (sqrt (* (/ z t) (/ z t)))
  (sqrt (* (/ z t) (/ z t)))
  (* z z)
  (* t t)
  (* (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (* (cbrt (/ z t)) (cbrt (/ z t)))
  (* (sqrt (/ z t)) (sqrt (/ z t)))
  (* (sqrt (/ z t)) (sqrt (/ z t)))
  (* (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))
  (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t)))
  (* (/ (* (cbrt z) (cbrt z)) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t)))
  (* (/ (cbrt z) (sqrt t)) (/ (cbrt z) (sqrt t)))
  (* (/ (* (cbrt z) (cbrt z)) 1) (/ (* (cbrt z) (cbrt z)) 1))
  (* (/ (cbrt z) t) (/ (cbrt z) t))
  (* (/ (sqrt z) (* (cbrt t) (cbrt t))) (/ (sqrt z) (* (cbrt t) (cbrt t))))
  (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (cbrt t)))
  (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t)))
  (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t)))
  (* (/ (sqrt z) 1) (/ (sqrt z) 1))
  (* (/ (sqrt z) t) (/ (sqrt z) t))
  (* (/ 1 (* (cbrt t) (cbrt t))) (/ 1 (* (cbrt t) (cbrt t))))
  (* (/ z (cbrt t)) (/ z (cbrt t)))
  (* (/ 1 (sqrt t)) (/ 1 (sqrt t)))
  (* (/ z (sqrt t)) (/ z (sqrt t)))
  (* (/ 1 1) (/ 1 1))
  (* (/ z t) (/ z t))
  (* 1 1)
  (* (/ z t) (/ z t))
  (* z z)
  (* (/ 1 t) (/ 1 t))
  (* (sqrt (/ z t)) (sqrt (/ z t)))
  (* (sqrt (/ z t)) (sqrt (/ z t)))
  (* (sqrt (/ z t)) (/ (sqrt z) (sqrt t)))
  (* (sqrt (/ z t)) (/ (sqrt z) (sqrt t)))
  (* (/ (sqrt z) (sqrt t)) (sqrt (/ z t)))
  (* (/ (sqrt z) (sqrt t)) (sqrt (/ z t)))
  (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t)))
  (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t)))
  (* 2 1)
  (* (/ z t) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (* (/ z t) (sqrt (/ z t)))
  (* (/ z t) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))
  (* (/ z t) (/ (* (cbrt z) (cbrt z)) (sqrt t)))
  (* (/ z t) (/ (* (cbrt z) (cbrt z)) 1))
  (* (/ z t) (/ (sqrt z) (* (cbrt t) (cbrt t))))
  (* (/ z t) (/ (sqrt z) (sqrt t)))
  (* (/ z t) (/ (sqrt z) 1))
  (* (/ z t) (/ 1 (* (cbrt t) (cbrt t))))
  (* (/ z t) (/ 1 (sqrt t)))
  (* (/ z t) (/ 1 1))
  (* (/ z t) 1)
  (* (/ z t) z)
  (* (cbrt (/ z t)) (/ z t))
  (* (sqrt (/ z t)) (/ z t))
  (* (/ (cbrt z) (cbrt t)) (/ z t))
  (* (/ (cbrt z) (sqrt t)) (/ z t))
  (* (/ (cbrt z) t) (/ z t))
  (* (/ (sqrt z) (cbrt t)) (/ z t))
  (* (/ (sqrt z) (sqrt t)) (/ z t))
  (* (/ (sqrt z) t) (/ z t))
  (* (/ z (cbrt t)) (/ z t))
  (* (/ z (sqrt t)) (/ z t))
  (* (/ z t) (/ z t))
  (* (/ z t) (/ z t))
  (* (/ 1 t) (/ z t))
  (* (/ z t) z)
  (* z (/ z t))
  (sqrt (fabs (/ x y)))
  (sqrt (fabs (/ x y)))
  (sqrt (fabs (/ x y)))
  (sqrt (fabs (/ x y)))
  (sqrt (fabs (/ x y)))
  (sqrt (fabs (/ x y)))
  (sqrt (pow (fabs (/ x y)) 3))
  (sqrt (pow (fabs (/ x y)) 3))
  (sqrt (pow (fabs (/ x y)) 3))
  (/ (pow z 2) (pow t 2))
  (/ (pow z 2) (pow t 2))
  (/ (pow z 2) (pow t 2))
11.695 * * [simplify]: Extracting # 0 : cost  0
11.695 * * [simplify]: Extracting # 1 : cost  0
11.696 * * [simplify]: Extracting # 2 : cost  0
11.696 * * [simplify]: Extracting # 3 : cost  0
11.696 * * [simplify]: Extracting # 4 : cost  0
11.696 * * [simplify]: Extracting # 5 : cost  0
11.697 * * [simplify]: Extracting # 6 : cost  0
11.697 * * [simplify]: iteration  0 :  158  enodes  (cost  1473 )
11.760 * * [simplify]: Extracting # 0 : cost  0
11.760 * * [simplify]: Extracting # 1 : cost  0
11.761 * * [simplify]: Extracting # 2 : cost  0
11.762 * * [simplify]: Extracting # 3 : cost  0
11.762 * * [simplify]: Extracting # 4 : cost  0
11.763 * * [simplify]: iteration  1 :  426  enodes  (cost  1243 )
12.073 * * [simplify]: Extracting # 0 : cost  0
12.076 * * [simplify]: Extracting # 1 : cost  0
12.078 * * [simplify]: Extracting # 2 : cost  0
12.080 * * [simplify]: Extracting # 3 : cost  0
12.082 * * [simplify]: Extracting # 4 : cost  0
12.084 * * [simplify]: iteration  2 :  1424  enodes  (cost  1101 )
13.066 * * [simplify]: Extracting # 0 : cost  0
13.076 * * [simplify]: Extracting # 1 : cost  0
13.084 * * [simplify]: Extracting # 2 : cost  0
13.092 * * [simplify]: Extracting # 3 : cost  0
13.098 * * [simplify]: Extracting # 4 : cost  0
13.107 * * [simplify]: iteration done:  5001  enodes  (cost  1060 )
13.108 * [simplify]: Simplified to:
  (log (sqrt (fabs (/ x y))))
  (exp (sqrt (fabs (/ x y))))
  (cbrt (fabs (/ x y)))
  (cbrt (sqrt (fabs (/ x y))))
  (pow (sqrt (fabs (/ x y))) 3)
  (fabs (cbrt (fabs (/ x y))))
  (sqrt (cbrt (fabs (/ x y))))
  (sqrt (sqrt (fabs (/ x y))))
  (sqrt (sqrt (fabs (/ x y))))
  1
  (sqrt (fabs (/ x y)))
  1/2
  (sqrt (sqrt (fabs (/ x y))))
  (sqrt (sqrt (fabs (/ x y))))
  (log (sqrt (fabs (/ x y))))
  (exp (sqrt (fabs (/ x y))))
  (cbrt (fabs (/ x y)))
  (cbrt (sqrt (fabs (/ x y))))
  (pow (sqrt (fabs (/ x y))) 3)
  (fabs (cbrt (fabs (/ x y))))
  (sqrt (cbrt (fabs (/ x y))))
  (sqrt (sqrt (fabs (/ x y))))
  (sqrt (sqrt (fabs (/ x y))))
  1
  (sqrt (fabs (/ x y)))
  1/2
  (sqrt (sqrt (fabs (/ x y))))
  (sqrt (sqrt (fabs (/ x y))))
  (* (log (sqrt (fabs (/ x y)))) 3)
  (* (log (sqrt (fabs (/ x y)))) 3)
  3/2
  3
  3/2
  (pow (sqrt (fabs (/ x y))) (* (cbrt 3) (cbrt 3)))
  (pow (sqrt (fabs (/ x y))) (sqrt 3))
  (sqrt (fabs (/ x y)))
  (fabs (/ x y))
  (sqrt (fabs (/ x y)))
  (pow (fabs (cbrt (fabs (/ x y)))) 3)
  (pow (sqrt (cbrt (fabs (/ x y)))) 3)
  (pow (sqrt (sqrt (fabs (/ x y)))) 3)
  (pow (sqrt (sqrt (fabs (/ x y)))) 3)
  1
  (pow (sqrt (fabs (/ x y))) 3)
  (pow (sqrt (sqrt (fabs (/ x y)))) 3)
  (pow (sqrt (sqrt (fabs (/ x y)))) 3)
  1
  (pow (sqrt (fabs (/ x y))) 3)
  (fabs (/ x y))
  (* (log (sqrt (fabs (/ x y)))) 3)
  (exp (pow (sqrt (fabs (/ x y))) 3))
  (fabs (/ x y))
  (sqrt (fabs (/ x y)))
  (pow (pow (sqrt (fabs (/ x y))) 3) 3)
  (fabs (/ x y))
  (sqrt (fabs (/ x y)))
  (pow (fabs (cbrt (fabs (/ x y)))) 3)
  (pow (sqrt (cbrt (fabs (/ x y)))) 3)
  (pow (sqrt (sqrt (fabs (/ x y)))) 3)
  (pow (sqrt (sqrt (fabs (/ x y)))) 3)
  1
  (pow (sqrt (fabs (/ x y))) 3)
  (pow (sqrt (sqrt (fabs (/ x y)))) 3)
  (pow (sqrt (sqrt (fabs (/ x y)))) 3)
  1
  (pow (sqrt (fabs (/ x y))) 3)
  (fabs (/ x y))
  3/2
  (sqrt (pow (sqrt (fabs (/ x y))) 3))
  (sqrt (pow (sqrt (fabs (/ x y))) 3))
  (pow (sqrt (fabs (/ x y))) 3/2)
  (pow (sqrt (fabs (/ x y))) 3/2)
  2
  (/ (pow z 2) (pow t 2))
  2
  (* 2 (log (/ z t)))
  (* 2 (log (/ z t)))
  (* 2 (log (/ z t)))
  (* 2 (log (/ z t)))
  (* 2 (log (/ z t)))
  (exp (* (/ z t) (/ z t)))
  (pow (/ z t) 6)
  (pow (/ z t) 6)
  (pow (/ z t) 6)
  (pow (/ z t) 6)
  (* (cbrt (* (/ z t) (/ z t))) (cbrt (* (/ z t) (/ z t))))
  (cbrt (* (/ z t) (/ z t)))
  (pow (/ z t) 6)
  (fabs (/ z t))
  (fabs (/ z t))
  (* z z)
  (* t t)
  (* (cbrt (/ z t)) (/ z t))
  (* (cbrt (/ z t)) (cbrt (/ z t)))
  (/ z t)
  (/ z t)
  (* (pow (/ (cbrt z) (cbrt t)) 3) (/ (cbrt z) (cbrt t)))
  (/ (cbrt z) (/ (* (cbrt t) (cbrt t)) (cbrt z)))
  (/ (* (/ (cbrt z) (sqrt t)) (pow (cbrt z) 3)) (sqrt t))
  (* (/ (cbrt z) (sqrt t)) (/ (cbrt z) (sqrt t)))
  (* (cbrt z) (pow (cbrt z) 3))
  (* (/ (cbrt z) t) (/ (cbrt z) t))
  (/ (/ (/ z (* (cbrt t) (cbrt t))) (cbrt t)) (cbrt t))
  (/ z (* (cbrt t) (cbrt t)))
  (/ (/ z (sqrt t)) (sqrt t))
  (/ (/ z (sqrt t)) (sqrt t))
  z
  (/ z (* t t))
  (/ (/ 1 (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t)))
  (* (/ z (cbrt t)) (/ z (cbrt t)))
  (/ (/ 1 (sqrt t)) (sqrt t))
  (* (/ z (sqrt t)) (/ z (sqrt t)))
  1
  (/ (pow z 2) (pow t 2))
  1
  (/ (pow z 2) (pow t 2))
  (* z z)
  (/ (/ 1 t) t)
  (/ z t)
  (/ z t)
  (* (/ (sqrt z) (sqrt t)) (sqrt (/ z t)))
  (* (/ (sqrt z) (sqrt t)) (sqrt (/ z t)))
  (* (/ (sqrt z) (sqrt t)) (sqrt (/ z t)))
  (* (/ (sqrt z) (sqrt t)) (sqrt (/ z t)))
  (/ (/ z (sqrt t)) (sqrt t))
  (/ (/ z (sqrt t)) (sqrt t))
  2
  (* (/ z t) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (pow (sqrt (/ z t)) 3)
  (* (/ z t) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))
  (* (/ z t) (/ (* (cbrt z) (cbrt z)) (sqrt t)))
  (* (* (cbrt z) (cbrt z)) (/ z t))
  (* (/ z t) (/ (sqrt z) (* (cbrt t) (cbrt t))))
  (* (/ (sqrt z) (sqrt t)) (/ z t))
  (* (/ (sqrt z) t) z)
  (/ (/ z t) (* (cbrt t) (cbrt t)))
  (/ (/ z t) (sqrt t))
  (/ z t)
  (/ z t)
  (* (/ z t) z)
  (* (cbrt (/ z t)) (/ z t))
  (pow (sqrt (/ z t)) 3)
  (* (/ (cbrt z) (cbrt t)) (/ z t))
  (* (/ (cbrt z) (sqrt t)) (/ z t))
  (* (/ (cbrt z) t) (/ z t))
  (* (/ (sqrt z) (cbrt t)) (/ z t))
  (* (/ (sqrt z) (sqrt t)) (/ z t))
  (* (/ (sqrt z) t) (/ z t))
  (* (/ z (cbrt t)) (/ z t))
  (* (/ z (sqrt t)) (/ z t))
  (/ (pow z 2) (pow t 2))
  (/ (pow z 2) (pow t 2))
  (/ z (* t t))
  (* (/ z t) z)
  (* (/ z t) z)
  (sqrt (fabs (/ x y)))
  (sqrt (fabs (/ x y)))
  (sqrt (fabs (/ x y)))
  (sqrt (fabs (/ x y)))
  (sqrt (fabs (/ x y)))
  (sqrt (fabs (/ x y)))
  (sqrt (pow (fabs (/ x y)) 3))
  (sqrt (pow (fabs (/ x y)) 3))
  (sqrt (pow (fabs (/ x y)) 3))
  (/ (pow z 2) (pow t 2))
  (/ (pow z 2) (pow t 2))
  (/ (pow z 2) (pow t 2))
13.108 * * * [progress]: adding candidates to table
13.525 * [progress]: [Phase 3 of 3] Extracting.
13.525 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (+ (cbrt (pow (pow (fabs (/ x y)) 2) 3)) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (/ (* x x) (* y y)) (/ z (* t (/ t z)))))> #<alt (λ (x y z t) (+ (* (pow (sqrt (fabs (/ x y))) 3) (sqrt (fabs (/ x y)))) (* (* (/ z t) z) (/ 1 t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (* (cbrt z) (cbrt z)) (/ z t)) (/ (cbrt z) t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (/ (sqrt z) t) z) (/ (sqrt z) t))))> #<alt (λ (x y z t) (+ (* (pow (* (cbrt (fabs (/ x y))) (cbrt (sqrt (fabs (/ x y))))) 3) (sqrt (fabs (/ x y)))) (* (/ z t) (/ 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))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (* (sqrt (pow (sqrt (fabs (/ x y))) 3)) (sqrt (pow (sqrt (fabs (/ x y))) 3))) (sqrt (fabs (/ x y)))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (/ x (* y (/ y x))) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (cbrt (* (/ z t) (/ z t))) (cbrt (* (/ z t) (/ z t)))) (cbrt (* (/ z t) (/ z t))))))> #<alt (λ (x y z t) (+ (* (pow (sqrt (fabs (/ x y))) 3) (cbrt (pow (sqrt (fabs (/ x y))) 3))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (/ (/ z t) (sqrt t)) (/ z (sqrt t)))))> #<alt (λ (x y z t) (+ (/ (* x (/ x y)) y) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (* (pow (fabs (cbrt (fabs (/ x y)))) 3) (pow (sqrt (cbrt (fabs (/ x y)))) 3)) (sqrt (fabs (/ x y)))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (/ (/ (* z z) t) t)))> #<alt (λ (x y z t) (+ (* (pow (sqrt (fabs (/ x y))) 3) (* (cbrt (fabs (/ x y))) (cbrt (sqrt (fabs (/ x y)))))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (pow (fabs (/ x y)) 3/2) (sqrt (fabs (/ x y)))) (* (/ z t) (/ z t))))>)
13.534 * * * [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)
13.534 * * * * [regimes]: Trying to branch on (* t t) from (#<alt (λ (x y z t) (+ (cbrt (pow (pow (fabs (/ x y)) 2) 3)) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (/ (* x x) (* y y)) (/ z (* t (/ t z)))))> #<alt (λ (x y z t) (+ (* (pow (sqrt (fabs (/ x y))) 3) (sqrt (fabs (/ x y)))) (* (* (/ z t) z) (/ 1 t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (* (cbrt z) (cbrt z)) (/ z t)) (/ (cbrt z) t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (/ (sqrt z) t) z) (/ (sqrt z) t))))> #<alt (λ (x y z t) (+ (* (pow (* (cbrt (fabs (/ x y))) (cbrt (sqrt (fabs (/ x y))))) 3) (sqrt (fabs (/ x y)))) (* (/ z t) (/ 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))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (* (sqrt (pow (sqrt (fabs (/ x y))) 3)) (sqrt (pow (sqrt (fabs (/ x y))) 3))) (sqrt (fabs (/ x y)))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (/ x (* y (/ y x))) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (cbrt (* (/ z t) (/ z t))) (cbrt (* (/ z t) (/ z t)))) (cbrt (* (/ z t) (/ z t))))))> #<alt (λ (x y z t) (+ (* (pow (sqrt (fabs (/ x y))) 3) (cbrt (pow (sqrt (fabs (/ x y))) 3))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (/ (/ z t) (sqrt t)) (/ z (sqrt t)))))> #<alt (λ (x y z t) (+ (/ (* x (/ x y)) y) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (* (pow (fabs (cbrt (fabs (/ x y)))) 3) (pow (sqrt (cbrt (fabs (/ x y)))) 3)) (sqrt (fabs (/ x y)))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (/ (/ (* z z) t) t)))> #<alt (λ (x y z t) (+ (* (pow (sqrt (fabs (/ x y))) 3) (* (cbrt (fabs (/ x y))) (cbrt (sqrt (fabs (/ x y)))))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (pow (fabs (/ x y)) 3/2) (sqrt (fabs (/ x y)))) (* (/ z t) (/ z t))))>)
13.618 * * * * [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))))>)
13.638 * * * * [regimes]: Trying to branch on (* z z) from (#<alt (λ (x y z t) (+ (cbrt (pow (pow (fabs (/ x y)) 2) 3)) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (/ (* x x) (* y y)) (/ z (* t (/ t z)))))> #<alt (λ (x y z t) (+ (* (pow (sqrt (fabs (/ x y))) 3) (sqrt (fabs (/ x y)))) (* (* (/ z t) z) (/ 1 t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (* (cbrt z) (cbrt z)) (/ z t)) (/ (cbrt z) t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (/ (sqrt z) t) z) (/ (sqrt z) t))))> #<alt (λ (x y z t) (+ (* (pow (* (cbrt (fabs (/ x y))) (cbrt (sqrt (fabs (/ x y))))) 3) (sqrt (fabs (/ x y)))) (* (/ z t) (/ 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))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (* (sqrt (pow (sqrt (fabs (/ x y))) 3)) (sqrt (pow (sqrt (fabs (/ x y))) 3))) (sqrt (fabs (/ x y)))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (/ x (* y (/ y x))) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (cbrt (* (/ z t) (/ z t))) (cbrt (* (/ z t) (/ z t)))) (cbrt (* (/ z t) (/ z t))))))> #<alt (λ (x y z t) (+ (* (pow (sqrt (fabs (/ x y))) 3) (cbrt (pow (sqrt (fabs (/ x y))) 3))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (/ (/ z t) (sqrt t)) (/ z (sqrt t)))))> #<alt (λ (x y z t) (+ (/ (* x (/ x y)) y) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (* (pow (fabs (cbrt (fabs (/ x y)))) 3) (pow (sqrt (cbrt (fabs (/ x y)))) 3)) (sqrt (fabs (/ x y)))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (/ (/ (* z z) t) t)))> #<alt (λ (x y z t) (+ (* (pow (sqrt (fabs (/ x y))) 3) (* (cbrt (fabs (/ x y))) (cbrt (sqrt (fabs (/ x y)))))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (pow (fabs (/ x y)) 3/2) (sqrt (fabs (/ x y)))) (* (/ z t) (/ z t))))>)
13.718 * * * * [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)))>)
13.740 * * * * [regimes]: Trying to branch on (/ (* z z) (* t t)) from (#<alt (λ (x y z t) (+ (cbrt (pow (pow (fabs (/ x y)) 2) 3)) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (/ (* x x) (* y y)) (/ z (* t (/ t z)))))> #<alt (λ (x y z t) (+ (* (pow (sqrt (fabs (/ x y))) 3) (sqrt (fabs (/ x y)))) (* (* (/ z t) z) (/ 1 t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (* (cbrt z) (cbrt z)) (/ z t)) (/ (cbrt z) t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (/ (sqrt z) t) z) (/ (sqrt z) t))))> #<alt (λ (x y z t) (+ (* (pow (* (cbrt (fabs (/ x y))) (cbrt (sqrt (fabs (/ x y))))) 3) (sqrt (fabs (/ x y)))) (* (/ z t) (/ 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))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (* (sqrt (pow (sqrt (fabs (/ x y))) 3)) (sqrt (pow (sqrt (fabs (/ x y))) 3))) (sqrt (fabs (/ x y)))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (/ x (* y (/ y x))) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (cbrt (* (/ z t) (/ z t))) (cbrt (* (/ z t) (/ z t)))) (cbrt (* (/ z t) (/ z t))))))> #<alt (λ (x y z t) (+ (* (pow (sqrt (fabs (/ x y))) 3) (cbrt (pow (sqrt (fabs (/ x y))) 3))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (/ (/ z t) (sqrt t)) (/ z (sqrt t)))))> #<alt (λ (x y z t) (+ (/ (* x (/ x y)) y) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (* (pow (fabs (cbrt (fabs (/ x y)))) 3) (pow (sqrt (cbrt (fabs (/ x y)))) 3)) (sqrt (fabs (/ x y)))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (/ (/ (* z z) t) t)))> #<alt (λ (x y z t) (+ (* (pow (sqrt (fabs (/ x y))) 3) (* (cbrt (fabs (/ x y))) (cbrt (sqrt (fabs (/ x y)))))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (pow (fabs (/ x y)) 3/2) (sqrt (fabs (/ x y)))) (* (/ z t) (/ z t))))>)
13.819 * * * * [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))))>)
13.839 * * * * [regimes]: Trying to branch on (* y y) from (#<alt (λ (x y z t) (+ (cbrt (pow (pow (fabs (/ x y)) 2) 3)) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (/ (* x x) (* y y)) (/ z (* t (/ t z)))))> #<alt (λ (x y z t) (+ (* (pow (sqrt (fabs (/ x y))) 3) (sqrt (fabs (/ x y)))) (* (* (/ z t) z) (/ 1 t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (* (cbrt z) (cbrt z)) (/ z t)) (/ (cbrt z) t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (/ (sqrt z) t) z) (/ (sqrt z) t))))> #<alt (λ (x y z t) (+ (* (pow (* (cbrt (fabs (/ x y))) (cbrt (sqrt (fabs (/ x y))))) 3) (sqrt (fabs (/ x y)))) (* (/ z t) (/ 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))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (* (sqrt (pow (sqrt (fabs (/ x y))) 3)) (sqrt (pow (sqrt (fabs (/ x y))) 3))) (sqrt (fabs (/ x y)))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (/ x (* y (/ y x))) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (cbrt (* (/ z t) (/ z t))) (cbrt (* (/ z t) (/ z t)))) (cbrt (* (/ z t) (/ z t))))))> #<alt (λ (x y z t) (+ (* (pow (sqrt (fabs (/ x y))) 3) (cbrt (pow (sqrt (fabs (/ x y))) 3))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (/ (/ z t) (sqrt t)) (/ z (sqrt t)))))> #<alt (λ (x y z t) (+ (/ (* x (/ x y)) y) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (* (pow (fabs (cbrt (fabs (/ x y)))) 3) (pow (sqrt (cbrt (fabs (/ x y)))) 3)) (sqrt (fabs (/ x y)))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (/ (/ (* z z) t) t)))> #<alt (λ (x y z t) (+ (* (pow (sqrt (fabs (/ x y))) 3) (* (cbrt (fabs (/ x y))) (cbrt (sqrt (fabs (/ x y)))))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (pow (fabs (/ x y)) 3/2) (sqrt (fabs (/ x y)))) (* (/ z t) (/ z t))))>)
13.922 * * * * [regimes]: Trying to branch on (* x x) from (#<alt (λ (x y z t) (+ (cbrt (pow (pow (fabs (/ x y)) 2) 3)) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (/ (* x x) (* y y)) (/ z (* t (/ t z)))))> #<alt (λ (x y z t) (+ (* (pow (sqrt (fabs (/ x y))) 3) (sqrt (fabs (/ x y)))) (* (* (/ z t) z) (/ 1 t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (* (cbrt z) (cbrt z)) (/ z t)) (/ (cbrt z) t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (/ (sqrt z) t) z) (/ (sqrt z) t))))> #<alt (λ (x y z t) (+ (* (pow (* (cbrt (fabs (/ x y))) (cbrt (sqrt (fabs (/ x y))))) 3) (sqrt (fabs (/ x y)))) (* (/ z t) (/ 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))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (* (sqrt (pow (sqrt (fabs (/ x y))) 3)) (sqrt (pow (sqrt (fabs (/ x y))) 3))) (sqrt (fabs (/ x y)))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (/ x (* y (/ y x))) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (cbrt (* (/ z t) (/ z t))) (cbrt (* (/ z t) (/ z t)))) (cbrt (* (/ z t) (/ z t))))))> #<alt (λ (x y z t) (+ (* (pow (sqrt (fabs (/ x y))) 3) (cbrt (pow (sqrt (fabs (/ x y))) 3))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (/ (/ z t) (sqrt t)) (/ z (sqrt t)))))> #<alt (λ (x y z t) (+ (/ (* x (/ x y)) y) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (* (pow (fabs (cbrt (fabs (/ x y)))) 3) (pow (sqrt (cbrt (fabs (/ x y)))) 3)) (sqrt (fabs (/ x y)))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (/ (/ (* z z) t) t)))> #<alt (λ (x y z t) (+ (* (pow (sqrt (fabs (/ x y))) 3) (* (cbrt (fabs (/ x y))) (cbrt (sqrt (fabs (/ x y)))))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (pow (fabs (/ x y)) 3/2) (sqrt (fabs (/ x y)))) (* (/ z t) (/ z t))))>)
14.009 * * * * [regimes]: Trying to branch on (/ (* x x) (* y y)) from (#<alt (λ (x y z t) (+ (cbrt (pow (pow (fabs (/ x y)) 2) 3)) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (/ (* x x) (* y y)) (/ z (* t (/ t z)))))> #<alt (λ (x y z t) (+ (* (pow (sqrt (fabs (/ x y))) 3) (sqrt (fabs (/ x y)))) (* (* (/ z t) z) (/ 1 t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (* (cbrt z) (cbrt z)) (/ z t)) (/ (cbrt z) t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (/ (sqrt z) t) z) (/ (sqrt z) t))))> #<alt (λ (x y z t) (+ (* (pow (* (cbrt (fabs (/ x y))) (cbrt (sqrt (fabs (/ x y))))) 3) (sqrt (fabs (/ x y)))) (* (/ z t) (/ 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))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (* (sqrt (pow (sqrt (fabs (/ x y))) 3)) (sqrt (pow (sqrt (fabs (/ x y))) 3))) (sqrt (fabs (/ x y)))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (/ x (* y (/ y x))) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (cbrt (* (/ z t) (/ z t))) (cbrt (* (/ z t) (/ z t)))) (cbrt (* (/ z t) (/ z t))))))> #<alt (λ (x y z t) (+ (* (pow (sqrt (fabs (/ x y))) 3) (cbrt (pow (sqrt (fabs (/ x y))) 3))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (/ (/ z t) (sqrt t)) (/ z (sqrt t)))))> #<alt (λ (x y z t) (+ (/ (* x (/ x y)) y) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (* (pow (fabs (cbrt (fabs (/ x y)))) 3) (pow (sqrt (cbrt (fabs (/ x y)))) 3)) (sqrt (fabs (/ x y)))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (/ (/ (* z z) t) t)))> #<alt (λ (x y z t) (+ (* (pow (sqrt (fabs (/ x y))) 3) (* (cbrt (fabs (/ x y))) (cbrt (sqrt (fabs (/ x y)))))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (pow (fabs (/ x y)) 3/2) (sqrt (fabs (/ x y)))) (* (/ z t) (/ z t))))>)
14.089 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (+ (cbrt (pow (pow (fabs (/ x y)) 2) 3)) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (/ (* x x) (* y y)) (/ z (* t (/ t z)))))> #<alt (λ (x y z t) (+ (* (pow (sqrt (fabs (/ x y))) 3) (sqrt (fabs (/ x y)))) (* (* (/ z t) z) (/ 1 t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (* (cbrt z) (cbrt z)) (/ z t)) (/ (cbrt z) t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (/ (sqrt z) t) z) (/ (sqrt z) t))))> #<alt (λ (x y z t) (+ (* (pow (* (cbrt (fabs (/ x y))) (cbrt (sqrt (fabs (/ x y))))) 3) (sqrt (fabs (/ x y)))) (* (/ z t) (/ 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))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (* (sqrt (pow (sqrt (fabs (/ x y))) 3)) (sqrt (pow (sqrt (fabs (/ x y))) 3))) (sqrt (fabs (/ x y)))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (/ x (* y (/ y x))) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (cbrt (* (/ z t) (/ z t))) (cbrt (* (/ z t) (/ z t)))) (cbrt (* (/ z t) (/ z t))))))> #<alt (λ (x y z t) (+ (* (pow (sqrt (fabs (/ x y))) 3) (cbrt (pow (sqrt (fabs (/ x y))) 3))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (/ (/ z t) (sqrt t)) (/ z (sqrt t)))))> #<alt (λ (x y z t) (+ (/ (* x (/ x y)) y) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (* (pow (fabs (cbrt (fabs (/ x y)))) 3) (pow (sqrt (cbrt (fabs (/ x y)))) 3)) (sqrt (fabs (/ x y)))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (/ (/ (* z z) t) t)))> #<alt (λ (x y z t) (+ (* (pow (sqrt (fabs (/ x y))) 3) (* (cbrt (fabs (/ x y))) (cbrt (sqrt (fabs (/ x y)))))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (pow (fabs (/ x y)) 3/2) (sqrt (fabs (/ x y)))) (* (/ z t) (/ z t))))>)
14.166 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (+ (cbrt (pow (pow (fabs (/ x y)) 2) 3)) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (/ (* x x) (* y y)) (/ z (* t (/ t z)))))> #<alt (λ (x y z t) (+ (* (pow (sqrt (fabs (/ x y))) 3) (sqrt (fabs (/ x y)))) (* (* (/ z t) z) (/ 1 t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (* (cbrt z) (cbrt z)) (/ z t)) (/ (cbrt z) t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (/ (sqrt z) t) z) (/ (sqrt z) t))))> #<alt (λ (x y z t) (+ (* (pow (* (cbrt (fabs (/ x y))) (cbrt (sqrt (fabs (/ x y))))) 3) (sqrt (fabs (/ x y)))) (* (/ z t) (/ 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))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (* (sqrt (pow (sqrt (fabs (/ x y))) 3)) (sqrt (pow (sqrt (fabs (/ x y))) 3))) (sqrt (fabs (/ x y)))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (/ x (* y (/ y x))) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (cbrt (* (/ z t) (/ z t))) (cbrt (* (/ z t) (/ z t)))) (cbrt (* (/ z t) (/ z t))))))> #<alt (λ (x y z t) (+ (* (pow (sqrt (fabs (/ x y))) 3) (cbrt (pow (sqrt (fabs (/ x y))) 3))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (/ (/ z t) (sqrt t)) (/ z (sqrt t)))))> #<alt (λ (x y z t) (+ (/ (* x (/ x y)) y) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (* (pow (fabs (cbrt (fabs (/ x y)))) 3) (pow (sqrt (cbrt (fabs (/ x y)))) 3)) (sqrt (fabs (/ x y)))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (/ (/ (* z z) t) t)))> #<alt (λ (x y z t) (+ (* (pow (sqrt (fabs (/ x y))) 3) (* (cbrt (fabs (/ x y))) (cbrt (sqrt (fabs (/ x y)))))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (pow (fabs (/ x y)) 3/2) (sqrt (fabs (/ x y)))) (* (/ z t) (/ z t))))>)
14.254 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (+ (cbrt (pow (pow (fabs (/ x y)) 2) 3)) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (/ (* x x) (* y y)) (/ z (* t (/ t z)))))> #<alt (λ (x y z t) (+ (* (pow (sqrt (fabs (/ x y))) 3) (sqrt (fabs (/ x y)))) (* (* (/ z t) z) (/ 1 t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (* (cbrt z) (cbrt z)) (/ z t)) (/ (cbrt z) t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (/ (sqrt z) t) z) (/ (sqrt z) t))))> #<alt (λ (x y z t) (+ (* (pow (* (cbrt (fabs (/ x y))) (cbrt (sqrt (fabs (/ x y))))) 3) (sqrt (fabs (/ x y)))) (* (/ z t) (/ 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))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (* (sqrt (pow (sqrt (fabs (/ x y))) 3)) (sqrt (pow (sqrt (fabs (/ x y))) 3))) (sqrt (fabs (/ x y)))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (/ x (* y (/ y x))) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (cbrt (* (/ z t) (/ z t))) (cbrt (* (/ z t) (/ z t)))) (cbrt (* (/ z t) (/ z t))))))> #<alt (λ (x y z t) (+ (* (pow (sqrt (fabs (/ x y))) 3) (cbrt (pow (sqrt (fabs (/ x y))) 3))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (/ (/ z t) (sqrt t)) (/ z (sqrt t)))))> #<alt (λ (x y z t) (+ (/ (* x (/ x y)) y) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (* (pow (fabs (cbrt (fabs (/ x y)))) 3) (pow (sqrt (cbrt (fabs (/ x y)))) 3)) (sqrt (fabs (/ x y)))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (/ (/ (* z z) t) t)))> #<alt (λ (x y z t) (+ (* (pow (sqrt (fabs (/ x y))) 3) (* (cbrt (fabs (/ x y))) (cbrt (sqrt (fabs (/ x y)))))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (pow (fabs (/ x y)) 3/2) (sqrt (fabs (/ x y)))) (* (/ z t) (/ z t))))>)
14.359 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (+ (cbrt (pow (pow (fabs (/ x y)) 2) 3)) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (/ (* x x) (* y y)) (/ z (* t (/ t z)))))> #<alt (λ (x y z t) (+ (* (pow (sqrt (fabs (/ x y))) 3) (sqrt (fabs (/ x y)))) (* (* (/ z t) z) (/ 1 t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (* (cbrt z) (cbrt z)) (/ z t)) (/ (cbrt z) t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (/ (sqrt z) t) z) (/ (sqrt z) t))))> #<alt (λ (x y z t) (+ (* (pow (* (cbrt (fabs (/ x y))) (cbrt (sqrt (fabs (/ x y))))) 3) (sqrt (fabs (/ x y)))) (* (/ z t) (/ 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))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (* (sqrt (pow (sqrt (fabs (/ x y))) 3)) (sqrt (pow (sqrt (fabs (/ x y))) 3))) (sqrt (fabs (/ x y)))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (/ x (* y (/ y x))) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (* (cbrt (* (/ z t) (/ z t))) (cbrt (* (/ z t) (/ z t)))) (cbrt (* (/ z t) (/ z t))))))> #<alt (λ (x y z t) (+ (* (pow (sqrt (fabs (/ x y))) 3) (cbrt (pow (sqrt (fabs (/ x y))) 3))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (* (/ (/ z t) (sqrt t)) (/ z (sqrt t)))))> #<alt (λ (x y z t) (+ (/ (* x (/ x y)) y) (/ (* z z) (* t t))))> #<alt (λ (x y z t) (+ (* (* (pow (fabs (cbrt (fabs (/ x y)))) 3) (pow (sqrt (cbrt (fabs (/ x y)))) 3)) (sqrt (fabs (/ x y)))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (fabs (/ x y)) (fabs (/ x y))) (/ (/ (* z z) t) t)))> #<alt (λ (x y z t) (+ (* (pow (sqrt (fabs (/ x y))) 3) (* (cbrt (fabs (/ x y))) (cbrt (sqrt (fabs (/ x y)))))) (* (/ z t) (/ z t))))> #<alt (λ (x y z t) (+ (* (pow (fabs (/ x y)) 3/2) (sqrt (fabs (/ x y)))) (* (/ z t) (/ z t))))>)
14.430 * * * [regime]: Found split indices: #<option (#s(si 16 255))>
14.430 * [simplify]: Simplifying:
  (+ (* (pow (fabs (/ x y)) 3/2) (sqrt (fabs (/ x y)))) (* (/ z t) (/ z t)))
14.430 * * [simplify]: Extracting # 0 : cost  0
14.430 * * [simplify]: Extracting # 1 : cost  0
14.430 * * [simplify]: Extracting # 2 : cost  0
14.430 * * [simplify]: Extracting # 3 : cost  0
14.430 * * [simplify]: Extracting # 4 : cost  0
14.430 * * [simplify]: Extracting # 5 : cost  0
14.430 * * [simplify]: Extracting # 6 : cost  0
14.430 * * [simplify]: Extracting # 7 : cost  0
14.430 * * [simplify]: Extracting # 8 : cost  0
14.430 * * [simplify]: Extracting # 9 : cost  0
14.430 * * [simplify]: iteration  0 :  13  enodes  (cost  20 )
14.431 * * [simplify]: Extracting # 0 : cost  0
14.431 * * [simplify]: iteration  1 :  15  enodes  (cost  20 )
14.432 * * [simplify]: Extracting # 0 : cost  0
14.432 * * [simplify]: iteration done:  15  enodes  (cost  20 )
14.432 * [simplify]: Simplified to:
  (+ (* (pow (fabs (/ x y)) 3/2) (sqrt (fabs (/ x y)))) (* (/ z t) (/ z t)))
17.729 * [regime-testing]: Baseline error score: 0.4615804444498484
17.730 * [regime-testing]: Oracle error score: 0.041630203775471934
17.732 * [regime-testing]: End program error score: 0.4615804444498484
17.797 * [regime-testing]: Target error score: 0.42715057507801496