14.968 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.034 * * * [progress]: [2/2] Setting up program.
0.037 * [progress]: [Phase 2 of 3] Improving.
0.037 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (* x (/ (sin y) y)) z)
0.039 * * [simplify]: iteration  0 :  12  enodes  (cost  4 )
0.041 * * [simplify]: iteration  1 :  24  enodes  (cost  4 )
0.042 * * [simplify]: iteration  2 :  48  enodes  (cost  4 )
0.043 * * [simplify]: iteration  3 :  71  enodes  (cost  4 )
0.045 * * [simplify]: iteration  4 :  79  enodes  (cost  4 )
0.047 * * [simplify]: iteration  5 :  79  enodes  (cost  4 )
0.047 * [simplify]: Simplified to:
   (/ (* x (/ (sin y) y)) z)
0.047 * * [progress]: iteration 1 / 4
0.047 * * * [progress]: picking best candidate
0.049 * * * * [pick]: Picked  #<alt (λ (x y z) (/ (* x (/ (sin y) y)) z))>
0.049 * * * [progress]: localizing error
0.056 * * * [progress]: generating rewritten candidates
0.056 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.061 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2)
0.064 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
0.067 * * * [progress]: generating series expansions
0.067 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.067 * [approximate]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in (x y z) around 0
0.067 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in z
0.067 * [taylor]: Taking taylor expansion of (* x (sin y)) in z
0.067 * [taylor]: Taking taylor expansion of x in z
0.067 * [taylor]: Taking taylor expansion of (sin y) in z
0.068 * [taylor]: Taking taylor expansion of y in z
0.068 * [taylor]: Taking taylor expansion of (* z y) in z
0.068 * [taylor]: Taking taylor expansion of z in z
0.068 * [taylor]: Taking taylor expansion of y in z
0.068 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in y
0.068 * [taylor]: Taking taylor expansion of (* x (sin y)) in y
0.068 * [taylor]: Taking taylor expansion of x in y
0.068 * [taylor]: Taking taylor expansion of (sin y) in y
0.068 * [taylor]: Taking taylor expansion of y in y
0.068 * [taylor]: Taking taylor expansion of (* z y) in y
0.068 * [taylor]: Taking taylor expansion of z in y
0.068 * [taylor]: Taking taylor expansion of y in y
0.069 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in x
0.069 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
0.069 * [taylor]: Taking taylor expansion of x in x
0.069 * [taylor]: Taking taylor expansion of (sin y) in x
0.069 * [taylor]: Taking taylor expansion of y in x
0.070 * [taylor]: Taking taylor expansion of (* z y) in x
0.070 * [taylor]: Taking taylor expansion of z in x
0.070 * [taylor]: Taking taylor expansion of y in x
0.072 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in x
0.072 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
0.072 * [taylor]: Taking taylor expansion of x in x
0.072 * [taylor]: Taking taylor expansion of (sin y) in x
0.072 * [taylor]: Taking taylor expansion of y in x
0.072 * [taylor]: Taking taylor expansion of (* z y) in x
0.072 * [taylor]: Taking taylor expansion of z in x
0.072 * [taylor]: Taking taylor expansion of y in x
0.074 * [taylor]: Taking taylor expansion of (/ (sin y) (* z y)) in y
0.074 * [taylor]: Taking taylor expansion of (sin y) in y
0.074 * [taylor]: Taking taylor expansion of y in y
0.074 * [taylor]: Taking taylor expansion of (* z y) in y
0.074 * [taylor]: Taking taylor expansion of z in y
0.074 * [taylor]: Taking taylor expansion of y in y
0.075 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.075 * [taylor]: Taking taylor expansion of z in z
0.078 * [taylor]: Taking taylor expansion of 0 in y
0.078 * [taylor]: Taking taylor expansion of 0 in z
0.079 * [taylor]: Taking taylor expansion of 0 in z
0.083 * [taylor]: Taking taylor expansion of 0 in y
0.083 * [taylor]: Taking taylor expansion of 0 in z
0.083 * [taylor]: Taking taylor expansion of 0 in z
0.084 * [taylor]: Taking taylor expansion of (- (* 1/6 (/ 1 z))) in z
0.084 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 z)) in z
0.084 * [taylor]: Taking taylor expansion of 1/6 in z
0.084 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.084 * [taylor]: Taking taylor expansion of z in z
0.091 * [taylor]: Taking taylor expansion of 0 in y
0.091 * [taylor]: Taking taylor expansion of 0 in z
0.091 * [taylor]: Taking taylor expansion of 0 in z
0.091 * [taylor]: Taking taylor expansion of 0 in z
0.092 * [taylor]: Taking taylor expansion of 0 in z
0.094 * [approximate]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in (x y z) around 0
0.094 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in z
0.094 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in z
0.094 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.094 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.094 * [taylor]: Taking taylor expansion of y in z
0.094 * [taylor]: Taking taylor expansion of (* z y) in z
0.094 * [taylor]: Taking taylor expansion of z in z
0.094 * [taylor]: Taking taylor expansion of y in z
0.094 * [taylor]: Taking taylor expansion of x in z
0.096 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in y
0.096 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in y
0.097 * [taylor]: Taking taylor expansion of (sin (/ 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 * [taylor]: Taking taylor expansion of (* z y) in y
0.097 * [taylor]: Taking taylor expansion of z in y
0.097 * [taylor]: Taking taylor expansion of y in y
0.097 * [taylor]: Taking taylor expansion of x in y
0.098 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in x
0.098 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in x
0.098 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.098 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.098 * [taylor]: Taking taylor expansion of y in x
0.098 * [taylor]: Taking taylor expansion of (* z y) in x
0.098 * [taylor]: Taking taylor expansion of z in x
0.098 * [taylor]: Taking taylor expansion of y in x
0.098 * [taylor]: Taking taylor expansion of x in x
0.098 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in x
0.098 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in x
0.098 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.098 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.098 * [taylor]: Taking taylor expansion of y in x
0.098 * [taylor]: Taking taylor expansion of (* z y) in x
0.098 * [taylor]: Taking taylor expansion of z in x
0.098 * [taylor]: Taking taylor expansion of y in x
0.098 * [taylor]: Taking taylor expansion of x in x
0.099 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in y
0.099 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.099 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.099 * [taylor]: Taking taylor expansion of y in y
0.099 * [taylor]: Taking taylor expansion of (* z y) in y
0.099 * [taylor]: Taking taylor expansion of z in y
0.099 * [taylor]: Taking taylor expansion of y in y
0.100 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) z) in z
0.100 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.100 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.100 * [taylor]: Taking taylor expansion of y in z
0.100 * [taylor]: Taking taylor expansion of z in z
0.104 * [taylor]: Taking taylor expansion of 0 in y
0.104 * [taylor]: Taking taylor expansion of 0 in z
0.105 * [taylor]: Taking taylor expansion of 0 in z
0.111 * [taylor]: Taking taylor expansion of 0 in y
0.111 * [taylor]: Taking taylor expansion of 0 in z
0.111 * [taylor]: Taking taylor expansion of 0 in z
0.112 * [taylor]: Taking taylor expansion of 0 in z
0.113 * [approximate]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* z y)) x)) in (x y z) around 0
0.113 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* z y)) x)) in z
0.113 * [taylor]: Taking taylor expansion of -1 in z
0.113 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) x) in z
0.113 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in z
0.113 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.113 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.113 * [taylor]: Taking taylor expansion of -1 in z
0.113 * [taylor]: Taking taylor expansion of y in z
0.113 * [taylor]: Taking taylor expansion of (* z y) in z
0.113 * [taylor]: Taking taylor expansion of z in z
0.113 * [taylor]: Taking taylor expansion of y in z
0.113 * [taylor]: Taking taylor expansion of x in z
0.119 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* z y)) x)) in y
0.120 * [taylor]: Taking taylor expansion of -1 in y
0.120 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) x) in y
0.120 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in y
0.120 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.120 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.120 * [taylor]: Taking taylor expansion of -1 in y
0.120 * [taylor]: Taking taylor expansion of y in y
0.120 * [taylor]: Taking taylor expansion of (* z y) in y
0.120 * [taylor]: Taking taylor expansion of z in y
0.120 * [taylor]: Taking taylor expansion of y in y
0.120 * [taylor]: Taking taylor expansion of x in y
0.121 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* z y)) x)) in x
0.121 * [taylor]: Taking taylor expansion of -1 in x
0.121 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) x) in x
0.121 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in x
0.121 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.121 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.121 * [taylor]: Taking taylor expansion of -1 in x
0.121 * [taylor]: Taking taylor expansion of y in x
0.121 * [taylor]: Taking taylor expansion of (* z y) in x
0.121 * [taylor]: Taking taylor expansion of z in x
0.121 * [taylor]: Taking taylor expansion of y in x
0.121 * [taylor]: Taking taylor expansion of x in x
0.121 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* z y)) x)) in x
0.121 * [taylor]: Taking taylor expansion of -1 in x
0.121 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) x) in x
0.121 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in x
0.121 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.121 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.121 * [taylor]: Taking taylor expansion of -1 in x
0.122 * [taylor]: Taking taylor expansion of y in x
0.122 * [taylor]: Taking taylor expansion of (* z y) in x
0.122 * [taylor]: Taking taylor expansion of z in x
0.122 * [taylor]: Taking taylor expansion of y in x
0.122 * [taylor]: Taking taylor expansion of x in x
0.122 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) (* z y))) in y
0.122 * [taylor]: Taking taylor expansion of -1 in y
0.122 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in y
0.122 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.122 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.122 * [taylor]: Taking taylor expansion of -1 in y
0.122 * [taylor]: Taking taylor expansion of y in y
0.122 * [taylor]: Taking taylor expansion of (* z y) in y
0.122 * [taylor]: Taking taylor expansion of z in y
0.123 * [taylor]: Taking taylor expansion of y in y
0.123 * [taylor]: Taking taylor expansion of (- (* (sin (/ -1 y)) z)) in z
0.123 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) z) in z
0.123 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.124 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.124 * [taylor]: Taking taylor expansion of -1 in z
0.124 * [taylor]: Taking taylor expansion of y in z
0.124 * [taylor]: Taking taylor expansion of z in z
0.128 * [taylor]: Taking taylor expansion of 0 in y
0.128 * [taylor]: Taking taylor expansion of 0 in z
0.130 * [taylor]: Taking taylor expansion of 0 in z
0.136 * [taylor]: Taking taylor expansion of 0 in y
0.137 * [taylor]: Taking taylor expansion of 0 in z
0.137 * [taylor]: Taking taylor expansion of 0 in z
0.138 * [taylor]: Taking taylor expansion of 0 in z
0.139 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2)
0.139 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0
0.139 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
0.139 * [taylor]: Taking taylor expansion of (sin y) in y
0.139 * [taylor]: Taking taylor expansion of y in y
0.139 * [taylor]: Taking taylor expansion of y in y
0.139 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
0.140 * [taylor]: Taking taylor expansion of (sin y) in y
0.140 * [taylor]: Taking taylor expansion of y in y
0.140 * [taylor]: Taking taylor expansion of y in y
0.147 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0
0.147 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
0.147 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.147 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.147 * [taylor]: Taking taylor expansion of y in y
0.147 * [taylor]: Taking taylor expansion of y in y
0.147 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
0.147 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.147 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.147 * [taylor]: Taking taylor expansion of y in y
0.147 * [taylor]: Taking taylor expansion of y in y
0.151 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0
0.151 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y
0.151 * [taylor]: Taking taylor expansion of -1 in y
0.151 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y
0.151 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.151 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.151 * [taylor]: Taking taylor expansion of -1 in y
0.151 * [taylor]: Taking taylor expansion of y in y
0.152 * [taylor]: Taking taylor expansion of y in y
0.152 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y
0.152 * [taylor]: Taking taylor expansion of -1 in y
0.152 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y
0.152 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.152 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.152 * [taylor]: Taking taylor expansion of -1 in y
0.152 * [taylor]: Taking taylor expansion of y in y
0.152 * [taylor]: Taking taylor expansion of y in y
0.163 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
0.164 * [approximate]: Taking taylor expansion of (/ (* x (sin y)) y) in (x y) around 0
0.164 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in y
0.164 * [taylor]: Taking taylor expansion of (* x (sin y)) in y
0.164 * [taylor]: Taking taylor expansion of x in y
0.164 * [taylor]: Taking taylor expansion of (sin y) in y
0.164 * [taylor]: Taking taylor expansion of y in y
0.164 * [taylor]: Taking taylor expansion of y in y
0.164 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in x
0.164 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
0.164 * [taylor]: Taking taylor expansion of x in x
0.164 * [taylor]: Taking taylor expansion of (sin y) in x
0.164 * [taylor]: Taking taylor expansion of y in x
0.165 * [taylor]: Taking taylor expansion of y in x
0.166 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in x
0.166 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
0.166 * [taylor]: Taking taylor expansion of x in x
0.166 * [taylor]: Taking taylor expansion of (sin y) in x
0.166 * [taylor]: Taking taylor expansion of y in x
0.167 * [taylor]: Taking taylor expansion of y in x
0.168 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
0.168 * [taylor]: Taking taylor expansion of (sin y) in y
0.169 * [taylor]: Taking taylor expansion of y in y
0.169 * [taylor]: Taking taylor expansion of y in y
0.172 * [taylor]: Taking taylor expansion of 0 in y
0.176 * [taylor]: Taking taylor expansion of 0 in y
0.182 * [taylor]: Taking taylor expansion of 0 in y
0.188 * [taylor]: Taking taylor expansion of 0 in y
0.189 * [approximate]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in (x y) around 0
0.189 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in y
0.189 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
0.189 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.189 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.189 * [taylor]: Taking taylor expansion of y in y
0.189 * [taylor]: Taking taylor expansion of y in y
0.189 * [taylor]: Taking taylor expansion of x in y
0.190 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in x
0.190 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x
0.190 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.190 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.190 * [taylor]: Taking taylor expansion of y in x
0.190 * [taylor]: Taking taylor expansion of y in x
0.190 * [taylor]: Taking taylor expansion of x in x
0.190 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in x
0.190 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x
0.190 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.190 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.190 * [taylor]: Taking taylor expansion of y in x
0.190 * [taylor]: Taking taylor expansion of y in x
0.190 * [taylor]: Taking taylor expansion of x in x
0.190 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
0.190 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.190 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.190 * [taylor]: Taking taylor expansion of y in y
0.191 * [taylor]: Taking taylor expansion of y in y
0.193 * [taylor]: Taking taylor expansion of 0 in y
0.197 * [taylor]: Taking taylor expansion of 0 in y
0.207 * [taylor]: Taking taylor expansion of 0 in y
0.207 * [approximate]: Taking taylor expansion of (/ (* (sin (/ -1 y)) y) x) in (x y) around 0
0.207 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) y) x) in y
0.207 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y
0.207 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.207 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.207 * [taylor]: Taking taylor expansion of -1 in y
0.207 * [taylor]: Taking taylor expansion of y in y
0.208 * [taylor]: Taking taylor expansion of y in y
0.208 * [taylor]: Taking taylor expansion of x in y
0.208 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) y) x) in x
0.208 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x
0.208 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.208 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.208 * [taylor]: Taking taylor expansion of -1 in x
0.208 * [taylor]: Taking taylor expansion of y in x
0.208 * [taylor]: Taking taylor expansion of y in x
0.208 * [taylor]: Taking taylor expansion of x in x
0.208 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) y) x) in x
0.208 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x
0.208 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.208 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.208 * [taylor]: Taking taylor expansion of -1 in x
0.208 * [taylor]: Taking taylor expansion of y in x
0.209 * [taylor]: Taking taylor expansion of y in x
0.209 * [taylor]: Taking taylor expansion of x in x
0.209 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y
0.209 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.209 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.209 * [taylor]: Taking taylor expansion of -1 in y
0.209 * [taylor]: Taking taylor expansion of y in y
0.209 * [taylor]: Taking taylor expansion of y in y
0.212 * [taylor]: Taking taylor expansion of 0 in y
0.215 * [taylor]: Taking taylor expansion of 0 in y
0.220 * [taylor]: Taking taylor expansion of 0 in y
0.220 * * * [progress]: simplifying candidates
0.221 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (* x (/ (sin y) y)))
  (- z)
  (/ 1 z)
  (/ z (* x (/ (sin y) y)))
  (/ z (/ (sin y) y))
  (/ z (/ 1 y))
  (/ z x)
  (* z (/ y (sin y)))
  (* z y)
  (* z (- y))
  (* z (/ y (sin y)))
  (- (sin y))
  (- y)
  (/ 1 y)
  (/ y (sin y))
  (* x (sin y))
  (* x (sin y))
  (* x (- (sin y)))
  (* x 1)
  (- (/ x z) (* 1/6 (/ (* x (pow y 2)) z)))
  (/ (* x (sin y)) (* z y))
  (/ (* x (sin y)) (* z y))
  (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2)))
  (/ (sin y) y)
  (/ (sin y) y)
  (- x (* 1/6 (* x (pow y 2))))
  (/ (* x (sin y)) y)
  (/ (* x (sin y)) y)
0.224 * * [simplify]: iteration  0 :  96  enodes  (cost  72 )
0.226 * * [simplify]: iteration  1 :  348  enodes  (cost  70 )
0.234 * * [simplify]: iteration  2 :  1950  enodes  (cost  70 )
0.275 * * [simplify]: iteration  3 :  5002  enodes  (cost  70 )
0.276 * [simplify]: Simplified to:
   (- (* x (/ (sin y) y)))
  (- z)
  (/ 1 z)
  (/ z (* x (/ (sin y) y)))
  (* z (/ y (sin y)))
  (* y z)
  (/ z x)
  (* z (/ y (sin y)))
  (* y z)
  (* z (- y))
  (* z (/ y (sin y)))
  (- (sin y))
  (- y)
  (/ 1 y)
  (/ y (sin y))
  (* x (sin y))
  (* x (sin y))
  (* x (- (sin y)))
  x
  (- (/ x z) (* 1/6 (/ (* x (pow y 2)) z)))
  (/ (* x (sin y)) (* z y))
  (/ (* x (sin y)) (* z y))
  (fma (pow y 4) 1/120 (- 1 (* 1/6 (pow y 2))))
  (/ (sin y) y)
  (/ (sin y) y)
  (- x (* 1/6 (* x (pow y 2))))
  (* x (/ (sin y) y))
  (* x (/ (sin y) y))
0.276 * * * [progress]: adding candidates to table
0.327 * * [progress]: iteration 2 / 4
0.327 * * * [progress]: picking best candidate
0.337 * * * * [pick]: Picked  #<alt (λ (x y z) (/ (/ (sin y) y) (/ z x)))>
0.337 * * * [progress]: localizing error
0.344 * * * [progress]: generating rewritten candidates
0.344 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.348 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.351 * * * [progress]: generating series expansions
0.351 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.352 * [approximate]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in (y z x) around 0
0.352 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in x
0.352 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
0.352 * [taylor]: Taking taylor expansion of x in x
0.352 * [taylor]: Taking taylor expansion of (sin y) in x
0.352 * [taylor]: Taking taylor expansion of y in x
0.352 * [taylor]: Taking taylor expansion of (* z y) in x
0.352 * [taylor]: Taking taylor expansion of z in x
0.352 * [taylor]: Taking taylor expansion of y in x
0.354 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in z
0.354 * [taylor]: Taking taylor expansion of (* x (sin y)) in z
0.354 * [taylor]: Taking taylor expansion of x in z
0.354 * [taylor]: Taking taylor expansion of (sin y) in z
0.354 * [taylor]: Taking taylor expansion of y in z
0.354 * [taylor]: Taking taylor expansion of (* z y) in z
0.354 * [taylor]: Taking taylor expansion of z in z
0.354 * [taylor]: Taking taylor expansion of y in z
0.354 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in y
0.354 * [taylor]: Taking taylor expansion of (* x (sin y)) in y
0.354 * [taylor]: Taking taylor expansion of x in y
0.355 * [taylor]: Taking taylor expansion of (sin y) in y
0.355 * [taylor]: Taking taylor expansion of y in y
0.355 * [taylor]: Taking taylor expansion of (* z y) in y
0.355 * [taylor]: Taking taylor expansion of z in y
0.355 * [taylor]: Taking taylor expansion of y in y
0.356 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in y
0.356 * [taylor]: Taking taylor expansion of (* x (sin y)) in y
0.356 * [taylor]: Taking taylor expansion of x in y
0.356 * [taylor]: Taking taylor expansion of (sin y) in y
0.356 * [taylor]: Taking taylor expansion of y in y
0.356 * [taylor]: Taking taylor expansion of (* z y) in y
0.356 * [taylor]: Taking taylor expansion of z in y
0.356 * [taylor]: Taking taylor expansion of y in y
0.357 * [taylor]: Taking taylor expansion of (/ x z) in z
0.357 * [taylor]: Taking taylor expansion of x in z
0.357 * [taylor]: Taking taylor expansion of z in z
0.357 * [taylor]: Taking taylor expansion of x in x
0.358 * [taylor]: Taking taylor expansion of 0 in z
0.359 * [taylor]: Taking taylor expansion of 0 in x
0.361 * [taylor]: Taking taylor expansion of (- (* 1/6 (/ x z))) in z
0.361 * [taylor]: Taking taylor expansion of (* 1/6 (/ x z)) in z
0.361 * [taylor]: Taking taylor expansion of 1/6 in z
0.361 * [taylor]: Taking taylor expansion of (/ x z) in z
0.361 * [taylor]: Taking taylor expansion of x in z
0.361 * [taylor]: Taking taylor expansion of z in z
0.361 * [taylor]: Taking taylor expansion of (- (* 1/6 x)) in x
0.361 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
0.361 * [taylor]: Taking taylor expansion of 1/6 in x
0.361 * [taylor]: Taking taylor expansion of x in x
0.362 * [taylor]: Taking taylor expansion of 0 in x
0.362 * [taylor]: Taking taylor expansion of 0 in x
0.365 * [taylor]: Taking taylor expansion of 0 in z
0.366 * [taylor]: Taking taylor expansion of 0 in x
0.366 * [taylor]: Taking taylor expansion of 0 in x
0.366 * [approximate]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in (y z x) around 0
0.366 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in x
0.366 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in x
0.366 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.366 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.366 * [taylor]: Taking taylor expansion of y in x
0.366 * [taylor]: Taking taylor expansion of (* z y) in x
0.366 * [taylor]: Taking taylor expansion of z in x
0.366 * [taylor]: Taking taylor expansion of y in x
0.366 * [taylor]: Taking taylor expansion of x in x
0.367 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in z
0.367 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in z
0.367 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.367 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.367 * [taylor]: Taking taylor expansion of y in z
0.367 * [taylor]: Taking taylor expansion of (* z y) in z
0.367 * [taylor]: Taking taylor expansion of z in z
0.367 * [taylor]: Taking taylor expansion of y in z
0.367 * [taylor]: Taking taylor expansion of x in z
0.369 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in y
0.369 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in y
0.369 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.369 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.369 * [taylor]: Taking taylor expansion of y in y
0.370 * [taylor]: Taking taylor expansion of (* z y) in y
0.370 * [taylor]: Taking taylor expansion of z in y
0.370 * [taylor]: Taking taylor expansion of y in y
0.370 * [taylor]: Taking taylor expansion of x in y
0.370 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in y
0.370 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in y
0.370 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.370 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.370 * [taylor]: Taking taylor expansion of y in y
0.371 * [taylor]: Taking taylor expansion of (* z y) in y
0.371 * [taylor]: Taking taylor expansion of z in y
0.371 * [taylor]: Taking taylor expansion of y in y
0.371 * [taylor]: Taking taylor expansion of x in y
0.372 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) z) x) in z
0.372 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) z) in z
0.372 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.372 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.372 * [taylor]: Taking taylor expansion of y in z
0.372 * [taylor]: Taking taylor expansion of z in z
0.372 * [taylor]: Taking taylor expansion of x in z
0.374 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x
0.374 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.374 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.374 * [taylor]: Taking taylor expansion of y in x
0.374 * [taylor]: Taking taylor expansion of x in x
0.375 * [taylor]: Taking taylor expansion of 0 in z
0.375 * [taylor]: Taking taylor expansion of 0 in x
0.378 * [taylor]: Taking taylor expansion of 0 in x
0.381 * [taylor]: Taking taylor expansion of 0 in z
0.381 * [taylor]: Taking taylor expansion of 0 in x
0.381 * [taylor]: Taking taylor expansion of 0 in x
0.384 * [taylor]: Taking taylor expansion of 0 in x
0.389 * [taylor]: Taking taylor expansion of 0 in z
0.389 * [taylor]: Taking taylor expansion of 0 in x
0.389 * [taylor]: Taking taylor expansion of 0 in x
0.389 * [taylor]: Taking taylor expansion of 0 in x
0.397 * [taylor]: Taking taylor expansion of 0 in x
0.397 * [approximate]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* z y)) x)) in (y z x) around 0
0.397 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* z y)) x)) in x
0.397 * [taylor]: Taking taylor expansion of -1 in x
0.397 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) x) in x
0.397 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in x
0.397 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.397 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.397 * [taylor]: Taking taylor expansion of -1 in x
0.397 * [taylor]: Taking taylor expansion of y in x
0.397 * [taylor]: Taking taylor expansion of (* z y) in x
0.397 * [taylor]: Taking taylor expansion of z in x
0.397 * [taylor]: Taking taylor expansion of y in x
0.397 * [taylor]: Taking taylor expansion of x in x
0.398 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* z y)) x)) in z
0.398 * [taylor]: Taking taylor expansion of -1 in z
0.398 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) x) in z
0.398 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in z
0.398 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.398 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.398 * [taylor]: Taking taylor expansion of -1 in z
0.398 * [taylor]: Taking taylor expansion of y in z
0.398 * [taylor]: Taking taylor expansion of (* z y) in z
0.398 * [taylor]: Taking taylor expansion of z in z
0.398 * [taylor]: Taking taylor expansion of y in z
0.398 * [taylor]: Taking taylor expansion of x in z
0.400 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* z y)) x)) in y
0.400 * [taylor]: Taking taylor expansion of -1 in y
0.400 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) x) in y
0.400 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in y
0.400 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.400 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.400 * [taylor]: Taking taylor expansion of -1 in y
0.400 * [taylor]: Taking taylor expansion of y in y
0.401 * [taylor]: Taking taylor expansion of (* z y) in y
0.401 * [taylor]: Taking taylor expansion of z in y
0.401 * [taylor]: Taking taylor expansion of y in y
0.401 * [taylor]: Taking taylor expansion of x in y
0.401 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* z y)) x)) in y
0.401 * [taylor]: Taking taylor expansion of -1 in y
0.401 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) x) in y
0.402 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in y
0.402 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.402 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.402 * [taylor]: Taking taylor expansion of -1 in y
0.402 * [taylor]: Taking taylor expansion of y in y
0.402 * [taylor]: Taking taylor expansion of (* z y) in y
0.402 * [taylor]: Taking taylor expansion of z in y
0.402 * [taylor]: Taking taylor expansion of y in y
0.402 * [taylor]: Taking taylor expansion of x in y
0.403 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) z) x)) in z
0.403 * [taylor]: Taking taylor expansion of -1 in z
0.403 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) z) x) in z
0.403 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) z) in z
0.403 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.403 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.403 * [taylor]: Taking taylor expansion of -1 in z
0.403 * [taylor]: Taking taylor expansion of y in z
0.403 * [taylor]: Taking taylor expansion of z in z
0.403 * [taylor]: Taking taylor expansion of x in z
0.405 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in x
0.405 * [taylor]: Taking taylor expansion of -1 in x
0.405 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x
0.405 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.405 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.405 * [taylor]: Taking taylor expansion of -1 in x
0.405 * [taylor]: Taking taylor expansion of y in x
0.405 * [taylor]: Taking taylor expansion of x in x
0.407 * [taylor]: Taking taylor expansion of 0 in z
0.407 * [taylor]: Taking taylor expansion of 0 in x
0.410 * [taylor]: Taking taylor expansion of 0 in x
0.414 * [taylor]: Taking taylor expansion of 0 in z
0.414 * [taylor]: Taking taylor expansion of 0 in x
0.414 * [taylor]: Taking taylor expansion of 0 in x
0.418 * [taylor]: Taking taylor expansion of 0 in x
0.423 * [taylor]: Taking taylor expansion of 0 in z
0.423 * [taylor]: Taking taylor expansion of 0 in x
0.423 * [taylor]: Taking taylor expansion of 0 in x
0.423 * [taylor]: Taking taylor expansion of 0 in x
0.428 * [taylor]: Taking taylor expansion of 0 in x
0.428 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.429 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0
0.429 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
0.429 * [taylor]: Taking taylor expansion of (sin y) in y
0.429 * [taylor]: Taking taylor expansion of y in y
0.429 * [taylor]: Taking taylor expansion of y in y
0.429 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
0.429 * [taylor]: Taking taylor expansion of (sin y) in y
0.429 * [taylor]: Taking taylor expansion of y in y
0.429 * [taylor]: Taking taylor expansion of y in y
0.437 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0
0.437 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
0.437 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.437 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.437 * [taylor]: Taking taylor expansion of y in y
0.437 * [taylor]: Taking taylor expansion of y in y
0.437 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
0.437 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.437 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.437 * [taylor]: Taking taylor expansion of y in y
0.437 * [taylor]: Taking taylor expansion of y in y
0.441 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0
0.441 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y
0.441 * [taylor]: Taking taylor expansion of -1 in y
0.441 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y
0.441 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.441 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.441 * [taylor]: Taking taylor expansion of -1 in y
0.441 * [taylor]: Taking taylor expansion of y in y
0.442 * [taylor]: Taking taylor expansion of y in y
0.442 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y
0.442 * [taylor]: Taking taylor expansion of -1 in y
0.442 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y
0.442 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.442 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.442 * [taylor]: Taking taylor expansion of -1 in y
0.442 * [taylor]: Taking taylor expansion of y in y
0.442 * [taylor]: Taking taylor expansion of y in y
0.453 * * * [progress]: simplifying candidates
0.454 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (/ (sin y) y))
  (- (/ z x))
  (/ (sin y) z)
  (/ (/ 1 y) (/ 1 x))
  (/ 1 (/ z x))
  (/ (/ z x) (/ (sin y) y))
  (/ (/ (sin y) y) z)
  (/ (/ z x) (/ 1 y))
  (/ (/ (sin y) y) z)
  (/ (/ (sin y) y) (- z))
  (/ (/ (sin y) y) 1)
  (* (/ z x) y)
  (* (/ z x) (- y))
  (* (/ z x) (/ y (sin y)))
  (- (sin y))
  (- y)
  (/ 1 y)
  (/ y (sin y))
  (- (/ x z) (* 1/6 (/ (* x (pow y 2)) z)))
  (/ (* x (sin y)) (* z y))
  (/ (* x (sin y)) (* z y))
  (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2)))
  (/ (sin y) y)
  (/ (sin y) y)
0.457 * * [simplify]: iteration  0 :  107  enodes  (cost  70 )
0.459 * * [simplify]: iteration  1 :  308  enodes  (cost  67 )
0.465 * * [simplify]: iteration  2 :  1453  enodes  (cost  65 )
0.505 * * [simplify]: iteration  3 :  5002  enodes  (cost  65 )
0.506 * [simplify]: Simplified to:
   (- (/ (sin y) y))
  (- (/ z x))
  (/ (sin y) z)
  (/ x y)
  (/ x z)
  (* (/ z x) (/ y (sin y)))
  (/ (/ (sin y) y) z)
  (* y (/ z x))
  (/ (/ (sin y) y) z)
  (/ (/ (sin y) y) (- z))
  (/ (sin y) y)
  (* y (/ z x))
  (* (/ z x) (- y))
  (* (/ z x) (/ y (sin y)))
  (- (sin y))
  (- y)
  (/ 1 y)
  (/ y (sin y))
  (- (/ x z) (* 1/6 (/ (* x (pow y 2)) z)))
  (/ (* x (sin y)) (* z y))
  (/ (* x (sin y)) (* z y))
  (fma (pow y 4) 1/120 (- 1 (* 1/6 (pow y 2))))
  (/ (sin y) y)
  (/ (sin y) y)
0.506 * * * [progress]: adding candidates to table
0.547 * * [progress]: iteration 3 / 4
0.547 * * * [progress]: picking best candidate
0.556 * * * * [pick]: Picked  #<alt (λ (x y z) (* (/ (sin y) y) (/ x z)))>
0.556 * * * [progress]: localizing error
0.564 * * * [progress]: generating rewritten candidates
0.564 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.568 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.571 * * * [progress]: generating series expansions
0.571 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.572 * [approximate]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in (y x z) around 0
0.572 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in z
0.572 * [taylor]: Taking taylor expansion of (* x (sin y)) in z
0.572 * [taylor]: Taking taylor expansion of x in z
0.572 * [taylor]: Taking taylor expansion of (sin y) in z
0.572 * [taylor]: Taking taylor expansion of y in z
0.572 * [taylor]: Taking taylor expansion of (* z y) in z
0.572 * [taylor]: Taking taylor expansion of z in z
0.572 * [taylor]: Taking taylor expansion of y in z
0.572 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in x
0.572 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
0.573 * [taylor]: Taking taylor expansion of x in x
0.573 * [taylor]: Taking taylor expansion of (sin y) in x
0.573 * [taylor]: Taking taylor expansion of y in x
0.573 * [taylor]: Taking taylor expansion of (* z y) in x
0.573 * [taylor]: Taking taylor expansion of z in x
0.573 * [taylor]: Taking taylor expansion of y in x
0.575 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in y
0.575 * [taylor]: Taking taylor expansion of (* x (sin y)) in y
0.575 * [taylor]: Taking taylor expansion of x in y
0.575 * [taylor]: Taking taylor expansion of (sin y) in y
0.575 * [taylor]: Taking taylor expansion of y in y
0.575 * [taylor]: Taking taylor expansion of (* z y) in y
0.575 * [taylor]: Taking taylor expansion of z in y
0.575 * [taylor]: Taking taylor expansion of y in y
0.576 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in y
0.576 * [taylor]: Taking taylor expansion of (* x (sin y)) in y
0.576 * [taylor]: Taking taylor expansion of x in y
0.576 * [taylor]: Taking taylor expansion of (sin y) in y
0.576 * [taylor]: Taking taylor expansion of y in y
0.576 * [taylor]: Taking taylor expansion of (* z y) in y
0.576 * [taylor]: Taking taylor expansion of z in y
0.576 * [taylor]: Taking taylor expansion of y in y
0.577 * [taylor]: Taking taylor expansion of (/ x z) in x
0.577 * [taylor]: Taking taylor expansion of x in x
0.577 * [taylor]: Taking taylor expansion of z in x
0.577 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.577 * [taylor]: Taking taylor expansion of z in z
0.578 * [taylor]: Taking taylor expansion of 0 in x
0.578 * [taylor]: Taking taylor expansion of 0 in z
0.579 * [taylor]: Taking taylor expansion of 0 in z
0.584 * [taylor]: Taking taylor expansion of (- (* 1/6 (/ x z))) in x
0.584 * [taylor]: Taking taylor expansion of (* 1/6 (/ x z)) in x
0.584 * [taylor]: Taking taylor expansion of 1/6 in x
0.584 * [taylor]: Taking taylor expansion of (/ x z) in x
0.584 * [taylor]: Taking taylor expansion of x in x
0.584 * [taylor]: Taking taylor expansion of z in x
0.585 * [taylor]: Taking taylor expansion of (- (* 1/6 (/ 1 z))) in z
0.585 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 z)) in z
0.585 * [taylor]: Taking taylor expansion of 1/6 in z
0.585 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.585 * [taylor]: Taking taylor expansion of z in z
0.585 * [taylor]: Taking taylor expansion of 0 in z
0.586 * [taylor]: Taking taylor expansion of 0 in z
0.588 * [taylor]: Taking taylor expansion of 0 in x
0.588 * [taylor]: Taking taylor expansion of 0 in z
0.589 * [taylor]: Taking taylor expansion of 0 in z
0.589 * [taylor]: Taking taylor expansion of 0 in z
0.589 * [taylor]: Taking taylor expansion of 0 in z
0.591 * [approximate]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in (y x z) around 0
0.591 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in z
0.591 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in z
0.591 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.591 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.591 * [taylor]: Taking taylor expansion of y in z
0.591 * [taylor]: Taking taylor expansion of (* z y) in z
0.591 * [taylor]: Taking taylor expansion of z in z
0.591 * [taylor]: Taking taylor expansion of y in z
0.591 * [taylor]: Taking taylor expansion of x in z
0.593 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in x
0.593 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in x
0.593 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.593 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.593 * [taylor]: Taking taylor expansion of y in x
0.593 * [taylor]: Taking taylor expansion of (* z y) in x
0.593 * [taylor]: Taking taylor expansion of z in x
0.593 * [taylor]: Taking taylor expansion of y in x
0.593 * [taylor]: Taking taylor expansion of x in x
0.594 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in y
0.594 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in y
0.594 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.594 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.594 * [taylor]: Taking taylor expansion of y in y
0.594 * [taylor]: Taking taylor expansion of (* z y) in y
0.594 * [taylor]: Taking taylor expansion of z in y
0.594 * [taylor]: Taking taylor expansion of y in y
0.594 * [taylor]: Taking taylor expansion of x in y
0.595 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in y
0.595 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in y
0.595 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.595 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.595 * [taylor]: Taking taylor expansion of y in y
0.595 * [taylor]: Taking taylor expansion of (* z y) in y
0.595 * [taylor]: Taking taylor expansion of z in y
0.595 * [taylor]: Taking taylor expansion of y in y
0.595 * [taylor]: Taking taylor expansion of x in y
0.596 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) z) x) in x
0.596 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) z) in x
0.596 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.596 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.596 * [taylor]: Taking taylor expansion of y in x
0.596 * [taylor]: Taking taylor expansion of z in x
0.596 * [taylor]: Taking taylor expansion of x in x
0.596 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) z) in z
0.596 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.596 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.596 * [taylor]: Taking taylor expansion of y in z
0.597 * [taylor]: Taking taylor expansion of z in z
0.600 * [taylor]: Taking taylor expansion of 0 in x
0.602 * [taylor]: Taking taylor expansion of 0 in z
0.606 * [taylor]: Taking taylor expansion of 0 in x
0.606 * [taylor]: Taking taylor expansion of 0 in z
0.609 * [taylor]: Taking taylor expansion of 0 in z
0.612 * [approximate]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* z y)) x)) in (y x z) around 0
0.612 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* z y)) x)) in z
0.612 * [taylor]: Taking taylor expansion of -1 in z
0.612 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) x) in z
0.612 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in z
0.612 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.612 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.612 * [taylor]: Taking taylor expansion of -1 in z
0.612 * [taylor]: Taking taylor expansion of y in z
0.612 * [taylor]: Taking taylor expansion of (* z y) in z
0.612 * [taylor]: Taking taylor expansion of z in z
0.612 * [taylor]: Taking taylor expansion of y in z
0.612 * [taylor]: Taking taylor expansion of x in z
0.615 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* z y)) x)) in x
0.615 * [taylor]: Taking taylor expansion of -1 in x
0.615 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) x) in x
0.615 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in x
0.615 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.615 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.615 * [taylor]: Taking taylor expansion of -1 in x
0.615 * [taylor]: Taking taylor expansion of y in x
0.615 * [taylor]: Taking taylor expansion of (* z y) in x
0.615 * [taylor]: Taking taylor expansion of z in x
0.615 * [taylor]: Taking taylor expansion of y in x
0.615 * [taylor]: Taking taylor expansion of x in x
0.615 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* z y)) x)) in y
0.615 * [taylor]: Taking taylor expansion of -1 in y
0.615 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) x) in y
0.615 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in y
0.615 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.615 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.615 * [taylor]: Taking taylor expansion of -1 in y
0.615 * [taylor]: Taking taylor expansion of y in y
0.616 * [taylor]: Taking taylor expansion of (* z y) in y
0.616 * [taylor]: Taking taylor expansion of z in y
0.616 * [taylor]: Taking taylor expansion of y in y
0.616 * [taylor]: Taking taylor expansion of x in y
0.616 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* z y)) x)) in y
0.617 * [taylor]: Taking taylor expansion of -1 in y
0.617 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) x) in y
0.617 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in y
0.617 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.617 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.617 * [taylor]: Taking taylor expansion of -1 in y
0.617 * [taylor]: Taking taylor expansion of y in y
0.617 * [taylor]: Taking taylor expansion of (* z y) in y
0.617 * [taylor]: Taking taylor expansion of z in y
0.617 * [taylor]: Taking taylor expansion of y in y
0.617 * [taylor]: Taking taylor expansion of x in y
0.618 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) z) x)) in x
0.618 * [taylor]: Taking taylor expansion of -1 in x
0.618 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) z) x) in x
0.618 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) z) in x
0.618 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.618 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.618 * [taylor]: Taking taylor expansion of -1 in x
0.618 * [taylor]: Taking taylor expansion of y in x
0.618 * [taylor]: Taking taylor expansion of z in x
0.618 * [taylor]: Taking taylor expansion of x in x
0.618 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) z)) in z
0.618 * [taylor]: Taking taylor expansion of -1 in z
0.618 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) z) in z
0.618 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.618 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.618 * [taylor]: Taking taylor expansion of -1 in z
0.618 * [taylor]: Taking taylor expansion of y in z
0.618 * [taylor]: Taking taylor expansion of z in z
0.622 * [taylor]: Taking taylor expansion of 0 in x
0.625 * [taylor]: Taking taylor expansion of 0 in z
0.629 * [taylor]: Taking taylor expansion of 0 in x
0.629 * [taylor]: Taking taylor expansion of 0 in z
0.633 * [taylor]: Taking taylor expansion of 0 in z
0.637 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.637 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0
0.637 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
0.637 * [taylor]: Taking taylor expansion of (sin y) in y
0.637 * [taylor]: Taking taylor expansion of y in y
0.637 * [taylor]: Taking taylor expansion of y in y
0.638 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
0.638 * [taylor]: Taking taylor expansion of (sin y) in y
0.638 * [taylor]: Taking taylor expansion of y in y
0.638 * [taylor]: Taking taylor expansion of y in y
0.645 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0
0.645 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
0.645 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.645 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.645 * [taylor]: Taking taylor expansion of y in y
0.645 * [taylor]: Taking taylor expansion of y in y
0.645 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
0.645 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.645 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.645 * [taylor]: Taking taylor expansion of y in y
0.646 * [taylor]: Taking taylor expansion of y in y
0.650 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0
0.650 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y
0.650 * [taylor]: Taking taylor expansion of -1 in y
0.650 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y
0.650 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.650 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.650 * [taylor]: Taking taylor expansion of -1 in y
0.650 * [taylor]: Taking taylor expansion of y in y
0.650 * [taylor]: Taking taylor expansion of y in y
0.650 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y
0.650 * [taylor]: Taking taylor expansion of -1 in y
0.650 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y
0.650 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.650 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.650 * [taylor]: Taking taylor expansion of -1 in y
0.650 * [taylor]: Taking taylor expansion of y in y
0.651 * [taylor]: Taking taylor expansion of y in y
0.662 * * * [progress]: simplifying candidates
0.662 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (sin y) x)
  (* y z)
  (* (sin y) (- x))
  (* y (- z))
  (* (sin y) 1)
  (* y (/ z x))
  (* (- (sin y)) x)
  (* (- y) z)
  (* (- (sin y)) (- x))
  (* (- y) (- z))
  (* (- (sin y)) 1)
  (* (- y) (/ z x))
  (* 1 x)
  (* (/ y (sin y)) z)
  (* 1 (- x))
  (* (/ y (sin y)) (- z))
  (* 1 1)
  (* (/ y (sin y)) (/ z x))
  (* (/ (sin y) y) x)
  (* (/ 1 y) (/ x z))
  (* (/ (sin y) y) x)
  (* (/ (sin y) y) (- x))
  (* (/ (sin y) y) 1)
  (* (sin y) (/ x z))
  (* (- (sin y)) (/ x z))
  (* 1 (/ x z))
  (- (sin y))
  (- y)
  (/ 1 y)
  (/ y (sin y))
  (- (/ x z) (* 1/6 (/ (* x (pow y 2)) z)))
  (/ (* x (sin y)) (* z y))
  (/ (* x (sin y)) (* z y))
  (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2)))
  (/ (sin y) y)
  (/ (sin y) y)
0.666 * * [simplify]: iteration  0 :  135  enodes  (cost  92 )
0.669 * * [simplify]: iteration  1 :  546  enodes  (cost  87 )
0.681 * * [simplify]: iteration  2 :  3149  enodes  (cost  87 )
0.743 * * [simplify]: iteration  3 :  5001  enodes  (cost  87 )
0.744 * [simplify]: Simplified to:
   (* (sin y) x)
  (* y z)
  (* (- (sin y)) x)
  (* (- y) z)
  (sin y)
  (* y (/ z x))
  (* (- (sin y)) x)
  (* (- y) z)
  (* (sin y) x)
  (* y z)
  (- (sin y))
  (* (- y) (/ z x))
  x
  (* (/ y (sin y)) z)
  (- x)
  (* (/ y (sin y)) (- z))
  1
  (* (/ y (sin y)) (/ z x))
  (* (/ (sin y) y) x)
  (/ (/ x z) y)
  (* (/ (sin y) y) x)
  (* (/ (sin y) y) (- x))
  (/ (sin y) y)
  (* (sin y) (/ x z))
  (* (- (sin y)) (/ x z))
  (/ x z)
  (- (sin y))
  (- y)
  (/ 1 y)
  (/ y (sin y))
  (- (/ x z) (* 1/6 (/ (* x (pow y 2)) z)))
  (/ (* x (sin y)) (* z y))
  (/ (* x (sin y)) (* z y))
  (fma (pow y 4) 1/120 (- 1 (* 1/6 (pow y 2))))
  (/ (sin y) y)
  (/ (sin y) y)
0.749 * * * [progress]: adding candidates to table
0.996 * * [progress]: iteration 4 / 4
0.996 * * * [progress]: picking best candidate
1.005 * * * * [pick]: Picked  #<alt (λ (x y z) (* (/ 1 (/ y (sin y))) (/ x z)))>
1.006 * * * [progress]: localizing error
1.015 * * * [progress]: generating rewritten candidates
1.015 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
1.021 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2)
1.023 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
1.027 * * * [progress]: generating series expansions
1.027 * * * * [progress]: [ 1 / 3 ] generating series at (2)
1.028 * [approximate]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in (y x z) around 0
1.028 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in z
1.028 * [taylor]: Taking taylor expansion of (* x (sin y)) in z
1.028 * [taylor]: Taking taylor expansion of x in z
1.028 * [taylor]: Taking taylor expansion of (sin y) in z
1.028 * [taylor]: Taking taylor expansion of y in z
1.028 * [taylor]: Taking taylor expansion of (* z y) in z
1.028 * [taylor]: Taking taylor expansion of z in z
1.028 * [taylor]: Taking taylor expansion of y in z
1.028 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in x
1.028 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
1.028 * [taylor]: Taking taylor expansion of x in x
1.028 * [taylor]: Taking taylor expansion of (sin y) in x
1.028 * [taylor]: Taking taylor expansion of y in x
1.029 * [taylor]: Taking taylor expansion of (* z y) in x
1.029 * [taylor]: Taking taylor expansion of z in x
1.029 * [taylor]: Taking taylor expansion of y in x
1.030 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in y
1.031 * [taylor]: Taking taylor expansion of (* x (sin y)) in y
1.031 * [taylor]: Taking taylor expansion of x in y
1.031 * [taylor]: Taking taylor expansion of (sin y) in y
1.031 * [taylor]: Taking taylor expansion of y in y
1.031 * [taylor]: Taking taylor expansion of (* z y) in y
1.031 * [taylor]: Taking taylor expansion of z in y
1.031 * [taylor]: Taking taylor expansion of y in y
1.032 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in y
1.032 * [taylor]: Taking taylor expansion of (* x (sin y)) in y
1.032 * [taylor]: Taking taylor expansion of x in y
1.032 * [taylor]: Taking taylor expansion of (sin y) in y
1.032 * [taylor]: Taking taylor expansion of y in y
1.032 * [taylor]: Taking taylor expansion of (* z y) in y
1.032 * [taylor]: Taking taylor expansion of z in y
1.032 * [taylor]: Taking taylor expansion of y in y
1.033 * [taylor]: Taking taylor expansion of (/ x z) in x
1.033 * [taylor]: Taking taylor expansion of x in x
1.033 * [taylor]: Taking taylor expansion of z in x
1.033 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.033 * [taylor]: Taking taylor expansion of z in z
1.034 * [taylor]: Taking taylor expansion of 0 in x
1.034 * [taylor]: Taking taylor expansion of 0 in z
1.035 * [taylor]: Taking taylor expansion of 0 in z
1.037 * [taylor]: Taking taylor expansion of (- (* 1/6 (/ x z))) in x
1.037 * [taylor]: Taking taylor expansion of (* 1/6 (/ x z)) in x
1.037 * [taylor]: Taking taylor expansion of 1/6 in x
1.037 * [taylor]: Taking taylor expansion of (/ x z) in x
1.037 * [taylor]: Taking taylor expansion of x in x
1.037 * [taylor]: Taking taylor expansion of z in x
1.037 * [taylor]: Taking taylor expansion of (- (* 1/6 (/ 1 z))) in z
1.037 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 z)) in z
1.037 * [taylor]: Taking taylor expansion of 1/6 in z
1.037 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.037 * [taylor]: Taking taylor expansion of z in z
1.038 * [taylor]: Taking taylor expansion of 0 in z
1.038 * [taylor]: Taking taylor expansion of 0 in z
1.041 * [taylor]: Taking taylor expansion of 0 in x
1.041 * [taylor]: Taking taylor expansion of 0 in z
1.041 * [taylor]: Taking taylor expansion of 0 in z
1.041 * [taylor]: Taking taylor expansion of 0 in z
1.042 * [taylor]: Taking taylor expansion of 0 in z
1.043 * [approximate]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in (y x z) around 0
1.043 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in z
1.043 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in z
1.043 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
1.043 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.043 * [taylor]: Taking taylor expansion of y in z
1.043 * [taylor]: Taking taylor expansion of (* z y) in z
1.043 * [taylor]: Taking taylor expansion of z in z
1.043 * [taylor]: Taking taylor expansion of y in z
1.043 * [taylor]: Taking taylor expansion of x in z
1.046 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in x
1.046 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in x
1.046 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
1.046 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.046 * [taylor]: Taking taylor expansion of y in x
1.046 * [taylor]: Taking taylor expansion of (* z y) in x
1.046 * [taylor]: Taking taylor expansion of z in x
1.046 * [taylor]: Taking taylor expansion of y in x
1.046 * [taylor]: Taking taylor expansion of x in x
1.046 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in y
1.046 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in y
1.046 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
1.046 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.046 * [taylor]: Taking taylor expansion of y in y
1.047 * [taylor]: Taking taylor expansion of (* z y) in y
1.047 * [taylor]: Taking taylor expansion of z in y
1.047 * [taylor]: Taking taylor expansion of y in y
1.047 * [taylor]: Taking taylor expansion of x in y
1.047 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in y
1.047 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in y
1.047 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
1.047 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.047 * [taylor]: Taking taylor expansion of y in y
1.048 * [taylor]: Taking taylor expansion of (* z y) in y
1.048 * [taylor]: Taking taylor expansion of z in y
1.048 * [taylor]: Taking taylor expansion of y in y
1.048 * [taylor]: Taking taylor expansion of x in y
1.048 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) z) x) in x
1.049 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) z) in x
1.049 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
1.049 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.049 * [taylor]: Taking taylor expansion of y in x
1.049 * [taylor]: Taking taylor expansion of z in x
1.049 * [taylor]: Taking taylor expansion of x in x
1.049 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) z) in z
1.049 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
1.049 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.049 * [taylor]: Taking taylor expansion of y in z
1.049 * [taylor]: Taking taylor expansion of z in z
1.052 * [taylor]: Taking taylor expansion of 0 in x
1.054 * [taylor]: Taking taylor expansion of 0 in z
1.058 * [taylor]: Taking taylor expansion of 0 in x
1.058 * [taylor]: Taking taylor expansion of 0 in z
1.061 * [taylor]: Taking taylor expansion of 0 in z
1.064 * [approximate]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* z y)) x)) in (y x z) around 0
1.064 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* z y)) x)) in z
1.064 * [taylor]: Taking taylor expansion of -1 in z
1.064 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) x) in z
1.064 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in z
1.064 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
1.064 * [taylor]: Taking taylor expansion of (/ -1 y) in z
1.064 * [taylor]: Taking taylor expansion of -1 in z
1.064 * [taylor]: Taking taylor expansion of y in z
1.065 * [taylor]: Taking taylor expansion of (* z y) in z
1.065 * [taylor]: Taking taylor expansion of z in z
1.065 * [taylor]: Taking taylor expansion of y in z
1.065 * [taylor]: Taking taylor expansion of x in z
1.067 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* z y)) x)) in x
1.067 * [taylor]: Taking taylor expansion of -1 in x
1.067 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) x) in x
1.067 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in x
1.067 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
1.067 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.067 * [taylor]: Taking taylor expansion of -1 in x
1.067 * [taylor]: Taking taylor expansion of y in x
1.067 * [taylor]: Taking taylor expansion of (* z y) in x
1.067 * [taylor]: Taking taylor expansion of z in x
1.067 * [taylor]: Taking taylor expansion of y in x
1.067 * [taylor]: Taking taylor expansion of x in x
1.067 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* z y)) x)) in y
1.068 * [taylor]: Taking taylor expansion of -1 in y
1.068 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) x) in y
1.068 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in y
1.068 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
1.068 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.068 * [taylor]: Taking taylor expansion of -1 in y
1.068 * [taylor]: Taking taylor expansion of y in y
1.068 * [taylor]: Taking taylor expansion of (* z y) in y
1.068 * [taylor]: Taking taylor expansion of z in y
1.068 * [taylor]: Taking taylor expansion of y in y
1.068 * [taylor]: Taking taylor expansion of x in y
1.073 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* z y)) x)) in y
1.073 * [taylor]: Taking taylor expansion of -1 in y
1.073 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) x) in y
1.073 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in y
1.073 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
1.073 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.073 * [taylor]: Taking taylor expansion of -1 in y
1.073 * [taylor]: Taking taylor expansion of y in y
1.073 * [taylor]: Taking taylor expansion of (* z y) in y
1.073 * [taylor]: Taking taylor expansion of z in y
1.073 * [taylor]: Taking taylor expansion of y in y
1.073 * [taylor]: Taking taylor expansion of x in y
1.074 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) z) x)) in x
1.074 * [taylor]: Taking taylor expansion of -1 in x
1.074 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) z) x) in x
1.074 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) z) in x
1.074 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
1.074 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.074 * [taylor]: Taking taylor expansion of -1 in x
1.074 * [taylor]: Taking taylor expansion of y in x
1.074 * [taylor]: Taking taylor expansion of z in x
1.074 * [taylor]: Taking taylor expansion of x in x
1.075 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) z)) in z
1.075 * [taylor]: Taking taylor expansion of -1 in z
1.075 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) z) in z
1.075 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
1.075 * [taylor]: Taking taylor expansion of (/ -1 y) in z
1.075 * [taylor]: Taking taylor expansion of -1 in z
1.075 * [taylor]: Taking taylor expansion of y in z
1.075 * [taylor]: Taking taylor expansion of z in z
1.078 * [taylor]: Taking taylor expansion of 0 in x
1.081 * [taylor]: Taking taylor expansion of 0 in z
1.086 * [taylor]: Taking taylor expansion of 0 in x
1.086 * [taylor]: Taking taylor expansion of 0 in z
1.090 * [taylor]: Taking taylor expansion of 0 in z
1.094 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2)
1.094 * [approximate]: Taking taylor expansion of (/ y (sin y)) in (y) around 0
1.094 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y
1.094 * [taylor]: Taking taylor expansion of y in y
1.094 * [taylor]: Taking taylor expansion of (sin y) in y
1.094 * [taylor]: Taking taylor expansion of y in y
1.095 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y
1.095 * [taylor]: Taking taylor expansion of y in y
1.095 * [taylor]: Taking taylor expansion of (sin y) in y
1.095 * [taylor]: Taking taylor expansion of y in y
1.102 * [approximate]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in (y) around 0
1.102 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in y
1.102 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
1.102 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
1.102 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.102 * [taylor]: Taking taylor expansion of y in y
1.103 * [taylor]: Taking taylor expansion of y in y
1.103 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in y
1.103 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
1.103 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
1.103 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.103 * [taylor]: Taking taylor expansion of y in y
1.103 * [taylor]: Taking taylor expansion of y in y
1.109 * [approximate]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in (y) around 0
1.109 * [taylor]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in y
1.109 * [taylor]: Taking taylor expansion of -1 in y
1.109 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y
1.109 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
1.109 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.109 * [taylor]: Taking taylor expansion of -1 in y
1.109 * [taylor]: Taking taylor expansion of y in y
1.110 * [taylor]: Taking taylor expansion of y in y
1.110 * [taylor]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in y
1.110 * [taylor]: Taking taylor expansion of -1 in y
1.110 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y
1.110 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
1.110 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.110 * [taylor]: Taking taylor expansion of -1 in y
1.110 * [taylor]: Taking taylor expansion of y in y
1.111 * [taylor]: Taking taylor expansion of y in y
1.116 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
1.116 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0
1.116 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
1.116 * [taylor]: Taking taylor expansion of (sin y) in y
1.116 * [taylor]: Taking taylor expansion of y in y
1.116 * [taylor]: Taking taylor expansion of y in y
1.117 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y
1.117 * [taylor]: Taking taylor expansion of (sin y) in y
1.117 * [taylor]: Taking taylor expansion of y in y
1.117 * [taylor]: Taking taylor expansion of y in y
1.124 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0
1.124 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
1.124 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
1.124 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.124 * [taylor]: Taking taylor expansion of y in y
1.124 * [taylor]: Taking taylor expansion of y in y
1.125 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y
1.125 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
1.125 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.125 * [taylor]: Taking taylor expansion of y in y
1.125 * [taylor]: Taking taylor expansion of y in y
1.129 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0
1.129 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y
1.129 * [taylor]: Taking taylor expansion of -1 in y
1.129 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y
1.129 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
1.129 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.129 * [taylor]: Taking taylor expansion of -1 in y
1.129 * [taylor]: Taking taylor expansion of y in y
1.129 * [taylor]: Taking taylor expansion of y in y
1.129 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y
1.129 * [taylor]: Taking taylor expansion of -1 in y
1.129 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y
1.129 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
1.130 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.130 * [taylor]: Taking taylor expansion of -1 in y
1.130 * [taylor]: Taking taylor expansion of y in y
1.130 * [taylor]: Taking taylor expansion of y in y
1.143 * * * [progress]: simplifying candidates
1.143 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* 1 x)
  (* (/ y (sin y)) z)
  (* 1 (- x))
  (* (/ y (sin y)) (- z))
  (* 1 1)
  (* (/ y (sin y)) (/ z x))
  (* (- 1) x)
  (* (- (/ y (sin y))) z)
  (* (- 1) (- x))
  (* (- (/ y (sin y))) (- z))
  (* (- 1) 1)
  (* (- (/ y (sin y))) (/ z x))
  (* 1 x)
  (* (/ (/ y (sin y)) 1) z)
  (* 1 (- x))
  (* (/ (/ y (sin y)) 1) (- z))
  (* 1 1)
  (* (/ (/ y (sin y)) 1) (/ z x))
  (* (/ 1 y) x)
  (* (/ 1 (sin y)) z)
  (* (/ 1 y) (- x))
  (* (/ 1 (sin y)) (- z))
  (* (/ 1 y) 1)
  (* (/ 1 (sin y)) (/ z x))
  (* (/ 1 (/ y (sin y))) x)
  (* (/ 1 (/ y (sin y))) (/ x z))
  (* (sin y) (/ x z))
  (* (- (sin y)) (/ x z))
  (* (/ (sin y) y) (/ x z))
  (* (/ 1 (/ y (sin y))) x)
  (* (/ 1 (/ y (sin y))) (- x))
  (* (/ 1 (/ y (sin y))) 1)
  (* 1 (/ x z))
  (* (- 1) (/ x z))
  (* 1 (/ x z))
  (* (/ 1 y) (/ x z))
  (- y)
  (- (sin y))
  (/ 1 (sin y))
  (/ (sin y) y)
  (- 1)
  (- (/ y (sin y)))
  (/ 1 (/ y (sin y)))
  (/ (/ y (sin y)) 1)
  (/ 1 y)
  (/ 1 y)
  (/ 1 (- y))
  (/ 1 1)
  (- (/ x z) (* 1/6 (/ (* x (pow y 2)) z)))
  (/ (* x (sin y)) (* z y))
  (/ (* x (sin y)) (* z y))
  (+ (* 1/6 (pow y 2)) (+ (* 7/360 (pow y 4)) 1))
  (/ y (sin y))
  (/ y (sin y))
  (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2)))
  (/ (sin y) y)
  (/ (sin y) y)
1.147 * * [simplify]: iteration  0 :  191  enodes  (cost  143 )
1.152 * * [simplify]: iteration  1 :  801  enodes  (cost  134 )
1.172 * * [simplify]: iteration  2 :  5002  enodes  (cost  133 )
1.173 * [simplify]: Simplified to:
   x
  (* z (/ y (sin y)))
  (- x)
  (* (- (/ y (sin y))) z)
  1
  (* (/ z x) (/ y (sin y)))
  (- x)
  (* (- (/ y (sin y))) z)
  x
  (* z (/ y (sin y)))
  (- 1)
  (* (- (/ y (sin y))) (/ z x))
  x
  (* z (/ y (sin y)))
  (- x)
  (* (- (/ y (sin y))) z)
  1
  (* (/ z x) (/ y (sin y)))
  (/ x y)
  (/ z (sin y))
  (/ (- x) y)
  (- (/ z (sin y)))
  (/ 1 y)
  (/ z (* x (sin y)))
  (/ x (/ y (sin y)))
  (/ (* x (sin y)) (* z y))
  (* (sin y) (/ x z))
  (* (- (sin y)) (/ x z))
  (/ (* x (sin y)) (* z y))
  (/ x (/ y (sin y)))
  (/ (- x) (/ y (sin y)))
  (/ (sin y) y)
  (/ x z)
  (- (/ x z))
  (/ x z)
  (/ (/ x z) y)
  (- y)
  (- (sin y))
  (/ 1 (sin y))
  (/ (sin y) y)
  (- 1)
  (- (/ y (sin y)))
  (/ (sin y) y)
  (/ y (sin y))
  (/ 1 y)
  (/ 1 y)
  (/ 1 (- y))
  1
  (- (/ x z) (* 1/6 (/ (* x (pow y 2)) z)))
  (/ (* x (sin y)) (* z y))
  (/ (* x (sin y)) (* z y))
  (fma 1/6 (pow y 2) (fma 7/360 (pow y 4) 1))
  (/ y (sin y))
  (/ y (sin y))
  (fma (pow y 4) 1/120 (- 1 (* 1/6 (pow y 2))))
  (/ (sin y) y)
  (/ (sin y) y)
1.173 * * * [progress]: adding candidates to table
1.261 * [progress]: [Phase 3 of 3] Extracting.
1.261 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (* (/ 1 (* y (/ 1 (sin y)))) (/ x z)))> #<alt (λ (x y z) (* (/ (sin y) y) (/ x z)))> #<alt (λ (x y z) (/ 1 (/ z (* x (/ (sin y) y)))))> #<alt (λ (x y z) (* (/ 1 (/ y (sin y))) (/ x z)))> #<alt (λ (x y z) (* 1 (/ (* x (sin y)) (* z y))))> #<alt (λ (x y z) (/ x (* z (/ y (sin y)))))>)
1.261 * * * [regime-changes]: Trying 5 branch expressions: ((/ (sin y) y) (* x (/ (sin y) y)) z y x)
1.261 * * * * [regimes]: Trying to branch on (/ (sin y) y) from (#<alt (λ (x y z) (* (/ 1 (* y (/ 1 (sin y)))) (/ x z)))> #<alt (λ (x y z) (* (/ (sin y) y) (/ x z)))> #<alt (λ (x y z) (/ 1 (/ z (* x (/ (sin y) y)))))> #<alt (λ (x y z) (* (/ 1 (/ y (sin y))) (/ x z)))> #<alt (λ (x y z) (* 1 (/ (* x (sin y)) (* z y))))> #<alt (λ (x y z) (/ x (* z (/ y (sin y)))))>)
1.286 * * * * [regimes]: Trying to branch on (* x (/ (sin y) y)) from (#<alt (λ (x y z) (* (/ 1 (* y (/ 1 (sin y)))) (/ x z)))> #<alt (λ (x y z) (* (/ (sin y) y) (/ x z)))> #<alt (λ (x y z) (/ 1 (/ z (* x (/ (sin y) y)))))> #<alt (λ (x y z) (* (/ 1 (/ y (sin y))) (/ x z)))> #<alt (λ (x y z) (* 1 (/ (* x (sin y)) (* z y))))> #<alt (λ (x y z) (/ x (* z (/ y (sin y)))))>)
1.312 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (* (/ 1 (* y (/ 1 (sin y)))) (/ x z)))> #<alt (λ (x y z) (* (/ (sin y) y) (/ x z)))> #<alt (λ (x y z) (/ 1 (/ z (* x (/ (sin y) y)))))> #<alt (λ (x y z) (* (/ 1 (/ y (sin y))) (/ x z)))> #<alt (λ (x y z) (* 1 (/ (* x (sin y)) (* z y))))> #<alt (λ (x y z) (/ x (* z (/ y (sin y)))))>)
1.345 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (* (/ 1 (* y (/ 1 (sin y)))) (/ x z)))> #<alt (λ (x y z) (* (/ (sin y) y) (/ x z)))> #<alt (λ (x y z) (/ 1 (/ z (* x (/ (sin y) y)))))> #<alt (λ (x y z) (* (/ 1 (/ y (sin y))) (/ x z)))> #<alt (λ (x y z) (* 1 (/ (* x (sin y)) (* z y))))> #<alt (λ (x y z) (/ x (* z (/ y (sin y)))))>)
1.365 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (* (/ 1 (* y (/ 1 (sin y)))) (/ x z)))> #<alt (λ (x y z) (* (/ (sin y) y) (/ x z)))> #<alt (λ (x y z) (/ 1 (/ z (* x (/ (sin y) y)))))> #<alt (λ (x y z) (* (/ 1 (/ y (sin y))) (/ x z)))> #<alt (λ (x y z) (* 1 (/ (* x (sin y)) (* z y))))> #<alt (λ (x y z) (/ x (* z (/ y (sin y)))))>)
1.386 * * * [regime]: Found split indices: #<option (#s(si 1 88) #s(si 5 162) #s(si 1 255))>
1.387 * [binary-search]: Improving bounds with binary search for z and (#<alt (λ (x y z) (* (/ 1 (* y (/ 1 (sin y)))) (/ x z)))> #<alt (λ (x y z) (* (/ (sin y) y) (/ x z)))> #<alt (λ (x y z) (/ 1 (/ z (* x (/ (sin y) y)))))> #<alt (λ (x y z) (* (/ 1 (/ y (sin y))) (/ x z)))> #<alt (λ (x y z) (* 1 (/ (* x (sin y)) (* z y))))> #<alt (λ (x y z) (/ x (* z (/ y (sin y)))))>)
1.480 * [regimes]: Found splitpoints: (#s(sp 1 z -5.3542120455029826e-138) #s(sp 5 z 1.2182418807182123e-60) #s(sp 1 z +nan.0)) , with alts (#<alt (λ (x y z) (* (/ 1 (* y (/ 1 (sin y)))) (/ x z)))> #<alt (λ (x y z) (* (/ (sin y) y) (/ x z)))> #<alt (λ (x y z) (/ 1 (/ z (* x (/ (sin y) y)))))> #<alt (λ (x y z) (* (/ 1 (/ y (sin y))) (/ x z)))> #<alt (λ (x y z) (* 1 (/ (* x (sin y)) (* z y))))> #<alt (λ (x y z) (/ x (* z (/ y (sin y)))))>)
1.480 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= z -5.3542120455029826e-138) (* (/ (sin y) y) (/ x z)) (if (<= z 1.2182418807182123e-60) (/ x (* z (/ y (sin y)))) (* (/ (sin y) y) (/ x z))))
1.481 * * [simplify]: iteration  0 :  21  enodes  (cost  8 )
1.481 * * [simplify]: iteration  1 :  21  enodes  (cost  8 )
1.481 * [simplify]: Simplified to:
   (if (or (<= z -5.3542120455029826e-138) (not (<= z 1.2182418807182123e-60))) (* (/ (sin y) y) (/ x z)) (/ x (* z (/ y (sin y)))))
2.783 * [regime-testing]: Baseline error score: 2.928769668086937
2.784 * [regime-testing]: Oracle error score: 0.027878484810601324
2.785 * [regime-testing]: End program error score: 0.6285765048793065
2.821 * [regime-testing]: Target error score: 0.2580836311965832