54.222 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.024 * * * [progress]: [2/2] Setting up program.
0.030 * [progress]: [Phase 2 of 3] Improving.
0.031 * [simplify]: Simplifying:
  (sqrt (+ (* x x) (* y y)))
0.031 * * [simplify]: iteration 0: 6 enodes
0.034 * * [simplify]: iteration 1: 9 enodes
0.037 * * [simplify]: iteration 2: 10 enodes
0.040 * * [simplify]: iteration complete: 10 enodes
0.040 * * [simplify]: Extracting #0: cost 1 inf + 0
0.040 * * [simplify]: Extracting #1: cost 4 inf + 0
0.040 * * [simplify]: Extracting #2: cost 4 inf + 2
0.040 * * [simplify]: Extracting #3: cost 0 inf + 238
0.040 * [simplify]: Simplified to:
  (hypot x y)
0.051 * * [progress]: iteration 1 / 4
0.051 * * * [progress]: picking best candidate
0.067 * * * * [pick]: Picked  #<alt (λ (x y) (hypot x y))>
0.067 * * * [progress]: localizing error
0.077 * * * [progress]: generating rewritten candidates
0.077 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.078 * * * [progress]: generating series expansions
0.078 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.078 * [backup-simplify]: Simplify (hypot x y) into (hypot x y)
0.078 * [approximate]: Taking taylor expansion of (hypot x y) in (x y) around 0
0.078 * [taylor]: Taking taylor expansion of (hypot x y) in y
0.079 * [taylor]: Rewrote expression to (sqrt (+ (* x x) (* y y)))
0.079 * [taylor]: Taking taylor expansion of (+ (* x x) (* y y)) in y
0.079 * [taylor]: Taking taylor expansion of (* x x) in y
0.079 * [taylor]: Taking taylor expansion of x in y
0.079 * [backup-simplify]: Simplify x into x
0.079 * [taylor]: Taking taylor expansion of x in y
0.079 * [backup-simplify]: Simplify x into x
0.079 * [taylor]: Taking taylor expansion of (* y y) in y
0.079 * [taylor]: Taking taylor expansion of y in y
0.079 * [backup-simplify]: Simplify 0 into 0
0.079 * [backup-simplify]: Simplify 1 into 1
0.079 * [taylor]: Taking taylor expansion of y in y
0.079 * [backup-simplify]: Simplify 0 into 0
0.079 * [backup-simplify]: Simplify 1 into 1
0.079 * [backup-simplify]: Simplify (* x x) into (pow x 2)
0.080 * [backup-simplify]: Simplify (* 0 0) into 0
0.080 * [backup-simplify]: Simplify (+ (pow x 2) 0) into (pow x 2)
0.080 * [backup-simplify]: Simplify (sqrt (pow x 2)) into x
0.080 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
0.081 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
0.081 * [backup-simplify]: Simplify (+ 0 0) into 0
0.081 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow x 2)))) into 0
0.082 * [taylor]: Taking taylor expansion of (hypot x y) in x
0.082 * [taylor]: Rewrote expression to (sqrt (+ (* x x) (* y y)))
0.082 * [taylor]: Taking taylor expansion of (+ (* x x) (* y y)) in x
0.082 * [taylor]: Taking taylor expansion of (* x x) in x
0.082 * [taylor]: Taking taylor expansion of x in x
0.082 * [backup-simplify]: Simplify 0 into 0
0.082 * [backup-simplify]: Simplify 1 into 1
0.082 * [taylor]: Taking taylor expansion of x in x
0.082 * [backup-simplify]: Simplify 0 into 0
0.082 * [backup-simplify]: Simplify 1 into 1
0.082 * [taylor]: Taking taylor expansion of (* y y) in x
0.082 * [taylor]: Taking taylor expansion of y in x
0.082 * [backup-simplify]: Simplify y into y
0.082 * [taylor]: Taking taylor expansion of y in x
0.082 * [backup-simplify]: Simplify y into y
0.082 * [backup-simplify]: Simplify (* 0 0) into 0
0.082 * [backup-simplify]: Simplify (* y y) into (pow y 2)
0.083 * [backup-simplify]: Simplify (+ 0 (pow y 2)) into (pow y 2)
0.083 * [backup-simplify]: Simplify (sqrt (pow y 2)) into y
0.083 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
0.084 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
0.084 * [backup-simplify]: Simplify (+ 0 0) into 0
0.084 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow y 2)))) into 0
0.084 * [taylor]: Taking taylor expansion of (hypot x y) in x
0.084 * [taylor]: Rewrote expression to (sqrt (+ (* x x) (* y y)))
0.084 * [taylor]: Taking taylor expansion of (+ (* x x) (* y y)) in x
0.084 * [taylor]: Taking taylor expansion of (* x x) in x
0.084 * [taylor]: Taking taylor expansion of x in x
0.084 * [backup-simplify]: Simplify 0 into 0
0.084 * [backup-simplify]: Simplify 1 into 1
0.084 * [taylor]: Taking taylor expansion of x in x
0.085 * [backup-simplify]: Simplify 0 into 0
0.085 * [backup-simplify]: Simplify 1 into 1
0.085 * [taylor]: Taking taylor expansion of (* y y) in x
0.085 * [taylor]: Taking taylor expansion of y in x
0.085 * [backup-simplify]: Simplify y into y
0.085 * [taylor]: Taking taylor expansion of y in x
0.085 * [backup-simplify]: Simplify y into y
0.085 * [backup-simplify]: Simplify (* 0 0) into 0
0.085 * [backup-simplify]: Simplify (* y y) into (pow y 2)
0.085 * [backup-simplify]: Simplify (+ 0 (pow y 2)) into (pow y 2)
0.086 * [backup-simplify]: Simplify (sqrt (pow y 2)) into y
0.086 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
0.086 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
0.087 * [backup-simplify]: Simplify (+ 0 0) into 0
0.087 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow y 2)))) into 0
0.087 * [taylor]: Taking taylor expansion of y in y
0.087 * [backup-simplify]: Simplify 0 into 0
0.087 * [backup-simplify]: Simplify 1 into 1
0.087 * [backup-simplify]: Simplify 0 into 0
0.087 * [taylor]: Taking taylor expansion of 0 in y
0.087 * [backup-simplify]: Simplify 0 into 0
0.087 * [backup-simplify]: Simplify 0 into 0
0.087 * [backup-simplify]: Simplify 1 into 1
0.088 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
0.089 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
0.089 * [backup-simplify]: Simplify (+ 1 0) into 1
0.090 * [backup-simplify]: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 y)) into (/ 1/2 y)
0.090 * [taylor]: Taking taylor expansion of (/ 1/2 y) in y
0.090 * [taylor]: Taking taylor expansion of 1/2 in y
0.090 * [backup-simplify]: Simplify 1/2 into 1/2
0.090 * [taylor]: Taking taylor expansion of y in y
0.090 * [backup-simplify]: Simplify 0 into 0
0.090 * [backup-simplify]: Simplify 1 into 1
0.091 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2
0.092 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0
0.092 * [backup-simplify]: Simplify 0 into 0
0.092 * [backup-simplify]: Simplify 0 into 0
0.092 * [backup-simplify]: Simplify 0 into 0
0.093 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
0.094 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
0.094 * [backup-simplify]: Simplify (+ 0 0) into 0
0.094 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 y))))) (* 2 y)) into 0
0.094 * [taylor]: Taking taylor expansion of 0 in y
0.094 * [backup-simplify]: Simplify 0 into 0
0.094 * [backup-simplify]: Simplify 0 into 0
0.096 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.096 * [backup-simplify]: Simplify 0 into 0
0.096 * [backup-simplify]: Simplify 0 into 0
0.096 * [backup-simplify]: Simplify (* 1 (* y 1)) into y
0.096 * [backup-simplify]: Simplify (hypot (/ 1 x) (/ 1 y)) into (hypot (/ 1 x) (/ 1 y))
0.096 * [approximate]: Taking taylor expansion of (hypot (/ 1 x) (/ 1 y)) in (x y) around 0
0.096 * [taylor]: Taking taylor expansion of (hypot (/ 1 x) (/ 1 y)) in y
0.096 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y))))
0.096 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y))) in y
0.096 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in y
0.096 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.096 * [taylor]: Taking taylor expansion of x in y
0.097 * [backup-simplify]: Simplify x into x
0.097 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.097 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.097 * [taylor]: Taking taylor expansion of x in y
0.097 * [backup-simplify]: Simplify x into x
0.097 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.097 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y
0.097 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.097 * [taylor]: Taking taylor expansion of y in y
0.097 * [backup-simplify]: Simplify 0 into 0
0.097 * [backup-simplify]: Simplify 1 into 1
0.098 * [backup-simplify]: Simplify (/ 1 1) into 1
0.098 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.098 * [taylor]: Taking taylor expansion of y in y
0.098 * [backup-simplify]: Simplify 0 into 0
0.098 * [backup-simplify]: Simplify 1 into 1
0.099 * [backup-simplify]: Simplify (/ 1 1) into 1
0.099 * [backup-simplify]: Simplify (* 1 1) into 1
0.100 * [backup-simplify]: Simplify (+ 0 1) into 1
0.100 * [backup-simplify]: Simplify (sqrt 1) into 1
0.101 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.102 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.103 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.103 * [backup-simplify]: Simplify (+ 0 0) into 0
0.104 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
0.104 * [taylor]: Taking taylor expansion of (hypot (/ 1 x) (/ 1 y)) in x
0.104 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y))))
0.104 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y))) in x
0.104 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
0.104 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.104 * [taylor]: Taking taylor expansion of x in x
0.104 * [backup-simplify]: Simplify 0 into 0
0.104 * [backup-simplify]: Simplify 1 into 1
0.105 * [backup-simplify]: Simplify (/ 1 1) into 1
0.105 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.105 * [taylor]: Taking taylor expansion of x in x
0.105 * [backup-simplify]: Simplify 0 into 0
0.105 * [backup-simplify]: Simplify 1 into 1
0.105 * [backup-simplify]: Simplify (/ 1 1) into 1
0.105 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in x
0.105 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.106 * [taylor]: Taking taylor expansion of y in x
0.106 * [backup-simplify]: Simplify y into y
0.106 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.106 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.106 * [taylor]: Taking taylor expansion of y in x
0.106 * [backup-simplify]: Simplify y into y
0.106 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.106 * [backup-simplify]: Simplify (* 1 1) into 1
0.107 * [backup-simplify]: Simplify (+ 1 0) into 1
0.107 * [backup-simplify]: Simplify (sqrt 1) into 1
0.108 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.108 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.109 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.109 * [backup-simplify]: Simplify (+ 0 0) into 0
0.110 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
0.110 * [taylor]: Taking taylor expansion of (hypot (/ 1 x) (/ 1 y)) in x
0.110 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y))))
0.110 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y))) in x
0.110 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
0.110 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.111 * [taylor]: Taking taylor expansion of x in x
0.111 * [backup-simplify]: Simplify 0 into 0
0.111 * [backup-simplify]: Simplify 1 into 1
0.111 * [backup-simplify]: Simplify (/ 1 1) into 1
0.111 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.111 * [taylor]: Taking taylor expansion of x in x
0.111 * [backup-simplify]: Simplify 0 into 0
0.111 * [backup-simplify]: Simplify 1 into 1
0.111 * [backup-simplify]: Simplify (/ 1 1) into 1
0.111 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in x
0.112 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.112 * [taylor]: Taking taylor expansion of y in x
0.112 * [backup-simplify]: Simplify y into y
0.112 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.112 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.112 * [taylor]: Taking taylor expansion of y in x
0.112 * [backup-simplify]: Simplify y into y
0.112 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.112 * [backup-simplify]: Simplify (* 1 1) into 1
0.113 * [backup-simplify]: Simplify (+ 1 0) into 1
0.113 * [backup-simplify]: Simplify (sqrt 1) into 1
0.114 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.115 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.115 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.116 * [backup-simplify]: Simplify (+ 0 0) into 0
0.116 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
0.116 * [taylor]: Taking taylor expansion of 1 in y
0.117 * [backup-simplify]: Simplify 1 into 1
0.117 * [taylor]: Taking taylor expansion of 0 in y
0.117 * [backup-simplify]: Simplify 0 into 0
0.117 * [backup-simplify]: Simplify 1 into 1
0.118 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.118 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.119 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.120 * [backup-simplify]: Simplify (* (/ 1 y) (/ 1 y)) into (/ 1 (pow y 2))
0.120 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow y 2))) into (/ 1 (pow y 2))
0.121 * [backup-simplify]: Simplify (/ (- (/ 1 (pow y 2)) (pow 0 2) (+)) (* 2 1)) into (/ 1/2 (pow y 2))
0.121 * [taylor]: Taking taylor expansion of (/ 1/2 (pow y 2)) in y
0.121 * [taylor]: Taking taylor expansion of 1/2 in y
0.121 * [backup-simplify]: Simplify 1/2 into 1/2
0.121 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.121 * [taylor]: Taking taylor expansion of y in y
0.121 * [backup-simplify]: Simplify 0 into 0
0.121 * [backup-simplify]: Simplify 1 into 1
0.122 * [backup-simplify]: Simplify (* 1 1) into 1
0.122 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2
0.123 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.124 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0
0.124 * [backup-simplify]: Simplify 0 into 0
0.124 * [backup-simplify]: Simplify 0 into 0
0.124 * [backup-simplify]: Simplify 0 into 0
0.125 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.127 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.128 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.128 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.128 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.129 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (* 0 (/ 1 y))) into 0
0.129 * [backup-simplify]: Simplify (+ 0 0) into 0
0.130 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (pow y 2)))))) (* 2 1)) into 0
0.130 * [taylor]: Taking taylor expansion of 0 in y
0.130 * [backup-simplify]: Simplify 0 into 0
0.131 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.132 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.132 * [backup-simplify]: Simplify 0 into 0
0.132 * [backup-simplify]: Simplify 0 into 0
0.132 * [backup-simplify]: Simplify 0 into 0
0.132 * [backup-simplify]: Simplify (* 1 (* 1 (/ 1 (/ 1 x)))) into x
0.132 * [backup-simplify]: Simplify (hypot (/ 1 (- x)) (/ 1 (- y))) into (hypot (/ -1 x) (/ -1 y))
0.132 * [approximate]: Taking taylor expansion of (hypot (/ -1 x) (/ -1 y)) in (x y) around 0
0.133 * [taylor]: Taking taylor expansion of (hypot (/ -1 x) (/ -1 y)) in y
0.133 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 x) (/ -1 x)) (* (/ -1 y) (/ -1 y))))
0.133 * [taylor]: Taking taylor expansion of (+ (* (/ -1 x) (/ -1 x)) (* (/ -1 y) (/ -1 y))) in y
0.133 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in y
0.133 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.133 * [taylor]: Taking taylor expansion of -1 in y
0.133 * [backup-simplify]: Simplify -1 into -1
0.133 * [taylor]: Taking taylor expansion of x in y
0.133 * [backup-simplify]: Simplify x into x
0.133 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
0.133 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.133 * [taylor]: Taking taylor expansion of -1 in y
0.133 * [backup-simplify]: Simplify -1 into -1
0.133 * [taylor]: Taking taylor expansion of x in y
0.133 * [backup-simplify]: Simplify x into x
0.133 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
0.133 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y
0.133 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.133 * [taylor]: Taking taylor expansion of -1 in y
0.133 * [backup-simplify]: Simplify -1 into -1
0.133 * [taylor]: Taking taylor expansion of y in y
0.133 * [backup-simplify]: Simplify 0 into 0
0.133 * [backup-simplify]: Simplify 1 into 1
0.134 * [backup-simplify]: Simplify (/ -1 1) into -1
0.134 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.134 * [taylor]: Taking taylor expansion of -1 in y
0.134 * [backup-simplify]: Simplify -1 into -1
0.134 * [taylor]: Taking taylor expansion of y in y
0.134 * [backup-simplify]: Simplify 0 into 0
0.134 * [backup-simplify]: Simplify 1 into 1
0.135 * [backup-simplify]: Simplify (/ -1 1) into -1
0.135 * [backup-simplify]: Simplify (* -1 -1) into 1
0.136 * [backup-simplify]: Simplify (+ 0 1) into 1
0.136 * [backup-simplify]: Simplify (sqrt 1) into 1
0.137 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
0.138 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
0.139 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0
0.139 * [backup-simplify]: Simplify (+ 0 0) into 0
0.140 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
0.140 * [taylor]: Taking taylor expansion of (hypot (/ -1 x) (/ -1 y)) in x
0.140 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 x) (/ -1 x)) (* (/ -1 y) (/ -1 y))))
0.140 * [taylor]: Taking taylor expansion of (+ (* (/ -1 x) (/ -1 x)) (* (/ -1 y) (/ -1 y))) in x
0.140 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
0.141 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.141 * [taylor]: Taking taylor expansion of -1 in x
0.141 * [backup-simplify]: Simplify -1 into -1
0.141 * [taylor]: Taking taylor expansion of x in x
0.141 * [backup-simplify]: Simplify 0 into 0
0.141 * [backup-simplify]: Simplify 1 into 1
0.141 * [backup-simplify]: Simplify (/ -1 1) into -1
0.141 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.141 * [taylor]: Taking taylor expansion of -1 in x
0.141 * [backup-simplify]: Simplify -1 into -1
0.141 * [taylor]: Taking taylor expansion of x in x
0.142 * [backup-simplify]: Simplify 0 into 0
0.142 * [backup-simplify]: Simplify 1 into 1
0.142 * [backup-simplify]: Simplify (/ -1 1) into -1
0.142 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in x
0.142 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.142 * [taylor]: Taking taylor expansion of -1 in x
0.142 * [backup-simplify]: Simplify -1 into -1
0.142 * [taylor]: Taking taylor expansion of y in x
0.142 * [backup-simplify]: Simplify y into y
0.142 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
0.143 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.143 * [taylor]: Taking taylor expansion of -1 in x
0.143 * [backup-simplify]: Simplify -1 into -1
0.143 * [taylor]: Taking taylor expansion of y in x
0.143 * [backup-simplify]: Simplify y into y
0.143 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
0.143 * [backup-simplify]: Simplify (* -1 -1) into 1
0.144 * [backup-simplify]: Simplify (+ 1 0) into 1
0.144 * [backup-simplify]: Simplify (sqrt 1) into 1
0.145 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
0.146 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
0.147 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0
0.147 * [backup-simplify]: Simplify (+ 0 0) into 0
0.148 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
0.148 * [taylor]: Taking taylor expansion of (hypot (/ -1 x) (/ -1 y)) in x
0.148 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 x) (/ -1 x)) (* (/ -1 y) (/ -1 y))))
0.148 * [taylor]: Taking taylor expansion of (+ (* (/ -1 x) (/ -1 x)) (* (/ -1 y) (/ -1 y))) in x
0.148 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
0.148 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.148 * [taylor]: Taking taylor expansion of -1 in x
0.148 * [backup-simplify]: Simplify -1 into -1
0.148 * [taylor]: Taking taylor expansion of x in x
0.148 * [backup-simplify]: Simplify 0 into 0
0.148 * [backup-simplify]: Simplify 1 into 1
0.149 * [backup-simplify]: Simplify (/ -1 1) into -1
0.149 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.149 * [taylor]: Taking taylor expansion of -1 in x
0.149 * [backup-simplify]: Simplify -1 into -1
0.149 * [taylor]: Taking taylor expansion of x in x
0.149 * [backup-simplify]: Simplify 0 into 0
0.149 * [backup-simplify]: Simplify 1 into 1
0.149 * [backup-simplify]: Simplify (/ -1 1) into -1
0.149 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in x
0.149 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.149 * [taylor]: Taking taylor expansion of -1 in x
0.149 * [backup-simplify]: Simplify -1 into -1
0.149 * [taylor]: Taking taylor expansion of y in x
0.149 * [backup-simplify]: Simplify y into y
0.150 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
0.150 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.150 * [taylor]: Taking taylor expansion of -1 in x
0.150 * [backup-simplify]: Simplify -1 into -1
0.150 * [taylor]: Taking taylor expansion of y in x
0.150 * [backup-simplify]: Simplify y into y
0.150 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
0.150 * [backup-simplify]: Simplify (* -1 -1) into 1
0.151 * [backup-simplify]: Simplify (+ 1 0) into 1
0.151 * [backup-simplify]: Simplify (sqrt 1) into 1
0.152 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
0.153 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
0.153 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0
0.154 * [backup-simplify]: Simplify (+ 0 0) into 0
0.155 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
0.155 * [taylor]: Taking taylor expansion of 1 in y
0.155 * [backup-simplify]: Simplify 1 into 1
0.155 * [taylor]: Taking taylor expansion of 0 in y
0.155 * [backup-simplify]: Simplify 0 into 0
0.155 * [backup-simplify]: Simplify 1 into 1
0.156 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.157 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.158 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0
0.158 * [backup-simplify]: Simplify (* (/ -1 y) (/ -1 y)) into (/ 1 (pow y 2))
0.159 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow y 2))) into (/ 1 (pow y 2))
0.160 * [backup-simplify]: Simplify (/ (- (/ 1 (pow y 2)) (pow 0 2) (+)) (* 2 1)) into (/ 1/2 (pow y 2))
0.160 * [taylor]: Taking taylor expansion of (/ 1/2 (pow y 2)) in y
0.160 * [taylor]: Taking taylor expansion of 1/2 in y
0.160 * [backup-simplify]: Simplify 1/2 into 1/2
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 (* 1 1) into 1
0.161 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2
0.162 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.162 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0
0.162 * [backup-simplify]: Simplify 0 into 0
0.163 * [backup-simplify]: Simplify 0 into 0
0.163 * [backup-simplify]: Simplify 0 into 0
0.164 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.165 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.166 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
0.166 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
0.166 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
0.166 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (* 0 (/ -1 y))) into 0
0.167 * [backup-simplify]: Simplify (+ 0 0) into 0
0.168 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (pow y 2)))))) (* 2 1)) into 0
0.168 * [taylor]: Taking taylor expansion of 0 in y
0.168 * [backup-simplify]: Simplify 0 into 0
0.169 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.170 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.170 * [backup-simplify]: Simplify 0 into 0
0.170 * [backup-simplify]: Simplify 0 into 0
0.170 * [backup-simplify]: Simplify 0 into 0
0.170 * [backup-simplify]: Simplify (* 1 (* 1 (/ 1 (/ 1 (- x))))) into (* -1 x)
0.170 * * * [progress]: simplifying candidates
0.171 * [simplify]: Simplifying:
  (expm1 (hypot x y))
  (log1p (hypot x y))
  (+ (* x x) (* y y))
  (log (hypot x y))
  (exp (hypot x y))
  (* (cbrt (hypot x y)) (cbrt (hypot x y)))
  (cbrt (hypot x y))
  (* (* (hypot x y) (hypot x y)) (hypot x y))
  (sqrt (hypot x y))
  (sqrt (hypot x y))
  y
  x
  (* -1 x)
0.171 * * [simplify]: iteration 0: 17 enodes
0.177 * * [simplify]: iteration 1: 22 enodes
0.186 * * [simplify]: iteration 2: 25 enodes
0.195 * * [simplify]: iteration 3: 30 enodes
0.206 * * [simplify]: iteration 4: 38 enodes
0.228 * * [simplify]: iteration 5: 50 enodes
0.590 * * [simplify]: iteration 6: 71 enodes
0.643 * * [simplify]: iteration 7: 148 enodes
0.746 * * [simplify]: iteration 8: 308 enodes
1.793 * * [simplify]: iteration 9: 930 enodes
17.262 * * [simplify]: iteration complete: 5000 enodes
17.262 * * [simplify]: Extracting #0: cost 12 inf + 0
17.263 * * [simplify]: Extracting #1: cost 206 inf + 43
17.271 * * [simplify]: Extracting #2: cost 1133 inf + 1455
17.289 * * [simplify]: Extracting #3: cost 1147 inf + 5234
17.374 * * [simplify]: Extracting #4: cost 715 inf + 379081
17.851 * * [simplify]: Extracting #5: cost 37 inf + 945242
18.401 * * [simplify]: Extracting #6: cost 0 inf + 906363
19.158 * * [simplify]: Extracting #7: cost 0 inf + 899941
19.889 * [simplify]: Simplified to:
  (expm1 (hypot x y))
  (log1p (hypot x y))
  (fma y y (* x x))
  (log (hypot x y))
  (exp (hypot x y))
  (* (cbrt (hypot x y)) (cbrt (hypot x y)))
  (cbrt (hypot x y))
  (* (hypot x y) (* (hypot x y) (hypot x y)))
  (sqrt (hypot x y))
  (sqrt (hypot x y))
  y
  x
  (- x)
19.894 * * * [progress]: adding candidates to table
20.082 * * [progress]: iteration 2 / 4
20.086 * * * [progress]: picking best candidate
20.093 * * * * [pick]: Picked  #<alt (λ (x y) (* (sqrt (hypot x y)) (sqrt (hypot x y))))>
20.093 * * * [progress]: localizing error
20.124 * * * [progress]: generating rewritten candidates
20.124 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
20.331 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
20.331 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
20.336 * * * [progress]: generating series expansions
20.336 * * * * [progress]: [ 1 / 3 ] generating series at (2)
20.336 * [backup-simplify]: Simplify (* (sqrt (hypot x y)) (sqrt (hypot x y))) into (hypot x y)
20.336 * [approximate]: Taking taylor expansion of (hypot x y) in (x y) around 0
20.336 * [taylor]: Taking taylor expansion of (hypot x y) in y
20.336 * [taylor]: Rewrote expression to (sqrt (+ (* x x) (* y y)))
20.336 * [taylor]: Taking taylor expansion of (+ (* x x) (* y y)) in y
20.336 * [taylor]: Taking taylor expansion of (* x x) in y
20.336 * [taylor]: Taking taylor expansion of x in y
20.336 * [backup-simplify]: Simplify x into x
20.336 * [taylor]: Taking taylor expansion of x in y
20.336 * [backup-simplify]: Simplify x into x
20.337 * [taylor]: Taking taylor expansion of (* y y) in y
20.337 * [taylor]: Taking taylor expansion of y in y
20.337 * [backup-simplify]: Simplify 0 into 0
20.337 * [backup-simplify]: Simplify 1 into 1
20.337 * [taylor]: Taking taylor expansion of y in y
20.337 * [backup-simplify]: Simplify 0 into 0
20.337 * [backup-simplify]: Simplify 1 into 1
20.337 * [backup-simplify]: Simplify (* x x) into (pow x 2)
20.337 * [backup-simplify]: Simplify (* 0 0) into 0
20.338 * [backup-simplify]: Simplify (+ (pow x 2) 0) into (pow x 2)
20.338 * [backup-simplify]: Simplify (sqrt (pow x 2)) into x
20.338 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
20.367 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
20.367 * [backup-simplify]: Simplify (+ 0 0) into 0
20.368 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow x 2)))) into 0
20.368 * [taylor]: Taking taylor expansion of (hypot x y) in x
20.368 * [taylor]: Rewrote expression to (sqrt (+ (* x x) (* y y)))
20.368 * [taylor]: Taking taylor expansion of (+ (* x x) (* y y)) in x
20.368 * [taylor]: Taking taylor expansion of (* x x) in x
20.368 * [taylor]: Taking taylor expansion of x in x
20.368 * [backup-simplify]: Simplify 0 into 0
20.368 * [backup-simplify]: Simplify 1 into 1
20.368 * [taylor]: Taking taylor expansion of x in x
20.368 * [backup-simplify]: Simplify 0 into 0
20.368 * [backup-simplify]: Simplify 1 into 1
20.368 * [taylor]: Taking taylor expansion of (* y y) in x
20.368 * [taylor]: Taking taylor expansion of y in x
20.368 * [backup-simplify]: Simplify y into y
20.368 * [taylor]: Taking taylor expansion of y in x
20.368 * [backup-simplify]: Simplify y into y
20.369 * [backup-simplify]: Simplify (* 0 0) into 0
20.369 * [backup-simplify]: Simplify (* y y) into (pow y 2)
20.369 * [backup-simplify]: Simplify (+ 0 (pow y 2)) into (pow y 2)
20.369 * [backup-simplify]: Simplify (sqrt (pow y 2)) into y
20.378 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
20.378 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
20.379 * [backup-simplify]: Simplify (+ 0 0) into 0
20.379 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow y 2)))) into 0
20.379 * [taylor]: Taking taylor expansion of (hypot x y) in x
20.379 * [taylor]: Rewrote expression to (sqrt (+ (* x x) (* y y)))
20.379 * [taylor]: Taking taylor expansion of (+ (* x x) (* y y)) in x
20.380 * [taylor]: Taking taylor expansion of (* x x) in x
20.380 * [taylor]: Taking taylor expansion of x in x
20.380 * [backup-simplify]: Simplify 0 into 0
20.380 * [backup-simplify]: Simplify 1 into 1
20.380 * [taylor]: Taking taylor expansion of x in x
20.380 * [backup-simplify]: Simplify 0 into 0
20.380 * [backup-simplify]: Simplify 1 into 1
20.380 * [taylor]: Taking taylor expansion of (* y y) in x
20.380 * [taylor]: Taking taylor expansion of y in x
20.380 * [backup-simplify]: Simplify y into y
20.380 * [taylor]: Taking taylor expansion of y in x
20.380 * [backup-simplify]: Simplify y into y
20.380 * [backup-simplify]: Simplify (* 0 0) into 0
20.380 * [backup-simplify]: Simplify (* y y) into (pow y 2)
20.380 * [backup-simplify]: Simplify (+ 0 (pow y 2)) into (pow y 2)
20.381 * [backup-simplify]: Simplify (sqrt (pow y 2)) into y
20.381 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
20.381 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
20.382 * [backup-simplify]: Simplify (+ 0 0) into 0
20.382 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow y 2)))) into 0
20.386 * [taylor]: Taking taylor expansion of y in y
20.386 * [backup-simplify]: Simplify 0 into 0
20.386 * [backup-simplify]: Simplify 1 into 1
20.386 * [backup-simplify]: Simplify 0 into 0
20.386 * [taylor]: Taking taylor expansion of 0 in y
20.386 * [backup-simplify]: Simplify 0 into 0
20.387 * [backup-simplify]: Simplify 0 into 0
20.387 * [backup-simplify]: Simplify 1 into 1
20.388 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
20.388 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
20.389 * [backup-simplify]: Simplify (+ 1 0) into 1
20.390 * [backup-simplify]: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 y)) into (/ 1/2 y)
20.390 * [taylor]: Taking taylor expansion of (/ 1/2 y) in y
20.390 * [taylor]: Taking taylor expansion of 1/2 in y
20.390 * [backup-simplify]: Simplify 1/2 into 1/2
20.390 * [taylor]: Taking taylor expansion of y in y
20.390 * [backup-simplify]: Simplify 0 into 0
20.390 * [backup-simplify]: Simplify 1 into 1
20.401 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2
20.402 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0
20.402 * [backup-simplify]: Simplify 0 into 0
20.402 * [backup-simplify]: Simplify 0 into 0
20.402 * [backup-simplify]: Simplify 0 into 0
20.403 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
20.404 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
20.404 * [backup-simplify]: Simplify (+ 0 0) into 0
20.404 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 y))))) (* 2 y)) into 0
20.404 * [taylor]: Taking taylor expansion of 0 in y
20.404 * [backup-simplify]: Simplify 0 into 0
20.404 * [backup-simplify]: Simplify 0 into 0
20.406 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.406 * [backup-simplify]: Simplify 0 into 0
20.406 * [backup-simplify]: Simplify 0 into 0
20.421 * [backup-simplify]: Simplify (* 1 (* y 1)) into y
20.421 * [backup-simplify]: Simplify (* (sqrt (hypot (/ 1 x) (/ 1 y))) (sqrt (hypot (/ 1 x) (/ 1 y)))) into (hypot (/ 1 x) (/ 1 y))
20.421 * [approximate]: Taking taylor expansion of (hypot (/ 1 x) (/ 1 y)) in (x y) around 0
20.421 * [taylor]: Taking taylor expansion of (hypot (/ 1 x) (/ 1 y)) in y
20.421 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y))))
20.421 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y))) in y
20.421 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in y
20.421 * [taylor]: Taking taylor expansion of (/ 1 x) in y
20.421 * [taylor]: Taking taylor expansion of x in y
20.421 * [backup-simplify]: Simplify x into x
20.421 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
20.421 * [taylor]: Taking taylor expansion of (/ 1 x) in y
20.422 * [taylor]: Taking taylor expansion of x in y
20.422 * [backup-simplify]: Simplify x into x
20.422 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
20.422 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y
20.422 * [taylor]: Taking taylor expansion of (/ 1 y) in y
20.422 * [taylor]: Taking taylor expansion of y in y
20.422 * [backup-simplify]: Simplify 0 into 0
20.422 * [backup-simplify]: Simplify 1 into 1
20.422 * [backup-simplify]: Simplify (/ 1 1) into 1
20.422 * [taylor]: Taking taylor expansion of (/ 1 y) in y
20.422 * [taylor]: Taking taylor expansion of y in y
20.422 * [backup-simplify]: Simplify 0 into 0
20.422 * [backup-simplify]: Simplify 1 into 1
20.423 * [backup-simplify]: Simplify (/ 1 1) into 1
20.423 * [backup-simplify]: Simplify (* 1 1) into 1
20.424 * [backup-simplify]: Simplify (+ 0 1) into 1
20.424 * [backup-simplify]: Simplify (sqrt 1) into 1
20.425 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.425 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.434 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.435 * [backup-simplify]: Simplify (+ 0 0) into 0
20.436 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
20.436 * [taylor]: Taking taylor expansion of (hypot (/ 1 x) (/ 1 y)) in x
20.436 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y))))
20.436 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y))) in x
20.436 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
20.436 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.436 * [taylor]: Taking taylor expansion of x in x
20.437 * [backup-simplify]: Simplify 0 into 0
20.437 * [backup-simplify]: Simplify 1 into 1
20.437 * [backup-simplify]: Simplify (/ 1 1) into 1
20.437 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.437 * [taylor]: Taking taylor expansion of x in x
20.437 * [backup-simplify]: Simplify 0 into 0
20.437 * [backup-simplify]: Simplify 1 into 1
20.438 * [backup-simplify]: Simplify (/ 1 1) into 1
20.438 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in x
20.438 * [taylor]: Taking taylor expansion of (/ 1 y) in x
20.438 * [taylor]: Taking taylor expansion of y in x
20.438 * [backup-simplify]: Simplify y into y
20.438 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
20.438 * [taylor]: Taking taylor expansion of (/ 1 y) in x
20.438 * [taylor]: Taking taylor expansion of y in x
20.438 * [backup-simplify]: Simplify y into y
20.438 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
20.451 * [backup-simplify]: Simplify (* 1 1) into 1
20.451 * [backup-simplify]: Simplify (+ 1 0) into 1
20.452 * [backup-simplify]: Simplify (sqrt 1) into 1
20.452 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.453 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.454 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.454 * [backup-simplify]: Simplify (+ 0 0) into 0
20.455 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
20.455 * [taylor]: Taking taylor expansion of (hypot (/ 1 x) (/ 1 y)) in x
20.455 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y))))
20.455 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y))) in x
20.455 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
20.455 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.455 * [taylor]: Taking taylor expansion of x in x
20.455 * [backup-simplify]: Simplify 0 into 0
20.455 * [backup-simplify]: Simplify 1 into 1
20.456 * [backup-simplify]: Simplify (/ 1 1) into 1
20.456 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.456 * [taylor]: Taking taylor expansion of x in x
20.456 * [backup-simplify]: Simplify 0 into 0
20.456 * [backup-simplify]: Simplify 1 into 1
20.456 * [backup-simplify]: Simplify (/ 1 1) into 1
20.456 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in x
20.461 * [taylor]: Taking taylor expansion of (/ 1 y) in x
20.461 * [taylor]: Taking taylor expansion of y in x
20.461 * [backup-simplify]: Simplify y into y
20.461 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
20.462 * [taylor]: Taking taylor expansion of (/ 1 y) in x
20.462 * [taylor]: Taking taylor expansion of y in x
20.462 * [backup-simplify]: Simplify y into y
20.462 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
20.462 * [backup-simplify]: Simplify (* 1 1) into 1
20.463 * [backup-simplify]: Simplify (+ 1 0) into 1
20.463 * [backup-simplify]: Simplify (sqrt 1) into 1
20.464 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.464 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.465 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.465 * [backup-simplify]: Simplify (+ 0 0) into 0
20.475 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
20.475 * [taylor]: Taking taylor expansion of 1 in y
20.475 * [backup-simplify]: Simplify 1 into 1
20.475 * [taylor]: Taking taylor expansion of 0 in y
20.475 * [backup-simplify]: Simplify 0 into 0
20.475 * [backup-simplify]: Simplify 1 into 1
20.477 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.478 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.479 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.479 * [backup-simplify]: Simplify (* (/ 1 y) (/ 1 y)) into (/ 1 (pow y 2))
20.480 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow y 2))) into (/ 1 (pow y 2))
20.481 * [backup-simplify]: Simplify (/ (- (/ 1 (pow y 2)) (pow 0 2) (+)) (* 2 1)) into (/ 1/2 (pow y 2))
20.482 * [taylor]: Taking taylor expansion of (/ 1/2 (pow y 2)) in y
20.482 * [taylor]: Taking taylor expansion of 1/2 in y
20.482 * [backup-simplify]: Simplify 1/2 into 1/2
20.482 * [taylor]: Taking taylor expansion of (pow y 2) in y
20.482 * [taylor]: Taking taylor expansion of y in y
20.482 * [backup-simplify]: Simplify 0 into 0
20.482 * [backup-simplify]: Simplify 1 into 1
20.482 * [backup-simplify]: Simplify (* 1 1) into 1
20.483 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2
20.484 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.485 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0
20.485 * [backup-simplify]: Simplify 0 into 0
20.485 * [backup-simplify]: Simplify 0 into 0
20.485 * [backup-simplify]: Simplify 0 into 0
20.486 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.486 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.488 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.488 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
20.488 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
20.488 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (* 0 (/ 1 y))) into 0
20.488 * [backup-simplify]: Simplify (+ 0 0) into 0
20.489 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (pow y 2)))))) (* 2 1)) into 0
20.489 * [taylor]: Taking taylor expansion of 0 in y
20.489 * [backup-simplify]: Simplify 0 into 0
20.490 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.491 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.491 * [backup-simplify]: Simplify 0 into 0
20.491 * [backup-simplify]: Simplify 0 into 0
20.491 * [backup-simplify]: Simplify 0 into 0
20.491 * [backup-simplify]: Simplify (* 1 (* 1 (/ 1 (/ 1 x)))) into x
20.492 * [backup-simplify]: Simplify (* (sqrt (hypot (/ 1 (- x)) (/ 1 (- y)))) (sqrt (hypot (/ 1 (- x)) (/ 1 (- y))))) into (hypot (/ -1 x) (/ -1 y))
20.492 * [approximate]: Taking taylor expansion of (hypot (/ -1 x) (/ -1 y)) in (x y) around 0
20.492 * [taylor]: Taking taylor expansion of (hypot (/ -1 x) (/ -1 y)) in y
20.492 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 x) (/ -1 x)) (* (/ -1 y) (/ -1 y))))
20.492 * [taylor]: Taking taylor expansion of (+ (* (/ -1 x) (/ -1 x)) (* (/ -1 y) (/ -1 y))) in y
20.492 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in y
20.492 * [taylor]: Taking taylor expansion of (/ -1 x) in y
20.492 * [taylor]: Taking taylor expansion of -1 in y
20.492 * [backup-simplify]: Simplify -1 into -1
20.492 * [taylor]: Taking taylor expansion of x in y
20.492 * [backup-simplify]: Simplify x into x
20.492 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
20.492 * [taylor]: Taking taylor expansion of (/ -1 x) in y
20.492 * [taylor]: Taking taylor expansion of -1 in y
20.492 * [backup-simplify]: Simplify -1 into -1
20.493 * [taylor]: Taking taylor expansion of x in y
20.493 * [backup-simplify]: Simplify x into x
20.493 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
20.493 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y
20.493 * [taylor]: Taking taylor expansion of (/ -1 y) in y
20.493 * [taylor]: Taking taylor expansion of -1 in y
20.493 * [backup-simplify]: Simplify -1 into -1
20.493 * [taylor]: Taking taylor expansion of y in y
20.493 * [backup-simplify]: Simplify 0 into 0
20.493 * [backup-simplify]: Simplify 1 into 1
20.493 * [backup-simplify]: Simplify (/ -1 1) into -1
20.493 * [taylor]: Taking taylor expansion of (/ -1 y) in y
20.493 * [taylor]: Taking taylor expansion of -1 in y
20.493 * [backup-simplify]: Simplify -1 into -1
20.493 * [taylor]: Taking taylor expansion of y in y
20.493 * [backup-simplify]: Simplify 0 into 0
20.494 * [backup-simplify]: Simplify 1 into 1
20.494 * [backup-simplify]: Simplify (/ -1 1) into -1
20.494 * [backup-simplify]: Simplify (* -1 -1) into 1
20.495 * [backup-simplify]: Simplify (+ 0 1) into 1
20.495 * [backup-simplify]: Simplify (sqrt 1) into 1
20.496 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
20.497 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
20.497 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0
20.498 * [backup-simplify]: Simplify (+ 0 0) into 0
20.498 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
20.498 * [taylor]: Taking taylor expansion of (hypot (/ -1 x) (/ -1 y)) in x
20.498 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 x) (/ -1 x)) (* (/ -1 y) (/ -1 y))))
20.499 * [taylor]: Taking taylor expansion of (+ (* (/ -1 x) (/ -1 x)) (* (/ -1 y) (/ -1 y))) in x
20.499 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
20.499 * [taylor]: Taking taylor expansion of (/ -1 x) in x
20.499 * [taylor]: Taking taylor expansion of -1 in x
20.499 * [backup-simplify]: Simplify -1 into -1
20.499 * [taylor]: Taking taylor expansion of x in x
20.499 * [backup-simplify]: Simplify 0 into 0
20.499 * [backup-simplify]: Simplify 1 into 1
20.499 * [backup-simplify]: Simplify (/ -1 1) into -1
20.499 * [taylor]: Taking taylor expansion of (/ -1 x) in x
20.499 * [taylor]: Taking taylor expansion of -1 in x
20.499 * [backup-simplify]: Simplify -1 into -1
20.499 * [taylor]: Taking taylor expansion of x in x
20.499 * [backup-simplify]: Simplify 0 into 0
20.499 * [backup-simplify]: Simplify 1 into 1
20.499 * [backup-simplify]: Simplify (/ -1 1) into -1
20.499 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in x
20.499 * [taylor]: Taking taylor expansion of (/ -1 y) in x
20.499 * [taylor]: Taking taylor expansion of -1 in x
20.499 * [backup-simplify]: Simplify -1 into -1
20.499 * [taylor]: Taking taylor expansion of y in x
20.499 * [backup-simplify]: Simplify y into y
20.499 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
20.499 * [taylor]: Taking taylor expansion of (/ -1 y) in x
20.499 * [taylor]: Taking taylor expansion of -1 in x
20.499 * [backup-simplify]: Simplify -1 into -1
20.500 * [taylor]: Taking taylor expansion of y in x
20.500 * [backup-simplify]: Simplify y into y
20.500 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
20.500 * [backup-simplify]: Simplify (* -1 -1) into 1
20.500 * [backup-simplify]: Simplify (+ 1 0) into 1
20.500 * [backup-simplify]: Simplify (sqrt 1) into 1
20.501 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
20.501 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
20.502 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0
20.502 * [backup-simplify]: Simplify (+ 0 0) into 0
20.503 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
20.503 * [taylor]: Taking taylor expansion of (hypot (/ -1 x) (/ -1 y)) in x
20.503 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 x) (/ -1 x)) (* (/ -1 y) (/ -1 y))))
20.503 * [taylor]: Taking taylor expansion of (+ (* (/ -1 x) (/ -1 x)) (* (/ -1 y) (/ -1 y))) in x
20.503 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
20.503 * [taylor]: Taking taylor expansion of (/ -1 x) in x
20.503 * [taylor]: Taking taylor expansion of -1 in x
20.503 * [backup-simplify]: Simplify -1 into -1
20.503 * [taylor]: Taking taylor expansion of x in x
20.503 * [backup-simplify]: Simplify 0 into 0
20.503 * [backup-simplify]: Simplify 1 into 1
20.504 * [backup-simplify]: Simplify (/ -1 1) into -1
20.504 * [taylor]: Taking taylor expansion of (/ -1 x) in x
20.504 * [taylor]: Taking taylor expansion of -1 in x
20.504 * [backup-simplify]: Simplify -1 into -1
20.504 * [taylor]: Taking taylor expansion of x in x
20.504 * [backup-simplify]: Simplify 0 into 0
20.504 * [backup-simplify]: Simplify 1 into 1
20.504 * [backup-simplify]: Simplify (/ -1 1) into -1
20.504 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in x
20.504 * [taylor]: Taking taylor expansion of (/ -1 y) in x
20.504 * [taylor]: Taking taylor expansion of -1 in x
20.504 * [backup-simplify]: Simplify -1 into -1
20.504 * [taylor]: Taking taylor expansion of y in x
20.504 * [backup-simplify]: Simplify y into y
20.505 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
20.505 * [taylor]: Taking taylor expansion of (/ -1 y) in x
20.505 * [taylor]: Taking taylor expansion of -1 in x
20.505 * [backup-simplify]: Simplify -1 into -1
20.505 * [taylor]: Taking taylor expansion of y in x
20.505 * [backup-simplify]: Simplify y into y
20.505 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
20.505 * [backup-simplify]: Simplify (* -1 -1) into 1
20.506 * [backup-simplify]: Simplify (+ 1 0) into 1
20.506 * [backup-simplify]: Simplify (sqrt 1) into 1
20.507 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
20.508 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
20.508 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0
20.509 * [backup-simplify]: Simplify (+ 0 0) into 0
20.509 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
20.509 * [taylor]: Taking taylor expansion of 1 in y
20.509 * [backup-simplify]: Simplify 1 into 1
20.509 * [taylor]: Taking taylor expansion of 0 in y
20.509 * [backup-simplify]: Simplify 0 into 0
20.509 * [backup-simplify]: Simplify 1 into 1
20.510 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.511 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.512 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0
20.512 * [backup-simplify]: Simplify (* (/ -1 y) (/ -1 y)) into (/ 1 (pow y 2))
20.513 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow y 2))) into (/ 1 (pow y 2))
20.514 * [backup-simplify]: Simplify (/ (- (/ 1 (pow y 2)) (pow 0 2) (+)) (* 2 1)) into (/ 1/2 (pow y 2))
20.514 * [taylor]: Taking taylor expansion of (/ 1/2 (pow y 2)) in y
20.514 * [taylor]: Taking taylor expansion of 1/2 in y
20.514 * [backup-simplify]: Simplify 1/2 into 1/2
20.514 * [taylor]: Taking taylor expansion of (pow y 2) in y
20.514 * [taylor]: Taking taylor expansion of y in y
20.514 * [backup-simplify]: Simplify 0 into 0
20.514 * [backup-simplify]: Simplify 1 into 1
20.514 * [backup-simplify]: Simplify (* 1 1) into 1
20.515 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2
20.515 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.516 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0
20.516 * [backup-simplify]: Simplify 0 into 0
20.516 * [backup-simplify]: Simplify 0 into 0
20.516 * [backup-simplify]: Simplify 0 into 0
20.517 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.519 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.520 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
20.520 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
20.521 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
20.521 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (* 0 (/ -1 y))) into 0
20.522 * [backup-simplify]: Simplify (+ 0 0) into 0
20.523 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (pow y 2)))))) (* 2 1)) into 0
20.523 * [taylor]: Taking taylor expansion of 0 in y
20.523 * [backup-simplify]: Simplify 0 into 0
20.524 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.525 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.525 * [backup-simplify]: Simplify 0 into 0
20.525 * [backup-simplify]: Simplify 0 into 0
20.525 * [backup-simplify]: Simplify 0 into 0
20.526 * [backup-simplify]: Simplify (* 1 (* 1 (/ 1 (/ 1 (- x))))) into (* -1 x)
20.526 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
20.526 * [backup-simplify]: Simplify (hypot x y) into (hypot x y)
20.526 * [approximate]: Taking taylor expansion of (hypot x y) in (x y) around 0
20.526 * [taylor]: Taking taylor expansion of (hypot x y) in y
20.526 * [taylor]: Rewrote expression to (sqrt (+ (* x x) (* y y)))
20.526 * [taylor]: Taking taylor expansion of (+ (* x x) (* y y)) in y
20.526 * [taylor]: Taking taylor expansion of (* x x) in y
20.526 * [taylor]: Taking taylor expansion of x in y
20.526 * [backup-simplify]: Simplify x into x
20.526 * [taylor]: Taking taylor expansion of x in y
20.526 * [backup-simplify]: Simplify x into x
20.526 * [taylor]: Taking taylor expansion of (* y y) in y
20.526 * [taylor]: Taking taylor expansion of y in y
20.527 * [backup-simplify]: Simplify 0 into 0
20.527 * [backup-simplify]: Simplify 1 into 1
20.527 * [taylor]: Taking taylor expansion of y in y
20.527 * [backup-simplify]: Simplify 0 into 0
20.527 * [backup-simplify]: Simplify 1 into 1
20.527 * [backup-simplify]: Simplify (* x x) into (pow x 2)
20.528 * [backup-simplify]: Simplify (* 0 0) into 0
20.528 * [backup-simplify]: Simplify (+ (pow x 2) 0) into (pow x 2)
20.529 * [backup-simplify]: Simplify (sqrt (pow x 2)) into x
20.529 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
20.530 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
20.536 * [backup-simplify]: Simplify (+ 0 0) into 0
20.536 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow x 2)))) into 0
20.536 * [taylor]: Taking taylor expansion of (hypot x y) in x
20.536 * [taylor]: Rewrote expression to (sqrt (+ (* x x) (* y y)))
20.536 * [taylor]: Taking taylor expansion of (+ (* x x) (* y y)) in x
20.536 * [taylor]: Taking taylor expansion of (* x x) in x
20.536 * [taylor]: Taking taylor expansion of x in x
20.536 * [backup-simplify]: Simplify 0 into 0
20.536 * [backup-simplify]: Simplify 1 into 1
20.544 * [taylor]: Taking taylor expansion of x in x
20.544 * [backup-simplify]: Simplify 0 into 0
20.544 * [backup-simplify]: Simplify 1 into 1
20.544 * [taylor]: Taking taylor expansion of (* y y) in x
20.544 * [taylor]: Taking taylor expansion of y in x
20.544 * [backup-simplify]: Simplify y into y
20.544 * [taylor]: Taking taylor expansion of y in x
20.544 * [backup-simplify]: Simplify y into y
20.545 * [backup-simplify]: Simplify (* 0 0) into 0
20.545 * [backup-simplify]: Simplify (* y y) into (pow y 2)
20.546 * [backup-simplify]: Simplify (+ 0 (pow y 2)) into (pow y 2)
20.546 * [backup-simplify]: Simplify (sqrt (pow y 2)) into y
20.547 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
20.547 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
20.548 * [backup-simplify]: Simplify (+ 0 0) into 0
20.548 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow y 2)))) into 0
20.548 * [taylor]: Taking taylor expansion of (hypot x y) in x
20.548 * [taylor]: Rewrote expression to (sqrt (+ (* x x) (* y y)))
20.548 * [taylor]: Taking taylor expansion of (+ (* x x) (* y y)) in x
20.548 * [taylor]: Taking taylor expansion of (* x x) in x
20.548 * [taylor]: Taking taylor expansion of x in x
20.548 * [backup-simplify]: Simplify 0 into 0
20.548 * [backup-simplify]: Simplify 1 into 1
20.548 * [taylor]: Taking taylor expansion of x in x
20.548 * [backup-simplify]: Simplify 0 into 0
20.549 * [backup-simplify]: Simplify 1 into 1
20.549 * [taylor]: Taking taylor expansion of (* y y) in x
20.549 * [taylor]: Taking taylor expansion of y in x
20.549 * [backup-simplify]: Simplify y into y
20.549 * [taylor]: Taking taylor expansion of y in x
20.549 * [backup-simplify]: Simplify y into y
20.564 * [backup-simplify]: Simplify (* 0 0) into 0
20.564 * [backup-simplify]: Simplify (* y y) into (pow y 2)
20.565 * [backup-simplify]: Simplify (+ 0 (pow y 2)) into (pow y 2)
20.565 * [backup-simplify]: Simplify (sqrt (pow y 2)) into y
20.570 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
20.570 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
20.571 * [backup-simplify]: Simplify (+ 0 0) into 0
20.571 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow y 2)))) into 0
20.571 * [taylor]: Taking taylor expansion of y in y
20.571 * [backup-simplify]: Simplify 0 into 0
20.571 * [backup-simplify]: Simplify 1 into 1
20.571 * [backup-simplify]: Simplify 0 into 0
20.571 * [taylor]: Taking taylor expansion of 0 in y
20.571 * [backup-simplify]: Simplify 0 into 0
20.571 * [backup-simplify]: Simplify 0 into 0
20.571 * [backup-simplify]: Simplify 1 into 1
20.572 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
20.573 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
20.573 * [backup-simplify]: Simplify (+ 1 0) into 1
20.574 * [backup-simplify]: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 y)) into (/ 1/2 y)
20.574 * [taylor]: Taking taylor expansion of (/ 1/2 y) in y
20.574 * [taylor]: Taking taylor expansion of 1/2 in y
20.574 * [backup-simplify]: Simplify 1/2 into 1/2
20.574 * [taylor]: Taking taylor expansion of y in y
20.574 * [backup-simplify]: Simplify 0 into 0
20.574 * [backup-simplify]: Simplify 1 into 1
20.592 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2
20.593 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0
20.593 * [backup-simplify]: Simplify 0 into 0
20.593 * [backup-simplify]: Simplify 0 into 0
20.593 * [backup-simplify]: Simplify 0 into 0
20.594 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
20.602 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
20.603 * [backup-simplify]: Simplify (+ 0 0) into 0
20.603 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 y))))) (* 2 y)) into 0
20.603 * [taylor]: Taking taylor expansion of 0 in y
20.603 * [backup-simplify]: Simplify 0 into 0
20.603 * [backup-simplify]: Simplify 0 into 0
20.604 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.604 * [backup-simplify]: Simplify 0 into 0
20.604 * [backup-simplify]: Simplify 0 into 0
20.604 * [backup-simplify]: Simplify (* 1 (* y 1)) into y
20.604 * [backup-simplify]: Simplify (hypot (/ 1 x) (/ 1 y)) into (hypot (/ 1 x) (/ 1 y))
20.604 * [approximate]: Taking taylor expansion of (hypot (/ 1 x) (/ 1 y)) in (x y) around 0
20.604 * [taylor]: Taking taylor expansion of (hypot (/ 1 x) (/ 1 y)) in y
20.604 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y))))
20.605 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y))) in y
20.605 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in y
20.605 * [taylor]: Taking taylor expansion of (/ 1 x) in y
20.605 * [taylor]: Taking taylor expansion of x in y
20.605 * [backup-simplify]: Simplify x into x
20.605 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
20.605 * [taylor]: Taking taylor expansion of (/ 1 x) in y
20.605 * [taylor]: Taking taylor expansion of x in y
20.605 * [backup-simplify]: Simplify x into x
20.605 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
20.605 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y
20.605 * [taylor]: Taking taylor expansion of (/ 1 y) in y
20.605 * [taylor]: Taking taylor expansion of y in y
20.605 * [backup-simplify]: Simplify 0 into 0
20.605 * [backup-simplify]: Simplify 1 into 1
20.605 * [backup-simplify]: Simplify (/ 1 1) into 1
20.605 * [taylor]: Taking taylor expansion of (/ 1 y) in y
20.605 * [taylor]: Taking taylor expansion of y in y
20.605 * [backup-simplify]: Simplify 0 into 0
20.606 * [backup-simplify]: Simplify 1 into 1
20.606 * [backup-simplify]: Simplify (/ 1 1) into 1
20.606 * [backup-simplify]: Simplify (* 1 1) into 1
20.607 * [backup-simplify]: Simplify (+ 0 1) into 1
20.607 * [backup-simplify]: Simplify (sqrt 1) into 1
20.631 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.631 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.632 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.632 * [backup-simplify]: Simplify (+ 0 0) into 0
20.633 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
20.633 * [taylor]: Taking taylor expansion of (hypot (/ 1 x) (/ 1 y)) in x
20.633 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y))))
20.633 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y))) in x
20.633 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
20.633 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.633 * [taylor]: Taking taylor expansion of x in x
20.633 * [backup-simplify]: Simplify 0 into 0
20.633 * [backup-simplify]: Simplify 1 into 1
20.634 * [backup-simplify]: Simplify (/ 1 1) into 1
20.634 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.634 * [taylor]: Taking taylor expansion of x in x
20.634 * [backup-simplify]: Simplify 0 into 0
20.634 * [backup-simplify]: Simplify 1 into 1
20.634 * [backup-simplify]: Simplify (/ 1 1) into 1
20.634 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in x
20.634 * [taylor]: Taking taylor expansion of (/ 1 y) in x
20.634 * [taylor]: Taking taylor expansion of y in x
20.634 * [backup-simplify]: Simplify y into y
20.634 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
20.634 * [taylor]: Taking taylor expansion of (/ 1 y) in x
20.635 * [taylor]: Taking taylor expansion of y in x
20.635 * [backup-simplify]: Simplify y into y
20.635 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
20.635 * [backup-simplify]: Simplify (* 1 1) into 1
20.635 * [backup-simplify]: Simplify (+ 1 0) into 1
20.636 * [backup-simplify]: Simplify (sqrt 1) into 1
20.636 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.637 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.638 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.639 * [backup-simplify]: Simplify (+ 0 0) into 0
20.639 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
20.639 * [taylor]: Taking taylor expansion of (hypot (/ 1 x) (/ 1 y)) in x
20.640 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y))))
20.640 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y))) in x
20.640 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
20.640 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.640 * [taylor]: Taking taylor expansion of x in x
20.640 * [backup-simplify]: Simplify 0 into 0
20.640 * [backup-simplify]: Simplify 1 into 1
20.640 * [backup-simplify]: Simplify (/ 1 1) into 1
20.640 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.640 * [taylor]: Taking taylor expansion of x in x
20.640 * [backup-simplify]: Simplify 0 into 0
20.640 * [backup-simplify]: Simplify 1 into 1
20.640 * [backup-simplify]: Simplify (/ 1 1) into 1
20.640 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in x
20.641 * [taylor]: Taking taylor expansion of (/ 1 y) in x
20.641 * [taylor]: Taking taylor expansion of y in x
20.641 * [backup-simplify]: Simplify y into y
20.641 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
20.641 * [taylor]: Taking taylor expansion of (/ 1 y) in x
20.641 * [taylor]: Taking taylor expansion of y in x
20.641 * [backup-simplify]: Simplify y into y
20.641 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
20.641 * [backup-simplify]: Simplify (* 1 1) into 1
20.641 * [backup-simplify]: Simplify (+ 1 0) into 1
20.642 * [backup-simplify]: Simplify (sqrt 1) into 1
20.643 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.643 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.644 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.644 * [backup-simplify]: Simplify (+ 0 0) into 0
20.645 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
20.645 * [taylor]: Taking taylor expansion of 1 in y
20.645 * [backup-simplify]: Simplify 1 into 1
20.645 * [taylor]: Taking taylor expansion of 0 in y
20.645 * [backup-simplify]: Simplify 0 into 0
20.645 * [backup-simplify]: Simplify 1 into 1
20.647 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.648 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.648 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.649 * [backup-simplify]: Simplify (* (/ 1 y) (/ 1 y)) into (/ 1 (pow y 2))
20.649 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow y 2))) into (/ 1 (pow y 2))
20.650 * [backup-simplify]: Simplify (/ (- (/ 1 (pow y 2)) (pow 0 2) (+)) (* 2 1)) into (/ 1/2 (pow y 2))
20.650 * [taylor]: Taking taylor expansion of (/ 1/2 (pow y 2)) in y
20.650 * [taylor]: Taking taylor expansion of 1/2 in y
20.650 * [backup-simplify]: Simplify 1/2 into 1/2
20.650 * [taylor]: Taking taylor expansion of (pow y 2) in y
20.650 * [taylor]: Taking taylor expansion of y in y
20.650 * [backup-simplify]: Simplify 0 into 0
20.650 * [backup-simplify]: Simplify 1 into 1
20.651 * [backup-simplify]: Simplify (* 1 1) into 1
20.651 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2
20.652 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.653 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0
20.653 * [backup-simplify]: Simplify 0 into 0
20.653 * [backup-simplify]: Simplify 0 into 0
20.653 * [backup-simplify]: Simplify 0 into 0
20.654 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.655 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.656 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.656 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
20.656 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
20.656 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (* 0 (/ 1 y))) into 0
20.657 * [backup-simplify]: Simplify (+ 0 0) into 0
20.657 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (pow y 2)))))) (* 2 1)) into 0
20.657 * [taylor]: Taking taylor expansion of 0 in y
20.657 * [backup-simplify]: Simplify 0 into 0
20.658 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.659 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.659 * [backup-simplify]: Simplify 0 into 0
20.659 * [backup-simplify]: Simplify 0 into 0
20.659 * [backup-simplify]: Simplify 0 into 0
20.660 * [backup-simplify]: Simplify (* 1 (* 1 (/ 1 (/ 1 x)))) into x
20.660 * [backup-simplify]: Simplify (hypot (/ 1 (- x)) (/ 1 (- y))) into (hypot (/ -1 x) (/ -1 y))
20.660 * [approximate]: Taking taylor expansion of (hypot (/ -1 x) (/ -1 y)) in (x y) around 0
20.660 * [taylor]: Taking taylor expansion of (hypot (/ -1 x) (/ -1 y)) in y
20.660 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 x) (/ -1 x)) (* (/ -1 y) (/ -1 y))))
20.660 * [taylor]: Taking taylor expansion of (+ (* (/ -1 x) (/ -1 x)) (* (/ -1 y) (/ -1 y))) in y
20.660 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in y
20.660 * [taylor]: Taking taylor expansion of (/ -1 x) in y
20.660 * [taylor]: Taking taylor expansion of -1 in y
20.660 * [backup-simplify]: Simplify -1 into -1
20.660 * [taylor]: Taking taylor expansion of x in y
20.660 * [backup-simplify]: Simplify x into x
20.660 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
20.660 * [taylor]: Taking taylor expansion of (/ -1 x) in y
20.660 * [taylor]: Taking taylor expansion of -1 in y
20.660 * [backup-simplify]: Simplify -1 into -1
20.660 * [taylor]: Taking taylor expansion of x in y
20.660 * [backup-simplify]: Simplify x into x
20.660 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
20.660 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y
20.660 * [taylor]: Taking taylor expansion of (/ -1 y) in y
20.661 * [taylor]: Taking taylor expansion of -1 in y
20.661 * [backup-simplify]: Simplify -1 into -1
20.661 * [taylor]: Taking taylor expansion of y in y
20.661 * [backup-simplify]: Simplify 0 into 0
20.661 * [backup-simplify]: Simplify 1 into 1
20.661 * [backup-simplify]: Simplify (/ -1 1) into -1
20.661 * [taylor]: Taking taylor expansion of (/ -1 y) in y
20.661 * [taylor]: Taking taylor expansion of -1 in y
20.661 * [backup-simplify]: Simplify -1 into -1
20.661 * [taylor]: Taking taylor expansion of y in y
20.661 * [backup-simplify]: Simplify 0 into 0
20.661 * [backup-simplify]: Simplify 1 into 1
20.662 * [backup-simplify]: Simplify (/ -1 1) into -1
20.662 * [backup-simplify]: Simplify (* -1 -1) into 1
20.663 * [backup-simplify]: Simplify (+ 0 1) into 1
20.663 * [backup-simplify]: Simplify (sqrt 1) into 1
20.664 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
20.691 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
20.692 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0
20.693 * [backup-simplify]: Simplify (+ 0 0) into 0
20.694 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
20.694 * [taylor]: Taking taylor expansion of (hypot (/ -1 x) (/ -1 y)) in x
20.718 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 x) (/ -1 x)) (* (/ -1 y) (/ -1 y))))
20.718 * [taylor]: Taking taylor expansion of (+ (* (/ -1 x) (/ -1 x)) (* (/ -1 y) (/ -1 y))) in x
20.718 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
20.718 * [taylor]: Taking taylor expansion of (/ -1 x) in x
20.718 * [taylor]: Taking taylor expansion of -1 in x
20.718 * [backup-simplify]: Simplify -1 into -1
20.718 * [taylor]: Taking taylor expansion of x in x
20.718 * [backup-simplify]: Simplify 0 into 0
20.718 * [backup-simplify]: Simplify 1 into 1
20.719 * [backup-simplify]: Simplify (/ -1 1) into -1
20.719 * [taylor]: Taking taylor expansion of (/ -1 x) in x
20.719 * [taylor]: Taking taylor expansion of -1 in x
20.719 * [backup-simplify]: Simplify -1 into -1
20.719 * [taylor]: Taking taylor expansion of x in x
20.719 * [backup-simplify]: Simplify 0 into 0
20.719 * [backup-simplify]: Simplify 1 into 1
20.719 * [backup-simplify]: Simplify (/ -1 1) into -1
20.719 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in x
20.720 * [taylor]: Taking taylor expansion of (/ -1 y) in x
20.720 * [taylor]: Taking taylor expansion of -1 in x
20.720 * [backup-simplify]: Simplify -1 into -1
20.720 * [taylor]: Taking taylor expansion of y in x
20.720 * [backup-simplify]: Simplify y into y
20.720 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
20.720 * [taylor]: Taking taylor expansion of (/ -1 y) in x
20.720 * [taylor]: Taking taylor expansion of -1 in x
20.720 * [backup-simplify]: Simplify -1 into -1
20.720 * [taylor]: Taking taylor expansion of y in x
20.720 * [backup-simplify]: Simplify y into y
20.720 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
20.720 * [backup-simplify]: Simplify (* -1 -1) into 1
20.721 * [backup-simplify]: Simplify (+ 1 0) into 1
20.721 * [backup-simplify]: Simplify (sqrt 1) into 1
20.723 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
20.724 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
20.724 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0
20.725 * [backup-simplify]: Simplify (+ 0 0) into 0
20.726 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
20.726 * [taylor]: Taking taylor expansion of (hypot (/ -1 x) (/ -1 y)) in x
20.726 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 x) (/ -1 x)) (* (/ -1 y) (/ -1 y))))
20.726 * [taylor]: Taking taylor expansion of (+ (* (/ -1 x) (/ -1 x)) (* (/ -1 y) (/ -1 y))) in x
20.726 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
20.726 * [taylor]: Taking taylor expansion of (/ -1 x) in x
20.726 * [taylor]: Taking taylor expansion of -1 in x
20.726 * [backup-simplify]: Simplify -1 into -1
20.726 * [taylor]: Taking taylor expansion of x in x
20.726 * [backup-simplify]: Simplify 0 into 0
20.726 * [backup-simplify]: Simplify 1 into 1
20.727 * [backup-simplify]: Simplify (/ -1 1) into -1
20.727 * [taylor]: Taking taylor expansion of (/ -1 x) in x
20.727 * [taylor]: Taking taylor expansion of -1 in x
20.727 * [backup-simplify]: Simplify -1 into -1
20.727 * [taylor]: Taking taylor expansion of x in x
20.727 * [backup-simplify]: Simplify 0 into 0
20.727 * [backup-simplify]: Simplify 1 into 1
20.728 * [backup-simplify]: Simplify (/ -1 1) into -1
20.728 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in x
20.728 * [taylor]: Taking taylor expansion of (/ -1 y) in x
20.728 * [taylor]: Taking taylor expansion of -1 in x
20.728 * [backup-simplify]: Simplify -1 into -1
20.728 * [taylor]: Taking taylor expansion of y in x
20.728 * [backup-simplify]: Simplify y into y
20.728 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
20.728 * [taylor]: Taking taylor expansion of (/ -1 y) in x
20.728 * [taylor]: Taking taylor expansion of -1 in x
20.728 * [backup-simplify]: Simplify -1 into -1
20.728 * [taylor]: Taking taylor expansion of y in x
20.728 * [backup-simplify]: Simplify y into y
20.728 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
20.728 * [backup-simplify]: Simplify (* -1 -1) into 1
20.729 * [backup-simplify]: Simplify (+ 1 0) into 1
20.729 * [backup-simplify]: Simplify (sqrt 1) into 1
20.730 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
20.731 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
20.732 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0
20.732 * [backup-simplify]: Simplify (+ 0 0) into 0
20.733 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
20.733 * [taylor]: Taking taylor expansion of 1 in y
20.733 * [backup-simplify]: Simplify 1 into 1
20.733 * [taylor]: Taking taylor expansion of 0 in y
20.733 * [backup-simplify]: Simplify 0 into 0
20.733 * [backup-simplify]: Simplify 1 into 1
20.734 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.735 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.736 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0
20.736 * [backup-simplify]: Simplify (* (/ -1 y) (/ -1 y)) into (/ 1 (pow y 2))
20.736 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow y 2))) into (/ 1 (pow y 2))
20.738 * [backup-simplify]: Simplify (/ (- (/ 1 (pow y 2)) (pow 0 2) (+)) (* 2 1)) into (/ 1/2 (pow y 2))
20.738 * [taylor]: Taking taylor expansion of (/ 1/2 (pow y 2)) in y
20.738 * [taylor]: Taking taylor expansion of 1/2 in y
20.738 * [backup-simplify]: Simplify 1/2 into 1/2
20.738 * [taylor]: Taking taylor expansion of (pow y 2) in y
20.738 * [taylor]: Taking taylor expansion of y in y
20.738 * [backup-simplify]: Simplify 0 into 0
20.738 * [backup-simplify]: Simplify 1 into 1
20.744 * [backup-simplify]: Simplify (* 1 1) into 1
20.745 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2
20.745 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.746 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0
20.746 * [backup-simplify]: Simplify 0 into 0
20.747 * [backup-simplify]: Simplify 0 into 0
20.747 * [backup-simplify]: Simplify 0 into 0
20.748 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.749 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.762 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
20.763 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
20.763 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
20.763 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (* 0 (/ -1 y))) into 0
20.763 * [backup-simplify]: Simplify (+ 0 0) into 0
20.764 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (pow y 2)))))) (* 2 1)) into 0
20.764 * [taylor]: Taking taylor expansion of 0 in y
20.764 * [backup-simplify]: Simplify 0 into 0
20.765 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.766 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.766 * [backup-simplify]: Simplify 0 into 0
20.766 * [backup-simplify]: Simplify 0 into 0
20.766 * [backup-simplify]: Simplify 0 into 0
20.767 * [backup-simplify]: Simplify (* 1 (* 1 (/ 1 (/ 1 (- x))))) into (* -1 x)
20.767 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
20.767 * [backup-simplify]: Simplify (hypot x y) into (hypot x y)
20.767 * [approximate]: Taking taylor expansion of (hypot x y) in (x y) around 0
20.767 * [taylor]: Taking taylor expansion of (hypot x y) in y
20.767 * [taylor]: Rewrote expression to (sqrt (+ (* x x) (* y y)))
20.767 * [taylor]: Taking taylor expansion of (+ (* x x) (* y y)) in y
20.767 * [taylor]: Taking taylor expansion of (* x x) in y
20.767 * [taylor]: Taking taylor expansion of x in y
20.767 * [backup-simplify]: Simplify x into x
20.767 * [taylor]: Taking taylor expansion of x in y
20.767 * [backup-simplify]: Simplify x into x
20.767 * [taylor]: Taking taylor expansion of (* y y) in y
20.767 * [taylor]: Taking taylor expansion of y in y
20.767 * [backup-simplify]: Simplify 0 into 0
20.768 * [backup-simplify]: Simplify 1 into 1
20.768 * [taylor]: Taking taylor expansion of y in y
20.768 * [backup-simplify]: Simplify 0 into 0
20.768 * [backup-simplify]: Simplify 1 into 1
20.768 * [backup-simplify]: Simplify (* x x) into (pow x 2)
20.769 * [backup-simplify]: Simplify (* 0 0) into 0
20.769 * [backup-simplify]: Simplify (+ (pow x 2) 0) into (pow x 2)
20.769 * [backup-simplify]: Simplify (sqrt (pow x 2)) into x
20.769 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
20.771 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
20.772 * [backup-simplify]: Simplify (+ 0 0) into 0
20.772 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow x 2)))) into 0
20.772 * [taylor]: Taking taylor expansion of (hypot x y) in x
20.772 * [taylor]: Rewrote expression to (sqrt (+ (* x x) (* y y)))
20.772 * [taylor]: Taking taylor expansion of (+ (* x x) (* y y)) in x
20.772 * [taylor]: Taking taylor expansion of (* x x) in x
20.772 * [taylor]: Taking taylor expansion of x in x
20.772 * [backup-simplify]: Simplify 0 into 0
20.772 * [backup-simplify]: Simplify 1 into 1
20.772 * [taylor]: Taking taylor expansion of x in x
20.773 * [backup-simplify]: Simplify 0 into 0
20.773 * [backup-simplify]: Simplify 1 into 1
20.773 * [taylor]: Taking taylor expansion of (* y y) in x
20.773 * [taylor]: Taking taylor expansion of y in x
20.773 * [backup-simplify]: Simplify y into y
20.773 * [taylor]: Taking taylor expansion of y in x
20.773 * [backup-simplify]: Simplify y into y
20.773 * [backup-simplify]: Simplify (* 0 0) into 0
20.773 * [backup-simplify]: Simplify (* y y) into (pow y 2)
20.773 * [backup-simplify]: Simplify (+ 0 (pow y 2)) into (pow y 2)
20.773 * [backup-simplify]: Simplify (sqrt (pow y 2)) into y
20.774 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
20.774 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
20.775 * [backup-simplify]: Simplify (+ 0 0) into 0
20.775 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow y 2)))) into 0
20.775 * [taylor]: Taking taylor expansion of (hypot x y) in x
20.775 * [taylor]: Rewrote expression to (sqrt (+ (* x x) (* y y)))
20.775 * [taylor]: Taking taylor expansion of (+ (* x x) (* y y)) in x
20.775 * [taylor]: Taking taylor expansion of (* x x) in x
20.775 * [taylor]: Taking taylor expansion of x in x
20.775 * [backup-simplify]: Simplify 0 into 0
20.775 * [backup-simplify]: Simplify 1 into 1
20.775 * [taylor]: Taking taylor expansion of x in x
20.775 * [backup-simplify]: Simplify 0 into 0
20.775 * [backup-simplify]: Simplify 1 into 1
20.775 * [taylor]: Taking taylor expansion of (* y y) in x
20.775 * [taylor]: Taking taylor expansion of y in x
20.776 * [backup-simplify]: Simplify y into y
20.776 * [taylor]: Taking taylor expansion of y in x
20.776 * [backup-simplify]: Simplify y into y
20.776 * [backup-simplify]: Simplify (* 0 0) into 0
20.776 * [backup-simplify]: Simplify (* y y) into (pow y 2)
20.776 * [backup-simplify]: Simplify (+ 0 (pow y 2)) into (pow y 2)
20.776 * [backup-simplify]: Simplify (sqrt (pow y 2)) into y
20.777 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
20.777 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
20.777 * [backup-simplify]: Simplify (+ 0 0) into 0
20.778 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow y 2)))) into 0
20.778 * [taylor]: Taking taylor expansion of y in y
20.778 * [backup-simplify]: Simplify 0 into 0
20.778 * [backup-simplify]: Simplify 1 into 1
20.778 * [backup-simplify]: Simplify 0 into 0
20.778 * [taylor]: Taking taylor expansion of 0 in y
20.778 * [backup-simplify]: Simplify 0 into 0
20.778 * [backup-simplify]: Simplify 0 into 0
20.778 * [backup-simplify]: Simplify 1 into 1
20.787 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
20.788 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
20.788 * [backup-simplify]: Simplify (+ 1 0) into 1
20.789 * [backup-simplify]: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 y)) into (/ 1/2 y)
20.789 * [taylor]: Taking taylor expansion of (/ 1/2 y) in y
20.789 * [taylor]: Taking taylor expansion of 1/2 in y
20.789 * [backup-simplify]: Simplify 1/2 into 1/2
20.789 * [taylor]: Taking taylor expansion of y in y
20.789 * [backup-simplify]: Simplify 0 into 0
20.789 * [backup-simplify]: Simplify 1 into 1
20.789 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2
20.790 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0
20.790 * [backup-simplify]: Simplify 0 into 0
20.790 * [backup-simplify]: Simplify 0 into 0
20.790 * [backup-simplify]: Simplify 0 into 0
20.791 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
20.792 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
20.793 * [backup-simplify]: Simplify (+ 0 0) into 0
20.793 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 y))))) (* 2 y)) into 0
20.793 * [taylor]: Taking taylor expansion of 0 in y
20.793 * [backup-simplify]: Simplify 0 into 0
20.793 * [backup-simplify]: Simplify 0 into 0
20.794 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.799 * [backup-simplify]: Simplify 0 into 0
20.799 * [backup-simplify]: Simplify 0 into 0
20.799 * [backup-simplify]: Simplify (* 1 (* y 1)) into y
20.800 * [backup-simplify]: Simplify (hypot (/ 1 x) (/ 1 y)) into (hypot (/ 1 x) (/ 1 y))
20.800 * [approximate]: Taking taylor expansion of (hypot (/ 1 x) (/ 1 y)) in (x y) around 0
20.800 * [taylor]: Taking taylor expansion of (hypot (/ 1 x) (/ 1 y)) in y
20.800 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y))))
20.800 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y))) in y
20.800 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in y
20.800 * [taylor]: Taking taylor expansion of (/ 1 x) in y
20.800 * [taylor]: Taking taylor expansion of x in y
20.800 * [backup-simplify]: Simplify x into x
20.800 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
20.800 * [taylor]: Taking taylor expansion of (/ 1 x) in y
20.800 * [taylor]: Taking taylor expansion of x in y
20.800 * [backup-simplify]: Simplify x into x
20.800 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
20.800 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y
20.800 * [taylor]: Taking taylor expansion of (/ 1 y) in y
20.800 * [taylor]: Taking taylor expansion of y in y
20.800 * [backup-simplify]: Simplify 0 into 0
20.800 * [backup-simplify]: Simplify 1 into 1
20.801 * [backup-simplify]: Simplify (/ 1 1) into 1
20.801 * [taylor]: Taking taylor expansion of (/ 1 y) in y
20.801 * [taylor]: Taking taylor expansion of y in y
20.801 * [backup-simplify]: Simplify 0 into 0
20.801 * [backup-simplify]: Simplify 1 into 1
20.801 * [backup-simplify]: Simplify (/ 1 1) into 1
20.802 * [backup-simplify]: Simplify (* 1 1) into 1
20.802 * [backup-simplify]: Simplify (+ 0 1) into 1
20.803 * [backup-simplify]: Simplify (sqrt 1) into 1
20.803 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.804 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.805 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.805 * [backup-simplify]: Simplify (+ 0 0) into 0
20.806 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
20.806 * [taylor]: Taking taylor expansion of (hypot (/ 1 x) (/ 1 y)) in x
20.814 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y))))
20.814 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y))) in x
20.814 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
20.814 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.814 * [taylor]: Taking taylor expansion of x in x
20.814 * [backup-simplify]: Simplify 0 into 0
20.814 * [backup-simplify]: Simplify 1 into 1
20.815 * [backup-simplify]: Simplify (/ 1 1) into 1
20.815 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.815 * [taylor]: Taking taylor expansion of x in x
20.815 * [backup-simplify]: Simplify 0 into 0
20.815 * [backup-simplify]: Simplify 1 into 1
20.815 * [backup-simplify]: Simplify (/ 1 1) into 1
20.816 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in x
20.816 * [taylor]: Taking taylor expansion of (/ 1 y) in x
20.816 * [taylor]: Taking taylor expansion of y in x
20.816 * [backup-simplify]: Simplify y into y
20.816 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
20.816 * [taylor]: Taking taylor expansion of (/ 1 y) in x
20.816 * [taylor]: Taking taylor expansion of y in x
20.816 * [backup-simplify]: Simplify y into y
20.816 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
20.816 * [backup-simplify]: Simplify (* 1 1) into 1
20.817 * [backup-simplify]: Simplify (+ 1 0) into 1
20.817 * [backup-simplify]: Simplify (sqrt 1) into 1
20.818 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.819 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.819 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.820 * [backup-simplify]: Simplify (+ 0 0) into 0
20.820 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
20.820 * [taylor]: Taking taylor expansion of (hypot (/ 1 x) (/ 1 y)) in x
20.821 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y))))
20.821 * [taylor]: Taking taylor expansion of (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y))) in x
20.821 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
20.821 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.821 * [taylor]: Taking taylor expansion of x in x
20.821 * [backup-simplify]: Simplify 0 into 0
20.821 * [backup-simplify]: Simplify 1 into 1
20.821 * [backup-simplify]: Simplify (/ 1 1) into 1
20.821 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.821 * [taylor]: Taking taylor expansion of x in x
20.821 * [backup-simplify]: Simplify 0 into 0
20.821 * [backup-simplify]: Simplify 1 into 1
20.822 * [backup-simplify]: Simplify (/ 1 1) into 1
20.822 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in x
20.822 * [taylor]: Taking taylor expansion of (/ 1 y) in x
20.822 * [taylor]: Taking taylor expansion of y in x
20.822 * [backup-simplify]: Simplify y into y
20.822 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
20.822 * [taylor]: Taking taylor expansion of (/ 1 y) in x
20.822 * [taylor]: Taking taylor expansion of y in x
20.822 * [backup-simplify]: Simplify y into y
20.822 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
20.827 * [backup-simplify]: Simplify (* 1 1) into 1
20.828 * [backup-simplify]: Simplify (+ 1 0) into 1
20.828 * [backup-simplify]: Simplify (sqrt 1) into 1
20.829 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.830 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.830 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.831 * [backup-simplify]: Simplify (+ 0 0) into 0
20.832 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
20.832 * [taylor]: Taking taylor expansion of 1 in y
20.832 * [backup-simplify]: Simplify 1 into 1
20.832 * [taylor]: Taking taylor expansion of 0 in y
20.832 * [backup-simplify]: Simplify 0 into 0
20.832 * [backup-simplify]: Simplify 1 into 1
20.833 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.834 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.835 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.835 * [backup-simplify]: Simplify (* (/ 1 y) (/ 1 y)) into (/ 1 (pow y 2))
20.835 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow y 2))) into (/ 1 (pow y 2))
20.837 * [backup-simplify]: Simplify (/ (- (/ 1 (pow y 2)) (pow 0 2) (+)) (* 2 1)) into (/ 1/2 (pow y 2))
20.837 * [taylor]: Taking taylor expansion of (/ 1/2 (pow y 2)) in y
20.837 * [taylor]: Taking taylor expansion of 1/2 in y
20.837 * [backup-simplify]: Simplify 1/2 into 1/2
20.837 * [taylor]: Taking taylor expansion of (pow y 2) in y
20.837 * [taylor]: Taking taylor expansion of y in y
20.837 * [backup-simplify]: Simplify 0 into 0
20.837 * [backup-simplify]: Simplify 1 into 1
20.838 * [backup-simplify]: Simplify (* 1 1) into 1
20.838 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2
20.839 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.840 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0
20.840 * [backup-simplify]: Simplify 0 into 0
20.840 * [backup-simplify]: Simplify 0 into 0
20.840 * [backup-simplify]: Simplify 0 into 0
20.841 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.842 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.843 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.843 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
20.844 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
20.844 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (* 0 (/ 1 y))) into 0
20.844 * [backup-simplify]: Simplify (+ 0 0) into 0
20.845 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (pow y 2)))))) (* 2 1)) into 0
20.845 * [taylor]: Taking taylor expansion of 0 in y
20.845 * [backup-simplify]: Simplify 0 into 0
20.846 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.848 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.848 * [backup-simplify]: Simplify 0 into 0
20.848 * [backup-simplify]: Simplify 0 into 0
20.848 * [backup-simplify]: Simplify 0 into 0
20.848 * [backup-simplify]: Simplify (* 1 (* 1 (/ 1 (/ 1 x)))) into x
20.848 * [backup-simplify]: Simplify (hypot (/ 1 (- x)) (/ 1 (- y))) into (hypot (/ -1 x) (/ -1 y))
20.849 * [approximate]: Taking taylor expansion of (hypot (/ -1 x) (/ -1 y)) in (x y) around 0
20.849 * [taylor]: Taking taylor expansion of (hypot (/ -1 x) (/ -1 y)) in y
20.849 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 x) (/ -1 x)) (* (/ -1 y) (/ -1 y))))
20.849 * [taylor]: Taking taylor expansion of (+ (* (/ -1 x) (/ -1 x)) (* (/ -1 y) (/ -1 y))) in y
20.849 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in y
20.849 * [taylor]: Taking taylor expansion of (/ -1 x) in y
20.849 * [taylor]: Taking taylor expansion of -1 in y
20.849 * [backup-simplify]: Simplify -1 into -1
20.849 * [taylor]: Taking taylor expansion of x in y
20.849 * [backup-simplify]: Simplify x into x
20.849 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
20.849 * [taylor]: Taking taylor expansion of (/ -1 x) in y
20.849 * [taylor]: Taking taylor expansion of -1 in y
20.849 * [backup-simplify]: Simplify -1 into -1
20.849 * [taylor]: Taking taylor expansion of x in y
20.849 * [backup-simplify]: Simplify x into x
20.849 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
20.849 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y
20.849 * [taylor]: Taking taylor expansion of (/ -1 y) in y
20.849 * [taylor]: Taking taylor expansion of -1 in y
20.849 * [backup-simplify]: Simplify -1 into -1
20.849 * [taylor]: Taking taylor expansion of y in y
20.849 * [backup-simplify]: Simplify 0 into 0
20.849 * [backup-simplify]: Simplify 1 into 1
20.850 * [backup-simplify]: Simplify (/ -1 1) into -1
20.850 * [taylor]: Taking taylor expansion of (/ -1 y) in y
20.850 * [taylor]: Taking taylor expansion of -1 in y
20.850 * [backup-simplify]: Simplify -1 into -1
20.850 * [taylor]: Taking taylor expansion of y in y
20.850 * [backup-simplify]: Simplify 0 into 0
20.850 * [backup-simplify]: Simplify 1 into 1
20.851 * [backup-simplify]: Simplify (/ -1 1) into -1
20.851 * [backup-simplify]: Simplify (* -1 -1) into 1
20.851 * [backup-simplify]: Simplify (+ 0 1) into 1
20.852 * [backup-simplify]: Simplify (sqrt 1) into 1
20.853 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
20.853 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
20.854 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0
20.854 * [backup-simplify]: Simplify (+ 0 0) into 0
20.855 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
20.855 * [taylor]: Taking taylor expansion of (hypot (/ -1 x) (/ -1 y)) in x
20.855 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 x) (/ -1 x)) (* (/ -1 y) (/ -1 y))))
20.855 * [taylor]: Taking taylor expansion of (+ (* (/ -1 x) (/ -1 x)) (* (/ -1 y) (/ -1 y))) in x
20.855 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
20.855 * [taylor]: Taking taylor expansion of (/ -1 x) in x
20.856 * [taylor]: Taking taylor expansion of -1 in x
20.856 * [backup-simplify]: Simplify -1 into -1
20.856 * [taylor]: Taking taylor expansion of x in x
20.856 * [backup-simplify]: Simplify 0 into 0
20.856 * [backup-simplify]: Simplify 1 into 1
20.856 * [backup-simplify]: Simplify (/ -1 1) into -1
20.856 * [taylor]: Taking taylor expansion of (/ -1 x) in x
20.856 * [taylor]: Taking taylor expansion of -1 in x
20.856 * [backup-simplify]: Simplify -1 into -1
20.856 * [taylor]: Taking taylor expansion of x in x
20.856 * [backup-simplify]: Simplify 0 into 0
20.856 * [backup-simplify]: Simplify 1 into 1
20.857 * [backup-simplify]: Simplify (/ -1 1) into -1
20.857 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in x
20.857 * [taylor]: Taking taylor expansion of (/ -1 y) in x
20.857 * [taylor]: Taking taylor expansion of -1 in x
20.857 * [backup-simplify]: Simplify -1 into -1
20.857 * [taylor]: Taking taylor expansion of y in x
20.857 * [backup-simplify]: Simplify y into y
20.857 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
20.857 * [taylor]: Taking taylor expansion of (/ -1 y) in x
20.857 * [taylor]: Taking taylor expansion of -1 in x
20.857 * [backup-simplify]: Simplify -1 into -1
20.857 * [taylor]: Taking taylor expansion of y in x
20.857 * [backup-simplify]: Simplify y into y
20.857 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
20.858 * [backup-simplify]: Simplify (* -1 -1) into 1
20.858 * [backup-simplify]: Simplify (+ 1 0) into 1
20.859 * [backup-simplify]: Simplify (sqrt 1) into 1
20.860 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
20.861 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
20.862 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0
20.862 * [backup-simplify]: Simplify (+ 0 0) into 0
20.863 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
20.863 * [taylor]: Taking taylor expansion of (hypot (/ -1 x) (/ -1 y)) in x
20.863 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 x) (/ -1 x)) (* (/ -1 y) (/ -1 y))))
20.863 * [taylor]: Taking taylor expansion of (+ (* (/ -1 x) (/ -1 x)) (* (/ -1 y) (/ -1 y))) in x
20.863 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
20.863 * [taylor]: Taking taylor expansion of (/ -1 x) in x
20.863 * [taylor]: Taking taylor expansion of -1 in x
20.863 * [backup-simplify]: Simplify -1 into -1
20.863 * [taylor]: Taking taylor expansion of x in x
20.863 * [backup-simplify]: Simplify 0 into 0
20.863 * [backup-simplify]: Simplify 1 into 1
20.864 * [backup-simplify]: Simplify (/ -1 1) into -1
20.864 * [taylor]: Taking taylor expansion of (/ -1 x) in x
20.864 * [taylor]: Taking taylor expansion of -1 in x
20.864 * [backup-simplify]: Simplify -1 into -1
20.864 * [taylor]: Taking taylor expansion of x in x
20.864 * [backup-simplify]: Simplify 0 into 0
20.864 * [backup-simplify]: Simplify 1 into 1
20.864 * [backup-simplify]: Simplify (/ -1 1) into -1
20.864 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in x
20.864 * [taylor]: Taking taylor expansion of (/ -1 y) in x
20.865 * [taylor]: Taking taylor expansion of -1 in x
20.865 * [backup-simplify]: Simplify -1 into -1
20.865 * [taylor]: Taking taylor expansion of y in x
20.865 * [backup-simplify]: Simplify y into y
20.865 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
20.865 * [taylor]: Taking taylor expansion of (/ -1 y) in x
20.865 * [taylor]: Taking taylor expansion of -1 in x
20.865 * [backup-simplify]: Simplify -1 into -1
20.865 * [taylor]: Taking taylor expansion of y in x
20.865 * [backup-simplify]: Simplify y into y
20.865 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
20.865 * [backup-simplify]: Simplify (* -1 -1) into 1
20.866 * [backup-simplify]: Simplify (+ 1 0) into 1
20.866 * [backup-simplify]: Simplify (sqrt 1) into 1
20.867 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
20.868 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
20.869 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0
20.869 * [backup-simplify]: Simplify (+ 0 0) into 0
20.870 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
20.870 * [taylor]: Taking taylor expansion of 1 in y
20.870 * [backup-simplify]: Simplify 1 into 1
20.870 * [taylor]: Taking taylor expansion of 0 in y
20.870 * [backup-simplify]: Simplify 0 into 0
20.870 * [backup-simplify]: Simplify 1 into 1
20.871 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.872 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.873 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0
20.873 * [backup-simplify]: Simplify (* (/ -1 y) (/ -1 y)) into (/ 1 (pow y 2))
20.874 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow y 2))) into (/ 1 (pow y 2))
20.875 * [backup-simplify]: Simplify (/ (- (/ 1 (pow y 2)) (pow 0 2) (+)) (* 2 1)) into (/ 1/2 (pow y 2))
20.875 * [taylor]: Taking taylor expansion of (/ 1/2 (pow y 2)) in y
20.875 * [taylor]: Taking taylor expansion of 1/2 in y
20.875 * [backup-simplify]: Simplify 1/2 into 1/2
20.875 * [taylor]: Taking taylor expansion of (pow y 2) in y
20.875 * [taylor]: Taking taylor expansion of y in y
20.875 * [backup-simplify]: Simplify 0 into 0
20.875 * [backup-simplify]: Simplify 1 into 1
20.876 * [backup-simplify]: Simplify (* 1 1) into 1
20.876 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2
20.877 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.877 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0
20.877 * [backup-simplify]: Simplify 0 into 0
20.877 * [backup-simplify]: Simplify 0 into 0
20.878 * [backup-simplify]: Simplify 0 into 0
20.879 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.880 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.881 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
20.881 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
20.881 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
20.881 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (* 0 (/ -1 y))) into 0
20.881 * [backup-simplify]: Simplify (+ 0 0) into 0
20.882 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (pow y 2)))))) (* 2 1)) into 0
20.882 * [taylor]: Taking taylor expansion of 0 in y
20.883 * [backup-simplify]: Simplify 0 into 0
20.883 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.884 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.884 * [backup-simplify]: Simplify 0 into 0
20.884 * [backup-simplify]: Simplify 0 into 0
20.885 * [backup-simplify]: Simplify 0 into 0
20.885 * [backup-simplify]: Simplify (* 1 (* 1 (/ 1 (/ 1 (- x))))) into (* -1 x)
20.885 * * * [progress]: simplifying candidates
20.887 * [simplify]: Simplifying:
  (expm1 (* (sqrt (hypot x y)) (sqrt (hypot x y))))
  (log1p (* (sqrt (hypot x y)) (sqrt (hypot x y))))
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (* (hypot x y) (hypot x y))
  (* (sqrt (hypot x y)) (sqrt (hypot x y)))
  (* (hypot x y) (hypot x y))
  (+ 1 1)
  (+ (log (sqrt (hypot x y))) (log (sqrt (hypot x y))))
  (log (* (sqrt (hypot x y)) (sqrt (hypot x y))))
  (exp (* (sqrt (hypot x y)) (sqrt (hypot x y))))
  (* (* (* (sqrt (hypot x y)) (sqrt (hypot x y))) (sqrt (hypot x y))) (* (* (sqrt (hypot x y)) (sqrt (hypot x y))) (sqrt (hypot x y))))
  (* (cbrt (* (sqrt (hypot x y)) (sqrt (hypot x y)))) (cbrt (* (sqrt (hypot x y)) (sqrt (hypot x y)))))
  (cbrt (* (sqrt (hypot x y)) (sqrt (hypot x y))))
  (* (* (* (sqrt (hypot x y)) (sqrt (hypot x y))) (* (sqrt (hypot x y)) (sqrt (hypot x y)))) (* (sqrt (hypot x y)) (sqrt (hypot x y))))
  (* (hypot x y) (hypot x y))
  (sqrt (* (sqrt (hypot x y)) (sqrt (hypot x y))))
  (sqrt (* (sqrt (hypot x y)) (sqrt (hypot x y))))
  (* (* (cbrt (sqrt (hypot x y))) (cbrt (sqrt (hypot x y)))) (* (cbrt (sqrt (hypot x y))) (cbrt (sqrt (hypot x y)))))
  (* (cbrt (sqrt (hypot x y))) (cbrt (sqrt (hypot x y))))
  (* (sqrt (* (cbrt (hypot x y)) (cbrt (hypot x y)))) (sqrt (* (cbrt (hypot x y)) (cbrt (hypot x y)))))
  (* (sqrt (cbrt (hypot x y))) (sqrt (cbrt (hypot x y))))
  (* (sqrt (sqrt (hypot x y))) (sqrt (sqrt (hypot x y))))
  (* (sqrt (sqrt (hypot x y))) (sqrt (sqrt (hypot x y))))
  (* (sqrt (sqrt (hypot x y))) (sqrt (sqrt (hypot x y))))
  (* (sqrt (sqrt (hypot x y))) (sqrt (sqrt (hypot x y))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (hypot x y)) (sqrt (hypot x y)))
  (* (sqrt (sqrt (hypot x y))) (sqrt (sqrt (hypot x y))))
  (* (sqrt (sqrt (hypot x y))) (sqrt (sqrt (hypot x y))))
  (* (sqrt (sqrt (hypot x y))) (sqrt (sqrt (hypot x y))))
  (* (sqrt (sqrt (hypot x y))) (sqrt (sqrt (hypot x y))))
  (* 1 1)
  (* (sqrt (hypot x y)) (sqrt (hypot x y)))
  (* (sqrt (sqrt (hypot x y))) (sqrt (sqrt (hypot x y))))
  (* (sqrt (sqrt (hypot x y))) (sqrt (sqrt (hypot x y))))
  (* (sqrt (sqrt (hypot x y))) (sqrt (sqrt (hypot x y))))
  (* (sqrt (sqrt (hypot x y))) (sqrt (sqrt (hypot x y))))
  (* (sqrt (sqrt (hypot x y))) (sqrt (sqrt (hypot x y))))
  (* (sqrt (sqrt (hypot x y))) (sqrt (sqrt (hypot x y))))
  (* (sqrt (sqrt (hypot x y))) (sqrt (sqrt (hypot x y))))
  (* (sqrt (sqrt (hypot x y))) (sqrt (sqrt (hypot x y))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* (sqrt (hypot x y)) (* (cbrt (sqrt (hypot x y))) (cbrt (sqrt (hypot x y)))))
  (* (sqrt (hypot x y)) (sqrt (* (cbrt (hypot x y)) (cbrt (hypot x y)))))
  (* (sqrt (hypot x y)) (sqrt (sqrt (hypot x y))))
  (* (sqrt (hypot x y)) (sqrt 1))
  (* (sqrt (hypot x y)) (sqrt (sqrt (hypot x y))))
  (* (sqrt (hypot x y)) 1)
  (* (cbrt (sqrt (hypot x y))) (sqrt (hypot x y)))
  (* (sqrt (cbrt (hypot x y))) (sqrt (hypot x y)))
  (* (sqrt (sqrt (hypot x y))) (sqrt (hypot x y)))
  (* (sqrt (hypot x y)) (sqrt (hypot x y)))
  (* (sqrt (sqrt (hypot x y))) (sqrt (hypot x y)))
  (* (sqrt (hypot x y)) (sqrt (hypot x y)))
  (expm1 (hypot x y))
  (log1p (hypot x y))
  (+ (* x x) (* y y))
  (log (hypot x y))
  (exp (hypot x y))
  (* (cbrt (hypot x y)) (cbrt (hypot x y)))
  (cbrt (hypot x y))
  (* (* (hypot x y) (hypot x y)) (hypot x y))
  (sqrt (hypot x y))
  (sqrt (hypot x y))
  (expm1 (hypot x y))
  (log1p (hypot x y))
  (+ (* x x) (* y y))
  (log (hypot x y))
  (exp (hypot x y))
  (* (cbrt (hypot x y)) (cbrt (hypot x y)))
  (cbrt (hypot x y))
  (* (* (hypot x y) (hypot x y)) (hypot x y))
  (sqrt (hypot x y))
  (sqrt (hypot x y))
  y
  x
  (* -1 x)
  y
  x
  (* -1 x)
  y
  x
  (* -1 x)
20.889 * * [simplify]: iteration 0: 63 enodes
20.925 * * [simplify]: iteration 1: 118 enodes
21.074 * * [simplify]: iteration 2: 227 enodes
21.329 * * [simplify]: iteration 3: 605 enodes
26.537 * * [simplify]: iteration 4: 3310 enodes
35.345 * * [simplify]: iteration complete: 5001 enodes
35.362 * * [simplify]: Extracting #0: cost 22 inf + 0
35.364 * * [simplify]: Extracting #1: cost 305 inf + 4
35.378 * * [simplify]: Extracting #2: cost 867 inf + 2143
35.392 * * [simplify]: Extracting #3: cost 865 inf + 14635
35.751 * * [simplify]: Extracting #4: cost 458 inf + 114601
36.036 * * [simplify]: Extracting #5: cost 107 inf + 218678
37.037 * * [simplify]: Extracting #6: cost 1 inf + 252430
37.322 * * [simplify]: Extracting #7: cost 0 inf + 252729
37.473 * [simplify]: Simplified to:
  (expm1 (hypot x y))
  (log1p (hypot x y))
  1
  1
  2
  1
  1
  (* (hypot x y) (hypot x y))
  (hypot x y)
  (* (hypot x y) (hypot x y))
  2
  (log (hypot x y))
  (log (hypot x y))
  (exp (hypot x y))
  (* (hypot x y) (* (hypot x y) (hypot x y)))
  (* (cbrt (hypot x y)) (cbrt (hypot x y)))
  (cbrt (hypot x y))
  (* (hypot x y) (* (hypot x y) (hypot x y)))
  (* (hypot x y) (hypot x y))
  (sqrt (hypot x y))
  (sqrt (hypot x y))
  (* (cbrt (sqrt (hypot x y))) (sqrt (hypot x y)))
  (* (cbrt (sqrt (hypot x y))) (cbrt (sqrt (hypot x y))))
  (* (cbrt (hypot x y)) (cbrt (hypot x y)))
  (cbrt (hypot x y))
  (sqrt (hypot x y))
  (sqrt (hypot x y))
  (sqrt (hypot x y))
  (sqrt (hypot x y))
  1
  (hypot x y)
  (sqrt (hypot x y))
  (sqrt (hypot x y))
  (sqrt (hypot x y))
  (sqrt (hypot x y))
  1
  (hypot x y)
  (sqrt (hypot x y))
  (sqrt (hypot x y))
  (sqrt (hypot x y))
  (sqrt (hypot x y))
  (sqrt (hypot x y))
  (sqrt (hypot x y))
  (sqrt (hypot x y))
  (sqrt (hypot x y))
  1
  2
  1
  (* (cbrt (sqrt (hypot x y))) (* (cbrt (sqrt (hypot x y))) (sqrt (hypot x y))))
  (* (fabs (cbrt (hypot x y))) (sqrt (hypot x y)))
  (* (sqrt (sqrt (hypot x y))) (sqrt (hypot x y)))
  (sqrt (hypot x y))
  (* (sqrt (sqrt (hypot x y))) (sqrt (hypot x y)))
  (sqrt (hypot x y))
  (* (cbrt (sqrt (hypot x y))) (sqrt (hypot x y)))
  (* (sqrt (cbrt (hypot x y))) (sqrt (hypot x y)))
  (* (sqrt (sqrt (hypot x y))) (sqrt (hypot x y)))
  (hypot x y)
  (* (sqrt (sqrt (hypot x y))) (sqrt (hypot x y)))
  (hypot x y)
  (expm1 (hypot x y))
  (log1p (hypot x y))
  (fma y y (* x x))
  (log (hypot x y))
  (exp (hypot x y))
  (* (cbrt (hypot x y)) (cbrt (hypot x y)))
  (cbrt (hypot x y))
  (* (hypot x y) (* (hypot x y) (hypot x y)))
  (sqrt (hypot x y))
  (sqrt (hypot x y))
  (expm1 (hypot x y))
  (log1p (hypot x y))
  (fma y y (* x x))
  (log (hypot x y))
  (exp (hypot x y))
  (* (cbrt (hypot x y)) (cbrt (hypot x y)))
  (cbrt (hypot x y))
  (* (hypot x y) (* (hypot x y) (hypot x y)))
  (sqrt (hypot x y))
  (sqrt (hypot x y))
  y
  x
  (- x)
  y
  x
  (- x)
  y
  x
  (- x)
37.477 * * * [progress]: adding candidates to table
38.322 * [progress]: [Phase 3 of 3] Extracting.
38.330 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (hypot x y))> #<alt (λ (x y) (* (sqrt (hypot x y)) (sqrt (hypot x y))))>)
38.330 * * * [regime-changes]: Trying 2 branch expressions: (y x)
38.330 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (hypot x y))> #<alt (λ (x y) (* (sqrt (hypot x y)) (sqrt (hypot x y))))>)
38.521 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (hypot x y))> #<alt (λ (x y) (* (sqrt (hypot x y)) (sqrt (hypot x y))))>)
38.810 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
38.819 * [simplify]: Simplifying:
  (hypot x y)
38.819 * * [simplify]: iteration 0: 3 enodes
38.822 * * [simplify]: iteration complete: 3 enodes
38.822 * * [simplify]: Extracting #0: cost 1 inf + 0
38.823 * * [simplify]: Extracting #1: cost 3 inf + 0
38.823 * * [simplify]: Extracting #2: cost 0 inf + 59
38.823 * [simplify]: Simplified to:
  (hypot x y)
42.754 * [regime-testing]: Baseline error score: 0.004625578197274659
42.774 * [regime-testing]: Oracle error score: 0.003500437554694337
42.831 * [regime-testing]: End program error score: 0.004625578197274659
43.117 * [regime-testing]: Target error score: 17.241090265852165